[INFO] cloning repository https://github.com/shuklaayush/p3-keccak-machine
[INFO] running `Command { std: "git" "-c" "credential.helper=" "-c" "credential.helper=/workspace/cargo-home/bin/git-credential-null" "clone" "--bare" "https://github.com/shuklaayush/p3-keccak-machine" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Fshuklaayush%2Fp3-keccak-machine", kill_on_drop: false }`
[INFO] [stderr] Cloning into bare repository '/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Fshuklaayush%2Fp3-keccak-machine'...
[INFO] running `Command { std: "git" "rev-parse" "HEAD", kill_on_drop: false }`
[INFO] [stdout] 4fd10fe59b5fecaa908b359aa9cbcd6c1044e487
[INFO] checking shuklaayush/p3-keccak-machine against try#149edce6c6ee840adb602803b96d083101ef3592 for pr-133502-16
[INFO] running `Command { std: "git" "clone" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Fshuklaayush%2Fp3-keccak-machine" "/workspace/builds/worker-6-tc2/source", kill_on_drop: false }`
[INFO] [stderr] Cloning into '/workspace/builds/worker-6-tc2/source'...
[INFO] [stderr] done.
[INFO] started tweaking git repo https://github.com/shuklaayush/p3-keccak-machine
[INFO] finished tweaking git repo https://github.com/shuklaayush/p3-keccak-machine
[INFO] tweaked toml for git repo https://github.com/shuklaayush/p3-keccak-machine written to /workspace/builds/worker-6-tc2/source/Cargo.toml
[INFO] validating manifest of git repo https://github.com/shuklaayush/p3-keccak-machine on toolchain 149edce6c6ee840adb602803b96d083101ef3592
[INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+149edce6c6ee840adb602803b96d083101ef3592" "metadata" "--manifest-path" "Cargo.toml" "--no-deps", kill_on_drop: false }`
[INFO] crate git repo https://github.com/shuklaayush/p3-keccak-machine 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" "+149edce6c6ee840adb602803b96d083101ef3592" "fetch" "--manifest-path" "Cargo.toml", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-6-tc2/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-6-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:e90291280db7d1fac5b66fc6dad9f9662629e7365a55743daf9bdf73ebc4ea79" "/opt/rustwide/cargo-home/bin/cargo" "+149edce6c6ee840adb602803b96d083101ef3592" "metadata" "--no-deps" "--format-version=1", kill_on_drop: false }`
[INFO] [stdout] 268e8b714838a0f764c588984f046268b7fab072cfa2441614b3d2ed76a44219
[INFO] running `Command { std: "docker" "start" "-a" "268e8b714838a0f764c588984f046268b7fab072cfa2441614b3d2ed76a44219", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "inspect" "268e8b714838a0f764c588984f046268b7fab072cfa2441614b3d2ed76a44219", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "268e8b714838a0f764c588984f046268b7fab072cfa2441614b3d2ed76a44219", kill_on_drop: false }`
[INFO] [stdout] 268e8b714838a0f764c588984f046268b7fab072cfa2441614b3d2ed76a44219
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-6-tc2/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-6-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:e90291280db7d1fac5b66fc6dad9f9662629e7365a55743daf9bdf73ebc4ea79" "/opt/rustwide/cargo-home/bin/cargo" "+149edce6c6ee840adb602803b96d083101ef3592" "check" "--frozen" "--all" "--all-targets" "--message-format=json", kill_on_drop: false }`
[INFO] [stdout] ebb36f8107a53709f75f24fb100dd59de1be28a876756a5f190d88065bbb2a0d
[INFO] running `Command { std: "docker" "start" "-a" "ebb36f8107a53709f75f24fb100dd59de1be28a876756a5f190d88065bbb2a0d", kill_on_drop: false }`
[INFO] [stderr]    Compiling libc v0.2.155
[INFO] [stderr]    Compiling serde v1.0.203
[INFO] [stderr]     Checking p3-maybe-rayon v0.1.0 (https://github.com/Plonky3/Plonky3.git#fde81db9)
[INFO] [stderr]     Checking itertools v0.13.0
[INFO] [stderr]    Compiling syn v2.0.66
[INFO] [stderr]    Compiling ahash v0.8.11
[INFO] [stderr]     Checking num-integer v0.1.46
[INFO] [stderr]     Checking regex-syntax v0.8.3
[INFO] [stderr]     Checking regex-syntax v0.6.29
[INFO] [stderr]     Checking allocator-api2 v0.2.18
[INFO] [stderr]    Compiling tiny-keccak v2.0.2
[INFO] [stderr]     Checking overload v0.1.1
[INFO] [stderr]     Checking nu-ansi-term v0.46.0
[INFO] [stderr]     Checking sharded-slab v0.1.7
[INFO] [stderr]     Checking tracing-log v0.2.0
[INFO] [stderr]     Checking hashbrown v0.14.5
[INFO] [stderr]     Checking thread_local v1.1.8
[INFO] [stderr]     Checking gcd v2.3.0
[INFO] [stderr]     Checking smallvec v1.13.2
[INFO] [stderr]     Checking getrandom v0.2.15
[INFO] [stderr]     Checking rand_core v0.6.4
[INFO] [stderr]     Checking regex-automata v0.4.6
[INFO] [stderr]     Checking rand_chacha v0.3.1
[INFO] [stderr]     Checking rand v0.8.5
[INFO] [stderr]     Checking regex-automata v0.1.10
[INFO] [stderr]     Checking num-bigint v0.4.5
[INFO] [stderr]     Checking matchers v0.1.0
[INFO] [stderr]     Checking regex v1.10.4
[INFO] [stderr]     Checking nums v0.1.0
[INFO] [stderr]    Compiling serde_derive v1.0.203
[INFO] [stderr]    Compiling tracing-attributes v0.1.27
[INFO] [stderr]    Compiling thiserror-impl v1.0.61
[INFO] [stderr]    Compiling p3-derive v0.1.0 (https://github.com/shuklaayush/p3-utils.git#213a393f)
[INFO] [stderr]     Checking tracing v0.1.40
[INFO] [stderr]     Checking thiserror v1.0.61
[INFO] [stderr]     Checking tracing-subscriber v0.3.18
[INFO] [stderr]     Checking tracing-forest v0.1.6
[INFO] [stderr]     Checking p3-util v0.1.0 (https://github.com/Plonky3/Plonky3.git#fde81db9)
[INFO] [stderr]     Checking p3-field v0.1.0 (https://github.com/Plonky3/Plonky3.git#fde81db9)
[INFO] [stderr]     Checking p3-matrix v0.1.0 (https://github.com/Plonky3/Plonky3.git#fde81db9)
[INFO] [stderr]     Checking p3-symmetric v0.1.0 (https://github.com/Plonky3/Plonky3.git#fde81db9)
[INFO] [stderr]     Checking p3-challenger v0.1.0 (https://github.com/Plonky3/Plonky3.git#fde81db9)
[INFO] [stderr]     Checking p3-keccak v0.1.0 (https://github.com/Plonky3/Plonky3.git#fde81db9)
[INFO] [stderr]     Checking p3-dft v0.1.0 (https://github.com/Plonky3/Plonky3.git#fde81db9)
[INFO] [stderr]     Checking p3-air v0.1.0 (https://github.com/Plonky3/Plonky3.git#fde81db9)
[INFO] [stderr]     Checking p3-interpolation v0.1.0 (https://github.com/Plonky3/Plonky3.git#fde81db9)
[INFO] [stderr]     Checking p3-interaction v0.1.0 (https://github.com/shuklaayush/p3-utils.git#213a393f)
[INFO] [stderr]     Checking p3-commit v0.1.0 (https://github.com/Plonky3/Plonky3.git#fde81db9)
[INFO] [stderr]     Checking p3-merkle-tree v0.1.0 (https://github.com/Plonky3/Plonky3.git#fde81db9)
[INFO] [stderr]     Checking p3-mds v0.1.0 (https://github.com/Plonky3/Plonky3.git#fde81db9)
[INFO] [stderr]     Checking p3-uni-stark v0.1.0 (https://github.com/Plonky3/Plonky3.git#fde81db9)
[INFO] [stderr]     Checking p3-fri v0.1.0 (https://github.com/Plonky3/Plonky3.git#fde81db9)
[INFO] [stderr]     Checking p3-poseidon2 v0.1.0 (https://github.com/Plonky3/Plonky3.git#fde81db9)
[INFO] [stderr]     Checking p3-baby-bear v0.1.0 (https://github.com/Plonky3/Plonky3.git#fde81db9)
[INFO] [stderr]     Checking p3-air-util v0.1.0 (https://github.com/shuklaayush/p3-utils.git#213a393f)
[INFO] [stderr]     Checking p3-machine v0.1.0 (https://github.com/shuklaayush/p3-utils.git#213a393f)
[INFO] [stderr]     Checking p3-keccak-machine v0.1.0 (/opt/rustwide/workdir)
[INFO] [stdout] warning: unused import: `constants::*`
[INFO] [stdout]   --> src/airs/keccak/mod.rs:10:9
[INFO] [stdout]    |
[INFO] [stdout] 10 | pub use constants::*;
[INFO] [stdout]    |         ^^^^^^^^^^^^
[INFO] [stdout]    |
[INFO] [stdout]    = note: `#[warn(unused_imports)]` (part of `#[warn(unused)]`) on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused import: `constants::*`
[INFO] [stdout]   --> src/airs/keccak/mod.rs:10:9
[INFO] [stdout]    |
[INFO] [stdout] 10 | pub use constants::*;
[INFO] [stdout]    |         ^^^^^^^^^^^^
[INFO] [stdout]    |
[INFO] [stdout]    = note: `#[warn(unused_imports)]` (part of `#[warn(unused)]`) on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0275]: overflow evaluating the requirement `<<<StarkConfig<TwoAdicFriPcs<BabyBear, Radix2DitParallel, ..., ...>, ..., ...> as StarkGenericConfig>::Pcs as p3_commit::Pcs<..., ...>>::Domain as PolynomialSpace>::Val == _`
[INFO] [stdout]   --> src/test_util.rs:23:12
[INFO] [stdout]    |
[INFO] [stdout] 23 |     trace: RowMajorMatrix<Val<MyConfig>>,
[INFO] [stdout]    |            ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0275]: overflow evaluating the requirement `<<<StarkConfig<TwoAdicFriPcs<BabyBear, Radix2DitParallel, ..., ...>, ..., ...> as StarkGenericConfig>::Pcs as p3_commit::Pcs<..., ...>>::Domain as PolynomialSpace>::Val == _`
[INFO] [stdout]   --> src/test_util.rs:24:20
[INFO] [stdout]    |
[INFO] [stdout] 24 |     public_values: Vec<Val<MyConfig>>,
[INFO] [stdout]    |                    ^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: constant `RATE_BITS` is never used
[INFO] [stdout]   --> src/airs/keccak/mod.rs:16:7
[INFO] [stdout]    |
[INFO] [stdout] 16 | const RATE_BITS: usize = 1088;
[INFO] [stdout]    |       ^^^^^^^^^
[INFO] [stdout]    |
[INFO] [stdout]    = note: `#[warn(dead_code)]` (part of `#[warn(unused)]`) on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: constant `RATE_LIMBS` is never used
[INFO] [stdout]   --> src/airs/keccak/mod.rs:17:7
[INFO] [stdout]    |
[INFO] [stdout] 17 | const RATE_LIMBS: usize = RATE_BITS / BITS_PER_LIMB;
[INFO] [stdout]    |       ^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: function `input_limb` is never used
[INFO] [stdout]   --> src/airs/keccak/columns.rs:94:8
[INFO] [stdout]    |
[INFO] [stdout] 94 | pub fn input_limb(i: usize) -> usize {
[INFO] [stdout]    |        ^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: function `output_limb` is never used
[INFO] [stdout]    --> src/airs/keccak/columns.rs:107:8
[INFO] [stdout]     |
[INFO] [stdout] 107 | pub fn output_limb(i: usize) -> usize {
[INFO] [stdout]     |        ^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: constant `KECCAK_COL_MAP` is never used
[INFO] [stdout]    --> src/airs/keccak/columns.rs:121:18
[INFO] [stdout]     |
[INFO] [stdout] 121 | pub(crate) const KECCAK_COL_MAP: KeccakCols<usize> = make_col_map();
[INFO] [stdout]     |                  ^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: function `make_col_map` is never used
[INFO] [stdout]    --> src/airs/keccak/columns.rs:123:10
[INFO] [stdout]     |
[INFO] [stdout] 123 | const fn make_col_map() -> KeccakCols<usize> {
[INFO] [stdout]     |          ^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: type alias `Val` is never used
[INFO] [stdout]   --> src/config.rs:12:10
[INFO] [stdout]    |
[INFO] [stdout] 12 | pub type Val = BabyBear;
[INFO] [stdout]    |          ^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: type alias `Challenge` is never used
[INFO] [stdout]   --> src/config.rs:13:10
[INFO] [stdout]    |
[INFO] [stdout] 13 | pub type Challenge = BinomialExtensionField<Val, 4>;
[INFO] [stdout]    |          ^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: type alias `ByteHash` is never used
[INFO] [stdout]   --> src/config.rs:14:10
[INFO] [stdout]    |
[INFO] [stdout] 14 | pub type ByteHash = Keccak256Hash;
[INFO] [stdout]    |          ^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: type alias `FieldHash` is never used
[INFO] [stdout]   --> src/config.rs:15:10
[INFO] [stdout]    |
[INFO] [stdout] 15 | pub type FieldHash = SerializingHasher32<ByteHash>;
[INFO] [stdout]    |          ^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: type alias `MyCompress` is never used
[INFO] [stdout]   --> src/config.rs:16:10
[INFO] [stdout]    |
[INFO] [stdout] 16 | pub type MyCompress = CompressionFunctionFromHasher<u8, ByteHash, 2, 32>;
[INFO] [stdout]    |          ^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: type alias `ValMmcs` is never used
[INFO] [stdout]   --> src/config.rs:17:10
[INFO] [stdout]    |
[INFO] [stdout] 17 | pub type ValMmcs = FieldMerkleTreeMmcs<Val, u8, FieldHash, MyCompress, 32>;
[INFO] [stdout]    |          ^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: type alias `ChallengeMmcs` is never used
[INFO] [stdout]   --> src/config.rs:18:10
[INFO] [stdout]    |
[INFO] [stdout] 18 | pub type ChallengeMmcs = ExtensionMmcs<Val, Challenge, ValMmcs>;
[INFO] [stdout]    |          ^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: type alias `Dft` is never used
[INFO] [stdout]   --> src/config.rs:19:10
[INFO] [stdout]    |
[INFO] [stdout] 19 | pub type Dft = Radix2DitParallel;
[INFO] [stdout]    |          ^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: type alias `Challenger` is never used
[INFO] [stdout]   --> src/config.rs:20:10
[INFO] [stdout]    |
[INFO] [stdout] 20 | pub type Challenger = SerializingChallenger32<Val, HashChallenger<u8, ByteHash, 32>>;
[INFO] [stdout]    |          ^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: type alias `Pcs` is never used
[INFO] [stdout]   --> src/config.rs:21:10
[INFO] [stdout]    |
[INFO] [stdout] 21 | pub type Pcs = TwoAdicFriPcs<Val, Dft, ValMmcs, ChallengeMmcs>;
[INFO] [stdout]    |          ^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: type alias `MyConfig` is never used
[INFO] [stdout]   --> src/config.rs:22:10
[INFO] [stdout]    |
[INFO] [stdout] 22 | pub type MyConfig = StarkConfig<Pcs, Challenge, Challenger>;
[INFO] [stdout]    |          ^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: function `default_config` is never used
[INFO] [stdout]   --> src/config.rs:24:8
[INFO] [stdout]    |
[INFO] [stdout] 24 | pub fn default_config() -> MyConfig {
[INFO] [stdout]    |        ^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: function `default_challenger` is never used
[INFO] [stdout]   --> src/config.rs:47:8
[INFO] [stdout]    |
[INFO] [stdout] 47 | pub fn default_challenger() -> Challenger {
[INFO] [stdout]    |        ^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: function `generate_machine_trace` is never used
[INFO] [stdout]   --> src/trace.rs:21:8
[INFO] [stdout]    |
[INFO] [stdout] 21 | pub fn generate_machine_trace<SC, Compress>(
[INFO] [stdout]    |        ^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0275]: overflow evaluating the requirement `p3_uni_stark::SymbolicAirBuilder<<<<StarkConfig<TwoAdicFriPcs<BabyBear, ..., ..., ...>, ..., ...> as StarkGenericConfig>::Pcs as p3_commit::Pcs<..., ...>>::Domain as PolynomialSpace>::Val>: AirBuilder`
[INFO] [stdout]   --> src/test_util.rs:19:11
[INFO] [stdout]    |
[INFO] [stdout] 19 |         + for<'a> Air<SymbolicAirBuilder<Val<MyConfig>>>
[INFO] [stdout]    |           ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout]    |
[INFO] [stdout] note: required by a bound in `Air`
[INFO] [stdout]   --> /opt/rustwide/cargo-home/git/checkouts/plonky3-7d8a3b21a665a86f/fde81db/air/src/air.rs:18:19
[INFO] [stdout]    |
[INFO] [stdout] 18 | pub trait Air<AB: AirBuilder>: BaseAir<AB::F> {
[INFO] [stdout]    |                   ^^^^^^^^^^ required by this bound in `Air`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0275]: overflow evaluating the requirement `<<<StarkConfig<TwoAdicFriPcs<BabyBear, Radix2DitParallel, ..., ...>, ..., ...> as StarkGenericConfig>::Pcs as p3_commit::Pcs<..., ...>>::Domain as PolynomialSpace>::Val: PrimeField32`
[INFO] [stdout]   --> src/test_util.rs:27:20
[INFO] [stdout]    |
[INFO] [stdout] 27 |     Val<MyConfig>: PrimeField32,
[INFO] [stdout]    |                    ^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0275]: overflow evaluating the requirement `DenseMatrix<<<<StarkConfig<TwoAdicFriPcs<BabyBear, ..., ..., ...>, ..., ...> as StarkGenericConfig>::Pcs as p3_commit::Pcs<..., ...>>::Domain as PolynomialSpace>::Val> well-formed`
[INFO] [stdout]   --> src/test_util.rs:23:12
[INFO] [stdout]    |
[INFO] [stdout] 23 |     trace: RowMajorMatrix<Val<MyConfig>>,
[INFO] [stdout]    |            ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0275]: overflow evaluating the requirement `std::vec::Vec<<<<StarkConfig<TwoAdicFriPcs<BabyBear, ..., ..., ...>, ..., ...> as StarkGenericConfig>::Pcs as p3_commit::Pcs<..., ...>>::Domain as PolynomialSpace>::Val> well-formed`
[INFO] [stdout]   --> src/test_util.rs:24:20
[INFO] [stdout]    |
[INFO] [stdout] 24 |     public_values: Vec<Val<MyConfig>>,
[INFO] [stdout]    |                    ^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0275]: overflow evaluating the requirement `p3_uni_stark::SymbolicAirBuilder<<<<StarkConfig<TwoAdicFriPcs<BabyBear, ..., ..., ...>, ..., ...> as StarkGenericConfig>::Pcs as p3_commit::Pcs<..., ...>>::Domain as PolynomialSpace>::Val> well-formed`
[INFO] [stdout]   --> src/test_util.rs:19:11
[INFO] [stdout]    |
[INFO] [stdout] 19 |         + for<'a> Air<SymbolicAirBuilder<Val<MyConfig>>>
[INFO] [stdout]    |           ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0275]: overflow evaluating the requirement `<<<StarkConfig<TwoAdicFriPcs<BabyBear, Radix2DitParallel, ..., ...>, ..., ...> as StarkGenericConfig>::Pcs as p3_commit::Pcs<..., ...>>::Domain as PolynomialSpace>::Val well-formed`
[INFO] [stdout]   --> src/test_util.rs:27:20
[INFO] [stdout]    |
[INFO] [stdout] 27 |     Val<MyConfig>: PrimeField32,
[INFO] [stdout]    |                    ^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0275]: overflow evaluating the requirement `_ == <<<StarkConfig<TwoAdicFriPcs<BabyBear, ..., ..., ...>, ..., ...> as StarkGenericConfig>::Pcs as p3_commit::Pcs<..., ...>>::Domain as PolynomialSpace>::Val`
[INFO] [stdout]   --> src/test_util.rs:23:5
[INFO] [stdout]    |
[INFO] [stdout] 23 |     trace: RowMajorMatrix<Val<MyConfig>>,
[INFO] [stdout]    |     ^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0275]: overflow evaluating the requirement `_ == <<<StarkConfig<TwoAdicFriPcs<BabyBear, ..., ..., ...>, ..., ...> as StarkGenericConfig>::Pcs as p3_commit::Pcs<..., ...>>::Domain as PolynomialSpace>::Val`
[INFO] [stdout]   --> src/test_util.rs:24:5
[INFO] [stdout]    |
[INFO] [stdout] 24 |     public_values: Vec<Val<MyConfig>>,
[INFO] [stdout]    |     ^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0275]: overflow evaluating the requirement `StarkConfig<TwoAdicFriPcs<BabyBear, Radix2DitParallel, FieldMerkleTreeMmcs<BabyBear, u8, ..., ..., 32>, ...>, ..., ...>: StarkGenericConfig`
[INFO] [stdout]   --> src/test_util.rs:32:23
[INFO] [stdout]    |
[INFO] [stdout] 32 |     let proof = prove(&config, air, &mut challenger, trace, &public_values);
[INFO] [stdout]    |                 ----- ^^^^^^^
[INFO] [stdout]    |                 |
[INFO] [stdout]    |                 required by a bound introduced by this call
[INFO] [stdout]    |
[INFO] [stdout] note: required by a bound in `p3_uni_stark::prove`
[INFO] [stdout]   --> /opt/rustwide/cargo-home/git/checkouts/plonky3-7d8a3b21a665a86f/fde81db/uni-stark/src/prover.rs:36:9
[INFO] [stdout]    |
[INFO] [stdout] 24 | pub fn prove<
[INFO] [stdout]    |        ----- required by a bound in this function
[INFO] [stdout] ...
[INFO] [stdout] 36 |     SC: StarkGenericConfig,
[INFO] [stdout]    |         ^^^^^^^^^^^^^^^^^^ required by this bound in `prove`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0275]: overflow evaluating the requirement `<StarkConfig<TwoAdicFriPcs<BabyBear, Radix2DitParallel, FieldMerkleTreeMmcs<BabyBear, u8, ..., ..., 32>, ...>, ..., ...> as StarkGenericConfig>::Challenger == ...`
[INFO] [stdout]   --> src/test_util.rs:32:37
[INFO] [stdout]    |
[INFO] [stdout] 32 |     let proof = prove(&config, air, &mut challenger, trace, &public_values);
[INFO] [stdout]    |                                     ^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0275]: overflow evaluating the requirement `_ <: <<<StarkConfig<TwoAdicFriPcs<BabyBear, ..., ..., ...>, ..., ...> as StarkGenericConfig>::Pcs as p3_commit::Pcs<..., ...>>::Domain as PolynomialSpace>::Val`
[INFO] [stdout]   --> src/test_util.rs:32:54
[INFO] [stdout]    |
[INFO] [stdout] 32 |     let proof = prove(&config, air, &mut challenger, trace, &public_values);
[INFO] [stdout]    |                                                      ^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0275]: overflow evaluating the requirement `<<<StarkConfig<TwoAdicFriPcs<BabyBear, Radix2DitParallel, ..., ...>, ..., ...> as StarkGenericConfig>::Pcs as p3_commit::Pcs<..., ...>>::Domain as PolynomialSpace>::Val == ...`
[INFO] [stdout]   --> src/test_util.rs:32:54
[INFO] [stdout]    |
[INFO] [stdout] 32 |     let proof = prove(&config, air, &mut challenger, trace, &public_values);
[INFO] [stdout]    |                                                      ^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0275]: overflow evaluating the requirement `_ <: <<<StarkConfig<TwoAdicFriPcs<BabyBear, ..., ..., ...>, ..., ...> as StarkGenericConfig>::Pcs as p3_commit::Pcs<..., ...>>::Domain as PolynomialSpace>::Val`
[INFO] [stdout]   --> src/test_util.rs:32:61
[INFO] [stdout]    |
[INFO] [stdout] 32 |     let proof = prove(&config, air, &mut challenger, trace, &public_values);
[INFO] [stdout]    |                                                             ^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0275]: overflow evaluating the requirement `<<<StarkConfig<TwoAdicFriPcs<BabyBear, Radix2DitParallel, ..., ...>, ..., ...> as StarkGenericConfig>::Pcs as p3_commit::Pcs<..., ...>>::Domain as PolynomialSpace>::Val == ...`
[INFO] [stdout]   --> src/test_util.rs:32:61
[INFO] [stdout]    |
[INFO] [stdout] 32 |     let proof = prove(&config, air, &mut challenger, trace, &public_values);
[INFO] [stdout]    |                                                             ^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0275]: overflow evaluating the requirement `StarkConfig<TwoAdicFriPcs<BabyBear, Radix2DitParallel, FieldMerkleTreeMmcs<BabyBear, u8, ..., ..., 32>, ...>, ..., ...>: StarkGenericConfig`
[INFO] [stdout]   --> src/test_util.rs:35:5
[INFO] [stdout]    |
[INFO] [stdout] 35 |     verify(&config, air, &mut challenger, &proof, &public_values)
[INFO] [stdout]    |     ^^^^^^
[INFO] [stdout]    |
[INFO] [stdout] note: required by a bound in `p3_uni_stark::verify`
[INFO] [stdout]   --> /opt/rustwide/cargo-home/git/checkouts/plonky3-7d8a3b21a665a86f/fde81db/uni-stark/src/verifier.rs:25:9
[INFO] [stdout]    |
[INFO] [stdout] 17 | pub fn verify<SC, A>(
[INFO] [stdout]    |        ------ required by a bound in this function
[INFO] [stdout] ...
[INFO] [stdout] 25 |     SC: StarkGenericConfig,
[INFO] [stdout]    |         ^^^^^^^^^^^^^^^^^^ required by this bound in `verify`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0275]: overflow evaluating the requirement `<StarkConfig<TwoAdicFriPcs<BabyBear, Radix2DitParallel, FieldMerkleTreeMmcs<BabyBear, u8, ..., ..., 32>, ...>, ..., ...> as StarkGenericConfig>::Challenger == ...`
[INFO] [stdout]   --> src/test_util.rs:35:26
[INFO] [stdout]    |
[INFO] [stdout] 35 |     verify(&config, air, &mut challenger, &proof, &public_values)
[INFO] [stdout]    |                          ^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0275]: overflow evaluating the requirement `_ <: <<<StarkConfig<TwoAdicFriPcs<BabyBear, ..., ..., ...>, ..., ...> as StarkGenericConfig>::Pcs as p3_commit::Pcs<..., ...>>::Domain as PolynomialSpace>::Val`
[INFO] [stdout]   --> src/test_util.rs:35:51
[INFO] [stdout]    |
[INFO] [stdout] 35 |     verify(&config, air, &mut challenger, &proof, &public_values)
[INFO] [stdout]    |                                                   ^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0275]: overflow evaluating the requirement `<<<StarkConfig<TwoAdicFriPcs<BabyBear, Radix2DitParallel, ..., ...>, ..., ...> as StarkGenericConfig>::Pcs as p3_commit::Pcs<..., ...>>::Domain as PolynomialSpace>::Val == ...`
[INFO] [stdout]   --> src/test_util.rs:35:51
[INFO] [stdout]    |
[INFO] [stdout] 35 |     verify(&config, air, &mut challenger, &proof, &public_values)
[INFO] [stdout]    |                                                   ^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0275]: overflow evaluating the requirement `&mut <StarkConfig<TwoAdicFriPcs<BabyBear, Radix2DitParallel, FieldMerkleTreeMmcs<..., u8, ..., ..., 32>, ...>, ..., ...> as StarkGenericConfig>::Challenger well-formed`
[INFO] [stdout]   --> src/test_util.rs:32:37
[INFO] [stdout]    |
[INFO] [stdout] 32 |     let proof = prove(&config, air, &mut challenger, trace, &public_values);
[INFO] [stdout]    |                                     ^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0275]: overflow evaluating the requirement `DenseMatrix<<<<StarkConfig<TwoAdicFriPcs<BabyBear, ..., ..., ...>, ..., ...> as StarkGenericConfig>::Pcs as p3_commit::Pcs<..., ...>>::Domain as PolynomialSpace>::Val> well-formed`
[INFO] [stdout]   --> src/test_util.rs:32:54
[INFO] [stdout]    |
[INFO] [stdout] 32 |     let proof = prove(&config, air, &mut challenger, trace, &public_values);
[INFO] [stdout]    |                                                      ^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0275]: overflow evaluating the requirement `&std::vec::Vec<<<<StarkConfig<TwoAdicFriPcs<..., ..., ..., ...>, ..., ...> as StarkGenericConfig>::Pcs as p3_commit::Pcs<..., ...>>::Domain as PolynomialSpace>::Val> well-formed`
[INFO] [stdout]   --> src/test_util.rs:32:61
[INFO] [stdout]    |
[INFO] [stdout] 32 |     let proof = prove(&config, air, &mut challenger, trace, &public_values);
[INFO] [stdout]    |                                                             ^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0275]: overflow evaluating the requirement `Proof<StarkConfig<TwoAdicFriPcs<BabyBear, Radix2DitParallel, FieldMerkleTreeMmcs<BabyBear, u8, ..., ..., 32>, ...>, ..., ...>> well-formed`
[INFO] [stdout]   --> src/test_util.rs:32:17
[INFO] [stdout]    |
[INFO] [stdout] 32 |     let proof = prove(&config, air, &mut challenger, trace, &public_values);
[INFO] [stdout]    |                 ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0275]: overflow evaluating the requirement `&mut <StarkConfig<TwoAdicFriPcs<BabyBear, Radix2DitParallel, FieldMerkleTreeMmcs<..., u8, ..., ..., 32>, ...>, ..., ...> as StarkGenericConfig>::Challenger well-formed`
[INFO] [stdout]   --> src/test_util.rs:35:26
[INFO] [stdout]    |
[INFO] [stdout] 35 |     verify(&config, air, &mut challenger, &proof, &public_values)
[INFO] [stdout]    |                          ^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0275]: overflow evaluating the requirement `&Proof<StarkConfig<TwoAdicFriPcs<BabyBear, Radix2DitParallel, FieldMerkleTreeMmcs<..., u8, ..., ..., 32>, ...>, ..., ...>> well-formed`
[INFO] [stdout]   --> src/test_util.rs:35:43
[INFO] [stdout]    |
[INFO] [stdout] 35 |     verify(&config, air, &mut challenger, &proof, &public_values)
[INFO] [stdout]    |                                           ^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0275]: overflow evaluating the requirement `&std::vec::Vec<<<<StarkConfig<TwoAdicFriPcs<..., ..., ..., ...>, ..., ...> as StarkGenericConfig>::Pcs as p3_commit::Pcs<..., ...>>::Domain as PolynomialSpace>::Val> well-formed`
[INFO] [stdout]   --> src/test_util.rs:35:51
[INFO] [stdout]    |
[INFO] [stdout] 35 |     verify(&config, air, &mut challenger, &proof, &public_values)
[INFO] [stdout]    |                                                   ^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0275]: overflow evaluating the requirement `<<<StarkConfig<TwoAdicFriPcs<BabyBear, Radix2DitParallel, ..., ...>, ..., ...> as StarkGenericConfig>::Pcs as p3_commit::Pcs<..., ...>>::Domain as PolynomialSpace>::Val == _`
[INFO] [stdout]   --> src/test_util.rs:23:5
[INFO] [stdout]    |
[INFO] [stdout] 23 |     trace: RowMajorMatrix<Val<MyConfig>>,
[INFO] [stdout]    |     ^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0275]: overflow evaluating the requirement `<<<StarkConfig<TwoAdicFriPcs<BabyBear, Radix2DitParallel, ..., ...>, ..., ...> as StarkGenericConfig>::Pcs as p3_commit::Pcs<..., ...>>::Domain as PolynomialSpace>::Val == _`
[INFO] [stdout]   --> src/test_util.rs:24:5
[INFO] [stdout]    |
[INFO] [stdout] 24 |     public_values: Vec<Val<MyConfig>>,
[INFO] [stdout]    |     ^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0275]: overflow evaluating the requirement `<StarkConfig<TwoAdicFriPcs<BabyBear, Radix2DitParallel, FieldMerkleTreeMmcs<BabyBear, u8, ..., ..., 32>, ...>, ..., ...> as StarkGenericConfig>::Challenger == _`
[INFO] [stdout]   --> src/test_util.rs:32:37
[INFO] [stdout]    |
[INFO] [stdout] 32 |     let proof = prove(&config, air, &mut challenger, trace, &public_values);
[INFO] [stdout]    |                                     ^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0275]: overflow evaluating the requirement `<<<StarkConfig<TwoAdicFriPcs<BabyBear, Radix2DitParallel, ..., ...>, ..., ...> as StarkGenericConfig>::Pcs as p3_commit::Pcs<..., ...>>::Domain as PolynomialSpace>::Val == _`
[INFO] [stdout]   --> src/test_util.rs:32:61
[INFO] [stdout]    |
[INFO] [stdout] 32 |     let proof = prove(&config, air, &mut challenger, trace, &public_values);
[INFO] [stdout]    |                                                             ^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0275]: overflow evaluating the requirement `<StarkConfig<TwoAdicFriPcs<BabyBear, Radix2DitParallel, FieldMerkleTreeMmcs<BabyBear, u8, ..., ..., 32>, ...>, ..., ...> as StarkGenericConfig>::Challenger == _`
[INFO] [stdout]   --> src/test_util.rs:35:26
[INFO] [stdout]    |
[INFO] [stdout] 35 |     verify(&config, air, &mut challenger, &proof, &public_values)
[INFO] [stdout]    |                          ^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0275]: overflow evaluating the requirement `<<<StarkConfig<TwoAdicFriPcs<BabyBear, Radix2DitParallel, ..., ...>, ..., ...> as StarkGenericConfig>::Pcs as p3_commit::Pcs<..., ...>>::Domain as PolynomialSpace>::Val == _`
[INFO] [stdout]   --> src/test_util.rs:35:51
[INFO] [stdout]    |
[INFO] [stdout] 35 |     verify(&config, air, &mut challenger, &proof, &public_values)
[INFO] [stdout]    |                                                   ^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0275]: overflow evaluating the requirement `<<<StarkConfig<TwoAdicFriPcs<BabyBear, Radix2DitParallel, ..., ...>, ..., ...> as StarkGenericConfig>::Pcs as p3_commit::Pcs<..., ...>>::Domain as PolynomialSpace>::Val == _`
[INFO] [stdout]   --> src/test_util.rs:13:1
[INFO] [stdout]    |
[INFO] [stdout] 13 | / pub(crate) fn prove_and_verify<
[INFO] [stdout] 14 | |     #[cfg(not(debug_assertions))] A: for<'a> Air<ProverConstraintFolder<'a, MyConfig>>
[INFO] [stdout] 15 | |         + for<'a> Air<VerifierConstraintFolder<'a, MyConfig>>
[INFO] [stdout] 16 | |         + for<'a> Air<SymbolicAirBuilder<Val<MyConfig>>>,
[INFO] [stdout] ...  |
[INFO] [stdout] 26 | | where
[INFO] [stdout] 27 | |     Val<MyConfig>: PrimeField32,
[INFO] [stdout]    | |________________________________^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] For more information about this error, try `rustc --explain E0275`.
[INFO] [stdout] 
[INFO] [stderr] error: could not compile `p3-keccak-machine` (lib test) due to 34 previous errors; 1 warning emitted
[INFO] running `Command { std: "docker" "inspect" "ebb36f8107a53709f75f24fb100dd59de1be28a876756a5f190d88065bbb2a0d", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "ebb36f8107a53709f75f24fb100dd59de1be28a876756a5f190d88065bbb2a0d", kill_on_drop: false }`
[INFO] [stdout] ebb36f8107a53709f75f24fb100dd59de1be28a876756a5f190d88065bbb2a0d