[INFO] fetching crate ergotree-ir 0.13.3...
[INFO] testing ergotree-ir-0.13.3 against beta-2021-08-01 for beta-1.55-1
[INFO] extracting crate ergotree-ir 0.13.3 into /workspace/builds/worker-7/source
[INFO] validating manifest of crates.io crate ergotree-ir 0.13.3 on toolchain beta-2021-08-01
[INFO] running `Command { std: "/workspace/cargo-home/bin/cargo" "+beta-2021-08-01" "metadata" "--manifest-path" "Cargo.toml" "--no-deps", kill_on_drop: false }`
[INFO] started tweaking crates.io crate ergotree-ir 0.13.3
[INFO] finished tweaking crates.io crate ergotree-ir 0.13.3
[INFO] tweaked toml for crates.io crate ergotree-ir 0.13.3 written to /workspace/builds/worker-7/source/Cargo.toml
[INFO] running `Command { std: "/workspace/cargo-home/bin/cargo" "+beta-2021-08-01" "generate-lockfile" "--manifest-path" "Cargo.toml" "-Zno-index-update", kill_on_drop: false }`
[INFO] [stderr]     Blocking waiting for file lock on package cache
[INFO] running `Command { std: "/workspace/cargo-home/bin/cargo" "+beta-2021-08-01" "fetch" "--manifest-path" "Cargo.toml", kill_on_drop: false }`
[INFO] [stderr]     Blocking waiting for file lock on package cache
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-7/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-7/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:34b6a614d2c27851fe6cbf88fbd1137609cefab8b10d0615aaeb6fd47975d74e" "/opt/rustwide/cargo-home/bin/cargo" "+beta-2021-08-01" "metadata" "--no-deps" "--format-version=1", kill_on_drop: false }`
[INFO] [stdout] cda76ccb435fb161645a0a909714ec49a9e0a564c53edd1d3d420c7deee65677
[INFO] [stderr] WARNING: Your kernel does not support swap limit capabilities or the cgroup is not mounted. Memory limited without swap.
[INFO] running `Command { std: "docker" "start" "-a" "cda76ccb435fb161645a0a909714ec49a9e0a564c53edd1d3d420c7deee65677", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "inspect" "cda76ccb435fb161645a0a909714ec49a9e0a564c53edd1d3d420c7deee65677", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "cda76ccb435fb161645a0a909714ec49a9e0a564c53edd1d3d420c7deee65677", kill_on_drop: false }`
[INFO] [stdout] cda76ccb435fb161645a0a909714ec49a9e0a564c53edd1d3d420c7deee65677
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-7/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-7/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" "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:34b6a614d2c27851fe6cbf88fbd1137609cefab8b10d0615aaeb6fd47975d74e" "/opt/rustwide/cargo-home/bin/cargo" "+beta-2021-08-01" "build" "--frozen" "--message-format=json", kill_on_drop: false }`
[INFO] [stderr] WARNING: Your kernel does not support swap limit capabilities or the cgroup is not mounted. Memory limited without swap.
[INFO] [stdout] 8380fe272a83af6d1d6056a747a2b3f006d0d1d32cf9adedaea08e03bf9c9911
[INFO] running `Command { std: "docker" "start" "-a" "8380fe272a83af6d1d6056a747a2b3f006d0d1d32cf9adedaea08e03bf9c9911", kill_on_drop: false }`
[INFO] [stderr]     Blocking waiting for file lock on package cache
[INFO] [stderr]     Blocking waiting for file lock on package cache
[INFO] [stderr]    Compiling syn v1.0.74
[INFO] [stderr]    Compiling radium v0.3.0
[INFO] [stderr]    Compiling const-oid v0.4.5
[INFO] [stderr]    Compiling zeroize v1.4.1
[INFO] [stderr]    Compiling bs58 v0.4.0
[INFO] [stderr]    Compiling base16 v0.2.1
[INFO] [stderr]    Compiling bounded-vec v0.3.0
[INFO] [stderr]    Compiling bitvec v0.20.4
[INFO] [stderr]    Compiling crypto-mac v0.10.1
[INFO] [stderr]    Compiling crypto-mac v0.8.0
[INFO] [stderr]    Compiling signature v1.2.2
[INFO] [stderr]    Compiling hmac v0.10.1
[INFO] [stderr]    Compiling der v0.1.0
[INFO] [stderr]    Compiling blake2 v0.9.1
[INFO] [stderr]    Compiling bitvec v0.18.5
[INFO] [stderr]    Compiling pkcs8 v0.3.3
[INFO] [stderr]    Compiling sigma-util v0.2.1
[INFO] [stderr]    Compiling ff v0.8.0
[INFO] [stderr]    Compiling group v0.8.0
[INFO] [stderr]    Compiling elliptic-curve v0.8.5
[INFO] [stderr]    Compiling ff v0.9.0
[INFO] [stderr]    Compiling group v0.9.0
[INFO] [stderr]    Compiling ecdsa v0.10.2
[INFO] [stderr]    Compiling elliptic-curve v0.9.12
[INFO] [stderr]    Compiling k256 v0.7.3
[INFO] [stderr]    Compiling thiserror-impl v1.0.26
[INFO] [stderr]    Compiling derive_more v0.99.16
[INFO] [stderr]    Compiling impl-trait-for-tuples v0.2.1
[INFO] [stderr]    Compiling thiserror v1.0.26
[INFO] [stderr]    Compiling sigma-ser v0.2.3
[INFO] [stderr]    Compiling ergotree-ir v0.13.3 (/opt/rustwide/workdir)
[INFO] [stderr]     Finished dev [unoptimized + debuginfo] target(s) in 38.41s
[INFO] running `Command { std: "docker" "inspect" "8380fe272a83af6d1d6056a747a2b3f006d0d1d32cf9adedaea08e03bf9c9911", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "8380fe272a83af6d1d6056a747a2b3f006d0d1d32cf9adedaea08e03bf9c9911", kill_on_drop: false }`
[INFO] [stdout] 8380fe272a83af6d1d6056a747a2b3f006d0d1d32cf9adedaea08e03bf9c9911
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-7/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-7/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" "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:34b6a614d2c27851fe6cbf88fbd1137609cefab8b10d0615aaeb6fd47975d74e" "/opt/rustwide/cargo-home/bin/cargo" "+beta-2021-08-01" "test" "--frozen" "--no-run" "--message-format=json", kill_on_drop: false }`
[INFO] [stdout] 4849f546fb245a3babc23972ba6589ed5ea21bc9e9a7174850b5f2ee680c772b
[INFO] [stderr] WARNING: Your kernel does not support swap limit capabilities or the cgroup is not mounted. Memory limited without swap.
[INFO] running `Command { std: "docker" "start" "-a" "4849f546fb245a3babc23972ba6589ed5ea21bc9e9a7174850b5f2ee680c772b", kill_on_drop: false }`
[INFO] [stderr]    Compiling quick-error v2.0.1
[INFO] [stderr]    Compiling rand_xorshift v0.3.0
[INFO] [stderr]    Compiling proptest-derive v0.3.0
[INFO] [stderr]    Compiling rusty-fork v0.3.0
[INFO] [stderr]    Compiling proptest v1.0.0
[INFO] [stderr]    Compiling sigma-test-util v0.2.0
[INFO] [stderr]    Compiling ergotree-ir v0.13.3 (/opt/rustwide/workdir)
[INFO] [stdout] error[E0432]: unresolved import `crate::mir::expr::arbitrary`
[INFO] [stdout]   --> src/serialization/bin_op.rs:92:27
[INFO] [stdout]    |
[INFO] [stdout] 92 |     use crate::mir::expr::arbitrary::ArbExprParams;
[INFO] [stdout]    |                           ^^^^^^^^^ could not find `arbitrary` in `expr`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0432]: unresolved import `super::super::stype::tests`
[INFO] [stdout]   --> src/types/type_unify.rs:81:30
[INFO] [stdout]    |
[INFO] [stdout] 81 |     use super::super::stype::tests::primitive_type;
[INFO] [stdout]    |                              ^^^^^ could not find `tests` in `stype`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0432]: unresolved import `proptest_derive`
[INFO] [stdout]   --> src/mir/func_value.rs:16:5
[INFO] [stdout]    |
[INFO] [stdout] 16 | use proptest_derive::Arbitrary;
[INFO] [stdout]    |     ^^^^^^^^^^^^^^^ use of undeclared crate or module `proptest_derive`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: cannot determine resolution for the derive macro `Arbitrary`
[INFO] [stdout]   --> src/mir/func_value.rs:20:25
[INFO] [stdout]    |
[INFO] [stdout] 20 | #[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 derive macro `Arbitrary` in this scope
[INFO] [stdout]   --> src/mir/val_def.rs:40:25
[INFO] [stdout]    |
[INFO] [stdout] 40 | #[cfg_attr(test, derive(Arbitrary))]
[INFO] [stdout]    |                         ^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0277]: the trait bound `mir::expr::Expr: proptest::arbitrary::Arbitrary` is not satisfied
[INFO] [stdout]    --> src/mir/apply.rs:94:14
[INFO] [stdout]     |
[INFO] [stdout] 94  |             (any::<Expr>(), vec(any::<Expr>(), 1..10))
[INFO] [stdout]     |              ^^^^^^^^^^^ the trait `proptest::arbitrary::Arbitrary` is not implemented for `mir::expr::Expr`
[INFO] [stdout]     | 
[INFO] [stdout]    ::: /opt/rustwide/cargo-home/registry/src/github.com-1ecc6299db9ec823/proptest-1.0.0/src/arbitrary/traits.rs:159:15
[INFO] [stdout]     |
[INFO] [stdout] 159 | pub fn any<A: Arbitrary>() -> StrategyFor<A> {
[INFO] [stdout]     |               --------- required by this bound in `proptest::arbitrary::any`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0277]: the trait bound `mir::expr::Expr: proptest::arbitrary::Arbitrary` is not satisfied
[INFO] [stdout]    --> src/mir/apply.rs:94:33
[INFO] [stdout]     |
[INFO] [stdout] 94  |             (any::<Expr>(), vec(any::<Expr>(), 1..10))
[INFO] [stdout]     |                                 ^^^^^^^^^^^ the trait `proptest::arbitrary::Arbitrary` is not implemented for `mir::expr::Expr`
[INFO] [stdout]     | 
[INFO] [stdout]    ::: /opt/rustwide/cargo-home/registry/src/github.com-1ecc6299db9ec823/proptest-1.0.0/src/arbitrary/traits.rs:159:15
[INFO] [stdout]     |
[INFO] [stdout] 159 | pub fn any<A: Arbitrary>() -> StrategyFor<A> {
[INFO] [stdout]     |               --------- required by this bound in `proptest::arbitrary::any`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0277]: the trait bound `mir::expr::Expr: proptest::arbitrary::Arbitrary` is not satisfied
[INFO] [stdout]    --> src/serialization/bin_op.rs:110:13
[INFO] [stdout]     |
[INFO] [stdout] 110 |             force_any_val_with::<Expr>(ArbExprParams {
[INFO] [stdout]     |             ^^^^^^^^^^^^^^^^^^^^^^^^^^ the trait `proptest::arbitrary::Arbitrary` is not implemented for `mir::expr::Expr`
[INFO] [stdout]     | 
[INFO] [stdout]    ::: /opt/rustwide/cargo-home/registry/src/github.com-1ecc6299db9ec823/sigma-test-util-0.2.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::Arbitrary` is not satisfied
[INFO] [stdout]    --> src/serialization/bin_op.rs:114:13
[INFO] [stdout]     |
[INFO] [stdout] 114 |             force_any_val_with::<Expr>(ArbExprParams {
[INFO] [stdout]     |             ^^^^^^^^^^^^^^^^^^^^^^^^^^ the trait `proptest::arbitrary::Arbitrary` is not implemented for `mir::expr::Expr`
[INFO] [stdout]     | 
[INFO] [stdout]    ::: /opt/rustwide/cargo-home/registry/src/github.com-1ecc6299db9ec823/sigma-test-util-0.2.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::Arbitrary` is not satisfied
[INFO] [stdout]    --> src/serialization/bin_op.rs:125:13
[INFO] [stdout]     |
[INFO] [stdout] 125 |             force_any_val_with::<Expr>(ArbExprParams {
[INFO] [stdout]     |             ^^^^^^^^^^^^^^^^^^^^^^^^^^ the trait `proptest::arbitrary::Arbitrary` is not implemented for `mir::expr::Expr`
[INFO] [stdout]     | 
[INFO] [stdout]    ::: /opt/rustwide/cargo-home/registry/src/github.com-1ecc6299db9ec823/sigma-test-util-0.2.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::Arbitrary` is not satisfied
[INFO] [stdout]    --> src/serialization/bin_op.rs:129:13
[INFO] [stdout]     |
[INFO] [stdout] 129 |             force_any_val_with::<Expr>(ArbExprParams {
[INFO] [stdout]     |             ^^^^^^^^^^^^^^^^^^^^^^^^^^ the trait `proptest::arbitrary::Arbitrary` is not implemented for `mir::expr::Expr`
[INFO] [stdout]     | 
[INFO] [stdout]    ::: /opt/rustwide/cargo-home/registry/src/github.com-1ecc6299db9ec823/sigma-test-util-0.2.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 `ProveDlog: proptest::arbitrary::Arbitrary` is not satisfied
[INFO] [stdout]   --> src/sigma_protocol/sigma_boolean/cand.rs:64:34
[INFO] [stdout]    |
[INFO] [stdout] 64 |         let pk = force_any_val::<ProveDlog>();
[INFO] [stdout]    |                                  ^^^^^^^^^ the trait `proptest::arbitrary::Arbitrary` is not implemented for `ProveDlog`
[INFO] [stdout]    | 
[INFO] [stdout]   ::: /opt/rustwide/cargo-home/registry/src/github.com-1ecc6299db9ec823/sigma-test-util-0.2.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::Arbitrary` is not satisfied
[INFO] [stdout]   --> src/sigma_protocol/sigma_boolean/cand.rs:72:34
[INFO] [stdout]    |
[INFO] [stdout] 72 |         let pk = force_any_val::<ProveDlog>();
[INFO] [stdout]    |                                  ^^^^^^^^^ the trait `proptest::arbitrary::Arbitrary` is not implemented for `ProveDlog`
[INFO] [stdout]    | 
[INFO] [stdout]   ::: /opt/rustwide/cargo-home/registry/src/github.com-1ecc6299db9ec823/sigma-test-util-0.2.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::Arbitrary` is not satisfied
[INFO] [stdout]   --> src/sigma_protocol/sigma_boolean/cand.rs:79:35
[INFO] [stdout]    |
[INFO] [stdout] 79 |         let pk1 = force_any_val::<ProveDlog>();
[INFO] [stdout]    |                                   ^^^^^^^^^ the trait `proptest::arbitrary::Arbitrary` is not implemented for `ProveDlog`
[INFO] [stdout]    | 
[INFO] [stdout]   ::: /opt/rustwide/cargo-home/registry/src/github.com-1ecc6299db9ec823/sigma-test-util-0.2.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::Arbitrary` is not satisfied
[INFO] [stdout]   --> src/sigma_protocol/sigma_boolean/cand.rs:80:35
[INFO] [stdout]    |
[INFO] [stdout] 80 |         let pk2 = force_any_val::<ProveDlog>();
[INFO] [stdout]    |                                   ^^^^^^^^^ the trait `proptest::arbitrary::Arbitrary` is not implemented for `ProveDlog`
[INFO] [stdout]    | 
[INFO] [stdout]   ::: /opt/rustwide/cargo-home/registry/src/github.com-1ecc6299db9ec823/sigma-test-util-0.2.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::Arbitrary` is not satisfied
[INFO] [stdout]   --> src/sigma_protocol/sigma_boolean/cor.rs:65:34
[INFO] [stdout]    |
[INFO] [stdout] 65 |         let pk = force_any_val::<ProveDlog>();
[INFO] [stdout]    |                                  ^^^^^^^^^ the trait `proptest::arbitrary::Arbitrary` is not implemented for `ProveDlog`
[INFO] [stdout]    | 
[INFO] [stdout]   ::: /opt/rustwide/cargo-home/registry/src/github.com-1ecc6299db9ec823/sigma-test-util-0.2.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::Arbitrary` is not satisfied
[INFO] [stdout]   --> src/sigma_protocol/sigma_boolean/cor.rs:72:34
[INFO] [stdout]    |
[INFO] [stdout] 72 |         let pk = force_any_val::<ProveDlog>();
[INFO] [stdout]    |                                  ^^^^^^^^^ the trait `proptest::arbitrary::Arbitrary` is not implemented for `ProveDlog`
[INFO] [stdout]    | 
[INFO] [stdout]   ::: /opt/rustwide/cargo-home/registry/src/github.com-1ecc6299db9ec823/sigma-test-util-0.2.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::Arbitrary` is not satisfied
[INFO] [stdout]   --> src/sigma_protocol/sigma_boolean/cor.rs:80:35
[INFO] [stdout]    |
[INFO] [stdout] 80 |         let pk1 = force_any_val::<ProveDlog>();
[INFO] [stdout]    |                                   ^^^^^^^^^ the trait `proptest::arbitrary::Arbitrary` is not implemented for `ProveDlog`
[INFO] [stdout]    | 
[INFO] [stdout]   ::: /opt/rustwide/cargo-home/registry/src/github.com-1ecc6299db9ec823/sigma-test-util-0.2.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::Arbitrary` is not satisfied
[INFO] [stdout]   --> src/sigma_protocol/sigma_boolean/cor.rs:81:35
[INFO] [stdout]    |
[INFO] [stdout] 81 |         let pk2 = force_any_val::<ProveDlog>();
[INFO] [stdout]    |                                   ^^^^^^^^^ the trait `proptest::arbitrary::Arbitrary` is not implemented for `ProveDlog`
[INFO] [stdout]    | 
[INFO] [stdout]   ::: /opt/rustwide/cargo-home/registry/src/github.com-1ecc6299db9ec823/sigma-test-util-0.2.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 `address::Address: proptest::arbitrary::Arbitrary` is not satisfied
[INFO] [stdout]    --> src/address.rs:432:31
[INFO] [stdout]     |
[INFO] [stdout] 432 |         fn str_roundtrip(v in any::<Address>()) {
[INFO] [stdout]     |                               ^^^^^^^^^^^^^^ the trait `proptest::arbitrary::Arbitrary` is not implemented for `address::Address`
[INFO] [stdout]     | 
[INFO] [stdout]    ::: /opt/rustwide/cargo-home/registry/src/github.com-1ecc6299db9ec823/proptest-1.0.0/src/arbitrary/traits.rs:159:15
[INFO] [stdout]     |
[INFO] [stdout] 159 | pub fn any<A: Arbitrary>() -> StrategyFor<A> {
[INFO] [stdout]     |               --------- required by this bound in `proptest::arbitrary::any`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0277]: the trait bound `address::Address: proptest::arbitrary::Arbitrary` is not satisfied
[INFO] [stdout]    --> src/address.rs:440:36
[INFO] [stdout]     |
[INFO] [stdout] 440 |         fn recreate_roundtrip(v in any::<Address>()) {
[INFO] [stdout]     |                                    ^^^^^^^^^^^^^^ the trait `proptest::arbitrary::Arbitrary` is not implemented for `address::Address`
[INFO] [stdout]     | 
[INFO] [stdout]    ::: /opt/rustwide/cargo-home/registry/src/github.com-1ecc6299db9ec823/proptest-1.0.0/src/arbitrary/traits.rs:159:15
[INFO] [stdout]     |
[INFO] [stdout] 159 | pub fn any<A: Arbitrary>() -> StrategyFor<A> {
[INFO] [stdout]     |               --------- required by this bound in `proptest::arbitrary::any`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0277]: the trait bound `and::And: proptest::arbitrary::Arbitrary` is not satisfied
[INFO] [stdout]    --> src/mir/and.rs:77:31
[INFO] [stdout]     |
[INFO] [stdout] 77  |         fn ser_roundtrip(v in any_with::<And>(1)) {
[INFO] [stdout]     |                               ^^^^^^^^^^^^^^^ the trait `proptest::arbitrary::Arbitrary` is not implemented for `and::And`
[INFO] [stdout]     | 
[INFO] [stdout]    ::: /opt/rustwide/cargo-home/registry/src/github.com-1ecc6299db9ec823/proptest-1.0.0/src/arbitrary/traits.rs:203:20
[INFO] [stdout]     |
[INFO] [stdout] 203 | pub fn any_with<A: Arbitrary>(args: ParamsFor<A>) -> StrategyFor<A> {
[INFO] [stdout]     |                    --------- required by this bound in `proptest::arbitrary::any_with`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0277]: the trait bound `atleast::Atleast: proptest::arbitrary::Arbitrary` is not satisfied
[INFO] [stdout]    --> src/mir/atleast.rs:89:31
[INFO] [stdout]     |
[INFO] [stdout] 89  |         fn ser_roundtrip(v in any_with::<Atleast>(1)) {
[INFO] [stdout]     |                               ^^^^^^^^^^^^^^^^^^^ the trait `proptest::arbitrary::Arbitrary` is not implemented for `atleast::Atleast`
[INFO] [stdout]     | 
[INFO] [stdout]    ::: /opt/rustwide/cargo-home/registry/src/github.com-1ecc6299db9ec823/proptest-1.0.0/src/arbitrary/traits.rs:203:20
[INFO] [stdout]     |
[INFO] [stdout] 203 | pub fn any_with<A: Arbitrary>(args: ParamsFor<A>) -> StrategyFor<A> {
[INFO] [stdout]     |                    --------- required by this bound in `proptest::arbitrary::any_with`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0277]: the trait bound `mir::bin_op::BinOp: proptest::arbitrary::Arbitrary` is not satisfied
[INFO] [stdout]    --> src/mir/bin_op.rs:225:31
[INFO] [stdout]     |
[INFO] [stdout] 225 |         fn ser_roundtrip(v in any::<BinOp>()) {
[INFO] [stdout]     |                               ^^^^^^^^^^^^ the trait `proptest::arbitrary::Arbitrary` is not implemented for `mir::bin_op::BinOp`
[INFO] [stdout]     | 
[INFO] [stdout]    ::: /opt/rustwide/cargo-home/registry/src/github.com-1ecc6299db9ec823/proptest-1.0.0/src/arbitrary/traits.rs:159:15
[INFO] [stdout]     |
[INFO] [stdout] 159 | pub fn any<A: Arbitrary>() -> StrategyFor<A> {
[INFO] [stdout]     |               --------- required by this bound in `proptest::arbitrary::any`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0277]: the trait bound `BlockValue: proptest::arbitrary::Arbitrary` is not satisfied
[INFO] [stdout]    --> src/mir/block.rs:88:35
[INFO] [stdout]     |
[INFO] [stdout] 88  |         fn ser_roundtrip(block in any::<BlockValue>()) {
[INFO] [stdout]     |                                   ^^^^^^^^^^^^^^^^^ the trait `proptest::arbitrary::Arbitrary` is not implemented for `BlockValue`
[INFO] [stdout]     | 
[INFO] [stdout]    ::: /opt/rustwide/cargo-home/registry/src/github.com-1ecc6299db9ec823/proptest-1.0.0/src/arbitrary/traits.rs:159:15
[INFO] [stdout]     |
[INFO] [stdout] 159 | pub fn any<A: Arbitrary>() -> StrategyFor<A> {
[INFO] [stdout]     |               --------- required by this bound in `proptest::arbitrary::any`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0277]: the trait bound `dlog_group::EcPoint: proptest::arbitrary::Arbitrary` is not satisfied
[INFO] [stdout]    --> src/mir/constant.rs:417:41
[INFO] [stdout]     |
[INFO] [stdout] 417 |         fn group_element_roundtrip(v in any::<EcPoint>()) {
[INFO] [stdout]     |                                         ^^^^^^^^^^^^^^ the trait `proptest::arbitrary::Arbitrary` is not implemented for `dlog_group::EcPoint`
[INFO] [stdout]     | 
[INFO] [stdout]    ::: /opt/rustwide/cargo-home/registry/src/github.com-1ecc6299db9ec823/proptest-1.0.0/src/arbitrary/traits.rs:159:15
[INFO] [stdout]     |
[INFO] [stdout] 159 | pub fn any<A: Arbitrary>() -> StrategyFor<A> {
[INFO] [stdout]     |               --------- required by this bound in `proptest::arbitrary::any`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0277]: the trait bound `sigma_boolean::SigmaProp: proptest::arbitrary::Arbitrary` is not satisfied
[INFO] [stdout]    --> src/mir/constant.rs:422:38
[INFO] [stdout]     |
[INFO] [stdout] 422 |         fn sigma_prop_roundtrip(v in any::<SigmaProp>()) {
[INFO] [stdout]     |                                      ^^^^^^^^^^^^^^^^ the trait `proptest::arbitrary::Arbitrary` is not implemented for `sigma_boolean::SigmaProp`
[INFO] [stdout]     | 
[INFO] [stdout]    ::: /opt/rustwide/cargo-home/registry/src/github.com-1ecc6299db9ec823/proptest-1.0.0/src/arbitrary/traits.rs:159:15
[INFO] [stdout]     |
[INFO] [stdout] 159 | pub fn any<A: Arbitrary>() -> StrategyFor<A> {
[INFO] [stdout]     |               --------- required by this bound in `proptest::arbitrary::any`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0277]: the trait bound `sigma_boolean::SigmaProp: proptest::arbitrary::Arbitrary` is not satisfied
[INFO] [stdout]    --> src/mir/constant.rs:464:41
[INFO] [stdout]     |
[INFO] [stdout] 464 |         fn vec_sigmaprop_roundtrip(v in any::<Vec<SigmaProp>>()) {
[INFO] [stdout]     |                                         ^^^^^^^^^^^^^^^^^^^^^^^ the trait `proptest::arbitrary::Arbitrary` is not implemented for `sigma_boolean::SigmaProp`
[INFO] [stdout]     |
[INFO] [stdout]     = note: required because of the requirements on the impl of `proptest::arbitrary::Arbitrary` for `Vec<sigma_boolean::SigmaProp>`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0277]: the trait bound `sigma_boolean::SigmaProp: proptest::arbitrary::Arbitrary` is not satisfied
[INFO] [stdout]    --> src/mir/constant.rs:490:46
[INFO] [stdout]     |
[INFO] [stdout] 490 |         fn tuple_nested_types_roundtrip(v in any::<(Option<i64>, Vec<SigmaProp>)>()) {
[INFO] [stdout]     |                                              ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ the trait `proptest::arbitrary::Arbitrary` is not implemented for `sigma_boolean::SigmaProp`
[INFO] [stdout]     |
[INFO] [stdout]     = note: required because of the requirements on the impl of `proptest::arbitrary::Arbitrary` for `Vec<sigma_boolean::SigmaProp>`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0277]: the trait bound `decode_point::DecodePoint: proptest::arbitrary::Arbitrary` is not satisfied
[INFO] [stdout]    --> src/mir/decode_point.rs:79:31
[INFO] [stdout]     |
[INFO] [stdout] 79  |         fn ser_roundtrip(v in any_with::<DecodePoint>(1)) {
[INFO] [stdout]     |                               ^^^^^^^^^^^^^^^^^^^^^^^ the trait `proptest::arbitrary::Arbitrary` is not implemented for `decode_point::DecodePoint`
[INFO] [stdout]     | 
[INFO] [stdout]    ::: /opt/rustwide/cargo-home/registry/src/github.com-1ecc6299db9ec823/proptest-1.0.0/src/arbitrary/traits.rs:203:20
[INFO] [stdout]     |
[INFO] [stdout] 203 | pub fn any_with<A: Arbitrary>(args: ParamsFor<A>) -> StrategyFor<A> {
[INFO] [stdout]     |                    --------- required by this bound in `proptest::arbitrary::any_with`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0277]: the trait bound `get_var::GetVar: proptest::arbitrary::Arbitrary` is not satisfied
[INFO] [stdout]    --> src/mir/get_var.rs:71:31
[INFO] [stdout]     |
[INFO] [stdout] 71  |         fn ser_roundtrip(v in any::<GetVar>()) {
[INFO] [stdout]     |                               ^^^^^^^^^^^^^ the trait `proptest::arbitrary::Arbitrary` is not implemented for `get_var::GetVar`
[INFO] [stdout]     | 
[INFO] [stdout]    ::: /opt/rustwide/cargo-home/registry/src/github.com-1ecc6299db9ec823/proptest-1.0.0/src/arbitrary/traits.rs:159:15
[INFO] [stdout]     |
[INFO] [stdout] 159 | pub fn any<A: Arbitrary>() -> StrategyFor<A> {
[INFO] [stdout]     |               --------- required by this bound in `proptest::arbitrary::any`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0277]: the trait bound `logical_not::LogicalNot: proptest::arbitrary::Arbitrary` is not satisfied
[INFO] [stdout]    --> src/mir/logical_not.rs:77:31
[INFO] [stdout]     |
[INFO] [stdout] 77  |         fn ser_roundtrip(v in any::<LogicalNot>()) {
[INFO] [stdout]     |                               ^^^^^^^^^^^^^^^^^ the trait `proptest::arbitrary::Arbitrary` is not implemented for `logical_not::LogicalNot`
[INFO] [stdout]     | 
[INFO] [stdout]    ::: /opt/rustwide/cargo-home/registry/src/github.com-1ecc6299db9ec823/proptest-1.0.0/src/arbitrary/traits.rs:159:15
[INFO] [stdout]     |
[INFO] [stdout] 159 | pub fn any<A: Arbitrary>() -> StrategyFor<A> {
[INFO] [stdout]     |               --------- required by this bound in `proptest::arbitrary::any`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0277]: the trait bound `negation::Negation: proptest::arbitrary::Arbitrary` is not satisfied
[INFO] [stdout]    --> src/mir/negation.rs:95:31
[INFO] [stdout]     |
[INFO] [stdout] 95  |         fn ser_roundtrip(v in any::<Negation>()) {
[INFO] [stdout]     |                               ^^^^^^^^^^^^^^^ the trait `proptest::arbitrary::Arbitrary` is not implemented for `negation::Negation`
[INFO] [stdout]     | 
[INFO] [stdout]    ::: /opt/rustwide/cargo-home/registry/src/github.com-1ecc6299db9ec823/proptest-1.0.0/src/arbitrary/traits.rs:159:15
[INFO] [stdout]     |
[INFO] [stdout] 159 | pub fn any<A: Arbitrary>() -> StrategyFor<A> {
[INFO] [stdout]     |               --------- required by this bound in `proptest::arbitrary::any`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0277]: the trait bound `or::Or: proptest::arbitrary::Arbitrary` is not satisfied
[INFO] [stdout]    --> src/mir/or.rs:76:31
[INFO] [stdout]     |
[INFO] [stdout] 76  |         fn ser_roundtrip(v in any_with::<Or>(1)) {
[INFO] [stdout]     |                               ^^^^^^^^^^^^^^ the trait `proptest::arbitrary::Arbitrary` is not implemented for `or::Or`
[INFO] [stdout]     | 
[INFO] [stdout]    ::: /opt/rustwide/cargo-home/registry/src/github.com-1ecc6299db9ec823/proptest-1.0.0/src/arbitrary/traits.rs:203:20
[INFO] [stdout]     |
[INFO] [stdout] 203 | pub fn any_with<A: Arbitrary>(args: ParamsFor<A>) -> StrategyFor<A> {
[INFO] [stdout]     |                    --------- required by this bound in `proptest::arbitrary::any_with`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0277]: the trait bound `sigma_and::SigmaAnd: proptest::arbitrary::Arbitrary` is not satisfied
[INFO] [stdout]    --> src/mir/sigma_and.rs:105:31
[INFO] [stdout]     |
[INFO] [stdout] 105 |         fn ser_roundtrip(v in any::<SigmaAnd>()) {
[INFO] [stdout]     |                               ^^^^^^^^^^^^^^^ the trait `proptest::arbitrary::Arbitrary` is not implemented for `sigma_and::SigmaAnd`
[INFO] [stdout]     | 
[INFO] [stdout]    ::: /opt/rustwide/cargo-home/registry/src/github.com-1ecc6299db9ec823/proptest-1.0.0/src/arbitrary/traits.rs:159:15
[INFO] [stdout]     |
[INFO] [stdout] 159 | pub fn any<A: Arbitrary>() -> StrategyFor<A> {
[INFO] [stdout]     |               --------- required by this bound in `proptest::arbitrary::any`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0277]: the trait bound `sigma_or::SigmaOr: proptest::arbitrary::Arbitrary` is not satisfied
[INFO] [stdout]    --> src/mir/sigma_or.rs:105:31
[INFO] [stdout]     |
[INFO] [stdout] 105 |         fn ser_roundtrip(v in any::<SigmaOr>()) {
[INFO] [stdout]     |                               ^^^^^^^^^^^^^^ the trait `proptest::arbitrary::Arbitrary` is not implemented for `sigma_or::SigmaOr`
[INFO] [stdout]     | 
[INFO] [stdout]    ::: /opt/rustwide/cargo-home/registry/src/github.com-1ecc6299db9ec823/proptest-1.0.0/src/arbitrary/traits.rs:159:15
[INFO] [stdout]     |
[INFO] [stdout] 159 | pub fn any<A: Arbitrary>() -> StrategyFor<A> {
[INFO] [stdout]     |               --------- required by this bound in `proptest::arbitrary::any`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0277]: the trait bound `dlog_group::EcPoint: proptest::arbitrary::Arbitrary` is not satisfied
[INFO] [stdout]    --> src/sigma_protocol/dlog_group.rs:166:31
[INFO] [stdout]     |
[INFO] [stdout] 166 |         fn ser_roundtrip(v in any::<EcPoint>()) {
[INFO] [stdout]     |                               ^^^^^^^^^^^^^^ the trait `proptest::arbitrary::Arbitrary` is not implemented for `dlog_group::EcPoint`
[INFO] [stdout]     | 
[INFO] [stdout]    ::: /opt/rustwide/cargo-home/registry/src/github.com-1ecc6299db9ec823/proptest-1.0.0/src/arbitrary/traits.rs:159:15
[INFO] [stdout]     |
[INFO] [stdout] 159 | pub fn any<A: Arbitrary>() -> StrategyFor<A> {
[INFO] [stdout]     |               --------- required by this bound in `proptest::arbitrary::any`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: aborting due to 37 previous errors
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] Some errors have detailed explanations: E0277, E0432.
[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 38 previous errors
[INFO] running `Command { std: "docker" "inspect" "4849f546fb245a3babc23972ba6589ed5ea21bc9e9a7174850b5f2ee680c772b", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "4849f546fb245a3babc23972ba6589ed5ea21bc9e9a7174850b5f2ee680c772b", kill_on_drop: false }`
[INFO] [stdout] 4849f546fb245a3babc23972ba6589ed5ea21bc9e9a7174850b5f2ee680c772b
