[INFO] fetching crate w3f-plonk-common 0.0.6...
[INFO] checking w3f-plonk-common-0.0.6 against try#b6bca0d7327839b5e3f7a7779947cb9113d08917+rustflags=-Zstrict-projection-item-bounds for 150662-leaf
[INFO] extracting crate w3f-plonk-common 0.0.6 into /workspace/builds/worker-7-tc2/source
[INFO] started tweaking crates.io crate w3f-plonk-common 0.0.6
[INFO] finished tweaking crates.io crate w3f-plonk-common 0.0.6
[INFO] tweaked toml for crates.io crate w3f-plonk-common 0.0.6 written to /workspace/builds/worker-7-tc2/source/Cargo.toml
[INFO] validating manifest of crates.io crate w3f-plonk-common 0.0.6 on toolchain b6bca0d7327839b5e3f7a7779947cb9113d08917
[INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+b6bca0d7327839b5e3f7a7779947cb9113d08917" "metadata" "--manifest-path" "Cargo.toml" "--no-deps", kill_on_drop: false }`
[INFO] crate crates.io crate w3f-plonk-common 0.0.6 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] fbcf4bfe50f573ad0371d584e52eb3535052fe0284d6f5c4f8bdfecceeca7819
[INFO] running `Command { std: "docker" "start" "-a" "fbcf4bfe50f573ad0371d584e52eb3535052fe0284d6f5c4f8bdfecceeca7819", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "inspect" "fbcf4bfe50f573ad0371d584e52eb3535052fe0284d6f5c4f8bdfecceeca7819", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "fbcf4bfe50f573ad0371d584e52eb3535052fe0284d6f5c4f8bdfecceeca7819", kill_on_drop: false }`
[INFO] [stdout] fbcf4bfe50f573ad0371d584e52eb3535052fe0284d6f5c4f8bdfecceeca7819
[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] 8d7fd2cb34817578425526b1de8df5204d2b292d3284596a98c154f11c53d3b0
[INFO] running `Command { std: "docker" "start" "-a" "8d7fd2cb34817578425526b1de8df5204d2b292d3284596a98c154f11c53d3b0", kill_on_drop: false }`
[INFO] [stderr]    Compiling libc v0.2.181
[INFO] [stderr]    Compiling proc-macro2 v1.0.106
[INFO] [stderr]     Checking itertools v0.13.0
[INFO] [stderr]     Checking hashbrown v0.15.5
[INFO] [stderr]    Compiling num-traits v0.2.19
[INFO] [stderr]     Checking crypto-common v0.1.6
[INFO] [stderr]     Checking num-integer v0.1.46
[INFO] [stderr]     Checking regex-syntax v0.8.9
[INFO] [stderr]     Checking clap_builder v4.5.58
[INFO] [stderr]     Checking plotters v0.3.7
[INFO] [stderr]     Checking digest v0.10.7
[INFO] [stderr]     Checking num-bigint v0.4.6
[INFO] [stderr]    Compiling quote v1.0.44
[INFO] [stderr]     Checking regex-automata v0.4.14
[INFO] [stderr]    Compiling syn v2.0.115
[INFO] [stderr]     Checking getrandom v0.2.17
[INFO] [stderr]     Checking is-terminal v0.4.17
[INFO] [stderr]     Checking rand_core v0.6.4
[INFO] [stderr]     Checking clap v4.5.58
[INFO] [stderr]     Checking regex v1.12.3
[INFO] [stderr]    Compiling zerocopy-derive v0.8.39
[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 serde_derive v1.0.228
[INFO] [stderr]     Checking zeroize v1.8.2
[INFO] [stderr]     Checking merlin v3.0.0
[INFO] [stderr]    Compiling enum-ordinalize v4.3.2
[INFO] [stderr]    Compiling educe v0.6.0
[INFO] [stderr]     Checking zerocopy v0.8.39
[INFO] [stderr]     Checking serde v1.0.228
[INFO] [stderr]     Checking tinytemplate v1.2.1
[INFO] [stderr]     Checking ppv-lite86 v0.2.21
[INFO] [stderr]     Checking ahash v0.8.12
[INFO] [stderr]     Checking half v2.7.1
[INFO] [stderr]     Checking ciborium-ll v0.2.2
[INFO] [stderr]     Checking rand_chacha v0.3.1
[INFO] [stderr]     Checking ciborium v0.2.2
[INFO] [stderr]     Checking rand v0.8.5
[INFO] [stderr]     Checking criterion v0.5.1
[INFO] [stderr]     Checking ark-std v0.5.0
[INFO] [stderr]     Checking getrandom_or_panic v0.0.3
[INFO] [stderr]     Checking ark-serialize v0.5.0
[INFO] [stderr]     Checking ark-ff v0.5.0
[INFO] [stderr]     Checking ark-poly v0.5.0
[INFO] [stderr]     Checking ark-ec v0.5.0
[INFO] [stderr]     Checking ark-bls12-381 v0.5.0
[INFO] [stderr]     Checking w3f-pcs v0.0.5
[INFO] [stderr]     Checking ark-ed-on-bls12-381-bandersnatch v0.5.0
[INFO] [stderr]     Checking w3f-plonk-common v0.0.6 (/opt/rustwide/workdir)
[INFO] [stdout] error[E0271]: type mismatch resolving `<P as Neg>::Output == P`
[INFO] [stdout]    --> src/gadgets/ec/te_doubling.rs:49:37
[INFO] [stdout]     |
[INFO] [stdout]  27 | impl<F, P: AffineRepr<BaseField = F>> Doubling<F, P>
[INFO] [stdout]     |         - expected this type parameter
[INFO] [stdout] ...
[INFO] [stdout]  49 |         CurveGroup::normalize_batch(&doublings)
[INFO] [stdout]     |         --------------------------- ^^^^^^^^^^ expected type parameter `P`, found associated type
[INFO] [stdout]     |         |
[INFO] [stdout]     |         required by a bound introduced by this call
[INFO] [stdout]     |
[INFO] [stdout]     = note: expected type parameter `P`
[INFO] [stdout]               found associated type `<P as Neg>::Output`
[INFO] [stdout] note: required by a bound in `normalize_batch`
[INFO] [stdout]    --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ark-ec-0.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::normalize_batch`
[INFO] [stdout]     |
[INFO] [stdout]    ::: /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ark-ec-0.5.0/src/lib.rs:109:8
[INFO] [stdout]     |
[INFO] [stdout] 109 |     fn normalize_batch(v: &[Self]) -> Vec<Self::Affine>;
[INFO] [stdout]     |        --------------- required by a bound in this associated function
[INFO] [stdout] help: consider further restricting this bound
[INFO] [stdout]     |
[INFO] [stdout]  27 | impl<F, P: AffineRepr<BaseField = F><Output = P>> Doubling<F, P>
[INFO] [stdout]     |                                     ++++++++++++
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0271]: type mismatch resolving `<P as Neg>::Output == P`
[INFO] [stdout]    --> src/gadgets/ec/mod.rs:90:46
[INFO] [stdout]     |
[INFO] [stdout]  59 | impl<F, P: AffineRepr<BaseField = F>> CondAdd<F, P>
[INFO] [stdout]     |         - expected this type parameter
[INFO] [stdout] ...
[INFO] [stdout]  90 |         acc.extend(P::Group::normalize_batch(&projective_points));
[INFO] [stdout]     |                    ------------------------- ^^^^^^^^^^^^^^^^^^ expected type parameter `P`, found associated type
[INFO] [stdout]     |                    |
[INFO] [stdout]     |                    required by a bound introduced by this call
[INFO] [stdout]     |
[INFO] [stdout]     = note: expected type parameter `P`
[INFO] [stdout]               found associated type `<P as Neg>::Output`
[INFO] [stdout] note: required by a bound in `normalize_batch`
[INFO] [stdout]    --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ark-ec-0.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::normalize_batch`
[INFO] [stdout]     |
[INFO] [stdout]    ::: /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ark-ec-0.5.0/src/lib.rs:109:8
[INFO] [stdout]     |
[INFO] [stdout] 109 |     fn normalize_batch(v: &[Self]) -> Vec<Self::Affine>;
[INFO] [stdout]     |        --------------- required by a bound in this associated function
[INFO] [stdout] help: consider further restricting this bound
[INFO] [stdout]     |
[INFO] [stdout]  59 | impl<F, P: AffineRepr<BaseField = F><Output = P>> CondAdd<F, P>
[INFO] [stdout]     |                                     ++++++++++++
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0271]: type mismatch resolving `<P as Neg>::Output == P`
[INFO] [stdout]    --> src/gadgets/ec/mod.rs:93:29
[INFO] [stdout]     |
[INFO] [stdout]  59 | impl<F, P: AffineRepr<BaseField = F>> CondAdd<F, P>
[INFO] [stdout]     |         - expected this type parameter
[INFO] [stdout] ...
[INFO] [stdout]  93 |         let result = result.into_affine();
[INFO] [stdout]     |                             ^^^^^^^^^^^ expected type parameter `P`, found associated type
[INFO] [stdout]     |
[INFO] [stdout]     = note: expected type parameter `P`
[INFO] [stdout]               found associated type `<P as Neg>::Output`
[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] help: consider further restricting this bound
[INFO] [stdout]     |
[INFO] [stdout]  59 | impl<F, P: AffineRepr<BaseField = F><Output = P>> CondAdd<F, P>
[INFO] [stdout]     |                                     ++++++++++++
[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/kzg_acc.rs:139:14
[INFO] [stdout]     |
[INFO] [stdout] 139 |             .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: the method call chain might not have had the expected associated types
[INFO] [stdout]    --> src/kzg_acc.rs:138:14
[INFO] [stdout]     |
[INFO] [stdout] 137 |         let proof = E::G1::msm(&self.kzg_proofs, &self.randomizers)
[INFO] [stdout]     |                     ----------------------------------------------- this expression has type `Result<<E as Pairing>::G1, usize>`
[INFO] [stdout] 138 |             .unwrap()
[INFO] [stdout]     |              ^^^^^^^^ `Neg::Output` is `<E as Pairing>::G1` here
[INFO] [stdout] note: required by a bound in `into_affine`
[INFO] [stdout]    --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ark-ec-0.5.0/src/scalar_mul/mod.rs:82:15
[INFO] [stdout]     |
[INFO] [stdout]  82 |         + Neg<Output = Self::MulBase>
[INFO] [stdout]     |               ^^^^^^^^^^^^^^^^^^^^^^ required by this bound in `CurveGroup::into_affine`
[INFO] [stdout]     |
[INFO] [stdout]    ::: /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ark-ec-0.5.0/src/lib.rs:112:8
[INFO] [stdout]     |
[INFO] [stdout] 112 |     fn into_affine(self) -> Self::Affine {
[INFO] [stdout]     |        ----------- required by a bound in this associated function
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0271]: type mismatch resolving `<<E as Pairing>::G1Affine as Neg>::Output == <E as Pairing>::G1Affine`
[INFO] [stdout]    --> src/kzg_acc.rs:143:79
[INFO] [stdout]     |
[INFO] [stdout] 143 |         let acc = (-E::G1::msm(&self.acc_points, &self.acc_scalars).unwrap()).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 `<P as Neg>::Output == P`
[INFO] [stdout]    --> src/test_helpers.rs:24:10
[INFO] [stdout]     |
[INFO] [stdout]  14 | pub fn cond_sum<P>(bitmask: &[bool], points: &[P]) -> P
[INFO] [stdout]     |                 - expected this type parameter
[INFO] [stdout] ...
[INFO] [stdout]  24 |         .into_affine()
[INFO] [stdout]     |          ^^^^^^^^^^^ expected type parameter `P`, found associated type
[INFO] [stdout]     |
[INFO] [stdout]     = note: expected type parameter `P`
[INFO] [stdout]               found associated type `<P as Neg>::Output`
[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] help: consider further restricting this bound
[INFO] [stdout]     |
[INFO] [stdout]  16 |     P: AffineRepr<Output = P>,
[INFO] [stdout]     |                  ++++++++++++
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0271]: type mismatch resolving `<P as Neg>::Output == P`
[INFO] [stdout]    --> src/gadgets/ec/te_doubling.rs:49:37
[INFO] [stdout]     |
[INFO] [stdout]  27 | impl<F, P: AffineRepr<BaseField = F>> Doubling<F, P>
[INFO] [stdout]     |         - expected this type parameter
[INFO] [stdout] ...
[INFO] [stdout]  49 |         CurveGroup::normalize_batch(&doublings)
[INFO] [stdout]     |         --------------------------- ^^^^^^^^^^ expected type parameter `P`, found associated type
[INFO] [stdout]     |         |
[INFO] [stdout]     |         required by a bound introduced by this call
[INFO] [stdout]     |
[INFO] [stdout]     = note: expected type parameter `P`
[INFO] [stdout]               found associated type `<P as Neg>::Output`
[INFO] [stdout] note: required by a bound in `normalize_batch`
[INFO] [stdout]    --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ark-ec-0.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::normalize_batch`
[INFO] [stdout]     |
[INFO] [stdout]    ::: /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ark-ec-0.5.0/src/lib.rs:109:8
[INFO] [stdout]     |
[INFO] [stdout] 109 |     fn normalize_batch(v: &[Self]) -> Vec<Self::Affine>;
[INFO] [stdout]     |        --------------- required by a bound in this associated function
[INFO] [stdout] help: consider further restricting this bound
[INFO] [stdout]     |
[INFO] [stdout]  27 | impl<F, P: AffineRepr<BaseField = F><Output = P>> Doubling<F, P>
[INFO] [stdout]     |                                     ++++++++++++
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0271]: type mismatch resolving `<P as Neg>::Output == P`
[INFO] [stdout]    --> src/gadgets/ec/mod.rs:90:46
[INFO] [stdout]     |
[INFO] [stdout]  59 | impl<F, P: AffineRepr<BaseField = F>> CondAdd<F, P>
[INFO] [stdout]     |         - expected this type parameter
[INFO] [stdout] ...
[INFO] [stdout]  90 |         acc.extend(P::Group::normalize_batch(&projective_points));
[INFO] [stdout]     |                    ------------------------- ^^^^^^^^^^^^^^^^^^ expected type parameter `P`, found associated type
[INFO] [stdout]     |                    |
[INFO] [stdout]     |                    required by a bound introduced by this call
[INFO] [stdout]     |
[INFO] [stdout]     = note: expected type parameter `P`
[INFO] [stdout]               found associated type `<P as Neg>::Output`
[INFO] [stdout] note: required by a bound in `normalize_batch`
[INFO] [stdout]    --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ark-ec-0.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::normalize_batch`
[INFO] [stdout]     |
[INFO] [stdout]    ::: /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ark-ec-0.5.0/src/lib.rs:109:8
[INFO] [stdout]     |
[INFO] [stdout] 109 |     fn normalize_batch(v: &[Self]) -> Vec<Self::Affine>;
[INFO] [stdout]     |        --------------- required by a bound in this associated function
[INFO] [stdout] help: consider further restricting this bound
[INFO] [stdout]     |
[INFO] [stdout]  59 | impl<F, P: AffineRepr<BaseField = F><Output = P>> CondAdd<F, P>
[INFO] [stdout]     |                                     ++++++++++++
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0271]: type mismatch resolving `<P as Neg>::Output == P`
[INFO] [stdout]    --> src/gadgets/ec/mod.rs:93:29
[INFO] [stdout]     |
[INFO] [stdout]  59 | impl<F, P: AffineRepr<BaseField = F>> CondAdd<F, P>
[INFO] [stdout]     |         - expected this type parameter
[INFO] [stdout] ...
[INFO] [stdout]  93 |         let result = result.into_affine();
[INFO] [stdout]     |                             ^^^^^^^^^^^ expected type parameter `P`, found associated type
[INFO] [stdout]     |
[INFO] [stdout]     = note: expected type parameter `P`
[INFO] [stdout]               found associated type `<P as Neg>::Output`
[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] help: consider further restricting this bound
[INFO] [stdout]     |
[INFO] [stdout]  59 | impl<F, P: AffineRepr<BaseField = F><Output = P>> CondAdd<F, P>
[INFO] [stdout]     |                                     ++++++++++++
[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/kzg_acc.rs:139:14
[INFO] [stdout]     |
[INFO] [stdout] 139 |             .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: the method call chain might not have had the expected associated types
[INFO] [stdout]    --> src/kzg_acc.rs:138:14
[INFO] [stdout]     |
[INFO] [stdout] 137 |         let proof = E::G1::msm(&self.kzg_proofs, &self.randomizers)
[INFO] [stdout]     |                     ----------------------------------------------- this expression has type `Result<<E as Pairing>::G1, usize>`
[INFO] [stdout] 138 |             .unwrap()
[INFO] [stdout]     |              ^^^^^^^^ `Neg::Output` is `<E as Pairing>::G1` here
[INFO] [stdout] note: required by a bound in `into_affine`
[INFO] [stdout]    --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ark-ec-0.5.0/src/scalar_mul/mod.rs:82:15
[INFO] [stdout]     |
[INFO] [stdout]  82 |         + Neg<Output = Self::MulBase>
[INFO] [stdout]     |               ^^^^^^^^^^^^^^^^^^^^^^ required by this bound in `CurveGroup::into_affine`
[INFO] [stdout]     |
[INFO] [stdout]    ::: /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ark-ec-0.5.0/src/lib.rs:112:8
[INFO] [stdout]     |
[INFO] [stdout] 112 |     fn into_affine(self) -> Self::Affine {
[INFO] [stdout]     |        ----------- required by a bound in this associated function
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0271]: type mismatch resolving `<<E as Pairing>::G1Affine as Neg>::Output == <E as Pairing>::G1Affine`
[INFO] [stdout]    --> src/kzg_acc.rs:143:79
[INFO] [stdout]     |
[INFO] [stdout] 143 |         let acc = (-E::G1::msm(&self.acc_points, &self.acc_scalars).unwrap()).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 `<P as Neg>::Output == P`
[INFO] [stdout]    --> src/test_helpers.rs:24:10
[INFO] [stdout]     |
[INFO] [stdout]  14 | pub fn cond_sum<P>(bitmask: &[bool], points: &[P]) -> P
[INFO] [stdout]     |                 - expected this type parameter
[INFO] [stdout] ...
[INFO] [stdout]  24 |         .into_affine()
[INFO] [stdout]     |          ^^^^^^^^^^^ expected type parameter `P`, found associated type
[INFO] [stdout]     |
[INFO] [stdout]     = note: expected type parameter `P`
[INFO] [stdout]               found associated type `<P as Neg>::Output`
[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] help: consider further restricting this bound
[INFO] [stdout]     |
[INFO] [stdout]  16 |     P: AffineRepr<Output = P>,
[INFO] [stdout]     |                  ++++++++++++
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] For more information about this error, try `rustc --explain E0271`.
[INFO] [stdout] 
[INFO] [stderr] error: could not compile `w3f-plonk-common` (lib test) due to 6 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 `w3f-plonk-common` (lib) due to 6 previous errors
[INFO] running `Command { std: "docker" "inspect" "8d7fd2cb34817578425526b1de8df5204d2b292d3284596a98c154f11c53d3b0", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "8d7fd2cb34817578425526b1de8df5204d2b292d3284596a98c154f11c53d3b0", kill_on_drop: false }`
[INFO] [stdout] 8d7fd2cb34817578425526b1de8df5204d2b292d3284596a98c154f11c53d3b0