[INFO] cloning repository https://github.com/hallazzang/curg-groth16-research
[INFO] running `Command { std: "git" "-c" "credential.helper=" "-c" "credential.helper=/workspace/cargo-home/bin/git-credential-null" "clone" "--bare" "https://github.com/hallazzang/curg-groth16-research" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Fhallazzang%2Fcurg-groth16-research", kill_on_drop: false }`
[INFO] [stderr] Cloning into bare repository '/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Fhallazzang%2Fcurg-groth16-research'...
[INFO] running `Command { std: "git" "rev-parse" "HEAD", kill_on_drop: false }`
[INFO] [stdout] 3fd0e8507513477f78e64e7108c4cff2afb87166
[INFO] checking hallazzang/curg-groth16-research against try#b6bca0d7327839b5e3f7a7779947cb9113d08917+rustflags=-Zstrict-projection-item-bounds for 150662-leaf
[INFO] running `Command { std: "git" "clone" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Fhallazzang%2Fcurg-groth16-research" "/workspace/builds/worker-2-tc2/source", kill_on_drop: false }`
[INFO] [stderr] Cloning into '/workspace/builds/worker-2-tc2/source'...
[INFO] [stderr] done.
[INFO] started tweaking git repo https://github.com/hallazzang/curg-groth16-research
[INFO] finished tweaking git repo https://github.com/hallazzang/curg-groth16-research
[INFO] tweaked toml for git repo https://github.com/hallazzang/curg-groth16-research written to /workspace/builds/worker-2-tc2/source/Cargo.toml
[INFO] validating manifest of git repo https://github.com/hallazzang/curg-groth16-research 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 git repo https://github.com/hallazzang/curg-groth16-research 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-2-tc2/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-2-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] 54eb62cfc88dfd1a614798fcda4e59b5a60cbe821af2d2b6a2673879013114b6
[INFO] running `Command { std: "docker" "start" "-a" "54eb62cfc88dfd1a614798fcda4e59b5a60cbe821af2d2b6a2673879013114b6", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "inspect" "54eb62cfc88dfd1a614798fcda4e59b5a60cbe821af2d2b6a2673879013114b6", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "54eb62cfc88dfd1a614798fcda4e59b5a60cbe821af2d2b6a2673879013114b6", kill_on_drop: false }`
[INFO] [stdout] 54eb62cfc88dfd1a614798fcda4e59b5a60cbe821af2d2b6a2673879013114b6
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-2-tc2/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-2-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] d928a616389afcadcffe051ae9a63fd12e065aba1bfef10a37295933544462a2
[INFO] running `Command { std: "docker" "start" "-a" "d928a616389afcadcffe051ae9a63fd12e065aba1bfef10a37295933544462a2", kill_on_drop: false }`
[INFO] [stderr]    Compiling unicode-ident v1.0.23
[INFO] [stderr]     Checking rand_core v0.6.4
[INFO] [stderr]    Compiling syn v1.0.109
[INFO] [stderr]     Checking itertools v0.13.0
[INFO] [stderr]     Checking rand_core v0.10.0
[INFO] [stderr]    Compiling num-traits v0.2.19
[INFO] [stderr]     Checking tracing-subscriber v0.2.25
[INFO] [stderr]    Compiling getrandom v0.4.2
[INFO] [stderr]     Checking ppv-lite86 v0.2.21
[INFO] [stderr]     Checking ahash v0.8.12
[INFO] [stderr]     Checking cpufeatures v0.3.0
[INFO] [stderr]     Checking digest v0.10.7
[INFO] [stderr]    Compiling proc-macro2 v1.0.106
[INFO] [stderr]     Checking chacha20 v0.10.0
[INFO] [stderr]     Checking sha2 v0.10.9
[INFO] [stderr]     Checking blake2 v0.10.6
[INFO] [stderr]     Checking rand_chacha v0.3.1
[INFO] [stderr]    Compiling quote v1.0.44
[INFO] [stderr]     Checking rand v0.8.5
[INFO] [stderr]     Checking rand v0.10.0
[INFO] [stderr]    Compiling syn v2.0.115
[INFO] [stderr]     Checking num-integer v0.1.46
[INFO] [stderr]     Checking ark-std v0.5.0
[INFO] [stderr]     Checking num-bigint v0.4.6
[INFO] [stderr]    Compiling derivative v2.2.0
[INFO] [stderr]    Compiling zeroize_derive v1.4.3
[INFO] [stderr]    Compiling enum-ordinalize-derive v4.3.2
[INFO] [stderr]    Compiling ark-serialize-derive v0.5.0
[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]    Compiling ark-crypto-primitives-macros v0.5.0
[INFO] [stderr]     Checking ark-serialize v0.5.0
[INFO] [stderr]    Compiling enum-ordinalize v4.3.2
[INFO] [stderr]    Compiling educe v0.6.0
[INFO] [stderr]     Checking zeroize v1.8.2
[INFO] [stderr]     Checking merlin v3.0.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-snark v0.5.1
[INFO] [stderr]     Checking ark-ec v0.5.0
[INFO] [stderr]     Checking ark-r1cs-std v0.5.0
[INFO] [stderr]     Checking ark-bn254 v0.5.0
[INFO] [stderr]     Checking ark-crypto-primitives v0.5.0
[INFO] [stderr]     Checking curg-groth16-research v0.1.0 (/opt/rustwide/workdir)
[INFO] [stdout] error[E0271]: type mismatch resolving `<<G as CurveGroup>::Affine as Neg>::Output == <G as CurveGroup>::Affine`
[INFO] [stdout]   --> src/prove.rs:27:62
[INFO] [stdout]    |
[INFO] [stdout] 27 | fn inner_product_poly_coeffs_with_powers_of_tau<F: Field, G: CurveGroup<ScalarField = F>>(
[INFO] [stdout]    |                                                              ^^^^^^^^^^^^^^^^^^^^^^^^^^^ expected `ark_ec::CurveGroup::Affine`, found `std::ops::Neg::Output`
[INFO] [stdout]    |
[INFO] [stdout]    = note: expected associated type `<G as CurveGroup>::Affine`
[INFO] [stdout]               found associated type `<<G 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 `<<G as CurveGroup>::Affine as Neg>::Output == <G as CurveGroup>::Affine`
[INFO] [stdout]   --> src/setup.rs:27:8
[INFO] [stdout]    |
[INFO] [stdout] 27 |     G: CurveGroup<ScalarField = F>,
[INFO] [stdout]    |        ^^^^^^^^^^^^^^^^^^^^^^^^^^^ expected `ark_ec::CurveGroup::Affine`, found `std::ops::Neg::Output`
[INFO] [stdout]    |
[INFO] [stdout]    = note: expected associated type `<G as CurveGroup>::Affine`
[INFO] [stdout]               found associated type `<<G 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 `<<G as CurveGroup>::Affine as Neg>::Output == <G as CurveGroup>::Affine`
[INFO] [stdout]   --> src/prove.rs:27:62
[INFO] [stdout]    |
[INFO] [stdout] 27 | fn inner_product_poly_coeffs_with_powers_of_tau<F: Field, G: CurveGroup<ScalarField = F>>(
[INFO] [stdout]    |                                                              ^^^^^^^^^^^^^^^^^^^^^^^^^^^ expected `ark_ec::CurveGroup::Affine`, found `std::ops::Neg::Output`
[INFO] [stdout]    |
[INFO] [stdout]    = note: expected associated type `<G as CurveGroup>::Affine`
[INFO] [stdout]               found associated type `<<G 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 `<<G as CurveGroup>::Affine as Neg>::Output == <G as CurveGroup>::Affine`
[INFO] [stdout]   --> src/setup.rs:27:8
[INFO] [stdout]    |
[INFO] [stdout] 27 |     G: CurveGroup<ScalarField = F>,
[INFO] [stdout]    |        ^^^^^^^^^^^^^^^^^^^^^^^^^^^ expected `ark_ec::CurveGroup::Affine`, found `std::ops::Neg::Output`
[INFO] [stdout]    |
[INFO] [stdout]    = note: expected associated type `<G as CurveGroup>::Affine`
[INFO] [stdout]               found associated type `<<G 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 `<<G as CurveGroup>::Affine as Neg>::Output == <G as CurveGroup>::Affine`
[INFO] [stdout]   --> src/prove.rs:31:5
[INFO] [stdout]    |
[INFO] [stdout] 31 | /     coeffs
[INFO] [stdout] 32 | |         .iter()
[INFO] [stdout] 33 | |         .zip(powers_of_tau)
[INFO] [stdout]    | |___________________________^ expected `ark_ec::CurveGroup::Affine`, found `std::ops::Neg::Output`
[INFO] [stdout]    |
[INFO] [stdout]    = note: expected associated type `<G as CurveGroup>::Affine`
[INFO] [stdout]               found associated type `<<G 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 `<<G as CurveGroup>::Affine as Neg>::Output == <G as CurveGroup>::Affine`
[INFO] [stdout]   --> src/prove.rs:31:5
[INFO] [stdout]    |
[INFO] [stdout] 31 | /     coeffs
[INFO] [stdout] 32 | |         .iter()
[INFO] [stdout] 33 | |         .zip(powers_of_tau)
[INFO] [stdout] 34 | |         .map(|(a_u, &power_of_tau)| power_of_tau * a_u)
[INFO] [stdout]    | |_______________________________________________________^ expected `ark_ec::CurveGroup::Affine`, found `std::ops::Neg::Output`
[INFO] [stdout]    |
[INFO] [stdout]    = note: expected associated type `<G as CurveGroup>::Affine`
[INFO] [stdout]               found associated type `<<G 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 `<<G as CurveGroup>::Affine as Neg>::Output == <G as CurveGroup>::Affine`
[INFO] [stdout]   --> src/prove.rs:34:15
[INFO] [stdout]    |
[INFO] [stdout] 34 |         .map(|(a_u, &power_of_tau)| power_of_tau * a_u)
[INFO] [stdout]    |               ^^^^^^^^^^^^^^^^^^^^ expected `ark_ec::CurveGroup::Affine`, found `std::ops::Neg::Output`
[INFO] [stdout]    |
[INFO] [stdout]    = note: expected associated type `<G as CurveGroup>::Affine`
[INFO] [stdout]               found associated type `<<G 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 `<<G as CurveGroup>::Affine as Neg>::Output == <G as CurveGroup>::Affine`
[INFO] [stdout]   --> src/prove.rs:34:50
[INFO] [stdout]    |
[INFO] [stdout] 34 |         .map(|(a_u, &power_of_tau)| power_of_tau * a_u)
[INFO] [stdout]    |                                                  ^ expected `ark_ec::CurveGroup::Affine`, found `std::ops::Neg::Output`
[INFO] [stdout]    |
[INFO] [stdout]    = note: expected associated type `<G as CurveGroup>::Affine`
[INFO] [stdout]               found associated type `<<G 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 `<<G as CurveGroup>::Affine as Neg>::Output == <G as CurveGroup>::Affine`
[INFO] [stdout]   --> src/prove.rs:31:5
[INFO] [stdout]    |
[INFO] [stdout] 31 | /     coeffs
[INFO] [stdout] 32 | |         .iter()
[INFO] [stdout] 33 | |         .zip(powers_of_tau)
[INFO] [stdout] 34 | |         .map(|(a_u, &power_of_tau)| power_of_tau * a_u)
[INFO] [stdout] 35 | |         .sum::<G>()
[INFO] [stdout]    | |___________________^ expected `ark_ec::CurveGroup::Affine`, found `std::ops::Neg::Output`
[INFO] [stdout]    |
[INFO] [stdout]    = note: expected associated type `<G as CurveGroup>::Affine`
[INFO] [stdout]               found associated type `<<G 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 `<<G as CurveGroup>::Affine as Neg>::Output == <G as CurveGroup>::Affine`
[INFO] [stdout]   --> src/prove.rs:31:5
[INFO] [stdout]    |
[INFO] [stdout] 31 | /     coeffs
[INFO] [stdout] 32 | |         .iter()
[INFO] [stdout] 33 | |         .zip(powers_of_tau)
[INFO] [stdout]    | |___________________________^ expected `ark_ec::CurveGroup::Affine`, found `std::ops::Neg::Output`
[INFO] [stdout]    |
[INFO] [stdout]    = note: expected associated type `<G as CurveGroup>::Affine`
[INFO] [stdout]               found associated type `<<G 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 `<<G as CurveGroup>::Affine as Neg>::Output == <G as CurveGroup>::Affine`
[INFO] [stdout]   --> src/prove.rs:31:5
[INFO] [stdout]    |
[INFO] [stdout] 31 | /     coeffs
[INFO] [stdout] 32 | |         .iter()
[INFO] [stdout] 33 | |         .zip(powers_of_tau)
[INFO] [stdout] 34 | |         .map(|(a_u, &power_of_tau)| power_of_tau * a_u)
[INFO] [stdout]    | |_______________________________________________________^ expected `ark_ec::CurveGroup::Affine`, found `std::ops::Neg::Output`
[INFO] [stdout]    |
[INFO] [stdout]    = note: expected associated type `<G as CurveGroup>::Affine`
[INFO] [stdout]               found associated type `<<G 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 `<<G as CurveGroup>::Affine as Neg>::Output == <G as CurveGroup>::Affine`
[INFO] [stdout]   --> src/prove.rs:34:15
[INFO] [stdout]    |
[INFO] [stdout] 34 |         .map(|(a_u, &power_of_tau)| power_of_tau * a_u)
[INFO] [stdout]    |               ^^^^^^^^^^^^^^^^^^^^ expected `ark_ec::CurveGroup::Affine`, found `std::ops::Neg::Output`
[INFO] [stdout]    |
[INFO] [stdout]    = note: expected associated type `<G as CurveGroup>::Affine`
[INFO] [stdout]               found associated type `<<G 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 `<<G as CurveGroup>::Affine as Neg>::Output == <G as CurveGroup>::Affine`
[INFO] [stdout]   --> src/prove.rs:34:50
[INFO] [stdout]    |
[INFO] [stdout] 34 |         .map(|(a_u, &power_of_tau)| power_of_tau * a_u)
[INFO] [stdout]    |                                                  ^ expected `ark_ec::CurveGroup::Affine`, found `std::ops::Neg::Output`
[INFO] [stdout]    |
[INFO] [stdout]    = note: expected associated type `<G as CurveGroup>::Affine`
[INFO] [stdout]               found associated type `<<G 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 `<<G as CurveGroup>::Affine as Neg>::Output == <G as CurveGroup>::Affine`
[INFO] [stdout]   --> src/prove.rs:31:5
[INFO] [stdout]    |
[INFO] [stdout] 31 | /     coeffs
[INFO] [stdout] 32 | |         .iter()
[INFO] [stdout] 33 | |         .zip(powers_of_tau)
[INFO] [stdout] 34 | |         .map(|(a_u, &power_of_tau)| power_of_tau * a_u)
[INFO] [stdout] 35 | |         .sum::<G>()
[INFO] [stdout]    | |___________________^ expected `ark_ec::CurveGroup::Affine`, found `std::ops::Neg::Output`
[INFO] [stdout]    |
[INFO] [stdout]    = note: expected associated type `<G as CurveGroup>::Affine`
[INFO] [stdout]               found associated type `<<G 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/prove.rs:81:20
[INFO] [stdout]     |
[INFO] [stdout]  81 |         a_g1: a_g1.into_affine(),
[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/prove.rs:82:20
[INFO] [stdout]     |
[INFO] [stdout]  82 |         b_g2: b_g2.into_affine(),
[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/prove.rs:83:20
[INFO] [stdout]     |
[INFO] [stdout]  83 |         c_g1: c_g1.into_affine(),
[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 `<<G as CurveGroup>::Affine as Neg>::Output == <G as CurveGroup>::Affine`
[INFO] [stdout]   --> src/setup.rs:31:18
[INFO] [stdout]    |
[INFO] [stdout] 31 |         .map(|x| (g * x).into())
[INFO] [stdout]    |                  ^^^^^^^^^^^^^^ expected `ark_ec::CurveGroup::Affine`, found `std::ops::Neg::Output`
[INFO] [stdout]    |
[INFO] [stdout]    = note: expected associated type `<G as CurveGroup>::Affine`
[INFO] [stdout]               found associated type `<<G 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 `<<G as CurveGroup>::Affine as Neg>::Output == <G as CurveGroup>::Affine`
[INFO] [stdout]   --> src/setup.rs:29:5
[INFO] [stdout]    |
[INFO] [stdout] 29 | /     (0..n)
[INFO] [stdout] 30 | |         .map(|i| tau.pow([i as u64]))
[INFO] [stdout] 31 | |         .map(|x| (g * x).into())
[INFO] [stdout]    | |________________________________^ expected `ark_ec::CurveGroup::Affine`, found `std::ops::Neg::Output`
[INFO] [stdout]    |
[INFO] [stdout]    = note: expected associated type `<G as CurveGroup>::Affine`
[INFO] [stdout]               found associated type `<<G 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 `<<G as CurveGroup>::Affine as Neg>::Output == <G as CurveGroup>::Affine`
[INFO] [stdout]   --> src/setup.rs:29:5
[INFO] [stdout]    |
[INFO] [stdout] 29 | /     (0..n)
[INFO] [stdout] 30 | |         .map(|i| tau.pow([i as u64]))
[INFO] [stdout] 31 | |         .map(|x| (g * x).into())
[INFO] [stdout] 32 | |         .collect()
[INFO] [stdout]    | |__________________^ expected `ark_ec::CurveGroup::Affine`, found `std::ops::Neg::Output`
[INFO] [stdout]    |
[INFO] [stdout]    = note: expected associated type `<G as CurveGroup>::Affine`
[INFO] [stdout]               found associated type `<<G 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/prove.rs:81:20
[INFO] [stdout]     |
[INFO] [stdout]  81 |         a_g1: a_g1.into_affine(),
[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/prove.rs:82:20
[INFO] [stdout]     |
[INFO] [stdout]  82 |         b_g2: b_g2.into_affine(),
[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/prove.rs:83:20
[INFO] [stdout]     |
[INFO] [stdout]  83 |         c_g1: c_g1.into_affine(),
[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 `<<G as CurveGroup>::Affine as Neg>::Output == <G as CurveGroup>::Affine`
[INFO] [stdout]   --> src/setup.rs:31:18
[INFO] [stdout]    |
[INFO] [stdout] 31 |         .map(|x| (g * x).into())
[INFO] [stdout]    |                  ^^^^^^^^^^^^^^ expected `ark_ec::CurveGroup::Affine`, found `std::ops::Neg::Output`
[INFO] [stdout]    |
[INFO] [stdout]    = note: expected associated type `<G as CurveGroup>::Affine`
[INFO] [stdout]               found associated type `<<G 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 `<<G as CurveGroup>::Affine as Neg>::Output == <G as CurveGroup>::Affine`
[INFO] [stdout]   --> src/setup.rs:29:5
[INFO] [stdout]    |
[INFO] [stdout] 29 | /     (0..n)
[INFO] [stdout] 30 | |         .map(|i| tau.pow([i as u64]))
[INFO] [stdout] 31 | |         .map(|x| (g * x).into())
[INFO] [stdout]    | |________________________________^ expected `ark_ec::CurveGroup::Affine`, found `std::ops::Neg::Output`
[INFO] [stdout]    |
[INFO] [stdout]    = note: expected associated type `<G as CurveGroup>::Affine`
[INFO] [stdout]               found associated type `<<G 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 `<<G as CurveGroup>::Affine as Neg>::Output == <G as CurveGroup>::Affine`
[INFO] [stdout]   --> src/setup.rs:29:5
[INFO] [stdout]    |
[INFO] [stdout] 29 | /     (0..n)
[INFO] [stdout] 30 | |         .map(|i| tau.pow([i as u64]))
[INFO] [stdout] 31 | |         .map(|x| (g * x).into())
[INFO] [stdout] 32 | |         .collect()
[INFO] [stdout]    | |__________________^ expected `ark_ec::CurveGroup::Affine`, found `std::ops::Neg::Output`
[INFO] [stdout]    |
[INFO] [stdout]    = note: expected associated type `<G as CurveGroup>::Affine`
[INFO] [stdout]               found associated type `<<G 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] For more information about this error, try `rustc --explain E0271`.
[INFO] [stdout] 
[INFO] [stderr] error: could not compile `curg-groth16-research` (lib) due to 13 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 `curg-groth16-research` (lib test) due to 13 previous errors
[INFO] running `Command { std: "docker" "inspect" "d928a616389afcadcffe051ae9a63fd12e065aba1bfef10a37295933544462a2", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "d928a616389afcadcffe051ae9a63fd12e065aba1bfef10a37295933544462a2", kill_on_drop: false }`
[INFO] [stdout] d928a616389afcadcffe051ae9a63fd12e065aba1bfef10a37295933544462a2