[INFO] fetching crate verus_syn 0.0.0-2026-04-05-0114... [INFO] testing verus_syn-0.0.0-2026-04-05-0114 against try#dec9417b8611e34e787a3e4c37686b5131f9e5c5 for pr-154210-2 [INFO] extracting crate verus_syn 0.0.0-2026-04-05-0114 into /workspace/builds/worker-7-tc2/source [INFO] started tweaking crates.io crate verus_syn 0.0.0-2026-04-05-0114 [INFO] removed 0 missing tests [INFO] finished tweaking crates.io crate verus_syn 0.0.0-2026-04-05-0114 [INFO] tweaked toml for crates.io crate verus_syn 0.0.0-2026-04-05-0114 written to /workspace/builds/worker-7-tc2/source/Cargo.toml [INFO] validating manifest of crates.io crate verus_syn 0.0.0-2026-04-05-0114 on toolchain dec9417b8611e34e787a3e4c37686b5131f9e5c5 [INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+dec9417b8611e34e787a3e4c37686b5131f9e5c5" "metadata" "--manifest-path" "Cargo.toml" "--no-deps", kill_on_drop: false }` [INFO] crate crates.io crate verus_syn 0.0.0-2026-04-05-0114 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" "+dec9417b8611e34e787a3e4c37686b5131f9e5c5" "fetch" "--manifest-path" "Cargo.toml", kill_on_drop: false }` [INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-7-tc2/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-7-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" "+dec9417b8611e34e787a3e4c37686b5131f9e5c5" "metadata" "--no-deps" "--format-version=1", kill_on_drop: false }` [INFO] [stdout] 87aacc2b841b9e941c1a7ebffe4bc28a3f98edeb9bc4c66fa82a3eead3bb2360 [INFO] running `Command { std: "docker" "start" "-a" "87aacc2b841b9e941c1a7ebffe4bc28a3f98edeb9bc4c66fa82a3eead3bb2360", kill_on_drop: false }` [INFO] running `Command { std: "docker" "inspect" "87aacc2b841b9e941c1a7ebffe4bc28a3f98edeb9bc4c66fa82a3eead3bb2360", kill_on_drop: false }` [INFO] running `Command { std: "docker" "rm" "-f" "87aacc2b841b9e941c1a7ebffe4bc28a3f98edeb9bc4c66fa82a3eead3bb2360", kill_on_drop: false }` [INFO] [stdout] 87aacc2b841b9e941c1a7ebffe4bc28a3f98edeb9bc4c66fa82a3eead3bb2360 [INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-7-tc2/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-7-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" "+dec9417b8611e34e787a3e4c37686b5131f9e5c5" "build" "--frozen" "--message-format=json", kill_on_drop: false }` [INFO] [stdout] de181ce6113af726c3c560e4aa4749640c5629847a27c6c63640bb6608201f7a [INFO] running `Command { std: "docker" "start" "-a" "de181ce6113af726c3c560e4aa4749640c5629847a27c6c63640bb6608201f7a", kill_on_drop: false }` [INFO] [stderr] Compiling proc-macro2 v1.0.106 [INFO] [stderr] Compiling unicode-ident v1.0.24 [INFO] [stderr] Compiling quote v1.0.45 [INFO] [stderr] Compiling verus_syn v0.0.0-2026-04-05-0114 (/opt/rustwide/workdir) [INFO] [stderr] Finished `dev` profile [unoptimized + debuginfo] target(s) in 8.89s [INFO] running `Command { std: "docker" "inspect" "de181ce6113af726c3c560e4aa4749640c5629847a27c6c63640bb6608201f7a", kill_on_drop: false }` [INFO] running `Command { std: "docker" "rm" "-f" "de181ce6113af726c3c560e4aa4749640c5629847a27c6c63640bb6608201f7a", kill_on_drop: false }` [INFO] [stdout] de181ce6113af726c3c560e4aa4749640c5629847a27c6c63640bb6608201f7a [INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-7-tc2/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-7-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" "+dec9417b8611e34e787a3e4c37686b5131f9e5c5" "test" "--frozen" "--no-run" "--message-format=json", kill_on_drop: false }` [INFO] [stdout] 7cdb30a1239c92897d7de7325f37e04f96787304b1ed7373d2bbc522d2117a6b [INFO] running `Command { std: "docker" "start" "-a" "7cdb30a1239c92897d7de7325f37e04f96787304b1ed7373d2bbc522d2117a6b", kill_on_drop: false }` [INFO] [stderr] Compiling once_cell v1.21.4 [INFO] [stderr] Compiling bitflags v2.11.0 [INFO] [stderr] Compiling proc-macro2 v1.0.106 [INFO] [stderr] Compiling cc v1.2.59 [INFO] [stderr] Compiling itoa v1.0.18 [INFO] [stderr] Compiling tokio v1.51.0 [INFO] [stderr] Compiling writeable v0.6.3 [INFO] [stderr] Compiling litemap v0.8.2 [INFO] [stderr] Compiling http v1.4.0 [INFO] [stderr] Compiling icu_properties_data v2.2.0 [INFO] [stderr] Compiling icu_normalizer_data v2.2.0 [INFO] [stderr] Compiling tracing-core v0.1.36 [INFO] [stderr] Compiling openssl v0.10.76 [INFO] [stderr] Compiling futures-util v0.3.32 [INFO] [stderr] Compiling quote v1.0.45 [INFO] [stderr] Compiling indexmap v2.13.1 [INFO] [stderr] Compiling native-tls v0.2.18 [INFO] [stderr] Compiling syn v2.0.117 [INFO] [stderr] Compiling tracing v0.1.44 [INFO] [stderr] Compiling rustix v1.1.4 [INFO] [stderr] Compiling getrandom v0.4.2 [INFO] [stderr] Compiling ipnet v2.12.0 [INFO] [stderr] Compiling openssl-sys v0.9.112 [INFO] [stderr] Compiling http-body v1.0.1 [INFO] [stderr] Compiling http-body-util v0.1.3 [INFO] [stderr] Compiling iri-string v0.7.12 [INFO] [stderr] Compiling anyhow v1.0.102 [INFO] [stderr] Compiling simd-adler32 v0.3.9 [INFO] [stderr] Compiling ref-cast v1.0.25 [INFO] [stderr] Compiling fastrand v2.4.0 [INFO] [stderr] Compiling miniz_oxide v0.8.9 [INFO] [stderr] Compiling serde_urlencoded v0.7.1 [INFO] [stderr] Compiling console v0.16.3 [INFO] [stderr] Compiling filetime v0.2.27 [INFO] [stderr] Compiling similar v2.7.0 [INFO] [stderr] Compiling rayon v1.11.0 [INFO] [stderr] Compiling xattr v1.6.1 [INFO] [stderr] Compiling tempfile v3.27.0 [INFO] [stderr] Compiling tar v0.4.45 [INFO] [stderr] Compiling tokio-util v0.7.18 [INFO] [stderr] Compiling tower v0.5.3 [INFO] [stderr] Compiling insta v1.47.2 [INFO] [stderr] Compiling flate2 v1.1.9 [INFO] [stderr] Compiling h2 v0.4.13 [INFO] [stderr] Compiling tower-http v0.6.8 [INFO] [stderr] Compiling synstructure v0.13.2 [INFO] [stderr] Compiling zerofrom-derive v0.1.7 [INFO] [stderr] Compiling yoke-derive v0.8.2 [INFO] [stderr] Compiling zerovec-derive v0.11.3 [INFO] [stderr] Compiling displaydoc v0.2.5 [INFO] [stderr] Compiling openssl-macros v0.1.1 [INFO] [stderr] Compiling ref-cast-impl v1.0.25 [INFO] [stderr] Compiling automod v1.0.16 [INFO] [stderr] Compiling zerofrom v0.1.7 [INFO] [stderr] Compiling yoke v0.8.2 [INFO] [stderr] Compiling zerovec v0.11.6 [INFO] [stderr] Compiling zerotrie v0.2.4 [INFO] [stderr] Compiling tinystr v0.8.3 [INFO] [stderr] Compiling potential_utf v0.1.5 [INFO] [stderr] Compiling icu_collections v2.2.0 [INFO] [stderr] Compiling icu_locale_core v2.2.0 [INFO] [stderr] Compiling hyper v1.9.0 [INFO] [stderr] Compiling icu_provider v2.2.0 [INFO] [stderr] Compiling icu_normalizer v2.2.0 [INFO] [stderr] Compiling icu_properties v2.2.0 [INFO] [stderr] Compiling hyper-util v0.1.20 [INFO] [stderr] Compiling tokio-native-tls v0.3.1 [INFO] [stderr] Compiling hyper-tls v0.6.0 [INFO] [stderr] Compiling idna_adapter v1.2.1 [INFO] [stderr] Compiling idna v1.1.0 [INFO] [stderr] Compiling url v2.5.8 [INFO] [stderr] Compiling reqwest v0.12.28 [INFO] [stderr] Compiling verus_syn v0.0.0-2026-04-05-0114 (/opt/rustwide/workdir) [INFO] [stderr] Finished `test` profile [unoptimized + debuginfo] target(s) in 1m 13s [INFO] running `Command { std: "docker" "inspect" "7cdb30a1239c92897d7de7325f37e04f96787304b1ed7373d2bbc522d2117a6b", kill_on_drop: false }` [INFO] running `Command { std: "docker" "rm" "-f" "7cdb30a1239c92897d7de7325f37e04f96787304b1ed7373d2bbc522d2117a6b", kill_on_drop: false }` [INFO] [stdout] 7cdb30a1239c92897d7de7325f37e04f96787304b1ed7373d2bbc522d2117a6b [INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-7-tc2/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-7-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" "+dec9417b8611e34e787a3e4c37686b5131f9e5c5" "test" "--frozen", kill_on_drop: false }` [INFO] [stdout] 2dc8b335c4e81067c083c37df1afa311dcde6b03ce08618b6f86e3e258968e12 [INFO] running `Command { std: "docker" "start" "-a" "2dc8b335c4e81067c083c37df1afa311dcde6b03ce08618b6f86e3e258968e12", kill_on_drop: false }` [INFO] [stderr] Finished `test` profile [unoptimized + debuginfo] target(s) in 0.28s [INFO] [stderr] Running unittests src/lib.rs (/opt/rustwide/target/debug/deps/verus_syn-457ffea1f88dcd96) [INFO] [stdout] [INFO] [stdout] running 1 test [INFO] [stdout] test drops::test_needs_drop ... ok [INFO] [stdout] [INFO] [stdout] test result: ok. 1 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.00s [INFO] [stdout] [INFO] running `Command { std: "docker" "inspect" "2dc8b335c4e81067c083c37df1afa311dcde6b03ce08618b6f86e3e258968e12", kill_on_drop: false }` [INFO] running `Command { std: "docker" "rm" "-f" "2dc8b335c4e81067c083c37df1afa311dcde6b03ce08618b6f86e3e258968e12", kill_on_drop: false }` [INFO] [stdout] 2dc8b335c4e81067c083c37df1afa311dcde6b03ce08618b6f86e3e258968e12