[INFO] fetching crate diem-types 0.0.3... [INFO] checking diem-types-0.0.3 against master#350d0ef0ec0493e6d21cfb265cb8211a0e74d766 for pr-145342-1 [INFO] extracting crate diem-types 0.0.3 into /workspace/builds/worker-2-tc1/source [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-2-tc1/source/Cargo.toml [INFO] validating manifest of crates.io crate diem-types 0.0.3 on toolchain 350d0ef0ec0493e6d21cfb265cb8211a0e74d766 [INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+350d0ef0ec0493e6d21cfb265cb8211a0e74d766" "metadata" "--manifest-path" "Cargo.toml" "--no-deps", kill_on_drop: false }` [INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+350d0ef0ec0493e6d21cfb265cb8211a0e74d766" "generate-lockfile" "--manifest-path" "Cargo.toml", kill_on_drop: false }` [INFO] [stderr] Updating crates.io index [INFO] [stderr] Locking 140 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.14.0) [INFO] [stderr] Adding proptest-derive v0.3.0 (available: v0.6.0) [INFO] [stderr] Adding rand v0.8.5 (available: v0.9.2) [INFO] [stderr] Adding subtle v2.4.1 (available: v2.6.1) [INFO] [stderr] Adding thiserror v1.0.69 (available: v2.0.16) [INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+350d0ef0ec0493e6d21cfb265cb8211a0e74d766" "fetch" "--manifest-path" "Cargo.toml", kill_on_drop: false }` [INFO] [stderr] Downloading crates ... [INFO] [stderr] Downloaded move-core-types v0.0.3 [INFO] [stderr] Downloaded diem-crypto v0.0.3 [INFO] [stderr] Downloaded diem-crypto-derive v0.0.3 [INFO] [stderr] Downloaded ed25519-dalek-fiat v0.1.0 [INFO] [stderr] Downloaded x25519-dalek-fiat v0.1.0 [INFO] [stderr] Downloaded curve25519-dalek-fiat v0.1.0 [INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-2-tc1/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-2-tc1/source:/opt/rustwide/workdir:ro,Z" "-v" "/var/lib/crater-agent-workspace/cargo-home:/opt/rustwide/cargo-home:ro,Z" "-v" "/var/lib/crater-agent-workspace/rustup-home:/opt/rustwide/rustup-home:ro,Z" "-e" "SOURCE_DIR=/opt/rustwide/workdir" "-e" "CARGO_TARGET_DIR=/opt/rustwide/target" "-e" "CARGO_HOME=/opt/rustwide/cargo-home" "-e" "RUSTUP_HOME=/opt/rustwide/rustup-home" "-w" "/opt/rustwide/workdir" "-m" "1610612736" "--user" "0:0" "--network" "none" "ghcr.io/rust-lang/crates-build-env/linux@sha256:7ad1b28ee6f5f7f699f6cf7015098d6ccdd96d6f2d78dd06228f5b4c9faf309c" "/opt/rustwide/cargo-home/bin/cargo" "+350d0ef0ec0493e6d21cfb265cb8211a0e74d766" "metadata" "--no-deps" "--format-version=1", kill_on_drop: false }` [INFO] [stdout] 61db3f0003875efcf4bf695059003e73e959609c08e40ab8bd914f61e041d479 [INFO] running `Command { std: "docker" "start" "-a" "61db3f0003875efcf4bf695059003e73e959609c08e40ab8bd914f61e041d479", kill_on_drop: false }` [INFO] running `Command { std: "docker" "inspect" "61db3f0003875efcf4bf695059003e73e959609c08e40ab8bd914f61e041d479", kill_on_drop: false }` [INFO] running `Command { std: "docker" "rm" "-f" "61db3f0003875efcf4bf695059003e73e959609c08e40ab8bd914f61e041d479", kill_on_drop: false }` [INFO] [stdout] 61db3f0003875efcf4bf695059003e73e959609c08e40ab8bd914f61e041d479 [INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-2-tc1/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-2-tc1/source:/opt/rustwide/workdir:ro,Z" "-v" "/var/lib/crater-agent-workspace/cargo-home:/opt/rustwide/cargo-home:ro,Z" "-v" "/var/lib/crater-agent-workspace/rustup-home:/opt/rustwide/rustup-home:ro,Z" "-e" "SOURCE_DIR=/opt/rustwide/workdir" "-e" "CARGO_TARGET_DIR=/opt/rustwide/target" "-e" "CARGO_INCREMENTAL=0" "-e" "RUST_BACKTRACE=full" "-e" "RUSTFLAGS=--cap-lints=forbid" "-e" "RUSTDOCFLAGS=--cap-lints=forbid" "-e" "CARGO_HOME=/opt/rustwide/cargo-home" "-e" "RUSTUP_HOME=/opt/rustwide/rustup-home" "-w" "/opt/rustwide/workdir" "-m" "1610612736" "--user" "0:0" "--network" "none" "ghcr.io/rust-lang/crates-build-env/linux@sha256:7ad1b28ee6f5f7f699f6cf7015098d6ccdd96d6f2d78dd06228f5b4c9faf309c" "/opt/rustwide/cargo-home/bin/cargo" "+350d0ef0ec0493e6d21cfb265cb8211a0e74d766" "check" "--frozen" "--all" "--all-targets" "--message-format=json", kill_on_drop: false }` [INFO] [stdout] 40864d4ea83ece52c6d476a16ef5c336d903ceb1463158b372c1a8250e15cc25 [INFO] running `Command { std: "docker" "start" "-a" "40864d4ea83ece52c6d476a16ef5c336d903ceb1463158b372c1a8250e15cc25", kill_on_drop: false }` [INFO] [stderr] Compiling proc-macro2 v1.0.101 [INFO] [stderr] Compiling unicode-ident v1.0.18 [INFO] [stderr] Compiling typenum v1.18.0 [INFO] [stderr] Compiling version_check v0.9.5 [INFO] [stderr] Compiling libc v0.2.175 [INFO] [stderr] Checking cfg-if v1.0.3 [INFO] [stderr] Checking subtle v2.4.1 [INFO] [stderr] Compiling serde v1.0.219 [INFO] [stderr] Compiling zerocopy v0.8.26 [INFO] [stderr] Compiling getrandom v0.3.3 [INFO] [stderr] Checking opaque-debug v0.3.1 [INFO] [stderr] Compiling thiserror v1.0.69 [INFO] [stderr] Compiling autocfg v1.5.0 [INFO] [stderr] Checking once_cell v1.21.3 [INFO] [stderr] Checking fiat-crypto v0.1.20 [INFO] [stderr] Compiling syn v1.0.109 [INFO] [stderr] Checking cpuid-bool v0.2.0 [INFO] [stderr] Checking memchr v2.7.5 [INFO] [stderr] Compiling proc-macro2 v0.4.30 [INFO] [stderr] Compiling anyhow v1.0.99 [INFO] [stderr] Compiling crunchy v0.2.4 [INFO] [stderr] Compiling rustix v1.0.8 [INFO] [stderr] Checking byteorder v1.5.0 [INFO] [stderr] Checking linux-raw-sys v0.9.4 [INFO] [stderr] Compiling tiny-keccak v2.0.2 [INFO] [stderr] Checking bitflags v2.9.3 [INFO] [stderr] Checking cpufeatures v0.2.17 [INFO] [stderr] Compiling unicode-xid v0.1.0 [INFO] [stderr] Compiling ref-cast v1.0.24 [INFO] [stderr] Checking signature v1.6.4 [INFO] [stderr] Checking mirai-annotations v1.12.0 [INFO] [stderr] Compiling generic-array v0.14.7 [INFO] [stderr] Compiling num-traits v0.2.19 [INFO] [stderr] Checking regex-syntax v0.8.6 [INFO] [stderr] Compiling serde_json v1.0.143 [INFO] [stderr] Compiling syn v0.15.44 [INFO] [stderr] Checking hex v0.4.3 [INFO] [stderr] Checking fastrand v2.3.0 [INFO] [stderr] Checking aho-corasick v1.1.3 [INFO] [stderr] Checking fnv v1.0.7 [INFO] [stderr] Checking quick-error v1.2.3 [INFO] [stderr] Checking bytes v1.10.1 [INFO] [stderr] Checking bit-vec v0.8.0 [INFO] [stderr] Checking itoa v1.0.15 [INFO] [stderr] Checking ryu v1.0.20 [INFO] [stderr] Checking either v1.15.0 [INFO] [stderr] Checking iana-time-zone v0.1.63 [INFO] [stderr] Checking static_assertions v1.1.0 [INFO] [stderr] Checking unarray v0.1.4 [INFO] [stderr] Checking lazy_static v1.5.0 [INFO] [stderr] Checking bit-set v0.8.0 [INFO] [stderr] Checking itertools v0.10.5 [INFO] [stderr] Compiling quote v1.0.40 [INFO] [stderr] Compiling quote v0.6.13 [INFO] [stderr] Compiling syn v2.0.106 [INFO] [stderr] Checking getrandom v0.2.16 [INFO] [stderr] Checking wait-timeout v0.2.1 [INFO] [stderr] Checking rand_core v0.6.4 [INFO] [stderr] Checking rand_core v0.9.3 [INFO] [stderr] Checking chrono v0.4.41 [INFO] [stderr] Checking rand_xorshift v0.4.0 [INFO] [stderr] Checking rand v0.9.2 [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 block-buffer v0.9.0 [INFO] [stderr] Checking crypto-mac v0.10.1 [INFO] [stderr] Checking aead v0.3.2 [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 regex-automata v0.4.10 [INFO] [stderr] Checking polyval v0.4.5 [INFO] [stderr] Checking hkdf v0.10.0 [INFO] [stderr] Checking aes v0.6.0 [INFO] [stderr] Checking ghash v0.3.1 [INFO] [stderr] Checking aes-gcm v0.8.0 [INFO] [stderr] Checking ppv-lite86 v0.2.21 [INFO] [stderr] Checking rand_chacha v0.3.1 [INFO] [stderr] Checking rand_chacha v0.9.0 [INFO] [stderr] Checking rand v0.8.5 [INFO] [stderr] Checking tempfile v3.21.0 [INFO] [stderr] Compiling diem-crypto-derive v0.0.3 [INFO] [stderr] Checking rusty-fork v0.3.0 [INFO] [stderr] Checking proptest v1.7.0 [INFO] [stderr] Checking regex v1.11.2 [INFO] [stderr] Compiling proptest-derive v0.3.0 [INFO] [stderr] Compiling serde_derive v1.0.219 [INFO] [stderr] Compiling thiserror-impl v1.0.69 [INFO] [stderr] Compiling zeroize_derive v1.4.2 [INFO] [stderr] Compiling ref-cast-impl v1.0.24 [INFO] [stderr] Checking zeroize v1.8.1 [INFO] [stderr] Checking curve25519-dalek-fiat v0.1.0 [INFO] [stderr] Checking x25519-dalek-fiat v0.1.0 [INFO] [stderr] Checking serde_bytes v0.11.17 [INFO] [stderr] Checking bcs v0.1.6 [INFO] [stderr] Checking ed25519 v1.5.3 [INFO] [stderr] Checking serde-name v0.1.2 [INFO] [stderr] Checking ed25519-dalek-fiat v0.1.0 [INFO] [stderr] Checking move-core-types v0.0.3 [INFO] [stderr] Checking diem-crypto v0.0.3 [INFO] [stderr] Checking diem-types v0.0.3 (/opt/rustwide/workdir) [INFO] [stdout] warning: ambiguous glob re-exports [INFO] [stdout] --> src/account_config/mod.rs:8:9 [INFO] [stdout] | [INFO] [stdout] 8 | pub use constants::*; [INFO] [stdout] | ^^^^^^^^^^^^ the name `account` in the type namespace is first re-exported here [INFO] [stdout] 9 | pub use events::*; [INFO] [stdout] 10 | pub use resources::*; [INFO] [stdout] | ------------ but the name `account` in the type namespace is also re-exported here [INFO] [stdout] | [INFO] [stdout] = note: `#[warn(ambiguous_glob_reexports)]` on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: ambiguous glob re-exports [INFO] [stdout] --> src/account_config/mod.rs:8:9 [INFO] [stdout] | [INFO] [stdout] 8 | pub use constants::*; [INFO] [stdout] | ^^^^^^^^^^^^ the name `designated_dealer` in the type namespace is first re-exported here [INFO] [stdout] 9 | pub use events::*; [INFO] [stdout] 10 | pub use resources::*; [INFO] [stdout] | ------------ but the name `designated_dealer` in the type namespace is also re-exported here [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0432]: unresolved import `diem_crypto::test_utils::TestDiemCrypto` [INFO] [stdout] --> src/validator_verifier.rs:382:35 [INFO] [stdout] | [INFO] [stdout] 382 | use diem_crypto::test_utils::{TestDiemCrypto, TEST_SEED}; [INFO] [stdout] | ^^^^^^^^^^^^^^ no `TestDiemCrypto` in `test_utils` [INFO] [stdout] | [INFO] [stdout] note: found an item that was configured out [INFO] [stdout] --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/diem-crypto-0.0.3/src/test_utils.rs:129:12 [INFO] [stdout] | [INFO] [stdout] 127 | #[cfg(any(test, feature = "fuzzing"))] [INFO] [stdout] | --------------------------- the item is gated here [INFO] [stdout] 128 | #[derive(Debug, Serialize, Deserialize)] [INFO] [stdout] 129 | pub struct TestDiemCrypto(pub String); [INFO] [stdout] | ^^^^^^^^^^^^^^ [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] = note: using a cfg inside a macro will use the cfgs from the destination crate and not the ones from the defining crate [INFO] [stdout] = help: try referring to `checked_precondition` crate for guidance on how handle this unexpected cfg [INFO] [stdout] = help: the macro `checked_precondition` may come from an old version of the `mirai_annotations` crate, try updating your dependency with `cargo update -p mirai_annotations` [INFO] [stdout] = note: see 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] = note: using a cfg inside a macro will use the cfgs from the destination crate and not the ones from the defining crate [INFO] [stdout] = help: try referring to `checked_precondition` crate for guidance on how handle this unexpected cfg [INFO] [stdout] = help: the macro `checked_precondition` may come from an old version of the `mirai_annotations` crate, try updating your dependency with `cargo update -p mirai_annotations` [INFO] [stdout] = note: see 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] = note: using a cfg inside a macro will use the cfgs from the destination crate and not the ones from the defining crate [INFO] [stdout] = help: try referring to `assume` crate for guidance on how handle this unexpected cfg [INFO] [stdout] = help: the macro `assume` may come from an old version of the `mirai_annotations` crate, try updating your dependency with `cargo update -p mirai_annotations` [INFO] [stdout] = note: see 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] = note: using a cfg inside a macro will use the cfgs from the destination crate and not the ones from the defining crate [INFO] [stdout] = help: try referring to `assume` crate for guidance on how handle this unexpected cfg [INFO] [stdout] = help: the macro `assume` may come from an old version of the `mirai_annotations` crate, try updating your dependency with `cargo update -p mirai_annotations` [INFO] [stdout] = note: see 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] = note: using a cfg inside a macro will use the cfgs from the destination crate and not the ones from the defining crate [INFO] [stdout] = help: try referring to `precondition` crate for guidance on how handle this unexpected cfg [INFO] [stdout] = help: the macro `precondition` may come from an old version of the `mirai_annotations` crate, try updating your dependency with `cargo update -p mirai_annotations` [INFO] [stdout] = note: see 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] = note: using a cfg inside a macro will use the cfgs from the destination crate and not the ones from the defining crate [INFO] [stdout] = help: try referring to `precondition` crate for guidance on how handle this unexpected cfg [INFO] [stdout] = help: the macro `precondition` may come from an old version of the `mirai_annotations` crate, try updating your dependency with `cargo update -p mirai_annotations` [INFO] [stdout] = note: see 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] = note: using a cfg inside a macro will use the cfgs from the destination crate and not the ones from the defining crate [INFO] [stdout] = help: try referring to `precondition` crate for guidance on how handle this unexpected cfg [INFO] [stdout] = help: the macro `precondition` may come from an old version of the `mirai_annotations` crate, try updating your dependency with `cargo update -p mirai_annotations` [INFO] [stdout] = note: see 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] = note: using a cfg inside a macro will use the cfgs from the destination crate and not the ones from the defining crate [INFO] [stdout] = help: try referring to `assume` crate for guidance on how handle this unexpected cfg [INFO] [stdout] = help: the macro `assume` may come from an old version of the `mirai_annotations` crate, try updating your dependency with `cargo update -p mirai_annotations` [INFO] [stdout] = note: see 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] = note: using a cfg inside a macro will use the cfgs from the destination crate and not the ones from the defining crate [INFO] [stdout] = help: try referring to `assume` crate for guidance on how handle this unexpected cfg [INFO] [stdout] = help: the macro `assume` may come from an old version of the `mirai_annotations` crate, try updating your dependency with `cargo update -p mirai_annotations` [INFO] [stdout] = note: see 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] = note: using a cfg inside a macro will use the cfgs from the destination crate and not the ones from the defining crate [INFO] [stdout] = help: try referring to `assume` crate for guidance on how handle this unexpected cfg [INFO] [stdout] = help: the macro `assume` may come from an old version of the `mirai_annotations` crate, try updating your dependency with `cargo update -p mirai_annotations` [INFO] [stdout] = note: see 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] = note: using a cfg inside a macro will use the cfgs from the destination crate and not the ones from the defining crate [INFO] [stdout] = help: try referring to `assume` crate for guidance on how handle this unexpected cfg [INFO] [stdout] = help: the macro `assume` may come from an old version of the `mirai_annotations` crate, try updating your dependency with `cargo update -p mirai_annotations` [INFO] [stdout] = note: see 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] = note: using a cfg inside a macro will use the cfgs from the destination crate and not the ones from the defining crate [INFO] [stdout] = help: try referring to `assume` crate for guidance on how handle this unexpected cfg [INFO] [stdout] = help: the macro `assume` may come from an old version of the `mirai_annotations` crate, try updating your dependency with `cargo update -p mirai_annotations` [INFO] [stdout] = note: see 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] = note: using a cfg inside a macro will use the cfgs from the destination crate and not the ones from the defining crate [INFO] [stdout] = help: try referring to `assume` crate for guidance on how handle this unexpected cfg [INFO] [stdout] = help: the macro `assume` may come from an old version of the `mirai_annotations` crate, try updating your dependency with `cargo update -p mirai_annotations` [INFO] [stdout] = note: see 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] = note: using a cfg inside a macro will use the cfgs from the destination crate and not the ones from the defining crate [INFO] [stdout] = help: try referring to `assume` crate for guidance on how handle this unexpected cfg [INFO] [stdout] = help: the macro `assume` may come from an old version of the `mirai_annotations` crate, try updating your dependency with `cargo update -p mirai_annotations` [INFO] [stdout] = note: see 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] = note: using a cfg inside a macro will use the cfgs from the destination crate and not the ones from the defining crate [INFO] [stdout] = help: try referring to `precondition` crate for guidance on how handle this unexpected cfg [INFO] [stdout] = help: the macro `precondition` may come from an old version of the `mirai_annotations` crate, try updating your dependency with `cargo update -p mirai_annotations` [INFO] [stdout] = note: see 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] = note: using a cfg inside a macro will use the cfgs from the destination crate and not the ones from the defining crate [INFO] [stdout] = help: try referring to `assume` crate for guidance on how handle this unexpected cfg [INFO] [stdout] = help: the macro `assume` may come from an old version of the `mirai_annotations` crate, try updating your dependency with `cargo update -p mirai_annotations` [INFO] [stdout] = note: see 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] = note: using a cfg inside a macro will use the cfgs from the destination crate and not the ones from the defining crate [INFO] [stdout] = help: try referring to `assume` crate for guidance on how handle this unexpected cfg [INFO] [stdout] = help: the macro `assume` may come from an old version of the `mirai_annotations` crate, try updating your dependency with `cargo update -p mirai_annotations` [INFO] [stdout] = note: see 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] = note: using a cfg inside a macro will use the cfgs from the destination crate and not the ones from the defining crate [INFO] [stdout] = help: try referring to `checked_precondition` crate for guidance on how handle this unexpected cfg [INFO] [stdout] = help: the macro `checked_precondition` may come from an old version of the `mirai_annotations` crate, try updating your dependency with `cargo update -p mirai_annotations` [INFO] [stdout] = note: see 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] = note: using a cfg inside a macro will use the cfgs from the destination crate and not the ones from the defining crate [INFO] [stdout] = help: try referring to `checked_precondition` crate for guidance on how handle this unexpected cfg [INFO] [stdout] = help: the macro `checked_precondition` may come from an old version of the `mirai_annotations` crate, try updating your dependency with `cargo update -p mirai_annotations` [INFO] [stdout] = note: see 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] = note: using a cfg inside a macro will use the cfgs from the destination crate and not the ones from the defining crate [INFO] [stdout] = help: try referring to `checked_precondition` crate for guidance on how handle this unexpected cfg [INFO] [stdout] = help: the macro `checked_precondition` may come from an old version of the `mirai_annotations` crate, try updating your dependency with `cargo update -p mirai_annotations` [INFO] [stdout] = note: see 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] = note: using a cfg inside a macro will use the cfgs from the destination crate and not the ones from the defining crate [INFO] [stdout] = help: try referring to `assume` crate for guidance on how handle this unexpected cfg [INFO] [stdout] = help: the macro `assume` may come from an old version of the `mirai_annotations` crate, try updating your dependency with `cargo update -p mirai_annotations` [INFO] [stdout] = note: see 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] = note: using a cfg inside a macro will use the cfgs from the destination crate and not the ones from the defining crate [INFO] [stdout] = help: try referring to `assume` crate for guidance on how handle this unexpected cfg [INFO] [stdout] = help: the macro `assume` may come from an old version of the `mirai_annotations` crate, try updating your dependency with `cargo update -p mirai_annotations` [INFO] [stdout] = note: see 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] = note: using a cfg inside a macro will use the cfgs from the destination crate and not the ones from the defining crate [INFO] [stdout] = help: try referring to `assume` crate for guidance on how handle this unexpected cfg [INFO] [stdout] = help: the macro `assume` may come from an old version of the `mirai_annotations` crate, try updating your dependency with `cargo update -p mirai_annotations` [INFO] [stdout] = note: see 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] = note: using a cfg inside a macro will use the cfgs from the destination crate and not the ones from the defining crate [INFO] [stdout] = help: try referring to `debug_checked_precondition` crate for guidance on how handle this unexpected cfg [INFO] [stdout] = help: the macro `debug_checked_precondition` may come from an old version of the `mirai_annotations` crate, try updating your dependency with `cargo update -p mirai_annotations` [INFO] [stdout] = note: see 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] = note: using a cfg inside a macro will use the cfgs from the destination crate and not the ones from the defining crate [INFO] [stdout] = help: try referring to `assume` crate for guidance on how handle this unexpected cfg [INFO] [stdout] = help: the macro `assume` may come from an old version of the `mirai_annotations` crate, try updating your dependency with `cargo update -p mirai_annotations` [INFO] [stdout] = note: see 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] = note: using a cfg inside a macro will use the cfgs from the destination crate and not the ones from the defining crate [INFO] [stdout] = help: try referring to `assume` crate for guidance on how handle this unexpected cfg [INFO] [stdout] = help: the macro `assume` may come from an old version of the `mirai_annotations` crate, try updating your dependency with `cargo update -p mirai_annotations` [INFO] [stdout] = note: see 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-1949cf8c6b5b557f/diem-crypto-0.0.3/src/ed25519.rs:544:8 [INFO] [stdout] | [INFO] [stdout] 543 | #[cfg(any(test, feature = "fuzzing"))] [INFO] [stdout] | --------------------------- the item is gated here [INFO] [stdout] 544 | pub fn keypair_strategy() -> impl Strategy> { [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-1949cf8c6b5b557f/diem-crypto-0.0.3/src/ed25519.rs:544:8 [INFO] [stdout] | [INFO] [stdout] 543 | #[cfg(any(test, feature = "fuzzing"))] [INFO] [stdout] | --------------------------- the item is gated here [INFO] [stdout] 544 | pub fn keypair_strategy() -> impl Strategy> { [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-1949cf8c6b5b557f/diem-crypto-0.0.3/src/ed25519.rs:544:8 [INFO] [stdout] | [INFO] [stdout] 543 | #[cfg(any(test, feature = "fuzzing"))] [INFO] [stdout] | --------------------------- the item is gated here [INFO] [stdout] 544 | pub fn keypair_strategy() -> impl Strategy> { [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-1949cf8c6b5b557f/diem-crypto-0.0.3/src/ed25519.rs:544:8 [INFO] [stdout] | [INFO] [stdout] 543 | #[cfg(any(test, feature = "fuzzing"))] [INFO] [stdout] | --------------------------- the item is gated here [INFO] [stdout] 544 | pub fn keypair_strategy() -> impl Strategy> { [INFO] [stdout] | ^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0425]: cannot find function `keypair_strategy` in module `ed25519` [INFO] [stdout] --> src/unit_tests/transaction_test.rs:89:90 [INFO] [stdout] | [INFO] [stdout] 89 | fn test_sign_raw_transaction(raw_txn in any::(), keypair in ed25519::keypair_strategy()) { [INFO] [stdout] | ^^^^^^^^^^^^^^^^ not found in `ed25519` [INFO] [stdout] | [INFO] [stdout] note: found an item that was configured out [INFO] [stdout] --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/diem-crypto-0.0.3/src/ed25519.rs:544:8 [INFO] [stdout] | [INFO] [stdout] 543 | #[cfg(any(test, feature = "fuzzing"))] [INFO] [stdout] | --------------------------- the item is gated here [INFO] [stdout] 544 | pub fn keypair_strategy() -> impl Strategy> { [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] = note: using a cfg inside a macro will use the cfgs from the destination crate and not the ones from the defining crate [INFO] [stdout] = help: try referring to `checked_precondition` crate for guidance on how handle this unexpected cfg [INFO] [stdout] = help: the macro `checked_precondition` may come from an old version of the `mirai_annotations` crate, try updating your dependency with `cargo update -p mirai_annotations` [INFO] [stdout] = note: see 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] = note: using a cfg inside a macro will use the cfgs from the destination crate and not the ones from the defining crate [INFO] [stdout] = help: try referring to `checked_precondition` crate for guidance on how handle this unexpected cfg [INFO] [stdout] = help: the macro `checked_precondition` may come from an old version of the `mirai_annotations` crate, try updating your dependency with `cargo update -p mirai_annotations` [INFO] [stdout] = note: see 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] = note: using a cfg inside a macro will use the cfgs from the destination crate and not the ones from the defining crate [INFO] [stdout] = help: try referring to `assume` crate for guidance on how handle this unexpected cfg [INFO] [stdout] = help: the macro `assume` may come from an old version of the `mirai_annotations` crate, try updating your dependency with `cargo update -p mirai_annotations` [INFO] [stdout] = note: see 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] = note: using a cfg inside a macro will use the cfgs from the destination crate and not the ones from the defining crate [INFO] [stdout] = help: try referring to `assume` crate for guidance on how handle this unexpected cfg [INFO] [stdout] = help: the macro `assume` may come from an old version of the `mirai_annotations` crate, try updating your dependency with `cargo update -p mirai_annotations` [INFO] [stdout] = note: see 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] = note: using a cfg inside a macro will use the cfgs from the destination crate and not the ones from the defining crate [INFO] [stdout] = help: try referring to `precondition` crate for guidance on how handle this unexpected cfg [INFO] [stdout] = help: the macro `precondition` may come from an old version of the `mirai_annotations` crate, try updating your dependency with `cargo update -p mirai_annotations` [INFO] [stdout] = note: see 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] = note: using a cfg inside a macro will use the cfgs from the destination crate and not the ones from the defining crate [INFO] [stdout] = help: try referring to `precondition` crate for guidance on how handle this unexpected cfg [INFO] [stdout] = help: the macro `precondition` may come from an old version of the `mirai_annotations` crate, try updating your dependency with `cargo update -p mirai_annotations` [INFO] [stdout] = note: see 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] = note: using a cfg inside a macro will use the cfgs from the destination crate and not the ones from the defining crate [INFO] [stdout] = help: try referring to `precondition` crate for guidance on how handle this unexpected cfg [INFO] [stdout] = help: the macro `precondition` may come from an old version of the `mirai_annotations` crate, try updating your dependency with `cargo update -p mirai_annotations` [INFO] [stdout] = note: see 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] = note: using a cfg inside a macro will use the cfgs from the destination crate and not the ones from the defining crate [INFO] [stdout] = help: try referring to `assume` crate for guidance on how handle this unexpected cfg [INFO] [stdout] = help: the macro `assume` may come from an old version of the `mirai_annotations` crate, try updating your dependency with `cargo update -p mirai_annotations` [INFO] [stdout] = note: see 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] = note: using a cfg inside a macro will use the cfgs from the destination crate and not the ones from the defining crate [INFO] [stdout] = help: try referring to `assume` crate for guidance on how handle this unexpected cfg [INFO] [stdout] = help: the macro `assume` may come from an old version of the `mirai_annotations` crate, try updating your dependency with `cargo update -p mirai_annotations` [INFO] [stdout] = note: see 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] = note: using a cfg inside a macro will use the cfgs from the destination crate and not the ones from the defining crate [INFO] [stdout] = help: try referring to `assume` crate for guidance on how handle this unexpected cfg [INFO] [stdout] = help: the macro `assume` may come from an old version of the `mirai_annotations` crate, try updating your dependency with `cargo update -p mirai_annotations` [INFO] [stdout] = note: see 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] = note: using a cfg inside a macro will use the cfgs from the destination crate and not the ones from the defining crate [INFO] [stdout] = help: try referring to `assume` crate for guidance on how handle this unexpected cfg [INFO] [stdout] = help: the macro `assume` may come from an old version of the `mirai_annotations` crate, try updating your dependency with `cargo update -p mirai_annotations` [INFO] [stdout] = note: see 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] = note: using a cfg inside a macro will use the cfgs from the destination crate and not the ones from the defining crate [INFO] [stdout] = help: try referring to `assume` crate for guidance on how handle this unexpected cfg [INFO] [stdout] = help: the macro `assume` may come from an old version of the `mirai_annotations` crate, try updating your dependency with `cargo update -p mirai_annotations` [INFO] [stdout] = note: see 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] = note: using a cfg inside a macro will use the cfgs from the destination crate and not the ones from the defining crate [INFO] [stdout] = help: try referring to `assume` crate for guidance on how handle this unexpected cfg [INFO] [stdout] = help: the macro `assume` may come from an old version of the `mirai_annotations` crate, try updating your dependency with `cargo update -p mirai_annotations` [INFO] [stdout] = note: see 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] = note: using a cfg inside a macro will use the cfgs from the destination crate and not the ones from the defining crate [INFO] [stdout] = help: try referring to `assume` crate for guidance on how handle this unexpected cfg [INFO] [stdout] = help: the macro `assume` may come from an old version of the `mirai_annotations` crate, try updating your dependency with `cargo update -p mirai_annotations` [INFO] [stdout] = note: see 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] = note: using a cfg inside a macro will use the cfgs from the destination crate and not the ones from the defining crate [INFO] [stdout] = help: try referring to `precondition` crate for guidance on how handle this unexpected cfg [INFO] [stdout] = help: the macro `precondition` may come from an old version of the `mirai_annotations` crate, try updating your dependency with `cargo update -p mirai_annotations` [INFO] [stdout] = note: see 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] = note: using a cfg inside a macro will use the cfgs from the destination crate and not the ones from the defining crate [INFO] [stdout] = help: try referring to `assume` crate for guidance on how handle this unexpected cfg [INFO] [stdout] = help: the macro `assume` may come from an old version of the `mirai_annotations` crate, try updating your dependency with `cargo update -p mirai_annotations` [INFO] [stdout] = note: see 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] = note: using a cfg inside a macro will use the cfgs from the destination crate and not the ones from the defining crate [INFO] [stdout] = help: try referring to `assume` crate for guidance on how handle this unexpected cfg [INFO] [stdout] = help: the macro `assume` may come from an old version of the `mirai_annotations` crate, try updating your dependency with `cargo update -p mirai_annotations` [INFO] [stdout] = note: see 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] = note: using a cfg inside a macro will use the cfgs from the destination crate and not the ones from the defining crate [INFO] [stdout] = help: try referring to `checked_precondition` crate for guidance on how handle this unexpected cfg [INFO] [stdout] = help: the macro `checked_precondition` may come from an old version of the `mirai_annotations` crate, try updating your dependency with `cargo update -p mirai_annotations` [INFO] [stdout] = note: see 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] = note: using a cfg inside a macro will use the cfgs from the destination crate and not the ones from the defining crate [INFO] [stdout] = help: try referring to `checked_precondition` crate for guidance on how handle this unexpected cfg [INFO] [stdout] = help: the macro `checked_precondition` may come from an old version of the `mirai_annotations` crate, try updating your dependency with `cargo update -p mirai_annotations` [INFO] [stdout] = note: see 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] = note: using a cfg inside a macro will use the cfgs from the destination crate and not the ones from the defining crate [INFO] [stdout] = help: try referring to `checked_precondition` crate for guidance on how handle this unexpected cfg [INFO] [stdout] = help: the macro `checked_precondition` may come from an old version of the `mirai_annotations` crate, try updating your dependency with `cargo update -p mirai_annotations` [INFO] [stdout] = note: see 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] = note: using a cfg inside a macro will use the cfgs from the destination crate and not the ones from the defining crate [INFO] [stdout] = help: try referring to `assume` crate for guidance on how handle this unexpected cfg [INFO] [stdout] = help: the macro `assume` may come from an old version of the `mirai_annotations` crate, try updating your dependency with `cargo update -p mirai_annotations` [INFO] [stdout] = note: see 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] = note: using a cfg inside a macro will use the cfgs from the destination crate and not the ones from the defining crate [INFO] [stdout] = help: try referring to `assume` crate for guidance on how handle this unexpected cfg [INFO] [stdout] = help: the macro `assume` may come from an old version of the `mirai_annotations` crate, try updating your dependency with `cargo update -p mirai_annotations` [INFO] [stdout] = note: see 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] = note: using a cfg inside a macro will use the cfgs from the destination crate and not the ones from the defining crate [INFO] [stdout] = help: try referring to `assume` crate for guidance on how handle this unexpected cfg [INFO] [stdout] = help: the macro `assume` may come from an old version of the `mirai_annotations` crate, try updating your dependency with `cargo update -p mirai_annotations` [INFO] [stdout] = note: see 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] = note: using a cfg inside a macro will use the cfgs from the destination crate and not the ones from the defining crate [INFO] [stdout] = help: try referring to `debug_checked_precondition` crate for guidance on how handle this unexpected cfg [INFO] [stdout] = help: the macro `debug_checked_precondition` may come from an old version of the `mirai_annotations` crate, try updating your dependency with `cargo update -p mirai_annotations` [INFO] [stdout] = note: see 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] = note: using a cfg inside a macro will use the cfgs from the destination crate and not the ones from the defining crate [INFO] [stdout] = help: try referring to `assume` crate for guidance on how handle this unexpected cfg [INFO] [stdout] = help: the macro `assume` may come from an old version of the `mirai_annotations` crate, try updating your dependency with `cargo update -p mirai_annotations` [INFO] [stdout] = note: see 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] = note: using a cfg inside a macro will use the cfgs from the destination crate and not the ones from the defining crate [INFO] [stdout] = help: try referring to `assume` crate for guidance on how handle this unexpected cfg [INFO] [stdout] = help: the macro `assume` may come from an old version of the `mirai_annotations` crate, try updating your dependency with `cargo update -p mirai_annotations` [INFO] [stdout] = note: see 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 `AccountAddress: 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, std::sync::mpsc::IntoIter) [INFO] [stdout] (SyncSender, std::sync::mpsc::Receiver) [INFO] [stdout] (T0, T1) [INFO] [stdout] (T0, T1, T2) [INFO] [stdout] (T0, T1, T2, T3) [INFO] [stdout] (T0, T1, T2, T3, T4) [INFO] [stdout] (T0, T1, T2, T3, T4, T5) [INFO] [stdout] and 268 others [INFO] [stdout] = note: the full name for the type has been written to '/opt/rustwide/target/debug/deps/diem_types-dd61061a458c0fce.long-type-8598654828367248176.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 `AccountAddress: 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, std::sync::mpsc::IntoIter) [INFO] [stdout] (SyncSender, std::sync::mpsc::Receiver) [INFO] [stdout] (T0, T1) [INFO] [stdout] (T0, T1, T2) [INFO] [stdout] (T0, T1, T2, T3) [INFO] [stdout] (T0, T1, T2, T3, T4) [INFO] [stdout] (T0, T1, T2, T3, T4, T5) [INFO] [stdout] and 268 others [INFO] [stdout] = note: the full name for the type has been written to '/opt/rustwide/target/debug/deps/diem_types-dd61061a458c0fce.long-type-8598654828367248176.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 `AccountAddress: 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, std::sync::mpsc::IntoIter) [INFO] [stdout] (SyncSender, std::sync::mpsc::Receiver) [INFO] [stdout] (T0, T1) [INFO] [stdout] (T0, T1, T2) [INFO] [stdout] (T0, T1, T2, T3) [INFO] [stdout] (T0, T1, T2, T3, T4) [INFO] [stdout] (T0, T1, T2, T3, T4, T5) [INFO] [stdout] and 268 others [INFO] [stdout] = note: the full name for the type has been written to '/opt/rustwide/target/debug/deps/diem_types-dd61061a458c0fce.long-type-8598654828367248176.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 `AccountAddress: 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, std::sync::mpsc::IntoIter) [INFO] [stdout] (SyncSender, std::sync::mpsc::Receiver) [INFO] [stdout] (T0, T1) [INFO] [stdout] (T0, T1, T2) [INFO] [stdout] (T0, T1, T2, T3) [INFO] [stdout] (T0, T1, T2, T3, T4) [INFO] [stdout] (T0, T1, T2, T3, T4, T5) [INFO] [stdout] and 268 others [INFO] [stdout] = note: the full name for the type has been written to '/opt/rustwide/target/debug/deps/diem_types-dd61061a458c0fce.long-type-8598654828367248176.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 `AccountAddress: 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, std::sync::mpsc::IntoIter) [INFO] [stdout] (SyncSender, std::sync::mpsc::Receiver) [INFO] [stdout] (T0, T1) [INFO] [stdout] (T0, T1, T2) [INFO] [stdout] (T0, T1, T2, T3) [INFO] [stdout] (T0, T1, T2, T3, T4) [INFO] [stdout] (T0, T1, T2, T3, T4, T5) [INFO] [stdout] and 268 others [INFO] [stdout] = note: the full name for the type has been written to '/opt/rustwide/target/debug/deps/diem_types-dd61061a458c0fce.long-type-8598654828367248176.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::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, std::sync::mpsc::IntoIter) [INFO] [stdout] (SyncSender, std::sync::mpsc::Receiver) [INFO] [stdout] (T0, T1) [INFO] [stdout] (T0, T1, T2) [INFO] [stdout] (T0, T1, T2, T3) [INFO] [stdout] (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 `AccountAddress: 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, std::sync::mpsc::IntoIter) [INFO] [stdout] (SyncSender, std::sync::mpsc::Receiver) [INFO] [stdout] (T0, T1) [INFO] [stdout] (T0, T1, T2) [INFO] [stdout] (T0, T1, T2, T3) [INFO] [stdout] (T0, T1, T2, T3, T4) [INFO] [stdout] (T0, T1, T2, T3, T4, T5) [INFO] [stdout] and 268 others [INFO] [stdout] = note: required for `BTreeMap` 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-dd61061a458c0fce.long-type-8598654828367248176.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 `Ed25519PublicKey: 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, std::sync::mpsc::IntoIter) [INFO] [stdout] (SyncSender, std::sync::mpsc::Receiver) [INFO] [stdout] (T0, T1) [INFO] [stdout] (T0, T1, T2) [INFO] [stdout] (T0, T1, T2, T3) [INFO] [stdout] (T0, T1, T2, T3, T4) [INFO] [stdout] (T0, T1, T2, T3, T4, T5) [INFO] [stdout] and 268 others [INFO] [stdout] = note: the full name for the type has been written to '/opt/rustwide/target/debug/deps/diem_types-dd61061a458c0fce.long-type-6391184063897150972.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 `AccountAddress: 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, std::sync::mpsc::IntoIter) [INFO] [stdout] (SyncSender, std::sync::mpsc::Receiver) [INFO] [stdout] (T0, T1) [INFO] [stdout] (T0, T1, T2) [INFO] [stdout] (T0, T1, T2, T3) [INFO] [stdout] (T0, T1, T2, T3, T4) [INFO] [stdout] (T0, T1, T2, T3, T4, T5) [INFO] [stdout] and 268 others [INFO] [stdout] = note: required for `BTreeMap` 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-dd61061a458c0fce.long-type-8598654828367248176.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 `Ed25519PublicKey: 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, std::sync::mpsc::IntoIter) [INFO] [stdout] (SyncSender, std::sync::mpsc::Receiver) [INFO] [stdout] (T0, T1) [INFO] [stdout] (T0, T1, T2) [INFO] [stdout] (T0, T1, T2, T3) [INFO] [stdout] (T0, T1, T2, T3, T4) [INFO] [stdout] (T0, T1, T2, T3, T4, T5) [INFO] [stdout] and 268 others [INFO] [stdout] = note: the full name for the type has been written to '/opt/rustwide/target/debug/deps/diem_types-dd61061a458c0fce.long-type-6391184063897150972.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::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, std::sync::mpsc::IntoIter) [INFO] [stdout] (SyncSender, std::sync::mpsc::Receiver) [INFO] [stdout] (T0, T1) [INFO] [stdout] (T0, T1, T2) [INFO] [stdout] (T0, T1, T2, T3) [INFO] [stdout] (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 `AccountAddress: 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, std::sync::mpsc::IntoIter) [INFO] [stdout] (SyncSender, std::sync::mpsc::Receiver) [INFO] [stdout] (T0, T1) [INFO] [stdout] (T0, T1, T2) [INFO] [stdout] (T0, T1, T2, T3) [INFO] [stdout] (T0, T1, T2, T3, T4) [INFO] [stdout] (T0, T1, T2, T3, T4, T5) [INFO] [stdout] and 268 others [INFO] [stdout] = note: required for `BTreeMap` 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-dd61061a458c0fce.long-type-8598654828367248176.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 `Ed25519PublicKey: 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, std::sync::mpsc::IntoIter) [INFO] [stdout] (SyncSender, std::sync::mpsc::Receiver) [INFO] [stdout] (T0, T1) [INFO] [stdout] (T0, T1, T2) [INFO] [stdout] (T0, T1, T2, T3) [INFO] [stdout] (T0, T1, T2, T3, T4) [INFO] [stdout] (T0, T1, T2, T3, T4, T5) [INFO] [stdout] and 268 others [INFO] [stdout] = note: the full name for the type has been written to '/opt/rustwide/target/debug/deps/diem_types-dd61061a458c0fce.long-type-6391184063897150972.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 `PublicKey: 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, std::sync::mpsc::IntoIter) [INFO] [stdout] (SyncSender, std::sync::mpsc::Receiver) [INFO] [stdout] (T0, T1) [INFO] [stdout] (T0, T1, T2) [INFO] [stdout] (T0, T1, T2, T3) [INFO] [stdout] (T0, T1, T2, T3, T4) [INFO] [stdout] (T0, T1, T2, T3, T4, T5) [INFO] [stdout] and 268 others [INFO] [stdout] = note: the full name for the type has been written to '/opt/rustwide/target/debug/deps/diem_types-dd61061a458c0fce.long-type-17746527284797002992.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 `AccountAddress: 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, std::sync::mpsc::IntoIter) [INFO] [stdout] (SyncSender, std::sync::mpsc::Receiver) [INFO] [stdout] (T0, T1) [INFO] [stdout] (T0, T1, T2) [INFO] [stdout] (T0, T1, T2, T3) [INFO] [stdout] (T0, T1, T2, T3, T4) [INFO] [stdout] (T0, T1, T2, T3, T4, T5) [INFO] [stdout] and 268 others [INFO] [stdout] = note: the full name for the type has been written to '/opt/rustwide/target/debug/deps/diem_types-dd61061a458c0fce.long-type-8598654828367248176.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 `Ed25519PublicKey: 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, std::sync::mpsc::IntoIter) [INFO] [stdout] (SyncSender, std::sync::mpsc::Receiver) [INFO] [stdout] (T0, T1) [INFO] [stdout] (T0, T1, T2) [INFO] [stdout] (T0, T1, T2, T3) [INFO] [stdout] (T0, T1, T2, T3, T4) [INFO] [stdout] (T0, T1, T2, T3, T4, T5) [INFO] [stdout] and 268 others [INFO] [stdout] = note: the full name for the type has been written to '/opt/rustwide/target/debug/deps/diem_types-dd61061a458c0fce.long-type-6391184063897150972.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::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, std::sync::mpsc::IntoIter) [INFO] [stdout] (SyncSender, std::sync::mpsc::Receiver) [INFO] [stdout] (T0, T1) [INFO] [stdout] (T0, T1, T2) [INFO] [stdout] (T0, T1, T2, T3) [INFO] [stdout] (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 `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, std::sync::mpsc::IntoIter) [INFO] [stdout] (SyncSender, std::sync::mpsc::Receiver) [INFO] [stdout] (T0, T1) [INFO] [stdout] (T0, T1, T2) [INFO] [stdout] (T0, T1, T2, T3) [INFO] [stdout] (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 `AccountAddress: 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, std::sync::mpsc::IntoIter) [INFO] [stdout] (SyncSender, std::sync::mpsc::Receiver) [INFO] [stdout] (T0, T1) [INFO] [stdout] (T0, T1, T2) [INFO] [stdout] (T0, T1, T2, T3) [INFO] [stdout] (T0, T1, T2, T3, T4) [INFO] [stdout] (T0, T1, T2, T3, T4, T5) [INFO] [stdout] and 269 others [INFO] [stdout] = note: the full name for the type has been written to '/opt/rustwide/target/debug/deps/diem_types-dd61061a458c0fce.long-type-8598654828367248176.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 `AccountAddress: 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, std::sync::mpsc::IntoIter) [INFO] [stdout] (SyncSender, std::sync::mpsc::Receiver) [INFO] [stdout] (T0, T1) [INFO] [stdout] (T0, T1, T2) [INFO] [stdout] (T0, T1, T2, T3) [INFO] [stdout] (T0, T1, T2, T3, T4) [INFO] [stdout] (T0, T1, T2, T3, T4, T5) [INFO] [stdout] and 269 others [INFO] [stdout] = note: the full name for the type has been written to '/opt/rustwide/target/debug/deps/diem_types-dd61061a458c0fce.long-type-8598654828367248176.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::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, std::sync::mpsc::IntoIter) [INFO] [stdout] (SyncSender, std::sync::mpsc::Receiver) [INFO] [stdout] (T0, T1) [INFO] [stdout] (T0, T1, T2) [INFO] [stdout] (T0, T1, T2, T3) [INFO] [stdout] (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/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, std::sync::mpsc::IntoIter) [INFO] [stdout] (SyncSender, std::sync::mpsc::Receiver) [INFO] [stdout] (T0, T1) [INFO] [stdout] (T0, T1, T2) [INFO] [stdout] (T0, T1, T2, T3) [INFO] [stdout] (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, std::sync::mpsc::IntoIter) [INFO] [stdout] (SyncSender, std::sync::mpsc::Receiver) [INFO] [stdout] (T0, T1) [INFO] [stdout] (T0, T1, T2) [INFO] [stdout] (T0, T1, T2, T3) [INFO] [stdout] (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/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, std::sync::mpsc::IntoIter) [INFO] [stdout] (SyncSender, std::sync::mpsc::Receiver) [INFO] [stdout] (T0, T1) [INFO] [stdout] (T0, T1, T2) [INFO] [stdout] (T0, T1, T2, T3) [INFO] [stdout] (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 `AccountAddress: 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, std::sync::mpsc::IntoIter) [INFO] [stdout] (SyncSender, std::sync::mpsc::Receiver) [INFO] [stdout] (T0, T1) [INFO] [stdout] (T0, T1, T2) [INFO] [stdout] (T0, T1, T2, T3) [INFO] [stdout] (T0, T1, T2, T3, T4) [INFO] [stdout] (T0, T1, T2, T3, T4, T5) [INFO] [stdout] and 268 others [INFO] [stdout] = note: required for `BTreeMap` 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-dd61061a458c0fce.long-type-8598654828367248176.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 `Ed25519PublicKey: 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, std::sync::mpsc::IntoIter) [INFO] [stdout] (SyncSender, std::sync::mpsc::Receiver) [INFO] [stdout] (T0, T1) [INFO] [stdout] (T0, T1, T2) [INFO] [stdout] (T0, T1, T2, T3) [INFO] [stdout] (T0, T1, T2, T3, T4) [INFO] [stdout] (T0, T1, T2, T3, T4, T5) [INFO] [stdout] and 268 others [INFO] [stdout] = note: the full name for the type has been written to '/opt/rustwide/target/debug/deps/diem_types-dd61061a458c0fce.long-type-6391184063897150972.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 `Ed25519PublicKey: 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, std::sync::mpsc::IntoIter) [INFO] [stdout] (SyncSender, std::sync::mpsc::Receiver) [INFO] [stdout] (T0, T1) [INFO] [stdout] (T0, T1, T2) [INFO] [stdout] (T0, T1, T2, T3) [INFO] [stdout] (T0, T1, T2, T3, T4) [INFO] [stdout] (T0, T1, T2, T3, T4, T5) [INFO] [stdout] and 268 others [INFO] [stdout] = note: the full name for the type has been written to '/opt/rustwide/target/debug/deps/diem_types-dd61061a458c0fce.long-type-6391184063897150972.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 `AccountAddress: 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, std::sync::mpsc::IntoIter) [INFO] [stdout] (SyncSender, std::sync::mpsc::Receiver) [INFO] [stdout] (T0, T1) [INFO] [stdout] (T0, T1, T2) [INFO] [stdout] (T0, T1, T2, T3) [INFO] [stdout] (T0, T1, T2, T3, T4) [INFO] [stdout] (T0, T1, T2, T3, T4, T5) [INFO] [stdout] and 268 others [INFO] [stdout] = note: the full name for the type has been written to '/opt/rustwide/target/debug/deps/diem_types-dd61061a458c0fce.long-type-8598654828367248176.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 `Ed25519PublicKey: 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, std::sync::mpsc::IntoIter) [INFO] [stdout] (SyncSender, std::sync::mpsc::Receiver) [INFO] [stdout] (T0, T1) [INFO] [stdout] (T0, T1, T2) [INFO] [stdout] (T0, T1, T2, T3) [INFO] [stdout] (T0, T1, T2, T3, T4) [INFO] [stdout] (T0, T1, T2, T3, T4, T5) [INFO] [stdout] and 268 others [INFO] [stdout] = note: the full name for the type has been written to '/opt/rustwide/target/debug/deps/diem_types-dd61061a458c0fce.long-type-6391184063897150972.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 `Ed25519PublicKey: 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, std::sync::mpsc::IntoIter) [INFO] [stdout] (SyncSender, std::sync::mpsc::Receiver) [INFO] [stdout] (T0, T1) [INFO] [stdout] (T0, T1, T2) [INFO] [stdout] (T0, T1, T2, T3) [INFO] [stdout] (T0, T1, T2, T3, T4) [INFO] [stdout] (T0, T1, T2, T3, T4, T5) [INFO] [stdout] and 268 others [INFO] [stdout] = note: the full name for the type has been written to '/opt/rustwide/target/debug/deps/diem_types-dd61061a458c0fce.long-type-6391184063897150972.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 `AccountAddress: 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, std::sync::mpsc::IntoIter) [INFO] [stdout] (SyncSender, std::sync::mpsc::Receiver) [INFO] [stdout] (T0, T1) [INFO] [stdout] (T0, T1, T2) [INFO] [stdout] (T0, T1, T2, T3) [INFO] [stdout] (T0, T1, T2, T3, T4) [INFO] [stdout] (T0, T1, T2, T3, T4, T5) [INFO] [stdout] and 268 others [INFO] [stdout] = note: required for `BTreeMap` 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-dd61061a458c0fce.long-type-8598654828367248176.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 `Ed25519PublicKey: 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, std::sync::mpsc::IntoIter) [INFO] [stdout] (SyncSender, std::sync::mpsc::Receiver) [INFO] [stdout] (T0, T1) [INFO] [stdout] (T0, T1, T2) [INFO] [stdout] (T0, T1, T2, T3) [INFO] [stdout] (T0, T1, T2, T3, T4) [INFO] [stdout] (T0, T1, T2, T3, T4, T5) [INFO] [stdout] and 268 others [INFO] [stdout] = note: the full name for the type has been written to '/opt/rustwide/target/debug/deps/diem_types-dd61061a458c0fce.long-type-6391184063897150972.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::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, std::sync::mpsc::IntoIter) [INFO] [stdout] (SyncSender, std::sync::mpsc::Receiver) [INFO] [stdout] (T0, T1) [INFO] [stdout] (T0, T1, T2) [INFO] [stdout] (T0, T1, T2, T3) [INFO] [stdout] (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 `AccountAddress: 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, std::sync::mpsc::IntoIter) [INFO] [stdout] (SyncSender, std::sync::mpsc::Receiver) [INFO] [stdout] (T0, T1) [INFO] [stdout] (T0, T1, T2) [INFO] [stdout] (T0, T1, T2, T3) [INFO] [stdout] (T0, T1, T2, T3, T4) [INFO] [stdout] (T0, T1, T2, T3, T4, T5) [INFO] [stdout] and 268 others [INFO] [stdout] = note: the full name for the type has been written to '/opt/rustwide/target/debug/deps/diem_types-dd61061a458c0fce.long-type-8598654828367248176.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 `AccountAddress: 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, std::sync::mpsc::IntoIter) [INFO] [stdout] (SyncSender, std::sync::mpsc::Receiver) [INFO] [stdout] (T0, T1) [INFO] [stdout] (T0, T1, T2) [INFO] [stdout] (T0, T1, T2, T3) [INFO] [stdout] (T0, T1, T2, T3, T4) [INFO] [stdout] (T0, T1, T2, T3, T4, T5) [INFO] [stdout] and 268 others [INFO] [stdout] = note: the full name for the type has been written to '/opt/rustwide/target/debug/deps/diem_types-dd61061a458c0fce.long-type-8598654828367248176.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 `AccountAddress: 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, std::sync::mpsc::IntoIter) [INFO] [stdout] (SyncSender, std::sync::mpsc::Receiver) [INFO] [stdout] (T0, T1) [INFO] [stdout] (T0, T1, T2) [INFO] [stdout] (T0, T1, T2, T3) [INFO] [stdout] (T0, T1, T2, T3, T4) [INFO] [stdout] (T0, T1, T2, T3, T4, T5) [INFO] [stdout] and 268 others [INFO] [stdout] = note: the full name for the type has been written to '/opt/rustwide/target/debug/deps/diem_types-dd61061a458c0fce.long-type-8598654828367248176.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 `AccountAddress: 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, std::sync::mpsc::IntoIter) [INFO] [stdout] (SyncSender, std::sync::mpsc::Receiver) [INFO] [stdout] (T0, T1) [INFO] [stdout] (T0, T1, T2) [INFO] [stdout] (T0, T1, T2, T3) [INFO] [stdout] (T0, T1, T2, T3, T4) [INFO] [stdout] (T0, T1, T2, T3, T4, T5) [INFO] [stdout] and 268 others [INFO] [stdout] = note: the full name for the type has been written to '/opt/rustwide/target/debug/deps/diem_types-dd61061a458c0fce.long-type-8598654828367248176.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/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, std::sync::mpsc::IntoIter) [INFO] [stdout] (SyncSender, std::sync::mpsc::Receiver) [INFO] [stdout] (T0, T1) [INFO] [stdout] (T0, T1, T2) [INFO] [stdout] (T0, T1, T2, T3) [INFO] [stdout] (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/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, std::sync::mpsc::IntoIter) [INFO] [stdout] (SyncSender, std::sync::mpsc::Receiver) [INFO] [stdout] (T0, T1) [INFO] [stdout] (T0, T1, T2) [INFO] [stdout] (T0, T1, T2, T3) [INFO] [stdout] (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 `PublicKey: 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, std::sync::mpsc::IntoIter) [INFO] [stdout] (SyncSender, std::sync::mpsc::Receiver) [INFO] [stdout] (T0, T1) [INFO] [stdout] (T0, T1, T2) [INFO] [stdout] (T0, T1, T2, T3) [INFO] [stdout] (T0, T1, T2, T3, T4) [INFO] [stdout] (T0, T1, T2, T3, T4, T5) [INFO] [stdout] and 268 others [INFO] [stdout] = note: the full name for the type has been written to '/opt/rustwide/target/debug/deps/diem_types-dd61061a458c0fce.long-type-17746527284797002992.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/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, std::sync::mpsc::IntoIter) [INFO] [stdout] (SyncSender, std::sync::mpsc::Receiver) [INFO] [stdout] (T0, T1) [INFO] [stdout] (T0, T1, T2) [INFO] [stdout] (T0, T1, T2, T3) [INFO] [stdout] (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: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, std::sync::mpsc::IntoIter) [INFO] [stdout] (SyncSender, std::sync::mpsc::Receiver) [INFO] [stdout] (T0, T1) [INFO] [stdout] (T0, T1, T2) [INFO] [stdout] (T0, T1, T2, T3) [INFO] [stdout] (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, std::sync::mpsc::IntoIter) [INFO] [stdout] (SyncSender, std::sync::mpsc::Receiver) [INFO] [stdout] (T0, T1) [INFO] [stdout] (T0, T1, T2) [INFO] [stdout] (T0, T1, T2, T3) [INFO] [stdout] (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: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, std::sync::mpsc::IntoIter) [INFO] [stdout] (SyncSender, std::sync::mpsc::Receiver) [INFO] [stdout] (T0, T1) [INFO] [stdout] (T0, T1, T2) [INFO] [stdout] (T0, T1, T2, T3) [INFO] [stdout] (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, std::sync::mpsc::IntoIter) [INFO] [stdout] (SyncSender, std::sync::mpsc::Receiver) [INFO] [stdout] (T0, T1) [INFO] [stdout] (T0, T1, T2) [INFO] [stdout] (T0, T1, T2, T3) [INFO] [stdout] (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 `Ed25519PublicKey: 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, std::sync::mpsc::IntoIter) [INFO] [stdout] (SyncSender, std::sync::mpsc::Receiver) [INFO] [stdout] (T0, T1) [INFO] [stdout] (T0, T1, T2) [INFO] [stdout] (T0, T1, T2, T3) [INFO] [stdout] (T0, T1, T2, T3, T4) [INFO] [stdout] (T0, T1, T2, T3, T4, T5) [INFO] [stdout] and 268 others [INFO] [stdout] = note: the full name for the type has been written to '/opt/rustwide/target/debug/deps/diem_types-dd61061a458c0fce.long-type-6391184063897150972.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 `AccountAddress: 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, std::sync::mpsc::IntoIter) [INFO] [stdout] (SyncSender, std::sync::mpsc::Receiver) [INFO] [stdout] (T0, T1) [INFO] [stdout] (T0, T1, T2) [INFO] [stdout] (T0, T1, T2, T3) [INFO] [stdout] (T0, T1, T2, T3, T4) [INFO] [stdout] (T0, T1, T2, T3, T4, T5) [INFO] [stdout] and 268 others [INFO] [stdout] = note: the full name for the type has been written to '/opt/rustwide/target/debug/deps/diem_types-dd61061a458c0fce.long-type-8598654828367248176.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 `Ed25519PublicKey: 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, std::sync::mpsc::IntoIter) [INFO] [stdout] (SyncSender, std::sync::mpsc::Receiver) [INFO] [stdout] (T0, T1) [INFO] [stdout] (T0, T1, T2) [INFO] [stdout] (T0, T1, T2, T3) [INFO] [stdout] (T0, T1, T2, T3, T4) [INFO] [stdout] (T0, T1, T2, T3, T4, T5) [INFO] [stdout] and 268 others [INFO] [stdout] = note: the full name for the type has been written to '/opt/rustwide/target/debug/deps/diem_types-dd61061a458c0fce.long-type-6391184063897150972.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 `AccountAddress: 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, std::sync::mpsc::IntoIter) [INFO] [stdout] (SyncSender, std::sync::mpsc::Receiver) [INFO] [stdout] (T0, T1) [INFO] [stdout] (T0, T1, T2) [INFO] [stdout] (T0, T1, T2, T3) [INFO] [stdout] (T0, T1, T2, T3, T4) [INFO] [stdout] (T0, T1, T2, T3, T4, T5) [INFO] [stdout] and 268 others [INFO] [stdout] = note: required for `BTreeMap` 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-dd61061a458c0fce.long-type-8598654828367248176.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: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, std::sync::mpsc::IntoIter) [INFO] [stdout] (SyncSender, std::sync::mpsc::Receiver) [INFO] [stdout] (T0, T1) [INFO] [stdout] (T0, T1, T2) [INFO] [stdout] (T0, T1, T2, T3) [INFO] [stdout] (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 `AccountAddress: 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::(), balance_resource in any::()) -> 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, std::sync::mpsc::IntoIter) [INFO] [stdout] (SyncSender, std::sync::mpsc::Receiver) [INFO] [stdout] (T0, T1) [INFO] [stdout] (T0, T1, T2) [INFO] [stdout] (T0, T1, T2, T3) [INFO] [stdout] (T0, T1, T2, T3, T4) [INFO] [stdout] (T0, T1, T2, T3, T4, T5) [INFO] [stdout] and 268 others [INFO] [stdout] = note: the full name for the type has been written to '/opt/rustwide/target/debug/deps/diem_types-dd61061a458c0fce.long-type-8598654828367248176.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 `PublicKey: 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, std::sync::mpsc::IntoIter) [INFO] [stdout] (SyncSender, std::sync::mpsc::Receiver) [INFO] [stdout] (T0, T1) [INFO] [stdout] (T0, T1, T2) [INFO] [stdout] (T0, T1, T2, T3) [INFO] [stdout] (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] = note: the full name for the type has been written to '/opt/rustwide/target/debug/deps/diem_types-dd61061a458c0fce.long-type-17746527284797002992.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/proof/proptest_proof.rs:21:11 [INFO] [stdout] | [INFO] [stdout] 21 | any::().prop_filter("Filter out placeholder sibling.", |x| { [INFO] [stdout] | ^^^^^^^^^ the trait `_IMPL_ARBITRARY_FOR_AccessPath::_proptest::arbitrary::Arbitrary` is not implemented for `diem_crypto::HashValue` [INFO] [stdout] | [INFO] [stdout] = help: the following other types implement trait `_IMPL_ARBITRARY_FOR_AccessPath::_proptest::arbitrary::Arbitrary`: [INFO] [stdout] () [INFO] [stdout] (SyncSender, std::sync::mpsc::IntoIter) [INFO] [stdout] (SyncSender, std::sync::mpsc::Receiver) [INFO] [stdout] (T0, T1) [INFO] [stdout] (T0, T1, T2) [INFO] [stdout] (T0, T1, T2, T3) [INFO] [stdout] (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-1949cf8c6b5b557f/proptest-1.7.0/src/arbitrary/traits.rs:164:15 [INFO] [stdout] | [INFO] [stdout] 164 | pub fn any() -> StrategyFor { [INFO] [stdout] | ^^^^^^^^^ required by this bound in `any` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0277]: the trait bound `diem_crypto::HashValue: _IMPL_ARBITRARY_FOR_AccessPath::_proptest::arbitrary::Arbitrary` is not satisfied [INFO] [stdout] --> src/proof/proptest_proof.rs:21:5 [INFO] [stdout] | [INFO] [stdout] 21 | any::().prop_filter("Filter out placeholder sibling.", |x| { [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^ the trait `_IMPL_ARBITRARY_FOR_AccessPath::_proptest::arbitrary::Arbitrary` is not implemented for `diem_crypto::HashValue` [INFO] [stdout] | [INFO] [stdout] = help: the following other types implement trait `_IMPL_ARBITRARY_FOR_AccessPath::_proptest::arbitrary::Arbitrary`: [INFO] [stdout] () [INFO] [stdout] (SyncSender, std::sync::mpsc::IntoIter) [INFO] [stdout] (SyncSender, std::sync::mpsc::Receiver) [INFO] [stdout] (T0, T1) [INFO] [stdout] (T0, T1, T2) [INFO] [stdout] (T0, T1, T2, T3) [INFO] [stdout] (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::().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, std::sync::mpsc::IntoIter) [INFO] [stdout] (SyncSender, std::sync::mpsc::Receiver) [INFO] [stdout] (T0, T1) [INFO] [stdout] (T0, T1, T2) [INFO] [stdout] (T0, T1, T2, T3) [INFO] [stdout] (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-1949cf8c6b5b557f/proptest-1.7.0/src/arbitrary/traits.rs:164:15 [INFO] [stdout] | [INFO] [stdout] 164 | pub fn any() -> StrategyFor { [INFO] [stdout] | ^^^^^^^^^ required by this bound in `any` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0277]: the trait bound `diem_crypto::HashValue: _IMPL_ARBITRARY_FOR_AccessPath::_proptest::arbitrary::Arbitrary` is not satisfied [INFO] [stdout] --> src/proof/proptest_proof.rs:34:5 [INFO] [stdout] | [INFO] [stdout] 34 | any::().prop_filter("Filter out placeholder sibling.", |x| { [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^ the trait `_IMPL_ARBITRARY_FOR_AccessPath::_proptest::arbitrary::Arbitrary` is not implemented for `diem_crypto::HashValue` [INFO] [stdout] | [INFO] [stdout] = help: the following other types implement trait `_IMPL_ARBITRARY_FOR_AccessPath::_proptest::arbitrary::Arbitrary`: [INFO] [stdout] () [INFO] [stdout] (SyncSender, std::sync::mpsc::IntoIter) [INFO] [stdout] (SyncSender, std::sync::mpsc::Receiver) [INFO] [stdout] (T0, T1) [INFO] [stdout] (T0, T1, T2) [INFO] [stdout] (T0, T1, T2, T3) [INFO] [stdout] (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 `AccountAddress: Arbitrary` is not satisfied [INFO] [stdout] --> src/proptest_types.rs:72:14 [INFO] [stdout] | [INFO] [stdout] 72 | vec((any::(), WriteOp::value_strategy()), 0..64).prop_map(|write_set| { [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^ 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, std::sync::mpsc::IntoIter) [INFO] [stdout] (SyncSender, std::sync::mpsc::Receiver) [INFO] [stdout] (T0, T1) [INFO] [stdout] (T0, T1, T2) [INFO] [stdout] (T0, T1, T2, T3) [INFO] [stdout] (T0, T1, T2, T3, T4) [INFO] [stdout] (T0, T1, T2, T3, T4, T5) [INFO] [stdout] and 269 others [INFO] [stdout] = note: the full name for the type has been written to '/opt/rustwide/target/debug/deps/diem_types-dd61061a458c0fce.long-type-8598654828367248176.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 `KeyPair: Clone` is not satisfied [INFO] [stdout] --> src/proptest_types.rs:446:26 [INFO] [stdout] | [INFO] [stdout] 446 | Just(keypair), [INFO] [stdout] | ---- ^^^^^^^ the trait `Clone` is not implemented for `KeyPair` [INFO] [stdout] | | [INFO] [stdout] | required by a bound introduced by this call [INFO] [stdout] | [INFO] [stdout] note: required by a bound in `_IMPL_ARBITRARY_FOR_AccessPath::_proptest::strategy::Just` [INFO] [stdout] --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/proptest-1.7.0/src/strategy/just.rs:34:20 [INFO] [stdout] | [INFO] [stdout] 34 | pub struct Just( [INFO] [stdout] | ^^^^^ required by this bound in `_IMPL_ARBITRARY_FOR_AccessPath::_proptest::strategy::Just` [INFO] [stdout] = note: the full name for the type has been written to '/opt/rustwide/target/debug/deps/diem_types-dd61061a458c0fce.long-type-5168230693845218434.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 `KeyPair: Clone` is not satisfied [INFO] [stdout] --> src/proptest_types.rs:446:21 [INFO] [stdout] | [INFO] [stdout] 446 | Just(keypair), [INFO] [stdout] | ^^^^^^^^^^^^^ the trait `Clone` is not implemented for `KeyPair` [INFO] [stdout] | [INFO] [stdout] note: required by a bound in `_IMPL_ARBITRARY_FOR_AccessPath::_proptest::strategy::Just` [INFO] [stdout] --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/proptest-1.7.0/src/strategy/just.rs:34:20 [INFO] [stdout] | [INFO] [stdout] 34 | pub struct Just( [INFO] [stdout] | ^^^^^ required by this bound in `Just` [INFO] [stdout] = note: the full name for the type has been written to '/opt/rustwide/target/debug/deps/diem_types-dd61061a458c0fce.long-type-5168230693845218434.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 `KeyPair: Clone` is not satisfied [INFO] [stdout] --> src/proptest_types.rs:438:9 [INFO] [stdout] | [INFO] [stdout] 438 | / ( [INFO] [stdout] 439 | | keypair_strategy, [INFO] [stdout] 440 | | payload_strategy, [INFO] [stdout] 441 | | gas_currency_code_strategy, [INFO] [stdout] ... | [INFO] [stdout] 453 | | }) [INFO] [stdout] | |______________^ the trait `Clone` is not implemented for `KeyPair` [INFO] [stdout] | [INFO] [stdout] note: required by a bound in `_IMPL_ARBITRARY_FOR_AccessPath::_proptest::strategy::Just` [INFO] [stdout] --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/proptest-1.7.0/src/strategy/just.rs:34:20 [INFO] [stdout] | [INFO] [stdout] 34 | pub struct Just( [INFO] [stdout] | ^^^^^ required by this bound in `Just` [INFO] [stdout] = note: the full name for the type has been written to '/opt/rustwide/target/debug/deps/diem_types-dd61061a458c0fce.long-type-5168230693845218434.txt' [INFO] [stdout] = note: consider using `--verbose` to print the full type name to the console [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0599]: the method `prop_flat_map` exists for struct `Flatten>`, but its trait bounds were not satisfied [INFO] [stdout] --> src/proptest_types.rs:454:14 [INFO] [stdout] | [INFO] [stdout] 438 | / ( [INFO] [stdout] 439 | | keypair_strategy, [INFO] [stdout] 440 | | payload_strategy, [INFO] [stdout] 441 | | gas_currency_code_strategy, [INFO] [stdout] ... | [INFO] [stdout] 453 | | }) [INFO] [stdout] 454 | | .prop_flat_map(|(keypair, raw_txn)| { [INFO] [stdout] | | -^^^^^^^^^^^^^ method cannot be called on `Flatten>` due to unsatisfied trait bounds [INFO] [stdout] | |_____________| [INFO] [stdout] | [INFO] [stdout] | [INFO] [stdout] ::: /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/proptest-1.7.0/src/strategy/flatten.rs:22:1 [INFO] [stdout] | [INFO] [stdout] 22 | pub struct Flatten { [INFO] [stdout] | --------------------- doesn't satisfy `_: Strategy` [INFO] [stdout] | [INFO] [stdout] ::: /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/proptest-1.7.0/src/strategy/map.rs:25:1 [INFO] [stdout] | [INFO] [stdout] 25 | pub struct Map { [INFO] [stdout] | -------------------- doesn't satisfy `_: Strategy` [INFO] [stdout] | [INFO] [stdout] = note: the following trait bounds were not satisfied: [INFO] [stdout] `_IMPL_ARBITRARY_FOR_AccessPath::_proptest::strategy::Map<(impl Strategy>, impl Strategy, impl Strategy), {closure@src/proptest_types.rs:443:28: 443:67}>: _IMPL_ARBITRARY_FOR_AccessPath::_proptest::strategy::Strategy` [INFO] [stdout] which is required by `_IMPL_ARBITRARY_FOR_AccessPath::_proptest::strategy::Flatten<_IMPL_ARBITRARY_FOR_AccessPath::_proptest::strategy::Map<(impl Strategy>, impl Strategy, impl Strategy), {closure@src/proptest_types.rs:443:28: 443:67}>>: _IMPL_ARBITRARY_FOR_AccessPath::_proptest::strategy::Strategy` [INFO] [stdout] `_IMPL_ARBITRARY_FOR_AccessPath::_proptest::strategy::Flatten<_IMPL_ARBITRARY_FOR_AccessPath::_proptest::strategy::Map<(impl Strategy>, impl Strategy, impl Strategy), {closure@src/proptest_types.rs:443:28: 443:67}>>: _IMPL_ARBITRARY_FOR_AccessPath::_proptest::strategy::Strategy` [INFO] [stdout] which is required by `&_IMPL_ARBITRARY_FOR_AccessPath::_proptest::strategy::Flatten<_IMPL_ARBITRARY_FOR_AccessPath::_proptest::strategy::Map<(impl Strategy>, impl Strategy, impl Strategy), {closure@src/proptest_types.rs:443:28: 443:67}>>: _IMPL_ARBITRARY_FOR_AccessPath::_proptest::strategy::Strategy` [INFO] [stdout] `_IMPL_ARBITRARY_FOR_AccessPath::_proptest::strategy::Flatten<_IMPL_ARBITRARY_FOR_AccessPath::_proptest::strategy::Map<(impl Strategy>, impl Strategy, impl Strategy), {closure@src/proptest_types.rs:443:28: 443:67}>>: _IMPL_ARBITRARY_FOR_AccessPath::_proptest::strategy::Strategy` [INFO] [stdout] which is required by `&mut _IMPL_ARBITRARY_FOR_AccessPath::_proptest::strategy::Flatten<_IMPL_ARBITRARY_FOR_AccessPath::_proptest::strategy::Map<(impl Strategy>, impl Strategy, impl Strategy), {closure@src/proptest_types.rs:443:28: 443:67}>>: _IMPL_ARBITRARY_FOR_AccessPath::_proptest::strategy::Strategy` [INFO] [stdout] = note: the full name for the type has been written to '/opt/rustwide/target/debug/deps/diem_types-dd61061a458c0fce.long-type-5105601969740988272.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 `VMStatus: _IMPL_ARBITRARY_FOR_AccessPath::_proptest::arbitrary::Arbitrary` is not satisfied [INFO] [stdout] --> src/proptest_types.rs:541:52 [INFO] [stdout] | [INFO] [stdout] 541 | fn arb_transaction_status()(vm_status in any::()) -> TransactionStatus { [INFO] [stdout] | ^^^^^^^^ the trait `_IMPL_ARBITRARY_FOR_AccessPath::_proptest::arbitrary::Arbitrary` is not implemented for `VMStatus` [INFO] [stdout] | [INFO] [stdout] = help: the following other types implement trait `_IMPL_ARBITRARY_FOR_AccessPath::_proptest::arbitrary::Arbitrary`: [INFO] [stdout] () [INFO] [stdout] (SyncSender, std::sync::mpsc::IntoIter) [INFO] [stdout] (SyncSender, std::sync::mpsc::Receiver) [INFO] [stdout] (T0, T1) [INFO] [stdout] (T0, T1, T2) [INFO] [stdout] (T0, T1, T2, T3) [INFO] [stdout] (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-1949cf8c6b5b557f/proptest-1.7.0/src/arbitrary/traits.rs:164:15 [INFO] [stdout] | [INFO] [stdout] 164 | pub fn any() -> StrategyFor { [INFO] [stdout] | ^^^^^^^^^ required by this bound in `any` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0277]: the trait bound `VMStatus: _IMPL_ARBITRARY_FOR_AccessPath::_proptest::arbitrary::Arbitrary` is not satisfied [INFO] [stdout] --> src/proptest_types.rs:541:46 [INFO] [stdout] | [INFO] [stdout] 541 | fn arb_transaction_status()(vm_status in any::()) -> TransactionStatus { [INFO] [stdout] | ^^^^^^^^^^^^^^^^^ the trait `_IMPL_ARBITRARY_FOR_AccessPath::_proptest::arbitrary::Arbitrary` is not implemented for `VMStatus` [INFO] [stdout] | [INFO] [stdout] = help: the following other types implement trait `_IMPL_ARBITRARY_FOR_AccessPath::_proptest::arbitrary::Arbitrary`: [INFO] [stdout] () [INFO] [stdout] (SyncSender, std::sync::mpsc::IntoIter) [INFO] [stdout] (SyncSender, std::sync::mpsc::Receiver) [INFO] [stdout] (T0, T1) [INFO] [stdout] (T0, T1, T2) [INFO] [stdout] (T0, T1, T2, T3) [INFO] [stdout] (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::(), [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, std::sync::mpsc::IntoIter) [INFO] [stdout] (SyncSender, std::sync::mpsc::Receiver) [INFO] [stdout] (T0, T1) [INFO] [stdout] (T0, T1, T2) [INFO] [stdout] (T0, T1, T2, T3) [INFO] [stdout] (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-1949cf8c6b5b557f/proptest-1.7.0/src/arbitrary/traits.rs:164:15 [INFO] [stdout] | [INFO] [stdout] 164 | pub fn any() -> StrategyFor { [INFO] [stdout] | ^^^^^^^^^ required by this bound in `any` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0277]: the trait bound `TypeTag: _IMPL_ARBITRARY_FOR_AccessPath::_proptest::arbitrary::Arbitrary` is not satisfied [INFO] [stdout] --> src/proptest_types.rs:747:13 [INFO] [stdout] | [INFO] [stdout] 747 | any::(), [INFO] [stdout] | ^^^^^^^^^^^^^^^^ the trait `_IMPL_ARBITRARY_FOR_AccessPath::_proptest::arbitrary::Arbitrary` is not implemented for `TypeTag` [INFO] [stdout] | [INFO] [stdout] = help: the following other types implement trait `_IMPL_ARBITRARY_FOR_AccessPath::_proptest::arbitrary::Arbitrary`: [INFO] [stdout] () [INFO] [stdout] (SyncSender, std::sync::mpsc::IntoIter) [INFO] [stdout] (SyncSender, std::sync::mpsc::Receiver) [INFO] [stdout] (T0, T1) [INFO] [stdout] (T0, T1, T2) [INFO] [stdout] (T0, T1, T2, T3) [INFO] [stdout] (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::>(), [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, std::sync::mpsc::IntoIter) [INFO] [stdout] (SyncSender, std::sync::mpsc::Receiver) [INFO] [stdout] (T0, T1) [INFO] [stdout] (T0, T1, T2) [INFO] [stdout] (T0, T1, T2, T3) [INFO] [stdout] (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::>(), [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, std::sync::mpsc::IntoIter) [INFO] [stdout] (SyncSender, std::sync::mpsc::Receiver) [INFO] [stdout] (T0, T1) [INFO] [stdout] (T0, T1, T2) [INFO] [stdout] (T0, T1, T2, T3) [INFO] [stdout] (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::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>` [INFO] [stdout] = note: required for `Vec` to implement `Into>` [INFO] [stdout] note: required by a bound in `select` [INFO] [stdout] --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/proptest-1.7.0/src/sample.rs:157:18 [INFO] [stdout] | [INFO] [stdout] 156 | pub fn select( [INFO] [stdout] | ------ required by a bound in this function [INFO] [stdout] 157 | values: impl Into>, [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^ required by this bound in `select` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0277]: the trait bound `diem_crypto::ed25519::Ed25519PrivateKey: Clone` is not satisfied [INFO] [stdout] --> src/validator_signer.rs:117:56 [INFO] [stdout] | [INFO] [stdout] 117 | fn select_keypair(keys: Vec) -> impl Strategy { [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ the trait `Clone` is not implemented for `diem_crypto::ed25519::Ed25519PrivateKey` [INFO] [stdout] | [INFO] [stdout] note: required by a bound in `Select` [INFO] [stdout] --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/proptest-1.7.0/src/sample.rs:134:38 [INFO] [stdout] | [INFO] [stdout] 134 | pub struct Select[][where T : Clone + fmt::Debug + 'static]( [INFO] [stdout] | ^^^^^ required by this bound in `Select` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0277]: the trait bound `AccountAddress: 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, std::sync::mpsc::IntoIter) [INFO] [stdout] (SyncSender, std::sync::mpsc::Receiver) [INFO] [stdout] (T0, T1) [INFO] [stdout] (T0, T1, T2) [INFO] [stdout] (T0, T1, T2, T3) [INFO] [stdout] (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-1949cf8c6b5b557f/proptest-1.7.0/src/arbitrary/traits.rs:208:20 [INFO] [stdout] | [INFO] [stdout] 208 | pub fn any_with(args: ParamsFor) -> StrategyFor { [INFO] [stdout] | ^^^^^^^^^ required by this bound in `any_with` [INFO] [stdout] = note: the full name for the type has been written to '/opt/rustwide/target/debug/deps/diem_types-dd61061a458c0fce.long-type-8598654828367248176.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 `AccountAddress: 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, std::sync::mpsc::IntoIter) [INFO] [stdout] (SyncSender, std::sync::mpsc::Receiver) [INFO] [stdout] (T0, T1) [INFO] [stdout] (T0, T1, T2) [INFO] [stdout] (T0, T1, T2, T3) [INFO] [stdout] (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-1949cf8c6b5b557f/proptest-1.7.0/src/arbitrary/traits.rs:208:20 [INFO] [stdout] | [INFO] [stdout] 208 | pub fn any_with(args: ParamsFor) -> StrategyFor { [INFO] [stdout] | ^^^^^^^^^ required by this bound in `any_with` [INFO] [stdout] = note: the full name for the type has been written to '/opt/rustwide/target/debug/deps/diem_types-dd61061a458c0fce.long-type-8598654828367248176.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 `AccountAddress: 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, std::sync::mpsc::IntoIter) [INFO] [stdout] (SyncSender, std::sync::mpsc::Receiver) [INFO] [stdout] (T0, T1) [INFO] [stdout] (T0, T1, T2) [INFO] [stdout] (T0, T1, T2, T3) [INFO] [stdout] (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-1949cf8c6b5b557f/proptest-1.7.0/src/arbitrary/traits.rs:208:20 [INFO] [stdout] | [INFO] [stdout] 208 | pub fn any_with(args: ParamsFor) -> StrategyFor { [INFO] [stdout] | ^^^^^^^^^ required by this bound in `any_with` [INFO] [stdout] = note: the full name for the type has been written to '/opt/rustwide/target/debug/deps/diem_types-dd61061a458c0fce.long-type-8598654828367248176.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 `AccountAddress: 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, std::sync::mpsc::IntoIter) [INFO] [stdout] (SyncSender, std::sync::mpsc::Receiver) [INFO] [stdout] (T0, T1) [INFO] [stdout] (T0, T1, T2) [INFO] [stdout] (T0, T1, T2, T3) [INFO] [stdout] (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-1949cf8c6b5b557f/proptest-1.7.0/src/arbitrary/traits.rs:208:20 [INFO] [stdout] | [INFO] [stdout] 208 | pub fn any_with(args: ParamsFor) -> StrategyFor { [INFO] [stdout] | ^^^^^^^^^ required by this bound in `any_with` [INFO] [stdout] = note: the full name for the type has been written to '/opt/rustwide/target/debug/deps/diem_types-dd61061a458c0fce.long-type-8598654828367248176.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/account_state_blob.rs:241:79 [INFO] [stdout] | [INFO] [stdout] 241 | fn account_state_with_proof_bcs_roundtrip(account_state_with_proof in any::()) { [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ the trait `_IMPL_ARBITRARY_FOR_AccessPath::_proptest::arbitrary::Arbitrary` is not implemented for `diem_crypto::HashValue` [INFO] [stdout] | [INFO] [stdout] = help: the following other types implement trait `_IMPL_ARBITRARY_FOR_AccessPath::_proptest::arbitrary::Arbitrary`: [INFO] [stdout] () [INFO] [stdout] (SyncSender, std::sync::mpsc::IntoIter) [INFO] [stdout] (SyncSender, std::sync::mpsc::Receiver) [INFO] [stdout] (T0, T1) [INFO] [stdout] (T0, T1, T2) [INFO] [stdout] (T0, T1, T2, T3) [INFO] [stdout] (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::()) { [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, std::sync::mpsc::IntoIter) [INFO] [stdout] (SyncSender, std::sync::mpsc::Receiver) [INFO] [stdout] (T0, T1) [INFO] [stdout] (T0, T1, T2) [INFO] [stdout] (T0, T1, T2, T3) [INFO] [stdout] (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, std::sync::mpsc::IntoIter) [INFO] [stdout] (SyncSender, std::sync::mpsc::Receiver) [INFO] [stdout] (T0, T1) [INFO] [stdout] (T0, T1, T2) [INFO] [stdout] (T0, T1, T2, T3) [INFO] [stdout] (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-1949cf8c6b5b557f/proptest-1.7.0/src/arbitrary/traits.rs:208:20 [INFO] [stdout] | [INFO] [stdout] 208 | pub fn any_with(args: ParamsFor) -> StrategyFor { [INFO] [stdout] | ^^^^^^^^^ required by this bound in `any_with` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0277]: the trait bound `diem_crypto::HashValue: _IMPL_ARBITRARY_FOR_AccessPath::_proptest::arbitrary::Arbitrary` is not satisfied [INFO] [stdout] --> src/block_info.rs:34:24 [INFO] [stdout] | [INFO] [stdout] 34 | executed_state_id: HashValue, [INFO] [stdout] | ^^^^^^^^^ the trait `_IMPL_ARBITRARY_FOR_AccessPath::_proptest::arbitrary::Arbitrary` is not implemented for `diem_crypto::HashValue` [INFO] [stdout] | [INFO] [stdout] = help: the following other types implement trait `_IMPL_ARBITRARY_FOR_AccessPath::_proptest::arbitrary::Arbitrary`: [INFO] [stdout] () [INFO] [stdout] (SyncSender, std::sync::mpsc::IntoIter) [INFO] [stdout] (SyncSender, std::sync::mpsc::Receiver) [INFO] [stdout] (T0, T1) [INFO] [stdout] (T0, T1, T2) [INFO] [stdout] (T0, T1, T2, T3) [INFO] [stdout] (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-1949cf8c6b5b557f/proptest-1.7.0/src/arbitrary/traits.rs:208:20 [INFO] [stdout] | [INFO] [stdout] 208 | pub fn any_with(args: ParamsFor) -> StrategyFor { [INFO] [stdout] | ^^^^^^^^^ required by this bound in `any_with` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0277]: the trait bound `diem_crypto::HashValue: _IMPL_ARBITRARY_FOR_AccessPath::_proptest::arbitrary::Arbitrary` is not satisfied [INFO] [stdout] --> src/ledger_info.rs:47:26 [INFO] [stdout] | [INFO] [stdout] 47 | consensus_data_hash: HashValue, [INFO] [stdout] | ^^^^^^^^^ the trait `_IMPL_ARBITRARY_FOR_AccessPath::_proptest::arbitrary::Arbitrary` is not implemented for `diem_crypto::HashValue` [INFO] [stdout] | [INFO] [stdout] = help: the following other types implement trait `_IMPL_ARBITRARY_FOR_AccessPath::_proptest::arbitrary::Arbitrary`: [INFO] [stdout] () [INFO] [stdout] (SyncSender, std::sync::mpsc::IntoIter) [INFO] [stdout] (SyncSender, std::sync::mpsc::Receiver) [INFO] [stdout] (T0, T1) [INFO] [stdout] (T0, T1, T2) [INFO] [stdout] (T0, T1, T2, T3) [INFO] [stdout] (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-1949cf8c6b5b557f/proptest-1.7.0/src/arbitrary/traits.rs:208:20 [INFO] [stdout] | [INFO] [stdout] 208 | pub fn any_with(args: ParamsFor) -> StrategyFor { [INFO] [stdout] | ^^^^^^^^^ required by this bound in `any_with` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0599]: no function or associated item named `dummy_signature` found for struct `diem_crypto::ed25519::Ed25519Signature` in the current scope [INFO] [stdout] --> src/ledger_info.rs:275:49 [INFO] [stdout] | [INFO] [stdout] 275 | let dummy_signature = Ed25519Signature::dummy_signature(); [INFO] [stdout] | ^^^^^^^^^^^^^^^ function or associated item not found in `diem_crypto::ed25519::Ed25519Signature` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0277]: the trait bound `diem_crypto::HashValue: _IMPL_ARBITRARY_FOR_AccessPath::_proptest::arbitrary::Arbitrary` is not satisfied [INFO] [stdout] --> src/ledger_info.rs:277:13 [INFO] [stdout] | [INFO] [stdout] 277 | proptest::arbitrary::any::(), [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ the trait `_IMPL_ARBITRARY_FOR_AccessPath::_proptest::arbitrary::Arbitrary` is not implemented for `diem_crypto::HashValue` [INFO] [stdout] | [INFO] [stdout] = help: the following other types implement trait `_IMPL_ARBITRARY_FOR_AccessPath::_proptest::arbitrary::Arbitrary`: [INFO] [stdout] () [INFO] [stdout] (SyncSender, std::sync::mpsc::IntoIter) [INFO] [stdout] (SyncSender, std::sync::mpsc::Receiver) [INFO] [stdout] (T0, T1) [INFO] [stdout] (T0, T1, T2) [INFO] [stdout] (T0, T1, T2, T3) [INFO] [stdout] (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 `AccountAddress: Arbitrary` is not satisfied [INFO] [stdout] --> src/ledger_info.rs:277:13 [INFO] [stdout] | [INFO] [stdout] 277 | proptest::arbitrary::any::(), [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, std::sync::mpsc::IntoIter) [INFO] [stdout] (SyncSender, std::sync::mpsc::Receiver) [INFO] [stdout] (T0, T1) [INFO] [stdout] (T0, T1, T2) [INFO] [stdout] (T0, T1, T2, T3) [INFO] [stdout] (T0, T1, T2, T3, T4) [INFO] [stdout] (T0, T1, T2, T3, T4, T5) [INFO] [stdout] and 268 others [INFO] [stdout] = note: required for `BTreeMap` 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-dd61061a458c0fce.long-type-8598654828367248176.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 `Ed25519PublicKey: Arbitrary` is not satisfied [INFO] [stdout] --> src/ledger_info.rs:277:13 [INFO] [stdout] | [INFO] [stdout] 277 | proptest::arbitrary::any::(), [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ the trait `_IMPL_ARBITRARY_FOR_AccessPath::_proptest::arbitrary::Arbitrary` is not implemented for `diem_crypto::ed25519::Ed25519PublicKey` [INFO] [stdout] | [INFO] [stdout] = help: the following other types implement trait `_IMPL_ARBITRARY_FOR_AccessPath::_proptest::arbitrary::Arbitrary`: [INFO] [stdout] () [INFO] [stdout] (SyncSender, std::sync::mpsc::IntoIter) [INFO] [stdout] (SyncSender, std::sync::mpsc::Receiver) [INFO] [stdout] (T0, T1) [INFO] [stdout] (T0, T1, T2) [INFO] [stdout] (T0, T1, T2, T3) [INFO] [stdout] (T0, T1, T2, T3, T4) [INFO] [stdout] (T0, T1, T2, T3, T4, T5) [INFO] [stdout] and 268 others [INFO] [stdout] = note: the full name for the type has been written to '/opt/rustwide/target/debug/deps/diem_types-dd61061a458c0fce.long-type-6391184063897150972.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 `AccountAddress: Arbitrary` is not satisfied [INFO] [stdout] --> src/ledger_info.rs:278:66 [INFO] [stdout] | [INFO] [stdout] 278 | proptest::collection::vec(proptest::arbitrary::any::(), 0..100), [INFO] [stdout] | ^^^^^^^^^^^^^^ 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, std::sync::mpsc::IntoIter) [INFO] [stdout] (SyncSender, std::sync::mpsc::Receiver) [INFO] [stdout] (T0, T1) [INFO] [stdout] (T0, T1, T2) [INFO] [stdout] (T0, T1, T2, T3) [INFO] [stdout] (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-1949cf8c6b5b557f/proptest-1.7.0/src/arbitrary/traits.rs:164:15 [INFO] [stdout] | [INFO] [stdout] 164 | pub fn any() -> StrategyFor { [INFO] [stdout] | ^^^^^^^^^ required by this bound in `any` [INFO] [stdout] = note: the full name for the type has been written to '/opt/rustwide/target/debug/deps/diem_types-dd61061a458c0fce.long-type-8598654828367248176.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 `PublicKey: 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, std::sync::mpsc::IntoIter) [INFO] [stdout] (SyncSender, std::sync::mpsc::Receiver) [INFO] [stdout] (T0, T1) [INFO] [stdout] (T0, T1, T2) [INFO] [stdout] (T0, T1, T2, T3) [INFO] [stdout] (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-1949cf8c6b5b557f/proptest-1.7.0/src/arbitrary/traits.rs:208:20 [INFO] [stdout] | [INFO] [stdout] 208 | pub fn any_with(args: ParamsFor) -> StrategyFor { [INFO] [stdout] | ^^^^^^^^^ required by this bound in `any_with` [INFO] [stdout] = note: the full name for the type has been written to '/opt/rustwide/target/debug/deps/diem_types-dd61061a458c0fce.long-type-17746527284797002992.txt' [INFO] [stdout] = note: consider using `--verbose` to print the full type name to the console [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: hiding a lifetime that's elided elsewhere is confusing [INFO] [stdout] --> src/nibble/nibble_path/mod.rs:161:17 [INFO] [stdout] | [INFO] [stdout] 161 | pub fn bits(&self) -> BitIterator { [INFO] [stdout] | ^^^^^ ----------- the same lifetime is hidden here [INFO] [stdout] | | [INFO] [stdout] | the lifetime is elided here [INFO] [stdout] | [INFO] [stdout] = help: the same lifetime is referred to in inconsistent ways, making the signature confusing [INFO] [stdout] = note: `#[warn(mismatched_lifetime_syntaxes)]` on by default [INFO] [stdout] help: use `'_` for type paths [INFO] [stdout] | [INFO] [stdout] 161 | pub fn bits(&self) -> BitIterator<'_> { [INFO] [stdout] | ++++ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: hiding a lifetime that's elided elsewhere is confusing [INFO] [stdout] --> src/nibble/nibble_path/mod.rs:170:20 [INFO] [stdout] | [INFO] [stdout] 170 | pub fn nibbles(&self) -> NibbleIterator { [INFO] [stdout] | ^^^^^ -------------- the same lifetime is hidden here [INFO] [stdout] | | [INFO] [stdout] | the lifetime is elided here [INFO] [stdout] | [INFO] [stdout] = help: the same lifetime is referred to in inconsistent ways, making the signature confusing [INFO] [stdout] help: use `'_` for type paths [INFO] [stdout] | [INFO] [stdout] 170 | pub fn nibbles(&self) -> NibbleIterator<'_> { [INFO] [stdout] | ++++ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0277]: the trait bound `PublicKey: Arbitrary` is not satisfied [INFO] [stdout] --> src/network_address/mod.rs:478:13 [INFO] [stdout] | [INFO] [stdout] 478 | vec(any::(), 1..10) [INFO] [stdout] | ^^^^^^^^^^^^^^^^^ the trait `_IMPL_ARBITRARY_FOR_AccessPath::_proptest::arbitrary::Arbitrary` is not implemented for `diem_crypto::x25519::PublicKey` [INFO] [stdout] | [INFO] [stdout] = help: the following other types implement trait `_IMPL_ARBITRARY_FOR_AccessPath::_proptest::arbitrary::Arbitrary`: [INFO] [stdout] () [INFO] [stdout] (SyncSender, std::sync::mpsc::IntoIter) [INFO] [stdout] (SyncSender, std::sync::mpsc::Receiver) [INFO] [stdout] (T0, T1) [INFO] [stdout] (T0, T1, T2) [INFO] [stdout] (T0, T1, T2, T3) [INFO] [stdout] (T0, T1, T2, T3, T4) [INFO] [stdout] (T0, T1, T2, T3, T4, T5) [INFO] [stdout] and 268 others [INFO] [stdout] = note: the full name for the type has been written to '/opt/rustwide/target/debug/deps/diem_types-dd61061a458c0fce.long-type-17746527284797002992.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/proof/accumulator/accumulator_test.rs:112:30 [INFO] [stdout] | [INFO] [stdout] 112 | hashes1 in vec(any::(), 0..100), [INFO] [stdout] | ^^^^^^^^^ the trait `_IMPL_ARBITRARY_FOR_AccessPath::_proptest::arbitrary::Arbitrary` is not implemented for `diem_crypto::HashValue` [INFO] [stdout] | [INFO] [stdout] = help: the following other types implement trait `_IMPL_ARBITRARY_FOR_AccessPath::_proptest::arbitrary::Arbitrary`: [INFO] [stdout] () [INFO] [stdout] (SyncSender, std::sync::mpsc::IntoIter) [INFO] [stdout] (SyncSender, std::sync::mpsc::Receiver) [INFO] [stdout] (T0, T1) [INFO] [stdout] (T0, T1, T2) [INFO] [stdout] (T0, T1, T2, T3) [INFO] [stdout] (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-1949cf8c6b5b557f/proptest-1.7.0/src/arbitrary/traits.rs:164:15 [INFO] [stdout] | [INFO] [stdout] 164 | pub fn any() -> StrategyFor { [INFO] [stdout] | ^^^^^^^^^ required by this bound in `any` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0277]: the trait bound `diem_crypto::HashValue: _IMPL_ARBITRARY_FOR_AccessPath::_proptest::arbitrary::Arbitrary` is not satisfied [INFO] [stdout] --> src/proof/accumulator/accumulator_test.rs:113:30 [INFO] [stdout] | [INFO] [stdout] 113 | hashes2 in vec(any::(), 0..100), [INFO] [stdout] | ^^^^^^^^^ the trait `_IMPL_ARBITRARY_FOR_AccessPath::_proptest::arbitrary::Arbitrary` is not implemented for `diem_crypto::HashValue` [INFO] [stdout] | [INFO] [stdout] = help: the following other types implement trait `_IMPL_ARBITRARY_FOR_AccessPath::_proptest::arbitrary::Arbitrary`: [INFO] [stdout] () [INFO] [stdout] (SyncSender, std::sync::mpsc::IntoIter) [INFO] [stdout] (SyncSender, std::sync::mpsc::Receiver) [INFO] [stdout] (T0, T1) [INFO] [stdout] (T0, T1, T2) [INFO] [stdout] (T0, T1, T2, T3) [INFO] [stdout] (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-1949cf8c6b5b557f/proptest-1.7.0/src/arbitrary/traits.rs:164:15 [INFO] [stdout] | [INFO] [stdout] 164 | pub fn any() -> StrategyFor { [INFO] [stdout] | ^^^^^^^^^ required by this bound in `any` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0277]: the trait bound `diem_crypto::HashValue: _IMPL_ARBITRARY_FOR_AccessPath::_proptest::arbitrary::Arbitrary` is not satisfied [INFO] [stdout] --> src/proof/accumulator/accumulator_test.rs:112:24 [INFO] [stdout] | [INFO] [stdout] 112 | hashes1 in vec(any::(), 0..100), [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^ the trait `_IMPL_ARBITRARY_FOR_AccessPath::_proptest::arbitrary::Arbitrary` is not implemented for `diem_crypto::HashValue` [INFO] [stdout] | [INFO] [stdout] = help: the following other types implement trait `_IMPL_ARBITRARY_FOR_AccessPath::_proptest::arbitrary::Arbitrary`: [INFO] [stdout] () [INFO] [stdout] (SyncSender, std::sync::mpsc::IntoIter) [INFO] [stdout] (SyncSender, std::sync::mpsc::Receiver) [INFO] [stdout] (T0, T1) [INFO] [stdout] (T0, T1, T2) [INFO] [stdout] (T0, T1, T2, T3) [INFO] [stdout] (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::>() [INFO] [stdout] | ^^^^^^^^ function or associated item not found in `diem_crypto::HashValue` [INFO] [stdout] | [INFO] [stdout] help: there is an associated function `from` with a similar name [INFO] [stdout] --> /rustc/350d0ef0ec0493e6d21cfb265cb8211a0e74d766/library/core/src/convert/mod.rs:596:5 [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0277]: the trait bound `diem_crypto::HashValue: _IMPL_ARBITRARY_FOR_AccessPath::_proptest::arbitrary::Arbitrary` is not satisfied [INFO] [stdout] --> src/proof/proptest_proof.rs:84:13 [INFO] [stdout] | [INFO] [stdout] 84 | any::>(), [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ the trait `_IMPL_ARBITRARY_FOR_AccessPath::_proptest::arbitrary::Arbitrary` is not implemented for `diem_crypto::HashValue` [INFO] [stdout] | [INFO] [stdout] = help: the following other types implement trait `_IMPL_ARBITRARY_FOR_AccessPath::_proptest::arbitrary::Arbitrary`: [INFO] [stdout] () [INFO] [stdout] (SyncSender, std::sync::mpsc::IntoIter) [INFO] [stdout] (SyncSender, std::sync::mpsc::Receiver) [INFO] [stdout] (T0, T1) [INFO] [stdout] (T0, T1, T2) [INFO] [stdout] (T0, T1, T2, T3) [INFO] [stdout] (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 `diem_crypto::HashValue` [INFO] [stdout] | [INFO] [stdout] help: there is an associated function `from` with a similar name [INFO] [stdout] --> /rustc/350d0ef0ec0493e6d21cfb265cb8211a0e74d766/library/core/src/convert/mod.rs:596:5 [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0277]: the trait bound `diem_crypto::HashValue: _IMPL_ARBITRARY_FOR_AccessPath::_proptest::arbitrary::Arbitrary` is not satisfied [INFO] [stdout] --> src/proof/unit_tests/proof_conversion_test.rs:59:54 [INFO] [stdout] | [INFO] [stdout] 59 | fn test_transaction_proof_bcs_roundtrip(proof in any::()) { [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ the trait `_IMPL_ARBITRARY_FOR_AccessPath::_proptest::arbitrary::Arbitrary` is not implemented for `diem_crypto::HashValue` [INFO] [stdout] | [INFO] [stdout] = help: the following other types implement trait `_IMPL_ARBITRARY_FOR_AccessPath::_proptest::arbitrary::Arbitrary`: [INFO] [stdout] () [INFO] [stdout] (SyncSender, std::sync::mpsc::IntoIter) [INFO] [stdout] (SyncSender, std::sync::mpsc::Receiver) [INFO] [stdout] (T0, T1) [INFO] [stdout] (T0, T1, T2) [INFO] [stdout] (T0, T1, T2, T3) [INFO] [stdout] (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::()) { [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, std::sync::mpsc::IntoIter) [INFO] [stdout] (SyncSender, std::sync::mpsc::Receiver) [INFO] [stdout] (T0, T1) [INFO] [stdout] (T0, T1, T2) [INFO] [stdout] (T0, T1, T2, T3) [INFO] [stdout] (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::()) { [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, std::sync::mpsc::IntoIter) [INFO] [stdout] (SyncSender, std::sync::mpsc::Receiver) [INFO] [stdout] (T0, T1) [INFO] [stdout] (T0, T1, T2) [INFO] [stdout] (T0, T1, T2, T3) [INFO] [stdout] (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::()) { [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, std::sync::mpsc::IntoIter) [INFO] [stdout] (SyncSender, std::sync::mpsc::Receiver) [INFO] [stdout] (T0, T1) [INFO] [stdout] (T0, T1, T2) [INFO] [stdout] (T0, T1, T2, T3) [INFO] [stdout] (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::()) { [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, std::sync::mpsc::IntoIter) [INFO] [stdout] (SyncSender, std::sync::mpsc::Receiver) [INFO] [stdout] (T0, T1) [INFO] [stdout] (T0, T1, T2) [INFO] [stdout] (T0, T1, T2, T3) [INFO] [stdout] (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::()) { [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, std::sync::mpsc::IntoIter) [INFO] [stdout] (SyncSender, std::sync::mpsc::Receiver) [INFO] [stdout] (T0, T1) [INFO] [stdout] (T0, T1, T2) [INFO] [stdout] (T0, T1, T2, T3) [INFO] [stdout] (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::()) { [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, std::sync::mpsc::IntoIter) [INFO] [stdout] (SyncSender, std::sync::mpsc::Receiver) [INFO] [stdout] (T0, T1) [INFO] [stdout] (T0, T1, T2) [INFO] [stdout] (T0, T1, T2, T3) [INFO] [stdout] (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::()) { [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, std::sync::mpsc::IntoIter) [INFO] [stdout] (SyncSender, std::sync::mpsc::Receiver) [INFO] [stdout] (T0, T1) [INFO] [stdout] (T0, T1, T2) [INFO] [stdout] (T0, T1, T2, T3) [INFO] [stdout] (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, std::sync::mpsc::IntoIter) [INFO] [stdout] (SyncSender, std::sync::mpsc::Receiver) [INFO] [stdout] (T0, T1) [INFO] [stdout] (T0, T1, T2) [INFO] [stdout] (T0, T1, T2, T3) [INFO] [stdout] (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-1949cf8c6b5b557f/proptest-1.7.0/src/arbitrary/traits.rs:208:20 [INFO] [stdout] | [INFO] [stdout] 208 | pub fn any_with(args: ParamsFor) -> StrategyFor { [INFO] [stdout] | ^^^^^^^^^ required by this bound in `any_with` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0277]: the trait bound `diem_crypto::HashValue: _IMPL_ARBITRARY_FOR_AccessPath::_proptest::arbitrary::Arbitrary` is not satisfied [INFO] [stdout] --> src/proof/mod.rs:101:17 [INFO] [stdout] | [INFO] [stdout] 101 | value_hash: HashValue, [INFO] [stdout] | ^^^^^^^^^ the trait `_IMPL_ARBITRARY_FOR_AccessPath::_proptest::arbitrary::Arbitrary` is not implemented for `diem_crypto::HashValue` [INFO] [stdout] | [INFO] [stdout] = help: the following other types implement trait `_IMPL_ARBITRARY_FOR_AccessPath::_proptest::arbitrary::Arbitrary`: [INFO] [stdout] () [INFO] [stdout] (SyncSender, std::sync::mpsc::IntoIter) [INFO] [stdout] (SyncSender, std::sync::mpsc::Receiver) [INFO] [stdout] (T0, T1) [INFO] [stdout] (T0, T1, T2) [INFO] [stdout] (T0, T1, T2, T3) [INFO] [stdout] (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-1949cf8c6b5b557f/proptest-1.7.0/src/arbitrary/traits.rs:208:20 [INFO] [stdout] | [INFO] [stdout] 208 | pub fn any_with(args: ParamsFor) -> StrategyFor { [INFO] [stdout] | ^^^^^^^^^ required by this bound in `any_with` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0277]: the trait bound `AccountAddress: Arbitrary` is not satisfied [INFO] [stdout] --> src/proptest_types.rs:95:14 [INFO] [stdout] | [INFO] [stdout] 95 | vec((any::(), any::()), 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, std::sync::mpsc::IntoIter) [INFO] [stdout] (SyncSender, std::sync::mpsc::Receiver) [INFO] [stdout] (T0, T1) [INFO] [stdout] (T0, T1, T2) [INFO] [stdout] (T0, T1, T2, T3) [INFO] [stdout] (T0, T1, T2, T3, T4) [INFO] [stdout] (T0, T1, T2, T3, T4, T5) [INFO] [stdout] and 269 others [INFO] [stdout] = note: the full name for the type has been written to '/opt/rustwide/target/debug/deps/diem_types-dd61061a458c0fce.long-type-8598654828367248176.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 `AccountAddress: Arbitrary` is not satisfied [INFO] [stdout] --> src/proptest_types.rs:376:19 [INFO] [stdout] | [INFO] [stdout] 376 | any::(), [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, std::sync::mpsc::IntoIter) [INFO] [stdout] (SyncSender, std::sync::mpsc::Receiver) [INFO] [stdout] (T0, T1) [INFO] [stdout] (T0, T1, T2) [INFO] [stdout] (T0, T1, T2, T3) [INFO] [stdout] (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-1949cf8c6b5b557f/proptest-1.7.0/src/arbitrary/traits.rs:164:15 [INFO] [stdout] | [INFO] [stdout] 164 | pub fn any() -> StrategyFor { [INFO] [stdout] | ^^^^^^^^^ required by this bound in `any` [INFO] [stdout] = note: the full name for the type has been written to '/opt/rustwide/target/debug/deps/diem_types-dd61061a458c0fce.long-type-8598654828367248176.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 `AccountAddress: Arbitrary` is not satisfied [INFO] [stdout] --> src/proptest_types.rs:376:13 [INFO] [stdout] | [INFO] [stdout] 376 | any::(), [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, std::sync::mpsc::IntoIter) [INFO] [stdout] (SyncSender, std::sync::mpsc::Receiver) [INFO] [stdout] (T0, T1) [INFO] [stdout] (T0, T1, T2) [INFO] [stdout] (T0, T1, T2, T3) [INFO] [stdout] (T0, T1, T2, T3, T4) [INFO] [stdout] (T0, T1, T2, T3, T4, T5) [INFO] [stdout] and 269 others [INFO] [stdout] = note: the full name for the type has been written to '/opt/rustwide/target/debug/deps/diem_types-dd61061a458c0fce.long-type-8598654828367248176.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 `TypeTag: _IMPL_ARBITRARY_FOR_AccessPath::_proptest::arbitrary::Arbitrary` is not satisfied [INFO] [stdout] --> src/proptest_types.rs:587:23 [INFO] [stdout] | [INFO] [stdout] 587 | vec(any::(), 0..4), [INFO] [stdout] | ^^^^^^^ the trait `_IMPL_ARBITRARY_FOR_AccessPath::_proptest::arbitrary::Arbitrary` is not implemented for `TypeTag` [INFO] [stdout] | [INFO] [stdout] = help: the following other types implement trait `_IMPL_ARBITRARY_FOR_AccessPath::_proptest::arbitrary::Arbitrary`: [INFO] [stdout] () [INFO] [stdout] (SyncSender, std::sync::mpsc::IntoIter) [INFO] [stdout] (SyncSender, std::sync::mpsc::Receiver) [INFO] [stdout] (T0, T1) [INFO] [stdout] (T0, T1, T2) [INFO] [stdout] (T0, T1, T2, T3) [INFO] [stdout] (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-1949cf8c6b5b557f/proptest-1.7.0/src/arbitrary/traits.rs:164:15 [INFO] [stdout] | [INFO] [stdout] 164 | pub fn any() -> StrategyFor { [INFO] [stdout] | ^^^^^^^^^ required by this bound in `any` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0277]: the trait bound `TransactionArgument: _IMPL_ARBITRARY_FOR_AccessPath::_proptest::arbitrary::Arbitrary` is not satisfied [INFO] [stdout] --> src/proptest_types.rs:588:23 [INFO] [stdout] | [INFO] [stdout] 588 | vec(any::(), 0..10), [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^ the trait `_IMPL_ARBITRARY_FOR_AccessPath::_proptest::arbitrary::Arbitrary` is not implemented for `TransactionArgument` [INFO] [stdout] | [INFO] [stdout] = help: the following other types implement trait `_IMPL_ARBITRARY_FOR_AccessPath::_proptest::arbitrary::Arbitrary`: [INFO] [stdout] () [INFO] [stdout] (SyncSender, std::sync::mpsc::IntoIter) [INFO] [stdout] (SyncSender, std::sync::mpsc::Receiver) [INFO] [stdout] (T0, T1) [INFO] [stdout] (T0, T1, T2) [INFO] [stdout] (T0, T1, T2, T3) [INFO] [stdout] (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-1949cf8c6b5b557f/proptest-1.7.0/src/arbitrary/traits.rs:164:15 [INFO] [stdout] | [INFO] [stdout] 164 | pub fn any() -> StrategyFor { [INFO] [stdout] | ^^^^^^^^^ required by this bound in `any` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0277]: the trait bound `TypeTag: _IMPL_ARBITRARY_FOR_AccessPath::_proptest::arbitrary::Arbitrary` is not satisfied [INFO] [stdout] --> src/proptest_types.rs:587:17 [INFO] [stdout] | [INFO] [stdout] 587 | vec(any::(), 0..4), [INFO] [stdout] | ^^^^^^^^^^^^^^^^ the trait `_IMPL_ARBITRARY_FOR_AccessPath::_proptest::arbitrary::Arbitrary` is not implemented for `TypeTag` [INFO] [stdout] | [INFO] [stdout] = help: the following other types implement trait `_IMPL_ARBITRARY_FOR_AccessPath::_proptest::arbitrary::Arbitrary`: [INFO] [stdout] () [INFO] [stdout] (SyncSender, std::sync::mpsc::IntoIter) [INFO] [stdout] (SyncSender, std::sync::mpsc::Receiver) [INFO] [stdout] (T0, T1) [INFO] [stdout] (T0, T1, T2) [INFO] [stdout] (T0, T1, T2, T3) [INFO] [stdout] (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::(), 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, std::sync::mpsc::IntoIter) [INFO] [stdout] (SyncSender, std::sync::mpsc::Receiver) [INFO] [stdout] (T0, T1) [INFO] [stdout] (T0, T1, T2) [INFO] [stdout] (T0, T1, T2, T3) [INFO] [stdout] (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::(), 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, std::sync::mpsc::IntoIter) [INFO] [stdout] (SyncSender, std::sync::mpsc::Receiver) [INFO] [stdout] (T0, T1) [INFO] [stdout] (T0, T1, T2) [INFO] [stdout] (T0, T1, T2, T3) [INFO] [stdout] (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 `AccountAddress: Arbitrary` is not satisfied [INFO] [stdout] --> src/proptest_types.rs:619:10 [INFO] [stdout] | [INFO] [stdout] 619 | (any::(), 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, std::sync::mpsc::IntoIter) [INFO] [stdout] (SyncSender, std::sync::mpsc::Receiver) [INFO] [stdout] (T0, T1) [INFO] [stdout] (T0, T1, T2) [INFO] [stdout] (T0, T1, T2, T3) [INFO] [stdout] (T0, T1, T2, T3, T4) [INFO] [stdout] (T0, T1, T2, T3, T4, T5) [INFO] [stdout] and 269 others [INFO] [stdout] = note: required for `BTreeMap` 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-dd61061a458c0fce.long-type-8598654828367248176.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 `Ed25519PublicKey: Arbitrary` is not satisfied [INFO] [stdout] --> src/proptest_types.rs:619:10 [INFO] [stdout] | [INFO] [stdout] 619 | (any::(), Just(num_validators_range)) [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^ the trait `_IMPL_ARBITRARY_FOR_AccessPath::_proptest::arbitrary::Arbitrary` is not implemented for `diem_crypto::ed25519::Ed25519PublicKey` [INFO] [stdout] | [INFO] [stdout] = help: the following other types implement trait `_IMPL_ARBITRARY_FOR_AccessPath::_proptest::arbitrary::Arbitrary`: [INFO] [stdout] () [INFO] [stdout] (SyncSender, std::sync::mpsc::IntoIter) [INFO] [stdout] (SyncSender, std::sync::mpsc::Receiver) [INFO] [stdout] (T0, T1) [INFO] [stdout] (T0, T1, T2) [INFO] [stdout] (T0, T1, T2, T3) [INFO] [stdout] (T0, T1, T2, T3, T4) [INFO] [stdout] (T0, T1, T2, T3, T4, T5) [INFO] [stdout] and 269 others [INFO] [stdout] = note: the full name for the type has been written to '/opt/rustwide/target/debug/deps/diem_types-dd61061a458c0fce.long-type-6391184063897150972.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 `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, std::sync::mpsc::IntoIter) [INFO] [stdout] (SyncSender, std::sync::mpsc::Receiver) [INFO] [stdout] (T0, T1) [INFO] [stdout] (T0, T1, T2) [INFO] [stdout] (T0, T1, T2, T3) [INFO] [stdout] (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-1949cf8c6b5b557f/proptest-1.7.0/src/arbitrary/traits.rs:208:20 [INFO] [stdout] | [INFO] [stdout] 208 | pub fn any_with(args: ParamsFor) -> StrategyFor { [INFO] [stdout] | ^^^^^^^^^ required by this bound in `any_with` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0277]: the trait bound `AccountAddress: Arbitrary` is not satisfied [INFO] [stdout] --> src/proptest_types.rs:843:17 [INFO] [stdout] | [INFO] [stdout] 843 | any::(), [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, std::sync::mpsc::IntoIter) [INFO] [stdout] (SyncSender, std::sync::mpsc::Receiver) [INFO] [stdout] (T0, T1) [INFO] [stdout] (T0, T1, T2) [INFO] [stdout] (T0, T1, T2, T3) [INFO] [stdout] (T0, T1, T2, T3, T4) [INFO] [stdout] (T0, T1, T2, T3, T4, T5) [INFO] [stdout] and 269 others [INFO] [stdout] = note: the full name for the type has been written to '/opt/rustwide/target/debug/deps/diem_types-dd61061a458c0fce.long-type-8598654828367248176.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 `TypeTag: _IMPL_ARBITRARY_FOR_AccessPath::_proptest::arbitrary::Arbitrary` is not satisfied [INFO] [stdout] --> src/proptest_types.rs:850:21 [INFO] [stdout] | [INFO] [stdout] 850 | any::(), [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^ the trait `_IMPL_ARBITRARY_FOR_AccessPath::_proptest::arbitrary::Arbitrary` is not implemented for `TypeTag` [INFO] [stdout] | [INFO] [stdout] = help: the following other types implement trait `_IMPL_ARBITRARY_FOR_AccessPath::_proptest::arbitrary::Arbitrary`: [INFO] [stdout] () [INFO] [stdout] (SyncSender, std::sync::mpsc::IntoIter) [INFO] [stdout] (SyncSender, std::sync::mpsc::Receiver) [INFO] [stdout] (T0, T1) [INFO] [stdout] (T0, T1, T2) [INFO] [stdout] (T0, T1, T2, T3) [INFO] [stdout] (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::(), [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, std::sync::mpsc::IntoIter) [INFO] [stdout] (SyncSender, std::sync::mpsc::Receiver) [INFO] [stdout] (T0, T1) [INFO] [stdout] (T0, T1, T2) [INFO] [stdout] (T0, T1, T2, T3) [INFO] [stdout] (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-1949cf8c6b5b557f/proptest-1.7.0/src/arbitrary/traits.rs:164:15 [INFO] [stdout] | [INFO] [stdout] 164 | pub fn any() -> StrategyFor { [INFO] [stdout] | ^^^^^^^^^ required by this bound in `any` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0277]: the trait bound `KeptVMStatus: _IMPL_ARBITRARY_FOR_AccessPath::_proptest::arbitrary::Arbitrary` is not satisfied [INFO] [stdout] --> src/proptest_types.rs:856:13 [INFO] [stdout] | [INFO] [stdout] 856 | any::(), [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^ the trait `_IMPL_ARBITRARY_FOR_AccessPath::_proptest::arbitrary::Arbitrary` is not implemented for `KeptVMStatus` [INFO] [stdout] | [INFO] [stdout] = help: the following other types implement trait `_IMPL_ARBITRARY_FOR_AccessPath::_proptest::arbitrary::Arbitrary`: [INFO] [stdout] () [INFO] [stdout] (SyncSender, std::sync::mpsc::IntoIter) [INFO] [stdout] (SyncSender, std::sync::mpsc::Receiver) [INFO] [stdout] (T0, T1) [INFO] [stdout] (T0, T1, T2) [INFO] [stdout] (T0, T1, T2, T3) [INFO] [stdout] (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::(), [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, std::sync::mpsc::IntoIter) [INFO] [stdout] (SyncSender, std::sync::mpsc::Receiver) [INFO] [stdout] (T0, T1) [INFO] [stdout] (T0, T1, T2) [INFO] [stdout] (T0, T1, T2, T3) [INFO] [stdout] (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-1949cf8c6b5b557f/proptest-1.7.0/src/arbitrary/traits.rs:164:15 [INFO] [stdout] | [INFO] [stdout] 164 | pub fn any() -> StrategyFor { [INFO] [stdout] | ^^^^^^^^^ required by this bound in `any` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0277]: the trait bound `AccountAddress: Arbitrary` is not satisfied [INFO] [stdout] --> src/proptest_types.rs:945:19 [INFO] [stdout] | [INFO] [stdout] 945 | any::(), [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, std::sync::mpsc::IntoIter) [INFO] [stdout] (SyncSender, std::sync::mpsc::Receiver) [INFO] [stdout] (T0, T1) [INFO] [stdout] (T0, T1, T2) [INFO] [stdout] (T0, T1, T2, T3) [INFO] [stdout] (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-1949cf8c6b5b557f/proptest-1.7.0/src/arbitrary/traits.rs:164:15 [INFO] [stdout] | [INFO] [stdout] 164 | pub fn any() -> StrategyFor { [INFO] [stdout] | ^^^^^^^^^ required by this bound in `any` [INFO] [stdout] = note: the full name for the type has been written to '/opt/rustwide/target/debug/deps/diem_types-dd61061a458c0fce.long-type-8598654828367248176.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/proptest_types.rs:941:13 [INFO] [stdout] | [INFO] [stdout] 941 | any::(), [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^ the trait `_IMPL_ARBITRARY_FOR_AccessPath::_proptest::arbitrary::Arbitrary` is not implemented for `diem_crypto::HashValue` [INFO] [stdout] | [INFO] [stdout] = help: the following other types implement trait `_IMPL_ARBITRARY_FOR_AccessPath::_proptest::arbitrary::Arbitrary`: [INFO] [stdout] () [INFO] [stdout] (SyncSender, std::sync::mpsc::IntoIter) [INFO] [stdout] (SyncSender, std::sync::mpsc::Receiver) [INFO] [stdout] (T0, T1) [INFO] [stdout] (T0, T1, T2) [INFO] [stdout] (T0, T1, T2, T3) [INFO] [stdout] (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 `AccountAddress: Arbitrary` is not satisfied [INFO] [stdout] --> src/proptest_types.rs:945:13 [INFO] [stdout] | [INFO] [stdout] 945 | any::(), [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, std::sync::mpsc::IntoIter) [INFO] [stdout] (SyncSender, std::sync::mpsc::Receiver) [INFO] [stdout] (T0, T1) [INFO] [stdout] (T0, T1, T2) [INFO] [stdout] (T0, T1, T2, T3) [INFO] [stdout] (T0, T1, T2, T3, T4) [INFO] [stdout] (T0, T1, T2, T3, T4, T5) [INFO] [stdout] and 269 others [INFO] [stdout] = note: the full name for the type has been written to '/opt/rustwide/target/debug/deps/diem_types-dd61061a458c0fce.long-type-8598654828367248176.txt' [INFO] [stdout] = note: consider using `--verbose` to print the full type name to the console [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 `diem_crypto::ed25519::Ed25519PrivateKey` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0277]: the trait bound `diem_crypto::HashValue: _IMPL_ARBITRARY_FOR_AccessPath::_proptest::arbitrary::Arbitrary` is not satisfied [INFO] [stdout] --> src/proptest_types.rs:1040:19 [INFO] [stdout] | [INFO] [stdout] 1040 | any::(), [INFO] [stdout] | ^^^^^^^^^ the trait `_IMPL_ARBITRARY_FOR_AccessPath::_proptest::arbitrary::Arbitrary` is not implemented for `diem_crypto::HashValue` [INFO] [stdout] | [INFO] [stdout] = help: the following other types implement trait `_IMPL_ARBITRARY_FOR_AccessPath::_proptest::arbitrary::Arbitrary`: [INFO] [stdout] () [INFO] [stdout] (SyncSender, std::sync::mpsc::IntoIter) [INFO] [stdout] (SyncSender, std::sync::mpsc::Receiver) [INFO] [stdout] (T0, T1) [INFO] [stdout] (T0, T1, T2) [INFO] [stdout] (T0, T1, T2, T3) [INFO] [stdout] (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-1949cf8c6b5b557f/proptest-1.7.0/src/arbitrary/traits.rs:164:15 [INFO] [stdout] | [INFO] [stdout] 164 | pub fn any() -> StrategyFor { [INFO] [stdout] | ^^^^^^^^^ required by this bound in `any` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0277]: the trait bound `diem_crypto::HashValue: _IMPL_ARBITRARY_FOR_AccessPath::_proptest::arbitrary::Arbitrary` is not satisfied [INFO] [stdout] --> src/proptest_types.rs:1041:19 [INFO] [stdout] | [INFO] [stdout] 1041 | any::(), [INFO] [stdout] | ^^^^^^^^^ the trait `_IMPL_ARBITRARY_FOR_AccessPath::_proptest::arbitrary::Arbitrary` is not implemented for `diem_crypto::HashValue` [INFO] [stdout] | [INFO] [stdout] = help: the following other types implement trait `_IMPL_ARBITRARY_FOR_AccessPath::_proptest::arbitrary::Arbitrary`: [INFO] [stdout] () [INFO] [stdout] (SyncSender, std::sync::mpsc::IntoIter) [INFO] [stdout] (SyncSender, std::sync::mpsc::Receiver) [INFO] [stdout] (T0, T1) [INFO] [stdout] (T0, T1, T2) [INFO] [stdout] (T0, T1, T2, T3) [INFO] [stdout] (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-1949cf8c6b5b557f/proptest-1.7.0/src/arbitrary/traits.rs:164:15 [INFO] [stdout] | [INFO] [stdout] 164 | pub fn any() -> StrategyFor { [INFO] [stdout] | ^^^^^^^^^ required by this bound in `any` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0277]: the trait bound `diem_crypto::HashValue: _IMPL_ARBITRARY_FOR_AccessPath::_proptest::arbitrary::Arbitrary` is not satisfied [INFO] [stdout] --> src/proptest_types.rs:1040:13 [INFO] [stdout] | [INFO] [stdout] 1040 | any::(), [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^ the trait `_IMPL_ARBITRARY_FOR_AccessPath::_proptest::arbitrary::Arbitrary` is not implemented for `diem_crypto::HashValue` [INFO] [stdout] | [INFO] [stdout] = help: the following other types implement trait `_IMPL_ARBITRARY_FOR_AccessPath::_proptest::arbitrary::Arbitrary`: [INFO] [stdout] () [INFO] [stdout] (SyncSender, std::sync::mpsc::IntoIter) [INFO] [stdout] (SyncSender, std::sync::mpsc::Receiver) [INFO] [stdout] (T0, T1) [INFO] [stdout] (T0, T1, T2) [INFO] [stdout] (T0, T1, T2, T3) [INFO] [stdout] (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, std::sync::mpsc::IntoIter) [INFO] [stdout] (SyncSender, std::sync::mpsc::Receiver) [INFO] [stdout] (T0, T1) [INFO] [stdout] (T0, T1, T2) [INFO] [stdout] (T0, T1, T2, T3) [INFO] [stdout] (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-1949cf8c6b5b557f/proptest-1.7.0/src/arbitrary/traits.rs:208:20 [INFO] [stdout] | [INFO] [stdout] 208 | pub fn any_with(args: ParamsFor) -> StrategyFor { [INFO] [stdout] | ^^^^^^^^^ required by this bound in `any_with` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0277]: the trait bound `diem_crypto::HashValue: _IMPL_ARBITRARY_FOR_AccessPath::_proptest::arbitrary::Arbitrary` is not satisfied [INFO] [stdout] --> src/proptest_types.rs:1084:9 [INFO] [stdout] | [INFO] [stdout] 1084 | any::() [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^ the trait `_IMPL_ARBITRARY_FOR_AccessPath::_proptest::arbitrary::Arbitrary` is not implemented for `diem_crypto::HashValue` [INFO] [stdout] | [INFO] [stdout] = help: the following other types implement trait `_IMPL_ARBITRARY_FOR_AccessPath::_proptest::arbitrary::Arbitrary`: [INFO] [stdout] () [INFO] [stdout] (SyncSender, std::sync::mpsc::IntoIter) [INFO] [stdout] (SyncSender, std::sync::mpsc::Receiver) [INFO] [stdout] (T0, T1) [INFO] [stdout] (T0, T1, T2) [INFO] [stdout] (T0, T1, T2, T3) [INFO] [stdout] (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, std::sync::mpsc::IntoIter) [INFO] [stdout] (SyncSender, std::sync::mpsc::Receiver) [INFO] [stdout] (T0, T1) [INFO] [stdout] (T0, T1, T2) [INFO] [stdout] (T0, T1, T2, T3) [INFO] [stdout] (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-1949cf8c6b5b557f/proptest-1.7.0/src/arbitrary/traits.rs:208:20 [INFO] [stdout] | [INFO] [stdout] 208 | pub fn any_with(args: ParamsFor) -> StrategyFor { [INFO] [stdout] | ^^^^^^^^^ required by this bound in `any_with` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0277]: the trait bound `diem_crypto::HashValue: _IMPL_ARBITRARY_FOR_AccessPath::_proptest::arbitrary::Arbitrary` is not satisfied [INFO] [stdout] --> src/transaction/mod.rs:954:22 [INFO] [stdout] | [INFO] [stdout] 954 | state_root_hash: HashValue, [INFO] [stdout] | ^^^^^^^^^ the trait `_IMPL_ARBITRARY_FOR_AccessPath::_proptest::arbitrary::Arbitrary` is not implemented for `diem_crypto::HashValue` [INFO] [stdout] | [INFO] [stdout] = help: the following other types implement trait `_IMPL_ARBITRARY_FOR_AccessPath::_proptest::arbitrary::Arbitrary`: [INFO] [stdout] () [INFO] [stdout] (SyncSender, std::sync::mpsc::IntoIter) [INFO] [stdout] (SyncSender, std::sync::mpsc::Receiver) [INFO] [stdout] (T0, T1) [INFO] [stdout] (T0, T1, T2) [INFO] [stdout] (T0, T1, T2, T3) [INFO] [stdout] (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-1949cf8c6b5b557f/proptest-1.7.0/src/arbitrary/traits.rs:208:20 [INFO] [stdout] | [INFO] [stdout] 208 | pub fn any_with(args: ParamsFor) -> StrategyFor { [INFO] [stdout] | ^^^^^^^^^ required by this bound in `any_with` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0277]: the trait bound `diem_crypto::HashValue: _IMPL_ARBITRARY_FOR_AccessPath::_proptest::arbitrary::Arbitrary` is not satisfied [INFO] [stdout] --> src/transaction/mod.rs:957:22 [INFO] [stdout] | [INFO] [stdout] 957 | event_root_hash: HashValue, [INFO] [stdout] | ^^^^^^^^^ the trait `_IMPL_ARBITRARY_FOR_AccessPath::_proptest::arbitrary::Arbitrary` is not implemented for `diem_crypto::HashValue` [INFO] [stdout] | [INFO] [stdout] = help: the following other types implement trait `_IMPL_ARBITRARY_FOR_AccessPath::_proptest::arbitrary::Arbitrary`: [INFO] [stdout] () [INFO] [stdout] (SyncSender, std::sync::mpsc::IntoIter) [INFO] [stdout] (SyncSender, std::sync::mpsc::Receiver) [INFO] [stdout] (T0, T1) [INFO] [stdout] (T0, T1, T2) [INFO] [stdout] (T0, T1, T2, T3) [INFO] [stdout] (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-1949cf8c6b5b557f/proptest-1.7.0/src/arbitrary/traits.rs:208:20 [INFO] [stdout] | [INFO] [stdout] 208 | pub fn any_with(args: ParamsFor) -> StrategyFor { [INFO] [stdout] | ^^^^^^^^^ required by this bound in `any_with` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0277]: the trait bound `KeptVMStatus: _IMPL_ARBITRARY_FOR_AccessPath::_proptest::arbitrary::Arbitrary` is not satisfied [INFO] [stdout] --> src/transaction/mod.rs:965:13 [INFO] [stdout] | [INFO] [stdout] 965 | status: KeptVMStatus, [INFO] [stdout] | ^^^^^^^^^^^^ the trait `_IMPL_ARBITRARY_FOR_AccessPath::_proptest::arbitrary::Arbitrary` is not implemented for `KeptVMStatus` [INFO] [stdout] | [INFO] [stdout] = help: the following other types implement trait `_IMPL_ARBITRARY_FOR_AccessPath::_proptest::arbitrary::Arbitrary`: [INFO] [stdout] () [INFO] [stdout] (SyncSender, std::sync::mpsc::IntoIter) [INFO] [stdout] (SyncSender, std::sync::mpsc::Receiver) [INFO] [stdout] (T0, T1) [INFO] [stdout] (T0, T1, T2) [INFO] [stdout] (T0, T1, T2, T3) [INFO] [stdout] (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-1949cf8c6b5b557f/proptest-1.7.0/src/arbitrary/traits.rs:208:20 [INFO] [stdout] | [INFO] [stdout] 208 | pub fn any_with(args: ParamsFor) -> StrategyFor { [INFO] [stdout] | ^^^^^^^^^ required by this bound in `any_with` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0277]: the trait bound `Ed25519PublicKey: 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, std::sync::mpsc::IntoIter) [INFO] [stdout] (SyncSender, std::sync::mpsc::Receiver) [INFO] [stdout] (T0, T1) [INFO] [stdout] (T0, T1, T2) [INFO] [stdout] (T0, T1, T2, T3) [INFO] [stdout] (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-1949cf8c6b5b557f/proptest-1.7.0/src/arbitrary/traits.rs:208:20 [INFO] [stdout] | [INFO] [stdout] 208 | pub fn any_with(args: ParamsFor) -> StrategyFor { [INFO] [stdout] | ^^^^^^^^^ required by this bound in `any_with` [INFO] [stdout] = note: the full name for the type has been written to '/opt/rustwide/target/debug/deps/diem_types-dd61061a458c0fce.long-type-6391184063897150972.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 `AccountAddress: 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, std::sync::mpsc::IntoIter) [INFO] [stdout] (SyncSender, std::sync::mpsc::Receiver) [INFO] [stdout] (T0, T1) [INFO] [stdout] (T0, T1, T2) [INFO] [stdout] (T0, T1, T2, T3) [INFO] [stdout] (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-1949cf8c6b5b557f/proptest-1.7.0/src/arbitrary/traits.rs:208:20 [INFO] [stdout] | [INFO] [stdout] 208 | pub fn any_with(args: ParamsFor) -> StrategyFor { [INFO] [stdout] | ^^^^^^^^^ required by this bound in `any_with` [INFO] [stdout] = note: the full name for the type has been written to '/opt/rustwide/target/debug/deps/diem_types-dd61061a458c0fce.long-type-8598654828367248176.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::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] [INFO] [stdout] error[E0277]: the trait bound `Ed25519PublicKey: 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, std::sync::mpsc::IntoIter) [INFO] [stdout] (SyncSender, std::sync::mpsc::Receiver) [INFO] [stdout] (T0, T1) [INFO] [stdout] (T0, T1, T2) [INFO] [stdout] (T0, T1, T2, T3) [INFO] [stdout] (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-1949cf8c6b5b557f/proptest-1.7.0/src/arbitrary/traits.rs:208:20 [INFO] [stdout] | [INFO] [stdout] 208 | pub fn any_with(args: ParamsFor) -> StrategyFor { [INFO] [stdout] | ^^^^^^^^^ required by this bound in `any_with` [INFO] [stdout] = note: the full name for the type has been written to '/opt/rustwide/target/debug/deps/diem_types-dd61061a458c0fce.long-type-6391184063897150972.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: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, std::sync::mpsc::IntoIter) [INFO] [stdout] (SyncSender, std::sync::mpsc::Receiver) [INFO] [stdout] (T0, T1) [INFO] [stdout] (T0, T1, T2) [INFO] [stdout] (T0, T1, T2, T3) [INFO] [stdout] (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-1949cf8c6b5b557f/proptest-1.7.0/src/arbitrary/traits.rs:208:20 [INFO] [stdout] | [INFO] [stdout] 208 | pub fn any_with(args: ParamsFor) -> StrategyFor { [INFO] [stdout] | ^^^^^^^^^ required by this bound in `any_with` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0277]: the trait bound `diem_crypto::HashValue: _IMPL_ARBITRARY_FOR_AccessPath::_proptest::arbitrary::Arbitrary` is not satisfied [INFO] [stdout] --> src/unit_tests/contract_event_test.rs:22:59 [INFO] [stdout] | [INFO] [stdout] 22 | fn event_with_proof_bcs_roundtrip(event_with_proof in any::()) { [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^ the trait `_IMPL_ARBITRARY_FOR_AccessPath::_proptest::arbitrary::Arbitrary` is not implemented for `diem_crypto::HashValue` [INFO] [stdout] | [INFO] [stdout] = help: the following other types implement trait `_IMPL_ARBITRARY_FOR_AccessPath::_proptest::arbitrary::Arbitrary`: [INFO] [stdout] () [INFO] [stdout] (SyncSender, std::sync::mpsc::IntoIter) [INFO] [stdout] (SyncSender, std::sync::mpsc::Receiver) [INFO] [stdout] (T0, T1) [INFO] [stdout] (T0, T1, T2) [INFO] [stdout] (T0, T1, T2, T3) [INFO] [stdout] (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::()) { [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, std::sync::mpsc::IntoIter) [INFO] [stdout] (SyncSender, std::sync::mpsc::Receiver) [INFO] [stdout] (T0, T1) [INFO] [stdout] (T0, T1, T2) [INFO] [stdout] (T0, T1, T2, T3) [INFO] [stdout] (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::() [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, std::sync::mpsc::IntoIter) [INFO] [stdout] (SyncSender, std::sync::mpsc::Receiver) [INFO] [stdout] (T0, T1) [INFO] [stdout] (T0, T1, T2) [INFO] [stdout] (T0, T1, T2, T3) [INFO] [stdout] (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::() [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, std::sync::mpsc::IntoIter) [INFO] [stdout] (SyncSender, std::sync::mpsc::Receiver) [INFO] [stdout] (T0, T1) [INFO] [stdout] (T0, T1, T2) [INFO] [stdout] (T0, T1, T2, T3) [INFO] [stdout] (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::()) { [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, std::sync::mpsc::IntoIter) [INFO] [stdout] (SyncSender, std::sync::mpsc::Receiver) [INFO] [stdout] (T0, T1) [INFO] [stdout] (T0, T1, T2) [INFO] [stdout] (T0, T1, T2, T3) [INFO] [stdout] (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::()) { [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, std::sync::mpsc::IntoIter) [INFO] [stdout] (SyncSender, std::sync::mpsc::Receiver) [INFO] [stdout] (T0, T1) [INFO] [stdout] (T0, T1, T2) [INFO] [stdout] (T0, T1, T2, T3) [INFO] [stdout] (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::()) { [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, std::sync::mpsc::IntoIter) [INFO] [stdout] (SyncSender, std::sync::mpsc::Receiver) [INFO] [stdout] (T0, T1) [INFO] [stdout] (T0, T1, T2) [INFO] [stdout] (T0, T1, T2, T3) [INFO] [stdout] (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::()) { [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, std::sync::mpsc::IntoIter) [INFO] [stdout] (SyncSender, std::sync::mpsc::Receiver) [INFO] [stdout] (T0, T1) [INFO] [stdout] (T0, T1, T2) [INFO] [stdout] (T0, T1, T2, T3) [INFO] [stdout] (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::()) { [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, std::sync::mpsc::IntoIter) [INFO] [stdout] (SyncSender, std::sync::mpsc::Receiver) [INFO] [stdout] (T0, T1) [INFO] [stdout] (T0, T1, T2) [INFO] [stdout] (T0, T1, T2, T3) [INFO] [stdout] (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::()) { [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, std::sync::mpsc::IntoIter) [INFO] [stdout] (SyncSender, std::sync::mpsc::Receiver) [INFO] [stdout] (T0, T1) [INFO] [stdout] (T0, T1, T2) [INFO] [stdout] (T0, T1, T2, T3) [INFO] [stdout] (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::()) { [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, std::sync::mpsc::IntoIter) [INFO] [stdout] (SyncSender, std::sync::mpsc::Receiver) [INFO] [stdout] (T0, T1) [INFO] [stdout] (T0, T1, T2) [INFO] [stdout] (T0, T1, T2, T3) [INFO] [stdout] (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 `AccountAddress: Arbitrary` is not satisfied [INFO] [stdout] --> src/unit_tests/trusted_state_test.rs:240:78 [INFO] [stdout] | [INFO] [stdout] 240 | fn test_trusted_state_roundtrip_canonical_serialization(trusted_state in any::()) { [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^ 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, std::sync::mpsc::IntoIter) [INFO] [stdout] (SyncSender, std::sync::mpsc::Receiver) [INFO] [stdout] (T0, T1) [INFO] [stdout] (T0, T1, T2) [INFO] [stdout] (T0, T1, T2, T3) [INFO] [stdout] (T0, T1, T2, T3, T4) [INFO] [stdout] (T0, T1, T2, T3, T4, T5) [INFO] [stdout] and 268 others [INFO] [stdout] = note: required for `BTreeMap` 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-dd61061a458c0fce.long-type-8598654828367248176.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 `Ed25519PublicKey: Arbitrary` is not satisfied [INFO] [stdout] --> src/unit_tests/trusted_state_test.rs:240:78 [INFO] [stdout] | [INFO] [stdout] 240 | fn test_trusted_state_roundtrip_canonical_serialization(trusted_state in any::()) { [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^ the trait `_IMPL_ARBITRARY_FOR_AccessPath::_proptest::arbitrary::Arbitrary` is not implemented for `diem_crypto::ed25519::Ed25519PublicKey` [INFO] [stdout] | [INFO] [stdout] = help: the following other types implement trait `_IMPL_ARBITRARY_FOR_AccessPath::_proptest::arbitrary::Arbitrary`: [INFO] [stdout] () [INFO] [stdout] (SyncSender, std::sync::mpsc::IntoIter) [INFO] [stdout] (SyncSender, std::sync::mpsc::Receiver) [INFO] [stdout] (T0, T1) [INFO] [stdout] (T0, T1, T2) [INFO] [stdout] (T0, T1, T2, T3) [INFO] [stdout] (T0, T1, T2, T3, T4) [INFO] [stdout] (T0, T1, T2, T3, T4, T5) [INFO] [stdout] and 268 others [INFO] [stdout] = note: the full name for the type has been written to '/opt/rustwide/target/debug/deps/diem_types-dd61061a458c0fce.long-type-6391184063897150972.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/unit_tests/trusted_state_test.rs:245:51 [INFO] [stdout] | [INFO] [stdout] 245 | fn test_trusted_state_hasher(trusted_state in any::()) { [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^ the trait `_IMPL_ARBITRARY_FOR_AccessPath::_proptest::arbitrary::Arbitrary` is not implemented for `diem_crypto::HashValue` [INFO] [stdout] | [INFO] [stdout] = help: the following other types implement trait `_IMPL_ARBITRARY_FOR_AccessPath::_proptest::arbitrary::Arbitrary`: [INFO] [stdout] () [INFO] [stdout] (SyncSender, std::sync::mpsc::IntoIter) [INFO] [stdout] (SyncSender, std::sync::mpsc::Receiver) [INFO] [stdout] (T0, T1) [INFO] [stdout] (T0, T1, T2) [INFO] [stdout] (T0, T1, T2, T3) [INFO] [stdout] (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 `AccountAddress: Arbitrary` is not satisfied [INFO] [stdout] --> src/unit_tests/trusted_state_test.rs:245:51 [INFO] [stdout] | [INFO] [stdout] 245 | fn test_trusted_state_hasher(trusted_state in any::()) { [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^ 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, std::sync::mpsc::IntoIter) [INFO] [stdout] (SyncSender, std::sync::mpsc::Receiver) [INFO] [stdout] (T0, T1) [INFO] [stdout] (T0, T1, T2) [INFO] [stdout] (T0, T1, T2, T3) [INFO] [stdout] (T0, T1, T2, T3, T4) [INFO] [stdout] (T0, T1, T2, T3, T4, T5) [INFO] [stdout] and 268 others [INFO] [stdout] = note: required for `BTreeMap` 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-dd61061a458c0fce.long-type-8598654828367248176.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 `Ed25519PublicKey: Arbitrary` is not satisfied [INFO] [stdout] --> src/unit_tests/trusted_state_test.rs:245:51 [INFO] [stdout] | [INFO] [stdout] 245 | fn test_trusted_state_hasher(trusted_state in any::()) { [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^ the trait `_IMPL_ARBITRARY_FOR_AccessPath::_proptest::arbitrary::Arbitrary` is not implemented for `diem_crypto::ed25519::Ed25519PublicKey` [INFO] [stdout] | [INFO] [stdout] = help: the following other types implement trait `_IMPL_ARBITRARY_FOR_AccessPath::_proptest::arbitrary::Arbitrary`: [INFO] [stdout] () [INFO] [stdout] (SyncSender, std::sync::mpsc::IntoIter) [INFO] [stdout] (SyncSender, std::sync::mpsc::Receiver) [INFO] [stdout] (T0, T1) [INFO] [stdout] (T0, T1, T2) [INFO] [stdout] (T0, T1, T2, T3) [INFO] [stdout] (T0, T1, T2, T3, T4) [INFO] [stdout] (T0, T1, T2, T3, T4, T5) [INFO] [stdout] and 268 others [INFO] [stdout] = note: the full name for the type has been written to '/opt/rustwide/target/debug/deps/diem_types-dd61061a458c0fce.long-type-6391184063897150972.txt' [INFO] [stdout] = note: consider using `--verbose` to print the full type name to the console [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 `diem_crypto::ed25519::Ed25519Signature` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0277]: the trait bound `AccountAddress: Arbitrary` is not satisfied [INFO] [stdout] --> src/unit_tests/validator_set_test.rs:12:58 [INFO] [stdout] | [INFO] [stdout] 12 | fn test_validator_set_canonical_serialization(set in any::()) { [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^ 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, std::sync::mpsc::IntoIter) [INFO] [stdout] (SyncSender, std::sync::mpsc::Receiver) [INFO] [stdout] (T0, T1) [INFO] [stdout] (T0, T1, T2) [INFO] [stdout] (T0, T1, T2, T3) [INFO] [stdout] (T0, T1, T2, T3, T4) [INFO] [stdout] (T0, T1, T2, T3, T4, T5) [INFO] [stdout] and 268 others [INFO] [stdout] = note: the full name for the type has been written to '/opt/rustwide/target/debug/deps/diem_types-dd61061a458c0fce.long-type-8598654828367248176.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 `Ed25519PublicKey: Arbitrary` is not satisfied [INFO] [stdout] --> src/unit_tests/validator_set_test.rs:12:58 [INFO] [stdout] | [INFO] [stdout] 12 | fn test_validator_set_canonical_serialization(set in any::()) { [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^ the trait `_IMPL_ARBITRARY_FOR_AccessPath::_proptest::arbitrary::Arbitrary` is not implemented for `diem_crypto::ed25519::Ed25519PublicKey` [INFO] [stdout] | [INFO] [stdout] = help: the following other types implement trait `_IMPL_ARBITRARY_FOR_AccessPath::_proptest::arbitrary::Arbitrary`: [INFO] [stdout] () [INFO] [stdout] (SyncSender, std::sync::mpsc::IntoIter) [INFO] [stdout] (SyncSender, std::sync::mpsc::Receiver) [INFO] [stdout] (T0, T1) [INFO] [stdout] (T0, T1, T2) [INFO] [stdout] (T0, T1, T2, T3) [INFO] [stdout] (T0, T1, T2, T3, T4) [INFO] [stdout] (T0, T1, T2, T3, T4, T5) [INFO] [stdout] and 268 others [INFO] [stdout] = note: the full name for the type has been written to '/opt/rustwide/target/debug/deps/diem_types-dd61061a458c0fce.long-type-6391184063897150972.txt' [INFO] [stdout] = note: consider using `--verbose` to print the full type name to the console [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" "40864d4ea83ece52c6d476a16ef5c336d903ceb1463158b372c1a8250e15cc25", kill_on_drop: false }` [INFO] running `Command { std: "docker" "rm" "-f" "40864d4ea83ece52c6d476a16ef5c336d903ceb1463158b372c1a8250e15cc25", kill_on_drop: false }` [INFO] [stdout] 40864d4ea83ece52c6d476a16ef5c336d903ceb1463158b372c1a8250e15cc25