[INFO] fetching crate chalk-solve 0.33.0...
[INFO] testing chalk-solve-0.33.0 against 1.47.0 for beta-1.48-1
[INFO] extracting crate chalk-solve 0.33.0 into /workspace/builds/worker-0/source
[INFO] validating manifest of crates.io crate chalk-solve 0.33.0 on toolchain 1.47.0
[INFO] running `Command { std: "/workspace/cargo-home/bin/cargo" "+1.47.0" "read-manifest" "--manifest-path" "Cargo.toml", kill_on_drop: false }`
[INFO] started tweaking crates.io crate chalk-solve 0.33.0
[INFO] finished tweaking crates.io crate chalk-solve 0.33.0
[INFO] tweaked toml for crates.io crate chalk-solve 0.33.0 written to /workspace/builds/worker-0/source/Cargo.toml
[INFO] running `Command { std: "/workspace/cargo-home/bin/cargo" "+1.47.0" "generate-lockfile" "--manifest-path" "Cargo.toml" "-Zno-index-update", kill_on_drop: false }`
[INFO] running `Command { std: "/workspace/cargo-home/bin/cargo" "+1.47.0" "fetch" "--locked" "--manifest-path" "Cargo.toml", kill_on_drop: false }`
[INFO] [stderr]     Blocking waiting for file lock on package cache
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-0/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-0/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" "rustops/crates-build-env@sha256:d92eaeed33fa75130ca1ee6c8a01d1ffb62bac859dfdfb3450e3e5d1c0146529" "/opt/rustwide/cargo-home/bin/cargo" "+1.47.0" "metadata" "--no-deps" "--format-version=1", kill_on_drop: false }`
[INFO] [stderr] WARNING: Your kernel does not support swap limit capabilities or the cgroup is not mounted. Memory limited without swap.
[INFO] [stdout] 8d3ab5509c1d0107a86b3f42fbaf8fc18e3099933303c6d5485ca419fb9ce900
[INFO] running `Command { std: "docker" "start" "-a" "8d3ab5509c1d0107a86b3f42fbaf8fc18e3099933303c6d5485ca419fb9ce900", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "inspect" "8d3ab5509c1d0107a86b3f42fbaf8fc18e3099933303c6d5485ca419fb9ce900", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "8d3ab5509c1d0107a86b3f42fbaf8fc18e3099933303c6d5485ca419fb9ce900", kill_on_drop: false }`
[INFO] [stdout] 8d3ab5509c1d0107a86b3f42fbaf8fc18e3099933303c6d5485ca419fb9ce900
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-0/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-0/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" "rustops/crates-build-env@sha256:d92eaeed33fa75130ca1ee6c8a01d1ffb62bac859dfdfb3450e3e5d1c0146529" "/opt/rustwide/cargo-home/bin/cargo" "+1.47.0" "build" "--frozen" "--message-format=json", kill_on_drop: false }`
[INFO] [stdout] 431c546cab8c86da7f50c2d8da45b46a6eb421375d5ed2f5cb599d5330bbd6cf
[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" "431c546cab8c86da7f50c2d8da45b46a6eb421375d5ed2f5cb599d5330bbd6cf", kill_on_drop: false }`
[INFO] [stderr]    Compiling ansi_term v0.12.1
[INFO] [stderr]    Compiling tracing-core v0.1.17
[INFO] [stderr]    Compiling regex v1.4.1
[INFO] [stderr]    Compiling sharded-slab v0.0.9
[INFO] [stderr]    Compiling regex-automata v0.1.9
[INFO] [stderr]    Compiling ena v0.14.0
[INFO] [stderr]    Compiling synstructure v0.12.4
[INFO] [stderr]    Compiling tracing-attributes v0.1.11
[INFO] [stderr]    Compiling tracing-serde v0.1.2
[INFO] [stderr]    Compiling tracing-log v0.1.1
[INFO] [stderr]    Compiling chalk-derive v0.33.0
[INFO] [stderr]    Compiling matchers v0.0.1
[INFO] [stderr]    Compiling tracing v0.1.21
[INFO] [stderr]    Compiling chalk-ir v0.33.0
[INFO] [stderr]    Compiling tracing-subscriber v0.2.13
[INFO] [stderr]    Compiling tracing-tree v0.1.6
[INFO] [stderr]    Compiling chalk-solve v0.33.0 (/opt/rustwide/workdir)
[INFO] [stderr]     Finished dev [unoptimized + debuginfo] target(s) in 42.34s
[INFO] running `Command { std: "docker" "inspect" "431c546cab8c86da7f50c2d8da45b46a6eb421375d5ed2f5cb599d5330bbd6cf", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "431c546cab8c86da7f50c2d8da45b46a6eb421375d5ed2f5cb599d5330bbd6cf", kill_on_drop: false }`
[INFO] [stdout] 431c546cab8c86da7f50c2d8da45b46a6eb421375d5ed2f5cb599d5330bbd6cf
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-0/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-0/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" "rustops/crates-build-env@sha256:d92eaeed33fa75130ca1ee6c8a01d1ffb62bac859dfdfb3450e3e5d1c0146529" "/opt/rustwide/cargo-home/bin/cargo" "+1.47.0" "test" "--frozen" "--no-run" "--message-format=json", kill_on_drop: false }`
[INFO] [stdout] b703ae1516a1ae6591d653299532fcaca6a862435c8602e1adb043dd004515ab
[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" "b703ae1516a1ae6591d653299532fcaca6a862435c8602e1adb043dd004515ab", kill_on_drop: false }`
[INFO] [stderr]    Compiling chalk-solve v0.33.0 (/opt/rustwide/workdir)
[INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type 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 type or module `chalk_integration`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0432]: unresolved import `chalk_integration`
[INFO] [stdout]   --> src/solve/truncate.rs:76:9
[INFO] [stdout]    |
[INFO] [stdout] 76 |     use chalk_integration::{arg, ty, ty_name};
[INFO] [stdout]    |         ^^^^^^^^^^^^^^^^^ use of undeclared type or module `chalk_integration`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type or module `chalk_integration`
[INFO] [stdout]   --> src/solve/truncate.rs:80:13
[INFO] [stdout]    |
[INFO] [stdout] 80 |         use chalk_integration::interner::ChalkIr;
[INFO] [stdout]    |             ^^^^^^^^^^^^^^^^^ use of undeclared type or module `chalk_integration`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type or module `chalk_integration`
[INFO] [stdout]   --> src/solve/truncate.rs:99:13
[INFO] [stdout]    |
[INFO] [stdout] 99 |         use chalk_integration::interner::ChalkIr;
[INFO] [stdout]    |             ^^^^^^^^^^^^^^^^^ use of undeclared type 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, ty_name};
[INFO] [stdout]   |     ^^^^^^^^^^^^^^^^^ use of undeclared type or module `chalk_integration`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: cannot determine resolution for the macro `ty`
[INFO] [stdout]   --> src/infer/test.rs:16:46
[INFO] [stdout]    |
[INFO] [stdout] 16 |         .unify(interner, &environment0, &a, &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:28:46
[INFO] [stdout]    |
[INFO] [stdout] 28 |         .unify(interner, &environment0, &a, &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:33:46
[INFO] [stdout]    |
[INFO] [stdout] 33 |         .unify(interner, &environment0, &a, &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:46:46
[INFO] [stdout]    |
[INFO] [stdout] 46 |         .unify(interner, &environment0, &a, &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:60:46
[INFO] [stdout]    |
[INFO] [stdout] 60 |         .unify(interner, &environment0, &b, &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:75:46
[INFO] [stdout]    |
[INFO] [stdout] 75 |         .unify(interner, &environment0, &b, &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:88:46
[INFO] [stdout]    |
[INFO] [stdout] 88 |         .unify(interner, &environment0, &a, &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:95:14
[INFO] [stdout]    |
[INFO] [stdout] 95 |             &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:109:46
[INFO] [stdout]     |
[INFO] [stdout] 109 |         .unify(interner, &environment0, &a, &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:112:46
[INFO] [stdout]     |
[INFO] [stdout] 112 |         .unify(interner, &environment0, &b, &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:132:14
[INFO] [stdout]     |
[INFO] [stdout] 132 |             &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:158:38
[INFO] [stdout]     |
[INFO] [stdout] 158 |             .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:161:20
[INFO] [stdout]     |
[INFO] [stdout] 161 |             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:190:14
[INFO] [stdout]     |
[INFO] [stdout] 190 |             &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:198:18
[INFO] [stdout]     |
[INFO] [stdout] 198 |                 &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:202:20
[INFO] [stdout]     |
[INFO] [stdout] 202 |             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:242:18
[INFO] [stdout]     |
[INFO] [stdout] 242 |                 &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:246:20
[INFO] [stdout]     |
[INFO] [stdout] 246 |             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:271:15
[INFO] [stdout]     |
[INFO] [stdout] 271 |     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:272:15
[INFO] [stdout]     |
[INFO] [stdout] 272 |     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:281:15
[INFO] [stdout]     |
[INFO] [stdout] 281 |     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:86:19
[INFO] [stdout]    |
[INFO] [stdout] 86 |         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:105:19
[INFO] [stdout]     |
[INFO] [stdout] 105 |         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:111:19
[INFO] [stdout]     |
[INFO] [stdout] 111 |         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 type or module `chalk_integration`
[INFO] [stdout]   --> src/solve/truncate.rs:82:42
[INFO] [stdout]    |
[INFO] [stdout] 82 |         let mut table = InferenceTable::<chalk_integration::interner::ChalkIr>::new();
[INFO] [stdout]    |                                          ^^^^^^^^^^^^^^^^^ use of undeclared type or module `chalk_integration`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type or module `chalk_integration`
[INFO] [stdout]    --> src/solve/truncate.rs:101:42
[INFO] [stdout]     |
[INFO] [stdout] 101 |         let mut table = InferenceTable::<chalk_integration::interner::ChalkIr>::new();
[INFO] [stdout]     |                                          ^^^^^^^^^^^^^^^^^ use of undeclared type or module `chalk_integration`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0425]: cannot find value `ChalkIr` in this scope
[INFO] [stdout]   --> src/infer/test.rs:11:21
[INFO] [stdout]    |
[INFO] [stdout] 11 |     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:12:35
[INFO] [stdout]    |
[INFO] [stdout] 9  | fn universe_error() {
[INFO] [stdout]    |                  - help: you might be missing a type parameter: `<ChalkIr>`
[INFO] [stdout] ...
[INFO] [stdout] 12 |     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:23:21
[INFO] [stdout]    |
[INFO] [stdout] 23 |     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:24:35
[INFO] [stdout]    |
[INFO] [stdout] 21 | fn cycle_error() {
[INFO] [stdout]    |               - help: you might be missing a type parameter: `<ChalkIr>`
[INFO] [stdout] ...
[INFO] [stdout] 24 |     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:40:21
[INFO] [stdout]    |
[INFO] [stdout] 40 |     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:41:35
[INFO] [stdout]    |
[INFO] [stdout] 38 | fn cycle_indirect() {
[INFO] [stdout]    |                  - help: you might be missing a type parameter: `<ChalkIr>`
[INFO] [stdout] ...
[INFO] [stdout] 41 |     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:54:21
[INFO] [stdout]    |
[INFO] [stdout] 54 |     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:55:35
[INFO] [stdout]    |
[INFO] [stdout] 52 | fn universe_error_indirect_1() {
[INFO] [stdout]    |                             - help: you might be missing a type parameter: `<ChalkIr>`
[INFO] [stdout] ...
[INFO] [stdout] 55 |     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:68:21
[INFO] [stdout]    |
[INFO] [stdout] 68 |     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:69:35
[INFO] [stdout]    |
[INFO] [stdout] 66 | fn universe_error_indirect_2() {
[INFO] [stdout]    |                             - help: you might be missing a type parameter: `<ChalkIr>`
[INFO] [stdout] ...
[INFO] [stdout] 69 |     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:82:21
[INFO] [stdout]    |
[INFO] [stdout] 82 |     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:83:35
[INFO] [stdout]    |
[INFO] [stdout] 80 | fn universe_promote() {
[INFO] [stdout]    |                    - help: you might be missing a type parameter: `<ChalkIr>`
[INFO] [stdout] ...
[INFO] [stdout] 83 |     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:103:21
[INFO] [stdout]     |
[INFO] [stdout] 103 |     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:104:35
[INFO] [stdout]     |
[INFO] [stdout] 101 | fn universe_promote_bad() {
[INFO] [stdout]     |                        - help: you might be missing a type parameter: `<ChalkIr>`
[INFO] [stdout] ...
[INFO] [stdout] 104 |     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:121:21
[INFO] [stdout]     |
[INFO] [stdout] 121 |     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:122:35
[INFO] [stdout]     |
[INFO] [stdout] 117 | fn projection_eq() {
[INFO] [stdout]     |                 - help: you might be missing a type parameter: `<ChalkIr>`
[INFO] [stdout] ...
[INFO] [stdout] 122 |     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:141:35
[INFO] [stdout]     |
[INFO] [stdout] 141 | 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:142:35
[INFO] [stdout]     |
[INFO] [stdout] 141 | fn make_table() -> InferenceTable<ChalkIr> {
[INFO] [stdout]     |              - help: you might be missing a type parameter: `<ChalkIr>`
[INFO] [stdout] 142 |     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:150:21
[INFO] [stdout]     |
[INFO] [stdout] 150 |     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:176:21
[INFO] [stdout]     |
[INFO] [stdout] 176 |     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:217:21
[INFO] [stdout]     |
[INFO] [stdout] 217 |     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:260:21
[INFO] [stdout]     |
[INFO] [stdout] 260 |     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:261:35
[INFO] [stdout]     |
[INFO] [stdout] 259 | fn lifetime_constraint_indirect() {
[INFO] [stdout]     |                                - help: you might be missing a type parameter: `<ChalkIr>`
[INFO] [stdout] 260 |     let interner = &ChalkIr;
[INFO] [stdout] 261 |     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:81:25
[INFO] [stdout]    |
[INFO] [stdout] 81 |         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:100:25
[INFO] [stdout]     |
[INFO] [stdout] 100 |         let interner = &ChalkIr;
[INFO] [stdout]     |                         ^^^^^^^ not found in this scope
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: aborting due to 56 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`.
[INFO] [stderr] 
[INFO] [stderr] To learn more, run the command again with --verbose.
[INFO] running `Command { std: "docker" "inspect" "b703ae1516a1ae6591d653299532fcaca6a862435c8602e1adb043dd004515ab", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "b703ae1516a1ae6591d653299532fcaca6a862435c8602e1adb043dd004515ab", kill_on_drop: false }`
[INFO] [stdout] b703ae1516a1ae6591d653299532fcaca6a862435c8602e1adb043dd004515ab
