[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#cdb45c87e2cd43495379f7e867e3cc15dcee9f93 for pr-145838-1 [INFO] running `Command { std: "git" "clone" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Ftaisnguyen%2Fverusrust" "/workspace/builds/worker-7-tc1/source", kill_on_drop: false }` [INFO] [stderr] Cloning into '/workspace/builds/worker-7-tc1/source'... [INFO] [stderr] done. [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-7-tc1/source/Cargo.toml [INFO] validating manifest of git repo https://github.com/taisnguyen/verusrust on toolchain cdb45c87e2cd43495379f7e867e3cc15dcee9f93 [INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+cdb45c87e2cd43495379f7e867e3cc15dcee9f93" "metadata" "--manifest-path" "Cargo.toml" "--no-deps", kill_on_drop: false }` [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" "+cdb45c87e2cd43495379f7e867e3cc15dcee9f93" "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] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-7-tc1/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-7-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:7ad1b28ee6f5f7f699f6cf7015098d6ccdd96d6f2d78dd06228f5b4c9faf309c" "/opt/rustwide/cargo-home/bin/cargo" "+cdb45c87e2cd43495379f7e867e3cc15dcee9f93" "metadata" "--no-deps" "--format-version=1", kill_on_drop: false }` [INFO] [stdout] 2b96ef8778aa5c9d0f40470713100d5a027114e33b974abefdc47a30e2e69230 [INFO] running `Command { std: "docker" "start" "-a" "2b96ef8778aa5c9d0f40470713100d5a027114e33b974abefdc47a30e2e69230", kill_on_drop: false }` [INFO] running `Command { std: "docker" "inspect" "2b96ef8778aa5c9d0f40470713100d5a027114e33b974abefdc47a30e2e69230", kill_on_drop: false }` [INFO] running `Command { std: "docker" "rm" "-f" "2b96ef8778aa5c9d0f40470713100d5a027114e33b974abefdc47a30e2e69230", kill_on_drop: false }` [INFO] [stdout] 2b96ef8778aa5c9d0f40470713100d5a027114e33b974abefdc47a30e2e69230 [INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-7-tc1/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-7-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:7ad1b28ee6f5f7f699f6cf7015098d6ccdd96d6f2d78dd06228f5b4c9faf309c" "/opt/rustwide/cargo-home/bin/cargo" "+cdb45c87e2cd43495379f7e867e3cc15dcee9f93" "build" "--frozen" "--message-format=json", kill_on_drop: false }` [INFO] [stdout] b96fa8967d4c0c9f47928914df855889001ea135bf74206413bb4b308fbfcc94 [INFO] running `Command { std: "docker" "start" "-a" "b96fa8967d4c0c9f47928914df855889001ea135bf74206413bb4b308fbfcc94", kill_on_drop: false }` [INFO] [stderr] Compiling syn_verus v2.0.96 (https://github.com/verus-lang/verus?branch=main#b5cde2b2) [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 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 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)]` (part of `#[warn(unused)]`) 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)]` (part of `#[warn(unused)]`) 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)]` (part of `#[warn(unused)]`) 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: struct `Cap` is never constructed [INFO] [stdout] --> src/alloc/raw_vec.rs:42:8 [INFO] [stdout] | [INFO] [stdout] 42 | struct Cap(usize); [INFO] [stdout] | ^^^ [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: struct `RawVec` is never constructed [INFO] [stdout] --> src/alloc/raw_vec.rs:136:19 [INFO] [stdout] | [INFO] [stdout] 136 | pub(crate) struct RawVec { [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: struct `RawVecInner` is never constructed [INFO] [stdout] --> src/alloc/raw_vec.rs:175:12 [INFO] [stdout] | [INFO] [stdout] 175 | pub struct RawVecInner { [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)]` (part of `#[warn(unused)]`) 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 27.34s [INFO] running `Command { std: "docker" "inspect" "b96fa8967d4c0c9f47928914df855889001ea135bf74206413bb4b308fbfcc94", kill_on_drop: false }` [INFO] running `Command { std: "docker" "rm" "-f" "b96fa8967d4c0c9f47928914df855889001ea135bf74206413bb4b308fbfcc94", kill_on_drop: false }` [INFO] [stdout] b96fa8967d4c0c9f47928914df855889001ea135bf74206413bb4b308fbfcc94 [INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-7-tc1/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-7-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:7ad1b28ee6f5f7f699f6cf7015098d6ccdd96d6f2d78dd06228f5b4c9faf309c" "/opt/rustwide/cargo-home/bin/cargo" "+cdb45c87e2cd43495379f7e867e3cc15dcee9f93" "test" "--frozen" "--no-run" "--message-format=json", kill_on_drop: false }` [INFO] [stdout] ed4f52718d71b5ed143590661ce89d43492b37fb417451b7aa832806d8dca5ae [INFO] running `Command { std: "docker" "start" "-a" "ed4f52718d71b5ed143590661ce89d43492b37fb417451b7aa832806d8dca5ae", 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)]` (part of `#[warn(unused)]`) 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)]` (part of `#[warn(unused)]`) 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)]` (part of `#[warn(unused)]`) 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: struct `Cap` is never constructed [INFO] [stdout] --> src/alloc/raw_vec.rs:42:8 [INFO] [stdout] | [INFO] [stdout] 42 | struct Cap(usize); [INFO] [stdout] | ^^^ [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: struct `RawVec` is never constructed [INFO] [stdout] --> src/alloc/raw_vec.rs:136:19 [INFO] [stdout] | [INFO] [stdout] 136 | pub(crate) struct RawVec { [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: struct `RawVecInner` is never constructed [INFO] [stdout] --> src/alloc/raw_vec.rs:175:12 [INFO] [stdout] | [INFO] [stdout] 175 | pub struct RawVecInner { [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)]` (part of `#[warn(unused)]`) 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.41s [INFO] running `Command { std: "docker" "inspect" "ed4f52718d71b5ed143590661ce89d43492b37fb417451b7aa832806d8dca5ae", kill_on_drop: false }` [INFO] running `Command { std: "docker" "rm" "-f" "ed4f52718d71b5ed143590661ce89d43492b37fb417451b7aa832806d8dca5ae", kill_on_drop: false }` [INFO] [stdout] ed4f52718d71b5ed143590661ce89d43492b37fb417451b7aa832806d8dca5ae [INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-7-tc1/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-7-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:7ad1b28ee6f5f7f699f6cf7015098d6ccdd96d6f2d78dd06228f5b4c9faf309c" "/opt/rustwide/cargo-home/bin/cargo" "+cdb45c87e2cd43495379f7e867e3cc15dcee9f93" "test" "--frozen", kill_on_drop: false }` [INFO] [stdout] 12cb085a4ce31b3cc8635eb37477d3baa53a3c8bc8ab4c93cbc634c0a7113fbb [INFO] running `Command { std: "docker" "start" "-a" "12cb085a4ce31b3cc8635eb37477d3baa53a3c8bc8ab4c93cbc634c0a7113fbb", 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)]` (part of `#[warn(unused)]`) 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)]` (part of `#[warn(unused)]`) 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)]` (part of `#[warn(unused)]`) 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: struct `Cap` is never constructed [INFO] [stderr] --> src/alloc/raw_vec.rs:42:8 [INFO] [stderr] | [INFO] [stderr] 42 | struct Cap(usize); [INFO] [stderr] | ^^^ [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: struct `RawVec` is never constructed [INFO] [stderr] --> src/alloc/raw_vec.rs:136:19 [INFO] [stderr] | [INFO] [stderr] 136 | pub(crate) struct RawVec { [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: struct `RawVecInner` is never constructed [INFO] [stderr] --> src/alloc/raw_vec.rs:175:12 [INFO] [stderr] | [INFO] [stderr] 175 | pub struct RawVecInner { [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)]` (part of `#[warn(unused)]`) 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.10s [INFO] [stderr] Running unittests src/main.rs (/opt/rustwide/target/debug/deps/verusrust-68c40667e39264af) [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" "12cb085a4ce31b3cc8635eb37477d3baa53a3c8bc8ab4c93cbc634c0a7113fbb", kill_on_drop: false }` [INFO] running `Command { std: "docker" "rm" "-f" "12cb085a4ce31b3cc8635eb37477d3baa53a3c8bc8ab4c93cbc634c0a7113fbb", kill_on_drop: false }` [INFO] [stdout] 12cb085a4ce31b3cc8635eb37477d3baa53a3c8bc8ab4c93cbc634c0a7113fbb