[INFO] cloning repository https://github.com/schromp/lernda [INFO] running `Command { std: "git" "-c" "credential.helper=" "-c" "credential.helper=/workspace/cargo-home/bin/git-credential-null" "clone" "--bare" "https://github.com/schromp/lernda" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Fschromp%2Flernda", kill_on_drop: false }` [INFO] [stderr] Cloning into bare repository '/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Fschromp%2Flernda'... [INFO] running `Command { std: "git" "rev-parse" "HEAD", kill_on_drop: false }` [INFO] [stdout] c8a4118ef342cdd80aff7f712d321f93c45a502d [INFO] testing schromp/lernda against master#cdb45c87e2cd43495379f7e867e3cc15dcee9f93 for pr-145838-1 [INFO] running `Command { std: "git" "clone" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Fschromp%2Flernda" "/workspace/builds/worker-1-tc1/source", kill_on_drop: false }` [INFO] [stderr] Cloning into '/workspace/builds/worker-1-tc1/source'... [INFO] [stderr] done. [INFO] started tweaking git repo https://github.com/schromp/lernda [INFO] finished tweaking git repo https://github.com/schromp/lernda [INFO] tweaked toml for git repo https://github.com/schromp/lernda written to /workspace/builds/worker-1-tc1/source/Cargo.toml [INFO] validating manifest of git repo https://github.com/schromp/lernda on toolchain cdb45c87e2cd43495379f7e867e3cc15dcee9f93 [INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+cdb45c87e2cd43495379f7e867e3cc15dcee9f93" "metadata" "--manifest-path" "Cargo.toml" "--no-deps", kill_on_drop: false }` [INFO] crate git repo https://github.com/schromp/lernda 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" "+cdb45c87e2cd43495379f7e867e3cc15dcee9f93" "fetch" "--manifest-path" "Cargo.toml", kill_on_drop: false }` [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:7ad1b28ee6f5f7f699f6cf7015098d6ccdd96d6f2d78dd06228f5b4c9faf309c" "/opt/rustwide/cargo-home/bin/cargo" "+cdb45c87e2cd43495379f7e867e3cc15dcee9f93" "metadata" "--no-deps" "--format-version=1", kill_on_drop: false }` [INFO] [stdout] 9ee52f7bd312b8055fe61bd9cf6fb271ad747887a2b8cde59f1d08d023261d31 [INFO] running `Command { std: "docker" "start" "-a" "9ee52f7bd312b8055fe61bd9cf6fb271ad747887a2b8cde59f1d08d023261d31", kill_on_drop: false }` [INFO] running `Command { std: "docker" "inspect" "9ee52f7bd312b8055fe61bd9cf6fb271ad747887a2b8cde59f1d08d023261d31", kill_on_drop: false }` [INFO] running `Command { std: "docker" "rm" "-f" "9ee52f7bd312b8055fe61bd9cf6fb271ad747887a2b8cde59f1d08d023261d31", kill_on_drop: false }` [INFO] [stdout] 9ee52f7bd312b8055fe61bd9cf6fb271ad747887a2b8cde59f1d08d023261d31 [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:7ad1b28ee6f5f7f699f6cf7015098d6ccdd96d6f2d78dd06228f5b4c9faf309c" "/opt/rustwide/cargo-home/bin/cargo" "+cdb45c87e2cd43495379f7e867e3cc15dcee9f93" "build" "--frozen" "--message-format=json", kill_on_drop: false }` [INFO] [stdout] e2f66b65440b54f5d77f4093d7eb6c17ff8bb79244cfa9bca7db0b98a3c8799c [INFO] running `Command { std: "docker" "start" "-a" "e2f66b65440b54f5d77f4093d7eb6c17ff8bb79244cfa9bca7db0b98a3c8799c", kill_on_drop: false }` [INFO] [stderr] Compiling lernda v0.1.0 (/opt/rustwide/workdir) [INFO] [stdout] error[E0308]: mismatched types [INFO] [stdout] --> src/term.rs:82:34 [INFO] [stdout] | [INFO] [stdout] 80 | pub fn reduce(self) -> Self { [INFO] [stdout] | ---- expected `Term` because of return type [INFO] [stdout] 81 | match self { [INFO] [stdout] 82 | Term::CoreTerm(a) => a.reduce(), [INFO] [stdout] | ^^^^^^^^^^ expected `Term`, found `CoreTerm` [INFO] [stdout] | [INFO] [stdout] help: try wrapping the expression in `term::Term::CoreTerm` [INFO] [stdout] | [INFO] [stdout] 82 | Term::CoreTerm(a) => term::Term::CoreTerm(a.reduce()), [INFO] [stdout] | +++++++++++++++++++++ + [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0308]: mismatched types [INFO] [stdout] --> src/core_terms.rs:26:28 [INFO] [stdout] | [INFO] [stdout] 21 | pub fn reduce(self) -> Self { [INFO] [stdout] | ---- expected `CoreTerm` because of return type [INFO] [stdout] ... [INFO] [stdout] 26 | return l_term.reduce() [INFO] [stdout] | ^^^^^^^^^^^^^^^ expected `CoreTerm`, found `Term` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0308]: mismatched types [INFO] [stdout] --> src/core_terms.rs:27:49 [INFO] [stdout] | [INFO] [stdout] 27 | } else if r_term.is_reducible() { [INFO] [stdout] | _________________________________________________^ [INFO] [stdout] 28 | | r_term.reduce(); [INFO] [stdout] 29 | | } else if let Term::CoreTerm(CoreTerm::Abstraction { [INFO] [stdout] | |_________________^ expected `CoreTerm`, found `()` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0308]: mismatched types [INFO] [stdout] --> src/core_terms.rs:36:25 [INFO] [stdout] | [INFO] [stdout] 36 | l_term.replace(&var_name, *r_term) [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ expected `CoreTerm`, found `()` [INFO] [stdout] | [INFO] [stdout] note: method `replace` modifies its receiver in-place [INFO] [stdout] --> src/core_terms.rs:36:32 [INFO] [stdout] | [INFO] [stdout] 36 | l_term.replace(&var_name, *r_term) [INFO] [stdout] | ^^^^^^^ this call modifies `l_term` in-place [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `var_name` [INFO] [stdout] --> src/term.rs:41:41 [INFO] [stdout] | [INFO] [stdout] 41 | CoreTerm::Abstraction { var_name, body } => { [INFO] [stdout] | ^^^^^^^^ help: try ignoring the field: `var_name: _` [INFO] [stdout] | [INFO] [stdout] = note: `#[warn(unused_variables)]` (part of `#[warn(unused)]`) on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] For more information about this error, try `rustc --explain E0308`. [INFO] [stdout] [INFO] [stderr] error: could not compile `lernda` (lib) due to 4 previous errors; 1 warning emitted [INFO] running `Command { std: "docker" "inspect" "e2f66b65440b54f5d77f4093d7eb6c17ff8bb79244cfa9bca7db0b98a3c8799c", kill_on_drop: false }` [INFO] running `Command { std: "docker" "rm" "-f" "e2f66b65440b54f5d77f4093d7eb6c17ff8bb79244cfa9bca7db0b98a3c8799c", kill_on_drop: false }` [INFO] [stdout] e2f66b65440b54f5d77f4093d7eb6c17ff8bb79244cfa9bca7db0b98a3c8799c