[INFO] cloning repository https://github.com/uawl/zprove
[INFO] running `Command { std: "git" "-c" "credential.helper=" "-c" "credential.helper=/workspace/cargo-home/bin/git-credential-null" "clone" "--bare" "https://github.com/uawl/zprove" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Fuawl%2Fzprove", kill_on_drop: false }`
[INFO] [stderr] Cloning into bare repository '/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Fuawl%2Fzprove'...
[INFO] running `Command { std: "git" "rev-parse" "HEAD", kill_on_drop: false }`
[INFO] [stdout] 0322f5a8525f9f8a08c563bd27d18b3c8410b69e
[INFO] checking uawl/zprove against try#6713fa75964eb229409a9c6f6f5c418423e313ff for pr-133502-22
[INFO] running `Command { std: "git" "clone" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Fuawl%2Fzprove" "/workspace/builds/worker-5-tc2/source", kill_on_drop: false }`
[INFO] [stderr] Cloning into '/workspace/builds/worker-5-tc2/source'...
[INFO] [stderr] done.
[INFO] started tweaking git repo https://github.com/uawl/zprove
[INFO] finished tweaking git repo https://github.com/uawl/zprove
[INFO] tweaked toml for git repo https://github.com/uawl/zprove written to /workspace/builds/worker-5-tc2/source/Cargo.toml
[INFO] validating manifest of git repo https://github.com/uawl/zprove 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/uawl/zprove 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-5-tc2/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-5-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] f77ffbd4b90cae187839125c9f6440ebed6ced4d7c0591a187e6d72456fd494b
[INFO] running `Command { std: "docker" "start" "-a" "f77ffbd4b90cae187839125c9f6440ebed6ced4d7c0591a187e6d72456fd494b", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "inspect" "f77ffbd4b90cae187839125c9f6440ebed6ced4d7c0591a187e6d72456fd494b", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "f77ffbd4b90cae187839125c9f6440ebed6ced4d7c0591a187e6d72456fd494b", kill_on_drop: false }`
[INFO] [stdout] f77ffbd4b90cae187839125c9f6440ebed6ced4d7c0591a187e6d72456fd494b
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-5-tc2/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-5-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] a2f9e11ab0bdeff39f8041f00bff4bdd49db50b0263fa894f0b14b6333d4b996
[INFO] running `Command { std: "docker" "start" "-a" "a2f9e11ab0bdeff39f8041f00bff4bdd49db50b0263fa894f0b14b6333d4b996", kill_on_drop: false }`
[INFO] [stderr]    Compiling quote v1.0.44
[INFO] [stderr]    Compiling serde_core v1.0.228
[INFO] [stderr]    Compiling libc v0.2.182
[INFO] [stderr]    Compiling serde v1.0.228
[INFO] [stderr]    Compiling typenum v1.19.0
[INFO] [stderr]     Checking subtle v2.6.1
[INFO] [stderr]     Checking const-oid v0.9.6
[INFO] [stderr]     Checking once_cell v1.21.3
[INFO] [stderr]    Compiling autocfg v1.5.0
[INFO] [stderr]    Compiling paste v1.0.15
[INFO] [stderr]    Compiling generic-array v0.14.9
[INFO] [stderr]    Compiling zerocopy v0.8.39
[INFO] [stderr]     Checking base16ct v0.2.0
[INFO] [stderr]     Checking cpufeatures v0.2.17
[INFO] [stderr]     Checking foldhash v0.2.0
[INFO] [stderr]    Compiling unicode-segmentation v1.12.0
[INFO] [stderr]    Compiling ruint-macro v1.2.1
[INFO] [stderr]     Checking keccak v0.1.6
[INFO] [stderr]     Checking rustc-hash v2.1.1
[INFO] [stderr]     Checking tracing-core v0.1.36
[INFO] [stderr]    Compiling getrandom v0.3.4
[INFO] [stderr]    Compiling thiserror v2.0.18
[INFO] [stderr]    Compiling hashbrown v0.16.1
[INFO] [stderr]     Checking lock_api v0.4.14
[INFO] [stderr]     Checking p3-maybe-rayon v0.4.2
[INFO] [stderr]     Checking strength_reduce v0.2.4
[INFO] [stderr]    Compiling syn v2.0.117
[INFO] [stderr]    Compiling winnow v0.7.14
[INFO] [stderr]    Compiling num-traits v0.2.19
[INFO] [stderr]    Compiling toml_datetime v0.7.5+spec-1.1.0
[INFO] [stderr]    Compiling serde_json v1.0.149
[INFO] [stderr]    Compiling strsim v0.11.1
[INFO] [stderr]    Compiling fnv v1.0.7
[INFO] [stderr]    Compiling convert_case v0.10.0
[INFO] [stderr]    Compiling ident_case v1.0.1
[INFO] [stderr]     Checking spin v0.10.0
[INFO] [stderr]    Compiling cc v1.2.56
[INFO] [stderr]    Compiling cfg-if v1.0.4
[INFO] [stderr]    Compiling const-hex v1.17.0
[INFO] [stderr]    Compiling proc-macro-error-attr2 v2.0.0
[INFO] [stderr]    Compiling dunce v1.0.5
[INFO] [stderr]    Compiling radium v0.7.0
[INFO] [stderr]     Checking crc-catalog v2.4.0
[INFO] [stderr]     Checking allocator-api2 v0.2.21
[INFO] [stderr]     Checking foldhash v0.1.5
[INFO] [stderr]     Checking wyz v0.5.1
[INFO] [stderr]     Checking crc v3.4.0
[INFO] [stderr]     Checking funty v2.0.0
[INFO] [stderr]     Checking hashbrown v0.15.5
[INFO] [stderr]     Checking getrandom v0.2.17
[INFO] [stderr]    Compiling indexmap v2.13.0
[INFO] [stderr]     Checking num-integer v0.1.46
[INFO] [stderr]     Checking rand_core v0.9.5
[INFO] [stderr]    Compiling ahash v0.8.12
[INFO] [stderr]     Checking num-bigint v0.4.6
[INFO] [stderr]     Checking transpose v0.2.3
[INFO] [stderr]    Compiling crossbeam-utils v0.8.21
[INFO] [stderr]     Checking futures-channel v0.3.32
[INFO] [stderr]     Checking slab v0.4.12
[INFO] [stderr]     Checking rand_core v0.6.4
[INFO] [stderr]    Compiling parking_lot_core v0.9.12
[INFO] [stderr]     Checking ff v0.13.1
[INFO] [stderr]     Checking num_cpus v1.17.0
[INFO] [stderr]     Checking percent-encoding v2.3.2
[INFO] [stderr]     Checking group v0.13.0
[INFO] [stderr]     Checking num-iter v0.1.45
[INFO] [stderr]     Checking num-complex v0.4.6
[INFO] [stderr]     Checking sync_wrapper v1.0.2
[INFO] [stderr]     Checking form_urlencoded v1.2.2
[INFO] [stderr]     Checking threadpool v1.8.1
[INFO] [stderr]     Checking futures-utils-wasm v0.1.0
[INFO] [stderr]     Checking hex v0.4.3
[INFO] [stderr]     Checking hashbrown v0.14.5
[INFO] [stderr]    Compiling crunchy v0.2.4
[INFO] [stderr]     Checking arrayref v0.3.9
[INFO] [stderr]     Checking crossbeam-epoch v0.9.18
[INFO] [stderr]     Checking lru v0.16.0
[INFO] [stderr]    Compiling tiny-keccak v2.0.2
[INFO] [stderr]    Compiling rayon-core v1.13.0
[INFO] [stderr]     Checking rand_xoshiro v0.7.0
[INFO] [stderr]     Checking num-rational v0.4.2
[INFO] [stderr]     Checking crossbeam-deque v0.8.6
[INFO] [stderr]    Compiling blst v0.3.16
[INFO] [stderr]    Compiling secp256k1-sys v0.11.0
[INFO] [stderr]    Compiling c-kzg v2.1.5
[INFO] [stderr]     Checking num v0.4.3
[INFO] [stderr]     Checking aurora-engine-modexp v1.2.0
[INFO] [stderr]     Checking bitflags v2.11.0
[INFO] [stderr]    Compiling toml_parser v1.0.9+spec-1.1.0
[INFO] [stderr]    Compiling crypto-common v0.1.6
[INFO] [stderr]    Compiling block-buffer v0.10.4
[INFO] [stderr]    Compiling digest v0.10.7
[INFO] [stderr]    Compiling sha3 v0.10.8
[INFO] [stderr]     Checking ppv-lite86 v0.2.21
[INFO] [stderr]    Compiling toml_edit v0.23.10+spec-1.0.0
[INFO] [stderr]     Checking rand_chacha v0.9.0
[INFO] [stderr]     Checking rand_chacha v0.3.1
[INFO] [stderr]     Checking rand v0.9.2
[INFO] [stderr]     Checking rand v0.8.5
[INFO] [stderr]    Compiling proc-macro-crate v3.4.0
[INFO] [stderr]     Checking secp256k1 v0.31.1
[INFO] [stderr]     Checking ark-std v0.5.0
[INFO] [stderr]    Compiling synstructure v0.13.2
[INFO] [stderr]    Compiling darling_core v0.21.3
[INFO] [stderr]    Compiling macro-string v0.1.4
[INFO] [stderr]    Compiling syn-solidity v1.5.7
[INFO] [stderr]    Compiling proc-macro-error2 v2.0.1
[INFO] [stderr]    Compiling serde_derive v1.0.228
[INFO] [stderr]    Compiling zeroize_derive v1.4.3
[INFO] [stderr]    Compiling alloy-rlp-derive v0.3.13
[INFO] [stderr]    Compiling tracing-attributes v0.1.31
[INFO] [stderr]    Compiling derive_more-impl v2.1.1
[INFO] [stderr]    Compiling thiserror-impl v2.0.18
[INFO] [stderr]    Compiling auto_impl v1.3.0
[INFO] [stderr]    Compiling zerovec-derive v0.11.2
[INFO] [stderr]    Compiling num_enum_derive v0.7.5
[INFO] [stderr]    Compiling displaydoc v0.2.5
[INFO] [stderr]    Compiling tokio-macros v2.6.0
[INFO] [stderr]    Compiling enum-ordinalize-derive v4.3.2
[INFO] [stderr]    Compiling ark-serialize-derive v0.5.0
[INFO] [stderr]    Compiling zerofrom-derive v0.1.6
[INFO] [stderr]    Compiling yoke-derive v0.8.1
[INFO] [stderr]    Compiling enum-ordinalize v4.3.2
[INFO] [stderr]    Compiling educe v0.6.0
[INFO] [stderr]    Compiling futures-macro v0.3.32
[INFO] [stderr]     Checking zeroize v1.8.2
[INFO] [stderr]     Checking tokio v1.49.0
[INFO] [stderr]     Checking der v0.7.10
[INFO] [stderr]     Checking num_enum v0.7.5
[INFO] [stderr]    Compiling ark-ff-macros v0.5.0
[INFO] [stderr]    Compiling ark-ff-asm v0.5.0
[INFO] [stderr]     Checking crypto-bigint v0.5.5
[INFO] [stderr]     Checking tracing v0.1.44
[INFO] [stderr]    Compiling strum_macros v0.27.2
[INFO] [stderr]    Compiling async-trait v0.1.89
[INFO] [stderr]    Compiling pin-project-internal v1.1.10
[INFO] [stderr]     Checking futures-util v0.3.32
[INFO] [stderr]    Compiling async-stream-impl v0.3.6
[INFO] [stderr]     Checking hmac v0.12.1
[INFO] [stderr]     Checking sec1 v0.7.3
[INFO] [stderr]     Checking spki v0.7.3
[INFO] [stderr]     Checking rfc6979 v0.4.0
[INFO] [stderr]     Checking signature v2.2.0
[INFO] [stderr]     Checking sha2 v0.10.9
[INFO] [stderr]     Checking zerofrom v0.1.6
[INFO] [stderr]     Checking ripemd v0.1.3
[INFO] [stderr]    Compiling derive-where v1.6.0
[INFO] [stderr]     Checking yoke v0.8.1
[INFO] [stderr]     Checking async-stream v0.3.6
[INFO] [stderr]     Checking zerovec v0.11.5
[INFO] [stderr]     Checking zerotrie v0.2.3
[INFO] [stderr]     Checking pin-project v1.1.10
[INFO] [stderr]    Compiling darling_macro v0.21.3
[INFO] [stderr]    Compiling alloy-sol-macro-input v1.5.7
[INFO] [stderr]    Compiling darling v0.21.3
[INFO] [stderr]     Checking tinystr v0.8.2
[INFO] [stderr]    Compiling serde_with_macros v3.16.1
[INFO] [stderr]     Checking potential_utf v0.1.4
[INFO] [stderr]    Compiling alloy-tx-macros v1.7.3
[INFO] [stderr]     Checking icu_collections v2.1.1
[INFO] [stderr]    Compiling alloy-sol-macro-expander v1.5.7
[INFO] [stderr]     Checking icu_locale_core v2.1.1
[INFO] [stderr]     Checking elliptic-curve v0.13.8
[INFO] [stderr]     Checking strum v0.27.2
[INFO] [stderr]     Checking derive_more v2.1.1
[INFO] [stderr]     Checking ecdsa v0.16.9
[INFO] [stderr]     Checking primeorder v0.13.6
[INFO] [stderr]     Checking either v1.15.0
[INFO] [stderr]     Checking arrayvec v0.7.6
[INFO] [stderr]     Checking bytes v1.11.1
[INFO] [stderr]     Checking p3-util v0.4.2
[INFO] [stderr]     Checking smallvec v1.15.1
[INFO] [stderr]     Checking bitvec v1.0.1
[INFO] [stderr]     Checking serde_with v3.16.1
[INFO] [stderr]     Checking icu_provider v2.1.1
[INFO] [stderr]     Checking itertools v0.14.0
[INFO] [stderr]     Checking itertools v0.13.0
[INFO] [stderr]     Checking rayon v1.11.0
[INFO] [stderr]     Checking ark-serialize v0.5.0
[INFO] [stderr]     Checking icu_properties v2.1.2
[INFO] [stderr]     Checking icu_normalizer v2.1.1
[INFO] [stderr]     Checking alloy-rlp v0.3.13
[INFO] [stderr]     Checking http v1.4.0
[INFO] [stderr]     Checking tokio-util v0.7.18
[INFO] [stderr]     Checking k256 v0.13.4
[INFO] [stderr]     Checking p256 v0.13.2
[INFO] [stderr]     Checking parking_lot v0.12.5
[INFO] [stderr]     Checking ruint v1.17.2
[INFO] [stderr]     Checking dashmap v6.1.0
[INFO] [stderr]     Checking tokio-stream v0.1.18
[INFO] [stderr]    Compiling alloy-sol-macro v1.5.7
[INFO] [stderr]     Checking futures-executor v0.3.31
[INFO] [stderr]     Checking tower v0.5.3
[INFO] [stderr]     Checking futures v0.3.31
[INFO] [stderr]     Checking alloy-primitives v1.5.7
[INFO] [stderr]     Checking nybbles v0.4.8
[INFO] [stderr]     Checking idna_adapter v1.2.1
[INFO] [stderr]     Checking idna v1.1.0
[INFO] [stderr]     Checking p3-field v0.4.2
[INFO] [stderr]     Checking url v2.5.8
[INFO] [stderr]     Checking ark-ff v0.5.0
[INFO] [stderr]     Checking p3-matrix v0.4.2
[INFO] [stderr]     Checking p3-symmetric v0.4.2
[INFO] [stderr]     Checking alloy-eip7928 v0.3.2
[INFO] [stderr]     Checking alloy-eip2930 v0.2.3
[INFO] [stderr]     Checking alloy-eip7702 v0.6.3
[INFO] [stderr]     Checking revm-primitives v22.0.0
[INFO] [stderr]     Checking alloy-serde v1.7.3
[INFO] [stderr]     Checking alloy-eip2124 v0.2.0
[INFO] [stderr]     Checking alloy-trie v0.9.4
[INFO] [stderr]     Checking alloy-sol-types v1.5.7
[INFO] [stderr]     Checking alloy-signer v1.7.3
[INFO] [stderr]     Checking alloy-chains v0.2.30
[INFO] [stderr]     Checking p3-keccak v0.4.2
[INFO] [stderr]     Checking revm-bytecode v8.0.0
[INFO] [stderr]     Checking alloy-eips v1.7.3
[INFO] [stderr]     Checking p3-dft v0.4.2
[INFO] [stderr]     Checking p3-air v0.4.2
[INFO] [stderr]     Checking p3-interpolation v0.4.2
[INFO] [stderr]     Checking revm-state v9.0.0
[INFO] [stderr]     Checking p3-mds v0.4.2
[INFO] [stderr]     Checking alloy-consensus v1.7.3
[INFO] [stderr]     Checking revm-database-interface v9.0.0
[INFO] [stderr]     Checking p3-poseidon2 v0.4.2
[INFO] [stderr]     Checking p3-monty-31 v0.4.2
[INFO] [stderr]     Checking p3-poseidon2-air v0.4.2
[INFO] [stderr]     Checking revm-context-interface v14.0.0
[INFO] [stderr]     Checking p3-challenger v0.4.2
[INFO] [stderr]     Checking p3-commit v0.4.2
[INFO] [stderr]     Checking p3-mersenne-31 v0.4.2
[INFO] [stderr]     Checking p3-baby-bear v0.4.2
[INFO] [stderr]     Checking p3-fri v0.4.2
[INFO] [stderr]     Checking p3-uni-stark v0.4.2 (/opt/rustwide/workdir/crates/p3-uni-stark)
[INFO] [stderr]     Checking p3-merkle-tree v0.4.2
[INFO] [stderr]     Checking revm-context v13.0.0
[INFO] [stderr]     Checking revm-interpreter v32.0.0
[INFO] [stdout] error[E0283]: type annotations needed
[INFO] [stdout]   --> crates/p3-uni-stark/src/prover.rs:83:45
[INFO] [stdout]    |
[INFO] [stdout] 83 |       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]   --> crates/p3-uni-stark/src/prover.rs:58:31
[INFO] [stdout]    |
[INFO] [stdout] 58 |   #[cfg(debug_assertions)] A: for<'a> Air<crate::check_constraints::DebugConstraintBuilder<'a, Val<SC>>>,
[INFO] [stdout]    |                               ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] ...
[INFO] [stdout] 70 |   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] 83 -       if let Some(preprocessed_trace) = air.preprocessed_trace() {
[INFO] [stdout] 83 +       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]   --> crates/p3-uni-stark/src/prover.rs:83:45
[INFO] [stdout]    |
[INFO] [stdout] 83 |       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]   --> crates/p3-uni-stark/src/prover.rs:58:31
[INFO] [stdout]    |
[INFO] [stdout] 58 |   #[cfg(debug_assertions)] A: for<'a> Air<crate::check_constraints::DebugConstraintBuilder<'a, Val<SC>>>,
[INFO] [stdout]    |                               ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] ...
[INFO] [stdout] 70 |   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] 83 -       if let Some(preprocessed_trace) = air.preprocessed_trace() {
[INFO] [stdout] 83 +       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]    --> crates/p3-uni-stark/src/prover.rs:697:45
[INFO] [stdout]     |
[INFO] [stdout] 697 |       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]    --> crates/p3-uni-stark/src/prover.rs:665:31
[INFO] [stdout]     |
[INFO] [stdout] 665 |   #[cfg(debug_assertions)] A: for<'a> Air<crate::check_constraints::DebugConstraintBuilder<'a, Val<SC>>>,
[INFO] [stdout]     |                               ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] ...
[INFO] [stdout] 685 |   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] 697 -       if let Some(preprocessed_trace) = air.preprocessed_trace() {
[INFO] [stdout] 697 +       if let Some(preprocessed_trace) = <A as BaseAir<F>>::preprocessed_trace(air) {
[INFO] [stdout]     |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stderr]     Checking p3-circle v0.4.2
[INFO] [stderr]     Checking alloy-json-rpc v1.7.3
[INFO] [stdout] error[E0283]: type annotations needed
[INFO] [stdout]    --> crates/p3-uni-stark/src/verifier.rs:329:19
[INFO] [stdout]     |
[INFO] [stdout] 329 |   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]    --> crates/p3-uni-stark/src/verifier.rs:278:6
[INFO] [stdout]     |
[INFO] [stdout] 278 |   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]    --> crates/p3-uni-stark/src/verifier.rs:559:19
[INFO] [stdout]     |
[INFO] [stdout] 559 |   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]    --> crates/p3-uni-stark/src/verifier.rs:511:6
[INFO] [stdout]     |
[INFO] [stdout] 511 |   A: Air<SymbolicAirBuilder<Val<SC>>> + for<'a> Air<VerifierConstraintFolder<'a, SC>>,
[INFO] [stdout]     |      ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^   ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stderr]     Checking alloy-consensus-any v1.7.3
[INFO] [stderr]     Checking alloy-network-primitives v1.7.3
[INFO] [stdout] error[E0283]: type annotations needed
[INFO] [stdout]    --> crates/p3-uni-stark/src/prover.rs:697:45
[INFO] [stdout]     |
[INFO] [stdout] 697 |       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]    --> crates/p3-uni-stark/src/prover.rs:665:31
[INFO] [stdout]     |
[INFO] [stdout] 665 |   #[cfg(debug_assertions)] A: for<'a> Air<crate::check_constraints::DebugConstraintBuilder<'a, Val<SC>>>,
[INFO] [stdout]     |                               ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] ...
[INFO] [stdout] 685 |   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] 697 -       if let Some(preprocessed_trace) = air.preprocessed_trace() {
[INFO] [stdout] 697 +       if let Some(preprocessed_trace) = <A as BaseAir<F>>::preprocessed_trace(air) {
[INFO] [stdout]     |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stderr]     Checking alloy-transport v1.7.3
[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 4 previous errors
[INFO] [stderr] warning: build failed, waiting for other jobs to finish...
[INFO] [stdout] error[E0283]: type annotations needed
[INFO] [stdout]    --> crates/p3-uni-stark/src/verifier.rs:329:19
[INFO] [stdout]     |
[INFO] [stdout] 329 |   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]    --> crates/p3-uni-stark/src/verifier.rs:278:6
[INFO] [stdout]     |
[INFO] [stdout] 278 |   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]    --> crates/p3-uni-stark/src/verifier.rs:559:19
[INFO] [stdout]     |
[INFO] [stdout] 559 |   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]    --> crates/p3-uni-stark/src/verifier.rs:511:6
[INFO] [stdout]     |
[INFO] [stdout] 511 |   A: Air<SymbolicAirBuilder<Val<SC>>> + for<'a> Air<VerifierConstraintFolder<'a, SC>>,
[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 test) due to 4 previous errors
[INFO] running `Command { std: "docker" "inspect" "a2f9e11ab0bdeff39f8041f00bff4bdd49db50b0263fa894f0b14b6333d4b996", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "a2f9e11ab0bdeff39f8041f00bff4bdd49db50b0263fa894f0b14b6333d4b996", kill_on_drop: false }`
[INFO] [stdout] a2f9e11ab0bdeff39f8041f00bff4bdd49db50b0263fa894f0b14b6333d4b996
