[INFO] fetching crate diem-types 0.0.3... [INFO] checking diem-types-0.0.3 against master#f609b7e0586f81fefb3523e3e17adf779ac416be for pr-129466-2 [INFO] extracting crate diem-types 0.0.3 into /workspace/builds/worker-7-tc1/source [INFO] validating manifest of crates.io crate diem-types 0.0.3 on toolchain f609b7e0586f81fefb3523e3e17adf779ac416be [INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+f609b7e0586f81fefb3523e3e17adf779ac416be" "metadata" "--manifest-path" "Cargo.toml" "--no-deps", kill_on_drop: false }` [INFO] started tweaking crates.io crate diem-types 0.0.3 [INFO] finished tweaking crates.io crate diem-types 0.0.3 [INFO] tweaked toml for crates.io crate diem-types 0.0.3 written to /workspace/builds/worker-7-tc1/source/Cargo.toml [INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+f609b7e0586f81fefb3523e3e17adf779ac416be" "generate-lockfile" "--manifest-path" "Cargo.toml", kill_on_drop: false }` [INFO] [stderr] Updating crates.io index [INFO] [stderr] Locking 129 packages to latest compatible versions [INFO] [stderr] Adding aead v0.3.2 (available: v0.5.2) [INFO] [stderr] Adding aes v0.6.0 (available: v0.8.4) [INFO] [stderr] Adding aes-gcm v0.8.0 (available: v0.10.3) [INFO] [stderr] Adding aes-soft v0.6.4 (available: v0.99.99) [INFO] [stderr] Adding aesni v0.10.0 (available: v0.99.99) [INFO] [stderr] Adding bit-set v0.5.3 (available: v0.8.0) [INFO] [stderr] Adding bit-vec v0.6.3 (available: v0.8.0) [INFO] [stderr] Adding block-buffer v0.9.0 (available: v0.10.4) [INFO] [stderr] Adding cipher v0.2.5 (available: v0.4.4) [INFO] [stderr] Adding cpuid-bool v0.2.0 (available: v0.99.99) [INFO] [stderr] Adding crypto-mac v0.10.1 (available: v0.11.1) [INFO] [stderr] Adding ctr v0.6.0 (available: v0.9.2) [INFO] [stderr] Adding digest v0.9.0 (available: v0.10.7) [INFO] [stderr] Adding ed25519 v1.5.3 (available: v2.2.3) [INFO] [stderr] Adding fiat-crypto v0.1.20 (available: v0.2.9) [INFO] [stderr] Adding generic-array v0.14.7 (available: v1.1.0) [INFO] [stderr] Adding ghash v0.3.1 (available: v0.5.1) [INFO] [stderr] Adding hkdf v0.10.0 (available: v0.12.4) [INFO] [stderr] Adding hmac v0.10.1 (available: v0.12.1) [INFO] [stderr] Adding itertools v0.10.5 (available: v0.13.0) [INFO] [stderr] Adding linux-raw-sys v0.4.14 (available: v0.6.5) [INFO] [stderr] Adding polyval v0.4.5 (available: v0.6.2) [INFO] [stderr] Adding proc-macro2 v0.4.30 (available: v1.0.86) [INFO] [stderr] Adding proptest-derive v0.3.0 (available: v0.5.0) [INFO] [stderr] Adding quick-error v1.2.3 (available: v2.0.1) [INFO] [stderr] Adding quote v0.6.13 (available: v1.0.37) [INFO] [stderr] Adding serde-name v0.1.2 (available: v0.2.1) [INFO] [stderr] Adding sha2 v0.9.9 (available: v0.10.8) [INFO] [stderr] Adding signature v1.6.4 (available: v2.2.0) [INFO] [stderr] Adding subtle v2.4.1 (available: v2.6.1) [INFO] [stderr] Adding syn v0.15.44 (available: v2.0.77) [INFO] [stderr] Adding syn v1.0.109 (available: v2.0.77) [INFO] [stderr] Adding unicode-xid v0.1.0 (available: v0.2.6) [INFO] [stderr] Adding universal-hash v0.4.1 (available: v0.5.1) [INFO] [stderr] Adding wasi v0.11.0+wasi-snapshot-preview1 (available: v0.13.2+wasi-0.2.1) [INFO] [stderr] Adding windows-core v0.52.0 (available: v0.58.0) [INFO] [stderr] Adding windows-sys v0.52.0 (available: v0.59.0) [INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+f609b7e0586f81fefb3523e3e17adf779ac416be" "fetch" "--manifest-path" "Cargo.toml", kill_on_drop: false }` [INFO] [stderr] Downloading crates ... [INFO] [stderr] Downloaded bcs v0.1.6 [INFO] [stderr] Downloaded diem-crypto-derive v0.0.3 [INFO] [stderr] Downloaded serde-name v0.1.2 [INFO] [stderr] Downloaded diem-crypto v0.0.3 [INFO] [stderr] Downloaded ed25519-dalek-fiat v0.1.0 [INFO] [stderr] Downloaded move-core-types v0.0.3 [INFO] [stderr] Downloaded x25519-dalek-fiat v0.1.0 [INFO] [stderr] Downloaded curve25519-dalek-fiat v0.1.0 [INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-7-tc1/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-7-tc1/source:/opt/rustwide/workdir:ro,Z" "-v" "/var/lib/crater-agent-workspace/cargo-home:/opt/rustwide/cargo-home:ro,Z" "-v" "/var/lib/crater-agent-workspace/rustup-home:/opt/rustwide/rustup-home:ro,Z" "-e" "SOURCE_DIR=/opt/rustwide/workdir" "-e" "CARGO_TARGET_DIR=/opt/rustwide/target" "-e" "CARGO_HOME=/opt/rustwide/cargo-home" "-e" "RUSTUP_HOME=/opt/rustwide/rustup-home" "-w" "/opt/rustwide/workdir" "-m" "1610612736" "--user" "0:0" "--network" "none" "ghcr.io/rust-lang/crates-build-env/linux@sha256:ceb6ea022f8a89cebbe621bb4987e73a935bd40dfbb726f832cfff4742a5b95a" "/opt/rustwide/cargo-home/bin/cargo" "+f609b7e0586f81fefb3523e3e17adf779ac416be" "metadata" "--no-deps" "--format-version=1", kill_on_drop: false }` [INFO] [stdout] 52104a313a70dd18231de26f794e8af62bcc8e8783d27164f62cbd57ee914b9e [INFO] running `Command { std: "docker" "start" "-a" "52104a313a70dd18231de26f794e8af62bcc8e8783d27164f62cbd57ee914b9e", kill_on_drop: false }` [INFO] running `Command { std: "docker" "inspect" "52104a313a70dd18231de26f794e8af62bcc8e8783d27164f62cbd57ee914b9e", kill_on_drop: false }` [INFO] running `Command { std: "docker" "rm" "-f" "52104a313a70dd18231de26f794e8af62bcc8e8783d27164f62cbd57ee914b9e", kill_on_drop: false }` [INFO] [stdout] 52104a313a70dd18231de26f794e8af62bcc8e8783d27164f62cbd57ee914b9e [INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-7-tc1/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-7-tc1/source:/opt/rustwide/workdir:ro,Z" "-v" "/var/lib/crater-agent-workspace/cargo-home:/opt/rustwide/cargo-home:ro,Z" "-v" "/var/lib/crater-agent-workspace/rustup-home:/opt/rustwide/rustup-home:ro,Z" "-e" "SOURCE_DIR=/opt/rustwide/workdir" "-e" "CARGO_TARGET_DIR=/opt/rustwide/target" "-e" "CARGO_INCREMENTAL=0" "-e" "RUST_BACKTRACE=full" "-e" "RUSTFLAGS=--cap-lints=forbid" "-e" "RUSTDOCFLAGS=--cap-lints=forbid" "-e" "CARGO_HOME=/opt/rustwide/cargo-home" "-e" "RUSTUP_HOME=/opt/rustwide/rustup-home" "-w" "/opt/rustwide/workdir" "-m" "1610612736" "--user" "0:0" "--network" "none" "ghcr.io/rust-lang/crates-build-env/linux@sha256:ceb6ea022f8a89cebbe621bb4987e73a935bd40dfbb726f832cfff4742a5b95a" "/opt/rustwide/cargo-home/bin/cargo" "+f609b7e0586f81fefb3523e3e17adf779ac416be" "check" "--frozen" "--all" "--all-targets" "--message-format=json", kill_on_drop: false }` [INFO] [stdout] ebe10189aa8b3f4a58706f4ec07d7057d04be75790f9830f74adf5b0282dfdff [INFO] running `Command { std: "docker" "start" "-a" "ebe10189aa8b3f4a58706f4ec07d7057d04be75790f9830f74adf5b0282dfdff", kill_on_drop: false }` [INFO] [stderr] Compiling typenum v1.17.0 [INFO] [stderr] Compiling version_check v0.9.5 [INFO] [stderr] Checking subtle v2.4.1 [INFO] [stderr] Checking byteorder v1.5.0 [INFO] [stderr] Compiling serde v1.0.210 [INFO] [stderr] Checking opaque-debug v0.3.1 [INFO] [stderr] Compiling libm v0.2.8 [INFO] [stderr] Checking once_cell v1.19.0 [INFO] [stderr] Compiling rustix v0.38.37 [INFO] [stderr] Compiling crunchy v0.2.2 [INFO] [stderr] Compiling num-traits v0.2.19 [INFO] [stderr] Checking memchr v2.7.4 [INFO] [stderr] Checking fiat-crypto v0.1.20 [INFO] [stderr] Compiling proc-macro2 v0.4.30 [INFO] [stderr] Compiling syn v2.0.77 [INFO] [stderr] Checking cpuid-bool v0.2.0 [INFO] [stderr] Compiling syn v1.0.109 [INFO] [stderr] Compiling ref-cast v1.0.23 [INFO] [stderr] Compiling tiny-keccak v2.0.2 [INFO] [stderr] Checking bitflags v2.6.0 [INFO] [stderr] Checking signature v1.6.4 [INFO] [stderr] Checking linux-raw-sys v0.4.14 [INFO] [stderr] Compiling unicode-xid v0.1.0 [INFO] [stderr] Checking cpufeatures v0.2.14 [INFO] [stderr] Checking mirai-annotations v1.12.0 [INFO] [stderr] Compiling syn v0.15.44 [INFO] [stderr] Checking fastrand v2.1.1 [INFO] [stderr] Compiling generic-array v0.14.7 [INFO] [stderr] Checking regex-syntax v0.8.4 [INFO] [stderr] Compiling serde_json v1.0.128 [INFO] [stderr] Checking wait-timeout v0.2.0 [INFO] [stderr] Checking itoa v1.0.11 [INFO] [stderr] Checking quick-error v1.2.3 [INFO] [stderr] Checking bytes v1.7.2 [INFO] [stderr] Checking ryu v1.0.18 [INFO] [stderr] Checking either v1.13.0 [INFO] [stderr] Checking bit-vec v0.6.3 [INFO] [stderr] Checking rand_xorshift v0.3.0 [INFO] [stderr] Checking lazy_static v1.5.0 [INFO] [stderr] Checking aho-corasick v1.1.3 [INFO] [stderr] Checking unarray v0.1.4 [INFO] [stderr] Checking itertools v0.10.5 [INFO] [stderr] Checking bit-set v0.5.3 [INFO] [stderr] Compiling quote v0.6.13 [INFO] [stderr] Checking chrono v0.4.38 [INFO] [stderr] Checking digest v0.9.0 [INFO] [stderr] Checking cipher v0.2.5 [INFO] [stderr] Checking universal-hash v0.4.1 [INFO] [stderr] Checking crypto-mac v0.10.1 [INFO] [stderr] Checking block-buffer v0.9.0 [INFO] [stderr] Checking aead v0.3.2 [INFO] [stderr] Checking polyval v0.4.5 [INFO] [stderr] Checking sha2 v0.9.9 [INFO] [stderr] Checking hmac v0.10.1 [INFO] [stderr] Checking aes-soft v0.6.4 [INFO] [stderr] Checking ctr v0.6.0 [INFO] [stderr] Checking hkdf v0.10.0 [INFO] [stderr] Checking ghash v0.3.1 [INFO] [stderr] Checking aes v0.6.0 [INFO] [stderr] Checking aes-gcm v0.8.0 [INFO] [stderr] Checking regex-automata v0.4.7 [INFO] [stderr] Checking tempfile v3.12.0 [INFO] [stderr] Checking rusty-fork v0.3.0 [INFO] [stderr] Compiling diem-crypto-derive v0.0.3 [INFO] [stderr] Checking regex v1.10.6 [INFO] [stderr] Compiling serde_derive v1.0.210 [INFO] [stderr] Compiling zerocopy-derive v0.7.35 [INFO] [stderr] Compiling zeroize_derive v1.4.2 [INFO] [stderr] Compiling thiserror-impl v1.0.64 [INFO] [stderr] Compiling ref-cast-impl v1.0.23 [INFO] [stderr] Checking zeroize v1.8.1 [INFO] [stderr] Checking zerocopy v0.7.35 [INFO] [stderr] Compiling proptest-derive v0.3.0 [INFO] [stderr] Checking thiserror v1.0.64 [INFO] [stderr] Checking ppv-lite86 v0.2.20 [INFO] [stderr] Checking curve25519-dalek-fiat v0.1.0 [INFO] [stderr] Checking rand_chacha v0.3.1 [INFO] [stderr] Checking rand v0.8.5 [INFO] [stderr] Checking x25519-dalek-fiat v0.1.0 [INFO] [stderr] Checking proptest v1.5.0 [INFO] [stderr] Checking serde_bytes v0.11.15 [INFO] [stderr] Checking bcs v0.1.6 [INFO] [stderr] Checking ed25519 v1.5.3 [INFO] [stderr] Checking serde-name v0.1.2 [INFO] [stderr] Checking ed25519-dalek-fiat v0.1.0 [INFO] [stderr] Checking move-core-types v0.0.3 [INFO] [stderr] Checking diem-crypto v0.0.3 [INFO] [stderr] Checking diem-types v0.0.3 (/opt/rustwide/workdir) [INFO] [stdout] warning: ambiguous glob re-exports [INFO] [stdout] --> src/account_config/mod.rs:8:9 [INFO] [stdout] | [INFO] [stdout] 8 | pub use constants::*; [INFO] [stdout] | ^^^^^^^^^^^^ the name `account` in the type namespace is first re-exported here [INFO] [stdout] 9 | pub use events::*; [INFO] [stdout] 10 | pub use resources::*; [INFO] [stdout] | ------------ but the name `account` in the type namespace is also re-exported here [INFO] [stdout] | [INFO] [stdout] = note: `#[warn(ambiguous_glob_reexports)]` on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: ambiguous glob re-exports [INFO] [stdout] --> src/account_config/mod.rs:8:9 [INFO] [stdout] | [INFO] [stdout] 8 | pub use constants::*; [INFO] [stdout] | ^^^^^^^^^^^^ the name `designated_dealer` in the type namespace is first re-exported here [INFO] [stdout] 9 | pub use events::*; [INFO] [stdout] 10 | pub use resources::*; [INFO] [stdout] | ------------ but the name `designated_dealer` in the type namespace is also re-exported here [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0432]: unresolved import `diem_crypto::test_utils::TestDiemCrypto` [INFO] [stdout] --> src/validator_verifier.rs:382:35 [INFO] [stdout] | [INFO] [stdout] 382 | use diem_crypto::test_utils::{TestDiemCrypto, TEST_SEED}; [INFO] [stdout] | ^^^^^^^^^^^^^^ no `TestDiemCrypto` in `test_utils` [INFO] [stdout] | [INFO] [stdout] note: found an item that was configured out [INFO] [stdout] --> /opt/rustwide/cargo-home/registry/src/index.crates.io-6f17d22bba15001f/diem-crypto-0.0.3/src/test_utils.rs:129:12 [INFO] [stdout] | [INFO] [stdout] 129 | pub struct TestDiemCrypto(pub String); [INFO] [stdout] | ^^^^^^^^^^^^^^ [INFO] [stdout] note: the item is gated here [INFO] [stdout] --> /opt/rustwide/cargo-home/registry/src/index.crates.io-6f17d22bba15001f/diem-crypto-0.0.3/src/test_utils.rs:127:1 [INFO] [stdout] | [INFO] [stdout] 127 | #[cfg(any(test, feature = "fuzzing"))] [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0425]: cannot find function `keypair_strategy` in module `ed25519` [INFO] [stdout] --> src/proptest_types.rs:225:22 [INFO] [stdout] | [INFO] [stdout] 225 | vec(ed25519::keypair_strategy(), num_accounts) [INFO] [stdout] | ^^^^^^^^^^^^^^^^ not found in `ed25519` [INFO] [stdout] | [INFO] [stdout] note: found an item that was configured out [INFO] [stdout] --> /opt/rustwide/cargo-home/registry/src/index.crates.io-6f17d22bba15001f/diem-crypto-0.0.3/src/ed25519.rs:544:8 [INFO] [stdout] | [INFO] [stdout] 544 | pub fn keypair_strategy() -> impl Strategy> { [INFO] [stdout] | ^^^^^^^^^^^^^^^^ [INFO] [stdout] note: the item is gated here [INFO] [stdout] --> /opt/rustwide/cargo-home/registry/src/index.crates.io-6f17d22bba15001f/diem-crypto-0.0.3/src/ed25519.rs:543:1 [INFO] [stdout] | [INFO] [stdout] 543 | #[cfg(any(test, feature = "fuzzing"))] [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0425]: cannot find function `keypair_strategy` in module `ed25519` [INFO] [stdout] --> src/proptest_types.rs:495:22 [INFO] [stdout] | [INFO] [stdout] 495 | ed25519::keypair_strategy(), [INFO] [stdout] | ^^^^^^^^^^^^^^^^ not found in `ed25519` [INFO] [stdout] | [INFO] [stdout] note: found an item that was configured out [INFO] [stdout] --> /opt/rustwide/cargo-home/registry/src/index.crates.io-6f17d22bba15001f/diem-crypto-0.0.3/src/ed25519.rs:544:8 [INFO] [stdout] | [INFO] [stdout] 544 | pub fn keypair_strategy() -> impl Strategy> { [INFO] [stdout] | ^^^^^^^^^^^^^^^^ [INFO] [stdout] note: the item is gated here [INFO] [stdout] --> /opt/rustwide/cargo-home/registry/src/index.crates.io-6f17d22bba15001f/diem-crypto-0.0.3/src/ed25519.rs:543:1 [INFO] [stdout] | [INFO] [stdout] 543 | #[cfg(any(test, feature = "fuzzing"))] [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0425]: cannot find function `keypair_strategy` in module `ed25519` [INFO] [stdout] --> src/proptest_types.rs:547:41 [INFO] [stdout] | [INFO] [stdout] 547 | fn arb_pubkey()(keypair in ed25519::keypair_strategy()) -> AccountAddress { [INFO] [stdout] | ^^^^^^^^^^^^^^^^ not found in `ed25519` [INFO] [stdout] | [INFO] [stdout] note: found an item that was configured out [INFO] [stdout] --> /opt/rustwide/cargo-home/registry/src/index.crates.io-6f17d22bba15001f/diem-crypto-0.0.3/src/ed25519.rs:544:8 [INFO] [stdout] | [INFO] [stdout] 544 | pub fn keypair_strategy() -> impl Strategy> { [INFO] [stdout] | ^^^^^^^^^^^^^^^^ [INFO] [stdout] note: the item is gated here [INFO] [stdout] --> /opt/rustwide/cargo-home/registry/src/index.crates.io-6f17d22bba15001f/diem-crypto-0.0.3/src/ed25519.rs:543:1 [INFO] [stdout] | [INFO] [stdout] 543 | #[cfg(any(test, feature = "fuzzing"))] [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0425]: cannot find function `keypair_strategy` in module `ed25519` [INFO] [stdout] --> src/proptest_types.rs:609:29 [INFO] [stdout] | [INFO] [stdout] 609 | keypair in ed25519::keypair_strategy(), [INFO] [stdout] | ^^^^^^^^^^^^^^^^ not found in `ed25519` [INFO] [stdout] | [INFO] [stdout] note: found an item that was configured out [INFO] [stdout] --> /opt/rustwide/cargo-home/registry/src/index.crates.io-6f17d22bba15001f/diem-crypto-0.0.3/src/ed25519.rs:544:8 [INFO] [stdout] | [INFO] [stdout] 544 | pub fn keypair_strategy() -> impl Strategy> { [INFO] [stdout] | ^^^^^^^^^^^^^^^^ [INFO] [stdout] note: the item is gated here [INFO] [stdout] --> /opt/rustwide/cargo-home/registry/src/index.crates.io-6f17d22bba15001f/diem-crypto-0.0.3/src/ed25519.rs:543:1 [INFO] [stdout] | [INFO] [stdout] 543 | #[cfg(any(test, feature = "fuzzing"))] [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0425]: cannot find function `keypair_strategy` in module `ed25519` [INFO] [stdout] --> src/unit_tests/transaction_test.rs:89:90 [INFO] [stdout] | [INFO] [stdout] 89 | fn test_sign_raw_transaction(raw_txn in any::(), keypair in ed25519::keypair_strategy()) { [INFO] [stdout] | ^^^^^^^^^^^^^^^^ not found in `ed25519` [INFO] [stdout] | [INFO] [stdout] note: found an item that was configured out [INFO] [stdout] --> /opt/rustwide/cargo-home/registry/src/index.crates.io-6f17d22bba15001f/diem-crypto-0.0.3/src/ed25519.rs:544:8 [INFO] [stdout] | [INFO] [stdout] 544 | pub fn keypair_strategy() -> impl Strategy> { [INFO] [stdout] | ^^^^^^^^^^^^^^^^ [INFO] [stdout] note: the item is gated here [INFO] [stdout] --> /opt/rustwide/cargo-home/registry/src/index.crates.io-6f17d22bba15001f/diem-crypto-0.0.3/src/ed25519.rs:543:1 [INFO] [stdout] | [INFO] [stdout] 543 | #[cfg(any(test, feature = "fuzzing"))] [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: ambiguous glob re-exports [INFO] [stdout] --> src/account_config/mod.rs:8:9 [INFO] [stdout] | [INFO] [stdout] 8 | pub use constants::*; [INFO] [stdout] | ^^^^^^^^^^^^ the name `account` in the type namespace is first re-exported here [INFO] [stdout] 9 | pub use events::*; [INFO] [stdout] 10 | pub use resources::*; [INFO] [stdout] | ------------ but the name `account` in the type namespace is also re-exported here [INFO] [stdout] | [INFO] [stdout] = note: `#[warn(ambiguous_glob_reexports)]` on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: ambiguous glob re-exports [INFO] [stdout] --> src/account_config/mod.rs:8:9 [INFO] [stdout] | [INFO] [stdout] 8 | pub use constants::*; [INFO] [stdout] | ^^^^^^^^^^^^ the name `designated_dealer` in the type namespace is first re-exported here [INFO] [stdout] 9 | pub use events::*; [INFO] [stdout] 10 | pub use resources::*; [INFO] [stdout] | ------------ but the name `designated_dealer` in the type namespace is also re-exported here [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0277]: the trait bound `move_core_types::account_address::AccountAddress: _IMPL_ARBITRARY_FOR_AccessPath::_proptest::arbitrary::Arbitrary` is not satisfied [INFO] [stdout] --> src/access_path.rs:47:51 [INFO] [stdout] | [INFO] [stdout] 47 | #[cfg_attr(any(test, feature = "fuzzing"), derive(Arbitrary))] [INFO] [stdout] | ^^^^^^^^^ the trait `_IMPL_ARBITRARY_FOR_AccessPath::_proptest::arbitrary::Arbitrary` is not implemented for `move_core_types::account_address::AccountAddress` [INFO] [stdout] | [INFO] [stdout] = help: the following other types implement trait `_IMPL_ARBITRARY_FOR_AccessPath::_proptest::arbitrary::Arbitrary`: [INFO] [stdout] () [INFO] [stdout] (Sender, std::sync::mpsc::IntoIter) [INFO] [stdout] (Sender, std::sync::mpsc::Receiver) [INFO] [stdout] (SyncSender, std::sync::mpsc::IntoIter) [INFO] [stdout] (SyncSender, std::sync::mpsc::Receiver) [INFO] [stdout] (T0, T1) [INFO] [stdout] (T0, T1, T2) [INFO] [stdout] (T0, T1, T2, T3) [INFO] [stdout] and 268 others [INFO] [stdout] = note: this error originates in the derive macro `Arbitrary` (in Nightly builds, run with -Z macro-backtrace for more info) [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0277]: the trait bound `move_core_types::account_address::AccountAddress: _IMPL_ARBITRARY_FOR_AccessPath::_proptest::arbitrary::Arbitrary` is not satisfied [INFO] [stdout] --> src/access_path.rs:49:5 [INFO] [stdout] | [INFO] [stdout] 49 | pub address: AccountAddress, [INFO] [stdout] | ^^^ the trait `_IMPL_ARBITRARY_FOR_AccessPath::_proptest::arbitrary::Arbitrary` is not implemented for `move_core_types::account_address::AccountAddress` [INFO] [stdout] | [INFO] [stdout] = help: the following other types implement trait `_IMPL_ARBITRARY_FOR_AccessPath::_proptest::arbitrary::Arbitrary`: [INFO] [stdout] () [INFO] [stdout] (Sender, std::sync::mpsc::IntoIter) [INFO] [stdout] (Sender, std::sync::mpsc::Receiver) [INFO] [stdout] (SyncSender, std::sync::mpsc::IntoIter) [INFO] [stdout] (SyncSender, std::sync::mpsc::Receiver) [INFO] [stdout] (T0, T1) [INFO] [stdout] (T0, T1, T2) [INFO] [stdout] (T0, T1, T2, T3) [INFO] [stdout] and 268 others [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0277]: the trait bound `move_core_types::account_address::AccountAddress: _IMPL_ARBITRARY_FOR_AccessPath::_proptest::arbitrary::Arbitrary` is not satisfied [INFO] [stdout] --> src/account_config/resources/account.rs:22:51 [INFO] [stdout] | [INFO] [stdout] 22 | #[cfg_attr(any(test, feature = "fuzzing"), derive(Arbitrary))] [INFO] [stdout] | ^^^^^^^^^ the trait `_IMPL_ARBITRARY_FOR_AccessPath::_proptest::arbitrary::Arbitrary` is not implemented for `move_core_types::account_address::AccountAddress` [INFO] [stdout] | [INFO] [stdout] = help: the following other types implement trait `_IMPL_ARBITRARY_FOR_AccessPath::_proptest::arbitrary::Arbitrary`: [INFO] [stdout] () [INFO] [stdout] (Sender, std::sync::mpsc::IntoIter) [INFO] [stdout] (Sender, std::sync::mpsc::Receiver) [INFO] [stdout] (SyncSender, std::sync::mpsc::IntoIter) [INFO] [stdout] (SyncSender, std::sync::mpsc::Receiver) [INFO] [stdout] (T0, T1) [INFO] [stdout] (T0, T1, T2) [INFO] [stdout] (T0, T1, T2, T3) [INFO] [stdout] and 268 others [INFO] [stdout] = note: this error originates in the derive macro `Arbitrary` (in Nightly builds, run with -Z macro-backtrace for more info) [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0277]: the trait bound `move_core_types::account_address::AccountAddress: _IMPL_ARBITRARY_FOR_AccessPath::_proptest::arbitrary::Arbitrary` is not satisfied [INFO] [stdout] --> src/account_config/resources/key_rotation_capability.rs:17:51 [INFO] [stdout] | [INFO] [stdout] 17 | #[cfg_attr(any(test, feature = "fuzzing"), derive(Arbitrary))] [INFO] [stdout] | ^^^^^^^^^ the trait `_IMPL_ARBITRARY_FOR_AccessPath::_proptest::arbitrary::Arbitrary` is not implemented for `move_core_types::account_address::AccountAddress` [INFO] [stdout] | [INFO] [stdout] = help: the following other types implement trait `_IMPL_ARBITRARY_FOR_AccessPath::_proptest::arbitrary::Arbitrary`: [INFO] [stdout] () [INFO] [stdout] (Sender, std::sync::mpsc::IntoIter) [INFO] [stdout] (Sender, std::sync::mpsc::Receiver) [INFO] [stdout] (SyncSender, std::sync::mpsc::IntoIter) [INFO] [stdout] (SyncSender, std::sync::mpsc::Receiver) [INFO] [stdout] (T0, T1) [INFO] [stdout] (T0, T1, T2) [INFO] [stdout] (T0, T1, T2, T3) [INFO] [stdout] and 268 others [INFO] [stdout] = note: this error originates in the derive macro `Arbitrary` (in Nightly builds, run with -Z macro-backtrace for more info) [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0277]: the trait bound `move_core_types::account_address::AccountAddress: _IMPL_ARBITRARY_FOR_AccessPath::_proptest::arbitrary::Arbitrary` is not satisfied [INFO] [stdout] --> src/account_config/resources/key_rotation_capability.rs:19:5 [INFO] [stdout] | [INFO] [stdout] 19 | account_address: AccountAddress, [INFO] [stdout] | ^^^^^^^^^^^^^^^ the trait `_IMPL_ARBITRARY_FOR_AccessPath::_proptest::arbitrary::Arbitrary` is not implemented for `move_core_types::account_address::AccountAddress` [INFO] [stdout] | [INFO] [stdout] = help: the following other types implement trait `_IMPL_ARBITRARY_FOR_AccessPath::_proptest::arbitrary::Arbitrary`: [INFO] [stdout] () [INFO] [stdout] (Sender, std::sync::mpsc::IntoIter) [INFO] [stdout] (Sender, std::sync::mpsc::Receiver) [INFO] [stdout] (SyncSender, std::sync::mpsc::IntoIter) [INFO] [stdout] (SyncSender, std::sync::mpsc::Receiver) [INFO] [stdout] (T0, T1) [INFO] [stdout] (T0, T1, T2) [INFO] [stdout] (T0, T1, T2, T3) [INFO] [stdout] and 268 others [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0277]: the trait bound `move_core_types::account_address::AccountAddress: _IMPL_ARBITRARY_FOR_AccessPath::_proptest::arbitrary::Arbitrary` is not satisfied [INFO] [stdout] --> src/account_config/resources/vasp.rs:26:51 [INFO] [stdout] | [INFO] [stdout] 26 | #[cfg_attr(any(test, feature = "fuzzing"), derive(Arbitrary))] [INFO] [stdout] | ^^^^^^^^^ the trait `_IMPL_ARBITRARY_FOR_AccessPath::_proptest::arbitrary::Arbitrary` is not implemented for `move_core_types::account_address::AccountAddress` [INFO] [stdout] | [INFO] [stdout] = help: the following other types implement trait `_IMPL_ARBITRARY_FOR_AccessPath::_proptest::arbitrary::Arbitrary`: [INFO] [stdout] () [INFO] [stdout] (Sender, std::sync::mpsc::IntoIter) [INFO] [stdout] (Sender, std::sync::mpsc::Receiver) [INFO] [stdout] (SyncSender, std::sync::mpsc::IntoIter) [INFO] [stdout] (SyncSender, std::sync::mpsc::Receiver) [INFO] [stdout] (T0, T1) [INFO] [stdout] (T0, T1, T2) [INFO] [stdout] (T0, T1, T2, T3) [INFO] [stdout] and 268 others [INFO] [stdout] = note: this error originates in the derive macro `Arbitrary` (in Nightly builds, run with -Z macro-backtrace for more info) [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0277]: the trait bound `move_core_types::account_address::AccountAddress: _IMPL_ARBITRARY_FOR_AccessPath::_proptest::arbitrary::Arbitrary` is not satisfied [INFO] [stdout] --> src/account_config/resources/vasp.rs:28:5 [INFO] [stdout] | [INFO] [stdout] 28 | parent_vasp_addr: AccountAddress, [INFO] [stdout] | ^^^^^^^^^^^^^^^^ the trait `_IMPL_ARBITRARY_FOR_AccessPath::_proptest::arbitrary::Arbitrary` is not implemented for `move_core_types::account_address::AccountAddress` [INFO] [stdout] | [INFO] [stdout] = help: the following other types implement trait `_IMPL_ARBITRARY_FOR_AccessPath::_proptest::arbitrary::Arbitrary`: [INFO] [stdout] () [INFO] [stdout] (Sender, std::sync::mpsc::IntoIter) [INFO] [stdout] (Sender, std::sync::mpsc::Receiver) [INFO] [stdout] (SyncSender, std::sync::mpsc::IntoIter) [INFO] [stdout] (SyncSender, std::sync::mpsc::Receiver) [INFO] [stdout] (T0, T1) [INFO] [stdout] (T0, T1, T2) [INFO] [stdout] (T0, T1, T2, T3) [INFO] [stdout] and 268 others [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0277]: the trait bound `move_core_types::account_address::AccountAddress: _IMPL_ARBITRARY_FOR_AccessPath::_proptest::arbitrary::Arbitrary` is not satisfied [INFO] [stdout] --> src/account_config/resources/withdraw_capability.rs:17:51 [INFO] [stdout] | [INFO] [stdout] 17 | #[cfg_attr(any(test, feature = "fuzzing"), derive(Arbitrary))] [INFO] [stdout] | ^^^^^^^^^ the trait `_IMPL_ARBITRARY_FOR_AccessPath::_proptest::arbitrary::Arbitrary` is not implemented for `move_core_types::account_address::AccountAddress` [INFO] [stdout] | [INFO] [stdout] = help: the following other types implement trait `_IMPL_ARBITRARY_FOR_AccessPath::_proptest::arbitrary::Arbitrary`: [INFO] [stdout] () [INFO] [stdout] (Sender, std::sync::mpsc::IntoIter) [INFO] [stdout] (Sender, std::sync::mpsc::Receiver) [INFO] [stdout] (SyncSender, std::sync::mpsc::IntoIter) [INFO] [stdout] (SyncSender, std::sync::mpsc::Receiver) [INFO] [stdout] (T0, T1) [INFO] [stdout] (T0, T1, T2) [INFO] [stdout] (T0, T1, T2, T3) [INFO] [stdout] and 268 others [INFO] [stdout] = note: this error originates in the derive macro `Arbitrary` (in Nightly builds, run with -Z macro-backtrace for more info) [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0277]: the trait bound `move_core_types::account_address::AccountAddress: _IMPL_ARBITRARY_FOR_AccessPath::_proptest::arbitrary::Arbitrary` is not satisfied [INFO] [stdout] --> src/account_config/resources/withdraw_capability.rs:19:5 [INFO] [stdout] | [INFO] [stdout] 19 | account_address: AccountAddress, [INFO] [stdout] | ^^^^^^^^^^^^^^^ the trait `_IMPL_ARBITRARY_FOR_AccessPath::_proptest::arbitrary::Arbitrary` is not implemented for `move_core_types::account_address::AccountAddress` [INFO] [stdout] | [INFO] [stdout] = help: the following other types implement trait `_IMPL_ARBITRARY_FOR_AccessPath::_proptest::arbitrary::Arbitrary`: [INFO] [stdout] () [INFO] [stdout] (Sender, std::sync::mpsc::IntoIter) [INFO] [stdout] (Sender, std::sync::mpsc::Receiver) [INFO] [stdout] (SyncSender, std::sync::mpsc::IntoIter) [INFO] [stdout] (SyncSender, std::sync::mpsc::Receiver) [INFO] [stdout] (T0, T1) [INFO] [stdout] (T0, T1, T2) [INFO] [stdout] (T0, T1, T2, T3) [INFO] [stdout] and 268 others [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0277]: the trait bound `move_core_types::account_address::AccountAddress: _IMPL_ARBITRARY_FOR_AccessPath::_proptest::arbitrary::Arbitrary` is not satisfied [INFO] [stdout] --> src/account_state_blob.rs:125:58 [INFO] [stdout] | [INFO] [stdout] 125 | ..._state_blob_strategy()(account_resource in any::(), balance_resource in any::()) -> AccountStateBlob { [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^ the trait `_IMPL_ARBITRARY_FOR_AccessPath::_proptest::arbitrary::Arbitrary` is not implemented for `move_core_types::account_address::AccountAddress` [INFO] [stdout] | [INFO] [stdout] = help: the following other types implement trait `_IMPL_ARBITRARY_FOR_AccessPath::_proptest::arbitrary::Arbitrary`: [INFO] [stdout] () [INFO] [stdout] (Sender, std::sync::mpsc::IntoIter) [INFO] [stdout] (Sender, std::sync::mpsc::Receiver) [INFO] [stdout] (SyncSender, std::sync::mpsc::IntoIter) [INFO] [stdout] (SyncSender, std::sync::mpsc::Receiver) [INFO] [stdout] (T0, T1) [INFO] [stdout] (T0, T1, T2) [INFO] [stdout] (T0, T1, T2, T3) [INFO] [stdout] and 268 others [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0277]: the trait bound `diem_crypto::HashValue: _IMPL_ARBITRARY_FOR_AccessPath::_proptest::arbitrary::Arbitrary` is not satisfied [INFO] [stdout] --> src/block_info.rs:25:51 [INFO] [stdout] | [INFO] [stdout] 25 | #[cfg_attr(any(test, feature = "fuzzing"), derive(Arbitrary))] [INFO] [stdout] | ^^^^^^^^^ the trait `_IMPL_ARBITRARY_FOR_AccessPath::_proptest::arbitrary::Arbitrary` is not implemented for `diem_crypto::HashValue` [INFO] [stdout] | [INFO] [stdout] = help: the following other types implement trait `_IMPL_ARBITRARY_FOR_AccessPath::_proptest::arbitrary::Arbitrary`: [INFO] [stdout] () [INFO] [stdout] (Sender, std::sync::mpsc::IntoIter) [INFO] [stdout] (Sender, std::sync::mpsc::Receiver) [INFO] [stdout] (SyncSender, std::sync::mpsc::IntoIter) [INFO] [stdout] (SyncSender, std::sync::mpsc::Receiver) [INFO] [stdout] (T0, T1) [INFO] [stdout] (T0, T1, T2) [INFO] [stdout] (T0, T1, T2, T3) [INFO] [stdout] and 268 others [INFO] [stdout] = note: this error originates in the derive macro `Arbitrary` (in Nightly builds, run with -Z macro-backtrace for more info) [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0277]: the trait bound `move_core_types::account_address::AccountAddress: _IMPL_ARBITRARY_FOR_AccessPath::_proptest::arbitrary::Arbitrary` is not satisfied [INFO] [stdout] --> src/block_info.rs:25:51 [INFO] [stdout] | [INFO] [stdout] 25 | #[cfg_attr(any(test, feature = "fuzzing"), derive(Arbitrary))] [INFO] [stdout] | ^^^^^^^^^ the trait `_IMPL_ARBITRARY_FOR_AccessPath::_proptest::arbitrary::Arbitrary` is not implemented for `move_core_types::account_address::AccountAddress`, which is required by `std::collections::BTreeMap: _IMPL_ARBITRARY_FOR_AccessPath::_proptest::arbitrary::Arbitrary` [INFO] [stdout] | [INFO] [stdout] = help: the following other types implement trait `_IMPL_ARBITRARY_FOR_AccessPath::_proptest::arbitrary::Arbitrary`: [INFO] [stdout] () [INFO] [stdout] (Sender, std::sync::mpsc::IntoIter) [INFO] [stdout] (Sender, std::sync::mpsc::Receiver) [INFO] [stdout] (SyncSender, std::sync::mpsc::IntoIter) [INFO] [stdout] (SyncSender, std::sync::mpsc::Receiver) [INFO] [stdout] (T0, T1) [INFO] [stdout] (T0, T1, T2) [INFO] [stdout] (T0, T1, T2, T3) [INFO] [stdout] and 268 others [INFO] [stdout] = note: required for `std::collections::BTreeMap` to implement `_IMPL_ARBITRARY_FOR_AccessPath::_proptest::arbitrary::Arbitrary` [INFO] [stdout] = note: this error originates in the derive macro `Arbitrary` (in Nightly builds, run with -Z macro-backtrace for more info) [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0277]: the trait bound `diem_crypto::ed25519::Ed25519PublicKey: _IMPL_ARBITRARY_FOR_AccessPath::_proptest::arbitrary::Arbitrary` is not satisfied [INFO] [stdout] --> src/block_info.rs:25:51 [INFO] [stdout] | [INFO] [stdout] 25 | #[cfg_attr(any(test, feature = "fuzzing"), derive(Arbitrary))] [INFO] [stdout] | ^^^^^^^^^ the trait `_IMPL_ARBITRARY_FOR_AccessPath::_proptest::arbitrary::Arbitrary` is not implemented for `diem_crypto::ed25519::Ed25519PublicKey` [INFO] [stdout] | [INFO] [stdout] = help: the following other types implement trait `_IMPL_ARBITRARY_FOR_AccessPath::_proptest::arbitrary::Arbitrary`: [INFO] [stdout] () [INFO] [stdout] (Sender, std::sync::mpsc::IntoIter) [INFO] [stdout] (Sender, std::sync::mpsc::Receiver) [INFO] [stdout] (SyncSender, std::sync::mpsc::IntoIter) [INFO] [stdout] (SyncSender, std::sync::mpsc::Receiver) [INFO] [stdout] (T0, T1) [INFO] [stdout] (T0, T1, T2) [INFO] [stdout] (T0, T1, T2, T3) [INFO] [stdout] and 268 others [INFO] [stdout] = note: this error originates in the derive macro `Arbitrary` (in Nightly builds, run with -Z macro-backtrace for more info) [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0277]: the trait bound `diem_crypto::HashValue: _IMPL_ARBITRARY_FOR_AccessPath::_proptest::arbitrary::Arbitrary` is not satisfied [INFO] [stdout] --> src/block_info.rs:33:5 [INFO] [stdout] | [INFO] [stdout] 33 | /// The accumulator root hash after executing this block. [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ the trait `_IMPL_ARBITRARY_FOR_AccessPath::_proptest::arbitrary::Arbitrary` is not implemented for `diem_crypto::HashValue` [INFO] [stdout] | [INFO] [stdout] = help: the following other types implement trait `_IMPL_ARBITRARY_FOR_AccessPath::_proptest::arbitrary::Arbitrary`: [INFO] [stdout] () [INFO] [stdout] (Sender, std::sync::mpsc::IntoIter) [INFO] [stdout] (Sender, std::sync::mpsc::Receiver) [INFO] [stdout] (SyncSender, std::sync::mpsc::IntoIter) [INFO] [stdout] (SyncSender, std::sync::mpsc::Receiver) [INFO] [stdout] (T0, T1) [INFO] [stdout] (T0, T1, T2) [INFO] [stdout] (T0, T1, T2, T3) [INFO] [stdout] and 268 others [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0277]: the trait bound `move_core_types::account_address::AccountAddress: _IMPL_ARBITRARY_FOR_AccessPath::_proptest::arbitrary::Arbitrary` is not satisfied [INFO] [stdout] --> src/epoch_state.rs:18:51 [INFO] [stdout] | [INFO] [stdout] 18 | #[cfg_attr(any(test, feature = "fuzzing"), derive(Arbitrary))] [INFO] [stdout] | ^^^^^^^^^ the trait `_IMPL_ARBITRARY_FOR_AccessPath::_proptest::arbitrary::Arbitrary` is not implemented for `move_core_types::account_address::AccountAddress`, which is required by `std::collections::BTreeMap: _IMPL_ARBITRARY_FOR_AccessPath::_proptest::arbitrary::Arbitrary` [INFO] [stdout] | [INFO] [stdout] = help: the following other types implement trait `_IMPL_ARBITRARY_FOR_AccessPath::_proptest::arbitrary::Arbitrary`: [INFO] [stdout] () [INFO] [stdout] (Sender, std::sync::mpsc::IntoIter) [INFO] [stdout] (Sender, std::sync::mpsc::Receiver) [INFO] [stdout] (SyncSender, std::sync::mpsc::IntoIter) [INFO] [stdout] (SyncSender, std::sync::mpsc::Receiver) [INFO] [stdout] (T0, T1) [INFO] [stdout] (T0, T1, T2) [INFO] [stdout] (T0, T1, T2, T3) [INFO] [stdout] and 268 others [INFO] [stdout] = note: required for `std::collections::BTreeMap` to implement `_IMPL_ARBITRARY_FOR_AccessPath::_proptest::arbitrary::Arbitrary` [INFO] [stdout] = note: this error originates in the derive macro `Arbitrary` (in Nightly builds, run with -Z macro-backtrace for more info) [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0277]: the trait bound `diem_crypto::ed25519::Ed25519PublicKey: _IMPL_ARBITRARY_FOR_AccessPath::_proptest::arbitrary::Arbitrary` is not satisfied [INFO] [stdout] --> src/epoch_state.rs:18:51 [INFO] [stdout] | [INFO] [stdout] 18 | #[cfg_attr(any(test, feature = "fuzzing"), derive(Arbitrary))] [INFO] [stdout] | ^^^^^^^^^ the trait `_IMPL_ARBITRARY_FOR_AccessPath::_proptest::arbitrary::Arbitrary` is not implemented for `diem_crypto::ed25519::Ed25519PublicKey` [INFO] [stdout] | [INFO] [stdout] = help: the following other types implement trait `_IMPL_ARBITRARY_FOR_AccessPath::_proptest::arbitrary::Arbitrary`: [INFO] [stdout] () [INFO] [stdout] (Sender, std::sync::mpsc::IntoIter) [INFO] [stdout] (Sender, std::sync::mpsc::Receiver) [INFO] [stdout] (SyncSender, std::sync::mpsc::IntoIter) [INFO] [stdout] (SyncSender, std::sync::mpsc::Receiver) [INFO] [stdout] (T0, T1) [INFO] [stdout] (T0, T1, T2) [INFO] [stdout] (T0, T1, T2, T3) [INFO] [stdout] and 268 others [INFO] [stdout] = note: this error originates in the derive macro `Arbitrary` (in Nightly builds, run with -Z macro-backtrace for more info) [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0277]: the trait bound `diem_crypto::HashValue: _IMPL_ARBITRARY_FOR_AccessPath::_proptest::arbitrary::Arbitrary` is not satisfied [INFO] [stdout] --> src/ledger_info.rs:41:51 [INFO] [stdout] | [INFO] [stdout] 41 | #[cfg_attr(any(test, feature = "fuzzing"), derive(Arbitrary))] [INFO] [stdout] | ^^^^^^^^^ the trait `_IMPL_ARBITRARY_FOR_AccessPath::_proptest::arbitrary::Arbitrary` is not implemented for `diem_crypto::HashValue` [INFO] [stdout] | [INFO] [stdout] = help: the following other types implement trait `_IMPL_ARBITRARY_FOR_AccessPath::_proptest::arbitrary::Arbitrary`: [INFO] [stdout] () [INFO] [stdout] (Sender, std::sync::mpsc::IntoIter) [INFO] [stdout] (Sender, std::sync::mpsc::Receiver) [INFO] [stdout] (SyncSender, std::sync::mpsc::IntoIter) [INFO] [stdout] (SyncSender, std::sync::mpsc::Receiver) [INFO] [stdout] (T0, T1) [INFO] [stdout] (T0, T1, T2) [INFO] [stdout] (T0, T1, T2, T3) [INFO] [stdout] and 268 others [INFO] [stdout] = note: this error originates in the derive macro `Arbitrary` (in Nightly builds, run with -Z macro-backtrace for more info) [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0277]: the trait bound `move_core_types::account_address::AccountAddress: _IMPL_ARBITRARY_FOR_AccessPath::_proptest::arbitrary::Arbitrary` is not satisfied [INFO] [stdout] --> src/ledger_info.rs:41:51 [INFO] [stdout] | [INFO] [stdout] 41 | #[cfg_attr(any(test, feature = "fuzzing"), derive(Arbitrary))] [INFO] [stdout] | ^^^^^^^^^ the trait `_IMPL_ARBITRARY_FOR_AccessPath::_proptest::arbitrary::Arbitrary` is not implemented for `move_core_types::account_address::AccountAddress`, which is required by `std::collections::BTreeMap: _IMPL_ARBITRARY_FOR_AccessPath::_proptest::arbitrary::Arbitrary` [INFO] [stdout] | [INFO] [stdout] = help: the following other types implement trait `_IMPL_ARBITRARY_FOR_AccessPath::_proptest::arbitrary::Arbitrary`: [INFO] [stdout] () [INFO] [stdout] (Sender, std::sync::mpsc::IntoIter) [INFO] [stdout] (Sender, std::sync::mpsc::Receiver) [INFO] [stdout] (SyncSender, std::sync::mpsc::IntoIter) [INFO] [stdout] (SyncSender, std::sync::mpsc::Receiver) [INFO] [stdout] (T0, T1) [INFO] [stdout] (T0, T1, T2) [INFO] [stdout] (T0, T1, T2, T3) [INFO] [stdout] and 268 others [INFO] [stdout] = note: required for `std::collections::BTreeMap` to implement `_IMPL_ARBITRARY_FOR_AccessPath::_proptest::arbitrary::Arbitrary` [INFO] [stdout] = note: this error originates in the derive macro `Arbitrary` (in Nightly builds, run with -Z macro-backtrace for more info) [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0277]: the trait bound `diem_crypto::ed25519::Ed25519PublicKey: _IMPL_ARBITRARY_FOR_AccessPath::_proptest::arbitrary::Arbitrary` is not satisfied [INFO] [stdout] --> src/ledger_info.rs:41:51 [INFO] [stdout] | [INFO] [stdout] 41 | #[cfg_attr(any(test, feature = "fuzzing"), derive(Arbitrary))] [INFO] [stdout] | ^^^^^^^^^ the trait `_IMPL_ARBITRARY_FOR_AccessPath::_proptest::arbitrary::Arbitrary` is not implemented for `diem_crypto::ed25519::Ed25519PublicKey` [INFO] [stdout] | [INFO] [stdout] = help: the following other types implement trait `_IMPL_ARBITRARY_FOR_AccessPath::_proptest::arbitrary::Arbitrary`: [INFO] [stdout] () [INFO] [stdout] (Sender, std::sync::mpsc::IntoIter) [INFO] [stdout] (Sender, std::sync::mpsc::Receiver) [INFO] [stdout] (SyncSender, std::sync::mpsc::IntoIter) [INFO] [stdout] (SyncSender, std::sync::mpsc::Receiver) [INFO] [stdout] (T0, T1) [INFO] [stdout] (T0, T1, T2) [INFO] [stdout] (T0, T1, T2, T3) [INFO] [stdout] and 268 others [INFO] [stdout] = note: this error originates in the derive macro `Arbitrary` (in Nightly builds, run with -Z macro-backtrace for more info) [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0277]: the trait bound `diem_crypto::HashValue: _IMPL_ARBITRARY_FOR_AccessPath::_proptest::arbitrary::Arbitrary` is not satisfied [INFO] [stdout] --> src/ledger_info.rs:45:5 [INFO] [stdout] | [INFO] [stdout] 45 | /// Hash of consensus specific data that is opaque to all parts of the system other than [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ the trait `_IMPL_ARBITRARY_FOR_AccessPath::_proptest::arbitrary::Arbitrary` is not implemented for `diem_crypto::HashValue` [INFO] [stdout] | [INFO] [stdout] = help: the following other types implement trait `_IMPL_ARBITRARY_FOR_AccessPath::_proptest::arbitrary::Arbitrary`: [INFO] [stdout] () [INFO] [stdout] (Sender, std::sync::mpsc::IntoIter) [INFO] [stdout] (Sender, std::sync::mpsc::Receiver) [INFO] [stdout] (SyncSender, std::sync::mpsc::IntoIter) [INFO] [stdout] (SyncSender, std::sync::mpsc::Receiver) [INFO] [stdout] (T0, T1) [INFO] [stdout] (T0, T1, T2) [INFO] [stdout] (T0, T1, T2, T3) [INFO] [stdout] and 268 others [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0277]: the trait bound `diem_crypto::x25519::PublicKey: _IMPL_ARBITRARY_FOR_AccessPath::_proptest::arbitrary::Arbitrary` is not satisfied [INFO] [stdout] --> src/network_address/mod.rs:116:51 [INFO] [stdout] | [INFO] [stdout] 116 | #[cfg_attr(any(test, feature = "fuzzing"), derive(Arbitrary))] [INFO] [stdout] | ^^^^^^^^^ the trait `_IMPL_ARBITRARY_FOR_AccessPath::_proptest::arbitrary::Arbitrary` is not implemented for `diem_crypto::x25519::PublicKey` [INFO] [stdout] | [INFO] [stdout] = help: the following other types implement trait `_IMPL_ARBITRARY_FOR_AccessPath::_proptest::arbitrary::Arbitrary`: [INFO] [stdout] () [INFO] [stdout] (Sender, std::sync::mpsc::IntoIter) [INFO] [stdout] (Sender, std::sync::mpsc::Receiver) [INFO] [stdout] (SyncSender, std::sync::mpsc::IntoIter) [INFO] [stdout] (SyncSender, std::sync::mpsc::Receiver) [INFO] [stdout] (T0, T1) [INFO] [stdout] (T0, T1, T2) [INFO] [stdout] (T0, T1, T2, T3) [INFO] [stdout] and 268 others [INFO] [stdout] = note: this error originates in the derive macro `Arbitrary` (in Nightly builds, run with -Z macro-backtrace for more info) [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0277]: the trait bound `diem_crypto::x25519::PublicKey: _IMPL_ARBITRARY_FOR_AccessPath::_proptest::arbitrary::Arbitrary` is not satisfied [INFO] [stdout] --> src/network_address/mod.rs:499:30 [INFO] [stdout] | [INFO] [stdout] 499 | let arb_diemnet_protos = any::<(x25519::PublicKey, u8)>() [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ the trait `_IMPL_ARBITRARY_FOR_AccessPath::_proptest::arbitrary::Arbitrary` is not implemented for `diem_crypto::x25519::PublicKey`, which is required by `(diem_crypto::x25519::PublicKey, u8): _IMPL_ARBITRARY_FOR_AccessPath::_proptest::arbitrary::Arbitrary` [INFO] [stdout] | [INFO] [stdout] = help: the following other types implement trait `_IMPL_ARBITRARY_FOR_AccessPath::_proptest::arbitrary::Arbitrary`: [INFO] [stdout] () [INFO] [stdout] (Sender, std::sync::mpsc::IntoIter) [INFO] [stdout] (Sender, std::sync::mpsc::Receiver) [INFO] [stdout] (SyncSender, std::sync::mpsc::IntoIter) [INFO] [stdout] (SyncSender, std::sync::mpsc::Receiver) [INFO] [stdout] (T0, T1) [INFO] [stdout] (T0, T1, T2) [INFO] [stdout] (T0, T1, T2, T3) [INFO] [stdout] and 268 others [INFO] [stdout] = note: required for `(diem_crypto::x25519::PublicKey, u8)` to implement `_IMPL_ARBITRARY_FOR_AccessPath::_proptest::arbitrary::Arbitrary` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0277]: the trait bound `diem_crypto::x25519::PublicKey: _IMPL_ARBITRARY_FOR_AccessPath::_proptest::arbitrary::Arbitrary` is not satisfied [INFO] [stdout] --> src/network_address/mod.rs:126:13 [INFO] [stdout] | [INFO] [stdout] 126 | NoiseIK(x25519::PublicKey), [INFO] [stdout] | ^^^^^^ the trait `_IMPL_ARBITRARY_FOR_AccessPath::_proptest::arbitrary::Arbitrary` is not implemented for `diem_crypto::x25519::PublicKey` [INFO] [stdout] | [INFO] [stdout] = help: the following other types implement trait `_IMPL_ARBITRARY_FOR_AccessPath::_proptest::arbitrary::Arbitrary`: [INFO] [stdout] () [INFO] [stdout] (Sender, std::sync::mpsc::IntoIter) [INFO] [stdout] (Sender, std::sync::mpsc::Receiver) [INFO] [stdout] (SyncSender, std::sync::mpsc::IntoIter) [INFO] [stdout] (SyncSender, std::sync::mpsc::Receiver) [INFO] [stdout] (T0, T1) [INFO] [stdout] (T0, T1, T2) [INFO] [stdout] (T0, T1, T2, T3) [INFO] [stdout] and 268 others [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0277]: the trait bound `move_core_types::account_address::AccountAddress: _IMPL_ARBITRARY_FOR_AccessPath::_proptest::arbitrary::Arbitrary` is not satisfied [INFO] [stdout] --> src/on_chain_config/validator_set.rs:19:51 [INFO] [stdout] | [INFO] [stdout] 19 | #[cfg_attr(any(test, feature = "fuzzing"), derive(Arbitrary))] [INFO] [stdout] | ^^^^^^^^^ the trait `_IMPL_ARBITRARY_FOR_AccessPath::_proptest::arbitrary::Arbitrary` is not implemented for `move_core_types::account_address::AccountAddress` [INFO] [stdout] | [INFO] [stdout] = help: the following other types implement trait `_IMPL_ARBITRARY_FOR_AccessPath::_proptest::arbitrary::Arbitrary`: [INFO] [stdout] () [INFO] [stdout] (Sender, std::sync::mpsc::IntoIter) [INFO] [stdout] (Sender, std::sync::mpsc::Receiver) [INFO] [stdout] (SyncSender, std::sync::mpsc::IntoIter) [INFO] [stdout] (SyncSender, std::sync::mpsc::Receiver) [INFO] [stdout] (T0, T1) [INFO] [stdout] (T0, T1, T2) [INFO] [stdout] (T0, T1, T2, T3) [INFO] [stdout] and 268 others [INFO] [stdout] = note: this error originates in the derive macro `Arbitrary` (in Nightly builds, run with -Z macro-backtrace for more info) [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0277]: the trait bound `diem_crypto::ed25519::Ed25519PublicKey: _IMPL_ARBITRARY_FOR_AccessPath::_proptest::arbitrary::Arbitrary` is not satisfied [INFO] [stdout] --> src/on_chain_config/validator_set.rs:19:51 [INFO] [stdout] | [INFO] [stdout] 19 | #[cfg_attr(any(test, feature = "fuzzing"), derive(Arbitrary))] [INFO] [stdout] | ^^^^^^^^^ the trait `_IMPL_ARBITRARY_FOR_AccessPath::_proptest::arbitrary::Arbitrary` is not implemented for `diem_crypto::ed25519::Ed25519PublicKey` [INFO] [stdout] | [INFO] [stdout] = help: the following other types implement trait `_IMPL_ARBITRARY_FOR_AccessPath::_proptest::arbitrary::Arbitrary`: [INFO] [stdout] () [INFO] [stdout] (Sender, std::sync::mpsc::IntoIter) [INFO] [stdout] (Sender, std::sync::mpsc::Receiver) [INFO] [stdout] (SyncSender, std::sync::mpsc::IntoIter) [INFO] [stdout] (SyncSender, std::sync::mpsc::Receiver) [INFO] [stdout] (T0, T1) [INFO] [stdout] (T0, T1, T2) [INFO] [stdout] (T0, T1, T2, T3) [INFO] [stdout] and 268 others [INFO] [stdout] = note: this error originates in the derive macro `Arbitrary` (in Nightly builds, run with -Z macro-backtrace for more info) [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0277]: the trait bound `diem_crypto::HashValue: _IMPL_ARBITRARY_FOR_AccessPath::_proptest::arbitrary::Arbitrary` is not satisfied [INFO] [stdout] --> src/proof/mod.rs:98:51 [INFO] [stdout] | [INFO] [stdout] 98 | #[cfg_attr(any(test, feature = "fuzzing"), derive(Arbitrary))] [INFO] [stdout] | ^^^^^^^^^ the trait `_IMPL_ARBITRARY_FOR_AccessPath::_proptest::arbitrary::Arbitrary` is not implemented for `diem_crypto::HashValue` [INFO] [stdout] | [INFO] [stdout] = help: the following other types implement trait `_IMPL_ARBITRARY_FOR_AccessPath::_proptest::arbitrary::Arbitrary`: [INFO] [stdout] () [INFO] [stdout] (Sender, std::sync::mpsc::IntoIter) [INFO] [stdout] (Sender, std::sync::mpsc::Receiver) [INFO] [stdout] (SyncSender, std::sync::mpsc::IntoIter) [INFO] [stdout] (SyncSender, std::sync::mpsc::Receiver) [INFO] [stdout] (T0, T1) [INFO] [stdout] (T0, T1, T2) [INFO] [stdout] (T0, T1, T2, T3) [INFO] [stdout] and 268 others [INFO] [stdout] = note: this error originates in the derive macro `Arbitrary` (in Nightly builds, run with -Z macro-backtrace for more info) [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0277]: the trait bound `diem_crypto::HashValue: _IMPL_ARBITRARY_FOR_AccessPath::_proptest::arbitrary::Arbitrary` is not satisfied [INFO] [stdout] --> src/proof/mod.rs:101:5 [INFO] [stdout] | [INFO] [stdout] 101 | value_hash: HashValue, [INFO] [stdout] | ^^^^^^^^^^ the trait `_IMPL_ARBITRARY_FOR_AccessPath::_proptest::arbitrary::Arbitrary` is not implemented for `diem_crypto::HashValue` [INFO] [stdout] | [INFO] [stdout] = help: the following other types implement trait `_IMPL_ARBITRARY_FOR_AccessPath::_proptest::arbitrary::Arbitrary`: [INFO] [stdout] () [INFO] [stdout] (Sender, std::sync::mpsc::IntoIter) [INFO] [stdout] (Sender, std::sync::mpsc::Receiver) [INFO] [stdout] (SyncSender, std::sync::mpsc::IntoIter) [INFO] [stdout] (SyncSender, std::sync::mpsc::Receiver) [INFO] [stdout] (T0, T1) [INFO] [stdout] (T0, T1, T2) [INFO] [stdout] (T0, T1, T2, T3) [INFO] [stdout] and 268 others [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0277]: the trait bound `diem_crypto::HashValue: _IMPL_ARBITRARY_FOR_AccessPath::_proptest::arbitrary::Arbitrary` is not satisfied [INFO] [stdout] --> src/proof/proptest_proof.rs:21:11 [INFO] [stdout] | [INFO] [stdout] 21 | any::().prop_filter("Filter out placeholder sibling.", |x| { [INFO] [stdout] | ^^^^^^^^^ the trait `_IMPL_ARBITRARY_FOR_AccessPath::_proptest::arbitrary::Arbitrary` is not implemented for `diem_crypto::HashValue` [INFO] [stdout] | [INFO] [stdout] = help: the following other types implement trait `_IMPL_ARBITRARY_FOR_AccessPath::_proptest::arbitrary::Arbitrary`: [INFO] [stdout] () [INFO] [stdout] (Sender, std::sync::mpsc::IntoIter) [INFO] [stdout] (Sender, std::sync::mpsc::Receiver) [INFO] [stdout] (SyncSender, std::sync::mpsc::IntoIter) [INFO] [stdout] (SyncSender, std::sync::mpsc::Receiver) [INFO] [stdout] (T0, T1) [INFO] [stdout] (T0, T1, T2) [INFO] [stdout] (T0, T1, T2, T3) [INFO] [stdout] and 268 others [INFO] [stdout] note: required by a bound in `_IMPL_ARBITRARY_FOR_AccessPath::_proptest::arbitrary::any` [INFO] [stdout] --> /opt/rustwide/cargo-home/registry/src/index.crates.io-6f17d22bba15001f/proptest-1.5.0/src/arbitrary/traits.rs:164:15 [INFO] [stdout] | [INFO] [stdout] 164 | pub fn any() -> StrategyFor { [INFO] [stdout] | ^^^^^^^^^ required by this bound in `any` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0277]: the trait bound `diem_crypto::HashValue: _IMPL_ARBITRARY_FOR_AccessPath::_proptest::arbitrary::Arbitrary` is not satisfied [INFO] [stdout] --> src/proof/proptest_proof.rs:21:5 [INFO] [stdout] | [INFO] [stdout] 21 | any::().prop_filter("Filter out placeholder sibling.", |x| { [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^ the trait `_IMPL_ARBITRARY_FOR_AccessPath::_proptest::arbitrary::Arbitrary` is not implemented for `diem_crypto::HashValue` [INFO] [stdout] | [INFO] [stdout] = help: the following other types implement trait `_IMPL_ARBITRARY_FOR_AccessPath::_proptest::arbitrary::Arbitrary`: [INFO] [stdout] () [INFO] [stdout] (Sender, std::sync::mpsc::IntoIter) [INFO] [stdout] (Sender, std::sync::mpsc::Receiver) [INFO] [stdout] (SyncSender, std::sync::mpsc::IntoIter) [INFO] [stdout] (SyncSender, std::sync::mpsc::Receiver) [INFO] [stdout] (T0, T1) [INFO] [stdout] (T0, T1, T2) [INFO] [stdout] (T0, T1, T2, T3) [INFO] [stdout] and 268 others [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0277]: the trait bound `diem_crypto::HashValue: _IMPL_ARBITRARY_FOR_AccessPath::_proptest::arbitrary::Arbitrary` is not satisfied [INFO] [stdout] --> src/proof/proptest_proof.rs:34:11 [INFO] [stdout] | [INFO] [stdout] 34 | any::().prop_filter("Filter out placeholder sibling.", |x| { [INFO] [stdout] | ^^^^^^^^^ the trait `_IMPL_ARBITRARY_FOR_AccessPath::_proptest::arbitrary::Arbitrary` is not implemented for `diem_crypto::HashValue` [INFO] [stdout] | [INFO] [stdout] = help: the following other types implement trait `_IMPL_ARBITRARY_FOR_AccessPath::_proptest::arbitrary::Arbitrary`: [INFO] [stdout] () [INFO] [stdout] (Sender, std::sync::mpsc::IntoIter) [INFO] [stdout] (Sender, std::sync::mpsc::Receiver) [INFO] [stdout] (SyncSender, std::sync::mpsc::IntoIter) [INFO] [stdout] (SyncSender, std::sync::mpsc::Receiver) [INFO] [stdout] (T0, T1) [INFO] [stdout] (T0, T1, T2) [INFO] [stdout] (T0, T1, T2, T3) [INFO] [stdout] and 268 others [INFO] [stdout] note: required by a bound in `_IMPL_ARBITRARY_FOR_AccessPath::_proptest::arbitrary::any` [INFO] [stdout] --> /opt/rustwide/cargo-home/registry/src/index.crates.io-6f17d22bba15001f/proptest-1.5.0/src/arbitrary/traits.rs:164:15 [INFO] [stdout] | [INFO] [stdout] 164 | pub fn any() -> StrategyFor { [INFO] [stdout] | ^^^^^^^^^ required by this bound in `any` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0277]: the trait bound `diem_crypto::HashValue: _IMPL_ARBITRARY_FOR_AccessPath::_proptest::arbitrary::Arbitrary` is not satisfied [INFO] [stdout] --> src/proof/proptest_proof.rs:34:5 [INFO] [stdout] | [INFO] [stdout] 34 | any::().prop_filter("Filter out placeholder sibling.", |x| { [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^ the trait `_IMPL_ARBITRARY_FOR_AccessPath::_proptest::arbitrary::Arbitrary` is not implemented for `diem_crypto::HashValue` [INFO] [stdout] | [INFO] [stdout] = help: the following other types implement trait `_IMPL_ARBITRARY_FOR_AccessPath::_proptest::arbitrary::Arbitrary`: [INFO] [stdout] () [INFO] [stdout] (Sender, std::sync::mpsc::IntoIter) [INFO] [stdout] (Sender, std::sync::mpsc::Receiver) [INFO] [stdout] (SyncSender, std::sync::mpsc::IntoIter) [INFO] [stdout] (SyncSender, std::sync::mpsc::Receiver) [INFO] [stdout] (T0, T1) [INFO] [stdout] (T0, T1, T2) [INFO] [stdout] (T0, T1, T2, T3) [INFO] [stdout] and 268 others [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0277]: the trait bound `move_core_types::account_address::AccountAddress: _IMPL_ARBITRARY_FOR_AccessPath::_proptest::arbitrary::Arbitrary` is not satisfied [INFO] [stdout] --> src/proptest_types.rs:72:14 [INFO] [stdout] | [INFO] [stdout] 72 | vec((any::(), WriteOp::value_strategy()), 0..64).prop_map(|write_set| { [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^ the trait `_IMPL_ARBITRARY_FOR_AccessPath::_proptest::arbitrary::Arbitrary` is not implemented for `move_core_types::account_address::AccountAddress` [INFO] [stdout] | [INFO] [stdout] = help: the following other types implement trait `_IMPL_ARBITRARY_FOR_AccessPath::_proptest::arbitrary::Arbitrary`: [INFO] [stdout] () [INFO] [stdout] (Sender, std::sync::mpsc::IntoIter) [INFO] [stdout] (Sender, std::sync::mpsc::Receiver) [INFO] [stdout] (SyncSender, std::sync::mpsc::IntoIter) [INFO] [stdout] (SyncSender, std::sync::mpsc::Receiver) [INFO] [stdout] (T0, T1) [INFO] [stdout] (T0, T1, T2) [INFO] [stdout] (T0, T1, T2, T3) [INFO] [stdout] and 269 others [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0277]: the trait bound `KeyPair: Clone` is not satisfied [INFO] [stdout] --> src/proptest_types.rs:446:26 [INFO] [stdout] | [INFO] [stdout] 446 | Just(keypair), [INFO] [stdout] | ---- ^^^^^^^ the trait `Clone` is not implemented for `KeyPair` [INFO] [stdout] | | [INFO] [stdout] | required by a bound introduced by this call [INFO] [stdout] | [INFO] [stdout] note: required by a bound in `_IMPL_ARBITRARY_FOR_AccessPath::_proptest::strategy::Just` [INFO] [stdout] --> /opt/rustwide/cargo-home/registry/src/index.crates.io-6f17d22bba15001f/proptest-1.5.0/src/strategy/just.rs:34:20 [INFO] [stdout] | [INFO] [stdout] 34 | pub struct Just( [INFO] [stdout] | ^^^^^ required by this bound in `_IMPL_ARBITRARY_FOR_AccessPath::_proptest::strategy::Just` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0277]: the trait bound `KeyPair: Clone` is not satisfied [INFO] [stdout] --> src/proptest_types.rs:446:21 [INFO] [stdout] | [INFO] [stdout] 446 | Just(keypair), [INFO] [stdout] | ^^^^^^^^^^^^^ the trait `Clone` is not implemented for `KeyPair` [INFO] [stdout] | [INFO] [stdout] note: required by a bound in `_IMPL_ARBITRARY_FOR_AccessPath::_proptest::strategy::Just` [INFO] [stdout] --> /opt/rustwide/cargo-home/registry/src/index.crates.io-6f17d22bba15001f/proptest-1.5.0/src/strategy/just.rs:34:20 [INFO] [stdout] | [INFO] [stdout] 34 | pub struct Just( [INFO] [stdout] | ^^^^^ required by this bound in `Just` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0277]: the trait bound `KeyPair: Clone` is not satisfied [INFO] [stdout] --> src/proptest_types.rs:438:9 [INFO] [stdout] | [INFO] [stdout] 438 | / ( [INFO] [stdout] 439 | | keypair_strategy, [INFO] [stdout] 440 | | payload_strategy, [INFO] [stdout] 441 | | gas_currency_code_strategy, [INFO] [stdout] ... | [INFO] [stdout] 452 | | ) [INFO] [stdout] 453 | | }) [INFO] [stdout] | |______________^ the trait `Clone` is not implemented for `KeyPair` [INFO] [stdout] | [INFO] [stdout] note: required by a bound in `_IMPL_ARBITRARY_FOR_AccessPath::_proptest::strategy::Just` [INFO] [stdout] --> /opt/rustwide/cargo-home/registry/src/index.crates.io-6f17d22bba15001f/proptest-1.5.0/src/strategy/just.rs:34:20 [INFO] [stdout] | [INFO] [stdout] 34 | pub struct Just( [INFO] [stdout] | ^^^^^ required by this bound in `Just` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0599]: the method `prop_flat_map` exists for struct `Flatten>, ..., ...), ...>>`, but its trait bounds were not satisfied [INFO] [stdout] --> src/proptest_types.rs:454:14 [INFO] [stdout] | [INFO] [stdout] 438 | / ( [INFO] [stdout] 439 | | keypair_strategy, [INFO] [stdout] 440 | | payload_strategy, [INFO] [stdout] 441 | | gas_currency_code_strategy, [INFO] [stdout] ... | [INFO] [stdout] 453 | | }) [INFO] [stdout] 454 | | .prop_flat_map(|(keypair, raw_txn)| { [INFO] [stdout] | | -^^^^^^^^^^^^^ method cannot be called due to unsatisfied trait bounds [INFO] [stdout] | |_____________| [INFO] [stdout] | [INFO] [stdout] | [INFO] [stdout] ::: /opt/rustwide/cargo-home/registry/src/index.crates.io-6f17d22bba15001f/proptest-1.5.0/src/strategy/flatten.rs:22:1 [INFO] [stdout] | [INFO] [stdout] 22 | pub struct Flatten { [INFO] [stdout] | --------------------- doesn't satisfy `_: Strategy` [INFO] [stdout] | [INFO] [stdout] ::: /opt/rustwide/cargo-home/registry/src/index.crates.io-6f17d22bba15001f/proptest-1.5.0/src/strategy/map.rs:25:1 [INFO] [stdout] | [INFO] [stdout] 25 | pub struct Map { [INFO] [stdout] | -------------------- doesn't satisfy `_: Strategy` [INFO] [stdout] | [INFO] [stdout] = note: the full type name has been written to '/opt/rustwide/target/debug/deps/diem_types-8d110ad6503e1443.long-type-13822112479641281904.txt' [INFO] [stdout] = note: consider using `--verbose` to print the full type name to the console [INFO] [stdout] = note: the following trait bounds were not satisfied: [INFO] [stdout] `_IMPL_ARBITRARY_FOR_AccessPath::_proptest::strategy::Map<(impl Strategy>, impl Strategy, impl Strategy), {closure@src/proptest_types.rs:443:28: 443:67}>: _IMPL_ARBITRARY_FOR_AccessPath::_proptest::strategy::Strategy` [INFO] [stdout] which is required by `_IMPL_ARBITRARY_FOR_AccessPath::_proptest::strategy::Flatten<_IMPL_ARBITRARY_FOR_AccessPath::_proptest::strategy::Map<(impl Strategy>, impl Strategy, impl Strategy), {closure@src/proptest_types.rs:443:28: 443:67}>>: _IMPL_ARBITRARY_FOR_AccessPath::_proptest::strategy::Strategy` [INFO] [stdout] `_IMPL_ARBITRARY_FOR_AccessPath::_proptest::strategy::Flatten<_IMPL_ARBITRARY_FOR_AccessPath::_proptest::strategy::Map<(impl Strategy>, impl Strategy, impl Strategy), {closure@src/proptest_types.rs:443:28: 443:67}>>: _IMPL_ARBITRARY_FOR_AccessPath::_proptest::strategy::Strategy` [INFO] [stdout] which is required by `&_IMPL_ARBITRARY_FOR_AccessPath::_proptest::strategy::Flatten<_IMPL_ARBITRARY_FOR_AccessPath::_proptest::strategy::Map<(impl Strategy>, impl Strategy, impl Strategy), {closure@src/proptest_types.rs:443:28: 443:67}>>: _IMPL_ARBITRARY_FOR_AccessPath::_proptest::strategy::Strategy` [INFO] [stdout] `_IMPL_ARBITRARY_FOR_AccessPath::_proptest::strategy::Flatten<_IMPL_ARBITRARY_FOR_AccessPath::_proptest::strategy::Map<(impl Strategy>, impl Strategy, impl Strategy), {closure@src/proptest_types.rs:443:28: 443:67}>>: _IMPL_ARBITRARY_FOR_AccessPath::_proptest::strategy::Strategy` [INFO] [stdout] which is required by `&mut _IMPL_ARBITRARY_FOR_AccessPath::_proptest::strategy::Flatten<_IMPL_ARBITRARY_FOR_AccessPath::_proptest::strategy::Map<(impl Strategy>, impl Strategy, impl Strategy), {closure@src/proptest_types.rs:443:28: 443:67}>>: _IMPL_ARBITRARY_FOR_AccessPath::_proptest::strategy::Strategy` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0277]: the trait bound `VMStatus: _IMPL_ARBITRARY_FOR_AccessPath::_proptest::arbitrary::Arbitrary` is not satisfied [INFO] [stdout] --> src/proptest_types.rs:541:52 [INFO] [stdout] | [INFO] [stdout] 541 | fn arb_transaction_status()(vm_status in any::()) -> TransactionStatus { [INFO] [stdout] | ^^^^^^^^ the trait `_IMPL_ARBITRARY_FOR_AccessPath::_proptest::arbitrary::Arbitrary` is not implemented for `VMStatus` [INFO] [stdout] | [INFO] [stdout] = help: the following other types implement trait `_IMPL_ARBITRARY_FOR_AccessPath::_proptest::arbitrary::Arbitrary`: [INFO] [stdout] () [INFO] [stdout] (Sender, std::sync::mpsc::IntoIter) [INFO] [stdout] (Sender, std::sync::mpsc::Receiver) [INFO] [stdout] (SyncSender, std::sync::mpsc::IntoIter) [INFO] [stdout] (SyncSender, std::sync::mpsc::Receiver) [INFO] [stdout] (T0, T1) [INFO] [stdout] (T0, T1, T2) [INFO] [stdout] (T0, T1, T2, T3) [INFO] [stdout] and 269 others [INFO] [stdout] note: required by a bound in `_IMPL_ARBITRARY_FOR_AccessPath::_proptest::arbitrary::any` [INFO] [stdout] --> /opt/rustwide/cargo-home/registry/src/index.crates.io-6f17d22bba15001f/proptest-1.5.0/src/arbitrary/traits.rs:164:15 [INFO] [stdout] | [INFO] [stdout] 164 | pub fn any() -> StrategyFor { [INFO] [stdout] | ^^^^^^^^^ required by this bound in `any` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0277]: the trait bound `VMStatus: _IMPL_ARBITRARY_FOR_AccessPath::_proptest::arbitrary::Arbitrary` is not satisfied [INFO] [stdout] --> src/proptest_types.rs:541:46 [INFO] [stdout] | [INFO] [stdout] 541 | fn arb_transaction_status()(vm_status in any::()) -> TransactionStatus { [INFO] [stdout] | ^^^^^^^^^^^^^^^^^ the trait `_IMPL_ARBITRARY_FOR_AccessPath::_proptest::arbitrary::Arbitrary` is not implemented for `VMStatus` [INFO] [stdout] | [INFO] [stdout] = help: the following other types implement trait `_IMPL_ARBITRARY_FOR_AccessPath::_proptest::arbitrary::Arbitrary`: [INFO] [stdout] () [INFO] [stdout] (Sender, std::sync::mpsc::IntoIter) [INFO] [stdout] (Sender, std::sync::mpsc::Receiver) [INFO] [stdout] (SyncSender, std::sync::mpsc::IntoIter) [INFO] [stdout] (SyncSender, std::sync::mpsc::Receiver) [INFO] [stdout] (T0, T1) [INFO] [stdout] (T0, T1, T2) [INFO] [stdout] (T0, T1, T2, T3) [INFO] [stdout] and 269 others [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0277]: the trait bound `TypeTag: _IMPL_ARBITRARY_FOR_AccessPath::_proptest::arbitrary::Arbitrary` is not satisfied [INFO] [stdout] --> src/proptest_types.rs:638:10 [INFO] [stdout] | [INFO] [stdout] 638 | #[derive(Arbitrary, Debug)] [INFO] [stdout] | ^^^^^^^^^ the trait `_IMPL_ARBITRARY_FOR_AccessPath::_proptest::arbitrary::Arbitrary` is not implemented for `TypeTag` [INFO] [stdout] | [INFO] [stdout] = help: the following other types implement trait `_IMPL_ARBITRARY_FOR_AccessPath::_proptest::arbitrary::Arbitrary`: [INFO] [stdout] () [INFO] [stdout] (Sender, std::sync::mpsc::IntoIter) [INFO] [stdout] (Sender, std::sync::mpsc::Receiver) [INFO] [stdout] (SyncSender, std::sync::mpsc::IntoIter) [INFO] [stdout] (SyncSender, std::sync::mpsc::Receiver) [INFO] [stdout] (T0, T1) [INFO] [stdout] (T0, T1, T2) [INFO] [stdout] (T0, T1, T2, T3) [INFO] [stdout] and 269 others [INFO] [stdout] = note: this error originates in the derive macro `Arbitrary` (in Nightly builds, run with -Z macro-backtrace for more info) [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0277]: the trait bound `move_core_types::account_address::AccountAddress: _IMPL_ARBITRARY_FOR_AccessPath::_proptest::arbitrary::Arbitrary` is not satisfied [INFO] [stdout] --> src/proptest_types.rs:665:10 [INFO] [stdout] | [INFO] [stdout] 665 | #[derive(Arbitrary, Debug)] [INFO] [stdout] | ^^^^^^^^^ the trait `_IMPL_ARBITRARY_FOR_AccessPath::_proptest::arbitrary::Arbitrary` is not implemented for `move_core_types::account_address::AccountAddress` [INFO] [stdout] | [INFO] [stdout] = help: the following other types implement trait `_IMPL_ARBITRARY_FOR_AccessPath::_proptest::arbitrary::Arbitrary`: [INFO] [stdout] () [INFO] [stdout] (Sender, std::sync::mpsc::IntoIter) [INFO] [stdout] (Sender, std::sync::mpsc::Receiver) [INFO] [stdout] (SyncSender, std::sync::mpsc::IntoIter) [INFO] [stdout] (SyncSender, std::sync::mpsc::Receiver) [INFO] [stdout] (T0, T1) [INFO] [stdout] (T0, T1, T2) [INFO] [stdout] (T0, T1, T2, T3) [INFO] [stdout] and 269 others [INFO] [stdout] = note: this error originates in the derive macro `Arbitrary` (in Nightly builds, run with -Z macro-backtrace for more info) [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0277]: the trait bound `move_core_types::account_address::AccountAddress: _IMPL_ARBITRARY_FOR_AccessPath::_proptest::arbitrary::Arbitrary` is not satisfied [INFO] [stdout] --> src/proptest_types.rs:701:10 [INFO] [stdout] | [INFO] [stdout] 701 | #[derive(Arbitrary, Debug)] [INFO] [stdout] | ^^^^^^^^^ the trait `_IMPL_ARBITRARY_FOR_AccessPath::_proptest::arbitrary::Arbitrary` is not implemented for `move_core_types::account_address::AccountAddress` [INFO] [stdout] | [INFO] [stdout] = help: the following other types implement trait `_IMPL_ARBITRARY_FOR_AccessPath::_proptest::arbitrary::Arbitrary`: [INFO] [stdout] () [INFO] [stdout] (Sender, std::sync::mpsc::IntoIter) [INFO] [stdout] (Sender, std::sync::mpsc::Receiver) [INFO] [stdout] (SyncSender, std::sync::mpsc::IntoIter) [INFO] [stdout] (SyncSender, std::sync::mpsc::Receiver) [INFO] [stdout] (T0, T1) [INFO] [stdout] (T0, T1, T2) [INFO] [stdout] (T0, T1, T2, T3) [INFO] [stdout] and 269 others [INFO] [stdout] = note: this error originates in the derive macro `Arbitrary` (in Nightly builds, run with -Z macro-backtrace for more info) [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0277]: the trait bound `TypeTag: _IMPL_ARBITRARY_FOR_AccessPath::_proptest::arbitrary::Arbitrary` is not satisfied [INFO] [stdout] --> src/proptest_types.rs:747:19 [INFO] [stdout] | [INFO] [stdout] 747 | any::(), [INFO] [stdout] | ^^^^^^^ the trait `_IMPL_ARBITRARY_FOR_AccessPath::_proptest::arbitrary::Arbitrary` is not implemented for `TypeTag` [INFO] [stdout] | [INFO] [stdout] = help: the following other types implement trait `_IMPL_ARBITRARY_FOR_AccessPath::_proptest::arbitrary::Arbitrary`: [INFO] [stdout] () [INFO] [stdout] (Sender, std::sync::mpsc::IntoIter) [INFO] [stdout] (Sender, std::sync::mpsc::Receiver) [INFO] [stdout] (SyncSender, std::sync::mpsc::IntoIter) [INFO] [stdout] (SyncSender, std::sync::mpsc::Receiver) [INFO] [stdout] (T0, T1) [INFO] [stdout] (T0, T1, T2) [INFO] [stdout] (T0, T1, T2, T3) [INFO] [stdout] and 269 others [INFO] [stdout] note: required by a bound in `_IMPL_ARBITRARY_FOR_AccessPath::_proptest::arbitrary::any` [INFO] [stdout] --> /opt/rustwide/cargo-home/registry/src/index.crates.io-6f17d22bba15001f/proptest-1.5.0/src/arbitrary/traits.rs:164:15 [INFO] [stdout] | [INFO] [stdout] 164 | pub fn any() -> StrategyFor { [INFO] [stdout] | ^^^^^^^^^ required by this bound in `any` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0277]: the trait bound `TypeTag: _IMPL_ARBITRARY_FOR_AccessPath::_proptest::arbitrary::Arbitrary` is not satisfied [INFO] [stdout] --> src/proptest_types.rs:747:13 [INFO] [stdout] | [INFO] [stdout] 747 | any::(), [INFO] [stdout] | ^^^^^^^^^^^^^^^^ the trait `_IMPL_ARBITRARY_FOR_AccessPath::_proptest::arbitrary::Arbitrary` is not implemented for `TypeTag` [INFO] [stdout] | [INFO] [stdout] = help: the following other types implement trait `_IMPL_ARBITRARY_FOR_AccessPath::_proptest::arbitrary::Arbitrary`: [INFO] [stdout] () [INFO] [stdout] (Sender, std::sync::mpsc::IntoIter) [INFO] [stdout] (Sender, std::sync::mpsc::Receiver) [INFO] [stdout] (SyncSender, std::sync::mpsc::IntoIter) [INFO] [stdout] (SyncSender, std::sync::mpsc::Receiver) [INFO] [stdout] (T0, T1) [INFO] [stdout] (T0, T1, T2) [INFO] [stdout] (T0, T1, T2, T3) [INFO] [stdout] and 269 others [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0277]: the trait bound `diem_crypto::HashValue: _IMPL_ARBITRARY_FOR_AccessPath::_proptest::arbitrary::Arbitrary` is not satisfied [INFO] [stdout] --> src/proptest_types.rs:896:9 [INFO] [stdout] | [INFO] [stdout] 896 | any::>(), [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ the trait `_IMPL_ARBITRARY_FOR_AccessPath::_proptest::arbitrary::Arbitrary` is not implemented for `diem_crypto::HashValue` [INFO] [stdout] | [INFO] [stdout] = help: the following other types implement trait `_IMPL_ARBITRARY_FOR_AccessPath::_proptest::arbitrary::Arbitrary`: [INFO] [stdout] () [INFO] [stdout] (Sender, std::sync::mpsc::IntoIter) [INFO] [stdout] (Sender, std::sync::mpsc::Receiver) [INFO] [stdout] (SyncSender, std::sync::mpsc::IntoIter) [INFO] [stdout] (SyncSender, std::sync::mpsc::Receiver) [INFO] [stdout] (T0, T1) [INFO] [stdout] (T0, T1, T2) [INFO] [stdout] (T0, T1, T2, T3) [INFO] [stdout] and 269 others [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0277]: the trait bound `KeptVMStatus: _IMPL_ARBITRARY_FOR_AccessPath::_proptest::arbitrary::Arbitrary` is not satisfied [INFO] [stdout] --> src/proptest_types.rs:896:9 [INFO] [stdout] | [INFO] [stdout] 896 | any::>(), [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ the trait `_IMPL_ARBITRARY_FOR_AccessPath::_proptest::arbitrary::Arbitrary` is not implemented for `KeptVMStatus` [INFO] [stdout] | [INFO] [stdout] = help: the following other types implement trait `_IMPL_ARBITRARY_FOR_AccessPath::_proptest::arbitrary::Arbitrary`: [INFO] [stdout] () [INFO] [stdout] (Sender, std::sync::mpsc::IntoIter) [INFO] [stdout] (Sender, std::sync::mpsc::Receiver) [INFO] [stdout] (SyncSender, std::sync::mpsc::IntoIter) [INFO] [stdout] (SyncSender, std::sync::mpsc::Receiver) [INFO] [stdout] (T0, T1) [INFO] [stdout] (T0, T1, T2) [INFO] [stdout] (T0, T1, T2, T3) [INFO] [stdout] and 269 others [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0277]: the trait bound `diem_crypto::HashValue: _IMPL_ARBITRARY_FOR_AccessPath::_proptest::arbitrary::Arbitrary` is not satisfied [INFO] [stdout] --> src/proptest_types.rs:1059:10 [INFO] [stdout] | [INFO] [stdout] 1059 | #[derive(Arbitrary, Debug)] [INFO] [stdout] | ^^^^^^^^^ the trait `_IMPL_ARBITRARY_FOR_AccessPath::_proptest::arbitrary::Arbitrary` is not implemented for `diem_crypto::HashValue` [INFO] [stdout] | [INFO] [stdout] = help: the following other types implement trait `_IMPL_ARBITRARY_FOR_AccessPath::_proptest::arbitrary::Arbitrary`: [INFO] [stdout] () [INFO] [stdout] (Sender, std::sync::mpsc::IntoIter) [INFO] [stdout] (Sender, std::sync::mpsc::Receiver) [INFO] [stdout] (SyncSender, std::sync::mpsc::IntoIter) [INFO] [stdout] (SyncSender, std::sync::mpsc::Receiver) [INFO] [stdout] (T0, T1) [INFO] [stdout] (T0, T1, T2) [INFO] [stdout] (T0, T1, T2, T3) [INFO] [stdout] and 269 others [INFO] [stdout] = note: this error originates in the derive macro `Arbitrary` (in Nightly builds, run with -Z macro-backtrace for more info) [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0277]: the trait bound `TypeTag: _IMPL_ARBITRARY_FOR_AccessPath::_proptest::arbitrary::Arbitrary` is not satisfied [INFO] [stdout] --> src/proptest_types.rs:640:5 [INFO] [stdout] | [INFO] [stdout] 640 | type_tag: TypeTag, [INFO] [stdout] | ^^^^^^^^ the trait `_IMPL_ARBITRARY_FOR_AccessPath::_proptest::arbitrary::Arbitrary` is not implemented for `TypeTag` [INFO] [stdout] | [INFO] [stdout] = help: the following other types implement trait `_IMPL_ARBITRARY_FOR_AccessPath::_proptest::arbitrary::Arbitrary`: [INFO] [stdout] () [INFO] [stdout] (Sender, std::sync::mpsc::IntoIter) [INFO] [stdout] (Sender, std::sync::mpsc::Receiver) [INFO] [stdout] (SyncSender, std::sync::mpsc::IntoIter) [INFO] [stdout] (SyncSender, std::sync::mpsc::Receiver) [INFO] [stdout] (T0, T1) [INFO] [stdout] (T0, T1, T2) [INFO] [stdout] (T0, T1, T2, T3) [INFO] [stdout] and 269 others [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0277]: the trait bound `diem_crypto::HashValue: _IMPL_ARBITRARY_FOR_AccessPath::_proptest::arbitrary::Arbitrary` is not satisfied [INFO] [stdout] --> src/proptest_types.rs:1062:5 [INFO] [stdout] | [INFO] [stdout] 1062 | consensus_data_hash: HashValue, [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^ the trait `_IMPL_ARBITRARY_FOR_AccessPath::_proptest::arbitrary::Arbitrary` is not implemented for `diem_crypto::HashValue` [INFO] [stdout] | [INFO] [stdout] = help: the following other types implement trait `_IMPL_ARBITRARY_FOR_AccessPath::_proptest::arbitrary::Arbitrary`: [INFO] [stdout] () [INFO] [stdout] (Sender, std::sync::mpsc::IntoIter) [INFO] [stdout] (Sender, std::sync::mpsc::Receiver) [INFO] [stdout] (SyncSender, std::sync::mpsc::IntoIter) [INFO] [stdout] (SyncSender, std::sync::mpsc::Receiver) [INFO] [stdout] (T0, T1) [INFO] [stdout] (T0, T1, T2) [INFO] [stdout] (T0, T1, T2, T3) [INFO] [stdout] and 269 others [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0277]: the trait bound `diem_crypto::HashValue: _IMPL_ARBITRARY_FOR_AccessPath::_proptest::arbitrary::Arbitrary` is not satisfied [INFO] [stdout] --> src/transaction/mod.rs:947:51 [INFO] [stdout] | [INFO] [stdout] 947 | #[cfg_attr(any(test, feature = "fuzzing"), derive(Arbitrary))] [INFO] [stdout] | ^^^^^^^^^ the trait `_IMPL_ARBITRARY_FOR_AccessPath::_proptest::arbitrary::Arbitrary` is not implemented for `diem_crypto::HashValue` [INFO] [stdout] | [INFO] [stdout] = help: the following other types implement trait `_IMPL_ARBITRARY_FOR_AccessPath::_proptest::arbitrary::Arbitrary`: [INFO] [stdout] () [INFO] [stdout] (Sender, std::sync::mpsc::IntoIter) [INFO] [stdout] (Sender, std::sync::mpsc::Receiver) [INFO] [stdout] (SyncSender, std::sync::mpsc::IntoIter) [INFO] [stdout] (SyncSender, std::sync::mpsc::Receiver) [INFO] [stdout] (T0, T1) [INFO] [stdout] (T0, T1, T2) [INFO] [stdout] (T0, T1, T2, T3) [INFO] [stdout] and 268 others [INFO] [stdout] = note: this error originates in the derive macro `Arbitrary` (in Nightly builds, run with -Z macro-backtrace for more info) [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0277]: the trait bound `KeptVMStatus: _IMPL_ARBITRARY_FOR_AccessPath::_proptest::arbitrary::Arbitrary` is not satisfied [INFO] [stdout] --> src/transaction/mod.rs:947:51 [INFO] [stdout] | [INFO] [stdout] 947 | #[cfg_attr(any(test, feature = "fuzzing"), derive(Arbitrary))] [INFO] [stdout] | ^^^^^^^^^ the trait `_IMPL_ARBITRARY_FOR_AccessPath::_proptest::arbitrary::Arbitrary` is not implemented for `KeptVMStatus` [INFO] [stdout] | [INFO] [stdout] = help: the following other types implement trait `_IMPL_ARBITRARY_FOR_AccessPath::_proptest::arbitrary::Arbitrary`: [INFO] [stdout] () [INFO] [stdout] (Sender, std::sync::mpsc::IntoIter) [INFO] [stdout] (Sender, std::sync::mpsc::Receiver) [INFO] [stdout] (SyncSender, std::sync::mpsc::IntoIter) [INFO] [stdout] (SyncSender, std::sync::mpsc::Receiver) [INFO] [stdout] (T0, T1) [INFO] [stdout] (T0, T1, T2) [INFO] [stdout] (T0, T1, T2, T3) [INFO] [stdout] and 268 others [INFO] [stdout] = note: this error originates in the derive macro `Arbitrary` (in Nightly builds, run with -Z macro-backtrace for more info) [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0277]: the trait bound `diem_crypto::HashValue: _IMPL_ARBITRARY_FOR_AccessPath::_proptest::arbitrary::Arbitrary` is not satisfied [INFO] [stdout] --> src/transaction/mod.rs:956:5 [INFO] [stdout] | [INFO] [stdout] 956 | /// The root hash of Merkle Accumulator storing all events emitted during this transaction. [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ the trait `_IMPL_ARBITRARY_FOR_AccessPath::_proptest::arbitrary::Arbitrary` is not implemented for `diem_crypto::HashValue` [INFO] [stdout] | [INFO] [stdout] = help: the following other types implement trait `_IMPL_ARBITRARY_FOR_AccessPath::_proptest::arbitrary::Arbitrary`: [INFO] [stdout] () [INFO] [stdout] (Sender, std::sync::mpsc::IntoIter) [INFO] [stdout] (Sender, std::sync::mpsc::Receiver) [INFO] [stdout] (SyncSender, std::sync::mpsc::IntoIter) [INFO] [stdout] (SyncSender, std::sync::mpsc::Receiver) [INFO] [stdout] (T0, T1) [INFO] [stdout] (T0, T1, T2) [INFO] [stdout] (T0, T1, T2, T3) [INFO] [stdout] and 268 others [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0277]: the trait bound `KeptVMStatus: _IMPL_ARBITRARY_FOR_AccessPath::_proptest::arbitrary::Arbitrary` is not satisfied [INFO] [stdout] --> src/transaction/mod.rs:962:5 [INFO] [stdout] | [INFO] [stdout] 962 | /// The vm status. If it is not `Executed`, this will provide the general error class. Execution [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ the trait `_IMPL_ARBITRARY_FOR_AccessPath::_proptest::arbitrary::Arbitrary` is not implemented for `KeptVMStatus` [INFO] [stdout] | [INFO] [stdout] = help: the following other types implement trait `_IMPL_ARBITRARY_FOR_AccessPath::_proptest::arbitrary::Arbitrary`: [INFO] [stdout] () [INFO] [stdout] (Sender, std::sync::mpsc::IntoIter) [INFO] [stdout] (Sender, std::sync::mpsc::Receiver) [INFO] [stdout] (SyncSender, std::sync::mpsc::IntoIter) [INFO] [stdout] (SyncSender, std::sync::mpsc::Receiver) [INFO] [stdout] (T0, T1) [INFO] [stdout] (T0, T1, T2) [INFO] [stdout] (T0, T1, T2, T3) [INFO] [stdout] and 268 others [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0277]: the trait bound `diem_crypto::HashValue: _IMPL_ARBITRARY_FOR_AccessPath::_proptest::arbitrary::Arbitrary` is not satisfied [INFO] [stdout] --> src/trusted_state.rs:24:51 [INFO] [stdout] | [INFO] [stdout] 24 | #[cfg_attr(any(test, feature = "fuzzing"), derive(Arbitrary))] [INFO] [stdout] | ^^^^^^^^^ the trait `_IMPL_ARBITRARY_FOR_AccessPath::_proptest::arbitrary::Arbitrary` is not implemented for `diem_crypto::HashValue` [INFO] [stdout] | [INFO] [stdout] = help: the following other types implement trait `_IMPL_ARBITRARY_FOR_AccessPath::_proptest::arbitrary::Arbitrary`: [INFO] [stdout] () [INFO] [stdout] (Sender, std::sync::mpsc::IntoIter) [INFO] [stdout] (Sender, std::sync::mpsc::Receiver) [INFO] [stdout] (SyncSender, std::sync::mpsc::IntoIter) [INFO] [stdout] (SyncSender, std::sync::mpsc::Receiver) [INFO] [stdout] (T0, T1) [INFO] [stdout] (T0, T1, T2) [INFO] [stdout] (T0, T1, T2, T3) [INFO] [stdout] and 268 others [INFO] [stdout] = note: this error originates in the derive macro `Arbitrary` (in Nightly builds, run with -Z macro-backtrace for more info) [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0277]: the trait bound `move_core_types::account_address::AccountAddress: _IMPL_ARBITRARY_FOR_AccessPath::_proptest::arbitrary::Arbitrary` is not satisfied [INFO] [stdout] --> src/trusted_state.rs:24:51 [INFO] [stdout] | [INFO] [stdout] 24 | #[cfg_attr(any(test, feature = "fuzzing"), derive(Arbitrary))] [INFO] [stdout] | ^^^^^^^^^ the trait `_IMPL_ARBITRARY_FOR_AccessPath::_proptest::arbitrary::Arbitrary` is not implemented for `move_core_types::account_address::AccountAddress`, which is required by `std::collections::BTreeMap: _IMPL_ARBITRARY_FOR_AccessPath::_proptest::arbitrary::Arbitrary` [INFO] [stdout] | [INFO] [stdout] = help: the following other types implement trait `_IMPL_ARBITRARY_FOR_AccessPath::_proptest::arbitrary::Arbitrary`: [INFO] [stdout] () [INFO] [stdout] (Sender, std::sync::mpsc::IntoIter) [INFO] [stdout] (Sender, std::sync::mpsc::Receiver) [INFO] [stdout] (SyncSender, std::sync::mpsc::IntoIter) [INFO] [stdout] (SyncSender, std::sync::mpsc::Receiver) [INFO] [stdout] (T0, T1) [INFO] [stdout] (T0, T1, T2) [INFO] [stdout] (T0, T1, T2, T3) [INFO] [stdout] and 268 others [INFO] [stdout] = note: required for `std::collections::BTreeMap` to implement `_IMPL_ARBITRARY_FOR_AccessPath::_proptest::arbitrary::Arbitrary` [INFO] [stdout] = note: this error originates in the derive macro `Arbitrary` (in Nightly builds, run with -Z macro-backtrace for more info) [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0277]: the trait bound `diem_crypto::ed25519::Ed25519PublicKey: _IMPL_ARBITRARY_FOR_AccessPath::_proptest::arbitrary::Arbitrary` is not satisfied [INFO] [stdout] --> src/trusted_state.rs:24:51 [INFO] [stdout] | [INFO] [stdout] 24 | #[cfg_attr(any(test, feature = "fuzzing"), derive(Arbitrary))] [INFO] [stdout] | ^^^^^^^^^ the trait `_IMPL_ARBITRARY_FOR_AccessPath::_proptest::arbitrary::Arbitrary` is not implemented for `diem_crypto::ed25519::Ed25519PublicKey` [INFO] [stdout] | [INFO] [stdout] = help: the following other types implement trait `_IMPL_ARBITRARY_FOR_AccessPath::_proptest::arbitrary::Arbitrary`: [INFO] [stdout] () [INFO] [stdout] (Sender, std::sync::mpsc::IntoIter) [INFO] [stdout] (Sender, std::sync::mpsc::Receiver) [INFO] [stdout] (SyncSender, std::sync::mpsc::IntoIter) [INFO] [stdout] (SyncSender, std::sync::mpsc::Receiver) [INFO] [stdout] (T0, T1) [INFO] [stdout] (T0, T1, T2) [INFO] [stdout] (T0, T1, T2, T3) [INFO] [stdout] and 268 others [INFO] [stdout] = note: this error originates in the derive macro `Arbitrary` (in Nightly builds, run with -Z macro-backtrace for more info) [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0277]: the trait bound `diem_crypto::ed25519::Ed25519PublicKey: _IMPL_ARBITRARY_FOR_AccessPath::_proptest::arbitrary::Arbitrary` is not satisfied [INFO] [stdout] --> src/validator_config.rs:45:51 [INFO] [stdout] | [INFO] [stdout] 45 | #[cfg_attr(any(test, feature = "fuzzing"), derive(Arbitrary))] [INFO] [stdout] | ^^^^^^^^^ the trait `_IMPL_ARBITRARY_FOR_AccessPath::_proptest::arbitrary::Arbitrary` is not implemented for `diem_crypto::ed25519::Ed25519PublicKey` [INFO] [stdout] | [INFO] [stdout] = help: the following other types implement trait `_IMPL_ARBITRARY_FOR_AccessPath::_proptest::arbitrary::Arbitrary`: [INFO] [stdout] () [INFO] [stdout] (Sender, std::sync::mpsc::IntoIter) [INFO] [stdout] (Sender, std::sync::mpsc::Receiver) [INFO] [stdout] (SyncSender, std::sync::mpsc::IntoIter) [INFO] [stdout] (SyncSender, std::sync::mpsc::Receiver) [INFO] [stdout] (T0, T1) [INFO] [stdout] (T0, T1, T2) [INFO] [stdout] (T0, T1, T2, T3) [INFO] [stdout] and 268 others [INFO] [stdout] = note: this error originates in the derive macro `Arbitrary` (in Nightly builds, run with -Z macro-backtrace for more info) [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0277]: the trait bound `diem_crypto::ed25519::Ed25519PublicKey: _IMPL_ARBITRARY_FOR_AccessPath::_proptest::arbitrary::Arbitrary` is not satisfied [INFO] [stdout] --> src/validator_config.rs:47:5 [INFO] [stdout] | [INFO] [stdout] 47 | pub consensus_public_key: Ed25519PublicKey, [INFO] [stdout] | ^^^ the trait `_IMPL_ARBITRARY_FOR_AccessPath::_proptest::arbitrary::Arbitrary` is not implemented for `diem_crypto::ed25519::Ed25519PublicKey` [INFO] [stdout] | [INFO] [stdout] = help: the following other types implement trait `_IMPL_ARBITRARY_FOR_AccessPath::_proptest::arbitrary::Arbitrary`: [INFO] [stdout] () [INFO] [stdout] (Sender, std::sync::mpsc::IntoIter) [INFO] [stdout] (Sender, std::sync::mpsc::Receiver) [INFO] [stdout] (SyncSender, std::sync::mpsc::IntoIter) [INFO] [stdout] (SyncSender, std::sync::mpsc::Receiver) [INFO] [stdout] (T0, T1) [INFO] [stdout] (T0, T1, T2) [INFO] [stdout] (T0, T1, T2, T3) [INFO] [stdout] and 268 others [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0277]: the trait bound `move_core_types::account_address::AccountAddress: _IMPL_ARBITRARY_FOR_AccessPath::_proptest::arbitrary::Arbitrary` is not satisfied [INFO] [stdout] --> src/validator_info.rs:22:51 [INFO] [stdout] | [INFO] [stdout] 22 | #[cfg_attr(any(test, feature = "fuzzing"), derive(Arbitrary))] [INFO] [stdout] | ^^^^^^^^^ the trait `_IMPL_ARBITRARY_FOR_AccessPath::_proptest::arbitrary::Arbitrary` is not implemented for `move_core_types::account_address::AccountAddress` [INFO] [stdout] | [INFO] [stdout] = help: the following other types implement trait `_IMPL_ARBITRARY_FOR_AccessPath::_proptest::arbitrary::Arbitrary`: [INFO] [stdout] () [INFO] [stdout] (Sender, std::sync::mpsc::IntoIter) [INFO] [stdout] (Sender, std::sync::mpsc::Receiver) [INFO] [stdout] (SyncSender, std::sync::mpsc::IntoIter) [INFO] [stdout] (SyncSender, std::sync::mpsc::Receiver) [INFO] [stdout] (T0, T1) [INFO] [stdout] (T0, T1, T2) [INFO] [stdout] (T0, T1, T2, T3) [INFO] [stdout] and 268 others [INFO] [stdout] = note: this error originates in the derive macro `Arbitrary` (in Nightly builds, run with -Z macro-backtrace for more info) [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0277]: the trait bound `diem_crypto::ed25519::Ed25519PublicKey: _IMPL_ARBITRARY_FOR_AccessPath::_proptest::arbitrary::Arbitrary` is not satisfied [INFO] [stdout] --> src/validator_info.rs:22:51 [INFO] [stdout] | [INFO] [stdout] 22 | #[cfg_attr(any(test, feature = "fuzzing"), derive(Arbitrary))] [INFO] [stdout] | ^^^^^^^^^ the trait `_IMPL_ARBITRARY_FOR_AccessPath::_proptest::arbitrary::Arbitrary` is not implemented for `diem_crypto::ed25519::Ed25519PublicKey` [INFO] [stdout] | [INFO] [stdout] = help: the following other types implement trait `_IMPL_ARBITRARY_FOR_AccessPath::_proptest::arbitrary::Arbitrary`: [INFO] [stdout] () [INFO] [stdout] (Sender, std::sync::mpsc::IntoIter) [INFO] [stdout] (Sender, std::sync::mpsc::Receiver) [INFO] [stdout] (SyncSender, std::sync::mpsc::IntoIter) [INFO] [stdout] (SyncSender, std::sync::mpsc::Receiver) [INFO] [stdout] (T0, T1) [INFO] [stdout] (T0, T1, T2) [INFO] [stdout] (T0, T1, T2, T3) [INFO] [stdout] and 268 others [INFO] [stdout] = note: this error originates in the derive macro `Arbitrary` (in Nightly builds, run with -Z macro-backtrace for more info) [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0277]: the trait bound `move_core_types::account_address::AccountAddress: _IMPL_ARBITRARY_FOR_AccessPath::_proptest::arbitrary::Arbitrary` is not satisfied [INFO] [stdout] --> src/validator_info.rs:27:5 [INFO] [stdout] | [INFO] [stdout] 27 | account_address: AccountAddress, [INFO] [stdout] | ^^^^^^^^^^^^^^^ the trait `_IMPL_ARBITRARY_FOR_AccessPath::_proptest::arbitrary::Arbitrary` is not implemented for `move_core_types::account_address::AccountAddress` [INFO] [stdout] | [INFO] [stdout] = help: the following other types implement trait `_IMPL_ARBITRARY_FOR_AccessPath::_proptest::arbitrary::Arbitrary`: [INFO] [stdout] () [INFO] [stdout] (Sender, std::sync::mpsc::IntoIter) [INFO] [stdout] (Sender, std::sync::mpsc::Receiver) [INFO] [stdout] (SyncSender, std::sync::mpsc::IntoIter) [INFO] [stdout] (SyncSender, std::sync::mpsc::Receiver) [INFO] [stdout] (T0, T1) [INFO] [stdout] (T0, T1, T2) [INFO] [stdout] (T0, T1, T2, T3) [INFO] [stdout] and 268 others [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0277]: the trait bound `diem_crypto::ed25519::Ed25519PrivateKey: Clone` is not satisfied [INFO] [stdout] --> src/validator_signer.rs:118:24 [INFO] [stdout] | [INFO] [stdout] 118 | sample::select(keys) [INFO] [stdout] | -------------- ^^^^ the trait `Clone` is not implemented for `diem_crypto::ed25519::Ed25519PrivateKey`, which is required by `Vec: Into>` [INFO] [stdout] | | [INFO] [stdout] | required by a bound introduced by this call [INFO] [stdout] | [INFO] [stdout] = note: required for `Cow<'static, [diem_crypto::ed25519::Ed25519PrivateKey]>` to implement `From>` [INFO] [stdout] = note: required for `Vec` to implement `Into>` [INFO] [stdout] note: required by a bound in `select` [INFO] [stdout] --> /opt/rustwide/cargo-home/registry/src/index.crates.io-6f17d22bba15001f/proptest-1.5.0/src/sample.rs:157:18 [INFO] [stdout] | [INFO] [stdout] 156 | pub fn select( [INFO] [stdout] | ------ required by a bound in this function [INFO] [stdout] 157 | values: impl Into>, [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^ required by this bound in `select` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0277]: the trait bound `diem_crypto::ed25519::Ed25519PrivateKey: Clone` is not satisfied [INFO] [stdout] --> src/validator_signer.rs:117:56 [INFO] [stdout] | [INFO] [stdout] 117 | fn select_keypair(keys: Vec) -> impl Strategy { [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ the trait `Clone` is not implemented for `diem_crypto::ed25519::Ed25519PrivateKey` [INFO] [stdout] | [INFO] [stdout] note: required by a bound in `Select` [INFO] [stdout] --> /opt/rustwide/cargo-home/registry/src/index.crates.io-6f17d22bba15001f/proptest-1.5.0/src/sample.rs:134:38 [INFO] [stdout] | [INFO] [stdout] 134 | pub struct Select[][where T : Clone + fmt::Debug + 'static]( [INFO] [stdout] | ^^^^^ required by this bound in `Select` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0277]: the trait bound `diem_crypto::ed25519::Ed25519PublicKey: _IMPL_ARBITRARY_FOR_AccessPath::_proptest::arbitrary::Arbitrary` is not satisfied [INFO] [stdout] --> src/validator_verifier.rs:52:51 [INFO] [stdout] | [INFO] [stdout] 52 | #[cfg_attr(any(test, feature = "fuzzing"), derive(Arbitrary))] [INFO] [stdout] | ^^^^^^^^^ the trait `_IMPL_ARBITRARY_FOR_AccessPath::_proptest::arbitrary::Arbitrary` is not implemented for `diem_crypto::ed25519::Ed25519PublicKey` [INFO] [stdout] | [INFO] [stdout] = help: the following other types implement trait `_IMPL_ARBITRARY_FOR_AccessPath::_proptest::arbitrary::Arbitrary`: [INFO] [stdout] () [INFO] [stdout] (Sender, std::sync::mpsc::IntoIter) [INFO] [stdout] (Sender, std::sync::mpsc::Receiver) [INFO] [stdout] (SyncSender, std::sync::mpsc::IntoIter) [INFO] [stdout] (SyncSender, std::sync::mpsc::Receiver) [INFO] [stdout] (T0, T1) [INFO] [stdout] (T0, T1, T2) [INFO] [stdout] (T0, T1, T2, T3) [INFO] [stdout] and 268 others [INFO] [stdout] = note: this error originates in the derive macro `Arbitrary` (in Nightly builds, run with -Z macro-backtrace for more info) [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0277]: the trait bound `move_core_types::account_address::AccountAddress: _IMPL_ARBITRARY_FOR_AccessPath::_proptest::arbitrary::Arbitrary` is not satisfied [INFO] [stdout] --> src/validator_verifier.rs:71:51 [INFO] [stdout] | [INFO] [stdout] 71 | #[cfg_attr(any(test, feature = "fuzzing"), derive(Arbitrary))] [INFO] [stdout] | ^^^^^^^^^ the trait `_IMPL_ARBITRARY_FOR_AccessPath::_proptest::arbitrary::Arbitrary` is not implemented for `move_core_types::account_address::AccountAddress`, which is required by `std::collections::BTreeMap: _IMPL_ARBITRARY_FOR_AccessPath::_proptest::arbitrary::Arbitrary` [INFO] [stdout] | [INFO] [stdout] = help: the following other types implement trait `_IMPL_ARBITRARY_FOR_AccessPath::_proptest::arbitrary::Arbitrary`: [INFO] [stdout] () [INFO] [stdout] (Sender, std::sync::mpsc::IntoIter) [INFO] [stdout] (Sender, std::sync::mpsc::Receiver) [INFO] [stdout] (SyncSender, std::sync::mpsc::IntoIter) [INFO] [stdout] (SyncSender, std::sync::mpsc::Receiver) [INFO] [stdout] (T0, T1) [INFO] [stdout] (T0, T1, T2) [INFO] [stdout] (T0, T1, T2, T3) [INFO] [stdout] and 268 others [INFO] [stdout] = note: required for `std::collections::BTreeMap` to implement `_IMPL_ARBITRARY_FOR_AccessPath::_proptest::arbitrary::Arbitrary` [INFO] [stdout] = note: this error originates in the derive macro `Arbitrary` (in Nightly builds, run with -Z macro-backtrace for more info) [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0277]: the trait bound `diem_crypto::ed25519::Ed25519PublicKey: _IMPL_ARBITRARY_FOR_AccessPath::_proptest::arbitrary::Arbitrary` is not satisfied [INFO] [stdout] --> src/validator_verifier.rs:71:51 [INFO] [stdout] | [INFO] [stdout] 71 | #[cfg_attr(any(test, feature = "fuzzing"), derive(Arbitrary))] [INFO] [stdout] | ^^^^^^^^^ the trait `_IMPL_ARBITRARY_FOR_AccessPath::_proptest::arbitrary::Arbitrary` is not implemented for `diem_crypto::ed25519::Ed25519PublicKey` [INFO] [stdout] | [INFO] [stdout] = help: the following other types implement trait `_IMPL_ARBITRARY_FOR_AccessPath::_proptest::arbitrary::Arbitrary`: [INFO] [stdout] () [INFO] [stdout] (Sender, std::sync::mpsc::IntoIter) [INFO] [stdout] (Sender, std::sync::mpsc::Receiver) [INFO] [stdout] (SyncSender, std::sync::mpsc::IntoIter) [INFO] [stdout] (SyncSender, std::sync::mpsc::Receiver) [INFO] [stdout] (T0, T1) [INFO] [stdout] (T0, T1, T2) [INFO] [stdout] (T0, T1, T2, T3) [INFO] [stdout] and 268 others [INFO] [stdout] = note: this error originates in the derive macro `Arbitrary` (in Nightly builds, run with -Z macro-backtrace for more info) [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0277]: the trait bound `diem_crypto::ed25519::Ed25519PublicKey: _IMPL_ARBITRARY_FOR_AccessPath::_proptest::arbitrary::Arbitrary` is not satisfied [INFO] [stdout] --> src/validator_verifier.rs:54:5 [INFO] [stdout] | [INFO] [stdout] 54 | public_key: Ed25519PublicKey, [INFO] [stdout] | ^^^^^^^^^^ the trait `_IMPL_ARBITRARY_FOR_AccessPath::_proptest::arbitrary::Arbitrary` is not implemented for `diem_crypto::ed25519::Ed25519PublicKey` [INFO] [stdout] | [INFO] [stdout] = help: the following other types implement trait `_IMPL_ARBITRARY_FOR_AccessPath::_proptest::arbitrary::Arbitrary`: [INFO] [stdout] () [INFO] [stdout] (Sender, std::sync::mpsc::IntoIter) [INFO] [stdout] (Sender, std::sync::mpsc::Receiver) [INFO] [stdout] (SyncSender, std::sync::mpsc::IntoIter) [INFO] [stdout] (SyncSender, std::sync::mpsc::Receiver) [INFO] [stdout] (T0, T1) [INFO] [stdout] (T0, T1, T2) [INFO] [stdout] (T0, T1, T2, T3) [INFO] [stdout] and 268 others [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0277]: the trait bound `move_core_types::account_address::AccountAddress: _IMPL_ARBITRARY_FOR_AccessPath::_proptest::arbitrary::Arbitrary` is not satisfied [INFO] [stdout] --> src/validator_verifier.rs:73:5 [INFO] [stdout] | [INFO] [stdout] 73 | /// An ordered map of each validator's on-chain account address to its pubkeys [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ the trait `_IMPL_ARBITRARY_FOR_AccessPath::_proptest::arbitrary::Arbitrary` is not implemented for `move_core_types::account_address::AccountAddress`, which is required by `std::collections::BTreeMap: _IMPL_ARBITRARY_FOR_AccessPath::_proptest::arbitrary::Arbitrary` [INFO] [stdout] | [INFO] [stdout] = help: the following other types implement trait `_IMPL_ARBITRARY_FOR_AccessPath::_proptest::arbitrary::Arbitrary`: [INFO] [stdout] () [INFO] [stdout] (Sender, std::sync::mpsc::IntoIter) [INFO] [stdout] (Sender, std::sync::mpsc::Receiver) [INFO] [stdout] (SyncSender, std::sync::mpsc::IntoIter) [INFO] [stdout] (SyncSender, std::sync::mpsc::Receiver) [INFO] [stdout] (T0, T1) [INFO] [stdout] (T0, T1, T2) [INFO] [stdout] (T0, T1, T2, T3) [INFO] [stdout] and 268 others [INFO] [stdout] = note: required for `std::collections::BTreeMap` to implement `_IMPL_ARBITRARY_FOR_AccessPath::_proptest::arbitrary::Arbitrary` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0277]: the trait bound `diem_crypto::HashValue: _IMPL_ARBITRARY_FOR_AccessPath::_proptest::arbitrary::Arbitrary` is not satisfied [INFO] [stdout] --> src/waypoint.rs:29:51 [INFO] [stdout] | [INFO] [stdout] 29 | #[cfg_attr(any(test, feature = "fuzzing"), derive(Arbitrary))] [INFO] [stdout] | ^^^^^^^^^ the trait `_IMPL_ARBITRARY_FOR_AccessPath::_proptest::arbitrary::Arbitrary` is not implemented for `diem_crypto::HashValue` [INFO] [stdout] | [INFO] [stdout] = help: the following other types implement trait `_IMPL_ARBITRARY_FOR_AccessPath::_proptest::arbitrary::Arbitrary`: [INFO] [stdout] () [INFO] [stdout] (Sender, std::sync::mpsc::IntoIter) [INFO] [stdout] (Sender, std::sync::mpsc::Receiver) [INFO] [stdout] (SyncSender, std::sync::mpsc::IntoIter) [INFO] [stdout] (SyncSender, std::sync::mpsc::Receiver) [INFO] [stdout] (T0, T1) [INFO] [stdout] (T0, T1, T2) [INFO] [stdout] (T0, T1, T2, T3) [INFO] [stdout] and 268 others [INFO] [stdout] = note: this error originates in the derive macro `Arbitrary` (in Nightly builds, run with -Z macro-backtrace for more info) [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0277]: the trait bound `diem_crypto::HashValue: _IMPL_ARBITRARY_FOR_AccessPath::_proptest::arbitrary::Arbitrary` is not satisfied [INFO] [stdout] --> src/waypoint.rs:33:5 [INFO] [stdout] | [INFO] [stdout] 33 | /// The hash of the chosen fields of LedgerInfo. [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ the trait `_IMPL_ARBITRARY_FOR_AccessPath::_proptest::arbitrary::Arbitrary` is not implemented for `diem_crypto::HashValue` [INFO] [stdout] | [INFO] [stdout] = help: the following other types implement trait `_IMPL_ARBITRARY_FOR_AccessPath::_proptest::arbitrary::Arbitrary`: [INFO] [stdout] () [INFO] [stdout] (Sender, std::sync::mpsc::IntoIter) [INFO] [stdout] (Sender, std::sync::mpsc::Receiver) [INFO] [stdout] (SyncSender, std::sync::mpsc::IntoIter) [INFO] [stdout] (SyncSender, std::sync::mpsc::Receiver) [INFO] [stdout] (T0, T1) [INFO] [stdout] (T0, T1, T2) [INFO] [stdout] (T0, T1, T2, T3) [INFO] [stdout] and 268 others [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0277]: the trait bound `move_core_types::account_address::AccountAddress: _IMPL_ARBITRARY_FOR_AccessPath::_proptest::arbitrary::Arbitrary` is not satisfied [INFO] [stdout] --> src/access_path.rs:49:18 [INFO] [stdout] | [INFO] [stdout] 49 | pub address: AccountAddress, [INFO] [stdout] | ^^^^^^^^^^^^^^ the trait `_IMPL_ARBITRARY_FOR_AccessPath::_proptest::arbitrary::Arbitrary` is not implemented for `move_core_types::account_address::AccountAddress` [INFO] [stdout] | [INFO] [stdout] = help: the following other types implement trait `_IMPL_ARBITRARY_FOR_AccessPath::_proptest::arbitrary::Arbitrary`: [INFO] [stdout] () [INFO] [stdout] (Sender, std::sync::mpsc::IntoIter) [INFO] [stdout] (Sender, std::sync::mpsc::Receiver) [INFO] [stdout] (SyncSender, std::sync::mpsc::IntoIter) [INFO] [stdout] (SyncSender, std::sync::mpsc::Receiver) [INFO] [stdout] (T0, T1) [INFO] [stdout] (T0, T1, T2) [INFO] [stdout] (T0, T1, T2, T3) [INFO] [stdout] and 268 others [INFO] [stdout] note: required by a bound in `_IMPL_ARBITRARY_FOR_AccessPath::_proptest::arbitrary::any_with` [INFO] [stdout] --> /opt/rustwide/cargo-home/registry/src/index.crates.io-6f17d22bba15001f/proptest-1.5.0/src/arbitrary/traits.rs:208:20 [INFO] [stdout] | [INFO] [stdout] 208 | pub fn any_with(args: ParamsFor) -> StrategyFor { [INFO] [stdout] | ^^^^^^^^^ required by this bound in `any_with` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0277]: the trait bound `move_core_types::account_address::AccountAddress: _IMPL_ARBITRARY_FOR_AccessPath::_proptest::arbitrary::Arbitrary` is not satisfied [INFO] [stdout] --> src/account_config/resources/key_rotation_capability.rs:19:22 [INFO] [stdout] | [INFO] [stdout] 19 | account_address: AccountAddress, [INFO] [stdout] | ^^^^^^^^^^^^^^ the trait `_IMPL_ARBITRARY_FOR_AccessPath::_proptest::arbitrary::Arbitrary` is not implemented for `move_core_types::account_address::AccountAddress` [INFO] [stdout] | [INFO] [stdout] = help: the following other types implement trait `_IMPL_ARBITRARY_FOR_AccessPath::_proptest::arbitrary::Arbitrary`: [INFO] [stdout] () [INFO] [stdout] (Sender, std::sync::mpsc::IntoIter) [INFO] [stdout] (Sender, std::sync::mpsc::Receiver) [INFO] [stdout] (SyncSender, std::sync::mpsc::IntoIter) [INFO] [stdout] (SyncSender, std::sync::mpsc::Receiver) [INFO] [stdout] (T0, T1) [INFO] [stdout] (T0, T1, T2) [INFO] [stdout] (T0, T1, T2, T3) [INFO] [stdout] and 268 others [INFO] [stdout] note: required by a bound in `_IMPL_ARBITRARY_FOR_AccessPath::_proptest::arbitrary::any_with` [INFO] [stdout] --> /opt/rustwide/cargo-home/registry/src/index.crates.io-6f17d22bba15001f/proptest-1.5.0/src/arbitrary/traits.rs:208:20 [INFO] [stdout] | [INFO] [stdout] 208 | pub fn any_with(args: ParamsFor) -> StrategyFor { [INFO] [stdout] | ^^^^^^^^^ required by this bound in `any_with` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0277]: the trait bound `move_core_types::account_address::AccountAddress: _IMPL_ARBITRARY_FOR_AccessPath::_proptest::arbitrary::Arbitrary` is not satisfied [INFO] [stdout] --> src/account_config/resources/vasp.rs:28:23 [INFO] [stdout] | [INFO] [stdout] 28 | parent_vasp_addr: AccountAddress, [INFO] [stdout] | ^^^^^^^^^^^^^^ the trait `_IMPL_ARBITRARY_FOR_AccessPath::_proptest::arbitrary::Arbitrary` is not implemented for `move_core_types::account_address::AccountAddress` [INFO] [stdout] | [INFO] [stdout] = help: the following other types implement trait `_IMPL_ARBITRARY_FOR_AccessPath::_proptest::arbitrary::Arbitrary`: [INFO] [stdout] () [INFO] [stdout] (Sender, std::sync::mpsc::IntoIter) [INFO] [stdout] (Sender, std::sync::mpsc::Receiver) [INFO] [stdout] (SyncSender, std::sync::mpsc::IntoIter) [INFO] [stdout] (SyncSender, std::sync::mpsc::Receiver) [INFO] [stdout] (T0, T1) [INFO] [stdout] (T0, T1, T2) [INFO] [stdout] (T0, T1, T2, T3) [INFO] [stdout] and 268 others [INFO] [stdout] note: required by a bound in `_IMPL_ARBITRARY_FOR_AccessPath::_proptest::arbitrary::any_with` [INFO] [stdout] --> /opt/rustwide/cargo-home/registry/src/index.crates.io-6f17d22bba15001f/proptest-1.5.0/src/arbitrary/traits.rs:208:20 [INFO] [stdout] | [INFO] [stdout] 208 | pub fn any_with(args: ParamsFor) -> StrategyFor { [INFO] [stdout] | ^^^^^^^^^ required by this bound in `any_with` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0277]: the trait bound `move_core_types::account_address::AccountAddress: _IMPL_ARBITRARY_FOR_AccessPath::_proptest::arbitrary::Arbitrary` is not satisfied [INFO] [stdout] --> src/account_config/resources/withdraw_capability.rs:19:22 [INFO] [stdout] | [INFO] [stdout] 19 | account_address: AccountAddress, [INFO] [stdout] | ^^^^^^^^^^^^^^ the trait `_IMPL_ARBITRARY_FOR_AccessPath::_proptest::arbitrary::Arbitrary` is not implemented for `move_core_types::account_address::AccountAddress` [INFO] [stdout] | [INFO] [stdout] = help: the following other types implement trait `_IMPL_ARBITRARY_FOR_AccessPath::_proptest::arbitrary::Arbitrary`: [INFO] [stdout] () [INFO] [stdout] (Sender, std::sync::mpsc::IntoIter) [INFO] [stdout] (Sender, std::sync::mpsc::Receiver) [INFO] [stdout] (SyncSender, std::sync::mpsc::IntoIter) [INFO] [stdout] (SyncSender, std::sync::mpsc::Receiver) [INFO] [stdout] (T0, T1) [INFO] [stdout] (T0, T1, T2) [INFO] [stdout] (T0, T1, T2, T3) [INFO] [stdout] and 268 others [INFO] [stdout] note: required by a bound in `_IMPL_ARBITRARY_FOR_AccessPath::_proptest::arbitrary::any_with` [INFO] [stdout] --> /opt/rustwide/cargo-home/registry/src/index.crates.io-6f17d22bba15001f/proptest-1.5.0/src/arbitrary/traits.rs:208:20 [INFO] [stdout] | [INFO] [stdout] 208 | pub fn any_with(args: ParamsFor) -> StrategyFor { [INFO] [stdout] | ^^^^^^^^^ required by this bound in `any_with` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0277]: the trait bound `diem_crypto::HashValue: _IMPL_ARBITRARY_FOR_AccessPath::_proptest::arbitrary::Arbitrary` is not satisfied [INFO] [stdout] --> src/account_state_blob.rs:241:79 [INFO] [stdout] | [INFO] [stdout] 241 | fn account_state_with_proof_bcs_roundtrip(account_state_with_proof in any::()) { [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ the trait `_IMPL_ARBITRARY_FOR_AccessPath::_proptest::arbitrary::Arbitrary` is not implemented for `diem_crypto::HashValue` [INFO] [stdout] | [INFO] [stdout] = help: the following other types implement trait `_IMPL_ARBITRARY_FOR_AccessPath::_proptest::arbitrary::Arbitrary`: [INFO] [stdout] () [INFO] [stdout] (Sender, std::sync::mpsc::IntoIter) [INFO] [stdout] (Sender, std::sync::mpsc::Receiver) [INFO] [stdout] (SyncSender, std::sync::mpsc::IntoIter) [INFO] [stdout] (SyncSender, std::sync::mpsc::Receiver) [INFO] [stdout] (T0, T1) [INFO] [stdout] (T0, T1, T2) [INFO] [stdout] (T0, T1, T2, T3) [INFO] [stdout] and 268 others [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0277]: the trait bound `KeptVMStatus: _IMPL_ARBITRARY_FOR_AccessPath::_proptest::arbitrary::Arbitrary` is not satisfied [INFO] [stdout] --> src/account_state_blob.rs:241:79 [INFO] [stdout] | [INFO] [stdout] 241 | fn account_state_with_proof_bcs_roundtrip(account_state_with_proof in any::()) { [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ the trait `_IMPL_ARBITRARY_FOR_AccessPath::_proptest::arbitrary::Arbitrary` is not implemented for `KeptVMStatus` [INFO] [stdout] | [INFO] [stdout] = help: the following other types implement trait `_IMPL_ARBITRARY_FOR_AccessPath::_proptest::arbitrary::Arbitrary`: [INFO] [stdout] () [INFO] [stdout] (Sender, std::sync::mpsc::IntoIter) [INFO] [stdout] (Sender, std::sync::mpsc::Receiver) [INFO] [stdout] (SyncSender, std::sync::mpsc::IntoIter) [INFO] [stdout] (SyncSender, std::sync::mpsc::Receiver) [INFO] [stdout] (T0, T1) [INFO] [stdout] (T0, T1, T2) [INFO] [stdout] (T0, T1, T2, T3) [INFO] [stdout] and 268 others [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0277]: the trait bound `diem_crypto::HashValue: _IMPL_ARBITRARY_FOR_AccessPath::_proptest::arbitrary::Arbitrary` is not satisfied [INFO] [stdout] --> src/block_info.rs:32:9 [INFO] [stdout] | [INFO] [stdout] 32 | id: HashValue, [INFO] [stdout] | ^^^^^^^^^ the trait `_IMPL_ARBITRARY_FOR_AccessPath::_proptest::arbitrary::Arbitrary` is not implemented for `diem_crypto::HashValue` [INFO] [stdout] | [INFO] [stdout] = help: the following other types implement trait `_IMPL_ARBITRARY_FOR_AccessPath::_proptest::arbitrary::Arbitrary`: [INFO] [stdout] () [INFO] [stdout] (Sender, std::sync::mpsc::IntoIter) [INFO] [stdout] (Sender, std::sync::mpsc::Receiver) [INFO] [stdout] (SyncSender, std::sync::mpsc::IntoIter) [INFO] [stdout] (SyncSender, std::sync::mpsc::Receiver) [INFO] [stdout] (T0, T1) [INFO] [stdout] (T0, T1, T2) [INFO] [stdout] (T0, T1, T2, T3) [INFO] [stdout] and 268 others [INFO] [stdout] note: required by a bound in `_IMPL_ARBITRARY_FOR_AccessPath::_proptest::arbitrary::any_with` [INFO] [stdout] --> /opt/rustwide/cargo-home/registry/src/index.crates.io-6f17d22bba15001f/proptest-1.5.0/src/arbitrary/traits.rs:208:20 [INFO] [stdout] | [INFO] [stdout] 208 | pub fn any_with(args: ParamsFor) -> StrategyFor { [INFO] [stdout] | ^^^^^^^^^ required by this bound in `any_with` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0277]: the trait bound `diem_crypto::HashValue: _IMPL_ARBITRARY_FOR_AccessPath::_proptest::arbitrary::Arbitrary` is not satisfied [INFO] [stdout] --> src/block_info.rs:34:24 [INFO] [stdout] | [INFO] [stdout] 34 | executed_state_id: HashValue, [INFO] [stdout] | ^^^^^^^^^ the trait `_IMPL_ARBITRARY_FOR_AccessPath::_proptest::arbitrary::Arbitrary` is not implemented for `diem_crypto::HashValue` [INFO] [stdout] | [INFO] [stdout] = help: the following other types implement trait `_IMPL_ARBITRARY_FOR_AccessPath::_proptest::arbitrary::Arbitrary`: [INFO] [stdout] () [INFO] [stdout] (Sender, std::sync::mpsc::IntoIter) [INFO] [stdout] (Sender, std::sync::mpsc::Receiver) [INFO] [stdout] (SyncSender, std::sync::mpsc::IntoIter) [INFO] [stdout] (SyncSender, std::sync::mpsc::Receiver) [INFO] [stdout] (T0, T1) [INFO] [stdout] (T0, T1, T2) [INFO] [stdout] (T0, T1, T2, T3) [INFO] [stdout] and 268 others [INFO] [stdout] note: required by a bound in `_IMPL_ARBITRARY_FOR_AccessPath::_proptest::arbitrary::any_with` [INFO] [stdout] --> /opt/rustwide/cargo-home/registry/src/index.crates.io-6f17d22bba15001f/proptest-1.5.0/src/arbitrary/traits.rs:208:20 [INFO] [stdout] | [INFO] [stdout] 208 | pub fn any_with(args: ParamsFor) -> StrategyFor { [INFO] [stdout] | ^^^^^^^^^ required by this bound in `any_with` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0277]: the trait bound `diem_crypto::HashValue: _IMPL_ARBITRARY_FOR_AccessPath::_proptest::arbitrary::Arbitrary` is not satisfied [INFO] [stdout] --> src/ledger_info.rs:47:26 [INFO] [stdout] | [INFO] [stdout] 47 | consensus_data_hash: HashValue, [INFO] [stdout] | ^^^^^^^^^ the trait `_IMPL_ARBITRARY_FOR_AccessPath::_proptest::arbitrary::Arbitrary` is not implemented for `diem_crypto::HashValue` [INFO] [stdout] | [INFO] [stdout] = help: the following other types implement trait `_IMPL_ARBITRARY_FOR_AccessPath::_proptest::arbitrary::Arbitrary`: [INFO] [stdout] () [INFO] [stdout] (Sender, std::sync::mpsc::IntoIter) [INFO] [stdout] (Sender, std::sync::mpsc::Receiver) [INFO] [stdout] (SyncSender, std::sync::mpsc::IntoIter) [INFO] [stdout] (SyncSender, std::sync::mpsc::Receiver) [INFO] [stdout] (T0, T1) [INFO] [stdout] (T0, T1, T2) [INFO] [stdout] (T0, T1, T2, T3) [INFO] [stdout] and 268 others [INFO] [stdout] note: required by a bound in `_IMPL_ARBITRARY_FOR_AccessPath::_proptest::arbitrary::any_with` [INFO] [stdout] --> /opt/rustwide/cargo-home/registry/src/index.crates.io-6f17d22bba15001f/proptest-1.5.0/src/arbitrary/traits.rs:208:20 [INFO] [stdout] | [INFO] [stdout] 208 | pub fn any_with(args: ParamsFor) -> StrategyFor { [INFO] [stdout] | ^^^^^^^^^ required by this bound in `any_with` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0599]: no function or associated item named `dummy_signature` found for struct `diem_crypto::ed25519::Ed25519Signature` in the current scope [INFO] [stdout] --> src/ledger_info.rs:275:49 [INFO] [stdout] | [INFO] [stdout] 275 | let dummy_signature = Ed25519Signature::dummy_signature(); [INFO] [stdout] | ^^^^^^^^^^^^^^^ function or associated item not found in `Ed25519Signature` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0277]: the trait bound `diem_crypto::HashValue: _IMPL_ARBITRARY_FOR_AccessPath::_proptest::arbitrary::Arbitrary` is not satisfied [INFO] [stdout] --> src/ledger_info.rs:277:13 [INFO] [stdout] | [INFO] [stdout] 277 | proptest::arbitrary::any::(), [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ the trait `_IMPL_ARBITRARY_FOR_AccessPath::_proptest::arbitrary::Arbitrary` is not implemented for `diem_crypto::HashValue` [INFO] [stdout] | [INFO] [stdout] = help: the following other types implement trait `_IMPL_ARBITRARY_FOR_AccessPath::_proptest::arbitrary::Arbitrary`: [INFO] [stdout] () [INFO] [stdout] (Sender, std::sync::mpsc::IntoIter) [INFO] [stdout] (Sender, std::sync::mpsc::Receiver) [INFO] [stdout] (SyncSender, std::sync::mpsc::IntoIter) [INFO] [stdout] (SyncSender, std::sync::mpsc::Receiver) [INFO] [stdout] (T0, T1) [INFO] [stdout] (T0, T1, T2) [INFO] [stdout] (T0, T1, T2, T3) [INFO] [stdout] and 268 others [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0277]: the trait bound `move_core_types::account_address::AccountAddress: _IMPL_ARBITRARY_FOR_AccessPath::_proptest::arbitrary::Arbitrary` is not satisfied [INFO] [stdout] --> src/ledger_info.rs:277:13 [INFO] [stdout] | [INFO] [stdout] 277 | proptest::arbitrary::any::(), [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ the trait `_IMPL_ARBITRARY_FOR_AccessPath::_proptest::arbitrary::Arbitrary` is not implemented for `move_core_types::account_address::AccountAddress`, which is required by `std::collections::BTreeMap: _IMPL_ARBITRARY_FOR_AccessPath::_proptest::arbitrary::Arbitrary` [INFO] [stdout] | [INFO] [stdout] = help: the following other types implement trait `_IMPL_ARBITRARY_FOR_AccessPath::_proptest::arbitrary::Arbitrary`: [INFO] [stdout] () [INFO] [stdout] (Sender, std::sync::mpsc::IntoIter) [INFO] [stdout] (Sender, std::sync::mpsc::Receiver) [INFO] [stdout] (SyncSender, std::sync::mpsc::IntoIter) [INFO] [stdout] (SyncSender, std::sync::mpsc::Receiver) [INFO] [stdout] (T0, T1) [INFO] [stdout] (T0, T1, T2) [INFO] [stdout] (T0, T1, T2, T3) [INFO] [stdout] and 268 others [INFO] [stdout] = note: required for `std::collections::BTreeMap` to implement `_IMPL_ARBITRARY_FOR_AccessPath::_proptest::arbitrary::Arbitrary` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0277]: the trait bound `diem_crypto::ed25519::Ed25519PublicKey: _IMPL_ARBITRARY_FOR_AccessPath::_proptest::arbitrary::Arbitrary` is not satisfied [INFO] [stdout] --> src/ledger_info.rs:277:13 [INFO] [stdout] | [INFO] [stdout] 277 | proptest::arbitrary::any::(), [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ the trait `_IMPL_ARBITRARY_FOR_AccessPath::_proptest::arbitrary::Arbitrary` is not implemented for `diem_crypto::ed25519::Ed25519PublicKey` [INFO] [stdout] | [INFO] [stdout] = help: the following other types implement trait `_IMPL_ARBITRARY_FOR_AccessPath::_proptest::arbitrary::Arbitrary`: [INFO] [stdout] () [INFO] [stdout] (Sender, std::sync::mpsc::IntoIter) [INFO] [stdout] (Sender, std::sync::mpsc::Receiver) [INFO] [stdout] (SyncSender, std::sync::mpsc::IntoIter) [INFO] [stdout] (SyncSender, std::sync::mpsc::Receiver) [INFO] [stdout] (T0, T1) [INFO] [stdout] (T0, T1, T2) [INFO] [stdout] (T0, T1, T2, T3) [INFO] [stdout] and 268 others [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0277]: the trait bound `move_core_types::account_address::AccountAddress: _IMPL_ARBITRARY_FOR_AccessPath::_proptest::arbitrary::Arbitrary` is not satisfied [INFO] [stdout] --> src/ledger_info.rs:278:66 [INFO] [stdout] | [INFO] [stdout] 278 | proptest::collection::vec(proptest::arbitrary::any::(), 0..100), [INFO] [stdout] | ^^^^^^^^^^^^^^ the trait `_IMPL_ARBITRARY_FOR_AccessPath::_proptest::arbitrary::Arbitrary` is not implemented for `move_core_types::account_address::AccountAddress` [INFO] [stdout] | [INFO] [stdout] = help: the following other types implement trait `_IMPL_ARBITRARY_FOR_AccessPath::_proptest::arbitrary::Arbitrary`: [INFO] [stdout] () [INFO] [stdout] (Sender, std::sync::mpsc::IntoIter) [INFO] [stdout] (Sender, std::sync::mpsc::Receiver) [INFO] [stdout] (SyncSender, std::sync::mpsc::IntoIter) [INFO] [stdout] (SyncSender, std::sync::mpsc::Receiver) [INFO] [stdout] (T0, T1) [INFO] [stdout] (T0, T1, T2) [INFO] [stdout] (T0, T1, T2, T3) [INFO] [stdout] and 268 others [INFO] [stdout] note: required by a bound in `_IMPL_ARBITRARY_FOR_AccessPath::_proptest::arbitrary::any` [INFO] [stdout] --> /opt/rustwide/cargo-home/registry/src/index.crates.io-6f17d22bba15001f/proptest-1.5.0/src/arbitrary/traits.rs:164:15 [INFO] [stdout] | [INFO] [stdout] 164 | pub fn any() -> StrategyFor { [INFO] [stdout] | ^^^^^^^^^ required by this bound in `any` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0277]: the trait bound `diem_crypto::x25519::PublicKey: _IMPL_ARBITRARY_FOR_AccessPath::_proptest::arbitrary::Arbitrary` is not satisfied [INFO] [stdout] --> src/network_address/mod.rs:126:13 [INFO] [stdout] | [INFO] [stdout] 126 | NoiseIK(x25519::PublicKey), [INFO] [stdout] | ^^^^^^^^^^^^^^^^^ the trait `_IMPL_ARBITRARY_FOR_AccessPath::_proptest::arbitrary::Arbitrary` is not implemented for `diem_crypto::x25519::PublicKey` [INFO] [stdout] | [INFO] [stdout] = help: the following other types implement trait `_IMPL_ARBITRARY_FOR_AccessPath::_proptest::arbitrary::Arbitrary`: [INFO] [stdout] () [INFO] [stdout] (Sender, std::sync::mpsc::IntoIter) [INFO] [stdout] (Sender, std::sync::mpsc::Receiver) [INFO] [stdout] (SyncSender, std::sync::mpsc::IntoIter) [INFO] [stdout] (SyncSender, std::sync::mpsc::Receiver) [INFO] [stdout] (T0, T1) [INFO] [stdout] (T0, T1, T2) [INFO] [stdout] (T0, T1, T2, T3) [INFO] [stdout] and 268 others [INFO] [stdout] note: required by a bound in `_IMPL_ARBITRARY_FOR_AccessPath::_proptest::arbitrary::any_with` [INFO] [stdout] --> /opt/rustwide/cargo-home/registry/src/index.crates.io-6f17d22bba15001f/proptest-1.5.0/src/arbitrary/traits.rs:208:20 [INFO] [stdout] | [INFO] [stdout] 208 | pub fn any_with(args: ParamsFor) -> StrategyFor { [INFO] [stdout] | ^^^^^^^^^ required by this bound in `any_with` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: 2 warnings emitted [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0277]: the trait bound `diem_crypto::x25519::PublicKey: _IMPL_ARBITRARY_FOR_AccessPath::_proptest::arbitrary::Arbitrary` is not satisfied [INFO] [stdout] --> src/network_address/mod.rs:478:13 [INFO] [stdout] | [INFO] [stdout] 478 | vec(any::(), 1..10) [INFO] [stdout] | ^^^^^^^^^^^^^^^^^ the trait `_IMPL_ARBITRARY_FOR_AccessPath::_proptest::arbitrary::Arbitrary` is not implemented for `diem_crypto::x25519::PublicKey` [INFO] [stdout] | [INFO] [stdout] = help: the following other types implement trait `_IMPL_ARBITRARY_FOR_AccessPath::_proptest::arbitrary::Arbitrary`: [INFO] [stdout] () [INFO] [stdout] (Sender, std::sync::mpsc::IntoIter) [INFO] [stdout] (Sender, std::sync::mpsc::Receiver) [INFO] [stdout] (SyncSender, std::sync::mpsc::IntoIter) [INFO] [stdout] (SyncSender, std::sync::mpsc::Receiver) [INFO] [stdout] (T0, T1) [INFO] [stdout] (T0, T1, T2) [INFO] [stdout] (T0, T1, T2, T3) [INFO] [stdout] and 268 others [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0277]: the trait bound `diem_crypto::HashValue: _IMPL_ARBITRARY_FOR_AccessPath::_proptest::arbitrary::Arbitrary` is not satisfied [INFO] [stdout] --> src/proof/accumulator/accumulator_test.rs:112:30 [INFO] [stdout] | [INFO] [stdout] 112 | hashes1 in vec(any::(), 0..100), [INFO] [stdout] | ^^^^^^^^^ the trait `_IMPL_ARBITRARY_FOR_AccessPath::_proptest::arbitrary::Arbitrary` is not implemented for `diem_crypto::HashValue` [INFO] [stdout] | [INFO] [stdout] = help: the following other types implement trait `_IMPL_ARBITRARY_FOR_AccessPath::_proptest::arbitrary::Arbitrary`: [INFO] [stdout] () [INFO] [stdout] (Sender, std::sync::mpsc::IntoIter) [INFO] [stdout] (Sender, std::sync::mpsc::Receiver) [INFO] [stdout] (SyncSender, std::sync::mpsc::IntoIter) [INFO] [stdout] (SyncSender, std::sync::mpsc::Receiver) [INFO] [stdout] (T0, T1) [INFO] [stdout] (T0, T1, T2) [INFO] [stdout] (T0, T1, T2, T3) [INFO] [stdout] and 268 others [INFO] [stdout] note: required by a bound in `_IMPL_ARBITRARY_FOR_AccessPath::_proptest::arbitrary::any` [INFO] [stdout] --> /opt/rustwide/cargo-home/registry/src/index.crates.io-6f17d22bba15001f/proptest-1.5.0/src/arbitrary/traits.rs:164:15 [INFO] [stdout] | [INFO] [stdout] 164 | pub fn any() -> StrategyFor { [INFO] [stdout] | ^^^^^^^^^ required by this bound in `any` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0277]: the trait bound `diem_crypto::HashValue: _IMPL_ARBITRARY_FOR_AccessPath::_proptest::arbitrary::Arbitrary` is not satisfied [INFO] [stdout] --> src/proof/accumulator/accumulator_test.rs:113:30 [INFO] [stdout] | [INFO] [stdout] 113 | hashes2 in vec(any::(), 0..100), [INFO] [stdout] | ^^^^^^^^^ the trait `_IMPL_ARBITRARY_FOR_AccessPath::_proptest::arbitrary::Arbitrary` is not implemented for `diem_crypto::HashValue` [INFO] [stdout] | [INFO] [stdout] = help: the following other types implement trait `_IMPL_ARBITRARY_FOR_AccessPath::_proptest::arbitrary::Arbitrary`: [INFO] [stdout] () [INFO] [stdout] (Sender, std::sync::mpsc::IntoIter) [INFO] [stdout] (Sender, std::sync::mpsc::Receiver) [INFO] [stdout] (SyncSender, std::sync::mpsc::IntoIter) [INFO] [stdout] (SyncSender, std::sync::mpsc::Receiver) [INFO] [stdout] (T0, T1) [INFO] [stdout] (T0, T1, T2) [INFO] [stdout] (T0, T1, T2, T3) [INFO] [stdout] and 268 others [INFO] [stdout] note: required by a bound in `_IMPL_ARBITRARY_FOR_AccessPath::_proptest::arbitrary::any` [INFO] [stdout] --> /opt/rustwide/cargo-home/registry/src/index.crates.io-6f17d22bba15001f/proptest-1.5.0/src/arbitrary/traits.rs:164:15 [INFO] [stdout] | [INFO] [stdout] 164 | pub fn any() -> StrategyFor { [INFO] [stdout] | ^^^^^^^^^ required by this bound in `any` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0277]: the trait bound `diem_crypto::HashValue: _IMPL_ARBITRARY_FOR_AccessPath::_proptest::arbitrary::Arbitrary` is not satisfied [INFO] [stdout] --> src/proof/accumulator/accumulator_test.rs:112:24 [INFO] [stdout] | [INFO] [stdout] 112 | hashes1 in vec(any::(), 0..100), [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^ the trait `_IMPL_ARBITRARY_FOR_AccessPath::_proptest::arbitrary::Arbitrary` is not implemented for `diem_crypto::HashValue` [INFO] [stdout] | [INFO] [stdout] = help: the following other types implement trait `_IMPL_ARBITRARY_FOR_AccessPath::_proptest::arbitrary::Arbitrary`: [INFO] [stdout] () [INFO] [stdout] (Sender, std::sync::mpsc::IntoIter) [INFO] [stdout] (Sender, std::sync::mpsc::Receiver) [INFO] [stdout] (SyncSender, std::sync::mpsc::IntoIter) [INFO] [stdout] (SyncSender, std::sync::mpsc::Receiver) [INFO] [stdout] (T0, T1) [INFO] [stdout] (T0, T1, T2) [INFO] [stdout] (T0, T1, T2, T3) [INFO] [stdout] and 268 others [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0599]: no function or associated item named `from_u64` found for struct `diem_crypto::HashValue` in the current scope [INFO] [stdout] --> src/proof/accumulator/mock.rs:253:34 [INFO] [stdout] | [INFO] [stdout] 253 | (0..=version).map(HashValue::from_u64).collect::>() [INFO] [stdout] | ^^^^^^^^ function or associated item not found in `HashValue` [INFO] [stdout] | [INFO] [stdout] help: there is an associated function `from` with a similar name [INFO] [stdout] --> /rustc/f609b7e0586f81fefb3523e3e17adf779ac416be/library/core/src/convert/mod.rs:585:5 [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0277]: the trait bound `diem_crypto::HashValue: _IMPL_ARBITRARY_FOR_AccessPath::_proptest::arbitrary::Arbitrary` is not satisfied [INFO] [stdout] --> src/proof/proptest_proof.rs:84:13 [INFO] [stdout] | [INFO] [stdout] 84 | any::>(), [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ the trait `_IMPL_ARBITRARY_FOR_AccessPath::_proptest::arbitrary::Arbitrary` is not implemented for `diem_crypto::HashValue` [INFO] [stdout] | [INFO] [stdout] = help: the following other types implement trait `_IMPL_ARBITRARY_FOR_AccessPath::_proptest::arbitrary::Arbitrary`: [INFO] [stdout] () [INFO] [stdout] (Sender, std::sync::mpsc::IntoIter) [INFO] [stdout] (Sender, std::sync::mpsc::Receiver) [INFO] [stdout] (SyncSender, std::sync::mpsc::IntoIter) [INFO] [stdout] (SyncSender, std::sync::mpsc::Receiver) [INFO] [stdout] (T0, T1) [INFO] [stdout] (T0, T1, T2) [INFO] [stdout] (T0, T1, T2, T3) [INFO] [stdout] and 268 others [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0599]: no function or associated item named `from_u64` found for struct `diem_crypto::HashValue` in the current scope [INFO] [stdout] --> src/proof/proptest_proof.rs:164:37 [INFO] [stdout] | [INFO] [stdout] 164 | .map(HashValue::from_u64) [INFO] [stdout] | ^^^^^^^^ function or associated item not found in `HashValue` [INFO] [stdout] | [INFO] [stdout] help: there is an associated function `from` with a similar name [INFO] [stdout] --> /rustc/f609b7e0586f81fefb3523e3e17adf779ac416be/library/core/src/convert/mod.rs:585:5 [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0277]: the trait bound `diem_crypto::HashValue: _IMPL_ARBITRARY_FOR_AccessPath::_proptest::arbitrary::Arbitrary` is not satisfied [INFO] [stdout] --> src/proof/unit_tests/proof_conversion_test.rs:59:54 [INFO] [stdout] | [INFO] [stdout] 59 | fn test_transaction_proof_bcs_roundtrip(proof in any::()) { [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ the trait `_IMPL_ARBITRARY_FOR_AccessPath::_proptest::arbitrary::Arbitrary` is not implemented for `diem_crypto::HashValue` [INFO] [stdout] | [INFO] [stdout] = help: the following other types implement trait `_IMPL_ARBITRARY_FOR_AccessPath::_proptest::arbitrary::Arbitrary`: [INFO] [stdout] () [INFO] [stdout] (Sender, std::sync::mpsc::IntoIter) [INFO] [stdout] (Sender, std::sync::mpsc::Receiver) [INFO] [stdout] (SyncSender, std::sync::mpsc::IntoIter) [INFO] [stdout] (SyncSender, std::sync::mpsc::Receiver) [INFO] [stdout] (T0, T1) [INFO] [stdout] (T0, T1, T2) [INFO] [stdout] (T0, T1, T2, T3) [INFO] [stdout] and 268 others [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0277]: the trait bound `KeptVMStatus: _IMPL_ARBITRARY_FOR_AccessPath::_proptest::arbitrary::Arbitrary` is not satisfied [INFO] [stdout] --> src/proof/unit_tests/proof_conversion_test.rs:59:54 [INFO] [stdout] | [INFO] [stdout] 59 | fn test_transaction_proof_bcs_roundtrip(proof in any::()) { [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ the trait `_IMPL_ARBITRARY_FOR_AccessPath::_proptest::arbitrary::Arbitrary` is not implemented for `KeptVMStatus` [INFO] [stdout] | [INFO] [stdout] = help: the following other types implement trait `_IMPL_ARBITRARY_FOR_AccessPath::_proptest::arbitrary::Arbitrary`: [INFO] [stdout] () [INFO] [stdout] (Sender, std::sync::mpsc::IntoIter) [INFO] [stdout] (Sender, std::sync::mpsc::Receiver) [INFO] [stdout] (SyncSender, std::sync::mpsc::IntoIter) [INFO] [stdout] (SyncSender, std::sync::mpsc::Receiver) [INFO] [stdout] (T0, T1) [INFO] [stdout] (T0, T1, T2) [INFO] [stdout] (T0, T1, T2, T3) [INFO] [stdout] and 268 others [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0277]: the trait bound `diem_crypto::HashValue: _IMPL_ARBITRARY_FOR_AccessPath::_proptest::arbitrary::Arbitrary` is not satisfied [INFO] [stdout] --> src/proof/unit_tests/proof_conversion_test.rs:65:56 [INFO] [stdout] | [INFO] [stdout] 65 | fn test_account_state_proof_bcs_roundtrip(proof in any::()) { [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^ the trait `_IMPL_ARBITRARY_FOR_AccessPath::_proptest::arbitrary::Arbitrary` is not implemented for `diem_crypto::HashValue` [INFO] [stdout] | [INFO] [stdout] = help: the following other types implement trait `_IMPL_ARBITRARY_FOR_AccessPath::_proptest::arbitrary::Arbitrary`: [INFO] [stdout] () [INFO] [stdout] (Sender, std::sync::mpsc::IntoIter) [INFO] [stdout] (Sender, std::sync::mpsc::Receiver) [INFO] [stdout] (SyncSender, std::sync::mpsc::IntoIter) [INFO] [stdout] (SyncSender, std::sync::mpsc::Receiver) [INFO] [stdout] (T0, T1) [INFO] [stdout] (T0, T1, T2) [INFO] [stdout] (T0, T1, T2, T3) [INFO] [stdout] and 268 others [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0277]: the trait bound `KeptVMStatus: _IMPL_ARBITRARY_FOR_AccessPath::_proptest::arbitrary::Arbitrary` is not satisfied [INFO] [stdout] --> src/proof/unit_tests/proof_conversion_test.rs:65:56 [INFO] [stdout] | [INFO] [stdout] 65 | fn test_account_state_proof_bcs_roundtrip(proof in any::()) { [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^ the trait `_IMPL_ARBITRARY_FOR_AccessPath::_proptest::arbitrary::Arbitrary` is not implemented for `KeptVMStatus` [INFO] [stdout] | [INFO] [stdout] = help: the following other types implement trait `_IMPL_ARBITRARY_FOR_AccessPath::_proptest::arbitrary::Arbitrary`: [INFO] [stdout] () [INFO] [stdout] (Sender, std::sync::mpsc::IntoIter) [INFO] [stdout] (Sender, std::sync::mpsc::Receiver) [INFO] [stdout] (SyncSender, std::sync::mpsc::IntoIter) [INFO] [stdout] (SyncSender, std::sync::mpsc::Receiver) [INFO] [stdout] (T0, T1) [INFO] [stdout] (T0, T1, T2) [INFO] [stdout] (T0, T1, T2, T3) [INFO] [stdout] and 268 others [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0277]: the trait bound `diem_crypto::HashValue: _IMPL_ARBITRARY_FOR_AccessPath::_proptest::arbitrary::Arbitrary` is not satisfied [INFO] [stdout] --> src/proof/unit_tests/proof_conversion_test.rs:71:48 [INFO] [stdout] | [INFO] [stdout] 71 | fn test_event_proof_bcs_roundtrip(proof in any::()) { [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^ the trait `_IMPL_ARBITRARY_FOR_AccessPath::_proptest::arbitrary::Arbitrary` is not implemented for `diem_crypto::HashValue` [INFO] [stdout] | [INFO] [stdout] = help: the following other types implement trait `_IMPL_ARBITRARY_FOR_AccessPath::_proptest::arbitrary::Arbitrary`: [INFO] [stdout] () [INFO] [stdout] (Sender, std::sync::mpsc::IntoIter) [INFO] [stdout] (Sender, std::sync::mpsc::Receiver) [INFO] [stdout] (SyncSender, std::sync::mpsc::IntoIter) [INFO] [stdout] (SyncSender, std::sync::mpsc::Receiver) [INFO] [stdout] (T0, T1) [INFO] [stdout] (T0, T1, T2) [INFO] [stdout] (T0, T1, T2, T3) [INFO] [stdout] and 268 others [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0277]: the trait bound `KeptVMStatus: _IMPL_ARBITRARY_FOR_AccessPath::_proptest::arbitrary::Arbitrary` is not satisfied [INFO] [stdout] --> src/proof/unit_tests/proof_conversion_test.rs:71:48 [INFO] [stdout] | [INFO] [stdout] 71 | fn test_event_proof_bcs_roundtrip(proof in any::()) { [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^ the trait `_IMPL_ARBITRARY_FOR_AccessPath::_proptest::arbitrary::Arbitrary` is not implemented for `KeptVMStatus` [INFO] [stdout] | [INFO] [stdout] = help: the following other types implement trait `_IMPL_ARBITRARY_FOR_AccessPath::_proptest::arbitrary::Arbitrary`: [INFO] [stdout] () [INFO] [stdout] (Sender, std::sync::mpsc::IntoIter) [INFO] [stdout] (Sender, std::sync::mpsc::Receiver) [INFO] [stdout] (SyncSender, std::sync::mpsc::IntoIter) [INFO] [stdout] (SyncSender, std::sync::mpsc::Receiver) [INFO] [stdout] (T0, T1) [INFO] [stdout] (T0, T1, T2) [INFO] [stdout] (T0, T1, T2, T3) [INFO] [stdout] and 268 others [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0277]: the trait bound `diem_crypto::HashValue: _IMPL_ARBITRARY_FOR_AccessPath::_proptest::arbitrary::Arbitrary` is not satisfied [INFO] [stdout] --> src/proof/unit_tests/proof_conversion_test.rs:77:59 [INFO] [stdout] | [INFO] [stdout] 77 | fn test_transaction_list_proof_bcs_roundtrip(proof in any::()) { [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ the trait `_IMPL_ARBITRARY_FOR_AccessPath::_proptest::arbitrary::Arbitrary` is not implemented for `diem_crypto::HashValue` [INFO] [stdout] | [INFO] [stdout] = help: the following other types implement trait `_IMPL_ARBITRARY_FOR_AccessPath::_proptest::arbitrary::Arbitrary`: [INFO] [stdout] () [INFO] [stdout] (Sender, std::sync::mpsc::IntoIter) [INFO] [stdout] (Sender, std::sync::mpsc::Receiver) [INFO] [stdout] (SyncSender, std::sync::mpsc::IntoIter) [INFO] [stdout] (SyncSender, std::sync::mpsc::Receiver) [INFO] [stdout] (T0, T1) [INFO] [stdout] (T0, T1, T2) [INFO] [stdout] (T0, T1, T2, T3) [INFO] [stdout] and 268 others [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0277]: the trait bound `KeptVMStatus: _IMPL_ARBITRARY_FOR_AccessPath::_proptest::arbitrary::Arbitrary` is not satisfied [INFO] [stdout] --> src/proof/unit_tests/proof_conversion_test.rs:77:59 [INFO] [stdout] | [INFO] [stdout] 77 | fn test_transaction_list_proof_bcs_roundtrip(proof in any::()) { [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ the trait `_IMPL_ARBITRARY_FOR_AccessPath::_proptest::arbitrary::Arbitrary` is not implemented for `KeptVMStatus` [INFO] [stdout] | [INFO] [stdout] = help: the following other types implement trait `_IMPL_ARBITRARY_FOR_AccessPath::_proptest::arbitrary::Arbitrary`: [INFO] [stdout] () [INFO] [stdout] (Sender, std::sync::mpsc::IntoIter) [INFO] [stdout] (Sender, std::sync::mpsc::Receiver) [INFO] [stdout] (SyncSender, std::sync::mpsc::IntoIter) [INFO] [stdout] (SyncSender, std::sync::mpsc::Receiver) [INFO] [stdout] (T0, T1) [INFO] [stdout] (T0, T1, T2) [INFO] [stdout] (T0, T1, T2, T3) [INFO] [stdout] and 268 others [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0277]: the trait bound `diem_crypto::HashValue: _IMPL_ARBITRARY_FOR_AccessPath::_proptest::arbitrary::Arbitrary` is not satisfied [INFO] [stdout] --> src/proof/mod.rs:100:10 [INFO] [stdout] | [INFO] [stdout] 100 | key: HashValue, [INFO] [stdout] | ^^^^^^^^^ the trait `_IMPL_ARBITRARY_FOR_AccessPath::_proptest::arbitrary::Arbitrary` is not implemented for `diem_crypto::HashValue` [INFO] [stdout] | [INFO] [stdout] = help: the following other types implement trait `_IMPL_ARBITRARY_FOR_AccessPath::_proptest::arbitrary::Arbitrary`: [INFO] [stdout] () [INFO] [stdout] (Sender, std::sync::mpsc::IntoIter) [INFO] [stdout] (Sender, std::sync::mpsc::Receiver) [INFO] [stdout] (SyncSender, std::sync::mpsc::IntoIter) [INFO] [stdout] (SyncSender, std::sync::mpsc::Receiver) [INFO] [stdout] (T0, T1) [INFO] [stdout] (T0, T1, T2) [INFO] [stdout] (T0, T1, T2, T3) [INFO] [stdout] and 268 others [INFO] [stdout] note: required by a bound in `_IMPL_ARBITRARY_FOR_AccessPath::_proptest::arbitrary::any_with` [INFO] [stdout] --> /opt/rustwide/cargo-home/registry/src/index.crates.io-6f17d22bba15001f/proptest-1.5.0/src/arbitrary/traits.rs:208:20 [INFO] [stdout] | [INFO] [stdout] 208 | pub fn any_with(args: ParamsFor) -> StrategyFor { [INFO] [stdout] | ^^^^^^^^^ required by this bound in `any_with` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0277]: the trait bound `diem_crypto::HashValue: _IMPL_ARBITRARY_FOR_AccessPath::_proptest::arbitrary::Arbitrary` is not satisfied [INFO] [stdout] --> src/proof/mod.rs:101:17 [INFO] [stdout] | [INFO] [stdout] 101 | value_hash: HashValue, [INFO] [stdout] | ^^^^^^^^^ the trait `_IMPL_ARBITRARY_FOR_AccessPath::_proptest::arbitrary::Arbitrary` is not implemented for `diem_crypto::HashValue` [INFO] [stdout] | [INFO] [stdout] = help: the following other types implement trait `_IMPL_ARBITRARY_FOR_AccessPath::_proptest::arbitrary::Arbitrary`: [INFO] [stdout] () [INFO] [stdout] (Sender, std::sync::mpsc::IntoIter) [INFO] [stdout] (Sender, std::sync::mpsc::Receiver) [INFO] [stdout] (SyncSender, std::sync::mpsc::IntoIter) [INFO] [stdout] (SyncSender, std::sync::mpsc::Receiver) [INFO] [stdout] (T0, T1) [INFO] [stdout] (T0, T1, T2) [INFO] [stdout] (T0, T1, T2, T3) [INFO] [stdout] and 268 others [INFO] [stdout] note: required by a bound in `_IMPL_ARBITRARY_FOR_AccessPath::_proptest::arbitrary::any_with` [INFO] [stdout] --> /opt/rustwide/cargo-home/registry/src/index.crates.io-6f17d22bba15001f/proptest-1.5.0/src/arbitrary/traits.rs:208:20 [INFO] [stdout] | [INFO] [stdout] 208 | pub fn any_with(args: ParamsFor) -> StrategyFor { [INFO] [stdout] | ^^^^^^^^^ required by this bound in `any_with` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0277]: the trait bound `move_core_types::account_address::AccountAddress: _IMPL_ARBITRARY_FOR_AccessPath::_proptest::arbitrary::Arbitrary` is not satisfied [INFO] [stdout] --> src/proptest_types.rs:95:14 [INFO] [stdout] | [INFO] [stdout] 95 | vec((any::(), any::()), 0..64) [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^ the trait `_IMPL_ARBITRARY_FOR_AccessPath::_proptest::arbitrary::Arbitrary` is not implemented for `move_core_types::account_address::AccountAddress` [INFO] [stdout] | [INFO] [stdout] = help: the following other types implement trait `_IMPL_ARBITRARY_FOR_AccessPath::_proptest::arbitrary::Arbitrary`: [INFO] [stdout] () [INFO] [stdout] (Sender, std::sync::mpsc::IntoIter) [INFO] [stdout] (Sender, std::sync::mpsc::Receiver) [INFO] [stdout] (SyncSender, std::sync::mpsc::IntoIter) [INFO] [stdout] (SyncSender, std::sync::mpsc::Receiver) [INFO] [stdout] (T0, T1) [INFO] [stdout] (T0, T1, T2) [INFO] [stdout] (T0, T1, T2, T3) [INFO] [stdout] and 269 others [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0277]: the trait bound `move_core_types::account_address::AccountAddress: _IMPL_ARBITRARY_FOR_AccessPath::_proptest::arbitrary::Arbitrary` is not satisfied [INFO] [stdout] --> src/proptest_types.rs:376:19 [INFO] [stdout] | [INFO] [stdout] 376 | any::(), [INFO] [stdout] | ^^^^^^^^^^^^^^ the trait `_IMPL_ARBITRARY_FOR_AccessPath::_proptest::arbitrary::Arbitrary` is not implemented for `move_core_types::account_address::AccountAddress` [INFO] [stdout] | [INFO] [stdout] = help: the following other types implement trait `_IMPL_ARBITRARY_FOR_AccessPath::_proptest::arbitrary::Arbitrary`: [INFO] [stdout] () [INFO] [stdout] (Sender, std::sync::mpsc::IntoIter) [INFO] [stdout] (Sender, std::sync::mpsc::Receiver) [INFO] [stdout] (SyncSender, std::sync::mpsc::IntoIter) [INFO] [stdout] (SyncSender, std::sync::mpsc::Receiver) [INFO] [stdout] (T0, T1) [INFO] [stdout] (T0, T1, T2) [INFO] [stdout] (T0, T1, T2, T3) [INFO] [stdout] and 269 others [INFO] [stdout] note: required by a bound in `_IMPL_ARBITRARY_FOR_AccessPath::_proptest::arbitrary::any` [INFO] [stdout] --> /opt/rustwide/cargo-home/registry/src/index.crates.io-6f17d22bba15001f/proptest-1.5.0/src/arbitrary/traits.rs:164:15 [INFO] [stdout] | [INFO] [stdout] 164 | pub fn any() -> StrategyFor { [INFO] [stdout] | ^^^^^^^^^ required by this bound in `any` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0277]: the trait bound `move_core_types::account_address::AccountAddress: _IMPL_ARBITRARY_FOR_AccessPath::_proptest::arbitrary::Arbitrary` is not satisfied [INFO] [stdout] --> src/proptest_types.rs:376:13 [INFO] [stdout] | [INFO] [stdout] 376 | any::(), [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^ the trait `_IMPL_ARBITRARY_FOR_AccessPath::_proptest::arbitrary::Arbitrary` is not implemented for `move_core_types::account_address::AccountAddress` [INFO] [stdout] | [INFO] [stdout] = help: the following other types implement trait `_IMPL_ARBITRARY_FOR_AccessPath::_proptest::arbitrary::Arbitrary`: [INFO] [stdout] () [INFO] [stdout] (Sender, std::sync::mpsc::IntoIter) [INFO] [stdout] (Sender, std::sync::mpsc::Receiver) [INFO] [stdout] (SyncSender, std::sync::mpsc::IntoIter) [INFO] [stdout] (SyncSender, std::sync::mpsc::Receiver) [INFO] [stdout] (T0, T1) [INFO] [stdout] (T0, T1, T2) [INFO] [stdout] (T0, T1, T2, T3) [INFO] [stdout] and 269 others [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0277]: the trait bound `TypeTag: _IMPL_ARBITRARY_FOR_AccessPath::_proptest::arbitrary::Arbitrary` is not satisfied [INFO] [stdout] --> src/proptest_types.rs:587:23 [INFO] [stdout] | [INFO] [stdout] 587 | vec(any::(), 0..4), [INFO] [stdout] | ^^^^^^^ the trait `_IMPL_ARBITRARY_FOR_AccessPath::_proptest::arbitrary::Arbitrary` is not implemented for `TypeTag` [INFO] [stdout] | [INFO] [stdout] = help: the following other types implement trait `_IMPL_ARBITRARY_FOR_AccessPath::_proptest::arbitrary::Arbitrary`: [INFO] [stdout] () [INFO] [stdout] (Sender, std::sync::mpsc::IntoIter) [INFO] [stdout] (Sender, std::sync::mpsc::Receiver) [INFO] [stdout] (SyncSender, std::sync::mpsc::IntoIter) [INFO] [stdout] (SyncSender, std::sync::mpsc::Receiver) [INFO] [stdout] (T0, T1) [INFO] [stdout] (T0, T1, T2) [INFO] [stdout] (T0, T1, T2, T3) [INFO] [stdout] and 269 others [INFO] [stdout] note: required by a bound in `_IMPL_ARBITRARY_FOR_AccessPath::_proptest::arbitrary::any` [INFO] [stdout] --> /opt/rustwide/cargo-home/registry/src/index.crates.io-6f17d22bba15001f/proptest-1.5.0/src/arbitrary/traits.rs:164:15 [INFO] [stdout] | [INFO] [stdout] 164 | pub fn any() -> StrategyFor { [INFO] [stdout] | ^^^^^^^^^ required by this bound in `any` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0277]: the trait bound `TransactionArgument: _IMPL_ARBITRARY_FOR_AccessPath::_proptest::arbitrary::Arbitrary` is not satisfied [INFO] [stdout] --> src/proptest_types.rs:588:23 [INFO] [stdout] | [INFO] [stdout] 588 | vec(any::(), 0..10), [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^ the trait `_IMPL_ARBITRARY_FOR_AccessPath::_proptest::arbitrary::Arbitrary` is not implemented for `TransactionArgument` [INFO] [stdout] | [INFO] [stdout] = help: the following other types implement trait `_IMPL_ARBITRARY_FOR_AccessPath::_proptest::arbitrary::Arbitrary`: [INFO] [stdout] () [INFO] [stdout] (Sender, std::sync::mpsc::IntoIter) [INFO] [stdout] (Sender, std::sync::mpsc::Receiver) [INFO] [stdout] (SyncSender, std::sync::mpsc::IntoIter) [INFO] [stdout] (SyncSender, std::sync::mpsc::Receiver) [INFO] [stdout] (T0, T1) [INFO] [stdout] (T0, T1, T2) [INFO] [stdout] (T0, T1, T2, T3) [INFO] [stdout] and 269 others [INFO] [stdout] note: required by a bound in `_IMPL_ARBITRARY_FOR_AccessPath::_proptest::arbitrary::any` [INFO] [stdout] --> /opt/rustwide/cargo-home/registry/src/index.crates.io-6f17d22bba15001f/proptest-1.5.0/src/arbitrary/traits.rs:164:15 [INFO] [stdout] | [INFO] [stdout] 164 | pub fn any() -> StrategyFor { [INFO] [stdout] | ^^^^^^^^^ required by this bound in `any` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0277]: the trait bound `TypeTag: _IMPL_ARBITRARY_FOR_AccessPath::_proptest::arbitrary::Arbitrary` is not satisfied [INFO] [stdout] --> src/proptest_types.rs:587:17 [INFO] [stdout] | [INFO] [stdout] 587 | vec(any::(), 0..4), [INFO] [stdout] | ^^^^^^^^^^^^^^^^ the trait `_IMPL_ARBITRARY_FOR_AccessPath::_proptest::arbitrary::Arbitrary` is not implemented for `TypeTag` [INFO] [stdout] | [INFO] [stdout] = help: the following other types implement trait `_IMPL_ARBITRARY_FOR_AccessPath::_proptest::arbitrary::Arbitrary`: [INFO] [stdout] () [INFO] [stdout] (Sender, std::sync::mpsc::IntoIter) [INFO] [stdout] (Sender, std::sync::mpsc::Receiver) [INFO] [stdout] (SyncSender, std::sync::mpsc::IntoIter) [INFO] [stdout] (SyncSender, std::sync::mpsc::Receiver) [INFO] [stdout] (T0, T1) [INFO] [stdout] (T0, T1, T2) [INFO] [stdout] (T0, T1, T2, T3) [INFO] [stdout] and 269 others [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0277]: the trait bound `TransactionArgument: _IMPL_ARBITRARY_FOR_AccessPath::_proptest::arbitrary::Arbitrary` is not satisfied [INFO] [stdout] --> src/proptest_types.rs:588:17 [INFO] [stdout] | [INFO] [stdout] 588 | vec(any::(), 0..10), [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^ the trait `_IMPL_ARBITRARY_FOR_AccessPath::_proptest::arbitrary::Arbitrary` is not implemented for `TransactionArgument` [INFO] [stdout] | [INFO] [stdout] = help: the following other types implement trait `_IMPL_ARBITRARY_FOR_AccessPath::_proptest::arbitrary::Arbitrary`: [INFO] [stdout] () [INFO] [stdout] (Sender, std::sync::mpsc::IntoIter) [INFO] [stdout] (Sender, std::sync::mpsc::Receiver) [INFO] [stdout] (SyncSender, std::sync::mpsc::IntoIter) [INFO] [stdout] (SyncSender, std::sync::mpsc::Receiver) [INFO] [stdout] (T0, T1) [INFO] [stdout] (T0, T1, T2) [INFO] [stdout] (T0, T1, T2, T3) [INFO] [stdout] and 269 others [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0277]: the trait bound `diem_crypto::HashValue: _IMPL_ARBITRARY_FOR_AccessPath::_proptest::arbitrary::Arbitrary` is not satisfied [INFO] [stdout] --> src/proptest_types.rs:619:10 [INFO] [stdout] | [INFO] [stdout] 619 | (any::(), Just(num_validators_range)) [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^ the trait `_IMPL_ARBITRARY_FOR_AccessPath::_proptest::arbitrary::Arbitrary` is not implemented for `diem_crypto::HashValue` [INFO] [stdout] | [INFO] [stdout] = help: the following other types implement trait `_IMPL_ARBITRARY_FOR_AccessPath::_proptest::arbitrary::Arbitrary`: [INFO] [stdout] () [INFO] [stdout] (Sender, std::sync::mpsc::IntoIter) [INFO] [stdout] (Sender, std::sync::mpsc::Receiver) [INFO] [stdout] (SyncSender, std::sync::mpsc::IntoIter) [INFO] [stdout] (SyncSender, std::sync::mpsc::Receiver) [INFO] [stdout] (T0, T1) [INFO] [stdout] (T0, T1, T2) [INFO] [stdout] (T0, T1, T2, T3) [INFO] [stdout] and 269 others [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0277]: the trait bound `move_core_types::account_address::AccountAddress: _IMPL_ARBITRARY_FOR_AccessPath::_proptest::arbitrary::Arbitrary` is not satisfied [INFO] [stdout] --> src/proptest_types.rs:619:10 [INFO] [stdout] | [INFO] [stdout] 619 | (any::(), Just(num_validators_range)) [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^ the trait `_IMPL_ARBITRARY_FOR_AccessPath::_proptest::arbitrary::Arbitrary` is not implemented for `move_core_types::account_address::AccountAddress`, which is required by `std::collections::BTreeMap: _IMPL_ARBITRARY_FOR_AccessPath::_proptest::arbitrary::Arbitrary` [INFO] [stdout] | [INFO] [stdout] = help: the following other types implement trait `_IMPL_ARBITRARY_FOR_AccessPath::_proptest::arbitrary::Arbitrary`: [INFO] [stdout] () [INFO] [stdout] (Sender, std::sync::mpsc::IntoIter) [INFO] [stdout] (Sender, std::sync::mpsc::Receiver) [INFO] [stdout] (SyncSender, std::sync::mpsc::IntoIter) [INFO] [stdout] (SyncSender, std::sync::mpsc::Receiver) [INFO] [stdout] (T0, T1) [INFO] [stdout] (T0, T1, T2) [INFO] [stdout] (T0, T1, T2, T3) [INFO] [stdout] and 269 others [INFO] [stdout] = note: required for `std::collections::BTreeMap` to implement `_IMPL_ARBITRARY_FOR_AccessPath::_proptest::arbitrary::Arbitrary` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0277]: the trait bound `diem_crypto::ed25519::Ed25519PublicKey: _IMPL_ARBITRARY_FOR_AccessPath::_proptest::arbitrary::Arbitrary` is not satisfied [INFO] [stdout] --> src/proptest_types.rs:619:10 [INFO] [stdout] | [INFO] [stdout] 619 | (any::(), Just(num_validators_range)) [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^ the trait `_IMPL_ARBITRARY_FOR_AccessPath::_proptest::arbitrary::Arbitrary` is not implemented for `diem_crypto::ed25519::Ed25519PublicKey` [INFO] [stdout] | [INFO] [stdout] = help: the following other types implement trait `_IMPL_ARBITRARY_FOR_AccessPath::_proptest::arbitrary::Arbitrary`: [INFO] [stdout] () [INFO] [stdout] (Sender, std::sync::mpsc::IntoIter) [INFO] [stdout] (Sender, std::sync::mpsc::Receiver) [INFO] [stdout] (SyncSender, std::sync::mpsc::IntoIter) [INFO] [stdout] (SyncSender, std::sync::mpsc::Receiver) [INFO] [stdout] (T0, T1) [INFO] [stdout] (T0, T1, T2) [INFO] [stdout] (T0, T1, T2, T3) [INFO] [stdout] and 269 others [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0277]: the trait bound `TypeTag: _IMPL_ARBITRARY_FOR_AccessPath::_proptest::arbitrary::Arbitrary` is not satisfied [INFO] [stdout] --> src/proptest_types.rs:640:15 [INFO] [stdout] | [INFO] [stdout] 640 | type_tag: TypeTag, [INFO] [stdout] | ^^^^^^^ the trait `_IMPL_ARBITRARY_FOR_AccessPath::_proptest::arbitrary::Arbitrary` is not implemented for `TypeTag` [INFO] [stdout] | [INFO] [stdout] = help: the following other types implement trait `_IMPL_ARBITRARY_FOR_AccessPath::_proptest::arbitrary::Arbitrary`: [INFO] [stdout] () [INFO] [stdout] (Sender, std::sync::mpsc::IntoIter) [INFO] [stdout] (Sender, std::sync::mpsc::Receiver) [INFO] [stdout] (SyncSender, std::sync::mpsc::IntoIter) [INFO] [stdout] (SyncSender, std::sync::mpsc::Receiver) [INFO] [stdout] (T0, T1) [INFO] [stdout] (T0, T1, T2) [INFO] [stdout] (T0, T1, T2, T3) [INFO] [stdout] and 269 others [INFO] [stdout] note: required by a bound in `_IMPL_ARBITRARY_FOR_AccessPath::_proptest::arbitrary::any_with` [INFO] [stdout] --> /opt/rustwide/cargo-home/registry/src/index.crates.io-6f17d22bba15001f/proptest-1.5.0/src/arbitrary/traits.rs:208:20 [INFO] [stdout] | [INFO] [stdout] 208 | pub fn any_with(args: ParamsFor) -> StrategyFor { [INFO] [stdout] | ^^^^^^^^^ required by this bound in `any_with` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0277]: the trait bound `move_core_types::account_address::AccountAddress: _IMPL_ARBITRARY_FOR_AccessPath::_proptest::arbitrary::Arbitrary` is not satisfied [INFO] [stdout] --> src/proptest_types.rs:843:17 [INFO] [stdout] | [INFO] [stdout] 843 | any::(), [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^ the trait `_IMPL_ARBITRARY_FOR_AccessPath::_proptest::arbitrary::Arbitrary` is not implemented for `move_core_types::account_address::AccountAddress` [INFO] [stdout] | [INFO] [stdout] = help: the following other types implement trait `_IMPL_ARBITRARY_FOR_AccessPath::_proptest::arbitrary::Arbitrary`: [INFO] [stdout] () [INFO] [stdout] (Sender, std::sync::mpsc::IntoIter) [INFO] [stdout] (Sender, std::sync::mpsc::Receiver) [INFO] [stdout] (SyncSender, std::sync::mpsc::IntoIter) [INFO] [stdout] (SyncSender, std::sync::mpsc::Receiver) [INFO] [stdout] (T0, T1) [INFO] [stdout] (T0, T1, T2) [INFO] [stdout] (T0, T1, T2, T3) [INFO] [stdout] and 269 others [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0277]: the trait bound `TypeTag: _IMPL_ARBITRARY_FOR_AccessPath::_proptest::arbitrary::Arbitrary` is not satisfied [INFO] [stdout] --> src/proptest_types.rs:850:21 [INFO] [stdout] | [INFO] [stdout] 850 | any::(), [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^ the trait `_IMPL_ARBITRARY_FOR_AccessPath::_proptest::arbitrary::Arbitrary` is not implemented for `TypeTag` [INFO] [stdout] | [INFO] [stdout] = help: the following other types implement trait `_IMPL_ARBITRARY_FOR_AccessPath::_proptest::arbitrary::Arbitrary`: [INFO] [stdout] () [INFO] [stdout] (Sender, std::sync::mpsc::IntoIter) [INFO] [stdout] (Sender, std::sync::mpsc::Receiver) [INFO] [stdout] (SyncSender, std::sync::mpsc::IntoIter) [INFO] [stdout] (SyncSender, std::sync::mpsc::Receiver) [INFO] [stdout] (T0, T1) [INFO] [stdout] (T0, T1, T2) [INFO] [stdout] (T0, T1, T2, T3) [INFO] [stdout] and 269 others [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0277]: the trait bound `KeptVMStatus: _IMPL_ARBITRARY_FOR_AccessPath::_proptest::arbitrary::Arbitrary` is not satisfied [INFO] [stdout] --> src/proptest_types.rs:856:19 [INFO] [stdout] | [INFO] [stdout] 856 | any::(), [INFO] [stdout] | ^^^^^^^^^^^^ the trait `_IMPL_ARBITRARY_FOR_AccessPath::_proptest::arbitrary::Arbitrary` is not implemented for `KeptVMStatus` [INFO] [stdout] | [INFO] [stdout] = help: the following other types implement trait `_IMPL_ARBITRARY_FOR_AccessPath::_proptest::arbitrary::Arbitrary`: [INFO] [stdout] () [INFO] [stdout] (Sender, std::sync::mpsc::IntoIter) [INFO] [stdout] (Sender, std::sync::mpsc::Receiver) [INFO] [stdout] (SyncSender, std::sync::mpsc::IntoIter) [INFO] [stdout] (SyncSender, std::sync::mpsc::Receiver) [INFO] [stdout] (T0, T1) [INFO] [stdout] (T0, T1, T2) [INFO] [stdout] (T0, T1, T2, T3) [INFO] [stdout] and 269 others [INFO] [stdout] note: required by a bound in `_IMPL_ARBITRARY_FOR_AccessPath::_proptest::arbitrary::any` [INFO] [stdout] --> /opt/rustwide/cargo-home/registry/src/index.crates.io-6f17d22bba15001f/proptest-1.5.0/src/arbitrary/traits.rs:164:15 [INFO] [stdout] | [INFO] [stdout] 164 | pub fn any() -> StrategyFor { [INFO] [stdout] | ^^^^^^^^^ required by this bound in `any` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0277]: the trait bound `KeptVMStatus: _IMPL_ARBITRARY_FOR_AccessPath::_proptest::arbitrary::Arbitrary` is not satisfied [INFO] [stdout] --> src/proptest_types.rs:856:13 [INFO] [stdout] | [INFO] [stdout] 856 | any::(), [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^ the trait `_IMPL_ARBITRARY_FOR_AccessPath::_proptest::arbitrary::Arbitrary` is not implemented for `KeptVMStatus` [INFO] [stdout] | [INFO] [stdout] = help: the following other types implement trait `_IMPL_ARBITRARY_FOR_AccessPath::_proptest::arbitrary::Arbitrary`: [INFO] [stdout] () [INFO] [stdout] (Sender, std::sync::mpsc::IntoIter) [INFO] [stdout] (Sender, std::sync::mpsc::Receiver) [INFO] [stdout] (SyncSender, std::sync::mpsc::IntoIter) [INFO] [stdout] (SyncSender, std::sync::mpsc::Receiver) [INFO] [stdout] (T0, T1) [INFO] [stdout] (T0, T1, T2) [INFO] [stdout] (T0, T1, T2, T3) [INFO] [stdout] and 269 others [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0277]: the trait bound `diem_crypto::HashValue: _IMPL_ARBITRARY_FOR_AccessPath::_proptest::arbitrary::Arbitrary` is not satisfied [INFO] [stdout] --> src/proptest_types.rs:941:19 [INFO] [stdout] | [INFO] [stdout] 941 | any::(), [INFO] [stdout] | ^^^^^^^^^ the trait `_IMPL_ARBITRARY_FOR_AccessPath::_proptest::arbitrary::Arbitrary` is not implemented for `diem_crypto::HashValue` [INFO] [stdout] | [INFO] [stdout] = help: the following other types implement trait `_IMPL_ARBITRARY_FOR_AccessPath::_proptest::arbitrary::Arbitrary`: [INFO] [stdout] () [INFO] [stdout] (Sender, std::sync::mpsc::IntoIter) [INFO] [stdout] (Sender, std::sync::mpsc::Receiver) [INFO] [stdout] (SyncSender, std::sync::mpsc::IntoIter) [INFO] [stdout] (SyncSender, std::sync::mpsc::Receiver) [INFO] [stdout] (T0, T1) [INFO] [stdout] (T0, T1, T2) [INFO] [stdout] (T0, T1, T2, T3) [INFO] [stdout] and 269 others [INFO] [stdout] note: required by a bound in `_IMPL_ARBITRARY_FOR_AccessPath::_proptest::arbitrary::any` [INFO] [stdout] --> /opt/rustwide/cargo-home/registry/src/index.crates.io-6f17d22bba15001f/proptest-1.5.0/src/arbitrary/traits.rs:164:15 [INFO] [stdout] | [INFO] [stdout] 164 | pub fn any() -> StrategyFor { [INFO] [stdout] | ^^^^^^^^^ required by this bound in `any` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0277]: the trait bound `move_core_types::account_address::AccountAddress: _IMPL_ARBITRARY_FOR_AccessPath::_proptest::arbitrary::Arbitrary` is not satisfied [INFO] [stdout] --> src/proptest_types.rs:945:19 [INFO] [stdout] | [INFO] [stdout] 945 | any::(), [INFO] [stdout] | ^^^^^^^^^^^^^^ the trait `_IMPL_ARBITRARY_FOR_AccessPath::_proptest::arbitrary::Arbitrary` is not implemented for `move_core_types::account_address::AccountAddress` [INFO] [stdout] | [INFO] [stdout] = help: the following other types implement trait `_IMPL_ARBITRARY_FOR_AccessPath::_proptest::arbitrary::Arbitrary`: [INFO] [stdout] () [INFO] [stdout] (Sender, std::sync::mpsc::IntoIter) [INFO] [stdout] (Sender, std::sync::mpsc::Receiver) [INFO] [stdout] (SyncSender, std::sync::mpsc::IntoIter) [INFO] [stdout] (SyncSender, std::sync::mpsc::Receiver) [INFO] [stdout] (T0, T1) [INFO] [stdout] (T0, T1, T2) [INFO] [stdout] (T0, T1, T2, T3) [INFO] [stdout] and 269 others [INFO] [stdout] note: required by a bound in `_IMPL_ARBITRARY_FOR_AccessPath::_proptest::arbitrary::any` [INFO] [stdout] --> /opt/rustwide/cargo-home/registry/src/index.crates.io-6f17d22bba15001f/proptest-1.5.0/src/arbitrary/traits.rs:164:15 [INFO] [stdout] | [INFO] [stdout] 164 | pub fn any() -> StrategyFor { [INFO] [stdout] | ^^^^^^^^^ required by this bound in `any` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0277]: the trait bound `diem_crypto::HashValue: _IMPL_ARBITRARY_FOR_AccessPath::_proptest::arbitrary::Arbitrary` is not satisfied [INFO] [stdout] --> src/proptest_types.rs:941:13 [INFO] [stdout] | [INFO] [stdout] 941 | any::(), [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^ the trait `_IMPL_ARBITRARY_FOR_AccessPath::_proptest::arbitrary::Arbitrary` is not implemented for `diem_crypto::HashValue` [INFO] [stdout] | [INFO] [stdout] = help: the following other types implement trait `_IMPL_ARBITRARY_FOR_AccessPath::_proptest::arbitrary::Arbitrary`: [INFO] [stdout] () [INFO] [stdout] (Sender, std::sync::mpsc::IntoIter) [INFO] [stdout] (Sender, std::sync::mpsc::Receiver) [INFO] [stdout] (SyncSender, std::sync::mpsc::IntoIter) [INFO] [stdout] (SyncSender, std::sync::mpsc::Receiver) [INFO] [stdout] (T0, T1) [INFO] [stdout] (T0, T1, T2) [INFO] [stdout] (T0, T1, T2, T3) [INFO] [stdout] and 269 others [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0277]: the trait bound `move_core_types::account_address::AccountAddress: _IMPL_ARBITRARY_FOR_AccessPath::_proptest::arbitrary::Arbitrary` is not satisfied [INFO] [stdout] --> src/proptest_types.rs:945:13 [INFO] [stdout] | [INFO] [stdout] 945 | any::(), [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^ the trait `_IMPL_ARBITRARY_FOR_AccessPath::_proptest::arbitrary::Arbitrary` is not implemented for `move_core_types::account_address::AccountAddress` [INFO] [stdout] | [INFO] [stdout] = help: the following other types implement trait `_IMPL_ARBITRARY_FOR_AccessPath::_proptest::arbitrary::Arbitrary`: [INFO] [stdout] () [INFO] [stdout] (Sender, std::sync::mpsc::IntoIter) [INFO] [stdout] (Sender, std::sync::mpsc::Receiver) [INFO] [stdout] (SyncSender, std::sync::mpsc::IntoIter) [INFO] [stdout] (SyncSender, std::sync::mpsc::Receiver) [INFO] [stdout] (T0, T1) [INFO] [stdout] (T0, T1, T2) [INFO] [stdout] (T0, T1, T2, T3) [INFO] [stdout] and 269 others [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0599]: no method named `clone` found for struct `diem_crypto::ed25519::Ed25519PrivateKey` in the current scope [INFO] [stdout] --> src/proptest_types.rs:966:86 [INFO] [stdout] | [INFO] [stdout] 966 | .map(|account| ValidatorSigner::new(account.address, account.private_key.clone())) [INFO] [stdout] | ^^^^^ method not found in `Ed25519PrivateKey` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0277]: the trait bound `diem_crypto::HashValue: _IMPL_ARBITRARY_FOR_AccessPath::_proptest::arbitrary::Arbitrary` is not satisfied [INFO] [stdout] --> src/proptest_types.rs:1040:19 [INFO] [stdout] | [INFO] [stdout] 1040 | any::(), [INFO] [stdout] | ^^^^^^^^^ the trait `_IMPL_ARBITRARY_FOR_AccessPath::_proptest::arbitrary::Arbitrary` is not implemented for `diem_crypto::HashValue` [INFO] [stdout] | [INFO] [stdout] = help: the following other types implement trait `_IMPL_ARBITRARY_FOR_AccessPath::_proptest::arbitrary::Arbitrary`: [INFO] [stdout] () [INFO] [stdout] (Sender, std::sync::mpsc::IntoIter) [INFO] [stdout] (Sender, std::sync::mpsc::Receiver) [INFO] [stdout] (SyncSender, std::sync::mpsc::IntoIter) [INFO] [stdout] (SyncSender, std::sync::mpsc::Receiver) [INFO] [stdout] (T0, T1) [INFO] [stdout] (T0, T1, T2) [INFO] [stdout] (T0, T1, T2, T3) [INFO] [stdout] and 269 others [INFO] [stdout] note: required by a bound in `_IMPL_ARBITRARY_FOR_AccessPath::_proptest::arbitrary::any` [INFO] [stdout] --> /opt/rustwide/cargo-home/registry/src/index.crates.io-6f17d22bba15001f/proptest-1.5.0/src/arbitrary/traits.rs:164:15 [INFO] [stdout] | [INFO] [stdout] 164 | pub fn any() -> StrategyFor { [INFO] [stdout] | ^^^^^^^^^ required by this bound in `any` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0277]: the trait bound `diem_crypto::HashValue: _IMPL_ARBITRARY_FOR_AccessPath::_proptest::arbitrary::Arbitrary` is not satisfied [INFO] [stdout] --> src/proptest_types.rs:1041:19 [INFO] [stdout] | [INFO] [stdout] 1041 | any::(), [INFO] [stdout] | ^^^^^^^^^ the trait `_IMPL_ARBITRARY_FOR_AccessPath::_proptest::arbitrary::Arbitrary` is not implemented for `diem_crypto::HashValue` [INFO] [stdout] | [INFO] [stdout] = help: the following other types implement trait `_IMPL_ARBITRARY_FOR_AccessPath::_proptest::arbitrary::Arbitrary`: [INFO] [stdout] () [INFO] [stdout] (Sender, std::sync::mpsc::IntoIter) [INFO] [stdout] (Sender, std::sync::mpsc::Receiver) [INFO] [stdout] (SyncSender, std::sync::mpsc::IntoIter) [INFO] [stdout] (SyncSender, std::sync::mpsc::Receiver) [INFO] [stdout] (T0, T1) [INFO] [stdout] (T0, T1, T2) [INFO] [stdout] (T0, T1, T2, T3) [INFO] [stdout] and 269 others [INFO] [stdout] note: required by a bound in `_IMPL_ARBITRARY_FOR_AccessPath::_proptest::arbitrary::any` [INFO] [stdout] --> /opt/rustwide/cargo-home/registry/src/index.crates.io-6f17d22bba15001f/proptest-1.5.0/src/arbitrary/traits.rs:164:15 [INFO] [stdout] | [INFO] [stdout] 164 | pub fn any() -> StrategyFor { [INFO] [stdout] | ^^^^^^^^^ required by this bound in `any` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0277]: the trait bound `diem_crypto::HashValue: _IMPL_ARBITRARY_FOR_AccessPath::_proptest::arbitrary::Arbitrary` is not satisfied [INFO] [stdout] --> src/proptest_types.rs:1040:13 [INFO] [stdout] | [INFO] [stdout] 1040 | any::(), [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^ the trait `_IMPL_ARBITRARY_FOR_AccessPath::_proptest::arbitrary::Arbitrary` is not implemented for `diem_crypto::HashValue` [INFO] [stdout] | [INFO] [stdout] = help: the following other types implement trait `_IMPL_ARBITRARY_FOR_AccessPath::_proptest::arbitrary::Arbitrary`: [INFO] [stdout] () [INFO] [stdout] (Sender, std::sync::mpsc::IntoIter) [INFO] [stdout] (Sender, std::sync::mpsc::Receiver) [INFO] [stdout] (SyncSender, std::sync::mpsc::IntoIter) [INFO] [stdout] (SyncSender, std::sync::mpsc::Receiver) [INFO] [stdout] (T0, T1) [INFO] [stdout] (T0, T1, T2) [INFO] [stdout] (T0, T1, T2, T3) [INFO] [stdout] and 269 others [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0277]: the trait bound `diem_crypto::HashValue: _IMPL_ARBITRARY_FOR_AccessPath::_proptest::arbitrary::Arbitrary` is not satisfied [INFO] [stdout] --> src/proptest_types.rs:1062:26 [INFO] [stdout] | [INFO] [stdout] 1062 | consensus_data_hash: HashValue, [INFO] [stdout] | ^^^^^^^^^ the trait `_IMPL_ARBITRARY_FOR_AccessPath::_proptest::arbitrary::Arbitrary` is not implemented for `diem_crypto::HashValue` [INFO] [stdout] | [INFO] [stdout] = help: the following other types implement trait `_IMPL_ARBITRARY_FOR_AccessPath::_proptest::arbitrary::Arbitrary`: [INFO] [stdout] () [INFO] [stdout] (Sender, std::sync::mpsc::IntoIter) [INFO] [stdout] (Sender, std::sync::mpsc::Receiver) [INFO] [stdout] (SyncSender, std::sync::mpsc::IntoIter) [INFO] [stdout] (SyncSender, std::sync::mpsc::Receiver) [INFO] [stdout] (T0, T1) [INFO] [stdout] (T0, T1, T2) [INFO] [stdout] (T0, T1, T2, T3) [INFO] [stdout] and 269 others [INFO] [stdout] note: required by a bound in `_IMPL_ARBITRARY_FOR_AccessPath::_proptest::arbitrary::any_with` [INFO] [stdout] --> /opt/rustwide/cargo-home/registry/src/index.crates.io-6f17d22bba15001f/proptest-1.5.0/src/arbitrary/traits.rs:208:20 [INFO] [stdout] | [INFO] [stdout] 208 | pub fn any_with(args: ParamsFor) -> StrategyFor { [INFO] [stdout] | ^^^^^^^^^ required by this bound in `any_with` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0277]: the trait bound `diem_crypto::HashValue: _IMPL_ARBITRARY_FOR_AccessPath::_proptest::arbitrary::Arbitrary` is not satisfied [INFO] [stdout] --> src/proptest_types.rs:1084:9 [INFO] [stdout] | [INFO] [stdout] 1084 | any::() [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^ the trait `_IMPL_ARBITRARY_FOR_AccessPath::_proptest::arbitrary::Arbitrary` is not implemented for `diem_crypto::HashValue` [INFO] [stdout] | [INFO] [stdout] = help: the following other types implement trait `_IMPL_ARBITRARY_FOR_AccessPath::_proptest::arbitrary::Arbitrary`: [INFO] [stdout] () [INFO] [stdout] (Sender, std::sync::mpsc::IntoIter) [INFO] [stdout] (Sender, std::sync::mpsc::Receiver) [INFO] [stdout] (SyncSender, std::sync::mpsc::IntoIter) [INFO] [stdout] (SyncSender, std::sync::mpsc::Receiver) [INFO] [stdout] (T0, T1) [INFO] [stdout] (T0, T1, T2) [INFO] [stdout] (T0, T1, T2, T3) [INFO] [stdout] and 269 others [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0277]: the trait bound `diem_crypto::HashValue: _IMPL_ARBITRARY_FOR_AccessPath::_proptest::arbitrary::Arbitrary` is not satisfied [INFO] [stdout] --> src/transaction/mod.rs:950:23 [INFO] [stdout] | [INFO] [stdout] 950 | transaction_hash: HashValue, [INFO] [stdout] | ^^^^^^^^^ the trait `_IMPL_ARBITRARY_FOR_AccessPath::_proptest::arbitrary::Arbitrary` is not implemented for `diem_crypto::HashValue` [INFO] [stdout] | [INFO] [stdout] = help: the following other types implement trait `_IMPL_ARBITRARY_FOR_AccessPath::_proptest::arbitrary::Arbitrary`: [INFO] [stdout] () [INFO] [stdout] (Sender, std::sync::mpsc::IntoIter) [INFO] [stdout] (Sender, std::sync::mpsc::Receiver) [INFO] [stdout] (SyncSender, std::sync::mpsc::IntoIter) [INFO] [stdout] (SyncSender, std::sync::mpsc::Receiver) [INFO] [stdout] (T0, T1) [INFO] [stdout] (T0, T1, T2) [INFO] [stdout] (T0, T1, T2, T3) [INFO] [stdout] and 268 others [INFO] [stdout] note: required by a bound in `_IMPL_ARBITRARY_FOR_AccessPath::_proptest::arbitrary::any_with` [INFO] [stdout] --> /opt/rustwide/cargo-home/registry/src/index.crates.io-6f17d22bba15001f/proptest-1.5.0/src/arbitrary/traits.rs:208:20 [INFO] [stdout] | [INFO] [stdout] 208 | pub fn any_with(args: ParamsFor) -> StrategyFor { [INFO] [stdout] | ^^^^^^^^^ required by this bound in `any_with` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0277]: the trait bound `diem_crypto::HashValue: _IMPL_ARBITRARY_FOR_AccessPath::_proptest::arbitrary::Arbitrary` is not satisfied [INFO] [stdout] --> src/transaction/mod.rs:954:22 [INFO] [stdout] | [INFO] [stdout] 954 | state_root_hash: HashValue, [INFO] [stdout] | ^^^^^^^^^ the trait `_IMPL_ARBITRARY_FOR_AccessPath::_proptest::arbitrary::Arbitrary` is not implemented for `diem_crypto::HashValue` [INFO] [stdout] | [INFO] [stdout] = help: the following other types implement trait `_IMPL_ARBITRARY_FOR_AccessPath::_proptest::arbitrary::Arbitrary`: [INFO] [stdout] () [INFO] [stdout] (Sender, std::sync::mpsc::IntoIter) [INFO] [stdout] (Sender, std::sync::mpsc::Receiver) [INFO] [stdout] (SyncSender, std::sync::mpsc::IntoIter) [INFO] [stdout] (SyncSender, std::sync::mpsc::Receiver) [INFO] [stdout] (T0, T1) [INFO] [stdout] (T0, T1, T2) [INFO] [stdout] (T0, T1, T2, T3) [INFO] [stdout] and 268 others [INFO] [stdout] note: required by a bound in `_IMPL_ARBITRARY_FOR_AccessPath::_proptest::arbitrary::any_with` [INFO] [stdout] --> /opt/rustwide/cargo-home/registry/src/index.crates.io-6f17d22bba15001f/proptest-1.5.0/src/arbitrary/traits.rs:208:20 [INFO] [stdout] | [INFO] [stdout] 208 | pub fn any_with(args: ParamsFor) -> StrategyFor { [INFO] [stdout] | ^^^^^^^^^ required by this bound in `any_with` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0277]: the trait bound `diem_crypto::HashValue: _IMPL_ARBITRARY_FOR_AccessPath::_proptest::arbitrary::Arbitrary` is not satisfied [INFO] [stdout] --> src/transaction/mod.rs:957:22 [INFO] [stdout] | [INFO] [stdout] 957 | event_root_hash: HashValue, [INFO] [stdout] | ^^^^^^^^^ the trait `_IMPL_ARBITRARY_FOR_AccessPath::_proptest::arbitrary::Arbitrary` is not implemented for `diem_crypto::HashValue` [INFO] [stdout] | [INFO] [stdout] = help: the following other types implement trait `_IMPL_ARBITRARY_FOR_AccessPath::_proptest::arbitrary::Arbitrary`: [INFO] [stdout] () [INFO] [stdout] (Sender, std::sync::mpsc::IntoIter) [INFO] [stdout] (Sender, std::sync::mpsc::Receiver) [INFO] [stdout] (SyncSender, std::sync::mpsc::IntoIter) [INFO] [stdout] (SyncSender, std::sync::mpsc::Receiver) [INFO] [stdout] (T0, T1) [INFO] [stdout] (T0, T1, T2) [INFO] [stdout] (T0, T1, T2, T3) [INFO] [stdout] and 268 others [INFO] [stdout] note: required by a bound in `_IMPL_ARBITRARY_FOR_AccessPath::_proptest::arbitrary::any_with` [INFO] [stdout] --> /opt/rustwide/cargo-home/registry/src/index.crates.io-6f17d22bba15001f/proptest-1.5.0/src/arbitrary/traits.rs:208:20 [INFO] [stdout] | [INFO] [stdout] 208 | pub fn any_with(args: ParamsFor) -> StrategyFor { [INFO] [stdout] | ^^^^^^^^^ required by this bound in `any_with` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0277]: the trait bound `KeptVMStatus: _IMPL_ARBITRARY_FOR_AccessPath::_proptest::arbitrary::Arbitrary` is not satisfied [INFO] [stdout] --> src/transaction/mod.rs:965:13 [INFO] [stdout] | [INFO] [stdout] 965 | status: KeptVMStatus, [INFO] [stdout] | ^^^^^^^^^^^^ the trait `_IMPL_ARBITRARY_FOR_AccessPath::_proptest::arbitrary::Arbitrary` is not implemented for `KeptVMStatus` [INFO] [stdout] | [INFO] [stdout] = help: the following other types implement trait `_IMPL_ARBITRARY_FOR_AccessPath::_proptest::arbitrary::Arbitrary`: [INFO] [stdout] () [INFO] [stdout] (Sender, std::sync::mpsc::IntoIter) [INFO] [stdout] (Sender, std::sync::mpsc::Receiver) [INFO] [stdout] (SyncSender, std::sync::mpsc::IntoIter) [INFO] [stdout] (SyncSender, std::sync::mpsc::Receiver) [INFO] [stdout] (T0, T1) [INFO] [stdout] (T0, T1, T2) [INFO] [stdout] (T0, T1, T2, T3) [INFO] [stdout] and 268 others [INFO] [stdout] note: required by a bound in `_IMPL_ARBITRARY_FOR_AccessPath::_proptest::arbitrary::any_with` [INFO] [stdout] --> /opt/rustwide/cargo-home/registry/src/index.crates.io-6f17d22bba15001f/proptest-1.5.0/src/arbitrary/traits.rs:208:20 [INFO] [stdout] | [INFO] [stdout] 208 | pub fn any_with(args: ParamsFor) -> StrategyFor { [INFO] [stdout] | ^^^^^^^^^ required by this bound in `any_with` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0277]: the trait bound `diem_crypto::ed25519::Ed25519PublicKey: _IMPL_ARBITRARY_FOR_AccessPath::_proptest::arbitrary::Arbitrary` is not satisfied [INFO] [stdout] --> src/validator_config.rs:47:31 [INFO] [stdout] | [INFO] [stdout] 47 | pub consensus_public_key: Ed25519PublicKey, [INFO] [stdout] | ^^^^^^^^^^^^^^^^ the trait `_IMPL_ARBITRARY_FOR_AccessPath::_proptest::arbitrary::Arbitrary` is not implemented for `diem_crypto::ed25519::Ed25519PublicKey` [INFO] [stdout] | [INFO] [stdout] = help: the following other types implement trait `_IMPL_ARBITRARY_FOR_AccessPath::_proptest::arbitrary::Arbitrary`: [INFO] [stdout] () [INFO] [stdout] (Sender, std::sync::mpsc::IntoIter) [INFO] [stdout] (Sender, std::sync::mpsc::Receiver) [INFO] [stdout] (SyncSender, std::sync::mpsc::IntoIter) [INFO] [stdout] (SyncSender, std::sync::mpsc::Receiver) [INFO] [stdout] (T0, T1) [INFO] [stdout] (T0, T1, T2) [INFO] [stdout] (T0, T1, T2, T3) [INFO] [stdout] and 268 others [INFO] [stdout] note: required by a bound in `_IMPL_ARBITRARY_FOR_AccessPath::_proptest::arbitrary::any_with` [INFO] [stdout] --> /opt/rustwide/cargo-home/registry/src/index.crates.io-6f17d22bba15001f/proptest-1.5.0/src/arbitrary/traits.rs:208:20 [INFO] [stdout] | [INFO] [stdout] 208 | pub fn any_with(args: ParamsFor) -> StrategyFor { [INFO] [stdout] | ^^^^^^^^^ required by this bound in `any_with` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0277]: the trait bound `move_core_types::account_address::AccountAddress: _IMPL_ARBITRARY_FOR_AccessPath::_proptest::arbitrary::Arbitrary` is not satisfied [INFO] [stdout] --> src/validator_info.rs:27:22 [INFO] [stdout] | [INFO] [stdout] 27 | account_address: AccountAddress, [INFO] [stdout] | ^^^^^^^^^^^^^^ the trait `_IMPL_ARBITRARY_FOR_AccessPath::_proptest::arbitrary::Arbitrary` is not implemented for `move_core_types::account_address::AccountAddress` [INFO] [stdout] | [INFO] [stdout] = help: the following other types implement trait `_IMPL_ARBITRARY_FOR_AccessPath::_proptest::arbitrary::Arbitrary`: [INFO] [stdout] () [INFO] [stdout] (Sender, std::sync::mpsc::IntoIter) [INFO] [stdout] (Sender, std::sync::mpsc::Receiver) [INFO] [stdout] (SyncSender, std::sync::mpsc::IntoIter) [INFO] [stdout] (SyncSender, std::sync::mpsc::Receiver) [INFO] [stdout] (T0, T1) [INFO] [stdout] (T0, T1, T2) [INFO] [stdout] (T0, T1, T2, T3) [INFO] [stdout] and 268 others [INFO] [stdout] note: required by a bound in `_IMPL_ARBITRARY_FOR_AccessPath::_proptest::arbitrary::any_with` [INFO] [stdout] --> /opt/rustwide/cargo-home/registry/src/index.crates.io-6f17d22bba15001f/proptest-1.5.0/src/arbitrary/traits.rs:208:20 [INFO] [stdout] | [INFO] [stdout] 208 | pub fn any_with(args: ParamsFor) -> StrategyFor { [INFO] [stdout] | ^^^^^^^^^ required by this bound in `any_with` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0277]: the trait bound `diem_crypto::ed25519::Ed25519PrivateKey: Clone` is not satisfied [INFO] [stdout] --> src/validator_signer.rs:22:5 [INFO] [stdout] | [INFO] [stdout] 19 | #[cfg_attr(any(test, feature = "fuzzing"), derive(Clone))] [INFO] [stdout] | ----- in this derive macro expansion [INFO] [stdout] ... [INFO] [stdout] 22 | private_key: Ed25519PrivateKey, [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ the trait `Clone` is not implemented for `diem_crypto::ed25519::Ed25519PrivateKey` [INFO] [stdout] | [INFO] [stdout] = note: this error originates in the derive macro `Clone` (in Nightly builds, run with -Z macro-backtrace for more info) [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0277]: the trait bound `diem_crypto::ed25519::Ed25519PublicKey: _IMPL_ARBITRARY_FOR_AccessPath::_proptest::arbitrary::Arbitrary` is not satisfied [INFO] [stdout] --> src/validator_verifier.rs:54:17 [INFO] [stdout] | [INFO] [stdout] 54 | public_key: Ed25519PublicKey, [INFO] [stdout] | ^^^^^^^^^^^^^^^^ the trait `_IMPL_ARBITRARY_FOR_AccessPath::_proptest::arbitrary::Arbitrary` is not implemented for `diem_crypto::ed25519::Ed25519PublicKey` [INFO] [stdout] | [INFO] [stdout] = help: the following other types implement trait `_IMPL_ARBITRARY_FOR_AccessPath::_proptest::arbitrary::Arbitrary`: [INFO] [stdout] () [INFO] [stdout] (Sender, std::sync::mpsc::IntoIter) [INFO] [stdout] (Sender, std::sync::mpsc::Receiver) [INFO] [stdout] (SyncSender, std::sync::mpsc::IntoIter) [INFO] [stdout] (SyncSender, std::sync::mpsc::Receiver) [INFO] [stdout] (T0, T1) [INFO] [stdout] (T0, T1, T2) [INFO] [stdout] (T0, T1, T2, T3) [INFO] [stdout] and 268 others [INFO] [stdout] note: required by a bound in `_IMPL_ARBITRARY_FOR_AccessPath::_proptest::arbitrary::any_with` [INFO] [stdout] --> /opt/rustwide/cargo-home/registry/src/index.crates.io-6f17d22bba15001f/proptest-1.5.0/src/arbitrary/traits.rs:208:20 [INFO] [stdout] | [INFO] [stdout] 208 | pub fn any_with(args: ParamsFor) -> StrategyFor { [INFO] [stdout] | ^^^^^^^^^ required by this bound in `any_with` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0277]: the trait bound `diem_crypto::HashValue: _IMPL_ARBITRARY_FOR_AccessPath::_proptest::arbitrary::Arbitrary` is not satisfied [INFO] [stdout] --> src/waypoint.rs:34:12 [INFO] [stdout] | [INFO] [stdout] 34 | value: HashValue, [INFO] [stdout] | ^^^^^^^^^ the trait `_IMPL_ARBITRARY_FOR_AccessPath::_proptest::arbitrary::Arbitrary` is not implemented for `diem_crypto::HashValue` [INFO] [stdout] | [INFO] [stdout] = help: the following other types implement trait `_IMPL_ARBITRARY_FOR_AccessPath::_proptest::arbitrary::Arbitrary`: [INFO] [stdout] () [INFO] [stdout] (Sender, std::sync::mpsc::IntoIter) [INFO] [stdout] (Sender, std::sync::mpsc::Receiver) [INFO] [stdout] (SyncSender, std::sync::mpsc::IntoIter) [INFO] [stdout] (SyncSender, std::sync::mpsc::Receiver) [INFO] [stdout] (T0, T1) [INFO] [stdout] (T0, T1, T2) [INFO] [stdout] (T0, T1, T2, T3) [INFO] [stdout] and 268 others [INFO] [stdout] note: required by a bound in `_IMPL_ARBITRARY_FOR_AccessPath::_proptest::arbitrary::any_with` [INFO] [stdout] --> /opt/rustwide/cargo-home/registry/src/index.crates.io-6f17d22bba15001f/proptest-1.5.0/src/arbitrary/traits.rs:208:20 [INFO] [stdout] | [INFO] [stdout] 208 | pub fn any_with(args: ParamsFor) -> StrategyFor { [INFO] [stdout] | ^^^^^^^^^ required by this bound in `any_with` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0277]: the trait bound `diem_crypto::HashValue: _IMPL_ARBITRARY_FOR_AccessPath::_proptest::arbitrary::Arbitrary` is not satisfied [INFO] [stdout] --> src/unit_tests/contract_event_test.rs:22:59 [INFO] [stdout] | [INFO] [stdout] 22 | fn event_with_proof_bcs_roundtrip(event_with_proof in any::()) { [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^ the trait `_IMPL_ARBITRARY_FOR_AccessPath::_proptest::arbitrary::Arbitrary` is not implemented for `diem_crypto::HashValue` [INFO] [stdout] | [INFO] [stdout] = help: the following other types implement trait `_IMPL_ARBITRARY_FOR_AccessPath::_proptest::arbitrary::Arbitrary`: [INFO] [stdout] () [INFO] [stdout] (Sender, std::sync::mpsc::IntoIter) [INFO] [stdout] (Sender, std::sync::mpsc::Receiver) [INFO] [stdout] (SyncSender, std::sync::mpsc::IntoIter) [INFO] [stdout] (SyncSender, std::sync::mpsc::Receiver) [INFO] [stdout] (T0, T1) [INFO] [stdout] (T0, T1, T2) [INFO] [stdout] (T0, T1, T2, T3) [INFO] [stdout] and 268 others [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0277]: the trait bound `KeptVMStatus: _IMPL_ARBITRARY_FOR_AccessPath::_proptest::arbitrary::Arbitrary` is not satisfied [INFO] [stdout] --> src/unit_tests/contract_event_test.rs:22:59 [INFO] [stdout] | [INFO] [stdout] 22 | fn event_with_proof_bcs_roundtrip(event_with_proof in any::()) { [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^ the trait `_IMPL_ARBITRARY_FOR_AccessPath::_proptest::arbitrary::Arbitrary` is not implemented for `KeptVMStatus` [INFO] [stdout] | [INFO] [stdout] = help: the following other types implement trait `_IMPL_ARBITRARY_FOR_AccessPath::_proptest::arbitrary::Arbitrary`: [INFO] [stdout] () [INFO] [stdout] (Sender, std::sync::mpsc::IntoIter) [INFO] [stdout] (Sender, std::sync::mpsc::Receiver) [INFO] [stdout] (SyncSender, std::sync::mpsc::IntoIter) [INFO] [stdout] (SyncSender, std::sync::mpsc::Receiver) [INFO] [stdout] (T0, T1) [INFO] [stdout] (T0, T1, T2) [INFO] [stdout] (T0, T1, T2, T3) [INFO] [stdout] and 268 others [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0277]: the trait bound `diem_crypto::HashValue: _IMPL_ARBITRARY_FOR_AccessPath::_proptest::arbitrary::Arbitrary` is not satisfied [INFO] [stdout] --> src/unit_tests/contract_event_test.rs:28:40 [INFO] [stdout] | [INFO] [stdout] 28 | event_by_version_with_proof in any::() [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ the trait `_IMPL_ARBITRARY_FOR_AccessPath::_proptest::arbitrary::Arbitrary` is not implemented for `diem_crypto::HashValue` [INFO] [stdout] | [INFO] [stdout] = help: the following other types implement trait `_IMPL_ARBITRARY_FOR_AccessPath::_proptest::arbitrary::Arbitrary`: [INFO] [stdout] () [INFO] [stdout] (Sender, std::sync::mpsc::IntoIter) [INFO] [stdout] (Sender, std::sync::mpsc::Receiver) [INFO] [stdout] (SyncSender, std::sync::mpsc::IntoIter) [INFO] [stdout] (SyncSender, std::sync::mpsc::Receiver) [INFO] [stdout] (T0, T1) [INFO] [stdout] (T0, T1, T2) [INFO] [stdout] (T0, T1, T2, T3) [INFO] [stdout] and 268 others [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0277]: the trait bound `KeptVMStatus: _IMPL_ARBITRARY_FOR_AccessPath::_proptest::arbitrary::Arbitrary` is not satisfied [INFO] [stdout] --> src/unit_tests/contract_event_test.rs:28:40 [INFO] [stdout] | [INFO] [stdout] 28 | event_by_version_with_proof in any::() [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ the trait `_IMPL_ARBITRARY_FOR_AccessPath::_proptest::arbitrary::Arbitrary` is not implemented for `KeptVMStatus` [INFO] [stdout] | [INFO] [stdout] = help: the following other types implement trait `_IMPL_ARBITRARY_FOR_AccessPath::_proptest::arbitrary::Arbitrary`: [INFO] [stdout] () [INFO] [stdout] (Sender, std::sync::mpsc::IntoIter) [INFO] [stdout] (Sender, std::sync::mpsc::Receiver) [INFO] [stdout] (SyncSender, std::sync::mpsc::IntoIter) [INFO] [stdout] (SyncSender, std::sync::mpsc::Receiver) [INFO] [stdout] (T0, T1) [INFO] [stdout] (T0, T1, T2) [INFO] [stdout] (T0, T1, T2, T3) [INFO] [stdout] and 268 others [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0277]: the trait bound `diem_crypto::HashValue: _IMPL_ARBITRARY_FOR_AccessPath::_proptest::arbitrary::Arbitrary` is not satisfied [INFO] [stdout] --> src/unit_tests/transaction_test.rs:111:51 [INFO] [stdout] | [INFO] [stdout] 111 | fn transaction_info_bcs_roundtrip(txn_info in any::()) { [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^ the trait `_IMPL_ARBITRARY_FOR_AccessPath::_proptest::arbitrary::Arbitrary` is not implemented for `diem_crypto::HashValue` [INFO] [stdout] | [INFO] [stdout] = help: the following other types implement trait `_IMPL_ARBITRARY_FOR_AccessPath::_proptest::arbitrary::Arbitrary`: [INFO] [stdout] () [INFO] [stdout] (Sender, std::sync::mpsc::IntoIter) [INFO] [stdout] (Sender, std::sync::mpsc::Receiver) [INFO] [stdout] (SyncSender, std::sync::mpsc::IntoIter) [INFO] [stdout] (SyncSender, std::sync::mpsc::Receiver) [INFO] [stdout] (T0, T1) [INFO] [stdout] (T0, T1, T2) [INFO] [stdout] (T0, T1, T2, T3) [INFO] [stdout] and 268 others [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0277]: the trait bound `KeptVMStatus: _IMPL_ARBITRARY_FOR_AccessPath::_proptest::arbitrary::Arbitrary` is not satisfied [INFO] [stdout] --> src/unit_tests/transaction_test.rs:111:51 [INFO] [stdout] | [INFO] [stdout] 111 | fn transaction_info_bcs_roundtrip(txn_info in any::()) { [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^ the trait `_IMPL_ARBITRARY_FOR_AccessPath::_proptest::arbitrary::Arbitrary` is not implemented for `KeptVMStatus` [INFO] [stdout] | [INFO] [stdout] = help: the following other types implement trait `_IMPL_ARBITRARY_FOR_AccessPath::_proptest::arbitrary::Arbitrary`: [INFO] [stdout] () [INFO] [stdout] (Sender, std::sync::mpsc::IntoIter) [INFO] [stdout] (Sender, std::sync::mpsc::Receiver) [INFO] [stdout] (SyncSender, std::sync::mpsc::IntoIter) [INFO] [stdout] (SyncSender, std::sync::mpsc::Receiver) [INFO] [stdout] (T0, T1) [INFO] [stdout] (T0, T1, T2) [INFO] [stdout] (T0, T1, T2, T3) [INFO] [stdout] and 268 others [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0277]: the trait bound `diem_crypto::HashValue: _IMPL_ARBITRARY_FOR_AccessPath::_proptest::arbitrary::Arbitrary` is not satisfied [INFO] [stdout] --> src/unit_tests/transaction_test.rs:130:63 [INFO] [stdout] | [INFO] [stdout] 130 | fn transaction_with_proof_bcs_roundtrip(txn_with_proof in any::()) { [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ the trait `_IMPL_ARBITRARY_FOR_AccessPath::_proptest::arbitrary::Arbitrary` is not implemented for `diem_crypto::HashValue` [INFO] [stdout] | [INFO] [stdout] = help: the following other types implement trait `_IMPL_ARBITRARY_FOR_AccessPath::_proptest::arbitrary::Arbitrary`: [INFO] [stdout] () [INFO] [stdout] (Sender, std::sync::mpsc::IntoIter) [INFO] [stdout] (Sender, std::sync::mpsc::Receiver) [INFO] [stdout] (SyncSender, std::sync::mpsc::IntoIter) [INFO] [stdout] (SyncSender, std::sync::mpsc::Receiver) [INFO] [stdout] (T0, T1) [INFO] [stdout] (T0, T1, T2) [INFO] [stdout] (T0, T1, T2, T3) [INFO] [stdout] and 268 others [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0277]: the trait bound `KeptVMStatus: _IMPL_ARBITRARY_FOR_AccessPath::_proptest::arbitrary::Arbitrary` is not satisfied [INFO] [stdout] --> src/unit_tests/transaction_test.rs:130:63 [INFO] [stdout] | [INFO] [stdout] 130 | fn transaction_with_proof_bcs_roundtrip(txn_with_proof in any::()) { [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ the trait `_IMPL_ARBITRARY_FOR_AccessPath::_proptest::arbitrary::Arbitrary` is not implemented for `KeptVMStatus` [INFO] [stdout] | [INFO] [stdout] = help: the following other types implement trait `_IMPL_ARBITRARY_FOR_AccessPath::_proptest::arbitrary::Arbitrary`: [INFO] [stdout] () [INFO] [stdout] (Sender, std::sync::mpsc::IntoIter) [INFO] [stdout] (Sender, std::sync::mpsc::Receiver) [INFO] [stdout] (SyncSender, std::sync::mpsc::IntoIter) [INFO] [stdout] (SyncSender, std::sync::mpsc::Receiver) [INFO] [stdout] (T0, T1) [INFO] [stdout] (T0, T1, T2) [INFO] [stdout] (T0, T1, T2, T3) [INFO] [stdout] and 268 others [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0277]: the trait bound `diem_crypto::HashValue: _IMPL_ARBITRARY_FOR_AccessPath::_proptest::arbitrary::Arbitrary` is not satisfied [INFO] [stdout] --> src/unit_tests/transaction_test.rs:135:67 [INFO] [stdout] | [INFO] [stdout] 135 | fn acct_txns_with_proof_bcs_roundtrip(acct_txns_with_proof in any::()) { [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ the trait `_IMPL_ARBITRARY_FOR_AccessPath::_proptest::arbitrary::Arbitrary` is not implemented for `diem_crypto::HashValue` [INFO] [stdout] | [INFO] [stdout] = help: the following other types implement trait `_IMPL_ARBITRARY_FOR_AccessPath::_proptest::arbitrary::Arbitrary`: [INFO] [stdout] () [INFO] [stdout] (Sender, std::sync::mpsc::IntoIter) [INFO] [stdout] (Sender, std::sync::mpsc::Receiver) [INFO] [stdout] (SyncSender, std::sync::mpsc::IntoIter) [INFO] [stdout] (SyncSender, std::sync::mpsc::Receiver) [INFO] [stdout] (T0, T1) [INFO] [stdout] (T0, T1, T2) [INFO] [stdout] (T0, T1, T2, T3) [INFO] [stdout] and 268 others [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0277]: the trait bound `KeptVMStatus: _IMPL_ARBITRARY_FOR_AccessPath::_proptest::arbitrary::Arbitrary` is not satisfied [INFO] [stdout] --> src/unit_tests/transaction_test.rs:135:67 [INFO] [stdout] | [INFO] [stdout] 135 | fn acct_txns_with_proof_bcs_roundtrip(acct_txns_with_proof in any::()) { [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ the trait `_IMPL_ARBITRARY_FOR_AccessPath::_proptest::arbitrary::Arbitrary` is not implemented for `KeptVMStatus` [INFO] [stdout] | [INFO] [stdout] = help: the following other types implement trait `_IMPL_ARBITRARY_FOR_AccessPath::_proptest::arbitrary::Arbitrary`: [INFO] [stdout] () [INFO] [stdout] (Sender, std::sync::mpsc::IntoIter) [INFO] [stdout] (Sender, std::sync::mpsc::Receiver) [INFO] [stdout] (SyncSender, std::sync::mpsc::IntoIter) [INFO] [stdout] (SyncSender, std::sync::mpsc::Receiver) [INFO] [stdout] (T0, T1) [INFO] [stdout] (T0, T1, T2) [INFO] [stdout] (T0, T1, T2, T3) [INFO] [stdout] and 268 others [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0277]: the trait bound `diem_crypto::HashValue: _IMPL_ARBITRARY_FOR_AccessPath::_proptest::arbitrary::Arbitrary` is not satisfied [INFO] [stdout] --> src/unit_tests/trusted_state_test.rs:240:78 [INFO] [stdout] | [INFO] [stdout] 240 | fn test_trusted_state_roundtrip_canonical_serialization(trusted_state in any::()) { [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^ the trait `_IMPL_ARBITRARY_FOR_AccessPath::_proptest::arbitrary::Arbitrary` is not implemented for `diem_crypto::HashValue` [INFO] [stdout] | [INFO] [stdout] = help: the following other types implement trait `_IMPL_ARBITRARY_FOR_AccessPath::_proptest::arbitrary::Arbitrary`: [INFO] [stdout] () [INFO] [stdout] (Sender, std::sync::mpsc::IntoIter) [INFO] [stdout] (Sender, std::sync::mpsc::Receiver) [INFO] [stdout] (SyncSender, std::sync::mpsc::IntoIter) [INFO] [stdout] (SyncSender, std::sync::mpsc::Receiver) [INFO] [stdout] (T0, T1) [INFO] [stdout] (T0, T1, T2) [INFO] [stdout] (T0, T1, T2, T3) [INFO] [stdout] and 268 others [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0277]: the trait bound `move_core_types::account_address::AccountAddress: _IMPL_ARBITRARY_FOR_AccessPath::_proptest::arbitrary::Arbitrary` is not satisfied [INFO] [stdout] --> src/unit_tests/trusted_state_test.rs:240:78 [INFO] [stdout] | [INFO] [stdout] 240 | fn test_trusted_state_roundtrip_canonical_serialization(trusted_state in any::()) { [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^ the trait `_IMPL_ARBITRARY_FOR_AccessPath::_proptest::arbitrary::Arbitrary` is not implemented for `move_core_types::account_address::AccountAddress`, which is required by `std::collections::BTreeMap: _IMPL_ARBITRARY_FOR_AccessPath::_proptest::arbitrary::Arbitrary` [INFO] [stdout] | [INFO] [stdout] = help: the following other types implement trait `_IMPL_ARBITRARY_FOR_AccessPath::_proptest::arbitrary::Arbitrary`: [INFO] [stdout] () [INFO] [stdout] (Sender, std::sync::mpsc::IntoIter) [INFO] [stdout] (Sender, std::sync::mpsc::Receiver) [INFO] [stdout] (SyncSender, std::sync::mpsc::IntoIter) [INFO] [stdout] (SyncSender, std::sync::mpsc::Receiver) [INFO] [stdout] (T0, T1) [INFO] [stdout] (T0, T1, T2) [INFO] [stdout] (T0, T1, T2, T3) [INFO] [stdout] and 268 others [INFO] [stdout] = note: required for `std::collections::BTreeMap` to implement `_IMPL_ARBITRARY_FOR_AccessPath::_proptest::arbitrary::Arbitrary` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0277]: the trait bound `diem_crypto::ed25519::Ed25519PublicKey: _IMPL_ARBITRARY_FOR_AccessPath::_proptest::arbitrary::Arbitrary` is not satisfied [INFO] [stdout] --> src/unit_tests/trusted_state_test.rs:240:78 [INFO] [stdout] | [INFO] [stdout] 240 | fn test_trusted_state_roundtrip_canonical_serialization(trusted_state in any::()) { [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^ the trait `_IMPL_ARBITRARY_FOR_AccessPath::_proptest::arbitrary::Arbitrary` is not implemented for `diem_crypto::ed25519::Ed25519PublicKey` [INFO] [stdout] | [INFO] [stdout] = help: the following other types implement trait `_IMPL_ARBITRARY_FOR_AccessPath::_proptest::arbitrary::Arbitrary`: [INFO] [stdout] () [INFO] [stdout] (Sender, std::sync::mpsc::IntoIter) [INFO] [stdout] (Sender, std::sync::mpsc::Receiver) [INFO] [stdout] (SyncSender, std::sync::mpsc::IntoIter) [INFO] [stdout] (SyncSender, std::sync::mpsc::Receiver) [INFO] [stdout] (T0, T1) [INFO] [stdout] (T0, T1, T2) [INFO] [stdout] (T0, T1, T2, T3) [INFO] [stdout] and 268 others [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0277]: the trait bound `diem_crypto::HashValue: _IMPL_ARBITRARY_FOR_AccessPath::_proptest::arbitrary::Arbitrary` is not satisfied [INFO] [stdout] --> src/unit_tests/trusted_state_test.rs:245:51 [INFO] [stdout] | [INFO] [stdout] 245 | fn test_trusted_state_hasher(trusted_state in any::()) { [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^ the trait `_IMPL_ARBITRARY_FOR_AccessPath::_proptest::arbitrary::Arbitrary` is not implemented for `diem_crypto::HashValue` [INFO] [stdout] | [INFO] [stdout] = help: the following other types implement trait `_IMPL_ARBITRARY_FOR_AccessPath::_proptest::arbitrary::Arbitrary`: [INFO] [stdout] () [INFO] [stdout] (Sender, std::sync::mpsc::IntoIter) [INFO] [stdout] (Sender, std::sync::mpsc::Receiver) [INFO] [stdout] (SyncSender, std::sync::mpsc::IntoIter) [INFO] [stdout] (SyncSender, std::sync::mpsc::Receiver) [INFO] [stdout] (T0, T1) [INFO] [stdout] (T0, T1, T2) [INFO] [stdout] (T0, T1, T2, T3) [INFO] [stdout] and 268 others [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0277]: the trait bound `move_core_types::account_address::AccountAddress: _IMPL_ARBITRARY_FOR_AccessPath::_proptest::arbitrary::Arbitrary` is not satisfied [INFO] [stdout] --> src/unit_tests/trusted_state_test.rs:245:51 [INFO] [stdout] | [INFO] [stdout] 245 | fn test_trusted_state_hasher(trusted_state in any::()) { [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^ the trait `_IMPL_ARBITRARY_FOR_AccessPath::_proptest::arbitrary::Arbitrary` is not implemented for `move_core_types::account_address::AccountAddress`, which is required by `std::collections::BTreeMap: _IMPL_ARBITRARY_FOR_AccessPath::_proptest::arbitrary::Arbitrary` [INFO] [stdout] | [INFO] [stdout] = help: the following other types implement trait `_IMPL_ARBITRARY_FOR_AccessPath::_proptest::arbitrary::Arbitrary`: [INFO] [stdout] () [INFO] [stdout] (Sender, std::sync::mpsc::IntoIter) [INFO] [stdout] (Sender, std::sync::mpsc::Receiver) [INFO] [stdout] (SyncSender, std::sync::mpsc::IntoIter) [INFO] [stdout] (SyncSender, std::sync::mpsc::Receiver) [INFO] [stdout] (T0, T1) [INFO] [stdout] (T0, T1, T2) [INFO] [stdout] (T0, T1, T2, T3) [INFO] [stdout] and 268 others [INFO] [stdout] = note: required for `std::collections::BTreeMap` to implement `_IMPL_ARBITRARY_FOR_AccessPath::_proptest::arbitrary::Arbitrary` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0277]: the trait bound `diem_crypto::ed25519::Ed25519PublicKey: _IMPL_ARBITRARY_FOR_AccessPath::_proptest::arbitrary::Arbitrary` is not satisfied [INFO] [stdout] --> src/unit_tests/trusted_state_test.rs:245:51 [INFO] [stdout] | [INFO] [stdout] 245 | fn test_trusted_state_hasher(trusted_state in any::()) { [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^ the trait `_IMPL_ARBITRARY_FOR_AccessPath::_proptest::arbitrary::Arbitrary` is not implemented for `diem_crypto::ed25519::Ed25519PublicKey` [INFO] [stdout] | [INFO] [stdout] = help: the following other types implement trait `_IMPL_ARBITRARY_FOR_AccessPath::_proptest::arbitrary::Arbitrary`: [INFO] [stdout] () [INFO] [stdout] (Sender, std::sync::mpsc::IntoIter) [INFO] [stdout] (Sender, std::sync::mpsc::Receiver) [INFO] [stdout] (SyncSender, std::sync::mpsc::IntoIter) [INFO] [stdout] (SyncSender, std::sync::mpsc::Receiver) [INFO] [stdout] (T0, T1) [INFO] [stdout] (T0, T1, T2) [INFO] [stdout] (T0, T1, T2, T3) [INFO] [stdout] and 268 others [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0599]: no function or associated item named `dummy_signature` found for struct `diem_crypto::ed25519::Ed25519Signature` in the current scope [INFO] [stdout] --> src/unit_tests/trusted_state_test.rs:518:68 [INFO] [stdout] | [INFO] [stdout] 518 | *bad_sigs.values_mut().next().unwrap() = Ed25519Signature::dummy_signature(); [INFO] [stdout] | ^^^^^^^^^^^^^^^ function or associated item not found in `Ed25519Signature` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0277]: the trait bound `move_core_types::account_address::AccountAddress: _IMPL_ARBITRARY_FOR_AccessPath::_proptest::arbitrary::Arbitrary` is not satisfied [INFO] [stdout] --> src/unit_tests/validator_set_test.rs:12:58 [INFO] [stdout] | [INFO] [stdout] 12 | fn test_validator_set_canonical_serialization(set in any::()) { [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^ the trait `_IMPL_ARBITRARY_FOR_AccessPath::_proptest::arbitrary::Arbitrary` is not implemented for `move_core_types::account_address::AccountAddress` [INFO] [stdout] | [INFO] [stdout] = help: the following other types implement trait `_IMPL_ARBITRARY_FOR_AccessPath::_proptest::arbitrary::Arbitrary`: [INFO] [stdout] () [INFO] [stdout] (Sender, std::sync::mpsc::IntoIter) [INFO] [stdout] (Sender, std::sync::mpsc::Receiver) [INFO] [stdout] (SyncSender, std::sync::mpsc::IntoIter) [INFO] [stdout] (SyncSender, std::sync::mpsc::Receiver) [INFO] [stdout] (T0, T1) [INFO] [stdout] (T0, T1, T2) [INFO] [stdout] (T0, T1, T2, T3) [INFO] [stdout] and 268 others [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0277]: the trait bound `diem_crypto::ed25519::Ed25519PublicKey: _IMPL_ARBITRARY_FOR_AccessPath::_proptest::arbitrary::Arbitrary` is not satisfied [INFO] [stdout] --> src/unit_tests/validator_set_test.rs:12:58 [INFO] [stdout] | [INFO] [stdout] 12 | fn test_validator_set_canonical_serialization(set in any::()) { [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^ the trait `_IMPL_ARBITRARY_FOR_AccessPath::_proptest::arbitrary::Arbitrary` is not implemented for `diem_crypto::ed25519::Ed25519PublicKey` [INFO] [stdout] | [INFO] [stdout] = help: the following other types implement trait `_IMPL_ARBITRARY_FOR_AccessPath::_proptest::arbitrary::Arbitrary`: [INFO] [stdout] () [INFO] [stdout] (Sender, std::sync::mpsc::IntoIter) [INFO] [stdout] (Sender, std::sync::mpsc::Receiver) [INFO] [stdout] (SyncSender, std::sync::mpsc::IntoIter) [INFO] [stdout] (SyncSender, std::sync::mpsc::Receiver) [INFO] [stdout] (T0, T1) [INFO] [stdout] (T0, T1, T2) [INFO] [stdout] (T0, T1, T2, T3) [INFO] [stdout] and 268 others [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `traits` [INFO] [stdout] --> src/proptest_types.rs:33:5 [INFO] [stdout] | [INFO] [stdout] 33 | traits::*, [INFO] [stdout] | ^^^^^^ [INFO] [stdout] | [INFO] [stdout] = note: `#[warn(unused_imports)]` on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variable does not need to be mutable [INFO] [stdout] --> src/proptest_types.rs:260:13 [INFO] [stdout] | [INFO] [stdout] 260 | let mut sender_info = universe.get_account_info_mut(sender_index); [INFO] [stdout] | ----^^^^^^^^^^^ [INFO] [stdout] | | [INFO] [stdout] | help: remove this `mut` [INFO] [stdout] | [INFO] [stdout] = note: `#[warn(unused_mut)]` on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: aborting due to 160 previous errors; 4 warnings emitted [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] Some errors have detailed explanations: E0277, E0425, E0432, E0599. [INFO] [stdout] [INFO] [stdout] For more information about an error, try `rustc --explain E0277`. [INFO] [stdout] [INFO] [stderr] error: could not compile `diem-types` (lib test) due to 161 previous errors; 4 warnings emitted [INFO] running `Command { std: "docker" "inspect" "ebe10189aa8b3f4a58706f4ec07d7057d04be75790f9830f74adf5b0282dfdff", kill_on_drop: false }` [INFO] running `Command { std: "docker" "rm" "-f" "ebe10189aa8b3f4a58706f4ec07d7057d04be75790f9830f74adf5b0282dfdff", kill_on_drop: false }` [INFO] [stdout] ebe10189aa8b3f4a58706f4ec07d7057d04be75790f9830f74adf5b0282dfdff