[INFO] cloning repository https://github.com/wu-s-john/PLONK
[INFO] running `Command { std: "git" "-c" "credential.helper=" "-c" "credential.helper=/workspace/cargo-home/bin/git-credential-null" "clone" "--bare" "https://github.com/wu-s-john/PLONK" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Fwu-s-john%2FPLONK", kill_on_drop: false }`
[INFO] [stderr] Cloning into bare repository '/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Fwu-s-john%2FPLONK'...
[INFO] running `Command { std: "git" "rev-parse" "HEAD", kill_on_drop: false }`
[INFO] [stdout] a053983b1b6126b32ddfe0005b9e203498fa5cdb
[INFO] checking wu-s-john/PLONK 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%2Fwu-s-john%2FPLONK" "/workspace/builds/worker-7-tc2/source", kill_on_drop: false }`
[INFO] [stderr] Cloning into '/workspace/builds/worker-7-tc2/source'...
[INFO] [stderr] done.
[INFO] started tweaking git repo https://github.com/wu-s-john/PLONK
[INFO] finished tweaking git repo https://github.com/wu-s-john/PLONK
[INFO] tweaked toml for git repo https://github.com/wu-s-john/PLONK written to /workspace/builds/worker-7-tc2/source/Cargo.toml
[INFO] validating manifest of git repo https://github.com/wu-s-john/PLONK 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/wu-s-john/PLONK 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-7-tc2/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-7-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] 09e005f0a04f3f4ff11f3d8eccc71cf5c12caf380ab91df52f520fff80b2ba94
[INFO] running `Command { std: "docker" "start" "-a" "09e005f0a04f3f4ff11f3d8eccc71cf5c12caf380ab91df52f520fff80b2ba94", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "inspect" "09e005f0a04f3f4ff11f3d8eccc71cf5c12caf380ab91df52f520fff80b2ba94", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "09e005f0a04f3f4ff11f3d8eccc71cf5c12caf380ab91df52f520fff80b2ba94", kill_on_drop: false }`
[INFO] [stdout] 09e005f0a04f3f4ff11f3d8eccc71cf5c12caf380ab91df52f520fff80b2ba94
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-7-tc2/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-7-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] 4e66ab6d4d48a67213e83ec5211f75c2bf376bb3faec1dd4992a3d4e7b972ea2
[INFO] running `Command { std: "docker" "start" "-a" "4e66ab6d4d48a67213e83ec5211f75c2bf376bb3faec1dd4992a3d4e7b972ea2", kill_on_drop: false }`
[INFO] [stderr]    Compiling libc v0.2.170
[INFO] [stderr]    Compiling thiserror v2.0.12
[INFO] [stderr]     Checking tracing-core v0.1.33
[INFO] [stderr]    Compiling parking_lot_core v0.9.10
[INFO] [stderr]    Compiling lock_api v0.4.12
[INFO] [stderr]    Compiling regex-syntax v0.8.5
[INFO] [stderr]    Compiling syn v2.0.99
[INFO] [stderr]    Compiling syn v1.0.109
[INFO] [stderr]    Compiling smallvec v1.14.0
[INFO] [stderr]     Checking digest v0.9.0
[INFO] [stderr]     Checking crypto-common v0.1.6
[INFO] [stderr]     Checking num-bigint v0.4.6
[INFO] [stderr]     Checking either v1.14.0
[INFO] [stderr]    Compiling home v0.5.11
[INFO] [stderr]    Compiling bit-vec v0.8.0
[INFO] [stderr]    Compiling log v0.4.26
[INFO] [stderr]    Compiling petgraph v0.7.1
[INFO] [stderr]     Checking digest v0.10.7
[INFO] [stderr]    Compiling term v1.0.1
[INFO] [stderr]    Compiling ena v0.14.3
[INFO] [stderr]    Compiling pico-args v0.5.0
[INFO] [stderr]    Compiling unicode-xid v0.2.6
[INFO] [stderr]    Compiling sha3 v0.10.8
[INFO] [stderr]     Checking itertools v0.10.5
[INFO] [stderr]    Compiling bit-set v0.8.0
[INFO] [stderr]     Checking tracing-subscriber v0.2.25
[INFO] [stderr]    Compiling itertools v0.14.0
[INFO] [stderr]    Compiling beef v0.5.2
[INFO] [stderr]    Compiling ascii-canvas v4.0.0
[INFO] [stderr]    Compiling regex-syntax v0.6.29
[INFO] [stderr]     Checking hex v0.4.3
[INFO] [stderr]    Compiling parking_lot v0.12.3
[INFO] [stderr]    Compiling string_cache v0.8.8
[INFO] [stderr]     Checking regex-automata v0.4.9
[INFO] [stderr]     Checking lalrpop-util v0.22.1
[INFO] [stderr]    Compiling zerocopy-derive v0.7.35
[INFO] [stderr]    Compiling thiserror-impl v2.0.12
[INFO] [stderr]    Compiling zeroize_derive v1.4.2
[INFO] [stderr]    Compiling tracing-attributes v0.1.28
[INFO] [stderr]    Compiling derivative v2.2.0
[INFO] [stderr]    Compiling ark-ff-asm v0.3.0
[INFO] [stderr]    Compiling ark-ff-macros v0.3.0
[INFO] [stderr]    Compiling ark-serialize-derive v0.4.2
[INFO] [stderr]    Compiling ark-ff-asm v0.4.2
[INFO] [stderr]    Compiling ark-ff-macros v0.4.2
[INFO] [stderr]    Compiling logos-derive v0.12.1
[INFO] [stderr]    Compiling regex v1.11.1
[INFO] [stderr]     Checking zeroize v1.8.1
[INFO] [stderr]    Compiling lalrpop v0.22.1
[INFO] [stderr]     Checking zerocopy v0.7.35
[INFO] [stderr]    Compiling pest v2.7.15
[INFO] [stderr]     Checking tracing v0.1.41
[INFO] [stderr]     Checking ppv-lite86 v0.2.20
[INFO] [stderr]     Checking ahash v0.8.11
[INFO] [stderr]     Checking logos v0.12.1
[INFO] [stderr]     Checking hashbrown v0.13.2
[INFO] [stderr]     Checking rand_chacha v0.3.1
[INFO] [stderr]    Compiling semver-parser v0.10.3
[INFO] [stderr]     Checking rand v0.8.5
[INFO] [stderr]    Compiling semver v0.11.0
[INFO] [stderr]    Compiling rustc_version v0.3.3
[INFO] [stderr]     Checking ark-std v0.3.0
[INFO] [stderr]     Checking ark-std v0.4.0
[INFO] [stderr]     Checking ark-serialize v0.3.0
[INFO] [stderr]     Checking ark-serialize v0.4.2
[INFO] [stderr]     Checking ark-ff v0.4.2
[INFO] [stderr]    Compiling ark-ff v0.3.0
[INFO] [stderr]     Checking ark-poly v0.4.2
[INFO] [stderr]     Checking ark-ec v0.3.0
[INFO] [stderr]     Checking ark-relations v0.3.0
[INFO] [stderr]     Checking arkworks-utils v1.0.1
[INFO] [stderr]     Checking ark-ec v0.4.2
[INFO] [stderr]    Compiling plonk v0.1.0 (/opt/rustwide/workdir)
[INFO] [stderr]     Checking ark-r1cs-std v0.3.1
[INFO] [stderr]     Checking ark-bn254 v0.4.0
[INFO] [stderr]     Checking ark-nonnative-field v0.3.0
[INFO] [stderr]     Checking ark-sponge v0.3.0
[INFO] [stdout] warning: unused import: `univariate::DensePolynomial`
[INFO] [stdout]  --> src/execution_trace_polynomial.rs:8:5
[INFO] [stdout]   |
[INFO] [stdout] 8 |     univariate::DensePolynomial, DenseUVPolynomial, EvaluationDomain, Radix2EvaluationDomain
[INFO] [stdout]   |     ^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout]   |
[INFO] [stdout]   = note: `#[warn(unused_imports)]` (part of `#[warn(unused)]`) on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused import: `Field`
[INFO] [stdout]  --> src/polynomial_constraints_direct.rs:2:24
[INFO] [stdout]   |
[INFO] [stdout] 2 | use ark_ff::{FftField, Field};
[INFO] [stdout]   |                        ^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused import: `Field`
[INFO] [stdout]  --> src/polynomial_constraints_fft.rs:2:24
[INFO] [stdout]   |
[INFO] [stdout] 2 | use ark_ff::{FftField, Field};
[INFO] [stdout]   |                        ^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused attribute `allow`
[INFO] [stdout]   --> src/language_frontend/mod.rs:10:1
[INFO] [stdout]    |
[INFO] [stdout] 10 | #[allow(clippy::all)]
[INFO] [stdout]    | ^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout]    |
[INFO] [stdout] note: the built-in attribute `allow` will be ignored, since it's applied to the macro invocation `lalrpop_mod`
[INFO] [stdout]   --> src/language_frontend/mod.rs:11:1
[INFO] [stdout]    |
[INFO] [stdout] 11 | lalrpop_mod!(pub parser, "/language_frontend/parser.rs");
[INFO] [stdout]    | ^^^^^^^^^^^
[INFO] [stdout]    = note: `#[warn(unused_attributes)]` (part of `#[warn(unused)]`) on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused import: `std::str::FromStr`
[INFO] [stdout]  --> /opt/rustwide/target/debug/build/plonk-4793599b4be50f62/out/language_frontend/parser.rs:3:5
[INFO] [stdout]   |
[INFO] [stdout] 3 | use std::str::FromStr;
[INFO] [stdout]   |     ^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused import: `std::marker::PhantomData`
[INFO] [stdout]  --> src/kzg/mod.rs:3:5
[INFO] [stdout]   |
[INFO] [stdout] 3 | use std::marker::PhantomData;
[INFO] [stdout]   |     ^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused import: `Zero`
[INFO] [stdout]  --> src/kzg/mod.rs:7:21
[INFO] [stdout]   |
[INFO] [stdout] 7 | use ark_ff::{Field, Zero};
[INFO] [stdout]   |                     ^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused imports: `Polynomial` and `univariate::DensePolynomial`
[INFO] [stdout]  --> src/kzg/mod.rs:8:16
[INFO] [stdout]   |
[INFO] [stdout] 8 | use ark_poly::{univariate::DensePolynomial, Polynomial, DenseUVPolynomial};
[INFO] [stdout]   |                ^^^^^^^^^^^^^^^^^^^^^^^^^^^  ^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused import: `univariate::DensePolynomial`
[INFO] [stdout]  --> src/execution_trace_polynomial.rs:8:5
[INFO] [stdout]   |
[INFO] [stdout] 8 |     univariate::DensePolynomial, DenseUVPolynomial, EvaluationDomain, Radix2EvaluationDomain
[INFO] [stdout]   |     ^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout]   |
[INFO] [stdout]   = note: `#[warn(unused_imports)]` (part of `#[warn(unused)]`) on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused import: `Field`
[INFO] [stdout]  --> src/polynomial_constraints_direct.rs:2:24
[INFO] [stdout]   |
[INFO] [stdout] 2 | use ark_ff::{FftField, Field};
[INFO] [stdout]   |                        ^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused import: `Field`
[INFO] [stdout]  --> src/polynomial_constraints_fft.rs:2:24
[INFO] [stdout]   |
[INFO] [stdout] 2 | use ark_ff::{FftField, Field};
[INFO] [stdout]   |                        ^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused attribute `allow`
[INFO] [stdout]   --> src/language_frontend/mod.rs:10:1
[INFO] [stdout]    |
[INFO] [stdout] 10 | #[allow(clippy::all)]
[INFO] [stdout]    | ^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout]    |
[INFO] [stdout] note: the built-in attribute `allow` will be ignored, since it's applied to the macro invocation `lalrpop_mod`
[INFO] [stdout]   --> src/language_frontend/mod.rs:11:1
[INFO] [stdout]    |
[INFO] [stdout] 11 | lalrpop_mod!(pub parser, "/language_frontend/parser.rs");
[INFO] [stdout]    | ^^^^^^^^^^^
[INFO] [stdout]    = note: `#[warn(unused_attributes)]` (part of `#[warn(unused)]`) on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused import: `std::str::FromStr`
[INFO] [stdout]  --> /opt/rustwide/target/debug/build/plonk-4793599b4be50f62/out/language_frontend/parser.rs:3:5
[INFO] [stdout]   |
[INFO] [stdout] 3 | use std::str::FromStr;
[INFO] [stdout]   |     ^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused import: `std::marker::PhantomData`
[INFO] [stdout]  --> src/kzg/mod.rs:3:5
[INFO] [stdout]   |
[INFO] [stdout] 3 | use std::marker::PhantomData;
[INFO] [stdout]   |     ^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused import: `Zero`
[INFO] [stdout]  --> src/kzg/mod.rs:7:21
[INFO] [stdout]   |
[INFO] [stdout] 7 | use ark_ff::{Field, Zero};
[INFO] [stdout]   |                     ^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused imports: `Polynomial` and `univariate::DensePolynomial`
[INFO] [stdout]  --> src/kzg/mod.rs:8:16
[INFO] [stdout]   |
[INFO] [stdout] 8 | use ark_poly::{univariate::DensePolynomial, Polynomial, DenseUVPolynomial};
[INFO] [stdout]   |                ^^^^^^^^^^^^^^^^^^^^^^^^^^^  ^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0277]: the trait bound `<G as CurveGroup>::Affine: Neg` is not satisfied
[INFO] [stdout]    --> src/kzg/mod.rs:13:44
[INFO] [stdout]     |
[INFO] [stdout]  13 | pub struct BatchKZGCommitment<F: Field, G: CurveGroup<ScalarField = F>> {
[INFO] [stdout]     |                                            ^^^^^^^^^^^^^^^^^^^^^^^^^^^ the trait `Neg` is not implemented for `<G as CurveGroup>::Affine`
[INFO] [stdout]     |
[INFO] [stdout] note: required by a bound in `CurveGroup`
[INFO] [stdout]    --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ark-ec-0.4.2/src/scalar_mul/mod.rs:41:11
[INFO] [stdout]     |
[INFO] [stdout]  41 |         + Neg<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.4.2/src/lib.rs:123:11
[INFO] [stdout]     |
[INFO] [stdout] 123 | pub trait CurveGroup:
[INFO] [stdout]     |           ---------- required by a bound in this trait
[INFO] [stdout] help: consider introducing a `where` clause, but there might be an alternative better way to express this requirement
[INFO] [stdout]     |
[INFO] [stdout]  13 | pub struct BatchKZGCommitment<F: Field, G: CurveGroup<ScalarField = F>> where <G as CurveGroup>::Affine: Neg {
[INFO] [stdout]     |                                                                         ++++++++++++++++++++++++++++++++++++
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0277]: the trait bound `<G as CurveGroup>::Affine: Neg` is not satisfied
[INFO] [stdout]    --> src/kzg/mod.rs:13:44
[INFO] [stdout]     |
[INFO] [stdout]  13 | pub struct BatchKZGCommitment<F: Field, G: CurveGroup<ScalarField = F>> {
[INFO] [stdout]     |                                            ^^^^^^^^^^^^^^^^^^^^^^^^^^^ the trait `Neg` is not implemented for `<G as CurveGroup>::Affine`
[INFO] [stdout]     |
[INFO] [stdout] note: required by a bound in `CurveGroup`
[INFO] [stdout]    --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ark-ec-0.4.2/src/scalar_mul/mod.rs:41:11
[INFO] [stdout]     |
[INFO] [stdout]  41 |         + Neg<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.4.2/src/lib.rs:123:11
[INFO] [stdout]     |
[INFO] [stdout] 123 | pub trait CurveGroup:
[INFO] [stdout]     |           ---------- required by a bound in this trait
[INFO] [stdout] help: consider further restricting the associated type
[INFO] [stdout]     |
[INFO] [stdout]  13 | pub struct BatchKZGCommitment<F: Field, G: CurveGroup<ScalarField = F>> where <G as CurveGroup>::Affine: Neg {
[INFO] [stdout]     |                                                                         ++++++++++++++++++++++++++++++++++++
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0277]: the trait bound `<G as CurveGroup>::Affine: Neg` is not satisfied
[INFO] [stdout]    --> src/kzg/mod.rs:19:39
[INFO] [stdout]     |
[INFO] [stdout]  19 | pub struct BatchKZGProof<F: Field, G: CurveGroup<ScalarField = F>> {
[INFO] [stdout]     |                                       ^^^^^^^^^^^^^^^^^^^^^^^^^^^ the trait `Neg` is not implemented for `<G as CurveGroup>::Affine`
[INFO] [stdout]     |
[INFO] [stdout] note: required by a bound in `CurveGroup`
[INFO] [stdout]    --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ark-ec-0.4.2/src/scalar_mul/mod.rs:41:11
[INFO] [stdout]     |
[INFO] [stdout]  41 |         + Neg<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.4.2/src/lib.rs:123:11
[INFO] [stdout]     |
[INFO] [stdout] 123 | pub trait CurveGroup:
[INFO] [stdout]     |           ---------- required by a bound in this trait
[INFO] [stdout] help: consider introducing a `where` clause, but there might be an alternative better way to express this requirement
[INFO] [stdout]     |
[INFO] [stdout]  19 | pub struct BatchKZGProof<F: Field, G: CurveGroup<ScalarField = F>> where <G as CurveGroup>::Affine: Neg {
[INFO] [stdout]     |                                                                    ++++++++++++++++++++++++++++++++++++
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0277]: the trait bound `<G as CurveGroup>::Affine: Neg` is not satisfied
[INFO] [stdout]    --> src/kzg/mod.rs:19:39
[INFO] [stdout]     |
[INFO] [stdout]  19 | pub struct BatchKZGProof<F: Field, G: CurveGroup<ScalarField = F>> {
[INFO] [stdout]     |                                       ^^^^^^^^^^^^^^^^^^^^^^^^^^^ the trait `Neg` is not implemented for `<G as CurveGroup>::Affine`
[INFO] [stdout]     |
[INFO] [stdout] note: required by a bound in `CurveGroup`
[INFO] [stdout]    --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ark-ec-0.4.2/src/scalar_mul/mod.rs:41:11
[INFO] [stdout]     |
[INFO] [stdout]  41 |         + Neg<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.4.2/src/lib.rs:123:11
[INFO] [stdout]     |
[INFO] [stdout] 123 | pub trait CurveGroup:
[INFO] [stdout]     |           ---------- required by a bound in this trait
[INFO] [stdout] help: consider further restricting the associated type
[INFO] [stdout]     |
[INFO] [stdout]  19 | pub struct BatchKZGProof<F: Field, G: CurveGroup<ScalarField = F>> where <G as CurveGroup>::Affine: Neg {
[INFO] [stdout]     |                                                                    ++++++++++++++++++++++++++++++++++++
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0277]: the trait bound `<G1 as CurveGroup>::Affine: Neg` is not satisfied
[INFO] [stdout]    --> src/kzg/mod.rs:33:40
[INFO] [stdout]     |
[INFO] [stdout]  33 | pub trait BatchKZGSystem<F: Field, G1: CurveGroup<ScalarField = F>, G2: CurveGroup<ScalarField = F>> {
[INFO] [stdout]     |                                        ^^^^^^^^^^^^^^^^^^^^^^^^^^^ the trait `Neg` is not implemented for `<G1 as CurveGroup>::Affine`
[INFO] [stdout]     |
[INFO] [stdout] note: required by a bound in `CurveGroup`
[INFO] [stdout]    --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ark-ec-0.4.2/src/scalar_mul/mod.rs:41:11
[INFO] [stdout]     |
[INFO] [stdout]  41 |         + Neg<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.4.2/src/lib.rs:123:11
[INFO] [stdout]     |
[INFO] [stdout] 123 | pub trait CurveGroup:
[INFO] [stdout]     |           ---------- required by a bound in this trait
[INFO] [stdout] help: consider further restricting the associated type
[INFO] [stdout]     |
[INFO] [stdout]  33 | pub trait BatchKZGSystem<F: Field, G1: CurveGroup<ScalarField = F>, G2: CurveGroup<ScalarField = F>> where <G1 as CurveGroup>::Affine: Neg {
[INFO] [stdout]     |                                                                                                      +++++++++++++++++++++++++++++++++++++
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0277]: the trait bound `<G2 as CurveGroup>::Affine: Neg` is not satisfied
[INFO] [stdout]    --> src/kzg/mod.rs:33:73
[INFO] [stdout]     |
[INFO] [stdout]  33 | pub trait BatchKZGSystem<F: Field, G1: CurveGroup<ScalarField = F>, G2: CurveGroup<ScalarField = F>> {
[INFO] [stdout]     |                                                                         ^^^^^^^^^^^^^^^^^^^^^^^^^^^ the trait `Neg` is not implemented for `<G2 as CurveGroup>::Affine`
[INFO] [stdout]     |
[INFO] [stdout] note: required by a bound in `CurveGroup`
[INFO] [stdout]    --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ark-ec-0.4.2/src/scalar_mul/mod.rs:41:11
[INFO] [stdout]     |
[INFO] [stdout]  41 |         + Neg<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.4.2/src/lib.rs:123:11
[INFO] [stdout]     |
[INFO] [stdout] 123 | pub trait CurveGroup:
[INFO] [stdout]     |           ---------- required by a bound in this trait
[INFO] [stdout] help: consider further restricting the associated type
[INFO] [stdout]     |
[INFO] [stdout]  33 | pub trait BatchKZGSystem<F: Field, G1: CurveGroup<ScalarField = F>, G2: CurveGroup<ScalarField = F>> where <G2 as CurveGroup>::Affine: Neg {
[INFO] [stdout]     |                                                                                                      +++++++++++++++++++++++++++++++++++++
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0277]: the trait bound `<G as CurveGroup>::Affine: Neg` is not satisfied
[INFO] [stdout]    --> src/kzg/mod.rs:13:44
[INFO] [stdout]     |
[INFO] [stdout]  13 | pub struct BatchKZGCommitment<F: Field, G: CurveGroup<ScalarField = F>> {
[INFO] [stdout]     |                                            ^^^^^^^^^^^^^^^^^^^^^^^^^^^ the trait `Neg` is not implemented for `<G as CurveGroup>::Affine`
[INFO] [stdout]     |
[INFO] [stdout] note: required by a bound in `CurveGroup`
[INFO] [stdout]    --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ark-ec-0.4.2/src/scalar_mul/mod.rs:41:11
[INFO] [stdout]     |
[INFO] [stdout]  41 |         + Neg<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.4.2/src/lib.rs:123:11
[INFO] [stdout]     |
[INFO] [stdout] 123 | pub trait CurveGroup:
[INFO] [stdout]     |           ---------- required by a bound in this trait
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0277]: the trait bound `<G as CurveGroup>::Affine: Neg` is not satisfied
[INFO] [stdout]    --> src/kzg/mod.rs:19:39
[INFO] [stdout]     |
[INFO] [stdout]  19 | pub struct BatchKZGProof<F: Field, G: CurveGroup<ScalarField = F>> {
[INFO] [stdout]     |                                       ^^^^^^^^^^^^^^^^^^^^^^^^^^^ the trait `Neg` is not implemented for `<G as CurveGroup>::Affine`
[INFO] [stdout]     |
[INFO] [stdout] note: required by a bound in `CurveGroup`
[INFO] [stdout]    --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ark-ec-0.4.2/src/scalar_mul/mod.rs:41:11
[INFO] [stdout]     |
[INFO] [stdout]  41 |         + Neg<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.4.2/src/lib.rs:123:11
[INFO] [stdout]     |
[INFO] [stdout] 123 | pub trait CurveGroup:
[INFO] [stdout]     |           ---------- required by a bound in this trait
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0277]: the trait bound `<G1 as CurveGroup>::Affine: Neg` is not satisfied
[INFO] [stdout]    --> src/kzg/mod.rs:33:40
[INFO] [stdout]     |
[INFO] [stdout]  33 | pub trait BatchKZGSystem<F: Field, G1: CurveGroup<ScalarField = F>, G2: CurveGroup<ScalarField = F>> {
[INFO] [stdout]     |                                        ^^^^^^^^^^^^^^^^^^^^^^^^^^^ the trait `Neg` is not implemented for `<G1 as CurveGroup>::Affine`
[INFO] [stdout]     |
[INFO] [stdout] note: required by a bound in `CurveGroup`
[INFO] [stdout]    --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ark-ec-0.4.2/src/scalar_mul/mod.rs:41:11
[INFO] [stdout]     |
[INFO] [stdout]  41 |         + Neg<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.4.2/src/lib.rs:123:11
[INFO] [stdout]     |
[INFO] [stdout] 123 | pub trait CurveGroup:
[INFO] [stdout]     |           ---------- required by a bound in this trait
[INFO] [stdout] help: consider further restricting the associated type
[INFO] [stdout]     |
[INFO] [stdout]  45 |         <Self::E as Pairing>::G2Affine: From<G2>, <G1 as CurveGroup>::Affine: Neg;
[INFO] [stdout]     |                                                 +++++++++++++++++++++++++++++++++
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0277]: the trait bound `<G2 as CurveGroup>::Affine: Neg` is not satisfied
[INFO] [stdout]    --> src/kzg/mod.rs:33:73
[INFO] [stdout]     |
[INFO] [stdout]  33 | pub trait BatchKZGSystem<F: Field, G1: CurveGroup<ScalarField = F>, G2: CurveGroup<ScalarField = F>> {
[INFO] [stdout]     |                                                                         ^^^^^^^^^^^^^^^^^^^^^^^^^^^ the trait `Neg` is not implemented for `<G2 as CurveGroup>::Affine`
[INFO] [stdout]     |
[INFO] [stdout] note: required by a bound in `CurveGroup`
[INFO] [stdout]    --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ark-ec-0.4.2/src/scalar_mul/mod.rs:41:11
[INFO] [stdout]     |
[INFO] [stdout]  41 |         + Neg<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.4.2/src/lib.rs:123:11
[INFO] [stdout]     |
[INFO] [stdout] 123 | pub trait CurveGroup:
[INFO] [stdout]     |           ---------- required by a bound in this trait
[INFO] [stdout] help: consider further restricting the associated type
[INFO] [stdout]     |
[INFO] [stdout]  45 |         <Self::E as Pairing>::G2Affine: From<G2>, <G2 as CurveGroup>::Affine: Neg;
[INFO] [stdout]     |                                                 +++++++++++++++++++++++++++++++++
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0277]: the trait bound `<G1 as CurveGroup>::Affine: Neg` is not satisfied
[INFO] [stdout]    --> src/kzg/mod.rs:33:40
[INFO] [stdout]     |
[INFO] [stdout]  33 | pub trait BatchKZGSystem<F: Field, G1: CurveGroup<ScalarField = F>, G2: CurveGroup<ScalarField = F>> {
[INFO] [stdout]     |                                        ^^^^^^^^^^^^^^^^^^^^^^^^^^^ the trait `Neg` is not implemented for `<G1 as CurveGroup>::Affine`
[INFO] [stdout]     |
[INFO] [stdout] note: required by a bound in `CurveGroup`
[INFO] [stdout]    --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ark-ec-0.4.2/src/scalar_mul/mod.rs:41:11
[INFO] [stdout]     |
[INFO] [stdout]  41 |         + Neg<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.4.2/src/lib.rs:123:11
[INFO] [stdout]     |
[INFO] [stdout] 123 | pub trait CurveGroup:
[INFO] [stdout]     |           ---------- required by a bound in this trait
[INFO] [stdout] help: consider further restricting the associated type
[INFO] [stdout]     |
[INFO] [stdout]  51 |         <Self::E as Pairing>::G2Affine: From<G2>, <G1 as CurveGroup>::Affine: Neg;
[INFO] [stdout]     |                                                 +++++++++++++++++++++++++++++++++
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0277]: the trait bound `<G2 as CurveGroup>::Affine: Neg` is not satisfied
[INFO] [stdout]    --> src/kzg/mod.rs:33:73
[INFO] [stdout]     |
[INFO] [stdout]  33 | pub trait BatchKZGSystem<F: Field, G1: CurveGroup<ScalarField = F>, G2: CurveGroup<ScalarField = F>> {
[INFO] [stdout]     |                                                                         ^^^^^^^^^^^^^^^^^^^^^^^^^^^ the trait `Neg` is not implemented for `<G2 as CurveGroup>::Affine`
[INFO] [stdout]     |
[INFO] [stdout] note: required by a bound in `CurveGroup`
[INFO] [stdout]    --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ark-ec-0.4.2/src/scalar_mul/mod.rs:41:11
[INFO] [stdout]     |
[INFO] [stdout]  41 |         + Neg<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.4.2/src/lib.rs:123:11
[INFO] [stdout]     |
[INFO] [stdout] 123 | pub trait CurveGroup:
[INFO] [stdout]     |           ---------- required by a bound in this trait
[INFO] [stdout] help: consider further restricting the associated type
[INFO] [stdout]     |
[INFO] [stdout]  51 |         <Self::E as Pairing>::G2Affine: From<G2>, <G2 as CurveGroup>::Affine: Neg;
[INFO] [stdout]     |                                                 +++++++++++++++++++++++++++++++++
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0277]: the trait bound `<G as CurveGroup>::Affine: Neg` is not satisfied
[INFO] [stdout]    --> src/kzg/mod.rs:13:44
[INFO] [stdout]     |
[INFO] [stdout]  13 | pub struct BatchKZGCommitment<F: Field, G: CurveGroup<ScalarField = F>> {
[INFO] [stdout]     |                                            ^^^^^^^^^^^^^^^^^^^^^^^^^^^ the trait `Neg` is not implemented for `<G as CurveGroup>::Affine`
[INFO] [stdout]     |
[INFO] [stdout] note: required by a bound in `CurveGroup`
[INFO] [stdout]    --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ark-ec-0.4.2/src/scalar_mul/mod.rs:41:11
[INFO] [stdout]     |
[INFO] [stdout]  41 |         + Neg<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.4.2/src/lib.rs:123:11
[INFO] [stdout]     |
[INFO] [stdout] 123 | pub trait CurveGroup:
[INFO] [stdout]     |           ---------- required by a bound in this trait
[INFO] [stdout] help: consider introducing a `where` clause, but there might be an alternative better way to express this requirement
[INFO] [stdout]     |
[INFO] [stdout]  13 | pub struct BatchKZGCommitment<F: Field, G: CurveGroup<ScalarField = F>> where <G as CurveGroup>::Affine: Neg {
[INFO] [stdout]     |                                                                         ++++++++++++++++++++++++++++++++++++
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0277]: the trait bound `<G as CurveGroup>::Affine: Neg` is not satisfied
[INFO] [stdout]    --> src/kzg/mod.rs:13:44
[INFO] [stdout]     |
[INFO] [stdout]  13 | pub struct BatchKZGCommitment<F: Field, G: CurveGroup<ScalarField = F>> {
[INFO] [stdout]     |                                            ^^^^^^^^^^^^^^^^^^^^^^^^^^^ the trait `Neg` is not implemented for `<G as CurveGroup>::Affine`
[INFO] [stdout]     |
[INFO] [stdout] note: required by a bound in `CurveGroup`
[INFO] [stdout]    --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ark-ec-0.4.2/src/scalar_mul/mod.rs:41:11
[INFO] [stdout]     |
[INFO] [stdout]  41 |         + Neg<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.4.2/src/lib.rs:123:11
[INFO] [stdout]     |
[INFO] [stdout] 123 | pub trait CurveGroup:
[INFO] [stdout]     |           ---------- required by a bound in this trait
[INFO] [stdout] help: consider further restricting the associated type
[INFO] [stdout]     |
[INFO] [stdout]  13 | pub struct BatchKZGCommitment<F: Field, G: CurveGroup<ScalarField = F>> where <G as CurveGroup>::Affine: Neg {
[INFO] [stdout]     |                                                                         ++++++++++++++++++++++++++++++++++++
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0277]: the trait bound `<G as CurveGroup>::Affine: Neg` is not satisfied
[INFO] [stdout]    --> src/kzg/mod.rs:19:39
[INFO] [stdout]     |
[INFO] [stdout]  19 | pub struct BatchKZGProof<F: Field, G: CurveGroup<ScalarField = F>> {
[INFO] [stdout]     |                                       ^^^^^^^^^^^^^^^^^^^^^^^^^^^ the trait `Neg` is not implemented for `<G as CurveGroup>::Affine`
[INFO] [stdout]     |
[INFO] [stdout] note: required by a bound in `CurveGroup`
[INFO] [stdout]    --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ark-ec-0.4.2/src/scalar_mul/mod.rs:41:11
[INFO] [stdout]     |
[INFO] [stdout]  41 |         + Neg<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.4.2/src/lib.rs:123:11
[INFO] [stdout]     |
[INFO] [stdout] 123 | pub trait CurveGroup:
[INFO] [stdout]     |           ---------- required by a bound in this trait
[INFO] [stdout] help: consider introducing a `where` clause, but there might be an alternative better way to express this requirement
[INFO] [stdout]     |
[INFO] [stdout]  19 | pub struct BatchKZGProof<F: Field, G: CurveGroup<ScalarField = F>> where <G as CurveGroup>::Affine: Neg {
[INFO] [stdout]     |                                                                    ++++++++++++++++++++++++++++++++++++
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0277]: the trait bound `<G as CurveGroup>::Affine: Neg` is not satisfied
[INFO] [stdout]    --> src/kzg/mod.rs:19:39
[INFO] [stdout]     |
[INFO] [stdout]  19 | pub struct BatchKZGProof<F: Field, G: CurveGroup<ScalarField = F>> {
[INFO] [stdout]     |                                       ^^^^^^^^^^^^^^^^^^^^^^^^^^^ the trait `Neg` is not implemented for `<G as CurveGroup>::Affine`
[INFO] [stdout]     |
[INFO] [stdout] note: required by a bound in `CurveGroup`
[INFO] [stdout]    --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ark-ec-0.4.2/src/scalar_mul/mod.rs:41:11
[INFO] [stdout]     |
[INFO] [stdout]  41 |         + Neg<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.4.2/src/lib.rs:123:11
[INFO] [stdout]     |
[INFO] [stdout] 123 | pub trait CurveGroup:
[INFO] [stdout]     |           ---------- required by a bound in this trait
[INFO] [stdout] help: consider further restricting the associated type
[INFO] [stdout]     |
[INFO] [stdout]  19 | pub struct BatchKZGProof<F: Field, G: CurveGroup<ScalarField = F>> where <G as CurveGroup>::Affine: Neg {
[INFO] [stdout]     |                                                                    ++++++++++++++++++++++++++++++++++++
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0277]: the trait bound `<G1 as CurveGroup>::Affine: Neg` is not satisfied
[INFO] [stdout]    --> src/kzg/mod.rs:33:40
[INFO] [stdout]     |
[INFO] [stdout]  33 | pub trait BatchKZGSystem<F: Field, G1: CurveGroup<ScalarField = F>, G2: CurveGroup<ScalarField = F>> {
[INFO] [stdout]     |                                        ^^^^^^^^^^^^^^^^^^^^^^^^^^^ the trait `Neg` is not implemented for `<G1 as CurveGroup>::Affine`
[INFO] [stdout]     |
[INFO] [stdout] note: required by a bound in `CurveGroup`
[INFO] [stdout]    --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ark-ec-0.4.2/src/scalar_mul/mod.rs:41:11
[INFO] [stdout]     |
[INFO] [stdout]  41 |         + Neg<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.4.2/src/lib.rs:123:11
[INFO] [stdout]     |
[INFO] [stdout] 123 | pub trait CurveGroup:
[INFO] [stdout]     |           ---------- required by a bound in this trait
[INFO] [stdout] help: consider further restricting the associated type
[INFO] [stdout]     |
[INFO] [stdout]  33 | pub trait BatchKZGSystem<F: Field, G1: CurveGroup<ScalarField = F>, G2: CurveGroup<ScalarField = F>> where <G1 as CurveGroup>::Affine: Neg {
[INFO] [stdout]     |                                                                                                      +++++++++++++++++++++++++++++++++++++
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0277]: the trait bound `<G2 as CurveGroup>::Affine: Neg` is not satisfied
[INFO] [stdout]    --> src/kzg/mod.rs:33:73
[INFO] [stdout]     |
[INFO] [stdout]  33 | pub trait BatchKZGSystem<F: Field, G1: CurveGroup<ScalarField = F>, G2: CurveGroup<ScalarField = F>> {
[INFO] [stdout]     |                                                                         ^^^^^^^^^^^^^^^^^^^^^^^^^^^ the trait `Neg` is not implemented for `<G2 as CurveGroup>::Affine`
[INFO] [stdout]     |
[INFO] [stdout] note: required by a bound in `CurveGroup`
[INFO] [stdout]    --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ark-ec-0.4.2/src/scalar_mul/mod.rs:41:11
[INFO] [stdout]     |
[INFO] [stdout]  41 |         + Neg<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.4.2/src/lib.rs:123:11
[INFO] [stdout]     |
[INFO] [stdout] 123 | pub trait CurveGroup:
[INFO] [stdout]     |           ---------- required by a bound in this trait
[INFO] [stdout] help: consider further restricting the associated type
[INFO] [stdout]     |
[INFO] [stdout]  33 | pub trait BatchKZGSystem<F: Field, G1: CurveGroup<ScalarField = F>, G2: CurveGroup<ScalarField = F>> where <G2 as CurveGroup>::Affine: Neg {
[INFO] [stdout]     |                                                                                                      +++++++++++++++++++++++++++++++++++++
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0277]: the trait bound `<G as CurveGroup>::Affine: Neg` is not satisfied
[INFO] [stdout]    --> src/kzg/mod.rs:13:44
[INFO] [stdout]     |
[INFO] [stdout]  13 | pub struct BatchKZGCommitment<F: Field, G: CurveGroup<ScalarField = F>> {
[INFO] [stdout]     |                                            ^^^^^^^^^^^^^^^^^^^^^^^^^^^ the trait `Neg` is not implemented for `<G as CurveGroup>::Affine`
[INFO] [stdout]     |
[INFO] [stdout] note: required by a bound in `CurveGroup`
[INFO] [stdout]    --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ark-ec-0.4.2/src/scalar_mul/mod.rs:41:11
[INFO] [stdout]     |
[INFO] [stdout]  41 |         + Neg<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.4.2/src/lib.rs:123:11
[INFO] [stdout]     |
[INFO] [stdout] 123 | pub trait CurveGroup:
[INFO] [stdout]     |           ---------- required by a bound in this trait
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0277]: the trait bound `<G as CurveGroup>::Affine: Neg` is not satisfied
[INFO] [stdout]    --> src/kzg/mod.rs:19:39
[INFO] [stdout]     |
[INFO] [stdout]  19 | pub struct BatchKZGProof<F: Field, G: CurveGroup<ScalarField = F>> {
[INFO] [stdout]     |                                       ^^^^^^^^^^^^^^^^^^^^^^^^^^^ the trait `Neg` is not implemented for `<G as CurveGroup>::Affine`
[INFO] [stdout]     |
[INFO] [stdout] note: required by a bound in `CurveGroup`
[INFO] [stdout]    --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ark-ec-0.4.2/src/scalar_mul/mod.rs:41:11
[INFO] [stdout]     |
[INFO] [stdout]  41 |         + Neg<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.4.2/src/lib.rs:123:11
[INFO] [stdout]     |
[INFO] [stdout] 123 | pub trait CurveGroup:
[INFO] [stdout]     |           ---------- required by a bound in this trait
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0277]: the trait bound `<G1 as CurveGroup>::Affine: Neg` is not satisfied
[INFO] [stdout]    --> src/kzg/mod.rs:33:40
[INFO] [stdout]     |
[INFO] [stdout]  33 | pub trait BatchKZGSystem<F: Field, G1: CurveGroup<ScalarField = F>, G2: CurveGroup<ScalarField = F>> {
[INFO] [stdout]     |                                        ^^^^^^^^^^^^^^^^^^^^^^^^^^^ the trait `Neg` is not implemented for `<G1 as CurveGroup>::Affine`
[INFO] [stdout]     |
[INFO] [stdout] note: required by a bound in `CurveGroup`
[INFO] [stdout]    --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ark-ec-0.4.2/src/scalar_mul/mod.rs:41:11
[INFO] [stdout]     |
[INFO] [stdout]  41 |         + Neg<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.4.2/src/lib.rs:123:11
[INFO] [stdout]     |
[INFO] [stdout] 123 | pub trait CurveGroup:
[INFO] [stdout]     |           ---------- required by a bound in this trait
[INFO] [stdout] help: consider further restricting the associated type
[INFO] [stdout]     |
[INFO] [stdout]  45 |         <Self::E as Pairing>::G2Affine: From<G2>, <G1 as CurveGroup>::Affine: Neg;
[INFO] [stdout]     |                                                 +++++++++++++++++++++++++++++++++
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0277]: the trait bound `<G2 as CurveGroup>::Affine: Neg` is not satisfied
[INFO] [stdout]    --> src/kzg/mod.rs:33:73
[INFO] [stdout]     |
[INFO] [stdout]  33 | pub trait BatchKZGSystem<F: Field, G1: CurveGroup<ScalarField = F>, G2: CurveGroup<ScalarField = F>> {
[INFO] [stdout]     |                                                                         ^^^^^^^^^^^^^^^^^^^^^^^^^^^ the trait `Neg` is not implemented for `<G2 as CurveGroup>::Affine`
[INFO] [stdout]     |
[INFO] [stdout] note: required by a bound in `CurveGroup`
[INFO] [stdout]    --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ark-ec-0.4.2/src/scalar_mul/mod.rs:41:11
[INFO] [stdout]     |
[INFO] [stdout]  41 |         + Neg<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.4.2/src/lib.rs:123:11
[INFO] [stdout]     |
[INFO] [stdout] 123 | pub trait CurveGroup:
[INFO] [stdout]     |           ---------- required by a bound in this trait
[INFO] [stdout] help: consider further restricting the associated type
[INFO] [stdout]     |
[INFO] [stdout]  45 |         <Self::E as Pairing>::G2Affine: From<G2>, <G2 as CurveGroup>::Affine: Neg;
[INFO] [stdout]     |                                                 +++++++++++++++++++++++++++++++++
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0277]: the trait bound `<G1 as CurveGroup>::Affine: Neg` is not satisfied
[INFO] [stdout]    --> src/kzg/mod.rs:33:40
[INFO] [stdout]     |
[INFO] [stdout]  33 | pub trait BatchKZGSystem<F: Field, G1: CurveGroup<ScalarField = F>, G2: CurveGroup<ScalarField = F>> {
[INFO] [stdout]     |                                        ^^^^^^^^^^^^^^^^^^^^^^^^^^^ the trait `Neg` is not implemented for `<G1 as CurveGroup>::Affine`
[INFO] [stdout]     |
[INFO] [stdout] note: required by a bound in `CurveGroup`
[INFO] [stdout]    --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ark-ec-0.4.2/src/scalar_mul/mod.rs:41:11
[INFO] [stdout]     |
[INFO] [stdout]  41 |         + Neg<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.4.2/src/lib.rs:123:11
[INFO] [stdout]     |
[INFO] [stdout] 123 | pub trait CurveGroup:
[INFO] [stdout]     |           ---------- required by a bound in this trait
[INFO] [stdout] help: consider further restricting the associated type
[INFO] [stdout]     |
[INFO] [stdout]  51 |         <Self::E as Pairing>::G2Affine: From<G2>, <G1 as CurveGroup>::Affine: Neg;
[INFO] [stdout]     |                                                 +++++++++++++++++++++++++++++++++
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0277]: the trait bound `<G2 as CurveGroup>::Affine: Neg` is not satisfied
[INFO] [stdout]    --> src/kzg/mod.rs:33:73
[INFO] [stdout]     |
[INFO] [stdout]  33 | pub trait BatchKZGSystem<F: Field, G1: CurveGroup<ScalarField = F>, G2: CurveGroup<ScalarField = F>> {
[INFO] [stdout]     |                                                                         ^^^^^^^^^^^^^^^^^^^^^^^^^^^ the trait `Neg` is not implemented for `<G2 as CurveGroup>::Affine`
[INFO] [stdout]     |
[INFO] [stdout] note: required by a bound in `CurveGroup`
[INFO] [stdout]    --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ark-ec-0.4.2/src/scalar_mul/mod.rs:41:11
[INFO] [stdout]     |
[INFO] [stdout]  41 |         + Neg<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.4.2/src/lib.rs:123:11
[INFO] [stdout]     |
[INFO] [stdout] 123 | pub trait CurveGroup:
[INFO] [stdout]     |           ---------- required by a bound in this trait
[INFO] [stdout] help: consider further restricting the associated type
[INFO] [stdout]     |
[INFO] [stdout]  51 |         <Self::E as Pairing>::G2Affine: From<G2>, <G2 as CurveGroup>::Affine: Neg;
[INFO] [stdout]     |                                                 +++++++++++++++++++++++++++++++++
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `row`
[INFO] [stdout]    --> src/execution_trace.rs:561:19
[INFO] [stdout]     |
[INFO] [stdout] 561 |     for (row_idx, row) in gate_operations.iter().enumerate() {
[INFO] [stdout]     |                   ^^^ help: if this is intentional, prefix it with an underscore: `_row`
[INFO] [stdout]     |
[INFO] [stdout]     = note: `#[warn(unused_variables)]` (part of `#[warn(unused)]`) on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `coset_domain`
[INFO] [stdout]    --> src/execution_trace_polynomial.rs:111:5
[INFO] [stdout]     |
[INFO] [stdout] 111 |     coset_domain: &Radix2EvaluationDomain<F>,
[INFO] [stdout]     |     ^^^^^^^^^^^^ help: if this is intentional, prefix it with an underscore: `_coset_domain`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `domain_size`
[INFO] [stdout]   --> src/polynomial_constraints_fft.rs:16:9
[INFO] [stdout]    |
[INFO] [stdout] 16 |     let domain_size = domain.size();
[INFO] [stdout]    |         ^^^^^^^^^^^ help: if this is intentional, prefix it with an underscore: `_domain_size`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `b`
[INFO] [stdout]    --> src/language_frontend/type_checker.rs:140:20
[INFO] [stdout]     |
[INFO] [stdout] 140 |         Expr::Bool(b) => Ok((HashMap::new(), Type::Bool)),
[INFO] [stdout]     |                    ^ help: if this is intentional, prefix it with an underscore: `_b`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `row`
[INFO] [stdout]    --> src/execution_trace.rs:561:19
[INFO] [stdout]     |
[INFO] [stdout] 561 |     for (row_idx, row) in gate_operations.iter().enumerate() {
[INFO] [stdout]     |                   ^^^ help: if this is intentional, prefix it with an underscore: `_row`
[INFO] [stdout]     |
[INFO] [stdout]     = note: `#[warn(unused_variables)]` (part of `#[warn(unused)]`) on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] For more information about this error, try `rustc --explain E0277`.
[INFO] [stdout] 
[INFO] [stderr] error: could not compile `plonk` (lib) due to 12 previous errors; 12 warnings emitted
[INFO] [stderr] warning: build failed, waiting for other jobs to finish...
[INFO] [stdout] warning: unused variable: `coset_domain`
[INFO] [stdout]    --> src/execution_trace_polynomial.rs:111:5
[INFO] [stdout]     |
[INFO] [stdout] 111 |     coset_domain: &Radix2EvaluationDomain<F>,
[INFO] [stdout]     |     ^^^^^^^^^^^^ help: if this is intentional, prefix it with an underscore: `_coset_domain`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `domain_size`
[INFO] [stdout]   --> src/polynomial_constraints_fft.rs:16:9
[INFO] [stdout]    |
[INFO] [stdout] 16 |     let domain_size = domain.size();
[INFO] [stdout]    |         ^^^^^^^^^^^ help: if this is intentional, prefix it with an underscore: `_domain_size`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `b`
[INFO] [stdout]    --> src/language_frontend/type_checker.rs:140:20
[INFO] [stdout]     |
[INFO] [stdout] 140 |         Expr::Bool(b) => Ok((HashMap::new(), Type::Bool)),
[INFO] [stdout]     |                    ^ help: if this is intentional, prefix it with an underscore: `_b`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `typ`
[INFO] [stdout]   --> src/language_frontend/mod.rs:34:13
[INFO] [stdout]    |
[INFO] [stdout] 34 |         let typ = type_check(&ast)
[INFO] [stdout]    |             ^^^ help: if this is intentional, prefix it with an underscore: `_typ`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `ast`
[INFO] [stdout]   --> src/language_frontend/mod.rs:88:13
[INFO] [stdout]    |
[INFO] [stdout] 88 |         let ast = parser::ExprParser::new()
[INFO] [stdout]    |             ^^^ help: if this is intentional, prefix it with an underscore: `_ast`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `ast`
[INFO] [stdout]    --> src/language_frontend/mod.rs:105:13
[INFO] [stdout]     |
[INFO] [stdout] 105 |         let ast = parser::ExprParser::new()
[INFO] [stdout]     |             ^^^ help: if this is intentional, prefix it with an underscore: `_ast`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `ast`
[INFO] [stdout]    --> src/language_frontend/mod.rs:128:13
[INFO] [stdout]     |
[INFO] [stdout] 128 |         let ast = parser::ExprParser::new()
[INFO] [stdout]     |             ^^^ help: if this is intentional, prefix it with an underscore: `_ast`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] For more information about this error, try `rustc --explain E0277`.
[INFO] [stdout] 
[INFO] [stderr] error: could not compile `plonk` (lib test) due to 12 previous errors; 16 warnings emitted
[INFO] running `Command { std: "docker" "inspect" "4e66ab6d4d48a67213e83ec5211f75c2bf376bb3faec1dd4992a3d4e7b972ea2", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "4e66ab6d4d48a67213e83ec5211f75c2bf376bb3faec1dd4992a3d4e7b972ea2", kill_on_drop: false }`
[INFO] [stdout] 4e66ab6d4d48a67213e83ec5211f75c2bf376bb3faec1dd4992a3d4e7b972ea2