[INFO] fetching crate diem-types 0.0.3...
[INFO] checking diem-types-0.0.3 against try#31561a63598a0f21fc74c024747ef1310fdd2eb2 for pr-133536
[INFO] extracting crate diem-types 0.0.3 into /workspace/builds/worker-5-tc2/source
[INFO] validating manifest of crates.io crate diem-types 0.0.3 on toolchain 31561a63598a0f21fc74c024747ef1310fdd2eb2
[INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+31561a63598a0f21fc74c024747ef1310fdd2eb2" "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-5-tc2/source/Cargo.toml
[INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+31561a63598a0f21fc74c024747ef1310fdd2eb2" "generate-lockfile" "--manifest-path" "Cargo.toml", kill_on_drop: false }`
[INFO] [stderr]     Updating crates.io index
[INFO] [stderr]     Blocking waiting for file lock on package cache
[INFO] [stderr]      Locking 129 packages to latest compatible versions
[INFO] [stderr]       Adding aes-gcm v0.8.0 (available: v0.10.3)
[INFO] [stderr]       Adding itertools v0.10.5 (available: v0.13.0)
[INFO] [stderr]       Adding proptest-derive v0.3.0 (available: v0.5.0)
[INFO] [stderr]       Adding subtle v2.4.1 (available: v2.6.1)
[INFO] [stderr]       Adding thiserror v1.0.69 (available: v2.0.3)
[INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+31561a63598a0f21fc74c024747ef1310fdd2eb2" "fetch" "--manifest-path" "Cargo.toml", kill_on_drop: false }`
[INFO] [stderr]     Blocking waiting for file lock on package cache
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-5-tc2/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-5-tc2/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:4a844ea9eb2546a2d2c7022eacef16ef2e8229c7fbb2c7d4d55a9ceca922f72d" "/opt/rustwide/cargo-home/bin/cargo" "+31561a63598a0f21fc74c024747ef1310fdd2eb2" "metadata" "--no-deps" "--format-version=1", kill_on_drop: false }`
[INFO] [stdout] b05aa5dec0d75c97e7d9e435444d9002fbde682c39fd95772dfded9d1b64577b
[INFO] running `Command { std: "docker" "start" "-a" "b05aa5dec0d75c97e7d9e435444d9002fbde682c39fd95772dfded9d1b64577b", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "inspect" "b05aa5dec0d75c97e7d9e435444d9002fbde682c39fd95772dfded9d1b64577b", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "b05aa5dec0d75c97e7d9e435444d9002fbde682c39fd95772dfded9d1b64577b", kill_on_drop: false }`
[INFO] [stdout] b05aa5dec0d75c97e7d9e435444d9002fbde682c39fd95772dfded9d1b64577b
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-5-tc2/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-5-tc2/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:4a844ea9eb2546a2d2c7022eacef16ef2e8229c7fbb2c7d4d55a9ceca922f72d" "/opt/rustwide/cargo-home/bin/cargo" "+31561a63598a0f21fc74c024747ef1310fdd2eb2" "check" "--frozen" "--all" "--all-targets" "--message-format=json", kill_on_drop: false }`
[INFO] [stdout] 080e94e62007f3797ed5a415c5f20057a87cefbcccb7104d8b4a34210f5a9ec2
[INFO] running `Command { std: "docker" "start" "-a" "080e94e62007f3797ed5a415c5f20057a87cefbcccb7104d8b4a34210f5a9ec2", kill_on_drop: false }`
[INFO] [stderr]    Compiling typenum v1.17.0
[INFO] [stderr]    Compiling version_check v0.9.5
[INFO] [stderr]    Compiling libc v0.2.167
[INFO] [stderr]     Checking subtle v2.4.1
[INFO] [stderr]     Checking byteorder v1.5.0
[INFO] [stderr]     Checking opaque-debug v0.3.1
[INFO] [stderr]    Compiling thiserror v1.0.69
[INFO] [stderr]     Checking once_cell v1.20.2
[INFO] [stderr]    Compiling autocfg v1.4.0
[INFO] [stderr]    Compiling libm v0.2.11
[INFO] [stderr]     Checking cpuid-bool v0.2.0
[INFO] [stderr]    Compiling syn v1.0.109
[INFO] [stderr]    Compiling proc-macro2 v0.4.30
[INFO] [stderr]     Checking fiat-crypto v0.1.20
[INFO] [stderr]    Compiling anyhow v1.0.93
[INFO] [stderr]    Compiling syn v2.0.90
[INFO] [stderr]     Checking memchr v2.7.4
[INFO] [stderr]    Compiling crunchy v0.2.2
[INFO] [stderr]    Compiling ref-cast v1.0.23
[INFO] [stderr]     Checking signature v1.6.4
[INFO] [stderr]    Compiling tiny-keccak v2.0.2
[INFO] [stderr]    Compiling unicode-xid v0.1.0
[INFO] [stderr]     Checking cpufeatures v0.2.16
[INFO] [stderr]     Checking regex-syntax v0.8.5
[INFO] [stderr]    Compiling serde_json v1.0.133
[INFO] [stderr]     Checking mirai-annotations v1.12.0
[INFO] [stderr]    Compiling generic-array v0.14.7
[INFO] [stderr]    Compiling syn v0.15.44
[INFO] [stderr]     Checking hex v0.4.3
[INFO] [stderr]     Checking tempfile v3.14.0
[INFO] [stderr]    Compiling num-traits v0.2.19
[INFO] [stderr]     Checking aho-corasick v1.1.3
[INFO] [stderr]     Checking either v1.13.0
[INFO] [stderr]     Checking iana-time-zone v0.1.61
[INFO] [stderr]     Checking ryu v1.0.18
[INFO] [stderr]     Checking bit-vec v0.6.3
[INFO] [stderr]     Checking fnv v1.0.7
[INFO] [stderr]     Checking quick-error v1.2.3
[INFO] [stderr]     Checking bytes v1.9.0
[INFO] [stderr]     Checking static_assertions v1.1.0
[INFO] [stderr]     Checking itoa v1.0.14
[INFO] [stderr]     Checking itertools v0.10.5
[INFO] [stderr]     Checking unarray v0.1.4
[INFO] [stderr]     Checking lazy_static v1.5.0
[INFO] [stderr]    Compiling quote v0.6.13
[INFO] [stderr]     Checking bit-set v0.5.3
[INFO] [stderr]     Checking getrandom v0.2.15
[INFO] [stderr]     Checking wait-timeout v0.2.0
[INFO] [stderr]     Checking rusty-fork v0.3.0
[INFO] [stderr]     Checking rand_core v0.6.4
[INFO] [stderr]     Checking rand_xorshift v0.3.0
[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 chrono v0.4.38
[INFO] [stderr]     Checking polyval v0.4.5
[INFO] [stderr]     Checking hmac v0.10.1
[INFO] [stderr]     Checking sha2 v0.9.9
[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.9
[INFO] [stderr]    Compiling diem-crypto-derive v0.0.3
[INFO] [stderr]     Checking regex v1.11.1
[INFO] [stderr]    Compiling serde_derive v1.0.215
[INFO] [stderr]    Compiling zerocopy-derive v0.7.35
[INFO] [stderr]    Compiling thiserror-impl v1.0.69
[INFO] [stderr]    Compiling zeroize_derive v1.4.2
[INFO] [stderr]    Compiling ref-cast-impl v1.0.23
[INFO] [stderr]     Checking zeroize v1.8.1
[INFO] [stderr]    Compiling proptest-derive v0.3.0
[INFO] [stderr]     Checking zerocopy v0.7.35
[INFO] [stderr]     Checking curve25519-dalek-fiat v0.1.0
[INFO] [stderr]     Checking ppv-lite86 v0.2.20
[INFO] [stderr]     Checking x25519-dalek-fiat v0.1.0
[INFO] [stderr]     Checking rand_chacha v0.3.1
[INFO] [stderr]     Checking rand v0.8.5
[INFO] [stderr]     Checking proptest v1.5.0
[INFO] [stderr]     Checking serde v1.0.215
[INFO] [stderr]     Checking serde_bytes v0.11.15
[INFO] [stderr]     Checking ed25519 v1.5.3
[INFO] [stderr]     Checking bcs v0.1.6
[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] 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] 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] warning: unexpected `cfg` condition name: `mirai`
[INFO] [stdout]   --> src/nibble/nibble_path/mod.rs:90:9
[INFO] [stdout]    |
[INFO] [stdout] 90 |         checked_precondition!(bytes.len() <= ROOT_NIBBLE_HEIGHT / 2);
[INFO] [stdout]    |         ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout]    |
[INFO] [stdout]    = help: consider using a Cargo feature instead
[INFO] [stdout]    = help: or consider adding in `Cargo.toml` the `check-cfg` lint config for the lint:
[INFO] [stdout]             [lints.rust]
[INFO] [stdout]             unexpected_cfgs = { level = "warn", check-cfg = ['cfg(mirai)'] }
[INFO] [stdout]    = help: or consider adding `println!("cargo::rustc-check-cfg=cfg(mirai)");` to the top of the `build.rs`
[INFO] [stdout]    = note: see <https://doc.rust-lang.org/nightly/rustc/check-cfg/cargo-specifics.html> for more information about checking conditional configuration
[INFO] [stdout]    = note: `#[warn(unexpected_cfgs)]` on by default
[INFO] [stdout]    = note: this warning originates in the macro `checked_precondition` (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unexpected `cfg` condition name: `mirai`
[INFO] [stdout]   --> src/nibble/nibble_path/mod.rs:97:9
[INFO] [stdout]    |
[INFO] [stdout] 97 |         checked_precondition!(bytes.len() <= ROOT_NIBBLE_HEIGHT / 2);
[INFO] [stdout]    |         ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout]    |
[INFO] [stdout]    = help: consider using a Cargo feature instead
[INFO] [stdout]    = help: or consider adding in `Cargo.toml` the `check-cfg` lint config for the lint:
[INFO] [stdout]             [lints.rust]
[INFO] [stdout]             unexpected_cfgs = { level = "warn", check-cfg = ['cfg(mirai)'] }
[INFO] [stdout]    = help: or consider adding `println!("cargo::rustc-check-cfg=cfg(mirai)");` to the top of the `build.rs`
[INFO] [stdout]    = note: see <https://doc.rust-lang.org/nightly/rustc/check-cfg/cargo-specifics.html> for more information about checking conditional configuration
[INFO] [stdout]    = note: this warning originates in the macro `checked_precondition` (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unexpected `cfg` condition name: `mirai`
[INFO] [stdout]    --> src/nibble/nibble_path/mod.rs:162:9
[INFO] [stdout]     |
[INFO] [stdout] 162 |         assume!(self.num_nibbles <= ROOT_NIBBLE_HEIGHT); // invariant
[INFO] [stdout]     |         ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout]     = help: consider using a Cargo feature instead
[INFO] [stdout]     = help: or consider adding in `Cargo.toml` the `check-cfg` lint config for the lint:
[INFO] [stdout]              [lints.rust]
[INFO] [stdout]              unexpected_cfgs = { level = "warn", check-cfg = ['cfg(mirai)'] }
[INFO] [stdout]     = help: or consider adding `println!("cargo::rustc-check-cfg=cfg(mirai)");` to the top of the `build.rs`
[INFO] [stdout]     = note: see <https://doc.rust-lang.org/nightly/rustc/check-cfg/cargo-specifics.html> for more information about checking conditional configuration
[INFO] [stdout]     = note: this warning originates in the macro `assume` (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unexpected `cfg` condition name: `mirai`
[INFO] [stdout]    --> src/nibble/nibble_path/mod.rs:171:9
[INFO] [stdout]     |
[INFO] [stdout] 171 |         assume!(self.num_nibbles <= ROOT_NIBBLE_HEIGHT); // invariant
[INFO] [stdout]     |         ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout]     = help: consider using a Cargo feature instead
[INFO] [stdout]     = help: or consider adding in `Cargo.toml` the `check-cfg` lint config for the lint:
[INFO] [stdout]              [lints.rust]
[INFO] [stdout]              unexpected_cfgs = { level = "warn", check-cfg = ['cfg(mirai)'] }
[INFO] [stdout]     = help: or consider adding `println!("cargo::rustc-check-cfg=cfg(mirai)");` to the top of the `build.rs`
[INFO] [stdout]     = note: see <https://doc.rust-lang.org/nightly/rustc/check-cfg/cargo-specifics.html> for more information about checking conditional configuration
[INFO] [stdout]     = note: this warning originates in the macro `assume` (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unexpected `cfg` condition name: `mirai`
[INFO] [stdout]    --> src/nibble/nibble_path/mod.rs:268:9
[INFO] [stdout]     |
[INFO] [stdout] 268 |         precondition!(start <= end);
[INFO] [stdout]     |         ^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout]     = help: consider using a Cargo feature instead
[INFO] [stdout]     = help: or consider adding in `Cargo.toml` the `check-cfg` lint config for the lint:
[INFO] [stdout]              [lints.rust]
[INFO] [stdout]              unexpected_cfgs = { level = "warn", check-cfg = ['cfg(mirai)'] }
[INFO] [stdout]     = help: or consider adding `println!("cargo::rustc-check-cfg=cfg(mirai)");` to the top of the `build.rs`
[INFO] [stdout]     = note: see <https://doc.rust-lang.org/nightly/rustc/check-cfg/cargo-specifics.html> for more information about checking conditional configuration
[INFO] [stdout]     = note: this warning originates in the macro `precondition` (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unexpected `cfg` condition name: `mirai`
[INFO] [stdout]    --> src/nibble/nibble_path/mod.rs:269:9
[INFO] [stdout]     |
[INFO] [stdout] 269 |         precondition!(start <= ROOT_NIBBLE_HEIGHT);
[INFO] [stdout]     |         ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout]     = help: consider using a Cargo feature instead
[INFO] [stdout]     = help: or consider adding in `Cargo.toml` the `check-cfg` lint config for the lint:
[INFO] [stdout]              [lints.rust]
[INFO] [stdout]              unexpected_cfgs = { level = "warn", check-cfg = ['cfg(mirai)'] }
[INFO] [stdout]     = help: or consider adding `println!("cargo::rustc-check-cfg=cfg(mirai)");` to the top of the `build.rs`
[INFO] [stdout]     = note: see <https://doc.rust-lang.org/nightly/rustc/check-cfg/cargo-specifics.html> for more information about checking conditional configuration
[INFO] [stdout]     = note: this warning originates in the macro `precondition` (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unexpected `cfg` condition name: `mirai`
[INFO] [stdout]    --> src/nibble/nibble_path/mod.rs:270:9
[INFO] [stdout]     |
[INFO] [stdout] 270 |         precondition!(end <= ROOT_NIBBLE_HEIGHT);
[INFO] [stdout]     |         ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout]     = help: consider using a Cargo feature instead
[INFO] [stdout]     = help: or consider adding in `Cargo.toml` the `check-cfg` lint config for the lint:
[INFO] [stdout]              [lints.rust]
[INFO] [stdout]              unexpected_cfgs = { level = "warn", check-cfg = ['cfg(mirai)'] }
[INFO] [stdout]     = help: or consider adding `println!("cargo::rustc-check-cfg=cfg(mirai)");` to the top of the `build.rs`
[INFO] [stdout]     = note: see <https://doc.rust-lang.org/nightly/rustc/check-cfg/cargo-specifics.html> for more information about checking conditional configuration
[INFO] [stdout]     = note: this warning originates in the macro `precondition` (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unexpected `cfg` condition name: `mirai`
[INFO] [stdout]    --> src/nibble/nibble_path/mod.rs:280:9
[INFO] [stdout]     |
[INFO] [stdout] 280 |         assume!(self.start <= self.pos.start); // invariant
[INFO] [stdout]     |         ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout]     = help: consider using a Cargo feature instead
[INFO] [stdout]     = help: or consider adding in `Cargo.toml` the `check-cfg` lint config for the lint:
[INFO] [stdout]              [lints.rust]
[INFO] [stdout]              unexpected_cfgs = { level = "warn", check-cfg = ['cfg(mirai)'] }
[INFO] [stdout]     = help: or consider adding `println!("cargo::rustc-check-cfg=cfg(mirai)");` to the top of the `build.rs`
[INFO] [stdout]     = note: see <https://doc.rust-lang.org/nightly/rustc/check-cfg/cargo-specifics.html> for more information about checking conditional configuration
[INFO] [stdout]     = note: this warning originates in the macro `assume` (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unexpected `cfg` condition name: `mirai`
[INFO] [stdout]    --> src/nibble/nibble_path/mod.rs:281:9
[INFO] [stdout]     |
[INFO] [stdout] 281 |         assume!(self.pos.start <= ROOT_NIBBLE_HEIGHT); // invariant
[INFO] [stdout]     |         ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout]     = help: consider using a Cargo feature instead
[INFO] [stdout]     = help: or consider adding in `Cargo.toml` the `check-cfg` lint config for the lint:
[INFO] [stdout]              [lints.rust]
[INFO] [stdout]              unexpected_cfgs = { level = "warn", check-cfg = ['cfg(mirai)'] }
[INFO] [stdout]     = help: or consider adding `println!("cargo::rustc-check-cfg=cfg(mirai)");` to the top of the `build.rs`
[INFO] [stdout]     = note: see <https://doc.rust-lang.org/nightly/rustc/check-cfg/cargo-specifics.html> for more information about checking conditional configuration
[INFO] [stdout]     = note: this warning originates in the macro `assume` (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unexpected `cfg` condition name: `mirai`
[INFO] [stdout]    --> src/nibble/nibble_path/mod.rs:287:9
[INFO] [stdout]     |
[INFO] [stdout] 287 |         assume!(self.pos.start <= self.pos.end); // invariant
[INFO] [stdout]     |         ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout]     = help: consider using a Cargo feature instead
[INFO] [stdout]     = help: or consider adding in `Cargo.toml` the `check-cfg` lint config for the lint:
[INFO] [stdout]              [lints.rust]
[INFO] [stdout]              unexpected_cfgs = { level = "warn", check-cfg = ['cfg(mirai)'] }
[INFO] [stdout]     = help: or consider adding `println!("cargo::rustc-check-cfg=cfg(mirai)");` to the top of the `build.rs`
[INFO] [stdout]     = note: see <https://doc.rust-lang.org/nightly/rustc/check-cfg/cargo-specifics.html> for more information about checking conditional configuration
[INFO] [stdout]     = note: this warning originates in the macro `assume` (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unexpected `cfg` condition name: `mirai`
[INFO] [stdout]    --> src/nibble/nibble_path/mod.rs:288:9
[INFO] [stdout]     |
[INFO] [stdout] 288 |         assume!(self.pos.end <= ROOT_NIBBLE_HEIGHT); // invariant
[INFO] [stdout]     |         ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout]     = help: consider using a Cargo feature instead
[INFO] [stdout]     = help: or consider adding in `Cargo.toml` the `check-cfg` lint config for the lint:
[INFO] [stdout]              [lints.rust]
[INFO] [stdout]              unexpected_cfgs = { level = "warn", check-cfg = ['cfg(mirai)'] }
[INFO] [stdout]     = help: or consider adding `println!("cargo::rustc-check-cfg=cfg(mirai)");` to the top of the `build.rs`
[INFO] [stdout]     = note: see <https://doc.rust-lang.org/nightly/rustc/check-cfg/cargo-specifics.html> for more information about checking conditional configuration
[INFO] [stdout]     = note: this warning originates in the macro `assume` (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unexpected `cfg` condition name: `mirai`
[INFO] [stdout]    --> src/nibble/nibble_path/mod.rs:294:9
[INFO] [stdout]     |
[INFO] [stdout] 294 |         assume!(self.pos.start <= self.pos.end); // invariant
[INFO] [stdout]     |         ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout]     = help: consider using a Cargo feature instead
[INFO] [stdout]     = help: or consider adding in `Cargo.toml` the `check-cfg` lint config for the lint:
[INFO] [stdout]              [lints.rust]
[INFO] [stdout]              unexpected_cfgs = { level = "warn", check-cfg = ['cfg(mirai)'] }
[INFO] [stdout]     = help: or consider adding `println!("cargo::rustc-check-cfg=cfg(mirai)");` to the top of the `build.rs`
[INFO] [stdout]     = note: see <https://doc.rust-lang.org/nightly/rustc/check-cfg/cargo-specifics.html> for more information about checking conditional configuration
[INFO] [stdout]     = note: this warning originates in the macro `assume` (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unexpected `cfg` condition name: `mirai`
[INFO] [stdout]    --> src/nibble/nibble_path/mod.rs:295:9
[INFO] [stdout]     |
[INFO] [stdout] 295 |         assume!(self.pos.end <= ROOT_NIBBLE_HEIGHT); // invariant
[INFO] [stdout]     |         ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout]     = help: consider using a Cargo feature instead
[INFO] [stdout]     = help: or consider adding in `Cargo.toml` the `check-cfg` lint config for the lint:
[INFO] [stdout]              [lints.rust]
[INFO] [stdout]              unexpected_cfgs = { level = "warn", check-cfg = ['cfg(mirai)'] }
[INFO] [stdout]     = help: or consider adding `println!("cargo::rustc-check-cfg=cfg(mirai)");` to the top of the `build.rs`
[INFO] [stdout]     = note: see <https://doc.rust-lang.org/nightly/rustc/check-cfg/cargo-specifics.html> for more information about checking conditional configuration
[INFO] [stdout]     = note: this warning originates in the macro `assume` (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unexpected `cfg` condition name: `mirai`
[INFO] [stdout]    --> src/nibble/nibble_path/mod.rs:312:9
[INFO] [stdout]     |
[INFO] [stdout] 312 |         assume!(self.start <= self.pos.end); // invariant
[INFO] [stdout]     |         ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout]     = help: consider using a Cargo feature instead
[INFO] [stdout]     = help: or consider adding in `Cargo.toml` the `check-cfg` lint config for the lint:
[INFO] [stdout]              [lints.rust]
[INFO] [stdout]              unexpected_cfgs = { level = "warn", check-cfg = ['cfg(mirai)'] }
[INFO] [stdout]     = help: or consider adding `println!("cargo::rustc-check-cfg=cfg(mirai)");` to the top of the `build.rs`
[INFO] [stdout]     = note: see <https://doc.rust-lang.org/nightly/rustc/check-cfg/cargo-specifics.html> for more information about checking conditional configuration
[INFO] [stdout]     = note: this warning originates in the macro `assume` (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unexpected `cfg` condition name: `mirai`
[INFO] [stdout]   --> src/proof/position/mod.rs:64:9
[INFO] [stdout]    |
[INFO] [stdout] 64 |         precondition!(level < 64);
[INFO] [stdout]    |         ^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout]    |
[INFO] [stdout]    = help: consider using a Cargo feature instead
[INFO] [stdout]    = help: or consider adding in `Cargo.toml` the `check-cfg` lint config for the lint:
[INFO] [stdout]             [lints.rust]
[INFO] [stdout]             unexpected_cfgs = { level = "warn", check-cfg = ['cfg(mirai)'] }
[INFO] [stdout]    = help: or consider adding `println!("cargo::rustc-check-cfg=cfg(mirai)");` to the top of the `build.rs`
[INFO] [stdout]    = note: see <https://doc.rust-lang.org/nightly/rustc/check-cfg/cargo-specifics.html> for more information about checking conditional configuration
[INFO] [stdout]    = note: this warning originates in the macro `precondition` (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unexpected `cfg` condition name: `mirai`
[INFO] [stdout]   --> src/proof/position/mod.rs:65:9
[INFO] [stdout]    |
[INFO] [stdout] 65 |         assume!(1u64 << level > 0); // bitwise and integer operations don't mix.
[INFO] [stdout]    |         ^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout]    |
[INFO] [stdout]    = help: consider using a Cargo feature instead
[INFO] [stdout]    = help: or consider adding in `Cargo.toml` the `check-cfg` lint config for the lint:
[INFO] [stdout]             [lints.rust]
[INFO] [stdout]             unexpected_cfgs = { level = "warn", check-cfg = ['cfg(mirai)'] }
[INFO] [stdout]    = help: or consider adding `println!("cargo::rustc-check-cfg=cfg(mirai)");` to the top of the `build.rs`
[INFO] [stdout]    = note: see <https://doc.rust-lang.org/nightly/rustc/check-cfg/cargo-specifics.html> for more information about checking conditional configuration
[INFO] [stdout]    = note: this warning originates in the macro `assume` (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unexpected `cfg` condition name: `mirai`
[INFO] [stdout]   --> src/proof/position/mod.rs:94:9
[INFO] [stdout]    |
[INFO] [stdout] 94 |         assume!(self.0 < u64::max_value() - 1); // invariant
[INFO] [stdout]    |         ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout]    |
[INFO] [stdout]    = help: consider using a Cargo feature instead
[INFO] [stdout]    = help: or consider adding in `Cargo.toml` the `check-cfg` lint config for the lint:
[INFO] [stdout]             [lints.rust]
[INFO] [stdout]             unexpected_cfgs = { level = "warn", check-cfg = ['cfg(mirai)'] }
[INFO] [stdout]    = help: or consider adding `println!("cargo::rustc-check-cfg=cfg(mirai)");` to the top of the `build.rs`
[INFO] [stdout]    = note: see <https://doc.rust-lang.org/nightly/rustc/check-cfg/cargo-specifics.html> for more information about checking conditional configuration
[INFO] [stdout]    = note: this warning originates in the macro `assume` (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unexpected `cfg` condition name: `mirai`
[INFO] [stdout]    --> src/proof/position/mod.rs:103:9
[INFO] [stdout]     |
[INFO] [stdout] 103 |         checked_precondition!(!self.is_leaf());
[INFO] [stdout]     |         ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout]     = help: consider using a Cargo feature instead
[INFO] [stdout]     = help: or consider adding in `Cargo.toml` the `check-cfg` lint config for the lint:
[INFO] [stdout]              [lints.rust]
[INFO] [stdout]              unexpected_cfgs = { level = "warn", check-cfg = ['cfg(mirai)'] }
[INFO] [stdout]     = help: or consider adding `println!("cargo::rustc-check-cfg=cfg(mirai)");` to the top of the `build.rs`
[INFO] [stdout]     = note: see <https://doc.rust-lang.org/nightly/rustc/check-cfg/cargo-specifics.html> for more information about checking conditional configuration
[INFO] [stdout]     = note: this warning originates in the macro `checked_precondition` (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unexpected `cfg` condition name: `mirai`
[INFO] [stdout]    --> src/proof/position/mod.rs:109:9
[INFO] [stdout]     |
[INFO] [stdout] 109 |         checked_precondition!(!self.is_leaf());
[INFO] [stdout]     |         ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout]     = help: consider using a Cargo feature instead
[INFO] [stdout]     = help: or consider adding in `Cargo.toml` the `check-cfg` lint config for the lint:
[INFO] [stdout]              [lints.rust]
[INFO] [stdout]              unexpected_cfgs = { level = "warn", check-cfg = ['cfg(mirai)'] }
[INFO] [stdout]     = help: or consider adding `println!("cargo::rustc-check-cfg=cfg(mirai)");` to the top of the `build.rs`
[INFO] [stdout]     = note: see <https://doc.rust-lang.org/nightly/rustc/check-cfg/cargo-specifics.html> for more information about checking conditional configuration
[INFO] [stdout]     = note: this warning originates in the macro `checked_precondition` (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unexpected `cfg` condition name: `mirai`
[INFO] [stdout]    --> src/proof/position/mod.rs:114:9
[INFO] [stdout]     |
[INFO] [stdout] 114 |         checked_precondition!(!self.is_leaf());
[INFO] [stdout]     |         ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout]     = help: consider using a Cargo feature instead
[INFO] [stdout]     = help: or consider adding in `Cargo.toml` the `check-cfg` lint config for the lint:
[INFO] [stdout]              [lints.rust]
[INFO] [stdout]              unexpected_cfgs = { level = "warn", check-cfg = ['cfg(mirai)'] }
[INFO] [stdout]     = help: or consider adding `println!("cargo::rustc-check-cfg=cfg(mirai)");` to the top of the `build.rs`
[INFO] [stdout]     = note: see <https://doc.rust-lang.org/nightly/rustc/check-cfg/cargo-specifics.html> for more information about checking conditional configuration
[INFO] [stdout]     = note: this warning originates in the macro `checked_precondition` (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unexpected `cfg` condition name: `mirai`
[INFO] [stdout]    --> src/proof/position/mod.rs:115:9
[INFO] [stdout]     |
[INFO] [stdout] 115 |         assume!(self.0 < u64::max_value() - 1); // invariant
[INFO] [stdout]     |         ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout]     = help: consider using a Cargo feature instead
[INFO] [stdout]     = help: or consider adding in `Cargo.toml` the `check-cfg` lint config for the lint:
[INFO] [stdout]              [lints.rust]
[INFO] [stdout]              unexpected_cfgs = { level = "warn", check-cfg = ['cfg(mirai)'] }
[INFO] [stdout]     = help: or consider adding `println!("cargo::rustc-check-cfg=cfg(mirai)");` to the top of the `build.rs`
[INFO] [stdout]     = note: see <https://doc.rust-lang.org/nightly/rustc/check-cfg/cargo-specifics.html> for more information about checking conditional configuration
[INFO] [stdout]     = note: this warning originates in the macro `assume` (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unexpected `cfg` condition name: `mirai`
[INFO] [stdout]    --> src/proof/position/mod.rs:128:9
[INFO] [stdout]     |
[INFO] [stdout] 128 |         assume!(self.0 < u64::max_value() - 1); // invariant
[INFO] [stdout]     |         ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout]     = help: consider using a Cargo feature instead
[INFO] [stdout]     = help: or consider adding in `Cargo.toml` the `check-cfg` lint config for the lint:
[INFO] [stdout]              [lints.rust]
[INFO] [stdout]              unexpected_cfgs = { level = "warn", check-cfg = ['cfg(mirai)'] }
[INFO] [stdout]     = help: or consider adding `println!("cargo::rustc-check-cfg=cfg(mirai)");` to the top of the `build.rs`
[INFO] [stdout]     = note: see <https://doc.rust-lang.org/nightly/rustc/check-cfg/cargo-specifics.html> for more information about checking conditional configuration
[INFO] [stdout]     = note: this warning originates in the macro `assume` (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unexpected `cfg` condition name: `mirai`
[INFO] [stdout]    --> src/proof/position/mod.rs:148:9
[INFO] [stdout]     |
[INFO] [stdout] 148 |         assume!(self.0 < u64::max_value() - 1); // invariant
[INFO] [stdout]     |         ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout]     = help: consider using a Cargo feature instead
[INFO] [stdout]     = help: or consider adding in `Cargo.toml` the `check-cfg` lint config for the lint:
[INFO] [stdout]              [lints.rust]
[INFO] [stdout]              unexpected_cfgs = { level = "warn", check-cfg = ['cfg(mirai)'] }
[INFO] [stdout]     = help: or consider adding `println!("cargo::rustc-check-cfg=cfg(mirai)");` to the top of the `build.rs`
[INFO] [stdout]     = note: see <https://doc.rust-lang.org/nightly/rustc/check-cfg/cargo-specifics.html> for more information about checking conditional configuration
[INFO] [stdout]     = note: this warning originates in the macro `assume` (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unexpected `cfg` condition name: `mirai`
[INFO] [stdout]    --> src/proof/position/mod.rs:219:5
[INFO] [stdout]     |
[INFO] [stdout] 219 |     debug_checked_precondition!(n < 64);
[INFO] [stdout]     |     ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout]     = help: consider using a Cargo feature instead
[INFO] [stdout]     = help: or consider adding in `Cargo.toml` the `check-cfg` lint config for the lint:
[INFO] [stdout]              [lints.rust]
[INFO] [stdout]              unexpected_cfgs = { level = "warn", check-cfg = ['cfg(mirai)'] }
[INFO] [stdout]     = help: or consider adding `println!("cargo::rustc-check-cfg=cfg(mirai)");` to the top of the `build.rs`
[INFO] [stdout]     = note: see <https://doc.rust-lang.org/nightly/rustc/check-cfg/cargo-specifics.html> for more information about checking conditional configuration
[INFO] [stdout]     = note: this warning originates in the macro `debug_checked_precondition` (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unexpected `cfg` condition name: `mirai`
[INFO] [stdout]    --> src/proof/position/mod.rs:360:9
[INFO] [stdout]     |
[INFO] [stdout] 360 |         assume!(self.seen_leaves < u64::max_value() - self.bitmap); // invariant
[INFO] [stdout]     |         ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout]     = help: consider using a Cargo feature instead
[INFO] [stdout]     = help: or consider adding in `Cargo.toml` the `check-cfg` lint config for the lint:
[INFO] [stdout]              [lints.rust]
[INFO] [stdout]              unexpected_cfgs = { level = "warn", check-cfg = ['cfg(mirai)'] }
[INFO] [stdout]     = help: or consider adding `println!("cargo::rustc-check-cfg=cfg(mirai)");` to the top of the `build.rs`
[INFO] [stdout]     = note: see <https://doc.rust-lang.org/nightly/rustc/check-cfg/cargo-specifics.html> for more information about checking conditional configuration
[INFO] [stdout]     = note: this warning originates in the macro `assume` (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unexpected `cfg` condition name: `mirai`
[INFO] [stdout]    --> src/proof/position/mod.rs:374:9
[INFO] [stdout]     |
[INFO] [stdout] 374 |         assume!(root_offset < self.bitmap); // relate bit logic to integer logic
[INFO] [stdout]     |         ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout]     = help: consider using a Cargo feature instead
[INFO] [stdout]     = help: or consider adding in `Cargo.toml` the `check-cfg` lint config for the lint:
[INFO] [stdout]              [lints.rust]
[INFO] [stdout]              unexpected_cfgs = { level = "warn", check-cfg = ['cfg(mirai)'] }
[INFO] [stdout]     = help: or consider adding `println!("cargo::rustc-check-cfg=cfg(mirai)");` to the top of the `build.rs`
[INFO] [stdout]     = note: see <https://doc.rust-lang.org/nightly/rustc/check-cfg/cargo-specifics.html> for more information about checking conditional configuration
[INFO] [stdout]     = note: this warning originates in the macro `assume` (in Nightly builds, run with -Z macro-backtrace for more info)
[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<Value = KeyPair<Ed25519PrivateKey, Ed25519PublicKey>> {
[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<Value = KeyPair<Ed25519PrivateKey, Ed25519PublicKey>> {
[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<Value = KeyPair<Ed25519PrivateKey, Ed25519PublicKey>> {
[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<Value = KeyPair<Ed25519PrivateKey, Ed25519PublicKey>> {
[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::<RawTransaction>(), 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<Value = KeyPair<Ed25519PrivateKey, Ed25519PublicKey>> {
[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] warning: unexpected `cfg` condition name: `mirai`
[INFO] [stdout]   --> src/nibble/nibble_path/mod.rs:90:9
[INFO] [stdout]    |
[INFO] [stdout] 90 |         checked_precondition!(bytes.len() <= ROOT_NIBBLE_HEIGHT / 2);
[INFO] [stdout]    |         ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout]    |
[INFO] [stdout]    = help: consider using a Cargo feature instead
[INFO] [stdout]    = help: or consider adding in `Cargo.toml` the `check-cfg` lint config for the lint:
[INFO] [stdout]             [lints.rust]
[INFO] [stdout]             unexpected_cfgs = { level = "warn", check-cfg = ['cfg(mirai)'] }
[INFO] [stdout]    = help: or consider adding `println!("cargo::rustc-check-cfg=cfg(mirai)");` to the top of the `build.rs`
[INFO] [stdout]    = note: see <https://doc.rust-lang.org/nightly/rustc/check-cfg/cargo-specifics.html> for more information about checking conditional configuration
[INFO] [stdout]    = note: `#[warn(unexpected_cfgs)]` on by default
[INFO] [stdout]    = note: this warning originates in the macro `checked_precondition` (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unexpected `cfg` condition name: `mirai`
[INFO] [stdout]   --> src/nibble/nibble_path/mod.rs:97:9
[INFO] [stdout]    |
[INFO] [stdout] 97 |         checked_precondition!(bytes.len() <= ROOT_NIBBLE_HEIGHT / 2);
[INFO] [stdout]    |         ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout]    |
[INFO] [stdout]    = help: consider using a Cargo feature instead
[INFO] [stdout]    = help: or consider adding in `Cargo.toml` the `check-cfg` lint config for the lint:
[INFO] [stdout]             [lints.rust]
[INFO] [stdout]             unexpected_cfgs = { level = "warn", check-cfg = ['cfg(mirai)'] }
[INFO] [stdout]    = help: or consider adding `println!("cargo::rustc-check-cfg=cfg(mirai)");` to the top of the `build.rs`
[INFO] [stdout]    = note: see <https://doc.rust-lang.org/nightly/rustc/check-cfg/cargo-specifics.html> for more information about checking conditional configuration
[INFO] [stdout]    = note: this warning originates in the macro `checked_precondition` (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unexpected `cfg` condition name: `mirai`
[INFO] [stdout]    --> src/nibble/nibble_path/mod.rs:162:9
[INFO] [stdout]     |
[INFO] [stdout] 162 |         assume!(self.num_nibbles <= ROOT_NIBBLE_HEIGHT); // invariant
[INFO] [stdout]     |         ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout]     = help: consider using a Cargo feature instead
[INFO] [stdout]     = help: or consider adding in `Cargo.toml` the `check-cfg` lint config for the lint:
[INFO] [stdout]              [lints.rust]
[INFO] [stdout]              unexpected_cfgs = { level = "warn", check-cfg = ['cfg(mirai)'] }
[INFO] [stdout]     = help: or consider adding `println!("cargo::rustc-check-cfg=cfg(mirai)");` to the top of the `build.rs`
[INFO] [stdout]     = note: see <https://doc.rust-lang.org/nightly/rustc/check-cfg/cargo-specifics.html> for more information about checking conditional configuration
[INFO] [stdout]     = note: this warning originates in the macro `assume` (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unexpected `cfg` condition name: `mirai`
[INFO] [stdout]    --> src/nibble/nibble_path/mod.rs:171:9
[INFO] [stdout]     |
[INFO] [stdout] 171 |         assume!(self.num_nibbles <= ROOT_NIBBLE_HEIGHT); // invariant
[INFO] [stdout]     |         ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout]     = help: consider using a Cargo feature instead
[INFO] [stdout]     = help: or consider adding in `Cargo.toml` the `check-cfg` lint config for the lint:
[INFO] [stdout]              [lints.rust]
[INFO] [stdout]              unexpected_cfgs = { level = "warn", check-cfg = ['cfg(mirai)'] }
[INFO] [stdout]     = help: or consider adding `println!("cargo::rustc-check-cfg=cfg(mirai)");` to the top of the `build.rs`
[INFO] [stdout]     = note: see <https://doc.rust-lang.org/nightly/rustc/check-cfg/cargo-specifics.html> for more information about checking conditional configuration
[INFO] [stdout]     = note: this warning originates in the macro `assume` (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unexpected `cfg` condition name: `mirai`
[INFO] [stdout]    --> src/nibble/nibble_path/mod.rs:268:9
[INFO] [stdout]     |
[INFO] [stdout] 268 |         precondition!(start <= end);
[INFO] [stdout]     |         ^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout]     = help: consider using a Cargo feature instead
[INFO] [stdout]     = help: or consider adding in `Cargo.toml` the `check-cfg` lint config for the lint:
[INFO] [stdout]              [lints.rust]
[INFO] [stdout]              unexpected_cfgs = { level = "warn", check-cfg = ['cfg(mirai)'] }
[INFO] [stdout]     = help: or consider adding `println!("cargo::rustc-check-cfg=cfg(mirai)");` to the top of the `build.rs`
[INFO] [stdout]     = note: see <https://doc.rust-lang.org/nightly/rustc/check-cfg/cargo-specifics.html> for more information about checking conditional configuration
[INFO] [stdout]     = note: this warning originates in the macro `precondition` (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unexpected `cfg` condition name: `mirai`
[INFO] [stdout]    --> src/nibble/nibble_path/mod.rs:269:9
[INFO] [stdout]     |
[INFO] [stdout] 269 |         precondition!(start <= ROOT_NIBBLE_HEIGHT);
[INFO] [stdout]     |         ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout]     = help: consider using a Cargo feature instead
[INFO] [stdout]     = help: or consider adding in `Cargo.toml` the `check-cfg` lint config for the lint:
[INFO] [stdout]              [lints.rust]
[INFO] [stdout]              unexpected_cfgs = { level = "warn", check-cfg = ['cfg(mirai)'] }
[INFO] [stdout]     = help: or consider adding `println!("cargo::rustc-check-cfg=cfg(mirai)");` to the top of the `build.rs`
[INFO] [stdout]     = note: see <https://doc.rust-lang.org/nightly/rustc/check-cfg/cargo-specifics.html> for more information about checking conditional configuration
[INFO] [stdout]     = note: this warning originates in the macro `precondition` (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unexpected `cfg` condition name: `mirai`
[INFO] [stdout]    --> src/nibble/nibble_path/mod.rs:270:9
[INFO] [stdout]     |
[INFO] [stdout] 270 |         precondition!(end <= ROOT_NIBBLE_HEIGHT);
[INFO] [stdout]     |         ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout]     = help: consider using a Cargo feature instead
[INFO] [stdout]     = help: or consider adding in `Cargo.toml` the `check-cfg` lint config for the lint:
[INFO] [stdout]              [lints.rust]
[INFO] [stdout]              unexpected_cfgs = { level = "warn", check-cfg = ['cfg(mirai)'] }
[INFO] [stdout]     = help: or consider adding `println!("cargo::rustc-check-cfg=cfg(mirai)");` to the top of the `build.rs`
[INFO] [stdout]     = note: see <https://doc.rust-lang.org/nightly/rustc/check-cfg/cargo-specifics.html> for more information about checking conditional configuration
[INFO] [stdout]     = note: this warning originates in the macro `precondition` (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unexpected `cfg` condition name: `mirai`
[INFO] [stdout]    --> src/nibble/nibble_path/mod.rs:280:9
[INFO] [stdout]     |
[INFO] [stdout] 280 |         assume!(self.start <= self.pos.start); // invariant
[INFO] [stdout]     |         ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout]     = help: consider using a Cargo feature instead
[INFO] [stdout]     = help: or consider adding in `Cargo.toml` the `check-cfg` lint config for the lint:
[INFO] [stdout]              [lints.rust]
[INFO] [stdout]              unexpected_cfgs = { level = "warn", check-cfg = ['cfg(mirai)'] }
[INFO] [stdout]     = help: or consider adding `println!("cargo::rustc-check-cfg=cfg(mirai)");` to the top of the `build.rs`
[INFO] [stdout]     = note: see <https://doc.rust-lang.org/nightly/rustc/check-cfg/cargo-specifics.html> for more information about checking conditional configuration
[INFO] [stdout]     = note: this warning originates in the macro `assume` (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unexpected `cfg` condition name: `mirai`
[INFO] [stdout]    --> src/nibble/nibble_path/mod.rs:281:9
[INFO] [stdout]     |
[INFO] [stdout] 281 |         assume!(self.pos.start <= ROOT_NIBBLE_HEIGHT); // invariant
[INFO] [stdout]     |         ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout]     = help: consider using a Cargo feature instead
[INFO] [stdout]     = help: or consider adding in `Cargo.toml` the `check-cfg` lint config for the lint:
[INFO] [stdout]              [lints.rust]
[INFO] [stdout]              unexpected_cfgs = { level = "warn", check-cfg = ['cfg(mirai)'] }
[INFO] [stdout]     = help: or consider adding `println!("cargo::rustc-check-cfg=cfg(mirai)");` to the top of the `build.rs`
[INFO] [stdout]     = note: see <https://doc.rust-lang.org/nightly/rustc/check-cfg/cargo-specifics.html> for more information about checking conditional configuration
[INFO] [stdout]     = note: this warning originates in the macro `assume` (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unexpected `cfg` condition name: `mirai`
[INFO] [stdout]    --> src/nibble/nibble_path/mod.rs:287:9
[INFO] [stdout]     |
[INFO] [stdout] 287 |         assume!(self.pos.start <= self.pos.end); // invariant
[INFO] [stdout]     |         ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout]     = help: consider using a Cargo feature instead
[INFO] [stdout]     = help: or consider adding in `Cargo.toml` the `check-cfg` lint config for the lint:
[INFO] [stdout]              [lints.rust]
[INFO] [stdout]              unexpected_cfgs = { level = "warn", check-cfg = ['cfg(mirai)'] }
[INFO] [stdout]     = help: or consider adding `println!("cargo::rustc-check-cfg=cfg(mirai)");` to the top of the `build.rs`
[INFO] [stdout]     = note: see <https://doc.rust-lang.org/nightly/rustc/check-cfg/cargo-specifics.html> for more information about checking conditional configuration
[INFO] [stdout]     = note: this warning originates in the macro `assume` (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unexpected `cfg` condition name: `mirai`
[INFO] [stdout]    --> src/nibble/nibble_path/mod.rs:288:9
[INFO] [stdout]     |
[INFO] [stdout] 288 |         assume!(self.pos.end <= ROOT_NIBBLE_HEIGHT); // invariant
[INFO] [stdout]     |         ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout]     = help: consider using a Cargo feature instead
[INFO] [stdout]     = help: or consider adding in `Cargo.toml` the `check-cfg` lint config for the lint:
[INFO] [stdout]              [lints.rust]
[INFO] [stdout]              unexpected_cfgs = { level = "warn", check-cfg = ['cfg(mirai)'] }
[INFO] [stdout]     = help: or consider adding `println!("cargo::rustc-check-cfg=cfg(mirai)");` to the top of the `build.rs`
[INFO] [stdout]     = note: see <https://doc.rust-lang.org/nightly/rustc/check-cfg/cargo-specifics.html> for more information about checking conditional configuration
[INFO] [stdout]     = note: this warning originates in the macro `assume` (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unexpected `cfg` condition name: `mirai`
[INFO] [stdout]    --> src/nibble/nibble_path/mod.rs:294:9
[INFO] [stdout]     |
[INFO] [stdout] 294 |         assume!(self.pos.start <= self.pos.end); // invariant
[INFO] [stdout]     |         ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout]     = help: consider using a Cargo feature instead
[INFO] [stdout]     = help: or consider adding in `Cargo.toml` the `check-cfg` lint config for the lint:
[INFO] [stdout]              [lints.rust]
[INFO] [stdout]              unexpected_cfgs = { level = "warn", check-cfg = ['cfg(mirai)'] }
[INFO] [stdout]     = help: or consider adding `println!("cargo::rustc-check-cfg=cfg(mirai)");` to the top of the `build.rs`
[INFO] [stdout]     = note: see <https://doc.rust-lang.org/nightly/rustc/check-cfg/cargo-specifics.html> for more information about checking conditional configuration
[INFO] [stdout]     = note: this warning originates in the macro `assume` (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unexpected `cfg` condition name: `mirai`
[INFO] [stdout]    --> src/nibble/nibble_path/mod.rs:295:9
[INFO] [stdout]     |
[INFO] [stdout] 295 |         assume!(self.pos.end <= ROOT_NIBBLE_HEIGHT); // invariant
[INFO] [stdout]     |         ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout]     = help: consider using a Cargo feature instead
[INFO] [stdout]     = help: or consider adding in `Cargo.toml` the `check-cfg` lint config for the lint:
[INFO] [stdout]              [lints.rust]
[INFO] [stdout]              unexpected_cfgs = { level = "warn", check-cfg = ['cfg(mirai)'] }
[INFO] [stdout]     = help: or consider adding `println!("cargo::rustc-check-cfg=cfg(mirai)");` to the top of the `build.rs`
[INFO] [stdout]     = note: see <https://doc.rust-lang.org/nightly/rustc/check-cfg/cargo-specifics.html> for more information about checking conditional configuration
[INFO] [stdout]     = note: this warning originates in the macro `assume` (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unexpected `cfg` condition name: `mirai`
[INFO] [stdout]    --> src/nibble/nibble_path/mod.rs:312:9
[INFO] [stdout]     |
[INFO] [stdout] 312 |         assume!(self.start <= self.pos.end); // invariant
[INFO] [stdout]     |         ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout]     = help: consider using a Cargo feature instead
[INFO] [stdout]     = help: or consider adding in `Cargo.toml` the `check-cfg` lint config for the lint:
[INFO] [stdout]              [lints.rust]
[INFO] [stdout]              unexpected_cfgs = { level = "warn", check-cfg = ['cfg(mirai)'] }
[INFO] [stdout]     = help: or consider adding `println!("cargo::rustc-check-cfg=cfg(mirai)");` to the top of the `build.rs`
[INFO] [stdout]     = note: see <https://doc.rust-lang.org/nightly/rustc/check-cfg/cargo-specifics.html> for more information about checking conditional configuration
[INFO] [stdout]     = note: this warning originates in the macro `assume` (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unexpected `cfg` condition name: `mirai`
[INFO] [stdout]   --> src/proof/position/mod.rs:64:9
[INFO] [stdout]    |
[INFO] [stdout] 64 |         precondition!(level < 64);
[INFO] [stdout]    |         ^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout]    |
[INFO] [stdout]    = help: consider using a Cargo feature instead
[INFO] [stdout]    = help: or consider adding in `Cargo.toml` the `check-cfg` lint config for the lint:
[INFO] [stdout]             [lints.rust]
[INFO] [stdout]             unexpected_cfgs = { level = "warn", check-cfg = ['cfg(mirai)'] }
[INFO] [stdout]    = help: or consider adding `println!("cargo::rustc-check-cfg=cfg(mirai)");` to the top of the `build.rs`
[INFO] [stdout]    = note: see <https://doc.rust-lang.org/nightly/rustc/check-cfg/cargo-specifics.html> for more information about checking conditional configuration
[INFO] [stdout]    = note: this warning originates in the macro `precondition` (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unexpected `cfg` condition name: `mirai`
[INFO] [stdout]   --> src/proof/position/mod.rs:65:9
[INFO] [stdout]    |
[INFO] [stdout] 65 |         assume!(1u64 << level > 0); // bitwise and integer operations don't mix.
[INFO] [stdout]    |         ^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout]    |
[INFO] [stdout]    = help: consider using a Cargo feature instead
[INFO] [stdout]    = help: or consider adding in `Cargo.toml` the `check-cfg` lint config for the lint:
[INFO] [stdout]             [lints.rust]
[INFO] [stdout]             unexpected_cfgs = { level = "warn", check-cfg = ['cfg(mirai)'] }
[INFO] [stdout]    = help: or consider adding `println!("cargo::rustc-check-cfg=cfg(mirai)");` to the top of the `build.rs`
[INFO] [stdout]    = note: see <https://doc.rust-lang.org/nightly/rustc/check-cfg/cargo-specifics.html> for more information about checking conditional configuration
[INFO] [stdout]    = note: this warning originates in the macro `assume` (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unexpected `cfg` condition name: `mirai`
[INFO] [stdout]   --> src/proof/position/mod.rs:94:9
[INFO] [stdout]    |
[INFO] [stdout] 94 |         assume!(self.0 < u64::max_value() - 1); // invariant
[INFO] [stdout]    |         ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout]    |
[INFO] [stdout]    = help: consider using a Cargo feature instead
[INFO] [stdout]    = help: or consider adding in `Cargo.toml` the `check-cfg` lint config for the lint:
[INFO] [stdout]             [lints.rust]
[INFO] [stdout]             unexpected_cfgs = { level = "warn", check-cfg = ['cfg(mirai)'] }
[INFO] [stdout]    = help: or consider adding `println!("cargo::rustc-check-cfg=cfg(mirai)");` to the top of the `build.rs`
[INFO] [stdout]    = note: see <https://doc.rust-lang.org/nightly/rustc/check-cfg/cargo-specifics.html> for more information about checking conditional configuration
[INFO] [stdout]    = note: this warning originates in the macro `assume` (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unexpected `cfg` condition name: `mirai`
[INFO] [stdout]    --> src/proof/position/mod.rs:103:9
[INFO] [stdout]     |
[INFO] [stdout] 103 |         checked_precondition!(!self.is_leaf());
[INFO] [stdout]     |         ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout]     = help: consider using a Cargo feature instead
[INFO] [stdout]     = help: or consider adding in `Cargo.toml` the `check-cfg` lint config for the lint:
[INFO] [stdout]              [lints.rust]
[INFO] [stdout]              unexpected_cfgs = { level = "warn", check-cfg = ['cfg(mirai)'] }
[INFO] [stdout]     = help: or consider adding `println!("cargo::rustc-check-cfg=cfg(mirai)");` to the top of the `build.rs`
[INFO] [stdout]     = note: see <https://doc.rust-lang.org/nightly/rustc/check-cfg/cargo-specifics.html> for more information about checking conditional configuration
[INFO] [stdout]     = note: this warning originates in the macro `checked_precondition` (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unexpected `cfg` condition name: `mirai`
[INFO] [stdout]    --> src/proof/position/mod.rs:109:9
[INFO] [stdout]     |
[INFO] [stdout] 109 |         checked_precondition!(!self.is_leaf());
[INFO] [stdout]     |         ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout]     = help: consider using a Cargo feature instead
[INFO] [stdout]     = help: or consider adding in `Cargo.toml` the `check-cfg` lint config for the lint:
[INFO] [stdout]              [lints.rust]
[INFO] [stdout]              unexpected_cfgs = { level = "warn", check-cfg = ['cfg(mirai)'] }
[INFO] [stdout]     = help: or consider adding `println!("cargo::rustc-check-cfg=cfg(mirai)");` to the top of the `build.rs`
[INFO] [stdout]     = note: see <https://doc.rust-lang.org/nightly/rustc/check-cfg/cargo-specifics.html> for more information about checking conditional configuration
[INFO] [stdout]     = note: this warning originates in the macro `checked_precondition` (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unexpected `cfg` condition name: `mirai`
[INFO] [stdout]    --> src/proof/position/mod.rs:114:9
[INFO] [stdout]     |
[INFO] [stdout] 114 |         checked_precondition!(!self.is_leaf());
[INFO] [stdout]     |         ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout]     = help: consider using a Cargo feature instead
[INFO] [stdout]     = help: or consider adding in `Cargo.toml` the `check-cfg` lint config for the lint:
[INFO] [stdout]              [lints.rust]
[INFO] [stdout]              unexpected_cfgs = { level = "warn", check-cfg = ['cfg(mirai)'] }
[INFO] [stdout]     = help: or consider adding `println!("cargo::rustc-check-cfg=cfg(mirai)");` to the top of the `build.rs`
[INFO] [stdout]     = note: see <https://doc.rust-lang.org/nightly/rustc/check-cfg/cargo-specifics.html> for more information about checking conditional configuration
[INFO] [stdout]     = note: this warning originates in the macro `checked_precondition` (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unexpected `cfg` condition name: `mirai`
[INFO] [stdout]    --> src/proof/position/mod.rs:115:9
[INFO] [stdout]     |
[INFO] [stdout] 115 |         assume!(self.0 < u64::max_value() - 1); // invariant
[INFO] [stdout]     |         ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout]     = help: consider using a Cargo feature instead
[INFO] [stdout]     = help: or consider adding in `Cargo.toml` the `check-cfg` lint config for the lint:
[INFO] [stdout]              [lints.rust]
[INFO] [stdout]              unexpected_cfgs = { level = "warn", check-cfg = ['cfg(mirai)'] }
[INFO] [stdout]     = help: or consider adding `println!("cargo::rustc-check-cfg=cfg(mirai)");` to the top of the `build.rs`
[INFO] [stdout]     = note: see <https://doc.rust-lang.org/nightly/rustc/check-cfg/cargo-specifics.html> for more information about checking conditional configuration
[INFO] [stdout]     = note: this warning originates in the macro `assume` (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unexpected `cfg` condition name: `mirai`
[INFO] [stdout]    --> src/proof/position/mod.rs:128:9
[INFO] [stdout]     |
[INFO] [stdout] 128 |         assume!(self.0 < u64::max_value() - 1); // invariant
[INFO] [stdout]     |         ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout]     = help: consider using a Cargo feature instead
[INFO] [stdout]     = help: or consider adding in `Cargo.toml` the `check-cfg` lint config for the lint:
[INFO] [stdout]              [lints.rust]
[INFO] [stdout]              unexpected_cfgs = { level = "warn", check-cfg = ['cfg(mirai)'] }
[INFO] [stdout]     = help: or consider adding `println!("cargo::rustc-check-cfg=cfg(mirai)");` to the top of the `build.rs`
[INFO] [stdout]     = note: see <https://doc.rust-lang.org/nightly/rustc/check-cfg/cargo-specifics.html> for more information about checking conditional configuration
[INFO] [stdout]     = note: this warning originates in the macro `assume` (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unexpected `cfg` condition name: `mirai`
[INFO] [stdout]    --> src/proof/position/mod.rs:148:9
[INFO] [stdout]     |
[INFO] [stdout] 148 |         assume!(self.0 < u64::max_value() - 1); // invariant
[INFO] [stdout]     |         ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout]     = help: consider using a Cargo feature instead
[INFO] [stdout]     = help: or consider adding in `Cargo.toml` the `check-cfg` lint config for the lint:
[INFO] [stdout]              [lints.rust]
[INFO] [stdout]              unexpected_cfgs = { level = "warn", check-cfg = ['cfg(mirai)'] }
[INFO] [stdout]     = help: or consider adding `println!("cargo::rustc-check-cfg=cfg(mirai)");` to the top of the `build.rs`
[INFO] [stdout]     = note: see <https://doc.rust-lang.org/nightly/rustc/check-cfg/cargo-specifics.html> for more information about checking conditional configuration
[INFO] [stdout]     = note: this warning originates in the macro `assume` (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unexpected `cfg` condition name: `mirai`
[INFO] [stdout]    --> src/proof/position/mod.rs:219:5
[INFO] [stdout]     |
[INFO] [stdout] 219 |     debug_checked_precondition!(n < 64);
[INFO] [stdout]     |     ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout]     = help: consider using a Cargo feature instead
[INFO] [stdout]     = help: or consider adding in `Cargo.toml` the `check-cfg` lint config for the lint:
[INFO] [stdout]              [lints.rust]
[INFO] [stdout]              unexpected_cfgs = { level = "warn", check-cfg = ['cfg(mirai)'] }
[INFO] [stdout]     = help: or consider adding `println!("cargo::rustc-check-cfg=cfg(mirai)");` to the top of the `build.rs`
[INFO] [stdout]     = note: see <https://doc.rust-lang.org/nightly/rustc/check-cfg/cargo-specifics.html> for more information about checking conditional configuration
[INFO] [stdout]     = note: this warning originates in the macro `debug_checked_precondition` (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unexpected `cfg` condition name: `mirai`
[INFO] [stdout]    --> src/proof/position/mod.rs:360:9
[INFO] [stdout]     |
[INFO] [stdout] 360 |         assume!(self.seen_leaves < u64::max_value() - self.bitmap); // invariant
[INFO] [stdout]     |         ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout]     = help: consider using a Cargo feature instead
[INFO] [stdout]     = help: or consider adding in `Cargo.toml` the `check-cfg` lint config for the lint:
[INFO] [stdout]              [lints.rust]
[INFO] [stdout]              unexpected_cfgs = { level = "warn", check-cfg = ['cfg(mirai)'] }
[INFO] [stdout]     = help: or consider adding `println!("cargo::rustc-check-cfg=cfg(mirai)");` to the top of the `build.rs`
[INFO] [stdout]     = note: see <https://doc.rust-lang.org/nightly/rustc/check-cfg/cargo-specifics.html> for more information about checking conditional configuration
[INFO] [stdout]     = note: this warning originates in the macro `assume` (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unexpected `cfg` condition name: `mirai`
[INFO] [stdout]    --> src/proof/position/mod.rs:374:9
[INFO] [stdout]     |
[INFO] [stdout] 374 |         assume!(root_offset < self.bitmap); // relate bit logic to integer logic
[INFO] [stdout]     |         ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout]     = help: consider using a Cargo feature instead
[INFO] [stdout]     = help: or consider adding in `Cargo.toml` the `check-cfg` lint config for the lint:
[INFO] [stdout]              [lints.rust]
[INFO] [stdout]              unexpected_cfgs = { level = "warn", check-cfg = ['cfg(mirai)'] }
[INFO] [stdout]     = help: or consider adding `println!("cargo::rustc-check-cfg=cfg(mirai)");` to the top of the `build.rs`
[INFO] [stdout]     = note: see <https://doc.rust-lang.org/nightly/rustc/check-cfg/cargo-specifics.html> for more information about checking conditional configuration
[INFO] [stdout]     = note: this warning originates in the macro `assume` (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:47:51
[INFO] [stdout]    |
[INFO] [stdout] 47 | #[cfg_attr(any(test, feature = "fuzzing"), derive(Arbitrary))]
[INFO] [stdout]    |                                                   ^^^^^^^^^ unsatisfied trait bound
[INFO] [stdout]    |
[INFO] [stdout]    = help: the trait `_IMPL_ARBITRARY_FOR_AccessPath::_proptest::arbitrary::Arbitrary` is not implemented for `move_core_types::account_address::AccountAddress`
[INFO] [stdout]    = help: the following other types implement trait `_IMPL_ARBITRARY_FOR_AccessPath::_proptest::arbitrary::Arbitrary`:
[INFO] [stdout]              ()
[INFO] [stdout]              (SyncSender<A>, std::sync::mpsc::IntoIter<A>)
[INFO] [stdout]              (SyncSender<A>, std::sync::mpsc::Receiver<A>)
[INFO] [stdout]              (T0, T1)
[INFO] [stdout]              (T0, T1, T2)
[INFO] [stdout]              (T0, T1, T2, T3)
[INFO] [stdout]              (T0, T1, T2, T3, T4)
[INFO] [stdout]              (T0, T1, T2, T3, T4, T5)
[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]    |     ^^^ unsatisfied trait bound
[INFO] [stdout]    |
[INFO] [stdout]    = help: the trait `_IMPL_ARBITRARY_FOR_AccessPath::_proptest::arbitrary::Arbitrary` is not implemented for `move_core_types::account_address::AccountAddress`
[INFO] [stdout]    = help: the following other types implement trait `_IMPL_ARBITRARY_FOR_AccessPath::_proptest::arbitrary::Arbitrary`:
[INFO] [stdout]              ()
[INFO] [stdout]              (SyncSender<A>, std::sync::mpsc::IntoIter<A>)
[INFO] [stdout]              (SyncSender<A>, std::sync::mpsc::Receiver<A>)
[INFO] [stdout]              (T0, T1)
[INFO] [stdout]              (T0, T1, T2)
[INFO] [stdout]              (T0, T1, T2, T3)
[INFO] [stdout]              (T0, T1, T2, T3, T4)
[INFO] [stdout]              (T0, T1, T2, T3, T4, T5)
[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]    |                                                   ^^^^^^^^^ unsatisfied trait bound
[INFO] [stdout]    |
[INFO] [stdout]    = help: the trait `_IMPL_ARBITRARY_FOR_AccessPath::_proptest::arbitrary::Arbitrary` is not implemented for `move_core_types::account_address::AccountAddress`
[INFO] [stdout]    = help: the following other types implement trait `_IMPL_ARBITRARY_FOR_AccessPath::_proptest::arbitrary::Arbitrary`:
[INFO] [stdout]              ()
[INFO] [stdout]              (SyncSender<A>, std::sync::mpsc::IntoIter<A>)
[INFO] [stdout]              (SyncSender<A>, std::sync::mpsc::Receiver<A>)
[INFO] [stdout]              (T0, T1)
[INFO] [stdout]              (T0, T1, T2)
[INFO] [stdout]              (T0, T1, T2, T3)
[INFO] [stdout]              (T0, T1, T2, T3, T4)
[INFO] [stdout]              (T0, T1, T2, T3, T4, T5)
[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]    |                                                   ^^^^^^^^^ unsatisfied trait bound
[INFO] [stdout]    |
[INFO] [stdout]    = help: the trait `_IMPL_ARBITRARY_FOR_AccessPath::_proptest::arbitrary::Arbitrary` is not implemented for `move_core_types::account_address::AccountAddress`
[INFO] [stdout]    = help: the following other types implement trait `_IMPL_ARBITRARY_FOR_AccessPath::_proptest::arbitrary::Arbitrary`:
[INFO] [stdout]              ()
[INFO] [stdout]              (SyncSender<A>, std::sync::mpsc::IntoIter<A>)
[INFO] [stdout]              (SyncSender<A>, std::sync::mpsc::Receiver<A>)
[INFO] [stdout]              (T0, T1)
[INFO] [stdout]              (T0, T1, T2)
[INFO] [stdout]              (T0, T1, T2, T3)
[INFO] [stdout]              (T0, T1, T2, T3, T4)
[INFO] [stdout]              (T0, T1, T2, T3, T4, T5)
[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]    |     ^^^^^^^^^^^^^^^ unsatisfied trait bound
[INFO] [stdout]    |
[INFO] [stdout]    = help: the trait `_IMPL_ARBITRARY_FOR_AccessPath::_proptest::arbitrary::Arbitrary` is not implemented for `move_core_types::account_address::AccountAddress`
[INFO] [stdout]    = help: the following other types implement trait `_IMPL_ARBITRARY_FOR_AccessPath::_proptest::arbitrary::Arbitrary`:
[INFO] [stdout]              ()
[INFO] [stdout]              (SyncSender<A>, std::sync::mpsc::IntoIter<A>)
[INFO] [stdout]              (SyncSender<A>, std::sync::mpsc::Receiver<A>)
[INFO] [stdout]              (T0, T1)
[INFO] [stdout]              (T0, T1, T2)
[INFO] [stdout]              (T0, T1, T2, T3)
[INFO] [stdout]              (T0, T1, T2, T3, T4)
[INFO] [stdout]              (T0, T1, T2, T3, T4, T5)
[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]    |                                                   ^^^^^^^^^ unsatisfied trait bound
[INFO] [stdout]    |
[INFO] [stdout]    = help: the trait `_IMPL_ARBITRARY_FOR_AccessPath::_proptest::arbitrary::Arbitrary` is not implemented for `move_core_types::account_address::AccountAddress`
[INFO] [stdout]    = help: the following other types implement trait `_IMPL_ARBITRARY_FOR_AccessPath::_proptest::arbitrary::Arbitrary`:
[INFO] [stdout]              ()
[INFO] [stdout]              (SyncSender<A>, std::sync::mpsc::IntoIter<A>)
[INFO] [stdout]              (SyncSender<A>, std::sync::mpsc::Receiver<A>)
[INFO] [stdout]              (T0, T1)
[INFO] [stdout]              (T0, T1, T2)
[INFO] [stdout]              (T0, T1, T2, T3)
[INFO] [stdout]              (T0, T1, T2, T3, T4)
[INFO] [stdout]              (T0, T1, T2, T3, T4, T5)
[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]    |     ^^^^^^^^^^^^^^^^ unsatisfied trait bound
[INFO] [stdout]    |
[INFO] [stdout]    = help: the trait `_IMPL_ARBITRARY_FOR_AccessPath::_proptest::arbitrary::Arbitrary` is not implemented for `move_core_types::account_address::AccountAddress`
[INFO] [stdout]    = help: the following other types implement trait `_IMPL_ARBITRARY_FOR_AccessPath::_proptest::arbitrary::Arbitrary`:
[INFO] [stdout]              ()
[INFO] [stdout]              (SyncSender<A>, std::sync::mpsc::IntoIter<A>)
[INFO] [stdout]              (SyncSender<A>, std::sync::mpsc::Receiver<A>)
[INFO] [stdout]              (T0, T1)
[INFO] [stdout]              (T0, T1, T2)
[INFO] [stdout]              (T0, T1, T2, T3)
[INFO] [stdout]              (T0, T1, T2, T3, T4)
[INFO] [stdout]              (T0, T1, T2, T3, T4, T5)
[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]    |                                                   ^^^^^^^^^ unsatisfied trait bound
[INFO] [stdout]    |
[INFO] [stdout]    = help: the trait `_IMPL_ARBITRARY_FOR_AccessPath::_proptest::arbitrary::Arbitrary` is not implemented for `move_core_types::account_address::AccountAddress`
[INFO] [stdout]    = help: the following other types implement trait `_IMPL_ARBITRARY_FOR_AccessPath::_proptest::arbitrary::Arbitrary`:
[INFO] [stdout]              ()
[INFO] [stdout]              (SyncSender<A>, std::sync::mpsc::IntoIter<A>)
[INFO] [stdout]              (SyncSender<A>, std::sync::mpsc::Receiver<A>)
[INFO] [stdout]              (T0, T1)
[INFO] [stdout]              (T0, T1, T2)
[INFO] [stdout]              (T0, T1, T2, T3)
[INFO] [stdout]              (T0, T1, T2, T3, T4)
[INFO] [stdout]              (T0, T1, T2, T3, T4, T5)
[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]    |     ^^^^^^^^^^^^^^^ unsatisfied trait bound
[INFO] [stdout]    |
[INFO] [stdout]    = help: the trait `_IMPL_ARBITRARY_FOR_AccessPath::_proptest::arbitrary::Arbitrary` is not implemented for `move_core_types::account_address::AccountAddress`
[INFO] [stdout]    = help: the following other types implement trait `_IMPL_ARBITRARY_FOR_AccessPath::_proptest::arbitrary::Arbitrary`:
[INFO] [stdout]              ()
[INFO] [stdout]              (SyncSender<A>, std::sync::mpsc::IntoIter<A>)
[INFO] [stdout]              (SyncSender<A>, std::sync::mpsc::Receiver<A>)
[INFO] [stdout]              (T0, T1)
[INFO] [stdout]              (T0, T1, T2)
[INFO] [stdout]              (T0, T1, T2, T3)
[INFO] [stdout]              (T0, T1, T2, T3, T4)
[INFO] [stdout]              (T0, T1, T2, T3, T4, T5)
[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 |     fn account_state_blob_strategy()(account_resource in any::<AccountResource>(), balance_resource in any::<BalanceResource>()) -> Accou...
[INFO] [stdout]     |                                                          ^^^^^^^^^^^^^^^^^^^^^^^^ unsatisfied trait bound
[INFO] [stdout]     |
[INFO] [stdout]     = help: the trait `_IMPL_ARBITRARY_FOR_AccessPath::_proptest::arbitrary::Arbitrary` is not implemented for `move_core_types::account_address::AccountAddress`
[INFO] [stdout]     = help: the following other types implement trait `_IMPL_ARBITRARY_FOR_AccessPath::_proptest::arbitrary::Arbitrary`:
[INFO] [stdout]               ()
[INFO] [stdout]               (SyncSender<A>, std::sync::mpsc::IntoIter<A>)
[INFO] [stdout]               (SyncSender<A>, std::sync::mpsc::Receiver<A>)
[INFO] [stdout]               (T0, T1)
[INFO] [stdout]               (T0, T1, T2)
[INFO] [stdout]               (T0, T1, T2, T3)
[INFO] [stdout]               (T0, T1, T2, T3, T4)
[INFO] [stdout]               (T0, T1, T2, T3, T4, T5)
[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]              (SyncSender<A>, std::sync::mpsc::IntoIter<A>)
[INFO] [stdout]              (SyncSender<A>, std::sync::mpsc::Receiver<A>)
[INFO] [stdout]              (T0, T1)
[INFO] [stdout]              (T0, T1, T2)
[INFO] [stdout]              (T0, T1, T2, T3)
[INFO] [stdout]              (T0, T1, T2, T3, T4)
[INFO] [stdout]              (T0, T1, T2, T3, T4, T5)
[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]    |                                                   ^^^^^^^^^ unsatisfied trait bound
[INFO] [stdout]    |
[INFO] [stdout]    = help: the trait `_IMPL_ARBITRARY_FOR_AccessPath::_proptest::arbitrary::Arbitrary` is not implemented for `move_core_types::account_address::AccountAddress`
[INFO] [stdout]    = help: the following other types implement trait `_IMPL_ARBITRARY_FOR_AccessPath::_proptest::arbitrary::Arbitrary`:
[INFO] [stdout]              ()
[INFO] [stdout]              (SyncSender<A>, std::sync::mpsc::IntoIter<A>)
[INFO] [stdout]              (SyncSender<A>, std::sync::mpsc::Receiver<A>)
[INFO] [stdout]              (T0, T1)
[INFO] [stdout]              (T0, T1, T2)
[INFO] [stdout]              (T0, T1, T2, T3)
[INFO] [stdout]              (T0, T1, T2, T3, T4)
[INFO] [stdout]              (T0, T1, T2, T3, T4, T5)
[INFO] [stdout]            and 268 others
[INFO] [stdout]    = note: required for `BTreeMap<AccountAddress, ValidatorConsensusInfo>` to implement `_IMPL_ARBITRARY_FOR_AccessPath::_proptest::arbitrary::Arbitrary`
[INFO] [stdout]    = note: the full name for the type has been written to '/opt/rustwide/target/debug/deps/diem_types-71c2d6470c284597.long-type-1799986869455673913.txt'
[INFO] [stdout]    = note: consider using `--verbose` to print the full type name to the console
[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]              (SyncSender<A>, std::sync::mpsc::IntoIter<A>)
[INFO] [stdout]              (SyncSender<A>, std::sync::mpsc::Receiver<A>)
[INFO] [stdout]              (T0, T1)
[INFO] [stdout]              (T0, T1, T2)
[INFO] [stdout]              (T0, T1, T2, T3)
[INFO] [stdout]              (T0, T1, T2, T3, T4)
[INFO] [stdout]              (T0, T1, T2, T3, T4, T5)
[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]              (SyncSender<A>, std::sync::mpsc::IntoIter<A>)
[INFO] [stdout]              (SyncSender<A>, std::sync::mpsc::Receiver<A>)
[INFO] [stdout]              (T0, T1)
[INFO] [stdout]              (T0, T1, T2)
[INFO] [stdout]              (T0, T1, T2, T3)
[INFO] [stdout]              (T0, T1, T2, T3, T4)
[INFO] [stdout]              (T0, T1, T2, T3, T4, T5)
[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]    |                                                   ^^^^^^^^^ unsatisfied trait bound
[INFO] [stdout]    |
[INFO] [stdout]    = help: the trait `_IMPL_ARBITRARY_FOR_AccessPath::_proptest::arbitrary::Arbitrary` is not implemented for `move_core_types::account_address::AccountAddress`
[INFO] [stdout]    = help: the following other types implement trait `_IMPL_ARBITRARY_FOR_AccessPath::_proptest::arbitrary::Arbitrary`:
[INFO] [stdout]              ()
[INFO] [stdout]              (SyncSender<A>, std::sync::mpsc::IntoIter<A>)
[INFO] [stdout]              (SyncSender<A>, std::sync::mpsc::Receiver<A>)
[INFO] [stdout]              (T0, T1)
[INFO] [stdout]              (T0, T1, T2)
[INFO] [stdout]              (T0, T1, T2, T3)
[INFO] [stdout]              (T0, T1, T2, T3, T4)
[INFO] [stdout]              (T0, T1, T2, T3, T4, T5)
[INFO] [stdout]            and 268 others
[INFO] [stdout]    = note: required for `BTreeMap<AccountAddress, ValidatorConsensusInfo>` to implement `_IMPL_ARBITRARY_FOR_AccessPath::_proptest::arbitrary::Arbitrary`
[INFO] [stdout]    = note: the full name for the type has been written to '/opt/rustwide/target/debug/deps/diem_types-71c2d6470c284597.long-type-1799986869455673913.txt'
[INFO] [stdout]    = note: consider using `--verbose` to print the full type name to the console
[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]              (SyncSender<A>, std::sync::mpsc::IntoIter<A>)
[INFO] [stdout]              (SyncSender<A>, std::sync::mpsc::Receiver<A>)
[INFO] [stdout]              (T0, T1)
[INFO] [stdout]              (T0, T1, T2)
[INFO] [stdout]              (T0, T1, T2, T3)
[INFO] [stdout]              (T0, T1, T2, T3, T4)
[INFO] [stdout]              (T0, T1, T2, T3, T4, T5)
[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]              (SyncSender<A>, std::sync::mpsc::IntoIter<A>)
[INFO] [stdout]              (SyncSender<A>, std::sync::mpsc::Receiver<A>)
[INFO] [stdout]              (T0, T1)
[INFO] [stdout]              (T0, T1, T2)
[INFO] [stdout]              (T0, T1, T2, T3)
[INFO] [stdout]              (T0, T1, T2, T3, T4)
[INFO] [stdout]              (T0, T1, T2, T3, T4, T5)
[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]    |                                                   ^^^^^^^^^ unsatisfied trait bound
[INFO] [stdout]    |
[INFO] [stdout]    = help: the trait `_IMPL_ARBITRARY_FOR_AccessPath::_proptest::arbitrary::Arbitrary` is not implemented for `move_core_types::account_address::AccountAddress`
[INFO] [stdout]    = help: the following other types implement trait `_IMPL_ARBITRARY_FOR_AccessPath::_proptest::arbitrary::Arbitrary`:
[INFO] [stdout]              ()
[INFO] [stdout]              (SyncSender<A>, std::sync::mpsc::IntoIter<A>)
[INFO] [stdout]              (SyncSender<A>, std::sync::mpsc::Receiver<A>)
[INFO] [stdout]              (T0, T1)
[INFO] [stdout]              (T0, T1, T2)
[INFO] [stdout]              (T0, T1, T2, T3)
[INFO] [stdout]              (T0, T1, T2, T3, T4)
[INFO] [stdout]              (T0, T1, T2, T3, T4, T5)
[INFO] [stdout]            and 268 others
[INFO] [stdout]    = note: required for `BTreeMap<AccountAddress, ValidatorConsensusInfo>` to implement `_IMPL_ARBITRARY_FOR_AccessPath::_proptest::arbitrary::Arbitrary`
[INFO] [stdout]    = note: the full name for the type has been written to '/opt/rustwide/target/debug/deps/diem_types-71c2d6470c284597.long-type-1799986869455673913.txt'
[INFO] [stdout]    = note: consider using `--verbose` to print the full type name to the console
[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]              (SyncSender<A>, std::sync::mpsc::IntoIter<A>)
[INFO] [stdout]              (SyncSender<A>, std::sync::mpsc::Receiver<A>)
[INFO] [stdout]              (T0, T1)
[INFO] [stdout]              (T0, T1, T2)
[INFO] [stdout]              (T0, T1, T2, T3)
[INFO] [stdout]              (T0, T1, T2, T3, T4)
[INFO] [stdout]              (T0, T1, T2, T3, T4, T5)
[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]              (SyncSender<A>, std::sync::mpsc::IntoIter<A>)
[INFO] [stdout]              (SyncSender<A>, std::sync::mpsc::Receiver<A>)
[INFO] [stdout]              (T0, T1)
[INFO] [stdout]              (T0, T1, T2)
[INFO] [stdout]              (T0, T1, T2, T3)
[INFO] [stdout]              (T0, T1, T2, T3, T4)
[INFO] [stdout]              (T0, T1, T2, T3, T4, T5)
[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]               (SyncSender<A>, std::sync::mpsc::IntoIter<A>)
[INFO] [stdout]               (SyncSender<A>, std::sync::mpsc::Receiver<A>)
[INFO] [stdout]               (T0, T1)
[INFO] [stdout]               (T0, T1, T2)
[INFO] [stdout]               (T0, T1, T2, T3)
[INFO] [stdout]               (T0, T1, T2, T3, T4)
[INFO] [stdout]               (T0, T1, T2, T3, T4, T5)
[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: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]               (SyncSender<A>, std::sync::mpsc::IntoIter<A>)
[INFO] [stdout]               (SyncSender<A>, std::sync::mpsc::Receiver<A>)
[INFO] [stdout]               (T0, T1)
[INFO] [stdout]               (T0, T1, T2)
[INFO] [stdout]               (T0, T1, T2, T3)
[INFO] [stdout]               (T0, T1, T2, T3, T4)
[INFO] [stdout]               (T0, T1, T2, T3, T4, T5)
[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: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`
[INFO] [stdout]     |
[INFO] [stdout]     = help: the following other types implement trait `_IMPL_ARBITRARY_FOR_AccessPath::_proptest::arbitrary::Arbitrary`:
[INFO] [stdout]               ()
[INFO] [stdout]               (SyncSender<A>, std::sync::mpsc::IntoIter<A>)
[INFO] [stdout]               (SyncSender<A>, std::sync::mpsc::Receiver<A>)
[INFO] [stdout]               (T0, T1)
[INFO] [stdout]               (T0, T1, T2)
[INFO] [stdout]               (T0, T1, T2, T3)
[INFO] [stdout]               (T0, T1, T2, T3, T4)
[INFO] [stdout]               (T0, T1, T2, T3, T4, T5)
[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 `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]    |                                                   ^^^^^^^^^ unsatisfied trait bound
[INFO] [stdout]    |
[INFO] [stdout]    = help: the trait `_IMPL_ARBITRARY_FOR_AccessPath::_proptest::arbitrary::Arbitrary` is not implemented for `move_core_types::account_address::AccountAddress`
[INFO] [stdout]    = help: the following other types implement trait `_IMPL_ARBITRARY_FOR_AccessPath::_proptest::arbitrary::Arbitrary`:
[INFO] [stdout]              ()
[INFO] [stdout]              (SyncSender<A>, std::sync::mpsc::IntoIter<A>)
[INFO] [stdout]              (SyncSender<A>, std::sync::mpsc::Receiver<A>)
[INFO] [stdout]              (T0, T1)
[INFO] [stdout]              (T0, T1, T2)
[INFO] [stdout]              (T0, T1, T2, T3)
[INFO] [stdout]              (T0, T1, T2, T3, T4)
[INFO] [stdout]              (T0, T1, T2, T3, T4, T5)
[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]              (SyncSender<A>, std::sync::mpsc::IntoIter<A>)
[INFO] [stdout]              (SyncSender<A>, std::sync::mpsc::Receiver<A>)
[INFO] [stdout]              (T0, T1)
[INFO] [stdout]              (T0, T1, T2)
[INFO] [stdout]              (T0, T1, T2, T3)
[INFO] [stdout]              (T0, T1, T2, T3, T4)
[INFO] [stdout]              (T0, T1, T2, T3, T4, T5)
[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]              (SyncSender<A>, std::sync::mpsc::IntoIter<A>)
[INFO] [stdout]              (SyncSender<A>, std::sync::mpsc::Receiver<A>)
[INFO] [stdout]              (T0, T1)
[INFO] [stdout]              (T0, T1, T2)
[INFO] [stdout]              (T0, T1, T2, T3)
[INFO] [stdout]              (T0, T1, T2, T3, T4)
[INFO] [stdout]              (T0, T1, T2, T3, T4, T5)
[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]               (SyncSender<A>, std::sync::mpsc::IntoIter<A>)
[INFO] [stdout]               (SyncSender<A>, std::sync::mpsc::Receiver<A>)
[INFO] [stdout]               (T0, T1)
[INFO] [stdout]               (T0, T1, T2)
[INFO] [stdout]               (T0, T1, T2, T3)
[INFO] [stdout]               (T0, T1, T2, T3, T4)
[INFO] [stdout]               (T0, T1, T2, T3, T4, T5)
[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::<HashValue>().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]               (SyncSender<A>, std::sync::mpsc::IntoIter<A>)
[INFO] [stdout]               (SyncSender<A>, std::sync::mpsc::Receiver<A>)
[INFO] [stdout]               (T0, T1)
[INFO] [stdout]               (T0, T1, T2)
[INFO] [stdout]               (T0, T1, T2, T3)
[INFO] [stdout]               (T0, T1, T2, T3, T4)
[INFO] [stdout]               (T0, T1, T2, T3, T4, T5)
[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<A: Arbitrary>() -> StrategyFor<A> {
[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::<HashValue>().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]              (SyncSender<A>, std::sync::mpsc::IntoIter<A>)
[INFO] [stdout]              (SyncSender<A>, std::sync::mpsc::Receiver<A>)
[INFO] [stdout]              (T0, T1)
[INFO] [stdout]              (T0, T1, T2)
[INFO] [stdout]              (T0, T1, T2, T3)
[INFO] [stdout]              (T0, T1, T2, T3, T4)
[INFO] [stdout]              (T0, T1, T2, T3, T4, T5)
[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::<HashValue>().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]               (SyncSender<A>, std::sync::mpsc::IntoIter<A>)
[INFO] [stdout]               (SyncSender<A>, std::sync::mpsc::Receiver<A>)
[INFO] [stdout]               (T0, T1)
[INFO] [stdout]               (T0, T1, T2)
[INFO] [stdout]               (T0, T1, T2, T3)
[INFO] [stdout]               (T0, T1, T2, T3, T4)
[INFO] [stdout]               (T0, T1, T2, T3, T4, T5)
[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<A: Arbitrary>() -> StrategyFor<A> {
[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::<HashValue>().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]              (SyncSender<A>, std::sync::mpsc::IntoIter<A>)
[INFO] [stdout]              (SyncSender<A>, std::sync::mpsc::Receiver<A>)
[INFO] [stdout]              (T0, T1)
[INFO] [stdout]              (T0, T1, T2)
[INFO] [stdout]              (T0, T1, T2, T3)
[INFO] [stdout]              (T0, T1, T2, T3, T4)
[INFO] [stdout]              (T0, T1, T2, T3, T4, T5)
[INFO] [stdout]            and 268 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]               (SyncSender<A>, std::sync::mpsc::IntoIter<A>)
[INFO] [stdout]               (SyncSender<A>, std::sync::mpsc::Receiver<A>)
[INFO] [stdout]               (T0, T1)
[INFO] [stdout]               (T0, T1, T2)
[INFO] [stdout]               (T0, T1, T2, T3)
[INFO] [stdout]               (T0, T1, T2, T3, T4)
[INFO] [stdout]               (T0, T1, T2, T3, T4, T5)
[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]     |          ^^^^^^^^^ unsatisfied trait bound
[INFO] [stdout]     |
[INFO] [stdout]     = help: the trait `_IMPL_ARBITRARY_FOR_AccessPath::_proptest::arbitrary::Arbitrary` is not implemented for `move_core_types::account_address::AccountAddress`
[INFO] [stdout]     = help: the following other types implement trait `_IMPL_ARBITRARY_FOR_AccessPath::_proptest::arbitrary::Arbitrary`:
[INFO] [stdout]               ()
[INFO] [stdout]               (SyncSender<A>, std::sync::mpsc::IntoIter<A>)
[INFO] [stdout]               (SyncSender<A>, std::sync::mpsc::Receiver<A>)
[INFO] [stdout]               (T0, T1)
[INFO] [stdout]               (T0, T1, T2)
[INFO] [stdout]               (T0, T1, T2, T3)
[INFO] [stdout]               (T0, T1, T2, T3, T4)
[INFO] [stdout]               (T0, T1, T2, T3, T4, T5)
[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]     |          ^^^^^^^^^ unsatisfied trait bound
[INFO] [stdout]     |
[INFO] [stdout]     = help: the trait `_IMPL_ARBITRARY_FOR_AccessPath::_proptest::arbitrary::Arbitrary` is not implemented for `move_core_types::account_address::AccountAddress`
[INFO] [stdout]     = help: the following other types implement trait `_IMPL_ARBITRARY_FOR_AccessPath::_proptest::arbitrary::Arbitrary`:
[INFO] [stdout]               ()
[INFO] [stdout]               (SyncSender<A>, std::sync::mpsc::IntoIter<A>)
[INFO] [stdout]               (SyncSender<A>, std::sync::mpsc::Receiver<A>)
[INFO] [stdout]               (T0, T1)
[INFO] [stdout]               (T0, T1, T2)
[INFO] [stdout]               (T0, T1, T2, T3)
[INFO] [stdout]               (T0, T1, T2, T3, T4)
[INFO] [stdout]               (T0, T1, T2, T3, T4, T5)
[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 `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]                (SyncSender<A>, std::sync::mpsc::IntoIter<A>)
[INFO] [stdout]                (SyncSender<A>, std::sync::mpsc::Receiver<A>)
[INFO] [stdout]                (T0, T1)
[INFO] [stdout]                (T0, T1, T2)
[INFO] [stdout]                (T0, T1, T2, T3)
[INFO] [stdout]                (T0, T1, T2, T3, T4)
[INFO] [stdout]                (T0, T1, T2, T3, T4, T5)
[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]               (SyncSender<A>, std::sync::mpsc::IntoIter<A>)
[INFO] [stdout]               (SyncSender<A>, std::sync::mpsc::Receiver<A>)
[INFO] [stdout]               (T0, T1)
[INFO] [stdout]               (T0, T1, T2)
[INFO] [stdout]               (T0, T1, T2, T3)
[INFO] [stdout]               (T0, T1, T2, T3, T4)
[INFO] [stdout]               (T0, T1, T2, T3, T4, T5)
[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]                (SyncSender<A>, std::sync::mpsc::IntoIter<A>)
[INFO] [stdout]                (SyncSender<A>, std::sync::mpsc::Receiver<A>)
[INFO] [stdout]                (T0, T1)
[INFO] [stdout]                (T0, T1, T2)
[INFO] [stdout]                (T0, T1, T2, T3)
[INFO] [stdout]                (T0, T1, T2, T3, T4)
[INFO] [stdout]                (T0, T1, T2, T3, T4, T5)
[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:72:14
[INFO] [stdout]    |
[INFO] [stdout] 72 |         vec((any::<AccessPath>(), WriteOp::value_strategy()), 0..64).prop_map(|write_set| {
[INFO] [stdout]    |              ^^^^^^^^^^^^^^^^^^^ unsatisfied trait bound
[INFO] [stdout]    |
[INFO] [stdout]    = help: the trait `_IMPL_ARBITRARY_FOR_AccessPath::_proptest::arbitrary::Arbitrary` is not implemented for `move_core_types::account_address::AccountAddress`
[INFO] [stdout]    = help: the following other types implement trait `_IMPL_ARBITRARY_FOR_AccessPath::_proptest::arbitrary::Arbitrary`:
[INFO] [stdout]              ()
[INFO] [stdout]              (SyncSender<A>, std::sync::mpsc::IntoIter<A>)
[INFO] [stdout]              (SyncSender<A>, std::sync::mpsc::Receiver<A>)
[INFO] [stdout]              (T0, T1)
[INFO] [stdout]              (T0, T1, T2)
[INFO] [stdout]              (T0, T1, T2, T3)
[INFO] [stdout]              (T0, T1, T2, T3, T4)
[INFO] [stdout]              (T0, T1, T2, T3, T4, T5)
[INFO] [stdout]            and 269 others
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0277]: the trait bound `KeyPair<diem_crypto::ed25519::Ed25519PrivateKey, diem_crypto::ed25519::Ed25519PublicKey>: 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<diem_crypto::ed25519::Ed25519PrivateKey, diem_crypto::ed25519::Ed25519PublicKey>`
[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<T: Clone + fmt::Debug>(
[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<diem_crypto::ed25519::Ed25519PrivateKey, diem_crypto::ed25519::Ed25519PublicKey>: 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<diem_crypto::ed25519::Ed25519PrivateKey, diem_crypto::ed25519::Ed25519PublicKey>`
[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<T: Clone + fmt::Debug>(
[INFO] [stdout]     |                    ^^^^^ required by this bound in `Just`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0277]: the trait bound `KeyPair<diem_crypto::ed25519::Ed25519PrivateKey, diem_crypto::ed25519::Ed25519PublicKey>: 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<diem_crypto::ed25519::Ed25519PrivateKey, diem_crypto::ed25519::Ed25519PublicKey>`
[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<T: Clone + fmt::Debug>(
[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<Map<(..., ..., ...), ...>>`, 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 on `Flatten<Map<(..., ..., ...), ...>>` 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<S> {
[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<S, F> {
[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-71c2d6470c284597.long-type-7371478885794472820.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<Value = KeyPair<Ed25519PrivateKey, Ed25519PublicKey>>, impl Strategy<Value = TransactionPayload>, impl Strategy<Value = String>), {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<Value = KeyPair<Ed25519PrivateKey, Ed25519PublicKey>>, impl Strategy<Value = TransactionPayload>, impl Strategy<Value = String>), {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<Value = KeyPair<Ed25519PrivateKey, Ed25519PublicKey>>, impl Strategy<Value = TransactionPayload>, impl Strategy<Value = String>), {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<Value = KeyPair<Ed25519PrivateKey, Ed25519PublicKey>>, impl Strategy<Value = TransactionPayload>, impl Strategy<Value = String>), {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<Value = KeyPair<Ed25519PrivateKey, Ed25519PublicKey>>, impl Strategy<Value = TransactionPayload>, impl Strategy<Value = String>), {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<Value = KeyPair<Ed25519PrivateKey, Ed25519PublicKey>>, impl Strategy<Value = TransactionPayload>, impl Strategy<Value = String>), {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::<VMStatus>()) -> 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]               (SyncSender<A>, std::sync::mpsc::IntoIter<A>)
[INFO] [stdout]               (SyncSender<A>, std::sync::mpsc::Receiver<A>)
[INFO] [stdout]               (T0, T1)
[INFO] [stdout]               (T0, T1, T2)
[INFO] [stdout]               (T0, T1, T2, T3)
[INFO] [stdout]               (T0, T1, T2, T3, T4)
[INFO] [stdout]               (T0, T1, T2, T3, T4, T5)
[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<A: Arbitrary>() -> StrategyFor<A> {
[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::<VMStatus>()) -> 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]               (SyncSender<A>, std::sync::mpsc::IntoIter<A>)
[INFO] [stdout]               (SyncSender<A>, std::sync::mpsc::Receiver<A>)
[INFO] [stdout]               (T0, T1)
[INFO] [stdout]               (T0, T1, T2)
[INFO] [stdout]               (T0, T1, T2, T3)
[INFO] [stdout]               (T0, T1, T2, T3, T4)
[INFO] [stdout]               (T0, T1, T2, T3, T4, T5)
[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:747:19
[INFO] [stdout]     |
[INFO] [stdout] 747 |             any::<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]               (SyncSender<A>, std::sync::mpsc::IntoIter<A>)
[INFO] [stdout]               (SyncSender<A>, std::sync::mpsc::Receiver<A>)
[INFO] [stdout]               (T0, T1)
[INFO] [stdout]               (T0, T1, T2)
[INFO] [stdout]               (T0, T1, T2, T3)
[INFO] [stdout]               (T0, T1, T2, T3, T4)
[INFO] [stdout]               (T0, T1, T2, T3, T4, T5)
[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<A: Arbitrary>() -> StrategyFor<A> {
[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::<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]               (SyncSender<A>, std::sync::mpsc::IntoIter<A>)
[INFO] [stdout]               (SyncSender<A>, std::sync::mpsc::Receiver<A>)
[INFO] [stdout]               (T0, T1)
[INFO] [stdout]               (T0, T1, T2)
[INFO] [stdout]               (T0, T1, T2, T3)
[INFO] [stdout]               (T0, T1, T2, T3, T4)
[INFO] [stdout]               (T0, T1, T2, T3, T4, T5)
[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::<TransactionInfoListWithProof<TransactionInfo>>(),
[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]               (SyncSender<A>, std::sync::mpsc::IntoIter<A>)
[INFO] [stdout]               (SyncSender<A>, std::sync::mpsc::Receiver<A>)
[INFO] [stdout]               (T0, T1)
[INFO] [stdout]               (T0, T1, T2)
[INFO] [stdout]               (T0, T1, T2, T3)
[INFO] [stdout]               (T0, T1, T2, T3, T4)
[INFO] [stdout]               (T0, T1, T2, T3, T4, T5)
[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::<TransactionInfoListWithProof<TransactionInfo>>(),
[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]               (SyncSender<A>, std::sync::mpsc::IntoIter<A>)
[INFO] [stdout]               (SyncSender<A>, std::sync::mpsc::Receiver<A>)
[INFO] [stdout]               (T0, T1)
[INFO] [stdout]               (T0, T1, T2)
[INFO] [stdout]               (T0, T1, T2, T3)
[INFO] [stdout]               (T0, T1, T2, T3, T4)
[INFO] [stdout]               (T0, T1, T2, T3, T4, T5)
[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]               (SyncSender<A>, std::sync::mpsc::IntoIter<A>)
[INFO] [stdout]               (SyncSender<A>, std::sync::mpsc::Receiver<A>)
[INFO] [stdout]               (T0, T1)
[INFO] [stdout]               (T0, T1, T2)
[INFO] [stdout]               (T0, T1, T2, T3)
[INFO] [stdout]               (T0, T1, T2, T3, T4)
[INFO] [stdout]               (T0, T1, T2, T3, T4, T5)
[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]               (SyncSender<A>, std::sync::mpsc::IntoIter<A>)
[INFO] [stdout]               (SyncSender<A>, std::sync::mpsc::Receiver<A>)
[INFO] [stdout]               (T0, T1)
[INFO] [stdout]               (T0, T1, T2)
[INFO] [stdout]               (T0, T1, T2, T3)
[INFO] [stdout]               (T0, T1, T2, T3, T4)
[INFO] [stdout]               (T0, T1, T2, T3, T4, T5)
[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]               (SyncSender<A>, std::sync::mpsc::IntoIter<A>)
[INFO] [stdout]               (SyncSender<A>, std::sync::mpsc::Receiver<A>)
[INFO] [stdout]               (T0, T1)
[INFO] [stdout]               (T0, T1, T2)
[INFO] [stdout]               (T0, T1, T2, T3)
[INFO] [stdout]               (T0, T1, T2, T3, T4)
[INFO] [stdout]               (T0, T1, T2, T3, T4, T5)
[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]               (SyncSender<A>, std::sync::mpsc::IntoIter<A>)
[INFO] [stdout]               (SyncSender<A>, std::sync::mpsc::Receiver<A>)
[INFO] [stdout]               (T0, T1)
[INFO] [stdout]               (T0, T1, T2)
[INFO] [stdout]               (T0, T1, T2, T3)
[INFO] [stdout]               (T0, T1, T2, T3, T4)
[INFO] [stdout]               (T0, T1, T2, T3, T4, T5)
[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]              (SyncSender<A>, std::sync::mpsc::IntoIter<A>)
[INFO] [stdout]              (SyncSender<A>, std::sync::mpsc::Receiver<A>)
[INFO] [stdout]              (T0, T1)
[INFO] [stdout]              (T0, T1, T2)
[INFO] [stdout]              (T0, T1, T2, T3)
[INFO] [stdout]              (T0, T1, T2, T3, T4)
[INFO] [stdout]              (T0, T1, T2, T3, T4, T5)
[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]    |                                                   ^^^^^^^^^ unsatisfied trait bound
[INFO] [stdout]    |
[INFO] [stdout]    = help: the trait `_IMPL_ARBITRARY_FOR_AccessPath::_proptest::arbitrary::Arbitrary` is not implemented for `move_core_types::account_address::AccountAddress`
[INFO] [stdout]    = help: the following other types implement trait `_IMPL_ARBITRARY_FOR_AccessPath::_proptest::arbitrary::Arbitrary`:
[INFO] [stdout]              ()
[INFO] [stdout]              (SyncSender<A>, std::sync::mpsc::IntoIter<A>)
[INFO] [stdout]              (SyncSender<A>, std::sync::mpsc::Receiver<A>)
[INFO] [stdout]              (T0, T1)
[INFO] [stdout]              (T0, T1, T2)
[INFO] [stdout]              (T0, T1, T2, T3)
[INFO] [stdout]              (T0, T1, T2, T3, T4)
[INFO] [stdout]              (T0, T1, T2, T3, T4, T5)
[INFO] [stdout]            and 268 others
[INFO] [stdout]    = note: required for `BTreeMap<AccountAddress, ValidatorConsensusInfo>` to implement `_IMPL_ARBITRARY_FOR_AccessPath::_proptest::arbitrary::Arbitrary`
[INFO] [stdout]    = note: the full name for the type has been written to '/opt/rustwide/target/debug/deps/diem_types-71c2d6470c284597.long-type-1799986869455673913.txt'
[INFO] [stdout]    = note: consider using `--verbose` to print the full type name to the console
[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]              (SyncSender<A>, std::sync::mpsc::IntoIter<A>)
[INFO] [stdout]              (SyncSender<A>, std::sync::mpsc::Receiver<A>)
[INFO] [stdout]              (T0, T1)
[INFO] [stdout]              (T0, T1, T2)
[INFO] [stdout]              (T0, T1, T2, T3)
[INFO] [stdout]              (T0, T1, T2, T3, T4)
[INFO] [stdout]              (T0, T1, T2, T3, T4, T5)
[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]              (SyncSender<A>, std::sync::mpsc::IntoIter<A>)
[INFO] [stdout]              (SyncSender<A>, std::sync::mpsc::Receiver<A>)
[INFO] [stdout]              (T0, T1)
[INFO] [stdout]              (T0, T1, T2)
[INFO] [stdout]              (T0, T1, T2, T3)
[INFO] [stdout]              (T0, T1, T2, T3, T4)
[INFO] [stdout]              (T0, T1, T2, T3, T4, T5)
[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]              (SyncSender<A>, std::sync::mpsc::IntoIter<A>)
[INFO] [stdout]              (SyncSender<A>, std::sync::mpsc::Receiver<A>)
[INFO] [stdout]              (T0, T1)
[INFO] [stdout]              (T0, T1, T2)
[INFO] [stdout]              (T0, T1, T2, T3)
[INFO] [stdout]              (T0, T1, T2, T3, T4)
[INFO] [stdout]              (T0, T1, T2, T3, T4, T5)
[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]    |                                                   ^^^^^^^^^ unsatisfied trait bound
[INFO] [stdout]    |
[INFO] [stdout]    = help: the trait `_IMPL_ARBITRARY_FOR_AccessPath::_proptest::arbitrary::Arbitrary` is not implemented for `move_core_types::account_address::AccountAddress`
[INFO] [stdout]    = help: the following other types implement trait `_IMPL_ARBITRARY_FOR_AccessPath::_proptest::arbitrary::Arbitrary`:
[INFO] [stdout]              ()
[INFO] [stdout]              (SyncSender<A>, std::sync::mpsc::IntoIter<A>)
[INFO] [stdout]              (SyncSender<A>, std::sync::mpsc::Receiver<A>)
[INFO] [stdout]              (T0, T1)
[INFO] [stdout]              (T0, T1, T2)
[INFO] [stdout]              (T0, T1, T2, T3)
[INFO] [stdout]              (T0, T1, T2, T3, T4)
[INFO] [stdout]              (T0, T1, T2, T3, T4, T5)
[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]              (SyncSender<A>, std::sync::mpsc::IntoIter<A>)
[INFO] [stdout]              (SyncSender<A>, std::sync::mpsc::Receiver<A>)
[INFO] [stdout]              (T0, T1)
[INFO] [stdout]              (T0, T1, T2)
[INFO] [stdout]              (T0, T1, T2, T3)
[INFO] [stdout]              (T0, T1, T2, T3, T4)
[INFO] [stdout]              (T0, T1, T2, T3, T4, T5)
[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]    |     ^^^^^^^^^^^^^^^ unsatisfied trait bound
[INFO] [stdout]    |
[INFO] [stdout]    = help: the trait `_IMPL_ARBITRARY_FOR_AccessPath::_proptest::arbitrary::Arbitrary` is not implemented for `move_core_types::account_address::AccountAddress`
[INFO] [stdout]    = help: the following other types implement trait `_IMPL_ARBITRARY_FOR_AccessPath::_proptest::arbitrary::Arbitrary`:
[INFO] [stdout]              ()
[INFO] [stdout]              (SyncSender<A>, std::sync::mpsc::IntoIter<A>)
[INFO] [stdout]              (SyncSender<A>, std::sync::mpsc::Receiver<A>)
[INFO] [stdout]              (T0, T1)
[INFO] [stdout]              (T0, T1, T2)
[INFO] [stdout]              (T0, T1, T2, T3)
[INFO] [stdout]              (T0, T1, T2, T3, T4)
[INFO] [stdout]              (T0, T1, T2, T3, T4, T5)
[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`
[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<Vec<diem_crypto::ed25519::Ed25519PrivateKey>>`
[INFO] [stdout]     = note: required for `Vec<diem_crypto::ed25519::Ed25519PrivateKey>` to implement `Into<Cow<'static, [diem_crypto::ed25519::Ed25519PrivateKey]>>`
[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<T: Clone + fmt::Debug + 'static>(
[INFO] [stdout]     |        ------ required by a bound in this function
[INFO] [stdout] 157 |     values: impl Into<Cow<'static, [T]>>,
[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<Ed25519PrivateKey>) -> impl Strategy<Value = Ed25519PrivateKey> {
[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[<T>][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]              (SyncSender<A>, std::sync::mpsc::IntoIter<A>)
[INFO] [stdout]              (SyncSender<A>, std::sync::mpsc::Receiver<A>)
[INFO] [stdout]              (T0, T1)
[INFO] [stdout]              (T0, T1, T2)
[INFO] [stdout]              (T0, T1, T2, T3)
[INFO] [stdout]              (T0, T1, T2, T3, T4)
[INFO] [stdout]              (T0, T1, T2, T3, T4, T5)
[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]    |                                                   ^^^^^^^^^ unsatisfied trait bound
[INFO] [stdout]    |
[INFO] [stdout]    = help: the trait `_IMPL_ARBITRARY_FOR_AccessPath::_proptest::arbitrary::Arbitrary` is not implemented for `move_core_types::account_address::AccountAddress`
[INFO] [stdout]    = help: the following other types implement trait `_IMPL_ARBITRARY_FOR_AccessPath::_proptest::arbitrary::Arbitrary`:
[INFO] [stdout]              ()
[INFO] [stdout]              (SyncSender<A>, std::sync::mpsc::IntoIter<A>)
[INFO] [stdout]              (SyncSender<A>, std::sync::mpsc::Receiver<A>)
[INFO] [stdout]              (T0, T1)
[INFO] [stdout]              (T0, T1, T2)
[INFO] [stdout]              (T0, T1, T2, T3)
[INFO] [stdout]              (T0, T1, T2, T3, T4)
[INFO] [stdout]              (T0, T1, T2, T3, T4, T5)
[INFO] [stdout]            and 268 others
[INFO] [stdout]    = note: required for `BTreeMap<AccountAddress, ValidatorConsensusInfo>` to implement `_IMPL_ARBITRARY_FOR_AccessPath::_proptest::arbitrary::Arbitrary`
[INFO] [stdout]    = note: the full name for the type has been written to '/opt/rustwide/target/debug/deps/diem_types-71c2d6470c284597.long-type-1799986869455673913.txt'
[INFO] [stdout]    = note: consider using `--verbose` to print the full type name to the console
[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]              (SyncSender<A>, std::sync::mpsc::IntoIter<A>)
[INFO] [stdout]              (SyncSender<A>, std::sync::mpsc::Receiver<A>)
[INFO] [stdout]              (T0, T1)
[INFO] [stdout]              (T0, T1, T2)
[INFO] [stdout]              (T0, T1, T2, T3)
[INFO] [stdout]              (T0, T1, T2, T3, T4)
[INFO] [stdout]              (T0, T1, T2, T3, T4, T5)
[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]              (SyncSender<A>, std::sync::mpsc::IntoIter<A>)
[INFO] [stdout]              (SyncSender<A>, std::sync::mpsc::Receiver<A>)
[INFO] [stdout]              (T0, T1)
[INFO] [stdout]              (T0, T1, T2)
[INFO] [stdout]              (T0, T1, T2, T3)
[INFO] [stdout]              (T0, T1, T2, T3, T4)
[INFO] [stdout]              (T0, T1, T2, T3, T4, T5)
[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]    |     ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ unsatisfied trait bound
[INFO] [stdout]    |
[INFO] [stdout]    = help: the trait `_IMPL_ARBITRARY_FOR_AccessPath::_proptest::arbitrary::Arbitrary` is not implemented for `move_core_types::account_address::AccountAddress`
[INFO] [stdout]    = help: the following other types implement trait `_IMPL_ARBITRARY_FOR_AccessPath::_proptest::arbitrary::Arbitrary`:
[INFO] [stdout]              ()
[INFO] [stdout]              (SyncSender<A>, std::sync::mpsc::IntoIter<A>)
[INFO] [stdout]              (SyncSender<A>, std::sync::mpsc::Receiver<A>)
[INFO] [stdout]              (T0, T1)
[INFO] [stdout]              (T0, T1, T2)
[INFO] [stdout]              (T0, T1, T2, T3)
[INFO] [stdout]              (T0, T1, T2, T3, T4)
[INFO] [stdout]              (T0, T1, T2, T3, T4, T5)
[INFO] [stdout]            and 268 others
[INFO] [stdout]    = note: required for `BTreeMap<AccountAddress, ValidatorConsensusInfo>` to implement `_IMPL_ARBITRARY_FOR_AccessPath::_proptest::arbitrary::Arbitrary`
[INFO] [stdout]    = note: the full name for the type has been written to '/opt/rustwide/target/debug/deps/diem_types-71c2d6470c284597.long-type-1799986869455673913.txt'
[INFO] [stdout]    = note: consider using `--verbose` to print the full type name to the console
[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]              (SyncSender<A>, std::sync::mpsc::IntoIter<A>)
[INFO] [stdout]              (SyncSender<A>, std::sync::mpsc::Receiver<A>)
[INFO] [stdout]              (T0, T1)
[INFO] [stdout]              (T0, T1, T2)
[INFO] [stdout]              (T0, T1, T2, T3)
[INFO] [stdout]              (T0, T1, T2, T3, T4)
[INFO] [stdout]              (T0, T1, T2, T3, T4, T5)
[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]              (SyncSender<A>, std::sync::mpsc::IntoIter<A>)
[INFO] [stdout]              (SyncSender<A>, std::sync::mpsc::Receiver<A>)
[INFO] [stdout]              (T0, T1)
[INFO] [stdout]              (T0, T1, T2)
[INFO] [stdout]              (T0, T1, T2, T3)
[INFO] [stdout]              (T0, T1, T2, T3, T4)
[INFO] [stdout]              (T0, T1, T2, T3, T4, T5)
[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]     |                  ^^^^^^^^^^^^^^ unsatisfied trait bound
[INFO] [stdout]     |
[INFO] [stdout]     = help: the trait `_IMPL_ARBITRARY_FOR_AccessPath::_proptest::arbitrary::Arbitrary` is not implemented for `move_core_types::account_address::AccountAddress`
[INFO] [stdout]     = help: the following other types implement trait `_IMPL_ARBITRARY_FOR_AccessPath::_proptest::arbitrary::Arbitrary`:
[INFO] [stdout]               ()
[INFO] [stdout]               (SyncSender<A>, std::sync::mpsc::IntoIter<A>)
[INFO] [stdout]               (SyncSender<A>, std::sync::mpsc::Receiver<A>)
[INFO] [stdout]               (T0, T1)
[INFO] [stdout]               (T0, T1, T2)
[INFO] [stdout]               (T0, T1, T2, T3)
[INFO] [stdout]               (T0, T1, T2, T3, T4)
[INFO] [stdout]               (T0, T1, T2, T3, T4, T5)
[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<A: Arbitrary>(args: ParamsFor<A>) -> StrategyFor<A> {
[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]     |                      ^^^^^^^^^^^^^^ unsatisfied trait bound
[INFO] [stdout]     |
[INFO] [stdout]     = help: the trait `_IMPL_ARBITRARY_FOR_AccessPath::_proptest::arbitrary::Arbitrary` is not implemented for `move_core_types::account_address::AccountAddress`
[INFO] [stdout]     = help: the following other types implement trait `_IMPL_ARBITRARY_FOR_AccessPath::_proptest::arbitrary::Arbitrary`:
[INFO] [stdout]               ()
[INFO] [stdout]               (SyncSender<A>, std::sync::mpsc::IntoIter<A>)
[INFO] [stdout]               (SyncSender<A>, std::sync::mpsc::Receiver<A>)
[INFO] [stdout]               (T0, T1)
[INFO] [stdout]               (T0, T1, T2)
[INFO] [stdout]               (T0, T1, T2, T3)
[INFO] [stdout]               (T0, T1, T2, T3, T4)
[INFO] [stdout]               (T0, T1, T2, T3, T4, T5)
[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<A: Arbitrary>(args: ParamsFor<A>) -> StrategyFor<A> {
[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]     |                       ^^^^^^^^^^^^^^ unsatisfied trait bound
[INFO] [stdout]     |
[INFO] [stdout]     = help: the trait `_IMPL_ARBITRARY_FOR_AccessPath::_proptest::arbitrary::Arbitrary` is not implemented for `move_core_types::account_address::AccountAddress`
[INFO] [stdout]     = help: the following other types implement trait `_IMPL_ARBITRARY_FOR_AccessPath::_proptest::arbitrary::Arbitrary`:
[INFO] [stdout]               ()
[INFO] [stdout]               (SyncSender<A>, std::sync::mpsc::IntoIter<A>)
[INFO] [stdout]               (SyncSender<A>, std::sync::mpsc::Receiver<A>)
[INFO] [stdout]               (T0, T1)
[INFO] [stdout]               (T0, T1, T2)
[INFO] [stdout]               (T0, T1, T2, T3)
[INFO] [stdout]               (T0, T1, T2, T3, T4)
[INFO] [stdout]               (T0, T1, T2, T3, T4, T5)
[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<A: Arbitrary>(args: ParamsFor<A>) -> StrategyFor<A> {
[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]     |                      ^^^^^^^^^^^^^^ unsatisfied trait bound
[INFO] [stdout]     |
[INFO] [stdout]     = help: the trait `_IMPL_ARBITRARY_FOR_AccessPath::_proptest::arbitrary::Arbitrary` is not implemented for `move_core_types::account_address::AccountAddress`
[INFO] [stdout]     = help: the following other types implement trait `_IMPL_ARBITRARY_FOR_AccessPath::_proptest::arbitrary::Arbitrary`:
[INFO] [stdout]               ()
[INFO] [stdout]               (SyncSender<A>, std::sync::mpsc::IntoIter<A>)
[INFO] [stdout]               (SyncSender<A>, std::sync::mpsc::Receiver<A>)
[INFO] [stdout]               (T0, T1)
[INFO] [stdout]               (T0, T1, T2)
[INFO] [stdout]               (T0, T1, T2, T3)
[INFO] [stdout]               (T0, T1, T2, T3, T4)
[INFO] [stdout]               (T0, T1, T2, T3, T4, T5)
[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<A: Arbitrary>(args: ParamsFor<A>) -> StrategyFor<A> {
[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::<AccountStateWithProof>()) {
[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]               (SyncSender<A>, std::sync::mpsc::IntoIter<A>)
[INFO] [stdout]               (SyncSender<A>, std::sync::mpsc::Receiver<A>)
[INFO] [stdout]               (T0, T1)
[INFO] [stdout]               (T0, T1, T2)
[INFO] [stdout]               (T0, T1, T2, T3)
[INFO] [stdout]               (T0, T1, T2, T3, T4)
[INFO] [stdout]               (T0, T1, T2, T3, T4, T5)
[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::<AccountStateWithProof>()) {
[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]               (SyncSender<A>, std::sync::mpsc::IntoIter<A>)
[INFO] [stdout]               (SyncSender<A>, std::sync::mpsc::Receiver<A>)
[INFO] [stdout]               (T0, T1)
[INFO] [stdout]               (T0, T1, T2)
[INFO] [stdout]               (T0, T1, T2, T3)
[INFO] [stdout]               (T0, T1, T2, T3, T4)
[INFO] [stdout]               (T0, T1, T2, T3, T4, T5)
[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]               (SyncSender<A>, std::sync::mpsc::IntoIter<A>)
[INFO] [stdout]               (SyncSender<A>, std::sync::mpsc::Receiver<A>)
[INFO] [stdout]               (T0, T1)
[INFO] [stdout]               (T0, T1, T2)
[INFO] [stdout]               (T0, T1, T2, T3)
[INFO] [stdout]               (T0, T1, T2, T3, T4)
[INFO] [stdout]               (T0, T1, T2, T3, T4, T5)
[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<A: Arbitrary>(args: ParamsFor<A>) -> StrategyFor<A> {
[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]               (SyncSender<A>, std::sync::mpsc::IntoIter<A>)
[INFO] [stdout]               (SyncSender<A>, std::sync::mpsc::Receiver<A>)
[INFO] [stdout]               (T0, T1)
[INFO] [stdout]               (T0, T1, T2)
[INFO] [stdout]               (T0, T1, T2, T3)
[INFO] [stdout]               (T0, T1, T2, T3, T4)
[INFO] [stdout]               (T0, T1, T2, T3, T4, T5)
[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<A: Arbitrary>(args: ParamsFor<A>) -> StrategyFor<A> {
[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]               (SyncSender<A>, std::sync::mpsc::IntoIter<A>)
[INFO] [stdout]               (SyncSender<A>, std::sync::mpsc::Receiver<A>)
[INFO] [stdout]               (T0, T1)
[INFO] [stdout]               (T0, T1, T2)
[INFO] [stdout]               (T0, T1, T2, T3)
[INFO] [stdout]               (T0, T1, T2, T3, T4)
[INFO] [stdout]               (T0, T1, T2, T3, T4, T5)
[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<A: Arbitrary>(args: ParamsFor<A>) -> StrategyFor<A> {
[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::<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]               (SyncSender<A>, std::sync::mpsc::IntoIter<A>)
[INFO] [stdout]               (SyncSender<A>, std::sync::mpsc::Receiver<A>)
[INFO] [stdout]               (T0, T1)
[INFO] [stdout]               (T0, T1, T2)
[INFO] [stdout]               (T0, T1, T2, T3)
[INFO] [stdout]               (T0, T1, T2, T3, T4)
[INFO] [stdout]               (T0, T1, T2, T3, T4, T5)
[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::<LedgerInfo>(),
[INFO] [stdout]     |             ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ unsatisfied trait bound
[INFO] [stdout]     |
[INFO] [stdout]     = help: the trait `_IMPL_ARBITRARY_FOR_AccessPath::_proptest::arbitrary::Arbitrary` is not implemented for `move_core_types::account_address::AccountAddress`
[INFO] [stdout]     = help: the following other types implement trait `_IMPL_ARBITRARY_FOR_AccessPath::_proptest::arbitrary::Arbitrary`:
[INFO] [stdout]               ()
[INFO] [stdout]               (SyncSender<A>, std::sync::mpsc::IntoIter<A>)
[INFO] [stdout]               (SyncSender<A>, std::sync::mpsc::Receiver<A>)
[INFO] [stdout]               (T0, T1)
[INFO] [stdout]               (T0, T1, T2)
[INFO] [stdout]               (T0, T1, T2, T3)
[INFO] [stdout]               (T0, T1, T2, T3, T4)
[INFO] [stdout]               (T0, T1, T2, T3, T4, T5)
[INFO] [stdout]             and 268 others
[INFO] [stdout]     = note: required for `BTreeMap<AccountAddress, ValidatorConsensusInfo>` to implement `_IMPL_ARBITRARY_FOR_AccessPath::_proptest::arbitrary::Arbitrary`
[INFO] [stdout]     = note: the full name for the type has been written to '/opt/rustwide/target/debug/deps/diem_types-71c2d6470c284597.long-type-1799986869455673913.txt'
[INFO] [stdout]     = note: consider using `--verbose` to print the full type name to the console
[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::<LedgerInfo>(),
[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]               (SyncSender<A>, std::sync::mpsc::IntoIter<A>)
[INFO] [stdout]               (SyncSender<A>, std::sync::mpsc::Receiver<A>)
[INFO] [stdout]               (T0, T1)
[INFO] [stdout]               (T0, T1, T2)
[INFO] [stdout]               (T0, T1, T2, T3)
[INFO] [stdout]               (T0, T1, T2, T3, T4)
[INFO] [stdout]               (T0, T1, T2, T3, T4, T5)
[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::<AccountAddress>(), 0..100),
[INFO] [stdout]     |                                                                  ^^^^^^^^^^^^^^ unsatisfied trait bound
[INFO] [stdout]     |
[INFO] [stdout]     = help: the trait `_IMPL_ARBITRARY_FOR_AccessPath::_proptest::arbitrary::Arbitrary` is not implemented for `move_core_types::account_address::AccountAddress`
[INFO] [stdout]     = help: the following other types implement trait `_IMPL_ARBITRARY_FOR_AccessPath::_proptest::arbitrary::Arbitrary`:
[INFO] [stdout]               ()
[INFO] [stdout]               (SyncSender<A>, std::sync::mpsc::IntoIter<A>)
[INFO] [stdout]               (SyncSender<A>, std::sync::mpsc::Receiver<A>)
[INFO] [stdout]               (T0, T1)
[INFO] [stdout]               (T0, T1, T2)
[INFO] [stdout]               (T0, T1, T2, T3)
[INFO] [stdout]               (T0, T1, T2, T3, T4)
[INFO] [stdout]               (T0, T1, T2, T3, T4, T5)
[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<A: Arbitrary>() -> StrategyFor<A> {
[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]               (SyncSender<A>, std::sync::mpsc::IntoIter<A>)
[INFO] [stdout]               (SyncSender<A>, std::sync::mpsc::Receiver<A>)
[INFO] [stdout]               (T0, T1)
[INFO] [stdout]               (T0, T1, T2)
[INFO] [stdout]               (T0, T1, T2, T3)
[INFO] [stdout]               (T0, T1, T2, T3, T4)
[INFO] [stdout]               (T0, T1, T2, T3, T4, T5)
[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<A: Arbitrary>(args: ParamsFor<A>) -> StrategyFor<A> {
[INFO] [stdout]     |                    ^^^^^^^^^ required by this bound in `any_with`
[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::<Protocol>(), 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]               (SyncSender<A>, std::sync::mpsc::IntoIter<A>)
[INFO] [stdout]               (SyncSender<A>, std::sync::mpsc::Receiver<A>)
[INFO] [stdout]               (T0, T1)
[INFO] [stdout]               (T0, T1, T2)
[INFO] [stdout]               (T0, T1, T2, T3)
[INFO] [stdout]               (T0, T1, T2, T3, T4)
[INFO] [stdout]               (T0, T1, T2, T3, T4, T5)
[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::<HashValue>(), 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]               (SyncSender<A>, std::sync::mpsc::IntoIter<A>)
[INFO] [stdout]               (SyncSender<A>, std::sync::mpsc::Receiver<A>)
[INFO] [stdout]               (T0, T1)
[INFO] [stdout]               (T0, T1, T2)
[INFO] [stdout]               (T0, T1, T2, T3)
[INFO] [stdout]               (T0, T1, T2, T3, T4)
[INFO] [stdout]               (T0, T1, T2, T3, T4, T5)
[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<A: Arbitrary>() -> StrategyFor<A> {
[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::<HashValue>(), 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]               (SyncSender<A>, std::sync::mpsc::IntoIter<A>)
[INFO] [stdout]               (SyncSender<A>, std::sync::mpsc::Receiver<A>)
[INFO] [stdout]               (T0, T1)
[INFO] [stdout]               (T0, T1, T2)
[INFO] [stdout]               (T0, T1, T2, T3)
[INFO] [stdout]               (T0, T1, T2, T3, T4)
[INFO] [stdout]               (T0, T1, T2, T3, T4, T5)
[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<A: Arbitrary>() -> StrategyFor<A> {
[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::<HashValue>(), 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]               (SyncSender<A>, std::sync::mpsc::IntoIter<A>)
[INFO] [stdout]               (SyncSender<A>, std::sync::mpsc::Receiver<A>)
[INFO] [stdout]               (T0, T1)
[INFO] [stdout]               (T0, T1, T2)
[INFO] [stdout]               (T0, T1, T2, T3)
[INFO] [stdout]               (T0, T1, T2, T3, T4)
[INFO] [stdout]               (T0, T1, T2, T3, T4, T5)
[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::<Vec<_>>()
[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/31561a63598a0f21fc74c024747ef1310fdd2eb2/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::<Option<SparseMerkleLeafNode>>(),
[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]              (SyncSender<A>, std::sync::mpsc::IntoIter<A>)
[INFO] [stdout]              (SyncSender<A>, std::sync::mpsc::Receiver<A>)
[INFO] [stdout]              (T0, T1)
[INFO] [stdout]              (T0, T1, T2)
[INFO] [stdout]              (T0, T1, T2, T3)
[INFO] [stdout]              (T0, T1, T2, T3, T4)
[INFO] [stdout]              (T0, T1, T2, T3, T4, T5)
[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/31561a63598a0f21fc74c024747ef1310fdd2eb2/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::<TransactionInfoWithProof>()) {
[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]              (SyncSender<A>, std::sync::mpsc::IntoIter<A>)
[INFO] [stdout]              (SyncSender<A>, std::sync::mpsc::Receiver<A>)
[INFO] [stdout]              (T0, T1)
[INFO] [stdout]              (T0, T1, T2)
[INFO] [stdout]              (T0, T1, T2, T3)
[INFO] [stdout]              (T0, T1, T2, T3, T4)
[INFO] [stdout]              (T0, T1, T2, T3, T4, T5)
[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::<TransactionInfoWithProof>()) {
[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]              (SyncSender<A>, std::sync::mpsc::IntoIter<A>)
[INFO] [stdout]              (SyncSender<A>, std::sync::mpsc::Receiver<A>)
[INFO] [stdout]              (T0, T1)
[INFO] [stdout]              (T0, T1, T2)
[INFO] [stdout]              (T0, T1, T2, T3)
[INFO] [stdout]              (T0, T1, T2, T3, T4)
[INFO] [stdout]              (T0, T1, T2, T3, T4, T5)
[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::<AccountStateProof>()) {
[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]              (SyncSender<A>, std::sync::mpsc::IntoIter<A>)
[INFO] [stdout]              (SyncSender<A>, std::sync::mpsc::Receiver<A>)
[INFO] [stdout]              (T0, T1)
[INFO] [stdout]              (T0, T1, T2)
[INFO] [stdout]              (T0, T1, T2, T3)
[INFO] [stdout]              (T0, T1, T2, T3, T4)
[INFO] [stdout]              (T0, T1, T2, T3, T4, T5)
[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::<AccountStateProof>()) {
[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]              (SyncSender<A>, std::sync::mpsc::IntoIter<A>)
[INFO] [stdout]              (SyncSender<A>, std::sync::mpsc::Receiver<A>)
[INFO] [stdout]              (T0, T1)
[INFO] [stdout]              (T0, T1, T2)
[INFO] [stdout]              (T0, T1, T2, T3)
[INFO] [stdout]              (T0, T1, T2, T3, T4)
[INFO] [stdout]              (T0, T1, T2, T3, T4, T5)
[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::<EventProof>()) {
[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]              (SyncSender<A>, std::sync::mpsc::IntoIter<A>)
[INFO] [stdout]              (SyncSender<A>, std::sync::mpsc::Receiver<A>)
[INFO] [stdout]              (T0, T1)
[INFO] [stdout]              (T0, T1, T2)
[INFO] [stdout]              (T0, T1, T2, T3)
[INFO] [stdout]              (T0, T1, T2, T3, T4)
[INFO] [stdout]              (T0, T1, T2, T3, T4, T5)
[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::<EventProof>()) {
[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]              (SyncSender<A>, std::sync::mpsc::IntoIter<A>)
[INFO] [stdout]              (SyncSender<A>, std::sync::mpsc::Receiver<A>)
[INFO] [stdout]              (T0, T1)
[INFO] [stdout]              (T0, T1, T2)
[INFO] [stdout]              (T0, T1, T2, T3)
[INFO] [stdout]              (T0, T1, T2, T3, T4)
[INFO] [stdout]              (T0, T1, T2, T3, T4, T5)
[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::<TransactionInfoListWithProof>()) {
[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]              (SyncSender<A>, std::sync::mpsc::IntoIter<A>)
[INFO] [stdout]              (SyncSender<A>, std::sync::mpsc::Receiver<A>)
[INFO] [stdout]              (T0, T1)
[INFO] [stdout]              (T0, T1, T2)
[INFO] [stdout]              (T0, T1, T2, T3)
[INFO] [stdout]              (T0, T1, T2, T3, T4)
[INFO] [stdout]              (T0, T1, T2, T3, T4, T5)
[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::<TransactionInfoListWithProof>()) {
[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]              (SyncSender<A>, std::sync::mpsc::IntoIter<A>)
[INFO] [stdout]              (SyncSender<A>, std::sync::mpsc::Receiver<A>)
[INFO] [stdout]              (T0, T1)
[INFO] [stdout]              (T0, T1, T2)
[INFO] [stdout]              (T0, T1, T2, T3)
[INFO] [stdout]              (T0, T1, T2, T3, T4)
[INFO] [stdout]              (T0, T1, T2, T3, T4, T5)
[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]               (SyncSender<A>, std::sync::mpsc::IntoIter<A>)
[INFO] [stdout]               (SyncSender<A>, std::sync::mpsc::Receiver<A>)
[INFO] [stdout]               (T0, T1)
[INFO] [stdout]               (T0, T1, T2)
[INFO] [stdout]               (T0, T1, T2, T3)
[INFO] [stdout]               (T0, T1, T2, T3, T4)
[INFO] [stdout]               (T0, T1, T2, T3, T4, T5)
[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<A: Arbitrary>(args: ParamsFor<A>) -> StrategyFor<A> {
[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]               (SyncSender<A>, std::sync::mpsc::IntoIter<A>)
[INFO] [stdout]               (SyncSender<A>, std::sync::mpsc::Receiver<A>)
[INFO] [stdout]               (T0, T1)
[INFO] [stdout]               (T0, T1, T2)
[INFO] [stdout]               (T0, T1, T2, T3)
[INFO] [stdout]               (T0, T1, T2, T3, T4)
[INFO] [stdout]               (T0, T1, T2, T3, T4, T5)
[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<A: Arbitrary>(args: ParamsFor<A>) -> StrategyFor<A> {
[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::<AccessPath>(), any::<WriteOp>()), 0..64)
[INFO] [stdout]    |              ^^^^^^^^^^^^^^^^^^^ unsatisfied trait bound
[INFO] [stdout]    |
[INFO] [stdout]    = help: the trait `_IMPL_ARBITRARY_FOR_AccessPath::_proptest::arbitrary::Arbitrary` is not implemented for `move_core_types::account_address::AccountAddress`
[INFO] [stdout]    = help: the following other types implement trait `_IMPL_ARBITRARY_FOR_AccessPath::_proptest::arbitrary::Arbitrary`:
[INFO] [stdout]              ()
[INFO] [stdout]              (SyncSender<A>, std::sync::mpsc::IntoIter<A>)
[INFO] [stdout]              (SyncSender<A>, std::sync::mpsc::Receiver<A>)
[INFO] [stdout]              (T0, T1)
[INFO] [stdout]              (T0, T1, T2)
[INFO] [stdout]              (T0, T1, T2, T3)
[INFO] [stdout]              (T0, T1, T2, T3, T4)
[INFO] [stdout]              (T0, T1, T2, T3, T4, T5)
[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::<AccountAddress>(),
[INFO] [stdout]     |                   ^^^^^^^^^^^^^^ unsatisfied trait bound
[INFO] [stdout]     |
[INFO] [stdout]     = help: the trait `_IMPL_ARBITRARY_FOR_AccessPath::_proptest::arbitrary::Arbitrary` is not implemented for `move_core_types::account_address::AccountAddress`
[INFO] [stdout]     = help: the following other types implement trait `_IMPL_ARBITRARY_FOR_AccessPath::_proptest::arbitrary::Arbitrary`:
[INFO] [stdout]               ()
[INFO] [stdout]               (SyncSender<A>, std::sync::mpsc::IntoIter<A>)
[INFO] [stdout]               (SyncSender<A>, std::sync::mpsc::Receiver<A>)
[INFO] [stdout]               (T0, T1)
[INFO] [stdout]               (T0, T1, T2)
[INFO] [stdout]               (T0, T1, T2, T3)
[INFO] [stdout]               (T0, T1, T2, T3, T4)
[INFO] [stdout]               (T0, T1, T2, T3, T4, T5)
[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<A: Arbitrary>() -> StrategyFor<A> {
[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::<AccountAddress>(),
[INFO] [stdout]     |             ^^^^^^^^^^^^^^^^^^^^^^^ unsatisfied trait bound
[INFO] [stdout]     |
[INFO] [stdout]     = help: the trait `_IMPL_ARBITRARY_FOR_AccessPath::_proptest::arbitrary::Arbitrary` is not implemented for `move_core_types::account_address::AccountAddress`
[INFO] [stdout]     = help: the following other types implement trait `_IMPL_ARBITRARY_FOR_AccessPath::_proptest::arbitrary::Arbitrary`:
[INFO] [stdout]               ()
[INFO] [stdout]               (SyncSender<A>, std::sync::mpsc::IntoIter<A>)
[INFO] [stdout]               (SyncSender<A>, std::sync::mpsc::Receiver<A>)
[INFO] [stdout]               (T0, T1)
[INFO] [stdout]               (T0, T1, T2)
[INFO] [stdout]               (T0, T1, T2, T3)
[INFO] [stdout]               (T0, T1, T2, T3, T4)
[INFO] [stdout]               (T0, T1, T2, T3, T4, T5)
[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::<TypeTag>(), 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]               (SyncSender<A>, std::sync::mpsc::IntoIter<A>)
[INFO] [stdout]               (SyncSender<A>, std::sync::mpsc::Receiver<A>)
[INFO] [stdout]               (T0, T1)
[INFO] [stdout]               (T0, T1, T2)
[INFO] [stdout]               (T0, T1, T2, T3)
[INFO] [stdout]               (T0, T1, T2, T3, T4)
[INFO] [stdout]               (T0, T1, T2, T3, T4, T5)
[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<A: Arbitrary>() -> StrategyFor<A> {
[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::<TransactionArgument>(), 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]               (SyncSender<A>, std::sync::mpsc::IntoIter<A>)
[INFO] [stdout]               (SyncSender<A>, std::sync::mpsc::Receiver<A>)
[INFO] [stdout]               (T0, T1)
[INFO] [stdout]               (T0, T1, T2)
[INFO] [stdout]               (T0, T1, T2, T3)
[INFO] [stdout]               (T0, T1, T2, T3, T4)
[INFO] [stdout]               (T0, T1, T2, T3, T4, T5)
[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<A: Arbitrary>() -> StrategyFor<A> {
[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::<TypeTag>(), 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]               (SyncSender<A>, std::sync::mpsc::IntoIter<A>)
[INFO] [stdout]               (SyncSender<A>, std::sync::mpsc::Receiver<A>)
[INFO] [stdout]               (T0, T1)
[INFO] [stdout]               (T0, T1, T2)
[INFO] [stdout]               (T0, T1, T2, T3)
[INFO] [stdout]               (T0, T1, T2, T3, T4)
[INFO] [stdout]               (T0, T1, T2, T3, T4, T5)
[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::<TransactionArgument>(), 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]               (SyncSender<A>, std::sync::mpsc::IntoIter<A>)
[INFO] [stdout]               (SyncSender<A>, std::sync::mpsc::Receiver<A>)
[INFO] [stdout]               (T0, T1)
[INFO] [stdout]               (T0, T1, T2)
[INFO] [stdout]               (T0, T1, T2, T3)
[INFO] [stdout]               (T0, T1, T2, T3, T4)
[INFO] [stdout]               (T0, T1, T2, T3, T4, T5)
[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::<LedgerInfo>(), 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]               (SyncSender<A>, std::sync::mpsc::IntoIter<A>)
[INFO] [stdout]               (SyncSender<A>, std::sync::mpsc::Receiver<A>)
[INFO] [stdout]               (T0, T1)
[INFO] [stdout]               (T0, T1, T2)
[INFO] [stdout]               (T0, T1, T2, T3)
[INFO] [stdout]               (T0, T1, T2, T3, T4)
[INFO] [stdout]               (T0, T1, T2, T3, T4, T5)
[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::<LedgerInfo>(), Just(num_validators_range))
[INFO] [stdout]     |          ^^^^^^^^^^^^^^^^^^^ unsatisfied trait bound
[INFO] [stdout]     |
[INFO] [stdout]     = help: the trait `_IMPL_ARBITRARY_FOR_AccessPath::_proptest::arbitrary::Arbitrary` is not implemented for `move_core_types::account_address::AccountAddress`
[INFO] [stdout]     = help: the following other types implement trait `_IMPL_ARBITRARY_FOR_AccessPath::_proptest::arbitrary::Arbitrary`:
[INFO] [stdout]               ()
[INFO] [stdout]               (SyncSender<A>, std::sync::mpsc::IntoIter<A>)
[INFO] [stdout]               (SyncSender<A>, std::sync::mpsc::Receiver<A>)
[INFO] [stdout]               (T0, T1)
[INFO] [stdout]               (T0, T1, T2)
[INFO] [stdout]               (T0, T1, T2, T3)
[INFO] [stdout]               (T0, T1, T2, T3, T4)
[INFO] [stdout]               (T0, T1, T2, T3, T4, T5)
[INFO] [stdout]             and 269 others
[INFO] [stdout]     = note: required for `BTreeMap<AccountAddress, ValidatorConsensusInfo>` to implement `_IMPL_ARBITRARY_FOR_AccessPath::_proptest::arbitrary::Arbitrary`
[INFO] [stdout]     = note: the full name for the type has been written to '/opt/rustwide/target/debug/deps/diem_types-71c2d6470c284597.long-type-1799986869455673913.txt'
[INFO] [stdout]     = note: consider using `--verbose` to print the full type name to the console
[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::<LedgerInfo>(), 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]               (SyncSender<A>, std::sync::mpsc::IntoIter<A>)
[INFO] [stdout]               (SyncSender<A>, std::sync::mpsc::Receiver<A>)
[INFO] [stdout]               (T0, T1)
[INFO] [stdout]               (T0, T1, T2)
[INFO] [stdout]               (T0, T1, T2, T3)
[INFO] [stdout]               (T0, T1, T2, T3, T4)
[INFO] [stdout]               (T0, T1, T2, T3, T4, T5)
[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]               (SyncSender<A>, std::sync::mpsc::IntoIter<A>)
[INFO] [stdout]               (SyncSender<A>, std::sync::mpsc::Receiver<A>)
[INFO] [stdout]               (T0, T1)
[INFO] [stdout]               (T0, T1, T2)
[INFO] [stdout]               (T0, T1, T2, T3)
[INFO] [stdout]               (T0, T1, T2, T3, T4)
[INFO] [stdout]               (T0, T1, T2, T3, T4, T5)
[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<A: Arbitrary>(args: ParamsFor<A>) -> StrategyFor<A> {
[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::<AccountStateBlobGen>(),
[INFO] [stdout]     |                 ^^^^^^^^^^^^^^^^^^^^^^^^^^^^ unsatisfied trait bound
[INFO] [stdout]     |
[INFO] [stdout]     = help: the trait `_IMPL_ARBITRARY_FOR_AccessPath::_proptest::arbitrary::Arbitrary` is not implemented for `move_core_types::account_address::AccountAddress`
[INFO] [stdout]     = help: the following other types implement trait `_IMPL_ARBITRARY_FOR_AccessPath::_proptest::arbitrary::Arbitrary`:
[INFO] [stdout]               ()
[INFO] [stdout]               (SyncSender<A>, std::sync::mpsc::IntoIter<A>)
[INFO] [stdout]               (SyncSender<A>, std::sync::mpsc::Receiver<A>)
[INFO] [stdout]               (T0, T1)
[INFO] [stdout]               (T0, T1, T2)
[INFO] [stdout]               (T0, T1, T2, T3)
[INFO] [stdout]               (T0, T1, T2, T3, T4)
[INFO] [stdout]               (T0, T1, T2, T3, T4, T5)
[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::<ContractEventGen>(),
[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]               (SyncSender<A>, std::sync::mpsc::IntoIter<A>)
[INFO] [stdout]               (SyncSender<A>, std::sync::mpsc::Receiver<A>)
[INFO] [stdout]               (T0, T1)
[INFO] [stdout]               (T0, T1, T2)
[INFO] [stdout]               (T0, T1, T2, T3)
[INFO] [stdout]               (T0, T1, T2, T3, T4)
[INFO] [stdout]               (T0, T1, T2, T3, T4, T5)
[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::<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]               (SyncSender<A>, std::sync::mpsc::IntoIter<A>)
[INFO] [stdout]               (SyncSender<A>, std::sync::mpsc::Receiver<A>)
[INFO] [stdout]               (T0, T1)
[INFO] [stdout]               (T0, T1, T2)
[INFO] [stdout]               (T0, T1, T2, T3)
[INFO] [stdout]               (T0, T1, T2, T3, T4)
[INFO] [stdout]               (T0, T1, T2, T3, T4, T5)
[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<A: Arbitrary>() -> StrategyFor<A> {
[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::<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]               (SyncSender<A>, std::sync::mpsc::IntoIter<A>)
[INFO] [stdout]               (SyncSender<A>, std::sync::mpsc::Receiver<A>)
[INFO] [stdout]               (T0, T1)
[INFO] [stdout]               (T0, T1, T2)
[INFO] [stdout]               (T0, T1, T2, T3)
[INFO] [stdout]               (T0, T1, T2, T3, T4)
[INFO] [stdout]               (T0, T1, T2, T3, T4, T5)
[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::<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]               (SyncSender<A>, std::sync::mpsc::IntoIter<A>)
[INFO] [stdout]               (SyncSender<A>, std::sync::mpsc::Receiver<A>)
[INFO] [stdout]               (T0, T1)
[INFO] [stdout]               (T0, T1, T2)
[INFO] [stdout]               (T0, T1, T2, T3)
[INFO] [stdout]               (T0, T1, T2, T3, T4)
[INFO] [stdout]               (T0, T1, T2, T3, T4, T5)
[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<A: Arbitrary>() -> StrategyFor<A> {
[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::<AccountAddress>(),
[INFO] [stdout]     |                   ^^^^^^^^^^^^^^ unsatisfied trait bound
[INFO] [stdout]     |
[INFO] [stdout]     = help: the trait `_IMPL_ARBITRARY_FOR_AccessPath::_proptest::arbitrary::Arbitrary` is not implemented for `move_core_types::account_address::AccountAddress`
[INFO] [stdout]     = help: the following other types implement trait `_IMPL_ARBITRARY_FOR_AccessPath::_proptest::arbitrary::Arbitrary`:
[INFO] [stdout]               ()
[INFO] [stdout]               (SyncSender<A>, std::sync::mpsc::IntoIter<A>)
[INFO] [stdout]               (SyncSender<A>, std::sync::mpsc::Receiver<A>)
[INFO] [stdout]               (T0, T1)
[INFO] [stdout]               (T0, T1, T2)
[INFO] [stdout]               (T0, T1, T2, T3)
[INFO] [stdout]               (T0, T1, T2, T3, T4)
[INFO] [stdout]               (T0, T1, T2, T3, T4, T5)
[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<A: Arbitrary>() -> StrategyFor<A> {
[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::<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]               (SyncSender<A>, std::sync::mpsc::IntoIter<A>)
[INFO] [stdout]               (SyncSender<A>, std::sync::mpsc::Receiver<A>)
[INFO] [stdout]               (T0, T1)
[INFO] [stdout]               (T0, T1, T2)
[INFO] [stdout]               (T0, T1, T2, T3)
[INFO] [stdout]               (T0, T1, T2, T3, T4)
[INFO] [stdout]               (T0, T1, T2, T3, T4, T5)
[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::<AccountAddress>(),
[INFO] [stdout]     |             ^^^^^^^^^^^^^^^^^^^^^^^ unsatisfied trait bound
[INFO] [stdout]     |
[INFO] [stdout]     = help: the trait `_IMPL_ARBITRARY_FOR_AccessPath::_proptest::arbitrary::Arbitrary` is not implemented for `move_core_types::account_address::AccountAddress`
[INFO] [stdout]     = help: the following other types implement trait `_IMPL_ARBITRARY_FOR_AccessPath::_proptest::arbitrary::Arbitrary`:
[INFO] [stdout]               ()
[INFO] [stdout]               (SyncSender<A>, std::sync::mpsc::IntoIter<A>)
[INFO] [stdout]               (SyncSender<A>, std::sync::mpsc::Receiver<A>)
[INFO] [stdout]               (T0, T1)
[INFO] [stdout]               (T0, T1, T2)
[INFO] [stdout]               (T0, T1, T2, T3)
[INFO] [stdout]               (T0, T1, T2, T3, T4)
[INFO] [stdout]               (T0, T1, T2, T3, T4, T5)
[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::<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]                (SyncSender<A>, std::sync::mpsc::IntoIter<A>)
[INFO] [stdout]                (SyncSender<A>, std::sync::mpsc::Receiver<A>)
[INFO] [stdout]                (T0, T1)
[INFO] [stdout]                (T0, T1, T2)
[INFO] [stdout]                (T0, T1, T2, T3)
[INFO] [stdout]                (T0, T1, T2, T3, T4)
[INFO] [stdout]                (T0, T1, T2, T3, T4, T5)
[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<A: Arbitrary>() -> StrategyFor<A> {
[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::<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]                (SyncSender<A>, std::sync::mpsc::IntoIter<A>)
[INFO] [stdout]                (SyncSender<A>, std::sync::mpsc::Receiver<A>)
[INFO] [stdout]                (T0, T1)
[INFO] [stdout]                (T0, T1, T2)
[INFO] [stdout]                (T0, T1, T2, T3)
[INFO] [stdout]                (T0, T1, T2, T3, T4)
[INFO] [stdout]                (T0, T1, T2, T3, T4, T5)
[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<A: Arbitrary>() -> StrategyFor<A> {
[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::<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]                (SyncSender<A>, std::sync::mpsc::IntoIter<A>)
[INFO] [stdout]                (SyncSender<A>, std::sync::mpsc::Receiver<A>)
[INFO] [stdout]                (T0, T1)
[INFO] [stdout]                (T0, T1, T2)
[INFO] [stdout]                (T0, T1, T2, T3)
[INFO] [stdout]                (T0, T1, T2, T3, T4)
[INFO] [stdout]                (T0, T1, T2, T3, T4, T5)
[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]                (SyncSender<A>, std::sync::mpsc::IntoIter<A>)
[INFO] [stdout]                (SyncSender<A>, std::sync::mpsc::Receiver<A>)
[INFO] [stdout]                (T0, T1)
[INFO] [stdout]                (T0, T1, T2)
[INFO] [stdout]                (T0, T1, T2, T3)
[INFO] [stdout]                (T0, T1, T2, T3, T4)
[INFO] [stdout]                (T0, T1, T2, T3, T4, T5)
[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<A: Arbitrary>(args: ParamsFor<A>) -> StrategyFor<A> {
[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::<LedgerInfoGen>()
[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]                (SyncSender<A>, std::sync::mpsc::IntoIter<A>)
[INFO] [stdout]                (SyncSender<A>, std::sync::mpsc::Receiver<A>)
[INFO] [stdout]                (T0, T1)
[INFO] [stdout]                (T0, T1, T2)
[INFO] [stdout]                (T0, T1, T2, T3)
[INFO] [stdout]                (T0, T1, T2, T3, T4)
[INFO] [stdout]                (T0, T1, T2, T3, T4, T5)
[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]               (SyncSender<A>, std::sync::mpsc::IntoIter<A>)
[INFO] [stdout]               (SyncSender<A>, std::sync::mpsc::Receiver<A>)
[INFO] [stdout]               (T0, T1)
[INFO] [stdout]               (T0, T1, T2)
[INFO] [stdout]               (T0, T1, T2, T3)
[INFO] [stdout]               (T0, T1, T2, T3, T4)
[INFO] [stdout]               (T0, T1, T2, T3, T4, T5)
[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<A: Arbitrary>(args: ParamsFor<A>) -> StrategyFor<A> {
[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]               (SyncSender<A>, std::sync::mpsc::IntoIter<A>)
[INFO] [stdout]               (SyncSender<A>, std::sync::mpsc::Receiver<A>)
[INFO] [stdout]               (T0, T1)
[INFO] [stdout]               (T0, T1, T2)
[INFO] [stdout]               (T0, T1, T2, T3)
[INFO] [stdout]               (T0, T1, T2, T3, T4)
[INFO] [stdout]               (T0, T1, T2, T3, T4, T5)
[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<A: Arbitrary>(args: ParamsFor<A>) -> StrategyFor<A> {
[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]               (SyncSender<A>, std::sync::mpsc::IntoIter<A>)
[INFO] [stdout]               (SyncSender<A>, std::sync::mpsc::Receiver<A>)
[INFO] [stdout]               (T0, T1)
[INFO] [stdout]               (T0, T1, T2)
[INFO] [stdout]               (T0, T1, T2, T3)
[INFO] [stdout]               (T0, T1, T2, T3, T4)
[INFO] [stdout]               (T0, T1, T2, T3, T4, T5)
[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<A: Arbitrary>(args: ParamsFor<A>) -> StrategyFor<A> {
[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]               (SyncSender<A>, std::sync::mpsc::IntoIter<A>)
[INFO] [stdout]               (SyncSender<A>, std::sync::mpsc::Receiver<A>)
[INFO] [stdout]               (T0, T1)
[INFO] [stdout]               (T0, T1, T2)
[INFO] [stdout]               (T0, T1, T2, T3)
[INFO] [stdout]               (T0, T1, T2, T3, T4)
[INFO] [stdout]               (T0, T1, T2, T3, T4, T5)
[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<A: Arbitrary>(args: ParamsFor<A>) -> StrategyFor<A> {
[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]               (SyncSender<A>, std::sync::mpsc::IntoIter<A>)
[INFO] [stdout]               (SyncSender<A>, std::sync::mpsc::Receiver<A>)
[INFO] [stdout]               (T0, T1)
[INFO] [stdout]               (T0, T1, T2)
[INFO] [stdout]               (T0, T1, T2, T3)
[INFO] [stdout]               (T0, T1, T2, T3, T4)
[INFO] [stdout]               (T0, T1, T2, T3, T4, T5)
[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<A: Arbitrary>(args: ParamsFor<A>) -> StrategyFor<A> {
[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]     |                      ^^^^^^^^^^^^^^ unsatisfied trait bound
[INFO] [stdout]     |
[INFO] [stdout]     = help: the trait `_IMPL_ARBITRARY_FOR_AccessPath::_proptest::arbitrary::Arbitrary` is not implemented for `move_core_types::account_address::AccountAddress`
[INFO] [stdout]     = help: the following other types implement trait `_IMPL_ARBITRARY_FOR_AccessPath::_proptest::arbitrary::Arbitrary`:
[INFO] [stdout]               ()
[INFO] [stdout]               (SyncSender<A>, std::sync::mpsc::IntoIter<A>)
[INFO] [stdout]               (SyncSender<A>, std::sync::mpsc::Receiver<A>)
[INFO] [stdout]               (T0, T1)
[INFO] [stdout]               (T0, T1, T2)
[INFO] [stdout]               (T0, T1, T2, T3)
[INFO] [stdout]               (T0, T1, T2, T3, T4)
[INFO] [stdout]               (T0, T1, T2, T3, T4, T5)
[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<A: Arbitrary>(args: ParamsFor<A>) -> StrategyFor<A> {
[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]               (SyncSender<A>, std::sync::mpsc::IntoIter<A>)
[INFO] [stdout]               (SyncSender<A>, std::sync::mpsc::Receiver<A>)
[INFO] [stdout]               (T0, T1)
[INFO] [stdout]               (T0, T1, T2)
[INFO] [stdout]               (T0, T1, T2, T3)
[INFO] [stdout]               (T0, T1, T2, T3, T4)
[INFO] [stdout]               (T0, T1, T2, T3, T4, T5)
[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<A: Arbitrary>(args: ParamsFor<A>) -> StrategyFor<A> {
[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]               (SyncSender<A>, std::sync::mpsc::IntoIter<A>)
[INFO] [stdout]               (SyncSender<A>, std::sync::mpsc::Receiver<A>)
[INFO] [stdout]               (T0, T1)
[INFO] [stdout]               (T0, T1, T2)
[INFO] [stdout]               (T0, T1, T2, T3)
[INFO] [stdout]               (T0, T1, T2, T3, T4)
[INFO] [stdout]               (T0, T1, T2, T3, T4, T5)
[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<A: Arbitrary>(args: ParamsFor<A>) -> StrategyFor<A> {
[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::<EventWithProof>()) {
[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]              (SyncSender<A>, std::sync::mpsc::IntoIter<A>)
[INFO] [stdout]              (SyncSender<A>, std::sync::mpsc::Receiver<A>)
[INFO] [stdout]              (T0, T1)
[INFO] [stdout]              (T0, T1, T2)
[INFO] [stdout]              (T0, T1, T2, T3)
[INFO] [stdout]              (T0, T1, T2, T3, T4)
[INFO] [stdout]              (T0, T1, T2, T3, T4, T5)
[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::<EventWithProof>()) {
[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]              (SyncSender<A>, std::sync::mpsc::IntoIter<A>)
[INFO] [stdout]              (SyncSender<A>, std::sync::mpsc::Receiver<A>)
[INFO] [stdout]              (T0, T1)
[INFO] [stdout]              (T0, T1, T2)
[INFO] [stdout]              (T0, T1, T2, T3)
[INFO] [stdout]              (T0, T1, T2, T3, T4)
[INFO] [stdout]              (T0, T1, T2, T3, T4, T5)
[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::<EventByVersionWithProof>()
[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]              (SyncSender<A>, std::sync::mpsc::IntoIter<A>)
[INFO] [stdout]              (SyncSender<A>, std::sync::mpsc::Receiver<A>)
[INFO] [stdout]              (T0, T1)
[INFO] [stdout]              (T0, T1, T2)
[INFO] [stdout]              (T0, T1, T2, T3)
[INFO] [stdout]              (T0, T1, T2, T3, T4)
[INFO] [stdout]              (T0, T1, T2, T3, T4, T5)
[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::<EventByVersionWithProof>()
[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]              (SyncSender<A>, std::sync::mpsc::IntoIter<A>)
[INFO] [stdout]              (SyncSender<A>, std::sync::mpsc::Receiver<A>)
[INFO] [stdout]              (T0, T1)
[INFO] [stdout]              (T0, T1, T2)
[INFO] [stdout]              (T0, T1, T2, T3)
[INFO] [stdout]              (T0, T1, T2, T3, T4)
[INFO] [stdout]              (T0, T1, T2, T3, T4, T5)
[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::<TransactionInfo>()) {
[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]               (SyncSender<A>, std::sync::mpsc::IntoIter<A>)
[INFO] [stdout]               (SyncSender<A>, std::sync::mpsc::Receiver<A>)
[INFO] [stdout]               (T0, T1)
[INFO] [stdout]               (T0, T1, T2)
[INFO] [stdout]               (T0, T1, T2, T3)
[INFO] [stdout]               (T0, T1, T2, T3, T4)
[INFO] [stdout]               (T0, T1, T2, T3, T4, T5)
[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::<TransactionInfo>()) {
[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]               (SyncSender<A>, std::sync::mpsc::IntoIter<A>)
[INFO] [stdout]               (SyncSender<A>, std::sync::mpsc::Receiver<A>)
[INFO] [stdout]               (T0, T1)
[INFO] [stdout]               (T0, T1, T2)
[INFO] [stdout]               (T0, T1, T2, T3)
[INFO] [stdout]               (T0, T1, T2, T3, T4)
[INFO] [stdout]               (T0, T1, T2, T3, T4, T5)
[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::<TransactionWithProof>()) {
[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]               (SyncSender<A>, std::sync::mpsc::IntoIter<A>)
[INFO] [stdout]               (SyncSender<A>, std::sync::mpsc::Receiver<A>)
[INFO] [stdout]               (T0, T1)
[INFO] [stdout]               (T0, T1, T2)
[INFO] [stdout]               (T0, T1, T2, T3)
[INFO] [stdout]               (T0, T1, T2, T3, T4)
[INFO] [stdout]               (T0, T1, T2, T3, T4, T5)
[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::<TransactionWithProof>()) {
[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]               (SyncSender<A>, std::sync::mpsc::IntoIter<A>)
[INFO] [stdout]               (SyncSender<A>, std::sync::mpsc::Receiver<A>)
[INFO] [stdout]               (T0, T1)
[INFO] [stdout]               (T0, T1, T2)
[INFO] [stdout]               (T0, T1, T2, T3)
[INFO] [stdout]               (T0, T1, T2, T3, T4)
[INFO] [stdout]               (T0, T1, T2, T3, T4, T5)
[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::<AccountTransactionsWithProof>()) {
[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]               (SyncSender<A>, std::sync::mpsc::IntoIter<A>)
[INFO] [stdout]               (SyncSender<A>, std::sync::mpsc::Receiver<A>)
[INFO] [stdout]               (T0, T1)
[INFO] [stdout]               (T0, T1, T2)
[INFO] [stdout]               (T0, T1, T2, T3)
[INFO] [stdout]               (T0, T1, T2, T3, T4)
[INFO] [stdout]               (T0, T1, T2, T3, T4, T5)
[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::<AccountTransactionsWithProof>()) {
[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]               (SyncSender<A>, std::sync::mpsc::IntoIter<A>)
[INFO] [stdout]               (SyncSender<A>, std::sync::mpsc::Receiver<A>)
[INFO] [stdout]               (T0, T1)
[INFO] [stdout]               (T0, T1, T2)
[INFO] [stdout]               (T0, T1, T2, T3)
[INFO] [stdout]               (T0, T1, T2, T3, T4)
[INFO] [stdout]               (T0, T1, T2, T3, T4, T5)
[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::<TrustedState>()) {
[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]               (SyncSender<A>, std::sync::mpsc::IntoIter<A>)
[INFO] [stdout]               (SyncSender<A>, std::sync::mpsc::Receiver<A>)
[INFO] [stdout]               (T0, T1)
[INFO] [stdout]               (T0, T1, T2)
[INFO] [stdout]               (T0, T1, T2, T3)
[INFO] [stdout]               (T0, T1, T2, T3, T4)
[INFO] [stdout]               (T0, T1, T2, T3, T4, T5)
[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::<TrustedState>()) {
[INFO] [stdout]     |                                                                              ^^^^^^^^^^^^^^^^^^^^^ unsatisfied trait bound
[INFO] [stdout]     |
[INFO] [stdout]     = help: the trait `_IMPL_ARBITRARY_FOR_AccessPath::_proptest::arbitrary::Arbitrary` is not implemented for `move_core_types::account_address::AccountAddress`
[INFO] [stdout]     = help: the following other types implement trait `_IMPL_ARBITRARY_FOR_AccessPath::_proptest::arbitrary::Arbitrary`:
[INFO] [stdout]               ()
[INFO] [stdout]               (SyncSender<A>, std::sync::mpsc::IntoIter<A>)
[INFO] [stdout]               (SyncSender<A>, std::sync::mpsc::Receiver<A>)
[INFO] [stdout]               (T0, T1)
[INFO] [stdout]               (T0, T1, T2)
[INFO] [stdout]               (T0, T1, T2, T3)
[INFO] [stdout]               (T0, T1, T2, T3, T4)
[INFO] [stdout]               (T0, T1, T2, T3, T4, T5)
[INFO] [stdout]             and 268 others
[INFO] [stdout]     = note: required for `BTreeMap<AccountAddress, ValidatorConsensusInfo>` to implement `_IMPL_ARBITRARY_FOR_AccessPath::_proptest::arbitrary::Arbitrary`
[INFO] [stdout]     = note: the full name for the type has been written to '/opt/rustwide/target/debug/deps/diem_types-71c2d6470c284597.long-type-1799986869455673913.txt'
[INFO] [stdout]     = note: consider using `--verbose` to print the full type name to the console
[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::<TrustedState>()) {
[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]               (SyncSender<A>, std::sync::mpsc::IntoIter<A>)
[INFO] [stdout]               (SyncSender<A>, std::sync::mpsc::Receiver<A>)
[INFO] [stdout]               (T0, T1)
[INFO] [stdout]               (T0, T1, T2)
[INFO] [stdout]               (T0, T1, T2, T3)
[INFO] [stdout]               (T0, T1, T2, T3, T4)
[INFO] [stdout]               (T0, T1, T2, T3, T4, T5)
[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::<TrustedState>()) {
[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]               (SyncSender<A>, std::sync::mpsc::IntoIter<A>)
[INFO] [stdout]               (SyncSender<A>, std::sync::mpsc::Receiver<A>)
[INFO] [stdout]               (T0, T1)
[INFO] [stdout]               (T0, T1, T2)
[INFO] [stdout]               (T0, T1, T2, T3)
[INFO] [stdout]               (T0, T1, T2, T3, T4)
[INFO] [stdout]               (T0, T1, T2, T3, T4, T5)
[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::<TrustedState>()) {
[INFO] [stdout]     |                                                   ^^^^^^^^^^^^^^^^^^^^^ unsatisfied trait bound
[INFO] [stdout]     |
[INFO] [stdout]     = help: the trait `_IMPL_ARBITRARY_FOR_AccessPath::_proptest::arbitrary::Arbitrary` is not implemented for `move_core_types::account_address::AccountAddress`
[INFO] [stdout]     = help: the following other types implement trait `_IMPL_ARBITRARY_FOR_AccessPath::_proptest::arbitrary::Arbitrary`:
[INFO] [stdout]               ()
[INFO] [stdout]               (SyncSender<A>, std::sync::mpsc::IntoIter<A>)
[INFO] [stdout]               (SyncSender<A>, std::sync::mpsc::Receiver<A>)
[INFO] [stdout]               (T0, T1)
[INFO] [stdout]               (T0, T1, T2)
[INFO] [stdout]               (T0, T1, T2, T3)
[INFO] [stdout]               (T0, T1, T2, T3, T4)
[INFO] [stdout]               (T0, T1, T2, T3, T4, T5)
[INFO] [stdout]             and 268 others
[INFO] [stdout]     = note: required for `BTreeMap<AccountAddress, ValidatorConsensusInfo>` to implement `_IMPL_ARBITRARY_FOR_AccessPath::_proptest::arbitrary::Arbitrary`
[INFO] [stdout]     = note: the full name for the type has been written to '/opt/rustwide/target/debug/deps/diem_types-71c2d6470c284597.long-type-1799986869455673913.txt'
[INFO] [stdout]     = note: consider using `--verbose` to print the full type name to the console
[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::<TrustedState>()) {
[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]               (SyncSender<A>, std::sync::mpsc::IntoIter<A>)
[INFO] [stdout]               (SyncSender<A>, std::sync::mpsc::Receiver<A>)
[INFO] [stdout]               (T0, T1)
[INFO] [stdout]               (T0, T1, T2)
[INFO] [stdout]               (T0, T1, T2, T3)
[INFO] [stdout]               (T0, T1, T2, T3, T4)
[INFO] [stdout]               (T0, T1, T2, T3, T4, T5)
[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::<ValidatorSet>()) {
[INFO] [stdout]    |                                                          ^^^^^^^^^^^^^^^^^^^^^ unsatisfied trait bound
[INFO] [stdout]    |
[INFO] [stdout]    = help: the trait `_IMPL_ARBITRARY_FOR_AccessPath::_proptest::arbitrary::Arbitrary` is not implemented for `move_core_types::account_address::AccountAddress`
[INFO] [stdout]    = help: the following other types implement trait `_IMPL_ARBITRARY_FOR_AccessPath::_proptest::arbitrary::Arbitrary`:
[INFO] [stdout]              ()
[INFO] [stdout]              (SyncSender<A>, std::sync::mpsc::IntoIter<A>)
[INFO] [stdout]              (SyncSender<A>, std::sync::mpsc::Receiver<A>)
[INFO] [stdout]              (T0, T1)
[INFO] [stdout]              (T0, T1, T2)
[INFO] [stdout]              (T0, T1, T2, T3)
[INFO] [stdout]              (T0, T1, T2, T3, T4)
[INFO] [stdout]              (T0, T1, T2, T3, T4, T5)
[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::<ValidatorSet>()) {
[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]              (SyncSender<A>, std::sync::mpsc::IntoIter<A>)
[INFO] [stdout]              (SyncSender<A>, std::sync::mpsc::Receiver<A>)
[INFO] [stdout]              (T0, T1)
[INFO] [stdout]              (T0, T1, T2)
[INFO] [stdout]              (T0, T1, T2, T3)
[INFO] [stdout]              (T0, T1, T2, T3, T4)
[INFO] [stdout]              (T0, T1, T2, T3, T4, T5)
[INFO] [stdout]            and 268 others
[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] 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 160 previous errors; 29 warnings emitted
[INFO] running `Command { std: "docker" "inspect" "080e94e62007f3797ed5a415c5f20057a87cefbcccb7104d8b4a34210f5a9ec2", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "080e94e62007f3797ed5a415c5f20057a87cefbcccb7104d8b4a34210f5a9ec2", kill_on_drop: false }`
[INFO] [stdout] 080e94e62007f3797ed5a415c5f20057a87cefbcccb7104d8b4a34210f5a9ec2
