[INFO] fetching crate hax-lib-macros 0.1.0-pre.1...
[INFO] checking hax-lib-macros-0.1.0-pre.1 against try#24cd45d7714ba43afd4b8e62fb677b069b21c4a5 for pr-129543
[INFO] extracting crate hax-lib-macros 0.1.0-pre.1 into /workspace/builds/worker-1-tc2/source
[INFO] validating manifest of crates.io crate hax-lib-macros 0.1.0-pre.1 on toolchain 24cd45d7714ba43afd4b8e62fb677b069b21c4a5
[INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+24cd45d7714ba43afd4b8e62fb677b069b21c4a5" "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-1-tc2/source/Cargo.toml
[INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+24cd45d7714ba43afd4b8e62fb677b069b21c4a5" "generate-lockfile" "--manifest-path" "Cargo.toml", kill_on_drop: false }`
[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" "+24cd45d7714ba43afd4b8e62fb677b069b21c4a5" "fetch" "--manifest-path" "Cargo.toml", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-1-tc2/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-1-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:923055f121b5182466d55868a8b05e67af8ba4a3a3f6bad814e953ca3cd3ac2a" "/opt/rustwide/cargo-home/bin/cargo" "+24cd45d7714ba43afd4b8e62fb677b069b21c4a5" "metadata" "--no-deps" "--format-version=1", kill_on_drop: false }`
[INFO] [stdout] d75da78fb13abe3289787fb621871256f6272e310658575eae6fd18c4a4abb33
[INFO] running `Command { std: "docker" "start" "-a" "d75da78fb13abe3289787fb621871256f6272e310658575eae6fd18c4a4abb33", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "inspect" "d75da78fb13abe3289787fb621871256f6272e310658575eae6fd18c4a4abb33", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "d75da78fb13abe3289787fb621871256f6272e310658575eae6fd18c4a4abb33", kill_on_drop: false }`
[INFO] [stdout] d75da78fb13abe3289787fb621871256f6272e310658575eae6fd18c4a4abb33
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-1-tc2/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-1-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:923055f121b5182466d55868a8b05e67af8ba4a3a3f6bad814e953ca3cd3ac2a" "/opt/rustwide/cargo-home/bin/cargo" "+24cd45d7714ba43afd4b8e62fb677b069b21c4a5" "check" "--frozen" "--all" "--all-targets" "--message-format=json", kill_on_drop: false }`
[INFO] [stdout] b964e43082e1f9079b158ad35bd1620c1119f775bc7fac0149cd54d1cc8f8de9
[INFO] running `Command { std: "docker" "start" "-a" "b964e43082e1f9079b158ad35bd1620c1119f775bc7fac0149cd54d1cc8f8de9", kill_on_drop: false }`
[INFO] [stderr]    Compiling syn v1.0.109
[INFO] [stderr]    Compiling libc v0.2.158
[INFO] [stderr]    Compiling serde v1.0.209
[INFO] [stderr]    Compiling proc-macro-error-attr v1.0.4
[INFO] [stderr]    Compiling proc-macro-error v1.0.4
[INFO] [stderr]     Checking syn v2.0.77
[INFO] [stderr]     Checking getrandom v0.2.15
[INFO] [stderr]     Checking uuid v1.10.0
[INFO] [stderr]     Checking serde_json v1.0.127
[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: 2 warnings emitted
[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] [stderr]     Finished `dev` profile [unoptimized + debuginfo] target(s) in 6.73s
[INFO] running `Command { std: "docker" "inspect" "b964e43082e1f9079b158ad35bd1620c1119f775bc7fac0149cd54d1cc8f8de9", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "b964e43082e1f9079b158ad35bd1620c1119f775bc7fac0149cd54d1cc8f8de9", kill_on_drop: false }`
[INFO] [stdout] b964e43082e1f9079b158ad35bd1620c1119f775bc7fac0149cd54d1cc8f8de9