[INFO] fetching crate ml-kem 0.3.0-rc.0...
[INFO] checking ml-kem-0.3.0-rc.0 against try#c9557a20e5ef2e0e02c29a5fafd850d1b7cf1e4f for pr-133502-21
[INFO] extracting crate ml-kem 0.3.0-rc.0 into /workspace/builds/worker-4-tc2/source
[INFO] started tweaking crates.io crate ml-kem 0.3.0-rc.0
[INFO] removed 0 missing tests
[INFO] finished tweaking crates.io crate ml-kem 0.3.0-rc.0
[INFO] tweaked toml for crates.io crate ml-kem 0.3.0-rc.0 written to /workspace/builds/worker-4-tc2/source/Cargo.toml
[INFO] validating manifest of crates.io crate ml-kem 0.3.0-rc.0 on toolchain c9557a20e5ef2e0e02c29a5fafd850d1b7cf1e4f
[INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+c9557a20e5ef2e0e02c29a5fafd850d1b7cf1e4f" "metadata" "--manifest-path" "Cargo.toml" "--no-deps", kill_on_drop: false }`
[INFO] crate crates.io crate ml-kem 0.3.0-rc.0 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" "+c9557a20e5ef2e0e02c29a5fafd850d1b7cf1e4f" "fetch" "--manifest-path" "Cargo.toml", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-4-tc2/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-4-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:29356a839a4d14451438f794ce8414e707d72405f44418718d724d22562fe786" "/opt/rustwide/cargo-home/bin/cargo" "+c9557a20e5ef2e0e02c29a5fafd850d1b7cf1e4f" "metadata" "--no-deps" "--format-version=1", kill_on_drop: false }`
[INFO] [stdout] f7880debd7531bb1937e28f364ee7b02075e1a20e597c0c8c1eae71335364d3e
[INFO] running `Command { std: "docker" "start" "-a" "f7880debd7531bb1937e28f364ee7b02075e1a20e597c0c8c1eae71335364d3e", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "inspect" "f7880debd7531bb1937e28f364ee7b02075e1a20e597c0c8c1eae71335364d3e", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "f7880debd7531bb1937e28f364ee7b02075e1a20e597c0c8c1eae71335364d3e", kill_on_drop: false }`
[INFO] [stdout] f7880debd7531bb1937e28f364ee7b02075e1a20e597c0c8c1eae71335364d3e
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-4-tc2/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-4-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:29356a839a4d14451438f794ce8414e707d72405f44418718d724d22562fe786" "/opt/rustwide/cargo-home/bin/cargo" "+c9557a20e5ef2e0e02c29a5fafd850d1b7cf1e4f" "check" "--frozen" "--all" "--all-targets" "--message-format=json", kill_on_drop: false }`
[INFO] [stdout] eebff30632f6de470010409ef69b27f7793631aa9a3708c8e4822f323291c208
[INFO] running `Command { std: "docker" "start" "-a" "eebff30632f6de470010409ef69b27f7793631aa9a3708c8e4822f323291c208", kill_on_drop: false }`
[INFO] [stderr]    Compiling proc-macro2 v1.0.105
[INFO] [stderr]    Compiling quote v1.0.43
[INFO] [stderr]    Compiling typenum v1.19.0
[INFO] [stderr]     Checking subtle v2.6.1
[INFO] [stderr]     Checking rand_core v0.10.0
[INFO] [stderr]    Compiling zerocopy v0.8.33
[INFO] [stderr]    Compiling zmij v1.0.12
[INFO] [stderr]     Checking memchr v2.7.6
[INFO] [stderr]     Checking regex-syntax v0.8.8
[INFO] [stderr]     Checking clap_lex v0.7.6
[INFO] [stderr]    Compiling libc v0.2.180
[INFO] [stderr]     Checking clap_builder v4.5.54
[INFO] [stderr]     Checking num-integer v0.1.46
[INFO] [stderr]    Compiling getrandom v0.4.1
[INFO] [stderr]     Checking serde_json v1.0.149
[INFO] [stderr]     Checking keccak v0.2.0-rc.1
[INFO] [stderr]     Checking num-bigint v0.4.6
[INFO] [stderr]     Checking hex-literal v1.1.0
[INFO] [stderr]    Compiling syn v2.0.114
[INFO] [stderr]     Checking regex-automata v0.4.13
[INFO] [stderr]     Checking num-rational v0.4.2
[INFO] [stderr]     Checking clap v4.5.54
[INFO] [stderr]     Checking regex v1.12.2
[INFO] [stderr]     Checking hybrid-array v0.4.7
[INFO] [stderr]    Compiling serde_derive v1.0.228
[INFO] [stderr]    Compiling zerocopy-derive v0.8.33
[INFO] [stderr]     Checking crypto-common v0.2.0
[INFO] [stderr]     Checking block-buffer v0.11.0
[INFO] [stderr]     Checking module-lattice v0.1.0
[INFO] [stderr]     Checking digest v0.11.0-rc.11
[INFO] [stderr]     Checking kem v0.3.0-rc.6
[INFO] [stderr]     Checking sha3 v0.11.0-rc.7
[INFO] [stderr]     Checking ml-kem v0.3.0-rc.0 (/opt/rustwide/workdir)
[INFO] [stderr]     Checking serde v1.0.228
[INFO] [stderr]     Checking half v2.7.1
[INFO] [stderr]     Checking tinytemplate v1.2.1
[INFO] [stderr]     Checking hex v0.4.3
[INFO] [stderr]     Checking ciborium-ll v0.2.2
[INFO] [stderr]     Checking ciborium v0.2.2
[INFO] [stderr]     Checking criterion v0.7.0
[INFO] [stdout] error[E0275]: overflow evaluating the requirement `<P as PkeParams>::NttVectorSize == _`
[INFO] [stdout]    --> src/param.rs:146:26
[INFO] [stdout]     |
[INFO] [stdout] 146 |     type NttVectorSize = EncodedVectorSize<U12, P::K>;
[INFO] [stdout]     |                          ^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout]     = help: consider increasing the recursion limit by adding a `#![recursion_limit = "256"]` attribute to your crate (`ml_kem`)
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0275]: overflow evaluating the requirement `<P as param::PkeParams>::NttVectorSize == _`
[INFO] [stdout]    --> src/param.rs:146:26
[INFO] [stdout]     |
[INFO] [stdout] 146 |     type NttVectorSize = EncodedVectorSize<U12, P::K>;
[INFO] [stdout]     |                          ^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout]     = help: consider increasing the recursion limit by adding a `#![recursion_limit = "256"]` attribute to your crate (`ml_kem`)
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0275]: overflow evaluating the requirement `<P as PkeParams>::EncryptionKeySize == _`
[INFO] [stdout]    --> src/param.rs:147:30
[INFO] [stdout]     |
[INFO] [stdout] 147 |     type EncryptionKeySize = Sum<Self::NttVectorSize, U32>;
[INFO] [stdout]     |                              ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout]     = help: consider increasing the recursion limit by adding a `#![recursion_limit = "256"]` attribute to your crate (`ml_kem`)
[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]    --> 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] [stdout] error[E0275]: overflow evaluating the requirement `<P as param::PkeParams>::EncryptionKeySize == _`
[INFO] [stdout]    --> src/param.rs:147:30
[INFO] [stdout]     |
[INFO] [stdout] 147 |     type EncryptionKeySize = Sum<Self::NttVectorSize, U32>;
[INFO] [stdout]     |                              ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout]     = help: consider increasing the recursion limit by adding a `#![recursion_limit = "256"]` attribute to your crate (`ml_kem`)
[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]    --> 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] [stdout] error[E0275]: overflow evaluating the requirement `Array<u8, <P as PkeParams>::NttVectorSize> well-formed`
[INFO] [stdout]    --> 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 `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]    --> 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 `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]    --> 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 the requirement `&Array<u8, <P as PkeParams>::NttVectorSize> well-formed`
[INFO] [stdout]    --> 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 `&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]    --> 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 `&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]    --> 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 the requirement `Array<u8, <P as param::PkeParams>::NttVectorSize> well-formed`
[INFO] [stdout]    --> 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 `Array<u8, <P as param::PkeParams>::NttVectorSize> well-formed` appears on the `impl`'s associated function `encode_u12` but not on the corresponding trait's associated function
[INFO] [stdout]    --> 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 `Array<u8, <P as param::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]    --> 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 the requirement `&Array<u8, <P as param::PkeParams>::NttVectorSize> well-formed`
[INFO] [stdout]    --> 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 `&Array<u8, <P as param::PkeParams>::NttVectorSize> well-formed` appears on the `impl`'s associated function `decode_u12` but not on the corresponding trait's associated function
[INFO] [stdout]    --> 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 `&Array<u8, <P as param::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]    --> 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 the requirement `<<UInt<UInt<UInt<UInt<UTerm, ...>, ...>, ...>, ...> as VectorEncodingSize<...>>::EncodedVectorSize as Add<...>>::Output == _`
[INFO] [stdout]    --> 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 the requirement `<<UInt<UInt<UInt<UInt<UTerm, ...>, ...>, ...>, ...> as VectorEncodingSize<...>>::EncodedVectorSize as Add<...>>::Output == _`
[INFO] [stdout]    --> 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 `<<UInt<UInt<UInt<UInt<UTerm, ...>, ...>, ...>, ...> as VectorEncodingSize<...>>::EncodedVectorSize as Add<...>>::Output == _`
[INFO] [stdout]    --> 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 the requirement `<<UInt<UInt<UInt<UInt<UTerm, ...>, ...>, ...>, ...> as VectorEncodingSize<...>>::EncodedVectorSize as Add<...>>::Output == _`
[INFO] [stdout]    --> 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 `Array<u8, <P as PkeParams>::NttVectorSize> well-formed`
[INFO] [stdout]    --> 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 `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]    --> 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 `Array<u8, <P as PkeParams>::NttVectorSize> well-formed`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0275]: overflow evaluating the requirement `Array<u8, <P as PkeParams>::EncryptionKeySize> well-formed`
[INFO] [stdout]    --> 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 `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]    --> 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 `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]    --> 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 `&Array<u8, <P as PkeParams>::EncryptionKeySize> well-formed`
[INFO] [stdout]    --> 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 `&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]    --> 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 `&Array<u8, <P as PkeParams>::EncryptionKeySize> well-formed`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0275]: overflow evaluating the requirement `(&Array<u8, <P as PkeParams>::NttVectorSize>, &...) well-formed`
[INFO] [stdout]    --> 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 `(&Array<u8, <P as PkeParams>::NttVectorSize>, &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]    --> 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 `(&Array<u8, <P as PkeParams>::NttVectorSize>, &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 `Array<u8, <P as param::PkeParams>::NttVectorSize> well-formed`
[INFO] [stdout]    --> 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 `Array<u8, <P as param::PkeParams>::NttVectorSize> well-formed` appears on the `impl`'s associated function `concat_ek` but not on the corresponding trait's associated function
[INFO] [stdout]    --> 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 `Array<u8, <P as param::PkeParams>::NttVectorSize> well-formed`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0275]: overflow evaluating the requirement `Array<u8, <P as param::PkeParams>::EncryptionKeySize> well-formed`
[INFO] [stdout]    --> 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 `Array<u8, <P as param::PkeParams>::EncryptionKeySize> well-formed` appears on the `impl`'s associated function `concat_ek` but not on the corresponding trait's associated function
[INFO] [stdout]    --> 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 `Array<u8, <P as param::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]    --> 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 `&Array<u8, <P as param::PkeParams>::EncryptionKeySize> well-formed`
[INFO] [stdout]    --> 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 `&Array<u8, <P as param::PkeParams>::EncryptionKeySize> well-formed` appears on the `impl`'s associated function `split_ek` but not on the corresponding trait's associated function
[INFO] [stdout]    --> 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 `&Array<u8, <P as param::PkeParams>::EncryptionKeySize> well-formed`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0275]: overflow evaluating the requirement `(&Array<u8, <P as param::PkeParams>::NttVectorSize>, &...) well-formed`
[INFO] [stdout]    --> 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 `(&Array<u8, <P as param::PkeParams>::NttVectorSize>, &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]    --> 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 `(&Array<u8, <P as param::PkeParams>::NttVectorSize>, &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]    --> 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 `<<UInt<UInt<UInt<UInt<UTerm, ...>, ...>, ...>, ...> as VectorEncodingSize<...>>::EncodedVectorSize as Add<...>>::Output: Sub<...>`
[INFO] [stdout]    --> 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]    --> 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]    --> 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]    --> 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]    --> 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]    --> library/core/src/ops/arith.rs:190: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]    --> 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]    --> library/core/src/ops/arith.rs:190:0
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0275]: overflow evaluating the requirement `<<UInt<UInt<UInt<UInt<UTerm, ...>, ...>, ...>, ...> as VectorEncodingSize<...>>::EncodedVectorSize as Add<...>>::Output well-formed`
[INFO] [stdout]    --> 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 well-formed`
[INFO] [stdout]    --> 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 well-formed`
[INFO] [stdout]    --> 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 well-formed`
[INFO] [stdout]    --> 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 well-formed`
[INFO] [stdout]    --> 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 well-formed`
[INFO] [stdout]    --> 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 `P: param::PkeParams`
[INFO] [stdout]    --> 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 `<<UInt<UInt<UInt<UInt<UTerm, ...>, ...>, ...>, ...> as VectorEncodingSize<...>>::EncodedVectorSize as Add<...>>::Output: Sub<...>`
[INFO] [stdout]    --> 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]    --> 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]    --> 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]    --> 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]    --> 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]    --> library/core/src/ops/arith.rs:190: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]    --> 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]    --> library/core/src/ops/arith.rs:190:0
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0275]: overflow evaluating the requirement `<<UInt<UInt<UInt<UInt<UTerm, ...>, ...>, ...>, ...> as VectorEncodingSize<...>>::EncodedVectorSize as Add<...>>::Output well-formed`
[INFO] [stdout]    --> 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 well-formed`
[INFO] [stdout]    --> 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 well-formed`
[INFO] [stdout]    --> 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 well-formed`
[INFO] [stdout]    --> 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 well-formed`
[INFO] [stdout]    --> 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 well-formed`
[INFO] [stdout]    --> 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]    --> 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 `<UInt<UInt<UInt<UInt<UTerm, B1>, ...>, ...>, ...> as VectorEncodingSize<...>>::EncodedVectorSize well-formed`
[INFO] [stdout]    --> 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 `<UInt<UInt<UInt<UInt<UTerm, B1>, ...>, ...>, ...> as VectorEncodingSize<...>>::EncodedVectorSize == _`
[INFO] [stdout]    --> 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 `<UInt<UInt<UInt<UInt<UTerm, B1>, ...>, ...>, ...> as VectorEncodingSize<...>>::EncodedVectorSize well-formed`
[INFO] [stdout]    --> 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]    --> 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 as Add<UInt<UInt<UInt<UInt<..., ...>, ...>, ...>, ...>>>::Output well-formed`
[INFO] [stdout]    --> 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 param::PkeParams>::NttVectorSize as Add<UInt<UInt<UInt<UInt<..., ...>, ...>, ...>, ...>>>::Output == _`
[INFO] [stdout]    --> 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 param::PkeParams>::NttVectorSize as Add<UInt<UInt<UInt<UInt<..., ...>, ...>, ...>, ...>>>::Output well-formed`
[INFO] [stdout]    --> 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]    --> 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 `Array<u8, <P as PkeParams>::NttVectorSize>: Sized`
[INFO] [stdout]    --> 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]     = help: consider increasing the recursion limit by adding a `#![recursion_limit = "256"]` attribute to your crate (`ml_kem`)
[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 the requirement `Array<u8, <P as PkeParams>::NttVectorSize> well-formed`
[INFO] [stdout]    --> 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]    --> 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 the requirement `&Array<u8, <P as PkeParams>::NttVectorSize> well-formed`
[INFO] [stdout]    --> 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 the requirement `<P as param::PkeParams>::NttVectorSize == _`
[INFO] [stdout]    --> 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 `Array<u8, <P as param::PkeParams>::NttVectorSize>: Sized`
[INFO] [stdout]    --> 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]     = help: consider increasing the recursion limit by adding a `#![recursion_limit = "256"]` attribute to your crate (`ml_kem`)
[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 the requirement `Array<u8, <P as param::PkeParams>::NttVectorSize> well-formed`
[INFO] [stdout]    --> 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 param::PkeParams>::NttVectorSize == _`
[INFO] [stdout]    --> 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 the requirement `&Array<u8, <P as param::PkeParams>::NttVectorSize> well-formed`
[INFO] [stdout]    --> 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 the requirement `<P as PkeParams>::NttVectorSize == _`
[INFO] [stdout]    --> 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]    --> 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 param::PkeParams>::NttVectorSize == _`
[INFO] [stdout]    --> 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 param::PkeParams>::EncryptionKeySize == _`
[INFO] [stdout]    --> 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 `Array<u8, <P as PkeParams>::EncryptionKeySize>: Sized`
[INFO] [stdout]    --> 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]     = help: consider increasing the recursion limit by adding a `#![recursion_limit = "256"]` attribute to your crate (`ml_kem`)
[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 the requirement `Array<u8, <P as PkeParams>::NttVectorSize> well-formed`
[INFO] [stdout]    --> 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 `Array<u8, <P as PkeParams>::EncryptionKeySize> well-formed`
[INFO] [stdout]    --> 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]    --> 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]    --> 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 `&Array<u8, <P as PkeParams>::EncryptionKeySize> well-formed`
[INFO] [stdout]    --> 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 `(&Array<u8, <P as PkeParams>::NttVectorSize>, &...) well-formed`
[INFO] [stdout]    --> 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 `Array<u8, <P as param::PkeParams>::EncryptionKeySize>: Sized`
[INFO] [stdout]    --> 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]     = help: consider increasing the recursion limit by adding a `#![recursion_limit = "256"]` attribute to your crate (`ml_kem`)
[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 the requirement `Array<u8, <P as param::PkeParams>::NttVectorSize> well-formed`
[INFO] [stdout]    --> 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 `Array<u8, <P as param::PkeParams>::EncryptionKeySize> well-formed`
[INFO] [stdout]    --> 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 param::PkeParams>::EncryptionKeySize == _`
[INFO] [stdout]    --> 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 param::PkeParams>::NttVectorSize == _`
[INFO] [stdout]    --> 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 `&Array<u8, <P as param::PkeParams>::EncryptionKeySize> well-formed`
[INFO] [stdout]    --> 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 `(&Array<u8, <P as param::PkeParams>::NttVectorSize>, &...) well-formed`
[INFO] [stdout]    --> 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]    --> 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]    --> 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]     = help: consider increasing the recursion limit by adding a `#![recursion_limit = "256"]` attribute to your crate (`ml_kem`)
[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]    --> 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 `Array<u8, <module_lattice::NttVector<BaseField, <P as ParameterSet>::K> as Encode<...>>::EncodedSize>: Sized`
[INFO] [stdout]    --> src/param.rs:150:9
[INFO] [stdout]     |
[INFO] [stdout] 150 |         Encode::<U12>::encode(p)
[INFO] [stdout]     |         ^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout]     = help: consider increasing the recursion limit by adding a `#![recursion_limit = "256"]` attribute to your crate (`ml_kem`)
[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 the requirement `Array<u8, <module_lattice::NttVector<BaseField, <P as ParameterSet>::K> as Encode<...>>::EncodedSize> well-formed`
[INFO] [stdout]    --> 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]    --> 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 `UInt<UInt<UInt<UInt<UTerm, B1>, B1>, ...>, ...>: EncodingSize`
[INFO] [stdout]    --> 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<algebra::BaseField, <P as ParameterSet>::K>: Encode<UInt<UInt<UInt<..., ...>, ...>, ...>>`
[INFO] [stdout]    --> 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]     = help: consider increasing the recursion limit by adding a `#![recursion_limit = "256"]` attribute to your crate (`ml_kem`)
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0275]: overflow evaluating the requirement `<P as param::PkeParams>::NttVectorSize == <module_lattice::NttVector<algebra::BaseField, <P as ParameterSet>::K> as Encode<...>>::EncodedSize`
[INFO] [stdout]    --> 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 `Array<u8, <module_lattice::NttVector<algebra::BaseField, <P as ParameterSet>::K> as Encode<...>>::EncodedSize>: Sized`
[INFO] [stdout]    --> src/param.rs:150:9
[INFO] [stdout]     |
[INFO] [stdout] 150 |         Encode::<U12>::encode(p)
[INFO] [stdout]     |         ^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout]     = help: consider increasing the recursion limit by adding a `#![recursion_limit = "256"]` attribute to your crate (`ml_kem`)
[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 the requirement `Array<u8, <module_lattice::NttVector<algebra::BaseField, <P as ParameterSet>::K> as Encode<...>>::EncodedSize> well-formed`
[INFO] [stdout]    --> 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 param::PkeParams>::NttVectorSize == _`
[INFO] [stdout]    --> 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]    --> src/param.rs:150:9
[INFO] [stdout]     |
[INFO] [stdout] 150 |         Encode::<U12>::encode(p)
[INFO] [stdout]     |         ^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout]     = help: consider increasing the recursion limit by adding a `#![recursion_limit = "256"]` attribute to your crate (`ml_kem`)
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0275]: overflow evaluating the requirement `<P as PkeParams>::NttVectorSize == _`
[INFO] [stdout]    --> 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] [stdout] error[E0275]: overflow evaluating the requirement `_ == <P as PkeParams>::NttVectorSize`
[INFO] [stdout]    --> 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]    --> 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 `module_lattice::Encode::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]    --> src/param.rs:154:9
[INFO] [stdout]     |
[INFO] [stdout] 154 |         Encode::<U12>::decode(v)
[INFO] [stdout]     |         ^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout]     = help: consider increasing the recursion limit by adding a `#![recursion_limit = "256"]` attribute to your crate (`ml_kem`)
[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]    --> src/param.rs:154:9
[INFO] [stdout]     |
[INFO] [stdout] 154 |         Encode::<U12>::decode(v)
[INFO] [stdout]     |         ^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout]     = help: consider increasing the recursion limit by adding a `#![recursion_limit = "256"]` attribute to your crate (`ml_kem`)
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0275]: overflow evaluating the requirement `&Array<u8, <module_lattice::NttVector<BaseField, <... as ParameterSet>::K> as Encode<...>>::EncodedSize> well-formed`
[INFO] [stdout]    --> 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 the requirement `<P as PkeParams>::NttVectorSize == _`
[INFO] [stdout]    --> 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]    --> 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] 
[ERROR] error running command: command timed out after 900 seconds
[INFO] running `Command { std: "docker" "inspect" "eebff30632f6de470010409ef69b27f7793631aa9a3708c8e4822f323291c208", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "eebff30632f6de470010409ef69b27f7793631aa9a3708c8e4822f323291c208", kill_on_drop: false }`
[INFO] [stdout] eebff30632f6de470010409ef69b27f7793631aa9a3708c8e4822f323291c208