[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-2 [INFO] running `Command { std: "git" "clone" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Fshuklaayush%2Fp3-keccak-machine" "/workspace/builds/worker-3-tc2/source", kill_on_drop: false }` [INFO] [stderr] Cloning into '/workspace/builds/worker-3-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-3-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-3-tc2/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-3-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] 2a07fdee7804c0ba5caca38f400519e3dc6e57b947c759c56e790a94242fb125 [INFO] running `Command { std: "docker" "start" "-a" "2a07fdee7804c0ba5caca38f400519e3dc6e57b947c759c56e790a94242fb125", kill_on_drop: false }` [INFO] running `Command { std: "docker" "inspect" "2a07fdee7804c0ba5caca38f400519e3dc6e57b947c759c56e790a94242fb125", kill_on_drop: false }` [INFO] running `Command { std: "docker" "rm" "-f" "2a07fdee7804c0ba5caca38f400519e3dc6e57b947c759c56e790a94242fb125", kill_on_drop: false }` [INFO] [stdout] 2a07fdee7804c0ba5caca38f400519e3dc6e57b947c759c56e790a94242fb125 [INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-3-tc2/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-3-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] 8a3958af6423076d9a388f66c7b462c790f19a95aad0e724de55be444f3c60b3 [INFO] running `Command { std: "docker" "start" "-a" "8a3958af6423076d9a388f66c7b462c790f19a95aad0e724de55be444f3c60b3", kill_on_drop: false }` [INFO] [stderr] Compiling proc-macro2 v1.0.85 [INFO] [stderr] Compiling unicode-ident v1.0.12 [INFO] [stderr] Checking cfg-if v1.0.0 [INFO] [stderr] Compiling libc v0.2.155 [INFO] [stderr] Compiling autocfg v1.3.0 [INFO] [stderr] Checking once_cell v1.19.0 [INFO] [stderr] Checking ppv-lite86 v0.2.17 [INFO] [stderr] Compiling serde v1.0.203 [INFO] [stderr] Checking either v1.12.0 [INFO] [stderr] Checking pin-project-lite v0.2.14 [INFO] [stderr] Checking tracing-core v0.1.32 [INFO] [stderr] Checking p3-maybe-rayon v0.1.0 (https://github.com/Plonky3/Plonky3.git#fde81db9) [INFO] [stderr] Compiling version_check v0.9.4 [INFO] [stderr] Checking itertools v0.13.0 [INFO] [stderr] Checking itertools v0.12.1 [INFO] [stderr] Compiling crunchy v0.2.2 [INFO] [stderr] Compiling ahash v0.8.11 [INFO] [stderr] Checking regex-syntax v0.8.3 [INFO] [stderr] Compiling num-traits v0.2.19 [INFO] [stderr] Checking zerocopy v0.7.34 [INFO] [stderr] Checking regex-syntax v0.6.29 [INFO] [stderr] Compiling quote v1.0.36 [INFO] [stderr] Checking getrandom v0.2.15 [INFO] [stderr] Checking rand_core v0.6.4 [INFO] [stderr] Compiling syn v2.0.66 [INFO] [stderr] Checking allocator-api2 v0.2.18 [INFO] [stderr] Checking rand_chacha v0.3.1 [INFO] [stderr] Checking rand v0.8.5 [INFO] [stderr] Checking num-integer v0.1.46 [INFO] [stderr] Compiling thiserror v1.0.61 [INFO] [stderr] Checking lazy_static v1.4.0 [INFO] [stderr] Checking overload v0.1.1 [INFO] [stderr] Checking log v0.4.21 [INFO] [stderr] Compiling tiny-keccak v2.0.2 [INFO] [stderr] Checking tracing-log v0.2.0 [INFO] [stderr] Checking nu-ansi-term v0.46.0 [INFO] [stderr] Checking num-bigint v0.4.5 [INFO] [stderr] Checking sharded-slab v0.1.7 [INFO] [stderr] Checking regex-automata v0.4.6 [INFO] [stderr] Checking hashbrown v0.14.5 [INFO] [stderr] Checking thread_local v1.1.8 [INFO] [stderr] Checking smallvec v1.13.2 [INFO] [stderr] Checking gcd v2.3.0 [INFO] [stderr] Checking ansi_term v0.12.1 [INFO] [stderr] Checking regex-automata v0.1.10 [INFO] [stderr] Checking matchers v0.1.0 [INFO] [stderr] Checking nums v0.1.0 [INFO] [stderr] Checking regex v1.10.4 [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-dft 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-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-keccak v0.1.0 (https://github.com/Plonky3/Plonky3.git#fde81db9) [INFO] [stderr] Checking p3-interaction v0.1.0 (https://github.com/shuklaayush/p3-utils.git#213a393f) [INFO] [stderr] Checking p3-commit v0.1.0 (https://github.com/Plonky3/Plonky3.git#fde81db9) [INFO] [stderr] Checking p3-mds v0.1.0 (https://github.com/Plonky3/Plonky3.git#fde81db9) [INFO] [stderr] Checking p3-uni-stark v0.1.0 (https://github.com/Plonky3/Plonky3.git#fde81db9) [INFO] [stderr] Checking p3-fri v0.1.0 (https://github.com/Plonky3/Plonky3.git#fde81db9) [INFO] [stderr] Checking p3-merkle-tree v0.1.0 (https://github.com/Plonky3/Plonky3.git#fde81db9) [INFO] [stderr] Checking p3-poseidon2 v0.1.0 (https://github.com/Plonky3/Plonky3.git#fde81db9) [INFO] [stderr] Checking p3-baby-bear v0.1.0 (https://github.com/Plonky3/Plonky3.git#fde81db9) [INFO] [stderr] Checking p3-air-util v0.1.0 (https://github.com/shuklaayush/p3-utils.git#213a393f) [INFO] [stderr] Checking p3-machine v0.1.0 (https://github.com/shuklaayush/p3-utils.git#213a393f) [INFO] [stderr] Checking p3-keccak-machine v0.1.0 (/opt/rustwide/workdir) [INFO] [stdout] warning: unused import: `constants::*` [INFO] [stdout] --> src/airs/keccak/mod.rs:10:9 [INFO] [stdout] | [INFO] [stdout] 10 | pub use constants::*; [INFO] [stdout] | ^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = note: `#[warn(unused_imports)]` (part of `#[warn(unused)]`) on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `constants::*` [INFO] [stdout] --> src/airs/keccak/mod.rs:10:9 [INFO] [stdout] | [INFO] [stdout] 10 | pub use constants::*; [INFO] [stdout] | ^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = note: `#[warn(unused_imports)]` (part of `#[warn(unused)]`) on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] 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 = 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 { [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; [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; [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; [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; [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; [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>; [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; [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; [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( [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: inconsistency during normalizing env `Binder { value: TraitPredicate(<<<, p3_symmetric::CompressionFunctionFromHasher, 32>, p3_commit::ExtensionMmcs, p3_merkle_tree::FieldMerkleTreeMmcs, p3_symmetric::CompressionFunctionFromHasher, 32>>>, p3_field::extension::BinomialExtensionField, p3_challenger::SerializingChallenger32>> as p3_uni_stark::StarkGenericConfig>::Pcs as p3_commit::Pcs<, p3_symmetric::CompressionFunctionFromHasher, 32>, p3_commit::ExtensionMmcs, p3_merkle_tree::FieldMerkleTreeMmcs, p3_symmetric::CompressionFunctionFromHasher, 32>>>, p3_field::extension::BinomialExtensionField, p3_challenger::SerializingChallenger32>> as p3_uni_stark::StarkGenericConfig>::Challenge, , p3_symmetric::CompressionFunctionFromHasher, 32>, p3_commit::ExtensionMmcs, p3_merkle_tree::FieldMerkleTreeMmcs, p3_symmetric::CompressionFunctionFromHasher, 32>>>, p3_field::extension::BinomialExtensionField, p3_challenger::SerializingChallenger32>> as p3_uni_stark::StarkGenericConfig>::Challenger>>::Domain as p3_commit::PolynomialSpace>::Val as p3_field::PrimeField32>, polarity:Positive), bound_vars: [] }`, old=Binder { value: TraitPredicate(, 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> [INFO] [stdout] 15 | | + for<'a> Air> [INFO] [stdout] 16 | | + for<'a> Air>>, [INFO] [stdout] ... | [INFO] [stdout] 26 | | where [INFO] [stdout] 27 | | Val: PrimeField32, [INFO] [stdout] | |________________________________^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: inconsistency during normalizing env `Binder { value: TraitPredicate(<<<, p3_symmetric::CompressionFunctionFromHasher, 32>, p3_commit::ExtensionMmcs, p3_merkle_tree::FieldMerkleTreeMmcs, p3_symmetric::CompressionFunctionFromHasher, 32>>>, p3_field::extension::BinomialExtensionField, p3_challenger::SerializingChallenger32>> as p3_uni_stark::StarkGenericConfig>::Pcs as p3_commit::Pcs<, p3_symmetric::CompressionFunctionFromHasher, 32>, p3_commit::ExtensionMmcs, p3_merkle_tree::FieldMerkleTreeMmcs, p3_symmetric::CompressionFunctionFromHasher, 32>>>, p3_field::extension::BinomialExtensionField, p3_challenger::SerializingChallenger32>> as p3_uni_stark::StarkGenericConfig>::Challenge, , p3_symmetric::CompressionFunctionFromHasher, 32>, p3_commit::ExtensionMmcs, p3_merkle_tree::FieldMerkleTreeMmcs, p3_symmetric::CompressionFunctionFromHasher, 32>>>, p3_field::extension::BinomialExtensionField, p3_challenger::SerializingChallenger32>> as p3_uni_stark::StarkGenericConfig>::Challenger>>::Domain as p3_commit::PolynomialSpace>::Val as p3_field::PrimeField64>, polarity:Positive), bound_vars: [] }`, old=Binder { value: TraitPredicate(, 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> [INFO] [stdout] 15 | | + for<'a> Air> [INFO] [stdout] 16 | | + for<'a> Air>>, [INFO] [stdout] ... | [INFO] [stdout] 26 | | where [INFO] [stdout] 27 | | Val: PrimeField32, [INFO] [stdout] | |________________________________^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: inconsistency during normalizing env `Binder { value: TraitPredicate(<<<, p3_symmetric::CompressionFunctionFromHasher, 32>, p3_commit::ExtensionMmcs, p3_merkle_tree::FieldMerkleTreeMmcs, p3_symmetric::CompressionFunctionFromHasher, 32>>>, p3_field::extension::BinomialExtensionField, p3_challenger::SerializingChallenger32>> as p3_uni_stark::StarkGenericConfig>::Pcs as p3_commit::Pcs<, p3_symmetric::CompressionFunctionFromHasher, 32>, p3_commit::ExtensionMmcs, p3_merkle_tree::FieldMerkleTreeMmcs, p3_symmetric::CompressionFunctionFromHasher, 32>>>, p3_field::extension::BinomialExtensionField, p3_challenger::SerializingChallenger32>> as p3_uni_stark::StarkGenericConfig>::Challenge, , p3_symmetric::CompressionFunctionFromHasher, 32>, p3_commit::ExtensionMmcs, p3_merkle_tree::FieldMerkleTreeMmcs, p3_symmetric::CompressionFunctionFromHasher, 32>>>, p3_field::extension::BinomialExtensionField, p3_challenger::SerializingChallenger32>> as p3_uni_stark::StarkGenericConfig>::Challenger>>::Domain as p3_commit::PolynomialSpace>::Val as p3_field::PrimeField>, polarity:Positive), bound_vars: [] }`, old=Binder { value: TraitPredicate(, 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> [INFO] [stdout] 15 | | + for<'a> Air> [INFO] [stdout] 16 | | + for<'a> Air>>, [INFO] [stdout] ... | [INFO] [stdout] 26 | | where [INFO] [stdout] 27 | | Val: PrimeField32, [INFO] [stdout] | |________________________________^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: inconsistency during normalizing env `Binder { value: TraitPredicate(<<<, p3_symmetric::CompressionFunctionFromHasher, 32>, p3_commit::ExtensionMmcs, p3_merkle_tree::FieldMerkleTreeMmcs, p3_symmetric::CompressionFunctionFromHasher, 32>>>, p3_field::extension::BinomialExtensionField, p3_challenger::SerializingChallenger32>> as p3_uni_stark::StarkGenericConfig>::Pcs as p3_commit::Pcs<, p3_symmetric::CompressionFunctionFromHasher, 32>, p3_commit::ExtensionMmcs, p3_merkle_tree::FieldMerkleTreeMmcs, p3_symmetric::CompressionFunctionFromHasher, 32>>>, p3_field::extension::BinomialExtensionField, p3_challenger::SerializingChallenger32>> as p3_uni_stark::StarkGenericConfig>::Challenge, , p3_symmetric::CompressionFunctionFromHasher, 32>, p3_commit::ExtensionMmcs, p3_merkle_tree::FieldMerkleTreeMmcs, p3_symmetric::CompressionFunctionFromHasher, 32>>>, p3_field::extension::BinomialExtensionField, p3_challenger::SerializingChallenger32>> as p3_uni_stark::StarkGenericConfig>::Challenger>>::Domain as p3_commit::PolynomialSpace>::Val as std::cmp::Ord>, polarity:Positive), bound_vars: [] }`, old=Binder { value: TraitPredicate(, 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> [INFO] [stdout] 15 | | + for<'a> Air> [INFO] [stdout] 16 | | + for<'a> Air>>, [INFO] [stdout] ... | [INFO] [stdout] 26 | | where [INFO] [stdout] 27 | | Val: PrimeField32, [INFO] [stdout] | |________________________________^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: inconsistency during normalizing env `Binder { value: TraitPredicate(<<<, p3_symmetric::CompressionFunctionFromHasher, 32>, p3_commit::ExtensionMmcs, p3_merkle_tree::FieldMerkleTreeMmcs, p3_symmetric::CompressionFunctionFromHasher, 32>>>, p3_field::extension::BinomialExtensionField, p3_challenger::SerializingChallenger32>> as p3_uni_stark::StarkGenericConfig>::Pcs as p3_commit::Pcs<, p3_symmetric::CompressionFunctionFromHasher, 32>, p3_commit::ExtensionMmcs, p3_merkle_tree::FieldMerkleTreeMmcs, p3_symmetric::CompressionFunctionFromHasher, 32>>>, p3_field::extension::BinomialExtensionField, p3_challenger::SerializingChallenger32>> as p3_uni_stark::StarkGenericConfig>::Challenge, , p3_symmetric::CompressionFunctionFromHasher, 32>, p3_commit::ExtensionMmcs, p3_merkle_tree::FieldMerkleTreeMmcs, p3_symmetric::CompressionFunctionFromHasher, 32>>>, p3_field::extension::BinomialExtensionField, p3_challenger::SerializingChallenger32>> as p3_uni_stark::StarkGenericConfig>::Challenger>>::Domain as p3_commit::PolynomialSpace>::Val as std::cmp::PartialOrd>, polarity:Positive), bound_vars: [] }`, old=Binder { value: TraitPredicate(, 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> [INFO] [stdout] 15 | | + for<'a> Air> [INFO] [stdout] 16 | | + for<'a> Air>>, [INFO] [stdout] ... | [INFO] [stdout] 26 | | where [INFO] [stdout] 27 | | Val: PrimeField32, [INFO] [stdout] | |________________________________^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: inconsistency during normalizing env `Binder { value: TraitPredicate(<<<, p3_symmetric::CompressionFunctionFromHasher, 32>, p3_commit::ExtensionMmcs, p3_merkle_tree::FieldMerkleTreeMmcs, p3_symmetric::CompressionFunctionFromHasher, 32>>>, p3_field::extension::BinomialExtensionField, p3_challenger::SerializingChallenger32>> as p3_uni_stark::StarkGenericConfig>::Pcs as p3_commit::Pcs<, p3_symmetric::CompressionFunctionFromHasher, 32>, p3_commit::ExtensionMmcs, p3_merkle_tree::FieldMerkleTreeMmcs, p3_symmetric::CompressionFunctionFromHasher, 32>>>, p3_field::extension::BinomialExtensionField, p3_challenger::SerializingChallenger32>> as p3_uni_stark::StarkGenericConfig>::Challenge, , p3_symmetric::CompressionFunctionFromHasher, 32>, p3_commit::ExtensionMmcs, p3_merkle_tree::FieldMerkleTreeMmcs, p3_symmetric::CompressionFunctionFromHasher, 32>>>, p3_field::extension::BinomialExtensionField, p3_challenger::SerializingChallenger32>> as p3_uni_stark::StarkGenericConfig>::Challenger>>::Domain as p3_commit::PolynomialSpace>::Val as std::cmp::PartialEq>, polarity:Positive), bound_vars: [] }`, old=Binder { value: TraitPredicate(, 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> [INFO] [stdout] 15 | | + for<'a> Air> [INFO] [stdout] 16 | | + for<'a> Air>>, [INFO] [stdout] ... | [INFO] [stdout] 26 | | where [INFO] [stdout] 27 | | Val: PrimeField32, [INFO] [stdout] | |________________________________^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: inconsistency during normalizing env `Binder { value: TraitPredicate(<<<, p3_symmetric::CompressionFunctionFromHasher, 32>, p3_commit::ExtensionMmcs, p3_merkle_tree::FieldMerkleTreeMmcs, p3_symmetric::CompressionFunctionFromHasher, 32>>>, p3_field::extension::BinomialExtensionField, p3_challenger::SerializingChallenger32>> as p3_uni_stark::StarkGenericConfig>::Pcs as p3_commit::Pcs<, p3_symmetric::CompressionFunctionFromHasher, 32>, p3_commit::ExtensionMmcs, p3_merkle_tree::FieldMerkleTreeMmcs, p3_symmetric::CompressionFunctionFromHasher, 32>>>, p3_field::extension::BinomialExtensionField, p3_challenger::SerializingChallenger32>> as p3_uni_stark::StarkGenericConfig>::Challenge, , p3_symmetric::CompressionFunctionFromHasher, 32>, p3_commit::ExtensionMmcs, p3_merkle_tree::FieldMerkleTreeMmcs, p3_symmetric::CompressionFunctionFromHasher, 32>>>, p3_field::extension::BinomialExtensionField, p3_challenger::SerializingChallenger32>> as p3_uni_stark::StarkGenericConfig>::Challenger>>::Domain as p3_commit::PolynomialSpace>::Val as std::cmp::Eq>, polarity:Positive), bound_vars: [] }`, old=Binder { value: TraitPredicate(, 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> [INFO] [stdout] 15 | | + for<'a> Air> [INFO] [stdout] 16 | | + for<'a> Air>>, [INFO] [stdout] ... | [INFO] [stdout] 26 | | where [INFO] [stdout] 27 | | Val: PrimeField32, [INFO] [stdout] | |________________________________^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: inconsistency during normalizing env `Binder { value: TraitPredicate(<<<, p3_symmetric::CompressionFunctionFromHasher, 32>, p3_commit::ExtensionMmcs, p3_merkle_tree::FieldMerkleTreeMmcs, p3_symmetric::CompressionFunctionFromHasher, 32>>>, p3_field::extension::BinomialExtensionField, p3_challenger::SerializingChallenger32>> as p3_uni_stark::StarkGenericConfig>::Pcs as p3_commit::Pcs<, p3_symmetric::CompressionFunctionFromHasher, 32>, p3_commit::ExtensionMmcs, p3_merkle_tree::FieldMerkleTreeMmcs, p3_symmetric::CompressionFunctionFromHasher, 32>>>, p3_field::extension::BinomialExtensionField, p3_challenger::SerializingChallenger32>> as p3_uni_stark::StarkGenericConfig>::Challenge, , p3_symmetric::CompressionFunctionFromHasher, 32>, p3_commit::ExtensionMmcs, p3_merkle_tree::FieldMerkleTreeMmcs, p3_symmetric::CompressionFunctionFromHasher, 32>>>, p3_field::extension::BinomialExtensionField, p3_challenger::SerializingChallenger32>> as p3_uni_stark::StarkGenericConfig>::Challenger>>::Domain as p3_commit::PolynomialSpace>::Val as p3_field::Field>, polarity:Positive), bound_vars: [] }`, old=Binder { value: TraitPredicate(, 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> [INFO] [stdout] 15 | | + for<'a> Air> [INFO] [stdout] 16 | | + for<'a> Air>>, [INFO] [stdout] ... | [INFO] [stdout] 26 | | where [INFO] [stdout] 27 | | Val: PrimeField32, [INFO] [stdout] | |________________________________^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: inconsistency during normalizing env `Binder { value: TraitPredicate(<<<, p3_symmetric::CompressionFunctionFromHasher, 32>, p3_commit::ExtensionMmcs, p3_merkle_tree::FieldMerkleTreeMmcs, p3_symmetric::CompressionFunctionFromHasher, 32>>>, p3_field::extension::BinomialExtensionField, p3_challenger::SerializingChallenger32>> as p3_uni_stark::StarkGenericConfig>::Pcs as p3_commit::Pcs<, p3_symmetric::CompressionFunctionFromHasher, 32>, p3_commit::ExtensionMmcs, p3_merkle_tree::FieldMerkleTreeMmcs, p3_symmetric::CompressionFunctionFromHasher, 32>>>, p3_field::extension::BinomialExtensionField, p3_challenger::SerializingChallenger32>> as p3_uni_stark::StarkGenericConfig>::Challenge, , p3_symmetric::CompressionFunctionFromHasher, 32>, p3_commit::ExtensionMmcs, p3_merkle_tree::FieldMerkleTreeMmcs, p3_symmetric::CompressionFunctionFromHasher, 32>>>, p3_field::extension::BinomialExtensionField, p3_challenger::SerializingChallenger32>> as p3_uni_stark::StarkGenericConfig>::Challenger>>::Domain as p3_commit::PolynomialSpace>::Val as serde::de::DeserializeOwned>, polarity:Positive), bound_vars: [] }`, old=Binder { value: TraitPredicate(, 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> [INFO] [stdout] 15 | | + for<'a> Air> [INFO] [stdout] 16 | | + for<'a> Air>>, [INFO] [stdout] ... | [INFO] [stdout] 26 | | where [INFO] [stdout] 27 | | Val: PrimeField32, [INFO] [stdout] | |________________________________^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: inconsistency during normalizing env `Binder { value: TraitPredicate(<<<, p3_symmetric::CompressionFunctionFromHasher, 32>, p3_commit::ExtensionMmcs, p3_merkle_tree::FieldMerkleTreeMmcs, p3_symmetric::CompressionFunctionFromHasher, 32>>>, p3_field::extension::BinomialExtensionField, p3_challenger::SerializingChallenger32>> as p3_uni_stark::StarkGenericConfig>::Pcs as p3_commit::Pcs<, p3_symmetric::CompressionFunctionFromHasher, 32>, p3_commit::ExtensionMmcs, p3_merkle_tree::FieldMerkleTreeMmcs, p3_symmetric::CompressionFunctionFromHasher, 32>>>, p3_field::extension::BinomialExtensionField, p3_challenger::SerializingChallenger32>> as p3_uni_stark::StarkGenericConfig>::Challenge, , p3_symmetric::CompressionFunctionFromHasher, 32>, p3_commit::ExtensionMmcs, p3_merkle_tree::FieldMerkleTreeMmcs, p3_symmetric::CompressionFunctionFromHasher, 32>>>, p3_field::extension::BinomialExtensionField, p3_challenger::SerializingChallenger32>> 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(>, 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> [INFO] [stdout] 15 | | + for<'a> Air> [INFO] [stdout] 16 | | + for<'a> Air>>, [INFO] [stdout] ... | [INFO] [stdout] 26 | | where [INFO] [stdout] 27 | | Val: PrimeField32, [INFO] [stdout] | |________________________________^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: inconsistency during normalizing env `Binder { value: TraitPredicate(<<<, p3_symmetric::CompressionFunctionFromHasher, 32>, p3_commit::ExtensionMmcs, p3_merkle_tree::FieldMerkleTreeMmcs, p3_symmetric::CompressionFunctionFromHasher, 32>>>, p3_field::extension::BinomialExtensionField, p3_challenger::SerializingChallenger32>> as p3_uni_stark::StarkGenericConfig>::Pcs as p3_commit::Pcs<, p3_symmetric::CompressionFunctionFromHasher, 32>, p3_commit::ExtensionMmcs, p3_merkle_tree::FieldMerkleTreeMmcs, p3_symmetric::CompressionFunctionFromHasher, 32>>>, p3_field::extension::BinomialExtensionField, p3_challenger::SerializingChallenger32>> as p3_uni_stark::StarkGenericConfig>::Challenge, , p3_symmetric::CompressionFunctionFromHasher, 32>, p3_commit::ExtensionMmcs, p3_merkle_tree::FieldMerkleTreeMmcs, p3_symmetric::CompressionFunctionFromHasher, 32>>>, p3_field::extension::BinomialExtensionField, p3_challenger::SerializingChallenger32>> 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(, 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> [INFO] [stdout] 15 | | + for<'a> Air> [INFO] [stdout] 16 | | + for<'a> Air>>, [INFO] [stdout] ... | [INFO] [stdout] 26 | | where [INFO] [stdout] 27 | | Val: PrimeField32, [INFO] [stdout] | |________________________________^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: inconsistency during normalizing env `Binder { value: TraitPredicate(<<<, p3_symmetric::CompressionFunctionFromHasher, 32>, p3_commit::ExtensionMmcs, p3_merkle_tree::FieldMerkleTreeMmcs, p3_symmetric::CompressionFunctionFromHasher, 32>>>, p3_field::extension::BinomialExtensionField, p3_challenger::SerializingChallenger32>> as p3_uni_stark::StarkGenericConfig>::Pcs as p3_commit::Pcs<, p3_symmetric::CompressionFunctionFromHasher, 32>, p3_commit::ExtensionMmcs, p3_merkle_tree::FieldMerkleTreeMmcs, p3_symmetric::CompressionFunctionFromHasher, 32>>>, p3_field::extension::BinomialExtensionField, p3_challenger::SerializingChallenger32>> as p3_uni_stark::StarkGenericConfig>::Challenge, , p3_symmetric::CompressionFunctionFromHasher, 32>, p3_commit::ExtensionMmcs, p3_merkle_tree::FieldMerkleTreeMmcs, p3_symmetric::CompressionFunctionFromHasher, 32>>>, p3_field::extension::BinomialExtensionField, p3_challenger::SerializingChallenger32>> as p3_uni_stark::StarkGenericConfig>::Challenger>>::Domain as p3_commit::PolynomialSpace>::Val as serde::ser::Serialize>, polarity:Positive), bound_vars: [] }`, old=Binder { value: TraitPredicate(, 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> [INFO] [stdout] 15 | | + for<'a> Air> [INFO] [stdout] 16 | | + for<'a> Air>>, [INFO] [stdout] ... | [INFO] [stdout] 26 | | where [INFO] [stdout] 27 | | Val: PrimeField32, [INFO] [stdout] | |________________________________^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: inconsistency during normalizing env `Binder { value: TraitPredicate(<<<, p3_symmetric::CompressionFunctionFromHasher, 32>, p3_commit::ExtensionMmcs, p3_merkle_tree::FieldMerkleTreeMmcs, p3_symmetric::CompressionFunctionFromHasher, 32>>>, p3_field::extension::BinomialExtensionField, p3_challenger::SerializingChallenger32>> as p3_uni_stark::StarkGenericConfig>::Pcs as p3_commit::Pcs<, p3_symmetric::CompressionFunctionFromHasher, 32>, p3_commit::ExtensionMmcs, p3_merkle_tree::FieldMerkleTreeMmcs, p3_symmetric::CompressionFunctionFromHasher, 32>>>, p3_field::extension::BinomialExtensionField, p3_challenger::SerializingChallenger32>> as p3_uni_stark::StarkGenericConfig>::Challenge, , p3_symmetric::CompressionFunctionFromHasher, 32>, p3_commit::ExtensionMmcs, p3_merkle_tree::FieldMerkleTreeMmcs, p3_symmetric::CompressionFunctionFromHasher, 32>>>, p3_field::extension::BinomialExtensionField, p3_challenger::SerializingChallenger32>> as p3_uni_stark::StarkGenericConfig>::Challenger>>::Domain as p3_commit::PolynomialSpace>::Val as std::fmt::Display>, polarity:Positive), bound_vars: [] }`, old=Binder { value: TraitPredicate(, 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> [INFO] [stdout] 15 | | + for<'a> Air> [INFO] [stdout] 16 | | + for<'a> Air>>, [INFO] [stdout] ... | [INFO] [stdout] 26 | | where [INFO] [stdout] 27 | | Val: PrimeField32, [INFO] [stdout] | |________________________________^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: inconsistency during normalizing env `Binder { value: TraitPredicate(<<<, p3_symmetric::CompressionFunctionFromHasher, 32>, p3_commit::ExtensionMmcs, p3_merkle_tree::FieldMerkleTreeMmcs, p3_symmetric::CompressionFunctionFromHasher, 32>>>, p3_field::extension::BinomialExtensionField, p3_challenger::SerializingChallenger32>> as p3_uni_stark::StarkGenericConfig>::Pcs as p3_commit::Pcs<, p3_symmetric::CompressionFunctionFromHasher, 32>, p3_commit::ExtensionMmcs, p3_merkle_tree::FieldMerkleTreeMmcs, p3_symmetric::CompressionFunctionFromHasher, 32>>>, p3_field::extension::BinomialExtensionField, p3_challenger::SerializingChallenger32>> as p3_uni_stark::StarkGenericConfig>::Challenge, , p3_symmetric::CompressionFunctionFromHasher, 32>, p3_commit::ExtensionMmcs, p3_merkle_tree::FieldMerkleTreeMmcs, p3_symmetric::CompressionFunctionFromHasher, 32>>>, p3_field::extension::BinomialExtensionField, p3_challenger::SerializingChallenger32>> as p3_uni_stark::StarkGenericConfig>::Challenger>>::Domain as p3_commit::PolynomialSpace>::Val as std::marker::Sync>, polarity:Positive), bound_vars: [] }`, old=Binder { value: TraitPredicate(, 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> [INFO] [stdout] 15 | | + for<'a> Air> [INFO] [stdout] 16 | | + for<'a> Air>>, [INFO] [stdout] ... | [INFO] [stdout] 26 | | where [INFO] [stdout] 27 | | Val: PrimeField32, [INFO] [stdout] | |________________________________^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: inconsistency during normalizing env `Binder { value: TraitPredicate(<<<, p3_symmetric::CompressionFunctionFromHasher, 32>, p3_commit::ExtensionMmcs, p3_merkle_tree::FieldMerkleTreeMmcs, p3_symmetric::CompressionFunctionFromHasher, 32>>>, p3_field::extension::BinomialExtensionField, p3_challenger::SerializingChallenger32>> as p3_uni_stark::StarkGenericConfig>::Pcs as p3_commit::Pcs<, p3_symmetric::CompressionFunctionFromHasher, 32>, p3_commit::ExtensionMmcs, p3_merkle_tree::FieldMerkleTreeMmcs, p3_symmetric::CompressionFunctionFromHasher, 32>>>, p3_field::extension::BinomialExtensionField, p3_challenger::SerializingChallenger32>> as p3_uni_stark::StarkGenericConfig>::Challenge, , p3_symmetric::CompressionFunctionFromHasher, 32>, p3_commit::ExtensionMmcs, p3_merkle_tree::FieldMerkleTreeMmcs, p3_symmetric::CompressionFunctionFromHasher, 32>>>, p3_field::extension::BinomialExtensionField, p3_challenger::SerializingChallenger32>> as p3_uni_stark::StarkGenericConfig>::Challenger>>::Domain as p3_commit::PolynomialSpace>::Val as std::marker::Send>, polarity:Positive), bound_vars: [] }`, old=Binder { value: TraitPredicate(, 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> [INFO] [stdout] 15 | | + for<'a> Air> [INFO] [stdout] 16 | | + for<'a> Air>>, [INFO] [stdout] ... | [INFO] [stdout] 26 | | where [INFO] [stdout] 27 | | Val: PrimeField32, [INFO] [stdout] | |________________________________^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: inconsistency during normalizing env `Binder { value: TraitPredicate(<<<, p3_symmetric::CompressionFunctionFromHasher, 32>, p3_commit::ExtensionMmcs, p3_merkle_tree::FieldMerkleTreeMmcs, p3_symmetric::CompressionFunctionFromHasher, 32>>>, p3_field::extension::BinomialExtensionField, p3_challenger::SerializingChallenger32>> as p3_uni_stark::StarkGenericConfig>::Pcs as p3_commit::Pcs<, p3_symmetric::CompressionFunctionFromHasher, 32>, p3_commit::ExtensionMmcs, p3_merkle_tree::FieldMerkleTreeMmcs, p3_symmetric::CompressionFunctionFromHasher, 32>>>, p3_field::extension::BinomialExtensionField, p3_challenger::SerializingChallenger32>> as p3_uni_stark::StarkGenericConfig>::Challenge, , p3_symmetric::CompressionFunctionFromHasher, 32>, p3_commit::ExtensionMmcs, p3_merkle_tree::FieldMerkleTreeMmcs, p3_symmetric::CompressionFunctionFromHasher, 32>>>, p3_field::extension::BinomialExtensionField, p3_challenger::SerializingChallenger32>> as p3_uni_stark::StarkGenericConfig>::Challenger>>::Domain as p3_commit::PolynomialSpace>::Val as std::hash::Hash>, polarity:Positive), bound_vars: [] }`, old=Binder { value: TraitPredicate(, 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> [INFO] [stdout] 15 | | + for<'a> Air> [INFO] [stdout] 16 | | + for<'a> Air>>, [INFO] [stdout] ... | [INFO] [stdout] 26 | | where [INFO] [stdout] 27 | | Val: 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_symmetric::CompressionFunctionFromHasher, 32_usize>, p3_commit::ExtensionMmcs, p3_merkle_tree::FieldMerkleTreeMmcs, p3_symmetric::CompressionFunctionFromHasher, 32_usize>>>, p3_field::extension::BinomialExtensionField, p3_challenger::SerializingChallenger32>>], def_id: DefId(52:25 ~ p3_uni_stark[88bb]::config::StarkGenericConfig::Pcs), .. }), Alias(Projection, AliasTy { args: [p3_uni_stark::StarkConfig, p3_symmetric::CompressionFunctionFromHasher, 32_usize>, p3_commit::ExtensionMmcs, p3_merkle_tree::FieldMerkleTreeMmcs, p3_symmetric::CompressionFunctionFromHasher, 32_usize>>>, p3_field::extension::BinomialExtensionField, p3_challenger::SerializingChallenger32>>], def_id: DefId(52:26 ~ p3_uni_stark[88bb]::config::StarkGenericConfig::Challenge), .. }), Alias(Projection, AliasTy { args: [p3_uni_stark::StarkConfig, p3_symmetric::CompressionFunctionFromHasher, 32_usize>, p3_commit::ExtensionMmcs, p3_merkle_tree::FieldMerkleTreeMmcs, p3_symmetric::CompressionFunctionFromHasher, 32_usize>>>, p3_field::extension::BinomialExtensionField, p3_challenger::SerializingChallenger32>>], 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_symmetric::CompressionFunctionFromHasher, 32_usize>, p3_commit::ExtensionMmcs, p3_merkle_tree::FieldMerkleTreeMmcs, p3_symmetric::CompressionFunctionFromHasher, 32_usize>>>, p3_field::extension::BinomialExtensionField, p3_challenger::SerializingChallenger32>>], def_id: DefId(52:25 ~ p3_uni_stark[88bb]::config::StarkGenericConfig::Pcs), .. }), Alias(Projection, AliasTy { args: [p3_uni_stark::StarkConfig, p3_symmetric::CompressionFunctionFromHasher, 32_usize>, p3_commit::ExtensionMmcs, p3_merkle_tree::FieldMerkleTreeMmcs, p3_symmetric::CompressionFunctionFromHasher, 32_usize>>>, p3_field::extension::BinomialExtensionField, p3_challenger::SerializingChallenger32>>], def_id: DefId(52:26 ~ p3_uni_stark[88bb]::config::StarkGenericConfig::Challenge), .. }), Alias(Projection, AliasTy { args: [p3_uni_stark::StarkConfig, p3_symmetric::CompressionFunctionFromHasher, 32_usize>, p3_commit::ExtensionMmcs, p3_merkle_tree::FieldMerkleTreeMmcs, p3_symmetric::CompressionFunctionFromHasher, 32_usize>>>, p3_field::extension::BinomialExtensionField, p3_challenger::SerializingChallenger32>>], 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_symmetric::CompressionFunctionFromHasher, 32_usize>, p3_commit::ExtensionMmcs, p3_merkle_tree::FieldMerkleTreeMmcs, p3_symmetric::CompressionFunctionFromHasher, 32_usize>>>, p3_field::extension::BinomialExtensionField, p3_challenger::SerializingChallenger32>>], def_id: DefId(52:25 ~ p3_uni_stark[88bb]::config::StarkGenericConfig::Pcs), .. }), Alias(Projection, AliasTy { args: [p3_uni_stark::StarkConfig, p3_symmetric::CompressionFunctionFromHasher, 32_usize>, p3_commit::ExtensionMmcs, p3_merkle_tree::FieldMerkleTreeMmcs, p3_symmetric::CompressionFunctionFromHasher, 32_usize>>>, p3_field::extension::BinomialExtensionField, p3_challenger::SerializingChallenger32>>], def_id: DefId(52:26 ~ p3_uni_stark[88bb]::config::StarkGenericConfig::Challenge), .. }), Alias(Projection, AliasTy { args: [p3_uni_stark::StarkConfig, p3_symmetric::CompressionFunctionFromHasher, 32_usize>, p3_commit::ExtensionMmcs, p3_merkle_tree::FieldMerkleTreeMmcs, p3_symmetric::CompressionFunctionFromHasher, 32_usize>>>, p3_field::extension::BinomialExtensionField, p3_challenger::SerializingChallenger32>>], 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> [INFO] [stdout] 15 | | + for<'a> Air> [INFO] [stdout] 16 | | + for<'a> Air>>, [INFO] [stdout] ... | [INFO] [stdout] 26 | | where [INFO] [stdout] 27 | | Val: PrimeField32, [INFO] [stdout] | |________________________________^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: inconsistency during normalizing env `Binder { value: TraitPredicate(<<<, p3_symmetric::CompressionFunctionFromHasher, 32>, p3_commit::ExtensionMmcs, p3_merkle_tree::FieldMerkleTreeMmcs, p3_symmetric::CompressionFunctionFromHasher, 32>>>, p3_field::extension::BinomialExtensionField, p3_challenger::SerializingChallenger32>> as p3_uni_stark::StarkGenericConfig>::Pcs as p3_commit::Pcs<, p3_symmetric::CompressionFunctionFromHasher, 32>, p3_commit::ExtensionMmcs, p3_merkle_tree::FieldMerkleTreeMmcs, p3_symmetric::CompressionFunctionFromHasher, 32>>>, p3_field::extension::BinomialExtensionField, p3_challenger::SerializingChallenger32>> as p3_uni_stark::StarkGenericConfig>::Challenge, , p3_symmetric::CompressionFunctionFromHasher, 32>, p3_commit::ExtensionMmcs, p3_merkle_tree::FieldMerkleTreeMmcs, p3_symmetric::CompressionFunctionFromHasher, 32>>>, p3_field::extension::BinomialExtensionField, p3_challenger::SerializingChallenger32>> as p3_uni_stark::StarkGenericConfig>::Challenger>>::Domain as p3_commit::PolynomialSpace>::Val as std::ops::Div>, polarity:Positive), bound_vars: [] }`, old=Binder { value: TraitPredicate(, 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> [INFO] [stdout] 15 | | + for<'a> Air> [INFO] [stdout] 16 | | + for<'a> Air>>, [INFO] [stdout] ... | [INFO] [stdout] 26 | | where [INFO] [stdout] 27 | | Val: PrimeField32, [INFO] [stdout] | |________________________________^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: inconsistency during normalizing env `Binder { value: TraitPredicate(<<<, p3_symmetric::CompressionFunctionFromHasher, 32>, p3_commit::ExtensionMmcs, p3_merkle_tree::FieldMerkleTreeMmcs, p3_symmetric::CompressionFunctionFromHasher, 32>>>, p3_field::extension::BinomialExtensionField, p3_challenger::SerializingChallenger32>> as p3_uni_stark::StarkGenericConfig>::Pcs as p3_commit::Pcs<, p3_symmetric::CompressionFunctionFromHasher, 32>, p3_commit::ExtensionMmcs, p3_merkle_tree::FieldMerkleTreeMmcs, p3_symmetric::CompressionFunctionFromHasher, 32>>>, p3_field::extension::BinomialExtensionField, p3_challenger::SerializingChallenger32>> as p3_uni_stark::StarkGenericConfig>::Challenge, , p3_symmetric::CompressionFunctionFromHasher, 32>, p3_commit::ExtensionMmcs, p3_merkle_tree::FieldMerkleTreeMmcs, p3_symmetric::CompressionFunctionFromHasher, 32>>>, p3_field::extension::BinomialExtensionField, p3_challenger::SerializingChallenger32>> as p3_uni_stark::StarkGenericConfig>::Challenger>>::Domain as p3_commit::PolynomialSpace>::Val as std::marker::Copy>, polarity:Positive), bound_vars: [] }`, old=Binder { value: TraitPredicate(, 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> [INFO] [stdout] 15 | | + for<'a> Air> [INFO] [stdout] 16 | | + for<'a> Air>>, [INFO] [stdout] ... | [INFO] [stdout] 26 | | where [INFO] [stdout] 27 | | Val: PrimeField32, [INFO] [stdout] | |________________________________^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: inconsistency during normalizing env `Binder { value: TraitPredicate(<<<, p3_symmetric::CompressionFunctionFromHasher, 32>, p3_commit::ExtensionMmcs, p3_merkle_tree::FieldMerkleTreeMmcs, p3_symmetric::CompressionFunctionFromHasher, 32>>>, p3_field::extension::BinomialExtensionField, p3_challenger::SerializingChallenger32>> as p3_uni_stark::StarkGenericConfig>::Pcs as p3_commit::Pcs<, p3_symmetric::CompressionFunctionFromHasher, 32>, p3_commit::ExtensionMmcs, p3_merkle_tree::FieldMerkleTreeMmcs, p3_symmetric::CompressionFunctionFromHasher, 32>>>, p3_field::extension::BinomialExtensionField, p3_challenger::SerializingChallenger32>> as p3_uni_stark::StarkGenericConfig>::Challenge, , p3_symmetric::CompressionFunctionFromHasher, 32>, p3_commit::ExtensionMmcs, p3_merkle_tree::FieldMerkleTreeMmcs, p3_symmetric::CompressionFunctionFromHasher, 32>>>, p3_field::extension::BinomialExtensionField, p3_challenger::SerializingChallenger32>> as p3_uni_stark::StarkGenericConfig>::Challenger>>::Domain as p3_commit::PolynomialSpace>::Val as std::clone::Clone>, polarity:Positive), bound_vars: [] }`, old=Binder { value: TraitPredicate(, 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> [INFO] [stdout] 15 | | + for<'a> Air> [INFO] [stdout] 16 | | + for<'a> Air>>, [INFO] [stdout] ... | [INFO] [stdout] 26 | | where [INFO] [stdout] 27 | | Val: PrimeField32, [INFO] [stdout] | |________________________________^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: inconsistency during normalizing env `Binder { value: TraitPredicate(<<<, p3_symmetric::CompressionFunctionFromHasher, 32>, p3_commit::ExtensionMmcs, p3_merkle_tree::FieldMerkleTreeMmcs, p3_symmetric::CompressionFunctionFromHasher, 32>>>, p3_field::extension::BinomialExtensionField, p3_challenger::SerializingChallenger32>> as p3_uni_stark::StarkGenericConfig>::Pcs as p3_commit::Pcs<, p3_symmetric::CompressionFunctionFromHasher, 32>, p3_commit::ExtensionMmcs, p3_merkle_tree::FieldMerkleTreeMmcs, p3_symmetric::CompressionFunctionFromHasher, 32>>>, p3_field::extension::BinomialExtensionField, p3_challenger::SerializingChallenger32>> as p3_uni_stark::StarkGenericConfig>::Challenge, , p3_symmetric::CompressionFunctionFromHasher, 32>, p3_commit::ExtensionMmcs, p3_merkle_tree::FieldMerkleTreeMmcs, p3_symmetric::CompressionFunctionFromHasher, 32>>>, p3_field::extension::BinomialExtensionField, p3_challenger::SerializingChallenger32>> as p3_uni_stark::StarkGenericConfig>::Challenger>>::Domain as p3_commit::PolynomialSpace>::Val as p3_field::Packable>, polarity:Positive), bound_vars: [] }`, old=Binder { value: TraitPredicate(, 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> [INFO] [stdout] 15 | | + for<'a> Air> [INFO] [stdout] 16 | | + for<'a> Air>>, [INFO] [stdout] ... | [INFO] [stdout] 26 | | where [INFO] [stdout] 27 | | Val: PrimeField32, [INFO] [stdout] | |________________________________^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: inconsistency during normalizing env `Binder { value: TraitPredicate(<<<, p3_symmetric::CompressionFunctionFromHasher, 32>, p3_commit::ExtensionMmcs, p3_merkle_tree::FieldMerkleTreeMmcs, p3_symmetric::CompressionFunctionFromHasher, 32>>>, p3_field::extension::BinomialExtensionField, p3_challenger::SerializingChallenger32>> as p3_uni_stark::StarkGenericConfig>::Pcs as p3_commit::Pcs<, p3_symmetric::CompressionFunctionFromHasher, 32>, p3_commit::ExtensionMmcs, p3_merkle_tree::FieldMerkleTreeMmcs, p3_symmetric::CompressionFunctionFromHasher, 32>>>, p3_field::extension::BinomialExtensionField, p3_challenger::SerializingChallenger32>> as p3_uni_stark::StarkGenericConfig>::Challenge, , p3_symmetric::CompressionFunctionFromHasher, 32>, p3_commit::ExtensionMmcs, p3_merkle_tree::FieldMerkleTreeMmcs, p3_symmetric::CompressionFunctionFromHasher, 32>>>, p3_field::extension::BinomialExtensionField, p3_challenger::SerializingChallenger32>> as p3_uni_stark::StarkGenericConfig>::Challenger>>::Domain as p3_commit::PolynomialSpace>::Val as std::default::Default>, polarity:Positive), bound_vars: [] }`, old=Binder { value: TraitPredicate(, 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> [INFO] [stdout] 15 | | + for<'a> Air> [INFO] [stdout] 16 | | + for<'a> Air>>, [INFO] [stdout] ... | [INFO] [stdout] 26 | | where [INFO] [stdout] 27 | | Val: 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_symmetric::CompressionFunctionFromHasher, 32_usize>, p3_commit::ExtensionMmcs, p3_merkle_tree::FieldMerkleTreeMmcs, p3_symmetric::CompressionFunctionFromHasher, 32_usize>>>, p3_field::extension::BinomialExtensionField, p3_challenger::SerializingChallenger32>>], def_id: DefId(52:25 ~ p3_uni_stark[88bb]::config::StarkGenericConfig::Pcs), .. }), Alias(Projection, AliasTy { args: [p3_uni_stark::StarkConfig, p3_symmetric::CompressionFunctionFromHasher, 32_usize>, p3_commit::ExtensionMmcs, p3_merkle_tree::FieldMerkleTreeMmcs, p3_symmetric::CompressionFunctionFromHasher, 32_usize>>>, p3_field::extension::BinomialExtensionField, p3_challenger::SerializingChallenger32>>], def_id: DefId(52:26 ~ p3_uni_stark[88bb]::config::StarkGenericConfig::Challenge), .. }), Alias(Projection, AliasTy { args: [p3_uni_stark::StarkConfig, p3_symmetric::CompressionFunctionFromHasher, 32_usize>, p3_commit::ExtensionMmcs, p3_merkle_tree::FieldMerkleTreeMmcs, p3_symmetric::CompressionFunctionFromHasher, 32_usize>>>, p3_field::extension::BinomialExtensionField, p3_challenger::SerializingChallenger32>>], 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_symmetric::CompressionFunctionFromHasher, 32_usize>, p3_commit::ExtensionMmcs, p3_merkle_tree::FieldMerkleTreeMmcs, p3_symmetric::CompressionFunctionFromHasher, 32_usize>>>, p3_field::extension::BinomialExtensionField, p3_challenger::SerializingChallenger32>>], def_id: DefId(52:25 ~ p3_uni_stark[88bb]::config::StarkGenericConfig::Pcs), .. }), Alias(Projection, AliasTy { args: [p3_uni_stark::StarkConfig, p3_symmetric::CompressionFunctionFromHasher, 32_usize>, p3_commit::ExtensionMmcs, p3_merkle_tree::FieldMerkleTreeMmcs, p3_symmetric::CompressionFunctionFromHasher, 32_usize>>>, p3_field::extension::BinomialExtensionField, p3_challenger::SerializingChallenger32>>], def_id: DefId(52:26 ~ p3_uni_stark[88bb]::config::StarkGenericConfig::Challenge), .. }), Alias(Projection, AliasTy { args: [p3_uni_stark::StarkConfig, p3_symmetric::CompressionFunctionFromHasher, 32_usize>, p3_commit::ExtensionMmcs, p3_merkle_tree::FieldMerkleTreeMmcs, p3_symmetric::CompressionFunctionFromHasher, 32_usize>>>, p3_field::extension::BinomialExtensionField, p3_challenger::SerializingChallenger32>>], 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> [INFO] [stdout] 15 | | + for<'a> Air> [INFO] [stdout] 16 | | + for<'a> Air>>, [INFO] [stdout] ... | [INFO] [stdout] 26 | | where [INFO] [stdout] 27 | | Val: PrimeField32, [INFO] [stdout] | |________________________________^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: inconsistency during normalizing env `Binder { value: TraitPredicate(<<<, p3_symmetric::CompressionFunctionFromHasher, 32>, p3_commit::ExtensionMmcs, p3_merkle_tree::FieldMerkleTreeMmcs, p3_symmetric::CompressionFunctionFromHasher, 32>>>, p3_field::extension::BinomialExtensionField, p3_challenger::SerializingChallenger32>> as p3_uni_stark::StarkGenericConfig>::Pcs as p3_commit::Pcs<, p3_symmetric::CompressionFunctionFromHasher, 32>, p3_commit::ExtensionMmcs, p3_merkle_tree::FieldMerkleTreeMmcs, p3_symmetric::CompressionFunctionFromHasher, 32>>>, p3_field::extension::BinomialExtensionField, p3_challenger::SerializingChallenger32>> as p3_uni_stark::StarkGenericConfig>::Challenge, , p3_symmetric::CompressionFunctionFromHasher, 32>, p3_commit::ExtensionMmcs, p3_merkle_tree::FieldMerkleTreeMmcs, p3_symmetric::CompressionFunctionFromHasher, 32>>>, p3_field::extension::BinomialExtensionField, p3_challenger::SerializingChallenger32>> as p3_uni_stark::StarkGenericConfig>::Challenger>>::Domain as p3_commit::PolynomialSpace>::Val as p3_field::AbstractField>, polarity:Positive), bound_vars: [] }`, old=Binder { value: TraitPredicate(, 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> [INFO] [stdout] 15 | | + for<'a> Air> [INFO] [stdout] 16 | | + for<'a> Air>>, [INFO] [stdout] ... | [INFO] [stdout] 26 | | where [INFO] [stdout] 27 | | Val: PrimeField32, [INFO] [stdout] | |________________________________^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: inconsistency during normalizing env `Binder { value: TraitPredicate(<<<, p3_symmetric::CompressionFunctionFromHasher, 32>, p3_commit::ExtensionMmcs, p3_merkle_tree::FieldMerkleTreeMmcs, p3_symmetric::CompressionFunctionFromHasher, 32>>>, p3_field::extension::BinomialExtensionField, p3_challenger::SerializingChallenger32>> as p3_uni_stark::StarkGenericConfig>::Pcs as p3_commit::Pcs<, p3_symmetric::CompressionFunctionFromHasher, 32>, p3_commit::ExtensionMmcs, p3_merkle_tree::FieldMerkleTreeMmcs, p3_symmetric::CompressionFunctionFromHasher, 32>>>, p3_field::extension::BinomialExtensionField, p3_challenger::SerializingChallenger32>> as p3_uni_stark::StarkGenericConfig>::Challenge, , p3_symmetric::CompressionFunctionFromHasher, 32>, p3_commit::ExtensionMmcs, p3_merkle_tree::FieldMerkleTreeMmcs, p3_symmetric::CompressionFunctionFromHasher, 32>>>, p3_field::extension::BinomialExtensionField, p3_challenger::SerializingChallenger32>> as p3_uni_stark::StarkGenericConfig>::Challenger>>::Domain as p3_commit::PolynomialSpace>::Val as std::fmt::Debug>, polarity:Positive), bound_vars: [] }`, old=Binder { value: TraitPredicate(, 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> [INFO] [stdout] 15 | | + for<'a> Air> [INFO] [stdout] 16 | | + for<'a> Air>>, [INFO] [stdout] ... | [INFO] [stdout] 26 | | where [INFO] [stdout] 27 | | Val: PrimeField32, [INFO] [stdout] | |________________________________^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: inconsistency during normalizing env `Binder { value: TraitPredicate(<<<, p3_symmetric::CompressionFunctionFromHasher, 32>, p3_commit::ExtensionMmcs, p3_merkle_tree::FieldMerkleTreeMmcs, p3_symmetric::CompressionFunctionFromHasher, 32>>>, p3_field::extension::BinomialExtensionField, p3_challenger::SerializingChallenger32>> as p3_uni_stark::StarkGenericConfig>::Pcs as p3_commit::Pcs<, p3_symmetric::CompressionFunctionFromHasher, 32>, p3_commit::ExtensionMmcs, p3_merkle_tree::FieldMerkleTreeMmcs, p3_symmetric::CompressionFunctionFromHasher, 32>>>, p3_field::extension::BinomialExtensionField, p3_challenger::SerializingChallenger32>> as p3_uni_stark::StarkGenericConfig>::Challenge, , p3_symmetric::CompressionFunctionFromHasher, 32>, p3_commit::ExtensionMmcs, p3_merkle_tree::FieldMerkleTreeMmcs, p3_symmetric::CompressionFunctionFromHasher, 32>>>, p3_field::extension::BinomialExtensionField, p3_challenger::SerializingChallenger32>> as p3_uni_stark::StarkGenericConfig>::Challenger>>::Domain as p3_commit::PolynomialSpace>::Val as std::iter::Product>, polarity:Positive), bound_vars: [] }`, old=Binder { value: TraitPredicate(, 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> [INFO] [stdout] 15 | | + for<'a> Air> [INFO] [stdout] 16 | | + for<'a> Air>>, [INFO] [stdout] ... | [INFO] [stdout] 26 | | where [INFO] [stdout] 27 | | Val: PrimeField32, [INFO] [stdout] | |________________________________^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: inconsistency during normalizing env `Binder { value: TraitPredicate(<<<, p3_symmetric::CompressionFunctionFromHasher, 32>, p3_commit::ExtensionMmcs, p3_merkle_tree::FieldMerkleTreeMmcs, p3_symmetric::CompressionFunctionFromHasher, 32>>>, p3_field::extension::BinomialExtensionField, p3_challenger::SerializingChallenger32>> as p3_uni_stark::StarkGenericConfig>::Pcs as p3_commit::Pcs<, p3_symmetric::CompressionFunctionFromHasher, 32>, p3_commit::ExtensionMmcs, p3_merkle_tree::FieldMerkleTreeMmcs, p3_symmetric::CompressionFunctionFromHasher, 32>>>, p3_field::extension::BinomialExtensionField, p3_challenger::SerializingChallenger32>> as p3_uni_stark::StarkGenericConfig>::Challenge, , p3_symmetric::CompressionFunctionFromHasher, 32>, p3_commit::ExtensionMmcs, p3_merkle_tree::FieldMerkleTreeMmcs, p3_symmetric::CompressionFunctionFromHasher, 32>>>, p3_field::extension::BinomialExtensionField, p3_challenger::SerializingChallenger32>> as p3_uni_stark::StarkGenericConfig>::Challenger>>::Domain as p3_commit::PolynomialSpace>::Val as std::iter::Sum>, polarity:Positive), bound_vars: [] }`, old=Binder { value: TraitPredicate(, 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> [INFO] [stdout] 15 | | + for<'a> Air> [INFO] [stdout] 16 | | + for<'a> Air>>, [INFO] [stdout] ... | [INFO] [stdout] 26 | | where [INFO] [stdout] 27 | | Val: PrimeField32, [INFO] [stdout] | |________________________________^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: inconsistency during normalizing env `Binder { value: TraitPredicate(<<<, p3_symmetric::CompressionFunctionFromHasher, 32>, p3_commit::ExtensionMmcs, p3_merkle_tree::FieldMerkleTreeMmcs, p3_symmetric::CompressionFunctionFromHasher, 32>>>, p3_field::extension::BinomialExtensionField, p3_challenger::SerializingChallenger32>> as p3_uni_stark::StarkGenericConfig>::Pcs as p3_commit::Pcs<, p3_symmetric::CompressionFunctionFromHasher, 32>, p3_commit::ExtensionMmcs, p3_merkle_tree::FieldMerkleTreeMmcs, p3_symmetric::CompressionFunctionFromHasher, 32>>>, p3_field::extension::BinomialExtensionField, p3_challenger::SerializingChallenger32>> as p3_uni_stark::StarkGenericConfig>::Challenge, , p3_symmetric::CompressionFunctionFromHasher, 32>, p3_commit::ExtensionMmcs, p3_merkle_tree::FieldMerkleTreeMmcs, p3_symmetric::CompressionFunctionFromHasher, 32>>>, p3_field::extension::BinomialExtensionField, p3_challenger::SerializingChallenger32>> as p3_uni_stark::StarkGenericConfig>::Challenger>>::Domain as p3_commit::PolynomialSpace>::Val as std::ops::MulAssign>, polarity:Positive), bound_vars: [] }`, old=Binder { value: TraitPredicate(, 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> [INFO] [stdout] 15 | | + for<'a> Air> [INFO] [stdout] 16 | | + for<'a> Air>>, [INFO] [stdout] ... | [INFO] [stdout] 26 | | where [INFO] [stdout] 27 | | Val: 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_symmetric::CompressionFunctionFromHasher, 32_usize>, p3_commit::ExtensionMmcs, p3_merkle_tree::FieldMerkleTreeMmcs, p3_symmetric::CompressionFunctionFromHasher, 32_usize>>>, p3_field::extension::BinomialExtensionField, p3_challenger::SerializingChallenger32>>], def_id: DefId(52:25 ~ p3_uni_stark[88bb]::config::StarkGenericConfig::Pcs), .. }), Alias(Projection, AliasTy { args: [p3_uni_stark::StarkConfig, p3_symmetric::CompressionFunctionFromHasher, 32_usize>, p3_commit::ExtensionMmcs, p3_merkle_tree::FieldMerkleTreeMmcs, p3_symmetric::CompressionFunctionFromHasher, 32_usize>>>, p3_field::extension::BinomialExtensionField, p3_challenger::SerializingChallenger32>>], def_id: DefId(52:26 ~ p3_uni_stark[88bb]::config::StarkGenericConfig::Challenge), .. }), Alias(Projection, AliasTy { args: [p3_uni_stark::StarkConfig, p3_symmetric::CompressionFunctionFromHasher, 32_usize>, p3_commit::ExtensionMmcs, p3_merkle_tree::FieldMerkleTreeMmcs, p3_symmetric::CompressionFunctionFromHasher, 32_usize>>>, p3_field::extension::BinomialExtensionField, p3_challenger::SerializingChallenger32>>], 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_symmetric::CompressionFunctionFromHasher, 32_usize>, p3_commit::ExtensionMmcs, p3_merkle_tree::FieldMerkleTreeMmcs, p3_symmetric::CompressionFunctionFromHasher, 32_usize>>>, p3_field::extension::BinomialExtensionField, p3_challenger::SerializingChallenger32>>], def_id: DefId(52:25 ~ p3_uni_stark[88bb]::config::StarkGenericConfig::Pcs), .. }), Alias(Projection, AliasTy { args: [p3_uni_stark::StarkConfig, p3_symmetric::CompressionFunctionFromHasher, 32_usize>, p3_commit::ExtensionMmcs, p3_merkle_tree::FieldMerkleTreeMmcs, p3_symmetric::CompressionFunctionFromHasher, 32_usize>>>, p3_field::extension::BinomialExtensionField, p3_challenger::SerializingChallenger32>>], def_id: DefId(52:26 ~ p3_uni_stark[88bb]::config::StarkGenericConfig::Challenge), .. }), Alias(Projection, AliasTy { args: [p3_uni_stark::StarkConfig, p3_symmetric::CompressionFunctionFromHasher, 32_usize>, p3_commit::ExtensionMmcs, p3_merkle_tree::FieldMerkleTreeMmcs, p3_symmetric::CompressionFunctionFromHasher, 32_usize>>>, p3_field::extension::BinomialExtensionField, p3_challenger::SerializingChallenger32>>], 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_symmetric::CompressionFunctionFromHasher, 32_usize>, p3_commit::ExtensionMmcs, p3_merkle_tree::FieldMerkleTreeMmcs, p3_symmetric::CompressionFunctionFromHasher, 32_usize>>>, p3_field::extension::BinomialExtensionField, p3_challenger::SerializingChallenger32>>], def_id: DefId(52:25 ~ p3_uni_stark[88bb]::config::StarkGenericConfig::Pcs), .. }), Alias(Projection, AliasTy { args: [p3_uni_stark::StarkConfig, p3_symmetric::CompressionFunctionFromHasher, 32_usize>, p3_commit::ExtensionMmcs, p3_merkle_tree::FieldMerkleTreeMmcs, p3_symmetric::CompressionFunctionFromHasher, 32_usize>>>, p3_field::extension::BinomialExtensionField, p3_challenger::SerializingChallenger32>>], def_id: DefId(52:26 ~ p3_uni_stark[88bb]::config::StarkGenericConfig::Challenge), .. }), Alias(Projection, AliasTy { args: [p3_uni_stark::StarkConfig, p3_symmetric::CompressionFunctionFromHasher, 32_usize>, p3_commit::ExtensionMmcs, p3_merkle_tree::FieldMerkleTreeMmcs, p3_symmetric::CompressionFunctionFromHasher, 32_usize>>>, p3_field::extension::BinomialExtensionField, p3_challenger::SerializingChallenger32>>], 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> [INFO] [stdout] 15 | | + for<'a> Air> [INFO] [stdout] 16 | | + for<'a> Air>>, [INFO] [stdout] ... | [INFO] [stdout] 26 | | where [INFO] [stdout] 27 | | Val: PrimeField32, [INFO] [stdout] | |________________________________^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: inconsistency during normalizing env `Binder { value: TraitPredicate(<<<, p3_symmetric::CompressionFunctionFromHasher, 32>, p3_commit::ExtensionMmcs, p3_merkle_tree::FieldMerkleTreeMmcs, p3_symmetric::CompressionFunctionFromHasher, 32>>>, p3_field::extension::BinomialExtensionField, p3_challenger::SerializingChallenger32>> as p3_uni_stark::StarkGenericConfig>::Pcs as p3_commit::Pcs<, p3_symmetric::CompressionFunctionFromHasher, 32>, p3_commit::ExtensionMmcs, p3_merkle_tree::FieldMerkleTreeMmcs, p3_symmetric::CompressionFunctionFromHasher, 32>>>, p3_field::extension::BinomialExtensionField, p3_challenger::SerializingChallenger32>> as p3_uni_stark::StarkGenericConfig>::Challenge, , p3_symmetric::CompressionFunctionFromHasher, 32>, p3_commit::ExtensionMmcs, p3_merkle_tree::FieldMerkleTreeMmcs, p3_symmetric::CompressionFunctionFromHasher, 32>>>, p3_field::extension::BinomialExtensionField, p3_challenger::SerializingChallenger32>> as p3_uni_stark::StarkGenericConfig>::Challenger>>::Domain as p3_commit::PolynomialSpace>::Val as std::ops::Mul>, polarity:Positive), bound_vars: [] }`, old=Binder { value: TraitPredicate(, 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> [INFO] [stdout] 15 | | + for<'a> Air> [INFO] [stdout] 16 | | + for<'a> Air>>, [INFO] [stdout] ... | [INFO] [stdout] 26 | | where [INFO] [stdout] 27 | | Val: 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_symmetric::CompressionFunctionFromHasher, 32_usize>, p3_commit::ExtensionMmcs, p3_merkle_tree::FieldMerkleTreeMmcs, p3_symmetric::CompressionFunctionFromHasher, 32_usize>>>, p3_field::extension::BinomialExtensionField, p3_challenger::SerializingChallenger32>>], def_id: DefId(52:25 ~ p3_uni_stark[88bb]::config::StarkGenericConfig::Pcs), .. }), Alias(Projection, AliasTy { args: [p3_uni_stark::StarkConfig, p3_symmetric::CompressionFunctionFromHasher, 32_usize>, p3_commit::ExtensionMmcs, p3_merkle_tree::FieldMerkleTreeMmcs, p3_symmetric::CompressionFunctionFromHasher, 32_usize>>>, p3_field::extension::BinomialExtensionField, p3_challenger::SerializingChallenger32>>], def_id: DefId(52:26 ~ p3_uni_stark[88bb]::config::StarkGenericConfig::Challenge), .. }), Alias(Projection, AliasTy { args: [p3_uni_stark::StarkConfig, p3_symmetric::CompressionFunctionFromHasher, 32_usize>, p3_commit::ExtensionMmcs, p3_merkle_tree::FieldMerkleTreeMmcs, p3_symmetric::CompressionFunctionFromHasher, 32_usize>>>, p3_field::extension::BinomialExtensionField, p3_challenger::SerializingChallenger32>>], 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_symmetric::CompressionFunctionFromHasher, 32_usize>, p3_commit::ExtensionMmcs, p3_merkle_tree::FieldMerkleTreeMmcs, p3_symmetric::CompressionFunctionFromHasher, 32_usize>>>, p3_field::extension::BinomialExtensionField, p3_challenger::SerializingChallenger32>>], def_id: DefId(52:25 ~ p3_uni_stark[88bb]::config::StarkGenericConfig::Pcs), .. }), Alias(Projection, AliasTy { args: [p3_uni_stark::StarkConfig, p3_symmetric::CompressionFunctionFromHasher, 32_usize>, p3_commit::ExtensionMmcs, p3_merkle_tree::FieldMerkleTreeMmcs, p3_symmetric::CompressionFunctionFromHasher, 32_usize>>>, p3_field::extension::BinomialExtensionField, p3_challenger::SerializingChallenger32>>], def_id: DefId(52:26 ~ p3_uni_stark[88bb]::config::StarkGenericConfig::Challenge), .. }), Alias(Projection, AliasTy { args: [p3_uni_stark::StarkConfig, p3_symmetric::CompressionFunctionFromHasher, 32_usize>, p3_commit::ExtensionMmcs, p3_merkle_tree::FieldMerkleTreeMmcs, p3_symmetric::CompressionFunctionFromHasher, 32_usize>>>, p3_field::extension::BinomialExtensionField, p3_challenger::SerializingChallenger32>>], 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> [INFO] [stdout] 15 | | + for<'a> Air> [INFO] [stdout] 16 | | + for<'a> Air>>, [INFO] [stdout] ... | [INFO] [stdout] 26 | | where [INFO] [stdout] 27 | | Val: PrimeField32, [INFO] [stdout] | |________________________________^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: inconsistency during normalizing env `Binder { value: TraitPredicate(<<<, p3_symmetric::CompressionFunctionFromHasher, 32>, p3_commit::ExtensionMmcs, p3_merkle_tree::FieldMerkleTreeMmcs, p3_symmetric::CompressionFunctionFromHasher, 32>>>, p3_field::extension::BinomialExtensionField, p3_challenger::SerializingChallenger32>> as p3_uni_stark::StarkGenericConfig>::Pcs as p3_commit::Pcs<, p3_symmetric::CompressionFunctionFromHasher, 32>, p3_commit::ExtensionMmcs, p3_merkle_tree::FieldMerkleTreeMmcs, p3_symmetric::CompressionFunctionFromHasher, 32>>>, p3_field::extension::BinomialExtensionField, p3_challenger::SerializingChallenger32>> as p3_uni_stark::StarkGenericConfig>::Challenge, , p3_symmetric::CompressionFunctionFromHasher, 32>, p3_commit::ExtensionMmcs, p3_merkle_tree::FieldMerkleTreeMmcs, p3_symmetric::CompressionFunctionFromHasher, 32>>>, p3_field::extension::BinomialExtensionField, p3_challenger::SerializingChallenger32>> as p3_uni_stark::StarkGenericConfig>::Challenger>>::Domain as p3_commit::PolynomialSpace>::Val as std::ops::Neg>, polarity:Positive), bound_vars: [] }`, old=Binder { value: TraitPredicate(, 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> [INFO] [stdout] 15 | | + for<'a> Air> [INFO] [stdout] 16 | | + for<'a> Air>>, [INFO] [stdout] ... | [INFO] [stdout] 26 | | where [INFO] [stdout] 27 | | Val: PrimeField32, [INFO] [stdout] | |________________________________^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: inconsistency during normalizing env `Binder { value: TraitPredicate(<<<, p3_symmetric::CompressionFunctionFromHasher, 32>, p3_commit::ExtensionMmcs, p3_merkle_tree::FieldMerkleTreeMmcs, p3_symmetric::CompressionFunctionFromHasher, 32>>>, p3_field::extension::BinomialExtensionField, p3_challenger::SerializingChallenger32>> as p3_uni_stark::StarkGenericConfig>::Pcs as p3_commit::Pcs<, p3_symmetric::CompressionFunctionFromHasher, 32>, p3_commit::ExtensionMmcs, p3_merkle_tree::FieldMerkleTreeMmcs, p3_symmetric::CompressionFunctionFromHasher, 32>>>, p3_field::extension::BinomialExtensionField, p3_challenger::SerializingChallenger32>> as p3_uni_stark::StarkGenericConfig>::Challenge, , p3_symmetric::CompressionFunctionFromHasher, 32>, p3_commit::ExtensionMmcs, p3_merkle_tree::FieldMerkleTreeMmcs, p3_symmetric::CompressionFunctionFromHasher, 32>>>, p3_field::extension::BinomialExtensionField, p3_challenger::SerializingChallenger32>> as p3_uni_stark::StarkGenericConfig>::Challenger>>::Domain as p3_commit::PolynomialSpace>::Val as std::ops::SubAssign>, polarity:Positive), bound_vars: [] }`, old=Binder { value: TraitPredicate(, 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> [INFO] [stdout] 15 | | + for<'a> Air> [INFO] [stdout] 16 | | + for<'a> Air>>, [INFO] [stdout] ... | [INFO] [stdout] 26 | | where [INFO] [stdout] 27 | | Val: 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_symmetric::CompressionFunctionFromHasher, 32_usize>, p3_commit::ExtensionMmcs, p3_merkle_tree::FieldMerkleTreeMmcs, p3_symmetric::CompressionFunctionFromHasher, 32_usize>>>, p3_field::extension::BinomialExtensionField, p3_challenger::SerializingChallenger32>>], def_id: DefId(52:25 ~ p3_uni_stark[88bb]::config::StarkGenericConfig::Pcs), .. }), Alias(Projection, AliasTy { args: [p3_uni_stark::StarkConfig, p3_symmetric::CompressionFunctionFromHasher, 32_usize>, p3_commit::ExtensionMmcs, p3_merkle_tree::FieldMerkleTreeMmcs, p3_symmetric::CompressionFunctionFromHasher, 32_usize>>>, p3_field::extension::BinomialExtensionField, p3_challenger::SerializingChallenger32>>], def_id: DefId(52:26 ~ p3_uni_stark[88bb]::config::StarkGenericConfig::Challenge), .. }), Alias(Projection, AliasTy { args: [p3_uni_stark::StarkConfig, p3_symmetric::CompressionFunctionFromHasher, 32_usize>, p3_commit::ExtensionMmcs, p3_merkle_tree::FieldMerkleTreeMmcs, p3_symmetric::CompressionFunctionFromHasher, 32_usize>>>, p3_field::extension::BinomialExtensionField, p3_challenger::SerializingChallenger32>>], 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_symmetric::CompressionFunctionFromHasher, 32_usize>, p3_commit::ExtensionMmcs, p3_merkle_tree::FieldMerkleTreeMmcs, p3_symmetric::CompressionFunctionFromHasher, 32_usize>>>, p3_field::extension::BinomialExtensionField, p3_challenger::SerializingChallenger32>>], def_id: DefId(52:25 ~ p3_uni_stark[88bb]::config::StarkGenericConfig::Pcs), .. }), Alias(Projection, AliasTy { args: [p3_uni_stark::StarkConfig, p3_symmetric::CompressionFunctionFromHasher, 32_usize>, p3_commit::ExtensionMmcs, p3_merkle_tree::FieldMerkleTreeMmcs, p3_symmetric::CompressionFunctionFromHasher, 32_usize>>>, p3_field::extension::BinomialExtensionField, p3_challenger::SerializingChallenger32>>], def_id: DefId(52:26 ~ p3_uni_stark[88bb]::config::StarkGenericConfig::Challenge), .. }), Alias(Projection, AliasTy { args: [p3_uni_stark::StarkConfig, p3_symmetric::CompressionFunctionFromHasher, 32_usize>, p3_commit::ExtensionMmcs, p3_merkle_tree::FieldMerkleTreeMmcs, p3_symmetric::CompressionFunctionFromHasher, 32_usize>>>, p3_field::extension::BinomialExtensionField, p3_challenger::SerializingChallenger32>>], 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_symmetric::CompressionFunctionFromHasher, 32_usize>, p3_commit::ExtensionMmcs, p3_merkle_tree::FieldMerkleTreeMmcs, p3_symmetric::CompressionFunctionFromHasher, 32_usize>>>, p3_field::extension::BinomialExtensionField, p3_challenger::SerializingChallenger32>>], def_id: DefId(52:25 ~ p3_uni_stark[88bb]::config::StarkGenericConfig::Pcs), .. }), Alias(Projection, AliasTy { args: [p3_uni_stark::StarkConfig, p3_symmetric::CompressionFunctionFromHasher, 32_usize>, p3_commit::ExtensionMmcs, p3_merkle_tree::FieldMerkleTreeMmcs, p3_symmetric::CompressionFunctionFromHasher, 32_usize>>>, p3_field::extension::BinomialExtensionField, p3_challenger::SerializingChallenger32>>], def_id: DefId(52:26 ~ p3_uni_stark[88bb]::config::StarkGenericConfig::Challenge), .. }), Alias(Projection, AliasTy { args: [p3_uni_stark::StarkConfig, p3_symmetric::CompressionFunctionFromHasher, 32_usize>, p3_commit::ExtensionMmcs, p3_merkle_tree::FieldMerkleTreeMmcs, p3_symmetric::CompressionFunctionFromHasher, 32_usize>>>, p3_field::extension::BinomialExtensionField, p3_challenger::SerializingChallenger32>>], 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> [INFO] [stdout] 15 | | + for<'a> Air> [INFO] [stdout] 16 | | + for<'a> Air>>, [INFO] [stdout] ... | [INFO] [stdout] 26 | | where [INFO] [stdout] 27 | | Val: PrimeField32, [INFO] [stdout] | |________________________________^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: inconsistency during normalizing env `Binder { value: TraitPredicate(<<<, p3_symmetric::CompressionFunctionFromHasher, 32>, p3_commit::ExtensionMmcs, p3_merkle_tree::FieldMerkleTreeMmcs, p3_symmetric::CompressionFunctionFromHasher, 32>>>, p3_field::extension::BinomialExtensionField, p3_challenger::SerializingChallenger32>> as p3_uni_stark::StarkGenericConfig>::Pcs as p3_commit::Pcs<, p3_symmetric::CompressionFunctionFromHasher, 32>, p3_commit::ExtensionMmcs, p3_merkle_tree::FieldMerkleTreeMmcs, p3_symmetric::CompressionFunctionFromHasher, 32>>>, p3_field::extension::BinomialExtensionField, p3_challenger::SerializingChallenger32>> as p3_uni_stark::StarkGenericConfig>::Challenge, , p3_symmetric::CompressionFunctionFromHasher, 32>, p3_commit::ExtensionMmcs, p3_merkle_tree::FieldMerkleTreeMmcs, p3_symmetric::CompressionFunctionFromHasher, 32>>>, p3_field::extension::BinomialExtensionField, p3_challenger::SerializingChallenger32>> as p3_uni_stark::StarkGenericConfig>::Challenger>>::Domain as p3_commit::PolynomialSpace>::Val as std::ops::Sub>, polarity:Positive), bound_vars: [] }`, old=Binder { value: TraitPredicate(, 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> [INFO] [stdout] 15 | | + for<'a> Air> [INFO] [stdout] 16 | | + for<'a> Air>>, [INFO] [stdout] ... | [INFO] [stdout] 26 | | where [INFO] [stdout] 27 | | Val: PrimeField32, [INFO] [stdout] | |________________________________^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: inconsistency during normalizing env `Binder { value: TraitPredicate(<<<, p3_symmetric::CompressionFunctionFromHasher, 32>, p3_commit::ExtensionMmcs, p3_merkle_tree::FieldMerkleTreeMmcs, p3_symmetric::CompressionFunctionFromHasher, 32>>>, p3_field::extension::BinomialExtensionField, p3_challenger::SerializingChallenger32>> as p3_uni_stark::StarkGenericConfig>::Pcs as p3_commit::Pcs<, p3_symmetric::CompressionFunctionFromHasher, 32>, p3_commit::ExtensionMmcs, p3_merkle_tree::FieldMerkleTreeMmcs, p3_symmetric::CompressionFunctionFromHasher, 32>>>, p3_field::extension::BinomialExtensionField, p3_challenger::SerializingChallenger32>> as p3_uni_stark::StarkGenericConfig>::Challenge, , p3_symmetric::CompressionFunctionFromHasher, 32>, p3_commit::ExtensionMmcs, p3_merkle_tree::FieldMerkleTreeMmcs, p3_symmetric::CompressionFunctionFromHasher, 32>>>, p3_field::extension::BinomialExtensionField, p3_challenger::SerializingChallenger32>> as p3_uni_stark::StarkGenericConfig>::Challenger>>::Domain as p3_commit::PolynomialSpace>::Val as std::ops::AddAssign>, polarity:Positive), bound_vars: [] }`, old=Binder { value: TraitPredicate(, 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> [INFO] [stdout] 15 | | + for<'a> Air> [INFO] [stdout] 16 | | + for<'a> Air>>, [INFO] [stdout] ... | [INFO] [stdout] 26 | | where [INFO] [stdout] 27 | | Val: 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_symmetric::CompressionFunctionFromHasher, 32_usize>, p3_commit::ExtensionMmcs, p3_merkle_tree::FieldMerkleTreeMmcs, p3_symmetric::CompressionFunctionFromHasher, 32_usize>>>, p3_field::extension::BinomialExtensionField, p3_challenger::SerializingChallenger32>>], def_id: DefId(52:25 ~ p3_uni_stark[88bb]::config::StarkGenericConfig::Pcs), .. }), Alias(Projection, AliasTy { args: [p3_uni_stark::StarkConfig, p3_symmetric::CompressionFunctionFromHasher, 32_usize>, p3_commit::ExtensionMmcs, p3_merkle_tree::FieldMerkleTreeMmcs, p3_symmetric::CompressionFunctionFromHasher, 32_usize>>>, p3_field::extension::BinomialExtensionField, p3_challenger::SerializingChallenger32>>], def_id: DefId(52:26 ~ p3_uni_stark[88bb]::config::StarkGenericConfig::Challenge), .. }), Alias(Projection, AliasTy { args: [p3_uni_stark::StarkConfig, p3_symmetric::CompressionFunctionFromHasher, 32_usize>, p3_commit::ExtensionMmcs, p3_merkle_tree::FieldMerkleTreeMmcs, p3_symmetric::CompressionFunctionFromHasher, 32_usize>>>, p3_field::extension::BinomialExtensionField, p3_challenger::SerializingChallenger32>>], 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_symmetric::CompressionFunctionFromHasher, 32_usize>, p3_commit::ExtensionMmcs, p3_merkle_tree::FieldMerkleTreeMmcs, p3_symmetric::CompressionFunctionFromHasher, 32_usize>>>, p3_field::extension::BinomialExtensionField, p3_challenger::SerializingChallenger32>>], def_id: DefId(52:25 ~ p3_uni_stark[88bb]::config::StarkGenericConfig::Pcs), .. }), Alias(Projection, AliasTy { args: [p3_uni_stark::StarkConfig, p3_symmetric::CompressionFunctionFromHasher, 32_usize>, p3_commit::ExtensionMmcs, p3_merkle_tree::FieldMerkleTreeMmcs, p3_symmetric::CompressionFunctionFromHasher, 32_usize>>>, p3_field::extension::BinomialExtensionField, p3_challenger::SerializingChallenger32>>], def_id: DefId(52:26 ~ p3_uni_stark[88bb]::config::StarkGenericConfig::Challenge), .. }), Alias(Projection, AliasTy { args: [p3_uni_stark::StarkConfig, p3_symmetric::CompressionFunctionFromHasher, 32_usize>, p3_commit::ExtensionMmcs, p3_merkle_tree::FieldMerkleTreeMmcs, p3_symmetric::CompressionFunctionFromHasher, 32_usize>>>, p3_field::extension::BinomialExtensionField, p3_challenger::SerializingChallenger32>>], 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_symmetric::CompressionFunctionFromHasher, 32_usize>, p3_commit::ExtensionMmcs, p3_merkle_tree::FieldMerkleTreeMmcs, p3_symmetric::CompressionFunctionFromHasher, 32_usize>>>, p3_field::extension::BinomialExtensionField, p3_challenger::SerializingChallenger32>>], def_id: DefId(52:25 ~ p3_uni_stark[88bb]::config::StarkGenericConfig::Pcs), .. }), Alias(Projection, AliasTy { args: [p3_uni_stark::StarkConfig, p3_symmetric::CompressionFunctionFromHasher, 32_usize>, p3_commit::ExtensionMmcs, p3_merkle_tree::FieldMerkleTreeMmcs, p3_symmetric::CompressionFunctionFromHasher, 32_usize>>>, p3_field::extension::BinomialExtensionField, p3_challenger::SerializingChallenger32>>], def_id: DefId(52:26 ~ p3_uni_stark[88bb]::config::StarkGenericConfig::Challenge), .. }), Alias(Projection, AliasTy { args: [p3_uni_stark::StarkConfig, p3_symmetric::CompressionFunctionFromHasher, 32_usize>, p3_commit::ExtensionMmcs, p3_merkle_tree::FieldMerkleTreeMmcs, p3_symmetric::CompressionFunctionFromHasher, 32_usize>>>, p3_field::extension::BinomialExtensionField, p3_challenger::SerializingChallenger32>>], 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> [INFO] [stdout] 15 | | + for<'a> Air> [INFO] [stdout] 16 | | + for<'a> Air>>, [INFO] [stdout] ... | [INFO] [stdout] 26 | | where [INFO] [stdout] 27 | | Val: PrimeField32, [INFO] [stdout] | |________________________________^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: inconsistency during normalizing env `Binder { value: TraitPredicate(<<<, p3_symmetric::CompressionFunctionFromHasher, 32>, p3_commit::ExtensionMmcs, p3_merkle_tree::FieldMerkleTreeMmcs, p3_symmetric::CompressionFunctionFromHasher, 32>>>, p3_field::extension::BinomialExtensionField, p3_challenger::SerializingChallenger32>> as p3_uni_stark::StarkGenericConfig>::Pcs as p3_commit::Pcs<, p3_symmetric::CompressionFunctionFromHasher, 32>, p3_commit::ExtensionMmcs, p3_merkle_tree::FieldMerkleTreeMmcs, p3_symmetric::CompressionFunctionFromHasher, 32>>>, p3_field::extension::BinomialExtensionField, p3_challenger::SerializingChallenger32>> as p3_uni_stark::StarkGenericConfig>::Challenge, , p3_symmetric::CompressionFunctionFromHasher, 32>, p3_commit::ExtensionMmcs, p3_merkle_tree::FieldMerkleTreeMmcs, p3_symmetric::CompressionFunctionFromHasher, 32>>>, p3_field::extension::BinomialExtensionField, p3_challenger::SerializingChallenger32>> as p3_uni_stark::StarkGenericConfig>::Challenger>>::Domain as p3_commit::PolynomialSpace>::Val as std::ops::Add>, polarity:Positive), bound_vars: [] }`, old=Binder { value: TraitPredicate(, 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> [INFO] [stdout] 15 | | + for<'a> Air> [INFO] [stdout] 16 | | + for<'a> Air>>, [INFO] [stdout] ... | [INFO] [stdout] 26 | | where [INFO] [stdout] 27 | | Val: PrimeField32, [INFO] [stdout] | |________________________________^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: inconsistency during normalizing env `Binder { value: TraitPredicate(<<<, p3_symmetric::CompressionFunctionFromHasher, 32>, p3_commit::ExtensionMmcs, p3_merkle_tree::FieldMerkleTreeMmcs, p3_symmetric::CompressionFunctionFromHasher, 32>>>, p3_field::extension::BinomialExtensionField, p3_challenger::SerializingChallenger32>> as p3_uni_stark::StarkGenericConfig>::Pcs as p3_commit::Pcs<, p3_symmetric::CompressionFunctionFromHasher, 32>, p3_commit::ExtensionMmcs, p3_merkle_tree::FieldMerkleTreeMmcs, p3_symmetric::CompressionFunctionFromHasher, 32>>>, p3_field::extension::BinomialExtensionField, p3_challenger::SerializingChallenger32>> as p3_uni_stark::StarkGenericConfig>::Challenge, , p3_symmetric::CompressionFunctionFromHasher, 32>, p3_commit::ExtensionMmcs, p3_merkle_tree::FieldMerkleTreeMmcs, p3_symmetric::CompressionFunctionFromHasher, 32>>>, p3_field::extension::BinomialExtensionField, p3_challenger::SerializingChallenger32>> as p3_uni_stark::StarkGenericConfig>::Challenger>>::Domain as p3_commit::PolynomialSpace>::Val as std::marker::MetaSized>, polarity:Positive), bound_vars: [] }`, old=Binder { value: TraitPredicate(, 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> [INFO] [stdout] 15 | | + for<'a> Air> [INFO] [stdout] 16 | | + for<'a> Air>>, [INFO] [stdout] ... | [INFO] [stdout] 26 | | where [INFO] [stdout] 27 | | Val: PrimeField32, [INFO] [stdout] | |________________________________^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: inconsistency during normalizing env `Binder { value: TraitPredicate(, p3_symmetric::CompressionFunctionFromHasher, 32>, p3_commit::ExtensionMmcs, p3_merkle_tree::FieldMerkleTreeMmcs, p3_symmetric::CompressionFunctionFromHasher, 32>>>, p3_field::extension::BinomialExtensionField, p3_challenger::SerializingChallenger32>> as p3_uni_stark::StarkGenericConfig>::Pcs as p3_commit::Pcs<, p3_symmetric::CompressionFunctionFromHasher, 32>, p3_commit::ExtensionMmcs, p3_merkle_tree::FieldMerkleTreeMmcs, p3_symmetric::CompressionFunctionFromHasher, 32>>>, p3_field::extension::BinomialExtensionField, p3_challenger::SerializingChallenger32>> as p3_uni_stark::StarkGenericConfig>::Challenge, , p3_symmetric::CompressionFunctionFromHasher, 32>, p3_commit::ExtensionMmcs, p3_merkle_tree::FieldMerkleTreeMmcs, p3_symmetric::CompressionFunctionFromHasher, 32>>>, p3_field::extension::BinomialExtensionField, p3_challenger::SerializingChallenger32>> 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(>>, 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> [INFO] [stdout] 15 | | + for<'a> Air> [INFO] [stdout] 16 | | + for<'a> Air>>, [INFO] [stdout] ... | [INFO] [stdout] 26 | | where [INFO] [stdout] 27 | | Val: PrimeField32, [INFO] [stdout] | |________________________________^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: inconsistency during normalizing env `Binder { value: TraitPredicate(, p3_symmetric::CompressionFunctionFromHasher, 32>, p3_commit::ExtensionMmcs, p3_merkle_tree::FieldMerkleTreeMmcs, p3_symmetric::CompressionFunctionFromHasher, 32>>>, p3_field::extension::BinomialExtensionField, p3_challenger::SerializingChallenger32>> as p3_uni_stark::StarkGenericConfig>::Pcs as p3_commit::Pcs<, p3_symmetric::CompressionFunctionFromHasher, 32>, p3_commit::ExtensionMmcs, p3_merkle_tree::FieldMerkleTreeMmcs, p3_symmetric::CompressionFunctionFromHasher, 32>>>, p3_field::extension::BinomialExtensionField, p3_challenger::SerializingChallenger32>> as p3_uni_stark::StarkGenericConfig>::Challenge, , p3_symmetric::CompressionFunctionFromHasher, 32>, p3_commit::ExtensionMmcs, p3_merkle_tree::FieldMerkleTreeMmcs, p3_symmetric::CompressionFunctionFromHasher, 32>>>, p3_field::extension::BinomialExtensionField, p3_challenger::SerializingChallenger32>> 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(>, 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> [INFO] [stdout] 15 | | + for<'a> Air> [INFO] [stdout] 16 | | + for<'a> Air>>, [INFO] [stdout] ... | [INFO] [stdout] 26 | | where [INFO] [stdout] 27 | | Val: PrimeField32, [INFO] [stdout] | |________________________________^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: inconsistency during normalizing env `Binder { value: TraitPredicate(, p3_symmetric::CompressionFunctionFromHasher, 32>, p3_commit::ExtensionMmcs, p3_merkle_tree::FieldMerkleTreeMmcs, p3_symmetric::CompressionFunctionFromHasher, 32>>>, p3_field::extension::BinomialExtensionField, p3_challenger::SerializingChallenger32>> as p3_uni_stark::StarkGenericConfig>::Pcs as p3_commit::Pcs<, p3_symmetric::CompressionFunctionFromHasher, 32>, p3_commit::ExtensionMmcs, p3_merkle_tree::FieldMerkleTreeMmcs, p3_symmetric::CompressionFunctionFromHasher, 32>>>, p3_field::extension::BinomialExtensionField, p3_challenger::SerializingChallenger32>> as p3_uni_stark::StarkGenericConfig>::Challenge, , p3_symmetric::CompressionFunctionFromHasher, 32>, p3_commit::ExtensionMmcs, p3_merkle_tree::FieldMerkleTreeMmcs, p3_symmetric::CompressionFunctionFromHasher, 32>>>, p3_field::extension::BinomialExtensionField, p3_challenger::SerializingChallenger32>> 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(>>, 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> [INFO] [stdout] 15 | | + for<'a> Air> [INFO] [stdout] 16 | | + for<'a> Air>>, [INFO] [stdout] ... | [INFO] [stdout] 26 | | where [INFO] [stdout] 27 | | Val: PrimeField32, [INFO] [stdout] | |________________________________^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: inconsistency during normalizing env `Binder { value: TraitPredicate(, p3_symmetric::CompressionFunctionFromHasher, 32>, p3_commit::ExtensionMmcs, p3_merkle_tree::FieldMerkleTreeMmcs, p3_symmetric::CompressionFunctionFromHasher, 32>>>, p3_field::extension::BinomialExtensionField, p3_challenger::SerializingChallenger32>> as p3_uni_stark::StarkGenericConfig>::Pcs as p3_commit::Pcs<, p3_symmetric::CompressionFunctionFromHasher, 32>, p3_commit::ExtensionMmcs, p3_merkle_tree::FieldMerkleTreeMmcs, p3_symmetric::CompressionFunctionFromHasher, 32>>>, p3_field::extension::BinomialExtensionField, p3_challenger::SerializingChallenger32>> as p3_uni_stark::StarkGenericConfig>::Challenge, , p3_symmetric::CompressionFunctionFromHasher, 32>, p3_commit::ExtensionMmcs, p3_merkle_tree::FieldMerkleTreeMmcs, p3_symmetric::CompressionFunctionFromHasher, 32>>>, p3_field::extension::BinomialExtensionField, p3_challenger::SerializingChallenger32>> 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(>, 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> [INFO] [stdout] 15 | | + for<'a> Air> [INFO] [stdout] 16 | | + for<'a> Air>>, [INFO] [stdout] ... | [INFO] [stdout] 26 | | where [INFO] [stdout] 27 | | Val: PrimeField32, [INFO] [stdout] | |________________________________^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: inconsistency during normalizing env `Binder { value: TraitPredicate(, p3_symmetric::CompressionFunctionFromHasher, 32>, p3_commit::ExtensionMmcs, p3_merkle_tree::FieldMerkleTreeMmcs, p3_symmetric::CompressionFunctionFromHasher, 32>>>, p3_field::extension::BinomialExtensionField, p3_challenger::SerializingChallenger32>>> 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(>, 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> [INFO] [stdout] 15 | | + for<'a> Air> [INFO] [stdout] 16 | | + for<'a> Air>>, [INFO] [stdout] ... | [INFO] [stdout] 26 | | where [INFO] [stdout] 27 | | Val: PrimeField32, [INFO] [stdout] | |________________________________^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: inconsistency during normalizing env `Binder { value: TraitPredicate(, p3_symmetric::CompressionFunctionFromHasher, 32>, p3_commit::ExtensionMmcs, p3_merkle_tree::FieldMerkleTreeMmcs, p3_symmetric::CompressionFunctionFromHasher, 32>>>, p3_field::extension::BinomialExtensionField, p3_challenger::SerializingChallenger32>>> 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(>, 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> [INFO] [stdout] 15 | | + for<'a> Air> [INFO] [stdout] 16 | | + for<'a> Air>>, [INFO] [stdout] ... | [INFO] [stdout] 26 | | where [INFO] [stdout] 27 | | Val: 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" "8a3958af6423076d9a388f66c7b462c790f19a95aad0e724de55be444f3c60b3", kill_on_drop: false }` [INFO] running `Command { std: "docker" "rm" "-f" "8a3958af6423076d9a388f66c7b462c790f19a95aad0e724de55be444f3c60b3", kill_on_drop: false }` [INFO] [stdout] 8a3958af6423076d9a388f66c7b462c790f19a95aad0e724de55be444f3c60b3