[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-1 [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] d47497fb95ad2496b74417b74daf4b38edd8c73d0e579a8226507e5b1371b8fd [INFO] running `Command { std: "docker" "start" "-a" "d47497fb95ad2496b74417b74daf4b38edd8c73d0e579a8226507e5b1371b8fd", kill_on_drop: false }` [INFO] running `Command { std: "docker" "inspect" "d47497fb95ad2496b74417b74daf4b38edd8c73d0e579a8226507e5b1371b8fd", kill_on_drop: false }` [INFO] running `Command { std: "docker" "rm" "-f" "d47497fb95ad2496b74417b74daf4b38edd8c73d0e579a8226507e5b1371b8fd", kill_on_drop: false }` [INFO] [stdout] d47497fb95ad2496b74417b74daf4b38edd8c73d0e579a8226507e5b1371b8fd [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] 36ed62438c699c927f60378c53ab84f113bdf61fd20d7cfe15e802f03c355315 [INFO] running `Command { std: "docker" "start" "-a" "36ed62438c699c927f60378c53ab84f113bdf61fd20d7cfe15e802f03c355315", kill_on_drop: false }` [INFO] [stderr] Compiling proc-macro2 v1.0.101 [INFO] [stderr] Compiling quote v1.0.41 [INFO] [stderr] Compiling unicode-ident v1.0.19 [INFO] [stderr] Compiling typenum v1.19.0 [INFO] [stderr] Compiling crossbeam-utils v0.8.21 [INFO] [stderr] Checking cfg-if v1.0.3 [INFO] [stderr] Compiling libc v0.2.177 [INFO] [stderr] Compiling rayon-core v1.13.0 [INFO] [stderr] Compiling zerocopy v0.8.27 [INFO] [stderr] Compiling syn v1.0.109 [INFO] [stderr] Checking either v1.15.0 [INFO] [stderr] Compiling thiserror v2.0.17 [INFO] [stderr] Compiling binius-utils v0.1.0 (https://github.com/IrreducibleOSS/binius64#5540283e) [INFO] [stderr] Compiling num-traits v0.2.19 [INFO] [stderr] Compiling serde_core v1.0.228 [INFO] [stderr] Compiling seq-macro v0.3.6 [INFO] [stderr] Checking hashbrown v0.16.0 [INFO] [stderr] Compiling serde_json v1.0.145 [INFO] [stderr] Checking itertools v0.14.0 [INFO] [stderr] Compiling serde v1.0.228 [INFO] [stderr] Checking foldhash v0.1.5 [INFO] [stderr] Checking memchr v2.7.6 [INFO] [stderr] Checking cranelift-bitset v0.121.2 [INFO] [stderr] Checking uninit v0.6.2 [INFO] [stderr] Checking fixedbitset v0.5.7 [INFO] [stderr] Checking cranelift-entity v0.121.2 [INFO] [stderr] Checking hashbrown v0.15.5 [INFO] [stderr] Checking hex-literal v1.0.0 [INFO] [stderr] Checking smallvec v1.15.1 [INFO] [stderr] Checking keccak v0.1.5 [INFO] [stderr] Checking rustc-hash v2.1.1 [INFO] [stderr] Checking hex v0.4.3 [INFO] [stderr] Checking indexmap v2.11.4 [INFO] [stderr] Checking crossbeam-epoch v0.9.18 [INFO] [stderr] Compiling syn v2.0.106 [INFO] [stderr] Checking generic-array v0.14.7 [INFO] [stderr] Compiling proc-macro-error-attr2 v2.0.0 [INFO] [stderr] Checking crossbeam-deque v0.8.6 [INFO] [stderr] Checking num-integer v0.1.46 [INFO] [stderr] Checking petgraph v0.8.3 [INFO] [stderr] Checking getrandom v0.3.3 [INFO] [stderr] Checking rayon v1.11.0 [INFO] [stderr] Checking rand_core v0.9.3 [INFO] [stderr] Checking num-bigint v0.4.6 [INFO] [stderr] Checking crypto-common v0.1.6 [INFO] [stderr] Checking block-buffer v0.10.4 [INFO] [stderr] Checking digest v0.10.7 [INFO] [stderr] Checking sha2 v0.10.9 [INFO] [stderr] Checking sha3 v0.10.8 [INFO] [stderr] Compiling trait-set v0.3.0 [INFO] [stderr] Checking ppv-lite86 v0.2.21 [INFO] [stderr] Checking rand_chacha v0.9.0 [INFO] [stderr] Checking rand v0.9.2 [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 tracing-attributes v0.1.30 [INFO] [stderr] Compiling derive_more v0.99.20 [INFO] [stderr] Compiling auto_impl v1.3.0 [INFO] [stderr] Compiling getset v0.1.6 [INFO] [stderr] Compiling serde_derive v1.0.228 [INFO] [stderr] Checking bytemuck v1.24.0 [INFO] [stderr] Checking tracing v0.1.41 [INFO] [stderr] Checking binius-field v0.1.0 (https://github.com/IrreducibleOSS/binius64#5540283e) [INFO] [stderr] Checking binius-core 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, 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 $crate::linear_transformation::PackedTransformationFactory 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] [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, 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 + 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, 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 + 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 { [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], 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 $crate::linear_transformation::PackedTransformationFactory 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], 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 + 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], 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 + 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 { [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], 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 $crate::linear_transformation::PackedTransformationFactory 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] [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], 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 + 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], 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 + 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 { [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, 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 $crate::linear_transformation::PackedTransformationFactory 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, 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 + 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, 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 + 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 { [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], 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 $crate::linear_transformation::PackedTransformationFactory 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], 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 + 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], 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 + 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 { [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, 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 $crate::linear_transformation::PackedTransformationFactory 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, 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 + 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, 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 + 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 { [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], 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 $crate::linear_transformation::PackedTransformationFactory 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], 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 + 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], 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 + 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 { [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], 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 $crate::linear_transformation::PackedTransformationFactory 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], 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 + 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], 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 + 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 { [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], 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 $crate::linear_transformation::PackedTransformationFactory 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], 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 + 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], 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 + 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 { [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], 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 $crate::linear_transformation::PackedTransformationFactory 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], 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 + 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], 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 + 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 { [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], 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 $crate::linear_transformation::PackedTransformationFactory 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], 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 + 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], 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 + 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 { [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], 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 $crate::linear_transformation::PackedTransformationFactory 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], 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 + 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], 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 + 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 { [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], 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 $crate::linear_transformation::PackedTransformationFactory 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], 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 + 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], 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 + 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 { [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], 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 $crate::linear_transformation::PackedTransformationFactory 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], 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 + 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], 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 + 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 { [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], 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 $crate::linear_transformation::PackedTransformationFactory 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], 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 + 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], 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 + 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 { [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], 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 $crate::linear_transformation::PackedTransformationFactory 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], 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 + 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], 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 + 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 { [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], 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 $crate::linear_transformation::PackedTransformationFactory 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], 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 + 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], 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 + 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 { [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" "36ed62438c699c927f60378c53ab84f113bdf61fd20d7cfe15e802f03c355315", kill_on_drop: false }` [INFO] running `Command { std: "docker" "rm" "-f" "36ed62438c699c927f60378c53ab84f113bdf61fd20d7cfe15e802f03c355315", kill_on_drop: false }` [INFO] [stdout] 36ed62438c699c927f60378c53ab84f113bdf61fd20d7cfe15e802f03c355315