[INFO] fetching crate p3-miden-lifted-examples 0.5.0...
[INFO] checking p3-miden-lifted-examples-0.5.0 against try#6713fa75964eb229409a9c6f6f5c418423e313ff for pr-133502-22
[INFO] extracting crate p3-miden-lifted-examples 0.5.0 into /workspace/builds/worker-1-tc2/source
[INFO] started tweaking crates.io crate p3-miden-lifted-examples 0.5.0
[INFO] finished tweaking crates.io crate p3-miden-lifted-examples 0.5.0
[INFO] tweaked toml for crates.io crate p3-miden-lifted-examples 0.5.0 written to /workspace/builds/worker-1-tc2/source/Cargo.toml
[INFO] validating manifest of crates.io crate p3-miden-lifted-examples 0.5.0 on toolchain 6713fa75964eb229409a9c6f6f5c418423e313ff
[INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+6713fa75964eb229409a9c6f6f5c418423e313ff" "metadata" "--manifest-path" "Cargo.toml" "--no-deps", kill_on_drop: false }`
[INFO] crate crates.io crate p3-miden-lifted-examples 0.5.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" "+6713fa75964eb229409a9c6f6f5c418423e313ff" "fetch" "--manifest-path" "Cargo.toml", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-1-tc2/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-1-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" "+6713fa75964eb229409a9c6f6f5c418423e313ff" "metadata" "--no-deps" "--format-version=1", kill_on_drop: false }`
[INFO] [stdout] f2d3eee627846ea75d727f002684debde8a30a304d22e2df67165952e2471b6c
[INFO] running `Command { std: "docker" "start" "-a" "f2d3eee627846ea75d727f002684debde8a30a304d22e2df67165952e2471b6c", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "inspect" "f2d3eee627846ea75d727f002684debde8a30a304d22e2df67165952e2471b6c", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "f2d3eee627846ea75d727f002684debde8a30a304d22e2df67165952e2471b6c", kill_on_drop: false }`
[INFO] [stdout] f2d3eee627846ea75d727f002684debde8a30a304d22e2df67165952e2471b6c
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-1-tc2/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-1-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" "-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" "+6713fa75964eb229409a9c6f6f5c418423e313ff" "check" "--frozen" "--all" "--all-targets" "--message-format=json", kill_on_drop: false }`
[INFO] [stdout] 3df2852cc50d3a6eec4a495babcd7f26973608c7288b3d0a594e2f0cda3c94e9
[INFO] running `Command { std: "docker" "start" "-a" "3df2852cc50d3a6eec4a495babcd7f26973608c7288b3d0a594e2f0cda3c94e9", kill_on_drop: false }`
[INFO] [stderr]     Checking tracing-core v0.1.36
[INFO] [stderr]     Checking strength_reduce v0.2.4
[INFO] [stderr]     Checking rand_core v0.10.0
[INFO] [stderr]     Checking itertools v0.14.0
[INFO] [stderr]     Checking p3-maybe-rayon v0.5.0
[INFO] [stderr]     Checking serde v1.0.228
[INFO] [stderr]     Checking spin v0.10.0
[INFO] [stderr]     Checking thiserror v2.0.18
[INFO] [stderr]     Checking regex-automata v0.4.14
[INFO] [stderr]    Compiling zerocopy-derive v0.8.42
[INFO] [stderr]     Checking transpose v0.2.3
[INFO] [stderr]    Compiling alloca v0.4.0
[INFO] [stderr]     Checking rand v0.10.0
[INFO] [stderr]     Checking tracing v0.1.44
[INFO] [stderr]    Compiling tiny-keccak v2.0.2
[INFO] [stderr]     Checking serde_json v1.0.149
[INFO] [stderr]     Checking p3-util v0.5.0
[INFO] [stderr]     Checking clap_builder v4.5.60
[INFO] [stderr]     Checking tracing-log v0.2.0
[INFO] [stderr]     Checking page_size v0.6.0
[INFO] [stderr]    Compiling thiserror-impl v1.0.69
[INFO] [stderr]     Checking smallvec v1.15.1
[INFO] [stderr]     Checking tinytemplate v1.2.1
[INFO] [stderr]     Checking zerocopy v0.8.42
[INFO] [stderr]     Checking thiserror v1.0.69
[INFO] [stderr]     Checking p3-field v0.5.0
[INFO] [stderr]     Checking matchers v0.2.0
[INFO] [stderr]     Checking regex v1.12.3
[INFO] [stderr]     Checking clap v4.5.60
[INFO] [stderr]     Checking tracing-subscriber v0.3.22
[INFO] [stderr]     Checking p3-matrix v0.5.0
[INFO] [stderr]     Checking p3-symmetric v0.5.0
[INFO] [stderr]     Checking p3-poseidon1 v0.5.0
[INFO] [stderr]     Checking p3-miden-stateful-hasher v0.5.0
[INFO] [stderr]     Checking p3-keccak v0.5.0
[INFO] [stderr]     Checking tracing-forest v0.1.6
[INFO] [stderr]     Checking p3-dft v0.5.0
[INFO] [stderr]     Checking p3-air v0.5.0
[INFO] [stderr]     Checking p3-interpolation v0.5.0
[INFO] [stderr]     Checking p3-miden-lifted-air v0.5.0
[INFO] [stderr]     Checking p3-keccak-air v0.5.0
[INFO] [stderr]     Checking p3-blake3-air v0.5.0
[INFO] [stderr]     Checking p3-mds v0.5.0
[INFO] [stderr]     Checking p3-poseidon2 v0.5.0
[INFO] [stderr]     Checking p3-monty-31 v0.5.0
[INFO] [stderr]     Checking p3-poseidon2-air v0.5.0
[INFO] [stderr]     Checking p3-challenger v0.5.0
[INFO] [stderr]     Checking p3-commit v0.5.0
[INFO] [stderr]     Checking p3-miden-transcript v0.5.0
[INFO] [stderr]     Checking p3-baby-bear v0.5.0
[INFO] [stderr]     Checking p3-goldilocks v0.5.0
[INFO] [stderr]     Checking p3-miden-lmcs v0.5.0
[INFO] [stderr]     Checking p3-uni-stark v0.5.0
[INFO] [stderr]     Checking p3-merkle-tree v0.5.0
[INFO] [stderr]     Checking p3-fri v0.5.0
[INFO] [stdout] error[E0283]: type annotations needed
[INFO] [stdout]   --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/p3-uni-stark-0.5.0/src/prover.rs:55:51
[INFO] [stdout]    |
[INFO] [stdout] 55 |             if let Some(preprocessed_trace) = air.preprocessed_trace() {
[INFO] [stdout]    |                                                   ^^^^^^^^^^^^^^^^^^
[INFO] [stdout]    |
[INFO] [stdout] note: multiple `impl`s or `where` clauses satisfying `A: BaseAir<_>` found
[INFO] [stdout]   --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/p3-uni-stark-0.5.0/src/prover.rs:26:33
[INFO] [stdout]    |
[INFO] [stdout] 26 |     #[cfg(debug_assertions)] A: for<'a> Air<crate::check_constraints::DebugConstraintBuilder<'a, Val<SC>>>,
[INFO] [stdout]    |                                 ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] ...
[INFO] [stdout] 37 |     A: Air<SymbolicAirBuilder<Val<SC>>> + for<'a> Air<ProverConstraintFolder<'a, SC>>,
[INFO] [stdout]    |        ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^   ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] help: try using a fully qualified path to specify the expected types
[INFO] [stdout]    |
[INFO] [stdout] 55 -             if let Some(preprocessed_trace) = air.preprocessed_trace() {
[INFO] [stdout] 55 +             if let Some(preprocessed_trace) = <A as BaseAir<F>>::preprocessed_trace(air) {
[INFO] [stdout]    |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0283]: type annotations needed
[INFO] [stdout]   --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/p3-uni-stark-0.5.0/src/prover.rs:79:25
[INFO] [stdout]    |
[INFO] [stdout] 79 |         main_width: air.width(),
[INFO] [stdout]    |                         ^^^^^
[INFO] [stdout]    |
[INFO] [stdout] note: multiple `impl`s or `where` clauses satisfying `A: BaseAir<_>` found
[INFO] [stdout]   --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/p3-uni-stark-0.5.0/src/prover.rs:26:33
[INFO] [stdout]    |
[INFO] [stdout] 26 |     #[cfg(debug_assertions)] A: for<'a> Air<crate::check_constraints::DebugConstraintBuilder<'a, Val<SC>>>,
[INFO] [stdout]    |                                 ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] ...
[INFO] [stdout] 37 |     A: Air<SymbolicAirBuilder<Val<SC>>> + for<'a> Air<ProverConstraintFolder<'a, SC>>,
[INFO] [stdout]    |        ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^   ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] help: try using a fully qualified path to specify the expected types
[INFO] [stdout]    |
[INFO] [stdout] 79 -         main_width: air.width(),
[INFO] [stdout] 79 +         main_width: <A as BaseAir<F>>::width(air),
[INFO] [stdout]    |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0283]: type annotations needed
[INFO] [stdout]   --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/p3-uni-stark-0.5.0/src/prover.rs:80:32
[INFO] [stdout]    |
[INFO] [stdout] 80 |         num_public_values: air.num_public_values(),
[INFO] [stdout]    |                                ^^^^^^^^^^^^^^^^^
[INFO] [stdout]    |
[INFO] [stdout] note: multiple `impl`s or `where` clauses satisfying `A: BaseAir<_>` found
[INFO] [stdout]   --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/p3-uni-stark-0.5.0/src/prover.rs:26:33
[INFO] [stdout]    |
[INFO] [stdout] 26 |     #[cfg(debug_assertions)] A: for<'a> Air<crate::check_constraints::DebugConstraintBuilder<'a, Val<SC>>>,
[INFO] [stdout]    |                                 ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] ...
[INFO] [stdout] 37 |     A: Air<SymbolicAirBuilder<Val<SC>>> + for<'a> Air<ProverConstraintFolder<'a, SC>>,
[INFO] [stdout]    |        ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^   ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] help: try using a fully qualified path to specify the expected types
[INFO] [stdout]    |
[INFO] [stdout] 80 -         num_public_values: air.num_public_values(),
[INFO] [stdout] 80 +         num_public_values: <A as BaseAir<F>>::num_public_values(air),
[INFO] [stdout]    |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0283]: type annotations needed
[INFO] [stdout]   --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/p3-uni-stark-0.5.0/src/prover.rs:86:13
[INFO] [stdout]    |
[INFO] [stdout] 86 |         air.num_constraints()
[INFO] [stdout]    |             ^^^^^^^^^^^^^^^
[INFO] [stdout]    |
[INFO] [stdout] note: multiple `impl`s or `where` clauses satisfying `A: BaseAir<_>` found
[INFO] [stdout]   --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/p3-uni-stark-0.5.0/src/prover.rs:26:33
[INFO] [stdout]    |
[INFO] [stdout] 26 |     #[cfg(debug_assertions)] A: for<'a> Air<crate::check_constraints::DebugConstraintBuilder<'a, Val<SC>>>,
[INFO] [stdout]    |                                 ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] ...
[INFO] [stdout] 37 |     A: Air<SymbolicAirBuilder<Val<SC>>> + for<'a> Air<ProverConstraintFolder<'a, SC>>,
[INFO] [stdout]    |        ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^   ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] help: try using a fully qualified path to specify the expected types
[INFO] [stdout]    |
[INFO] [stdout] 86 -         air.num_constraints()
[INFO] [stdout] 86 +         <A as BaseAir<F>>::num_constraints(air)
[INFO] [stdout]    |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0283]: type annotations needed
[INFO] [stdout]   --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/p3-uni-stark-0.5.0/src/prover.rs:89:13
[INFO] [stdout]    |
[INFO] [stdout] 89 |         air.num_constraints().unwrap(),
[INFO] [stdout]    |             ^^^^^^^^^^^^^^^
[INFO] [stdout]    |
[INFO] [stdout] note: multiple `impl`s or `where` clauses satisfying `A: BaseAir<_>` found
[INFO] [stdout]   --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/p3-uni-stark-0.5.0/src/prover.rs:26:33
[INFO] [stdout]    |
[INFO] [stdout] 26 |     #[cfg(debug_assertions)] A: for<'a> Air<crate::check_constraints::DebugConstraintBuilder<'a, Val<SC>>>,
[INFO] [stdout]    |                                 ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] ...
[INFO] [stdout] 37 |     A: Air<SymbolicAirBuilder<Val<SC>>> + for<'a> Air<ProverConstraintFolder<'a, SC>>,
[INFO] [stdout]    |        ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^   ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] help: try using a fully qualified path to specify the expected types
[INFO] [stdout]    |
[INFO] [stdout] 89 -         air.num_constraints().unwrap(),
[INFO] [stdout] 89 +         <A as BaseAir<F>>::num_constraints(air).unwrap(),
[INFO] [stdout]    |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0283]: type annotations needed
[INFO] [stdout]    --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/p3-uni-stark-0.5.0/src/prover.rs:306:26
[INFO] [stdout]     |
[INFO] [stdout] 306 |     let main_next = !air.main_next_row_columns().is_empty();
[INFO] [stdout]     |                          ^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout] note: multiple `impl`s or `where` clauses satisfying `A: BaseAir<_>` found
[INFO] [stdout]    --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/p3-uni-stark-0.5.0/src/prover.rs:26:33
[INFO] [stdout]     |
[INFO] [stdout]  26 |     #[cfg(debug_assertions)] A: for<'a> Air<crate::check_constraints::DebugConstraintBuilder<'a, Val<SC>>>,
[INFO] [stdout]     |                                 ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] ...
[INFO] [stdout]  37 |     A: Air<SymbolicAirBuilder<Val<SC>>> + for<'a> Air<ProverConstraintFolder<'a, SC>>,
[INFO] [stdout]     |        ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^   ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] help: try using a fully qualified path to specify the expected types
[INFO] [stdout]     |
[INFO] [stdout] 306 -     let main_next = !air.main_next_row_columns().is_empty();
[INFO] [stdout] 306 +     let main_next = !<A as BaseAir<F>>::main_next_row_columns(air).is_empty();
[INFO] [stdout]     |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0283]: type annotations needed
[INFO] [stdout]    --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/p3-uni-stark-0.5.0/src/prover.rs:307:25
[INFO] [stdout]     |
[INFO] [stdout] 307 |     let pre_next = !air.preprocessed_next_row_columns().is_empty();
[INFO] [stdout]     |                         ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout] note: multiple `impl`s or `where` clauses satisfying `A: BaseAir<_>` found
[INFO] [stdout]    --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/p3-uni-stark-0.5.0/src/prover.rs:26:33
[INFO] [stdout]     |
[INFO] [stdout]  26 |     #[cfg(debug_assertions)] A: for<'a> Air<crate::check_constraints::DebugConstraintBuilder<'a, Val<SC>>>,
[INFO] [stdout]     |                                 ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] ...
[INFO] [stdout]  37 |     A: Air<SymbolicAirBuilder<Val<SC>>> + for<'a> Air<ProverConstraintFolder<'a, SC>>,
[INFO] [stdout]     |        ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^   ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] help: try using a fully qualified path to specify the expected types
[INFO] [stdout]     |
[INFO] [stdout] 307 -     let pre_next = !air.preprocessed_next_row_columns().is_empty();
[INFO] [stdout] 307 +     let pre_next = !<A as BaseAir<F>>::preprocessed_next_row_columns(air).is_empty();
[INFO] [stdout]     |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0283]: type annotations needed
[INFO] [stdout]    --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/p3-uni-stark-0.5.0/src/verifier.rs:250:25
[INFO] [stdout]     |
[INFO] [stdout] 250 |         main_width: air.width(),
[INFO] [stdout]     |                         ^^^^^
[INFO] [stdout]     |
[INFO] [stdout] note: multiple `impl`s or `where` clauses satisfying `A: BaseAir<_>` found
[INFO] [stdout]    --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/p3-uni-stark-0.5.0/src/verifier.rs:224:8
[INFO] [stdout]     |
[INFO] [stdout] 224 |     A: Air<SymbolicAirBuilder<Val<SC>>> + for<'a> Air<VerifierConstraintFolder<'a, SC>>,
[INFO] [stdout]     |        ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^   ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] help: try using a fully qualified path to specify the expected types
[INFO] [stdout]     |
[INFO] [stdout] 250 -         main_width: air.width(),
[INFO] [stdout] 250 +         main_width: <A as BaseAir<F>>::width(air),
[INFO] [stdout]     |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0283]: type annotations needed
[INFO] [stdout]    --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/p3-uni-stark-0.5.0/src/verifier.rs:251:32
[INFO] [stdout]     |
[INFO] [stdout] 251 |         num_public_values: air.num_public_values(),
[INFO] [stdout]     |                                ^^^^^^^^^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout] note: multiple `impl`s or `where` clauses satisfying `A: BaseAir<_>` found
[INFO] [stdout]    --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/p3-uni-stark-0.5.0/src/verifier.rs:224:8
[INFO] [stdout]     |
[INFO] [stdout] 224 |     A: Air<SymbolicAirBuilder<Val<SC>>> + for<'a> Air<VerifierConstraintFolder<'a, SC>>,
[INFO] [stdout]     |        ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^   ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] help: try using a fully qualified path to specify the expected types
[INFO] [stdout]     |
[INFO] [stdout] 251 -         num_public_values: air.num_public_values(),
[INFO] [stdout] 251 +         num_public_values: <A as BaseAir<F>>::num_public_values(air),
[INFO] [stdout]     |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0283]: type annotations needed
[INFO] [stdout]    --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/p3-uni-stark-0.5.0/src/verifier.rs:277:21
[INFO] [stdout]     |
[INFO] [stdout] 277 |     let air_width = A::width(air);
[INFO] [stdout]     |                     ^ cannot infer type for type parameter `F` declared on the trait `BaseAir`
[INFO] [stdout]     |
[INFO] [stdout] note: multiple `impl`s or `where` clauses satisfying `A: BaseAir<_>` found
[INFO] [stdout]    --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/p3-uni-stark-0.5.0/src/verifier.rs:224:8
[INFO] [stdout]     |
[INFO] [stdout] 224 |     A: Air<SymbolicAirBuilder<Val<SC>>> + for<'a> Air<VerifierConstraintFolder<'a, SC>>,
[INFO] [stdout]     |        ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^   ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0283]: type annotations needed
[INFO] [stdout]    --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/p3-uni-stark-0.5.0/src/verifier.rs:278:26
[INFO] [stdout]     |
[INFO] [stdout] 278 |     let main_next = !air.main_next_row_columns().is_empty();
[INFO] [stdout]     |                          ^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout] note: multiple `impl`s or `where` clauses satisfying `A: BaseAir<_>` found
[INFO] [stdout]    --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/p3-uni-stark-0.5.0/src/verifier.rs:224:8
[INFO] [stdout]     |
[INFO] [stdout] 224 |     A: Air<SymbolicAirBuilder<Val<SC>>> + for<'a> Air<VerifierConstraintFolder<'a, SC>>,
[INFO] [stdout]     |        ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^   ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] help: try using a fully qualified path to specify the expected types
[INFO] [stdout]     |
[INFO] [stdout] 278 -     let main_next = !air.main_next_row_columns().is_empty();
[INFO] [stdout] 278 +     let main_next = !<A as BaseAir<F>>::main_next_row_columns(air).is_empty();
[INFO] [stdout]     |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0283]: type annotations needed
[INFO] [stdout]    --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/p3-uni-stark-0.5.0/src/verifier.rs:279:25
[INFO] [stdout]     |
[INFO] [stdout] 279 |     let pre_next = !air.preprocessed_next_row_columns().is_empty();
[INFO] [stdout]     |                         ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout] note: multiple `impl`s or `where` clauses satisfying `A: BaseAir<_>` found
[INFO] [stdout]    --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/p3-uni-stark-0.5.0/src/verifier.rs:224:8
[INFO] [stdout]     |
[INFO] [stdout] 224 |     A: Air<SymbolicAirBuilder<Val<SC>>> + for<'a> Air<VerifierConstraintFolder<'a, SC>>,
[INFO] [stdout]     |        ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^   ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] help: try using a fully qualified path to specify the expected types
[INFO] [stdout]     |
[INFO] [stdout] 279 -     let pre_next = !air.preprocessed_next_row_columns().is_empty();
[INFO] [stdout] 279 +     let pre_next = !<A as BaseAir<F>>::preprocessed_next_row_columns(air).is_empty();
[INFO] [stdout]     |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stderr]     Checking p3-miden-lifted-fri v0.5.0
[INFO] [stdout] For more information about this error, try `rustc --explain E0283`.
[INFO] [stdout] 
[INFO] [stderr] error: could not compile `p3-uni-stark` (lib) due to 12 previous errors
[INFO] [stderr] warning: build failed, waiting for other jobs to finish...
[INFO] running `Command { std: "docker" "inspect" "3df2852cc50d3a6eec4a495babcd7f26973608c7288b3d0a594e2f0cda3c94e9", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "3df2852cc50d3a6eec4a495babcd7f26973608c7288b3d0a594e2f0cda3c94e9", kill_on_drop: false }`
[INFO] [stdout] 3df2852cc50d3a6eec4a495babcd7f26973608c7288b3d0a594e2f0cda3c94e9
