[INFO] fetching crate ergotree-ir 0.13.3... [INFO] checking ergotree-ir-0.13.3 against try#a7a572ce3edd6d476191fbfe92c9c1986e009b34 for pr-87190-3 [INFO] extracting crate ergotree-ir 0.13.3 into /workspace/builds/worker-19/source [INFO] validating manifest of crates.io crate ergotree-ir 0.13.3 on toolchain a7a572ce3edd6d476191fbfe92c9c1986e009b34 [INFO] running `Command { std: "/workspace/cargo-home/bin/cargo" "+a7a572ce3edd6d476191fbfe92c9c1986e009b34" "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-19/source/Cargo.toml [INFO] running `Command { std: "/workspace/cargo-home/bin/cargo" "+a7a572ce3edd6d476191fbfe92c9c1986e009b34" "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" "+a7a572ce3edd6d476191fbfe92c9c1986e009b34" "fetch" "--manifest-path" "Cargo.toml", 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] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-19/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-19/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" "+a7a572ce3edd6d476191fbfe92c9c1986e009b34" "metadata" "--no-deps" "--format-version=1", kill_on_drop: false }` [INFO] [stdout] 1d9cd2a7da8e908c3d9768a172c648a36aca455b3e616c6105a5fe1234fb5da6 [INFO] running `Command { std: "docker" "start" "-a" "1d9cd2a7da8e908c3d9768a172c648a36aca455b3e616c6105a5fe1234fb5da6", kill_on_drop: false }` [INFO] running `Command { std: "docker" "inspect" "1d9cd2a7da8e908c3d9768a172c648a36aca455b3e616c6105a5fe1234fb5da6", kill_on_drop: false }` [INFO] running `Command { std: "docker" "rm" "-f" "1d9cd2a7da8e908c3d9768a172c648a36aca455b3e616c6105a5fe1234fb5da6", kill_on_drop: false }` [INFO] [stdout] 1d9cd2a7da8e908c3d9768a172c648a36aca455b3e616c6105a5fe1234fb5da6 [INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-19/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-19/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:34b6a614d2c27851fe6cbf88fbd1137609cefab8b10d0615aaeb6fd47975d74e" "/opt/rustwide/cargo-home/bin/cargo" "+a7a572ce3edd6d476191fbfe92c9c1986e009b34" "check" "--frozen" "--all" "--all-targets" "--message-format=json", kill_on_drop: false }` [INFO] [stdout] 220cfbbc0432cc7f1390d06ff02cc02b89bcbbfb40c8f5a908e7aacd5b851b78 [INFO] running `Command { std: "docker" "start" "-a" "220cfbbc0432cc7f1390d06ff02cc02b89bcbbfb40c8f5a908e7aacd5b851b78", kill_on_drop: false }` [INFO] [stderr] Copying to /tmp/fixit [INFO] [stderr] Running `cargo fix --edition` [INFO] [stderr] note: Switching to Edition 2021 will enable the use of the version 2 feature resolver in Cargo. [INFO] [stderr] This may cause some dependencies to be built with fewer features enabled than previously. [INFO] [stderr] More information about the resolver changes may be found at https://doc.rust-lang.org/nightly/edition-guide/rust-2021/default-cargo-resolver.html [INFO] [stderr] When building the following dependencies, the given features will no longer be used: [INFO] [stderr] [INFO] [stderr] libc v0.2.100: default, std [INFO] [stderr] rand_core v0.6.3: alloc, getrandom, std [INFO] [stderr] [INFO] [stderr] Compiling libc v0.2.100 [INFO] [stderr] Checking cfg-if v1.0.0 [INFO] [stderr] Compiling version_check v0.9.3 [INFO] [stderr] Compiling typenum v1.13.0 [INFO] [stderr] Checking subtle v2.4.1 [INFO] [stderr] Compiling autocfg v1.0.1 [INFO] [stderr] Compiling proc-macro2 v1.0.28 [INFO] [stderr] Checking ppv-lite86 v0.2.10 [INFO] [stderr] Compiling unicode-xid v0.2.2 [INFO] [stderr] Compiling syn v1.0.75 [INFO] [stderr] Checking radium v0.3.0 [INFO] [stderr] Compiling proc-macro2 v0.4.30 [INFO] [stderr] Checking const-oid v0.4.5 [INFO] [stderr] Checking opaque-debug v0.3.0 [INFO] [stderr] Compiling unicode-xid v0.1.0 [INFO] [stderr] Checking zeroize v1.4.1 [INFO] [stderr] Compiling syn v0.15.44 [INFO] [stderr] Checking remove_dir_all v0.5.3 [INFO] [stderr] Checking cpufeatures v0.1.5 [INFO] [stderr] Checking bit-vec v0.6.3 [INFO] [stderr] Checking byteorder v1.4.3 [INFO] [stderr] Checking bitflags v1.3.2 [INFO] [stderr] Checking quick-error v2.0.1 [INFO] [stderr] Checking bs58 v0.4.0 [INFO] [stderr] Checking bounded-vec v0.3.0 [INFO] [stderr] Checking base16 v0.2.1 [INFO] [stderr] Checking bitvec v0.20.4 [INFO] [stderr] Checking der v0.1.0 [INFO] [stderr] Checking bitvec v0.18.5 [INFO] [stderr] Checking bit-set v0.5.2 [INFO] [stderr] Compiling generic-array v0.14.4 [INFO] [stderr] Checking pkcs8 v0.3.3 [INFO] [stderr] Compiling num-traits v0.2.14 [INFO] [stderr] Compiling num-integer v0.1.44 [INFO] [stderr] Compiling num-bigint v0.4.0 [INFO] [stderr] Compiling quote v0.6.13 [INFO] [stderr] Checking getrandom v0.2.3 [INFO] [stderr] Checking getrandom v0.1.16 [INFO] [stderr] Checking wait-timeout v0.2.0 [INFO] [stderr] Compiling quote v1.0.9 [INFO] [stderr] Checking rand_core v0.5.1 [INFO] [stderr] Checking rand_core v0.6.3 [INFO] [stderr] Checking rand_chacha v0.2.2 [INFO] [stderr] Checking rand_chacha v0.3.1 [INFO] [stderr] Checking rand_xorshift v0.3.0 [INFO] [stderr] Checking rand v0.7.3 [INFO] [stderr] Checking rand v0.8.4 [INFO] [stderr] Checking digest v0.9.0 [INFO] [stderr] Checking crypto-mac v0.10.1 [INFO] [stderr] Checking block-buffer v0.9.0 [INFO] [stderr] Checking crypto-mac v0.8.0 [INFO] [stderr] Checking hmac v0.10.1 [INFO] [stderr] Checking signature v1.2.2 [INFO] [stderr] Checking blake2 v0.9.1 [INFO] [stderr] Checking sha2 v0.9.5 [INFO] [stderr] Checking ff v0.8.0 [INFO] [stderr] Checking sigma-util v0.2.1 [INFO] [stderr] Checking group v0.8.0 [INFO] [stderr] Checking elliptic-curve v0.8.5 [INFO] [stderr] Checking tempfile v3.2.0 [INFO] [stderr] Checking ff v0.9.0 [INFO] [stderr] Checking rusty-fork v0.3.0 [INFO] [stderr] Checking group v0.9.0 [INFO] [stderr] Checking ecdsa v0.10.2 [INFO] [stderr] Checking elliptic-curve v0.9.12 [INFO] [stderr] Checking proptest v1.0.0 [INFO] [stderr] Checking k256 v0.7.3 [INFO] [stderr] Compiling proptest-derive v0.3.0 [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] Checking thiserror v1.0.26 [INFO] [stderr] Checking sigma-test-util v0.2.0 [INFO] [stderr] Checking sigma-ser v0.2.3 [INFO] [stderr] Checking ergotree-ir v0.13.3 (/tmp/fixit) [INFO] [stderr] Migrating src/lib.rs from 2018 edition to 2021 [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::(), vec(any::(), 1..10)) [INFO] [stdout] | ^^^^^^^^^^^ the trait `proptest::arbitrary::Arbitrary` is not implemented for `mir::expr::Expr` [INFO] [stdout] | [INFO] [stdout] note: required by a bound in `proptest::arbitrary::any` [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:94:33 [INFO] [stdout] | [INFO] [stdout] 94 | (any::(), vec(any::(), 1..10)) [INFO] [stdout] | ^^^^^^^^^^^ the trait `proptest::arbitrary::Arbitrary` is not implemented for `mir::expr::Expr` [INFO] [stdout] | [INFO] [stdout] note: required by a bound in `proptest::arbitrary::any` [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:110:13 [INFO] [stdout] | [INFO] [stdout] 110 | force_any_val_with::(ArbExprParams { [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^ the trait `proptest::arbitrary::Arbitrary` is not implemented for `mir::expr::Expr` [INFO] [stdout] | [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.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:114:13 [INFO] [stdout] | [INFO] [stdout] 114 | force_any_val_with::(ArbExprParams { [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^ the trait `proptest::arbitrary::Arbitrary` is not implemented for `mir::expr::Expr` [INFO] [stdout] | [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.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:125:13 [INFO] [stdout] | [INFO] [stdout] 125 | force_any_val_with::(ArbExprParams { [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^ the trait `proptest::arbitrary::Arbitrary` is not implemented for `mir::expr::Expr` [INFO] [stdout] | [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.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:129:13 [INFO] [stdout] | [INFO] [stdout] 129 | force_any_val_with::(ArbExprParams { [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^ the trait `proptest::arbitrary::Arbitrary` is not implemented for `mir::expr::Expr` [INFO] [stdout] | [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.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 `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::(); [INFO] [stdout] | ^^^^^^^^^ the trait `proptest::arbitrary::Arbitrary` is not implemented for `ProveDlog` [INFO] [stdout] | [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.2.0/src/lib.rs:5:25 [INFO] [stdout] | [INFO] [stdout] 5 | pub fn force_any_val() -> 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::(); [INFO] [stdout] | ^^^^^^^^^ the trait `proptest::arbitrary::Arbitrary` is not implemented for `ProveDlog` [INFO] [stdout] | [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.2.0/src/lib.rs:5:25 [INFO] [stdout] | [INFO] [stdout] 5 | pub fn force_any_val() -> 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::(); [INFO] [stdout] | ^^^^^^^^^ the trait `proptest::arbitrary::Arbitrary` is not implemented for `ProveDlog` [INFO] [stdout] | [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.2.0/src/lib.rs:5:25 [INFO] [stdout] | [INFO] [stdout] 5 | pub fn force_any_val() -> 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::(); [INFO] [stdout] | ^^^^^^^^^ the trait `proptest::arbitrary::Arbitrary` is not implemented for `ProveDlog` [INFO] [stdout] | [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.2.0/src/lib.rs:5:25 [INFO] [stdout] | [INFO] [stdout] 5 | pub fn force_any_val() -> 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::(); [INFO] [stdout] | ^^^^^^^^^ the trait `proptest::arbitrary::Arbitrary` is not implemented for `ProveDlog` [INFO] [stdout] | [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.2.0/src/lib.rs:5:25 [INFO] [stdout] | [INFO] [stdout] 5 | pub fn force_any_val() -> 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::(); [INFO] [stdout] | ^^^^^^^^^ the trait `proptest::arbitrary::Arbitrary` is not implemented for `ProveDlog` [INFO] [stdout] | [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.2.0/src/lib.rs:5:25 [INFO] [stdout] | [INFO] [stdout] 5 | pub fn force_any_val() -> 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::(); [INFO] [stdout] | ^^^^^^^^^ the trait `proptest::arbitrary::Arbitrary` is not implemented for `ProveDlog` [INFO] [stdout] | [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.2.0/src/lib.rs:5:25 [INFO] [stdout] | [INFO] [stdout] 5 | pub fn force_any_val() -> 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::(); [INFO] [stdout] | ^^^^^^^^^ the trait `proptest::arbitrary::Arbitrary` is not implemented for `ProveDlog` [INFO] [stdout] | [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.2.0/src/lib.rs:5:25 [INFO] [stdout] | [INFO] [stdout] 5 | pub fn force_any_val() -> 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::
()) { [INFO] [stdout] | ^^^^^^^^^^^^^^ the trait `proptest::arbitrary::Arbitrary` is not implemented for `address::Address` [INFO] [stdout] | [INFO] [stdout] note: required by a bound in `proptest::arbitrary::any` [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:440:36 [INFO] [stdout] | [INFO] [stdout] 440 | fn recreate_roundtrip(v in any::
()) { [INFO] [stdout] | ^^^^^^^^^^^^^^ the trait `proptest::arbitrary::Arbitrary` is not implemented for `address::Address` [INFO] [stdout] | [INFO] [stdout] note: required by a bound in `proptest::arbitrary::any` [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: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 `and::And` [INFO] [stdout] | [INFO] [stdout] note: required by a bound in `proptest::arbitrary::any_with` [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:89:31 [INFO] [stdout] | [INFO] [stdout] 89 | 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] note: required by a bound in `proptest::arbitrary::any_with` [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:225:31 [INFO] [stdout] | [INFO] [stdout] 225 | 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] note: required by a bound in `proptest::arbitrary::any` [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] note: required by a bound in `proptest::arbitrary::any` [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:417:41 [INFO] [stdout] | [INFO] [stdout] 417 | 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] note: required by a bound in `proptest::arbitrary::any` [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:422:38 [INFO] [stdout] | [INFO] [stdout] 422 | 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] note: required by a bound in `proptest::arbitrary::any` [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:464:41 [INFO] [stdout] | [INFO] [stdout] 464 | 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:490:46 [INFO] [stdout] | [INFO] [stdout] 490 | 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:79:31 [INFO] [stdout] | [INFO] [stdout] 79 | 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] note: required by a bound in `proptest::arbitrary::any_with` [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:71:31 [INFO] [stdout] | [INFO] [stdout] 71 | fn ser_roundtrip(v in any::()) { [INFO] [stdout] | ^^^^^^^^^^^^^ the trait `proptest::arbitrary::Arbitrary` is not implemented for `get_var::GetVar` [INFO] [stdout] | [INFO] [stdout] note: required by a bound in `proptest::arbitrary::any` [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:77:31 [INFO] [stdout] | [INFO] [stdout] 77 | fn ser_roundtrip(v in any::()) { [INFO] [stdout] | ^^^^^^^^^^^^^^^^^ the trait `proptest::arbitrary::Arbitrary` is not implemented for `logical_not::LogicalNot` [INFO] [stdout] | [INFO] [stdout] note: required by a bound in `proptest::arbitrary::any` [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:95:31 [INFO] [stdout] | [INFO] [stdout] 95 | fn ser_roundtrip(v in any::()) { [INFO] [stdout] | ^^^^^^^^^^^^^^^ the trait `proptest::arbitrary::Arbitrary` is not implemented for `negation::Negation` [INFO] [stdout] | [INFO] [stdout] note: required by a bound in `proptest::arbitrary::any` [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:76:31 [INFO] [stdout] | [INFO] [stdout] 76 | 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] note: required by a bound in `proptest::arbitrary::any_with` [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:105:31 [INFO] [stdout] | [INFO] [stdout] 105 | fn ser_roundtrip(v in any::()) { [INFO] [stdout] | ^^^^^^^^^^^^^^^ the trait `proptest::arbitrary::Arbitrary` is not implemented for `sigma_and::SigmaAnd` [INFO] [stdout] | [INFO] [stdout] note: required by a bound in `proptest::arbitrary::any` [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:105:31 [INFO] [stdout] | [INFO] [stdout] 105 | fn ser_roundtrip(v in any::()) { [INFO] [stdout] | ^^^^^^^^^^^^^^ the trait `proptest::arbitrary::Arbitrary` is not implemented for `sigma_or::SigmaOr` [INFO] [stdout] | [INFO] [stdout] note: required by a bound in `proptest::arbitrary::any` [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:166:31 [INFO] [stdout] | [INFO] [stdout] 166 | fn ser_roundtrip(v in any::()) { [INFO] [stdout] | ^^^^^^^^^^^^^^ the trait `proptest::arbitrary::Arbitrary` is not implemented for `dlog_group::EcPoint` [INFO] [stdout] | [INFO] [stdout] note: required by a bound in `proptest::arbitrary::any` [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 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] [stderr] warning: build failed, waiting for other jobs to finish... [INFO] [stderr] error: build failed [INFO] [stderr] error: failed to migrate to next edition [INFO] [stderr] [INFO] [stderr] Caused by: [INFO] [stderr] process didn't exit successfully: `cargo fix --edition --allow-no-vcs --allow-dirty --frozen --all --all-targets --message-format=json` (exit status: 101) [INFO] running `Command { std: "docker" "inspect" "220cfbbc0432cc7f1390d06ff02cc02b89bcbbfb40c8f5a908e7aacd5b851b78", kill_on_drop: false }` [INFO] running `Command { std: "docker" "rm" "-f" "220cfbbc0432cc7f1390d06ff02cc02b89bcbbfb40c8f5a908e7aacd5b851b78", kill_on_drop: false }` [INFO] [stdout] 220cfbbc0432cc7f1390d06ff02cc02b89bcbbfb40c8f5a908e7aacd5b851b78