[INFO] fetching crate dleq_vrf 0.0.1... [INFO] checking dleq_vrf-0.0.1 against try#b6bca0d7327839b5e3f7a7779947cb9113d08917+rustflags=-Zstrict-projection-item-bounds for 150662-leaf [INFO] extracting crate dleq_vrf 0.0.1 into /workspace/builds/worker-0-tc2/source [INFO] started tweaking crates.io crate dleq_vrf 0.0.1 [INFO] finished tweaking crates.io crate dleq_vrf 0.0.1 [INFO] tweaked toml for crates.io crate dleq_vrf 0.0.1 written to /workspace/builds/worker-0-tc2/source/Cargo.toml [INFO] validating manifest of crates.io crate dleq_vrf 0.0.1 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] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+b6bca0d7327839b5e3f7a7779947cb9113d08917" "generate-lockfile" "--manifest-path" "Cargo.toml", kill_on_drop: false }` [INFO] [stderr] Updating crates.io index [INFO] [stderr] Locking 50 packages to latest compatible versions [INFO] [stderr] Adding ark-bls12-377 v0.4.0 (available: v0.5.0) [INFO] [stderr] Adding ark-ec v0.4.2 (available: v0.5.0) [INFO] [stderr] Adding ark-ff v0.4.2 (available: v0.5.0) [INFO] [stderr] Adding ark-serialize v0.4.2 (available: v0.5.0) [INFO] [stderr] Adding ark-std v0.4.0 (available: v0.5.0) [INFO] [stderr] Adding ark-transcript v0.0.1 (available: v0.0.5) [INFO] [stderr] Adding generic-array v0.14.7 (available: v0.14.9) [INFO] [stderr] Adding rand_chacha v0.3.1 (available: v0.10.0) [INFO] [stderr] Adding rand_core v0.6.4 (available: v0.10.0) [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] d3bfa898271472dcf49d7d1a60357fe89afb59218d119767c87587ac0b1d0d06 [INFO] running `Command { std: "docker" "start" "-a" "d3bfa898271472dcf49d7d1a60357fe89afb59218d119767c87587ac0b1d0d06", kill_on_drop: false }` [INFO] running `Command { std: "docker" "inspect" "d3bfa898271472dcf49d7d1a60357fe89afb59218d119767c87587ac0b1d0d06", kill_on_drop: false }` [INFO] running `Command { std: "docker" "rm" "-f" "d3bfa898271472dcf49d7d1a60357fe89afb59218d119767c87587ac0b1d0d06", kill_on_drop: false }` [INFO] [stdout] d3bfa898271472dcf49d7d1a60357fe89afb59218d119767c87587ac0b1d0d06 [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] c46fd44e9507f78b60c95c1d0d9c47e6d202055c6f81ed0c44e55795cb5512a8 [INFO] running `Command { std: "docker" "start" "-a" "c46fd44e9507f78b60c95c1d0d9c47e6d202055c6f81ed0c44e55795cb5512a8", kill_on_drop: false }` [INFO] [stderr] Compiling proc-macro2 v1.0.106 [INFO] [stderr] Compiling zerocopy v0.8.48 [INFO] [stderr] Compiling libc v0.2.184 [INFO] [stderr] Compiling syn v1.0.109 [INFO] [stderr] Checking either v1.15.0 [INFO] [stderr] Checking once_cell v1.21.4 [INFO] [stderr] Checking keccak v0.1.6 [INFO] [stderr] Checking arrayvec v0.7.6 [INFO] [stderr] Compiling num-traits v0.2.19 [INFO] [stderr] Compiling quote v1.0.45 [INFO] [stderr] Compiling ahash v0.8.12 [INFO] [stderr] Checking typenum v1.19.0 [INFO] [stderr] Compiling generic-array v0.14.7 [INFO] [stderr] Checking itertools v0.10.5 [INFO] [stderr] Checking num-integer v0.1.46 [INFO] [stderr] Compiling syn v2.0.117 [INFO] [stderr] Checking num-bigint v0.4.6 [INFO] [stderr] Checking getrandom v0.2.17 [INFO] [stderr] Checking rand_core v0.6.4 [INFO] [stderr] Checking block-buffer v0.10.4 [INFO] [stderr] Checking crypto-common v0.1.7 [INFO] [stderr] Checking digest v0.10.7 [INFO] [stderr] Checking sha3 v0.10.8 [INFO] [stderr] Checking ppv-lite86 v0.2.21 [INFO] [stderr] Checking hashbrown v0.13.2 [INFO] [stderr] Compiling ark-serialize-derive v0.4.2 [INFO] [stderr] Compiling ark-ff-asm v0.4.2 [INFO] [stderr] Compiling ark-ff-macros v0.4.2 [INFO] [stderr] Compiling derivative v2.2.0 [INFO] [stderr] Checking rand_chacha v0.3.1 [INFO] [stderr] Checking rand v0.8.5 [INFO] [stderr] Compiling zeroize_derive v1.4.3 [INFO] [stderr] Checking zeroize v1.8.2 [INFO] [stderr] Checking ark-std v0.4.0 [INFO] [stderr] Checking ark-serialize v0.4.2 [INFO] [stderr] Checking ark-ff v0.4.2 [INFO] [stderr] Checking ark-poly v0.4.2 [INFO] [stderr] Checking ark-transcript v0.0.1 [INFO] [stderr] Checking ark-ec v0.4.2 [INFO] [stderr] Checking ark-bls12-377 v0.4.0 [INFO] [stderr] Checking dleq_vrf v0.0.1 (/opt/rustwide/workdir) [INFO] [stdout] warning: unexpected `cfg` condition value: `std` [INFO] [stdout] --> src/lib.rs:3:17 [INFO] [stdout] | [INFO] [stdout] 3 | #![cfg_attr(not(feature = "std"), no_std)] [INFO] [stdout] | ^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = note: expected values for `feature` are: `default` and `getrandom` [INFO] [stdout] = help: consider adding `std` as a feature in `Cargo.toml` [INFO] [stdout] = note: see for more information about checking conditional configuration [INFO] [stdout] = note: `#[warn(unexpected_cfgs)]` on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0277]: the trait bound `::Affine: Neg` is not satisfied [INFO] [stdout] --> src/lib.rs:53:43 [INFO] [stdout] | [INFO] [stdout] 53 | pub const fn small_cofactor_projective() -> bool { [INFO] [stdout] | ^^^^^^^^^^ the trait `Neg` is not implemented for `::Affine` [INFO] [stdout] | [INFO] [stdout] note: required by a bound in `CurveGroup` [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` [INFO] [stdout] | [INFO] [stdout] ::: /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ark-ec-0.4.2/src/lib.rs:123:11 [INFO] [stdout] | [INFO] [stdout] 123 | pub trait CurveGroup: [INFO] [stdout] | ---------- required by a bound in this trait [INFO] [stdout] help: consider further restricting the associated type [INFO] [stdout] | [INFO] [stdout] 53 | pub const fn small_cofactor_projective() -> bool where ::Affine: Neg { [INFO] [stdout] | ++++++++++++++++++++++++++++++++++++ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0277]: the trait bound `::Affine: Neg` is not satisfied [INFO] [stdout] --> src/lib.rs:68:33 [INFO] [stdout] | [INFO] [stdout] 68 | pub fn mul_by_small_cofactor(z: C) -> C { [INFO] [stdout] | ^^^^^^^^^^ the trait `Neg` is not implemented for `::Affine` [INFO] [stdout] | [INFO] [stdout] note: required by a bound in `CurveGroup` [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` [INFO] [stdout] | [INFO] [stdout] ::: /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ark-ec-0.4.2/src/lib.rs:123:11 [INFO] [stdout] | [INFO] [stdout] 123 | pub trait CurveGroup: [INFO] [stdout] | ---------- required by a bound in this trait [INFO] [stdout] help: consider further restricting the associated type [INFO] [stdout] | [INFO] [stdout] 68 | pub fn mul_by_small_cofactor(z: C) -> C where ::Affine: Neg { [INFO] [stdout] | ++++++++++++++++++++++++++++++++++++ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0277]: the trait bound `::Affine: Neg` is not satisfied [INFO] [stdout] --> src/lib.rs:74:35 [INFO] [stdout] | [INFO] [stdout] 74 | pub fn zero_mod_small_cofactor(z: C) -> bool { [INFO] [stdout] | ^^^^^^^^^^ the trait `Neg` is not implemented for `::Affine` [INFO] [stdout] | [INFO] [stdout] note: required by a bound in `CurveGroup` [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` [INFO] [stdout] | [INFO] [stdout] ::: /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ark-ec-0.4.2/src/lib.rs:123:11 [INFO] [stdout] | [INFO] [stdout] 123 | pub trait CurveGroup: [INFO] [stdout] | ---------- required by a bound in this trait [INFO] [stdout] help: consider further restricting the associated type [INFO] [stdout] | [INFO] [stdout] 74 | pub fn zero_mod_small_cofactor(z: C) -> bool where ::Affine: Neg { [INFO] [stdout] | ++++++++++++++++++++++++++++++++++++ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0277]: the trait bound `C: Neg` is not satisfied [INFO] [stdout] --> src/keys.rs:148:28 [INFO] [stdout] | [INFO] [stdout] 148 | debug_assert_eq!(o.into_affine(), { let mut t = rhs.into_group(); self.mul_action(&mut t); t }.into_affine() ); [INFO] [stdout] | ^^^^^^^^^^^ the trait `Neg` is not implemented for `C` [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 `C` with trait `Neg` [INFO] [stdout] | [INFO] [stdout] 141 | impl Mul<&C> for &mut SecretPair<::ScalarField> { [INFO] [stdout] | ++++++++++++++++ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0277]: the trait bound `C: Neg` is not satisfied [INFO] [stdout] --> src/keys.rs:148:104 [INFO] [stdout] | [INFO] [stdout] 148 | debug_assert_eq!(o.into_affine(), { let mut t = rhs.into_group(); self.mul_action(&mut t); t }.into_affine() ); [INFO] [stdout] | - ^^^^^^^^^^^ the trait `Neg` is not implemented for `C` [INFO] [stdout] | | [INFO] [stdout] | this tail expression is of type `::Group` [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 `C` with trait `Neg` [INFO] [stdout] | [INFO] [stdout] 141 | impl Mul<&C> for &mut SecretPair<::ScalarField> { [INFO] [stdout] | ++++++++++++++++ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0277]: the trait bound `C: Neg` is not satisfied [INFO] [stdout] --> src/vrf.rs:55:21 [INFO] [stdout] | [INFO] [stdout] 55 | VrfInput( p.into_affine() ) [INFO] [stdout] | ^^^^^^^^^^^ the trait `Neg` is not implemented for `C` [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 `C` with trait `Neg` [INFO] [stdout] | [INFO] [stdout] 41 | impl IntoVrfInput for T { [INFO] [stdout] | ++++++++++++++++ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0277]: the trait bound `H: Neg` is not satisfied [INFO] [stdout] --> src/vrf.rs:92:47 [INFO] [stdout] | [INFO] [stdout] 92 | VrfPreOut( (&mut self.key * &input.0).into_affine() ) [INFO] [stdout] | ^^^^^^^^^^^ the trait `Neg` is not implemented for `H` [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 `H` with trait `Neg` [INFO] [stdout] | [INFO] [stdout] 90 | where H: AffineRepr + core::ops::Neg, [INFO] [stdout] | ++++++++++++++++ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0277]: the trait bound `C: Neg` is not satisfied [INFO] [stdout] --> src/vrf.rs:289:31 [INFO] [stdout] | [INFO] [stdout] 289 | input: VrfInput(input.into_affine()), [INFO] [stdout] | ^^^^^^^^^^^ the trait `Neg` is not implemented for `C` [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 `C` with trait `Neg` [INFO] [stdout] | [INFO] [stdout] 271 | C: AffineRepr + core::ops::Neg, [INFO] [stdout] | ++++++++++++++++ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0277]: the trait bound `C: Neg` is not satisfied [INFO] [stdout] --> src/vrf.rs:290:40 [INFO] [stdout] | [INFO] [stdout] 290 | preoutput: VrfPreOut(preoutput.into_affine()) [INFO] [stdout] | ^^^^^^^^^^^ the trait `Neg` is not implemented for `C` [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 `C` with trait `Neg` [INFO] [stdout] | [INFO] [stdout] 271 | C: AffineRepr + core::ops::Neg, [INFO] [stdout] | ++++++++++++++++ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0277]: the trait bound `K: Neg` is not satisfied [INFO] [stdout] --> src/thin.rs:76:32 [INFO] [stdout] | [INFO] [stdout] 76 | let r = input.0.mul(k).into_affine(); [INFO] [stdout] | ^^^^^^^^^^^ the trait `Neg` is not implemented for `K` [INFO] [stdout] | [INFO] [stdout] note: the method call chain might not have had the expected associated types [INFO] [stdout] --> src/thin.rs:76:25 [INFO] [stdout] | [INFO] [stdout] 76 | let r = input.0.mul(k).into_affine(); [INFO] [stdout] | ------- ^^^^^^ `CurveGroup::Affine` is `K` here [INFO] [stdout] | | [INFO] [stdout] | this expression has type `K` [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 `K` with trait `Neg` [INFO] [stdout] | [INFO] [stdout] 71 | impl SecretKey { [INFO] [stdout] | ++++++++++++++++ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0277]: the trait bound `K: Neg` is not satisfied [INFO] [stdout] --> src/thin.rs:137:21 [INFO] [stdout] | [INFO] [stdout] 137 | PublicKey(p.into_affine()) [INFO] [stdout] | ^^^^^^^^^^^ the trait `Neg` is not implemented for `K` [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 `K` with trait `Neg` [INFO] [stdout] | [INFO] [stdout] 131 | impl ThinVrf { [INFO] [stdout] | ++++++++++++++++ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0277]: the trait bound `K: Neg` is not satisfied [INFO] [stdout] --> src/pedersen.rs:116:25 [INFO] [stdout] | [INFO] [stdout] 116 | KeyCommitment(b.into_affine()) [INFO] [stdout] | ^^^^^^^^^^^ the trait `Neg` is not implemented for `K` [INFO] [stdout] | [INFO] [stdout] note: the method call chain might not have had the expected associated types [INFO] [stdout] --> src/pedersen.rs:112:30 [INFO] [stdout] | [INFO] [stdout] 112 | let mut b = public.0.into(); [INFO] [stdout] | -------- ^^^^^^ `CurveGroup::Affine` is `K` here [INFO] [stdout] | | [INFO] [stdout] | this expression has type `K` [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 `K` with trait `Neg` [INFO] [stdout] | [INFO] [stdout] 100 | where K: AffineRepr + core::ops::Neg, H: AffineRepr, [INFO] [stdout] | ++++++++++++++++ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0277]: the trait bound `K: Neg` is not satisfied [INFO] [stdout] --> src/pedersen.rs:216:28 [INFO] [stdout] | [INFO] [stdout] 216 | keyish: keyish.into_affine(), [INFO] [stdout] | ^^^^^^^^^^^ the trait `Neg` is not implemented for `K` [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 `K` with trait `Neg` [INFO] [stdout] | [INFO] [stdout] 190 | where K: AffineRepr + core::ops::Neg, H: AffineRepr, [INFO] [stdout] | ++++++++++++++++ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0277]: the trait bound `H: Neg` is not satisfied [INFO] [stdout] --> src/pedersen.rs:217:34 [INFO] [stdout] | [INFO] [stdout] 217 | preoutish: preoutish.into_affine(), [INFO] [stdout] | ^^^^^^^^^^^ the trait `Neg` is not implemented for `H` [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 `H` with trait `Neg` [INFO] [stdout] | [INFO] [stdout] 190 | where K: AffineRepr, H: AffineRepr + core::ops::Neg, [INFO] [stdout] | ++++++++++++++++ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0277]: the trait bound `K: Neg` is not satisfied [INFO] [stdout] --> src/pedersen.rs:389:28 [INFO] [stdout] | [INFO] [stdout] 389 | keyish: keyish.into_affine(), [INFO] [stdout] | ^^^^^^^^^^^ the trait `Neg` is not implemented for `K` [INFO] [stdout] | [INFO] [stdout] note: the method call chain might not have had the expected associated types [INFO] [stdout] --> src/pedersen.rs:383:43 [INFO] [stdout] | [INFO] [stdout] 383 | let mut keyish = self.keying_base.mul(signature.s.keying); [INFO] [stdout] | ---------------- ^^^^^^^^^^^^^^^^^^^^^^^ `CurveGroup::Affine` is `K` here [INFO] [stdout] | | [INFO] [stdout] | this expression has type `K` [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 `K` with trait `Neg` [INFO] [stdout] | [INFO] [stdout] 326 | where K: AffineRepr + core::ops::Neg, H: AffineRepr, [INFO] [stdout] | ++++++++++++++++ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0277]: the trait bound `H: Neg` is not satisfied [INFO] [stdout] --> src/pedersen.rs:390:34 [INFO] [stdout] | [INFO] [stdout] 390 | preoutish: preoutish.into_affine(), [INFO] [stdout] | ^^^^^^^^^^^ the trait `Neg` is not implemented for `H` [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 `H` with trait `Neg` [INFO] [stdout] | [INFO] [stdout] 326 | where K: AffineRepr, H: AffineRepr + core::ops::Neg, [INFO] [stdout] | ++++++++++++++++ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0277]: the trait bound `::Affine: Neg` is not satisfied [INFO] [stdout] --> src/lib.rs:54:38 [INFO] [stdout] | [INFO] [stdout] 54 | let cofactor: &'static [u64] = <::Config as CurveConfig>::COFACTOR; [INFO] [stdout] | ^ the trait `Neg` is not implemented for `::Affine` [INFO] [stdout] | [INFO] [stdout] note: required by a bound in `ark_ec::CurveGroup::Config` [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::Config` [INFO] [stdout] | [INFO] [stdout] ::: /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ark-ec-0.4.2/src/lib.rs:136:10 [INFO] [stdout] | [INFO] [stdout] 136 | type Config: CurveConfig; [INFO] [stdout] | ------ required by a bound in this associated type [INFO] [stdout] help: consider further restricting the associated type [INFO] [stdout] | [INFO] [stdout] 53 | pub const fn small_cofactor_projective() -> bool where ::Affine: Neg { [INFO] [stdout] | ++++++++++++++++++++++++++++++++++++ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0277]: the trait bound `::Affine: Neg` is not satisfied [INFO] [stdout] --> src/lib.rs:70:24 [INFO] [stdout] | [INFO] [stdout] 70 | z.mul_bigint(<::Config as CurveConfig>::COFACTOR) [INFO] [stdout] | ^ the trait `Neg` is not implemented for `::Affine` [INFO] [stdout] | [INFO] [stdout] note: required by a bound in `ark_ec::CurveGroup::Config` [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::Config` [INFO] [stdout] | [INFO] [stdout] ::: /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ark-ec-0.4.2/src/lib.rs:136:10 [INFO] [stdout] | [INFO] [stdout] 136 | type Config: CurveConfig; [INFO] [stdout] | ------ required by a bound in this associated type [INFO] [stdout] help: consider further restricting the associated type [INFO] [stdout] | [INFO] [stdout] 68 | pub fn mul_by_small_cofactor(z: C) -> C where ::Affine: 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 `dleq_vrf` (lib) due to 18 previous errors; 1 warning emitted [INFO] [stderr] warning: build failed, waiting for other jobs to finish... [INFO] running `Command { std: "docker" "inspect" "c46fd44e9507f78b60c95c1d0d9c47e6d202055c6f81ed0c44e55795cb5512a8", kill_on_drop: false }` [INFO] running `Command { std: "docker" "rm" "-f" "c46fd44e9507f78b60c95c1d0d9c47e6d202055c6f81ed0c44e55795cb5512a8", kill_on_drop: false }` [INFO] [stdout] c46fd44e9507f78b60c95c1d0d9c47e6d202055c6f81ed0c44e55795cb5512a8