[INFO] fetching crate plonky2 1.1.0... [INFO] checking plonky2-1.1.0 against try#b6bca0d7327839b5e3f7a7779947cb9113d08917+rustflags=-Zstrict-projection-item-bounds for 150662-leaf [INFO] extracting crate plonky2 1.1.0 into /workspace/builds/worker-3-tc2/source [INFO] removed /workspace/builds/worker-3-tc2/source/.cargo/config.toml [INFO] started tweaking crates.io crate plonky2 1.1.0 [INFO] removed 0 missing examples [INFO] finished tweaking crates.io crate plonky2 1.1.0 [INFO] tweaked toml for crates.io crate plonky2 1.1.0 written to /workspace/builds/worker-3-tc2/source/Cargo.toml [INFO] validating manifest of crates.io crate plonky2 1.1.0 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 plonky2 1.1.0 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-3-tc2/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-3-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] 01154006003a314e9971c519bd3d7e23681f60501712ba54884110adf07b1e44 [INFO] running `Command { std: "docker" "start" "-a" "01154006003a314e9971c519bd3d7e23681f60501712ba54884110adf07b1e44", kill_on_drop: false }` [INFO] running `Command { std: "docker" "inspect" "01154006003a314e9971c519bd3d7e23681f60501712ba54884110adf07b1e44", kill_on_drop: false }` [INFO] running `Command { std: "docker" "rm" "-f" "01154006003a314e9971c519bd3d7e23681f60501712ba54884110adf07b1e44", kill_on_drop: false }` [INFO] [stdout] 01154006003a314e9971c519bd3d7e23681f60501712ba54884110adf07b1e44 [INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-3-tc2/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-3-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] fd5bad3c3e6b026fc66fced64cd05d373e431191a543723a16a39dad4895de59 [INFO] running `Command { std: "docker" "start" "-a" "fd5bad3c3e6b026fc66fced64cd05d373e431191a543723a16a39dad4895de59", kill_on_drop: false }` [INFO] [stderr] Compiling proc-macro2 v1.0.92 [INFO] [stderr] Compiling unicode-ident v1.0.14 [INFO] [stderr] Compiling libc v0.2.167 [INFO] [stderr] Compiling serde v1.0.215 [INFO] [stderr] Compiling crossbeam-utils v0.8.20 [INFO] [stderr] Checking either v1.13.0 [INFO] [stderr] Compiling crunchy v0.2.2 [INFO] [stderr] Compiling num-traits v0.2.19 [INFO] [stderr] Compiling once_cell v1.20.2 [INFO] [stderr] Compiling ahash v0.8.11 [INFO] [stderr] Compiling anyhow v1.0.93 [INFO] [stderr] Checking hex v0.4.3 [INFO] [stderr] Compiling tiny-keccak v2.0.2 [INFO] [stderr] Compiling cc v1.2.10 [INFO] [stderr] Compiling serde_json v1.0.133 [INFO] [stderr] Checking itertools v0.11.0 [INFO] [stderr] Checking half v2.4.1 [INFO] [stderr] Checking regex-syntax v0.8.5 [INFO] [stderr] Checking ryu v1.0.18 [INFO] [stderr] Checking plonky2_util v1.0.0 [INFO] [stderr] Compiling unicode-segmentation v1.12.0 [INFO] [stderr] Checking clap_builder v4.5.21 [INFO] [stderr] Checking uint v0.9.5 [INFO] [stderr] Checking itertools v0.10.5 [INFO] [stderr] Checking minimal-lexical v0.2.1 [INFO] [stderr] Checking web-time v1.1.0 [INFO] [stderr] Compiling heck v0.3.3 [INFO] [stderr] Checking primitive-types v0.10.1 [INFO] [stderr] Checking ciborium-ll v0.2.2 [INFO] [stderr] Checking nom v7.1.3 [INFO] [stderr] Checking clap v2.34.0 [INFO] [stderr] Checking oorandom v11.1.4 [INFO] [stderr] Checking half v1.8.3 [INFO] [stderr] Checking env_logger v0.9.3 [INFO] [stderr] Compiling getrandom v0.2.15 [INFO] [stderr] Checking crossbeam-epoch v0.9.18 [INFO] [stderr] Compiling quote v1.0.37 [INFO] [stderr] Compiling const-random-macro v0.1.16 [INFO] [stderr] Checking regex-automata v0.4.9 [INFO] [stderr] Checking num-integer v0.1.46 [INFO] [stderr] Checking const-random v0.1.18 [INFO] [stderr] Checking crossbeam-deque v0.8.5 [INFO] [stderr] Checking criterion-plot v0.5.0 [INFO] [stderr] Checking rayon-core v1.12.1 [INFO] [stderr] Checking is-terminal v0.4.13 [INFO] [stderr] Checking num_cpus v1.16.0 [INFO] [stderr] Compiling syn v2.0.90 [INFO] [stderr] Compiling syn v1.0.109 [INFO] [stderr] Checking num-iter v0.1.45 [INFO] [stderr] Compiling proc-macro-error-attr v1.0.4 [INFO] [stderr] Checking rand_core v0.6.4 [INFO] [stderr] Checking rayon v1.10.0 [INFO] [stderr] Checking clap v4.5.21 [INFO] [stderr] Checking keccak-hash v0.8.0 [INFO] [stderr] Compiling jemalloc-sys v0.5.4+5.3.0-patched [INFO] [stderr] Checking tynm v0.1.10 [INFO] [stderr] Checking regex v1.11.1 [INFO] [stderr] Compiling proc-macro-error v1.0.4 [INFO] [stderr] Compiling zerocopy-derive v0.7.35 [INFO] [stderr] Compiling serde_derive v1.0.215 [INFO] [stderr] Checking plonky2_maybe_rayon v1.0.0 [INFO] [stderr] Compiling unroll v0.1.5 [INFO] [stderr] Compiling structopt-derive v0.4.18 [INFO] [stderr] Checking zerocopy v0.7.35 [INFO] [stderr] Checking ppv-lite86 v0.2.20 [INFO] [stderr] Checking structopt v0.3.26 [INFO] [stderr] Checking rand_chacha v0.3.1 [INFO] [stderr] Checking rand v0.8.5 [INFO] [stderr] Checking num-bigint v0.4.6 [INFO] [stderr] Checking num-complex v0.4.6 [INFO] [stderr] Checking num-rational v0.4.2 [INFO] [stderr] Checking num v0.4.3 [INFO] [stderr] Checking plonky2_field v1.0.0 [INFO] [stderr] Checking hashbrown v0.14.5 [INFO] [stderr] Checking ciborium v0.2.2 [INFO] [stderr] Checking serde_cbor v0.11.2 [INFO] [stderr] Checking tinytemplate v1.2.1 [INFO] [stderr] Checking plonky2 v1.1.0 (/opt/rustwide/workdir) [INFO] [stderr] Checking criterion v0.5.1 [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/plonky2_field-1.0.0/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] ::: src/util/reducing.rs:83:12 [INFO] [stdout] | [INFO] [stdout] 83 | 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] --> src/util/reducing.rs:85:46 [INFO] [stdout] | [INFO] [stdout] 83 | pub fn reduce_polys_base, const D: usize>( [INFO] [stdout] | ----------------- required by a bound in this associated function [INFO] [stdout] 84 | &mut self, [INFO] [stdout] 85 | 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:207:23 [INFO] [stdout] | [INFO] [stdout] 207 | 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/plonky2_field-1.0.0/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] ::: src/util/reducing.rs:83:12 [INFO] [stdout] | [INFO] [stdout] 83 | 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] 184 | ) -> 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:207:23 [INFO] [stdout] | [INFO] [stdout] 207 | 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] --> src/util/reducing.rs:85:46 [INFO] [stdout] | [INFO] [stdout] 83 | pub fn reduce_polys_base, const D: usize>( [INFO] [stdout] | ----------------- required by a bound in this associated function [INFO] [stdout] 84 | &mut self, [INFO] [stdout] 85 | 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] 184 | ) -> 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:219:55 [INFO] [stdout] | [INFO] [stdout] 219 | 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] 184 | ) -> 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]: the trait bound `>::FE: From` is not satisfied [INFO] [stdout] --> src/fri/verifier.rs:236:42 [INFO] [stdout] | [INFO] [stdout] 236 | 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] 178 | ) -> Result<()> 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/plonky2_field-1.0.0/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] ::: src/plonk/vars.rs:109:12 [INFO] [stdout] | [INFO] [stdout] 109 | 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/plonky2_field-1.0.0/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] ::: src/plonk/vars.rs:109:12 [INFO] [stdout] | [INFO] [stdout] 109 | 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/plonky2_field-1.0.0/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] ::: src/plonk/vars.rs:109:12 [INFO] [stdout] | [INFO] [stdout] 109 | 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 `plonky2` (lib) due to 15 previous errors [INFO] [stderr] warning: build failed, waiting for other jobs to finish... [INFO] running `Command { std: "docker" "inspect" "fd5bad3c3e6b026fc66fced64cd05d373e431191a543723a16a39dad4895de59", kill_on_drop: false }` [INFO] running `Command { std: "docker" "rm" "-f" "fd5bad3c3e6b026fc66fced64cd05d373e431191a543723a16a39dad4895de59", kill_on_drop: false }` [INFO] [stdout] fd5bad3c3e6b026fc66fced64cd05d373e431191a543723a16a39dad4895de59