[INFO] fetching crate chalk-engine 0.37.0... [INFO] checking chalk-engine-0.37.0 against beta for pr-78714 [INFO] extracting crate chalk-engine 0.37.0 into /workspace/builds/worker-4/source [INFO] validating manifest of crates.io crate chalk-engine 0.37.0 on toolchain beta [INFO] running `Command { std: "/workspace/cargo-home/bin/cargo" "+beta" "read-manifest" "--manifest-path" "Cargo.toml", kill_on_drop: false }` [INFO] started tweaking crates.io crate chalk-engine 0.37.0 [INFO] finished tweaking crates.io crate chalk-engine 0.37.0 [INFO] tweaked toml for crates.io crate chalk-engine 0.37.0 written to /workspace/builds/worker-4/source/Cargo.toml [INFO] running `Command { std: "/workspace/cargo-home/bin/cargo" "+beta" "generate-lockfile" "--manifest-path" "Cargo.toml" "-Zno-index-update", kill_on_drop: false }` [INFO] running `Command { std: "/workspace/cargo-home/bin/cargo" "+beta" "fetch" "--locked" "--manifest-path" "Cargo.toml", kill_on_drop: false }` [INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-4/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-4/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:6eabd152ff4036248d66efda456a36cb33d24b7291b33f25f75140726c88da35" "/opt/rustwide/cargo-home/bin/cargo" "+beta" "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] fab6163711f699e85aa89cc9d42479381bb3859320081554d4d415f66e7abc69 [INFO] running `Command { std: "docker" "start" "-a" "fab6163711f699e85aa89cc9d42479381bb3859320081554d4d415f66e7abc69", kill_on_drop: false }` [INFO] running `Command { std: "docker" "inspect" "fab6163711f699e85aa89cc9d42479381bb3859320081554d4d415f66e7abc69", kill_on_drop: false }` [INFO] running `Command { std: "docker" "rm" "-f" "fab6163711f699e85aa89cc9d42479381bb3859320081554d4d415f66e7abc69", kill_on_drop: false }` [INFO] [stdout] fab6163711f699e85aa89cc9d42479381bb3859320081554d4d415f66e7abc69 [INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-4/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-4/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" "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:6eabd152ff4036248d66efda456a36cb33d24b7291b33f25f75140726c88da35" "/opt/rustwide/cargo-home/bin/cargo" "+beta" "check" "--frozen" "--all" "--all-targets" "--message-format=json", kill_on_drop: false }` [INFO] [stdout] ff87770524421b038301341cab3f203c23bafefb4d49645f0c56a49a8cadcf33 [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" "ff87770524421b038301341cab3f203c23bafefb4d49645f0c56a49a8cadcf33", kill_on_drop: false }` [INFO] [stderr] Checking ansi_term v0.12.1 [INFO] [stderr] Checking tracing-core v0.1.17 [INFO] [stderr] Checking sharded-slab v0.1.0 [INFO] [stderr] Checking regex v1.4.2 [INFO] [stderr] Checking regex-automata v0.1.9 [INFO] [stderr] Checking petgraph v0.5.1 [INFO] [stderr] Checking ena v0.14.0 [INFO] [stderr] Compiling tracing-attributes v0.1.11 [INFO] [stderr] Checking serde v1.0.117 [INFO] [stderr] Compiling chalk-derive v0.37.0 [INFO] [stderr] Checking tracing-log v0.1.1 [INFO] [stderr] Checking matchers v0.0.1 [INFO] [stderr] Checking chalk-ir v0.37.0 [INFO] [stderr] Checking tracing v0.1.21 [INFO] [stderr] Checking serde_json v1.0.59 [INFO] [stderr] Checking tracing-serde v0.1.2 [INFO] [stderr] Checking tracing-subscriber v0.2.15 [INFO] [stderr] Checking tracing-tree v0.1.6 [INFO] [stderr] Checking chalk-solve v0.37.0 [INFO] [stderr] Checking chalk-engine v0.37.0 (/opt/rustwide/workdir) [INFO] [stdout] error[E0433]: failed to resolve: use of undeclared crate or module `chalk_integration` [INFO] [stdout] --> src/normalize_deep.rs:109:9 [INFO] [stdout] | [INFO] [stdout] 109 | 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/normalize_deep.rs:110:9 [INFO] [stdout] | [INFO] [stdout] 110 | use chalk_integration::{arg, 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/slg/aggregate.rs:585:13 [INFO] [stdout] | [INFO] [stdout] 585 | 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/slg/aggregate.rs:603:13 [INFO] [stdout] | [INFO] [stdout] 603 | 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/slg/aggregate.rs:622:13 [INFO] [stdout] | [INFO] [stdout] 622 | 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/slg/aggregate.rs:578:9 [INFO] [stdout] | [INFO] [stdout] 578 | 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/normalize_deep.rs:122:50 [INFO] [stdout] | [INFO] [stdout] 122 | .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/normalize_deep.rs:126:13 [INFO] [stdout] | [INFO] [stdout] 126 | 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/normalize_deep.rs:129:50 [INFO] [stdout] | [INFO] [stdout] 129 | .unify(interner, &environment0, &b, &ty!(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/normalize_deep.rs:133:13 [INFO] [stdout] | [INFO] [stdout] 133 | 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/slg/aggregate.rs:594:14 [INFO] [stdout] | [INFO] [stdout] 594 | &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/slg/aggregate.rs:595:14 [INFO] [stdout] | [INFO] [stdout] 595 | &ty!(apply (item 0) (apply (item 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/slg/aggregate.rs:597:20 [INFO] [stdout] | [INFO] [stdout] 597 | assert_eq!(ty!(apply (item 0) (infer 0)), ty); [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/slg/aggregate.rs:613:14 [INFO] [stdout] | [INFO] [stdout] 613 | &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/slg/aggregate.rs:614:14 [INFO] [stdout] | [INFO] [stdout] 614 | &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/slg/aggregate.rs:616:20 [INFO] [stdout] | [INFO] [stdout] 616 | assert_eq!(ty!(apply (item 0) (apply (item 1))), ty); [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/slg/aggregate.rs:635:14 [INFO] [stdout] | [INFO] [stdout] 635 | &ty!(apply (item 0) (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/slg/aggregate.rs:636:14 [INFO] [stdout] | [INFO] [stdout] 636 | &ty!(apply (item 0) (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/slg/aggregate.rs:640:20 [INFO] [stdout] | [INFO] [stdout] 640 | assert_eq!(ty!(apply (item 0) (infer 0)), ty); [INFO] [stdout] | ^^ [INFO] [stdout] | [INFO] [stdout] = note: import resolution is stuck, try simplifying macro imports [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0425]: cannot find value `ChalkIr` in this scope [INFO] [stdout] --> src/normalize_deep.rs:116:25 [INFO] [stdout] | [INFO] [stdout] 116 | 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/normalize_deep.rs:117:39 [INFO] [stdout] | [INFO] [stdout] 115 | fn infer() { [INFO] [stdout] | - help: you might be missing a type parameter: `` [INFO] [stdout] 116 | let interner = &ChalkIr; [INFO] [stdout] 117 | let mut table: InferenceTable = 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/slg/aggregate.rs:586:39 [INFO] [stdout] | [INFO] [stdout] 584 | fn vec_i32_vs_vec_u32() { [INFO] [stdout] | - help: you might be missing a type parameter: `` [INFO] [stdout] 585 | use chalk_integration::interner::ChalkIr; [INFO] [stdout] 586 | let mut infer: InferenceTable = 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/slg/aggregate.rs:590:24 [INFO] [stdout] | [INFO] [stdout] 590 | 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/slg/aggregate.rs:604:25 [INFO] [stdout] | [INFO] [stdout] 604 | 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/slg/aggregate.rs:605:39 [INFO] [stdout] | [INFO] [stdout] 602 | fn vec_i32_vs_vec_i32() { [INFO] [stdout] | - help: you might be missing a type parameter: `` [INFO] [stdout] ... [INFO] [stdout] 605 | let mut infer: InferenceTable = 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/slg/aggregate.rs:623:25 [INFO] [stdout] | [INFO] [stdout] 623 | 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/slg/aggregate.rs:624:39 [INFO] [stdout] | [INFO] [stdout] 621 | fn vec_x_vs_vec_y() { [INFO] [stdout] | - help: you might be missing a type parameter: `` [INFO] [stdout] ... [INFO] [stdout] 624 | let mut infer: InferenceTable = InferenceTable::new(); [INFO] [stdout] | ^^^^^^^ not found in this scope [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: aborting due to 27 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-engine` [INFO] [stderr] [INFO] [stderr] To learn more, run the command again with --verbose. [INFO] [stderr] warning: build failed, waiting for other jobs to finish... [INFO] [stderr] error: build failed [INFO] running `Command { std: "docker" "inspect" "ff87770524421b038301341cab3f203c23bafefb4d49645f0c56a49a8cadcf33", kill_on_drop: false }` [INFO] running `Command { std: "docker" "rm" "-f" "ff87770524421b038301341cab3f203c23bafefb4d49645f0c56a49a8cadcf33", kill_on_drop: false }` [INFO] [stdout] ff87770524421b038301341cab3f203c23bafefb4d49645f0c56a49a8cadcf33