[INFO] cloning repository https://github.com/taisnguyen/verusrust [INFO] running `Command { std: "git" "-c" "credential.helper=" "-c" "credential.helper=/workspace/cargo-home/bin/git-credential-null" "clone" "--bare" "https://github.com/taisnguyen/verusrust" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Ftaisnguyen%2Fverusrust", kill_on_drop: false }` [INFO] [stderr] Cloning into bare repository '/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Ftaisnguyen%2Fverusrust'... [INFO] running `Command { std: "git" "rev-parse" "HEAD", kill_on_drop: false }` [INFO] [stdout] 628ce418e755367d9c9bd7f34f82f1c90a741b80 [INFO] testing taisnguyen/verusrust against master#414482f6a0d4e7290f614300581a0b55442552a3 for pr-140985 [INFO] running `Command { std: "git" "clone" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Ftaisnguyen%2Fverusrust" "/workspace/builds/worker-5-tc1/source", kill_on_drop: false }` [INFO] [stderr] Cloning into '/workspace/builds/worker-5-tc1/source'... [INFO] [stderr] done. [INFO] validating manifest of git repo https://github.com/taisnguyen/verusrust on toolchain 414482f6a0d4e7290f614300581a0b55442552a3 [INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+414482f6a0d4e7290f614300581a0b55442552a3" "metadata" "--manifest-path" "Cargo.toml" "--no-deps", kill_on_drop: false }` [INFO] started tweaking git repo https://github.com/taisnguyen/verusrust [INFO] finished tweaking git repo https://github.com/taisnguyen/verusrust [INFO] tweaked toml for git repo https://github.com/taisnguyen/verusrust written to /workspace/builds/worker-5-tc1/source/Cargo.toml [INFO] crate git repo https://github.com/taisnguyen/verusrust 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" "+414482f6a0d4e7290f614300581a0b55442552a3" "fetch" "--manifest-path" "Cargo.toml", kill_on_drop: false }` [INFO] [stderr] Updating git repository `https://github.com/verus-lang/verus` [INFO] [stderr] Updating git repository `https://github.com/mystor/synstructure.git` [INFO] [stderr] Blocking waiting for file lock on package cache [INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-5-tc1/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-5-tc1/source:/opt/rustwide/workdir:ro,Z" "-v" "/var/lib/crater-agent-workspace/cargo-home:/opt/rustwide/cargo-home:ro,Z" "-v" "/var/lib/crater-agent-workspace/rustup-home:/opt/rustwide/rustup-home:ro,Z" "-e" "SOURCE_DIR=/opt/rustwide/workdir" "-e" "CARGO_TARGET_DIR=/opt/rustwide/target" "-e" "CARGO_HOME=/opt/rustwide/cargo-home" "-e" "RUSTUP_HOME=/opt/rustwide/rustup-home" "-w" "/opt/rustwide/workdir" "-m" "1610612736" "--user" "0:0" "--network" "none" "ghcr.io/rust-lang/crates-build-env/linux@sha256:eea15d5475069c3ef791f10c2c6b5af2ee421ef2da1e680ecce1cba46243983b" "/opt/rustwide/cargo-home/bin/cargo" "+414482f6a0d4e7290f614300581a0b55442552a3" "metadata" "--no-deps" "--format-version=1", kill_on_drop: false }` [INFO] [stdout] dc91ab4de71ef803b85329ff9b0ad6a7fd7e2f20fca160f55c1e83b680718e55 [INFO] running `Command { std: "docker" "start" "-a" "dc91ab4de71ef803b85329ff9b0ad6a7fd7e2f20fca160f55c1e83b680718e55", kill_on_drop: false }` [INFO] running `Command { std: "docker" "inspect" "dc91ab4de71ef803b85329ff9b0ad6a7fd7e2f20fca160f55c1e83b680718e55", kill_on_drop: false }` [INFO] running `Command { std: "docker" "rm" "-f" "dc91ab4de71ef803b85329ff9b0ad6a7fd7e2f20fca160f55c1e83b680718e55", kill_on_drop: false }` [INFO] [stdout] dc91ab4de71ef803b85329ff9b0ad6a7fd7e2f20fca160f55c1e83b680718e55 [INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-5-tc1/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-5-tc1/source:/opt/rustwide/workdir:ro,Z" "-v" "/var/lib/crater-agent-workspace/cargo-home:/opt/rustwide/cargo-home:ro,Z" "-v" "/var/lib/crater-agent-workspace/rustup-home:/opt/rustwide/rustup-home:ro,Z" "-e" "SOURCE_DIR=/opt/rustwide/workdir" "-e" "CARGO_TARGET_DIR=/opt/rustwide/target" "-e" "CARGO_INCREMENTAL=0" "-e" "RUST_BACKTRACE=full" "-e" "RUSTFLAGS=--cap-lints=forbid" "-e" "RUSTDOCFLAGS=--cap-lints=forbid" "-e" "CARGO_HOME=/opt/rustwide/cargo-home" "-e" "RUSTUP_HOME=/opt/rustwide/rustup-home" "-w" "/opt/rustwide/workdir" "-m" "1610612736" "--user" "0:0" "--network" "none" "ghcr.io/rust-lang/crates-build-env/linux@sha256:eea15d5475069c3ef791f10c2c6b5af2ee421ef2da1e680ecce1cba46243983b" "/opt/rustwide/cargo-home/bin/cargo" "+414482f6a0d4e7290f614300581a0b55442552a3" "build" "--frozen" "--message-format=json", kill_on_drop: false }` [INFO] [stdout] 7bbc0df8946a76ffb7274d7f593eccf8f8bd41c76ffcde2401b8843a8aeb7959 [INFO] running `Command { std: "docker" "start" "-a" "7bbc0df8946a76ffb7274d7f593eccf8f8bd41c76ffcde2401b8843a8aeb7959", kill_on_drop: false }` [INFO] [stderr] Compiling proc-macro2 v1.0.94 [INFO] [stderr] Compiling unicode-ident v1.0.18 [INFO] [stderr] Compiling syn_verus v2.0.96 (https://github.com/verus-lang/verus?branch=main#b5cde2b2) [INFO] [stderr] Compiling autocfg v1.4.0 [INFO] [stderr] Compiling prettyplease_verus v0.2.29 (https://github.com/verus-lang/verus?branch=main#b5cde2b2) [INFO] [stderr] Compiling hashbrown v0.12.3 [INFO] [stderr] Compiling unicode-xid v0.2.6 [INFO] [stderr] Compiling vstd v0.1.0 (https://github.com/verus-lang/verus?branch=main#b5cde2b2) [INFO] [stderr] Compiling builtin v0.1.0 (https://github.com/verus-lang/verus?branch=main#b5cde2b2) [INFO] [stderr] Compiling indexmap v1.9.3 [INFO] [stderr] Compiling quote v1.0.40 [INFO] [stderr] Compiling syn v2.0.100 [INFO] [stderr] Compiling synstructure v0.13.0 (https://github.com/mystor/synstructure.git?rev=1079497eb2bea252433dac53afe41291d8779641#1079497e) [INFO] [stderr] Compiling state_machines_macros v0.1.0 (https://github.com/verus-lang/verus?branch=main#b5cde2b2) [INFO] [stderr] Compiling builtin_macros v0.1.0 (https://github.com/verus-lang/verus?branch=main#b5cde2b2) [INFO] [stderr] Compiling verusrust v0.1.0 (/opt/rustwide/workdir) [INFO] [stdout] warning: unused import: `core::cmp` [INFO] [stdout] --> src/alloc/raw_vec.rs:12:5 [INFO] [stdout] | [INFO] [stdout] 12 | use core::cmp; [INFO] [stdout] | ^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = note: `#[warn(unused_imports)]` on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused imports: `NonNull` and `self` [INFO] [stdout] --> src/alloc/raw_vec.rs:14:17 [INFO] [stdout] | [INFO] [stdout] 14 | use core::ptr::{self, NonNull}; [INFO] [stdout] | ^^^^ ^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `Global` [INFO] [stdout] --> src/alloc/raw_vec.rs:18:35 [INFO] [stdout] | [INFO] [stdout] 18 | use std_alloc::alloc::{Allocator, Global, Layout}; [INFO] [stdout] | ^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `core::cmp::max` [INFO] [stdout] --> src/core/cmp.rs:7:5 [INFO] [stdout] | [INFO] [stdout] 7 | use core::cmp::max; [INFO] [stdout] | ^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `new_layout` [INFO] [stdout] --> src/alloc/raw_vec.rs:263:13 [INFO] [stdout] | [INFO] [stdout] 263 | let new_layout = layout_array(cap, elem_layout)?; [INFO] [stdout] | ^^^^^^^^^^ help: if this is intentional, prefix it with an underscore: `_new_layout` [INFO] [stdout] | [INFO] [stdout] = note: `#[warn(unused_variables)]` on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: type `Cap` is more private than the item `RawVecInner::cap` [INFO] [stdout] --> src/alloc/raw_vec.rs:182:5 [INFO] [stdout] | [INFO] [stdout] 182 | pub cap: Cap, [INFO] [stdout] | ^^^^^^^^^^^^ field `RawVecInner::cap` is reachable at visibility `pub(crate)` [INFO] [stdout] | [INFO] [stdout] note: but type `Cap` is only usable at visibility `pub(self)` [INFO] [stdout] --> src/alloc/raw_vec.rs:42:1 [INFO] [stdout] | [INFO] [stdout] 42 | struct Cap(usize); [INFO] [stdout] | ^^^^^^^^^^ [INFO] [stdout] = note: `#[warn(private_interfaces)]` on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: struct `ExCapacityOverflow` is never constructed [INFO] [stdout] --> src/alloc/collections/mod.rs:13:12 [INFO] [stdout] | [INFO] [stdout] 13 | pub struct ExCapacityOverflow(TryReserveErrorKind); [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = note: `#[warn(dead_code)]` on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: struct `ExTryReserveError` is never constructed [INFO] [stdout] --> src/alloc/raw_vec.rs:36:12 [INFO] [stdout] | [INFO] [stdout] 36 | pub struct ExTryReserveError(TryReserveError); [INFO] [stdout] | ^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: field `0` is never read [INFO] [stdout] --> src/alloc/raw_vec.rs:42:12 [INFO] [stdout] | [INFO] [stdout] 42 | struct Cap(usize); [INFO] [stdout] | --- ^^^^^ [INFO] [stdout] | | [INFO] [stdout] | field in this struct [INFO] [stdout] | [INFO] [stdout] = help: consider removing this field [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: associated items `new_verified` and `as_inner` are never used [INFO] [stdout] --> src/alloc/raw_vec.rs:59:18 [INFO] [stdout] | [INFO] [stdout] 58 | impl Cap { [INFO] [stdout] | -------- associated items in this implementation [INFO] [stdout] 59 | pub const fn new_verified(x: usize) -> Self [INFO] [stdout] | ^^^^^^^^^^^^ [INFO] [stdout] ... [INFO] [stdout] 71 | pub fn as_inner(&self) -> (result: usize) [INFO] [stdout] | ^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: function `new_cap` is never used [INFO] [stdout] --> src/alloc/raw_vec.rs:79:4 [INFO] [stdout] | [INFO] [stdout] 79 | fn new_cap(cap: usize) -> Cap [INFO] [stdout] | ^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: function `min_non_zero_cap` is never used [INFO] [stdout] --> src/alloc/raw_vec.rs:90:10 [INFO] [stdout] | [INFO] [stdout] 90 | const fn min_non_zero_cap(size: usize) -> usize { [INFO] [stdout] | ^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: constant `ZERO_CAP` is never used [INFO] [stdout] --> src/alloc/raw_vec.rs:103:7 [INFO] [stdout] | [INFO] [stdout] 103 | const ZERO_CAP: Cap = Cap(0); [INFO] [stdout] | ^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: function `dangling_aligned` is never used [INFO] [stdout] --> src/alloc/raw_vec.rs:106:14 [INFO] [stdout] | [INFO] [stdout] 106 | pub const fn dangling_aligned(align: usize) -> (pt: ( [INFO] [stdout] | ^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: field `inner` is never read [INFO] [stdout] --> src/alloc/raw_vec.rs:137:5 [INFO] [stdout] | [INFO] [stdout] 136 | pub(crate) struct RawVec { [INFO] [stdout] | ------ field in this struct [INFO] [stdout] 137 | inner: RawVecInner, [INFO] [stdout] | ^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: associated items `new_in` and `grow_one` are never used [INFO] [stdout] --> src/alloc/raw_vec.rs:157:18 [INFO] [stdout] | [INFO] [stdout] 155 | impl RawVec { [INFO] [stdout] | ---------------------------------- associated items in this implementation [INFO] [stdout] 156 | #[inline] [INFO] [stdout] 157 | pub const fn new_in(alloc: A) -> Self { [INFO] [stdout] | ^^^^^^ [INFO] [stdout] ... [INFO] [stdout] 165 | pub fn grow_one(&mut self) [INFO] [stdout] | ^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: fields `ptr`, `pt`, `dealloc`, `cap`, and `alloc` are never read [INFO] [stdout] --> src/alloc/raw_vec.rs:179:9 [INFO] [stdout] | [INFO] [stdout] 175 | pub struct RawVecInner { [INFO] [stdout] | ----------- fields in this struct [INFO] [stdout] ... [INFO] [stdout] 179 | pub ptr: PPtr, [INFO] [stdout] | ^^^ [INFO] [stdout] 180 | pub pt: Tracked, [INFO] [stdout] | ^^ [INFO] [stdout] 181 | pub dealloc: Tracked, [INFO] [stdout] | ^^^^^^^ [INFO] [stdout] 182 | pub cap: Cap, [INFO] [stdout] | ^^^ [INFO] [stdout] 183 | pub alloc: A, [INFO] [stdout] | ^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: associated items `new_in`, `grow_one`, `grow_amortized`, and `current_memory` are never used [INFO] [stdout] --> src/alloc/raw_vec.rs:202:14 [INFO] [stdout] | [INFO] [stdout] 200 | impl RawVecInner { [INFO] [stdout] | --------------------------------- associated items in this implementation [INFO] [stdout] 201 | #[inline] [INFO] [stdout] 202 | const fn new_in(alloc: A, align: usize) -> (rvi: RawVecInner) [INFO] [stdout] | ^^^^^^ [INFO] [stdout] ... [INFO] [stdout] 221 | fn grow_one( [INFO] [stdout] | ^^^^^^^^ [INFO] [stdout] ... [INFO] [stdout] 239 | fn grow_amortized(&mut self, len: usize, additional: usize, elem_layout: Layout) -> Result< [INFO] [stdout] | ^^^^^^^^^^^^^^ [INFO] [stdout] ... [INFO] [stdout] 273 | fn current_memory(&self, elem_layout: Layout) -> Option<(PPtr, Layout)> { [INFO] [stdout] | ^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: function `alloc_guard` is never used [INFO] [stdout] --> src/alloc/raw_vec.rs:331:4 [INFO] [stdout] | [INFO] [stdout] 331 | fn alloc_guard(alloc_size: usize) -> Result<(), TryReserveError> { [INFO] [stdout] | ^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: function `layout_array` is never used [INFO] [stdout] --> src/alloc/raw_vec.rs:342:4 [INFO] [stdout] | [INFO] [stdout] 342 | fn layout_array(cap: usize, elem_layout: Layout) -> Result { [INFO] [stdout] | ^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: function `max_usize` is never used [INFO] [stdout] --> src/core/cmp.rs:19:8 [INFO] [stdout] | [INFO] [stdout] 19 | pub fn max_usize(a: usize, b: usize) -> (result: usize) [INFO] [stdout] | ^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: struct `ExLayout` is never constructed [INFO] [stdout] --> src/std_specs/layout.rs:16:12 [INFO] [stdout] | [INFO] [stdout] 16 | pub struct ExLayout(Layout); [INFO] [stdout] | ^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused `Result` that must be used [INFO] [stdout] --> src/alloc/raw_vec.rs:236:9 [INFO] [stdout] | [INFO] [stdout] 236 | self.grow_amortized(self.cap.as_inner(), 1, elem_layout); [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = note: this `Result` may be an `Err` variant, which should be handled [INFO] [stdout] = note: `#[warn(unused_must_use)]` on by default [INFO] [stdout] help: use `let _ = ...` to ignore the resulting value [INFO] [stdout] | [INFO] [stdout] 236 | let _ = self.grow_amortized(self.cap.as_inner(), 1, elem_layout); [INFO] [stdout] | +++++++ [INFO] [stdout] [INFO] [stdout] [INFO] [stderr] Finished `dev` profile [unoptimized + debuginfo] target(s) in 31.03s [INFO] running `Command { std: "docker" "inspect" "7bbc0df8946a76ffb7274d7f593eccf8f8bd41c76ffcde2401b8843a8aeb7959", kill_on_drop: false }` [INFO] running `Command { std: "docker" "rm" "-f" "7bbc0df8946a76ffb7274d7f593eccf8f8bd41c76ffcde2401b8843a8aeb7959", kill_on_drop: false }` [INFO] [stdout] 7bbc0df8946a76ffb7274d7f593eccf8f8bd41c76ffcde2401b8843a8aeb7959 [INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-5-tc1/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-5-tc1/source:/opt/rustwide/workdir:ro,Z" "-v" "/var/lib/crater-agent-workspace/cargo-home:/opt/rustwide/cargo-home:ro,Z" "-v" "/var/lib/crater-agent-workspace/rustup-home:/opt/rustwide/rustup-home:ro,Z" "-e" "SOURCE_DIR=/opt/rustwide/workdir" "-e" "CARGO_TARGET_DIR=/opt/rustwide/target" "-e" "CARGO_INCREMENTAL=0" "-e" "RUST_BACKTRACE=full" "-e" "RUSTFLAGS=--cap-lints=forbid" "-e" "RUSTDOCFLAGS=--cap-lints=forbid" "-e" "CARGO_HOME=/opt/rustwide/cargo-home" "-e" "RUSTUP_HOME=/opt/rustwide/rustup-home" "-w" "/opt/rustwide/workdir" "-m" "1610612736" "--user" "0:0" "--network" "none" "ghcr.io/rust-lang/crates-build-env/linux@sha256:eea15d5475069c3ef791f10c2c6b5af2ee421ef2da1e680ecce1cba46243983b" "/opt/rustwide/cargo-home/bin/cargo" "+414482f6a0d4e7290f614300581a0b55442552a3" "test" "--frozen" "--no-run" "--message-format=json", kill_on_drop: false }` [INFO] [stdout] afa1eb0c89016cb3a63c805e5f1ec1de26d2f101ccbe9571ac7e936f4f69886c [INFO] running `Command { std: "docker" "start" "-a" "afa1eb0c89016cb3a63c805e5f1ec1de26d2f101ccbe9571ac7e936f4f69886c", kill_on_drop: false }` [INFO] [stderr] Compiling verusrust v0.1.0 (/opt/rustwide/workdir) [INFO] [stdout] warning: unused import: `core::cmp` [INFO] [stdout] --> src/alloc/raw_vec.rs:12:5 [INFO] [stdout] | [INFO] [stdout] 12 | use core::cmp; [INFO] [stdout] | ^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = note: `#[warn(unused_imports)]` on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused imports: `NonNull` and `self` [INFO] [stdout] --> src/alloc/raw_vec.rs:14:17 [INFO] [stdout] | [INFO] [stdout] 14 | use core::ptr::{self, NonNull}; [INFO] [stdout] | ^^^^ ^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `Global` [INFO] [stdout] --> src/alloc/raw_vec.rs:18:35 [INFO] [stdout] | [INFO] [stdout] 18 | use std_alloc::alloc::{Allocator, Global, Layout}; [INFO] [stdout] | ^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `core::cmp::max` [INFO] [stdout] --> src/core/cmp.rs:7:5 [INFO] [stdout] | [INFO] [stdout] 7 | use core::cmp::max; [INFO] [stdout] | ^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `new_layout` [INFO] [stdout] --> src/alloc/raw_vec.rs:263:13 [INFO] [stdout] | [INFO] [stdout] 263 | let new_layout = layout_array(cap, elem_layout)?; [INFO] [stdout] | ^^^^^^^^^^ help: if this is intentional, prefix it with an underscore: `_new_layout` [INFO] [stdout] | [INFO] [stdout] = note: `#[warn(unused_variables)]` on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: type `Cap` is more private than the item `RawVecInner::cap` [INFO] [stdout] --> src/alloc/raw_vec.rs:182:5 [INFO] [stdout] | [INFO] [stdout] 182 | pub cap: Cap, [INFO] [stdout] | ^^^^^^^^^^^^ field `RawVecInner::cap` is reachable at visibility `pub(crate)` [INFO] [stdout] | [INFO] [stdout] note: but type `Cap` is only usable at visibility `pub(self)` [INFO] [stdout] --> src/alloc/raw_vec.rs:42:1 [INFO] [stdout] | [INFO] [stdout] 42 | struct Cap(usize); [INFO] [stdout] | ^^^^^^^^^^ [INFO] [stdout] = note: `#[warn(private_interfaces)]` on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: struct `ExCapacityOverflow` is never constructed [INFO] [stdout] --> src/alloc/collections/mod.rs:13:12 [INFO] [stdout] | [INFO] [stdout] 13 | pub struct ExCapacityOverflow(TryReserveErrorKind); [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = note: `#[warn(dead_code)]` on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: struct `ExTryReserveError` is never constructed [INFO] [stdout] --> src/alloc/raw_vec.rs:36:12 [INFO] [stdout] | [INFO] [stdout] 36 | pub struct ExTryReserveError(TryReserveError); [INFO] [stdout] | ^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: field `0` is never read [INFO] [stdout] --> src/alloc/raw_vec.rs:42:12 [INFO] [stdout] | [INFO] [stdout] 42 | struct Cap(usize); [INFO] [stdout] | --- ^^^^^ [INFO] [stdout] | | [INFO] [stdout] | field in this struct [INFO] [stdout] | [INFO] [stdout] = help: consider removing this field [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: associated items `new_verified` and `as_inner` are never used [INFO] [stdout] --> src/alloc/raw_vec.rs:59:18 [INFO] [stdout] | [INFO] [stdout] 58 | impl Cap { [INFO] [stdout] | -------- associated items in this implementation [INFO] [stdout] 59 | pub const fn new_verified(x: usize) -> Self [INFO] [stdout] | ^^^^^^^^^^^^ [INFO] [stdout] ... [INFO] [stdout] 71 | pub fn as_inner(&self) -> (result: usize) [INFO] [stdout] | ^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: function `new_cap` is never used [INFO] [stdout] --> src/alloc/raw_vec.rs:79:4 [INFO] [stdout] | [INFO] [stdout] 79 | fn new_cap(cap: usize) -> Cap [INFO] [stdout] | ^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: function `min_non_zero_cap` is never used [INFO] [stdout] --> src/alloc/raw_vec.rs:90:10 [INFO] [stdout] | [INFO] [stdout] 90 | const fn min_non_zero_cap(size: usize) -> usize { [INFO] [stdout] | ^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: constant `ZERO_CAP` is never used [INFO] [stdout] --> src/alloc/raw_vec.rs:103:7 [INFO] [stdout] | [INFO] [stdout] 103 | const ZERO_CAP: Cap = Cap(0); [INFO] [stdout] | ^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: function `dangling_aligned` is never used [INFO] [stdout] --> src/alloc/raw_vec.rs:106:14 [INFO] [stdout] | [INFO] [stdout] 106 | pub const fn dangling_aligned(align: usize) -> (pt: ( [INFO] [stdout] | ^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: field `inner` is never read [INFO] [stdout] --> src/alloc/raw_vec.rs:137:5 [INFO] [stdout] | [INFO] [stdout] 136 | pub(crate) struct RawVec { [INFO] [stdout] | ------ field in this struct [INFO] [stdout] 137 | inner: RawVecInner, [INFO] [stdout] | ^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: associated items `new_in` and `grow_one` are never used [INFO] [stdout] --> src/alloc/raw_vec.rs:157:18 [INFO] [stdout] | [INFO] [stdout] 155 | impl RawVec { [INFO] [stdout] | ---------------------------------- associated items in this implementation [INFO] [stdout] 156 | #[inline] [INFO] [stdout] 157 | pub const fn new_in(alloc: A) -> Self { [INFO] [stdout] | ^^^^^^ [INFO] [stdout] ... [INFO] [stdout] 165 | pub fn grow_one(&mut self) [INFO] [stdout] | ^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: fields `ptr`, `pt`, `dealloc`, `cap`, and `alloc` are never read [INFO] [stdout] --> src/alloc/raw_vec.rs:179:9 [INFO] [stdout] | [INFO] [stdout] 175 | pub struct RawVecInner { [INFO] [stdout] | ----------- fields in this struct [INFO] [stdout] ... [INFO] [stdout] 179 | pub ptr: PPtr, [INFO] [stdout] | ^^^ [INFO] [stdout] 180 | pub pt: Tracked, [INFO] [stdout] | ^^ [INFO] [stdout] 181 | pub dealloc: Tracked, [INFO] [stdout] | ^^^^^^^ [INFO] [stdout] 182 | pub cap: Cap, [INFO] [stdout] | ^^^ [INFO] [stdout] 183 | pub alloc: A, [INFO] [stdout] | ^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: associated items `new_in`, `grow_one`, `grow_amortized`, and `current_memory` are never used [INFO] [stdout] --> src/alloc/raw_vec.rs:202:14 [INFO] [stdout] | [INFO] [stdout] 200 | impl RawVecInner { [INFO] [stdout] | --------------------------------- associated items in this implementation [INFO] [stdout] 201 | #[inline] [INFO] [stdout] 202 | const fn new_in(alloc: A, align: usize) -> (rvi: RawVecInner) [INFO] [stdout] | ^^^^^^ [INFO] [stdout] ... [INFO] [stdout] 221 | fn grow_one( [INFO] [stdout] | ^^^^^^^^ [INFO] [stdout] ... [INFO] [stdout] 239 | fn grow_amortized(&mut self, len: usize, additional: usize, elem_layout: Layout) -> Result< [INFO] [stdout] | ^^^^^^^^^^^^^^ [INFO] [stdout] ... [INFO] [stdout] 273 | fn current_memory(&self, elem_layout: Layout) -> Option<(PPtr, Layout)> { [INFO] [stdout] | ^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: function `alloc_guard` is never used [INFO] [stdout] --> src/alloc/raw_vec.rs:331:4 [INFO] [stdout] | [INFO] [stdout] 331 | fn alloc_guard(alloc_size: usize) -> Result<(), TryReserveError> { [INFO] [stdout] | ^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: function `layout_array` is never used [INFO] [stdout] --> src/alloc/raw_vec.rs:342:4 [INFO] [stdout] | [INFO] [stdout] 342 | fn layout_array(cap: usize, elem_layout: Layout) -> Result { [INFO] [stdout] | ^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: function `max_usize` is never used [INFO] [stdout] --> src/core/cmp.rs:19:8 [INFO] [stdout] | [INFO] [stdout] 19 | pub fn max_usize(a: usize, b: usize) -> (result: usize) [INFO] [stdout] | ^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: struct `ExLayout` is never constructed [INFO] [stdout] --> src/std_specs/layout.rs:16:12 [INFO] [stdout] | [INFO] [stdout] 16 | pub struct ExLayout(Layout); [INFO] [stdout] | ^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused `Result` that must be used [INFO] [stdout] --> src/alloc/raw_vec.rs:236:9 [INFO] [stdout] | [INFO] [stdout] 236 | self.grow_amortized(self.cap.as_inner(), 1, elem_layout); [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = note: this `Result` may be an `Err` variant, which should be handled [INFO] [stdout] = note: `#[warn(unused_must_use)]` on by default [INFO] [stdout] help: use `let _ = ...` to ignore the resulting value [INFO] [stdout] | [INFO] [stdout] 236 | let _ = self.grow_amortized(self.cap.as_inner(), 1, elem_layout); [INFO] [stdout] | +++++++ [INFO] [stdout] [INFO] [stdout] [INFO] [stderr] Finished `test` profile [unoptimized + debuginfo] target(s) in 0.27s [INFO] running `Command { std: "docker" "inspect" "afa1eb0c89016cb3a63c805e5f1ec1de26d2f101ccbe9571ac7e936f4f69886c", kill_on_drop: false }` [INFO] running `Command { std: "docker" "rm" "-f" "afa1eb0c89016cb3a63c805e5f1ec1de26d2f101ccbe9571ac7e936f4f69886c", kill_on_drop: false }` [INFO] [stdout] afa1eb0c89016cb3a63c805e5f1ec1de26d2f101ccbe9571ac7e936f4f69886c [INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-5-tc1/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-5-tc1/source:/opt/rustwide/workdir:ro,Z" "-v" "/var/lib/crater-agent-workspace/cargo-home:/opt/rustwide/cargo-home:ro,Z" "-v" "/var/lib/crater-agent-workspace/rustup-home:/opt/rustwide/rustup-home:ro,Z" "-e" "SOURCE_DIR=/opt/rustwide/workdir" "-e" "CARGO_TARGET_DIR=/opt/rustwide/target" "-e" "CARGO_INCREMENTAL=0" "-e" "RUST_BACKTRACE=full" "-e" "RUSTFLAGS=--cap-lints=forbid" "-e" "RUSTDOCFLAGS=--cap-lints=forbid" "-e" "CARGO_HOME=/opt/rustwide/cargo-home" "-e" "RUSTUP_HOME=/opt/rustwide/rustup-home" "-w" "/opt/rustwide/workdir" "-m" "1610612736" "--user" "0:0" "--network" "none" "ghcr.io/rust-lang/crates-build-env/linux@sha256:eea15d5475069c3ef791f10c2c6b5af2ee421ef2da1e680ecce1cba46243983b" "/opt/rustwide/cargo-home/bin/cargo" "+414482f6a0d4e7290f614300581a0b55442552a3" "test" "--frozen", kill_on_drop: false }` [INFO] [stdout] d0985b74f0012d7ce69a443da5d443d29e003c33e2c0be978183e25e49e874c6 [INFO] running `Command { std: "docker" "start" "-a" "d0985b74f0012d7ce69a443da5d443d29e003c33e2c0be978183e25e49e874c6", kill_on_drop: false }` [INFO] [stderr] warning: unused import: `core::cmp` [INFO] [stderr] --> src/alloc/raw_vec.rs:12:5 [INFO] [stderr] | [INFO] [stderr] 12 | use core::cmp; [INFO] [stderr] | ^^^^^^^^^ [INFO] [stderr] | [INFO] [stderr] = note: `#[warn(unused_imports)]` on by default [INFO] [stderr] [INFO] [stderr] warning: unused imports: `NonNull` and `self` [INFO] [stderr] --> src/alloc/raw_vec.rs:14:17 [INFO] [stderr] | [INFO] [stderr] 14 | use core::ptr::{self, NonNull}; [INFO] [stderr] | ^^^^ ^^^^^^^ [INFO] [stderr] [INFO] [stderr] warning: unused import: `Global` [INFO] [stderr] --> src/alloc/raw_vec.rs:18:35 [INFO] [stderr] | [INFO] [stderr] 18 | use std_alloc::alloc::{Allocator, Global, Layout}; [INFO] [stderr] | ^^^^^^ [INFO] [stderr] [INFO] [stderr] warning: unused import: `core::cmp::max` [INFO] [stderr] --> src/core/cmp.rs:7:5 [INFO] [stderr] | [INFO] [stderr] 7 | use core::cmp::max; [INFO] [stderr] | ^^^^^^^^^^^^^^ [INFO] [stderr] [INFO] [stderr] warning: unused variable: `new_layout` [INFO] [stderr] --> src/alloc/raw_vec.rs:263:13 [INFO] [stderr] | [INFO] [stderr] 263 | let new_layout = layout_array(cap, elem_layout)?; [INFO] [stderr] | ^^^^^^^^^^ help: if this is intentional, prefix it with an underscore: `_new_layout` [INFO] [stderr] | [INFO] [stderr] = note: `#[warn(unused_variables)]` on by default [INFO] [stderr] [INFO] [stderr] warning: type `Cap` is more private than the item `RawVecInner::cap` [INFO] [stderr] --> src/alloc/raw_vec.rs:182:5 [INFO] [stderr] | [INFO] [stderr] 182 | pub cap: Cap, [INFO] [stderr] | ^^^^^^^^^^^^ field `RawVecInner::cap` is reachable at visibility `pub(crate)` [INFO] [stderr] | [INFO] [stderr] note: but type `Cap` is only usable at visibility `pub(self)` [INFO] [stderr] --> src/alloc/raw_vec.rs:42:1 [INFO] [stderr] | [INFO] [stderr] 42 | struct Cap(usize); [INFO] [stderr] | ^^^^^^^^^^ [INFO] [stderr] = note: `#[warn(private_interfaces)]` on by default [INFO] [stderr] [INFO] [stderr] warning: struct `ExCapacityOverflow` is never constructed [INFO] [stderr] --> src/alloc/collections/mod.rs:13:12 [INFO] [stderr] | [INFO] [stderr] 13 | pub struct ExCapacityOverflow(TryReserveErrorKind); [INFO] [stderr] | ^^^^^^^^^^^^^^^^^^ [INFO] [stderr] | [INFO] [stderr] = note: `#[warn(dead_code)]` on by default [INFO] [stderr] [INFO] [stderr] warning: struct `ExTryReserveError` is never constructed [INFO] [stderr] --> src/alloc/raw_vec.rs:36:12 [INFO] [stderr] | [INFO] [stderr] 36 | pub struct ExTryReserveError(TryReserveError); [INFO] [stderr] | ^^^^^^^^^^^^^^^^^ [INFO] [stderr] [INFO] [stderr] warning: field `0` is never read [INFO] [stderr] --> src/alloc/raw_vec.rs:42:12 [INFO] [stderr] | [INFO] [stderr] 42 | struct Cap(usize); [INFO] [stderr] | --- ^^^^^ [INFO] [stderr] | | [INFO] [stderr] | field in this struct [INFO] [stderr] | [INFO] [stderr] = help: consider removing this field [INFO] [stderr] [INFO] [stderr] warning: associated items `new_verified` and `as_inner` are never used [INFO] [stderr] --> src/alloc/raw_vec.rs:59:18 [INFO] [stderr] | [INFO] [stderr] 58 | impl Cap { [INFO] [stderr] | -------- associated items in this implementation [INFO] [stderr] 59 | pub const fn new_verified(x: usize) -> Self [INFO] [stderr] | ^^^^^^^^^^^^ [INFO] [stderr] ... [INFO] [stderr] 71 | pub fn as_inner(&self) -> (result: usize) [INFO] [stderr] | ^^^^^^^^ [INFO] [stderr] [INFO] [stderr] warning: function `new_cap` is never used [INFO] [stderr] --> src/alloc/raw_vec.rs:79:4 [INFO] [stderr] | [INFO] [stderr] 79 | fn new_cap(cap: usize) -> Cap [INFO] [stderr] | ^^^^^^^ [INFO] [stderr] [INFO] [stderr] warning: function `min_non_zero_cap` is never used [INFO] [stderr] --> src/alloc/raw_vec.rs:90:10 [INFO] [stderr] | [INFO] [stderr] 90 | const fn min_non_zero_cap(size: usize) -> usize { [INFO] [stderr] | ^^^^^^^^^^^^^^^^ [INFO] [stderr] [INFO] [stderr] warning: constant `ZERO_CAP` is never used [INFO] [stderr] --> src/alloc/raw_vec.rs:103:7 [INFO] [stderr] | [INFO] [stderr] 103 | const ZERO_CAP: Cap = Cap(0); [INFO] [stderr] | ^^^^^^^^ [INFO] [stderr] [INFO] [stderr] warning: function `dangling_aligned` is never used [INFO] [stderr] --> src/alloc/raw_vec.rs:106:14 [INFO] [stderr] | [INFO] [stderr] 106 | pub const fn dangling_aligned(align: usize) -> (pt: ( [INFO] [stderr] | ^^^^^^^^^^^^^^^^ [INFO] [stderr] [INFO] [stderr] warning: field `inner` is never read [INFO] [stderr] --> src/alloc/raw_vec.rs:137:5 [INFO] [stderr] | [INFO] [stderr] 136 | pub(crate) struct RawVec { [INFO] [stderr] | ------ field in this struct [INFO] [stderr] 137 | inner: RawVecInner, [INFO] [stderr] | ^^^^^ [INFO] [stderr] [INFO] [stderr] warning: associated items `new_in` and `grow_one` are never used [INFO] [stderr] --> src/alloc/raw_vec.rs:157:18 [INFO] [stderr] | [INFO] [stderr] 155 | impl RawVec { [INFO] [stderr] | ---------------------------------- associated items in this implementation [INFO] [stderr] 156 | #[inline] [INFO] [stderr] 157 | pub const fn new_in(alloc: A) -> Self { [INFO] [stderr] | ^^^^^^ [INFO] [stderr] ... [INFO] [stderr] 165 | pub fn grow_one(&mut self) [INFO] [stderr] | ^^^^^^^^ [INFO] [stderr] [INFO] [stderr] warning: fields `ptr`, `pt`, `dealloc`, `cap`, and `alloc` are never read [INFO] [stderr] --> src/alloc/raw_vec.rs:179:9 [INFO] [stderr] | [INFO] [stderr] 175 | pub struct RawVecInner { [INFO] [stderr] | ----------- fields in this struct [INFO] [stderr] ... [INFO] [stderr] 179 | pub ptr: PPtr, [INFO] [stderr] | ^^^ [INFO] [stderr] 180 | pub pt: Tracked, [INFO] [stderr] | ^^ [INFO] [stderr] 181 | pub dealloc: Tracked, [INFO] [stderr] | ^^^^^^^ [INFO] [stderr] 182 | pub cap: Cap, [INFO] [stderr] | ^^^ [INFO] [stderr] 183 | pub alloc: A, [INFO] [stderr] | ^^^^^ [INFO] [stderr] [INFO] [stderr] warning: associated items `new_in`, `grow_one`, `grow_amortized`, and `current_memory` are never used [INFO] [stderr] --> src/alloc/raw_vec.rs:202:14 [INFO] [stderr] | [INFO] [stderr] 200 | impl RawVecInner { [INFO] [stderr] | --------------------------------- associated items in this implementation [INFO] [stderr] 201 | #[inline] [INFO] [stderr] 202 | const fn new_in(alloc: A, align: usize) -> (rvi: RawVecInner) [INFO] [stderr] | ^^^^^^ [INFO] [stderr] ... [INFO] [stderr] 221 | fn grow_one( [INFO] [stderr] | ^^^^^^^^ [INFO] [stderr] ... [INFO] [stderr] 239 | fn grow_amortized(&mut self, len: usize, additional: usize, elem_layout: Layout) -> Result< [INFO] [stderr] | ^^^^^^^^^^^^^^ [INFO] [stderr] ... [INFO] [stderr] 273 | fn current_memory(&self, elem_layout: Layout) -> Option<(PPtr, Layout)> { [INFO] [stderr] | ^^^^^^^^^^^^^^ [INFO] [stderr] [INFO] [stderr] warning: function `alloc_guard` is never used [INFO] [stderr] --> src/alloc/raw_vec.rs:331:4 [INFO] [stderr] | [INFO] [stderr] 331 | fn alloc_guard(alloc_size: usize) -> Result<(), TryReserveError> { [INFO] [stderr] | ^^^^^^^^^^^ [INFO] [stderr] [INFO] [stderr] warning: function `layout_array` is never used [INFO] [stderr] --> src/alloc/raw_vec.rs:342:4 [INFO] [stderr] | [INFO] [stderr] 342 | fn layout_array(cap: usize, elem_layout: Layout) -> Result { [INFO] [stderr] | ^^^^^^^^^^^^ [INFO] [stderr] [INFO] [stderr] warning: function `max_usize` is never used [INFO] [stderr] --> src/core/cmp.rs:19:8 [INFO] [stderr] | [INFO] [stderr] 19 | pub fn max_usize(a: usize, b: usize) -> (result: usize) [INFO] [stderr] | ^^^^^^^^^ [INFO] [stderr] [INFO] [stderr] warning: struct `ExLayout` is never constructed [INFO] [stderr] --> src/std_specs/layout.rs:16:12 [INFO] [stderr] | [INFO] [stderr] 16 | pub struct ExLayout(Layout); [INFO] [stderr] | ^^^^^^^^ [INFO] [stderr] [INFO] [stderr] warning: unused `Result` that must be used [INFO] [stderr] --> src/alloc/raw_vec.rs:236:9 [INFO] [stderr] | [INFO] [stderr] 236 | self.grow_amortized(self.cap.as_inner(), 1, elem_layout); [INFO] [stderr] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stderr] | [INFO] [stderr] = note: this `Result` may be an `Err` variant, which should be handled [INFO] [stderr] = note: `#[warn(unused_must_use)]` on by default [INFO] [stderr] help: use `let _ = ...` to ignore the resulting value [INFO] [stderr] | [INFO] [stderr] 236 | let _ = self.grow_amortized(self.cap.as_inner(), 1, elem_layout); [INFO] [stderr] | +++++++ [INFO] [stderr] [INFO] [stderr] warning: `verusrust` (bin "verusrust" test) generated 23 warnings (run `cargo fix --bin "verusrust" --tests` to apply 4 suggestions) [INFO] [stderr] Finished `test` profile [unoptimized + debuginfo] target(s) in 0.07s [INFO] [stderr] Running unittests src/main.rs (/opt/rustwide/target/debug/deps/verusrust-5220c2366b3ac0ff) [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] running `Command { std: "docker" "inspect" "d0985b74f0012d7ce69a443da5d443d29e003c33e2c0be978183e25e49e874c6", kill_on_drop: false }` [INFO] running `Command { std: "docker" "rm" "-f" "d0985b74f0012d7ce69a443da5d443d29e003c33e2c0be978183e25e49e874c6", kill_on_drop: false }` [INFO] [stdout] d0985b74f0012d7ce69a443da5d443d29e003c33e2c0be978183e25e49e874c6