[INFO] fetching crate starky 1.1.0...
[INFO] checking starky-1.1.0 against try#b6bca0d7327839b5e3f7a7779947cb9113d08917+rustflags=-Zstrict-projection-item-bounds for 150662-leaf
[INFO] extracting crate starky 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 starky 1.1.0
[INFO] finished tweaking crates.io crate starky 1.1.0
[INFO] tweaked toml for crates.io crate starky 1.1.0 written to /workspace/builds/worker-3-tc2/source/Cargo.toml
[INFO] validating manifest of crates.io crate starky 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 starky 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] b7b473b1b5f714e2edb531c82eb6edb79e6c7918f632e96a24ccd2d3a4da9eb8
[INFO] running `Command { std: "docker" "start" "-a" "b7b473b1b5f714e2edb531c82eb6edb79e6c7918f632e96a24ccd2d3a4da9eb8", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "inspect" "b7b473b1b5f714e2edb531c82eb6edb79e6c7918f632e96a24ccd2d3a4da9eb8", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "b7b473b1b5f714e2edb531c82eb6edb79e6c7918f632e96a24ccd2d3a4da9eb8", kill_on_drop: false }`
[INFO] [stdout] b7b473b1b5f714e2edb531c82eb6edb79e6c7918f632e96a24ccd2d3a4da9eb8
[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] 08b84b42f7aebd6315f8c9bb7a71d5f9598fa46a94c2f8ccc404fd5864c34aa9
[INFO] running `Command { std: "docker" "start" "-a" "08b84b42f7aebd6315f8c9bb7a71d5f9598fa46a94c2f8ccc404fd5864c34aa9", kill_on_drop: false }`
[INFO] [stderr]    Compiling libc v0.2.167
[INFO] [stderr]    Compiling crossbeam-utils v0.8.20
[INFO] [stderr]     Checking either v1.13.0
[INFO] [stderr]    Compiling once_cell v1.20.2
[INFO] [stderr]    Compiling serde v1.0.215
[INFO] [stderr]    Compiling num-traits v0.2.19
[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]     Checking fixed-hash v0.7.0
[INFO] [stderr]    Compiling quote v1.0.37
[INFO] [stderr]     Checking plonky2_util v1.0.0
[INFO] [stderr]     Checking web-time v1.1.0
[INFO] [stderr]     Checking env_logger v0.9.3
[INFO] [stderr]     Checking uint v0.9.5
[INFO] [stderr]     Checking itertools v0.11.0
[INFO] [stderr]    Compiling syn v2.0.90
[INFO] [stderr]    Compiling syn v1.0.109
[INFO] [stderr]     Checking primitive-types v0.10.1
[INFO] [stderr]     Checking crossbeam-epoch v0.9.18
[INFO] [stderr]     Checking crossbeam-deque v0.8.5
[INFO] [stderr]     Checking rayon-core v1.12.1
[INFO] [stderr]     Checking getrandom v0.2.15
[INFO] [stderr]     Checking rayon v1.10.0
[INFO] [stderr]     Checking num-integer v0.1.46
[INFO] [stderr]     Checking rand_core v0.6.4
[INFO] [stderr]     Checking num-iter v0.1.45
[INFO] [stderr]     Checking keccak-hash v0.8.0
[INFO] [stderr]    Compiling const-random-macro v0.1.16
[INFO] [stderr]     Checking const-random v0.1.18
[INFO] [stderr]    Compiling zerocopy-derive v0.7.35
[INFO] [stderr]    Compiling serde_derive v1.0.215
[INFO] [stderr]     Checking zerocopy v0.7.35
[INFO] [stderr]    Compiling unroll v0.1.5
[INFO] [stderr]     Checking plonky2_maybe_rayon v1.0.0
[INFO] [stderr]     Checking ppv-lite86 v0.2.20
[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 plonky2 v1.1.0
[INFO] [stderr]     Checking starky v1.1.0 (/opt/rustwide/workdir)
[INFO] [stdout] error[E0284]: type annotations needed: cannot satisfy `<F as Extendable<D>>::Extension == <InnerC as GenericConfig<D>>::FE`
[INFO] [stdout]    --> src/fibonacci_stark.rs:240:22
[INFO] [stdout]     |
[INFO] [stdout] 240 |         inner_proof: StarkProofWithPublicInputs<F, InnerC, D>,
[INFO] [stdout]     |                      ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ cannot satisfy `<F as Extendable<D>>::Extension == <InnerC as GenericConfig<D>>::FE`
[INFO] [stdout]     |
[INFO] [stdout] note: required by a bound in `proof::StarkProofWithPublicInputs`
[INFO] [stdout]    --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/plonky2-1.1.0/src/plonk/config.rs:99:39
[INFO] [stdout]     |
[INFO] [stdout]  99 |     type F: RichField + Extendable<D, Extension = Self::FE>;
[INFO] [stdout]     |                                       ^^^^^^^^^^^^^^^^^^^^ required by this bound in `StarkProofWithPublicInputs`
[INFO] [stdout]     |
[INFO] [stdout]    ::: src/proof.rs:133:12
[INFO] [stdout]     |
[INFO] [stdout] 133 | pub struct StarkProofWithPublicInputs<
[INFO] [stdout]     |            -------------------------- required by a bound in this struct
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0284]: type annotations needed: cannot satisfy `<F as Extendable<D>>::Extension == <InnerC as GenericConfig<D>>::FE`
[INFO] [stdout]    --> src/permutation_stark.rs:210:22
[INFO] [stdout]     |
[INFO] [stdout] 210 |         inner_proof: StarkProofWithPublicInputs<F, InnerC, D>,
[INFO] [stdout]     |                      ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ cannot satisfy `<F as Extendable<D>>::Extension == <InnerC as GenericConfig<D>>::FE`
[INFO] [stdout]     |
[INFO] [stdout] note: required by a bound in `proof::StarkProofWithPublicInputs`
[INFO] [stdout]    --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/plonky2-1.1.0/src/plonk/config.rs:99:39
[INFO] [stdout]     |
[INFO] [stdout]  99 |     type F: RichField + Extendable<D, Extension = Self::FE>;
[INFO] [stdout]     |                                       ^^^^^^^^^^^^^^^^^^^^ required by this bound in `StarkProofWithPublicInputs`
[INFO] [stdout]     |
[INFO] [stdout]    ::: src/proof.rs:133:12
[INFO] [stdout]     |
[INFO] [stdout] 133 | pub struct StarkProofWithPublicInputs<
[INFO] [stdout]     |            -------------------------- required by a bound in this struct
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0284]: type annotations needed: cannot satisfy `<F as Extendable<D>>::Extension == <InnerC as GenericConfig<D>>::FE`
[INFO] [stdout]    --> src/unconstrained_stark.rs:175:22
[INFO] [stdout]     |
[INFO] [stdout] 175 |         inner_proof: StarkProofWithPublicInputs<F, InnerC, D>,
[INFO] [stdout]     |                      ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ cannot satisfy `<F as Extendable<D>>::Extension == <InnerC as GenericConfig<D>>::FE`
[INFO] [stdout]     |
[INFO] [stdout] note: required by a bound in `proof::StarkProofWithPublicInputs`
[INFO] [stdout]    --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/plonky2-1.1.0/src/plonk/config.rs:99:39
[INFO] [stdout]     |
[INFO] [stdout]  99 |     type F: RichField + Extendable<D, Extension = Self::FE>;
[INFO] [stdout]     |                                       ^^^^^^^^^^^^^^^^^^^^ required by this bound in `StarkProofWithPublicInputs`
[INFO] [stdout]     |
[INFO] [stdout]    ::: src/proof.rs:133:12
[INFO] [stdout]     |
[INFO] [stdout] 133 | pub struct StarkProofWithPublicInputs<
[INFO] [stdout]     |            -------------------------- required by a bound in this struct
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0277]: cannot add `<F as Packable>::Packing` to `F`
[INFO] [stdout]    --> src/prover.rs:375:34
[INFO] [stdout]     |
[INFO] [stdout] 375 |         compute_quotient_polys::<F, <F as Packable>::Packing, C, S, D>(
[INFO] [stdout]     |                                  ^ no implementation for `F + <F as Packable>::Packing`
[INFO] [stdout]     |
[INFO] [stdout] note: required by a bound in `compute_quotient_polys`
[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<Self, Output = Self>,
[INFO] [stdout]     |                   ^^^^^^^^^^^^^^^^^^^^^^^^ required by this bound in `compute_quotient_polys`
[INFO] [stdout]     |
[INFO] [stdout]    ::: src/prover.rs:488:4
[INFO] [stdout]     |
[INFO] [stdout] 488 | fn compute_quotient_polys<'a, F, P, C, S, const D: usize>(
[INFO] [stdout]     |    ---------------------- required by a bound in this function
[INFO] [stdout] help: consider further restricting type parameter `F` with trait `Add`
[INFO] [stdout]     |
[INFO] [stdout] 139 |     F: RichField + Extendable<D> + std::ops::Add<<F as plonky2::plonky2_field::packable::Packable>::Packing>,
[INFO] [stdout]     |                                  +++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0277]: cannot multiply `F` by `<F as Packable>::Packing`
[INFO] [stdout]    --> src/prover.rs:375:34
[INFO] [stdout]     |
[INFO] [stdout] 375 |         compute_quotient_polys::<F, <F as Packable>::Packing, C, S, D>(
[INFO] [stdout]     |                                  ^ no implementation for `F * <F as Packable>::Packing`
[INFO] [stdout]     |
[INFO] [stdout] note: required by a bound in `compute_quotient_polys`
[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<Self, Output = Self>,
[INFO] [stdout]     |                   ^^^^^^^^^^^^^^^^^^^^^^^^ required by this bound in `compute_quotient_polys`
[INFO] [stdout]     |
[INFO] [stdout]    ::: src/prover.rs:488:4
[INFO] [stdout]     |
[INFO] [stdout] 488 | fn compute_quotient_polys<'a, F, P, C, S, const D: usize>(
[INFO] [stdout]     |    ---------------------- required by a bound in this function
[INFO] [stdout] help: consider further restricting type parameter `F` with trait `Mul`
[INFO] [stdout]     |
[INFO] [stdout] 139 |     F: RichField + Extendable<D> + std::ops::Mul<<F as plonky2::plonky2_field::packable::Packable>::Packing>,
[INFO] [stdout]     |                                  +++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0277]: cannot subtract `<F as Packable>::Packing` from `F`
[INFO] [stdout]    --> src/prover.rs:375:34
[INFO] [stdout]     |
[INFO] [stdout] 375 |         compute_quotient_polys::<F, <F as Packable>::Packing, C, S, D>(
[INFO] [stdout]     |                                  ^ no implementation for `F - <F as Packable>::Packing`
[INFO] [stdout]     |
[INFO] [stdout] note: required by a bound in `compute_quotient_polys`
[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<Self, Output = Self>,
[INFO] [stdout]     |                   ^^^^^^^^^^^^^^^^^^^^^^^^ required by this bound in `compute_quotient_polys`
[INFO] [stdout]     |
[INFO] [stdout]    ::: src/prover.rs:488:4
[INFO] [stdout]     |
[INFO] [stdout] 488 | fn compute_quotient_polys<'a, F, P, C, S, const D: usize>(
[INFO] [stdout]     |    ---------------------- required by a bound in this function
[INFO] [stdout] help: consider further restricting type parameter `F` with trait `Sub`
[INFO] [stdout]     |
[INFO] [stdout] 139 |     F: RichField + Extendable<D> + std::ops::Sub<<F as plonky2::plonky2_field::packable::Packable>::Packing>,
[INFO] [stdout]     |                                  +++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0277]: the trait bound `<C as GenericConfig<D>>::FE: From<F>` is not satisfied
[INFO] [stdout]    --> src/verifier.rs:123:47
[INFO] [stdout]     |
[INFO] [stdout] 123 |     let z_last = challenges.stark_zeta - last.into();
[INFO] [stdout]     |                                               ^^^^ the trait `From<F>` is not implemented for `<C as GenericConfig<D>>::FE`
[INFO] [stdout]     |
[INFO] [stdout]     = note: required for `F` to implement `Into<<C as GenericConfig<D>>::FE>`
[INFO] [stdout] help: consider further restricting the associated type
[INFO] [stdout]     |
[INFO] [stdout]  79 |     S: Stark<F, D>, <C as GenericConfig<D>>::FE: From<F>
[INFO] [stdout]     |                     ++++++++++++++++++++++++++++++++++++
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0277]: cannot add `<F as Packable>::Packing` to `F`
[INFO] [stdout]    --> src/prover.rs:375:34
[INFO] [stdout]     |
[INFO] [stdout] 375 |         compute_quotient_polys::<F, <F as Packable>::Packing, C, S, D>(
[INFO] [stdout]     |                                  ^ no implementation for `F + <F as Packable>::Packing`
[INFO] [stdout]     |
[INFO] [stdout] note: required by a bound in `compute_quotient_polys`
[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<Self, Output = Self>,
[INFO] [stdout]     |                   ^^^^^^^^^^^^^^^^^^^^^^^^ required by this bound in `compute_quotient_polys`
[INFO] [stdout]     |
[INFO] [stdout]    ::: src/prover.rs:488:4
[INFO] [stdout]     |
[INFO] [stdout] 488 | fn compute_quotient_polys<'a, F, P, C, S, const D: usize>(
[INFO] [stdout]     |    ---------------------- required by a bound in this function
[INFO] [stdout] help: consider further restricting type parameter `F` with trait `Add`
[INFO] [stdout]     |
[INFO] [stdout] 139 |     F: RichField + Extendable<D> + std::ops::Add<<F as plonky2::plonky2_field::packable::Packable>::Packing>,
[INFO] [stdout]     |                                  +++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0277]: cannot multiply `F` by `<F as Packable>::Packing`
[INFO] [stdout]    --> src/prover.rs:375:34
[INFO] [stdout]     |
[INFO] [stdout] 375 |         compute_quotient_polys::<F, <F as Packable>::Packing, C, S, D>(
[INFO] [stdout]     |                                  ^ no implementation for `F * <F as Packable>::Packing`
[INFO] [stdout]     |
[INFO] [stdout] note: required by a bound in `compute_quotient_polys`
[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<Self, Output = Self>,
[INFO] [stdout]     |                   ^^^^^^^^^^^^^^^^^^^^^^^^ required by this bound in `compute_quotient_polys`
[INFO] [stdout]     |
[INFO] [stdout]    ::: src/prover.rs:488:4
[INFO] [stdout]     |
[INFO] [stdout] 488 | fn compute_quotient_polys<'a, F, P, C, S, const D: usize>(
[INFO] [stdout]     |    ---------------------- required by a bound in this function
[INFO] [stdout] help: consider further restricting type parameter `F` with trait `Mul`
[INFO] [stdout]     |
[INFO] [stdout] 139 |     F: RichField + Extendable<D> + std::ops::Mul<<F as plonky2::plonky2_field::packable::Packable>::Packing>,
[INFO] [stdout]     |                                  +++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0277]: cannot subtract `<F as Packable>::Packing` from `F`
[INFO] [stdout]    --> src/prover.rs:375:34
[INFO] [stdout]     |
[INFO] [stdout] 375 |         compute_quotient_polys::<F, <F as Packable>::Packing, C, S, D>(
[INFO] [stdout]     |                                  ^ no implementation for `F - <F as Packable>::Packing`
[INFO] [stdout]     |
[INFO] [stdout] note: required by a bound in `compute_quotient_polys`
[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<Self, Output = Self>,
[INFO] [stdout]     |                   ^^^^^^^^^^^^^^^^^^^^^^^^ required by this bound in `compute_quotient_polys`
[INFO] [stdout]     |
[INFO] [stdout]    ::: src/prover.rs:488:4
[INFO] [stdout]     |
[INFO] [stdout] 488 | fn compute_quotient_polys<'a, F, P, C, S, const D: usize>(
[INFO] [stdout]     |    ---------------------- required by a bound in this function
[INFO] [stdout] help: consider further restricting type parameter `F` with trait `Sub`
[INFO] [stdout]     |
[INFO] [stdout] 139 |     F: RichField + Extendable<D> + std::ops::Sub<<F as plonky2::plonky2_field::packable::Packable>::Packing>,
[INFO] [stdout]     |                                  +++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0277]: the trait bound `<C as GenericConfig<D>>::FE: From<F>` is not satisfied
[INFO] [stdout]    --> src/verifier.rs:123:47
[INFO] [stdout]     |
[INFO] [stdout] 123 |     let z_last = challenges.stark_zeta - last.into();
[INFO] [stdout]     |                                               ^^^^ the trait `From<F>` is not implemented for `<C as GenericConfig<D>>::FE`
[INFO] [stdout]     |
[INFO] [stdout]     = note: required for `F` to implement `Into<<C as GenericConfig<D>>::FE>`
[INFO] [stdout] help: consider further restricting the associated type
[INFO] [stdout]     |
[INFO] [stdout]  79 |     S: Stark<F, D>, <C as GenericConfig<D>>::FE: From<F>
[INFO] [stdout]     |                     ++++++++++++++++++++++++++++++++++++
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0284]: type annotations needed: cannot satisfy `<F as Extendable<D>>::Extension == <InnerC as GenericConfig<D>>::FE`
[INFO] [stdout]    --> src/fibonacci_stark.rs:250:45
[INFO] [stdout]     |
[INFO] [stdout] 250 |         let degree_bits = inner_proof.proof.recover_degree_bits(inner_config);
[INFO] [stdout]     |                                             ^^^^^^^^^^^^^^^^^^^ cannot satisfy `<F as Extendable<D>>::Extension == <InnerC as GenericConfig<D>>::FE`
[INFO] [stdout]     |
[INFO] [stdout] note: required by a bound in `proof::StarkProof::<F, C, D>::recover_degree_bits`
[INFO] [stdout]    --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/plonky2-1.1.0/src/plonk/config.rs:99:39
[INFO] [stdout]     |
[INFO] [stdout]  99 |     type F: RichField + Extendable<D, Extension = Self::FE>;
[INFO] [stdout]     |                                       ^^^^^^^^^^^^^^^^^^^^ required by this bound in `StarkProof::<F, C, D>::recover_degree_bits`
[INFO] [stdout]     |
[INFO] [stdout]    ::: src/proof.rs:45:12
[INFO] [stdout]     |
[INFO] [stdout]  45 |     pub fn recover_degree_bits(&self, config: &StarkConfig) -> usize {
[INFO] [stdout]     |            ------------------- required by a bound in this associated function
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0284]: type annotations needed: cannot satisfy `<F as Extendable<D>>::Extension == <InnerC as GenericConfig<D>>::FE`
[INFO] [stdout]    --> src/permutation_stark.rs:220:45
[INFO] [stdout]     |
[INFO] [stdout] 220 |         let degree_bits = inner_proof.proof.recover_degree_bits(inner_config);
[INFO] [stdout]     |                                             ^^^^^^^^^^^^^^^^^^^ cannot satisfy `<F as Extendable<D>>::Extension == <InnerC as GenericConfig<D>>::FE`
[INFO] [stdout]     |
[INFO] [stdout] note: required by a bound in `proof::StarkProof::<F, C, D>::recover_degree_bits`
[INFO] [stdout]    --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/plonky2-1.1.0/src/plonk/config.rs:99:39
[INFO] [stdout]     |
[INFO] [stdout]  99 |     type F: RichField + Extendable<D, Extension = Self::FE>;
[INFO] [stdout]     |                                       ^^^^^^^^^^^^^^^^^^^^ required by this bound in `StarkProof::<F, C, D>::recover_degree_bits`
[INFO] [stdout]     |
[INFO] [stdout]    ::: src/proof.rs:45:12
[INFO] [stdout]     |
[INFO] [stdout]  45 |     pub fn recover_degree_bits(&self, config: &StarkConfig) -> usize {
[INFO] [stdout]     |            ------------------- required by a bound in this associated function
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0284]: type annotations needed: cannot satisfy `<F as Extendable<D>>::Extension == <InnerC as GenericConfig<D>>::FE`
[INFO] [stdout]    --> src/unconstrained_stark.rs:185:45
[INFO] [stdout]     |
[INFO] [stdout] 185 |         let degree_bits = inner_proof.proof.recover_degree_bits(inner_config);
[INFO] [stdout]     |                                             ^^^^^^^^^^^^^^^^^^^ cannot satisfy `<F as Extendable<D>>::Extension == <InnerC as GenericConfig<D>>::FE`
[INFO] [stdout]     |
[INFO] [stdout] note: required by a bound in `proof::StarkProof::<F, C, D>::recover_degree_bits`
[INFO] [stdout]    --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/plonky2-1.1.0/src/plonk/config.rs:99:39
[INFO] [stdout]     |
[INFO] [stdout]  99 |     type F: RichField + Extendable<D, Extension = Self::FE>;
[INFO] [stdout]     |                                       ^^^^^^^^^^^^^^^^^^^^ required by this bound in `StarkProof::<F, C, D>::recover_degree_bits`
[INFO] [stdout]     |
[INFO] [stdout]    ::: src/proof.rs:45:12
[INFO] [stdout]     |
[INFO] [stdout]  45 |     pub fn recover_degree_bits(&self, config: &StarkConfig) -> usize {
[INFO] [stdout]     |            ------------------- required by a bound in this associated function
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] For more information about this error, try `rustc --explain E0277`.
[INFO] [stdout] 
[INFO] [stderr] error: could not compile `starky` (lib) due to 4 previous errors
[INFO] [stderr] warning: build failed, waiting for other jobs to finish...
[INFO] [stdout] Some errors have detailed explanations: E0277, E0284.
[INFO] [stdout] 
[INFO] [stdout] For more information about an error, try `rustc --explain E0277`.
[INFO] [stdout] 
[INFO] [stderr] error: could not compile `starky` (lib test) due to 10 previous errors
[INFO] running `Command { std: "docker" "inspect" "08b84b42f7aebd6315f8c9bb7a71d5f9598fa46a94c2f8ccc404fd5864c34aa9", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "08b84b42f7aebd6315f8c9bb7a71d5f9598fa46a94c2f8ccc404fd5864c34aa9", kill_on_drop: false }`
[INFO] [stdout] 08b84b42f7aebd6315f8c9bb7a71d5f9598fa46a94c2f8ccc404fd5864c34aa9