[INFO] fetching crate z3 0.12.1... [INFO] checking z3-0.12.1 against master#af4a5a13a15fa0c60e06321077ef452f769b42fd for pr-122960-2 [INFO] extracting crate z3 0.12.1 into /workspace/builds/worker-3-tc1/source [INFO] validating manifest of crates.io crate z3 0.12.1 on toolchain af4a5a13a15fa0c60e06321077ef452f769b42fd [INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+af4a5a13a15fa0c60e06321077ef452f769b42fd" "metadata" "--manifest-path" "Cargo.toml" "--no-deps", kill_on_drop: false }` [INFO] started tweaking crates.io crate z3 0.12.1 [INFO] finished tweaking crates.io crate z3 0.12.1 [INFO] tweaked toml for crates.io crate z3 0.12.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" "+af4a5a13a15fa0c60e06321077ef452f769b42fd" "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 56 packages [INFO] [stderr] Adding bindgen v0.66.1 (latest: v0.69.4) [INFO] [stderr] Adding env_logger v0.10.2 (latest: v0.11.3) [INFO] [stderr] Adding peeking_take_while v0.1.2 (latest: v1.0.0) [INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+af4a5a13a15fa0c60e06321077ef452f769b42fd" "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 bindgen v0.66.1 [INFO] [stderr] Downloaded z3-sys v0.8.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:2788e3201cd34a07e3172128adcd8b3090168a8e3bcc40d7c032b9dda1df7d1c" "/opt/rustwide/cargo-home/bin/cargo" "+af4a5a13a15fa0c60e06321077ef452f769b42fd" "metadata" "--no-deps" "--format-version=1", kill_on_drop: false }` [INFO] [stdout] 0bc208cfbca17ba877491d69b5aa71798c7aa15e6143b5d840e26af1c29d68d9 [INFO] running `Command { std: "docker" "start" "-a" "0bc208cfbca17ba877491d69b5aa71798c7aa15e6143b5d840e26af1c29d68d9", kill_on_drop: false }` [INFO] running `Command { std: "docker" "inspect" "0bc208cfbca17ba877491d69b5aa71798c7aa15e6143b5d840e26af1c29d68d9", kill_on_drop: false }` [INFO] running `Command { std: "docker" "rm" "-f" "0bc208cfbca17ba877491d69b5aa71798c7aa15e6143b5d840e26af1c29d68d9", kill_on_drop: false }` [INFO] [stdout] 0bc208cfbca17ba877491d69b5aa71798c7aa15e6143b5d840e26af1c29d68d9 [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:2788e3201cd34a07e3172128adcd8b3090168a8e3bcc40d7c032b9dda1df7d1c" "/opt/rustwide/cargo-home/bin/cargo" "+af4a5a13a15fa0c60e06321077ef452f769b42fd" "check" "--frozen" "--all" "--all-targets" "--message-format=json", kill_on_drop: false }` [INFO] [stdout] 0584f14fe8f06c49d76548aa2ab57c5c280e1955b38c0f098f1304dc2524a39e [INFO] running `Command { std: "docker" "start" "-a" "0584f14fe8f06c49d76548aa2ab57c5c280e1955b38c0f098f1304dc2524a39e", kill_on_drop: false }` [INFO] [stderr] Compiling proc-macro2 v1.0.79 [INFO] [stderr] Compiling minimal-lexical v0.2.1 [INFO] [stderr] Compiling regex-syntax v0.8.3 [INFO] [stderr] Compiling bindgen v0.66.1 [INFO] [stderr] Compiling rustc-hash v1.1.0 [INFO] [stderr] Compiling peeking_take_while v0.1.2 [INFO] [stderr] Compiling bitflags v2.5.0 [INFO] [stderr] Compiling lazycell v1.3.0 [INFO] [stderr] Checking memchr v2.7.2 [INFO] [stderr] Checking humantime v2.1.0 [INFO] [stderr] Compiling semver v1.0.22 [INFO] [stderr] Checking is-terminal v0.4.12 [INFO] [stderr] Checking termcolor v1.4.1 [INFO] [stderr] Compiling nom v7.1.3 [INFO] [stderr] Checking aho-corasick v1.1.3 [INFO] [stderr] Compiling quote v1.0.35 [INFO] [stderr] Compiling syn v2.0.57 [INFO] [stderr] Checking regex-automata v0.4.6 [INFO] [stderr] Compiling cexpr v0.6.0 [INFO] [stderr] Checking regex v1.10.4 [INFO] [stderr] Checking env_logger v0.10.2 [INFO] [stderr] Compiling z3-sys v0.8.1 [INFO] [stderr] Checking z3 v0.12.1 (/opt/rustwide/workdir) [INFO] [stdout] warning: the item `Eq` is imported redundantly [INFO] [stdout] --> src/ast.rs:3:16 [INFO] [stdout] | [INFO] [stdout] 3 | use std::cmp::{Eq, PartialEq}; [INFO] [stdout] | ^^ [INFO] [stdout] --> /rustc/af4a5a13a15fa0c60e06321077ef452f769b42fd/library/std/src/prelude/mod.rs:124:13 [INFO] [stdout] | [INFO] [stdout] = note: the item `Eq` is already defined here [INFO] [stdout] | [INFO] [stdout] = note: `#[warn(unused_imports)]` on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: the item `PartialEq` is imported redundantly [INFO] [stdout] --> src/ast.rs:3:20 [INFO] [stdout] | [INFO] [stdout] 3 | use std::cmp::{Eq, PartialEq}; [INFO] [stdout] | ^^^^^^^^^ [INFO] [stdout] --> /rustc/af4a5a13a15fa0c60e06321077ef452f769b42fd/library/std/src/prelude/mod.rs:124:13 [INFO] [stdout] | [INFO] [stdout] = note: the item `PartialEq` is already defined here [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: the item `Result` is imported redundantly [INFO] [stdout] --> src/probe.rs:3:5 [INFO] [stdout] | [INFO] [stdout] 3 | use std::result::Result; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] --> /rustc/af4a5a13a15fa0c60e06321077ef452f769b42fd/library/std/src/prelude/mod.rs:124:13 [INFO] [stdout] | [INFO] [stdout] = note: the item `Result` is already defined here [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: the item `Result` is imported redundantly [INFO] [stdout] --> src/tactic.rs:5:5 [INFO] [stdout] | [INFO] [stdout] 5 | use std::result::Result; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] --> /rustc/af4a5a13a15fa0c60e06321077ef452f769b42fd/library/std/src/prelude/mod.rs:124:13 [INFO] [stdout] | [INFO] [stdout] = note: the item `Result` is already defined here [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: the item `Eq` is imported redundantly [INFO] [stdout] --> src/ast.rs:3:16 [INFO] [stdout] | [INFO] [stdout] 3 | use std::cmp::{Eq, PartialEq}; [INFO] [stdout] | ^^ [INFO] [stdout] --> /rustc/af4a5a13a15fa0c60e06321077ef452f769b42fd/library/std/src/prelude/mod.rs:124:13 [INFO] [stdout] | [INFO] [stdout] = note: the item `Eq` is already defined here [INFO] [stdout] | [INFO] [stdout] = note: `#[warn(unused_imports)]` on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: the item `PartialEq` is imported redundantly [INFO] [stdout] --> src/ast.rs:3:20 [INFO] [stdout] | [INFO] [stdout] 3 | use std::cmp::{Eq, PartialEq}; [INFO] [stdout] | ^^^^^^^^^ [INFO] [stdout] --> /rustc/af4a5a13a15fa0c60e06321077ef452f769b42fd/library/std/src/prelude/mod.rs:124:13 [INFO] [stdout] | [INFO] [stdout] = note: the item `PartialEq` is already defined here [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: the item `Result` is imported redundantly [INFO] [stdout] --> src/probe.rs:3:5 [INFO] [stdout] | [INFO] [stdout] 3 | use std::result::Result; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] --> /rustc/af4a5a13a15fa0c60e06321077ef452f769b42fd/library/std/src/prelude/mod.rs:124:13 [INFO] [stdout] | [INFO] [stdout] = note: the item `Result` is already defined here [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: the item `Result` is imported redundantly [INFO] [stdout] --> src/tactic.rs:5:5 [INFO] [stdout] | [INFO] [stdout] 5 | use std::result::Result; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] --> /rustc/af4a5a13a15fa0c60e06321077ef452f769b42fd/library/std/src/prelude/mod.rs:124:13 [INFO] [stdout] | [INFO] [stdout] = note: the item `Result` is already defined here [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: 4 warnings emitted [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: 4 warnings emitted [INFO] [stdout] [INFO] [stdout] [INFO] [stderr] Finished `dev` profile [unoptimized + debuginfo] target(s) in 23.36s [INFO] running `Command { std: "docker" "inspect" "0584f14fe8f06c49d76548aa2ab57c5c280e1955b38c0f098f1304dc2524a39e", kill_on_drop: false }` [INFO] running `Command { std: "docker" "rm" "-f" "0584f14fe8f06c49d76548aa2ab57c5c280e1955b38c0f098f1304dc2524a39e", kill_on_drop: false }` [INFO] [stdout] 0584f14fe8f06c49d76548aa2ab57c5c280e1955b38c0f098f1304dc2524a39e [INFO] checking z3-0.12.1 against try#36dbcaee1a55543dfc181be52a69d99ff46ff62f for pr-122960-2 [INFO] extracting crate z3 0.12.1 into /workspace/builds/worker-3-tc2/source [INFO] validating manifest of crates.io crate z3 0.12.1 on toolchain 36dbcaee1a55543dfc181be52a69d99ff46ff62f [INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+36dbcaee1a55543dfc181be52a69d99ff46ff62f" "metadata" "--manifest-path" "Cargo.toml" "--no-deps", kill_on_drop: false }` [INFO] started tweaking crates.io crate z3 0.12.1 [INFO] finished tweaking crates.io crate z3 0.12.1 [INFO] tweaked toml for crates.io crate z3 0.12.1 written to /workspace/builds/worker-3-tc2/source/Cargo.toml [INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+36dbcaee1a55543dfc181be52a69d99ff46ff62f" "generate-lockfile" "--manifest-path" "Cargo.toml", kill_on_drop: false }` [INFO] [stderr] Updating crates.io index [INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+36dbcaee1a55543dfc181be52a69d99ff46ff62f" "fetch" "--manifest-path" "Cargo.toml", kill_on_drop: false }` [INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-3-tc2/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-3-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:2788e3201cd34a07e3172128adcd8b3090168a8e3bcc40d7c032b9dda1df7d1c" "/opt/rustwide/cargo-home/bin/cargo" "+36dbcaee1a55543dfc181be52a69d99ff46ff62f" "metadata" "--no-deps" "--format-version=1", kill_on_drop: false }` [INFO] [stdout] e009900f8c128062bbb109f42427dc52f737995c00355849a230759d1946c1cb [INFO] running `Command { std: "docker" "start" "-a" "e009900f8c128062bbb109f42427dc52f737995c00355849a230759d1946c1cb", kill_on_drop: false }` [INFO] running `Command { std: "docker" "inspect" "e009900f8c128062bbb109f42427dc52f737995c00355849a230759d1946c1cb", kill_on_drop: false }` [INFO] running `Command { std: "docker" "rm" "-f" "e009900f8c128062bbb109f42427dc52f737995c00355849a230759d1946c1cb", kill_on_drop: false }` [INFO] [stdout] e009900f8c128062bbb109f42427dc52f737995c00355849a230759d1946c1cb [INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-3-tc2/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-3-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:2788e3201cd34a07e3172128adcd8b3090168a8e3bcc40d7c032b9dda1df7d1c" "/opt/rustwide/cargo-home/bin/cargo" "+36dbcaee1a55543dfc181be52a69d99ff46ff62f" "check" "--frozen" "--all" "--all-targets" "--message-format=json", kill_on_drop: false }` [INFO] [stdout] 69f8d872a4ae14a40a708ba5b2e245b4c49ee5e08994cf469b53bd2542dbbdae [INFO] running `Command { std: "docker" "start" "-a" "69f8d872a4ae14a40a708ba5b2e245b4c49ee5e08994cf469b53bd2542dbbdae", kill_on_drop: false }` [INFO] [stderr] Copying to /tmp/fixit [INFO] [stderr] no edition found in manifest, probably 2015, skipping [INFO] running `Command { std: "docker" "inspect" "69f8d872a4ae14a40a708ba5b2e245b4c49ee5e08994cf469b53bd2542dbbdae", kill_on_drop: false }` [INFO] running `Command { std: "docker" "rm" "-f" "69f8d872a4ae14a40a708ba5b2e245b4c49ee5e08994cf469b53bd2542dbbdae", kill_on_drop: false }` [INFO] [stdout] 69f8d872a4ae14a40a708ba5b2e245b4c49ee5e08994cf469b53bd2542dbbdae