[INFO] cloning repository https://github.com/carl-wallace/pcp-rs
[INFO] running `Command { std: "git" "-c" "credential.helper=" "-c" "credential.helper=/workspace/cargo-home/bin/git-credential-null" "clone" "--bare" "https://github.com/carl-wallace/pcp-rs" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Fcarl-wallace%2Fpcp-rs", kill_on_drop: false }`
[INFO] [stderr] Cloning into bare repository '/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Fcarl-wallace%2Fpcp-rs'...
[INFO] running `Command { std: "git" "rev-parse" "HEAD", kill_on_drop: false }`
[INFO] [stdout] 5eb202b3faad88483bb0430a34e9011da1b687b0
[INFO] checking carl-wallace/pcp-rs against try#6713fa75964eb229409a9c6f6f5c418423e313ff for pr-133502-22
[INFO] running `Command { std: "git" "clone" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Fcarl-wallace%2Fpcp-rs" "/workspace/builds/worker-5-tc2/source", kill_on_drop: false }`
[INFO] [stderr] Cloning into '/workspace/builds/worker-5-tc2/source'...
[INFO] [stderr] done.
[INFO] started tweaking git repo https://github.com/carl-wallace/pcp-rs
[INFO] finished tweaking git repo https://github.com/carl-wallace/pcp-rs
[INFO] tweaked toml for git repo https://github.com/carl-wallace/pcp-rs written to /workspace/builds/worker-5-tc2/source/Cargo.toml
[INFO] validating manifest of git repo https://github.com/carl-wallace/pcp-rs 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/carl-wallace/pcp-rs 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-5-tc2/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-5-tc2/source:/opt/rustwide/workdir:ro,Z" "-v" "/var/lib/crater-agent-workspace/cargo-home:/opt/rustwide/cargo-home:ro,Z" "-v" "/var/lib/crater-agent-workspace/rustup-home:/opt/rustwide/rustup-home:ro,Z" "-e" "SOURCE_DIR=/opt/rustwide/workdir" "-e" "CARGO_TARGET_DIR=/opt/rustwide/target" "-e" "CARGO_HOME=/opt/rustwide/cargo-home" "-e" "RUSTUP_HOME=/opt/rustwide/rustup-home" "-w" "/opt/rustwide/workdir" "-m" "1610612736" "--user" "0:0" "--network" "none" "ghcr.io/rust-lang/crates-build-env/linux@sha256:d429b63d4308055ea97f60fb1d3dfca48854a00942f1bd2ad806beaf015945ec" "/opt/rustwide/cargo-home/bin/cargo" "+6713fa75964eb229409a9c6f6f5c418423e313ff" "metadata" "--no-deps" "--format-version=1", kill_on_drop: false }`
[INFO] [stdout] c8100b3a2906813fc4181aa53d3b92b0154f60d0af140f855722f47991460ffa
[INFO] running `Command { std: "docker" "start" "-a" "c8100b3a2906813fc4181aa53d3b92b0154f60d0af140f855722f47991460ffa", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "inspect" "c8100b3a2906813fc4181aa53d3b92b0154f60d0af140f855722f47991460ffa", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "c8100b3a2906813fc4181aa53d3b92b0154f60d0af140f855722f47991460ffa", kill_on_drop: false }`
[INFO] [stdout] c8100b3a2906813fc4181aa53d3b92b0154f60d0af140f855722f47991460ffa
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-5-tc2/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-5-tc2/source:/opt/rustwide/workdir:ro,Z" "-v" "/var/lib/crater-agent-workspace/cargo-home:/opt/rustwide/cargo-home:ro,Z" "-v" "/var/lib/crater-agent-workspace/rustup-home:/opt/rustwide/rustup-home:ro,Z" "-e" "SOURCE_DIR=/opt/rustwide/workdir" "-e" "CARGO_TARGET_DIR=/opt/rustwide/target" "-e" "CARGO_INCREMENTAL=0" "-e" "RUST_BACKTRACE=full" "-e" "RUSTFLAGS=--cap-lints=forbid" "-e" "RUSTDOCFLAGS=--cap-lints=forbid" "-e" "CARGO_HOME=/opt/rustwide/cargo-home" "-e" "RUSTUP_HOME=/opt/rustwide/rustup-home" "-w" "/opt/rustwide/workdir" "-m" "1610612736" "--user" "0:0" "--network" "none" "ghcr.io/rust-lang/crates-build-env/linux@sha256:d429b63d4308055ea97f60fb1d3dfca48854a00942f1bd2ad806beaf015945ec" "/opt/rustwide/cargo-home/bin/cargo" "+6713fa75964eb229409a9c6f6f5c418423e313ff" "check" "--frozen" "--all" "--all-targets" "--message-format=json", kill_on_drop: false }`
[INFO] [stdout] c7d650a375b75ce6678bf98d271b1e95958b0c7248d7de69e1c2968d3c39e5a5
[INFO] running `Command { std: "docker" "start" "-a" "c7d650a375b75ce6678bf98d271b1e95958b0c7248d7de69e1c2968d3c39e5a5", kill_on_drop: false }`
[INFO] [stderr]     Checking subtle v2.6.1
[INFO] [stderr]    Compiling typenum v1.19.0
[INFO] [stderr]     Checking cmov v0.5.2
[INFO] [stderr]     Checking const-oid v0.10.2
[INFO] [stderr]     Checking cpubits v0.1.0
[INFO] [stderr]     Checking pem-rfc7468 v1.0.0
[INFO] [stderr]     Checking flagset v0.4.7
[INFO] [stderr]     Checking base16ct v1.0.0
[INFO] [stderr]     Checking keccak v0.2.0-rc.2 (https://github.com/RustCrypto/sponges.git#cf29ae32)
[INFO] [stderr]    Compiling libm v0.2.16
[INFO] [stderr]    Compiling zerocopy v0.8.39
[INFO] [stderr]    Compiling syn v2.0.117
[INFO] [stderr]    Compiling toml_parser v1.0.9+spec-1.1.0
[INFO] [stderr]     Checking getrandom v0.3.4
[INFO] [stderr]    Compiling borsh v1.6.0
[INFO] [stderr]    Compiling curve25519-dalek v5.0.0-pre.6
[INFO] [stderr]    Compiling unicode-xid v0.2.6
[INFO] [stderr]    Compiling serde_json v1.0.149
[INFO] [stderr]     Checking destructure_traitobject v0.2.0
[INFO] [stderr]     Checking log v0.4.29
[INFO] [stderr]     Checking unsafe-any-ors v1.0.0
[INFO] [stderr]     Checking ordered-float v2.10.1
[INFO] [stderr]    Compiling tari-tiny-keccak v2.0.2
[INFO] [stderr]     Checking chrono v0.4.44
[INFO] [stderr]     Checking arc-swap v1.8.2
[INFO] [stderr]     Checking rand_core v0.9.5
[INFO] [stderr]     Checking ctutils v0.4.0
[INFO] [stderr]     Checking rustcrypto-ff v0.14.0-rc.0
[INFO] [stderr]     Checking typemap-ors v1.0.0
[INFO] [stderr]     Checking socket2 v0.6.2
[INFO] [stderr]     Checking thread-id v5.1.0
[INFO] [stderr]     Checking mio v1.1.1
[INFO] [stderr]     Checking mock_instant v0.6.0
[INFO] [stderr]     Checking rustcrypto-group v0.14.0-rc.0
[INFO] [stderr]     Checking fiat-crypto v0.3.0
[INFO] [stderr]     Checking humantime v2.3.0
[INFO] [stderr]     Checking hex-literal v1.1.0
[INFO] [stderr]     Checking log-mdc v0.1.0
[INFO] [stderr]     Checking subtle-encoding v0.5.1
[INFO] [stderr]     Checking colored v3.1.1
[INFO] [stderr]    Compiling toml_edit v0.23.10+spec-1.0.0
[INFO] [stderr]    Compiling proc-macro-crate v3.4.0
[INFO] [stderr]     Checking hybrid-array v0.4.7
[INFO] [stderr]     Checking crypto-common v0.2.1
[INFO] [stderr]     Checking block-buffer v0.12.0
[INFO] [stderr]     Checking block-padding v0.4.2
[INFO] [stderr]     Checking crypto-bigint v0.7.0-rc.28
[INFO] [stderr]     Checking module-lattice v0.1.0
[INFO] [stderr]     Checking inout v0.2.2
[INFO] [stderr]     Checking digest v0.11.1
[INFO] [stderr]     Checking cipher v0.5.1
[INFO] [stderr]     Checking universal-hash v0.6.0-rc.10 (https://github.com/RustCrypto/traits.git#b7a3bbfe)
[INFO] [stderr]     Checking aead v0.6.0-rc.10
[INFO] [stderr]     Checking kem v0.3.0-rc.6
[INFO] [stderr]     Checking polyval v0.7.0-rc.9
[INFO] [stderr]     Checking hmac v0.13.0-rc.5
[INFO] [stderr]     Checking sha2 v0.11.0-rc.5
[INFO] [stderr]     Checking signature v3.0.0-rc.10
[INFO] [stderr]     Checking sha3 v0.11.0-rc.8 (https://github.com/RustCrypto/hashes.git#827c043f)
[INFO] [stderr]     Checking sha1 v0.11.0-rc.5
[INFO] [stderr]     Checking ansi-x963-kdf v0.1.0-rc.2
[INFO] [stderr]    Compiling der_derive v0.8.0
[INFO] [stderr]    Compiling zerocopy-derive v0.8.39
[INFO] [stderr]    Compiling serde_derive v1.0.228
[INFO] [stderr]    Compiling thiserror-impl v2.0.18
[INFO] [stderr]    Compiling borsh-derive v1.6.0
[INFO] [stderr]    Compiling derive_more-impl v2.1.1
[INFO] [stderr]     Checking ghash v0.6.0-rc.6
[INFO] [stderr]     Checking aes v0.9.0-rc.4
[INFO] [stderr]     Checking ctr v0.10.0-rc.3 (https://github.com/RustCrypto/block-modes.git#3dbbcf17)
[INFO] [stderr]     Checking salsa20 v0.11.0-rc.2
[INFO] [stderr]     Checking cbc v0.2.0-rc.3 (https://github.com/RustCrypto/block-modes.git#3dbbcf17)
[INFO] [stderr]    Compiling curve25519-dalek-derive v0.1.1
[INFO] [stderr]    Compiling tokio-macros v2.6.0
[INFO] [stderr]    Compiling clap_derive v4.5.55
[INFO] [stderr]     Checking pbkdf2 v0.13.0-rc.9
[INFO] [stderr]     Checking hkdf v0.13.0-rc.5
[INFO] [stderr]     Checking rfc6979 v0.5.0-rc.5
[INFO] [stderr]     Checking der v0.8.0
[INFO] [stderr]     Checking aes-gcm v0.11.0-rc.3
[INFO] [stderr]     Checking aes-kw v0.3.0-rc.2
[INFO] [stderr]     Checking ml-kem v0.3.0-rc.0
[INFO] [stderr]     Checking tokio v1.49.0
[INFO] [stdout] error[E0275]: overflow evaluating the requirement `<P as PkeParams>::NttVectorSize == _`
[INFO] [stdout]    --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ml-kem-0.3.0-rc.0/src/param.rs:146:26
[INFO] [stdout]     |
[INFO] [stdout] 146 |     type NttVectorSize = EncodedVectorSize<U12, P::K>;
[INFO] [stdout]     |                          ^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stderr]     Checking derive_more v2.1.1
[INFO] [stdout] error[E0275]: overflow evaluating the requirement `<P as PkeParams>::EncryptionKeySize == _`
[INFO] [stdout]    --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ml-kem-0.3.0-rc.0/src/param.rs:147:30
[INFO] [stdout]     |
[INFO] [stdout] 147 |     type EncryptionKeySize = Sum<Self::NttVectorSize, U32>;
[INFO] [stdout]     |                              ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0275]: overflow evaluating the requirement `<<UInt<UInt<UInt<UInt<UTerm, ...>, ...>, ...>, ...> as VectorEncodingSize<...>>::EncodedVectorSize as Add<...>>::Output == _`
[INFO] [stdout]    --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ml-kem-0.3.0-rc.0/src/param.rs:149:5
[INFO] [stdout]     |
[INFO] [stdout] 149 |     fn encode_u12(p: &NttVector<Self::K>) -> EncodedNttVector<Self> {
[INFO] [stdout]     |     ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stderr]     Checking thiserror v2.0.18
[INFO] [stdout] error[E0275]: overflow evaluating whether `&module_lattice::NttVector<BaseField, <P as ParameterSet>::K>` is well-formed
[INFO] [stdout]    --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ml-kem-0.3.0-rc.0/src/param.rs:149:5
[INFO] [stdout]     |
[INFO] [stdout] 149 |     fn encode_u12(p: &NttVector<Self::K>) -> EncodedNttVector<Self> {
[INFO] [stdout]     |     ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout] note: the requirement `&module_lattice::NttVector<BaseField, <P as ParameterSet>::K> well-formed` appears on the `impl`'s associated function `encode_u12` but not on the corresponding trait's associated function
[INFO] [stdout]    --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ml-kem-0.3.0-rc.0/src/param.rs:119:8
[INFO] [stdout]     |
[INFO] [stdout] 115 | pub trait PkeParams: Kem<SharedKeySize = U32> + ParameterSet {
[INFO] [stdout]     |           --------- in this trait
[INFO] [stdout] ...
[INFO] [stdout] 119 |     fn encode_u12(p: &NttVector<Self::K>) -> EncodedNttVector<Self>;
[INFO] [stdout]     |        ^^^^^^^^^^ this trait's associated function doesn't have the requirement `&module_lattice::NttVector<BaseField, <P as ParameterSet>::K> well-formed`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0275]: overflow evaluating whether `hybrid_array::Array<u8, <P as PkeParams>::NttVectorSize>` is well-formed
[INFO] [stdout]    --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ml-kem-0.3.0-rc.0/src/param.rs:149:5
[INFO] [stdout]     |
[INFO] [stdout] 149 |     fn encode_u12(p: &NttVector<Self::K>) -> EncodedNttVector<Self> {
[INFO] [stdout]     |     ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout] note: the requirement `hybrid_array::Array<u8, <P as PkeParams>::NttVectorSize> well-formed` appears on the `impl`'s associated function `encode_u12` but not on the corresponding trait's associated function
[INFO] [stdout]    --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ml-kem-0.3.0-rc.0/src/param.rs:119:8
[INFO] [stdout]     |
[INFO] [stdout] 115 | pub trait PkeParams: Kem<SharedKeySize = U32> + ParameterSet {
[INFO] [stdout]     |           --------- in this trait
[INFO] [stdout] ...
[INFO] [stdout] 119 |     fn encode_u12(p: &NttVector<Self::K>) -> EncodedNttVector<Self>;
[INFO] [stdout]     |        ^^^^^^^^^^ this trait's associated function doesn't have the requirement `hybrid_array::Array<u8, <P as PkeParams>::NttVectorSize> well-formed`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0275]: overflow evaluating the requirement `<<UInt<UInt<UInt<UInt<UTerm, ...>, ...>, ...>, ...> as VectorEncodingSize<...>>::EncodedVectorSize as Add<...>>::Output == _`
[INFO] [stdout]    --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ml-kem-0.3.0-rc.0/src/param.rs:153:5
[INFO] [stdout]     |
[INFO] [stdout] 153 |     fn decode_u12(v: &EncodedNttVector<Self>) -> NttVector<Self::K> {
[INFO] [stdout]     |     ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0275]: overflow evaluating whether `&hybrid_array::Array<u8, <P as PkeParams>::NttVectorSize>` is well-formed
[INFO] [stdout]    --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ml-kem-0.3.0-rc.0/src/param.rs:153:5
[INFO] [stdout]     |
[INFO] [stdout] 153 |     fn decode_u12(v: &EncodedNttVector<Self>) -> NttVector<Self::K> {
[INFO] [stdout]     |     ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout] note: the requirement `&hybrid_array::Array<u8, <P as PkeParams>::NttVectorSize> well-formed` appears on the `impl`'s associated function `decode_u12` but not on the corresponding trait's associated function
[INFO] [stdout]    --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ml-kem-0.3.0-rc.0/src/param.rs:120:8
[INFO] [stdout]     |
[INFO] [stdout] 115 | pub trait PkeParams: Kem<SharedKeySize = U32> + ParameterSet {
[INFO] [stdout]     |           --------- in this trait
[INFO] [stdout] ...
[INFO] [stdout] 120 |     fn decode_u12(v: &EncodedNttVector<Self>) -> NttVector<Self::K>;
[INFO] [stdout]     |        ^^^^^^^^^^ this trait's associated function doesn't have the requirement `&hybrid_array::Array<u8, <P as PkeParams>::NttVectorSize> well-formed`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0275]: overflow evaluating whether `module_lattice::NttVector<BaseField, <P as ParameterSet>::K>` is well-formed
[INFO] [stdout]    --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ml-kem-0.3.0-rc.0/src/param.rs:153:5
[INFO] [stdout]     |
[INFO] [stdout] 153 |     fn decode_u12(v: &EncodedNttVector<Self>) -> NttVector<Self::K> {
[INFO] [stdout]     |     ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout] note: the requirement `module_lattice::NttVector<BaseField, <P as ParameterSet>::K> well-formed` appears on the `impl`'s associated function `decode_u12` but not on the corresponding trait's associated function
[INFO] [stdout]    --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ml-kem-0.3.0-rc.0/src/param.rs:120:8
[INFO] [stdout]     |
[INFO] [stdout] 115 | pub trait PkeParams: Kem<SharedKeySize = U32> + ParameterSet {
[INFO] [stdout]     |           --------- in this trait
[INFO] [stdout] ...
[INFO] [stdout] 120 |     fn decode_u12(v: &EncodedNttVector<Self>) -> NttVector<Self::K>;
[INFO] [stdout]     |        ^^^^^^^^^^ this trait's associated function doesn't have the requirement `module_lattice::NttVector<BaseField, <P as ParameterSet>::K> well-formed`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0275]: overflow evaluating the requirement `<<UInt<UInt<UInt<UInt<UTerm, ...>, ...>, ...>, ...> as VectorEncodingSize<...>>::EncodedVectorSize as Add<...>>::Output == _`
[INFO] [stdout]    --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ml-kem-0.3.0-rc.0/src/param.rs:157:5
[INFO] [stdout]     |
[INFO] [stdout] 157 |     fn concat_ct(u: EncodedU<Self>, v: EncodedV<Self>) -> Ciphertext<Self> {
[INFO] [stdout]     |     ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0275]: overflow evaluating whether `hybrid_array::Array<u8, <<P as ParameterSet>::Du as VectorEncodingSize<<P as ParameterSet>::K>>::EncodedVectorSize>` is well-formed
[INFO] [stdout]    --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ml-kem-0.3.0-rc.0/src/param.rs:157:5
[INFO] [stdout]     |
[INFO] [stdout] 157 |     fn concat_ct(u: EncodedU<Self>, v: EncodedV<Self>) -> Ciphertext<Self> {
[INFO] [stdout]     |     ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout] note: the requirement `hybrid_array::Array<u8, <<P as ParameterSet>::Du as VectorEncodingSize<<P as ParameterSet>::K>>::EncodedVectorSize> well-formed` appears on the `impl`'s associated function `concat_ct` but not on the corresponding trait's associated function
[INFO] [stdout]    --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ml-kem-0.3.0-rc.0/src/param.rs:122:8
[INFO] [stdout]     |
[INFO] [stdout] 115 | pub trait PkeParams: Kem<SharedKeySize = U32> + ParameterSet {
[INFO] [stdout]     |           --------- in this trait
[INFO] [stdout] ...
[INFO] [stdout] 122 |     fn concat_ct(u: EncodedU<Self>, v: EncodedV<Self>) -> Ciphertext<Self>;
[INFO] [stdout]     |        ^^^^^^^^^ this trait's associated function doesn't have the requirement `hybrid_array::Array<u8, <<P as ParameterSet>::Du as VectorEncodingSize<<P as ParameterSet>::K>>::EncodedVectorSize> well-formed`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0275]: overflow evaluating whether `hybrid_array::Array<u8, <<P as ParameterSet>::Dv as EncodingSize>::EncodedPolynomialSize>` is well-formed
[INFO] [stdout]    --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ml-kem-0.3.0-rc.0/src/param.rs:157:5
[INFO] [stdout]     |
[INFO] [stdout] 157 |     fn concat_ct(u: EncodedU<Self>, v: EncodedV<Self>) -> Ciphertext<Self> {
[INFO] [stdout]     |     ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout] note: the requirement `hybrid_array::Array<u8, <<P as ParameterSet>::Dv as EncodingSize>::EncodedPolynomialSize> well-formed` appears on the `impl`'s associated function `concat_ct` but not on the corresponding trait's associated function
[INFO] [stdout]    --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ml-kem-0.3.0-rc.0/src/param.rs:122:8
[INFO] [stdout]     |
[INFO] [stdout] 115 | pub trait PkeParams: Kem<SharedKeySize = U32> + ParameterSet {
[INFO] [stdout]     |           --------- in this trait
[INFO] [stdout] ...
[INFO] [stdout] 122 |     fn concat_ct(u: EncodedU<Self>, v: EncodedV<Self>) -> Ciphertext<Self>;
[INFO] [stdout]     |        ^^^^^^^^^ this trait's associated function doesn't have the requirement `hybrid_array::Array<u8, <<P as ParameterSet>::Dv as EncodingSize>::EncodedPolynomialSize> well-formed`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0275]: overflow evaluating the requirement `<<UInt<UInt<UInt<UInt<UTerm, ...>, ...>, ...>, ...> as VectorEncodingSize<...>>::EncodedVectorSize as Add<...>>::Output == _`
[INFO] [stdout]    --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ml-kem-0.3.0-rc.0/src/param.rs:161:5
[INFO] [stdout]     |
[INFO] [stdout] 161 |     fn split_ct(ct: &Ciphertext<Self>) -> (&EncodedU<Self>, &EncodedV<Self>) {
[INFO] [stdout]     |     ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0275]: overflow evaluating whether `(&hybrid_array::Array<u8, <<P as ParameterSet>::Du as VectorEncodingSize<...>>::EncodedVectorSize>, ...)` is well-formed
[INFO] [stdout]    --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ml-kem-0.3.0-rc.0/src/param.rs:161:5
[INFO] [stdout]     |
[INFO] [stdout] 161 |     fn split_ct(ct: &Ciphertext<Self>) -> (&EncodedU<Self>, &EncodedV<Self>) {
[INFO] [stdout]     |     ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout] note: the requirement `(&hybrid_array::Array<u8, <<P as ParameterSet>::Du as VectorEncodingSize<<P as ParameterSet>::K>>::EncodedVectorSize>, &hybrid_array::Array<u8, <<P as ParameterSet>::Dv as EncodingSize>::EncodedPolynomialSize>) well-formed` appears on the `impl`'s associated function `split_ct` but not on the corresponding trait's associated function
[INFO] [stdout]    --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ml-kem-0.3.0-rc.0/src/param.rs:123:8
[INFO] [stdout]     |
[INFO] [stdout] 115 | pub trait PkeParams: Kem<SharedKeySize = U32> + ParameterSet {
[INFO] [stdout]     |           --------- in this trait
[INFO] [stdout] ...
[INFO] [stdout] 123 |     fn split_ct(ct: &Ciphertext<Self>) -> (&EncodedU<Self>, &EncodedV<Self>);
[INFO] [stdout]     |        ^^^^^^^^ this trait's associated function doesn't have the requirement `(&hybrid_array::Array<u8, <<P as ParameterSet>::Du as VectorEncodingSize<<P as ParameterSet>::K>>::EncodedVectorSize>, &hybrid_array::Array<u8, <<P as ParameterSet>::Dv as EncodingSize>::EncodedPolynomialSize>) well-formed`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0275]: overflow evaluating the requirement `<<UInt<UInt<UInt<UInt<UTerm, ...>, ...>, ...>, ...> as VectorEncodingSize<...>>::EncodedVectorSize as Add<...>>::Output == _`
[INFO] [stdout]    --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ml-kem-0.3.0-rc.0/src/param.rs:165:5
[INFO] [stdout]     |
[INFO] [stdout] 165 |     fn concat_ek(t_hat: EncodedNttVector<Self>, rho: B32) -> EncodedEncryptionKey<Self> {
[INFO] [stdout]     |     ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0275]: overflow evaluating whether `hybrid_array::Array<u8, <P as PkeParams>::NttVectorSize>` is well-formed
[INFO] [stdout]    --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ml-kem-0.3.0-rc.0/src/param.rs:165:5
[INFO] [stdout]     |
[INFO] [stdout] 165 |     fn concat_ek(t_hat: EncodedNttVector<Self>, rho: B32) -> EncodedEncryptionKey<Self> {
[INFO] [stdout]     |     ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout] note: the requirement `hybrid_array::Array<u8, <P as PkeParams>::NttVectorSize> well-formed` appears on the `impl`'s associated function `concat_ek` but not on the corresponding trait's associated function
[INFO] [stdout]    --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ml-kem-0.3.0-rc.0/src/param.rs:125:8
[INFO] [stdout]     |
[INFO] [stdout] 115 | pub trait PkeParams: Kem<SharedKeySize = U32> + ParameterSet {
[INFO] [stdout]     |           --------- in this trait
[INFO] [stdout] ...
[INFO] [stdout] 125 |     fn concat_ek(t_hat: EncodedNttVector<Self>, rho: B32) -> EncodedEncryptionKey<Self>;
[INFO] [stdout]     |        ^^^^^^^^^ this trait's associated function doesn't have the requirement `hybrid_array::Array<u8, <P as PkeParams>::NttVectorSize> well-formed`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0275]: overflow evaluating whether `hybrid_array::Array<u8, UInt<UInt<UInt<UInt<UInt<..., ...>, ...>, ...>, ...>, ...>>` is well-formed
[INFO] [stdout]    --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ml-kem-0.3.0-rc.0/src/param.rs:165:5
[INFO] [stdout]     |
[INFO] [stdout] 165 |     fn concat_ek(t_hat: EncodedNttVector<Self>, rho: B32) -> EncodedEncryptionKey<Self> {
[INFO] [stdout]     |     ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout] note: the requirement `hybrid_array::Array<u8, UInt<UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B0>, B0>, B0>, B0>, B0>> well-formed` appears on the `impl`'s associated function `concat_ek` but not on the corresponding trait's associated function
[INFO] [stdout]    --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ml-kem-0.3.0-rc.0/src/param.rs:125:8
[INFO] [stdout]     |
[INFO] [stdout] 115 | pub trait PkeParams: Kem<SharedKeySize = U32> + ParameterSet {
[INFO] [stdout]     |           --------- in this trait
[INFO] [stdout] ...
[INFO] [stdout] 125 |     fn concat_ek(t_hat: EncodedNttVector<Self>, rho: B32) -> EncodedEncryptionKey<Self>;
[INFO] [stdout]     |        ^^^^^^^^^ this trait's associated function doesn't have the requirement `hybrid_array::Array<u8, UInt<UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B0>, B0>, B0>, B0>, B0>> well-formed`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0275]: overflow evaluating whether `hybrid_array::Array<u8, <P as PkeParams>::EncryptionKeySize>` is well-formed
[INFO] [stdout]    --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ml-kem-0.3.0-rc.0/src/param.rs:165:5
[INFO] [stdout]     |
[INFO] [stdout] 165 |     fn concat_ek(t_hat: EncodedNttVector<Self>, rho: B32) -> EncodedEncryptionKey<Self> {
[INFO] [stdout]     |     ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout] note: the requirement `hybrid_array::Array<u8, <P as PkeParams>::EncryptionKeySize> well-formed` appears on the `impl`'s associated function `concat_ek` but not on the corresponding trait's associated function
[INFO] [stdout]    --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ml-kem-0.3.0-rc.0/src/param.rs:125:8
[INFO] [stdout]     |
[INFO] [stdout] 115 | pub trait PkeParams: Kem<SharedKeySize = U32> + ParameterSet {
[INFO] [stdout]     |           --------- in this trait
[INFO] [stdout] ...
[INFO] [stdout] 125 |     fn concat_ek(t_hat: EncodedNttVector<Self>, rho: B32) -> EncodedEncryptionKey<Self>;
[INFO] [stdout]     |        ^^^^^^^^^ this trait's associated function doesn't have the requirement `hybrid_array::Array<u8, <P as PkeParams>::EncryptionKeySize> well-formed`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0275]: overflow evaluating the requirement `<<UInt<UInt<UInt<UInt<UTerm, ...>, ...>, ...>, ...> as VectorEncodingSize<...>>::EncodedVectorSize as Add<...>>::Output == _`
[INFO] [stdout]    --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ml-kem-0.3.0-rc.0/src/param.rs:169:5
[INFO] [stdout]     |
[INFO] [stdout] 169 |     fn split_ek(ek: &EncodedEncryptionKey<Self>) -> (&EncodedNttVector<Self>, &B32) {
[INFO] [stdout]     |     ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0275]: overflow evaluating whether `&hybrid_array::Array<u8, <P as PkeParams>::EncryptionKeySize>` is well-formed
[INFO] [stdout]    --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ml-kem-0.3.0-rc.0/src/param.rs:169:5
[INFO] [stdout]     |
[INFO] [stdout] 169 |     fn split_ek(ek: &EncodedEncryptionKey<Self>) -> (&EncodedNttVector<Self>, &B32) {
[INFO] [stdout]     |     ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout] note: the requirement `&hybrid_array::Array<u8, <P as PkeParams>::EncryptionKeySize> well-formed` appears on the `impl`'s associated function `split_ek` but not on the corresponding trait's associated function
[INFO] [stdout]    --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ml-kem-0.3.0-rc.0/src/param.rs:126:8
[INFO] [stdout]     |
[INFO] [stdout] 115 | pub trait PkeParams: Kem<SharedKeySize = U32> + ParameterSet {
[INFO] [stdout]     |           --------- in this trait
[INFO] [stdout] ...
[INFO] [stdout] 126 |     fn split_ek(ek: &EncodedEncryptionKey<Self>) -> (&EncodedNttVector<Self>, &B32);
[INFO] [stdout]     |        ^^^^^^^^ this trait's associated function doesn't have the requirement `&hybrid_array::Array<u8, <P as PkeParams>::EncryptionKeySize> well-formed`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0275]: overflow evaluating whether `(&hybrid_array::Array<u8, <P as PkeParams>::NttVectorSize>, &...)` is well-formed
[INFO] [stdout]    --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ml-kem-0.3.0-rc.0/src/param.rs:169:5
[INFO] [stdout]     |
[INFO] [stdout] 169 |     fn split_ek(ek: &EncodedEncryptionKey<Self>) -> (&EncodedNttVector<Self>, &B32) {
[INFO] [stdout]     |     ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout] note: the requirement `(&hybrid_array::Array<u8, <P as PkeParams>::NttVectorSize>, &hybrid_array::Array<u8, UInt<UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B0>, B0>, B0>, B0>, B0>>) well-formed` appears on the `impl`'s associated function `split_ek` but not on the corresponding trait's associated function
[INFO] [stdout]    --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ml-kem-0.3.0-rc.0/src/param.rs:126:8
[INFO] [stdout]     |
[INFO] [stdout] 115 | pub trait PkeParams: Kem<SharedKeySize = U32> + ParameterSet {
[INFO] [stdout]     |           --------- in this trait
[INFO] [stdout] ...
[INFO] [stdout] 126 |     fn split_ek(ek: &EncodedEncryptionKey<Self>) -> (&EncodedNttVector<Self>, &B32);
[INFO] [stdout]     |        ^^^^^^^^ this trait's associated function doesn't have the requirement `(&hybrid_array::Array<u8, <P as PkeParams>::NttVectorSize>, &hybrid_array::Array<u8, UInt<UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B0>, B0>, B0>, B0>, B0>>) well-formed`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0275]: overflow evaluating the requirement `P: PkeParams`
[INFO] [stdout]    --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ml-kem-0.3.0-rc.0/src/param.rs:133:23
[INFO] [stdout]     |
[INFO] [stdout] 133 | impl<P> PkeParams for P
[INFO] [stdout]     |                       ^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0275]: overflow evaluating the requirement `<P as ParameterSet>::K: module_lattice::ArraySize`
[INFO] [stdout]    --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ml-kem-0.3.0-rc.0/src/param.rs:135:12
[INFO] [stdout]     |
[INFO] [stdout] 135 |     P: Kem<CiphertextSize = Sum<EncodedUSize<P>, EncodedVSize<P>>, SharedKeySize = U32>
[INFO] [stdout]     |            ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout] note: required by a bound in `VectorEncodingSize`
[INFO] [stdout]    --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/module-lattice-0.1.0/src/encoding.rs:54:8
[INFO] [stdout]     |
[INFO] [stdout]  52 | pub trait VectorEncodingSize<K>: EncodingSize
[INFO] [stdout]     |           ------------------ required by a bound in this trait
[INFO] [stdout]  53 | where
[INFO] [stdout]  54 |     K: ArraySize,
[INFO] [stdout]     |        ^^^^^^^^^ required by this bound in `VectorEncodingSize`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0275]: overflow evaluating the requirement `<P as ParameterSet>::Dv: module_lattice::ArraySize`
[INFO] [stdout]    --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ml-kem-0.3.0-rc.0/src/param.rs:135:12
[INFO] [stdout]     |
[INFO] [stdout] 135 |     P: Kem<CiphertextSize = Sum<EncodedUSize<P>, EncodedVSize<P>>, SharedKeySize = U32>
[INFO] [stdout]     |            ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout] note: required by a bound in `EncodingSize`
[INFO] [stdout]    --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/module-lattice-0.1.0/src/encoding.rs:18:25
[INFO] [stdout]     |
[INFO] [stdout]  18 | pub trait EncodingSize: ArraySize {
[INFO] [stdout]     |                         ^^^^^^^^^ required by this bound in `EncodingSize`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0275]: overflow evaluating the requirement `<P as ParameterSet>::Dv: module_lattice::ArraySize`
[INFO] [stdout]    --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ml-kem-0.3.0-rc.0/src/param.rs:141:42
[INFO] [stdout]     |
[INFO] [stdout] 141 |         ArraySize + Sub<EncodedUSize<P>, Output = EncodedVSize<P>>,
[INFO] [stdout]     |                                          ^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout] note: required by a bound in `EncodingSize`
[INFO] [stdout]    --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/module-lattice-0.1.0/src/encoding.rs:18:25
[INFO] [stdout]     |
[INFO] [stdout]  18 | pub trait EncodingSize: ArraySize {
[INFO] [stdout]     |                         ^^^^^^^^^ required by this bound in `EncodingSize`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0275]: overflow evaluating the requirement `<<UInt<UInt<UInt<UInt<UTerm, ...>, ...>, ...>, ...> as VectorEncodingSize<...>>::EncodedVectorSize as Add<...>>::Output: Sub<...>`
[INFO] [stdout]    --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ml-kem-0.3.0-rc.0/src/param.rs:144:55
[INFO] [stdout]     |
[INFO] [stdout] 144 |         ArraySize + Sub<EncodedVectorSize<U12, P::K>, Output = U32>,
[INFO] [stdout]     |                                                       ^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0275]: overflow evaluating the requirement `<UInt<UInt<UInt<UInt<UTerm, B1>, ...>, ...>, ...> as VectorEncodingSize<...>>::EncodedVectorSize: Add<...>`
[INFO] [stdout]    --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ml-kem-0.3.0-rc.0/src/param.rs:142:35
[INFO] [stdout]     |
[INFO] [stdout] 142 |     EncodedVectorSize<U12, P::K>: Add<U32>,
[INFO] [stdout]     |                                   ^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0275]: overflow evaluating the requirement `<<UInt<UInt<UInt<UInt<UTerm, ...>, ...>, ...>, ...> as VectorEncodingSize<...>>::EncodedVectorSize as Add<...>>::Output: module_lattice::ArraySize`
[INFO] [stdout]    --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ml-kem-0.3.0-rc.0/src/param.rs:144:9
[INFO] [stdout]     |
[INFO] [stdout] 144 |         ArraySize + Sub<EncodedVectorSize<U12, P::K>, Output = U32>,
[INFO] [stdout]     |         ^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0275]: overflow evaluating the requirement `<<UInt<UInt<UInt<UInt<UTerm, ...>, ...>, ...>, ...> as VectorEncodingSize<...>>::EncodedVectorSize as Add<...>>::Output: Sub<...>`
[INFO] [stdout]    --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ml-kem-0.3.0-rc.0/src/param.rs:144:21
[INFO] [stdout]     |
[INFO] [stdout] 144 |         ArraySize + Sub<EncodedVectorSize<U12, P::K>, Output = U32>,
[INFO] [stdout]     |                     ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0275]: overflow evaluating the requirement `<UInt<UInt<UInt<UInt<UTerm, B1>, ...>, ...>, ...> as VectorEncodingSize<...>>::EncodedVectorSize: Sized`
[INFO] [stdout]    --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ml-kem-0.3.0-rc.0/src/param.rs:144:55
[INFO] [stdout]     |
[INFO] [stdout] 144 |         ArraySize + Sub<EncodedVectorSize<U12, P::K>, Output = U32>,
[INFO] [stdout]     |                                                       ^^^^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout] note: required by an implicit `Sized` bound in `Sub`
[INFO] [stdout]    --> /rustc/6713fa75964eb229409a9c6f6f5c418423e313ff/library/core/src/ops/arith.rs:188:0
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0275]: overflow evaluating the requirement `<UInt<UInt<UInt<UInt<UTerm, B1>, ...>, ...>, ...> as VectorEncodingSize<...>>::EncodedVectorSize: Sized`
[INFO] [stdout]    --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ml-kem-0.3.0-rc.0/src/param.rs:144:21
[INFO] [stdout]     |
[INFO] [stdout] 144 |         ArraySize + Sub<EncodedVectorSize<U12, P::K>, Output = U32>,
[INFO] [stdout]     |                     ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout] note: required by an implicit `Sized` bound in `Sub`
[INFO] [stdout]    --> /rustc/6713fa75964eb229409a9c6f6f5c418423e313ff/library/core/src/ops/arith.rs:188:0
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0275]: overflow evaluating whether `<<<P as ParameterSet>::Du as VectorEncodingSize<<P as ParameterSet>::K>>::EncodedVectorSize as Add<<... as EncodingSize>::EncodedPolynomialSize>>::Output` is well-formed
[INFO] [stdout]    --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ml-kem-0.3.0-rc.0/src/param.rs:141:42
[INFO] [stdout]     |
[INFO] [stdout] 141 |         ArraySize + Sub<EncodedUSize<P>, Output = EncodedVSize<P>>,
[INFO] [stdout]     |                                          ^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0275]: overflow evaluating whether `<<P as ParameterSet>::Du as VectorEncodingSize<<P as ParameterSet>::K>>::EncodedVectorSize` is well-formed
[INFO] [stdout]    --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ml-kem-0.3.0-rc.0/src/param.rs:141:42
[INFO] [stdout]     |
[INFO] [stdout] 141 |         ArraySize + Sub<EncodedUSize<P>, Output = EncodedVSize<P>>,
[INFO] [stdout]     |                                          ^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0275]: overflow evaluating whether `<<UInt<UInt<UInt<UInt<UTerm, ...>, ...>, ...>, ...> as VectorEncodingSize<...>>::EncodedVectorSize as Add<...>>::Output` is well-formed
[INFO] [stdout]    --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ml-kem-0.3.0-rc.0/src/param.rs:144:55
[INFO] [stdout]     |
[INFO] [stdout] 144 |         ArraySize + Sub<EncodedVectorSize<U12, P::K>, Output = U32>,
[INFO] [stdout]     |                                                       ^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0275]: overflow evaluating whether `<UInt<UInt<UInt<UInt<UTerm, B1>, ...>, ...>, ...> as VectorEncodingSize<...>>::EncodedVectorSize` is well-formed
[INFO] [stdout]    --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ml-kem-0.3.0-rc.0/src/param.rs:144:55
[INFO] [stdout]     |
[INFO] [stdout] 144 |         ArraySize + Sub<EncodedVectorSize<U12, P::K>, Output = U32>,
[INFO] [stdout]     |                                                       ^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0275]: overflow evaluating whether `<<P as ParameterSet>::Du as VectorEncodingSize<<P as ParameterSet>::K>>::EncodedVectorSize` is well-formed
[INFO] [stdout]    --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ml-kem-0.3.0-rc.0/src/param.rs:139:22
[INFO] [stdout]     |
[INFO] [stdout] 139 |     EncodedUSize<P>: Add<EncodedVSize<P>>,
[INFO] [stdout]     |                      ^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0275]: overflow evaluating whether `<<P as ParameterSet>::Dv as EncodingSize>::EncodedPolynomialSize` is well-formed
[INFO] [stdout]    --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ml-kem-0.3.0-rc.0/src/param.rs:139:22
[INFO] [stdout]     |
[INFO] [stdout] 139 |     EncodedUSize<P>: Add<EncodedVSize<P>>,
[INFO] [stdout]     |                      ^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0275]: overflow evaluating whether `<<<P as ParameterSet>::Du as VectorEncodingSize<<P as ParameterSet>::K>>::EncodedVectorSize as Add<<... as EncodingSize>::EncodedPolynomialSize>>::Output` is well-formed
[INFO] [stdout]    --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ml-kem-0.3.0-rc.0/src/param.rs:141:9
[INFO] [stdout]     |
[INFO] [stdout] 141 |         ArraySize + Sub<EncodedUSize<P>, Output = EncodedVSize<P>>,
[INFO] [stdout]     |         ^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0275]: overflow evaluating whether `<<<P as ParameterSet>::Du as VectorEncodingSize<<P as ParameterSet>::K>>::EncodedVectorSize as Add<<... as EncodingSize>::EncodedPolynomialSize>>::Output` is well-formed
[INFO] [stdout]    --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ml-kem-0.3.0-rc.0/src/param.rs:141:21
[INFO] [stdout]     |
[INFO] [stdout] 141 |         ArraySize + Sub<EncodedUSize<P>, Output = EncodedVSize<P>>,
[INFO] [stdout]     |                     ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0275]: overflow evaluating whether `<<P as ParameterSet>::Du as VectorEncodingSize<<P as ParameterSet>::K>>::EncodedVectorSize` is well-formed
[INFO] [stdout]    --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ml-kem-0.3.0-rc.0/src/param.rs:141:21
[INFO] [stdout]     |
[INFO] [stdout] 141 |         ArraySize + Sub<EncodedUSize<P>, Output = EncodedVSize<P>>,
[INFO] [stdout]     |                     ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0275]: overflow evaluating whether `<UInt<UInt<UInt<UInt<UTerm, B1>, ...>, ...>, ...> as VectorEncodingSize<...>>::EncodedVectorSize` is well-formed
[INFO] [stdout]    --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ml-kem-0.3.0-rc.0/src/param.rs:142:35
[INFO] [stdout]     |
[INFO] [stdout] 142 |     EncodedVectorSize<U12, P::K>: Add<U32>,
[INFO] [stdout]     |                                   ^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0275]: overflow evaluating whether `<<UInt<UInt<UInt<UInt<UTerm, ...>, ...>, ...>, ...> as VectorEncodingSize<...>>::EncodedVectorSize as Add<...>>::Output` is well-formed
[INFO] [stdout]    --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ml-kem-0.3.0-rc.0/src/param.rs:144:9
[INFO] [stdout]     |
[INFO] [stdout] 144 |         ArraySize + Sub<EncodedVectorSize<U12, P::K>, Output = U32>,
[INFO] [stdout]     |         ^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0275]: overflow evaluating whether `<<UInt<UInt<UInt<UInt<UTerm, ...>, ...>, ...>, ...> as VectorEncodingSize<...>>::EncodedVectorSize as Add<...>>::Output` is well-formed
[INFO] [stdout]    --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ml-kem-0.3.0-rc.0/src/param.rs:144:21
[INFO] [stdout]     |
[INFO] [stdout] 144 |         ArraySize + Sub<EncodedVectorSize<U12, P::K>, Output = U32>,
[INFO] [stdout]     |                     ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0275]: overflow evaluating whether `<UInt<UInt<UInt<UInt<UTerm, B1>, ...>, ...>, ...> as VectorEncodingSize<...>>::EncodedVectorSize` is well-formed
[INFO] [stdout]    --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ml-kem-0.3.0-rc.0/src/param.rs:144:21
[INFO] [stdout]     |
[INFO] [stdout] 144 |         ArraySize + Sub<EncodedVectorSize<U12, P::K>, Output = U32>,
[INFO] [stdout]     |                     ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0275]: overflow evaluating the requirement `<UInt<UInt<UInt<UInt<UTerm, B1>, ...>, ...>, ...> as VectorEncodingSize<...>>::EncodedVectorSize == _`
[INFO] [stdout]    --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ml-kem-0.3.0-rc.0/src/param.rs:146:5
[INFO] [stdout]     |
[INFO] [stdout] 146 |     type NttVectorSize = EncodedVectorSize<U12, P::K>;
[INFO] [stdout]     |     ^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0275]: overflow evaluating whether `<UInt<UInt<UInt<UInt<UTerm, B1>, ...>, ...>, ...> as VectorEncodingSize<...>>::EncodedVectorSize` is well-formed
[INFO] [stdout]    --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ml-kem-0.3.0-rc.0/src/param.rs:146:5
[INFO] [stdout]     |
[INFO] [stdout] 146 |     type NttVectorSize = EncodedVectorSize<U12, P::K>;
[INFO] [stdout]     |     ^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0275]: overflow evaluating the requirement `<<P as PkeParams>::NttVectorSize as Add<UInt<UInt<UInt<UInt<..., ...>, ...>, ...>, ...>>>::Output == _`
[INFO] [stdout]    --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ml-kem-0.3.0-rc.0/src/param.rs:147:5
[INFO] [stdout]     |
[INFO] [stdout] 147 |     type EncryptionKeySize = Sum<Self::NttVectorSize, U32>;
[INFO] [stdout]     |     ^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0275]: overflow evaluating whether `<<P as PkeParams>::NttVectorSize as Add<UInt<UInt<UInt<UInt<..., ...>, ...>, ...>, ...>>>::Output` is well-formed
[INFO] [stdout]    --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ml-kem-0.3.0-rc.0/src/param.rs:147:5
[INFO] [stdout]     |
[INFO] [stdout] 147 |     type EncryptionKeySize = Sum<Self::NttVectorSize, U32>;
[INFO] [stdout]     |     ^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0275]: overflow evaluating the requirement `<P as PkeParams>::NttVectorSize == _`
[INFO] [stdout]    --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ml-kem-0.3.0-rc.0/src/param.rs:149:46
[INFO] [stdout]     |
[INFO] [stdout] 149 |     fn encode_u12(p: &NttVector<Self::K>) -> EncodedNttVector<Self> {
[INFO] [stdout]     |                                              ^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0275]: overflow evaluating the requirement `hybrid_array::Array<u8, <P as PkeParams>::NttVectorSize>: Sized`
[INFO] [stdout]    --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ml-kem-0.3.0-rc.0/src/param.rs:149:46
[INFO] [stdout]     |
[INFO] [stdout] 149 |     fn encode_u12(p: &NttVector<Self::K>) -> EncodedNttVector<Self> {
[INFO] [stdout]     |                                              ^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout]     = note: the return type of a function must have a statically known size
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0275]: overflow evaluating whether `&module_lattice::NttVector<BaseField, <P as ParameterSet>::K>` is well-formed
[INFO] [stdout]    --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ml-kem-0.3.0-rc.0/src/param.rs:149:22
[INFO] [stdout]     |
[INFO] [stdout] 149 |     fn encode_u12(p: &NttVector<Self::K>) -> EncodedNttVector<Self> {
[INFO] [stdout]     |                      ^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0275]: overflow evaluating whether `hybrid_array::Array<u8, <P as PkeParams>::NttVectorSize>` is well-formed
[INFO] [stdout]    --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ml-kem-0.3.0-rc.0/src/param.rs:149:46
[INFO] [stdout]     |
[INFO] [stdout] 149 |     fn encode_u12(p: &NttVector<Self::K>) -> EncodedNttVector<Self> {
[INFO] [stdout]     |                                              ^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0275]: overflow evaluating the requirement `<P as PkeParams>::NttVectorSize == _`
[INFO] [stdout]    --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ml-kem-0.3.0-rc.0/src/param.rs:153:22
[INFO] [stdout]     |
[INFO] [stdout] 153 |     fn decode_u12(v: &EncodedNttVector<Self>) -> NttVector<Self::K> {
[INFO] [stdout]     |                      ^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0275]: overflow evaluating whether `&hybrid_array::Array<u8, <P as PkeParams>::NttVectorSize>` is well-formed
[INFO] [stdout]    --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ml-kem-0.3.0-rc.0/src/param.rs:153:22
[INFO] [stdout]     |
[INFO] [stdout] 153 |     fn decode_u12(v: &EncodedNttVector<Self>) -> NttVector<Self::K> {
[INFO] [stdout]     |                      ^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0275]: overflow evaluating whether `module_lattice::NttVector<BaseField, <P as ParameterSet>::K>` is well-formed
[INFO] [stdout]    --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ml-kem-0.3.0-rc.0/src/param.rs:153:50
[INFO] [stdout]     |
[INFO] [stdout] 153 |     fn decode_u12(v: &EncodedNttVector<Self>) -> NttVector<Self::K> {
[INFO] [stdout]     |                                                  ^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0275]: overflow evaluating whether `hybrid_array::Array<u8, <<P as ParameterSet>::Du as VectorEncodingSize<<P as ParameterSet>::K>>::EncodedVectorSize>` is well-formed
[INFO] [stdout]    --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ml-kem-0.3.0-rc.0/src/param.rs:157:21
[INFO] [stdout]     |
[INFO] [stdout] 157 |     fn concat_ct(u: EncodedU<Self>, v: EncodedV<Self>) -> Ciphertext<Self> {
[INFO] [stdout]     |                     ^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0275]: overflow evaluating whether `hybrid_array::Array<u8, <<P as ParameterSet>::Dv as EncodingSize>::EncodedPolynomialSize>` is well-formed
[INFO] [stdout]    --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ml-kem-0.3.0-rc.0/src/param.rs:157:40
[INFO] [stdout]     |
[INFO] [stdout] 157 |     fn concat_ct(u: EncodedU<Self>, v: EncodedV<Self>) -> Ciphertext<Self> {
[INFO] [stdout]     |                                        ^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0275]: overflow evaluating whether `hybrid_array::Array<u8, <<<P as ParameterSet>::Du as VectorEncodingSize<<... as ParameterSet>::K>>::EncodedVectorSize as Add<...>>::Output>` is well-formed
[INFO] [stdout]    --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ml-kem-0.3.0-rc.0/src/param.rs:157:59
[INFO] [stdout]     |
[INFO] [stdout] 157 |     fn concat_ct(u: EncodedU<Self>, v: EncodedV<Self>) -> Ciphertext<Self> {
[INFO] [stdout]     |                                                           ^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0275]: overflow evaluating whether `&hybrid_array::Array<u8, <<<P as ParameterSet>::Du as VectorEncodingSize<...>>::EncodedVectorSize as Add<...>>::Output>` is well-formed
[INFO] [stdout]    --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ml-kem-0.3.0-rc.0/src/param.rs:161:21
[INFO] [stdout]     |
[INFO] [stdout] 161 |     fn split_ct(ct: &Ciphertext<Self>) -> (&EncodedU<Self>, &EncodedV<Self>) {
[INFO] [stdout]     |                     ^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0275]: overflow evaluating whether `(&hybrid_array::Array<u8, <<P as ParameterSet>::Du as VectorEncodingSize<...>>::EncodedVectorSize>, ...)` is well-formed
[INFO] [stdout]    --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ml-kem-0.3.0-rc.0/src/param.rs:161:43
[INFO] [stdout]     |
[INFO] [stdout] 161 |     fn split_ct(ct: &Ciphertext<Self>) -> (&EncodedU<Self>, &EncodedV<Self>) {
[INFO] [stdout]     |                                           ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0275]: overflow evaluating the requirement `<P as PkeParams>::NttVectorSize == _`
[INFO] [stdout]    --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ml-kem-0.3.0-rc.0/src/param.rs:165:25
[INFO] [stdout]     |
[INFO] [stdout] 165 |     fn concat_ek(t_hat: EncodedNttVector<Self>, rho: B32) -> EncodedEncryptionKey<Self> {
[INFO] [stdout]     |                         ^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0275]: overflow evaluating the requirement `<P as PkeParams>::EncryptionKeySize == _`
[INFO] [stdout]    --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ml-kem-0.3.0-rc.0/src/param.rs:165:62
[INFO] [stdout]     |
[INFO] [stdout] 165 |     fn concat_ek(t_hat: EncodedNttVector<Self>, rho: B32) -> EncodedEncryptionKey<Self> {
[INFO] [stdout]     |                                                              ^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0275]: overflow evaluating the requirement `hybrid_array::Array<u8, <P as PkeParams>::EncryptionKeySize>: Sized`
[INFO] [stdout]    --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ml-kem-0.3.0-rc.0/src/param.rs:165:62
[INFO] [stdout]     |
[INFO] [stdout] 165 |     fn concat_ek(t_hat: EncodedNttVector<Self>, rho: B32) -> EncodedEncryptionKey<Self> {
[INFO] [stdout]     |                                                              ^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout]     = note: the return type of a function must have a statically known size
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0275]: overflow evaluating whether `hybrid_array::Array<u8, <P as PkeParams>::NttVectorSize>` is well-formed
[INFO] [stdout]    --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ml-kem-0.3.0-rc.0/src/param.rs:165:25
[INFO] [stdout]     |
[INFO] [stdout] 165 |     fn concat_ek(t_hat: EncodedNttVector<Self>, rho: B32) -> EncodedEncryptionKey<Self> {
[INFO] [stdout]     |                         ^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0275]: overflow evaluating whether `hybrid_array::Array<u8, UInt<UInt<UInt<UInt<UInt<..., ...>, ...>, ...>, ...>, ...>>` is well-formed
[INFO] [stdout]    --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ml-kem-0.3.0-rc.0/src/param.rs:165:54
[INFO] [stdout]     |
[INFO] [stdout] 165 |     fn concat_ek(t_hat: EncodedNttVector<Self>, rho: B32) -> EncodedEncryptionKey<Self> {
[INFO] [stdout]     |                                                      ^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0275]: overflow evaluating whether `hybrid_array::Array<u8, <P as PkeParams>::EncryptionKeySize>` is well-formed
[INFO] [stdout]    --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ml-kem-0.3.0-rc.0/src/param.rs:165:62
[INFO] [stdout]     |
[INFO] [stdout] 165 |     fn concat_ek(t_hat: EncodedNttVector<Self>, rho: B32) -> EncodedEncryptionKey<Self> {
[INFO] [stdout]     |                                                              ^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0275]: overflow evaluating the requirement `<P as PkeParams>::EncryptionKeySize == _`
[INFO] [stdout]    --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ml-kem-0.3.0-rc.0/src/param.rs:169:21
[INFO] [stdout]     |
[INFO] [stdout] 169 |     fn split_ek(ek: &EncodedEncryptionKey<Self>) -> (&EncodedNttVector<Self>, &B32) {
[INFO] [stdout]     |                     ^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0275]: overflow evaluating the requirement `<P as PkeParams>::NttVectorSize == _`
[INFO] [stdout]    --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ml-kem-0.3.0-rc.0/src/param.rs:169:53
[INFO] [stdout]     |
[INFO] [stdout] 169 |     fn split_ek(ek: &EncodedEncryptionKey<Self>) -> (&EncodedNttVector<Self>, &B32) {
[INFO] [stdout]     |                                                     ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0275]: overflow evaluating whether `&hybrid_array::Array<u8, <P as PkeParams>::EncryptionKeySize>` is well-formed
[INFO] [stdout]    --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ml-kem-0.3.0-rc.0/src/param.rs:169:21
[INFO] [stdout]     |
[INFO] [stdout] 169 |     fn split_ek(ek: &EncodedEncryptionKey<Self>) -> (&EncodedNttVector<Self>, &B32) {
[INFO] [stdout]     |                     ^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0275]: overflow evaluating whether `(&hybrid_array::Array<u8, <P as PkeParams>::NttVectorSize>, &...)` is well-formed
[INFO] [stdout]    --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ml-kem-0.3.0-rc.0/src/param.rs:169:53
[INFO] [stdout]     |
[INFO] [stdout] 169 |     fn split_ek(ek: &EncodedEncryptionKey<Self>) -> (&EncodedNttVector<Self>, &B32) {
[INFO] [stdout]     |                                                     ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0275]: overflow evaluating the requirement `UInt<UInt<UInt<UInt<UTerm, B1>, B1>, ...>, ...>: EncodingSize`
[INFO] [stdout]    --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ml-kem-0.3.0-rc.0/src/param.rs:150:18
[INFO] [stdout]     |
[INFO] [stdout] 150 |         Encode::<U12>::encode(p)
[INFO] [stdout]     |                  ^^^
[INFO] [stdout]     |
[INFO] [stdout] note: required by a bound in `encode`
[INFO] [stdout]    --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/module-lattice-0.1.0/src/encoding.rs:144:21
[INFO] [stdout]     |
[INFO] [stdout] 144 | pub trait Encode<D: EncodingSize> {
[INFO] [stdout]     |                     ^^^^^^^^^^^^ required by this bound in `Encode::encode`
[INFO] [stdout] ...
[INFO] [stdout] 148 |     fn encode(&self) -> Array<u8, Self::EncodedSize>;
[INFO] [stdout]     |        ------ required by a bound in this associated function
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0275]: overflow evaluating the requirement `module_lattice::NttVector<BaseField, <P as ParameterSet>::K>: Encode<UInt<UInt<UInt<..., ...>, ...>, ...>>`
[INFO] [stdout]    --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ml-kem-0.3.0-rc.0/src/param.rs:150:31
[INFO] [stdout]     |
[INFO] [stdout] 150 |         Encode::<U12>::encode(p)
[INFO] [stdout]     |         --------------------- ^
[INFO] [stdout]     |         |
[INFO] [stdout]     |         required by a bound introduced by this call
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0275]: overflow evaluating the requirement `<P as PkeParams>::NttVectorSize == <module_lattice::NttVector<BaseField, <P as ParameterSet>::K> as Encode<...>>::EncodedSize`
[INFO] [stdout]    --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ml-kem-0.3.0-rc.0/src/param.rs:150:9
[INFO] [stdout]     |
[INFO] [stdout] 150 |         Encode::<U12>::encode(p)
[INFO] [stdout]     |         ^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0275]: overflow evaluating the requirement `hybrid_array::Array<u8, <module_lattice::NttVector<BaseField, <P as ParameterSet>::K> as Encode<...>>::EncodedSize>: Sized`
[INFO] [stdout]    --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ml-kem-0.3.0-rc.0/src/param.rs:150:9
[INFO] [stdout]     |
[INFO] [stdout] 150 |         Encode::<U12>::encode(p)
[INFO] [stdout]     |         ^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout]     = note: the return type of a function must have a statically known size
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0275]: overflow evaluating whether `module_lattice::NttVector<BaseField, <P as ParameterSet>::K>` is well-formed
[INFO] [stdout]    --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ml-kem-0.3.0-rc.0/src/param.rs:150:9
[INFO] [stdout]     |
[INFO] [stdout] 150 |         Encode::<U12>::encode(p)
[INFO] [stdout]     |         ^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0275]: overflow evaluating whether `&module_lattice::NttVector<BaseField, <P as ParameterSet>::K>` is well-formed
[INFO] [stdout]    --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ml-kem-0.3.0-rc.0/src/param.rs:150:31
[INFO] [stdout]     |
[INFO] [stdout] 150 |         Encode::<U12>::encode(p)
[INFO] [stdout]     |                               ^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0275]: overflow evaluating whether `hybrid_array::Array<u8, <module_lattice::NttVector<BaseField, <P as ParameterSet>::K> as Encode<...>>::EncodedSize>` is well-formed
[INFO] [stdout]    --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ml-kem-0.3.0-rc.0/src/param.rs:150:9
[INFO] [stdout]     |
[INFO] [stdout] 150 |         Encode::<U12>::encode(p)
[INFO] [stdout]     |         ^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0275]: overflow evaluating the requirement `<P as PkeParams>::NttVectorSize == _`
[INFO] [stdout]    --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ml-kem-0.3.0-rc.0/src/param.rs:149:69
[INFO] [stdout]     |
[INFO] [stdout] 149 |       fn encode_u12(p: &NttVector<Self::K>) -> EncodedNttVector<Self> {
[INFO] [stdout]     |  _____________________________________________________________________^
[INFO] [stdout] 150 | |         Encode::<U12>::encode(p)
[INFO] [stdout] 151 | |     }
[INFO] [stdout]     | |_____^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0275]: overflow evaluating the requirement `<module_lattice::NttVector<BaseField, <P as ParameterSet>::K> as Encode<UInt<UInt<..., ...>, ...>>>::EncodedSize == _`
[INFO] [stdout]    --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ml-kem-0.3.0-rc.0/src/param.rs:150:9
[INFO] [stdout]     |
[INFO] [stdout] 150 |         Encode::<U12>::encode(p)
[INFO] [stdout]     |         ^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0275]: overflow evaluating the requirement `<P as PkeParams>::NttVectorSize == _`
[INFO] [stdout]    --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ml-kem-0.3.0-rc.0/src/param.rs:149:5
[INFO] [stdout]     |
[INFO] [stdout] 149 |     fn encode_u12(p: &NttVector<Self::K>) -> EncodedNttVector<Self> {
[INFO] [stdout]     |     ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stderr]     Checking scrypt v0.12.0-rc.10
[INFO] [stderr]     Checking serde v1.0.228
[INFO] [stderr]     Checking clap v4.5.60
[INFO] [stderr]     Checking crypto-primes v0.7.0-pre.9
[INFO] [stderr]     Checking primefield v0.14.0-rc.7
[INFO] [stderr]     Checking spki v0.8.0-rc.4
[INFO] [stderr]     Checking sec1 v0.8.0-rc.13
[INFO] [stderr]     Checking pkcs5 v0.8.0-rc.13
[INFO] [stderr]     Checking x509-cert v0.3.0-rc.4
[INFO] [stderr]     Checking pkcs1 v0.8.0-rc.4
[INFO] [stderr]     Checking pkcs8 v0.11.0-rc.11
[INFO] [stdout] error[E0275]: overflow evaluating the requirement `_ == <P as PkeParams>::NttVectorSize`
[INFO] [stdout]    --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ml-kem-0.3.0-rc.0/src/param.rs:153:19
[INFO] [stdout]     |
[INFO] [stdout] 153 |     fn decode_u12(v: &EncodedNttVector<Self>) -> NttVector<Self::K> {
[INFO] [stdout]     |                   ^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0275]: overflow evaluating the requirement `UInt<UInt<UInt<UInt<UTerm, B1>, B1>, ...>, ...>: EncodingSize`
[INFO] [stdout]    --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ml-kem-0.3.0-rc.0/src/param.rs:154:18
[INFO] [stdout]     |
[INFO] [stdout] 154 |         Encode::<U12>::decode(v)
[INFO] [stdout]     |                  ^^^
[INFO] [stdout]     |
[INFO] [stdout] note: required by a bound in `decode`
[INFO] [stdout]    --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/module-lattice-0.1.0/src/encoding.rs:144:21
[INFO] [stdout]     |
[INFO] [stdout] 144 | pub trait Encode<D: EncodingSize> {
[INFO] [stdout]     |                     ^^^^^^^^^^^^ required by this bound in `Encode::decode`
[INFO] [stdout] ...
[INFO] [stdout] 150 |     fn decode(enc: &Array<u8, Self::EncodedSize>) -> Self;
[INFO] [stdout]     |        ------ required by a bound in this associated function
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0275]: overflow evaluating the requirement `module_lattice::NttVector<BaseField, <P as ParameterSet>::K>: Encode<UInt<UInt<UInt<..., ...>, ...>, ...>>`
[INFO] [stdout]    --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ml-kem-0.3.0-rc.0/src/param.rs:154:9
[INFO] [stdout]     |
[INFO] [stdout] 154 |         Encode::<U12>::decode(v)
[INFO] [stdout]     |         ^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0275]: overflow evaluating the requirement `_ == <module_lattice::NttVector<BaseField, <P as ParameterSet>::K> as Encode<UInt<..., ...>>>::EncodedSize`
[INFO] [stdout]    --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ml-kem-0.3.0-rc.0/src/param.rs:154:9
[INFO] [stdout]     |
[INFO] [stdout] 154 |         Encode::<U12>::decode(v)
[INFO] [stdout]     |         ^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0275]: overflow evaluating whether `module_lattice::NttVector<BaseField, <P as ParameterSet>::K>` is well-formed
[INFO] [stdout]    --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ml-kem-0.3.0-rc.0/src/param.rs:154:9
[INFO] [stdout]     |
[INFO] [stdout] 154 |         Encode::<U12>::decode(v)
[INFO] [stdout]     |         ^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0275]: overflow evaluating whether `&hybrid_array::Array<u8, <module_lattice::NttVector<BaseField, <... as ParameterSet>::K> as Encode<...>>::EncodedSize>` is well-formed
[INFO] [stdout]    --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ml-kem-0.3.0-rc.0/src/param.rs:154:31
[INFO] [stdout]     |
[INFO] [stdout] 154 |         Encode::<U12>::decode(v)
[INFO] [stdout]     |                               ^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0275]: overflow evaluating whether `module_lattice::NttVector<BaseField, <P as ParameterSet>::K>` is well-formed
[INFO] [stdout]    --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ml-kem-0.3.0-rc.0/src/param.rs:154:9
[INFO] [stdout]     |
[INFO] [stdout] 154 |         Encode::<U12>::decode(v)
[INFO] [stdout]     |         ^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0275]: overflow evaluating the requirement `<P as PkeParams>::NttVectorSize == _`
[INFO] [stdout]    --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ml-kem-0.3.0-rc.0/src/param.rs:153:19
[INFO] [stdout]     |
[INFO] [stdout] 153 |     fn decode_u12(v: &EncodedNttVector<Self>) -> NttVector<Self::K> {
[INFO] [stdout]     |                   ^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0275]: overflow evaluating the requirement `<P as PkeParams>::NttVectorSize == _`
[INFO] [stdout]    --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ml-kem-0.3.0-rc.0/src/param.rs:153:5
[INFO] [stdout]     |
[INFO] [stdout] 153 |     fn decode_u12(v: &EncodedNttVector<Self>) -> NttVector<Self::K> {
[INFO] [stdout]     |     ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0282]: type annotations needed
[INFO] [stdout]    --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ml-kem-0.3.0-rc.0/src/param.rs:158:9
[INFO] [stdout]     |
[INFO] [stdout] 158 |         u.concat(v)
[INFO] [stdout]     |         ^ cannot infer type
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0275]: overflow evaluating the requirement `<<P as ParameterSet>::Du as VectorEncodingSize<<P as ParameterSet>::K>>::EncodedVectorSize: hybrid_array::ArraySize`
[INFO] [stdout]    --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ml-kem-0.3.0-rc.0/src/param.rs:162:12
[INFO] [stdout]     |
[INFO] [stdout] 162 |         ct.split_ref()
[INFO] [stdout]     |            ^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout] note: required by a bound in `hybrid_array::Array::<T, U>::split_ref`
[INFO] [stdout]    --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/hybrid-array-0.4.7/src/lib.rs:268:12
[INFO] [stdout]     |
[INFO] [stdout] 265 |     pub fn split_ref<N>(&self) -> SplitRefResult<'_, T, U, N>
[INFO] [stdout]     |            --------- required by a bound in this associated function
[INFO] [stdout] ...
[INFO] [stdout] 268 |         N: ArraySize,
[INFO] [stdout]     |            ^^^^^^^^^ required by this bound in `Array::<T, U>::split_ref`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0275]: overflow evaluating the requirement `<<P as ParameterSet>::Dv as EncodingSize>::EncodedPolynomialSize == <<<<... as ParameterSet>::Du as VectorEncodingSize<...>>::EncodedVectorSize as Add<...>>::Output as Sub<...>>::Output`
[INFO] [stdout]    --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ml-kem-0.3.0-rc.0/src/param.rs:162:9
[INFO] [stdout]     |
[INFO] [stdout] 162 |         ct.split_ref()
[INFO] [stdout]     |         ^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0275]: overflow evaluating whether `<<<P as ParameterSet>::Du as VectorEncodingSize<<P as ParameterSet>::K>>::EncodedVectorSize as Add<<... as EncodingSize>::EncodedPolynomialSize>>::Output` is well-formed
[INFO] [stdout]    --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ml-kem-0.3.0-rc.0/src/param.rs:162:9
[INFO] [stdout]     |
[INFO] [stdout] 162 |         ct.split_ref()
[INFO] [stdout]     |         ^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0275]: overflow evaluating whether `<<P as ParameterSet>::Du as VectorEncodingSize<<P as ParameterSet>::K>>::EncodedVectorSize` is well-formed
[INFO] [stdout]    --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ml-kem-0.3.0-rc.0/src/param.rs:162:9
[INFO] [stdout]     |
[INFO] [stdout] 162 |         ct.split_ref()
[INFO] [stdout]     |         ^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0275]: overflow evaluating whether `&hybrid_array::Array<u8, <<<P as ParameterSet>::Du as VectorEncodingSize<...>>::EncodedVectorSize as Add<...>>::Output>` is well-formed
[INFO] [stdout]    --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ml-kem-0.3.0-rc.0/src/param.rs:162:12
[INFO] [stdout]     |
[INFO] [stdout] 162 |         ct.split_ref()
[INFO] [stdout]     |            ^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0275]: overflow evaluating whether `(&hybrid_array::Array<u8, <<P as ParameterSet>::Du as VectorEncodingSize<...>>::EncodedVectorSize>, ...)` is well-formed
[INFO] [stdout]    --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ml-kem-0.3.0-rc.0/src/param.rs:162:12
[INFO] [stdout]     |
[INFO] [stdout] 162 |         ct.split_ref()
[INFO] [stdout]     |            ^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0275]: overflow evaluating the requirement `<<<<P as ParameterSet>::Du as VectorEncodingSize<<P as ParameterSet>::K>>::EncodedVectorSize as Add<...>>::Output as Sub<...>>::Output == _`
[INFO] [stdout]    --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ml-kem-0.3.0-rc.0/src/param.rs:162:9
[INFO] [stdout]     |
[INFO] [stdout] 162 |         ct.split_ref()
[INFO] [stdout]     |         ^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0275]: overflow evaluating the requirement `_ == <P as PkeParams>::NttVectorSize`
[INFO] [stdout]    --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ml-kem-0.3.0-rc.0/src/param.rs:165:18
[INFO] [stdout]     |
[INFO] [stdout] 165 |     fn concat_ek(t_hat: EncodedNttVector<Self>, rho: B32) -> EncodedEncryptionKey<Self> {
[INFO] [stdout]     |                  ^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0275]: overflow evaluating the requirement `UInt<UInt<UInt<UInt<UInt<UInt<UTerm, ...>, ...>, ...>, ...>, ...>, ...>: hybrid_array::ArraySize`
[INFO] [stdout]    --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ml-kem-0.3.0-rc.0/src/param.rs:166:15
[INFO] [stdout]     |
[INFO] [stdout] 166 |         t_hat.concat(rho)
[INFO] [stdout]     |               ^^^^^^
[INFO] [stdout]     |
[INFO] [stdout] note: required by a bound in `hybrid_array::Array::<T, U>::concat`
[INFO] [stdout]    --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/hybrid-array-0.4.7/src/lib.rs:229:12
[INFO] [stdout]     |
[INFO] [stdout] 227 |     pub fn concat<N>(self, other: Array<T, N>) -> Array<T, Sum<U, N>>
[INFO] [stdout]     |            ------ required by a bound in this associated function
[INFO] [stdout] 228 |     where
[INFO] [stdout] 229 |         N: ArraySize,
[INFO] [stdout]     |            ^^^^^^^^^ required by this bound in `Array::<T, U>::concat`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0275]: overflow evaluating the requirement `<P as PkeParams>::EncryptionKeySize == <<<<P as ParameterSet>::Du as VectorEncodingSize<...>>::EncodedVectorSize as Add<...>>::Output as Add<...>>::Output`
[INFO] [stdout]    --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ml-kem-0.3.0-rc.0/src/param.rs:166:9
[INFO] [stdout]     |
[INFO] [stdout] 166 |         t_hat.concat(rho)
[INFO] [stdout]     |         ^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0275]: overflow evaluating whether `hybrid_array::Array<u8, UInt<UInt<UInt<UInt<UInt<..., ...>, ...>, ...>, ...>, ...>>` is well-formed
[INFO] [stdout]    --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ml-kem-0.3.0-rc.0/src/param.rs:166:15
[INFO] [stdout]     |
[INFO] [stdout] 166 |         t_hat.concat(rho)
[INFO] [stdout]     |               ^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0275]: overflow evaluating whether `hybrid_array::Array<u8, UInt<UInt<UInt<UInt<UInt<..., ...>, ...>, ...>, ...>, ...>>` is well-formed
[INFO] [stdout]    --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ml-kem-0.3.0-rc.0/src/param.rs:166:22
[INFO] [stdout]     |
[INFO] [stdout] 166 |         t_hat.concat(rho)
[INFO] [stdout]     |                      ^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0275]: overflow evaluating the requirement `<P as PkeParams>::NttVectorSize == _`
[INFO] [stdout]    --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ml-kem-0.3.0-rc.0/src/param.rs:165:18
[INFO] [stdout]     |
[INFO] [stdout] 165 |     fn concat_ek(t_hat: EncodedNttVector<Self>, rho: B32) -> EncodedEncryptionKey<Self> {
[INFO] [stdout]     |                  ^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0275]: overflow evaluating the requirement `<P as PkeParams>::EncryptionKeySize == _`
[INFO] [stdout]    --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ml-kem-0.3.0-rc.0/src/param.rs:165:89
[INFO] [stdout]     |
[INFO] [stdout] 165 |       fn concat_ek(t_hat: EncodedNttVector<Self>, rho: B32) -> EncodedEncryptionKey<Self> {
[INFO] [stdout]     |  _________________________________________________________________________________________^
[INFO] [stdout] 166 | |         t_hat.concat(rho)
[INFO] [stdout] 167 | |     }
[INFO] [stdout]     | |_____^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0275]: overflow evaluating the requirement `<P as PkeParams>::NttVectorSize == _`
[INFO] [stdout]    --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ml-kem-0.3.0-rc.0/src/param.rs:165:5
[INFO] [stdout]     |
[INFO] [stdout] 165 |     fn concat_ek(t_hat: EncodedNttVector<Self>, rho: B32) -> EncodedEncryptionKey<Self> {
[INFO] [stdout]     |     ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0275]: overflow evaluating the requirement `<P as PkeParams>::EncryptionKeySize == _`
[INFO] [stdout]    --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ml-kem-0.3.0-rc.0/src/param.rs:165:5
[INFO] [stdout]     |
[INFO] [stdout] 165 |     fn concat_ek(t_hat: EncodedNttVector<Self>, rho: B32) -> EncodedEncryptionKey<Self> {
[INFO] [stdout]     |     ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0275]: overflow evaluating the requirement `_ == <P as PkeParams>::EncryptionKeySize`
[INFO] [stdout]    --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ml-kem-0.3.0-rc.0/src/param.rs:169:17
[INFO] [stdout]     |
[INFO] [stdout] 169 |     fn split_ek(ek: &EncodedEncryptionKey<Self>) -> (&EncodedNttVector<Self>, &B32) {
[INFO] [stdout]     |                 ^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0283]: type annotations needed
[INFO] [stdout]    --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ml-kem-0.3.0-rc.0/src/param.rs:170:12
[INFO] [stdout]     |
[INFO] [stdout] 170 |         ek.split_ref()
[INFO] [stdout]     |         -- ^^^^^^^^^ cannot infer type of the type parameter `N` declared on the method `split_ref`
[INFO] [stdout]     |         |
[INFO] [stdout]     |         type must be known at this point
[INFO] [stdout]     |
[INFO] [stdout] note: multiple `impl`s or `where` clauses satisfying `<<<P as ParameterSet>::Du as VectorEncodingSize<<P as ParameterSet>::K>>::EncodedVectorSize as Add<<<P as ParameterSet>::Dv as EncodingSize>::EncodedPolynomialSize>>::Output: Sub<_>` found
[INFO] [stdout]    --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ml-kem-0.3.0-rc.0/src/param.rs:141:21
[INFO] [stdout]     |
[INFO] [stdout] 141 |         ArraySize + Sub<EncodedUSize<P>, Output = EncodedVSize<P>>,
[INFO] [stdout]     |                     ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] ...
[INFO] [stdout] 144 |         ArraySize + Sub<EncodedVectorSize<U12, P::K>, Output = U32>,
[INFO] [stdout]     |                     ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] note: required by a bound in `hybrid_array::Array::<T, U>::split_ref`
[INFO] [stdout]    --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/hybrid-array-0.4.7/src/lib.rs:267:12
[INFO] [stdout]     |
[INFO] [stdout] 265 |     pub fn split_ref<N>(&self) -> SplitRefResult<'_, T, U, N>
[INFO] [stdout]     |            --------- required by a bound in this associated function
[INFO] [stdout] 266 |     where
[INFO] [stdout] 267 |         U: Sub<N>,
[INFO] [stdout]     |            ^^^^^^ required by this bound in `Array::<T, U>::split_ref`
[INFO] [stdout] help: consider specifying a concrete type for the type parameter `N`
[INFO] [stdout]     |
[INFO] [stdout] 170 |         ek.split_ref::</* Type */>()
[INFO] [stdout]     |                     ++++++++++++++
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0275]: overflow evaluating the requirement `<<P as ParameterSet>::Du as VectorEncodingSize<<P as ParameterSet>::K>>::EncodedVectorSize == <P as PkeParams>::NttVectorSize`
[INFO] [stdout]    --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ml-kem-0.3.0-rc.0/src/param.rs:170:9
[INFO] [stdout]     |
[INFO] [stdout] 170 |         ek.split_ref()
[INFO] [stdout]     |         ^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0275]: overflow evaluating the requirement `<P as PkeParams>::EncryptionKeySize == _`
[INFO] [stdout]    --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ml-kem-0.3.0-rc.0/src/param.rs:169:17
[INFO] [stdout]     |
[INFO] [stdout] 169 |     fn split_ek(ek: &EncodedEncryptionKey<Self>) -> (&EncodedNttVector<Self>, &B32) {
[INFO] [stdout]     |                 ^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0275]: overflow evaluating the requirement `<P as PkeParams>::NttVectorSize == _`
[INFO] [stdout]    --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ml-kem-0.3.0-rc.0/src/param.rs:169:85
[INFO] [stdout]     |
[INFO] [stdout] 169 |       fn split_ek(ek: &EncodedEncryptionKey<Self>) -> (&EncodedNttVector<Self>, &B32) {
[INFO] [stdout]     |  _____________________________________________________________________________________^
[INFO] [stdout] 170 | |         ek.split_ref()
[INFO] [stdout] 171 | |     }
[INFO] [stdout]     | |_____^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0275]: overflow evaluating the requirement `<<<<P as ParameterSet>::Du as VectorEncodingSize<<P as ParameterSet>::K>>::EncodedVectorSize as Add<...>>::Output as Sub<...>>::Output == _`
[INFO] [stdout]    --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ml-kem-0.3.0-rc.0/src/param.rs:170:9
[INFO] [stdout]     |
[INFO] [stdout] 170 |         ek.split_ref()
[INFO] [stdout]     |         ^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0275]: overflow evaluating the requirement `<P as PkeParams>::EncryptionKeySize == _`
[INFO] [stdout]    --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ml-kem-0.3.0-rc.0/src/param.rs:169:5
[INFO] [stdout]     |
[INFO] [stdout] 169 |     fn split_ek(ek: &EncodedEncryptionKey<Self>) -> (&EncodedNttVector<Self>, &B32) {
[INFO] [stdout]     |     ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0275]: overflow evaluating the requirement `<P as PkeParams>::NttVectorSize == _`
[INFO] [stdout]    --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ml-kem-0.3.0-rc.0/src/param.rs:169:5
[INFO] [stdout]     |
[INFO] [stdout] 169 |     fn split_ek(ek: &EncodedEncryptionKey<Self>) -> (&EncodedNttVector<Self>, &B32) {
[INFO] [stdout]     |     ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stderr]     Checking elliptic-curve v0.14.0-rc.28
[INFO] [stderr]     Checking ed25519 v3.0.0-rc.4
[INFO] [stderr]     Checking ml-dsa v0.1.0-rc.7
[INFO] [stderr]     Checking serde_yaml v0.9.34+deprecated
[INFO] [stderr]     Checking serde-value v0.7.0
[INFO] [stdout] Some errors have detailed explanations: E0275, E0282, E0283.
[INFO] [stdout] 
[INFO] [stdout] For more information about an error, try `rustc --explain E0275`.
[INFO] [stdout] 
[INFO] [stderr] error: could not compile `ml-kem` (lib) due to 113 previous errors
[INFO] [stderr] warning: build failed, waiting for other jobs to finish...
[INFO] running `Command { std: "docker" "inspect" "c7d650a375b75ce6678bf98d271b1e95958b0c7248d7de69e1c2968d3c39e5a5", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "c7d650a375b75ce6678bf98d271b1e95958b0c7248d7de69e1c2968d3c39e5a5", kill_on_drop: false }`
[INFO] [stdout] c7d650a375b75ce6678bf98d271b1e95958b0c7248d7de69e1c2968d3c39e5a5
