[INFO] fetching crate smc_range_proof 0.9.0... [INFO] checking smc_range_proof-0.9.0 against try#b6bca0d7327839b5e3f7a7779947cb9113d08917+rustflags=-Zstrict-projection-item-bounds for 150662-leaf [INFO] extracting crate smc_range_proof 0.9.0 into /workspace/builds/worker-0-tc2/source [INFO] started tweaking crates.io crate smc_range_proof 0.9.0 [INFO] finished tweaking crates.io crate smc_range_proof 0.9.0 [INFO] tweaked toml for crates.io crate smc_range_proof 0.9.0 written to /workspace/builds/worker-0-tc2/source/Cargo.toml [INFO] validating manifest of crates.io crate smc_range_proof 0.9.0 on toolchain b6bca0d7327839b5e3f7a7779947cb9113d08917 [INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+b6bca0d7327839b5e3f7a7779947cb9113d08917" "metadata" "--manifest-path" "Cargo.toml" "--no-deps", kill_on_drop: false }` [INFO] crate crates.io crate smc_range_proof 0.9.0 already has a lockfile, it will not be regenerated [INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+b6bca0d7327839b5e3f7a7779947cb9113d08917" "fetch" "--manifest-path" "Cargo.toml", kill_on_drop: false }` [INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-0-tc2/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-0-tc2/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:d429b63d4308055ea97f60fb1d3dfca48854a00942f1bd2ad806beaf015945ec" "/opt/rustwide/cargo-home/bin/cargo" "+b6bca0d7327839b5e3f7a7779947cb9113d08917" "metadata" "--no-deps" "--format-version=1", kill_on_drop: false }` [INFO] [stdout] 16ce30973e5d7a09c4bab003e88a4c56554a86033d3fc16e14910e00da530119 [INFO] running `Command { std: "docker" "start" "-a" "16ce30973e5d7a09c4bab003e88a4c56554a86033d3fc16e14910e00da530119", kill_on_drop: false }` [INFO] running `Command { std: "docker" "inspect" "16ce30973e5d7a09c4bab003e88a4c56554a86033d3fc16e14910e00da530119", kill_on_drop: false }` [INFO] running `Command { std: "docker" "rm" "-f" "16ce30973e5d7a09c4bab003e88a4c56554a86033d3fc16e14910e00da530119", kill_on_drop: false }` [INFO] [stdout] 16ce30973e5d7a09c4bab003e88a4c56554a86033d3fc16e14910e00da530119 [INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-0-tc2/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-0-tc2/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 -Zstrict-projection-item-bounds" "-e" "RUSTDOCFLAGS=--cap-lints=forbid" "-e" "CARGO_HOME=/opt/rustwide/cargo-home" "-e" "RUSTUP_HOME=/opt/rustwide/rustup-home" "-w" "/opt/rustwide/workdir" "-m" "1610612736" "--user" "0:0" "--network" "none" "ghcr.io/rust-lang/crates-build-env/linux@sha256:d429b63d4308055ea97f60fb1d3dfca48854a00942f1bd2ad806beaf015945ec" "/opt/rustwide/cargo-home/bin/cargo" "+b6bca0d7327839b5e3f7a7779947cb9113d08917" "check" "--frozen" "--all" "--all-targets" "--message-format=json", kill_on_drop: false }` [INFO] [stdout] 7bec6469948a8c32b901598907e9608865606e97f5242b4bbccc57c0b594f1ac [INFO] running `Command { std: "docker" "start" "-a" "7bec6469948a8c32b901598907e9608865606e97f5242b4bbccc57c0b594f1ac", kill_on_drop: false }` [INFO] [stderr] Compiling unicode-ident v1.0.11 [INFO] [stderr] Compiling typenum v1.16.0 [INFO] [stderr] Compiling libc v0.2.174 [INFO] [stderr] Compiling num-traits v0.2.19 [INFO] [stderr] Compiling crossbeam-utils v0.8.20 [INFO] [stderr] Compiling crossbeam-epoch v0.9.15 [INFO] [stderr] Compiling num-integer v0.1.45 [INFO] [stderr] Compiling num-bigint v0.4.4 [INFO] [stderr] Compiling proc-macro2 v1.0.95 [INFO] [stderr] Compiling rayon-core v1.11.0 [INFO] [stderr] Checking ppv-lite86 v0.2.17 [INFO] [stderr] Compiling ahash v0.8.11 [INFO] [stderr] Checking zerocopy v0.7.35 [INFO] [stderr] Checking once_cell v1.20.2 [INFO] [stderr] Checking itertools v0.10.5 [INFO] [stderr] Compiling quote v1.0.36 [INFO] [stderr] Checking crossbeam-deque v0.8.3 [INFO] [stderr] Checking crossbeam-channel v0.5.8 [INFO] [stderr] Compiling syn v1.0.109 [INFO] [stderr] Checking getrandom v0.2.15 [INFO] [stderr] Compiling syn v2.0.104 [INFO] [stderr] Checking generic-array v0.14.7 [INFO] [stderr] Checking rand_core v0.6.4 [INFO] [stderr] Checking num_cpus v1.16.0 [INFO] [stderr] Checking rand_chacha v0.3.1 [INFO] [stderr] Checking rand v0.8.5 [INFO] [stderr] Checking crypto-common v0.1.6 [INFO] [stderr] Checking block-buffer v0.10.4 [INFO] [stderr] Checking digest v0.10.7 [INFO] [stderr] Checking rayon v1.7.0 [INFO] [stderr] Compiling serde v1.0.201 [INFO] [stderr] Compiling num-rational v0.4.1 [INFO] [stderr] Checking hashbrown v0.13.2 [INFO] [stderr] Compiling num-iter v0.1.43 [INFO] [stderr] Checking cpufeatures v0.2.9 [INFO] [stderr] Checking hmac v0.12.1 [INFO] [stderr] Checking num-complex v0.4.4 [INFO] [stderr] Checking keccak v0.1.4 [INFO] [stderr] Checking byteorder v1.5.0 [INFO] [stderr] Checking hkdf v0.12.3 [INFO] [stderr] Checking sha2 v0.10.8 [INFO] [stderr] Checking aead v0.5.2 [INFO] [stderr] Checking itertools v0.14.0 [INFO] [stderr] Compiling cc v1.2.31 [INFO] [stderr] Checking num v0.4.1 [INFO] [stderr] Checking inout v0.1.3 [INFO] [stderr] Checking blake2 v0.10.6 [INFO] [stderr] Checking cipher v0.4.4 [INFO] [stderr] Checking aes v0.8.4 [INFO] [stderr] Compiling oblivious_transfer_protocols v0.12.0 [INFO] [stderr] Checking ark-std v0.4.0 [INFO] [stderr] Compiling darling_core v0.13.4 [INFO] [stderr] Compiling ark-serialize-derive v0.4.2 [INFO] [stderr] Compiling ark-ff-macros v0.4.2 [INFO] [stderr] Compiling ark-ff-asm v0.4.2 [INFO] [stderr] Compiling derivative v2.2.0 [INFO] [stderr] Checking ark-serialize v0.4.2 [INFO] [stderr] Compiling zeroize_derive v1.4.2 [INFO] [stderr] Compiling serde_derive v1.0.201 [INFO] [stderr] Compiling darling_macro v0.13.4 [INFO] [stderr] Compiling darling v0.13.4 [INFO] [stderr] Checking zeroize v1.8.1 [INFO] [stderr] Compiling serde_with_macros v1.5.2 [INFO] [stderr] Checking ark-ff v0.4.2 [INFO] [stderr] Checking dock_merlin v3.0.0 [INFO] [stderr] Checking serde_with v1.14.0 [INFO] [stderr] Checking ark-poly v0.4.2 [INFO] [stderr] Checking ark-ec v0.4.2 [INFO] [stderr] Checking dock_crypto_utils v0.23.0 [INFO] [stderr] Checking ark-bls12-381 v0.4.0 [INFO] [stderr] Checking schnorr_pok v0.23.0 [INFO] [stderr] Checking secret_sharing_and_dkg v0.16.0 [INFO] [stderr] Checking short_group_sig v0.7.0 [INFO] [stderr] Checking smc_range_proof v0.9.0 (/opt/rustwide/workdir) [INFO] [stdout] error[E0277]: the trait bound `::G1Affine: Neg` is not satisfied [INFO] [stdout] --> src/ccs_range_proof/arbitrary_range.rs:177:43 [INFO] [stdout] | [INFO] [stdout] 177 | V_min: E::G1::normalize_batch(&V_min), [INFO] [stdout] | ---------------------- ^^^^^^ the trait `Neg` is not implemented for `::G1Affine` [INFO] [stdout] | | [INFO] [stdout] | required by a bound introduced by this call [INFO] [stdout] | [INFO] [stdout] note: required by a bound in `normalize_batch` [INFO] [stdout] --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ark-ec-0.4.2/src/scalar_mul/mod.rs:41:11 [INFO] [stdout] | [INFO] [stdout] 41 | + Neg; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^ required by this bound in `CurveGroup::normalize_batch` [INFO] [stdout] | [INFO] [stdout] ::: /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ark-ec-0.4.2/src/lib.rs:154:8 [INFO] [stdout] | [INFO] [stdout] 154 | fn normalize_batch(v: &[Self]) -> Vec; [INFO] [stdout] | --------------- required by a bound in this associated function [INFO] [stdout] help: consider further restricting the associated type [INFO] [stdout] | [INFO] [stdout] 102 | ) -> Result where ::G1Affine: Neg { [INFO] [stdout] | +++++++++++++++++++++++++++++++++++ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0277]: the trait bound `::G1Affine: Neg` is not satisfied [INFO] [stdout] --> src/ccs_range_proof/arbitrary_range.rs:178:43 [INFO] [stdout] | [INFO] [stdout] 178 | V_max: E::G1::normalize_batch(&V_max), [INFO] [stdout] | ---------------------- ^^^^^^ the trait `Neg` is not implemented for `::G1Affine` [INFO] [stdout] | | [INFO] [stdout] | required by a bound introduced by this call [INFO] [stdout] | [INFO] [stdout] note: required by a bound in `normalize_batch` [INFO] [stdout] --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ark-ec-0.4.2/src/scalar_mul/mod.rs:41:11 [INFO] [stdout] | [INFO] [stdout] 41 | + Neg; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^ required by this bound in `CurveGroup::normalize_batch` [INFO] [stdout] | [INFO] [stdout] ::: /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ark-ec-0.4.2/src/lib.rs:154:8 [INFO] [stdout] | [INFO] [stdout] 154 | fn normalize_batch(v: &[Self]) -> Vec; [INFO] [stdout] | --------------- required by a bound in this associated function [INFO] [stdout] help: consider further restricting the associated type [INFO] [stdout] | [INFO] [stdout] 102 | ) -> Result where ::G1Affine: Neg { [INFO] [stdout] | +++++++++++++++++++++++++++++++++++ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0277]: the trait bound `::G1Affine: Neg` is not satisfied [INFO] [stdout] --> src/ccs_range_proof/arbitrary_range.rs:177:43 [INFO] [stdout] | [INFO] [stdout] 177 | V_min: E::G1::normalize_batch(&V_min), [INFO] [stdout] | ---------------------- ^^^^^^ the trait `Neg` is not implemented for `::G1Affine` [INFO] [stdout] | | [INFO] [stdout] | required by a bound introduced by this call [INFO] [stdout] | [INFO] [stdout] note: required by a bound in `normalize_batch` [INFO] [stdout] --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ark-ec-0.4.2/src/scalar_mul/mod.rs:41:11 [INFO] [stdout] | [INFO] [stdout] 41 | + Neg; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^ required by this bound in `CurveGroup::normalize_batch` [INFO] [stdout] | [INFO] [stdout] ::: /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ark-ec-0.4.2/src/lib.rs:154:8 [INFO] [stdout] | [INFO] [stdout] 154 | fn normalize_batch(v: &[Self]) -> Vec; [INFO] [stdout] | --------------- required by a bound in this associated function [INFO] [stdout] help: consider further restricting the associated type [INFO] [stdout] | [INFO] [stdout] 102 | ) -> Result where ::G1Affine: Neg { [INFO] [stdout] | +++++++++++++++++++++++++++++++++++ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0277]: the trait bound `::G1Affine: Neg` is not satisfied [INFO] [stdout] --> src/ccs_range_proof/arbitrary_range.rs:178:43 [INFO] [stdout] | [INFO] [stdout] 178 | V_max: E::G1::normalize_batch(&V_max), [INFO] [stdout] | ---------------------- ^^^^^^ the trait `Neg` is not implemented for `::G1Affine` [INFO] [stdout] | | [INFO] [stdout] | required by a bound introduced by this call [INFO] [stdout] | [INFO] [stdout] note: required by a bound in `normalize_batch` [INFO] [stdout] --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ark-ec-0.4.2/src/scalar_mul/mod.rs:41:11 [INFO] [stdout] | [INFO] [stdout] 41 | + Neg; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^ required by this bound in `CurveGroup::normalize_batch` [INFO] [stdout] | [INFO] [stdout] ::: /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ark-ec-0.4.2/src/lib.rs:154:8 [INFO] [stdout] | [INFO] [stdout] 154 | fn normalize_batch(v: &[Self]) -> Vec; [INFO] [stdout] | --------------- required by a bound in this associated function [INFO] [stdout] help: consider further restricting the associated type [INFO] [stdout] | [INFO] [stdout] 102 | ) -> Result where ::G1Affine: Neg { [INFO] [stdout] | +++++++++++++++++++++++++++++++++++ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0277]: the trait bound `::G1Affine: Neg` is not satisfied [INFO] [stdout] --> src/ccs_range_proof/perfect_range.rs:111:39 [INFO] [stdout] | [INFO] [stdout] 111 | V: E::G1::normalize_batch(&V), [INFO] [stdout] | ---------------------- ^^ the trait `Neg` is not implemented for `::G1Affine` [INFO] [stdout] | | [INFO] [stdout] | required by a bound introduced by this call [INFO] [stdout] | [INFO] [stdout] note: required by a bound in `normalize_batch` [INFO] [stdout] --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ark-ec-0.4.2/src/scalar_mul/mod.rs:41:11 [INFO] [stdout] | [INFO] [stdout] 41 | + Neg; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^ required by this bound in `CurveGroup::normalize_batch` [INFO] [stdout] | [INFO] [stdout] ::: /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ark-ec-0.4.2/src/lib.rs:154:8 [INFO] [stdout] | [INFO] [stdout] 154 | fn normalize_batch(v: &[Self]) -> Vec; [INFO] [stdout] | --------------- required by a bound in this associated function [INFO] [stdout] help: consider further restricting the associated type [INFO] [stdout] | [INFO] [stdout] 81 | ) -> Result where ::G1Affine: Neg { [INFO] [stdout] | +++++++++++++++++++++++++++++++++++ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0277]: the trait bound `G: Neg` is not satisfied [INFO] [stdout] --> src/ccs_range_proof/util.rs:33:6 [INFO] [stdout] | [INFO] [stdout] 33 | .into_affine() [INFO] [stdout] | ^^^^^^^^^^^ the trait `Neg` is not implemented for `G` [INFO] [stdout] | [INFO] [stdout] note: required by a bound in `into_affine` [INFO] [stdout] --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ark-ec-0.4.2/src/scalar_mul/mod.rs:41:11 [INFO] [stdout] | [INFO] [stdout] 41 | + Neg; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^ required by this bound in `CurveGroup::into_affine` [INFO] [stdout] | [INFO] [stdout] ::: /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ark-ec-0.4.2/src/lib.rs:157:8 [INFO] [stdout] | [INFO] [stdout] 157 | fn into_affine(self) -> Self::Affine { [INFO] [stdout] | ----------- required by a bound in this associated function [INFO] [stdout] help: consider further restricting type parameter `G` with trait `Neg` [INFO] [stdout] | [INFO] [stdout] 6 | pub(super) fn check_commitment_for_arbitrary_range( [INFO] [stdout] | +++++++++++++++ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0277]: the trait bound `G: Neg` is not satisfied [INFO] [stdout] --> src/ccs_range_proof/util.rs:43:6 [INFO] [stdout] | [INFO] [stdout] 43 | .into_affine() [INFO] [stdout] | ^^^^^^^^^^^ the trait `Neg` is not implemented for `G` [INFO] [stdout] | [INFO] [stdout] note: required by a bound in `into_affine` [INFO] [stdout] --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ark-ec-0.4.2/src/scalar_mul/mod.rs:41:11 [INFO] [stdout] | [INFO] [stdout] 41 | + Neg; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^ required by this bound in `CurveGroup::into_affine` [INFO] [stdout] | [INFO] [stdout] ::: /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ark-ec-0.4.2/src/lib.rs:157:8 [INFO] [stdout] | [INFO] [stdout] 157 | fn into_affine(self) -> Self::Affine { [INFO] [stdout] | ----------- required by a bound in this associated function [INFO] [stdout] help: consider further restricting type parameter `G` with trait `Neg` [INFO] [stdout] | [INFO] [stdout] 6 | pub(super) fn check_commitment_for_arbitrary_range( [INFO] [stdout] | +++++++++++++++ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0277]: the trait bound `G: Neg` is not satisfied [INFO] [stdout] --> src/ccs_range_proof/util.rs:61:10 [INFO] [stdout] | [INFO] [stdout] 61 | .into_affine() [INFO] [stdout] | ^^^^^^^^^^^ the trait `Neg` is not implemented for `G` [INFO] [stdout] | [INFO] [stdout] note: required by a bound in `into_affine` [INFO] [stdout] --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ark-ec-0.4.2/src/scalar_mul/mod.rs:41:11 [INFO] [stdout] | [INFO] [stdout] 41 | + Neg; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^ required by this bound in `CurveGroup::into_affine` [INFO] [stdout] | [INFO] [stdout] ::: /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ark-ec-0.4.2/src/lib.rs:157:8 [INFO] [stdout] | [INFO] [stdout] 157 | fn into_affine(self) -> Self::Affine { [INFO] [stdout] | ----------- required by a bound in this associated function [INFO] [stdout] help: consider further restricting type parameter `G` with trait `Neg` [INFO] [stdout] | [INFO] [stdout] 51 | pub(super) fn check_commitment_for_prefect_range( [INFO] [stdout] | +++++++++++++++ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0277]: the trait bound `::G1Affine: Neg` is not satisfied [INFO] [stdout] --> src/ccs_set_membership/batch_members.rs:79:39 [INFO] [stdout] | [INFO] [stdout] 79 | V: E::G1::normalize_batch(&V), [INFO] [stdout] | ---------------------- ^^ the trait `Neg` is not implemented for `::G1Affine` [INFO] [stdout] | | [INFO] [stdout] | required by a bound introduced by this call [INFO] [stdout] | [INFO] [stdout] note: required by a bound in `normalize_batch` [INFO] [stdout] --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ark-ec-0.4.2/src/scalar_mul/mod.rs:41:11 [INFO] [stdout] | [INFO] [stdout] 41 | + Neg; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^ required by this bound in `CurveGroup::normalize_batch` [INFO] [stdout] | [INFO] [stdout] ::: /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ark-ec-0.4.2/src/lib.rs:154:8 [INFO] [stdout] | [INFO] [stdout] 154 | fn normalize_batch(v: &[Self]) -> Vec; [INFO] [stdout] | --------------- required by a bound in this associated function [INFO] [stdout] help: consider further restricting the associated type [INFO] [stdout] | [INFO] [stdout] 54 | ) -> Result where ::G1Affine: Neg { [INFO] [stdout] | +++++++++++++++++++++++++++++++++++ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0277]: the trait bound `::G1Affine: Neg` is not satisfied [INFO] [stdout] --> src/ccs_set_membership/batch_members.rs:174:18 [INFO] [stdout] | [INFO] [stdout] 174 | .into_affine() [INFO] [stdout] | ^^^^^^^^^^^ the trait `Neg` is not implemented for `::G1Affine` [INFO] [stdout] | [INFO] [stdout] note: required by a bound in `into_affine` [INFO] [stdout] --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ark-ec-0.4.2/src/scalar_mul/mod.rs:41:11 [INFO] [stdout] | [INFO] [stdout] 41 | + Neg; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^ required by this bound in `CurveGroup::into_affine` [INFO] [stdout] | [INFO] [stdout] ::: /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ark-ec-0.4.2/src/lib.rs:157:8 [INFO] [stdout] | [INFO] [stdout] 157 | fn into_affine(self) -> Self::Affine { [INFO] [stdout] | ----------- required by a bound in this associated function [INFO] [stdout] help: consider further restricting the associated type [INFO] [stdout] | [INFO] [stdout] 162 | ) -> Result<(), SmcRangeProofError> where ::G1Affine: Neg { [INFO] [stdout] | +++++++++++++++++++++++++++++++++++ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0277]: the trait bound `::G1Affine: Neg` is not satisfied [INFO] [stdout] --> src/ccs_set_membership/single_member.rs:140:14 [INFO] [stdout] | [INFO] [stdout] 140 | .into_affine() [INFO] [stdout] | ^^^^^^^^^^^ the trait `Neg` is not implemented for `::G1Affine` [INFO] [stdout] | [INFO] [stdout] note: required by a bound in `into_affine` [INFO] [stdout] --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ark-ec-0.4.2/src/scalar_mul/mod.rs:41:11 [INFO] [stdout] | [INFO] [stdout] 41 | + Neg; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^ required by this bound in `CurveGroup::into_affine` [INFO] [stdout] | [INFO] [stdout] ::: /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ark-ec-0.4.2/src/lib.rs:157:8 [INFO] [stdout] | [INFO] [stdout] 157 | fn into_affine(self) -> Self::Affine { [INFO] [stdout] | ----------- required by a bound in this associated function [INFO] [stdout] help: consider further restricting the associated type [INFO] [stdout] | [INFO] [stdout] 137 | ) -> Result<(), SmcRangeProofError> where ::G1Affine: Neg { [INFO] [stdout] | +++++++++++++++++++++++++++++++++++ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0277]: the trait bound `G: Neg` is not satisfied [INFO] [stdout] --> src/cls_range_proof/util.rs:58:6 [INFO] [stdout] | [INFO] [stdout] 58 | .into_affine() [INFO] [stdout] | ^^^^^^^^^^^ the trait `Neg` is not implemented for `G` [INFO] [stdout] | [INFO] [stdout] note: required by a bound in `into_affine` [INFO] [stdout] --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ark-ec-0.4.2/src/scalar_mul/mod.rs:41:11 [INFO] [stdout] | [INFO] [stdout] 41 | + Neg; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^ required by this bound in `CurveGroup::into_affine` [INFO] [stdout] | [INFO] [stdout] ::: /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ark-ec-0.4.2/src/lib.rs:157:8 [INFO] [stdout] | [INFO] [stdout] 157 | fn into_affine(self) -> Self::Affine { [INFO] [stdout] | ----------- required by a bound in this associated function [INFO] [stdout] help: consider further restricting type parameter `G` with trait `Neg` [INFO] [stdout] | [INFO] [stdout] 29 | pub(super) fn check_commitment( [INFO] [stdout] | +++++++++++++++ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0277]: the trait bound `::G1Affine: Neg` is not satisfied [INFO] [stdout] --> src/ccs_range_proof/perfect_range.rs:111:39 [INFO] [stdout] | [INFO] [stdout] 111 | V: E::G1::normalize_batch(&V), [INFO] [stdout] | ---------------------- ^^ the trait `Neg` is not implemented for `::G1Affine` [INFO] [stdout] | | [INFO] [stdout] | required by a bound introduced by this call [INFO] [stdout] | [INFO] [stdout] note: required by a bound in `normalize_batch` [INFO] [stdout] --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ark-ec-0.4.2/src/scalar_mul/mod.rs:41:11 [INFO] [stdout] | [INFO] [stdout] 41 | + Neg; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^ required by this bound in `CurveGroup::normalize_batch` [INFO] [stdout] | [INFO] [stdout] ::: /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ark-ec-0.4.2/src/lib.rs:154:8 [INFO] [stdout] | [INFO] [stdout] 154 | fn normalize_batch(v: &[Self]) -> Vec; [INFO] [stdout] | --------------- required by a bound in this associated function [INFO] [stdout] help: consider further restricting the associated type [INFO] [stdout] | [INFO] [stdout] 81 | ) -> Result where ::G1Affine: Neg { [INFO] [stdout] | +++++++++++++++++++++++++++++++++++ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0277]: the trait bound `::G1Affine: Neg` is not satisfied [INFO] [stdout] --> src/cls_range_proof/range_proof.rs:134:39 [INFO] [stdout] | [INFO] [stdout] 134 | V: E::G1::normalize_batch(&V), [INFO] [stdout] | ---------------------- ^^ the trait `Neg` is not implemented for `::G1Affine` [INFO] [stdout] | | [INFO] [stdout] | required by a bound introduced by this call [INFO] [stdout] | [INFO] [stdout] note: required by a bound in `normalize_batch` [INFO] [stdout] --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ark-ec-0.4.2/src/scalar_mul/mod.rs:41:11 [INFO] [stdout] | [INFO] [stdout] 41 | + Neg; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^ required by this bound in `CurveGroup::normalize_batch` [INFO] [stdout] | [INFO] [stdout] ::: /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ark-ec-0.4.2/src/lib.rs:154:8 [INFO] [stdout] | [INFO] [stdout] 154 | fn normalize_batch(v: &[Self]) -> Vec; [INFO] [stdout] | --------------- required by a bound in this associated function [INFO] [stdout] help: consider further restricting the associated type [INFO] [stdout] | [INFO] [stdout] 82 | ) -> Result where ::G1Affine: Neg { [INFO] [stdout] | +++++++++++++++++++++++++++++++++++ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0277]: the trait bound `G: Neg` is not satisfied [INFO] [stdout] --> src/ccs_range_proof/util.rs:33:6 [INFO] [stdout] | [INFO] [stdout] 33 | .into_affine() [INFO] [stdout] | ^^^^^^^^^^^ the trait `Neg` is not implemented for `G` [INFO] [stdout] | [INFO] [stdout] note: required by a bound in `into_affine` [INFO] [stdout] --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ark-ec-0.4.2/src/scalar_mul/mod.rs:41:11 [INFO] [stdout] | [INFO] [stdout] 41 | + Neg; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^ required by this bound in `CurveGroup::into_affine` [INFO] [stdout] | [INFO] [stdout] ::: /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ark-ec-0.4.2/src/lib.rs:157:8 [INFO] [stdout] | [INFO] [stdout] 157 | fn into_affine(self) -> Self::Affine { [INFO] [stdout] | ----------- required by a bound in this associated function [INFO] [stdout] help: consider further restricting type parameter `G` with trait `Neg` [INFO] [stdout] | [INFO] [stdout] 6 | pub(super) fn check_commitment_for_arbitrary_range( [INFO] [stdout] | +++++++++++++++ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0277]: the trait bound `G: Neg` is not satisfied [INFO] [stdout] --> src/ccs_range_proof/util.rs:43:6 [INFO] [stdout] | [INFO] [stdout] 43 | .into_affine() [INFO] [stdout] | ^^^^^^^^^^^ the trait `Neg` is not implemented for `G` [INFO] [stdout] | [INFO] [stdout] note: required by a bound in `into_affine` [INFO] [stdout] --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ark-ec-0.4.2/src/scalar_mul/mod.rs:41:11 [INFO] [stdout] | [INFO] [stdout] 41 | + Neg; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^ required by this bound in `CurveGroup::into_affine` [INFO] [stdout] | [INFO] [stdout] ::: /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ark-ec-0.4.2/src/lib.rs:157:8 [INFO] [stdout] | [INFO] [stdout] 157 | fn into_affine(self) -> Self::Affine { [INFO] [stdout] | ----------- required by a bound in this associated function [INFO] [stdout] help: consider further restricting type parameter `G` with trait `Neg` [INFO] [stdout] | [INFO] [stdout] 6 | pub(super) fn check_commitment_for_arbitrary_range( [INFO] [stdout] | +++++++++++++++ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0277]: the trait bound `G: Neg` is not satisfied [INFO] [stdout] --> src/ccs_range_proof/util.rs:61:10 [INFO] [stdout] | [INFO] [stdout] 61 | .into_affine() [INFO] [stdout] | ^^^^^^^^^^^ the trait `Neg` is not implemented for `G` [INFO] [stdout] | [INFO] [stdout] note: required by a bound in `into_affine` [INFO] [stdout] --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ark-ec-0.4.2/src/scalar_mul/mod.rs:41:11 [INFO] [stdout] | [INFO] [stdout] 41 | + Neg; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^ required by this bound in `CurveGroup::into_affine` [INFO] [stdout] | [INFO] [stdout] ::: /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ark-ec-0.4.2/src/lib.rs:157:8 [INFO] [stdout] | [INFO] [stdout] 157 | fn into_affine(self) -> Self::Affine { [INFO] [stdout] | ----------- required by a bound in this associated function [INFO] [stdout] help: consider further restricting type parameter `G` with trait `Neg` [INFO] [stdout] | [INFO] [stdout] 51 | pub(super) fn check_commitment_for_prefect_range( [INFO] [stdout] | +++++++++++++++ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0277]: the trait bound `::G1Affine: Neg` is not satisfied [INFO] [stdout] --> src/ccs_set_membership/batch_members.rs:79:39 [INFO] [stdout] | [INFO] [stdout] 79 | V: E::G1::normalize_batch(&V), [INFO] [stdout] | ---------------------- ^^ the trait `Neg` is not implemented for `::G1Affine` [INFO] [stdout] | | [INFO] [stdout] | required by a bound introduced by this call [INFO] [stdout] | [INFO] [stdout] note: required by a bound in `normalize_batch` [INFO] [stdout] --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ark-ec-0.4.2/src/scalar_mul/mod.rs:41:11 [INFO] [stdout] | [INFO] [stdout] 41 | + Neg; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^ required by this bound in `CurveGroup::normalize_batch` [INFO] [stdout] | [INFO] [stdout] ::: /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ark-ec-0.4.2/src/lib.rs:154:8 [INFO] [stdout] | [INFO] [stdout] 154 | fn normalize_batch(v: &[Self]) -> Vec; [INFO] [stdout] | --------------- required by a bound in this associated function [INFO] [stdout] help: consider further restricting the associated type [INFO] [stdout] | [INFO] [stdout] 54 | ) -> Result where ::G1Affine: Neg { [INFO] [stdout] | +++++++++++++++++++++++++++++++++++ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0277]: the trait bound `::G1Affine: Neg` is not satisfied [INFO] [stdout] --> src/ccs_set_membership/batch_members.rs:174:18 [INFO] [stdout] | [INFO] [stdout] 174 | .into_affine() [INFO] [stdout] | ^^^^^^^^^^^ the trait `Neg` is not implemented for `::G1Affine` [INFO] [stdout] | [INFO] [stdout] note: required by a bound in `into_affine` [INFO] [stdout] --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ark-ec-0.4.2/src/scalar_mul/mod.rs:41:11 [INFO] [stdout] | [INFO] [stdout] 41 | + Neg; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^ required by this bound in `CurveGroup::into_affine` [INFO] [stdout] | [INFO] [stdout] ::: /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ark-ec-0.4.2/src/lib.rs:157:8 [INFO] [stdout] | [INFO] [stdout] 157 | fn into_affine(self) -> Self::Affine { [INFO] [stdout] | ----------- required by a bound in this associated function [INFO] [stdout] help: consider further restricting the associated type [INFO] [stdout] | [INFO] [stdout] 162 | ) -> Result<(), SmcRangeProofError> where ::G1Affine: Neg { [INFO] [stdout] | +++++++++++++++++++++++++++++++++++ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0277]: the trait bound `::G1Affine: Neg` is not satisfied [INFO] [stdout] --> src/ccs_set_membership/single_member.rs:140:14 [INFO] [stdout] | [INFO] [stdout] 140 | .into_affine() [INFO] [stdout] | ^^^^^^^^^^^ the trait `Neg` is not implemented for `::G1Affine` [INFO] [stdout] | [INFO] [stdout] note: required by a bound in `into_affine` [INFO] [stdout] --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ark-ec-0.4.2/src/scalar_mul/mod.rs:41:11 [INFO] [stdout] | [INFO] [stdout] 41 | + Neg; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^ required by this bound in `CurveGroup::into_affine` [INFO] [stdout] | [INFO] [stdout] ::: /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ark-ec-0.4.2/src/lib.rs:157:8 [INFO] [stdout] | [INFO] [stdout] 157 | fn into_affine(self) -> Self::Affine { [INFO] [stdout] | ----------- required by a bound in this associated function [INFO] [stdout] help: consider further restricting the associated type [INFO] [stdout] | [INFO] [stdout] 137 | ) -> Result<(), SmcRangeProofError> where ::G1Affine: Neg { [INFO] [stdout] | +++++++++++++++++++++++++++++++++++ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0277]: the trait bound `G: Neg` is not satisfied [INFO] [stdout] --> src/cls_range_proof/util.rs:58:6 [INFO] [stdout] | [INFO] [stdout] 58 | .into_affine() [INFO] [stdout] | ^^^^^^^^^^^ the trait `Neg` is not implemented for `G` [INFO] [stdout] | [INFO] [stdout] note: required by a bound in `into_affine` [INFO] [stdout] --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ark-ec-0.4.2/src/scalar_mul/mod.rs:41:11 [INFO] [stdout] | [INFO] [stdout] 41 | + Neg; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^ required by this bound in `CurveGroup::into_affine` [INFO] [stdout] | [INFO] [stdout] ::: /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ark-ec-0.4.2/src/lib.rs:157:8 [INFO] [stdout] | [INFO] [stdout] 157 | fn into_affine(self) -> Self::Affine { [INFO] [stdout] | ----------- required by a bound in this associated function [INFO] [stdout] help: consider further restricting type parameter `G` with trait `Neg` [INFO] [stdout] | [INFO] [stdout] 29 | pub(super) fn check_commitment( [INFO] [stdout] | +++++++++++++++ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0277]: the trait bound `::G1Affine: Neg` is not satisfied [INFO] [stdout] --> src/cls_range_proof/range_proof.rs:134:39 [INFO] [stdout] | [INFO] [stdout] 134 | V: E::G1::normalize_batch(&V), [INFO] [stdout] | ---------------------- ^^ the trait `Neg` is not implemented for `::G1Affine` [INFO] [stdout] | | [INFO] [stdout] | required by a bound introduced by this call [INFO] [stdout] | [INFO] [stdout] note: required by a bound in `normalize_batch` [INFO] [stdout] --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ark-ec-0.4.2/src/scalar_mul/mod.rs:41:11 [INFO] [stdout] | [INFO] [stdout] 41 | + Neg; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^ required by this bound in `CurveGroup::normalize_batch` [INFO] [stdout] | [INFO] [stdout] ::: /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ark-ec-0.4.2/src/lib.rs:154:8 [INFO] [stdout] | [INFO] [stdout] 154 | fn normalize_batch(v: &[Self]) -> Vec; [INFO] [stdout] | --------------- required by a bound in this associated function [INFO] [stdout] help: consider further restricting the associated type [INFO] [stdout] | [INFO] [stdout] 82 | ) -> Result where ::G1Affine: Neg { [INFO] [stdout] | +++++++++++++++++++++++++++++++++++ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] For more information about this error, try `rustc --explain E0277`. [INFO] [stdout] [INFO] [stderr] error: could not compile `smc_range_proof` (lib) due to 11 previous errors [INFO] [stderr] warning: build failed, waiting for other jobs to finish... [INFO] [stdout] For more information about this error, try `rustc --explain E0277`. [INFO] [stdout] [INFO] [stderr] error: could not compile `smc_range_proof` (lib test) due to 11 previous errors [INFO] running `Command { std: "docker" "inspect" "7bec6469948a8c32b901598907e9608865606e97f5242b4bbccc57c0b594f1ac", kill_on_drop: false }` [INFO] running `Command { std: "docker" "rm" "-f" "7bec6469948a8c32b901598907e9608865606e97f5242b4bbccc57c0b594f1ac", kill_on_drop: false }` [INFO] [stdout] 7bec6469948a8c32b901598907e9608865606e97f5242b4bbccc57c0b594f1ac