[INFO] fetching crate breakmancer 0.9.0... [INFO] checking breakmancer-0.9.0 against try#c9557a20e5ef2e0e02c29a5fafd850d1b7cf1e4f for 2025-12-16-next-solver-global [INFO] extracting crate breakmancer 0.9.0 into /workspace/builds/worker-3-tc2/source [INFO] started tweaking crates.io crate breakmancer 0.9.0 [INFO] removed 0 missing tests [INFO] finished tweaking crates.io crate breakmancer 0.9.0 [INFO] tweaked toml for crates.io crate breakmancer 0.9.0 written to /workspace/builds/worker-3-tc2/source/Cargo.toml [INFO] validating manifest of crates.io crate breakmancer 0.9.0 on toolchain c9557a20e5ef2e0e02c29a5fafd850d1b7cf1e4f [INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+c9557a20e5ef2e0e02c29a5fafd850d1b7cf1e4f" "metadata" "--manifest-path" "Cargo.toml" "--no-deps", kill_on_drop: false }` [INFO] crate crates.io crate breakmancer 0.9.0 already has a lockfile, it will not be regenerated [INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+c9557a20e5ef2e0e02c29a5fafd850d1b7cf1e4f" "fetch" "--manifest-path" "Cargo.toml", kill_on_drop: false }` [INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-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:845e597a41426bbf2703be69acdb67d10b6de511142d05cba7bbe119c898b2c7" "/opt/rustwide/cargo-home/bin/cargo" "+c9557a20e5ef2e0e02c29a5fafd850d1b7cf1e4f" "metadata" "--no-deps" "--format-version=1", kill_on_drop: false }` [INFO] [stdout] 2899de643b933ba7fa3986f2fed0cba7dff1e8c04274612ad9aa265488ce2cb8 [INFO] running `Command { std: "docker" "start" "-a" "2899de643b933ba7fa3986f2fed0cba7dff1e8c04274612ad9aa265488ce2cb8", kill_on_drop: false }` [INFO] running `Command { std: "docker" "inspect" "2899de643b933ba7fa3986f2fed0cba7dff1e8c04274612ad9aa265488ce2cb8", kill_on_drop: false }` [INFO] running `Command { std: "docker" "rm" "-f" "2899de643b933ba7fa3986f2fed0cba7dff1e8c04274612ad9aa265488ce2cb8", kill_on_drop: false }` [INFO] [stdout] 2899de643b933ba7fa3986f2fed0cba7dff1e8c04274612ad9aa265488ce2cb8 [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:845e597a41426bbf2703be69acdb67d10b6de511142d05cba7bbe119c898b2c7" "/opt/rustwide/cargo-home/bin/cargo" "+c9557a20e5ef2e0e02c29a5fafd850d1b7cf1e4f" "check" "--frozen" "--all" "--all-targets" "--message-format=json", kill_on_drop: false }` [INFO] [stdout] 1967ffa096b7469d2eb8d7ee2bf439215313753e2cc643d56acfbd59033d34f9 [INFO] running `Command { std: "docker" "start" "-a" "1967ffa096b7469d2eb8d7ee2bf439215313753e2cc643d56acfbd59033d34f9", kill_on_drop: false }` [INFO] [stderr] Compiling libc v0.2.174 [INFO] [stderr] Compiling typenum v1.18.0 [INFO] [stderr] Checking value-bag v1.11.1 [INFO] [stderr] Compiling rustix v1.0.7 [INFO] [stderr] Checking bitflags v2.9.1 [INFO] [stderr] Checking linux-raw-sys v0.9.4 [INFO] [stderr] Compiling syn v2.0.104 [INFO] [stderr] Compiling syn v1.0.109 [INFO] [stderr] Compiling serde v1.0.219 [INFO] [stderr] Checking event-listener-strategy v0.5.4 [INFO] [stderr] Compiling curve25519-dalek v4.1.3 [INFO] [stderr] Checking async-executor v1.13.2 [INFO] [stderr] Checking async-channel v1.9.0 [INFO] [stderr] Checking num-bigint v0.4.6 [INFO] [stderr] Checking deranged v0.4.0 [INFO] [stderr] Checking noise-protocol v0.2.0 [INFO] [stderr] Checking async-lock v3.4.0 [INFO] [stderr] Checking async-channel v2.3.1 [INFO] [stderr] Checking num-iter v0.1.45 [INFO] [stderr] Checking log v0.4.27 [INFO] [stderr] Checking num-complex v0.4.6 [INFO] [stderr] Checking blocking v1.6.1 [INFO] [stderr] Checking md5 v0.7.0 [INFO] [stderr] Checking regex-automata v0.4.9 [INFO] [stderr] Checking unicode-width v0.2.1 [INFO] [stderr] Checking tracing-subscriber v0.3.19 [INFO] [stderr] Checking chrono v0.4.41 [INFO] [stderr] Checking kv-log-macro v1.0.7 [INFO] [stderr] Checking time v0.3.41 [INFO] [stderr] Checking getrandom v0.2.16 [INFO] [stderr] Checking signal-hook-registry v1.4.5 [INFO] [stderr] Checking getrandom v0.3.3 [INFO] [stderr] Checking mio v1.0.4 [INFO] [stderr] Checking parking_lot_core v0.9.11 [INFO] [stderr] Checking socket2 v0.5.10 [INFO] [stderr] Checking if-addrs v0.13.4 [INFO] [stderr] Checking rand_core v0.9.3 [INFO] [stderr] Checking rand_core v0.6.4 [INFO] [stderr] Checking rand_chacha v0.9.0 [INFO] [stderr] Checking signal-hook v0.3.18 [INFO] [stderr] Checking rand_chacha v0.3.1 [INFO] [stderr] Checking parking_lot v0.12.4 [INFO] [stderr] Checking rand v0.9.1 [INFO] [stderr] Checking regex v1.11.1 [INFO] [stderr] Checking num-rational v0.4.2 [INFO] [stderr] Checking rand v0.8.5 [INFO] [stderr] Checking signal-hook-mio v0.2.4 [INFO] [stderr] Checking num v0.4.3 [INFO] [stderr] Checking rust-base58 v0.0.4 [INFO] [stderr] Checking hybrid-array v0.2.3 [INFO] [stderr] Compiling trackable_derive v1.0.0 [INFO] [stderr] Compiling async-attributes v1.1.2 [INFO] [stderr] Checking trackable v1.3.0 [INFO] [stderr] Checking trackable v0.2.24 [INFO] [stderr] Checking bytecodec v0.4.15 [INFO] [stderr] Compiling synstructure v0.13.2 [INFO] [stderr] Compiling zeroize_derive v1.4.2 [INFO] [stderr] Compiling zerovec-derive v0.11.1 [INFO] [stderr] Compiling displaydoc v0.2.5 [INFO] [stderr] Compiling tracing-attributes v0.1.30 [INFO] [stderr] Compiling serde_derive v1.0.219 [INFO] [stderr] Compiling curve25519-dalek-derive v0.1.1 [INFO] [stderr] Compiling futures-macro v0.3.31 [INFO] [stderr] Compiling thiserror-impl v2.0.12 [INFO] [stderr] Compiling pin-project-internal v1.1.10 [INFO] [stderr] Compiling tokio-macros v2.5.0 [INFO] [stderr] Compiling derive_more-impl v2.0.1 [INFO] [stderr] Compiling thiserror-impl v1.0.69 [INFO] [stderr] Compiling derive_more-impl v1.0.0 [INFO] [stderr] Compiling clap_derive v4.5.40 [INFO] [stderr] Compiling async-trait v0.1.88 [INFO] [stderr] Compiling zerofrom-derive v0.1.6 [INFO] [stderr] Compiling yoke-derive v0.8.0 [INFO] [stderr] Checking zeroize v1.8.1 [INFO] [stderr] Checking tokio v1.45.1 [INFO] [stderr] Checking generic-array v0.14.7 [INFO] [stderr] Checking derive_more v2.0.1 [INFO] [stderr] Checking pin-project v1.1.10 [INFO] [stderr] Checking kem v0.3.0-pre.0 [INFO] [stderr] Checking thingbuf v0.1.6 [INFO] [stderr] Checking crossterm v0.29.0 [INFO] [stderr] Compiling strum_macros v0.27.1 [INFO] [stderr] Checking crypto-common v0.1.6 [INFO] [stderr] Checking block-buffer v0.10.4 [INFO] [stderr] Checking block-padding v0.3.3 [INFO] [stderr] Checking futures-util v0.3.31 [INFO] [stderr] Checking digest v0.10.7 [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 cipher v0.4.4 [INFO] [stderr] Checking sha1 v0.10.6 [INFO] [stderr] Checking poly1305 v0.8.0 [INFO] [stderr] Checking polyval v0.6.2 [INFO] [stderr] Checking hmac v0.12.1 [INFO] [stderr] Checking tracing v0.1.41 [INFO] [stderr] Checking chacha20 v0.9.1 [INFO] [stderr] Checking aes v0.8.4 [INFO] [stderr] Checking ctr v0.9.2 [INFO] [stderr] Checking thiserror v2.0.12 [INFO] [stderr] Checking x25519-dalek v2.0.1 [INFO] [stderr] Checking sha2 v0.10.9 [INFO] [stderr] Checking ghash v0.5.1 [INFO] [stderr] Checking tungstenite v0.26.2 [INFO] [stderr] Checking hkdf v0.12.4 [INFO] [stderr] Checking chacha20poly1305 v0.10.1 [INFO] [stderr] Checking salsa20 v0.10.2 [INFO] [stderr] Checking sha3 v0.10.8 [INFO] [stderr] Checking polling v3.8.0 [INFO] [stderr] Checking blake2 v0.10.6 [INFO] [stderr] Checking crypto_secretbox v0.1.1 [INFO] [stderr] Checking spake2 v0.4.0 [INFO] [stderr] Checking ml-kem v0.3.0-pre [INFO] [stderr] Checking stun_codec v0.3.5 [INFO] [stderr] Checking thiserror v1.0.69 [INFO] [stderr] Checking sha-1 v0.10.1 [INFO] [stderr] Checking crypto_secretstream v0.2.0 [INFO] [stderr] Checking aes-gcm v0.10.3 [INFO] [stderr] Checking noise-rust-crypto v0.6.2 [INFO] [stderr] Checking async-io v2.4.1 [INFO] [stderr] Checking zerofrom v0.1.6 [INFO] [stderr] Checking yoke v0.8.0 [INFO] [stderr] Checking clap v4.5.40 [INFO] [stderr] Checking derive_more v1.0.0 [INFO] [stderr] Checking zerovec v0.11.2 [INFO] [stderr] Checking zerotrie v0.2.2 [INFO] [stderr] Checking async-signal v0.2.11 [INFO] [stderr] Checking async-global-executor v2.4.1 [INFO] [stderr] Checking async-process v2.3.1 [INFO] [stderr] Checking tinystr v0.8.1 [INFO] [stderr] Checking potential_utf v0.1.2 [INFO] [stderr] Checking futures-executor v0.3.31 [INFO] [stderr] Checking rustyline-async v0.4.6 [INFO] [stderr] Checking icu_collections v2.0.0 [INFO] [stderr] Checking async-std v1.13.1 [INFO] [stderr] Checking futures v0.3.31 [INFO] [stderr] Checking icu_locale_core v2.0.0 [INFO] [stderr] Checking icu_provider v2.0.0 [INFO] [stderr] Checking icu_properties v2.0.1 [INFO] [stderr] Checking icu_normalizer v2.0.0 [INFO] [stderr] Checking tokio-stream v0.1.17 [INFO] [stderr] Checking tokio-util v0.7.15 [INFO] [stderr] Checking hex v0.4.3 [INFO] [stderr] Checking serde_json v1.0.140 [INFO] [stderr] Checking serde_bytes v0.11.17 [INFO] [stderr] Checking serde_cbor v0.11.2 [INFO] [stderr] Checking idna_adapter v1.2.1 [INFO] [stderr] Checking idna v1.0.3 [INFO] [stderr] Checking async-tungstenite v0.29.1 [INFO] [stderr] Checking url v2.5.4 [INFO] [stderr] Checking magic-wormhole v0.7.6 [INFO] [stdout] error[E0275]: overflow evaluating the requirement `

::NttVectorSize == _` [INFO] [stdout] --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ml-kem-0.3.0-pre/src/param.rs:206:26 [INFO] [stdout] | [INFO] [stdout] 206 | type NttVectorSize = EncodedPolynomialVectorSize; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = help: consider increasing the recursion limit by adding a `#![recursion_limit = "256"]` attribute to your crate (`ml_kem`) [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0275]: overflow evaluating the requirement `

::EncryptionKeySize == _` [INFO] [stdout] --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ml-kem-0.3.0-pre/src/param.rs:207:30 [INFO] [stdout] | [INFO] [stdout] 207 | type EncryptionKeySize = Sum; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = help: consider increasing the recursion limit by adding a `#![recursion_limit = "256"]` attribute to your crate (`ml_kem`) [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0275]: overflow evaluating the requirement `<, ...>, ...>, ...> as VectorEncodingSize<...>>::EncodedPolynomialVectorSize as Add<...>>::Output == _` [INFO] [stdout] --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ml-kem-0.3.0-pre/src/param.rs:210:5 [INFO] [stdout] | [INFO] [stdout] 210 | fn encode_u12(p: &NttVector) -> EncodedNttVector { [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0275]: overflow evaluating the requirement `Array::NttVectorSize> well-formed` [INFO] [stdout] --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ml-kem-0.3.0-pre/src/param.rs:210:5 [INFO] [stdout] | [INFO] [stdout] 210 | fn encode_u12(p: &NttVector) -> EncodedNttVector { [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] note: the requirement `Array::NttVectorSize> well-formed` appears on the `impl`'s associated function `encode_u12` but not on the corresponding trait's associated function [INFO] [stdout] --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ml-kem-0.3.0-pre/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) -> EncodedNttVector; [INFO] [stdout] | ^^^^^^^^^^ this trait's associated function doesn't have the requirement `Array::NttVectorSize> well-formed` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0275]: overflow evaluating the requirement `<, ...>, ...>, ...> as VectorEncodingSize<...>>::EncodedPolynomialVectorSize as Add<...>>::Output == _` [INFO] [stdout] --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ml-kem-0.3.0-pre/src/param.rs:214:5 [INFO] [stdout] | [INFO] [stdout] 214 | fn decode_u12(v: &EncodedNttVector) -> NttVector { [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0275]: overflow evaluating the requirement `&Array::NttVectorSize> well-formed` [INFO] [stdout] --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ml-kem-0.3.0-pre/src/param.rs:214:5 [INFO] [stdout] | [INFO] [stdout] 214 | fn decode_u12(v: &EncodedNttVector) -> NttVector { [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] note: the requirement `&Array::NttVectorSize> well-formed` appears on the `impl`'s associated function `decode_u12` but not on the corresponding trait's associated function [INFO] [stdout] --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ml-kem-0.3.0-pre/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) -> NttVector; [INFO] [stdout] | ^^^^^^^^^^ this trait's associated function doesn't have the requirement `&Array::NttVectorSize> well-formed` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0275]: overflow evaluating the requirement `<, ...>, ...>, ...> as VectorEncodingSize<...>>::EncodedPolynomialVectorSize as Add<...>>::Output == _` [INFO] [stdout] --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ml-kem-0.3.0-pre/src/param.rs:218:5 [INFO] [stdout] | [INFO] [stdout] 218 | fn concat_ct(u: EncodedU, v: EncodedV) -> EncodedCiphertext { [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0275]: overflow evaluating the requirement `Array::CiphertextSize> well-formed` [INFO] [stdout] --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ml-kem-0.3.0-pre/src/param.rs:218:5 [INFO] [stdout] | [INFO] [stdout] 218 | fn concat_ct(u: EncodedU, v: EncodedV) -> EncodedCiphertext { [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] note: the requirement `Array::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.3.0-pre/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, v: EncodedV) -> EncodedCiphertext; [INFO] [stdout] | ^^^^^^^^^ this trait's associated function doesn't have the requirement `Array::CiphertextSize> well-formed` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0275]: overflow evaluating the requirement `<, ...>, ...>, ...> as VectorEncodingSize<...>>::EncodedPolynomialVectorSize as Add<...>>::Output == _` [INFO] [stdout] --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ml-kem-0.3.0-pre/src/param.rs:222:5 [INFO] [stdout] | [INFO] [stdout] 222 | fn split_ct(ct: &EncodedCiphertext) -> (&EncodedU, &EncodedV) { [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0275]: overflow evaluating the requirement `&Array::CiphertextSize> well-formed` [INFO] [stdout] --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ml-kem-0.3.0-pre/src/param.rs:222:5 [INFO] [stdout] | [INFO] [stdout] 222 | fn split_ct(ct: &EncodedCiphertext) -> (&EncodedU, &EncodedV) { [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] note: the requirement `&Array::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.3.0-pre/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) -> (&EncodedU, &EncodedV); [INFO] [stdout] | ^^^^^^^^ this trait's associated function doesn't have the requirement `&Array::CiphertextSize> well-formed` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0275]: overflow evaluating the requirement `<, ...>, ...>, ...> as VectorEncodingSize<...>>::EncodedPolynomialVectorSize as Add<...>>::Output == _` [INFO] [stdout] --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ml-kem-0.3.0-pre/src/param.rs:226:5 [INFO] [stdout] | [INFO] [stdout] 226 | fn concat_ek(t_hat: EncodedNttVector, rho: B32) -> EncodedEncryptionKey { [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0275]: overflow evaluating the requirement `Array::NttVectorSize> well-formed` [INFO] [stdout] --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ml-kem-0.3.0-pre/src/param.rs:226:5 [INFO] [stdout] | [INFO] [stdout] 226 | fn concat_ek(t_hat: EncodedNttVector, rho: B32) -> EncodedEncryptionKey { [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] note: the requirement `Array::NttVectorSize> well-formed` appears on the `impl`'s associated function `concat_ek` but not on the corresponding trait's associated function [INFO] [stdout] --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ml-kem-0.3.0-pre/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, rho: B32) -> EncodedEncryptionKey; [INFO] [stdout] | ^^^^^^^^^ this trait's associated function doesn't have the requirement `Array::NttVectorSize> well-formed` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0275]: overflow evaluating the requirement `Array::EncryptionKeySize> well-formed` [INFO] [stdout] --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ml-kem-0.3.0-pre/src/param.rs:226:5 [INFO] [stdout] | [INFO] [stdout] 226 | fn concat_ek(t_hat: EncodedNttVector, rho: B32) -> EncodedEncryptionKey { [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] note: the requirement `Array::EncryptionKeySize> well-formed` appears on the `impl`'s associated function `concat_ek` but not on the corresponding trait's associated function [INFO] [stdout] --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ml-kem-0.3.0-pre/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, rho: B32) -> EncodedEncryptionKey; [INFO] [stdout] | ^^^^^^^^^ this trait's associated function doesn't have the requirement `Array::EncryptionKeySize> well-formed` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0275]: overflow evaluating the requirement `<, ...>, ...>, ...> as VectorEncodingSize<...>>::EncodedPolynomialVectorSize as Add<...>>::Output == _` [INFO] [stdout] --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ml-kem-0.3.0-pre/src/param.rs:230:5 [INFO] [stdout] | [INFO] [stdout] 230 | fn split_ek(ek: &EncodedEncryptionKey) -> (&EncodedNttVector, &B32) { [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0275]: overflow evaluating the requirement `&Array::EncryptionKeySize> well-formed` [INFO] [stdout] --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ml-kem-0.3.0-pre/src/param.rs:230:5 [INFO] [stdout] | [INFO] [stdout] 230 | fn split_ek(ek: &EncodedEncryptionKey) -> (&EncodedNttVector, &B32) { [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] note: the requirement `&Array::EncryptionKeySize> well-formed` appears on the `impl`'s associated function `split_ek` but not on the corresponding trait's associated function [INFO] [stdout] --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ml-kem-0.3.0-pre/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) -> (&EncodedNttVector, &B32); [INFO] [stdout] | ^^^^^^^^ this trait's associated function doesn't have the requirement `&Array::EncryptionKeySize> well-formed` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0275]: overflow evaluating the requirement `(&Array::NttVectorSize>, &...) well-formed` [INFO] [stdout] --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ml-kem-0.3.0-pre/src/param.rs:230:5 [INFO] [stdout] | [INFO] [stdout] 230 | fn split_ek(ek: &EncodedEncryptionKey) -> (&EncodedNttVector, &B32) { [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] note: the requirement `(&Array::NttVectorSize>, &Array, B0>, B0>, B0>, B0>, B0>>) well-formed` appears on the `impl`'s associated function `split_ek` but not on the corresponding trait's associated function [INFO] [stdout] --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ml-kem-0.3.0-pre/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) -> (&EncodedNttVector, &B32); [INFO] [stdout] | ^^^^^^^^ this trait's associated function doesn't have the requirement `(&Array::NttVectorSize>, &Array, B0>, B0>, B0>, B0>, B0>>) well-formed` [INFO] [stdout] [INFO] [stdout] [ERROR] error running command: command timed out after 900 seconds [INFO] running `Command { std: "docker" "inspect" "1967ffa096b7469d2eb8d7ee2bf439215313753e2cc643d56acfbd59033d34f9", kill_on_drop: false }` [INFO] running `Command { std: "docker" "rm" "-f" "1967ffa096b7469d2eb8d7ee2bf439215313753e2cc643d56acfbd59033d34f9", kill_on_drop: false }` [INFO] [stdout] 1967ffa096b7469d2eb8d7ee2bf439215313753e2cc643d56acfbd59033d34f9