[INFO] fetching crate s2n-quic-core 0.51.0...
[INFO] checking s2n-quic-core-0.51.0 against master#39cb3386ddc6c71657418be28dbb3987eea4aa4b for pr-133536
[INFO] extracting crate s2n-quic-core 0.51.0 into /workspace/builds/worker-5-tc1/source
[INFO] validating manifest of crates.io crate s2n-quic-core 0.51.0 on toolchain 39cb3386ddc6c71657418be28dbb3987eea4aa4b
[INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+39cb3386ddc6c71657418be28dbb3987eea4aa4b" "metadata" "--manifest-path" "Cargo.toml" "--no-deps", kill_on_drop: false }`
[INFO] started tweaking crates.io crate s2n-quic-core 0.51.0
[INFO] finished tweaking crates.io crate s2n-quic-core 0.51.0
[INFO] tweaked toml for crates.io crate s2n-quic-core 0.51.0 written to /workspace/builds/worker-5-tc1/source/Cargo.toml
[INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+39cb3386ddc6c71657418be28dbb3987eea4aa4b" "generate-lockfile" "--manifest-path" "Cargo.toml", kill_on_drop: false }`
[INFO] [stderr]     Updating crates.io index
[INFO] [stderr]      Locking 137 packages to latest compatible versions
[INFO] [stderr]       Adding bolero v0.11.1 (available: v0.12.0)
[INFO] [stderr]       Adding bolero-generator v0.11.1 (available: v0.12.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] [stderr]       Adding zerocopy v0.7.35 (available: v0.8.11)
[INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+39cb3386ddc6c71657418be28dbb3987eea4aa4b" "fetch" "--manifest-path" "Cargo.toml", kill_on_drop: false }`
[INFO] [stderr]  Downloading crates ...
[INFO] [stderr]   Downloaded probe v0.5.1
[INFO] [stderr]   Downloaded s2n-codec v0.51.0
[INFO] [stderr]   Downloaded bolero-generator-derive v0.11.0
[INFO] [stderr]   Downloaded bolero-kani v0.11.2
[INFO] [stderr]   Downloaded pretty-hex v0.4.1
[INFO] [stderr]   Downloaded bolero-libfuzzer v0.11.0
[INFO] [stderr]   Downloaded bolero-engine v0.11.2
[INFO] [stderr]   Downloaded futures-test v0.3.31
[INFO] [stderr]   Downloaded bolero-generator v0.11.1
[INFO] [stderr]   Downloaded bolero v0.11.1
[INFO] [stderr]   Downloaded bolero-afl v0.11.0
[INFO] [stderr]   Downloaded bolero-honggfuzz v0.11.0
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-5-tc1/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-5-tc1/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:4a844ea9eb2546a2d2c7022eacef16ef2e8229c7fbb2c7d4d55a9ceca922f72d" "/opt/rustwide/cargo-home/bin/cargo" "+39cb3386ddc6c71657418be28dbb3987eea4aa4b" "metadata" "--no-deps" "--format-version=1", kill_on_drop: false }`
[INFO] [stdout] 5f0e52302d92df1f50934171b2405c46f86a03919b50eab6d07159d82b374fbc
[INFO] running `Command { std: "docker" "start" "-a" "5f0e52302d92df1f50934171b2405c46f86a03919b50eab6d07159d82b374fbc", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "inspect" "5f0e52302d92df1f50934171b2405c46f86a03919b50eab6d07159d82b374fbc", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "5f0e52302d92df1f50934171b2405c46f86a03919b50eab6d07159d82b374fbc", kill_on_drop: false }`
[INFO] [stdout] 5f0e52302d92df1f50934171b2405c46f86a03919b50eab6d07159d82b374fbc
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-5-tc1/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-5-tc1/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:4a844ea9eb2546a2d2c7022eacef16ef2e8229c7fbb2c7d4d55a9ceca922f72d" "/opt/rustwide/cargo-home/bin/cargo" "+39cb3386ddc6c71657418be28dbb3987eea4aa4b" "check" "--frozen" "--all" "--all-targets" "--message-format=json", kill_on_drop: false }`
[INFO] [stdout] be61b37b5465ca4ce43434427430f883eb081493492cd3b9500303062abc2869
[INFO] running `Command { std: "docker" "start" "-a" "be61b37b5465ca4ce43434427430f883eb081493492cd3b9500303062abc2869", kill_on_drop: false }`
[INFO] [stderr]    Compiling libm v0.2.11
[INFO] [stderr]    Compiling syn v1.0.109
[INFO] [stderr]    Compiling toml_datetime v0.6.3
[INFO] [stderr]    Compiling winnow v0.5.40
[INFO] [stderr]     Checking futures-sink v0.3.31
[INFO] [stderr]     Checking futures-core v0.3.31
[INFO] [stderr]    Compiling num-traits v0.2.19
[INFO] [stderr]     Checking gimli v0.31.1
[INFO] [stderr]     Checking miniz_oxide v0.8.0
[INFO] [stderr]     Checking object v0.36.5
[INFO] [stderr]    Compiling syn v2.0.90
[INFO] [stderr]     Checking rustc-demangle v0.1.24
[INFO] [stderr]    Compiling serde v1.0.215
[INFO] [stderr]     Checking rand_xoshiro v0.6.0
[INFO] [stderr]     Checking pretty-hex v0.4.1
[INFO] [stderr]     Checking plotters-backend v0.3.7
[INFO] [stderr]     Checking hex-literal v0.4.1
[INFO] [stderr]     Checking futures-channel v0.3.31
[INFO] [stderr]     Checking subtle v2.6.1
[INFO] [stderr]     Checking bytes v1.9.0
[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]     Checking num-integer v0.1.46
[INFO] [stderr]     Checking plotters v0.3.7
[INFO] [stderr]     Checking num-rational v0.4.2
[INFO] [stderr]    Compiling toml_edit v0.20.2
[INFO] [stderr]     Checking addr2line v0.24.2
[INFO] [stderr]     Checking insta v1.41.1
[INFO] [stderr]    Compiling zerocopy-derive v0.7.35
[INFO] [stderr]    Compiling futures-macro v0.3.31
[INFO] [stderr]    Compiling pin-project-internal v1.1.7
[INFO] [stderr]     Checking backtrace v0.3.74
[INFO] [stderr]    Compiling proc-macro-crate v2.0.2
[INFO] [stderr]     Checking zerocopy v0.7.35
[INFO] [stderr]     Checking futures-util v0.3.31
[INFO] [stderr]     Checking pin-project v1.1.7
[INFO] [stderr]    Compiling bolero-generator-derive v0.11.0
[INFO] [stderr]     Checking ppv-lite86 v0.2.20
[INFO] [stderr]     Checking s2n-codec v0.51.0
[INFO] [stderr]     Checking bolero-generator v0.11.1
[INFO] [stderr]     Checking rand_chacha v0.3.1
[INFO] [stderr]     Checking s2n-quic-core v0.51.0 (/opt/rustwide/workdir)
[INFO] [stderr]     Checking rand v0.8.5
[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 <https://doc.rust-lang.org/nightly/rustc/check-cfg/cargo-specifics.html> 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 <https://doc.rust-lang.org/nightly/rustc/check-cfg/cargo-specifics.html> 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: `clippy`, `debug_assertions`, `doc`, `docsrs`, `doctest`, `feature`, `fmt_debug`, `miri`, `overflow_checks`, `panic`, `proc_macro`, `relocation_model`, `rustfmt`, `sanitize`, `sanitizer_cfi_generalize_pointers`, `sanitizer_cfi_normalize_integers`, `target_abi`, `target_arch`, `target_endian`, `target_env`, `target_family`, `target_feature`, `target_has_atomic`, `target_has_atomic_equal_alignment`, `target_has_atomic_load_store`, `target_os`, `target_pointer_width`, `target_thread_local`, `target_vendor`, `test`, `ub_checks`, `unix`, and `windows`
[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 <https://doc.rust-lang.org/nightly/rustc/check-cfg/cargo-specifics.html> 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 <https://doc.rust-lang.org/nightly/rustc/check-cfg/cargo-specifics.html> 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 <https://doc.rust-lang.org/nightly/rustc/check-cfg/cargo-specifics.html> 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 <https://doc.rust-lang.org/nightly/rustc/check-cfg/cargo-specifics.html> 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 <https://doc.rust-lang.org/nightly/rustc/check-cfg/cargo-specifics.html> 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 <https://doc.rust-lang.org/nightly/rustc/check-cfg/cargo-specifics.html> 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 <https://doc.rust-lang.org/nightly/rustc/check-cfg/cargo-specifics.html> 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 <https://doc.rust-lang.org/nightly/rustc/check-cfg/cargo-specifics.html> 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 <https://doc.rust-lang.org/nightly/rustc/check-cfg/cargo-specifics.html> 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 <https://doc.rust-lang.org/nightly/rustc/check-cfg/cargo-specifics.html> 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 <https://doc.rust-lang.org/nightly/rustc/check-cfg/cargo-specifics.html> 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 <https://doc.rust-lang.org/nightly/rustc/check-cfg/cargo-specifics.html> 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] 125 | |         ethertype: EtherType,
[INFO] [stdout] 126 | |     }
[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 <https://doc.rust-lang.org/nightly/rustc/check-cfg/cargo-specifics.html> 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:114:12
[INFO] [stdout]     |
[INFO] [stdout] 114 | #[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 <https://doc.rust-lang.org/nightly/rustc/check-cfg/cargo-specifics.html> 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:304:1
[INFO] [stdout]     |
[INFO] [stdout] 304 | / define_inet_type!(
[INFO] [stdout] 305 | |     pub struct Protocol {
[INFO] [stdout] 306 | |         id: u8,
[INFO] [stdout] 307 | |     }
[INFO] [stdout] 308 | | );
[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 <https://doc.rust-lang.org/nightly/rustc/check-cfg/cargo-specifics.html> 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 <https://doc.rust-lang.org/nightly/rustc/check-cfg/cargo-specifics.html> 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 <https://doc.rust-lang.org/nightly/rustc/check-cfg/cargo-specifics.html> 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] 351 | |     }
[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 <https://doc.rust-lang.org/nightly/rustc/check-cfg/cargo-specifics.html> 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 <https://doc.rust-lang.org/nightly/rustc/check-cfg/cargo-specifics.html> 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 <https://doc.rust-lang.org/nightly/rustc/check-cfg/cargo-specifics.html> 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 <https://doc.rust-lang.org/nightly/rustc/check-cfg/cargo-specifics.html> 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 <https://doc.rust-lang.org/nightly/rustc/check-cfg/cargo-specifics.html> 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 <https://doc.rust-lang.org/nightly/rustc/check-cfg/cargo-specifics.html> 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] 420 | |     }
[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 <https://doc.rust-lang.org/nightly/rustc/check-cfg/cargo-specifics.html> 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 <https://doc.rust-lang.org/nightly/rustc/check-cfg/cargo-specifics.html> 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] 29 | |     }
[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 <https://doc.rust-lang.org/nightly/rustc/check-cfg/cargo-specifics.html> 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 <https://doc.rust-lang.org/nightly/rustc/check-cfg/cargo-specifics.html> 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 <https://doc.rust-lang.org/nightly/rustc/check-cfg/cargo-specifics.html> 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 <https://doc.rust-lang.org/nightly/rustc/check-cfg/cargo-specifics.html> 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 <https://doc.rust-lang.org/nightly/rustc/check-cfg/cargo-specifics.html> 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:95:20
[INFO] [stdout]     |
[INFO] [stdout] 95  |         #[cfg_attr(kani, derive(kani::Arbitrary))]
[INFO] [stdout]     |                    ^^^^
[INFO] [stdout] ...
[INFO] [stdout] 149 | 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 <https://doc.rust-lang.org/nightly/rustc/check-cfg/cargo-specifics.html> 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:95:20
[INFO] [stdout]     |
[INFO] [stdout] 95  |         #[cfg_attr(kani, derive(kani::Arbitrary))]
[INFO] [stdout]     |                    ^^^^
[INFO] [stdout] ...
[INFO] [stdout] 151 | 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 <https://doc.rust-lang.org/nightly/rustc/check-cfg/cargo-specifics.html> 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 <https://doc.rust-lang.org/nightly/rustc/check-cfg/cargo-specifics.html> 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 <https://doc.rust-lang.org/nightly/rustc/check-cfg/cargo-specifics.html> 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 <https://doc.rust-lang.org/nightly/rustc/check-cfg/cargo-specifics.html> 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]     Checking bolero-engine v0.11.2
[INFO] [stderr]     Checking bolero v0.11.1
[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-6f17d22bba15001f/s2n-codec-0.51.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-6f17d22bba15001f/s2n-codec-0.51.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 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 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 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 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:205:24
[INFO] [stdout]     |
[INFO] [stdout] 205 |             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:896:24
[INFO] [stdout]     |
[INFO] [stdout] 896 |             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:791:24
[INFO] [stdout]     |
[INFO] [stdout] 791 |             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:119:24
[INFO] [stdout]     |
[INFO] [stdout] 119 |             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: `clippy`, `debug_assertions`, `doc`, `docsrs`, `doctest`, `feature`, `fmt_debug`, `miri`, `overflow_checks`, `panic`, `proc_macro`, `relocation_model`, `rustfmt`, `sanitize`, `sanitizer_cfi_generalize_pointers`, `sanitizer_cfi_normalize_integers`, `target_abi`, `target_arch`, `target_endian`, `target_env`, `target_family`, `target_feature`, `target_has_atomic`, `target_has_atomic_equal_alignment`, `target_has_atomic_load_store`, `target_os`, `target_pointer_width`, `target_thread_local`, `target_vendor`, `test`, `ub_checks`, `unix`, and `windows`
[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 <https://doc.rust-lang.org/nightly/rustc/check-cfg/cargo-specifics.html> 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 <https://doc.rust-lang.org/nightly/rustc/check-cfg/cargo-specifics.html> 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 <https://doc.rust-lang.org/nightly/rustc/check-cfg/cargo-specifics.html> 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 <https://doc.rust-lang.org/nightly/rustc/check-cfg/cargo-specifics.html> 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 <https://doc.rust-lang.org/nightly/rustc/check-cfg/cargo-specifics.html> 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 <https://doc.rust-lang.org/nightly/rustc/check-cfg/cargo-specifics.html> 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 <https://doc.rust-lang.org/nightly/rustc/check-cfg/cargo-specifics.html> 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 <https://doc.rust-lang.org/nightly/rustc/check-cfg/cargo-specifics.html> 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 <https://doc.rust-lang.org/nightly/rustc/check-cfg/cargo-specifics.html> 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 <https://doc.rust-lang.org/nightly/rustc/check-cfg/cargo-specifics.html> 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:517:15
[INFO] [stdout]     |
[INFO] [stdout] 517 |     #[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 <https://doc.rust-lang.org/nightly/rustc/check-cfg/cargo-specifics.html> 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:528:11
[INFO] [stdout]     |
[INFO] [stdout] 528 |     #[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 <https://doc.rust-lang.org/nightly/rustc/check-cfg/cargo-specifics.html> 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:427:16
[INFO] [stdout]     |
[INFO] [stdout] 427 |     #[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 <https://doc.rust-lang.org/nightly/rustc/check-cfg/cargo-specifics.html> 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:421:41
[INFO] [stdout]     |
[INFO] [stdout] 421 |     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 <https://doc.rust-lang.org/nightly/rustc/check-cfg/cargo-specifics.html> 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 <https://doc.rust-lang.org/nightly/rustc/check-cfg/cargo-specifics.html> 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 <https://doc.rust-lang.org/nightly/rustc/check-cfg/cargo-specifics.html> 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 <https://doc.rust-lang.org/nightly/rustc/check-cfg/cargo-specifics.html> 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 <https://doc.rust-lang.org/nightly/rustc/check-cfg/cargo-specifics.html> 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 <https://doc.rust-lang.org/nightly/rustc/check-cfg/cargo-specifics.html> 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 <https://doc.rust-lang.org/nightly/rustc/check-cfg/cargo-specifics.html> 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 <https://doc.rust-lang.org/nightly/rustc/check-cfg/cargo-specifics.html> 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 <https://doc.rust-lang.org/nightly/rustc/check-cfg/cargo-specifics.html> 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 <https://doc.rust-lang.org/nightly/rustc/check-cfg/cargo-specifics.html> 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 <https://doc.rust-lang.org/nightly/rustc/check-cfg/cargo-specifics.html> 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 <https://doc.rust-lang.org/nightly/rustc/check-cfg/cargo-specifics.html> 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 <https://doc.rust-lang.org/nightly/rustc/check-cfg/cargo-specifics.html> 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 <https://doc.rust-lang.org/nightly/rustc/check-cfg/cargo-specifics.html> 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 <https://doc.rust-lang.org/nightly/rustc/check-cfg/cargo-specifics.html> 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 <https://doc.rust-lang.org/nightly/rustc/check-cfg/cargo-specifics.html> 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 <https://doc.rust-lang.org/nightly/rustc/check-cfg/cargo-specifics.html> 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 <https://doc.rust-lang.org/nightly/rustc/check-cfg/cargo-specifics.html> 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 <https://doc.rust-lang.org/nightly/rustc/check-cfg/cargo-specifics.html> 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 <https://doc.rust-lang.org/nightly/rustc/check-cfg/cargo-specifics.html> 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 <https://doc.rust-lang.org/nightly/rustc/check-cfg/cargo-specifics.html> 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 <https://doc.rust-lang.org/nightly/rustc/check-cfg/cargo-specifics.html> 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 <https://doc.rust-lang.org/nightly/rustc/check-cfg/cargo-specifics.html> 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 <https://doc.rust-lang.org/nightly/rustc/check-cfg/cargo-specifics.html> 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 <https://doc.rust-lang.org/nightly/rustc/check-cfg/cargo-specifics.html> 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 <https://doc.rust-lang.org/nightly/rustc/check-cfg/cargo-specifics.html> 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 <https://doc.rust-lang.org/nightly/rustc/check-cfg/cargo-specifics.html> 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 <https://doc.rust-lang.org/nightly/rustc/check-cfg/cargo-specifics.html> 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 <https://doc.rust-lang.org/nightly/rustc/check-cfg/cargo-specifics.html> 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 <https://doc.rust-lang.org/nightly/rustc/check-cfg/cargo-specifics.html> 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 <https://doc.rust-lang.org/nightly/rustc/check-cfg/cargo-specifics.html> 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 <https://doc.rust-lang.org/nightly/rustc/check-cfg/cargo-specifics.html> 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] 125 | |         ethertype: EtherType,
[INFO] [stdout] 126 | |     }
[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 <https://doc.rust-lang.org/nightly/rustc/check-cfg/cargo-specifics.html> 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:114:12
[INFO] [stdout]     |
[INFO] [stdout] 114 | #[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 <https://doc.rust-lang.org/nightly/rustc/check-cfg/cargo-specifics.html> 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:304:1
[INFO] [stdout]     |
[INFO] [stdout] 304 | / define_inet_type!(
[INFO] [stdout] 305 | |     pub struct Protocol {
[INFO] [stdout] 306 | |         id: u8,
[INFO] [stdout] 307 | |     }
[INFO] [stdout] 308 | | );
[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 <https://doc.rust-lang.org/nightly/rustc/check-cfg/cargo-specifics.html> 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 <https://doc.rust-lang.org/nightly/rustc/check-cfg/cargo-specifics.html> 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 <https://doc.rust-lang.org/nightly/rustc/check-cfg/cargo-specifics.html> 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] 351 | |     }
[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 <https://doc.rust-lang.org/nightly/rustc/check-cfg/cargo-specifics.html> 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 <https://doc.rust-lang.org/nightly/rustc/check-cfg/cargo-specifics.html> 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 <https://doc.rust-lang.org/nightly/rustc/check-cfg/cargo-specifics.html> 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 <https://doc.rust-lang.org/nightly/rustc/check-cfg/cargo-specifics.html> 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 <https://doc.rust-lang.org/nightly/rustc/check-cfg/cargo-specifics.html> 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:827:16
[INFO] [stdout]     |
[INFO] [stdout] 827 |     #[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 <https://doc.rust-lang.org/nightly/rustc/check-cfg/cargo-specifics.html> 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 <https://doc.rust-lang.org/nightly/rustc/check-cfg/cargo-specifics.html> 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 <https://doc.rust-lang.org/nightly/rustc/check-cfg/cargo-specifics.html> 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] 420 | |     }
[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 <https://doc.rust-lang.org/nightly/rustc/check-cfg/cargo-specifics.html> 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 <https://doc.rust-lang.org/nightly/rustc/check-cfg/cargo-specifics.html> 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 <https://doc.rust-lang.org/nightly/rustc/check-cfg/cargo-specifics.html> 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:736:16
[INFO] [stdout]     |
[INFO] [stdout] 736 |     #[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 <https://doc.rust-lang.org/nightly/rustc/check-cfg/cargo-specifics.html> 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] 29 | |     }
[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 <https://doc.rust-lang.org/nightly/rustc/check-cfg/cargo-specifics.html> 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 <https://doc.rust-lang.org/nightly/rustc/check-cfg/cargo-specifics.html> 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 <https://doc.rust-lang.org/nightly/rustc/check-cfg/cargo-specifics.html> 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 <https://doc.rust-lang.org/nightly/rustc/check-cfg/cargo-specifics.html> 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 <https://doc.rust-lang.org/nightly/rustc/check-cfg/cargo-specifics.html> 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 <https://doc.rust-lang.org/nightly/rustc/check-cfg/cargo-specifics.html> 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 <https://doc.rust-lang.org/nightly/rustc/check-cfg/cargo-specifics.html> 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 <https://doc.rust-lang.org/nightly/rustc/check-cfg/cargo-specifics.html> 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 <https://doc.rust-lang.org/nightly/rustc/check-cfg/cargo-specifics.html> 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 <https://doc.rust-lang.org/nightly/rustc/check-cfg/cargo-specifics.html> 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 <https://doc.rust-lang.org/nightly/rustc/check-cfg/cargo-specifics.html> 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 <https://doc.rust-lang.org/nightly/rustc/check-cfg/cargo-specifics.html> 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:95:20
[INFO] [stdout]     |
[INFO] [stdout] 95  |         #[cfg_attr(kani, derive(kani::Arbitrary))]
[INFO] [stdout]     |                    ^^^^
[INFO] [stdout] ...
[INFO] [stdout] 149 | 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 <https://doc.rust-lang.org/nightly/rustc/check-cfg/cargo-specifics.html> 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:95:20
[INFO] [stdout]     |
[INFO] [stdout] 95  |         #[cfg_attr(kani, derive(kani::Arbitrary))]
[INFO] [stdout]     |                    ^^^^
[INFO] [stdout] ...
[INFO] [stdout] 151 | 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 <https://doc.rust-lang.org/nightly/rustc/check-cfg/cargo-specifics.html> 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 <https://doc.rust-lang.org/nightly/rustc/check-cfg/cargo-specifics.html> 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 <https://doc.rust-lang.org/nightly/rustc/check-cfg/cargo-specifics.html> 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 <https://doc.rust-lang.org/nightly/rustc/check-cfg/cargo-specifics.html> 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 <https://doc.rust-lang.org/nightly/rustc/check-cfg/cargo-specifics.html> 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 <https://doc.rust-lang.org/nightly/rustc/check-cfg/cargo-specifics.html> 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 <https://doc.rust-lang.org/nightly/rustc/check-cfg/cargo-specifics.html> 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 <https://doc.rust-lang.org/nightly/rustc/check-cfg/cargo-specifics.html> 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 <https://doc.rust-lang.org/nightly/rustc/check-cfg/cargo-specifics.html> 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 <https://doc.rust-lang.org/nightly/rustc/check-cfg/cargo-specifics.html> 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 <https://doc.rust-lang.org/nightly/rustc/check-cfg/cargo-specifics.html> 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 <https://doc.rust-lang.org/nightly/rustc/check-cfg/cargo-specifics.html> 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 <https://doc.rust-lang.org/nightly/rustc/check-cfg/cargo-specifics.html> 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 <https://doc.rust-lang.org/nightly/rustc/check-cfg/cargo-specifics.html> 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 <https://doc.rust-lang.org/nightly/rustc/check-cfg/cargo-specifics.html> 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 <https://doc.rust-lang.org/nightly/rustc/check-cfg/cargo-specifics.html> 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 <https://doc.rust-lang.org/nightly/rustc/check-cfg/cargo-specifics.html> 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 <https://doc.rust-lang.org/nightly/rustc/check-cfg/cargo-specifics.html> 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 <https://doc.rust-lang.org/nightly/rustc/check-cfg/cargo-specifics.html> 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 <https://doc.rust-lang.org/nightly/rustc/check-cfg/cargo-specifics.html> 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 <https://doc.rust-lang.org/nightly/rustc/check-cfg/cargo-specifics.html> 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 <https://doc.rust-lang.org/nightly/rustc/check-cfg/cargo-specifics.html> 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 <https://doc.rust-lang.org/nightly/rustc/check-cfg/cargo-specifics.html> 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 <https://doc.rust-lang.org/nightly/rustc/check-cfg/cargo-specifics.html> 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 <https://doc.rust-lang.org/nightly/rustc/check-cfg/cargo-specifics.html> 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 <https://doc.rust-lang.org/nightly/rustc/check-cfg/cargo-specifics.html> 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 <https://doc.rust-lang.org/nightly/rustc/check-cfg/cargo-specifics.html> 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 <https://doc.rust-lang.org/nightly/rustc/check-cfg/cargo-specifics.html> 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 <https://doc.rust-lang.org/nightly/rustc/check-cfg/cargo-specifics.html> 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 <https://doc.rust-lang.org/nightly/rustc/check-cfg/cargo-specifics.html> 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 <https://doc.rust-lang.org/nightly/rustc/check-cfg/cargo-specifics.html> 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 <https://doc.rust-lang.org/nightly/rustc/check-cfg/cargo-specifics.html> 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 <https://doc.rust-lang.org/nightly/rustc/check-cfg/cargo-specifics.html> 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 <https://doc.rust-lang.org/nightly/rustc/check-cfg/cargo-specifics.html> 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 <https://doc.rust-lang.org/nightly/rustc/check-cfg/cargo-specifics.html> 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 <https://doc.rust-lang.org/nightly/rustc/check-cfg/cargo-specifics.html> 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 <https://doc.rust-lang.org/nightly/rustc/check-cfg/cargo-specifics.html> 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 <https://doc.rust-lang.org/nightly/rustc/check-cfg/cargo-specifics.html> 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 <https://doc.rust-lang.org/nightly/rustc/check-cfg/cargo-specifics.html> 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 <https://doc.rust-lang.org/nightly/rustc/check-cfg/cargo-specifics.html> 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 <https://doc.rust-lang.org/nightly/rustc/check-cfg/cargo-specifics.html> 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 <https://doc.rust-lang.org/nightly/rustc/check-cfg/cargo-specifics.html> 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 <https://doc.rust-lang.org/nightly/rustc/check-cfg/cargo-specifics.html> 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 <https://doc.rust-lang.org/nightly/rustc/check-cfg/cargo-specifics.html> 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 <https://doc.rust-lang.org/nightly/rustc/check-cfg/cargo-specifics.html> 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 <https://doc.rust-lang.org/nightly/rustc/check-cfg/cargo-specifics.html> 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 <https://doc.rust-lang.org/nightly/rustc/check-cfg/cargo-specifics.html> 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 <https://doc.rust-lang.org/nightly/rustc/check-cfg/cargo-specifics.html> 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 <https://doc.rust-lang.org/nightly/rustc/check-cfg/cargo-specifics.html> for more information about checking conditional configuration
[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 142 others
[INFO] [stdout]     = note: required for `TypeValueGenerator<s2n_codec::zerocopy::U16>` 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[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 142 others
[INFO] [stdout]     = note: required for `TypeValueGenerator<s2n_codec::zerocopy::U16>` 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] 351 | |     }
[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 142 others
[INFO] [stdout]     = note: required for `TypeValueGenerator<s2n_codec::zerocopy::U16>` 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[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 142 others
[INFO] [stdout]     = note: required for `TypeValueGenerator<s2n_codec::zerocopy::U16>` 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 142 others
[INFO] [stdout]     = note: required for `TypeValueGenerator<s2n_codec::zerocopy::U16>` 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[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 142 others
[INFO] [stdout]     = note: required for `TypeValueGenerator<s2n_codec::zerocopy::U16>` 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 142 others
[INFO] [stdout]     = note: required for `TypeValueGenerator<s2n_codec::zerocopy::U16>` 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[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 142 others
[INFO] [stdout]     = note: required for `TypeValueGenerator<s2n_codec::zerocopy::U16>` 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] 420 | |     }
[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 142 others
[INFO] [stdout]     = note: required for `TypeValueGenerator<s2n_codec::zerocopy::U16>` 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[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 142 others
[INFO] [stdout]     = note: required for `TypeValueGenerator<s2n_codec::zerocopy::U16>` 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] 29 | |     }
[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 142 others
[INFO] [stdout]    = note: required for `TypeValueGenerator<s2n_codec::zerocopy::U16>` 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[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 142 others
[INFO] [stdout]    = note: required for `TypeValueGenerator<s2n_codec::zerocopy::U16>` 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 142 others
[INFO] [stdout]    = note: required for `TypeValueGenerator<u24>` 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 142 others
[INFO] [stdout]    = note: required for `TypeValueGenerator<u24>` to implement `bolero::ValueGenerator`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] Some errors have detailed explanations: E0277, 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 37 previous errors; 127 warnings emitted
[INFO] running `Command { std: "docker" "inspect" "be61b37b5465ca4ce43434427430f883eb081493492cd3b9500303062abc2869", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "be61b37b5465ca4ce43434427430f883eb081493492cd3b9500303062abc2869", kill_on_drop: false }`
[INFO] [stdout] be61b37b5465ca4ce43434427430f883eb081493492cd3b9500303062abc2869
