[INFO] cloning repository https://github.com/pszymkowiak/enigma
[INFO] running `Command { std: "git" "-c" "credential.helper=" "-c" "credential.helper=/workspace/cargo-home/bin/git-credential-null" "clone" "--bare" "https://github.com/pszymkowiak/enigma" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Fpszymkowiak%2Fenigma", kill_on_drop: false }`
[INFO] [stderr] Cloning into bare repository '/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Fpszymkowiak%2Fenigma'...
[INFO] running `Command { std: "git" "rev-parse" "HEAD", kill_on_drop: false }`
[INFO] [stdout] 3aa6193046f08ba5c55a3a3c6bebfb188be31c57
[INFO] checking pszymkowiak/enigma against try#6713fa75964eb229409a9c6f6f5c418423e313ff for pr-133502-22
[INFO] running `Command { std: "git" "clone" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Fpszymkowiak%2Fenigma" "/workspace/builds/worker-3-tc2/source", kill_on_drop: false }`
[INFO] [stderr] Cloning into '/workspace/builds/worker-3-tc2/source'...
[INFO] [stderr] done.
[INFO] started tweaking git repo https://github.com/pszymkowiak/enigma
[INFO] finished tweaking git repo https://github.com/pszymkowiak/enigma
[INFO] tweaked toml for git repo https://github.com/pszymkowiak/enigma written to /workspace/builds/worker-3-tc2/source/Cargo.toml
[INFO] validating manifest of git repo https://github.com/pszymkowiak/enigma on toolchain 6713fa75964eb229409a9c6f6f5c418423e313ff
[INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+6713fa75964eb229409a9c6f6f5c418423e313ff" "metadata" "--manifest-path" "Cargo.toml" "--no-deps", kill_on_drop: false }`
[INFO] crate git repo https://github.com/pszymkowiak/enigma already has a lockfile, it will not be regenerated
[INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+6713fa75964eb229409a9c6f6f5c418423e313ff" "fetch" "--manifest-path" "Cargo.toml", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-3-tc2/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-3-tc2/source:/opt/rustwide/workdir:ro,Z" "-v" "/var/lib/crater-agent-workspace/cargo-home:/opt/rustwide/cargo-home:ro,Z" "-v" "/var/lib/crater-agent-workspace/rustup-home:/opt/rustwide/rustup-home:ro,Z" "-e" "SOURCE_DIR=/opt/rustwide/workdir" "-e" "CARGO_TARGET_DIR=/opt/rustwide/target" "-e" "CARGO_HOME=/opt/rustwide/cargo-home" "-e" "RUSTUP_HOME=/opt/rustwide/rustup-home" "-w" "/opt/rustwide/workdir" "-m" "1610612736" "--user" "0:0" "--network" "none" "ghcr.io/rust-lang/crates-build-env/linux@sha256:d429b63d4308055ea97f60fb1d3dfca48854a00942f1bd2ad806beaf015945ec" "/opt/rustwide/cargo-home/bin/cargo" "+6713fa75964eb229409a9c6f6f5c418423e313ff" "metadata" "--no-deps" "--format-version=1", kill_on_drop: false }`
[INFO] [stdout] 5360391a43c97b3b099e0dfa312ffcdbced0c346363379851d973809afcc0704
[INFO] running `Command { std: "docker" "start" "-a" "5360391a43c97b3b099e0dfa312ffcdbced0c346363379851d973809afcc0704", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "inspect" "5360391a43c97b3b099e0dfa312ffcdbced0c346363379851d973809afcc0704", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "5360391a43c97b3b099e0dfa312ffcdbced0c346363379851d973809afcc0704", kill_on_drop: false }`
[INFO] [stdout] 5360391a43c97b3b099e0dfa312ffcdbced0c346363379851d973809afcc0704
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-3-tc2/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-3-tc2/source:/opt/rustwide/workdir:ro,Z" "-v" "/var/lib/crater-agent-workspace/cargo-home:/opt/rustwide/cargo-home:ro,Z" "-v" "/var/lib/crater-agent-workspace/rustup-home:/opt/rustwide/rustup-home:ro,Z" "-e" "SOURCE_DIR=/opt/rustwide/workdir" "-e" "CARGO_TARGET_DIR=/opt/rustwide/target" "-e" "CARGO_INCREMENTAL=0" "-e" "RUST_BACKTRACE=full" "-e" "RUSTFLAGS=--cap-lints=forbid" "-e" "RUSTDOCFLAGS=--cap-lints=forbid" "-e" "CARGO_HOME=/opt/rustwide/cargo-home" "-e" "RUSTUP_HOME=/opt/rustwide/rustup-home" "-w" "/opt/rustwide/workdir" "-m" "1610612736" "--user" "0:0" "--network" "none" "ghcr.io/rust-lang/crates-build-env/linux@sha256:d429b63d4308055ea97f60fb1d3dfca48854a00942f1bd2ad806beaf015945ec" "/opt/rustwide/cargo-home/bin/cargo" "+6713fa75964eb229409a9c6f6f5c418423e313ff" "check" "--frozen" "--all" "--all-targets" "--message-format=json", kill_on_drop: false }`
[INFO] [stdout] e6672bed6d10a5a9a86ecc5efe86b54f546911bece35efb132ca526d3f6e321e
[INFO] running `Command { std: "docker" "start" "-a" "e6672bed6d10a5a9a86ecc5efe86b54f546911bece35efb132ca526d3f6e321e", kill_on_drop: false }`
[INFO] [stderr]    Compiling libc v0.2.180
[INFO] [stderr]    Compiling proc-macro2 v1.0.106
[INFO] [stderr]    Compiling typenum v1.19.0
[INFO] [stderr]     Checking ryu v1.0.22
[INFO] [stderr]    Compiling time-macros v0.2.27
[INFO] [stderr]     Checking deranged v0.5.5
[INFO] [stderr]     Checking num-integer v0.1.46
[INFO] [stderr]     Checking bitflags v2.10.0
[INFO] [stderr]    Compiling zmij v1.0.19
[INFO] [stderr]     Checking base64ct v1.8.3
[INFO] [stderr]     Checking outref v0.5.2
[INFO] [stderr]     Checking vsimd v0.8.0
[INFO] [stderr]     Checking bytes-utils v0.1.4
[INFO] [stderr]     Checking const-oid v0.9.6
[INFO] [stderr]    Compiling fs_extra v1.3.0
[INFO] [stderr]    Compiling rustix v1.1.3
[INFO] [stderr]    Compiling aws-lc-rs v1.15.4
[INFO] [stderr]    Compiling unicase v2.9.0
[INFO] [stderr]    Compiling rustls v0.21.12
[INFO] [stderr]    Compiling rustls v0.23.36
[INFO] [stderr]     Checking base16ct v0.1.1
[INFO] [stderr]    Compiling mime_guess v2.0.5
[INFO] [stderr]     Checking ahash v0.8.12
[INFO] [stderr]     Checking concurrent-queue v2.5.0
[INFO] [stderr]    Compiling aws-types v1.3.11
[INFO] [stderr]    Compiling zstd-safe v7.2.4
[INFO] [stderr]     Checking fallible-streaming-iterator v0.1.9
[INFO] [stderr]     Checking hashbrown v0.14.5
[INFO] [stderr]     Checking fallible-iterator v0.3.0
[INFO] [stderr]     Checking base64-simd v0.8.0
[INFO] [stderr]     Checking num-bigint v0.4.6
[INFO] [stderr]    Compiling quote v1.0.44
[INFO] [stderr]     Checking winnow v0.7.14
[INFO] [stderr]     Checking serde_json v1.0.149
[INFO] [stderr]     Checking toml_write v0.1.2
[INFO] [stderr]    Compiling syn v2.0.114
[INFO] [stderr]     Checking crc v3.3.0
[INFO] [stderr]     Checking regex-lite v0.1.9
[INFO] [stderr]     Checking fastrand v1.9.0
[INFO] [stderr]    Compiling http-types v2.12.0
[INFO] [stderr]     Checking fastcdc v3.2.1
[INFO] [stderr]     Checking waker-fn v1.2.0
[INFO] [stderr]    Compiling jobserver v0.1.34
[INFO] [stderr]     Checking async-channel v1.9.0
[INFO] [stderr]     Checking futures-lite v1.13.0
[INFO] [stderr]     Checking getrandom v0.2.17
[INFO] [stderr]     Checking errno v0.3.14
[INFO] [stderr]     Checking parking_lot_core v0.9.12
[INFO] [stderr]     Checking mio v1.1.1
[INFO] [stderr]     Checking socket2 v0.6.2
[INFO] [stderr]     Checking signal-hook-registry v1.4.8
[INFO] [stderr]     Checking rand_core v0.6.4
[INFO] [stderr]    Compiling cc v1.2.55
[INFO] [stderr]     Checking parking_lot v0.12.5
[INFO] [stderr]     Checking getrandom v0.3.4
[INFO] [stderr]     Checking rand_chacha v0.3.1
[INFO] [stderr]     Checking uuid v1.20.0
[INFO] [stderr]     Checking socket2 v0.5.10
[INFO] [stderr]     Checking ff v0.12.1
[INFO] [stderr]     Checking hashlink v0.9.1
[INFO] [stderr]     Checking crypto-bigint v0.5.5
[INFO] [stderr]     Checking getrandom v0.1.16
[INFO] [stderr]     Checking group v0.12.1
[INFO] [stderr]     Checking dirs-sys v0.4.1
[INFO] [stderr]     Checking rand v0.8.5
[INFO] [stderr]    Compiling azure_core v0.20.0
[INFO] [stderr]     Checking dirs v5.0.1
[INFO] [stderr]     Checking xmlparser v0.13.6
[INFO] [stderr]     Checking tempfile v3.24.0
[INFO] [stderr]     Checking rand_core v0.5.1
[INFO] [stderr]     Checking infer v0.2.3
[INFO] [stderr]     Checking regex-automata v0.4.14
[INFO] [stderr]     Checking event-listener v5.4.1
[INFO] [stderr]     Checking pem-rfc7468 v0.7.0
[INFO] [stderr]     Checking aws-smithy-xml v0.60.13
[INFO] [stderr]     Checking rand_chacha v0.2.2
[INFO] [stderr]     Checking spin v0.10.0
[INFO] [stderr]     Checking password-hash v0.5.0
[INFO] [stderr]    Compiling anyhow v1.0.101
[INFO] [stderr]     Checking time v0.3.47
[INFO] [stderr]     Checking lru v0.16.3
[INFO] [stderr]     Checking RustyXML v0.3.0
[INFO] [stderr]     Checking arrayvec v0.7.6
[INFO] [stderr]     Checking event-listener-strategy v0.5.4
[INFO] [stderr]    Compiling linux-raw-sys v0.11.0
[INFO] [stderr]    Compiling regex-syntax v0.8.9
[INFO] [stderr]     Checking async-lock v3.4.2
[INFO] [stderr]    Compiling cmake v0.1.57
[INFO] [stderr]     Checking rand v0.7.3
[INFO] [stderr]    Compiling generic-array v0.14.7
[INFO] [stderr]     Checking clap_lex v0.7.7
[INFO] [stderr]    Compiling petgraph v0.7.1
[INFO] [stderr]     Checking clap_builder v4.5.57
[INFO] [stderr]    Compiling num-traits v0.2.19
[INFO] [stderr]    Compiling crc32c v0.6.8
[INFO] [stderr]    Compiling indexmap v1.9.3
[INFO] [stderr]    Compiling rust_decimal v1.40.0
[INFO] [stderr]    Compiling multer v3.1.0
[INFO] [stderr]    Compiling block-buffer v0.10.4
[INFO] [stderr]    Compiling crypto-common v0.1.7
[INFO] [stderr]     Checking simdutf8 v0.1.5
[INFO] [stderr]     Checking nom v7.1.3
[INFO] [stderr]    Compiling digest v0.10.7
[INFO] [stderr]    Compiling ring v0.17.14
[INFO] [stderr]    Compiling aws-lc-sys v0.37.0
[INFO] [stderr]    Compiling openssl-sys v0.9.111
[INFO] [stderr]    Compiling libsqlite3-sys v0.28.0
[INFO] [stderr]    Compiling zstd-sys v2.0.16+zstd.1.5.7
[INFO] [stderr]    Compiling chrono v0.4.43
[INFO] [stderr]    Compiling openssl v0.10.75
[INFO] [stderr]    Compiling native-tls v0.2.14
[INFO] [stderr]     Checking hybrid-array v0.2.3
[INFO] [stderr]     Checking crc64fast-nvme v1.2.1
[INFO] [stderr]     Checking hex-simd v0.8.0
[INFO] [stderr]     Checking atoi v2.0.0
[INFO] [stderr]     Checking inout v0.1.4
[INFO] [stderr]     Checking universal-hash v0.5.1
[INFO] [stderr]     Checking aead v0.5.2
[INFO] [stderr]     Checking bytestring v1.5.0
[INFO] [stderr]     Checking transform-stream v0.3.1
[INFO] [stderr]     Checking polyval v0.6.2
[INFO] [stderr]     Checking cipher v0.4.4
[INFO] [stderr]    Compiling same-file v1.0.6
[INFO] [stderr]     Checking regex v1.12.3
[INFO] [stderr]     Checking const-str v0.6.4
[INFO] [stderr]     Checking numeric_cast v0.3.0
[INFO] [stderr]     Checking ghash v0.5.1
[INFO] [stderr]     Checking spin v0.9.8
[INFO] [stderr]    Compiling walkdir v2.5.0
[INFO] [stderr]    Compiling sha2 v0.10.9
[INFO] [stderr]     Checking hmac v0.12.1
[INFO] [stderr]     Checking aes v0.8.4
[INFO] [stderr]     Checking ctr v0.9.2
[INFO] [stderr]     Checking signature v1.6.4
[INFO] [stderr]     Checking sha1 v0.10.6
[INFO] [stderr]     Checking md-5 v0.10.6
[INFO] [stderr]     Checking crc-fast v1.9.0
[INFO] [stderr]     Checking blake2 v0.10.6
[INFO] [stderr]     Checking sha3 v0.10.8
[INFO] [stderr]     Checking hkdf v0.12.4
[INFO] [stderr]     Checking matchers v0.2.0
[INFO] [stderr]     Checking byte-unit v5.2.0
[INFO] [stderr]     Checking maplit v1.0.2
[INFO] [stderr]    Compiling portable-atomic v1.13.1
[INFO] [stderr]    Compiling rust-embed-utils v8.11.0
[INFO] [stderr]     Checking rpassword v5.0.1
[INFO] [stderr]     Checking console v0.15.11
[INFO] [stderr]     Checking aes-gcm v0.10.3
[INFO] [stderr]     Checking argon2 v0.5.3
[INFO] [stderr]    Compiling synstructure v0.13.2
[INFO] [stderr]    Compiling prettyplease v0.2.37
[INFO] [stderr]     Checking indicatif v0.17.11
[INFO] [stderr]    Compiling tokio-macros v2.6.0
[INFO] [stderr]    Compiling tracing-attributes v0.1.31
[INFO] [stderr]    Compiling zeroize_derive v1.4.3
[INFO] [stderr]    Compiling futures-macro v0.3.31
[INFO] [stderr]    Compiling serde_derive v1.0.228
[INFO] [stderr]    Compiling zerofrom-derive v0.1.6
[INFO] [stderr]    Compiling yoke-derive v0.8.1
[INFO] [stderr]    Compiling async-trait v0.1.89
[INFO] [stderr]    Compiling zerovec-derive v0.11.2
[INFO] [stderr]    Compiling displaydoc v0.2.5
[INFO] [stderr]    Compiling thiserror-impl v2.0.18
[INFO] [stderr]     Checking zeroize v1.8.2
[INFO] [stderr]    Compiling thiserror-impl v1.0.69
[INFO] [stderr]     Checking rustls-pki-types v1.14.0
[INFO] [stderr]     Checking tokio v1.49.0
[INFO] [stderr]     Checking futures-util v0.3.31
[INFO] [stderr]     Checking der v0.6.1
[INFO] [stderr]    Compiling openssl-macros v0.1.1
[INFO] [stderr]     Checking crypto-bigint v0.4.9
[INFO] [stderr]     Checking rustls-webpki v0.101.7
[INFO] [stderr]     Checking sct v0.7.1
[INFO] [stderr]    Compiling pin-project-internal v1.1.10
[INFO] [stderr]     Checking tracing v0.1.44
[INFO] [stderr]     Checking spki v0.6.0
[INFO] [stderr]     Checking rustls-native-certs v0.8.3
[INFO] [stderr]     Checking rfc6979 v0.3.1
[INFO] [stderr]     Checking pkcs8 v0.9.0
[INFO] [stderr]    Compiling async-stream-impl v0.3.6
[INFO] [stderr]     Checking zerofrom v0.1.6
[INFO] [stderr]     Checking thiserror v1.0.69
[INFO] [stderr]     Checking der v0.7.10
[INFO] [stderr]     Checking sec1 v0.3.0
[INFO] [stderr]     Checking google-cloud-token v0.1.2
[INFO] [stderr]    Compiling prost-derive v0.13.5
[INFO] [stderr]     Checking yoke v0.8.1
[INFO] [stderr]     Checking zstd v0.13.3
[INFO] [stderr]     Checking kem v0.3.0-pre.0
[INFO] [stderr]     Checking ml-kem v0.2.2
[INFO] [stderr]     Checking zerovec v0.11.5
[INFO] [stderr]     Checking zerotrie v0.2.3
[INFO] [stderr]     Checking thiserror v2.0.18
[INFO] [stderr]     Checking elliptic-curve v0.12.3
[INFO] [stderr]     Checking simple_asn1 v0.6.3
[INFO] [stderr]     Checking async-stream v0.3.6
[INFO] [stderr]    Compiling clap_derive v4.5.55
[INFO] [stderr]     Checking std-next v0.1.9
[INFO] [stdout] error[E0275]: overflow evaluating the requirement `<P as PkeParams>::NttVectorSize == _`
[INFO] [stdout]    --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ml-kem-0.2.2/src/param.rs:206:26
[INFO] [stdout]     |
[INFO] [stdout] 206 |     type NttVectorSize = EncodedPolynomialVectorSize<U12, P::K>;
[INFO] [stdout]     |                          ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stderr]    Compiling derive_more-impl v1.0.0
[INFO] [stderr]     Checking axum-core v0.5.6
[INFO] [stderr]     Checking ecdsa v0.14.8
[INFO] [stdout] error[E0275]: overflow evaluating the requirement `<P as PkeParams>::EncryptionKeySize == _`
[INFO] [stdout]    --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ml-kem-0.2.2/src/param.rs:207:30
[INFO] [stdout]     |
[INFO] [stdout] 207 |     type EncryptionKeySize = Sum<Self::NttVectorSize, U32>;
[INFO] [stdout]     |                              ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stderr]     Checking tinystr v0.8.2
[INFO] [stderr]     Checking icu_locale_core v2.1.1
[INFO] [stderr]     Checking potential_utf v0.1.4
[INFO] [stderr]     Checking icu_collections v2.1.1
[INFO] [stderr]     Checking pin-project v1.1.10
[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/registry/src/index.crates.io-1949cf8c6b5b557f/ml-kem-0.2.2/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] [stderr]     Checking p256 v0.11.1
[INFO] [stderr]     Checking spki v0.7.3
[INFO] [stderr]     Checking pkcs8 v0.10.2
[INFO] [stdout] error[E0275]: overflow evaluating whether `&NttVector<<P as ParameterSet>::K>` is well-formed
[INFO] [stdout]    --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ml-kem-0.2.2/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 `&NttVector<<P as ParameterSet>::K> well-formed` appears on the `impl`'s associated function `encode_u12` but not on the corresponding trait's associated function
[INFO] [stdout]    --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ml-kem-0.2.2/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 `&NttVector<<P as ParameterSet>::K> well-formed`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0275]: overflow evaluating whether `hybrid_array::Array<u8, <P as PkeParams>::NttVectorSize>` is well-formed
[INFO] [stdout]    --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ml-kem-0.2.2/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/registry/src/index.crates.io-1949cf8c6b5b557f/ml-kem-0.2.2/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/registry/src/index.crates.io-1949cf8c6b5b557f/ml-kem-0.2.2/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 whether `&hybrid_array::Array<u8, <P as PkeParams>::NttVectorSize>` is well-formed
[INFO] [stdout]    --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ml-kem-0.2.2/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/registry/src/index.crates.io-1949cf8c6b5b557f/ml-kem-0.2.2/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 whether `NttVector<<P as ParameterSet>::K>` is well-formed
[INFO] [stdout]    --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ml-kem-0.2.2/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 `NttVector<<P as ParameterSet>::K> well-formed` appears on the `impl`'s associated function `decode_u12` but not on the corresponding trait's associated function
[INFO] [stdout]    --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ml-kem-0.2.2/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 `NttVector<<P as ParameterSet>::K> well-formed`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0275]: overflow evaluating the requirement `<<UInt<UInt<UInt<UInt<UTerm, ...>, ...>, ...>, ...> as VectorEncodingSize<...>>::EncodedPolynomialVectorSize as Add<...>>::Output == _`
[INFO] [stdout]    --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ml-kem-0.2.2/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 whether `hybrid_array::Array<u8, <<P as ParameterSet>::Du as VectorEncodingSize<<P as ParameterSet>::K>>::EncodedPolynomialVectorSize>` is well-formed
[INFO] [stdout]    --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ml-kem-0.2.2/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 ParameterSet>::Du as VectorEncodingSize<<P as ParameterSet>::K>>::EncodedPolynomialVectorSize> well-formed` appears on the `impl`'s associated function `concat_ct` but not on the corresponding trait's associated function
[INFO] [stdout]    --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ml-kem-0.2.2/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 ParameterSet>::Du as VectorEncodingSize<<P as ParameterSet>::K>>::EncodedPolynomialVectorSize> well-formed`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0275]: overflow evaluating whether `hybrid_array::Array<u8, <<P as ParameterSet>::Dv as EncodingSize>::EncodedPolynomialSize>` is well-formed
[INFO] [stdout]    --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ml-kem-0.2.2/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 ParameterSet>::Dv as EncodingSize>::EncodedPolynomialSize> well-formed` appears on the `impl`'s associated function `concat_ct` but not on the corresponding trait's associated function
[INFO] [stdout]    --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ml-kem-0.2.2/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 ParameterSet>::Dv as EncodingSize>::EncodedPolynomialSize> well-formed`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0275]: overflow evaluating whether `hybrid_array::Array<u8, <P as PkeParams>::CiphertextSize>` is well-formed
[INFO] [stdout]    --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ml-kem-0.2.2/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/registry/src/index.crates.io-1949cf8c6b5b557f/ml-kem-0.2.2/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/registry/src/index.crates.io-1949cf8c6b5b557f/ml-kem-0.2.2/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 whether `&hybrid_array::Array<u8, <P as PkeParams>::CiphertextSize>` is well-formed
[INFO] [stdout]    --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ml-kem-0.2.2/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/registry/src/index.crates.io-1949cf8c6b5b557f/ml-kem-0.2.2/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 whether `(&hybrid_array::Array<u8, <<P as ParameterSet>::Du as VectorEncodingSize<...>>::EncodedPolynomialVectorSize>, ...)` is well-formed
[INFO] [stdout]    --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ml-kem-0.2.2/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 ParameterSet>::Du as VectorEncodingSize<<P as ParameterSet>::K>>::EncodedPolynomialVectorSize>, &hybrid_array::Array<u8, <<P as ParameterSet>::Dv as EncodingSize>::EncodedPolynomialSize>) well-formed` appears on the `impl`'s associated function `split_ct` but not on the corresponding trait's associated function
[INFO] [stdout]    --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ml-kem-0.2.2/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 ParameterSet>::Du as VectorEncodingSize<<P as ParameterSet>::K>>::EncodedPolynomialVectorSize>, &hybrid_array::Array<u8, <<P as ParameterSet>::Dv as EncodingSize>::EncodedPolynomialSize>) well-formed`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0275]: overflow evaluating the requirement `<<UInt<UInt<UInt<UInt<UTerm, ...>, ...>, ...>, ...> as VectorEncodingSize<...>>::EncodedPolynomialVectorSize as Add<...>>::Output == _`
[INFO] [stdout]    --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ml-kem-0.2.2/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 whether `hybrid_array::Array<u8, <P as PkeParams>::NttVectorSize>` is well-formed
[INFO] [stdout]    --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ml-kem-0.2.2/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/registry/src/index.crates.io-1949cf8c6b5b557f/ml-kem-0.2.2/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 whether `hybrid_array::Array<u8, UInt<UInt<UInt<UInt<UInt<..., ...>, ...>, ...>, ...>, ...>>` is well-formed
[INFO] [stdout]    --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ml-kem-0.2.2/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, UInt<UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B0>, B0>, B0>, B0>, B0>> well-formed` appears on the `impl`'s associated function `concat_ek` but not on the corresponding trait's associated function
[INFO] [stdout]    --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ml-kem-0.2.2/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, UInt<UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B0>, B0>, B0>, B0>, B0>> well-formed`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0275]: overflow evaluating whether `hybrid_array::Array<u8, <P as PkeParams>::EncryptionKeySize>` is well-formed
[INFO] [stdout]    --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ml-kem-0.2.2/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/registry/src/index.crates.io-1949cf8c6b5b557f/ml-kem-0.2.2/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/registry/src/index.crates.io-1949cf8c6b5b557f/ml-kem-0.2.2/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 whether `&hybrid_array::Array<u8, <P as PkeParams>::EncryptionKeySize>` is well-formed
[INFO] [stdout]    --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ml-kem-0.2.2/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/registry/src/index.crates.io-1949cf8c6b5b557f/ml-kem-0.2.2/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 whether `(&hybrid_array::Array<u8, <P as PkeParams>::NttVectorSize>, &...)` is well-formed
[INFO] [stdout]    --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ml-kem-0.2.2/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/registry/src/index.crates.io-1949cf8c6b5b557f/ml-kem-0.2.2/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] [stderr]     Checking tracing-futures v0.2.5
[INFO] [stderr]    Compiling openraft-macros v0.9.21
[INFO] [stdout] error[E0275]: overflow evaluating the requirement `P: PkeParams`
[INFO] [stdout]    --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ml-kem-0.2.2/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 `<P as ParameterSet>::Dv: param::ArraySize`
[INFO] [stdout]    --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ml-kem-0.2.2/src/param.rs:201:42
[INFO] [stdout]     |
[INFO] [stdout] 201 |         ArraySize + Sub<EncodedUSize<P>, Output = EncodedVSize<P>>,
[INFO] [stdout]     |                                          ^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout] note: required by a bound in `EncodingSize`
[INFO] [stdout]    --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ml-kem-0.2.2/src/param.rs:35:25
[INFO] [stdout]     |
[INFO] [stdout]  35 | pub trait EncodingSize: ArraySize {
[INFO] [stdout]     |                         ^^^^^^^^^ required by this bound in `EncodingSize`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0275]: overflow evaluating the requirement `<<UInt<UInt<UInt<UInt<UTerm, ...>, ...>, ...>, ...> as VectorEncodingSize<...>>::EncodedPolynomialVectorSize as Add<...>>::Output: Sub<...>`
[INFO] [stdout]    --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ml-kem-0.2.2/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/registry/src/index.crates.io-1949cf8c6b5b557f/ml-kem-0.2.2/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/registry/src/index.crates.io-1949cf8c6b5b557f/ml-kem-0.2.2/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/registry/src/index.crates.io-1949cf8c6b5b557f/ml-kem-0.2.2/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/registry/src/index.crates.io-1949cf8c6b5b557f/ml-kem-0.2.2/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]    --> /rustc/6713fa75964eb229409a9c6f6f5c418423e313ff/library/core/src/ops/arith.rs:188:0
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0275]: overflow evaluating the requirement `<UInt<UInt<UInt<UInt<UTerm, B1>, ...>, ...>, ...> as VectorEncodingSize<...>>::EncodedPolynomialVectorSize: Sized`
[INFO] [stdout]    --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ml-kem-0.2.2/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]    --> /rustc/6713fa75964eb229409a9c6f6f5c418423e313ff/library/core/src/ops/arith.rs:188:0
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0275]: overflow evaluating whether `<<<P as ParameterSet>::Du as VectorEncodingSize<<P as ParameterSet>::K>>::EncodedPolynomialVectorSize as Add<<... as EncodingSize>::EncodedPolynomialSize>>::Output` is well-formed
[INFO] [stdout]    --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ml-kem-0.2.2/src/param.rs:201:42
[INFO] [stdout]     |
[INFO] [stdout] 201 |         ArraySize + Sub<EncodedUSize<P>, Output = EncodedVSize<P>>,
[INFO] [stdout]     |                                          ^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0275]: overflow evaluating whether `<<P as ParameterSet>::Du as VectorEncodingSize<<P as ParameterSet>::K>>::EncodedPolynomialVectorSize` is well-formed
[INFO] [stdout]    --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ml-kem-0.2.2/src/param.rs:201:42
[INFO] [stdout]     |
[INFO] [stdout] 201 |         ArraySize + Sub<EncodedUSize<P>, Output = EncodedVSize<P>>,
[INFO] [stdout]     |                                          ^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0275]: overflow evaluating whether `<<UInt<UInt<UInt<UInt<UTerm, ...>, ...>, ...>, ...> as VectorEncodingSize<...>>::EncodedPolynomialVectorSize as Add<...>>::Output` is well-formed
[INFO] [stdout]    --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ml-kem-0.2.2/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 whether `<UInt<UInt<UInt<UInt<UTerm, B1>, ...>, ...>, ...> as VectorEncodingSize<...>>::EncodedPolynomialVectorSize` is well-formed
[INFO] [stdout]    --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ml-kem-0.2.2/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 whether `<<P as ParameterSet>::Du as VectorEncodingSize<<P as ParameterSet>::K>>::EncodedPolynomialVectorSize` is well-formed
[INFO] [stdout]    --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ml-kem-0.2.2/src/param.rs:199:22
[INFO] [stdout]     |
[INFO] [stdout] 199 |     EncodedUSize<P>: Add<EncodedVSize<P>>,
[INFO] [stdout]     |                      ^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0275]: overflow evaluating whether `<<P as ParameterSet>::Dv as EncodingSize>::EncodedPolynomialSize` is well-formed
[INFO] [stdout]    --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ml-kem-0.2.2/src/param.rs:199:22
[INFO] [stdout]     |
[INFO] [stdout] 199 |     EncodedUSize<P>: Add<EncodedVSize<P>>,
[INFO] [stdout]     |                      ^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0275]: overflow evaluating whether `<<<P as ParameterSet>::Du as VectorEncodingSize<<P as ParameterSet>::K>>::EncodedPolynomialVectorSize as Add<<... as EncodingSize>::EncodedPolynomialSize>>::Output` is well-formed
[INFO] [stdout]    --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ml-kem-0.2.2/src/param.rs:201:9
[INFO] [stdout]     |
[INFO] [stdout] 201 |         ArraySize + Sub<EncodedUSize<P>, Output = EncodedVSize<P>>,
[INFO] [stdout]     |         ^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0275]: overflow evaluating whether `<<<P as ParameterSet>::Du as VectorEncodingSize<<P as ParameterSet>::K>>::EncodedPolynomialVectorSize as Add<<... as EncodingSize>::EncodedPolynomialSize>>::Output` is well-formed
[INFO] [stdout]    --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ml-kem-0.2.2/src/param.rs:201:21
[INFO] [stdout]     |
[INFO] [stdout] 201 |         ArraySize + Sub<EncodedUSize<P>, Output = EncodedVSize<P>>,
[INFO] [stdout]     |                     ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0275]: overflow evaluating whether `<<P as ParameterSet>::Du as VectorEncodingSize<<P as ParameterSet>::K>>::EncodedPolynomialVectorSize` is well-formed
[INFO] [stdout]    --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ml-kem-0.2.2/src/param.rs:201:21
[INFO] [stdout]     |
[INFO] [stdout] 201 |         ArraySize + Sub<EncodedUSize<P>, Output = EncodedVSize<P>>,
[INFO] [stdout]     |                     ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0275]: overflow evaluating whether `<UInt<UInt<UInt<UInt<UTerm, B1>, ...>, ...>, ...> as VectorEncodingSize<...>>::EncodedPolynomialVectorSize` is well-formed
[INFO] [stdout]    --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ml-kem-0.2.2/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 whether `<<UInt<UInt<UInt<UInt<UTerm, ...>, ...>, ...>, ...> as VectorEncodingSize<...>>::EncodedPolynomialVectorSize as Add<...>>::Output` is well-formed
[INFO] [stdout]    --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ml-kem-0.2.2/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 whether `<<UInt<UInt<UInt<UInt<UTerm, ...>, ...>, ...>, ...> as VectorEncodingSize<...>>::EncodedPolynomialVectorSize as Add<...>>::Output` is well-formed
[INFO] [stdout]    --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ml-kem-0.2.2/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 whether `<UInt<UInt<UInt<UInt<UTerm, B1>, ...>, ...>, ...> as VectorEncodingSize<...>>::EncodedPolynomialVectorSize` is well-formed
[INFO] [stdout]    --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ml-kem-0.2.2/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] [stderr]     Checking tracing-subscriber v0.3.22
[INFO] [stderr]    Compiling rust-embed-impl v8.11.0
[INFO] [stdout] error[E0275]: overflow evaluating the requirement `<UInt<UInt<UInt<UInt<UTerm, B1>, ...>, ...>, ...> as VectorEncodingSize<...>>::EncodedPolynomialVectorSize == _`
[INFO] [stdout]    --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ml-kem-0.2.2/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 whether `<UInt<UInt<UInt<UInt<UTerm, B1>, ...>, ...>, ...> as VectorEncodingSize<...>>::EncodedPolynomialVectorSize` is well-formed
[INFO] [stdout]    --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ml-kem-0.2.2/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/registry/src/index.crates.io-1949cf8c6b5b557f/ml-kem-0.2.2/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 whether `<<P as PkeParams>::NttVectorSize as Add<UInt<UInt<UInt<UInt<..., ...>, ...>, ...>, ...>>>::Output` is well-formed
[INFO] [stdout]    --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ml-kem-0.2.2/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 whether `<<<P as ParameterSet>::Du as VectorEncodingSize<<P as ParameterSet>::K>>::EncodedPolynomialVectorSize as Add<<... as EncodingSize>::EncodedPolynomialSize>>::Output` is well-formed
[INFO] [stdout]    --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ml-kem-0.2.2/src/param.rs:208:5
[INFO] [stdout]     |
[INFO] [stdout] 208 |     type CiphertextSize = Sum<EncodedUSize<P>, EncodedVSize<P>>;
[INFO] [stdout]     |     ^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0275]: overflow evaluating the requirement `<P as PkeParams>::NttVectorSize == _`
[INFO] [stdout]    --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ml-kem-0.2.2/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/registry/src/index.crates.io-1949cf8c6b5b557f/ml-kem-0.2.2/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]     = note: the return type of a function must have a statically known size
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0275]: overflow evaluating whether `&NttVector<<P as ParameterSet>::K>` is well-formed
[INFO] [stdout]    --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ml-kem-0.2.2/src/param.rs:210:22
[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 whether `hybrid_array::Array<u8, <P as PkeParams>::NttVectorSize>` is well-formed
[INFO] [stdout]    --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ml-kem-0.2.2/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/registry/src/index.crates.io-1949cf8c6b5b557f/ml-kem-0.2.2/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 whether `&hybrid_array::Array<u8, <P as PkeParams>::NttVectorSize>` is well-formed
[INFO] [stdout]    --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ml-kem-0.2.2/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 whether `NttVector<<P as ParameterSet>::K>` is well-formed
[INFO] [stdout]    --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ml-kem-0.2.2/src/param.rs:214:50
[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/registry/src/index.crates.io-1949cf8c6b5b557f/ml-kem-0.2.2/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/registry/src/index.crates.io-1949cf8c6b5b557f/ml-kem-0.2.2/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]     = note: the return type of a function must have a statically known size
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0275]: overflow evaluating whether `hybrid_array::Array<u8, <<P as ParameterSet>::Du as VectorEncodingSize<<P as ParameterSet>::K>>::EncodedPolynomialVectorSize>` is well-formed
[INFO] [stdout]    --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ml-kem-0.2.2/src/param.rs:218:21
[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 whether `hybrid_array::Array<u8, <<P as ParameterSet>::Dv as EncodingSize>::EncodedPolynomialSize>` is well-formed
[INFO] [stdout]    --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ml-kem-0.2.2/src/param.rs:218:40
[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 whether `hybrid_array::Array<u8, <P as PkeParams>::CiphertextSize>` is well-formed
[INFO] [stdout]    --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ml-kem-0.2.2/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/registry/src/index.crates.io-1949cf8c6b5b557f/ml-kem-0.2.2/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 whether `&hybrid_array::Array<u8, <P as PkeParams>::CiphertextSize>` is well-formed
[INFO] [stdout]    --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ml-kem-0.2.2/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 whether `(&hybrid_array::Array<u8, <<P as ParameterSet>::Du as VectorEncodingSize<...>>::EncodedPolynomialVectorSize>, ...)` is well-formed
[INFO] [stdout]    --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ml-kem-0.2.2/src/param.rs:222:50
[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/registry/src/index.crates.io-1949cf8c6b5b557f/ml-kem-0.2.2/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/registry/src/index.crates.io-1949cf8c6b5b557f/ml-kem-0.2.2/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/registry/src/index.crates.io-1949cf8c6b5b557f/ml-kem-0.2.2/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]     = note: the return type of a function must have a statically known size
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0275]: overflow evaluating whether `hybrid_array::Array<u8, <P as PkeParams>::NttVectorSize>` is well-formed
[INFO] [stdout]    --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ml-kem-0.2.2/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 whether `hybrid_array::Array<u8, UInt<UInt<UInt<UInt<UInt<..., ...>, ...>, ...>, ...>, ...>>` is well-formed
[INFO] [stdout]    --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ml-kem-0.2.2/src/param.rs:226:54
[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 whether `hybrid_array::Array<u8, <P as PkeParams>::EncryptionKeySize>` is well-formed
[INFO] [stdout]    --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ml-kem-0.2.2/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/registry/src/index.crates.io-1949cf8c6b5b557f/ml-kem-0.2.2/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/registry/src/index.crates.io-1949cf8c6b5b557f/ml-kem-0.2.2/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 whether `&hybrid_array::Array<u8, <P as PkeParams>::EncryptionKeySize>` is well-formed
[INFO] [stdout]    --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ml-kem-0.2.2/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 whether `(&hybrid_array::Array<u8, <P as PkeParams>::NttVectorSize>, &...)` is well-formed
[INFO] [stdout]    --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ml-kem-0.2.2/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 `UInt<UInt<UInt<UInt<UTerm, B1>, B1>, ...>, ...>: EncodingSize`
[INFO] [stdout]    --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ml-kem-0.2.2/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/registry/src/index.crates.io-1949cf8c6b5b557f/ml-kem-0.2.2/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/registry/src/index.crates.io-1949cf8c6b5b557f/ml-kem-0.2.2/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] 
[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/registry/src/index.crates.io-1949cf8c6b5b557f/ml-kem-0.2.2/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/registry/src/index.crates.io-1949cf8c6b5b557f/ml-kem-0.2.2/src/param.rs:211:9
[INFO] [stdout]     |
[INFO] [stdout] 211 |         Encode::<U12>::encode(p)
[INFO] [stdout]     |         ^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout]     = note: the return type of a function must have a statically known size
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0275]: overflow evaluating whether `NttVector<<P as ParameterSet>::K>` is well-formed
[INFO] [stdout]    --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ml-kem-0.2.2/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 whether `&NttVector<<P as ParameterSet>::K>` is well-formed
[INFO] [stdout]    --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ml-kem-0.2.2/src/param.rs:211:31
[INFO] [stdout]     |
[INFO] [stdout] 211 |         Encode::<U12>::encode(p)
[INFO] [stdout]     |                               ^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0275]: overflow evaluating whether `hybrid_array::Array<u8, <NttVector<<P as ParameterSet>::K> as Encode<UInt<..., ...>>>::EncodedSize>` is well-formed
[INFO] [stdout]    --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ml-kem-0.2.2/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/registry/src/index.crates.io-1949cf8c6b5b557f/ml-kem-0.2.2/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/registry/src/index.crates.io-1949cf8c6b5b557f/ml-kem-0.2.2/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/registry/src/index.crates.io-1949cf8c6b5b557f/ml-kem-0.2.2/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] [stderr]     Checking icu_provider v2.1.1
[INFO] [stderr]    Compiling prost v0.13.5
[INFO] [stderr]     Checking icu_properties v2.1.2
[INFO] [stderr]     Checking icu_normalizer v2.1.1
[INFO] [stderr]     Checking rust-embed v8.11.0
[INFO] [stderr]    Compiling prost-types v0.13.5
[INFO] [stderr]     Checking serde v1.0.228
[INFO] [stderr]     Checking clap v4.5.57
[INFO] [stdout] error[E0275]: overflow evaluating the requirement `_ == <P as PkeParams>::NttVectorSize`
[INFO] [stdout]    --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ml-kem-0.2.2/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/registry/src/index.crates.io-1949cf8c6b5b557f/ml-kem-0.2.2/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/registry/src/index.crates.io-1949cf8c6b5b557f/ml-kem-0.2.2/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/registry/src/index.crates.io-1949cf8c6b5b557f/ml-kem-0.2.2/src/param.rs:215:9
[INFO] [stdout]     |
[INFO] [stdout] 215 |         Encode::<U12>::decode(v)
[INFO] [stdout]     |         ^^^^^^^^^^^^^^^^^^^^^^^^
[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/registry/src/index.crates.io-1949cf8c6b5b557f/ml-kem-0.2.2/src/param.rs:215:9
[INFO] [stdout]     |
[INFO] [stdout] 215 |         Encode::<U12>::decode(v)
[INFO] [stdout]     |         ^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0275]: overflow evaluating whether `NttVector<<P as ParameterSet>::K>` is well-formed
[INFO] [stdout]    --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ml-kem-0.2.2/src/param.rs:215:9
[INFO] [stdout]     |
[INFO] [stdout] 215 |         Encode::<U12>::decode(v)
[INFO] [stdout]     |         ^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0275]: overflow evaluating whether `&hybrid_array::Array<u8, <NttVector<<P as ParameterSet>::K> as Encode<...>>::EncodedSize>` is well-formed
[INFO] [stdout]    --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ml-kem-0.2.2/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 whether `NttVector<<P as ParameterSet>::K>` is well-formed
[INFO] [stdout]    --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ml-kem-0.2.2/src/param.rs:215:9
[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/registry/src/index.crates.io-1949cf8c6b5b557f/ml-kem-0.2.2/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/registry/src/index.crates.io-1949cf8c6b5b557f/ml-kem-0.2.2/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[E0282]: type annotations needed
[INFO] [stdout]    --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ml-kem-0.2.2/src/param.rs:219:9
[INFO] [stdout]     |
[INFO] [stdout] 219 |         u.concat(v)
[INFO] [stdout]     |         ^ cannot infer type
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0275]: overflow evaluating the requirement `<P as PkeParams>::CiphertextSize == _`
[INFO] [stdout]    --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ml-kem-0.2.2/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 `_ == <P as PkeParams>::CiphertextSize`
[INFO] [stdout]    --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ml-kem-0.2.2/src/param.rs:222:17
[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 ParameterSet>::Du as VectorEncodingSize<<P as ParameterSet>::K>>::EncodedPolynomialVectorSize: hybrid_array::ArraySize`
[INFO] [stdout]    --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ml-kem-0.2.2/src/param.rs:223:12
[INFO] [stdout]     |
[INFO] [stdout] 223 |         ct.split_ref()
[INFO] [stdout]     |            ^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout] note: required by a bound in `hybrid_array::Array::<T, U>::split_ref`
[INFO] [stdout]    --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/hybrid-array-0.2.3/src/lib.rs:261:12
[INFO] [stdout]     |
[INFO] [stdout] 258 |     pub fn split_ref<N>(&self) -> SplitRefResult<'_, T, U, N>
[INFO] [stdout]     |            --------- required by a bound in this associated function
[INFO] [stdout] ...
[INFO] [stdout] 261 |         N: ArraySize,
[INFO] [stdout]     |            ^^^^^^^^^ required by this bound in `Array::<T, U>::split_ref`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0275]: overflow evaluating whether `<<P as ParameterSet>::Du as VectorEncodingSize<<P as ParameterSet>::K>>::EncodedPolynomialVectorSize` is well-formed
[INFO] [stdout]    --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ml-kem-0.2.2/src/param.rs:223:9
[INFO] [stdout]     |
[INFO] [stdout] 223 |         ct.split_ref()
[INFO] [stdout]     |         ^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0275]: overflow evaluating whether `(&hybrid_array::Array<u8, <<P as ParameterSet>::Du as VectorEncodingSize<...>>::EncodedPolynomialVectorSize>, ...)` is well-formed
[INFO] [stdout]    --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ml-kem-0.2.2/src/param.rs:223:12
[INFO] [stdout]     |
[INFO] [stdout] 223 |         ct.split_ref()
[INFO] [stdout]     |            ^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0275]: overflow evaluating the requirement `<P as PkeParams>::CiphertextSize == _`
[INFO] [stdout]    --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ml-kem-0.2.2/src/param.rs:222:17
[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 `<<UInt<UInt<UInt<UInt<UInt<..., ...>, ...>, ...>, ...>, ...> as Mul<...>>::Output as Sub<...>>::Output == _`
[INFO] [stdout]    --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ml-kem-0.2.2/src/param.rs:223:9
[INFO] [stdout]     |
[INFO] [stdout] 223 |         ct.split_ref()
[INFO] [stdout]     |         ^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0275]: overflow evaluating the requirement `<P as PkeParams>::CiphertextSize == _`
[INFO] [stdout]    --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ml-kem-0.2.2/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 `_ == <P as PkeParams>::NttVectorSize`
[INFO] [stdout]    --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ml-kem-0.2.2/src/param.rs:226:18
[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 `UInt<UInt<UInt<UInt<UInt<UInt<UTerm, ...>, ...>, ...>, ...>, ...>, ...>: hybrid_array::ArraySize`
[INFO] [stdout]    --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ml-kem-0.2.2/src/param.rs:227:15
[INFO] [stdout]     |
[INFO] [stdout] 227 |         t_hat.concat(rho)
[INFO] [stdout]     |               ^^^^^^
[INFO] [stdout]     |
[INFO] [stdout] note: required by a bound in `hybrid_array::Array::<T, U>::concat`
[INFO] [stdout]    --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/hybrid-array-0.2.3/src/lib.rs:231:12
[INFO] [stdout]     |
[INFO] [stdout] 229 |     pub fn concat<N>(self, other: Array<T, N>) -> Array<T, Sum<U, N>>
[INFO] [stdout]     |            ------ required by a bound in this associated function
[INFO] [stdout] 230 |     where
[INFO] [stdout] 231 |         N: ArraySize,
[INFO] [stdout]     |            ^^^^^^^^^ required by this bound in `Array::<T, U>::concat`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0275]: overflow evaluating the requirement `<P as PkeParams>::EncryptionKeySize == <<UInt<UInt<UInt<..., ...>, ...>, ...> as Mul<...>>::Output as Add<...>>::Output`
[INFO] [stdout]    --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ml-kem-0.2.2/src/param.rs:227:9
[INFO] [stdout]     |
[INFO] [stdout] 227 |         t_hat.concat(rho)
[INFO] [stdout]     |         ^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0275]: overflow evaluating whether `hybrid_array::Array<u8, UInt<UInt<UInt<UInt<UInt<..., ...>, ...>, ...>, ...>, ...>>` is well-formed
[INFO] [stdout]    --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ml-kem-0.2.2/src/param.rs:227:15
[INFO] [stdout]     |
[INFO] [stdout] 227 |         t_hat.concat(rho)
[INFO] [stdout]     |               ^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0275]: overflow evaluating whether `hybrid_array::Array<u8, UInt<UInt<UInt<UInt<UInt<..., ...>, ...>, ...>, ...>, ...>>` is well-formed
[INFO] [stdout]    --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ml-kem-0.2.2/src/param.rs:227:22
[INFO] [stdout]     |
[INFO] [stdout] 227 |         t_hat.concat(rho)
[INFO] [stdout]     |                      ^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0275]: overflow evaluating the requirement `<P as PkeParams>::NttVectorSize == _`
[INFO] [stdout]    --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ml-kem-0.2.2/src/param.rs:226:18
[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/registry/src/index.crates.io-1949cf8c6b5b557f/ml-kem-0.2.2/src/param.rs:226:89
[INFO] [stdout]     |
[INFO] [stdout] 226 |       fn concat_ek(t_hat: EncodedNttVector<Self>, rho: B32) -> EncodedEncryptionKey<Self> {
[INFO] [stdout]     |  _________________________________________________________________________________________^
[INFO] [stdout] 227 | |         t_hat.concat(rho)
[INFO] [stdout] 228 | |     }
[INFO] [stdout]     | |_____^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0275]: overflow evaluating the requirement `<P as PkeParams>::NttVectorSize == _`
[INFO] [stdout]    --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ml-kem-0.2.2/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 `<P as PkeParams>::EncryptionKeySize == _`
[INFO] [stdout]    --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ml-kem-0.2.2/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 `_ == <P as PkeParams>::EncryptionKeySize`
[INFO] [stdout]    --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ml-kem-0.2.2/src/param.rs:230:17
[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 ParameterSet>::Du as VectorEncodingSize<<P as ParameterSet>::K>>::EncodedPolynomialVectorSize == <P as PkeParams>::NttVectorSize`
[INFO] [stdout]    --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ml-kem-0.2.2/src/param.rs:231:9
[INFO] [stdout]     |
[INFO] [stdout] 231 |         ek.split_ref()
[INFO] [stdout]     |         ^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0275]: overflow evaluating the requirement `<P as PkeParams>::EncryptionKeySize == _`
[INFO] [stdout]    --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ml-kem-0.2.2/src/param.rs:230:17
[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/registry/src/index.crates.io-1949cf8c6b5b557f/ml-kem-0.2.2/src/param.rs:230:85
[INFO] [stdout]     |
[INFO] [stdout] 230 |       fn split_ek(ek: &EncodedEncryptionKey<Self>) -> (&EncodedNttVector<Self>, &B32) {
[INFO] [stdout]     |  _____________________________________________________________________________________^
[INFO] [stdout] 231 | |         ek.split_ref()
[INFO] [stdout] 232 | |     }
[INFO] [stdout]     | |_____^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0275]: overflow evaluating the requirement `<<UInt<UInt<UInt<UInt<UInt<..., ...>, ...>, ...>, ...>, ...> as Mul<...>>::Output as Sub<...>>::Output == _`
[INFO] [stdout]    --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ml-kem-0.2.2/src/param.rs:231:9
[INFO] [stdout]     |
[INFO] [stdout] 231 |         ek.split_ref()
[INFO] [stdout]     |         ^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0275]: overflow evaluating the requirement `<P as PkeParams>::EncryptionKeySize == _`
[INFO] [stdout]    --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ml-kem-0.2.2/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 `<P as PkeParams>::NttVectorSize == _`
[INFO] [stdout]    --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ml-kem-0.2.2/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] Some errors have detailed explanations: E0275, E0282.
[INFO] [stdout] 
[INFO] [stdout] For more information about an error, try `rustc --explain E0275`.
[INFO] [stdout] 
[INFO] [stderr] error: could not compile `ml-kem` (lib) due to 117 previous errors
[INFO] [stderr] warning: build failed, waiting for other jobs to finish...
[INFO] running `Command { std: "docker" "inspect" "e6672bed6d10a5a9a86ecc5efe86b54f546911bece35efb132ca526d3f6e321e", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "e6672bed6d10a5a9a86ecc5efe86b54f546911bece35efb132ca526d3f6e321e", kill_on_drop: false }`
[INFO] [stdout] e6672bed6d10a5a9a86ecc5efe86b54f546911bece35efb132ca526d3f6e321e
