[INFO] fetching crate qp-plonky2 1.1.6... [INFO] checking qp-plonky2-1.1.6 against try#b6bca0d7327839b5e3f7a7779947cb9113d08917+rustflags=-Zstrict-projection-item-bounds for 150662-leaf [INFO] extracting crate qp-plonky2 1.1.6 into /workspace/builds/worker-5-tc2/source [INFO] removed /workspace/builds/worker-5-tc2/source/.cargo/config.toml [INFO] started tweaking crates.io crate qp-plonky2 1.1.6 [INFO] removed 0 missing examples [INFO] finished tweaking crates.io crate qp-plonky2 1.1.6 [INFO] tweaked toml for crates.io crate qp-plonky2 1.1.6 written to /workspace/builds/worker-5-tc2/source/Cargo.toml [INFO] validating manifest of crates.io crate qp-plonky2 1.1.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 qp-plonky2 1.1.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-5-tc2/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-5-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] efe0bd43c7febf6837f1d684133a989fd89cdf287bb8a2ef07b42e58826f0173 [INFO] running `Command { std: "docker" "start" "-a" "efe0bd43c7febf6837f1d684133a989fd89cdf287bb8a2ef07b42e58826f0173", kill_on_drop: false }` [INFO] running `Command { std: "docker" "inspect" "efe0bd43c7febf6837f1d684133a989fd89cdf287bb8a2ef07b42e58826f0173", kill_on_drop: false }` [INFO] running `Command { std: "docker" "rm" "-f" "efe0bd43c7febf6837f1d684133a989fd89cdf287bb8a2ef07b42e58826f0173", kill_on_drop: false }` [INFO] [stdout] efe0bd43c7febf6837f1d684133a989fd89cdf287bb8a2ef07b42e58826f0173 [INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-5-tc2/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-5-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] f8d63def687484c120f6c934473b1c62894348413c86cf3915305dffbea46bc4 [INFO] running `Command { std: "docker" "start" "-a" "f8d63def687484c120f6c934473b1c62894348413c86cf3915305dffbea46bc4", kill_on_drop: false }` [INFO] [stderr] Compiling unicode-ident v1.0.20 [INFO] [stderr] Compiling crunchy v0.2.4 [INFO] [stderr] Checking rand_core v0.9.3 [INFO] [stderr] Checking tracing-core v0.1.34 [INFO] [stderr] Compiling serde_core v1.0.228 [INFO] [stderr] Checking itertools v0.14.0 [INFO] [stderr] Checking p3-maybe-rayon v0.3.0 [INFO] [stderr] Compiling libc v0.2.177 [INFO] [stderr] Compiling syn v1.0.109 [INFO] [stderr] Compiling tiny-keccak v2.0.2 [INFO] [stderr] Checking getrandom v0.2.16 [INFO] [stderr] Compiling semver v1.0.27 [INFO] [stderr] Compiling once_cell v1.21.3 [INFO] [stderr] Checking transpose v0.2.3 [INFO] [stderr] Compiling ahash v0.8.12 [INFO] [stderr] Compiling anyhow v1.0.100 [INFO] [stderr] Checking hex v0.4.3 [INFO] [stderr] Compiling proc-macro2 v1.0.103 [INFO] [stderr] Checking rand_core v0.6.4 [INFO] [stderr] Checking byteorder v1.5.0 [INFO] [stderr] Checking fixed-hash v0.7.0 [INFO] [stderr] Checking itertools v0.11.0 [INFO] [stderr] Compiling proc-macro-error-attr v1.0.4 [INFO] [stderr] Checking plonky2_util v1.0.0 [INFO] [stderr] Checking rand v0.9.2 [INFO] [stderr] Checking memchr v2.7.6 [INFO] [stderr] Compiling cc v1.2.43 [INFO] [stderr] Compiling proc-macro-error v1.0.4 [INFO] [stderr] Checking ciborium-io v0.2.2 [INFO] [stderr] Checking regex-syntax v0.8.8 [INFO] [stderr] Checking clap_builder v4.5.50 [INFO] [stderr] Checking uint v0.9.5 [INFO] [stderr] Checking textwrap v0.11.0 [INFO] [stderr] Compiling rustc_version v0.4.1 [INFO] [stderr] Checking primitive-types v0.10.1 [INFO] [stderr] Compiling heck v0.3.3 [INFO] [stderr] Checking plonky2_maybe_rayon v1.0.0 [INFO] [stderr] Compiling quote v1.0.41 [INFO] [stderr] Checking cast v0.3.0 [INFO] [stderr] Checking web-time v1.1.0 [INFO] [stderr] Compiling syn v2.0.108 [INFO] [stderr] Checking minimal-lexical v0.2.1 [INFO] [stderr] Checking clap v2.34.0 [INFO] [stderr] Checking criterion-plot v0.5.0 [INFO] [stderr] Compiling qp-plonky2-field v1.1.6 [INFO] [stderr] Checking is-terminal v0.4.17 [INFO] [stderr] Checking nom v7.1.3 [INFO] [stderr] Checking anes v0.1.6 [INFO] [stderr] Checking half v1.8.3 [INFO] [stderr] Checking oorandom v11.1.5 [INFO] [stderr] Checking env_logger v0.9.3 [INFO] [stderr] Checking keccak-hash v0.8.0 [INFO] [stderr] Checking clap v4.5.50 [INFO] [stderr] Checking regex-automata v0.4.13 [INFO] [stderr] Compiling const-random-macro v0.1.16 [INFO] [stderr] Compiling jemalloc-sys v0.5.4+5.3.0-patched [INFO] [stderr] Checking const-random v0.1.18 [INFO] [stderr] Checking tynm v0.1.10 [INFO] [stderr] Checking regex v1.12.2 [INFO] [stderr] Checking serde_json v1.0.145 [INFO] [stderr] Compiling unroll v0.1.5 [INFO] [stderr] Compiling structopt-derive v0.4.18 [INFO] [stderr] Compiling zerocopy-derive v0.8.27 [INFO] [stderr] Compiling serde_derive v1.0.228 [INFO] [stderr] Compiling tracing-attributes v0.1.30 [INFO] [stderr] Checking structopt v0.3.26 [INFO] [stderr] Checking tracing v0.1.41 [INFO] [stderr] Checking zerocopy v0.8.27 [INFO] [stderr] Checking serde v1.0.228 [INFO] [stderr] Checking p3-util v0.3.0 [INFO] [stderr] Checking tinytemplate v1.2.1 [INFO] [stderr] Checking serde_cbor v0.11.2 [INFO] [stderr] Checking ppv-lite86 v0.2.21 [INFO] [stderr] Checking half v2.7.1 [INFO] [stderr] Checking rand_chacha v0.3.1 [INFO] [stderr] Checking rand_chacha v0.9.0 [INFO] [stderr] Checking hashbrown v0.14.5 [INFO] [stderr] Checking ciborium-ll v0.2.2 [INFO] [stderr] Checking rand v0.8.5 [INFO] [stderr] Checking ciborium v0.2.2 [INFO] [stderr] Checking criterion v0.5.1 [INFO] [stderr] Checking num-bigint v0.4.6 [INFO] [stderr] Checking num-complex v0.4.6 [INFO] [stderr] Checking p3-field v0.3.0 [INFO] [stderr] Checking num-rational v0.4.2 [INFO] [stderr] Checking num v0.4.3 [INFO] [stderr] Checking p3-matrix v0.3.0 [INFO] [stderr] Checking p3-symmetric v0.3.0 [INFO] [stderr] Checking p3-dft v0.3.0 [INFO] [stderr] Checking p3-mds v0.3.0 [INFO] [stderr] Checking p3-poseidon2 v0.3.0 [INFO] [stderr] Checking p3-goldilocks v0.3.0 [INFO] [stderr] Checking qp-poseidon-constants v1.1.0 [INFO] [stderr] Checking qp-plonky2-core v1.1.6 [INFO] [stderr] Checking qp-poseidon-core v1.3.0 [INFO] [stderr] Checking qp-plonky2-verifier v1.1.6 [INFO] [stderr] Checking qp-plonky2 v1.1.6 (/opt/rustwide/workdir) [INFO] [stdout] error[E0277]: the trait bound `>::FE: Frobenius<1>` is not satisfied [INFO] [stdout] --> src/batch_fri/oracle.rs:162:27 [INFO] [stdout] | [INFO] [stdout] 162 | alpha.reduce_polys_base(polys_coeff) [INFO] [stdout] | ^^^^^^^^^^^^^^^^^ the trait `Frobenius<1>` is not implemented for `>::FE` [INFO] [stdout] | [INFO] [stdout] note: required by a bound in `ReducingFactor::::reduce_polys_base` [INFO] [stdout] --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/qp-plonky2-field-1.1.6/src/extension/mod.rs:65:56 [INFO] [stdout] | [INFO] [stdout] 65 | type Extension: Field + OEF + Frobenius + From; [INFO] [stdout] | ^^^^^^^^^^^^ required by this bound in `ReducingFactor::::reduce_polys_base` [INFO] [stdout] | [INFO] [stdout] ::: /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/qp-plonky2-core-1.1.6/src/reducing.rs:74:12 [INFO] [stdout] | [INFO] [stdout] 74 | pub fn reduce_polys_base, const D: usize>( [INFO] [stdout] | ----------------- required by a bound in this associated function [INFO] [stdout] help: consider further restricting the associated type [INFO] [stdout] | [INFO] [stdout] 135 | ) -> FriProof where >::FE: Frobenius<1> { [INFO] [stdout] | +++++++++++++++++++++++++++++++++++++++++++++++ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0277]: the trait bound `&PolynomialCoeffs: Borrow>::FE>>` is not satisfied [INFO] [stdout] --> src/batch_fri/oracle.rs:162:27 [INFO] [stdout] | [INFO] [stdout] 162 | alpha.reduce_polys_base(polys_coeff) [INFO] [stdout] | ^^^^^^^^^^^^^^^^^ the trait `Borrow>::FE>>` is not implemented for `&PolynomialCoeffs` [INFO] [stdout] | [INFO] [stdout] note: required by a bound in `ReducingFactor::::reduce_polys_base` [INFO] [stdout] --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/qp-plonky2-core-1.1.6/src/reducing.rs:76:46 [INFO] [stdout] | [INFO] [stdout] 74 | pub fn reduce_polys_base, const D: usize>( [INFO] [stdout] | ----------------- required by a bound in this associated function [INFO] [stdout] 75 | &mut self, [INFO] [stdout] 76 | polys: impl IntoIterator>>, [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^ required by this bound in `ReducingFactor::::reduce_polys_base` [INFO] [stdout] help: consider introducing a `where` clause, but there might be an alternative better way to express this requirement [INFO] [stdout] | [INFO] [stdout] 135 | ) -> FriProof where &PolynomialCoeffs: Borrow>::FE>> { [INFO] [stdout] | +++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++ [INFO] [stdout] help: consider introducing a `where` clause, but there might be an alternative better way to express this requirement [INFO] [stdout] | [INFO] [stdout] 41 | BatchFriOracle where &PolynomialCoeffs: Borrow>::FE>> [INFO] [stdout] | +++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0277]: the trait bound `>::FE: From` is not satisfied [INFO] [stdout] --> src/batch_fri/oracle.rs:175:59 [INFO] [stdout] | [INFO] [stdout] 175 | lde_final_poly.coset_fft(F::coset_shift().into()) [INFO] [stdout] | ^^^^ the trait `From` is not implemented for `>::FE` [INFO] [stdout] | [INFO] [stdout] = note: required for `F` to implement `Into<>::FE>` [INFO] [stdout] help: consider further restricting the associated type [INFO] [stdout] | [INFO] [stdout] 135 | ) -> FriProof where >::FE: From { [INFO] [stdout] | ++++++++++++++++++++++++++++++++++++++++++ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0277]: the trait bound `>::FE: From` is not satisfied [INFO] [stdout] --> src/batch_fri/prover.rs:123:53 [INFO] [stdout] | [INFO] [stdout] 123 | final_values = final_coeffs.coset_fft(shift.into()); [INFO] [stdout] | ^^^^ the trait `From` is not implemented for `>::FE` [INFO] [stdout] | [INFO] [stdout] = note: required for `F` to implement `Into<>::FE>` [INFO] [stdout] help: consider further restricting the associated type [INFO] [stdout] | [INFO] [stdout] 97 | ) -> FriCommitedTrees where >::FE: From { [INFO] [stdout] | ++++++++++++++++++++++++++++++++++++++++++ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0277]: the trait bound `>::FE: From` is not satisfied [INFO] [stdout] --> src/batch_fri/prover.rs:136:62 [INFO] [stdout] | [INFO] [stdout] 136 | final_coeffs = final_values.clone().coset_ifft(shift.into()); [INFO] [stdout] | ^^^^ the trait `From` is not implemented for `>::FE` [INFO] [stdout] | [INFO] [stdout] = note: required for `F` to implement `Into<>::FE>` [INFO] [stdout] help: consider further restricting the associated type [INFO] [stdout] | [INFO] [stdout] 97 | ) -> FriCommitedTrees where >::FE: From { [INFO] [stdout] | ++++++++++++++++++++++++++++++++++++++++++ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0277]: the trait bound `>::FE: From` is not satisfied [INFO] [stdout] --> src/batch_fri/verifier.rs:246:42 [INFO] [stdout] | [INFO] [stdout] 246 | proof.final_poly.eval(subgroup_x.into()) == old_eval, [INFO] [stdout] | ^^^^ the trait `From` is not implemented for `>::FE` [INFO] [stdout] | [INFO] [stdout] = note: required for `F` to implement `Into<>::FE>` [INFO] [stdout] help: consider further restricting the associated type [INFO] [stdout] | [INFO] [stdout] 164 | ) -> anyhow::Result<()> where >::FE: From { [INFO] [stdout] | ++++++++++++++++++++++++++++++++++++++++++ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0277]: the trait bound `>::FE: Frobenius<1>` is not satisfied [INFO] [stdout] --> src/fri/oracle.rs:241:23 [INFO] [stdout] | [INFO] [stdout] 241 | alpha.reduce_polys_base(polys_coeff) [INFO] [stdout] | ^^^^^^^^^^^^^^^^^ the trait `Frobenius<1>` is not implemented for `>::FE` [INFO] [stdout] | [INFO] [stdout] note: required by a bound in `ReducingFactor::::reduce_polys_base` [INFO] [stdout] --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/qp-plonky2-field-1.1.6/src/extension/mod.rs:65:56 [INFO] [stdout] | [INFO] [stdout] 65 | type Extension: Field + OEF + Frobenius + From; [INFO] [stdout] | ^^^^^^^^^^^^ required by this bound in `ReducingFactor::::reduce_polys_base` [INFO] [stdout] | [INFO] [stdout] ::: /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/qp-plonky2-core-1.1.6/src/reducing.rs:74:12 [INFO] [stdout] | [INFO] [stdout] 74 | pub fn reduce_polys_base, const D: usize>( [INFO] [stdout] | ----------------- required by a bound in this associated function [INFO] [stdout] help: consider further restricting the associated type [INFO] [stdout] | [INFO] [stdout] 218 | ) -> FriProof where >::FE: Frobenius<1> { [INFO] [stdout] | +++++++++++++++++++++++++++++++++++++++++++++++ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0277]: the trait bound `&PolynomialCoeffs: Borrow>::FE>>` is not satisfied [INFO] [stdout] --> src/fri/oracle.rs:241:23 [INFO] [stdout] | [INFO] [stdout] 241 | alpha.reduce_polys_base(polys_coeff) [INFO] [stdout] | ^^^^^^^^^^^^^^^^^ the trait `Borrow>::FE>>` is not implemented for `&PolynomialCoeffs` [INFO] [stdout] | [INFO] [stdout] note: required by a bound in `ReducingFactor::::reduce_polys_base` [INFO] [stdout] --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/qp-plonky2-core-1.1.6/src/reducing.rs:76:46 [INFO] [stdout] | [INFO] [stdout] 74 | pub fn reduce_polys_base, const D: usize>( [INFO] [stdout] | ----------------- required by a bound in this associated function [INFO] [stdout] 75 | &mut self, [INFO] [stdout] 76 | polys: impl IntoIterator>>, [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^ required by this bound in `ReducingFactor::::reduce_polys_base` [INFO] [stdout] help: consider introducing a `where` clause, but there might be an alternative better way to express this requirement [INFO] [stdout] | [INFO] [stdout] 218 | ) -> FriProof where &PolynomialCoeffs: Borrow>::FE>> { [INFO] [stdout] | +++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++ [INFO] [stdout] help: consider introducing a `where` clause, but there might be an alternative better way to express this requirement [INFO] [stdout] | [INFO] [stdout] 54 | PolynomialBatch where &PolynomialCoeffs: Borrow>::FE>> [INFO] [stdout] | +++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0277]: the trait bound `>::FE: From` is not satisfied [INFO] [stdout] --> src/fri/oracle.rs:253:55 [INFO] [stdout] | [INFO] [stdout] 253 | lde_final_poly.coset_fft(F::coset_shift().into()) [INFO] [stdout] | ^^^^ the trait `From` is not implemented for `>::FE` [INFO] [stdout] | [INFO] [stdout] = note: required for `F` to implement `Into<>::FE>` [INFO] [stdout] help: consider further restricting the associated type [INFO] [stdout] | [INFO] [stdout] 218 | ) -> FriProof where >::FE: From { [INFO] [stdout] | ++++++++++++++++++++++++++++++++++++++++++ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0277]: the trait bound `>::FE: From` is not satisfied [INFO] [stdout] --> src/fri/prover.rs:119:41 [INFO] [stdout] | [INFO] [stdout] 119 | values = coeffs.coset_fft(shift.into()) [INFO] [stdout] | ^^^^ the trait `From` is not implemented for `>::FE` [INFO] [stdout] | [INFO] [stdout] = note: required for `F` to implement `Into<>::FE>` [INFO] [stdout] help: consider further restricting the associated type [INFO] [stdout] | [INFO] [stdout] 91 | ) -> FriCommitedTrees where >::FE: From { [INFO] [stdout] | ++++++++++++++++++++++++++++++++++++++++++ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0277]: cannot add `::Packing` to `F` [INFO] [stdout] --> src/gates/packed_util.rs:23:66 [INFO] [stdout] | [INFO] [stdout] 23 | let (vars_packed_iter, vars_leftovers_iter) = vars_batch.pack::<::Packing>(); [INFO] [stdout] | ^^^^ no implementation for `F + ::Packing` [INFO] [stdout] | [INFO] [stdout] note: required by a bound in `EvaluationVarsBaseBatch::<'a, F>::pack` [INFO] [stdout] --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/qp-plonky2-field-1.1.6/src/packed.rs:39:19 [INFO] [stdout] | [INFO] [stdout] 39 | Self::Scalar: Add, [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^ required by this bound in `EvaluationVarsBaseBatch::<'a, F>::pack` [INFO] [stdout] | [INFO] [stdout] ::: /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/qp-plonky2-core-1.1.6/src/plonk/vars.rs:112:12 [INFO] [stdout] | [INFO] [stdout] 112 | pub fn pack>( [INFO] [stdout] | ---- required by a bound in this associated function [INFO] [stdout] help: consider further restricting type parameter `F` with trait `Add` [INFO] [stdout] | [INFO] [stdout] 12 | pub trait PackedEvaluableBase + std::ops::Add<::Packing>, const D: usize>: Gate { [INFO] [stdout] | +++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0277]: cannot multiply `F` by `::Packing` [INFO] [stdout] --> src/gates/packed_util.rs:23:66 [INFO] [stdout] | [INFO] [stdout] 23 | let (vars_packed_iter, vars_leftovers_iter) = vars_batch.pack::<::Packing>(); [INFO] [stdout] | ^^^^ no implementation for `F * ::Packing` [INFO] [stdout] | [INFO] [stdout] note: required by a bound in `EvaluationVarsBaseBatch::<'a, F>::pack` [INFO] [stdout] --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/qp-plonky2-field-1.1.6/src/packed.rs:40:19 [INFO] [stdout] | [INFO] [stdout] 40 | Self::Scalar: Mul, [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^ required by this bound in `EvaluationVarsBaseBatch::<'a, F>::pack` [INFO] [stdout] | [INFO] [stdout] ::: /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/qp-plonky2-core-1.1.6/src/plonk/vars.rs:112:12 [INFO] [stdout] | [INFO] [stdout] 112 | pub fn pack>( [INFO] [stdout] | ---- required by a bound in this associated function [INFO] [stdout] help: consider further restricting type parameter `F` with trait `Mul` [INFO] [stdout] | [INFO] [stdout] 12 | pub trait PackedEvaluableBase + std::ops::Mul<::Packing>, const D: usize>: Gate { [INFO] [stdout] | +++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0277]: cannot subtract `::Packing` from `F` [INFO] [stdout] --> src/gates/packed_util.rs:23:66 [INFO] [stdout] | [INFO] [stdout] 23 | let (vars_packed_iter, vars_leftovers_iter) = vars_batch.pack::<::Packing>(); [INFO] [stdout] | ^^^^ no implementation for `F - ::Packing` [INFO] [stdout] | [INFO] [stdout] note: required by a bound in `EvaluationVarsBaseBatch::<'a, F>::pack` [INFO] [stdout] --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/qp-plonky2-field-1.1.6/src/packed.rs:41:19 [INFO] [stdout] | [INFO] [stdout] 41 | Self::Scalar: Sub, [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^ required by this bound in `EvaluationVarsBaseBatch::<'a, F>::pack` [INFO] [stdout] | [INFO] [stdout] ::: /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/qp-plonky2-core-1.1.6/src/plonk/vars.rs:112:12 [INFO] [stdout] | [INFO] [stdout] 112 | pub fn pack>( [INFO] [stdout] | ---- required by a bound in this associated function [INFO] [stdout] help: consider further restricting type parameter `F` with trait `Sub` [INFO] [stdout] | [INFO] [stdout] 12 | pub trait PackedEvaluableBase + std::ops::Sub<::Packing>, const D: usize>: Gate { [INFO] [stdout] | +++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0308]: mismatched types [INFO] [stdout] --> src/gates/packed_util.rs:27:17 [INFO] [stdout] | [INFO] [stdout] 12 | pub trait PackedEvaluableBase, const D: usize>: Gate { [INFO] [stdout] | - expected this type parameter [INFO] [stdout] ... [INFO] [stdout] 26 | self.eval_unfiltered_base_packed( [INFO] [stdout] | --------------------------- arguments to this method are incorrect [INFO] [stdout] 27 | vars_packed, [INFO] [stdout] | ^^^^^^^^^^^ expected `EvaluationVarsBasePacked<'_, F>`, found `EvaluationVarsBasePacked<'_, ...>` [INFO] [stdout] | [INFO] [stdout] = note: expected struct `EvaluationVarsBasePacked<'_, F>` [INFO] [stdout] found struct `EvaluationVarsBasePacked<'_, ::Packing>` [INFO] [stdout] note: method defined here [INFO] [stdout] --> src/gates/packed_util.rs:13:8 [INFO] [stdout] | [INFO] [stdout] 13 | fn eval_unfiltered_base_packed>( [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] 14 | &self, [INFO] [stdout] 15 | vars_base: EvaluationVarsBasePacked

, [INFO] [stdout] | --------- [INFO] [stdout] help: consider further restricting this bound [INFO] [stdout] | [INFO] [stdout] 12 | pub trait PackedEvaluableBase, const D: usize>: Gate { [INFO] [stdout] | +++++++++++++ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] Some errors have detailed explanations: E0277, E0308. [INFO] [stdout] [INFO] [stdout] For more information about an error, try `rustc --explain E0277`. [INFO] [stdout] [INFO] [stderr] error: could not compile `qp-plonky2` (lib) due to 14 previous errors [INFO] [stderr] warning: build failed, waiting for other jobs to finish... [INFO] running `Command { std: "docker" "inspect" "f8d63def687484c120f6c934473b1c62894348413c86cf3915305dffbea46bc4", kill_on_drop: false }` [INFO] running `Command { std: "docker" "rm" "-f" "f8d63def687484c120f6c934473b1c62894348413c86cf3915305dffbea46bc4", kill_on_drop: false }` [INFO] [stdout] f8d63def687484c120f6c934473b1c62894348413c86cf3915305dffbea46bc4