[INFO] fetching crate hax-lib-macros 0.1.0-pre.1...
[INFO] checking hax-lib-macros-0.1.0-pre.1 against master#ab869e094a907cc5d19b4080f22eccaf347f1f95 for pr-129604
[INFO] extracting crate hax-lib-macros 0.1.0-pre.1 into /workspace/builds/worker-3-tc1/source
[INFO] validating manifest of crates.io crate hax-lib-macros 0.1.0-pre.1 on toolchain ab869e094a907cc5d19b4080f22eccaf347f1f95
[INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+ab869e094a907cc5d19b4080f22eccaf347f1f95" "metadata" "--manifest-path" "Cargo.toml" "--no-deps", kill_on_drop: false }`
[INFO] started tweaking crates.io crate hax-lib-macros 0.1.0-pre.1
[INFO] finished tweaking crates.io crate hax-lib-macros 0.1.0-pre.1
[INFO] tweaked toml for crates.io crate hax-lib-macros 0.1.0-pre.1 written to /workspace/builds/worker-3-tc1/source/Cargo.toml
[INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+ab869e094a907cc5d19b4080f22eccaf347f1f95" "generate-lockfile" "--manifest-path" "Cargo.toml", kill_on_drop: false }`
[INFO] [stderr]     Blocking waiting for file lock on package cache
[INFO] [stderr]     Updating crates.io index
[INFO] [stderr]      Locking 21 packages to latest compatible versions
[INFO] [stderr]       Adding syn v1.0.109 (latest: v2.0.77)
[INFO] [stderr]       Adding wasi v0.11.0+wasi-snapshot-preview1 (latest: v0.13.2+wasi-0.2.1)
[INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+ab869e094a907cc5d19b4080f22eccaf347f1f95" "fetch" "--manifest-path" "Cargo.toml", kill_on_drop: false }`
[INFO] [stderr]     Blocking waiting for file lock on package cache
[INFO] [stderr]  Downloading crates ...
[INFO] [stderr]   Downloaded hax-lib-macros-types v0.1.0-pre.1
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-3-tc1/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-3-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:923055f121b5182466d55868a8b05e67af8ba4a3a3f6bad814e953ca3cd3ac2a" "/opt/rustwide/cargo-home/bin/cargo" "+ab869e094a907cc5d19b4080f22eccaf347f1f95" "metadata" "--no-deps" "--format-version=1", kill_on_drop: false }`
[INFO] [stdout] ac013fda8f8028b9fe721fcf1d0887a42d27bf6360aec0edaac8d283dc1ecb3c
[INFO] running `Command { std: "docker" "start" "-a" "ac013fda8f8028b9fe721fcf1d0887a42d27bf6360aec0edaac8d283dc1ecb3c", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "inspect" "ac013fda8f8028b9fe721fcf1d0887a42d27bf6360aec0edaac8d283dc1ecb3c", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "ac013fda8f8028b9fe721fcf1d0887a42d27bf6360aec0edaac8d283dc1ecb3c", kill_on_drop: false }`
[INFO] [stdout] ac013fda8f8028b9fe721fcf1d0887a42d27bf6360aec0edaac8d283dc1ecb3c
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-3-tc1/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-3-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:923055f121b5182466d55868a8b05e67af8ba4a3a3f6bad814e953ca3cd3ac2a" "/opt/rustwide/cargo-home/bin/cargo" "+ab869e094a907cc5d19b4080f22eccaf347f1f95" "check" "--frozen" "--all" "--all-targets" "--message-format=json", kill_on_drop: false }`
[INFO] [stdout] 45f91d1277669deedd90bf20b6ccf7c6f85169582da28a3b8df4728fd9a4345f
[INFO] running `Command { std: "docker" "start" "-a" "45f91d1277669deedd90bf20b6ccf7c6f85169582da28a3b8df4728fd9a4345f", kill_on_drop: false }`
[INFO] [stderr]     Checking unicode-ident v1.0.12
[INFO] [stderr]    Compiling version_check v0.9.5
[INFO] [stderr]     Checking cfg-if v1.0.0
[INFO] [stderr]    Compiling syn v1.0.109
[INFO] [stderr]     Checking itoa v1.0.11
[INFO] [stderr]     Checking ryu v1.0.18
[INFO] [stderr]     Checking memchr v2.7.4
[INFO] [stderr]    Compiling libc v0.2.158
[INFO] [stderr]    Compiling serde v1.0.209
[INFO] [stderr]    Compiling serde_json v1.0.127
[INFO] [stderr]    Compiling serde_derive v1.0.209
[INFO] [stderr]     Checking proc-macro2 v1.0.86
[INFO] [stderr]    Compiling proc-macro-error-attr v1.0.4
[INFO] [stderr]    Compiling proc-macro-error v1.0.4
[INFO] [stderr]     Checking quote v1.0.37
[INFO] [stderr]     Checking getrandom v0.2.15
[INFO] [stderr]     Checking syn v2.0.77
[INFO] [stderr]     Checking uuid v1.10.0
[INFO] [stderr]     Checking hax-lib-macros-types v0.1.0-pre.1
[INFO] [stderr]     Checking hax-lib-macros v0.1.0-pre.1 (/opt/rustwide/workdir)
[INFO] [stdout] warning: trait `PatExt` is never used
[INFO] [stdout]   --> src/syn_ext.rs:10:11
[INFO] [stdout]    |
[INFO] [stdout] 10 | pub trait PatExt {
[INFO] [stdout]    |           ^^^^^^
[INFO] [stdout]    |
[INFO] [stdout]    = note: `#[warn(dead_code)]` on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: method `make_quantifiers_available` is never used
[INFO] [stdout]  --> src/utils.rs:6:8
[INFO] [stdout]   |
[INFO] [stdout] 4 | pub trait BlockExt {
[INFO] [stdout]   |           -------- method in this trait
[INFO] [stdout] 5 |     /// Bring in the scope of the block quantifiers helpers (the `forall` and `exists` functions)
[INFO] [stdout] 6 |     fn make_quantifiers_available(&mut self);
[INFO] [stdout]   |        ^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: trait `PatExt` is never used
[INFO] [stdout]   --> src/syn_ext.rs:10:11
[INFO] [stdout]    |
[INFO] [stdout] 10 | pub trait PatExt {
[INFO] [stdout]    |           ^^^^^^
[INFO] [stdout]    |
[INFO] [stdout]    = note: `#[warn(dead_code)]` on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: method `make_quantifiers_available` is never used
[INFO] [stdout]  --> src/utils.rs:6:8
[INFO] [stdout]   |
[INFO] [stdout] 4 | pub trait BlockExt {
[INFO] [stdout]   |           -------- method in this trait
[INFO] [stdout] 5 |     /// Bring in the scope of the block quantifiers helpers (the `forall` and `exists` functions)
[INFO] [stdout] 6 |     fn make_quantifiers_available(&mut self);
[INFO] [stdout]   |        ^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: 2 warnings emitted
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: 2 warnings emitted
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stderr]     Finished `dev` profile [unoptimized + debuginfo] target(s) in 11.73s
[INFO] running `Command { std: "docker" "inspect" "45f91d1277669deedd90bf20b6ccf7c6f85169582da28a3b8df4728fd9a4345f", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "45f91d1277669deedd90bf20b6ccf7c6f85169582da28a3b8df4728fd9a4345f", kill_on_drop: false }`
[INFO] [stdout] 45f91d1277669deedd90bf20b6ccf7c6f85169582da28a3b8df4728fd9a4345f