[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 try#724e78794d2cf06eef820a24c9a4608d63435e1d for pr-149145
[INFO] running `Command { std: "git" "clone" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Ftaisnguyen%2Fverusrust" "/workspace/builds/worker-3-tc2/source", kill_on_drop: false }`
[INFO] [stderr] Cloning into '/workspace/builds/worker-3-tc2/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-3-tc2/source/Cargo.toml
[INFO] validating manifest of git repo https://github.com/taisnguyen/verusrust on toolchain 724e78794d2cf06eef820a24c9a4608d63435e1d
[INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+724e78794d2cf06eef820a24c9a4608d63435e1d" "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" "+724e78794d2cf06eef820a24c9a4608d63435e1d" "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] [stderr]     Blocking waiting for file lock on package cache
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-3-tc2/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-3-tc2/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:94a0c148923f5b2b52a63ef0eeb1882ad339ab61bce784c8077cbe41c61feb6c" "/opt/rustwide/cargo-home/bin/cargo" "+724e78794d2cf06eef820a24c9a4608d63435e1d" "metadata" "--no-deps" "--format-version=1", kill_on_drop: false }`
[INFO] [stdout] 0c3d985454cb14f283e6ce7d69fbcbd2d1629956229e870d2c64622fabe5c84f
[INFO] running `Command { std: "docker" "start" "-a" "0c3d985454cb14f283e6ce7d69fbcbd2d1629956229e870d2c64622fabe5c84f", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "inspect" "0c3d985454cb14f283e6ce7d69fbcbd2d1629956229e870d2c64622fabe5c84f", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "0c3d985454cb14f283e6ce7d69fbcbd2d1629956229e870d2c64622fabe5c84f", kill_on_drop: false }`
[INFO] [stdout] 0c3d985454cb14f283e6ce7d69fbcbd2d1629956229e870d2c64622fabe5c84f
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-3-tc2/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-3-tc2/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:94a0c148923f5b2b52a63ef0eeb1882ad339ab61bce784c8077cbe41c61feb6c" "/opt/rustwide/cargo-home/bin/cargo" "+724e78794d2cf06eef820a24c9a4608d63435e1d" "check" "--frozen" "--all" "--all-targets" "--message-format=json", kill_on_drop: false }`
[INFO] [stdout] e0bc41c271dbf6c3e99795f4fcfcbbfa3126e9bdb10b2ec47b3d527521aecd35
[INFO] running `Command { std: "docker" "start" "-a" "e0bc41c271dbf6c3e99795f4fcfcbbfa3126e9bdb10b2ec47b3d527521aecd35", kill_on_drop: false }`
[INFO] [stderr]    Compiling proc-macro2 v1.0.94
[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 indexmap v1.9.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 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)]` (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: 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: 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<T>(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<T, A: Allocator> {
[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<T, A: Allocator> RawVec<T, A> {
[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<A: Allocator> {
[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<A: Allocator> RawVecInner<A> {
[INFO] [stdout]     | --------------------------------- associated items in this implementation
[INFO] [stdout] 201 |     #[inline]
[INFO] [stdout] 202 |     const fn new_in(alloc: A, align: usize) -> (rvi: RawVecInner<A>)
[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<u8>, 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<Layout, TryReserveError> {
[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] [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<T>(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<T, A: Allocator> {
[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<T, A: Allocator> RawVec<T, A> {
[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<A: Allocator> {
[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<A: Allocator> RawVecInner<A> {
[INFO] [stdout]     | --------------------------------- associated items in this implementation
[INFO] [stdout] 201 |     #[inline]
[INFO] [stdout] 202 |     const fn new_in(alloc: A, align: usize) -> (rvi: RawVecInner<A>)
[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<u8>, 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<Layout, TryReserveError> {
[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 11.08s
[INFO] running `Command { std: "docker" "inspect" "e0bc41c271dbf6c3e99795f4fcfcbbfa3126e9bdb10b2ec47b3d527521aecd35", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "e0bc41c271dbf6c3e99795f4fcfcbbfa3126e9bdb10b2ec47b3d527521aecd35", kill_on_drop: false }`
[INFO] [stdout] e0bc41c271dbf6c3e99795f4fcfcbbfa3126e9bdb10b2ec47b3d527521aecd35
