[INFO] cloning repository https://github.com/woblr/zkdb-plonky3
[INFO] running `Command { std: "git" "-c" "credential.helper=" "-c" "credential.helper=/workspace/cargo-home/bin/git-credential-null" "clone" "--bare" "https://github.com/woblr/zkdb-plonky3" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Fwoblr%2Fzkdb-plonky3", kill_on_drop: false }`
[INFO] [stderr] Cloning into bare repository '/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Fwoblr%2Fzkdb-plonky3'...
[INFO] running `Command { std: "git" "rev-parse" "HEAD", kill_on_drop: false }`
[INFO] [stdout] 13943a91d4aa3e5f9f2b0613463dd806c8a931ad
[INFO] checking woblr/zkdb-plonky3 against try#6713fa75964eb229409a9c6f6f5c418423e313ff for pr-133502-22
[INFO] running `Command { std: "git" "clone" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Fwoblr%2Fzkdb-plonky3" "/workspace/builds/worker-2-tc2/source", kill_on_drop: false }`
[INFO] [stderr] Cloning into '/workspace/builds/worker-2-tc2/source'...
[INFO] [stderr] done.
[INFO] started tweaking git repo https://github.com/woblr/zkdb-plonky3
[INFO] finished tweaking git repo https://github.com/woblr/zkdb-plonky3
[INFO] tweaked toml for git repo https://github.com/woblr/zkdb-plonky3 written to /workspace/builds/worker-2-tc2/source/Cargo.toml
[INFO] validating manifest of git repo https://github.com/woblr/zkdb-plonky3 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/woblr/zkdb-plonky3 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-2-tc2/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-2-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] 1169b21523f22767a26167fa9fb07149dd2e4a891ad50107556ffc8f4273fd78
[INFO] running `Command { std: "docker" "start" "-a" "1169b21523f22767a26167fa9fb07149dd2e4a891ad50107556ffc8f4273fd78", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "inspect" "1169b21523f22767a26167fa9fb07149dd2e4a891ad50107556ffc8f4273fd78", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "1169b21523f22767a26167fa9fb07149dd2e4a891ad50107556ffc8f4273fd78", kill_on_drop: false }`
[INFO] [stdout] 1169b21523f22767a26167fa9fb07149dd2e4a891ad50107556ffc8f4273fd78
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-2-tc2/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-2-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] 66998b54a4c8d3f32719edbebc9aedfdebaf9430276879f23943fb1103ac8805
[INFO] running `Command { std: "docker" "start" "-a" "66998b54a4c8d3f32719edbebc9aedfdebaf9430276879f23943fb1103ac8805", kill_on_drop: false }`
[INFO] [stderr]    Compiling num-traits v0.2.19
[INFO] [stderr]    Compiling serde_derive v1.0.228
[INFO] [stderr]     Checking strength_reduce v0.2.4
[INFO] [stderr]     Checking tracing v0.1.44
[INFO] [stderr]     Checking rand_core v0.10.0
[INFO] [stderr]     Checking either v1.15.0
[INFO] [stderr]     Checking p3-maybe-rayon v0.5.1 (https://github.com/Plonky3/Plonky3?branch=main#e9d75614)
[INFO] [stderr]     Checking spin v0.10.0
[INFO] [stderr]     Checking parking_lot_core v0.9.12
[INFO] [stderr]     Checking rand v0.10.0
[INFO] [stderr]     Checking errno v0.3.14
[INFO] [stderr]     Checking mio v1.2.0
[INFO] [stderr]     Checking signal-hook-registry v1.4.8
[INFO] [stderr]     Checking socket2 v0.6.3
[INFO] [stderr]     Checking itertools v0.14.0
[INFO] [stderr]    Compiling tokio-macros v2.6.1
[INFO] [stderr]     Checking parking_lot v0.12.5
[INFO] [stderr]    Compiling thiserror v2.0.18
[INFO] [stderr]     Checking slab v0.4.12
[INFO] [stderr]     Checking futures-task v0.3.32
[INFO] [stderr]    Compiling heapless v0.7.17
[INFO] [stderr]     Checking num-integer v0.1.46
[INFO] [stderr]     Checking futures-channel v0.3.32
[INFO] [stderr]     Checking futures-util v0.3.32
[INFO] [stderr]     Checking getrandom v0.2.17
[INFO] [stderr]     Checking sync_wrapper v1.0.2
[INFO] [stderr]    Compiling serde_json v1.0.149
[INFO] [stderr]     Checking transpose v0.2.3
[INFO] [stderr]     Checking num-bigint v0.4.6
[INFO] [stderr]     Checking rand_core v0.6.4
[INFO] [stderr]     Checking hash32 v0.2.1
[INFO] [stderr]    Compiling blake3 v1.8.3
[INFO] [stderr]     Checking spin v0.9.8
[INFO] [stderr]     Checking tokio v1.50.0
[INFO] [stderr]    Compiling async-trait v0.1.89
[INFO] [stderr]    Compiling clap_derive v4.6.0
[INFO] [stderr]     Checking rand_chacha v0.3.1
[INFO] [stderr]     Checking getrandom v0.4.2
[INFO] [stderr]     Checking cobs v0.3.0
[INFO] [stderr]     Checking serde_path_to_error v0.1.20
[INFO] [stderr]    Compiling axum-macros v0.4.2
[INFO] [stderr]    Compiling thiserror-impl v1.0.69
[INFO] [stderr]     Checking hashbrown v0.14.5
[INFO] [stderr]     Checking tower-http v0.5.2
[INFO] [stderr]     Checking axum-core v0.4.5
[INFO] [stderr]     Checking dashmap v5.5.3
[INFO] [stderr]     Checking clap v4.6.0
[INFO] [stderr]     Checking tracing-subscriber v0.3.23
[INFO] [stderr]     Checking thiserror v1.0.69
[INFO] [stderr]     Checking uuid v1.23.0
[INFO] [stderr]     Checking rand v0.8.5
[INFO] [stderr]     Checking sha2 v0.10.9
[INFO] [stderr]     Checking tower v0.4.13
[INFO] [stderr]     Checking sqlparser v0.44.0
[INFO] [stderr]     Checking serde v1.0.228
[INFO] [stderr]     Checking p3-util v0.5.1 (https://github.com/Plonky3/Plonky3?branch=main#e9d75614)
[INFO] [stderr]     Checking serde_urlencoded v0.7.1
[INFO] [stderr]     Checking chrono v0.4.44
[INFO] [stderr]     Checking p3-field v0.5.1 (https://github.com/Plonky3/Plonky3?branch=main#e9d75614)
[INFO] [stderr]     Checking postcard v1.1.3
[INFO] [stderr]     Checking p3-matrix v0.5.1 (https://github.com/Plonky3/Plonky3?branch=main#e9d75614)
[INFO] [stderr]     Checking p3-symmetric v0.5.1 (https://github.com/Plonky3/Plonky3?branch=main#e9d75614)
[INFO] [stderr]     Checking p3-poseidon1 v0.5.1 (https://github.com/Plonky3/Plonky3?branch=main#e9d75614)
[INFO] [stderr]     Checking hyper v1.8.1
[INFO] [stderr]     Checking tower v0.5.3
[INFO] [stderr]     Checking tokio-stream v0.1.18
[INFO] [stderr]     Checking p3-dft v0.5.1 (https://github.com/Plonky3/Plonky3?branch=main#e9d75614)
[INFO] [stderr]     Checking p3-interpolation v0.5.1 (https://github.com/Plonky3/Plonky3?branch=main#e9d75614)
[INFO] [stderr]     Checking p3-air v0.5.1 (https://github.com/Plonky3/Plonky3?branch=main#e9d75614)
[INFO] [stderr]     Checking tokio-test v0.4.5
[INFO] [stderr]     Checking hyper-util v0.1.20
[INFO] [stderr]     Checking axum v0.7.9
[INFO] [stderr]     Checking p3-mds v0.5.1 (https://github.com/Plonky3/Plonky3?branch=main#e9d75614)
[INFO] [stderr]     Checking p3-poseidon2 v0.5.1 (https://github.com/Plonky3/Plonky3?branch=main#e9d75614)
[INFO] [stderr]     Checking p3-monty-31 v0.5.1 (https://github.com/Plonky3/Plonky3?branch=main#e9d75614)
[INFO] [stderr]     Checking p3-challenger v0.5.1 (https://github.com/Plonky3/Plonky3?branch=main#e9d75614)
[INFO] [stderr]     Checking p3-commit v0.5.1 (https://github.com/Plonky3/Plonky3?branch=main#e9d75614)
[INFO] [stderr]     Checking p3-baby-bear v0.5.1 (https://github.com/Plonky3/Plonky3?branch=main#e9d75614)
[INFO] [stderr]     Checking p3-goldilocks v0.5.1 (https://github.com/Plonky3/Plonky3?branch=main#e9d75614)
[INFO] [stderr]     Checking p3-uni-stark v0.5.1 (https://github.com/Plonky3/Plonky3?branch=main#e9d75614)
[INFO] [stderr]     Checking p3-fri v0.5.1 (https://github.com/Plonky3/Plonky3?branch=main#e9d75614)
[INFO] [stderr]     Checking p3-merkle-tree v0.5.1 (https://github.com/Plonky3/Plonky3?branch=main#e9d75614)
[INFO] [stdout] error[E0283]: type annotations needed
[INFO] [stdout]   --> /opt/rustwide/cargo-home/git/checkouts/plonky3-7d8a3b21a665a86f/e9d7561/uni-stark/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/git/checkouts/plonky3-7d8a3b21a665a86f/e9d7561/uni-stark/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/git/checkouts/plonky3-7d8a3b21a665a86f/e9d7561/uni-stark/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/git/checkouts/plonky3-7d8a3b21a665a86f/e9d7561/uni-stark/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/git/checkouts/plonky3-7d8a3b21a665a86f/e9d7561/uni-stark/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/git/checkouts/plonky3-7d8a3b21a665a86f/e9d7561/uni-stark/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/git/checkouts/plonky3-7d8a3b21a665a86f/e9d7561/uni-stark/src/prover.rs:81:35
[INFO] [stdout]    |
[INFO] [stdout] 81 |         num_periodic_columns: air.num_periodic_columns(),
[INFO] [stdout]    |                                   ^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout]    |
[INFO] [stdout] note: multiple `impl`s or `where` clauses satisfying `A: BaseAir<_>` found
[INFO] [stdout]   --> /opt/rustwide/cargo-home/git/checkouts/plonky3-7d8a3b21a665a86f/e9d7561/uni-stark/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] 81 -         num_periodic_columns: air.num_periodic_columns(),
[INFO] [stdout] 81 +         num_periodic_columns: <A as BaseAir<F>>::num_periodic_columns(air),
[INFO] [stdout]    |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0283]: type annotations needed
[INFO] [stdout]   --> /opt/rustwide/cargo-home/git/checkouts/plonky3-7d8a3b21a665a86f/e9d7561/uni-stark/src/prover.rs:87:13
[INFO] [stdout]    |
[INFO] [stdout] 87 |         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/git/checkouts/plonky3-7d8a3b21a665a86f/e9d7561/uni-stark/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] 87 -         air.num_constraints()
[INFO] [stdout] 87 +         <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/git/checkouts/plonky3-7d8a3b21a665a86f/e9d7561/uni-stark/src/prover.rs:90:13
[INFO] [stdout]    |
[INFO] [stdout] 90 |         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/git/checkouts/plonky3-7d8a3b21a665a86f/e9d7561/uni-stark/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] 90 -         air.num_constraints().unwrap(),
[INFO] [stdout] 90 +         <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/git/checkouts/plonky3-7d8a3b21a665a86f/e9d7561/uni-stark/src/prover.rs:308:26
[INFO] [stdout]     |
[INFO] [stdout] 308 |     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/git/checkouts/plonky3-7d8a3b21a665a86f/e9d7561/uni-stark/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] 308 -     let main_next = !air.main_next_row_columns().is_empty();
[INFO] [stdout] 308 +     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/git/checkouts/plonky3-7d8a3b21a665a86f/e9d7561/uni-stark/src/prover.rs:309:25
[INFO] [stdout]     |
[INFO] [stdout] 309 |     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/git/checkouts/plonky3-7d8a3b21a665a86f/e9d7561/uni-stark/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] 309 -     let pre_next = !air.preprocessed_next_row_columns().is_empty();
[INFO] [stdout] 309 +     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/git/checkouts/plonky3-7d8a3b21a665a86f/e9d7561/uni-stark/src/verifier.rs:260:25
[INFO] [stdout]     |
[INFO] [stdout] 260 |         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/git/checkouts/plonky3-7d8a3b21a665a86f/e9d7561/uni-stark/src/verifier.rs:230:8
[INFO] [stdout]     |
[INFO] [stdout] 230 |     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] 260 -         main_width: air.width(),
[INFO] [stdout] 260 +         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/git/checkouts/plonky3-7d8a3b21a665a86f/e9d7561/uni-stark/src/verifier.rs:261:32
[INFO] [stdout]     |
[INFO] [stdout] 261 |         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/git/checkouts/plonky3-7d8a3b21a665a86f/e9d7561/uni-stark/src/verifier.rs:230:8
[INFO] [stdout]     |
[INFO] [stdout] 230 |     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] 261 -         num_public_values: air.num_public_values(),
[INFO] [stdout] 261 +         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/git/checkouts/plonky3-7d8a3b21a665a86f/e9d7561/uni-stark/src/verifier.rs:262:35
[INFO] [stdout]     |
[INFO] [stdout] 262 |         num_periodic_columns: air.num_periodic_columns(),
[INFO] [stdout]     |                                   ^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout] note: multiple `impl`s or `where` clauses satisfying `A: BaseAir<_>` found
[INFO] [stdout]    --> /opt/rustwide/cargo-home/git/checkouts/plonky3-7d8a3b21a665a86f/e9d7561/uni-stark/src/verifier.rs:230:8
[INFO] [stdout]     |
[INFO] [stdout] 230 |     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] 262 -         num_periodic_columns: air.num_periodic_columns(),
[INFO] [stdout] 262 +         num_periodic_columns: <A as BaseAir<F>>::num_periodic_columns(air),
[INFO] [stdout]     |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0283]: type annotations needed
[INFO] [stdout]    --> /opt/rustwide/cargo-home/git/checkouts/plonky3-7d8a3b21a665a86f/e9d7561/uni-stark/src/verifier.rs:288:21
[INFO] [stdout]     |
[INFO] [stdout] 288 |     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/git/checkouts/plonky3-7d8a3b21a665a86f/e9d7561/uni-stark/src/verifier.rs:230:8
[INFO] [stdout]     |
[INFO] [stdout] 230 |     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/git/checkouts/plonky3-7d8a3b21a665a86f/e9d7561/uni-stark/src/verifier.rs:289:42
[INFO] [stdout]     |
[INFO] [stdout] 289 |     let expected_public_values_len = 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/git/checkouts/plonky3-7d8a3b21a665a86f/e9d7561/uni-stark/src/verifier.rs:230:8
[INFO] [stdout]     |
[INFO] [stdout] 230 |     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] 289 -     let expected_public_values_len = air.num_public_values();
[INFO] [stdout] 289 +     let expected_public_values_len = <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/git/checkouts/plonky3-7d8a3b21a665a86f/e9d7561/uni-stark/src/verifier.rs:298:26
[INFO] [stdout]     |
[INFO] [stdout] 298 |     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/git/checkouts/plonky3-7d8a3b21a665a86f/e9d7561/uni-stark/src/verifier.rs:230:8
[INFO] [stdout]     |
[INFO] [stdout] 230 |     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] 298 -     let main_next = !air.main_next_row_columns().is_empty();
[INFO] [stdout] 298 +     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/git/checkouts/plonky3-7d8a3b21a665a86f/e9d7561/uni-stark/src/verifier.rs:299:25
[INFO] [stdout]     |
[INFO] [stdout] 299 |     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/git/checkouts/plonky3-7d8a3b21a665a86f/e9d7561/uni-stark/src/verifier.rs:230:8
[INFO] [stdout]     |
[INFO] [stdout] 230 |     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] 299 -     let pre_next = !air.preprocessed_next_row_columns().is_empty();
[INFO] [stdout] 299 +     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 15 previous errors
[INFO] [stderr] warning: build failed, waiting for other jobs to finish...
[INFO] running `Command { std: "docker" "inspect" "66998b54a4c8d3f32719edbebc9aedfdebaf9430276879f23943fb1103ac8805", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "66998b54a4c8d3f32719edbebc9aedfdebaf9430276879f23943fb1103ac8805", kill_on_drop: false }`
[INFO] [stdout] 66998b54a4c8d3f32719edbebc9aedfdebaf9430276879f23943fb1103ac8805
