[INFO] fetching crate chalk-solve 0.70.0...
[INFO] testing chalk-solve-0.70.0 against beta-2021-08-01 for beta-1.55-1
[INFO] extracting crate chalk-solve 0.70.0 into /workspace/builds/worker-1/source
[INFO] validating manifest of crates.io crate chalk-solve 0.70.0 on toolchain beta-2021-08-01
[INFO] running `Command { std: "/workspace/cargo-home/bin/cargo" "+beta-2021-08-01" "metadata" "--manifest-path" "Cargo.toml" "--no-deps", kill_on_drop: false }`
[INFO] started tweaking crates.io crate chalk-solve 0.70.0
[INFO] finished tweaking crates.io crate chalk-solve 0.70.0
[INFO] tweaked toml for crates.io crate chalk-solve 0.70.0 written to /workspace/builds/worker-1/source/Cargo.toml
[INFO] running `Command { std: "/workspace/cargo-home/bin/cargo" "+beta-2021-08-01" "generate-lockfile" "--manifest-path" "Cargo.toml" "-Zno-index-update", kill_on_drop: false }`
[INFO] running `Command { std: "/workspace/cargo-home/bin/cargo" "+beta-2021-08-01" "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] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-1/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-1/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:34b6a614d2c27851fe6cbf88fbd1137609cefab8b10d0615aaeb6fd47975d74e" "/opt/rustwide/cargo-home/bin/cargo" "+beta-2021-08-01" "metadata" "--no-deps" "--format-version=1", kill_on_drop: false }`
[INFO] [stdout] a5ce2d35aed6276e85f223cf0ac17f3c6242494593dc38365eeaf35a9abcef96
[INFO] [stderr] WARNING: Your kernel does not support swap limit capabilities or the cgroup is not mounted. Memory limited without swap.
[INFO] running `Command { std: "docker" "start" "-a" "a5ce2d35aed6276e85f223cf0ac17f3c6242494593dc38365eeaf35a9abcef96", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "inspect" "a5ce2d35aed6276e85f223cf0ac17f3c6242494593dc38365eeaf35a9abcef96", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "a5ce2d35aed6276e85f223cf0ac17f3c6242494593dc38365eeaf35a9abcef96", kill_on_drop: false }`
[INFO] [stdout] a5ce2d35aed6276e85f223cf0ac17f3c6242494593dc38365eeaf35a9abcef96
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-1/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-1/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=warn" "-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:34b6a614d2c27851fe6cbf88fbd1137609cefab8b10d0615aaeb6fd47975d74e" "/opt/rustwide/cargo-home/bin/cargo" "+beta-2021-08-01" "build" "--frozen" "--message-format=json", kill_on_drop: false }`
[INFO] [stdout] 61cd43e58741c45784581c770f01b7acf47a1f358caa81090f1e3d9335bc1008
[INFO] [stderr] WARNING: Your kernel does not support swap limit capabilities or the cgroup is not mounted. Memory limited without swap.
[INFO] running `Command { std: "docker" "start" "-a" "61cd43e58741c45784581c770f01b7acf47a1f358caa81090f1e3d9335bc1008", kill_on_drop: false }`
[INFO] [stderr]    Compiling regex v1.5.4
[INFO] [stderr]    Compiling tracing-serde v0.1.2
[INFO] [stderr]    Compiling tracing-log v0.1.2
[INFO] [stderr]    Compiling ena v0.14.0
[INFO] [stderr]    Compiling petgraph v0.5.1
[INFO] [stderr]    Compiling chrono v0.4.19
[INFO] [stderr]    Compiling chalk-derive v0.70.0
[INFO] [stderr]    Compiling tracing-subscriber v0.2.19
[INFO] [stderr]    Compiling chalk-ir v0.70.0
[INFO] [stderr]    Compiling tracing-tree v0.1.9
[INFO] [stderr]    Compiling chalk-solve v0.70.0 (/opt/rustwide/workdir)
[INFO] [stderr]     Finished dev [unoptimized + debuginfo] target(s) in 20.31s
[INFO] running `Command { std: "docker" "inspect" "61cd43e58741c45784581c770f01b7acf47a1f358caa81090f1e3d9335bc1008", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "61cd43e58741c45784581c770f01b7acf47a1f358caa81090f1e3d9335bc1008", kill_on_drop: false }`
[INFO] [stdout] 61cd43e58741c45784581c770f01b7acf47a1f358caa81090f1e3d9335bc1008
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-1/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-1/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=warn" "-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:34b6a614d2c27851fe6cbf88fbd1137609cefab8b10d0615aaeb6fd47975d74e" "/opt/rustwide/cargo-home/bin/cargo" "+beta-2021-08-01" "test" "--frozen" "--no-run" "--message-format=json", kill_on_drop: false }`
[INFO] [stdout] fcadf83a497d4d6ec5c1650a3d1b41da1c5a846dc8246b47a56b0da6af54bf76
[INFO] [stderr] WARNING: Your kernel does not support swap limit capabilities or the cgroup is not mounted. Memory limited without swap.
[INFO] running `Command { std: "docker" "start" "-a" "fcadf83a497d4d6ec5c1650a3d1b41da1c5a846dc8246b47a56b0da6af54bf76", kill_on_drop: false }`
[INFO] [stderr]    Compiling chalk-solve v0.70.0 (/opt/rustwide/workdir)
[INFO] [stdout] error[E0433]: failed to resolve: use of undeclared crate or module `chalk_integration`
[INFO] [stdout]  --> src/infer/test.rs:5:5
[INFO] [stdout]   |
[INFO] [stdout] 5 | use chalk_integration::interner::ChalkIr;
[INFO] [stdout]   |     ^^^^^^^^^^^^^^^^^ use of undeclared crate or module `chalk_integration`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0432]: unresolved import `chalk_integration`
[INFO] [stdout]  --> src/infer/test.rs:6:5
[INFO] [stdout]   |
[INFO] [stdout] 6 | use chalk_integration::{arg, lifetime, ty};
[INFO] [stdout]   |     ^^^^^^^^^^^^^^^^^ use of undeclared crate or module `chalk_integration`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0433]: failed to resolve: use of undeclared crate or module `chalk_integration`
[INFO] [stdout]   --> src/solve/truncate.rs:93:13
[INFO] [stdout]    |
[INFO] [stdout] 93 |         use chalk_integration::interner::ChalkIr;
[INFO] [stdout]    |             ^^^^^^^^^^^^^^^^^ use of undeclared crate or module `chalk_integration`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0433]: failed to resolve: use of undeclared crate or module `chalk_integration`
[INFO] [stdout]    --> src/solve/truncate.rs:112:13
[INFO] [stdout]     |
[INFO] [stdout] 112 |         use chalk_integration::interner::ChalkIr;
[INFO] [stdout]     |             ^^^^^^^^^^^^^^^^^ use of undeclared crate or module `chalk_integration`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0432]: unresolved import `chalk_integration`
[INFO] [stdout]   --> src/solve/truncate.rs:89:9
[INFO] [stdout]    |
[INFO] [stdout] 89 |     use chalk_integration::{arg, ty};
[INFO] [stdout]    |         ^^^^^^^^^^^^^^^^^ use of undeclared crate or module `chalk_integration`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: cannot determine resolution for the macro `ty`
[INFO] [stdout]   --> src/infer/test.rs:36:14
[INFO] [stdout]    |
[INFO] [stdout] 36 |             &ty!(placeholder 1),
[INFO] [stdout]    |              ^^
[INFO] [stdout]    |
[INFO] [stdout]    = note: import resolution is stuck, try simplifying macro imports
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: cannot determine resolution for the macro `ty`
[INFO] [stdout]   --> src/infer/test.rs:55:14
[INFO] [stdout]    |
[INFO] [stdout] 55 |             &ty!(apply (item 0) (expr a)),
[INFO] [stdout]    |              ^^
[INFO] [stdout]    |
[INFO] [stdout]    = note: import resolution is stuck, try simplifying macro imports
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: cannot determine resolution for the macro `ty`
[INFO] [stdout]   --> src/infer/test.rs:67:14
[INFO] [stdout]    |
[INFO] [stdout] 67 |             &ty!(function 1 (infer 0)),
[INFO] [stdout]    |              ^^
[INFO] [stdout]    |
[INFO] [stdout]    = note: import resolution is stuck, try simplifying macro imports
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: cannot determine resolution for the macro `ty`
[INFO] [stdout]   --> src/infer/test.rs:87:14
[INFO] [stdout]    |
[INFO] [stdout] 87 |             &ty!(apply (item 0) (expr b)),
[INFO] [stdout]    |              ^^
[INFO] [stdout]    |
[INFO] [stdout]    = note: import resolution is stuck, try simplifying macro imports
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: cannot determine resolution for the macro `ty`
[INFO] [stdout]    --> src/infer/test.rs:117:14
[INFO] [stdout]     |
[INFO] [stdout] 117 |             &ty!(placeholder 1),
[INFO] [stdout]     |              ^^
[INFO] [stdout]     |
[INFO] [stdout]     = note: import resolution is stuck, try simplifying macro imports
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: cannot determine resolution for the macro `ty`
[INFO] [stdout]    --> src/infer/test.rs:157:14
[INFO] [stdout]     |
[INFO] [stdout] 157 |             &ty!(placeholder 1),
[INFO] [stdout]     |              ^^
[INFO] [stdout]     |
[INFO] [stdout]     = note: import resolution is stuck, try simplifying macro imports
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: cannot determine resolution for the macro `ty`
[INFO] [stdout]    --> src/infer/test.rs:177:14
[INFO] [stdout]     |
[INFO] [stdout] 177 |             &ty!(apply (item 0) (expr b)),
[INFO] [stdout]     |              ^^
[INFO] [stdout]     |
[INFO] [stdout]     = note: import resolution is stuck, try simplifying macro imports
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: cannot determine resolution for the macro `ty`
[INFO] [stdout]    --> src/infer/test.rs:187:14
[INFO] [stdout]     |
[INFO] [stdout] 187 |             &ty!(apply (item 0) (apply (item 1))),
[INFO] [stdout]     |              ^^
[INFO] [stdout]     |
[INFO] [stdout]     = note: import resolution is stuck, try simplifying macro imports
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: cannot determine resolution for the macro `ty`
[INFO] [stdout]    --> src/infer/test.rs:207:14
[INFO] [stdout]     |
[INFO] [stdout] 207 |             &ty!(apply (item 0) (expr b)),
[INFO] [stdout]     |              ^^
[INFO] [stdout]     |
[INFO] [stdout]     = note: import resolution is stuck, try simplifying macro imports
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: cannot determine resolution for the macro `ty`
[INFO] [stdout]    --> src/infer/test.rs:217:14
[INFO] [stdout]     |
[INFO] [stdout] 217 |             &ty!(placeholder 1),
[INFO] [stdout]     |              ^^
[INFO] [stdout]     |
[INFO] [stdout]     = note: import resolution is stuck, try simplifying macro imports
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: cannot determine resolution for the macro `ty`
[INFO] [stdout]    --> src/infer/test.rs:240:14
[INFO] [stdout]     |
[INFO] [stdout] 240 |             &ty!(apply (item 0) (projection (item 1) (expr a))),
[INFO] [stdout]     |              ^^
[INFO] [stdout]     |
[INFO] [stdout]     = note: import resolution is stuck, try simplifying macro imports
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: cannot determine resolution for the macro `ty`
[INFO] [stdout]    --> src/infer/test.rs:266:37
[INFO] [stdout]     |
[INFO] [stdout] 266 |             .canonicalize(interner, ty!(apply (item 0) (infer 2) (infer 1) (infer 0)))
[INFO] [stdout]     |                                     ^^
[INFO] [stdout]     |
[INFO] [stdout]     = note: import resolution is stuck, try simplifying macro imports
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: cannot determine resolution for the macro `ty`
[INFO] [stdout]    --> src/infer/test.rs:269:20
[INFO] [stdout]     |
[INFO] [stdout] 269 |             value: ty!(apply (item 0) (bound 0) (bound 1) (bound 2)),
[INFO] [stdout]     |                    ^^
[INFO] [stdout]     |
[INFO] [stdout]     = note: import resolution is stuck, try simplifying macro imports
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: cannot determine resolution for the macro `ty`
[INFO] [stdout]    --> src/infer/test.rs:300:14
[INFO] [stdout]     |
[INFO] [stdout] 300 |             &ty!(apply (item 1) (expr v1) (expr v0)),
[INFO] [stdout]     |              ^^
[INFO] [stdout]     |
[INFO] [stdout]     = note: import resolution is stuck, try simplifying macro imports
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: cannot determine resolution for the macro `ty`
[INFO] [stdout]    --> src/infer/test.rs:308:17
[INFO] [stdout]     |
[INFO] [stdout] 308 |                 ty!(apply (item 0) (expr v2b) (expr v2a) (expr v1) (expr v0))
[INFO] [stdout]     |                 ^^
[INFO] [stdout]     |
[INFO] [stdout]     = note: import resolution is stuck, try simplifying macro imports
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: cannot determine resolution for the macro `ty`
[INFO] [stdout]    --> src/infer/test.rs:312:20
[INFO] [stdout]     |
[INFO] [stdout] 312 |             value: ty!(apply (item 0) (apply (item 1) (bound 0) (bound 1)) (bound 2) (bound 0) (bound 1)),
[INFO] [stdout]     |                    ^^
[INFO] [stdout]     |
[INFO] [stdout]     = note: import resolution is stuck, try simplifying macro imports
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: cannot determine resolution for the macro `ty`
[INFO] [stdout]    --> src/infer/test.rs:354:17
[INFO] [stdout]     |
[INFO] [stdout] 354 |                 ty!(function 3 (apply (item 0) (bound 1) (infer 0) (infer 1) (lifetime (infer 2))))
[INFO] [stdout]     |                 ^^
[INFO] [stdout]     |
[INFO] [stdout]     = note: import resolution is stuck, try simplifying macro imports
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: cannot determine resolution for the macro `ty`
[INFO] [stdout]    --> src/infer/test.rs:358:20
[INFO] [stdout]     |
[INFO] [stdout] 358 |             value: ty!(function 3 (apply (item 0) (bound 1) (bound 1 0) (bound 1 0) (lifetime (bound 1 1)))),
[INFO] [stdout]     |                    ^^
[INFO] [stdout]     |
[INFO] [stdout]     = note: import resolution is stuck, try simplifying macro imports
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: cannot determine resolution for the macro `ty`
[INFO] [stdout]    --> src/infer/test.rs:383:15
[INFO] [stdout]     |
[INFO] [stdout] 383 |     let t_a = ty!(apply (item 0) (lifetime (placeholder 1)));
[INFO] [stdout]     |               ^^
[INFO] [stdout]     |
[INFO] [stdout]     = note: import resolution is stuck, try simplifying macro imports
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: cannot determine resolution for the macro `ty`
[INFO] [stdout]    --> src/infer/test.rs:384:15
[INFO] [stdout]     |
[INFO] [stdout] 384 |     let t_b = ty!(apply (item 0) (lifetime (infer 1)));
[INFO] [stdout]     |               ^^
[INFO] [stdout]     |
[INFO] [stdout]     = note: import resolution is stuck, try simplifying macro imports
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: cannot determine resolution for the macro `ty`
[INFO] [stdout]    --> src/infer/test.rs:402:15
[INFO] [stdout]     |
[INFO] [stdout] 402 |     let t_c = ty!(infer 0);
[INFO] [stdout]     |               ^^
[INFO] [stdout]     |
[INFO] [stdout]     = note: import resolution is stuck, try simplifying macro imports
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: cannot determine resolution for the macro `ty`
[INFO] [stdout]   --> src/solve/truncate.rs:99:19
[INFO] [stdout]    |
[INFO] [stdout] 99 |         let ty0 = ty!(apply (item 0)
[INFO] [stdout]    |                   ^^
[INFO] [stdout]    |
[INFO] [stdout]    = note: import resolution is stuck, try simplifying macro imports
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: cannot determine resolution for the macro `ty`
[INFO] [stdout]    --> src/solve/truncate.rs:118:19
[INFO] [stdout]     |
[INFO] [stdout] 118 |         let ty0 = ty!(apply (item 0)
[INFO] [stdout]     |                   ^^
[INFO] [stdout]     |
[INFO] [stdout]     = note: import resolution is stuck, try simplifying macro imports
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: cannot determine resolution for the macro `ty`
[INFO] [stdout]    --> src/solve/truncate.rs:124:19
[INFO] [stdout]     |
[INFO] [stdout] 124 |         let ty1 = ty!(apply (item 0)
[INFO] [stdout]     |                   ^^
[INFO] [stdout]     |
[INFO] [stdout]     = note: import resolution is stuck, try simplifying macro imports
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0433]: failed to resolve: use of undeclared crate or module `chalk_integration`
[INFO] [stdout]   --> src/solve/truncate.rs:95:42
[INFO] [stdout]    |
[INFO] [stdout] 95 |         let mut table = InferenceTable::<chalk_integration::interner::ChalkIr>::new();
[INFO] [stdout]    |                                          ^^^^^^^^^^^^^^^^^ use of undeclared crate or module `chalk_integration`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0433]: failed to resolve: use of undeclared crate or module `chalk_integration`
[INFO] [stdout]    --> src/solve/truncate.rs:114:42
[INFO] [stdout]     |
[INFO] [stdout] 114 |         let mut table = InferenceTable::<chalk_integration::interner::ChalkIr>::new();
[INFO] [stdout]     |                                          ^^^^^^^^^^^^^^^^^ use of undeclared crate or module `chalk_integration`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0412]: cannot find type `ChalkIr` in this scope
[INFO] [stdout]   --> src/infer/test.rs:12:26
[INFO] [stdout]    |
[INFO] [stdout] 12 | impl UnificationDatabase<ChalkIr> for TestDatabase {
[INFO] [stdout]    |     -                    ^^^^^^^ not found in this scope
[INFO] [stdout]    |     |
[INFO] [stdout]    |     help: you might be missing a type parameter: `<ChalkIr>`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0412]: cannot find type `ChalkIr` in this scope
[INFO] [stdout]   --> src/infer/test.rs:13:51
[INFO] [stdout]    |
[INFO] [stdout] 12 | impl UnificationDatabase<ChalkIr> for TestDatabase {
[INFO] [stdout]    |     - help: you might be missing a type parameter: `<ChalkIr>`
[INFO] [stdout] 13 |     fn fn_def_variance(&self, _fn_def_id: FnDefId<ChalkIr>) -> Variances<ChalkIr> {
[INFO] [stdout]    |                                                   ^^^^^^^ not found in this scope
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0412]: cannot find type `ChalkIr` in this scope
[INFO] [stdout]   --> src/infer/test.rs:13:74
[INFO] [stdout]    |
[INFO] [stdout] 12 | impl UnificationDatabase<ChalkIr> for TestDatabase {
[INFO] [stdout]    |     - help: you might be missing a type parameter: `<ChalkIr>`
[INFO] [stdout] 13 |     fn fn_def_variance(&self, _fn_def_id: FnDefId<ChalkIr>) -> Variances<ChalkIr> {
[INFO] [stdout]    |                                                                          ^^^^^^^ not found in this scope
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0425]: cannot find value `ChalkIr` in this scope
[INFO] [stdout]   --> src/infer/test.rs:14:31
[INFO] [stdout]    |
[INFO] [stdout] 14 |         Variances::from_iter(&ChalkIr, [Variance::Invariant; 20].iter().copied())
[INFO] [stdout]    |                               ^^^^^^^ not found in this scope
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0412]: cannot find type `ChalkIr` in this scope
[INFO] [stdout]   --> src/infer/test.rs:17:43
[INFO] [stdout]    |
[INFO] [stdout] 12 | impl UnificationDatabase<ChalkIr> for TestDatabase {
[INFO] [stdout]    |     - help: you might be missing a type parameter: `<ChalkIr>`
[INFO] [stdout] ...
[INFO] [stdout] 17 |     fn adt_variance(&self, _adt_id: AdtId<ChalkIr>) -> Variances<ChalkIr> {
[INFO] [stdout]    |                                           ^^^^^^^ not found in this scope
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0412]: cannot find type `ChalkIr` in this scope
[INFO] [stdout]   --> src/infer/test.rs:17:66
[INFO] [stdout]    |
[INFO] [stdout] 12 | impl UnificationDatabase<ChalkIr> for TestDatabase {
[INFO] [stdout]    |     - help: you might be missing a type parameter: `<ChalkIr>`
[INFO] [stdout] ...
[INFO] [stdout] 17 |     fn adt_variance(&self, _adt_id: AdtId<ChalkIr>) -> Variances<ChalkIr> {
[INFO] [stdout]    |                                                                  ^^^^^^^ not found in this scope
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0425]: cannot find value `ChalkIr` in this scope
[INFO] [stdout]   --> src/infer/test.rs:18:31
[INFO] [stdout]    |
[INFO] [stdout] 18 |         Variances::from_iter(&ChalkIr, [Variance::Invariant; 20].iter().copied())
[INFO] [stdout]    |                               ^^^^^^^ not found in this scope
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0425]: cannot find value `ChalkIr` in this scope
[INFO] [stdout]   --> src/infer/test.rs:25:21
[INFO] [stdout]    |
[INFO] [stdout] 25 |     let interner = &ChalkIr;
[INFO] [stdout]    |                     ^^^^^^^ not found in this scope
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0412]: cannot find type `ChalkIr` in this scope
[INFO] [stdout]   --> src/infer/test.rs:26:35
[INFO] [stdout]    |
[INFO] [stdout] 23 | fn universe_error() {
[INFO] [stdout]    |                  - help: you might be missing a type parameter: `<ChalkIr>`
[INFO] [stdout] ...
[INFO] [stdout] 26 |     let mut table: InferenceTable<ChalkIr> = InferenceTable::new();
[INFO] [stdout]    |                                   ^^^^^^^ not found in this scope
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0425]: cannot find value `ChalkIr` in this scope
[INFO] [stdout]   --> src/infer/test.rs:44:21
[INFO] [stdout]    |
[INFO] [stdout] 44 |     let interner = &ChalkIr;
[INFO] [stdout]    |                     ^^^^^^^ not found in this scope
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0412]: cannot find type `ChalkIr` in this scope
[INFO] [stdout]   --> src/infer/test.rs:45:35
[INFO] [stdout]    |
[INFO] [stdout] 42 | fn cycle_error() {
[INFO] [stdout]    |               - help: you might be missing a type parameter: `<ChalkIr>`
[INFO] [stdout] ...
[INFO] [stdout] 45 |     let mut table: InferenceTable<ChalkIr> = InferenceTable::new();
[INFO] [stdout]    |                                   ^^^^^^^ not found in this scope
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0425]: cannot find value `ChalkIr` in this scope
[INFO] [stdout]   --> src/infer/test.rs:75:21
[INFO] [stdout]    |
[INFO] [stdout] 75 |     let interner = &ChalkIr;
[INFO] [stdout]    |                     ^^^^^^^ not found in this scope
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0412]: cannot find type `ChalkIr` in this scope
[INFO] [stdout]   --> src/infer/test.rs:76:35
[INFO] [stdout]    |
[INFO] [stdout] 73 | fn cycle_indirect() {
[INFO] [stdout]    |                  - help: you might be missing a type parameter: `<ChalkIr>`
[INFO] [stdout] ...
[INFO] [stdout] 76 |     let mut table: InferenceTable<ChalkIr> = InferenceTable::new();
[INFO] [stdout]    |                                   ^^^^^^^ not found in this scope
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0425]: cannot find value `ChalkIr` in this scope
[INFO] [stdout]    --> src/infer/test.rs:105:21
[INFO] [stdout]     |
[INFO] [stdout] 105 |     let interner = &ChalkIr;
[INFO] [stdout]     |                     ^^^^^^^ not found in this scope
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0412]: cannot find type `ChalkIr` in this scope
[INFO] [stdout]    --> src/infer/test.rs:106:35
[INFO] [stdout]     |
[INFO] [stdout] 103 | fn universe_error_indirect_1() {
[INFO] [stdout]     |                             - help: you might be missing a type parameter: `<ChalkIr>`
[INFO] [stdout] ...
[INFO] [stdout] 106 |     let mut table: InferenceTable<ChalkIr> = InferenceTable::new();
[INFO] [stdout]     |                                   ^^^^^^^ not found in this scope
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0425]: cannot find value `ChalkIr` in this scope
[INFO] [stdout]    --> src/infer/test.rs:135:21
[INFO] [stdout]     |
[INFO] [stdout] 135 |     let interner = &ChalkIr;
[INFO] [stdout]     |                     ^^^^^^^ not found in this scope
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0412]: cannot find type `ChalkIr` in this scope
[INFO] [stdout]    --> src/infer/test.rs:136:35
[INFO] [stdout]     |
[INFO] [stdout] 133 | fn universe_error_indirect_2() {
[INFO] [stdout]     |                             - help: you might be missing a type parameter: `<ChalkIr>`
[INFO] [stdout] ...
[INFO] [stdout] 136 |     let mut table: InferenceTable<ChalkIr> = InferenceTable::new();
[INFO] [stdout]     |                                   ^^^^^^^ not found in this scope
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0425]: cannot find value `ChalkIr` in this scope
[INFO] [stdout]    --> src/infer/test.rs:165:21
[INFO] [stdout]     |
[INFO] [stdout] 165 |     let interner = &ChalkIr;
[INFO] [stdout]     |                     ^^^^^^^ not found in this scope
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0412]: cannot find type `ChalkIr` in this scope
[INFO] [stdout]    --> src/infer/test.rs:166:35
[INFO] [stdout]     |
[INFO] [stdout] 163 | fn universe_promote() {
[INFO] [stdout]     |                    - help: you might be missing a type parameter: `<ChalkIr>`
[INFO] [stdout] ...
[INFO] [stdout] 166 |     let mut table: InferenceTable<ChalkIr> = InferenceTable::new();
[INFO] [stdout]     |                                   ^^^^^^^ not found in this scope
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0425]: cannot find value `ChalkIr` in this scope
[INFO] [stdout]    --> src/infer/test.rs:195:21
[INFO] [stdout]     |
[INFO] [stdout] 195 |     let interner = &ChalkIr;
[INFO] [stdout]     |                     ^^^^^^^ not found in this scope
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0412]: cannot find type `ChalkIr` in this scope
[INFO] [stdout]    --> src/infer/test.rs:196:35
[INFO] [stdout]     |
[INFO] [stdout] 193 | fn universe_promote_bad() {
[INFO] [stdout]     |                        - help: you might be missing a type parameter: `<ChalkIr>`
[INFO] [stdout] ...
[INFO] [stdout] 196 |     let mut table: InferenceTable<ChalkIr> = InferenceTable::new();
[INFO] [stdout]     |                                   ^^^^^^^ not found in this scope
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0425]: cannot find value `ChalkIr` in this scope
[INFO] [stdout]    --> src/infer/test.rs:227:21
[INFO] [stdout]     |
[INFO] [stdout] 227 |     let interner = &ChalkIr;
[INFO] [stdout]     |                     ^^^^^^^ not found in this scope
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0412]: cannot find type `ChalkIr` in this scope
[INFO] [stdout]    --> src/infer/test.rs:228:35
[INFO] [stdout]     |
[INFO] [stdout] 223 | fn projection_eq() {
[INFO] [stdout]     |                 - help: you might be missing a type parameter: `<ChalkIr>`
[INFO] [stdout] ...
[INFO] [stdout] 228 |     let mut table: InferenceTable<ChalkIr> = InferenceTable::new();
[INFO] [stdout]     |                                   ^^^^^^^ not found in this scope
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0412]: cannot find type `ChalkIr` in this scope
[INFO] [stdout]    --> src/infer/test.rs:249:35
[INFO] [stdout]     |
[INFO] [stdout] 249 | fn make_table() -> InferenceTable<ChalkIr> {
[INFO] [stdout]     |              -                    ^^^^^^^ not found in this scope
[INFO] [stdout]     |              |
[INFO] [stdout]     |              help: you might be missing a type parameter: `<ChalkIr>`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0412]: cannot find type `ChalkIr` in this scope
[INFO] [stdout]    --> src/infer/test.rs:250:35
[INFO] [stdout]     |
[INFO] [stdout] 249 | fn make_table() -> InferenceTable<ChalkIr> {
[INFO] [stdout]     |              - help: you might be missing a type parameter: `<ChalkIr>`
[INFO] [stdout] 250 |     let mut table: InferenceTable<ChalkIr> = InferenceTable::new();
[INFO] [stdout]     |                                   ^^^^^^^ not found in this scope
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0425]: cannot find value `ChalkIr` in this scope
[INFO] [stdout]    --> src/infer/test.rs:258:21
[INFO] [stdout]     |
[INFO] [stdout] 258 |     let interner = &ChalkIr;
[INFO] [stdout]     |                     ^^^^^^^ not found in this scope
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0425]: cannot find value `ChalkIr` in this scope
[INFO] [stdout]    --> src/infer/test.rs:284:21
[INFO] [stdout]     |
[INFO] [stdout] 284 |     let interner = &ChalkIr;
[INFO] [stdout]     |                     ^^^^^^^ not found in this scope
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0425]: cannot find value `ChalkIr` in this scope
[INFO] [stdout]    --> src/infer/test.rs:327:21
[INFO] [stdout]     |
[INFO] [stdout] 327 |     let interner = &ChalkIr;
[INFO] [stdout]     |                     ^^^^^^^ not found in this scope
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0425]: cannot find value `ChalkIr` in this scope
[INFO] [stdout]    --> src/infer/test.rs:372:21
[INFO] [stdout]     |
[INFO] [stdout] 372 |     let interner = &ChalkIr;
[INFO] [stdout]     |                     ^^^^^^^ not found in this scope
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0412]: cannot find type `ChalkIr` in this scope
[INFO] [stdout]    --> src/infer/test.rs:373:35
[INFO] [stdout]     |
[INFO] [stdout] 371 | fn lifetime_constraint_indirect() {
[INFO] [stdout]     |                                - help: you might be missing a type parameter: `<ChalkIr>`
[INFO] [stdout] 372 |     let interner = &ChalkIr;
[INFO] [stdout] 373 |     let mut table: InferenceTable<ChalkIr> = InferenceTable::new();
[INFO] [stdout]     |                                   ^^^^^^^ not found in this scope
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0425]: cannot find value `ChalkIr` in this scope
[INFO] [stdout]   --> src/solve/truncate.rs:94:25
[INFO] [stdout]    |
[INFO] [stdout] 94 |         let interner = &ChalkIr;
[INFO] [stdout]    |                         ^^^^^^^ not found in this scope
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0425]: cannot find value `ChalkIr` in this scope
[INFO] [stdout]    --> src/solve/truncate.rs:113:25
[INFO] [stdout]     |
[INFO] [stdout] 113 |         let interner = &ChalkIr;
[INFO] [stdout]     |                         ^^^^^^^ not found in this scope
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: aborting due to 63 previous errors
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] Some errors have detailed explanations: E0412, E0425, E0432, E0433.
[INFO] [stdout] 
[INFO] [stdout] For more information about an error, try `rustc --explain E0412`.
[INFO] [stdout] 
[INFO] [stderr] error: could not compile `chalk-solve` due to 64 previous errors
[INFO] running `Command { std: "docker" "inspect" "fcadf83a497d4d6ec5c1650a3d1b41da1c5a846dc8246b47a56b0da6af54bf76", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "fcadf83a497d4d6ec5c1650a3d1b41da1c5a846dc8246b47a56b0da6af54bf76", kill_on_drop: false }`
[INFO] [stdout] fcadf83a497d4d6ec5c1650a3d1b41da1c5a846dc8246b47a56b0da6af54bf76
