[INFO] cloning repository https://github.com/Budlum/BudZKVM
[INFO] running `Command { std: "git" "-c" "credential.helper=" "-c" "credential.helper=/workspace/cargo-home/bin/git-credential-null" "clone" "--bare" "https://github.com/Budlum/BudZKVM" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2FBudlum%2FBudZKVM", kill_on_drop: false }`
[INFO] [stderr] Cloning into bare repository '/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2FBudlum%2FBudZKVM'...
[INFO] running `Command { std: "git" "rev-parse" "HEAD", kill_on_drop: false }`
[INFO] [stdout] eeacb19b0eea9406d8dfca2171ab6f0fb16a5fa9
[INFO] checking Budlum/BudZKVM against try#6713fa75964eb229409a9c6f6f5c418423e313ff for pr-133502-22
[INFO] running `Command { std: "git" "clone" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2FBudlum%2FBudZKVM" "/workspace/builds/worker-4-tc2/source", kill_on_drop: false }`
[INFO] [stderr] Cloning into '/workspace/builds/worker-4-tc2/source'...
[INFO] [stderr] done.
[INFO] started tweaking git repo https://github.com/Budlum/BudZKVM
[INFO] finished tweaking git repo https://github.com/Budlum/BudZKVM
[INFO] tweaked toml for git repo https://github.com/Budlum/BudZKVM written to /workspace/builds/worker-4-tc2/source/Cargo.toml
[INFO] validating manifest of git repo https://github.com/Budlum/BudZKVM 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 git repo https://github.com/Budlum/BudZKVM 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-4-tc2/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-4-tc2/source:/opt/rustwide/workdir:ro,Z" "-v" "/var/lib/crater-agent-workspace/cargo-home:/opt/rustwide/cargo-home:ro,Z" "-v" "/var/lib/crater-agent-workspace/rustup-home:/opt/rustwide/rustup-home:ro,Z" "-e" "SOURCE_DIR=/opt/rustwide/workdir" "-e" "CARGO_TARGET_DIR=/opt/rustwide/target" "-e" "CARGO_HOME=/opt/rustwide/cargo-home" "-e" "RUSTUP_HOME=/opt/rustwide/rustup-home" "-w" "/opt/rustwide/workdir" "-m" "1610612736" "--user" "0:0" "--network" "none" "ghcr.io/rust-lang/crates-build-env/linux@sha256:d429b63d4308055ea97f60fb1d3dfca48854a00942f1bd2ad806beaf015945ec" "/opt/rustwide/cargo-home/bin/cargo" "+6713fa75964eb229409a9c6f6f5c418423e313ff" "metadata" "--no-deps" "--format-version=1", kill_on_drop: false }`
[INFO] [stdout] dda69cf784fd64e40afa9ac1f7762f7a6fe9ead465ccfa3838eb4ab06dedb7db
[INFO] running `Command { std: "docker" "start" "-a" "dda69cf784fd64e40afa9ac1f7762f7a6fe9ead465ccfa3838eb4ab06dedb7db", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "inspect" "dda69cf784fd64e40afa9ac1f7762f7a6fe9ead465ccfa3838eb4ab06dedb7db", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "dda69cf784fd64e40afa9ac1f7762f7a6fe9ead465ccfa3838eb4ab06dedb7db", kill_on_drop: false }`
[INFO] [stdout] dda69cf784fd64e40afa9ac1f7762f7a6fe9ead465ccfa3838eb4ab06dedb7db
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-4-tc2/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-4-tc2/source:/opt/rustwide/workdir:ro,Z" "-v" "/var/lib/crater-agent-workspace/cargo-home:/opt/rustwide/cargo-home:ro,Z" "-v" "/var/lib/crater-agent-workspace/rustup-home:/opt/rustwide/rustup-home:ro,Z" "-e" "SOURCE_DIR=/opt/rustwide/workdir" "-e" "CARGO_TARGET_DIR=/opt/rustwide/target" "-e" "CARGO_INCREMENTAL=0" "-e" "RUST_BACKTRACE=full" "-e" "RUSTFLAGS=--cap-lints=forbid" "-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] 517a0bf42f2b81611cbfe0592d90284a9e68760d87b1fb5ac94b28aa7a8a2606
[INFO] running `Command { std: "docker" "start" "-a" "517a0bf42f2b81611cbfe0592d90284a9e68760d87b1fb5ac94b28aa7a8a2606", kill_on_drop: false }`
[INFO] [stderr]     Checking p3-maybe-rayon v0.5.2
[INFO] [stderr]     Checking bud-isa v0.1.0 (/opt/rustwide/workdir/bud-isa)
[INFO] [stderr]    Compiling num-traits v0.2.19
[INFO] [stderr]     Checking itertools v0.14.0
[INFO] [stderr]     Checking rand v0.10.1
[INFO] [stderr]    Compiling crunchy v0.2.4
[INFO] [stderr]     Checking spin v0.10.0
[INFO] [stderr]    Compiling beef v0.5.2
[INFO] [stderr]    Compiling regex-syntax v0.8.10
[INFO] [stderr]    Compiling lazy_static v1.5.0
[INFO] [stderr]     Checking serde v1.0.228
[INFO] [stderr]     Checking tracing v0.1.44
[INFO] [stderr]     Checking thiserror v2.0.18
[INFO] [stderr]     Checking serde_json v1.0.149
[INFO] [stderr]    Compiling clap_derive v4.6.1
[INFO] [stderr]     Checking bud-node v0.1.0 (/opt/rustwide/workdir/bud-node)
[INFO] [stderr]     Checking bud-vm v0.1.0 (/opt/rustwide/workdir/bud-vm)
[INFO] [stderr]     Checking tiny-keccak v2.0.2
[INFO] [stderr]     Checking bincode v1.3.3
[INFO] [stderr]     Checking num-integer v0.1.46
[INFO] [stderr]     Checking transpose v0.2.3
[INFO] [stderr]     Checking num-bigint v0.4.6
[INFO] [stderr]     Checking p3-util v0.5.2
[INFO] [stderr]     Checking bud-state v0.1.0 (/opt/rustwide/workdir/bud-state)
[INFO] [stderr]     Checking clap v4.6.1
[INFO] [stderr]     Checking p3-field v0.5.2
[INFO] [stderr]    Compiling logos-codegen v0.14.4
[INFO] [stderr]     Checking p3-matrix v0.5.2
[INFO] [stderr]     Checking p3-symmetric v0.5.2
[INFO] [stderr]     Checking p3-poseidon1 v0.5.2
[INFO] [stderr]     Checking p3-keccak v0.5.2
[INFO] [stderr]    Compiling logos-derive v0.14.4
[INFO] [stderr]     Checking p3-dft v0.5.2
[INFO] [stderr]     Checking p3-interpolation v0.5.2
[INFO] [stderr]     Checking p3-air v0.5.2
[INFO] [stderr]     Checking logos v0.14.4
[INFO] [stderr]     Checking bud-compiler v0.1.0 (/opt/rustwide/workdir/bud-compiler)
[INFO] [stderr]     Checking p3-mds v0.5.2
[INFO] [stderr]     Checking p3-poseidon2 v0.5.2
[INFO] [stderr]     Checking p3-monty-31 v0.5.2
[INFO] [stderr]     Checking p3-challenger v0.5.2
[INFO] [stderr]     Checking p3-commit v0.5.2
[INFO] [stderr]     Checking p3-goldilocks v0.5.2
[INFO] [stderr]     Checking p3-merkle-tree v0.5.2
[INFO] [stderr]     Checking p3-fri v0.5.2
[INFO] [stderr]     Checking p3-uni-stark v0.5.2
[INFO] [stdout] error[E0283]: type annotations needed
[INFO] [stdout]   --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/p3-uni-stark-0.5.2/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.2/src/prover.rs:26:33
[INFO] [stdout]    |
[INFO] [stdout] 26 |     #[cfg(debug_assertions)] A: for<'a> Air<p3_air::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.2/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.2/src/prover.rs:26:33
[INFO] [stdout]    |
[INFO] [stdout] 26 |     #[cfg(debug_assertions)] A: for<'a> Air<p3_air::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.2/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.2/src/prover.rs:26:33
[INFO] [stdout]    |
[INFO] [stdout] 26 |     #[cfg(debug_assertions)] A: for<'a> Air<p3_air::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.2/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.2/src/prover.rs:26:33
[INFO] [stdout]    |
[INFO] [stdout] 26 |     #[cfg(debug_assertions)] A: for<'a> Air<p3_air::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.2/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.2/src/prover.rs:26:33
[INFO] [stdout]    |
[INFO] [stdout] 26 |     #[cfg(debug_assertions)] A: for<'a> Air<p3_air::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.2/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.2/src/prover.rs:26:33
[INFO] [stdout]     |
[INFO] [stdout]  26 |     #[cfg(debug_assertions)] A: for<'a> Air<p3_air::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.2/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.2/src/prover.rs:26:33
[INFO] [stdout]     |
[INFO] [stdout]  26 |     #[cfg(debug_assertions)] A: for<'a> Air<p3_air::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.2/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.2/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.2/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.2/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.2/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.2/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.2/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.2/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.2/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.2/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] [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" "517a0bf42f2b81611cbfe0592d90284a9e68760d87b1fb5ac94b28aa7a8a2606", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "517a0bf42f2b81611cbfe0592d90284a9e68760d87b1fb5ac94b28aa7a8a2606", kill_on_drop: false }`
[INFO] [stdout] 517a0bf42f2b81611cbfe0592d90284a9e68760d87b1fb5ac94b28aa7a8a2606
