[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] checking taisnguyen/verusrust against master#be181dd75c83d72fcc95538e235768bc367b76b9 for pr-140208 [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] validating manifest of git repo https://github.com/taisnguyen/verusrust on toolchain be181dd75c83d72fcc95538e235768bc367b76b9 [INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+be181dd75c83d72fcc95538e235768bc367b76b9" "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-7-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" "+be181dd75c83d72fcc95538e235768bc367b76b9" "fetch" "--manifest-path" "Cargo.toml", kill_on_drop: false }` [INFO] [stderr] Blocking waiting for file lock on package cache [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:b0b074c097205a61b89e8ad263052f976b2b332c4dc5f02aef1fe52501660d6e" "/opt/rustwide/cargo-home/bin/cargo" "+be181dd75c83d72fcc95538e235768bc367b76b9" "metadata" "--no-deps" "--format-version=1", kill_on_drop: false }` [INFO] [stdout] b990686edb9e24ba178bd03341ef2b03f27b74853c3ec2885d2f3eab5e00df45 [INFO] running `Command { std: "docker" "start" "-a" "b990686edb9e24ba178bd03341ef2b03f27b74853c3ec2885d2f3eab5e00df45", kill_on_drop: false }` [INFO] running `Command { std: "docker" "inspect" "b990686edb9e24ba178bd03341ef2b03f27b74853c3ec2885d2f3eab5e00df45", kill_on_drop: false }` [INFO] running `Command { std: "docker" "rm" "-f" "b990686edb9e24ba178bd03341ef2b03f27b74853c3ec2885d2f3eab5e00df45", kill_on_drop: false }` [INFO] [stdout] b990686edb9e24ba178bd03341ef2b03f27b74853c3ec2885d2f3eab5e00df45 [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:b0b074c097205a61b89e8ad263052f976b2b332c4dc5f02aef1fe52501660d6e" "/opt/rustwide/cargo-home/bin/cargo" "+be181dd75c83d72fcc95538e235768bc367b76b9" "check" "--frozen" "--all" "--all-targets" "--message-format=json", kill_on_drop: false }` [INFO] [stdout] 19105ad0062321e94aaef6e0a96d777501be58231ff4124be6a922e0c1a1bbf0 [INFO] running `Command { std: "docker" "start" "-a" "19105ad0062321e94aaef6e0a96d777501be58231ff4124be6a922e0c1a1bbf0", 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 unicode-xid v0.2.6 [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] Checking 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 builtin_macros v0.1.0 (https://github.com/verus-lang/verus?branch=main#b5cde2b2) [INFO] [stderr] Compiling state_machines_macros v0.1.0 (https://github.com/verus-lang/verus?branch=main#b5cde2b2) [INFO] [stderr] Checking 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: 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: 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] [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 19.22s [INFO] running `Command { std: "docker" "inspect" "19105ad0062321e94aaef6e0a96d777501be58231ff4124be6a922e0c1a1bbf0", kill_on_drop: false }` [INFO] running `Command { std: "docker" "rm" "-f" "19105ad0062321e94aaef6e0a96d777501be58231ff4124be6a922e0c1a1bbf0", kill_on_drop: false }` [INFO] [stdout] 19105ad0062321e94aaef6e0a96d777501be58231ff4124be6a922e0c1a1bbf0