[INFO] fetching crate vstd 0.0.0-2026-05-17-0151...
[INFO] checking vstd-0.0.0-2026-05-17-0151 against try#0611f7de057c584b8771102fde7aed6c70c71d3b for pr-146440
[INFO] extracting crate vstd 0.0.0-2026-05-17-0151 into /workspace/builds/worker-2-tc2/source
[INFO] started tweaking crates.io crate vstd 0.0.0-2026-05-17-0151
[INFO] finished tweaking crates.io crate vstd 0.0.0-2026-05-17-0151
[INFO] tweaked toml for crates.io crate vstd 0.0.0-2026-05-17-0151 written to /workspace/builds/worker-2-tc2/source/Cargo.toml
[INFO] validating manifest of crates.io crate vstd 0.0.0-2026-05-17-0151 on toolchain 0611f7de057c584b8771102fde7aed6c70c71d3b
[INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+0611f7de057c584b8771102fde7aed6c70c71d3b" "metadata" "--manifest-path" "Cargo.toml" "--no-deps", kill_on_drop: false }`
[INFO] crate crates.io crate vstd 0.0.0-2026-05-17-0151 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" "+0611f7de057c584b8771102fde7aed6c70c71d3b" "fetch" "--manifest-path" "Cargo.toml", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-2-tc2/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-2-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:d429b63d4308055ea97f60fb1d3dfca48854a00942f1bd2ad806beaf015945ec" "/opt/rustwide/cargo-home/bin/cargo" "+0611f7de057c584b8771102fde7aed6c70c71d3b" "metadata" "--no-deps" "--format-version=1", kill_on_drop: false }`
[INFO] [stdout] ffd2f84202089c04f135ed411e343de8c4c73a8ac5b146f1e7f8ae2c73c7835e
[INFO] running `Command { std: "docker" "start" "-a" "ffd2f84202089c04f135ed411e343de8c4c73a8ac5b146f1e7f8ae2c73c7835e", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "inspect" "ffd2f84202089c04f135ed411e343de8c4c73a8ac5b146f1e7f8ae2c73c7835e", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "ffd2f84202089c04f135ed411e343de8c4c73a8ac5b146f1e7f8ae2c73c7835e", kill_on_drop: false }`
[INFO] [stdout] ffd2f84202089c04f135ed411e343de8c4c73a8ac5b146f1e7f8ae2c73c7835e
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-2-tc2/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-2-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:d429b63d4308055ea97f60fb1d3dfca48854a00942f1bd2ad806beaf015945ec" "/opt/rustwide/cargo-home/bin/cargo" "+0611f7de057c584b8771102fde7aed6c70c71d3b" "check" "--frozen" "--all" "--all-targets" "--message-format=json", kill_on_drop: false }`
[INFO] [stdout] 5258a093f826738b503cf8119bba2e04d6bc8d181faf92ef7c0826fcdcae7e52
[INFO] running `Command { std: "docker" "start" "-a" "5258a093f826738b503cf8119bba2e04d6bc8d181faf92ef7c0826fcdcae7e52", kill_on_drop: false }`
[INFO] [stderr]    Compiling verus_syn v0.0.0-2026-05-10-0145
[INFO] [stderr]    Compiling verus_prettyplease v0.0.0-2026-05-10-0145
[INFO] [stderr]    Compiling indexmap v1.9.3
[INFO] [stderr]    Compiling syn v2.0.117
[INFO] [stderr]    Compiling hashbrown v0.12.3
[INFO] [stderr]    Compiling vstd v0.0.0-2026-05-17-0151 (/opt/rustwide/workdir)
[INFO] [stderr]     Checking verus_builtin v0.0.0-2026-05-17-0151
[INFO] [stderr]    Compiling synstructure v0.13.2
[INFO] [stderr]    Compiling verus_state_machines_macros v0.0.0-2026-05-10-0145
[INFO] [stderr]    Compiling verus_builtin_macros v0.0.0-2026-05-10-0145
[INFO] [stdout] error: struct `ExFnProof` is never constructed
[INFO] [stdout]   --> function.rs:12:12
[INFO] [stdout]    |
[INFO] [stdout] 12 | pub struct ExFnProof<'a, Options, ArgModes, OutMode, Args, Output>(
[INFO] [stdout]    |            ^^^^^^^^^
[INFO] [stdout]    |
[INFO] [stdout]    = note: this `pub` struct has private fields, no public constructor, and is not otherwise reachable through the external API, so consider providing a public constructor or removing it
[INFO] [stdout]    = note: `#[deny(unused_unconstructable_pub_struct)]` (part of `#[deny(unused)]`) on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: struct `ExFnProofOptions` is never constructed
[INFO] [stdout]   --> function.rs:24:12
[INFO] [stdout]    |
[INFO] [stdout] 24 | pub struct ExFnProofOptions<
[INFO] [stdout]    |            ^^^^^^^^^^^^^^^^
[INFO] [stdout]    |
[INFO] [stdout]    = note: this `pub` struct has private fields, no public constructor, and is not otherwise reachable through the external API, so consider providing a public constructor or removing it
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: struct `ExFnProofOptionReqEns` is never constructed
[INFO] [stdout]   --> function.rs:45:12
[INFO] [stdout]    |
[INFO] [stdout] 45 | pub struct ExFnProofOptionReqEns<R>(RqEn<R>);
[INFO] [stdout]    |            ^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout]    |
[INFO] [stdout]    = note: this `pub` struct has private fields, no public constructor, and is not otherwise reachable through the external API, so consider providing a public constructor or removing it
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: struct `ExFnProofOptionTracked` is never constructed
[INFO] [stdout]   --> function.rs:50:12
[INFO] [stdout]    |
[INFO] [stdout] 50 | pub struct ExFnProofOptionTracked(Trk);
[INFO] [stdout]    |            ^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout]    |
[INFO] [stdout]    = note: this `pub` struct has private fields, no public constructor, and is not otherwise reachable through the external API, so consider providing a public constructor or removing it
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: struct `ProphecyGhost` is never constructed
[INFO] [stdout]    --> proph.rs:210:20
[INFO] [stdout]     |
[INFO] [stdout] 210 | pub tracked struct ProphecyGhost<T> {
[INFO] [stdout]     |                    ^^^^^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout]     = note: this `pub` struct has private fields, no public constructor, and is not otherwise reachable through the external API, so consider providing a public constructor or removing it
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: struct `ProphecySeq` is never constructed
[INFO] [stdout]    --> proph.rs:263:20
[INFO] [stdout]     |
[INFO] [stdout] 263 | pub tracked struct ProphecySeq<T> {
[INFO] [stdout]     |                    ^^^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout]     = note: this `pub` struct has private fields, no public constructor, and is not otherwise reachable through the external API, so consider providing a public constructor or removing it
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: struct `Resource` is never constructed
[INFO] [stdout]   --> resource/algebra.rs:16:20
[INFO] [stdout]    |
[INFO] [stdout] 16 | pub tracked struct Resource<RA: ResourceAlgebra> {
[INFO] [stdout]    |                    ^^^^^^^^
[INFO] [stdout]    |
[INFO] [stdout]    = note: this `pub` struct has private fields, no public constructor, and is not otherwise reachable through the external API, so consider providing a public constructor or removing it
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: struct `FracGhost` is never constructed
[INFO] [stdout]    --> resource/frac.rs:137:20
[INFO] [stdout]     |
[INFO] [stdout] 137 | pub tracked struct FracGhost<T> {
[INFO] [stdout]     |                    ^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout]     = note: this `pub` struct has private fields, no public constructor, and is not otherwise reachable through the external API, so consider providing a public constructor or removing it
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: struct `Frac` is never constructed
[INFO] [stdout]   --> resource/frac_opt.rs:69:20
[INFO] [stdout]    |
[INFO] [stdout] 69 | pub tracked struct Frac<T> {
[INFO] [stdout]    |                    ^^^^
[INFO] [stdout]    |
[INFO] [stdout]    = note: this `pub` struct has private fields, no public constructor, and is not otherwise reachable through the external API, so consider providing a public constructor or removing it
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: struct `Empty` is never constructed
[INFO] [stdout]   --> resource/frac_opt.rs:75:20
[INFO] [stdout]    |
[INFO] [stdout] 75 | pub tracked struct Empty<T> {
[INFO] [stdout]    |                    ^^^^^
[INFO] [stdout]    |
[INFO] [stdout]    = note: this `pub` struct has private fields, no public constructor, and is not otherwise reachable through the external API, so consider providing a public constructor or removing it
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: struct `GhostVar` is never constructed
[INFO] [stdout]   --> resource/ghost_var.rs:10:20
[INFO] [stdout]    |
[INFO] [stdout] 10 | pub tracked struct GhostVar<T> {
[INFO] [stdout]    |                    ^^^^^^^^
[INFO] [stdout]    |
[INFO] [stdout]    = note: this `pub` struct has private fields, no public constructor, and is not otherwise reachable through the external API, so consider providing a public constructor or removing it
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: struct `GhostVarAuth` is never constructed
[INFO] [stdout]   --> resource/ghost_var.rs:55:20
[INFO] [stdout]    |
[INFO] [stdout] 55 | pub tracked struct GhostVarAuth<T> {
[INFO] [stdout]    |                    ^^^^^^^^^^^^
[INFO] [stdout]    |
[INFO] [stdout]    = note: this `pub` struct has private fields, no public constructor, and is not otherwise reachable through the external API, so consider providing a public constructor or removing it
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: struct `GhostMapAuth` is never constructed
[INFO] [stdout]    --> resource/map.rs:308:20
[INFO] [stdout]     |
[INFO] [stdout] 308 | pub tracked struct GhostMapAuth<K, V> {
[INFO] [stdout]     |                    ^^^^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout]     = note: this `pub` struct has private fields, no public constructor, and is not otherwise reachable through the external API, so consider providing a public constructor or removing it
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: struct `GhostSubmap` is never constructed
[INFO] [stdout]    --> resource/map.rs:319:20
[INFO] [stdout]     |
[INFO] [stdout] 319 | pub tracked struct GhostSubmap<K, V> {
[INFO] [stdout]     |                    ^^^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout]     = note: this `pub` struct has private fields, no public constructor, and is not otherwise reachable through the external API, so consider providing a public constructor or removing it
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: struct `GhostPersistentSubmap` is never constructed
[INFO] [stdout]    --> resource/map.rs:329:20
[INFO] [stdout]     |
[INFO] [stdout] 329 | pub tracked struct GhostPersistentSubmap<K, V> {
[INFO] [stdout]     |                    ^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout]     = note: this `pub` struct has private fields, no public constructor, and is not otherwise reachable through the external API, so consider providing a public constructor or removing it
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: struct `GhostPointsTo` is never constructed
[INFO] [stdout]    --> resource/map.rs:340:20
[INFO] [stdout]     |
[INFO] [stdout] 340 | pub tracked struct GhostPointsTo<K, V> {
[INFO] [stdout]     |                    ^^^^^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout]     = note: this `pub` struct has private fields, no public constructor, and is not otherwise reachable through the external API, so consider providing a public constructor or removing it
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: struct `GhostPersistentPointsTo` is never constructed
[INFO] [stdout]    --> resource/map.rs:350:20
[INFO] [stdout]     |
[INFO] [stdout] 350 | pub tracked struct GhostPersistentPointsTo<K, V> {
[INFO] [stdout]     |                    ^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout]     = note: this `pub` struct has private fields, no public constructor, and is not otherwise reachable through the external API, so consider providing a public constructor or removing it
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: struct `GhostSeqAuth` is never constructed
[INFO] [stdout]   --> resource/seq.rs:65:20
[INFO] [stdout]    |
[INFO] [stdout] 65 | pub tracked struct GhostSeqAuth<V> {
[INFO] [stdout]    |                    ^^^^^^^^^^^^
[INFO] [stdout]    |
[INFO] [stdout]    = note: this `pub` struct has private fields, no public constructor, and is not otherwise reachable through the external API, so consider providing a public constructor or removing it
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: struct `GhostSubseq` is never constructed
[INFO] [stdout]   --> resource/seq.rs:71:20
[INFO] [stdout]    |
[INFO] [stdout] 71 | pub tracked struct GhostSubseq<V> {
[INFO] [stdout]    |                    ^^^^^^^^^^^
[INFO] [stdout]    |
[INFO] [stdout]    = note: this `pub` struct has private fields, no public constructor, and is not otherwise reachable through the external API, so consider providing a public constructor or removing it
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: struct `GhostSetAuth` is never constructed
[INFO] [stdout]   --> resource/set.rs:88:12
[INFO] [stdout]    |
[INFO] [stdout] 88 | pub struct GhostSetAuth<T> {
[INFO] [stdout]    |            ^^^^^^^^^^^^
[INFO] [stdout]    |
[INFO] [stdout]    = note: this `pub` struct has private fields, no public constructor, and is not otherwise reachable through the external API, so consider providing a public constructor or removing it
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: struct `GhostSubset` is never constructed
[INFO] [stdout]   --> resource/set.rs:99:12
[INFO] [stdout]    |
[INFO] [stdout] 99 | pub struct GhostSubset<T> {
[INFO] [stdout]    |            ^^^^^^^^^^^
[INFO] [stdout]    |
[INFO] [stdout]    = note: this `pub` struct has private fields, no public constructor, and is not otherwise reachable through the external API, so consider providing a public constructor or removing it
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: struct `GhostPersistentSubset` is never constructed
[INFO] [stdout]    --> resource/set.rs:107:12
[INFO] [stdout]     |
[INFO] [stdout] 107 | pub struct GhostPersistentSubset<T> {
[INFO] [stdout]     |            ^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout]     = note: this `pub` struct has private fields, no public constructor, and is not otherwise reachable through the external API, so consider providing a public constructor or removing it
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: struct `GhostSingleton` is never constructed
[INFO] [stdout]    --> resource/set.rs:117:12
[INFO] [stdout]     |
[INFO] [stdout] 117 | pub struct GhostSingleton<T> {
[INFO] [stdout]     |            ^^^^^^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout]     = note: this `pub` struct has private fields, no public constructor, and is not otherwise reachable through the external API, so consider providing a public constructor or removing it
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: struct `GhostPersistentSingleton` is never constructed
[INFO] [stdout]    --> resource/set.rs:125:12
[INFO] [stdout]     |
[INFO] [stdout] 125 | pub struct GhostPersistentSingleton<T> {
[INFO] [stdout]     |            ^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout]     = note: this `pub` struct has private fields, no public constructor, and is not otherwise reachable through the external API, so consider providing a public constructor or removing it
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: struct `StorageResource` is never constructed
[INFO] [stdout]   --> resource/storage_protocol.rs:33:20
[INFO] [stdout]    |
[INFO] [stdout] 33 | pub tracked struct StorageResource<K, V, P> {
[INFO] [stdout]    |                    ^^^^^^^^^^^^^^^
[INFO] [stdout]    |
[INFO] [stdout]    = note: this `pub` struct has private fields, no public constructor, and is not otherwise reachable through the external API, so consider providing a public constructor or removing it
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: struct `ExString` is never constructed
[INFO] [stdout]    --> string.rs:325:12
[INFO] [stdout]     |
[INFO] [stdout] 325 | pub struct ExString(String);
[INFO] [stdout]     |            ^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout]     = note: this `pub` struct has private fields, no public constructor, and is not otherwise reachable through the external API, so consider providing a public constructor or removing it
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: struct `ExChars` is never constructed
[INFO] [stdout]    --> string.rs:428:12
[INFO] [stdout]     |
[INFO] [stdout] 428 | pub struct ExChars<'a>(Chars<'a>);
[INFO] [stdout]     |            ^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout]     = note: this `pub` struct has private fields, no public constructor, and is not otherwise reachable through the external API, so consider providing a public constructor or removing it
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: struct `MapToken` is never constructed
[INFO] [stdout]    --> tokens.rs:246:20
[INFO] [stdout]     |
[INFO] [stdout] 246 | pub tracked struct MapToken<Key, Value, Token>
[INFO] [stdout]     |                    ^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout]     = note: this `pub` struct has private fields, no public constructor, and is not otherwise reachable through the external API, so consider providing a public constructor or removing it
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: struct `SetToken` is never constructed
[INFO] [stdout]    --> tokens.rs:361:20
[INFO] [stdout]     |
[INFO] [stdout] 361 | pub tracked struct SetToken<Element, Token>
[INFO] [stdout]     |                    ^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout]     = note: this `pub` struct has private fields, no public constructor, and is not otherwise reachable through the external API, so consider providing a public constructor or removing it
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: negative impls are experimental
[INFO] [stdout]    --> invariant.rs:170:18
[INFO] [stdout]     |
[INFO] [stdout] 170 | impl<K, V, Pred> !Sync for LocalInvariant<K, V, Pred> {}
[INFO] [stdout]     |                  ^
[INFO] [stdout]     |
[INFO] [stdout]     = note: see issue #68318 <https://github.com/rust-lang/rust/issues/68318> for more information
[INFO] [stdout]     = help: add `#![feature(negative_impls)]` to the crate attributes to enable
[INFO] [stdout]     = note: this compiler was built on 2026-05-18; consider upgrading it if it is out of date
[INFO] [stdout]     = warning: unstable syntax can change at any point in the future, causing a hard error!
[INFO] [stdout]     = note: for more information, see issue #154045 <https://github.com/rust-lang/rust/issues/154045>
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: negative impls are experimental
[INFO] [stdout]    --> thread.rs:153:6
[INFO] [stdout]     |
[INFO] [stdout] 153 | impl !Sync for IsThread {
[INFO] [stdout]     |      ^
[INFO] [stdout]     |
[INFO] [stdout]     = note: see issue #68318 <https://github.com/rust-lang/rust/issues/68318> for more information
[INFO] [stdout]     = help: add `#![feature(negative_impls)]` to the crate attributes to enable
[INFO] [stdout]     = note: this compiler was built on 2026-05-18; consider upgrading it if it is out of date
[INFO] [stdout]     = warning: unstable syntax can change at any point in the future, causing a hard error!
[INFO] [stdout]     = note: for more information, see issue #154045 <https://github.com/rust-lang/rust/issues/154045>
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: negative impls are experimental
[INFO] [stdout]    --> thread.rs:158:6
[INFO] [stdout]     |
[INFO] [stdout] 158 | impl !Send for IsThread {
[INFO] [stdout]     |      ^
[INFO] [stdout]     |
[INFO] [stdout]     = note: see issue #68318 <https://github.com/rust-lang/rust/issues/68318> for more information
[INFO] [stdout]     = help: add `#![feature(negative_impls)]` to the crate attributes to enable
[INFO] [stdout]     = note: this compiler was built on 2026-05-18; consider upgrading it if it is out of date
[INFO] [stdout]     = warning: unstable syntax can change at any point in the future, causing a hard error!
[INFO] [stdout]     = note: for more information, see issue #154045 <https://github.com/rust-lang/rust/issues/154045>
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stderr] error: could not compile `vstd` (lib test) due to 29 previous errors; 3 warnings emitted
[INFO] [stderr] warning: build failed, waiting for other jobs to finish...
[INFO] [stdout] error: struct `ExFnProof` is never constructed
[INFO] [stdout]   --> function.rs:12:12
[INFO] [stdout]    |
[INFO] [stdout] 12 | pub struct ExFnProof<'a, Options, ArgModes, OutMode, Args, Output>(
[INFO] [stdout]    |            ^^^^^^^^^
[INFO] [stdout]    |
[INFO] [stdout]    = note: this `pub` struct has private fields, no public constructor, and is not otherwise reachable through the external API, so consider providing a public constructor or removing it
[INFO] [stdout]    = note: `#[deny(unused_unconstructable_pub_struct)]` (part of `#[deny(unused)]`) on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: struct `ExFnProofOptions` is never constructed
[INFO] [stdout]   --> function.rs:24:12
[INFO] [stdout]    |
[INFO] [stdout] 24 | pub struct ExFnProofOptions<
[INFO] [stdout]    |            ^^^^^^^^^^^^^^^^
[INFO] [stdout]    |
[INFO] [stdout]    = note: this `pub` struct has private fields, no public constructor, and is not otherwise reachable through the external API, so consider providing a public constructor or removing it
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: struct `ExFnProofOptionReqEns` is never constructed
[INFO] [stdout]   --> function.rs:45:12
[INFO] [stdout]    |
[INFO] [stdout] 45 | pub struct ExFnProofOptionReqEns<R>(RqEn<R>);
[INFO] [stdout]    |            ^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout]    |
[INFO] [stdout]    = note: this `pub` struct has private fields, no public constructor, and is not otherwise reachable through the external API, so consider providing a public constructor or removing it
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: struct `ExFnProofOptionTracked` is never constructed
[INFO] [stdout]   --> function.rs:50:12
[INFO] [stdout]    |
[INFO] [stdout] 50 | pub struct ExFnProofOptionTracked(Trk);
[INFO] [stdout]    |            ^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout]    |
[INFO] [stdout]    = note: this `pub` struct has private fields, no public constructor, and is not otherwise reachable through the external API, so consider providing a public constructor or removing it
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: struct `ProphecyGhost` is never constructed
[INFO] [stdout]    --> proph.rs:210:20
[INFO] [stdout]     |
[INFO] [stdout] 210 | pub tracked struct ProphecyGhost<T> {
[INFO] [stdout]     |                    ^^^^^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout]     = note: this `pub` struct has private fields, no public constructor, and is not otherwise reachable through the external API, so consider providing a public constructor or removing it
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: struct `ProphecySeq` is never constructed
[INFO] [stdout]    --> proph.rs:263:20
[INFO] [stdout]     |
[INFO] [stdout] 263 | pub tracked struct ProphecySeq<T> {
[INFO] [stdout]     |                    ^^^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout]     = note: this `pub` struct has private fields, no public constructor, and is not otherwise reachable through the external API, so consider providing a public constructor or removing it
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: struct `Resource` is never constructed
[INFO] [stdout]   --> resource/algebra.rs:16:20
[INFO] [stdout]    |
[INFO] [stdout] 16 | pub tracked struct Resource<RA: ResourceAlgebra> {
[INFO] [stdout]    |                    ^^^^^^^^
[INFO] [stdout]    |
[INFO] [stdout]    = note: this `pub` struct has private fields, no public constructor, and is not otherwise reachable through the external API, so consider providing a public constructor or removing it
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: struct `FracGhost` is never constructed
[INFO] [stdout]    --> resource/frac.rs:137:20
[INFO] [stdout]     |
[INFO] [stdout] 137 | pub tracked struct FracGhost<T> {
[INFO] [stdout]     |                    ^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout]     = note: this `pub` struct has private fields, no public constructor, and is not otherwise reachable through the external API, so consider providing a public constructor or removing it
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: struct `Frac` is never constructed
[INFO] [stdout]   --> resource/frac_opt.rs:69:20
[INFO] [stdout]    |
[INFO] [stdout] 69 | pub tracked struct Frac<T> {
[INFO] [stdout]    |                    ^^^^
[INFO] [stdout]    |
[INFO] [stdout]    = note: this `pub` struct has private fields, no public constructor, and is not otherwise reachable through the external API, so consider providing a public constructor or removing it
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: struct `Empty` is never constructed
[INFO] [stdout]   --> resource/frac_opt.rs:75:20
[INFO] [stdout]    |
[INFO] [stdout] 75 | pub tracked struct Empty<T> {
[INFO] [stdout]    |                    ^^^^^
[INFO] [stdout]    |
[INFO] [stdout]    = note: this `pub` struct has private fields, no public constructor, and is not otherwise reachable through the external API, so consider providing a public constructor or removing it
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: struct `GhostVar` is never constructed
[INFO] [stdout]   --> resource/ghost_var.rs:10:20
[INFO] [stdout]    |
[INFO] [stdout] 10 | pub tracked struct GhostVar<T> {
[INFO] [stdout]    |                    ^^^^^^^^
[INFO] [stdout]    |
[INFO] [stdout]    = note: this `pub` struct has private fields, no public constructor, and is not otherwise reachable through the external API, so consider providing a public constructor or removing it
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: struct `GhostVarAuth` is never constructed
[INFO] [stdout]   --> resource/ghost_var.rs:55:20
[INFO] [stdout]    |
[INFO] [stdout] 55 | pub tracked struct GhostVarAuth<T> {
[INFO] [stdout]    |                    ^^^^^^^^^^^^
[INFO] [stdout]    |
[INFO] [stdout]    = note: this `pub` struct has private fields, no public constructor, and is not otherwise reachable through the external API, so consider providing a public constructor or removing it
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: struct `GhostMapAuth` is never constructed
[INFO] [stdout]    --> resource/map.rs:308:20
[INFO] [stdout]     |
[INFO] [stdout] 308 | pub tracked struct GhostMapAuth<K, V> {
[INFO] [stdout]     |                    ^^^^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout]     = note: this `pub` struct has private fields, no public constructor, and is not otherwise reachable through the external API, so consider providing a public constructor or removing it
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: struct `GhostSubmap` is never constructed
[INFO] [stdout]    --> resource/map.rs:319:20
[INFO] [stdout]     |
[INFO] [stdout] 319 | pub tracked struct GhostSubmap<K, V> {
[INFO] [stdout]     |                    ^^^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout]     = note: this `pub` struct has private fields, no public constructor, and is not otherwise reachable through the external API, so consider providing a public constructor or removing it
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: struct `GhostPersistentSubmap` is never constructed
[INFO] [stdout]    --> resource/map.rs:329:20
[INFO] [stdout]     |
[INFO] [stdout] 329 | pub tracked struct GhostPersistentSubmap<K, V> {
[INFO] [stdout]     |                    ^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout]     = note: this `pub` struct has private fields, no public constructor, and is not otherwise reachable through the external API, so consider providing a public constructor or removing it
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: struct `GhostPointsTo` is never constructed
[INFO] [stdout]    --> resource/map.rs:340:20
[INFO] [stdout]     |
[INFO] [stdout] 340 | pub tracked struct GhostPointsTo<K, V> {
[INFO] [stdout]     |                    ^^^^^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout]     = note: this `pub` struct has private fields, no public constructor, and is not otherwise reachable through the external API, so consider providing a public constructor or removing it
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: struct `GhostPersistentPointsTo` is never constructed
[INFO] [stdout]    --> resource/map.rs:350:20
[INFO] [stdout]     |
[INFO] [stdout] 350 | pub tracked struct GhostPersistentPointsTo<K, V> {
[INFO] [stdout]     |                    ^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout]     = note: this `pub` struct has private fields, no public constructor, and is not otherwise reachable through the external API, so consider providing a public constructor or removing it
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: struct `GhostSeqAuth` is never constructed
[INFO] [stdout]   --> resource/seq.rs:65:20
[INFO] [stdout]    |
[INFO] [stdout] 65 | pub tracked struct GhostSeqAuth<V> {
[INFO] [stdout]    |                    ^^^^^^^^^^^^
[INFO] [stdout]    |
[INFO] [stdout]    = note: this `pub` struct has private fields, no public constructor, and is not otherwise reachable through the external API, so consider providing a public constructor or removing it
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: struct `GhostSubseq` is never constructed
[INFO] [stdout]   --> resource/seq.rs:71:20
[INFO] [stdout]    |
[INFO] [stdout] 71 | pub tracked struct GhostSubseq<V> {
[INFO] [stdout]    |                    ^^^^^^^^^^^
[INFO] [stdout]    |
[INFO] [stdout]    = note: this `pub` struct has private fields, no public constructor, and is not otherwise reachable through the external API, so consider providing a public constructor or removing it
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: struct `GhostSetAuth` is never constructed
[INFO] [stdout]   --> resource/set.rs:88:12
[INFO] [stdout]    |
[INFO] [stdout] 88 | pub struct GhostSetAuth<T> {
[INFO] [stdout]    |            ^^^^^^^^^^^^
[INFO] [stdout]    |
[INFO] [stdout]    = note: this `pub` struct has private fields, no public constructor, and is not otherwise reachable through the external API, so consider providing a public constructor or removing it
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: struct `GhostSubset` is never constructed
[INFO] [stdout]   --> resource/set.rs:99:12
[INFO] [stdout]    |
[INFO] [stdout] 99 | pub struct GhostSubset<T> {
[INFO] [stdout]    |            ^^^^^^^^^^^
[INFO] [stdout]    |
[INFO] [stdout]    = note: this `pub` struct has private fields, no public constructor, and is not otherwise reachable through the external API, so consider providing a public constructor or removing it
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: struct `GhostPersistentSubset` is never constructed
[INFO] [stdout]    --> resource/set.rs:107:12
[INFO] [stdout]     |
[INFO] [stdout] 107 | pub struct GhostPersistentSubset<T> {
[INFO] [stdout]     |            ^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout]     = note: this `pub` struct has private fields, no public constructor, and is not otherwise reachable through the external API, so consider providing a public constructor or removing it
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: struct `GhostSingleton` is never constructed
[INFO] [stdout]    --> resource/set.rs:117:12
[INFO] [stdout]     |
[INFO] [stdout] 117 | pub struct GhostSingleton<T> {
[INFO] [stdout]     |            ^^^^^^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout]     = note: this `pub` struct has private fields, no public constructor, and is not otherwise reachable through the external API, so consider providing a public constructor or removing it
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: struct `GhostPersistentSingleton` is never constructed
[INFO] [stdout]    --> resource/set.rs:125:12
[INFO] [stdout]     |
[INFO] [stdout] 125 | pub struct GhostPersistentSingleton<T> {
[INFO] [stdout]     |            ^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout]     = note: this `pub` struct has private fields, no public constructor, and is not otherwise reachable through the external API, so consider providing a public constructor or removing it
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: struct `StorageResource` is never constructed
[INFO] [stdout]   --> resource/storage_protocol.rs:33:20
[INFO] [stdout]    |
[INFO] [stdout] 33 | pub tracked struct StorageResource<K, V, P> {
[INFO] [stdout]    |                    ^^^^^^^^^^^^^^^
[INFO] [stdout]    |
[INFO] [stdout]    = note: this `pub` struct has private fields, no public constructor, and is not otherwise reachable through the external API, so consider providing a public constructor or removing it
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: struct `ExString` is never constructed
[INFO] [stdout]    --> string.rs:325:12
[INFO] [stdout]     |
[INFO] [stdout] 325 | pub struct ExString(String);
[INFO] [stdout]     |            ^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout]     = note: this `pub` struct has private fields, no public constructor, and is not otherwise reachable through the external API, so consider providing a public constructor or removing it
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: struct `ExChars` is never constructed
[INFO] [stdout]    --> string.rs:428:12
[INFO] [stdout]     |
[INFO] [stdout] 428 | pub struct ExChars<'a>(Chars<'a>);
[INFO] [stdout]     |            ^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout]     = note: this `pub` struct has private fields, no public constructor, and is not otherwise reachable through the external API, so consider providing a public constructor or removing it
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: struct `MapToken` is never constructed
[INFO] [stdout]    --> tokens.rs:246:20
[INFO] [stdout]     |
[INFO] [stdout] 246 | pub tracked struct MapToken<Key, Value, Token>
[INFO] [stdout]     |                    ^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout]     = note: this `pub` struct has private fields, no public constructor, and is not otherwise reachable through the external API, so consider providing a public constructor or removing it
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: struct `SetToken` is never constructed
[INFO] [stdout]    --> tokens.rs:361:20
[INFO] [stdout]     |
[INFO] [stdout] 361 | pub tracked struct SetToken<Element, Token>
[INFO] [stdout]     |                    ^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout]     = note: this `pub` struct has private fields, no public constructor, and is not otherwise reachable through the external API, so consider providing a public constructor or removing it
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: negative impls are experimental
[INFO] [stdout]    --> invariant.rs:170:18
[INFO] [stdout]     |
[INFO] [stdout] 170 | impl<K, V, Pred> !Sync for LocalInvariant<K, V, Pred> {}
[INFO] [stdout]     |                  ^
[INFO] [stdout]     |
[INFO] [stdout]     = note: see issue #68318 <https://github.com/rust-lang/rust/issues/68318> for more information
[INFO] [stdout]     = help: add `#![feature(negative_impls)]` to the crate attributes to enable
[INFO] [stdout]     = note: this compiler was built on 2026-05-18; consider upgrading it if it is out of date
[INFO] [stdout]     = warning: unstable syntax can change at any point in the future, causing a hard error!
[INFO] [stdout]     = note: for more information, see issue #154045 <https://github.com/rust-lang/rust/issues/154045>
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: negative impls are experimental
[INFO] [stdout]    --> thread.rs:153:6
[INFO] [stdout]     |
[INFO] [stdout] 153 | impl !Sync for IsThread {
[INFO] [stdout]     |      ^
[INFO] [stdout]     |
[INFO] [stdout]     = note: see issue #68318 <https://github.com/rust-lang/rust/issues/68318> for more information
[INFO] [stdout]     = help: add `#![feature(negative_impls)]` to the crate attributes to enable
[INFO] [stdout]     = note: this compiler was built on 2026-05-18; consider upgrading it if it is out of date
[INFO] [stdout]     = warning: unstable syntax can change at any point in the future, causing a hard error!
[INFO] [stdout]     = note: for more information, see issue #154045 <https://github.com/rust-lang/rust/issues/154045>
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: negative impls are experimental
[INFO] [stdout]    --> thread.rs:158:6
[INFO] [stdout]     |
[INFO] [stdout] 158 | impl !Send for IsThread {
[INFO] [stdout]     |      ^
[INFO] [stdout]     |
[INFO] [stdout]     = note: see issue #68318 <https://github.com/rust-lang/rust/issues/68318> for more information
[INFO] [stdout]     = help: add `#![feature(negative_impls)]` to the crate attributes to enable
[INFO] [stdout]     = note: this compiler was built on 2026-05-18; consider upgrading it if it is out of date
[INFO] [stdout]     = warning: unstable syntax can change at any point in the future, causing a hard error!
[INFO] [stdout]     = note: for more information, see issue #154045 <https://github.com/rust-lang/rust/issues/154045>
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stderr] error: could not compile `vstd` (lib) due to 29 previous errors; 3 warnings emitted
[INFO] running `Command { std: "docker" "inspect" "5258a093f826738b503cf8119bba2e04d6bc8d181faf92ef7c0826fcdcae7e52", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "5258a093f826738b503cf8119bba2e04d6bc8d181faf92ef7c0826fcdcae7e52", kill_on_drop: false }`
[INFO] [stdout] 5258a093f826738b503cf8119bba2e04d6bc8d181faf92ef7c0826fcdcae7e52
