[INFO] cloning repository https://github.com/syswonder/Veri-easy [INFO] running `Command { std: "git" "-c" "credential.helper=" "-c" "credential.helper=/workspace/cargo-home/bin/git-credential-null" "clone" "--bare" "https://github.com/syswonder/Veri-easy" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Fsyswonder%2FVeri-easy", kill_on_drop: false }` [INFO] [stderr] Cloning into bare repository '/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Fsyswonder%2FVeri-easy'... [INFO] running `Command { std: "git" "rev-parse" "HEAD", kill_on_drop: false }` [INFO] [stdout] 3951c7cf7f5982373d44d4b4e43a4a246499a938 [INFO] checking syswonder/Veri-easy against master#2b112efcccf831c0e0fbaa6470047c7067f12801 for pr-150727-1 [INFO] running `Command { std: "git" "clone" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Fsyswonder%2FVeri-easy" "/workspace/builds/worker-2-tc1/source", kill_on_drop: false }` [INFO] [stderr] Cloning into '/workspace/builds/worker-2-tc1/source'... [INFO] [stderr] done. [INFO] started tweaking git repo https://github.com/syswonder/Veri-easy [INFO] finished tweaking git repo https://github.com/syswonder/Veri-easy [INFO] tweaked toml for git repo https://github.com/syswonder/Veri-easy written to /workspace/builds/worker-2-tc1/source/Cargo.toml [INFO] validating manifest of git repo https://github.com/syswonder/Veri-easy on toolchain 2b112efcccf831c0e0fbaa6470047c7067f12801 [INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+2b112efcccf831c0e0fbaa6470047c7067f12801" "metadata" "--manifest-path" "Cargo.toml" "--no-deps", kill_on_drop: false }` [INFO] crate git repo https://github.com/syswonder/Veri-easy 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" "+2b112efcccf831c0e0fbaa6470047c7067f12801" "fetch" "--manifest-path" "Cargo.toml", kill_on_drop: false }` [INFO] [stderr] Blocking waiting for file lock on package cache [INFO] [stderr] Updating crates.io index [INFO] [stderr] Updating git repository `https://github.com/verus-lang/verus.git` [INFO] [stderr] Blocking waiting for file lock on package cache [INFO] [stderr] Downloading crates ... [INFO] [stderr] Downloaded toml v0.9.8 [INFO] [stderr] Downloaded quote v1.0.41 [INFO] [stderr] Downloaded toml_datetime v0.7.3 [INFO] [stderr] Downloaded toml_parser v1.0.4 [INFO] [stderr] Downloaded clap_lex v0.7.6 [INFO] [stderr] Downloaded toml_writer v1.0.4 [INFO] [stderr] Downloaded proc-macro2 v1.0.101 [INFO] [stderr] Downloaded wasm-bindgen-shared v0.2.106 [INFO] [stderr] Downloaded itoa v1.0.15 [INFO] [stderr] Downloaded plotters-svg v0.3.7 [INFO] [stderr] Downloaded plotters-backend v0.3.7 [INFO] [stderr] Downloaded cast v0.3.0 [INFO] [stderr] Downloaded crunchy v0.2.4 [INFO] [stderr] Downloaded serde_spanned v1.0.3 [INFO] [stderr] Downloaded same-file v1.0.6 [INFO] [stderr] Downloaded ciborium-ll v0.2.2 [INFO] [stderr] Downloaded ciborium-io v0.2.2 [INFO] [stderr] Downloaded hermit-abi v0.5.2 [INFO] [stderr] Downloaded ciborium v0.2.2 [INFO] [stderr] Downloaded anes v0.1.6 [INFO] [stderr] Downloaded rustversion v1.0.22 [INFO] [stderr] Downloaded half v2.7.1 [INFO] [stderr] Downloaded js-sys v0.3.83 [INFO] [stderr] Downloaded rayon-core v1.13.0 [INFO] [stderr] Downloaded criterion v0.5.1 [INFO] [stderr] Downloaded bumpalo v3.19.0 [INFO] [stderr] Downloaded clap_builder v4.5.53 [INFO] [stderr] Downloaded serde_json v1.0.145 [INFO] [stderr] Downloaded regex v1.12.2 [INFO] [stderr] Downloaded rayon v1.11.0 [INFO] [stderr] Downloaded plotters v0.3.7 [INFO] [stderr] Downloaded wasip2 v1.0.1+wasi-0.2.4 [INFO] [stderr] Downloaded winnow v0.7.13 [INFO] [stderr] Downloaded zerocopy v0.8.31 [INFO] [stderr] Downloaded rand v0.9.2 [INFO] [stderr] Downloaded syn v2.0.107 [INFO] [stderr] Downloaded indexmap v2.12.1 [INFO] [stderr] Downloaded regex-syntax v0.8.8 [INFO] [stderr] Downloaded zerocopy-derive v0.8.31 [INFO] [stderr] Downloaded r-efi v5.3.0 [INFO] [stderr] Downloaded prettyplease v0.2.37 [INFO] [stderr] Downloaded wit-bindgen v0.46.0 [INFO] [stderr] Downloaded wasm-bindgen-macro-support v0.2.106 [INFO] [stderr] Downloaded clap v4.5.53 [INFO] [stderr] Downloaded ryu v1.0.20 [INFO] [stderr] Downloaded tinytemplate v1.2.1 [INFO] [stderr] Downloaded ppv-lite86 v0.2.21 [INFO] [stderr] Downloaded criterion-plot v0.5.0 [INFO] [stderr] Downloaded is-terminal v0.4.17 [INFO] [stderr] Downloaded oorandom v11.1.5 [INFO] [stderr] Downloaded autocfg v1.5.0 [INFO] [stderr] Downloaded regex-automata v0.4.13 [INFO] [stderr] Downloaded web-sys v0.3.83 [INFO] [stderr] Downloaded wasm-bindgen v0.2.106 [INFO] [stderr] Downloaded either v1.15.0 [INFO] [stderr] Downloaded crossbeam-epoch v0.9.18 [INFO] [stderr] Downloaded crossbeam-deque v0.8.6 [INFO] [stderr] Downloaded colored v3.0.0 [INFO] [stderr] Downloaded wasm-bindgen-macro v0.2.106 [INFO] [stderr] Downloaded rand_core v0.9.3 [INFO] [stderr] Downloaded walkdir v2.5.0 [INFO] [stderr] Downloaded libc v0.2.178 [INFO] [stderr] Downloaded kani v0.0.1 [INFO] [stderr] Downloaded windows-link v0.2.1 [INFO] [stderr] Downloaded winapi-util v0.1.11 [INFO] [stderr] Downloaded once_cell_polyfill v1.70.2 [INFO] [stderr] Downloaded unicode-ident v1.0.20 [INFO] [stderr] Downloaded rand_chacha v0.9.0 [INFO] [stderr] Downloaded anstyle-wincon v3.0.11 [INFO] [stderr] Downloaded windows-sys v0.61.2 [INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-2-tc1/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-2-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:98afbf2d16093dec2546ff8915fddc74e65664aa03fc460b3712b1c2c54a33e4" "/opt/rustwide/cargo-home/bin/cargo" "+2b112efcccf831c0e0fbaa6470047c7067f12801" "metadata" "--no-deps" "--format-version=1", kill_on_drop: false }` [INFO] [stdout] 6c0c5dca8d4af3d9099c6b82980a7d2062e07179803dd390d5a59679abdd1d94 [INFO] running `Command { std: "docker" "start" "-a" "6c0c5dca8d4af3d9099c6b82980a7d2062e07179803dd390d5a59679abdd1d94", kill_on_drop: false }` [INFO] running `Command { std: "docker" "inspect" "6c0c5dca8d4af3d9099c6b82980a7d2062e07179803dd390d5a59679abdd1d94", kill_on_drop: false }` [INFO] running `Command { std: "docker" "rm" "-f" "6c0c5dca8d4af3d9099c6b82980a7d2062e07179803dd390d5a59679abdd1d94", kill_on_drop: false }` [INFO] [stdout] 6c0c5dca8d4af3d9099c6b82980a7d2062e07179803dd390d5a59679abdd1d94 [INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-2-tc1/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-2-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:98afbf2d16093dec2546ff8915fddc74e65664aa03fc460b3712b1c2c54a33e4" "/opt/rustwide/cargo-home/bin/cargo" "+2b112efcccf831c0e0fbaa6470047c7067f12801" "check" "--frozen" "--all" "--all-targets" "--message-format=json", kill_on_drop: false }` [INFO] [stdout] 4c0d1dcfac129f322302dd946cc115ea2407f1fbe69b29a144e004108c3f795f [INFO] running `Command { std: "docker" "start" "-a" "4c0d1dcfac129f322302dd946cc115ea2407f1fbe69b29a144e004108c3f795f", kill_on_drop: false }` [INFO] [stderr] Compiling quote v1.0.41 [INFO] [stderr] Compiling proc-macro2 v1.0.101 [INFO] [stderr] Compiling unicode-ident v1.0.20 [INFO] [stderr] Compiling serde_core v1.0.228 [INFO] [stderr] Compiling zerocopy v0.8.31 [INFO] [stderr] Checking cfg-if v1.0.4 [INFO] [stderr] Compiling libc v0.2.178 [INFO] [stderr] Checking memchr v2.7.6 [INFO] [stderr] Compiling serde v1.0.228 [INFO] [stderr] Compiling crossbeam-utils v0.8.21 [INFO] [stderr] Checking utf8parse v0.2.2 [INFO] [stderr] Checking anstyle-parse v0.2.7 [INFO] [stderr] Checking is_terminal_polyfill v1.70.2 [INFO] [stderr] Checking anstyle-query v1.1.5 [INFO] [stderr] Checking colorchoice v1.0.4 [INFO] [stderr] Checking anstyle v1.0.13 [INFO] [stderr] Checking clap_lex v0.7.6 [INFO] [stderr] Compiling heck v0.5.0 [INFO] [stderr] Checking aho-corasick v1.1.3 [INFO] [stderr] Checking anstream v0.6.21 [INFO] [stderr] Compiling getrandom v0.3.4 [INFO] [stderr] Checking regex-syntax v0.8.8 [INFO] [stderr] Checking strsim v0.11.1 [INFO] [stderr] Compiling autocfg v1.5.0 [INFO] [stderr] Checking crossbeam-epoch v0.9.18 [INFO] [stderr] Compiling syn v2.0.107 [INFO] [stderr] Checking clap_builder v4.5.53 [INFO] [stderr] Compiling anyhow v1.0.100 [INFO] [stderr] Compiling verus_syn v0.0.0-2025-11-16-0050 (https://github.com/verus-lang/verus.git#351d1b6e) [INFO] [stderr] Compiling prettyplease v0.2.37 [INFO] [stderr] Compiling num-traits v0.2.19 [INFO] [stderr] Checking either v1.15.0 [INFO] [stderr] Compiling rayon-core v1.13.0 [INFO] [stderr] Compiling serde_json v1.0.145 [INFO] [stderr] Checking crossbeam-deque v0.8.6 [INFO] [stderr] Checking itoa v1.0.15 [INFO] [stderr] Checking ciborium-io v0.2.2 [INFO] [stderr] Checking plotters-backend v0.3.7 [INFO] [stderr] Checking ryu v1.0.20 [INFO] [stderr] Checking rand_core v0.9.3 [INFO] [stderr] Checking itertools v0.10.5 [INFO] [stderr] Checking plotters-svg v0.3.7 [INFO] [stderr] Checking regex-automata v0.4.13 [INFO] [stderr] Checking winnow v0.7.13 [INFO] [stderr] Checking same-file v1.0.6 [INFO] [stderr] Checking cast v0.3.0 [INFO] [stderr] Checking criterion-plot v0.5.0 [INFO] [stderr] Checking walkdir v2.5.0 [INFO] [stderr] Checking plotters v0.3.7 [INFO] [stderr] Checking serde_spanned v1.0.3 [INFO] [stderr] Checking toml_datetime v0.7.3 [INFO] [stderr] Checking rayon v1.11.0 [INFO] [stderr] Checking is-terminal v0.4.17 [INFO] [stderr] Checking once_cell v1.21.3 [INFO] [stderr] Checking anes v0.1.6 [INFO] [stderr] Checking oorandom v11.1.5 [INFO] [stderr] Checking toml_writer v1.0.4 [INFO] [stderr] Checking kani v0.0.1 [INFO] [stderr] Checking colored v3.0.0 [INFO] [stderr] Checking regex v1.12.2 [INFO] [stderr] Checking hvisor-verified-allocator v0.1.0 (/opt/rustwide/workdir/hvisor-verified-allocator) [INFO] [stdout] warning: unused variable: `next_end` [INFO] [stdout] --> hvisor-verified-allocator/src/verified_impl.rs:264:17 [INFO] [stdout] | [INFO] [stdout] 264 | let next_end = T::cap() * (old_i + 1); [INFO] [stdout] | ^^^^^^^^ help: if this is intentional, prefix it with an underscore: `_next_end` [INFO] [stdout] | [INFO] [stdout] = note: `#[warn(unused_variables)]` (part of `#[warn(unused)]`) on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: value assigned to `curr_key` is never read [INFO] [stdout] --> hvisor-verified-allocator/src/verified_impl.rs:247:28 [INFO] [stdout] | [INFO] [stdout] 247 | let mut curr_key = T::cap() * idx; [INFO] [stdout] | ^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = help: maybe it is overwritten before being read? [INFO] [stdout] = note: `#[warn(unused_assignments)]` (part of `#[warn(unused)]`) on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: value assigned to `curr_key` is never read [INFO] [stdout] --> hvisor-verified-allocator/src/verified_impl.rs:267:13 [INFO] [stdout] | [INFO] [stdout] 267 | curr_key = T::cap() * i; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = help: maybe it is overwritten before being read? [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variable `current_end` is assigned to, but never used [INFO] [stdout] --> hvisor-verified-allocator/src/verified_impl.rs:332:13 [INFO] [stdout] | [INFO] [stdout] 332 | let mut current_end = st; [INFO] [stdout] | ^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = note: consider using `_current_end` instead [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: value assigned to `current_end` is never read [INFO] [stdout] --> hvisor-verified-allocator/src/verified_impl.rs:357:13 [INFO] [stdout] | [INFO] [stdout] 357 | current_end = stop + i * T::cap(); [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = help: maybe it is overwritten before being read? [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `width` [INFO] [stdout] --> hvisor-verified-allocator/src/verified_impl.rs:515:13 [INFO] [stdout] | [INFO] [stdout] 515 | let width: u16 = (range.end - range.start) as u16; [INFO] [stdout] | ^^^^^ help: if this is intentional, prefix it with an underscore: `_width` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: value assigned to `res` is never read [INFO] [stdout] --> hvisor-verified-allocator/src/verified_impl.rs:537:34 [INFO] [stdout] | [INFO] [stdout] 537 | let mut res: Option = None; [INFO] [stdout] | ^^^^ [INFO] [stdout] | [INFO] [stdout] = help: maybe it is overwritten before being read? [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `next_end` [INFO] [stdout] --> hvisor-verified-allocator/src/optimized.rs:190:17 [INFO] [stdout] | [INFO] [stdout] 190 | let next_end = T::CAP * (old_i + 1); [INFO] [stdout] | ^^^^^^^^ help: if this is intentional, prefix it with an underscore: `_next_end` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: value assigned to `curr_key` is never read [INFO] [stdout] --> hvisor-verified-allocator/src/optimized.rs:174:28 [INFO] [stdout] | [INFO] [stdout] 174 | let mut curr_key = T::CAP * idx; [INFO] [stdout] | ^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = help: maybe it is overwritten before being read? [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: value assigned to `curr_key` is never read [INFO] [stdout] --> hvisor-verified-allocator/src/optimized.rs:193:13 [INFO] [stdout] | [INFO] [stdout] 193 | curr_key = T::CAP * i; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = help: maybe it is overwritten before being read? [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variable `current_end` is assigned to, but never used [INFO] [stdout] --> hvisor-verified-allocator/src/optimized.rs:241:13 [INFO] [stdout] | [INFO] [stdout] 241 | let mut current_end = st; [INFO] [stdout] | ^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = note: consider using `_current_end` instead [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: value assigned to `current_end` is never read [INFO] [stdout] --> hvisor-verified-allocator/src/optimized.rs:263:13 [INFO] [stdout] | [INFO] [stdout] 263 | current_end = stop + i * T::CAP; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = help: maybe it is overwritten before being read? [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `width` [INFO] [stdout] --> hvisor-verified-allocator/src/optimized.rs:405:13 [INFO] [stdout] | [INFO] [stdout] 405 | let width: u16 = (range.end - range.start) as u16; [INFO] [stdout] | ^^^^^ help: if this is intentional, prefix it with an underscore: `_width` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: value assigned to `res` is never read [INFO] [stdout] --> hvisor-verified-allocator/src/optimized.rs:427:34 [INFO] [stdout] | [INFO] [stdout] 427 | let mut res: Option = None; [INFO] [stdout] | ^^^^ [INFO] [stdout] | [INFO] [stdout] = help: maybe it is overwritten before being read? [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: method `get_bits` is never used [INFO] [stdout] --> hvisor-verified-allocator/src/verified_impl.rs:385:8 [INFO] [stdout] | [INFO] [stdout] 378 | impl BitAlloc16 { [INFO] [stdout] | --------------- method in this implementation [INFO] [stdout] ... [INFO] [stdout] 385 | fn get_bits(&self, range: Range) -> u16 { [INFO] [stdout] | ^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = note: `#[warn(dead_code)]` (part of `#[warn(unused)]`) on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: function `main` is never used [INFO] [stdout] --> hvisor-verified-allocator/src/verified_impl.rs:560:4 [INFO] [stdout] | [INFO] [stdout] 560 | fn main() {} [INFO] [stdout] | ^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: method `get_bits` is never used [INFO] [stdout] --> hvisor-verified-allocator/src/optimized.rs:291:8 [INFO] [stdout] | [INFO] [stdout] 284 | impl BitAlloc16 { [INFO] [stdout] | --------------- method in this implementation [INFO] [stdout] ... [INFO] [stdout] 291 | fn get_bits(&self, range: Range) -> u16 { [INFO] [stdout] | ^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stderr] Checking toml_parser v1.0.4 [INFO] [stderr] Compiling zerocopy-derive v0.8.31 [INFO] [stderr] Compiling serde_derive v1.0.228 [INFO] [stderr] Compiling clap_derive v4.5.49 [INFO] [stderr] Checking precond-translator v0.1.0 (/opt/rustwide/workdir/precond-translator) [INFO] [stderr] Checking toml v0.9.8 [INFO] [stderr] Checking clap v4.5.53 [INFO] [stderr] Checking half v2.7.1 [INFO] [stderr] Checking ppv-lite86 v0.2.21 [INFO] [stderr] Checking tinytemplate v1.2.1 [INFO] [stderr] Checking ciborium-ll v0.2.2 [INFO] [stderr] Checking rand_chacha v0.9.0 [INFO] [stderr] Checking ciborium v0.2.2 [INFO] [stderr] Checking rand v0.9.2 [INFO] [stderr] Checking criterion v0.5.1 [INFO] [stderr] Checking veri-easy v0.1.0 (/opt/rustwide/workdir) [INFO] [stdout] warning: unused variable: `next_end` [INFO] [stdout] --> hvisor-verified-allocator/src/verified_impl.rs:264:17 [INFO] [stdout] | [INFO] [stdout] 264 | let next_end = T::cap() * (old_i + 1); [INFO] [stdout] | ^^^^^^^^ help: if this is intentional, prefix it with an underscore: `_next_end` [INFO] [stdout] | [INFO] [stdout] = note: `#[warn(unused_variables)]` (part of `#[warn(unused)]`) on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: value assigned to `curr_key` is never read [INFO] [stdout] --> hvisor-verified-allocator/src/verified_impl.rs:247:28 [INFO] [stdout] | [INFO] [stdout] 247 | let mut curr_key = T::cap() * idx; [INFO] [stdout] | ^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = help: maybe it is overwritten before being read? [INFO] [stdout] = note: `#[warn(unused_assignments)]` (part of `#[warn(unused)]`) on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: value assigned to `curr_key` is never read [INFO] [stdout] --> hvisor-verified-allocator/src/verified_impl.rs:267:13 [INFO] [stdout] | [INFO] [stdout] 267 | curr_key = T::cap() * i; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = help: maybe it is overwritten before being read? [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variable `current_end` is assigned to, but never used [INFO] [stdout] --> hvisor-verified-allocator/src/verified_impl.rs:332:13 [INFO] [stdout] | [INFO] [stdout] 332 | let mut current_end = st; [INFO] [stdout] | ^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = note: consider using `_current_end` instead [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: value assigned to `current_end` is never read [INFO] [stdout] --> hvisor-verified-allocator/src/verified_impl.rs:357:13 [INFO] [stdout] | [INFO] [stdout] 357 | current_end = stop + i * T::cap(); [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = help: maybe it is overwritten before being read? [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `width` [INFO] [stdout] --> hvisor-verified-allocator/src/verified_impl.rs:515:13 [INFO] [stdout] | [INFO] [stdout] 515 | let width: u16 = (range.end - range.start) as u16; [INFO] [stdout] | ^^^^^ help: if this is intentional, prefix it with an underscore: `_width` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: value assigned to `res` is never read [INFO] [stdout] --> hvisor-verified-allocator/src/verified_impl.rs:537:34 [INFO] [stdout] | [INFO] [stdout] 537 | let mut res: Option = None; [INFO] [stdout] | ^^^^ [INFO] [stdout] | [INFO] [stdout] = help: maybe it is overwritten before being read? [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `next_end` [INFO] [stdout] --> hvisor-verified-allocator/src/optimized.rs:190:17 [INFO] [stdout] | [INFO] [stdout] 190 | let next_end = T::CAP * (old_i + 1); [INFO] [stdout] | ^^^^^^^^ help: if this is intentional, prefix it with an underscore: `_next_end` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: value assigned to `curr_key` is never read [INFO] [stdout] --> hvisor-verified-allocator/src/optimized.rs:174:28 [INFO] [stdout] | [INFO] [stdout] 174 | let mut curr_key = T::CAP * idx; [INFO] [stdout] | ^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = help: maybe it is overwritten before being read? [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: value assigned to `curr_key` is never read [INFO] [stdout] --> hvisor-verified-allocator/src/optimized.rs:193:13 [INFO] [stdout] | [INFO] [stdout] 193 | curr_key = T::CAP * i; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = help: maybe it is overwritten before being read? [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variable `current_end` is assigned to, but never used [INFO] [stdout] --> hvisor-verified-allocator/src/optimized.rs:241:13 [INFO] [stdout] | [INFO] [stdout] 241 | let mut current_end = st; [INFO] [stdout] | ^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = note: consider using `_current_end` instead [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: value assigned to `current_end` is never read [INFO] [stdout] --> hvisor-verified-allocator/src/optimized.rs:263:13 [INFO] [stdout] | [INFO] [stdout] 263 | current_end = stop + i * T::CAP; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = help: maybe it is overwritten before being read? [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `width` [INFO] [stdout] --> hvisor-verified-allocator/src/optimized.rs:405:13 [INFO] [stdout] | [INFO] [stdout] 405 | let width: u16 = (range.end - range.start) as u16; [INFO] [stdout] | ^^^^^ help: if this is intentional, prefix it with an underscore: `_width` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: value assigned to `res` is never read [INFO] [stdout] --> hvisor-verified-allocator/src/optimized.rs:427:34 [INFO] [stdout] | [INFO] [stdout] 427 | let mut res: Option = None; [INFO] [stdout] | ^^^^ [INFO] [stdout] | [INFO] [stdout] = help: maybe it is overwritten before being read? [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: method `get_bits` is never used [INFO] [stdout] --> hvisor-verified-allocator/src/verified_impl.rs:385:8 [INFO] [stdout] | [INFO] [stdout] 378 | impl BitAlloc16 { [INFO] [stdout] | --------------- method in this implementation [INFO] [stdout] ... [INFO] [stdout] 385 | fn get_bits(&self, range: Range) -> u16 { [INFO] [stdout] | ^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = note: `#[warn(dead_code)]` (part of `#[warn(unused)]`) on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: function `main` is never used [INFO] [stdout] --> hvisor-verified-allocator/src/verified_impl.rs:560:4 [INFO] [stdout] | [INFO] [stdout] 560 | fn main() {} [INFO] [stdout] | ^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: method `get_bits` is never used [INFO] [stdout] --> hvisor-verified-allocator/src/optimized.rs:291:8 [INFO] [stdout] | [INFO] [stdout] 284 | impl BitAlloc16 { [INFO] [stdout] | --------------- method in this implementation [INFO] [stdout] ... [INFO] [stdout] 291 | fn get_bits(&self, range: Range) -> u16 { [INFO] [stdout] | ^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stderr] Finished `dev` profile [unoptimized + debuginfo] target(s) in 46.91s [INFO] running `Command { std: "docker" "inspect" "4c0d1dcfac129f322302dd946cc115ea2407f1fbe69b29a144e004108c3f795f", kill_on_drop: false }` [INFO] running `Command { std: "docker" "rm" "-f" "4c0d1dcfac129f322302dd946cc115ea2407f1fbe69b29a144e004108c3f795f", kill_on_drop: false }` [INFO] [stdout] 4c0d1dcfac129f322302dd946cc115ea2407f1fbe69b29a144e004108c3f795f