[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#c8085cfed34c45021fc8f66d073f6394b3e35431 for pr-148939
[INFO] running `Command { std: "git" "clone" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Fshuklaayush%2Fp3-keccak-machine" "/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/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-5-tc2/source/Cargo.toml
[INFO] validating manifest of git repo https://github.com/shuklaayush/p3-keccak-machine on toolchain c8085cfed34c45021fc8f66d073f6394b3e35431
[INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+c8085cfed34c45021fc8f66d073f6394b3e35431" "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" "+c8085cfed34c45021fc8f66d073f6394b3e35431" "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:94a0c148923f5b2b52a63ef0eeb1882ad339ab61bce784c8077cbe41c61feb6c" "/opt/rustwide/cargo-home/bin/cargo" "+c8085cfed34c45021fc8f66d073f6394b3e35431" "metadata" "--no-deps" "--format-version=1", kill_on_drop: false }`
[INFO] [stdout] 091db88f5654aad0594c3a281be5a5f572273e6ad6fd8847f4b990fe74d21678
[INFO] running `Command { std: "docker" "start" "-a" "091db88f5654aad0594c3a281be5a5f572273e6ad6fd8847f4b990fe74d21678", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "inspect" "091db88f5654aad0594c3a281be5a5f572273e6ad6fd8847f4b990fe74d21678", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "091db88f5654aad0594c3a281be5a5f572273e6ad6fd8847f4b990fe74d21678", kill_on_drop: false }`
[INFO] [stdout] 091db88f5654aad0594c3a281be5a5f572273e6ad6fd8847f4b990fe74d21678
[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:94a0c148923f5b2b52a63ef0eeb1882ad339ab61bce784c8077cbe41c61feb6c" "/opt/rustwide/cargo-home/bin/cargo" "+c8085cfed34c45021fc8f66d073f6394b3e35431" "check" "--frozen" "--all" "--all-targets" "--message-format=json", kill_on_drop: false }`
[INFO] [stdout] a23559a910b1a965ac0b5c85f63ddd74bcc432803e8cd516ac192ba9379bcf0b
[INFO] running `Command { std: "docker" "start" "-a" "a23559a910b1a965ac0b5c85f63ddd74bcc432803e8cd516ac192ba9379bcf0b", kill_on_drop: false }`
[INFO] [stderr]    Compiling proc-macro2 v1.0.85
[INFO] [stderr]    Compiling serde v1.0.203
[INFO] [stderr]     Checking either v1.12.0
[INFO] [stderr]     Checking p3-maybe-rayon v0.1.0 (https://github.com/Plonky3/Plonky3.git#fde81db9)
[INFO] [stderr]     Checking regex-syntax v0.8.3
[INFO] [stderr]     Checking zerocopy v0.7.34
[INFO] [stderr]    Compiling libc v0.2.155
[INFO] [stderr]    Compiling ahash v0.8.11
[INFO] [stderr]    Compiling thiserror v1.0.61
[INFO] [stderr]     Checking sharded-slab v0.1.7
[INFO] [stderr]     Checking tracing-log v0.2.0
[INFO] [stderr]     Checking smallvec v1.13.2
[INFO] [stderr]     Checking gcd v2.3.0
[INFO] [stderr]     Checking num-integer v0.1.46
[INFO] [stderr]     Checking ansi_term v0.12.1
[INFO] [stderr]     Checking itertools v0.13.0
[INFO] [stderr]     Checking itertools v0.12.1
[INFO] [stderr]     Checking hashbrown v0.14.5
[INFO] [stderr]    Compiling quote v1.0.36
[INFO] [stderr]     Checking getrandom v0.2.15
[INFO] [stderr]    Compiling syn v2.0.66
[INFO] [stderr]     Checking rand_core v0.6.4
[INFO] [stderr]     Checking rand_chacha v0.3.1
[INFO] [stderr]     Checking regex-automata v0.4.6
[INFO] [stderr]     Checking rand v0.8.5
[INFO] [stderr]     Checking num-bigint v0.4.5
[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 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-commit 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-mds 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-uni-stark 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-fri 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] 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: inconsistency during normalizing env `Binder { value: TraitPredicate(<<<<p3_uni_stark::StarkConfig<p3_fri::TwoAdicFriPcs<p3_baby_bear::BabyBear, p3_dft::Radix2DitParallel, p3_merkle_tree::FieldMerkleTreeMmcs<p3_baby_bear::BabyBear, u8, p3_symmetric::SerializingHasher32<p3_keccak::Keccak256Hash>, p3_symmetric::CompressionFunctionFromHasher<u8, p3_keccak::Keccak256Hash, 2, 32>, 32>, p3_commit::ExtensionMmcs<p3_baby_bear::BabyBear, p3_field::extension::BinomialExtensionField<p3_baby_bear::BabyBear, 4>, p3_merkle_tree::FieldMerkleTreeMmcs<p3_baby_bear::BabyBear, u8, p3_symmetric::SerializingHasher32<p3_keccak::Keccak256Hash>, p3_symmetric::CompressionFunctionFromHasher<u8, p3_keccak::Keccak256Hash, 2, 32>, 32>>>, p3_field::extension::BinomialExtensionField<p3_baby_bear::BabyBear, 4>, p3_challenger::SerializingChallenger32<p3_baby_bear::BabyBear, p3_challenger::HashChallenger<u8, p3_keccak::Keccak256Hash, 32>>> as p3_uni_stark::StarkGenericConfig>::Pcs as p3_commit::Pcs<<p3_uni_stark::StarkConfig<p3_fri::TwoAdicFriPcs<p3_baby_bear::BabyBear, p3_dft::Radix2DitParallel, p3_merkle_tree::FieldMerkleTreeMmcs<p3_baby_bear::BabyBear, u8, p3_symmetric::SerializingHasher32<p3_keccak::Keccak256Hash>, p3_symmetric::CompressionFunctionFromHasher<u8, p3_keccak::Keccak256Hash, 2, 32>, 32>, p3_commit::ExtensionMmcs<p3_baby_bear::BabyBear, p3_field::extension::BinomialExtensionField<p3_baby_bear::BabyBear, 4>, p3_merkle_tree::FieldMerkleTreeMmcs<p3_baby_bear::BabyBear, u8, p3_symmetric::SerializingHasher32<p3_keccak::Keccak256Hash>, p3_symmetric::CompressionFunctionFromHasher<u8, p3_keccak::Keccak256Hash, 2, 32>, 32>>>, p3_field::extension::BinomialExtensionField<p3_baby_bear::BabyBear, 4>, p3_challenger::SerializingChallenger32<p3_baby_bear::BabyBear, p3_challenger::HashChallenger<u8, p3_keccak::Keccak256Hash, 32>>> as p3_uni_stark::StarkGenericConfig>::Challenge, <p3_uni_stark::StarkConfig<p3_fri::TwoAdicFriPcs<p3_baby_bear::BabyBear, p3_dft::Radix2DitParallel, p3_merkle_tree::FieldMerkleTreeMmcs<p3_baby_bear::BabyBear, u8, p3_symmetric::SerializingHasher32<p3_keccak::Keccak256Hash>, p3_symmetric::CompressionFunctionFromHasher<u8, p3_keccak::Keccak256Hash, 2, 32>, 32>, p3_commit::ExtensionMmcs<p3_baby_bear::BabyBear, p3_field::extension::BinomialExtensionField<p3_baby_bear::BabyBear, 4>, p3_merkle_tree::FieldMerkleTreeMmcs<p3_baby_bear::BabyBear, u8, p3_symmetric::SerializingHasher32<p3_keccak::Keccak256Hash>, p3_symmetric::CompressionFunctionFromHasher<u8, p3_keccak::Keccak256Hash, 2, 32>, 32>>>, p3_field::extension::BinomialExtensionField<p3_baby_bear::BabyBear, 4>, p3_challenger::SerializingChallenger32<p3_baby_bear::BabyBear, p3_challenger::HashChallenger<u8, p3_keccak::Keccak256Hash, 32>>> as p3_uni_stark::StarkGenericConfig>::Challenger>>::Domain as p3_commit::PolynomialSpace>::Val as p3_field::PrimeField32>, polarity:Positive), bound_vars: [] }`, old=Binder { value: TraitPredicate(<p3_baby_bear::BabyBear as p3_field::PrimeField32>, polarity:Positive), bound_vars: [] }, next=None
[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] error: inconsistency during normalizing env `Binder { value: TraitPredicate(<<<<p3_uni_stark::StarkConfig<p3_fri::TwoAdicFriPcs<p3_baby_bear::BabyBear, p3_dft::Radix2DitParallel, p3_merkle_tree::FieldMerkleTreeMmcs<p3_baby_bear::BabyBear, u8, p3_symmetric::SerializingHasher32<p3_keccak::Keccak256Hash>, p3_symmetric::CompressionFunctionFromHasher<u8, p3_keccak::Keccak256Hash, 2, 32>, 32>, p3_commit::ExtensionMmcs<p3_baby_bear::BabyBear, p3_field::extension::BinomialExtensionField<p3_baby_bear::BabyBear, 4>, p3_merkle_tree::FieldMerkleTreeMmcs<p3_baby_bear::BabyBear, u8, p3_symmetric::SerializingHasher32<p3_keccak::Keccak256Hash>, p3_symmetric::CompressionFunctionFromHasher<u8, p3_keccak::Keccak256Hash, 2, 32>, 32>>>, p3_field::extension::BinomialExtensionField<p3_baby_bear::BabyBear, 4>, p3_challenger::SerializingChallenger32<p3_baby_bear::BabyBear, p3_challenger::HashChallenger<u8, p3_keccak::Keccak256Hash, 32>>> as p3_uni_stark::StarkGenericConfig>::Pcs as p3_commit::Pcs<<p3_uni_stark::StarkConfig<p3_fri::TwoAdicFriPcs<p3_baby_bear::BabyBear, p3_dft::Radix2DitParallel, p3_merkle_tree::FieldMerkleTreeMmcs<p3_baby_bear::BabyBear, u8, p3_symmetric::SerializingHasher32<p3_keccak::Keccak256Hash>, p3_symmetric::CompressionFunctionFromHasher<u8, p3_keccak::Keccak256Hash, 2, 32>, 32>, p3_commit::ExtensionMmcs<p3_baby_bear::BabyBear, p3_field::extension::BinomialExtensionField<p3_baby_bear::BabyBear, 4>, p3_merkle_tree::FieldMerkleTreeMmcs<p3_baby_bear::BabyBear, u8, p3_symmetric::SerializingHasher32<p3_keccak::Keccak256Hash>, p3_symmetric::CompressionFunctionFromHasher<u8, p3_keccak::Keccak256Hash, 2, 32>, 32>>>, p3_field::extension::BinomialExtensionField<p3_baby_bear::BabyBear, 4>, p3_challenger::SerializingChallenger32<p3_baby_bear::BabyBear, p3_challenger::HashChallenger<u8, p3_keccak::Keccak256Hash, 32>>> as p3_uni_stark::StarkGenericConfig>::Challenge, <p3_uni_stark::StarkConfig<p3_fri::TwoAdicFriPcs<p3_baby_bear::BabyBear, p3_dft::Radix2DitParallel, p3_merkle_tree::FieldMerkleTreeMmcs<p3_baby_bear::BabyBear, u8, p3_symmetric::SerializingHasher32<p3_keccak::Keccak256Hash>, p3_symmetric::CompressionFunctionFromHasher<u8, p3_keccak::Keccak256Hash, 2, 32>, 32>, p3_commit::ExtensionMmcs<p3_baby_bear::BabyBear, p3_field::extension::BinomialExtensionField<p3_baby_bear::BabyBear, 4>, p3_merkle_tree::FieldMerkleTreeMmcs<p3_baby_bear::BabyBear, u8, p3_symmetric::SerializingHasher32<p3_keccak::Keccak256Hash>, p3_symmetric::CompressionFunctionFromHasher<u8, p3_keccak::Keccak256Hash, 2, 32>, 32>>>, p3_field::extension::BinomialExtensionField<p3_baby_bear::BabyBear, 4>, p3_challenger::SerializingChallenger32<p3_baby_bear::BabyBear, p3_challenger::HashChallenger<u8, p3_keccak::Keccak256Hash, 32>>> as p3_uni_stark::StarkGenericConfig>::Challenger>>::Domain as p3_commit::PolynomialSpace>::Val as p3_field::PrimeField64>, polarity:Positive), bound_vars: [] }`, old=Binder { value: TraitPredicate(<p3_baby_bear::BabyBear as p3_field::PrimeField64>, polarity:Positive), bound_vars: [] }, next=None
[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] error: inconsistency during normalizing env `Binder { value: TraitPredicate(<<<<p3_uni_stark::StarkConfig<p3_fri::TwoAdicFriPcs<p3_baby_bear::BabyBear, p3_dft::Radix2DitParallel, p3_merkle_tree::FieldMerkleTreeMmcs<p3_baby_bear::BabyBear, u8, p3_symmetric::SerializingHasher32<p3_keccak::Keccak256Hash>, p3_symmetric::CompressionFunctionFromHasher<u8, p3_keccak::Keccak256Hash, 2, 32>, 32>, p3_commit::ExtensionMmcs<p3_baby_bear::BabyBear, p3_field::extension::BinomialExtensionField<p3_baby_bear::BabyBear, 4>, p3_merkle_tree::FieldMerkleTreeMmcs<p3_baby_bear::BabyBear, u8, p3_symmetric::SerializingHasher32<p3_keccak::Keccak256Hash>, p3_symmetric::CompressionFunctionFromHasher<u8, p3_keccak::Keccak256Hash, 2, 32>, 32>>>, p3_field::extension::BinomialExtensionField<p3_baby_bear::BabyBear, 4>, p3_challenger::SerializingChallenger32<p3_baby_bear::BabyBear, p3_challenger::HashChallenger<u8, p3_keccak::Keccak256Hash, 32>>> as p3_uni_stark::StarkGenericConfig>::Pcs as p3_commit::Pcs<<p3_uni_stark::StarkConfig<p3_fri::TwoAdicFriPcs<p3_baby_bear::BabyBear, p3_dft::Radix2DitParallel, p3_merkle_tree::FieldMerkleTreeMmcs<p3_baby_bear::BabyBear, u8, p3_symmetric::SerializingHasher32<p3_keccak::Keccak256Hash>, p3_symmetric::CompressionFunctionFromHasher<u8, p3_keccak::Keccak256Hash, 2, 32>, 32>, p3_commit::ExtensionMmcs<p3_baby_bear::BabyBear, p3_field::extension::BinomialExtensionField<p3_baby_bear::BabyBear, 4>, p3_merkle_tree::FieldMerkleTreeMmcs<p3_baby_bear::BabyBear, u8, p3_symmetric::SerializingHasher32<p3_keccak::Keccak256Hash>, p3_symmetric::CompressionFunctionFromHasher<u8, p3_keccak::Keccak256Hash, 2, 32>, 32>>>, p3_field::extension::BinomialExtensionField<p3_baby_bear::BabyBear, 4>, p3_challenger::SerializingChallenger32<p3_baby_bear::BabyBear, p3_challenger::HashChallenger<u8, p3_keccak::Keccak256Hash, 32>>> as p3_uni_stark::StarkGenericConfig>::Challenge, <p3_uni_stark::StarkConfig<p3_fri::TwoAdicFriPcs<p3_baby_bear::BabyBear, p3_dft::Radix2DitParallel, p3_merkle_tree::FieldMerkleTreeMmcs<p3_baby_bear::BabyBear, u8, p3_symmetric::SerializingHasher32<p3_keccak::Keccak256Hash>, p3_symmetric::CompressionFunctionFromHasher<u8, p3_keccak::Keccak256Hash, 2, 32>, 32>, p3_commit::ExtensionMmcs<p3_baby_bear::BabyBear, p3_field::extension::BinomialExtensionField<p3_baby_bear::BabyBear, 4>, p3_merkle_tree::FieldMerkleTreeMmcs<p3_baby_bear::BabyBear, u8, p3_symmetric::SerializingHasher32<p3_keccak::Keccak256Hash>, p3_symmetric::CompressionFunctionFromHasher<u8, p3_keccak::Keccak256Hash, 2, 32>, 32>>>, p3_field::extension::BinomialExtensionField<p3_baby_bear::BabyBear, 4>, p3_challenger::SerializingChallenger32<p3_baby_bear::BabyBear, p3_challenger::HashChallenger<u8, p3_keccak::Keccak256Hash, 32>>> as p3_uni_stark::StarkGenericConfig>::Challenger>>::Domain as p3_commit::PolynomialSpace>::Val as p3_field::PrimeField>, polarity:Positive), bound_vars: [] }`, old=Binder { value: TraitPredicate(<p3_baby_bear::BabyBear as p3_field::PrimeField>, polarity:Positive), bound_vars: [] }, next=None
[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] error: inconsistency during normalizing env `Binder { value: TraitPredicate(<<<<p3_uni_stark::StarkConfig<p3_fri::TwoAdicFriPcs<p3_baby_bear::BabyBear, p3_dft::Radix2DitParallel, p3_merkle_tree::FieldMerkleTreeMmcs<p3_baby_bear::BabyBear, u8, p3_symmetric::SerializingHasher32<p3_keccak::Keccak256Hash>, p3_symmetric::CompressionFunctionFromHasher<u8, p3_keccak::Keccak256Hash, 2, 32>, 32>, p3_commit::ExtensionMmcs<p3_baby_bear::BabyBear, p3_field::extension::BinomialExtensionField<p3_baby_bear::BabyBear, 4>, p3_merkle_tree::FieldMerkleTreeMmcs<p3_baby_bear::BabyBear, u8, p3_symmetric::SerializingHasher32<p3_keccak::Keccak256Hash>, p3_symmetric::CompressionFunctionFromHasher<u8, p3_keccak::Keccak256Hash, 2, 32>, 32>>>, p3_field::extension::BinomialExtensionField<p3_baby_bear::BabyBear, 4>, p3_challenger::SerializingChallenger32<p3_baby_bear::BabyBear, p3_challenger::HashChallenger<u8, p3_keccak::Keccak256Hash, 32>>> as p3_uni_stark::StarkGenericConfig>::Pcs as p3_commit::Pcs<<p3_uni_stark::StarkConfig<p3_fri::TwoAdicFriPcs<p3_baby_bear::BabyBear, p3_dft::Radix2DitParallel, p3_merkle_tree::FieldMerkleTreeMmcs<p3_baby_bear::BabyBear, u8, p3_symmetric::SerializingHasher32<p3_keccak::Keccak256Hash>, p3_symmetric::CompressionFunctionFromHasher<u8, p3_keccak::Keccak256Hash, 2, 32>, 32>, p3_commit::ExtensionMmcs<p3_baby_bear::BabyBear, p3_field::extension::BinomialExtensionField<p3_baby_bear::BabyBear, 4>, p3_merkle_tree::FieldMerkleTreeMmcs<p3_baby_bear::BabyBear, u8, p3_symmetric::SerializingHasher32<p3_keccak::Keccak256Hash>, p3_symmetric::CompressionFunctionFromHasher<u8, p3_keccak::Keccak256Hash, 2, 32>, 32>>>, p3_field::extension::BinomialExtensionField<p3_baby_bear::BabyBear, 4>, p3_challenger::SerializingChallenger32<p3_baby_bear::BabyBear, p3_challenger::HashChallenger<u8, p3_keccak::Keccak256Hash, 32>>> as p3_uni_stark::StarkGenericConfig>::Challenge, <p3_uni_stark::StarkConfig<p3_fri::TwoAdicFriPcs<p3_baby_bear::BabyBear, p3_dft::Radix2DitParallel, p3_merkle_tree::FieldMerkleTreeMmcs<p3_baby_bear::BabyBear, u8, p3_symmetric::SerializingHasher32<p3_keccak::Keccak256Hash>, p3_symmetric::CompressionFunctionFromHasher<u8, p3_keccak::Keccak256Hash, 2, 32>, 32>, p3_commit::ExtensionMmcs<p3_baby_bear::BabyBear, p3_field::extension::BinomialExtensionField<p3_baby_bear::BabyBear, 4>, p3_merkle_tree::FieldMerkleTreeMmcs<p3_baby_bear::BabyBear, u8, p3_symmetric::SerializingHasher32<p3_keccak::Keccak256Hash>, p3_symmetric::CompressionFunctionFromHasher<u8, p3_keccak::Keccak256Hash, 2, 32>, 32>>>, p3_field::extension::BinomialExtensionField<p3_baby_bear::BabyBear, 4>, p3_challenger::SerializingChallenger32<p3_baby_bear::BabyBear, p3_challenger::HashChallenger<u8, p3_keccak::Keccak256Hash, 32>>> as p3_uni_stark::StarkGenericConfig>::Challenger>>::Domain as p3_commit::PolynomialSpace>::Val as std::cmp::Ord>, polarity:Positive), bound_vars: [] }`, old=Binder { value: TraitPredicate(<p3_baby_bear::BabyBear as std::cmp::Ord>, polarity:Positive), bound_vars: [] }, next=None
[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] error: inconsistency during normalizing env `Binder { value: TraitPredicate(<<<<p3_uni_stark::StarkConfig<p3_fri::TwoAdicFriPcs<p3_baby_bear::BabyBear, p3_dft::Radix2DitParallel, p3_merkle_tree::FieldMerkleTreeMmcs<p3_baby_bear::BabyBear, u8, p3_symmetric::SerializingHasher32<p3_keccak::Keccak256Hash>, p3_symmetric::CompressionFunctionFromHasher<u8, p3_keccak::Keccak256Hash, 2, 32>, 32>, p3_commit::ExtensionMmcs<p3_baby_bear::BabyBear, p3_field::extension::BinomialExtensionField<p3_baby_bear::BabyBear, 4>, p3_merkle_tree::FieldMerkleTreeMmcs<p3_baby_bear::BabyBear, u8, p3_symmetric::SerializingHasher32<p3_keccak::Keccak256Hash>, p3_symmetric::CompressionFunctionFromHasher<u8, p3_keccak::Keccak256Hash, 2, 32>, 32>>>, p3_field::extension::BinomialExtensionField<p3_baby_bear::BabyBear, 4>, p3_challenger::SerializingChallenger32<p3_baby_bear::BabyBear, p3_challenger::HashChallenger<u8, p3_keccak::Keccak256Hash, 32>>> as p3_uni_stark::StarkGenericConfig>::Pcs as p3_commit::Pcs<<p3_uni_stark::StarkConfig<p3_fri::TwoAdicFriPcs<p3_baby_bear::BabyBear, p3_dft::Radix2DitParallel, p3_merkle_tree::FieldMerkleTreeMmcs<p3_baby_bear::BabyBear, u8, p3_symmetric::SerializingHasher32<p3_keccak::Keccak256Hash>, p3_symmetric::CompressionFunctionFromHasher<u8, p3_keccak::Keccak256Hash, 2, 32>, 32>, p3_commit::ExtensionMmcs<p3_baby_bear::BabyBear, p3_field::extension::BinomialExtensionField<p3_baby_bear::BabyBear, 4>, p3_merkle_tree::FieldMerkleTreeMmcs<p3_baby_bear::BabyBear, u8, p3_symmetric::SerializingHasher32<p3_keccak::Keccak256Hash>, p3_symmetric::CompressionFunctionFromHasher<u8, p3_keccak::Keccak256Hash, 2, 32>, 32>>>, p3_field::extension::BinomialExtensionField<p3_baby_bear::BabyBear, 4>, p3_challenger::SerializingChallenger32<p3_baby_bear::BabyBear, p3_challenger::HashChallenger<u8, p3_keccak::Keccak256Hash, 32>>> as p3_uni_stark::StarkGenericConfig>::Challenge, <p3_uni_stark::StarkConfig<p3_fri::TwoAdicFriPcs<p3_baby_bear::BabyBear, p3_dft::Radix2DitParallel, p3_merkle_tree::FieldMerkleTreeMmcs<p3_baby_bear::BabyBear, u8, p3_symmetric::SerializingHasher32<p3_keccak::Keccak256Hash>, p3_symmetric::CompressionFunctionFromHasher<u8, p3_keccak::Keccak256Hash, 2, 32>, 32>, p3_commit::ExtensionMmcs<p3_baby_bear::BabyBear, p3_field::extension::BinomialExtensionField<p3_baby_bear::BabyBear, 4>, p3_merkle_tree::FieldMerkleTreeMmcs<p3_baby_bear::BabyBear, u8, p3_symmetric::SerializingHasher32<p3_keccak::Keccak256Hash>, p3_symmetric::CompressionFunctionFromHasher<u8, p3_keccak::Keccak256Hash, 2, 32>, 32>>>, p3_field::extension::BinomialExtensionField<p3_baby_bear::BabyBear, 4>, p3_challenger::SerializingChallenger32<p3_baby_bear::BabyBear, p3_challenger::HashChallenger<u8, p3_keccak::Keccak256Hash, 32>>> as p3_uni_stark::StarkGenericConfig>::Challenger>>::Domain as p3_commit::PolynomialSpace>::Val as std::cmp::PartialOrd>, polarity:Positive), bound_vars: [] }`, old=Binder { value: TraitPredicate(<p3_baby_bear::BabyBear as std::cmp::PartialOrd>, polarity:Positive), bound_vars: [] }, next=None
[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] error: inconsistency during normalizing env `Binder { value: TraitPredicate(<<<<p3_uni_stark::StarkConfig<p3_fri::TwoAdicFriPcs<p3_baby_bear::BabyBear, p3_dft::Radix2DitParallel, p3_merkle_tree::FieldMerkleTreeMmcs<p3_baby_bear::BabyBear, u8, p3_symmetric::SerializingHasher32<p3_keccak::Keccak256Hash>, p3_symmetric::CompressionFunctionFromHasher<u8, p3_keccak::Keccak256Hash, 2, 32>, 32>, p3_commit::ExtensionMmcs<p3_baby_bear::BabyBear, p3_field::extension::BinomialExtensionField<p3_baby_bear::BabyBear, 4>, p3_merkle_tree::FieldMerkleTreeMmcs<p3_baby_bear::BabyBear, u8, p3_symmetric::SerializingHasher32<p3_keccak::Keccak256Hash>, p3_symmetric::CompressionFunctionFromHasher<u8, p3_keccak::Keccak256Hash, 2, 32>, 32>>>, p3_field::extension::BinomialExtensionField<p3_baby_bear::BabyBear, 4>, p3_challenger::SerializingChallenger32<p3_baby_bear::BabyBear, p3_challenger::HashChallenger<u8, p3_keccak::Keccak256Hash, 32>>> as p3_uni_stark::StarkGenericConfig>::Pcs as p3_commit::Pcs<<p3_uni_stark::StarkConfig<p3_fri::TwoAdicFriPcs<p3_baby_bear::BabyBear, p3_dft::Radix2DitParallel, p3_merkle_tree::FieldMerkleTreeMmcs<p3_baby_bear::BabyBear, u8, p3_symmetric::SerializingHasher32<p3_keccak::Keccak256Hash>, p3_symmetric::CompressionFunctionFromHasher<u8, p3_keccak::Keccak256Hash, 2, 32>, 32>, p3_commit::ExtensionMmcs<p3_baby_bear::BabyBear, p3_field::extension::BinomialExtensionField<p3_baby_bear::BabyBear, 4>, p3_merkle_tree::FieldMerkleTreeMmcs<p3_baby_bear::BabyBear, u8, p3_symmetric::SerializingHasher32<p3_keccak::Keccak256Hash>, p3_symmetric::CompressionFunctionFromHasher<u8, p3_keccak::Keccak256Hash, 2, 32>, 32>>>, p3_field::extension::BinomialExtensionField<p3_baby_bear::BabyBear, 4>, p3_challenger::SerializingChallenger32<p3_baby_bear::BabyBear, p3_challenger::HashChallenger<u8, p3_keccak::Keccak256Hash, 32>>> as p3_uni_stark::StarkGenericConfig>::Challenge, <p3_uni_stark::StarkConfig<p3_fri::TwoAdicFriPcs<p3_baby_bear::BabyBear, p3_dft::Radix2DitParallel, p3_merkle_tree::FieldMerkleTreeMmcs<p3_baby_bear::BabyBear, u8, p3_symmetric::SerializingHasher32<p3_keccak::Keccak256Hash>, p3_symmetric::CompressionFunctionFromHasher<u8, p3_keccak::Keccak256Hash, 2, 32>, 32>, p3_commit::ExtensionMmcs<p3_baby_bear::BabyBear, p3_field::extension::BinomialExtensionField<p3_baby_bear::BabyBear, 4>, p3_merkle_tree::FieldMerkleTreeMmcs<p3_baby_bear::BabyBear, u8, p3_symmetric::SerializingHasher32<p3_keccak::Keccak256Hash>, p3_symmetric::CompressionFunctionFromHasher<u8, p3_keccak::Keccak256Hash, 2, 32>, 32>>>, p3_field::extension::BinomialExtensionField<p3_baby_bear::BabyBear, 4>, p3_challenger::SerializingChallenger32<p3_baby_bear::BabyBear, p3_challenger::HashChallenger<u8, p3_keccak::Keccak256Hash, 32>>> as p3_uni_stark::StarkGenericConfig>::Challenger>>::Domain as p3_commit::PolynomialSpace>::Val as std::cmp::PartialEq>, polarity:Positive), bound_vars: [] }`, old=Binder { value: TraitPredicate(<p3_baby_bear::BabyBear as std::cmp::PartialEq>, polarity:Positive), bound_vars: [] }, next=None
[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] error: inconsistency during normalizing env `Binder { value: TraitPredicate(<<<<p3_uni_stark::StarkConfig<p3_fri::TwoAdicFriPcs<p3_baby_bear::BabyBear, p3_dft::Radix2DitParallel, p3_merkle_tree::FieldMerkleTreeMmcs<p3_baby_bear::BabyBear, u8, p3_symmetric::SerializingHasher32<p3_keccak::Keccak256Hash>, p3_symmetric::CompressionFunctionFromHasher<u8, p3_keccak::Keccak256Hash, 2, 32>, 32>, p3_commit::ExtensionMmcs<p3_baby_bear::BabyBear, p3_field::extension::BinomialExtensionField<p3_baby_bear::BabyBear, 4>, p3_merkle_tree::FieldMerkleTreeMmcs<p3_baby_bear::BabyBear, u8, p3_symmetric::SerializingHasher32<p3_keccak::Keccak256Hash>, p3_symmetric::CompressionFunctionFromHasher<u8, p3_keccak::Keccak256Hash, 2, 32>, 32>>>, p3_field::extension::BinomialExtensionField<p3_baby_bear::BabyBear, 4>, p3_challenger::SerializingChallenger32<p3_baby_bear::BabyBear, p3_challenger::HashChallenger<u8, p3_keccak::Keccak256Hash, 32>>> as p3_uni_stark::StarkGenericConfig>::Pcs as p3_commit::Pcs<<p3_uni_stark::StarkConfig<p3_fri::TwoAdicFriPcs<p3_baby_bear::BabyBear, p3_dft::Radix2DitParallel, p3_merkle_tree::FieldMerkleTreeMmcs<p3_baby_bear::BabyBear, u8, p3_symmetric::SerializingHasher32<p3_keccak::Keccak256Hash>, p3_symmetric::CompressionFunctionFromHasher<u8, p3_keccak::Keccak256Hash, 2, 32>, 32>, p3_commit::ExtensionMmcs<p3_baby_bear::BabyBear, p3_field::extension::BinomialExtensionField<p3_baby_bear::BabyBear, 4>, p3_merkle_tree::FieldMerkleTreeMmcs<p3_baby_bear::BabyBear, u8, p3_symmetric::SerializingHasher32<p3_keccak::Keccak256Hash>, p3_symmetric::CompressionFunctionFromHasher<u8, p3_keccak::Keccak256Hash, 2, 32>, 32>>>, p3_field::extension::BinomialExtensionField<p3_baby_bear::BabyBear, 4>, p3_challenger::SerializingChallenger32<p3_baby_bear::BabyBear, p3_challenger::HashChallenger<u8, p3_keccak::Keccak256Hash, 32>>> as p3_uni_stark::StarkGenericConfig>::Challenge, <p3_uni_stark::StarkConfig<p3_fri::TwoAdicFriPcs<p3_baby_bear::BabyBear, p3_dft::Radix2DitParallel, p3_merkle_tree::FieldMerkleTreeMmcs<p3_baby_bear::BabyBear, u8, p3_symmetric::SerializingHasher32<p3_keccak::Keccak256Hash>, p3_symmetric::CompressionFunctionFromHasher<u8, p3_keccak::Keccak256Hash, 2, 32>, 32>, p3_commit::ExtensionMmcs<p3_baby_bear::BabyBear, p3_field::extension::BinomialExtensionField<p3_baby_bear::BabyBear, 4>, p3_merkle_tree::FieldMerkleTreeMmcs<p3_baby_bear::BabyBear, u8, p3_symmetric::SerializingHasher32<p3_keccak::Keccak256Hash>, p3_symmetric::CompressionFunctionFromHasher<u8, p3_keccak::Keccak256Hash, 2, 32>, 32>>>, p3_field::extension::BinomialExtensionField<p3_baby_bear::BabyBear, 4>, p3_challenger::SerializingChallenger32<p3_baby_bear::BabyBear, p3_challenger::HashChallenger<u8, p3_keccak::Keccak256Hash, 32>>> as p3_uni_stark::StarkGenericConfig>::Challenger>>::Domain as p3_commit::PolynomialSpace>::Val as std::cmp::Eq>, polarity:Positive), bound_vars: [] }`, old=Binder { value: TraitPredicate(<p3_baby_bear::BabyBear as std::cmp::Eq>, polarity:Positive), bound_vars: [] }, next=None
[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] error: inconsistency during normalizing env `Binder { value: TraitPredicate(<<<<p3_uni_stark::StarkConfig<p3_fri::TwoAdicFriPcs<p3_baby_bear::BabyBear, p3_dft::Radix2DitParallel, p3_merkle_tree::FieldMerkleTreeMmcs<p3_baby_bear::BabyBear, u8, p3_symmetric::SerializingHasher32<p3_keccak::Keccak256Hash>, p3_symmetric::CompressionFunctionFromHasher<u8, p3_keccak::Keccak256Hash, 2, 32>, 32>, p3_commit::ExtensionMmcs<p3_baby_bear::BabyBear, p3_field::extension::BinomialExtensionField<p3_baby_bear::BabyBear, 4>, p3_merkle_tree::FieldMerkleTreeMmcs<p3_baby_bear::BabyBear, u8, p3_symmetric::SerializingHasher32<p3_keccak::Keccak256Hash>, p3_symmetric::CompressionFunctionFromHasher<u8, p3_keccak::Keccak256Hash, 2, 32>, 32>>>, p3_field::extension::BinomialExtensionField<p3_baby_bear::BabyBear, 4>, p3_challenger::SerializingChallenger32<p3_baby_bear::BabyBear, p3_challenger::HashChallenger<u8, p3_keccak::Keccak256Hash, 32>>> as p3_uni_stark::StarkGenericConfig>::Pcs as p3_commit::Pcs<<p3_uni_stark::StarkConfig<p3_fri::TwoAdicFriPcs<p3_baby_bear::BabyBear, p3_dft::Radix2DitParallel, p3_merkle_tree::FieldMerkleTreeMmcs<p3_baby_bear::BabyBear, u8, p3_symmetric::SerializingHasher32<p3_keccak::Keccak256Hash>, p3_symmetric::CompressionFunctionFromHasher<u8, p3_keccak::Keccak256Hash, 2, 32>, 32>, p3_commit::ExtensionMmcs<p3_baby_bear::BabyBear, p3_field::extension::BinomialExtensionField<p3_baby_bear::BabyBear, 4>, p3_merkle_tree::FieldMerkleTreeMmcs<p3_baby_bear::BabyBear, u8, p3_symmetric::SerializingHasher32<p3_keccak::Keccak256Hash>, p3_symmetric::CompressionFunctionFromHasher<u8, p3_keccak::Keccak256Hash, 2, 32>, 32>>>, p3_field::extension::BinomialExtensionField<p3_baby_bear::BabyBear, 4>, p3_challenger::SerializingChallenger32<p3_baby_bear::BabyBear, p3_challenger::HashChallenger<u8, p3_keccak::Keccak256Hash, 32>>> as p3_uni_stark::StarkGenericConfig>::Challenge, <p3_uni_stark::StarkConfig<p3_fri::TwoAdicFriPcs<p3_baby_bear::BabyBear, p3_dft::Radix2DitParallel, p3_merkle_tree::FieldMerkleTreeMmcs<p3_baby_bear::BabyBear, u8, p3_symmetric::SerializingHasher32<p3_keccak::Keccak256Hash>, p3_symmetric::CompressionFunctionFromHasher<u8, p3_keccak::Keccak256Hash, 2, 32>, 32>, p3_commit::ExtensionMmcs<p3_baby_bear::BabyBear, p3_field::extension::BinomialExtensionField<p3_baby_bear::BabyBear, 4>, p3_merkle_tree::FieldMerkleTreeMmcs<p3_baby_bear::BabyBear, u8, p3_symmetric::SerializingHasher32<p3_keccak::Keccak256Hash>, p3_symmetric::CompressionFunctionFromHasher<u8, p3_keccak::Keccak256Hash, 2, 32>, 32>>>, p3_field::extension::BinomialExtensionField<p3_baby_bear::BabyBear, 4>, p3_challenger::SerializingChallenger32<p3_baby_bear::BabyBear, p3_challenger::HashChallenger<u8, p3_keccak::Keccak256Hash, 32>>> as p3_uni_stark::StarkGenericConfig>::Challenger>>::Domain as p3_commit::PolynomialSpace>::Val as p3_field::Field>, polarity:Positive), bound_vars: [] }`, old=Binder { value: TraitPredicate(<p3_baby_bear::BabyBear as p3_field::Field>, polarity:Positive), bound_vars: [] }, next=None
[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] error: inconsistency during normalizing env `Binder { value: TraitPredicate(<<<<p3_uni_stark::StarkConfig<p3_fri::TwoAdicFriPcs<p3_baby_bear::BabyBear, p3_dft::Radix2DitParallel, p3_merkle_tree::FieldMerkleTreeMmcs<p3_baby_bear::BabyBear, u8, p3_symmetric::SerializingHasher32<p3_keccak::Keccak256Hash>, p3_symmetric::CompressionFunctionFromHasher<u8, p3_keccak::Keccak256Hash, 2, 32>, 32>, p3_commit::ExtensionMmcs<p3_baby_bear::BabyBear, p3_field::extension::BinomialExtensionField<p3_baby_bear::BabyBear, 4>, p3_merkle_tree::FieldMerkleTreeMmcs<p3_baby_bear::BabyBear, u8, p3_symmetric::SerializingHasher32<p3_keccak::Keccak256Hash>, p3_symmetric::CompressionFunctionFromHasher<u8, p3_keccak::Keccak256Hash, 2, 32>, 32>>>, p3_field::extension::BinomialExtensionField<p3_baby_bear::BabyBear, 4>, p3_challenger::SerializingChallenger32<p3_baby_bear::BabyBear, p3_challenger::HashChallenger<u8, p3_keccak::Keccak256Hash, 32>>> as p3_uni_stark::StarkGenericConfig>::Pcs as p3_commit::Pcs<<p3_uni_stark::StarkConfig<p3_fri::TwoAdicFriPcs<p3_baby_bear::BabyBear, p3_dft::Radix2DitParallel, p3_merkle_tree::FieldMerkleTreeMmcs<p3_baby_bear::BabyBear, u8, p3_symmetric::SerializingHasher32<p3_keccak::Keccak256Hash>, p3_symmetric::CompressionFunctionFromHasher<u8, p3_keccak::Keccak256Hash, 2, 32>, 32>, p3_commit::ExtensionMmcs<p3_baby_bear::BabyBear, p3_field::extension::BinomialExtensionField<p3_baby_bear::BabyBear, 4>, p3_merkle_tree::FieldMerkleTreeMmcs<p3_baby_bear::BabyBear, u8, p3_symmetric::SerializingHasher32<p3_keccak::Keccak256Hash>, p3_symmetric::CompressionFunctionFromHasher<u8, p3_keccak::Keccak256Hash, 2, 32>, 32>>>, p3_field::extension::BinomialExtensionField<p3_baby_bear::BabyBear, 4>, p3_challenger::SerializingChallenger32<p3_baby_bear::BabyBear, p3_challenger::HashChallenger<u8, p3_keccak::Keccak256Hash, 32>>> as p3_uni_stark::StarkGenericConfig>::Challenge, <p3_uni_stark::StarkConfig<p3_fri::TwoAdicFriPcs<p3_baby_bear::BabyBear, p3_dft::Radix2DitParallel, p3_merkle_tree::FieldMerkleTreeMmcs<p3_baby_bear::BabyBear, u8, p3_symmetric::SerializingHasher32<p3_keccak::Keccak256Hash>, p3_symmetric::CompressionFunctionFromHasher<u8, p3_keccak::Keccak256Hash, 2, 32>, 32>, p3_commit::ExtensionMmcs<p3_baby_bear::BabyBear, p3_field::extension::BinomialExtensionField<p3_baby_bear::BabyBear, 4>, p3_merkle_tree::FieldMerkleTreeMmcs<p3_baby_bear::BabyBear, u8, p3_symmetric::SerializingHasher32<p3_keccak::Keccak256Hash>, p3_symmetric::CompressionFunctionFromHasher<u8, p3_keccak::Keccak256Hash, 2, 32>, 32>>>, p3_field::extension::BinomialExtensionField<p3_baby_bear::BabyBear, 4>, p3_challenger::SerializingChallenger32<p3_baby_bear::BabyBear, p3_challenger::HashChallenger<u8, p3_keccak::Keccak256Hash, 32>>> as p3_uni_stark::StarkGenericConfig>::Challenger>>::Domain as p3_commit::PolynomialSpace>::Val as serde::de::DeserializeOwned>, polarity:Positive), bound_vars: [] }`, old=Binder { value: TraitPredicate(<p3_baby_bear::BabyBear as serde::de::DeserializeOwned>, polarity:Positive), bound_vars: [] }, next=None
[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] error: inconsistency during normalizing env `Binder { value: TraitPredicate(<<<<p3_uni_stark::StarkConfig<p3_fri::TwoAdicFriPcs<p3_baby_bear::BabyBear, p3_dft::Radix2DitParallel, p3_merkle_tree::FieldMerkleTreeMmcs<p3_baby_bear::BabyBear, u8, p3_symmetric::SerializingHasher32<p3_keccak::Keccak256Hash>, p3_symmetric::CompressionFunctionFromHasher<u8, p3_keccak::Keccak256Hash, 2, 32>, 32>, p3_commit::ExtensionMmcs<p3_baby_bear::BabyBear, p3_field::extension::BinomialExtensionField<p3_baby_bear::BabyBear, 4>, p3_merkle_tree::FieldMerkleTreeMmcs<p3_baby_bear::BabyBear, u8, p3_symmetric::SerializingHasher32<p3_keccak::Keccak256Hash>, p3_symmetric::CompressionFunctionFromHasher<u8, p3_keccak::Keccak256Hash, 2, 32>, 32>>>, p3_field::extension::BinomialExtensionField<p3_baby_bear::BabyBear, 4>, p3_challenger::SerializingChallenger32<p3_baby_bear::BabyBear, p3_challenger::HashChallenger<u8, p3_keccak::Keccak256Hash, 32>>> as p3_uni_stark::StarkGenericConfig>::Pcs as p3_commit::Pcs<<p3_uni_stark::StarkConfig<p3_fri::TwoAdicFriPcs<p3_baby_bear::BabyBear, p3_dft::Radix2DitParallel, p3_merkle_tree::FieldMerkleTreeMmcs<p3_baby_bear::BabyBear, u8, p3_symmetric::SerializingHasher32<p3_keccak::Keccak256Hash>, p3_symmetric::CompressionFunctionFromHasher<u8, p3_keccak::Keccak256Hash, 2, 32>, 32>, p3_commit::ExtensionMmcs<p3_baby_bear::BabyBear, p3_field::extension::BinomialExtensionField<p3_baby_bear::BabyBear, 4>, p3_merkle_tree::FieldMerkleTreeMmcs<p3_baby_bear::BabyBear, u8, p3_symmetric::SerializingHasher32<p3_keccak::Keccak256Hash>, p3_symmetric::CompressionFunctionFromHasher<u8, p3_keccak::Keccak256Hash, 2, 32>, 32>>>, p3_field::extension::BinomialExtensionField<p3_baby_bear::BabyBear, 4>, p3_challenger::SerializingChallenger32<p3_baby_bear::BabyBear, p3_challenger::HashChallenger<u8, p3_keccak::Keccak256Hash, 32>>> as p3_uni_stark::StarkGenericConfig>::Challenge, <p3_uni_stark::StarkConfig<p3_fri::TwoAdicFriPcs<p3_baby_bear::BabyBear, p3_dft::Radix2DitParallel, p3_merkle_tree::FieldMerkleTreeMmcs<p3_baby_bear::BabyBear, u8, p3_symmetric::SerializingHasher32<p3_keccak::Keccak256Hash>, p3_symmetric::CompressionFunctionFromHasher<u8, p3_keccak::Keccak256Hash, 2, 32>, 32>, p3_commit::ExtensionMmcs<p3_baby_bear::BabyBear, p3_field::extension::BinomialExtensionField<p3_baby_bear::BabyBear, 4>, p3_merkle_tree::FieldMerkleTreeMmcs<p3_baby_bear::BabyBear, u8, p3_symmetric::SerializingHasher32<p3_keccak::Keccak256Hash>, p3_symmetric::CompressionFunctionFromHasher<u8, p3_keccak::Keccak256Hash, 2, 32>, 32>>>, p3_field::extension::BinomialExtensionField<p3_baby_bear::BabyBear, 4>, p3_challenger::SerializingChallenger32<p3_baby_bear::BabyBear, p3_challenger::HashChallenger<u8, p3_keccak::Keccak256Hash, 32>>> as p3_uni_stark::StarkGenericConfig>::Challenger>>::Domain as p3_commit::PolynomialSpace>::Val as serde::de::Deserialize<'de>>, polarity:Positive), bound_vars: [Region(BrNamed(DefId(34:1417 ~ serde[844c]::de::DeserializeOwned::'de)))] }`, old=Binder { value: TraitPredicate(<p3_baby_bear::BabyBear as serde::de::Deserialize<'de>>, polarity:Positive), bound_vars: [Region(BrNamed(DefId(34:1417 ~ serde[844c]::de::DeserializeOwned::'de)))] }, next=None
[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] error: inconsistency during normalizing env `Binder { value: TraitPredicate(<<<<p3_uni_stark::StarkConfig<p3_fri::TwoAdicFriPcs<p3_baby_bear::BabyBear, p3_dft::Radix2DitParallel, p3_merkle_tree::FieldMerkleTreeMmcs<p3_baby_bear::BabyBear, u8, p3_symmetric::SerializingHasher32<p3_keccak::Keccak256Hash>, p3_symmetric::CompressionFunctionFromHasher<u8, p3_keccak::Keccak256Hash, 2, 32>, 32>, p3_commit::ExtensionMmcs<p3_baby_bear::BabyBear, p3_field::extension::BinomialExtensionField<p3_baby_bear::BabyBear, 4>, p3_merkle_tree::FieldMerkleTreeMmcs<p3_baby_bear::BabyBear, u8, p3_symmetric::SerializingHasher32<p3_keccak::Keccak256Hash>, p3_symmetric::CompressionFunctionFromHasher<u8, p3_keccak::Keccak256Hash, 2, 32>, 32>>>, p3_field::extension::BinomialExtensionField<p3_baby_bear::BabyBear, 4>, p3_challenger::SerializingChallenger32<p3_baby_bear::BabyBear, p3_challenger::HashChallenger<u8, p3_keccak::Keccak256Hash, 32>>> as p3_uni_stark::StarkGenericConfig>::Pcs as p3_commit::Pcs<<p3_uni_stark::StarkConfig<p3_fri::TwoAdicFriPcs<p3_baby_bear::BabyBear, p3_dft::Radix2DitParallel, p3_merkle_tree::FieldMerkleTreeMmcs<p3_baby_bear::BabyBear, u8, p3_symmetric::SerializingHasher32<p3_keccak::Keccak256Hash>, p3_symmetric::CompressionFunctionFromHasher<u8, p3_keccak::Keccak256Hash, 2, 32>, 32>, p3_commit::ExtensionMmcs<p3_baby_bear::BabyBear, p3_field::extension::BinomialExtensionField<p3_baby_bear::BabyBear, 4>, p3_merkle_tree::FieldMerkleTreeMmcs<p3_baby_bear::BabyBear, u8, p3_symmetric::SerializingHasher32<p3_keccak::Keccak256Hash>, p3_symmetric::CompressionFunctionFromHasher<u8, p3_keccak::Keccak256Hash, 2, 32>, 32>>>, p3_field::extension::BinomialExtensionField<p3_baby_bear::BabyBear, 4>, p3_challenger::SerializingChallenger32<p3_baby_bear::BabyBear, p3_challenger::HashChallenger<u8, p3_keccak::Keccak256Hash, 32>>> as p3_uni_stark::StarkGenericConfig>::Challenge, <p3_uni_stark::StarkConfig<p3_fri::TwoAdicFriPcs<p3_baby_bear::BabyBear, p3_dft::Radix2DitParallel, p3_merkle_tree::FieldMerkleTreeMmcs<p3_baby_bear::BabyBear, u8, p3_symmetric::SerializingHasher32<p3_keccak::Keccak256Hash>, p3_symmetric::CompressionFunctionFromHasher<u8, p3_keccak::Keccak256Hash, 2, 32>, 32>, p3_commit::ExtensionMmcs<p3_baby_bear::BabyBear, p3_field::extension::BinomialExtensionField<p3_baby_bear::BabyBear, 4>, p3_merkle_tree::FieldMerkleTreeMmcs<p3_baby_bear::BabyBear, u8, p3_symmetric::SerializingHasher32<p3_keccak::Keccak256Hash>, p3_symmetric::CompressionFunctionFromHasher<u8, p3_keccak::Keccak256Hash, 2, 32>, 32>>>, p3_field::extension::BinomialExtensionField<p3_baby_bear::BabyBear, 4>, p3_challenger::SerializingChallenger32<p3_baby_bear::BabyBear, p3_challenger::HashChallenger<u8, p3_keccak::Keccak256Hash, 32>>> as p3_uni_stark::StarkGenericConfig>::Challenger>>::Domain as p3_commit::PolynomialSpace>::Val as std::marker::Sized>, polarity:Positive), bound_vars: [Region(BrNamed(DefId(34:1417 ~ serde[844c]::de::DeserializeOwned::'de)))] }`, old=Binder { value: TraitPredicate(<p3_baby_bear::BabyBear as std::marker::Sized>, polarity:Positive), bound_vars: [Region(BrNamed(DefId(34:1417 ~ serde[844c]::de::DeserializeOwned::'de)))] }, next=None
[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] error: inconsistency during normalizing env `Binder { value: TraitPredicate(<<<<p3_uni_stark::StarkConfig<p3_fri::TwoAdicFriPcs<p3_baby_bear::BabyBear, p3_dft::Radix2DitParallel, p3_merkle_tree::FieldMerkleTreeMmcs<p3_baby_bear::BabyBear, u8, p3_symmetric::SerializingHasher32<p3_keccak::Keccak256Hash>, p3_symmetric::CompressionFunctionFromHasher<u8, p3_keccak::Keccak256Hash, 2, 32>, 32>, p3_commit::ExtensionMmcs<p3_baby_bear::BabyBear, p3_field::extension::BinomialExtensionField<p3_baby_bear::BabyBear, 4>, p3_merkle_tree::FieldMerkleTreeMmcs<p3_baby_bear::BabyBear, u8, p3_symmetric::SerializingHasher32<p3_keccak::Keccak256Hash>, p3_symmetric::CompressionFunctionFromHasher<u8, p3_keccak::Keccak256Hash, 2, 32>, 32>>>, p3_field::extension::BinomialExtensionField<p3_baby_bear::BabyBear, 4>, p3_challenger::SerializingChallenger32<p3_baby_bear::BabyBear, p3_challenger::HashChallenger<u8, p3_keccak::Keccak256Hash, 32>>> as p3_uni_stark::StarkGenericConfig>::Pcs as p3_commit::Pcs<<p3_uni_stark::StarkConfig<p3_fri::TwoAdicFriPcs<p3_baby_bear::BabyBear, p3_dft::Radix2DitParallel, p3_merkle_tree::FieldMerkleTreeMmcs<p3_baby_bear::BabyBear, u8, p3_symmetric::SerializingHasher32<p3_keccak::Keccak256Hash>, p3_symmetric::CompressionFunctionFromHasher<u8, p3_keccak::Keccak256Hash, 2, 32>, 32>, p3_commit::ExtensionMmcs<p3_baby_bear::BabyBear, p3_field::extension::BinomialExtensionField<p3_baby_bear::BabyBear, 4>, p3_merkle_tree::FieldMerkleTreeMmcs<p3_baby_bear::BabyBear, u8, p3_symmetric::SerializingHasher32<p3_keccak::Keccak256Hash>, p3_symmetric::CompressionFunctionFromHasher<u8, p3_keccak::Keccak256Hash, 2, 32>, 32>>>, p3_field::extension::BinomialExtensionField<p3_baby_bear::BabyBear, 4>, p3_challenger::SerializingChallenger32<p3_baby_bear::BabyBear, p3_challenger::HashChallenger<u8, p3_keccak::Keccak256Hash, 32>>> as p3_uni_stark::StarkGenericConfig>::Challenge, <p3_uni_stark::StarkConfig<p3_fri::TwoAdicFriPcs<p3_baby_bear::BabyBear, p3_dft::Radix2DitParallel, p3_merkle_tree::FieldMerkleTreeMmcs<p3_baby_bear::BabyBear, u8, p3_symmetric::SerializingHasher32<p3_keccak::Keccak256Hash>, p3_symmetric::CompressionFunctionFromHasher<u8, p3_keccak::Keccak256Hash, 2, 32>, 32>, p3_commit::ExtensionMmcs<p3_baby_bear::BabyBear, p3_field::extension::BinomialExtensionField<p3_baby_bear::BabyBear, 4>, p3_merkle_tree::FieldMerkleTreeMmcs<p3_baby_bear::BabyBear, u8, p3_symmetric::SerializingHasher32<p3_keccak::Keccak256Hash>, p3_symmetric::CompressionFunctionFromHasher<u8, p3_keccak::Keccak256Hash, 2, 32>, 32>>>, p3_field::extension::BinomialExtensionField<p3_baby_bear::BabyBear, 4>, p3_challenger::SerializingChallenger32<p3_baby_bear::BabyBear, p3_challenger::HashChallenger<u8, p3_keccak::Keccak256Hash, 32>>> as p3_uni_stark::StarkGenericConfig>::Challenger>>::Domain as p3_commit::PolynomialSpace>::Val as serde::ser::Serialize>, polarity:Positive), bound_vars: [] }`, old=Binder { value: TraitPredicate(<p3_baby_bear::BabyBear as serde::ser::Serialize>, polarity:Positive), bound_vars: [] }, next=None
[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] error: inconsistency during normalizing env `Binder { value: TraitPredicate(<<<<p3_uni_stark::StarkConfig<p3_fri::TwoAdicFriPcs<p3_baby_bear::BabyBear, p3_dft::Radix2DitParallel, p3_merkle_tree::FieldMerkleTreeMmcs<p3_baby_bear::BabyBear, u8, p3_symmetric::SerializingHasher32<p3_keccak::Keccak256Hash>, p3_symmetric::CompressionFunctionFromHasher<u8, p3_keccak::Keccak256Hash, 2, 32>, 32>, p3_commit::ExtensionMmcs<p3_baby_bear::BabyBear, p3_field::extension::BinomialExtensionField<p3_baby_bear::BabyBear, 4>, p3_merkle_tree::FieldMerkleTreeMmcs<p3_baby_bear::BabyBear, u8, p3_symmetric::SerializingHasher32<p3_keccak::Keccak256Hash>, p3_symmetric::CompressionFunctionFromHasher<u8, p3_keccak::Keccak256Hash, 2, 32>, 32>>>, p3_field::extension::BinomialExtensionField<p3_baby_bear::BabyBear, 4>, p3_challenger::SerializingChallenger32<p3_baby_bear::BabyBear, p3_challenger::HashChallenger<u8, p3_keccak::Keccak256Hash, 32>>> as p3_uni_stark::StarkGenericConfig>::Pcs as p3_commit::Pcs<<p3_uni_stark::StarkConfig<p3_fri::TwoAdicFriPcs<p3_baby_bear::BabyBear, p3_dft::Radix2DitParallel, p3_merkle_tree::FieldMerkleTreeMmcs<p3_baby_bear::BabyBear, u8, p3_symmetric::SerializingHasher32<p3_keccak::Keccak256Hash>, p3_symmetric::CompressionFunctionFromHasher<u8, p3_keccak::Keccak256Hash, 2, 32>, 32>, p3_commit::ExtensionMmcs<p3_baby_bear::BabyBear, p3_field::extension::BinomialExtensionField<p3_baby_bear::BabyBear, 4>, p3_merkle_tree::FieldMerkleTreeMmcs<p3_baby_bear::BabyBear, u8, p3_symmetric::SerializingHasher32<p3_keccak::Keccak256Hash>, p3_symmetric::CompressionFunctionFromHasher<u8, p3_keccak::Keccak256Hash, 2, 32>, 32>>>, p3_field::extension::BinomialExtensionField<p3_baby_bear::BabyBear, 4>, p3_challenger::SerializingChallenger32<p3_baby_bear::BabyBear, p3_challenger::HashChallenger<u8, p3_keccak::Keccak256Hash, 32>>> as p3_uni_stark::StarkGenericConfig>::Challenge, <p3_uni_stark::StarkConfig<p3_fri::TwoAdicFriPcs<p3_baby_bear::BabyBear, p3_dft::Radix2DitParallel, p3_merkle_tree::FieldMerkleTreeMmcs<p3_baby_bear::BabyBear, u8, p3_symmetric::SerializingHasher32<p3_keccak::Keccak256Hash>, p3_symmetric::CompressionFunctionFromHasher<u8, p3_keccak::Keccak256Hash, 2, 32>, 32>, p3_commit::ExtensionMmcs<p3_baby_bear::BabyBear, p3_field::extension::BinomialExtensionField<p3_baby_bear::BabyBear, 4>, p3_merkle_tree::FieldMerkleTreeMmcs<p3_baby_bear::BabyBear, u8, p3_symmetric::SerializingHasher32<p3_keccak::Keccak256Hash>, p3_symmetric::CompressionFunctionFromHasher<u8, p3_keccak::Keccak256Hash, 2, 32>, 32>>>, p3_field::extension::BinomialExtensionField<p3_baby_bear::BabyBear, 4>, p3_challenger::SerializingChallenger32<p3_baby_bear::BabyBear, p3_challenger::HashChallenger<u8, p3_keccak::Keccak256Hash, 32>>> as p3_uni_stark::StarkGenericConfig>::Challenger>>::Domain as p3_commit::PolynomialSpace>::Val as std::fmt::Display>, polarity:Positive), bound_vars: [] }`, old=Binder { value: TraitPredicate(<p3_baby_bear::BabyBear as std::fmt::Display>, polarity:Positive), bound_vars: [] }, next=None
[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] error: inconsistency during normalizing env `Binder { value: TraitPredicate(<<<<p3_uni_stark::StarkConfig<p3_fri::TwoAdicFriPcs<p3_baby_bear::BabyBear, p3_dft::Radix2DitParallel, p3_merkle_tree::FieldMerkleTreeMmcs<p3_baby_bear::BabyBear, u8, p3_symmetric::SerializingHasher32<p3_keccak::Keccak256Hash>, p3_symmetric::CompressionFunctionFromHasher<u8, p3_keccak::Keccak256Hash, 2, 32>, 32>, p3_commit::ExtensionMmcs<p3_baby_bear::BabyBear, p3_field::extension::BinomialExtensionField<p3_baby_bear::BabyBear, 4>, p3_merkle_tree::FieldMerkleTreeMmcs<p3_baby_bear::BabyBear, u8, p3_symmetric::SerializingHasher32<p3_keccak::Keccak256Hash>, p3_symmetric::CompressionFunctionFromHasher<u8, p3_keccak::Keccak256Hash, 2, 32>, 32>>>, p3_field::extension::BinomialExtensionField<p3_baby_bear::BabyBear, 4>, p3_challenger::SerializingChallenger32<p3_baby_bear::BabyBear, p3_challenger::HashChallenger<u8, p3_keccak::Keccak256Hash, 32>>> as p3_uni_stark::StarkGenericConfig>::Pcs as p3_commit::Pcs<<p3_uni_stark::StarkConfig<p3_fri::TwoAdicFriPcs<p3_baby_bear::BabyBear, p3_dft::Radix2DitParallel, p3_merkle_tree::FieldMerkleTreeMmcs<p3_baby_bear::BabyBear, u8, p3_symmetric::SerializingHasher32<p3_keccak::Keccak256Hash>, p3_symmetric::CompressionFunctionFromHasher<u8, p3_keccak::Keccak256Hash, 2, 32>, 32>, p3_commit::ExtensionMmcs<p3_baby_bear::BabyBear, p3_field::extension::BinomialExtensionField<p3_baby_bear::BabyBear, 4>, p3_merkle_tree::FieldMerkleTreeMmcs<p3_baby_bear::BabyBear, u8, p3_symmetric::SerializingHasher32<p3_keccak::Keccak256Hash>, p3_symmetric::CompressionFunctionFromHasher<u8, p3_keccak::Keccak256Hash, 2, 32>, 32>>>, p3_field::extension::BinomialExtensionField<p3_baby_bear::BabyBear, 4>, p3_challenger::SerializingChallenger32<p3_baby_bear::BabyBear, p3_challenger::HashChallenger<u8, p3_keccak::Keccak256Hash, 32>>> as p3_uni_stark::StarkGenericConfig>::Challenge, <p3_uni_stark::StarkConfig<p3_fri::TwoAdicFriPcs<p3_baby_bear::BabyBear, p3_dft::Radix2DitParallel, p3_merkle_tree::FieldMerkleTreeMmcs<p3_baby_bear::BabyBear, u8, p3_symmetric::SerializingHasher32<p3_keccak::Keccak256Hash>, p3_symmetric::CompressionFunctionFromHasher<u8, p3_keccak::Keccak256Hash, 2, 32>, 32>, p3_commit::ExtensionMmcs<p3_baby_bear::BabyBear, p3_field::extension::BinomialExtensionField<p3_baby_bear::BabyBear, 4>, p3_merkle_tree::FieldMerkleTreeMmcs<p3_baby_bear::BabyBear, u8, p3_symmetric::SerializingHasher32<p3_keccak::Keccak256Hash>, p3_symmetric::CompressionFunctionFromHasher<u8, p3_keccak::Keccak256Hash, 2, 32>, 32>>>, p3_field::extension::BinomialExtensionField<p3_baby_bear::BabyBear, 4>, p3_challenger::SerializingChallenger32<p3_baby_bear::BabyBear, p3_challenger::HashChallenger<u8, p3_keccak::Keccak256Hash, 32>>> as p3_uni_stark::StarkGenericConfig>::Challenger>>::Domain as p3_commit::PolynomialSpace>::Val as std::marker::Sync>, polarity:Positive), bound_vars: [] }`, old=Binder { value: TraitPredicate(<p3_baby_bear::BabyBear as std::marker::Sync>, polarity:Positive), bound_vars: [] }, next=None
[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] error: inconsistency during normalizing env `Binder { value: TraitPredicate(<<<<p3_uni_stark::StarkConfig<p3_fri::TwoAdicFriPcs<p3_baby_bear::BabyBear, p3_dft::Radix2DitParallel, p3_merkle_tree::FieldMerkleTreeMmcs<p3_baby_bear::BabyBear, u8, p3_symmetric::SerializingHasher32<p3_keccak::Keccak256Hash>, p3_symmetric::CompressionFunctionFromHasher<u8, p3_keccak::Keccak256Hash, 2, 32>, 32>, p3_commit::ExtensionMmcs<p3_baby_bear::BabyBear, p3_field::extension::BinomialExtensionField<p3_baby_bear::BabyBear, 4>, p3_merkle_tree::FieldMerkleTreeMmcs<p3_baby_bear::BabyBear, u8, p3_symmetric::SerializingHasher32<p3_keccak::Keccak256Hash>, p3_symmetric::CompressionFunctionFromHasher<u8, p3_keccak::Keccak256Hash, 2, 32>, 32>>>, p3_field::extension::BinomialExtensionField<p3_baby_bear::BabyBear, 4>, p3_challenger::SerializingChallenger32<p3_baby_bear::BabyBear, p3_challenger::HashChallenger<u8, p3_keccak::Keccak256Hash, 32>>> as p3_uni_stark::StarkGenericConfig>::Pcs as p3_commit::Pcs<<p3_uni_stark::StarkConfig<p3_fri::TwoAdicFriPcs<p3_baby_bear::BabyBear, p3_dft::Radix2DitParallel, p3_merkle_tree::FieldMerkleTreeMmcs<p3_baby_bear::BabyBear, u8, p3_symmetric::SerializingHasher32<p3_keccak::Keccak256Hash>, p3_symmetric::CompressionFunctionFromHasher<u8, p3_keccak::Keccak256Hash, 2, 32>, 32>, p3_commit::ExtensionMmcs<p3_baby_bear::BabyBear, p3_field::extension::BinomialExtensionField<p3_baby_bear::BabyBear, 4>, p3_merkle_tree::FieldMerkleTreeMmcs<p3_baby_bear::BabyBear, u8, p3_symmetric::SerializingHasher32<p3_keccak::Keccak256Hash>, p3_symmetric::CompressionFunctionFromHasher<u8, p3_keccak::Keccak256Hash, 2, 32>, 32>>>, p3_field::extension::BinomialExtensionField<p3_baby_bear::BabyBear, 4>, p3_challenger::SerializingChallenger32<p3_baby_bear::BabyBear, p3_challenger::HashChallenger<u8, p3_keccak::Keccak256Hash, 32>>> as p3_uni_stark::StarkGenericConfig>::Challenge, <p3_uni_stark::StarkConfig<p3_fri::TwoAdicFriPcs<p3_baby_bear::BabyBear, p3_dft::Radix2DitParallel, p3_merkle_tree::FieldMerkleTreeMmcs<p3_baby_bear::BabyBear, u8, p3_symmetric::SerializingHasher32<p3_keccak::Keccak256Hash>, p3_symmetric::CompressionFunctionFromHasher<u8, p3_keccak::Keccak256Hash, 2, 32>, 32>, p3_commit::ExtensionMmcs<p3_baby_bear::BabyBear, p3_field::extension::BinomialExtensionField<p3_baby_bear::BabyBear, 4>, p3_merkle_tree::FieldMerkleTreeMmcs<p3_baby_bear::BabyBear, u8, p3_symmetric::SerializingHasher32<p3_keccak::Keccak256Hash>, p3_symmetric::CompressionFunctionFromHasher<u8, p3_keccak::Keccak256Hash, 2, 32>, 32>>>, p3_field::extension::BinomialExtensionField<p3_baby_bear::BabyBear, 4>, p3_challenger::SerializingChallenger32<p3_baby_bear::BabyBear, p3_challenger::HashChallenger<u8, p3_keccak::Keccak256Hash, 32>>> as p3_uni_stark::StarkGenericConfig>::Challenger>>::Domain as p3_commit::PolynomialSpace>::Val as std::marker::Send>, polarity:Positive), bound_vars: [] }`, old=Binder { value: TraitPredicate(<p3_baby_bear::BabyBear as std::marker::Send>, polarity:Positive), bound_vars: [] }, next=None
[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] error: inconsistency during normalizing env `Binder { value: TraitPredicate(<<<<p3_uni_stark::StarkConfig<p3_fri::TwoAdicFriPcs<p3_baby_bear::BabyBear, p3_dft::Radix2DitParallel, p3_merkle_tree::FieldMerkleTreeMmcs<p3_baby_bear::BabyBear, u8, p3_symmetric::SerializingHasher32<p3_keccak::Keccak256Hash>, p3_symmetric::CompressionFunctionFromHasher<u8, p3_keccak::Keccak256Hash, 2, 32>, 32>, p3_commit::ExtensionMmcs<p3_baby_bear::BabyBear, p3_field::extension::BinomialExtensionField<p3_baby_bear::BabyBear, 4>, p3_merkle_tree::FieldMerkleTreeMmcs<p3_baby_bear::BabyBear, u8, p3_symmetric::SerializingHasher32<p3_keccak::Keccak256Hash>, p3_symmetric::CompressionFunctionFromHasher<u8, p3_keccak::Keccak256Hash, 2, 32>, 32>>>, p3_field::extension::BinomialExtensionField<p3_baby_bear::BabyBear, 4>, p3_challenger::SerializingChallenger32<p3_baby_bear::BabyBear, p3_challenger::HashChallenger<u8, p3_keccak::Keccak256Hash, 32>>> as p3_uni_stark::StarkGenericConfig>::Pcs as p3_commit::Pcs<<p3_uni_stark::StarkConfig<p3_fri::TwoAdicFriPcs<p3_baby_bear::BabyBear, p3_dft::Radix2DitParallel, p3_merkle_tree::FieldMerkleTreeMmcs<p3_baby_bear::BabyBear, u8, p3_symmetric::SerializingHasher32<p3_keccak::Keccak256Hash>, p3_symmetric::CompressionFunctionFromHasher<u8, p3_keccak::Keccak256Hash, 2, 32>, 32>, p3_commit::ExtensionMmcs<p3_baby_bear::BabyBear, p3_field::extension::BinomialExtensionField<p3_baby_bear::BabyBear, 4>, p3_merkle_tree::FieldMerkleTreeMmcs<p3_baby_bear::BabyBear, u8, p3_symmetric::SerializingHasher32<p3_keccak::Keccak256Hash>, p3_symmetric::CompressionFunctionFromHasher<u8, p3_keccak::Keccak256Hash, 2, 32>, 32>>>, p3_field::extension::BinomialExtensionField<p3_baby_bear::BabyBear, 4>, p3_challenger::SerializingChallenger32<p3_baby_bear::BabyBear, p3_challenger::HashChallenger<u8, p3_keccak::Keccak256Hash, 32>>> as p3_uni_stark::StarkGenericConfig>::Challenge, <p3_uni_stark::StarkConfig<p3_fri::TwoAdicFriPcs<p3_baby_bear::BabyBear, p3_dft::Radix2DitParallel, p3_merkle_tree::FieldMerkleTreeMmcs<p3_baby_bear::BabyBear, u8, p3_symmetric::SerializingHasher32<p3_keccak::Keccak256Hash>, p3_symmetric::CompressionFunctionFromHasher<u8, p3_keccak::Keccak256Hash, 2, 32>, 32>, p3_commit::ExtensionMmcs<p3_baby_bear::BabyBear, p3_field::extension::BinomialExtensionField<p3_baby_bear::BabyBear, 4>, p3_merkle_tree::FieldMerkleTreeMmcs<p3_baby_bear::BabyBear, u8, p3_symmetric::SerializingHasher32<p3_keccak::Keccak256Hash>, p3_symmetric::CompressionFunctionFromHasher<u8, p3_keccak::Keccak256Hash, 2, 32>, 32>>>, p3_field::extension::BinomialExtensionField<p3_baby_bear::BabyBear, 4>, p3_challenger::SerializingChallenger32<p3_baby_bear::BabyBear, p3_challenger::HashChallenger<u8, p3_keccak::Keccak256Hash, 32>>> as p3_uni_stark::StarkGenericConfig>::Challenger>>::Domain as p3_commit::PolynomialSpace>::Val as std::hash::Hash>, polarity:Positive), bound_vars: [] }`, old=Binder { value: TraitPredicate(<p3_baby_bear::BabyBear as std::hash::Hash>, polarity:Positive), bound_vars: [] }, next=None
[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] error: inconsistency during normalizing env `Binder { value: ProjectionPredicate(AliasTerm { args: [Alias(Projection, AliasTy { args: [Alias(Projection, AliasTy { args: [Alias(Projection, AliasTy { args: [p3_uni_stark::StarkConfig<p3_fri::TwoAdicFriPcs<p3_baby_bear::BabyBear, p3_dft::Radix2DitParallel, p3_merkle_tree::FieldMerkleTreeMmcs<p3_baby_bear::BabyBear, u8, p3_symmetric::SerializingHasher32<p3_keccak::Keccak256Hash>, p3_symmetric::CompressionFunctionFromHasher<u8, p3_keccak::Keccak256Hash, 2_usize, 32_usize>, 32_usize>, p3_commit::ExtensionMmcs<p3_baby_bear::BabyBear, p3_field::extension::BinomialExtensionField<p3_baby_bear::BabyBear, 4_usize>, p3_merkle_tree::FieldMerkleTreeMmcs<p3_baby_bear::BabyBear, u8, p3_symmetric::SerializingHasher32<p3_keccak::Keccak256Hash>, p3_symmetric::CompressionFunctionFromHasher<u8, p3_keccak::Keccak256Hash, 2_usize, 32_usize>, 32_usize>>>, p3_field::extension::BinomialExtensionField<p3_baby_bear::BabyBear, 4_usize>, p3_challenger::SerializingChallenger32<p3_baby_bear::BabyBear, p3_challenger::HashChallenger<u8, p3_keccak::Keccak256Hash, 32_usize>>>], def_id: DefId(52:25 ~ p3_uni_stark[88bb]::config::StarkGenericConfig::Pcs), .. }), Alias(Projection, AliasTy { args: [p3_uni_stark::StarkConfig<p3_fri::TwoAdicFriPcs<p3_baby_bear::BabyBear, p3_dft::Radix2DitParallel, p3_merkle_tree::FieldMerkleTreeMmcs<p3_baby_bear::BabyBear, u8, p3_symmetric::SerializingHasher32<p3_keccak::Keccak256Hash>, p3_symmetric::CompressionFunctionFromHasher<u8, p3_keccak::Keccak256Hash, 2_usize, 32_usize>, 32_usize>, p3_commit::ExtensionMmcs<p3_baby_bear::BabyBear, p3_field::extension::BinomialExtensionField<p3_baby_bear::BabyBear, 4_usize>, p3_merkle_tree::FieldMerkleTreeMmcs<p3_baby_bear::BabyBear, u8, p3_symmetric::SerializingHasher32<p3_keccak::Keccak256Hash>, p3_symmetric::CompressionFunctionFromHasher<u8, p3_keccak::Keccak256Hash, 2_usize, 32_usize>, 32_usize>>>, p3_field::extension::BinomialExtensionField<p3_baby_bear::BabyBear, 4_usize>, p3_challenger::SerializingChallenger32<p3_baby_bear::BabyBear, p3_challenger::HashChallenger<u8, p3_keccak::Keccak256Hash, 32_usize>>>], def_id: DefId(52:26 ~ p3_uni_stark[88bb]::config::StarkGenericConfig::Challenge), .. }), Alias(Projection, AliasTy { args: [p3_uni_stark::StarkConfig<p3_fri::TwoAdicFriPcs<p3_baby_bear::BabyBear, p3_dft::Radix2DitParallel, p3_merkle_tree::FieldMerkleTreeMmcs<p3_baby_bear::BabyBear, u8, p3_symmetric::SerializingHasher32<p3_keccak::Keccak256Hash>, p3_symmetric::CompressionFunctionFromHasher<u8, p3_keccak::Keccak256Hash, 2_usize, 32_usize>, 32_usize>, p3_commit::ExtensionMmcs<p3_baby_bear::BabyBear, p3_field::extension::BinomialExtensionField<p3_baby_bear::BabyBear, 4_usize>, p3_merkle_tree::FieldMerkleTreeMmcs<p3_baby_bear::BabyBear, u8, p3_symmetric::SerializingHasher32<p3_keccak::Keccak256Hash>, p3_symmetric::CompressionFunctionFromHasher<u8, p3_keccak::Keccak256Hash, 2_usize, 32_usize>, 32_usize>>>, p3_field::extension::BinomialExtensionField<p3_baby_bear::BabyBear, 4_usize>, p3_challenger::SerializingChallenger32<p3_baby_bear::BabyBear, p3_challenger::HashChallenger<u8, p3_keccak::Keccak256Hash, 32_usize>>>], def_id: DefId(52:27 ~ p3_uni_stark[88bb]::config::StarkGenericConfig::Challenger), .. })], def_id: DefId(55:145 ~ p3_commit[1d17]::pcs::Pcs::Domain), .. })], def_id: DefId(55:59 ~ p3_commit[1d17]::domain::PolynomialSpace::Val), .. }), Alias(Projection, AliasTy { args: [Alias(Projection, AliasTy { args: [Alias(Projection, AliasTy { args: [p3_uni_stark::StarkConfig<p3_fri::TwoAdicFriPcs<p3_baby_bear::BabyBear, p3_dft::Radix2DitParallel, p3_merkle_tree::FieldMerkleTreeMmcs<p3_baby_bear::BabyBear, u8, p3_symmetric::SerializingHasher32<p3_keccak::Keccak256Hash>, p3_symmetric::CompressionFunctionFromHasher<u8, p3_keccak::Keccak256Hash, 2_usize, 32_usize>, 32_usize>, p3_commit::ExtensionMmcs<p3_baby_bear::BabyBear, p3_field::extension::BinomialExtensionField<p3_baby_bear::BabyBear, 4_usize>, p3_merkle_tree::FieldMerkleTreeMmcs<p3_baby_bear::BabyBear, u8, p3_symmetric::SerializingHasher32<p3_keccak::Keccak256Hash>, p3_symmetric::CompressionFunctionFromHasher<u8, p3_keccak::Keccak256Hash, 2_usize, 32_usize>, 32_usize>>>, p3_field::extension::BinomialExtensionField<p3_baby_bear::BabyBear, 4_usize>, p3_challenger::SerializingChallenger32<p3_baby_bear::BabyBear, p3_challenger::HashChallenger<u8, p3_keccak::Keccak256Hash, 32_usize>>>], def_id: DefId(52:25 ~ p3_uni_stark[88bb]::config::StarkGenericConfig::Pcs), .. }), Alias(Projection, AliasTy { args: [p3_uni_stark::StarkConfig<p3_fri::TwoAdicFriPcs<p3_baby_bear::BabyBear, p3_dft::Radix2DitParallel, p3_merkle_tree::FieldMerkleTreeMmcs<p3_baby_bear::BabyBear, u8, p3_symmetric::SerializingHasher32<p3_keccak::Keccak256Hash>, p3_symmetric::CompressionFunctionFromHasher<u8, p3_keccak::Keccak256Hash, 2_usize, 32_usize>, 32_usize>, p3_commit::ExtensionMmcs<p3_baby_bear::BabyBear, p3_field::extension::BinomialExtensionField<p3_baby_bear::BabyBear, 4_usize>, p3_merkle_tree::FieldMerkleTreeMmcs<p3_baby_bear::BabyBear, u8, p3_symmetric::SerializingHasher32<p3_keccak::Keccak256Hash>, p3_symmetric::CompressionFunctionFromHasher<u8, p3_keccak::Keccak256Hash, 2_usize, 32_usize>, 32_usize>>>, p3_field::extension::BinomialExtensionField<p3_baby_bear::BabyBear, 4_usize>, p3_challenger::SerializingChallenger32<p3_baby_bear::BabyBear, p3_challenger::HashChallenger<u8, p3_keccak::Keccak256Hash, 32_usize>>>], def_id: DefId(52:26 ~ p3_uni_stark[88bb]::config::StarkGenericConfig::Challenge), .. }), Alias(Projection, AliasTy { args: [p3_uni_stark::StarkConfig<p3_fri::TwoAdicFriPcs<p3_baby_bear::BabyBear, p3_dft::Radix2DitParallel, p3_merkle_tree::FieldMerkleTreeMmcs<p3_baby_bear::BabyBear, u8, p3_symmetric::SerializingHasher32<p3_keccak::Keccak256Hash>, p3_symmetric::CompressionFunctionFromHasher<u8, p3_keccak::Keccak256Hash, 2_usize, 32_usize>, 32_usize>, p3_commit::ExtensionMmcs<p3_baby_bear::BabyBear, p3_field::extension::BinomialExtensionField<p3_baby_bear::BabyBear, 4_usize>, p3_merkle_tree::FieldMerkleTreeMmcs<p3_baby_bear::BabyBear, u8, p3_symmetric::SerializingHasher32<p3_keccak::Keccak256Hash>, p3_symmetric::CompressionFunctionFromHasher<u8, p3_keccak::Keccak256Hash, 2_usize, 32_usize>, 32_usize>>>, p3_field::extension::BinomialExtensionField<p3_baby_bear::BabyBear, 4_usize>, p3_challenger::SerializingChallenger32<p3_baby_bear::BabyBear, p3_challenger::HashChallenger<u8, p3_keccak::Keccak256Hash, 32_usize>>>], def_id: DefId(52:27 ~ p3_uni_stark[88bb]::config::StarkGenericConfig::Challenger), .. })], def_id: DefId(55:145 ~ p3_commit[1d17]::pcs::Pcs::Domain), .. })], def_id: DefId(55:59 ~ p3_commit[1d17]::domain::PolynomialSpace::Val), .. })], def_id: DefId(2:39339 ~ core[6c5d]::ops::arith::Div::Output), .. }, Term::Ty(Alias(Projection, AliasTy { args: [Alias(Projection, AliasTy { args: [Alias(Projection, AliasTy { args: [p3_uni_stark::StarkConfig<p3_fri::TwoAdicFriPcs<p3_baby_bear::BabyBear, p3_dft::Radix2DitParallel, p3_merkle_tree::FieldMerkleTreeMmcs<p3_baby_bear::BabyBear, u8, p3_symmetric::SerializingHasher32<p3_keccak::Keccak256Hash>, p3_symmetric::CompressionFunctionFromHasher<u8, p3_keccak::Keccak256Hash, 2_usize, 32_usize>, 32_usize>, p3_commit::ExtensionMmcs<p3_baby_bear::BabyBear, p3_field::extension::BinomialExtensionField<p3_baby_bear::BabyBear, 4_usize>, p3_merkle_tree::FieldMerkleTreeMmcs<p3_baby_bear::BabyBear, u8, p3_symmetric::SerializingHasher32<p3_keccak::Keccak256Hash>, p3_symmetric::CompressionFunctionFromHasher<u8, p3_keccak::Keccak256Hash, 2_usize, 32_usize>, 32_usize>>>, p3_field::extension::BinomialExtensionField<p3_baby_bear::BabyBear, 4_usize>, p3_challenger::SerializingChallenger32<p3_baby_bear::BabyBear, p3_challenger::HashChallenger<u8, p3_keccak::Keccak256Hash, 32_usize>>>], def_id: DefId(52:25 ~ p3_uni_stark[88bb]::config::StarkGenericConfig::Pcs), .. }), Alias(Projection, AliasTy { args: [p3_uni_stark::StarkConfig<p3_fri::TwoAdicFriPcs<p3_baby_bear::BabyBear, p3_dft::Radix2DitParallel, p3_merkle_tree::FieldMerkleTreeMmcs<p3_baby_bear::BabyBear, u8, p3_symmetric::SerializingHasher32<p3_keccak::Keccak256Hash>, p3_symmetric::CompressionFunctionFromHasher<u8, p3_keccak::Keccak256Hash, 2_usize, 32_usize>, 32_usize>, p3_commit::ExtensionMmcs<p3_baby_bear::BabyBear, p3_field::extension::BinomialExtensionField<p3_baby_bear::BabyBear, 4_usize>, p3_merkle_tree::FieldMerkleTreeMmcs<p3_baby_bear::BabyBear, u8, p3_symmetric::SerializingHasher32<p3_keccak::Keccak256Hash>, p3_symmetric::CompressionFunctionFromHasher<u8, p3_keccak::Keccak256Hash, 2_usize, 32_usize>, 32_usize>>>, p3_field::extension::BinomialExtensionField<p3_baby_bear::BabyBear, 4_usize>, p3_challenger::SerializingChallenger32<p3_baby_bear::BabyBear, p3_challenger::HashChallenger<u8, p3_keccak::Keccak256Hash, 32_usize>>>], def_id: DefId(52:26 ~ p3_uni_stark[88bb]::config::StarkGenericConfig::Challenge), .. }), Alias(Projection, AliasTy { args: [p3_uni_stark::StarkConfig<p3_fri::TwoAdicFriPcs<p3_baby_bear::BabyBear, p3_dft::Radix2DitParallel, p3_merkle_tree::FieldMerkleTreeMmcs<p3_baby_bear::BabyBear, u8, p3_symmetric::SerializingHasher32<p3_keccak::Keccak256Hash>, p3_symmetric::CompressionFunctionFromHasher<u8, p3_keccak::Keccak256Hash, 2_usize, 32_usize>, 32_usize>, p3_commit::ExtensionMmcs<p3_baby_bear::BabyBear, p3_field::extension::BinomialExtensionField<p3_baby_bear::BabyBear, 4_usize>, p3_merkle_tree::FieldMerkleTreeMmcs<p3_baby_bear::BabyBear, u8, p3_symmetric::SerializingHasher32<p3_keccak::Keccak256Hash>, p3_symmetric::CompressionFunctionFromHasher<u8, p3_keccak::Keccak256Hash, 2_usize, 32_usize>, 32_usize>>>, p3_field::extension::BinomialExtensionField<p3_baby_bear::BabyBear, 4_usize>, p3_challenger::SerializingChallenger32<p3_baby_bear::BabyBear, p3_challenger::HashChallenger<u8, p3_keccak::Keccak256Hash, 32_usize>>>], def_id: DefId(52:27 ~ p3_uni_stark[88bb]::config::StarkGenericConfig::Challenger), .. })], def_id: DefId(55:145 ~ p3_commit[1d17]::pcs::Pcs::Domain), .. })], def_id: DefId(55:59 ~ p3_commit[1d17]::domain::PolynomialSpace::Val), .. }))), bound_vars: [] }`, old=Binder { value: ProjectionPredicate(AliasTerm { args: [p3_baby_bear::BabyBear, p3_baby_bear::BabyBear], def_id: DefId(2:39339 ~ core[6c5d]::ops::arith::Div::Output), .. }, Term::Ty(p3_baby_bear::BabyBear)), bound_vars: [] }, next=None
[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] error: inconsistency during normalizing env `Binder { value: TraitPredicate(<<<<p3_uni_stark::StarkConfig<p3_fri::TwoAdicFriPcs<p3_baby_bear::BabyBear, p3_dft::Radix2DitParallel, p3_merkle_tree::FieldMerkleTreeMmcs<p3_baby_bear::BabyBear, u8, p3_symmetric::SerializingHasher32<p3_keccak::Keccak256Hash>, p3_symmetric::CompressionFunctionFromHasher<u8, p3_keccak::Keccak256Hash, 2, 32>, 32>, p3_commit::ExtensionMmcs<p3_baby_bear::BabyBear, p3_field::extension::BinomialExtensionField<p3_baby_bear::BabyBear, 4>, p3_merkle_tree::FieldMerkleTreeMmcs<p3_baby_bear::BabyBear, u8, p3_symmetric::SerializingHasher32<p3_keccak::Keccak256Hash>, p3_symmetric::CompressionFunctionFromHasher<u8, p3_keccak::Keccak256Hash, 2, 32>, 32>>>, p3_field::extension::BinomialExtensionField<p3_baby_bear::BabyBear, 4>, p3_challenger::SerializingChallenger32<p3_baby_bear::BabyBear, p3_challenger::HashChallenger<u8, p3_keccak::Keccak256Hash, 32>>> as p3_uni_stark::StarkGenericConfig>::Pcs as p3_commit::Pcs<<p3_uni_stark::StarkConfig<p3_fri::TwoAdicFriPcs<p3_baby_bear::BabyBear, p3_dft::Radix2DitParallel, p3_merkle_tree::FieldMerkleTreeMmcs<p3_baby_bear::BabyBear, u8, p3_symmetric::SerializingHasher32<p3_keccak::Keccak256Hash>, p3_symmetric::CompressionFunctionFromHasher<u8, p3_keccak::Keccak256Hash, 2, 32>, 32>, p3_commit::ExtensionMmcs<p3_baby_bear::BabyBear, p3_field::extension::BinomialExtensionField<p3_baby_bear::BabyBear, 4>, p3_merkle_tree::FieldMerkleTreeMmcs<p3_baby_bear::BabyBear, u8, p3_symmetric::SerializingHasher32<p3_keccak::Keccak256Hash>, p3_symmetric::CompressionFunctionFromHasher<u8, p3_keccak::Keccak256Hash, 2, 32>, 32>>>, p3_field::extension::BinomialExtensionField<p3_baby_bear::BabyBear, 4>, p3_challenger::SerializingChallenger32<p3_baby_bear::BabyBear, p3_challenger::HashChallenger<u8, p3_keccak::Keccak256Hash, 32>>> as p3_uni_stark::StarkGenericConfig>::Challenge, <p3_uni_stark::StarkConfig<p3_fri::TwoAdicFriPcs<p3_baby_bear::BabyBear, p3_dft::Radix2DitParallel, p3_merkle_tree::FieldMerkleTreeMmcs<p3_baby_bear::BabyBear, u8, p3_symmetric::SerializingHasher32<p3_keccak::Keccak256Hash>, p3_symmetric::CompressionFunctionFromHasher<u8, p3_keccak::Keccak256Hash, 2, 32>, 32>, p3_commit::ExtensionMmcs<p3_baby_bear::BabyBear, p3_field::extension::BinomialExtensionField<p3_baby_bear::BabyBear, 4>, p3_merkle_tree::FieldMerkleTreeMmcs<p3_baby_bear::BabyBear, u8, p3_symmetric::SerializingHasher32<p3_keccak::Keccak256Hash>, p3_symmetric::CompressionFunctionFromHasher<u8, p3_keccak::Keccak256Hash, 2, 32>, 32>>>, p3_field::extension::BinomialExtensionField<p3_baby_bear::BabyBear, 4>, p3_challenger::SerializingChallenger32<p3_baby_bear::BabyBear, p3_challenger::HashChallenger<u8, p3_keccak::Keccak256Hash, 32>>> as p3_uni_stark::StarkGenericConfig>::Challenger>>::Domain as p3_commit::PolynomialSpace>::Val as std::ops::Div>, polarity:Positive), bound_vars: [] }`, old=Binder { value: TraitPredicate(<p3_baby_bear::BabyBear as std::ops::Div>, polarity:Positive), bound_vars: [] }, next=None
[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] error: inconsistency during normalizing env `Binder { value: TraitPredicate(<<<<p3_uni_stark::StarkConfig<p3_fri::TwoAdicFriPcs<p3_baby_bear::BabyBear, p3_dft::Radix2DitParallel, p3_merkle_tree::FieldMerkleTreeMmcs<p3_baby_bear::BabyBear, u8, p3_symmetric::SerializingHasher32<p3_keccak::Keccak256Hash>, p3_symmetric::CompressionFunctionFromHasher<u8, p3_keccak::Keccak256Hash, 2, 32>, 32>, p3_commit::ExtensionMmcs<p3_baby_bear::BabyBear, p3_field::extension::BinomialExtensionField<p3_baby_bear::BabyBear, 4>, p3_merkle_tree::FieldMerkleTreeMmcs<p3_baby_bear::BabyBear, u8, p3_symmetric::SerializingHasher32<p3_keccak::Keccak256Hash>, p3_symmetric::CompressionFunctionFromHasher<u8, p3_keccak::Keccak256Hash, 2, 32>, 32>>>, p3_field::extension::BinomialExtensionField<p3_baby_bear::BabyBear, 4>, p3_challenger::SerializingChallenger32<p3_baby_bear::BabyBear, p3_challenger::HashChallenger<u8, p3_keccak::Keccak256Hash, 32>>> as p3_uni_stark::StarkGenericConfig>::Pcs as p3_commit::Pcs<<p3_uni_stark::StarkConfig<p3_fri::TwoAdicFriPcs<p3_baby_bear::BabyBear, p3_dft::Radix2DitParallel, p3_merkle_tree::FieldMerkleTreeMmcs<p3_baby_bear::BabyBear, u8, p3_symmetric::SerializingHasher32<p3_keccak::Keccak256Hash>, p3_symmetric::CompressionFunctionFromHasher<u8, p3_keccak::Keccak256Hash, 2, 32>, 32>, p3_commit::ExtensionMmcs<p3_baby_bear::BabyBear, p3_field::extension::BinomialExtensionField<p3_baby_bear::BabyBear, 4>, p3_merkle_tree::FieldMerkleTreeMmcs<p3_baby_bear::BabyBear, u8, p3_symmetric::SerializingHasher32<p3_keccak::Keccak256Hash>, p3_symmetric::CompressionFunctionFromHasher<u8, p3_keccak::Keccak256Hash, 2, 32>, 32>>>, p3_field::extension::BinomialExtensionField<p3_baby_bear::BabyBear, 4>, p3_challenger::SerializingChallenger32<p3_baby_bear::BabyBear, p3_challenger::HashChallenger<u8, p3_keccak::Keccak256Hash, 32>>> as p3_uni_stark::StarkGenericConfig>::Challenge, <p3_uni_stark::StarkConfig<p3_fri::TwoAdicFriPcs<p3_baby_bear::BabyBear, p3_dft::Radix2DitParallel, p3_merkle_tree::FieldMerkleTreeMmcs<p3_baby_bear::BabyBear, u8, p3_symmetric::SerializingHasher32<p3_keccak::Keccak256Hash>, p3_symmetric::CompressionFunctionFromHasher<u8, p3_keccak::Keccak256Hash, 2, 32>, 32>, p3_commit::ExtensionMmcs<p3_baby_bear::BabyBear, p3_field::extension::BinomialExtensionField<p3_baby_bear::BabyBear, 4>, p3_merkle_tree::FieldMerkleTreeMmcs<p3_baby_bear::BabyBear, u8, p3_symmetric::SerializingHasher32<p3_keccak::Keccak256Hash>, p3_symmetric::CompressionFunctionFromHasher<u8, p3_keccak::Keccak256Hash, 2, 32>, 32>>>, p3_field::extension::BinomialExtensionField<p3_baby_bear::BabyBear, 4>, p3_challenger::SerializingChallenger32<p3_baby_bear::BabyBear, p3_challenger::HashChallenger<u8, p3_keccak::Keccak256Hash, 32>>> as p3_uni_stark::StarkGenericConfig>::Challenger>>::Domain as p3_commit::PolynomialSpace>::Val as std::marker::Copy>, polarity:Positive), bound_vars: [] }`, old=Binder { value: TraitPredicate(<p3_baby_bear::BabyBear as std::marker::Copy>, polarity:Positive), bound_vars: [] }, next=None
[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] error: inconsistency during normalizing env `Binder { value: TraitPredicate(<<<<p3_uni_stark::StarkConfig<p3_fri::TwoAdicFriPcs<p3_baby_bear::BabyBear, p3_dft::Radix2DitParallel, p3_merkle_tree::FieldMerkleTreeMmcs<p3_baby_bear::BabyBear, u8, p3_symmetric::SerializingHasher32<p3_keccak::Keccak256Hash>, p3_symmetric::CompressionFunctionFromHasher<u8, p3_keccak::Keccak256Hash, 2, 32>, 32>, p3_commit::ExtensionMmcs<p3_baby_bear::BabyBear, p3_field::extension::BinomialExtensionField<p3_baby_bear::BabyBear, 4>, p3_merkle_tree::FieldMerkleTreeMmcs<p3_baby_bear::BabyBear, u8, p3_symmetric::SerializingHasher32<p3_keccak::Keccak256Hash>, p3_symmetric::CompressionFunctionFromHasher<u8, p3_keccak::Keccak256Hash, 2, 32>, 32>>>, p3_field::extension::BinomialExtensionField<p3_baby_bear::BabyBear, 4>, p3_challenger::SerializingChallenger32<p3_baby_bear::BabyBear, p3_challenger::HashChallenger<u8, p3_keccak::Keccak256Hash, 32>>> as p3_uni_stark::StarkGenericConfig>::Pcs as p3_commit::Pcs<<p3_uni_stark::StarkConfig<p3_fri::TwoAdicFriPcs<p3_baby_bear::BabyBear, p3_dft::Radix2DitParallel, p3_merkle_tree::FieldMerkleTreeMmcs<p3_baby_bear::BabyBear, u8, p3_symmetric::SerializingHasher32<p3_keccak::Keccak256Hash>, p3_symmetric::CompressionFunctionFromHasher<u8, p3_keccak::Keccak256Hash, 2, 32>, 32>, p3_commit::ExtensionMmcs<p3_baby_bear::BabyBear, p3_field::extension::BinomialExtensionField<p3_baby_bear::BabyBear, 4>, p3_merkle_tree::FieldMerkleTreeMmcs<p3_baby_bear::BabyBear, u8, p3_symmetric::SerializingHasher32<p3_keccak::Keccak256Hash>, p3_symmetric::CompressionFunctionFromHasher<u8, p3_keccak::Keccak256Hash, 2, 32>, 32>>>, p3_field::extension::BinomialExtensionField<p3_baby_bear::BabyBear, 4>, p3_challenger::SerializingChallenger32<p3_baby_bear::BabyBear, p3_challenger::HashChallenger<u8, p3_keccak::Keccak256Hash, 32>>> as p3_uni_stark::StarkGenericConfig>::Challenge, <p3_uni_stark::StarkConfig<p3_fri::TwoAdicFriPcs<p3_baby_bear::BabyBear, p3_dft::Radix2DitParallel, p3_merkle_tree::FieldMerkleTreeMmcs<p3_baby_bear::BabyBear, u8, p3_symmetric::SerializingHasher32<p3_keccak::Keccak256Hash>, p3_symmetric::CompressionFunctionFromHasher<u8, p3_keccak::Keccak256Hash, 2, 32>, 32>, p3_commit::ExtensionMmcs<p3_baby_bear::BabyBear, p3_field::extension::BinomialExtensionField<p3_baby_bear::BabyBear, 4>, p3_merkle_tree::FieldMerkleTreeMmcs<p3_baby_bear::BabyBear, u8, p3_symmetric::SerializingHasher32<p3_keccak::Keccak256Hash>, p3_symmetric::CompressionFunctionFromHasher<u8, p3_keccak::Keccak256Hash, 2, 32>, 32>>>, p3_field::extension::BinomialExtensionField<p3_baby_bear::BabyBear, 4>, p3_challenger::SerializingChallenger32<p3_baby_bear::BabyBear, p3_challenger::HashChallenger<u8, p3_keccak::Keccak256Hash, 32>>> as p3_uni_stark::StarkGenericConfig>::Challenger>>::Domain as p3_commit::PolynomialSpace>::Val as std::clone::Clone>, polarity:Positive), bound_vars: [] }`, old=Binder { value: TraitPredicate(<p3_baby_bear::BabyBear as std::clone::Clone>, polarity:Positive), bound_vars: [] }, next=None
[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] error: inconsistency during normalizing env `Binder { value: TraitPredicate(<<<<p3_uni_stark::StarkConfig<p3_fri::TwoAdicFriPcs<p3_baby_bear::BabyBear, p3_dft::Radix2DitParallel, p3_merkle_tree::FieldMerkleTreeMmcs<p3_baby_bear::BabyBear, u8, p3_symmetric::SerializingHasher32<p3_keccak::Keccak256Hash>, p3_symmetric::CompressionFunctionFromHasher<u8, p3_keccak::Keccak256Hash, 2, 32>, 32>, p3_commit::ExtensionMmcs<p3_baby_bear::BabyBear, p3_field::extension::BinomialExtensionField<p3_baby_bear::BabyBear, 4>, p3_merkle_tree::FieldMerkleTreeMmcs<p3_baby_bear::BabyBear, u8, p3_symmetric::SerializingHasher32<p3_keccak::Keccak256Hash>, p3_symmetric::CompressionFunctionFromHasher<u8, p3_keccak::Keccak256Hash, 2, 32>, 32>>>, p3_field::extension::BinomialExtensionField<p3_baby_bear::BabyBear, 4>, p3_challenger::SerializingChallenger32<p3_baby_bear::BabyBear, p3_challenger::HashChallenger<u8, p3_keccak::Keccak256Hash, 32>>> as p3_uni_stark::StarkGenericConfig>::Pcs as p3_commit::Pcs<<p3_uni_stark::StarkConfig<p3_fri::TwoAdicFriPcs<p3_baby_bear::BabyBear, p3_dft::Radix2DitParallel, p3_merkle_tree::FieldMerkleTreeMmcs<p3_baby_bear::BabyBear, u8, p3_symmetric::SerializingHasher32<p3_keccak::Keccak256Hash>, p3_symmetric::CompressionFunctionFromHasher<u8, p3_keccak::Keccak256Hash, 2, 32>, 32>, p3_commit::ExtensionMmcs<p3_baby_bear::BabyBear, p3_field::extension::BinomialExtensionField<p3_baby_bear::BabyBear, 4>, p3_merkle_tree::FieldMerkleTreeMmcs<p3_baby_bear::BabyBear, u8, p3_symmetric::SerializingHasher32<p3_keccak::Keccak256Hash>, p3_symmetric::CompressionFunctionFromHasher<u8, p3_keccak::Keccak256Hash, 2, 32>, 32>>>, p3_field::extension::BinomialExtensionField<p3_baby_bear::BabyBear, 4>, p3_challenger::SerializingChallenger32<p3_baby_bear::BabyBear, p3_challenger::HashChallenger<u8, p3_keccak::Keccak256Hash, 32>>> as p3_uni_stark::StarkGenericConfig>::Challenge, <p3_uni_stark::StarkConfig<p3_fri::TwoAdicFriPcs<p3_baby_bear::BabyBear, p3_dft::Radix2DitParallel, p3_merkle_tree::FieldMerkleTreeMmcs<p3_baby_bear::BabyBear, u8, p3_symmetric::SerializingHasher32<p3_keccak::Keccak256Hash>, p3_symmetric::CompressionFunctionFromHasher<u8, p3_keccak::Keccak256Hash, 2, 32>, 32>, p3_commit::ExtensionMmcs<p3_baby_bear::BabyBear, p3_field::extension::BinomialExtensionField<p3_baby_bear::BabyBear, 4>, p3_merkle_tree::FieldMerkleTreeMmcs<p3_baby_bear::BabyBear, u8, p3_symmetric::SerializingHasher32<p3_keccak::Keccak256Hash>, p3_symmetric::CompressionFunctionFromHasher<u8, p3_keccak::Keccak256Hash, 2, 32>, 32>>>, p3_field::extension::BinomialExtensionField<p3_baby_bear::BabyBear, 4>, p3_challenger::SerializingChallenger32<p3_baby_bear::BabyBear, p3_challenger::HashChallenger<u8, p3_keccak::Keccak256Hash, 32>>> as p3_uni_stark::StarkGenericConfig>::Challenger>>::Domain as p3_commit::PolynomialSpace>::Val as p3_field::Packable>, polarity:Positive), bound_vars: [] }`, old=Binder { value: TraitPredicate(<p3_baby_bear::BabyBear as p3_field::Packable>, polarity:Positive), bound_vars: [] }, next=None
[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] error: inconsistency during normalizing env `Binder { value: TraitPredicate(<<<<p3_uni_stark::StarkConfig<p3_fri::TwoAdicFriPcs<p3_baby_bear::BabyBear, p3_dft::Radix2DitParallel, p3_merkle_tree::FieldMerkleTreeMmcs<p3_baby_bear::BabyBear, u8, p3_symmetric::SerializingHasher32<p3_keccak::Keccak256Hash>, p3_symmetric::CompressionFunctionFromHasher<u8, p3_keccak::Keccak256Hash, 2, 32>, 32>, p3_commit::ExtensionMmcs<p3_baby_bear::BabyBear, p3_field::extension::BinomialExtensionField<p3_baby_bear::BabyBear, 4>, p3_merkle_tree::FieldMerkleTreeMmcs<p3_baby_bear::BabyBear, u8, p3_symmetric::SerializingHasher32<p3_keccak::Keccak256Hash>, p3_symmetric::CompressionFunctionFromHasher<u8, p3_keccak::Keccak256Hash, 2, 32>, 32>>>, p3_field::extension::BinomialExtensionField<p3_baby_bear::BabyBear, 4>, p3_challenger::SerializingChallenger32<p3_baby_bear::BabyBear, p3_challenger::HashChallenger<u8, p3_keccak::Keccak256Hash, 32>>> as p3_uni_stark::StarkGenericConfig>::Pcs as p3_commit::Pcs<<p3_uni_stark::StarkConfig<p3_fri::TwoAdicFriPcs<p3_baby_bear::BabyBear, p3_dft::Radix2DitParallel, p3_merkle_tree::FieldMerkleTreeMmcs<p3_baby_bear::BabyBear, u8, p3_symmetric::SerializingHasher32<p3_keccak::Keccak256Hash>, p3_symmetric::CompressionFunctionFromHasher<u8, p3_keccak::Keccak256Hash, 2, 32>, 32>, p3_commit::ExtensionMmcs<p3_baby_bear::BabyBear, p3_field::extension::BinomialExtensionField<p3_baby_bear::BabyBear, 4>, p3_merkle_tree::FieldMerkleTreeMmcs<p3_baby_bear::BabyBear, u8, p3_symmetric::SerializingHasher32<p3_keccak::Keccak256Hash>, p3_symmetric::CompressionFunctionFromHasher<u8, p3_keccak::Keccak256Hash, 2, 32>, 32>>>, p3_field::extension::BinomialExtensionField<p3_baby_bear::BabyBear, 4>, p3_challenger::SerializingChallenger32<p3_baby_bear::BabyBear, p3_challenger::HashChallenger<u8, p3_keccak::Keccak256Hash, 32>>> as p3_uni_stark::StarkGenericConfig>::Challenge, <p3_uni_stark::StarkConfig<p3_fri::TwoAdicFriPcs<p3_baby_bear::BabyBear, p3_dft::Radix2DitParallel, p3_merkle_tree::FieldMerkleTreeMmcs<p3_baby_bear::BabyBear, u8, p3_symmetric::SerializingHasher32<p3_keccak::Keccak256Hash>, p3_symmetric::CompressionFunctionFromHasher<u8, p3_keccak::Keccak256Hash, 2, 32>, 32>, p3_commit::ExtensionMmcs<p3_baby_bear::BabyBear, p3_field::extension::BinomialExtensionField<p3_baby_bear::BabyBear, 4>, p3_merkle_tree::FieldMerkleTreeMmcs<p3_baby_bear::BabyBear, u8, p3_symmetric::SerializingHasher32<p3_keccak::Keccak256Hash>, p3_symmetric::CompressionFunctionFromHasher<u8, p3_keccak::Keccak256Hash, 2, 32>, 32>>>, p3_field::extension::BinomialExtensionField<p3_baby_bear::BabyBear, 4>, p3_challenger::SerializingChallenger32<p3_baby_bear::BabyBear, p3_challenger::HashChallenger<u8, p3_keccak::Keccak256Hash, 32>>> as p3_uni_stark::StarkGenericConfig>::Challenger>>::Domain as p3_commit::PolynomialSpace>::Val as std::default::Default>, polarity:Positive), bound_vars: [] }`, old=Binder { value: TraitPredicate(<p3_baby_bear::BabyBear as std::default::Default>, polarity:Positive), bound_vars: [] }, next=None
[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] error: inconsistency during normalizing env `Binder { value: ProjectionPredicate(AliasTerm { args: [Alias(Projection, AliasTy { args: [Alias(Projection, AliasTy { args: [Alias(Projection, AliasTy { args: [p3_uni_stark::StarkConfig<p3_fri::TwoAdicFriPcs<p3_baby_bear::BabyBear, p3_dft::Radix2DitParallel, p3_merkle_tree::FieldMerkleTreeMmcs<p3_baby_bear::BabyBear, u8, p3_symmetric::SerializingHasher32<p3_keccak::Keccak256Hash>, p3_symmetric::CompressionFunctionFromHasher<u8, p3_keccak::Keccak256Hash, 2_usize, 32_usize>, 32_usize>, p3_commit::ExtensionMmcs<p3_baby_bear::BabyBear, p3_field::extension::BinomialExtensionField<p3_baby_bear::BabyBear, 4_usize>, p3_merkle_tree::FieldMerkleTreeMmcs<p3_baby_bear::BabyBear, u8, p3_symmetric::SerializingHasher32<p3_keccak::Keccak256Hash>, p3_symmetric::CompressionFunctionFromHasher<u8, p3_keccak::Keccak256Hash, 2_usize, 32_usize>, 32_usize>>>, p3_field::extension::BinomialExtensionField<p3_baby_bear::BabyBear, 4_usize>, p3_challenger::SerializingChallenger32<p3_baby_bear::BabyBear, p3_challenger::HashChallenger<u8, p3_keccak::Keccak256Hash, 32_usize>>>], def_id: DefId(52:25 ~ p3_uni_stark[88bb]::config::StarkGenericConfig::Pcs), .. }), Alias(Projection, AliasTy { args: [p3_uni_stark::StarkConfig<p3_fri::TwoAdicFriPcs<p3_baby_bear::BabyBear, p3_dft::Radix2DitParallel, p3_merkle_tree::FieldMerkleTreeMmcs<p3_baby_bear::BabyBear, u8, p3_symmetric::SerializingHasher32<p3_keccak::Keccak256Hash>, p3_symmetric::CompressionFunctionFromHasher<u8, p3_keccak::Keccak256Hash, 2_usize, 32_usize>, 32_usize>, p3_commit::ExtensionMmcs<p3_baby_bear::BabyBear, p3_field::extension::BinomialExtensionField<p3_baby_bear::BabyBear, 4_usize>, p3_merkle_tree::FieldMerkleTreeMmcs<p3_baby_bear::BabyBear, u8, p3_symmetric::SerializingHasher32<p3_keccak::Keccak256Hash>, p3_symmetric::CompressionFunctionFromHasher<u8, p3_keccak::Keccak256Hash, 2_usize, 32_usize>, 32_usize>>>, p3_field::extension::BinomialExtensionField<p3_baby_bear::BabyBear, 4_usize>, p3_challenger::SerializingChallenger32<p3_baby_bear::BabyBear, p3_challenger::HashChallenger<u8, p3_keccak::Keccak256Hash, 32_usize>>>], def_id: DefId(52:26 ~ p3_uni_stark[88bb]::config::StarkGenericConfig::Challenge), .. }), Alias(Projection, AliasTy { args: [p3_uni_stark::StarkConfig<p3_fri::TwoAdicFriPcs<p3_baby_bear::BabyBear, p3_dft::Radix2DitParallel, p3_merkle_tree::FieldMerkleTreeMmcs<p3_baby_bear::BabyBear, u8, p3_symmetric::SerializingHasher32<p3_keccak::Keccak256Hash>, p3_symmetric::CompressionFunctionFromHasher<u8, p3_keccak::Keccak256Hash, 2_usize, 32_usize>, 32_usize>, p3_commit::ExtensionMmcs<p3_baby_bear::BabyBear, p3_field::extension::BinomialExtensionField<p3_baby_bear::BabyBear, 4_usize>, p3_merkle_tree::FieldMerkleTreeMmcs<p3_baby_bear::BabyBear, u8, p3_symmetric::SerializingHasher32<p3_keccak::Keccak256Hash>, p3_symmetric::CompressionFunctionFromHasher<u8, p3_keccak::Keccak256Hash, 2_usize, 32_usize>, 32_usize>>>, p3_field::extension::BinomialExtensionField<p3_baby_bear::BabyBear, 4_usize>, p3_challenger::SerializingChallenger32<p3_baby_bear::BabyBear, p3_challenger::HashChallenger<u8, p3_keccak::Keccak256Hash, 32_usize>>>], def_id: DefId(52:27 ~ p3_uni_stark[88bb]::config::StarkGenericConfig::Challenger), .. })], def_id: DefId(55:145 ~ p3_commit[1d17]::pcs::Pcs::Domain), .. })], def_id: DefId(55:59 ~ p3_commit[1d17]::domain::PolynomialSpace::Val), .. })], def_id: DefId(21:510 ~ p3_field[8971]::field::AbstractField::F), .. }, Term::Ty(Alias(Projection, AliasTy { args: [Alias(Projection, AliasTy { args: [Alias(Projection, AliasTy { args: [p3_uni_stark::StarkConfig<p3_fri::TwoAdicFriPcs<p3_baby_bear::BabyBear, p3_dft::Radix2DitParallel, p3_merkle_tree::FieldMerkleTreeMmcs<p3_baby_bear::BabyBear, u8, p3_symmetric::SerializingHasher32<p3_keccak::Keccak256Hash>, p3_symmetric::CompressionFunctionFromHasher<u8, p3_keccak::Keccak256Hash, 2_usize, 32_usize>, 32_usize>, p3_commit::ExtensionMmcs<p3_baby_bear::BabyBear, p3_field::extension::BinomialExtensionField<p3_baby_bear::BabyBear, 4_usize>, p3_merkle_tree::FieldMerkleTreeMmcs<p3_baby_bear::BabyBear, u8, p3_symmetric::SerializingHasher32<p3_keccak::Keccak256Hash>, p3_symmetric::CompressionFunctionFromHasher<u8, p3_keccak::Keccak256Hash, 2_usize, 32_usize>, 32_usize>>>, p3_field::extension::BinomialExtensionField<p3_baby_bear::BabyBear, 4_usize>, p3_challenger::SerializingChallenger32<p3_baby_bear::BabyBear, p3_challenger::HashChallenger<u8, p3_keccak::Keccak256Hash, 32_usize>>>], def_id: DefId(52:25 ~ p3_uni_stark[88bb]::config::StarkGenericConfig::Pcs), .. }), Alias(Projection, AliasTy { args: [p3_uni_stark::StarkConfig<p3_fri::TwoAdicFriPcs<p3_baby_bear::BabyBear, p3_dft::Radix2DitParallel, p3_merkle_tree::FieldMerkleTreeMmcs<p3_baby_bear::BabyBear, u8, p3_symmetric::SerializingHasher32<p3_keccak::Keccak256Hash>, p3_symmetric::CompressionFunctionFromHasher<u8, p3_keccak::Keccak256Hash, 2_usize, 32_usize>, 32_usize>, p3_commit::ExtensionMmcs<p3_baby_bear::BabyBear, p3_field::extension::BinomialExtensionField<p3_baby_bear::BabyBear, 4_usize>, p3_merkle_tree::FieldMerkleTreeMmcs<p3_baby_bear::BabyBear, u8, p3_symmetric::SerializingHasher32<p3_keccak::Keccak256Hash>, p3_symmetric::CompressionFunctionFromHasher<u8, p3_keccak::Keccak256Hash, 2_usize, 32_usize>, 32_usize>>>, p3_field::extension::BinomialExtensionField<p3_baby_bear::BabyBear, 4_usize>, p3_challenger::SerializingChallenger32<p3_baby_bear::BabyBear, p3_challenger::HashChallenger<u8, p3_keccak::Keccak256Hash, 32_usize>>>], def_id: DefId(52:26 ~ p3_uni_stark[88bb]::config::StarkGenericConfig::Challenge), .. }), Alias(Projection, AliasTy { args: [p3_uni_stark::StarkConfig<p3_fri::TwoAdicFriPcs<p3_baby_bear::BabyBear, p3_dft::Radix2DitParallel, p3_merkle_tree::FieldMerkleTreeMmcs<p3_baby_bear::BabyBear, u8, p3_symmetric::SerializingHasher32<p3_keccak::Keccak256Hash>, p3_symmetric::CompressionFunctionFromHasher<u8, p3_keccak::Keccak256Hash, 2_usize, 32_usize>, 32_usize>, p3_commit::ExtensionMmcs<p3_baby_bear::BabyBear, p3_field::extension::BinomialExtensionField<p3_baby_bear::BabyBear, 4_usize>, p3_merkle_tree::FieldMerkleTreeMmcs<p3_baby_bear::BabyBear, u8, p3_symmetric::SerializingHasher32<p3_keccak::Keccak256Hash>, p3_symmetric::CompressionFunctionFromHasher<u8, p3_keccak::Keccak256Hash, 2_usize, 32_usize>, 32_usize>>>, p3_field::extension::BinomialExtensionField<p3_baby_bear::BabyBear, 4_usize>, p3_challenger::SerializingChallenger32<p3_baby_bear::BabyBear, p3_challenger::HashChallenger<u8, p3_keccak::Keccak256Hash, 32_usize>>>], def_id: DefId(52:27 ~ p3_uni_stark[88bb]::config::StarkGenericConfig::Challenger), .. })], def_id: DefId(55:145 ~ p3_commit[1d17]::pcs::Pcs::Domain), .. })], def_id: DefId(55:59 ~ p3_commit[1d17]::domain::PolynomialSpace::Val), .. }))), bound_vars: [] }`, old=Binder { value: ProjectionPredicate(AliasTerm { args: [p3_baby_bear::BabyBear], def_id: DefId(21:510 ~ p3_field[8971]::field::AbstractField::F), .. }, Term::Ty(p3_baby_bear::BabyBear)), bound_vars: [] }, next=None
[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] error: inconsistency during normalizing env `Binder { value: TraitPredicate(<<<<p3_uni_stark::StarkConfig<p3_fri::TwoAdicFriPcs<p3_baby_bear::BabyBear, p3_dft::Radix2DitParallel, p3_merkle_tree::FieldMerkleTreeMmcs<p3_baby_bear::BabyBear, u8, p3_symmetric::SerializingHasher32<p3_keccak::Keccak256Hash>, p3_symmetric::CompressionFunctionFromHasher<u8, p3_keccak::Keccak256Hash, 2, 32>, 32>, p3_commit::ExtensionMmcs<p3_baby_bear::BabyBear, p3_field::extension::BinomialExtensionField<p3_baby_bear::BabyBear, 4>, p3_merkle_tree::FieldMerkleTreeMmcs<p3_baby_bear::BabyBear, u8, p3_symmetric::SerializingHasher32<p3_keccak::Keccak256Hash>, p3_symmetric::CompressionFunctionFromHasher<u8, p3_keccak::Keccak256Hash, 2, 32>, 32>>>, p3_field::extension::BinomialExtensionField<p3_baby_bear::BabyBear, 4>, p3_challenger::SerializingChallenger32<p3_baby_bear::BabyBear, p3_challenger::HashChallenger<u8, p3_keccak::Keccak256Hash, 32>>> as p3_uni_stark::StarkGenericConfig>::Pcs as p3_commit::Pcs<<p3_uni_stark::StarkConfig<p3_fri::TwoAdicFriPcs<p3_baby_bear::BabyBear, p3_dft::Radix2DitParallel, p3_merkle_tree::FieldMerkleTreeMmcs<p3_baby_bear::BabyBear, u8, p3_symmetric::SerializingHasher32<p3_keccak::Keccak256Hash>, p3_symmetric::CompressionFunctionFromHasher<u8, p3_keccak::Keccak256Hash, 2, 32>, 32>, p3_commit::ExtensionMmcs<p3_baby_bear::BabyBear, p3_field::extension::BinomialExtensionField<p3_baby_bear::BabyBear, 4>, p3_merkle_tree::FieldMerkleTreeMmcs<p3_baby_bear::BabyBear, u8, p3_symmetric::SerializingHasher32<p3_keccak::Keccak256Hash>, p3_symmetric::CompressionFunctionFromHasher<u8, p3_keccak::Keccak256Hash, 2, 32>, 32>>>, p3_field::extension::BinomialExtensionField<p3_baby_bear::BabyBear, 4>, p3_challenger::SerializingChallenger32<p3_baby_bear::BabyBear, p3_challenger::HashChallenger<u8, p3_keccak::Keccak256Hash, 32>>> as p3_uni_stark::StarkGenericConfig>::Challenge, <p3_uni_stark::StarkConfig<p3_fri::TwoAdicFriPcs<p3_baby_bear::BabyBear, p3_dft::Radix2DitParallel, p3_merkle_tree::FieldMerkleTreeMmcs<p3_baby_bear::BabyBear, u8, p3_symmetric::SerializingHasher32<p3_keccak::Keccak256Hash>, p3_symmetric::CompressionFunctionFromHasher<u8, p3_keccak::Keccak256Hash, 2, 32>, 32>, p3_commit::ExtensionMmcs<p3_baby_bear::BabyBear, p3_field::extension::BinomialExtensionField<p3_baby_bear::BabyBear, 4>, p3_merkle_tree::FieldMerkleTreeMmcs<p3_baby_bear::BabyBear, u8, p3_symmetric::SerializingHasher32<p3_keccak::Keccak256Hash>, p3_symmetric::CompressionFunctionFromHasher<u8, p3_keccak::Keccak256Hash, 2, 32>, 32>>>, p3_field::extension::BinomialExtensionField<p3_baby_bear::BabyBear, 4>, p3_challenger::SerializingChallenger32<p3_baby_bear::BabyBear, p3_challenger::HashChallenger<u8, p3_keccak::Keccak256Hash, 32>>> as p3_uni_stark::StarkGenericConfig>::Challenger>>::Domain as p3_commit::PolynomialSpace>::Val as p3_field::AbstractField>, polarity:Positive), bound_vars: [] }`, old=Binder { value: TraitPredicate(<p3_baby_bear::BabyBear as p3_field::AbstractField>, polarity:Positive), bound_vars: [] }, next=None
[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] error: inconsistency during normalizing env `Binder { value: TraitPredicate(<<<<p3_uni_stark::StarkConfig<p3_fri::TwoAdicFriPcs<p3_baby_bear::BabyBear, p3_dft::Radix2DitParallel, p3_merkle_tree::FieldMerkleTreeMmcs<p3_baby_bear::BabyBear, u8, p3_symmetric::SerializingHasher32<p3_keccak::Keccak256Hash>, p3_symmetric::CompressionFunctionFromHasher<u8, p3_keccak::Keccak256Hash, 2, 32>, 32>, p3_commit::ExtensionMmcs<p3_baby_bear::BabyBear, p3_field::extension::BinomialExtensionField<p3_baby_bear::BabyBear, 4>, p3_merkle_tree::FieldMerkleTreeMmcs<p3_baby_bear::BabyBear, u8, p3_symmetric::SerializingHasher32<p3_keccak::Keccak256Hash>, p3_symmetric::CompressionFunctionFromHasher<u8, p3_keccak::Keccak256Hash, 2, 32>, 32>>>, p3_field::extension::BinomialExtensionField<p3_baby_bear::BabyBear, 4>, p3_challenger::SerializingChallenger32<p3_baby_bear::BabyBear, p3_challenger::HashChallenger<u8, p3_keccak::Keccak256Hash, 32>>> as p3_uni_stark::StarkGenericConfig>::Pcs as p3_commit::Pcs<<p3_uni_stark::StarkConfig<p3_fri::TwoAdicFriPcs<p3_baby_bear::BabyBear, p3_dft::Radix2DitParallel, p3_merkle_tree::FieldMerkleTreeMmcs<p3_baby_bear::BabyBear, u8, p3_symmetric::SerializingHasher32<p3_keccak::Keccak256Hash>, p3_symmetric::CompressionFunctionFromHasher<u8, p3_keccak::Keccak256Hash, 2, 32>, 32>, p3_commit::ExtensionMmcs<p3_baby_bear::BabyBear, p3_field::extension::BinomialExtensionField<p3_baby_bear::BabyBear, 4>, p3_merkle_tree::FieldMerkleTreeMmcs<p3_baby_bear::BabyBear, u8, p3_symmetric::SerializingHasher32<p3_keccak::Keccak256Hash>, p3_symmetric::CompressionFunctionFromHasher<u8, p3_keccak::Keccak256Hash, 2, 32>, 32>>>, p3_field::extension::BinomialExtensionField<p3_baby_bear::BabyBear, 4>, p3_challenger::SerializingChallenger32<p3_baby_bear::BabyBear, p3_challenger::HashChallenger<u8, p3_keccak::Keccak256Hash, 32>>> as p3_uni_stark::StarkGenericConfig>::Challenge, <p3_uni_stark::StarkConfig<p3_fri::TwoAdicFriPcs<p3_baby_bear::BabyBear, p3_dft::Radix2DitParallel, p3_merkle_tree::FieldMerkleTreeMmcs<p3_baby_bear::BabyBear, u8, p3_symmetric::SerializingHasher32<p3_keccak::Keccak256Hash>, p3_symmetric::CompressionFunctionFromHasher<u8, p3_keccak::Keccak256Hash, 2, 32>, 32>, p3_commit::ExtensionMmcs<p3_baby_bear::BabyBear, p3_field::extension::BinomialExtensionField<p3_baby_bear::BabyBear, 4>, p3_merkle_tree::FieldMerkleTreeMmcs<p3_baby_bear::BabyBear, u8, p3_symmetric::SerializingHasher32<p3_keccak::Keccak256Hash>, p3_symmetric::CompressionFunctionFromHasher<u8, p3_keccak::Keccak256Hash, 2, 32>, 32>>>, p3_field::extension::BinomialExtensionField<p3_baby_bear::BabyBear, 4>, p3_challenger::SerializingChallenger32<p3_baby_bear::BabyBear, p3_challenger::HashChallenger<u8, p3_keccak::Keccak256Hash, 32>>> as p3_uni_stark::StarkGenericConfig>::Challenger>>::Domain as p3_commit::PolynomialSpace>::Val as std::fmt::Debug>, polarity:Positive), bound_vars: [] }`, old=Binder { value: TraitPredicate(<p3_baby_bear::BabyBear as std::fmt::Debug>, polarity:Positive), bound_vars: [] }, next=None
[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] error: inconsistency during normalizing env `Binder { value: TraitPredicate(<<<<p3_uni_stark::StarkConfig<p3_fri::TwoAdicFriPcs<p3_baby_bear::BabyBear, p3_dft::Radix2DitParallel, p3_merkle_tree::FieldMerkleTreeMmcs<p3_baby_bear::BabyBear, u8, p3_symmetric::SerializingHasher32<p3_keccak::Keccak256Hash>, p3_symmetric::CompressionFunctionFromHasher<u8, p3_keccak::Keccak256Hash, 2, 32>, 32>, p3_commit::ExtensionMmcs<p3_baby_bear::BabyBear, p3_field::extension::BinomialExtensionField<p3_baby_bear::BabyBear, 4>, p3_merkle_tree::FieldMerkleTreeMmcs<p3_baby_bear::BabyBear, u8, p3_symmetric::SerializingHasher32<p3_keccak::Keccak256Hash>, p3_symmetric::CompressionFunctionFromHasher<u8, p3_keccak::Keccak256Hash, 2, 32>, 32>>>, p3_field::extension::BinomialExtensionField<p3_baby_bear::BabyBear, 4>, p3_challenger::SerializingChallenger32<p3_baby_bear::BabyBear, p3_challenger::HashChallenger<u8, p3_keccak::Keccak256Hash, 32>>> as p3_uni_stark::StarkGenericConfig>::Pcs as p3_commit::Pcs<<p3_uni_stark::StarkConfig<p3_fri::TwoAdicFriPcs<p3_baby_bear::BabyBear, p3_dft::Radix2DitParallel, p3_merkle_tree::FieldMerkleTreeMmcs<p3_baby_bear::BabyBear, u8, p3_symmetric::SerializingHasher32<p3_keccak::Keccak256Hash>, p3_symmetric::CompressionFunctionFromHasher<u8, p3_keccak::Keccak256Hash, 2, 32>, 32>, p3_commit::ExtensionMmcs<p3_baby_bear::BabyBear, p3_field::extension::BinomialExtensionField<p3_baby_bear::BabyBear, 4>, p3_merkle_tree::FieldMerkleTreeMmcs<p3_baby_bear::BabyBear, u8, p3_symmetric::SerializingHasher32<p3_keccak::Keccak256Hash>, p3_symmetric::CompressionFunctionFromHasher<u8, p3_keccak::Keccak256Hash, 2, 32>, 32>>>, p3_field::extension::BinomialExtensionField<p3_baby_bear::BabyBear, 4>, p3_challenger::SerializingChallenger32<p3_baby_bear::BabyBear, p3_challenger::HashChallenger<u8, p3_keccak::Keccak256Hash, 32>>> as p3_uni_stark::StarkGenericConfig>::Challenge, <p3_uni_stark::StarkConfig<p3_fri::TwoAdicFriPcs<p3_baby_bear::BabyBear, p3_dft::Radix2DitParallel, p3_merkle_tree::FieldMerkleTreeMmcs<p3_baby_bear::BabyBear, u8, p3_symmetric::SerializingHasher32<p3_keccak::Keccak256Hash>, p3_symmetric::CompressionFunctionFromHasher<u8, p3_keccak::Keccak256Hash, 2, 32>, 32>, p3_commit::ExtensionMmcs<p3_baby_bear::BabyBear, p3_field::extension::BinomialExtensionField<p3_baby_bear::BabyBear, 4>, p3_merkle_tree::FieldMerkleTreeMmcs<p3_baby_bear::BabyBear, u8, p3_symmetric::SerializingHasher32<p3_keccak::Keccak256Hash>, p3_symmetric::CompressionFunctionFromHasher<u8, p3_keccak::Keccak256Hash, 2, 32>, 32>>>, p3_field::extension::BinomialExtensionField<p3_baby_bear::BabyBear, 4>, p3_challenger::SerializingChallenger32<p3_baby_bear::BabyBear, p3_challenger::HashChallenger<u8, p3_keccak::Keccak256Hash, 32>>> as p3_uni_stark::StarkGenericConfig>::Challenger>>::Domain as p3_commit::PolynomialSpace>::Val as std::iter::Product>, polarity:Positive), bound_vars: [] }`, old=Binder { value: TraitPredicate(<p3_baby_bear::BabyBear as std::iter::Product>, polarity:Positive), bound_vars: [] }, next=None
[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] error: inconsistency during normalizing env `Binder { value: TraitPredicate(<<<<p3_uni_stark::StarkConfig<p3_fri::TwoAdicFriPcs<p3_baby_bear::BabyBear, p3_dft::Radix2DitParallel, p3_merkle_tree::FieldMerkleTreeMmcs<p3_baby_bear::BabyBear, u8, p3_symmetric::SerializingHasher32<p3_keccak::Keccak256Hash>, p3_symmetric::CompressionFunctionFromHasher<u8, p3_keccak::Keccak256Hash, 2, 32>, 32>, p3_commit::ExtensionMmcs<p3_baby_bear::BabyBear, p3_field::extension::BinomialExtensionField<p3_baby_bear::BabyBear, 4>, p3_merkle_tree::FieldMerkleTreeMmcs<p3_baby_bear::BabyBear, u8, p3_symmetric::SerializingHasher32<p3_keccak::Keccak256Hash>, p3_symmetric::CompressionFunctionFromHasher<u8, p3_keccak::Keccak256Hash, 2, 32>, 32>>>, p3_field::extension::BinomialExtensionField<p3_baby_bear::BabyBear, 4>, p3_challenger::SerializingChallenger32<p3_baby_bear::BabyBear, p3_challenger::HashChallenger<u8, p3_keccak::Keccak256Hash, 32>>> as p3_uni_stark::StarkGenericConfig>::Pcs as p3_commit::Pcs<<p3_uni_stark::StarkConfig<p3_fri::TwoAdicFriPcs<p3_baby_bear::BabyBear, p3_dft::Radix2DitParallel, p3_merkle_tree::FieldMerkleTreeMmcs<p3_baby_bear::BabyBear, u8, p3_symmetric::SerializingHasher32<p3_keccak::Keccak256Hash>, p3_symmetric::CompressionFunctionFromHasher<u8, p3_keccak::Keccak256Hash, 2, 32>, 32>, p3_commit::ExtensionMmcs<p3_baby_bear::BabyBear, p3_field::extension::BinomialExtensionField<p3_baby_bear::BabyBear, 4>, p3_merkle_tree::FieldMerkleTreeMmcs<p3_baby_bear::BabyBear, u8, p3_symmetric::SerializingHasher32<p3_keccak::Keccak256Hash>, p3_symmetric::CompressionFunctionFromHasher<u8, p3_keccak::Keccak256Hash, 2, 32>, 32>>>, p3_field::extension::BinomialExtensionField<p3_baby_bear::BabyBear, 4>, p3_challenger::SerializingChallenger32<p3_baby_bear::BabyBear, p3_challenger::HashChallenger<u8, p3_keccak::Keccak256Hash, 32>>> as p3_uni_stark::StarkGenericConfig>::Challenge, <p3_uni_stark::StarkConfig<p3_fri::TwoAdicFriPcs<p3_baby_bear::BabyBear, p3_dft::Radix2DitParallel, p3_merkle_tree::FieldMerkleTreeMmcs<p3_baby_bear::BabyBear, u8, p3_symmetric::SerializingHasher32<p3_keccak::Keccak256Hash>, p3_symmetric::CompressionFunctionFromHasher<u8, p3_keccak::Keccak256Hash, 2, 32>, 32>, p3_commit::ExtensionMmcs<p3_baby_bear::BabyBear, p3_field::extension::BinomialExtensionField<p3_baby_bear::BabyBear, 4>, p3_merkle_tree::FieldMerkleTreeMmcs<p3_baby_bear::BabyBear, u8, p3_symmetric::SerializingHasher32<p3_keccak::Keccak256Hash>, p3_symmetric::CompressionFunctionFromHasher<u8, p3_keccak::Keccak256Hash, 2, 32>, 32>>>, p3_field::extension::BinomialExtensionField<p3_baby_bear::BabyBear, 4>, p3_challenger::SerializingChallenger32<p3_baby_bear::BabyBear, p3_challenger::HashChallenger<u8, p3_keccak::Keccak256Hash, 32>>> as p3_uni_stark::StarkGenericConfig>::Challenger>>::Domain as p3_commit::PolynomialSpace>::Val as std::iter::Sum>, polarity:Positive), bound_vars: [] }`, old=Binder { value: TraitPredicate(<p3_baby_bear::BabyBear as std::iter::Sum>, polarity:Positive), bound_vars: [] }, next=None
[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] error: inconsistency during normalizing env `Binder { value: TraitPredicate(<<<<p3_uni_stark::StarkConfig<p3_fri::TwoAdicFriPcs<p3_baby_bear::BabyBear, p3_dft::Radix2DitParallel, p3_merkle_tree::FieldMerkleTreeMmcs<p3_baby_bear::BabyBear, u8, p3_symmetric::SerializingHasher32<p3_keccak::Keccak256Hash>, p3_symmetric::CompressionFunctionFromHasher<u8, p3_keccak::Keccak256Hash, 2, 32>, 32>, p3_commit::ExtensionMmcs<p3_baby_bear::BabyBear, p3_field::extension::BinomialExtensionField<p3_baby_bear::BabyBear, 4>, p3_merkle_tree::FieldMerkleTreeMmcs<p3_baby_bear::BabyBear, u8, p3_symmetric::SerializingHasher32<p3_keccak::Keccak256Hash>, p3_symmetric::CompressionFunctionFromHasher<u8, p3_keccak::Keccak256Hash, 2, 32>, 32>>>, p3_field::extension::BinomialExtensionField<p3_baby_bear::BabyBear, 4>, p3_challenger::SerializingChallenger32<p3_baby_bear::BabyBear, p3_challenger::HashChallenger<u8, p3_keccak::Keccak256Hash, 32>>> as p3_uni_stark::StarkGenericConfig>::Pcs as p3_commit::Pcs<<p3_uni_stark::StarkConfig<p3_fri::TwoAdicFriPcs<p3_baby_bear::BabyBear, p3_dft::Radix2DitParallel, p3_merkle_tree::FieldMerkleTreeMmcs<p3_baby_bear::BabyBear, u8, p3_symmetric::SerializingHasher32<p3_keccak::Keccak256Hash>, p3_symmetric::CompressionFunctionFromHasher<u8, p3_keccak::Keccak256Hash, 2, 32>, 32>, p3_commit::ExtensionMmcs<p3_baby_bear::BabyBear, p3_field::extension::BinomialExtensionField<p3_baby_bear::BabyBear, 4>, p3_merkle_tree::FieldMerkleTreeMmcs<p3_baby_bear::BabyBear, u8, p3_symmetric::SerializingHasher32<p3_keccak::Keccak256Hash>, p3_symmetric::CompressionFunctionFromHasher<u8, p3_keccak::Keccak256Hash, 2, 32>, 32>>>, p3_field::extension::BinomialExtensionField<p3_baby_bear::BabyBear, 4>, p3_challenger::SerializingChallenger32<p3_baby_bear::BabyBear, p3_challenger::HashChallenger<u8, p3_keccak::Keccak256Hash, 32>>> as p3_uni_stark::StarkGenericConfig>::Challenge, <p3_uni_stark::StarkConfig<p3_fri::TwoAdicFriPcs<p3_baby_bear::BabyBear, p3_dft::Radix2DitParallel, p3_merkle_tree::FieldMerkleTreeMmcs<p3_baby_bear::BabyBear, u8, p3_symmetric::SerializingHasher32<p3_keccak::Keccak256Hash>, p3_symmetric::CompressionFunctionFromHasher<u8, p3_keccak::Keccak256Hash, 2, 32>, 32>, p3_commit::ExtensionMmcs<p3_baby_bear::BabyBear, p3_field::extension::BinomialExtensionField<p3_baby_bear::BabyBear, 4>, p3_merkle_tree::FieldMerkleTreeMmcs<p3_baby_bear::BabyBear, u8, p3_symmetric::SerializingHasher32<p3_keccak::Keccak256Hash>, p3_symmetric::CompressionFunctionFromHasher<u8, p3_keccak::Keccak256Hash, 2, 32>, 32>>>, p3_field::extension::BinomialExtensionField<p3_baby_bear::BabyBear, 4>, p3_challenger::SerializingChallenger32<p3_baby_bear::BabyBear, p3_challenger::HashChallenger<u8, p3_keccak::Keccak256Hash, 32>>> as p3_uni_stark::StarkGenericConfig>::Challenger>>::Domain as p3_commit::PolynomialSpace>::Val as std::ops::MulAssign>, polarity:Positive), bound_vars: [] }`, old=Binder { value: TraitPredicate(<p3_baby_bear::BabyBear as std::ops::MulAssign>, polarity:Positive), bound_vars: [] }, next=None
[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] error: inconsistency during normalizing env `Binder { value: ProjectionPredicate(AliasTerm { args: [Alias(Projection, AliasTy { args: [Alias(Projection, AliasTy { args: [Alias(Projection, AliasTy { args: [p3_uni_stark::StarkConfig<p3_fri::TwoAdicFriPcs<p3_baby_bear::BabyBear, p3_dft::Radix2DitParallel, p3_merkle_tree::FieldMerkleTreeMmcs<p3_baby_bear::BabyBear, u8, p3_symmetric::SerializingHasher32<p3_keccak::Keccak256Hash>, p3_symmetric::CompressionFunctionFromHasher<u8, p3_keccak::Keccak256Hash, 2_usize, 32_usize>, 32_usize>, p3_commit::ExtensionMmcs<p3_baby_bear::BabyBear, p3_field::extension::BinomialExtensionField<p3_baby_bear::BabyBear, 4_usize>, p3_merkle_tree::FieldMerkleTreeMmcs<p3_baby_bear::BabyBear, u8, p3_symmetric::SerializingHasher32<p3_keccak::Keccak256Hash>, p3_symmetric::CompressionFunctionFromHasher<u8, p3_keccak::Keccak256Hash, 2_usize, 32_usize>, 32_usize>>>, p3_field::extension::BinomialExtensionField<p3_baby_bear::BabyBear, 4_usize>, p3_challenger::SerializingChallenger32<p3_baby_bear::BabyBear, p3_challenger::HashChallenger<u8, p3_keccak::Keccak256Hash, 32_usize>>>], def_id: DefId(52:25 ~ p3_uni_stark[88bb]::config::StarkGenericConfig::Pcs), .. }), Alias(Projection, AliasTy { args: [p3_uni_stark::StarkConfig<p3_fri::TwoAdicFriPcs<p3_baby_bear::BabyBear, p3_dft::Radix2DitParallel, p3_merkle_tree::FieldMerkleTreeMmcs<p3_baby_bear::BabyBear, u8, p3_symmetric::SerializingHasher32<p3_keccak::Keccak256Hash>, p3_symmetric::CompressionFunctionFromHasher<u8, p3_keccak::Keccak256Hash, 2_usize, 32_usize>, 32_usize>, p3_commit::ExtensionMmcs<p3_baby_bear::BabyBear, p3_field::extension::BinomialExtensionField<p3_baby_bear::BabyBear, 4_usize>, p3_merkle_tree::FieldMerkleTreeMmcs<p3_baby_bear::BabyBear, u8, p3_symmetric::SerializingHasher32<p3_keccak::Keccak256Hash>, p3_symmetric::CompressionFunctionFromHasher<u8, p3_keccak::Keccak256Hash, 2_usize, 32_usize>, 32_usize>>>, p3_field::extension::BinomialExtensionField<p3_baby_bear::BabyBear, 4_usize>, p3_challenger::SerializingChallenger32<p3_baby_bear::BabyBear, p3_challenger::HashChallenger<u8, p3_keccak::Keccak256Hash, 32_usize>>>], def_id: DefId(52:26 ~ p3_uni_stark[88bb]::config::StarkGenericConfig::Challenge), .. }), Alias(Projection, AliasTy { args: [p3_uni_stark::StarkConfig<p3_fri::TwoAdicFriPcs<p3_baby_bear::BabyBear, p3_dft::Radix2DitParallel, p3_merkle_tree::FieldMerkleTreeMmcs<p3_baby_bear::BabyBear, u8, p3_symmetric::SerializingHasher32<p3_keccak::Keccak256Hash>, p3_symmetric::CompressionFunctionFromHasher<u8, p3_keccak::Keccak256Hash, 2_usize, 32_usize>, 32_usize>, p3_commit::ExtensionMmcs<p3_baby_bear::BabyBear, p3_field::extension::BinomialExtensionField<p3_baby_bear::BabyBear, 4_usize>, p3_merkle_tree::FieldMerkleTreeMmcs<p3_baby_bear::BabyBear, u8, p3_symmetric::SerializingHasher32<p3_keccak::Keccak256Hash>, p3_symmetric::CompressionFunctionFromHasher<u8, p3_keccak::Keccak256Hash, 2_usize, 32_usize>, 32_usize>>>, p3_field::extension::BinomialExtensionField<p3_baby_bear::BabyBear, 4_usize>, p3_challenger::SerializingChallenger32<p3_baby_bear::BabyBear, p3_challenger::HashChallenger<u8, p3_keccak::Keccak256Hash, 32_usize>>>], def_id: DefId(52:27 ~ p3_uni_stark[88bb]::config::StarkGenericConfig::Challenger), .. })], def_id: DefId(55:145 ~ p3_commit[1d17]::pcs::Pcs::Domain), .. })], def_id: DefId(55:59 ~ p3_commit[1d17]::domain::PolynomialSpace::Val), .. }), Alias(Projection, AliasTy { args: [Alias(Projection, AliasTy { args: [Alias(Projection, AliasTy { args: [p3_uni_stark::StarkConfig<p3_fri::TwoAdicFriPcs<p3_baby_bear::BabyBear, p3_dft::Radix2DitParallel, p3_merkle_tree::FieldMerkleTreeMmcs<p3_baby_bear::BabyBear, u8, p3_symmetric::SerializingHasher32<p3_keccak::Keccak256Hash>, p3_symmetric::CompressionFunctionFromHasher<u8, p3_keccak::Keccak256Hash, 2_usize, 32_usize>, 32_usize>, p3_commit::ExtensionMmcs<p3_baby_bear::BabyBear, p3_field::extension::BinomialExtensionField<p3_baby_bear::BabyBear, 4_usize>, p3_merkle_tree::FieldMerkleTreeMmcs<p3_baby_bear::BabyBear, u8, p3_symmetric::SerializingHasher32<p3_keccak::Keccak256Hash>, p3_symmetric::CompressionFunctionFromHasher<u8, p3_keccak::Keccak256Hash, 2_usize, 32_usize>, 32_usize>>>, p3_field::extension::BinomialExtensionField<p3_baby_bear::BabyBear, 4_usize>, p3_challenger::SerializingChallenger32<p3_baby_bear::BabyBear, p3_challenger::HashChallenger<u8, p3_keccak::Keccak256Hash, 32_usize>>>], def_id: DefId(52:25 ~ p3_uni_stark[88bb]::config::StarkGenericConfig::Pcs), .. }), Alias(Projection, AliasTy { args: [p3_uni_stark::StarkConfig<p3_fri::TwoAdicFriPcs<p3_baby_bear::BabyBear, p3_dft::Radix2DitParallel, p3_merkle_tree::FieldMerkleTreeMmcs<p3_baby_bear::BabyBear, u8, p3_symmetric::SerializingHasher32<p3_keccak::Keccak256Hash>, p3_symmetric::CompressionFunctionFromHasher<u8, p3_keccak::Keccak256Hash, 2_usize, 32_usize>, 32_usize>, p3_commit::ExtensionMmcs<p3_baby_bear::BabyBear, p3_field::extension::BinomialExtensionField<p3_baby_bear::BabyBear, 4_usize>, p3_merkle_tree::FieldMerkleTreeMmcs<p3_baby_bear::BabyBear, u8, p3_symmetric::SerializingHasher32<p3_keccak::Keccak256Hash>, p3_symmetric::CompressionFunctionFromHasher<u8, p3_keccak::Keccak256Hash, 2_usize, 32_usize>, 32_usize>>>, p3_field::extension::BinomialExtensionField<p3_baby_bear::BabyBear, 4_usize>, p3_challenger::SerializingChallenger32<p3_baby_bear::BabyBear, p3_challenger::HashChallenger<u8, p3_keccak::Keccak256Hash, 32_usize>>>], def_id: DefId(52:26 ~ p3_uni_stark[88bb]::config::StarkGenericConfig::Challenge), .. }), Alias(Projection, AliasTy { args: [p3_uni_stark::StarkConfig<p3_fri::TwoAdicFriPcs<p3_baby_bear::BabyBear, p3_dft::Radix2DitParallel, p3_merkle_tree::FieldMerkleTreeMmcs<p3_baby_bear::BabyBear, u8, p3_symmetric::SerializingHasher32<p3_keccak::Keccak256Hash>, p3_symmetric::CompressionFunctionFromHasher<u8, p3_keccak::Keccak256Hash, 2_usize, 32_usize>, 32_usize>, p3_commit::ExtensionMmcs<p3_baby_bear::BabyBear, p3_field::extension::BinomialExtensionField<p3_baby_bear::BabyBear, 4_usize>, p3_merkle_tree::FieldMerkleTreeMmcs<p3_baby_bear::BabyBear, u8, p3_symmetric::SerializingHasher32<p3_keccak::Keccak256Hash>, p3_symmetric::CompressionFunctionFromHasher<u8, p3_keccak::Keccak256Hash, 2_usize, 32_usize>, 32_usize>>>, p3_field::extension::BinomialExtensionField<p3_baby_bear::BabyBear, 4_usize>, p3_challenger::SerializingChallenger32<p3_baby_bear::BabyBear, p3_challenger::HashChallenger<u8, p3_keccak::Keccak256Hash, 32_usize>>>], def_id: DefId(52:27 ~ p3_uni_stark[88bb]::config::StarkGenericConfig::Challenger), .. })], def_id: DefId(55:145 ~ p3_commit[1d17]::pcs::Pcs::Domain), .. })], def_id: DefId(55:59 ~ p3_commit[1d17]::domain::PolynomialSpace::Val), .. })], def_id: DefId(2:39143 ~ core[6c5d]::ops::arith::Mul::Output), .. }, Term::Ty(Alias(Projection, AliasTy { args: [Alias(Projection, AliasTy { args: [Alias(Projection, AliasTy { args: [p3_uni_stark::StarkConfig<p3_fri::TwoAdicFriPcs<p3_baby_bear::BabyBear, p3_dft::Radix2DitParallel, p3_merkle_tree::FieldMerkleTreeMmcs<p3_baby_bear::BabyBear, u8, p3_symmetric::SerializingHasher32<p3_keccak::Keccak256Hash>, p3_symmetric::CompressionFunctionFromHasher<u8, p3_keccak::Keccak256Hash, 2_usize, 32_usize>, 32_usize>, p3_commit::ExtensionMmcs<p3_baby_bear::BabyBear, p3_field::extension::BinomialExtensionField<p3_baby_bear::BabyBear, 4_usize>, p3_merkle_tree::FieldMerkleTreeMmcs<p3_baby_bear::BabyBear, u8, p3_symmetric::SerializingHasher32<p3_keccak::Keccak256Hash>, p3_symmetric::CompressionFunctionFromHasher<u8, p3_keccak::Keccak256Hash, 2_usize, 32_usize>, 32_usize>>>, p3_field::extension::BinomialExtensionField<p3_baby_bear::BabyBear, 4_usize>, p3_challenger::SerializingChallenger32<p3_baby_bear::BabyBear, p3_challenger::HashChallenger<u8, p3_keccak::Keccak256Hash, 32_usize>>>], def_id: DefId(52:25 ~ p3_uni_stark[88bb]::config::StarkGenericConfig::Pcs), .. }), Alias(Projection, AliasTy { args: [p3_uni_stark::StarkConfig<p3_fri::TwoAdicFriPcs<p3_baby_bear::BabyBear, p3_dft::Radix2DitParallel, p3_merkle_tree::FieldMerkleTreeMmcs<p3_baby_bear::BabyBear, u8, p3_symmetric::SerializingHasher32<p3_keccak::Keccak256Hash>, p3_symmetric::CompressionFunctionFromHasher<u8, p3_keccak::Keccak256Hash, 2_usize, 32_usize>, 32_usize>, p3_commit::ExtensionMmcs<p3_baby_bear::BabyBear, p3_field::extension::BinomialExtensionField<p3_baby_bear::BabyBear, 4_usize>, p3_merkle_tree::FieldMerkleTreeMmcs<p3_baby_bear::BabyBear, u8, p3_symmetric::SerializingHasher32<p3_keccak::Keccak256Hash>, p3_symmetric::CompressionFunctionFromHasher<u8, p3_keccak::Keccak256Hash, 2_usize, 32_usize>, 32_usize>>>, p3_field::extension::BinomialExtensionField<p3_baby_bear::BabyBear, 4_usize>, p3_challenger::SerializingChallenger32<p3_baby_bear::BabyBear, p3_challenger::HashChallenger<u8, p3_keccak::Keccak256Hash, 32_usize>>>], def_id: DefId(52:26 ~ p3_uni_stark[88bb]::config::StarkGenericConfig::Challenge), .. }), Alias(Projection, AliasTy { args: [p3_uni_stark::StarkConfig<p3_fri::TwoAdicFriPcs<p3_baby_bear::BabyBear, p3_dft::Radix2DitParallel, p3_merkle_tree::FieldMerkleTreeMmcs<p3_baby_bear::BabyBear, u8, p3_symmetric::SerializingHasher32<p3_keccak::Keccak256Hash>, p3_symmetric::CompressionFunctionFromHasher<u8, p3_keccak::Keccak256Hash, 2_usize, 32_usize>, 32_usize>, p3_commit::ExtensionMmcs<p3_baby_bear::BabyBear, p3_field::extension::BinomialExtensionField<p3_baby_bear::BabyBear, 4_usize>, p3_merkle_tree::FieldMerkleTreeMmcs<p3_baby_bear::BabyBear, u8, p3_symmetric::SerializingHasher32<p3_keccak::Keccak256Hash>, p3_symmetric::CompressionFunctionFromHasher<u8, p3_keccak::Keccak256Hash, 2_usize, 32_usize>, 32_usize>>>, p3_field::extension::BinomialExtensionField<p3_baby_bear::BabyBear, 4_usize>, p3_challenger::SerializingChallenger32<p3_baby_bear::BabyBear, p3_challenger::HashChallenger<u8, p3_keccak::Keccak256Hash, 32_usize>>>], def_id: DefId(52:27 ~ p3_uni_stark[88bb]::config::StarkGenericConfig::Challenger), .. })], def_id: DefId(55:145 ~ p3_commit[1d17]::pcs::Pcs::Domain), .. })], def_id: DefId(55:59 ~ p3_commit[1d17]::domain::PolynomialSpace::Val), .. }))), bound_vars: [] }`, old=Binder { value: ProjectionPredicate(AliasTerm { args: [p3_baby_bear::BabyBear, p3_baby_bear::BabyBear], def_id: DefId(2:39143 ~ core[6c5d]::ops::arith::Mul::Output), .. }, Term::Ty(p3_baby_bear::BabyBear)), bound_vars: [] }, next=None
[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] error: inconsistency during normalizing env `Binder { value: TraitPredicate(<<<<p3_uni_stark::StarkConfig<p3_fri::TwoAdicFriPcs<p3_baby_bear::BabyBear, p3_dft::Radix2DitParallel, p3_merkle_tree::FieldMerkleTreeMmcs<p3_baby_bear::BabyBear, u8, p3_symmetric::SerializingHasher32<p3_keccak::Keccak256Hash>, p3_symmetric::CompressionFunctionFromHasher<u8, p3_keccak::Keccak256Hash, 2, 32>, 32>, p3_commit::ExtensionMmcs<p3_baby_bear::BabyBear, p3_field::extension::BinomialExtensionField<p3_baby_bear::BabyBear, 4>, p3_merkle_tree::FieldMerkleTreeMmcs<p3_baby_bear::BabyBear, u8, p3_symmetric::SerializingHasher32<p3_keccak::Keccak256Hash>, p3_symmetric::CompressionFunctionFromHasher<u8, p3_keccak::Keccak256Hash, 2, 32>, 32>>>, p3_field::extension::BinomialExtensionField<p3_baby_bear::BabyBear, 4>, p3_challenger::SerializingChallenger32<p3_baby_bear::BabyBear, p3_challenger::HashChallenger<u8, p3_keccak::Keccak256Hash, 32>>> as p3_uni_stark::StarkGenericConfig>::Pcs as p3_commit::Pcs<<p3_uni_stark::StarkConfig<p3_fri::TwoAdicFriPcs<p3_baby_bear::BabyBear, p3_dft::Radix2DitParallel, p3_merkle_tree::FieldMerkleTreeMmcs<p3_baby_bear::BabyBear, u8, p3_symmetric::SerializingHasher32<p3_keccak::Keccak256Hash>, p3_symmetric::CompressionFunctionFromHasher<u8, p3_keccak::Keccak256Hash, 2, 32>, 32>, p3_commit::ExtensionMmcs<p3_baby_bear::BabyBear, p3_field::extension::BinomialExtensionField<p3_baby_bear::BabyBear, 4>, p3_merkle_tree::FieldMerkleTreeMmcs<p3_baby_bear::BabyBear, u8, p3_symmetric::SerializingHasher32<p3_keccak::Keccak256Hash>, p3_symmetric::CompressionFunctionFromHasher<u8, p3_keccak::Keccak256Hash, 2, 32>, 32>>>, p3_field::extension::BinomialExtensionField<p3_baby_bear::BabyBear, 4>, p3_challenger::SerializingChallenger32<p3_baby_bear::BabyBear, p3_challenger::HashChallenger<u8, p3_keccak::Keccak256Hash, 32>>> as p3_uni_stark::StarkGenericConfig>::Challenge, <p3_uni_stark::StarkConfig<p3_fri::TwoAdicFriPcs<p3_baby_bear::BabyBear, p3_dft::Radix2DitParallel, p3_merkle_tree::FieldMerkleTreeMmcs<p3_baby_bear::BabyBear, u8, p3_symmetric::SerializingHasher32<p3_keccak::Keccak256Hash>, p3_symmetric::CompressionFunctionFromHasher<u8, p3_keccak::Keccak256Hash, 2, 32>, 32>, p3_commit::ExtensionMmcs<p3_baby_bear::BabyBear, p3_field::extension::BinomialExtensionField<p3_baby_bear::BabyBear, 4>, p3_merkle_tree::FieldMerkleTreeMmcs<p3_baby_bear::BabyBear, u8, p3_symmetric::SerializingHasher32<p3_keccak::Keccak256Hash>, p3_symmetric::CompressionFunctionFromHasher<u8, p3_keccak::Keccak256Hash, 2, 32>, 32>>>, p3_field::extension::BinomialExtensionField<p3_baby_bear::BabyBear, 4>, p3_challenger::SerializingChallenger32<p3_baby_bear::BabyBear, p3_challenger::HashChallenger<u8, p3_keccak::Keccak256Hash, 32>>> as p3_uni_stark::StarkGenericConfig>::Challenger>>::Domain as p3_commit::PolynomialSpace>::Val as std::ops::Mul>, polarity:Positive), bound_vars: [] }`, old=Binder { value: TraitPredicate(<p3_baby_bear::BabyBear as std::ops::Mul>, polarity:Positive), bound_vars: [] }, next=None
[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] error: inconsistency during normalizing env `Binder { value: ProjectionPredicate(AliasTerm { args: [Alias(Projection, AliasTy { args: [Alias(Projection, AliasTy { args: [Alias(Projection, AliasTy { args: [p3_uni_stark::StarkConfig<p3_fri::TwoAdicFriPcs<p3_baby_bear::BabyBear, p3_dft::Radix2DitParallel, p3_merkle_tree::FieldMerkleTreeMmcs<p3_baby_bear::BabyBear, u8, p3_symmetric::SerializingHasher32<p3_keccak::Keccak256Hash>, p3_symmetric::CompressionFunctionFromHasher<u8, p3_keccak::Keccak256Hash, 2_usize, 32_usize>, 32_usize>, p3_commit::ExtensionMmcs<p3_baby_bear::BabyBear, p3_field::extension::BinomialExtensionField<p3_baby_bear::BabyBear, 4_usize>, p3_merkle_tree::FieldMerkleTreeMmcs<p3_baby_bear::BabyBear, u8, p3_symmetric::SerializingHasher32<p3_keccak::Keccak256Hash>, p3_symmetric::CompressionFunctionFromHasher<u8, p3_keccak::Keccak256Hash, 2_usize, 32_usize>, 32_usize>>>, p3_field::extension::BinomialExtensionField<p3_baby_bear::BabyBear, 4_usize>, p3_challenger::SerializingChallenger32<p3_baby_bear::BabyBear, p3_challenger::HashChallenger<u8, p3_keccak::Keccak256Hash, 32_usize>>>], def_id: DefId(52:25 ~ p3_uni_stark[88bb]::config::StarkGenericConfig::Pcs), .. }), Alias(Projection, AliasTy { args: [p3_uni_stark::StarkConfig<p3_fri::TwoAdicFriPcs<p3_baby_bear::BabyBear, p3_dft::Radix2DitParallel, p3_merkle_tree::FieldMerkleTreeMmcs<p3_baby_bear::BabyBear, u8, p3_symmetric::SerializingHasher32<p3_keccak::Keccak256Hash>, p3_symmetric::CompressionFunctionFromHasher<u8, p3_keccak::Keccak256Hash, 2_usize, 32_usize>, 32_usize>, p3_commit::ExtensionMmcs<p3_baby_bear::BabyBear, p3_field::extension::BinomialExtensionField<p3_baby_bear::BabyBear, 4_usize>, p3_merkle_tree::FieldMerkleTreeMmcs<p3_baby_bear::BabyBear, u8, p3_symmetric::SerializingHasher32<p3_keccak::Keccak256Hash>, p3_symmetric::CompressionFunctionFromHasher<u8, p3_keccak::Keccak256Hash, 2_usize, 32_usize>, 32_usize>>>, p3_field::extension::BinomialExtensionField<p3_baby_bear::BabyBear, 4_usize>, p3_challenger::SerializingChallenger32<p3_baby_bear::BabyBear, p3_challenger::HashChallenger<u8, p3_keccak::Keccak256Hash, 32_usize>>>], def_id: DefId(52:26 ~ p3_uni_stark[88bb]::config::StarkGenericConfig::Challenge), .. }), Alias(Projection, AliasTy { args: [p3_uni_stark::StarkConfig<p3_fri::TwoAdicFriPcs<p3_baby_bear::BabyBear, p3_dft::Radix2DitParallel, p3_merkle_tree::FieldMerkleTreeMmcs<p3_baby_bear::BabyBear, u8, p3_symmetric::SerializingHasher32<p3_keccak::Keccak256Hash>, p3_symmetric::CompressionFunctionFromHasher<u8, p3_keccak::Keccak256Hash, 2_usize, 32_usize>, 32_usize>, p3_commit::ExtensionMmcs<p3_baby_bear::BabyBear, p3_field::extension::BinomialExtensionField<p3_baby_bear::BabyBear, 4_usize>, p3_merkle_tree::FieldMerkleTreeMmcs<p3_baby_bear::BabyBear, u8, p3_symmetric::SerializingHasher32<p3_keccak::Keccak256Hash>, p3_symmetric::CompressionFunctionFromHasher<u8, p3_keccak::Keccak256Hash, 2_usize, 32_usize>, 32_usize>>>, p3_field::extension::BinomialExtensionField<p3_baby_bear::BabyBear, 4_usize>, p3_challenger::SerializingChallenger32<p3_baby_bear::BabyBear, p3_challenger::HashChallenger<u8, p3_keccak::Keccak256Hash, 32_usize>>>], def_id: DefId(52:27 ~ p3_uni_stark[88bb]::config::StarkGenericConfig::Challenger), .. })], def_id: DefId(55:145 ~ p3_commit[1d17]::pcs::Pcs::Domain), .. })], def_id: DefId(55:59 ~ p3_commit[1d17]::domain::PolynomialSpace::Val), .. })], def_id: DefId(2:3956 ~ core[6c5d]::ops::arith::Neg::Output), .. }, Term::Ty(Alias(Projection, AliasTy { args: [Alias(Projection, AliasTy { args: [Alias(Projection, AliasTy { args: [p3_uni_stark::StarkConfig<p3_fri::TwoAdicFriPcs<p3_baby_bear::BabyBear, p3_dft::Radix2DitParallel, p3_merkle_tree::FieldMerkleTreeMmcs<p3_baby_bear::BabyBear, u8, p3_symmetric::SerializingHasher32<p3_keccak::Keccak256Hash>, p3_symmetric::CompressionFunctionFromHasher<u8, p3_keccak::Keccak256Hash, 2_usize, 32_usize>, 32_usize>, p3_commit::ExtensionMmcs<p3_baby_bear::BabyBear, p3_field::extension::BinomialExtensionField<p3_baby_bear::BabyBear, 4_usize>, p3_merkle_tree::FieldMerkleTreeMmcs<p3_baby_bear::BabyBear, u8, p3_symmetric::SerializingHasher32<p3_keccak::Keccak256Hash>, p3_symmetric::CompressionFunctionFromHasher<u8, p3_keccak::Keccak256Hash, 2_usize, 32_usize>, 32_usize>>>, p3_field::extension::BinomialExtensionField<p3_baby_bear::BabyBear, 4_usize>, p3_challenger::SerializingChallenger32<p3_baby_bear::BabyBear, p3_challenger::HashChallenger<u8, p3_keccak::Keccak256Hash, 32_usize>>>], def_id: DefId(52:25 ~ p3_uni_stark[88bb]::config::StarkGenericConfig::Pcs), .. }), Alias(Projection, AliasTy { args: [p3_uni_stark::StarkConfig<p3_fri::TwoAdicFriPcs<p3_baby_bear::BabyBear, p3_dft::Radix2DitParallel, p3_merkle_tree::FieldMerkleTreeMmcs<p3_baby_bear::BabyBear, u8, p3_symmetric::SerializingHasher32<p3_keccak::Keccak256Hash>, p3_symmetric::CompressionFunctionFromHasher<u8, p3_keccak::Keccak256Hash, 2_usize, 32_usize>, 32_usize>, p3_commit::ExtensionMmcs<p3_baby_bear::BabyBear, p3_field::extension::BinomialExtensionField<p3_baby_bear::BabyBear, 4_usize>, p3_merkle_tree::FieldMerkleTreeMmcs<p3_baby_bear::BabyBear, u8, p3_symmetric::SerializingHasher32<p3_keccak::Keccak256Hash>, p3_symmetric::CompressionFunctionFromHasher<u8, p3_keccak::Keccak256Hash, 2_usize, 32_usize>, 32_usize>>>, p3_field::extension::BinomialExtensionField<p3_baby_bear::BabyBear, 4_usize>, p3_challenger::SerializingChallenger32<p3_baby_bear::BabyBear, p3_challenger::HashChallenger<u8, p3_keccak::Keccak256Hash, 32_usize>>>], def_id: DefId(52:26 ~ p3_uni_stark[88bb]::config::StarkGenericConfig::Challenge), .. }), Alias(Projection, AliasTy { args: [p3_uni_stark::StarkConfig<p3_fri::TwoAdicFriPcs<p3_baby_bear::BabyBear, p3_dft::Radix2DitParallel, p3_merkle_tree::FieldMerkleTreeMmcs<p3_baby_bear::BabyBear, u8, p3_symmetric::SerializingHasher32<p3_keccak::Keccak256Hash>, p3_symmetric::CompressionFunctionFromHasher<u8, p3_keccak::Keccak256Hash, 2_usize, 32_usize>, 32_usize>, p3_commit::ExtensionMmcs<p3_baby_bear::BabyBear, p3_field::extension::BinomialExtensionField<p3_baby_bear::BabyBear, 4_usize>, p3_merkle_tree::FieldMerkleTreeMmcs<p3_baby_bear::BabyBear, u8, p3_symmetric::SerializingHasher32<p3_keccak::Keccak256Hash>, p3_symmetric::CompressionFunctionFromHasher<u8, p3_keccak::Keccak256Hash, 2_usize, 32_usize>, 32_usize>>>, p3_field::extension::BinomialExtensionField<p3_baby_bear::BabyBear, 4_usize>, p3_challenger::SerializingChallenger32<p3_baby_bear::BabyBear, p3_challenger::HashChallenger<u8, p3_keccak::Keccak256Hash, 32_usize>>>], def_id: DefId(52:27 ~ p3_uni_stark[88bb]::config::StarkGenericConfig::Challenger), .. })], def_id: DefId(55:145 ~ p3_commit[1d17]::pcs::Pcs::Domain), .. })], def_id: DefId(55:59 ~ p3_commit[1d17]::domain::PolynomialSpace::Val), .. }))), bound_vars: [] }`, old=Binder { value: ProjectionPredicate(AliasTerm { args: [p3_baby_bear::BabyBear], def_id: DefId(2:3956 ~ core[6c5d]::ops::arith::Neg::Output), .. }, Term::Ty(p3_baby_bear::BabyBear)), bound_vars: [] }, next=None
[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] error: inconsistency during normalizing env `Binder { value: TraitPredicate(<<<<p3_uni_stark::StarkConfig<p3_fri::TwoAdicFriPcs<p3_baby_bear::BabyBear, p3_dft::Radix2DitParallel, p3_merkle_tree::FieldMerkleTreeMmcs<p3_baby_bear::BabyBear, u8, p3_symmetric::SerializingHasher32<p3_keccak::Keccak256Hash>, p3_symmetric::CompressionFunctionFromHasher<u8, p3_keccak::Keccak256Hash, 2, 32>, 32>, p3_commit::ExtensionMmcs<p3_baby_bear::BabyBear, p3_field::extension::BinomialExtensionField<p3_baby_bear::BabyBear, 4>, p3_merkle_tree::FieldMerkleTreeMmcs<p3_baby_bear::BabyBear, u8, p3_symmetric::SerializingHasher32<p3_keccak::Keccak256Hash>, p3_symmetric::CompressionFunctionFromHasher<u8, p3_keccak::Keccak256Hash, 2, 32>, 32>>>, p3_field::extension::BinomialExtensionField<p3_baby_bear::BabyBear, 4>, p3_challenger::SerializingChallenger32<p3_baby_bear::BabyBear, p3_challenger::HashChallenger<u8, p3_keccak::Keccak256Hash, 32>>> as p3_uni_stark::StarkGenericConfig>::Pcs as p3_commit::Pcs<<p3_uni_stark::StarkConfig<p3_fri::TwoAdicFriPcs<p3_baby_bear::BabyBear, p3_dft::Radix2DitParallel, p3_merkle_tree::FieldMerkleTreeMmcs<p3_baby_bear::BabyBear, u8, p3_symmetric::SerializingHasher32<p3_keccak::Keccak256Hash>, p3_symmetric::CompressionFunctionFromHasher<u8, p3_keccak::Keccak256Hash, 2, 32>, 32>, p3_commit::ExtensionMmcs<p3_baby_bear::BabyBear, p3_field::extension::BinomialExtensionField<p3_baby_bear::BabyBear, 4>, p3_merkle_tree::FieldMerkleTreeMmcs<p3_baby_bear::BabyBear, u8, p3_symmetric::SerializingHasher32<p3_keccak::Keccak256Hash>, p3_symmetric::CompressionFunctionFromHasher<u8, p3_keccak::Keccak256Hash, 2, 32>, 32>>>, p3_field::extension::BinomialExtensionField<p3_baby_bear::BabyBear, 4>, p3_challenger::SerializingChallenger32<p3_baby_bear::BabyBear, p3_challenger::HashChallenger<u8, p3_keccak::Keccak256Hash, 32>>> as p3_uni_stark::StarkGenericConfig>::Challenge, <p3_uni_stark::StarkConfig<p3_fri::TwoAdicFriPcs<p3_baby_bear::BabyBear, p3_dft::Radix2DitParallel, p3_merkle_tree::FieldMerkleTreeMmcs<p3_baby_bear::BabyBear, u8, p3_symmetric::SerializingHasher32<p3_keccak::Keccak256Hash>, p3_symmetric::CompressionFunctionFromHasher<u8, p3_keccak::Keccak256Hash, 2, 32>, 32>, p3_commit::ExtensionMmcs<p3_baby_bear::BabyBear, p3_field::extension::BinomialExtensionField<p3_baby_bear::BabyBear, 4>, p3_merkle_tree::FieldMerkleTreeMmcs<p3_baby_bear::BabyBear, u8, p3_symmetric::SerializingHasher32<p3_keccak::Keccak256Hash>, p3_symmetric::CompressionFunctionFromHasher<u8, p3_keccak::Keccak256Hash, 2, 32>, 32>>>, p3_field::extension::BinomialExtensionField<p3_baby_bear::BabyBear, 4>, p3_challenger::SerializingChallenger32<p3_baby_bear::BabyBear, p3_challenger::HashChallenger<u8, p3_keccak::Keccak256Hash, 32>>> as p3_uni_stark::StarkGenericConfig>::Challenger>>::Domain as p3_commit::PolynomialSpace>::Val as std::ops::Neg>, polarity:Positive), bound_vars: [] }`, old=Binder { value: TraitPredicate(<p3_baby_bear::BabyBear as std::ops::Neg>, polarity:Positive), bound_vars: [] }, next=None
[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] error: inconsistency during normalizing env `Binder { value: TraitPredicate(<<<<p3_uni_stark::StarkConfig<p3_fri::TwoAdicFriPcs<p3_baby_bear::BabyBear, p3_dft::Radix2DitParallel, p3_merkle_tree::FieldMerkleTreeMmcs<p3_baby_bear::BabyBear, u8, p3_symmetric::SerializingHasher32<p3_keccak::Keccak256Hash>, p3_symmetric::CompressionFunctionFromHasher<u8, p3_keccak::Keccak256Hash, 2, 32>, 32>, p3_commit::ExtensionMmcs<p3_baby_bear::BabyBear, p3_field::extension::BinomialExtensionField<p3_baby_bear::BabyBear, 4>, p3_merkle_tree::FieldMerkleTreeMmcs<p3_baby_bear::BabyBear, u8, p3_symmetric::SerializingHasher32<p3_keccak::Keccak256Hash>, p3_symmetric::CompressionFunctionFromHasher<u8, p3_keccak::Keccak256Hash, 2, 32>, 32>>>, p3_field::extension::BinomialExtensionField<p3_baby_bear::BabyBear, 4>, p3_challenger::SerializingChallenger32<p3_baby_bear::BabyBear, p3_challenger::HashChallenger<u8, p3_keccak::Keccak256Hash, 32>>> as p3_uni_stark::StarkGenericConfig>::Pcs as p3_commit::Pcs<<p3_uni_stark::StarkConfig<p3_fri::TwoAdicFriPcs<p3_baby_bear::BabyBear, p3_dft::Radix2DitParallel, p3_merkle_tree::FieldMerkleTreeMmcs<p3_baby_bear::BabyBear, u8, p3_symmetric::SerializingHasher32<p3_keccak::Keccak256Hash>, p3_symmetric::CompressionFunctionFromHasher<u8, p3_keccak::Keccak256Hash, 2, 32>, 32>, p3_commit::ExtensionMmcs<p3_baby_bear::BabyBear, p3_field::extension::BinomialExtensionField<p3_baby_bear::BabyBear, 4>, p3_merkle_tree::FieldMerkleTreeMmcs<p3_baby_bear::BabyBear, u8, p3_symmetric::SerializingHasher32<p3_keccak::Keccak256Hash>, p3_symmetric::CompressionFunctionFromHasher<u8, p3_keccak::Keccak256Hash, 2, 32>, 32>>>, p3_field::extension::BinomialExtensionField<p3_baby_bear::BabyBear, 4>, p3_challenger::SerializingChallenger32<p3_baby_bear::BabyBear, p3_challenger::HashChallenger<u8, p3_keccak::Keccak256Hash, 32>>> as p3_uni_stark::StarkGenericConfig>::Challenge, <p3_uni_stark::StarkConfig<p3_fri::TwoAdicFriPcs<p3_baby_bear::BabyBear, p3_dft::Radix2DitParallel, p3_merkle_tree::FieldMerkleTreeMmcs<p3_baby_bear::BabyBear, u8, p3_symmetric::SerializingHasher32<p3_keccak::Keccak256Hash>, p3_symmetric::CompressionFunctionFromHasher<u8, p3_keccak::Keccak256Hash, 2, 32>, 32>, p3_commit::ExtensionMmcs<p3_baby_bear::BabyBear, p3_field::extension::BinomialExtensionField<p3_baby_bear::BabyBear, 4>, p3_merkle_tree::FieldMerkleTreeMmcs<p3_baby_bear::BabyBear, u8, p3_symmetric::SerializingHasher32<p3_keccak::Keccak256Hash>, p3_symmetric::CompressionFunctionFromHasher<u8, p3_keccak::Keccak256Hash, 2, 32>, 32>>>, p3_field::extension::BinomialExtensionField<p3_baby_bear::BabyBear, 4>, p3_challenger::SerializingChallenger32<p3_baby_bear::BabyBear, p3_challenger::HashChallenger<u8, p3_keccak::Keccak256Hash, 32>>> as p3_uni_stark::StarkGenericConfig>::Challenger>>::Domain as p3_commit::PolynomialSpace>::Val as std::ops::SubAssign>, polarity:Positive), bound_vars: [] }`, old=Binder { value: TraitPredicate(<p3_baby_bear::BabyBear as std::ops::SubAssign>, polarity:Positive), bound_vars: [] }, next=None
[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] error: inconsistency during normalizing env `Binder { value: ProjectionPredicate(AliasTerm { args: [Alias(Projection, AliasTy { args: [Alias(Projection, AliasTy { args: [Alias(Projection, AliasTy { args: [p3_uni_stark::StarkConfig<p3_fri::TwoAdicFriPcs<p3_baby_bear::BabyBear, p3_dft::Radix2DitParallel, p3_merkle_tree::FieldMerkleTreeMmcs<p3_baby_bear::BabyBear, u8, p3_symmetric::SerializingHasher32<p3_keccak::Keccak256Hash>, p3_symmetric::CompressionFunctionFromHasher<u8, p3_keccak::Keccak256Hash, 2_usize, 32_usize>, 32_usize>, p3_commit::ExtensionMmcs<p3_baby_bear::BabyBear, p3_field::extension::BinomialExtensionField<p3_baby_bear::BabyBear, 4_usize>, p3_merkle_tree::FieldMerkleTreeMmcs<p3_baby_bear::BabyBear, u8, p3_symmetric::SerializingHasher32<p3_keccak::Keccak256Hash>, p3_symmetric::CompressionFunctionFromHasher<u8, p3_keccak::Keccak256Hash, 2_usize, 32_usize>, 32_usize>>>, p3_field::extension::BinomialExtensionField<p3_baby_bear::BabyBear, 4_usize>, p3_challenger::SerializingChallenger32<p3_baby_bear::BabyBear, p3_challenger::HashChallenger<u8, p3_keccak::Keccak256Hash, 32_usize>>>], def_id: DefId(52:25 ~ p3_uni_stark[88bb]::config::StarkGenericConfig::Pcs), .. }), Alias(Projection, AliasTy { args: [p3_uni_stark::StarkConfig<p3_fri::TwoAdicFriPcs<p3_baby_bear::BabyBear, p3_dft::Radix2DitParallel, p3_merkle_tree::FieldMerkleTreeMmcs<p3_baby_bear::BabyBear, u8, p3_symmetric::SerializingHasher32<p3_keccak::Keccak256Hash>, p3_symmetric::CompressionFunctionFromHasher<u8, p3_keccak::Keccak256Hash, 2_usize, 32_usize>, 32_usize>, p3_commit::ExtensionMmcs<p3_baby_bear::BabyBear, p3_field::extension::BinomialExtensionField<p3_baby_bear::BabyBear, 4_usize>, p3_merkle_tree::FieldMerkleTreeMmcs<p3_baby_bear::BabyBear, u8, p3_symmetric::SerializingHasher32<p3_keccak::Keccak256Hash>, p3_symmetric::CompressionFunctionFromHasher<u8, p3_keccak::Keccak256Hash, 2_usize, 32_usize>, 32_usize>>>, p3_field::extension::BinomialExtensionField<p3_baby_bear::BabyBear, 4_usize>, p3_challenger::SerializingChallenger32<p3_baby_bear::BabyBear, p3_challenger::HashChallenger<u8, p3_keccak::Keccak256Hash, 32_usize>>>], def_id: DefId(52:26 ~ p3_uni_stark[88bb]::config::StarkGenericConfig::Challenge), .. }), Alias(Projection, AliasTy { args: [p3_uni_stark::StarkConfig<p3_fri::TwoAdicFriPcs<p3_baby_bear::BabyBear, p3_dft::Radix2DitParallel, p3_merkle_tree::FieldMerkleTreeMmcs<p3_baby_bear::BabyBear, u8, p3_symmetric::SerializingHasher32<p3_keccak::Keccak256Hash>, p3_symmetric::CompressionFunctionFromHasher<u8, p3_keccak::Keccak256Hash, 2_usize, 32_usize>, 32_usize>, p3_commit::ExtensionMmcs<p3_baby_bear::BabyBear, p3_field::extension::BinomialExtensionField<p3_baby_bear::BabyBear, 4_usize>, p3_merkle_tree::FieldMerkleTreeMmcs<p3_baby_bear::BabyBear, u8, p3_symmetric::SerializingHasher32<p3_keccak::Keccak256Hash>, p3_symmetric::CompressionFunctionFromHasher<u8, p3_keccak::Keccak256Hash, 2_usize, 32_usize>, 32_usize>>>, p3_field::extension::BinomialExtensionField<p3_baby_bear::BabyBear, 4_usize>, p3_challenger::SerializingChallenger32<p3_baby_bear::BabyBear, p3_challenger::HashChallenger<u8, p3_keccak::Keccak256Hash, 32_usize>>>], def_id: DefId(52:27 ~ p3_uni_stark[88bb]::config::StarkGenericConfig::Challenger), .. })], def_id: DefId(55:145 ~ p3_commit[1d17]::pcs::Pcs::Domain), .. })], def_id: DefId(55:59 ~ p3_commit[1d17]::domain::PolynomialSpace::Val), .. }), Alias(Projection, AliasTy { args: [Alias(Projection, AliasTy { args: [Alias(Projection, AliasTy { args: [p3_uni_stark::StarkConfig<p3_fri::TwoAdicFriPcs<p3_baby_bear::BabyBear, p3_dft::Radix2DitParallel, p3_merkle_tree::FieldMerkleTreeMmcs<p3_baby_bear::BabyBear, u8, p3_symmetric::SerializingHasher32<p3_keccak::Keccak256Hash>, p3_symmetric::CompressionFunctionFromHasher<u8, p3_keccak::Keccak256Hash, 2_usize, 32_usize>, 32_usize>, p3_commit::ExtensionMmcs<p3_baby_bear::BabyBear, p3_field::extension::BinomialExtensionField<p3_baby_bear::BabyBear, 4_usize>, p3_merkle_tree::FieldMerkleTreeMmcs<p3_baby_bear::BabyBear, u8, p3_symmetric::SerializingHasher32<p3_keccak::Keccak256Hash>, p3_symmetric::CompressionFunctionFromHasher<u8, p3_keccak::Keccak256Hash, 2_usize, 32_usize>, 32_usize>>>, p3_field::extension::BinomialExtensionField<p3_baby_bear::BabyBear, 4_usize>, p3_challenger::SerializingChallenger32<p3_baby_bear::BabyBear, p3_challenger::HashChallenger<u8, p3_keccak::Keccak256Hash, 32_usize>>>], def_id: DefId(52:25 ~ p3_uni_stark[88bb]::config::StarkGenericConfig::Pcs), .. }), Alias(Projection, AliasTy { args: [p3_uni_stark::StarkConfig<p3_fri::TwoAdicFriPcs<p3_baby_bear::BabyBear, p3_dft::Radix2DitParallel, p3_merkle_tree::FieldMerkleTreeMmcs<p3_baby_bear::BabyBear, u8, p3_symmetric::SerializingHasher32<p3_keccak::Keccak256Hash>, p3_symmetric::CompressionFunctionFromHasher<u8, p3_keccak::Keccak256Hash, 2_usize, 32_usize>, 32_usize>, p3_commit::ExtensionMmcs<p3_baby_bear::BabyBear, p3_field::extension::BinomialExtensionField<p3_baby_bear::BabyBear, 4_usize>, p3_merkle_tree::FieldMerkleTreeMmcs<p3_baby_bear::BabyBear, u8, p3_symmetric::SerializingHasher32<p3_keccak::Keccak256Hash>, p3_symmetric::CompressionFunctionFromHasher<u8, p3_keccak::Keccak256Hash, 2_usize, 32_usize>, 32_usize>>>, p3_field::extension::BinomialExtensionField<p3_baby_bear::BabyBear, 4_usize>, p3_challenger::SerializingChallenger32<p3_baby_bear::BabyBear, p3_challenger::HashChallenger<u8, p3_keccak::Keccak256Hash, 32_usize>>>], def_id: DefId(52:26 ~ p3_uni_stark[88bb]::config::StarkGenericConfig::Challenge), .. }), Alias(Projection, AliasTy { args: [p3_uni_stark::StarkConfig<p3_fri::TwoAdicFriPcs<p3_baby_bear::BabyBear, p3_dft::Radix2DitParallel, p3_merkle_tree::FieldMerkleTreeMmcs<p3_baby_bear::BabyBear, u8, p3_symmetric::SerializingHasher32<p3_keccak::Keccak256Hash>, p3_symmetric::CompressionFunctionFromHasher<u8, p3_keccak::Keccak256Hash, 2_usize, 32_usize>, 32_usize>, p3_commit::ExtensionMmcs<p3_baby_bear::BabyBear, p3_field::extension::BinomialExtensionField<p3_baby_bear::BabyBear, 4_usize>, p3_merkle_tree::FieldMerkleTreeMmcs<p3_baby_bear::BabyBear, u8, p3_symmetric::SerializingHasher32<p3_keccak::Keccak256Hash>, p3_symmetric::CompressionFunctionFromHasher<u8, p3_keccak::Keccak256Hash, 2_usize, 32_usize>, 32_usize>>>, p3_field::extension::BinomialExtensionField<p3_baby_bear::BabyBear, 4_usize>, p3_challenger::SerializingChallenger32<p3_baby_bear::BabyBear, p3_challenger::HashChallenger<u8, p3_keccak::Keccak256Hash, 32_usize>>>], def_id: DefId(52:27 ~ p3_uni_stark[88bb]::config::StarkGenericConfig::Challenger), .. })], def_id: DefId(55:145 ~ p3_commit[1d17]::pcs::Pcs::Domain), .. })], def_id: DefId(55:59 ~ p3_commit[1d17]::domain::PolynomialSpace::Val), .. })], def_id: DefId(2:3947 ~ core[6c5d]::ops::arith::Sub::Output), .. }, Term::Ty(Alias(Projection, AliasTy { args: [Alias(Projection, AliasTy { args: [Alias(Projection, AliasTy { args: [p3_uni_stark::StarkConfig<p3_fri::TwoAdicFriPcs<p3_baby_bear::BabyBear, p3_dft::Radix2DitParallel, p3_merkle_tree::FieldMerkleTreeMmcs<p3_baby_bear::BabyBear, u8, p3_symmetric::SerializingHasher32<p3_keccak::Keccak256Hash>, p3_symmetric::CompressionFunctionFromHasher<u8, p3_keccak::Keccak256Hash, 2_usize, 32_usize>, 32_usize>, p3_commit::ExtensionMmcs<p3_baby_bear::BabyBear, p3_field::extension::BinomialExtensionField<p3_baby_bear::BabyBear, 4_usize>, p3_merkle_tree::FieldMerkleTreeMmcs<p3_baby_bear::BabyBear, u8, p3_symmetric::SerializingHasher32<p3_keccak::Keccak256Hash>, p3_symmetric::CompressionFunctionFromHasher<u8, p3_keccak::Keccak256Hash, 2_usize, 32_usize>, 32_usize>>>, p3_field::extension::BinomialExtensionField<p3_baby_bear::BabyBear, 4_usize>, p3_challenger::SerializingChallenger32<p3_baby_bear::BabyBear, p3_challenger::HashChallenger<u8, p3_keccak::Keccak256Hash, 32_usize>>>], def_id: DefId(52:25 ~ p3_uni_stark[88bb]::config::StarkGenericConfig::Pcs), .. }), Alias(Projection, AliasTy { args: [p3_uni_stark::StarkConfig<p3_fri::TwoAdicFriPcs<p3_baby_bear::BabyBear, p3_dft::Radix2DitParallel, p3_merkle_tree::FieldMerkleTreeMmcs<p3_baby_bear::BabyBear, u8, p3_symmetric::SerializingHasher32<p3_keccak::Keccak256Hash>, p3_symmetric::CompressionFunctionFromHasher<u8, p3_keccak::Keccak256Hash, 2_usize, 32_usize>, 32_usize>, p3_commit::ExtensionMmcs<p3_baby_bear::BabyBear, p3_field::extension::BinomialExtensionField<p3_baby_bear::BabyBear, 4_usize>, p3_merkle_tree::FieldMerkleTreeMmcs<p3_baby_bear::BabyBear, u8, p3_symmetric::SerializingHasher32<p3_keccak::Keccak256Hash>, p3_symmetric::CompressionFunctionFromHasher<u8, p3_keccak::Keccak256Hash, 2_usize, 32_usize>, 32_usize>>>, p3_field::extension::BinomialExtensionField<p3_baby_bear::BabyBear, 4_usize>, p3_challenger::SerializingChallenger32<p3_baby_bear::BabyBear, p3_challenger::HashChallenger<u8, p3_keccak::Keccak256Hash, 32_usize>>>], def_id: DefId(52:26 ~ p3_uni_stark[88bb]::config::StarkGenericConfig::Challenge), .. }), Alias(Projection, AliasTy { args: [p3_uni_stark::StarkConfig<p3_fri::TwoAdicFriPcs<p3_baby_bear::BabyBear, p3_dft::Radix2DitParallel, p3_merkle_tree::FieldMerkleTreeMmcs<p3_baby_bear::BabyBear, u8, p3_symmetric::SerializingHasher32<p3_keccak::Keccak256Hash>, p3_symmetric::CompressionFunctionFromHasher<u8, p3_keccak::Keccak256Hash, 2_usize, 32_usize>, 32_usize>, p3_commit::ExtensionMmcs<p3_baby_bear::BabyBear, p3_field::extension::BinomialExtensionField<p3_baby_bear::BabyBear, 4_usize>, p3_merkle_tree::FieldMerkleTreeMmcs<p3_baby_bear::BabyBear, u8, p3_symmetric::SerializingHasher32<p3_keccak::Keccak256Hash>, p3_symmetric::CompressionFunctionFromHasher<u8, p3_keccak::Keccak256Hash, 2_usize, 32_usize>, 32_usize>>>, p3_field::extension::BinomialExtensionField<p3_baby_bear::BabyBear, 4_usize>, p3_challenger::SerializingChallenger32<p3_baby_bear::BabyBear, p3_challenger::HashChallenger<u8, p3_keccak::Keccak256Hash, 32_usize>>>], def_id: DefId(52:27 ~ p3_uni_stark[88bb]::config::StarkGenericConfig::Challenger), .. })], def_id: DefId(55:145 ~ p3_commit[1d17]::pcs::Pcs::Domain), .. })], def_id: DefId(55:59 ~ p3_commit[1d17]::domain::PolynomialSpace::Val), .. }))), bound_vars: [] }`, old=Binder { value: ProjectionPredicate(AliasTerm { args: [p3_baby_bear::BabyBear, p3_baby_bear::BabyBear], def_id: DefId(2:3947 ~ core[6c5d]::ops::arith::Sub::Output), .. }, Term::Ty(p3_baby_bear::BabyBear)), bound_vars: [] }, next=None
[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] error: inconsistency during normalizing env `Binder { value: TraitPredicate(<<<<p3_uni_stark::StarkConfig<p3_fri::TwoAdicFriPcs<p3_baby_bear::BabyBear, p3_dft::Radix2DitParallel, p3_merkle_tree::FieldMerkleTreeMmcs<p3_baby_bear::BabyBear, u8, p3_symmetric::SerializingHasher32<p3_keccak::Keccak256Hash>, p3_symmetric::CompressionFunctionFromHasher<u8, p3_keccak::Keccak256Hash, 2, 32>, 32>, p3_commit::ExtensionMmcs<p3_baby_bear::BabyBear, p3_field::extension::BinomialExtensionField<p3_baby_bear::BabyBear, 4>, p3_merkle_tree::FieldMerkleTreeMmcs<p3_baby_bear::BabyBear, u8, p3_symmetric::SerializingHasher32<p3_keccak::Keccak256Hash>, p3_symmetric::CompressionFunctionFromHasher<u8, p3_keccak::Keccak256Hash, 2, 32>, 32>>>, p3_field::extension::BinomialExtensionField<p3_baby_bear::BabyBear, 4>, p3_challenger::SerializingChallenger32<p3_baby_bear::BabyBear, p3_challenger::HashChallenger<u8, p3_keccak::Keccak256Hash, 32>>> as p3_uni_stark::StarkGenericConfig>::Pcs as p3_commit::Pcs<<p3_uni_stark::StarkConfig<p3_fri::TwoAdicFriPcs<p3_baby_bear::BabyBear, p3_dft::Radix2DitParallel, p3_merkle_tree::FieldMerkleTreeMmcs<p3_baby_bear::BabyBear, u8, p3_symmetric::SerializingHasher32<p3_keccak::Keccak256Hash>, p3_symmetric::CompressionFunctionFromHasher<u8, p3_keccak::Keccak256Hash, 2, 32>, 32>, p3_commit::ExtensionMmcs<p3_baby_bear::BabyBear, p3_field::extension::BinomialExtensionField<p3_baby_bear::BabyBear, 4>, p3_merkle_tree::FieldMerkleTreeMmcs<p3_baby_bear::BabyBear, u8, p3_symmetric::SerializingHasher32<p3_keccak::Keccak256Hash>, p3_symmetric::CompressionFunctionFromHasher<u8, p3_keccak::Keccak256Hash, 2, 32>, 32>>>, p3_field::extension::BinomialExtensionField<p3_baby_bear::BabyBear, 4>, p3_challenger::SerializingChallenger32<p3_baby_bear::BabyBear, p3_challenger::HashChallenger<u8, p3_keccak::Keccak256Hash, 32>>> as p3_uni_stark::StarkGenericConfig>::Challenge, <p3_uni_stark::StarkConfig<p3_fri::TwoAdicFriPcs<p3_baby_bear::BabyBear, p3_dft::Radix2DitParallel, p3_merkle_tree::FieldMerkleTreeMmcs<p3_baby_bear::BabyBear, u8, p3_symmetric::SerializingHasher32<p3_keccak::Keccak256Hash>, p3_symmetric::CompressionFunctionFromHasher<u8, p3_keccak::Keccak256Hash, 2, 32>, 32>, p3_commit::ExtensionMmcs<p3_baby_bear::BabyBear, p3_field::extension::BinomialExtensionField<p3_baby_bear::BabyBear, 4>, p3_merkle_tree::FieldMerkleTreeMmcs<p3_baby_bear::BabyBear, u8, p3_symmetric::SerializingHasher32<p3_keccak::Keccak256Hash>, p3_symmetric::CompressionFunctionFromHasher<u8, p3_keccak::Keccak256Hash, 2, 32>, 32>>>, p3_field::extension::BinomialExtensionField<p3_baby_bear::BabyBear, 4>, p3_challenger::SerializingChallenger32<p3_baby_bear::BabyBear, p3_challenger::HashChallenger<u8, p3_keccak::Keccak256Hash, 32>>> as p3_uni_stark::StarkGenericConfig>::Challenger>>::Domain as p3_commit::PolynomialSpace>::Val as std::ops::Sub>, polarity:Positive), bound_vars: [] }`, old=Binder { value: TraitPredicate(<p3_baby_bear::BabyBear as std::ops::Sub>, polarity:Positive), bound_vars: [] }, next=None
[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] error: inconsistency during normalizing env `Binder { value: TraitPredicate(<<<<p3_uni_stark::StarkConfig<p3_fri::TwoAdicFriPcs<p3_baby_bear::BabyBear, p3_dft::Radix2DitParallel, p3_merkle_tree::FieldMerkleTreeMmcs<p3_baby_bear::BabyBear, u8, p3_symmetric::SerializingHasher32<p3_keccak::Keccak256Hash>, p3_symmetric::CompressionFunctionFromHasher<u8, p3_keccak::Keccak256Hash, 2, 32>, 32>, p3_commit::ExtensionMmcs<p3_baby_bear::BabyBear, p3_field::extension::BinomialExtensionField<p3_baby_bear::BabyBear, 4>, p3_merkle_tree::FieldMerkleTreeMmcs<p3_baby_bear::BabyBear, u8, p3_symmetric::SerializingHasher32<p3_keccak::Keccak256Hash>, p3_symmetric::CompressionFunctionFromHasher<u8, p3_keccak::Keccak256Hash, 2, 32>, 32>>>, p3_field::extension::BinomialExtensionField<p3_baby_bear::BabyBear, 4>, p3_challenger::SerializingChallenger32<p3_baby_bear::BabyBear, p3_challenger::HashChallenger<u8, p3_keccak::Keccak256Hash, 32>>> as p3_uni_stark::StarkGenericConfig>::Pcs as p3_commit::Pcs<<p3_uni_stark::StarkConfig<p3_fri::TwoAdicFriPcs<p3_baby_bear::BabyBear, p3_dft::Radix2DitParallel, p3_merkle_tree::FieldMerkleTreeMmcs<p3_baby_bear::BabyBear, u8, p3_symmetric::SerializingHasher32<p3_keccak::Keccak256Hash>, p3_symmetric::CompressionFunctionFromHasher<u8, p3_keccak::Keccak256Hash, 2, 32>, 32>, p3_commit::ExtensionMmcs<p3_baby_bear::BabyBear, p3_field::extension::BinomialExtensionField<p3_baby_bear::BabyBear, 4>, p3_merkle_tree::FieldMerkleTreeMmcs<p3_baby_bear::BabyBear, u8, p3_symmetric::SerializingHasher32<p3_keccak::Keccak256Hash>, p3_symmetric::CompressionFunctionFromHasher<u8, p3_keccak::Keccak256Hash, 2, 32>, 32>>>, p3_field::extension::BinomialExtensionField<p3_baby_bear::BabyBear, 4>, p3_challenger::SerializingChallenger32<p3_baby_bear::BabyBear, p3_challenger::HashChallenger<u8, p3_keccak::Keccak256Hash, 32>>> as p3_uni_stark::StarkGenericConfig>::Challenge, <p3_uni_stark::StarkConfig<p3_fri::TwoAdicFriPcs<p3_baby_bear::BabyBear, p3_dft::Radix2DitParallel, p3_merkle_tree::FieldMerkleTreeMmcs<p3_baby_bear::BabyBear, u8, p3_symmetric::SerializingHasher32<p3_keccak::Keccak256Hash>, p3_symmetric::CompressionFunctionFromHasher<u8, p3_keccak::Keccak256Hash, 2, 32>, 32>, p3_commit::ExtensionMmcs<p3_baby_bear::BabyBear, p3_field::extension::BinomialExtensionField<p3_baby_bear::BabyBear, 4>, p3_merkle_tree::FieldMerkleTreeMmcs<p3_baby_bear::BabyBear, u8, p3_symmetric::SerializingHasher32<p3_keccak::Keccak256Hash>, p3_symmetric::CompressionFunctionFromHasher<u8, p3_keccak::Keccak256Hash, 2, 32>, 32>>>, p3_field::extension::BinomialExtensionField<p3_baby_bear::BabyBear, 4>, p3_challenger::SerializingChallenger32<p3_baby_bear::BabyBear, p3_challenger::HashChallenger<u8, p3_keccak::Keccak256Hash, 32>>> as p3_uni_stark::StarkGenericConfig>::Challenger>>::Domain as p3_commit::PolynomialSpace>::Val as std::ops::AddAssign>, polarity:Positive), bound_vars: [] }`, old=Binder { value: TraitPredicate(<p3_baby_bear::BabyBear as std::ops::AddAssign>, polarity:Positive), bound_vars: [] }, next=None
[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] error: inconsistency during normalizing env `Binder { value: ProjectionPredicate(AliasTerm { args: [Alias(Projection, AliasTy { args: [Alias(Projection, AliasTy { args: [Alias(Projection, AliasTy { args: [p3_uni_stark::StarkConfig<p3_fri::TwoAdicFriPcs<p3_baby_bear::BabyBear, p3_dft::Radix2DitParallel, p3_merkle_tree::FieldMerkleTreeMmcs<p3_baby_bear::BabyBear, u8, p3_symmetric::SerializingHasher32<p3_keccak::Keccak256Hash>, p3_symmetric::CompressionFunctionFromHasher<u8, p3_keccak::Keccak256Hash, 2_usize, 32_usize>, 32_usize>, p3_commit::ExtensionMmcs<p3_baby_bear::BabyBear, p3_field::extension::BinomialExtensionField<p3_baby_bear::BabyBear, 4_usize>, p3_merkle_tree::FieldMerkleTreeMmcs<p3_baby_bear::BabyBear, u8, p3_symmetric::SerializingHasher32<p3_keccak::Keccak256Hash>, p3_symmetric::CompressionFunctionFromHasher<u8, p3_keccak::Keccak256Hash, 2_usize, 32_usize>, 32_usize>>>, p3_field::extension::BinomialExtensionField<p3_baby_bear::BabyBear, 4_usize>, p3_challenger::SerializingChallenger32<p3_baby_bear::BabyBear, p3_challenger::HashChallenger<u8, p3_keccak::Keccak256Hash, 32_usize>>>], def_id: DefId(52:25 ~ p3_uni_stark[88bb]::config::StarkGenericConfig::Pcs), .. }), Alias(Projection, AliasTy { args: [p3_uni_stark::StarkConfig<p3_fri::TwoAdicFriPcs<p3_baby_bear::BabyBear, p3_dft::Radix2DitParallel, p3_merkle_tree::FieldMerkleTreeMmcs<p3_baby_bear::BabyBear, u8, p3_symmetric::SerializingHasher32<p3_keccak::Keccak256Hash>, p3_symmetric::CompressionFunctionFromHasher<u8, p3_keccak::Keccak256Hash, 2_usize, 32_usize>, 32_usize>, p3_commit::ExtensionMmcs<p3_baby_bear::BabyBear, p3_field::extension::BinomialExtensionField<p3_baby_bear::BabyBear, 4_usize>, p3_merkle_tree::FieldMerkleTreeMmcs<p3_baby_bear::BabyBear, u8, p3_symmetric::SerializingHasher32<p3_keccak::Keccak256Hash>, p3_symmetric::CompressionFunctionFromHasher<u8, p3_keccak::Keccak256Hash, 2_usize, 32_usize>, 32_usize>>>, p3_field::extension::BinomialExtensionField<p3_baby_bear::BabyBear, 4_usize>, p3_challenger::SerializingChallenger32<p3_baby_bear::BabyBear, p3_challenger::HashChallenger<u8, p3_keccak::Keccak256Hash, 32_usize>>>], def_id: DefId(52:26 ~ p3_uni_stark[88bb]::config::StarkGenericConfig::Challenge), .. }), Alias(Projection, AliasTy { args: [p3_uni_stark::StarkConfig<p3_fri::TwoAdicFriPcs<p3_baby_bear::BabyBear, p3_dft::Radix2DitParallel, p3_merkle_tree::FieldMerkleTreeMmcs<p3_baby_bear::BabyBear, u8, p3_symmetric::SerializingHasher32<p3_keccak::Keccak256Hash>, p3_symmetric::CompressionFunctionFromHasher<u8, p3_keccak::Keccak256Hash, 2_usize, 32_usize>, 32_usize>, p3_commit::ExtensionMmcs<p3_baby_bear::BabyBear, p3_field::extension::BinomialExtensionField<p3_baby_bear::BabyBear, 4_usize>, p3_merkle_tree::FieldMerkleTreeMmcs<p3_baby_bear::BabyBear, u8, p3_symmetric::SerializingHasher32<p3_keccak::Keccak256Hash>, p3_symmetric::CompressionFunctionFromHasher<u8, p3_keccak::Keccak256Hash, 2_usize, 32_usize>, 32_usize>>>, p3_field::extension::BinomialExtensionField<p3_baby_bear::BabyBear, 4_usize>, p3_challenger::SerializingChallenger32<p3_baby_bear::BabyBear, p3_challenger::HashChallenger<u8, p3_keccak::Keccak256Hash, 32_usize>>>], def_id: DefId(52:27 ~ p3_uni_stark[88bb]::config::StarkGenericConfig::Challenger), .. })], def_id: DefId(55:145 ~ p3_commit[1d17]::pcs::Pcs::Domain), .. })], def_id: DefId(55:59 ~ p3_commit[1d17]::domain::PolynomialSpace::Val), .. }), Alias(Projection, AliasTy { args: [Alias(Projection, AliasTy { args: [Alias(Projection, AliasTy { args: [p3_uni_stark::StarkConfig<p3_fri::TwoAdicFriPcs<p3_baby_bear::BabyBear, p3_dft::Radix2DitParallel, p3_merkle_tree::FieldMerkleTreeMmcs<p3_baby_bear::BabyBear, u8, p3_symmetric::SerializingHasher32<p3_keccak::Keccak256Hash>, p3_symmetric::CompressionFunctionFromHasher<u8, p3_keccak::Keccak256Hash, 2_usize, 32_usize>, 32_usize>, p3_commit::ExtensionMmcs<p3_baby_bear::BabyBear, p3_field::extension::BinomialExtensionField<p3_baby_bear::BabyBear, 4_usize>, p3_merkle_tree::FieldMerkleTreeMmcs<p3_baby_bear::BabyBear, u8, p3_symmetric::SerializingHasher32<p3_keccak::Keccak256Hash>, p3_symmetric::CompressionFunctionFromHasher<u8, p3_keccak::Keccak256Hash, 2_usize, 32_usize>, 32_usize>>>, p3_field::extension::BinomialExtensionField<p3_baby_bear::BabyBear, 4_usize>, p3_challenger::SerializingChallenger32<p3_baby_bear::BabyBear, p3_challenger::HashChallenger<u8, p3_keccak::Keccak256Hash, 32_usize>>>], def_id: DefId(52:25 ~ p3_uni_stark[88bb]::config::StarkGenericConfig::Pcs), .. }), Alias(Projection, AliasTy { args: [p3_uni_stark::StarkConfig<p3_fri::TwoAdicFriPcs<p3_baby_bear::BabyBear, p3_dft::Radix2DitParallel, p3_merkle_tree::FieldMerkleTreeMmcs<p3_baby_bear::BabyBear, u8, p3_symmetric::SerializingHasher32<p3_keccak::Keccak256Hash>, p3_symmetric::CompressionFunctionFromHasher<u8, p3_keccak::Keccak256Hash, 2_usize, 32_usize>, 32_usize>, p3_commit::ExtensionMmcs<p3_baby_bear::BabyBear, p3_field::extension::BinomialExtensionField<p3_baby_bear::BabyBear, 4_usize>, p3_merkle_tree::FieldMerkleTreeMmcs<p3_baby_bear::BabyBear, u8, p3_symmetric::SerializingHasher32<p3_keccak::Keccak256Hash>, p3_symmetric::CompressionFunctionFromHasher<u8, p3_keccak::Keccak256Hash, 2_usize, 32_usize>, 32_usize>>>, p3_field::extension::BinomialExtensionField<p3_baby_bear::BabyBear, 4_usize>, p3_challenger::SerializingChallenger32<p3_baby_bear::BabyBear, p3_challenger::HashChallenger<u8, p3_keccak::Keccak256Hash, 32_usize>>>], def_id: DefId(52:26 ~ p3_uni_stark[88bb]::config::StarkGenericConfig::Challenge), .. }), Alias(Projection, AliasTy { args: [p3_uni_stark::StarkConfig<p3_fri::TwoAdicFriPcs<p3_baby_bear::BabyBear, p3_dft::Radix2DitParallel, p3_merkle_tree::FieldMerkleTreeMmcs<p3_baby_bear::BabyBear, u8, p3_symmetric::SerializingHasher32<p3_keccak::Keccak256Hash>, p3_symmetric::CompressionFunctionFromHasher<u8, p3_keccak::Keccak256Hash, 2_usize, 32_usize>, 32_usize>, p3_commit::ExtensionMmcs<p3_baby_bear::BabyBear, p3_field::extension::BinomialExtensionField<p3_baby_bear::BabyBear, 4_usize>, p3_merkle_tree::FieldMerkleTreeMmcs<p3_baby_bear::BabyBear, u8, p3_symmetric::SerializingHasher32<p3_keccak::Keccak256Hash>, p3_symmetric::CompressionFunctionFromHasher<u8, p3_keccak::Keccak256Hash, 2_usize, 32_usize>, 32_usize>>>, p3_field::extension::BinomialExtensionField<p3_baby_bear::BabyBear, 4_usize>, p3_challenger::SerializingChallenger32<p3_baby_bear::BabyBear, p3_challenger::HashChallenger<u8, p3_keccak::Keccak256Hash, 32_usize>>>], def_id: DefId(52:27 ~ p3_uni_stark[88bb]::config::StarkGenericConfig::Challenger), .. })], def_id: DefId(55:145 ~ p3_commit[1d17]::pcs::Pcs::Domain), .. })], def_id: DefId(55:59 ~ p3_commit[1d17]::domain::PolynomialSpace::Val), .. })], def_id: DefId(2:3942 ~ core[6c5d]::ops::arith::Add::Output), .. }, Term::Ty(Alias(Projection, AliasTy { args: [Alias(Projection, AliasTy { args: [Alias(Projection, AliasTy { args: [p3_uni_stark::StarkConfig<p3_fri::TwoAdicFriPcs<p3_baby_bear::BabyBear, p3_dft::Radix2DitParallel, p3_merkle_tree::FieldMerkleTreeMmcs<p3_baby_bear::BabyBear, u8, p3_symmetric::SerializingHasher32<p3_keccak::Keccak256Hash>, p3_symmetric::CompressionFunctionFromHasher<u8, p3_keccak::Keccak256Hash, 2_usize, 32_usize>, 32_usize>, p3_commit::ExtensionMmcs<p3_baby_bear::BabyBear, p3_field::extension::BinomialExtensionField<p3_baby_bear::BabyBear, 4_usize>, p3_merkle_tree::FieldMerkleTreeMmcs<p3_baby_bear::BabyBear, u8, p3_symmetric::SerializingHasher32<p3_keccak::Keccak256Hash>, p3_symmetric::CompressionFunctionFromHasher<u8, p3_keccak::Keccak256Hash, 2_usize, 32_usize>, 32_usize>>>, p3_field::extension::BinomialExtensionField<p3_baby_bear::BabyBear, 4_usize>, p3_challenger::SerializingChallenger32<p3_baby_bear::BabyBear, p3_challenger::HashChallenger<u8, p3_keccak::Keccak256Hash, 32_usize>>>], def_id: DefId(52:25 ~ p3_uni_stark[88bb]::config::StarkGenericConfig::Pcs), .. }), Alias(Projection, AliasTy { args: [p3_uni_stark::StarkConfig<p3_fri::TwoAdicFriPcs<p3_baby_bear::BabyBear, p3_dft::Radix2DitParallel, p3_merkle_tree::FieldMerkleTreeMmcs<p3_baby_bear::BabyBear, u8, p3_symmetric::SerializingHasher32<p3_keccak::Keccak256Hash>, p3_symmetric::CompressionFunctionFromHasher<u8, p3_keccak::Keccak256Hash, 2_usize, 32_usize>, 32_usize>, p3_commit::ExtensionMmcs<p3_baby_bear::BabyBear, p3_field::extension::BinomialExtensionField<p3_baby_bear::BabyBear, 4_usize>, p3_merkle_tree::FieldMerkleTreeMmcs<p3_baby_bear::BabyBear, u8, p3_symmetric::SerializingHasher32<p3_keccak::Keccak256Hash>, p3_symmetric::CompressionFunctionFromHasher<u8, p3_keccak::Keccak256Hash, 2_usize, 32_usize>, 32_usize>>>, p3_field::extension::BinomialExtensionField<p3_baby_bear::BabyBear, 4_usize>, p3_challenger::SerializingChallenger32<p3_baby_bear::BabyBear, p3_challenger::HashChallenger<u8, p3_keccak::Keccak256Hash, 32_usize>>>], def_id: DefId(52:26 ~ p3_uni_stark[88bb]::config::StarkGenericConfig::Challenge), .. }), Alias(Projection, AliasTy { args: [p3_uni_stark::StarkConfig<p3_fri::TwoAdicFriPcs<p3_baby_bear::BabyBear, p3_dft::Radix2DitParallel, p3_merkle_tree::FieldMerkleTreeMmcs<p3_baby_bear::BabyBear, u8, p3_symmetric::SerializingHasher32<p3_keccak::Keccak256Hash>, p3_symmetric::CompressionFunctionFromHasher<u8, p3_keccak::Keccak256Hash, 2_usize, 32_usize>, 32_usize>, p3_commit::ExtensionMmcs<p3_baby_bear::BabyBear, p3_field::extension::BinomialExtensionField<p3_baby_bear::BabyBear, 4_usize>, p3_merkle_tree::FieldMerkleTreeMmcs<p3_baby_bear::BabyBear, u8, p3_symmetric::SerializingHasher32<p3_keccak::Keccak256Hash>, p3_symmetric::CompressionFunctionFromHasher<u8, p3_keccak::Keccak256Hash, 2_usize, 32_usize>, 32_usize>>>, p3_field::extension::BinomialExtensionField<p3_baby_bear::BabyBear, 4_usize>, p3_challenger::SerializingChallenger32<p3_baby_bear::BabyBear, p3_challenger::HashChallenger<u8, p3_keccak::Keccak256Hash, 32_usize>>>], def_id: DefId(52:27 ~ p3_uni_stark[88bb]::config::StarkGenericConfig::Challenger), .. })], def_id: DefId(55:145 ~ p3_commit[1d17]::pcs::Pcs::Domain), .. })], def_id: DefId(55:59 ~ p3_commit[1d17]::domain::PolynomialSpace::Val), .. }))), bound_vars: [] }`, old=Binder { value: ProjectionPredicate(AliasTerm { args: [p3_baby_bear::BabyBear, p3_baby_bear::BabyBear], def_id: DefId(2:3942 ~ core[6c5d]::ops::arith::Add::Output), .. }, Term::Ty(p3_baby_bear::BabyBear)), bound_vars: [] }, next=None
[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] error: inconsistency during normalizing env `Binder { value: TraitPredicate(<<<<p3_uni_stark::StarkConfig<p3_fri::TwoAdicFriPcs<p3_baby_bear::BabyBear, p3_dft::Radix2DitParallel, p3_merkle_tree::FieldMerkleTreeMmcs<p3_baby_bear::BabyBear, u8, p3_symmetric::SerializingHasher32<p3_keccak::Keccak256Hash>, p3_symmetric::CompressionFunctionFromHasher<u8, p3_keccak::Keccak256Hash, 2, 32>, 32>, p3_commit::ExtensionMmcs<p3_baby_bear::BabyBear, p3_field::extension::BinomialExtensionField<p3_baby_bear::BabyBear, 4>, p3_merkle_tree::FieldMerkleTreeMmcs<p3_baby_bear::BabyBear, u8, p3_symmetric::SerializingHasher32<p3_keccak::Keccak256Hash>, p3_symmetric::CompressionFunctionFromHasher<u8, p3_keccak::Keccak256Hash, 2, 32>, 32>>>, p3_field::extension::BinomialExtensionField<p3_baby_bear::BabyBear, 4>, p3_challenger::SerializingChallenger32<p3_baby_bear::BabyBear, p3_challenger::HashChallenger<u8, p3_keccak::Keccak256Hash, 32>>> as p3_uni_stark::StarkGenericConfig>::Pcs as p3_commit::Pcs<<p3_uni_stark::StarkConfig<p3_fri::TwoAdicFriPcs<p3_baby_bear::BabyBear, p3_dft::Radix2DitParallel, p3_merkle_tree::FieldMerkleTreeMmcs<p3_baby_bear::BabyBear, u8, p3_symmetric::SerializingHasher32<p3_keccak::Keccak256Hash>, p3_symmetric::CompressionFunctionFromHasher<u8, p3_keccak::Keccak256Hash, 2, 32>, 32>, p3_commit::ExtensionMmcs<p3_baby_bear::BabyBear, p3_field::extension::BinomialExtensionField<p3_baby_bear::BabyBear, 4>, p3_merkle_tree::FieldMerkleTreeMmcs<p3_baby_bear::BabyBear, u8, p3_symmetric::SerializingHasher32<p3_keccak::Keccak256Hash>, p3_symmetric::CompressionFunctionFromHasher<u8, p3_keccak::Keccak256Hash, 2, 32>, 32>>>, p3_field::extension::BinomialExtensionField<p3_baby_bear::BabyBear, 4>, p3_challenger::SerializingChallenger32<p3_baby_bear::BabyBear, p3_challenger::HashChallenger<u8, p3_keccak::Keccak256Hash, 32>>> as p3_uni_stark::StarkGenericConfig>::Challenge, <p3_uni_stark::StarkConfig<p3_fri::TwoAdicFriPcs<p3_baby_bear::BabyBear, p3_dft::Radix2DitParallel, p3_merkle_tree::FieldMerkleTreeMmcs<p3_baby_bear::BabyBear, u8, p3_symmetric::SerializingHasher32<p3_keccak::Keccak256Hash>, p3_symmetric::CompressionFunctionFromHasher<u8, p3_keccak::Keccak256Hash, 2, 32>, 32>, p3_commit::ExtensionMmcs<p3_baby_bear::BabyBear, p3_field::extension::BinomialExtensionField<p3_baby_bear::BabyBear, 4>, p3_merkle_tree::FieldMerkleTreeMmcs<p3_baby_bear::BabyBear, u8, p3_symmetric::SerializingHasher32<p3_keccak::Keccak256Hash>, p3_symmetric::CompressionFunctionFromHasher<u8, p3_keccak::Keccak256Hash, 2, 32>, 32>>>, p3_field::extension::BinomialExtensionField<p3_baby_bear::BabyBear, 4>, p3_challenger::SerializingChallenger32<p3_baby_bear::BabyBear, p3_challenger::HashChallenger<u8, p3_keccak::Keccak256Hash, 32>>> as p3_uni_stark::StarkGenericConfig>::Challenger>>::Domain as p3_commit::PolynomialSpace>::Val as std::ops::Add>, polarity:Positive), bound_vars: [] }`, old=Binder { value: TraitPredicate(<p3_baby_bear::BabyBear as std::ops::Add>, polarity:Positive), bound_vars: [] }, next=None
[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] error: inconsistency during normalizing env `Binder { value: TraitPredicate(<<<<p3_uni_stark::StarkConfig<p3_fri::TwoAdicFriPcs<p3_baby_bear::BabyBear, p3_dft::Radix2DitParallel, p3_merkle_tree::FieldMerkleTreeMmcs<p3_baby_bear::BabyBear, u8, p3_symmetric::SerializingHasher32<p3_keccak::Keccak256Hash>, p3_symmetric::CompressionFunctionFromHasher<u8, p3_keccak::Keccak256Hash, 2, 32>, 32>, p3_commit::ExtensionMmcs<p3_baby_bear::BabyBear, p3_field::extension::BinomialExtensionField<p3_baby_bear::BabyBear, 4>, p3_merkle_tree::FieldMerkleTreeMmcs<p3_baby_bear::BabyBear, u8, p3_symmetric::SerializingHasher32<p3_keccak::Keccak256Hash>, p3_symmetric::CompressionFunctionFromHasher<u8, p3_keccak::Keccak256Hash, 2, 32>, 32>>>, p3_field::extension::BinomialExtensionField<p3_baby_bear::BabyBear, 4>, p3_challenger::SerializingChallenger32<p3_baby_bear::BabyBear, p3_challenger::HashChallenger<u8, p3_keccak::Keccak256Hash, 32>>> as p3_uni_stark::StarkGenericConfig>::Pcs as p3_commit::Pcs<<p3_uni_stark::StarkConfig<p3_fri::TwoAdicFriPcs<p3_baby_bear::BabyBear, p3_dft::Radix2DitParallel, p3_merkle_tree::FieldMerkleTreeMmcs<p3_baby_bear::BabyBear, u8, p3_symmetric::SerializingHasher32<p3_keccak::Keccak256Hash>, p3_symmetric::CompressionFunctionFromHasher<u8, p3_keccak::Keccak256Hash, 2, 32>, 32>, p3_commit::ExtensionMmcs<p3_baby_bear::BabyBear, p3_field::extension::BinomialExtensionField<p3_baby_bear::BabyBear, 4>, p3_merkle_tree::FieldMerkleTreeMmcs<p3_baby_bear::BabyBear, u8, p3_symmetric::SerializingHasher32<p3_keccak::Keccak256Hash>, p3_symmetric::CompressionFunctionFromHasher<u8, p3_keccak::Keccak256Hash, 2, 32>, 32>>>, p3_field::extension::BinomialExtensionField<p3_baby_bear::BabyBear, 4>, p3_challenger::SerializingChallenger32<p3_baby_bear::BabyBear, p3_challenger::HashChallenger<u8, p3_keccak::Keccak256Hash, 32>>> as p3_uni_stark::StarkGenericConfig>::Challenge, <p3_uni_stark::StarkConfig<p3_fri::TwoAdicFriPcs<p3_baby_bear::BabyBear, p3_dft::Radix2DitParallel, p3_merkle_tree::FieldMerkleTreeMmcs<p3_baby_bear::BabyBear, u8, p3_symmetric::SerializingHasher32<p3_keccak::Keccak256Hash>, p3_symmetric::CompressionFunctionFromHasher<u8, p3_keccak::Keccak256Hash, 2, 32>, 32>, p3_commit::ExtensionMmcs<p3_baby_bear::BabyBear, p3_field::extension::BinomialExtensionField<p3_baby_bear::BabyBear, 4>, p3_merkle_tree::FieldMerkleTreeMmcs<p3_baby_bear::BabyBear, u8, p3_symmetric::SerializingHasher32<p3_keccak::Keccak256Hash>, p3_symmetric::CompressionFunctionFromHasher<u8, p3_keccak::Keccak256Hash, 2, 32>, 32>>>, p3_field::extension::BinomialExtensionField<p3_baby_bear::BabyBear, 4>, p3_challenger::SerializingChallenger32<p3_baby_bear::BabyBear, p3_challenger::HashChallenger<u8, p3_keccak::Keccak256Hash, 32>>> as p3_uni_stark::StarkGenericConfig>::Challenger>>::Domain as p3_commit::PolynomialSpace>::Val as std::marker::MetaSized>, polarity:Positive), bound_vars: [] }`, old=Binder { value: TraitPredicate(<p3_baby_bear::BabyBear as std::marker::MetaSized>, polarity:Positive), bound_vars: [] }, next=None
[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] error: inconsistency during normalizing env `Binder { value: TraitPredicate(<A as p3_air::Air<p3_uni_stark::DebugConstraintBuilder<'a, <<<p3_uni_stark::StarkConfig<p3_fri::TwoAdicFriPcs<p3_baby_bear::BabyBear, p3_dft::Radix2DitParallel, p3_merkle_tree::FieldMerkleTreeMmcs<p3_baby_bear::BabyBear, u8, p3_symmetric::SerializingHasher32<p3_keccak::Keccak256Hash>, p3_symmetric::CompressionFunctionFromHasher<u8, p3_keccak::Keccak256Hash, 2, 32>, 32>, p3_commit::ExtensionMmcs<p3_baby_bear::BabyBear, p3_field::extension::BinomialExtensionField<p3_baby_bear::BabyBear, 4>, p3_merkle_tree::FieldMerkleTreeMmcs<p3_baby_bear::BabyBear, u8, p3_symmetric::SerializingHasher32<p3_keccak::Keccak256Hash>, p3_symmetric::CompressionFunctionFromHasher<u8, p3_keccak::Keccak256Hash, 2, 32>, 32>>>, p3_field::extension::BinomialExtensionField<p3_baby_bear::BabyBear, 4>, p3_challenger::SerializingChallenger32<p3_baby_bear::BabyBear, p3_challenger::HashChallenger<u8, p3_keccak::Keccak256Hash, 32>>> as p3_uni_stark::StarkGenericConfig>::Pcs as p3_commit::Pcs<<p3_uni_stark::StarkConfig<p3_fri::TwoAdicFriPcs<p3_baby_bear::BabyBear, p3_dft::Radix2DitParallel, p3_merkle_tree::FieldMerkleTreeMmcs<p3_baby_bear::BabyBear, u8, p3_symmetric::SerializingHasher32<p3_keccak::Keccak256Hash>, p3_symmetric::CompressionFunctionFromHasher<u8, p3_keccak::Keccak256Hash, 2, 32>, 32>, p3_commit::ExtensionMmcs<p3_baby_bear::BabyBear, p3_field::extension::BinomialExtensionField<p3_baby_bear::BabyBear, 4>, p3_merkle_tree::FieldMerkleTreeMmcs<p3_baby_bear::BabyBear, u8, p3_symmetric::SerializingHasher32<p3_keccak::Keccak256Hash>, p3_symmetric::CompressionFunctionFromHasher<u8, p3_keccak::Keccak256Hash, 2, 32>, 32>>>, p3_field::extension::BinomialExtensionField<p3_baby_bear::BabyBear, 4>, p3_challenger::SerializingChallenger32<p3_baby_bear::BabyBear, p3_challenger::HashChallenger<u8, p3_keccak::Keccak256Hash, 32>>> as p3_uni_stark::StarkGenericConfig>::Challenge, <p3_uni_stark::StarkConfig<p3_fri::TwoAdicFriPcs<p3_baby_bear::BabyBear, p3_dft::Radix2DitParallel, p3_merkle_tree::FieldMerkleTreeMmcs<p3_baby_bear::BabyBear, u8, p3_symmetric::SerializingHasher32<p3_keccak::Keccak256Hash>, p3_symmetric::CompressionFunctionFromHasher<u8, p3_keccak::Keccak256Hash, 2, 32>, 32>, p3_commit::ExtensionMmcs<p3_baby_bear::BabyBear, p3_field::extension::BinomialExtensionField<p3_baby_bear::BabyBear, 4>, p3_merkle_tree::FieldMerkleTreeMmcs<p3_baby_bear::BabyBear, u8, p3_symmetric::SerializingHasher32<p3_keccak::Keccak256Hash>, p3_symmetric::CompressionFunctionFromHasher<u8, p3_keccak::Keccak256Hash, 2, 32>, 32>>>, p3_field::extension::BinomialExtensionField<p3_baby_bear::BabyBear, 4>, p3_challenger::SerializingChallenger32<p3_baby_bear::BabyBear, p3_challenger::HashChallenger<u8, p3_keccak::Keccak256Hash, 32>>> as p3_uni_stark::StarkGenericConfig>::Challenger>>::Domain as p3_commit::PolynomialSpace>::Val>>>, polarity:Positive), bound_vars: [Region(BrNamed(DefId(0:817 ~ p3_keccak_machine[8a75]::test_util::prove_and_verify::'a#3)))] }`, old=Binder { value: TraitPredicate(<A as p3_air::Air<p3_uni_stark::DebugConstraintBuilder<'a, p3_baby_bear::BabyBear>>>, polarity:Positive), bound_vars: [Region(BrNamed(DefId(0:817 ~ p3_keccak_machine[8a75]::test_util::prove_and_verify::'a#3)))] }, next=None
[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] error: inconsistency during normalizing env `Binder { value: TraitPredicate(<A as p3_air::BaseAir<<p3_uni_stark::DebugConstraintBuilder<'a, <<<p3_uni_stark::StarkConfig<p3_fri::TwoAdicFriPcs<p3_baby_bear::BabyBear, p3_dft::Radix2DitParallel, p3_merkle_tree::FieldMerkleTreeMmcs<p3_baby_bear::BabyBear, u8, p3_symmetric::SerializingHasher32<p3_keccak::Keccak256Hash>, p3_symmetric::CompressionFunctionFromHasher<u8, p3_keccak::Keccak256Hash, 2, 32>, 32>, p3_commit::ExtensionMmcs<p3_baby_bear::BabyBear, p3_field::extension::BinomialExtensionField<p3_baby_bear::BabyBear, 4>, p3_merkle_tree::FieldMerkleTreeMmcs<p3_baby_bear::BabyBear, u8, p3_symmetric::SerializingHasher32<p3_keccak::Keccak256Hash>, p3_symmetric::CompressionFunctionFromHasher<u8, p3_keccak::Keccak256Hash, 2, 32>, 32>>>, p3_field::extension::BinomialExtensionField<p3_baby_bear::BabyBear, 4>, p3_challenger::SerializingChallenger32<p3_baby_bear::BabyBear, p3_challenger::HashChallenger<u8, p3_keccak::Keccak256Hash, 32>>> as p3_uni_stark::StarkGenericConfig>::Pcs as p3_commit::Pcs<<p3_uni_stark::StarkConfig<p3_fri::TwoAdicFriPcs<p3_baby_bear::BabyBear, p3_dft::Radix2DitParallel, p3_merkle_tree::FieldMerkleTreeMmcs<p3_baby_bear::BabyBear, u8, p3_symmetric::SerializingHasher32<p3_keccak::Keccak256Hash>, p3_symmetric::CompressionFunctionFromHasher<u8, p3_keccak::Keccak256Hash, 2, 32>, 32>, p3_commit::ExtensionMmcs<p3_baby_bear::BabyBear, p3_field::extension::BinomialExtensionField<p3_baby_bear::BabyBear, 4>, p3_merkle_tree::FieldMerkleTreeMmcs<p3_baby_bear::BabyBear, u8, p3_symmetric::SerializingHasher32<p3_keccak::Keccak256Hash>, p3_symmetric::CompressionFunctionFromHasher<u8, p3_keccak::Keccak256Hash, 2, 32>, 32>>>, p3_field::extension::BinomialExtensionField<p3_baby_bear::BabyBear, 4>, p3_challenger::SerializingChallenger32<p3_baby_bear::BabyBear, p3_challenger::HashChallenger<u8, p3_keccak::Keccak256Hash, 32>>> as p3_uni_stark::StarkGenericConfig>::Challenge, <p3_uni_stark::StarkConfig<p3_fri::TwoAdicFriPcs<p3_baby_bear::BabyBear, p3_dft::Radix2DitParallel, p3_merkle_tree::FieldMerkleTreeMmcs<p3_baby_bear::BabyBear, u8, p3_symmetric::SerializingHasher32<p3_keccak::Keccak256Hash>, p3_symmetric::CompressionFunctionFromHasher<u8, p3_keccak::Keccak256Hash, 2, 32>, 32>, p3_commit::ExtensionMmcs<p3_baby_bear::BabyBear, p3_field::extension::BinomialExtensionField<p3_baby_bear::BabyBear, 4>, p3_merkle_tree::FieldMerkleTreeMmcs<p3_baby_bear::BabyBear, u8, p3_symmetric::SerializingHasher32<p3_keccak::Keccak256Hash>, p3_symmetric::CompressionFunctionFromHasher<u8, p3_keccak::Keccak256Hash, 2, 32>, 32>>>, p3_field::extension::BinomialExtensionField<p3_baby_bear::BabyBear, 4>, p3_challenger::SerializingChallenger32<p3_baby_bear::BabyBear, p3_challenger::HashChallenger<u8, p3_keccak::Keccak256Hash, 32>>> as p3_uni_stark::StarkGenericConfig>::Challenger>>::Domain as p3_commit::PolynomialSpace>::Val> as p3_air::AirBuilder>::F>>, polarity:Positive), bound_vars: [Region(BrNamed(DefId(0:817 ~ p3_keccak_machine[8a75]::test_util::prove_and_verify::'a#3)))] }`, old=Binder { value: TraitPredicate(<A as p3_air::BaseAir<p3_baby_bear::BabyBear>>, polarity:Positive), bound_vars: [Region(BrNamed(DefId(0:817 ~ p3_keccak_machine[8a75]::test_util::prove_and_verify::'a#3)))] }, next=None
[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] error: inconsistency during normalizing env `Binder { value: TraitPredicate(<A as p3_air::Air<p3_uni_stark::SymbolicAirBuilder<<<<p3_uni_stark::StarkConfig<p3_fri::TwoAdicFriPcs<p3_baby_bear::BabyBear, p3_dft::Radix2DitParallel, p3_merkle_tree::FieldMerkleTreeMmcs<p3_baby_bear::BabyBear, u8, p3_symmetric::SerializingHasher32<p3_keccak::Keccak256Hash>, p3_symmetric::CompressionFunctionFromHasher<u8, p3_keccak::Keccak256Hash, 2, 32>, 32>, p3_commit::ExtensionMmcs<p3_baby_bear::BabyBear, p3_field::extension::BinomialExtensionField<p3_baby_bear::BabyBear, 4>, p3_merkle_tree::FieldMerkleTreeMmcs<p3_baby_bear::BabyBear, u8, p3_symmetric::SerializingHasher32<p3_keccak::Keccak256Hash>, p3_symmetric::CompressionFunctionFromHasher<u8, p3_keccak::Keccak256Hash, 2, 32>, 32>>>, p3_field::extension::BinomialExtensionField<p3_baby_bear::BabyBear, 4>, p3_challenger::SerializingChallenger32<p3_baby_bear::BabyBear, p3_challenger::HashChallenger<u8, p3_keccak::Keccak256Hash, 32>>> as p3_uni_stark::StarkGenericConfig>::Pcs as p3_commit::Pcs<<p3_uni_stark::StarkConfig<p3_fri::TwoAdicFriPcs<p3_baby_bear::BabyBear, p3_dft::Radix2DitParallel, p3_merkle_tree::FieldMerkleTreeMmcs<p3_baby_bear::BabyBear, u8, p3_symmetric::SerializingHasher32<p3_keccak::Keccak256Hash>, p3_symmetric::CompressionFunctionFromHasher<u8, p3_keccak::Keccak256Hash, 2, 32>, 32>, p3_commit::ExtensionMmcs<p3_baby_bear::BabyBear, p3_field::extension::BinomialExtensionField<p3_baby_bear::BabyBear, 4>, p3_merkle_tree::FieldMerkleTreeMmcs<p3_baby_bear::BabyBear, u8, p3_symmetric::SerializingHasher32<p3_keccak::Keccak256Hash>, p3_symmetric::CompressionFunctionFromHasher<u8, p3_keccak::Keccak256Hash, 2, 32>, 32>>>, p3_field::extension::BinomialExtensionField<p3_baby_bear::BabyBear, 4>, p3_challenger::SerializingChallenger32<p3_baby_bear::BabyBear, p3_challenger::HashChallenger<u8, p3_keccak::Keccak256Hash, 32>>> as p3_uni_stark::StarkGenericConfig>::Challenge, <p3_uni_stark::StarkConfig<p3_fri::TwoAdicFriPcs<p3_baby_bear::BabyBear, p3_dft::Radix2DitParallel, p3_merkle_tree::FieldMerkleTreeMmcs<p3_baby_bear::BabyBear, u8, p3_symmetric::SerializingHasher32<p3_keccak::Keccak256Hash>, p3_symmetric::CompressionFunctionFromHasher<u8, p3_keccak::Keccak256Hash, 2, 32>, 32>, p3_commit::ExtensionMmcs<p3_baby_bear::BabyBear, p3_field::extension::BinomialExtensionField<p3_baby_bear::BabyBear, 4>, p3_merkle_tree::FieldMerkleTreeMmcs<p3_baby_bear::BabyBear, u8, p3_symmetric::SerializingHasher32<p3_keccak::Keccak256Hash>, p3_symmetric::CompressionFunctionFromHasher<u8, p3_keccak::Keccak256Hash, 2, 32>, 32>>>, p3_field::extension::BinomialExtensionField<p3_baby_bear::BabyBear, 4>, p3_challenger::SerializingChallenger32<p3_baby_bear::BabyBear, p3_challenger::HashChallenger<u8, p3_keccak::Keccak256Hash, 32>>> as p3_uni_stark::StarkGenericConfig>::Challenger>>::Domain as p3_commit::PolynomialSpace>::Val>>>, polarity:Positive), bound_vars: [Region(BrNamed(DefId(0:816 ~ p3_keccak_machine[8a75]::test_util::prove_and_verify::'a#2)))] }`, old=Binder { value: TraitPredicate(<A as p3_air::Air<p3_uni_stark::SymbolicAirBuilder<p3_baby_bear::BabyBear>>>, polarity:Positive), bound_vars: [Region(BrNamed(DefId(0:816 ~ p3_keccak_machine[8a75]::test_util::prove_and_verify::'a#2)))] }, next=None
[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] error: inconsistency during normalizing env `Binder { value: TraitPredicate(<A as p3_air::BaseAir<<p3_uni_stark::SymbolicAirBuilder<<<<p3_uni_stark::StarkConfig<p3_fri::TwoAdicFriPcs<p3_baby_bear::BabyBear, p3_dft::Radix2DitParallel, p3_merkle_tree::FieldMerkleTreeMmcs<p3_baby_bear::BabyBear, u8, p3_symmetric::SerializingHasher32<p3_keccak::Keccak256Hash>, p3_symmetric::CompressionFunctionFromHasher<u8, p3_keccak::Keccak256Hash, 2, 32>, 32>, p3_commit::ExtensionMmcs<p3_baby_bear::BabyBear, p3_field::extension::BinomialExtensionField<p3_baby_bear::BabyBear, 4>, p3_merkle_tree::FieldMerkleTreeMmcs<p3_baby_bear::BabyBear, u8, p3_symmetric::SerializingHasher32<p3_keccak::Keccak256Hash>, p3_symmetric::CompressionFunctionFromHasher<u8, p3_keccak::Keccak256Hash, 2, 32>, 32>>>, p3_field::extension::BinomialExtensionField<p3_baby_bear::BabyBear, 4>, p3_challenger::SerializingChallenger32<p3_baby_bear::BabyBear, p3_challenger::HashChallenger<u8, p3_keccak::Keccak256Hash, 32>>> as p3_uni_stark::StarkGenericConfig>::Pcs as p3_commit::Pcs<<p3_uni_stark::StarkConfig<p3_fri::TwoAdicFriPcs<p3_baby_bear::BabyBear, p3_dft::Radix2DitParallel, p3_merkle_tree::FieldMerkleTreeMmcs<p3_baby_bear::BabyBear, u8, p3_symmetric::SerializingHasher32<p3_keccak::Keccak256Hash>, p3_symmetric::CompressionFunctionFromHasher<u8, p3_keccak::Keccak256Hash, 2, 32>, 32>, p3_commit::ExtensionMmcs<p3_baby_bear::BabyBear, p3_field::extension::BinomialExtensionField<p3_baby_bear::BabyBear, 4>, p3_merkle_tree::FieldMerkleTreeMmcs<p3_baby_bear::BabyBear, u8, p3_symmetric::SerializingHasher32<p3_keccak::Keccak256Hash>, p3_symmetric::CompressionFunctionFromHasher<u8, p3_keccak::Keccak256Hash, 2, 32>, 32>>>, p3_field::extension::BinomialExtensionField<p3_baby_bear::BabyBear, 4>, p3_challenger::SerializingChallenger32<p3_baby_bear::BabyBear, p3_challenger::HashChallenger<u8, p3_keccak::Keccak256Hash, 32>>> as p3_uni_stark::StarkGenericConfig>::Challenge, <p3_uni_stark::StarkConfig<p3_fri::TwoAdicFriPcs<p3_baby_bear::BabyBear, p3_dft::Radix2DitParallel, p3_merkle_tree::FieldMerkleTreeMmcs<p3_baby_bear::BabyBear, u8, p3_symmetric::SerializingHasher32<p3_keccak::Keccak256Hash>, p3_symmetric::CompressionFunctionFromHasher<u8, p3_keccak::Keccak256Hash, 2, 32>, 32>, p3_commit::ExtensionMmcs<p3_baby_bear::BabyBear, p3_field::extension::BinomialExtensionField<p3_baby_bear::BabyBear, 4>, p3_merkle_tree::FieldMerkleTreeMmcs<p3_baby_bear::BabyBear, u8, p3_symmetric::SerializingHasher32<p3_keccak::Keccak256Hash>, p3_symmetric::CompressionFunctionFromHasher<u8, p3_keccak::Keccak256Hash, 2, 32>, 32>>>, p3_field::extension::BinomialExtensionField<p3_baby_bear::BabyBear, 4>, p3_challenger::SerializingChallenger32<p3_baby_bear::BabyBear, p3_challenger::HashChallenger<u8, p3_keccak::Keccak256Hash, 32>>> as p3_uni_stark::StarkGenericConfig>::Challenger>>::Domain as p3_commit::PolynomialSpace>::Val> as p3_air::AirBuilder>::F>>, polarity:Positive), bound_vars: [Region(BrNamed(DefId(0:816 ~ p3_keccak_machine[8a75]::test_util::prove_and_verify::'a#2)))] }`, old=Binder { value: TraitPredicate(<A as p3_air::BaseAir<p3_baby_bear::BabyBear>>, polarity:Positive), bound_vars: [Region(BrNamed(DefId(0:816 ~ p3_keccak_machine[8a75]::test_util::prove_and_verify::'a#2)))] }, next=None
[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] error: inconsistency during normalizing env `Binder { value: TraitPredicate(<A as p3_air::BaseAir<<p3_uni_stark::VerifierConstraintFolder<'a, p3_uni_stark::StarkConfig<p3_fri::TwoAdicFriPcs<p3_baby_bear::BabyBear, p3_dft::Radix2DitParallel, p3_merkle_tree::FieldMerkleTreeMmcs<p3_baby_bear::BabyBear, u8, p3_symmetric::SerializingHasher32<p3_keccak::Keccak256Hash>, p3_symmetric::CompressionFunctionFromHasher<u8, p3_keccak::Keccak256Hash, 2, 32>, 32>, p3_commit::ExtensionMmcs<p3_baby_bear::BabyBear, p3_field::extension::BinomialExtensionField<p3_baby_bear::BabyBear, 4>, p3_merkle_tree::FieldMerkleTreeMmcs<p3_baby_bear::BabyBear, u8, p3_symmetric::SerializingHasher32<p3_keccak::Keccak256Hash>, p3_symmetric::CompressionFunctionFromHasher<u8, p3_keccak::Keccak256Hash, 2, 32>, 32>>>, p3_field::extension::BinomialExtensionField<p3_baby_bear::BabyBear, 4>, p3_challenger::SerializingChallenger32<p3_baby_bear::BabyBear, p3_challenger::HashChallenger<u8, p3_keccak::Keccak256Hash, 32>>>> as p3_air::AirBuilder>::F>>, polarity:Positive), bound_vars: [Region(BrNamed(DefId(0:815 ~ p3_keccak_machine[8a75]::test_util::prove_and_verify::'a#1)))] }`, old=Binder { value: TraitPredicate(<A as p3_air::BaseAir<p3_baby_bear::BabyBear>>, polarity:Positive), bound_vars: [Region(BrNamed(DefId(0:815 ~ p3_keccak_machine[8a75]::test_util::prove_and_verify::'a#1)))] }, next=None
[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] error: inconsistency during normalizing env `Binder { value: TraitPredicate(<A as p3_air::BaseAir<<p3_uni_stark::ProverConstraintFolder<'a, p3_uni_stark::StarkConfig<p3_fri::TwoAdicFriPcs<p3_baby_bear::BabyBear, p3_dft::Radix2DitParallel, p3_merkle_tree::FieldMerkleTreeMmcs<p3_baby_bear::BabyBear, u8, p3_symmetric::SerializingHasher32<p3_keccak::Keccak256Hash>, p3_symmetric::CompressionFunctionFromHasher<u8, p3_keccak::Keccak256Hash, 2, 32>, 32>, p3_commit::ExtensionMmcs<p3_baby_bear::BabyBear, p3_field::extension::BinomialExtensionField<p3_baby_bear::BabyBear, 4>, p3_merkle_tree::FieldMerkleTreeMmcs<p3_baby_bear::BabyBear, u8, p3_symmetric::SerializingHasher32<p3_keccak::Keccak256Hash>, p3_symmetric::CompressionFunctionFromHasher<u8, p3_keccak::Keccak256Hash, 2, 32>, 32>>>, p3_field::extension::BinomialExtensionField<p3_baby_bear::BabyBear, 4>, p3_challenger::SerializingChallenger32<p3_baby_bear::BabyBear, p3_challenger::HashChallenger<u8, p3_keccak::Keccak256Hash, 32>>>> as p3_air::AirBuilder>::F>>, polarity:Positive), bound_vars: [Region(BrNamed(DefId(0:814 ~ p3_keccak_machine[8a75]::test_util::prove_and_verify::'a)))] }`, old=Binder { value: TraitPredicate(<A as p3_air::BaseAir<p3_baby_bear::BabyBear>>, polarity:Positive), bound_vars: [Region(BrNamed(DefId(0:814 ~ p3_keccak_machine[8a75]::test_util::prove_and_verify::'a)))] }, next=None
[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] [stderr] error: could not compile `p3-keccak-machine` (lib test) due to 45 previous errors; 1 warning emitted
[INFO] running `Command { std: "docker" "inspect" "a23559a910b1a965ac0b5c85f63ddd74bcc432803e8cd516ac192ba9379bcf0b", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "a23559a910b1a965ac0b5c85f63ddd74bcc432803e8cd516ac192ba9379bcf0b", kill_on_drop: false }`
[INFO] [stdout] a23559a910b1a965ac0b5c85f63ddd74bcc432803e8cd516ac192ba9379bcf0b
