[INFO] cloning repository https://github.com/brudnevskij/toyplonk
[INFO] running `Command { std: "git" "-c" "credential.helper=" "-c" "credential.helper=/workspace/cargo-home/bin/git-credential-null" "clone" "--bare" "https://github.com/brudnevskij/toyplonk" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Fbrudnevskij%2Ftoyplonk", kill_on_drop: false }`
[INFO] [stderr] Cloning into bare repository '/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Fbrudnevskij%2Ftoyplonk'...
[INFO] running `Command { std: "git" "rev-parse" "HEAD", kill_on_drop: false }`
[INFO] [stdout] 457fbd463b452b41c8417b5ea71933f0daad78f5
[INFO] checking brudnevskij/toyplonk 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%2Fbrudnevskij%2Ftoyplonk" "/workspace/builds/worker-4-tc2/source", kill_on_drop: false }`
[INFO] [stderr] Cloning into '/workspace/builds/worker-4-tc2/source'...
[INFO] [stderr] done.
[INFO] started tweaking git repo https://github.com/brudnevskij/toyplonk
[INFO] finished tweaking git repo https://github.com/brudnevskij/toyplonk
[INFO] tweaked toml for git repo https://github.com/brudnevskij/toyplonk written to /workspace/builds/worker-4-tc2/source/Cargo.toml
[INFO] validating manifest of git repo https://github.com/brudnevskij/toyplonk 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/brudnevskij/toyplonk 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-4-tc2/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-4-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] 96b4043d6f812cf301d820a9e17f059915a6149b2613e4cfd15ad0264b4dd742
[INFO] running `Command { std: "docker" "start" "-a" "96b4043d6f812cf301d820a9e17f059915a6149b2613e4cfd15ad0264b4dd742", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "inspect" "96b4043d6f812cf301d820a9e17f059915a6149b2613e4cfd15ad0264b4dd742", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "96b4043d6f812cf301d820a9e17f059915a6149b2613e4cfd15ad0264b4dd742", kill_on_drop: false }`
[INFO] [stdout] 96b4043d6f812cf301d820a9e17f059915a6149b2613e4cfd15ad0264b4dd742
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-4-tc2/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-4-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] 8f6288ced39bf321262906b4654c7e05a396e08743f5e036c6bfe48f480b687d
[INFO] running `Command { std: "docker" "start" "-a" "8f6288ced39bf321262906b4654c7e05a396e08743f5e036c6bfe48f480b687d", kill_on_drop: false }`
[INFO] [stderr]    Compiling typenum v1.18.0
[INFO] [stderr]     Checking const-oid v0.10.1
[INFO] [stderr]    Compiling num-traits v0.2.19
[INFO] [stderr]     Checking ppv-lite86 v0.2.21
[INFO] [stderr]     Checking zeroize v1.8.1
[INFO] [stderr]     Checking rand_chacha v0.3.1
[INFO] [stderr]     Checking rand v0.8.5
[INFO] [stderr]    Compiling num-integer v0.1.46
[INFO] [stderr]     Checking ark-std v0.4.0
[INFO] [stderr]    Compiling num-bigint v0.4.6
[INFO] [stderr]     Checking generic-array v0.14.7
[INFO] [stderr]     Checking hybrid-array v0.3.1
[INFO] [stderr]     Checking crypto-common v0.1.6
[INFO] [stderr]     Checking digest v0.10.7
[INFO] [stderr]     Checking crypto-common v0.2.0-rc.3
[INFO] [stderr]     Checking block-buffer v0.11.0-rc.4
[INFO] [stderr]     Checking digest v0.11.0-rc.0
[INFO] [stderr]     Checking ark-serialize v0.4.2
[INFO] [stderr]     Checking sha2 v0.11.0-rc.0
[INFO] [stderr]    Compiling ark-ff-macros v0.4.2
[INFO] [stderr]     Checking ark-ff v0.4.2
[INFO] [stderr]     Checking ark-poly v0.4.2
[INFO] [stderr]     Checking ark-ec v0.4.2
[INFO] [stderr]     Checking ark-bls12-381 v0.4.0
[INFO] [stderr]     Checking toyplonk v0.1.0 (/opt/rustwide/workdir)
[INFO] [stdout] warning: unused import: `ark_bls12_381::Fr`
[INFO] [stdout]   --> src/gate.rs:72:9
[INFO] [stdout]    |
[INFO] [stdout] 72 |     use ark_bls12_381::Fr;
[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: `G1Affine`
[INFO] [stdout]    --> src/prover.rs:870:40
[INFO] [stdout]     |
[INFO] [stdout] 870 |     use ark_bls12_381::{Bls12_381, Fr, G1Affine, G1Projective, G2Projective};
[INFO] [stdout]     |                                        ^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0277]: the trait bound `<E as Pairing>::G1Affine: Neg` is not satisfied
[INFO] [stdout]    --> src/prover.rs:845:13
[INFO] [stdout]     |
[INFO] [stdout] 845 |         acc.into_affine()
[INFO] [stdout]     |             ^^^^^^^^^^^ the trait `Neg` is not implemented for `<E as Pairing>::G1Affine`
[INFO] [stdout]     |
[INFO] [stdout] note: required by a bound in `into_affine`
[INFO] [stdout]    --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ark-ec-0.4.2/src/scalar_mul/mod.rs:41:11
[INFO] [stdout]     |
[INFO] [stdout]  41 |         + Neg<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.4.2/src/lib.rs:157:8
[INFO] [stdout]     |
[INFO] [stdout] 157 |     fn into_affine(self) -> Self::Affine {
[INFO] [stdout]     |        ----------- required by a bound in this associated function
[INFO] [stdout] help: consider further restricting the associated type
[INFO] [stdout]     |
[INFO] [stdout] 835 |     ) -> E::G1Affine where <E as Pairing>::G1Affine: Neg {
[INFO] [stdout]     |                      +++++++++++++++++++++++++++++++++++
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0277]: the trait bound `<E as ark_ec::pairing::Pairing>::G1Affine: Neg` is not satisfied
[INFO] [stdout]    --> src/prover.rs:845:13
[INFO] [stdout]     |
[INFO] [stdout] 845 |         acc.into_affine()
[INFO] [stdout]     |             ^^^^^^^^^^^ the trait `Neg` is not implemented for `<E as ark_ec::pairing::Pairing>::G1Affine`
[INFO] [stdout]     |
[INFO] [stdout] note: required by a bound in `into_affine`
[INFO] [stdout]    --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ark-ec-0.4.2/src/scalar_mul/mod.rs:41:11
[INFO] [stdout]     |
[INFO] [stdout]  41 |         + Neg<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.4.2/src/lib.rs:157:8
[INFO] [stdout]     |
[INFO] [stdout] 157 |     fn into_affine(self) -> Self::Affine {
[INFO] [stdout]     |        ----------- required by a bound in this associated function
[INFO] [stdout] help: consider further restricting the associated type
[INFO] [stdout]     |
[INFO] [stdout] 835 |     ) -> E::G1Affine where <E as ark_ec::pairing::Pairing>::G1Affine: Neg {
[INFO] [stdout]     |                      ++++++++++++++++++++++++++++++++++++++++++++++++++++
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0277]: the trait bound `<E as Pairing>::G1Affine: Neg` is not satisfied
[INFO] [stdout]    --> src/main.rs:31:46
[INFO] [stdout]     |
[INFO] [stdout]  31 |         .map(|i| (g1 * tau.pow(&[i as u64])).into_affine())
[INFO] [stdout]     |                                              ^^^^^^^^^^^ the trait `Neg` is not implemented for `<E as Pairing>::G1Affine`
[INFO] [stdout]     |
[INFO] [stdout] note: required by a bound in `into_affine`
[INFO] [stdout]    --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ark-ec-0.4.2/src/scalar_mul/mod.rs:41:11
[INFO] [stdout]     |
[INFO] [stdout]  41 |         + Neg<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.4.2/src/lib.rs:157:8
[INFO] [stdout]     |
[INFO] [stdout] 157 |     fn into_affine(self) -> Self::Affine {
[INFO] [stdout]     |        ----------- required by a bound in this associated function
[INFO] [stdout] help: consider further restricting the associated type
[INFO] [stdout]     |
[INFO] [stdout]  26 | ) -> (Vec<E::G1Affine>, Vec<E::G2Affine>) where <E as Pairing>::G1Affine: Neg {
[INFO] [stdout]     |                                           +++++++++++++++++++++++++++++++++++
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0277]: the trait bound `<E as Pairing>::G2Affine: Neg` is not satisfied
[INFO] [stdout]    --> src/main.rs:35:46
[INFO] [stdout]     |
[INFO] [stdout]  35 |         .map(|i| (g2 * tau.pow(&[i as u64])).into_affine())
[INFO] [stdout]     |                                              ^^^^^^^^^^^ the trait `Neg` is not implemented for `<E as Pairing>::G2Affine`
[INFO] [stdout]     |
[INFO] [stdout] note: required by a bound in `into_affine`
[INFO] [stdout]    --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ark-ec-0.4.2/src/scalar_mul/mod.rs:41:11
[INFO] [stdout]     |
[INFO] [stdout]  41 |         + Neg<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.4.2/src/lib.rs:157:8
[INFO] [stdout]     |
[INFO] [stdout] 157 |     fn into_affine(self) -> Self::Affine {
[INFO] [stdout]     |        ----------- required by a bound in this associated function
[INFO] [stdout] help: consider further restricting the associated type
[INFO] [stdout]     |
[INFO] [stdout]  26 | ) -> (Vec<E::G1Affine>, Vec<E::G2Affine>) where <E as Pairing>::G2Affine: Neg {
[INFO] [stdout]     |                                           +++++++++++++++++++++++++++++++++++
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0277]: the trait bound `<E as ark_ec::pairing::Pairing>::G1Affine: Neg` is not satisfied
[INFO] [stdout]    --> src/prover.rs:889:54
[INFO] [stdout]     |
[INFO] [stdout] 889 |             .map(|i| (g1_gen * tau.pow(&[i as u64])).into_affine())
[INFO] [stdout]     |                                                      ^^^^^^^^^^^ the trait `Neg` is not implemented for `<E as ark_ec::pairing::Pairing>::G1Affine`
[INFO] [stdout]     |
[INFO] [stdout] note: required by a bound in `into_affine`
[INFO] [stdout]    --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ark-ec-0.4.2/src/scalar_mul/mod.rs:41:11
[INFO] [stdout]     |
[INFO] [stdout]  41 |         + Neg<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.4.2/src/lib.rs:157:8
[INFO] [stdout]     |
[INFO] [stdout] 157 |     fn into_affine(self) -> Self::Affine {
[INFO] [stdout]     |        ----------- required by a bound in this associated function
[INFO] [stdout] help: consider further restricting the associated type
[INFO] [stdout]     |
[INFO] [stdout] 882 |     fn dummy_crs<E: Pairing>(degree: usize) -> (Vec<E::G1Affine>, Vec<E::G2Affine>) where <E as ark_ec::pairing::Pairing>::G1Affine: Neg {
[INFO] [stdout]     |                                                                                     ++++++++++++++++++++++++++++++++++++++++++++++++++++
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0277]: the trait bound `<E as ark_ec::pairing::Pairing>::G2Affine: Neg` is not satisfied
[INFO] [stdout]    --> src/prover.rs:893:54
[INFO] [stdout]     |
[INFO] [stdout] 893 |             .map(|i| (g2_gen * tau.pow(&[i as u64])).into_affine())
[INFO] [stdout]     |                                                      ^^^^^^^^^^^ the trait `Neg` is not implemented for `<E as ark_ec::pairing::Pairing>::G2Affine`
[INFO] [stdout]     |
[INFO] [stdout] note: required by a bound in `into_affine`
[INFO] [stdout]    --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ark-ec-0.4.2/src/scalar_mul/mod.rs:41:11
[INFO] [stdout]     |
[INFO] [stdout]  41 |         + Neg<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.4.2/src/lib.rs:157:8
[INFO] [stdout]     |
[INFO] [stdout] 157 |     fn into_affine(self) -> Self::Affine {
[INFO] [stdout]     |        ----------- required by a bound in this associated function
[INFO] [stdout] help: consider further restricting the associated type
[INFO] [stdout]     |
[INFO] [stdout] 882 |     fn dummy_crs<E: Pairing>(degree: usize) -> (Vec<E::G1Affine>, Vec<E::G2Affine>) where <E as ark_ec::pairing::Pairing>::G2Affine: Neg {
[INFO] [stdout]     |                                                                                     ++++++++++++++++++++++++++++++++++++++++++++++++++++
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0277]: the trait bound `<E as ark_ec::pairing::Pairing>::G1Affine: Neg` is not satisfied
[INFO] [stdout]    --> src/prover.rs:908:54
[INFO] [stdout]     |
[INFO] [stdout] 908 |             .map(|i| (g1_gen * tau.pow(&[i as u64])).into_affine())
[INFO] [stdout]     |                                                      ^^^^^^^^^^^ the trait `Neg` is not implemented for `<E as ark_ec::pairing::Pairing>::G1Affine`
[INFO] [stdout]     |
[INFO] [stdout] note: required by a bound in `into_affine`
[INFO] [stdout]    --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ark-ec-0.4.2/src/scalar_mul/mod.rs:41:11
[INFO] [stdout]     |
[INFO] [stdout]  41 |         + Neg<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.4.2/src/lib.rs:157:8
[INFO] [stdout]     |
[INFO] [stdout] 157 |     fn into_affine(self) -> Self::Affine {
[INFO] [stdout]     |        ----------- required by a bound in this associated function
[INFO] [stdout] help: consider further restricting the associated type
[INFO] [stdout]     |
[INFO] [stdout] 901 |     ) -> (Vec<E::G1Affine>, Vec<E::G2Affine>, E::ScalarField) where <E as ark_ec::pairing::Pairing>::G1Affine: Neg {
[INFO] [stdout]     |                                                               ++++++++++++++++++++++++++++++++++++++++++++++++++++
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0277]: the trait bound `<E as ark_ec::pairing::Pairing>::G2Affine: Neg` is not satisfied
[INFO] [stdout]    --> src/prover.rs:912:54
[INFO] [stdout]     |
[INFO] [stdout] 912 |             .map(|i| (g2_gen * tau.pow(&[i as u64])).into_affine())
[INFO] [stdout]     |                                                      ^^^^^^^^^^^ the trait `Neg` is not implemented for `<E as ark_ec::pairing::Pairing>::G2Affine`
[INFO] [stdout]     |
[INFO] [stdout] note: required by a bound in `into_affine`
[INFO] [stdout]    --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ark-ec-0.4.2/src/scalar_mul/mod.rs:41:11
[INFO] [stdout]     |
[INFO] [stdout]  41 |         + Neg<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.4.2/src/lib.rs:157:8
[INFO] [stdout]     |
[INFO] [stdout] 157 |     fn into_affine(self) -> Self::Affine {
[INFO] [stdout]     |        ----------- required by a bound in this associated function
[INFO] [stdout] help: consider further restricting the associated type
[INFO] [stdout]     |
[INFO] [stdout] 901 |     ) -> (Vec<E::G1Affine>, Vec<E::G2Affine>, E::ScalarField) where <E as ark_ec::pairing::Pairing>::G2Affine: Neg {
[INFO] [stdout]     |                                                               ++++++++++++++++++++++++++++++++++++++++++++++++++++
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0277]: the trait bound `<E as ark_ec::pairing::Pairing>::G1Affine: Neg` is not satisfied
[INFO] [stdout]    --> src/verifier.rs:337:50
[INFO] [stdout]     |
[INFO] [stdout] 337 |             .map(|i| (g1 * tau.pow(&[i as u64])).into_affine())
[INFO] [stdout]     |                                                  ^^^^^^^^^^^ the trait `Neg` is not implemented for `<E as ark_ec::pairing::Pairing>::G1Affine`
[INFO] [stdout]     |
[INFO] [stdout] note: required by a bound in `into_affine`
[INFO] [stdout]    --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ark-ec-0.4.2/src/scalar_mul/mod.rs:41:11
[INFO] [stdout]     |
[INFO] [stdout]  41 |         + Neg<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.4.2/src/lib.rs:157:8
[INFO] [stdout]     |
[INFO] [stdout] 157 |     fn into_affine(self) -> Self::Affine {
[INFO] [stdout]     |        ----------- required by a bound in this associated function
[INFO] [stdout] help: consider further restricting the associated type
[INFO] [stdout]     |
[INFO] [stdout] 332 |     ) -> (Vec<E::G1Affine>, Vec<E::G2Affine>) where <E as ark_ec::pairing::Pairing>::G1Affine: Neg {
[INFO] [stdout]     |                                               ++++++++++++++++++++++++++++++++++++++++++++++++++++
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0277]: the trait bound `<E as ark_ec::pairing::Pairing>::G2Affine: Neg` is not satisfied
[INFO] [stdout]    --> src/verifier.rs:341:50
[INFO] [stdout]     |
[INFO] [stdout] 341 |             .map(|i| (g2 * tau.pow(&[i as u64])).into_affine())
[INFO] [stdout]     |                                                  ^^^^^^^^^^^ the trait `Neg` is not implemented for `<E as ark_ec::pairing::Pairing>::G2Affine`
[INFO] [stdout]     |
[INFO] [stdout] note: required by a bound in `into_affine`
[INFO] [stdout]    --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ark-ec-0.4.2/src/scalar_mul/mod.rs:41:11
[INFO] [stdout]     |
[INFO] [stdout]  41 |         + Neg<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.4.2/src/lib.rs:157:8
[INFO] [stdout]     |
[INFO] [stdout] 157 |     fn into_affine(self) -> Self::Affine {
[INFO] [stdout]     |        ----------- required by a bound in this associated function
[INFO] [stdout] help: consider further restricting the associated type
[INFO] [stdout]     |
[INFO] [stdout] 332 |     ) -> (Vec<E::G1Affine>, Vec<E::G2Affine>) where <E as ark_ec::pairing::Pairing>::G2Affine: Neg {
[INFO] [stdout]     |                                               ++++++++++++++++++++++++++++++++++++++++++++++++++++
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] For more information about this error, try `rustc --explain E0277`.
[INFO] [stdout] 
[INFO] [stderr] error: could not compile `toyplonk` (bin "toyplonk") due to 3 previous errors
[INFO] [stderr] warning: build failed, waiting for other jobs to finish...
[INFO] [stdout] error[E0277]: the trait bound `<E as ark_ec::pairing::Pairing>::G1Affine: Neg` is not satisfied
[INFO] [stdout]    --> src/main.rs:31:46
[INFO] [stdout]     |
[INFO] [stdout]  31 |         .map(|i| (g1 * tau.pow(&[i as u64])).into_affine())
[INFO] [stdout]     |                                              ^^^^^^^^^^^ the trait `Neg` is not implemented for `<E as ark_ec::pairing::Pairing>::G1Affine`
[INFO] [stdout]     |
[INFO] [stdout] note: required by a bound in `into_affine`
[INFO] [stdout]    --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ark-ec-0.4.2/src/scalar_mul/mod.rs:41:11
[INFO] [stdout]     |
[INFO] [stdout]  41 |         + Neg<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.4.2/src/lib.rs:157:8
[INFO] [stdout]     |
[INFO] [stdout] 157 |     fn into_affine(self) -> Self::Affine {
[INFO] [stdout]     |        ----------- required by a bound in this associated function
[INFO] [stdout] help: consider further restricting the associated type
[INFO] [stdout]     |
[INFO] [stdout]  26 | ) -> (Vec<E::G1Affine>, Vec<E::G2Affine>) where <E as ark_ec::pairing::Pairing>::G1Affine: Neg {
[INFO] [stdout]     |                                           ++++++++++++++++++++++++++++++++++++++++++++++++++++
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0277]: the trait bound `<E as ark_ec::pairing::Pairing>::G2Affine: Neg` is not satisfied
[INFO] [stdout]    --> src/main.rs:35:46
[INFO] [stdout]     |
[INFO] [stdout]  35 |         .map(|i| (g2 * tau.pow(&[i as u64])).into_affine())
[INFO] [stdout]     |                                              ^^^^^^^^^^^ the trait `Neg` is not implemented for `<E as ark_ec::pairing::Pairing>::G2Affine`
[INFO] [stdout]     |
[INFO] [stdout] note: required by a bound in `into_affine`
[INFO] [stdout]    --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ark-ec-0.4.2/src/scalar_mul/mod.rs:41:11
[INFO] [stdout]     |
[INFO] [stdout]  41 |         + Neg<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.4.2/src/lib.rs:157:8
[INFO] [stdout]     |
[INFO] [stdout] 157 |     fn into_affine(self) -> Self::Affine {
[INFO] [stdout]     |        ----------- required by a bound in this associated function
[INFO] [stdout] help: consider further restricting the associated type
[INFO] [stdout]     |
[INFO] [stdout]  26 | ) -> (Vec<E::G1Affine>, Vec<E::G2Affine>) where <E as ark_ec::pairing::Pairing>::G2Affine: Neg {
[INFO] [stdout]     |                                           ++++++++++++++++++++++++++++++++++++++++++++++++++++
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused import: `EvaluationDomain`
[INFO] [stdout]    --> src/circuit.rs:212:20
[INFO] [stdout]     |
[INFO] [stdout] 212 |     use ark_poly::{EvaluationDomain, Polynomial};
[INFO] [stdout]     |                    ^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused import: `AffineRepr`
[INFO] [stdout]    --> src/verifier.rs:317:18
[INFO] [stdout]     |
[INFO] [stdout] 317 |     use ark_ec::{AffineRepr, CurveGroup, Group};
[INFO] [stdout]     |                  ^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `t`
[INFO] [stdout]    --> src/circuit.rs:328:14
[INFO] [stdout]     |
[INFO] [stdout] 328 |         let (t, remainder) = gate_dsp.divide_with_q_and_r(&zh_dsp).unwrap();
[INFO] [stdout]     |              ^ help: if this is intentional, prefix it with an underscore: `_t`
[INFO] [stdout]     |
[INFO] [stdout]     = note: `#[warn(unused_variables)]` (part of `#[warn(unused)]`) on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `padding_index`
[INFO] [stdout]    --> src/permutation.rs:265:13
[INFO] [stdout]     |
[INFO] [stdout] 265 |         let padding_index = domain.len() - 1;
[INFO] [stdout]     |             ^^^^^^^^^^^^^ help: if this is intentional, prefix it with an underscore: `_padding_index`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `crs2`
[INFO] [stdout]    --> src/prover.rs:941:20
[INFO] [stdout]     |
[INFO] [stdout] 941 |         let (crs1, crs2) = dummy_crs::<Bls12_381>(3);
[INFO] [stdout]     |                    ^^^^ help: if this is intentional, prefix it with an underscore: `_crs2`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `g2`
[INFO] [stdout]     --> src/prover.rs:1155:13
[INFO] [stdout]      |
[INFO] [stdout] 1155 |         let g2 = G2Projective::generator().into_affine();
[INFO] [stdout]      |             ^^ help: if this is intentional, prefix it with an underscore: `_g2`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `g2`
[INFO] [stdout]     --> src/prover.rs:1293:13
[INFO] [stdout]      |
[INFO] [stdout] 1293 |         let g2 = G2Projective::generator().into_affine();
[INFO] [stdout]      |             ^^ help: if this is intentional, prefix it with an underscore: `_g2`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `g2`
[INFO] [stdout]     --> src/prover.rs:1319:13
[INFO] [stdout]      |
[INFO] [stdout] 1319 |         let g2 = G2Projective::generator().into_affine();
[INFO] [stdout]      |             ^^ help: if this is intentional, prefix it with an underscore: `_g2`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `g2`
[INFO] [stdout]     --> src/prover.rs:1357:13
[INFO] [stdout]      |
[INFO] [stdout] 1357 |         let g2 = G2Projective::generator().into_affine();
[INFO] [stdout]      |             ^^ help: if this is intentional, prefix it with an underscore: `_g2`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `g2`
[INFO] [stdout]     --> src/prover.rs:1373:13
[INFO] [stdout]      |
[INFO] [stdout] 1373 |         let g2 = G2Projective::generator().into_affine();
[INFO] [stdout]      |             ^^ help: if this is intentional, prefix it with an underscore: `_g2`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `g2`
[INFO] [stdout]     --> src/prover.rs:1437:13
[INFO] [stdout]      |
[INFO] [stdout] 1437 |         let g2 = G2Projective::generator().into_affine();
[INFO] [stdout]      |             ^^ help: if this is intentional, prefix it with an underscore: `_g2`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `g2`
[INFO] [stdout]     --> src/prover.rs:1629:13
[INFO] [stdout]      |
[INFO] [stdout] 1629 |         let g2 = G2Projective::generator().into_affine();
[INFO] [stdout]      |             ^^ help: if this is intentional, prefix it with an underscore: `_g2`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `t`
[INFO] [stdout]    --> src/verifier.rs:667:13
[INFO] [stdout]     |
[INFO] [stdout] 667 |         let t = d + g1 * r0;
[INFO] [stdout]     |             ^ help: if this is intentional, prefix it with an underscore: `_t`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] For more information about this error, try `rustc --explain E0277`.
[INFO] [stdout] 
[INFO] [stderr] error: could not compile `toyplonk` (bin "toyplonk" test) due to 9 previous errors; 15 warnings emitted
[INFO] running `Command { std: "docker" "inspect" "8f6288ced39bf321262906b4654c7e05a396e08743f5e036c6bfe48f480b687d", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "8f6288ced39bf321262906b4654c7e05a396e08743f5e036c6bfe48f480b687d", kill_on_drop: false }`
[INFO] [stdout] 8f6288ced39bf321262906b4654c7e05a396e08743f5e036c6bfe48f480b687d