[INFO] fetching crate s2n-quic-core 0.57.0... [INFO] checking s2n-quic-core-0.57.0 against try#0c7fed2b7584d310ca8221267fa1b3bec4df427f for pr-133502-4 [INFO] extracting crate s2n-quic-core 0.57.0 into /workspace/builds/worker-0-tc2/source [INFO] validating manifest of crates.io crate s2n-quic-core 0.57.0 on toolchain 0c7fed2b7584d310ca8221267fa1b3bec4df427f [INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+0c7fed2b7584d310ca8221267fa1b3bec4df427f" "metadata" "--manifest-path" "Cargo.toml" "--no-deps", kill_on_drop: false }` [INFO] started tweaking crates.io crate s2n-quic-core 0.57.0 [INFO] finished tweaking crates.io crate s2n-quic-core 0.57.0 [INFO] tweaked toml for crates.io crate s2n-quic-core 0.57.0 written to /workspace/builds/worker-0-tc2/source/Cargo.toml [INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+0c7fed2b7584d310ca8221267fa1b3bec4df427f" "generate-lockfile" "--manifest-path" "Cargo.toml", kill_on_drop: false }` [INFO] [stderr] Updating crates.io index [INFO] [stderr] Locking 140 packages to latest compatible versions [INFO] [stderr] Adding hex-literal v0.4.1 (available: v1.0.0) [INFO] [stderr] Adding toml_datetime v0.6.3 (available: v0.6.8) [INFO] [stderr] Adding toml_edit v0.20.2 (available: v0.20.7) [INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+0c7fed2b7584d310ca8221267fa1b3bec4df427f" "fetch" "--manifest-path" "Cargo.toml", kill_on_drop: false }` [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:b0b074c097205a61b89e8ad263052f976b2b332c4dc5f02aef1fe52501660d6e" "/opt/rustwide/cargo-home/bin/cargo" "+0c7fed2b7584d310ca8221267fa1b3bec4df427f" "metadata" "--no-deps" "--format-version=1", kill_on_drop: false }` [INFO] [stdout] ca392e14f6492996f57d65ec658224805eca3628bb55c4698049bc3d2fecad25 [INFO] running `Command { std: "docker" "start" "-a" "ca392e14f6492996f57d65ec658224805eca3628bb55c4698049bc3d2fecad25", kill_on_drop: false }` [INFO] running `Command { std: "docker" "inspect" "ca392e14f6492996f57d65ec658224805eca3628bb55c4698049bc3d2fecad25", kill_on_drop: false }` [INFO] running `Command { std: "docker" "rm" "-f" "ca392e14f6492996f57d65ec658224805eca3628bb55c4698049bc3d2fecad25", kill_on_drop: false }` [INFO] [stdout] ca392e14f6492996f57d65ec658224805eca3628bb55c4698049bc3d2fecad25 [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:b0b074c097205a61b89e8ad263052f976b2b332c4dc5f02aef1fe52501660d6e" "/opt/rustwide/cargo-home/bin/cargo" "+0c7fed2b7584d310ca8221267fa1b3bec4df427f" "check" "--frozen" "--all" "--all-targets" "--message-format=json", kill_on_drop: false }` [INFO] [stdout] 5e320ad605e7573c42fff33f1036bc837c6ad13a75468a20da4a50153133dc3b [INFO] running `Command { std: "docker" "start" "-a" "5e320ad605e7573c42fff33f1036bc837c6ad13a75468a20da4a50153133dc3b", kill_on_drop: false }` [INFO] [stderr] Compiling zerocopy v0.8.24 [INFO] [stderr] Compiling equivalent v1.0.2 [INFO] [stderr] Compiling libm v0.2.13 [INFO] [stderr] Compiling hashbrown v0.15.2 [INFO] [stderr] Compiling toml_datetime v0.6.3 [INFO] [stderr] Compiling winnow v0.5.40 [INFO] [stderr] Compiling num-traits v0.2.19 [INFO] [stderr] Compiling anyhow v1.0.98 [INFO] [stderr] Compiling syn v2.0.100 [INFO] [stderr] Checking getrandom v0.3.2 [INFO] [stderr] Compiling syn v1.0.109 [INFO] [stderr] Checking object v0.36.7 [INFO] [stderr] Compiling crossbeam-utils v0.8.21 [INFO] [stderr] Checking either v1.15.0 [INFO] [stderr] Checking byteorder v1.5.0 [INFO] [stderr] Checking pretty-hex v0.4.1 [INFO] [stderr] Checking plotters-backend v0.3.7 [INFO] [stderr] Checking console v0.15.11 [INFO] [stderr] Checking rand_core v0.9.3 [INFO] [stderr] Checking subtle v2.6.1 [INFO] [stderr] Checking similar v2.7.0 [INFO] [stderr] Checking linked-hash-map v0.5.6 [INFO] [stderr] Checking rand_xoshiro v0.7.0 [INFO] [stderr] Checking bytes v1.10.1 [INFO] [stderr] Checking hex-literal v0.4.1 [INFO] [stderr] Checking atomic-waker v1.1.2 [INFO] [stderr] Checking ip_network v0.4.1 [INFO] [stderr] Checking plotters-svg v0.3.7 [INFO] [stderr] Compiling indexmap v2.9.0 [INFO] [stderr] Checking num-integer v0.1.46 [INFO] [stderr] Checking plotters v0.3.7 [INFO] [stderr] Checking num-rational v0.4.2 [INFO] [stderr] Compiling zerocopy-derive v0.8.24 [INFO] [stderr] Compiling futures-macro v0.3.31 [INFO] [stderr] Compiling pin-project-internal v1.1.10 [INFO] [stderr] Checking futures-util v0.3.31 [INFO] [stderr] Checking pin-project v1.1.10 [INFO] [stderr] Checking insta v1.42.2 [INFO] [stderr] Checking backtrace v0.3.74 [INFO] [stderr] Checking ppv-lite86 v0.2.21 [INFO] [stderr] Checking s2n-codec v0.57.0 [INFO] [stderr] Checking s2n-quic-core v0.57.0 (/opt/rustwide/workdir) [INFO] [stderr] Checking rand_chacha v0.9.0 [INFO] [stderr] Checking rand v0.9.1 [INFO] [stdout] warning: unexpected `cfg` condition value: `thiserror` [INFO] [stdout] --> src/crypto/packet_protection.rs:23:12 [INFO] [stdout] | [INFO] [stdout] 23 | #[cfg_attr(feature = "thiserror", derive(thiserror::Error))] [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = note: expected values for `feature` are: `alloc`, `atomic-waker`, `bolero-generator`, `branch-tracing`, `bytes`, `checked-counters`, `crossbeam-utils`, `default`, `event-tracing`, `futures-test`, `generator`, `insta`, `once_cell`, `probe-tracing`, `state-tracing`, `std`, `testing`, `tracing`, `unstable-congestion-controller`, `unstable-limits`, and `usdt` [INFO] [stdout] = help: consider adding `thiserror` as a feature in `Cargo.toml` [INFO] [stdout] = note: see for more information about checking conditional configuration [INFO] [stdout] = note: requested on the command line with `-W unexpected-cfgs` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unexpected `cfg` condition value: `thiserror` [INFO] [stdout] --> src/crypto/tls/error.rs:10:12 [INFO] [stdout] | [INFO] [stdout] 10 | #[cfg_attr(feature = "thiserror", derive(thiserror::Error))] [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = note: expected values for `feature` are: `alloc`, `atomic-waker`, `bolero-generator`, `branch-tracing`, `bytes`, `checked-counters`, `crossbeam-utils`, `default`, `event-tracing`, `futures-test`, `generator`, `insta`, `once_cell`, `probe-tracing`, `state-tracing`, `std`, `testing`, `tracing`, `unstable-congestion-controller`, `unstable-limits`, and `usdt` [INFO] [stdout] = help: consider adding `thiserror` as a feature in `Cargo.toml` [INFO] [stdout] = note: see for more information about checking conditional configuration [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unexpected `cfg` condition name: `kani` [INFO] [stdout] --> src/inet/checksum/x86.rs:4:13 [INFO] [stdout] | [INFO] [stdout] 4 | #![cfg_attr(kani, allow(dead_code))] [INFO] [stdout] | ^^^^ [INFO] [stdout] | [INFO] [stdout] = help: expected names are: `docsrs`, `feature`, and `test` and 31 more [INFO] [stdout] = help: consider using a Cargo feature instead [INFO] [stdout] = help: or consider adding in `Cargo.toml` the `check-cfg` lint config for the lint: [INFO] [stdout] [lints.rust] [INFO] [stdout] unexpected_cfgs = { level = "warn", check-cfg = ['cfg(kani)'] } [INFO] [stdout] = help: or consider adding `println!("cargo::rustc-check-cfg=cfg(kani)");` to the top of the `build.rs` [INFO] [stdout] = note: see for more information about checking conditional configuration [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unexpected `cfg` condition name: `kani` [INFO] [stdout] --> src/inet/checksum.rs:108:42 [INFO] [stdout] | [INFO] [stdout] 108 | #[cfg(all(feature = "once_cell", not(any(kani, miri))))] [INFO] [stdout] | ^^^^ [INFO] [stdout] | [INFO] [stdout] = help: consider using a Cargo feature instead [INFO] [stdout] = help: or consider adding in `Cargo.toml` the `check-cfg` lint config for the lint: [INFO] [stdout] [lints.rust] [INFO] [stdout] unexpected_cfgs = { level = "warn", check-cfg = ['cfg(kani)'] } [INFO] [stdout] = help: or consider adding `println!("cargo::rustc-check-cfg=cfg(kani)");` to the top of the `build.rs` [INFO] [stdout] = note: see for more information about checking conditional configuration [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unexpected `cfg` condition name: `kani` [INFO] [stdout] --> src/inet/checksum.rs:125:46 [INFO] [stdout] | [INFO] [stdout] 125 | #[cfg(not(all(feature = "once_cell", not(any(kani, miri)))))] [INFO] [stdout] | ^^^^ [INFO] [stdout] | [INFO] [stdout] = help: consider using a Cargo feature instead [INFO] [stdout] = help: or consider adding in `Cargo.toml` the `check-cfg` lint config for the lint: [INFO] [stdout] [lints.rust] [INFO] [stdout] unexpected_cfgs = { level = "warn", check-cfg = ['cfg(kani)'] } [INFO] [stdout] = help: or consider adding `println!("cargo::rustc-check-cfg=cfg(kani)");` to the top of the `build.rs` [INFO] [stdout] = note: see for more information about checking conditional configuration [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unexpected `cfg` condition name: `kani` [INFO] [stdout] --> src/inet/checksum/x86.rs:23:50 [INFO] [stdout] | [INFO] [stdout] 23 | #[cfg(all(feature = "std", not(any(miri, kani))))] [INFO] [stdout] | ^^^^ [INFO] [stdout] ... [INFO] [stdout] 37 | probe!("avx", write_sized_avx) [INFO] [stdout] | ------------------------------ in this macro invocation [INFO] [stdout] | [INFO] [stdout] = help: consider using a Cargo feature instead [INFO] [stdout] = help: or consider adding in `Cargo.toml` the `check-cfg` lint config for the lint: [INFO] [stdout] [lints.rust] [INFO] [stdout] unexpected_cfgs = { level = "warn", check-cfg = ['cfg(kani)'] } [INFO] [stdout] = help: or consider adding `println!("cargo::rustc-check-cfg=cfg(kani)");` to the top of the `build.rs` [INFO] [stdout] = note: see for more information about checking conditional configuration [INFO] [stdout] = note: this warning originates in the macro `probe` (in Nightly builds, run with -Z macro-backtrace for more info) [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unexpected `cfg` condition name: `kani` [INFO] [stdout] --> src/inet/checksum/x86.rs:23:50 [INFO] [stdout] | [INFO] [stdout] 23 | #[cfg(all(feature = "std", not(any(miri, kani))))] [INFO] [stdout] | ^^^^ [INFO] [stdout] ... [INFO] [stdout] 42 | probe!("sse4.1", write_sized_sse) [INFO] [stdout] | --------------------------------- in this macro invocation [INFO] [stdout] | [INFO] [stdout] = help: consider using a Cargo feature instead [INFO] [stdout] = help: or consider adding in `Cargo.toml` the `check-cfg` lint config for the lint: [INFO] [stdout] [lints.rust] [INFO] [stdout] unexpected_cfgs = { level = "warn", check-cfg = ['cfg(kani)'] } [INFO] [stdout] = help: or consider adding `println!("cargo::rustc-check-cfg=cfg(kani)");` to the top of the `build.rs` [INFO] [stdout] = note: see for more information about checking conditional configuration [INFO] [stdout] = note: this warning originates in the macro `probe` (in Nightly builds, run with -Z macro-backtrace for more info) [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unexpected `cfg` condition name: `kani` [INFO] [stdout] --> src/inet/checksum.rs:180:15 [INFO] [stdout] | [INFO] [stdout] 180 | #[cfg(kani)] [INFO] [stdout] | ^^^^ [INFO] [stdout] | [INFO] [stdout] = help: consider using a Cargo feature instead [INFO] [stdout] = help: or consider adding in `Cargo.toml` the `check-cfg` lint config for the lint: [INFO] [stdout] [lints.rust] [INFO] [stdout] unexpected_cfgs = { level = "warn", check-cfg = ['cfg(kani)'] } [INFO] [stdout] = help: or consider adding `println!("cargo::rustc-check-cfg=cfg(kani)");` to the top of the `build.rs` [INFO] [stdout] = note: see for more information about checking conditional configuration [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unexpected `cfg` condition name: `kani` [INFO] [stdout] --> src/inet/checksum.rs:182:19 [INFO] [stdout] | [INFO] [stdout] 182 | #[cfg(not(kani))] [INFO] [stdout] | ^^^^ [INFO] [stdout] | [INFO] [stdout] = help: consider using a Cargo feature instead [INFO] [stdout] = help: or consider adding in `Cargo.toml` the `check-cfg` lint config for the lint: [INFO] [stdout] [lints.rust] [INFO] [stdout] unexpected_cfgs = { level = "warn", check-cfg = ['cfg(kani)'] } [INFO] [stdout] = help: or consider adding `println!("cargo::rustc-check-cfg=cfg(kani)");` to the top of the `build.rs` [INFO] [stdout] = note: see for more information about checking conditional configuration [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unexpected `cfg` condition name: `kani` [INFO] [stdout] --> src/inet/checksum.rs:287:19 [INFO] [stdout] | [INFO] [stdout] 287 | #[cfg(not(kani))] [INFO] [stdout] | ^^^^ [INFO] [stdout] | [INFO] [stdout] = help: consider using a Cargo feature instead [INFO] [stdout] = help: or consider adding in `Cargo.toml` the `check-cfg` lint config for the lint: [INFO] [stdout] [lints.rust] [INFO] [stdout] unexpected_cfgs = { level = "warn", check-cfg = ['cfg(kani)'] } [INFO] [stdout] = help: or consider adding `println!("cargo::rustc-check-cfg=cfg(kani)");` to the top of the `build.rs` [INFO] [stdout] = note: see for more information about checking conditional configuration [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unexpected `cfg` condition name: `kani` [INFO] [stdout] --> src/inet/datagram.rs:28:12 [INFO] [stdout] | [INFO] [stdout] 28 | #[cfg_attr(kani, derive(kani::Arbitrary))] [INFO] [stdout] | ^^^^ [INFO] [stdout] | [INFO] [stdout] = help: consider using a Cargo feature instead [INFO] [stdout] = help: or consider adding in `Cargo.toml` the `check-cfg` lint config for the lint: [INFO] [stdout] [lints.rust] [INFO] [stdout] unexpected_cfgs = { level = "warn", check-cfg = ['cfg(kani)'] } [INFO] [stdout] = help: or consider adding `println!("cargo::rustc-check-cfg=cfg(kani)");` to the top of the `build.rs` [INFO] [stdout] = note: see for more information about checking conditional configuration [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unexpected `cfg` condition name: `kani` [INFO] [stdout] --> src/inet/ecn.rs:54:12 [INFO] [stdout] | [INFO] [stdout] 54 | #[cfg_attr(kani, derive(kani::Arbitrary))] [INFO] [stdout] | ^^^^ [INFO] [stdout] | [INFO] [stdout] = help: consider using a Cargo feature instead [INFO] [stdout] = help: or consider adding in `Cargo.toml` the `check-cfg` lint config for the lint: [INFO] [stdout] [lints.rust] [INFO] [stdout] unexpected_cfgs = { level = "warn", check-cfg = ['cfg(kani)'] } [INFO] [stdout] = help: or consider adding `println!("cargo::rustc-check-cfg=cfg(kani)");` to the top of the `build.rs` [INFO] [stdout] = note: see for more information about checking conditional configuration [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unexpected `cfg` condition name: `kani` [INFO] [stdout] --> src/inet/macros.rs:17:20 [INFO] [stdout] | [INFO] [stdout] 17 | #[cfg_attr(kani, derive(kani::Arbitrary))] [INFO] [stdout] | ^^^^ [INFO] [stdout] | [INFO] [stdout] ::: src/inet/ethernet.rs:22:1 [INFO] [stdout] | [INFO] [stdout] 22 | / define_inet_type!( [INFO] [stdout] 23 | | pub struct MacAddress { [INFO] [stdout] 24 | | octets: [u8; MAC_LEN], [INFO] [stdout] 25 | | } [INFO] [stdout] 26 | | ); [INFO] [stdout] | |_- in this macro invocation [INFO] [stdout] | [INFO] [stdout] = help: consider using a Cargo feature instead [INFO] [stdout] = help: or consider adding in `Cargo.toml` the `check-cfg` lint config for the lint: [INFO] [stdout] [lints.rust] [INFO] [stdout] unexpected_cfgs = { level = "warn", check-cfg = ['cfg(kani)'] } [INFO] [stdout] = help: or consider adding `println!("cargo::rustc-check-cfg=cfg(kani)");` to the top of the `build.rs` [INFO] [stdout] = note: see for more information about checking conditional configuration [INFO] [stdout] = note: this warning originates in the macro `define_inet_type` (in Nightly builds, run with -Z macro-backtrace for more info) [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unexpected `cfg` condition name: `kani` [INFO] [stdout] --> src/inet/macros.rs:17:20 [INFO] [stdout] | [INFO] [stdout] 17 | #[cfg_attr(kani, derive(kani::Arbitrary))] [INFO] [stdout] | ^^^^ [INFO] [stdout] | [INFO] [stdout] ::: src/inet/ethernet.rs:56:1 [INFO] [stdout] | [INFO] [stdout] 56 | / define_inet_type!( [INFO] [stdout] 57 | | pub struct EtherType { [INFO] [stdout] 58 | | id: [u8; 2], [INFO] [stdout] 59 | | } [INFO] [stdout] 60 | | ); [INFO] [stdout] | |_- in this macro invocation [INFO] [stdout] | [INFO] [stdout] = help: consider using a Cargo feature instead [INFO] [stdout] = help: or consider adding in `Cargo.toml` the `check-cfg` lint config for the lint: [INFO] [stdout] [lints.rust] [INFO] [stdout] unexpected_cfgs = { level = "warn", check-cfg = ['cfg(kani)'] } [INFO] [stdout] = help: or consider adding `println!("cargo::rustc-check-cfg=cfg(kani)");` to the top of the `build.rs` [INFO] [stdout] = note: see for more information about checking conditional configuration [INFO] [stdout] = note: this warning originates in the macro `define_inet_type` (in Nightly builds, run with -Z macro-backtrace for more info) [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unexpected `cfg` condition name: `kani` [INFO] [stdout] --> src/inet/macros.rs:17:20 [INFO] [stdout] | [INFO] [stdout] 17 | #[cfg_attr(kani, derive(kani::Arbitrary))] [INFO] [stdout] | ^^^^ [INFO] [stdout] | [INFO] [stdout] ::: src/inet/ethernet.rs:121:1 [INFO] [stdout] | [INFO] [stdout] 121 | / define_inet_type!( [INFO] [stdout] 122 | | pub struct Header { [INFO] [stdout] 123 | | destination: MacAddress, [INFO] [stdout] 124 | | source: MacAddress, [INFO] [stdout] ... | [INFO] [stdout] 127 | | ); [INFO] [stdout] | |_- in this macro invocation [INFO] [stdout] | [INFO] [stdout] = help: consider using a Cargo feature instead [INFO] [stdout] = help: or consider adding in `Cargo.toml` the `check-cfg` lint config for the lint: [INFO] [stdout] [lints.rust] [INFO] [stdout] unexpected_cfgs = { level = "warn", check-cfg = ['cfg(kani)'] } [INFO] [stdout] = help: or consider adding `println!("cargo::rustc-check-cfg=cfg(kani)");` to the top of the `build.rs` [INFO] [stdout] = note: see for more information about checking conditional configuration [INFO] [stdout] = note: this warning originates in the macro `define_inet_type` (in Nightly builds, run with -Z macro-backtrace for more info) [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unexpected `cfg` condition name: `kani` [INFO] [stdout] --> src/inet/ip.rs:122:12 [INFO] [stdout] | [INFO] [stdout] 122 | #[cfg_attr(kani, derive(kani::Arbitrary))] [INFO] [stdout] | ^^^^ [INFO] [stdout] | [INFO] [stdout] = help: consider using a Cargo feature instead [INFO] [stdout] = help: or consider adding in `Cargo.toml` the `check-cfg` lint config for the lint: [INFO] [stdout] [lints.rust] [INFO] [stdout] unexpected_cfgs = { level = "warn", check-cfg = ['cfg(kani)'] } [INFO] [stdout] = help: or consider adding `println!("cargo::rustc-check-cfg=cfg(kani)");` to the top of the `build.rs` [INFO] [stdout] = note: see for more information about checking conditional configuration [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unexpected `cfg` condition name: `kani` [INFO] [stdout] --> src/inet/macros.rs:17:20 [INFO] [stdout] | [INFO] [stdout] 17 | #[cfg_attr(kani, derive(kani::Arbitrary))] [INFO] [stdout] | ^^^^ [INFO] [stdout] | [INFO] [stdout] ::: src/inet/ip.rs:320:1 [INFO] [stdout] | [INFO] [stdout] 320 | / define_inet_type!( [INFO] [stdout] 321 | | pub struct Protocol { [INFO] [stdout] 322 | | id: u8, [INFO] [stdout] 323 | | } [INFO] [stdout] 324 | | ); [INFO] [stdout] | |_- in this macro invocation [INFO] [stdout] | [INFO] [stdout] = help: consider using a Cargo feature instead [INFO] [stdout] = help: or consider adding in `Cargo.toml` the `check-cfg` lint config for the lint: [INFO] [stdout] [lints.rust] [INFO] [stdout] unexpected_cfgs = { level = "warn", check-cfg = ['cfg(kani)'] } [INFO] [stdout] = help: or consider adding `println!("cargo::rustc-check-cfg=cfg(kani)");` to the top of the `build.rs` [INFO] [stdout] = note: see for more information about checking conditional configuration [INFO] [stdout] = note: this warning originates in the macro `define_inet_type` (in Nightly builds, run with -Z macro-backtrace for more info) [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unexpected `cfg` condition name: `kani` [INFO] [stdout] --> src/inet/macros.rs:17:20 [INFO] [stdout] | [INFO] [stdout] 17 | #[cfg_attr(kani, derive(kani::Arbitrary))] [INFO] [stdout] | ^^^^ [INFO] [stdout] | [INFO] [stdout] ::: src/inet/ipv4.rs:17:1 [INFO] [stdout] | [INFO] [stdout] 17 | / define_inet_type!( [INFO] [stdout] 18 | | pub struct IpV4Address { [INFO] [stdout] 19 | | octets: [u8; IPV4_LEN], [INFO] [stdout] 20 | | } [INFO] [stdout] 21 | | ); [INFO] [stdout] | |_- in this macro invocation [INFO] [stdout] | [INFO] [stdout] = help: consider using a Cargo feature instead [INFO] [stdout] = help: or consider adding in `Cargo.toml` the `check-cfg` lint config for the lint: [INFO] [stdout] [lints.rust] [INFO] [stdout] unexpected_cfgs = { level = "warn", check-cfg = ['cfg(kani)'] } [INFO] [stdout] = help: or consider adding `println!("cargo::rustc-check-cfg=cfg(kani)");` to the top of the `build.rs` [INFO] [stdout] = note: see for more information about checking conditional configuration [INFO] [stdout] = note: this warning originates in the macro `define_inet_type` (in Nightly builds, run with -Z macro-backtrace for more info) [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unexpected `cfg` condition name: `kani` [INFO] [stdout] --> src/inet/macros.rs:17:20 [INFO] [stdout] | [INFO] [stdout] 17 | #[cfg_attr(kani, derive(kani::Arbitrary))] [INFO] [stdout] | ^^^^ [INFO] [stdout] | [INFO] [stdout] ::: src/inet/ipv4.rs:240:1 [INFO] [stdout] | [INFO] [stdout] 240 | / define_inet_type!( [INFO] [stdout] 241 | | pub struct SocketAddressV4 { [INFO] [stdout] 242 | | ip: IpV4Address, [INFO] [stdout] 243 | | port: U16, [INFO] [stdout] 244 | | } [INFO] [stdout] 245 | | ); [INFO] [stdout] | |_- in this macro invocation [INFO] [stdout] | [INFO] [stdout] = help: consider using a Cargo feature instead [INFO] [stdout] = help: or consider adding in `Cargo.toml` the `check-cfg` lint config for the lint: [INFO] [stdout] [lints.rust] [INFO] [stdout] unexpected_cfgs = { level = "warn", check-cfg = ['cfg(kani)'] } [INFO] [stdout] = help: or consider adding `println!("cargo::rustc-check-cfg=cfg(kani)");` to the top of the `build.rs` [INFO] [stdout] = note: see for more information about checking conditional configuration [INFO] [stdout] = note: this warning originates in the macro `define_inet_type` (in Nightly builds, run with -Z macro-backtrace for more info) [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unexpected `cfg` condition name: `kani` [INFO] [stdout] --> src/inet/macros.rs:17:20 [INFO] [stdout] | [INFO] [stdout] 17 | #[cfg_attr(kani, derive(kani::Arbitrary))] [INFO] [stdout] | ^^^^ [INFO] [stdout] | [INFO] [stdout] ::: src/inet/ipv4.rs:339:1 [INFO] [stdout] | [INFO] [stdout] 339 | / define_inet_type!( [INFO] [stdout] 340 | | pub struct Header { [INFO] [stdout] 341 | | vihl: Vihl, [INFO] [stdout] 342 | | tos: Tos, [INFO] [stdout] ... | [INFO] [stdout] 352 | | ); [INFO] [stdout] | |_- in this macro invocation [INFO] [stdout] | [INFO] [stdout] = help: consider using a Cargo feature instead [INFO] [stdout] = help: or consider adding in `Cargo.toml` the `check-cfg` lint config for the lint: [INFO] [stdout] [lints.rust] [INFO] [stdout] unexpected_cfgs = { level = "warn", check-cfg = ['cfg(kani)'] } [INFO] [stdout] = help: or consider adding `println!("cargo::rustc-check-cfg=cfg(kani)");` to the top of the `build.rs` [INFO] [stdout] = note: see for more information about checking conditional configuration [INFO] [stdout] = note: this warning originates in the macro `define_inet_type` (in Nightly builds, run with -Z macro-backtrace for more info) [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unexpected `cfg` condition name: `kani` [INFO] [stdout] --> src/inet/macros.rs:17:20 [INFO] [stdout] | [INFO] [stdout] 17 | #[cfg_attr(kani, derive(kani::Arbitrary))] [INFO] [stdout] | ^^^^ [INFO] [stdout] | [INFO] [stdout] ::: src/inet/ipv4.rs:509:1 [INFO] [stdout] | [INFO] [stdout] 509 | / define_inet_type!( [INFO] [stdout] 510 | | pub struct Vihl { [INFO] [stdout] 511 | | value: u8, [INFO] [stdout] 512 | | } [INFO] [stdout] 513 | | ); [INFO] [stdout] | |_- in this macro invocation [INFO] [stdout] | [INFO] [stdout] = help: consider using a Cargo feature instead [INFO] [stdout] = help: or consider adding in `Cargo.toml` the `check-cfg` lint config for the lint: [INFO] [stdout] [lints.rust] [INFO] [stdout] unexpected_cfgs = { level = "warn", check-cfg = ['cfg(kani)'] } [INFO] [stdout] = help: or consider adding `println!("cargo::rustc-check-cfg=cfg(kani)");` to the top of the `build.rs` [INFO] [stdout] = note: see for more information about checking conditional configuration [INFO] [stdout] = note: this warning originates in the macro `define_inet_type` (in Nightly builds, run with -Z macro-backtrace for more info) [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unexpected `cfg` condition name: `kani` [INFO] [stdout] --> src/inet/macros.rs:17:20 [INFO] [stdout] | [INFO] [stdout] 17 | #[cfg_attr(kani, derive(kani::Arbitrary))] [INFO] [stdout] | ^^^^ [INFO] [stdout] | [INFO] [stdout] ::: src/inet/ipv4.rs:552:1 [INFO] [stdout] | [INFO] [stdout] 552 | / define_inet_type!( [INFO] [stdout] 553 | | pub struct Tos { [INFO] [stdout] 554 | | value: u8, [INFO] [stdout] 555 | | } [INFO] [stdout] 556 | | ); [INFO] [stdout] | |_- in this macro invocation [INFO] [stdout] | [INFO] [stdout] = help: consider using a Cargo feature instead [INFO] [stdout] = help: or consider adding in `Cargo.toml` the `check-cfg` lint config for the lint: [INFO] [stdout] [lints.rust] [INFO] [stdout] unexpected_cfgs = { level = "warn", check-cfg = ['cfg(kani)'] } [INFO] [stdout] = help: or consider adding `println!("cargo::rustc-check-cfg=cfg(kani)");` to the top of the `build.rs` [INFO] [stdout] = note: see for more information about checking conditional configuration [INFO] [stdout] = note: this warning originates in the macro `define_inet_type` (in Nightly builds, run with -Z macro-backtrace for more info) [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unexpected `cfg` condition name: `kani` [INFO] [stdout] --> src/inet/macros.rs:17:20 [INFO] [stdout] | [INFO] [stdout] 17 | #[cfg_attr(kani, derive(kani::Arbitrary))] [INFO] [stdout] | ^^^^ [INFO] [stdout] | [INFO] [stdout] ::: src/inet/ipv4.rs:596:1 [INFO] [stdout] | [INFO] [stdout] 596 | / define_inet_type!( [INFO] [stdout] 597 | | pub struct FlagFragment { [INFO] [stdout] 598 | | value: U16, [INFO] [stdout] 599 | | } [INFO] [stdout] 600 | | ); [INFO] [stdout] | |_- in this macro invocation [INFO] [stdout] | [INFO] [stdout] = help: consider using a Cargo feature instead [INFO] [stdout] = help: or consider adding in `Cargo.toml` the `check-cfg` lint config for the lint: [INFO] [stdout] [lints.rust] [INFO] [stdout] unexpected_cfgs = { level = "warn", check-cfg = ['cfg(kani)'] } [INFO] [stdout] = help: or consider adding `println!("cargo::rustc-check-cfg=cfg(kani)");` to the top of the `build.rs` [INFO] [stdout] = note: see for more information about checking conditional configuration [INFO] [stdout] = note: this warning originates in the macro `define_inet_type` (in Nightly builds, run with -Z macro-backtrace for more info) [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unexpected `cfg` condition name: `kani` [INFO] [stdout] --> src/inet/macros.rs:17:20 [INFO] [stdout] | [INFO] [stdout] 17 | #[cfg_attr(kani, derive(kani::Arbitrary))] [INFO] [stdout] | ^^^^ [INFO] [stdout] | [INFO] [stdout] ::: src/inet/ipv6.rs:15:1 [INFO] [stdout] | [INFO] [stdout] 15 | / define_inet_type!( [INFO] [stdout] 16 | | pub struct IpV6Address { [INFO] [stdout] 17 | | octets: [u8; IPV6_LEN], [INFO] [stdout] 18 | | } [INFO] [stdout] 19 | | ); [INFO] [stdout] | |_- in this macro invocation [INFO] [stdout] | [INFO] [stdout] = help: consider using a Cargo feature instead [INFO] [stdout] = help: or consider adding in `Cargo.toml` the `check-cfg` lint config for the lint: [INFO] [stdout] [lints.rust] [INFO] [stdout] unexpected_cfgs = { level = "warn", check-cfg = ['cfg(kani)'] } [INFO] [stdout] = help: or consider adding `println!("cargo::rustc-check-cfg=cfg(kani)");` to the top of the `build.rs` [INFO] [stdout] = note: see for more information about checking conditional configuration [INFO] [stdout] = note: this warning originates in the macro `define_inet_type` (in Nightly builds, run with -Z macro-backtrace for more info) [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unexpected `cfg` condition name: `kani` [INFO] [stdout] --> src/inet/macros.rs:17:20 [INFO] [stdout] | [INFO] [stdout] 17 | #[cfg_attr(kani, derive(kani::Arbitrary))] [INFO] [stdout] | ^^^^ [INFO] [stdout] | [INFO] [stdout] ::: src/inet/ipv6.rs:280:1 [INFO] [stdout] | [INFO] [stdout] 280 | / define_inet_type!( [INFO] [stdout] 281 | | pub struct SocketAddressV6 { [INFO] [stdout] 282 | | ip: IpV6Address, [INFO] [stdout] 283 | | port: U16, [INFO] [stdout] 284 | | } [INFO] [stdout] 285 | | ); [INFO] [stdout] | |_- in this macro invocation [INFO] [stdout] | [INFO] [stdout] = help: consider using a Cargo feature instead [INFO] [stdout] = help: or consider adding in `Cargo.toml` the `check-cfg` lint config for the lint: [INFO] [stdout] [lints.rust] [INFO] [stdout] unexpected_cfgs = { level = "warn", check-cfg = ['cfg(kani)'] } [INFO] [stdout] = help: or consider adding `println!("cargo::rustc-check-cfg=cfg(kani)");` to the top of the `build.rs` [INFO] [stdout] = note: see for more information about checking conditional configuration [INFO] [stdout] = note: this warning originates in the macro `define_inet_type` (in Nightly builds, run with -Z macro-backtrace for more info) [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unexpected `cfg` condition name: `kani` [INFO] [stdout] --> src/inet/macros.rs:17:20 [INFO] [stdout] | [INFO] [stdout] 17 | #[cfg_attr(kani, derive(kani::Arbitrary))] [INFO] [stdout] | ^^^^ [INFO] [stdout] | [INFO] [stdout] ::: src/inet/ipv6.rs:412:1 [INFO] [stdout] | [INFO] [stdout] 412 | / define_inet_type!( [INFO] [stdout] 413 | | pub struct Header { [INFO] [stdout] 414 | | vtcfl: Vtcfl, [INFO] [stdout] 415 | | payload_len: U16, [INFO] [stdout] ... | [INFO] [stdout] 421 | | ); [INFO] [stdout] | |_- in this macro invocation [INFO] [stdout] | [INFO] [stdout] = help: consider using a Cargo feature instead [INFO] [stdout] = help: or consider adding in `Cargo.toml` the `check-cfg` lint config for the lint: [INFO] [stdout] [lints.rust] [INFO] [stdout] unexpected_cfgs = { level = "warn", check-cfg = ['cfg(kani)'] } [INFO] [stdout] = help: or consider adding `println!("cargo::rustc-check-cfg=cfg(kani)");` to the top of the `build.rs` [INFO] [stdout] = note: see for more information about checking conditional configuration [INFO] [stdout] = note: this warning originates in the macro `define_inet_type` (in Nightly builds, run with -Z macro-backtrace for more info) [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unexpected `cfg` condition name: `kani` [INFO] [stdout] --> src/inet/macros.rs:17:20 [INFO] [stdout] | [INFO] [stdout] 17 | #[cfg_attr(kani, derive(kani::Arbitrary))] [INFO] [stdout] | ^^^^ [INFO] [stdout] | [INFO] [stdout] ::: src/inet/ipv6.rs:514:1 [INFO] [stdout] | [INFO] [stdout] 514 | / define_inet_type!( [INFO] [stdout] 515 | | pub struct Vtcfl { [INFO] [stdout] 516 | | octets: [u8; 4], [INFO] [stdout] 517 | | } [INFO] [stdout] 518 | | ); [INFO] [stdout] | |_- in this macro invocation [INFO] [stdout] | [INFO] [stdout] = help: consider using a Cargo feature instead [INFO] [stdout] = help: or consider adding in `Cargo.toml` the `check-cfg` lint config for the lint: [INFO] [stdout] [lints.rust] [INFO] [stdout] unexpected_cfgs = { level = "warn", check-cfg = ['cfg(kani)'] } [INFO] [stdout] = help: or consider adding `println!("cargo::rustc-check-cfg=cfg(kani)");` to the top of the `build.rs` [INFO] [stdout] = note: see for more information about checking conditional configuration [INFO] [stdout] = note: this warning originates in the macro `define_inet_type` (in Nightly builds, run with -Z macro-backtrace for more info) [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unexpected `cfg` condition name: `kani` [INFO] [stdout] --> src/inet/macros.rs:17:20 [INFO] [stdout] | [INFO] [stdout] 17 | #[cfg_attr(kani, derive(kani::Arbitrary))] [INFO] [stdout] | ^^^^ [INFO] [stdout] | [INFO] [stdout] ::: src/inet/udp.rs:23:1 [INFO] [stdout] | [INFO] [stdout] 23 | / define_inet_type!( [INFO] [stdout] 24 | | pub struct Header { [INFO] [stdout] 25 | | source: U16, [INFO] [stdout] 26 | | destination: U16, [INFO] [stdout] ... | [INFO] [stdout] 30 | | ); [INFO] [stdout] | |_- in this macro invocation [INFO] [stdout] | [INFO] [stdout] = help: consider using a Cargo feature instead [INFO] [stdout] = help: or consider adding in `Cargo.toml` the `check-cfg` lint config for the lint: [INFO] [stdout] [lints.rust] [INFO] [stdout] unexpected_cfgs = { level = "warn", check-cfg = ['cfg(kani)'] } [INFO] [stdout] = help: or consider adding `println!("cargo::rustc-check-cfg=cfg(kani)");` to the top of the `build.rs` [INFO] [stdout] = note: see for more information about checking conditional configuration [INFO] [stdout] = note: this warning originates in the macro `define_inet_type` (in Nightly builds, run with -Z macro-backtrace for more info) [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unexpected `cfg` condition value: `8` [INFO] [stdout] --> src/number.rs:233:15 [INFO] [stdout] | [INFO] [stdout] 233 | #[cfg(target_pointer_width = $target_width)] [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] ... [INFO] [stdout] 255 | upcast_usize!("8", u8, i8); [INFO] [stdout] | -------------------------- in this macro invocation [INFO] [stdout] | [INFO] [stdout] = note: expected values for `target_pointer_width` are: `16`, `32`, and `64` [INFO] [stdout] = note: see for more information about checking conditional configuration [INFO] [stdout] = note: this warning originates in the macro `upcast_usize` (in Nightly builds, run with -Z macro-backtrace for more info) [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unexpected `cfg` condition value: `8` [INFO] [stdout] --> src/number.rs:243:15 [INFO] [stdout] | [INFO] [stdout] 243 | #[cfg(target_pointer_width = $target_width)] [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] ... [INFO] [stdout] 255 | upcast_usize!("8", u8, i8); [INFO] [stdout] | -------------------------- in this macro invocation [INFO] [stdout] | [INFO] [stdout] = note: expected values for `target_pointer_width` are: `16`, `32`, and `64` [INFO] [stdout] = note: see for more information about checking conditional configuration [INFO] [stdout] = note: this warning originates in the macro `upcast_usize` (in Nightly builds, run with -Z macro-backtrace for more info) [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unexpected `cfg` condition value: `128` [INFO] [stdout] --> src/number.rs:233:15 [INFO] [stdout] | [INFO] [stdout] 233 | #[cfg(target_pointer_width = $target_width)] [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] ... [INFO] [stdout] 259 | upcast_usize!("128", u128, i128); [INFO] [stdout] | -------------------------------- in this macro invocation [INFO] [stdout] | [INFO] [stdout] = note: expected values for `target_pointer_width` are: `16`, `32`, and `64` [INFO] [stdout] = note: see for more information about checking conditional configuration [INFO] [stdout] = note: this warning originates in the macro `upcast_usize` (in Nightly builds, run with -Z macro-backtrace for more info) [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unexpected `cfg` condition value: `128` [INFO] [stdout] --> src/number.rs:243:15 [INFO] [stdout] | [INFO] [stdout] 243 | #[cfg(target_pointer_width = $target_width)] [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] ... [INFO] [stdout] 259 | upcast_usize!("128", u128, i128); [INFO] [stdout] | -------------------------------- in this macro invocation [INFO] [stdout] | [INFO] [stdout] = note: expected values for `target_pointer_width` are: `16`, `32`, and `64` [INFO] [stdout] = note: see for more information about checking conditional configuration [INFO] [stdout] = note: this warning originates in the macro `upcast_usize` (in Nightly builds, run with -Z macro-backtrace for more info) [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unexpected `cfg` condition name: `kani` [INFO] [stdout] --> src/path/mod.rs:100:20 [INFO] [stdout] | [INFO] [stdout] 100 | #[cfg_attr(kani, derive(kani::Arbitrary))] [INFO] [stdout] | ^^^^ [INFO] [stdout] ... [INFO] [stdout] 164 | impl_addr!(LocalAddress); [INFO] [stdout] | ------------------------ in this macro invocation [INFO] [stdout] | [INFO] [stdout] = help: consider using a Cargo feature instead [INFO] [stdout] = help: or consider adding in `Cargo.toml` the `check-cfg` lint config for the lint: [INFO] [stdout] [lints.rust] [INFO] [stdout] unexpected_cfgs = { level = "warn", check-cfg = ['cfg(kani)'] } [INFO] [stdout] = help: or consider adding `println!("cargo::rustc-check-cfg=cfg(kani)");` to the top of the `build.rs` [INFO] [stdout] = note: see for more information about checking conditional configuration [INFO] [stdout] = note: this warning originates in the macro `impl_addr` (in Nightly builds, run with -Z macro-backtrace for more info) [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unexpected `cfg` condition name: `kani` [INFO] [stdout] --> src/path/mod.rs:100:20 [INFO] [stdout] | [INFO] [stdout] 100 | #[cfg_attr(kani, derive(kani::Arbitrary))] [INFO] [stdout] | ^^^^ [INFO] [stdout] ... [INFO] [stdout] 176 | impl_addr!(RemoteAddress); [INFO] [stdout] | ------------------------- in this macro invocation [INFO] [stdout] | [INFO] [stdout] = help: consider using a Cargo feature instead [INFO] [stdout] = help: or consider adding in `Cargo.toml` the `check-cfg` lint config for the lint: [INFO] [stdout] [lints.rust] [INFO] [stdout] unexpected_cfgs = { level = "warn", check-cfg = ['cfg(kani)'] } [INFO] [stdout] = help: or consider adding `println!("cargo::rustc-check-cfg=cfg(kani)");` to the top of the `build.rs` [INFO] [stdout] = note: see for more information about checking conditional configuration [INFO] [stdout] = note: this warning originates in the macro `impl_addr` (in Nightly builds, run with -Z macro-backtrace for more info) [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unexpected `cfg` condition name: `loom` [INFO] [stdout] --> src/sync/primitive.rs:4:11 [INFO] [stdout] | [INFO] [stdout] 4 | #[cfg(all(loom, test))] [INFO] [stdout] | ^^^^ [INFO] [stdout] | [INFO] [stdout] = help: consider using a Cargo feature instead [INFO] [stdout] = help: or consider adding in `Cargo.toml` the `check-cfg` lint config for the lint: [INFO] [stdout] [lints.rust] [INFO] [stdout] unexpected_cfgs = { level = "warn", check-cfg = ['cfg(loom)'] } [INFO] [stdout] = help: or consider adding `println!("cargo::rustc-check-cfg=cfg(loom)");` to the top of the `build.rs` [INFO] [stdout] = note: see for more information about checking conditional configuration [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unexpected `cfg` condition name: `loom` [INFO] [stdout] --> src/sync/primitive.rs:33:11 [INFO] [stdout] | [INFO] [stdout] 33 | #[cfg(all(loom, test))] [INFO] [stdout] | ^^^^ [INFO] [stdout] | [INFO] [stdout] = help: consider using a Cargo feature instead [INFO] [stdout] = help: or consider adding in `Cargo.toml` the `check-cfg` lint config for the lint: [INFO] [stdout] [lints.rust] [INFO] [stdout] unexpected_cfgs = { level = "warn", check-cfg = ['cfg(loom)'] } [INFO] [stdout] = help: or consider adding `println!("cargo::rustc-check-cfg=cfg(loom)");` to the top of the `build.rs` [INFO] [stdout] = note: see for more information about checking conditional configuration [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unexpected `cfg` condition name: `loom` [INFO] [stdout] --> src/sync/primitive.rs:42:15 [INFO] [stdout] | [INFO] [stdout] 42 | #[cfg(not(all(loom, test)))] [INFO] [stdout] | ^^^^ [INFO] [stdout] | [INFO] [stdout] = help: consider using a Cargo feature instead [INFO] [stdout] = help: or consider adding in `Cargo.toml` the `check-cfg` lint config for the lint: [INFO] [stdout] [lints.rust] [INFO] [stdout] unexpected_cfgs = { level = "warn", check-cfg = ['cfg(loom)'] } [INFO] [stdout] = help: or consider adding `println!("cargo::rustc-check-cfg=cfg(loom)");` to the top of the `build.rs` [INFO] [stdout] = note: see for more information about checking conditional configuration [INFO] [stdout] [INFO] [stdout] [INFO] [stderr] Checking futures-executor v0.3.31 [INFO] [stderr] Checking futures-test v0.3.31 [INFO] [stderr] Checking futures v0.3.31 [INFO] [stderr] Compiling toml_edit v0.20.2 [INFO] [stderr] Compiling proc-macro-crate v2.0.2 [INFO] [stderr] Compiling bolero-generator-derive v0.13.2 [INFO] [stderr] Checking bolero-generator v0.13.2 [INFO] [stderr] Checking bolero-engine v0.13.2 [INFO] [stderr] Checking bolero v0.13.2 [INFO] [stdout] error[E0432]: unresolved import `s2n_codec::assert_codec_round_trip_bytes_mut` [INFO] [stdout] --> src/frame/tests.rs:6:17 [INFO] [stdout] | [INFO] [stdout] 6 | use s2n_codec::{assert_codec_round_trip_bytes_mut, Encoder, EncoderLenEstimator, EncoderValue}; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ no `assert_codec_round_trip_bytes_mut` in the root [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0432]: unresolved import `s2n_codec::testing` [INFO] [stdout] --> src/packet/number/tests.rs:10:17 [INFO] [stdout] | [INFO] [stdout] 10 | use s2n_codec::{testing::encode, DecoderBuffer}; [INFO] [stdout] | ^^^^^^^ could not find `testing` in `s2n_codec` [INFO] [stdout] | [INFO] [stdout] note: found an item that was configured out [INFO] [stdout] --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/s2n-codec-0.57.0/src/lib.rs:11:9 [INFO] [stdout] | [INFO] [stdout] 11 | pub mod testing; [INFO] [stdout] | ^^^^^^^ [INFO] [stdout] note: the item is gated here [INFO] [stdout] --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/s2n-codec-0.57.0/src/lib.rs:9:1 [INFO] [stdout] | [INFO] [stdout] 9 | #[cfg(any(feature = "testing", test))] [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0432]: unresolved imports `s2n_codec::assert_codec_round_trip_bytes`, `s2n_codec::assert_codec_round_trip_value` [INFO] [stdout] --> src/transport/parameters/tests.rs:6:17 [INFO] [stdout] | [INFO] [stdout] 6 | use s2n_codec::{assert_codec_round_trip_bytes, assert_codec_round_trip_value}; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ no `assert_codec_round_trip_value` in the root [INFO] [stdout] | | [INFO] [stdout] | no `assert_codec_round_trip_bytes` in the root [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0432]: unresolved imports `s2n_codec::assert_codec_round_trip_bytes`, `s2n_codec::assert_codec_round_trip_value` [INFO] [stdout] --> src/varint/tests.rs:9:5 [INFO] [stdout] | [INFO] [stdout] 9 | assert_codec_round_trip_bytes, assert_codec_round_trip_value, DecoderBuffer, EncoderBuffer, [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ no `assert_codec_round_trip_value` in the root [INFO] [stdout] | | [INFO] [stdout] | no `assert_codec_round_trip_bytes` in the root [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0432]: unresolved import `s2n_codec::assert_codec_round_trip_sample_file` [INFO] [stdout] --> src/frame/mod.rs:193:17 [INFO] [stdout] | [INFO] [stdout] 193 | use s2n_codec::assert_codec_round_trip_sample_file; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ no `assert_codec_round_trip_sample_file` in the root [INFO] [stdout] ... [INFO] [stdout] 243 | / frames! { [INFO] [stdout] 244 | | AckRanges, Data | [INFO] [stdout] 245 | | [padding_tag] => padding, handle_padding_frame, Padding; [INFO] [stdout] 246 | | [ping_tag] => ping, handle_ping_frame, Ping; [INFO] [stdout] ... | [INFO] [stdout] 266 | | extension[dc_stateless_reset_tokens_tag] => dc_stateless_reset_tokens, handle_dc_stateless_reset_tokens_frame, DcStatelessResetTokens... [INFO] [stdout] 267 | | } [INFO] [stdout] | |_- in this macro invocation [INFO] [stdout] | [INFO] [stdout] = note: this error originates in the macro `frames` (in Nightly builds, run with -Z macro-backtrace for more info) [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0432]: unresolved import `s2n_codec::assert_codec_round_trip_value` [INFO] [stdout] --> src/varint/tests.rs:58:17 [INFO] [stdout] | [INFO] [stdout] 58 | use s2n_codec::assert_codec_round_trip_value; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ no `assert_codec_round_trip_value` in the root [INFO] [stdout] ... [INFO] [stdout] 68 | / sequence_test!(eight_byte_sequence_example( [INFO] [stdout] 69 | | [0xc2, 0x19, 0x7c, 0x5e, 0xff, 0x14, 0xe8, 0x8c], [INFO] [stdout] 70 | | 151_288_809_941_952_652 [INFO] [stdout] 71 | | )); [INFO] [stdout] | |__- in this macro invocation [INFO] [stdout] | [INFO] [stdout] = note: this error originates in the macro `sequence_test` (in Nightly builds, run with -Z macro-backtrace for more info) [INFO] [stdout] help: consider importing this unresolved item through its public re-export instead [INFO] [stdout] | [INFO] [stdout] 58 - use s2n_codec::assert_codec_round_trip_value; [INFO] [stdout] 58 + use crate::varint::tests::assert_codec_round_trip_value; [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0432]: unresolved import `s2n_codec::assert_codec_round_trip_value` [INFO] [stdout] --> src/varint/tests.rs:58:17 [INFO] [stdout] | [INFO] [stdout] 58 | use s2n_codec::assert_codec_round_trip_value; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ no `assert_codec_round_trip_value` in the root [INFO] [stdout] ... [INFO] [stdout] 73 | / sequence_test!(four_byte_sequence_example( [INFO] [stdout] 74 | | [0x9d, 0x7f, 0x3e, 0x7d], [INFO] [stdout] 75 | | 494_878_333 [INFO] [stdout] 76 | | )); [INFO] [stdout] | |__- in this macro invocation [INFO] [stdout] | [INFO] [stdout] = note: this error originates in the macro `sequence_test` (in Nightly builds, run with -Z macro-backtrace for more info) [INFO] [stdout] help: consider importing this unresolved item through its public re-export instead [INFO] [stdout] | [INFO] [stdout] 58 - use s2n_codec::assert_codec_round_trip_value; [INFO] [stdout] 58 + use crate::varint::tests::assert_codec_round_trip_value; [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0432]: unresolved import `s2n_codec::assert_codec_round_trip_value` [INFO] [stdout] --> src/varint/tests.rs:58:17 [INFO] [stdout] | [INFO] [stdout] 58 | use s2n_codec::assert_codec_round_trip_value; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ no `assert_codec_round_trip_value` in the root [INFO] [stdout] ... [INFO] [stdout] 78 | sequence_test!(two_byte_sequence_example([0x7b, 0xbd], 15293)); [INFO] [stdout] | -------------------------------------------------------------- in this macro invocation [INFO] [stdout] | [INFO] [stdout] = note: this error originates in the macro `sequence_test` (in Nightly builds, run with -Z macro-backtrace for more info) [INFO] [stdout] help: consider importing this unresolved item through its public re-export instead [INFO] [stdout] | [INFO] [stdout] 58 - use s2n_codec::assert_codec_round_trip_value; [INFO] [stdout] 58 + use crate::varint::tests::assert_codec_round_trip_value; [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0432]: unresolved import `s2n_codec::assert_codec_round_trip_value` [INFO] [stdout] --> src/varint/tests.rs:58:17 [INFO] [stdout] | [INFO] [stdout] 58 | use s2n_codec::assert_codec_round_trip_value; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ no `assert_codec_round_trip_value` in the root [INFO] [stdout] ... [INFO] [stdout] 80 | sequence_test!(one_byte_sequence_example([0x25], 37)); [INFO] [stdout] | ----------------------------------------------------- in this macro invocation [INFO] [stdout] | [INFO] [stdout] = note: this error originates in the macro `sequence_test` (in Nightly builds, run with -Z macro-backtrace for more info) [INFO] [stdout] help: consider importing this unresolved item through its public re-export instead [INFO] [stdout] | [INFO] [stdout] 58 - use s2n_codec::assert_codec_round_trip_value; [INFO] [stdout] 58 + use crate::varint::tests::assert_codec_round_trip_value; [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0433]: failed to resolve: could not find `assert_codec_round_trip_bytes` in `s2n_codec` [INFO] [stdout] --> src/inet/ethernet.rs:203:24 [INFO] [stdout] | [INFO] [stdout] 203 | s2n_codec::assert_codec_round_trip_bytes!(Header, buffer); [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ could not find `assert_codec_round_trip_bytes` in `s2n_codec` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0433]: failed to resolve: could not find `assert_codec_round_trip_sample_file` in `s2n_codec` [INFO] [stdout] --> src/inet/macros.rs:68:24 [INFO] [stdout] | [INFO] [stdout] 68 | s2n_codec::assert_codec_round_trip_sample_file!( [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ could not find `assert_codec_round_trip_sample_file` in `s2n_codec` [INFO] [stdout] | [INFO] [stdout] ::: src/inet/ipv4.rs:238:1 [INFO] [stdout] | [INFO] [stdout] 238 | test_inet_snapshot!(ipv4, ipv4_snapshot_test, IpV4Address); [INFO] [stdout] | ---------------------------------------------------------- in this macro invocation [INFO] [stdout] | [INFO] [stdout] = note: this error originates in the macro `test_inet_snapshot` (in Nightly builds, run with -Z macro-backtrace for more info) [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0433]: failed to resolve: could not find `assert_codec_round_trip_sample_file` in `s2n_codec` [INFO] [stdout] --> src/inet/macros.rs:68:24 [INFO] [stdout] | [INFO] [stdout] 68 | s2n_codec::assert_codec_round_trip_sample_file!( [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ could not find `assert_codec_round_trip_sample_file` in `s2n_codec` [INFO] [stdout] | [INFO] [stdout] ::: src/inet/ipv4.rs:301:1 [INFO] [stdout] | [INFO] [stdout] 301 | test_inet_snapshot!(socket_v4, socket_v4_snapshot_test, SocketAddressV4); [INFO] [stdout] | ------------------------------------------------------------------------ in this macro invocation [INFO] [stdout] | [INFO] [stdout] = note: this error originates in the macro `test_inet_snapshot` (in Nightly builds, run with -Z macro-backtrace for more info) [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0433]: failed to resolve: could not find `assert_codec_round_trip_bytes` in `s2n_codec` [INFO] [stdout] --> src/inet/ipv4.rs:894:24 [INFO] [stdout] | [INFO] [stdout] 894 | s2n_codec::assert_codec_round_trip_bytes!(Header, buffer); [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ could not find `assert_codec_round_trip_bytes` in `s2n_codec` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0433]: failed to resolve: could not find `assert_codec_round_trip_sample_file` in `s2n_codec` [INFO] [stdout] --> src/inet/macros.rs:68:24 [INFO] [stdout] | [INFO] [stdout] 68 | s2n_codec::assert_codec_round_trip_sample_file!( [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ could not find `assert_codec_round_trip_sample_file` in `s2n_codec` [INFO] [stdout] | [INFO] [stdout] ::: src/inet/ipv6.rs:278:1 [INFO] [stdout] | [INFO] [stdout] 278 | test_inet_snapshot!(ipv6, ipv6_snapshot_test, IpV6Address); [INFO] [stdout] | ---------------------------------------------------------- in this macro invocation [INFO] [stdout] | [INFO] [stdout] = note: this error originates in the macro `test_inet_snapshot` (in Nightly builds, run with -Z macro-backtrace for more info) [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0433]: failed to resolve: could not find `assert_codec_round_trip_sample_file` in `s2n_codec` [INFO] [stdout] --> src/inet/macros.rs:68:24 [INFO] [stdout] | [INFO] [stdout] 68 | s2n_codec::assert_codec_round_trip_sample_file!( [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ could not find `assert_codec_round_trip_sample_file` in `s2n_codec` [INFO] [stdout] | [INFO] [stdout] ::: src/inet/ipv6.rs:343:1 [INFO] [stdout] | [INFO] [stdout] 343 | test_inet_snapshot!(socket_v6, socket_v6_snapshot_test, SocketAddressV6); [INFO] [stdout] | ------------------------------------------------------------------------ in this macro invocation [INFO] [stdout] | [INFO] [stdout] = note: this error originates in the macro `test_inet_snapshot` (in Nightly builds, run with -Z macro-backtrace for more info) [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0433]: failed to resolve: could not find `assert_codec_round_trip_bytes` in `s2n_codec` [INFO] [stdout] --> src/inet/ipv6.rs:789:24 [INFO] [stdout] | [INFO] [stdout] 789 | s2n_codec::assert_codec_round_trip_bytes!(Header, buffer); [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ could not find `assert_codec_round_trip_bytes` in `s2n_codec` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0433]: failed to resolve: could not find `assert_codec_round_trip_bytes` in `s2n_codec` [INFO] [stdout] --> src/inet/udp.rs:117:24 [INFO] [stdout] | [INFO] [stdout] 117 | s2n_codec::assert_codec_round_trip_bytes!(Header, buffer); [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ could not find `assert_codec_round_trip_bytes` in `s2n_codec` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0433]: failed to resolve: could not find `assert_codec_round_trip_sample_file` in `s2n_codec` [INFO] [stdout] --> src/packet/mod.rs:263:28 [INFO] [stdout] | [INFO] [stdout] 263 | s2n_codec::assert_codec_round_trip_sample_file!( [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ could not find `assert_codec_round_trip_sample_file` in `s2n_codec` [INFO] [stdout] ... [INFO] [stdout] 282 | snapshot!(short); [INFO] [stdout] | ---------------- in this macro invocation [INFO] [stdout] | [INFO] [stdout] = note: this error originates in the macro `snapshot` (in Nightly builds, run with -Z macro-backtrace for more info) [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0433]: failed to resolve: could not find `assert_codec_round_trip_sample_file` in `s2n_codec` [INFO] [stdout] --> src/packet/mod.rs:263:28 [INFO] [stdout] | [INFO] [stdout] 263 | s2n_codec::assert_codec_round_trip_sample_file!( [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ could not find `assert_codec_round_trip_sample_file` in `s2n_codec` [INFO] [stdout] ... [INFO] [stdout] 283 | snapshot!(initial); [INFO] [stdout] | ------------------ in this macro invocation [INFO] [stdout] | [INFO] [stdout] = note: this error originates in the macro `snapshot` (in Nightly builds, run with -Z macro-backtrace for more info) [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0433]: failed to resolve: could not find `assert_codec_round_trip_sample_file` in `s2n_codec` [INFO] [stdout] --> src/packet/mod.rs:263:28 [INFO] [stdout] | [INFO] [stdout] 263 | s2n_codec::assert_codec_round_trip_sample_file!( [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ could not find `assert_codec_round_trip_sample_file` in `s2n_codec` [INFO] [stdout] ... [INFO] [stdout] 284 | snapshot!(zero_rtt); [INFO] [stdout] | ------------------- in this macro invocation [INFO] [stdout] | [INFO] [stdout] = note: this error originates in the macro `snapshot` (in Nightly builds, run with -Z macro-backtrace for more info) [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0433]: failed to resolve: could not find `assert_codec_round_trip_sample_file` in `s2n_codec` [INFO] [stdout] --> src/packet/mod.rs:263:28 [INFO] [stdout] | [INFO] [stdout] 263 | s2n_codec::assert_codec_round_trip_sample_file!( [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ could not find `assert_codec_round_trip_sample_file` in `s2n_codec` [INFO] [stdout] ... [INFO] [stdout] 285 | snapshot!(handshake); [INFO] [stdout] | -------------------- in this macro invocation [INFO] [stdout] | [INFO] [stdout] = note: this error originates in the macro `snapshot` (in Nightly builds, run with -Z macro-backtrace for more info) [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0433]: failed to resolve: could not find `assert_codec_round_trip_sample_file` in `s2n_codec` [INFO] [stdout] --> src/packet/mod.rs:263:28 [INFO] [stdout] | [INFO] [stdout] 263 | s2n_codec::assert_codec_round_trip_sample_file!( [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ could not find `assert_codec_round_trip_sample_file` in `s2n_codec` [INFO] [stdout] ... [INFO] [stdout] 286 | snapshot!(retry); [INFO] [stdout] | ---------------- in this macro invocation [INFO] [stdout] | [INFO] [stdout] = note: this error originates in the macro `snapshot` (in Nightly builds, run with -Z macro-backtrace for more info) [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0433]: failed to resolve: could not find `assert_codec_round_trip_sample_file` in `s2n_codec` [INFO] [stdout] --> src/packet/mod.rs:263:28 [INFO] [stdout] | [INFO] [stdout] 263 | s2n_codec::assert_codec_round_trip_sample_file!( [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ could not find `assert_codec_round_trip_sample_file` in `s2n_codec` [INFO] [stdout] ... [INFO] [stdout] 287 | snapshot!(version_negotiation); [INFO] [stdout] | ------------------------------ in this macro invocation [INFO] [stdout] | [INFO] [stdout] = note: this error originates in the macro `snapshot` (in Nightly builds, run with -Z macro-backtrace for more info) [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unexpected `cfg` condition name: `kani` [INFO] [stdout] --> src/buffer/deque/tests.rs:159:12 [INFO] [stdout] | [INFO] [stdout] 159 | #[cfg_attr(kani, kani::proof, kani::unwind(5), kani::solver(cadical))] [INFO] [stdout] | ^^^^ [INFO] [stdout] | [INFO] [stdout] = help: expected names are: `docsrs`, `feature`, and `test` and 31 more [INFO] [stdout] = help: consider using a Cargo feature instead [INFO] [stdout] = help: or consider adding in `Cargo.toml` the `check-cfg` lint config for the lint: [INFO] [stdout] [lints.rust] [INFO] [stdout] unexpected_cfgs = { level = "warn", check-cfg = ['cfg(kani)'] } [INFO] [stdout] = help: or consider adding `println!("cargo::rustc-check-cfg=cfg(kani)");` to the top of the `build.rs` [INFO] [stdout] = note: see for more information about checking conditional configuration [INFO] [stdout] = note: requested on the command line with `-W unexpected-cfgs` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unexpected `cfg` condition name: `kani` [INFO] [stdout] --> src/buffer/deque/tests.rs:161:12 [INFO] [stdout] | [INFO] [stdout] 161 | #[cfg_attr(kani, cfg(kani_slow))] [INFO] [stdout] | ^^^^ [INFO] [stdout] | [INFO] [stdout] = help: consider using a Cargo feature instead [INFO] [stdout] = help: or consider adding in `Cargo.toml` the `check-cfg` lint config for the lint: [INFO] [stdout] [lints.rust] [INFO] [stdout] unexpected_cfgs = { level = "warn", check-cfg = ['cfg(kani)'] } [INFO] [stdout] = help: or consider adding `println!("cargo::rustc-check-cfg=cfg(kani)");` to the top of the `build.rs` [INFO] [stdout] = note: see for more information about checking conditional configuration [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unexpected `cfg` condition name: `kani` [INFO] [stdout] --> src/buffer/deque/tests.rs:10:33 [INFO] [stdout] | [INFO] [stdout] 10 | const CAPACITY: usize = if cfg!(kani) { 4 } else { u8::MAX as usize + 1 }; [INFO] [stdout] | ^^^^ [INFO] [stdout] | [INFO] [stdout] = help: consider using a Cargo feature instead [INFO] [stdout] = help: or consider adding in `Cargo.toml` the `check-cfg` lint config for the lint: [INFO] [stdout] [lints.rust] [INFO] [stdout] unexpected_cfgs = { level = "warn", check-cfg = ['cfg(kani)'] } [INFO] [stdout] = help: or consider adding `println!("cargo::rustc-check-cfg=cfg(kani)");` to the top of the `build.rs` [INFO] [stdout] = note: see for more information about checking conditional configuration [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unexpected `cfg` condition name: `kani` [INFO] [stdout] --> src/buffer/deque/tests.rs:11:32 [INFO] [stdout] | [INFO] [stdout] 11 | const OPS_LEN: usize = if cfg!(kani) { 2 } else { u8::MAX as usize + 1 }; [INFO] [stdout] | ^^^^ [INFO] [stdout] | [INFO] [stdout] = help: consider using a Cargo feature instead [INFO] [stdout] = help: or consider adding in `Cargo.toml` the `check-cfg` lint config for the lint: [INFO] [stdout] [lints.rust] [INFO] [stdout] unexpected_cfgs = { level = "warn", check-cfg = ['cfg(kani)'] } [INFO] [stdout] = help: or consider adding `println!("cargo::rustc-check-cfg=cfg(kani)");` to the top of the `build.rs` [INFO] [stdout] = note: see for more information about checking conditional configuration [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unexpected `cfg` condition name: `kani` [INFO] [stdout] --> src/buffer/deque/tests.rs:112:15 [INFO] [stdout] | [INFO] [stdout] 112 | #[cfg(not(kani))] [INFO] [stdout] | ^^^^ [INFO] [stdout] | [INFO] [stdout] = help: consider using a Cargo feature instead [INFO] [stdout] = help: or consider adding in `Cargo.toml` the `check-cfg` lint config for the lint: [INFO] [stdout] [lints.rust] [INFO] [stdout] unexpected_cfgs = { level = "warn", check-cfg = ['cfg(kani)'] } [INFO] [stdout] = help: or consider adding `println!("cargo::rustc-check-cfg=cfg(kani)");` to the top of the `build.rs` [INFO] [stdout] = note: see for more information about checking conditional configuration [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unexpected `cfg` condition name: `kani` [INFO] [stdout] --> src/buffer/deque/tests.rs:140:11 [INFO] [stdout] | [INFO] [stdout] 140 | #[cfg(kani)] [INFO] [stdout] | ^^^^ [INFO] [stdout] | [INFO] [stdout] = help: consider using a Cargo feature instead [INFO] [stdout] = help: or consider adding in `Cargo.toml` the `check-cfg` lint config for the lint: [INFO] [stdout] [lints.rust] [INFO] [stdout] unexpected_cfgs = { level = "warn", check-cfg = ['cfg(kani)'] } [INFO] [stdout] = help: or consider adding `println!("cargo::rustc-check-cfg=cfg(kani)");` to the top of the `build.rs` [INFO] [stdout] = note: see for more information about checking conditional configuration [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unexpected `cfg` condition value: `thiserror` [INFO] [stdout] --> src/crypto/packet_protection.rs:23:12 [INFO] [stdout] | [INFO] [stdout] 23 | #[cfg_attr(feature = "thiserror", derive(thiserror::Error))] [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = note: expected values for `feature` are: `alloc`, `atomic-waker`, `bolero-generator`, `branch-tracing`, `bytes`, `checked-counters`, `crossbeam-utils`, `default`, `event-tracing`, `futures-test`, `generator`, `insta`, `once_cell`, `probe-tracing`, `state-tracing`, `std`, `testing`, `tracing`, `unstable-congestion-controller`, `unstable-limits`, and `usdt` [INFO] [stdout] = help: consider adding `thiserror` as a feature in `Cargo.toml` [INFO] [stdout] = note: see for more information about checking conditional configuration [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unexpected `cfg` condition name: `kani` [INFO] [stdout] --> src/crypto/tls/testing.rs:4:13 [INFO] [stdout] | [INFO] [stdout] 4 | #![cfg_attr(kani, allow(unused_variables))] // kani complains about things not being used [INFO] [stdout] | ^^^^ [INFO] [stdout] | [INFO] [stdout] = help: consider using a Cargo feature instead [INFO] [stdout] = help: or consider adding in `Cargo.toml` the `check-cfg` lint config for the lint: [INFO] [stdout] [lints.rust] [INFO] [stdout] unexpected_cfgs = { level = "warn", check-cfg = ['cfg(kani)'] } [INFO] [stdout] = help: or consider adding `println!("cargo::rustc-check-cfg=cfg(kani)");` to the top of the `build.rs` [INFO] [stdout] = note: see for more information about checking conditional configuration [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unexpected `cfg` condition value: `thiserror` [INFO] [stdout] --> src/crypto/tls/error.rs:10:12 [INFO] [stdout] | [INFO] [stdout] 10 | #[cfg_attr(feature = "thiserror", derive(thiserror::Error))] [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = note: expected values for `feature` are: `alloc`, `atomic-waker`, `bolero-generator`, `branch-tracing`, `bytes`, `checked-counters`, `crossbeam-utils`, `default`, `event-tracing`, `futures-test`, `generator`, `insta`, `once_cell`, `probe-tracing`, `state-tracing`, `std`, `testing`, `tracing`, `unstable-congestion-controller`, `unstable-limits`, and `usdt` [INFO] [stdout] = help: consider adding `thiserror` as a feature in `Cargo.toml` [INFO] [stdout] = note: see for more information about checking conditional configuration [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unexpected `cfg` condition name: `fuzzing` [INFO] [stdout] --> src/crypto/tls/testing.rs:237:19 [INFO] [stdout] | [INFO] [stdout] 237 | #[cfg(not(fuzzing))] [INFO] [stdout] | ^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = help: consider using a Cargo feature instead [INFO] [stdout] = help: or consider adding in `Cargo.toml` the `check-cfg` lint config for the lint: [INFO] [stdout] [lints.rust] [INFO] [stdout] unexpected_cfgs = { level = "warn", check-cfg = ['cfg(fuzzing)'] } [INFO] [stdout] = help: or consider adding `println!("cargo::rustc-check-cfg=cfg(fuzzing)");` to the top of the `build.rs` [INFO] [stdout] = note: see for more information about checking conditional configuration [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unexpected `cfg` condition name: `fuzzing` [INFO] [stdout] --> src/crypto/tls/testing.rs:525:15 [INFO] [stdout] | [INFO] [stdout] 525 | #[cfg(not(fuzzing))] [INFO] [stdout] | ^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = help: consider using a Cargo feature instead [INFO] [stdout] = help: or consider adding in `Cargo.toml` the `check-cfg` lint config for the lint: [INFO] [stdout] [lints.rust] [INFO] [stdout] unexpected_cfgs = { level = "warn", check-cfg = ['cfg(fuzzing)'] } [INFO] [stdout] = help: or consider adding `println!("cargo::rustc-check-cfg=cfg(fuzzing)");` to the top of the `build.rs` [INFO] [stdout] = note: see for more information about checking conditional configuration [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unexpected `cfg` condition name: `fuzzing` [INFO] [stdout] --> src/crypto/tls/testing.rs:536:11 [INFO] [stdout] | [INFO] [stdout] 536 | #[cfg(fuzzing)] [INFO] [stdout] | ^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = help: consider using a Cargo feature instead [INFO] [stdout] = help: or consider adding in `Cargo.toml` the `check-cfg` lint config for the lint: [INFO] [stdout] [lints.rust] [INFO] [stdout] unexpected_cfgs = { level = "warn", check-cfg = ['cfg(fuzzing)'] } [INFO] [stdout] = help: or consider adding `println!("cargo::rustc-check-cfg=cfg(fuzzing)");` to the top of the `build.rs` [INFO] [stdout] = note: see for more information about checking conditional configuration [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unexpected `cfg` condition name: `kani` [INFO] [stdout] --> src/crypto/tls.rs:448:16 [INFO] [stdout] | [INFO] [stdout] 448 | #[cfg_attr(kani, kani::proof, kani::solver(cadical), kani::unwind(36))] [INFO] [stdout] | ^^^^ [INFO] [stdout] | [INFO] [stdout] = help: consider using a Cargo feature instead [INFO] [stdout] = help: or consider adding in `Cargo.toml` the `check-cfg` lint config for the lint: [INFO] [stdout] [lints.rust] [INFO] [stdout] unexpected_cfgs = { level = "warn", check-cfg = ['cfg(kani)'] } [INFO] [stdout] = help: or consider adding `println!("cargo::rustc-check-cfg=cfg(kani)");` to the top of the `build.rs` [INFO] [stdout] = note: see for more information about checking conditional configuration [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unexpected `cfg` condition name: `kani` [INFO] [stdout] --> src/crypto/tls.rs:442:41 [INFO] [stdout] | [INFO] [stdout] 442 | const MAX_HELLO_SIZE: u64 = if cfg!(kani) { 32 } else { 255 }; [INFO] [stdout] | ^^^^ [INFO] [stdout] | [INFO] [stdout] = help: consider using a Cargo feature instead [INFO] [stdout] = help: or consider adding in `Cargo.toml` the `check-cfg` lint config for the lint: [INFO] [stdout] [lints.rust] [INFO] [stdout] unexpected_cfgs = { level = "warn", check-cfg = ['cfg(kani)'] } [INFO] [stdout] = help: or consider adding `println!("cargo::rustc-check-cfg=cfg(kani)");` to the top of the `build.rs` [INFO] [stdout] = note: see for more information about checking conditional configuration [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unexpected `cfg` condition name: `kani` [INFO] [stdout] --> src/ct.rs:351:24 [INFO] [stdout] | [INFO] [stdout] 351 | #[cfg_attr(kani, kani::proof, kani::unwind(5), kani::solver(kissat))] [INFO] [stdout] | ^^^^ [INFO] [stdout] ... [INFO] [stdout] 368 | binop_test!(add, checked_add); [INFO] [stdout] | ----------------------------- in this macro invocation [INFO] [stdout] | [INFO] [stdout] = help: consider using a Cargo feature instead [INFO] [stdout] = help: or consider adding in `Cargo.toml` the `check-cfg` lint config for the lint: [INFO] [stdout] [lints.rust] [INFO] [stdout] unexpected_cfgs = { level = "warn", check-cfg = ['cfg(kani)'] } [INFO] [stdout] = help: or consider adding `println!("cargo::rustc-check-cfg=cfg(kani)");` to the top of the `build.rs` [INFO] [stdout] = note: see for more information about checking conditional configuration [INFO] [stdout] = note: this warning originates in the macro `binop_test` (in Nightly builds, run with -Z macro-backtrace for more info) [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unexpected `cfg` condition name: `kani` [INFO] [stdout] --> src/ct.rs:351:24 [INFO] [stdout] | [INFO] [stdout] 351 | #[cfg_attr(kani, kani::proof, kani::unwind(5), kani::solver(kissat))] [INFO] [stdout] | ^^^^ [INFO] [stdout] ... [INFO] [stdout] 369 | binop_test!(sub, checked_sub); [INFO] [stdout] | ----------------------------- in this macro invocation [INFO] [stdout] | [INFO] [stdout] = help: consider using a Cargo feature instead [INFO] [stdout] = help: or consider adding in `Cargo.toml` the `check-cfg` lint config for the lint: [INFO] [stdout] [lints.rust] [INFO] [stdout] unexpected_cfgs = { level = "warn", check-cfg = ['cfg(kani)'] } [INFO] [stdout] = help: or consider adding `println!("cargo::rustc-check-cfg=cfg(kani)");` to the top of the `build.rs` [INFO] [stdout] = note: see for more information about checking conditional configuration [INFO] [stdout] = note: this warning originates in the macro `binop_test` (in Nightly builds, run with -Z macro-backtrace for more info) [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unexpected `cfg` condition name: `kani` [INFO] [stdout] --> src/ct.rs:351:24 [INFO] [stdout] | [INFO] [stdout] 351 | #[cfg_attr(kani, kani::proof, kani::unwind(5), kani::solver(kissat))] [INFO] [stdout] | ^^^^ [INFO] [stdout] ... [INFO] [stdout] 370 | binop_test!(mul, checked_mul); [INFO] [stdout] | ----------------------------- in this macro invocation [INFO] [stdout] | [INFO] [stdout] = help: consider using a Cargo feature instead [INFO] [stdout] = help: or consider adding in `Cargo.toml` the `check-cfg` lint config for the lint: [INFO] [stdout] [lints.rust] [INFO] [stdout] unexpected_cfgs = { level = "warn", check-cfg = ['cfg(kani)'] } [INFO] [stdout] = help: or consider adding `println!("cargo::rustc-check-cfg=cfg(kani)");` to the top of the `build.rs` [INFO] [stdout] = note: see for more information about checking conditional configuration [INFO] [stdout] = note: this warning originates in the macro `binop_test` (in Nightly builds, run with -Z macro-backtrace for more info) [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unexpected `cfg` condition name: `kani` [INFO] [stdout] --> src/ct.rs:351:24 [INFO] [stdout] | [INFO] [stdout] 351 | #[cfg_attr(kani, kani::proof, kani::unwind(5), kani::solver(kissat))] [INFO] [stdout] | ^^^^ [INFO] [stdout] ... [INFO] [stdout] 371 | binop_test!(div, checked_div); [INFO] [stdout] | ----------------------------- in this macro invocation [INFO] [stdout] | [INFO] [stdout] = help: consider using a Cargo feature instead [INFO] [stdout] = help: or consider adding in `Cargo.toml` the `check-cfg` lint config for the lint: [INFO] [stdout] [lints.rust] [INFO] [stdout] unexpected_cfgs = { level = "warn", check-cfg = ['cfg(kani)'] } [INFO] [stdout] = help: or consider adding `println!("cargo::rustc-check-cfg=cfg(kani)");` to the top of the `build.rs` [INFO] [stdout] = note: see for more information about checking conditional configuration [INFO] [stdout] = note: this warning originates in the macro `binop_test` (in Nightly builds, run with -Z macro-backtrace for more info) [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unexpected `cfg` condition name: `kani` [INFO] [stdout] --> src/ct.rs:351:24 [INFO] [stdout] | [INFO] [stdout] 351 | #[cfg_attr(kani, kani::proof, kani::unwind(5), kani::solver(kissat))] [INFO] [stdout] | ^^^^ [INFO] [stdout] ... [INFO] [stdout] 372 | binop_test!(rem, checked_rem); [INFO] [stdout] | ----------------------------- in this macro invocation [INFO] [stdout] | [INFO] [stdout] = help: consider using a Cargo feature instead [INFO] [stdout] = help: or consider adding in `Cargo.toml` the `check-cfg` lint config for the lint: [INFO] [stdout] [lints.rust] [INFO] [stdout] unexpected_cfgs = { level = "warn", check-cfg = ['cfg(kani)'] } [INFO] [stdout] = help: or consider adding `println!("cargo::rustc-check-cfg=cfg(kani)");` to the top of the `build.rs` [INFO] [stdout] = note: see for more information about checking conditional configuration [INFO] [stdout] = note: this warning originates in the macro `binop_test` (in Nightly builds, run with -Z macro-backtrace for more info) [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unexpected `cfg` condition name: `kani` [INFO] [stdout] --> src/ct.rs:377:24 [INFO] [stdout] | [INFO] [stdout] 377 | #[cfg_attr(kani, kani::proof, kani::unwind(5), kani::solver(kissat))] [INFO] [stdout] | ^^^^ [INFO] [stdout] ... [INFO] [stdout] 391 | cmp_test!(ct_lt, lt); [INFO] [stdout] | -------------------- in this macro invocation [INFO] [stdout] | [INFO] [stdout] = help: consider using a Cargo feature instead [INFO] [stdout] = help: or consider adding in `Cargo.toml` the `check-cfg` lint config for the lint: [INFO] [stdout] [lints.rust] [INFO] [stdout] unexpected_cfgs = { level = "warn", check-cfg = ['cfg(kani)'] } [INFO] [stdout] = help: or consider adding `println!("cargo::rustc-check-cfg=cfg(kani)");` to the top of the `build.rs` [INFO] [stdout] = note: see for more information about checking conditional configuration [INFO] [stdout] = note: this warning originates in the macro `cmp_test` (in Nightly builds, run with -Z macro-backtrace for more info) [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unexpected `cfg` condition name: `kani` [INFO] [stdout] --> src/ct.rs:377:24 [INFO] [stdout] | [INFO] [stdout] 377 | #[cfg_attr(kani, kani::proof, kani::unwind(5), kani::solver(kissat))] [INFO] [stdout] | ^^^^ [INFO] [stdout] ... [INFO] [stdout] 392 | cmp_test!(ct_le, le); [INFO] [stdout] | -------------------- in this macro invocation [INFO] [stdout] | [INFO] [stdout] = help: consider using a Cargo feature instead [INFO] [stdout] = help: or consider adding in `Cargo.toml` the `check-cfg` lint config for the lint: [INFO] [stdout] [lints.rust] [INFO] [stdout] unexpected_cfgs = { level = "warn", check-cfg = ['cfg(kani)'] } [INFO] [stdout] = help: or consider adding `println!("cargo::rustc-check-cfg=cfg(kani)");` to the top of the `build.rs` [INFO] [stdout] = note: see for more information about checking conditional configuration [INFO] [stdout] = note: this warning originates in the macro `cmp_test` (in Nightly builds, run with -Z macro-backtrace for more info) [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unexpected `cfg` condition name: `kani` [INFO] [stdout] --> src/ct.rs:377:24 [INFO] [stdout] | [INFO] [stdout] 377 | #[cfg_attr(kani, kani::proof, kani::unwind(5), kani::solver(kissat))] [INFO] [stdout] | ^^^^ [INFO] [stdout] ... [INFO] [stdout] 393 | cmp_test!(ct_gt, gt); [INFO] [stdout] | -------------------- in this macro invocation [INFO] [stdout] | [INFO] [stdout] = help: consider using a Cargo feature instead [INFO] [stdout] = help: or consider adding in `Cargo.toml` the `check-cfg` lint config for the lint: [INFO] [stdout] [lints.rust] [INFO] [stdout] unexpected_cfgs = { level = "warn", check-cfg = ['cfg(kani)'] } [INFO] [stdout] = help: or consider adding `println!("cargo::rustc-check-cfg=cfg(kani)");` to the top of the `build.rs` [INFO] [stdout] = note: see for more information about checking conditional configuration [INFO] [stdout] = note: this warning originates in the macro `cmp_test` (in Nightly builds, run with -Z macro-backtrace for more info) [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unexpected `cfg` condition name: `kani` [INFO] [stdout] --> src/ct.rs:377:24 [INFO] [stdout] | [INFO] [stdout] 377 | #[cfg_attr(kani, kani::proof, kani::unwind(5), kani::solver(kissat))] [INFO] [stdout] | ^^^^ [INFO] [stdout] ... [INFO] [stdout] 394 | cmp_test!(ct_ge, ge); [INFO] [stdout] | -------------------- in this macro invocation [INFO] [stdout] | [INFO] [stdout] = help: consider using a Cargo feature instead [INFO] [stdout] = help: or consider adding in `Cargo.toml` the `check-cfg` lint config for the lint: [INFO] [stdout] [lints.rust] [INFO] [stdout] unexpected_cfgs = { level = "warn", check-cfg = ['cfg(kani)'] } [INFO] [stdout] = help: or consider adding `println!("cargo::rustc-check-cfg=cfg(kani)");` to the top of the `build.rs` [INFO] [stdout] = note: see for more information about checking conditional configuration [INFO] [stdout] = note: this warning originates in the macro `cmp_test` (in Nightly builds, run with -Z macro-backtrace for more info) [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `crate::frame::FrameRef` [INFO] [stdout] --> src/frame/tests.rs:4:5 [INFO] [stdout] | [INFO] [stdout] 4 | use crate::frame::FrameRef; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = note: `#[warn(unused_imports)]` on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unexpected `cfg` condition name: `kani` [INFO] [stdout] --> src/frame/crypto.rs:200:16 [INFO] [stdout] | [INFO] [stdout] 200 | #[cfg_attr(kani, kani::proof, kani::unwind(1), kani::solver(kissat))] [INFO] [stdout] | ^^^^ [INFO] [stdout] | [INFO] [stdout] = help: consider using a Cargo feature instead [INFO] [stdout] = help: or consider adding in `Cargo.toml` the `check-cfg` lint config for the lint: [INFO] [stdout] [lints.rust] [INFO] [stdout] unexpected_cfgs = { level = "warn", check-cfg = ['cfg(kani)'] } [INFO] [stdout] = help: or consider adding `println!("cargo::rustc-check-cfg=cfg(kani)");` to the top of the `build.rs` [INFO] [stdout] = note: see for more information about checking conditional configuration [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unexpected `cfg` condition name: `kani` [INFO] [stdout] --> src/frame/stream.rs:363:16 [INFO] [stdout] | [INFO] [stdout] 363 | #[cfg_attr(kani, kani::proof, kani::unwind(1), kani::solver(kissat))] [INFO] [stdout] | ^^^^ [INFO] [stdout] | [INFO] [stdout] = help: consider using a Cargo feature instead [INFO] [stdout] = help: or consider adding in `Cargo.toml` the `check-cfg` lint config for the lint: [INFO] [stdout] [lints.rust] [INFO] [stdout] unexpected_cfgs = { level = "warn", check-cfg = ['cfg(kani)'] } [INFO] [stdout] = help: or consider adding `println!("cargo::rustc-check-cfg=cfg(kani)");` to the top of the `build.rs` [INFO] [stdout] = note: see for more information about checking conditional configuration [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `super::*` [INFO] [stdout] --> src/frame/mod.rs:192:17 [INFO] [stdout] | [INFO] [stdout] 192 | use super::*; [INFO] [stdout] | ^^^^^^^^ [INFO] [stdout] ... [INFO] [stdout] 243 | / frames! { [INFO] [stdout] 244 | | AckRanges, Data | [INFO] [stdout] 245 | | [padding_tag] => padding, handle_padding_frame, Padding; [INFO] [stdout] 246 | | [ping_tag] => ping, handle_ping_frame, Ping; [INFO] [stdout] ... | [INFO] [stdout] 266 | | extension[dc_stateless_reset_tokens_tag] => dc_stateless_reset_tokens, handle_dc_stateless_reset_tokens_frame, DcStatelessResetTokens... [INFO] [stdout] 267 | | } [INFO] [stdout] | |_- in this macro invocation [INFO] [stdout] | [INFO] [stdout] = note: this warning originates in the macro `frames` (in Nightly builds, run with -Z macro-backtrace for more info) [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unexpected `cfg` condition name: `kani` [INFO] [stdout] --> src/inet/checksum/x86.rs:4:13 [INFO] [stdout] | [INFO] [stdout] 4 | #![cfg_attr(kani, allow(dead_code))] [INFO] [stdout] | ^^^^ [INFO] [stdout] | [INFO] [stdout] = help: consider using a Cargo feature instead [INFO] [stdout] = help: or consider adding in `Cargo.toml` the `check-cfg` lint config for the lint: [INFO] [stdout] [lints.rust] [INFO] [stdout] unexpected_cfgs = { level = "warn", check-cfg = ['cfg(kani)'] } [INFO] [stdout] = help: or consider adding `println!("cargo::rustc-check-cfg=cfg(kani)");` to the top of the `build.rs` [INFO] [stdout] = note: see for more information about checking conditional configuration [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unexpected `cfg` condition name: `kani` [INFO] [stdout] --> src/inet/checksum.rs:108:42 [INFO] [stdout] | [INFO] [stdout] 108 | #[cfg(all(feature = "once_cell", not(any(kani, miri))))] [INFO] [stdout] | ^^^^ [INFO] [stdout] | [INFO] [stdout] = help: consider using a Cargo feature instead [INFO] [stdout] = help: or consider adding in `Cargo.toml` the `check-cfg` lint config for the lint: [INFO] [stdout] [lints.rust] [INFO] [stdout] unexpected_cfgs = { level = "warn", check-cfg = ['cfg(kani)'] } [INFO] [stdout] = help: or consider adding `println!("cargo::rustc-check-cfg=cfg(kani)");` to the top of the `build.rs` [INFO] [stdout] = note: see for more information about checking conditional configuration [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unexpected `cfg` condition name: `kani` [INFO] [stdout] --> src/inet/checksum.rs:125:46 [INFO] [stdout] | [INFO] [stdout] 125 | #[cfg(not(all(feature = "once_cell", not(any(kani, miri)))))] [INFO] [stdout] | ^^^^ [INFO] [stdout] | [INFO] [stdout] = help: consider using a Cargo feature instead [INFO] [stdout] = help: or consider adding in `Cargo.toml` the `check-cfg` lint config for the lint: [INFO] [stdout] [lints.rust] [INFO] [stdout] unexpected_cfgs = { level = "warn", check-cfg = ['cfg(kani)'] } [INFO] [stdout] = help: or consider adding `println!("cargo::rustc-check-cfg=cfg(kani)");` to the top of the `build.rs` [INFO] [stdout] = note: see for more information about checking conditional configuration [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unexpected `cfg` condition name: `kani` [INFO] [stdout] --> src/inet/checksum/x86.rs:23:50 [INFO] [stdout] | [INFO] [stdout] 23 | #[cfg(all(feature = "std", not(any(miri, kani))))] [INFO] [stdout] | ^^^^ [INFO] [stdout] ... [INFO] [stdout] 37 | probe!("avx", write_sized_avx) [INFO] [stdout] | ------------------------------ in this macro invocation [INFO] [stdout] | [INFO] [stdout] = help: consider using a Cargo feature instead [INFO] [stdout] = help: or consider adding in `Cargo.toml` the `check-cfg` lint config for the lint: [INFO] [stdout] [lints.rust] [INFO] [stdout] unexpected_cfgs = { level = "warn", check-cfg = ['cfg(kani)'] } [INFO] [stdout] = help: or consider adding `println!("cargo::rustc-check-cfg=cfg(kani)");` to the top of the `build.rs` [INFO] [stdout] = note: see for more information about checking conditional configuration [INFO] [stdout] = note: this warning originates in the macro `probe` (in Nightly builds, run with -Z macro-backtrace for more info) [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unexpected `cfg` condition name: `kani` [INFO] [stdout] --> src/inet/checksum/x86.rs:23:50 [INFO] [stdout] | [INFO] [stdout] 23 | #[cfg(all(feature = "std", not(any(miri, kani))))] [INFO] [stdout] | ^^^^ [INFO] [stdout] ... [INFO] [stdout] 42 | probe!("sse4.1", write_sized_sse) [INFO] [stdout] | --------------------------------- in this macro invocation [INFO] [stdout] | [INFO] [stdout] = help: consider using a Cargo feature instead [INFO] [stdout] = help: or consider adding in `Cargo.toml` the `check-cfg` lint config for the lint: [INFO] [stdout] [lints.rust] [INFO] [stdout] unexpected_cfgs = { level = "warn", check-cfg = ['cfg(kani)'] } [INFO] [stdout] = help: or consider adding `println!("cargo::rustc-check-cfg=cfg(kani)");` to the top of the `build.rs` [INFO] [stdout] = note: see for more information about checking conditional configuration [INFO] [stdout] = note: this warning originates in the macro `probe` (in Nightly builds, run with -Z macro-backtrace for more info) [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unexpected `cfg` condition name: `kani` [INFO] [stdout] --> src/inet/checksum.rs:180:15 [INFO] [stdout] | [INFO] [stdout] 180 | #[cfg(kani)] [INFO] [stdout] | ^^^^ [INFO] [stdout] | [INFO] [stdout] = help: consider using a Cargo feature instead [INFO] [stdout] = help: or consider adding in `Cargo.toml` the `check-cfg` lint config for the lint: [INFO] [stdout] [lints.rust] [INFO] [stdout] unexpected_cfgs = { level = "warn", check-cfg = ['cfg(kani)'] } [INFO] [stdout] = help: or consider adding `println!("cargo::rustc-check-cfg=cfg(kani)");` to the top of the `build.rs` [INFO] [stdout] = note: see for more information about checking conditional configuration [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unexpected `cfg` condition name: `kani` [INFO] [stdout] --> src/inet/checksum.rs:182:19 [INFO] [stdout] | [INFO] [stdout] 182 | #[cfg(not(kani))] [INFO] [stdout] | ^^^^ [INFO] [stdout] | [INFO] [stdout] = help: consider using a Cargo feature instead [INFO] [stdout] = help: or consider adding in `Cargo.toml` the `check-cfg` lint config for the lint: [INFO] [stdout] [lints.rust] [INFO] [stdout] unexpected_cfgs = { level = "warn", check-cfg = ['cfg(kani)'] } [INFO] [stdout] = help: or consider adding `println!("cargo::rustc-check-cfg=cfg(kani)");` to the top of the `build.rs` [INFO] [stdout] = note: see for more information about checking conditional configuration [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unexpected `cfg` condition name: `kani` [INFO] [stdout] --> src/inet/checksum.rs:287:19 [INFO] [stdout] | [INFO] [stdout] 287 | #[cfg(not(kani))] [INFO] [stdout] | ^^^^ [INFO] [stdout] | [INFO] [stdout] = help: consider using a Cargo feature instead [INFO] [stdout] = help: or consider adding in `Cargo.toml` the `check-cfg` lint config for the lint: [INFO] [stdout] [lints.rust] [INFO] [stdout] unexpected_cfgs = { level = "warn", check-cfg = ['cfg(kani)'] } [INFO] [stdout] = help: or consider adding `println!("cargo::rustc-check-cfg=cfg(kani)");` to the top of the `build.rs` [INFO] [stdout] = note: see for more information about checking conditional configuration [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unexpected `cfg` condition name: `kani` [INFO] [stdout] --> src/inet/checksum.rs:404:15 [INFO] [stdout] | [INFO] [stdout] 404 | #[cfg(any(kani, miri))] [INFO] [stdout] | ^^^^ [INFO] [stdout] | [INFO] [stdout] = help: consider using a Cargo feature instead [INFO] [stdout] = help: or consider adding in `Cargo.toml` the `check-cfg` lint config for the lint: [INFO] [stdout] [lints.rust] [INFO] [stdout] unexpected_cfgs = { level = "warn", check-cfg = ['cfg(kani)'] } [INFO] [stdout] = help: or consider adding `println!("cargo::rustc-check-cfg=cfg(kani)");` to the top of the `build.rs` [INFO] [stdout] = note: see for more information about checking conditional configuration [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unexpected `cfg` condition name: `kani` [INFO] [stdout] --> src/inet/checksum.rs:410:16 [INFO] [stdout] | [INFO] [stdout] 410 | #[cfg_attr(kani, kani::proof, kani::unwind(17), kani::solver(cadical))] [INFO] [stdout] | ^^^^ [INFO] [stdout] | [INFO] [stdout] = help: consider using a Cargo feature instead [INFO] [stdout] = help: or consider adding in `Cargo.toml` the `check-cfg` lint config for the lint: [INFO] [stdout] [lints.rust] [INFO] [stdout] unexpected_cfgs = { level = "warn", check-cfg = ['cfg(kani)'] } [INFO] [stdout] = help: or consider adding `println!("cargo::rustc-check-cfg=cfg(kani)");` to the top of the `build.rs` [INFO] [stdout] = note: see for more information about checking conditional configuration [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unexpected `cfg` condition name: `kani` [INFO] [stdout] --> src/inet/checksum.rs:441:16 [INFO] [stdout] | [INFO] [stdout] 441 | #[cfg_attr(kani, kani::proof, kani::unwind(9), kani::solver(kissat))] [INFO] [stdout] | ^^^^ [INFO] [stdout] | [INFO] [stdout] = help: consider using a Cargo feature instead [INFO] [stdout] = help: or consider adding in `Cargo.toml` the `check-cfg` lint config for the lint: [INFO] [stdout] [lints.rust] [INFO] [stdout] unexpected_cfgs = { level = "warn", check-cfg = ['cfg(kani)'] } [INFO] [stdout] = help: or consider adding `println!("cargo::rustc-check-cfg=cfg(kani)");` to the top of the `build.rs` [INFO] [stdout] = note: see for more information about checking conditional configuration [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unexpected `cfg` condition name: `kani` [INFO] [stdout] --> src/inet/checksum.rs:468:16 [INFO] [stdout] | [INFO] [stdout] 468 | #[cfg_attr(kani, kani::proof, kani::unwind(9), kani::solver(kissat))] [INFO] [stdout] | ^^^^ [INFO] [stdout] | [INFO] [stdout] = help: consider using a Cargo feature instead [INFO] [stdout] = help: or consider adding in `Cargo.toml` the `check-cfg` lint config for the lint: [INFO] [stdout] [lints.rust] [INFO] [stdout] unexpected_cfgs = { level = "warn", check-cfg = ['cfg(kani)'] } [INFO] [stdout] = help: or consider adding `println!("cargo::rustc-check-cfg=cfg(kani)");` to the top of the `build.rs` [INFO] [stdout] = note: see for more information about checking conditional configuration [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unexpected `cfg` condition name: `kani` [INFO] [stdout] --> src/inet/checksum.rs:412:19 [INFO] [stdout] | [INFO] [stdout] 412 | #[cfg(any(kani, miri))] [INFO] [stdout] | ^^^^ [INFO] [stdout] | [INFO] [stdout] = help: consider using a Cargo feature instead [INFO] [stdout] = help: or consider adding in `Cargo.toml` the `check-cfg` lint config for the lint: [INFO] [stdout] [lints.rust] [INFO] [stdout] unexpected_cfgs = { level = "warn", check-cfg = ['cfg(kani)'] } [INFO] [stdout] = help: or consider adding `println!("cargo::rustc-check-cfg=cfg(kani)");` to the top of the `build.rs` [INFO] [stdout] = note: see for more information about checking conditional configuration [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unexpected `cfg` condition name: `kani` [INFO] [stdout] --> src/inet/checksum.rs:414:23 [INFO] [stdout] | [INFO] [stdout] 414 | #[cfg(not(any(kani, miri)))] [INFO] [stdout] | ^^^^ [INFO] [stdout] | [INFO] [stdout] = help: consider using a Cargo feature instead [INFO] [stdout] = help: or consider adding in `Cargo.toml` the `check-cfg` lint config for the lint: [INFO] [stdout] [lints.rust] [INFO] [stdout] unexpected_cfgs = { level = "warn", check-cfg = ['cfg(kani)'] } [INFO] [stdout] = help: or consider adding `println!("cargo::rustc-check-cfg=cfg(kani)");` to the top of the `build.rs` [INFO] [stdout] = note: see for more information about checking conditional configuration [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unexpected `cfg` condition name: `kani` [INFO] [stdout] --> src/inet/checksum.rs:443:19 [INFO] [stdout] | [INFO] [stdout] 443 | #[cfg(any(kani, miri))] [INFO] [stdout] | ^^^^ [INFO] [stdout] | [INFO] [stdout] = help: consider using a Cargo feature instead [INFO] [stdout] = help: or consider adding in `Cargo.toml` the `check-cfg` lint config for the lint: [INFO] [stdout] [lints.rust] [INFO] [stdout] unexpected_cfgs = { level = "warn", check-cfg = ['cfg(kani)'] } [INFO] [stdout] = help: or consider adding `println!("cargo::rustc-check-cfg=cfg(kani)");` to the top of the `build.rs` [INFO] [stdout] = note: see for more information about checking conditional configuration [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unexpected `cfg` condition name: `kani` [INFO] [stdout] --> src/inet/checksum.rs:445:23 [INFO] [stdout] | [INFO] [stdout] 445 | #[cfg(not(any(kani, miri)))] [INFO] [stdout] | ^^^^ [INFO] [stdout] | [INFO] [stdout] = help: consider using a Cargo feature instead [INFO] [stdout] = help: or consider adding in `Cargo.toml` the `check-cfg` lint config for the lint: [INFO] [stdout] [lints.rust] [INFO] [stdout] unexpected_cfgs = { level = "warn", check-cfg = ['cfg(kani)'] } [INFO] [stdout] = help: or consider adding `println!("cargo::rustc-check-cfg=cfg(kani)");` to the top of the `build.rs` [INFO] [stdout] = note: see for more information about checking conditional configuration [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unexpected `cfg` condition name: `kani` [INFO] [stdout] --> src/inet/datagram.rs:28:12 [INFO] [stdout] | [INFO] [stdout] 28 | #[cfg_attr(kani, derive(kani::Arbitrary))] [INFO] [stdout] | ^^^^ [INFO] [stdout] | [INFO] [stdout] = help: consider using a Cargo feature instead [INFO] [stdout] = help: or consider adding in `Cargo.toml` the `check-cfg` lint config for the lint: [INFO] [stdout] [lints.rust] [INFO] [stdout] unexpected_cfgs = { level = "warn", check-cfg = ['cfg(kani)'] } [INFO] [stdout] = help: or consider adding `println!("cargo::rustc-check-cfg=cfg(kani)");` to the top of the `build.rs` [INFO] [stdout] = note: see for more information about checking conditional configuration [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unexpected `cfg` condition name: `kani` [INFO] [stdout] --> src/inet/ecn.rs:54:12 [INFO] [stdout] | [INFO] [stdout] 54 | #[cfg_attr(kani, derive(kani::Arbitrary))] [INFO] [stdout] | ^^^^ [INFO] [stdout] | [INFO] [stdout] = help: consider using a Cargo feature instead [INFO] [stdout] = help: or consider adding in `Cargo.toml` the `check-cfg` lint config for the lint: [INFO] [stdout] [lints.rust] [INFO] [stdout] unexpected_cfgs = { level = "warn", check-cfg = ['cfg(kani)'] } [INFO] [stdout] = help: or consider adding `println!("cargo::rustc-check-cfg=cfg(kani)");` to the top of the `build.rs` [INFO] [stdout] = note: see for more information about checking conditional configuration [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unexpected `cfg` condition name: `kani` [INFO] [stdout] --> src/inet/macros.rs:17:20 [INFO] [stdout] | [INFO] [stdout] 17 | #[cfg_attr(kani, derive(kani::Arbitrary))] [INFO] [stdout] | ^^^^ [INFO] [stdout] | [INFO] [stdout] ::: src/inet/ethernet.rs:22:1 [INFO] [stdout] | [INFO] [stdout] 22 | / define_inet_type!( [INFO] [stdout] 23 | | pub struct MacAddress { [INFO] [stdout] 24 | | octets: [u8; MAC_LEN], [INFO] [stdout] 25 | | } [INFO] [stdout] 26 | | ); [INFO] [stdout] | |_- in this macro invocation [INFO] [stdout] | [INFO] [stdout] = help: consider using a Cargo feature instead [INFO] [stdout] = help: or consider adding in `Cargo.toml` the `check-cfg` lint config for the lint: [INFO] [stdout] [lints.rust] [INFO] [stdout] unexpected_cfgs = { level = "warn", check-cfg = ['cfg(kani)'] } [INFO] [stdout] = help: or consider adding `println!("cargo::rustc-check-cfg=cfg(kani)");` to the top of the `build.rs` [INFO] [stdout] = note: see for more information about checking conditional configuration [INFO] [stdout] = note: this warning originates in the macro `define_inet_type` (in Nightly builds, run with -Z macro-backtrace for more info) [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unexpected `cfg` condition name: `kani` [INFO] [stdout] --> src/inet/macros.rs:17:20 [INFO] [stdout] | [INFO] [stdout] 17 | #[cfg_attr(kani, derive(kani::Arbitrary))] [INFO] [stdout] | ^^^^ [INFO] [stdout] | [INFO] [stdout] ::: src/inet/ethernet.rs:56:1 [INFO] [stdout] | [INFO] [stdout] 56 | / define_inet_type!( [INFO] [stdout] 57 | | pub struct EtherType { [INFO] [stdout] 58 | | id: [u8; 2], [INFO] [stdout] 59 | | } [INFO] [stdout] 60 | | ); [INFO] [stdout] | |_- in this macro invocation [INFO] [stdout] | [INFO] [stdout] = help: consider using a Cargo feature instead [INFO] [stdout] = help: or consider adding in `Cargo.toml` the `check-cfg` lint config for the lint: [INFO] [stdout] [lints.rust] [INFO] [stdout] unexpected_cfgs = { level = "warn", check-cfg = ['cfg(kani)'] } [INFO] [stdout] = help: or consider adding `println!("cargo::rustc-check-cfg=cfg(kani)");` to the top of the `build.rs` [INFO] [stdout] = note: see for more information about checking conditional configuration [INFO] [stdout] = note: this warning originates in the macro `define_inet_type` (in Nightly builds, run with -Z macro-backtrace for more info) [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unexpected `cfg` condition name: `kani` [INFO] [stdout] --> src/inet/macros.rs:17:20 [INFO] [stdout] | [INFO] [stdout] 17 | #[cfg_attr(kani, derive(kani::Arbitrary))] [INFO] [stdout] | ^^^^ [INFO] [stdout] | [INFO] [stdout] ::: src/inet/ethernet.rs:121:1 [INFO] [stdout] | [INFO] [stdout] 121 | / define_inet_type!( [INFO] [stdout] 122 | | pub struct Header { [INFO] [stdout] 123 | | destination: MacAddress, [INFO] [stdout] 124 | | source: MacAddress, [INFO] [stdout] ... | [INFO] [stdout] 127 | | ); [INFO] [stdout] | |_- in this macro invocation [INFO] [stdout] | [INFO] [stdout] = help: consider using a Cargo feature instead [INFO] [stdout] = help: or consider adding in `Cargo.toml` the `check-cfg` lint config for the lint: [INFO] [stdout] [lints.rust] [INFO] [stdout] unexpected_cfgs = { level = "warn", check-cfg = ['cfg(kani)'] } [INFO] [stdout] = help: or consider adding `println!("cargo::rustc-check-cfg=cfg(kani)");` to the top of the `build.rs` [INFO] [stdout] = note: see for more information about checking conditional configuration [INFO] [stdout] = note: this warning originates in the macro `define_inet_type` (in Nightly builds, run with -Z macro-backtrace for more info) [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unexpected `cfg` condition name: `kani` [INFO] [stdout] --> src/inet/ip.rs:122:12 [INFO] [stdout] | [INFO] [stdout] 122 | #[cfg_attr(kani, derive(kani::Arbitrary))] [INFO] [stdout] | ^^^^ [INFO] [stdout] | [INFO] [stdout] = help: consider using a Cargo feature instead [INFO] [stdout] = help: or consider adding in `Cargo.toml` the `check-cfg` lint config for the lint: [INFO] [stdout] [lints.rust] [INFO] [stdout] unexpected_cfgs = { level = "warn", check-cfg = ['cfg(kani)'] } [INFO] [stdout] = help: or consider adding `println!("cargo::rustc-check-cfg=cfg(kani)");` to the top of the `build.rs` [INFO] [stdout] = note: see for more information about checking conditional configuration [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unexpected `cfg` condition name: `kani` [INFO] [stdout] --> src/inet/macros.rs:17:20 [INFO] [stdout] | [INFO] [stdout] 17 | #[cfg_attr(kani, derive(kani::Arbitrary))] [INFO] [stdout] | ^^^^ [INFO] [stdout] | [INFO] [stdout] ::: src/inet/ip.rs:320:1 [INFO] [stdout] | [INFO] [stdout] 320 | / define_inet_type!( [INFO] [stdout] 321 | | pub struct Protocol { [INFO] [stdout] 322 | | id: u8, [INFO] [stdout] 323 | | } [INFO] [stdout] 324 | | ); [INFO] [stdout] | |_- in this macro invocation [INFO] [stdout] | [INFO] [stdout] = help: consider using a Cargo feature instead [INFO] [stdout] = help: or consider adding in `Cargo.toml` the `check-cfg` lint config for the lint: [INFO] [stdout] [lints.rust] [INFO] [stdout] unexpected_cfgs = { level = "warn", check-cfg = ['cfg(kani)'] } [INFO] [stdout] = help: or consider adding `println!("cargo::rustc-check-cfg=cfg(kani)");` to the top of the `build.rs` [INFO] [stdout] = note: see for more information about checking conditional configuration [INFO] [stdout] = note: this warning originates in the macro `define_inet_type` (in Nightly builds, run with -Z macro-backtrace for more info) [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unexpected `cfg` condition name: `kani` [INFO] [stdout] --> src/inet/macros.rs:17:20 [INFO] [stdout] | [INFO] [stdout] 17 | #[cfg_attr(kani, derive(kani::Arbitrary))] [INFO] [stdout] | ^^^^ [INFO] [stdout] | [INFO] [stdout] ::: src/inet/ipv4.rs:17:1 [INFO] [stdout] | [INFO] [stdout] 17 | / define_inet_type!( [INFO] [stdout] 18 | | pub struct IpV4Address { [INFO] [stdout] 19 | | octets: [u8; IPV4_LEN], [INFO] [stdout] 20 | | } [INFO] [stdout] 21 | | ); [INFO] [stdout] | |_- in this macro invocation [INFO] [stdout] | [INFO] [stdout] = help: consider using a Cargo feature instead [INFO] [stdout] = help: or consider adding in `Cargo.toml` the `check-cfg` lint config for the lint: [INFO] [stdout] [lints.rust] [INFO] [stdout] unexpected_cfgs = { level = "warn", check-cfg = ['cfg(kani)'] } [INFO] [stdout] = help: or consider adding `println!("cargo::rustc-check-cfg=cfg(kani)");` to the top of the `build.rs` [INFO] [stdout] = note: see for more information about checking conditional configuration [INFO] [stdout] = note: this warning originates in the macro `define_inet_type` (in Nightly builds, run with -Z macro-backtrace for more info) [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unexpected `cfg` condition name: `kani` [INFO] [stdout] --> src/inet/macros.rs:17:20 [INFO] [stdout] | [INFO] [stdout] 17 | #[cfg_attr(kani, derive(kani::Arbitrary))] [INFO] [stdout] | ^^^^ [INFO] [stdout] | [INFO] [stdout] ::: src/inet/ipv4.rs:240:1 [INFO] [stdout] | [INFO] [stdout] 240 | / define_inet_type!( [INFO] [stdout] 241 | | pub struct SocketAddressV4 { [INFO] [stdout] 242 | | ip: IpV4Address, [INFO] [stdout] 243 | | port: U16, [INFO] [stdout] 244 | | } [INFO] [stdout] 245 | | ); [INFO] [stdout] | |_- in this macro invocation [INFO] [stdout] | [INFO] [stdout] = help: consider using a Cargo feature instead [INFO] [stdout] = help: or consider adding in `Cargo.toml` the `check-cfg` lint config for the lint: [INFO] [stdout] [lints.rust] [INFO] [stdout] unexpected_cfgs = { level = "warn", check-cfg = ['cfg(kani)'] } [INFO] [stdout] = help: or consider adding `println!("cargo::rustc-check-cfg=cfg(kani)");` to the top of the `build.rs` [INFO] [stdout] = note: see for more information about checking conditional configuration [INFO] [stdout] = note: this warning originates in the macro `define_inet_type` (in Nightly builds, run with -Z macro-backtrace for more info) [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unexpected `cfg` condition name: `kani` [INFO] [stdout] --> src/inet/macros.rs:17:20 [INFO] [stdout] | [INFO] [stdout] 17 | #[cfg_attr(kani, derive(kani::Arbitrary))] [INFO] [stdout] | ^^^^ [INFO] [stdout] | [INFO] [stdout] ::: src/inet/ipv4.rs:339:1 [INFO] [stdout] | [INFO] [stdout] 339 | / define_inet_type!( [INFO] [stdout] 340 | | pub struct Header { [INFO] [stdout] 341 | | vihl: Vihl, [INFO] [stdout] 342 | | tos: Tos, [INFO] [stdout] ... | [INFO] [stdout] 352 | | ); [INFO] [stdout] | |_- in this macro invocation [INFO] [stdout] | [INFO] [stdout] = help: consider using a Cargo feature instead [INFO] [stdout] = help: or consider adding in `Cargo.toml` the `check-cfg` lint config for the lint: [INFO] [stdout] [lints.rust] [INFO] [stdout] unexpected_cfgs = { level = "warn", check-cfg = ['cfg(kani)'] } [INFO] [stdout] = help: or consider adding `println!("cargo::rustc-check-cfg=cfg(kani)");` to the top of the `build.rs` [INFO] [stdout] = note: see for more information about checking conditional configuration [INFO] [stdout] = note: this warning originates in the macro `define_inet_type` (in Nightly builds, run with -Z macro-backtrace for more info) [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unexpected `cfg` condition name: `kani` [INFO] [stdout] --> src/inet/macros.rs:17:20 [INFO] [stdout] | [INFO] [stdout] 17 | #[cfg_attr(kani, derive(kani::Arbitrary))] [INFO] [stdout] | ^^^^ [INFO] [stdout] | [INFO] [stdout] ::: src/inet/ipv4.rs:509:1 [INFO] [stdout] | [INFO] [stdout] 509 | / define_inet_type!( [INFO] [stdout] 510 | | pub struct Vihl { [INFO] [stdout] 511 | | value: u8, [INFO] [stdout] 512 | | } [INFO] [stdout] 513 | | ); [INFO] [stdout] | |_- in this macro invocation [INFO] [stdout] | [INFO] [stdout] = help: consider using a Cargo feature instead [INFO] [stdout] = help: or consider adding in `Cargo.toml` the `check-cfg` lint config for the lint: [INFO] [stdout] [lints.rust] [INFO] [stdout] unexpected_cfgs = { level = "warn", check-cfg = ['cfg(kani)'] } [INFO] [stdout] = help: or consider adding `println!("cargo::rustc-check-cfg=cfg(kani)");` to the top of the `build.rs` [INFO] [stdout] = note: see for more information about checking conditional configuration [INFO] [stdout] = note: this warning originates in the macro `define_inet_type` (in Nightly builds, run with -Z macro-backtrace for more info) [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unexpected `cfg` condition name: `kani` [INFO] [stdout] --> src/inet/macros.rs:17:20 [INFO] [stdout] | [INFO] [stdout] 17 | #[cfg_attr(kani, derive(kani::Arbitrary))] [INFO] [stdout] | ^^^^ [INFO] [stdout] | [INFO] [stdout] ::: src/inet/ipv4.rs:552:1 [INFO] [stdout] | [INFO] [stdout] 552 | / define_inet_type!( [INFO] [stdout] 553 | | pub struct Tos { [INFO] [stdout] 554 | | value: u8, [INFO] [stdout] 555 | | } [INFO] [stdout] 556 | | ); [INFO] [stdout] | |_- in this macro invocation [INFO] [stdout] | [INFO] [stdout] = help: consider using a Cargo feature instead [INFO] [stdout] = help: or consider adding in `Cargo.toml` the `check-cfg` lint config for the lint: [INFO] [stdout] [lints.rust] [INFO] [stdout] unexpected_cfgs = { level = "warn", check-cfg = ['cfg(kani)'] } [INFO] [stdout] = help: or consider adding `println!("cargo::rustc-check-cfg=cfg(kani)");` to the top of the `build.rs` [INFO] [stdout] = note: see for more information about checking conditional configuration [INFO] [stdout] = note: this warning originates in the macro `define_inet_type` (in Nightly builds, run with -Z macro-backtrace for more info) [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unexpected `cfg` condition name: `kani` [INFO] [stdout] --> src/inet/macros.rs:17:20 [INFO] [stdout] | [INFO] [stdout] 17 | #[cfg_attr(kani, derive(kani::Arbitrary))] [INFO] [stdout] | ^^^^ [INFO] [stdout] | [INFO] [stdout] ::: src/inet/ipv4.rs:596:1 [INFO] [stdout] | [INFO] [stdout] 596 | / define_inet_type!( [INFO] [stdout] 597 | | pub struct FlagFragment { [INFO] [stdout] 598 | | value: U16, [INFO] [stdout] 599 | | } [INFO] [stdout] 600 | | ); [INFO] [stdout] | |_- in this macro invocation [INFO] [stdout] | [INFO] [stdout] = help: consider using a Cargo feature instead [INFO] [stdout] = help: or consider adding in `Cargo.toml` the `check-cfg` lint config for the lint: [INFO] [stdout] [lints.rust] [INFO] [stdout] unexpected_cfgs = { level = "warn", check-cfg = ['cfg(kani)'] } [INFO] [stdout] = help: or consider adding `println!("cargo::rustc-check-cfg=cfg(kani)");` to the top of the `build.rs` [INFO] [stdout] = note: see for more information about checking conditional configuration [INFO] [stdout] = note: this warning originates in the macro `define_inet_type` (in Nightly builds, run with -Z macro-backtrace for more info) [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unexpected `cfg` condition name: `kani` [INFO] [stdout] --> src/inet/ipv4.rs:758:16 [INFO] [stdout] | [INFO] [stdout] 758 | #[cfg_attr(kani, kani::proof, kani::unwind(5), kani::solver(kissat))] [INFO] [stdout] | ^^^^ [INFO] [stdout] | [INFO] [stdout] = help: consider using a Cargo feature instead [INFO] [stdout] = help: or consider adding in `Cargo.toml` the `check-cfg` lint config for the lint: [INFO] [stdout] [lints.rust] [INFO] [stdout] unexpected_cfgs = { level = "warn", check-cfg = ['cfg(kani)'] } [INFO] [stdout] = help: or consider adding `println!("cargo::rustc-check-cfg=cfg(kani)");` to the top of the `build.rs` [INFO] [stdout] = note: see for more information about checking conditional configuration [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unexpected `cfg` condition name: `kani` [INFO] [stdout] --> src/inet/ipv4.rs:825:16 [INFO] [stdout] | [INFO] [stdout] 825 | #[cfg_attr(kani, kani::proof, kani::unwind(5), kani::solver(kissat))] [INFO] [stdout] | ^^^^ [INFO] [stdout] | [INFO] [stdout] = help: consider using a Cargo feature instead [INFO] [stdout] = help: or consider adding in `Cargo.toml` the `check-cfg` lint config for the lint: [INFO] [stdout] [lints.rust] [INFO] [stdout] unexpected_cfgs = { level = "warn", check-cfg = ['cfg(kani)'] } [INFO] [stdout] = help: or consider adding `println!("cargo::rustc-check-cfg=cfg(kani)");` to the top of the `build.rs` [INFO] [stdout] = note: see for more information about checking conditional configuration [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unexpected `cfg` condition name: `kani` [INFO] [stdout] --> src/inet/macros.rs:17:20 [INFO] [stdout] | [INFO] [stdout] 17 | #[cfg_attr(kani, derive(kani::Arbitrary))] [INFO] [stdout] | ^^^^ [INFO] [stdout] | [INFO] [stdout] ::: src/inet/ipv6.rs:15:1 [INFO] [stdout] | [INFO] [stdout] 15 | / define_inet_type!( [INFO] [stdout] 16 | | pub struct IpV6Address { [INFO] [stdout] 17 | | octets: [u8; IPV6_LEN], [INFO] [stdout] 18 | | } [INFO] [stdout] 19 | | ); [INFO] [stdout] | |_- in this macro invocation [INFO] [stdout] | [INFO] [stdout] = help: consider using a Cargo feature instead [INFO] [stdout] = help: or consider adding in `Cargo.toml` the `check-cfg` lint config for the lint: [INFO] [stdout] [lints.rust] [INFO] [stdout] unexpected_cfgs = { level = "warn", check-cfg = ['cfg(kani)'] } [INFO] [stdout] = help: or consider adding `println!("cargo::rustc-check-cfg=cfg(kani)");` to the top of the `build.rs` [INFO] [stdout] = note: see for more information about checking conditional configuration [INFO] [stdout] = note: this warning originates in the macro `define_inet_type` (in Nightly builds, run with -Z macro-backtrace for more info) [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unexpected `cfg` condition name: `kani` [INFO] [stdout] --> src/inet/macros.rs:17:20 [INFO] [stdout] | [INFO] [stdout] 17 | #[cfg_attr(kani, derive(kani::Arbitrary))] [INFO] [stdout] | ^^^^ [INFO] [stdout] | [INFO] [stdout] ::: src/inet/ipv6.rs:280:1 [INFO] [stdout] | [INFO] [stdout] 280 | / define_inet_type!( [INFO] [stdout] 281 | | pub struct SocketAddressV6 { [INFO] [stdout] 282 | | ip: IpV6Address, [INFO] [stdout] 283 | | port: U16, [INFO] [stdout] 284 | | } [INFO] [stdout] 285 | | ); [INFO] [stdout] | |_- in this macro invocation [INFO] [stdout] | [INFO] [stdout] = help: consider using a Cargo feature instead [INFO] [stdout] = help: or consider adding in `Cargo.toml` the `check-cfg` lint config for the lint: [INFO] [stdout] [lints.rust] [INFO] [stdout] unexpected_cfgs = { level = "warn", check-cfg = ['cfg(kani)'] } [INFO] [stdout] = help: or consider adding `println!("cargo::rustc-check-cfg=cfg(kani)");` to the top of the `build.rs` [INFO] [stdout] = note: see for more information about checking conditional configuration [INFO] [stdout] = note: this warning originates in the macro `define_inet_type` (in Nightly builds, run with -Z macro-backtrace for more info) [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unexpected `cfg` condition name: `kani` [INFO] [stdout] --> src/inet/macros.rs:17:20 [INFO] [stdout] | [INFO] [stdout] 17 | #[cfg_attr(kani, derive(kani::Arbitrary))] [INFO] [stdout] | ^^^^ [INFO] [stdout] | [INFO] [stdout] ::: src/inet/ipv6.rs:412:1 [INFO] [stdout] | [INFO] [stdout] 412 | / define_inet_type!( [INFO] [stdout] 413 | | pub struct Header { [INFO] [stdout] 414 | | vtcfl: Vtcfl, [INFO] [stdout] 415 | | payload_len: U16, [INFO] [stdout] ... | [INFO] [stdout] 421 | | ); [INFO] [stdout] | |_- in this macro invocation [INFO] [stdout] | [INFO] [stdout] = help: consider using a Cargo feature instead [INFO] [stdout] = help: or consider adding in `Cargo.toml` the `check-cfg` lint config for the lint: [INFO] [stdout] [lints.rust] [INFO] [stdout] unexpected_cfgs = { level = "warn", check-cfg = ['cfg(kani)'] } [INFO] [stdout] = help: or consider adding `println!("cargo::rustc-check-cfg=cfg(kani)");` to the top of the `build.rs` [INFO] [stdout] = note: see for more information about checking conditional configuration [INFO] [stdout] = note: this warning originates in the macro `define_inet_type` (in Nightly builds, run with -Z macro-backtrace for more info) [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unexpected `cfg` condition name: `kani` [INFO] [stdout] --> src/inet/macros.rs:17:20 [INFO] [stdout] | [INFO] [stdout] 17 | #[cfg_attr(kani, derive(kani::Arbitrary))] [INFO] [stdout] | ^^^^ [INFO] [stdout] | [INFO] [stdout] ::: src/inet/ipv6.rs:514:1 [INFO] [stdout] | [INFO] [stdout] 514 | / define_inet_type!( [INFO] [stdout] 515 | | pub struct Vtcfl { [INFO] [stdout] 516 | | octets: [u8; 4], [INFO] [stdout] 517 | | } [INFO] [stdout] 518 | | ); [INFO] [stdout] | |_- in this macro invocation [INFO] [stdout] | [INFO] [stdout] = help: consider using a Cargo feature instead [INFO] [stdout] = help: or consider adding in `Cargo.toml` the `check-cfg` lint config for the lint: [INFO] [stdout] [lints.rust] [INFO] [stdout] unexpected_cfgs = { level = "warn", check-cfg = ['cfg(kani)'] } [INFO] [stdout] = help: or consider adding `println!("cargo::rustc-check-cfg=cfg(kani)");` to the top of the `build.rs` [INFO] [stdout] = note: see for more information about checking conditional configuration [INFO] [stdout] = note: this warning originates in the macro `define_inet_type` (in Nightly builds, run with -Z macro-backtrace for more info) [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unexpected `cfg` condition name: `kani` [INFO] [stdout] --> src/inet/ipv6.rs:670:16 [INFO] [stdout] | [INFO] [stdout] 670 | #[cfg_attr(kani, kani::proof, kani::unwind(17), kani::solver(kissat))] [INFO] [stdout] | ^^^^ [INFO] [stdout] | [INFO] [stdout] = help: consider using a Cargo feature instead [INFO] [stdout] = help: or consider adding in `Cargo.toml` the `check-cfg` lint config for the lint: [INFO] [stdout] [lints.rust] [INFO] [stdout] unexpected_cfgs = { level = "warn", check-cfg = ['cfg(kani)'] } [INFO] [stdout] = help: or consider adding `println!("cargo::rustc-check-cfg=cfg(kani)");` to the top of the `build.rs` [INFO] [stdout] = note: see for more information about checking conditional configuration [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unexpected `cfg` condition name: `kani` [INFO] [stdout] --> src/inet/ipv6.rs:734:16 [INFO] [stdout] | [INFO] [stdout] 734 | #[cfg_attr(kani, kani::proof, kani::unwind(17), kani::solver(kissat))] [INFO] [stdout] | ^^^^ [INFO] [stdout] | [INFO] [stdout] = help: consider using a Cargo feature instead [INFO] [stdout] = help: or consider adding in `Cargo.toml` the `check-cfg` lint config for the lint: [INFO] [stdout] [lints.rust] [INFO] [stdout] unexpected_cfgs = { level = "warn", check-cfg = ['cfg(kani)'] } [INFO] [stdout] = help: or consider adding `println!("cargo::rustc-check-cfg=cfg(kani)");` to the top of the `build.rs` [INFO] [stdout] = note: see for more information about checking conditional configuration [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unexpected `cfg` condition name: `kani` [INFO] [stdout] --> src/inet/macros.rs:17:20 [INFO] [stdout] | [INFO] [stdout] 17 | #[cfg_attr(kani, derive(kani::Arbitrary))] [INFO] [stdout] | ^^^^ [INFO] [stdout] | [INFO] [stdout] ::: src/inet/udp.rs:23:1 [INFO] [stdout] | [INFO] [stdout] 23 | / define_inet_type!( [INFO] [stdout] 24 | | pub struct Header { [INFO] [stdout] 25 | | source: U16, [INFO] [stdout] 26 | | destination: U16, [INFO] [stdout] ... | [INFO] [stdout] 30 | | ); [INFO] [stdout] | |_- in this macro invocation [INFO] [stdout] | [INFO] [stdout] = help: consider using a Cargo feature instead [INFO] [stdout] = help: or consider adding in `Cargo.toml` the `check-cfg` lint config for the lint: [INFO] [stdout] [lints.rust] [INFO] [stdout] unexpected_cfgs = { level = "warn", check-cfg = ['cfg(kani)'] } [INFO] [stdout] = help: or consider adding `println!("cargo::rustc-check-cfg=cfg(kani)");` to the top of the `build.rs` [INFO] [stdout] = note: see for more information about checking conditional configuration [INFO] [stdout] = note: this warning originates in the macro `define_inet_type` (in Nightly builds, run with -Z macro-backtrace for more info) [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unexpected `cfg` condition name: `kani` [INFO] [stdout] --> src/interval_set/tests.rs:112:12 [INFO] [stdout] | [INFO] [stdout] 112 | #[cfg_attr(kani, kani::proof, kani::unwind(2), kani::solver(kissat))] [INFO] [stdout] | ^^^^ [INFO] [stdout] | [INFO] [stdout] = help: consider using a Cargo feature instead [INFO] [stdout] = help: or consider adding in `Cargo.toml` the `check-cfg` lint config for the lint: [INFO] [stdout] [lints.rust] [INFO] [stdout] unexpected_cfgs = { level = "warn", check-cfg = ['cfg(kani)'] } [INFO] [stdout] = help: or consider adding `println!("cargo::rustc-check-cfg=cfg(kani)");` to the top of the `build.rs` [INFO] [stdout] = note: see for more information about checking conditional configuration [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unexpected `cfg` condition value: `8` [INFO] [stdout] --> src/number.rs:233:15 [INFO] [stdout] | [INFO] [stdout] 233 | #[cfg(target_pointer_width = $target_width)] [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] ... [INFO] [stdout] 255 | upcast_usize!("8", u8, i8); [INFO] [stdout] | -------------------------- in this macro invocation [INFO] [stdout] | [INFO] [stdout] = note: expected values for `target_pointer_width` are: `16`, `32`, and `64` [INFO] [stdout] = note: see for more information about checking conditional configuration [INFO] [stdout] = note: this warning originates in the macro `upcast_usize` (in Nightly builds, run with -Z macro-backtrace for more info) [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unexpected `cfg` condition value: `8` [INFO] [stdout] --> src/number.rs:243:15 [INFO] [stdout] | [INFO] [stdout] 243 | #[cfg(target_pointer_width = $target_width)] [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] ... [INFO] [stdout] 255 | upcast_usize!("8", u8, i8); [INFO] [stdout] | -------------------------- in this macro invocation [INFO] [stdout] | [INFO] [stdout] = note: expected values for `target_pointer_width` are: `16`, `32`, and `64` [INFO] [stdout] = note: see for more information about checking conditional configuration [INFO] [stdout] = note: this warning originates in the macro `upcast_usize` (in Nightly builds, run with -Z macro-backtrace for more info) [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unexpected `cfg` condition value: `128` [INFO] [stdout] --> src/number.rs:233:15 [INFO] [stdout] | [INFO] [stdout] 233 | #[cfg(target_pointer_width = $target_width)] [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] ... [INFO] [stdout] 259 | upcast_usize!("128", u128, i128); [INFO] [stdout] | -------------------------------- in this macro invocation [INFO] [stdout] | [INFO] [stdout] = note: expected values for `target_pointer_width` are: `16`, `32`, and `64` [INFO] [stdout] = note: see for more information about checking conditional configuration [INFO] [stdout] = note: this warning originates in the macro `upcast_usize` (in Nightly builds, run with -Z macro-backtrace for more info) [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unexpected `cfg` condition value: `128` [INFO] [stdout] --> src/number.rs:243:15 [INFO] [stdout] | [INFO] [stdout] 243 | #[cfg(target_pointer_width = $target_width)] [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] ... [INFO] [stdout] 259 | upcast_usize!("128", u128, i128); [INFO] [stdout] | -------------------------------- in this macro invocation [INFO] [stdout] | [INFO] [stdout] = note: expected values for `target_pointer_width` are: `16`, `32`, and `64` [INFO] [stdout] = note: see for more information about checking conditional configuration [INFO] [stdout] = note: this warning originates in the macro `upcast_usize` (in Nightly builds, run with -Z macro-backtrace for more info) [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unexpected `cfg` condition name: `kani` [INFO] [stdout] --> src/packet/number/sliding_window.rs:474:16 [INFO] [stdout] | [INFO] [stdout] 474 | #[cfg_attr(kani, kani::proof, kani::unwind(130), kani::solver(kissat))] [INFO] [stdout] | ^^^^ [INFO] [stdout] | [INFO] [stdout] = help: consider using a Cargo feature instead [INFO] [stdout] = help: or consider adding in `Cargo.toml` the `check-cfg` lint config for the lint: [INFO] [stdout] [lints.rust] [INFO] [stdout] unexpected_cfgs = { level = "warn", check-cfg = ['cfg(kani)'] } [INFO] [stdout] = help: or consider adding `println!("cargo::rustc-check-cfg=cfg(kani)");` to the top of the `build.rs` [INFO] [stdout] = note: see for more information about checking conditional configuration [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unexpected `cfg` condition name: `kani` [INFO] [stdout] --> src/packet/number/map.rs:774:16 [INFO] [stdout] | [INFO] [stdout] 774 | #[cfg_attr(kani, kani::proof, kani::unwind(9), kani::solver(kissat))] [INFO] [stdout] | ^^^^ [INFO] [stdout] | [INFO] [stdout] = help: consider using a Cargo feature instead [INFO] [stdout] = help: or consider adding in `Cargo.toml` the `check-cfg` lint config for the lint: [INFO] [stdout] [lints.rust] [INFO] [stdout] unexpected_cfgs = { level = "warn", check-cfg = ['cfg(kani)'] } [INFO] [stdout] = help: or consider adding `println!("cargo::rustc-check-cfg=cfg(kani)");` to the top of the `build.rs` [INFO] [stdout] = note: see for more information about checking conditional configuration [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unexpected `cfg` condition name: `kani` [INFO] [stdout] --> src/packet/number/tests.rs:13:12 [INFO] [stdout] | [INFO] [stdout] 13 | #[cfg_attr(kani, kani::proof, kani::unwind(5), kani::solver(minisat))] [INFO] [stdout] | ^^^^ [INFO] [stdout] | [INFO] [stdout] = help: consider using a Cargo feature instead [INFO] [stdout] = help: or consider adding in `Cargo.toml` the `check-cfg` lint config for the lint: [INFO] [stdout] [lints.rust] [INFO] [stdout] unexpected_cfgs = { level = "warn", check-cfg = ['cfg(kani)'] } [INFO] [stdout] = help: or consider adding `println!("cargo::rustc-check-cfg=cfg(kani)");` to the top of the `build.rs` [INFO] [stdout] = note: see for more information about checking conditional configuration [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unexpected `cfg` condition name: `kani` [INFO] [stdout] --> src/packet/number/tests.rs:162:12 [INFO] [stdout] | [INFO] [stdout] 162 | #[cfg_attr(kani, kani::proof, kani::unwind(5), kani::solver(kissat))] [INFO] [stdout] | ^^^^ [INFO] [stdout] | [INFO] [stdout] = help: consider using a Cargo feature instead [INFO] [stdout] = help: or consider adding in `Cargo.toml` the `check-cfg` lint config for the lint: [INFO] [stdout] [lints.rust] [INFO] [stdout] unexpected_cfgs = { level = "warn", check-cfg = ['cfg(kani)'] } [INFO] [stdout] = help: or consider adding `println!("cargo::rustc-check-cfg=cfg(kani)");` to the top of the `build.rs` [INFO] [stdout] = note: see for more information about checking conditional configuration [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unexpected `cfg` condition name: `kani` [INFO] [stdout] --> src/packet/number/tests.rs:177:12 [INFO] [stdout] | [INFO] [stdout] 177 | #[cfg_attr(kani, kani::proof, kani::unwind(5), kani::solver(kissat))] [INFO] [stdout] | ^^^^ [INFO] [stdout] | [INFO] [stdout] = help: consider using a Cargo feature instead [INFO] [stdout] = help: or consider adding in `Cargo.toml` the `check-cfg` lint config for the lint: [INFO] [stdout] [lints.rust] [INFO] [stdout] unexpected_cfgs = { level = "warn", check-cfg = ['cfg(kani)'] } [INFO] [stdout] = help: or consider adding `println!("cargo::rustc-check-cfg=cfg(kani)");` to the top of the `build.rs` [INFO] [stdout] = note: see for more information about checking conditional configuration [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unexpected `cfg` condition name: `kani` [INFO] [stdout] --> src/packet/number/tests.rs:209:12 [INFO] [stdout] | [INFO] [stdout] 209 | #[cfg_attr(kani, kani::proof, kani::unwind(5), kani::solver(kissat))] [INFO] [stdout] | ^^^^ [INFO] [stdout] | [INFO] [stdout] = help: consider using a Cargo feature instead [INFO] [stdout] = help: or consider adding in `Cargo.toml` the `check-cfg` lint config for the lint: [INFO] [stdout] [lints.rust] [INFO] [stdout] unexpected_cfgs = { level = "warn", check-cfg = ['cfg(kani)'] } [INFO] [stdout] = help: or consider adding `println!("cargo::rustc-check-cfg=cfg(kani)");` to the top of the `build.rs` [INFO] [stdout] = note: see for more information about checking conditional configuration [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `super::*` [INFO] [stdout] --> src/packet/mod.rs:257:9 [INFO] [stdout] | [INFO] [stdout] 257 | use super::*; [INFO] [stdout] | ^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unexpected `cfg` condition name: `kani` [INFO] [stdout] --> src/path/mod.rs:100:20 [INFO] [stdout] | [INFO] [stdout] 100 | #[cfg_attr(kani, derive(kani::Arbitrary))] [INFO] [stdout] | ^^^^ [INFO] [stdout] ... [INFO] [stdout] 164 | impl_addr!(LocalAddress); [INFO] [stdout] | ------------------------ in this macro invocation [INFO] [stdout] | [INFO] [stdout] = help: consider using a Cargo feature instead [INFO] [stdout] = help: or consider adding in `Cargo.toml` the `check-cfg` lint config for the lint: [INFO] [stdout] [lints.rust] [INFO] [stdout] unexpected_cfgs = { level = "warn", check-cfg = ['cfg(kani)'] } [INFO] [stdout] = help: or consider adding `println!("cargo::rustc-check-cfg=cfg(kani)");` to the top of the `build.rs` [INFO] [stdout] = note: see for more information about checking conditional configuration [INFO] [stdout] = note: this warning originates in the macro `impl_addr` (in Nightly builds, run with -Z macro-backtrace for more info) [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unexpected `cfg` condition name: `kani` [INFO] [stdout] --> src/path/mod.rs:100:20 [INFO] [stdout] | [INFO] [stdout] 100 | #[cfg_attr(kani, derive(kani::Arbitrary))] [INFO] [stdout] | ^^^^ [INFO] [stdout] ... [INFO] [stdout] 176 | impl_addr!(RemoteAddress); [INFO] [stdout] | ------------------------- in this macro invocation [INFO] [stdout] | [INFO] [stdout] = help: consider using a Cargo feature instead [INFO] [stdout] = help: or consider adding in `Cargo.toml` the `check-cfg` lint config for the lint: [INFO] [stdout] [lints.rust] [INFO] [stdout] unexpected_cfgs = { level = "warn", check-cfg = ['cfg(kani)'] } [INFO] [stdout] = help: or consider adding `println!("cargo::rustc-check-cfg=cfg(kani)");` to the top of the `build.rs` [INFO] [stdout] = note: see for more information about checking conditional configuration [INFO] [stdout] = note: this warning originates in the macro `impl_addr` (in Nightly builds, run with -Z macro-backtrace for more info) [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unexpected `cfg` condition name: `kani` [INFO] [stdout] --> src/random.rs:78:16 [INFO] [stdout] | [INFO] [stdout] 78 | #[cfg_attr(kani, kani::proof, kani::unwind(10), kani::solver(kissat))] [INFO] [stdout] | ^^^^ [INFO] [stdout] | [INFO] [stdout] = help: consider using a Cargo feature instead [INFO] [stdout] = help: or consider adding in `Cargo.toml` the `check-cfg` lint config for the lint: [INFO] [stdout] [lints.rust] [INFO] [stdout] unexpected_cfgs = { level = "warn", check-cfg = ['cfg(kani)'] } [INFO] [stdout] = help: or consider adding `println!("cargo::rustc-check-cfg=cfg(kani)");` to the top of the `build.rs` [INFO] [stdout] = note: see for more information about checking conditional configuration [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unexpected `cfg` condition name: `kani` [INFO] [stdout] --> src/recovery/rtt_estimator.rs:791:16 [INFO] [stdout] | [INFO] [stdout] 791 | #[cfg_attr(kani, kani::proof, kani::unwind(3), kani::solver(cadical))] [INFO] [stdout] | ^^^^ [INFO] [stdout] | [INFO] [stdout] = help: consider using a Cargo feature instead [INFO] [stdout] = help: or consider adding in `Cargo.toml` the `check-cfg` lint config for the lint: [INFO] [stdout] [lints.rust] [INFO] [stdout] unexpected_cfgs = { level = "warn", check-cfg = ['cfg(kani)'] } [INFO] [stdout] = help: or consider adding `println!("cargo::rustc-check-cfg=cfg(kani)");` to the top of the `build.rs` [INFO] [stdout] = note: see for more information about checking conditional configuration [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unexpected `cfg` condition name: `kani` [INFO] [stdout] --> src/slice.rs:236:16 [INFO] [stdout] | [INFO] [stdout] 236 | #[cfg_attr(kani, kani::proof, kani::unwind(5), kani::solver(kissat))] [INFO] [stdout] | ^^^^ [INFO] [stdout] | [INFO] [stdout] = help: consider using a Cargo feature instead [INFO] [stdout] = help: or consider adding in `Cargo.toml` the `check-cfg` lint config for the lint: [INFO] [stdout] [lints.rust] [INFO] [stdout] unexpected_cfgs = { level = "warn", check-cfg = ['cfg(kani)'] } [INFO] [stdout] = help: or consider adding `println!("cargo::rustc-check-cfg=cfg(kani)");` to the top of the `build.rs` [INFO] [stdout] = note: see for more information about checking conditional configuration [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unexpected `cfg` condition name: `kani` [INFO] [stdout] --> src/slice.rs:233:32 [INFO] [stdout] | [INFO] [stdout] 233 | const LEN: usize = if cfg!(kani) { 2 } else { 32 }; [INFO] [stdout] | ^^^^ [INFO] [stdout] | [INFO] [stdout] = help: consider using a Cargo feature instead [INFO] [stdout] = help: or consider adding in `Cargo.toml` the `check-cfg` lint config for the lint: [INFO] [stdout] [lints.rust] [INFO] [stdout] unexpected_cfgs = { level = "warn", check-cfg = ['cfg(kani)'] } [INFO] [stdout] = help: or consider adding `println!("cargo::rustc-check-cfg=cfg(kani)");` to the top of the `build.rs` [INFO] [stdout] = note: see for more information about checking conditional configuration [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unexpected `cfg` condition name: `kani` [INFO] [stdout] --> src/stream/iter.rs:80:16 [INFO] [stdout] | [INFO] [stdout] 80 | #[cfg_attr(kani, kani::proof, kani::unwind(1), kani::solver(kissat))] [INFO] [stdout] | ^^^^ [INFO] [stdout] | [INFO] [stdout] = help: consider using a Cargo feature instead [INFO] [stdout] = help: or consider adding in `Cargo.toml` the `check-cfg` lint config for the lint: [INFO] [stdout] [lints.rust] [INFO] [stdout] unexpected_cfgs = { level = "warn", check-cfg = ['cfg(kani)'] } [INFO] [stdout] = help: or consider adding `println!("cargo::rustc-check-cfg=cfg(kani)");` to the top of the `build.rs` [INFO] [stdout] = note: see for more information about checking conditional configuration [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unexpected `cfg` condition name: `loom` [INFO] [stdout] --> src/sync/primitive.rs:4:11 [INFO] [stdout] | [INFO] [stdout] 4 | #[cfg(all(loom, test))] [INFO] [stdout] | ^^^^ [INFO] [stdout] | [INFO] [stdout] = help: consider using a Cargo feature instead [INFO] [stdout] = help: or consider adding in `Cargo.toml` the `check-cfg` lint config for the lint: [INFO] [stdout] [lints.rust] [INFO] [stdout] unexpected_cfgs = { level = "warn", check-cfg = ['cfg(loom)'] } [INFO] [stdout] = help: or consider adding `println!("cargo::rustc-check-cfg=cfg(loom)");` to the top of the `build.rs` [INFO] [stdout] = note: see for more information about checking conditional configuration [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unexpected `cfg` condition name: `loom` [INFO] [stdout] --> src/sync/primitive.rs:33:11 [INFO] [stdout] | [INFO] [stdout] 33 | #[cfg(all(loom, test))] [INFO] [stdout] | ^^^^ [INFO] [stdout] | [INFO] [stdout] = help: consider using a Cargo feature instead [INFO] [stdout] = help: or consider adding in `Cargo.toml` the `check-cfg` lint config for the lint: [INFO] [stdout] [lints.rust] [INFO] [stdout] unexpected_cfgs = { level = "warn", check-cfg = ['cfg(loom)'] } [INFO] [stdout] = help: or consider adding `println!("cargo::rustc-check-cfg=cfg(loom)");` to the top of the `build.rs` [INFO] [stdout] = note: see for more information about checking conditional configuration [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unexpected `cfg` condition name: `loom` [INFO] [stdout] --> src/sync/primitive.rs:42:15 [INFO] [stdout] | [INFO] [stdout] 42 | #[cfg(not(all(loom, test)))] [INFO] [stdout] | ^^^^ [INFO] [stdout] | [INFO] [stdout] = help: consider using a Cargo feature instead [INFO] [stdout] = help: or consider adding in `Cargo.toml` the `check-cfg` lint config for the lint: [INFO] [stdout] [lints.rust] [INFO] [stdout] unexpected_cfgs = { level = "warn", check-cfg = ['cfg(loom)'] } [INFO] [stdout] = help: or consider adding `println!("cargo::rustc-check-cfg=cfg(loom)");` to the top of the `build.rs` [INFO] [stdout] = note: see for more information about checking conditional configuration [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unexpected `cfg` condition name: `kani` [INFO] [stdout] --> src/sync/cursor.rs:531:15 [INFO] [stdout] | [INFO] [stdout] 531 | #[cfg(not(kani))] [INFO] [stdout] | ^^^^ [INFO] [stdout] | [INFO] [stdout] = help: consider using a Cargo feature instead [INFO] [stdout] = help: or consider adding in `Cargo.toml` the `check-cfg` lint config for the lint: [INFO] [stdout] [lints.rust] [INFO] [stdout] unexpected_cfgs = { level = "warn", check-cfg = ['cfg(kani)'] } [INFO] [stdout] = help: or consider adding `println!("cargo::rustc-check-cfg=cfg(kani)");` to the top of the `build.rs` [INFO] [stdout] = note: see for more information about checking conditional configuration [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unexpected `cfg` condition name: `kani` [INFO] [stdout] --> src/sync/cursor.rs:533:11 [INFO] [stdout] | [INFO] [stdout] 533 | #[cfg(kani)] [INFO] [stdout] | ^^^^ [INFO] [stdout] | [INFO] [stdout] = help: consider using a Cargo feature instead [INFO] [stdout] = help: or consider adding in `Cargo.toml` the `check-cfg` lint config for the lint: [INFO] [stdout] [lints.rust] [INFO] [stdout] unexpected_cfgs = { level = "warn", check-cfg = ['cfg(kani)'] } [INFO] [stdout] = help: or consider adding `println!("cargo::rustc-check-cfg=cfg(kani)");` to the top of the `build.rs` [INFO] [stdout] = note: see for more information about checking conditional configuration [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unexpected `cfg` condition name: `kani` [INFO] [stdout] --> src/sync/cursor.rs:540:16 [INFO] [stdout] | [INFO] [stdout] 540 | #[cfg_attr(kani, kani::proof, kani::unwind(5), kani::solver(kissat))] [INFO] [stdout] | ^^^^ [INFO] [stdout] | [INFO] [stdout] = help: consider using a Cargo feature instead [INFO] [stdout] = help: or consider adding in `Cargo.toml` the `check-cfg` lint config for the lint: [INFO] [stdout] [lints.rust] [INFO] [stdout] unexpected_cfgs = { level = "warn", check-cfg = ['cfg(kani)'] } [INFO] [stdout] = help: or consider adding `println!("cargo::rustc-check-cfg=cfg(kani)");` to the top of the `build.rs` [INFO] [stdout] = note: see for more information about checking conditional configuration [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unexpected `cfg` condition name: `kani` [INFO] [stdout] --> src/sync/cursor.rs:485:19 [INFO] [stdout] | [INFO] [stdout] 485 | #[cfg(not(kani))] [INFO] [stdout] | ^^^^ [INFO] [stdout] | [INFO] [stdout] = help: consider using a Cargo feature instead [INFO] [stdout] = help: or consider adding in `Cargo.toml` the `check-cfg` lint config for the lint: [INFO] [stdout] [lints.rust] [INFO] [stdout] unexpected_cfgs = { level = "warn", check-cfg = ['cfg(kani)'] } [INFO] [stdout] = help: or consider adding `println!("cargo::rustc-check-cfg=cfg(kani)");` to the top of the `build.rs` [INFO] [stdout] = note: see for more information about checking conditional configuration [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unexpected `cfg` condition name: `kani` [INFO] [stdout] --> src/sync/cursor.rs:488:15 [INFO] [stdout] | [INFO] [stdout] 488 | #[cfg(kani)] [INFO] [stdout] | ^^^^ [INFO] [stdout] | [INFO] [stdout] = help: consider using a Cargo feature instead [INFO] [stdout] = help: or consider adding in `Cargo.toml` the `check-cfg` lint config for the lint: [INFO] [stdout] [lints.rust] [INFO] [stdout] unexpected_cfgs = { level = "warn", check-cfg = ['cfg(kani)'] } [INFO] [stdout] = help: or consider adding `println!("cargo::rustc-check-cfg=cfg(kani)");` to the top of the `build.rs` [INFO] [stdout] = note: see for more information about checking conditional configuration [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unexpected `cfg` condition name: `kani` [INFO] [stdout] --> src/sync/cursor.rs:536:42 [INFO] [stdout] | [INFO] [stdout] 536 | const MAX_POWER_OF_TWO: u8 = if cfg!(kani) { 2 } else { 10 }; [INFO] [stdout] | ^^^^ [INFO] [stdout] | [INFO] [stdout] = help: consider using a Cargo feature instead [INFO] [stdout] = help: or consider adding in `Cargo.toml` the `check-cfg` lint config for the lint: [INFO] [stdout] [lints.rust] [INFO] [stdout] unexpected_cfgs = { level = "warn", check-cfg = ['cfg(kani)'] } [INFO] [stdout] = help: or consider adding `println!("cargo::rustc-check-cfg=cfg(kani)");` to the top of the `build.rs` [INFO] [stdout] = note: see for more information about checking conditional configuration [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unexpected `cfg` condition name: `kani` [INFO] [stdout] --> src/sync/spsc/tests.rs:244:11 [INFO] [stdout] | [INFO] [stdout] 244 | #[cfg(any(kani, miri))] [INFO] [stdout] | ^^^^ [INFO] [stdout] | [INFO] [stdout] = help: consider using a Cargo feature instead [INFO] [stdout] = help: or consider adding in `Cargo.toml` the `check-cfg` lint config for the lint: [INFO] [stdout] [lints.rust] [INFO] [stdout] unexpected_cfgs = { level = "warn", check-cfg = ['cfg(kani)'] } [INFO] [stdout] = help: or consider adding `println!("cargo::rustc-check-cfg=cfg(kani)");` to the top of the `build.rs` [INFO] [stdout] = note: see for more information about checking conditional configuration [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unexpected `cfg` condition name: `kani` [INFO] [stdout] --> src/sync/spsc/tests.rs:246:15 [INFO] [stdout] | [INFO] [stdout] 246 | #[cfg(not(any(kani, miri)))] [INFO] [stdout] | ^^^^ [INFO] [stdout] | [INFO] [stdout] = help: consider using a Cargo feature instead [INFO] [stdout] = help: or consider adding in `Cargo.toml` the `check-cfg` lint config for the lint: [INFO] [stdout] [lints.rust] [INFO] [stdout] unexpected_cfgs = { level = "warn", check-cfg = ['cfg(kani)'] } [INFO] [stdout] = help: or consider adding `println!("cargo::rustc-check-cfg=cfg(kani)");` to the top of the `build.rs` [INFO] [stdout] = note: see for more information about checking conditional configuration [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unexpected `cfg` condition name: `kani` [INFO] [stdout] --> src/sync/spsc/tests.rs:289:12 [INFO] [stdout] | [INFO] [stdout] 289 | #[cfg_attr(kani, kani::proof, kani::unwind(3), kani::solver(kissat))] [INFO] [stdout] | ^^^^ [INFO] [stdout] | [INFO] [stdout] = help: consider using a Cargo feature instead [INFO] [stdout] = help: or consider adding in `Cargo.toml` the `check-cfg` lint config for the lint: [INFO] [stdout] [lints.rust] [INFO] [stdout] unexpected_cfgs = { level = "warn", check-cfg = ['cfg(kani)'] } [INFO] [stdout] = help: or consider adding `println!("cargo::rustc-check-cfg=cfg(kani)");` to the top of the `build.rs` [INFO] [stdout] = note: see for more information about checking conditional configuration [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unexpected `cfg` condition name: `kani` [INFO] [stdout] --> src/sync/spsc/tests.rs:251:36 [INFO] [stdout] | [INFO] [stdout] 251 | let max_capacity = if cfg!(any(kani, miri)) { 2 } else { 64 }; [INFO] [stdout] | ^^^^ [INFO] [stdout] | [INFO] [stdout] = help: consider using a Cargo feature instead [INFO] [stdout] = help: or consider adding in `Cargo.toml` the `check-cfg` lint config for the lint: [INFO] [stdout] [lints.rust] [INFO] [stdout] unexpected_cfgs = { level = "warn", check-cfg = ['cfg(kani)'] } [INFO] [stdout] = help: or consider adding `println!("cargo::rustc-check-cfg=cfg(kani)");` to the top of the `build.rs` [INFO] [stdout] = note: see for more information about checking conditional configuration [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unexpected `cfg` condition name: `kani` [INFO] [stdout] --> src/sync/spsc/tests.rs:273:36 [INFO] [stdout] | [INFO] [stdout] 273 | let max_capacity = if cfg!(any(kani, miri)) { 2 } else { 64 }; [INFO] [stdout] | ^^^^ [INFO] [stdout] | [INFO] [stdout] = help: consider using a Cargo feature instead [INFO] [stdout] = help: or consider adding in `Cargo.toml` the `check-cfg` lint config for the lint: [INFO] [stdout] [lints.rust] [INFO] [stdout] unexpected_cfgs = { level = "warn", check-cfg = ['cfg(kani)'] } [INFO] [stdout] = help: or consider adding `println!("cargo::rustc-check-cfg=cfg(kani)");` to the top of the `build.rs` [INFO] [stdout] = note: see for more information about checking conditional configuration [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unexpected `cfg` condition name: `kani` [INFO] [stdout] --> src/sync/spsc/tests.rs:291:32 [INFO] [stdout] | [INFO] [stdout] 291 | let capacity = if cfg!(any(kani, miri)) { [INFO] [stdout] | ^^^^ [INFO] [stdout] | [INFO] [stdout] = help: consider using a Cargo feature instead [INFO] [stdout] = help: or consider adding in `Cargo.toml` the `check-cfg` lint config for the lint: [INFO] [stdout] [lints.rust] [INFO] [stdout] unexpected_cfgs = { level = "warn", check-cfg = ['cfg(kani)'] } [INFO] [stdout] = help: or consider adding `println!("cargo::rustc-check-cfg=cfg(kani)");` to the top of the `build.rs` [INFO] [stdout] = note: see for more information about checking conditional configuration [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unexpected `cfg` condition name: `loom` [INFO] [stdout] --> src/sync/spsc/tests.rs:310:33 [INFO] [stdout] | [INFO] [stdout] 310 | const CAPACITY: usize = if cfg!(loom) { 2 } else { 10 }; [INFO] [stdout] | ^^^^ [INFO] [stdout] | [INFO] [stdout] = help: consider using a Cargo feature instead [INFO] [stdout] = help: or consider adding in `Cargo.toml` the `check-cfg` lint config for the lint: [INFO] [stdout] [lints.rust] [INFO] [stdout] unexpected_cfgs = { level = "warn", check-cfg = ['cfg(loom)'] } [INFO] [stdout] = help: or consider adding `println!("cargo::rustc-check-cfg=cfg(loom)");` to the top of the `build.rs` [INFO] [stdout] = note: see for more information about checking conditional configuration [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unexpected `cfg` condition name: `loom` [INFO] [stdout] --> src/sync/spsc/tests.rs:311:36 [INFO] [stdout] | [INFO] [stdout] 311 | const BATCH_COUNT: usize = if cfg!(loom) { 2 } else { 100 }; [INFO] [stdout] | ^^^^ [INFO] [stdout] | [INFO] [stdout] = help: consider using a Cargo feature instead [INFO] [stdout] = help: or consider adding in `Cargo.toml` the `check-cfg` lint config for the lint: [INFO] [stdout] [lints.rust] [INFO] [stdout] unexpected_cfgs = { level = "warn", check-cfg = ['cfg(loom)'] } [INFO] [stdout] = help: or consider adding `println!("cargo::rustc-check-cfg=cfg(loom)");` to the top of the `build.rs` [INFO] [stdout] = note: see for more information about checking conditional configuration [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unexpected `cfg` condition name: `loom` [INFO] [stdout] --> src/sync/spsc/tests.rs:312:35 [INFO] [stdout] | [INFO] [stdout] 312 | const BATCH_SIZE: usize = if cfg!(loom) { 3 } else { 20 }; [INFO] [stdout] | ^^^^ [INFO] [stdout] | [INFO] [stdout] = help: consider using a Cargo feature instead [INFO] [stdout] = help: or consider adding in `Cargo.toml` the `check-cfg` lint config for the lint: [INFO] [stdout] [lints.rust] [INFO] [stdout] unexpected_cfgs = { level = "warn", check-cfg = ['cfg(loom)'] } [INFO] [stdout] = help: or consider adding `println!("cargo::rustc-check-cfg=cfg(loom)");` to the top of the `build.rs` [INFO] [stdout] = note: see for more information about checking conditional configuration [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unexpected `cfg` condition name: `loom` [INFO] [stdout] --> src/sync/spsc/tests.rs:318:45 [INFO] [stdout] | [INFO] [stdout] 318 | const ASYNC_RX_BATCH_COUNT: usize = if cfg!(loom) { 1 } else { BATCH_COUNT }; [INFO] [stdout] | ^^^^ [INFO] [stdout] | [INFO] [stdout] = help: consider using a Cargo feature instead [INFO] [stdout] = help: or consider adding in `Cargo.toml` the `check-cfg` lint config for the lint: [INFO] [stdout] [lints.rust] [INFO] [stdout] unexpected_cfgs = { level = "warn", check-cfg = ['cfg(loom)'] } [INFO] [stdout] = help: or consider adding `println!("cargo::rustc-check-cfg=cfg(loom)");` to the top of the `build.rs` [INFO] [stdout] = note: see for more information about checking conditional configuration [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unexpected `cfg` condition name: `loom` [INFO] [stdout] --> src/sync/spsc/tests.rs:319:44 [INFO] [stdout] | [INFO] [stdout] 319 | const ASYNC_RX_BATCH_SIZE: usize = if cfg!(loom) { 1 } else { BATCH_SIZE }; [INFO] [stdout] | ^^^^ [INFO] [stdout] | [INFO] [stdout] = help: consider using a Cargo feature instead [INFO] [stdout] = help: or consider adding in `Cargo.toml` the `check-cfg` lint config for the lint: [INFO] [stdout] [lints.rust] [INFO] [stdout] unexpected_cfgs = { level = "warn", check-cfg = ['cfg(loom)'] } [INFO] [stdout] = help: or consider adding `println!("cargo::rustc-check-cfg=cfg(loom)");` to the top of the `build.rs` [INFO] [stdout] = note: see for more information about checking conditional configuration [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unexpected `cfg` condition name: `loom` [INFO] [stdout] --> src/sync/spsc/tests.rs:371:21 [INFO] [stdout] | [INFO] [stdout] 371 | if cfg!(not(loom)) { [INFO] [stdout] | ^^^^ [INFO] [stdout] | [INFO] [stdout] = help: consider using a Cargo feature instead [INFO] [stdout] = help: or consider adding in `Cargo.toml` the `check-cfg` lint config for the lint: [INFO] [stdout] [lints.rust] [INFO] [stdout] unexpected_cfgs = { level = "warn", check-cfg = ['cfg(loom)'] } [INFO] [stdout] = help: or consider adding `println!("cargo::rustc-check-cfg=cfg(loom)");` to the top of the `build.rs` [INFO] [stdout] = note: see for more information about checking conditional configuration [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unexpected `cfg` condition name: `loom` [INFO] [stdout] --> src/sync/worker.rs:180:25 [INFO] [stdout] | [INFO] [stdout] 180 | if cfg!(not(loom)) { [INFO] [stdout] | ^^^^ [INFO] [stdout] | [INFO] [stdout] = help: consider using a Cargo feature instead [INFO] [stdout] = help: or consider adding in `Cargo.toml` the `check-cfg` lint config for the lint: [INFO] [stdout] [lints.rust] [INFO] [stdout] unexpected_cfgs = { level = "warn", check-cfg = ['cfg(loom)'] } [INFO] [stdout] = help: or consider adding `println!("cargo::rustc-check-cfg=cfg(loom)");` to the top of the `build.rs` [INFO] [stdout] = note: see for more information about checking conditional configuration [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unexpected `cfg` condition name: `loom` [INFO] [stdout] --> src/sync/worker.rs:189:39 [INFO] [stdout] | [INFO] [stdout] 189 | const ITERATIONS: usize = if cfg!(loom) { 1 } else { 100 }; [INFO] [stdout] | ^^^^ [INFO] [stdout] | [INFO] [stdout] = help: consider using a Cargo feature instead [INFO] [stdout] = help: or consider adding in `Cargo.toml` the `check-cfg` lint config for the lint: [INFO] [stdout] [lints.rust] [INFO] [stdout] unexpected_cfgs = { level = "warn", check-cfg = ['cfg(loom)'] } [INFO] [stdout] = help: or consider adding `println!("cargo::rustc-check-cfg=cfg(loom)");` to the top of the `build.rs` [INFO] [stdout] = note: see for more information about checking conditional configuration [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unexpected `cfg` condition name: `loom` [INFO] [stdout] --> src/sync/worker.rs:190:44 [INFO] [stdout] | [INFO] [stdout] 190 | const SEND_BATCH_SIZE: usize = if cfg!(loom) { 2 } else { 8 }; [INFO] [stdout] | ^^^^ [INFO] [stdout] | [INFO] [stdout] = help: consider using a Cargo feature instead [INFO] [stdout] = help: or consider adding in `Cargo.toml` the `check-cfg` lint config for the lint: [INFO] [stdout] [lints.rust] [INFO] [stdout] unexpected_cfgs = { level = "warn", check-cfg = ['cfg(loom)'] } [INFO] [stdout] = help: or consider adding `println!("cargo::rustc-check-cfg=cfg(loom)");` to the top of the `build.rs` [INFO] [stdout] = note: see for more information about checking conditional configuration [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unexpected `cfg` condition name: `loom` [INFO] [stdout] --> src/sync/worker.rs:191:44 [INFO] [stdout] | [INFO] [stdout] 191 | const RECV_BATCH_SIZE: usize = if cfg!(loom) { 2 } else { 8 }; [INFO] [stdout] | ^^^^ [INFO] [stdout] | [INFO] [stdout] = help: consider using a Cargo feature instead [INFO] [stdout] = help: or consider adding in `Cargo.toml` the `check-cfg` lint config for the lint: [INFO] [stdout] [lints.rust] [INFO] [stdout] unexpected_cfgs = { level = "warn", check-cfg = ['cfg(loom)'] } [INFO] [stdout] = help: or consider adding `println!("cargo::rustc-check-cfg=cfg(loom)");` to the top of the `build.rs` [INFO] [stdout] = note: see for more information about checking conditional configuration [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unexpected `cfg` condition name: `kani` [INFO] [stdout] --> src/varint/tests.rs:21:12 [INFO] [stdout] | [INFO] [stdout] 21 | #[cfg_attr(kani, kani::proof, kani::unwind(10), kani::solver(cadical))] [INFO] [stdout] | ^^^^ [INFO] [stdout] | [INFO] [stdout] = help: consider using a Cargo feature instead [INFO] [stdout] = help: or consider adding in `Cargo.toml` the `check-cfg` lint config for the lint: [INFO] [stdout] [lints.rust] [INFO] [stdout] unexpected_cfgs = { level = "warn", check-cfg = ['cfg(kani)'] } [INFO] [stdout] = help: or consider adding `println!("cargo::rustc-check-cfg=cfg(kani)");` to the top of the `build.rs` [INFO] [stdout] = note: see for more information about checking conditional configuration [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unexpected `cfg` condition name: `kani` [INFO] [stdout] --> src/varint/tests.rs:97:12 [INFO] [stdout] | [INFO] [stdout] 97 | #[cfg_attr(kani, kani::proof, kani::unwind(3), kani::solver(cadical))] [INFO] [stdout] | ^^^^ [INFO] [stdout] | [INFO] [stdout] = help: consider using a Cargo feature instead [INFO] [stdout] = help: or consider adding in `Cargo.toml` the `check-cfg` lint config for the lint: [INFO] [stdout] [lints.rust] [INFO] [stdout] unexpected_cfgs = { level = "warn", check-cfg = ['cfg(kani)'] } [INFO] [stdout] = help: or consider adding `println!("cargo::rustc-check-cfg=cfg(kani)");` to the top of the `build.rs` [INFO] [stdout] = note: see for more information about checking conditional configuration [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unexpected `cfg` condition name: `kani` [INFO] [stdout] --> src/varint/tests.rs:113:12 [INFO] [stdout] | [INFO] [stdout] 113 | #[cfg_attr(kani, kani::proof, kani::unwind(4), kani::solver(cadical))] [INFO] [stdout] | ^^^^ [INFO] [stdout] | [INFO] [stdout] = help: consider using a Cargo feature instead [INFO] [stdout] = help: or consider adding in `Cargo.toml` the `check-cfg` lint config for the lint: [INFO] [stdout] [lints.rust] [INFO] [stdout] unexpected_cfgs = { level = "warn", check-cfg = ['cfg(kani)'] } [INFO] [stdout] = help: or consider adding `println!("cargo::rustc-check-cfg=cfg(kani)");` to the top of the `build.rs` [INFO] [stdout] = note: see for more information about checking conditional configuration [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unexpected `cfg` condition name: `kani` [INFO] [stdout] --> src/varint/tests.rs:136:12 [INFO] [stdout] | [INFO] [stdout] 136 | #[cfg_attr(kani, kani::proof, kani::unwind(10), kani::solver(cadical))] [INFO] [stdout] | ^^^^ [INFO] [stdout] | [INFO] [stdout] = help: consider using a Cargo feature instead [INFO] [stdout] = help: or consider adding in `Cargo.toml` the `check-cfg` lint config for the lint: [INFO] [stdout] [lints.rust] [INFO] [stdout] unexpected_cfgs = { level = "warn", check-cfg = ['cfg(kani)'] } [INFO] [stdout] = help: or consider adding `println!("cargo::rustc-check-cfg=cfg(kani)");` to the top of the `build.rs` [INFO] [stdout] = note: see for more information about checking conditional configuration [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unexpected `cfg` condition name: `kani` [INFO] [stdout] --> src/varint/tests.rs:159:12 [INFO] [stdout] | [INFO] [stdout] 159 | #[cfg_attr(kani, kani::proof, kani::unwind(10), kani::solver(cadical))] [INFO] [stdout] | ^^^^ [INFO] [stdout] | [INFO] [stdout] = help: consider using a Cargo feature instead [INFO] [stdout] = help: or consider adding in `Cargo.toml` the `check-cfg` lint config for the lint: [INFO] [stdout] [lints.rust] [INFO] [stdout] unexpected_cfgs = { level = "warn", check-cfg = ['cfg(kani)'] } [INFO] [stdout] = help: or consider adding `println!("cargo::rustc-check-cfg=cfg(kani)");` to the top of the `build.rs` [INFO] [stdout] = note: see for more information about checking conditional configuration [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unexpected `cfg` condition name: `kani` [INFO] [stdout] --> src/varint/tests.rs:229:12 [INFO] [stdout] | [INFO] [stdout] 229 | #[cfg_attr(kani, kani::proof, kani::unwind(5), kani::solver(kissat))] [INFO] [stdout] | ^^^^ [INFO] [stdout] | [INFO] [stdout] = help: consider using a Cargo feature instead [INFO] [stdout] = help: or consider adding in `Cargo.toml` the `check-cfg` lint config for the lint: [INFO] [stdout] [lints.rust] [INFO] [stdout] unexpected_cfgs = { level = "warn", check-cfg = ['cfg(kani)'] } [INFO] [stdout] = help: or consider adding `println!("cargo::rustc-check-cfg=cfg(kani)");` to the top of the `build.rs` [INFO] [stdout] = note: see for more information about checking conditional configuration [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unexpected `cfg` condition name: `kani` [INFO] [stdout] --> src/varint/tests.rs:260:12 [INFO] [stdout] | [INFO] [stdout] 260 | #[cfg_attr(kani, kani::proof, kani::unwind(5), kani::solver(kissat))] [INFO] [stdout] | ^^^^ [INFO] [stdout] | [INFO] [stdout] = help: consider using a Cargo feature instead [INFO] [stdout] = help: or consider adding in `Cargo.toml` the `check-cfg` lint config for the lint: [INFO] [stdout] [lints.rust] [INFO] [stdout] unexpected_cfgs = { level = "warn", check-cfg = ['cfg(kani)'] } [INFO] [stdout] = help: or consider adding `println!("cargo::rustc-check-cfg=cfg(kani)");` to the top of the `build.rs` [INFO] [stdout] = note: see for more information about checking conditional configuration [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unexpected `cfg` condition name: `kani` [INFO] [stdout] --> src/varint/tests.rs:285:27 [INFO] [stdout] | [INFO] [stdout] 285 | #[cfg(any(not(kani), kani_slow))] [INFO] [stdout] | ^^^^ [INFO] [stdout] | [INFO] [stdout] = help: consider using a Cargo feature instead [INFO] [stdout] = help: or consider adding in `Cargo.toml` the `check-cfg` lint config for the lint: [INFO] [stdout] [lints.rust] [INFO] [stdout] unexpected_cfgs = { level = "warn", check-cfg = ['cfg(kani)'] } [INFO] [stdout] = help: or consider adding `println!("cargo::rustc-check-cfg=cfg(kani)");` to the top of the `build.rs` [INFO] [stdout] = note: see for more information about checking conditional configuration [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unexpected `cfg` condition name: `kani_slow` [INFO] [stdout] --> src/varint/tests.rs:285:34 [INFO] [stdout] | [INFO] [stdout] 285 | #[cfg(any(not(kani), kani_slow))] [INFO] [stdout] | ^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = help: consider using a Cargo feature instead [INFO] [stdout] = help: or consider adding in `Cargo.toml` the `check-cfg` lint config for the lint: [INFO] [stdout] [lints.rust] [INFO] [stdout] unexpected_cfgs = { level = "warn", check-cfg = ['cfg(kani_slow)'] } [INFO] [stdout] = help: or consider adding `println!("cargo::rustc-check-cfg=cfg(kani_slow)");` to the top of the `build.rs` [INFO] [stdout] = note: see for more information about checking conditional configuration [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unexpected `cfg` condition name: `kani` [INFO] [stdout] --> src/varint/tests.rs:287:27 [INFO] [stdout] | [INFO] [stdout] 287 | #[cfg(any(not(kani), kani_slow))] [INFO] [stdout] | ^^^^ [INFO] [stdout] | [INFO] [stdout] = help: consider using a Cargo feature instead [INFO] [stdout] = help: or consider adding in `Cargo.toml` the `check-cfg` lint config for the lint: [INFO] [stdout] [lints.rust] [INFO] [stdout] unexpected_cfgs = { level = "warn", check-cfg = ['cfg(kani)'] } [INFO] [stdout] = help: or consider adding `println!("cargo::rustc-check-cfg=cfg(kani)");` to the top of the `build.rs` [INFO] [stdout] = note: see for more information about checking conditional configuration [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unexpected `cfg` condition name: `kani_slow` [INFO] [stdout] --> src/varint/tests.rs:287:34 [INFO] [stdout] | [INFO] [stdout] 287 | #[cfg(any(not(kani), kani_slow))] [INFO] [stdout] | ^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = help: consider using a Cargo feature instead [INFO] [stdout] = help: or consider adding in `Cargo.toml` the `check-cfg` lint config for the lint: [INFO] [stdout] [lints.rust] [INFO] [stdout] unexpected_cfgs = { level = "warn", check-cfg = ['cfg(kani_slow)'] } [INFO] [stdout] = help: or consider adding `println!("cargo::rustc-check-cfg=cfg(kani_slow)");` to the top of the `build.rs` [INFO] [stdout] = note: see for more information about checking conditional configuration [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unexpected `cfg` condition name: `kani` [INFO] [stdout] --> src/varint/tests.rs:302:27 [INFO] [stdout] | [INFO] [stdout] 302 | #[cfg(any(not(kani), kani_slow))] [INFO] [stdout] | ^^^^ [INFO] [stdout] | [INFO] [stdout] = help: consider using a Cargo feature instead [INFO] [stdout] = help: or consider adding in `Cargo.toml` the `check-cfg` lint config for the lint: [INFO] [stdout] [lints.rust] [INFO] [stdout] unexpected_cfgs = { level = "warn", check-cfg = ['cfg(kani)'] } [INFO] [stdout] = help: or consider adding `println!("cargo::rustc-check-cfg=cfg(kani)");` to the top of the `build.rs` [INFO] [stdout] = note: see for more information about checking conditional configuration [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unexpected `cfg` condition name: `kani_slow` [INFO] [stdout] --> src/varint/tests.rs:302:34 [INFO] [stdout] | [INFO] [stdout] 302 | #[cfg(any(not(kani), kani_slow))] [INFO] [stdout] | ^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = help: consider using a Cargo feature instead [INFO] [stdout] = help: or consider adding in `Cargo.toml` the `check-cfg` lint config for the lint: [INFO] [stdout] [lints.rust] [INFO] [stdout] unexpected_cfgs = { level = "warn", check-cfg = ['cfg(kani_slow)'] } [INFO] [stdout] = help: or consider adding `println!("cargo::rustc-check-cfg=cfg(kani_slow)");` to the top of the `build.rs` [INFO] [stdout] = note: see for more information about checking conditional configuration [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unexpected `cfg` condition name: `kani` [INFO] [stdout] --> src/varint/tests.rs:304:27 [INFO] [stdout] | [INFO] [stdout] 304 | #[cfg(any(not(kani), kani_slow))] [INFO] [stdout] | ^^^^ [INFO] [stdout] | [INFO] [stdout] = help: consider using a Cargo feature instead [INFO] [stdout] = help: or consider adding in `Cargo.toml` the `check-cfg` lint config for the lint: [INFO] [stdout] [lints.rust] [INFO] [stdout] unexpected_cfgs = { level = "warn", check-cfg = ['cfg(kani)'] } [INFO] [stdout] = help: or consider adding `println!("cargo::rustc-check-cfg=cfg(kani)");` to the top of the `build.rs` [INFO] [stdout] = note: see for more information about checking conditional configuration [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unexpected `cfg` condition name: `kani_slow` [INFO] [stdout] --> src/varint/tests.rs:304:34 [INFO] [stdout] | [INFO] [stdout] 304 | #[cfg(any(not(kani), kani_slow))] [INFO] [stdout] | ^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = help: consider using a Cargo feature instead [INFO] [stdout] = help: or consider adding in `Cargo.toml` the `check-cfg` lint config for the lint: [INFO] [stdout] [lints.rust] [INFO] [stdout] unexpected_cfgs = { level = "warn", check-cfg = ['cfg(kani_slow)'] } [INFO] [stdout] = help: or consider adding `println!("cargo::rustc-check-cfg=cfg(kani_slow)");` to the top of the `build.rs` [INFO] [stdout] = note: see for more information about checking conditional configuration [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unexpected `cfg` condition name: `kani` [INFO] [stdout] --> src/xdp/decoder.rs:226:16 [INFO] [stdout] | [INFO] [stdout] 226 | #[cfg_attr(kani, kani::proof, kani::unwind(258), kani::solver(cadical))] [INFO] [stdout] | ^^^^ [INFO] [stdout] | [INFO] [stdout] = help: consider using a Cargo feature instead [INFO] [stdout] = help: or consider adding in `Cargo.toml` the `check-cfg` lint config for the lint: [INFO] [stdout] [lints.rust] [INFO] [stdout] unexpected_cfgs = { level = "warn", check-cfg = ['cfg(kani)'] } [INFO] [stdout] = help: or consider adding `println!("cargo::rustc-check-cfg=cfg(kani)");` to the top of the `build.rs` [INFO] [stdout] = note: see for more information about checking conditional configuration [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unexpected `cfg` condition name: `loom` [INFO] [stdout] --> src/testing.rs:28:21 [INFO] [stdout] | [INFO] [stdout] 28 | #[cfg(all(test, not(loom)))] [INFO] [stdout] | ^^^^ [INFO] [stdout] | [INFO] [stdout] = help: consider using a Cargo feature instead [INFO] [stdout] = help: or consider adding in `Cargo.toml` the `check-cfg` lint config for the lint: [INFO] [stdout] [lints.rust] [INFO] [stdout] unexpected_cfgs = { level = "warn", check-cfg = ['cfg(loom)'] } [INFO] [stdout] = help: or consider adding `println!("cargo::rustc-check-cfg=cfg(loom)");` to the top of the `build.rs` [INFO] [stdout] = note: see for more information about checking conditional configuration [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unexpected `cfg` condition name: `loom` [INFO] [stdout] --> src/testing.rs:41:17 [INFO] [stdout] | [INFO] [stdout] 41 | #[cfg(all(test, loom))] [INFO] [stdout] | ^^^^ [INFO] [stdout] | [INFO] [stdout] = help: consider using a Cargo feature instead [INFO] [stdout] = help: or consider adding in `Cargo.toml` the `check-cfg` lint config for the lint: [INFO] [stdout] [lints.rust] [INFO] [stdout] unexpected_cfgs = { level = "warn", check-cfg = ['cfg(loom)'] } [INFO] [stdout] = help: or consider adding `println!("cargo::rustc-check-cfg=cfg(loom)");` to the top of the `build.rs` [INFO] [stdout] = note: see for more information about checking conditional configuration [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0282]: type annotations needed [INFO] [stdout] --> src/frame/tests.rs:18:19 [INFO] [stdout] | [INFO] [stdout] 18 | frame.encode(&mut estimator); [INFO] [stdout] | ^^^^^^ cannot infer type [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0277]: the trait bound `s2n_codec::zerocopy::U16: bolero::TypeGenerator` is not satisfied [INFO] [stdout] --> src/inet/macros.rs:16:61 [INFO] [stdout] | [INFO] [stdout] 16 | #[cfg_attr(any(test, feature = "generator"), derive(bolero_generator::TypeGenerator))] [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ the trait `bolero::TypeGenerator` is not implemented for `s2n_codec::zerocopy::U16` [INFO] [stdout] | [INFO] [stdout] ::: src/inet/ipv4.rs:240:1 [INFO] [stdout] | [INFO] [stdout] 240 | / define_inet_type!( [INFO] [stdout] 241 | | pub struct SocketAddressV4 { [INFO] [stdout] 242 | | ip: IpV4Address, [INFO] [stdout] 243 | | port: U16, [INFO] [stdout] 244 | | } [INFO] [stdout] 245 | | ); [INFO] [stdout] | |_- in this macro invocation [INFO] [stdout] | [INFO] [stdout] = help: the following other types implement trait `bolero::TypeGenerator`: [INFO] [stdout] () [INFO] [stdout] (A, B) [INFO] [stdout] (A, B, C) [INFO] [stdout] (A, B, C, D) [INFO] [stdout] (A, B, C, D, E) [INFO] [stdout] (A, B, C, D, E, F) [INFO] [stdout] (A, B, C, D, E, F, G) [INFO] [stdout] (A, B, C, D, E, F, G, H) [INFO] [stdout] and 149 others [INFO] [stdout] = note: required for `TypeValueGenerator` to implement `bolero::ValueGenerator` [INFO] [stdout] = note: this error originates in the derive macro `bolero_generator::TypeGenerator` which comes from the expansion of the macro `define_inet_type` (in Nightly builds, run with -Z macro-backtrace for more info) [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0308]: mismatched types [INFO] [stdout] --> src/inet/ipv4.rs:243:9 [INFO] [stdout] | [INFO] [stdout] 243 | port: U16, [INFO] [stdout] | ^^^^ types differ [INFO] [stdout] | [INFO] [stdout] ::: src/inet/macros.rs:16:61 [INFO] [stdout] | [INFO] [stdout] 16 | #[cfg_attr(any(test, feature = "generator"), derive(bolero_generator::TypeGenerator))] [INFO] [stdout] | ------------------------------- arguments to this function are incorrect [INFO] [stdout] | [INFO] [stdout] = note: expected mutable reference `&mut as bolero::ValueGenerator>::Output` [INFO] [stdout] found mutable reference `&mut s2n_codec::zerocopy::U16` [INFO] [stdout] note: method defined here [INFO] [stdout] --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/bolero-generator-0.13.2/src/lib.rs:107:8 [INFO] [stdout] | [INFO] [stdout] 107 | fn mutate(&self, driver: &mut D, value: &mut Self::Output) -> Option<()> { [INFO] [stdout] | ^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0277]: the trait bound `s2n_codec::zerocopy::U16: bolero::TypeGenerator` is not satisfied [INFO] [stdout] --> src/inet/ipv4.rs:243:9 [INFO] [stdout] | [INFO] [stdout] 243 | port: U16, [INFO] [stdout] | ^^^^ the trait `bolero::TypeGenerator` is not implemented for `s2n_codec::zerocopy::U16` [INFO] [stdout] | [INFO] [stdout] = help: the following other types implement trait `bolero::TypeGenerator`: [INFO] [stdout] () [INFO] [stdout] (A, B) [INFO] [stdout] (A, B, C) [INFO] [stdout] (A, B, C, D) [INFO] [stdout] (A, B, C, D, E) [INFO] [stdout] (A, B, C, D, E, F) [INFO] [stdout] (A, B, C, D, E, F, G) [INFO] [stdout] (A, B, C, D, E, F, G, H) [INFO] [stdout] and 149 others [INFO] [stdout] = note: required for `TypeValueGenerator` to implement `bolero::ValueGenerator` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0277]: the trait bound `s2n_codec::zerocopy::U16: bolero::TypeGenerator` is not satisfied [INFO] [stdout] --> src/inet/macros.rs:16:61 [INFO] [stdout] | [INFO] [stdout] 16 | #[cfg_attr(any(test, feature = "generator"), derive(bolero_generator::TypeGenerator))] [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ the trait `bolero::TypeGenerator` is not implemented for `s2n_codec::zerocopy::U16` [INFO] [stdout] | [INFO] [stdout] ::: src/inet/ipv4.rs:339:1 [INFO] [stdout] | [INFO] [stdout] 339 | / define_inet_type!( [INFO] [stdout] 340 | | pub struct Header { [INFO] [stdout] 341 | | vihl: Vihl, [INFO] [stdout] 342 | | tos: Tos, [INFO] [stdout] ... | [INFO] [stdout] 352 | | ); [INFO] [stdout] | |_- in this macro invocation [INFO] [stdout] | [INFO] [stdout] = help: the following other types implement trait `bolero::TypeGenerator`: [INFO] [stdout] () [INFO] [stdout] (A, B) [INFO] [stdout] (A, B, C) [INFO] [stdout] (A, B, C, D) [INFO] [stdout] (A, B, C, D, E) [INFO] [stdout] (A, B, C, D, E, F) [INFO] [stdout] (A, B, C, D, E, F, G) [INFO] [stdout] (A, B, C, D, E, F, G, H) [INFO] [stdout] and 149 others [INFO] [stdout] = note: required for `TypeValueGenerator` to implement `bolero::ValueGenerator` [INFO] [stdout] = note: this error originates in the derive macro `bolero_generator::TypeGenerator` which comes from the expansion of the macro `define_inet_type` (in Nightly builds, run with -Z macro-backtrace for more info) [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0308]: mismatched types [INFO] [stdout] --> src/inet/ipv4.rs:343:9 [INFO] [stdout] | [INFO] [stdout] 343 | total_len: U16, [INFO] [stdout] | ^^^^^^^^^ types differ [INFO] [stdout] | [INFO] [stdout] ::: src/inet/macros.rs:16:61 [INFO] [stdout] | [INFO] [stdout] 16 | #[cfg_attr(any(test, feature = "generator"), derive(bolero_generator::TypeGenerator))] [INFO] [stdout] | ------------------------------- arguments to this function are incorrect [INFO] [stdout] | [INFO] [stdout] = note: expected mutable reference `&mut as bolero::ValueGenerator>::Output` [INFO] [stdout] found mutable reference `&mut s2n_codec::zerocopy::U16` [INFO] [stdout] note: method defined here [INFO] [stdout] --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/bolero-generator-0.13.2/src/lib.rs:107:8 [INFO] [stdout] | [INFO] [stdout] 107 | fn mutate(&self, driver: &mut D, value: &mut Self::Output) -> Option<()> { [INFO] [stdout] | ^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0308]: mismatched types [INFO] [stdout] --> src/inet/ipv4.rs:344:9 [INFO] [stdout] | [INFO] [stdout] 344 | id: U16, [INFO] [stdout] | ^^ types differ [INFO] [stdout] | [INFO] [stdout] ::: src/inet/macros.rs:16:61 [INFO] [stdout] | [INFO] [stdout] 16 | #[cfg_attr(any(test, feature = "generator"), derive(bolero_generator::TypeGenerator))] [INFO] [stdout] | ------------------------------- arguments to this function are incorrect [INFO] [stdout] | [INFO] [stdout] = note: expected mutable reference `&mut as bolero::ValueGenerator>::Output` [INFO] [stdout] found mutable reference `&mut s2n_codec::zerocopy::U16` [INFO] [stdout] note: method defined here [INFO] [stdout] --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/bolero-generator-0.13.2/src/lib.rs:107:8 [INFO] [stdout] | [INFO] [stdout] 107 | fn mutate(&self, driver: &mut D, value: &mut Self::Output) -> Option<()> { [INFO] [stdout] | ^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0308]: mismatched types [INFO] [stdout] --> src/inet/ipv4.rs:348:9 [INFO] [stdout] | [INFO] [stdout] 348 | checksum: U16, [INFO] [stdout] | ^^^^^^^^ types differ [INFO] [stdout] | [INFO] [stdout] ::: src/inet/macros.rs:16:61 [INFO] [stdout] | [INFO] [stdout] 16 | #[cfg_attr(any(test, feature = "generator"), derive(bolero_generator::TypeGenerator))] [INFO] [stdout] | ------------------------------- arguments to this function are incorrect [INFO] [stdout] | [INFO] [stdout] = note: expected mutable reference `&mut as bolero::ValueGenerator>::Output` [INFO] [stdout] found mutable reference `&mut s2n_codec::zerocopy::U16` [INFO] [stdout] note: method defined here [INFO] [stdout] --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/bolero-generator-0.13.2/src/lib.rs:107:8 [INFO] [stdout] | [INFO] [stdout] 107 | fn mutate(&self, driver: &mut D, value: &mut Self::Output) -> Option<()> { [INFO] [stdout] | ^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0277]: the trait bound `s2n_codec::zerocopy::U16: bolero::TypeGenerator` is not satisfied [INFO] [stdout] --> src/inet/ipv4.rs:343:9 [INFO] [stdout] | [INFO] [stdout] 343 | total_len: U16, [INFO] [stdout] | ^^^^^^^^^ the trait `bolero::TypeGenerator` is not implemented for `s2n_codec::zerocopy::U16` [INFO] [stdout] | [INFO] [stdout] = help: the following other types implement trait `bolero::TypeGenerator`: [INFO] [stdout] () [INFO] [stdout] (A, B) [INFO] [stdout] (A, B, C) [INFO] [stdout] (A, B, C, D) [INFO] [stdout] (A, B, C, D, E) [INFO] [stdout] (A, B, C, D, E, F) [INFO] [stdout] (A, B, C, D, E, F, G) [INFO] [stdout] (A, B, C, D, E, F, G, H) [INFO] [stdout] and 149 others [INFO] [stdout] = note: required for `TypeValueGenerator` to implement `bolero::ValueGenerator` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0277]: the trait bound `s2n_codec::zerocopy::U16: bolero::TypeGenerator` is not satisfied [INFO] [stdout] --> src/inet/ipv4.rs:344:9 [INFO] [stdout] | [INFO] [stdout] 344 | id: U16, [INFO] [stdout] | ^^ the trait `bolero::TypeGenerator` is not implemented for `s2n_codec::zerocopy::U16` [INFO] [stdout] | [INFO] [stdout] = help: the following other types implement trait `bolero::TypeGenerator`: [INFO] [stdout] () [INFO] [stdout] (A, B) [INFO] [stdout] (A, B, C) [INFO] [stdout] (A, B, C, D) [INFO] [stdout] (A, B, C, D, E) [INFO] [stdout] (A, B, C, D, E, F) [INFO] [stdout] (A, B, C, D, E, F, G) [INFO] [stdout] (A, B, C, D, E, F, G, H) [INFO] [stdout] and 149 others [INFO] [stdout] = note: required for `TypeValueGenerator` to implement `bolero::ValueGenerator` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0277]: the trait bound `s2n_codec::zerocopy::U16: bolero::TypeGenerator` is not satisfied [INFO] [stdout] --> src/inet/ipv4.rs:348:9 [INFO] [stdout] | [INFO] [stdout] 348 | checksum: U16, [INFO] [stdout] | ^^^^^^^^ the trait `bolero::TypeGenerator` is not implemented for `s2n_codec::zerocopy::U16` [INFO] [stdout] | [INFO] [stdout] = help: the following other types implement trait `bolero::TypeGenerator`: [INFO] [stdout] () [INFO] [stdout] (A, B) [INFO] [stdout] (A, B, C) [INFO] [stdout] (A, B, C, D) [INFO] [stdout] (A, B, C, D, E) [INFO] [stdout] (A, B, C, D, E, F) [INFO] [stdout] (A, B, C, D, E, F, G) [INFO] [stdout] (A, B, C, D, E, F, G, H) [INFO] [stdout] and 149 others [INFO] [stdout] = note: required for `TypeValueGenerator` to implement `bolero::ValueGenerator` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0277]: the trait bound `s2n_codec::zerocopy::U16: bolero::TypeGenerator` is not satisfied [INFO] [stdout] --> src/inet/macros.rs:16:61 [INFO] [stdout] | [INFO] [stdout] 16 | #[cfg_attr(any(test, feature = "generator"), derive(bolero_generator::TypeGenerator))] [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ the trait `bolero::TypeGenerator` is not implemented for `s2n_codec::zerocopy::U16` [INFO] [stdout] | [INFO] [stdout] ::: src/inet/ipv4.rs:596:1 [INFO] [stdout] | [INFO] [stdout] 596 | / define_inet_type!( [INFO] [stdout] 597 | | pub struct FlagFragment { [INFO] [stdout] 598 | | value: U16, [INFO] [stdout] 599 | | } [INFO] [stdout] 600 | | ); [INFO] [stdout] | |_- in this macro invocation [INFO] [stdout] | [INFO] [stdout] = help: the following other types implement trait `bolero::TypeGenerator`: [INFO] [stdout] () [INFO] [stdout] (A, B) [INFO] [stdout] (A, B, C) [INFO] [stdout] (A, B, C, D) [INFO] [stdout] (A, B, C, D, E) [INFO] [stdout] (A, B, C, D, E, F) [INFO] [stdout] (A, B, C, D, E, F, G) [INFO] [stdout] (A, B, C, D, E, F, G, H) [INFO] [stdout] and 149 others [INFO] [stdout] = note: required for `TypeValueGenerator` to implement `bolero::ValueGenerator` [INFO] [stdout] = note: this error originates in the derive macro `bolero_generator::TypeGenerator` which comes from the expansion of the macro `define_inet_type` (in Nightly builds, run with -Z macro-backtrace for more info) [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0308]: mismatched types [INFO] [stdout] --> src/inet/ipv4.rs:598:9 [INFO] [stdout] | [INFO] [stdout] 598 | value: U16, [INFO] [stdout] | ^^^^^ types differ [INFO] [stdout] | [INFO] [stdout] ::: src/inet/macros.rs:16:61 [INFO] [stdout] | [INFO] [stdout] 16 | #[cfg_attr(any(test, feature = "generator"), derive(bolero_generator::TypeGenerator))] [INFO] [stdout] | ------------------------------- arguments to this function are incorrect [INFO] [stdout] | [INFO] [stdout] = note: expected mutable reference `&mut as bolero::ValueGenerator>::Output` [INFO] [stdout] found mutable reference `&mut s2n_codec::zerocopy::U16` [INFO] [stdout] note: method defined here [INFO] [stdout] --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/bolero-generator-0.13.2/src/lib.rs:107:8 [INFO] [stdout] | [INFO] [stdout] 107 | fn mutate(&self, driver: &mut D, value: &mut Self::Output) -> Option<()> { [INFO] [stdout] | ^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0277]: the trait bound `s2n_codec::zerocopy::U16: bolero::TypeGenerator` is not satisfied [INFO] [stdout] --> src/inet/ipv4.rs:598:9 [INFO] [stdout] | [INFO] [stdout] 598 | value: U16, [INFO] [stdout] | ^^^^^ the trait `bolero::TypeGenerator` is not implemented for `s2n_codec::zerocopy::U16` [INFO] [stdout] | [INFO] [stdout] = help: the following other types implement trait `bolero::TypeGenerator`: [INFO] [stdout] () [INFO] [stdout] (A, B) [INFO] [stdout] (A, B, C) [INFO] [stdout] (A, B, C, D) [INFO] [stdout] (A, B, C, D, E) [INFO] [stdout] (A, B, C, D, E, F) [INFO] [stdout] (A, B, C, D, E, F, G) [INFO] [stdout] (A, B, C, D, E, F, G, H) [INFO] [stdout] and 149 others [INFO] [stdout] = note: required for `TypeValueGenerator` to implement `bolero::ValueGenerator` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0277]: the trait bound `s2n_codec::zerocopy::U16: bolero::TypeGenerator` is not satisfied [INFO] [stdout] --> src/inet/macros.rs:16:61 [INFO] [stdout] | [INFO] [stdout] 16 | #[cfg_attr(any(test, feature = "generator"), derive(bolero_generator::TypeGenerator))] [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ the trait `bolero::TypeGenerator` is not implemented for `s2n_codec::zerocopy::U16` [INFO] [stdout] | [INFO] [stdout] ::: src/inet/ipv6.rs:280:1 [INFO] [stdout] | [INFO] [stdout] 280 | / define_inet_type!( [INFO] [stdout] 281 | | pub struct SocketAddressV6 { [INFO] [stdout] 282 | | ip: IpV6Address, [INFO] [stdout] 283 | | port: U16, [INFO] [stdout] 284 | | } [INFO] [stdout] 285 | | ); [INFO] [stdout] | |_- in this macro invocation [INFO] [stdout] | [INFO] [stdout] = help: the following other types implement trait `bolero::TypeGenerator`: [INFO] [stdout] () [INFO] [stdout] (A, B) [INFO] [stdout] (A, B, C) [INFO] [stdout] (A, B, C, D) [INFO] [stdout] (A, B, C, D, E) [INFO] [stdout] (A, B, C, D, E, F) [INFO] [stdout] (A, B, C, D, E, F, G) [INFO] [stdout] (A, B, C, D, E, F, G, H) [INFO] [stdout] and 149 others [INFO] [stdout] = note: required for `TypeValueGenerator` to implement `bolero::ValueGenerator` [INFO] [stdout] = note: this error originates in the derive macro `bolero_generator::TypeGenerator` which comes from the expansion of the macro `define_inet_type` (in Nightly builds, run with -Z macro-backtrace for more info) [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0308]: mismatched types [INFO] [stdout] --> src/inet/ipv6.rs:283:9 [INFO] [stdout] | [INFO] [stdout] 283 | port: U16, [INFO] [stdout] | ^^^^ types differ [INFO] [stdout] | [INFO] [stdout] ::: src/inet/macros.rs:16:61 [INFO] [stdout] | [INFO] [stdout] 16 | #[cfg_attr(any(test, feature = "generator"), derive(bolero_generator::TypeGenerator))] [INFO] [stdout] | ------------------------------- arguments to this function are incorrect [INFO] [stdout] | [INFO] [stdout] = note: expected mutable reference `&mut as bolero::ValueGenerator>::Output` [INFO] [stdout] found mutable reference `&mut s2n_codec::zerocopy::U16` [INFO] [stdout] note: method defined here [INFO] [stdout] --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/bolero-generator-0.13.2/src/lib.rs:107:8 [INFO] [stdout] | [INFO] [stdout] 107 | fn mutate(&self, driver: &mut D, value: &mut Self::Output) -> Option<()> { [INFO] [stdout] | ^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0277]: the trait bound `s2n_codec::zerocopy::U16: bolero::TypeGenerator` is not satisfied [INFO] [stdout] --> src/inet/ipv6.rs:283:9 [INFO] [stdout] | [INFO] [stdout] 283 | port: U16, [INFO] [stdout] | ^^^^ the trait `bolero::TypeGenerator` is not implemented for `s2n_codec::zerocopy::U16` [INFO] [stdout] | [INFO] [stdout] = help: the following other types implement trait `bolero::TypeGenerator`: [INFO] [stdout] () [INFO] [stdout] (A, B) [INFO] [stdout] (A, B, C) [INFO] [stdout] (A, B, C, D) [INFO] [stdout] (A, B, C, D, E) [INFO] [stdout] (A, B, C, D, E, F) [INFO] [stdout] (A, B, C, D, E, F, G) [INFO] [stdout] (A, B, C, D, E, F, G, H) [INFO] [stdout] and 149 others [INFO] [stdout] = note: required for `TypeValueGenerator` to implement `bolero::ValueGenerator` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0277]: the trait bound `s2n_codec::zerocopy::U16: bolero::TypeGenerator` is not satisfied [INFO] [stdout] --> src/inet/macros.rs:16:61 [INFO] [stdout] | [INFO] [stdout] 16 | #[cfg_attr(any(test, feature = "generator"), derive(bolero_generator::TypeGenerator))] [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ the trait `bolero::TypeGenerator` is not implemented for `s2n_codec::zerocopy::U16` [INFO] [stdout] | [INFO] [stdout] ::: src/inet/ipv6.rs:412:1 [INFO] [stdout] | [INFO] [stdout] 412 | / define_inet_type!( [INFO] [stdout] 413 | | pub struct Header { [INFO] [stdout] 414 | | vtcfl: Vtcfl, [INFO] [stdout] 415 | | payload_len: U16, [INFO] [stdout] ... | [INFO] [stdout] 421 | | ); [INFO] [stdout] | |_- in this macro invocation [INFO] [stdout] | [INFO] [stdout] = help: the following other types implement trait `bolero::TypeGenerator`: [INFO] [stdout] () [INFO] [stdout] (A, B) [INFO] [stdout] (A, B, C) [INFO] [stdout] (A, B, C, D) [INFO] [stdout] (A, B, C, D, E) [INFO] [stdout] (A, B, C, D, E, F) [INFO] [stdout] (A, B, C, D, E, F, G) [INFO] [stdout] (A, B, C, D, E, F, G, H) [INFO] [stdout] and 149 others [INFO] [stdout] = note: required for `TypeValueGenerator` to implement `bolero::ValueGenerator` [INFO] [stdout] = note: this error originates in the derive macro `bolero_generator::TypeGenerator` which comes from the expansion of the macro `define_inet_type` (in Nightly builds, run with -Z macro-backtrace for more info) [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0308]: mismatched types [INFO] [stdout] --> src/inet/ipv6.rs:415:9 [INFO] [stdout] | [INFO] [stdout] 415 | payload_len: U16, [INFO] [stdout] | ^^^^^^^^^^^ types differ [INFO] [stdout] | [INFO] [stdout] ::: src/inet/macros.rs:16:61 [INFO] [stdout] | [INFO] [stdout] 16 | #[cfg_attr(any(test, feature = "generator"), derive(bolero_generator::TypeGenerator))] [INFO] [stdout] | ------------------------------- arguments to this function are incorrect [INFO] [stdout] | [INFO] [stdout] = note: expected mutable reference `&mut as bolero::ValueGenerator>::Output` [INFO] [stdout] found mutable reference `&mut s2n_codec::zerocopy::U16` [INFO] [stdout] note: method defined here [INFO] [stdout] --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/bolero-generator-0.13.2/src/lib.rs:107:8 [INFO] [stdout] | [INFO] [stdout] 107 | fn mutate(&self, driver: &mut D, value: &mut Self::Output) -> Option<()> { [INFO] [stdout] | ^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0277]: the trait bound `s2n_codec::zerocopy::U16: bolero::TypeGenerator` is not satisfied [INFO] [stdout] --> src/inet/ipv6.rs:415:9 [INFO] [stdout] | [INFO] [stdout] 415 | payload_len: U16, [INFO] [stdout] | ^^^^^^^^^^^ the trait `bolero::TypeGenerator` is not implemented for `s2n_codec::zerocopy::U16` [INFO] [stdout] | [INFO] [stdout] = help: the following other types implement trait `bolero::TypeGenerator`: [INFO] [stdout] () [INFO] [stdout] (A, B) [INFO] [stdout] (A, B, C) [INFO] [stdout] (A, B, C, D) [INFO] [stdout] (A, B, C, D, E) [INFO] [stdout] (A, B, C, D, E, F) [INFO] [stdout] (A, B, C, D, E, F, G) [INFO] [stdout] (A, B, C, D, E, F, G, H) [INFO] [stdout] and 149 others [INFO] [stdout] = note: required for `TypeValueGenerator` to implement `bolero::ValueGenerator` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0277]: the trait bound `s2n_codec::zerocopy::U16: bolero::TypeGenerator` is not satisfied [INFO] [stdout] --> src/inet/macros.rs:16:61 [INFO] [stdout] | [INFO] [stdout] 16 | #[cfg_attr(any(test, feature = "generator"), derive(bolero_generator::TypeGenerator))] [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ the trait `bolero::TypeGenerator` is not implemented for `s2n_codec::zerocopy::U16` [INFO] [stdout] | [INFO] [stdout] ::: src/inet/udp.rs:23:1 [INFO] [stdout] | [INFO] [stdout] 23 | / define_inet_type!( [INFO] [stdout] 24 | | pub struct Header { [INFO] [stdout] 25 | | source: U16, [INFO] [stdout] 26 | | destination: U16, [INFO] [stdout] ... | [INFO] [stdout] 30 | | ); [INFO] [stdout] | |_- in this macro invocation [INFO] [stdout] | [INFO] [stdout] = help: the following other types implement trait `bolero::TypeGenerator`: [INFO] [stdout] () [INFO] [stdout] (A, B) [INFO] [stdout] (A, B, C) [INFO] [stdout] (A, B, C, D) [INFO] [stdout] (A, B, C, D, E) [INFO] [stdout] (A, B, C, D, E, F) [INFO] [stdout] (A, B, C, D, E, F, G) [INFO] [stdout] (A, B, C, D, E, F, G, H) [INFO] [stdout] and 149 others [INFO] [stdout] = note: required for `TypeValueGenerator` to implement `bolero::ValueGenerator` [INFO] [stdout] = note: this error originates in the derive macro `bolero_generator::TypeGenerator` which comes from the expansion of the macro `define_inet_type` (in Nightly builds, run with -Z macro-backtrace for more info) [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0308]: mismatched types [INFO] [stdout] --> src/inet/udp.rs:25:9 [INFO] [stdout] | [INFO] [stdout] 25 | source: U16, [INFO] [stdout] | ^^^^^^ types differ [INFO] [stdout] | [INFO] [stdout] ::: src/inet/macros.rs:16:61 [INFO] [stdout] | [INFO] [stdout] 16 | #[cfg_attr(any(test, feature = "generator"), derive(bolero_generator::TypeGenerator))] [INFO] [stdout] | ------------------------------- arguments to this function are incorrect [INFO] [stdout] | [INFO] [stdout] = note: expected mutable reference `&mut as bolero::ValueGenerator>::Output` [INFO] [stdout] found mutable reference `&mut s2n_codec::zerocopy::U16` [INFO] [stdout] note: method defined here [INFO] [stdout] --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/bolero-generator-0.13.2/src/lib.rs:107:8 [INFO] [stdout] | [INFO] [stdout] 107 | fn mutate(&self, driver: &mut D, value: &mut Self::Output) -> Option<()> { [INFO] [stdout] | ^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0308]: mismatched types [INFO] [stdout] --> src/inet/udp.rs:26:9 [INFO] [stdout] | [INFO] [stdout] 26 | destination: U16, [INFO] [stdout] | ^^^^^^^^^^^ types differ [INFO] [stdout] | [INFO] [stdout] ::: src/inet/macros.rs:16:61 [INFO] [stdout] | [INFO] [stdout] 16 | #[cfg_attr(any(test, feature = "generator"), derive(bolero_generator::TypeGenerator))] [INFO] [stdout] | ------------------------------- arguments to this function are incorrect [INFO] [stdout] | [INFO] [stdout] = note: expected mutable reference `&mut as bolero::ValueGenerator>::Output` [INFO] [stdout] found mutable reference `&mut s2n_codec::zerocopy::U16` [INFO] [stdout] note: method defined here [INFO] [stdout] --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/bolero-generator-0.13.2/src/lib.rs:107:8 [INFO] [stdout] | [INFO] [stdout] 107 | fn mutate(&self, driver: &mut D, value: &mut Self::Output) -> Option<()> { [INFO] [stdout] | ^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0308]: mismatched types [INFO] [stdout] --> src/inet/udp.rs:27:9 [INFO] [stdout] | [INFO] [stdout] 27 | len: U16, [INFO] [stdout] | ^^^ types differ [INFO] [stdout] | [INFO] [stdout] ::: src/inet/macros.rs:16:61 [INFO] [stdout] | [INFO] [stdout] 16 | #[cfg_attr(any(test, feature = "generator"), derive(bolero_generator::TypeGenerator))] [INFO] [stdout] | ------------------------------- arguments to this function are incorrect [INFO] [stdout] | [INFO] [stdout] = note: expected mutable reference `&mut as bolero::ValueGenerator>::Output` [INFO] [stdout] found mutable reference `&mut s2n_codec::zerocopy::U16` [INFO] [stdout] note: method defined here [INFO] [stdout] --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/bolero-generator-0.13.2/src/lib.rs:107:8 [INFO] [stdout] | [INFO] [stdout] 107 | fn mutate(&self, driver: &mut D, value: &mut Self::Output) -> Option<()> { [INFO] [stdout] | ^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0308]: mismatched types [INFO] [stdout] --> src/inet/udp.rs:28:9 [INFO] [stdout] | [INFO] [stdout] 28 | checksum: U16, [INFO] [stdout] | ^^^^^^^^ types differ [INFO] [stdout] | [INFO] [stdout] ::: src/inet/macros.rs:16:61 [INFO] [stdout] | [INFO] [stdout] 16 | #[cfg_attr(any(test, feature = "generator"), derive(bolero_generator::TypeGenerator))] [INFO] [stdout] | ------------------------------- arguments to this function are incorrect [INFO] [stdout] | [INFO] [stdout] = note: expected mutable reference `&mut as bolero::ValueGenerator>::Output` [INFO] [stdout] found mutable reference `&mut s2n_codec::zerocopy::U16` [INFO] [stdout] note: method defined here [INFO] [stdout] --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/bolero-generator-0.13.2/src/lib.rs:107:8 [INFO] [stdout] | [INFO] [stdout] 107 | fn mutate(&self, driver: &mut D, value: &mut Self::Output) -> Option<()> { [INFO] [stdout] | ^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0277]: the trait bound `s2n_codec::zerocopy::U16: bolero::TypeGenerator` is not satisfied [INFO] [stdout] --> src/inet/udp.rs:25:9 [INFO] [stdout] | [INFO] [stdout] 25 | source: U16, [INFO] [stdout] | ^^^^^^ the trait `bolero::TypeGenerator` is not implemented for `s2n_codec::zerocopy::U16` [INFO] [stdout] | [INFO] [stdout] = help: the following other types implement trait `bolero::TypeGenerator`: [INFO] [stdout] () [INFO] [stdout] (A, B) [INFO] [stdout] (A, B, C) [INFO] [stdout] (A, B, C, D) [INFO] [stdout] (A, B, C, D, E) [INFO] [stdout] (A, B, C, D, E, F) [INFO] [stdout] (A, B, C, D, E, F, G) [INFO] [stdout] (A, B, C, D, E, F, G, H) [INFO] [stdout] and 149 others [INFO] [stdout] = note: required for `TypeValueGenerator` to implement `bolero::ValueGenerator` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0277]: the trait bound `s2n_codec::zerocopy::U16: bolero::TypeGenerator` is not satisfied [INFO] [stdout] --> src/inet/udp.rs:26:9 [INFO] [stdout] | [INFO] [stdout] 26 | destination: U16, [INFO] [stdout] | ^^^^^^^^^^^ the trait `bolero::TypeGenerator` is not implemented for `s2n_codec::zerocopy::U16` [INFO] [stdout] | [INFO] [stdout] = help: the following other types implement trait `bolero::TypeGenerator`: [INFO] [stdout] () [INFO] [stdout] (A, B) [INFO] [stdout] (A, B, C) [INFO] [stdout] (A, B, C, D) [INFO] [stdout] (A, B, C, D, E) [INFO] [stdout] (A, B, C, D, E, F) [INFO] [stdout] (A, B, C, D, E, F, G) [INFO] [stdout] (A, B, C, D, E, F, G, H) [INFO] [stdout] and 149 others [INFO] [stdout] = note: required for `TypeValueGenerator` to implement `bolero::ValueGenerator` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0277]: the trait bound `s2n_codec::zerocopy::U16: bolero::TypeGenerator` is not satisfied [INFO] [stdout] --> src/inet/udp.rs:27:9 [INFO] [stdout] | [INFO] [stdout] 27 | len: U16, [INFO] [stdout] | ^^^ the trait `bolero::TypeGenerator` is not implemented for `s2n_codec::zerocopy::U16` [INFO] [stdout] | [INFO] [stdout] = help: the following other types implement trait `bolero::TypeGenerator`: [INFO] [stdout] () [INFO] [stdout] (A, B) [INFO] [stdout] (A, B, C) [INFO] [stdout] (A, B, C, D) [INFO] [stdout] (A, B, C, D, E) [INFO] [stdout] (A, B, C, D, E, F) [INFO] [stdout] (A, B, C, D, E, F, G) [INFO] [stdout] (A, B, C, D, E, F, G, H) [INFO] [stdout] and 149 others [INFO] [stdout] = note: required for `TypeValueGenerator` to implement `bolero::ValueGenerator` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0277]: the trait bound `s2n_codec::zerocopy::U16: bolero::TypeGenerator` is not satisfied [INFO] [stdout] --> src/inet/udp.rs:28:9 [INFO] [stdout] | [INFO] [stdout] 28 | checksum: U16, [INFO] [stdout] | ^^^^^^^^ the trait `bolero::TypeGenerator` is not implemented for `s2n_codec::zerocopy::U16` [INFO] [stdout] | [INFO] [stdout] = help: the following other types implement trait `bolero::TypeGenerator`: [INFO] [stdout] () [INFO] [stdout] (A, B) [INFO] [stdout] (A, B, C) [INFO] [stdout] (A, B, C, D) [INFO] [stdout] (A, B, C, D, E) [INFO] [stdout] (A, B, C, D, E, F) [INFO] [stdout] (A, B, C, D, E, F, G) [INFO] [stdout] (A, B, C, D, E, F, G, H) [INFO] [stdout] and 149 others [INFO] [stdout] = note: required for `TypeValueGenerator` to implement `bolero::ValueGenerator` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0277]: the trait bound `u24: bolero::TypeGenerator` is not satisfied [INFO] [stdout] --> src/packet/number/truncated_packet_number.rs:95:53 [INFO] [stdout] | [INFO] [stdout] 95 | #[cfg_attr(any(test, feature = "generator"), derive(TypeGenerator))] [INFO] [stdout] | ^^^^^^^^^^^^^ the trait `bolero::TypeGenerator` is not implemented for `u24` [INFO] [stdout] | [INFO] [stdout] = help: the following other types implement trait `bolero::TypeGenerator`: [INFO] [stdout] () [INFO] [stdout] (A, B) [INFO] [stdout] (A, B, C) [INFO] [stdout] (A, B, C, D) [INFO] [stdout] (A, B, C, D, E) [INFO] [stdout] (A, B, C, D, E, F) [INFO] [stdout] (A, B, C, D, E, F, G) [INFO] [stdout] (A, B, C, D, E, F, G, H) [INFO] [stdout] and 149 others [INFO] [stdout] = note: required for `TypeValueGenerator` to implement `bolero::ValueGenerator` [INFO] [stdout] = note: this error originates in the derive macro `TypeGenerator` (in Nightly builds, run with -Z macro-backtrace for more info) [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0277]: the trait bound `u24: bolero::TypeGenerator` is not satisfied [INFO] [stdout] --> src/packet/number/truncated_packet_number.rs:99:9 [INFO] [stdout] | [INFO] [stdout] 99 | U24(u24), [INFO] [stdout] | ^^^ the trait `bolero::TypeGenerator` is not implemented for `u24` [INFO] [stdout] | [INFO] [stdout] = help: the following other types implement trait `bolero::TypeGenerator`: [INFO] [stdout] () [INFO] [stdout] (A, B) [INFO] [stdout] (A, B, C) [INFO] [stdout] (A, B, C, D) [INFO] [stdout] (A, B, C, D, E) [INFO] [stdout] (A, B, C, D, E, F) [INFO] [stdout] (A, B, C, D, E, F, G) [INFO] [stdout] (A, B, C, D, E, F, G, H) [INFO] [stdout] and 149 others [INFO] [stdout] = note: required for `TypeValueGenerator` to implement `bolero::ValueGenerator` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] Some errors have detailed explanations: E0277, E0282, E0308, E0432, E0433. [INFO] [stdout] [INFO] [stdout] For more information about an error, try `rustc --explain E0277`. [INFO] [stdout] [INFO] [stderr] error: could not compile `s2n-quic-core` (lib test) due to 54 previous errors; 127 warnings emitted [INFO] running `Command { std: "docker" "inspect" "5e320ad605e7573c42fff33f1036bc837c6ad13a75468a20da4a50153133dc3b", kill_on_drop: false }` [INFO] running `Command { std: "docker" "rm" "-f" "5e320ad605e7573c42fff33f1036bc837c6ad13a75468a20da4a50153133dc3b", kill_on_drop: false }` [INFO] [stdout] 5e320ad605e7573c42fff33f1036bc837c6ad13a75468a20da4a50153133dc3b