[INFO] fetching crate ergotree-ir 0.23.0...
[INFO] testing ergotree-ir-0.23.0 against 1.69.0 for beta-1.70-1
[INFO] extracting crate ergotree-ir 0.23.0 into /workspace/builds/worker-4-tc1/source
[INFO] validating manifest of crates.io crate ergotree-ir 0.23.0 on toolchain 1.69.0
[INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+1.69.0" "metadata" "--manifest-path" "Cargo.toml" "--no-deps", kill_on_drop: false }`
[INFO] started tweaking crates.io crate ergotree-ir 0.23.0
[INFO] finished tweaking crates.io crate ergotree-ir 0.23.0
[INFO] tweaked toml for crates.io crate ergotree-ir 0.23.0 written to /workspace/builds/worker-4-tc1/source/Cargo.toml
[INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" __CARGO_TEST_CHANNEL_OVERRIDE_DO_NOT_USE_THIS="nightly" "/workspace/cargo-home/bin/cargo" "+1.69.0" "generate-lockfile" "--manifest-path" "Cargo.toml" "-Zno-index-update", kill_on_drop: false }`
[INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+1.69.0" "fetch" "--manifest-path" "Cargo.toml", kill_on_drop: false }`
[INFO] [stderr]  Downloading crates ...
[INFO] [stderr]   Downloaded sigma-util v0.11.0
[INFO] [stderr]   Downloaded blake2 v0.10.6
[INFO] [stderr]   Downloaded strum_macros v0.21.1
[INFO] [stderr]   Downloaded proptest-derive v0.3.0
[INFO] [stderr]   Downloaded ergo-chain-types v0.10.0
[INFO] [stderr]   Downloaded impl-trait-for-tuples v0.2.2
[INFO] [stderr]   Downloaded serde_with v1.14.0
[INFO] [stderr]   Downloaded sigma-test-util v0.3.0
[INFO] [stderr]   Downloaded num256 v0.3.5
[INFO] [stderr]   Downloaded bounded-vec v0.7.1
[INFO] [stderr]   Downloaded sigma-ser v0.12.0
[INFO] [stderr]   Downloaded strum v0.21.0
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-4-tc1/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-4-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:5ff2268d62e97bff2cde7d5815dd6ed5b47097566f13b8d0ca110b04b60e07ed" "/opt/rustwide/cargo-home/bin/cargo" "+1.69.0" "metadata" "--no-deps" "--format-version=1", kill_on_drop: false }`
[INFO] [stdout] 18588fd8954f87f68b5a9a2b9b7836c7f01daca0e53d6b089794540d63ac51fb
[INFO] running `Command { std: "docker" "start" "-a" "18588fd8954f87f68b5a9a2b9b7836c7f01daca0e53d6b089794540d63ac51fb", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "inspect" "18588fd8954f87f68b5a9a2b9b7836c7f01daca0e53d6b089794540d63ac51fb", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "18588fd8954f87f68b5a9a2b9b7836c7f01daca0e53d6b089794540d63ac51fb", kill_on_drop: false }`
[INFO] [stdout] 18588fd8954f87f68b5a9a2b9b7836c7f01daca0e53d6b089794540d63ac51fb
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-4-tc1/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-4-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=warn" "-e" "RUSTDOCFLAGS=--cap-lints=warn" "-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:5ff2268d62e97bff2cde7d5815dd6ed5b47097566f13b8d0ca110b04b60e07ed" "/opt/rustwide/cargo-home/bin/cargo" "+1.69.0" "build" "--frozen" "--message-format=json", kill_on_drop: false }`
[INFO] [stdout] 50acbd33dde9c49fe74ab6ceb7f7dfddb8b7007f92c62aa509e253051b8602fa
[INFO] running `Command { std: "docker" "start" "-a" "50acbd33dde9c49fe74ab6ceb7f7dfddb8b7007f92c62aa509e253051b8602fa", kill_on_drop: false }`
[INFO] [stderr]    Compiling subtle v2.4.1
[INFO] [stderr]    Compiling libc v0.2.142
[INFO] [stderr]    Compiling syn v1.0.109
[INFO] [stderr]    Compiling num-traits v0.2.15
[INFO] [stderr]    Compiling zeroize v1.6.0
[INFO] [stderr]    Compiling num-integer v0.1.45
[INFO] [stderr]    Compiling const-oid v0.9.2
[INFO] [stderr]    Compiling serde v1.0.160
[INFO] [stderr]    Compiling digest v0.10.6
[INFO] [stderr]    Compiling der v0.6.1
[INFO] [stderr]    Compiling base64ct v1.6.0
[INFO] [stderr]    Compiling num-bigint v0.4.3
[INFO] [stderr]    Compiling ident_case v1.0.1
[INFO] [stderr]    Compiling strsim v0.10.0
[INFO] [stderr]    Compiling fnv v1.0.7
[INFO] [stderr]    Compiling indexmap v1.9.3
[INFO] [stderr]    Compiling radium v0.7.0
[INFO] [stderr]    Compiling base16ct v0.1.1
[INFO] [stderr]    Compiling spki v0.6.0
[INFO] [stderr]    Compiling hmac v0.12.1
[INFO] [stderr]    Compiling num-iter v0.1.43
[INFO] [stderr]    Compiling pkcs8 v0.9.0
[INFO] [stderr]    Compiling getrandom v0.2.9
[INFO] [stderr]    Compiling sec1 v0.3.0
[INFO] [stderr]    Compiling num-rational v0.4.1
[INFO] [stderr]    Compiling cpufeatures v0.2.7
[INFO] [stderr]    Compiling rand_core v0.6.4
[INFO] [stderr]    Compiling serde_json v1.0.96
[INFO] [stderr]    Compiling tap v1.0.1
[INFO] [stderr]    Compiling ff v0.12.1
[INFO] [stderr]    Compiling crypto-bigint v0.4.9
[INFO] [stderr]    Compiling wyz v0.5.1
[INFO] [stderr]    Compiling group v0.12.1
[INFO] [stderr]    Compiling signature v1.6.4
[INFO] [stderr]    Compiling sha2 v0.10.6
[INFO] [stderr]    Compiling funty v2.0.0
[INFO] [stderr]    Compiling num-complex v0.4.3
[INFO] [stderr]    Compiling blake2 v0.10.6
[INFO] [stderr]    Compiling rfc6979 v0.3.1
[INFO] [stderr]    Compiling elliptic-curve v0.12.3
[INFO] [stderr]    Compiling bitvec v1.0.1
[INFO] [stderr]    Compiling ecdsa v0.14.8
[INFO] [stderr]    Compiling bounded-vec v0.7.1
[INFO] [stderr]    Compiling unicode-segmentation v1.10.1
[INFO] [stderr]    Compiling k256 v0.11.6
[INFO] [stderr]    Compiling sigma-util v0.11.0
[INFO] [stderr]    Compiling heck v0.3.3
[INFO] [stderr]    Compiling num v0.4.0
[INFO] [stderr]    Compiling darling_core v0.13.4
[INFO] [stderr]    Compiling url v2.3.1
[INFO] [stderr]    Compiling base16 v0.2.1
[INFO] [stderr]    Compiling base64 v0.13.1
[INFO] [stderr]    Compiling bs58 v0.4.0
[INFO] [stderr]    Compiling strum v0.21.0
[INFO] [stderr]    Compiling sigma-ser v0.12.0
[INFO] [stderr]    Compiling num-derive v0.3.3
[INFO] [stderr]    Compiling derive_more v0.99.17
[INFO] [stderr]    Compiling strum_macros v0.21.1
[INFO] [stderr]    Compiling impl-trait-for-tuples v0.2.2
[INFO] [stderr]    Compiling darling_macro v0.13.4
[INFO] [stderr]    Compiling darling v0.13.4
[INFO] [stderr]    Compiling serde_with_macros v1.5.2
[INFO] [stderr]    Compiling num256 v0.3.5
[INFO] [stderr]    Compiling serde_with v1.14.0
[INFO] [stderr]    Compiling ergo-chain-types v0.10.0
[INFO] [stderr]    Compiling ergotree-ir v0.23.0 (/opt/rustwide/workdir)
[INFO] [stderr]     Finished dev [unoptimized + debuginfo] target(s) in 24.53s
[INFO] running `Command { std: "docker" "inspect" "50acbd33dde9c49fe74ab6ceb7f7dfddb8b7007f92c62aa509e253051b8602fa", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "50acbd33dde9c49fe74ab6ceb7f7dfddb8b7007f92c62aa509e253051b8602fa", kill_on_drop: false }`
[INFO] [stdout] 50acbd33dde9c49fe74ab6ceb7f7dfddb8b7007f92c62aa509e253051b8602fa
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-4-tc1/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-4-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=warn" "-e" "RUSTDOCFLAGS=--cap-lints=warn" "-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:5ff2268d62e97bff2cde7d5815dd6ed5b47097566f13b8d0ca110b04b60e07ed" "/opt/rustwide/cargo-home/bin/cargo" "+1.69.0" "test" "--frozen" "--no-run" "--message-format=json", kill_on_drop: false }`
[INFO] [stdout] 5cdc823243f287e1b9b075f59d177de8159bf25ba25df8048a84fcd0f4c87970
[INFO] running `Command { std: "docker" "start" "-a" "5cdc823243f287e1b9b075f59d177de8159bf25ba25df8048a84fcd0f4c87970", kill_on_drop: false }`
[INFO] [stderr]    Compiling fnv v1.0.7
[INFO] [stderr]    Compiling io-lifetimes v1.0.10
[INFO] [stderr]    Compiling rustix v0.37.18
[INFO] [stderr]    Compiling linux-raw-sys v0.3.6
[INFO] [stderr]    Compiling fastrand v1.9.0
[INFO] [stderr]    Compiling syn v0.15.44
[INFO] [stderr]    Compiling rand_chacha v0.3.1
[INFO] [stderr]    Compiling wait-timeout v0.2.0
[INFO] [stderr]    Compiling darling_core v0.13.4
[INFO] [stderr]    Compiling bit-vec v0.6.3
[INFO] [stderr]    Compiling quick-error v1.2.3
[INFO] [stderr]    Compiling rand v0.8.5
[INFO] [stderr]    Compiling bit-set v0.5.3
[INFO] [stderr]    Compiling rand_xorshift v0.3.0
[INFO] [stderr]    Compiling quick-error v2.0.1
[INFO] [stderr]    Compiling regex-syntax v0.6.29
[INFO] [stderr]    Compiling diff v0.1.13
[INFO] [stderr]    Compiling yansi v0.5.1
[INFO] [stderr]    Compiling pretty_assertions v1.3.0
[INFO] [stderr]    Compiling darling_macro v0.13.4
[INFO] [stderr]    Compiling darling v0.13.4
[INFO] [stderr]    Compiling serde_with_macros v1.5.2
[INFO] [stderr]    Compiling tempfile v3.5.0
[INFO] [stderr]    Compiling rusty-fork v0.3.0
[INFO] [stderr]    Compiling proptest v1.0.0
[INFO] [stderr]    Compiling serde_with v1.14.0
[INFO] [stderr]    Compiling proptest-derive v0.3.0
[INFO] [stderr]    Compiling ergo-chain-types v0.10.0
[INFO] [stderr]    Compiling ergotree-ir v0.23.0 (/opt/rustwide/workdir)
[INFO] [stderr]    Compiling sigma-test-util v0.3.0
[INFO] [stdout] error[E0432]: unresolved import `crate::chain::token::arbitrary`
[INFO] [stdout]    --> src/chain/ergo_box.rs:453:30
[INFO] [stdout]     |
[INFO] [stdout] 453 |     use crate::chain::token::arbitrary::ArbTokenIdParam;
[INFO] [stdout]     |                              ^^^^^^^^^ could not find `arbitrary` in `token`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0432]: unresolved import `crate::mir::expr::arbitrary`
[INFO] [stdout]   --> src/serialization/bin_op.rs:93:27
[INFO] [stdout]    |
[INFO] [stdout] 93 |     use crate::mir::expr::arbitrary::ArbExprParams;
[INFO] [stdout]    |                           ^^^^^^^^^ could not find `arbitrary` in `expr`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0433]: failed to resolve: use of undeclared crate or module `proptest`
[INFO] [stdout]    --> src/chain/address.rs:568:9
[INFO] [stdout]     |
[INFO] [stdout] 568 |     use proptest::prelude::*;
[INFO] [stdout]     |         ^^^^^^^^ use of undeclared crate or module `proptest`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0433]: failed to resolve: use of undeclared crate or module `proptest`
[INFO] [stdout]   --> src/chain/ergo_box/box_id.rs:81:9
[INFO] [stdout]    |
[INFO] [stdout] 81 |     use proptest::prelude::*;
[INFO] [stdout]    |         ^^^^^^^^ use of undeclared crate or module `proptest`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0433]: failed to resolve: use of undeclared crate or module `proptest`
[INFO] [stdout]    --> src/chain/ergo_box/box_value.rs:246:9
[INFO] [stdout]     |
[INFO] [stdout] 246 |     use proptest::{collection::vec, prelude::*};
[INFO] [stdout]     |         ^^^^^^^^ use of undeclared crate or module `proptest`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0433]: failed to resolve: use of undeclared crate or module `proptest`
[INFO] [stdout]    --> src/chain/ergo_box/register.rs:448:9
[INFO] [stdout]     |
[INFO] [stdout] 448 |     use proptest::prelude::*;
[INFO] [stdout]     |         ^^^^^^^^ use of undeclared crate or module `proptest`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0433]: failed to resolve: use of undeclared crate or module `proptest`
[INFO] [stdout]    --> src/chain/ergo_box.rs:456:9
[INFO] [stdout]     |
[INFO] [stdout] 456 |     use proptest::prelude::*;
[INFO] [stdout]     |         ^^^^^^^^ use of undeclared crate or module `proptest`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0433]: failed to resolve: use of undeclared crate or module `proptest`
[INFO] [stdout]    --> src/chain/json/ergo_box.rs:255:9
[INFO] [stdout]     |
[INFO] [stdout] 255 |     use proptest::prelude::*;
[INFO] [stdout]     |         ^^^^^^^^ use of undeclared crate or module `proptest`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0433]: failed to resolve: use of undeclared crate or module `proptest`
[INFO] [stdout]    --> src/chain/token.rs:288:9
[INFO] [stdout]     |
[INFO] [stdout] 288 |     use proptest::prelude::*;
[INFO] [stdout]     |         ^^^^^^^^ use of undeclared crate or module `proptest`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0433]: failed to resolve: use of undeclared crate or module `proptest`
[INFO] [stdout]   --> src/mir/and.rs:74:9
[INFO] [stdout]    |
[INFO] [stdout] 74 |     use proptest::prelude::*;
[INFO] [stdout]    |         ^^^^^^^^ use of undeclared crate or module `proptest`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0433]: failed to resolve: use of undeclared crate or module `proptest`
[INFO] [stdout]    --> src/mir/apply.rs:119:9
[INFO] [stdout]     |
[INFO] [stdout] 119 |     use proptest::prelude::*;
[INFO] [stdout]     |         ^^^^^^^^ use of undeclared crate or module `proptest`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0433]: failed to resolve: use of undeclared crate or module `proptest`
[INFO] [stdout]    --> src/mir/atleast.rs:105:9
[INFO] [stdout]     |
[INFO] [stdout] 105 |     use proptest::prelude::*;
[INFO] [stdout]     |         ^^^^^^^^ use of undeclared crate or module `proptest`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0433]: failed to resolve: use of undeclared crate or module `proptest`
[INFO] [stdout]    --> src/mir/avl_tree_data.rs:143:9
[INFO] [stdout]     |
[INFO] [stdout] 143 |     use proptest::prelude::*;
[INFO] [stdout]     |         ^^^^^^^^ use of undeclared crate or module `proptest`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0433]: failed to resolve: use of undeclared crate or module `proptest`
[INFO] [stdout]    --> src/mir/bin_op.rs:277:9
[INFO] [stdout]     |
[INFO] [stdout] 277 |     use proptest::prelude::*;
[INFO] [stdout]     |         ^^^^^^^^ use of undeclared crate or module `proptest`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0433]: failed to resolve: use of undeclared crate or module `proptest`
[INFO] [stdout]   --> src/mir/bit_inversion.rs:95:9
[INFO] [stdout]    |
[INFO] [stdout] 95 |     use proptest::prelude::*;
[INFO] [stdout]    |         ^^^^^^^^ use of undeclared crate or module `proptest`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0433]: failed to resolve: use of undeclared crate or module `proptest`
[INFO] [stdout]   --> src/mir/block.rs:84:9
[INFO] [stdout]    |
[INFO] [stdout] 84 |     use proptest::prelude::*;
[INFO] [stdout]    |         ^^^^^^^^ use of undeclared crate or module `proptest`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0433]: failed to resolve: use of undeclared crate or module `proptest`
[INFO] [stdout]     --> src/mir/constant.rs:1007:9
[INFO] [stdout]      |
[INFO] [stdout] 1007 |     use proptest::prelude::*;
[INFO] [stdout]      |         ^^^^^^^^ use of undeclared crate or module `proptest`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0433]: failed to resolve: use of undeclared crate or module `proptest`
[INFO] [stdout]   --> src/mir/decode_point.rs:75:9
[INFO] [stdout]    |
[INFO] [stdout] 75 |     use proptest::prelude::*;
[INFO] [stdout]    |         ^^^^^^^^ use of undeclared crate or module `proptest`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0432]: unresolved import `super::super::stype::tests`
[INFO] [stdout]   --> src/types/type_unify.rs:82:30
[INFO] [stdout]    |
[INFO] [stdout] 82 |     use super::super::stype::tests::primitive_type;
[INFO] [stdout]    |                              ^^^^^ could not find `tests` in `stype`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0433]: failed to resolve: use of undeclared crate or module `proptest`
[INFO] [stdout]   --> src/mir/get_var.rs:68:9
[INFO] [stdout]    |
[INFO] [stdout] 68 |     use proptest::prelude::*;
[INFO] [stdout]    |         ^^^^^^^^ use of undeclared crate or module `proptest`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0433]: failed to resolve: use of undeclared crate or module `proptest`
[INFO] [stdout]   --> src/mir/logical_not.rs:73:9
[INFO] [stdout]    |
[INFO] [stdout] 73 |     use proptest::prelude::*;
[INFO] [stdout]    |         ^^^^^^^^ use of undeclared crate or module `proptest`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0433]: failed to resolve: use of undeclared crate or module `proptest`
[INFO] [stdout]   --> src/mir/negation.rs:91:9
[INFO] [stdout]    |
[INFO] [stdout] 91 |     use proptest::prelude::*;
[INFO] [stdout]    |         ^^^^^^^^ use of undeclared crate or module `proptest`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0433]: failed to resolve: use of undeclared crate or module `proptest`
[INFO] [stdout]   --> src/mir/or.rs:73:9
[INFO] [stdout]    |
[INFO] [stdout] 73 |     use proptest::prelude::*;
[INFO] [stdout]    |         ^^^^^^^^ use of undeclared crate or module `proptest`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0433]: failed to resolve: use of undeclared crate or module `proptest`
[INFO] [stdout]    --> src/mir/sigma_and.rs:102:9
[INFO] [stdout]     |
[INFO] [stdout] 102 |     use proptest::prelude::*;
[INFO] [stdout]     |         ^^^^^^^^ use of undeclared crate or module `proptest`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0433]: failed to resolve: use of undeclared crate or module `proptest`
[INFO] [stdout]    --> src/mir/sigma_or.rs:102:9
[INFO] [stdout]     |
[INFO] [stdout] 102 |     use proptest::prelude::*;
[INFO] [stdout]     |         ^^^^^^^^ use of undeclared crate or module `proptest`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0433]: failed to resolve: use of undeclared crate or module `proptest`
[INFO] [stdout]   --> src/mir/xor_of.rs:74:9
[INFO] [stdout]    |
[INFO] [stdout] 74 |     use proptest::prelude::*;
[INFO] [stdout]    |         ^^^^^^^^ use of undeclared crate or module `proptest`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0433]: failed to resolve: use of undeclared crate or module `proptest`
[INFO] [stdout]    --> src/sigma_protocol/dlog_group.rs:116:9
[INFO] [stdout]     |
[INFO] [stdout] 116 |     use proptest::prelude::*;
[INFO] [stdout]     |         ^^^^^^^^ use of undeclared crate or module `proptest`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0433]: failed to resolve: use of undeclared crate or module `proptest`
[INFO] [stdout]   --> src/sigma_protocol/sigma_boolean/cand.rs:97:9
[INFO] [stdout]    |
[INFO] [stdout] 97 |     use proptest::prelude::*;
[INFO] [stdout]    |         ^^^^^^^^ use of undeclared crate or module `proptest`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0433]: failed to resolve: use of undeclared crate or module `proptest`
[INFO] [stdout]   --> src/sigma_protocol/sigma_boolean/cor.rs:99:9
[INFO] [stdout]    |
[INFO] [stdout] 99 |     use proptest::prelude::*;
[INFO] [stdout]    |         ^^^^^^^^ use of undeclared crate or module `proptest`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0433]: failed to resolve: use of undeclared crate or module `proptest`
[INFO] [stdout]    --> src/sigma_protocol/sigma_boolean.rs:387:9
[INFO] [stdout]     |
[INFO] [stdout] 387 |     use proptest::prelude::*;
[INFO] [stdout]     |         ^^^^^^^^ use of undeclared crate or module `proptest`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0433]: failed to resolve: use of undeclared crate or module `proptest`
[INFO] [stdout]   --> src/types/type_unify.rs:86:9
[INFO] [stdout]    |
[INFO] [stdout] 86 |     use proptest::prelude::*;
[INFO] [stdout]    |         ^^^^^^^^ use of undeclared crate or module `proptest`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0433]: failed to resolve: use of undeclared crate or module `proptest`
[INFO] [stdout]    --> src/chain/ergo_box.rs:455:9
[INFO] [stdout]     |
[INFO] [stdout] 455 |     use proptest::collection::SizeRange;
[INFO] [stdout]     |         ^^^^^^^^ use of undeclared crate or module `proptest`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0432]: unresolved imports `proptest_derive`, `proptest::collection::vec`, `proptest::collection::SizeRange`
[INFO] [stdout]    --> src/chain/ergo_box.rs:455:9
[INFO] [stdout]     |
[INFO] [stdout] 455 |     use proptest::collection::SizeRange;
[INFO] [stdout]     |         ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout]    ::: src/mir/func_value.rs:15:5
[INFO] [stdout]     |
[INFO] [stdout] 15  | use proptest_derive::Arbitrary;
[INFO] [stdout]     |     ^^^^^^^^^^^^^^^ use of undeclared crate or module `proptest_derive`
[INFO] [stdout]     |
[INFO] [stdout]    ::: src/chain/ergo_box/box_value.rs:246:20
[INFO] [stdout]     |
[INFO] [stdout] 246 |     use proptest::{collection::vec, prelude::*};
[INFO] [stdout]     |                    ^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: cannot find macro `proptest` in this scope
[INFO] [stdout]    --> src/chain/address.rs:570:5
[INFO] [stdout]     |
[INFO] [stdout] 570 |     proptest! {
[INFO] [stdout]     |     ^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: cannot find macro `proptest` in this scope
[INFO] [stdout]   --> src/chain/ergo_box/box_id.rs:83:5
[INFO] [stdout]    |
[INFO] [stdout] 83 |     proptest! {
[INFO] [stdout]    |     ^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: cannot determine resolution for the macro `vec`
[INFO] [stdout]    --> src/chain/ergo_box/box_value.rs:314:42
[INFO] [stdout]     |
[INFO] [stdout] 314 |         let empty_input: Vec<BoxValue> = vec![];
[INFO] [stdout]     |                                          ^^^
[INFO] [stdout]     |
[INFO] [stdout]     = note: import resolution is stuck, try simplifying macro imports
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: cannot determine resolution for the macro `vec`
[INFO] [stdout]    --> src/chain/ergo_box/box_value.rs:320:36
[INFO] [stdout]     |
[INFO] [stdout] 320 |         let input: Vec<BoxValue> = vec![BoxValue::MAX_RAW.try_into().unwrap(), BoxValue::MIN];
[INFO] [stdout]     |                                    ^^^
[INFO] [stdout]     |
[INFO] [stdout]     = note: import resolution is stuck, try simplifying macro imports
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: cannot find macro `proptest` in this scope
[INFO] [stdout]    --> src/chain/ergo_box/box_value.rs:324:5
[INFO] [stdout]     |
[INFO] [stdout] 324 |     proptest! {
[INFO] [stdout]     |     ^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: cannot find macro `proptest` in this scope
[INFO] [stdout]    --> src/chain/ergo_box/register.rs:450:5
[INFO] [stdout]     |
[INFO] [stdout] 450 |     proptest! {
[INFO] [stdout]     |     ^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: cannot find macro `proptest` in this scope
[INFO] [stdout]    --> src/chain/ergo_box.rs:509:5
[INFO] [stdout]     |
[INFO] [stdout] 509 |     proptest! {
[INFO] [stdout]     |     ^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: cannot find macro `proptest` in this scope
[INFO] [stdout]    --> src/chain/json/ergo_box.rs:257:5
[INFO] [stdout]     |
[INFO] [stdout] 257 |     proptest! {
[INFO] [stdout]     |     ^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: cannot find macro `proptest` in this scope
[INFO] [stdout]    --> src/chain/token.rs:290:5
[INFO] [stdout]     |
[INFO] [stdout] 290 |     proptest! {
[INFO] [stdout]     |     ^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: cannot find macro `proptest` in this scope
[INFO] [stdout]   --> src/mir/and.rs:76:5
[INFO] [stdout]    |
[INFO] [stdout] 76 |     proptest! {
[INFO] [stdout]    |     ^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: cannot find macro `proptest` in this scope
[INFO] [stdout]    --> src/mir/apply.rs:121:5
[INFO] [stdout]     |
[INFO] [stdout] 121 |     proptest! {
[INFO] [stdout]     |     ^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: cannot find macro `proptest` in this scope
[INFO] [stdout]    --> src/mir/atleast.rs:107:5
[INFO] [stdout]     |
[INFO] [stdout] 107 |     proptest! {
[INFO] [stdout]     |     ^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: cannot find macro `proptest` in this scope
[INFO] [stdout]    --> src/mir/avl_tree_data.rs:145:5
[INFO] [stdout]     |
[INFO] [stdout] 145 |     proptest! {
[INFO] [stdout]     |     ^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: cannot find macro `proptest` in this scope
[INFO] [stdout]    --> src/mir/bin_op.rs:279:5
[INFO] [stdout]     |
[INFO] [stdout] 279 |     proptest! {
[INFO] [stdout]     |     ^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: cannot find macro `proptest` in this scope
[INFO] [stdout]   --> src/mir/bit_inversion.rs:97:5
[INFO] [stdout]    |
[INFO] [stdout] 97 |     proptest! {
[INFO] [stdout]    |     ^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: cannot find macro `proptest` in this scope
[INFO] [stdout]   --> src/mir/block.rs:86:5
[INFO] [stdout]    |
[INFO] [stdout] 86 |     proptest! {
[INFO] [stdout]    |     ^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: cannot find macro `proptest` in this scope
[INFO] [stdout]     --> src/mir/constant.rs:1023:5
[INFO] [stdout]      |
[INFO] [stdout] 1023 |     proptest! {
[INFO] [stdout]      |     ^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: cannot find macro `proptest` in this scope
[INFO] [stdout]   --> src/mir/decode_point.rs:77:5
[INFO] [stdout]    |
[INFO] [stdout] 77 |     proptest! {
[INFO] [stdout]    |     ^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: cannot determine resolution for the derive macro `Arbitrary`
[INFO] [stdout]   --> src/mir/func_value.rs:19:25
[INFO] [stdout]    |
[INFO] [stdout] 19 | #[cfg_attr(test, derive(Arbitrary))]
[INFO] [stdout]    |                         ^^^^^^^^^
[INFO] [stdout]    |
[INFO] [stdout]    = note: import resolution is stuck, try simplifying macro imports
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: cannot find macro `proptest` in this scope
[INFO] [stdout]   --> src/mir/get_var.rs:70:5
[INFO] [stdout]    |
[INFO] [stdout] 70 |     proptest! {
[INFO] [stdout]    |     ^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: cannot find macro `proptest` in this scope
[INFO] [stdout]   --> src/mir/logical_not.rs:75:5
[INFO] [stdout]    |
[INFO] [stdout] 75 |     proptest! {
[INFO] [stdout]    |     ^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: cannot find macro `proptest` in this scope
[INFO] [stdout]   --> src/mir/negation.rs:93:5
[INFO] [stdout]    |
[INFO] [stdout] 93 |     proptest! {
[INFO] [stdout]    |     ^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: cannot find macro `proptest` in this scope
[INFO] [stdout]   --> src/mir/or.rs:75:5
[INFO] [stdout]    |
[INFO] [stdout] 75 |     proptest! {
[INFO] [stdout]    |     ^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: cannot find macro `proptest` in this scope
[INFO] [stdout]    --> src/mir/sigma_and.rs:104:5
[INFO] [stdout]     |
[INFO] [stdout] 104 |     proptest! {
[INFO] [stdout]     |     ^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: cannot find macro `proptest` in this scope
[INFO] [stdout]    --> src/mir/sigma_or.rs:104:5
[INFO] [stdout]     |
[INFO] [stdout] 104 |     proptest! {
[INFO] [stdout]     |     ^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: cannot find derive macro `Arbitrary` in this scope
[INFO] [stdout]   --> src/mir/val_def.rs:39:25
[INFO] [stdout]    |
[INFO] [stdout] 39 | #[cfg_attr(test, derive(Arbitrary))]
[INFO] [stdout]    |                         ^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: cannot find macro `proptest` in this scope
[INFO] [stdout]   --> src/mir/xor_of.rs:76:5
[INFO] [stdout]    |
[INFO] [stdout] 76 |     proptest! {
[INFO] [stdout]    |     ^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: cannot find macro `prop_compose` in this scope
[INFO] [stdout]    --> src/sigma_protocol/dlog_group.rs:144:5
[INFO] [stdout]     |
[INFO] [stdout] 144 |     prop_compose! {
[INFO] [stdout]     |     ^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: cannot find macro `proptest` in this scope
[INFO] [stdout]    --> src/sigma_protocol/dlog_group.rs:157:5
[INFO] [stdout]     |
[INFO] [stdout] 157 |     proptest! {
[INFO] [stdout]     |     ^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: cannot find macro `proptest` in this scope
[INFO] [stdout]    --> src/sigma_protocol/sigma_boolean/cand.rs:141:5
[INFO] [stdout]     |
[INFO] [stdout] 141 |     proptest! {
[INFO] [stdout]     |     ^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: cannot find macro `proptest` in this scope
[INFO] [stdout]    --> src/sigma_protocol/sigma_boolean/cor.rs:143:5
[INFO] [stdout]     |
[INFO] [stdout] 143 |     proptest! {
[INFO] [stdout]     |     ^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: cannot find macro `proptest` in this scope
[INFO] [stdout]    --> src/sigma_protocol/sigma_boolean.rs:389:5
[INFO] [stdout]     |
[INFO] [stdout] 389 |     proptest! {
[INFO] [stdout]     |     ^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: cannot find macro `proptest` in this scope
[INFO] [stdout]   --> src/types/type_unify.rs:88:5
[INFO] [stdout]    |
[INFO] [stdout] 88 |     proptest! {
[INFO] [stdout]    |     ^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused import: `super::*`
[INFO] [stdout]    --> src/chain/address.rs:567:9
[INFO] [stdout]     |
[INFO] [stdout] 567 |     use super::*;
[INFO] [stdout]     |         ^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout] note: the lint level is defined here
[INFO] [stdout]    --> src/lib.rs:10:9
[INFO] [stdout]     |
[INFO] [stdout] 10  | #![deny(unused_imports)]
[INFO] [stdout]     |         ^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused import: `super::*`
[INFO] [stdout]   --> src/chain/ergo_box/box_id.rs:79:9
[INFO] [stdout]    |
[INFO] [stdout] 79 |     use super::*;
[INFO] [stdout]    |         ^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused import: `crate::serialization::sigma_serialize_roundtrip`
[INFO] [stdout]   --> src/chain/ergo_box/box_id.rs:80:9
[INFO] [stdout]    |
[INFO] [stdout] 80 |     use crate::serialization::sigma_serialize_roundtrip;
[INFO] [stdout]    |         ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused import: `crate::serialization::sigma_serialize_roundtrip`
[INFO] [stdout]    --> src/chain/ergo_box/register.rs:447:9
[INFO] [stdout]     |
[INFO] [stdout] 447 |     use crate::serialization::sigma_serialize_roundtrip;
[INFO] [stdout]     |         ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused import: `crate::chain::token::TokenId`
[INFO] [stdout]    --> src/chain/token.rs:286:9
[INFO] [stdout]     |
[INFO] [stdout] 286 |     use crate::chain::token::TokenId;
[INFO] [stdout]     |         ^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused import: `crate::serialization::sigma_serialize_roundtrip`
[INFO] [stdout]    --> src/chain/token.rs:287:9
[INFO] [stdout]     |
[INFO] [stdout] 287 |     use crate::serialization::sigma_serialize_roundtrip;
[INFO] [stdout]     |         ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused import: `super::*`
[INFO] [stdout]   --> src/mir/and.rs:71:9
[INFO] [stdout]    |
[INFO] [stdout] 71 |     use super::*;
[INFO] [stdout]    |         ^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused import: `crate::mir::expr::Expr`
[INFO] [stdout]   --> src/mir/and.rs:72:9
[INFO] [stdout]    |
[INFO] [stdout] 72 |     use crate::mir::expr::Expr;
[INFO] [stdout]    |         ^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused import: `crate::serialization::sigma_serialize_roundtrip`
[INFO] [stdout]   --> src/mir/and.rs:73:9
[INFO] [stdout]    |
[INFO] [stdout] 73 |     use crate::serialization::sigma_serialize_roundtrip;
[INFO] [stdout]    |         ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused import: `crate::serialization::sigma_serialize_roundtrip`
[INFO] [stdout]    --> src/mir/apply.rs:115:9
[INFO] [stdout]     |
[INFO] [stdout] 115 |     use crate::serialization::sigma_serialize_roundtrip;
[INFO] [stdout]     |         ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused import: `super::*`
[INFO] [stdout]    --> src/mir/apply.rs:117:9
[INFO] [stdout]     |
[INFO] [stdout] 117 |     use super::*;
[INFO] [stdout]     |         ^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused import: `super::*`
[INFO] [stdout]    --> src/mir/atleast.rs:102:9
[INFO] [stdout]     |
[INFO] [stdout] 102 |     use super::*;
[INFO] [stdout]     |         ^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused import: `crate::mir::expr::Expr`
[INFO] [stdout]    --> src/mir/atleast.rs:103:9
[INFO] [stdout]     |
[INFO] [stdout] 103 |     use crate::mir::expr::Expr;
[INFO] [stdout]     |         ^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused import: `crate::serialization::sigma_serialize_roundtrip`
[INFO] [stdout]    --> src/mir/atleast.rs:104:9
[INFO] [stdout]     |
[INFO] [stdout] 104 |     use crate::serialization::sigma_serialize_roundtrip;
[INFO] [stdout]     |         ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused import: `super::*`
[INFO] [stdout]    --> src/mir/avl_tree_data.rs:140:9
[INFO] [stdout]     |
[INFO] [stdout] 140 |     use super::*;
[INFO] [stdout]     |         ^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused import: `crate::mir::expr::Expr`
[INFO] [stdout]    --> src/mir/avl_tree_data.rs:141:9
[INFO] [stdout]     |
[INFO] [stdout] 141 |     use crate::mir::expr::Expr;
[INFO] [stdout]     |         ^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused import: `crate::serialization::sigma_serialize_roundtrip`
[INFO] [stdout]    --> src/mir/avl_tree_data.rs:142:9
[INFO] [stdout]     |
[INFO] [stdout] 142 |     use crate::serialization::sigma_serialize_roundtrip;
[INFO] [stdout]     |         ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused import: `crate::serialization::sigma_serialize_roundtrip`
[INFO] [stdout]    --> src/mir/bin_op.rs:275:9
[INFO] [stdout]     |
[INFO] [stdout] 275 |     use crate::serialization::sigma_serialize_roundtrip;
[INFO] [stdout]     |         ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused import: `super::*`
[INFO] [stdout]   --> src/mir/bit_inversion.rs:92:9
[INFO] [stdout]    |
[INFO] [stdout] 92 |     use super::*;
[INFO] [stdout]    |         ^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused import: `crate::mir::expr::Expr`
[INFO] [stdout]   --> src/mir/bit_inversion.rs:93:9
[INFO] [stdout]    |
[INFO] [stdout] 93 |     use crate::mir::expr::Expr;
[INFO] [stdout]    |         ^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused import: `crate::serialization::sigma_serialize_roundtrip`
[INFO] [stdout]   --> src/mir/bit_inversion.rs:94:9
[INFO] [stdout]    |
[INFO] [stdout] 94 |     use crate::serialization::sigma_serialize_roundtrip;
[INFO] [stdout]    |         ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused import: `crate::mir::block::BlockValue`
[INFO] [stdout]   --> src/mir/block.rs:81:9
[INFO] [stdout]    |
[INFO] [stdout] 81 |     use crate::mir::block::BlockValue;
[INFO] [stdout]    |         ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused import: `crate::mir::expr::Expr`
[INFO] [stdout]   --> src/mir/block.rs:82:9
[INFO] [stdout]    |
[INFO] [stdout] 82 |     use crate::mir::expr::Expr;
[INFO] [stdout]    |         ^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused import: `crate::serialization::sigma_serialize_roundtrip`
[INFO] [stdout]   --> src/mir/block.rs:83:9
[INFO] [stdout]    |
[INFO] [stdout] 83 |     use crate::serialization::sigma_serialize_roundtrip;
[INFO] [stdout]    |         ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused import: `super::*`
[INFO] [stdout]   --> src/mir/decode_point.rs:72:9
[INFO] [stdout]    |
[INFO] [stdout] 72 |     use super::*;
[INFO] [stdout]    |         ^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused import: `crate::mir::expr::Expr`
[INFO] [stdout]   --> src/mir/decode_point.rs:73:9
[INFO] [stdout]    |
[INFO] [stdout] 73 |     use crate::mir::expr::Expr;
[INFO] [stdout]    |         ^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused import: `crate::serialization::sigma_serialize_roundtrip`
[INFO] [stdout]   --> src/mir/decode_point.rs:74:9
[INFO] [stdout]    |
[INFO] [stdout] 74 |     use crate::serialization::sigma_serialize_roundtrip;
[INFO] [stdout]    |         ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused import: `super::*`
[INFO] [stdout]   --> src/mir/get_var.rs:65:9
[INFO] [stdout]    |
[INFO] [stdout] 65 |     use super::*;
[INFO] [stdout]    |         ^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused import: `crate::mir::expr::Expr`
[INFO] [stdout]   --> src/mir/get_var.rs:66:9
[INFO] [stdout]    |
[INFO] [stdout] 66 |     use crate::mir::expr::Expr;
[INFO] [stdout]    |         ^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused import: `crate::serialization::sigma_serialize_roundtrip`
[INFO] [stdout]   --> src/mir/get_var.rs:67:9
[INFO] [stdout]    |
[INFO] [stdout] 67 |     use crate::serialization::sigma_serialize_roundtrip;
[INFO] [stdout]    |         ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused import: `super::*`
[INFO] [stdout]   --> src/mir/logical_not.rs:70:9
[INFO] [stdout]    |
[INFO] [stdout] 70 |     use super::*;
[INFO] [stdout]    |         ^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused import: `crate::mir::expr::Expr`
[INFO] [stdout]   --> src/mir/logical_not.rs:71:9
[INFO] [stdout]    |
[INFO] [stdout] 71 |     use crate::mir::expr::Expr;
[INFO] [stdout]    |         ^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused import: `crate::serialization::sigma_serialize_roundtrip`
[INFO] [stdout]   --> src/mir/logical_not.rs:72:9
[INFO] [stdout]    |
[INFO] [stdout] 72 |     use crate::serialization::sigma_serialize_roundtrip;
[INFO] [stdout]    |         ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused import: `super::*`
[INFO] [stdout]   --> src/mir/negation.rs:88:9
[INFO] [stdout]    |
[INFO] [stdout] 88 |     use super::*;
[INFO] [stdout]    |         ^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused import: `crate::mir::expr::Expr`
[INFO] [stdout]   --> src/mir/negation.rs:89:9
[INFO] [stdout]    |
[INFO] [stdout] 89 |     use crate::mir::expr::Expr;
[INFO] [stdout]    |         ^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused import: `crate::serialization::sigma_serialize_roundtrip`
[INFO] [stdout]   --> src/mir/negation.rs:90:9
[INFO] [stdout]    |
[INFO] [stdout] 90 |     use crate::serialization::sigma_serialize_roundtrip;
[INFO] [stdout]    |         ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused import: `super::*`
[INFO] [stdout]   --> src/mir/or.rs:70:9
[INFO] [stdout]    |
[INFO] [stdout] 70 |     use super::*;
[INFO] [stdout]    |         ^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused import: `crate::mir::expr::Expr`
[INFO] [stdout]   --> src/mir/or.rs:71:9
[INFO] [stdout]    |
[INFO] [stdout] 71 |     use crate::mir::expr::Expr;
[INFO] [stdout]    |         ^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused import: `crate::serialization::sigma_serialize_roundtrip`
[INFO] [stdout]   --> src/mir/or.rs:72:9
[INFO] [stdout]    |
[INFO] [stdout] 72 |     use crate::serialization::sigma_serialize_roundtrip;
[INFO] [stdout]    |         ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused import: `super::*`
[INFO] [stdout]   --> src/mir/sigma_and.rs:99:9
[INFO] [stdout]    |
[INFO] [stdout] 99 |     use super::*;
[INFO] [stdout]    |         ^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused import: `crate::mir::expr::Expr`
[INFO] [stdout]    --> src/mir/sigma_and.rs:100:9
[INFO] [stdout]     |
[INFO] [stdout] 100 |     use crate::mir::expr::Expr;
[INFO] [stdout]     |         ^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused import: `crate::serialization::sigma_serialize_roundtrip`
[INFO] [stdout]    --> src/mir/sigma_and.rs:101:9
[INFO] [stdout]     |
[INFO] [stdout] 101 |     use crate::serialization::sigma_serialize_roundtrip;
[INFO] [stdout]     |         ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused import: `super::*`
[INFO] [stdout]   --> src/mir/sigma_or.rs:99:9
[INFO] [stdout]    |
[INFO] [stdout] 99 |     use super::*;
[INFO] [stdout]    |         ^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused import: `crate::mir::expr::Expr`
[INFO] [stdout]    --> src/mir/sigma_or.rs:100:9
[INFO] [stdout]     |
[INFO] [stdout] 100 |     use crate::mir::expr::Expr;
[INFO] [stdout]     |         ^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused import: `crate::serialization::sigma_serialize_roundtrip`
[INFO] [stdout]    --> src/mir/sigma_or.rs:101:9
[INFO] [stdout]     |
[INFO] [stdout] 101 |     use crate::serialization::sigma_serialize_roundtrip;
[INFO] [stdout]     |         ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused import: `super::*`
[INFO] [stdout]   --> src/mir/xor_of.rs:71:9
[INFO] [stdout]    |
[INFO] [stdout] 71 |     use super::*;
[INFO] [stdout]    |         ^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused import: `crate::mir::expr::Expr`
[INFO] [stdout]   --> src/mir/xor_of.rs:72:9
[INFO] [stdout]    |
[INFO] [stdout] 72 |     use crate::mir::expr::Expr;
[INFO] [stdout]    |         ^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused import: `crate::serialization::sigma_serialize_roundtrip`
[INFO] [stdout]   --> src/mir/xor_of.rs:73:9
[INFO] [stdout]    |
[INFO] [stdout] 73 |     use crate::serialization::sigma_serialize_roundtrip;
[INFO] [stdout]    |         ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused import: `crate::serialization::sigma_serialize_roundtrip`
[INFO] [stdout]   --> src/sigma_protocol/sigma_boolean/cand.rs:95:9
[INFO] [stdout]    |
[INFO] [stdout] 95 |     use crate::serialization::sigma_serialize_roundtrip;
[INFO] [stdout]    |         ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused import: `crate::serialization::sigma_serialize_roundtrip`
[INFO] [stdout]   --> src/sigma_protocol/sigma_boolean/cor.rs:97:9
[INFO] [stdout]    |
[INFO] [stdout] 97 |     use crate::serialization::sigma_serialize_roundtrip;
[INFO] [stdout]    |         ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused import: `super::*`
[INFO] [stdout]    --> src/sigma_protocol/sigma_boolean.rs:385:9
[INFO] [stdout]     |
[INFO] [stdout] 385 |     use super::*;
[INFO] [stdout]     |         ^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused import: `crate::serialization::sigma_serialize_roundtrip`
[INFO] [stdout]    --> src/sigma_protocol/sigma_boolean.rs:386:9
[INFO] [stdout]     |
[INFO] [stdout] 386 |     use crate::serialization::sigma_serialize_roundtrip;
[INFO] [stdout]     |         ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0277]: the trait bound `chain::ergo_box::ErgoBox: proptest::arbitrary::traits::Arbitrary` is not satisfied
[INFO] [stdout]    --> src/chain/ergo_box.rs:462:33
[INFO] [stdout]     |
[INFO] [stdout] 462 |         let b = force_any_val::<ErgoBox>();
[INFO] [stdout]     |                                 ^^^^^^^ the trait `proptest::arbitrary::traits::Arbitrary` is not implemented for `chain::ergo_box::ErgoBox`
[INFO] [stdout]     |
[INFO] [stdout]     = help: the following other types implement trait `proptest::arbitrary::traits::Arbitrary`:
[INFO] [stdout]               ()
[INFO] [stdout]               (Sender<A>, std::sync::mpsc::IntoIter<A>)
[INFO] [stdout]               (Sender<A>, std::sync::mpsc::Receiver<A>)
[INFO] [stdout]               (SyncSender<A>, std::sync::mpsc::IntoIter<A>)
[INFO] [stdout]               (SyncSender<A>, std::sync::mpsc::Receiver<A>)
[INFO] [stdout]               (T0, T1)
[INFO] [stdout]               (T0, T1, T2)
[INFO] [stdout]               (T0, T1, T2, T3)
[INFO] [stdout]             and 201 others
[INFO] [stdout] note: required by a bound in `force_any_val`
[INFO] [stdout]    --> /opt/rustwide/cargo-home/registry/src/github.com-1ecc6299db9ec823/sigma-test-util-0.3.0/src/lib.rs:5:25
[INFO] [stdout]     |
[INFO] [stdout] 5   | pub fn force_any_val<T: Arbitrary>() -> T {
[INFO] [stdout]     |                         ^^^^^^^^^ required by this bound in `force_any_val`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0277]: the trait bound `chain::ergo_box::ErgoBox: proptest::arbitrary::traits::Arbitrary` is not satisfied
[INFO] [stdout]    --> src/chain/ergo_box.rs:480:33
[INFO] [stdout]     |
[INFO] [stdout] 480 |         let b = force_any_val::<ErgoBox>();
[INFO] [stdout]     |                                 ^^^^^^^ the trait `proptest::arbitrary::traits::Arbitrary` is not implemented for `chain::ergo_box::ErgoBox`
[INFO] [stdout]     |
[INFO] [stdout]     = help: the following other types implement trait `proptest::arbitrary::traits::Arbitrary`:
[INFO] [stdout]               ()
[INFO] [stdout]               (Sender<A>, std::sync::mpsc::IntoIter<A>)
[INFO] [stdout]               (Sender<A>, std::sync::mpsc::Receiver<A>)
[INFO] [stdout]               (SyncSender<A>, std::sync::mpsc::IntoIter<A>)
[INFO] [stdout]               (SyncSender<A>, std::sync::mpsc::Receiver<A>)
[INFO] [stdout]               (T0, T1)
[INFO] [stdout]               (T0, T1, T2)
[INFO] [stdout]               (T0, T1, T2, T3)
[INFO] [stdout]             and 201 others
[INFO] [stdout] note: required by a bound in `force_any_val`
[INFO] [stdout]    --> /opt/rustwide/cargo-home/registry/src/github.com-1ecc6299db9ec823/sigma-test-util-0.3.0/src/lib.rs:5:25
[INFO] [stdout]     |
[INFO] [stdout] 5   | pub fn force_any_val<T: Arbitrary>() -> T {
[INFO] [stdout]     |                         ^^^^^^^^^ required by this bound in `force_any_val`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0277]: the trait bound `chain::token::Token: proptest::arbitrary::traits::Arbitrary` is not satisfied
[INFO] [stdout]    --> src/chain/ergo_box.rs:490:22
[INFO] [stdout]     |
[INFO] [stdout] 490 |           let tokens = force_any_val_with::<Vec<Token>>((
[INFO] [stdout]     |  ______________________^
[INFO] [stdout] 491 | |             SizeRange::new(ErgoBox::MAX_TOKENS_COUNT..=ErgoBox::MAX_TOKENS_COUNT),
[INFO] [stdout] 492 | |             ArbTokenIdParam::Arbitrary,
[INFO] [stdout] 493 | |         ));
[INFO] [stdout]     | |__________^ the trait `proptest::arbitrary::traits::Arbitrary` is not implemented for `chain::token::Token`
[INFO] [stdout]     |
[INFO] [stdout]     = help: the following other types implement trait `proptest::arbitrary::traits::Arbitrary`:
[INFO] [stdout]               ()
[INFO] [stdout]               (Sender<A>, std::sync::mpsc::IntoIter<A>)
[INFO] [stdout]               (Sender<A>, std::sync::mpsc::Receiver<A>)
[INFO] [stdout]               (SyncSender<A>, std::sync::mpsc::IntoIter<A>)
[INFO] [stdout]               (SyncSender<A>, std::sync::mpsc::Receiver<A>)
[INFO] [stdout]               (T0, T1)
[INFO] [stdout]               (T0, T1, T2)
[INFO] [stdout]               (T0, T1, T2, T3)
[INFO] [stdout]             and 201 others
[INFO] [stdout]     = note: required for `Vec<chain::token::Token>` to implement `proptest::arbitrary::traits::Arbitrary`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0277]: the trait bound `ergo_tree::ErgoTree: proptest::arbitrary::traits::Arbitrary` is not satisfied
[INFO] [stdout]    --> src/chain/ergo_box.rs:497:44
[INFO] [stdout]     |
[INFO] [stdout] 497 |                 ergo_tree: force_any_val::<ErgoTree>(),
[INFO] [stdout]     |                                            ^^^^^^^^ the trait `proptest::arbitrary::traits::Arbitrary` is not implemented for `ergo_tree::ErgoTree`
[INFO] [stdout]     |
[INFO] [stdout]     = help: the following other types implement trait `proptest::arbitrary::traits::Arbitrary`:
[INFO] [stdout]               ()
[INFO] [stdout]               (Sender<A>, std::sync::mpsc::IntoIter<A>)
[INFO] [stdout]               (Sender<A>, std::sync::mpsc::Receiver<A>)
[INFO] [stdout]               (SyncSender<A>, std::sync::mpsc::IntoIter<A>)
[INFO] [stdout]               (SyncSender<A>, std::sync::mpsc::Receiver<A>)
[INFO] [stdout]               (T0, T1)
[INFO] [stdout]               (T0, T1, T2)
[INFO] [stdout]               (T0, T1, T2, T3)
[INFO] [stdout]             and 201 others
[INFO] [stdout] note: required by a bound in `force_any_val`
[INFO] [stdout]    --> /opt/rustwide/cargo-home/registry/src/github.com-1ecc6299db9ec823/sigma-test-util-0.3.0/src/lib.rs:5:25
[INFO] [stdout]     |
[INFO] [stdout] 5   | pub fn force_any_val<T: Arbitrary>() -> T {
[INFO] [stdout]     |                         ^^^^^^^^^ required by this bound in `force_any_val`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0277]: the trait bound `mir::expr::Expr: proptest::arbitrary::traits::Arbitrary` is not satisfied
[INFO] [stdout]    --> src/serialization/bin_op.rs:111:34
[INFO] [stdout]     |
[INFO] [stdout] 111 |             force_any_val_with::<Expr>(ArbExprParams {
[INFO] [stdout]     |                                  ^^^^ the trait `proptest::arbitrary::traits::Arbitrary` is not implemented for `mir::expr::Expr`
[INFO] [stdout]     |
[INFO] [stdout]     = help: the following other types implement trait `proptest::arbitrary::traits::Arbitrary`:
[INFO] [stdout]               ()
[INFO] [stdout]               (Sender<A>, std::sync::mpsc::IntoIter<A>)
[INFO] [stdout]               (Sender<A>, std::sync::mpsc::Receiver<A>)
[INFO] [stdout]               (SyncSender<A>, std::sync::mpsc::IntoIter<A>)
[INFO] [stdout]               (SyncSender<A>, std::sync::mpsc::Receiver<A>)
[INFO] [stdout]               (T0, T1)
[INFO] [stdout]               (T0, T1, T2)
[INFO] [stdout]               (T0, T1, T2, T3)
[INFO] [stdout]             and 201 others
[INFO] [stdout] note: required by a bound in `force_any_val_with`
[INFO] [stdout]    --> /opt/rustwide/cargo-home/registry/src/github.com-1ecc6299db9ec823/sigma-test-util-0.3.0/src/lib.rs:10:30
[INFO] [stdout]     |
[INFO] [stdout] 10  | pub fn force_any_val_with<T: Arbitrary>(args: T::Parameters) -> T {
[INFO] [stdout]     |                              ^^^^^^^^^ required by this bound in `force_any_val_with`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0277]: the trait bound `mir::expr::Expr: proptest::arbitrary::traits::Arbitrary` is not satisfied
[INFO] [stdout]    --> src/serialization/bin_op.rs:115:34
[INFO] [stdout]     |
[INFO] [stdout] 115 |             force_any_val_with::<Expr>(ArbExprParams {
[INFO] [stdout]     |                                  ^^^^ the trait `proptest::arbitrary::traits::Arbitrary` is not implemented for `mir::expr::Expr`
[INFO] [stdout]     |
[INFO] [stdout]     = help: the following other types implement trait `proptest::arbitrary::traits::Arbitrary`:
[INFO] [stdout]               ()
[INFO] [stdout]               (Sender<A>, std::sync::mpsc::IntoIter<A>)
[INFO] [stdout]               (Sender<A>, std::sync::mpsc::Receiver<A>)
[INFO] [stdout]               (SyncSender<A>, std::sync::mpsc::IntoIter<A>)
[INFO] [stdout]               (SyncSender<A>, std::sync::mpsc::Receiver<A>)
[INFO] [stdout]               (T0, T1)
[INFO] [stdout]               (T0, T1, T2)
[INFO] [stdout]               (T0, T1, T2, T3)
[INFO] [stdout]             and 201 others
[INFO] [stdout] note: required by a bound in `force_any_val_with`
[INFO] [stdout]    --> /opt/rustwide/cargo-home/registry/src/github.com-1ecc6299db9ec823/sigma-test-util-0.3.0/src/lib.rs:10:30
[INFO] [stdout]     |
[INFO] [stdout] 10  | pub fn force_any_val_with<T: Arbitrary>(args: T::Parameters) -> T {
[INFO] [stdout]     |                              ^^^^^^^^^ required by this bound in `force_any_val_with`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0277]: the trait bound `mir::expr::Expr: proptest::arbitrary::traits::Arbitrary` is not satisfied
[INFO] [stdout]    --> src/serialization/bin_op.rs:111:40
[INFO] [stdout]     |
[INFO] [stdout] 111 |               force_any_val_with::<Expr>(ArbExprParams {
[INFO] [stdout]     |  ________________________________________^
[INFO] [stdout] 112 | |                 tpe: SType::SAny,
[INFO] [stdout] 113 | |                 depth: 1,
[INFO] [stdout] 114 | |             }),
[INFO] [stdout]     | |_____________^ the trait `proptest::arbitrary::traits::Arbitrary` is not implemented for `mir::expr::Expr`
[INFO] [stdout]     |
[INFO] [stdout]     = help: the following other types implement trait `proptest::arbitrary::traits::Arbitrary`:
[INFO] [stdout]               ()
[INFO] [stdout]               (Sender<A>, std::sync::mpsc::IntoIter<A>)
[INFO] [stdout]               (Sender<A>, std::sync::mpsc::Receiver<A>)
[INFO] [stdout]               (SyncSender<A>, std::sync::mpsc::IntoIter<A>)
[INFO] [stdout]               (SyncSender<A>, std::sync::mpsc::Receiver<A>)
[INFO] [stdout]               (T0, T1)
[INFO] [stdout]               (T0, T1, T2)
[INFO] [stdout]               (T0, T1, T2, T3)
[INFO] [stdout]             and 201 others
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0277]: the trait bound `mir::expr::Expr: proptest::arbitrary::traits::Arbitrary` is not satisfied
[INFO] [stdout]    --> src/serialization/bin_op.rs:126:34
[INFO] [stdout]     |
[INFO] [stdout] 126 |             force_any_val_with::<Expr>(ArbExprParams {
[INFO] [stdout]     |                                  ^^^^ the trait `proptest::arbitrary::traits::Arbitrary` is not implemented for `mir::expr::Expr`
[INFO] [stdout]     |
[INFO] [stdout]     = help: the following other types implement trait `proptest::arbitrary::traits::Arbitrary`:
[INFO] [stdout]               ()
[INFO] [stdout]               (Sender<A>, std::sync::mpsc::IntoIter<A>)
[INFO] [stdout]               (Sender<A>, std::sync::mpsc::Receiver<A>)
[INFO] [stdout]               (SyncSender<A>, std::sync::mpsc::IntoIter<A>)
[INFO] [stdout]               (SyncSender<A>, std::sync::mpsc::Receiver<A>)
[INFO] [stdout]               (T0, T1)
[INFO] [stdout]               (T0, T1, T2)
[INFO] [stdout]               (T0, T1, T2, T3)
[INFO] [stdout]             and 201 others
[INFO] [stdout] note: required by a bound in `force_any_val_with`
[INFO] [stdout]    --> /opt/rustwide/cargo-home/registry/src/github.com-1ecc6299db9ec823/sigma-test-util-0.3.0/src/lib.rs:10:30
[INFO] [stdout]     |
[INFO] [stdout] 10  | pub fn force_any_val_with<T: Arbitrary>(args: T::Parameters) -> T {
[INFO] [stdout]     |                              ^^^^^^^^^ required by this bound in `force_any_val_with`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0277]: the trait bound `mir::expr::Expr: proptest::arbitrary::traits::Arbitrary` is not satisfied
[INFO] [stdout]    --> src/serialization/bin_op.rs:130:34
[INFO] [stdout]     |
[INFO] [stdout] 130 |             force_any_val_with::<Expr>(ArbExprParams {
[INFO] [stdout]     |                                  ^^^^ the trait `proptest::arbitrary::traits::Arbitrary` is not implemented for `mir::expr::Expr`
[INFO] [stdout]     |
[INFO] [stdout]     = help: the following other types implement trait `proptest::arbitrary::traits::Arbitrary`:
[INFO] [stdout]               ()
[INFO] [stdout]               (Sender<A>, std::sync::mpsc::IntoIter<A>)
[INFO] [stdout]               (Sender<A>, std::sync::mpsc::Receiver<A>)
[INFO] [stdout]               (SyncSender<A>, std::sync::mpsc::IntoIter<A>)
[INFO] [stdout]               (SyncSender<A>, std::sync::mpsc::Receiver<A>)
[INFO] [stdout]               (T0, T1)
[INFO] [stdout]               (T0, T1, T2)
[INFO] [stdout]               (T0, T1, T2, T3)
[INFO] [stdout]             and 201 others
[INFO] [stdout] note: required by a bound in `force_any_val_with`
[INFO] [stdout]    --> /opt/rustwide/cargo-home/registry/src/github.com-1ecc6299db9ec823/sigma-test-util-0.3.0/src/lib.rs:10:30
[INFO] [stdout]     |
[INFO] [stdout] 10  | pub fn force_any_val_with<T: Arbitrary>(args: T::Parameters) -> T {
[INFO] [stdout]     |                              ^^^^^^^^^ required by this bound in `force_any_val_with`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0277]: the trait bound `mir::expr::Expr: proptest::arbitrary::traits::Arbitrary` is not satisfied
[INFO] [stdout]    --> src/serialization/bin_op.rs:126:40
[INFO] [stdout]     |
[INFO] [stdout] 126 |               force_any_val_with::<Expr>(ArbExprParams {
[INFO] [stdout]     |  ________________________________________^
[INFO] [stdout] 127 | |                 tpe: SType::SAny,
[INFO] [stdout] 128 | |                 depth: 1,
[INFO] [stdout] 129 | |             }),
[INFO] [stdout]     | |_____________^ the trait `proptest::arbitrary::traits::Arbitrary` is not implemented for `mir::expr::Expr`
[INFO] [stdout]     |
[INFO] [stdout]     = help: the following other types implement trait `proptest::arbitrary::traits::Arbitrary`:
[INFO] [stdout]               ()
[INFO] [stdout]               (Sender<A>, std::sync::mpsc::IntoIter<A>)
[INFO] [stdout]               (Sender<A>, std::sync::mpsc::Receiver<A>)
[INFO] [stdout]               (SyncSender<A>, std::sync::mpsc::IntoIter<A>)
[INFO] [stdout]               (SyncSender<A>, std::sync::mpsc::Receiver<A>)
[INFO] [stdout]               (T0, T1)
[INFO] [stdout]               (T0, T1, T2)
[INFO] [stdout]               (T0, T1, T2, T3)
[INFO] [stdout]             and 201 others
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0277]: the trait bound `ProveDlog: proptest::arbitrary::traits::Arbitrary` is not satisfied
[INFO] [stdout]    --> src/sigma_protocol/sigma_boolean/cand.rs:115:34
[INFO] [stdout]     |
[INFO] [stdout] 115 |         let pk = force_any_val::<ProveDlog>();
[INFO] [stdout]     |                                  ^^^^^^^^^ the trait `proptest::arbitrary::traits::Arbitrary` is not implemented for `ProveDlog`
[INFO] [stdout]     |
[INFO] [stdout]     = help: the following other types implement trait `proptest::arbitrary::traits::Arbitrary`:
[INFO] [stdout]               ()
[INFO] [stdout]               (Sender<A>, std::sync::mpsc::IntoIter<A>)
[INFO] [stdout]               (Sender<A>, std::sync::mpsc::Receiver<A>)
[INFO] [stdout]               (SyncSender<A>, std::sync::mpsc::IntoIter<A>)
[INFO] [stdout]               (SyncSender<A>, std::sync::mpsc::Receiver<A>)
[INFO] [stdout]               (T0, T1)
[INFO] [stdout]               (T0, T1, T2)
[INFO] [stdout]               (T0, T1, T2, T3)
[INFO] [stdout]             and 201 others
[INFO] [stdout] note: required by a bound in `force_any_val`
[INFO] [stdout]    --> /opt/rustwide/cargo-home/registry/src/github.com-1ecc6299db9ec823/sigma-test-util-0.3.0/src/lib.rs:5:25
[INFO] [stdout]     |
[INFO] [stdout] 5   | pub fn force_any_val<T: Arbitrary>() -> T {
[INFO] [stdout]     |                         ^^^^^^^^^ required by this bound in `force_any_val`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0277]: the trait bound `ProveDlog: proptest::arbitrary::traits::Arbitrary` is not satisfied
[INFO] [stdout]    --> src/sigma_protocol/sigma_boolean/cand.rs:123:34
[INFO] [stdout]     |
[INFO] [stdout] 123 |         let pk = force_any_val::<ProveDlog>();
[INFO] [stdout]     |                                  ^^^^^^^^^ the trait `proptest::arbitrary::traits::Arbitrary` is not implemented for `ProveDlog`
[INFO] [stdout]     |
[INFO] [stdout]     = help: the following other types implement trait `proptest::arbitrary::traits::Arbitrary`:
[INFO] [stdout]               ()
[INFO] [stdout]               (Sender<A>, std::sync::mpsc::IntoIter<A>)
[INFO] [stdout]               (Sender<A>, std::sync::mpsc::Receiver<A>)
[INFO] [stdout]               (SyncSender<A>, std::sync::mpsc::IntoIter<A>)
[INFO] [stdout]               (SyncSender<A>, std::sync::mpsc::Receiver<A>)
[INFO] [stdout]               (T0, T1)
[INFO] [stdout]               (T0, T1, T2)
[INFO] [stdout]               (T0, T1, T2, T3)
[INFO] [stdout]             and 201 others
[INFO] [stdout] note: required by a bound in `force_any_val`
[INFO] [stdout]    --> /opt/rustwide/cargo-home/registry/src/github.com-1ecc6299db9ec823/sigma-test-util-0.3.0/src/lib.rs:5:25
[INFO] [stdout]     |
[INFO] [stdout] 5   | pub fn force_any_val<T: Arbitrary>() -> T {
[INFO] [stdout]     |                         ^^^^^^^^^ required by this bound in `force_any_val`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0277]: the trait bound `ProveDlog: proptest::arbitrary::traits::Arbitrary` is not satisfied
[INFO] [stdout]    --> src/sigma_protocol/sigma_boolean/cand.rs:130:35
[INFO] [stdout]     |
[INFO] [stdout] 130 |         let pk1 = force_any_val::<ProveDlog>();
[INFO] [stdout]     |                                   ^^^^^^^^^ the trait `proptest::arbitrary::traits::Arbitrary` is not implemented for `ProveDlog`
[INFO] [stdout]     |
[INFO] [stdout]     = help: the following other types implement trait `proptest::arbitrary::traits::Arbitrary`:
[INFO] [stdout]               ()
[INFO] [stdout]               (Sender<A>, std::sync::mpsc::IntoIter<A>)
[INFO] [stdout]               (Sender<A>, std::sync::mpsc::Receiver<A>)
[INFO] [stdout]               (SyncSender<A>, std::sync::mpsc::IntoIter<A>)
[INFO] [stdout]               (SyncSender<A>, std::sync::mpsc::Receiver<A>)
[INFO] [stdout]               (T0, T1)
[INFO] [stdout]               (T0, T1, T2)
[INFO] [stdout]               (T0, T1, T2, T3)
[INFO] [stdout]             and 201 others
[INFO] [stdout] note: required by a bound in `force_any_val`
[INFO] [stdout]    --> /opt/rustwide/cargo-home/registry/src/github.com-1ecc6299db9ec823/sigma-test-util-0.3.0/src/lib.rs:5:25
[INFO] [stdout]     |
[INFO] [stdout] 5   | pub fn force_any_val<T: Arbitrary>() -> T {
[INFO] [stdout]     |                         ^^^^^^^^^ required by this bound in `force_any_val`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0277]: the trait bound `ProveDlog: proptest::arbitrary::traits::Arbitrary` is not satisfied
[INFO] [stdout]    --> src/sigma_protocol/sigma_boolean/cand.rs:131:35
[INFO] [stdout]     |
[INFO] [stdout] 131 |         let pk2 = force_any_val::<ProveDlog>();
[INFO] [stdout]     |                                   ^^^^^^^^^ the trait `proptest::arbitrary::traits::Arbitrary` is not implemented for `ProveDlog`
[INFO] [stdout]     |
[INFO] [stdout]     = help: the following other types implement trait `proptest::arbitrary::traits::Arbitrary`:
[INFO] [stdout]               ()
[INFO] [stdout]               (Sender<A>, std::sync::mpsc::IntoIter<A>)
[INFO] [stdout]               (Sender<A>, std::sync::mpsc::Receiver<A>)
[INFO] [stdout]               (SyncSender<A>, std::sync::mpsc::IntoIter<A>)
[INFO] [stdout]               (SyncSender<A>, std::sync::mpsc::Receiver<A>)
[INFO] [stdout]               (T0, T1)
[INFO] [stdout]               (T0, T1, T2)
[INFO] [stdout]               (T0, T1, T2, T3)
[INFO] [stdout]             and 201 others
[INFO] [stdout] note: required by a bound in `force_any_val`
[INFO] [stdout]    --> /opt/rustwide/cargo-home/registry/src/github.com-1ecc6299db9ec823/sigma-test-util-0.3.0/src/lib.rs:5:25
[INFO] [stdout]     |
[INFO] [stdout] 5   | pub fn force_any_val<T: Arbitrary>() -> T {
[INFO] [stdout]     |                         ^^^^^^^^^ required by this bound in `force_any_val`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0277]: the trait bound `ProveDlog: proptest::arbitrary::traits::Arbitrary` is not satisfied
[INFO] [stdout]    --> src/sigma_protocol/sigma_boolean/cor.rs:117:34
[INFO] [stdout]     |
[INFO] [stdout] 117 |         let pk = force_any_val::<ProveDlog>();
[INFO] [stdout]     |                                  ^^^^^^^^^ the trait `proptest::arbitrary::traits::Arbitrary` is not implemented for `ProveDlog`
[INFO] [stdout]     |
[INFO] [stdout]     = help: the following other types implement trait `proptest::arbitrary::traits::Arbitrary`:
[INFO] [stdout]               ()
[INFO] [stdout]               (Sender<A>, std::sync::mpsc::IntoIter<A>)
[INFO] [stdout]               (Sender<A>, std::sync::mpsc::Receiver<A>)
[INFO] [stdout]               (SyncSender<A>, std::sync::mpsc::IntoIter<A>)
[INFO] [stdout]               (SyncSender<A>, std::sync::mpsc::Receiver<A>)
[INFO] [stdout]               (T0, T1)
[INFO] [stdout]               (T0, T1, T2)
[INFO] [stdout]               (T0, T1, T2, T3)
[INFO] [stdout]             and 201 others
[INFO] [stdout] note: required by a bound in `force_any_val`
[INFO] [stdout]    --> /opt/rustwide/cargo-home/registry/src/github.com-1ecc6299db9ec823/sigma-test-util-0.3.0/src/lib.rs:5:25
[INFO] [stdout]     |
[INFO] [stdout] 5   | pub fn force_any_val<T: Arbitrary>() -> T {
[INFO] [stdout]     |                         ^^^^^^^^^ required by this bound in `force_any_val`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0277]: the trait bound `ProveDlog: proptest::arbitrary::traits::Arbitrary` is not satisfied
[INFO] [stdout]    --> src/sigma_protocol/sigma_boolean/cor.rs:124:34
[INFO] [stdout]     |
[INFO] [stdout] 124 |         let pk = force_any_val::<ProveDlog>();
[INFO] [stdout]     |                                  ^^^^^^^^^ the trait `proptest::arbitrary::traits::Arbitrary` is not implemented for `ProveDlog`
[INFO] [stdout]     |
[INFO] [stdout]     = help: the following other types implement trait `proptest::arbitrary::traits::Arbitrary`:
[INFO] [stdout]               ()
[INFO] [stdout]               (Sender<A>, std::sync::mpsc::IntoIter<A>)
[INFO] [stdout]               (Sender<A>, std::sync::mpsc::Receiver<A>)
[INFO] [stdout]               (SyncSender<A>, std::sync::mpsc::IntoIter<A>)
[INFO] [stdout]               (SyncSender<A>, std::sync::mpsc::Receiver<A>)
[INFO] [stdout]               (T0, T1)
[INFO] [stdout]               (T0, T1, T2)
[INFO] [stdout]               (T0, T1, T2, T3)
[INFO] [stdout]             and 201 others
[INFO] [stdout] note: required by a bound in `force_any_val`
[INFO] [stdout]    --> /opt/rustwide/cargo-home/registry/src/github.com-1ecc6299db9ec823/sigma-test-util-0.3.0/src/lib.rs:5:25
[INFO] [stdout]     |
[INFO] [stdout] 5   | pub fn force_any_val<T: Arbitrary>() -> T {
[INFO] [stdout]     |                         ^^^^^^^^^ required by this bound in `force_any_val`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0277]: the trait bound `ProveDlog: proptest::arbitrary::traits::Arbitrary` is not satisfied
[INFO] [stdout]    --> src/sigma_protocol/sigma_boolean/cor.rs:132:35
[INFO] [stdout]     |
[INFO] [stdout] 132 |         let pk1 = force_any_val::<ProveDlog>();
[INFO] [stdout]     |                                   ^^^^^^^^^ the trait `proptest::arbitrary::traits::Arbitrary` is not implemented for `ProveDlog`
[INFO] [stdout]     |
[INFO] [stdout]     = help: the following other types implement trait `proptest::arbitrary::traits::Arbitrary`:
[INFO] [stdout]               ()
[INFO] [stdout]               (Sender<A>, std::sync::mpsc::IntoIter<A>)
[INFO] [stdout]               (Sender<A>, std::sync::mpsc::Receiver<A>)
[INFO] [stdout]               (SyncSender<A>, std::sync::mpsc::IntoIter<A>)
[INFO] [stdout]               (SyncSender<A>, std::sync::mpsc::Receiver<A>)
[INFO] [stdout]               (T0, T1)
[INFO] [stdout]               (T0, T1, T2)
[INFO] [stdout]               (T0, T1, T2, T3)
[INFO] [stdout]             and 201 others
[INFO] [stdout] note: required by a bound in `force_any_val`
[INFO] [stdout]    --> /opt/rustwide/cargo-home/registry/src/github.com-1ecc6299db9ec823/sigma-test-util-0.3.0/src/lib.rs:5:25
[INFO] [stdout]     |
[INFO] [stdout] 5   | pub fn force_any_val<T: Arbitrary>() -> T {
[INFO] [stdout]     |                         ^^^^^^^^^ required by this bound in `force_any_val`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0277]: the trait bound `ProveDlog: proptest::arbitrary::traits::Arbitrary` is not satisfied
[INFO] [stdout]    --> src/sigma_protocol/sigma_boolean/cor.rs:133:35
[INFO] [stdout]     |
[INFO] [stdout] 133 |         let pk2 = force_any_val::<ProveDlog>();
[INFO] [stdout]     |                                   ^^^^^^^^^ the trait `proptest::arbitrary::traits::Arbitrary` is not implemented for `ProveDlog`
[INFO] [stdout]     |
[INFO] [stdout]     = help: the following other types implement trait `proptest::arbitrary::traits::Arbitrary`:
[INFO] [stdout]               ()
[INFO] [stdout]               (Sender<A>, std::sync::mpsc::IntoIter<A>)
[INFO] [stdout]               (Sender<A>, std::sync::mpsc::Receiver<A>)
[INFO] [stdout]               (SyncSender<A>, std::sync::mpsc::IntoIter<A>)
[INFO] [stdout]               (SyncSender<A>, std::sync::mpsc::Receiver<A>)
[INFO] [stdout]               (T0, T1)
[INFO] [stdout]               (T0, T1, T2)
[INFO] [stdout]               (T0, T1, T2, T3)
[INFO] [stdout]             and 201 others
[INFO] [stdout] note: required by a bound in `force_any_val`
[INFO] [stdout]    --> /opt/rustwide/cargo-home/registry/src/github.com-1ecc6299db9ec823/sigma-test-util-0.3.0/src/lib.rs:5:25
[INFO] [stdout]     |
[INFO] [stdout] 5   | pub fn force_any_val<T: Arbitrary>() -> T {
[INFO] [stdout]     |                         ^^^^^^^^^ required by this bound in `force_any_val`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: aborting due to 84 previous errors; 52 warnings emitted
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] Some errors have detailed explanations: E0277, E0432, E0433.
[INFO] [stdout] 
[INFO] [stdout] For more information about an error, try `rustc --explain E0277`.
[INFO] [stdout] 
[INFO] [stderr] error: could not compile `ergotree-ir` due to 85 previous errors; 52 warnings emitted
[INFO] [stderr] warning: build failed, waiting for other jobs to finish...
[INFO] running `Command { std: "docker" "inspect" "5cdc823243f287e1b9b075f59d177de8159bf25ba25df8048a84fcd0f4c87970", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "5cdc823243f287e1b9b075f59d177de8159bf25ba25df8048a84fcd0f4c87970", kill_on_drop: false }`
[INFO] [stdout] 5cdc823243f287e1b9b075f59d177de8159bf25ba25df8048a84fcd0f4c87970
