[INFO] fetching crate hax-rust-engine 0.3.6... [INFO] checking hax-rust-engine-0.3.6 against try#fe84aa3583bb2681b5d0580316bde6d58ccfd6b5 for pr-154149-1 [INFO] extracting crate hax-rust-engine 0.3.6 into /workspace/builds/worker-7-tc2/source [INFO] started tweaking crates.io crate hax-rust-engine 0.3.6 [INFO] finished tweaking crates.io crate hax-rust-engine 0.3.6 [INFO] tweaked toml for crates.io crate hax-rust-engine 0.3.6 written to /workspace/builds/worker-7-tc2/source/Cargo.toml [INFO] validating manifest of crates.io crate hax-rust-engine 0.3.6 on toolchain fe84aa3583bb2681b5d0580316bde6d58ccfd6b5 [INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+fe84aa3583bb2681b5d0580316bde6d58ccfd6b5" "metadata" "--manifest-path" "Cargo.toml" "--no-deps", kill_on_drop: false }` [INFO] crate crates.io crate hax-rust-engine 0.3.6 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" "+fe84aa3583bb2681b5d0580316bde6d58ccfd6b5" "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" "+fe84aa3583bb2681b5d0580316bde6d58ccfd6b5" "metadata" "--no-deps" "--format-version=1", kill_on_drop: false }` [INFO] [stdout] 7fd8e578017269c89b715a43022e8b7b753325fe4693ecdd8aa3b3bf402073a7 [INFO] running `Command { std: "docker" "start" "-a" "7fd8e578017269c89b715a43022e8b7b753325fe4693ecdd8aa3b3bf402073a7", kill_on_drop: false }` [INFO] running `Command { std: "docker" "inspect" "7fd8e578017269c89b715a43022e8b7b753325fe4693ecdd8aa3b3bf402073a7", kill_on_drop: false }` [INFO] running `Command { std: "docker" "rm" "-f" "7fd8e578017269c89b715a43022e8b7b753325fe4693ecdd8aa3b3bf402073a7", kill_on_drop: false }` [INFO] [stdout] 7fd8e578017269c89b715a43022e8b7b753325fe4693ecdd8aa3b3bf402073a7 [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" "+fe84aa3583bb2681b5d0580316bde6d58ccfd6b5" "check" "--frozen" "--all" "--all-targets" "--message-format=json", kill_on_drop: false }` [INFO] [stdout] 6f3057df4c486cace99102c487c419f8bd5d8f12c52106c3d8f0808704125870 [INFO] running `Command { std: "docker" "start" "-a" "6f3057df4c486cace99102c487c419f8bd5d8f12c52106c3d8f0808704125870", kill_on_drop: false }` [INFO] [stderr] Compiling proc-macro2 v1.0.101 [INFO] [stderr] Compiling serde v1.0.219 [INFO] [stderr] Compiling syn v1.0.109 [INFO] [stderr] Compiling either v1.15.0 [INFO] [stderr] Compiling serde_json v1.0.143 [INFO] [stderr] Checking memchr v2.7.5 [INFO] [stderr] Compiling schemars v0.8.22 [INFO] [stderr] Checking dyn-clone v1.0.20 [INFO] [stderr] Checking anstyle v1.0.11 [INFO] [stderr] Compiling fnv v1.0.7 [INFO] [stderr] Compiling ident_case v1.0.1 [INFO] [stderr] Compiling strsim v0.11.1 [INFO] [stderr] Compiling libc v0.2.175 [INFO] [stderr] Compiling zstd-safe v7.2.4 [INFO] [stderr] Compiling getrandom v0.3.3 [INFO] [stderr] Checking is_terminal_polyfill v1.70.1 [INFO] [stderr] Checking clap_lex v0.7.5 [INFO] [stderr] Checking unicode-ident v1.0.18 [INFO] [stderr] Compiling unicode-segmentation v1.12.0 [INFO] [stderr] Checking unicode-width v0.1.14 [INFO] [stderr] Checking itertools v0.11.0 [INFO] [stderr] Checking unicode-width v0.2.1 [INFO] [stderr] Compiling hax-types v0.3.6 [INFO] [stderr] Checking anstream v0.6.20 [INFO] [stderr] Compiling camino v1.1.12 [INFO] [stderr] Checking colored v2.2.0 [INFO] [stderr] Checking path-clean v1.0.1 [INFO] [stderr] Compiling itertools v0.13.0 [INFO] [stderr] Checking arrayvec v0.5.2 [INFO] [stderr] Checking typed-arena v2.0.2 [INFO] [stderr] Checking uuid v1.18.0 [INFO] [stderr] Compiling hax-lib v0.3.6 [INFO] [stderr] Compiling pastey v0.1.1 [INFO] [stderr] Checking annotate-snippets v0.11.5 [INFO] [stderr] Checking clap_builder v4.5.46 [INFO] [stderr] Checking pretty v0.12.4 [INFO] [stderr] Compiling convert_case v0.6.0 [INFO] [stderr] Checking quote v1.0.40 [INFO] [stderr] Compiling jobserver v0.1.34 [INFO] [stderr] Compiling syn v2.0.106 [INFO] [stderr] Compiling cc v1.2.34 [INFO] [stderr] Compiling zstd-sys v2.0.15+zstd.1.5.7 [INFO] [stderr] Compiling psm v0.1.26 [INFO] [stderr] Compiling stacker v0.1.21 [INFO] [stderr] Compiling ext-trait-proc_macros v1.0.1 [INFO] [stderr] Compiling hax-adt-into v0.3.6 [INFO] [stderr] Compiling serde_derive_internals v0.29.1 [INFO] [stderr] Compiling darling_core v0.20.11 [INFO] [stderr] Checking ext-trait v1.0.1 [INFO] [stderr] Checking extension-traits v1.0.1 [INFO] [stderr] Compiling serde_derive v1.0.219 [INFO] [stderr] Compiling schemars_derive v0.8.22 [INFO] [stderr] Compiling tracing-attributes v0.1.30 [INFO] [stderr] Compiling miette-derive v7.6.0 [INFO] [stderr] Compiling clap_derive v4.5.45 [INFO] [stderr] Compiling hax-rust-engine-macros v0.3.6 [INFO] [stderr] Compiling hax-lib-macros v0.3.6 [INFO] [stderr] Checking zstd v0.13.3 [INFO] [stderr] Checking miette v7.6.0 [INFO] [stderr] Checking tracing v0.1.41 [INFO] [stderr] Checking clap v4.5.46 [INFO] [stderr] Compiling darling_macro v0.20.11 [INFO] [stderr] Compiling darling v0.20.11 [INFO] [stderr] Compiling derive_generic_visitor_macros v0.3.0 [INFO] [stderr] Checking derive_generic_visitor v0.3.0 [INFO] [stderr] Checking serde-brief v0.1.1 [INFO] [stderr] Checking serde_stacker v0.1.12 [INFO] [stderr] Checking hax-frontend-exporter-options v0.3.6 [INFO] [stderr] Checking hax-lib-macros-types v0.3.6 [INFO] [stderr] Checking hax-frontend-exporter v0.3.6 [INFO] [stderr] Checking hax-rust-engine v0.3.6 (/opt/rustwide/workdir) [INFO] [stdout] warning: extern crate `hax_lib` is unused in crate `hax_rust_engine` [INFO] [stdout] | [INFO] [stdout] = help: remove the dependency or add `use hax_lib as _;` to the crate root [INFO] [stdout] note: the lint level is defined here [INFO] [stdout] --> src/lib.rs:9:5 [INFO] [stdout] | [INFO] [stdout] 9 | unused_crate_dependencies [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stderr] Finished `dev` profile [unoptimized + debuginfo] target(s) in 1m 01s [INFO] running `Command { std: "docker" "inspect" "6f3057df4c486cace99102c487c419f8bd5d8f12c52106c3d8f0808704125870", kill_on_drop: false }` [INFO] running `Command { std: "docker" "rm" "-f" "6f3057df4c486cace99102c487c419f8bd5d8f12c52106c3d8f0808704125870", kill_on_drop: false }` [INFO] [stdout] 6f3057df4c486cace99102c487c419f8bd5d8f12c52106c3d8f0808704125870