[INFO] fetching crate ergotree-ir 0.10.0... [INFO] checking ergotree-ir-0.10.0 against try#b20a093d9fb1ffaa04ae9852cb034864a992bafd for pr-85073 [INFO] extracting crate ergotree-ir 0.10.0 into /workspace/builds/worker-3/source [INFO] validating manifest of crates.io crate ergotree-ir 0.10.0 on toolchain b20a093d9fb1ffaa04ae9852cb034864a992bafd [INFO] running `Command { std: "/workspace/cargo-home/bin/cargo" "+b20a093d9fb1ffaa04ae9852cb034864a992bafd" "metadata" "--manifest-path" "Cargo.toml" "--no-deps", kill_on_drop: false }` [INFO] started tweaking crates.io crate ergotree-ir 0.10.0 [INFO] finished tweaking crates.io crate ergotree-ir 0.10.0 [INFO] tweaked toml for crates.io crate ergotree-ir 0.10.0 written to /workspace/builds/worker-3/source/Cargo.toml [INFO] running `Command { std: "/workspace/cargo-home/bin/cargo" "+b20a093d9fb1ffaa04ae9852cb034864a992bafd" "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" "+b20a093d9fb1ffaa04ae9852cb034864a992bafd" "fetch" "--manifest-path" "Cargo.toml", kill_on_drop: false }` [INFO] [stderr] Downloading crates ... [INFO] [stderr] Downloaded sigma-util v0.2.0 [INFO] [stderr] Downloaded sigma-ser v0.2.0 [INFO] [stderr] Downloaded sigma-test-util v0.2.0 [INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-3/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-3/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:20528e8c29e4536546f0102ce88568b16ea7538393a33fcca951030f7af10457" "/opt/rustwide/cargo-home/bin/cargo" "+b20a093d9fb1ffaa04ae9852cb034864a992bafd" "metadata" "--no-deps" "--format-version=1", kill_on_drop: false }` [INFO] [stdout] 810b92811449d0f68c11883821bc486b939407fc27f1992990deaf0f9cae2151 [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" "810b92811449d0f68c11883821bc486b939407fc27f1992990deaf0f9cae2151", kill_on_drop: false }` [INFO] running `Command { std: "docker" "inspect" "810b92811449d0f68c11883821bc486b939407fc27f1992990deaf0f9cae2151", kill_on_drop: false }` [INFO] running `Command { std: "docker" "rm" "-f" "810b92811449d0f68c11883821bc486b939407fc27f1992990deaf0f9cae2151", kill_on_drop: false }` [INFO] [stdout] 810b92811449d0f68c11883821bc486b939407fc27f1992990deaf0f9cae2151 [INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-3/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-3/source:/opt/rustwide/workdir:ro,Z" "-v" "/var/lib/crater-agent-workspace/cargo-home:/opt/rustwide/cargo-home:ro,Z" "-v" "/var/lib/crater-agent-workspace/rustup-home:/opt/rustwide/rustup-home:ro,Z" "-e" "SOURCE_DIR=/opt/rustwide/workdir" "-e" "CARGO_TARGET_DIR=/opt/rustwide/target" "-e" "CARGO_INCREMENTAL=0" "-e" "RUST_BACKTRACE=full" "-e" "RUSTFLAGS=--cap-lints=forbid" "-e" "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:20528e8c29e4536546f0102ce88568b16ea7538393a33fcca951030f7af10457" "/opt/rustwide/cargo-home/bin/cargo" "+b20a093d9fb1ffaa04ae9852cb034864a992bafd" "check" "--frozen" "--all" "--all-targets" "--message-format=json", kill_on_drop: false }` [INFO] [stdout] 8133933fdab0ffd255f2c887f120fb1ff4e6b4ef03baef09e47ce53c5fac8197 [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" "8133933fdab0ffd255f2c887f120fb1ff4e6b4ef03baef09e47ce53c5fac8197", kill_on_drop: false }` [INFO] [stderr] Compiling typenum v1.13.0 [INFO] [stderr] Checking ppv-lite86 v0.2.10 [INFO] [stderr] Compiling getrandom v0.1.16 [INFO] [stderr] Compiling syn v1.0.72 [INFO] [stderr] Compiling proc-macro2 v0.4.30 [INFO] [stderr] Compiling unicode-xid v0.1.0 [INFO] [stderr] Checking remove_dir_all v0.5.3 [INFO] [stderr] Checking opaque-debug v0.3.0 [INFO] [stderr] Checking zeroize v1.3.0 [INFO] [stderr] Checking const-oid v0.1.0 [INFO] [stderr] Compiling convert_case v0.4.0 [INFO] [stderr] Checking byteorder v1.4.3 [INFO] [stderr] Checking quick-error v2.0.1 [INFO] [stderr] Checking base16 v0.2.1 [INFO] [stderr] Checking bs58 v0.4.0 [INFO] [stderr] Compiling generic-array v0.14.4 [INFO] [stderr] Compiling num-bigint v0.4.0 [INFO] [stderr] Checking bit-set v0.5.2 [INFO] [stderr] Checking libc v0.2.94 [INFO] [stderr] Checking getrandom v0.2.3 [INFO] [stderr] Checking wait-timeout v0.2.0 [INFO] [stderr] Checking rand_core v0.6.2 [INFO] [stderr] Checking rand_core v0.5.1 [INFO] [stderr] Compiling quote v0.6.13 [INFO] [stderr] Checking rand_chacha v0.3.0 [INFO] [stderr] Checking rand_xorshift v0.3.0 [INFO] [stderr] Checking rand_chacha v0.2.2 [INFO] [stderr] Compiling syn v0.15.44 [INFO] [stderr] Checking rand v0.7.3 [INFO] [stderr] Checking rand v0.8.3 [INFO] [stderr] Checking crypto-mac v0.8.0 [INFO] [stderr] Checking digest v0.9.0 [INFO] [stderr] Checking elliptic-curve v0.5.0 [INFO] [stderr] Checking blake2 v0.9.1 [INFO] [stderr] Checking k256 v0.4.2 [INFO] [stderr] Checking sigma-util v0.2.0 [INFO] [stderr] Checking tempfile v3.2.0 [INFO] [stderr] Checking rusty-fork v0.3.0 [INFO] [stderr] Checking proptest v1.0.0 [INFO] [stderr] Compiling thiserror-impl v1.0.25 [INFO] [stderr] Compiling derive_more v0.99.14 [INFO] [stderr] Compiling impl-trait-for-tuples v0.2.1 [INFO] [stderr] Compiling proptest-derive v0.3.0 [INFO] [stderr] Checking thiserror v1.0.25 [INFO] [stderr] Checking sigma-ser v0.2.0 [INFO] [stderr] Checking sigma-test-util v0.2.0 [INFO] [stderr] Checking ergotree-ir v0.10.0 (/opt/rustwide/workdir) [INFO] [stdout] error[E0432]: unresolved import `crate::mir::expr::arbitrary` [INFO] [stdout] --> src/serialization/bin_op.rs:91:27 [INFO] [stdout] | [INFO] [stdout] 91 | 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:80:30 [INFO] [stdout] | [INFO] [stdout] 80 | 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: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] [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 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[E0277]: the trait bound `mir::expr::Expr: proptest::arbitrary::Arbitrary` is not satisfied [INFO] [stdout] --> src/mir/apply.rs:93:14 [INFO] [stdout] | [INFO] [stdout] 93 | (any::(), vec(any::(), 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() -> StrategyFor { [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:93:33 [INFO] [stdout] | [INFO] [stdout] 93 | (any::(), vec(any::(), 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() -> StrategyFor { [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:109:13 [INFO] [stdout] | [INFO] [stdout] 109 | force_any_val_with::(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(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:113:13 [INFO] [stdout] | [INFO] [stdout] 113 | force_any_val_with::(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(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:124:13 [INFO] [stdout] | [INFO] [stdout] 124 | force_any_val_with::(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(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:128:13 [INFO] [stdout] | [INFO] [stdout] 128 | force_any_val_with::(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(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 `address::Address: proptest::arbitrary::Arbitrary` is not satisfied [INFO] [stdout] --> src/address.rs:429:31 [INFO] [stdout] | [INFO] [stdout] 429 | fn str_roundtrip(v in any::
()) { [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() -> StrategyFor { [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:437:36 [INFO] [stdout] | [INFO] [stdout] 437 | fn recreate_roundtrip(v in any::
()) { [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() -> StrategyFor { [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:78:31 [INFO] [stdout] | [INFO] [stdout] 78 | fn ser_roundtrip(v in any_with::(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(args: ParamsFor) -> StrategyFor { [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:90:31 [INFO] [stdout] | [INFO] [stdout] 90 | fn ser_roundtrip(v in any_with::(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(args: ParamsFor) -> StrategyFor { [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:210:31 [INFO] [stdout] | [INFO] [stdout] 210 | fn ser_roundtrip(v in any::()) { [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() -> StrategyFor { [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::()) { [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() -> StrategyFor { [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:414:41 [INFO] [stdout] | [INFO] [stdout] 414 | fn group_element_roundtrip(v in any::()) { [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() -> StrategyFor { [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:419:38 [INFO] [stdout] | [INFO] [stdout] 419 | fn sigma_prop_roundtrip(v in any::()) { [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() -> StrategyFor { [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:461:41 [INFO] [stdout] | [INFO] [stdout] 461 | fn vec_sigmaprop_roundtrip(v in any::>()) { [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` [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:487:46 [INFO] [stdout] | [INFO] [stdout] 487 | fn tuple_nested_types_roundtrip(v in any::<(Option, Vec)>()) { [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` [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:78:31 [INFO] [stdout] | [INFO] [stdout] 78 | fn ser_roundtrip(v in any_with::(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(args: ParamsFor) -> StrategyFor { [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:72:31 [INFO] [stdout] | [INFO] [stdout] 72 | fn ser_roundtrip(v in any::()) { [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() -> StrategyFor { [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:76:31 [INFO] [stdout] | [INFO] [stdout] 76 | fn ser_roundtrip(v in any::()) { [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() -> StrategyFor { [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:100:31 [INFO] [stdout] | [INFO] [stdout] 100 | fn ser_roundtrip(v in any::()) { [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() -> StrategyFor { [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:77:31 [INFO] [stdout] | [INFO] [stdout] 77 | fn ser_roundtrip(v in any_with::(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(args: ParamsFor) -> StrategyFor { [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:76:31 [INFO] [stdout] | [INFO] [stdout] 76 | fn ser_roundtrip(v in any::()) { [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() -> StrategyFor { [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:76:31 [INFO] [stdout] | [INFO] [stdout] 76 | fn ser_roundtrip(v in any::()) { [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() -> StrategyFor { [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:165:31 [INFO] [stdout] | [INFO] [stdout] 165 | fn ser_roundtrip(v in any::()) { [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() -> StrategyFor { [INFO] [stdout] | --------- required by this bound in `proptest::arbitrary::any` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: aborting due to 29 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` [INFO] [stderr] [INFO] [stderr] To learn more, run the command again with --verbose. [INFO] [stderr] warning: build failed, waiting for other jobs to finish... [INFO] [stderr] error: build failed [INFO] running `Command { std: "docker" "inspect" "8133933fdab0ffd255f2c887f120fb1ff4e6b4ef03baef09e47ce53c5fac8197", kill_on_drop: false }` [INFO] running `Command { std: "docker" "rm" "-f" "8133933fdab0ffd255f2c887f120fb1ff4e6b4ef03baef09e47ce53c5fac8197", kill_on_drop: false }` [INFO] [stdout] 8133933fdab0ffd255f2c887f120fb1ff4e6b4ef03baef09e47ce53c5fac8197