[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#6713fa75964eb229409a9c6f6f5c418423e313ff for pr-133502-22
[INFO] running `Command { std: "git" "clone" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Ftinh0%2Fsha256-example" "/workspace/builds/worker-6-tc2/source", kill_on_drop: false }`
[INFO] [stderr] Cloning into '/workspace/builds/worker-6-tc2/source'...
[INFO] [stderr] done.
[INFO] started tweaking git repo https://github.com/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-6-tc2/source/Cargo.toml
[INFO] validating manifest of git repo https://github.com/tinh0/sha256-example on toolchain 6713fa75964eb229409a9c6f6f5c418423e313ff
[INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+6713fa75964eb229409a9c6f6f5c418423e313ff" "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" "+6713fa75964eb229409a9c6f6f5c418423e313ff" "fetch" "--manifest-path" "Cargo.toml", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-6-tc2/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-6-tc2/source:/opt/rustwide/workdir:ro,Z" "-v" "/var/lib/crater-agent-workspace/cargo-home:/opt/rustwide/cargo-home:ro,Z" "-v" "/var/lib/crater-agent-workspace/rustup-home:/opt/rustwide/rustup-home:ro,Z" "-e" "SOURCE_DIR=/opt/rustwide/workdir" "-e" "CARGO_TARGET_DIR=/opt/rustwide/target" "-e" "CARGO_HOME=/opt/rustwide/cargo-home" "-e" "RUSTUP_HOME=/opt/rustwide/rustup-home" "-w" "/opt/rustwide/workdir" "-m" "1610612736" "--user" "0:0" "--network" "none" "ghcr.io/rust-lang/crates-build-env/linux@sha256:d429b63d4308055ea97f60fb1d3dfca48854a00942f1bd2ad806beaf015945ec" "/opt/rustwide/cargo-home/bin/cargo" "+6713fa75964eb229409a9c6f6f5c418423e313ff" "metadata" "--no-deps" "--format-version=1", kill_on_drop: false }`
[INFO] [stdout] 6564c723bf03d9cdfd7a447ab84e1c3cf19096293641928804bcf91e3c285396
[INFO] running `Command { std: "docker" "start" "-a" "6564c723bf03d9cdfd7a447ab84e1c3cf19096293641928804bcf91e3c285396", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "inspect" "6564c723bf03d9cdfd7a447ab84e1c3cf19096293641928804bcf91e3c285396", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "6564c723bf03d9cdfd7a447ab84e1c3cf19096293641928804bcf91e3c285396", kill_on_drop: false }`
[INFO] [stdout] 6564c723bf03d9cdfd7a447ab84e1c3cf19096293641928804bcf91e3c285396
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-6-tc2/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-6-tc2/source:/opt/rustwide/workdir:ro,Z" "-v" "/var/lib/crater-agent-workspace/cargo-home:/opt/rustwide/cargo-home:ro,Z" "-v" "/var/lib/crater-agent-workspace/rustup-home:/opt/rustwide/rustup-home:ro,Z" "-e" "SOURCE_DIR=/opt/rustwide/workdir" "-e" "CARGO_TARGET_DIR=/opt/rustwide/target" "-e" "CARGO_INCREMENTAL=0" "-e" "RUST_BACKTRACE=full" "-e" "RUSTFLAGS=--cap-lints=forbid" "-e" "RUSTDOCFLAGS=--cap-lints=forbid" "-e" "CARGO_HOME=/opt/rustwide/cargo-home" "-e" "RUSTUP_HOME=/opt/rustwide/rustup-home" "-w" "/opt/rustwide/workdir" "-m" "1610612736" "--user" "0:0" "--network" "none" "ghcr.io/rust-lang/crates-build-env/linux@sha256:d429b63d4308055ea97f60fb1d3dfca48854a00942f1bd2ad806beaf015945ec" "/opt/rustwide/cargo-home/bin/cargo" "+6713fa75964eb229409a9c6f6f5c418423e313ff" "check" "--frozen" "--all" "--all-targets" "--message-format=json", kill_on_drop: false }`
[INFO] [stdout] 235079ae2951e402300617a6dbc96e57d24ce0260d0f09a9c49f21002fb92ea4
[INFO] running `Command { std: "docker" "start" "-a" "235079ae2951e402300617a6dbc96e57d24ce0260d0f09a9c49f21002fb92ea4", kill_on_drop: false }`
[INFO] [stderr]    Compiling syn v1.0.109
[INFO] [stderr]    Compiling getrandom v0.3.3
[INFO] [stderr]    Compiling thiserror v2.0.17
[INFO] [stderr]    Compiling binius-utils v0.1.0 (https://github.com/IrreducibleOSS/binius64#5540283e)
[INFO] [stderr]     Checking itertools v0.14.0
[INFO] [stderr]    Compiling quote v1.0.41
[INFO] [stderr]    Compiling seq-macro v0.3.6
[INFO] [stderr]     Checking crypto-common v0.1.6
[INFO] [stderr]     Checking foldhash v0.1.5
[INFO] [stderr]     Checking indexmap v2.11.4
[INFO] [stderr]     Checking num-integer v0.1.46
[INFO] [stderr]     Checking fixedbitset v0.5.7
[INFO] [stderr]     Checking uninit v0.6.2
[INFO] [stderr]     Checking cranelift-bitset v0.121.2
[INFO] [stderr]     Checking serde_json v1.0.145
[INFO] [stderr]     Checking hex-literal v1.0.0
[INFO] [stderr]     Checking digest v0.10.7
[INFO] [stderr]     Checking cranelift-entity v0.121.2
[INFO] [stderr]     Checking hashbrown v0.15.5
[INFO] [stderr]    Compiling syn v2.0.106
[INFO] [stderr]     Checking rand_core v0.9.3
[INFO] [stderr]    Compiling proc-macro-error-attr2 v2.0.0
[INFO] [stderr]     Checking sha2 v0.10.9
[INFO] [stderr]     Checking sha3 v0.10.8
[INFO] [stderr]     Checking num-bigint v0.4.6
[INFO] [stderr]     Checking rand_chacha v0.9.0
[INFO] [stderr]     Checking rand v0.9.2
[INFO] [stderr]     Checking petgraph v0.8.3
[INFO] [stderr]    Compiling trait-set v0.3.0
[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 serde_derive v1.0.228
[INFO] [stderr]    Compiling getset v0.1.6
[INFO] [stderr]    Compiling auto_impl v1.3.0
[INFO] [stderr]     Checking bytemuck v1.24.0
[INFO] [stderr]     Checking tracing v0.1.41
[INFO] [stderr]     Checking binius-core v0.1.0 (https://github.com/IrreducibleOSS/binius64#5540283e)
[INFO] [stderr]     Checking binius-field v0.1.0 (https://github.com/IrreducibleOSS/binius64#5540283e)
[INFO] [stderr]     Checking serde v1.0.228
[INFO] [stderr]     Checking binius-frontend v0.1.0 (https://github.com/IrreducibleOSS/binius64#5540283e)
[INFO] [stdout] error[E0284]: type annotations needed: cannot normalize `<PackedPrimitiveType<SmallU<1>, BinaryField1b> as PackedField>::Scalar`
[INFO] [stdout]    --> /opt/rustwide/cargo-home/git/checkouts/binius64-733e5504f277ebd2/5540283/verifier/field/src/arithmetic_traits.rs:171:4
[INFO] [stdout]     |
[INFO] [stdout] 171 | /             fn make_packed_transformation<Data: AsRef<[OP::Scalar]> + Sync>(
[INFO] [stdout] 172 | |                 transformation: $crate::linear_transformation::FieldLinearTransformation<
[INFO] [stdout] 173 | |                     OP::Scalar,
[INFO] [stdout] 174 | |                     Data,
[INFO] [stdout] 175 | |                 >,
[INFO] [stdout] 176 | |             ) -> Self::PackedTransformation<Data> {
[INFO] [stdout]     | |_________________________________________________^ cannot normalize `<PackedPrimitiveType<SmallU<1>, BinaryField1b> as PackedField>::Scalar`
[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: the full name for the type has been written to '/opt/rustwide/target/debug/deps/binius_field-d01be42c595de060.long-type-15742213477827299407.txt'
[INFO] [stdout]     = note: consider using `--verbose` to print the full type name to the console
[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[E0284]: type annotations needed: cannot normalize `<OP as Add>::Output`
[INFO] [stdout]    --> /opt/rustwide/cargo-home/git/checkouts/binius64-733e5504f277ebd2/5540283/verifier/field/src/arithmetic_traits.rs:171:4
[INFO] [stdout]     |
[INFO] [stdout] 171 | /             fn make_packed_transformation<Data: AsRef<[OP::Scalar]> + Sync>(
[INFO] [stdout] 172 | |                 transformation: $crate::linear_transformation::FieldLinearTransformation<
[INFO] [stdout] 173 | |                     OP::Scalar,
[INFO] [stdout] 174 | |                     Data,
[INFO] [stdout] 175 | |                 >,
[INFO] [stdout] 176 | |             ) -> Self::PackedTransformation<Data> {
[INFO] [stdout]     | |_________________________________________________^ cannot normalize `<OP as Add>::Output`
[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: required by a bound in `PackedField`
[INFO] [stdout]    --> /opt/rustwide/cargo-home/git/checkouts/binius64-733e5504f277ebd2/5540283/verifier/field/src/packed.rs:41:8
[INFO] [stdout]     |
[INFO] [stdout]  34 | pub trait PackedField:
[INFO] [stdout]     |           ----------- required by a bound in this trait
[INFO] [stdout] ...
[INFO] [stdout]  41 |     + Add<Output = Self>
[INFO] [stdout]     |           ^^^^^^^^^^^^^ required by this bound in `PackedField`
[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[E0283]: type annotations needed: cannot satisfy `PackedPrimitiveType<SmallU<1>, ...>: PackedTransformationFactory<...>`
[INFO] [stdout]    --> /opt/rustwide/cargo-home/git/checkouts/binius64-733e5504f277ebd2/5540283/verifier/field/src/arch/portable/packed_1.rs:30:36
[INFO] [stdout]     |
[INFO] [stdout]  30 | impl_transformation_with_strategy!(PackedBinaryField1x1b, PairwiseStrategy);
[INFO] [stdout]     |                                    ^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout]     = note: cannot satisfy `PackedPrimitiveType<SmallU<1>, ...>: PackedTransformationFactory<...>`
[INFO] [stdout] help: the trait `PackedTransformationFactory<OP>` is not implemented for `PackedPrimitiveType<small_uint::SmallU<1>, binary_field::BinaryField1b>`
[INFO] [stdout]       but trait `PackedTransformationFactory<_>` is implemented for it
[INFO] [stdout]    --> /opt/rustwide/cargo-home/git/checkouts/binius64-733e5504f277ebd2/5540283/verifier/field/src/arithmetic_traits.rs:157:3
[INFO] [stdout]     |
[INFO] [stdout] 157 | /         impl<OP> $crate::linear_transformation::PackedTransformationFactory<OP> for $name
[INFO] [stdout] 158 | |         where
[INFO] [stdout] 159 | |             OP: $crate::packed::PackedBinaryField
[INFO] [stdout] 160 | |                 + $crate::underlier::WithUnderlier<
[INFO] [stdout] 161 | |                     Underlier = <$name as $crate::underlier::WithUnderlier>::Underlier,
[INFO] [stdout] 162 | |                 >,
[INFO] [stdout] 163 | |             Self: $crate::arithmetic_traits::TaggedPackedTransformationFactory<$strategy, OP>,
[INFO] [stdout]     | |______________________________________________________________________________________________^
[INFO] [stdout]     |
[INFO] [stdout]    ::: /opt/rustwide/cargo-home/git/checkouts/binius64-733e5504f277ebd2/5540283/verifier/field/src/arch/portable/packed_1.rs:30:1
[INFO] [stdout]     |
[INFO] [stdout]  30 |   impl_transformation_with_strategy!(PackedBinaryField1x1b, PairwiseStrategy);
[INFO] [stdout]     |   --------------------------------------------------------------------------- in this macro invocation
[INFO] [stdout]     = note: the full name for the type has been written to '/opt/rustwide/target/debug/deps/binius_field-d01be42c595de060.long-type-5561843843508514518.txt'
[INFO] [stdout]     = note: consider using `--verbose` to print the full type name to the console
[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[E0284]: type annotations needed: cannot normalize `<PackedPrimitiveType<u128, binary_field::BinaryField1b> as PackedField>::Scalar`
[INFO] [stdout]    --> /opt/rustwide/cargo-home/git/checkouts/binius64-733e5504f277ebd2/5540283/verifier/field/src/arithmetic_traits.rs:171:4
[INFO] [stdout]     |
[INFO] [stdout] 171 | /             fn make_packed_transformation<Data: AsRef<[OP::Scalar]> + Sync>(
[INFO] [stdout] 172 | |                 transformation: $crate::linear_transformation::FieldLinearTransformation<
[INFO] [stdout] 173 | |                     OP::Scalar,
[INFO] [stdout] 174 | |                     Data,
[INFO] [stdout] 175 | |                 >,
[INFO] [stdout] 176 | |             ) -> Self::PackedTransformation<Data> {
[INFO] [stdout]     | |_________________________________________________^ cannot normalize `<PackedPrimitiveType<u128, binary_field::BinaryField1b> as PackedField>::Scalar`
[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[E0284]: type annotations needed: cannot normalize `<OP as Add>::Output`
[INFO] [stdout]    --> /opt/rustwide/cargo-home/git/checkouts/binius64-733e5504f277ebd2/5540283/verifier/field/src/arithmetic_traits.rs:171:4
[INFO] [stdout]     |
[INFO] [stdout] 171 | /             fn make_packed_transformation<Data: AsRef<[OP::Scalar]> + Sync>(
[INFO] [stdout] 172 | |                 transformation: $crate::linear_transformation::FieldLinearTransformation<
[INFO] [stdout] 173 | |                     OP::Scalar,
[INFO] [stdout] 174 | |                     Data,
[INFO] [stdout] 175 | |                 >,
[INFO] [stdout] 176 | |             ) -> Self::PackedTransformation<Data> {
[INFO] [stdout]     | |_________________________________________________^ cannot normalize `<OP as Add>::Output`
[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: required by a bound in `PackedField`
[INFO] [stdout]    --> /opt/rustwide/cargo-home/git/checkouts/binius64-733e5504f277ebd2/5540283/verifier/field/src/packed.rs:41:8
[INFO] [stdout]     |
[INFO] [stdout]  34 | pub trait PackedField:
[INFO] [stdout]     |           ----------- required by a bound in this trait
[INFO] [stdout] ...
[INFO] [stdout]  41 |     + Add<Output = Self>
[INFO] [stdout]     |           ^^^^^^^^^^^^^ required by this bound in `PackedField`
[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[E0283]: type annotations needed: cannot satisfy `PackedPrimitiveType<u128, binary_field::BinaryField1b>: PackedTransformationFactory<OP>`
[INFO] [stdout]    --> /opt/rustwide/cargo-home/git/checkouts/binius64-733e5504f277ebd2/5540283/verifier/field/src/arch/portable/packed_macros.rs:220:39
[INFO] [stdout]     |
[INFO] [stdout] 220 |               impl_transformation_with_strategy!($name, $crate::arch::$strategy);
[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: cannot satisfy `PackedPrimitiveType<u128, binary_field::BinaryField1b>: PackedTransformationFactory<OP>`
[INFO] [stdout] help: the trait `PackedTransformationFactory<OP>` is not implemented for `PackedPrimitiveType<u128, binary_field::BinaryField1b>`
[INFO] [stdout]       but trait `PackedTransformationFactory<_>` is implemented for it
[INFO] [stdout]    --> /opt/rustwide/cargo-home/git/checkouts/binius64-733e5504f277ebd2/5540283/verifier/field/src/arithmetic_traits.rs:157:3
[INFO] [stdout]     |
[INFO] [stdout] 157 | /         impl<OP> $crate::linear_transformation::PackedTransformationFactory<OP> for $name
[INFO] [stdout] 158 | |         where
[INFO] [stdout] 159 | |             OP: $crate::packed::PackedBinaryField
[INFO] [stdout] 160 | |                 + $crate::underlier::WithUnderlier<
[INFO] [stdout] 161 | |                     Underlier = <$name as $crate::underlier::WithUnderlier>::Underlier,
[INFO] [stdout] 162 | |                 >,
[INFO] [stdout] 163 | |             Self: $crate::arithmetic_traits::TaggedPackedTransformationFactory<$strategy, OP>,
[INFO] [stdout]     | |______________________________________________________________________________________________^
[INFO] [stdout]     |
[INFO] [stdout]    ::: /opt/rustwide/cargo-home/git/checkouts/binius64-733e5504f277ebd2/5540283/verifier/field/src/arch/portable/packed_128.rs:12:1
[INFO] [stdout]     |
[INFO] [stdout]  12 | / define_packed_binary_fields!(
[INFO] [stdout]  13 | |     underlier: u128,
[INFO] [stdout]  14 | |     packed_fields: [
[INFO] [stdout]  15 | |         packed_field {
[INFO] [stdout] ...   |
[INFO] [stdout]  26 | | );
[INFO] [stdout]     | |_- in this macro invocation
[INFO] [stdout]     = note: this error originates in the macro `impl_transformation` 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[E0284]: type annotations needed: cannot normalize `<PackedPrimitiveType<u16, binary_field::BinaryField1b> as PackedField>::Scalar`
[INFO] [stdout]    --> /opt/rustwide/cargo-home/git/checkouts/binius64-733e5504f277ebd2/5540283/verifier/field/src/arithmetic_traits.rs:171:4
[INFO] [stdout]     |
[INFO] [stdout] 171 | /             fn make_packed_transformation<Data: AsRef<[OP::Scalar]> + Sync>(
[INFO] [stdout] 172 | |                 transformation: $crate::linear_transformation::FieldLinearTransformation<
[INFO] [stdout] 173 | |                     OP::Scalar,
[INFO] [stdout] 174 | |                     Data,
[INFO] [stdout] 175 | |                 >,
[INFO] [stdout] 176 | |             ) -> Self::PackedTransformation<Data> {
[INFO] [stdout]     | |_________________________________________________^ cannot normalize `<PackedPrimitiveType<u16, binary_field::BinaryField1b> as PackedField>::Scalar`
[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[E0284]: type annotations needed: cannot normalize `<OP as Add>::Output`
[INFO] [stdout]    --> /opt/rustwide/cargo-home/git/checkouts/binius64-733e5504f277ebd2/5540283/verifier/field/src/arithmetic_traits.rs:171:4
[INFO] [stdout]     |
[INFO] [stdout] 171 | /             fn make_packed_transformation<Data: AsRef<[OP::Scalar]> + Sync>(
[INFO] [stdout] 172 | |                 transformation: $crate::linear_transformation::FieldLinearTransformation<
[INFO] [stdout] 173 | |                     OP::Scalar,
[INFO] [stdout] 174 | |                     Data,
[INFO] [stdout] 175 | |                 >,
[INFO] [stdout] 176 | |             ) -> Self::PackedTransformation<Data> {
[INFO] [stdout]     | |_________________________________________________^ cannot normalize `<OP as Add>::Output`
[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: required by a bound in `PackedField`
[INFO] [stdout]    --> /opt/rustwide/cargo-home/git/checkouts/binius64-733e5504f277ebd2/5540283/verifier/field/src/packed.rs:41:8
[INFO] [stdout]     |
[INFO] [stdout]  34 | pub trait PackedField:
[INFO] [stdout]     |           ----------- required by a bound in this trait
[INFO] [stdout] ...
[INFO] [stdout]  41 |     + Add<Output = Self>
[INFO] [stdout]     |           ^^^^^^^^^^^^^ required by this bound in `PackedField`
[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[E0283]: type annotations needed: cannot satisfy `PackedPrimitiveType<u16, binary_field::BinaryField1b>: PackedTransformationFactory<OP>`
[INFO] [stdout]    --> /opt/rustwide/cargo-home/git/checkouts/binius64-733e5504f277ebd2/5540283/verifier/field/src/arch/portable/packed_macros.rs:220:39
[INFO] [stdout]     |
[INFO] [stdout] 220 |               impl_transformation_with_strategy!($name, $crate::arch::$strategy);
[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: cannot satisfy `PackedPrimitiveType<u16, binary_field::BinaryField1b>: PackedTransformationFactory<OP>`
[INFO] [stdout] help: the trait `PackedTransformationFactory<OP>` is not implemented for `PackedPrimitiveType<u16, binary_field::BinaryField1b>`
[INFO] [stdout]       but trait `PackedTransformationFactory<_>` is implemented for it
[INFO] [stdout]    --> /opt/rustwide/cargo-home/git/checkouts/binius64-733e5504f277ebd2/5540283/verifier/field/src/arithmetic_traits.rs:157:3
[INFO] [stdout]     |
[INFO] [stdout] 157 | /         impl<OP> $crate::linear_transformation::PackedTransformationFactory<OP> for $name
[INFO] [stdout] 158 | |         where
[INFO] [stdout] 159 | |             OP: $crate::packed::PackedBinaryField
[INFO] [stdout] 160 | |                 + $crate::underlier::WithUnderlier<
[INFO] [stdout] 161 | |                     Underlier = <$name as $crate::underlier::WithUnderlier>::Underlier,
[INFO] [stdout] 162 | |                 >,
[INFO] [stdout] 163 | |             Self: $crate::arithmetic_traits::TaggedPackedTransformationFactory<$strategy, OP>,
[INFO] [stdout]     | |______________________________________________________________________________________________^
[INFO] [stdout]     |
[INFO] [stdout]    ::: /opt/rustwide/cargo-home/git/checkouts/binius64-733e5504f277ebd2/5540283/verifier/field/src/arch/portable/packed_16.rs:12:1
[INFO] [stdout]     |
[INFO] [stdout]  12 | / define_packed_binary_fields!(
[INFO] [stdout]  13 | |     underlier: u16,
[INFO] [stdout]  14 | |     packed_fields: [
[INFO] [stdout]  15 | |         packed_field {
[INFO] [stdout] ...   |
[INFO] [stdout]  26 | | );
[INFO] [stdout]     | |_- in this macro invocation
[INFO] [stdout]     = note: this error originates in the macro `impl_transformation` 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[E0284]: type annotations needed: cannot normalize `<PackedPrimitiveType<SmallU<2>, BinaryField1b> as PackedField>::Scalar`
[INFO] [stdout]    --> /opt/rustwide/cargo-home/git/checkouts/binius64-733e5504f277ebd2/5540283/verifier/field/src/arithmetic_traits.rs:171:4
[INFO] [stdout]     |
[INFO] [stdout] 171 | /             fn make_packed_transformation<Data: AsRef<[OP::Scalar]> + Sync>(
[INFO] [stdout] 172 | |                 transformation: $crate::linear_transformation::FieldLinearTransformation<
[INFO] [stdout] 173 | |                     OP::Scalar,
[INFO] [stdout] 174 | |                     Data,
[INFO] [stdout] 175 | |                 >,
[INFO] [stdout] 176 | |             ) -> Self::PackedTransformation<Data> {
[INFO] [stdout]     | |_________________________________________________^ cannot normalize `<PackedPrimitiveType<SmallU<2>, BinaryField1b> as PackedField>::Scalar`
[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: the full name for the type has been written to '/opt/rustwide/target/debug/deps/binius_field-d01be42c595de060.long-type-12601913818776588082.txt'
[INFO] [stdout]     = note: consider using `--verbose` to print the full type name to the console
[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[E0284]: type annotations needed: cannot normalize `<OP as Add>::Output`
[INFO] [stdout]    --> /opt/rustwide/cargo-home/git/checkouts/binius64-733e5504f277ebd2/5540283/verifier/field/src/arithmetic_traits.rs:171:4
[INFO] [stdout]     |
[INFO] [stdout] 171 | /             fn make_packed_transformation<Data: AsRef<[OP::Scalar]> + Sync>(
[INFO] [stdout] 172 | |                 transformation: $crate::linear_transformation::FieldLinearTransformation<
[INFO] [stdout] 173 | |                     OP::Scalar,
[INFO] [stdout] 174 | |                     Data,
[INFO] [stdout] 175 | |                 >,
[INFO] [stdout] 176 | |             ) -> Self::PackedTransformation<Data> {
[INFO] [stdout]     | |_________________________________________________^ cannot normalize `<OP as Add>::Output`
[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: required by a bound in `PackedField`
[INFO] [stdout]    --> /opt/rustwide/cargo-home/git/checkouts/binius64-733e5504f277ebd2/5540283/verifier/field/src/packed.rs:41:8
[INFO] [stdout]     |
[INFO] [stdout]  34 | pub trait PackedField:
[INFO] [stdout]     |           ----------- required by a bound in this trait
[INFO] [stdout] ...
[INFO] [stdout]  41 |     + Add<Output = Self>
[INFO] [stdout]     |           ^^^^^^^^^^^^^ required by this bound in `PackedField`
[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[E0283]: type annotations needed: cannot satisfy `PackedPrimitiveType<SmallU<2>, ...>: PackedTransformationFactory<...>`
[INFO] [stdout]    --> /opt/rustwide/cargo-home/git/checkouts/binius64-733e5504f277ebd2/5540283/verifier/field/src/arch/portable/packed_macros.rs:220:39
[INFO] [stdout]     |
[INFO] [stdout] 220 |               impl_transformation_with_strategy!($name, $crate::arch::$strategy);
[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: cannot satisfy `PackedPrimitiveType<SmallU<2>, ...>: PackedTransformationFactory<...>`
[INFO] [stdout] help: the trait `PackedTransformationFactory<OP>` is not implemented for `PackedPrimitiveType<small_uint::SmallU<2>, binary_field::BinaryField1b>`
[INFO] [stdout]       but trait `PackedTransformationFactory<_>` is implemented for it
[INFO] [stdout]    --> /opt/rustwide/cargo-home/git/checkouts/binius64-733e5504f277ebd2/5540283/verifier/field/src/arithmetic_traits.rs:157:3
[INFO] [stdout]     |
[INFO] [stdout] 157 | /         impl<OP> $crate::linear_transformation::PackedTransformationFactory<OP> for $name
[INFO] [stdout] 158 | |         where
[INFO] [stdout] 159 | |             OP: $crate::packed::PackedBinaryField
[INFO] [stdout] 160 | |                 + $crate::underlier::WithUnderlier<
[INFO] [stdout] 161 | |                     Underlier = <$name as $crate::underlier::WithUnderlier>::Underlier,
[INFO] [stdout] 162 | |                 >,
[INFO] [stdout] 163 | |             Self: $crate::arithmetic_traits::TaggedPackedTransformationFactory<$strategy, OP>,
[INFO] [stdout]     | |______________________________________________________________________________________________^
[INFO] [stdout]     |
[INFO] [stdout]    ::: /opt/rustwide/cargo-home/git/checkouts/binius64-733e5504f277ebd2/5540283/verifier/field/src/arch/portable/packed_2.rs:11:1
[INFO] [stdout]     |
[INFO] [stdout]  11 | / define_packed_binary_fields!(
[INFO] [stdout]  12 | |     underlier: U2,
[INFO] [stdout]  13 | |     packed_fields: [
[INFO] [stdout]  14 | |         packed_field {
[INFO] [stdout] ...   |
[INFO] [stdout]  25 | | );
[INFO] [stdout]     | |_- in this macro invocation
[INFO] [stdout]     = note: the full name for the type has been written to '/opt/rustwide/target/debug/deps/binius_field-d01be42c595de060.long-type-14832186035004862280.txt'
[INFO] [stdout]     = note: consider using `--verbose` to print the full type name to the console
[INFO] [stdout]     = note: this error originates in the macro `impl_transformation` 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[E0284]: type annotations needed: cannot normalize `<PackedPrimitiveType<u32, binary_field::BinaryField1b> as PackedField>::Scalar`
[INFO] [stdout]    --> /opt/rustwide/cargo-home/git/checkouts/binius64-733e5504f277ebd2/5540283/verifier/field/src/arithmetic_traits.rs:171:4
[INFO] [stdout]     |
[INFO] [stdout] 171 | /             fn make_packed_transformation<Data: AsRef<[OP::Scalar]> + Sync>(
[INFO] [stdout] 172 | |                 transformation: $crate::linear_transformation::FieldLinearTransformation<
[INFO] [stdout] 173 | |                     OP::Scalar,
[INFO] [stdout] 174 | |                     Data,
[INFO] [stdout] 175 | |                 >,
[INFO] [stdout] 176 | |             ) -> Self::PackedTransformation<Data> {
[INFO] [stdout]     | |_________________________________________________^ cannot normalize `<PackedPrimitiveType<u32, binary_field::BinaryField1b> as PackedField>::Scalar`
[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[E0284]: type annotations needed: cannot normalize `<OP as Add>::Output`
[INFO] [stdout]    --> /opt/rustwide/cargo-home/git/checkouts/binius64-733e5504f277ebd2/5540283/verifier/field/src/arithmetic_traits.rs:171:4
[INFO] [stdout]     |
[INFO] [stdout] 171 | /             fn make_packed_transformation<Data: AsRef<[OP::Scalar]> + Sync>(
[INFO] [stdout] 172 | |                 transformation: $crate::linear_transformation::FieldLinearTransformation<
[INFO] [stdout] 173 | |                     OP::Scalar,
[INFO] [stdout] 174 | |                     Data,
[INFO] [stdout] 175 | |                 >,
[INFO] [stdout] 176 | |             ) -> Self::PackedTransformation<Data> {
[INFO] [stdout]     | |_________________________________________________^ cannot normalize `<OP as Add>::Output`
[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: required by a bound in `PackedField`
[INFO] [stdout]    --> /opt/rustwide/cargo-home/git/checkouts/binius64-733e5504f277ebd2/5540283/verifier/field/src/packed.rs:41:8
[INFO] [stdout]     |
[INFO] [stdout]  34 | pub trait PackedField:
[INFO] [stdout]     |           ----------- required by a bound in this trait
[INFO] [stdout] ...
[INFO] [stdout]  41 |     + Add<Output = Self>
[INFO] [stdout]     |           ^^^^^^^^^^^^^ required by this bound in `PackedField`
[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[E0283]: type annotations needed: cannot satisfy `PackedPrimitiveType<u32, binary_field::BinaryField1b>: PackedTransformationFactory<OP>`
[INFO] [stdout]    --> /opt/rustwide/cargo-home/git/checkouts/binius64-733e5504f277ebd2/5540283/verifier/field/src/arch/portable/packed_macros.rs:220:39
[INFO] [stdout]     |
[INFO] [stdout] 220 |               impl_transformation_with_strategy!($name, $crate::arch::$strategy);
[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: cannot satisfy `PackedPrimitiveType<u32, binary_field::BinaryField1b>: PackedTransformationFactory<OP>`
[INFO] [stdout] help: the trait `PackedTransformationFactory<OP>` is not implemented for `PackedPrimitiveType<u32, binary_field::BinaryField1b>`
[INFO] [stdout]       but trait `PackedTransformationFactory<_>` is implemented for it
[INFO] [stdout]    --> /opt/rustwide/cargo-home/git/checkouts/binius64-733e5504f277ebd2/5540283/verifier/field/src/arithmetic_traits.rs:157:3
[INFO] [stdout]     |
[INFO] [stdout] 157 | /         impl<OP> $crate::linear_transformation::PackedTransformationFactory<OP> for $name
[INFO] [stdout] 158 | |         where
[INFO] [stdout] 159 | |             OP: $crate::packed::PackedBinaryField
[INFO] [stdout] 160 | |                 + $crate::underlier::WithUnderlier<
[INFO] [stdout] 161 | |                     Underlier = <$name as $crate::underlier::WithUnderlier>::Underlier,
[INFO] [stdout] 162 | |                 >,
[INFO] [stdout] 163 | |             Self: $crate::arithmetic_traits::TaggedPackedTransformationFactory<$strategy, OP>,
[INFO] [stdout]     | |______________________________________________________________________________________________^
[INFO] [stdout]     |
[INFO] [stdout]    ::: /opt/rustwide/cargo-home/git/checkouts/binius64-733e5504f277ebd2/5540283/verifier/field/src/arch/portable/packed_32.rs:12:1
[INFO] [stdout]     |
[INFO] [stdout]  12 | / define_packed_binary_fields!(
[INFO] [stdout]  13 | |     underlier: u32,
[INFO] [stdout]  14 | |     packed_fields: [
[INFO] [stdout]  15 | |         packed_field {
[INFO] [stdout] ...   |
[INFO] [stdout]  26 | | );
[INFO] [stdout]     | |_- in this macro invocation
[INFO] [stdout]     = note: this error originates in the macro `impl_transformation` 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[E0284]: type annotations needed: cannot normalize `<PackedPrimitiveType<SmallU<4>, BinaryField1b> as PackedField>::Scalar`
[INFO] [stdout]    --> /opt/rustwide/cargo-home/git/checkouts/binius64-733e5504f277ebd2/5540283/verifier/field/src/arithmetic_traits.rs:171:4
[INFO] [stdout]     |
[INFO] [stdout] 171 | /             fn make_packed_transformation<Data: AsRef<[OP::Scalar]> + Sync>(
[INFO] [stdout] 172 | |                 transformation: $crate::linear_transformation::FieldLinearTransformation<
[INFO] [stdout] 173 | |                     OP::Scalar,
[INFO] [stdout] 174 | |                     Data,
[INFO] [stdout] 175 | |                 >,
[INFO] [stdout] 176 | |             ) -> Self::PackedTransformation<Data> {
[INFO] [stdout]     | |_________________________________________________^ cannot normalize `<PackedPrimitiveType<SmallU<4>, BinaryField1b> as PackedField>::Scalar`
[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: the full name for the type has been written to '/opt/rustwide/target/debug/deps/binius_field-d01be42c595de060.long-type-2978085526538639937.txt'
[INFO] [stdout]     = note: consider using `--verbose` to print the full type name to the console
[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[E0284]: type annotations needed: cannot normalize `<OP as Add>::Output`
[INFO] [stdout]    --> /opt/rustwide/cargo-home/git/checkouts/binius64-733e5504f277ebd2/5540283/verifier/field/src/arithmetic_traits.rs:171:4
[INFO] [stdout]     |
[INFO] [stdout] 171 | /             fn make_packed_transformation<Data: AsRef<[OP::Scalar]> + Sync>(
[INFO] [stdout] 172 | |                 transformation: $crate::linear_transformation::FieldLinearTransformation<
[INFO] [stdout] 173 | |                     OP::Scalar,
[INFO] [stdout] 174 | |                     Data,
[INFO] [stdout] 175 | |                 >,
[INFO] [stdout] 176 | |             ) -> Self::PackedTransformation<Data> {
[INFO] [stdout]     | |_________________________________________________^ cannot normalize `<OP as Add>::Output`
[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: required by a bound in `PackedField`
[INFO] [stdout]    --> /opt/rustwide/cargo-home/git/checkouts/binius64-733e5504f277ebd2/5540283/verifier/field/src/packed.rs:41:8
[INFO] [stdout]     |
[INFO] [stdout]  34 | pub trait PackedField:
[INFO] [stdout]     |           ----------- required by a bound in this trait
[INFO] [stdout] ...
[INFO] [stdout]  41 |     + Add<Output = Self>
[INFO] [stdout]     |           ^^^^^^^^^^^^^ required by this bound in `PackedField`
[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[E0283]: type annotations needed: cannot satisfy `PackedPrimitiveType<SmallU<4>, ...>: PackedTransformationFactory<...>`
[INFO] [stdout]    --> /opt/rustwide/cargo-home/git/checkouts/binius64-733e5504f277ebd2/5540283/verifier/field/src/arch/portable/packed_macros.rs:220:39
[INFO] [stdout]     |
[INFO] [stdout] 220 |               impl_transformation_with_strategy!($name, $crate::arch::$strategy);
[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: cannot satisfy `PackedPrimitiveType<SmallU<4>, ...>: PackedTransformationFactory<...>`
[INFO] [stdout] help: the trait `PackedTransformationFactory<OP>` is not implemented for `PackedPrimitiveType<small_uint::SmallU<4>, binary_field::BinaryField1b>`
[INFO] [stdout]       but trait `PackedTransformationFactory<_>` is implemented for it
[INFO] [stdout]    --> /opt/rustwide/cargo-home/git/checkouts/binius64-733e5504f277ebd2/5540283/verifier/field/src/arithmetic_traits.rs:157:3
[INFO] [stdout]     |
[INFO] [stdout] 157 | /         impl<OP> $crate::linear_transformation::PackedTransformationFactory<OP> for $name
[INFO] [stdout] 158 | |         where
[INFO] [stdout] 159 | |             OP: $crate::packed::PackedBinaryField
[INFO] [stdout] 160 | |                 + $crate::underlier::WithUnderlier<
[INFO] [stdout] 161 | |                     Underlier = <$name as $crate::underlier::WithUnderlier>::Underlier,
[INFO] [stdout] 162 | |                 >,
[INFO] [stdout] 163 | |             Self: $crate::arithmetic_traits::TaggedPackedTransformationFactory<$strategy, OP>,
[INFO] [stdout]     | |______________________________________________________________________________________________^
[INFO] [stdout]     |
[INFO] [stdout]    ::: /opt/rustwide/cargo-home/git/checkouts/binius64-733e5504f277ebd2/5540283/verifier/field/src/arch/portable/packed_4.rs:11:1
[INFO] [stdout]     |
[INFO] [stdout]  11 | / define_packed_binary_fields!(
[INFO] [stdout]  12 | |     underlier: U4,
[INFO] [stdout]  13 | |     packed_fields: [
[INFO] [stdout]  14 | |         packed_field {
[INFO] [stdout] ...   |
[INFO] [stdout]  25 | | );
[INFO] [stdout]     | |_- in this macro invocation
[INFO] [stdout]     = note: the full name for the type has been written to '/opt/rustwide/target/debug/deps/binius_field-d01be42c595de060.long-type-8969446428711128126.txt'
[INFO] [stdout]     = note: consider using `--verbose` to print the full type name to the console
[INFO] [stdout]     = note: this error originates in the macro `impl_transformation` 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[E0284]: type annotations needed: cannot normalize `<PackedPrimitiveType<u64, binary_field::BinaryField1b> as PackedField>::Scalar`
[INFO] [stdout]    --> /opt/rustwide/cargo-home/git/checkouts/binius64-733e5504f277ebd2/5540283/verifier/field/src/arithmetic_traits.rs:171:4
[INFO] [stdout]     |
[INFO] [stdout] 171 | /             fn make_packed_transformation<Data: AsRef<[OP::Scalar]> + Sync>(
[INFO] [stdout] 172 | |                 transformation: $crate::linear_transformation::FieldLinearTransformation<
[INFO] [stdout] 173 | |                     OP::Scalar,
[INFO] [stdout] 174 | |                     Data,
[INFO] [stdout] 175 | |                 >,
[INFO] [stdout] 176 | |             ) -> Self::PackedTransformation<Data> {
[INFO] [stdout]     | |_________________________________________________^ cannot normalize `<PackedPrimitiveType<u64, binary_field::BinaryField1b> as PackedField>::Scalar`
[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[E0284]: type annotations needed: cannot normalize `<OP as Add>::Output`
[INFO] [stdout]    --> /opt/rustwide/cargo-home/git/checkouts/binius64-733e5504f277ebd2/5540283/verifier/field/src/arithmetic_traits.rs:171:4
[INFO] [stdout]     |
[INFO] [stdout] 171 | /             fn make_packed_transformation<Data: AsRef<[OP::Scalar]> + Sync>(
[INFO] [stdout] 172 | |                 transformation: $crate::linear_transformation::FieldLinearTransformation<
[INFO] [stdout] 173 | |                     OP::Scalar,
[INFO] [stdout] 174 | |                     Data,
[INFO] [stdout] 175 | |                 >,
[INFO] [stdout] 176 | |             ) -> Self::PackedTransformation<Data> {
[INFO] [stdout]     | |_________________________________________________^ cannot normalize `<OP as Add>::Output`
[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: required by a bound in `PackedField`
[INFO] [stdout]    --> /opt/rustwide/cargo-home/git/checkouts/binius64-733e5504f277ebd2/5540283/verifier/field/src/packed.rs:41:8
[INFO] [stdout]     |
[INFO] [stdout]  34 | pub trait PackedField:
[INFO] [stdout]     |           ----------- required by a bound in this trait
[INFO] [stdout] ...
[INFO] [stdout]  41 |     + Add<Output = Self>
[INFO] [stdout]     |           ^^^^^^^^^^^^^ required by this bound in `PackedField`
[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[E0283]: type annotations needed: cannot satisfy `PackedPrimitiveType<u64, binary_field::BinaryField1b>: PackedTransformationFactory<OP>`
[INFO] [stdout]    --> /opt/rustwide/cargo-home/git/checkouts/binius64-733e5504f277ebd2/5540283/verifier/field/src/arch/portable/packed_macros.rs:220:39
[INFO] [stdout]     |
[INFO] [stdout] 220 |               impl_transformation_with_strategy!($name, $crate::arch::$strategy);
[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: cannot satisfy `PackedPrimitiveType<u64, binary_field::BinaryField1b>: PackedTransformationFactory<OP>`
[INFO] [stdout] help: the trait `PackedTransformationFactory<OP>` is not implemented for `PackedPrimitiveType<u64, binary_field::BinaryField1b>`
[INFO] [stdout]       but trait `PackedTransformationFactory<_>` is implemented for it
[INFO] [stdout]    --> /opt/rustwide/cargo-home/git/checkouts/binius64-733e5504f277ebd2/5540283/verifier/field/src/arithmetic_traits.rs:157:3
[INFO] [stdout]     |
[INFO] [stdout] 157 | /         impl<OP> $crate::linear_transformation::PackedTransformationFactory<OP> for $name
[INFO] [stdout] 158 | |         where
[INFO] [stdout] 159 | |             OP: $crate::packed::PackedBinaryField
[INFO] [stdout] 160 | |                 + $crate::underlier::WithUnderlier<
[INFO] [stdout] 161 | |                     Underlier = <$name as $crate::underlier::WithUnderlier>::Underlier,
[INFO] [stdout] 162 | |                 >,
[INFO] [stdout] 163 | |             Self: $crate::arithmetic_traits::TaggedPackedTransformationFactory<$strategy, OP>,
[INFO] [stdout]     | |______________________________________________________________________________________________^
[INFO] [stdout]     |
[INFO] [stdout]    ::: /opt/rustwide/cargo-home/git/checkouts/binius64-733e5504f277ebd2/5540283/verifier/field/src/arch/portable/packed_64.rs:12:1
[INFO] [stdout]     |
[INFO] [stdout]  12 | / define_packed_binary_fields!(
[INFO] [stdout]  13 | |     underlier: u64,
[INFO] [stdout]  14 | |     packed_fields: [
[INFO] [stdout]  15 | |         packed_field {
[INFO] [stdout] ...   |
[INFO] [stdout]  26 | | );
[INFO] [stdout]     | |_- in this macro invocation
[INFO] [stdout]     = note: this error originates in the macro `impl_transformation` 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[E0284]: type annotations needed: cannot normalize `<PackedPrimitiveType<u8, binary_field::BinaryField1b> as PackedField>::Scalar`
[INFO] [stdout]    --> /opt/rustwide/cargo-home/git/checkouts/binius64-733e5504f277ebd2/5540283/verifier/field/src/arithmetic_traits.rs:171:4
[INFO] [stdout]     |
[INFO] [stdout] 171 | /             fn make_packed_transformation<Data: AsRef<[OP::Scalar]> + Sync>(
[INFO] [stdout] 172 | |                 transformation: $crate::linear_transformation::FieldLinearTransformation<
[INFO] [stdout] 173 | |                     OP::Scalar,
[INFO] [stdout] 174 | |                     Data,
[INFO] [stdout] 175 | |                 >,
[INFO] [stdout] 176 | |             ) -> Self::PackedTransformation<Data> {
[INFO] [stdout]     | |_________________________________________________^ cannot normalize `<PackedPrimitiveType<u8, binary_field::BinaryField1b> as PackedField>::Scalar`
[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[E0284]: type annotations needed: cannot normalize `<OP as Add>::Output`
[INFO] [stdout]    --> /opt/rustwide/cargo-home/git/checkouts/binius64-733e5504f277ebd2/5540283/verifier/field/src/arithmetic_traits.rs:171:4
[INFO] [stdout]     |
[INFO] [stdout] 171 | /             fn make_packed_transformation<Data: AsRef<[OP::Scalar]> + Sync>(
[INFO] [stdout] 172 | |                 transformation: $crate::linear_transformation::FieldLinearTransformation<
[INFO] [stdout] 173 | |                     OP::Scalar,
[INFO] [stdout] 174 | |                     Data,
[INFO] [stdout] 175 | |                 >,
[INFO] [stdout] 176 | |             ) -> Self::PackedTransformation<Data> {
[INFO] [stdout]     | |_________________________________________________^ cannot normalize `<OP as Add>::Output`
[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: required by a bound in `PackedField`
[INFO] [stdout]    --> /opt/rustwide/cargo-home/git/checkouts/binius64-733e5504f277ebd2/5540283/verifier/field/src/packed.rs:41:8
[INFO] [stdout]     |
[INFO] [stdout]  34 | pub trait PackedField:
[INFO] [stdout]     |           ----------- required by a bound in this trait
[INFO] [stdout] ...
[INFO] [stdout]  41 |     + Add<Output = Self>
[INFO] [stdout]     |           ^^^^^^^^^^^^^ required by this bound in `PackedField`
[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[E0283]: type annotations needed: cannot satisfy `PackedPrimitiveType<u8, binary_field::BinaryField1b>: PackedTransformationFactory<OP>`
[INFO] [stdout]    --> /opt/rustwide/cargo-home/git/checkouts/binius64-733e5504f277ebd2/5540283/verifier/field/src/arch/portable/packed_macros.rs:220:39
[INFO] [stdout]     |
[INFO] [stdout] 220 |               impl_transformation_with_strategy!($name, $crate::arch::$strategy);
[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: cannot satisfy `PackedPrimitiveType<u8, binary_field::BinaryField1b>: PackedTransformationFactory<OP>`
[INFO] [stdout] help: the trait `PackedTransformationFactory<OP>` is not implemented for `PackedPrimitiveType<u8, binary_field::BinaryField1b>`
[INFO] [stdout]       but trait `PackedTransformationFactory<_>` is implemented for it
[INFO] [stdout]    --> /opt/rustwide/cargo-home/git/checkouts/binius64-733e5504f277ebd2/5540283/verifier/field/src/arithmetic_traits.rs:157:3
[INFO] [stdout]     |
[INFO] [stdout] 157 | /         impl<OP> $crate::linear_transformation::PackedTransformationFactory<OP> for $name
[INFO] [stdout] 158 | |         where
[INFO] [stdout] 159 | |             OP: $crate::packed::PackedBinaryField
[INFO] [stdout] 160 | |                 + $crate::underlier::WithUnderlier<
[INFO] [stdout] 161 | |                     Underlier = <$name as $crate::underlier::WithUnderlier>::Underlier,
[INFO] [stdout] 162 | |                 >,
[INFO] [stdout] 163 | |             Self: $crate::arithmetic_traits::TaggedPackedTransformationFactory<$strategy, OP>,
[INFO] [stdout]     | |______________________________________________________________________________________________^
[INFO] [stdout]     |
[INFO] [stdout]    ::: /opt/rustwide/cargo-home/git/checkouts/binius64-733e5504f277ebd2/5540283/verifier/field/src/arch/portable/packed_8.rs:12:1
[INFO] [stdout]     |
[INFO] [stdout]  12 | / define_packed_binary_fields!(
[INFO] [stdout]  13 | |     underlier: u8,
[INFO] [stdout]  14 | |     packed_fields: [
[INFO] [stdout]  15 | |         packed_field {
[INFO] [stdout] ...   |
[INFO] [stdout]  26 | | );
[INFO] [stdout]     | |_- in this macro invocation
[INFO] [stdout]     = note: this error originates in the macro `impl_transformation` 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[E0284]: type annotations needed: cannot normalize `<PackedPrimitiveType<u128, aes_field::AESTowerField8b> as PackedField>::Scalar`
[INFO] [stdout]    --> /opt/rustwide/cargo-home/git/checkouts/binius64-733e5504f277ebd2/5540283/verifier/field/src/arithmetic_traits.rs:171:4
[INFO] [stdout]     |
[INFO] [stdout] 171 | /             fn make_packed_transformation<Data: AsRef<[OP::Scalar]> + Sync>(
[INFO] [stdout] 172 | |                 transformation: $crate::linear_transformation::FieldLinearTransformation<
[INFO] [stdout] 173 | |                     OP::Scalar,
[INFO] [stdout] 174 | |                     Data,
[INFO] [stdout] 175 | |                 >,
[INFO] [stdout] 176 | |             ) -> Self::PackedTransformation<Data> {
[INFO] [stdout]     | |_________________________________________________^ cannot normalize `<PackedPrimitiveType<u128, aes_field::AESTowerField8b> as PackedField>::Scalar`
[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[E0284]: type annotations needed: cannot normalize `<OP as Add>::Output`
[INFO] [stdout]    --> /opt/rustwide/cargo-home/git/checkouts/binius64-733e5504f277ebd2/5540283/verifier/field/src/arithmetic_traits.rs:171:4
[INFO] [stdout]     |
[INFO] [stdout] 171 | /             fn make_packed_transformation<Data: AsRef<[OP::Scalar]> + Sync>(
[INFO] [stdout] 172 | |                 transformation: $crate::linear_transformation::FieldLinearTransformation<
[INFO] [stdout] 173 | |                     OP::Scalar,
[INFO] [stdout] 174 | |                     Data,
[INFO] [stdout] 175 | |                 >,
[INFO] [stdout] 176 | |             ) -> Self::PackedTransformation<Data> {
[INFO] [stdout]     | |_________________________________________________^ cannot normalize `<OP as Add>::Output`
[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: required by a bound in `PackedField`
[INFO] [stdout]    --> /opt/rustwide/cargo-home/git/checkouts/binius64-733e5504f277ebd2/5540283/verifier/field/src/packed.rs:41:8
[INFO] [stdout]     |
[INFO] [stdout]  34 | pub trait PackedField:
[INFO] [stdout]     |           ----------- required by a bound in this trait
[INFO] [stdout] ...
[INFO] [stdout]  41 |     + Add<Output = Self>
[INFO] [stdout]     |           ^^^^^^^^^^^^^ required by this bound in `PackedField`
[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[E0283]: type annotations needed: cannot satisfy `PackedPrimitiveType<u128, aes_field::AESTowerField8b>: PackedTransformationFactory<OP>`
[INFO] [stdout]    --> /opt/rustwide/cargo-home/git/checkouts/binius64-733e5504f277ebd2/5540283/verifier/field/src/arch/portable/packed_macros.rs:220:39
[INFO] [stdout]     |
[INFO] [stdout] 220 |               impl_transformation_with_strategy!($name, $crate::arch::$strategy);
[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: cannot satisfy `PackedPrimitiveType<u128, aes_field::AESTowerField8b>: PackedTransformationFactory<OP>`
[INFO] [stdout] help: the trait `PackedTransformationFactory<OP>` is not implemented for `PackedPrimitiveType<u128, aes_field::AESTowerField8b>`
[INFO] [stdout]       but trait `PackedTransformationFactory<_>` is implemented for it
[INFO] [stdout]    --> /opt/rustwide/cargo-home/git/checkouts/binius64-733e5504f277ebd2/5540283/verifier/field/src/arithmetic_traits.rs:157:3
[INFO] [stdout]     |
[INFO] [stdout] 157 | /         impl<OP> $crate::linear_transformation::PackedTransformationFactory<OP> for $name
[INFO] [stdout] 158 | |         where
[INFO] [stdout] 159 | |             OP: $crate::packed::PackedBinaryField
[INFO] [stdout] 160 | |                 + $crate::underlier::WithUnderlier<
[INFO] [stdout] 161 | |                     Underlier = <$name as $crate::underlier::WithUnderlier>::Underlier,
[INFO] [stdout] 162 | |                 >,
[INFO] [stdout] 163 | |             Self: $crate::arithmetic_traits::TaggedPackedTransformationFactory<$strategy, OP>,
[INFO] [stdout]     | |______________________________________________________________________________________________^
[INFO] [stdout]     |
[INFO] [stdout]    ::: /opt/rustwide/cargo-home/git/checkouts/binius64-733e5504f277ebd2/5540283/verifier/field/src/arch/portable/packed_aes_128.rs:16:1
[INFO] [stdout]     |
[INFO] [stdout]  16 | / define_packed_binary_fields!(
[INFO] [stdout]  17 | |     underlier: u128,
[INFO] [stdout]  18 | |     packed_fields: [
[INFO] [stdout]  19 | |         packed_field {
[INFO] [stdout] ...   |
[INFO] [stdout]  30 | | );
[INFO] [stdout]     | |_- in this macro invocation
[INFO] [stdout]     = note: this error originates in the macro `impl_transformation` 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[E0284]: type annotations needed: cannot normalize `<PackedPrimitiveType<u16, aes_field::AESTowerField8b> as PackedField>::Scalar`
[INFO] [stdout]    --> /opt/rustwide/cargo-home/git/checkouts/binius64-733e5504f277ebd2/5540283/verifier/field/src/arithmetic_traits.rs:171:4
[INFO] [stdout]     |
[INFO] [stdout] 171 | /             fn make_packed_transformation<Data: AsRef<[OP::Scalar]> + Sync>(
[INFO] [stdout] 172 | |                 transformation: $crate::linear_transformation::FieldLinearTransformation<
[INFO] [stdout] 173 | |                     OP::Scalar,
[INFO] [stdout] 174 | |                     Data,
[INFO] [stdout] 175 | |                 >,
[INFO] [stdout] 176 | |             ) -> Self::PackedTransformation<Data> {
[INFO] [stdout]     | |_________________________________________________^ cannot normalize `<PackedPrimitiveType<u16, aes_field::AESTowerField8b> as PackedField>::Scalar`
[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[E0284]: type annotations needed: cannot normalize `<OP as Add>::Output`
[INFO] [stdout]    --> /opt/rustwide/cargo-home/git/checkouts/binius64-733e5504f277ebd2/5540283/verifier/field/src/arithmetic_traits.rs:171:4
[INFO] [stdout]     |
[INFO] [stdout] 171 | /             fn make_packed_transformation<Data: AsRef<[OP::Scalar]> + Sync>(
[INFO] [stdout] 172 | |                 transformation: $crate::linear_transformation::FieldLinearTransformation<
[INFO] [stdout] 173 | |                     OP::Scalar,
[INFO] [stdout] 174 | |                     Data,
[INFO] [stdout] 175 | |                 >,
[INFO] [stdout] 176 | |             ) -> Self::PackedTransformation<Data> {
[INFO] [stdout]     | |_________________________________________________^ cannot normalize `<OP as Add>::Output`
[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: required by a bound in `PackedField`
[INFO] [stdout]    --> /opt/rustwide/cargo-home/git/checkouts/binius64-733e5504f277ebd2/5540283/verifier/field/src/packed.rs:41:8
[INFO] [stdout]     |
[INFO] [stdout]  34 | pub trait PackedField:
[INFO] [stdout]     |           ----------- required by a bound in this trait
[INFO] [stdout] ...
[INFO] [stdout]  41 |     + Add<Output = Self>
[INFO] [stdout]     |           ^^^^^^^^^^^^^ required by this bound in `PackedField`
[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[E0283]: type annotations needed: cannot satisfy `PackedPrimitiveType<u16, aes_field::AESTowerField8b>: PackedTransformationFactory<OP>`
[INFO] [stdout]    --> /opt/rustwide/cargo-home/git/checkouts/binius64-733e5504f277ebd2/5540283/verifier/field/src/arch/portable/packed_macros.rs:220:39
[INFO] [stdout]     |
[INFO] [stdout] 220 |               impl_transformation_with_strategy!($name, $crate::arch::$strategy);
[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: cannot satisfy `PackedPrimitiveType<u16, aes_field::AESTowerField8b>: PackedTransformationFactory<OP>`
[INFO] [stdout] help: the trait `PackedTransformationFactory<OP>` is not implemented for `PackedPrimitiveType<u16, aes_field::AESTowerField8b>`
[INFO] [stdout]       but trait `PackedTransformationFactory<_>` is implemented for it
[INFO] [stdout]    --> /opt/rustwide/cargo-home/git/checkouts/binius64-733e5504f277ebd2/5540283/verifier/field/src/arithmetic_traits.rs:157:3
[INFO] [stdout]     |
[INFO] [stdout] 157 | /         impl<OP> $crate::linear_transformation::PackedTransformationFactory<OP> for $name
[INFO] [stdout] 158 | |         where
[INFO] [stdout] 159 | |             OP: $crate::packed::PackedBinaryField
[INFO] [stdout] 160 | |                 + $crate::underlier::WithUnderlier<
[INFO] [stdout] 161 | |                     Underlier = <$name as $crate::underlier::WithUnderlier>::Underlier,
[INFO] [stdout] 162 | |                 >,
[INFO] [stdout] 163 | |             Self: $crate::arithmetic_traits::TaggedPackedTransformationFactory<$strategy, OP>,
[INFO] [stdout]     | |______________________________________________________________________________________________^
[INFO] [stdout]     |
[INFO] [stdout]    ::: /opt/rustwide/cargo-home/git/checkouts/binius64-733e5504f277ebd2/5540283/verifier/field/src/arch/portable/packed_aes_16.rs:16:1
[INFO] [stdout]     |
[INFO] [stdout]  16 | / define_packed_binary_fields!(
[INFO] [stdout]  17 | |     underlier: u16,
[INFO] [stdout]  18 | |     packed_fields: [
[INFO] [stdout]  19 | |         packed_field {
[INFO] [stdout] ...   |
[INFO] [stdout]  30 | | );
[INFO] [stdout]     | |_- in this macro invocation
[INFO] [stdout]     = note: this error originates in the macro `impl_transformation` 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[E0284]: type annotations needed: cannot normalize `<PackedPrimitiveType<u32, aes_field::AESTowerField8b> as PackedField>::Scalar`
[INFO] [stdout]    --> /opt/rustwide/cargo-home/git/checkouts/binius64-733e5504f277ebd2/5540283/verifier/field/src/arithmetic_traits.rs:171:4
[INFO] [stdout]     |
[INFO] [stdout] 171 | /             fn make_packed_transformation<Data: AsRef<[OP::Scalar]> + Sync>(
[INFO] [stdout] 172 | |                 transformation: $crate::linear_transformation::FieldLinearTransformation<
[INFO] [stdout] 173 | |                     OP::Scalar,
[INFO] [stdout] 174 | |                     Data,
[INFO] [stdout] 175 | |                 >,
[INFO] [stdout] 176 | |             ) -> Self::PackedTransformation<Data> {
[INFO] [stdout]     | |_________________________________________________^ cannot normalize `<PackedPrimitiveType<u32, aes_field::AESTowerField8b> as PackedField>::Scalar`
[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[E0284]: type annotations needed: cannot normalize `<OP as Add>::Output`
[INFO] [stdout]    --> /opt/rustwide/cargo-home/git/checkouts/binius64-733e5504f277ebd2/5540283/verifier/field/src/arithmetic_traits.rs:171:4
[INFO] [stdout]     |
[INFO] [stdout] 171 | /             fn make_packed_transformation<Data: AsRef<[OP::Scalar]> + Sync>(
[INFO] [stdout] 172 | |                 transformation: $crate::linear_transformation::FieldLinearTransformation<
[INFO] [stdout] 173 | |                     OP::Scalar,
[INFO] [stdout] 174 | |                     Data,
[INFO] [stdout] 175 | |                 >,
[INFO] [stdout] 176 | |             ) -> Self::PackedTransformation<Data> {
[INFO] [stdout]     | |_________________________________________________^ cannot normalize `<OP as Add>::Output`
[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: required by a bound in `PackedField`
[INFO] [stdout]    --> /opt/rustwide/cargo-home/git/checkouts/binius64-733e5504f277ebd2/5540283/verifier/field/src/packed.rs:41:8
[INFO] [stdout]     |
[INFO] [stdout]  34 | pub trait PackedField:
[INFO] [stdout]     |           ----------- required by a bound in this trait
[INFO] [stdout] ...
[INFO] [stdout]  41 |     + Add<Output = Self>
[INFO] [stdout]     |           ^^^^^^^^^^^^^ required by this bound in `PackedField`
[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[E0283]: type annotations needed: cannot satisfy `PackedPrimitiveType<u32, aes_field::AESTowerField8b>: PackedTransformationFactory<OP>`
[INFO] [stdout]    --> /opt/rustwide/cargo-home/git/checkouts/binius64-733e5504f277ebd2/5540283/verifier/field/src/arch/portable/packed_macros.rs:220:39
[INFO] [stdout]     |
[INFO] [stdout] 220 |               impl_transformation_with_strategy!($name, $crate::arch::$strategy);
[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: cannot satisfy `PackedPrimitiveType<u32, aes_field::AESTowerField8b>: PackedTransformationFactory<OP>`
[INFO] [stdout] help: the trait `PackedTransformationFactory<OP>` is not implemented for `PackedPrimitiveType<u32, aes_field::AESTowerField8b>`
[INFO] [stdout]       but trait `PackedTransformationFactory<_>` is implemented for it
[INFO] [stdout]    --> /opt/rustwide/cargo-home/git/checkouts/binius64-733e5504f277ebd2/5540283/verifier/field/src/arithmetic_traits.rs:157:3
[INFO] [stdout]     |
[INFO] [stdout] 157 | /         impl<OP> $crate::linear_transformation::PackedTransformationFactory<OP> for $name
[INFO] [stdout] 158 | |         where
[INFO] [stdout] 159 | |             OP: $crate::packed::PackedBinaryField
[INFO] [stdout] 160 | |                 + $crate::underlier::WithUnderlier<
[INFO] [stdout] 161 | |                     Underlier = <$name as $crate::underlier::WithUnderlier>::Underlier,
[INFO] [stdout] 162 | |                 >,
[INFO] [stdout] 163 | |             Self: $crate::arithmetic_traits::TaggedPackedTransformationFactory<$strategy, OP>,
[INFO] [stdout]     | |______________________________________________________________________________________________^
[INFO] [stdout]     |
[INFO] [stdout]    ::: /opt/rustwide/cargo-home/git/checkouts/binius64-733e5504f277ebd2/5540283/verifier/field/src/arch/portable/packed_aes_32.rs:18:1
[INFO] [stdout]     |
[INFO] [stdout]  18 | / define_packed_binary_fields!(
[INFO] [stdout]  19 | |     underlier: u32,
[INFO] [stdout]  20 | |     packed_fields: [
[INFO] [stdout]  21 | |         packed_field {
[INFO] [stdout] ...   |
[INFO] [stdout]  32 | | );
[INFO] [stdout]     | |_- in this macro invocation
[INFO] [stdout]     = note: this error originates in the macro `impl_transformation` 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[E0284]: type annotations needed: cannot normalize `<PackedPrimitiveType<u64, aes_field::AESTowerField8b> as PackedField>::Scalar`
[INFO] [stdout]    --> /opt/rustwide/cargo-home/git/checkouts/binius64-733e5504f277ebd2/5540283/verifier/field/src/arithmetic_traits.rs:171:4
[INFO] [stdout]     |
[INFO] [stdout] 171 | /             fn make_packed_transformation<Data: AsRef<[OP::Scalar]> + Sync>(
[INFO] [stdout] 172 | |                 transformation: $crate::linear_transformation::FieldLinearTransformation<
[INFO] [stdout] 173 | |                     OP::Scalar,
[INFO] [stdout] 174 | |                     Data,
[INFO] [stdout] 175 | |                 >,
[INFO] [stdout] 176 | |             ) -> Self::PackedTransformation<Data> {
[INFO] [stdout]     | |_________________________________________________^ cannot normalize `<PackedPrimitiveType<u64, aes_field::AESTowerField8b> as PackedField>::Scalar`
[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[E0284]: type annotations needed: cannot normalize `<OP as Add>::Output`
[INFO] [stdout]    --> /opt/rustwide/cargo-home/git/checkouts/binius64-733e5504f277ebd2/5540283/verifier/field/src/arithmetic_traits.rs:171:4
[INFO] [stdout]     |
[INFO] [stdout] 171 | /             fn make_packed_transformation<Data: AsRef<[OP::Scalar]> + Sync>(
[INFO] [stdout] 172 | |                 transformation: $crate::linear_transformation::FieldLinearTransformation<
[INFO] [stdout] 173 | |                     OP::Scalar,
[INFO] [stdout] 174 | |                     Data,
[INFO] [stdout] 175 | |                 >,
[INFO] [stdout] 176 | |             ) -> Self::PackedTransformation<Data> {
[INFO] [stdout]     | |_________________________________________________^ cannot normalize `<OP as Add>::Output`
[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: required by a bound in `PackedField`
[INFO] [stdout]    --> /opt/rustwide/cargo-home/git/checkouts/binius64-733e5504f277ebd2/5540283/verifier/field/src/packed.rs:41:8
[INFO] [stdout]     |
[INFO] [stdout]  34 | pub trait PackedField:
[INFO] [stdout]     |           ----------- required by a bound in this trait
[INFO] [stdout] ...
[INFO] [stdout]  41 |     + Add<Output = Self>
[INFO] [stdout]     |           ^^^^^^^^^^^^^ required by this bound in `PackedField`
[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[E0283]: type annotations needed: cannot satisfy `PackedPrimitiveType<u64, aes_field::AESTowerField8b>: PackedTransformationFactory<OP>`
[INFO] [stdout]    --> /opt/rustwide/cargo-home/git/checkouts/binius64-733e5504f277ebd2/5540283/verifier/field/src/arch/portable/packed_macros.rs:220:39
[INFO] [stdout]     |
[INFO] [stdout] 220 |               impl_transformation_with_strategy!($name, $crate::arch::$strategy);
[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: cannot satisfy `PackedPrimitiveType<u64, aes_field::AESTowerField8b>: PackedTransformationFactory<OP>`
[INFO] [stdout] help: the trait `PackedTransformationFactory<OP>` is not implemented for `PackedPrimitiveType<u64, aes_field::AESTowerField8b>`
[INFO] [stdout]       but trait `PackedTransformationFactory<_>` is implemented for it
[INFO] [stdout]    --> /opt/rustwide/cargo-home/git/checkouts/binius64-733e5504f277ebd2/5540283/verifier/field/src/arithmetic_traits.rs:157:3
[INFO] [stdout]     |
[INFO] [stdout] 157 | /         impl<OP> $crate::linear_transformation::PackedTransformationFactory<OP> for $name
[INFO] [stdout] 158 | |         where
[INFO] [stdout] 159 | |             OP: $crate::packed::PackedBinaryField
[INFO] [stdout] 160 | |                 + $crate::underlier::WithUnderlier<
[INFO] [stdout] 161 | |                     Underlier = <$name as $crate::underlier::WithUnderlier>::Underlier,
[INFO] [stdout] 162 | |                 >,
[INFO] [stdout] 163 | |             Self: $crate::arithmetic_traits::TaggedPackedTransformationFactory<$strategy, OP>,
[INFO] [stdout]     | |______________________________________________________________________________________________^
[INFO] [stdout]     |
[INFO] [stdout]    ::: /opt/rustwide/cargo-home/git/checkouts/binius64-733e5504f277ebd2/5540283/verifier/field/src/arch/portable/packed_aes_64.rs:18:1
[INFO] [stdout]     |
[INFO] [stdout]  18 | / define_packed_binary_fields!(
[INFO] [stdout]  19 | |     underlier: u64,
[INFO] [stdout]  20 | |     packed_fields: [
[INFO] [stdout]  21 | |         packed_field {
[INFO] [stdout] ...   |
[INFO] [stdout]  32 | | );
[INFO] [stdout]     | |_- in this macro invocation
[INFO] [stdout]     = note: this error originates in the macro `impl_transformation` 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[E0284]: type annotations needed: cannot normalize `<PackedPrimitiveType<u8, aes_field::AESTowerField8b> as PackedField>::Scalar`
[INFO] [stdout]    --> /opt/rustwide/cargo-home/git/checkouts/binius64-733e5504f277ebd2/5540283/verifier/field/src/arithmetic_traits.rs:171:4
[INFO] [stdout]     |
[INFO] [stdout] 171 | /             fn make_packed_transformation<Data: AsRef<[OP::Scalar]> + Sync>(
[INFO] [stdout] 172 | |                 transformation: $crate::linear_transformation::FieldLinearTransformation<
[INFO] [stdout] 173 | |                     OP::Scalar,
[INFO] [stdout] 174 | |                     Data,
[INFO] [stdout] 175 | |                 >,
[INFO] [stdout] 176 | |             ) -> Self::PackedTransformation<Data> {
[INFO] [stdout]     | |_________________________________________________^ cannot normalize `<PackedPrimitiveType<u8, aes_field::AESTowerField8b> as PackedField>::Scalar`
[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[E0284]: type annotations needed: cannot normalize `<OP as Add>::Output`
[INFO] [stdout]    --> /opt/rustwide/cargo-home/git/checkouts/binius64-733e5504f277ebd2/5540283/verifier/field/src/arithmetic_traits.rs:171:4
[INFO] [stdout]     |
[INFO] [stdout] 171 | /             fn make_packed_transformation<Data: AsRef<[OP::Scalar]> + Sync>(
[INFO] [stdout] 172 | |                 transformation: $crate::linear_transformation::FieldLinearTransformation<
[INFO] [stdout] 173 | |                     OP::Scalar,
[INFO] [stdout] 174 | |                     Data,
[INFO] [stdout] 175 | |                 >,
[INFO] [stdout] 176 | |             ) -> Self::PackedTransformation<Data> {
[INFO] [stdout]     | |_________________________________________________^ cannot normalize `<OP as Add>::Output`
[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: required by a bound in `PackedField`
[INFO] [stdout]    --> /opt/rustwide/cargo-home/git/checkouts/binius64-733e5504f277ebd2/5540283/verifier/field/src/packed.rs:41:8
[INFO] [stdout]     |
[INFO] [stdout]  34 | pub trait PackedField:
[INFO] [stdout]     |           ----------- required by a bound in this trait
[INFO] [stdout] ...
[INFO] [stdout]  41 |     + Add<Output = Self>
[INFO] [stdout]     |           ^^^^^^^^^^^^^ required by this bound in `PackedField`
[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[E0283]: type annotations needed: cannot satisfy `PackedPrimitiveType<u8, aes_field::AESTowerField8b>: PackedTransformationFactory<OP>`
[INFO] [stdout]    --> /opt/rustwide/cargo-home/git/checkouts/binius64-733e5504f277ebd2/5540283/verifier/field/src/arch/portable/packed_macros.rs:220:39
[INFO] [stdout]     |
[INFO] [stdout] 220 |               impl_transformation_with_strategy!($name, $crate::arch::$strategy);
[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: cannot satisfy `PackedPrimitiveType<u8, aes_field::AESTowerField8b>: PackedTransformationFactory<OP>`
[INFO] [stdout] help: the trait `PackedTransformationFactory<OP>` is not implemented for `PackedPrimitiveType<u8, aes_field::AESTowerField8b>`
[INFO] [stdout]       but trait `PackedTransformationFactory<_>` is implemented for it
[INFO] [stdout]    --> /opt/rustwide/cargo-home/git/checkouts/binius64-733e5504f277ebd2/5540283/verifier/field/src/arithmetic_traits.rs:157:3
[INFO] [stdout]     |
[INFO] [stdout] 157 | /         impl<OP> $crate::linear_transformation::PackedTransformationFactory<OP> for $name
[INFO] [stdout] 158 | |         where
[INFO] [stdout] 159 | |             OP: $crate::packed::PackedBinaryField
[INFO] [stdout] 160 | |                 + $crate::underlier::WithUnderlier<
[INFO] [stdout] 161 | |                     Underlier = <$name as $crate::underlier::WithUnderlier>::Underlier,
[INFO] [stdout] 162 | |                 >,
[INFO] [stdout] 163 | |             Self: $crate::arithmetic_traits::TaggedPackedTransformationFactory<$strategy, OP>,
[INFO] [stdout]     | |______________________________________________________________________________________________^
[INFO] [stdout]     |
[INFO] [stdout]    ::: /opt/rustwide/cargo-home/git/checkouts/binius64-733e5504f277ebd2/5540283/verifier/field/src/arch/portable/packed_aes_8.rs:12:1
[INFO] [stdout]     |
[INFO] [stdout]  12 | / define_packed_binary_fields!(
[INFO] [stdout]  13 | |     underlier: u8,
[INFO] [stdout]  14 | |     packed_fields: [
[INFO] [stdout]  15 | |         packed_field {
[INFO] [stdout] ...   |
[INFO] [stdout]  26 | | );
[INFO] [stdout]     | |_- in this macro invocation
[INFO] [stdout]     = note: this error originates in the macro `impl_transformation` 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[E0284]: type annotations needed: cannot normalize `<PackedPrimitiveType<u128, ghash::BinaryField128bGhash> as PackedField>::Scalar`
[INFO] [stdout]    --> /opt/rustwide/cargo-home/git/checkouts/binius64-733e5504f277ebd2/5540283/verifier/field/src/arithmetic_traits.rs:171:4
[INFO] [stdout]     |
[INFO] [stdout] 171 | /             fn make_packed_transformation<Data: AsRef<[OP::Scalar]> + Sync>(
[INFO] [stdout] 172 | |                 transformation: $crate::linear_transformation::FieldLinearTransformation<
[INFO] [stdout] 173 | |                     OP::Scalar,
[INFO] [stdout] 174 | |                     Data,
[INFO] [stdout] 175 | |                 >,
[INFO] [stdout] 176 | |             ) -> Self::PackedTransformation<Data> {
[INFO] [stdout]     | |_________________________________________________^ cannot normalize `<PackedPrimitiveType<u128, ghash::BinaryField128bGhash> as PackedField>::Scalar`
[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[E0284]: type annotations needed: cannot normalize `<OP as Add>::Output`
[INFO] [stdout]    --> /opt/rustwide/cargo-home/git/checkouts/binius64-733e5504f277ebd2/5540283/verifier/field/src/arithmetic_traits.rs:171:4
[INFO] [stdout]     |
[INFO] [stdout] 171 | /             fn make_packed_transformation<Data: AsRef<[OP::Scalar]> + Sync>(
[INFO] [stdout] 172 | |                 transformation: $crate::linear_transformation::FieldLinearTransformation<
[INFO] [stdout] 173 | |                     OP::Scalar,
[INFO] [stdout] 174 | |                     Data,
[INFO] [stdout] 175 | |                 >,
[INFO] [stdout] 176 | |             ) -> Self::PackedTransformation<Data> {
[INFO] [stdout]     | |_________________________________________________^ cannot normalize `<OP as Add>::Output`
[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: required by a bound in `PackedField`
[INFO] [stdout]    --> /opt/rustwide/cargo-home/git/checkouts/binius64-733e5504f277ebd2/5540283/verifier/field/src/packed.rs:41:8
[INFO] [stdout]     |
[INFO] [stdout]  34 | pub trait PackedField:
[INFO] [stdout]     |           ----------- required by a bound in this trait
[INFO] [stdout] ...
[INFO] [stdout]  41 |     + Add<Output = Self>
[INFO] [stdout]     |           ^^^^^^^^^^^^^ required by this bound in `PackedField`
[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[E0283]: type annotations needed: cannot satisfy `PackedPrimitiveType<u128, ghash::BinaryField128bGhash>: PackedTransformationFactory<OP>`
[INFO] [stdout]    --> /opt/rustwide/cargo-home/git/checkouts/binius64-733e5504f277ebd2/5540283/verifier/field/src/arch/portable/packed_ghash_128.rs:138:36
[INFO] [stdout]     |
[INFO] [stdout] 138 | impl_transformation_with_strategy!(PackedBinaryGhash1x128b, PairwiseStrategy);
[INFO] [stdout]     |                                    ^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout]     = note: cannot satisfy `PackedPrimitiveType<u128, ghash::BinaryField128bGhash>: PackedTransformationFactory<OP>`
[INFO] [stdout] help: the trait `PackedTransformationFactory<OP>` is not implemented for `PackedPrimitiveType<u128, ghash::BinaryField128bGhash>`
[INFO] [stdout]       but trait `PackedTransformationFactory<_>` is implemented for it
[INFO] [stdout]    --> /opt/rustwide/cargo-home/git/checkouts/binius64-733e5504f277ebd2/5540283/verifier/field/src/arithmetic_traits.rs:157:3
[INFO] [stdout]     |
[INFO] [stdout] 157 | /         impl<OP> $crate::linear_transformation::PackedTransformationFactory<OP> for $name
[INFO] [stdout] 158 | |         where
[INFO] [stdout] 159 | |             OP: $crate::packed::PackedBinaryField
[INFO] [stdout] 160 | |                 + $crate::underlier::WithUnderlier<
[INFO] [stdout] 161 | |                     Underlier = <$name as $crate::underlier::WithUnderlier>::Underlier,
[INFO] [stdout] 162 | |                 >,
[INFO] [stdout] 163 | |             Self: $crate::arithmetic_traits::TaggedPackedTransformationFactory<$strategy, OP>,
[INFO] [stdout]     | |______________________________________________________________________________________________^
[INFO] [stdout]     |
[INFO] [stdout]    ::: /opt/rustwide/cargo-home/git/checkouts/binius64-733e5504f277ebd2/5540283/verifier/field/src/arch/portable/packed_ghash_128.rs:138:1
[INFO] [stdout]     |
[INFO] [stdout] 138 |   impl_transformation_with_strategy!(PackedBinaryGhash1x128b, PairwiseStrategy);
[INFO] [stdout]     |   ----------------------------------------------------------------------------- in this macro invocation
[INFO] [stdout]     = 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[E0284]: type annotations needed: cannot normalize `<PackedPrimitiveType<M128, binary_field::BinaryField1b> as PackedField>::Scalar`
[INFO] [stdout]    --> /opt/rustwide/cargo-home/git/checkouts/binius64-733e5504f277ebd2/5540283/verifier/field/src/arithmetic_traits.rs:171:4
[INFO] [stdout]     |
[INFO] [stdout] 171 | /             fn make_packed_transformation<Data: AsRef<[OP::Scalar]> + Sync>(
[INFO] [stdout] 172 | |                 transformation: $crate::linear_transformation::FieldLinearTransformation<
[INFO] [stdout] 173 | |                     OP::Scalar,
[INFO] [stdout] 174 | |                     Data,
[INFO] [stdout] 175 | |                 >,
[INFO] [stdout] 176 | |             ) -> Self::PackedTransformation<Data> {
[INFO] [stdout]     | |_________________________________________________^ cannot normalize `<PackedPrimitiveType<M128, binary_field::BinaryField1b> as PackedField>::Scalar`
[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[E0284]: type annotations needed: cannot normalize `<OP as Add>::Output`
[INFO] [stdout]    --> /opt/rustwide/cargo-home/git/checkouts/binius64-733e5504f277ebd2/5540283/verifier/field/src/arithmetic_traits.rs:171:4
[INFO] [stdout]     |
[INFO] [stdout] 171 | /             fn make_packed_transformation<Data: AsRef<[OP::Scalar]> + Sync>(
[INFO] [stdout] 172 | |                 transformation: $crate::linear_transformation::FieldLinearTransformation<
[INFO] [stdout] 173 | |                     OP::Scalar,
[INFO] [stdout] 174 | |                     Data,
[INFO] [stdout] 175 | |                 >,
[INFO] [stdout] 176 | |             ) -> Self::PackedTransformation<Data> {
[INFO] [stdout]     | |_________________________________________________^ cannot normalize `<OP as Add>::Output`
[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: required by a bound in `PackedField`
[INFO] [stdout]    --> /opt/rustwide/cargo-home/git/checkouts/binius64-733e5504f277ebd2/5540283/verifier/field/src/packed.rs:41:8
[INFO] [stdout]     |
[INFO] [stdout]  34 | pub trait PackedField:
[INFO] [stdout]     |           ----------- required by a bound in this trait
[INFO] [stdout] ...
[INFO] [stdout]  41 |     + Add<Output = Self>
[INFO] [stdout]     |           ^^^^^^^^^^^^^ required by this bound in `PackedField`
[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[E0283]: type annotations needed: cannot satisfy `PackedPrimitiveType<M128, binary_field::BinaryField1b>: PackedTransformationFactory<OP>`
[INFO] [stdout]    --> /opt/rustwide/cargo-home/git/checkouts/binius64-733e5504f277ebd2/5540283/verifier/field/src/arch/x86_64/packed_macros.rs:55:38
[INFO] [stdout]     |
[INFO] [stdout]  55 |           impl_transformation_with_strategy!($name, $crate::arch::$strategy);
[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: cannot satisfy `PackedPrimitiveType<M128, binary_field::BinaryField1b>: PackedTransformationFactory<OP>`
[INFO] [stdout] help: the trait `PackedTransformationFactory<OP>` is not implemented for `PackedPrimitiveType<M128, binary_field::BinaryField1b>`
[INFO] [stdout]       but trait `PackedTransformationFactory<_>` is implemented for it
[INFO] [stdout]    --> /opt/rustwide/cargo-home/git/checkouts/binius64-733e5504f277ebd2/5540283/verifier/field/src/arithmetic_traits.rs:157:3
[INFO] [stdout]     |
[INFO] [stdout] 157 | /         impl<OP> $crate::linear_transformation::PackedTransformationFactory<OP> for $name
[INFO] [stdout] 158 | |         where
[INFO] [stdout] 159 | |             OP: $crate::packed::PackedBinaryField
[INFO] [stdout] 160 | |                 + $crate::underlier::WithUnderlier<
[INFO] [stdout] 161 | |                     Underlier = <$name as $crate::underlier::WithUnderlier>::Underlier,
[INFO] [stdout] 162 | |                 >,
[INFO] [stdout] 163 | |             Self: $crate::arithmetic_traits::TaggedPackedTransformationFactory<$strategy, OP>,
[INFO] [stdout]     | |______________________________________________________________________________________________^
[INFO] [stdout]     |
[INFO] [stdout]    ::: /opt/rustwide/cargo-home/git/checkouts/binius64-733e5504f277ebd2/5540283/verifier/field/src/arch/x86_64/packed_128.rs:13:1
[INFO] [stdout]     |
[INFO] [stdout]  13 | / define_packed_binary_fields!(
[INFO] [stdout]  14 | |     underlier: M128,
[INFO] [stdout]  15 | |     packed_fields: [
[INFO] [stdout]  16 | |         packed_field {
[INFO] [stdout] ...   |
[INFO] [stdout]  27 | | );
[INFO] [stdout]     | |_- in this macro invocation
[INFO] [stdout]     = note: this error originates in the macro `impl_transformation` 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[E0284]: type annotations needed: cannot normalize `<PackedPrimitiveType<M128, aes_field::AESTowerField8b> as PackedField>::Scalar`
[INFO] [stdout]    --> /opt/rustwide/cargo-home/git/checkouts/binius64-733e5504f277ebd2/5540283/verifier/field/src/arithmetic_traits.rs:171:4
[INFO] [stdout]     |
[INFO] [stdout] 171 | /             fn make_packed_transformation<Data: AsRef<[OP::Scalar]> + Sync>(
[INFO] [stdout] 172 | |                 transformation: $crate::linear_transformation::FieldLinearTransformation<
[INFO] [stdout] 173 | |                     OP::Scalar,
[INFO] [stdout] 174 | |                     Data,
[INFO] [stdout] 175 | |                 >,
[INFO] [stdout] 176 | |             ) -> Self::PackedTransformation<Data> {
[INFO] [stdout]     | |_________________________________________________^ cannot normalize `<PackedPrimitiveType<M128, aes_field::AESTowerField8b> as PackedField>::Scalar`
[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[E0284]: type annotations needed: cannot normalize `<OP as Add>::Output`
[INFO] [stdout]    --> /opt/rustwide/cargo-home/git/checkouts/binius64-733e5504f277ebd2/5540283/verifier/field/src/arithmetic_traits.rs:171:4
[INFO] [stdout]     |
[INFO] [stdout] 171 | /             fn make_packed_transformation<Data: AsRef<[OP::Scalar]> + Sync>(
[INFO] [stdout] 172 | |                 transformation: $crate::linear_transformation::FieldLinearTransformation<
[INFO] [stdout] 173 | |                     OP::Scalar,
[INFO] [stdout] 174 | |                     Data,
[INFO] [stdout] 175 | |                 >,
[INFO] [stdout] 176 | |             ) -> Self::PackedTransformation<Data> {
[INFO] [stdout]     | |_________________________________________________^ cannot normalize `<OP as Add>::Output`
[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: required by a bound in `PackedField`
[INFO] [stdout]    --> /opt/rustwide/cargo-home/git/checkouts/binius64-733e5504f277ebd2/5540283/verifier/field/src/packed.rs:41:8
[INFO] [stdout]     |
[INFO] [stdout]  34 | pub trait PackedField:
[INFO] [stdout]     |           ----------- required by a bound in this trait
[INFO] [stdout] ...
[INFO] [stdout]  41 |     + Add<Output = Self>
[INFO] [stdout]     |           ^^^^^^^^^^^^^ required by this bound in `PackedField`
[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[E0283]: type annotations needed: cannot satisfy `PackedPrimitiveType<M128, aes_field::AESTowerField8b>: PackedTransformationFactory<OP>`
[INFO] [stdout]    --> /opt/rustwide/cargo-home/git/checkouts/binius64-733e5504f277ebd2/5540283/verifier/field/src/arch/x86_64/packed_macros.rs:50:40
[INFO] [stdout]     |
[INFO] [stdout]  50 |                   impl_transformation_with_strategy!($name, $crate::arch::$fallback);
[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: cannot satisfy `PackedPrimitiveType<M128, aes_field::AESTowerField8b>: PackedTransformationFactory<OP>`
[INFO] [stdout] help: the trait `PackedTransformationFactory<OP>` is not implemented for `PackedPrimitiveType<M128, aes_field::AESTowerField8b>`
[INFO] [stdout]       but trait `PackedTransformationFactory<_>` is implemented for it
[INFO] [stdout]    --> /opt/rustwide/cargo-home/git/checkouts/binius64-733e5504f277ebd2/5540283/verifier/field/src/arithmetic_traits.rs:157:3
[INFO] [stdout]     |
[INFO] [stdout] 157 | /         impl<OP> $crate::linear_transformation::PackedTransformationFactory<OP> for $name
[INFO] [stdout] 158 | |         where
[INFO] [stdout] 159 | |             OP: $crate::packed::PackedBinaryField
[INFO] [stdout] 160 | |                 + $crate::underlier::WithUnderlier<
[INFO] [stdout] 161 | |                     Underlier = <$name as $crate::underlier::WithUnderlier>::Underlier,
[INFO] [stdout] 162 | |                 >,
[INFO] [stdout] 163 | |             Self: $crate::arithmetic_traits::TaggedPackedTransformationFactory<$strategy, OP>,
[INFO] [stdout]     | |______________________________________________________________________________________________^
[INFO] [stdout]     |
[INFO] [stdout]    ::: /opt/rustwide/cargo-home/git/checkouts/binius64-733e5504f277ebd2/5540283/verifier/field/src/arch/x86_64/packed_aes_128.rs:14:1
[INFO] [stdout]     |
[INFO] [stdout]  14 | / define_packed_binary_fields!(
[INFO] [stdout]  15 | |     underlier: M128,
[INFO] [stdout]  16 | |     packed_fields: [
[INFO] [stdout]  17 | |         packed_field {
[INFO] [stdout] ...   |
[INFO] [stdout]  28 | | );
[INFO] [stdout]     | |_- in this macro invocation
[INFO] [stdout]     = note: this error originates in the macro `impl_transformation` 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[E0284]: type annotations needed: cannot normalize `<PackedPrimitiveType<M128, ghash::BinaryField128bGhash> as PackedField>::Scalar`
[INFO] [stdout]    --> /opt/rustwide/cargo-home/git/checkouts/binius64-733e5504f277ebd2/5540283/verifier/field/src/arithmetic_traits.rs:171:4
[INFO] [stdout]     |
[INFO] [stdout] 171 | /             fn make_packed_transformation<Data: AsRef<[OP::Scalar]> + Sync>(
[INFO] [stdout] 172 | |                 transformation: $crate::linear_transformation::FieldLinearTransformation<
[INFO] [stdout] 173 | |                     OP::Scalar,
[INFO] [stdout] 174 | |                     Data,
[INFO] [stdout] 175 | |                 >,
[INFO] [stdout] 176 | |             ) -> Self::PackedTransformation<Data> {
[INFO] [stdout]     | |_________________________________________________^ cannot normalize `<PackedPrimitiveType<M128, ghash::BinaryField128bGhash> as PackedField>::Scalar`
[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[E0284]: type annotations needed: cannot normalize `<OP as Add>::Output`
[INFO] [stdout]    --> /opt/rustwide/cargo-home/git/checkouts/binius64-733e5504f277ebd2/5540283/verifier/field/src/arithmetic_traits.rs:171:4
[INFO] [stdout]     |
[INFO] [stdout] 171 | /             fn make_packed_transformation<Data: AsRef<[OP::Scalar]> + Sync>(
[INFO] [stdout] 172 | |                 transformation: $crate::linear_transformation::FieldLinearTransformation<
[INFO] [stdout] 173 | |                     OP::Scalar,
[INFO] [stdout] 174 | |                     Data,
[INFO] [stdout] 175 | |                 >,
[INFO] [stdout] 176 | |             ) -> Self::PackedTransformation<Data> {
[INFO] [stdout]     | |_________________________________________________^ cannot normalize `<OP as Add>::Output`
[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: required by a bound in `PackedField`
[INFO] [stdout]    --> /opt/rustwide/cargo-home/git/checkouts/binius64-733e5504f277ebd2/5540283/verifier/field/src/packed.rs:41:8
[INFO] [stdout]     |
[INFO] [stdout]  34 | pub trait PackedField:
[INFO] [stdout]     |           ----------- required by a bound in this trait
[INFO] [stdout] ...
[INFO] [stdout]  41 |     + Add<Output = Self>
[INFO] [stdout]     |           ^^^^^^^^^^^^^ required by this bound in `PackedField`
[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[E0283]: type annotations needed: cannot satisfy `PackedPrimitiveType<M128, ghash::BinaryField128bGhash>: PackedTransformationFactory<OP>`
[INFO] [stdout]    --> /opt/rustwide/cargo-home/git/checkouts/binius64-733e5504f277ebd2/5540283/verifier/field/src/arch/x86_64/packed_ghash_128.rs:109:4
[INFO] [stdout]     |
[INFO] [stdout] 109 |             PackedBinaryGhash1x128b,
[INFO] [stdout]     |             ^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout]     = note: cannot satisfy `PackedPrimitiveType<M128, ghash::BinaryField128bGhash>: PackedTransformationFactory<OP>`
[INFO] [stdout] help: the trait `PackedTransformationFactory<OP>` is not implemented for `PackedPrimitiveType<M128, ghash::BinaryField128bGhash>`
[INFO] [stdout]       but trait `PackedTransformationFactory<_>` is implemented for it
[INFO] [stdout]    --> /opt/rustwide/cargo-home/git/checkouts/binius64-733e5504f277ebd2/5540283/verifier/field/src/arithmetic_traits.rs:157:3
[INFO] [stdout]     |
[INFO] [stdout] 157 | /         impl<OP> $crate::linear_transformation::PackedTransformationFactory<OP> for $name
[INFO] [stdout] 158 | |         where
[INFO] [stdout] 159 | |             OP: $crate::packed::PackedBinaryField
[INFO] [stdout] 160 | |                 + $crate::underlier::WithUnderlier<
[INFO] [stdout] 161 | |                     Underlier = <$name as $crate::underlier::WithUnderlier>::Underlier,
[INFO] [stdout] 162 | |                 >,
[INFO] [stdout] 163 | |             Self: $crate::arithmetic_traits::TaggedPackedTransformationFactory<$strategy, OP>,
[INFO] [stdout]     | |______________________________________________________________________________________________^
[INFO] [stdout]     |
[INFO] [stdout]    ::: /opt/rustwide/cargo-home/git/checkouts/binius64-733e5504f277ebd2/5540283/verifier/field/src/arch/x86_64/packed_ghash_128.rs:108:3
[INFO] [stdout]     |
[INFO] [stdout] 108 | /         crate::arithmetic_traits::impl_transformation_with_strategy!(
[INFO] [stdout] 109 | |             PackedBinaryGhash1x128b,
[INFO] [stdout] 110 | |             crate::arch::SimdStrategy
[INFO] [stdout] 111 | |         );
[INFO] [stdout]     | |_________- in this macro invocation
[INFO] [stdout]     = 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[E0283]: type annotations needed: cannot satisfy `PackedPrimitiveType<small_uint::SmallU<1>, binary_field::BinaryField1b>: PackedBinaryField`
[INFO] [stdout]    --> /opt/rustwide/cargo-home/git/checkouts/binius64-733e5504f277ebd2/5540283/verifier/field/src/arithmetic_traits.rs:165:4
[INFO] [stdout]     |
[INFO] [stdout] 165 |             type PackedTransformation<Data: AsRef<[OP::Scalar]> + Sync> =
[INFO] [stdout]     |             ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout]    ::: /opt/rustwide/cargo-home/git/checkouts/binius64-733e5504f277ebd2/5540283/verifier/field/src/arch/portable/packed_1.rs:30:1
[INFO] [stdout]     |
[INFO] [stdout]  30 | impl_transformation_with_strategy!(PackedBinaryField1x1b, PairwiseStrategy);
[INFO] [stdout]     | --------------------------------------------------------------------------- in this macro invocation
[INFO] [stdout]     |
[INFO] [stdout] note: multiple `impl`s or `where` clauses satisfying `PackedPrimitiveType<small_uint::SmallU<1>, binary_field::BinaryField1b>: PackedBinaryField` found
[INFO] [stdout]    --> /opt/rustwide/cargo-home/git/checkouts/binius64-733e5504f277ebd2/5540283/verifier/field/src/arithmetic_traits.rs:163:10
[INFO] [stdout]     |
[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]    ::: /opt/rustwide/cargo-home/git/checkouts/binius64-733e5504f277ebd2/5540283/verifier/field/src/packed.rs:616:1
[INFO] [stdout]     |
[INFO] [stdout] 616 | impl<PT> PackedBinaryField for PT where PT: PackedField<Scalar: BinaryField> {}
[INFO] [stdout]     | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] note: required by a bound in `TaggedPackedTransformationFactory`
[INFO] [stdout]    --> /opt/rustwide/cargo-home/git/checkouts/binius64-733e5504f277ebd2/5540283/verifier/field/src/arithmetic_traits.rs:144:60
[INFO] [stdout]     |
[INFO] [stdout] 144 | pub trait TaggedPackedTransformationFactory<Strategy, OP>: PackedBinaryField
[INFO] [stdout]     |                                                            ^^^^^^^^^^^^^^^^^ required by this bound in `TaggedPackedTransformationFactory`
[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[E0284]: type annotations needed: cannot normalize `<OP as Add>::Output`
[INFO] [stdout]    --> /opt/rustwide/cargo-home/git/checkouts/binius64-733e5504f277ebd2/5540283/verifier/field/src/arithmetic_traits.rs:172:21
[INFO] [stdout]     |
[INFO] [stdout] 172 |                   transformation: $crate::linear_transformation::FieldLinearTransformation<
[INFO] [stdout]     |  _________________________________^
[INFO] [stdout] 173 | |                     OP::Scalar,
[INFO] [stdout] 174 | |                     Data,
[INFO] [stdout] 175 | |                 >,
[INFO] [stdout]     | |_________________^ cannot normalize `<OP as Add>::Output`
[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: required by a bound in `PackedField`
[INFO] [stdout]    --> /opt/rustwide/cargo-home/git/checkouts/binius64-733e5504f277ebd2/5540283/verifier/field/src/packed.rs:41:8
[INFO] [stdout]     |
[INFO] [stdout]  34 | pub trait PackedField:
[INFO] [stdout]     |           ----------- required by a bound in this trait
[INFO] [stdout] ...
[INFO] [stdout]  41 |     + Add<Output = Self>
[INFO] [stdout]     |           ^^^^^^^^^^^^^ required by this bound in `PackedField`
[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[E0283]: type annotations needed: cannot satisfy `PackedPrimitiveType<u128, binary_field::BinaryField1b>: PackedBinaryField`
[INFO] [stdout]    --> /opt/rustwide/cargo-home/git/checkouts/binius64-733e5504f277ebd2/5540283/verifier/field/src/arithmetic_traits.rs:165:4
[INFO] [stdout]     |
[INFO] [stdout] 165 |               type PackedTransformation<Data: AsRef<[OP::Scalar]> + Sync> =
[INFO] [stdout]     |               ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout]    ::: /opt/rustwide/cargo-home/git/checkouts/binius64-733e5504f277ebd2/5540283/verifier/field/src/arch/portable/packed_128.rs:12:1
[INFO] [stdout]     |
[INFO] [stdout]  12 | / define_packed_binary_fields!(
[INFO] [stdout]  13 | |     underlier: u128,
[INFO] [stdout]  14 | |     packed_fields: [
[INFO] [stdout]  15 | |         packed_field {
[INFO] [stdout] ...   |
[INFO] [stdout]  26 | | );
[INFO] [stdout]     | |_- in this macro invocation
[INFO] [stdout]     |
[INFO] [stdout] note: multiple `impl`s or `where` clauses satisfying `PackedPrimitiveType<u128, binary_field::BinaryField1b>: PackedBinaryField` found
[INFO] [stdout]    --> /opt/rustwide/cargo-home/git/checkouts/binius64-733e5504f277ebd2/5540283/verifier/field/src/arithmetic_traits.rs:163:10
[INFO] [stdout]     |
[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]    ::: /opt/rustwide/cargo-home/git/checkouts/binius64-733e5504f277ebd2/5540283/verifier/field/src/packed.rs:616:1
[INFO] [stdout]     |
[INFO] [stdout] 616 |   impl<PT> PackedBinaryField for PT where PT: PackedField<Scalar: BinaryField> {}
[INFO] [stdout]     |   ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] note: required by a bound in `TaggedPackedTransformationFactory`
[INFO] [stdout]    --> /opt/rustwide/cargo-home/git/checkouts/binius64-733e5504f277ebd2/5540283/verifier/field/src/arithmetic_traits.rs:144:60
[INFO] [stdout]     |
[INFO] [stdout] 144 | pub trait TaggedPackedTransformationFactory<Strategy, OP>: PackedBinaryField
[INFO] [stdout]     |                                                            ^^^^^^^^^^^^^^^^^ required by this bound in `TaggedPackedTransformationFactory`
[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[E0284]: type annotations needed: cannot normalize `<OP as Add>::Output`
[INFO] [stdout]    --> /opt/rustwide/cargo-home/git/checkouts/binius64-733e5504f277ebd2/5540283/verifier/field/src/arithmetic_traits.rs:172:21
[INFO] [stdout]     |
[INFO] [stdout] 172 |                   transformation: $crate::linear_transformation::FieldLinearTransformation<
[INFO] [stdout]     |  _________________________________^
[INFO] [stdout] 173 | |                     OP::Scalar,
[INFO] [stdout] 174 | |                     Data,
[INFO] [stdout] 175 | |                 >,
[INFO] [stdout]     | |_________________^ cannot normalize `<OP as Add>::Output`
[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: required by a bound in `PackedField`
[INFO] [stdout]    --> /opt/rustwide/cargo-home/git/checkouts/binius64-733e5504f277ebd2/5540283/verifier/field/src/packed.rs:41:8
[INFO] [stdout]     |
[INFO] [stdout]  34 | pub trait PackedField:
[INFO] [stdout]     |           ----------- required by a bound in this trait
[INFO] [stdout] ...
[INFO] [stdout]  41 |     + Add<Output = Self>
[INFO] [stdout]     |           ^^^^^^^^^^^^^ required by this bound in `PackedField`
[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[E0283]: type annotations needed: cannot satisfy `PackedPrimitiveType<u16, binary_field::BinaryField1b>: PackedBinaryField`
[INFO] [stdout]    --> /opt/rustwide/cargo-home/git/checkouts/binius64-733e5504f277ebd2/5540283/verifier/field/src/arithmetic_traits.rs:165:4
[INFO] [stdout]     |
[INFO] [stdout] 165 |               type PackedTransformation<Data: AsRef<[OP::Scalar]> + Sync> =
[INFO] [stdout]     |               ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout]    ::: /opt/rustwide/cargo-home/git/checkouts/binius64-733e5504f277ebd2/5540283/verifier/field/src/arch/portable/packed_16.rs:12:1
[INFO] [stdout]     |
[INFO] [stdout]  12 | / define_packed_binary_fields!(
[INFO] [stdout]  13 | |     underlier: u16,
[INFO] [stdout]  14 | |     packed_fields: [
[INFO] [stdout]  15 | |         packed_field {
[INFO] [stdout] ...   |
[INFO] [stdout]  26 | | );
[INFO] [stdout]     | |_- in this macro invocation
[INFO] [stdout]     |
[INFO] [stdout] note: multiple `impl`s or `where` clauses satisfying `PackedPrimitiveType<u16, binary_field::BinaryField1b>: PackedBinaryField` found
[INFO] [stdout]    --> /opt/rustwide/cargo-home/git/checkouts/binius64-733e5504f277ebd2/5540283/verifier/field/src/arithmetic_traits.rs:163:10
[INFO] [stdout]     |
[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]    ::: /opt/rustwide/cargo-home/git/checkouts/binius64-733e5504f277ebd2/5540283/verifier/field/src/packed.rs:616:1
[INFO] [stdout]     |
[INFO] [stdout] 616 |   impl<PT> PackedBinaryField for PT where PT: PackedField<Scalar: BinaryField> {}
[INFO] [stdout]     |   ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] note: required by a bound in `TaggedPackedTransformationFactory`
[INFO] [stdout]    --> /opt/rustwide/cargo-home/git/checkouts/binius64-733e5504f277ebd2/5540283/verifier/field/src/arithmetic_traits.rs:144:60
[INFO] [stdout]     |
[INFO] [stdout] 144 | pub trait TaggedPackedTransformationFactory<Strategy, OP>: PackedBinaryField
[INFO] [stdout]     |                                                            ^^^^^^^^^^^^^^^^^ required by this bound in `TaggedPackedTransformationFactory`
[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[E0284]: type annotations needed: cannot normalize `<OP as Add>::Output`
[INFO] [stdout]    --> /opt/rustwide/cargo-home/git/checkouts/binius64-733e5504f277ebd2/5540283/verifier/field/src/arithmetic_traits.rs:172:21
[INFO] [stdout]     |
[INFO] [stdout] 172 |                   transformation: $crate::linear_transformation::FieldLinearTransformation<
[INFO] [stdout]     |  _________________________________^
[INFO] [stdout] 173 | |                     OP::Scalar,
[INFO] [stdout] 174 | |                     Data,
[INFO] [stdout] 175 | |                 >,
[INFO] [stdout]     | |_________________^ cannot normalize `<OP as Add>::Output`
[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: required by a bound in `PackedField`
[INFO] [stdout]    --> /opt/rustwide/cargo-home/git/checkouts/binius64-733e5504f277ebd2/5540283/verifier/field/src/packed.rs:41:8
[INFO] [stdout]     |
[INFO] [stdout]  34 | pub trait PackedField:
[INFO] [stdout]     |           ----------- required by a bound in this trait
[INFO] [stdout] ...
[INFO] [stdout]  41 |     + Add<Output = Self>
[INFO] [stdout]     |           ^^^^^^^^^^^^^ required by this bound in `PackedField`
[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[E0283]: type annotations needed: cannot satisfy `PackedPrimitiveType<small_uint::SmallU<2>, binary_field::BinaryField1b>: PackedBinaryField`
[INFO] [stdout]    --> /opt/rustwide/cargo-home/git/checkouts/binius64-733e5504f277ebd2/5540283/verifier/field/src/arithmetic_traits.rs:165:4
[INFO] [stdout]     |
[INFO] [stdout] 165 |               type PackedTransformation<Data: AsRef<[OP::Scalar]> + Sync> =
[INFO] [stdout]     |               ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout]    ::: /opt/rustwide/cargo-home/git/checkouts/binius64-733e5504f277ebd2/5540283/verifier/field/src/arch/portable/packed_2.rs:11:1
[INFO] [stdout]     |
[INFO] [stdout]  11 | / define_packed_binary_fields!(
[INFO] [stdout]  12 | |     underlier: U2,
[INFO] [stdout]  13 | |     packed_fields: [
[INFO] [stdout]  14 | |         packed_field {
[INFO] [stdout] ...   |
[INFO] [stdout]  25 | | );
[INFO] [stdout]     | |_- in this macro invocation
[INFO] [stdout]     |
[INFO] [stdout] note: multiple `impl`s or `where` clauses satisfying `PackedPrimitiveType<small_uint::SmallU<2>, binary_field::BinaryField1b>: PackedBinaryField` found
[INFO] [stdout]    --> /opt/rustwide/cargo-home/git/checkouts/binius64-733e5504f277ebd2/5540283/verifier/field/src/arithmetic_traits.rs:163:10
[INFO] [stdout]     |
[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]    ::: /opt/rustwide/cargo-home/git/checkouts/binius64-733e5504f277ebd2/5540283/verifier/field/src/packed.rs:616:1
[INFO] [stdout]     |
[INFO] [stdout] 616 |   impl<PT> PackedBinaryField for PT where PT: PackedField<Scalar: BinaryField> {}
[INFO] [stdout]     |   ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] note: required by a bound in `TaggedPackedTransformationFactory`
[INFO] [stdout]    --> /opt/rustwide/cargo-home/git/checkouts/binius64-733e5504f277ebd2/5540283/verifier/field/src/arithmetic_traits.rs:144:60
[INFO] [stdout]     |
[INFO] [stdout] 144 | pub trait TaggedPackedTransformationFactory<Strategy, OP>: PackedBinaryField
[INFO] [stdout]     |                                                            ^^^^^^^^^^^^^^^^^ required by this bound in `TaggedPackedTransformationFactory`
[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[E0284]: type annotations needed: cannot normalize `<OP as Add>::Output`
[INFO] [stdout]    --> /opt/rustwide/cargo-home/git/checkouts/binius64-733e5504f277ebd2/5540283/verifier/field/src/arithmetic_traits.rs:172:21
[INFO] [stdout]     |
[INFO] [stdout] 172 |                   transformation: $crate::linear_transformation::FieldLinearTransformation<
[INFO] [stdout]     |  _________________________________^
[INFO] [stdout] 173 | |                     OP::Scalar,
[INFO] [stdout] 174 | |                     Data,
[INFO] [stdout] 175 | |                 >,
[INFO] [stdout]     | |_________________^ cannot normalize `<OP as Add>::Output`
[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: required by a bound in `PackedField`
[INFO] [stdout]    --> /opt/rustwide/cargo-home/git/checkouts/binius64-733e5504f277ebd2/5540283/verifier/field/src/packed.rs:41:8
[INFO] [stdout]     |
[INFO] [stdout]  34 | pub trait PackedField:
[INFO] [stdout]     |           ----------- required by a bound in this trait
[INFO] [stdout] ...
[INFO] [stdout]  41 |     + Add<Output = Self>
[INFO] [stdout]     |           ^^^^^^^^^^^^^ required by this bound in `PackedField`
[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[E0283]: type annotations needed: cannot satisfy `PackedPrimitiveType<u32, binary_field::BinaryField1b>: PackedBinaryField`
[INFO] [stdout]    --> /opt/rustwide/cargo-home/git/checkouts/binius64-733e5504f277ebd2/5540283/verifier/field/src/arithmetic_traits.rs:165:4
[INFO] [stdout]     |
[INFO] [stdout] 165 |               type PackedTransformation<Data: AsRef<[OP::Scalar]> + Sync> =
[INFO] [stdout]     |               ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout]    ::: /opt/rustwide/cargo-home/git/checkouts/binius64-733e5504f277ebd2/5540283/verifier/field/src/arch/portable/packed_32.rs:12:1
[INFO] [stdout]     |
[INFO] [stdout]  12 | / define_packed_binary_fields!(
[INFO] [stdout]  13 | |     underlier: u32,
[INFO] [stdout]  14 | |     packed_fields: [
[INFO] [stdout]  15 | |         packed_field {
[INFO] [stdout] ...   |
[INFO] [stdout]  26 | | );
[INFO] [stdout]     | |_- in this macro invocation
[INFO] [stdout]     |
[INFO] [stdout] note: multiple `impl`s or `where` clauses satisfying `PackedPrimitiveType<u32, binary_field::BinaryField1b>: PackedBinaryField` found
[INFO] [stdout]    --> /opt/rustwide/cargo-home/git/checkouts/binius64-733e5504f277ebd2/5540283/verifier/field/src/arithmetic_traits.rs:163:10
[INFO] [stdout]     |
[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]    ::: /opt/rustwide/cargo-home/git/checkouts/binius64-733e5504f277ebd2/5540283/verifier/field/src/packed.rs:616:1
[INFO] [stdout]     |
[INFO] [stdout] 616 |   impl<PT> PackedBinaryField for PT where PT: PackedField<Scalar: BinaryField> {}
[INFO] [stdout]     |   ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] note: required by a bound in `TaggedPackedTransformationFactory`
[INFO] [stdout]    --> /opt/rustwide/cargo-home/git/checkouts/binius64-733e5504f277ebd2/5540283/verifier/field/src/arithmetic_traits.rs:144:60
[INFO] [stdout]     |
[INFO] [stdout] 144 | pub trait TaggedPackedTransformationFactory<Strategy, OP>: PackedBinaryField
[INFO] [stdout]     |                                                            ^^^^^^^^^^^^^^^^^ required by this bound in `TaggedPackedTransformationFactory`
[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[E0284]: type annotations needed: cannot normalize `<OP as Add>::Output`
[INFO] [stdout]    --> /opt/rustwide/cargo-home/git/checkouts/binius64-733e5504f277ebd2/5540283/verifier/field/src/arithmetic_traits.rs:172:21
[INFO] [stdout]     |
[INFO] [stdout] 172 |                   transformation: $crate::linear_transformation::FieldLinearTransformation<
[INFO] [stdout]     |  _________________________________^
[INFO] [stdout] 173 | |                     OP::Scalar,
[INFO] [stdout] 174 | |                     Data,
[INFO] [stdout] 175 | |                 >,
[INFO] [stdout]     | |_________________^ cannot normalize `<OP as Add>::Output`
[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: required by a bound in `PackedField`
[INFO] [stdout]    --> /opt/rustwide/cargo-home/git/checkouts/binius64-733e5504f277ebd2/5540283/verifier/field/src/packed.rs:41:8
[INFO] [stdout]     |
[INFO] [stdout]  34 | pub trait PackedField:
[INFO] [stdout]     |           ----------- required by a bound in this trait
[INFO] [stdout] ...
[INFO] [stdout]  41 |     + Add<Output = Self>
[INFO] [stdout]     |           ^^^^^^^^^^^^^ required by this bound in `PackedField`
[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[E0283]: type annotations needed: cannot satisfy `PackedPrimitiveType<small_uint::SmallU<4>, binary_field::BinaryField1b>: PackedBinaryField`
[INFO] [stdout]    --> /opt/rustwide/cargo-home/git/checkouts/binius64-733e5504f277ebd2/5540283/verifier/field/src/arithmetic_traits.rs:165:4
[INFO] [stdout]     |
[INFO] [stdout] 165 |               type PackedTransformation<Data: AsRef<[OP::Scalar]> + Sync> =
[INFO] [stdout]     |               ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout]    ::: /opt/rustwide/cargo-home/git/checkouts/binius64-733e5504f277ebd2/5540283/verifier/field/src/arch/portable/packed_4.rs:11:1
[INFO] [stdout]     |
[INFO] [stdout]  11 | / define_packed_binary_fields!(
[INFO] [stdout]  12 | |     underlier: U4,
[INFO] [stdout]  13 | |     packed_fields: [
[INFO] [stdout]  14 | |         packed_field {
[INFO] [stdout] ...   |
[INFO] [stdout]  25 | | );
[INFO] [stdout]     | |_- in this macro invocation
[INFO] [stdout]     |
[INFO] [stdout] note: multiple `impl`s or `where` clauses satisfying `PackedPrimitiveType<small_uint::SmallU<4>, binary_field::BinaryField1b>: PackedBinaryField` found
[INFO] [stdout]    --> /opt/rustwide/cargo-home/git/checkouts/binius64-733e5504f277ebd2/5540283/verifier/field/src/arithmetic_traits.rs:163:10
[INFO] [stdout]     |
[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]    ::: /opt/rustwide/cargo-home/git/checkouts/binius64-733e5504f277ebd2/5540283/verifier/field/src/packed.rs:616:1
[INFO] [stdout]     |
[INFO] [stdout] 616 |   impl<PT> PackedBinaryField for PT where PT: PackedField<Scalar: BinaryField> {}
[INFO] [stdout]     |   ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] note: required by a bound in `TaggedPackedTransformationFactory`
[INFO] [stdout]    --> /opt/rustwide/cargo-home/git/checkouts/binius64-733e5504f277ebd2/5540283/verifier/field/src/arithmetic_traits.rs:144:60
[INFO] [stdout]     |
[INFO] [stdout] 144 | pub trait TaggedPackedTransformationFactory<Strategy, OP>: PackedBinaryField
[INFO] [stdout]     |                                                            ^^^^^^^^^^^^^^^^^ required by this bound in `TaggedPackedTransformationFactory`
[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[E0284]: type annotations needed: cannot normalize `<OP as Add>::Output`
[INFO] [stdout]    --> /opt/rustwide/cargo-home/git/checkouts/binius64-733e5504f277ebd2/5540283/verifier/field/src/arithmetic_traits.rs:172:21
[INFO] [stdout]     |
[INFO] [stdout] 172 |                   transformation: $crate::linear_transformation::FieldLinearTransformation<
[INFO] [stdout]     |  _________________________________^
[INFO] [stdout] 173 | |                     OP::Scalar,
[INFO] [stdout] 174 | |                     Data,
[INFO] [stdout] 175 | |                 >,
[INFO] [stdout]     | |_________________^ cannot normalize `<OP as Add>::Output`
[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: required by a bound in `PackedField`
[INFO] [stdout]    --> /opt/rustwide/cargo-home/git/checkouts/binius64-733e5504f277ebd2/5540283/verifier/field/src/packed.rs:41:8
[INFO] [stdout]     |
[INFO] [stdout]  34 | pub trait PackedField:
[INFO] [stdout]     |           ----------- required by a bound in this trait
[INFO] [stdout] ...
[INFO] [stdout]  41 |     + Add<Output = Self>
[INFO] [stdout]     |           ^^^^^^^^^^^^^ required by this bound in `PackedField`
[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[E0283]: type annotations needed: cannot satisfy `PackedPrimitiveType<u64, binary_field::BinaryField1b>: PackedBinaryField`
[INFO] [stdout]    --> /opt/rustwide/cargo-home/git/checkouts/binius64-733e5504f277ebd2/5540283/verifier/field/src/arithmetic_traits.rs:165:4
[INFO] [stdout]     |
[INFO] [stdout] 165 |               type PackedTransformation<Data: AsRef<[OP::Scalar]> + Sync> =
[INFO] [stdout]     |               ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout]    ::: /opt/rustwide/cargo-home/git/checkouts/binius64-733e5504f277ebd2/5540283/verifier/field/src/arch/portable/packed_64.rs:12:1
[INFO] [stdout]     |
[INFO] [stdout]  12 | / define_packed_binary_fields!(
[INFO] [stdout]  13 | |     underlier: u64,
[INFO] [stdout]  14 | |     packed_fields: [
[INFO] [stdout]  15 | |         packed_field {
[INFO] [stdout] ...   |
[INFO] [stdout]  26 | | );
[INFO] [stdout]     | |_- in this macro invocation
[INFO] [stdout]     |
[INFO] [stdout] note: multiple `impl`s or `where` clauses satisfying `PackedPrimitiveType<u64, binary_field::BinaryField1b>: PackedBinaryField` found
[INFO] [stdout]    --> /opt/rustwide/cargo-home/git/checkouts/binius64-733e5504f277ebd2/5540283/verifier/field/src/arithmetic_traits.rs:163:10
[INFO] [stdout]     |
[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]    ::: /opt/rustwide/cargo-home/git/checkouts/binius64-733e5504f277ebd2/5540283/verifier/field/src/packed.rs:616:1
[INFO] [stdout]     |
[INFO] [stdout] 616 |   impl<PT> PackedBinaryField for PT where PT: PackedField<Scalar: BinaryField> {}
[INFO] [stdout]     |   ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] note: required by a bound in `TaggedPackedTransformationFactory`
[INFO] [stdout]    --> /opt/rustwide/cargo-home/git/checkouts/binius64-733e5504f277ebd2/5540283/verifier/field/src/arithmetic_traits.rs:144:60
[INFO] [stdout]     |
[INFO] [stdout] 144 | pub trait TaggedPackedTransformationFactory<Strategy, OP>: PackedBinaryField
[INFO] [stdout]     |                                                            ^^^^^^^^^^^^^^^^^ required by this bound in `TaggedPackedTransformationFactory`
[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[E0284]: type annotations needed: cannot normalize `<OP as Add>::Output`
[INFO] [stdout]    --> /opt/rustwide/cargo-home/git/checkouts/binius64-733e5504f277ebd2/5540283/verifier/field/src/arithmetic_traits.rs:172:21
[INFO] [stdout]     |
[INFO] [stdout] 172 |                   transformation: $crate::linear_transformation::FieldLinearTransformation<
[INFO] [stdout]     |  _________________________________^
[INFO] [stdout] 173 | |                     OP::Scalar,
[INFO] [stdout] 174 | |                     Data,
[INFO] [stdout] 175 | |                 >,
[INFO] [stdout]     | |_________________^ cannot normalize `<OP as Add>::Output`
[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: required by a bound in `PackedField`
[INFO] [stdout]    --> /opt/rustwide/cargo-home/git/checkouts/binius64-733e5504f277ebd2/5540283/verifier/field/src/packed.rs:41:8
[INFO] [stdout]     |
[INFO] [stdout]  34 | pub trait PackedField:
[INFO] [stdout]     |           ----------- required by a bound in this trait
[INFO] [stdout] ...
[INFO] [stdout]  41 |     + Add<Output = Self>
[INFO] [stdout]     |           ^^^^^^^^^^^^^ required by this bound in `PackedField`
[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[E0283]: type annotations needed: cannot satisfy `PackedPrimitiveType<u8, binary_field::BinaryField1b>: PackedBinaryField`
[INFO] [stdout]    --> /opt/rustwide/cargo-home/git/checkouts/binius64-733e5504f277ebd2/5540283/verifier/field/src/arithmetic_traits.rs:165:4
[INFO] [stdout]     |
[INFO] [stdout] 165 |               type PackedTransformation<Data: AsRef<[OP::Scalar]> + Sync> =
[INFO] [stdout]     |               ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout]    ::: /opt/rustwide/cargo-home/git/checkouts/binius64-733e5504f277ebd2/5540283/verifier/field/src/arch/portable/packed_8.rs:12:1
[INFO] [stdout]     |
[INFO] [stdout]  12 | / define_packed_binary_fields!(
[INFO] [stdout]  13 | |     underlier: u8,
[INFO] [stdout]  14 | |     packed_fields: [
[INFO] [stdout]  15 | |         packed_field {
[INFO] [stdout] ...   |
[INFO] [stdout]  26 | | );
[INFO] [stdout]     | |_- in this macro invocation
[INFO] [stdout]     |
[INFO] [stdout] note: multiple `impl`s or `where` clauses satisfying `PackedPrimitiveType<u8, binary_field::BinaryField1b>: PackedBinaryField` found
[INFO] [stdout]    --> /opt/rustwide/cargo-home/git/checkouts/binius64-733e5504f277ebd2/5540283/verifier/field/src/arithmetic_traits.rs:163:10
[INFO] [stdout]     |
[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]    ::: /opt/rustwide/cargo-home/git/checkouts/binius64-733e5504f277ebd2/5540283/verifier/field/src/packed.rs:616:1
[INFO] [stdout]     |
[INFO] [stdout] 616 |   impl<PT> PackedBinaryField for PT where PT: PackedField<Scalar: BinaryField> {}
[INFO] [stdout]     |   ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] note: required by a bound in `TaggedPackedTransformationFactory`
[INFO] [stdout]    --> /opt/rustwide/cargo-home/git/checkouts/binius64-733e5504f277ebd2/5540283/verifier/field/src/arithmetic_traits.rs:144:60
[INFO] [stdout]     |
[INFO] [stdout] 144 | pub trait TaggedPackedTransformationFactory<Strategy, OP>: PackedBinaryField
[INFO] [stdout]     |                                                            ^^^^^^^^^^^^^^^^^ required by this bound in `TaggedPackedTransformationFactory`
[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[E0284]: type annotations needed: cannot normalize `<OP as Add>::Output`
[INFO] [stdout]    --> /opt/rustwide/cargo-home/git/checkouts/binius64-733e5504f277ebd2/5540283/verifier/field/src/arithmetic_traits.rs:172:21
[INFO] [stdout]     |
[INFO] [stdout] 172 |                   transformation: $crate::linear_transformation::FieldLinearTransformation<
[INFO] [stdout]     |  _________________________________^
[INFO] [stdout] 173 | |                     OP::Scalar,
[INFO] [stdout] 174 | |                     Data,
[INFO] [stdout] 175 | |                 >,
[INFO] [stdout]     | |_________________^ cannot normalize `<OP as Add>::Output`
[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: required by a bound in `PackedField`
[INFO] [stdout]    --> /opt/rustwide/cargo-home/git/checkouts/binius64-733e5504f277ebd2/5540283/verifier/field/src/packed.rs:41:8
[INFO] [stdout]     |
[INFO] [stdout]  34 | pub trait PackedField:
[INFO] [stdout]     |           ----------- required by a bound in this trait
[INFO] [stdout] ...
[INFO] [stdout]  41 |     + Add<Output = Self>
[INFO] [stdout]     |           ^^^^^^^^^^^^^ required by this bound in `PackedField`
[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[E0283]: type annotations needed: cannot satisfy `PackedPrimitiveType<u128, aes_field::AESTowerField8b>: PackedBinaryField`
[INFO] [stdout]    --> /opt/rustwide/cargo-home/git/checkouts/binius64-733e5504f277ebd2/5540283/verifier/field/src/arithmetic_traits.rs:165:4
[INFO] [stdout]     |
[INFO] [stdout] 165 |               type PackedTransformation<Data: AsRef<[OP::Scalar]> + Sync> =
[INFO] [stdout]     |               ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout]    ::: /opt/rustwide/cargo-home/git/checkouts/binius64-733e5504f277ebd2/5540283/verifier/field/src/arch/portable/packed_aes_128.rs:16:1
[INFO] [stdout]     |
[INFO] [stdout]  16 | / define_packed_binary_fields!(
[INFO] [stdout]  17 | |     underlier: u128,
[INFO] [stdout]  18 | |     packed_fields: [
[INFO] [stdout]  19 | |         packed_field {
[INFO] [stdout] ...   |
[INFO] [stdout]  30 | | );
[INFO] [stdout]     | |_- in this macro invocation
[INFO] [stdout]     |
[INFO] [stdout] note: multiple `impl`s or `where` clauses satisfying `PackedPrimitiveType<u128, aes_field::AESTowerField8b>: PackedBinaryField` found
[INFO] [stdout]    --> /opt/rustwide/cargo-home/git/checkouts/binius64-733e5504f277ebd2/5540283/verifier/field/src/arithmetic_traits.rs:163:10
[INFO] [stdout]     |
[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]    ::: /opt/rustwide/cargo-home/git/checkouts/binius64-733e5504f277ebd2/5540283/verifier/field/src/packed.rs:616:1
[INFO] [stdout]     |
[INFO] [stdout] 616 |   impl<PT> PackedBinaryField for PT where PT: PackedField<Scalar: BinaryField> {}
[INFO] [stdout]     |   ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] note: required by a bound in `TaggedPackedTransformationFactory`
[INFO] [stdout]    --> /opt/rustwide/cargo-home/git/checkouts/binius64-733e5504f277ebd2/5540283/verifier/field/src/arithmetic_traits.rs:144:60
[INFO] [stdout]     |
[INFO] [stdout] 144 | pub trait TaggedPackedTransformationFactory<Strategy, OP>: PackedBinaryField
[INFO] [stdout]     |                                                            ^^^^^^^^^^^^^^^^^ required by this bound in `TaggedPackedTransformationFactory`
[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[E0284]: type annotations needed: cannot normalize `<OP as Add>::Output`
[INFO] [stdout]    --> /opt/rustwide/cargo-home/git/checkouts/binius64-733e5504f277ebd2/5540283/verifier/field/src/arithmetic_traits.rs:172:21
[INFO] [stdout]     |
[INFO] [stdout] 172 |                   transformation: $crate::linear_transformation::FieldLinearTransformation<
[INFO] [stdout]     |  _________________________________^
[INFO] [stdout] 173 | |                     OP::Scalar,
[INFO] [stdout] 174 | |                     Data,
[INFO] [stdout] 175 | |                 >,
[INFO] [stdout]     | |_________________^ cannot normalize `<OP as Add>::Output`
[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: required by a bound in `PackedField`
[INFO] [stdout]    --> /opt/rustwide/cargo-home/git/checkouts/binius64-733e5504f277ebd2/5540283/verifier/field/src/packed.rs:41:8
[INFO] [stdout]     |
[INFO] [stdout]  34 | pub trait PackedField:
[INFO] [stdout]     |           ----------- required by a bound in this trait
[INFO] [stdout] ...
[INFO] [stdout]  41 |     + Add<Output = Self>
[INFO] [stdout]     |           ^^^^^^^^^^^^^ required by this bound in `PackedField`
[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[E0283]: type annotations needed: cannot satisfy `PackedPrimitiveType<u16, aes_field::AESTowerField8b>: PackedBinaryField`
[INFO] [stdout]    --> /opt/rustwide/cargo-home/git/checkouts/binius64-733e5504f277ebd2/5540283/verifier/field/src/arithmetic_traits.rs:165:4
[INFO] [stdout]     |
[INFO] [stdout] 165 |               type PackedTransformation<Data: AsRef<[OP::Scalar]> + Sync> =
[INFO] [stdout]     |               ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout]    ::: /opt/rustwide/cargo-home/git/checkouts/binius64-733e5504f277ebd2/5540283/verifier/field/src/arch/portable/packed_aes_16.rs:16:1
[INFO] [stdout]     |
[INFO] [stdout]  16 | / define_packed_binary_fields!(
[INFO] [stdout]  17 | |     underlier: u16,
[INFO] [stdout]  18 | |     packed_fields: [
[INFO] [stdout]  19 | |         packed_field {
[INFO] [stdout] ...   |
[INFO] [stdout]  30 | | );
[INFO] [stdout]     | |_- in this macro invocation
[INFO] [stdout]     |
[INFO] [stdout] note: multiple `impl`s or `where` clauses satisfying `PackedPrimitiveType<u16, aes_field::AESTowerField8b>: PackedBinaryField` found
[INFO] [stdout]    --> /opt/rustwide/cargo-home/git/checkouts/binius64-733e5504f277ebd2/5540283/verifier/field/src/arithmetic_traits.rs:163:10
[INFO] [stdout]     |
[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]    ::: /opt/rustwide/cargo-home/git/checkouts/binius64-733e5504f277ebd2/5540283/verifier/field/src/packed.rs:616:1
[INFO] [stdout]     |
[INFO] [stdout] 616 |   impl<PT> PackedBinaryField for PT where PT: PackedField<Scalar: BinaryField> {}
[INFO] [stdout]     |   ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] note: required by a bound in `TaggedPackedTransformationFactory`
[INFO] [stdout]    --> /opt/rustwide/cargo-home/git/checkouts/binius64-733e5504f277ebd2/5540283/verifier/field/src/arithmetic_traits.rs:144:60
[INFO] [stdout]     |
[INFO] [stdout] 144 | pub trait TaggedPackedTransformationFactory<Strategy, OP>: PackedBinaryField
[INFO] [stdout]     |                                                            ^^^^^^^^^^^^^^^^^ required by this bound in `TaggedPackedTransformationFactory`
[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[E0284]: type annotations needed: cannot normalize `<OP as Add>::Output`
[INFO] [stdout]    --> /opt/rustwide/cargo-home/git/checkouts/binius64-733e5504f277ebd2/5540283/verifier/field/src/arithmetic_traits.rs:172:21
[INFO] [stdout]     |
[INFO] [stdout] 172 |                   transformation: $crate::linear_transformation::FieldLinearTransformation<
[INFO] [stdout]     |  _________________________________^
[INFO] [stdout] 173 | |                     OP::Scalar,
[INFO] [stdout] 174 | |                     Data,
[INFO] [stdout] 175 | |                 >,
[INFO] [stdout]     | |_________________^ cannot normalize `<OP as Add>::Output`
[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: required by a bound in `PackedField`
[INFO] [stdout]    --> /opt/rustwide/cargo-home/git/checkouts/binius64-733e5504f277ebd2/5540283/verifier/field/src/packed.rs:41:8
[INFO] [stdout]     |
[INFO] [stdout]  34 | pub trait PackedField:
[INFO] [stdout]     |           ----------- required by a bound in this trait
[INFO] [stdout] ...
[INFO] [stdout]  41 |     + Add<Output = Self>
[INFO] [stdout]     |           ^^^^^^^^^^^^^ required by this bound in `PackedField`
[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[E0283]: type annotations needed: cannot satisfy `PackedPrimitiveType<u32, aes_field::AESTowerField8b>: PackedBinaryField`
[INFO] [stdout]    --> /opt/rustwide/cargo-home/git/checkouts/binius64-733e5504f277ebd2/5540283/verifier/field/src/arithmetic_traits.rs:165:4
[INFO] [stdout]     |
[INFO] [stdout] 165 |               type PackedTransformation<Data: AsRef<[OP::Scalar]> + Sync> =
[INFO] [stdout]     |               ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout]    ::: /opt/rustwide/cargo-home/git/checkouts/binius64-733e5504f277ebd2/5540283/verifier/field/src/arch/portable/packed_aes_32.rs:18:1
[INFO] [stdout]     |
[INFO] [stdout]  18 | / define_packed_binary_fields!(
[INFO] [stdout]  19 | |     underlier: u32,
[INFO] [stdout]  20 | |     packed_fields: [
[INFO] [stdout]  21 | |         packed_field {
[INFO] [stdout] ...   |
[INFO] [stdout]  32 | | );
[INFO] [stdout]     | |_- in this macro invocation
[INFO] [stdout]     |
[INFO] [stdout] note: multiple `impl`s or `where` clauses satisfying `PackedPrimitiveType<u32, aes_field::AESTowerField8b>: PackedBinaryField` found
[INFO] [stdout]    --> /opt/rustwide/cargo-home/git/checkouts/binius64-733e5504f277ebd2/5540283/verifier/field/src/arithmetic_traits.rs:163:10
[INFO] [stdout]     |
[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]    ::: /opt/rustwide/cargo-home/git/checkouts/binius64-733e5504f277ebd2/5540283/verifier/field/src/packed.rs:616:1
[INFO] [stdout]     |
[INFO] [stdout] 616 |   impl<PT> PackedBinaryField for PT where PT: PackedField<Scalar: BinaryField> {}
[INFO] [stdout]     |   ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] note: required by a bound in `TaggedPackedTransformationFactory`
[INFO] [stdout]    --> /opt/rustwide/cargo-home/git/checkouts/binius64-733e5504f277ebd2/5540283/verifier/field/src/arithmetic_traits.rs:144:60
[INFO] [stdout]     |
[INFO] [stdout] 144 | pub trait TaggedPackedTransformationFactory<Strategy, OP>: PackedBinaryField
[INFO] [stdout]     |                                                            ^^^^^^^^^^^^^^^^^ required by this bound in `TaggedPackedTransformationFactory`
[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[E0284]: type annotations needed: cannot normalize `<OP as Add>::Output`
[INFO] [stdout]    --> /opt/rustwide/cargo-home/git/checkouts/binius64-733e5504f277ebd2/5540283/verifier/field/src/arithmetic_traits.rs:172:21
[INFO] [stdout]     |
[INFO] [stdout] 172 |                   transformation: $crate::linear_transformation::FieldLinearTransformation<
[INFO] [stdout]     |  _________________________________^
[INFO] [stdout] 173 | |                     OP::Scalar,
[INFO] [stdout] 174 | |                     Data,
[INFO] [stdout] 175 | |                 >,
[INFO] [stdout]     | |_________________^ cannot normalize `<OP as Add>::Output`
[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: required by a bound in `PackedField`
[INFO] [stdout]    --> /opt/rustwide/cargo-home/git/checkouts/binius64-733e5504f277ebd2/5540283/verifier/field/src/packed.rs:41:8
[INFO] [stdout]     |
[INFO] [stdout]  34 | pub trait PackedField:
[INFO] [stdout]     |           ----------- required by a bound in this trait
[INFO] [stdout] ...
[INFO] [stdout]  41 |     + Add<Output = Self>
[INFO] [stdout]     |           ^^^^^^^^^^^^^ required by this bound in `PackedField`
[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[E0283]: type annotations needed: cannot satisfy `PackedPrimitiveType<u64, aes_field::AESTowerField8b>: PackedBinaryField`
[INFO] [stdout]    --> /opt/rustwide/cargo-home/git/checkouts/binius64-733e5504f277ebd2/5540283/verifier/field/src/arithmetic_traits.rs:165:4
[INFO] [stdout]     |
[INFO] [stdout] 165 |               type PackedTransformation<Data: AsRef<[OP::Scalar]> + Sync> =
[INFO] [stdout]     |               ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout]    ::: /opt/rustwide/cargo-home/git/checkouts/binius64-733e5504f277ebd2/5540283/verifier/field/src/arch/portable/packed_aes_64.rs:18:1
[INFO] [stdout]     |
[INFO] [stdout]  18 | / define_packed_binary_fields!(
[INFO] [stdout]  19 | |     underlier: u64,
[INFO] [stdout]  20 | |     packed_fields: [
[INFO] [stdout]  21 | |         packed_field {
[INFO] [stdout] ...   |
[INFO] [stdout]  32 | | );
[INFO] [stdout]     | |_- in this macro invocation
[INFO] [stdout]     |
[INFO] [stdout] note: multiple `impl`s or `where` clauses satisfying `PackedPrimitiveType<u64, aes_field::AESTowerField8b>: PackedBinaryField` found
[INFO] [stdout]    --> /opt/rustwide/cargo-home/git/checkouts/binius64-733e5504f277ebd2/5540283/verifier/field/src/arithmetic_traits.rs:163:10
[INFO] [stdout]     |
[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]    ::: /opt/rustwide/cargo-home/git/checkouts/binius64-733e5504f277ebd2/5540283/verifier/field/src/packed.rs:616:1
[INFO] [stdout]     |
[INFO] [stdout] 616 |   impl<PT> PackedBinaryField for PT where PT: PackedField<Scalar: BinaryField> {}
[INFO] [stdout]     |   ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] note: required by a bound in `TaggedPackedTransformationFactory`
[INFO] [stdout]    --> /opt/rustwide/cargo-home/git/checkouts/binius64-733e5504f277ebd2/5540283/verifier/field/src/arithmetic_traits.rs:144:60
[INFO] [stdout]     |
[INFO] [stdout] 144 | pub trait TaggedPackedTransformationFactory<Strategy, OP>: PackedBinaryField
[INFO] [stdout]     |                                                            ^^^^^^^^^^^^^^^^^ required by this bound in `TaggedPackedTransformationFactory`
[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[E0284]: type annotations needed: cannot normalize `<OP as Add>::Output`
[INFO] [stdout]    --> /opt/rustwide/cargo-home/git/checkouts/binius64-733e5504f277ebd2/5540283/verifier/field/src/arithmetic_traits.rs:172:21
[INFO] [stdout]     |
[INFO] [stdout] 172 |                   transformation: $crate::linear_transformation::FieldLinearTransformation<
[INFO] [stdout]     |  _________________________________^
[INFO] [stdout] 173 | |                     OP::Scalar,
[INFO] [stdout] 174 | |                     Data,
[INFO] [stdout] 175 | |                 >,
[INFO] [stdout]     | |_________________^ cannot normalize `<OP as Add>::Output`
[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: required by a bound in `PackedField`
[INFO] [stdout]    --> /opt/rustwide/cargo-home/git/checkouts/binius64-733e5504f277ebd2/5540283/verifier/field/src/packed.rs:41:8
[INFO] [stdout]     |
[INFO] [stdout]  34 | pub trait PackedField:
[INFO] [stdout]     |           ----------- required by a bound in this trait
[INFO] [stdout] ...
[INFO] [stdout]  41 |     + Add<Output = Self>
[INFO] [stdout]     |           ^^^^^^^^^^^^^ required by this bound in `PackedField`
[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[E0283]: type annotations needed: cannot satisfy `PackedPrimitiveType<u8, aes_field::AESTowerField8b>: PackedBinaryField`
[INFO] [stdout]    --> /opt/rustwide/cargo-home/git/checkouts/binius64-733e5504f277ebd2/5540283/verifier/field/src/arithmetic_traits.rs:165:4
[INFO] [stdout]     |
[INFO] [stdout] 165 |               type PackedTransformation<Data: AsRef<[OP::Scalar]> + Sync> =
[INFO] [stdout]     |               ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout]    ::: /opt/rustwide/cargo-home/git/checkouts/binius64-733e5504f277ebd2/5540283/verifier/field/src/arch/portable/packed_aes_8.rs:12:1
[INFO] [stdout]     |
[INFO] [stdout]  12 | / define_packed_binary_fields!(
[INFO] [stdout]  13 | |     underlier: u8,
[INFO] [stdout]  14 | |     packed_fields: [
[INFO] [stdout]  15 | |         packed_field {
[INFO] [stdout] ...   |
[INFO] [stdout]  26 | | );
[INFO] [stdout]     | |_- in this macro invocation
[INFO] [stdout]     |
[INFO] [stdout] note: multiple `impl`s or `where` clauses satisfying `PackedPrimitiveType<u8, aes_field::AESTowerField8b>: PackedBinaryField` found
[INFO] [stdout]    --> /opt/rustwide/cargo-home/git/checkouts/binius64-733e5504f277ebd2/5540283/verifier/field/src/arithmetic_traits.rs:163:10
[INFO] [stdout]     |
[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]    ::: /opt/rustwide/cargo-home/git/checkouts/binius64-733e5504f277ebd2/5540283/verifier/field/src/packed.rs:616:1
[INFO] [stdout]     |
[INFO] [stdout] 616 |   impl<PT> PackedBinaryField for PT where PT: PackedField<Scalar: BinaryField> {}
[INFO] [stdout]     |   ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] note: required by a bound in `TaggedPackedTransformationFactory`
[INFO] [stdout]    --> /opt/rustwide/cargo-home/git/checkouts/binius64-733e5504f277ebd2/5540283/verifier/field/src/arithmetic_traits.rs:144:60
[INFO] [stdout]     |
[INFO] [stdout] 144 | pub trait TaggedPackedTransformationFactory<Strategy, OP>: PackedBinaryField
[INFO] [stdout]     |                                                            ^^^^^^^^^^^^^^^^^ required by this bound in `TaggedPackedTransformationFactory`
[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[E0284]: type annotations needed: cannot normalize `<OP as Add>::Output`
[INFO] [stdout]    --> /opt/rustwide/cargo-home/git/checkouts/binius64-733e5504f277ebd2/5540283/verifier/field/src/arithmetic_traits.rs:172:21
[INFO] [stdout]     |
[INFO] [stdout] 172 |                   transformation: $crate::linear_transformation::FieldLinearTransformation<
[INFO] [stdout]     |  _________________________________^
[INFO] [stdout] 173 | |                     OP::Scalar,
[INFO] [stdout] 174 | |                     Data,
[INFO] [stdout] 175 | |                 >,
[INFO] [stdout]     | |_________________^ cannot normalize `<OP as Add>::Output`
[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: required by a bound in `PackedField`
[INFO] [stdout]    --> /opt/rustwide/cargo-home/git/checkouts/binius64-733e5504f277ebd2/5540283/verifier/field/src/packed.rs:41:8
[INFO] [stdout]     |
[INFO] [stdout]  34 | pub trait PackedField:
[INFO] [stdout]     |           ----------- required by a bound in this trait
[INFO] [stdout] ...
[INFO] [stdout]  41 |     + Add<Output = Self>
[INFO] [stdout]     |           ^^^^^^^^^^^^^ required by this bound in `PackedField`
[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[E0283]: type annotations needed: cannot satisfy `PackedPrimitiveType<u128, ghash::BinaryField128bGhash>: PackedBinaryField`
[INFO] [stdout]    --> /opt/rustwide/cargo-home/git/checkouts/binius64-733e5504f277ebd2/5540283/verifier/field/src/arithmetic_traits.rs:165:4
[INFO] [stdout]     |
[INFO] [stdout] 165 |             type PackedTransformation<Data: AsRef<[OP::Scalar]> + Sync> =
[INFO] [stdout]     |             ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout]    ::: /opt/rustwide/cargo-home/git/checkouts/binius64-733e5504f277ebd2/5540283/verifier/field/src/arch/portable/packed_ghash_128.rs:138:1
[INFO] [stdout]     |
[INFO] [stdout] 138 | impl_transformation_with_strategy!(PackedBinaryGhash1x128b, PairwiseStrategy);
[INFO] [stdout]     | ----------------------------------------------------------------------------- in this macro invocation
[INFO] [stdout]     |
[INFO] [stdout] note: multiple `impl`s or `where` clauses satisfying `PackedPrimitiveType<u128, ghash::BinaryField128bGhash>: PackedBinaryField` found
[INFO] [stdout]    --> /opt/rustwide/cargo-home/git/checkouts/binius64-733e5504f277ebd2/5540283/verifier/field/src/arithmetic_traits.rs:163:10
[INFO] [stdout]     |
[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]    ::: /opt/rustwide/cargo-home/git/checkouts/binius64-733e5504f277ebd2/5540283/verifier/field/src/packed.rs:616:1
[INFO] [stdout]     |
[INFO] [stdout] 616 | impl<PT> PackedBinaryField for PT where PT: PackedField<Scalar: BinaryField> {}
[INFO] [stdout]     | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] note: required by a bound in `TaggedPackedTransformationFactory`
[INFO] [stdout]    --> /opt/rustwide/cargo-home/git/checkouts/binius64-733e5504f277ebd2/5540283/verifier/field/src/arithmetic_traits.rs:144:60
[INFO] [stdout]     |
[INFO] [stdout] 144 | pub trait TaggedPackedTransformationFactory<Strategy, OP>: PackedBinaryField
[INFO] [stdout]     |                                                            ^^^^^^^^^^^^^^^^^ required by this bound in `TaggedPackedTransformationFactory`
[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[E0284]: type annotations needed: cannot normalize `<OP as Add>::Output`
[INFO] [stdout]    --> /opt/rustwide/cargo-home/git/checkouts/binius64-733e5504f277ebd2/5540283/verifier/field/src/arithmetic_traits.rs:172:21
[INFO] [stdout]     |
[INFO] [stdout] 172 |                   transformation: $crate::linear_transformation::FieldLinearTransformation<
[INFO] [stdout]     |  _________________________________^
[INFO] [stdout] 173 | |                     OP::Scalar,
[INFO] [stdout] 174 | |                     Data,
[INFO] [stdout] 175 | |                 >,
[INFO] [stdout]     | |_________________^ cannot normalize `<OP as Add>::Output`
[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: required by a bound in `PackedField`
[INFO] [stdout]    --> /opt/rustwide/cargo-home/git/checkouts/binius64-733e5504f277ebd2/5540283/verifier/field/src/packed.rs:41:8
[INFO] [stdout]     |
[INFO] [stdout]  34 | pub trait PackedField:
[INFO] [stdout]     |           ----------- required by a bound in this trait
[INFO] [stdout] ...
[INFO] [stdout]  41 |     + Add<Output = Self>
[INFO] [stdout]     |           ^^^^^^^^^^^^^ required by this bound in `PackedField`
[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[E0283]: type annotations needed: cannot satisfy `PackedPrimitiveType<M128, binary_field::BinaryField1b>: PackedBinaryField`
[INFO] [stdout]    --> /opt/rustwide/cargo-home/git/checkouts/binius64-733e5504f277ebd2/5540283/verifier/field/src/arithmetic_traits.rs:165:4
[INFO] [stdout]     |
[INFO] [stdout] 165 |               type PackedTransformation<Data: AsRef<[OP::Scalar]> + Sync> =
[INFO] [stdout]     |               ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout]    ::: /opt/rustwide/cargo-home/git/checkouts/binius64-733e5504f277ebd2/5540283/verifier/field/src/arch/x86_64/packed_128.rs:13:1
[INFO] [stdout]     |
[INFO] [stdout]  13 | / define_packed_binary_fields!(
[INFO] [stdout]  14 | |     underlier: M128,
[INFO] [stdout]  15 | |     packed_fields: [
[INFO] [stdout]  16 | |         packed_field {
[INFO] [stdout] ...   |
[INFO] [stdout]  27 | | );
[INFO] [stdout]     | |_- in this macro invocation
[INFO] [stdout]     |
[INFO] [stdout] note: multiple `impl`s or `where` clauses satisfying `PackedPrimitiveType<M128, binary_field::BinaryField1b>: PackedBinaryField` found
[INFO] [stdout]    --> /opt/rustwide/cargo-home/git/checkouts/binius64-733e5504f277ebd2/5540283/verifier/field/src/arithmetic_traits.rs:163:10
[INFO] [stdout]     |
[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]    ::: /opt/rustwide/cargo-home/git/checkouts/binius64-733e5504f277ebd2/5540283/verifier/field/src/packed.rs:616:1
[INFO] [stdout]     |
[INFO] [stdout] 616 |   impl<PT> PackedBinaryField for PT where PT: PackedField<Scalar: BinaryField> {}
[INFO] [stdout]     |   ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] note: required by a bound in `TaggedPackedTransformationFactory`
[INFO] [stdout]    --> /opt/rustwide/cargo-home/git/checkouts/binius64-733e5504f277ebd2/5540283/verifier/field/src/arithmetic_traits.rs:144:60
[INFO] [stdout]     |
[INFO] [stdout] 144 | pub trait TaggedPackedTransformationFactory<Strategy, OP>: PackedBinaryField
[INFO] [stdout]     |                                                            ^^^^^^^^^^^^^^^^^ required by this bound in `TaggedPackedTransformationFactory`
[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[E0284]: type annotations needed: cannot normalize `<OP as Add>::Output`
[INFO] [stdout]    --> /opt/rustwide/cargo-home/git/checkouts/binius64-733e5504f277ebd2/5540283/verifier/field/src/arithmetic_traits.rs:172:21
[INFO] [stdout]     |
[INFO] [stdout] 172 |                   transformation: $crate::linear_transformation::FieldLinearTransformation<
[INFO] [stdout]     |  _________________________________^
[INFO] [stdout] 173 | |                     OP::Scalar,
[INFO] [stdout] 174 | |                     Data,
[INFO] [stdout] 175 | |                 >,
[INFO] [stdout]     | |_________________^ cannot normalize `<OP as Add>::Output`
[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: required by a bound in `PackedField`
[INFO] [stdout]    --> /opt/rustwide/cargo-home/git/checkouts/binius64-733e5504f277ebd2/5540283/verifier/field/src/packed.rs:41:8
[INFO] [stdout]     |
[INFO] [stdout]  34 | pub trait PackedField:
[INFO] [stdout]     |           ----------- required by a bound in this trait
[INFO] [stdout] ...
[INFO] [stdout]  41 |     + Add<Output = Self>
[INFO] [stdout]     |           ^^^^^^^^^^^^^ required by this bound in `PackedField`
[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[E0283]: type annotations needed: cannot satisfy `PackedPrimitiveType<M128, aes_field::AESTowerField8b>: PackedBinaryField`
[INFO] [stdout]    --> /opt/rustwide/cargo-home/git/checkouts/binius64-733e5504f277ebd2/5540283/verifier/field/src/arithmetic_traits.rs:165:4
[INFO] [stdout]     |
[INFO] [stdout] 165 |               type PackedTransformation<Data: AsRef<[OP::Scalar]> + Sync> =
[INFO] [stdout]     |               ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout]    ::: /opt/rustwide/cargo-home/git/checkouts/binius64-733e5504f277ebd2/5540283/verifier/field/src/arch/x86_64/packed_aes_128.rs:14:1
[INFO] [stdout]     |
[INFO] [stdout]  14 | / define_packed_binary_fields!(
[INFO] [stdout]  15 | |     underlier: M128,
[INFO] [stdout]  16 | |     packed_fields: [
[INFO] [stdout]  17 | |         packed_field {
[INFO] [stdout] ...   |
[INFO] [stdout]  28 | | );
[INFO] [stdout]     | |_- in this macro invocation
[INFO] [stdout]     |
[INFO] [stdout] note: multiple `impl`s or `where` clauses satisfying `PackedPrimitiveType<M128, aes_field::AESTowerField8b>: PackedBinaryField` found
[INFO] [stdout]    --> /opt/rustwide/cargo-home/git/checkouts/binius64-733e5504f277ebd2/5540283/verifier/field/src/arithmetic_traits.rs:163:10
[INFO] [stdout]     |
[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]    ::: /opt/rustwide/cargo-home/git/checkouts/binius64-733e5504f277ebd2/5540283/verifier/field/src/packed.rs:616:1
[INFO] [stdout]     |
[INFO] [stdout] 616 |   impl<PT> PackedBinaryField for PT where PT: PackedField<Scalar: BinaryField> {}
[INFO] [stdout]     |   ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] note: required by a bound in `TaggedPackedTransformationFactory`
[INFO] [stdout]    --> /opt/rustwide/cargo-home/git/checkouts/binius64-733e5504f277ebd2/5540283/verifier/field/src/arithmetic_traits.rs:144:60
[INFO] [stdout]     |
[INFO] [stdout] 144 | pub trait TaggedPackedTransformationFactory<Strategy, OP>: PackedBinaryField
[INFO] [stdout]     |                                                            ^^^^^^^^^^^^^^^^^ required by this bound in `TaggedPackedTransformationFactory`
[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[E0284]: type annotations needed: cannot normalize `<OP as Add>::Output`
[INFO] [stdout]    --> /opt/rustwide/cargo-home/git/checkouts/binius64-733e5504f277ebd2/5540283/verifier/field/src/arithmetic_traits.rs:172:21
[INFO] [stdout]     |
[INFO] [stdout] 172 |                   transformation: $crate::linear_transformation::FieldLinearTransformation<
[INFO] [stdout]     |  _________________________________^
[INFO] [stdout] 173 | |                     OP::Scalar,
[INFO] [stdout] 174 | |                     Data,
[INFO] [stdout] 175 | |                 >,
[INFO] [stdout]     | |_________________^ cannot normalize `<OP as Add>::Output`
[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: required by a bound in `PackedField`
[INFO] [stdout]    --> /opt/rustwide/cargo-home/git/checkouts/binius64-733e5504f277ebd2/5540283/verifier/field/src/packed.rs:41:8
[INFO] [stdout]     |
[INFO] [stdout]  34 | pub trait PackedField:
[INFO] [stdout]     |           ----------- required by a bound in this trait
[INFO] [stdout] ...
[INFO] [stdout]  41 |     + Add<Output = Self>
[INFO] [stdout]     |           ^^^^^^^^^^^^^ required by this bound in `PackedField`
[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[E0283]: type annotations needed: cannot satisfy `PackedPrimitiveType<M128, ghash::BinaryField128bGhash>: PackedBinaryField`
[INFO] [stdout]    --> /opt/rustwide/cargo-home/git/checkouts/binius64-733e5504f277ebd2/5540283/verifier/field/src/arithmetic_traits.rs:165:4
[INFO] [stdout]     |
[INFO] [stdout] 165 |               type PackedTransformation<Data: AsRef<[OP::Scalar]> + Sync> =
[INFO] [stdout]     |               ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout]    ::: /opt/rustwide/cargo-home/git/checkouts/binius64-733e5504f277ebd2/5540283/verifier/field/src/arch/x86_64/packed_ghash_128.rs:108:3
[INFO] [stdout]     |
[INFO] [stdout] 108 | /         crate::arithmetic_traits::impl_transformation_with_strategy!(
[INFO] [stdout] 109 | |             PackedBinaryGhash1x128b,
[INFO] [stdout] 110 | |             crate::arch::SimdStrategy
[INFO] [stdout] 111 | |         );
[INFO] [stdout]     | |_________- in this macro invocation
[INFO] [stdout]     |
[INFO] [stdout] note: multiple `impl`s or `where` clauses satisfying `PackedPrimitiveType<M128, ghash::BinaryField128bGhash>: PackedBinaryField` found
[INFO] [stdout]    --> /opt/rustwide/cargo-home/git/checkouts/binius64-733e5504f277ebd2/5540283/verifier/field/src/arithmetic_traits.rs:163:10
[INFO] [stdout]     |
[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]    ::: /opt/rustwide/cargo-home/git/checkouts/binius64-733e5504f277ebd2/5540283/verifier/field/src/packed.rs:616:1
[INFO] [stdout]     |
[INFO] [stdout] 616 |   impl<PT> PackedBinaryField for PT where PT: PackedField<Scalar: BinaryField> {}
[INFO] [stdout]     |   ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] note: required by a bound in `TaggedPackedTransformationFactory`
[INFO] [stdout]    --> /opt/rustwide/cargo-home/git/checkouts/binius64-733e5504f277ebd2/5540283/verifier/field/src/arithmetic_traits.rs:144:60
[INFO] [stdout]     |
[INFO] [stdout] 144 | pub trait TaggedPackedTransformationFactory<Strategy, OP>: PackedBinaryField
[INFO] [stdout]     |                                                            ^^^^^^^^^^^^^^^^^ required by this bound in `TaggedPackedTransformationFactory`
[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[E0284]: type annotations needed: cannot normalize `<OP as Add>::Output`
[INFO] [stdout]    --> /opt/rustwide/cargo-home/git/checkouts/binius64-733e5504f277ebd2/5540283/verifier/field/src/arithmetic_traits.rs:172:21
[INFO] [stdout]     |
[INFO] [stdout] 172 |                   transformation: $crate::linear_transformation::FieldLinearTransformation<
[INFO] [stdout]     |  _________________________________^
[INFO] [stdout] 173 | |                     OP::Scalar,
[INFO] [stdout] 174 | |                     Data,
[INFO] [stdout] 175 | |                 >,
[INFO] [stdout]     | |_________________^ cannot normalize `<OP as Add>::Output`
[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: required by a bound in `PackedField`
[INFO] [stdout]    --> /opt/rustwide/cargo-home/git/checkouts/binius64-733e5504f277ebd2/5540283/verifier/field/src/packed.rs:41:8
[INFO] [stdout]     |
[INFO] [stdout]  34 | pub trait PackedField:
[INFO] [stdout]     |           ----------- required by a bound in this trait
[INFO] [stdout] ...
[INFO] [stdout]  41 |     + Add<Output = Self>
[INFO] [stdout]     |           ^^^^^^^^^^^^^ required by this bound in `PackedField`
[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[E0283]: type annotations needed: cannot satisfy `PackedPrimitiveType<small_uint::SmallU<1>, binary_field::BinaryField1b>: PackedBinaryField`
[INFO] [stdout]    --> /opt/rustwide/cargo-home/git/checkouts/binius64-733e5504f277ebd2/5540283/verifier/field/src/arithmetic_traits.rs:177:6
[INFO] [stdout]     |
[INFO] [stdout] 177 |                 <Self as $crate::arithmetic_traits::TaggedPackedTransformationFactory<
[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: multiple `impl`s or `where` clauses satisfying `PackedPrimitiveType<small_uint::SmallU<1>, binary_field::BinaryField1b>: PackedBinaryField` found
[INFO] [stdout]    --> /opt/rustwide/cargo-home/git/checkouts/binius64-733e5504f277ebd2/5540283/verifier/field/src/arithmetic_traits.rs:163:10
[INFO] [stdout]     |
[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]    ::: /opt/rustwide/cargo-home/git/checkouts/binius64-733e5504f277ebd2/5540283/verifier/field/src/packed.rs:616:1
[INFO] [stdout]     |
[INFO] [stdout] 616 | impl<PT> PackedBinaryField for PT where PT: PackedField<Scalar: BinaryField> {}
[INFO] [stdout]     | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] note: required by a bound in `TaggedPackedTransformationFactory::make_packed_transformation`
[INFO] [stdout]    --> /opt/rustwide/cargo-home/git/checkouts/binius64-733e5504f277ebd2/5540283/verifier/field/src/arithmetic_traits.rs:144:60
[INFO] [stdout]     |
[INFO] [stdout] 144 | pub trait TaggedPackedTransformationFactory<Strategy, OP>: PackedBinaryField
[INFO] [stdout]     |                                                            ^^^^^^^^^^^^^^^^^ required by this bound in `TaggedPackedTransformationFactory::make_packed_transformation`
[INFO] [stdout] ...
[INFO] [stdout] 150 |     fn make_packed_transformation<Data: AsRef<[OP::Scalar]> + Sync>(
[INFO] [stdout]     |        -------------------------- required by a bound in this associated function
[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[E0283]: type annotations needed: cannot satisfy `PackedPrimitiveType<u128, binary_field::BinaryField1b>: PackedBinaryField`
[INFO] [stdout]    --> /opt/rustwide/cargo-home/git/checkouts/binius64-733e5504f277ebd2/5540283/verifier/field/src/arithmetic_traits.rs:177:6
[INFO] [stdout]     |
[INFO] [stdout] 177 |                   <Self as $crate::arithmetic_traits::TaggedPackedTransformationFactory<
[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: multiple `impl`s or `where` clauses satisfying `PackedPrimitiveType<u128, binary_field::BinaryField1b>: PackedBinaryField` found
[INFO] [stdout]    --> /opt/rustwide/cargo-home/git/checkouts/binius64-733e5504f277ebd2/5540283/verifier/field/src/arithmetic_traits.rs:163:10
[INFO] [stdout]     |
[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]    ::: /opt/rustwide/cargo-home/git/checkouts/binius64-733e5504f277ebd2/5540283/verifier/field/src/packed.rs:616:1
[INFO] [stdout]     |
[INFO] [stdout] 616 |   impl<PT> PackedBinaryField for PT where PT: PackedField<Scalar: BinaryField> {}
[INFO] [stdout]     |   ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] note: required by a bound in `TaggedPackedTransformationFactory::make_packed_transformation`
[INFO] [stdout]    --> /opt/rustwide/cargo-home/git/checkouts/binius64-733e5504f277ebd2/5540283/verifier/field/src/arithmetic_traits.rs:144:60
[INFO] [stdout]     |
[INFO] [stdout] 144 | pub trait TaggedPackedTransformationFactory<Strategy, OP>: PackedBinaryField
[INFO] [stdout]     |                                                            ^^^^^^^^^^^^^^^^^ required by this bound in `TaggedPackedTransformationFactory::make_packed_transformation`
[INFO] [stdout] ...
[INFO] [stdout] 150 |     fn make_packed_transformation<Data: AsRef<[OP::Scalar]> + Sync>(
[INFO] [stdout]     |        -------------------------- required by a bound in this associated function
[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[E0283]: type annotations needed: cannot satisfy `PackedPrimitiveType<u16, binary_field::BinaryField1b>: PackedBinaryField`
[INFO] [stdout]    --> /opt/rustwide/cargo-home/git/checkouts/binius64-733e5504f277ebd2/5540283/verifier/field/src/arithmetic_traits.rs:177:6
[INFO] [stdout]     |
[INFO] [stdout] 177 |                   <Self as $crate::arithmetic_traits::TaggedPackedTransformationFactory<
[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: multiple `impl`s or `where` clauses satisfying `PackedPrimitiveType<u16, binary_field::BinaryField1b>: PackedBinaryField` found
[INFO] [stdout]    --> /opt/rustwide/cargo-home/git/checkouts/binius64-733e5504f277ebd2/5540283/verifier/field/src/arithmetic_traits.rs:163:10
[INFO] [stdout]     |
[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]    ::: /opt/rustwide/cargo-home/git/checkouts/binius64-733e5504f277ebd2/5540283/verifier/field/src/packed.rs:616:1
[INFO] [stdout]     |
[INFO] [stdout] 616 |   impl<PT> PackedBinaryField for PT where PT: PackedField<Scalar: BinaryField> {}
[INFO] [stdout]     |   ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] note: required by a bound in `TaggedPackedTransformationFactory::make_packed_transformation`
[INFO] [stdout]    --> /opt/rustwide/cargo-home/git/checkouts/binius64-733e5504f277ebd2/5540283/verifier/field/src/arithmetic_traits.rs:144:60
[INFO] [stdout]     |
[INFO] [stdout] 144 | pub trait TaggedPackedTransformationFactory<Strategy, OP>: PackedBinaryField
[INFO] [stdout]     |                                                            ^^^^^^^^^^^^^^^^^ required by this bound in `TaggedPackedTransformationFactory::make_packed_transformation`
[INFO] [stdout] ...
[INFO] [stdout] 150 |     fn make_packed_transformation<Data: AsRef<[OP::Scalar]> + Sync>(
[INFO] [stdout]     |        -------------------------- required by a bound in this associated function
[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[E0283]: type annotations needed: cannot satisfy `PackedPrimitiveType<small_uint::SmallU<2>, binary_field::BinaryField1b>: PackedBinaryField`
[INFO] [stdout]    --> /opt/rustwide/cargo-home/git/checkouts/binius64-733e5504f277ebd2/5540283/verifier/field/src/arithmetic_traits.rs:177:6
[INFO] [stdout]     |
[INFO] [stdout] 177 |                   <Self as $crate::arithmetic_traits::TaggedPackedTransformationFactory<
[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: multiple `impl`s or `where` clauses satisfying `PackedPrimitiveType<small_uint::SmallU<2>, binary_field::BinaryField1b>: PackedBinaryField` found
[INFO] [stdout]    --> /opt/rustwide/cargo-home/git/checkouts/binius64-733e5504f277ebd2/5540283/verifier/field/src/arithmetic_traits.rs:163:10
[INFO] [stdout]     |
[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]    ::: /opt/rustwide/cargo-home/git/checkouts/binius64-733e5504f277ebd2/5540283/verifier/field/src/packed.rs:616:1
[INFO] [stdout]     |
[INFO] [stdout] 616 |   impl<PT> PackedBinaryField for PT where PT: PackedField<Scalar: BinaryField> {}
[INFO] [stdout]     |   ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] note: required by a bound in `TaggedPackedTransformationFactory::make_packed_transformation`
[INFO] [stdout]    --> /opt/rustwide/cargo-home/git/checkouts/binius64-733e5504f277ebd2/5540283/verifier/field/src/arithmetic_traits.rs:144:60
[INFO] [stdout]     |
[INFO] [stdout] 144 | pub trait TaggedPackedTransformationFactory<Strategy, OP>: PackedBinaryField
[INFO] [stdout]     |                                                            ^^^^^^^^^^^^^^^^^ required by this bound in `TaggedPackedTransformationFactory::make_packed_transformation`
[INFO] [stdout] ...
[INFO] [stdout] 150 |     fn make_packed_transformation<Data: AsRef<[OP::Scalar]> + Sync>(
[INFO] [stdout]     |        -------------------------- required by a bound in this associated function
[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[E0283]: type annotations needed: cannot satisfy `PackedPrimitiveType<u32, binary_field::BinaryField1b>: PackedBinaryField`
[INFO] [stdout]    --> /opt/rustwide/cargo-home/git/checkouts/binius64-733e5504f277ebd2/5540283/verifier/field/src/arithmetic_traits.rs:177:6
[INFO] [stdout]     |
[INFO] [stdout] 177 |                   <Self as $crate::arithmetic_traits::TaggedPackedTransformationFactory<
[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: multiple `impl`s or `where` clauses satisfying `PackedPrimitiveType<u32, binary_field::BinaryField1b>: PackedBinaryField` found
[INFO] [stdout]    --> /opt/rustwide/cargo-home/git/checkouts/binius64-733e5504f277ebd2/5540283/verifier/field/src/arithmetic_traits.rs:163:10
[INFO] [stdout]     |
[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]    ::: /opt/rustwide/cargo-home/git/checkouts/binius64-733e5504f277ebd2/5540283/verifier/field/src/packed.rs:616:1
[INFO] [stdout]     |
[INFO] [stdout] 616 |   impl<PT> PackedBinaryField for PT where PT: PackedField<Scalar: BinaryField> {}
[INFO] [stdout]     |   ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] note: required by a bound in `TaggedPackedTransformationFactory::make_packed_transformation`
[INFO] [stdout]    --> /opt/rustwide/cargo-home/git/checkouts/binius64-733e5504f277ebd2/5540283/verifier/field/src/arithmetic_traits.rs:144:60
[INFO] [stdout]     |
[INFO] [stdout] 144 | pub trait TaggedPackedTransformationFactory<Strategy, OP>: PackedBinaryField
[INFO] [stdout]     |                                                            ^^^^^^^^^^^^^^^^^ required by this bound in `TaggedPackedTransformationFactory::make_packed_transformation`
[INFO] [stdout] ...
[INFO] [stdout] 150 |     fn make_packed_transformation<Data: AsRef<[OP::Scalar]> + Sync>(
[INFO] [stdout]     |        -------------------------- required by a bound in this associated function
[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[E0283]: type annotations needed: cannot satisfy `PackedPrimitiveType<small_uint::SmallU<4>, binary_field::BinaryField1b>: PackedBinaryField`
[INFO] [stdout]    --> /opt/rustwide/cargo-home/git/checkouts/binius64-733e5504f277ebd2/5540283/verifier/field/src/arithmetic_traits.rs:177:6
[INFO] [stdout]     |
[INFO] [stdout] 177 |                   <Self as $crate::arithmetic_traits::TaggedPackedTransformationFactory<
[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: multiple `impl`s or `where` clauses satisfying `PackedPrimitiveType<small_uint::SmallU<4>, binary_field::BinaryField1b>: PackedBinaryField` found
[INFO] [stdout]    --> /opt/rustwide/cargo-home/git/checkouts/binius64-733e5504f277ebd2/5540283/verifier/field/src/arithmetic_traits.rs:163:10
[INFO] [stdout]     |
[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]    ::: /opt/rustwide/cargo-home/git/checkouts/binius64-733e5504f277ebd2/5540283/verifier/field/src/packed.rs:616:1
[INFO] [stdout]     |
[INFO] [stdout] 616 |   impl<PT> PackedBinaryField for PT where PT: PackedField<Scalar: BinaryField> {}
[INFO] [stdout]     |   ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] note: required by a bound in `TaggedPackedTransformationFactory::make_packed_transformation`
[INFO] [stdout]    --> /opt/rustwide/cargo-home/git/checkouts/binius64-733e5504f277ebd2/5540283/verifier/field/src/arithmetic_traits.rs:144:60
[INFO] [stdout]     |
[INFO] [stdout] 144 | pub trait TaggedPackedTransformationFactory<Strategy, OP>: PackedBinaryField
[INFO] [stdout]     |                                                            ^^^^^^^^^^^^^^^^^ required by this bound in `TaggedPackedTransformationFactory::make_packed_transformation`
[INFO] [stdout] ...
[INFO] [stdout] 150 |     fn make_packed_transformation<Data: AsRef<[OP::Scalar]> + Sync>(
[INFO] [stdout]     |        -------------------------- required by a bound in this associated function
[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[E0283]: type annotations needed: cannot satisfy `PackedPrimitiveType<u64, binary_field::BinaryField1b>: PackedBinaryField`
[INFO] [stdout]    --> /opt/rustwide/cargo-home/git/checkouts/binius64-733e5504f277ebd2/5540283/verifier/field/src/arithmetic_traits.rs:177:6
[INFO] [stdout]     |
[INFO] [stdout] 177 |                   <Self as $crate::arithmetic_traits::TaggedPackedTransformationFactory<
[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: multiple `impl`s or `where` clauses satisfying `PackedPrimitiveType<u64, binary_field::BinaryField1b>: PackedBinaryField` found
[INFO] [stdout]    --> /opt/rustwide/cargo-home/git/checkouts/binius64-733e5504f277ebd2/5540283/verifier/field/src/arithmetic_traits.rs:163:10
[INFO] [stdout]     |
[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]    ::: /opt/rustwide/cargo-home/git/checkouts/binius64-733e5504f277ebd2/5540283/verifier/field/src/packed.rs:616:1
[INFO] [stdout]     |
[INFO] [stdout] 616 |   impl<PT> PackedBinaryField for PT where PT: PackedField<Scalar: BinaryField> {}
[INFO] [stdout]     |   ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] note: required by a bound in `TaggedPackedTransformationFactory::make_packed_transformation`
[INFO] [stdout]    --> /opt/rustwide/cargo-home/git/checkouts/binius64-733e5504f277ebd2/5540283/verifier/field/src/arithmetic_traits.rs:144:60
[INFO] [stdout]     |
[INFO] [stdout] 144 | pub trait TaggedPackedTransformationFactory<Strategy, OP>: PackedBinaryField
[INFO] [stdout]     |                                                            ^^^^^^^^^^^^^^^^^ required by this bound in `TaggedPackedTransformationFactory::make_packed_transformation`
[INFO] [stdout] ...
[INFO] [stdout] 150 |     fn make_packed_transformation<Data: AsRef<[OP::Scalar]> + Sync>(
[INFO] [stdout]     |        -------------------------- required by a bound in this associated function
[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[E0283]: type annotations needed: cannot satisfy `PackedPrimitiveType<u8, binary_field::BinaryField1b>: PackedBinaryField`
[INFO] [stdout]    --> /opt/rustwide/cargo-home/git/checkouts/binius64-733e5504f277ebd2/5540283/verifier/field/src/arithmetic_traits.rs:177:6
[INFO] [stdout]     |
[INFO] [stdout] 177 |                   <Self as $crate::arithmetic_traits::TaggedPackedTransformationFactory<
[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: multiple `impl`s or `where` clauses satisfying `PackedPrimitiveType<u8, binary_field::BinaryField1b>: PackedBinaryField` found
[INFO] [stdout]    --> /opt/rustwide/cargo-home/git/checkouts/binius64-733e5504f277ebd2/5540283/verifier/field/src/arithmetic_traits.rs:163:10
[INFO] [stdout]     |
[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]    ::: /opt/rustwide/cargo-home/git/checkouts/binius64-733e5504f277ebd2/5540283/verifier/field/src/packed.rs:616:1
[INFO] [stdout]     |
[INFO] [stdout] 616 |   impl<PT> PackedBinaryField for PT where PT: PackedField<Scalar: BinaryField> {}
[INFO] [stdout]     |   ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] note: required by a bound in `TaggedPackedTransformationFactory::make_packed_transformation`
[INFO] [stdout]    --> /opt/rustwide/cargo-home/git/checkouts/binius64-733e5504f277ebd2/5540283/verifier/field/src/arithmetic_traits.rs:144:60
[INFO] [stdout]     |
[INFO] [stdout] 144 | pub trait TaggedPackedTransformationFactory<Strategy, OP>: PackedBinaryField
[INFO] [stdout]     |                                                            ^^^^^^^^^^^^^^^^^ required by this bound in `TaggedPackedTransformationFactory::make_packed_transformation`
[INFO] [stdout] ...
[INFO] [stdout] 150 |     fn make_packed_transformation<Data: AsRef<[OP::Scalar]> + Sync>(
[INFO] [stdout]     |        -------------------------- required by a bound in this associated function
[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[E0283]: type annotations needed: cannot satisfy `PackedPrimitiveType<u128, aes_field::AESTowerField8b>: PackedBinaryField`
[INFO] [stdout]    --> /opt/rustwide/cargo-home/git/checkouts/binius64-733e5504f277ebd2/5540283/verifier/field/src/arithmetic_traits.rs:177:6
[INFO] [stdout]     |
[INFO] [stdout] 177 |                   <Self as $crate::arithmetic_traits::TaggedPackedTransformationFactory<
[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: multiple `impl`s or `where` clauses satisfying `PackedPrimitiveType<u128, aes_field::AESTowerField8b>: PackedBinaryField` found
[INFO] [stdout]    --> /opt/rustwide/cargo-home/git/checkouts/binius64-733e5504f277ebd2/5540283/verifier/field/src/arithmetic_traits.rs:163:10
[INFO] [stdout]     |
[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]    ::: /opt/rustwide/cargo-home/git/checkouts/binius64-733e5504f277ebd2/5540283/verifier/field/src/packed.rs:616:1
[INFO] [stdout]     |
[INFO] [stdout] 616 |   impl<PT> PackedBinaryField for PT where PT: PackedField<Scalar: BinaryField> {}
[INFO] [stdout]     |   ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] note: required by a bound in `TaggedPackedTransformationFactory::make_packed_transformation`
[INFO] [stdout]    --> /opt/rustwide/cargo-home/git/checkouts/binius64-733e5504f277ebd2/5540283/verifier/field/src/arithmetic_traits.rs:144:60
[INFO] [stdout]     |
[INFO] [stdout] 144 | pub trait TaggedPackedTransformationFactory<Strategy, OP>: PackedBinaryField
[INFO] [stdout]     |                                                            ^^^^^^^^^^^^^^^^^ required by this bound in `TaggedPackedTransformationFactory::make_packed_transformation`
[INFO] [stdout] ...
[INFO] [stdout] 150 |     fn make_packed_transformation<Data: AsRef<[OP::Scalar]> + Sync>(
[INFO] [stdout]     |        -------------------------- required by a bound in this associated function
[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[E0283]: type annotations needed: cannot satisfy `PackedPrimitiveType<u16, aes_field::AESTowerField8b>: PackedBinaryField`
[INFO] [stdout]    --> /opt/rustwide/cargo-home/git/checkouts/binius64-733e5504f277ebd2/5540283/verifier/field/src/arithmetic_traits.rs:177:6
[INFO] [stdout]     |
[INFO] [stdout] 177 |                   <Self as $crate::arithmetic_traits::TaggedPackedTransformationFactory<
[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: multiple `impl`s or `where` clauses satisfying `PackedPrimitiveType<u16, aes_field::AESTowerField8b>: PackedBinaryField` found
[INFO] [stdout]    --> /opt/rustwide/cargo-home/git/checkouts/binius64-733e5504f277ebd2/5540283/verifier/field/src/arithmetic_traits.rs:163:10
[INFO] [stdout]     |
[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]    ::: /opt/rustwide/cargo-home/git/checkouts/binius64-733e5504f277ebd2/5540283/verifier/field/src/packed.rs:616:1
[INFO] [stdout]     |
[INFO] [stdout] 616 |   impl<PT> PackedBinaryField for PT where PT: PackedField<Scalar: BinaryField> {}
[INFO] [stdout]     |   ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] note: required by a bound in `TaggedPackedTransformationFactory::make_packed_transformation`
[INFO] [stdout]    --> /opt/rustwide/cargo-home/git/checkouts/binius64-733e5504f277ebd2/5540283/verifier/field/src/arithmetic_traits.rs:144:60
[INFO] [stdout]     |
[INFO] [stdout] 144 | pub trait TaggedPackedTransformationFactory<Strategy, OP>: PackedBinaryField
[INFO] [stdout]     |                                                            ^^^^^^^^^^^^^^^^^ required by this bound in `TaggedPackedTransformationFactory::make_packed_transformation`
[INFO] [stdout] ...
[INFO] [stdout] 150 |     fn make_packed_transformation<Data: AsRef<[OP::Scalar]> + Sync>(
[INFO] [stdout]     |        -------------------------- required by a bound in this associated function
[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[E0283]: type annotations needed: cannot satisfy `PackedPrimitiveType<u32, aes_field::AESTowerField8b>: PackedBinaryField`
[INFO] [stdout]    --> /opt/rustwide/cargo-home/git/checkouts/binius64-733e5504f277ebd2/5540283/verifier/field/src/arithmetic_traits.rs:177:6
[INFO] [stdout]     |
[INFO] [stdout] 177 |                   <Self as $crate::arithmetic_traits::TaggedPackedTransformationFactory<
[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: multiple `impl`s or `where` clauses satisfying `PackedPrimitiveType<u32, aes_field::AESTowerField8b>: PackedBinaryField` found
[INFO] [stdout]    --> /opt/rustwide/cargo-home/git/checkouts/binius64-733e5504f277ebd2/5540283/verifier/field/src/arithmetic_traits.rs:163:10
[INFO] [stdout]     |
[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]    ::: /opt/rustwide/cargo-home/git/checkouts/binius64-733e5504f277ebd2/5540283/verifier/field/src/packed.rs:616:1
[INFO] [stdout]     |
[INFO] [stdout] 616 |   impl<PT> PackedBinaryField for PT where PT: PackedField<Scalar: BinaryField> {}
[INFO] [stdout]     |   ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] note: required by a bound in `TaggedPackedTransformationFactory::make_packed_transformation`
[INFO] [stdout]    --> /opt/rustwide/cargo-home/git/checkouts/binius64-733e5504f277ebd2/5540283/verifier/field/src/arithmetic_traits.rs:144:60
[INFO] [stdout]     |
[INFO] [stdout] 144 | pub trait TaggedPackedTransformationFactory<Strategy, OP>: PackedBinaryField
[INFO] [stdout]     |                                                            ^^^^^^^^^^^^^^^^^ required by this bound in `TaggedPackedTransformationFactory::make_packed_transformation`
[INFO] [stdout] ...
[INFO] [stdout] 150 |     fn make_packed_transformation<Data: AsRef<[OP::Scalar]> + Sync>(
[INFO] [stdout]     |        -------------------------- required by a bound in this associated function
[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[E0283]: type annotations needed: cannot satisfy `PackedPrimitiveType<u64, aes_field::AESTowerField8b>: PackedBinaryField`
[INFO] [stdout]    --> /opt/rustwide/cargo-home/git/checkouts/binius64-733e5504f277ebd2/5540283/verifier/field/src/arithmetic_traits.rs:177:6
[INFO] [stdout]     |
[INFO] [stdout] 177 |                   <Self as $crate::arithmetic_traits::TaggedPackedTransformationFactory<
[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: multiple `impl`s or `where` clauses satisfying `PackedPrimitiveType<u64, aes_field::AESTowerField8b>: PackedBinaryField` found
[INFO] [stdout]    --> /opt/rustwide/cargo-home/git/checkouts/binius64-733e5504f277ebd2/5540283/verifier/field/src/arithmetic_traits.rs:163:10
[INFO] [stdout]     |
[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]    ::: /opt/rustwide/cargo-home/git/checkouts/binius64-733e5504f277ebd2/5540283/verifier/field/src/packed.rs:616:1
[INFO] [stdout]     |
[INFO] [stdout] 616 |   impl<PT> PackedBinaryField for PT where PT: PackedField<Scalar: BinaryField> {}
[INFO] [stdout]     |   ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] note: required by a bound in `TaggedPackedTransformationFactory::make_packed_transformation`
[INFO] [stdout]    --> /opt/rustwide/cargo-home/git/checkouts/binius64-733e5504f277ebd2/5540283/verifier/field/src/arithmetic_traits.rs:144:60
[INFO] [stdout]     |
[INFO] [stdout] 144 | pub trait TaggedPackedTransformationFactory<Strategy, OP>: PackedBinaryField
[INFO] [stdout]     |                                                            ^^^^^^^^^^^^^^^^^ required by this bound in `TaggedPackedTransformationFactory::make_packed_transformation`
[INFO] [stdout] ...
[INFO] [stdout] 150 |     fn make_packed_transformation<Data: AsRef<[OP::Scalar]> + Sync>(
[INFO] [stdout]     |        -------------------------- required by a bound in this associated function
[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[E0283]: type annotations needed: cannot satisfy `PackedPrimitiveType<u8, aes_field::AESTowerField8b>: PackedBinaryField`
[INFO] [stdout]    --> /opt/rustwide/cargo-home/git/checkouts/binius64-733e5504f277ebd2/5540283/verifier/field/src/arithmetic_traits.rs:177:6
[INFO] [stdout]     |
[INFO] [stdout] 177 |                   <Self as $crate::arithmetic_traits::TaggedPackedTransformationFactory<
[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: multiple `impl`s or `where` clauses satisfying `PackedPrimitiveType<u8, aes_field::AESTowerField8b>: PackedBinaryField` found
[INFO] [stdout]    --> /opt/rustwide/cargo-home/git/checkouts/binius64-733e5504f277ebd2/5540283/verifier/field/src/arithmetic_traits.rs:163:10
[INFO] [stdout]     |
[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]    ::: /opt/rustwide/cargo-home/git/checkouts/binius64-733e5504f277ebd2/5540283/verifier/field/src/packed.rs:616:1
[INFO] [stdout]     |
[INFO] [stdout] 616 |   impl<PT> PackedBinaryField for PT where PT: PackedField<Scalar: BinaryField> {}
[INFO] [stdout]     |   ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] note: required by a bound in `TaggedPackedTransformationFactory::make_packed_transformation`
[INFO] [stdout]    --> /opt/rustwide/cargo-home/git/checkouts/binius64-733e5504f277ebd2/5540283/verifier/field/src/arithmetic_traits.rs:144:60
[INFO] [stdout]     |
[INFO] [stdout] 144 | pub trait TaggedPackedTransformationFactory<Strategy, OP>: PackedBinaryField
[INFO] [stdout]     |                                                            ^^^^^^^^^^^^^^^^^ required by this bound in `TaggedPackedTransformationFactory::make_packed_transformation`
[INFO] [stdout] ...
[INFO] [stdout] 150 |     fn make_packed_transformation<Data: AsRef<[OP::Scalar]> + Sync>(
[INFO] [stdout]     |        -------------------------- required by a bound in this associated function
[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[E0283]: type annotations needed: cannot satisfy `PackedPrimitiveType<u128, ghash::BinaryField128bGhash>: PackedBinaryField`
[INFO] [stdout]    --> /opt/rustwide/cargo-home/git/checkouts/binius64-733e5504f277ebd2/5540283/verifier/field/src/arithmetic_traits.rs:177:6
[INFO] [stdout]     |
[INFO] [stdout] 177 |                 <Self as $crate::arithmetic_traits::TaggedPackedTransformationFactory<
[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: multiple `impl`s or `where` clauses satisfying `PackedPrimitiveType<u128, ghash::BinaryField128bGhash>: PackedBinaryField` found
[INFO] [stdout]    --> /opt/rustwide/cargo-home/git/checkouts/binius64-733e5504f277ebd2/5540283/verifier/field/src/arithmetic_traits.rs:163:10
[INFO] [stdout]     |
[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]    ::: /opt/rustwide/cargo-home/git/checkouts/binius64-733e5504f277ebd2/5540283/verifier/field/src/packed.rs:616:1
[INFO] [stdout]     |
[INFO] [stdout] 616 | impl<PT> PackedBinaryField for PT where PT: PackedField<Scalar: BinaryField> {}
[INFO] [stdout]     | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] note: required by a bound in `TaggedPackedTransformationFactory::make_packed_transformation`
[INFO] [stdout]    --> /opt/rustwide/cargo-home/git/checkouts/binius64-733e5504f277ebd2/5540283/verifier/field/src/arithmetic_traits.rs:144:60
[INFO] [stdout]     |
[INFO] [stdout] 144 | pub trait TaggedPackedTransformationFactory<Strategy, OP>: PackedBinaryField
[INFO] [stdout]     |                                                            ^^^^^^^^^^^^^^^^^ required by this bound in `TaggedPackedTransformationFactory::make_packed_transformation`
[INFO] [stdout] ...
[INFO] [stdout] 150 |     fn make_packed_transformation<Data: AsRef<[OP::Scalar]> + Sync>(
[INFO] [stdout]     |        -------------------------- required by a bound in this associated function
[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[E0283]: type annotations needed: cannot satisfy `PackedPrimitiveType<M128, binary_field::BinaryField1b>: PackedBinaryField`
[INFO] [stdout]    --> /opt/rustwide/cargo-home/git/checkouts/binius64-733e5504f277ebd2/5540283/verifier/field/src/arithmetic_traits.rs:177:6
[INFO] [stdout]     |
[INFO] [stdout] 177 |                   <Self as $crate::arithmetic_traits::TaggedPackedTransformationFactory<
[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: multiple `impl`s or `where` clauses satisfying `PackedPrimitiveType<M128, binary_field::BinaryField1b>: PackedBinaryField` found
[INFO] [stdout]    --> /opt/rustwide/cargo-home/git/checkouts/binius64-733e5504f277ebd2/5540283/verifier/field/src/arithmetic_traits.rs:163:10
[INFO] [stdout]     |
[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]    ::: /opt/rustwide/cargo-home/git/checkouts/binius64-733e5504f277ebd2/5540283/verifier/field/src/packed.rs:616:1
[INFO] [stdout]     |
[INFO] [stdout] 616 |   impl<PT> PackedBinaryField for PT where PT: PackedField<Scalar: BinaryField> {}
[INFO] [stdout]     |   ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] note: required by a bound in `TaggedPackedTransformationFactory::make_packed_transformation`
[INFO] [stdout]    --> /opt/rustwide/cargo-home/git/checkouts/binius64-733e5504f277ebd2/5540283/verifier/field/src/arithmetic_traits.rs:144:60
[INFO] [stdout]     |
[INFO] [stdout] 144 | pub trait TaggedPackedTransformationFactory<Strategy, OP>: PackedBinaryField
[INFO] [stdout]     |                                                            ^^^^^^^^^^^^^^^^^ required by this bound in `TaggedPackedTransformationFactory::make_packed_transformation`
[INFO] [stdout] ...
[INFO] [stdout] 150 |     fn make_packed_transformation<Data: AsRef<[OP::Scalar]> + Sync>(
[INFO] [stdout]     |        -------------------------- required by a bound in this associated function
[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[E0283]: type annotations needed: cannot satisfy `PackedPrimitiveType<M128, aes_field::AESTowerField8b>: PackedBinaryField`
[INFO] [stdout]    --> /opt/rustwide/cargo-home/git/checkouts/binius64-733e5504f277ebd2/5540283/verifier/field/src/arithmetic_traits.rs:177:6
[INFO] [stdout]     |
[INFO] [stdout] 177 |                   <Self as $crate::arithmetic_traits::TaggedPackedTransformationFactory<
[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: multiple `impl`s or `where` clauses satisfying `PackedPrimitiveType<M128, aes_field::AESTowerField8b>: PackedBinaryField` found
[INFO] [stdout]    --> /opt/rustwide/cargo-home/git/checkouts/binius64-733e5504f277ebd2/5540283/verifier/field/src/arithmetic_traits.rs:163:10
[INFO] [stdout]     |
[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]    ::: /opt/rustwide/cargo-home/git/checkouts/binius64-733e5504f277ebd2/5540283/verifier/field/src/packed.rs:616:1
[INFO] [stdout]     |
[INFO] [stdout] 616 |   impl<PT> PackedBinaryField for PT where PT: PackedField<Scalar: BinaryField> {}
[INFO] [stdout]     |   ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] note: required by a bound in `TaggedPackedTransformationFactory::make_packed_transformation`
[INFO] [stdout]    --> /opt/rustwide/cargo-home/git/checkouts/binius64-733e5504f277ebd2/5540283/verifier/field/src/arithmetic_traits.rs:144:60
[INFO] [stdout]     |
[INFO] [stdout] 144 | pub trait TaggedPackedTransformationFactory<Strategy, OP>: PackedBinaryField
[INFO] [stdout]     |                                                            ^^^^^^^^^^^^^^^^^ required by this bound in `TaggedPackedTransformationFactory::make_packed_transformation`
[INFO] [stdout] ...
[INFO] [stdout] 150 |     fn make_packed_transformation<Data: AsRef<[OP::Scalar]> + Sync>(
[INFO] [stdout]     |        -------------------------- required by a bound in this associated function
[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[E0283]: type annotations needed: cannot satisfy `PackedPrimitiveType<M128, ghash::BinaryField128bGhash>: PackedBinaryField`
[INFO] [stdout]    --> /opt/rustwide/cargo-home/git/checkouts/binius64-733e5504f277ebd2/5540283/verifier/field/src/arithmetic_traits.rs:177:6
[INFO] [stdout]     |
[INFO] [stdout] 177 |                   <Self as $crate::arithmetic_traits::TaggedPackedTransformationFactory<
[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: multiple `impl`s or `where` clauses satisfying `PackedPrimitiveType<M128, ghash::BinaryField128bGhash>: PackedBinaryField` found
[INFO] [stdout]    --> /opt/rustwide/cargo-home/git/checkouts/binius64-733e5504f277ebd2/5540283/verifier/field/src/arithmetic_traits.rs:163:10
[INFO] [stdout]     |
[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]    ::: /opt/rustwide/cargo-home/git/checkouts/binius64-733e5504f277ebd2/5540283/verifier/field/src/packed.rs:616:1
[INFO] [stdout]     |
[INFO] [stdout] 616 |   impl<PT> PackedBinaryField for PT where PT: PackedField<Scalar: BinaryField> {}
[INFO] [stdout]     |   ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] note: required by a bound in `TaggedPackedTransformationFactory::make_packed_transformation`
[INFO] [stdout]    --> /opt/rustwide/cargo-home/git/checkouts/binius64-733e5504f277ebd2/5540283/verifier/field/src/arithmetic_traits.rs:144:60
[INFO] [stdout]     |
[INFO] [stdout] 144 | pub trait TaggedPackedTransformationFactory<Strategy, OP>: PackedBinaryField
[INFO] [stdout]     |                                                            ^^^^^^^^^^^^^^^^^ required by this bound in `TaggedPackedTransformationFactory::make_packed_transformation`
[INFO] [stdout] ...
[INFO] [stdout] 150 |     fn make_packed_transformation<Data: AsRef<[OP::Scalar]> + Sync>(
[INFO] [stdout]     |        -------------------------- required by a bound in this associated function
[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] Some errors have detailed explanations: E0283, E0284.
[INFO] [stdout] 
[INFO] [stdout] For more information about an error, try `rustc --explain E0283`.
[INFO] [stdout] 
[INFO] [stderr] error: could not compile `binius-field` (lib) due to 102 previous errors
[INFO] running `Command { std: "docker" "inspect" "235079ae2951e402300617a6dbc96e57d24ce0260d0f09a9c49f21002fb92ea4", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "235079ae2951e402300617a6dbc96e57d24ce0260d0f09a9c49f21002fb92ea4", kill_on_drop: false }`
[INFO] [stdout] 235079ae2951e402300617a6dbc96e57d24ce0260d0f09a9c49f21002fb92ea4
