[INFO] fetching crate ark-curve-constraint-tests 0.5.0...
[INFO] checking ark-curve-constraint-tests-0.5.0 against try#b6bca0d7327839b5e3f7a7779947cb9113d08917+rustflags=-Zstrict-projection-item-bounds for 150662-leaf
[INFO] extracting crate ark-curve-constraint-tests 0.5.0 into /workspace/builds/worker-0-tc2/source
[INFO] started tweaking crates.io crate ark-curve-constraint-tests 0.5.0
[INFO] finished tweaking crates.io crate ark-curve-constraint-tests 0.5.0
[INFO] tweaked toml for crates.io crate ark-curve-constraint-tests 0.5.0 written to /workspace/builds/worker-0-tc2/source/Cargo.toml
[INFO] validating manifest of crates.io crate ark-curve-constraint-tests 0.5.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] 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]     Blocking waiting for file lock on package cache
[INFO] [stderr]      Locking 50 packages to latest compatible versions
[INFO] [stderr]       Adding generic-array v0.14.7 (available: v0.14.9)
[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] 6fb27d3599da40330c90a7b38f78bb0c7b5a677969b0c92ebd9f5ece00a6dbb2
[INFO] running `Command { std: "docker" "start" "-a" "6fb27d3599da40330c90a7b38f78bb0c7b5a677969b0c92ebd9f5ece00a6dbb2", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "inspect" "6fb27d3599da40330c90a7b38f78bb0c7b5a677969b0c92ebd9f5ece00a6dbb2", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "6fb27d3599da40330c90a7b38f78bb0c7b5a677969b0c92ebd9f5ece00a6dbb2", kill_on_drop: false }`
[INFO] [stdout] 6fb27d3599da40330c90a7b38f78bb0c7b5a677969b0c92ebd9f5ece00a6dbb2
[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] eaafa44fa28e2d056137f8527a6e4824215ed1a2f8aef848155dec497b2ea9b5
[INFO] running `Command { std: "docker" "start" "-a" "eaafa44fa28e2d056137f8527a6e4824215ed1a2f8aef848155dec497b2ea9b5", kill_on_drop: false }`
[INFO] [stderr]     Checking rand_core v0.6.4
[INFO] [stderr]     Checking once_cell v1.21.4
[INFO] [stderr]     Checking tracing-core v0.1.36
[INFO] [stderr]     Checking itertools v0.13.0
[INFO] [stderr]     Checking hashbrown v0.15.5
[INFO] [stderr]    Compiling num-traits v0.2.19
[INFO] [stderr]    Compiling syn v2.0.117
[INFO] [stderr]     Checking crypto-common v0.1.7
[INFO] [stderr]     Checking digest v0.10.7
[INFO] [stderr]     Checking ahash v0.8.12
[INFO] [stderr]     Checking rand_chacha v0.3.1
[INFO] [stderr]     Checking rand v0.8.5
[INFO] [stderr]    Compiling num-integer v0.1.46
[INFO] [stderr]    Compiling num-bigint v0.4.6
[INFO] [stderr]     Checking ark-std v0.5.0
[INFO] [stderr]    Compiling enum-ordinalize-derive v4.3.2
[INFO] [stderr]    Compiling ark-serialize-derive v0.5.0
[INFO] [stderr]    Compiling zeroize_derive v1.4.3
[INFO] [stderr]    Compiling ark-ff-asm v0.5.0
[INFO] [stderr]    Compiling ark-ff-macros v0.5.0
[INFO] [stderr]    Compiling tracing-attributes v0.1.31
[INFO] [stderr]     Checking zeroize v1.8.2
[INFO] [stderr]    Compiling enum-ordinalize v4.3.2
[INFO] [stderr]     Checking ark-serialize v0.5.0
[INFO] [stderr]    Compiling educe v0.6.0
[INFO] [stderr]     Checking tracing v0.1.44
[INFO] [stderr]     Checking ark-ff v0.5.0
[INFO] [stderr]     Checking ark-poly v0.5.0
[INFO] [stderr]     Checking ark-relations v0.5.1
[INFO] [stderr]     Checking ark-ec v0.5.0
[INFO] [stderr]     Checking ark-r1cs-std v0.5.0
[INFO] [stderr]     Checking ark-curve-constraint-tests v0.5.0 (/opt/rustwide/workdir)
[INFO] [stdout] error[E0271]: type mismatch resolving `<<C as CurveGroup>::Affine as Neg>::Output == <C as CurveGroup>::Affine`
[INFO] [stdout]    --> src/lib.rs:238:12
[INFO] [stdout]     |
[INFO] [stdout] 238 |         C: CurveGroup,
[INFO] [stdout]     |            ^^^^^^^^^^ expected `ark_ec::CurveGroup::Affine`, found `std::ops::Neg::Output`
[INFO] [stdout]     |
[INFO] [stdout]     = note: expected associated type `<C as CurveGroup>::Affine`
[INFO] [stdout]                found associated type `<<C as CurveGroup>::Affine as Neg>::Output`
[INFO] [stdout]     = note: an associated type was expected, but a different one was found
[INFO] [stdout] note: required by a bound in `CurveGroup`
[INFO] [stdout]    --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ark-ec-0.5.0/src/scalar_mul/mod.rs:82:15
[INFO] [stdout]     |
[INFO] [stdout]  82 |         + Neg<Output = Self::MulBase>
[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.5.0/src/lib.rs:78:11
[INFO] [stdout]     |
[INFO] [stdout]  78 | pub trait CurveGroup:
[INFO] [stdout]     |           ---------- required by a bound in this trait
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0271]: type mismatch resolving `<<C as CurveGroup>::Affine as Neg>::Output == <C as CurveGroup>::Affine`
[INFO] [stdout]    --> src/lib.rs:238:12
[INFO] [stdout]     |
[INFO] [stdout] 238 |         C: CurveGroup,
[INFO] [stdout]     |            ^^^^^^^^^^ expected `ark_ec::CurveGroup::Affine`, found `std::ops::Neg::Output`
[INFO] [stdout]     |
[INFO] [stdout]     = note: expected associated type `<C as CurveGroup>::Affine`
[INFO] [stdout]                found associated type `<<C as CurveGroup>::Affine as Neg>::Output`
[INFO] [stdout]     = note: an associated type was expected, but a different one was found
[INFO] [stdout] note: required by a bound in `CurveGroup`
[INFO] [stdout]    --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ark-ec-0.5.0/src/scalar_mul/mod.rs:82:15
[INFO] [stdout]     |
[INFO] [stdout]  82 |         + Neg<Output = Self::MulBase>
[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.5.0/src/lib.rs:78:11
[INFO] [stdout]     |
[INFO] [stdout]  78 | pub trait CurveGroup:
[INFO] [stdout]     |           ---------- required by a bound in this trait
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0271]: type mismatch resolving `<<C as CurveGroup>::Affine as Neg>::Output == <C as CurveGroup>::Affine`
[INFO] [stdout]    --> src/lib.rs:348:51
[INFO] [stdout]     |
[INFO] [stdout] 348 |                 let native_result = native_result.into_affine();
[INFO] [stdout]     |                                                   ^^^^^^^^^^^ expected `ark_ec::CurveGroup::Affine`, found `std::ops::Neg::Output`
[INFO] [stdout]     |
[INFO] [stdout]     = note: expected associated type `<C as CurveGroup>::Affine`
[INFO] [stdout]                found associated type `<<C as CurveGroup>::Affine as Neg>::Output`
[INFO] [stdout]     = note: an associated type was expected, but a different one was found
[INFO] [stdout] note: the method call chain might not have had the expected associated types
[INFO] [stdout]    --> src/lib.rs:347:46
[INFO] [stdout]     |
[INFO] [stdout] 252 |             let a_native = C::rand(&mut rng);
[INFO] [stdout]     |                            ----------------- this expression has type `C`
[INFO] [stdout] ...
[INFO] [stdout] 347 |                 let native_result = a_native.mul_bigint(scalar);
[INFO] [stdout]     |                                              ^^^^^^^^^^^^^^^^^^ `Neg::Output` is `C` here
[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.5.0/src/scalar_mul/mod.rs:82:15
[INFO] [stdout]     |
[INFO] [stdout]  82 |         + Neg<Output = Self::MulBase>
[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.5.0/src/lib.rs:112:8
[INFO] [stdout]     |
[INFO] [stdout] 112 |     fn into_affine(self) -> Self::Affine {
[INFO] [stdout]     |        ----------- required by a bound in this associated function
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0271]: type mismatch resolving `<<C as CurveGroup>::Affine as Neg>::Output == <C as CurveGroup>::Affine`
[INFO] [stdout]    --> src/lib.rs:369:50
[INFO] [stdout]     |
[INFO] [stdout] 369 |                 let result_val = result.value()?.into_affine();
[INFO] [stdout]     |                                                  ^^^^^^^^^^^ expected `ark_ec::CurveGroup::Affine`, found `std::ops::Neg::Output`
[INFO] [stdout]     |
[INFO] [stdout]     = note: expected associated type `<C as CurveGroup>::Affine`
[INFO] [stdout]                found associated type `<<C as CurveGroup>::Affine as Neg>::Output`
[INFO] [stdout]     = note: an associated type was expected, but a different one was found
[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.5.0/src/scalar_mul/mod.rs:82:15
[INFO] [stdout]     |
[INFO] [stdout]  82 |         + Neg<Output = Self::MulBase>
[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.5.0/src/lib.rs:112:8
[INFO] [stdout]     |
[INFO] [stdout] 112 |     fn into_affine(self) -> Self::Affine {
[INFO] [stdout]     |        ----------- required by a bound in this associated function
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0271]: type mismatch resolving `<<C as CurveGroup>::Affine as Neg>::Output == <C as CurveGroup>::Affine`
[INFO] [stdout]    --> src/lib.rs:370:17
[INFO] [stdout]     |
[INFO] [stdout] 370 | /                 assert_eq!(
[INFO] [stdout] 371 | |                     result_val, native_result,
[INFO] [stdout] 372 | |                     "gadget & native values are diff. after scalar mul {:?}",
[INFO] [stdout] 373 | |                     scalar,
[INFO] [stdout] 374 | |                 );
[INFO] [stdout]     | |_________________^ expected `ark_ec::CurveGroup::Affine`, found `std::ops::Neg::Output`
[INFO] [stdout]     |
[INFO] [stdout]     = note: expected associated type `<C as CurveGroup>::Affine`
[INFO] [stdout]                found associated type `<<C as CurveGroup>::Affine as Neg>::Output`
[INFO] [stdout]     = note: an associated type was expected, but a different one was found
[INFO] [stdout] note: required by a bound in `CurveGroup`
[INFO] [stdout]    --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ark-ec-0.5.0/src/scalar_mul/mod.rs:82:15
[INFO] [stdout]     |
[INFO] [stdout]  82 |         + Neg<Output = Self::MulBase>
[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.5.0/src/lib.rs:78:11
[INFO] [stdout]     |
[INFO] [stdout]  78 | pub trait CurveGroup:
[INFO] [stdout]     |           ---------- required by a bound in this trait
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0271]: type mismatch resolving `<<C as CurveGroup>::Affine as Neg>::Output == <C as CurveGroup>::Affine`
[INFO] [stdout]    --> src/lib.rs:370:17
[INFO] [stdout]     |
[INFO] [stdout] 370 | /                 assert_eq!(
[INFO] [stdout] 371 | |                     result_val, native_result,
[INFO] [stdout] 372 | |                     "gadget & native values are diff. after scalar mul {:?}",
[INFO] [stdout] 373 | |                     scalar,
[INFO] [stdout] 374 | |                 );
[INFO] [stdout]     | |_________________^ expected `ark_ec::CurveGroup::Affine`, found `std::ops::Neg::Output`
[INFO] [stdout]     |
[INFO] [stdout]     = note: expected associated type `<C as CurveGroup>::Affine`
[INFO] [stdout]                found associated type `<<C as CurveGroup>::Affine as Neg>::Output`
[INFO] [stdout]     = note: an associated type was expected, but a different one was found
[INFO] [stdout] note: required by a bound in `CurveGroup`
[INFO] [stdout]    --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ark-ec-0.5.0/src/scalar_mul/mod.rs:82:15
[INFO] [stdout]     |
[INFO] [stdout]  82 |         + Neg<Output = Self::MulBase>
[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.5.0/src/lib.rs:78:11
[INFO] [stdout]     |
[INFO] [stdout]  78 | pub trait CurveGroup:
[INFO] [stdout]     |           ---------- required by a bound in this trait
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0271]: type mismatch resolving `<<C as CurveGroup>::Affine as Neg>::Output == <C as CurveGroup>::Affine`
[INFO] [stdout]    --> src/lib.rs:375:56
[INFO] [stdout]     |
[INFO] [stdout] 375 |                 assert_eq!(mul_result.value().unwrap().into_affine(), native_result);
[INFO] [stdout]     |                                                        ^^^^^^^^^^^ expected `ark_ec::CurveGroup::Affine`, found `std::ops::Neg::Output`
[INFO] [stdout]     |
[INFO] [stdout]     = note: expected associated type `<C as CurveGroup>::Affine`
[INFO] [stdout]                found associated type `<<C as CurveGroup>::Affine as Neg>::Output`
[INFO] [stdout]     = note: an associated type was expected, but a different one was found
[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.5.0/src/scalar_mul/mod.rs:82:15
[INFO] [stdout]     |
[INFO] [stdout]  82 |         + Neg<Output = Self::MulBase>
[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.5.0/src/lib.rs:112:8
[INFO] [stdout]     |
[INFO] [stdout] 112 |     fn into_affine(self) -> Self::Affine {
[INFO] [stdout]     |        ----------- required by a bound in this associated function
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0271]: type mismatch resolving `<<C as CurveGroup>::Affine as Neg>::Output == <C as CurveGroup>::Affine`
[INFO] [stdout]    --> src/lib.rs:375:17
[INFO] [stdout]     |
[INFO] [stdout] 375 |                 assert_eq!(mul_result.value().unwrap().into_affine(), native_result);
[INFO] [stdout]     |                 ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ expected `ark_ec::CurveGroup::Affine`, found `std::ops::Neg::Output`
[INFO] [stdout]     |
[INFO] [stdout]     = note: expected associated type `<C as CurveGroup>::Affine`
[INFO] [stdout]                found associated type `<<C as CurveGroup>::Affine as Neg>::Output`
[INFO] [stdout]     = note: an associated type was expected, but a different one was found
[INFO] [stdout] note: required by a bound in `CurveGroup`
[INFO] [stdout]    --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ark-ec-0.5.0/src/scalar_mul/mod.rs:82:15
[INFO] [stdout]     |
[INFO] [stdout]  82 |         + Neg<Output = Self::MulBase>
[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.5.0/src/lib.rs:78:11
[INFO] [stdout]     |
[INFO] [stdout]  78 | pub trait CurveGroup:
[INFO] [stdout]     |           ---------- required by a bound in this trait
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0271]: type mismatch resolving `<<C as CurveGroup>::Affine as Neg>::Output == <C as CurveGroup>::Affine`
[INFO] [stdout]    --> src/lib.rs:375:17
[INFO] [stdout]     |
[INFO] [stdout] 375 |                 assert_eq!(mul_result.value().unwrap().into_affine(), native_result);
[INFO] [stdout]     |                 ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ expected `ark_ec::CurveGroup::Affine`, found `std::ops::Neg::Output`
[INFO] [stdout]     |
[INFO] [stdout]     = note: expected associated type `<C as CurveGroup>::Affine`
[INFO] [stdout]                found associated type `<<C as CurveGroup>::Affine as Neg>::Output`
[INFO] [stdout]     = note: an associated type was expected, but a different one was found
[INFO] [stdout] note: required by a bound in `CurveGroup`
[INFO] [stdout]    --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ark-ec-0.5.0/src/scalar_mul/mod.rs:82:15
[INFO] [stdout]     |
[INFO] [stdout]  82 |         + Neg<Output = Self::MulBase>
[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.5.0/src/lib.rs:78:11
[INFO] [stdout]     |
[INFO] [stdout]  78 | pub trait CurveGroup:
[INFO] [stdout]     |           ---------- required by a bound in this trait
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0271]: type mismatch resolving `<<C as CurveGroup>::Affine as Neg>::Output == <C as CurveGroup>::Affine`
[INFO] [stdout]    --> src/lib.rs:380:46
[INFO] [stdout]     |
[INFO] [stdout] 380 |             let result_val = result.value()?.into_affine();
[INFO] [stdout]     |                                              ^^^^^^^^^^^ expected `ark_ec::CurveGroup::Affine`, found `std::ops::Neg::Output`
[INFO] [stdout]     |
[INFO] [stdout]     = note: expected associated type `<C as CurveGroup>::Affine`
[INFO] [stdout]                found associated type `<<C as CurveGroup>::Affine as Neg>::Output`
[INFO] [stdout]     = note: an associated type was expected, but a different one was found
[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.5.0/src/scalar_mul/mod.rs:82:15
[INFO] [stdout]     |
[INFO] [stdout]  82 |         + Neg<Output = Self::MulBase>
[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.5.0/src/lib.rs:112:8
[INFO] [stdout]     |
[INFO] [stdout] 112 |     fn into_affine(self) -> Self::Affine {
[INFO] [stdout]     |        ----------- required by a bound in this associated function
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0271]: type mismatch resolving `<<C as CurveGroup>::Affine as Neg>::Output == <C as CurveGroup>::Affine`
[INFO] [stdout]    --> src/lib.rs:384:27
[INFO] [stdout]     |
[INFO] [stdout] 384 |                 C::zero().into_affine(),
[INFO] [stdout]     |                           ^^^^^^^^^^^ expected `ark_ec::CurveGroup::Affine`, found `std::ops::Neg::Output`
[INFO] [stdout]     |
[INFO] [stdout]     = note: expected associated type `<C as CurveGroup>::Affine`
[INFO] [stdout]                found associated type `<<C as CurveGroup>::Affine as Neg>::Output`
[INFO] [stdout]     = note: an associated type was expected, but a different one was found
[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.5.0/src/scalar_mul/mod.rs:82:15
[INFO] [stdout]     |
[INFO] [stdout]  82 |         + Neg<Output = Self::MulBase>
[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.5.0/src/lib.rs:112:8
[INFO] [stdout]     |
[INFO] [stdout] 112 |     fn into_affine(self) -> Self::Affine {
[INFO] [stdout]     |        ----------- required by a bound in this associated function
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0271]: type mismatch resolving `<<C as CurveGroup>::Affine as Neg>::Output == <C as CurveGroup>::Affine`
[INFO] [stdout]    --> src/lib.rs:382:13
[INFO] [stdout]     |
[INFO] [stdout] 382 | /             assert_eq!(
[INFO] [stdout] 383 | |                 result_val,
[INFO] [stdout] 384 | |                 C::zero().into_affine(),
[INFO] [stdout] 385 | |                 "gadget & native values are diff. after scalar mul of zero"
[INFO] [stdout] 386 | |             );
[INFO] [stdout]     | |_____________^ expected `ark_ec::CurveGroup::Affine`, found `std::ops::Neg::Output`
[INFO] [stdout]     |
[INFO] [stdout]     = note: expected associated type `<C as CurveGroup>::Affine`
[INFO] [stdout]                found associated type `<<C as CurveGroup>::Affine as Neg>::Output`
[INFO] [stdout]     = note: an associated type was expected, but a different one was found
[INFO] [stdout] note: required by a bound in `CurveGroup`
[INFO] [stdout]    --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ark-ec-0.5.0/src/scalar_mul/mod.rs:82:15
[INFO] [stdout]     |
[INFO] [stdout]  82 |         + Neg<Output = Self::MulBase>
[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.5.0/src/lib.rs:78:11
[INFO] [stdout]     |
[INFO] [stdout]  78 | pub trait CurveGroup:
[INFO] [stdout]     |           ---------- required by a bound in this trait
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0271]: type mismatch resolving `<<C as CurveGroup>::Affine as Neg>::Output == <C as CurveGroup>::Affine`
[INFO] [stdout]    --> src/lib.rs:382:13
[INFO] [stdout]     |
[INFO] [stdout] 382 | /             assert_eq!(
[INFO] [stdout] 383 | |                 result_val,
[INFO] [stdout] 384 | |                 C::zero().into_affine(),
[INFO] [stdout] 385 | |                 "gadget & native values are diff. after scalar mul of zero"
[INFO] [stdout] 386 | |             );
[INFO] [stdout]     | |_____________^ expected `ark_ec::CurveGroup::Affine`, found `std::ops::Neg::Output`
[INFO] [stdout]     |
[INFO] [stdout]     = note: expected associated type `<C as CurveGroup>::Affine`
[INFO] [stdout]                found associated type `<<C as CurveGroup>::Affine as Neg>::Output`
[INFO] [stdout]     = note: an associated type was expected, but a different one was found
[INFO] [stdout] note: required by a bound in `CurveGroup`
[INFO] [stdout]    --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ark-ec-0.5.0/src/scalar_mul/mod.rs:82:15
[INFO] [stdout]     |
[INFO] [stdout]  82 |         + Neg<Output = Self::MulBase>
[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.5.0/src/lib.rs:78:11
[INFO] [stdout]     |
[INFO] [stdout]  78 | pub trait CurveGroup:
[INFO] [stdout]     |           ---------- required by a bound in this trait
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0271]: type mismatch resolving `<<C as CurveGroup>::Affine as Neg>::Output == <C as CurveGroup>::Affine`
[INFO] [stdout]    --> src/lib.rs:348:51
[INFO] [stdout]     |
[INFO] [stdout] 348 |                 let native_result = native_result.into_affine();
[INFO] [stdout]     |                                                   ^^^^^^^^^^^ expected `ark_ec::CurveGroup::Affine`, found `std::ops::Neg::Output`
[INFO] [stdout]     |
[INFO] [stdout]     = note: expected associated type `<C as CurveGroup>::Affine`
[INFO] [stdout]                found associated type `<<C as CurveGroup>::Affine as Neg>::Output`
[INFO] [stdout]     = note: an associated type was expected, but a different one was found
[INFO] [stdout] note: the method call chain might not have had the expected associated types
[INFO] [stdout]    --> src/lib.rs:347:46
[INFO] [stdout]     |
[INFO] [stdout] 252 |             let a_native = C::rand(&mut rng);
[INFO] [stdout]     |                            ----------------- this expression has type `C`
[INFO] [stdout] ...
[INFO] [stdout] 347 |                 let native_result = a_native.mul_bigint(scalar);
[INFO] [stdout]     |                                              ^^^^^^^^^^^^^^^^^^ `Neg::Output` is `C` here
[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.5.0/src/scalar_mul/mod.rs:82:15
[INFO] [stdout]     |
[INFO] [stdout]  82 |         + Neg<Output = Self::MulBase>
[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.5.0/src/lib.rs:112:8
[INFO] [stdout]     |
[INFO] [stdout] 112 |     fn into_affine(self) -> Self::Affine {
[INFO] [stdout]     |        ----------- required by a bound in this associated function
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0271]: type mismatch resolving `<<C as CurveGroup>::Affine as Neg>::Output == <C as CurveGroup>::Affine`
[INFO] [stdout]    --> src/lib.rs:369:50
[INFO] [stdout]     |
[INFO] [stdout] 369 |                 let result_val = result.value()?.into_affine();
[INFO] [stdout]     |                                                  ^^^^^^^^^^^ expected `ark_ec::CurveGroup::Affine`, found `std::ops::Neg::Output`
[INFO] [stdout]     |
[INFO] [stdout]     = note: expected associated type `<C as CurveGroup>::Affine`
[INFO] [stdout]                found associated type `<<C as CurveGroup>::Affine as Neg>::Output`
[INFO] [stdout]     = note: an associated type was expected, but a different one was found
[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.5.0/src/scalar_mul/mod.rs:82:15
[INFO] [stdout]     |
[INFO] [stdout]  82 |         + Neg<Output = Self::MulBase>
[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.5.0/src/lib.rs:112:8
[INFO] [stdout]     |
[INFO] [stdout] 112 |     fn into_affine(self) -> Self::Affine {
[INFO] [stdout]     |        ----------- required by a bound in this associated function
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0271]: type mismatch resolving `<<C as CurveGroup>::Affine as Neg>::Output == <C as CurveGroup>::Affine`
[INFO] [stdout]    --> src/lib.rs:370:17
[INFO] [stdout]     |
[INFO] [stdout] 370 | /                 assert_eq!(
[INFO] [stdout] 371 | |                     result_val, native_result,
[INFO] [stdout] 372 | |                     "gadget & native values are diff. after scalar mul {:?}",
[INFO] [stdout] 373 | |                     scalar,
[INFO] [stdout] 374 | |                 );
[INFO] [stdout]     | |_________________^ expected `ark_ec::CurveGroup::Affine`, found `std::ops::Neg::Output`
[INFO] [stdout]     |
[INFO] [stdout]     = note: expected associated type `<C as CurveGroup>::Affine`
[INFO] [stdout]                found associated type `<<C as CurveGroup>::Affine as Neg>::Output`
[INFO] [stdout]     = note: an associated type was expected, but a different one was found
[INFO] [stdout] note: required by a bound in `CurveGroup`
[INFO] [stdout]    --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ark-ec-0.5.0/src/scalar_mul/mod.rs:82:15
[INFO] [stdout]     |
[INFO] [stdout]  82 |         + Neg<Output = Self::MulBase>
[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.5.0/src/lib.rs:78:11
[INFO] [stdout]     |
[INFO] [stdout]  78 | pub trait CurveGroup:
[INFO] [stdout]     |           ---------- required by a bound in this trait
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0271]: type mismatch resolving `<<C as CurveGroup>::Affine as Neg>::Output == <C as CurveGroup>::Affine`
[INFO] [stdout]    --> src/lib.rs:370:17
[INFO] [stdout]     |
[INFO] [stdout] 370 | /                 assert_eq!(
[INFO] [stdout] 371 | |                     result_val, native_result,
[INFO] [stdout] 372 | |                     "gadget & native values are diff. after scalar mul {:?}",
[INFO] [stdout] 373 | |                     scalar,
[INFO] [stdout] 374 | |                 );
[INFO] [stdout]     | |_________________^ expected `ark_ec::CurveGroup::Affine`, found `std::ops::Neg::Output`
[INFO] [stdout]     |
[INFO] [stdout]     = note: expected associated type `<C as CurveGroup>::Affine`
[INFO] [stdout]                found associated type `<<C as CurveGroup>::Affine as Neg>::Output`
[INFO] [stdout]     = note: an associated type was expected, but a different one was found
[INFO] [stdout] note: required by a bound in `CurveGroup`
[INFO] [stdout]    --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ark-ec-0.5.0/src/scalar_mul/mod.rs:82:15
[INFO] [stdout]     |
[INFO] [stdout]  82 |         + Neg<Output = Self::MulBase>
[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.5.0/src/lib.rs:78:11
[INFO] [stdout]     |
[INFO] [stdout]  78 | pub trait CurveGroup:
[INFO] [stdout]     |           ---------- required by a bound in this trait
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0271]: type mismatch resolving `<<C as CurveGroup>::Affine as Neg>::Output == <C as CurveGroup>::Affine`
[INFO] [stdout]    --> src/lib.rs:375:56
[INFO] [stdout]     |
[INFO] [stdout] 375 |                 assert_eq!(mul_result.value().unwrap().into_affine(), native_result);
[INFO] [stdout]     |                                                        ^^^^^^^^^^^ expected `ark_ec::CurveGroup::Affine`, found `std::ops::Neg::Output`
[INFO] [stdout]     |
[INFO] [stdout]     = note: expected associated type `<C as CurveGroup>::Affine`
[INFO] [stdout]                found associated type `<<C as CurveGroup>::Affine as Neg>::Output`
[INFO] [stdout]     = note: an associated type was expected, but a different one was found
[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.5.0/src/scalar_mul/mod.rs:82:15
[INFO] [stdout]     |
[INFO] [stdout]  82 |         + Neg<Output = Self::MulBase>
[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.5.0/src/lib.rs:112:8
[INFO] [stdout]     |
[INFO] [stdout] 112 |     fn into_affine(self) -> Self::Affine {
[INFO] [stdout]     |        ----------- required by a bound in this associated function
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0271]: type mismatch resolving `<<C as CurveGroup>::Affine as Neg>::Output == <C as CurveGroup>::Affine`
[INFO] [stdout]    --> src/lib.rs:375:17
[INFO] [stdout]     |
[INFO] [stdout] 375 |                 assert_eq!(mul_result.value().unwrap().into_affine(), native_result);
[INFO] [stdout]     |                 ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ expected `ark_ec::CurveGroup::Affine`, found `std::ops::Neg::Output`
[INFO] [stdout]     |
[INFO] [stdout]     = note: expected associated type `<C as CurveGroup>::Affine`
[INFO] [stdout]                found associated type `<<C as CurveGroup>::Affine as Neg>::Output`
[INFO] [stdout]     = note: an associated type was expected, but a different one was found
[INFO] [stdout] note: required by a bound in `CurveGroup`
[INFO] [stdout]    --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ark-ec-0.5.0/src/scalar_mul/mod.rs:82:15
[INFO] [stdout]     |
[INFO] [stdout]  82 |         + Neg<Output = Self::MulBase>
[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.5.0/src/lib.rs:78:11
[INFO] [stdout]     |
[INFO] [stdout]  78 | pub trait CurveGroup:
[INFO] [stdout]     |           ---------- required by a bound in this trait
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0271]: type mismatch resolving `<<C as CurveGroup>::Affine as Neg>::Output == <C as CurveGroup>::Affine`
[INFO] [stdout]    --> src/lib.rs:375:17
[INFO] [stdout]     |
[INFO] [stdout] 375 |                 assert_eq!(mul_result.value().unwrap().into_affine(), native_result);
[INFO] [stdout]     |                 ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ expected `ark_ec::CurveGroup::Affine`, found `std::ops::Neg::Output`
[INFO] [stdout]     |
[INFO] [stdout]     = note: expected associated type `<C as CurveGroup>::Affine`
[INFO] [stdout]                found associated type `<<C as CurveGroup>::Affine as Neg>::Output`
[INFO] [stdout]     = note: an associated type was expected, but a different one was found
[INFO] [stdout] note: required by a bound in `CurveGroup`
[INFO] [stdout]    --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ark-ec-0.5.0/src/scalar_mul/mod.rs:82:15
[INFO] [stdout]     |
[INFO] [stdout]  82 |         + Neg<Output = Self::MulBase>
[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.5.0/src/lib.rs:78:11
[INFO] [stdout]     |
[INFO] [stdout]  78 | pub trait CurveGroup:
[INFO] [stdout]     |           ---------- required by a bound in this trait
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0271]: type mismatch resolving `<<C as CurveGroup>::Affine as Neg>::Output == <C as CurveGroup>::Affine`
[INFO] [stdout]    --> src/lib.rs:380:46
[INFO] [stdout]     |
[INFO] [stdout] 380 |             let result_val = result.value()?.into_affine();
[INFO] [stdout]     |                                              ^^^^^^^^^^^ expected `ark_ec::CurveGroup::Affine`, found `std::ops::Neg::Output`
[INFO] [stdout]     |
[INFO] [stdout]     = note: expected associated type `<C as CurveGroup>::Affine`
[INFO] [stdout]                found associated type `<<C as CurveGroup>::Affine as Neg>::Output`
[INFO] [stdout]     = note: an associated type was expected, but a different one was found
[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.5.0/src/scalar_mul/mod.rs:82:15
[INFO] [stdout]     |
[INFO] [stdout]  82 |         + Neg<Output = Self::MulBase>
[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.5.0/src/lib.rs:112:8
[INFO] [stdout]     |
[INFO] [stdout] 112 |     fn into_affine(self) -> Self::Affine {
[INFO] [stdout]     |        ----------- required by a bound in this associated function
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0271]: type mismatch resolving `<<C as CurveGroup>::Affine as Neg>::Output == <C as CurveGroup>::Affine`
[INFO] [stdout]    --> src/lib.rs:384:27
[INFO] [stdout]     |
[INFO] [stdout] 384 |                 C::zero().into_affine(),
[INFO] [stdout]     |                           ^^^^^^^^^^^ expected `ark_ec::CurveGroup::Affine`, found `std::ops::Neg::Output`
[INFO] [stdout]     |
[INFO] [stdout]     = note: expected associated type `<C as CurveGroup>::Affine`
[INFO] [stdout]                found associated type `<<C as CurveGroup>::Affine as Neg>::Output`
[INFO] [stdout]     = note: an associated type was expected, but a different one was found
[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.5.0/src/scalar_mul/mod.rs:82:15
[INFO] [stdout]     |
[INFO] [stdout]  82 |         + Neg<Output = Self::MulBase>
[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.5.0/src/lib.rs:112:8
[INFO] [stdout]     |
[INFO] [stdout] 112 |     fn into_affine(self) -> Self::Affine {
[INFO] [stdout]     |        ----------- required by a bound in this associated function
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0271]: type mismatch resolving `<<C as CurveGroup>::Affine as Neg>::Output == <C as CurveGroup>::Affine`
[INFO] [stdout]    --> src/lib.rs:382:13
[INFO] [stdout]     |
[INFO] [stdout] 382 | /             assert_eq!(
[INFO] [stdout] 383 | |                 result_val,
[INFO] [stdout] 384 | |                 C::zero().into_affine(),
[INFO] [stdout] 385 | |                 "gadget & native values are diff. after scalar mul of zero"
[INFO] [stdout] 386 | |             );
[INFO] [stdout]     | |_____________^ expected `ark_ec::CurveGroup::Affine`, found `std::ops::Neg::Output`
[INFO] [stdout]     |
[INFO] [stdout]     = note: expected associated type `<C as CurveGroup>::Affine`
[INFO] [stdout]                found associated type `<<C as CurveGroup>::Affine as Neg>::Output`
[INFO] [stdout]     = note: an associated type was expected, but a different one was found
[INFO] [stdout] note: required by a bound in `CurveGroup`
[INFO] [stdout]    --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ark-ec-0.5.0/src/scalar_mul/mod.rs:82:15
[INFO] [stdout]     |
[INFO] [stdout]  82 |         + Neg<Output = Self::MulBase>
[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.5.0/src/lib.rs:78:11
[INFO] [stdout]     |
[INFO] [stdout]  78 | pub trait CurveGroup:
[INFO] [stdout]     |           ---------- required by a bound in this trait
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0271]: type mismatch resolving `<<C as CurveGroup>::Affine as Neg>::Output == <C as CurveGroup>::Affine`
[INFO] [stdout]    --> src/lib.rs:382:13
[INFO] [stdout]     |
[INFO] [stdout] 382 | /             assert_eq!(
[INFO] [stdout] 383 | |                 result_val,
[INFO] [stdout] 384 | |                 C::zero().into_affine(),
[INFO] [stdout] 385 | |                 "gadget & native values are diff. after scalar mul of zero"
[INFO] [stdout] 386 | |             );
[INFO] [stdout]     | |_____________^ expected `ark_ec::CurveGroup::Affine`, found `std::ops::Neg::Output`
[INFO] [stdout]     |
[INFO] [stdout]     = note: expected associated type `<C as CurveGroup>::Affine`
[INFO] [stdout]                found associated type `<<C as CurveGroup>::Affine as Neg>::Output`
[INFO] [stdout]     = note: an associated type was expected, but a different one was found
[INFO] [stdout] note: required by a bound in `CurveGroup`
[INFO] [stdout]    --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ark-ec-0.5.0/src/scalar_mul/mod.rs:82:15
[INFO] [stdout]     |
[INFO] [stdout]  82 |         + Neg<Output = Self::MulBase>
[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.5.0/src/lib.rs:78:11
[INFO] [stdout]     |
[INFO] [stdout]  78 | pub trait CurveGroup:
[INFO] [stdout]     |           ---------- required by a bound in this trait
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0271]: type mismatch resolving `<<E as Pairing>::G1Affine as Neg>::Output == <E as Pairing>::G1Affine`
[INFO] [stdout]    --> src/lib.rs:569:66
[INFO] [stdout]     |
[INFO] [stdout] 569 |             let a_g = P::G1Var::new_variable(cs.clone(), || Ok(a.into_affine()), mode)?;
[INFO] [stdout]     |                                                                  ^^^^^^^^^^^ expected `ark_ec::pairing::Pairing::G1Affine`, found `std::ops::Neg::Output`
[INFO] [stdout]     |
[INFO] [stdout]     = note: expected associated type `<E as Pairing>::G1Affine`
[INFO] [stdout]                found associated type `<<E as Pairing>::G1Affine as Neg>::Output`
[INFO] [stdout]     = note: an associated type was expected, but a different one was found
[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.5.0/src/scalar_mul/mod.rs:82:15
[INFO] [stdout]     |
[INFO] [stdout]  82 |         + Neg<Output = Self::MulBase>
[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.5.0/src/lib.rs:112:8
[INFO] [stdout]     |
[INFO] [stdout] 112 |     fn into_affine(self) -> Self::Affine {
[INFO] [stdout]     |        ----------- required by a bound in this associated function
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0271]: type mismatch resolving `<<E as Pairing>::G2Affine as Neg>::Output == <E as Pairing>::G2Affine`
[INFO] [stdout]    --> src/lib.rs:570:66
[INFO] [stdout]     |
[INFO] [stdout] 570 |             let b_g = P::G2Var::new_variable(cs.clone(), || Ok(b.into_affine()), mode)?;
[INFO] [stdout]     |                                                                  ^^^^^^^^^^^ expected `ark_ec::pairing::Pairing::G2Affine`, found `std::ops::Neg::Output`
[INFO] [stdout]     |
[INFO] [stdout]     = note: expected associated type `<E as Pairing>::G2Affine`
[INFO] [stdout]                found associated type `<<E as Pairing>::G2Affine as Neg>::Output`
[INFO] [stdout]     = note: an associated type was expected, but a different one was found
[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.5.0/src/scalar_mul/mod.rs:82:15
[INFO] [stdout]     |
[INFO] [stdout]  82 |         + Neg<Output = Self::MulBase>
[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.5.0/src/lib.rs:112:8
[INFO] [stdout]     |
[INFO] [stdout] 112 |     fn into_affine(self) -> Self::Affine {
[INFO] [stdout]     |        ----------- required by a bound in this associated function
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0271]: type mismatch resolving `<<E as Pairing>::G1Affine as Neg>::Output == <E as Pairing>::G1Affine`
[INFO] [stdout]    --> src/lib.rs:571:68
[INFO] [stdout]     |
[INFO] [stdout] 571 |             let sa_g = P::G1Var::new_variable(cs.clone(), || Ok(sa.into_affine()), mode)?;
[INFO] [stdout]     |                                                                    ^^^^^^^^^^^ expected `ark_ec::pairing::Pairing::G1Affine`, found `std::ops::Neg::Output`
[INFO] [stdout]     |
[INFO] [stdout]     = note: expected associated type `<E as Pairing>::G1Affine`
[INFO] [stdout]                found associated type `<<E as Pairing>::G1Affine as Neg>::Output`
[INFO] [stdout]     = note: an associated type was expected, but a different one was found
[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.5.0/src/scalar_mul/mod.rs:82:15
[INFO] [stdout]     |
[INFO] [stdout]  82 |         + Neg<Output = Self::MulBase>
[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.5.0/src/lib.rs:112:8
[INFO] [stdout]     |
[INFO] [stdout] 112 |     fn into_affine(self) -> Self::Affine {
[INFO] [stdout]     |        ----------- required by a bound in this associated function
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0271]: type mismatch resolving `<<E as Pairing>::G2Affine as Neg>::Output == <E as Pairing>::G2Affine`
[INFO] [stdout]    --> src/lib.rs:572:68
[INFO] [stdout]     |
[INFO] [stdout] 572 |             let sb_g = P::G2Var::new_variable(cs.clone(), || Ok(sb.into_affine()), mode)?;
[INFO] [stdout]     |                                                                    ^^^^^^^^^^^ expected `ark_ec::pairing::Pairing::G2Affine`, found `std::ops::Neg::Output`
[INFO] [stdout]     |
[INFO] [stdout]     = note: expected associated type `<E as Pairing>::G2Affine`
[INFO] [stdout]                found associated type `<<E as Pairing>::G2Affine as Neg>::Output`
[INFO] [stdout]     = note: an associated type was expected, but a different one was found
[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.5.0/src/scalar_mul/mod.rs:82:15
[INFO] [stdout]     |
[INFO] [stdout]  82 |         + Neg<Output = Self::MulBase>
[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.5.0/src/lib.rs:112:8
[INFO] [stdout]     |
[INFO] [stdout] 112 |     fn into_affine(self) -> Self::Affine {
[INFO] [stdout]     |        ----------- required by a bound in this associated function
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0271]: type mismatch resolving `<<E as Pairing>::G1Affine as Neg>::Output == <E as Pairing>::G1Affine`
[INFO] [stdout]    --> src/lib.rs:569:66
[INFO] [stdout]     |
[INFO] [stdout] 569 |             let a_g = P::G1Var::new_variable(cs.clone(), || Ok(a.into_affine()), mode)?;
[INFO] [stdout]     |                                                                  ^^^^^^^^^^^ expected `ark_ec::pairing::Pairing::G1Affine`, found `std::ops::Neg::Output`
[INFO] [stdout]     |
[INFO] [stdout]     = note: expected associated type `<E as Pairing>::G1Affine`
[INFO] [stdout]                found associated type `<<E as Pairing>::G1Affine as Neg>::Output`
[INFO] [stdout]     = note: an associated type was expected, but a different one was found
[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.5.0/src/scalar_mul/mod.rs:82:15
[INFO] [stdout]     |
[INFO] [stdout]  82 |         + Neg<Output = Self::MulBase>
[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.5.0/src/lib.rs:112:8
[INFO] [stdout]     |
[INFO] [stdout] 112 |     fn into_affine(self) -> Self::Affine {
[INFO] [stdout]     |        ----------- required by a bound in this associated function
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0271]: type mismatch resolving `<<E as Pairing>::G2Affine as Neg>::Output == <E as Pairing>::G2Affine`
[INFO] [stdout]    --> src/lib.rs:570:66
[INFO] [stdout]     |
[INFO] [stdout] 570 |             let b_g = P::G2Var::new_variable(cs.clone(), || Ok(b.into_affine()), mode)?;
[INFO] [stdout]     |                                                                  ^^^^^^^^^^^ expected `ark_ec::pairing::Pairing::G2Affine`, found `std::ops::Neg::Output`
[INFO] [stdout]     |
[INFO] [stdout]     = note: expected associated type `<E as Pairing>::G2Affine`
[INFO] [stdout]                found associated type `<<E as Pairing>::G2Affine as Neg>::Output`
[INFO] [stdout]     = note: an associated type was expected, but a different one was found
[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.5.0/src/scalar_mul/mod.rs:82:15
[INFO] [stdout]     |
[INFO] [stdout]  82 |         + Neg<Output = Self::MulBase>
[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.5.0/src/lib.rs:112:8
[INFO] [stdout]     |
[INFO] [stdout] 112 |     fn into_affine(self) -> Self::Affine {
[INFO] [stdout]     |        ----------- required by a bound in this associated function
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0271]: type mismatch resolving `<<E as Pairing>::G1Affine as Neg>::Output == <E as Pairing>::G1Affine`
[INFO] [stdout]    --> src/lib.rs:571:68
[INFO] [stdout]     |
[INFO] [stdout] 571 |             let sa_g = P::G1Var::new_variable(cs.clone(), || Ok(sa.into_affine()), mode)?;
[INFO] [stdout]     |                                                                    ^^^^^^^^^^^ expected `ark_ec::pairing::Pairing::G1Affine`, found `std::ops::Neg::Output`
[INFO] [stdout]     |
[INFO] [stdout]     = note: expected associated type `<E as Pairing>::G1Affine`
[INFO] [stdout]                found associated type `<<E as Pairing>::G1Affine as Neg>::Output`
[INFO] [stdout]     = note: an associated type was expected, but a different one was found
[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.5.0/src/scalar_mul/mod.rs:82:15
[INFO] [stdout]     |
[INFO] [stdout]  82 |         + Neg<Output = Self::MulBase>
[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.5.0/src/lib.rs:112:8
[INFO] [stdout]     |
[INFO] [stdout] 112 |     fn into_affine(self) -> Self::Affine {
[INFO] [stdout]     |        ----------- required by a bound in this associated function
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0271]: type mismatch resolving `<<E as Pairing>::G2Affine as Neg>::Output == <E as Pairing>::G2Affine`
[INFO] [stdout]    --> src/lib.rs:572:68
[INFO] [stdout]     |
[INFO] [stdout] 572 |             let sb_g = P::G2Var::new_variable(cs.clone(), || Ok(sb.into_affine()), mode)?;
[INFO] [stdout]     |                                                                    ^^^^^^^^^^^ expected `ark_ec::pairing::Pairing::G2Affine`, found `std::ops::Neg::Output`
[INFO] [stdout]     |
[INFO] [stdout]     = note: expected associated type `<E as Pairing>::G2Affine`
[INFO] [stdout]                found associated type `<<E as Pairing>::G2Affine as Neg>::Output`
[INFO] [stdout]     = note: an associated type was expected, but a different one was found
[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.5.0/src/scalar_mul/mod.rs:82:15
[INFO] [stdout]     |
[INFO] [stdout]  82 |         + Neg<Output = Self::MulBase>
[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.5.0/src/lib.rs:112:8
[INFO] [stdout]     |
[INFO] [stdout] 112 |     fn into_affine(self) -> Self::Affine {
[INFO] [stdout]     |        ----------- required by a bound in this associated function
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] For more information about this error, try `rustc --explain E0271`.
[INFO] [stdout] 
[INFO] [stderr] error: could not compile `ark-curve-constraint-tests` (lib test) due to 16 previous errors
[INFO] [stderr] warning: build failed, waiting for other jobs to finish...
[INFO] [stdout] For more information about this error, try `rustc --explain E0271`.
[INFO] [stdout] 
[INFO] [stderr] error: could not compile `ark-curve-constraint-tests` (lib) due to 16 previous errors
[INFO] running `Command { std: "docker" "inspect" "eaafa44fa28e2d056137f8527a6e4824215ed1a2f8aef848155dec497b2ea9b5", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "eaafa44fa28e2d056137f8527a6e4824215ed1a2f8aef848155dec497b2ea9b5", kill_on_drop: false }`
[INFO] [stdout] eaafa44fa28e2d056137f8527a6e4824215ed1a2f8aef848155dec497b2ea9b5