[INFO] cloning repository https://github.com/theapplegates/rpgp-wasm
[INFO] running `Command { std: "git" "-c" "credential.helper=" "-c" "credential.helper=/workspace/cargo-home/bin/git-credential-null" "clone" "--bare" "https://github.com/theapplegates/rpgp-wasm" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Ftheapplegates%2Frpgp-wasm", kill_on_drop: false }`
[INFO] [stderr] Cloning into bare repository '/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Ftheapplegates%2Frpgp-wasm'...
[INFO] running `Command { std: "git" "rev-parse" "HEAD", kill_on_drop: false }`
[INFO] [stdout] 084d12687139dd73347d72d415a694f3adbc8dfb
[INFO] checking theapplegates/rpgp-wasm against try#6713fa75964eb229409a9c6f6f5c418423e313ff for pr-133502-22
[INFO] running `Command { std: "git" "clone" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Ftheapplegates%2Frpgp-wasm" "/workspace/builds/worker-0-tc2/source", kill_on_drop: false }`
[INFO] [stderr] Cloning into '/workspace/builds/worker-0-tc2/source'...
[INFO] [stderr] done.
[INFO] [stderr] Updating files:  13% (1294/9560)
Updating files:  14% (1339/9560)
Updating files:  14% (1389/9560)
Updating files:  15% (1434/9560)
Updating files:  16% (1530/9560)
Updating files:  17% (1626/9560)
Updating files:  18% (1721/9560)
Updating files:  19% (1817/9560)
Updating files:  20% (1912/9560)
Updating files:  21% (2008/9560)
Updating files:  22% (2104/9560)
Updating files:  23% (2199/9560)
Updating files:  24% (2295/9560)
Updating files:  25% (2390/9560)
Updating files:  26% (2486/9560)
Updating files:  27% (2582/9560)
Updating files:  28% (2677/9560)
Updating files:  29% (2773/9560)
Updating files:  30% (2868/9560)
Updating files:  31% (2964/9560)
Updating files:  32% (3060/9560)
Updating files:  33% (3155/9560)
Updating files:  34% (3251/9560)
Updating files:  35% (3346/9560)
Updating files:  36% (3442/9560)
Updating files:  37% (3538/9560)
Updating files:  37% (3606/9560)
Updating files:  38% (3633/9560)
Updating files:  39% (3729/9560)
Updating files:  40% (3824/9560)
Updating files:  41% (3920/9560)
Updating files:  41% (3925/9560)
Updating files:  42% (4016/9560)
Updating files:  43% (4111/9560)
Updating files:  43% (4112/9560)
Updating files:  44% (4207/9560)
Updating files:  44% (4244/9560)
Updating files:  45% (4302/9560)
Updating files:  45% (4374/9560)
Updating files:  46% (4398/9560)
Updating files:  47% (4494/9560)
Updating files:  48% (4589/9560)
Updating files:  49% (4685/9560)
Updating files:  50% (4780/9560)
Updating files:  51% (4876/9560)
Updating files:  52% (4972/9560)
Updating files:  53% (5067/9560)
Updating files:  54% (5163/9560)
Updating files:  55% (5258/9560)
Updating files:  56% (5354/9560)
Updating files:  57% (5450/9560)
Updating files:  58% (5545/9560)
Updating files:  59% (5641/9560)
Updating files:  60% (5736/9560)
Updating files:  61% (5832/9560)
Updating files:  62% (5928/9560)
Updating files:  63% (6023/9560)
Updating files:  64% (6119/9560)
Updating files:  65% (6214/9560)
Updating files:  66% (6310/9560)
Updating files:  67% (6406/9560)
Updating files:  68% (6501/9560)
Updating files:  69% (6597/9560)
Updating files:  70% (6692/9560)
Updating files:  71% (6788/9560)
Updating files:  72% (6884/9560)
Updating files:  73% (6979/9560)
Updating files:  74% (7075/9560)
Updating files:  75% (7170/9560)
Updating files:  76% (7266/9560)
Updating files:  77% (7362/9560)
Updating files:  78% (7457/9560)
Updating files:  79% (7553/9560)
Updating files:  80% (7648/9560)
Updating files:  81% (7744/9560)
Updating files:  82% (7840/9560)
Updating files:  83% (7935/9560)
Updating files:  83% (8023/9560)
Updating files:  84% (8031/9560)
Updating files:  85% (8126/9560)
Updating files:  86% (8222/9560)
Updating files:  87% (8318/9560)
Updating files:  87% (8357/9560)
Updating files:  88% (8413/9560)
Updating files:  89% (8509/9560)
Updating files:  90% (8604/9560)
Updating files:  90% (8634/9560)
Updating files:  91% (8700/9560)
Updating files:  91% (8757/9560)
Updating files:  92% (8796/9560)
Updating files:  92% (8855/9560)
Updating files:  93% (8891/9560)
Updating files:  93% (8950/9560)
Updating files:  94% (8987/9560)
Updating files:  95% (9082/9560)
Updating files:  96% (9178/9560)
Updating files:  96% (9223/9560)
Updating files:  97% (9274/9560)
Updating files:  98% (9369/9560)
Updating files:  99% (9465/9560)
Updating files: 100% (9560/9560)
Updating files: 100% (9560/9560), done.
[INFO] started tweaking git repo https://github.com/theapplegates/rpgp-wasm
[INFO] finished tweaking git repo https://github.com/theapplegates/rpgp-wasm
[INFO] tweaked toml for git repo https://github.com/theapplegates/rpgp-wasm written to /workspace/builds/worker-0-tc2/source/Cargo.toml
[INFO] validating manifest of git repo https://github.com/theapplegates/rpgp-wasm 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/theapplegates/rpgp-wasm 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] [stderr]     Blocking waiting for file lock on package cache
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-0-tc2/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-0-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] 534c70a9a9f7d5c4368bc7bf2ba467326e705a2042c7c5e8402205401b541e17
[INFO] running `Command { std: "docker" "start" "-a" "534c70a9a9f7d5c4368bc7bf2ba467326e705a2042c7c5e8402205401b541e17", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "inspect" "534c70a9a9f7d5c4368bc7bf2ba467326e705a2042c7c5e8402205401b541e17", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "534c70a9a9f7d5c4368bc7bf2ba467326e705a2042c7c5e8402205401b541e17", kill_on_drop: false }`
[INFO] [stdout] 534c70a9a9f7d5c4368bc7bf2ba467326e705a2042c7c5e8402205401b541e17
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-0-tc2/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-0-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] 82f0ca9362cac75d616c7edd06eabd5f2501f9ebbe2319edfa17701a3f01f4af
[INFO] running `Command { std: "docker" "start" "-a" "82f0ca9362cac75d616c7edd06eabd5f2501f9ebbe2319edfa17701a3f01f4af", kill_on_drop: false }`
[INFO] [stderr]    Compiling quote v1.0.41
[INFO] [stderr]    Compiling libc v0.2.177
[INFO] [stderr]    Compiling typenum v1.19.0
[INFO] [stderr]     Checking subtle v2.6.1
[INFO] [stderr]     Checking const-oid v0.9.6
[INFO] [stderr]     Checking base64ct v1.8.0
[INFO] [stderr]    Compiling generic-array v0.14.9
[INFO] [stderr]    Compiling serde_core v1.0.228
[INFO] [stderr]    Compiling serde v1.0.228
[INFO] [stderr]     Checking memchr v2.7.6
[INFO] [stderr]     Checking pem-rfc7468 v0.7.0
[INFO] [stderr]    Compiling radium v0.7.0
[INFO] [stderr]     Checking tap v1.0.1
[INFO] [stderr]     Checking wyz v0.5.1
[INFO] [stderr]    Compiling syn v2.0.108
[INFO] [stderr]     Checking base16ct v0.2.0
[INFO] [stderr]     Checking funty v2.0.0
[INFO] [stderr]    Compiling serde_json v1.0.145
[INFO] [stderr]    Compiling num-traits v0.2.19
[INFO] [stderr]    Compiling wasm-bindgen-shared v0.2.105
[INFO] [stderr]    Compiling zerocopy v0.8.27
[INFO] [stderr]     Checking bitvec v1.0.1
[INFO] [stderr]     Checking getrandom v0.2.16
[INFO] [stderr]     Checking rand_core v0.6.4
[INFO] [stderr]    Compiling semver v1.0.27
[INFO] [stderr]    Compiling strsim v0.11.1
[INFO] [stderr]    Compiling rustc_version v0.4.1
[INFO] [stderr]    Compiling bumpalo v3.19.0
[INFO] [stderr]    Compiling winnow v0.7.13
[INFO] [stderr]    Compiling hashbrown v0.16.0
[INFO] [stderr]     Checking once_cell v1.21.3
[INFO] [stderr]     Checking num-integer v0.1.46
[INFO] [stderr]     Checking ppv-lite86 v0.2.21
[INFO] [stderr]    Compiling curve25519-dalek v4.1.3
[INFO] [stderr]    Compiling wasm-bindgen v0.2.105
[INFO] [stderr]     Checking rand_chacha v0.3.1
[INFO] [stderr]    Compiling indexmap v2.12.0
[INFO] [stderr]    Compiling toml_datetime v0.7.3
[INFO] [stderr]    Compiling num-bigint-dig v0.8.5
[INFO] [stderr]     Checking bytes v1.10.1
[INFO] [stderr]     Checking spin v0.9.8
[INFO] [stderr]    Compiling thiserror v2.0.17
[INFO] [stderr]     Checking lazy_static v1.5.0
[INFO] [stderr]     Checking ff v0.13.1
[INFO] [stderr]     Checking group v0.13.0
[INFO] [stderr]     Checking rand v0.8.5
[INFO] [stderr]     Checking num-iter v0.1.45
[INFO] [stderr]     Checking smallvec v1.15.1
[INFO] [stderr]     Checking aho-corasick v1.1.4
[INFO] [stderr]     Checking zlib-rs v0.5.2
[INFO] [stderr]    Compiling crc24 v0.1.6
[INFO] [stderr]    Compiling unicode-xid v0.2.6
[INFO] [stderr]     Checking regex-syntax v0.8.8
[INFO] [stderr]     Checking hybrid-array v0.2.3
[INFO] [stderr]     Checking password-hash v0.5.0
[INFO] [stderr]     Checking iana-time-zone v0.1.64
[INFO] [stderr]     Checking buffer-redux v1.0.2
[INFO] [stderr]     Checking nom v8.0.0
[INFO] [stderr]     Checking log v0.4.28
[INFO] [stderr]     Checking replace_with v0.1.8
[INFO] [stderr]     Checking libz-rs-sys v0.5.2
[INFO] [stderr]     Checking flate2 v1.1.5
[INFO] [stderr]    Compiling darling_core v0.20.11
[INFO] [stderr]    Compiling wasm-bindgen-macro-support v0.2.105
[INFO] [stderr]    Compiling toml_parser v1.0.4
[INFO] [stderr]     Checking regex-automata v0.4.13
[INFO] [stderr]    Compiling toml_edit v0.23.7
[INFO] [stderr]    Compiling zeroize_derive v1.4.2
[INFO] [stderr]    Compiling serde_derive v1.0.228
[INFO] [stderr]    Compiling curve25519-dalek-derive v0.1.1
[INFO] [stderr]    Compiling thiserror-impl v2.0.17
[INFO] [stderr]     Checking zeroize v1.8.2
[INFO] [stderr]     Checking crypto-common v0.1.6
[INFO] [stderr]     Checking block-buffer v0.10.4
[INFO] [stderr]     Checking der v0.7.10
[INFO] [stderr]     Checking inout v0.1.4
[INFO] [stderr]     Checking cipher v0.4.4
[INFO] [stderr]     Checking digest v0.10.7
[INFO] [stderr]     Checking signature v2.2.0
[INFO] [stderr]     Checking hmac v0.12.1
[INFO] [stderr]     Checking crypto-bigint v0.5.5
[INFO] [stderr]     Checking hkdf v0.12.4
[INFO] [stderr]     Checking sha2 v0.10.9
[INFO] [stderr]     Checking rfc6979 v0.4.0
[INFO] [stderr]     Checking sha3 v0.10.8
[INFO] [stderr]     Checking ctr v0.9.2
[INFO] [stderr]     Checking universal-hash v0.5.1
[INFO] [stderr]     Checking aead v0.5.2
[INFO] [stderr]     Checking polyval v0.6.2
[INFO] [stderr]     Checking aes v0.8.4
[INFO] [stderr]     Checking spki v0.7.3
[INFO] [stderr]    Compiling wasm-bindgen-macro v0.2.105
[INFO] [stderr]     Checking pkcs8 v0.10.2
[INFO] [stderr]    Compiling darling_macro v0.20.11
[INFO] [stderr]     Checking dbl v0.3.2
[INFO] [stderr]    Compiling proc-macro-crate v3.4.0
[INFO] [stderr]     Checking hybrid-array v0.3.1
[INFO] [stderr]    Compiling darling v0.20.11
[INFO] [stderr]    Compiling derive_builder_core v0.20.2
[INFO] [stderr]    Compiling zerocopy-derive v0.7.35
[INFO] [stderr]    Compiling num_enum_derive v0.7.5
[INFO] [stderr]     Checking cmac v0.7.2
[INFO] [stderr]     Checking pkcs1 v0.7.5
[INFO] [stderr]     Checking ghash v0.5.1
[INFO] [stderr]    Compiling bitfields-impl v1.0.1
[INFO] [stderr]     Checking zerocopy v0.7.35
[INFO] [stderr]     Checking ed25519 v2.2.3
[INFO] [stderr]     Checking blake2 v0.10.6
[INFO] [stderr]     Checking sha1 v0.10.6
[INFO] [stderr]    Compiling derive_builder_macro v0.20.2
[INFO] [stderr]     Checking kem v0.3.0-pre.0
[INFO] [stderr]    Compiling snafu-derive v0.8.9
[INFO] [stderr]    Compiling derive_more-impl v2.0.1
[INFO] [stderr]     Checking derive_builder v0.20.2
[INFO] [stderr]     Checking ml-dsa v0.0.4
[INFO] [stderr]     Checking ml-kem v0.2.1
[INFO] [stderr]     Checking slh-dsa v0.0.3
[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.1/src/param.rs:206:26
[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>::EncryptionKeySize == _`
[INFO] [stdout]    --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ml-kem-0.2.1/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 serdect v0.2.0
[INFO] [stderr]     Checking sec1 v0.7.3
[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.1/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 serdect v0.3.0
[INFO] [stderr]     Checking elliptic-curve v0.13.8
[INFO] [stderr]     Checking bitfields v1.0.1
[INFO] [stderr]     Checking chrono v0.4.42
[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.1/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.1/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.1/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.1/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.1/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.1/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.1/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.1/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.1/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.1/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.1/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.1/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.1/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.1/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.1/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.1/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.1/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.1/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.1/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.1/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.1/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.1/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.1/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.1/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.1/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.1/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.1/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.1/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.1/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.1/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.1/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.1/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.1/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/registry/src/index.crates.io-1949cf8c6b5b557f/ml-kem-0.2.1/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.1/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.1/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.1/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.1/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.1/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.1/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.1/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.1/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.1/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.1/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.1/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.1/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.1/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.1/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.1/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.1/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.1/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.1/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.1/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.1/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.1/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 == _`
[INFO] [stdout]    --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ml-kem-0.2.1/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.1/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.1/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.1/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.1/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.1/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.1/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.1/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.1/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.1/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.1/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.1/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.1/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.1/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.1/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.1/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.1/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.1/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.1/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.1/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.1/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.1/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.1/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.1/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.1/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.1/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.1/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.1/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.1/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.1/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.1/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.1/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.1/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.1/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.1/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.1/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.1/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.1/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.1/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.1/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.1/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 ecdsa v0.16.9
[INFO] [stderr]     Checking primeorder v0.13.6
[INFO] [stderr]     Checking rsa v0.9.8
[INFO] [stderr]     Checking derive_more v2.0.1
[INFO] [stderr]     Checking dsa v0.6.3
[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.1/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.1/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.1/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.1/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.1/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.1/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.1/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.1/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.1/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.1/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.1/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.1/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] [stderr]     Checking snafu v0.8.9
[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.1/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.1/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.1/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.1/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.1/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.1/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.1/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] [stderr]     Checking k256 v0.13.4
[INFO] [stderr]     Checking p256 v0.13.2
[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.1/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.1/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.1/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.1/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.1/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.1/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.1/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.1/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.1/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.1/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.1/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.1/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.1/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.1/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.1/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.1/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] [stderr]     Checking p384 v0.13.1
[INFO] [stderr]     Checking p521 v0.13.3
[INFO] [stderr]     Checking cx448 v0.1.1
[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" "82f0ca9362cac75d616c7edd06eabd5f2501f9ebbe2319edfa17701a3f01f4af", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "82f0ca9362cac75d616c7edd06eabd5f2501f9ebbe2319edfa17701a3f01f4af", kill_on_drop: false }`
[INFO] [stdout] 82f0ca9362cac75d616c7edd06eabd5f2501f9ebbe2319edfa17701a3f01f4af
