[INFO] cloning repository https://github.com/darshimo/lmm-calculus [INFO] running `Command { std: "git" "-c" "credential.helper=" "-c" "credential.helper=/workspace/cargo-home/bin/git-credential-null" "clone" "--bare" "https://github.com/darshimo/lmm-calculus" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Fdarshimo%2Flmm-calculus", kill_on_drop: false }` [INFO] [stderr] Cloning into bare repository '/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Fdarshimo%2Flmm-calculus'... [INFO] running `Command { std: "git" "rev-parse" "HEAD", kill_on_drop: false }` [INFO] [stdout] 501d63ae56f60393a8349d2df4f82a11bc5f125c [INFO] checking darshimo/lmm-calculus/501d63ae56f60393a8349d2df4f82a11bc5f125c against master#f609b7e0586f81fefb3523e3e17adf779ac416be for pr-129466-2 [INFO] running `Command { std: "git" "clone" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Fdarshimo%2Flmm-calculus" "/workspace/builds/worker-6-tc1/source", kill_on_drop: false }` [INFO] [stderr] Cloning into '/workspace/builds/worker-6-tc1/source'... [INFO] [stderr] done. [INFO] validating manifest of git repo https://github.com/darshimo/lmm-calculus on toolchain f609b7e0586f81fefb3523e3e17adf779ac416be [INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+f609b7e0586f81fefb3523e3e17adf779ac416be" "metadata" "--manifest-path" "Cargo.toml" "--no-deps", kill_on_drop: false }` [INFO] started tweaking git repo https://github.com/darshimo/lmm-calculus [INFO] finished tweaking git repo https://github.com/darshimo/lmm-calculus [INFO] tweaked toml for git repo https://github.com/darshimo/lmm-calculus written to /workspace/builds/worker-6-tc1/source/Cargo.toml [INFO] crate git repo https://github.com/darshimo/lmm-calculus 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" "+f609b7e0586f81fefb3523e3e17adf779ac416be" "fetch" "--manifest-path" "Cargo.toml", kill_on_drop: false }` [INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-6-tc1/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-6-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:ceb6ea022f8a89cebbe621bb4987e73a935bd40dfbb726f832cfff4742a5b95a" "/opt/rustwide/cargo-home/bin/cargo" "+f609b7e0586f81fefb3523e3e17adf779ac416be" "metadata" "--no-deps" "--format-version=1", kill_on_drop: false }` [INFO] [stdout] 26e510e1ce24e7fea25132d73d0f40e2156299ab1dd1f568cc8cc7bf19102284 [INFO] running `Command { std: "docker" "start" "-a" "26e510e1ce24e7fea25132d73d0f40e2156299ab1dd1f568cc8cc7bf19102284", kill_on_drop: false }` [INFO] running `Command { std: "docker" "inspect" "26e510e1ce24e7fea25132d73d0f40e2156299ab1dd1f568cc8cc7bf19102284", kill_on_drop: false }` [INFO] running `Command { std: "docker" "rm" "-f" "26e510e1ce24e7fea25132d73d0f40e2156299ab1dd1f568cc8cc7bf19102284", kill_on_drop: false }` [INFO] [stdout] 26e510e1ce24e7fea25132d73d0f40e2156299ab1dd1f568cc8cc7bf19102284 [INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-6-tc1/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-6-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:ceb6ea022f8a89cebbe621bb4987e73a935bd40dfbb726f832cfff4742a5b95a" "/opt/rustwide/cargo-home/bin/cargo" "+f609b7e0586f81fefb3523e3e17adf779ac416be" "check" "--frozen" "--all" "--all-targets" "--message-format=json", kill_on_drop: false }` [INFO] [stdout] d0158d4b80ed10f83c05b9754bdcb7ebb1b030e3846446a028c6388fa9f9eebb [INFO] running `Command { std: "docker" "start" "-a" "d0158d4b80ed10f83c05b9754bdcb7ebb1b030e3846446a028c6388fa9f9eebb", kill_on_drop: false }` [INFO] [stderr] Checking lmm-calculus v0.1.0 (/opt/rustwide/workdir) [INFO] [stdout] error[E0583]: file not found for module `generator` [INFO] [stdout] --> src/main.rs:1:1 [INFO] [stdout] | [INFO] [stdout] 1 | mod generator; [INFO] [stdout] | ^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = help: to create the module `generator`, create file "src/generator.rs" or "src/generator/mod.rs" [INFO] [stdout] = note: if there is a `mod generator` elsewhere in the crate already, import it with `use crate::...` instead [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0583]: file not found for module `generator` [INFO] [stdout] --> src/main.rs:1:1 [INFO] [stdout] | [INFO] [stdout] 1 | mod generator; [INFO] [stdout] | ^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = help: to create the module `generator`, create file "src/generator.rs" or "src/generator/mod.rs" [INFO] [stdout] = note: if there is a `mod generator` elsewhere in the crate already, import it with `use crate::...` instead [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0432]: unresolved import `crate::variable` [INFO] [stdout] --> src/lambda.rs:9:12 [INFO] [stdout] | [INFO] [stdout] 9 | use crate::variable::*; [INFO] [stdout] | ^^^^^^^^ could not find `variable` in the crate root [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0432]: unresolved import `crate::variable` [INFO] [stdout] --> src/lambda_double.rs:11:12 [INFO] [stdout] | [INFO] [stdout] 11 | use crate::variable::*; [INFO] [stdout] | ^^^^^^^^ could not find `variable` in the crate root [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0432]: unresolved import `crate::variable` [INFO] [stdout] --> src/lambda_mu.rs:8:12 [INFO] [stdout] | [INFO] [stdout] 8 | use crate::variable::*; [INFO] [stdout] | ^^^^^^^^ could not find `variable` in the crate root [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0432]: unresolved import `crate::variable` [INFO] [stdout] --> src/lambdabar_mu.rs:9:12 [INFO] [stdout] | [INFO] [stdout] 9 | use crate::variable::*; [INFO] [stdout] | ^^^^^^^^ could not find `variable` in the crate root [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0432]: unresolved import `crate::variable` [INFO] [stdout] --> src/lambdabar_mu_mutilde.rs:10:12 [INFO] [stdout] | [INFO] [stdout] 10 | use crate::variable::*; [INFO] [stdout] | ^^^^^^^^ could not find `variable` in the crate root [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0432]: unresolved import `crate::variable` [INFO] [stdout] --> src/lambdabar_mu_mutilde_comp.rs:8:12 [INFO] [stdout] | [INFO] [stdout] 8 | use crate::variable::*; [INFO] [stdout] | ^^^^^^^^ could not find `variable` in the crate root [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `lambda_double::*` [INFO] [stdout] --> src/main.rs:12:5 [INFO] [stdout] | [INFO] [stdout] 12 | use lambda_double::*; [INFO] [stdout] | ^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = note: `#[warn(unused_imports)]` on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `lambdabar_mu::*` [INFO] [stdout] --> src/main.rs:14:5 [INFO] [stdout] | [INFO] [stdout] 14 | use lambdabar_mu::*; [INFO] [stdout] | ^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `lambdabar_mu_mutilde::*` [INFO] [stdout] --> src/main.rs:15:5 [INFO] [stdout] | [INFO] [stdout] 15 | use lambdabar_mu_mutilde::*; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0432]: unresolved import `crate::variable` [INFO] [stdout] --> src/lambda.rs:9:12 [INFO] [stdout] | [INFO] [stdout] 9 | use crate::variable::*; [INFO] [stdout] | ^^^^^^^^ could not find `variable` in the crate root [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0432]: unresolved import `crate::variable` [INFO] [stdout] --> src/lambda_double.rs:11:12 [INFO] [stdout] | [INFO] [stdout] 11 | use crate::variable::*; [INFO] [stdout] | ^^^^^^^^ could not find `variable` in the crate root [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0432]: unresolved import `crate::variable` [INFO] [stdout] --> src/lambda_mu.rs:8:12 [INFO] [stdout] | [INFO] [stdout] 8 | use crate::variable::*; [INFO] [stdout] | ^^^^^^^^ could not find `variable` in the crate root [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0432]: unresolved import `crate::variable` [INFO] [stdout] --> src/lambdabar_mu.rs:9:12 [INFO] [stdout] | [INFO] [stdout] 9 | use crate::variable::*; [INFO] [stdout] | ^^^^^^^^ could not find `variable` in the crate root [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0432]: unresolved import `crate::variable` [INFO] [stdout] --> src/lambdabar_mu_mutilde.rs:10:12 [INFO] [stdout] | [INFO] [stdout] 10 | use crate::variable::*; [INFO] [stdout] | ^^^^^^^^ could not find `variable` in the crate root [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0432]: unresolved import `crate::variable` [INFO] [stdout] --> src/lambdabar_mu_mutilde_comp.rs:8:12 [INFO] [stdout] | [INFO] [stdout] 8 | use crate::variable::*; [INFO] [stdout] | ^^^^^^^^ could not find `variable` in the crate root [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `lambda_double::*` [INFO] [stdout] --> src/main.rs:12:5 [INFO] [stdout] | [INFO] [stdout] 12 | use lambda_double::*; [INFO] [stdout] | ^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = note: `#[warn(unused_imports)]` on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `lambdabar_mu::*` [INFO] [stdout] --> src/main.rs:14:5 [INFO] [stdout] | [INFO] [stdout] 14 | use lambdabar_mu::*; [INFO] [stdout] | ^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `lambdabar_mu_mutilde::*` [INFO] [stdout] --> src/main.rs:15:5 [INFO] [stdout] | [INFO] [stdout] 15 | use lambdabar_mu_mutilde::*; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0599]: no variant or associated item named `translate_l2r` found for enum `lambdabar_mu_mutilde_comp::LbMMtCompCommand` in the current scope [INFO] [stdout] --> src/main.rs:22:32 [INFO] [stdout] | [INFO] [stdout] 22 | let e1 = LbMMtCompCommand::translate_l2r(&e); [INFO] [stdout] | ^^^^^^^^^^^^^ variant or associated item not found in `LbMMtCompCommand` [INFO] [stdout] | [INFO] [stdout] ::: src/lambdabar_mu_mutilde_comp.rs:10:1 [INFO] [stdout] | [INFO] [stdout] 10 | pub enum LbMMtCompCommand { [INFO] [stdout] | ------------------------- variant or associated item `translate_l2r` not found for this enum [INFO] [stdout] | [INFO] [stdout] note: if you're trying to build a new `lambdabar_mu_mutilde_comp::LbMMtCompCommand`, consider using `lambdabar_mu_mutilde_comp::LbMMtCompCommand::from` which returns `lambdabar_mu_mutilde_comp::LbMMtCompCommand` [INFO] [stdout] --> src/lambdabar_mu_mutilde_comp.rs:158:3 [INFO] [stdout] | [INFO] [stdout] 158 | pub fn from(c: &LbMMtCommand) -> LbMMtCompCommand { [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variable does not need to be mutable [INFO] [stdout] --> src/lambda.rs:260:13 [INFO] [stdout] | [INFO] [stdout] 260 | let mut s1: String; [INFO] [stdout] | ----^^ [INFO] [stdout] | | [INFO] [stdout] | help: remove this `mut` [INFO] [stdout] | [INFO] [stdout] = note: `#[warn(unused_mut)]` on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variable does not need to be mutable [INFO] [stdout] --> src/lambda.rs:266:13 [INFO] [stdout] | [INFO] [stdout] 266 | let mut s2: String; [INFO] [stdout] | ----^^ [INFO] [stdout] | | [INFO] [stdout] | help: remove this `mut` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variable does not need to be mutable [INFO] [stdout] --> src/lambda_double.rs:417:13 [INFO] [stdout] | [INFO] [stdout] 417 | let mut s1: String; [INFO] [stdout] | ----^^ [INFO] [stdout] | | [INFO] [stdout] | help: remove this `mut` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variable does not need to be mutable [INFO] [stdout] --> src/lambda_double.rs:423:13 [INFO] [stdout] | [INFO] [stdout] 423 | let mut s2: String; [INFO] [stdout] | ----^^ [INFO] [stdout] | | [INFO] [stdout] | help: remove this `mut` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variable does not need to be mutable [INFO] [stdout] --> src/lambda_mu.rs:338:13 [INFO] [stdout] | [INFO] [stdout] 338 | let mut s1: String; [INFO] [stdout] | ----^^ [INFO] [stdout] | | [INFO] [stdout] | help: remove this `mut` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variable does not need to be mutable [INFO] [stdout] --> src/lambda_mu.rs:344:13 [INFO] [stdout] | [INFO] [stdout] 344 | let mut s2: String; [INFO] [stdout] | ----^^ [INFO] [stdout] | | [INFO] [stdout] | help: remove this `mut` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `in_abst` [INFO] [stdout] --> src/lambdabar_mu.rs:32:39 [INFO] [stdout] | [INFO] [stdout] 32 | fn parser(q: &mut VecDeque, in_abst: bool) -> LbMCommand { [INFO] [stdout] | ^^^^^^^ help: if this is intentional, prefix it with an underscore: `_in_abst` [INFO] [stdout] | [INFO] [stdout] = note: `#[warn(unused_variables)]` on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `in_abst` [INFO] [stdout] --> src/lambdabar_mu.rs:117:39 [INFO] [stdout] | [INFO] [stdout] 117 | fn parser(q: &mut VecDeque, in_abst: bool) -> LbMContext { [INFO] [stdout] | ^^^^^^^ help: if this is intentional, prefix it with an underscore: `_in_abst` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `in_abst` [INFO] [stdout] --> src/lambdabar_mu.rs:210:39 [INFO] [stdout] | [INFO] [stdout] 210 | fn parser(q: &mut VecDeque, in_abst: bool) -> LbMTerm { [INFO] [stdout] | ^^^^^^^ help: if this is intentional, prefix it with an underscore: `_in_abst` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0599]: no variant or associated item named `translate_l2r` found for enum `lambdabar_mu_mutilde_comp::LbMMtCompCommand` in the current scope [INFO] [stdout] --> src/main.rs:22:32 [INFO] [stdout] | [INFO] [stdout] 22 | let e1 = LbMMtCompCommand::translate_l2r(&e); [INFO] [stdout] | ^^^^^^^^^^^^^ variant or associated item not found in `LbMMtCompCommand` [INFO] [stdout] | [INFO] [stdout] ::: src/lambdabar_mu_mutilde_comp.rs:10:1 [INFO] [stdout] | [INFO] [stdout] 10 | pub enum LbMMtCompCommand { [INFO] [stdout] | ------------------------- variant or associated item `translate_l2r` not found for this enum [INFO] [stdout] | [INFO] [stdout] note: if you're trying to build a new `lambdabar_mu_mutilde_comp::LbMMtCompCommand`, consider using `lambdabar_mu_mutilde_comp::LbMMtCompCommand::from` which returns `lambdabar_mu_mutilde_comp::LbMMtCompCommand` [INFO] [stdout] --> src/lambdabar_mu_mutilde_comp.rs:158:3 [INFO] [stdout] | [INFO] [stdout] 158 | pub fn from(c: &LbMMtCommand) -> LbMMtCompCommand { [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variable does not need to be mutable [INFO] [stdout] --> src/lambda.rs:260:13 [INFO] [stdout] | [INFO] [stdout] 260 | let mut s1: String; [INFO] [stdout] | ----^^ [INFO] [stdout] | | [INFO] [stdout] | help: remove this `mut` [INFO] [stdout] | [INFO] [stdout] = note: `#[warn(unused_mut)]` on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variable does not need to be mutable [INFO] [stdout] --> src/lambda.rs:266:13 [INFO] [stdout] | [INFO] [stdout] 266 | let mut s2: String; [INFO] [stdout] | ----^^ [INFO] [stdout] | | [INFO] [stdout] | help: remove this `mut` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: aborting due to 8 previous errors; 12 warnings emitted [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] Some errors have detailed explanations: E0432, E0583, E0599. [INFO] [stdout] [INFO] [stdout] For more information about an error, try `rustc --explain E0432`. [INFO] [stdout] [INFO] [stdout] warning: variable does not need to be mutable [INFO] [stdout] --> src/lambda_double.rs:417:13 [INFO] [stdout] | [INFO] [stdout] 417 | let mut s1: String; [INFO] [stdout] | ----^^ [INFO] [stdout] | | [INFO] [stdout] | help: remove this `mut` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variable does not need to be mutable [INFO] [stdout] --> src/lambda_double.rs:423:13 [INFO] [stdout] | [INFO] [stdout] 423 | let mut s2: String; [INFO] [stdout] | ----^^ [INFO] [stdout] | | [INFO] [stdout] | help: remove this `mut` [INFO] [stdout] [INFO] [stdout] [INFO] [stderr] error: could not compile `lmm-calculus` (bin "lmm-calculus") due to 9 previous errors; 12 warnings emitted [INFO] [stderr] warning: build failed, waiting for other jobs to finish... [INFO] [stdout] warning: variable does not need to be mutable [INFO] [stdout] --> src/lambda_mu.rs:338:13 [INFO] [stdout] | [INFO] [stdout] 338 | let mut s1: String; [INFO] [stdout] | ----^^ [INFO] [stdout] | | [INFO] [stdout] | help: remove this `mut` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variable does not need to be mutable [INFO] [stdout] --> src/lambda_mu.rs:344:13 [INFO] [stdout] | [INFO] [stdout] 344 | let mut s2: String; [INFO] [stdout] | ----^^ [INFO] [stdout] | | [INFO] [stdout] | help: remove this `mut` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `in_abst` [INFO] [stdout] --> src/lambdabar_mu.rs:32:39 [INFO] [stdout] | [INFO] [stdout] 32 | fn parser(q: &mut VecDeque, in_abst: bool) -> LbMCommand { [INFO] [stdout] | ^^^^^^^ help: if this is intentional, prefix it with an underscore: `_in_abst` [INFO] [stdout] | [INFO] [stdout] = note: `#[warn(unused_variables)]` on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `in_abst` [INFO] [stdout] --> src/lambdabar_mu.rs:117:39 [INFO] [stdout] | [INFO] [stdout] 117 | fn parser(q: &mut VecDeque, in_abst: bool) -> LbMContext { [INFO] [stdout] | ^^^^^^^ help: if this is intentional, prefix it with an underscore: `_in_abst` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `in_abst` [INFO] [stdout] --> src/lambdabar_mu.rs:210:39 [INFO] [stdout] | [INFO] [stdout] 210 | fn parser(q: &mut VecDeque, in_abst: bool) -> LbMTerm { [INFO] [stdout] | ^^^^^^^ help: if this is intentional, prefix it with an underscore: `_in_abst` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: aborting due to 8 previous errors; 12 warnings emitted [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] Some errors have detailed explanations: E0432, E0583, E0599. [INFO] [stdout] [INFO] [stdout] For more information about an error, try `rustc --explain E0432`. [INFO] [stdout] [INFO] [stderr] error: could not compile `lmm-calculus` (bin "lmm-calculus" test) due to 9 previous errors; 12 warnings emitted [INFO] running `Command { std: "docker" "inspect" "d0158d4b80ed10f83c05b9754bdcb7ebb1b030e3846446a028c6388fa9f9eebb", kill_on_drop: false }` [INFO] running `Command { std: "docker" "rm" "-f" "d0158d4b80ed10f83c05b9754bdcb7ebb1b030e3846446a028c6388fa9f9eebb", kill_on_drop: false }` [INFO] [stdout] d0158d4b80ed10f83c05b9754bdcb7ebb1b030e3846446a028c6388fa9f9eebb