[INFO] cloning repository https://github.com/janispeyer/rustc_alias
[INFO] running `Command { std: "git" "-c" "credential.helper=" "-c" "credential.helper=/workspace/cargo-home/bin/git-credential-null" "clone" "--bare" "https://github.com/janispeyer/rustc_alias" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Fjanispeyer%2Frustc_alias", kill_on_drop: false }`
[INFO] [stderr] Cloning into bare repository '/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Fjanispeyer%2Frustc_alias'...
[INFO] running `Command { std: "git" "rev-parse" "HEAD", kill_on_drop: false }`
[INFO] [stdout] c1bf3d3215380bcad83731c0b4ffb491fee92f11
[INFO] checking janispeyer/rustc_alias against master#e3e432d4d65a55e6db167598e96db2bcb163e316 for pr-140313
[INFO] running `Command { std: "git" "clone" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Fjanispeyer%2Frustc_alias" "/workspace/builds/worker-1-tc1/source", kill_on_drop: false }`
[INFO] [stderr] Cloning into '/workspace/builds/worker-1-tc1/source'...
[INFO] [stderr] done.
[INFO] validating manifest of git repo https://github.com/janispeyer/rustc_alias on toolchain e3e432d4d65a55e6db167598e96db2bcb163e316
[INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+e3e432d4d65a55e6db167598e96db2bcb163e316" "metadata" "--manifest-path" "Cargo.toml" "--no-deps", kill_on_drop: false }`
[INFO] started tweaking git repo https://github.com/janispeyer/rustc_alias
[INFO] finished tweaking git repo https://github.com/janispeyer/rustc_alias
[INFO] tweaked toml for git repo https://github.com/janispeyer/rustc_alias written to /workspace/builds/worker-1-tc1/source/Cargo.toml
[INFO] crate git repo https://github.com/janispeyer/rustc_alias 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" "+e3e432d4d65a55e6db167598e96db2bcb163e316" "fetch" "--manifest-path" "Cargo.toml", kill_on_drop: false }`
[INFO] [stderr]     Blocking waiting for file lock on package cache
[INFO] [stderr]     Blocking waiting for file lock on package cache
[INFO] [stderr]  Downloading crates ...
[INFO] [stderr]   Downloaded tester v0.9.0
[INFO] [stderr]   Downloaded compiletest_rs v0.7.1
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-1-tc1/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-1-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:b0b074c097205a61b89e8ad263052f976b2b332c4dc5f02aef1fe52501660d6e" "/opt/rustwide/cargo-home/bin/cargo" "+e3e432d4d65a55e6db167598e96db2bcb163e316" "metadata" "--no-deps" "--format-version=1", kill_on_drop: false }`
[INFO] [stdout] 5c45eca57a23f1e393aecc9dd751f1b1b5b5a25352dc2db104e7a33627f39a93
[INFO] running `Command { std: "docker" "start" "-a" "5c45eca57a23f1e393aecc9dd751f1b1b5b5a25352dc2db104e7a33627f39a93", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "inspect" "5c45eca57a23f1e393aecc9dd751f1b1b5b5a25352dc2db104e7a33627f39a93", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "5c45eca57a23f1e393aecc9dd751f1b1b5b5a25352dc2db104e7a33627f39a93", kill_on_drop: false }`
[INFO] [stdout] 5c45eca57a23f1e393aecc9dd751f1b1b5b5a25352dc2db104e7a33627f39a93
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-1-tc1/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-1-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:b0b074c097205a61b89e8ad263052f976b2b332c4dc5f02aef1fe52501660d6e" "/opt/rustwide/cargo-home/bin/cargo" "+e3e432d4d65a55e6db167598e96db2bcb163e316" "check" "--frozen" "--all" "--all-targets" "--message-format=json", kill_on_drop: false }`
[INFO] [stdout] eca675d2d79eecf81fdff0fbce01aaa5d5dc1d4246d7e9e5ef1397de2485f76a
[INFO] running `Command { std: "docker" "start" "-a" "eca675d2d79eecf81fdff0fbce01aaa5d5dc1d4246d7e9e5ef1397de2485f76a", kill_on_drop: false }`
[INFO] [stderr]    Compiling libc v0.2.121
[INFO] [stderr]     Checking cfg-if v1.0.0
[INFO] [stderr]    Compiling proc-macro2 v1.0.37
[INFO] [stderr]    Compiling unicode-xid v0.2.2
[INFO] [stderr]    Compiling syn v1.0.91
[INFO] [stderr]    Compiling memchr v2.4.1
[INFO] [stderr]    Compiling log v0.4.16
[INFO] [stderr]    Compiling serde_derive v1.0.136
[INFO] [stderr]    Compiling serde v1.0.136
[INFO] [stderr]    Compiling serde_json v1.0.79
[INFO] [stderr]     Checking regex-syntax v0.6.25
[INFO] [stderr]    Compiling anyhow v1.0.56
[INFO] [stderr]     Checking ryu v1.0.9
[INFO] [stderr]     Checking unicode-width v0.1.9
[INFO] [stderr]     Checking itoa v1.0.1
[INFO] [stderr]     Checking humantime v2.1.0
[INFO] [stderr]     Checking getopts v0.2.21
[INFO] [stderr]    Compiling compiletest_rs v0.7.1
[INFO] [stderr]     Checking termcolor v1.1.3
[INFO] [stderr]     Checking diff v0.1.12
[INFO] [stderr]     Checking lazy_static v1.4.0
[INFO] [stderr]    Compiling quote v1.0.17
[INFO] [stderr]     Checking aho-corasick v0.7.18
[INFO] [stderr]     Checking dirs-sys-next v0.1.2
[INFO] [stderr]     Checking num_cpus v1.13.1
[INFO] [stderr]     Checking atty v0.2.14
[INFO] [stderr]     Checking filetime v0.2.15
[INFO] [stderr]     Checking dirs-next v2.0.0
[INFO] [stderr]     Checking term v0.7.0
[INFO] [stderr]     Checking tester v0.9.0
[INFO] [stderr]     Checking regex v1.5.5
[INFO] [stderr]     Checking env_logger v0.9.0
[INFO] [stderr]     Checking rustc_alias v0.1.0 (/opt/rustwide/workdir)
[INFO] [stdout] error[E0463]: can't find crate for `rustc_driver`
[INFO] [stdout]  --> src/main.rs:4:1
[INFO] [stdout]   |
[INFO] [stdout] 4 | 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_index`
[INFO] [stdout]  --> src/main.rs:5:1
[INFO] [stdout]   |
[INFO] [stdout] 5 | 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_interface`
[INFO] [stdout]  --> src/main.rs:6:1
[INFO] [stdout]   |
[INFO] [stdout] 6 | extern crate rustc_interface;
[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]  --> src/main.rs:7:1
[INFO] [stdout]   |
[INFO] [stdout] 7 | 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_mir_dataflow`
[INFO] [stdout]  --> src/main.rs:8:1
[INFO] [stdout]   |
[INFO] [stdout] 8 | extern crate rustc_mir_dataflow;
[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_mir_transform`
[INFO] [stdout]  --> src/main.rs:9:1
[INFO] [stdout]   |
[INFO] [stdout] 9 | extern crate rustc_mir_transform;
[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_session`
[INFO] [stdout]   --> src/main.rs:10:1
[INFO] [stdout]    |
[INFO] [stdout] 10 | extern crate rustc_session;
[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_type_ir`
[INFO] [stdout]   --> src/main.rs:11:1
[INFO] [stdout]    |
[INFO] [stdout] 11 | extern crate rustc_type_ir;
[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[E0432]: unresolved import `super::TopOfBorrowStackLocations`
[INFO] [stdout]  --> src/analysis/immutability_span.rs:9:5
[INFO] [stdout]   |
[INFO] [stdout] 9 | use super::TopOfBorrowStackLocations;
[INFO] [stdout]   |     ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0405]: cannot find trait `MirPass` in this scope
[INFO] [stdout]   --> src/alias.rs:11:12
[INFO] [stdout]    |
[INFO] [stdout] 11 | impl<'tcx> MirPass<'tcx> for Alias {
[INFO] [stdout]    |            ^^^^^^^ not found in this scope
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0412]: cannot find type `Body` in this scope
[INFO] [stdout]   --> src/alias.rs:17:54
[INFO] [stdout]    |
[INFO] [stdout] 17 |     fn run_pass(&self, tcx: TyCtxt<'tcx>, body: &mut Body<'tcx>) {
[INFO] [stdout]    |                                                      ^^^^ not found in this scope
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0412]: cannot find type `Body` in this scope
[INFO] [stdout]   --> src/alias.rs:41:32
[INFO] [stdout]    |
[INFO] [stdout] 41 | fn get_retags<'tcx>(body: &mut Body<'tcx>) -> Vec<Local> {
[INFO] [stdout]    |                                ^^^^ not found in this scope
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0412]: cannot find type `Local` in this scope
[INFO] [stdout]   --> src/alias.rs:41:51
[INFO] [stdout]    |
[INFO] [stdout] 41 | fn get_retags<'tcx>(body: &mut Body<'tcx>) -> Vec<Local> {
[INFO] [stdout]    |                                                   ^^^^^ not found in this scope
[INFO] [stdout]    |
[INFO] [stdout] help: you might be missing a type parameter
[INFO] [stdout]    |
[INFO] [stdout] 41 | fn get_retags<'tcx, Local>(body: &mut Body<'tcx>) -> Vec<Local> {
[INFO] [stdout]    |                   +++++++
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0412]: cannot find type `BasicBlock` in this scope
[INFO] [stdout]   --> src/alias.rs:59:49
[INFO] [stdout]    |
[INFO] [stdout] 59 |     fn visit_basic_block_data(&mut self, block: BasicBlock, data: &BasicBlockData<'tcx>) {
[INFO] [stdout]    |                                                 ^^^^^^^^^^ not found in this scope
[INFO] [stdout]    |
[INFO] [stdout] help: consider importing this enum
[INFO] [stdout]    |
[INFO] [stdout] 1  + use std::intrinsics::mir::BasicBlock;
[INFO] [stdout]    |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0412]: cannot find type `BasicBlockData` in this scope
[INFO] [stdout]   --> src/alias.rs:59:68
[INFO] [stdout]    |
[INFO] [stdout] 59 |     fn visit_basic_block_data(&mut self, block: BasicBlock, data: &BasicBlockData<'tcx>) {
[INFO] [stdout]    |                                                                    ^^^^^^^^^^^^^^ not found in this scope
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0412]: cannot find type `Statement` in this scope
[INFO] [stdout]   --> src/alias.rs:65:47
[INFO] [stdout]    |
[INFO] [stdout] 65 |     fn visit_statement(&mut self, statement: &Statement<'tcx>, location: Location) {
[INFO] [stdout]    |                                               ^^^^^^^^^ not found in this scope
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0412]: cannot find type `Location` in this scope
[INFO] [stdout]   --> src/alias.rs:65:74
[INFO] [stdout]    |
[INFO] [stdout] 65 |     fn visit_statement(&mut self, statement: &Statement<'tcx>, location: Location) {
[INFO] [stdout]    |                                                                          ^^^^^^^^ not found in this scope
[INFO] [stdout]    |
[INFO] [stdout] help: consider importing this struct
[INFO] [stdout]    |
[INFO] [stdout] 1  + use std::panic::Location;
[INFO] [stdout]    |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0412]: cannot find type `Terminator` in this scope
[INFO] [stdout]   --> src/alias.rs:70:49
[INFO] [stdout]    |
[INFO] [stdout] 70 |     fn visit_terminator(&mut self, terminator: &Terminator<'tcx>, location: Location) {
[INFO] [stdout]    |                                                 ^^^^^^^^^^ not found in this scope
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0412]: cannot find type `Location` in this scope
[INFO] [stdout]   --> src/alias.rs:70:77
[INFO] [stdout]    |
[INFO] [stdout] 70 |     fn visit_terminator(&mut self, terminator: &Terminator<'tcx>, location: Location) {
[INFO] [stdout]    |                                                                             ^^^^^^^^ not found in this scope
[INFO] [stdout]    |
[INFO] [stdout] help: consider importing this struct
[INFO] [stdout]    |
[INFO] [stdout] 1  + use std::panic::Location;
[INFO] [stdout]    |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0412]: cannot find type `Location` in this scope
[INFO] [stdout]   --> src/analysis/immutability_span.rs:14:10
[INFO] [stdout]    |
[INFO] [stdout] 14 |     Span(Location),
[INFO] [stdout]    |          ^^^^^^^^ not found in this scope
[INFO] [stdout]    |
[INFO] [stdout] help: consider importing this struct
[INFO] [stdout]    |
[INFO] [stdout] 1  + use std::panic::Location;
[INFO] [stdout]    |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0412]: cannot find type `Local` in this scope
[INFO] [stdout]   --> src/analysis/immutability_span.rs:19:44
[INFO] [stdout]    |
[INFO] [stdout] 19 | pub struct ImmutabilitySpanLattice(HashMap<Local, ImmutabilitySpanState>);
[INFO] [stdout]    |                                            ^^^^^ not found in this scope
[INFO] [stdout]    |
[INFO] [stdout] help: you might be missing a type parameter
[INFO] [stdout]    |
[INFO] [stdout] 19 | pub struct ImmutabilitySpanLattice<Local>(HashMap<Local, ImmutabilitySpanState>);
[INFO] [stdout]    |                                   +++++++
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0412]: cannot find type `Local` in this scope
[INFO] [stdout]   --> src/analysis/immutability_span.rs:19:44
[INFO] [stdout]    |
[INFO] [stdout] 19 | pub struct ImmutabilitySpanLattice(HashMap<Local, ImmutabilitySpanState>);
[INFO] [stdout]    |                                            ^^^^^ not found in this scope
[INFO] [stdout]    |
[INFO] [stdout] help: you might be missing a type parameter
[INFO] [stdout]    |
[INFO] [stdout] 19 | pub struct ImmutabilitySpanLattice<Local>(HashMap<Local, ImmutabilitySpanState>);
[INFO] [stdout]    |                                   +++++++
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0412]: cannot find type `Location` in this scope
[INFO] [stdout]   --> src/analysis/immutability_span.rs:74:19
[INFO] [stdout]    |
[INFO] [stdout] 74 |         location: Location,
[INFO] [stdout]    |                   ^^^^^^^^ not found in this scope
[INFO] [stdout]    |
[INFO] [stdout] help: consider importing this struct
[INFO] [stdout]    |
[INFO] [stdout] 1  + use std::panic::Location;
[INFO] [stdout]    |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0412]: cannot find type `Location` in this scope
[INFO] [stdout]    --> src/analysis/immutability_span.rs:113:19
[INFO] [stdout]     |
[INFO] [stdout] 113 |         location: Location,
[INFO] [stdout]     |                   ^^^^^^^^ not found in this scope
[INFO] [stdout]     |
[INFO] [stdout] help: consider importing this struct
[INFO] [stdout]     |
[INFO] [stdout] 1   + use std::panic::Location;
[INFO] [stdout]     |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0412]: cannot find type `Location` in this scope
[INFO] [stdout]    --> src/analysis/immutability_span.rs:137:19
[INFO] [stdout]     |
[INFO] [stdout] 137 |         location: Location,
[INFO] [stdout]     |                   ^^^^^^^^ not found in this scope
[INFO] [stdout]     |
[INFO] [stdout] help: consider importing this struct
[INFO] [stdout]     |
[INFO] [stdout] 1   + use std::panic::Location;
[INFO] [stdout]     |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0412]: cannot find type `BasicBlock` in this scope
[INFO] [stdout]    --> src/analysis/immutability_span.rs:145:17
[INFO] [stdout]     |
[INFO] [stdout] 145 |         _block: BasicBlock,
[INFO] [stdout]     |                 ^^^^^^^^^^ not found in this scope
[INFO] [stdout]     |
[INFO] [stdout] help: consider importing this enum
[INFO] [stdout]     |
[INFO] [stdout] 1   + use std::intrinsics::mir::BasicBlock;
[INFO] [stdout]     |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0412]: cannot find type `Local` in this scope
[INFO] [stdout]    --> src/analysis/immutability_span.rs:152:33
[INFO] [stdout]     |
[INFO] [stdout] 152 | pub struct ImmutabilitySpan(pub Local, pub Vec<Location>);
[INFO] [stdout]     |                                 ^^^^^ not found in this scope
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0412]: cannot find type `Location` in this scope
[INFO] [stdout]    --> src/analysis/immutability_span.rs:152:48
[INFO] [stdout]     |
[INFO] [stdout] 152 | pub struct ImmutabilitySpan(pub Local, pub Vec<Location>);
[INFO] [stdout]     |                                                ^^^^^^^^ not found in this scope
[INFO] [stdout]     |
[INFO] [stdout] help: consider importing this struct
[INFO] [stdout]     |
[INFO] [stdout] 1   + use std::panic::Location;
[INFO] [stdout]     |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0412]: cannot find type `Location` in this scope
[INFO] [stdout]    --> src/analysis/immutability_span.rs:154:38
[INFO] [stdout]     |
[INFO] [stdout] 154 | pub type ImmutabilitySpans = HashMap<Location, ImmutabilitySpan>;
[INFO] [stdout]     |                                      ^^^^^^^^ not found in this scope
[INFO] [stdout]     |
[INFO] [stdout] help: consider importing this struct
[INFO] [stdout]     |
[INFO] [stdout] 1   + use std::panic::Location;
[INFO] [stdout]     |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0412]: cannot find type `Location` in this scope
[INFO] [stdout]    --> src/analysis/immutability_span.rs:169:75
[INFO] [stdout]     |
[INFO] [stdout] 169 |     fn print_state(state: &<Self as ResultsVisitor>::FlowState, location: Location) {
[INFO] [stdout]     |                                                                           ^^^^^^^^ not found in this scope
[INFO] [stdout]     |
[INFO] [stdout] help: consider importing this struct
[INFO] [stdout]     |
[INFO] [stdout] 1   + use std::panic::Location;
[INFO] [stdout]     |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0412]: cannot find type `Location` in this scope
[INFO] [stdout]    --> src/analysis/immutability_span.rs:180:80
[INFO] [stdout]     |
[INFO] [stdout] 180 |     fn visit(&mut self, state: &<Self as ResultsVisitor>::FlowState, location: Location) {
[INFO] [stdout]     |                                                                                ^^^^^^^^ not found in this scope
[INFO] [stdout]     |
[INFO] [stdout] help: consider importing this struct
[INFO] [stdout]     |
[INFO] [stdout] 1   + use std::panic::Location;
[INFO] [stdout]     |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0412]: cannot find type `Location` in this scope
[INFO] [stdout]    --> src/analysis/immutability_span.rs:202:19
[INFO] [stdout]     |
[INFO] [stdout] 202 |         location: Location,
[INFO] [stdout]     |                   ^^^^^^^^ not found in this scope
[INFO] [stdout]     |
[INFO] [stdout] help: consider importing this struct
[INFO] [stdout]     |
[INFO] [stdout] 1   + use std::panic::Location;
[INFO] [stdout]     |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0412]: cannot find type `Location` in this scope
[INFO] [stdout]    --> src/analysis/immutability_span.rs:216:19
[INFO] [stdout]     |
[INFO] [stdout] 216 |         location: Location,
[INFO] [stdout]     |                   ^^^^^^^^ not found in this scope
[INFO] [stdout]     |
[INFO] [stdout] help: consider importing this struct
[INFO] [stdout]     |
[INFO] [stdout] 1   + use std::panic::Location;
[INFO] [stdout]     |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0412]: cannot find type `BasicBlock` in this scope
[INFO] [stdout]    --> src/analysis/immutability_span.rs:230:16
[INFO] [stdout]     |
[INFO] [stdout] 230 |         block: BasicBlock,
[INFO] [stdout]     |                ^^^^^^^^^^ not found in this scope
[INFO] [stdout]     |
[INFO] [stdout] help: consider importing this enum
[INFO] [stdout]     |
[INFO] [stdout] 1   + use std::intrinsics::mir::BasicBlock;
[INFO] [stdout]     |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0412]: cannot find type `BasicBlock` in this scope
[INFO] [stdout]    --> src/analysis/immutability_span.rs:241:17
[INFO] [stdout]     |
[INFO] [stdout] 241 |         _block: BasicBlock,
[INFO] [stdout]     |                 ^^^^^^^^^^ not found in this scope
[INFO] [stdout]     |
[INFO] [stdout] help: consider importing this enum
[INFO] [stdout]     |
[INFO] [stdout] 1   + use std::intrinsics::mir::BasicBlock;
[INFO] [stdout]     |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0412]: cannot find type `Body` in this scope
[INFO] [stdout]   --> src/analysis/top_of_borrow_stack.rs:10:41
[INFO] [stdout]    |
[INFO] [stdout] 10 | pub fn print_top_of_borrow_stack(body: &Body, top_of_borrow_stack: &TopOfBorrowStackLocations) {
[INFO] [stdout]    |                                         ^^^^ not found in this scope
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0412]: cannot find type `Location` in this scope
[INFO] [stdout]   --> src/analysis/top_of_borrow_stack.rs:13:27
[INFO] [stdout]    |
[INFO] [stdout] 13 |         let mut location: Location = block_index.start_location();
[INFO] [stdout]    |                           ^^^^^^^^ not found in this scope
[INFO] [stdout]    |
[INFO] [stdout] help: consider importing this struct
[INFO] [stdout]    |
[INFO] [stdout] 1  + use std::panic::Location;
[INFO] [stdout]    |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0412]: cannot find type `Local` in this scope
[INFO] [stdout]   --> src/analysis/top_of_borrow_stack.rs:45:19
[INFO] [stdout]    |
[INFO] [stdout] 45 |     retagged: Vec<Local>,
[INFO] [stdout]    |                   ^^^^^ not found in this scope
[INFO] [stdout]    |
[INFO] [stdout] help: you might be missing a type parameter
[INFO] [stdout]    |
[INFO] [stdout] 44 | pub struct TopOfBorrowStack<Local> {
[INFO] [stdout]    |                            +++++++
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0412]: cannot find type `Local` in this scope
[INFO] [stdout]   --> src/analysis/top_of_borrow_stack.rs:49:30
[INFO] [stdout]    |
[INFO] [stdout] 49 |     pub fn new(retagged: Vec<Local>) -> Self {
[INFO] [stdout]    |                              ^^^^^ not found in this scope
[INFO] [stdout]    |
[INFO] [stdout] help: you might be missing a type parameter
[INFO] [stdout]    |
[INFO] [stdout] 48 | impl<Local> TopOfBorrowStack {
[INFO] [stdout]    |     +++++++
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0412]: cannot find type `Local` in this scope
[INFO] [stdout]   --> src/analysis/top_of_borrow_stack.rs:62:40
[INFO] [stdout]    |
[INFO] [stdout] 62 |     type Domain = lattice::Dual<BitSet<Local>>;
[INFO] [stdout]    |                                        ^^^^^ not found in this scope
[INFO] [stdout]    |
[INFO] [stdout] help: you might be missing a type parameter
[INFO] [stdout]    |
[INFO] [stdout] 61 | impl<'tcx, Local> AnalysisDomain<'tcx> for TopOfBorrowStack {
[INFO] [stdout]    |          +++++++
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0412]: cannot find type `Body` in this scope
[INFO] [stdout]   --> src/analysis/top_of_borrow_stack.rs:65:35
[INFO] [stdout]    |
[INFO] [stdout] 65 |     fn bottom_value(&self, body: &Body<'tcx>) -> Self::Domain {
[INFO] [stdout]    |                                   ^^^^ not found in this scope
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0412]: cannot find type `Body` in this scope
[INFO] [stdout]   --> src/analysis/top_of_borrow_stack.rs:73:46
[INFO] [stdout]    |
[INFO] [stdout] 73 |     fn initialize_start_block(&self, _body: &Body<'tcx>, _domain: &mut Self::Domain) {}
[INFO] [stdout]    |                                              ^^^^ not found in this scope
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0412]: cannot find type `Local` in this scope
[INFO] [stdout]   --> src/analysis/top_of_borrow_stack.rs:77:16
[INFO] [stdout]    |
[INFO] [stdout] 77 |     type Idx = Local;
[INFO] [stdout]    |                ^^^^^ not found in this scope
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0412]: cannot find type `Statement` in this scope
[INFO] [stdout]   --> src/analysis/top_of_borrow_stack.rs:82:21
[INFO] [stdout]    |
[INFO] [stdout] 82 |         statement: &Statement<'tcx>,
[INFO] [stdout]    |                     ^^^^^^^^^ not found in this scope
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0412]: cannot find type `Location` in this scope
[INFO] [stdout]   --> src/analysis/top_of_borrow_stack.rs:83:19
[INFO] [stdout]    |
[INFO] [stdout] 83 |         location: Location,
[INFO] [stdout]    |                   ^^^^^^^^ not found in this scope
[INFO] [stdout]    |
[INFO] [stdout] help: consider importing this struct
[INFO] [stdout]    |
[INFO] [stdout] 1  + use std::panic::Location;
[INFO] [stdout]    |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0412]: cannot find type `Terminator` in this scope
[INFO] [stdout]   --> src/analysis/top_of_borrow_stack.rs:92:22
[INFO] [stdout]    |
[INFO] [stdout] 92 |         terminator: &Terminator<'tcx>,
[INFO] [stdout]    |                      ^^^^^^^^^^ not found in this scope
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0412]: cannot find type `Location` in this scope
[INFO] [stdout]   --> src/analysis/top_of_borrow_stack.rs:93:19
[INFO] [stdout]    |
[INFO] [stdout] 93 |         location: Location,
[INFO] [stdout]    |                   ^^^^^^^^ not found in this scope
[INFO] [stdout]    |
[INFO] [stdout] help: consider importing this struct
[INFO] [stdout]    |
[INFO] [stdout] 1  + use std::panic::Location;
[INFO] [stdout]    |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0412]: cannot find type `BasicBlock` in this scope
[INFO] [stdout]    --> src/analysis/top_of_borrow_stack.rs:102:17
[INFO] [stdout]     |
[INFO] [stdout] 102 |         _block: BasicBlock,
[INFO] [stdout]     |                 ^^^^^^^^^^ not found in this scope
[INFO] [stdout]     |
[INFO] [stdout] help: consider importing this enum
[INFO] [stdout]     |
[INFO] [stdout] 1   + use std::intrinsics::mir::BasicBlock;
[INFO] [stdout]     |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0412]: cannot find type `Local` in this scope
[INFO] [stdout]    --> src/analysis/top_of_borrow_stack.rs:111:23
[INFO] [stdout]     |
[INFO] [stdout] 111 |     retagged: &'a Vec<Local>,
[INFO] [stdout]     |                       ^^^^^ not found in this scope
[INFO] [stdout]     |
[INFO] [stdout] help: you might be missing a type parameter
[INFO] [stdout]     |
[INFO] [stdout] 109 | struct TransferFunction<'a, T, Local> {
[INFO] [stdout]     |                              +++++++
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0412]: cannot find type `Local` in this scope
[INFO] [stdout]    --> src/analysis/top_of_borrow_stack.rs:116:16
[INFO] [stdout]     |
[INFO] [stdout] 116 |     T: GenKill<Local>,
[INFO] [stdout]     |                ^^^^^ not found in this scope
[INFO] [stdout]     |
[INFO] [stdout] help: you might be missing a type parameter
[INFO] [stdout]     |
[INFO] [stdout] 114 | impl<'tcx, T, Local> Visitor<'tcx> for TransferFunction<'_, T>
[INFO] [stdout]     |             +++++++
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0412]: cannot find type `Statement` in this scope
[INFO] [stdout]    --> src/analysis/top_of_borrow_stack.rs:118:42
[INFO] [stdout]     |
[INFO] [stdout] 118 |     fn visit_statement(&mut self, stmt: &Statement<'tcx>, location: Location) {
[INFO] [stdout]     |                                          ^^^^^^^^^ not found in this scope
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0412]: cannot find type `Location` in this scope
[INFO] [stdout]    --> src/analysis/top_of_borrow_stack.rs:118:69
[INFO] [stdout]     |
[INFO] [stdout] 118 |     fn visit_statement(&mut self, stmt: &Statement<'tcx>, location: Location) {
[INFO] [stdout]     |                                                                     ^^^^^^^^ not found in this scope
[INFO] [stdout]     |
[INFO] [stdout] help: consider importing this struct
[INFO] [stdout]     |
[INFO] [stdout] 1   + use std::panic::Location;
[INFO] [stdout]     |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0412]: cannot find type `Rvalue` in this scope
[INFO] [stdout]    --> src/analysis/top_of_borrow_stack.rs:172:41
[INFO] [stdout]     |
[INFO] [stdout] 172 |     fn visit_rvalue(&mut self, rvalue: &Rvalue<'tcx>, location: Location) {
[INFO] [stdout]     |                                         ^^^^^^ not found in this scope
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0412]: cannot find type `Location` in this scope
[INFO] [stdout]    --> src/analysis/top_of_borrow_stack.rs:172:65
[INFO] [stdout]     |
[INFO] [stdout] 172 |     fn visit_rvalue(&mut self, rvalue: &Rvalue<'tcx>, location: Location) {
[INFO] [stdout]     |                                                                 ^^^^^^^^ not found in this scope
[INFO] [stdout]     |
[INFO] [stdout] help: consider importing this struct
[INFO] [stdout]     |
[INFO] [stdout] 1   + use std::panic::Location;
[INFO] [stdout]     |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0412]: cannot find type `Terminator` in this scope
[INFO] [stdout]    --> src/analysis/top_of_borrow_stack.rs:206:49
[INFO] [stdout]     |
[INFO] [stdout] 206 |     fn visit_terminator(&mut self, terminator: &Terminator<'tcx>, location: Location) {
[INFO] [stdout]     |                                                 ^^^^^^^^^^ not found in this scope
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0412]: cannot find type `Location` in this scope
[INFO] [stdout]    --> src/analysis/top_of_borrow_stack.rs:206:77
[INFO] [stdout]     |
[INFO] [stdout] 206 |     fn visit_terminator(&mut self, terminator: &Terminator<'tcx>, location: Location) {
[INFO] [stdout]     |                                                                             ^^^^^^^^ not found in this scope
[INFO] [stdout]     |
[INFO] [stdout] help: consider importing this struct
[INFO] [stdout]     |
[INFO] [stdout] 1   + use std::panic::Location;
[INFO] [stdout]     |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0412]: cannot find type `Local` in this scope
[INFO] [stdout]    --> src/analysis/top_of_borrow_stack.rs:253:47
[INFO] [stdout]     |
[INFO] [stdout] 253 | pub type TopOfBorrowStackLocations = HashSet<(Local, Location)>;
[INFO] [stdout]     |                                               ^^^^^ not found in this scope
[INFO] [stdout]     |
[INFO] [stdout] help: you might be missing a type parameter
[INFO] [stdout]     |
[INFO] [stdout] 253 | pub type TopOfBorrowStackLocations<Local> = HashSet<(Local, Location)>;
[INFO] [stdout]     |                                   +++++++
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0412]: cannot find type `Location` in this scope
[INFO] [stdout]    --> src/analysis/top_of_borrow_stack.rs:253:54
[INFO] [stdout]     |
[INFO] [stdout] 253 | pub type TopOfBorrowStackLocations = HashSet<(Local, Location)>;
[INFO] [stdout]     |                                                      ^^^^^^^^ not found in this scope
[INFO] [stdout]     |
[INFO] [stdout] help: consider importing this struct
[INFO] [stdout]     |
[INFO] [stdout] 1   + use std::panic::Location;
[INFO] [stdout]     |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0412]: cannot find type `Location` in this scope
[INFO] [stdout]    --> src/analysis/top_of_borrow_stack.rs:266:89
[INFO] [stdout]     |
[INFO] [stdout] 266 |     fn visit_location(&mut self, state: &<Self as ResultsVisitor>::FlowState, location: Location) {
[INFO] [stdout]     |                                                                                         ^^^^^^^^ not found in this scope
[INFO] [stdout]     |
[INFO] [stdout] help: consider importing this struct
[INFO] [stdout]     |
[INFO] [stdout] 1   + use std::panic::Location;
[INFO] [stdout]     |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0412]: cannot find type `Local` in this scope
[INFO] [stdout]    --> src/analysis/top_of_borrow_stack.rs:274:43
[INFO] [stdout]     |
[INFO] [stdout] 274 |     type FlowState = lattice::Dual<BitSet<Local>>;
[INFO] [stdout]     |                                           ^^^^^ not found in this scope
[INFO] [stdout]     |
[INFO] [stdout] help: you might be missing a type parameter
[INFO] [stdout]     |
[INFO] [stdout] 273 | impl<'mir, 'tcx, Local> ResultsVisitor<'mir, 'tcx> for TopOfBorrowStackVisitor {
[INFO] [stdout]     |                +++++++
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0412]: cannot find type `Location` in this scope
[INFO] [stdout]    --> src/analysis/top_of_borrow_stack.rs:280:19
[INFO] [stdout]     |
[INFO] [stdout] 280 |         location: Location,
[INFO] [stdout]     |                   ^^^^^^^^ not found in this scope
[INFO] [stdout]     |
[INFO] [stdout] help: consider importing this struct
[INFO] [stdout]     |
[INFO] [stdout] 1   + use std::panic::Location;
[INFO] [stdout]     |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0412]: cannot find type `Location` in this scope
[INFO] [stdout]    --> src/analysis/top_of_borrow_stack.rs:289:19
[INFO] [stdout]     |
[INFO] [stdout] 289 |         location: Location,
[INFO] [stdout]     |                   ^^^^^^^^ not found in this scope
[INFO] [stdout]     |
[INFO] [stdout] help: consider importing this struct
[INFO] [stdout]     |
[INFO] [stdout] 1   + use std::panic::Location;
[INFO] [stdout]     |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0412]: cannot find type `Body` in this scope
[INFO] [stdout]   --> src/analysis.rs:18:12
[INFO] [stdout]    |
[INFO] [stdout] 18 |     body: &Body<'tcx>,
[INFO] [stdout]    |            ^^^^ not found in this scope
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0412]: cannot find type `Local` in this scope
[INFO] [stdout]   --> src/analysis.rs:19:19
[INFO] [stdout]    |
[INFO] [stdout] 19 |     retagged: Vec<Local>,
[INFO] [stdout]    |                   ^^^^^ not found in this scope
[INFO] [stdout]    |
[INFO] [stdout] help: you might be missing a type parameter
[INFO] [stdout]    |
[INFO] [stdout] 16 | pub fn compute_immutability_spans<'tcx, Local>(
[INFO] [stdout]    |                                       +++++++
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0223]: ambiguous associated type
[INFO] [stdout]   --> src/analysis/immutability_span.rs:96:70
[INFO] [stdout]    |
[INFO] [stdout] 96 |     fn bottom_value(&self, _body: &rustc_middle::mir::Body<'tcx>) -> Self::Domain {
[INFO] [stdout]    |                                                                      ^^^^^^^^^^^^
[INFO] [stdout]    |
[INFO] [stdout] help: if there were a trait named `Example` with associated type `Domain` implemented for `FindImmutabilitySpans`, you could use the fully-qualified path
[INFO] [stdout]    |
[INFO] [stdout] 96 -     fn bottom_value(&self, _body: &rustc_middle::mir::Body<'tcx>) -> Self::Domain {
[INFO] [stdout] 96 +     fn bottom_value(&self, _body: &rustc_middle::mir::Body<'tcx>) -> <FindImmutabilitySpans as Example>::Domain {
[INFO] [stdout]    |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0223]: ambiguous associated type
[INFO] [stdout]    --> src/analysis/immutability_span.rs:103:22
[INFO] [stdout]     |
[INFO] [stdout] 103 |         _state: &mut Self::Domain,
[INFO] [stdout]     |                      ^^^^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout] help: if there were a trait named `Example` with associated type `Domain` implemented for `FindImmutabilitySpans`, you could use the fully-qualified path
[INFO] [stdout]     |
[INFO] [stdout] 103 -         _state: &mut Self::Domain,
[INFO] [stdout] 103 +         _state: &mut <FindImmutabilitySpans as Example>::Domain,
[INFO] [stdout]     |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0223]: ambiguous associated type
[INFO] [stdout]    --> src/analysis/immutability_span.rs:111:21
[INFO] [stdout]     |
[INFO] [stdout] 111 |         state: &mut Self::Domain,
[INFO] [stdout]     |                     ^^^^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout] help: if there were a trait named `Example` with associated type `Domain` implemented for `FindImmutabilitySpans`, you could use the fully-qualified path
[INFO] [stdout]     |
[INFO] [stdout] 111 -         state: &mut Self::Domain,
[INFO] [stdout] 111 +         state: &mut <FindImmutabilitySpans as Example>::Domain,
[INFO] [stdout]     |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0223]: ambiguous associated type
[INFO] [stdout]    --> src/analysis/immutability_span.rs:135:21
[INFO] [stdout]     |
[INFO] [stdout] 135 |         state: &mut Self::Domain,
[INFO] [stdout]     |                     ^^^^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout] help: if there were a trait named `Example` with associated type `Domain` implemented for `FindImmutabilitySpans`, you could use the fully-qualified path
[INFO] [stdout]     |
[INFO] [stdout] 135 -         state: &mut Self::Domain,
[INFO] [stdout] 135 +         state: &mut <FindImmutabilitySpans as Example>::Domain,
[INFO] [stdout]     |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0223]: ambiguous associated type
[INFO] [stdout]    --> src/analysis/immutability_span.rs:144:22
[INFO] [stdout]     |
[INFO] [stdout] 144 |         _state: &mut Self::Domain,
[INFO] [stdout]     |                      ^^^^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout] help: if there were a trait named `Example` with associated type `Domain` implemented for `FindImmutabilitySpans`, you could use the fully-qualified path
[INFO] [stdout]     |
[INFO] [stdout] 144 -         _state: &mut Self::Domain,
[INFO] [stdout] 144 +         _state: &mut <FindImmutabilitySpans as Example>::Domain,
[INFO] [stdout]     |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0223]: ambiguous associated type
[INFO] [stdout]    --> src/analysis/immutability_span.rs:200:17
[INFO] [stdout]     |
[INFO] [stdout] 200 |         state: &Self::FlowState,
[INFO] [stdout]     |                 ^^^^^^^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout] help: if there were a trait named `Example` with associated type `FlowState` implemented for `ImmutabilitySpanVisitor`, you could use the fully-qualified path
[INFO] [stdout]     |
[INFO] [stdout] 200 -         state: &Self::FlowState,
[INFO] [stdout] 200 +         state: &<ImmutabilitySpanVisitor as Example>::FlowState,
[INFO] [stdout]     |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0223]: ambiguous associated type
[INFO] [stdout]    --> src/analysis/immutability_span.rs:214:17
[INFO] [stdout]     |
[INFO] [stdout] 214 |         state: &Self::FlowState,
[INFO] [stdout]     |                 ^^^^^^^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout] help: if there were a trait named `Example` with associated type `FlowState` implemented for `ImmutabilitySpanVisitor`, you could use the fully-qualified path
[INFO] [stdout]     |
[INFO] [stdout] 214 -         state: &Self::FlowState,
[INFO] [stdout] 214 +         state: &<ImmutabilitySpanVisitor as Example>::FlowState,
[INFO] [stdout]     |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0223]: ambiguous associated type
[INFO] [stdout]    --> src/analysis/immutability_span.rs:228:18
[INFO] [stdout]     |
[INFO] [stdout] 228 |         _state: &Self::FlowState,
[INFO] [stdout]     |                  ^^^^^^^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout] help: if there were a trait named `Example` with associated type `FlowState` implemented for `ImmutabilitySpanVisitor`, you could use the fully-qualified path
[INFO] [stdout]     |
[INFO] [stdout] 228 -         _state: &Self::FlowState,
[INFO] [stdout] 228 +         _state: &<ImmutabilitySpanVisitor as Example>::FlowState,
[INFO] [stdout]     |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0223]: ambiguous associated type
[INFO] [stdout]    --> src/analysis/immutability_span.rs:239:18
[INFO] [stdout]     |
[INFO] [stdout] 239 |         _state: &Self::FlowState,
[INFO] [stdout]     |                  ^^^^^^^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout] help: if there were a trait named `Example` with associated type `FlowState` implemented for `ImmutabilitySpanVisitor`, you could use the fully-qualified path
[INFO] [stdout]     |
[INFO] [stdout] 239 -         _state: &Self::FlowState,
[INFO] [stdout] 239 +         _state: &<ImmutabilitySpanVisitor as Example>::FlowState,
[INFO] [stdout]     |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0223]: ambiguous associated type
[INFO] [stdout]   --> src/analysis/top_of_borrow_stack.rs:65:50
[INFO] [stdout]    |
[INFO] [stdout] 65 |     fn bottom_value(&self, body: &Body<'tcx>) -> Self::Domain {
[INFO] [stdout]    |                                                  ^^^^^^^^^^^^
[INFO] [stdout]    |
[INFO] [stdout] help: if there were a trait named `Example` with associated type `Domain` implemented for `TopOfBorrowStack`, you could use the fully-qualified path
[INFO] [stdout]    |
[INFO] [stdout] 65 -     fn bottom_value(&self, body: &Body<'tcx>) -> Self::Domain {
[INFO] [stdout] 65 +     fn bottom_value(&self, body: &Body<'tcx>) -> <TopOfBorrowStack as Example>::Domain {
[INFO] [stdout]    |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0223]: ambiguous associated type
[INFO] [stdout]   --> src/analysis/top_of_borrow_stack.rs:73:72
[INFO] [stdout]    |
[INFO] [stdout] 73 |     fn initialize_start_block(&self, _body: &Body<'tcx>, _domain: &mut Self::Domain) {}
[INFO] [stdout]    |                                                                        ^^^^^^^^^^^^
[INFO] [stdout]    |
[INFO] [stdout] help: if there were a trait named `Example` with associated type `Domain` implemented for `TopOfBorrowStack`, you could use the fully-qualified path
[INFO] [stdout]    |
[INFO] [stdout] 73 -     fn initialize_start_block(&self, _body: &Body<'tcx>, _domain: &mut Self::Domain) {}
[INFO] [stdout] 73 +     fn initialize_start_block(&self, _body: &Body<'tcx>, _domain: &mut <TopOfBorrowStack as Example>::Domain) {}
[INFO] [stdout]    |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0223]: ambiguous associated type
[INFO] [stdout]    --> src/analysis/top_of_borrow_stack.rs:278:17
[INFO] [stdout]     |
[INFO] [stdout] 278 |         state: &Self::FlowState,
[INFO] [stdout]     |                 ^^^^^^^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout] help: if there were a trait named `Example` with associated type `FlowState` implemented for `TopOfBorrowStackVisitor`, you could use the fully-qualified path
[INFO] [stdout]     |
[INFO] [stdout] 278 -         state: &Self::FlowState,
[INFO] [stdout] 278 +         state: &<TopOfBorrowStackVisitor as Example>::FlowState,
[INFO] [stdout]     |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0223]: ambiguous associated type
[INFO] [stdout]    --> src/analysis/top_of_borrow_stack.rs:287:17
[INFO] [stdout]     |
[INFO] [stdout] 287 |         state: &Self::FlowState,
[INFO] [stdout]     |                 ^^^^^^^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout] help: if there were a trait named `Example` with associated type `FlowState` implemented for `TopOfBorrowStackVisitor`, you could use the fully-qualified path
[INFO] [stdout]     |
[INFO] [stdout] 287 -         state: &Self::FlowState,
[INFO] [stdout] 287 +         state: &<TopOfBorrowStackVisitor as Example>::FlowState,
[INFO] [stdout]     |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `StatementKind`
[INFO] [stdout]   --> src/alias.rs:49:16
[INFO] [stdout]    |
[INFO] [stdout] 49 |         if let StatementKind::Retag(RetagKind::FnEntry, place) = &stmt.kind {
[INFO] [stdout]    |                ^^^^^^^^^^^^^ use of undeclared type `StatementKind`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `RetagKind`
[INFO] [stdout]   --> src/alias.rs:49:37
[INFO] [stdout]    |
[INFO] [stdout] 49 |         if let StatementKind::Retag(RetagKind::FnEntry, place) = &stmt.kind {
[INFO] [stdout]    |                                     ^^^^^^^^^ use of undeclared type `RetagKind`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `StatementKind`
[INFO] [stdout]    --> src/analysis/immutability_span.rs:117:13
[INFO] [stdout]     |
[INFO] [stdout] 117 |         let StatementKind::Assign(ref assignment) = statement.kind else {
[INFO] [stdout]     |             ^^^^^^^^^^^^^ use of undeclared type `StatementKind`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `ProjectionElem`
[INFO] [stdout]    --> src/analysis/immutability_span.rs:122:14
[INFO] [stdout]     |
[INFO] [stdout] 122 |         let [ProjectionElem::Deref] = assignment.0.projection.as_slice() else {
[INFO] [stdout]     |              ^^^^^^^^^^^^^^ use of undeclared type `ProjectionElem`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `StatementKind`
[INFO] [stdout]    --> src/analysis/top_of_borrow_stack.rs:122:13
[INFO] [stdout]     |
[INFO] [stdout] 122 |             StatementKind::StorageDead(local) => {
[INFO] [stdout]     |             ^^^^^^^^^^^^^ use of undeclared type `StatementKind`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `StatementKind`
[INFO] [stdout]    --> src/analysis/top_of_borrow_stack.rs:128:13
[INFO] [stdout]     |
[INFO] [stdout] 128 |             StatementKind::StorageLive(local) => {
[INFO] [stdout]     |             ^^^^^^^^^^^^^ use of undeclared type `StatementKind`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `StatementKind`
[INFO] [stdout]    --> src/analysis/top_of_borrow_stack.rs:140:13
[INFO] [stdout]     |
[INFO] [stdout] 140 |             StatementKind::Deinit(ref _place) => {}
[INFO] [stdout]     |             ^^^^^^^^^^^^^ use of undeclared type `StatementKind`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `StatementKind`
[INFO] [stdout]    --> src/analysis/top_of_borrow_stack.rs:142:13
[INFO] [stdout]     |
[INFO] [stdout] 142 |             StatementKind::Intrinsic(_) => self.trans.kill_all(self.retagged.clone()),
[INFO] [stdout]     |             ^^^^^^^^^^^^^ use of undeclared type `StatementKind`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `StatementKind`
[INFO] [stdout]    --> src/analysis/top_of_borrow_stack.rs:145:13
[INFO] [stdout]     |
[INFO] [stdout] 145 |             StatementKind::Assign(ref assignment) => {
[INFO] [stdout]     |             ^^^^^^^^^^^^^ use of undeclared type `StatementKind`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `ProjectionElem`
[INFO] [stdout]    --> src/analysis/top_of_borrow_stack.rs:149:25
[INFO] [stdout]     |
[INFO] [stdout] 149 |                 if let [ProjectionElem::Deref] = place.projection.as_slice()
[INFO] [stdout]     |                         ^^^^^^^^^^^^^^ use of undeclared type `ProjectionElem`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `StatementKind`
[INFO] [stdout]    --> src/analysis/top_of_borrow_stack.rs:160:13
[INFO] [stdout]     |
[INFO] [stdout] 160 |             StatementKind::FakeRead(_)
[INFO] [stdout]     |             ^^^^^^^^^^^^^ use of undeclared type `StatementKind`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `StatementKind`
[INFO] [stdout]    --> src/analysis/top_of_borrow_stack.rs:161:15
[INFO] [stdout]     |
[INFO] [stdout] 161 |             | StatementKind::SetDiscriminant {
[INFO] [stdout]     |               ^^^^^^^^^^^^^ use of undeclared type `StatementKind`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `StatementKind`
[INFO] [stdout]    --> src/analysis/top_of_borrow_stack.rs:165:15
[INFO] [stdout]     |
[INFO] [stdout] 165 |             | StatementKind::Retag(_, _)
[INFO] [stdout]     |               ^^^^^^^^^^^^^ use of undeclared type `StatementKind`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `StatementKind`
[INFO] [stdout]    --> src/analysis/top_of_borrow_stack.rs:166:15
[INFO] [stdout]     |
[INFO] [stdout] 166 |             | StatementKind::AscribeUserType(_, _)
[INFO] [stdout]     |               ^^^^^^^^^^^^^ use of undeclared type `StatementKind`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `StatementKind`
[INFO] [stdout]    --> src/analysis/top_of_borrow_stack.rs:167:15
[INFO] [stdout]     |
[INFO] [stdout] 167 |             | StatementKind::Coverage(_)
[INFO] [stdout]     |               ^^^^^^^^^^^^^ use of undeclared type `StatementKind`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `StatementKind`
[INFO] [stdout]    --> src/analysis/top_of_borrow_stack.rs:168:15
[INFO] [stdout]     |
[INFO] [stdout] 168 |             | StatementKind::Nop => {}
[INFO] [stdout]     |               ^^^^^^^^^^^^^ use of undeclared type `StatementKind`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `Rvalue`
[INFO] [stdout]    --> src/analysis/top_of_borrow_stack.rs:176:13
[INFO] [stdout]     |
[INFO] [stdout] 176 |             Rvalue::AddressOf(_mt, borrowed_place) => {
[INFO] [stdout]     |             ^^^^^^ use of undeclared type `Rvalue`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `Rvalue`
[INFO] [stdout]    --> src/analysis/top_of_borrow_stack.rs:180:13
[INFO] [stdout]     |
[INFO] [stdout] 180 |             Rvalue::Ref(_, BorrowKind::Shared | BorrowKind::Unique, _) => {} // Allow immutable borrows.
[INFO] [stdout]     |             ^^^^^^ use of undeclared type `Rvalue`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `BorrowKind`
[INFO] [stdout]    --> src/analysis/top_of_borrow_stack.rs:180:28
[INFO] [stdout]     |
[INFO] [stdout] 180 |             Rvalue::Ref(_, BorrowKind::Shared | BorrowKind::Unique, _) => {} // Allow immutable borrows.
[INFO] [stdout]     |                            ^^^^^^^^^^ use of undeclared type `BorrowKind`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `BorrowKind`
[INFO] [stdout]    --> src/analysis/top_of_borrow_stack.rs:180:49
[INFO] [stdout]     |
[INFO] [stdout] 180 |             Rvalue::Ref(_, BorrowKind::Shared | BorrowKind::Unique, _) => {} // Allow immutable borrows.
[INFO] [stdout]     |                                                 ^^^^^^^^^^ use of undeclared type `BorrowKind`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `Rvalue`
[INFO] [stdout]    --> src/analysis/top_of_borrow_stack.rs:181:13
[INFO] [stdout]     |
[INFO] [stdout] 181 |             Rvalue::Ref(_, _kind, borrowed_place) => {
[INFO] [stdout]     |             ^^^^^^ use of undeclared type `Rvalue`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `Rvalue`
[INFO] [stdout]    --> src/analysis/top_of_borrow_stack.rs:185:13
[INFO] [stdout]     |
[INFO] [stdout] 185 |             Rvalue::Cast(_, Operand::Copy(place) | Operand::Move(place), _)
[INFO] [stdout]     |             ^^^^^^ use of undeclared type `Rvalue`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `Operand`
[INFO] [stdout]    --> src/analysis/top_of_borrow_stack.rs:185:29
[INFO] [stdout]     |
[INFO] [stdout] 185 |             Rvalue::Cast(_, Operand::Copy(place) | Operand::Move(place), _)
[INFO] [stdout]     |                             ^^^^^^^ use of undeclared type `Operand`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `Operand`
[INFO] [stdout]    --> src/analysis/top_of_borrow_stack.rs:185:52
[INFO] [stdout]     |
[INFO] [stdout] 185 |             Rvalue::Cast(_, Operand::Copy(place) | Operand::Move(place), _)
[INFO] [stdout]     |                                                    ^^^^^^^ use of undeclared type `Operand`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `Rvalue`
[INFO] [stdout]    --> src/analysis/top_of_borrow_stack.rs:186:15
[INFO] [stdout]     |
[INFO] [stdout] 186 |             | Rvalue::ShallowInitBox(Operand::Copy(place) | Operand::Move(place), _) => { // performs transmute --> we have to handle this
[INFO] [stdout]     |               ^^^^^^ use of undeclared type `Rvalue`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `Operand`
[INFO] [stdout]    --> src/analysis/top_of_borrow_stack.rs:186:38
[INFO] [stdout]     |
[INFO] [stdout] 186 |             | Rvalue::ShallowInitBox(Operand::Copy(place) | Operand::Move(place), _) => { // performs transmute --> we have to handle this
[INFO] [stdout]     |                                      ^^^^^^^ use of undeclared type `Operand`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `Operand`
[INFO] [stdout]    --> src/analysis/top_of_borrow_stack.rs:186:61
[INFO] [stdout]     |
[INFO] [stdout] 186 |             | Rvalue::ShallowInitBox(Operand::Copy(place) | Operand::Move(place), _) => { // performs transmute --> we have to handle this
[INFO] [stdout]     |                                                             ^^^^^^^ use of undeclared type `Operand`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `Rvalue`
[INFO] [stdout]    --> src/analysis/top_of_borrow_stack.rs:190:13
[INFO] [stdout]     |
[INFO] [stdout] 190 |             Rvalue::Cast(..)              // x as y
[INFO] [stdout]     |             ^^^^^^ use of undeclared type `Rvalue`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `Rvalue`
[INFO] [stdout]    --> src/analysis/top_of_borrow_stack.rs:191:15
[INFO] [stdout]     |
[INFO] [stdout] 191 |             | Rvalue::ShallowInitBox(..)
[INFO] [stdout]     |               ^^^^^^ use of undeclared type `Rvalue`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `Rvalue`
[INFO] [stdout]    --> src/analysis/top_of_borrow_stack.rs:192:15
[INFO] [stdout]     |
[INFO] [stdout] 192 |             | Rvalue::Use(..)
[INFO] [stdout]     |               ^^^^^^ use of undeclared type `Rvalue`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `Rvalue`
[INFO] [stdout]    --> src/analysis/top_of_borrow_stack.rs:193:15
[INFO] [stdout]     |
[INFO] [stdout] 193 |             | Rvalue::ThreadLocalRef(..)
[INFO] [stdout]     |               ^^^^^^ use of undeclared type `Rvalue`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `Rvalue`
[INFO] [stdout]    --> src/analysis/top_of_borrow_stack.rs:194:15
[INFO] [stdout]     |
[INFO] [stdout] 194 |             | Rvalue::Repeat(..)          // array initialiser: [value; repetitions]
[INFO] [stdout]     |               ^^^^^^ use of undeclared type `Rvalue`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `Rvalue`
[INFO] [stdout]    --> src/analysis/top_of_borrow_stack.rs:195:15
[INFO] [stdout]     |
[INFO] [stdout] 195 |             | Rvalue::Len(..)             // length of array or slice
[INFO] [stdout]     |               ^^^^^^ use of undeclared type `Rvalue`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `Rvalue`
[INFO] [stdout]    --> src/analysis/top_of_borrow_stack.rs:196:15
[INFO] [stdout]     |
[INFO] [stdout] 196 |             | Rvalue::BinaryOp(..)        // e.g. +, -, ...
[INFO] [stdout]     |               ^^^^^^ use of undeclared type `Rvalue`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `Rvalue`
[INFO] [stdout]    --> src/analysis/top_of_borrow_stack.rs:197:15
[INFO] [stdout]     |
[INFO] [stdout] 197 |             | Rvalue::CheckedBinaryOp(..) // e.g. +, -, ...
[INFO] [stdout]     |               ^^^^^^ use of undeclared type `Rvalue`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `Rvalue`
[INFO] [stdout]    --> src/analysis/top_of_borrow_stack.rs:198:15
[INFO] [stdout]     |
[INFO] [stdout] 198 |             | Rvalue::NullaryOp(..)       // sizeof | alignof
[INFO] [stdout]     |               ^^^^^^ use of undeclared type `Rvalue`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `Rvalue`
[INFO] [stdout]    --> src/analysis/top_of_borrow_stack.rs:199:15
[INFO] [stdout]     |
[INFO] [stdout] 199 |             | Rvalue::UnaryOp(..)         // not | neg
[INFO] [stdout]     |               ^^^^^^ use of undeclared type `Rvalue`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `Rvalue`
[INFO] [stdout]    --> src/analysis/top_of_borrow_stack.rs:200:15
[INFO] [stdout]     |
[INFO] [stdout] 200 |             | Rvalue::Discriminant(..)    // e.g. read tag of variant
[INFO] [stdout]     |               ^^^^^^ use of undeclared type `Rvalue`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `Rvalue`
[INFO] [stdout]    --> src/analysis/top_of_borrow_stack.rs:201:15
[INFO] [stdout]     |
[INFO] [stdout] 201 |             | Rvalue::Aggregate(..)
[INFO] [stdout]     |               ^^^^^^ use of undeclared type `Rvalue`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `Rvalue`
[INFO] [stdout]    --> src/analysis/top_of_borrow_stack.rs:202:15
[INFO] [stdout]     |
[INFO] [stdout] 202 |             | Rvalue::CopyForDeref(..) => {}
[INFO] [stdout]     |               ^^^^^^ use of undeclared type `Rvalue`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `TerminatorKind`
[INFO] [stdout]    --> src/analysis/top_of_borrow_stack.rs:210:13
[INFO] [stdout]     |
[INFO] [stdout] 210 |             TerminatorKind::Drop {
[INFO] [stdout]     |             ^^^^^^^^^^^^^^ use of undeclared type `TerminatorKind`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `TerminatorKind`
[INFO] [stdout]    --> src/analysis/top_of_borrow_stack.rs:214:15
[INFO] [stdout]     |
[INFO] [stdout] 214 |             | TerminatorKind::DropAndReplace {
[INFO] [stdout]     |               ^^^^^^^^^^^^^^ use of undeclared type `TerminatorKind`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `TerminatorKind`
[INFO] [stdout]    --> src/analysis/top_of_borrow_stack.rs:229:13
[INFO] [stdout]     |
[INFO] [stdout] 229 |             TerminatorKind::InlineAsm { .. }
[INFO] [stdout]     |             ^^^^^^^^^^^^^^ use of undeclared type `TerminatorKind`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `TerminatorKind`
[INFO] [stdout]    --> src/analysis/top_of_borrow_stack.rs:230:15
[INFO] [stdout]     |
[INFO] [stdout] 230 |             | TerminatorKind::Abort
[INFO] [stdout]     |               ^^^^^^^^^^^^^^ use of undeclared type `TerminatorKind`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `TerminatorKind`
[INFO] [stdout]    --> src/analysis/top_of_borrow_stack.rs:231:15
[INFO] [stdout]     |
[INFO] [stdout] 231 |             | TerminatorKind::Resume
[INFO] [stdout]     |               ^^^^^^^^^^^^^^ use of undeclared type `TerminatorKind`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `TerminatorKind`
[INFO] [stdout]    --> src/analysis/top_of_borrow_stack.rs:232:15
[INFO] [stdout]     |
[INFO] [stdout] 232 |             | TerminatorKind::Return
[INFO] [stdout]     |               ^^^^^^^^^^^^^^ use of undeclared type `TerminatorKind`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `TerminatorKind`
[INFO] [stdout]    --> src/analysis/top_of_borrow_stack.rs:233:15
[INFO] [stdout]     |
[INFO] [stdout] 233 |             | TerminatorKind::GeneratorDrop
[INFO] [stdout]     |               ^^^^^^^^^^^^^^ use of undeclared type `TerminatorKind`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `TerminatorKind`
[INFO] [stdout]    --> src/analysis/top_of_borrow_stack.rs:234:15
[INFO] [stdout]     |
[INFO] [stdout] 234 |             | TerminatorKind::Yield { .. } => {
[INFO] [stdout]     |               ^^^^^^^^^^^^^^ use of undeclared type `TerminatorKind`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `TerminatorKind`
[INFO] [stdout]    --> src/analysis/top_of_borrow_stack.rs:239:13
[INFO] [stdout]     |
[INFO] [stdout] 239 |             TerminatorKind::Call { destination, .. } => {
[INFO] [stdout]     |             ^^^^^^^^^^^^^^ use of undeclared type `TerminatorKind`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `TerminatorKind`
[INFO] [stdout]    --> src/analysis/top_of_borrow_stack.rs:243:13
[INFO] [stdout]     |
[INFO] [stdout] 243 |             TerminatorKind::Assert { .. }
[INFO] [stdout]     |             ^^^^^^^^^^^^^^ use of undeclared type `TerminatorKind`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `TerminatorKind`
[INFO] [stdout]    --> src/analysis/top_of_borrow_stack.rs:244:15
[INFO] [stdout]     |
[INFO] [stdout] 244 |             | TerminatorKind::FalseEdge { .. }
[INFO] [stdout]     |               ^^^^^^^^^^^^^^ use of undeclared type `TerminatorKind`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `TerminatorKind`
[INFO] [stdout]    --> src/analysis/top_of_borrow_stack.rs:245:15
[INFO] [stdout]     |
[INFO] [stdout] 245 |             | TerminatorKind::FalseUnwind { .. }
[INFO] [stdout]     |               ^^^^^^^^^^^^^^ use of undeclared type `TerminatorKind`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `TerminatorKind`
[INFO] [stdout]    --> src/analysis/top_of_borrow_stack.rs:246:15
[INFO] [stdout]     |
[INFO] [stdout] 246 |             | TerminatorKind::Goto { .. }
[INFO] [stdout]     |               ^^^^^^^^^^^^^^ use of undeclared type `TerminatorKind`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `TerminatorKind`
[INFO] [stdout]    --> src/analysis/top_of_borrow_stack.rs:247:15
[INFO] [stdout]     |
[INFO] [stdout] 247 |             | TerminatorKind::SwitchInt { .. }
[INFO] [stdout]     |               ^^^^^^^^^^^^^^ use of undeclared type `TerminatorKind`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `TerminatorKind`
[INFO] [stdout]    --> src/analysis/top_of_borrow_stack.rs:248:15
[INFO] [stdout]     |
[INFO] [stdout] 248 |             | TerminatorKind::Unreachable => {}
[INFO] [stdout]     |               ^^^^^^^^^^^^^^ use of undeclared type `TerminatorKind`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `Mutability`
[INFO] [stdout]   --> src/analysis.rs:28:32
[INFO] [stdout]    |
[INFO] [stdout] 28 |             TyKind::Ref(_, ty, Mutability::Mut) => {
[INFO] [stdout]    |                                ^^^^^^^^^^ use of undeclared type `Mutability`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] Some errors have detailed explanations: E0223, E0405, E0412, E0432, E0433, E0463.
[INFO] [stdout] 
[INFO] [stdout] For more information about an error, try `rustc --explain E0223`.
[INFO] [stdout] 
[INFO] [stderr] error: could not compile `rustc_alias` (bin "rustc_alias") due to 133 previous errors
[INFO] [stderr] warning: build failed, waiting for other jobs to finish...
[INFO] [stderr] rustc-LLVM ERROR: IO failure on output stream: No space left on device
[INFO] [stderr] error: could not compile `serde_derive` (lib)
[INFO] [stderr] 
[INFO] [stderr] Caused by:
[INFO] [stderr]   No space left on device (os error 28)
[INFO] [stderr] 
[INFO] [stderr] Caused by:
[INFO] [stderr]   failed to parse process output: `/opt/rustwide/rustup-home/toolchains/e3e432d4d65a55e6db167598e96db2bcb163e316/bin/rustc --crate-name serde_derive --edition=2015 /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/serde_derive-1.0.136/src/lib.rs --error-format=json --json=diagnostic-rendered-ansi,artifacts,future-incompat --crate-type proc-macro --emit=dep-info,link -C prefer-dynamic -C embed-bitcode=no --cfg 'feature="default"' --check-cfg 'cfg(docsrs,test)' --check-cfg 'cfg(feature, values("default", "deserialize_in_place"))' -C metadata=89b91689fc5b16bc -C extra-filename=-27451dfa19e9cbc5 --out-dir /opt/rustwide/target/debug/deps -L dependency=/opt/rustwide/target/debug/deps --extern proc_macro2=/opt/rustwide/target/debug/deps/libproc_macro2-3690865f0856398e.rlib --extern quote=/opt/rustwide/target/debug/deps/libquote-4288fa5eae36a561.rlib --extern syn=/opt/rustwide/target/debug/deps/libsyn-7c690c93a9fa38a1.rlib --extern proc_macro --cap-lints allow --cap-lints=forbid --cfg underscore_consts --cfg ptr_addr_of` (exit status: 101)
[INFO] running `Command { std: "docker" "inspect" "eca675d2d79eecf81fdff0fbce01aaa5d5dc1d4246d7e9e5ef1397de2485f76a", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "eca675d2d79eecf81fdff0fbce01aaa5d5dc1d4246d7e9e5ef1397de2485f76a", kill_on_drop: false }`
[INFO] [stdout] eca675d2d79eecf81fdff0fbce01aaa5d5dc1d4246d7e9e5ef1397de2485f76a