[INFO] cloning repository https://github.com/jmwample/kemeleon
[INFO] running `Command { std: "git" "-c" "credential.helper=" "-c" "credential.helper=/workspace/cargo-home/bin/git-credential-null" "clone" "--bare" "https://github.com/jmwample/kemeleon" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Fjmwample%2Fkemeleon", kill_on_drop: false }`
[INFO] [stderr] Cloning into bare repository '/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Fjmwample%2Fkemeleon'...
[INFO] running `Command { std: "git" "rev-parse" "HEAD", kill_on_drop: false }`
[INFO] [stdout] cb139f862766bab387efbf9d5ffe3200d3f3f4e7
[INFO] checking jmwample/kemeleon/cb139f862766bab387efbf9d5ffe3200d3f3f4e7 against try#c9557a20e5ef2e0e02c29a5fafd850d1b7cf1e4f for pr-133502-21
[INFO] running `Command { std: "git" "clone" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Fjmwample%2Fkemeleon" "/workspace/builds/worker-4-tc2/source", kill_on_drop: false }`
[INFO] [stderr] Cloning into '/workspace/builds/worker-4-tc2/source'...
[INFO] [stderr] done.
[INFO] started tweaking git repo https://github.com/jmwample/kemeleon
[INFO] finished tweaking git repo https://github.com/jmwample/kemeleon
[INFO] tweaked toml for git repo https://github.com/jmwample/kemeleon written to /workspace/builds/worker-4-tc2/source/Cargo.toml
[INFO] validating manifest of git repo https://github.com/jmwample/kemeleon 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] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+c9557a20e5ef2e0e02c29a5fafd850d1b7cf1e4f" "generate-lockfile" "--manifest-path" "Cargo.toml", kill_on_drop: false }`
[INFO] [stderr]     Updating crates.io index
[INFO] [stderr]     Updating git repository `https://github.com/jmwample/KEMs.git`
[INFO] [stderr]      Locking 46 packages to latest compatible versions
[INFO] [stderr]       Adding generic-array v0.14.7 (available: v0.14.9)
[INFO] [stderr]       Adding hex-literal v0.4.1 (available: v1.1.0)
[INFO] [stderr]       Adding hybrid-array v0.2.3 (available: v0.4.7)
[INFO] [stderr]       Adding rand v0.8.5 (available: v0.9.2)
[INFO] [stderr]       Adding rand_core v0.6.4 (available: v0.10.0)
[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] 8f171da82fcb22f5a24d693cb6cd44a9e21f75b957b0faa3b7da154f0320e192
[INFO] running `Command { std: "docker" "start" "-a" "8f171da82fcb22f5a24d693cb6cd44a9e21f75b957b0faa3b7da154f0320e192", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "inspect" "8f171da82fcb22f5a24d693cb6cd44a9e21f75b957b0faa3b7da154f0320e192", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "8f171da82fcb22f5a24d693cb6cd44a9e21f75b957b0faa3b7da154f0320e192", kill_on_drop: false }`
[INFO] [stdout] 8f171da82fcb22f5a24d693cb6cd44a9e21f75b957b0faa3b7da154f0320e192
[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] 2fa15fd65bb58bb42ca15498b177e0828551ae1b707a25735b70a46c0055827d
[INFO] running `Command { std: "docker" "start" "-a" "2fa15fd65bb58bb42ca15498b177e0828551ae1b707a25735b70a46c0055827d", kill_on_drop: false }`
[INFO] [stderr]    Compiling typenum v1.19.0
[INFO] [stderr]    Compiling libc v0.2.180
[INFO] [stderr]    Compiling proc-macro2 v1.0.106
[INFO] [stderr]    Compiling quote v1.0.44
[INFO] [stderr]     Checking rand_core v0.10.0
[INFO] [stderr]     Checking keccak v0.1.5
[INFO] [stderr]     Checking num-rational v0.4.2
[INFO] [stderr]     Checking hex-literal v0.4.1
[INFO] [stderr]    Compiling syn v2.0.114
[INFO] [stderr]     Checking getrandom v0.2.17
[INFO] [stderr]     Checking rand_core v0.6.4
[INFO] [stderr]     Checking rand_chacha v0.3.1
[INFO] [stderr]     Checking rand v0.8.5
[INFO] [stderr]    Compiling serde_derive v1.0.228
[INFO] [stderr]     Checking generic-array v0.14.7
[INFO] [stderr]     Checking hybrid-array v0.4.7
[INFO] [stderr]     Checking hybrid-array v0.2.3
[INFO] [stderr]     Checking generic-array v1.3.5
[INFO] [stderr]     Checking serde v1.0.228
[INFO] [stderr]     Checking crypto-common v0.1.7
[INFO] [stderr]     Checking block-buffer v0.10.4
[INFO] [stderr]     Checking digest v0.10.7
[INFO] [stderr]     Checking crypto-common v0.2.0
[INFO] [stderr]     Checking hex v0.4.3
[INFO] [stderr]     Checking sha3 v0.10.8
[INFO] [stderr]     Checking hmac v0.12.1
[INFO] [stderr]     Checking sha2 v0.10.9
[INFO] [stderr]     Checking hkdf v0.12.4
[INFO] [stderr]     Checking kem v0.3.0-rc.6
[INFO] [stderr]     Checking ml-kem v0.3.0-pre (https://github.com/jmwample/KEMs.git?branch=params#af50988e)
[INFO] [stdout] error[E0437]: type `Error` is not a member of trait `kem::Decapsulate`
[INFO] [stdout]   --> /opt/rustwide/cargo-home/git/checkouts/kems-a3ec4eb2dbfb4ed5/af50988/ml-kem/src/kem.rs:94:5
[INFO] [stdout]    |
[INFO] [stdout] 94 |     type Error = Infallible;
[INFO] [stdout]    |     ^^^^^^^^^^^^^^^^^^^^^^^^ not a member of trait `kem::Decapsulate`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0437]: type `Error` is not a member of trait `kem::Encapsulate`
[INFO] [stdout]    --> /opt/rustwide/cargo-home/git/checkouts/kems-a3ec4eb2dbfb4ed5/af50988/ml-kem/src/kem.rs:196:5
[INFO] [stdout]     |
[INFO] [stdout] 196 |     type Error = Infallible;
[INFO] [stdout]     |     ^^^^^^^^^^^^^^^^^^^^^^^^ not a member of trait `kem::Encapsulate`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0407]: method `encapsulate` is not a member of trait `kem::Encapsulate`
[INFO] [stdout]    --> /opt/rustwide/cargo-home/git/checkouts/kems-a3ec4eb2dbfb4ed5/af50988/ml-kem/src/kem.rs:198:5
[INFO] [stdout]     |
[INFO] [stdout] 198 | /     fn encapsulate(
[INFO] [stdout] 199 | |         &self,
[INFO] [stdout] 200 | |         rng: &mut impl CryptoRngCore,
[INFO] [stdout] 201 | |     ) -> Result<(EncodedCiphertext<P>, SharedKey), Self::Error> {
[INFO] [stdout] 202 | |         let m: B32 = rand(rng);
[INFO] [stdout] 203 | |         Ok(self.encapsulate_deterministic_inner(&m))
[INFO] [stdout] 204 | |     }
[INFO] [stdout]     | |_____^ not a member of trait `kem::Encapsulate`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0107]: trait takes 0 generic arguments but 2 generic arguments were supplied
[INFO] [stdout]    --> /opt/rustwide/cargo-home/git/checkouts/kems-a3ec4eb2dbfb4ed5/af50988/ml-kem/src/kem.rs:90:16
[INFO] [stdout]     |
[INFO] [stdout]  90 | impl<P> ::kem::Decapsulate<EncodedCiphertext<P>, SharedKey> for DecapsulationKey<P>
[INFO] [stdout]     |                ^^^^^^^^^^^--------------------------------- help: remove the unnecessary generics
[INFO] [stdout]     |                |
[INFO] [stdout]     |                expected 0 generic arguments
[INFO] [stdout]     |
[INFO] [stdout] note: trait defined here, with 0 generic parameters
[INFO] [stdout]    --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/kem-0.3.0-rc.6/src/lib.rs:124:11
[INFO] [stdout]     |
[INFO] [stdout] 124 | pub trait Decapsulate: TryDecapsulate<Error = Infallible> {
[INFO] [stdout]     |           ^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0107]: trait takes 0 generic arguments but 2 generic arguments were supplied
[INFO] [stdout]    --> /opt/rustwide/cargo-home/git/checkouts/kems-a3ec4eb2dbfb4ed5/af50988/ml-kem/src/kem.rs:192:16
[INFO] [stdout]     |
[INFO] [stdout] 192 | impl<P> ::kem::Encapsulate<EncodedCiphertext<P>, SharedKey> for EncapsulationKey<P>
[INFO] [stdout]     |                ^^^^^^^^^^^--------------------------------- help: remove the unnecessary generics
[INFO] [stdout]     |                |
[INFO] [stdout]     |                expected 0 generic arguments
[INFO] [stdout]     |
[INFO] [stdout] note: trait defined here, with 0 generic parameters
[INFO] [stdout]    --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/kem-0.3.0-rc.6/src/lib.rs:182:11
[INFO] [stdout]     |
[INFO] [stdout] 182 | pub trait Encapsulate: TryKeyInit + KeyExport {
[INFO] [stdout]     |           ^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0220]: associated type `Error` not found for `Self`
[INFO] [stdout]    --> /opt/rustwide/cargo-home/git/checkouts/kems-a3ec4eb2dbfb4ed5/af50988/ml-kem/src/kem.rs:201:58
[INFO] [stdout]     |
[INFO] [stdout] 201 |     ) -> Result<(EncodedCiphertext<P>, SharedKey), Self::Error> {
[INFO] [stdout]     |                                                          ^^^^^ associated type `Error` not found
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0053]: method `decapsulate` has an incompatible type for trait
[INFO] [stdout]   --> /opt/rustwide/cargo-home/git/checkouts/kems-a3ec4eb2dbfb4ed5/af50988/ml-kem/src/kem.rs:98:27
[INFO] [stdout]    |
[INFO] [stdout] 98 |         encapsulated_key: &EncodedCiphertext<P>,
[INFO] [stdout]    |                           ^^^^^^^^^^^^^^^^^^^^^ expected `Array<u8, <... as Kem>::CiphertextSize>`, found `Array<u8, ...>`
[INFO] [stdout]    |
[INFO] [stdout]    = note: expected signature `fn(&DecapsulationKey<_>, &kem::crypto_common::hybrid_array::Array<u8, <<DecapsulationKey<P> as Decapsulator>::Kem as kem::Kem>::CiphertextSize>) -> kem::crypto_common::hybrid_array::Array<u8, <<DecapsulationKey<P> as Decapsulator>::Kem as kem::Kem>::SharedKeySize>`
[INFO] [stdout]               found signature `fn(&DecapsulationKey<_>, &hybrid_array::Array<u8, <P as PkeParams>::CiphertextSize>) -> Result<hybrid_array::Array<u8, UInt<UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B0>, B0>, B0>, B0>, B0>>, <DecapsulationKey<P> as TryDecapsulate>::Error>`
[INFO] [stdout] help: change the parameter type to match the trait
[INFO] [stdout]    |
[INFO] [stdout] 98 -         encapsulated_key: &EncodedCiphertext<P>,
[INFO] [stdout] 98 +         encapsulated_key: &kem::crypto_common::hybrid_array::Array<u8, <<DecapsulationKey<P> as Decapsulator>::Kem as kem::Kem>::CiphertextSize>,
[INFO] [stdout]    |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0277]: the trait bound `DecapsulationKey<P>: Decapsulator` is not satisfied
[INFO] [stdout]    --> /opt/rustwide/cargo-home/git/checkouts/kems-a3ec4eb2dbfb4ed5/af50988/ml-kem/src/kem.rs:90:65
[INFO] [stdout]     |
[INFO] [stdout]  90 | impl<P> ::kem::Decapsulate<EncodedCiphertext<P>, SharedKey> for DecapsulationKey<P>
[INFO] [stdout]     |                                                                 ^^^^^^^^^^^^^^^^^^^ unsatisfied trait bound
[INFO] [stdout]     |
[INFO] [stdout] help: the trait `Decapsulator` is not implemented for `DecapsulationKey<P>`
[INFO] [stdout]    --> /opt/rustwide/cargo-home/git/checkouts/kems-a3ec4eb2dbfb4ed5/af50988/ml-kem/src/kem.rs:29:1
[INFO] [stdout]     |
[INFO] [stdout]  29 | pub struct DecapsulationKey<P>
[INFO] [stdout]     | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout]     = note: required for `DecapsulationKey<P>` to implement `TryDecapsulate`
[INFO] [stdout] note: required by a bound in `Decapsulate`
[INFO] [stdout]    --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/kem-0.3.0-rc.6/src/lib.rs:124:39
[INFO] [stdout]     |
[INFO] [stdout] 124 | pub trait Decapsulate: TryDecapsulate<Error = Infallible> {
[INFO] [stdout]     |                                       ^^^^^^^^^^^^^^^^^^ required by this bound in `Decapsulate`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0046]: not all trait items implemented, missing: `Kem`, `encapsulate_with_rng`
[INFO] [stdout]    --> /opt/rustwide/cargo-home/git/checkouts/kems-a3ec4eb2dbfb4ed5/af50988/ml-kem/src/kem.rs:192:1
[INFO] [stdout]     |
[INFO] [stdout] 192 | / impl<P> ::kem::Encapsulate<EncodedCiphertext<P>, SharedKey> for EncapsulationKey<P>
[INFO] [stdout] 193 | | where
[INFO] [stdout] 194 | |     P: KemParams,
[INFO] [stdout]     | |_________________^ missing `Kem`, `encapsulate_with_rng` in implementation
[INFO] [stdout]     |
[INFO] [stdout]     = help: implement the missing item: `type Kem = /* Type */;`
[INFO] [stdout]     = help: implement the missing item: `fn encapsulate_with_rng<R>(&self, _: &mut R) -> (kem::crypto_common::hybrid_array::Array<u8, <<Self as Encapsulate>::Kem as kem::Kem>::CiphertextSize>, kem::crypto_common::hybrid_array::Array<u8, <<Self as Encapsulate>::Kem as kem::Kem>::SharedKeySize>) where R: ?Sized, R: kem::crypto_common::rand_core::CryptoRng { todo!() }`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0277]: the trait bound `EncapsulationKey<P>: KeyExport` is not satisfied
[INFO] [stdout]    --> /opt/rustwide/cargo-home/git/checkouts/kems-a3ec4eb2dbfb4ed5/af50988/ml-kem/src/kem.rs:192:65
[INFO] [stdout]     |
[INFO] [stdout] 192 | impl<P> ::kem::Encapsulate<EncodedCiphertext<P>, SharedKey> for EncapsulationKey<P>
[INFO] [stdout]     |                                                                 ^^^^^^^^^^^^^^^^^^^ unsatisfied trait bound
[INFO] [stdout]     |
[INFO] [stdout] help: the trait `KeyExport` is not implemented for `EncapsulationKey<P>`
[INFO] [stdout]    --> /opt/rustwide/cargo-home/git/checkouts/kems-a3ec4eb2dbfb4ed5/af50988/ml-kem/src/kem.rs:153:1
[INFO] [stdout]     |
[INFO] [stdout] 153 | pub struct EncapsulationKey<P>
[INFO] [stdout]     | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] note: required by a bound in `Encapsulate`
[INFO] [stdout]    --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/kem-0.3.0-rc.6/src/lib.rs:182:37
[INFO] [stdout]     |
[INFO] [stdout] 182 | pub trait Encapsulate: TryKeyInit + KeyExport {
[INFO] [stdout]     |                                     ^^^^^^^^^ required by this bound in `Encapsulate`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0277]: the trait bound `EncapsulationKey<P>: kem::KeySizeUser` is not satisfied
[INFO] [stdout]    --> /opt/rustwide/cargo-home/git/checkouts/kems-a3ec4eb2dbfb4ed5/af50988/ml-kem/src/kem.rs:192:65
[INFO] [stdout]     |
[INFO] [stdout] 192 | impl<P> ::kem::Encapsulate<EncodedCiphertext<P>, SharedKey> for EncapsulationKey<P>
[INFO] [stdout]     |                                                                 ^^^^^^^^^^^^^^^^^^^ unsatisfied trait bound
[INFO] [stdout]     |
[INFO] [stdout] help: the trait `kem::crypto_common::InnerUser` is not implemented for `EncapsulationKey<P>`
[INFO] [stdout]    --> /opt/rustwide/cargo-home/git/checkouts/kems-a3ec4eb2dbfb4ed5/af50988/ml-kem/src/kem.rs:153:1
[INFO] [stdout]     |
[INFO] [stdout] 153 | pub struct EncapsulationKey<P>
[INFO] [stdout]     | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] note: there are multiple different versions of crate `crypto_common` in the dependency graph
[INFO] [stdout]    --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/crypto-common-0.2.0/src/lib.rs:144:1
[INFO] [stdout]     |
[INFO] [stdout] 144 | pub trait InnerUser {
[INFO] [stdout]     | ^^^^^^^^^^^^^^^^^^^ this is the expected trait
[INFO] [stdout]     |
[INFO] [stdout]    ::: /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/crypto-common-0.1.7/src/lib.rs:106:1
[INFO] [stdout]     |
[INFO] [stdout] 106 | pub trait InnerUser {
[INFO] [stdout]     | ------------------- this is the trait that was imported
[INFO] [stdout]     = help: you can use `cargo tree` to explore your dependency tree
[INFO] [stdout]     = note: required for `EncapsulationKey<P>` to implement `kem::KeySizeUser`
[INFO] [stdout]     = note: required for `EncapsulationKey<P>` to implement `KeyExport`
[INFO] [stdout] note: required by a bound in `Encapsulate`
[INFO] [stdout]    --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/kem-0.3.0-rc.6/src/lib.rs:182:37
[INFO] [stdout]     |
[INFO] [stdout] 182 | pub trait Encapsulate: TryKeyInit + KeyExport {
[INFO] [stdout]     |                                     ^^^^^^^^^ required by this bound in `Encapsulate`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0277]: the trait bound `EncapsulationKey<P>: TryKeyInit` is not satisfied
[INFO] [stdout]    --> /opt/rustwide/cargo-home/git/checkouts/kems-a3ec4eb2dbfb4ed5/af50988/ml-kem/src/kem.rs:192:65
[INFO] [stdout]     |
[INFO] [stdout] 192 | impl<P> ::kem::Encapsulate<EncodedCiphertext<P>, SharedKey> for EncapsulationKey<P>
[INFO] [stdout]     |                                                                 ^^^^^^^^^^^^^^^^^^^ unsatisfied trait bound
[INFO] [stdout]     |
[INFO] [stdout] help: the trait `TryKeyInit` is not implemented for `EncapsulationKey<P>`
[INFO] [stdout]    --> /opt/rustwide/cargo-home/git/checkouts/kems-a3ec4eb2dbfb4ed5/af50988/ml-kem/src/kem.rs:153:1
[INFO] [stdout]     |
[INFO] [stdout] 153 | pub struct EncapsulationKey<P>
[INFO] [stdout]     | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] note: required by a bound in `Encapsulate`
[INFO] [stdout]    --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/kem-0.3.0-rc.6/src/lib.rs:182:24
[INFO] [stdout]     |
[INFO] [stdout] 182 | pub trait Encapsulate: TryKeyInit + KeyExport {
[INFO] [stdout]     |                        ^^^^^^^^^^ required by this bound in `Encapsulate`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0107]: trait takes 0 generic arguments but 2 generic arguments were supplied
[INFO] [stdout]    --> /opt/rustwide/cargo-home/git/checkouts/kems-a3ec4eb2dbfb4ed5/af50988/ml-kem/src/lib.rs:122:28
[INFO] [stdout]     |
[INFO] [stdout] 122 |     type DecapsulationKey: Decapsulate<Ciphertext<Self>, SharedKey<Self>>
[INFO] [stdout]     |                            ^^^^^^^^^^^----------------------------------- help: remove the unnecessary generics
[INFO] [stdout]     |                            |
[INFO] [stdout]     |                            expected 0 generic arguments
[INFO] [stdout]     |
[INFO] [stdout] note: trait defined here, with 0 generic parameters
[INFO] [stdout]    --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/kem-0.3.0-rc.6/src/lib.rs:124:11
[INFO] [stdout]     |
[INFO] [stdout] 124 | pub trait Decapsulate: TryDecapsulate<Error = Infallible> {
[INFO] [stdout]     |           ^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0277]: the trait bound `DecapsulationKey<P>: Decapsulator` is not satisfied
[INFO] [stdout]    --> /opt/rustwide/cargo-home/git/checkouts/kems-a3ec4eb2dbfb4ed5/af50988/ml-kem/src/kem.rs:237:29
[INFO] [stdout]     |
[INFO] [stdout] 237 |     type DecapsulationKey = DecapsulationKey<P>;
[INFO] [stdout]     |                             ^^^^^^^^^^^^^^^^^^^ unsatisfied trait bound
[INFO] [stdout]     |
[INFO] [stdout] help: the trait `Decapsulator` is not implemented for `DecapsulationKey<P>`
[INFO] [stdout]    --> /opt/rustwide/cargo-home/git/checkouts/kems-a3ec4eb2dbfb4ed5/af50988/ml-kem/src/kem.rs:29:1
[INFO] [stdout]     |
[INFO] [stdout]  29 | pub struct DecapsulationKey<P>
[INFO] [stdout]     | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] help: the trait `Decapsulate` is implemented for `DecapsulationKey<P>`
[INFO] [stdout]    --> /opt/rustwide/cargo-home/git/checkouts/kems-a3ec4eb2dbfb4ed5/af50988/ml-kem/src/kem.rs:90:1
[INFO] [stdout]     |
[INFO] [stdout]  90 | / impl<P> ::kem::Decapsulate<EncodedCiphertext<P>, SharedKey> for DecapsulationKey<P>
[INFO] [stdout]  91 | | where
[INFO] [stdout]  92 | |     P: KemParams,
[INFO] [stdout]     | |_________________^
[INFO] [stdout]     = note: required for `DecapsulationKey<P>` to implement `TryDecapsulate`
[INFO] [stdout]     = note: required for `<kem::Kem<P> as KemCore>::DecapsulationKey` to implement `Decapsulate`
[INFO] [stdout] note: required by a bound in `KemCore::DecapsulationKey`
[INFO] [stdout]    --> /opt/rustwide/cargo-home/git/checkouts/kems-a3ec4eb2dbfb4ed5/af50988/ml-kem/src/lib.rs:122:28
[INFO] [stdout]     |
[INFO] [stdout] 122 |     type DecapsulationKey: Decapsulate<Ciphertext<Self>, SharedKey<Self>>
[INFO] [stdout]     |                            ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ required by this bound in `KemCore::DecapsulationKey`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0107]: trait takes 0 generic arguments but 2 generic arguments were supplied
[INFO] [stdout]    --> /opt/rustwide/cargo-home/git/checkouts/kems-a3ec4eb2dbfb4ed5/af50988/ml-kem/src/lib.rs:129:28
[INFO] [stdout]     |
[INFO] [stdout] 129 |     type EncapsulationKey: Encapsulate<Ciphertext<Self>, SharedKey<Self>>
[INFO] [stdout]     |                            ^^^^^^^^^^^----------------------------------- help: remove the unnecessary generics
[INFO] [stdout]     |                            |
[INFO] [stdout]     |                            expected 0 generic arguments
[INFO] [stdout]     |
[INFO] [stdout] note: trait defined here, with 0 generic parameters
[INFO] [stdout]    --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/kem-0.3.0-rc.6/src/lib.rs:182:11
[INFO] [stdout]     |
[INFO] [stdout] 182 | pub trait Encapsulate: TryKeyInit + KeyExport {
[INFO] [stdout]     |           ^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0277]: the trait bound `EncapsulationKey<P>: KeyExport` is not satisfied
[INFO] [stdout]    --> /opt/rustwide/cargo-home/git/checkouts/kems-a3ec4eb2dbfb4ed5/af50988/ml-kem/src/kem.rs:238:29
[INFO] [stdout]     |
[INFO] [stdout] 238 |     type EncapsulationKey = EncapsulationKey<P>;
[INFO] [stdout]     |                             ^^^^^^^^^^^^^^^^^^^ unsatisfied trait bound
[INFO] [stdout]     |
[INFO] [stdout] help: the trait `KeyExport` is not implemented for `EncapsulationKey<P>`
[INFO] [stdout]    --> /opt/rustwide/cargo-home/git/checkouts/kems-a3ec4eb2dbfb4ed5/af50988/ml-kem/src/kem.rs:153:1
[INFO] [stdout]     |
[INFO] [stdout] 153 | pub struct EncapsulationKey<P>
[INFO] [stdout]     | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] help: the trait `Encapsulate` is implemented for `EncapsulationKey<P>`
[INFO] [stdout]    --> /opt/rustwide/cargo-home/git/checkouts/kems-a3ec4eb2dbfb4ed5/af50988/ml-kem/src/kem.rs:192:1
[INFO] [stdout]     |
[INFO] [stdout] 192 | / impl<P> ::kem::Encapsulate<EncodedCiphertext<P>, SharedKey> for EncapsulationKey<P>
[INFO] [stdout] 193 | | where
[INFO] [stdout] 194 | |     P: KemParams,
[INFO] [stdout]     | |_________________^
[INFO] [stdout]     = note: required for `<kem::Kem<P> as KemCore>::EncapsulationKey` to implement `Encapsulate`
[INFO] [stdout] note: required by a bound in `KemCore::EncapsulationKey`
[INFO] [stdout]    --> /opt/rustwide/cargo-home/git/checkouts/kems-a3ec4eb2dbfb4ed5/af50988/ml-kem/src/lib.rs:129:28
[INFO] [stdout]     |
[INFO] [stdout] 129 |     type EncapsulationKey: Encapsulate<Ciphertext<Self>, SharedKey<Self>>
[INFO] [stdout]     |                            ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ required by this bound in `KemCore::EncapsulationKey`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0277]: the trait bound `EncapsulationKey<P>: kem::KeySizeUser` is not satisfied
[INFO] [stdout]    --> /opt/rustwide/cargo-home/git/checkouts/kems-a3ec4eb2dbfb4ed5/af50988/ml-kem/src/kem.rs:238:29
[INFO] [stdout]     |
[INFO] [stdout] 238 |     type EncapsulationKey = EncapsulationKey<P>;
[INFO] [stdout]     |                             ^^^^^^^^^^^^^^^^^^^ unsatisfied trait bound
[INFO] [stdout]     |
[INFO] [stdout] help: the trait `kem::crypto_common::InnerUser` is not implemented for `EncapsulationKey<P>`
[INFO] [stdout]    --> /opt/rustwide/cargo-home/git/checkouts/kems-a3ec4eb2dbfb4ed5/af50988/ml-kem/src/kem.rs:153:1
[INFO] [stdout]     |
[INFO] [stdout] 153 | pub struct EncapsulationKey<P>
[INFO] [stdout]     | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] note: there are multiple different versions of crate `crypto_common` in the dependency graph
[INFO] [stdout]    --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/crypto-common-0.2.0/src/lib.rs:144:1
[INFO] [stdout]     |
[INFO] [stdout] 144 | pub trait InnerUser {
[INFO] [stdout]     | ^^^^^^^^^^^^^^^^^^^ this is the expected trait
[INFO] [stdout]     |
[INFO] [stdout]    ::: /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/crypto-common-0.1.7/src/lib.rs:106:1
[INFO] [stdout]     |
[INFO] [stdout] 106 | pub trait InnerUser {
[INFO] [stdout]     | ------------------- this is the trait that was imported
[INFO] [stdout]     = help: you can use `cargo tree` to explore your dependency tree
[INFO] [stdout] help: the trait `Encapsulate` is implemented for `EncapsulationKey<P>`
[INFO] [stdout]    --> /opt/rustwide/cargo-home/git/checkouts/kems-a3ec4eb2dbfb4ed5/af50988/ml-kem/src/kem.rs:192:1
[INFO] [stdout]     |
[INFO] [stdout] 192 | / impl<P> ::kem::Encapsulate<EncodedCiphertext<P>, SharedKey> for EncapsulationKey<P>
[INFO] [stdout] 193 | | where
[INFO] [stdout] 194 | |     P: KemParams,
[INFO] [stdout]     | |_________________^
[INFO] [stdout]     = note: required for `EncapsulationKey<P>` to implement `kem::KeySizeUser`
[INFO] [stdout]     = note: required for `<kem::Kem<P> as KemCore>::EncapsulationKey` to implement `KeyExport`
[INFO] [stdout]     = note: required for `<kem::Kem<P> as KemCore>::EncapsulationKey` to implement `Encapsulate`
[INFO] [stdout] note: required by a bound in `KemCore::EncapsulationKey`
[INFO] [stdout]    --> /opt/rustwide/cargo-home/git/checkouts/kems-a3ec4eb2dbfb4ed5/af50988/ml-kem/src/lib.rs:129:28
[INFO] [stdout]     |
[INFO] [stdout] 129 |     type EncapsulationKey: Encapsulate<Ciphertext<Self>, SharedKey<Self>>
[INFO] [stdout]     |                            ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ required by this bound in `KemCore::EncapsulationKey`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0277]: the trait bound `EncapsulationKey<P>: TryKeyInit` is not satisfied
[INFO] [stdout]    --> /opt/rustwide/cargo-home/git/checkouts/kems-a3ec4eb2dbfb4ed5/af50988/ml-kem/src/kem.rs:238:29
[INFO] [stdout]     |
[INFO] [stdout] 238 |     type EncapsulationKey = EncapsulationKey<P>;
[INFO] [stdout]     |                             ^^^^^^^^^^^^^^^^^^^ unsatisfied trait bound
[INFO] [stdout]     |
[INFO] [stdout] help: the trait `TryKeyInit` is not implemented for `EncapsulationKey<P>`
[INFO] [stdout]    --> /opt/rustwide/cargo-home/git/checkouts/kems-a3ec4eb2dbfb4ed5/af50988/ml-kem/src/kem.rs:153:1
[INFO] [stdout]     |
[INFO] [stdout] 153 | pub struct EncapsulationKey<P>
[INFO] [stdout]     | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] help: the trait `Encapsulate` is implemented for `EncapsulationKey<P>`
[INFO] [stdout]    --> /opt/rustwide/cargo-home/git/checkouts/kems-a3ec4eb2dbfb4ed5/af50988/ml-kem/src/kem.rs:192:1
[INFO] [stdout]     |
[INFO] [stdout] 192 | / impl<P> ::kem::Encapsulate<EncodedCiphertext<P>, SharedKey> for EncapsulationKey<P>
[INFO] [stdout] 193 | | where
[INFO] [stdout] 194 | |     P: KemParams,
[INFO] [stdout]     | |_________________^
[INFO] [stdout]     = note: required for `<kem::Kem<P> as KemCore>::EncapsulationKey` to implement `Encapsulate`
[INFO] [stdout] note: required by a bound in `KemCore::EncapsulationKey`
[INFO] [stdout]    --> /opt/rustwide/cargo-home/git/checkouts/kems-a3ec4eb2dbfb4ed5/af50988/ml-kem/src/lib.rs:129:28
[INFO] [stdout]     |
[INFO] [stdout] 129 |     type EncapsulationKey: Encapsulate<Ciphertext<Self>, SharedKey<Self>>
[INFO] [stdout]     |                            ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ required by this bound in `KemCore::EncapsulationKey`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0275]: overflow evaluating the requirement `<P as PkeParams>::NttVectorSize == _`
[INFO] [stdout]    --> /opt/rustwide/cargo-home/git/checkouts/kems-a3ec4eb2dbfb4ed5/af50988/ml-kem/src/param.rs:206:26
[INFO] [stdout]     |
[INFO] [stdout] 206 |     type NttVectorSize = EncodedPolynomialVectorSize<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]    --> /opt/rustwide/cargo-home/git/checkouts/kems-a3ec4eb2dbfb4ed5/af50988/ml-kem/src/param.rs:207:30
[INFO] [stdout]     |
[INFO] [stdout] 207 |     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<...>>::EncodedPolynomialVectorSize as Add<...>>::Output == _`
[INFO] [stdout]    --> /opt/rustwide/cargo-home/git/checkouts/kems-a3ec4eb2dbfb4ed5/af50988/ml-kem/src/param.rs:210:5
[INFO] [stdout]     |
[INFO] [stdout] 210 |     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> well-formed`
[INFO] [stdout]    --> /opt/rustwide/cargo-home/git/checkouts/kems-a3ec4eb2dbfb4ed5/af50988/ml-kem/src/param.rs:210:5
[INFO] [stdout]     |
[INFO] [stdout] 210 |     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/git/checkouts/kems-a3ec4eb2dbfb4ed5/af50988/ml-kem/src/param.rs:179:8
[INFO] [stdout]     |
[INFO] [stdout] 174 | pub trait PkeParams: ParameterSet {
[INFO] [stdout]     |           --------- in this trait
[INFO] [stdout] ...
[INFO] [stdout] 179 |     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<...>>::EncodedPolynomialVectorSize as Add<...>>::Output == _`
[INFO] [stdout]    --> /opt/rustwide/cargo-home/git/checkouts/kems-a3ec4eb2dbfb4ed5/af50988/ml-kem/src/param.rs:214:5
[INFO] [stdout]     |
[INFO] [stdout] 214 |     fn decode_u12(v: &EncodedNttVector<Self>) -> NttVector<Self::K> {
[INFO] [stdout]     |     ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0275]: overflow evaluating the requirement `&hybrid_array::Array<u8, <P as PkeParams>::NttVectorSize> well-formed`
[INFO] [stdout]    --> /opt/rustwide/cargo-home/git/checkouts/kems-a3ec4eb2dbfb4ed5/af50988/ml-kem/src/param.rs:214:5
[INFO] [stdout]     |
[INFO] [stdout] 214 |     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/git/checkouts/kems-a3ec4eb2dbfb4ed5/af50988/ml-kem/src/param.rs:180:8
[INFO] [stdout]     |
[INFO] [stdout] 174 | pub trait PkeParams: ParameterSet {
[INFO] [stdout]     |           --------- in this trait
[INFO] [stdout] ...
[INFO] [stdout] 180 |     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 the requirement `<<UInt<UInt<UInt<UInt<UTerm, ...>, ...>, ...>, ...> as VectorEncodingSize<...>>::EncodedPolynomialVectorSize as Add<...>>::Output == _`
[INFO] [stdout]    --> /opt/rustwide/cargo-home/git/checkouts/kems-a3ec4eb2dbfb4ed5/af50988/ml-kem/src/param.rs:218:5
[INFO] [stdout]     |
[INFO] [stdout] 218 |     fn concat_ct(u: EncodedU<Self>, v: EncodedV<Self>) -> EncodedCiphertext<Self> {
[INFO] [stdout]     |     ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0275]: overflow evaluating the requirement `hybrid_array::Array<u8, <P as PkeParams>::CiphertextSize> well-formed`
[INFO] [stdout]    --> /opt/rustwide/cargo-home/git/checkouts/kems-a3ec4eb2dbfb4ed5/af50988/ml-kem/src/param.rs:218:5
[INFO] [stdout]     |
[INFO] [stdout] 218 |     fn concat_ct(u: EncodedU<Self>, v: EncodedV<Self>) -> EncodedCiphertext<Self> {
[INFO] [stdout]     |     ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout] note: the requirement `hybrid_array::Array<u8, <P as PkeParams>::CiphertextSize> 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/git/checkouts/kems-a3ec4eb2dbfb4ed5/af50988/ml-kem/src/param.rs:182:8
[INFO] [stdout]     |
[INFO] [stdout] 174 | pub trait PkeParams: ParameterSet {
[INFO] [stdout]     |           --------- in this trait
[INFO] [stdout] ...
[INFO] [stdout] 182 |     fn concat_ct(u: EncodedU<Self>, v: EncodedV<Self>) -> EncodedCiphertext<Self>;
[INFO] [stdout]     |        ^^^^^^^^^ this trait's associated function doesn't have the requirement `hybrid_array::Array<u8, <P as PkeParams>::CiphertextSize> well-formed`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0275]: overflow evaluating the requirement `<<UInt<UInt<UInt<UInt<UTerm, ...>, ...>, ...>, ...> as VectorEncodingSize<...>>::EncodedPolynomialVectorSize as Add<...>>::Output == _`
[INFO] [stdout]    --> /opt/rustwide/cargo-home/git/checkouts/kems-a3ec4eb2dbfb4ed5/af50988/ml-kem/src/param.rs:222:5
[INFO] [stdout]     |
[INFO] [stdout] 222 |     fn split_ct(ct: &EncodedCiphertext<Self>) -> (&EncodedU<Self>, &EncodedV<Self>) {
[INFO] [stdout]     |     ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0275]: overflow evaluating the requirement `&hybrid_array::Array<u8, <P as PkeParams>::CiphertextSize> well-formed`
[INFO] [stdout]    --> /opt/rustwide/cargo-home/git/checkouts/kems-a3ec4eb2dbfb4ed5/af50988/ml-kem/src/param.rs:222:5
[INFO] [stdout]     |
[INFO] [stdout] 222 |     fn split_ct(ct: &EncodedCiphertext<Self>) -> (&EncodedU<Self>, &EncodedV<Self>) {
[INFO] [stdout]     |     ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout] note: the requirement `&hybrid_array::Array<u8, <P as PkeParams>::CiphertextSize> 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/git/checkouts/kems-a3ec4eb2dbfb4ed5/af50988/ml-kem/src/param.rs:183:8
[INFO] [stdout]     |
[INFO] [stdout] 174 | pub trait PkeParams: ParameterSet {
[INFO] [stdout]     |           --------- in this trait
[INFO] [stdout] ...
[INFO] [stdout] 183 |     fn split_ct(ct: &EncodedCiphertext<Self>) -> (&EncodedU<Self>, &EncodedV<Self>);
[INFO] [stdout]     |        ^^^^^^^^ this trait's associated function doesn't have the requirement `&hybrid_array::Array<u8, <P as PkeParams>::CiphertextSize> well-formed`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0275]: overflow evaluating the requirement `<<UInt<UInt<UInt<UInt<UTerm, ...>, ...>, ...>, ...> as VectorEncodingSize<...>>::EncodedPolynomialVectorSize as Add<...>>::Output == _`
[INFO] [stdout]    --> /opt/rustwide/cargo-home/git/checkouts/kems-a3ec4eb2dbfb4ed5/af50988/ml-kem/src/param.rs:226:5
[INFO] [stdout]     |
[INFO] [stdout] 226 |     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>::NttVectorSize> well-formed`
[INFO] [stdout]    --> /opt/rustwide/cargo-home/git/checkouts/kems-a3ec4eb2dbfb4ed5/af50988/ml-kem/src/param.rs:226:5
[INFO] [stdout]     |
[INFO] [stdout] 226 |     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/git/checkouts/kems-a3ec4eb2dbfb4ed5/af50988/ml-kem/src/param.rs:185:8
[INFO] [stdout]     |
[INFO] [stdout] 174 | pub trait PkeParams: ParameterSet {
[INFO] [stdout]     |           --------- in this trait
[INFO] [stdout] ...
[INFO] [stdout] 185 |     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 the requirement `hybrid_array::Array<u8, <P as PkeParams>::EncryptionKeySize> well-formed`
[INFO] [stdout]    --> /opt/rustwide/cargo-home/git/checkouts/kems-a3ec4eb2dbfb4ed5/af50988/ml-kem/src/param.rs:226:5
[INFO] [stdout]     |
[INFO] [stdout] 226 |     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/git/checkouts/kems-a3ec4eb2dbfb4ed5/af50988/ml-kem/src/param.rs:185:8
[INFO] [stdout]     |
[INFO] [stdout] 174 | pub trait PkeParams: ParameterSet {
[INFO] [stdout]     |           --------- in this trait
[INFO] [stdout] ...
[INFO] [stdout] 185 |     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<...>>::EncodedPolynomialVectorSize as Add<...>>::Output == _`
[INFO] [stdout]    --> /opt/rustwide/cargo-home/git/checkouts/kems-a3ec4eb2dbfb4ed5/af50988/ml-kem/src/param.rs:230:5
[INFO] [stdout]     |
[INFO] [stdout] 230 |     fn split_ek(ek: &EncodedEncryptionKey<Self>) -> (&EncodedNttVector<Self>, &B32) {
[INFO] [stdout]     |     ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0275]: overflow evaluating the requirement `&hybrid_array::Array<u8, <P as PkeParams>::EncryptionKeySize> well-formed`
[INFO] [stdout]    --> /opt/rustwide/cargo-home/git/checkouts/kems-a3ec4eb2dbfb4ed5/af50988/ml-kem/src/param.rs:230:5
[INFO] [stdout]     |
[INFO] [stdout] 230 |     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/git/checkouts/kems-a3ec4eb2dbfb4ed5/af50988/ml-kem/src/param.rs:186:8
[INFO] [stdout]     |
[INFO] [stdout] 174 | pub trait PkeParams: ParameterSet {
[INFO] [stdout]     |           --------- in this trait
[INFO] [stdout] ...
[INFO] [stdout] 186 |     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 the requirement `(&hybrid_array::Array<u8, <P as PkeParams>::NttVectorSize>, &...) well-formed`
[INFO] [stdout]    --> /opt/rustwide/cargo-home/git/checkouts/kems-a3ec4eb2dbfb4ed5/af50988/ml-kem/src/param.rs:230:5
[INFO] [stdout]     |
[INFO] [stdout] 230 |     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/git/checkouts/kems-a3ec4eb2dbfb4ed5/af50988/ml-kem/src/param.rs:186:8
[INFO] [stdout]     |
[INFO] [stdout] 174 | pub trait PkeParams: ParameterSet {
[INFO] [stdout]     |           --------- in this trait
[INFO] [stdout] ...
[INFO] [stdout] 186 |     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/git/checkouts/kems-a3ec4eb2dbfb4ed5/af50988/ml-kem/src/param.rs:194:23
[INFO] [stdout]     |
[INFO] [stdout] 194 | 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<...>>::EncodedPolynomialVectorSize as Add<...>>::Output: Sub<...>`
[INFO] [stdout]    --> /opt/rustwide/cargo-home/git/checkouts/kems-a3ec4eb2dbfb4ed5/af50988/ml-kem/src/param.rs:204:65
[INFO] [stdout]     |
[INFO] [stdout] 204 |         ArraySize + Sub<EncodedPolynomialVectorSize<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<...>>::EncodedPolynomialVectorSize: Add<...>`
[INFO] [stdout]    --> /opt/rustwide/cargo-home/git/checkouts/kems-a3ec4eb2dbfb4ed5/af50988/ml-kem/src/param.rs:202:45
[INFO] [stdout]     |
[INFO] [stdout] 202 |     EncodedPolynomialVectorSize<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<...>>::EncodedPolynomialVectorSize as Add<...>>::Output: param::ArraySize`
[INFO] [stdout]    --> /opt/rustwide/cargo-home/git/checkouts/kems-a3ec4eb2dbfb4ed5/af50988/ml-kem/src/param.rs:204:9
[INFO] [stdout]     |
[INFO] [stdout] 204 |         ArraySize + Sub<EncodedPolynomialVectorSize<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<...>>::EncodedPolynomialVectorSize as Add<...>>::Output: Sub<...>`
[INFO] [stdout]    --> /opt/rustwide/cargo-home/git/checkouts/kems-a3ec4eb2dbfb4ed5/af50988/ml-kem/src/param.rs:204:21
[INFO] [stdout]     |
[INFO] [stdout] 204 |         ArraySize + Sub<EncodedPolynomialVectorSize<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<...>>::EncodedPolynomialVectorSize: Sized`
[INFO] [stdout]    --> /opt/rustwide/cargo-home/git/checkouts/kems-a3ec4eb2dbfb4ed5/af50988/ml-kem/src/param.rs:204:65
[INFO] [stdout]     |
[INFO] [stdout] 204 |         ArraySize + Sub<EncodedPolynomialVectorSize<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<...>>::EncodedPolynomialVectorSize: Sized`
[INFO] [stdout]    --> /opt/rustwide/cargo-home/git/checkouts/kems-a3ec4eb2dbfb4ed5/af50988/ml-kem/src/param.rs:204:21
[INFO] [stdout]     |
[INFO] [stdout] 204 |         ArraySize + Sub<EncodedPolynomialVectorSize<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<...>>::EncodedPolynomialVectorSize as Add<...>>::Output well-formed`
[INFO] [stdout]    --> /opt/rustwide/cargo-home/git/checkouts/kems-a3ec4eb2dbfb4ed5/af50988/ml-kem/src/param.rs:204:65
[INFO] [stdout]     |
[INFO] [stdout] 204 |         ArraySize + Sub<EncodedPolynomialVectorSize<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<...>>::EncodedPolynomialVectorSize well-formed`
[INFO] [stdout]    --> /opt/rustwide/cargo-home/git/checkouts/kems-a3ec4eb2dbfb4ed5/af50988/ml-kem/src/param.rs:204:65
[INFO] [stdout]     |
[INFO] [stdout] 204 |         ArraySize + Sub<EncodedPolynomialVectorSize<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<...>>::EncodedPolynomialVectorSize well-formed`
[INFO] [stdout]    --> /opt/rustwide/cargo-home/git/checkouts/kems-a3ec4eb2dbfb4ed5/af50988/ml-kem/src/param.rs:202:45
[INFO] [stdout]     |
[INFO] [stdout] 202 |     EncodedPolynomialVectorSize<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<...>>::EncodedPolynomialVectorSize as Add<...>>::Output well-formed`
[INFO] [stdout]    --> /opt/rustwide/cargo-home/git/checkouts/kems-a3ec4eb2dbfb4ed5/af50988/ml-kem/src/param.rs:204:9
[INFO] [stdout]     |
[INFO] [stdout] 204 |         ArraySize + Sub<EncodedPolynomialVectorSize<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<...>>::EncodedPolynomialVectorSize as Add<...>>::Output well-formed`
[INFO] [stdout]    --> /opt/rustwide/cargo-home/git/checkouts/kems-a3ec4eb2dbfb4ed5/af50988/ml-kem/src/param.rs:204:21
[INFO] [stdout]     |
[INFO] [stdout] 204 |         ArraySize + Sub<EncodedPolynomialVectorSize<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<...>>::EncodedPolynomialVectorSize well-formed`
[INFO] [stdout]    --> /opt/rustwide/cargo-home/git/checkouts/kems-a3ec4eb2dbfb4ed5/af50988/ml-kem/src/param.rs:204:21
[INFO] [stdout]     |
[INFO] [stdout] 204 |         ArraySize + Sub<EncodedPolynomialVectorSize<U12, P::K>, Output = U32>,
[INFO] [stdout]     |                     ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0277]: the trait bound `DecapsulationKey<P>: Decapsulator` is not satisfied
[INFO] [stdout]    --> /opt/rustwide/cargo-home/git/checkouts/kems-a3ec4eb2dbfb4ed5/af50988/ml-kem/src/kem.rs:99:28
[INFO] [stdout]     |
[INFO] [stdout]  99 |     ) -> Result<SharedKey, Self::Error> {
[INFO] [stdout]     |                            ^^^^^^^^^^^ unsatisfied trait bound
[INFO] [stdout]     |
[INFO] [stdout] help: the trait `Decapsulator` is not implemented for `DecapsulationKey<P>`
[INFO] [stdout]    --> /opt/rustwide/cargo-home/git/checkouts/kems-a3ec4eb2dbfb4ed5/af50988/ml-kem/src/kem.rs:29:1
[INFO] [stdout]     |
[INFO] [stdout]  29 | pub struct DecapsulationKey<P>
[INFO] [stdout]     | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] note: required by a bound in `TryDecapsulate`
[INFO] [stdout]    --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/kem-0.3.0-rc.6/src/lib.rs:142:27
[INFO] [stdout]     |
[INFO] [stdout] 142 | pub trait TryDecapsulate: Decapsulator {
[INFO] [stdout]     |                           ^^^^^^^^^^^^ required by this bound in `TryDecapsulate`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0275]: overflow evaluating the requirement `<UInt<UInt<UInt<UInt<UTerm, B1>, ...>, ...>, ...> as VectorEncodingSize<...>>::EncodedPolynomialVectorSize == _`
[INFO] [stdout]    --> /opt/rustwide/cargo-home/git/checkouts/kems-a3ec4eb2dbfb4ed5/af50988/ml-kem/src/param.rs:206:5
[INFO] [stdout]     |
[INFO] [stdout] 206 |     type NttVectorSize = EncodedPolynomialVectorSize<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<...>>::EncodedPolynomialVectorSize well-formed`
[INFO] [stdout]    --> /opt/rustwide/cargo-home/git/checkouts/kems-a3ec4eb2dbfb4ed5/af50988/ml-kem/src/param.rs:206:5
[INFO] [stdout]     |
[INFO] [stdout] 206 |     type NttVectorSize = EncodedPolynomialVectorSize<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/git/checkouts/kems-a3ec4eb2dbfb4ed5/af50988/ml-kem/src/param.rs:207:5
[INFO] [stdout]     |
[INFO] [stdout] 207 |     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]    --> /opt/rustwide/cargo-home/git/checkouts/kems-a3ec4eb2dbfb4ed5/af50988/ml-kem/src/param.rs:207:5
[INFO] [stdout]     |
[INFO] [stdout] 207 |     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/git/checkouts/kems-a3ec4eb2dbfb4ed5/af50988/ml-kem/src/param.rs:210:46
[INFO] [stdout]     |
[INFO] [stdout] 210 |     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/git/checkouts/kems-a3ec4eb2dbfb4ed5/af50988/ml-kem/src/param.rs:210:46
[INFO] [stdout]     |
[INFO] [stdout] 210 |     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 `hybrid_array::Array<u8, <P as PkeParams>::NttVectorSize> well-formed`
[INFO] [stdout]    --> /opt/rustwide/cargo-home/git/checkouts/kems-a3ec4eb2dbfb4ed5/af50988/ml-kem/src/param.rs:210:46
[INFO] [stdout]     |
[INFO] [stdout] 210 |     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/git/checkouts/kems-a3ec4eb2dbfb4ed5/af50988/ml-kem/src/param.rs:214:22
[INFO] [stdout]     |
[INFO] [stdout] 214 |     fn decode_u12(v: &EncodedNttVector<Self>) -> NttVector<Self::K> {
[INFO] [stdout]     |                      ^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0275]: overflow evaluating the requirement `&hybrid_array::Array<u8, <P as PkeParams>::NttVectorSize> well-formed`
[INFO] [stdout]    --> /opt/rustwide/cargo-home/git/checkouts/kems-a3ec4eb2dbfb4ed5/af50988/ml-kem/src/param.rs:214:22
[INFO] [stdout]     |
[INFO] [stdout] 214 |     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>::CiphertextSize == _`
[INFO] [stdout]    --> /opt/rustwide/cargo-home/git/checkouts/kems-a3ec4eb2dbfb4ed5/af50988/ml-kem/src/param.rs:218:59
[INFO] [stdout]     |
[INFO] [stdout] 218 |     fn concat_ct(u: EncodedU<Self>, v: EncodedV<Self>) -> EncodedCiphertext<Self> {
[INFO] [stdout]     |                                                           ^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0275]: overflow evaluating the requirement `hybrid_array::Array<u8, <P as PkeParams>::CiphertextSize>: Sized`
[INFO] [stdout]    --> /opt/rustwide/cargo-home/git/checkouts/kems-a3ec4eb2dbfb4ed5/af50988/ml-kem/src/param.rs:218:59
[INFO] [stdout]     |
[INFO] [stdout] 218 |     fn concat_ct(u: EncodedU<Self>, v: EncodedV<Self>) -> EncodedCiphertext<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 `hybrid_array::Array<u8, <P as PkeParams>::CiphertextSize> well-formed`
[INFO] [stdout]    --> /opt/rustwide/cargo-home/git/checkouts/kems-a3ec4eb2dbfb4ed5/af50988/ml-kem/src/param.rs:218:59
[INFO] [stdout]     |
[INFO] [stdout] 218 |     fn concat_ct(u: EncodedU<Self>, v: EncodedV<Self>) -> EncodedCiphertext<Self> {
[INFO] [stdout]     |                                                           ^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0275]: overflow evaluating the requirement `<P as PkeParams>::CiphertextSize == _`
[INFO] [stdout]    --> /opt/rustwide/cargo-home/git/checkouts/kems-a3ec4eb2dbfb4ed5/af50988/ml-kem/src/param.rs:222:21
[INFO] [stdout]     |
[INFO] [stdout] 222 |     fn split_ct(ct: &EncodedCiphertext<Self>) -> (&EncodedU<Self>, &EncodedV<Self>) {
[INFO] [stdout]     |                     ^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0275]: overflow evaluating the requirement `&hybrid_array::Array<u8, <P as PkeParams>::CiphertextSize> well-formed`
[INFO] [stdout]    --> /opt/rustwide/cargo-home/git/checkouts/kems-a3ec4eb2dbfb4ed5/af50988/ml-kem/src/param.rs:222:21
[INFO] [stdout]     |
[INFO] [stdout] 222 |     fn split_ct(ct: &EncodedCiphertext<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/git/checkouts/kems-a3ec4eb2dbfb4ed5/af50988/ml-kem/src/param.rs:226:25
[INFO] [stdout]     |
[INFO] [stdout] 226 |     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/git/checkouts/kems-a3ec4eb2dbfb4ed5/af50988/ml-kem/src/param.rs:226:62
[INFO] [stdout]     |
[INFO] [stdout] 226 |     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/git/checkouts/kems-a3ec4eb2dbfb4ed5/af50988/ml-kem/src/param.rs:226:62
[INFO] [stdout]     |
[INFO] [stdout] 226 |     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 `hybrid_array::Array<u8, <P as PkeParams>::NttVectorSize> well-formed`
[INFO] [stdout]    --> /opt/rustwide/cargo-home/git/checkouts/kems-a3ec4eb2dbfb4ed5/af50988/ml-kem/src/param.rs:226:25
[INFO] [stdout]     |
[INFO] [stdout] 226 |     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> well-formed`
[INFO] [stdout]    --> /opt/rustwide/cargo-home/git/checkouts/kems-a3ec4eb2dbfb4ed5/af50988/ml-kem/src/param.rs:226:62
[INFO] [stdout]     |
[INFO] [stdout] 226 |     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/git/checkouts/kems-a3ec4eb2dbfb4ed5/af50988/ml-kem/src/param.rs:230:21
[INFO] [stdout]     |
[INFO] [stdout] 230 |     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/git/checkouts/kems-a3ec4eb2dbfb4ed5/af50988/ml-kem/src/param.rs:230:53
[INFO] [stdout]     |
[INFO] [stdout] 230 |     fn split_ek(ek: &EncodedEncryptionKey<Self>) -> (&EncodedNttVector<Self>, &B32) {
[INFO] [stdout]     |                                                     ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0275]: overflow evaluating the requirement `&hybrid_array::Array<u8, <P as PkeParams>::EncryptionKeySize> well-formed`
[INFO] [stdout]    --> /opt/rustwide/cargo-home/git/checkouts/kems-a3ec4eb2dbfb4ed5/af50988/ml-kem/src/param.rs:230:21
[INFO] [stdout]     |
[INFO] [stdout] 230 |     fn split_ek(ek: &EncodedEncryptionKey<Self>) -> (&EncodedNttVector<Self>, &B32) {
[INFO] [stdout]     |                     ^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0275]: overflow evaluating the requirement `(&hybrid_array::Array<u8, <P as PkeParams>::NttVectorSize>, &...) well-formed`
[INFO] [stdout]    --> /opt/rustwide/cargo-home/git/checkouts/kems-a3ec4eb2dbfb4ed5/af50988/ml-kem/src/param.rs:230:53
[INFO] [stdout]     |
[INFO] [stdout] 230 |     fn split_ek(ek: &EncodedEncryptionKey<Self>) -> (&EncodedNttVector<Self>, &B32) {
[INFO] [stdout]     |                                                     ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0308]: mismatched types
[INFO] [stdout]    --> /opt/rustwide/cargo-home/git/checkouts/kems-a3ec4eb2dbfb4ed5/af50988/ml-kem/src/kem.rs:117:9
[INFO] [stdout]     |
[INFO] [stdout]  99 |       ) -> Result<SharedKey, Self::Error> {
[INFO] [stdout]     |            ------------------------------ expected `Result<Array<u8, UInt<UInt<UInt<..., ...>, ...>, ...>>, ...>` because of return type
[INFO] [stdout] ...
[INFO] [stdout] 117 | /         Ok(Kp
[INFO] [stdout] 118 | |             .iter()
[INFO] [stdout] 119 | |             .zip(Kbar.iter())
[INFO] [stdout] 120 | |             .map(|(x, y)| (equal & x) | (!equal & y))
[INFO] [stdout] 121 | |             .collect())
[INFO] [stdout]     | |_______________________^ types differ
[INFO] [stdout]     |
[INFO] [stdout]     = note: expected enum `Result<hybrid_array::Array<u8, UInt<UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B0>, B0>, B0>, B0>, B0>>, <DecapsulationKey<P> as TryDecapsulate>::Error>`
[INFO] [stdout]                found enum `Result<_, _>`
[INFO] [stdout]     = note: the full name for the type has been written to '/opt/rustwide/target/debug/deps/ml_kem-e5323ec6e3ae8d3e.long-type-13886931367945621083.txt'
[INFO] [stdout]     = note: consider using `--verbose` to print the full type name to the console
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0277]: the trait bound `DecapsulationKey<P>: Decapsulator` is not satisfied
[INFO] [stdout]    --> /opt/rustwide/cargo-home/git/checkouts/kems-a3ec4eb2dbfb4ed5/af50988/ml-kem/src/kem.rs:99:28
[INFO] [stdout]     |
[INFO] [stdout]  99 |     ) -> Result<SharedKey, Self::Error> {
[INFO] [stdout]     |                            ^^^^ unsatisfied trait bound
[INFO] [stdout]     |
[INFO] [stdout] help: the trait `Decapsulator` is not implemented for `DecapsulationKey<P>`
[INFO] [stdout]    --> /opt/rustwide/cargo-home/git/checkouts/kems-a3ec4eb2dbfb4ed5/af50988/ml-kem/src/kem.rs:29:1
[INFO] [stdout]     |
[INFO] [stdout]  29 | pub struct DecapsulationKey<P>
[INFO] [stdout]     | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] note: required by a bound in `kem::TryDecapsulate::Error`
[INFO] [stdout]    --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/kem-0.3.0-rc.6/src/lib.rs:142:27
[INFO] [stdout]     |
[INFO] [stdout] 142 | pub trait TryDecapsulate: Decapsulator {
[INFO] [stdout]     |                           ^^^^^^^^^^^^ required by this bound in `TryDecapsulate::Error`
[INFO] [stdout] 143 |     /// Decapsulation error
[INFO] [stdout] 144 |     type Error: core::error::Error;
[INFO] [stdout]     |          ----- required by a bound in this associated type
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0277]: the trait bound `DecapsulationKey<P>: Decapsulator` is not satisfied
[INFO] [stdout]   --> /opt/rustwide/cargo-home/git/checkouts/kems-a3ec4eb2dbfb4ed5/af50988/ml-kem/src/kem.rs:96:5
[INFO] [stdout]    |
[INFO] [stdout] 96 | /     fn decapsulate(
[INFO] [stdout] 97 | |         &self,
[INFO] [stdout] 98 | |         encapsulated_key: &EncodedCiphertext<P>,
[INFO] [stdout] 99 | |     ) -> Result<SharedKey, Self::Error> {
[INFO] [stdout]    | |_______________________________________^ unsatisfied trait bound
[INFO] [stdout]    |
[INFO] [stdout] help: the trait `Decapsulator` is not implemented for `DecapsulationKey<P>`
[INFO] [stdout]   --> /opt/rustwide/cargo-home/git/checkouts/kems-a3ec4eb2dbfb4ed5/af50988/ml-kem/src/kem.rs:29:1
[INFO] [stdout]    |
[INFO] [stdout] 29 | pub struct DecapsulationKey<P>
[INFO] [stdout]    | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout]    = note: required for `DecapsulationKey<P>` to implement `TryDecapsulate`
[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/git/checkouts/kems-a3ec4eb2dbfb4ed5/af50988/ml-kem/src/param.rs:211:18
[INFO] [stdout]     |
[INFO] [stdout] 211 |         Encode::<U12>::encode(p)
[INFO] [stdout]     |                  ^^^
[INFO] [stdout]     |
[INFO] [stdout] note: required by a bound in `Encode::encode`
[INFO] [stdout]    --> /opt/rustwide/cargo-home/git/checkouts/kems-a3ec4eb2dbfb4ed5/af50988/ml-kem/src/encode.rs:68:21
[INFO] [stdout]     |
[INFO] [stdout]  68 | pub trait Encode<D: EncodingSize> {
[INFO] [stdout]     |                     ^^^^^^^^^^^^ required by this bound in `Encode::encode`
[INFO] [stdout]  69 |     type EncodedSize: ArraySize;
[INFO] [stdout]  70 |     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 `NttVector<<P as ParameterSet>::K>: Encode<UInt<UInt<UInt<UInt<..., ...>, ...>, ...>, ...>>`
[INFO] [stdout]    --> /opt/rustwide/cargo-home/git/checkouts/kems-a3ec4eb2dbfb4ed5/af50988/ml-kem/src/param.rs:211:31
[INFO] [stdout]     |
[INFO] [stdout] 211 |         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 == <NttVector<<P as ParameterSet>::K> as Encode<UInt<..., ...>>>::EncodedSize`
[INFO] [stdout]    --> /opt/rustwide/cargo-home/git/checkouts/kems-a3ec4eb2dbfb4ed5/af50988/ml-kem/src/param.rs:211:9
[INFO] [stdout]     |
[INFO] [stdout] 211 |         Encode::<U12>::encode(p)
[INFO] [stdout]     |         ^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0275]: overflow evaluating the requirement `hybrid_array::Array<u8, <NttVector<<P as ParameterSet>::K> as Encode<UInt<..., ...>>>::EncodedSize>: Sized`
[INFO] [stdout]    --> /opt/rustwide/cargo-home/git/checkouts/kems-a3ec4eb2dbfb4ed5/af50988/ml-kem/src/param.rs:211:9
[INFO] [stdout]     |
[INFO] [stdout] 211 |         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 `hybrid_array::Array<u8, <NttVector<<P as ParameterSet>::K> as Encode<UInt<..., ...>>>::EncodedSize> well-formed`
[INFO] [stdout]    --> /opt/rustwide/cargo-home/git/checkouts/kems-a3ec4eb2dbfb4ed5/af50988/ml-kem/src/param.rs:211:9
[INFO] [stdout]     |
[INFO] [stdout] 211 |         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/git/checkouts/kems-a3ec4eb2dbfb4ed5/af50988/ml-kem/src/param.rs:210:69
[INFO] [stdout]     |
[INFO] [stdout] 210 |       fn encode_u12(p: &NttVector<Self::K>) -> EncodedNttVector<Self> {
[INFO] [stdout]     |  _____________________________________________________________________^
[INFO] [stdout] 211 | |         Encode::<U12>::encode(p)
[INFO] [stdout] 212 | |     }
[INFO] [stdout]     | |_____^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0275]: overflow evaluating the requirement `<NttVector<<P as ParameterSet>::K> as Encode<UInt<UInt<UInt<..., ...>, ...>, ...>>>::EncodedSize == _`
[INFO] [stdout]    --> /opt/rustwide/cargo-home/git/checkouts/kems-a3ec4eb2dbfb4ed5/af50988/ml-kem/src/param.rs:211:9
[INFO] [stdout]     |
[INFO] [stdout] 211 |         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]    --> /opt/rustwide/cargo-home/git/checkouts/kems-a3ec4eb2dbfb4ed5/af50988/ml-kem/src/param.rs:210:5
[INFO] [stdout]     |
[INFO] [stdout] 210 |     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/git/checkouts/kems-a3ec4eb2dbfb4ed5/af50988/ml-kem/src/param.rs:214:19
[INFO] [stdout]     |
[INFO] [stdout] 214 |     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/git/checkouts/kems-a3ec4eb2dbfb4ed5/af50988/ml-kem/src/param.rs:215:18
[INFO] [stdout]     |
[INFO] [stdout] 215 |         Encode::<U12>::decode(v)
[INFO] [stdout]     |                  ^^^
[INFO] [stdout]     |
[INFO] [stdout] note: required by a bound in `Encode::decode`
[INFO] [stdout]    --> /opt/rustwide/cargo-home/git/checkouts/kems-a3ec4eb2dbfb4ed5/af50988/ml-kem/src/encode.rs:68:21
[INFO] [stdout]     |
[INFO] [stdout]  68 | pub trait Encode<D: EncodingSize> {
[INFO] [stdout]     |                     ^^^^^^^^^^^^ required by this bound in `Encode::decode`
[INFO] [stdout] ...
[INFO] [stdout]  71 |     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 `NttVector<<P as ParameterSet>::K>: Encode<UInt<UInt<UInt<UInt<..., ...>, ...>, ...>, ...>>`
[INFO] [stdout]    --> /opt/rustwide/cargo-home/git/checkouts/kems-a3ec4eb2dbfb4ed5/af50988/ml-kem/src/param.rs:215:9
[INFO] [stdout]     |
[INFO] [stdout] 215 |         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 `_ == <NttVector<<P as ParameterSet>::K> as Encode<UInt<UInt<..., ...>, ...>>>::EncodedSize`
[INFO] [stdout]    --> /opt/rustwide/cargo-home/git/checkouts/kems-a3ec4eb2dbfb4ed5/af50988/ml-kem/src/param.rs:215:9
[INFO] [stdout]     |
[INFO] [stdout] 215 |         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 `&hybrid_array::Array<u8, <NttVector<<P as ParameterSet>::K> as Encode<...>>::EncodedSize> well-formed`
[INFO] [stdout]    --> /opt/rustwide/cargo-home/git/checkouts/kems-a3ec4eb2dbfb4ed5/af50988/ml-kem/src/param.rs:215:31
[INFO] [stdout]     |
[INFO] [stdout] 215 |         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/git/checkouts/kems-a3ec4eb2dbfb4ed5/af50988/ml-kem/src/param.rs:214:19
[INFO] [stdout]     |
[INFO] [stdout] 214 |     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/git/checkouts/kems-a3ec4eb2dbfb4ed5/af50988/ml-kem/src/param.rs:214:5
[INFO] [stdout]     |
[INFO] [stdout] 214 |     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>::CiphertextSize == <<<P as ParameterSet>::Du as VectorEncodingSize<<... as ParameterSet>::K>>::EncodedPolynomialVectorSize as Add<...>>::Output`
[INFO] [stdout]    --> /opt/rustwide/cargo-home/git/checkouts/kems-a3ec4eb2dbfb4ed5/af50988/ml-kem/src/param.rs:219:9
[INFO] [stdout]     |
[INFO] [stdout] 219 |         u.concat(v)
[INFO] [stdout]     |         ^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0275]: overflow evaluating the requirement `<P as PkeParams>::CiphertextSize == _`
[INFO] [stdout]    --> /opt/rustwide/cargo-home/git/checkouts/kems-a3ec4eb2dbfb4ed5/af50988/ml-kem/src/param.rs:218:83
[INFO] [stdout]     |
[INFO] [stdout] 218 |       fn concat_ct(u: EncodedU<Self>, v: EncodedV<Self>) -> EncodedCiphertext<Self> {
[INFO] [stdout]     |  ___________________________________________________________________________________^
[INFO] [stdout] 219 | |         u.concat(v)
[INFO] [stdout] 220 | |     }
[INFO] [stdout]     | |_____^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0275]: overflow evaluating the requirement `<P as PkeParams>::CiphertextSize == _`
[INFO] [stdout]    --> /opt/rustwide/cargo-home/git/checkouts/kems-a3ec4eb2dbfb4ed5/af50988/ml-kem/src/param.rs:218:5
[INFO] [stdout]     |
[INFO] [stdout] 218 |     fn concat_ct(u: EncodedU<Self>, v: EncodedV<Self>) -> EncodedCiphertext<Self> {
[INFO] [stdout]     |     ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[ERROR] error running command: command timed out after 900 seconds
[INFO] running `Command { std: "docker" "inspect" "2fa15fd65bb58bb42ca15498b177e0828551ae1b707a25735b70a46c0055827d", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "2fa15fd65bb58bb42ca15498b177e0828551ae1b707a25735b70a46c0055827d", kill_on_drop: false }`
[INFO] [stdout] 2fa15fd65bb58bb42ca15498b177e0828551ae1b707a25735b70a46c0055827d
