[INFO] cloning repository https://github.com/OpenSourceVerif/example
[INFO] running `Command { std: "git" "-c" "credential.helper=" "-c" "credential.helper=/workspace/cargo-home/bin/git-credential-null" "clone" "--bare" "https://github.com/OpenSourceVerif/example" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2FOpenSourceVerif%2Fexample", kill_on_drop: false }`
[INFO] [stderr] Cloning into bare repository '/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2FOpenSourceVerif%2Fexample'...
[INFO] running `Command { std: "git" "rev-parse" "HEAD", kill_on_drop: false }`
[INFO] [stdout] 612ca0cdb956763b40dbcc748875f86eadad5270
[INFO] checking OpenSourceVerif/example against 3154cc1a3e6424e44f438a95007d043ed5ceaaf6 for pr-133502-30
[INFO] running `Command { std: "git" "clone" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2FOpenSourceVerif%2Fexample" "/workspace/builds/worker-6-tc2/source", kill_on_drop: false }`
[INFO] [stderr] Cloning into '/workspace/builds/worker-6-tc2/source'...
[INFO] [stderr] done.
[INFO] removed /workspace/builds/worker-6-tc2/source/rust-toolchain.toml
[INFO] started tweaking git repo https://github.com/OpenSourceVerif/example
[INFO] finished tweaking git repo https://github.com/OpenSourceVerif/example
[INFO] tweaked toml for git repo https://github.com/OpenSourceVerif/example written to /workspace/builds/worker-6-tc2/source/Cargo.toml
[INFO] validating manifest of git repo https://github.com/OpenSourceVerif/example on toolchain 3154cc1a3e6424e44f438a95007d043ed5ceaaf6
[INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+3154cc1a3e6424e44f438a95007d043ed5ceaaf6" "metadata" "--manifest-path" "Cargo.toml" "--no-deps", kill_on_drop: false }`
[INFO] crate git repo https://github.com/OpenSourceVerif/example 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" "+3154cc1a3e6424e44f438a95007d043ed5ceaaf6" "fetch" "--manifest-path" "Cargo.toml", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-6-tc2/source:/opt/rustwide/workdir:ro,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-6-tc2/target:/opt/rustwide/target:rw,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" "-m" "1610612736" "--network" "none" "ghcr.io/rust-lang/crates-build-env/linux@sha256:77db811e55d90add9212f6832c23229e3de5f1c1f9905e8cb07319ea15df73ac" "sleep" "infinity", kill_on_drop: false }`
[INFO] [stdout] 831ef6e37fc74181ae1508e9779453f021909905033e0abc2d3d26ed5520b7bb
[INFO] running `Command { std: "docker" "start" "831ef6e37fc74181ae1508e9779453f021909905033e0abc2d3d26ed5520b7bb", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "inspect" "831ef6e37fc74181ae1508e9779453f021909905033e0abc2d3d26ed5520b7bb", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "exec" "-e" "SOURCE_DIR=/opt/rustwide/workdir" "-e" "CARGO_HOME=/opt/rustwide/cargo-home" "-e" "RUSTUP_HOME=/opt/rustwide/rustup-home" "-e" "CARGO_TARGET_DIR=/opt/rustwide/target" "-w" "/opt/rustwide/workdir" "--user" "0:0" "831ef6e37fc74181ae1508e9779453f021909905033e0abc2d3d26ed5520b7bb" "/opt/rustwide/cargo-home/bin/cargo" "+3154cc1a3e6424e44f438a95007d043ed5ceaaf6" "metadata" "--no-deps" "--format-version=1", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "inspect" "831ef6e37fc74181ae1508e9779453f021909905033e0abc2d3d26ed5520b7bb", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "exec" "-e" "SOURCE_DIR=/opt/rustwide/workdir" "-e" "CARGO_HOME=/opt/rustwide/cargo-home" "-e" "RUSTUP_HOME=/opt/rustwide/rustup-home" "-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" "-w" "/opt/rustwide/workdir" "--user" "0:0" "831ef6e37fc74181ae1508e9779453f021909905033e0abc2d3d26ed5520b7bb" "/opt/rustwide/cargo-home/bin/cargo" "+3154cc1a3e6424e44f438a95007d043ed5ceaaf6" "check" "--frozen" "--all" "--all-targets" "--message-format=json", kill_on_drop: false }`
[INFO] [stderr]     Checking bumpalo v3.20.3
[INFO] [stderr]     Checking index_vec v0.1.4
[INFO] [stderr]     Checking scoped-tls v0.1.0 (/opt/rustwide/workdir/crates/scoped-tls)
[INFO] [stderr]     Checking smallvec v1.15.2
[INFO] [stderr]     Checking fixedbitset v0.5.7
[INFO] [stderr]     Checking unicode-ident v1.0.24
[INFO] [stderr]    Compiling syn v2.0.119
[INFO] [stderr]     Checking proc-macro2 v1.0.107
[INFO] [stderr]     Checking quote v1.0.47
[INFO] [stderr]     Checking verifier-macros v0.1.0 (/opt/rustwide/workdir/crates/verifier-macros)
[INFO] [stderr]     Checking interner-derive v0.1.0 (/opt/rustwide/workdir/crates/interner-derive)
[INFO] [stderr]     Checking interner v0.1.0 (/opt/rustwide/workdir/crates/interner)
[INFO] [stderr]     Checking verifier-core v0.1.0 (/opt/rustwide/workdir/crates/verifier-core)
[INFO] [stdout] warning: use of deprecated associated function `core::num::<impl u32>::max_value`: replaced by the `MAX` associated constant on this type
[INFO] [stdout]   --> crates/verifier-core/src/ir/mod.rs:20:1
[INFO] [stdout]    |
[INFO] [stdout] 20 | / define_index_type! {
[INFO] [stdout] 21 | |     /// A stable index into the value-variable table of an append-only
[INFO] [stdout] 22 | |     /// [`crate::Environment`].
[INFO] [stdout] 23 | |     pub struct Var = u32;
[INFO] [stdout] 24 | | }
[INFO] [stdout]    | |_^
[INFO] [stdout]    |
[INFO] [stdout]    = note: `#[warn(deprecated)]` on by default
[INFO] [stdout]    = note: this warning originates in the macro `define_index_type` (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: use of deprecated associated function `core::num::<impl u32>::max_value`: replaced by the `MAX` associated constant on this type
[INFO] [stdout]   --> crates/verifier-core/src/ir/mod.rs:25:1
[INFO] [stdout]    |
[INFO] [stdout] 25 | / define_index_type! {
[INFO] [stdout] 26 | |     /// A stable index into the function table of an append-only [`crate::Environment`].
[INFO] [stdout] 27 | |     pub struct Function = u32;
[INFO] [stdout] 28 | | }
[INFO] [stdout]    | |_^
[INFO] [stdout]    |
[INFO] [stdout]    = note: this warning originates in the macro `define_index_type` (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: use of deprecated associated function `core::num::<impl u32>::max_value`: replaced by the `MAX` associated constant on this type
[INFO] [stdout]   --> crates/verifier-core/src/ir/mod.rs:29:1
[INFO] [stdout]    |
[INFO] [stdout] 29 | define_index_type! { pub struct Field = u32; }
[INFO] [stdout]    | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout]    |
[INFO] [stdout]    = note: this warning originates in the macro `define_index_type` (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stderr]     Checking verifier v0.1.0 (/opt/rustwide/workdir/crates/verifier)
[INFO] [stdout] warning: use of deprecated associated function `core::num::<impl u32>::max_value`: replaced by the `MAX` associated constant on this type
[INFO] [stdout]   --> crates/verifier-core/src/ir/mod.rs:20:1
[INFO] [stdout]    |
[INFO] [stdout] 20 | / define_index_type! {
[INFO] [stdout] 21 | |     /// A stable index into the value-variable table of an append-only
[INFO] [stdout] 22 | |     /// [`crate::Environment`].
[INFO] [stdout] 23 | |     pub struct Var = u32;
[INFO] [stdout] 24 | | }
[INFO] [stdout]    | |_^
[INFO] [stdout]    |
[INFO] [stdout]    = note: `#[warn(deprecated)]` on by default
[INFO] [stdout]    = note: this warning originates in the macro `define_index_type` (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: use of deprecated associated function `core::num::<impl u32>::max_value`: replaced by the `MAX` associated constant on this type
[INFO] [stdout]   --> crates/verifier-core/src/ir/mod.rs:25:1
[INFO] [stdout]    |
[INFO] [stdout] 25 | / define_index_type! {
[INFO] [stdout] 26 | |     /// A stable index into the function table of an append-only [`crate::Environment`].
[INFO] [stdout] 27 | |     pub struct Function = u32;
[INFO] [stdout] 28 | | }
[INFO] [stdout]    | |_^
[INFO] [stdout]    |
[INFO] [stdout]    = note: this warning originates in the macro `define_index_type` (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: use of deprecated associated function `core::num::<impl u32>::max_value`: replaced by the `MAX` associated constant on this type
[INFO] [stdout]   --> crates/verifier-core/src/ir/mod.rs:29:1
[INFO] [stdout]    |
[INFO] [stdout] 29 | define_index_type! { pub struct Field = u32; }
[INFO] [stdout]    | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout]    |
[INFO] [stdout]    = note: this warning originates in the macro `define_index_type` (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stderr]     Checking verifier-engine v0.1.0 (/opt/rustwide/workdir/crates/verifier-engine)
[INFO] [stdout] warning: use of deprecated associated function `core::num::<impl u32>::max_value`: replaced by the `MAX` associated constant on this type
[INFO] [stdout]  --> crates/verifier-engine/src/program.rs:9:1
[INFO] [stdout]   |
[INFO] [stdout] 9 | define_index_type! { pub struct Local = u32; }
[INFO] [stdout]   | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout]   |
[INFO] [stdout]   = note: `#[warn(deprecated)]` on by default
[INFO] [stdout]   = note: this warning originates in the macro `define_index_type` (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: use of deprecated associated function `core::num::<impl u32>::max_value`: replaced by the `MAX` associated constant on this type
[INFO] [stdout]   --> crates/verifier-engine/src/program.rs:10:1
[INFO] [stdout]    |
[INFO] [stdout] 10 | define_index_type! { pub struct Block = u32; }
[INFO] [stdout]    | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout]    |
[INFO] [stdout]    = note: this warning originates in the macro `define_index_type` (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: use of deprecated associated function `core::num::<impl u32>::max_value`: replaced by the `MAX` associated constant on this type
[INFO] [stdout]   --> crates/verifier-engine/src/program.rs:11:1
[INFO] [stdout]    |
[INFO] [stdout] 11 | define_index_type! { pub struct Model = u32; }
[INFO] [stdout]    | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout]    |
[INFO] [stdout]    = note: this warning originates in the macro `define_index_type` (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: use of deprecated associated function `core::num::<impl u32>::max_value`: replaced by the `MAX` associated constant on this type
[INFO] [stdout]   --> crates/verifier-engine/src/program.rs:12:1
[INFO] [stdout]    |
[INFO] [stdout] 12 | define_index_type! { pub struct Function = u32; }
[INFO] [stdout]    | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout]    |
[INFO] [stdout]    = note: this warning originates in the macro `define_index_type` (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: use of deprecated associated function `core::num::<impl u32>::max_value`: replaced by the `MAX` associated constant on this type
[INFO] [stdout]   --> crates/verifier-engine/src/program.rs:13:1
[INFO] [stdout]    |
[INFO] [stdout] 13 | define_index_type! { pub struct Logic = u32; }
[INFO] [stdout]    | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout]    |
[INFO] [stdout]    = note: this warning originates in the macro `define_index_type` (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: use of deprecated associated function `core::num::<impl u32>::max_value`: replaced by the `MAX` associated constant on this type
[INFO] [stdout]  --> crates/verifier-engine/src/program.rs:9:1
[INFO] [stdout]   |
[INFO] [stdout] 9 | define_index_type! { pub struct Local = u32; }
[INFO] [stdout]   | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout]   |
[INFO] [stdout]   = note: `#[warn(deprecated)]` on by default
[INFO] [stdout]   = note: this warning originates in the macro `define_index_type` (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: use of deprecated associated function `core::num::<impl u32>::max_value`: replaced by the `MAX` associated constant on this type
[INFO] [stdout]   --> crates/verifier-engine/src/program.rs:10:1
[INFO] [stdout]    |
[INFO] [stdout] 10 | define_index_type! { pub struct Block = u32; }
[INFO] [stdout]    | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout]    |
[INFO] [stdout]    = note: this warning originates in the macro `define_index_type` (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: use of deprecated associated function `core::num::<impl u32>::max_value`: replaced by the `MAX` associated constant on this type
[INFO] [stdout]   --> crates/verifier-engine/src/program.rs:11:1
[INFO] [stdout]    |
[INFO] [stdout] 11 | define_index_type! { pub struct Model = u32; }
[INFO] [stdout]    | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout]    |
[INFO] [stdout]    = note: this warning originates in the macro `define_index_type` (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: use of deprecated associated function `core::num::<impl u32>::max_value`: replaced by the `MAX` associated constant on this type
[INFO] [stdout]   --> crates/verifier-engine/src/program.rs:12:1
[INFO] [stdout]    |
[INFO] [stdout] 12 | define_index_type! { pub struct Function = u32; }
[INFO] [stdout]    | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout]    |
[INFO] [stdout]    = note: this warning originates in the macro `define_index_type` (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: use of deprecated associated function `core::num::<impl u32>::max_value`: replaced by the `MAX` associated constant on this type
[INFO] [stdout]   --> crates/verifier-engine/src/program.rs:13:1
[INFO] [stdout]    |
[INFO] [stdout] 13 | define_index_type! { pub struct Logic = u32; }
[INFO] [stdout]    | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout]    |
[INFO] [stdout]    = note: this warning originates in the macro `define_index_type` (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stderr]     Checking verifier-rustc v0.1.0 (/opt/rustwide/workdir/crates/verifier-rustc)
[INFO] [stdout] error[E0463]: can't find crate for `rustc_abi`
[INFO] [stdout]  --> crates/verifier-rustc/src/lib.rs:7:1
[INFO] [stdout]   |
[INFO] [stdout] 7 | extern crate rustc_abi;
[INFO] [stdout]   | ^^^^^^^^^^^^^^^^^^^^^^^ can't find crate
[INFO] [stdout]   |
[INFO] [stdout]   = help: maybe you need to install the missing components with: `rustup component add rust-src rustc-dev llvm-tools-preview`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0463]: can't find crate for `rustc_ast`
[INFO] [stdout]  --> crates/verifier-rustc/src/lib.rs:8:1
[INFO] [stdout]   |
[INFO] [stdout] 8 | extern crate rustc_ast;
[INFO] [stdout]   | ^^^^^^^^^^^^^^^^^^^^^^^ can't find crate
[INFO] [stdout]   |
[INFO] [stdout]   = help: maybe you need to install the missing components with: `rustup component add rust-src rustc-dev llvm-tools-preview`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0463]: can't find crate for `rustc_driver`
[INFO] [stdout]  --> crates/verifier-rustc/src/lib.rs:9:1
[INFO] [stdout]   |
[INFO] [stdout] 9 | extern crate rustc_driver;
[INFO] [stdout]   | ^^^^^^^^^^^^^^^^^^^^^^^^^^ can't find crate
[INFO] [stdout]   |
[INFO] [stdout]   = help: maybe you need to install the missing components with: `rustup component add rust-src rustc-dev llvm-tools-preview`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0463]: can't find crate for `rustc_hir`
[INFO] [stdout]   --> crates/verifier-rustc/src/lib.rs:10:1
[INFO] [stdout]    |
[INFO] [stdout] 10 | extern crate rustc_hir;
[INFO] [stdout]    | ^^^^^^^^^^^^^^^^^^^^^^^ can't find crate
[INFO] [stdout]    |
[INFO] [stdout]    = help: maybe you need to install the missing components with: `rustup component add rust-src rustc-dev llvm-tools-preview`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0463]: can't find crate for `rustc_index`
[INFO] [stdout]   --> crates/verifier-rustc/src/lib.rs:11:1
[INFO] [stdout]    |
[INFO] [stdout] 11 | extern crate rustc_index;
[INFO] [stdout]    | ^^^^^^^^^^^^^^^^^^^^^^^^^ can't find crate
[INFO] [stdout]    |
[INFO] [stdout]    = help: maybe you need to install the missing components with: `rustup component add rust-src rustc-dev llvm-tools-preview`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0463]: can't find crate for `rustc_middle`
[INFO] [stdout]   --> crates/verifier-rustc/src/lib.rs:12:1
[INFO] [stdout]    |
[INFO] [stdout] 12 | extern crate rustc_middle;
[INFO] [stdout]    | ^^^^^^^^^^^^^^^^^^^^^^^^^^ can't find crate
[INFO] [stdout]    |
[INFO] [stdout]    = help: maybe you need to install the missing components with: `rustup component add rust-src rustc-dev llvm-tools-preview`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0463]: can't find crate for `rustc_span`
[INFO] [stdout]   --> crates/verifier-rustc/src/lib.rs:13:1
[INFO] [stdout]    |
[INFO] [stdout] 13 | extern crate rustc_span;
[INFO] [stdout]    | ^^^^^^^^^^^^^^^^^^^^^^^^ can't find crate
[INFO] [stdout]    |
[INFO] [stdout]    = help: maybe you need to install the missing components with: `rustup component add rust-src rustc-dev llvm-tools-preview`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0463]: can't find crate for `rustc_abi`
[INFO] [stdout]  --> crates/verifier-rustc/src/lib.rs:7:1
[INFO] [stdout]   |
[INFO] [stdout] 7 | extern crate rustc_abi;
[INFO] [stdout]   | ^^^^^^^^^^^^^^^^^^^^^^^ can't find crate
[INFO] [stdout]   |
[INFO] [stdout]   = help: maybe you need to install the missing components with: `rustup component add rust-src rustc-dev llvm-tools-preview`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0463]: can't find crate for `rustc_ast`
[INFO] [stdout]  --> crates/verifier-rustc/src/lib.rs:8:1
[INFO] [stdout]   |
[INFO] [stdout] 8 | extern crate rustc_ast;
[INFO] [stdout]   | ^^^^^^^^^^^^^^^^^^^^^^^ can't find crate
[INFO] [stdout]   |
[INFO] [stdout]   = help: maybe you need to install the missing components with: `rustup component add rust-src rustc-dev llvm-tools-preview`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0463]: can't find crate for `rustc_driver`
[INFO] [stdout]  --> crates/verifier-rustc/src/lib.rs:9:1
[INFO] [stdout]   |
[INFO] [stdout] 9 | extern crate rustc_driver;
[INFO] [stdout]   | ^^^^^^^^^^^^^^^^^^^^^^^^^^ can't find crate
[INFO] [stdout]   |
[INFO] [stdout]   = help: maybe you need to install the missing components with: `rustup component add rust-src rustc-dev llvm-tools-preview`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0463]: can't find crate for `rustc_hir`
[INFO] [stdout]   --> crates/verifier-rustc/src/lib.rs:10:1
[INFO] [stdout]    |
[INFO] [stdout] 10 | extern crate rustc_hir;
[INFO] [stdout]    | ^^^^^^^^^^^^^^^^^^^^^^^ can't find crate
[INFO] [stdout]    |
[INFO] [stdout]    = help: maybe you need to install the missing components with: `rustup component add rust-src rustc-dev llvm-tools-preview`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0463]: can't find crate for `rustc_index`
[INFO] [stdout]   --> crates/verifier-rustc/src/lib.rs:11:1
[INFO] [stdout]    |
[INFO] [stdout] 11 | extern crate rustc_index;
[INFO] [stdout]    | ^^^^^^^^^^^^^^^^^^^^^^^^^ can't find crate
[INFO] [stdout]    |
[INFO] [stdout]    = help: maybe you need to install the missing components with: `rustup component add rust-src rustc-dev llvm-tools-preview`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0463]: can't find crate for `rustc_middle`
[INFO] [stdout]   --> crates/verifier-rustc/src/lib.rs:12:1
[INFO] [stdout]    |
[INFO] [stdout] 12 | extern crate rustc_middle;
[INFO] [stdout]    | ^^^^^^^^^^^^^^^^^^^^^^^^^^ can't find crate
[INFO] [stdout]    |
[INFO] [stdout]    = help: maybe you need to install the missing components with: `rustup component add rust-src rustc-dev llvm-tools-preview`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0463]: can't find crate for `rustc_span`
[INFO] [stdout]   --> crates/verifier-rustc/src/lib.rs:13:1
[INFO] [stdout]    |
[INFO] [stdout] 13 | extern crate rustc_span;
[INFO] [stdout]    | ^^^^^^^^^^^^^^^^^^^^^^^^ can't find crate
[INFO] [stdout]    |
[INFO] [stdout]    = help: maybe you need to install the missing components with: `rustup component add rust-src rustc-dev llvm-tools-preview`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] For more information about this error, try `rustc --explain E0463`.
[INFO] [stdout] 
[INFO] [stdout] For more information about this error, try `rustc --explain E0463`.
[INFO] [stdout] 
[INFO] [stderr] error: could not compile `verifier-rustc` (lib) due to 7 previous errors
[INFO] [stderr] warning: build failed, waiting for other jobs to finish...
[INFO] [stderr] error: could not compile `verifier-rustc` (lib test) due to 7 previous errors
[INFO] running `Command { std: "docker" "inspect" "831ef6e37fc74181ae1508e9779453f021909905033e0abc2d3d26ed5520b7bb", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "831ef6e37fc74181ae1508e9779453f021909905033e0abc2d3d26ed5520b7bb", kill_on_drop: false }`
[INFO] [stdout] 831ef6e37fc74181ae1508e9779453f021909905033e0abc2d3d26ed5520b7bb
