[INFO] fetching crate vest_lib 0.0.1...
[INFO] testing vest_lib-0.0.1 against master#0d162b25edd5bf0dba9a22e83b614f1113e90474 for pr-150681
[INFO] extracting crate vest_lib 0.0.1 into /workspace/builds/worker-0-tc1/source
[INFO] started tweaking crates.io crate vest_lib 0.0.1
[INFO] finished tweaking crates.io crate vest_lib 0.0.1
[INFO] tweaked toml for crates.io crate vest_lib 0.0.1 written to /workspace/builds/worker-0-tc1/source/Cargo.toml
[INFO] validating manifest of crates.io crate vest_lib 0.0.1 on toolchain 0d162b25edd5bf0dba9a22e83b614f1113e90474
[INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+0d162b25edd5bf0dba9a22e83b614f1113e90474" "metadata" "--manifest-path" "Cargo.toml" "--no-deps", kill_on_drop: false }`
[INFO] crate crates.io crate vest_lib 0.0.1 already has a lockfile, it will not be regenerated
[INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+0d162b25edd5bf0dba9a22e83b614f1113e90474" "fetch" "--manifest-path" "Cargo.toml", kill_on_drop: false }`
[INFO] [stderr]     Updating crates.io index
[INFO] [stderr]  Downloading crates ...
[INFO] [stderr]   Downloaded verus_builtin v0.0.0-2025-12-28-0056
[INFO] [stderr]   Downloaded verus_prettyplease v0.0.0-2025-11-16-0050
[INFO] [stderr]   Downloaded verus_builtin_macros v0.0.0-2025-12-07-0054
[INFO] [stderr]   Downloaded vstd v0.0.0-2025-12-28-0056
[INFO] [stderr]   Downloaded verus_state_machines_macros v0.0.0-2025-11-23-0053
[INFO] [stderr]   Downloaded verus_syn v0.0.0-2025-11-16-0050
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-0-tc1/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-0-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:845e597a41426bbf2703be69acdb67d10b6de511142d05cba7bbe119c898b2c7" "/opt/rustwide/cargo-home/bin/cargo" "+0d162b25edd5bf0dba9a22e83b614f1113e90474" "metadata" "--no-deps" "--format-version=1", kill_on_drop: false }`
[INFO] [stdout] 42722a676c1d5bf373c7e524fe0db848b53f4f189231bf2e697629ca5e147b82
[INFO] running `Command { std: "docker" "start" "-a" "42722a676c1d5bf373c7e524fe0db848b53f4f189231bf2e697629ca5e147b82", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "inspect" "42722a676c1d5bf373c7e524fe0db848b53f4f189231bf2e697629ca5e147b82", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "42722a676c1d5bf373c7e524fe0db848b53f4f189231bf2e697629ca5e147b82", kill_on_drop: false }`
[INFO] [stdout] 42722a676c1d5bf373c7e524fe0db848b53f4f189231bf2e697629ca5e147b82
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-0-tc1/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-0-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:845e597a41426bbf2703be69acdb67d10b6de511142d05cba7bbe119c898b2c7" "/opt/rustwide/cargo-home/bin/cargo" "+0d162b25edd5bf0dba9a22e83b614f1113e90474" "build" "--frozen" "--message-format=json", kill_on_drop: false }`
[INFO] [stdout] 4628841f774fc36bd70dc44f50238d3184437bd24bcb5b7747d18047193c598e
[INFO] running `Command { std: "docker" "start" "-a" "4628841f774fc36bd70dc44f50238d3184437bd24bcb5b7747d18047193c598e", kill_on_drop: false }`
[INFO] [stderr]    Compiling proc-macro2 v1.0.104
[INFO] [stderr]    Compiling verus_prettyplease v0.0.0-2025-11-16-0050
[INFO] [stderr]    Compiling hashbrown v0.12.3
[INFO] [stderr]    Compiling vstd v0.0.0-2025-12-28-0056
[INFO] [stderr]    Compiling verus_builtin v0.0.0-2025-12-28-0056
[INFO] [stderr]    Compiling indexmap v1.9.3
[INFO] [stderr]    Compiling quote v1.0.42
[INFO] [stderr]    Compiling verus_syn v0.0.0-2025-11-16-0050
[INFO] [stderr]    Compiling syn v2.0.112
[INFO] [stderr]    Compiling synstructure v0.13.2
[INFO] [stderr]    Compiling verus_state_machines_macros v0.0.0-2025-11-23-0053
[INFO] [stderr]    Compiling verus_builtin_macros v0.0.0-2025-12-07-0054
[INFO] [stderr]    Compiling vest_lib v0.0.1 (/opt/rustwide/workdir)
[INFO] [stdout] warning: unused import: `vstd::assert_seqs_equal`
[INFO] [stdout]  --> src/regular/leb128.rs:4:5
[INFO] [stdout]   |
[INFO] [stdout] 4 | use vstd::assert_seqs_equal;
[INFO] [stdout]   |     ^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout]   |
[INFO] [stdout]   = note: `#[warn(unused_imports)]` (part of `#[warn(unused)]`) on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused import: `uint_size`
[INFO] [stdout]   --> src/regular/leb128.rs:27:16
[INFO] [stdout]    |
[INFO] [stdout] 27 | pub(super) use uint_size;
[INFO] [stdout]    |                ^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused import: `is_high_8_bit_set`
[INFO] [stdout]   --> src/regular/leb128.rs:35:16
[INFO] [stdout]    |
[INFO] [stdout] 35 | pub(crate) use is_high_8_bit_set;
[INFO] [stdout]    |                ^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused import: `take_low_7_bits`
[INFO] [stdout]   --> src/regular/leb128.rs:43:16
[INFO] [stdout]    |
[INFO] [stdout] 43 | pub(crate) use take_low_7_bits;
[INFO] [stdout]    |                ^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused import: `set_high_8_bit`
[INFO] [stdout]   --> src/regular/leb128.rs:53:16
[INFO] [stdout]    |
[INFO] [stdout] 53 | pub(super) use set_high_8_bit;
[INFO] [stdout]    |                ^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused import: `n_bit_max_unsigned`
[INFO] [stdout]   --> src/regular/leb128.rs:61:16
[INFO] [stdout]    |
[INFO] [stdout] 61 | pub(super) use n_bit_max_unsigned;
[INFO] [stdout]    |                ^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused import: `vstd::seq_lib::*`
[INFO] [stdout]  --> src/regular/uints.rs:6:5
[INFO] [stdout]   |
[INFO] [stdout] 6 | use vstd::seq_lib::*;
[INFO] [stdout]   |     ^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unnecessary braces around assigned value
[INFO] [stdout]   --> src/regular/uints.rs:13:1
[INFO] [stdout]    |
[INFO] [stdout] 13 | global size_of u8 == 1;
[INFO] [stdout]    | ^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout]    |
[INFO] [stdout]    = note: `#[warn(unused_braces)]` (part of `#[warn(unused)]`) on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unnecessary braces around assigned value
[INFO] [stdout]   --> src/regular/uints.rs:15:1
[INFO] [stdout]    |
[INFO] [stdout] 15 | global size_of u16 == 2;
[INFO] [stdout]    | ^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unnecessary braces around assigned value
[INFO] [stdout]   --> src/regular/uints.rs:17:1
[INFO] [stdout]    |
[INFO] [stdout] 17 | global size_of u32 == 4;
[INFO] [stdout]    | ^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unnecessary braces around assigned value
[INFO] [stdout]   --> src/regular/uints.rs:19:1
[INFO] [stdout]    |
[INFO] [stdout] 19 | global size_of u64 == 8;
[INFO] [stdout]    | ^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unnecessary braces around assigned value
[INFO] [stdout]   --> src/regular/uints.rs:21:1
[INFO] [stdout]    |
[INFO] [stdout] 21 | global size_of usize == 8;
[INFO] [stdout]    | ^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unexpected `cfg` condition name: `verus_keep_ghost`
[INFO] [stdout]   --> src/errors.rs:40:7
[INFO] [stdout]    |
[INFO] [stdout] 40 | #[cfg(verus_keep_ghost)]
[INFO] [stdout]    |       ^^^^^^^^^^^^^^^^
[INFO] [stdout]    |
[INFO] [stdout]    = help: expected names are: `docsrs`, `feature`, and `test` and 31 more
[INFO] [stdout]    = help: consider using a Cargo feature instead
[INFO] [stdout]    = help: or consider adding in `Cargo.toml` the `check-cfg` lint config for the lint:
[INFO] [stdout]             [lints.rust]
[INFO] [stdout]             unexpected_cfgs = { level = "warn", check-cfg = ['cfg(verus_keep_ghost)'] }
[INFO] [stdout]    = help: or consider adding `println!("cargo::rustc-check-cfg=cfg(verus_keep_ghost)");` 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: `#[warn(unexpected_cfgs)]` on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unexpected `cfg` condition name: `verus_keep_ghost`
[INFO] [stdout]   --> src/errors.rs:51:7
[INFO] [stdout]    |
[INFO] [stdout] 51 | #[cfg(verus_keep_ghost)]
[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(verus_keep_ghost)'] }
[INFO] [stdout]    = help: or consider adding `println!("cargo::rustc-check-cfg=cfg(verus_keep_ghost)");` 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 variable: `v`
[INFO] [stdout]    --> src/regular/bytes.rs:100:22
[INFO] [stdout]     |
[INFO] [stdout] 100 |     fn length(&self, v: Self::SType) -> usize {
[INFO] [stdout]     |                      ^ help: if this is intentional, prefix it with an underscore: `_v`
[INFO] [stdout]     |
[INFO] [stdout]     = note: `#[warn(unused_variables)]` (part of `#[warn(unused)]`) on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `v`
[INFO] [stdout]    --> src/regular/bytes.rs:197:22
[INFO] [stdout]     |
[INFO] [stdout] 197 |     fn length(&self, v: Self::SType) -> usize {
[INFO] [stdout]     |                      ^ help: if this is intentional, prefix it with an underscore: `_v`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `i`
[INFO] [stdout]    --> src/regular/repetition.rs:382:13
[INFO] [stdout]     |
[INFO] [stdout] 382 |         for i in 0..self.1
[INFO] [stdout]     |             ^ help: if this is intentional, prefix it with an underscore: `_i`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `data`
[INFO] [stdout]   --> src/regular/success.rs:68:42
[INFO] [stdout]    |
[INFO] [stdout] 68 |     fn serialize(&self, _v: Self::SType, data: &mut O, pos: usize) -> (res: Result<
[INFO] [stdout]    |                                          ^^^^ help: if this is intentional, prefix it with an underscore: `_data`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `pos`
[INFO] [stdout]   --> src/regular/success.rs:68:56
[INFO] [stdout]    |
[INFO] [stdout] 68 |     fn serialize(&self, _v: Self::SType, data: &mut O, pos: usize) -> (res: Result<
[INFO] [stdout]    |                                                        ^^^ help: if this is intentional, prefix it with an underscore: `_pos`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `v`
[INFO] [stdout]    --> src/regular/tag.rs:157:34
[INFO] [stdout]     |
[INFO] [stdout] 157 |                 fn length(&self, v: Self::SType) -> usize {
[INFO] [stdout]     |                                  ^
[INFO] [stdout] ...
[INFO] [stdout] 178 | impl_combinator_for_uint_tag!(U8, u8);
[INFO] [stdout]     | ------------------------------------- in this macro invocation
[INFO] [stdout]     |
[INFO] [stdout] help: `v` is captured in macro and introduced a unused variable
[INFO] [stdout]    --> src/regular/tag.rs:157:34
[INFO] [stdout]     |
[INFO] [stdout] 157 |                 fn length(&self, v: Self::SType) -> usize {
[INFO] [stdout]     |                                  ^
[INFO] [stdout] ...
[INFO] [stdout] 178 | impl_combinator_for_uint_tag!(U8, u8);
[INFO] [stdout]     | ------------------------------------- in this macro invocation
[INFO] [stdout]     = note: this warning originates in the macro `impl_combinator_for_uint_tag` (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `v`
[INFO] [stdout]    --> src/regular/tag.rs:170:37
[INFO] [stdout]     |
[INFO] [stdout] 170 |                 fn serialize(&self, v: Self::SType, data: &mut O, pos: usize) -> Result<usize, SerializeError> {
[INFO] [stdout]     |                                     ^
[INFO] [stdout] ...
[INFO] [stdout] 178 | impl_combinator_for_uint_tag!(U8, u8);
[INFO] [stdout]     | ------------------------------------- in this macro invocation
[INFO] [stdout]     |
[INFO] [stdout] help: `v` is captured in macro and introduced a unused variable
[INFO] [stdout]    --> src/regular/tag.rs:170:37
[INFO] [stdout]     |
[INFO] [stdout] 170 |                 fn serialize(&self, v: Self::SType, data: &mut O, pos: usize) -> Result<usize, SerializeError> {
[INFO] [stdout]     |                                     ^
[INFO] [stdout] ...
[INFO] [stdout] 178 | impl_combinator_for_uint_tag!(U8, u8);
[INFO] [stdout]     | ------------------------------------- in this macro invocation
[INFO] [stdout]     = note: this warning originates in the macro `impl_combinator_for_uint_tag` (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `v`
[INFO] [stdout]    --> src/regular/tag.rs:157:34
[INFO] [stdout]     |
[INFO] [stdout] 157 |                 fn length(&self, v: Self::SType) -> usize {
[INFO] [stdout]     |                                  ^
[INFO] [stdout] ...
[INFO] [stdout] 180 | impl_combinator_for_uint_tag!(U16Le, u16);
[INFO] [stdout]     | ----------------------------------------- in this macro invocation
[INFO] [stdout]     |
[INFO] [stdout] help: `v` is captured in macro and introduced a unused variable
[INFO] [stdout]    --> src/regular/tag.rs:157:34
[INFO] [stdout]     |
[INFO] [stdout] 157 |                 fn length(&self, v: Self::SType) -> usize {
[INFO] [stdout]     |                                  ^
[INFO] [stdout] ...
[INFO] [stdout] 180 | impl_combinator_for_uint_tag!(U16Le, u16);
[INFO] [stdout]     | ----------------------------------------- in this macro invocation
[INFO] [stdout]     = note: this warning originates in the macro `impl_combinator_for_uint_tag` (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `v`
[INFO] [stdout]    --> src/regular/tag.rs:170:37
[INFO] [stdout]     |
[INFO] [stdout] 170 |                 fn serialize(&self, v: Self::SType, data: &mut O, pos: usize) -> Result<usize, SerializeError> {
[INFO] [stdout]     |                                     ^
[INFO] [stdout] ...
[INFO] [stdout] 180 | impl_combinator_for_uint_tag!(U16Le, u16);
[INFO] [stdout]     | ----------------------------------------- in this macro invocation
[INFO] [stdout]     |
[INFO] [stdout] help: `v` is captured in macro and introduced a unused variable
[INFO] [stdout]    --> src/regular/tag.rs:170:37
[INFO] [stdout]     |
[INFO] [stdout] 170 |                 fn serialize(&self, v: Self::SType, data: &mut O, pos: usize) -> Result<usize, SerializeError> {
[INFO] [stdout]     |                                     ^
[INFO] [stdout] ...
[INFO] [stdout] 180 | impl_combinator_for_uint_tag!(U16Le, u16);
[INFO] [stdout]     | ----------------------------------------- in this macro invocation
[INFO] [stdout]     = note: this warning originates in the macro `impl_combinator_for_uint_tag` (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `v`
[INFO] [stdout]    --> src/regular/tag.rs:157:34
[INFO] [stdout]     |
[INFO] [stdout] 157 |                 fn length(&self, v: Self::SType) -> usize {
[INFO] [stdout]     |                                  ^
[INFO] [stdout] ...
[INFO] [stdout] 183 | impl_combinator_for_uint_tag!(U32Le, u32);
[INFO] [stdout]     | ----------------------------------------- in this macro invocation
[INFO] [stdout]     |
[INFO] [stdout] help: `v` is captured in macro and introduced a unused variable
[INFO] [stdout]    --> src/regular/tag.rs:157:34
[INFO] [stdout]     |
[INFO] [stdout] 157 |                 fn length(&self, v: Self::SType) -> usize {
[INFO] [stdout]     |                                  ^
[INFO] [stdout] ...
[INFO] [stdout] 183 | impl_combinator_for_uint_tag!(U32Le, u32);
[INFO] [stdout]     | ----------------------------------------- in this macro invocation
[INFO] [stdout]     = note: this warning originates in the macro `impl_combinator_for_uint_tag` (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `v`
[INFO] [stdout]    --> src/regular/tag.rs:170:37
[INFO] [stdout]     |
[INFO] [stdout] 170 |                 fn serialize(&self, v: Self::SType, data: &mut O, pos: usize) -> Result<usize, SerializeError> {
[INFO] [stdout]     |                                     ^
[INFO] [stdout] ...
[INFO] [stdout] 183 | impl_combinator_for_uint_tag!(U32Le, u32);
[INFO] [stdout]     | ----------------------------------------- in this macro invocation
[INFO] [stdout]     |
[INFO] [stdout] help: `v` is captured in macro and introduced a unused variable
[INFO] [stdout]    --> src/regular/tag.rs:170:37
[INFO] [stdout]     |
[INFO] [stdout] 170 |                 fn serialize(&self, v: Self::SType, data: &mut O, pos: usize) -> Result<usize, SerializeError> {
[INFO] [stdout]     |                                     ^
[INFO] [stdout] ...
[INFO] [stdout] 183 | impl_combinator_for_uint_tag!(U32Le, u32);
[INFO] [stdout]     | ----------------------------------------- in this macro invocation
[INFO] [stdout]     = note: this warning originates in the macro `impl_combinator_for_uint_tag` (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `v`
[INFO] [stdout]    --> src/regular/tag.rs:157:34
[INFO] [stdout]     |
[INFO] [stdout] 157 |                 fn length(&self, v: Self::SType) -> usize {
[INFO] [stdout]     |                                  ^
[INFO] [stdout] ...
[INFO] [stdout] 185 | impl_combinator_for_uint_tag!(U64Le, u64);
[INFO] [stdout]     | ----------------------------------------- in this macro invocation
[INFO] [stdout]     |
[INFO] [stdout] help: `v` is captured in macro and introduced a unused variable
[INFO] [stdout]    --> src/regular/tag.rs:157:34
[INFO] [stdout]     |
[INFO] [stdout] 157 |                 fn length(&self, v: Self::SType) -> usize {
[INFO] [stdout]     |                                  ^
[INFO] [stdout] ...
[INFO] [stdout] 185 | impl_combinator_for_uint_tag!(U64Le, u64);
[INFO] [stdout]     | ----------------------------------------- in this macro invocation
[INFO] [stdout]     = note: this warning originates in the macro `impl_combinator_for_uint_tag` (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `v`
[INFO] [stdout]    --> src/regular/tag.rs:170:37
[INFO] [stdout]     |
[INFO] [stdout] 170 |                 fn serialize(&self, v: Self::SType, data: &mut O, pos: usize) -> Result<usize, SerializeError> {
[INFO] [stdout]     |                                     ^
[INFO] [stdout] ...
[INFO] [stdout] 185 | impl_combinator_for_uint_tag!(U64Le, u64);
[INFO] [stdout]     | ----------------------------------------- in this macro invocation
[INFO] [stdout]     |
[INFO] [stdout] help: `v` is captured in macro and introduced a unused variable
[INFO] [stdout]    --> src/regular/tag.rs:170:37
[INFO] [stdout]     |
[INFO] [stdout] 170 |                 fn serialize(&self, v: Self::SType, data: &mut O, pos: usize) -> Result<usize, SerializeError> {
[INFO] [stdout]     |                                     ^
[INFO] [stdout] ...
[INFO] [stdout] 185 | impl_combinator_for_uint_tag!(U64Le, u64);
[INFO] [stdout]     | ----------------------------------------- in this macro invocation
[INFO] [stdout]     = note: this warning originates in the macro `impl_combinator_for_uint_tag` (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `v`
[INFO] [stdout]    --> src/regular/tag.rs:157:34
[INFO] [stdout]     |
[INFO] [stdout] 157 |                 fn length(&self, v: Self::SType) -> usize {
[INFO] [stdout]     |                                  ^
[INFO] [stdout] ...
[INFO] [stdout] 187 | impl_combinator_for_uint_tag!(U16Be, u16);
[INFO] [stdout]     | ----------------------------------------- in this macro invocation
[INFO] [stdout]     |
[INFO] [stdout] help: `v` is captured in macro and introduced a unused variable
[INFO] [stdout]    --> src/regular/tag.rs:157:34
[INFO] [stdout]     |
[INFO] [stdout] 157 |                 fn length(&self, v: Self::SType) -> usize {
[INFO] [stdout]     |                                  ^
[INFO] [stdout] ...
[INFO] [stdout] 187 | impl_combinator_for_uint_tag!(U16Be, u16);
[INFO] [stdout]     | ----------------------------------------- in this macro invocation
[INFO] [stdout]     = note: this warning originates in the macro `impl_combinator_for_uint_tag` (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `v`
[INFO] [stdout]    --> src/regular/tag.rs:170:37
[INFO] [stdout]     |
[INFO] [stdout] 170 |                 fn serialize(&self, v: Self::SType, data: &mut O, pos: usize) -> Result<usize, SerializeError> {
[INFO] [stdout]     |                                     ^
[INFO] [stdout] ...
[INFO] [stdout] 187 | impl_combinator_for_uint_tag!(U16Be, u16);
[INFO] [stdout]     | ----------------------------------------- in this macro invocation
[INFO] [stdout]     |
[INFO] [stdout] help: `v` is captured in macro and introduced a unused variable
[INFO] [stdout]    --> src/regular/tag.rs:170:37
[INFO] [stdout]     |
[INFO] [stdout] 170 |                 fn serialize(&self, v: Self::SType, data: &mut O, pos: usize) -> Result<usize, SerializeError> {
[INFO] [stdout]     |                                     ^
[INFO] [stdout] ...
[INFO] [stdout] 187 | impl_combinator_for_uint_tag!(U16Be, u16);
[INFO] [stdout]     | ----------------------------------------- in this macro invocation
[INFO] [stdout]     = note: this warning originates in the macro `impl_combinator_for_uint_tag` (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `v`
[INFO] [stdout]    --> src/regular/tag.rs:157:34
[INFO] [stdout]     |
[INFO] [stdout] 157 |                 fn length(&self, v: Self::SType) -> usize {
[INFO] [stdout]     |                                  ^
[INFO] [stdout] ...
[INFO] [stdout] 190 | impl_combinator_for_uint_tag!(U32Be, u32);
[INFO] [stdout]     | ----------------------------------------- in this macro invocation
[INFO] [stdout]     |
[INFO] [stdout] help: `v` is captured in macro and introduced a unused variable
[INFO] [stdout]    --> src/regular/tag.rs:157:34
[INFO] [stdout]     |
[INFO] [stdout] 157 |                 fn length(&self, v: Self::SType) -> usize {
[INFO] [stdout]     |                                  ^
[INFO] [stdout] ...
[INFO] [stdout] 190 | impl_combinator_for_uint_tag!(U32Be, u32);
[INFO] [stdout]     | ----------------------------------------- in this macro invocation
[INFO] [stdout]     = note: this warning originates in the macro `impl_combinator_for_uint_tag` (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `v`
[INFO] [stdout]    --> src/regular/tag.rs:170:37
[INFO] [stdout]     |
[INFO] [stdout] 170 |                 fn serialize(&self, v: Self::SType, data: &mut O, pos: usize) -> Result<usize, SerializeError> {
[INFO] [stdout]     |                                     ^
[INFO] [stdout] ...
[INFO] [stdout] 190 | impl_combinator_for_uint_tag!(U32Be, u32);
[INFO] [stdout]     | ----------------------------------------- in this macro invocation
[INFO] [stdout]     |
[INFO] [stdout] help: `v` is captured in macro and introduced a unused variable
[INFO] [stdout]    --> src/regular/tag.rs:170:37
[INFO] [stdout]     |
[INFO] [stdout] 170 |                 fn serialize(&self, v: Self::SType, data: &mut O, pos: usize) -> Result<usize, SerializeError> {
[INFO] [stdout]     |                                     ^
[INFO] [stdout] ...
[INFO] [stdout] 190 | impl_combinator_for_uint_tag!(U32Be, u32);
[INFO] [stdout]     | ----------------------------------------- in this macro invocation
[INFO] [stdout]     = note: this warning originates in the macro `impl_combinator_for_uint_tag` (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `v`
[INFO] [stdout]    --> src/regular/tag.rs:157:34
[INFO] [stdout]     |
[INFO] [stdout] 157 |                 fn length(&self, v: Self::SType) -> usize {
[INFO] [stdout]     |                                  ^
[INFO] [stdout] ...
[INFO] [stdout] 192 | impl_combinator_for_uint_tag!(U64Be, u64);
[INFO] [stdout]     | ----------------------------------------- in this macro invocation
[INFO] [stdout]     |
[INFO] [stdout] help: `v` is captured in macro and introduced a unused variable
[INFO] [stdout]    --> src/regular/tag.rs:157:34
[INFO] [stdout]     |
[INFO] [stdout] 157 |                 fn length(&self, v: Self::SType) -> usize {
[INFO] [stdout]     |                                  ^
[INFO] [stdout] ...
[INFO] [stdout] 192 | impl_combinator_for_uint_tag!(U64Be, u64);
[INFO] [stdout]     | ----------------------------------------- in this macro invocation
[INFO] [stdout]     = note: this warning originates in the macro `impl_combinator_for_uint_tag` (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `v`
[INFO] [stdout]    --> src/regular/tag.rs:170:37
[INFO] [stdout]     |
[INFO] [stdout] 170 |                 fn serialize(&self, v: Self::SType, data: &mut O, pos: usize) -> Result<usize, SerializeError> {
[INFO] [stdout]     |                                     ^
[INFO] [stdout] ...
[INFO] [stdout] 192 | impl_combinator_for_uint_tag!(U64Be, u64);
[INFO] [stdout]     | ----------------------------------------- in this macro invocation
[INFO] [stdout]     |
[INFO] [stdout] help: `v` is captured in macro and introduced a unused variable
[INFO] [stdout]    --> src/regular/tag.rs:170:37
[INFO] [stdout]     |
[INFO] [stdout] 170 |                 fn serialize(&self, v: Self::SType, data: &mut O, pos: usize) -> Result<usize, SerializeError> {
[INFO] [stdout]     |                                     ^
[INFO] [stdout] ...
[INFO] [stdout] 192 | impl_combinator_for_uint_tag!(U64Be, u64);
[INFO] [stdout]     | ----------------------------------------- in this macro invocation
[INFO] [stdout]     = note: this warning originates in the macro `impl_combinator_for_uint_tag` (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `v`
[INFO] [stdout]    --> src/regular/tag.rs:157:34
[INFO] [stdout]     |
[INFO] [stdout] 157 |                 fn length(&self, v: Self::SType) -> usize {
[INFO] [stdout]     |                                  ^
[INFO] [stdout] ...
[INFO] [stdout] 194 | impl_combinator_for_uint_tag!(UnsignedLEB128, UInt);
[INFO] [stdout]     | --------------------------------------------------- in this macro invocation
[INFO] [stdout]     |
[INFO] [stdout] help: `v` is captured in macro and introduced a unused variable
[INFO] [stdout]    --> src/regular/tag.rs:157:34
[INFO] [stdout]     |
[INFO] [stdout] 157 |                 fn length(&self, v: Self::SType) -> usize {
[INFO] [stdout]     |                                  ^
[INFO] [stdout] ...
[INFO] [stdout] 194 | impl_combinator_for_uint_tag!(UnsignedLEB128, UInt);
[INFO] [stdout]     | --------------------------------------------------- in this macro invocation
[INFO] [stdout]     = note: this warning originates in the macro `impl_combinator_for_uint_tag` (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `v`
[INFO] [stdout]    --> src/regular/tag.rs:170:37
[INFO] [stdout]     |
[INFO] [stdout] 170 |                 fn serialize(&self, v: Self::SType, data: &mut O, pos: usize) -> Result<usize, SerializeError> {
[INFO] [stdout]     |                                     ^
[INFO] [stdout] ...
[INFO] [stdout] 194 | impl_combinator_for_uint_tag!(UnsignedLEB128, UInt);
[INFO] [stdout]     | --------------------------------------------------- in this macro invocation
[INFO] [stdout]     |
[INFO] [stdout] help: `v` is captured in macro and introduced a unused variable
[INFO] [stdout]    --> src/regular/tag.rs:170:37
[INFO] [stdout]     |
[INFO] [stdout] 170 |                 fn serialize(&self, v: Self::SType, data: &mut O, pos: usize) -> Result<usize, SerializeError> {
[INFO] [stdout]     |                                     ^
[INFO] [stdout] ...
[INFO] [stdout] 194 | impl_combinator_for_uint_tag!(UnsignedLEB128, UInt);
[INFO] [stdout]     | --------------------------------------------------- in this macro invocation
[INFO] [stdout]     = note: this warning originates in the macro `impl_combinator_for_uint_tag` (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `v`
[INFO] [stdout]    --> src/regular/tag.rs:217:25
[INFO] [stdout]     |
[INFO] [stdout] 217 |     fn serialize(&self, v: Self::SType, data: &mut Vec<u8>, pos: usize) -> Result<
[INFO] [stdout]     |                         ^ help: if this is intentional, prefix it with an underscore: `_v`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `v`
[INFO] [stdout]     --> src/regular/uints.rs:1090:22
[INFO] [stdout]      |
[INFO] [stdout] 1090 |     fn length(&self, v: Self::SType) -> usize {
[INFO] [stdout]      |                      ^ help: if this is intentional, prefix it with an underscore: `_v`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `v`
[INFO] [stdout]     --> src/regular/uints.rs:1193:22
[INFO] [stdout]      |
[INFO] [stdout] 1193 |     fn length(&self, v: Self::SType) -> usize {
[INFO] [stdout]      |                      ^ help: if this is intentional, prefix it with an underscore: `_v`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: type alias `SpecBtcVarintInner` is never used
[INFO] [stdout]   --> src/bitcoin/varint.rs:96:6
[INFO] [stdout]    |
[INFO] [stdout] 96 | type SpecBtcVarintInner = TryMap<SpecPair<U8, VarintChoice>, VarIntMapper>;
[INFO] [stdout]    |      ^^^^^^^^^^^^^^^^^^
[INFO] [stdout]    |
[INFO] [stdout]    = note: `#[warn(dead_code)]` (part of `#[warn(unused)]`) on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stderr]     Finished `dev` profile [unoptimized + debuginfo] target(s) in 21.83s
[INFO] running `Command { std: "docker" "inspect" "4628841f774fc36bd70dc44f50238d3184437bd24bcb5b7747d18047193c598e", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "4628841f774fc36bd70dc44f50238d3184437bd24bcb5b7747d18047193c598e", kill_on_drop: false }`
[INFO] [stdout] 4628841f774fc36bd70dc44f50238d3184437bd24bcb5b7747d18047193c598e
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-0-tc1/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-0-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:845e597a41426bbf2703be69acdb67d10b6de511142d05cba7bbe119c898b2c7" "/opt/rustwide/cargo-home/bin/cargo" "+0d162b25edd5bf0dba9a22e83b614f1113e90474" "test" "--frozen" "--no-run" "--message-format=json", kill_on_drop: false }`
[INFO] [stdout] 74ffd18f05275af8f37f60504ba8af7838eebc264501318940730daa3246427e
[INFO] running `Command { std: "docker" "start" "-a" "74ffd18f05275af8f37f60504ba8af7838eebc264501318940730daa3246427e", kill_on_drop: false }`
[INFO] [stdout] warning: unused import: `vstd::assert_seqs_equal`
[INFO] [stdout]  --> src/regular/leb128.rs:4:5
[INFO] [stdout]   |
[INFO] [stdout] 4 | use vstd::assert_seqs_equal;
[INFO] [stdout]   |     ^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout]   |
[INFO] [stdout]   = note: `#[warn(unused_imports)]` (part of `#[warn(unused)]`) on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused import: `uint_size`
[INFO] [stdout]   --> src/regular/leb128.rs:27:16
[INFO] [stdout]    |
[INFO] [stdout] 27 | pub(super) use uint_size;
[INFO] [stdout]    |                ^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused import: `is_high_8_bit_set`
[INFO] [stdout]   --> src/regular/leb128.rs:35:16
[INFO] [stdout]    |
[INFO] [stdout] 35 | pub(crate) use is_high_8_bit_set;
[INFO] [stdout]    |                ^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused import: `take_low_7_bits`
[INFO] [stdout]   --> src/regular/leb128.rs:43:16
[INFO] [stdout]    |
[INFO] [stdout] 43 | pub(crate) use take_low_7_bits;
[INFO] [stdout]    |                ^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused import: `set_high_8_bit`
[INFO] [stdout]   --> src/regular/leb128.rs:53:16
[INFO] [stdout]    |
[INFO] [stdout] 53 | pub(super) use set_high_8_bit;
[INFO] [stdout]    |                ^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused import: `n_bit_max_unsigned`
[INFO] [stdout]   --> src/regular/leb128.rs:61:16
[INFO] [stdout]    |
[INFO] [stdout] 61 | pub(super) use n_bit_max_unsigned;
[INFO] [stdout]    |                ^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused import: `vstd::seq_lib::*`
[INFO] [stdout]  --> src/regular/uints.rs:6:5
[INFO] [stdout]   |
[INFO] [stdout] 6 | use vstd::seq_lib::*;
[INFO] [stdout]   |     ^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unnecessary braces around assigned value
[INFO] [stdout]   --> src/regular/uints.rs:13:1
[INFO] [stdout]    |
[INFO] [stdout] 13 | global size_of u8 == 1;
[INFO] [stdout]    | ^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout]    |
[INFO] [stdout]    = note: `#[warn(unused_braces)]` (part of `#[warn(unused)]`) on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unnecessary braces around assigned value
[INFO] [stdout]   --> src/regular/uints.rs:15:1
[INFO] [stdout]    |
[INFO] [stdout] 15 | global size_of u16 == 2;
[INFO] [stdout]    | ^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unnecessary braces around assigned value
[INFO] [stdout]   --> src/regular/uints.rs:17:1
[INFO] [stdout]    |
[INFO] [stdout] 17 | global size_of u32 == 4;
[INFO] [stdout]    | ^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unnecessary braces around assigned value
[INFO] [stdout]   --> src/regular/uints.rs:19:1
[INFO] [stdout]    |
[INFO] [stdout] 19 | global size_of u64 == 8;
[INFO] [stdout]    | ^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unnecessary braces around assigned value
[INFO] [stdout]   --> src/regular/uints.rs:21:1
[INFO] [stdout]    |
[INFO] [stdout] 21 | global size_of usize == 8;
[INFO] [stdout]    | ^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unexpected `cfg` condition name: `verus_keep_ghost`
[INFO] [stdout]   --> src/errors.rs:40:7
[INFO] [stdout]    |
[INFO] [stdout] 40 | #[cfg(verus_keep_ghost)]
[INFO] [stdout]    |       ^^^^^^^^^^^^^^^^
[INFO] [stdout]    |
[INFO] [stdout]    = help: expected names are: `docsrs`, `feature`, and `test` and 31 more
[INFO] [stdout]    = help: consider using a Cargo feature instead
[INFO] [stdout]    = help: or consider adding in `Cargo.toml` the `check-cfg` lint config for the lint:
[INFO] [stdout]             [lints.rust]
[INFO] [stdout]             unexpected_cfgs = { level = "warn", check-cfg = ['cfg(verus_keep_ghost)'] }
[INFO] [stdout]    = help: or consider adding `println!("cargo::rustc-check-cfg=cfg(verus_keep_ghost)");` 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: `#[warn(unexpected_cfgs)]` on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unexpected `cfg` condition name: `verus_keep_ghost`
[INFO] [stdout]   --> src/errors.rs:51:7
[INFO] [stdout]    |
[INFO] [stdout] 51 | #[cfg(verus_keep_ghost)]
[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(verus_keep_ghost)'] }
[INFO] [stdout]    = help: or consider adding `println!("cargo::rustc-check-cfg=cfg(verus_keep_ghost)");` 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 variable: `v`
[INFO] [stdout]    --> src/regular/bytes.rs:100:22
[INFO] [stdout]     |
[INFO] [stdout] 100 |     fn length(&self, v: Self::SType) -> usize {
[INFO] [stdout]     |                      ^ help: if this is intentional, prefix it with an underscore: `_v`
[INFO] [stdout]     |
[INFO] [stdout]     = note: `#[warn(unused_variables)]` (part of `#[warn(unused)]`) on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `v`
[INFO] [stdout]    --> src/regular/bytes.rs:197:22
[INFO] [stdout]     |
[INFO] [stdout] 197 |     fn length(&self, v: Self::SType) -> usize {
[INFO] [stdout]     |                      ^ help: if this is intentional, prefix it with an underscore: `_v`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `i`
[INFO] [stdout]    --> src/regular/repetition.rs:382:13
[INFO] [stdout]     |
[INFO] [stdout] 382 |         for i in 0..self.1
[INFO] [stdout]     |             ^ help: if this is intentional, prefix it with an underscore: `_i`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `data`
[INFO] [stdout]   --> src/regular/success.rs:68:42
[INFO] [stdout]    |
[INFO] [stdout] 68 |     fn serialize(&self, _v: Self::SType, data: &mut O, pos: usize) -> (res: Result<
[INFO] [stdout]    |                                          ^^^^ help: if this is intentional, prefix it with an underscore: `_data`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `pos`
[INFO] [stdout]   --> src/regular/success.rs:68:56
[INFO] [stdout]    |
[INFO] [stdout] 68 |     fn serialize(&self, _v: Self::SType, data: &mut O, pos: usize) -> (res: Result<
[INFO] [stdout]    |                                                        ^^^ help: if this is intentional, prefix it with an underscore: `_pos`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `v`
[INFO] [stdout]    --> src/regular/tag.rs:157:34
[INFO] [stdout]     |
[INFO] [stdout] 157 |                 fn length(&self, v: Self::SType) -> usize {
[INFO] [stdout]     |                                  ^
[INFO] [stdout] ...
[INFO] [stdout] 178 | impl_combinator_for_uint_tag!(U8, u8);
[INFO] [stdout]     | ------------------------------------- in this macro invocation
[INFO] [stdout]     |
[INFO] [stdout] help: `v` is captured in macro and introduced a unused variable
[INFO] [stdout]    --> src/regular/tag.rs:157:34
[INFO] [stdout]     |
[INFO] [stdout] 157 |                 fn length(&self, v: Self::SType) -> usize {
[INFO] [stdout]     |                                  ^
[INFO] [stdout] ...
[INFO] [stdout] 178 | impl_combinator_for_uint_tag!(U8, u8);
[INFO] [stdout]     | ------------------------------------- in this macro invocation
[INFO] [stdout]     = note: this warning originates in the macro `impl_combinator_for_uint_tag` (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `v`
[INFO] [stdout]    --> src/regular/tag.rs:170:37
[INFO] [stdout]     |
[INFO] [stdout] 170 |                 fn serialize(&self, v: Self::SType, data: &mut O, pos: usize) -> Result<usize, SerializeError> {
[INFO] [stdout]     |                                     ^
[INFO] [stdout] ...
[INFO] [stdout] 178 | impl_combinator_for_uint_tag!(U8, u8);
[INFO] [stdout]     | ------------------------------------- in this macro invocation
[INFO] [stdout]     |
[INFO] [stdout] help: `v` is captured in macro and introduced a unused variable
[INFO] [stdout]    --> src/regular/tag.rs:170:37
[INFO] [stdout]     |
[INFO] [stdout] 170 |                 fn serialize(&self, v: Self::SType, data: &mut O, pos: usize) -> Result<usize, SerializeError> {
[INFO] [stdout]     |                                     ^
[INFO] [stdout] ...
[INFO] [stdout] 178 | impl_combinator_for_uint_tag!(U8, u8);
[INFO] [stdout]     | ------------------------------------- in this macro invocation
[INFO] [stdout]     = note: this warning originates in the macro `impl_combinator_for_uint_tag` (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `v`
[INFO] [stdout]    --> src/regular/tag.rs:157:34
[INFO] [stdout]     |
[INFO] [stdout] 157 |                 fn length(&self, v: Self::SType) -> usize {
[INFO] [stdout]     |                                  ^
[INFO] [stdout] ...
[INFO] [stdout] 180 | impl_combinator_for_uint_tag!(U16Le, u16);
[INFO] [stdout]     | ----------------------------------------- in this macro invocation
[INFO] [stdout]     |
[INFO] [stdout] help: `v` is captured in macro and introduced a unused variable
[INFO] [stdout]    --> src/regular/tag.rs:157:34
[INFO] [stdout]     |
[INFO] [stdout] 157 |                 fn length(&self, v: Self::SType) -> usize {
[INFO] [stdout]     |                                  ^
[INFO] [stdout] ...
[INFO] [stdout] 180 | impl_combinator_for_uint_tag!(U16Le, u16);
[INFO] [stdout]     | ----------------------------------------- in this macro invocation
[INFO] [stdout]     = note: this warning originates in the macro `impl_combinator_for_uint_tag` (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `v`
[INFO] [stdout]    --> src/regular/tag.rs:170:37
[INFO] [stdout]     |
[INFO] [stdout] 170 |                 fn serialize(&self, v: Self::SType, data: &mut O, pos: usize) -> Result<usize, SerializeError> {
[INFO] [stdout]     |                                     ^
[INFO] [stdout] ...
[INFO] [stdout] 180 | impl_combinator_for_uint_tag!(U16Le, u16);
[INFO] [stdout]     | ----------------------------------------- in this macro invocation
[INFO] [stdout]     |
[INFO] [stdout] help: `v` is captured in macro and introduced a unused variable
[INFO] [stdout]    --> src/regular/tag.rs:170:37
[INFO] [stdout]     |
[INFO] [stdout] 170 |                 fn serialize(&self, v: Self::SType, data: &mut O, pos: usize) -> Result<usize, SerializeError> {
[INFO] [stdout]     |                                     ^
[INFO] [stdout] ...
[INFO] [stdout] 180 | impl_combinator_for_uint_tag!(U16Le, u16);
[INFO] [stdout]     | ----------------------------------------- in this macro invocation
[INFO] [stdout]     = note: this warning originates in the macro `impl_combinator_for_uint_tag` (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `v`
[INFO] [stdout]    --> src/regular/tag.rs:157:34
[INFO] [stdout]     |
[INFO] [stdout] 157 |                 fn length(&self, v: Self::SType) -> usize {
[INFO] [stdout]     |                                  ^
[INFO] [stdout] ...
[INFO] [stdout] 183 | impl_combinator_for_uint_tag!(U32Le, u32);
[INFO] [stdout]     | ----------------------------------------- in this macro invocation
[INFO] [stdout]     |
[INFO] [stdout] help: `v` is captured in macro and introduced a unused variable
[INFO] [stdout]    --> src/regular/tag.rs:157:34
[INFO] [stdout]     |
[INFO] [stdout] 157 |                 fn length(&self, v: Self::SType) -> usize {
[INFO] [stdout]     |                                  ^
[INFO] [stdout] ...
[INFO] [stdout] 183 | impl_combinator_for_uint_tag!(U32Le, u32);
[INFO] [stdout]     | ----------------------------------------- in this macro invocation
[INFO] [stdout]     = note: this warning originates in the macro `impl_combinator_for_uint_tag` (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `v`
[INFO] [stdout]    --> src/regular/tag.rs:170:37
[INFO] [stdout]     |
[INFO] [stdout] 170 |                 fn serialize(&self, v: Self::SType, data: &mut O, pos: usize) -> Result<usize, SerializeError> {
[INFO] [stdout]     |                                     ^
[INFO] [stdout] ...
[INFO] [stdout] 183 | impl_combinator_for_uint_tag!(U32Le, u32);
[INFO] [stdout]     | ----------------------------------------- in this macro invocation
[INFO] [stdout]     |
[INFO] [stdout] help: `v` is captured in macro and introduced a unused variable
[INFO] [stdout]    --> src/regular/tag.rs:170:37
[INFO] [stdout]     |
[INFO] [stdout] 170 |                 fn serialize(&self, v: Self::SType, data: &mut O, pos: usize) -> Result<usize, SerializeError> {
[INFO] [stdout]     |                                     ^
[INFO] [stdout] ...
[INFO] [stdout] 183 | impl_combinator_for_uint_tag!(U32Le, u32);
[INFO] [stdout]     | ----------------------------------------- in this macro invocation
[INFO] [stdout]     = note: this warning originates in the macro `impl_combinator_for_uint_tag` (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `v`
[INFO] [stdout]    --> src/regular/tag.rs:157:34
[INFO] [stdout]     |
[INFO] [stdout] 157 |                 fn length(&self, v: Self::SType) -> usize {
[INFO] [stdout]     |                                  ^
[INFO] [stdout] ...
[INFO] [stdout] 185 | impl_combinator_for_uint_tag!(U64Le, u64);
[INFO] [stdout]     | ----------------------------------------- in this macro invocation
[INFO] [stdout]     |
[INFO] [stdout] help: `v` is captured in macro and introduced a unused variable
[INFO] [stdout]    --> src/regular/tag.rs:157:34
[INFO] [stdout]     |
[INFO] [stdout] 157 |                 fn length(&self, v: Self::SType) -> usize {
[INFO] [stdout]     |                                  ^
[INFO] [stdout] ...
[INFO] [stdout] 185 | impl_combinator_for_uint_tag!(U64Le, u64);
[INFO] [stdout]     | ----------------------------------------- in this macro invocation
[INFO] [stdout]     = note: this warning originates in the macro `impl_combinator_for_uint_tag` (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `v`
[INFO] [stdout]    --> src/regular/tag.rs:170:37
[INFO] [stdout]     |
[INFO] [stdout] 170 |                 fn serialize(&self, v: Self::SType, data: &mut O, pos: usize) -> Result<usize, SerializeError> {
[INFO] [stdout]     |                                     ^
[INFO] [stdout] ...
[INFO] [stdout] 185 | impl_combinator_for_uint_tag!(U64Le, u64);
[INFO] [stdout]     | ----------------------------------------- in this macro invocation
[INFO] [stdout]     |
[INFO] [stdout] help: `v` is captured in macro and introduced a unused variable
[INFO] [stdout]    --> src/regular/tag.rs:170:37
[INFO] [stdout]     |
[INFO] [stdout] 170 |                 fn serialize(&self, v: Self::SType, data: &mut O, pos: usize) -> Result<usize, SerializeError> {
[INFO] [stdout]     |                                     ^
[INFO] [stdout] ...
[INFO] [stdout] 185 | impl_combinator_for_uint_tag!(U64Le, u64);
[INFO] [stdout]     | ----------------------------------------- in this macro invocation
[INFO] [stdout]     = note: this warning originates in the macro `impl_combinator_for_uint_tag` (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `v`
[INFO] [stdout]    --> src/regular/tag.rs:157:34
[INFO] [stdout]     |
[INFO] [stdout] 157 |                 fn length(&self, v: Self::SType) -> usize {
[INFO] [stdout]     |                                  ^
[INFO] [stdout] ...
[INFO] [stdout] 187 | impl_combinator_for_uint_tag!(U16Be, u16);
[INFO] [stdout]     | ----------------------------------------- in this macro invocation
[INFO] [stdout]     |
[INFO] [stdout] help: `v` is captured in macro and introduced a unused variable
[INFO] [stdout]    --> src/regular/tag.rs:157:34
[INFO] [stdout]     |
[INFO] [stdout] 157 |                 fn length(&self, v: Self::SType) -> usize {
[INFO] [stdout]     |                                  ^
[INFO] [stdout] ...
[INFO] [stdout] 187 | impl_combinator_for_uint_tag!(U16Be, u16);
[INFO] [stdout]     | ----------------------------------------- in this macro invocation
[INFO] [stdout]     = note: this warning originates in the macro `impl_combinator_for_uint_tag` (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stderr]    Compiling vest_lib v0.0.1 (/opt/rustwide/workdir)
[INFO] [stdout] warning: unused variable: `v`
[INFO] [stdout]    --> src/regular/tag.rs:170:37
[INFO] [stdout]     |
[INFO] [stdout] 170 |                 fn serialize(&self, v: Self::SType, data: &mut O, pos: usize) -> Result<usize, SerializeError> {
[INFO] [stdout]     |                                     ^
[INFO] [stdout] ...
[INFO] [stdout] 187 | impl_combinator_for_uint_tag!(U16Be, u16);
[INFO] [stdout]     | ----------------------------------------- in this macro invocation
[INFO] [stdout]     |
[INFO] [stdout] help: `v` is captured in macro and introduced a unused variable
[INFO] [stdout]    --> src/regular/tag.rs:170:37
[INFO] [stdout]     |
[INFO] [stdout] 170 |                 fn serialize(&self, v: Self::SType, data: &mut O, pos: usize) -> Result<usize, SerializeError> {
[INFO] [stdout]     |                                     ^
[INFO] [stdout] ...
[INFO] [stdout] 187 | impl_combinator_for_uint_tag!(U16Be, u16);
[INFO] [stdout]     | ----------------------------------------- in this macro invocation
[INFO] [stdout]     = note: this warning originates in the macro `impl_combinator_for_uint_tag` (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `v`
[INFO] [stdout]    --> src/regular/tag.rs:157:34
[INFO] [stdout]     |
[INFO] [stdout] 157 |                 fn length(&self, v: Self::SType) -> usize {
[INFO] [stdout]     |                                  ^
[INFO] [stdout] ...
[INFO] [stdout] 190 | impl_combinator_for_uint_tag!(U32Be, u32);
[INFO] [stdout]     | ----------------------------------------- in this macro invocation
[INFO] [stdout]     |
[INFO] [stdout] help: `v` is captured in macro and introduced a unused variable
[INFO] [stdout]    --> src/regular/tag.rs:157:34
[INFO] [stdout]     |
[INFO] [stdout] 157 |                 fn length(&self, v: Self::SType) -> usize {
[INFO] [stdout]     |                                  ^
[INFO] [stdout] ...
[INFO] [stdout] 190 | impl_combinator_for_uint_tag!(U32Be, u32);
[INFO] [stdout]     | ----------------------------------------- in this macro invocation
[INFO] [stdout]     = note: this warning originates in the macro `impl_combinator_for_uint_tag` (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `v`
[INFO] [stdout]    --> src/regular/tag.rs:170:37
[INFO] [stdout]     |
[INFO] [stdout] 170 |                 fn serialize(&self, v: Self::SType, data: &mut O, pos: usize) -> Result<usize, SerializeError> {
[INFO] [stdout]     |                                     ^
[INFO] [stdout] ...
[INFO] [stdout] 190 | impl_combinator_for_uint_tag!(U32Be, u32);
[INFO] [stdout]     | ----------------------------------------- in this macro invocation
[INFO] [stdout]     |
[INFO] [stdout] help: `v` is captured in macro and introduced a unused variable
[INFO] [stdout]    --> src/regular/tag.rs:170:37
[INFO] [stdout]     |
[INFO] [stdout] 170 |                 fn serialize(&self, v: Self::SType, data: &mut O, pos: usize) -> Result<usize, SerializeError> {
[INFO] [stdout]     |                                     ^
[INFO] [stdout] ...
[INFO] [stdout] 190 | impl_combinator_for_uint_tag!(U32Be, u32);
[INFO] [stdout]     | ----------------------------------------- in this macro invocation
[INFO] [stdout]     = note: this warning originates in the macro `impl_combinator_for_uint_tag` (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `v`
[INFO] [stdout]    --> src/regular/tag.rs:157:34
[INFO] [stdout]     |
[INFO] [stdout] 157 |                 fn length(&self, v: Self::SType) -> usize {
[INFO] [stdout]     |                                  ^
[INFO] [stdout] ...
[INFO] [stdout] 192 | impl_combinator_for_uint_tag!(U64Be, u64);
[INFO] [stdout]     | ----------------------------------------- in this macro invocation
[INFO] [stdout]     |
[INFO] [stdout] help: `v` is captured in macro and introduced a unused variable
[INFO] [stdout]    --> src/regular/tag.rs:157:34
[INFO] [stdout]     |
[INFO] [stdout] 157 |                 fn length(&self, v: Self::SType) -> usize {
[INFO] [stdout]     |                                  ^
[INFO] [stdout] ...
[INFO] [stdout] 192 | impl_combinator_for_uint_tag!(U64Be, u64);
[INFO] [stdout]     | ----------------------------------------- in this macro invocation
[INFO] [stdout]     = note: this warning originates in the macro `impl_combinator_for_uint_tag` (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `v`
[INFO] [stdout]    --> src/regular/tag.rs:170:37
[INFO] [stdout]     |
[INFO] [stdout] 170 |                 fn serialize(&self, v: Self::SType, data: &mut O, pos: usize) -> Result<usize, SerializeError> {
[INFO] [stdout]     |                                     ^
[INFO] [stdout] ...
[INFO] [stdout] 192 | impl_combinator_for_uint_tag!(U64Be, u64);
[INFO] [stdout]     | ----------------------------------------- in this macro invocation
[INFO] [stdout]     |
[INFO] [stdout] help: `v` is captured in macro and introduced a unused variable
[INFO] [stdout]    --> src/regular/tag.rs:170:37
[INFO] [stdout]     |
[INFO] [stdout] 170 |                 fn serialize(&self, v: Self::SType, data: &mut O, pos: usize) -> Result<usize, SerializeError> {
[INFO] [stdout]     |                                     ^
[INFO] [stdout] ...
[INFO] [stdout] 192 | impl_combinator_for_uint_tag!(U64Be, u64);
[INFO] [stdout]     | ----------------------------------------- in this macro invocation
[INFO] [stdout]     = note: this warning originates in the macro `impl_combinator_for_uint_tag` (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `v`
[INFO] [stdout]    --> src/regular/tag.rs:157:34
[INFO] [stdout]     |
[INFO] [stdout] 157 |                 fn length(&self, v: Self::SType) -> usize {
[INFO] [stdout]     |                                  ^
[INFO] [stdout] ...
[INFO] [stdout] 194 | impl_combinator_for_uint_tag!(UnsignedLEB128, UInt);
[INFO] [stdout]     | --------------------------------------------------- in this macro invocation
[INFO] [stdout]     |
[INFO] [stdout] help: `v` is captured in macro and introduced a unused variable
[INFO] [stdout]    --> src/regular/tag.rs:157:34
[INFO] [stdout]     |
[INFO] [stdout] 157 |                 fn length(&self, v: Self::SType) -> usize {
[INFO] [stdout]     |                                  ^
[INFO] [stdout] ...
[INFO] [stdout] 194 | impl_combinator_for_uint_tag!(UnsignedLEB128, UInt);
[INFO] [stdout]     | --------------------------------------------------- in this macro invocation
[INFO] [stdout]     = note: this warning originates in the macro `impl_combinator_for_uint_tag` (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `v`
[INFO] [stdout]    --> src/regular/tag.rs:170:37
[INFO] [stdout]     |
[INFO] [stdout] 170 |                 fn serialize(&self, v: Self::SType, data: &mut O, pos: usize) -> Result<usize, SerializeError> {
[INFO] [stdout]     |                                     ^
[INFO] [stdout] ...
[INFO] [stdout] 194 | impl_combinator_for_uint_tag!(UnsignedLEB128, UInt);
[INFO] [stdout]     | --------------------------------------------------- in this macro invocation
[INFO] [stdout]     |
[INFO] [stdout] help: `v` is captured in macro and introduced a unused variable
[INFO] [stdout]    --> src/regular/tag.rs:170:37
[INFO] [stdout]     |
[INFO] [stdout] 170 |                 fn serialize(&self, v: Self::SType, data: &mut O, pos: usize) -> Result<usize, SerializeError> {
[INFO] [stdout]     |                                     ^
[INFO] [stdout] ...
[INFO] [stdout] 194 | impl_combinator_for_uint_tag!(UnsignedLEB128, UInt);
[INFO] [stdout]     | --------------------------------------------------- in this macro invocation
[INFO] [stdout]     = note: this warning originates in the macro `impl_combinator_for_uint_tag` (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `v`
[INFO] [stdout]    --> src/regular/tag.rs:217:25
[INFO] [stdout]     |
[INFO] [stdout] 217 |     fn serialize(&self, v: Self::SType, data: &mut Vec<u8>, pos: usize) -> Result<
[INFO] [stdout]     |                         ^ help: if this is intentional, prefix it with an underscore: `_v`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `v`
[INFO] [stdout]     --> src/regular/uints.rs:1090:22
[INFO] [stdout]      |
[INFO] [stdout] 1090 |     fn length(&self, v: Self::SType) -> usize {
[INFO] [stdout]      |                      ^ help: if this is intentional, prefix it with an underscore: `_v`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `v`
[INFO] [stdout]     --> src/regular/uints.rs:1193:22
[INFO] [stdout]      |
[INFO] [stdout] 1193 |     fn length(&self, v: Self::SType) -> usize {
[INFO] [stdout]      |                      ^ help: if this is intentional, prefix it with an underscore: `_v`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: type alias `SpecBtcVarintInner` is never used
[INFO] [stdout]   --> src/bitcoin/varint.rs:96:6
[INFO] [stdout]    |
[INFO] [stdout] 96 | type SpecBtcVarintInner = TryMap<SpecPair<U8, VarintChoice>, VarIntMapper>;
[INFO] [stdout]    |      ^^^^^^^^^^^^^^^^^^
[INFO] [stdout]    |
[INFO] [stdout]    = note: `#[warn(dead_code)]` (part of `#[warn(unused)]`) on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused import: `super::*`
[INFO] [stdout]    --> src/bitcoin/varint.rs:494:9
[INFO] [stdout]     |
[INFO] [stdout] 494 |     use super::*;
[INFO] [stdout]     |         ^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout]     = note: `#[warn(unused_imports)]` (part of `#[warn(unused)]`) on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused import: `vstd::assert_seqs_equal`
[INFO] [stdout]  --> src/regular/leb128.rs:4:5
[INFO] [stdout]   |
[INFO] [stdout] 4 | use vstd::assert_seqs_equal;
[INFO] [stdout]   |     ^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused import: `uint_size`
[INFO] [stdout]   --> src/regular/leb128.rs:27:16
[INFO] [stdout]    |
[INFO] [stdout] 27 | pub(super) use uint_size;
[INFO] [stdout]    |                ^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused import: `is_high_8_bit_set`
[INFO] [stdout]   --> src/regular/leb128.rs:35:16
[INFO] [stdout]    |
[INFO] [stdout] 35 | pub(crate) use is_high_8_bit_set;
[INFO] [stdout]    |                ^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused import: `take_low_7_bits`
[INFO] [stdout]   --> src/regular/leb128.rs:43:16
[INFO] [stdout]    |
[INFO] [stdout] 43 | pub(crate) use take_low_7_bits;
[INFO] [stdout]    |                ^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused import: `set_high_8_bit`
[INFO] [stdout]   --> src/regular/leb128.rs:53:16
[INFO] [stdout]    |
[INFO] [stdout] 53 | pub(super) use set_high_8_bit;
[INFO] [stdout]    |                ^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused import: `n_bit_max_unsigned`
[INFO] [stdout]   --> src/regular/leb128.rs:61:16
[INFO] [stdout]    |
[INFO] [stdout] 61 | pub(super) use n_bit_max_unsigned;
[INFO] [stdout]    |                ^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused import: `vstd::seq_lib::*`
[INFO] [stdout]  --> src/regular/uints.rs:6:5
[INFO] [stdout]   |
[INFO] [stdout] 6 | use vstd::seq_lib::*;
[INFO] [stdout]   |     ^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unnecessary braces around assigned value
[INFO] [stdout]   --> src/regular/uints.rs:13:1
[INFO] [stdout]    |
[INFO] [stdout] 13 | global size_of u8 == 1;
[INFO] [stdout]    | ^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout]    |
[INFO] [stdout]    = note: `#[warn(unused_braces)]` (part of `#[warn(unused)]`) on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unnecessary braces around assigned value
[INFO] [stdout]   --> src/regular/uints.rs:15:1
[INFO] [stdout]    |
[INFO] [stdout] 15 | global size_of u16 == 2;
[INFO] [stdout]    | ^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unnecessary braces around assigned value
[INFO] [stdout]   --> src/regular/uints.rs:17:1
[INFO] [stdout]    |
[INFO] [stdout] 17 | global size_of u32 == 4;
[INFO] [stdout]    | ^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unnecessary braces around assigned value
[INFO] [stdout]   --> src/regular/uints.rs:19:1
[INFO] [stdout]    |
[INFO] [stdout] 19 | global size_of u64 == 8;
[INFO] [stdout]    | ^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unnecessary braces around assigned value
[INFO] [stdout]   --> src/regular/uints.rs:21:1
[INFO] [stdout]    |
[INFO] [stdout] 21 | global size_of usize == 8;
[INFO] [stdout]    | ^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unexpected `cfg` condition name: `verus_keep_ghost`
[INFO] [stdout]   --> src/errors.rs:40:7
[INFO] [stdout]    |
[INFO] [stdout] 40 | #[cfg(verus_keep_ghost)]
[INFO] [stdout]    |       ^^^^^^^^^^^^^^^^
[INFO] [stdout]    |
[INFO] [stdout]    = help: expected names are: `docsrs`, `feature`, and `test` and 31 more
[INFO] [stdout]    = help: consider using a Cargo feature instead
[INFO] [stdout]    = help: or consider adding in `Cargo.toml` the `check-cfg` lint config for the lint:
[INFO] [stdout]             [lints.rust]
[INFO] [stdout]             unexpected_cfgs = { level = "warn", check-cfg = ['cfg(verus_keep_ghost)'] }
[INFO] [stdout]    = help: or consider adding `println!("cargo::rustc-check-cfg=cfg(verus_keep_ghost)");` 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: `#[warn(unexpected_cfgs)]` on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unexpected `cfg` condition name: `verus_keep_ghost`
[INFO] [stdout]   --> src/errors.rs:51:7
[INFO] [stdout]    |
[INFO] [stdout] 51 | #[cfg(verus_keep_ghost)]
[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(verus_keep_ghost)'] }
[INFO] [stdout]    = help: or consider adding `println!("cargo::rustc-check-cfg=cfg(verus_keep_ghost)");` 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 variable: `v`
[INFO] [stdout]    --> src/regular/bytes.rs:100:22
[INFO] [stdout]     |
[INFO] [stdout] 100 |     fn length(&self, v: Self::SType) -> usize {
[INFO] [stdout]     |                      ^ help: if this is intentional, prefix it with an underscore: `_v`
[INFO] [stdout]     |
[INFO] [stdout]     = note: `#[warn(unused_variables)]` (part of `#[warn(unused)]`) on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `v`
[INFO] [stdout]    --> src/regular/bytes.rs:197:22
[INFO] [stdout]     |
[INFO] [stdout] 197 |     fn length(&self, v: Self::SType) -> usize {
[INFO] [stdout]     |                      ^ help: if this is intentional, prefix it with an underscore: `_v`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `i`
[INFO] [stdout]    --> src/regular/repetition.rs:382:13
[INFO] [stdout]     |
[INFO] [stdout] 382 |         for i in 0..self.1
[INFO] [stdout]     |             ^ help: if this is intentional, prefix it with an underscore: `_i`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `data`
[INFO] [stdout]   --> src/regular/success.rs:68:42
[INFO] [stdout]    |
[INFO] [stdout] 68 |     fn serialize(&self, _v: Self::SType, data: &mut O, pos: usize) -> (res: Result<
[INFO] [stdout]    |                                          ^^^^ help: if this is intentional, prefix it with an underscore: `_data`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `pos`
[INFO] [stdout]   --> src/regular/success.rs:68:56
[INFO] [stdout]    |
[INFO] [stdout] 68 |     fn serialize(&self, _v: Self::SType, data: &mut O, pos: usize) -> (res: Result<
[INFO] [stdout]    |                                                        ^^^ help: if this is intentional, prefix it with an underscore: `_pos`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `v`
[INFO] [stdout]    --> src/regular/tag.rs:157:34
[INFO] [stdout]     |
[INFO] [stdout] 157 |                 fn length(&self, v: Self::SType) -> usize {
[INFO] [stdout]     |                                  ^
[INFO] [stdout] ...
[INFO] [stdout] 178 | impl_combinator_for_uint_tag!(U8, u8);
[INFO] [stdout]     | ------------------------------------- in this macro invocation
[INFO] [stdout]     |
[INFO] [stdout] help: `v` is captured in macro and introduced a unused variable
[INFO] [stdout]    --> src/regular/tag.rs:157:34
[INFO] [stdout]     |
[INFO] [stdout] 157 |                 fn length(&self, v: Self::SType) -> usize {
[INFO] [stdout]     |                                  ^
[INFO] [stdout] ...
[INFO] [stdout] 178 | impl_combinator_for_uint_tag!(U8, u8);
[INFO] [stdout]     | ------------------------------------- in this macro invocation
[INFO] [stdout]     = note: this warning originates in the macro `impl_combinator_for_uint_tag` (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `v`
[INFO] [stdout]    --> src/regular/tag.rs:170:37
[INFO] [stdout]     |
[INFO] [stdout] 170 |                 fn serialize(&self, v: Self::SType, data: &mut O, pos: usize) -> Result<usize, SerializeError> {
[INFO] [stdout]     |                                     ^
[INFO] [stdout] ...
[INFO] [stdout] 178 | impl_combinator_for_uint_tag!(U8, u8);
[INFO] [stdout]     | ------------------------------------- in this macro invocation
[INFO] [stdout]     |
[INFO] [stdout] help: `v` is captured in macro and introduced a unused variable
[INFO] [stdout]    --> src/regular/tag.rs:170:37
[INFO] [stdout]     |
[INFO] [stdout] 170 |                 fn serialize(&self, v: Self::SType, data: &mut O, pos: usize) -> Result<usize, SerializeError> {
[INFO] [stdout]     |                                     ^
[INFO] [stdout] ...
[INFO] [stdout] 178 | impl_combinator_for_uint_tag!(U8, u8);
[INFO] [stdout]     | ------------------------------------- in this macro invocation
[INFO] [stdout]     = note: this warning originates in the macro `impl_combinator_for_uint_tag` (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `v`
[INFO] [stdout]    --> src/regular/tag.rs:157:34
[INFO] [stdout]     |
[INFO] [stdout] 157 |                 fn length(&self, v: Self::SType) -> usize {
[INFO] [stdout]     |                                  ^
[INFO] [stdout] ...
[INFO] [stdout] 180 | impl_combinator_for_uint_tag!(U16Le, u16);
[INFO] [stdout]     | ----------------------------------------- in this macro invocation
[INFO] [stdout]     |
[INFO] [stdout] help: `v` is captured in macro and introduced a unused variable
[INFO] [stdout]    --> src/regular/tag.rs:157:34
[INFO] [stdout]     |
[INFO] [stdout] 157 |                 fn length(&self, v: Self::SType) -> usize {
[INFO] [stdout]     |                                  ^
[INFO] [stdout] ...
[INFO] [stdout] 180 | impl_combinator_for_uint_tag!(U16Le, u16);
[INFO] [stdout]     | ----------------------------------------- in this macro invocation
[INFO] [stdout]     = note: this warning originates in the macro `impl_combinator_for_uint_tag` (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `v`
[INFO] [stdout]    --> src/regular/tag.rs:170:37
[INFO] [stdout]     |
[INFO] [stdout] 170 |                 fn serialize(&self, v: Self::SType, data: &mut O, pos: usize) -> Result<usize, SerializeError> {
[INFO] [stdout]     |                                     ^
[INFO] [stdout] ...
[INFO] [stdout] 180 | impl_combinator_for_uint_tag!(U16Le, u16);
[INFO] [stdout]     | ----------------------------------------- in this macro invocation
[INFO] [stdout]     |
[INFO] [stdout] help: `v` is captured in macro and introduced a unused variable
[INFO] [stdout]    --> src/regular/tag.rs:170:37
[INFO] [stdout]     |
[INFO] [stdout] 170 |                 fn serialize(&self, v: Self::SType, data: &mut O, pos: usize) -> Result<usize, SerializeError> {
[INFO] [stdout]     |                                     ^
[INFO] [stdout] ...
[INFO] [stdout] 180 | impl_combinator_for_uint_tag!(U16Le, u16);
[INFO] [stdout]     | ----------------------------------------- in this macro invocation
[INFO] [stdout]     = note: this warning originates in the macro `impl_combinator_for_uint_tag` (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `v`
[INFO] [stdout]    --> src/regular/tag.rs:157:34
[INFO] [stdout]     |
[INFO] [stdout] 157 |                 fn length(&self, v: Self::SType) -> usize {
[INFO] [stdout]     |                                  ^
[INFO] [stdout] ...
[INFO] [stdout] 183 | impl_combinator_for_uint_tag!(U32Le, u32);
[INFO] [stdout]     | ----------------------------------------- in this macro invocation
[INFO] [stdout]     |
[INFO] [stdout] help: `v` is captured in macro and introduced a unused variable
[INFO] [stdout]    --> src/regular/tag.rs:157:34
[INFO] [stdout]     |
[INFO] [stdout] 157 |                 fn length(&self, v: Self::SType) -> usize {
[INFO] [stdout]     |                                  ^
[INFO] [stdout] ...
[INFO] [stdout] 183 | impl_combinator_for_uint_tag!(U32Le, u32);
[INFO] [stdout]     | ----------------------------------------- in this macro invocation
[INFO] [stdout]     = note: this warning originates in the macro `impl_combinator_for_uint_tag` (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `v`
[INFO] [stdout]    --> src/regular/tag.rs:170:37
[INFO] [stdout]     |
[INFO] [stdout] 170 |                 fn serialize(&self, v: Self::SType, data: &mut O, pos: usize) -> Result<usize, SerializeError> {
[INFO] [stdout]     |                                     ^
[INFO] [stdout] ...
[INFO] [stdout] 183 | impl_combinator_for_uint_tag!(U32Le, u32);
[INFO] [stdout]     | ----------------------------------------- in this macro invocation
[INFO] [stdout]     |
[INFO] [stdout] help: `v` is captured in macro and introduced a unused variable
[INFO] [stdout]    --> src/regular/tag.rs:170:37
[INFO] [stdout]     |
[INFO] [stdout] 170 |                 fn serialize(&self, v: Self::SType, data: &mut O, pos: usize) -> Result<usize, SerializeError> {
[INFO] [stdout]     |                                     ^
[INFO] [stdout] ...
[INFO] [stdout] 183 | impl_combinator_for_uint_tag!(U32Le, u32);
[INFO] [stdout]     | ----------------------------------------- in this macro invocation
[INFO] [stdout]     = note: this warning originates in the macro `impl_combinator_for_uint_tag` (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `v`
[INFO] [stdout]    --> src/regular/tag.rs:157:34
[INFO] [stdout]     |
[INFO] [stdout] 157 |                 fn length(&self, v: Self::SType) -> usize {
[INFO] [stdout]     |                                  ^
[INFO] [stdout] ...
[INFO] [stdout] 185 | impl_combinator_for_uint_tag!(U64Le, u64);
[INFO] [stdout]     | ----------------------------------------- in this macro invocation
[INFO] [stdout]     |
[INFO] [stdout] help: `v` is captured in macro and introduced a unused variable
[INFO] [stdout]    --> src/regular/tag.rs:157:34
[INFO] [stdout]     |
[INFO] [stdout] 157 |                 fn length(&self, v: Self::SType) -> usize {
[INFO] [stdout]     |                                  ^
[INFO] [stdout] ...
[INFO] [stdout] 185 | impl_combinator_for_uint_tag!(U64Le, u64);
[INFO] [stdout]     | ----------------------------------------- in this macro invocation
[INFO] [stdout]     = note: this warning originates in the macro `impl_combinator_for_uint_tag` (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `v`
[INFO] [stdout]    --> src/regular/tag.rs:170:37
[INFO] [stdout]     |
[INFO] [stdout] 170 |                 fn serialize(&self, v: Self::SType, data: &mut O, pos: usize) -> Result<usize, SerializeError> {
[INFO] [stdout]     |                                     ^
[INFO] [stdout] ...
[INFO] [stdout] 185 | impl_combinator_for_uint_tag!(U64Le, u64);
[INFO] [stdout]     | ----------------------------------------- in this macro invocation
[INFO] [stdout]     |
[INFO] [stdout] help: `v` is captured in macro and introduced a unused variable
[INFO] [stdout]    --> src/regular/tag.rs:170:37
[INFO] [stdout]     |
[INFO] [stdout] 170 |                 fn serialize(&self, v: Self::SType, data: &mut O, pos: usize) -> Result<usize, SerializeError> {
[INFO] [stdout]     |                                     ^
[INFO] [stdout] ...
[INFO] [stdout] 185 | impl_combinator_for_uint_tag!(U64Le, u64);
[INFO] [stdout]     | ----------------------------------------- in this macro invocation
[INFO] [stdout]     = note: this warning originates in the macro `impl_combinator_for_uint_tag` (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `v`
[INFO] [stdout]    --> src/regular/tag.rs:157:34
[INFO] [stdout]     |
[INFO] [stdout] 157 |                 fn length(&self, v: Self::SType) -> usize {
[INFO] [stdout]     |                                  ^
[INFO] [stdout] ...
[INFO] [stdout] 187 | impl_combinator_for_uint_tag!(U16Be, u16);
[INFO] [stdout]     | ----------------------------------------- in this macro invocation
[INFO] [stdout]     |
[INFO] [stdout] help: `v` is captured in macro and introduced a unused variable
[INFO] [stdout]    --> src/regular/tag.rs:157:34
[INFO] [stdout]     |
[INFO] [stdout] 157 |                 fn length(&self, v: Self::SType) -> usize {
[INFO] [stdout]     |                                  ^
[INFO] [stdout] ...
[INFO] [stdout] 187 | impl_combinator_for_uint_tag!(U16Be, u16);
[INFO] [stdout]     | ----------------------------------------- in this macro invocation
[INFO] [stdout]     = note: this warning originates in the macro `impl_combinator_for_uint_tag` (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `v`
[INFO] [stdout]    --> src/regular/tag.rs:170:37
[INFO] [stdout]     |
[INFO] [stdout] 170 |                 fn serialize(&self, v: Self::SType, data: &mut O, pos: usize) -> Result<usize, SerializeError> {
[INFO] [stdout]     |                                     ^
[INFO] [stdout] ...
[INFO] [stdout] 187 | impl_combinator_for_uint_tag!(U16Be, u16);
[INFO] [stdout]     | ----------------------------------------- in this macro invocation
[INFO] [stdout]     |
[INFO] [stdout] help: `v` is captured in macro and introduced a unused variable
[INFO] [stdout]    --> src/regular/tag.rs:170:37
[INFO] [stdout]     |
[INFO] [stdout] 170 |                 fn serialize(&self, v: Self::SType, data: &mut O, pos: usize) -> Result<usize, SerializeError> {
[INFO] [stdout]     |                                     ^
[INFO] [stdout] ...
[INFO] [stdout] 187 | impl_combinator_for_uint_tag!(U16Be, u16);
[INFO] [stdout]     | ----------------------------------------- in this macro invocation
[INFO] [stdout]     = note: this warning originates in the macro `impl_combinator_for_uint_tag` (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `v`
[INFO] [stdout]    --> src/regular/tag.rs:157:34
[INFO] [stdout]     |
[INFO] [stdout] 157 |                 fn length(&self, v: Self::SType) -> usize {
[INFO] [stdout]     |                                  ^
[INFO] [stdout] ...
[INFO] [stdout] 190 | impl_combinator_for_uint_tag!(U32Be, u32);
[INFO] [stdout]     | ----------------------------------------- in this macro invocation
[INFO] [stdout]     |
[INFO] [stdout] help: `v` is captured in macro and introduced a unused variable
[INFO] [stdout]    --> src/regular/tag.rs:157:34
[INFO] [stdout]     |
[INFO] [stdout] 157 |                 fn length(&self, v: Self::SType) -> usize {
[INFO] [stdout]     |                                  ^
[INFO] [stdout] ...
[INFO] [stdout] 190 | impl_combinator_for_uint_tag!(U32Be, u32);
[INFO] [stdout]     | ----------------------------------------- in this macro invocation
[INFO] [stdout]     = note: this warning originates in the macro `impl_combinator_for_uint_tag` (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `v`
[INFO] [stdout]    --> src/regular/tag.rs:170:37
[INFO] [stdout]     |
[INFO] [stdout] 170 |                 fn serialize(&self, v: Self::SType, data: &mut O, pos: usize) -> Result<usize, SerializeError> {
[INFO] [stdout]     |                                     ^
[INFO] [stdout] ...
[INFO] [stdout] 190 | impl_combinator_for_uint_tag!(U32Be, u32);
[INFO] [stdout]     | ----------------------------------------- in this macro invocation
[INFO] [stdout]     |
[INFO] [stdout] help: `v` is captured in macro and introduced a unused variable
[INFO] [stdout]    --> src/regular/tag.rs:170:37
[INFO] [stdout]     |
[INFO] [stdout] 170 |                 fn serialize(&self, v: Self::SType, data: &mut O, pos: usize) -> Result<usize, SerializeError> {
[INFO] [stdout]     |                                     ^
[INFO] [stdout] ...
[INFO] [stdout] 190 | impl_combinator_for_uint_tag!(U32Be, u32);
[INFO] [stdout]     | ----------------------------------------- in this macro invocation
[INFO] [stdout]     = note: this warning originates in the macro `impl_combinator_for_uint_tag` (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `v`
[INFO] [stdout]    --> src/regular/tag.rs:157:34
[INFO] [stdout]     |
[INFO] [stdout] 157 |                 fn length(&self, v: Self::SType) -> usize {
[INFO] [stdout]     |                                  ^
[INFO] [stdout] ...
[INFO] [stdout] 192 | impl_combinator_for_uint_tag!(U64Be, u64);
[INFO] [stdout]     | ----------------------------------------- in this macro invocation
[INFO] [stdout]     |
[INFO] [stdout] help: `v` is captured in macro and introduced a unused variable
[INFO] [stdout]    --> src/regular/tag.rs:157:34
[INFO] [stdout]     |
[INFO] [stdout] 157 |                 fn length(&self, v: Self::SType) -> usize {
[INFO] [stdout]     |                                  ^
[INFO] [stdout] ...
[INFO] [stdout] 192 | impl_combinator_for_uint_tag!(U64Be, u64);
[INFO] [stdout]     | ----------------------------------------- in this macro invocation
[INFO] [stdout]     = note: this warning originates in the macro `impl_combinator_for_uint_tag` (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `v`
[INFO] [stdout]    --> src/regular/tag.rs:170:37
[INFO] [stdout]     |
[INFO] [stdout] 170 |                 fn serialize(&self, v: Self::SType, data: &mut O, pos: usize) -> Result<usize, SerializeError> {
[INFO] [stdout]     |                                     ^
[INFO] [stdout] ...
[INFO] [stdout] 192 | impl_combinator_for_uint_tag!(U64Be, u64);
[INFO] [stdout]     | ----------------------------------------- in this macro invocation
[INFO] [stdout]     |
[INFO] [stdout] help: `v` is captured in macro and introduced a unused variable
[INFO] [stdout]    --> src/regular/tag.rs:170:37
[INFO] [stdout]     |
[INFO] [stdout] 170 |                 fn serialize(&self, v: Self::SType, data: &mut O, pos: usize) -> Result<usize, SerializeError> {
[INFO] [stdout]     |                                     ^
[INFO] [stdout] ...
[INFO] [stdout] 192 | impl_combinator_for_uint_tag!(U64Be, u64);
[INFO] [stdout]     | ----------------------------------------- in this macro invocation
[INFO] [stdout]     = note: this warning originates in the macro `impl_combinator_for_uint_tag` (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `v`
[INFO] [stdout]    --> src/regular/tag.rs:157:34
[INFO] [stdout]     |
[INFO] [stdout] 157 |                 fn length(&self, v: Self::SType) -> usize {
[INFO] [stdout]     |                                  ^
[INFO] [stdout] ...
[INFO] [stdout] 194 | impl_combinator_for_uint_tag!(UnsignedLEB128, UInt);
[INFO] [stdout]     | --------------------------------------------------- in this macro invocation
[INFO] [stdout]     |
[INFO] [stdout] help: `v` is captured in macro and introduced a unused variable
[INFO] [stdout]    --> src/regular/tag.rs:157:34
[INFO] [stdout]     |
[INFO] [stdout] 157 |                 fn length(&self, v: Self::SType) -> usize {
[INFO] [stdout]     |                                  ^
[INFO] [stdout] ...
[INFO] [stdout] 194 | impl_combinator_for_uint_tag!(UnsignedLEB128, UInt);
[INFO] [stdout]     | --------------------------------------------------- in this macro invocation
[INFO] [stdout]     = note: this warning originates in the macro `impl_combinator_for_uint_tag` (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `v`
[INFO] [stdout]    --> src/regular/tag.rs:170:37
[INFO] [stdout]     |
[INFO] [stdout] 170 |                 fn serialize(&self, v: Self::SType, data: &mut O, pos: usize) -> Result<usize, SerializeError> {
[INFO] [stdout]     |                                     ^
[INFO] [stdout] ...
[INFO] [stdout] 194 | impl_combinator_for_uint_tag!(UnsignedLEB128, UInt);
[INFO] [stdout]     | --------------------------------------------------- in this macro invocation
[INFO] [stdout]     |
[INFO] [stdout] help: `v` is captured in macro and introduced a unused variable
[INFO] [stdout]    --> src/regular/tag.rs:170:37
[INFO] [stdout]     |
[INFO] [stdout] 170 |                 fn serialize(&self, v: Self::SType, data: &mut O, pos: usize) -> Result<usize, SerializeError> {
[INFO] [stdout]     |                                     ^
[INFO] [stdout] ...
[INFO] [stdout] 194 | impl_combinator_for_uint_tag!(UnsignedLEB128, UInt);
[INFO] [stdout]     | --------------------------------------------------- in this macro invocation
[INFO] [stdout]     = note: this warning originates in the macro `impl_combinator_for_uint_tag` (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `v`
[INFO] [stdout]    --> src/regular/tag.rs:217:25
[INFO] [stdout]     |
[INFO] [stdout] 217 |     fn serialize(&self, v: Self::SType, data: &mut Vec<u8>, pos: usize) -> Result<
[INFO] [stdout]     |                         ^ help: if this is intentional, prefix it with an underscore: `_v`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `v`
[INFO] [stdout]     --> src/regular/uints.rs:1090:22
[INFO] [stdout]      |
[INFO] [stdout] 1090 |     fn length(&self, v: Self::SType) -> usize {
[INFO] [stdout]      |                      ^ help: if this is intentional, prefix it with an underscore: `_v`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `v`
[INFO] [stdout]     --> src/regular/uints.rs:1193:22
[INFO] [stdout]      |
[INFO] [stdout] 1193 |     fn length(&self, v: Self::SType) -> usize {
[INFO] [stdout]      |                      ^ help: if this is intentional, prefix it with an underscore: `_v`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: type alias `SpecBtcVarintInner` is never used
[INFO] [stdout]   --> src/bitcoin/varint.rs:96:6
[INFO] [stdout]    |
[INFO] [stdout] 96 | type SpecBtcVarintInner = TryMap<SpecPair<U8, VarintChoice>, VarIntMapper>;
[INFO] [stdout]    |      ^^^^^^^^^^^^^^^^^^
[INFO] [stdout]    |
[INFO] [stdout]    = note: `#[warn(dead_code)]` (part of `#[warn(unused)]`) on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stderr]     Finished `test` profile [unoptimized + debuginfo] target(s) in 2.31s
[INFO] running `Command { std: "docker" "inspect" "74ffd18f05275af8f37f60504ba8af7838eebc264501318940730daa3246427e", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "74ffd18f05275af8f37f60504ba8af7838eebc264501318940730daa3246427e", kill_on_drop: false }`
[INFO] [stdout] 74ffd18f05275af8f37f60504ba8af7838eebc264501318940730daa3246427e
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-0-tc1/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-0-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:845e597a41426bbf2703be69acdb67d10b6de511142d05cba7bbe119c898b2c7" "/opt/rustwide/cargo-home/bin/cargo" "+0d162b25edd5bf0dba9a22e83b614f1113e90474" "test" "--frozen", kill_on_drop: false }`
[INFO] [stdout] 72907a0f90c033efe816d43232e82b447550d78ca4ee4b2e80e8d36eb83f55c5
[INFO] running `Command { std: "docker" "start" "-a" "72907a0f90c033efe816d43232e82b447550d78ca4ee4b2e80e8d36eb83f55c5", kill_on_drop: false }`
[INFO] [stderr] warning: unused import: `vstd::assert_seqs_equal`
[INFO] [stderr]  --> src/regular/leb128.rs:4:5
[INFO] [stderr]   |
[INFO] [stderr] 4 | use vstd::assert_seqs_equal;
[INFO] [stderr]   |     ^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stderr]   |
[INFO] [stderr]   = note: `#[warn(unused_imports)]` (part of `#[warn(unused)]`) on by default
[INFO] [stderr] 
[INFO] [stderr] warning: unused import: `uint_size`
[INFO] [stderr]   --> src/regular/leb128.rs:27:16
[INFO] [stderr]    |
[INFO] [stderr] 27 | pub(super) use uint_size;
[INFO] [stderr]    |                ^^^^^^^^^
[INFO] [stderr] 
[INFO] [stderr] warning: unused import: `is_high_8_bit_set`
[INFO] [stderr]   --> src/regular/leb128.rs:35:16
[INFO] [stderr]    |
[INFO] [stderr] 35 | pub(crate) use is_high_8_bit_set;
[INFO] [stderr]    |                ^^^^^^^^^^^^^^^^^
[INFO] [stderr] 
[INFO] [stderr] warning: unused import: `take_low_7_bits`
[INFO] [stderr]   --> src/regular/leb128.rs:43:16
[INFO] [stderr]    |
[INFO] [stderr] 43 | pub(crate) use take_low_7_bits;
[INFO] [stderr]    |                ^^^^^^^^^^^^^^^
[INFO] [stderr] 
[INFO] [stderr] warning: unused import: `set_high_8_bit`
[INFO] [stderr]   --> src/regular/leb128.rs:53:16
[INFO] [stderr]    |
[INFO] [stderr] 53 | pub(super) use set_high_8_bit;
[INFO] [stderr]    |                ^^^^^^^^^^^^^^
[INFO] [stderr] 
[INFO] [stderr] warning: unused import: `n_bit_max_unsigned`
[INFO] [stderr]   --> src/regular/leb128.rs:61:16
[INFO] [stderr]    |
[INFO] [stderr] 61 | pub(super) use n_bit_max_unsigned;
[INFO] [stderr]    |                ^^^^^^^^^^^^^^^^^^
[INFO] [stderr] 
[INFO] [stderr] warning: unused import: `vstd::seq_lib::*`
[INFO] [stderr]  --> src/regular/uints.rs:6:5
[INFO] [stderr]   |
[INFO] [stderr] 6 | use vstd::seq_lib::*;
[INFO] [stderr]   |     ^^^^^^^^^^^^^^^^
[INFO] [stderr] 
[INFO] [stderr] warning: unnecessary braces around assigned value
[INFO] [stderr]   --> src/regular/uints.rs:13:1
[INFO] [stderr]    |
[INFO] [stderr] 13 | global size_of u8 == 1;
[INFO] [stderr]    | ^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stderr]    |
[INFO] [stderr]    = note: `#[warn(unused_braces)]` (part of `#[warn(unused)]`) on by default
[INFO] [stderr] 
[INFO] [stderr] warning: unnecessary braces around assigned value
[INFO] [stderr]   --> src/regular/uints.rs:15:1
[INFO] [stderr]    |
[INFO] [stderr] 15 | global size_of u16 == 2;
[INFO] [stderr]    | ^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stderr] 
[INFO] [stderr] warning: unnecessary braces around assigned value
[INFO] [stderr]   --> src/regular/uints.rs:17:1
[INFO] [stderr]    |
[INFO] [stderr] 17 | global size_of u32 == 4;
[INFO] [stderr]    | ^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stderr] 
[INFO] [stderr] warning: unnecessary braces around assigned value
[INFO] [stderr]   --> src/regular/uints.rs:19:1
[INFO] [stderr]    |
[INFO] [stderr] 19 | global size_of u64 == 8;
[INFO] [stderr]    | ^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stderr] 
[INFO] [stderr] warning: unnecessary braces around assigned value
[INFO] [stderr]   --> src/regular/uints.rs:21:1
[INFO] [stderr]    |
[INFO] [stderr] 21 | global size_of usize == 8;
[INFO] [stderr]    | ^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stderr] 
[INFO] [stderr] warning: unexpected `cfg` condition name: `verus_keep_ghost`
[INFO] [stderr]   --> src/errors.rs:40:7
[INFO] [stderr]    |
[INFO] [stderr] 40 | #[cfg(verus_keep_ghost)]
[INFO] [stderr]    |       ^^^^^^^^^^^^^^^^
[INFO] [stderr]    |
[INFO] [stderr]    = help: expected names are: `docsrs`, `feature`, and `test` and 31 more
[INFO] [stderr]    = help: consider using a Cargo feature instead
[INFO] [stderr]    = help: or consider adding in `Cargo.toml` the `check-cfg` lint config for the lint:
[INFO] [stderr]             [lints.rust]
[INFO] [stderr]             unexpected_cfgs = { level = "warn", check-cfg = ['cfg(verus_keep_ghost)'] }
[INFO] [stderr]    = help: or consider adding `println!("cargo::rustc-check-cfg=cfg(verus_keep_ghost)");` to the top of the `build.rs`
[INFO] [stderr]    = note: see <https://doc.rust-lang.org/nightly/rustc/check-cfg/cargo-specifics.html> for more information about checking conditional configuration
[INFO] [stderr]    = note: `#[warn(unexpected_cfgs)]` on by default
[INFO] [stderr] 
[INFO] [stderr] warning: unexpected `cfg` condition name: `verus_keep_ghost`
[INFO] [stderr]   --> src/errors.rs:51:7
[INFO] [stderr]    |
[INFO] [stderr] 51 | #[cfg(verus_keep_ghost)]
[INFO] [stderr]    |       ^^^^^^^^^^^^^^^^
[INFO] [stderr]    |
[INFO] [stderr]    = help: consider using a Cargo feature instead
[INFO] [stderr]    = help: or consider adding in `Cargo.toml` the `check-cfg` lint config for the lint:
[INFO] [stderr]             [lints.rust]
[INFO] [stderr]             unexpected_cfgs = { level = "warn", check-cfg = ['cfg(verus_keep_ghost)'] }
[INFO] [stderr]    = help: or consider adding `println!("cargo::rustc-check-cfg=cfg(verus_keep_ghost)");` to the top of the `build.rs`
[INFO] [stderr]    = note: see <https://doc.rust-lang.org/nightly/rustc/check-cfg/cargo-specifics.html> for more information about checking conditional configuration
[INFO] [stderr] 
[INFO] [stderr] warning: unused variable: `v`
[INFO] [stderr]    --> src/regular/bytes.rs:100:22
[INFO] [stderr]     |
[INFO] [stderr] 100 |     fn length(&self, v: Self::SType) -> usize {
[INFO] [stderr]     |                      ^ help: if this is intentional, prefix it with an underscore: `_v`
[INFO] [stderr]     |
[INFO] [stderr]     = note: `#[warn(unused_variables)]` (part of `#[warn(unused)]`) on by default
[INFO] [stderr] 
[INFO] [stderr] warning: unused variable: `v`
[INFO] [stderr]    --> src/regular/bytes.rs:197:22
[INFO] [stderr]     |
[INFO] [stderr] 197 |     fn length(&self, v: Self::SType) -> usize {
[INFO] [stderr]     |                      ^ help: if this is intentional, prefix it with an underscore: `_v`
[INFO] [stderr] 
[INFO] [stderr] warning: unused variable: `i`
[INFO] [stderr]    --> src/regular/repetition.rs:382:13
[INFO] [stderr]     |
[INFO] [stderr] 382 |         for i in 0..self.1
[INFO] [stderr]     |             ^ help: if this is intentional, prefix it with an underscore: `_i`
[INFO] [stderr] 
[INFO] [stderr] warning: unused variable: `data`
[INFO] [stderr]   --> src/regular/success.rs:68:42
[INFO] [stderr]    |
[INFO] [stderr] 68 |     fn serialize(&self, _v: Self::SType, data: &mut O, pos: usize) -> (res: Result<
[INFO] [stderr]    |                                          ^^^^ help: if this is intentional, prefix it with an underscore: `_data`
[INFO] [stderr] 
[INFO] [stderr] warning: unused variable: `pos`
[INFO] [stderr]   --> src/regular/success.rs:68:56
[INFO] [stderr]    |
[INFO] [stderr] 68 |     fn serialize(&self, _v: Self::SType, data: &mut O, pos: usize) -> (res: Result<
[INFO] [stderr]    |                                                        ^^^ help: if this is intentional, prefix it with an underscore: `_pos`
[INFO] [stderr] 
[INFO] [stderr] warning: unused variable: `v`
[INFO] [stderr]    --> src/regular/tag.rs:157:34
[INFO] [stderr]     |
[INFO] [stderr] 157 |                 fn length(&self, v: Self::SType) -> usize {
[INFO] [stderr]     |                                  ^
[INFO] [stderr] ...
[INFO] [stderr] 178 | impl_combinator_for_uint_tag!(U8, u8);
[INFO] [stderr]     | ------------------------------------- in this macro invocation
[INFO] [stderr]     |
[INFO] [stderr] help: `v` is captured in macro and introduced a unused variable
[INFO] [stderr]    --> src/regular/tag.rs:157:34
[INFO] [stderr]     |
[INFO] [stderr] 157 |                 fn length(&self, v: Self::SType) -> usize {
[INFO] [stderr]     |                                  ^
[INFO] [stderr] ...
[INFO] [stderr] 178 | impl_combinator_for_uint_tag!(U8, u8);
[INFO] [stderr]     | ------------------------------------- in this macro invocation
[INFO] [stderr]     = note: this warning originates in the macro `impl_combinator_for_uint_tag` (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stderr] 
[INFO] [stderr] warning: unused variable: `v`
[INFO] [stderr]    --> src/regular/tag.rs:170:37
[INFO] [stderr]     |
[INFO] [stderr] 170 |                 fn serialize(&self, v: Self::SType, data: &mut O, pos: usize) -> Result<usize, SerializeError> {
[INFO] [stderr]     |                                     ^
[INFO] [stderr] ...
[INFO] [stderr] 178 | impl_combinator_for_uint_tag!(U8, u8);
[INFO] [stderr]     | ------------------------------------- in this macro invocation
[INFO] [stderr]     |
[INFO] [stderr] help: `v` is captured in macro and introduced a unused variable
[INFO] [stderr]    --> src/regular/tag.rs:170:37
[INFO] [stderr]     |
[INFO] [stderr] 170 |                 fn serialize(&self, v: Self::SType, data: &mut O, pos: usize) -> Result<usize, SerializeError> {
[INFO] [stderr]     |                                     ^
[INFO] [stderr] ...
[INFO] [stderr] 178 | impl_combinator_for_uint_tag!(U8, u8);
[INFO] [stderr]     | ------------------------------------- in this macro invocation
[INFO] [stderr]     = note: this warning originates in the macro `impl_combinator_for_uint_tag` (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stderr] 
[INFO] [stderr] warning: unused variable: `v`
[INFO] [stderr]    --> src/regular/tag.rs:157:34
[INFO] [stderr]     |
[INFO] [stderr] 157 |                 fn length(&self, v: Self::SType) -> usize {
[INFO] [stderr]     |                                  ^
[INFO] [stderr] ...
[INFO] [stderr] 180 | impl_combinator_for_uint_tag!(U16Le, u16);
[INFO] [stderr]     | ----------------------------------------- in this macro invocation
[INFO] [stderr]     |
[INFO] [stderr] help: `v` is captured in macro and introduced a unused variable
[INFO] [stderr]    --> src/regular/tag.rs:157:34
[INFO] [stderr]     |
[INFO] [stderr] 157 |                 fn length(&self, v: Self::SType) -> usize {
[INFO] [stderr]     |                                  ^
[INFO] [stderr] ...
[INFO] [stderr] 180 | impl_combinator_for_uint_tag!(U16Le, u16);
[INFO] [stderr]     | ----------------------------------------- in this macro invocation
[INFO] [stderr]     = note: this warning originates in the macro `impl_combinator_for_uint_tag` (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stderr] 
[INFO] [stderr] warning: unused variable: `v`
[INFO] [stderr]    --> src/regular/tag.rs:170:37
[INFO] [stderr]     |
[INFO] [stderr] 170 |                 fn serialize(&self, v: Self::SType, data: &mut O, pos: usize) -> Result<usize, SerializeError> {
[INFO] [stderr]     |                                     ^
[INFO] [stderr] ...
[INFO] [stderr] 180 | impl_combinator_for_uint_tag!(U16Le, u16);
[INFO] [stderr]     | ----------------------------------------- in this macro invocation
[INFO] [stderr]     |
[INFO] [stderr] help: `v` is captured in macro and introduced a unused variable
[INFO] [stderr]    --> src/regular/tag.rs:170:37
[INFO] [stderr]     |
[INFO] [stderr] 170 |                 fn serialize(&self, v: Self::SType, data: &mut O, pos: usize) -> Result<usize, SerializeError> {
[INFO] [stderr]     |                                     ^
[INFO] [stderr] ...
[INFO] [stderr] 180 | impl_combinator_for_uint_tag!(U16Le, u16);
[INFO] [stderr]     | ----------------------------------------- in this macro invocation
[INFO] [stderr]     = note: this warning originates in the macro `impl_combinator_for_uint_tag` (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stderr] 
[INFO] [stderr] warning: unused variable: `v`
[INFO] [stderr]    --> src/regular/tag.rs:157:34
[INFO] [stderr]     |
[INFO] [stderr] 157 |                 fn length(&self, v: Self::SType) -> usize {
[INFO] [stderr]     |                                  ^
[INFO] [stderr] ...
[INFO] [stderr] 183 | impl_combinator_for_uint_tag!(U32Le, u32);
[INFO] [stderr]     | ----------------------------------------- in this macro invocation
[INFO] [stderr]     |
[INFO] [stderr] help: `v` is captured in macro and introduced a unused variable
[INFO] [stderr]    --> src/regular/tag.rs:157:34
[INFO] [stderr]     |
[INFO] [stderr] 157 |                 fn length(&self, v: Self::SType) -> usize {
[INFO] [stderr]     |                                  ^
[INFO] [stderr] ...
[INFO] [stderr] 183 | impl_combinator_for_uint_tag!(U32Le, u32);
[INFO] [stderr]     | ----------------------------------------- in this macro invocation
[INFO] [stderr]     = note: this warning originates in the macro `impl_combinator_for_uint_tag` (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stderr] 
[INFO] [stderr] warning: unused variable: `v`
[INFO] [stderr]    --> src/regular/tag.rs:170:37
[INFO] [stderr]     |
[INFO] [stderr] 170 |                 fn serialize(&self, v: Self::SType, data: &mut O, pos: usize) -> Result<usize, SerializeError> {
[INFO] [stderr]     |                                     ^
[INFO] [stderr] ...
[INFO] [stderr] 183 | impl_combinator_for_uint_tag!(U32Le, u32);
[INFO] [stderr]     | ----------------------------------------- in this macro invocation
[INFO] [stderr]     |
[INFO] [stderr] help: `v` is captured in macro and introduced a unused variable
[INFO] [stderr]    --> src/regular/tag.rs:170:37
[INFO] [stderr]     |
[INFO] [stderr] 170 |                 fn serialize(&self, v: Self::SType, data: &mut O, pos: usize) -> Result<usize, SerializeError> {
[INFO] [stderr]     |                                     ^
[INFO] [stderr] ...
[INFO] [stderr] 183 | impl_combinator_for_uint_tag!(U32Le, u32);
[INFO] [stderr]     | ----------------------------------------- in this macro invocation
[INFO] [stderr]     = note: this warning originates in the macro `impl_combinator_for_uint_tag` (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stderr] 
[INFO] [stderr] warning: unused variable: `v`
[INFO] [stderr]    --> src/regular/tag.rs:157:34
[INFO] [stderr]     |
[INFO] [stderr] 157 |                 fn length(&self, v: Self::SType) -> usize {
[INFO] [stderr]     |                                  ^
[INFO] [stderr] ...
[INFO] [stderr] 185 | impl_combinator_for_uint_tag!(U64Le, u64);
[INFO] [stderr]     | ----------------------------------------- in this macro invocation
[INFO] [stderr]     |
[INFO] [stderr] help: `v` is captured in macro and introduced a unused variable
[INFO] [stderr]    --> src/regular/tag.rs:157:34
[INFO] [stderr]     |
[INFO] [stderr] 157 |                 fn length(&self, v: Self::SType) -> usize {
[INFO] [stderr]     |                                  ^
[INFO] [stderr] ...
[INFO] [stderr] 185 | impl_combinator_for_uint_tag!(U64Le, u64);
[INFO] [stderr]     | ----------------------------------------- in this macro invocation
[INFO] [stderr]     = note: this warning originates in the macro `impl_combinator_for_uint_tag` (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stderr] 
[INFO] [stderr] warning: unused variable: `v`
[INFO] [stderr]    --> src/regular/tag.rs:170:37
[INFO] [stderr]     |
[INFO] [stderr] 170 |                 fn serialize(&self, v: Self::SType, data: &mut O, pos: usize) -> Result<usize, SerializeError> {
[INFO] [stderr]     |                                     ^
[INFO] [stderr] ...
[INFO] [stderr] 185 | impl_combinator_for_uint_tag!(U64Le, u64);
[INFO] [stderr]     | ----------------------------------------- in this macro invocation
[INFO] [stderr]     |
[INFO] [stderr] help: `v` is captured in macro and introduced a unused variable
[INFO] [stderr]    --> src/regular/tag.rs:170:37
[INFO] [stderr]     |
[INFO] [stderr] 170 |                 fn serialize(&self, v: Self::SType, data: &mut O, pos: usize) -> Result<usize, SerializeError> {
[INFO] [stderr]     |                                     ^
[INFO] [stderr] ...
[INFO] [stderr] 185 | impl_combinator_for_uint_tag!(U64Le, u64);
[INFO] [stderr]     | ----------------------------------------- in this macro invocation
[INFO] [stderr]     = note: this warning originates in the macro `impl_combinator_for_uint_tag` (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stderr] 
[INFO] [stderr] warning: unused variable: `v`
[INFO] [stderr]    --> src/regular/tag.rs:157:34
[INFO] [stderr]     |
[INFO] [stderr] 157 |                 fn length(&self, v: Self::SType) -> usize {
[INFO] [stderr]     |                                  ^
[INFO] [stderr] ...
[INFO] [stderr] 187 | impl_combinator_for_uint_tag!(U16Be, u16);
[INFO] [stderr]     | ----------------------------------------- in this macro invocation
[INFO] [stderr]     |
[INFO] [stderr] help: `v` is captured in macro and introduced a unused variable
[INFO] [stderr]    --> src/regular/tag.rs:157:34
[INFO] [stderr]     |
[INFO] [stderr] 157 |                 fn length(&self, v: Self::SType) -> usize {
[INFO] [stderr]     |                                  ^
[INFO] [stderr] ...
[INFO] [stderr] 187 | impl_combinator_for_uint_tag!(U16Be, u16);
[INFO] [stderr]     | ----------------------------------------- in this macro invocation
[INFO] [stderr]     = note: this warning originates in the macro `impl_combinator_for_uint_tag` (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stderr] 
[INFO] [stderr] warning: unused variable: `v`
[INFO] [stderr]    --> src/regular/tag.rs:170:37
[INFO] [stderr]     |
[INFO] [stderr] 170 |                 fn serialize(&self, v: Self::SType, data: &mut O, pos: usize) -> Result<usize, SerializeError> {
[INFO] [stderr]     |                                     ^
[INFO] [stderr] ...
[INFO] [stderr] 187 | impl_combinator_for_uint_tag!(U16Be, u16);
[INFO] [stderr]     | ----------------------------------------- in this macro invocation
[INFO] [stderr]     |
[INFO] [stderr] help: `v` is captured in macro and introduced a unused variable
[INFO] [stderr]    --> src/regular/tag.rs:170:37
[INFO] [stderr]     |
[INFO] [stderr] 170 |                 fn serialize(&self, v: Self::SType, data: &mut O, pos: usize) -> Result<usize, SerializeError> {
[INFO] [stderr]     |                                     ^
[INFO] [stderr] ...
[INFO] [stderr] 187 | impl_combinator_for_uint_tag!(U16Be, u16);
[INFO] [stderr]     | ----------------------------------------- in this macro invocation
[INFO] [stderr]     = note: this warning originates in the macro `impl_combinator_for_uint_tag` (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stderr] 
[INFO] [stderr] warning: unused variable: `v`
[INFO] [stderr]    --> src/regular/tag.rs:157:34
[INFO] [stderr]     |
[INFO] [stderr] 157 |                 fn length(&self, v: Self::SType) -> usize {
[INFO] [stderr]     |                                  ^
[INFO] [stderr] ...
[INFO] [stderr] 190 | impl_combinator_for_uint_tag!(U32Be, u32);
[INFO] [stderr]     | ----------------------------------------- in this macro invocation
[INFO] [stderr]     |
[INFO] [stderr] help: `v` is captured in macro and introduced a unused variable
[INFO] [stderr]    --> src/regular/tag.rs:157:34
[INFO] [stderr]     |
[INFO] [stderr] 157 |                 fn length(&self, v: Self::SType) -> usize {
[INFO] [stderr]     |                                  ^
[INFO] [stderr] ...
[INFO] [stderr] 190 | impl_combinator_for_uint_tag!(U32Be, u32);
[INFO] [stderr]     | ----------------------------------------- in this macro invocation
[INFO] [stderr]     = note: this warning originates in the macro `impl_combinator_for_uint_tag` (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stderr] 
[INFO] [stderr] warning: unused variable: `v`
[INFO] [stderr]    --> src/regular/tag.rs:170:37
[INFO] [stderr]     |
[INFO] [stderr] 170 |                 fn serialize(&self, v: Self::SType, data: &mut O, pos: usize) -> Result<usize, SerializeError> {
[INFO] [stderr]     |                                     ^
[INFO] [stderr] ...
[INFO] [stderr] 190 | impl_combinator_for_uint_tag!(U32Be, u32);
[INFO] [stderr]     | ----------------------------------------- in this macro invocation
[INFO] [stderr]     |
[INFO] [stderr] help: `v` is captured in macro and introduced a unused variable
[INFO] [stderr]    --> src/regular/tag.rs:170:37
[INFO] [stderr]     |
[INFO] [stderr] 170 |                 fn serialize(&self, v: Self::SType, data: &mut O, pos: usize) -> Result<usize, SerializeError> {
[INFO] [stderr]     |                                     ^
[INFO] [stderr] ...
[INFO] [stderr] 190 | impl_combinator_for_uint_tag!(U32Be, u32);
[INFO] [stderr]     | ----------------------------------------- in this macro invocation
[INFO] [stderr]     = note: this warning originates in the macro `impl_combinator_for_uint_tag` (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stderr] 
[INFO] [stderr] warning: unused variable: `v`
[INFO] [stderr]    --> src/regular/tag.rs:157:34
[INFO] [stderr]     |
[INFO] [stderr] 157 |                 fn length(&self, v: Self::SType) -> usize {
[INFO] [stderr]     |                                  ^
[INFO] [stderr] ...
[INFO] [stderr] 192 | impl_combinator_for_uint_tag!(U64Be, u64);
[INFO] [stderr]     | ----------------------------------------- in this macro invocation
[INFO] [stderr]     |
[INFO] [stderr] help: `v` is captured in macro and introduced a unused variable
[INFO] [stderr]    --> src/regular/tag.rs:157:34
[INFO] [stderr]     |
[INFO] [stderr] 157 |                 fn length(&self, v: Self::SType) -> usize {
[INFO] [stderr]     |                                  ^
[INFO] [stderr] ...
[INFO] [stderr] 192 | impl_combinator_for_uint_tag!(U64Be, u64);
[INFO] [stderr]     | ----------------------------------------- in this macro invocation
[INFO] [stderr]     = note: this warning originates in the macro `impl_combinator_for_uint_tag` (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stderr] 
[INFO] [stderr] warning: unused variable: `v`
[INFO] [stderr]    --> src/regular/tag.rs:170:37
[INFO] [stderr]     |
[INFO] [stderr] 170 |                 fn serialize(&self, v: Self::SType, data: &mut O, pos: usize) -> Result<usize, SerializeError> {
[INFO] [stderr]     |                                     ^
[INFO] [stderr] ...
[INFO] [stderr] 192 | impl_combinator_for_uint_tag!(U64Be, u64);
[INFO] [stderr]     | ----------------------------------------- in this macro invocation
[INFO] [stderr]     |
[INFO] [stderr] help: `v` is captured in macro and introduced a unused variable
[INFO] [stderr]    --> src/regular/tag.rs:170:37
[INFO] [stderr]     |
[INFO] [stderr] 170 |                 fn serialize(&self, v: Self::SType, data: &mut O, pos: usize) -> Result<usize, SerializeError> {
[INFO] [stderr]     |                                     ^
[INFO] [stderr] ...
[INFO] [stderr] 192 | impl_combinator_for_uint_tag!(U64Be, u64);
[INFO] [stderr]     | ----------------------------------------- in this macro invocation
[INFO] [stderr]     = note: this warning originates in the macro `impl_combinator_for_uint_tag` (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stderr] 
[INFO] [stderr] warning: unused variable: `v`
[INFO] [stderr]    --> src/regular/tag.rs:157:34
[INFO] [stderr]     |
[INFO] [stderr] 157 |                 fn length(&self, v: Self::SType) -> usize {
[INFO] [stderr]     |                                  ^
[INFO] [stderr] ...
[INFO] [stderr] 194 | impl_combinator_for_uint_tag!(UnsignedLEB128, UInt);
[INFO] [stderr]     | --------------------------------------------------- in this macro invocation
[INFO] [stderr]     |
[INFO] [stderr] help: `v` is captured in macro and introduced a unused variable
[INFO] [stderr]    --> src/regular/tag.rs:157:34
[INFO] [stderr]     |
[INFO] [stderr] 157 |                 fn length(&self, v: Self::SType) -> usize {
[INFO] [stderr]     |                                  ^
[INFO] [stderr] ...
[INFO] [stderr] 194 | impl_combinator_for_uint_tag!(UnsignedLEB128, UInt);
[INFO] [stderr]     | --------------------------------------------------- in this macro invocation
[INFO] [stderr]     = note: this warning originates in the macro `impl_combinator_for_uint_tag` (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stderr] 
[INFO] [stderr] warning: unused variable: `v`
[INFO] [stderr]    --> src/regular/tag.rs:170:37
[INFO] [stderr]     |
[INFO] [stderr] 170 |                 fn serialize(&self, v: Self::SType, data: &mut O, pos: usize) -> Result<usize, SerializeError> {
[INFO] [stderr]     |                                     ^
[INFO] [stderr] ...
[INFO] [stderr] 194 | impl_combinator_for_uint_tag!(UnsignedLEB128, UInt);
[INFO] [stderr]     | --------------------------------------------------- in this macro invocation
[INFO] [stderr]     |
[INFO] [stderr] help: `v` is captured in macro and introduced a unused variable
[INFO] [stderr]    --> src/regular/tag.rs:170:37
[INFO] [stderr]     |
[INFO] [stderr] 170 |                 fn serialize(&self, v: Self::SType, data: &mut O, pos: usize) -> Result<usize, SerializeError> {
[INFO] [stderr]     |                                     ^
[INFO] [stderr] ...
[INFO] [stderr] 194 | impl_combinator_for_uint_tag!(UnsignedLEB128, UInt);
[INFO] [stderr]     | --------------------------------------------------- in this macro invocation
[INFO] [stderr]     = note: this warning originates in the macro `impl_combinator_for_uint_tag` (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stderr] 
[INFO] [stderr] warning: unused variable: `v`
[INFO] [stderr]    --> src/regular/tag.rs:217:25
[INFO] [stderr]     |
[INFO] [stderr] 217 |     fn serialize(&self, v: Self::SType, data: &mut Vec<u8>, pos: usize) -> Result<
[INFO] [stderr]     |                         ^ help: if this is intentional, prefix it with an underscore: `_v`
[INFO] [stderr] 
[INFO] [stderr] warning: unused variable: `v`
[INFO] [stderr]     --> src/regular/uints.rs:1090:22
[INFO] [stderr]      |
[INFO] [stderr] 1090 |     fn length(&self, v: Self::SType) -> usize {
[INFO] [stderr]      |                      ^ help: if this is intentional, prefix it with an underscore: `_v`
[INFO] [stderr] 
[INFO] [stderr] warning: unused variable: `v`
[INFO] [stderr]     --> src/regular/uints.rs:1193:22
[INFO] [stderr]      |
[INFO] [stderr] 1193 |     fn length(&self, v: Self::SType) -> usize {
[INFO] [stderr]      |                      ^ help: if this is intentional, prefix it with an underscore: `_v`
[INFO] [stderr] 
[INFO] [stderr] warning: type alias `SpecBtcVarintInner` is never used
[INFO] [stderr]   --> src/bitcoin/varint.rs:96:6
[INFO] [stderr]    |
[INFO] [stderr] 96 | type SpecBtcVarintInner = TryMap<SpecPair<U8, VarintChoice>, VarIntMapper>;
[INFO] [stderr]    |      ^^^^^^^^^^^^^^^^^^
[INFO] [stderr]    |
[INFO] [stderr]    = note: `#[warn(dead_code)]` (part of `#[warn(unused)]`) on by default
[INFO] [stderr] 
[INFO] [stderr] warning: unused import: `super::*`
[INFO] [stderr]    --> src/bitcoin/varint.rs:494:9
[INFO] [stderr]     |
[INFO] [stderr] 494 |     use super::*;
[INFO] [stderr]     |         ^^^^^^^^
[INFO] [stderr]     |
[INFO] [stderr]     = note: `#[warn(unused_imports)]` (part of `#[warn(unused)]`) on by default
[INFO] [stderr] 
[INFO] [stderr] warning: unused import: `vstd::assert_seqs_equal`
[INFO] [stderr]  --> src/regular/leb128.rs:4:5
[INFO] [stderr]   |
[INFO] [stderr] 4 | use vstd::assert_seqs_equal;
[INFO] [stderr]   |     ^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stderr] 
[INFO] [stderr] warning: `vest_lib` (lib) generated 39 warnings (run `cargo fix --lib -p vest_lib` to apply 15 suggestions)
[INFO] [stderr] warning: `vest_lib` (lib test) generated 40 warnings (38 duplicates) (run `cargo fix --lib -p vest_lib --tests` to apply 2 suggestions)
[INFO] [stderr]     Finished `test` profile [unoptimized + debuginfo] target(s) in 0.09s
[INFO] [stderr]      Running unittests src/lib.rs (/opt/rustwide/target/debug/deps/vest_lib-30768fbc414650f4)
[INFO] [stdout] 
[INFO] [stdout] running 0 tests
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 0 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.00s
[INFO] [stdout] 
[INFO] [stderr]    Doc-tests vest_lib
[INFO] [stderr] warning: unnecessary braces around assigned value
[INFO] [stderr]   --> src/regular/uints.rs:13:1
[INFO] [stderr]    |
[INFO] [stderr] 13 | global size_of u8 == 1;
[INFO] [stderr]    | ^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stderr]    |
[INFO] [stderr]    = note: `#[warn(unused_braces)]` (part of `#[warn(unused)]`) on by default
[INFO] [stderr] 
[INFO] [stderr] warning: unnecessary braces around assigned value
[INFO] [stderr]   --> src/regular/uints.rs:15:1
[INFO] [stderr]    |
[INFO] [stderr] 15 | global size_of u16 == 2;
[INFO] [stderr]    | ^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stderr] 
[INFO] [stderr] warning: unnecessary braces around assigned value
[INFO] [stderr]   --> src/regular/uints.rs:17:1
[INFO] [stderr]    |
[INFO] [stderr] 17 | global size_of u32 == 4;
[INFO] [stderr]    | ^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stderr] 
[INFO] [stderr] warning: unnecessary braces around assigned value
[INFO] [stderr]   --> src/regular/uints.rs:19:1
[INFO] [stderr]    |
[INFO] [stderr] 19 | global size_of u64 == 8;
[INFO] [stderr]    | ^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stderr] 
[INFO] [stderr] warning: unnecessary braces around assigned value
[INFO] [stderr]   --> src/regular/uints.rs:21:1
[INFO] [stderr]    |
[INFO] [stderr] 21 | global size_of usize == 8;
[INFO] [stderr]    | ^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stderr] 
[INFO] [stderr] warning: 5 warnings emitted
[INFO] [stderr] 
[INFO] [stdout] 
[INFO] [stdout] running 2 tests
[INFO] [stderr] error: doctest failed, to rerun pass `--doc`
[INFO] [stdout] test src/lib.rs - (line 49) ... FAILED
[INFO] [stdout] test src/lib.rs - (line 67) ... FAILED
[INFO] [stdout] 
[INFO] [stdout] failures:
[INFO] [stdout] 
[INFO] [stdout] ---- src/lib.rs - (line 49) stdout ----
[INFO] [stdout] error: expected item, found keyword `let`
[INFO] [stdout]   --> src/lib.rs:52:1
[INFO] [stdout]    |
[INFO] [stdout] 52 | let pair_of_bytes = (Bytes(1), Bytes(2));
[INFO] [stdout]    | ^^^
[INFO] [stdout]    | |
[INFO] [stdout]    | `let` cannot be used for global variables
[INFO] [stdout]    | help: consider using `static` or `const` instead of `let`
[INFO] [stdout]    |
[INFO] [stdout]    = note: for a full list of items that can appear in modules, see <https://doc.rust-lang.org/reference/items.html>
[INFO] [stdout] 
[INFO] [stdout] error: aborting due to 1 previous error
[INFO] [stdout] 
[INFO] [stdout] Couldn't compile the test.
[INFO] [stdout] ---- src/lib.rs - (line 67) stdout ----
[INFO] [stdout] error: expected item, found keyword `let`
[INFO] [stdout]   --> src/lib.rs:79:1
[INFO] [stdout]    |
[INFO] [stdout] 79 | let even_u8 = Refined { inner: U8, predicate: EvenU8 };
[INFO] [stdout]    | ^^^
[INFO] [stdout]    | |
[INFO] [stdout]    | `let` cannot be used for global variables
[INFO] [stdout]    | help: consider using `static` or `const` instead of `let`
[INFO] [stdout]    |
[INFO] [stdout]    = note: for a full list of items that can appear in modules, see <https://doc.rust-lang.org/reference/items.html>
[INFO] [stdout] 
[INFO] [stdout] error: aborting due to 1 previous error
[INFO] [stdout] 
[INFO] [stdout] Couldn't compile the test.
[INFO] [stdout] 
[INFO] [stdout] failures:
[INFO] [stdout]     src/lib.rs - (line 49)
[INFO] [stdout]     src/lib.rs - (line 67)
[INFO] [stdout] 
[INFO] [stdout] test result: FAILED. 0 passed; 2 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.06s
[INFO] [stdout] 
[INFO] running `Command { std: "docker" "inspect" "72907a0f90c033efe816d43232e82b447550d78ca4ee4b2e80e8d36eb83f55c5", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "72907a0f90c033efe816d43232e82b447550d78ca4ee4b2e80e8d36eb83f55c5", kill_on_drop: false }`
[INFO] [stdout] 72907a0f90c033efe816d43232e82b447550d78ca4ee4b2e80e8d36eb83f55c5
