[INFO] cloning repository https://github.com/tinh0/sha256-example
[INFO] running `Command { std: "git" "-c" "credential.helper=" "-c" "credential.helper=/workspace/cargo-home/bin/git-credential-null" "clone" "--bare" "https://github.com/tinh0/sha256-example" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Ftinh0%2Fsha256-example", kill_on_drop: false }`
[INFO] [stderr] Cloning into bare repository '/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Ftinh0%2Fsha256-example'...
[INFO] running `Command { std: "git" "rev-parse" "HEAD", kill_on_drop: false }`
[INFO] [stdout] 5b817bd16313fb83f8326093e67e2a5d671c8913
[INFO] checking tinh0/sha256-example against try#c8085cfed34c45021fc8f66d073f6394b3e35431 for pr-148939
[INFO] running `Command { std: "git" "clone" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Ftinh0%2Fsha256-example" "/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/tinh0/sha256-example
[INFO] finished tweaking git repo https://github.com/tinh0/sha256-example
[INFO] tweaked toml for git repo https://github.com/tinh0/sha256-example written to /workspace/builds/worker-3-tc2/source/Cargo.toml
[INFO] validating manifest of git repo https://github.com/tinh0/sha256-example 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/tinh0/sha256-example 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] d6504f7d9fde43a9acb85b8b01099020942c1c7d7ce8534912ff4ee1209f5944
[INFO] running `Command { std: "docker" "start" "-a" "d6504f7d9fde43a9acb85b8b01099020942c1c7d7ce8534912ff4ee1209f5944", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "inspect" "d6504f7d9fde43a9acb85b8b01099020942c1c7d7ce8534912ff4ee1209f5944", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "d6504f7d9fde43a9acb85b8b01099020942c1c7d7ce8534912ff4ee1209f5944", kill_on_drop: false }`
[INFO] [stdout] d6504f7d9fde43a9acb85b8b01099020942c1c7d7ce8534912ff4ee1209f5944
[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] b5289dee6fdf3711c6a99cbfa91716b08385df6c3fac1dd3b580250fd15f95fb
[INFO] running `Command { std: "docker" "start" "-a" "b5289dee6fdf3711c6a99cbfa91716b08385df6c3fac1dd3b580250fd15f95fb", kill_on_drop: false }`
[INFO] [stderr]    Compiling binius-utils v0.1.0 (https://github.com/IrreducibleOSS/binius64#5540283e)
[INFO] [stderr]    Compiling thiserror v2.0.17
[INFO] [stderr]     Checking itertools v0.14.0
[INFO] [stderr]    Compiling seq-macro v0.3.6
[INFO] [stderr]    Compiling syn v2.0.106
[INFO] [stderr]     Checking generic-array v0.14.7
[INFO] [stderr]     Checking getrandom v0.3.3
[INFO] [stderr]    Compiling trait-set v0.3.0
[INFO] [stderr]     Checking indexmap v2.11.4
[INFO] [stderr]     Checking hashbrown v0.15.5
[INFO] [stderr]     Checking fixedbitset v0.5.7
[INFO] [stderr]     Checking cranelift-bitset v0.121.2
[INFO] [stderr]     Checking uninit v0.6.2
[INFO] [stderr]     Checking num-bigint v0.4.6
[INFO] [stderr]     Checking rustc-hash v2.1.1
[INFO] [stderr]     Checking hex-literal v1.0.0
[INFO] [stderr]     Checking cranelift-entity v0.121.2
[INFO] [stderr]     Checking rand_core v0.9.3
[INFO] [stderr]     Checking rand_chacha v0.9.0
[INFO] [stderr]     Checking rand v0.9.2
[INFO] [stderr]     Checking petgraph v0.8.3
[INFO] [stderr]     Checking block-buffer v0.10.4
[INFO] [stderr]     Checking crypto-common v0.1.6
[INFO] [stderr]     Checking digest v0.10.7
[INFO] [stderr]     Checking sha2 v0.10.9
[INFO] [stderr]     Checking sha3 v0.10.8
[INFO] [stderr]    Compiling proc-macro-error2 v2.0.1
[INFO] [stderr]    Compiling bytemuck_derive v1.10.2
[INFO] [stderr]    Compiling thiserror-impl v2.0.17
[INFO] [stderr]    Compiling derive_more v0.99.20
[INFO] [stderr]    Compiling tracing-attributes v0.1.30
[INFO] [stderr]    Compiling auto_impl v1.3.0
[INFO] [stderr]    Compiling serde_derive v1.0.228
[INFO] [stderr]    Compiling getset v0.1.6
[INFO] [stderr]     Checking tracing v0.1.41
[INFO] [stderr]     Checking bytemuck v1.24.0
[INFO] [stderr]     Checking binius-core v0.1.0 (https://github.com/IrreducibleOSS/binius64#5540283e)
[INFO] [stderr]     Checking binius-field v0.1.0 (https://github.com/IrreducibleOSS/binius64#5540283e)
[INFO] [stderr]     Checking serde v1.0.228
[INFO] [stderr]     Checking binius-frontend v0.1.0 (https://github.com/IrreducibleOSS/binius64#5540283e)
[INFO] [stdout] error: inconsistency during normalizing env `Binder { value: ProjectionPredicate(AliasTerm { args: [OP/#0], def_id: DefId(0:1521 ~ binius_field[3ff2]::underlier::underlier_type::WithUnderlier::Underlier), .. }, Term::Ty(Alias(Projection, AliasTy { args: [arch::portable::packed::PackedPrimitiveType<underlier::small_uint::SmallU<1_usize>, binary_field::BinaryField1b>], def_id: DefId(0:1521 ~ binius_field[3ff2]::underlier::underlier_type::WithUnderlier::Underlier), .. }))), bound_vars: [] }`, old=Binder { value: ProjectionPredicate(AliasTerm { args: [OP/#0], def_id: DefId(0:1521 ~ binius_field[3ff2]::underlier::underlier_type::WithUnderlier::Underlier), .. }, Term::Ty(underlier::small_uint::SmallU<1_usize>)), bound_vars: [] }, next=None
[INFO] [stdout]    --> /opt/rustwide/cargo-home/git/checkouts/binius64-733e5504f277ebd2/5540283/verifier/field/src/arithmetic_traits.rs:157:3
[INFO] [stdout]     |
[INFO] [stdout] 157 | /         impl<OP> $crate::linear_transformation::PackedTransformationFactory<OP> for $name
[INFO] [stdout] 158 | |         where
[INFO] [stdout] 159 | |             OP: $crate::packed::PackedBinaryField
[INFO] [stdout] 160 | |                 + $crate::underlier::WithUnderlier<
[INFO] [stdout] 161 | |                     Underlier = <$name as $crate::underlier::WithUnderlier>::Underlier,
[INFO] [stdout] 162 | |                 >,
[INFO] [stdout] 163 | |             Self: $crate::arithmetic_traits::TaggedPackedTransformationFactory<$strategy, OP>,
[INFO] [stdout]     | |______________________________________________________________________________________________^
[INFO] [stdout]     |
[INFO] [stdout]    ::: /opt/rustwide/cargo-home/git/checkouts/binius64-733e5504f277ebd2/5540283/verifier/field/src/arch/portable/packed_1.rs:30:1
[INFO] [stdout]     |
[INFO] [stdout]  30 |   impl_transformation_with_strategy!(PackedBinaryField1x1b, PairwiseStrategy);
[INFO] [stdout]     |   --------------------------------------------------------------------------- in this macro invocation
[INFO] [stdout]     |
[INFO] [stdout]     = note: this error originates in the macro `impl_transformation_with_strategy` (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: inconsistency during normalizing env `Binder { value: ProjectionPredicate(AliasTerm { args: [OP/#0], def_id: DefId(0:1521 ~ binius_field[3ff2]::underlier::underlier_type::WithUnderlier::Underlier), .. }, Term::Ty(Alias(Projection, AliasTy { args: [arch::portable::packed::PackedPrimitiveType<underlier::small_uint::SmallU<1_usize>, binary_field::BinaryField1b>], def_id: DefId(0:1521 ~ binius_field[3ff2]::underlier::underlier_type::WithUnderlier::Underlier), .. }))), bound_vars: [] }`, old=Binder { value: ProjectionPredicate(AliasTerm { args: [OP/#0], def_id: DefId(0:1521 ~ binius_field[3ff2]::underlier::underlier_type::WithUnderlier::Underlier), .. }, Term::Ty(underlier::small_uint::SmallU<1_usize>)), bound_vars: [] }, next=None
[INFO] [stdout]    --> /opt/rustwide/cargo-home/git/checkouts/binius64-733e5504f277ebd2/5540283/verifier/field/src/arithmetic_traits.rs:165:4
[INFO] [stdout]     |
[INFO] [stdout] 165 |             type PackedTransformation<Data: AsRef<[OP::Scalar]> + Sync> =
[INFO] [stdout]     |             ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout]    ::: /opt/rustwide/cargo-home/git/checkouts/binius64-733e5504f277ebd2/5540283/verifier/field/src/arch/portable/packed_1.rs:30:1
[INFO] [stdout]     |
[INFO] [stdout]  30 | impl_transformation_with_strategy!(PackedBinaryField1x1b, PairwiseStrategy);
[INFO] [stdout]     | --------------------------------------------------------------------------- in this macro invocation
[INFO] [stdout]     |
[INFO] [stdout]     = note: this error originates in the macro `impl_transformation_with_strategy` (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: inconsistency during normalizing env `Binder { value: ProjectionPredicate(AliasTerm { args: [OP/#0], def_id: DefId(0:1521 ~ binius_field[3ff2]::underlier::underlier_type::WithUnderlier::Underlier), .. }, Term::Ty(Alias(Projection, AliasTy { args: [arch::portable::packed::PackedPrimitiveType<underlier::small_uint::SmallU<1_usize>, binary_field::BinaryField1b>], def_id: DefId(0:1521 ~ binius_field[3ff2]::underlier::underlier_type::WithUnderlier::Underlier), .. }))), bound_vars: [] }`, old=Binder { value: ProjectionPredicate(AliasTerm { args: [OP/#0], def_id: DefId(0:1521 ~ binius_field[3ff2]::underlier::underlier_type::WithUnderlier::Underlier), .. }, Term::Ty(underlier::small_uint::SmallU<1_usize>)), bound_vars: [] }, next=None
[INFO] [stdout]    --> /opt/rustwide/cargo-home/git/checkouts/binius64-733e5504f277ebd2/5540283/verifier/field/src/arithmetic_traits.rs:171:4
[INFO] [stdout]     |
[INFO] [stdout] 171 | /             fn make_packed_transformation<Data: AsRef<[OP::Scalar]> + Sync>(
[INFO] [stdout] 172 | |                 transformation: $crate::linear_transformation::FieldLinearTransformation<
[INFO] [stdout] 173 | |                     OP::Scalar,
[INFO] [stdout] 174 | |                     Data,
[INFO] [stdout] 175 | |                 >,
[INFO] [stdout] 176 | |             ) -> Self::PackedTransformation<Data> {
[INFO] [stdout]     | |_________________________________________________^
[INFO] [stdout]     |
[INFO] [stdout]    ::: /opt/rustwide/cargo-home/git/checkouts/binius64-733e5504f277ebd2/5540283/verifier/field/src/arch/portable/packed_1.rs:30:1
[INFO] [stdout]     |
[INFO] [stdout]  30 |   impl_transformation_with_strategy!(PackedBinaryField1x1b, PairwiseStrategy);
[INFO] [stdout]     |   --------------------------------------------------------------------------- in this macro invocation
[INFO] [stdout]     |
[INFO] [stdout]     = note: this error originates in the macro `impl_transformation_with_strategy` (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: inconsistency during normalizing env `Binder { value: ProjectionPredicate(AliasTerm { args: [OP/#0], def_id: DefId(0:1521 ~ binius_field[3ff2]::underlier::underlier_type::WithUnderlier::Underlier), .. }, Term::Ty(Alias(Projection, AliasTy { args: [arch::portable::packed::PackedPrimitiveType<u128, binary_field::BinaryField1b>], def_id: DefId(0:1521 ~ binius_field[3ff2]::underlier::underlier_type::WithUnderlier::Underlier), .. }))), bound_vars: [] }`, old=Binder { value: ProjectionPredicate(AliasTerm { args: [OP/#0], def_id: DefId(0:1521 ~ binius_field[3ff2]::underlier::underlier_type::WithUnderlier::Underlier), .. }, Term::Ty(u128)), bound_vars: [] }, next=None
[INFO] [stdout]    --> /opt/rustwide/cargo-home/git/checkouts/binius64-733e5504f277ebd2/5540283/verifier/field/src/arithmetic_traits.rs:157:3
[INFO] [stdout]     |
[INFO] [stdout] 157 | /         impl<OP> $crate::linear_transformation::PackedTransformationFactory<OP> for $name
[INFO] [stdout] 158 | |         where
[INFO] [stdout] 159 | |             OP: $crate::packed::PackedBinaryField
[INFO] [stdout] 160 | |                 + $crate::underlier::WithUnderlier<
[INFO] [stdout] 161 | |                     Underlier = <$name as $crate::underlier::WithUnderlier>::Underlier,
[INFO] [stdout] 162 | |                 >,
[INFO] [stdout] 163 | |             Self: $crate::arithmetic_traits::TaggedPackedTransformationFactory<$strategy, OP>,
[INFO] [stdout]     | |______________________________________________________________________________________________^
[INFO] [stdout]     |
[INFO] [stdout]    ::: /opt/rustwide/cargo-home/git/checkouts/binius64-733e5504f277ebd2/5540283/verifier/field/src/arch/portable/packed_128.rs:12:1
[INFO] [stdout]     |
[INFO] [stdout]  12 | / define_packed_binary_fields!(
[INFO] [stdout]  13 | |     underlier: u128,
[INFO] [stdout]  14 | |     packed_fields: [
[INFO] [stdout]  15 | |         packed_field {
[INFO] [stdout] ...   |
[INFO] [stdout]  26 | | );
[INFO] [stdout]     | |_- in this macro invocation
[INFO] [stdout]     |
[INFO] [stdout]     = note: this error originates in the macro `impl_transformation_with_strategy` which comes from the expansion of the macro `define_packed_binary_fields` (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: inconsistency during normalizing env `Binder { value: ProjectionPredicate(AliasTerm { args: [OP/#0], def_id: DefId(0:1521 ~ binius_field[3ff2]::underlier::underlier_type::WithUnderlier::Underlier), .. }, Term::Ty(Alias(Projection, AliasTy { args: [arch::portable::packed::PackedPrimitiveType<u128, binary_field::BinaryField1b>], def_id: DefId(0:1521 ~ binius_field[3ff2]::underlier::underlier_type::WithUnderlier::Underlier), .. }))), bound_vars: [] }`, old=Binder { value: ProjectionPredicate(AliasTerm { args: [OP/#0], def_id: DefId(0:1521 ~ binius_field[3ff2]::underlier::underlier_type::WithUnderlier::Underlier), .. }, Term::Ty(u128)), bound_vars: [] }, next=None
[INFO] [stdout]    --> /opt/rustwide/cargo-home/git/checkouts/binius64-733e5504f277ebd2/5540283/verifier/field/src/arithmetic_traits.rs:165:4
[INFO] [stdout]     |
[INFO] [stdout] 165 |               type PackedTransformation<Data: AsRef<[OP::Scalar]> + Sync> =
[INFO] [stdout]     |               ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout]    ::: /opt/rustwide/cargo-home/git/checkouts/binius64-733e5504f277ebd2/5540283/verifier/field/src/arch/portable/packed_128.rs:12:1
[INFO] [stdout]     |
[INFO] [stdout]  12 | / define_packed_binary_fields!(
[INFO] [stdout]  13 | |     underlier: u128,
[INFO] [stdout]  14 | |     packed_fields: [
[INFO] [stdout]  15 | |         packed_field {
[INFO] [stdout] ...   |
[INFO] [stdout]  26 | | );
[INFO] [stdout]     | |_- in this macro invocation
[INFO] [stdout]     |
[INFO] [stdout]     = note: this error originates in the macro `impl_transformation_with_strategy` which comes from the expansion of the macro `define_packed_binary_fields` (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: inconsistency during normalizing env `Binder { value: ProjectionPredicate(AliasTerm { args: [OP/#0], def_id: DefId(0:1521 ~ binius_field[3ff2]::underlier::underlier_type::WithUnderlier::Underlier), .. }, Term::Ty(Alias(Projection, AliasTy { args: [arch::portable::packed::PackedPrimitiveType<u128, binary_field::BinaryField1b>], def_id: DefId(0:1521 ~ binius_field[3ff2]::underlier::underlier_type::WithUnderlier::Underlier), .. }))), bound_vars: [] }`, old=Binder { value: ProjectionPredicate(AliasTerm { args: [OP/#0], def_id: DefId(0:1521 ~ binius_field[3ff2]::underlier::underlier_type::WithUnderlier::Underlier), .. }, Term::Ty(u128)), bound_vars: [] }, next=None
[INFO] [stdout]    --> /opt/rustwide/cargo-home/git/checkouts/binius64-733e5504f277ebd2/5540283/verifier/field/src/arithmetic_traits.rs:171:4
[INFO] [stdout]     |
[INFO] [stdout] 171 | /             fn make_packed_transformation<Data: AsRef<[OP::Scalar]> + Sync>(
[INFO] [stdout] 172 | |                 transformation: $crate::linear_transformation::FieldLinearTransformation<
[INFO] [stdout] 173 | |                     OP::Scalar,
[INFO] [stdout] 174 | |                     Data,
[INFO] [stdout] 175 | |                 >,
[INFO] [stdout] 176 | |             ) -> Self::PackedTransformation<Data> {
[INFO] [stdout]     | |_________________________________________________^
[INFO] [stdout]     |
[INFO] [stdout]    ::: /opt/rustwide/cargo-home/git/checkouts/binius64-733e5504f277ebd2/5540283/verifier/field/src/arch/portable/packed_128.rs:12:1
[INFO] [stdout]     |
[INFO] [stdout]  12 | / define_packed_binary_fields!(
[INFO] [stdout]  13 | |     underlier: u128,
[INFO] [stdout]  14 | |     packed_fields: [
[INFO] [stdout]  15 | |         packed_field {
[INFO] [stdout] ...   |
[INFO] [stdout]  26 | | );
[INFO] [stdout]     | |_- in this macro invocation
[INFO] [stdout]     |
[INFO] [stdout]     = note: this error originates in the macro `impl_transformation_with_strategy` which comes from the expansion of the macro `define_packed_binary_fields` (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stderr]     Checking binius-circuits v0.1.0 (https://github.com/IrreducibleOSS/binius64#5540283e)
[INFO] [stdout] error: inconsistency during normalizing env `Binder { value: ProjectionPredicate(AliasTerm { args: [OP/#0], def_id: DefId(0:1521 ~ binius_field[3ff2]::underlier::underlier_type::WithUnderlier::Underlier), .. }, Term::Ty(Alias(Projection, AliasTy { args: [arch::portable::packed::PackedPrimitiveType<u16, binary_field::BinaryField1b>], def_id: DefId(0:1521 ~ binius_field[3ff2]::underlier::underlier_type::WithUnderlier::Underlier), .. }))), bound_vars: [] }`, old=Binder { value: ProjectionPredicate(AliasTerm { args: [OP/#0], def_id: DefId(0:1521 ~ binius_field[3ff2]::underlier::underlier_type::WithUnderlier::Underlier), .. }, Term::Ty(u16)), bound_vars: [] }, next=None
[INFO] [stdout]    --> /opt/rustwide/cargo-home/git/checkouts/binius64-733e5504f277ebd2/5540283/verifier/field/src/arithmetic_traits.rs:157:3
[INFO] [stdout]     |
[INFO] [stdout] 157 | /         impl<OP> $crate::linear_transformation::PackedTransformationFactory<OP> for $name
[INFO] [stdout] 158 | |         where
[INFO] [stdout] 159 | |             OP: $crate::packed::PackedBinaryField
[INFO] [stdout] 160 | |                 + $crate::underlier::WithUnderlier<
[INFO] [stdout] 161 | |                     Underlier = <$name as $crate::underlier::WithUnderlier>::Underlier,
[INFO] [stdout] 162 | |                 >,
[INFO] [stdout] 163 | |             Self: $crate::arithmetic_traits::TaggedPackedTransformationFactory<$strategy, OP>,
[INFO] [stdout]     | |______________________________________________________________________________________________^
[INFO] [stdout]     |
[INFO] [stdout]    ::: /opt/rustwide/cargo-home/git/checkouts/binius64-733e5504f277ebd2/5540283/verifier/field/src/arch/portable/packed_16.rs:12:1
[INFO] [stdout]     |
[INFO] [stdout]  12 | / define_packed_binary_fields!(
[INFO] [stdout]  13 | |     underlier: u16,
[INFO] [stdout]  14 | |     packed_fields: [
[INFO] [stdout]  15 | |         packed_field {
[INFO] [stdout] ...   |
[INFO] [stdout]  26 | | );
[INFO] [stdout]     | |_- in this macro invocation
[INFO] [stdout]     |
[INFO] [stdout]     = note: this error originates in the macro `impl_transformation_with_strategy` which comes from the expansion of the macro `define_packed_binary_fields` (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: inconsistency during normalizing env `Binder { value: ProjectionPredicate(AliasTerm { args: [OP/#0], def_id: DefId(0:1521 ~ binius_field[3ff2]::underlier::underlier_type::WithUnderlier::Underlier), .. }, Term::Ty(Alias(Projection, AliasTy { args: [arch::portable::packed::PackedPrimitiveType<u16, binary_field::BinaryField1b>], def_id: DefId(0:1521 ~ binius_field[3ff2]::underlier::underlier_type::WithUnderlier::Underlier), .. }))), bound_vars: [] }`, old=Binder { value: ProjectionPredicate(AliasTerm { args: [OP/#0], def_id: DefId(0:1521 ~ binius_field[3ff2]::underlier::underlier_type::WithUnderlier::Underlier), .. }, Term::Ty(u16)), bound_vars: [] }, next=None
[INFO] [stdout]    --> /opt/rustwide/cargo-home/git/checkouts/binius64-733e5504f277ebd2/5540283/verifier/field/src/arithmetic_traits.rs:165:4
[INFO] [stdout]     |
[INFO] [stdout] 165 |               type PackedTransformation<Data: AsRef<[OP::Scalar]> + Sync> =
[INFO] [stdout]     |               ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout]    ::: /opt/rustwide/cargo-home/git/checkouts/binius64-733e5504f277ebd2/5540283/verifier/field/src/arch/portable/packed_16.rs:12:1
[INFO] [stdout]     |
[INFO] [stdout]  12 | / define_packed_binary_fields!(
[INFO] [stdout]  13 | |     underlier: u16,
[INFO] [stdout]  14 | |     packed_fields: [
[INFO] [stdout]  15 | |         packed_field {
[INFO] [stdout] ...   |
[INFO] [stdout]  26 | | );
[INFO] [stdout]     | |_- in this macro invocation
[INFO] [stdout]     |
[INFO] [stdout]     = note: this error originates in the macro `impl_transformation_with_strategy` which comes from the expansion of the macro `define_packed_binary_fields` (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: inconsistency during normalizing env `Binder { value: ProjectionPredicate(AliasTerm { args: [OP/#0], def_id: DefId(0:1521 ~ binius_field[3ff2]::underlier::underlier_type::WithUnderlier::Underlier), .. }, Term::Ty(Alias(Projection, AliasTy { args: [arch::portable::packed::PackedPrimitiveType<u16, binary_field::BinaryField1b>], def_id: DefId(0:1521 ~ binius_field[3ff2]::underlier::underlier_type::WithUnderlier::Underlier), .. }))), bound_vars: [] }`, old=Binder { value: ProjectionPredicate(AliasTerm { args: [OP/#0], def_id: DefId(0:1521 ~ binius_field[3ff2]::underlier::underlier_type::WithUnderlier::Underlier), .. }, Term::Ty(u16)), bound_vars: [] }, next=None
[INFO] [stdout]    --> /opt/rustwide/cargo-home/git/checkouts/binius64-733e5504f277ebd2/5540283/verifier/field/src/arithmetic_traits.rs:171:4
[INFO] [stdout]     |
[INFO] [stdout] 171 | /             fn make_packed_transformation<Data: AsRef<[OP::Scalar]> + Sync>(
[INFO] [stdout] 172 | |                 transformation: $crate::linear_transformation::FieldLinearTransformation<
[INFO] [stdout] 173 | |                     OP::Scalar,
[INFO] [stdout] 174 | |                     Data,
[INFO] [stdout] 175 | |                 >,
[INFO] [stdout] 176 | |             ) -> Self::PackedTransformation<Data> {
[INFO] [stdout]     | |_________________________________________________^
[INFO] [stdout]     |
[INFO] [stdout]    ::: /opt/rustwide/cargo-home/git/checkouts/binius64-733e5504f277ebd2/5540283/verifier/field/src/arch/portable/packed_16.rs:12:1
[INFO] [stdout]     |
[INFO] [stdout]  12 | / define_packed_binary_fields!(
[INFO] [stdout]  13 | |     underlier: u16,
[INFO] [stdout]  14 | |     packed_fields: [
[INFO] [stdout]  15 | |         packed_field {
[INFO] [stdout] ...   |
[INFO] [stdout]  26 | | );
[INFO] [stdout]     | |_- in this macro invocation
[INFO] [stdout]     |
[INFO] [stdout]     = note: this error originates in the macro `impl_transformation_with_strategy` which comes from the expansion of the macro `define_packed_binary_fields` (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: inconsistency during normalizing env `Binder { value: ProjectionPredicate(AliasTerm { args: [OP/#0], def_id: DefId(0:1521 ~ binius_field[3ff2]::underlier::underlier_type::WithUnderlier::Underlier), .. }, Term::Ty(Alias(Projection, AliasTy { args: [arch::portable::packed::PackedPrimitiveType<underlier::small_uint::SmallU<2_usize>, binary_field::BinaryField1b>], def_id: DefId(0:1521 ~ binius_field[3ff2]::underlier::underlier_type::WithUnderlier::Underlier), .. }))), bound_vars: [] }`, old=Binder { value: ProjectionPredicate(AliasTerm { args: [OP/#0], def_id: DefId(0:1521 ~ binius_field[3ff2]::underlier::underlier_type::WithUnderlier::Underlier), .. }, Term::Ty(underlier::small_uint::SmallU<2_usize>)), bound_vars: [] }, next=None
[INFO] [stdout]    --> /opt/rustwide/cargo-home/git/checkouts/binius64-733e5504f277ebd2/5540283/verifier/field/src/arithmetic_traits.rs:157:3
[INFO] [stdout]     |
[INFO] [stdout] 157 | /         impl<OP> $crate::linear_transformation::PackedTransformationFactory<OP> for $name
[INFO] [stdout] 158 | |         where
[INFO] [stdout] 159 | |             OP: $crate::packed::PackedBinaryField
[INFO] [stdout] 160 | |                 + $crate::underlier::WithUnderlier<
[INFO] [stdout] 161 | |                     Underlier = <$name as $crate::underlier::WithUnderlier>::Underlier,
[INFO] [stdout] 162 | |                 >,
[INFO] [stdout] 163 | |             Self: $crate::arithmetic_traits::TaggedPackedTransformationFactory<$strategy, OP>,
[INFO] [stdout]     | |______________________________________________________________________________________________^
[INFO] [stdout]     |
[INFO] [stdout]    ::: /opt/rustwide/cargo-home/git/checkouts/binius64-733e5504f277ebd2/5540283/verifier/field/src/arch/portable/packed_2.rs:11:1
[INFO] [stdout]     |
[INFO] [stdout]  11 | / define_packed_binary_fields!(
[INFO] [stdout]  12 | |     underlier: U2,
[INFO] [stdout]  13 | |     packed_fields: [
[INFO] [stdout]  14 | |         packed_field {
[INFO] [stdout] ...   |
[INFO] [stdout]  25 | | );
[INFO] [stdout]     | |_- in this macro invocation
[INFO] [stdout]     |
[INFO] [stdout]     = note: this error originates in the macro `impl_transformation_with_strategy` which comes from the expansion of the macro `define_packed_binary_fields` (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: inconsistency during normalizing env `Binder { value: ProjectionPredicate(AliasTerm { args: [OP/#0], def_id: DefId(0:1521 ~ binius_field[3ff2]::underlier::underlier_type::WithUnderlier::Underlier), .. }, Term::Ty(Alias(Projection, AliasTy { args: [arch::portable::packed::PackedPrimitiveType<underlier::small_uint::SmallU<2_usize>, binary_field::BinaryField1b>], def_id: DefId(0:1521 ~ binius_field[3ff2]::underlier::underlier_type::WithUnderlier::Underlier), .. }))), bound_vars: [] }`, old=Binder { value: ProjectionPredicate(AliasTerm { args: [OP/#0], def_id: DefId(0:1521 ~ binius_field[3ff2]::underlier::underlier_type::WithUnderlier::Underlier), .. }, Term::Ty(underlier::small_uint::SmallU<2_usize>)), bound_vars: [] }, next=None
[INFO] [stdout]    --> /opt/rustwide/cargo-home/git/checkouts/binius64-733e5504f277ebd2/5540283/verifier/field/src/arithmetic_traits.rs:165:4
[INFO] [stdout]     |
[INFO] [stdout] 165 |               type PackedTransformation<Data: AsRef<[OP::Scalar]> + Sync> =
[INFO] [stdout]     |               ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout]    ::: /opt/rustwide/cargo-home/git/checkouts/binius64-733e5504f277ebd2/5540283/verifier/field/src/arch/portable/packed_2.rs:11:1
[INFO] [stdout]     |
[INFO] [stdout]  11 | / define_packed_binary_fields!(
[INFO] [stdout]  12 | |     underlier: U2,
[INFO] [stdout]  13 | |     packed_fields: [
[INFO] [stdout]  14 | |         packed_field {
[INFO] [stdout] ...   |
[INFO] [stdout]  25 | | );
[INFO] [stdout]     | |_- in this macro invocation
[INFO] [stdout]     |
[INFO] [stdout]     = note: this error originates in the macro `impl_transformation_with_strategy` which comes from the expansion of the macro `define_packed_binary_fields` (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: inconsistency during normalizing env `Binder { value: ProjectionPredicate(AliasTerm { args: [OP/#0], def_id: DefId(0:1521 ~ binius_field[3ff2]::underlier::underlier_type::WithUnderlier::Underlier), .. }, Term::Ty(Alias(Projection, AliasTy { args: [arch::portable::packed::PackedPrimitiveType<underlier::small_uint::SmallU<2_usize>, binary_field::BinaryField1b>], def_id: DefId(0:1521 ~ binius_field[3ff2]::underlier::underlier_type::WithUnderlier::Underlier), .. }))), bound_vars: [] }`, old=Binder { value: ProjectionPredicate(AliasTerm { args: [OP/#0], def_id: DefId(0:1521 ~ binius_field[3ff2]::underlier::underlier_type::WithUnderlier::Underlier), .. }, Term::Ty(underlier::small_uint::SmallU<2_usize>)), bound_vars: [] }, next=None
[INFO] [stdout]    --> /opt/rustwide/cargo-home/git/checkouts/binius64-733e5504f277ebd2/5540283/verifier/field/src/arithmetic_traits.rs:171:4
[INFO] [stdout]     |
[INFO] [stdout] 171 | /             fn make_packed_transformation<Data: AsRef<[OP::Scalar]> + Sync>(
[INFO] [stdout] 172 | |                 transformation: $crate::linear_transformation::FieldLinearTransformation<
[INFO] [stdout] 173 | |                     OP::Scalar,
[INFO] [stdout] 174 | |                     Data,
[INFO] [stdout] 175 | |                 >,
[INFO] [stdout] 176 | |             ) -> Self::PackedTransformation<Data> {
[INFO] [stdout]     | |_________________________________________________^
[INFO] [stdout]     |
[INFO] [stdout]    ::: /opt/rustwide/cargo-home/git/checkouts/binius64-733e5504f277ebd2/5540283/verifier/field/src/arch/portable/packed_2.rs:11:1
[INFO] [stdout]     |
[INFO] [stdout]  11 | / define_packed_binary_fields!(
[INFO] [stdout]  12 | |     underlier: U2,
[INFO] [stdout]  13 | |     packed_fields: [
[INFO] [stdout]  14 | |         packed_field {
[INFO] [stdout] ...   |
[INFO] [stdout]  25 | | );
[INFO] [stdout]     | |_- in this macro invocation
[INFO] [stdout]     |
[INFO] [stdout]     = note: this error originates in the macro `impl_transformation_with_strategy` which comes from the expansion of the macro `define_packed_binary_fields` (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: inconsistency during normalizing env `Binder { value: ProjectionPredicate(AliasTerm { args: [OP/#0], def_id: DefId(0:1521 ~ binius_field[3ff2]::underlier::underlier_type::WithUnderlier::Underlier), .. }, Term::Ty(Alias(Projection, AliasTy { args: [arch::portable::packed::PackedPrimitiveType<u32, binary_field::BinaryField1b>], def_id: DefId(0:1521 ~ binius_field[3ff2]::underlier::underlier_type::WithUnderlier::Underlier), .. }))), bound_vars: [] }`, old=Binder { value: ProjectionPredicate(AliasTerm { args: [OP/#0], def_id: DefId(0:1521 ~ binius_field[3ff2]::underlier::underlier_type::WithUnderlier::Underlier), .. }, Term::Ty(u32)), bound_vars: [] }, next=None
[INFO] [stdout]    --> /opt/rustwide/cargo-home/git/checkouts/binius64-733e5504f277ebd2/5540283/verifier/field/src/arithmetic_traits.rs:157:3
[INFO] [stdout]     |
[INFO] [stdout] 157 | /         impl<OP> $crate::linear_transformation::PackedTransformationFactory<OP> for $name
[INFO] [stdout] 158 | |         where
[INFO] [stdout] 159 | |             OP: $crate::packed::PackedBinaryField
[INFO] [stdout] 160 | |                 + $crate::underlier::WithUnderlier<
[INFO] [stdout] 161 | |                     Underlier = <$name as $crate::underlier::WithUnderlier>::Underlier,
[INFO] [stdout] 162 | |                 >,
[INFO] [stdout] 163 | |             Self: $crate::arithmetic_traits::TaggedPackedTransformationFactory<$strategy, OP>,
[INFO] [stdout]     | |______________________________________________________________________________________________^
[INFO] [stdout]     |
[INFO] [stdout]    ::: /opt/rustwide/cargo-home/git/checkouts/binius64-733e5504f277ebd2/5540283/verifier/field/src/arch/portable/packed_32.rs:12:1
[INFO] [stdout]     |
[INFO] [stdout]  12 | / define_packed_binary_fields!(
[INFO] [stdout]  13 | |     underlier: u32,
[INFO] [stdout]  14 | |     packed_fields: [
[INFO] [stdout]  15 | |         packed_field {
[INFO] [stdout] ...   |
[INFO] [stdout]  26 | | );
[INFO] [stdout]     | |_- in this macro invocation
[INFO] [stdout]     |
[INFO] [stdout]     = note: this error originates in the macro `impl_transformation_with_strategy` which comes from the expansion of the macro `define_packed_binary_fields` (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: inconsistency during normalizing env `Binder { value: ProjectionPredicate(AliasTerm { args: [OP/#0], def_id: DefId(0:1521 ~ binius_field[3ff2]::underlier::underlier_type::WithUnderlier::Underlier), .. }, Term::Ty(Alias(Projection, AliasTy { args: [arch::portable::packed::PackedPrimitiveType<u32, binary_field::BinaryField1b>], def_id: DefId(0:1521 ~ binius_field[3ff2]::underlier::underlier_type::WithUnderlier::Underlier), .. }))), bound_vars: [] }`, old=Binder { value: ProjectionPredicate(AliasTerm { args: [OP/#0], def_id: DefId(0:1521 ~ binius_field[3ff2]::underlier::underlier_type::WithUnderlier::Underlier), .. }, Term::Ty(u32)), bound_vars: [] }, next=None
[INFO] [stdout]    --> /opt/rustwide/cargo-home/git/checkouts/binius64-733e5504f277ebd2/5540283/verifier/field/src/arithmetic_traits.rs:165:4
[INFO] [stdout]     |
[INFO] [stdout] 165 |               type PackedTransformation<Data: AsRef<[OP::Scalar]> + Sync> =
[INFO] [stdout]     |               ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout]    ::: /opt/rustwide/cargo-home/git/checkouts/binius64-733e5504f277ebd2/5540283/verifier/field/src/arch/portable/packed_32.rs:12:1
[INFO] [stdout]     |
[INFO] [stdout]  12 | / define_packed_binary_fields!(
[INFO] [stdout]  13 | |     underlier: u32,
[INFO] [stdout]  14 | |     packed_fields: [
[INFO] [stdout]  15 | |         packed_field {
[INFO] [stdout] ...   |
[INFO] [stdout]  26 | | );
[INFO] [stdout]     | |_- in this macro invocation
[INFO] [stdout]     |
[INFO] [stdout]     = note: this error originates in the macro `impl_transformation_with_strategy` which comes from the expansion of the macro `define_packed_binary_fields` (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: inconsistency during normalizing env `Binder { value: ProjectionPredicate(AliasTerm { args: [OP/#0], def_id: DefId(0:1521 ~ binius_field[3ff2]::underlier::underlier_type::WithUnderlier::Underlier), .. }, Term::Ty(Alias(Projection, AliasTy { args: [arch::portable::packed::PackedPrimitiveType<u32, binary_field::BinaryField1b>], def_id: DefId(0:1521 ~ binius_field[3ff2]::underlier::underlier_type::WithUnderlier::Underlier), .. }))), bound_vars: [] }`, old=Binder { value: ProjectionPredicate(AliasTerm { args: [OP/#0], def_id: DefId(0:1521 ~ binius_field[3ff2]::underlier::underlier_type::WithUnderlier::Underlier), .. }, Term::Ty(u32)), bound_vars: [] }, next=None
[INFO] [stdout]    --> /opt/rustwide/cargo-home/git/checkouts/binius64-733e5504f277ebd2/5540283/verifier/field/src/arithmetic_traits.rs:171:4
[INFO] [stdout]     |
[INFO] [stdout] 171 | /             fn make_packed_transformation<Data: AsRef<[OP::Scalar]> + Sync>(
[INFO] [stdout] 172 | |                 transformation: $crate::linear_transformation::FieldLinearTransformation<
[INFO] [stdout] 173 | |                     OP::Scalar,
[INFO] [stdout] 174 | |                     Data,
[INFO] [stdout] 175 | |                 >,
[INFO] [stdout] 176 | |             ) -> Self::PackedTransformation<Data> {
[INFO] [stdout]     | |_________________________________________________^
[INFO] [stdout]     |
[INFO] [stdout]    ::: /opt/rustwide/cargo-home/git/checkouts/binius64-733e5504f277ebd2/5540283/verifier/field/src/arch/portable/packed_32.rs:12:1
[INFO] [stdout]     |
[INFO] [stdout]  12 | / define_packed_binary_fields!(
[INFO] [stdout]  13 | |     underlier: u32,
[INFO] [stdout]  14 | |     packed_fields: [
[INFO] [stdout]  15 | |         packed_field {
[INFO] [stdout] ...   |
[INFO] [stdout]  26 | | );
[INFO] [stdout]     | |_- in this macro invocation
[INFO] [stdout]     |
[INFO] [stdout]     = note: this error originates in the macro `impl_transformation_with_strategy` which comes from the expansion of the macro `define_packed_binary_fields` (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: inconsistency during normalizing env `Binder { value: ProjectionPredicate(AliasTerm { args: [OP/#0], def_id: DefId(0:1521 ~ binius_field[3ff2]::underlier::underlier_type::WithUnderlier::Underlier), .. }, Term::Ty(Alias(Projection, AliasTy { args: [arch::portable::packed::PackedPrimitiveType<underlier::small_uint::SmallU<4_usize>, binary_field::BinaryField1b>], def_id: DefId(0:1521 ~ binius_field[3ff2]::underlier::underlier_type::WithUnderlier::Underlier), .. }))), bound_vars: [] }`, old=Binder { value: ProjectionPredicate(AliasTerm { args: [OP/#0], def_id: DefId(0:1521 ~ binius_field[3ff2]::underlier::underlier_type::WithUnderlier::Underlier), .. }, Term::Ty(underlier::small_uint::SmallU<4_usize>)), bound_vars: [] }, next=None
[INFO] [stdout]    --> /opt/rustwide/cargo-home/git/checkouts/binius64-733e5504f277ebd2/5540283/verifier/field/src/arithmetic_traits.rs:157:3
[INFO] [stdout]     |
[INFO] [stdout] 157 | /         impl<OP> $crate::linear_transformation::PackedTransformationFactory<OP> for $name
[INFO] [stdout] 158 | |         where
[INFO] [stdout] 159 | |             OP: $crate::packed::PackedBinaryField
[INFO] [stdout] 160 | |                 + $crate::underlier::WithUnderlier<
[INFO] [stdout] 161 | |                     Underlier = <$name as $crate::underlier::WithUnderlier>::Underlier,
[INFO] [stdout] 162 | |                 >,
[INFO] [stdout] 163 | |             Self: $crate::arithmetic_traits::TaggedPackedTransformationFactory<$strategy, OP>,
[INFO] [stdout]     | |______________________________________________________________________________________________^
[INFO] [stdout]     |
[INFO] [stdout]    ::: /opt/rustwide/cargo-home/git/checkouts/binius64-733e5504f277ebd2/5540283/verifier/field/src/arch/portable/packed_4.rs:11:1
[INFO] [stdout]     |
[INFO] [stdout]  11 | / define_packed_binary_fields!(
[INFO] [stdout]  12 | |     underlier: U4,
[INFO] [stdout]  13 | |     packed_fields: [
[INFO] [stdout]  14 | |         packed_field {
[INFO] [stdout] ...   |
[INFO] [stdout]  25 | | );
[INFO] [stdout]     | |_- in this macro invocation
[INFO] [stdout]     |
[INFO] [stdout]     = note: this error originates in the macro `impl_transformation_with_strategy` which comes from the expansion of the macro `define_packed_binary_fields` (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: inconsistency during normalizing env `Binder { value: ProjectionPredicate(AliasTerm { args: [OP/#0], def_id: DefId(0:1521 ~ binius_field[3ff2]::underlier::underlier_type::WithUnderlier::Underlier), .. }, Term::Ty(Alias(Projection, AliasTy { args: [arch::portable::packed::PackedPrimitiveType<underlier::small_uint::SmallU<4_usize>, binary_field::BinaryField1b>], def_id: DefId(0:1521 ~ binius_field[3ff2]::underlier::underlier_type::WithUnderlier::Underlier), .. }))), bound_vars: [] }`, old=Binder { value: ProjectionPredicate(AliasTerm { args: [OP/#0], def_id: DefId(0:1521 ~ binius_field[3ff2]::underlier::underlier_type::WithUnderlier::Underlier), .. }, Term::Ty(underlier::small_uint::SmallU<4_usize>)), bound_vars: [] }, next=None
[INFO] [stdout]    --> /opt/rustwide/cargo-home/git/checkouts/binius64-733e5504f277ebd2/5540283/verifier/field/src/arithmetic_traits.rs:165:4
[INFO] [stdout]     |
[INFO] [stdout] 165 |               type PackedTransformation<Data: AsRef<[OP::Scalar]> + Sync> =
[INFO] [stdout]     |               ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout]    ::: /opt/rustwide/cargo-home/git/checkouts/binius64-733e5504f277ebd2/5540283/verifier/field/src/arch/portable/packed_4.rs:11:1
[INFO] [stdout]     |
[INFO] [stdout]  11 | / define_packed_binary_fields!(
[INFO] [stdout]  12 | |     underlier: U4,
[INFO] [stdout]  13 | |     packed_fields: [
[INFO] [stdout]  14 | |         packed_field {
[INFO] [stdout] ...   |
[INFO] [stdout]  25 | | );
[INFO] [stdout]     | |_- in this macro invocation
[INFO] [stdout]     |
[INFO] [stdout]     = note: this error originates in the macro `impl_transformation_with_strategy` which comes from the expansion of the macro `define_packed_binary_fields` (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: inconsistency during normalizing env `Binder { value: ProjectionPredicate(AliasTerm { args: [OP/#0], def_id: DefId(0:1521 ~ binius_field[3ff2]::underlier::underlier_type::WithUnderlier::Underlier), .. }, Term::Ty(Alias(Projection, AliasTy { args: [arch::portable::packed::PackedPrimitiveType<underlier::small_uint::SmallU<4_usize>, binary_field::BinaryField1b>], def_id: DefId(0:1521 ~ binius_field[3ff2]::underlier::underlier_type::WithUnderlier::Underlier), .. }))), bound_vars: [] }`, old=Binder { value: ProjectionPredicate(AliasTerm { args: [OP/#0], def_id: DefId(0:1521 ~ binius_field[3ff2]::underlier::underlier_type::WithUnderlier::Underlier), .. }, Term::Ty(underlier::small_uint::SmallU<4_usize>)), bound_vars: [] }, next=None
[INFO] [stdout]    --> /opt/rustwide/cargo-home/git/checkouts/binius64-733e5504f277ebd2/5540283/verifier/field/src/arithmetic_traits.rs:171:4
[INFO] [stdout]     |
[INFO] [stdout] 171 | /             fn make_packed_transformation<Data: AsRef<[OP::Scalar]> + Sync>(
[INFO] [stdout] 172 | |                 transformation: $crate::linear_transformation::FieldLinearTransformation<
[INFO] [stdout] 173 | |                     OP::Scalar,
[INFO] [stdout] 174 | |                     Data,
[INFO] [stdout] 175 | |                 >,
[INFO] [stdout] 176 | |             ) -> Self::PackedTransformation<Data> {
[INFO] [stdout]     | |_________________________________________________^
[INFO] [stdout]     |
[INFO] [stdout]    ::: /opt/rustwide/cargo-home/git/checkouts/binius64-733e5504f277ebd2/5540283/verifier/field/src/arch/portable/packed_4.rs:11:1
[INFO] [stdout]     |
[INFO] [stdout]  11 | / define_packed_binary_fields!(
[INFO] [stdout]  12 | |     underlier: U4,
[INFO] [stdout]  13 | |     packed_fields: [
[INFO] [stdout]  14 | |         packed_field {
[INFO] [stdout] ...   |
[INFO] [stdout]  25 | | );
[INFO] [stdout]     | |_- in this macro invocation
[INFO] [stdout]     |
[INFO] [stdout]     = note: this error originates in the macro `impl_transformation_with_strategy` which comes from the expansion of the macro `define_packed_binary_fields` (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: inconsistency during normalizing env `Binder { value: ProjectionPredicate(AliasTerm { args: [OP/#0], def_id: DefId(0:1521 ~ binius_field[3ff2]::underlier::underlier_type::WithUnderlier::Underlier), .. }, Term::Ty(Alias(Projection, AliasTy { args: [arch::portable::packed::PackedPrimitiveType<u64, binary_field::BinaryField1b>], def_id: DefId(0:1521 ~ binius_field[3ff2]::underlier::underlier_type::WithUnderlier::Underlier), .. }))), bound_vars: [] }`, old=Binder { value: ProjectionPredicate(AliasTerm { args: [OP/#0], def_id: DefId(0:1521 ~ binius_field[3ff2]::underlier::underlier_type::WithUnderlier::Underlier), .. }, Term::Ty(u64)), bound_vars: [] }, next=None
[INFO] [stdout]    --> /opt/rustwide/cargo-home/git/checkouts/binius64-733e5504f277ebd2/5540283/verifier/field/src/arithmetic_traits.rs:157:3
[INFO] [stdout]     |
[INFO] [stdout] 157 | /         impl<OP> $crate::linear_transformation::PackedTransformationFactory<OP> for $name
[INFO] [stdout] 158 | |         where
[INFO] [stdout] 159 | |             OP: $crate::packed::PackedBinaryField
[INFO] [stdout] 160 | |                 + $crate::underlier::WithUnderlier<
[INFO] [stdout] 161 | |                     Underlier = <$name as $crate::underlier::WithUnderlier>::Underlier,
[INFO] [stdout] 162 | |                 >,
[INFO] [stdout] 163 | |             Self: $crate::arithmetic_traits::TaggedPackedTransformationFactory<$strategy, OP>,
[INFO] [stdout]     | |______________________________________________________________________________________________^
[INFO] [stdout]     |
[INFO] [stdout]    ::: /opt/rustwide/cargo-home/git/checkouts/binius64-733e5504f277ebd2/5540283/verifier/field/src/arch/portable/packed_64.rs:12:1
[INFO] [stdout]     |
[INFO] [stdout]  12 | / define_packed_binary_fields!(
[INFO] [stdout]  13 | |     underlier: u64,
[INFO] [stdout]  14 | |     packed_fields: [
[INFO] [stdout]  15 | |         packed_field {
[INFO] [stdout] ...   |
[INFO] [stdout]  26 | | );
[INFO] [stdout]     | |_- in this macro invocation
[INFO] [stdout]     |
[INFO] [stdout]     = note: this error originates in the macro `impl_transformation_with_strategy` which comes from the expansion of the macro `define_packed_binary_fields` (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: inconsistency during normalizing env `Binder { value: ProjectionPredicate(AliasTerm { args: [OP/#0], def_id: DefId(0:1521 ~ binius_field[3ff2]::underlier::underlier_type::WithUnderlier::Underlier), .. }, Term::Ty(Alias(Projection, AliasTy { args: [arch::portable::packed::PackedPrimitiveType<u64, binary_field::BinaryField1b>], def_id: DefId(0:1521 ~ binius_field[3ff2]::underlier::underlier_type::WithUnderlier::Underlier), .. }))), bound_vars: [] }`, old=Binder { value: ProjectionPredicate(AliasTerm { args: [OP/#0], def_id: DefId(0:1521 ~ binius_field[3ff2]::underlier::underlier_type::WithUnderlier::Underlier), .. }, Term::Ty(u64)), bound_vars: [] }, next=None
[INFO] [stdout]    --> /opt/rustwide/cargo-home/git/checkouts/binius64-733e5504f277ebd2/5540283/verifier/field/src/arithmetic_traits.rs:165:4
[INFO] [stdout]     |
[INFO] [stdout] 165 |               type PackedTransformation<Data: AsRef<[OP::Scalar]> + Sync> =
[INFO] [stdout]     |               ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout]    ::: /opt/rustwide/cargo-home/git/checkouts/binius64-733e5504f277ebd2/5540283/verifier/field/src/arch/portable/packed_64.rs:12:1
[INFO] [stdout]     |
[INFO] [stdout]  12 | / define_packed_binary_fields!(
[INFO] [stdout]  13 | |     underlier: u64,
[INFO] [stdout]  14 | |     packed_fields: [
[INFO] [stdout]  15 | |         packed_field {
[INFO] [stdout] ...   |
[INFO] [stdout]  26 | | );
[INFO] [stdout]     | |_- in this macro invocation
[INFO] [stdout]     |
[INFO] [stdout]     = note: this error originates in the macro `impl_transformation_with_strategy` which comes from the expansion of the macro `define_packed_binary_fields` (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: inconsistency during normalizing env `Binder { value: ProjectionPredicate(AliasTerm { args: [OP/#0], def_id: DefId(0:1521 ~ binius_field[3ff2]::underlier::underlier_type::WithUnderlier::Underlier), .. }, Term::Ty(Alias(Projection, AliasTy { args: [arch::portable::packed::PackedPrimitiveType<u64, binary_field::BinaryField1b>], def_id: DefId(0:1521 ~ binius_field[3ff2]::underlier::underlier_type::WithUnderlier::Underlier), .. }))), bound_vars: [] }`, old=Binder { value: ProjectionPredicate(AliasTerm { args: [OP/#0], def_id: DefId(0:1521 ~ binius_field[3ff2]::underlier::underlier_type::WithUnderlier::Underlier), .. }, Term::Ty(u64)), bound_vars: [] }, next=None
[INFO] [stdout]    --> /opt/rustwide/cargo-home/git/checkouts/binius64-733e5504f277ebd2/5540283/verifier/field/src/arithmetic_traits.rs:171:4
[INFO] [stdout]     |
[INFO] [stdout] 171 | /             fn make_packed_transformation<Data: AsRef<[OP::Scalar]> + Sync>(
[INFO] [stdout] 172 | |                 transformation: $crate::linear_transformation::FieldLinearTransformation<
[INFO] [stdout] 173 | |                     OP::Scalar,
[INFO] [stdout] 174 | |                     Data,
[INFO] [stdout] 175 | |                 >,
[INFO] [stdout] 176 | |             ) -> Self::PackedTransformation<Data> {
[INFO] [stdout]     | |_________________________________________________^
[INFO] [stdout]     |
[INFO] [stdout]    ::: /opt/rustwide/cargo-home/git/checkouts/binius64-733e5504f277ebd2/5540283/verifier/field/src/arch/portable/packed_64.rs:12:1
[INFO] [stdout]     |
[INFO] [stdout]  12 | / define_packed_binary_fields!(
[INFO] [stdout]  13 | |     underlier: u64,
[INFO] [stdout]  14 | |     packed_fields: [
[INFO] [stdout]  15 | |         packed_field {
[INFO] [stdout] ...   |
[INFO] [stdout]  26 | | );
[INFO] [stdout]     | |_- in this macro invocation
[INFO] [stdout]     |
[INFO] [stdout]     = note: this error originates in the macro `impl_transformation_with_strategy` which comes from the expansion of the macro `define_packed_binary_fields` (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: inconsistency during normalizing env `Binder { value: ProjectionPredicate(AliasTerm { args: [OP/#0], def_id: DefId(0:1521 ~ binius_field[3ff2]::underlier::underlier_type::WithUnderlier::Underlier), .. }, Term::Ty(Alias(Projection, AliasTy { args: [arch::portable::packed::PackedPrimitiveType<u8, binary_field::BinaryField1b>], def_id: DefId(0:1521 ~ binius_field[3ff2]::underlier::underlier_type::WithUnderlier::Underlier), .. }))), bound_vars: [] }`, old=Binder { value: ProjectionPredicate(AliasTerm { args: [OP/#0], def_id: DefId(0:1521 ~ binius_field[3ff2]::underlier::underlier_type::WithUnderlier::Underlier), .. }, Term::Ty(u8)), bound_vars: [] }, next=None
[INFO] [stdout]    --> /opt/rustwide/cargo-home/git/checkouts/binius64-733e5504f277ebd2/5540283/verifier/field/src/arithmetic_traits.rs:157:3
[INFO] [stdout]     |
[INFO] [stdout] 157 | /         impl<OP> $crate::linear_transformation::PackedTransformationFactory<OP> for $name
[INFO] [stdout] 158 | |         where
[INFO] [stdout] 159 | |             OP: $crate::packed::PackedBinaryField
[INFO] [stdout] 160 | |                 + $crate::underlier::WithUnderlier<
[INFO] [stdout] 161 | |                     Underlier = <$name as $crate::underlier::WithUnderlier>::Underlier,
[INFO] [stdout] 162 | |                 >,
[INFO] [stdout] 163 | |             Self: $crate::arithmetic_traits::TaggedPackedTransformationFactory<$strategy, OP>,
[INFO] [stdout]     | |______________________________________________________________________________________________^
[INFO] [stdout]     |
[INFO] [stdout]    ::: /opt/rustwide/cargo-home/git/checkouts/binius64-733e5504f277ebd2/5540283/verifier/field/src/arch/portable/packed_8.rs:12:1
[INFO] [stdout]     |
[INFO] [stdout]  12 | / define_packed_binary_fields!(
[INFO] [stdout]  13 | |     underlier: u8,
[INFO] [stdout]  14 | |     packed_fields: [
[INFO] [stdout]  15 | |         packed_field {
[INFO] [stdout] ...   |
[INFO] [stdout]  26 | | );
[INFO] [stdout]     | |_- in this macro invocation
[INFO] [stdout]     |
[INFO] [stdout]     = note: this error originates in the macro `impl_transformation_with_strategy` which comes from the expansion of the macro `define_packed_binary_fields` (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: inconsistency during normalizing env `Binder { value: ProjectionPredicate(AliasTerm { args: [OP/#0], def_id: DefId(0:1521 ~ binius_field[3ff2]::underlier::underlier_type::WithUnderlier::Underlier), .. }, Term::Ty(Alias(Projection, AliasTy { args: [arch::portable::packed::PackedPrimitiveType<u8, binary_field::BinaryField1b>], def_id: DefId(0:1521 ~ binius_field[3ff2]::underlier::underlier_type::WithUnderlier::Underlier), .. }))), bound_vars: [] }`, old=Binder { value: ProjectionPredicate(AliasTerm { args: [OP/#0], def_id: DefId(0:1521 ~ binius_field[3ff2]::underlier::underlier_type::WithUnderlier::Underlier), .. }, Term::Ty(u8)), bound_vars: [] }, next=None
[INFO] [stdout]    --> /opt/rustwide/cargo-home/git/checkouts/binius64-733e5504f277ebd2/5540283/verifier/field/src/arithmetic_traits.rs:165:4
[INFO] [stdout]     |
[INFO] [stdout] 165 |               type PackedTransformation<Data: AsRef<[OP::Scalar]> + Sync> =
[INFO] [stdout]     |               ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout]    ::: /opt/rustwide/cargo-home/git/checkouts/binius64-733e5504f277ebd2/5540283/verifier/field/src/arch/portable/packed_8.rs:12:1
[INFO] [stdout]     |
[INFO] [stdout]  12 | / define_packed_binary_fields!(
[INFO] [stdout]  13 | |     underlier: u8,
[INFO] [stdout]  14 | |     packed_fields: [
[INFO] [stdout]  15 | |         packed_field {
[INFO] [stdout] ...   |
[INFO] [stdout]  26 | | );
[INFO] [stdout]     | |_- in this macro invocation
[INFO] [stdout]     |
[INFO] [stdout]     = note: this error originates in the macro `impl_transformation_with_strategy` which comes from the expansion of the macro `define_packed_binary_fields` (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: inconsistency during normalizing env `Binder { value: ProjectionPredicate(AliasTerm { args: [OP/#0], def_id: DefId(0:1521 ~ binius_field[3ff2]::underlier::underlier_type::WithUnderlier::Underlier), .. }, Term::Ty(Alias(Projection, AliasTy { args: [arch::portable::packed::PackedPrimitiveType<u8, binary_field::BinaryField1b>], def_id: DefId(0:1521 ~ binius_field[3ff2]::underlier::underlier_type::WithUnderlier::Underlier), .. }))), bound_vars: [] }`, old=Binder { value: ProjectionPredicate(AliasTerm { args: [OP/#0], def_id: DefId(0:1521 ~ binius_field[3ff2]::underlier::underlier_type::WithUnderlier::Underlier), .. }, Term::Ty(u8)), bound_vars: [] }, next=None
[INFO] [stdout]    --> /opt/rustwide/cargo-home/git/checkouts/binius64-733e5504f277ebd2/5540283/verifier/field/src/arithmetic_traits.rs:171:4
[INFO] [stdout]     |
[INFO] [stdout] 171 | /             fn make_packed_transformation<Data: AsRef<[OP::Scalar]> + Sync>(
[INFO] [stdout] 172 | |                 transformation: $crate::linear_transformation::FieldLinearTransformation<
[INFO] [stdout] 173 | |                     OP::Scalar,
[INFO] [stdout] 174 | |                     Data,
[INFO] [stdout] 175 | |                 >,
[INFO] [stdout] 176 | |             ) -> Self::PackedTransformation<Data> {
[INFO] [stdout]     | |_________________________________________________^
[INFO] [stdout]     |
[INFO] [stdout]    ::: /opt/rustwide/cargo-home/git/checkouts/binius64-733e5504f277ebd2/5540283/verifier/field/src/arch/portable/packed_8.rs:12:1
[INFO] [stdout]     |
[INFO] [stdout]  12 | / define_packed_binary_fields!(
[INFO] [stdout]  13 | |     underlier: u8,
[INFO] [stdout]  14 | |     packed_fields: [
[INFO] [stdout]  15 | |         packed_field {
[INFO] [stdout] ...   |
[INFO] [stdout]  26 | | );
[INFO] [stdout]     | |_- in this macro invocation
[INFO] [stdout]     |
[INFO] [stdout]     = note: this error originates in the macro `impl_transformation_with_strategy` which comes from the expansion of the macro `define_packed_binary_fields` (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: inconsistency during normalizing env `Binder { value: ProjectionPredicate(AliasTerm { args: [OP/#0], def_id: DefId(0:1521 ~ binius_field[3ff2]::underlier::underlier_type::WithUnderlier::Underlier), .. }, Term::Ty(Alias(Projection, AliasTy { args: [arch::portable::packed::PackedPrimitiveType<u128, aes_field::AESTowerField8b>], def_id: DefId(0:1521 ~ binius_field[3ff2]::underlier::underlier_type::WithUnderlier::Underlier), .. }))), bound_vars: [] }`, old=Binder { value: ProjectionPredicate(AliasTerm { args: [OP/#0], def_id: DefId(0:1521 ~ binius_field[3ff2]::underlier::underlier_type::WithUnderlier::Underlier), .. }, Term::Ty(u128)), bound_vars: [] }, next=None
[INFO] [stdout]    --> /opt/rustwide/cargo-home/git/checkouts/binius64-733e5504f277ebd2/5540283/verifier/field/src/arithmetic_traits.rs:157:3
[INFO] [stdout]     |
[INFO] [stdout] 157 | /         impl<OP> $crate::linear_transformation::PackedTransformationFactory<OP> for $name
[INFO] [stdout] 158 | |         where
[INFO] [stdout] 159 | |             OP: $crate::packed::PackedBinaryField
[INFO] [stdout] 160 | |                 + $crate::underlier::WithUnderlier<
[INFO] [stdout] 161 | |                     Underlier = <$name as $crate::underlier::WithUnderlier>::Underlier,
[INFO] [stdout] 162 | |                 >,
[INFO] [stdout] 163 | |             Self: $crate::arithmetic_traits::TaggedPackedTransformationFactory<$strategy, OP>,
[INFO] [stdout]     | |______________________________________________________________________________________________^
[INFO] [stdout]     |
[INFO] [stdout]    ::: /opt/rustwide/cargo-home/git/checkouts/binius64-733e5504f277ebd2/5540283/verifier/field/src/arch/portable/packed_aes_128.rs:16:1
[INFO] [stdout]     |
[INFO] [stdout]  16 | / define_packed_binary_fields!(
[INFO] [stdout]  17 | |     underlier: u128,
[INFO] [stdout]  18 | |     packed_fields: [
[INFO] [stdout]  19 | |         packed_field {
[INFO] [stdout] ...   |
[INFO] [stdout]  30 | | );
[INFO] [stdout]     | |_- in this macro invocation
[INFO] [stdout]     |
[INFO] [stdout]     = note: this error originates in the macro `impl_transformation_with_strategy` which comes from the expansion of the macro `define_packed_binary_fields` (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: inconsistency during normalizing env `Binder { value: ProjectionPredicate(AliasTerm { args: [OP/#0], def_id: DefId(0:1521 ~ binius_field[3ff2]::underlier::underlier_type::WithUnderlier::Underlier), .. }, Term::Ty(Alias(Projection, AliasTy { args: [arch::portable::packed::PackedPrimitiveType<u128, aes_field::AESTowerField8b>], def_id: DefId(0:1521 ~ binius_field[3ff2]::underlier::underlier_type::WithUnderlier::Underlier), .. }))), bound_vars: [] }`, old=Binder { value: ProjectionPredicate(AliasTerm { args: [OP/#0], def_id: DefId(0:1521 ~ binius_field[3ff2]::underlier::underlier_type::WithUnderlier::Underlier), .. }, Term::Ty(u128)), bound_vars: [] }, next=None
[INFO] [stdout]    --> /opt/rustwide/cargo-home/git/checkouts/binius64-733e5504f277ebd2/5540283/verifier/field/src/arithmetic_traits.rs:165:4
[INFO] [stdout]     |
[INFO] [stdout] 165 |               type PackedTransformation<Data: AsRef<[OP::Scalar]> + Sync> =
[INFO] [stdout]     |               ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout]    ::: /opt/rustwide/cargo-home/git/checkouts/binius64-733e5504f277ebd2/5540283/verifier/field/src/arch/portable/packed_aes_128.rs:16:1
[INFO] [stdout]     |
[INFO] [stdout]  16 | / define_packed_binary_fields!(
[INFO] [stdout]  17 | |     underlier: u128,
[INFO] [stdout]  18 | |     packed_fields: [
[INFO] [stdout]  19 | |         packed_field {
[INFO] [stdout] ...   |
[INFO] [stdout]  30 | | );
[INFO] [stdout]     | |_- in this macro invocation
[INFO] [stdout]     |
[INFO] [stdout]     = note: this error originates in the macro `impl_transformation_with_strategy` which comes from the expansion of the macro `define_packed_binary_fields` (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: inconsistency during normalizing env `Binder { value: ProjectionPredicate(AliasTerm { args: [OP/#0], def_id: DefId(0:1521 ~ binius_field[3ff2]::underlier::underlier_type::WithUnderlier::Underlier), .. }, Term::Ty(Alias(Projection, AliasTy { args: [arch::portable::packed::PackedPrimitiveType<u128, aes_field::AESTowerField8b>], def_id: DefId(0:1521 ~ binius_field[3ff2]::underlier::underlier_type::WithUnderlier::Underlier), .. }))), bound_vars: [] }`, old=Binder { value: ProjectionPredicate(AliasTerm { args: [OP/#0], def_id: DefId(0:1521 ~ binius_field[3ff2]::underlier::underlier_type::WithUnderlier::Underlier), .. }, Term::Ty(u128)), bound_vars: [] }, next=None
[INFO] [stdout]    --> /opt/rustwide/cargo-home/git/checkouts/binius64-733e5504f277ebd2/5540283/verifier/field/src/arithmetic_traits.rs:171:4
[INFO] [stdout]     |
[INFO] [stdout] 171 | /             fn make_packed_transformation<Data: AsRef<[OP::Scalar]> + Sync>(
[INFO] [stdout] 172 | |                 transformation: $crate::linear_transformation::FieldLinearTransformation<
[INFO] [stdout] 173 | |                     OP::Scalar,
[INFO] [stdout] 174 | |                     Data,
[INFO] [stdout] 175 | |                 >,
[INFO] [stdout] 176 | |             ) -> Self::PackedTransformation<Data> {
[INFO] [stdout]     | |_________________________________________________^
[INFO] [stdout]     |
[INFO] [stdout]    ::: /opt/rustwide/cargo-home/git/checkouts/binius64-733e5504f277ebd2/5540283/verifier/field/src/arch/portable/packed_aes_128.rs:16:1
[INFO] [stdout]     |
[INFO] [stdout]  16 | / define_packed_binary_fields!(
[INFO] [stdout]  17 | |     underlier: u128,
[INFO] [stdout]  18 | |     packed_fields: [
[INFO] [stdout]  19 | |         packed_field {
[INFO] [stdout] ...   |
[INFO] [stdout]  30 | | );
[INFO] [stdout]     | |_- in this macro invocation
[INFO] [stdout]     |
[INFO] [stdout]     = note: this error originates in the macro `impl_transformation_with_strategy` which comes from the expansion of the macro `define_packed_binary_fields` (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: inconsistency during normalizing env `Binder { value: ProjectionPredicate(AliasTerm { args: [OP/#0], def_id: DefId(0:1521 ~ binius_field[3ff2]::underlier::underlier_type::WithUnderlier::Underlier), .. }, Term::Ty(Alias(Projection, AliasTy { args: [arch::portable::packed::PackedPrimitiveType<u16, aes_field::AESTowerField8b>], def_id: DefId(0:1521 ~ binius_field[3ff2]::underlier::underlier_type::WithUnderlier::Underlier), .. }))), bound_vars: [] }`, old=Binder { value: ProjectionPredicate(AliasTerm { args: [OP/#0], def_id: DefId(0:1521 ~ binius_field[3ff2]::underlier::underlier_type::WithUnderlier::Underlier), .. }, Term::Ty(u16)), bound_vars: [] }, next=None
[INFO] [stdout]    --> /opt/rustwide/cargo-home/git/checkouts/binius64-733e5504f277ebd2/5540283/verifier/field/src/arithmetic_traits.rs:157:3
[INFO] [stdout]     |
[INFO] [stdout] 157 | /         impl<OP> $crate::linear_transformation::PackedTransformationFactory<OP> for $name
[INFO] [stdout] 158 | |         where
[INFO] [stdout] 159 | |             OP: $crate::packed::PackedBinaryField
[INFO] [stdout] 160 | |                 + $crate::underlier::WithUnderlier<
[INFO] [stdout] 161 | |                     Underlier = <$name as $crate::underlier::WithUnderlier>::Underlier,
[INFO] [stdout] 162 | |                 >,
[INFO] [stdout] 163 | |             Self: $crate::arithmetic_traits::TaggedPackedTransformationFactory<$strategy, OP>,
[INFO] [stdout]     | |______________________________________________________________________________________________^
[INFO] [stdout]     |
[INFO] [stdout]    ::: /opt/rustwide/cargo-home/git/checkouts/binius64-733e5504f277ebd2/5540283/verifier/field/src/arch/portable/packed_aes_16.rs:16:1
[INFO] [stdout]     |
[INFO] [stdout]  16 | / define_packed_binary_fields!(
[INFO] [stdout]  17 | |     underlier: u16,
[INFO] [stdout]  18 | |     packed_fields: [
[INFO] [stdout]  19 | |         packed_field {
[INFO] [stdout] ...   |
[INFO] [stdout]  30 | | );
[INFO] [stdout]     | |_- in this macro invocation
[INFO] [stdout]     |
[INFO] [stdout]     = note: this error originates in the macro `impl_transformation_with_strategy` which comes from the expansion of the macro `define_packed_binary_fields` (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: inconsistency during normalizing env `Binder { value: ProjectionPredicate(AliasTerm { args: [OP/#0], def_id: DefId(0:1521 ~ binius_field[3ff2]::underlier::underlier_type::WithUnderlier::Underlier), .. }, Term::Ty(Alias(Projection, AliasTy { args: [arch::portable::packed::PackedPrimitiveType<u16, aes_field::AESTowerField8b>], def_id: DefId(0:1521 ~ binius_field[3ff2]::underlier::underlier_type::WithUnderlier::Underlier), .. }))), bound_vars: [] }`, old=Binder { value: ProjectionPredicate(AliasTerm { args: [OP/#0], def_id: DefId(0:1521 ~ binius_field[3ff2]::underlier::underlier_type::WithUnderlier::Underlier), .. }, Term::Ty(u16)), bound_vars: [] }, next=None
[INFO] [stdout]    --> /opt/rustwide/cargo-home/git/checkouts/binius64-733e5504f277ebd2/5540283/verifier/field/src/arithmetic_traits.rs:165:4
[INFO] [stdout]     |
[INFO] [stdout] 165 |               type PackedTransformation<Data: AsRef<[OP::Scalar]> + Sync> =
[INFO] [stdout]     |               ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout]    ::: /opt/rustwide/cargo-home/git/checkouts/binius64-733e5504f277ebd2/5540283/verifier/field/src/arch/portable/packed_aes_16.rs:16:1
[INFO] [stdout]     |
[INFO] [stdout]  16 | / define_packed_binary_fields!(
[INFO] [stdout]  17 | |     underlier: u16,
[INFO] [stdout]  18 | |     packed_fields: [
[INFO] [stdout]  19 | |         packed_field {
[INFO] [stdout] ...   |
[INFO] [stdout]  30 | | );
[INFO] [stdout]     | |_- in this macro invocation
[INFO] [stdout]     |
[INFO] [stdout]     = note: this error originates in the macro `impl_transformation_with_strategy` which comes from the expansion of the macro `define_packed_binary_fields` (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: inconsistency during normalizing env `Binder { value: ProjectionPredicate(AliasTerm { args: [OP/#0], def_id: DefId(0:1521 ~ binius_field[3ff2]::underlier::underlier_type::WithUnderlier::Underlier), .. }, Term::Ty(Alias(Projection, AliasTy { args: [arch::portable::packed::PackedPrimitiveType<u16, aes_field::AESTowerField8b>], def_id: DefId(0:1521 ~ binius_field[3ff2]::underlier::underlier_type::WithUnderlier::Underlier), .. }))), bound_vars: [] }`, old=Binder { value: ProjectionPredicate(AliasTerm { args: [OP/#0], def_id: DefId(0:1521 ~ binius_field[3ff2]::underlier::underlier_type::WithUnderlier::Underlier), .. }, Term::Ty(u16)), bound_vars: [] }, next=None
[INFO] [stdout]    --> /opt/rustwide/cargo-home/git/checkouts/binius64-733e5504f277ebd2/5540283/verifier/field/src/arithmetic_traits.rs:171:4
[INFO] [stdout]     |
[INFO] [stdout] 171 | /             fn make_packed_transformation<Data: AsRef<[OP::Scalar]> + Sync>(
[INFO] [stdout] 172 | |                 transformation: $crate::linear_transformation::FieldLinearTransformation<
[INFO] [stdout] 173 | |                     OP::Scalar,
[INFO] [stdout] 174 | |                     Data,
[INFO] [stdout] 175 | |                 >,
[INFO] [stdout] 176 | |             ) -> Self::PackedTransformation<Data> {
[INFO] [stdout]     | |_________________________________________________^
[INFO] [stdout]     |
[INFO] [stdout]    ::: /opt/rustwide/cargo-home/git/checkouts/binius64-733e5504f277ebd2/5540283/verifier/field/src/arch/portable/packed_aes_16.rs:16:1
[INFO] [stdout]     |
[INFO] [stdout]  16 | / define_packed_binary_fields!(
[INFO] [stdout]  17 | |     underlier: u16,
[INFO] [stdout]  18 | |     packed_fields: [
[INFO] [stdout]  19 | |         packed_field {
[INFO] [stdout] ...   |
[INFO] [stdout]  30 | | );
[INFO] [stdout]     | |_- in this macro invocation
[INFO] [stdout]     |
[INFO] [stdout]     = note: this error originates in the macro `impl_transformation_with_strategy` which comes from the expansion of the macro `define_packed_binary_fields` (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: inconsistency during normalizing env `Binder { value: ProjectionPredicate(AliasTerm { args: [OP/#0], def_id: DefId(0:1521 ~ binius_field[3ff2]::underlier::underlier_type::WithUnderlier::Underlier), .. }, Term::Ty(Alias(Projection, AliasTy { args: [arch::portable::packed::PackedPrimitiveType<u32, aes_field::AESTowerField8b>], def_id: DefId(0:1521 ~ binius_field[3ff2]::underlier::underlier_type::WithUnderlier::Underlier), .. }))), bound_vars: [] }`, old=Binder { value: ProjectionPredicate(AliasTerm { args: [OP/#0], def_id: DefId(0:1521 ~ binius_field[3ff2]::underlier::underlier_type::WithUnderlier::Underlier), .. }, Term::Ty(u32)), bound_vars: [] }, next=None
[INFO] [stdout]    --> /opt/rustwide/cargo-home/git/checkouts/binius64-733e5504f277ebd2/5540283/verifier/field/src/arithmetic_traits.rs:157:3
[INFO] [stdout]     |
[INFO] [stdout] 157 | /         impl<OP> $crate::linear_transformation::PackedTransformationFactory<OP> for $name
[INFO] [stdout] 158 | |         where
[INFO] [stdout] 159 | |             OP: $crate::packed::PackedBinaryField
[INFO] [stdout] 160 | |                 + $crate::underlier::WithUnderlier<
[INFO] [stdout] 161 | |                     Underlier = <$name as $crate::underlier::WithUnderlier>::Underlier,
[INFO] [stdout] 162 | |                 >,
[INFO] [stdout] 163 | |             Self: $crate::arithmetic_traits::TaggedPackedTransformationFactory<$strategy, OP>,
[INFO] [stdout]     | |______________________________________________________________________________________________^
[INFO] [stdout]     |
[INFO] [stdout]    ::: /opt/rustwide/cargo-home/git/checkouts/binius64-733e5504f277ebd2/5540283/verifier/field/src/arch/portable/packed_aes_32.rs:18:1
[INFO] [stdout]     |
[INFO] [stdout]  18 | / define_packed_binary_fields!(
[INFO] [stdout]  19 | |     underlier: u32,
[INFO] [stdout]  20 | |     packed_fields: [
[INFO] [stdout]  21 | |         packed_field {
[INFO] [stdout] ...   |
[INFO] [stdout]  32 | | );
[INFO] [stdout]     | |_- in this macro invocation
[INFO] [stdout]     |
[INFO] [stdout]     = note: this error originates in the macro `impl_transformation_with_strategy` which comes from the expansion of the macro `define_packed_binary_fields` (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: inconsistency during normalizing env `Binder { value: ProjectionPredicate(AliasTerm { args: [OP/#0], def_id: DefId(0:1521 ~ binius_field[3ff2]::underlier::underlier_type::WithUnderlier::Underlier), .. }, Term::Ty(Alias(Projection, AliasTy { args: [arch::portable::packed::PackedPrimitiveType<u32, aes_field::AESTowerField8b>], def_id: DefId(0:1521 ~ binius_field[3ff2]::underlier::underlier_type::WithUnderlier::Underlier), .. }))), bound_vars: [] }`, old=Binder { value: ProjectionPredicate(AliasTerm { args: [OP/#0], def_id: DefId(0:1521 ~ binius_field[3ff2]::underlier::underlier_type::WithUnderlier::Underlier), .. }, Term::Ty(u32)), bound_vars: [] }, next=None
[INFO] [stdout]    --> /opt/rustwide/cargo-home/git/checkouts/binius64-733e5504f277ebd2/5540283/verifier/field/src/arithmetic_traits.rs:165:4
[INFO] [stdout]     |
[INFO] [stdout] 165 |               type PackedTransformation<Data: AsRef<[OP::Scalar]> + Sync> =
[INFO] [stdout]     |               ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout]    ::: /opt/rustwide/cargo-home/git/checkouts/binius64-733e5504f277ebd2/5540283/verifier/field/src/arch/portable/packed_aes_32.rs:18:1
[INFO] [stdout]     |
[INFO] [stdout]  18 | / define_packed_binary_fields!(
[INFO] [stdout]  19 | |     underlier: u32,
[INFO] [stdout]  20 | |     packed_fields: [
[INFO] [stdout]  21 | |         packed_field {
[INFO] [stdout] ...   |
[INFO] [stdout]  32 | | );
[INFO] [stdout]     | |_- in this macro invocation
[INFO] [stdout]     |
[INFO] [stdout]     = note: this error originates in the macro `impl_transformation_with_strategy` which comes from the expansion of the macro `define_packed_binary_fields` (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: inconsistency during normalizing env `Binder { value: ProjectionPredicate(AliasTerm { args: [OP/#0], def_id: DefId(0:1521 ~ binius_field[3ff2]::underlier::underlier_type::WithUnderlier::Underlier), .. }, Term::Ty(Alias(Projection, AliasTy { args: [arch::portable::packed::PackedPrimitiveType<u32, aes_field::AESTowerField8b>], def_id: DefId(0:1521 ~ binius_field[3ff2]::underlier::underlier_type::WithUnderlier::Underlier), .. }))), bound_vars: [] }`, old=Binder { value: ProjectionPredicate(AliasTerm { args: [OP/#0], def_id: DefId(0:1521 ~ binius_field[3ff2]::underlier::underlier_type::WithUnderlier::Underlier), .. }, Term::Ty(u32)), bound_vars: [] }, next=None
[INFO] [stdout]    --> /opt/rustwide/cargo-home/git/checkouts/binius64-733e5504f277ebd2/5540283/verifier/field/src/arithmetic_traits.rs:171:4
[INFO] [stdout]     |
[INFO] [stdout] 171 | /             fn make_packed_transformation<Data: AsRef<[OP::Scalar]> + Sync>(
[INFO] [stdout] 172 | |                 transformation: $crate::linear_transformation::FieldLinearTransformation<
[INFO] [stdout] 173 | |                     OP::Scalar,
[INFO] [stdout] 174 | |                     Data,
[INFO] [stdout] 175 | |                 >,
[INFO] [stdout] 176 | |             ) -> Self::PackedTransformation<Data> {
[INFO] [stdout]     | |_________________________________________________^
[INFO] [stdout]     |
[INFO] [stdout]    ::: /opt/rustwide/cargo-home/git/checkouts/binius64-733e5504f277ebd2/5540283/verifier/field/src/arch/portable/packed_aes_32.rs:18:1
[INFO] [stdout]     |
[INFO] [stdout]  18 | / define_packed_binary_fields!(
[INFO] [stdout]  19 | |     underlier: u32,
[INFO] [stdout]  20 | |     packed_fields: [
[INFO] [stdout]  21 | |         packed_field {
[INFO] [stdout] ...   |
[INFO] [stdout]  32 | | );
[INFO] [stdout]     | |_- in this macro invocation
[INFO] [stdout]     |
[INFO] [stdout]     = note: this error originates in the macro `impl_transformation_with_strategy` which comes from the expansion of the macro `define_packed_binary_fields` (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: inconsistency during normalizing env `Binder { value: ProjectionPredicate(AliasTerm { args: [OP/#0], def_id: DefId(0:1521 ~ binius_field[3ff2]::underlier::underlier_type::WithUnderlier::Underlier), .. }, Term::Ty(Alias(Projection, AliasTy { args: [arch::portable::packed::PackedPrimitiveType<u64, aes_field::AESTowerField8b>], def_id: DefId(0:1521 ~ binius_field[3ff2]::underlier::underlier_type::WithUnderlier::Underlier), .. }))), bound_vars: [] }`, old=Binder { value: ProjectionPredicate(AliasTerm { args: [OP/#0], def_id: DefId(0:1521 ~ binius_field[3ff2]::underlier::underlier_type::WithUnderlier::Underlier), .. }, Term::Ty(u64)), bound_vars: [] }, next=None
[INFO] [stdout]    --> /opt/rustwide/cargo-home/git/checkouts/binius64-733e5504f277ebd2/5540283/verifier/field/src/arithmetic_traits.rs:157:3
[INFO] [stdout]     |
[INFO] [stdout] 157 | /         impl<OP> $crate::linear_transformation::PackedTransformationFactory<OP> for $name
[INFO] [stdout] 158 | |         where
[INFO] [stdout] 159 | |             OP: $crate::packed::PackedBinaryField
[INFO] [stdout] 160 | |                 + $crate::underlier::WithUnderlier<
[INFO] [stdout] 161 | |                     Underlier = <$name as $crate::underlier::WithUnderlier>::Underlier,
[INFO] [stdout] 162 | |                 >,
[INFO] [stdout] 163 | |             Self: $crate::arithmetic_traits::TaggedPackedTransformationFactory<$strategy, OP>,
[INFO] [stdout]     | |______________________________________________________________________________________________^
[INFO] [stdout]     |
[INFO] [stdout]    ::: /opt/rustwide/cargo-home/git/checkouts/binius64-733e5504f277ebd2/5540283/verifier/field/src/arch/portable/packed_aes_64.rs:18:1
[INFO] [stdout]     |
[INFO] [stdout]  18 | / define_packed_binary_fields!(
[INFO] [stdout]  19 | |     underlier: u64,
[INFO] [stdout]  20 | |     packed_fields: [
[INFO] [stdout]  21 | |         packed_field {
[INFO] [stdout] ...   |
[INFO] [stdout]  32 | | );
[INFO] [stdout]     | |_- in this macro invocation
[INFO] [stdout]     |
[INFO] [stdout]     = note: this error originates in the macro `impl_transformation_with_strategy` which comes from the expansion of the macro `define_packed_binary_fields` (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: inconsistency during normalizing env `Binder { value: ProjectionPredicate(AliasTerm { args: [OP/#0], def_id: DefId(0:1521 ~ binius_field[3ff2]::underlier::underlier_type::WithUnderlier::Underlier), .. }, Term::Ty(Alias(Projection, AliasTy { args: [arch::portable::packed::PackedPrimitiveType<u64, aes_field::AESTowerField8b>], def_id: DefId(0:1521 ~ binius_field[3ff2]::underlier::underlier_type::WithUnderlier::Underlier), .. }))), bound_vars: [] }`, old=Binder { value: ProjectionPredicate(AliasTerm { args: [OP/#0], def_id: DefId(0:1521 ~ binius_field[3ff2]::underlier::underlier_type::WithUnderlier::Underlier), .. }, Term::Ty(u64)), bound_vars: [] }, next=None
[INFO] [stdout]    --> /opt/rustwide/cargo-home/git/checkouts/binius64-733e5504f277ebd2/5540283/verifier/field/src/arithmetic_traits.rs:165:4
[INFO] [stdout]     |
[INFO] [stdout] 165 |               type PackedTransformation<Data: AsRef<[OP::Scalar]> + Sync> =
[INFO] [stdout]     |               ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout]    ::: /opt/rustwide/cargo-home/git/checkouts/binius64-733e5504f277ebd2/5540283/verifier/field/src/arch/portable/packed_aes_64.rs:18:1
[INFO] [stdout]     |
[INFO] [stdout]  18 | / define_packed_binary_fields!(
[INFO] [stdout]  19 | |     underlier: u64,
[INFO] [stdout]  20 | |     packed_fields: [
[INFO] [stdout]  21 | |         packed_field {
[INFO] [stdout] ...   |
[INFO] [stdout]  32 | | );
[INFO] [stdout]     | |_- in this macro invocation
[INFO] [stdout]     |
[INFO] [stdout]     = note: this error originates in the macro `impl_transformation_with_strategy` which comes from the expansion of the macro `define_packed_binary_fields` (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: inconsistency during normalizing env `Binder { value: ProjectionPredicate(AliasTerm { args: [OP/#0], def_id: DefId(0:1521 ~ binius_field[3ff2]::underlier::underlier_type::WithUnderlier::Underlier), .. }, Term::Ty(Alias(Projection, AliasTy { args: [arch::portable::packed::PackedPrimitiveType<u64, aes_field::AESTowerField8b>], def_id: DefId(0:1521 ~ binius_field[3ff2]::underlier::underlier_type::WithUnderlier::Underlier), .. }))), bound_vars: [] }`, old=Binder { value: ProjectionPredicate(AliasTerm { args: [OP/#0], def_id: DefId(0:1521 ~ binius_field[3ff2]::underlier::underlier_type::WithUnderlier::Underlier), .. }, Term::Ty(u64)), bound_vars: [] }, next=None
[INFO] [stdout]    --> /opt/rustwide/cargo-home/git/checkouts/binius64-733e5504f277ebd2/5540283/verifier/field/src/arithmetic_traits.rs:171:4
[INFO] [stdout]     |
[INFO] [stdout] 171 | /             fn make_packed_transformation<Data: AsRef<[OP::Scalar]> + Sync>(
[INFO] [stdout] 172 | |                 transformation: $crate::linear_transformation::FieldLinearTransformation<
[INFO] [stdout] 173 | |                     OP::Scalar,
[INFO] [stdout] 174 | |                     Data,
[INFO] [stdout] 175 | |                 >,
[INFO] [stdout] 176 | |             ) -> Self::PackedTransformation<Data> {
[INFO] [stdout]     | |_________________________________________________^
[INFO] [stdout]     |
[INFO] [stdout]    ::: /opt/rustwide/cargo-home/git/checkouts/binius64-733e5504f277ebd2/5540283/verifier/field/src/arch/portable/packed_aes_64.rs:18:1
[INFO] [stdout]     |
[INFO] [stdout]  18 | / define_packed_binary_fields!(
[INFO] [stdout]  19 | |     underlier: u64,
[INFO] [stdout]  20 | |     packed_fields: [
[INFO] [stdout]  21 | |         packed_field {
[INFO] [stdout] ...   |
[INFO] [stdout]  32 | | );
[INFO] [stdout]     | |_- in this macro invocation
[INFO] [stdout]     |
[INFO] [stdout]     = note: this error originates in the macro `impl_transformation_with_strategy` which comes from the expansion of the macro `define_packed_binary_fields` (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: inconsistency during normalizing env `Binder { value: ProjectionPredicate(AliasTerm { args: [OP/#0], def_id: DefId(0:1521 ~ binius_field[3ff2]::underlier::underlier_type::WithUnderlier::Underlier), .. }, Term::Ty(Alias(Projection, AliasTy { args: [arch::portable::packed::PackedPrimitiveType<u8, aes_field::AESTowerField8b>], def_id: DefId(0:1521 ~ binius_field[3ff2]::underlier::underlier_type::WithUnderlier::Underlier), .. }))), bound_vars: [] }`, old=Binder { value: ProjectionPredicate(AliasTerm { args: [OP/#0], def_id: DefId(0:1521 ~ binius_field[3ff2]::underlier::underlier_type::WithUnderlier::Underlier), .. }, Term::Ty(u8)), bound_vars: [] }, next=None
[INFO] [stdout]    --> /opt/rustwide/cargo-home/git/checkouts/binius64-733e5504f277ebd2/5540283/verifier/field/src/arithmetic_traits.rs:157:3
[INFO] [stdout]     |
[INFO] [stdout] 157 | /         impl<OP> $crate::linear_transformation::PackedTransformationFactory<OP> for $name
[INFO] [stdout] 158 | |         where
[INFO] [stdout] 159 | |             OP: $crate::packed::PackedBinaryField
[INFO] [stdout] 160 | |                 + $crate::underlier::WithUnderlier<
[INFO] [stdout] 161 | |                     Underlier = <$name as $crate::underlier::WithUnderlier>::Underlier,
[INFO] [stdout] 162 | |                 >,
[INFO] [stdout] 163 | |             Self: $crate::arithmetic_traits::TaggedPackedTransformationFactory<$strategy, OP>,
[INFO] [stdout]     | |______________________________________________________________________________________________^
[INFO] [stdout]     |
[INFO] [stdout]    ::: /opt/rustwide/cargo-home/git/checkouts/binius64-733e5504f277ebd2/5540283/verifier/field/src/arch/portable/packed_aes_8.rs:12:1
[INFO] [stdout]     |
[INFO] [stdout]  12 | / define_packed_binary_fields!(
[INFO] [stdout]  13 | |     underlier: u8,
[INFO] [stdout]  14 | |     packed_fields: [
[INFO] [stdout]  15 | |         packed_field {
[INFO] [stdout] ...   |
[INFO] [stdout]  26 | | );
[INFO] [stdout]     | |_- in this macro invocation
[INFO] [stdout]     |
[INFO] [stdout]     = note: this error originates in the macro `impl_transformation_with_strategy` which comes from the expansion of the macro `define_packed_binary_fields` (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: inconsistency during normalizing env `Binder { value: ProjectionPredicate(AliasTerm { args: [OP/#0], def_id: DefId(0:1521 ~ binius_field[3ff2]::underlier::underlier_type::WithUnderlier::Underlier), .. }, Term::Ty(Alias(Projection, AliasTy { args: [arch::portable::packed::PackedPrimitiveType<u8, aes_field::AESTowerField8b>], def_id: DefId(0:1521 ~ binius_field[3ff2]::underlier::underlier_type::WithUnderlier::Underlier), .. }))), bound_vars: [] }`, old=Binder { value: ProjectionPredicate(AliasTerm { args: [OP/#0], def_id: DefId(0:1521 ~ binius_field[3ff2]::underlier::underlier_type::WithUnderlier::Underlier), .. }, Term::Ty(u8)), bound_vars: [] }, next=None
[INFO] [stdout]    --> /opt/rustwide/cargo-home/git/checkouts/binius64-733e5504f277ebd2/5540283/verifier/field/src/arithmetic_traits.rs:165:4
[INFO] [stdout]     |
[INFO] [stdout] 165 |               type PackedTransformation<Data: AsRef<[OP::Scalar]> + Sync> =
[INFO] [stdout]     |               ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout]    ::: /opt/rustwide/cargo-home/git/checkouts/binius64-733e5504f277ebd2/5540283/verifier/field/src/arch/portable/packed_aes_8.rs:12:1
[INFO] [stdout]     |
[INFO] [stdout]  12 | / define_packed_binary_fields!(
[INFO] [stdout]  13 | |     underlier: u8,
[INFO] [stdout]  14 | |     packed_fields: [
[INFO] [stdout]  15 | |         packed_field {
[INFO] [stdout] ...   |
[INFO] [stdout]  26 | | );
[INFO] [stdout]     | |_- in this macro invocation
[INFO] [stdout]     |
[INFO] [stdout]     = note: this error originates in the macro `impl_transformation_with_strategy` which comes from the expansion of the macro `define_packed_binary_fields` (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: inconsistency during normalizing env `Binder { value: ProjectionPredicate(AliasTerm { args: [OP/#0], def_id: DefId(0:1521 ~ binius_field[3ff2]::underlier::underlier_type::WithUnderlier::Underlier), .. }, Term::Ty(Alias(Projection, AliasTy { args: [arch::portable::packed::PackedPrimitiveType<u8, aes_field::AESTowerField8b>], def_id: DefId(0:1521 ~ binius_field[3ff2]::underlier::underlier_type::WithUnderlier::Underlier), .. }))), bound_vars: [] }`, old=Binder { value: ProjectionPredicate(AliasTerm { args: [OP/#0], def_id: DefId(0:1521 ~ binius_field[3ff2]::underlier::underlier_type::WithUnderlier::Underlier), .. }, Term::Ty(u8)), bound_vars: [] }, next=None
[INFO] [stdout]    --> /opt/rustwide/cargo-home/git/checkouts/binius64-733e5504f277ebd2/5540283/verifier/field/src/arithmetic_traits.rs:171:4
[INFO] [stdout]     |
[INFO] [stdout] 171 | /             fn make_packed_transformation<Data: AsRef<[OP::Scalar]> + Sync>(
[INFO] [stdout] 172 | |                 transformation: $crate::linear_transformation::FieldLinearTransformation<
[INFO] [stdout] 173 | |                     OP::Scalar,
[INFO] [stdout] 174 | |                     Data,
[INFO] [stdout] 175 | |                 >,
[INFO] [stdout] 176 | |             ) -> Self::PackedTransformation<Data> {
[INFO] [stdout]     | |_________________________________________________^
[INFO] [stdout]     |
[INFO] [stdout]    ::: /opt/rustwide/cargo-home/git/checkouts/binius64-733e5504f277ebd2/5540283/verifier/field/src/arch/portable/packed_aes_8.rs:12:1
[INFO] [stdout]     |
[INFO] [stdout]  12 | / define_packed_binary_fields!(
[INFO] [stdout]  13 | |     underlier: u8,
[INFO] [stdout]  14 | |     packed_fields: [
[INFO] [stdout]  15 | |         packed_field {
[INFO] [stdout] ...   |
[INFO] [stdout]  26 | | );
[INFO] [stdout]     | |_- in this macro invocation
[INFO] [stdout]     |
[INFO] [stdout]     = note: this error originates in the macro `impl_transformation_with_strategy` which comes from the expansion of the macro `define_packed_binary_fields` (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: inconsistency during normalizing env `Binder { value: ProjectionPredicate(AliasTerm { args: [OP/#0], def_id: DefId(0:1521 ~ binius_field[3ff2]::underlier::underlier_type::WithUnderlier::Underlier), .. }, Term::Ty(Alias(Projection, AliasTy { args: [arch::portable::packed::PackedPrimitiveType<u128, ghash::BinaryField128bGhash>], def_id: DefId(0:1521 ~ binius_field[3ff2]::underlier::underlier_type::WithUnderlier::Underlier), .. }))), bound_vars: [] }`, old=Binder { value: ProjectionPredicate(AliasTerm { args: [OP/#0], def_id: DefId(0:1521 ~ binius_field[3ff2]::underlier::underlier_type::WithUnderlier::Underlier), .. }, Term::Ty(u128)), bound_vars: [] }, next=None
[INFO] [stdout]    --> /opt/rustwide/cargo-home/git/checkouts/binius64-733e5504f277ebd2/5540283/verifier/field/src/arithmetic_traits.rs:157:3
[INFO] [stdout]     |
[INFO] [stdout] 157 | /         impl<OP> $crate::linear_transformation::PackedTransformationFactory<OP> for $name
[INFO] [stdout] 158 | |         where
[INFO] [stdout] 159 | |             OP: $crate::packed::PackedBinaryField
[INFO] [stdout] 160 | |                 + $crate::underlier::WithUnderlier<
[INFO] [stdout] 161 | |                     Underlier = <$name as $crate::underlier::WithUnderlier>::Underlier,
[INFO] [stdout] 162 | |                 >,
[INFO] [stdout] 163 | |             Self: $crate::arithmetic_traits::TaggedPackedTransformationFactory<$strategy, OP>,
[INFO] [stdout]     | |______________________________________________________________________________________________^
[INFO] [stdout]     |
[INFO] [stdout]    ::: /opt/rustwide/cargo-home/git/checkouts/binius64-733e5504f277ebd2/5540283/verifier/field/src/arch/portable/packed_ghash_128.rs:138:1
[INFO] [stdout]     |
[INFO] [stdout] 138 |   impl_transformation_with_strategy!(PackedBinaryGhash1x128b, PairwiseStrategy);
[INFO] [stdout]     |   ----------------------------------------------------------------------------- in this macro invocation
[INFO] [stdout]     |
[INFO] [stdout]     = note: this error originates in the macro `impl_transformation_with_strategy` (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: inconsistency during normalizing env `Binder { value: ProjectionPredicate(AliasTerm { args: [OP/#0], def_id: DefId(0:1521 ~ binius_field[3ff2]::underlier::underlier_type::WithUnderlier::Underlier), .. }, Term::Ty(Alias(Projection, AliasTy { args: [arch::portable::packed::PackedPrimitiveType<u128, ghash::BinaryField128bGhash>], def_id: DefId(0:1521 ~ binius_field[3ff2]::underlier::underlier_type::WithUnderlier::Underlier), .. }))), bound_vars: [] }`, old=Binder { value: ProjectionPredicate(AliasTerm { args: [OP/#0], def_id: DefId(0:1521 ~ binius_field[3ff2]::underlier::underlier_type::WithUnderlier::Underlier), .. }, Term::Ty(u128)), bound_vars: [] }, next=None
[INFO] [stdout]    --> /opt/rustwide/cargo-home/git/checkouts/binius64-733e5504f277ebd2/5540283/verifier/field/src/arithmetic_traits.rs:165:4
[INFO] [stdout]     |
[INFO] [stdout] 165 |             type PackedTransformation<Data: AsRef<[OP::Scalar]> + Sync> =
[INFO] [stdout]     |             ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout]    ::: /opt/rustwide/cargo-home/git/checkouts/binius64-733e5504f277ebd2/5540283/verifier/field/src/arch/portable/packed_ghash_128.rs:138:1
[INFO] [stdout]     |
[INFO] [stdout] 138 | impl_transformation_with_strategy!(PackedBinaryGhash1x128b, PairwiseStrategy);
[INFO] [stdout]     | ----------------------------------------------------------------------------- in this macro invocation
[INFO] [stdout]     |
[INFO] [stdout]     = note: this error originates in the macro `impl_transformation_with_strategy` (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: inconsistency during normalizing env `Binder { value: ProjectionPredicate(AliasTerm { args: [OP/#0], def_id: DefId(0:1521 ~ binius_field[3ff2]::underlier::underlier_type::WithUnderlier::Underlier), .. }, Term::Ty(Alias(Projection, AliasTy { args: [arch::portable::packed::PackedPrimitiveType<u128, ghash::BinaryField128bGhash>], def_id: DefId(0:1521 ~ binius_field[3ff2]::underlier::underlier_type::WithUnderlier::Underlier), .. }))), bound_vars: [] }`, old=Binder { value: ProjectionPredicate(AliasTerm { args: [OP/#0], def_id: DefId(0:1521 ~ binius_field[3ff2]::underlier::underlier_type::WithUnderlier::Underlier), .. }, Term::Ty(u128)), bound_vars: [] }, next=None
[INFO] [stdout]    --> /opt/rustwide/cargo-home/git/checkouts/binius64-733e5504f277ebd2/5540283/verifier/field/src/arithmetic_traits.rs:171:4
[INFO] [stdout]     |
[INFO] [stdout] 171 | /             fn make_packed_transformation<Data: AsRef<[OP::Scalar]> + Sync>(
[INFO] [stdout] 172 | |                 transformation: $crate::linear_transformation::FieldLinearTransformation<
[INFO] [stdout] 173 | |                     OP::Scalar,
[INFO] [stdout] 174 | |                     Data,
[INFO] [stdout] 175 | |                 >,
[INFO] [stdout] 176 | |             ) -> Self::PackedTransformation<Data> {
[INFO] [stdout]     | |_________________________________________________^
[INFO] [stdout]     |
[INFO] [stdout]    ::: /opt/rustwide/cargo-home/git/checkouts/binius64-733e5504f277ebd2/5540283/verifier/field/src/arch/portable/packed_ghash_128.rs:138:1
[INFO] [stdout]     |
[INFO] [stdout] 138 |   impl_transformation_with_strategy!(PackedBinaryGhash1x128b, PairwiseStrategy);
[INFO] [stdout]     |   ----------------------------------------------------------------------------- in this macro invocation
[INFO] [stdout]     |
[INFO] [stdout]     = note: this error originates in the macro `impl_transformation_with_strategy` (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: inconsistency during normalizing env `Binder { value: ProjectionPredicate(AliasTerm { args: [OP/#0], def_id: DefId(0:1521 ~ binius_field[3ff2]::underlier::underlier_type::WithUnderlier::Underlier), .. }, Term::Ty(Alias(Projection, AliasTy { args: [arch::portable::packed::PackedPrimitiveType<arch::x86_64::m128::M128, binary_field::BinaryField1b>], def_id: DefId(0:1521 ~ binius_field[3ff2]::underlier::underlier_type::WithUnderlier::Underlier), .. }))), bound_vars: [] }`, old=Binder { value: ProjectionPredicate(AliasTerm { args: [OP/#0], def_id: DefId(0:1521 ~ binius_field[3ff2]::underlier::underlier_type::WithUnderlier::Underlier), .. }, Term::Ty(arch::x86_64::m128::M128)), bound_vars: [] }, next=None
[INFO] [stdout]    --> /opt/rustwide/cargo-home/git/checkouts/binius64-733e5504f277ebd2/5540283/verifier/field/src/arithmetic_traits.rs:157:3
[INFO] [stdout]     |
[INFO] [stdout] 157 | /         impl<OP> $crate::linear_transformation::PackedTransformationFactory<OP> for $name
[INFO] [stdout] 158 | |         where
[INFO] [stdout] 159 | |             OP: $crate::packed::PackedBinaryField
[INFO] [stdout] 160 | |                 + $crate::underlier::WithUnderlier<
[INFO] [stdout] 161 | |                     Underlier = <$name as $crate::underlier::WithUnderlier>::Underlier,
[INFO] [stdout] 162 | |                 >,
[INFO] [stdout] 163 | |             Self: $crate::arithmetic_traits::TaggedPackedTransformationFactory<$strategy, OP>,
[INFO] [stdout]     | |______________________________________________________________________________________________^
[INFO] [stdout]     |
[INFO] [stdout]    ::: /opt/rustwide/cargo-home/git/checkouts/binius64-733e5504f277ebd2/5540283/verifier/field/src/arch/x86_64/packed_128.rs:13:1
[INFO] [stdout]     |
[INFO] [stdout]  13 | / define_packed_binary_fields!(
[INFO] [stdout]  14 | |     underlier: M128,
[INFO] [stdout]  15 | |     packed_fields: [
[INFO] [stdout]  16 | |         packed_field {
[INFO] [stdout] ...   |
[INFO] [stdout]  27 | | );
[INFO] [stdout]     | |_- in this macro invocation
[INFO] [stdout]     |
[INFO] [stdout]     = note: this error originates in the macro `impl_transformation_with_strategy` which comes from the expansion of the macro `define_packed_binary_fields` (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: inconsistency during normalizing env `Binder { value: ProjectionPredicate(AliasTerm { args: [OP/#0], def_id: DefId(0:1521 ~ binius_field[3ff2]::underlier::underlier_type::WithUnderlier::Underlier), .. }, Term::Ty(Alias(Projection, AliasTy { args: [arch::portable::packed::PackedPrimitiveType<arch::x86_64::m128::M128, binary_field::BinaryField1b>], def_id: DefId(0:1521 ~ binius_field[3ff2]::underlier::underlier_type::WithUnderlier::Underlier), .. }))), bound_vars: [] }`, old=Binder { value: ProjectionPredicate(AliasTerm { args: [OP/#0], def_id: DefId(0:1521 ~ binius_field[3ff2]::underlier::underlier_type::WithUnderlier::Underlier), .. }, Term::Ty(arch::x86_64::m128::M128)), bound_vars: [] }, next=None
[INFO] [stdout]    --> /opt/rustwide/cargo-home/git/checkouts/binius64-733e5504f277ebd2/5540283/verifier/field/src/arithmetic_traits.rs:165:4
[INFO] [stdout]     |
[INFO] [stdout] 165 |               type PackedTransformation<Data: AsRef<[OP::Scalar]> + Sync> =
[INFO] [stdout]     |               ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout]    ::: /opt/rustwide/cargo-home/git/checkouts/binius64-733e5504f277ebd2/5540283/verifier/field/src/arch/x86_64/packed_128.rs:13:1
[INFO] [stdout]     |
[INFO] [stdout]  13 | / define_packed_binary_fields!(
[INFO] [stdout]  14 | |     underlier: M128,
[INFO] [stdout]  15 | |     packed_fields: [
[INFO] [stdout]  16 | |         packed_field {
[INFO] [stdout] ...   |
[INFO] [stdout]  27 | | );
[INFO] [stdout]     | |_- in this macro invocation
[INFO] [stdout]     |
[INFO] [stdout]     = note: this error originates in the macro `impl_transformation_with_strategy` which comes from the expansion of the macro `define_packed_binary_fields` (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: inconsistency during normalizing env `Binder { value: ProjectionPredicate(AliasTerm { args: [OP/#0], def_id: DefId(0:1521 ~ binius_field[3ff2]::underlier::underlier_type::WithUnderlier::Underlier), .. }, Term::Ty(Alias(Projection, AliasTy { args: [arch::portable::packed::PackedPrimitiveType<arch::x86_64::m128::M128, binary_field::BinaryField1b>], def_id: DefId(0:1521 ~ binius_field[3ff2]::underlier::underlier_type::WithUnderlier::Underlier), .. }))), bound_vars: [] }`, old=Binder { value: ProjectionPredicate(AliasTerm { args: [OP/#0], def_id: DefId(0:1521 ~ binius_field[3ff2]::underlier::underlier_type::WithUnderlier::Underlier), .. }, Term::Ty(arch::x86_64::m128::M128)), bound_vars: [] }, next=None
[INFO] [stdout]    --> /opt/rustwide/cargo-home/git/checkouts/binius64-733e5504f277ebd2/5540283/verifier/field/src/arithmetic_traits.rs:171:4
[INFO] [stdout]     |
[INFO] [stdout] 171 | /             fn make_packed_transformation<Data: AsRef<[OP::Scalar]> + Sync>(
[INFO] [stdout] 172 | |                 transformation: $crate::linear_transformation::FieldLinearTransformation<
[INFO] [stdout] 173 | |                     OP::Scalar,
[INFO] [stdout] 174 | |                     Data,
[INFO] [stdout] 175 | |                 >,
[INFO] [stdout] 176 | |             ) -> Self::PackedTransformation<Data> {
[INFO] [stdout]     | |_________________________________________________^
[INFO] [stdout]     |
[INFO] [stdout]    ::: /opt/rustwide/cargo-home/git/checkouts/binius64-733e5504f277ebd2/5540283/verifier/field/src/arch/x86_64/packed_128.rs:13:1
[INFO] [stdout]     |
[INFO] [stdout]  13 | / define_packed_binary_fields!(
[INFO] [stdout]  14 | |     underlier: M128,
[INFO] [stdout]  15 | |     packed_fields: [
[INFO] [stdout]  16 | |         packed_field {
[INFO] [stdout] ...   |
[INFO] [stdout]  27 | | );
[INFO] [stdout]     | |_- in this macro invocation
[INFO] [stdout]     |
[INFO] [stdout]     = note: this error originates in the macro `impl_transformation_with_strategy` which comes from the expansion of the macro `define_packed_binary_fields` (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: inconsistency during normalizing env `Binder { value: ProjectionPredicate(AliasTerm { args: [OP/#0], def_id: DefId(0:1521 ~ binius_field[3ff2]::underlier::underlier_type::WithUnderlier::Underlier), .. }, Term::Ty(Alias(Projection, AliasTy { args: [arch::portable::packed::PackedPrimitiveType<arch::x86_64::m128::M128, aes_field::AESTowerField8b>], def_id: DefId(0:1521 ~ binius_field[3ff2]::underlier::underlier_type::WithUnderlier::Underlier), .. }))), bound_vars: [] }`, old=Binder { value: ProjectionPredicate(AliasTerm { args: [OP/#0], def_id: DefId(0:1521 ~ binius_field[3ff2]::underlier::underlier_type::WithUnderlier::Underlier), .. }, Term::Ty(arch::x86_64::m128::M128)), bound_vars: [] }, next=None
[INFO] [stdout]    --> /opt/rustwide/cargo-home/git/checkouts/binius64-733e5504f277ebd2/5540283/verifier/field/src/arithmetic_traits.rs:157:3
[INFO] [stdout]     |
[INFO] [stdout] 157 | /         impl<OP> $crate::linear_transformation::PackedTransformationFactory<OP> for $name
[INFO] [stdout] 158 | |         where
[INFO] [stdout] 159 | |             OP: $crate::packed::PackedBinaryField
[INFO] [stdout] 160 | |                 + $crate::underlier::WithUnderlier<
[INFO] [stdout] 161 | |                     Underlier = <$name as $crate::underlier::WithUnderlier>::Underlier,
[INFO] [stdout] 162 | |                 >,
[INFO] [stdout] 163 | |             Self: $crate::arithmetic_traits::TaggedPackedTransformationFactory<$strategy, OP>,
[INFO] [stdout]     | |______________________________________________________________________________________________^
[INFO] [stdout]     |
[INFO] [stdout]    ::: /opt/rustwide/cargo-home/git/checkouts/binius64-733e5504f277ebd2/5540283/verifier/field/src/arch/x86_64/packed_aes_128.rs:14:1
[INFO] [stdout]     |
[INFO] [stdout]  14 | / define_packed_binary_fields!(
[INFO] [stdout]  15 | |     underlier: M128,
[INFO] [stdout]  16 | |     packed_fields: [
[INFO] [stdout]  17 | |         packed_field {
[INFO] [stdout] ...   |
[INFO] [stdout]  28 | | );
[INFO] [stdout]     | |_- in this macro invocation
[INFO] [stdout]     |
[INFO] [stdout]     = note: this error originates in the macro `impl_transformation_with_strategy` which comes from the expansion of the macro `define_packed_binary_fields` (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: inconsistency during normalizing env `Binder { value: ProjectionPredicate(AliasTerm { args: [OP/#0], def_id: DefId(0:1521 ~ binius_field[3ff2]::underlier::underlier_type::WithUnderlier::Underlier), .. }, Term::Ty(Alias(Projection, AliasTy { args: [arch::portable::packed::PackedPrimitiveType<arch::x86_64::m128::M128, aes_field::AESTowerField8b>], def_id: DefId(0:1521 ~ binius_field[3ff2]::underlier::underlier_type::WithUnderlier::Underlier), .. }))), bound_vars: [] }`, old=Binder { value: ProjectionPredicate(AliasTerm { args: [OP/#0], def_id: DefId(0:1521 ~ binius_field[3ff2]::underlier::underlier_type::WithUnderlier::Underlier), .. }, Term::Ty(arch::x86_64::m128::M128)), bound_vars: [] }, next=None
[INFO] [stdout]    --> /opt/rustwide/cargo-home/git/checkouts/binius64-733e5504f277ebd2/5540283/verifier/field/src/arithmetic_traits.rs:165:4
[INFO] [stdout]     |
[INFO] [stdout] 165 |               type PackedTransformation<Data: AsRef<[OP::Scalar]> + Sync> =
[INFO] [stdout]     |               ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout]    ::: /opt/rustwide/cargo-home/git/checkouts/binius64-733e5504f277ebd2/5540283/verifier/field/src/arch/x86_64/packed_aes_128.rs:14:1
[INFO] [stdout]     |
[INFO] [stdout]  14 | / define_packed_binary_fields!(
[INFO] [stdout]  15 | |     underlier: M128,
[INFO] [stdout]  16 | |     packed_fields: [
[INFO] [stdout]  17 | |         packed_field {
[INFO] [stdout] ...   |
[INFO] [stdout]  28 | | );
[INFO] [stdout]     | |_- in this macro invocation
[INFO] [stdout]     |
[INFO] [stdout]     = note: this error originates in the macro `impl_transformation_with_strategy` which comes from the expansion of the macro `define_packed_binary_fields` (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: inconsistency during normalizing env `Binder { value: ProjectionPredicate(AliasTerm { args: [OP/#0], def_id: DefId(0:1521 ~ binius_field[3ff2]::underlier::underlier_type::WithUnderlier::Underlier), .. }, Term::Ty(Alias(Projection, AliasTy { args: [arch::portable::packed::PackedPrimitiveType<arch::x86_64::m128::M128, aes_field::AESTowerField8b>], def_id: DefId(0:1521 ~ binius_field[3ff2]::underlier::underlier_type::WithUnderlier::Underlier), .. }))), bound_vars: [] }`, old=Binder { value: ProjectionPredicate(AliasTerm { args: [OP/#0], def_id: DefId(0:1521 ~ binius_field[3ff2]::underlier::underlier_type::WithUnderlier::Underlier), .. }, Term::Ty(arch::x86_64::m128::M128)), bound_vars: [] }, next=None
[INFO] [stdout]    --> /opt/rustwide/cargo-home/git/checkouts/binius64-733e5504f277ebd2/5540283/verifier/field/src/arithmetic_traits.rs:171:4
[INFO] [stdout]     |
[INFO] [stdout] 171 | /             fn make_packed_transformation<Data: AsRef<[OP::Scalar]> + Sync>(
[INFO] [stdout] 172 | |                 transformation: $crate::linear_transformation::FieldLinearTransformation<
[INFO] [stdout] 173 | |                     OP::Scalar,
[INFO] [stdout] 174 | |                     Data,
[INFO] [stdout] 175 | |                 >,
[INFO] [stdout] 176 | |             ) -> Self::PackedTransformation<Data> {
[INFO] [stdout]     | |_________________________________________________^
[INFO] [stdout]     |
[INFO] [stdout]    ::: /opt/rustwide/cargo-home/git/checkouts/binius64-733e5504f277ebd2/5540283/verifier/field/src/arch/x86_64/packed_aes_128.rs:14:1
[INFO] [stdout]     |
[INFO] [stdout]  14 | / define_packed_binary_fields!(
[INFO] [stdout]  15 | |     underlier: M128,
[INFO] [stdout]  16 | |     packed_fields: [
[INFO] [stdout]  17 | |         packed_field {
[INFO] [stdout] ...   |
[INFO] [stdout]  28 | | );
[INFO] [stdout]     | |_- in this macro invocation
[INFO] [stdout]     |
[INFO] [stdout]     = note: this error originates in the macro `impl_transformation_with_strategy` which comes from the expansion of the macro `define_packed_binary_fields` (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: inconsistency during normalizing env `Binder { value: ProjectionPredicate(AliasTerm { args: [OP/#0], def_id: DefId(0:1521 ~ binius_field[3ff2]::underlier::underlier_type::WithUnderlier::Underlier), .. }, Term::Ty(Alias(Projection, AliasTy { args: [arch::portable::packed::PackedPrimitiveType<arch::x86_64::m128::M128, ghash::BinaryField128bGhash>], def_id: DefId(0:1521 ~ binius_field[3ff2]::underlier::underlier_type::WithUnderlier::Underlier), .. }))), bound_vars: [] }`, old=Binder { value: ProjectionPredicate(AliasTerm { args: [OP/#0], def_id: DefId(0:1521 ~ binius_field[3ff2]::underlier::underlier_type::WithUnderlier::Underlier), .. }, Term::Ty(arch::x86_64::m128::M128)), bound_vars: [] }, next=None
[INFO] [stdout]    --> /opt/rustwide/cargo-home/git/checkouts/binius64-733e5504f277ebd2/5540283/verifier/field/src/arithmetic_traits.rs:157:3
[INFO] [stdout]     |
[INFO] [stdout] 157 | /         impl<OP> $crate::linear_transformation::PackedTransformationFactory<OP> for $name
[INFO] [stdout] 158 | |         where
[INFO] [stdout] 159 | |             OP: $crate::packed::PackedBinaryField
[INFO] [stdout] 160 | |                 + $crate::underlier::WithUnderlier<
[INFO] [stdout] 161 | |                     Underlier = <$name as $crate::underlier::WithUnderlier>::Underlier,
[INFO] [stdout] 162 | |                 >,
[INFO] [stdout] 163 | |             Self: $crate::arithmetic_traits::TaggedPackedTransformationFactory<$strategy, OP>,
[INFO] [stdout]     | |______________________________________________________________________________________________^
[INFO] [stdout]     |
[INFO] [stdout]    ::: /opt/rustwide/cargo-home/git/checkouts/binius64-733e5504f277ebd2/5540283/verifier/field/src/arch/x86_64/packed_ghash_128.rs:108:3
[INFO] [stdout]     |
[INFO] [stdout] 108 | /         crate::arithmetic_traits::impl_transformation_with_strategy!(
[INFO] [stdout] 109 | |             PackedBinaryGhash1x128b,
[INFO] [stdout] 110 | |             crate::arch::SimdStrategy
[INFO] [stdout] 111 | |         );
[INFO] [stdout]     | |_________- in this macro invocation
[INFO] [stdout]     |
[INFO] [stdout]     = note: this error originates in the macro `crate::arithmetic_traits::impl_transformation_with_strategy` (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: inconsistency during normalizing env `Binder { value: ProjectionPredicate(AliasTerm { args: [OP/#0], def_id: DefId(0:1521 ~ binius_field[3ff2]::underlier::underlier_type::WithUnderlier::Underlier), .. }, Term::Ty(Alias(Projection, AliasTy { args: [arch::portable::packed::PackedPrimitiveType<arch::x86_64::m128::M128, ghash::BinaryField128bGhash>], def_id: DefId(0:1521 ~ binius_field[3ff2]::underlier::underlier_type::WithUnderlier::Underlier), .. }))), bound_vars: [] }`, old=Binder { value: ProjectionPredicate(AliasTerm { args: [OP/#0], def_id: DefId(0:1521 ~ binius_field[3ff2]::underlier::underlier_type::WithUnderlier::Underlier), .. }, Term::Ty(arch::x86_64::m128::M128)), bound_vars: [] }, next=None
[INFO] [stdout]    --> /opt/rustwide/cargo-home/git/checkouts/binius64-733e5504f277ebd2/5540283/verifier/field/src/arithmetic_traits.rs:165:4
[INFO] [stdout]     |
[INFO] [stdout] 165 |               type PackedTransformation<Data: AsRef<[OP::Scalar]> + Sync> =
[INFO] [stdout]     |               ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout]    ::: /opt/rustwide/cargo-home/git/checkouts/binius64-733e5504f277ebd2/5540283/verifier/field/src/arch/x86_64/packed_ghash_128.rs:108:3
[INFO] [stdout]     |
[INFO] [stdout] 108 | /         crate::arithmetic_traits::impl_transformation_with_strategy!(
[INFO] [stdout] 109 | |             PackedBinaryGhash1x128b,
[INFO] [stdout] 110 | |             crate::arch::SimdStrategy
[INFO] [stdout] 111 | |         );
[INFO] [stdout]     | |_________- in this macro invocation
[INFO] [stdout]     |
[INFO] [stdout]     = note: this error originates in the macro `crate::arithmetic_traits::impl_transformation_with_strategy` (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: inconsistency during normalizing env `Binder { value: ProjectionPredicate(AliasTerm { args: [OP/#0], def_id: DefId(0:1521 ~ binius_field[3ff2]::underlier::underlier_type::WithUnderlier::Underlier), .. }, Term::Ty(Alias(Projection, AliasTy { args: [arch::portable::packed::PackedPrimitiveType<arch::x86_64::m128::M128, ghash::BinaryField128bGhash>], def_id: DefId(0:1521 ~ binius_field[3ff2]::underlier::underlier_type::WithUnderlier::Underlier), .. }))), bound_vars: [] }`, old=Binder { value: ProjectionPredicate(AliasTerm { args: [OP/#0], def_id: DefId(0:1521 ~ binius_field[3ff2]::underlier::underlier_type::WithUnderlier::Underlier), .. }, Term::Ty(arch::x86_64::m128::M128)), bound_vars: [] }, next=None
[INFO] [stdout]    --> /opt/rustwide/cargo-home/git/checkouts/binius64-733e5504f277ebd2/5540283/verifier/field/src/arithmetic_traits.rs:171:4
[INFO] [stdout]     |
[INFO] [stdout] 171 | /             fn make_packed_transformation<Data: AsRef<[OP::Scalar]> + Sync>(
[INFO] [stdout] 172 | |                 transformation: $crate::linear_transformation::FieldLinearTransformation<
[INFO] [stdout] 173 | |                     OP::Scalar,
[INFO] [stdout] 174 | |                     Data,
[INFO] [stdout] 175 | |                 >,
[INFO] [stdout] 176 | |             ) -> Self::PackedTransformation<Data> {
[INFO] [stdout]     | |_________________________________________________^
[INFO] [stdout]     |
[INFO] [stdout]    ::: /opt/rustwide/cargo-home/git/checkouts/binius64-733e5504f277ebd2/5540283/verifier/field/src/arch/x86_64/packed_ghash_128.rs:108:3
[INFO] [stdout]     |
[INFO] [stdout] 108 | /         crate::arithmetic_traits::impl_transformation_with_strategy!(
[INFO] [stdout] 109 | |             PackedBinaryGhash1x128b,
[INFO] [stdout] 110 | |             crate::arch::SimdStrategy
[INFO] [stdout] 111 | |         );
[INFO] [stdout]     | |_________- in this macro invocation
[INFO] [stdout]     |
[INFO] [stdout]     = note: this error originates in the macro `crate::arithmetic_traits::impl_transformation_with_strategy` (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stderr] error: could not compile `binius-field` (lib) due to 51 previous errors
[INFO] running `Command { std: "docker" "inspect" "b5289dee6fdf3711c6a99cbfa91716b08385df6c3fac1dd3b580250fd15f95fb", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "b5289dee6fdf3711c6a99cbfa91716b08385df6c3fac1dd3b580250fd15f95fb", kill_on_drop: false }`
[INFO] [stdout] b5289dee6fdf3711c6a99cbfa91716b08385df6c3fac1dd3b580250fd15f95fb
