[INFO] cloning repository https://github.com/yportne13/elaboration-zoo-lsp
[INFO] running `Command { std: "git" "-c" "credential.helper=" "-c" "credential.helper=/workspace/cargo-home/bin/git-credential-null" "clone" "--bare" "https://github.com/yportne13/elaboration-zoo-lsp" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Fyportne13%2Felaboration-zoo-lsp", kill_on_drop: false }`
[INFO] [stderr] Cloning into bare repository '/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Fyportne13%2Felaboration-zoo-lsp'...
[INFO] running `Command { std: "git" "rev-parse" "HEAD", kill_on_drop: false }`
[INFO] [stdout] 81ae18961df4f9c56a6ec0fe08a32505cca4c2e2
[INFO] checking yportne13/elaboration-zoo-lsp against 760e1de835e253bf28bbcbfee38b5e8ed9ffe074 for pr-133502-26
[INFO] running `Command { std: "git" "clone" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Fyportne13%2Felaboration-zoo-lsp" "/workspace/builds/worker-1-tc2/source", kill_on_drop: false }`
[INFO] [stderr] Cloning into '/workspace/builds/worker-1-tc2/source'...
[INFO] [stderr] done.
[INFO] started tweaking git repo https://github.com/yportne13/elaboration-zoo-lsp
[INFO] finished tweaking git repo https://github.com/yportne13/elaboration-zoo-lsp
[INFO] tweaked toml for git repo https://github.com/yportne13/elaboration-zoo-lsp written to /workspace/builds/worker-1-tc2/source/Cargo.toml
[INFO] validating manifest of git repo https://github.com/yportne13/elaboration-zoo-lsp on toolchain 760e1de835e253bf28bbcbfee38b5e8ed9ffe074
[INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+760e1de835e253bf28bbcbfee38b5e8ed9ffe074" "metadata" "--manifest-path" "Cargo.toml" "--no-deps", kill_on_drop: false }`
[INFO] crate git repo https://github.com/yportne13/elaboration-zoo-lsp 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" "+760e1de835e253bf28bbcbfee38b5e8ed9ffe074" "fetch" "--manifest-path" "Cargo.toml", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-1-tc2/source:/opt/rustwide/workdir:ro,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-1-tc2/target:/opt/rustwide/target:rw,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" "-m" "1610612736" "--network" "none" "ghcr.io/rust-lang/crates-build-env/linux@sha256:1fa6594d87c8fa7b311925a7a77a16f539833322d9dfba4ce891f211db2f90b1" "sleep" "infinity", kill_on_drop: false }`
[INFO] [stdout] 9d17fd153d2774457d6c8f28d6a10c8949d3ceafbebe8b80790a96ab7c88cbe4
[INFO] running `Command { std: "docker" "start" "9d17fd153d2774457d6c8f28d6a10c8949d3ceafbebe8b80790a96ab7c88cbe4", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "inspect" "9d17fd153d2774457d6c8f28d6a10c8949d3ceafbebe8b80790a96ab7c88cbe4", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "exec" "-e" "SOURCE_DIR=/opt/rustwide/workdir" "-e" "CARGO_HOME=/opt/rustwide/cargo-home" "-e" "RUSTUP_HOME=/opt/rustwide/rustup-home" "-e" "CARGO_TARGET_DIR=/opt/rustwide/target" "-w" "/opt/rustwide/workdir" "--user" "0:0" "9d17fd153d2774457d6c8f28d6a10c8949d3ceafbebe8b80790a96ab7c88cbe4" "/opt/rustwide/cargo-home/bin/cargo" "+760e1de835e253bf28bbcbfee38b5e8ed9ffe074" "metadata" "--no-deps" "--format-version=1", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "inspect" "9d17fd153d2774457d6c8f28d6a10c8949d3ceafbebe8b80790a96ab7c88cbe4", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "exec" "-e" "SOURCE_DIR=/opt/rustwide/workdir" "-e" "CARGO_HOME=/opt/rustwide/cargo-home" "-e" "RUSTUP_HOME=/opt/rustwide/rustup-home" "-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" "-w" "/opt/rustwide/workdir" "--user" "0:0" "9d17fd153d2774457d6c8f28d6a10c8949d3ceafbebe8b80790a96ab7c88cbe4" "/opt/rustwide/cargo-home/bin/cargo" "+760e1de835e253bf28bbcbfee38b5e8ed9ffe074" "check" "--frozen" "--all" "--all-targets" "--message-format=json", kill_on_drop: false }`
[INFO] [stderr]     Checking writeable v0.5.5
[INFO] [stderr]     Checking litemap v0.7.5
[INFO] [stderr]    Compiling find-msvc-tools v0.1.5
[INFO] [stderr]     Checking smallvec v1.14.0
[INFO] [stderr]     Checking icu_locid_transform_data v1.5.0
[INFO] [stderr]     Checking icu_properties_data v1.5.0
[INFO] [stderr]    Compiling zerocopy v0.8.31
[INFO] [stderr]    Compiling object v0.32.2
[INFO] [stderr]     Checking icu_normalizer_data v1.5.0
[INFO] [stderr]     Checking write16 v1.0.0
[INFO] [stderr]    Compiling quote v1.0.40
[INFO] [stderr]     Checking utf16_iter v1.0.5
[INFO] [stderr]     Checking anstream v0.6.21
[INFO] [stderr]    Compiling thiserror v2.0.17
[INFO] [stderr]     Checking crossbeam-channel v0.5.15
[INFO] [stderr]     Checking log v0.4.30
[INFO] [stderr]     Checking str_indices v0.4.4
[INFO] [stderr]     Checking codespan-reporting v0.13.1
[INFO] [stderr]     Checking rust-lapper v1.2.0
[INFO] [stderr]     Checking oxc_index v0.36.0
[INFO] [stderr]     Checking smol_str v0.3.2
[INFO] [stderr]    Compiling cc v1.2.48
[INFO] [stderr]     Checking clap_builder v4.5.60
[INFO] [stderr]     Checking parking_lot_core v0.9.12
[INFO] [stderr]     Checking ropey v1.6.1
[INFO] [stderr]    Compiling syn v2.0.100
[INFO] [stderr]    Compiling stacker v0.1.22
[INFO] [stderr]     Checking ahash v0.8.12
[INFO] [stderr]     Checking hashbrown v0.14.5
[INFO] [stderr]     Checking dashmap v6.1.0
[INFO] [stderr]    Compiling ar_archive_writer v0.2.0
[INFO] [stderr]    Compiling psm v0.1.28
[INFO] [stderr]     Checking chumsky v0.9.3
[INFO] [stderr]    Compiling synstructure v0.13.1
[INFO] [stderr]    Compiling zerovec-derive v0.10.3
[INFO] [stderr]    Compiling displaydoc v0.2.5
[INFO] [stderr]    Compiling icu_provider_macros v1.5.0
[INFO] [stderr]    Compiling serde_derive v1.0.219
[INFO] [stderr]    Compiling thiserror-impl v2.0.17
[INFO] [stderr]    Compiling clap_derive v4.5.55
[INFO] [stderr]    Compiling serde_repr v0.1.20
[INFO] [stderr]    Compiling zerofrom-derive v0.1.6
[INFO] [stderr]    Compiling yoke-derive v0.7.5
[INFO] [stderr]     Checking zerofrom v0.1.6
[INFO] [stderr]     Checking yoke v0.7.5
[INFO] [stderr]     Checking zerovec v0.10.4
[INFO] [stderr]     Checking clap v4.5.60
[INFO] [stderr]     Checking tinystr v0.7.6
[INFO] [stderr]     Checking icu_collections v1.5.0
[INFO] [stderr]     Checking icu_locid v1.5.0
[INFO] [stderr]     Checking serde v1.0.219
[INFO] [stderr]     Checking icu_provider v1.5.0
[INFO] [stderr]     Checking icu_locid_transform v1.5.0
[INFO] [stderr]     Checking icu_properties v1.5.1
[INFO] [stderr]     Checking icu_normalizer v1.5.0
[INFO] [stderr]     Checking serde_json v1.0.140
[INFO] [stderr]     Checking idna_adapter v1.2.0
[INFO] [stderr]     Checking idna v1.0.3
[INFO] [stderr]     Checking url v2.5.4
[INFO] [stderr]     Checking lsp-server v0.7.8
[INFO] [stderr]     Checking lsp-types v0.95.1
[INFO] [stderr]     Checking elaboration-zoo-lsp v0.1.0 (/opt/rustwide/workdir)
[INFO] [stdout] warning: unused imports: `hash::Hash`, `marker::PhantomData`, `ops::Add`, and `str::pattern::Pattern`
[INFO] [stdout]  --> src/parser_lib_resilient.rs:1:23
[INFO] [stdout]   |
[INFO] [stdout] 1 | use std::{fmt::Debug, ops::Add, str::pattern::Pattern, hash::Hash, marker::PhantomData};
[INFO] [stdout]   |                       ^^^^^^^^  ^^^^^^^^^^^^^^^^^^^^^  ^^^^^^^^^^  ^^^^^^^^^^^^^^^^^^^
[INFO] [stdout]   |
[INFO] [stdout]   = note: `#[warn(unused_imports)]` (part of `#[warn(unused)]`) on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused import: `Severity`
[INFO] [stdout]  --> src/parser_lib_resilient.rs:3:43
[INFO] [stdout]   |
[INFO] [stdout] 3 | pub use crate::parser_lib::{Span, ToSpan, Severity, Diagnostic, unescape};
[INFO] [stdout]   |                                           ^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused import: `colored::Colorize`
[INFO] [stdout]  --> src/L03_holes/mod.rs:1:5
[INFO] [stdout]   |
[INFO] [stdout] 1 | use colored::Colorize;
[INFO] [stdout]   |     ^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused import: `colored::Colorize`
[INFO] [stdout]  --> src/L04_implicit/mod.rs:1:5
[INFO] [stdout]   |
[INFO] [stdout] 1 | use colored::Colorize;
[INFO] [stdout]   |     ^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused imports: `Either` and `Raw`
[INFO] [stdout]  --> src/L04_implicit/mod.rs:3:22
[INFO] [stdout]   |
[INFO] [stdout] 3 | use parser::syntax::{Either, Icit, Raw};
[INFO] [stdout]   |                      ^^^^^^        ^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused import: `colored::Colorize`
[INFO] [stdout]  --> src/L04_implicit/elaboration.rs:1:5
[INFO] [stdout]   |
[INFO] [stdout] 1 | use colored::Colorize;
[INFO] [stdout]   |     ^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused import: `colored::Colorize`
[INFO] [stdout]  --> src/L04_implicit/unification.rs:1:5
[INFO] [stdout]   |
[INFO] [stdout] 1 | use colored::Colorize;
[INFO] [stdout]   |     ^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused import: `colored::Colorize`
[INFO] [stdout]  --> src/L05_pruning/mod.rs:1:5
[INFO] [stdout]   |
[INFO] [stdout] 1 | use colored::Colorize;
[INFO] [stdout]   |     ^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused imports: `Either` and `Raw`
[INFO] [stdout]  --> src/L05_pruning/mod.rs:3:22
[INFO] [stdout]   |
[INFO] [stdout] 3 | use parser::syntax::{Either, Icit, Raw};
[INFO] [stdout]   |                      ^^^^^^        ^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused import: `colored::Colorize`
[INFO] [stdout]  --> src/L05_pruning/elaboration.rs:1:5
[INFO] [stdout]   |
[INFO] [stdout] 1 | use colored::Colorize;
[INFO] [stdout]   |     ^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused imports: `Ix` and `cxt::NameOrigin`
[INFO] [stdout]  --> src/L05_pruning/elaboration.rs:6:5
[INFO] [stdout]   |
[INFO] [stdout] 6 |     cxt::NameOrigin, empty_span, lvl2ix, parser::syntax::{Either, Icit, Raw}, Closure, Cxt, Error, Infer, Ix, Tm, VTy, Val
[INFO] [stdout]   |     ^^^^^^^^^^^^^^^                                                                                       ^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused import: `colored::Colorize`
[INFO] [stdout]  --> src/L05_pruning/unification.rs:1:5
[INFO] [stdout]   |
[INFO] [stdout] 1 | use colored::Colorize;
[INFO] [stdout]   |     ^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused import: `Error`
[INFO] [stdout]  --> src/L05_pruning/unification.rs:6:5
[INFO] [stdout]   |
[INFO] [stdout] 6 |     Error, Infer, Lvl, MetaEntry, MetaVar, Spine, Tm, UnifyError, VTy, Val, lvl2ix,
[INFO] [stdout]   |     ^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused import: `colored::Colorize`
[INFO] [stdout]  --> src/L06_string/mod.rs:1:5
[INFO] [stdout]   |
[INFO] [stdout] 1 | use colored::Colorize;
[INFO] [stdout]   |     ^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused imports: `Either` and `Raw`
[INFO] [stdout]  --> src/L06_string/mod.rs:3:22
[INFO] [stdout]   |
[INFO] [stdout] 3 | use parser::syntax::{Either, Icit, Raw};
[INFO] [stdout]   |                      ^^^^^^        ^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused import: `colored::Colorize`
[INFO] [stdout]  --> src/L06_string/elaboration.rs:3:5
[INFO] [stdout]   |
[INFO] [stdout] 3 | use colored::Colorize;
[INFO] [stdout]   |     ^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused imports: `Ix` and `cxt::NameOrigin`
[INFO] [stdout]  --> src/L06_string/elaboration.rs:8:5
[INFO] [stdout]   |
[INFO] [stdout] 8 |     cxt::NameOrigin, empty_span, lvl2ix, parser::syntax::{Decl, Either, Icit, Raw}, Closure, Cxt, DeclTm, Error, Infer, Ix, Tm, VTy, Val
[INFO] [stdout]   |     ^^^^^^^^^^^^^^^                                                                                                     ^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused import: `colored::Colorize`
[INFO] [stdout]  --> src/L06_string/unification.rs:1:5
[INFO] [stdout]   |
[INFO] [stdout] 1 | use colored::Colorize;
[INFO] [stdout]   |     ^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused import: `Error`
[INFO] [stdout]  --> src/L06_string/unification.rs:6:5
[INFO] [stdout]   |
[INFO] [stdout] 6 |     Error, Infer, Lvl, MetaEntry, MetaVar, Spine, Tm, UnifyError, VTy, Val, lvl2ix,
[INFO] [stdout]   |     ^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused import: `colored::Colorize`
[INFO] [stdout]  --> src/L07_sum_type/mod.rs:1:5
[INFO] [stdout]   |
[INFO] [stdout] 1 | use colored::Colorize;
[INFO] [stdout]   |     ^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused imports: `Either` and `Pattern`
[INFO] [stdout]  --> src/L07_sum_type/mod.rs:3:22
[INFO] [stdout]   |
[INFO] [stdout] 3 | use parser::syntax::{Either, Icit, Pattern, Raw};
[INFO] [stdout]   |                      ^^^^^^        ^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused import: `DecisionTree`
[INFO] [stdout]  --> src/L07_sum_type/mod.rs:4:31
[INFO] [stdout]   |
[INFO] [stdout] 4 | use pattern_match::{Compiler, DecisionTree};
[INFO] [stdout]   |                               ^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused import: `colored::Colorize`
[INFO] [stdout]  --> src/L07_sum_type/elaboration.rs:3:5
[INFO] [stdout]   |
[INFO] [stdout] 3 | use colored::Colorize;
[INFO] [stdout]   |     ^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused import: `list::List`
[INFO] [stdout]  --> src/L07_sum_type/elaboration.rs:5:13
[INFO] [stdout]   |
[INFO] [stdout] 5 | use crate::{list::List, parser_lib::Span, L07_sum_type::{parser::syntax::Pattern, pattern_match::Compiler, PatternDetail}};
[INFO] [stdout]   |             ^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused imports: `Ix` and `cxt::NameOrigin`
[INFO] [stdout]  --> src/L07_sum_type/elaboration.rs:8:41
[INFO] [stdout]   |
[INFO] [stdout] 8 |     Closure, Cxt, DeclTm, Error, Infer, Ix, Tm, VTy, Val,
[INFO] [stdout]   |                                         ^^
[INFO] [stdout] 9 |     cxt::NameOrigin,
[INFO] [stdout]   |     ^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused import: `list::List`
[INFO] [stdout]  --> src/L07_sum_type/parser/syntax.rs:1:13
[INFO] [stdout]   |
[INFO] [stdout] 1 | use crate::{list::List, parser_lib::Span};
[INFO] [stdout]   |             ^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused import: `colored::Colorize`
[INFO] [stdout]  --> src/L07_sum_type/unification.rs:1:5
[INFO] [stdout]   |
[INFO] [stdout] 1 | use colored::Colorize;
[INFO] [stdout]   |     ^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused import: `Error`
[INFO] [stdout]  --> src/L07_sum_type/unification.rs:6:5
[INFO] [stdout]   |
[INFO] [stdout] 6 |     Error, Infer, Lvl, MetaEntry, MetaVar, Spine, Tm, UnifyError, VTy, Val, cxt::Cxt, lvl2ix,
[INFO] [stdout]   |     ^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused import: `colored::Colorize`
[INFO] [stdout]  --> src/L07a_depend_pm/mod.rs:1:5
[INFO] [stdout]   |
[INFO] [stdout] 1 | use colored::Colorize;
[INFO] [stdout]   |     ^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused imports: `Pattern` and `Raw`
[INFO] [stdout]  --> src/L07a_depend_pm/mod.rs:3:36
[INFO] [stdout]   |
[INFO] [stdout] 3 | use parser::syntax::{Either, Icit, Pattern, Raw};
[INFO] [stdout]   |                                    ^^^^^^^  ^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused import: `DecisionTree`
[INFO] [stdout]  --> src/L07a_depend_pm/mod.rs:4:31
[INFO] [stdout]   |
[INFO] [stdout] 4 | use pattern_match::{Compiler, DecisionTree};
[INFO] [stdout]   |                               ^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused import: `std::collections::HashMap`
[INFO] [stdout]  --> src/L07a_depend_pm/cxt.rs:1:5
[INFO] [stdout]   |
[INFO] [stdout] 1 | use std::collections::HashMap;
[INFO] [stdout]   |     ^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused import: `std::collections::HashMap`
[INFO] [stdout]  --> src/L07a_depend_pm/elaboration.rs:1:5
[INFO] [stdout]   |
[INFO] [stdout] 1 | use std::collections::HashMap;
[INFO] [stdout]   |     ^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused import: `colored::Colorize`
[INFO] [stdout]  --> src/L07a_depend_pm/elaboration.rs:3:5
[INFO] [stdout]   |
[INFO] [stdout] 3 | use colored::Colorize;
[INFO] [stdout]   |     ^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused import: `list::List`
[INFO] [stdout]  --> src/L07a_depend_pm/elaboration.rs:5:13
[INFO] [stdout]   |
[INFO] [stdout] 5 | use crate::{list::List, parser_lib::Span};
[INFO] [stdout]   |             ^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused imports: `Ix`, `PatternDetail`, `Pattern`, and `cxt::NameOrigin`
[INFO] [stdout]   --> src/L07a_depend_pm/elaboration.rs:8:41
[INFO] [stdout]    |
[INFO] [stdout]  8 |     Closure, Cxt, DeclTm, Error, Infer, Ix, Tm, VTy, Val,
[INFO] [stdout]    |                                         ^^
[INFO] [stdout]  9 |     cxt::NameOrigin, Lvl,
[INFO] [stdout]    |     ^^^^^^^^^^^^^^^
[INFO] [stdout] 10 |     empty_span, lvl2ix,
[INFO] [stdout] 11 |     parser::syntax::{Decl, Either, Icit, Raw, Pattern},
[INFO] [stdout]    |                                               ^^^^^^^
[INFO] [stdout] 12 |     pattern_match::Compiler,
[INFO] [stdout] 13 |     PatternDetail,
[INFO] [stdout]    |     ^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused import: `list::List`
[INFO] [stdout]  --> src/L07a_depend_pm/parser/syntax.rs:1:13
[INFO] [stdout]   |
[INFO] [stdout] 1 | use crate::{list::List, parser_lib::Span};
[INFO] [stdout]   |             ^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused import: `ToSpan`
[INFO] [stdout]  --> src/L07a_depend_pm/pattern_match.rs:6:32
[INFO] [stdout]   |
[INFO] [stdout] 6 | use crate::{parser_lib::{Span, ToSpan}, L07a_depend_pm::{parser::syntax::Icit}};
[INFO] [stdout]   |                                ^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused import: `colored::Colorize`
[INFO] [stdout]  --> src/L07a_depend_pm/unification.rs:1:5
[INFO] [stdout]   |
[INFO] [stdout] 1 | use colored::Colorize;
[INFO] [stdout]   |     ^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused imports: `Error` and `pretty::pretty_tm`
[INFO] [stdout]  --> src/L07a_depend_pm/unification.rs:6:5
[INFO] [stdout]   |
[INFO] [stdout] 6 |     Error, Infer, Lvl, MetaEntry, MetaVar, Spine, Tm, UnifyError, VTy, Val, cxt::Cxt, lvl2ix,
[INFO] [stdout]   |     ^^^^^
[INFO] [stdout] 7 |     parser::syntax::Icit, syntax::Pruning, empty_span, pretty::pretty_tm,
[INFO] [stdout]   |                                                        ^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused import: `colored::Colorize`
[INFO] [stdout]  --> src/L08_product_type/mod.rs:1:5
[INFO] [stdout]   |
[INFO] [stdout] 1 | use colored::Colorize;
[INFO] [stdout]   |     ^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused imports: `Pattern` and `Raw`
[INFO] [stdout]  --> src/L08_product_type/mod.rs:3:36
[INFO] [stdout]   |
[INFO] [stdout] 3 | use parser::syntax::{Either, Icit, Pattern, Raw};
[INFO] [stdout]   |                                    ^^^^^^^  ^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused import: `DecisionTree`
[INFO] [stdout]  --> src/L08_product_type/mod.rs:4:31
[INFO] [stdout]   |
[INFO] [stdout] 4 | use pattern_match::{Compiler, DecisionTree};
[INFO] [stdout]   |                               ^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused import: `std::collections::HashMap`
[INFO] [stdout]  --> src/L08_product_type/cxt.rs:1:5
[INFO] [stdout]   |
[INFO] [stdout] 1 | use std::collections::HashMap;
[INFO] [stdout]   |     ^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused import: `std::collections::HashMap`
[INFO] [stdout]  --> src/L08_product_type/elaboration.rs:1:5
[INFO] [stdout]   |
[INFO] [stdout] 1 | use std::collections::HashMap;
[INFO] [stdout]   |     ^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused import: `list::List`
[INFO] [stdout]  --> src/L08_product_type/elaboration.rs:5:13
[INFO] [stdout]   |
[INFO] [stdout] 5 | use crate::{list::List, parser_lib::Span};
[INFO] [stdout]   |             ^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused imports: `Ix`, `PatternDetail`, `Pattern`, and `cxt::NameOrigin`
[INFO] [stdout]   --> src/L08_product_type/elaboration.rs:8:41
[INFO] [stdout]    |
[INFO] [stdout]  8 |     Closure, Cxt, DeclTm, Error, Infer, Ix, Tm, VTy, Val,
[INFO] [stdout]    |                                         ^^
[INFO] [stdout]  9 |     cxt::NameOrigin, Lvl,
[INFO] [stdout]    |     ^^^^^^^^^^^^^^^
[INFO] [stdout] 10 |     empty_span, lvl2ix,
[INFO] [stdout] 11 |     parser::syntax::{Decl, Either, Icit, Raw, Pattern},
[INFO] [stdout]    |                                               ^^^^^^^
[INFO] [stdout] 12 |     pattern_match::Compiler,
[INFO] [stdout] 13 |     PatternDetail,
[INFO] [stdout]    |     ^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variant `newKeyword` should have an upper camel case name
[INFO] [stdout]   --> src/L08_product_type/parser/lex.rs:13:5
[INFO] [stdout]    |
[INFO] [stdout] 13 |     newKeyword,
[INFO] [stdout]    |     ^^^^^^^^^^ help: convert the identifier to upper camel case: `NewKeyword`
[INFO] [stdout]    |
[INFO] [stdout]    = note: `#[warn(non_camel_case_types)]` (part of `#[warn(nonstandard_style)]`) on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused import: `list::List`
[INFO] [stdout]  --> src/L08_product_type/parser/syntax.rs:1:13
[INFO] [stdout]   |
[INFO] [stdout] 1 | use crate::{list::List, parser_lib::Span};
[INFO] [stdout]   |             ^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused import: `super::empty_span`
[INFO] [stdout]   --> src/L08_product_type/parser/mod.rs:11:5
[INFO] [stdout]    |
[INFO] [stdout] 11 | use super::empty_span;
[INFO] [stdout]    |     ^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused import: `ToSpan`
[INFO] [stdout]  --> src/L08_product_type/pattern_match.rs:6:31
[INFO] [stdout]   |
[INFO] [stdout] 6 | use crate::parser_lib::{Span, ToSpan};
[INFO] [stdout]   |                               ^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused import: `colored::Colorize`
[INFO] [stdout]  --> src/L08_product_type/unification.rs:1:5
[INFO] [stdout]   |
[INFO] [stdout] 1 | use colored::Colorize;
[INFO] [stdout]   |     ^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused imports: `Error` and `pretty::pretty_tm`
[INFO] [stdout]  --> src/L08_product_type/unification.rs:6:5
[INFO] [stdout]   |
[INFO] [stdout] 6 |     Error, Infer, Lvl, MetaEntry, MetaVar, Spine, Tm, UnifyError, VTy, Val, cxt::Cxt, lvl2ix,
[INFO] [stdout]   |     ^^^^^
[INFO] [stdout] 7 |     parser::syntax::Icit, syntax::Pruning, empty_span, pretty::pretty_tm,
[INFO] [stdout]   |                                                        ^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused import: `colored::Colorize`
[INFO] [stdout]  --> src/L09_mltt/mod.rs:1:5
[INFO] [stdout]   |
[INFO] [stdout] 1 | use colored::Colorize;
[INFO] [stdout]   |     ^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused imports: `Pattern` and `Raw`
[INFO] [stdout]  --> src/L09_mltt/mod.rs:3:36
[INFO] [stdout]   |
[INFO] [stdout] 3 | use parser::syntax::{Either, Icit, Pattern, Raw};
[INFO] [stdout]   |                                    ^^^^^^^  ^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused import: `DecisionTree`
[INFO] [stdout]  --> src/L09_mltt/mod.rs:4:31
[INFO] [stdout]   |
[INFO] [stdout] 4 | use pattern_match::{Compiler, DecisionTree};
[INFO] [stdout]   |                               ^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused import: `collections::HashMap`
[INFO] [stdout]  --> src/L09_mltt/elaboration.rs:1:21
[INFO] [stdout]   |
[INFO] [stdout] 1 | use std::{cmp::max, collections::HashMap};
[INFO] [stdout]   |                     ^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused imports: `PatternDetail` and `Pattern`
[INFO] [stdout]   --> src/L09_mltt/elaboration.rs:11:47
[INFO] [stdout]    |
[INFO] [stdout] 11 |     parser::syntax::{Decl, Either, Icit, Raw, Pattern},
[INFO] [stdout]    |                                               ^^^^^^^
[INFO] [stdout] 12 |     pattern_match::Compiler, MetaEntry,
[INFO] [stdout] 13 |     PatternDetail,
[INFO] [stdout]    |     ^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused import: `ToSpan`
[INFO] [stdout]  --> src/L09_mltt/pattern_match.rs:6:31
[INFO] [stdout]   |
[INFO] [stdout] 6 | use crate::parser_lib::{Span, ToSpan};
[INFO] [stdout]   |                               ^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused import: `colored::Colorize`
[INFO] [stdout]  --> src/L09_mltt/unification.rs:1:5
[INFO] [stdout]   |
[INFO] [stdout] 1 | use colored::Colorize;
[INFO] [stdout]   |     ^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused imports: `Error` and `pretty::pretty_tm`
[INFO] [stdout]  --> src/L09_mltt/unification.rs:6:5
[INFO] [stdout]   |
[INFO] [stdout] 6 |     Error, Infer, Lvl, MetaEntry, MetaVar, Spine, Tm, UnifyError, VTy, Val, cxt::Cxt, lvl2ix,
[INFO] [stdout]   |     ^^^^^
[INFO] [stdout] 7 |     parser::syntax::Icit, syntax::Pruning, empty_span, pretty::pretty_tm,
[INFO] [stdout]   |                                                        ^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused import: `colored::Colorize`
[INFO] [stdout]  --> src/L10_typeclass/mod.rs:1:5
[INFO] [stdout]   |
[INFO] [stdout] 1 | use colored::Colorize;
[INFO] [stdout]   |     ^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused import: `colored::Colorize`
[INFO] [stdout]  --> src/L10_typeclass/unification.rs:1:5
[INFO] [stdout]   |
[INFO] [stdout] 1 | use colored::Colorize;
[INFO] [stdout]   |     ^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused imports: `pretty::pretty_tm` and `typeclass::Typ`
[INFO] [stdout]  --> src/L10_typeclass/unification.rs:6:88
[INFO] [stdout]   |
[INFO] [stdout] 6 |     Infer, Lvl, MetaEntry, MetaVar, Spine, Tm, UnifyError, VTy, Val, cxt::Cxt, lvl2ix, typeclass::Typ,
[INFO] [stdout]   |                                                                                        ^^^^^^^^^^^^^^
[INFO] [stdout] 7 |     parser::syntax::Icit, syntax::Pruning, empty_span, pretty::pretty_tm, typeclass::Assertion, Raw,
[INFO] [stdout]   |                                                        ^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused import: `colored::Colorize`
[INFO] [stdout]  --> src/L11_macro/mod.rs:1:5
[INFO] [stdout]   |
[INFO] [stdout] 1 | use colored::Colorize;
[INFO] [stdout]   |     ^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused import: `Lvl`
[INFO] [stdout]  --> src/L11_macro/elaboration.rs:9:5
[INFO] [stdout]   |
[INFO] [stdout] 9 |     Lvl, Rc,
[INFO] [stdout]   |     ^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused import: `colored::Colorize`
[INFO] [stdout]  --> src/L11_macro/unification.rs:1:5
[INFO] [stdout]   |
[INFO] [stdout] 1 | use colored::Colorize;
[INFO] [stdout]   |     ^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused imports: `pretty::pretty_tm` and `typeclass::Typ`
[INFO] [stdout]  --> src/L11_macro/unification.rs:6:88
[INFO] [stdout]   |
[INFO] [stdout] 6 |     Infer, Lvl, MetaEntry, MetaVar, Spine, Tm, UnifyError, VTy, Val, cxt::Cxt, lvl2ix, typeclass::Typ,
[INFO] [stdout]   |                                                                                        ^^^^^^^^^^^^^^
[INFO] [stdout] 7 |     parser::syntax::Icit, syntax::Pruning, empty_span, pretty::pretty_tm, typeclass::Assertion, Raw, Rc, Decl,
[INFO] [stdout]   |                                                        ^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused import: `Lvl`
[INFO] [stdout]   --> src/L12_canonical/elaboration.rs:10:5
[INFO] [stdout]    |
[INFO] [stdout] 10 |     Lvl, Rc, MetaVar,
[INFO] [stdout]    |     ^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused import: `HashMap`
[INFO] [stdout]  --> src/L12_canonical/parser/macros.rs:5:32
[INFO] [stdout]   |
[INFO] [stdout] 5 | use super::{TokenNode, IError, HashMap, ErrMsg, string, p_raw, p_pi_binder, empty_span, ParserExt, kw, MacroState};
[INFO] [stdout]   |                                ^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused import: `colored::Colorize`
[INFO] [stdout]  --> src/L12_canonical/unification.rs:1:5
[INFO] [stdout]   |
[INFO] [stdout] 1 | use colored::Colorize;
[INFO] [stdout]   |     ^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused import: `pretty::pretty_tm`
[INFO] [stdout]  --> src/L12_canonical/unification.rs:8:56
[INFO] [stdout]   |
[INFO] [stdout] 8 |     parser::syntax::Icit, syntax::Pruning, empty_span, pretty::pretty_tm, typeclass::Assertion, Raw, Rc, Decl,
[INFO] [stdout]   |                                                        ^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused imports: `Closure`, `Ix`, `Lvl`, `MetaEntry`, `MetaVar`, `Span`, `Spine`, `Tm`, `Ty`, `VTy`, `close_ty`, and `syntax::Locals`
[INFO] [stdout]  --> src/L12_canonical/canonical.rs:3:12
[INFO] [stdout]   |
[INFO] [stdout] 3 |     Infer, MetaEntry, Cxt, Rc, Val, UnifyError, Ty, Span,
[INFO] [stdout]   |            ^^^^^^^^^                            ^^  ^^^^
[INFO] [stdout] 4 |     MetaVar, Tm, Lvl, Ix, List, Closure, VTy, syntax::Locals,
[INFO] [stdout]   |     ^^^^^^^  ^^  ^^^  ^^        ^^^^^^^  ^^^  ^^^^^^^^^^^^^^
[INFO] [stdout] 5 |     empty_span, Raw, Either, Spine, close_ty, Icit,
[INFO] [stdout]   |                              ^^^^^  ^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused imports: `HashMap` and `extract_base`
[INFO] [stdout]  --> src/L13_namespace/parser/macros.rs:5:32
[INFO] [stdout]   |
[INFO] [stdout] 5 | use super::{TokenNode, IError, HashMap, ErrMsg, BaseMsg, extract_base, string, p_raw, p_pi_binder, empty_span, ParserExt, kw, MacroSt...
[INFO] [stdout]   |                                ^^^^^^^                   ^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused import: `ToSpan`
[INFO] [stdout]  --> src/L13_namespace/parser/derive.rs:6:31
[INFO] [stdout]   |
[INFO] [stdout] 6 | use crate::parser_lib::{Span, ToSpan};
[INFO] [stdout]   |                               ^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused import: `colored::Colorize`
[INFO] [stdout]  --> src/L13_namespace/unification.rs:1:5
[INFO] [stdout]   |
[INFO] [stdout] 1 | use colored::Colorize;
[INFO] [stdout]   |     ^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused imports: `Assertion` and `pretty::pretty_tm`
[INFO] [stdout]   --> src/L13_namespace/unification.rs:9:56
[INFO] [stdout]    |
[INFO] [stdout]  9 |     parser::syntax::Icit, syntax::Pruning, empty_span, pretty::pretty_tm,
[INFO] [stdout]    |                                                        ^^^^^^^^^^^^^^^^^
[INFO] [stdout] 10 |     typeclass::{Assertion, Instance}, Raw, Rc, Decl,
[INFO] [stdout]    |                 ^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused imports: `Closure`, `Ix`, `Lvl`, `MetaEntry`, `MetaVar`, `Span`, `Spine`, `Tm`, `Ty`, `VTy`, `close_ty`, and `syntax::Locals`
[INFO] [stdout]  --> src/L13_namespace/canonical.rs:3:12
[INFO] [stdout]   |
[INFO] [stdout] 3 |     Infer, MetaEntry, Cxt, Rc, Val, UnifyError, Ty, Span,
[INFO] [stdout]   |            ^^^^^^^^^                            ^^  ^^^^
[INFO] [stdout] 4 |     MetaVar, Tm, Lvl, Ix, List, Closure, VTy, syntax::Locals,
[INFO] [stdout]   |     ^^^^^^^  ^^  ^^^  ^^        ^^^^^^^  ^^^  ^^^^^^^^^^^^^^
[INFO] [stdout] 5 |     empty_span, Raw, Either, Spine, close_ty, Icit,
[INFO] [stdout]   |                              ^^^^^  ^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused import: `parser`
[INFO] [stdout]   --> src/lib.rs:49:29
[INFO] [stdout]    |
[INFO] [stdout] 49 | use L13_namespace::parser::{parser, parser_with_macros, macros::MacroRule, MacroExpansionInfo};
[INFO] [stdout]    |                             ^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused imports: `self`, `stdin`, and `stdout`
[INFO] [stdout]   --> src/lib.rs:55:15
[INFO] [stdout]    |
[INFO] [stdout] 55 | use std::io::{self, BufRead, Write, stdin, stdout};
[INFO] [stdout]    |               ^^^^                  ^^^^^  ^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused imports: `hash::Hash`, `marker::PhantomData`, `ops::Add`, and `str::pattern::Pattern`
[INFO] [stdout]  --> src/parser_lib_resilient.rs:1:23
[INFO] [stdout]   |
[INFO] [stdout] 1 | use std::{fmt::Debug, ops::Add, str::pattern::Pattern, hash::Hash, marker::PhantomData};
[INFO] [stdout]   |                       ^^^^^^^^  ^^^^^^^^^^^^^^^^^^^^^  ^^^^^^^^^^  ^^^^^^^^^^^^^^^^^^^
[INFO] [stdout]   |
[INFO] [stdout]   = note: `#[warn(unused_imports)]` (part of `#[warn(unused)]`) on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused import: `Severity`
[INFO] [stdout]  --> src/parser_lib_resilient.rs:3:43
[INFO] [stdout]   |
[INFO] [stdout] 3 | pub use crate::parser_lib::{Span, ToSpan, Severity, Diagnostic, unescape};
[INFO] [stdout]   |                                           ^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused import: `colored::Colorize`
[INFO] [stdout]  --> src/L03_holes/mod.rs:1:5
[INFO] [stdout]   |
[INFO] [stdout] 1 | use colored::Colorize;
[INFO] [stdout]   |     ^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused import: `colored::Colorize`
[INFO] [stdout]  --> src/L04_implicit/mod.rs:1:5
[INFO] [stdout]   |
[INFO] [stdout] 1 | use colored::Colorize;
[INFO] [stdout]   |     ^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused imports: `Either` and `Raw`
[INFO] [stdout]  --> src/L04_implicit/mod.rs:3:22
[INFO] [stdout]   |
[INFO] [stdout] 3 | use parser::syntax::{Either, Icit, Raw};
[INFO] [stdout]   |                      ^^^^^^        ^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused import: `colored::Colorize`
[INFO] [stdout]  --> src/L04_implicit/elaboration.rs:1:5
[INFO] [stdout]   |
[INFO] [stdout] 1 | use colored::Colorize;
[INFO] [stdout]   |     ^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused import: `colored::Colorize`
[INFO] [stdout]  --> src/L04_implicit/unification.rs:1:5
[INFO] [stdout]   |
[INFO] [stdout] 1 | use colored::Colorize;
[INFO] [stdout]   |     ^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused import: `colored::Colorize`
[INFO] [stdout]  --> src/L05_pruning/mod.rs:1:5
[INFO] [stdout]   |
[INFO] [stdout] 1 | use colored::Colorize;
[INFO] [stdout]   |     ^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused imports: `Either` and `Raw`
[INFO] [stdout]  --> src/L05_pruning/mod.rs:3:22
[INFO] [stdout]   |
[INFO] [stdout] 3 | use parser::syntax::{Either, Icit, Raw};
[INFO] [stdout]   |                      ^^^^^^        ^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused import: `colored::Colorize`
[INFO] [stdout]  --> src/L05_pruning/elaboration.rs:1:5
[INFO] [stdout]   |
[INFO] [stdout] 1 | use colored::Colorize;
[INFO] [stdout]   |     ^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused imports: `Ix` and `cxt::NameOrigin`
[INFO] [stdout]  --> src/L05_pruning/elaboration.rs:6:5
[INFO] [stdout]   |
[INFO] [stdout] 6 |     cxt::NameOrigin, empty_span, lvl2ix, parser::syntax::{Either, Icit, Raw}, Closure, Cxt, Error, Infer, Ix, Tm, VTy, Val
[INFO] [stdout]   |     ^^^^^^^^^^^^^^^                                                                                       ^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused import: `colored::Colorize`
[INFO] [stdout]  --> src/L05_pruning/unification.rs:1:5
[INFO] [stdout]   |
[INFO] [stdout] 1 | use colored::Colorize;
[INFO] [stdout]   |     ^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused import: `Error`
[INFO] [stdout]  --> src/L05_pruning/unification.rs:6:5
[INFO] [stdout]   |
[INFO] [stdout] 6 |     Error, Infer, Lvl, MetaEntry, MetaVar, Spine, Tm, UnifyError, VTy, Val, lvl2ix,
[INFO] [stdout]   |     ^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused import: `colored::Colorize`
[INFO] [stdout]  --> src/L06_string/mod.rs:1:5
[INFO] [stdout]   |
[INFO] [stdout] 1 | use colored::Colorize;
[INFO] [stdout]   |     ^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused imports: `Either` and `Raw`
[INFO] [stdout]  --> src/L06_string/mod.rs:3:22
[INFO] [stdout]   |
[INFO] [stdout] 3 | use parser::syntax::{Either, Icit, Raw};
[INFO] [stdout]   |                      ^^^^^^        ^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused import: `colored::Colorize`
[INFO] [stdout]  --> src/L06_string/elaboration.rs:3:5
[INFO] [stdout]   |
[INFO] [stdout] 3 | use colored::Colorize;
[INFO] [stdout]   |     ^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused imports: `Ix` and `cxt::NameOrigin`
[INFO] [stdout]  --> src/L06_string/elaboration.rs:8:5
[INFO] [stdout]   |
[INFO] [stdout] 8 |     cxt::NameOrigin, empty_span, lvl2ix, parser::syntax::{Decl, Either, Icit, Raw}, Closure, Cxt, DeclTm, Error, Infer, Ix, Tm, VTy, Val
[INFO] [stdout]   |     ^^^^^^^^^^^^^^^                                                                                                     ^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused import: `colored::Colorize`
[INFO] [stdout]  --> src/L06_string/unification.rs:1:5
[INFO] [stdout]   |
[INFO] [stdout] 1 | use colored::Colorize;
[INFO] [stdout]   |     ^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused import: `Error`
[INFO] [stdout]  --> src/L06_string/unification.rs:6:5
[INFO] [stdout]   |
[INFO] [stdout] 6 |     Error, Infer, Lvl, MetaEntry, MetaVar, Spine, Tm, UnifyError, VTy, Val, lvl2ix,
[INFO] [stdout]   |     ^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused import: `colored::Colorize`
[INFO] [stdout]  --> src/L07_sum_type/mod.rs:1:5
[INFO] [stdout]   |
[INFO] [stdout] 1 | use colored::Colorize;
[INFO] [stdout]   |     ^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused imports: `Either` and `Pattern`
[INFO] [stdout]  --> src/L07_sum_type/mod.rs:3:22
[INFO] [stdout]   |
[INFO] [stdout] 3 | use parser::syntax::{Either, Icit, Pattern, Raw};
[INFO] [stdout]   |                      ^^^^^^        ^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused import: `DecisionTree`
[INFO] [stdout]  --> src/L07_sum_type/mod.rs:4:31
[INFO] [stdout]   |
[INFO] [stdout] 4 | use pattern_match::{Compiler, DecisionTree};
[INFO] [stdout]   |                               ^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused import: `colored::Colorize`
[INFO] [stdout]  --> src/L07_sum_type/elaboration.rs:3:5
[INFO] [stdout]   |
[INFO] [stdout] 3 | use colored::Colorize;
[INFO] [stdout]   |     ^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused import: `list::List`
[INFO] [stdout]  --> src/L07_sum_type/elaboration.rs:5:13
[INFO] [stdout]   |
[INFO] [stdout] 5 | use crate::{list::List, parser_lib::Span, L07_sum_type::{parser::syntax::Pattern, pattern_match::Compiler, PatternDetail}};
[INFO] [stdout]   |             ^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused imports: `Ix` and `cxt::NameOrigin`
[INFO] [stdout]  --> src/L07_sum_type/elaboration.rs:8:41
[INFO] [stdout]   |
[INFO] [stdout] 8 |     Closure, Cxt, DeclTm, Error, Infer, Ix, Tm, VTy, Val,
[INFO] [stdout]   |                                         ^^
[INFO] [stdout] 9 |     cxt::NameOrigin,
[INFO] [stdout]   |     ^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused import: `list::List`
[INFO] [stdout]  --> src/L07_sum_type/parser/syntax.rs:1:13
[INFO] [stdout]   |
[INFO] [stdout] 1 | use crate::{list::List, parser_lib::Span};
[INFO] [stdout]   |             ^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused import: `colored::Colorize`
[INFO] [stdout]  --> src/L07_sum_type/unification.rs:1:5
[INFO] [stdout]   |
[INFO] [stdout] 1 | use colored::Colorize;
[INFO] [stdout]   |     ^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused import: `Error`
[INFO] [stdout]  --> src/L07_sum_type/unification.rs:6:5
[INFO] [stdout]   |
[INFO] [stdout] 6 |     Error, Infer, Lvl, MetaEntry, MetaVar, Spine, Tm, UnifyError, VTy, Val, cxt::Cxt, lvl2ix,
[INFO] [stdout]   |     ^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused import: `colored::Colorize`
[INFO] [stdout]  --> src/L07a_depend_pm/mod.rs:1:5
[INFO] [stdout]   |
[INFO] [stdout] 1 | use colored::Colorize;
[INFO] [stdout]   |     ^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused imports: `Pattern` and `Raw`
[INFO] [stdout]  --> src/L07a_depend_pm/mod.rs:3:36
[INFO] [stdout]   |
[INFO] [stdout] 3 | use parser::syntax::{Either, Icit, Pattern, Raw};
[INFO] [stdout]   |                                    ^^^^^^^  ^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused import: `DecisionTree`
[INFO] [stdout]  --> src/L07a_depend_pm/mod.rs:4:31
[INFO] [stdout]   |
[INFO] [stdout] 4 | use pattern_match::{Compiler, DecisionTree};
[INFO] [stdout]   |                               ^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused import: `std::collections::HashMap`
[INFO] [stdout]  --> src/L07a_depend_pm/cxt.rs:1:5
[INFO] [stdout]   |
[INFO] [stdout] 1 | use std::collections::HashMap;
[INFO] [stdout]   |     ^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused import: `std::collections::HashMap`
[INFO] [stdout]  --> src/L07a_depend_pm/elaboration.rs:1:5
[INFO] [stdout]   |
[INFO] [stdout] 1 | use std::collections::HashMap;
[INFO] [stdout]   |     ^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused import: `colored::Colorize`
[INFO] [stdout]  --> src/L07a_depend_pm/elaboration.rs:3:5
[INFO] [stdout]   |
[INFO] [stdout] 3 | use colored::Colorize;
[INFO] [stdout]   |     ^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused import: `list::List`
[INFO] [stdout]  --> src/L07a_depend_pm/elaboration.rs:5:13
[INFO] [stdout]   |
[INFO] [stdout] 5 | use crate::{list::List, parser_lib::Span};
[INFO] [stdout]   |             ^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused imports: `Ix`, `PatternDetail`, `Pattern`, and `cxt::NameOrigin`
[INFO] [stdout]   --> src/L07a_depend_pm/elaboration.rs:8:41
[INFO] [stdout]    |
[INFO] [stdout]  8 |     Closure, Cxt, DeclTm, Error, Infer, Ix, Tm, VTy, Val,
[INFO] [stdout]    |                                         ^^
[INFO] [stdout]  9 |     cxt::NameOrigin, Lvl,
[INFO] [stdout]    |     ^^^^^^^^^^^^^^^
[INFO] [stdout] 10 |     empty_span, lvl2ix,
[INFO] [stdout] 11 |     parser::syntax::{Decl, Either, Icit, Raw, Pattern},
[INFO] [stdout]    |                                               ^^^^^^^
[INFO] [stdout] 12 |     pattern_match::Compiler,
[INFO] [stdout] 13 |     PatternDetail,
[INFO] [stdout]    |     ^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused import: `list::List`
[INFO] [stdout]  --> src/L07a_depend_pm/parser/syntax.rs:1:13
[INFO] [stdout]   |
[INFO] [stdout] 1 | use crate::{list::List, parser_lib::Span};
[INFO] [stdout]   |             ^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused import: `ToSpan`
[INFO] [stdout]  --> src/L07a_depend_pm/pattern_match.rs:6:32
[INFO] [stdout]   |
[INFO] [stdout] 6 | use crate::{parser_lib::{Span, ToSpan}, L07a_depend_pm::{parser::syntax::Icit}};
[INFO] [stdout]   |                                ^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused import: `colored::Colorize`
[INFO] [stdout]  --> src/L07a_depend_pm/unification.rs:1:5
[INFO] [stdout]   |
[INFO] [stdout] 1 | use colored::Colorize;
[INFO] [stdout]   |     ^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused imports: `Error` and `pretty::pretty_tm`
[INFO] [stdout]  --> src/L07a_depend_pm/unification.rs:6:5
[INFO] [stdout]   |
[INFO] [stdout] 6 |     Error, Infer, Lvl, MetaEntry, MetaVar, Spine, Tm, UnifyError, VTy, Val, cxt::Cxt, lvl2ix,
[INFO] [stdout]   |     ^^^^^
[INFO] [stdout] 7 |     parser::syntax::Icit, syntax::Pruning, empty_span, pretty::pretty_tm,
[INFO] [stdout]   |                                                        ^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused import: `colored::Colorize`
[INFO] [stdout]  --> src/L08_product_type/mod.rs:1:5
[INFO] [stdout]   |
[INFO] [stdout] 1 | use colored::Colorize;
[INFO] [stdout]   |     ^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused imports: `Pattern` and `Raw`
[INFO] [stdout]  --> src/L08_product_type/mod.rs:3:36
[INFO] [stdout]   |
[INFO] [stdout] 3 | use parser::syntax::{Either, Icit, Pattern, Raw};
[INFO] [stdout]   |                                    ^^^^^^^  ^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused import: `DecisionTree`
[INFO] [stdout]  --> src/L08_product_type/mod.rs:4:31
[INFO] [stdout]   |
[INFO] [stdout] 4 | use pattern_match::{Compiler, DecisionTree};
[INFO] [stdout]   |                               ^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused import: `std::collections::HashMap`
[INFO] [stdout]  --> src/L08_product_type/cxt.rs:1:5
[INFO] [stdout]   |
[INFO] [stdout] 1 | use std::collections::HashMap;
[INFO] [stdout]   |     ^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused import: `std::collections::HashMap`
[INFO] [stdout]  --> src/L08_product_type/elaboration.rs:1:5
[INFO] [stdout]   |
[INFO] [stdout] 1 | use std::collections::HashMap;
[INFO] [stdout]   |     ^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused import: `list::List`
[INFO] [stdout]  --> src/L08_product_type/elaboration.rs:5:13
[INFO] [stdout]   |
[INFO] [stdout] 5 | use crate::{list::List, parser_lib::Span};
[INFO] [stdout]   |             ^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused imports: `Ix`, `PatternDetail`, `Pattern`, and `cxt::NameOrigin`
[INFO] [stdout]   --> src/L08_product_type/elaboration.rs:8:41
[INFO] [stdout]    |
[INFO] [stdout]  8 |     Closure, Cxt, DeclTm, Error, Infer, Ix, Tm, VTy, Val,
[INFO] [stdout]    |                                         ^^
[INFO] [stdout]  9 |     cxt::NameOrigin, Lvl,
[INFO] [stdout]    |     ^^^^^^^^^^^^^^^
[INFO] [stdout] 10 |     empty_span, lvl2ix,
[INFO] [stdout] 11 |     parser::syntax::{Decl, Either, Icit, Raw, Pattern},
[INFO] [stdout]    |                                               ^^^^^^^
[INFO] [stdout] 12 |     pattern_match::Compiler,
[INFO] [stdout] 13 |     PatternDetail,
[INFO] [stdout]    |     ^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variant `newKeyword` should have an upper camel case name
[INFO] [stdout]   --> src/L08_product_type/parser/lex.rs:13:5
[INFO] [stdout]    |
[INFO] [stdout] 13 |     newKeyword,
[INFO] [stdout]    |     ^^^^^^^^^^ help: convert the identifier to upper camel case: `NewKeyword`
[INFO] [stdout]    |
[INFO] [stdout]    = note: `#[warn(non_camel_case_types)]` (part of `#[warn(nonstandard_style)]`) on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused import: `list::List`
[INFO] [stdout]  --> src/L08_product_type/parser/syntax.rs:1:13
[INFO] [stdout]   |
[INFO] [stdout] 1 | use crate::{list::List, parser_lib::Span};
[INFO] [stdout]   |             ^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused import: `super::empty_span`
[INFO] [stdout]   --> src/L08_product_type/parser/mod.rs:11:5
[INFO] [stdout]    |
[INFO] [stdout] 11 | use super::empty_span;
[INFO] [stdout]    |     ^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused import: `ToSpan`
[INFO] [stdout]  --> src/L08_product_type/pattern_match.rs:6:31
[INFO] [stdout]   |
[INFO] [stdout] 6 | use crate::parser_lib::{Span, ToSpan};
[INFO] [stdout]   |                               ^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused import: `colored::Colorize`
[INFO] [stdout]  --> src/L08_product_type/unification.rs:1:5
[INFO] [stdout]   |
[INFO] [stdout] 1 | use colored::Colorize;
[INFO] [stdout]   |     ^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused imports: `Error` and `pretty::pretty_tm`
[INFO] [stdout]  --> src/L08_product_type/unification.rs:6:5
[INFO] [stdout]   |
[INFO] [stdout] 6 |     Error, Infer, Lvl, MetaEntry, MetaVar, Spine, Tm, UnifyError, VTy, Val, cxt::Cxt, lvl2ix,
[INFO] [stdout]   |     ^^^^^
[INFO] [stdout] 7 |     parser::syntax::Icit, syntax::Pruning, empty_span, pretty::pretty_tm,
[INFO] [stdout]   |                                                        ^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused import: `colored::Colorize`
[INFO] [stdout]  --> src/L09_mltt/mod.rs:1:5
[INFO] [stdout]   |
[INFO] [stdout] 1 | use colored::Colorize;
[INFO] [stdout]   |     ^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused imports: `Pattern` and `Raw`
[INFO] [stdout]  --> src/L09_mltt/mod.rs:3:36
[INFO] [stdout]   |
[INFO] [stdout] 3 | use parser::syntax::{Either, Icit, Pattern, Raw};
[INFO] [stdout]   |                                    ^^^^^^^  ^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused import: `DecisionTree`
[INFO] [stdout]  --> src/L09_mltt/mod.rs:4:31
[INFO] [stdout]   |
[INFO] [stdout] 4 | use pattern_match::{Compiler, DecisionTree};
[INFO] [stdout]   |                               ^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused import: `collections::HashMap`
[INFO] [stdout]  --> src/L09_mltt/elaboration.rs:1:21
[INFO] [stdout]   |
[INFO] [stdout] 1 | use std::{cmp::max, collections::HashMap};
[INFO] [stdout]   |                     ^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused imports: `PatternDetail` and `Pattern`
[INFO] [stdout]   --> src/L09_mltt/elaboration.rs:11:47
[INFO] [stdout]    |
[INFO] [stdout] 11 |     parser::syntax::{Decl, Either, Icit, Raw, Pattern},
[INFO] [stdout]    |                                               ^^^^^^^
[INFO] [stdout] 12 |     pattern_match::Compiler, MetaEntry,
[INFO] [stdout] 13 |     PatternDetail,
[INFO] [stdout]    |     ^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused import: `ToSpan`
[INFO] [stdout]  --> src/L09_mltt/pattern_match.rs:6:31
[INFO] [stdout]   |
[INFO] [stdout] 6 | use crate::parser_lib::{Span, ToSpan};
[INFO] [stdout]   |                               ^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused import: `colored::Colorize`
[INFO] [stdout]  --> src/L09_mltt/unification.rs:1:5
[INFO] [stdout]   |
[INFO] [stdout] 1 | use colored::Colorize;
[INFO] [stdout]   |     ^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused imports: `Error` and `pretty::pretty_tm`
[INFO] [stdout]  --> src/L09_mltt/unification.rs:6:5
[INFO] [stdout]   |
[INFO] [stdout] 6 |     Error, Infer, Lvl, MetaEntry, MetaVar, Spine, Tm, UnifyError, VTy, Val, cxt::Cxt, lvl2ix,
[INFO] [stdout]   |     ^^^^^
[INFO] [stdout] 7 |     parser::syntax::Icit, syntax::Pruning, empty_span, pretty::pretty_tm,
[INFO] [stdout]   |                                                        ^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused import: `colored::Colorize`
[INFO] [stdout]  --> src/L10_typeclass/mod.rs:1:5
[INFO] [stdout]   |
[INFO] [stdout] 1 | use colored::Colorize;
[INFO] [stdout]   |     ^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused import: `colored::Colorize`
[INFO] [stdout]  --> src/L10_typeclass/unification.rs:1:5
[INFO] [stdout]   |
[INFO] [stdout] 1 | use colored::Colorize;
[INFO] [stdout]   |     ^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused imports: `pretty::pretty_tm` and `typeclass::Typ`
[INFO] [stdout]  --> src/L10_typeclass/unification.rs:6:88
[INFO] [stdout]   |
[INFO] [stdout] 6 |     Infer, Lvl, MetaEntry, MetaVar, Spine, Tm, UnifyError, VTy, Val, cxt::Cxt, lvl2ix, typeclass::Typ,
[INFO] [stdout]   |                                                                                        ^^^^^^^^^^^^^^
[INFO] [stdout] 7 |     parser::syntax::Icit, syntax::Pruning, empty_span, pretty::pretty_tm, typeclass::Assertion, Raw,
[INFO] [stdout]   |                                                        ^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused import: `colored::Colorize`
[INFO] [stdout]  --> src/L11_macro/mod.rs:1:5
[INFO] [stdout]   |
[INFO] [stdout] 1 | use colored::Colorize;
[INFO] [stdout]   |     ^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused import: `Lvl`
[INFO] [stdout]  --> src/L11_macro/elaboration.rs:9:5
[INFO] [stdout]   |
[INFO] [stdout] 9 |     Lvl, Rc,
[INFO] [stdout]   |     ^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused import: `colored::Colorize`
[INFO] [stdout]  --> src/L11_macro/unification.rs:1:5
[INFO] [stdout]   |
[INFO] [stdout] 1 | use colored::Colorize;
[INFO] [stdout]   |     ^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused imports: `pretty::pretty_tm` and `typeclass::Typ`
[INFO] [stdout]  --> src/L11_macro/unification.rs:6:88
[INFO] [stdout]   |
[INFO] [stdout] 6 |     Infer, Lvl, MetaEntry, MetaVar, Spine, Tm, UnifyError, VTy, Val, cxt::Cxt, lvl2ix, typeclass::Typ,
[INFO] [stdout]   |                                                                                        ^^^^^^^^^^^^^^
[INFO] [stdout] 7 |     parser::syntax::Icit, syntax::Pruning, empty_span, pretty::pretty_tm, typeclass::Assertion, Raw, Rc, Decl,
[INFO] [stdout]   |                                                        ^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused import: `Lvl`
[INFO] [stdout]   --> src/L12_canonical/elaboration.rs:10:5
[INFO] [stdout]    |
[INFO] [stdout] 10 |     Lvl, Rc, MetaVar,
[INFO] [stdout]    |     ^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused import: `HashMap`
[INFO] [stdout]  --> src/L12_canonical/parser/macros.rs:5:32
[INFO] [stdout]   |
[INFO] [stdout] 5 | use super::{TokenNode, IError, HashMap, ErrMsg, string, p_raw, p_pi_binder, empty_span, ParserExt, kw, MacroState};
[INFO] [stdout]   |                                ^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused import: `colored::Colorize`
[INFO] [stdout]  --> src/L12_canonical/unification.rs:1:5
[INFO] [stdout]   |
[INFO] [stdout] 1 | use colored::Colorize;
[INFO] [stdout]   |     ^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused import: `pretty::pretty_tm`
[INFO] [stdout]  --> src/L12_canonical/unification.rs:8:56
[INFO] [stdout]   |
[INFO] [stdout] 8 |     parser::syntax::Icit, syntax::Pruning, empty_span, pretty::pretty_tm, typeclass::Assertion, Raw, Rc, Decl,
[INFO] [stdout]   |                                                        ^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused imports: `Closure`, `Ix`, `Lvl`, `MetaEntry`, `MetaVar`, `Span`, `Spine`, `Tm`, `Ty`, `VTy`, `close_ty`, and `syntax::Locals`
[INFO] [stdout]  --> src/L12_canonical/canonical.rs:3:12
[INFO] [stdout]   |
[INFO] [stdout] 3 |     Infer, MetaEntry, Cxt, Rc, Val, UnifyError, Ty, Span,
[INFO] [stdout]   |            ^^^^^^^^^                            ^^  ^^^^
[INFO] [stdout] 4 |     MetaVar, Tm, Lvl, Ix, List, Closure, VTy, syntax::Locals,
[INFO] [stdout]   |     ^^^^^^^  ^^  ^^^  ^^        ^^^^^^^  ^^^  ^^^^^^^^^^^^^^
[INFO] [stdout] 5 |     empty_span, Raw, Either, Spine, close_ty, Icit,
[INFO] [stdout]   |                              ^^^^^  ^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused imports: `HashMap` and `extract_base`
[INFO] [stdout]  --> src/L13_namespace/parser/macros.rs:5:32
[INFO] [stdout]   |
[INFO] [stdout] 5 | use super::{TokenNode, IError, HashMap, ErrMsg, BaseMsg, extract_base, string, p_raw, p_pi_binder, empty_span, ParserExt, kw, MacroSt...
[INFO] [stdout]   |                                ^^^^^^^                   ^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused import: `ToSpan`
[INFO] [stdout]  --> src/L13_namespace/parser/derive.rs:6:31
[INFO] [stdout]   |
[INFO] [stdout] 6 | use crate::parser_lib::{Span, ToSpan};
[INFO] [stdout]   |                               ^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused import: `colored::Colorize`
[INFO] [stdout]  --> src/L13_namespace/unification.rs:1:5
[INFO] [stdout]   |
[INFO] [stdout] 1 | use colored::Colorize;
[INFO] [stdout]   |     ^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused imports: `Assertion` and `pretty::pretty_tm`
[INFO] [stdout]   --> src/L13_namespace/unification.rs:9:56
[INFO] [stdout]    |
[INFO] [stdout]  9 |     parser::syntax::Icit, syntax::Pruning, empty_span, pretty::pretty_tm,
[INFO] [stdout]    |                                                        ^^^^^^^^^^^^^^^^^
[INFO] [stdout] 10 |     typeclass::{Assertion, Instance}, Raw, Rc, Decl,
[INFO] [stdout]    |                 ^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused imports: `Closure`, `Ix`, `Lvl`, `MetaEntry`, `MetaVar`, `Span`, `Spine`, `Tm`, `Ty`, `VTy`, `close_ty`, and `syntax::Locals`
[INFO] [stdout]  --> src/L13_namespace/canonical.rs:3:12
[INFO] [stdout]   |
[INFO] [stdout] 3 |     Infer, MetaEntry, Cxt, Rc, Val, UnifyError, Ty, Span,
[INFO] [stdout]   |            ^^^^^^^^^                            ^^  ^^^^
[INFO] [stdout] 4 |     MetaVar, Tm, Lvl, Ix, List, Closure, VTy, syntax::Locals,
[INFO] [stdout]   |     ^^^^^^^  ^^  ^^^  ^^        ^^^^^^^  ^^^  ^^^^^^^^^^^^^^
[INFO] [stdout] 5 |     empty_span, Raw, Either, Spine, close_ty, Icit,
[INFO] [stdout]   |                              ^^^^^  ^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused doc comment
[INFO] [stdout]   --> src/L13_namespace/struct_refine_probe.rs:95:1
[INFO] [stdout]    |
[INFO] [stdout] 95 | /// identity_vec: 重建构造函数，非绑定变量，应通过。
[INFO] [stdout]    | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ rustdoc does not generate documentation for macro invocations
[INFO] [stdout]    |
[INFO] [stdout]    = help: to document an item produced by a macro, the macro must produce the documentation as part of its expansion
[INFO] [stdout]    = note: `#[warn(unused_doc_comments)]` (part of `#[warn(unused)]`) on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused doc comment
[INFO] [stdout]    --> src/L13_namespace/struct_refine_probe.rs:108:1
[INFO] [stdout]     |
[INFO] [stdout] 108 | /// 直接 Vec 匹配，重建构造函数，应通过。
[INFO] [stdout]     | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ rustdoc does not generate documentation for macro invocations
[INFO] [stdout]     |
[INFO] [stdout]     = help: to document an item produced by a macro, the macro must produce the documentation as part of its expansion
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused doc comment
[INFO] [stdout]    --> src/L13_namespace/struct_refine_probe.rs:117:1
[INFO] [stdout]     |
[INFO] [stdout] 117 | /// 非索引依赖的返回类型（A），预约束的类型 sucessor，通过。
[INFO] [stdout]     | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ rustdoc does not generate documentation for macro invocations
[INFO] [stdout]     |
[INFO] [stdout]     = help: to document an item produced by a macro, the macro must produce the documentation as part of its expansion
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused doc comment
[INFO] [stdout]    --> src/L13_namespace/struct_refine_probe.rs:129:1
[INFO] [stdout]     |
[INFO] [stdout] 129 | /// 嵌套结构体，预约束类型，通过。
[INFO] [stdout]     | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ rustdoc does not generate documentation for macro invocations
[INFO] [stdout]     |
[INFO] [stdout]     = help: to document an item produced by a macro, the macro must produce the documentation as part of its expansion
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused doc comment
[INFO] [stdout]    --> src/L13_namespace/struct_refine_probe.rs:140:1
[INFO] [stdout]     |
[INFO] [stdout] 140 | /// 不返回绑定变量，而是返回无类型依赖的值。
[INFO] [stdout]     | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ rustdoc does not generate documentation for macro invocations
[INFO] [stdout]     |
[INFO] [stdout]     = help: to document an item produced by a macro, the macro must produce the documentation as part of its expansion
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused doc comment
[INFO] [stdout]    --> src/L13_namespace/struct_refine_probe.rs:157:1
[INFO] [stdout]     |
[INFO] [stdout] 157 | / /// 直接 Vec 匹配，返回绑定变量 xs。最简复现。
[INFO] [stdout] 158 | | /// 失败模式：expected: Vec[A](_l + 1), find: Vec[A](_l)
[INFO] [stdout] 159 | | /// 原因：绑定 xs 的类型为 Vec[A] l'，但返回类型被细化为 Vec[A] (succ l')，无法统一。
[INFO] [stdout]     | |_------------------------------------------------------------------------------------^
[INFO] [stdout]     |   |
[INFO] [stdout]     |   rustdoc does not generate documentation for macro invocations
[INFO] [stdout]     |
[INFO] [stdout]     = help: to document an item produced by a macro, the macro must produce the documentation as part of its expansion
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused doc comment
[INFO] [stdout]    --> src/L13_namespace/struct_refine_probe.rs:168:1
[INFO] [stdout]     |
[INFO] [stdout] 168 | / /// 单层 struct，泛型 len，返回绑定变量 xs。
[INFO] [stdout] 169 | | /// 失败模式：expected: Vec[A](_l + 1), find: Vec[A](_l)
[INFO] [stdout]     | |_-------------------------------------------------------^
[INFO] [stdout]     |   |
[INFO] [stdout]     |   rustdoc does not generate documentation for macro invocations
[INFO] [stdout]     |
[INFO] [stdout]     = help: to document an item produced by a macro, the macro must produce the documentation as part of its expansion
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused doc comment
[INFO] [stdout]    --> src/L13_namespace/struct_refine_probe.rs:182:1
[INFO] [stdout]     |
[INFO] [stdout] 182 | / /// 两个字段，第二个字段类型依赖第一个字段的索引细化。
[INFO] [stdout] 183 | | /// 失败模式：expected: Fin(len + 1), find: Fin(1) 或反向。
[INFO] [stdout] 184 | | /// 原因：绑定 w 的类型 Fin(succ len) 中的 len 是原始的、未经 cons/nil 细化的变量。
[INFO] [stdout]     | |_----------------------------------------------------------------------------------^
[INFO] [stdout]     |   |
[INFO] [stdout]     |   rustdoc does not generate documentation for macro invocations
[INFO] [stdout]     |
[INFO] [stdout]     = help: to document an item produced by a macro, the macro must produce the documentation as part of its expansion
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused doc comment
[INFO] [stdout]    --> src/L13_namespace/struct_refine_probe.rs:198:1
[INFO] [stdout]     |
[INFO] [stdout] 198 | / /// 嵌套 struct，泛型 len，返回绑定尾部变量。
[INFO] [stdout] 199 | | /// 失败模式同 weak02。
[INFO] [stdout]     | |_----------------------^
[INFO] [stdout]     |   |
[INFO] [stdout]     |   rustdoc does not generate documentation for macro invocations
[INFO] [stdout]     |
[INFO] [stdout]     = help: to document an item produced by a macro, the macro must produce the documentation as part of its expansion
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused doc comment
[INFO] [stdout]    --> src/L13_namespace/struct_refine_probe.rs:211:1
[INFO] [stdout]     |
[INFO] [stdout] 211 | / /// VecHolder: Vec[A] len + Fin(succ len)，递归重建。
[INFO] [stdout] 212 | | /// 失败模式：expected: Fin(_l + 2), find: Fin(_n + 1)
[INFO] [stdout] 213 | | /// 原因：第一个字段匹配 cons (len:=succ l') 与第二个字段匹配 fsucc (len:=n) 的细化
[INFO] [stdout] 214 | | /// 没有传播到对方，导致 n 和 succ l' 无法统一。
[INFO] [stdout]     | |_-----------------------------------------------^
[INFO] [stdout]     |   |
[INFO] [stdout]     |   rustdoc does not generate documentation for macro invocations
[INFO] [stdout]     |
[INFO] [stdout]     = help: to document an item produced by a macro, the macro must produce the documentation as part of its expansion
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused doc comment
[INFO] [stdout]    --> src/L13_namespace/struct_refine_probe.rs:231:1
[INFO] [stdout]     |
[INFO] [stdout] 231 | / /// 返回值是重建结构体，使用了从内部字段提取的变量。
[INFO] [stdout] 232 | | /// 成功/失败？
[INFO] [stdout]     | |_--------------^
[INFO] [stdout]     |   |
[INFO] [stdout]     |   rustdoc does not generate documentation for macro invocations
[INFO] [stdout]     |
[INFO] [stdout]     = help: to document an item produced by a macro, the macro must produce the documentation as part of its expansion
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused macro definition: `assert_expected_fail`
[INFO] [stdout]   --> src/L13_namespace/struct_refine_probe.rs:58:14
[INFO] [stdout]    |
[INFO] [stdout] 58 | macro_rules! assert_expected_fail {
[INFO] [stdout]    |              ^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout]    |
[INFO] [stdout]    = note: `#[warn(unused_macros)]` (part of `#[warn(unused)]`) on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused import: `parser`
[INFO] [stdout]   --> src/lib.rs:49:29
[INFO] [stdout]    |
[INFO] [stdout] 49 | use L13_namespace::parser::{parser, parser_with_macros, macros::MacroRule, MacroExpansionInfo};
[INFO] [stdout]    |                             ^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused imports: `self`, `stdin`, and `stdout`
[INFO] [stdout]   --> src/lib.rs:55:15
[INFO] [stdout]    |
[INFO] [stdout] 55 | use std::io::{self, BufRead, Write, stdin, stdout};
[INFO] [stdout]    |               ^^^^                  ^^^^^  ^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: use of deprecated function `codespan_reporting::term::emit`: Use `emit_to_write_style` instead or depending on the writer use `emit_to_io_write` or `emit_to_string`
[INFO] [stdout]    --> src/client.rs:184:19
[INFO] [stdout]     |
[INFO] [stdout] 184 |             term::emit(&mut writer, &config, &files, cs_diag).unwrap();
[INFO] [stdout]     |                   ^^^^
[INFO] [stdout]     |
[INFO] [stdout]     = note: `#[warn(deprecated)]` on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: use of deprecated function `codespan_reporting::term::emit`: Use `emit_to_write_style` instead or depending on the writer use `emit_to_io_write` or `emit_to_string`
[INFO] [stdout]    --> src/client.rs:184:19
[INFO] [stdout]     |
[INFO] [stdout] 184 |             term::emit(&mut writer, &config, &files, cs_diag).unwrap();
[INFO] [stdout]     |                   ^^^^
[INFO] [stdout]     |
[INFO] [stdout]     = note: `#[warn(deprecated)]` on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0282]: type annotations needed
[INFO] [stdout]   --> src/L11_macro/parser/macros.rs:88:43
[INFO] [stdout]    |
[INFO] [stdout] 88 |                   MacroMatcher::Many0(m) => m.to_parser()
[INFO] [stdout]    |  ___________________________________________^
[INFO] [stdout] 89 | |                     .many0_sep(kw(TokenKind::EndLine).option())
[INFO] [stdout]    | |_______________________________________________________________^ cannot infer type
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0282]: type annotations needed
[INFO] [stdout]   --> src/L11_macro/parser/macros.rs:88:43
[INFO] [stdout]    |
[INFO] [stdout] 88 |                   MacroMatcher::Many0(m) => m.to_parser()
[INFO] [stdout]    |  ___________________________________________^
[INFO] [stdout] 89 | |                     .many0_sep(kw(TokenKind::EndLine).option())
[INFO] [stdout]    | |_______________________________________________________________^ cannot infer type
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0282]: type annotations needed
[INFO] [stdout]    --> src/L12_canonical/parser/macros.rs:106:43
[INFO] [stdout]     |
[INFO] [stdout] 106 |                   MacroMatcher::Many0(m) => m.to_parser()
[INFO] [stdout]     |  ___________________________________________^
[INFO] [stdout] 107 | |                     .many0_sep(kw(TokenKind::EndLine).option())
[INFO] [stdout]     | |_______________________________________________________________^ cannot infer type
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0282]: type annotations needed
[INFO] [stdout]    --> src/L12_canonical/parser/macros.rs:106:43
[INFO] [stdout]     |
[INFO] [stdout] 106 |                   MacroMatcher::Many0(m) => m.to_parser()
[INFO] [stdout]     |  ___________________________________________^
[INFO] [stdout] 107 | |                     .many0_sep(kw(TokenKind::EndLine).option())
[INFO] [stdout]     | |_______________________________________________________________^ cannot infer type
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0282]: type annotations needed
[INFO] [stdout]    --> src/L13_namespace/parser/macros.rs:109:21
[INFO] [stdout]     |
[INFO] [stdout] 109 | /                     m.to_parser()
[INFO] [stdout] 110 | |                         .many0_sep(kw(TokenKind::EndLine).option())
[INFO] [stdout]     | |___________________________________________________________________^ cannot infer type
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0282]: type annotations needed
[INFO] [stdout]    --> src/L13_namespace/parser/macros.rs:109:21
[INFO] [stdout]     |
[INFO] [stdout] 109 | /                     m.to_parser()
[INFO] [stdout] 110 | |                         .many0_sep(kw(TokenKind::EndLine).option())
[INFO] [stdout]     | |___________________________________________________________________^ cannot infer type
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused import: `colored::Colorize`
[INFO] [stdout]  --> src/L12_canonical/elaboration.rs:3:5
[INFO] [stdout]   |
[INFO] [stdout] 3 | use colored::Colorize;
[INFO] [stdout]   |     ^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused import: `colored::Colorize`
[INFO] [stdout]  --> src/L11_macro/elaboration.rs:3:5
[INFO] [stdout]   |
[INFO] [stdout] 3 | use colored::Colorize;
[INFO] [stdout]   |     ^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused import: `Write`
[INFO] [stdout]   --> src/lib.rs:55:30
[INFO] [stdout]    |
[INFO] [stdout] 55 | use std::io::{self, BufRead, Write, stdin, stdout};
[INFO] [stdout]    |                              ^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused import: `BufRead`
[INFO] [stdout]   --> src/lib.rs:55:21
[INFO] [stdout]    |
[INFO] [stdout] 55 | use std::io::{self, BufRead, Write, stdin, stdout};
[INFO] [stdout]    |                     ^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused import: `colored::Colorize`
[INFO] [stdout]  --> src/L13_namespace/mod.rs:1:5
[INFO] [stdout]   |
[INFO] [stdout] 1 | use colored::Colorize;
[INFO] [stdout]   |     ^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused import: `colored::Colorize`
[INFO] [stdout]  --> src/L13_namespace/elaboration.rs:3:5
[INFO] [stdout]   |
[INFO] [stdout] 3 | use colored::Colorize;
[INFO] [stdout]   |     ^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused import: `colored::Colorize`
[INFO] [stdout]  --> src/L12_canonical/mod.rs:1:5
[INFO] [stdout]   |
[INFO] [stdout] 1 | use colored::Colorize;
[INFO] [stdout]   |     ^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused import: `colored::Colorize`
[INFO] [stdout]  --> src/L08_product_type/elaboration.rs:3:5
[INFO] [stdout]   |
[INFO] [stdout] 3 | use colored::Colorize;
[INFO] [stdout]   |     ^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused import: `colored::Colorize`
[INFO] [stdout]  --> src/L09_mltt/elaboration.rs:3:5
[INFO] [stdout]   |
[INFO] [stdout] 3 | use colored::Colorize;
[INFO] [stdout]   |     ^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused import: `colored::Colorize`
[INFO] [stdout]  --> src/L10_typeclass/elaboration.rs:3:5
[INFO] [stdout]   |
[INFO] [stdout] 3 | use colored::Colorize;
[INFO] [stdout]   |     ^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `e`
[INFO] [stdout]   --> src/parser_lib_resilient.rs:22:71
[INFO] [stdout]    |
[INFO] [stdout] 22 |         move |input, state: &mut S| self.parse(input, state).or_else(|e| rhs.parse(input, state))//TODO: err combine
[INFO] [stdout]    |                                                                       ^ help: if this is intentional, prefix it with an underscore: `_e`
[INFO] [stdout]    |
[INFO] [stdout]    = note: `#[warn(unused_variables)]` (part of `#[warn(unused)]`) on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `version`
[INFO] [stdout]    --> src/client.rs:113:75
[INFO] [stdout]     |
[INFO] [stdout] 113 |     fn publish_diagnostics(&self, uri: Url, diagnostics: Vec<Diagnostic>, version: Option<i32>) {
[INFO] [stdout]     |                                                                           ^^^^^^^ help: if this is intentional, prefix it with an underscore: `_version`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `sp`
[INFO] [stdout]    --> src/L03_holes/mod.rs:338:32
[INFO] [stdout]     |
[INFO] [stdout] 338 |             Val::Flex(m_prime, sp) if m == m_prime => Err(UnifyError), // occurs check
[INFO] [stdout]     |                                ^^ help: if this is intentional, prefix it with an underscore: `_sp`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `x`
[INFO] [stdout]    --> src/L03_holes/mod.rs:492:22
[INFO] [stdout]     |
[INFO] [stdout] 492 |             (Val::Pi(x, a, b_closure), Val::Pi(x_prime, a_prime, b_prime_closure)) => {
[INFO] [stdout]     |                      ^ help: if this is intentional, prefix it with an underscore: `_x`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `x_prime`
[INFO] [stdout]    --> src/L03_holes/mod.rs:492:48
[INFO] [stdout]     |
[INFO] [stdout] 492 |             (Val::Pi(x, a, b_closure), Val::Pi(x_prime, a_prime, b_prime_closure)) => {
[INFO] [stdout]     |                                                ^^^^^^^ help: if this is intentional, prefix it with an underscore: `_x_prime`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `a`
[INFO] [stdout]    --> src/L03_holes/mod.rs:661:25
[INFO] [stdout]     |
[INFO] [stdout] 661 |             (Raw::Hole, a) => Ok(self.fresh_meta(cxt)),
[INFO] [stdout]     |                         ^
[INFO] [stdout]     |
[INFO] [stdout] help: you might have meant to pattern match on the similarly named variant `U`
[INFO] [stdout]     |
[INFO] [stdout] 661 -             (Raw::Hole, a) => Ok(self.fresh_meta(cxt)),
[INFO] [stdout] 661 +             (Raw::Hole, L03_holes::Val::U) => Ok(self.fresh_meta(cxt)),
[INFO] [stdout]     |
[INFO] [stdout] help: if this is intentional, prefix it with an underscore
[INFO] [stdout]     |
[INFO] [stdout] 661 |             (Raw::Hole, _a) => Ok(self.fresh_meta(cxt)),
[INFO] [stdout]     |                         +
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `a`
[INFO] [stdout]   --> src/L04_implicit/elaboration.rs:87:25
[INFO] [stdout]    |
[INFO] [stdout] 87 |             (Raw::Hole, a) => Ok(self.fresh_meta(cxt)),
[INFO] [stdout]    |                         ^
[INFO] [stdout]    |
[INFO] [stdout] help: you might have meant to pattern match on the similarly named variant `U`
[INFO] [stdout]    |
[INFO] [stdout] 87 -             (Raw::Hole, a) => Ok(self.fresh_meta(cxt)),
[INFO] [stdout] 87 +             (Raw::Hole, L04_implicit::Val::U) => Ok(self.fresh_meta(cxt)),
[INFO] [stdout]    |
[INFO] [stdout] help: if this is intentional, prefix it with an underscore
[INFO] [stdout]    |
[INFO] [stdout] 87 |             (Raw::Hole, _a) => Ok(self.fresh_meta(cxt)),
[INFO] [stdout]    |                         +
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `x`
[INFO] [stdout]    --> src/L04_implicit/elaboration.rs:136:22
[INFO] [stdout]     |
[INFO] [stdout] 136 |             Raw::Lam(x, Either::Name(_), t) => {
[INFO] [stdout]     |                      ^ help: if this is intentional, prefix it with an underscore: `_x`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `t`
[INFO] [stdout]    --> src/L04_implicit/elaboration.rs:136:42
[INFO] [stdout]     |
[INFO] [stdout] 136 |             Raw::Lam(x, Either::Name(_), t) => {
[INFO] [stdout]     |                                          ^ help: if this is intentional, prefix it with an underscore: `_t`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `sp`
[INFO] [stdout]   --> src/L04_implicit/unification.rs:89:32
[INFO] [stdout]    |
[INFO] [stdout] 89 |             Val::Flex(m_prime, sp) if m == m_prime => Err(UnifyError), // occurs check
[INFO] [stdout]    |                                ^^ help: if this is intentional, prefix it with an underscore: `_sp`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `t_t`
[INFO] [stdout]    --> src/L04_implicit/unification.rs:185:41
[INFO] [stdout]     |
[INFO] [stdout] 185 |             (Val::Lam(_, i, t_closure), t_t) => self.unify(
[INFO] [stdout]     |                                         ^^^ help: if this is intentional, prefix it with an underscore: `_t_t`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `x`
[INFO] [stdout]    --> src/L05_pruning/elaboration.rs:155:22
[INFO] [stdout]     |
[INFO] [stdout] 155 |             Raw::Lam(x, Either::Name(_), t) => Err(Error("infer named lambda".to_owned())),
[INFO] [stdout]     |                      ^ help: if this is intentional, prefix it with an underscore: `_x`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `t`
[INFO] [stdout]    --> src/L05_pruning/elaboration.rs:155:42
[INFO] [stdout]     |
[INFO] [stdout] 155 |             Raw::Lam(x, Either::Name(_), t) => Err(Error("infer named lambda".to_owned())),
[INFO] [stdout]     |                                          ^ help: if this is intentional, prefix it with an underscore: `_t`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `x`
[INFO] [stdout]    --> src/L05_pruning/unification.rs:115:28
[INFO] [stdout]     |
[INFO] [stdout] 115 |             (list, Val::Pi(x, i, a, b)) if list.head().unwrap().is_none() => {
[INFO] [stdout]     |                            ^ help: if this is intentional, prefix it with an underscore: `_x`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `i`
[INFO] [stdout]    --> src/L05_pruning/unification.rs:115:31
[INFO] [stdout]     |
[INFO] [stdout] 115 |             (list, Val::Pi(x, i, a, b)) if list.head().unwrap().is_none() => {
[INFO] [stdout]     |                               ^ help: if this is intentional, prefix it with an underscore: `_i`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `a`
[INFO] [stdout]    --> src/L05_pruning/unification.rs:115:34
[INFO] [stdout]     |
[INFO] [stdout] 115 |             (list, Val::Pi(x, i, a, b)) if list.head().unwrap().is_none() => {
[INFO] [stdout]     |                                  ^ help: if this is intentional, prefix it with an underscore: `_a`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `val`
[INFO] [stdout]    --> src/L05_pruning/unification.rs:275:37
[INFO] [stdout]     |
[INFO] [stdout] 275 |                 Val::Pi(span, icit, val, closure) if span.data == "_" => {
[INFO] [stdout]     |                                     ^^^ help: if this is intentional, prefix it with an underscore: `_val`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `val`
[INFO] [stdout]    --> src/L05_pruning/unification.rs:288:37
[INFO] [stdout]     |
[INFO] [stdout] 288 |                 Val::Pi(span, icit, val, closure) => Tm::Lam(
[INFO] [stdout]     |                                     ^^^ help: if this is intentional, prefix it with an underscore: `_val`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `x`
[INFO] [stdout]    --> src/L06_string/elaboration.rs:222:22
[INFO] [stdout]     |
[INFO] [stdout] 222 |             Raw::Lam(x, Either::Name(_), t) => Err(Error("infer named lambda".to_owned())),
[INFO] [stdout]     |                      ^ help: if this is intentional, prefix it with an underscore: `_x`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `t`
[INFO] [stdout]    --> src/L06_string/elaboration.rs:222:42
[INFO] [stdout]     |
[INFO] [stdout] 222 |             Raw::Lam(x, Either::Name(_), t) => Err(Error("infer named lambda".to_owned())),
[INFO] [stdout]     |                                          ^ help: if this is intentional, prefix it with an underscore: `_t`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `val`
[INFO] [stdout]    --> src/L06_string/unification.rs:293:37
[INFO] [stdout]     |
[INFO] [stdout] 293 |                 Val::Pi(span, icit, val, closure) => Tm::Lam(
[INFO] [stdout]     |                                     ^^^ help: if this is intentional, prefix it with an underscore: `_val`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `p`
[INFO] [stdout]   --> src/L06_string/pretty.rs:51:19
[INFO] [stdout]    |
[INFO] [stdout] 51 | fn go_app_pruning(p: i32, top_ns: List<String>, ns: List<String>, t: &Tm, pr: &Pruning) -> String {
[INFO] [stdout]    |                   ^ help: if this is intentional, prefix it with an underscore: `_p`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `top_ns`
[INFO] [stdout]   --> src/L06_string/pretty.rs:51:27
[INFO] [stdout]    |
[INFO] [stdout] 51 | fn go_app_pruning(p: i32, top_ns: List<String>, ns: List<String>, t: &Tm, pr: &Pruning) -> String {
[INFO] [stdout]    |                           ^^^^^^ help: if this is intentional, prefix it with an underscore: `_top_ns`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `ns`
[INFO] [stdout]   --> src/L06_string/pretty.rs:51:49
[INFO] [stdout]    |
[INFO] [stdout] 51 | fn go_app_pruning(p: i32, top_ns: List<String>, ns: List<String>, t: &Tm, pr: &Pruning) -> String {
[INFO] [stdout]    |                                                 ^^ help: if this is intentional, prefix it with an underscore: `_ns`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `t`
[INFO] [stdout]   --> src/L06_string/pretty.rs:51:67
[INFO] [stdout]    |
[INFO] [stdout] 51 | fn go_app_pruning(p: i32, top_ns: List<String>, ns: List<String>, t: &Tm, pr: &Pruning) -> String {
[INFO] [stdout]    |                                                                   ^ help: if this is intentional, prefix it with an underscore: `_t`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `pr`
[INFO] [stdout]   --> src/L06_string/pretty.rs:51:75
[INFO] [stdout]    |
[INFO] [stdout] 51 | fn go_app_pruning(p: i32, top_ns: List<String>, ns: List<String>, t: &Tm, pr: &Pruning) -> String {
[INFO] [stdout]    |                                                                           ^^ help: if this is intentional, prefix it with an underscore: `_pr`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `a_quote`
[INFO] [stdout]    --> src/L07_sum_type/cxt.rs:119:46
[INFO] [stdout]     |
[INFO] [stdout] 119 |     pub fn fake_bind(&self, x: Span<String>, a_quote: Tm, a: Val) -> Self {
[INFO] [stdout]     |                                              ^^^^^^^ help: if this is intentional, prefix it with an underscore: `_a_quote`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `x`
[INFO] [stdout]    --> src/L07_sum_type/elaboration.rs:368:22
[INFO] [stdout]     |
[INFO] [stdout] 368 |             Raw::Lam(x, Either::Name(_), t) => Err(Error("infer named lambda".to_owned())),
[INFO] [stdout]     |                      ^ help: if this is intentional, prefix it with an underscore: `_x`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `t`
[INFO] [stdout]    --> src/L07_sum_type/elaboration.rs:368:42
[INFO] [stdout]     |
[INFO] [stdout] 368 |             Raw::Lam(x, Either::Name(_), t) => Err(Error("infer named lambda".to_owned())),
[INFO] [stdout]     |                                          ^ help: if this is intentional, prefix it with an underscore: `_t`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused import: `colored::Colorize`
[INFO] [stdout]  --> src/L12_canonical/elaboration.rs:3:5
[INFO] [stdout]   |
[INFO] [stdout] 3 | use colored::Colorize;
[INFO] [stdout]   |     ^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused import: `colored::Colorize`
[INFO] [stdout]  --> src/L11_macro/elaboration.rs:3:5
[INFO] [stdout]   |
[INFO] [stdout] 3 | use colored::Colorize;
[INFO] [stdout]   |     ^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused import: `Write`
[INFO] [stdout]   --> src/lib.rs:55:30
[INFO] [stdout]    |
[INFO] [stdout] 55 | use std::io::{self, BufRead, Write, stdin, stdout};
[INFO] [stdout]    |                              ^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused import: `BufRead`
[INFO] [stdout]   --> src/lib.rs:55:21
[INFO] [stdout]    |
[INFO] [stdout] 55 | use std::io::{self, BufRead, Write, stdin, stdout};
[INFO] [stdout]    |                     ^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused import: `colored::Colorize`
[INFO] [stdout]  --> src/L13_namespace/mod.rs:1:5
[INFO] [stdout]   |
[INFO] [stdout] 1 | use colored::Colorize;
[INFO] [stdout]   |     ^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused import: `colored::Colorize`
[INFO] [stdout]  --> src/L13_namespace/elaboration.rs:3:5
[INFO] [stdout]   |
[INFO] [stdout] 3 | use colored::Colorize;
[INFO] [stdout]   |     ^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused import: `colored::Colorize`
[INFO] [stdout]  --> src/L12_canonical/mod.rs:1:5
[INFO] [stdout]   |
[INFO] [stdout] 1 | use colored::Colorize;
[INFO] [stdout]   |     ^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused import: `colored::Colorize`
[INFO] [stdout]  --> src/L08_product_type/elaboration.rs:3:5
[INFO] [stdout]   |
[INFO] [stdout] 3 | use colored::Colorize;
[INFO] [stdout]   |     ^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused import: `colored::Colorize`
[INFO] [stdout]  --> src/L09_mltt/elaboration.rs:3:5
[INFO] [stdout]   |
[INFO] [stdout] 3 | use colored::Colorize;
[INFO] [stdout]   |     ^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused import: `colored::Colorize`
[INFO] [stdout]  --> src/L10_typeclass/elaboration.rs:3:5
[INFO] [stdout]   |
[INFO] [stdout] 3 | use colored::Colorize;
[INFO] [stdout]   |     ^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `e`
[INFO] [stdout]   --> src/parser_lib_resilient.rs:22:71
[INFO] [stdout]    |
[INFO] [stdout] 22 |         move |input, state: &mut S| self.parse(input, state).or_else(|e| rhs.parse(input, state))//TODO: err combine
[INFO] [stdout]    |                                                                       ^ help: if this is intentional, prefix it with an underscore: `_e`
[INFO] [stdout]    |
[INFO] [stdout]    = note: `#[warn(unused_variables)]` (part of `#[warn(unused)]`) on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `version`
[INFO] [stdout]    --> src/client.rs:113:75
[INFO] [stdout]     |
[INFO] [stdout] 113 |     fn publish_diagnostics(&self, uri: Url, diagnostics: Vec<Diagnostic>, version: Option<i32>) {
[INFO] [stdout]     |                                                                           ^^^^^^^ help: if this is intentional, prefix it with an underscore: `_version`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `ret_bind`
[INFO] [stdout]    --> src/L07_sum_type/pattern_match.rs:181:51
[INFO] [stdout]     |
[INFO] [stdout] 181 |                         .map(|(constr, item_typs, ret_bind)| {
[INFO] [stdout]     |                                                   ^^^^^^^^ help: if this is intentional, prefix it with an underscore: `_ret_bind`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `sum_name`
[INFO] [stdout]    --> src/L07_sum_type/pattern_match.rs:382:17
[INFO] [stdout]     |
[INFO] [stdout] 382 |                 sum_name,
[INFO] [stdout]     |                 ^^^^^^^^ help: try ignoring the field: `sum_name: _`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `x`
[INFO] [stdout]    --> src/L07_sum_type/unification.rs:115:28
[INFO] [stdout]     |
[INFO] [stdout] 115 |             (list, Val::Pi(x, i, a, b)) if list.head().unwrap().is_none() => {
[INFO] [stdout]     |                            ^ help: if this is intentional, prefix it with an underscore: `_x`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `i`
[INFO] [stdout]    --> src/L07_sum_type/unification.rs:115:31
[INFO] [stdout]     |
[INFO] [stdout] 115 |             (list, Val::Pi(x, i, a, b)) if list.head().unwrap().is_none() => {
[INFO] [stdout]     |                               ^ help: if this is intentional, prefix it with an underscore: `_i`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `a`
[INFO] [stdout]    --> src/L07_sum_type/unification.rs:115:34
[INFO] [stdout]     |
[INFO] [stdout] 115 |             (list, Val::Pi(x, i, a, b)) if list.head().unwrap().is_none() => {
[INFO] [stdout]     |                                  ^ help: if this is intentional, prefix it with an underscore: `_a`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `env`
[INFO] [stdout]    --> src/L07_sum_type/unification.rs:298:29
[INFO] [stdout]     |
[INFO] [stdout] 298 |             Val::Match(val, env, cases) => {
[INFO] [stdout]     |                             ^^^ help: if this is intentional, prefix it with an underscore: `_env`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `val`
[INFO] [stdout]    --> src/L07_sum_type/unification.rs:321:37
[INFO] [stdout]     |
[INFO] [stdout] 321 |                 Val::Pi(span, icit, val, closure) if span.data == "_" => {
[INFO] [stdout]     |                                     ^^^ help: if this is intentional, prefix it with an underscore: `_val`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `val`
[INFO] [stdout]    --> src/L07_sum_type/unification.rs:334:37
[INFO] [stdout]     |
[INFO] [stdout] 334 |                 Val::Pi(span, icit, val, closure) => Tm::Lam(
[INFO] [stdout]     |                                     ^^^ help: if this is intentional, prefix it with an underscore: `_val`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `p`
[INFO] [stdout]   --> src/L07_sum_type/pretty.rs:51:19
[INFO] [stdout]    |
[INFO] [stdout] 51 | fn go_app_pruning(p: i32, top_ns: List<String>, ns: List<String>, t: &Tm, pr: &Pruning) -> String {
[INFO] [stdout]    |                   ^ help: if this is intentional, prefix it with an underscore: `_p`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `top_ns`
[INFO] [stdout]   --> src/L07_sum_type/pretty.rs:51:27
[INFO] [stdout]    |
[INFO] [stdout] 51 | fn go_app_pruning(p: i32, top_ns: List<String>, ns: List<String>, t: &Tm, pr: &Pruning) -> String {
[INFO] [stdout]    |                           ^^^^^^ help: if this is intentional, prefix it with an underscore: `_top_ns`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `ns`
[INFO] [stdout]   --> src/L07_sum_type/pretty.rs:51:49
[INFO] [stdout]    |
[INFO] [stdout] 51 | fn go_app_pruning(p: i32, top_ns: List<String>, ns: List<String>, t: &Tm, pr: &Pruning) -> String {
[INFO] [stdout]    |                                                 ^^ help: if this is intentional, prefix it with an underscore: `_ns`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `t`
[INFO] [stdout]   --> src/L07_sum_type/pretty.rs:51:67
[INFO] [stdout]    |
[INFO] [stdout] 51 | fn go_app_pruning(p: i32, top_ns: List<String>, ns: List<String>, t: &Tm, pr: &Pruning) -> String {
[INFO] [stdout]    |                                                                   ^ help: if this is intentional, prefix it with an underscore: `_t`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `pr`
[INFO] [stdout]   --> src/L07_sum_type/pretty.rs:51:75
[INFO] [stdout]    |
[INFO] [stdout] 51 | fn go_app_pruning(p: i32, top_ns: List<String>, ns: List<String>, t: &Tm, pr: &Pruning) -> String {
[INFO] [stdout]    |                                                                           ^^ help: if this is intentional, prefix it with an underscore: `_pr`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `items`
[INFO] [stdout]    --> src/L07_sum_type/pretty.rs:141:28
[INFO] [stdout]     |
[INFO] [stdout] 141 |         Tm::Sum(span, tms, items) => format!(
[INFO] [stdout]     |                            ^^^^^ help: if this is intentional, prefix it with an underscore: `_items`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `env`
[INFO] [stdout]    --> src/L07_sum_type/mod.rs:422:29
[INFO] [stdout]     |
[INFO] [stdout] 422 |             Val::Match(val, env, cases) => {
[INFO] [stdout]     |                             ^^^ help: if this is intentional, prefix it with an underscore: `_env`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `a_quote`
[INFO] [stdout]    --> src/L07a_depend_pm/cxt.rs:121:46
[INFO] [stdout]     |
[INFO] [stdout] 121 |     pub fn fake_bind(&self, x: Span<String>, a_quote: Tm, a: Val, global_idx: Lvl) -> Self {
[INFO] [stdout]     |                                              ^^^^^^^ help: if this is intentional, prefix it with an underscore: `_a_quote`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `ret`
[INFO] [stdout]    --> src/L07a_depend_pm/elaboration.rs:184:22
[INFO] [stdout]     |
[INFO] [stdout] 184 |                 let (ret, error) = compiler.compile(self, typ, &clause, cxt, self.eval(&cxt.env, tm.clone()))?;
[INFO] [stdout]     |                      ^^^ help: if this is intentional, prefix it with an underscore: `_ret`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `sp`
[INFO] [stdout]    --> src/L03_holes/mod.rs:338:32
[INFO] [stdout]     |
[INFO] [stdout] 338 |             Val::Flex(m_prime, sp) if m == m_prime => Err(UnifyError), // occurs check
[INFO] [stdout]     |                                ^^ help: if this is intentional, prefix it with an underscore: `_sp`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `x`
[INFO] [stdout]    --> src/L03_holes/mod.rs:492:22
[INFO] [stdout]     |
[INFO] [stdout] 492 |             (Val::Pi(x, a, b_closure), Val::Pi(x_prime, a_prime, b_prime_closure)) => {
[INFO] [stdout]     |                      ^ help: if this is intentional, prefix it with an underscore: `_x`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `x_prime`
[INFO] [stdout]    --> src/L03_holes/mod.rs:492:48
[INFO] [stdout]     |
[INFO] [stdout] 492 |             (Val::Pi(x, a, b_closure), Val::Pi(x_prime, a_prime, b_prime_closure)) => {
[INFO] [stdout]     |                                                ^^^^^^^ help: if this is intentional, prefix it with an underscore: `_x_prime`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `a`
[INFO] [stdout]    --> src/L03_holes/mod.rs:661:25
[INFO] [stdout]     |
[INFO] [stdout] 661 |             (Raw::Hole, a) => Ok(self.fresh_meta(cxt)),
[INFO] [stdout]     |                         ^
[INFO] [stdout]     |
[INFO] [stdout] help: you might have meant to pattern match on the similarly named variant `U`
[INFO] [stdout]     |
[INFO] [stdout] 661 -             (Raw::Hole, a) => Ok(self.fresh_meta(cxt)),
[INFO] [stdout] 661 +             (Raw::Hole, L03_holes::Val::U) => Ok(self.fresh_meta(cxt)),
[INFO] [stdout]     |
[INFO] [stdout] help: if this is intentional, prefix it with an underscore
[INFO] [stdout]     |
[INFO] [stdout] 661 |             (Raw::Hole, _a) => Ok(self.fresh_meta(cxt)),
[INFO] [stdout]     |                         +
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `x`
[INFO] [stdout]    --> src/L07a_depend_pm/elaboration.rs:422:22
[INFO] [stdout]     |
[INFO] [stdout] 422 |             Raw::Lam(x, Either::Name(_), t) => Err(Error("infer named lambda".to_owned())),
[INFO] [stdout]     |                      ^ help: if this is intentional, prefix it with an underscore: `_x`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `t`
[INFO] [stdout]    --> src/L07a_depend_pm/elaboration.rs:422:42
[INFO] [stdout]     |
[INFO] [stdout] 422 |             Raw::Lam(x, Either::Name(_), t) => Err(Error("infer named lambda".to_owned())),
[INFO] [stdout]     |                                          ^ help: if this is intentional, prefix it with an underscore: `_t`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `a`
[INFO] [stdout]   --> src/L04_implicit/elaboration.rs:87:25
[INFO] [stdout]    |
[INFO] [stdout] 87 |             (Raw::Hole, a) => Ok(self.fresh_meta(cxt)),
[INFO] [stdout]    |                         ^
[INFO] [stdout]    |
[INFO] [stdout] help: you might have meant to pattern match on the similarly named variant `U`
[INFO] [stdout]    |
[INFO] [stdout] 87 -             (Raw::Hole, a) => Ok(self.fresh_meta(cxt)),
[INFO] [stdout] 87 +             (Raw::Hole, L04_implicit::Val::U) => Ok(self.fresh_meta(cxt)),
[INFO] [stdout]    |
[INFO] [stdout] help: if this is intentional, prefix it with an underscore
[INFO] [stdout]    |
[INFO] [stdout] 87 |             (Raw::Hole, _a) => Ok(self.fresh_meta(cxt)),
[INFO] [stdout]    |                         +
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `x`
[INFO] [stdout]    --> src/L04_implicit/elaboration.rs:136:22
[INFO] [stdout]     |
[INFO] [stdout] 136 |             Raw::Lam(x, Either::Name(_), t) => {
[INFO] [stdout]     |                      ^ help: if this is intentional, prefix it with an underscore: `_x`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `t`
[INFO] [stdout]    --> src/L04_implicit/elaboration.rs:136:42
[INFO] [stdout]     |
[INFO] [stdout] 136 |             Raw::Lam(x, Either::Name(_), t) => {
[INFO] [stdout]     |                                          ^ help: if this is intentional, prefix it with an underscore: `_t`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `sp`
[INFO] [stdout]   --> src/L04_implicit/unification.rs:89:32
[INFO] [stdout]    |
[INFO] [stdout] 89 |             Val::Flex(m_prime, sp) if m == m_prime => Err(UnifyError), // occurs check
[INFO] [stdout]    |                                ^^ help: if this is intentional, prefix it with an underscore: `_sp`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `t_t`
[INFO] [stdout]    --> src/L04_implicit/unification.rs:185:41
[INFO] [stdout]     |
[INFO] [stdout] 185 |             (Val::Lam(_, i, t_closure), t_t) => self.unify(
[INFO] [stdout]     |                                         ^^^ help: if this is intentional, prefix it with an underscore: `_t_t`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `x`
[INFO] [stdout]    --> src/L07a_depend_pm/unification.rs:115:28
[INFO] [stdout]     |
[INFO] [stdout] 115 |             (list, Val::Pi(x, i, a, b)) if list.head().unwrap().is_none() => {
[INFO] [stdout]     |                            ^ help: if this is intentional, prefix it with an underscore: `_x`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `i`
[INFO] [stdout]    --> src/L07a_depend_pm/unification.rs:115:31
[INFO] [stdout]     |
[INFO] [stdout] 115 |             (list, Val::Pi(x, i, a, b)) if list.head().unwrap().is_none() => {
[INFO] [stdout]     |                               ^ help: if this is intentional, prefix it with an underscore: `_i`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `a`
[INFO] [stdout]    --> src/L07a_depend_pm/unification.rs:115:34
[INFO] [stdout]     |
[INFO] [stdout] 115 |             (list, Val::Pi(x, i, a, b)) if list.head().unwrap().is_none() => {
[INFO] [stdout]     |                                  ^ help: if this is intentional, prefix it with an underscore: `_a`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `val`
[INFO] [stdout]    --> src/L07a_depend_pm/unification.rs:352:37
[INFO] [stdout]     |
[INFO] [stdout] 352 |                 Val::Pi(span, icit, val, closure) if span.data == "_" => {
[INFO] [stdout]     |                                     ^^^ help: if this is intentional, prefix it with an underscore: `_val`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `val`
[INFO] [stdout]    --> src/L07a_depend_pm/unification.rs:365:37
[INFO] [stdout]     |
[INFO] [stdout] 365 |                 Val::Pi(span, icit, val, closure) => Tm::Lam(
[INFO] [stdout]     |                                     ^^^ help: if this is intentional, prefix it with an underscore: `_val`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `p`
[INFO] [stdout]   --> src/L07a_depend_pm/pretty.rs:51:19
[INFO] [stdout]    |
[INFO] [stdout] 51 | fn go_app_pruning(p: i32, top_ns: List<String>, ns: List<String>, t: &Tm, pr: &Pruning) -> String {
[INFO] [stdout]    |                   ^ help: if this is intentional, prefix it with an underscore: `_p`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `top_ns`
[INFO] [stdout]   --> src/L07a_depend_pm/pretty.rs:51:27
[INFO] [stdout]    |
[INFO] [stdout] 51 | fn go_app_pruning(p: i32, top_ns: List<String>, ns: List<String>, t: &Tm, pr: &Pruning) -> String {
[INFO] [stdout]    |                           ^^^^^^ help: if this is intentional, prefix it with an underscore: `_top_ns`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `ns`
[INFO] [stdout]   --> src/L07a_depend_pm/pretty.rs:51:49
[INFO] [stdout]    |
[INFO] [stdout] 51 | fn go_app_pruning(p: i32, top_ns: List<String>, ns: List<String>, t: &Tm, pr: &Pruning) -> String {
[INFO] [stdout]    |                                                 ^^ help: if this is intentional, prefix it with an underscore: `_ns`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `t`
[INFO] [stdout]   --> src/L07a_depend_pm/pretty.rs:51:67
[INFO] [stdout]    |
[INFO] [stdout] 51 | fn go_app_pruning(p: i32, top_ns: List<String>, ns: List<String>, t: &Tm, pr: &Pruning) -> String {
[INFO] [stdout]    |                                                                   ^ help: if this is intentional, prefix it with an underscore: `_t`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `pr`
[INFO] [stdout]   --> src/L07a_depend_pm/pretty.rs:51:75
[INFO] [stdout]    |
[INFO] [stdout] 51 | fn go_app_pruning(p: i32, top_ns: List<String>, ns: List<String>, t: &Tm, pr: &Pruning) -> String {
[INFO] [stdout]    |                                                                           ^^ help: if this is intentional, prefix it with an underscore: `_pr`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `items`
[INFO] [stdout]    --> src/L07a_depend_pm/pretty.rs:141:28
[INFO] [stdout]     |
[INFO] [stdout] 141 |         Tm::Sum(span, tms, items) => format!(
[INFO] [stdout]     |                            ^^^^^ help: if this is intentional, prefix it with an underscore: `_items`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `x`
[INFO] [stdout]    --> src/L05_pruning/elaboration.rs:155:22
[INFO] [stdout]     |
[INFO] [stdout] 155 |             Raw::Lam(x, Either::Name(_), t) => Err(Error("infer named lambda".to_owned())),
[INFO] [stdout]     |                      ^ help: if this is intentional, prefix it with an underscore: `_x`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `t`
[INFO] [stdout]    --> src/L05_pruning/elaboration.rs:155:42
[INFO] [stdout]     |
[INFO] [stdout] 155 |             Raw::Lam(x, Either::Name(_), t) => Err(Error("infer named lambda".to_owned())),
[INFO] [stdout]     |                                          ^ help: if this is intentional, prefix it with an underscore: `_t`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `x`
[INFO] [stdout]    --> src/L05_pruning/unification.rs:115:28
[INFO] [stdout]     |
[INFO] [stdout] 115 |             (list, Val::Pi(x, i, a, b)) if list.head().unwrap().is_none() => {
[INFO] [stdout]     |                            ^ help: if this is intentional, prefix it with an underscore: `_x`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `i`
[INFO] [stdout]    --> src/L05_pruning/unification.rs:115:31
[INFO] [stdout]     |
[INFO] [stdout] 115 |             (list, Val::Pi(x, i, a, b)) if list.head().unwrap().is_none() => {
[INFO] [stdout]     |                               ^ help: if this is intentional, prefix it with an underscore: `_i`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `a`
[INFO] [stdout]    --> src/L05_pruning/unification.rs:115:34
[INFO] [stdout]     |
[INFO] [stdout] 115 |             (list, Val::Pi(x, i, a, b)) if list.head().unwrap().is_none() => {
[INFO] [stdout]     |                                  ^ help: if this is intentional, prefix it with an underscore: `_a`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `a_quote`
[INFO] [stdout]    --> src/L08_product_type/cxt.rs:121:46
[INFO] [stdout]     |
[INFO] [stdout] 121 |     pub fn fake_bind(&self, x: Span<String>, a_quote: Tm, a: Val, global_idx: Lvl) -> Self {
[INFO] [stdout]     |                                              ^^^^^^^ help: if this is intentional, prefix it with an underscore: `_a_quote`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `val`
[INFO] [stdout]    --> src/L05_pruning/unification.rs:275:37
[INFO] [stdout]     |
[INFO] [stdout] 275 |                 Val::Pi(span, icit, val, closure) if span.data == "_" => {
[INFO] [stdout]     |                                     ^^^ help: if this is intentional, prefix it with an underscore: `_val`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `val`
[INFO] [stdout]    --> src/L05_pruning/unification.rs:288:37
[INFO] [stdout]     |
[INFO] [stdout] 288 |                 Val::Pi(span, icit, val, closure) => Tm::Lam(
[INFO] [stdout]     |                                     ^^^ help: if this is intentional, prefix it with an underscore: `_val`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `ret`
[INFO] [stdout]    --> src/L08_product_type/elaboration.rs:183:22
[INFO] [stdout]     |
[INFO] [stdout] 183 |                 let (ret, error) = compiler.compile(self, typ, &clause, cxt, self.eval(&cxt.env, tm.clone()))?;
[INFO] [stdout]     |                      ^^^ help: if this is intentional, prefix it with an underscore: `_ret`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `x`
[INFO] [stdout]    --> src/L08_product_type/elaboration.rs:470:22
[INFO] [stdout]     |
[INFO] [stdout] 470 |             Raw::Lam(x, Either::Name(_), t) => Err(Error("infer named lambda".to_owned())),
[INFO] [stdout]     |                      ^ help: if this is intentional, prefix it with an underscore: `_x`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `t`
[INFO] [stdout]    --> src/L08_product_type/elaboration.rs:470:42
[INFO] [stdout]     |
[INFO] [stdout] 470 |             Raw::Lam(x, Either::Name(_), t) => Err(Error("infer named lambda".to_owned())),
[INFO] [stdout]     |                                          ^ help: if this is intentional, prefix it with an underscore: `_t`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `x`
[INFO] [stdout]    --> src/L06_string/elaboration.rs:222:22
[INFO] [stdout]     |
[INFO] [stdout] 222 |             Raw::Lam(x, Either::Name(_), t) => Err(Error("infer named lambda".to_owned())),
[INFO] [stdout]     |                      ^ help: if this is intentional, prefix it with an underscore: `_x`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `t`
[INFO] [stdout]    --> src/L06_string/elaboration.rs:222:42
[INFO] [stdout]     |
[INFO] [stdout] 222 |             Raw::Lam(x, Either::Name(_), t) => Err(Error("infer named lambda".to_owned())),
[INFO] [stdout]     |                                          ^ help: if this is intentional, prefix it with an underscore: `_t`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `val`
[INFO] [stdout]    --> src/L06_string/unification.rs:293:37
[INFO] [stdout]     |
[INFO] [stdout] 293 |                 Val::Pi(span, icit, val, closure) => Tm::Lam(
[INFO] [stdout]     |                                     ^^^ help: if this is intentional, prefix it with an underscore: `_val`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `p`
[INFO] [stdout]   --> src/L06_string/pretty.rs:51:19
[INFO] [stdout]    |
[INFO] [stdout] 51 | fn go_app_pruning(p: i32, top_ns: List<String>, ns: List<String>, t: &Tm, pr: &Pruning) -> String {
[INFO] [stdout]    |                   ^ help: if this is intentional, prefix it with an underscore: `_p`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `top_ns`
[INFO] [stdout]   --> src/L06_string/pretty.rs:51:27
[INFO] [stdout]    |
[INFO] [stdout] 51 | fn go_app_pruning(p: i32, top_ns: List<String>, ns: List<String>, t: &Tm, pr: &Pruning) -> String {
[INFO] [stdout]    |                           ^^^^^^ help: if this is intentional, prefix it with an underscore: `_top_ns`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `ns`
[INFO] [stdout]   --> src/L06_string/pretty.rs:51:49
[INFO] [stdout]    |
[INFO] [stdout] 51 | fn go_app_pruning(p: i32, top_ns: List<String>, ns: List<String>, t: &Tm, pr: &Pruning) -> String {
[INFO] [stdout]    |                                                 ^^ help: if this is intentional, prefix it with an underscore: `_ns`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `t`
[INFO] [stdout]   --> src/L06_string/pretty.rs:51:67
[INFO] [stdout]    |
[INFO] [stdout] 51 | fn go_app_pruning(p: i32, top_ns: List<String>, ns: List<String>, t: &Tm, pr: &Pruning) -> String {
[INFO] [stdout]    |                                                                   ^ help: if this is intentional, prefix it with an underscore: `_t`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `pr`
[INFO] [stdout]   --> src/L06_string/pretty.rs:51:75
[INFO] [stdout]    |
[INFO] [stdout] 51 | fn go_app_pruning(p: i32, top_ns: List<String>, ns: List<String>, t: &Tm, pr: &Pruning) -> String {
[INFO] [stdout]    |                                                                           ^^ help: if this is intentional, prefix it with an underscore: `_pr`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `a_quote`
[INFO] [stdout]    --> src/L07_sum_type/cxt.rs:119:46
[INFO] [stdout]     |
[INFO] [stdout] 119 |     pub fn fake_bind(&self, x: Span<String>, a_quote: Tm, a: Val) -> Self {
[INFO] [stdout]     |                                              ^^^^^^^ help: if this is intentional, prefix it with an underscore: `_a_quote`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `x`
[INFO] [stdout]    --> src/L07_sum_type/elaboration.rs:368:22
[INFO] [stdout]     |
[INFO] [stdout] 368 |             Raw::Lam(x, Either::Name(_), t) => Err(Error("infer named lambda".to_owned())),
[INFO] [stdout]     |                      ^ help: if this is intentional, prefix it with an underscore: `_x`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `t`
[INFO] [stdout]    --> src/L07_sum_type/elaboration.rs:368:42
[INFO] [stdout]     |
[INFO] [stdout] 368 |             Raw::Lam(x, Either::Name(_), t) => Err(Error("infer named lambda".to_owned())),
[INFO] [stdout]     |                                          ^ help: if this is intentional, prefix it with an underscore: `_t`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `x`
[INFO] [stdout]    --> src/L08_product_type/unification.rs:115:28
[INFO] [stdout]     |
[INFO] [stdout] 115 |             (list, Val::Pi(x, i, a, b)) if list.head().unwrap().is_none() => {
[INFO] [stdout]     |                            ^ help: if this is intentional, prefix it with an underscore: `_x`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `i`
[INFO] [stdout]    --> src/L08_product_type/unification.rs:115:31
[INFO] [stdout]     |
[INFO] [stdout] 115 |             (list, Val::Pi(x, i, a, b)) if list.head().unwrap().is_none() => {
[INFO] [stdout]     |                               ^ help: if this is intentional, prefix it with an underscore: `_i`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `a`
[INFO] [stdout]    --> src/L08_product_type/unification.rs:115:34
[INFO] [stdout]     |
[INFO] [stdout] 115 |             (list, Val::Pi(x, i, a, b)) if list.head().unwrap().is_none() => {
[INFO] [stdout]     |                                  ^ help: if this is intentional, prefix it with an underscore: `_a`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `val`
[INFO] [stdout]    --> src/L08_product_type/unification.rs:352:37
[INFO] [stdout]     |
[INFO] [stdout] 352 |                 Val::Pi(span, icit, val, closure) if span.data == "_" => {
[INFO] [stdout]     |                                     ^^^ help: if this is intentional, prefix it with an underscore: `_val`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `val`
[INFO] [stdout]    --> src/L08_product_type/unification.rs:365:37
[INFO] [stdout]     |
[INFO] [stdout] 365 |                 Val::Pi(span, icit, val, closure) => Tm::Lam(
[INFO] [stdout]     |                                     ^^^ help: if this is intentional, prefix it with an underscore: `_val`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `p`
[INFO] [stdout]   --> src/L08_product_type/pretty.rs:51:19
[INFO] [stdout]    |
[INFO] [stdout] 51 | fn go_app_pruning(p: i32, top_ns: List<String>, ns: List<String>, t: &Tm, pr: &Pruning) -> String {
[INFO] [stdout]    |                   ^ help: if this is intentional, prefix it with an underscore: `_p`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `top_ns`
[INFO] [stdout]   --> src/L08_product_type/pretty.rs:51:27
[INFO] [stdout]    |
[INFO] [stdout] 51 | fn go_app_pruning(p: i32, top_ns: List<String>, ns: List<String>, t: &Tm, pr: &Pruning) -> String {
[INFO] [stdout]    |                           ^^^^^^ help: if this is intentional, prefix it with an underscore: `_top_ns`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `ns`
[INFO] [stdout]   --> src/L08_product_type/pretty.rs:51:49
[INFO] [stdout]    |
[INFO] [stdout] 51 | fn go_app_pruning(p: i32, top_ns: List<String>, ns: List<String>, t: &Tm, pr: &Pruning) -> String {
[INFO] [stdout]    |                                                 ^^ help: if this is intentional, prefix it with an underscore: `_ns`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `t`
[INFO] [stdout]   --> src/L08_product_type/pretty.rs:51:67
[INFO] [stdout]    |
[INFO] [stdout] 51 | fn go_app_pruning(p: i32, top_ns: List<String>, ns: List<String>, t: &Tm, pr: &Pruning) -> String {
[INFO] [stdout]    |                                                                   ^ help: if this is intentional, prefix it with an underscore: `_t`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `pr`
[INFO] [stdout]   --> src/L08_product_type/pretty.rs:51:75
[INFO] [stdout]    |
[INFO] [stdout] 51 | fn go_app_pruning(p: i32, top_ns: List<String>, ns: List<String>, t: &Tm, pr: &Pruning) -> String {
[INFO] [stdout]    |                                                                           ^^ help: if this is intentional, prefix it with an underscore: `_pr`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `items`
[INFO] [stdout]    --> src/L08_product_type/pretty.rs:141:28
[INFO] [stdout]     |
[INFO] [stdout] 141 |         Tm::Sum(span, tms, items) => format!(
[INFO] [stdout]     |                            ^^^^^ help: if this is intentional, prefix it with an underscore: `_items`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `x`
[INFO] [stdout]    --> src/L09_mltt/elaboration.rs:161:32
[INFO] [stdout]     |
[INFO] [stdout] 161 |                         Val::U(x) => {//TODO:x?
[INFO] [stdout]     |                                ^ help: if this is intentional, prefix it with an underscore: `_x`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `ret`
[INFO] [stdout]    --> src/L09_mltt/elaboration.rs:237:22
[INFO] [stdout]     |
[INFO] [stdout] 237 |                 let (ret, error) = compiler.compile(self, typ, &clause, cxt, self.eval(&cxt.env, tm.clone()))?;
[INFO] [stdout]     |                      ^^^ help: if this is intentional, prefix it with an underscore: `_ret`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `t`
[INFO] [stdout]    --> src/L09_mltt/elaboration.rs:537:42
[INFO] [stdout]     |
[INFO] [stdout] 537 |             Raw::Lam(x, Either::Name(_), t) => Err(Error(x.map(|_| "infer named lambda".to_owned()))),
[INFO] [stdout]     |                                          ^ help: if this is intentional, prefix it with an underscore: `_t`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `ret_bind`
[INFO] [stdout]    --> src/L07_sum_type/pattern_match.rs:181:51
[INFO] [stdout]     |
[INFO] [stdout] 181 |                         .map(|(constr, item_typs, ret_bind)| {
[INFO] [stdout]     |                                                   ^^^^^^^^ help: if this is intentional, prefix it with an underscore: `_ret_bind`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `sum_name`
[INFO] [stdout]    --> src/L07_sum_type/pattern_match.rs:382:17
[INFO] [stdout]     |
[INFO] [stdout] 382 |                 sum_name,
[INFO] [stdout]     |                 ^^^^^^^^ help: try ignoring the field: `sum_name: _`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `x`
[INFO] [stdout]    --> src/L07_sum_type/unification.rs:115:28
[INFO] [stdout]     |
[INFO] [stdout] 115 |             (list, Val::Pi(x, i, a, b)) if list.head().unwrap().is_none() => {
[INFO] [stdout]     |                            ^ help: if this is intentional, prefix it with an underscore: `_x`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `i`
[INFO] [stdout]    --> src/L07_sum_type/unification.rs:115:31
[INFO] [stdout]     |
[INFO] [stdout] 115 |             (list, Val::Pi(x, i, a, b)) if list.head().unwrap().is_none() => {
[INFO] [stdout]     |                               ^ help: if this is intentional, prefix it with an underscore: `_i`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `a`
[INFO] [stdout]    --> src/L07_sum_type/unification.rs:115:34
[INFO] [stdout]     |
[INFO] [stdout] 115 |             (list, Val::Pi(x, i, a, b)) if list.head().unwrap().is_none() => {
[INFO] [stdout]     |                                  ^ help: if this is intentional, prefix it with an underscore: `_a`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `env`
[INFO] [stdout]    --> src/L07_sum_type/unification.rs:298:29
[INFO] [stdout]     |
[INFO] [stdout] 298 |             Val::Match(val, env, cases) => {
[INFO] [stdout]     |                             ^^^ help: if this is intentional, prefix it with an underscore: `_env`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `val`
[INFO] [stdout]    --> src/L07_sum_type/unification.rs:321:37
[INFO] [stdout]     |
[INFO] [stdout] 321 |                 Val::Pi(span, icit, val, closure) if span.data == "_" => {
[INFO] [stdout]     |                                     ^^^ help: if this is intentional, prefix it with an underscore: `_val`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `val`
[INFO] [stdout]    --> src/L07_sum_type/unification.rs:334:37
[INFO] [stdout]     |
[INFO] [stdout] 334 |                 Val::Pi(span, icit, val, closure) => Tm::Lam(
[INFO] [stdout]     |                                     ^^^ help: if this is intentional, prefix it with an underscore: `_val`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `typ`
[INFO] [stdout]   --> src/L09_mltt/parser/syntax.rs:91:28
[INFO] [stdout]    |
[INFO] [stdout] 91 |             Raw::SumCase { typ, case_name, datas } => datas.last()
[INFO] [stdout]    |                            ^^^ help: try ignoring the field: `typ: _`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `p`
[INFO] [stdout]   --> src/L07_sum_type/pretty.rs:51:19
[INFO] [stdout]    |
[INFO] [stdout] 51 | fn go_app_pruning(p: i32, top_ns: List<String>, ns: List<String>, t: &Tm, pr: &Pruning) -> String {
[INFO] [stdout]    |                   ^ help: if this is intentional, prefix it with an underscore: `_p`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `top_ns`
[INFO] [stdout]   --> src/L07_sum_type/pretty.rs:51:27
[INFO] [stdout]    |
[INFO] [stdout] 51 | fn go_app_pruning(p: i32, top_ns: List<String>, ns: List<String>, t: &Tm, pr: &Pruning) -> String {
[INFO] [stdout]    |                           ^^^^^^ help: if this is intentional, prefix it with an underscore: `_top_ns`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `ns`
[INFO] [stdout]   --> src/L07_sum_type/pretty.rs:51:49
[INFO] [stdout]    |
[INFO] [stdout] 51 | fn go_app_pruning(p: i32, top_ns: List<String>, ns: List<String>, t: &Tm, pr: &Pruning) -> String {
[INFO] [stdout]    |                                                 ^^ help: if this is intentional, prefix it with an underscore: `_ns`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `t`
[INFO] [stdout]   --> src/L07_sum_type/pretty.rs:51:67
[INFO] [stdout]    |
[INFO] [stdout] 51 | fn go_app_pruning(p: i32, top_ns: List<String>, ns: List<String>, t: &Tm, pr: &Pruning) -> String {
[INFO] [stdout]    |                                                                   ^ help: if this is intentional, prefix it with an underscore: `_t`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `pr`
[INFO] [stdout]   --> src/L07_sum_type/pretty.rs:51:75
[INFO] [stdout]    |
[INFO] [stdout] 51 | fn go_app_pruning(p: i32, top_ns: List<String>, ns: List<String>, t: &Tm, pr: &Pruning) -> String {
[INFO] [stdout]    |                                                                           ^^ help: if this is intentional, prefix it with an underscore: `_pr`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `items`
[INFO] [stdout]    --> src/L07_sum_type/pretty.rs:141:28
[INFO] [stdout]     |
[INFO] [stdout] 141 |         Tm::Sum(span, tms, items) => format!(
[INFO] [stdout]     |                            ^^^^^ help: if this is intentional, prefix it with an underscore: `_items`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `env`
[INFO] [stdout]    --> src/L07_sum_type/mod.rs:422:29
[INFO] [stdout]     |
[INFO] [stdout] 422 |             Val::Match(val, env, cases) => {
[INFO] [stdout]     |                             ^^^ help: if this is intentional, prefix it with an underscore: `_env`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `a_quote`
[INFO] [stdout]    --> src/L07a_depend_pm/cxt.rs:121:46
[INFO] [stdout]     |
[INFO] [stdout] 121 |     pub fn fake_bind(&self, x: Span<String>, a_quote: Tm, a: Val, global_idx: Lvl) -> Self {
[INFO] [stdout]     |                                              ^^^^^^^ help: if this is intentional, prefix it with an underscore: `_a_quote`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `ret`
[INFO] [stdout]    --> src/L07a_depend_pm/elaboration.rs:184:22
[INFO] [stdout]     |
[INFO] [stdout] 184 |                 let (ret, error) = compiler.compile(self, typ, &clause, cxt, self.eval(&cxt.env, tm.clone()))?;
[INFO] [stdout]     |                      ^^^ help: if this is intentional, prefix it with an underscore: `_ret`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `x`
[INFO] [stdout]    --> src/L07a_depend_pm/elaboration.rs:422:22
[INFO] [stdout]     |
[INFO] [stdout] 422 |             Raw::Lam(x, Either::Name(_), t) => Err(Error("infer named lambda".to_owned())),
[INFO] [stdout]     |                      ^ help: if this is intentional, prefix it with an underscore: `_x`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `t`
[INFO] [stdout]    --> src/L07a_depend_pm/elaboration.rs:422:42
[INFO] [stdout]     |
[INFO] [stdout] 422 |             Raw::Lam(x, Either::Name(_), t) => Err(Error("infer named lambda".to_owned())),
[INFO] [stdout]     |                                          ^ help: if this is intentional, prefix it with an underscore: `_t`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `x`
[INFO] [stdout]    --> src/L09_mltt/unification.rs:115:28
[INFO] [stdout]     |
[INFO] [stdout] 115 |             (list, Val::Pi(x, i, a, b)) if list.head().unwrap().is_none() => {
[INFO] [stdout]     |                            ^ help: if this is intentional, prefix it with an underscore: `_x`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `i`
[INFO] [stdout]    --> src/L09_mltt/unification.rs:115:31
[INFO] [stdout]     |
[INFO] [stdout] 115 |             (list, Val::Pi(x, i, a, b)) if list.head().unwrap().is_none() => {
[INFO] [stdout]     |                               ^ help: if this is intentional, prefix it with an underscore: `_i`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `a`
[INFO] [stdout]    --> src/L09_mltt/unification.rs:115:34
[INFO] [stdout]     |
[INFO] [stdout] 115 |             (list, Val::Pi(x, i, a, b)) if list.head().unwrap().is_none() => {
[INFO] [stdout]     |                                  ^ help: if this is intentional, prefix it with an underscore: `_a`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `val`
[INFO] [stdout]    --> src/L09_mltt/unification.rs:342:37
[INFO] [stdout]     |
[INFO] [stdout] 342 |                 Val::Pi(span, icit, val, closure) if span.data == "_" => {
[INFO] [stdout]     |                                     ^^^ help: if this is intentional, prefix it with an underscore: `_val`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `val`
[INFO] [stdout]    --> src/L09_mltt/unification.rs:355:37
[INFO] [stdout]     |
[INFO] [stdout] 355 |                 Val::Pi(span, icit, val, closure) => Tm::Lam(
[INFO] [stdout]     |                                     ^^^ help: if this is intentional, prefix it with an underscore: `_val`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `p`
[INFO] [stdout]   --> src/L09_mltt/pretty.rs:51:19
[INFO] [stdout]    |
[INFO] [stdout] 51 | fn go_app_pruning(p: i32, top_ns: List<String>, ns: List<String>, t: &Tm, pr: &Pruning) -> String {
[INFO] [stdout]    |                   ^ help: if this is intentional, prefix it with an underscore: `_p`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `top_ns`
[INFO] [stdout]   --> src/L09_mltt/pretty.rs:51:27
[INFO] [stdout]    |
[INFO] [stdout] 51 | fn go_app_pruning(p: i32, top_ns: List<String>, ns: List<String>, t: &Tm, pr: &Pruning) -> String {
[INFO] [stdout]    |                           ^^^^^^ help: if this is intentional, prefix it with an underscore: `_top_ns`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `ns`
[INFO] [stdout]   --> src/L09_mltt/pretty.rs:51:49
[INFO] [stdout]    |
[INFO] [stdout] 51 | fn go_app_pruning(p: i32, top_ns: List<String>, ns: List<String>, t: &Tm, pr: &Pruning) -> String {
[INFO] [stdout]    |                                                 ^^ help: if this is intentional, prefix it with an underscore: `_ns`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `t`
[INFO] [stdout]   --> src/L09_mltt/pretty.rs:51:67
[INFO] [stdout]    |
[INFO] [stdout] 51 | fn go_app_pruning(p: i32, top_ns: List<String>, ns: List<String>, t: &Tm, pr: &Pruning) -> String {
[INFO] [stdout]    |                                                                   ^ help: if this is intentional, prefix it with an underscore: `_t`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `pr`
[INFO] [stdout]   --> src/L09_mltt/pretty.rs:51:75
[INFO] [stdout]    |
[INFO] [stdout] 51 | fn go_app_pruning(p: i32, top_ns: List<String>, ns: List<String>, t: &Tm, pr: &Pruning) -> String {
[INFO] [stdout]    |                                                                           ^^ help: if this is intentional, prefix it with an underscore: `_pr`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `items`
[INFO] [stdout]    --> src/L09_mltt/pretty.rs:141:28
[INFO] [stdout]     |
[INFO] [stdout] 141 |         Tm::Sum(span, tms, items) => format!(
[INFO] [stdout]     |                            ^^^^^ help: if this is intentional, prefix it with an underscore: `_items`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `x`
[INFO] [stdout]    --> src/L10_typeclass/elaboration.rs:167:32
[INFO] [stdout]     |
[INFO] [stdout] 167 |                         Val::U(x) => {//TODO:x?
[INFO] [stdout]     |                                ^ help: if this is intentional, prefix it with an underscore: `_x`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `x`
[INFO] [stdout]    --> src/L07a_depend_pm/unification.rs:115:28
[INFO] [stdout]     |
[INFO] [stdout] 115 |             (list, Val::Pi(x, i, a, b)) if list.head().unwrap().is_none() => {
[INFO] [stdout]     |                            ^ help: if this is intentional, prefix it with an underscore: `_x`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `i`
[INFO] [stdout]    --> src/L07a_depend_pm/unification.rs:115:31
[INFO] [stdout]     |
[INFO] [stdout] 115 |             (list, Val::Pi(x, i, a, b)) if list.head().unwrap().is_none() => {
[INFO] [stdout]     |                               ^ help: if this is intentional, prefix it with an underscore: `_i`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `a`
[INFO] [stdout]    --> src/L07a_depend_pm/unification.rs:115:34
[INFO] [stdout]     |
[INFO] [stdout] 115 |             (list, Val::Pi(x, i, a, b)) if list.head().unwrap().is_none() => {
[INFO] [stdout]     |                                  ^ help: if this is intentional, prefix it with an underscore: `_a`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `val`
[INFO] [stdout]    --> src/L07a_depend_pm/unification.rs:352:37
[INFO] [stdout]     |
[INFO] [stdout] 352 |                 Val::Pi(span, icit, val, closure) if span.data == "_" => {
[INFO] [stdout]     |                                     ^^^ help: if this is intentional, prefix it with an underscore: `_val`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `val`
[INFO] [stdout]    --> src/L07a_depend_pm/unification.rs:365:37
[INFO] [stdout]     |
[INFO] [stdout] 365 |                 Val::Pi(span, icit, val, closure) => Tm::Lam(
[INFO] [stdout]     |                                     ^^^ help: if this is intentional, prefix it with an underscore: `_val`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `p`
[INFO] [stdout]   --> src/L07a_depend_pm/pretty.rs:51:19
[INFO] [stdout]    |
[INFO] [stdout] 51 | fn go_app_pruning(p: i32, top_ns: List<String>, ns: List<String>, t: &Tm, pr: &Pruning) -> String {
[INFO] [stdout]    |                   ^ help: if this is intentional, prefix it with an underscore: `_p`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `top_ns`
[INFO] [stdout]   --> src/L07a_depend_pm/pretty.rs:51:27
[INFO] [stdout]    |
[INFO] [stdout] 51 | fn go_app_pruning(p: i32, top_ns: List<String>, ns: List<String>, t: &Tm, pr: &Pruning) -> String {
[INFO] [stdout]    |                           ^^^^^^ help: if this is intentional, prefix it with an underscore: `_top_ns`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `ns`
[INFO] [stdout]   --> src/L07a_depend_pm/pretty.rs:51:49
[INFO] [stdout]    |
[INFO] [stdout] 51 | fn go_app_pruning(p: i32, top_ns: List<String>, ns: List<String>, t: &Tm, pr: &Pruning) -> String {
[INFO] [stdout]    |                                                 ^^ help: if this is intentional, prefix it with an underscore: `_ns`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `t`
[INFO] [stdout]   --> src/L07a_depend_pm/pretty.rs:51:67
[INFO] [stdout]    |
[INFO] [stdout] 51 | fn go_app_pruning(p: i32, top_ns: List<String>, ns: List<String>, t: &Tm, pr: &Pruning) -> String {
[INFO] [stdout]    |                                                                   ^ help: if this is intentional, prefix it with an underscore: `_t`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `pr`
[INFO] [stdout]   --> src/L07a_depend_pm/pretty.rs:51:75
[INFO] [stdout]    |
[INFO] [stdout] 51 | fn go_app_pruning(p: i32, top_ns: List<String>, ns: List<String>, t: &Tm, pr: &Pruning) -> String {
[INFO] [stdout]    |                                                                           ^^ help: if this is intentional, prefix it with an underscore: `_pr`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `items`
[INFO] [stdout]    --> src/L07a_depend_pm/pretty.rs:141:28
[INFO] [stdout]     |
[INFO] [stdout] 141 |         Tm::Sum(span, tms, items) => format!(
[INFO] [stdout]     |                            ^^^^^ help: if this is intentional, prefix it with an underscore: `_items`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `typ`
[INFO] [stdout]   --> src/L10_typeclass/parser/syntax.rs:94:41
[INFO] [stdout]    |
[INFO] [stdout] 94 |             Raw::SumCase { is_trait: _, typ, case_name, datas } => datas.last()
[INFO] [stdout]    |                                         ^^^ help: try ignoring the field: `typ: _`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `a_quote`
[INFO] [stdout]    --> src/L08_product_type/cxt.rs:121:46
[INFO] [stdout]     |
[INFO] [stdout] 121 |     pub fn fake_bind(&self, x: Span<String>, a_quote: Tm, a: Val, global_idx: Lvl) -> Self {
[INFO] [stdout]     |                                              ^^^^^^^ help: if this is intentional, prefix it with an underscore: `_a_quote`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `ret`
[INFO] [stdout]    --> src/L08_product_type/elaboration.rs:183:22
[INFO] [stdout]     |
[INFO] [stdout] 183 |                 let (ret, error) = compiler.compile(self, typ, &clause, cxt, self.eval(&cxt.env, tm.clone()))?;
[INFO] [stdout]     |                      ^^^ help: if this is intentional, prefix it with an underscore: `_ret`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `x`
[INFO] [stdout]    --> src/L08_product_type/elaboration.rs:470:22
[INFO] [stdout]     |
[INFO] [stdout] 470 |             Raw::Lam(x, Either::Name(_), t) => Err(Error("infer named lambda".to_owned())),
[INFO] [stdout]     |                      ^ help: if this is intentional, prefix it with an underscore: `_x`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `t`
[INFO] [stdout]    --> src/L08_product_type/elaboration.rs:470:42
[INFO] [stdout]     |
[INFO] [stdout] 470 |             Raw::Lam(x, Either::Name(_), t) => Err(Error("infer named lambda".to_owned())),
[INFO] [stdout]     |                                          ^ help: if this is intentional, prefix it with an underscore: `_t`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `x`
[INFO] [stdout]    --> src/L08_product_type/unification.rs:115:28
[INFO] [stdout]     |
[INFO] [stdout] 115 |             (list, Val::Pi(x, i, a, b)) if list.head().unwrap().is_none() => {
[INFO] [stdout]     |                            ^ help: if this is intentional, prefix it with an underscore: `_x`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `i`
[INFO] [stdout]    --> src/L08_product_type/unification.rs:115:31
[INFO] [stdout]     |
[INFO] [stdout] 115 |             (list, Val::Pi(x, i, a, b)) if list.head().unwrap().is_none() => {
[INFO] [stdout]     |                               ^ help: if this is intentional, prefix it with an underscore: `_i`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `a`
[INFO] [stdout]    --> src/L08_product_type/unification.rs:115:34
[INFO] [stdout]     |
[INFO] [stdout] 115 |             (list, Val::Pi(x, i, a, b)) if list.head().unwrap().is_none() => {
[INFO] [stdout]     |                                  ^ help: if this is intentional, prefix it with an underscore: `_a`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `val`
[INFO] [stdout]    --> src/L08_product_type/unification.rs:352:37
[INFO] [stdout]     |
[INFO] [stdout] 352 |                 Val::Pi(span, icit, val, closure) if span.data == "_" => {
[INFO] [stdout]     |                                     ^^^ help: if this is intentional, prefix it with an underscore: `_val`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `val`
[INFO] [stdout]    --> src/L08_product_type/unification.rs:365:37
[INFO] [stdout]     |
[INFO] [stdout] 365 |                 Val::Pi(span, icit, val, closure) => Tm::Lam(
[INFO] [stdout]     |                                     ^^^ help: if this is intentional, prefix it with an underscore: `_val`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `p`
[INFO] [stdout]   --> src/L08_product_type/pretty.rs:51:19
[INFO] [stdout]    |
[INFO] [stdout] 51 | fn go_app_pruning(p: i32, top_ns: List<String>, ns: List<String>, t: &Tm, pr: &Pruning) -> String {
[INFO] [stdout]    |                   ^ help: if this is intentional, prefix it with an underscore: `_p`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `top_ns`
[INFO] [stdout]   --> src/L08_product_type/pretty.rs:51:27
[INFO] [stdout]    |
[INFO] [stdout] 51 | fn go_app_pruning(p: i32, top_ns: List<String>, ns: List<String>, t: &Tm, pr: &Pruning) -> String {
[INFO] [stdout]    |                           ^^^^^^ help: if this is intentional, prefix it with an underscore: `_top_ns`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `ns`
[INFO] [stdout]   --> src/L08_product_type/pretty.rs:51:49
[INFO] [stdout]    |
[INFO] [stdout] 51 | fn go_app_pruning(p: i32, top_ns: List<String>, ns: List<String>, t: &Tm, pr: &Pruning) -> String {
[INFO] [stdout]    |                                                 ^^ help: if this is intentional, prefix it with an underscore: `_ns`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `t`
[INFO] [stdout]   --> src/L08_product_type/pretty.rs:51:67
[INFO] [stdout]    |
[INFO] [stdout] 51 | fn go_app_pruning(p: i32, top_ns: List<String>, ns: List<String>, t: &Tm, pr: &Pruning) -> String {
[INFO] [stdout]    |                                                                   ^ help: if this is intentional, prefix it with an underscore: `_t`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `pr`
[INFO] [stdout]   --> src/L08_product_type/pretty.rs:51:75
[INFO] [stdout]    |
[INFO] [stdout] 51 | fn go_app_pruning(p: i32, top_ns: List<String>, ns: List<String>, t: &Tm, pr: &Pruning) -> String {
[INFO] [stdout]    |                                                                           ^^ help: if this is intentional, prefix it with an underscore: `_pr`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `e`
[INFO] [stdout]    --> src/L10_typeclass/pattern_match.rs:218:29
[INFO] [stdout]     |
[INFO] [stdout] 218 |                         Err(e) => {
[INFO] [stdout]     |                             ^ help: if this is intentional, prefix it with an underscore: `_e`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `var`
[INFO] [stdout]    --> src/L10_typeclass/pattern_match.rs:248:15
[INFO] [stdout]     |
[INFO] [stdout] 248 |             [(var, typ, head_name, icit), heads_rest @ ..] => {
[INFO] [stdout]     |               ^^^ help: if this is intentional, prefix it with an underscore: `_var`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `items`
[INFO] [stdout]    --> src/L08_product_type/pretty.rs:141:28
[INFO] [stdout]     |
[INFO] [stdout] 141 |         Tm::Sum(span, tms, items) => format!(
[INFO] [stdout]     |                            ^^^^^ help: if this is intentional, prefix it with an underscore: `_items`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `val`
[INFO] [stdout]    --> src/L10_typeclass/unification.rs:360:37
[INFO] [stdout]     |
[INFO] [stdout] 360 |                 Val::Pi(span, icit, val, closure) => Tm::Lam(
[INFO] [stdout]     |                                     ^^^ help: if this is intentional, prefix it with an underscore: `_val`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `x`
[INFO] [stdout]    --> src/L09_mltt/elaboration.rs:161:32
[INFO] [stdout]     |
[INFO] [stdout] 161 |                         Val::U(x) => {//TODO:x?
[INFO] [stdout]     |                                ^ help: if this is intentional, prefix it with an underscore: `_x`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `val`
[INFO] [stdout]   --> src/L10_typeclass/typeclass.rs:24:22
[INFO] [stdout]    |
[INFO] [stdout] 24 |             Val::Obj(val, span, sp) => None,
[INFO] [stdout]    |                      ^^^ help: if this is intentional, prefix it with an underscore: `_val`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `span`
[INFO] [stdout]   --> src/L10_typeclass/typeclass.rs:24:27
[INFO] [stdout]    |
[INFO] [stdout] 24 |             Val::Obj(val, span, sp) => None,
[INFO] [stdout]    |                           ^^^^ help: if this is intentional, prefix it with an underscore: `_span`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `sp`
[INFO] [stdout]   --> src/L10_typeclass/typeclass.rs:24:33
[INFO] [stdout]    |
[INFO] [stdout] 24 |             Val::Obj(val, span, sp) => None,
[INFO] [stdout]    |                                 ^^ help: if this is intentional, prefix it with an underscore: `_sp`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `span`
[INFO] [stdout]   --> src/L10_typeclass/typeclass.rs:26:21
[INFO] [stdout]    |
[INFO] [stdout] 26 |             Val::Pi(span, icit, val, closure) => None,
[INFO] [stdout]    |                     ^^^^ help: if this is intentional, prefix it with an underscore: `_span`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `icit`
[INFO] [stdout]   --> src/L10_typeclass/typeclass.rs:26:27
[INFO] [stdout]    |
[INFO] [stdout] 26 |             Val::Pi(span, icit, val, closure) => None,
[INFO] [stdout]    |                           ^^^^ help: if this is intentional, prefix it with an underscore: `_icit`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `val`
[INFO] [stdout]   --> src/L10_typeclass/typeclass.rs:26:33
[INFO] [stdout]    |
[INFO] [stdout] 26 |             Val::Pi(span, icit, val, closure) => None,
[INFO] [stdout]    |                                 ^^^ help: if this is intentional, prefix it with an underscore: `_val`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `closure`
[INFO] [stdout]   --> src/L10_typeclass/typeclass.rs:26:38
[INFO] [stdout]    |
[INFO] [stdout] 26 |             Val::Pi(span, icit, val, closure) => None,
[INFO] [stdout]    |                                      ^^^^^^^ help: if this is intentional, prefix it with an underscore: `_closure`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `span`
[INFO] [stdout]   --> src/L10_typeclass/typeclass.rs:29:31
[INFO] [stdout]    |
[INFO] [stdout] 29 |             Val::LiteralIntro(span) => todo!(),
[INFO] [stdout]    |                               ^^^^ help: if this is intentional, prefix it with an underscore: `_span`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `ret`
[INFO] [stdout]    --> src/L09_mltt/elaboration.rs:237:22
[INFO] [stdout]     |
[INFO] [stdout] 237 |                 let (ret, error) = compiler.compile(self, typ, &clause, cxt, self.eval(&cxt.env, tm.clone()))?;
[INFO] [stdout]     |                      ^^^ help: if this is intentional, prefix it with an underscore: `_ret`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `t`
[INFO] [stdout]    --> src/L09_mltt/elaboration.rs:537:42
[INFO] [stdout]     |
[INFO] [stdout] 537 |             Raw::Lam(x, Either::Name(_), t) => Err(Error(x.map(|_| "infer named lambda".to_owned()))),
[INFO] [stdout]     |                                          ^ help: if this is intentional, prefix it with an underscore: `_t`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `items`
[INFO] [stdout]    --> src/L10_typeclass/pretty.rs:179:28
[INFO] [stdout]     |
[INFO] [stdout] 179 |         Tm::Sum(span, tms, items, _) => format!(
[INFO] [stdout]     |                            ^^^^^ help: if this is intentional, prefix it with an underscore: `_items`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `is_trait`
[INFO] [stdout]    --> src/L10_typeclass/pretty.rs:188:23
[INFO] [stdout]     |
[INFO] [stdout] 188 |         Tm::SumCase { is_trait, typ, case_name, datas: params } => format!(
[INFO] [stdout]     |                       ^^^^^^^^ help: try ignoring the field: `is_trait: _`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `decl`
[INFO] [stdout]   --> src/L11_macro/cxt.rs:40:33
[INFO] [stdout]    |
[INFO] [stdout] 40 | fn create_global(infer: &Infer, decl: &Decl, env: &Env, typ: Rc<Val>) -> Rc<Val> {
[INFO] [stdout]    |                                 ^^^^ help: if this is intentional, prefix it with an underscore: `_decl`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `span`
[INFO] [stdout]    --> src/L11_macro/cxt.rs:385:22
[INFO] [stdout]     |
[INFO] [stdout] 385 |         if let Some((span, _, _, _, _)) = t {
[INFO] [stdout]     |                      ^^^^ help: if this is intentional, prefix it with an underscore: `_span`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `t`
[INFO] [stdout]    --> src/L11_macro/cxt.rs:433:13
[INFO] [stdout]     |
[INFO] [stdout] 433 |         let t = decl.insert(x.data.clone(), (x.to_span(), t, vt, a, va));
[INFO] [stdout]     |             ^ help: if this is intentional, prefix it with an underscore: `_t`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `typ`
[INFO] [stdout]   --> src/L09_mltt/parser/syntax.rs:91:28
[INFO] [stdout]    |
[INFO] [stdout] 91 |             Raw::SumCase { typ, case_name, datas } => datas.last()
[INFO] [stdout]    |                            ^^^ help: try ignoring the field: `typ: _`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `x`
[INFO] [stdout]    --> src/L11_macro/elaboration.rs:168:32
[INFO] [stdout]     |
[INFO] [stdout] 168 |                         Val::U(x) => {//TODO:x?
[INFO] [stdout]     |                                ^ help: if this is intentional, prefix it with an underscore: `_x`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `typ`
[INFO] [stdout]    --> src/L11_macro/parser/syntax.rs:103:41
[INFO] [stdout]     |
[INFO] [stdout] 103 |             Raw::SumCase { is_trait: _, typ, case_name, datas } => datas.last()
[INFO] [stdout]     |                                         ^^^ help: try ignoring the field: `typ: _`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `x`
[INFO] [stdout]    --> src/L09_mltt/unification.rs:115:28
[INFO] [stdout]     |
[INFO] [stdout] 115 |             (list, Val::Pi(x, i, a, b)) if list.head().unwrap().is_none() => {
[INFO] [stdout]     |                            ^ help: if this is intentional, prefix it with an underscore: `_x`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `i`
[INFO] [stdout]    --> src/L09_mltt/unification.rs:115:31
[INFO] [stdout]     |
[INFO] [stdout] 115 |             (list, Val::Pi(x, i, a, b)) if list.head().unwrap().is_none() => {
[INFO] [stdout]     |                               ^ help: if this is intentional, prefix it with an underscore: `_i`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `a`
[INFO] [stdout]    --> src/L09_mltt/unification.rs:115:34
[INFO] [stdout]     |
[INFO] [stdout] 115 |             (list, Val::Pi(x, i, a, b)) if list.head().unwrap().is_none() => {
[INFO] [stdout]     |                                  ^ help: if this is intentional, prefix it with an underscore: `_a`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `val`
[INFO] [stdout]    --> src/L09_mltt/unification.rs:342:37
[INFO] [stdout]     |
[INFO] [stdout] 342 |                 Val::Pi(span, icit, val, closure) if span.data == "_" => {
[INFO] [stdout]     |                                     ^^^ help: if this is intentional, prefix it with an underscore: `_val`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `val`
[INFO] [stdout]    --> src/L09_mltt/unification.rs:355:37
[INFO] [stdout]     |
[INFO] [stdout] 355 |                 Val::Pi(span, icit, val, closure) => Tm::Lam(
[INFO] [stdout]     |                                     ^^^ help: if this is intentional, prefix it with an underscore: `_val`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `p`
[INFO] [stdout]   --> src/L09_mltt/pretty.rs:51:19
[INFO] [stdout]    |
[INFO] [stdout] 51 | fn go_app_pruning(p: i32, top_ns: List<String>, ns: List<String>, t: &Tm, pr: &Pruning) -> String {
[INFO] [stdout]    |                   ^ help: if this is intentional, prefix it with an underscore: `_p`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `top_ns`
[INFO] [stdout]   --> src/L09_mltt/pretty.rs:51:27
[INFO] [stdout]    |
[INFO] [stdout] 51 | fn go_app_pruning(p: i32, top_ns: List<String>, ns: List<String>, t: &Tm, pr: &Pruning) -> String {
[INFO] [stdout]    |                           ^^^^^^ help: if this is intentional, prefix it with an underscore: `_top_ns`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `ns`
[INFO] [stdout]   --> src/L09_mltt/pretty.rs:51:49
[INFO] [stdout]    |
[INFO] [stdout] 51 | fn go_app_pruning(p: i32, top_ns: List<String>, ns: List<String>, t: &Tm, pr: &Pruning) -> String {
[INFO] [stdout]    |                                                 ^^ help: if this is intentional, prefix it with an underscore: `_ns`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `t`
[INFO] [stdout]   --> src/L09_mltt/pretty.rs:51:67
[INFO] [stdout]    |
[INFO] [stdout] 51 | fn go_app_pruning(p: i32, top_ns: List<String>, ns: List<String>, t: &Tm, pr: &Pruning) -> String {
[INFO] [stdout]    |                                                                   ^ help: if this is intentional, prefix it with an underscore: `_t`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `pr`
[INFO] [stdout]   --> src/L09_mltt/pretty.rs:51:75
[INFO] [stdout]    |
[INFO] [stdout] 51 | fn go_app_pruning(p: i32, top_ns: List<String>, ns: List<String>, t: &Tm, pr: &Pruning) -> String {
[INFO] [stdout]    |                                                                           ^^ help: if this is intentional, prefix it with an underscore: `_pr`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `items`
[INFO] [stdout]    --> src/L09_mltt/pretty.rs:141:28
[INFO] [stdout]     |
[INFO] [stdout] 141 |         Tm::Sum(span, tms, items) => format!(
[INFO] [stdout]     |                            ^^^^^ help: if this is intentional, prefix it with an underscore: `_items`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `x`
[INFO] [stdout]    --> src/L10_typeclass/elaboration.rs:167:32
[INFO] [stdout]     |
[INFO] [stdout] 167 |                         Val::U(x) => {//TODO:x?
[INFO] [stdout]     |                                ^ help: if this is intentional, prefix it with an underscore: `_x`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `typ`
[INFO] [stdout]   --> src/L10_typeclass/parser/syntax.rs:94:41
[INFO] [stdout]    |
[INFO] [stdout] 94 |             Raw::SumCase { is_trait: _, typ, case_name, datas } => datas.last()
[INFO] [stdout]    |                                         ^^^ help: try ignoring the field: `typ: _`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `e`
[INFO] [stdout]    --> src/L11_macro/pattern_match.rs:217:29
[INFO] [stdout]     |
[INFO] [stdout] 217 |                         Err(e) => {
[INFO] [stdout]     |                             ^ help: if this is intentional, prefix it with an underscore: `_e`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `val`
[INFO] [stdout]    --> src/L11_macro/unification.rs:378:37
[INFO] [stdout]     |
[INFO] [stdout] 378 |                 Val::Pi(span, icit, val, closure) => Tm::Lam(
[INFO] [stdout]     |                                     ^^^ help: if this is intentional, prefix it with an underscore: `_val`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `e`
[INFO] [stdout]    --> src/L10_typeclass/pattern_match.rs:218:29
[INFO] [stdout]     |
[INFO] [stdout] 218 |                         Err(e) => {
[INFO] [stdout]     |                             ^ help: if this is intentional, prefix it with an underscore: `_e`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `var`
[INFO] [stdout]    --> src/L10_typeclass/pattern_match.rs:248:15
[INFO] [stdout]     |
[INFO] [stdout] 248 |             [(var, typ, head_name, icit), heads_rest @ ..] => {
[INFO] [stdout]     |               ^^^ help: if this is intentional, prefix it with an underscore: `_var`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `val`
[INFO] [stdout]    --> src/L10_typeclass/unification.rs:360:37
[INFO] [stdout]     |
[INFO] [stdout] 360 |                 Val::Pi(span, icit, val, closure) => Tm::Lam(
[INFO] [stdout]     |                                     ^^^ help: if this is intentional, prefix it with an underscore: `_val`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `val`
[INFO] [stdout]   --> src/L10_typeclass/typeclass.rs:24:22
[INFO] [stdout]    |
[INFO] [stdout] 24 |             Val::Obj(val, span, sp) => None,
[INFO] [stdout]    |                      ^^^ help: if this is intentional, prefix it with an underscore: `_val`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `span`
[INFO] [stdout]   --> src/L10_typeclass/typeclass.rs:24:27
[INFO] [stdout]    |
[INFO] [stdout] 24 |             Val::Obj(val, span, sp) => None,
[INFO] [stdout]    |                           ^^^^ help: if this is intentional, prefix it with an underscore: `_span`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `sp`
[INFO] [stdout]   --> src/L10_typeclass/typeclass.rs:24:33
[INFO] [stdout]    |
[INFO] [stdout] 24 |             Val::Obj(val, span, sp) => None,
[INFO] [stdout]    |                                 ^^ help: if this is intentional, prefix it with an underscore: `_sp`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `span`
[INFO] [stdout]   --> src/L10_typeclass/typeclass.rs:26:21
[INFO] [stdout]    |
[INFO] [stdout] 26 |             Val::Pi(span, icit, val, closure) => None,
[INFO] [stdout]    |                     ^^^^ help: if this is intentional, prefix it with an underscore: `_span`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `icit`
[INFO] [stdout]   --> src/L10_typeclass/typeclass.rs:26:27
[INFO] [stdout]    |
[INFO] [stdout] 26 |             Val::Pi(span, icit, val, closure) => None,
[INFO] [stdout]    |                           ^^^^ help: if this is intentional, prefix it with an underscore: `_icit`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `val`
[INFO] [stdout]   --> src/L10_typeclass/typeclass.rs:26:33
[INFO] [stdout]    |
[INFO] [stdout] 26 |             Val::Pi(span, icit, val, closure) => None,
[INFO] [stdout]    |                                 ^^^ help: if this is intentional, prefix it with an underscore: `_val`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `closure`
[INFO] [stdout]   --> src/L10_typeclass/typeclass.rs:26:38
[INFO] [stdout]    |
[INFO] [stdout] 26 |             Val::Pi(span, icit, val, closure) => None,
[INFO] [stdout]    |                                      ^^^^^^^ help: if this is intentional, prefix it with an underscore: `_closure`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `span`
[INFO] [stdout]   --> src/L10_typeclass/typeclass.rs:29:31
[INFO] [stdout]    |
[INFO] [stdout] 29 |             Val::LiteralIntro(span) => todo!(),
[INFO] [stdout]    |                               ^^^^ help: if this is intentional, prefix it with an underscore: `_span`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `items`
[INFO] [stdout]    --> src/L10_typeclass/pretty.rs:179:28
[INFO] [stdout]     |
[INFO] [stdout] 179 |         Tm::Sum(span, tms, items, _) => format!(
[INFO] [stdout]     |                            ^^^^^ help: if this is intentional, prefix it with an underscore: `_items`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `is_trait`
[INFO] [stdout]    --> src/L10_typeclass/pretty.rs:188:23
[INFO] [stdout]     |
[INFO] [stdout] 188 |         Tm::SumCase { is_trait, typ, case_name, datas: params } => format!(
[INFO] [stdout]     |                       ^^^^^^^^ help: try ignoring the field: `is_trait: _`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `decl`
[INFO] [stdout]   --> src/L11_macro/cxt.rs:40:33
[INFO] [stdout]    |
[INFO] [stdout] 40 | fn create_global(infer: &Infer, decl: &Decl, env: &Env, typ: Rc<Val>) -> Rc<Val> {
[INFO] [stdout]    |                                 ^^^^ help: if this is intentional, prefix it with an underscore: `_decl`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `span`
[INFO] [stdout]    --> src/L11_macro/cxt.rs:385:22
[INFO] [stdout]     |
[INFO] [stdout] 385 |         if let Some((span, _, _, _, _)) = t {
[INFO] [stdout]     |                      ^^^^ help: if this is intentional, prefix it with an underscore: `_span`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `t`
[INFO] [stdout]    --> src/L11_macro/cxt.rs:433:13
[INFO] [stdout]     |
[INFO] [stdout] 433 |         let t = decl.insert(x.data.clone(), (x.to_span(), t, vt, a, va));
[INFO] [stdout]     |             ^ help: if this is intentional, prefix it with an underscore: `_t`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `val`
[INFO] [stdout]   --> src/L11_macro/typeclass.rs:26:22
[INFO] [stdout]    |
[INFO] [stdout] 26 |             Val::Obj(val, span, sp) => None,
[INFO] [stdout]    |                      ^^^ help: if this is intentional, prefix it with an underscore: `_val`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `span`
[INFO] [stdout]   --> src/L11_macro/typeclass.rs:26:27
[INFO] [stdout]    |
[INFO] [stdout] 26 |             Val::Obj(val, span, sp) => None,
[INFO] [stdout]    |                           ^^^^ help: if this is intentional, prefix it with an underscore: `_span`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `sp`
[INFO] [stdout]   --> src/L11_macro/typeclass.rs:26:33
[INFO] [stdout]    |
[INFO] [stdout] 26 |             Val::Obj(val, span, sp) => None,
[INFO] [stdout]    |                                 ^^ help: if this is intentional, prefix it with an underscore: `_sp`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `span`
[INFO] [stdout]   --> src/L11_macro/typeclass.rs:28:21
[INFO] [stdout]    |
[INFO] [stdout] 28 |             Val::Pi(span, icit, val, closure) => None,
[INFO] [stdout]    |                     ^^^^ help: if this is intentional, prefix it with an underscore: `_span`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `icit`
[INFO] [stdout]   --> src/L11_macro/typeclass.rs:28:27
[INFO] [stdout]    |
[INFO] [stdout] 28 |             Val::Pi(span, icit, val, closure) => None,
[INFO] [stdout]    |                           ^^^^ help: if this is intentional, prefix it with an underscore: `_icit`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `val`
[INFO] [stdout]   --> src/L11_macro/typeclass.rs:28:33
[INFO] [stdout]    |
[INFO] [stdout] 28 |             Val::Pi(span, icit, val, closure) => None,
[INFO] [stdout]    |                                 ^^^ help: if this is intentional, prefix it with an underscore: `_val`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `closure`
[INFO] [stdout]   --> src/L11_macro/typeclass.rs:28:38
[INFO] [stdout]    |
[INFO] [stdout] 28 |             Val::Pi(span, icit, val, closure) => None,
[INFO] [stdout]    |                                      ^^^^^^^ help: if this is intentional, prefix it with an underscore: `_closure`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `span`
[INFO] [stdout]   --> src/L11_macro/typeclass.rs:31:31
[INFO] [stdout]    |
[INFO] [stdout] 31 |             Val::LiteralIntro(span) => todo!(),
[INFO] [stdout]    |                               ^^^^ help: if this is intentional, prefix it with an underscore: `_span`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `x`
[INFO] [stdout]    --> src/L11_macro/elaboration.rs:168:32
[INFO] [stdout]     |
[INFO] [stdout] 168 |                         Val::U(x) => {//TODO:x?
[INFO] [stdout]     |                                ^ help: if this is intentional, prefix it with an underscore: `_x`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `items`
[INFO] [stdout]    --> src/L11_macro/pretty.rs:180:28
[INFO] [stdout]     |
[INFO] [stdout] 180 |         Tm::Sum(span, tms, items, _) => format!(
[INFO] [stdout]     |                            ^^^^^ help: if this is intentional, prefix it with an underscore: `_items`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `is_trait`
[INFO] [stdout]    --> src/L11_macro/pretty.rs:189:23
[INFO] [stdout]     |
[INFO] [stdout] 189 |         Tm::SumCase { is_trait, typ, case_name, datas: params } => format!(
[INFO] [stdout]     |                       ^^^^^^^^ help: try ignoring the field: `is_trait: _`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `t`
[INFO] [stdout]    --> src/L11_macro/mod.rs:109:35
[INFO] [stdout]     |
[INFO] [stdout] 109 |                 MetaEntry::Solved(t, _) => None,//TODO: this is error. this will be fixed in L12
[INFO] [stdout]     |                                   ^ help: if this is intentional, prefix it with an underscore: `_t`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `t`
[INFO] [stdout]    --> src/L12_canonical/cxt.rs:300:13
[INFO] [stdout]     |
[INFO] [stdout] 300 |         let t = decl.insert(x.data.clone(), (x.to_span(), t, vt, a, va));
[INFO] [stdout]     |             ^ help: if this is intentional, prefix it with an underscore: `_t`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `x`
[INFO] [stdout]    --> src/L12_canonical/elaboration.rs:169:32
[INFO] [stdout]     |
[INFO] [stdout] 169 |                         Val::U(x) => {//TODO:x?
[INFO] [stdout]     |                                ^ help: if this is intentional, prefix it with an underscore: `_x`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `typ`
[INFO] [stdout]    --> src/L11_macro/parser/syntax.rs:103:41
[INFO] [stdout]     |
[INFO] [stdout] 103 |             Raw::SumCase { is_trait: _, typ, case_name, datas } => datas.last()
[INFO] [stdout]     |                                         ^^^ help: try ignoring the field: `typ: _`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `span`
[INFO] [stdout]    --> src/L12_canonical/elaboration.rs:536:21
[INFO] [stdout]     |
[INFO] [stdout] 536 |                 let span = name.to_span();
[INFO] [stdout]     |                     ^^^^ help: if this is intentional, prefix it with an underscore: `_span`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `typ`
[INFO] [stdout]    --> src/L12_canonical/parser/syntax.rs:120:41
[INFO] [stdout]     |
[INFO] [stdout] 120 |             Raw::SumCase { is_trait: _, typ, case_name, datas } => datas.last()
[INFO] [stdout]     |                                         ^^^ help: try ignoring the field: `typ: _`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `e`
[INFO] [stdout]    --> src/L11_macro/pattern_match.rs:217:29
[INFO] [stdout]     |
[INFO] [stdout] 217 |                         Err(e) => {
[INFO] [stdout]     |                             ^ help: if this is intentional, prefix it with an underscore: `_e`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `val`
[INFO] [stdout]    --> src/L11_macro/unification.rs:378:37
[INFO] [stdout]     |
[INFO] [stdout] 378 |                 Val::Pi(span, icit, val, closure) => Tm::Lam(
[INFO] [stdout]     |                                     ^^^ help: if this is intentional, prefix it with an underscore: `_val`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `val`
[INFO] [stdout]   --> src/L11_macro/typeclass.rs:26:22
[INFO] [stdout]    |
[INFO] [stdout] 26 |             Val::Obj(val, span, sp) => None,
[INFO] [stdout]    |                      ^^^ help: if this is intentional, prefix it with an underscore: `_val`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `span`
[INFO] [stdout]   --> src/L11_macro/typeclass.rs:26:27
[INFO] [stdout]    |
[INFO] [stdout] 26 |             Val::Obj(val, span, sp) => None,
[INFO] [stdout]    |                           ^^^^ help: if this is intentional, prefix it with an underscore: `_span`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `sp`
[INFO] [stdout]   --> src/L11_macro/typeclass.rs:26:33
[INFO] [stdout]    |
[INFO] [stdout] 26 |             Val::Obj(val, span, sp) => None,
[INFO] [stdout]    |                                 ^^ help: if this is intentional, prefix it with an underscore: `_sp`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `span`
[INFO] [stdout]   --> src/L11_macro/typeclass.rs:28:21
[INFO] [stdout]    |
[INFO] [stdout] 28 |             Val::Pi(span, icit, val, closure) => None,
[INFO] [stdout]    |                     ^^^^ help: if this is intentional, prefix it with an underscore: `_span`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `icit`
[INFO] [stdout]   --> src/L11_macro/typeclass.rs:28:27
[INFO] [stdout]    |
[INFO] [stdout] 28 |             Val::Pi(span, icit, val, closure) => None,
[INFO] [stdout]    |                           ^^^^ help: if this is intentional, prefix it with an underscore: `_icit`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `val`
[INFO] [stdout]   --> src/L11_macro/typeclass.rs:28:33
[INFO] [stdout]    |
[INFO] [stdout] 28 |             Val::Pi(span, icit, val, closure) => None,
[INFO] [stdout]    |                                 ^^^ help: if this is intentional, prefix it with an underscore: `_val`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `closure`
[INFO] [stdout]   --> src/L11_macro/typeclass.rs:28:38
[INFO] [stdout]    |
[INFO] [stdout] 28 |             Val::Pi(span, icit, val, closure) => None,
[INFO] [stdout]    |                                      ^^^^^^^ help: if this is intentional, prefix it with an underscore: `_closure`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `span`
[INFO] [stdout]   --> src/L11_macro/typeclass.rs:31:31
[INFO] [stdout]    |
[INFO] [stdout] 31 |             Val::LiteralIntro(span) => todo!(),
[INFO] [stdout]    |                               ^^^^ help: if this is intentional, prefix it with an underscore: `_span`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `e`
[INFO] [stdout]    --> src/L12_canonical/pattern_match.rs:212:29
[INFO] [stdout]     |
[INFO] [stdout] 212 |                         Err(e) => {
[INFO] [stdout]     |                             ^ help: if this is intentional, prefix it with an underscore: `_e`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `items`
[INFO] [stdout]    --> src/L11_macro/pretty.rs:180:28
[INFO] [stdout]     |
[INFO] [stdout] 180 |         Tm::Sum(span, tms, items, _) => format!(
[INFO] [stdout]     |                            ^^^^^ help: if this is intentional, prefix it with an underscore: `_items`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `is_trait`
[INFO] [stdout]    --> src/L11_macro/pretty.rs:189:23
[INFO] [stdout]     |
[INFO] [stdout] 189 |         Tm::SumCase { is_trait, typ, case_name, datas: params } => format!(
[INFO] [stdout]     |                       ^^^^^^^^ help: try ignoring the field: `is_trait: _`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `t`
[INFO] [stdout]    --> src/L11_macro/mod.rs:109:35
[INFO] [stdout]     |
[INFO] [stdout] 109 |                 MetaEntry::Solved(t, _) => None,//TODO: this is error. this will be fixed in L12
[INFO] [stdout]     |                                   ^ help: if this is intentional, prefix it with an underscore: `_t`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `t`
[INFO] [stdout]    --> src/L12_canonical/cxt.rs:300:13
[INFO] [stdout]     |
[INFO] [stdout] 300 |         let t = decl.insert(x.data.clone(), (x.to_span(), t, vt, a, va));
[INFO] [stdout]     |             ^ help: if this is intentional, prefix it with an underscore: `_t`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `x`
[INFO] [stdout]    --> src/L12_canonical/elaboration.rs:169:32
[INFO] [stdout]     |
[INFO] [stdout] 169 |                         Val::U(x) => {//TODO:x?
[INFO] [stdout]     |                                ^ help: if this is intentional, prefix it with an underscore: `_x`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `span`
[INFO] [stdout]    --> src/L12_canonical/elaboration.rs:536:21
[INFO] [stdout]     |
[INFO] [stdout] 536 |                 let span = name.to_span();
[INFO] [stdout]     |                     ^^^^ help: if this is intentional, prefix it with an underscore: `_span`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `c1`
[INFO] [stdout]    --> src/L12_canonical/typeclass.rs:227:33
[INFO] [stdout]     |
[INFO] [stdout] 227 |             (Val::Match(a1, b1, c1, _), Val::Match(a2, b2, c2, _)) => {
[INFO] [stdout]     |                                 ^^ help: if this is intentional, prefix it with an underscore: `_c1`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `c2`
[INFO] [stdout]    --> src/L12_canonical/typeclass.rs:227:60
[INFO] [stdout]     |
[INFO] [stdout] 227 |             (Val::Match(a1, b1, c1, _), Val::Match(a2, b2, c2, _)) => {
[INFO] [stdout]     |                                                            ^^ help: if this is intentional, prefix it with an underscore: `_c2`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `items`
[INFO] [stdout]    --> src/L12_canonical/pretty.rs:183:28
[INFO] [stdout]     |
[INFO] [stdout] 183 |         Tm::Sum(span, tms, items, _) => {
[INFO] [stdout]     |                            ^^^^^ help: if this is intentional, prefix it with an underscore: `_items`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `is_trait`
[INFO] [stdout]    --> src/L12_canonical/pretty.rs:209:23
[INFO] [stdout]     |
[INFO] [stdout] 209 |         Tm::SumCase { is_trait, typ, case_name, datas: params } => format!(
[INFO] [stdout]     |                       ^^^^^^^^ help: try ignoring the field: `is_trait: _`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `span`
[INFO] [stdout]   --> src/L12_canonical/canonical.rs:81:35
[INFO] [stdout]    |
[INFO] [stdout] 81 |                 while let Val::Pi(span, icit, dom, clos) = vt.as_ref() {
[INFO] [stdout]    |                                   ^^^^ help: if this is intentional, prefix it with an underscore: `_span`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `typ`
[INFO] [stdout]    --> src/L12_canonical/parser/syntax.rs:120:41
[INFO] [stdout]     |
[INFO] [stdout] 120 |             Raw::SumCase { is_trait: _, typ, case_name, datas } => datas.last()
[INFO] [stdout]     |                                         ^^^ help: try ignoring the field: `typ: _`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `x`
[INFO] [stdout]    --> src/L13_namespace/elaboration.rs:398:32
[INFO] [stdout]     |
[INFO] [stdout] 398 |                         Val::U(x) => {//TODO:x?
[INFO] [stdout]     |                                ^ help: if this is intentional, prefix it with an underscore: `_x`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `span`
[INFO] [stdout]    --> src/L13_namespace/elaboration.rs:890:21
[INFO] [stdout]     |
[INFO] [stdout] 890 |                 let span = name.to_span();
[INFO] [stdout]     |                     ^^^^ help: if this is intentional, prefix it with an underscore: `_span`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `out_param`
[INFO] [stdout]    --> src/L13_namespace/elaboration.rs:965:25
[INFO] [stdout]     |
[INFO] [stdout] 965 |                     let out_param = self.trait_out_param.get(&trait_name.data)
[INFO] [stdout]     |                         ^^^^^^^^^ help: if this is intentional, prefix it with an underscore: `_out_param`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `is_expl`
[INFO] [stdout]     --> src/L13_namespace/elaboration.rs:1377:21
[INFO] [stdout]      |
[INFO] [stdout] 1377 |                 let is_expl = matches!(i, Either::Icit(Icit::Expl));
[INFO] [stdout]      |                     ^^^^^^^ help: if this is intentional, prefix it with an underscore: `_is_expl`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `head`
[INFO] [stdout]     --> src/L13_namespace/elaboration.rs:1593:29
[INFO] [stdout]      |
[INFO] [stdout] 1593 |                 if let Some(ref head) = typ_raw_head {
[INFO] [stdout]      |                             ^^^^^^^^ help: if this is intentional, prefix it with an underscore: `_head`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `typ`
[INFO] [stdout]    --> src/L13_namespace/parser/syntax.rs:144:41
[INFO] [stdout]     |
[INFO] [stdout] 144 |             Raw::SumCase { is_trait: _, typ, case_name, datas } => datas.last()
[INFO] [stdout]     |                                         ^^^ help: try ignoring the field: `typ: _`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `e`
[INFO] [stdout]    --> src/L12_canonical/pattern_match.rs:212:29
[INFO] [stdout]     |
[INFO] [stdout] 212 |                         Err(e) => {
[INFO] [stdout]     |                             ^ help: if this is intentional, prefix it with an underscore: `_e`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `c1`
[INFO] [stdout]    --> src/L12_canonical/typeclass.rs:227:33
[INFO] [stdout]     |
[INFO] [stdout] 227 |             (Val::Match(a1, b1, c1, _), Val::Match(a2, b2, c2, _)) => {
[INFO] [stdout]     |                                 ^^ help: if this is intentional, prefix it with an underscore: `_c1`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `c2`
[INFO] [stdout]    --> src/L12_canonical/typeclass.rs:227:60
[INFO] [stdout]     |
[INFO] [stdout] 227 |             (Val::Match(a1, b1, c1, _), Val::Match(a2, b2, c2, _)) => {
[INFO] [stdout]     |                                                            ^^ help: if this is intentional, prefix it with an underscore: `_c2`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `items`
[INFO] [stdout]    --> src/L12_canonical/pretty.rs:183:28
[INFO] [stdout]     |
[INFO] [stdout] 183 |         Tm::Sum(span, tms, items, _) => {
[INFO] [stdout]     |                            ^^^^^ help: if this is intentional, prefix it with an underscore: `_items`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `is_trait`
[INFO] [stdout]    --> src/L12_canonical/pretty.rs:209:23
[INFO] [stdout]     |
[INFO] [stdout] 209 |         Tm::SumCase { is_trait, typ, case_name, datas: params } => format!(
[INFO] [stdout]     |                       ^^^^^^^^ help: try ignoring the field: `is_trait: _`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `span`
[INFO] [stdout]   --> src/L12_canonical/canonical.rs:81:35
[INFO] [stdout]    |
[INFO] [stdout] 81 |                 while let Val::Pi(span, icit, dom, clos) = vt.as_ref() {
[INFO] [stdout]    |                                   ^^^^ help: if this is intentional, prefix it with an underscore: `_span`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `x`
[INFO] [stdout]    --> src/L13_namespace/elaboration.rs:398:32
[INFO] [stdout]     |
[INFO] [stdout] 398 |                         Val::U(x) => {//TODO:x?
[INFO] [stdout]     |                                ^ help: if this is intentional, prefix it with an underscore: `_x`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `e`
[INFO] [stdout]     --> src/L13_namespace/parser/mod.rs:1915:13
[INFO] [stdout]      |
[INFO] [stdout] 1915 |         Err(e) => Ok((input, vec![])), // No attribute found, not an error
[INFO] [stdout]      |             ^ help: if this is intentional, prefix it with an underscore: `_e`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `span`
[INFO] [stdout]    --> src/L13_namespace/elaboration.rs:890:21
[INFO] [stdout]     |
[INFO] [stdout] 890 |                 let span = name.to_span();
[INFO] [stdout]     |                     ^^^^ help: if this is intentional, prefix it with an underscore: `_span`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `out_param`
[INFO] [stdout]    --> src/L13_namespace/elaboration.rs:965:25
[INFO] [stdout]     |
[INFO] [stdout] 965 |                     let out_param = self.trait_out_param.get(&trait_name.data)
[INFO] [stdout]     |                         ^^^^^^^^^ help: if this is intentional, prefix it with an underscore: `_out_param`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `is_expl`
[INFO] [stdout]     --> src/L13_namespace/elaboration.rs:1377:21
[INFO] [stdout]      |
[INFO] [stdout] 1377 |                 let is_expl = matches!(i, Either::Icit(Icit::Expl));
[INFO] [stdout]      |                     ^^^^^^^ help: if this is intentional, prefix it with an underscore: `_is_expl`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `head`
[INFO] [stdout]     --> src/L13_namespace/elaboration.rs:1593:29
[INFO] [stdout]      |
[INFO] [stdout] 1593 |                 if let Some(ref head) = typ_raw_head {
[INFO] [stdout]      |                             ^^^^^^^^ help: if this is intentional, prefix it with an underscore: `_head`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable does not need to be mutable
[INFO] [stdout]    --> src/L13_namespace/unification.rs:451:13
[INFO] [stdout]     |
[INFO] [stdout] 451 |         let mut solution = self.eval(decl, &List::new(), &self.lams(pren.dom, decl, &mty, rhs));
[INFO] [stdout]     |             ----^^^^^^^^
[INFO] [stdout]     |             |
[INFO] [stdout]     |             help: remove this `mut`
[INFO] [stdout]     |
[INFO] [stdout]     = note: `#[warn(unused_mut)]` (part of `#[warn(unused)]`) on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `cxt`
[INFO] [stdout]    --> src/L13_namespace/unification.rs:456:41
[INFO] [stdout]     |
[INFO] [stdout] 456 |     pub fn solve_multi_trait(&mut self, cxt: &Cxt, m: MetaVar, allow_flex_defaulting: bool) -> Result<(), UnifyError> {
[INFO] [stdout]     |                                         ^^^ help: if this is intentional, prefix it with an underscore: `_cxt`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `c1`
[INFO] [stdout]    --> src/L13_namespace/typeclass.rs:319:33
[INFO] [stdout]     |
[INFO] [stdout] 319 |             (Val::Match(a1, b1, c1), Val::Match(a2, b2, c2)) => {
[INFO] [stdout]     |                                 ^^ help: if this is intentional, prefix it with an underscore: `_c1`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `c2`
[INFO] [stdout]    --> src/L13_namespace/typeclass.rs:319:57
[INFO] [stdout]     |
[INFO] [stdout] 319 |             (Val::Match(a1, b1, c1), Val::Match(a2, b2, c2)) => {
[INFO] [stdout]     |                                                         ^^ help: if this is intentional, prefix it with an underscore: `_c2`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `typ`
[INFO] [stdout]    --> src/L13_namespace/parser/syntax.rs:144:41
[INFO] [stdout]     |
[INFO] [stdout] 144 |             Raw::SumCase { is_trait: _, typ, case_name, datas } => datas.last()
[INFO] [stdout]     |                                         ^^^ help: try ignoring the field: `typ: _`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `items`
[INFO] [stdout]    --> src/L13_namespace/pretty.rs:182:28
[INFO] [stdout]     |
[INFO] [stdout] 182 |         Tm::Sum(span, tms, items, _) => {
[INFO] [stdout]     |                            ^^^^^ help: if this is intentional, prefix it with an underscore: `_items`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `is_trait`
[INFO] [stdout]    --> src/L13_namespace/pretty.rs:208:23
[INFO] [stdout]     |
[INFO] [stdout] 208 |         Tm::SumCase { is_trait, typ, case_name, datas: params } => format!(
[INFO] [stdout]     |                       ^^^^^^^^ help: try ignoring the field: `is_trait: _`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `span`
[INFO] [stdout]   --> src/L13_namespace/canonical.rs:75:35
[INFO] [stdout]    |
[INFO] [stdout] 75 |                 while let Val::Pi(span, icit, dom, clos) = vt.as_ref() {
[INFO] [stdout]    |                                   ^^^^ help: if this is intentional, prefix it with an underscore: `_span`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `name`
[INFO] [stdout]    --> src/L13_namespace/mod.rs:442:22
[INFO] [stdout]     |
[INFO] [stdout] 442 |             Val::Lam(name, _, clos) => {
[INFO] [stdout]     |                      ^^^^ help: if this is intentional, prefix it with an underscore: `_name`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `name`
[INFO] [stdout]    --> src/L13_namespace/mod.rs:447:21
[INFO] [stdout]     |
[INFO] [stdout] 447 |             Val::Pi(name, _, vty, clos) => {
[INFO] [stdout]     |                     ^^^^ help: if this is intentional, prefix it with an underscore: `_name`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `s`
[INFO] [stdout]    --> src/L13_namespace/mod.rs:455:31
[INFO] [stdout]     |
[INFO] [stdout] 455 |             Val::LiteralIntro(s) => {
[INFO] [stdout]     |                               ^ help: if this is intentional, prefix it with an underscore: `_s`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `name`
[INFO] [stdout]    --> src/L13_namespace/mod.rs:458:22
[INFO] [stdout]     |
[INFO] [stdout] 458 |             Val::Sum(name, params, cases, _) => {
[INFO] [stdout]     |                      ^^^^ help: if this is intentional, prefix it with an underscore: `_name`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `pname`
[INFO] [stdout]    --> src/L13_namespace/mod.rs:460:22
[INFO] [stdout]     |
[INFO] [stdout] 460 |                 for (pname, pval, pvty, _) in params.iter() {
[INFO] [stdout]     |                      ^^^^^ help: if this is intentional, prefix it with an underscore: `_pname`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `cname`
[INFO] [stdout]    --> src/L13_namespace/mod.rs:465:21
[INFO] [stdout]     |
[INFO] [stdout] 465 |                 for cname in cases.iter() {
[INFO] [stdout]     |                     ^^^^^ help: if this is intentional, prefix it with an underscore: `_cname`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `case_name`
[INFO] [stdout]    --> src/L13_namespace/mod.rs:469:33
[INFO] [stdout]     |
[INFO] [stdout] 469 |             Val::SumCase { typ, case_name, datas, .. } => {
[INFO] [stdout]     |                                 ^^^^^^^^^ help: try ignoring the field: `case_name: _`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `dname`
[INFO] [stdout]    --> src/L13_namespace/mod.rs:472:22
[INFO] [stdout]     |
[INFO] [stdout] 472 |                 for (dname, dval, _) in datas.iter() {
[INFO] [stdout]     |                      ^^^^^ help: if this is intentional, prefix it with an underscore: `_dname`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `pat`
[INFO] [stdout]    --> src/L13_namespace/mod.rs:480:22
[INFO] [stdout]     |
[INFO] [stdout] 480 |                 for (pat, tm) in cases {
[INFO] [stdout]     |                      ^^^ help: if this is intentional, prefix it with an underscore: `_pat`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `name`
[INFO] [stdout]    --> src/L13_namespace/mod.rs:521:22
[INFO] [stdout]     |
[INFO] [stdout] 521 |             Tm::Decl(name) => {
[INFO] [stdout]     |                      ^^^^ help: if this is intentional, prefix it with an underscore: `_name`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `name`
[INFO] [stdout]    --> src/L13_namespace/mod.rs:524:28
[INFO] [stdout]     |
[INFO] [stdout] 524 |             Tm::Obj(inner, name) => {
[INFO] [stdout]     |                            ^^^^ help: if this is intentional, prefix it with an underscore: `_name`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `name`
[INFO] [stdout]    --> src/L13_namespace/mod.rs:528:21
[INFO] [stdout]     |
[INFO] [stdout] 528 |             Tm::Lam(name, _, body) => {
[INFO] [stdout]     |                     ^^^^ help: if this is intentional, prefix it with an underscore: `_name`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `name`
[INFO] [stdout]    --> src/L13_namespace/mod.rs:540:20
[INFO] [stdout]     |
[INFO] [stdout] 540 |             Tm::Pi(name, _, ty_a, ty_b) => {
[INFO] [stdout]     |                    ^^^^ help: if this is intentional, prefix it with an underscore: `_name`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `name`
[INFO] [stdout]    --> src/L13_namespace/mod.rs:545:21
[INFO] [stdout]     |
[INFO] [stdout] 545 |             Tm::Let(name, ty, val, body) => {
[INFO] [stdout]     |                     ^^^^ help: if this is intentional, prefix it with an underscore: `_name`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `name`
[INFO] [stdout]    --> src/L13_namespace/mod.rs:556:21
[INFO] [stdout]     |
[INFO] [stdout] 556 |             Tm::Sum(name, params, cases, _) => {
[INFO] [stdout]     |                     ^^^^ help: if this is intentional, prefix it with an underscore: `_name`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `pname`
[INFO] [stdout]    --> src/L13_namespace/mod.rs:558:22
[INFO] [stdout]     |
[INFO] [stdout] 558 |                 for (pname, ptm, pty, _) in params.iter() {
[INFO] [stdout]     |                      ^^^^^ help: if this is intentional, prefix it with an underscore: `_pname`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `cname`
[INFO] [stdout]    --> src/L13_namespace/mod.rs:563:21
[INFO] [stdout]     |
[INFO] [stdout] 563 |                 for cname in cases.iter() {
[INFO] [stdout]     |                     ^^^^^ help: if this is intentional, prefix it with an underscore: `_cname`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `case_name`
[INFO] [stdout]    --> src/L13_namespace/mod.rs:567:32
[INFO] [stdout]     |
[INFO] [stdout] 567 |             Tm::SumCase { typ, case_name, datas, .. } => {
[INFO] [stdout]     |                                ^^^^^^^^^ help: try ignoring the field: `case_name: _`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `dname`
[INFO] [stdout]    --> src/L13_namespace/mod.rs:570:22
[INFO] [stdout]     |
[INFO] [stdout] 570 |                 for (dname, dtm, _) in datas.iter() {
[INFO] [stdout]     |                      ^^^^^ help: if this is intentional, prefix it with an underscore: `_dname`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `pat`
[INFO] [stdout]    --> src/L13_namespace/mod.rs:577:22
[INFO] [stdout]     |
[INFO] [stdout] 577 |                 for (pat, branch) in cases {
[INFO] [stdout]     |                      ^^^ help: if this is intentional, prefix it with an underscore: `_pat`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `span`
[INFO] [stdout]    --> src/L13_namespace/mod.rs:594:18
[INFO] [stdout]     |
[INFO] [stdout] 594 |         for (_, (span, rtm, rval, rty, rvty, _)) in cxt.decl.iter() {
[INFO] [stdout]     |                  ^^^^ help: if this is intentional, prefix it with an underscore: `_span`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `span`
[INFO] [stdout]    --> src/L13_namespace/mod.rs:606:21
[INFO] [stdout]     |
[INFO] [stdout] 606 |         for (_, _, (span, vty)) in cxt.src_names.iter_all() {
[INFO] [stdout]     |                     ^^^^ help: if this is intentional, prefix it with an underscore: `_span`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `meta_alloc`
[INFO] [stdout]    --> src/L13_namespace/mod.rs:854:13
[INFO] [stdout]     |
[INFO] [stdout] 854 |         let meta_alloc = (std::mem::size_of::<MetaEntry>() + 16 + 7) & !7;
[INFO] [stdout]     |             ^^^^^^^^^^ help: if this is intentional, prefix it with an underscore: `_meta_alloc`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `url`
[INFO] [stdout]    --> src/lib.rs:529:29
[INFO] [stdout]     |
[INFO] [stdout] 529 |                         let url = params.uri.clone();
[INFO] [stdout]     |                             ^^^ help: if this is intentional, prefix it with an underscore: `_url`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `resp`
[INFO] [stdout]     --> src/lib.rs:1203:35
[INFO] [stdout]      |
[INFO] [stdout] 1203 |                 Message::Response(resp) => {
[INFO] [stdout]      |                                   ^^^^ help: if this is intentional, prefix it with an underscore: `_resp`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `not`
[INFO] [stdout]     --> src/lib.rs:1222:62
[INFO] [stdout]      |
[INFO] [stdout] 1222 | ...                   Err(ExtractError::MethodMismatch(not)) => (),
[INFO] [stdout]      |                                                        ^^^ help: if this is intentional, prefix it with an underscore: `_not`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `not`
[INFO] [stdout]     --> src/lib.rs:1229:62
[INFO] [stdout]      |
[INFO] [stdout] 1229 | ...                   Err(ExtractError::MethodMismatch(not)) =>(),
[INFO] [stdout]      |                                                        ^^^ help: if this is intentional, prefix it with an underscore: `_not`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `not`
[INFO] [stdout]     --> src/lib.rs:1236:62
[INFO] [stdout]      |
[INFO] [stdout] 1236 | ...                   Err(ExtractError::MethodMismatch(not)) => (),
[INFO] [stdout]      |                                                        ^^^ help: if this is intentional, prefix it with an underscore: `_not`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `not`
[INFO] [stdout]     --> src/lib.rs:1243:62
[INFO] [stdout]      |
[INFO] [stdout] 1243 | ...                   Err(ExtractError::MethodMismatch(not)) => (),
[INFO] [stdout]      |                                                        ^^^ help: if this is intentional, prefix it with an underscore: `_not`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] For more information about this error, try `rustc --explain E0282`.
[INFO] [stdout] 
[INFO] [stderr] error: could not compile `elaboration-zoo-lsp` (lib) due to 3 previous errors; 266 warnings emitted
[INFO] [stderr] warning: build failed, waiting for other jobs to finish...
[INFO] [stdout] warning: unused variable: `e`
[INFO] [stdout]     --> src/L13_namespace/parser/mod.rs:1915:13
[INFO] [stdout]      |
[INFO] [stdout] 1915 |         Err(e) => Ok((input, vec![])), // No attribute found, not an error
[INFO] [stdout]      |             ^ help: if this is intentional, prefix it with an underscore: `_e`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable does not need to be mutable
[INFO] [stdout]    --> src/L13_namespace/unification.rs:451:13
[INFO] [stdout]     |
[INFO] [stdout] 451 |         let mut solution = self.eval(decl, &List::new(), &self.lams(pren.dom, decl, &mty, rhs));
[INFO] [stdout]     |             ----^^^^^^^^
[INFO] [stdout]     |             |
[INFO] [stdout]     |             help: remove this `mut`
[INFO] [stdout]     |
[INFO] [stdout]     = note: `#[warn(unused_mut)]` (part of `#[warn(unused)]`) on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `cxt`
[INFO] [stdout]    --> src/L13_namespace/unification.rs:456:41
[INFO] [stdout]     |
[INFO] [stdout] 456 |     pub fn solve_multi_trait(&mut self, cxt: &Cxt, m: MetaVar, allow_flex_defaulting: bool) -> Result<(), UnifyError> {
[INFO] [stdout]     |                                         ^^^ help: if this is intentional, prefix it with an underscore: `_cxt`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `c1`
[INFO] [stdout]    --> src/L13_namespace/typeclass.rs:319:33
[INFO] [stdout]     |
[INFO] [stdout] 319 |             (Val::Match(a1, b1, c1), Val::Match(a2, b2, c2)) => {
[INFO] [stdout]     |                                 ^^ help: if this is intentional, prefix it with an underscore: `_c1`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `c2`
[INFO] [stdout]    --> src/L13_namespace/typeclass.rs:319:57
[INFO] [stdout]     |
[INFO] [stdout] 319 |             (Val::Match(a1, b1, c1), Val::Match(a2, b2, c2)) => {
[INFO] [stdout]     |                                                         ^^ help: if this is intentional, prefix it with an underscore: `_c2`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `items`
[INFO] [stdout]    --> src/L13_namespace/pretty.rs:182:28
[INFO] [stdout]     |
[INFO] [stdout] 182 |         Tm::Sum(span, tms, items, _) => {
[INFO] [stdout]     |                            ^^^^^ help: if this is intentional, prefix it with an underscore: `_items`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `is_trait`
[INFO] [stdout]    --> src/L13_namespace/pretty.rs:208:23
[INFO] [stdout]     |
[INFO] [stdout] 208 |         Tm::SumCase { is_trait, typ, case_name, datas: params } => format!(
[INFO] [stdout]     |                       ^^^^^^^^ help: try ignoring the field: `is_trait: _`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `span`
[INFO] [stdout]   --> src/L13_namespace/canonical.rs:75:35
[INFO] [stdout]    |
[INFO] [stdout] 75 |                 while let Val::Pi(span, icit, dom, clos) = vt.as_ref() {
[INFO] [stdout]    |                                   ^^^^ help: if this is intentional, prefix it with an underscore: `_span`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `name`
[INFO] [stdout]    --> src/L13_namespace/mod.rs:442:22
[INFO] [stdout]     |
[INFO] [stdout] 442 |             Val::Lam(name, _, clos) => {
[INFO] [stdout]     |                      ^^^^ help: if this is intentional, prefix it with an underscore: `_name`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `name`
[INFO] [stdout]    --> src/L13_namespace/mod.rs:447:21
[INFO] [stdout]     |
[INFO] [stdout] 447 |             Val::Pi(name, _, vty, clos) => {
[INFO] [stdout]     |                     ^^^^ help: if this is intentional, prefix it with an underscore: `_name`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `s`
[INFO] [stdout]    --> src/L13_namespace/mod.rs:455:31
[INFO] [stdout]     |
[INFO] [stdout] 455 |             Val::LiteralIntro(s) => {
[INFO] [stdout]     |                               ^ help: if this is intentional, prefix it with an underscore: `_s`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `name`
[INFO] [stdout]    --> src/L13_namespace/mod.rs:458:22
[INFO] [stdout]     |
[INFO] [stdout] 458 |             Val::Sum(name, params, cases, _) => {
[INFO] [stdout]     |                      ^^^^ help: if this is intentional, prefix it with an underscore: `_name`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `pname`
[INFO] [stdout]    --> src/L13_namespace/mod.rs:460:22
[INFO] [stdout]     |
[INFO] [stdout] 460 |                 for (pname, pval, pvty, _) in params.iter() {
[INFO] [stdout]     |                      ^^^^^ help: if this is intentional, prefix it with an underscore: `_pname`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `cname`
[INFO] [stdout]    --> src/L13_namespace/mod.rs:465:21
[INFO] [stdout]     |
[INFO] [stdout] 465 |                 for cname in cases.iter() {
[INFO] [stdout]     |                     ^^^^^ help: if this is intentional, prefix it with an underscore: `_cname`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `case_name`
[INFO] [stdout]    --> src/L13_namespace/mod.rs:469:33
[INFO] [stdout]     |
[INFO] [stdout] 469 |             Val::SumCase { typ, case_name, datas, .. } => {
[INFO] [stdout]     |                                 ^^^^^^^^^ help: try ignoring the field: `case_name: _`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `dname`
[INFO] [stdout]    --> src/L13_namespace/mod.rs:472:22
[INFO] [stdout]     |
[INFO] [stdout] 472 |                 for (dname, dval, _) in datas.iter() {
[INFO] [stdout]     |                      ^^^^^ help: if this is intentional, prefix it with an underscore: `_dname`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `pat`
[INFO] [stdout]    --> src/L13_namespace/mod.rs:480:22
[INFO] [stdout]     |
[INFO] [stdout] 480 |                 for (pat, tm) in cases {
[INFO] [stdout]     |                      ^^^ help: if this is intentional, prefix it with an underscore: `_pat`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `name`
[INFO] [stdout]    --> src/L13_namespace/mod.rs:521:22
[INFO] [stdout]     |
[INFO] [stdout] 521 |             Tm::Decl(name) => {
[INFO] [stdout]     |                      ^^^^ help: if this is intentional, prefix it with an underscore: `_name`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `name`
[INFO] [stdout]    --> src/L13_namespace/mod.rs:524:28
[INFO] [stdout]     |
[INFO] [stdout] 524 |             Tm::Obj(inner, name) => {
[INFO] [stdout]     |                            ^^^^ help: if this is intentional, prefix it with an underscore: `_name`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `name`
[INFO] [stdout]    --> src/L13_namespace/mod.rs:528:21
[INFO] [stdout]     |
[INFO] [stdout] 528 |             Tm::Lam(name, _, body) => {
[INFO] [stdout]     |                     ^^^^ help: if this is intentional, prefix it with an underscore: `_name`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `name`
[INFO] [stdout]    --> src/L13_namespace/mod.rs:540:20
[INFO] [stdout]     |
[INFO] [stdout] 540 |             Tm::Pi(name, _, ty_a, ty_b) => {
[INFO] [stdout]     |                    ^^^^ help: if this is intentional, prefix it with an underscore: `_name`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `name`
[INFO] [stdout]    --> src/L13_namespace/mod.rs:545:21
[INFO] [stdout]     |
[INFO] [stdout] 545 |             Tm::Let(name, ty, val, body) => {
[INFO] [stdout]     |                     ^^^^ help: if this is intentional, prefix it with an underscore: `_name`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `name`
[INFO] [stdout]    --> src/L13_namespace/mod.rs:556:21
[INFO] [stdout]     |
[INFO] [stdout] 556 |             Tm::Sum(name, params, cases, _) => {
[INFO] [stdout]     |                     ^^^^ help: if this is intentional, prefix it with an underscore: `_name`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `pname`
[INFO] [stdout]    --> src/L13_namespace/mod.rs:558:22
[INFO] [stdout]     |
[INFO] [stdout] 558 |                 for (pname, ptm, pty, _) in params.iter() {
[INFO] [stdout]     |                      ^^^^^ help: if this is intentional, prefix it with an underscore: `_pname`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `cname`
[INFO] [stdout]    --> src/L13_namespace/mod.rs:563:21
[INFO] [stdout]     |
[INFO] [stdout] 563 |                 for cname in cases.iter() {
[INFO] [stdout]     |                     ^^^^^ help: if this is intentional, prefix it with an underscore: `_cname`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `case_name`
[INFO] [stdout]    --> src/L13_namespace/mod.rs:567:32
[INFO] [stdout]     |
[INFO] [stdout] 567 |             Tm::SumCase { typ, case_name, datas, .. } => {
[INFO] [stdout]     |                                ^^^^^^^^^ help: try ignoring the field: `case_name: _`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `dname`
[INFO] [stdout]    --> src/L13_namespace/mod.rs:570:22
[INFO] [stdout]     |
[INFO] [stdout] 570 |                 for (dname, dtm, _) in datas.iter() {
[INFO] [stdout]     |                      ^^^^^ help: if this is intentional, prefix it with an underscore: `_dname`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `pat`
[INFO] [stdout]    --> src/L13_namespace/mod.rs:577:22
[INFO] [stdout]     |
[INFO] [stdout] 577 |                 for (pat, branch) in cases {
[INFO] [stdout]     |                      ^^^ help: if this is intentional, prefix it with an underscore: `_pat`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `span`
[INFO] [stdout]    --> src/L13_namespace/mod.rs:594:18
[INFO] [stdout]     |
[INFO] [stdout] 594 |         for (_, (span, rtm, rval, rty, rvty, _)) in cxt.decl.iter() {
[INFO] [stdout]     |                  ^^^^ help: if this is intentional, prefix it with an underscore: `_span`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `span`
[INFO] [stdout]    --> src/L13_namespace/mod.rs:606:21
[INFO] [stdout]     |
[INFO] [stdout] 606 |         for (_, _, (span, vty)) in cxt.src_names.iter_all() {
[INFO] [stdout]     |                     ^^^^ help: if this is intentional, prefix it with an underscore: `_span`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `meta_alloc`
[INFO] [stdout]    --> src/L13_namespace/mod.rs:854:13
[INFO] [stdout]     |
[INFO] [stdout] 854 |         let meta_alloc = (std::mem::size_of::<MetaEntry>() + 16 + 7) & !7;
[INFO] [stdout]     |             ^^^^^^^^^^ help: if this is intentional, prefix it with an underscore: `_meta_alloc`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `url`
[INFO] [stdout]    --> src/lib.rs:529:29
[INFO] [stdout]     |
[INFO] [stdout] 529 |                         let url = params.uri.clone();
[INFO] [stdout]     |                             ^^^ help: if this is intentional, prefix it with an underscore: `_url`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `resp`
[INFO] [stdout]     --> src/lib.rs:1203:35
[INFO] [stdout]      |
[INFO] [stdout] 1203 |                 Message::Response(resp) => {
[INFO] [stdout]      |                                   ^^^^ help: if this is intentional, prefix it with an underscore: `_resp`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `not`
[INFO] [stdout]     --> src/lib.rs:1222:62
[INFO] [stdout]      |
[INFO] [stdout] 1222 | ...                   Err(ExtractError::MethodMismatch(not)) => (),
[INFO] [stdout]      |                                                        ^^^ help: if this is intentional, prefix it with an underscore: `_not`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `not`
[INFO] [stdout]     --> src/lib.rs:1229:62
[INFO] [stdout]      |
[INFO] [stdout] 1229 | ...                   Err(ExtractError::MethodMismatch(not)) =>(),
[INFO] [stdout]      |                                                        ^^^ help: if this is intentional, prefix it with an underscore: `_not`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `not`
[INFO] [stdout]     --> src/lib.rs:1236:62
[INFO] [stdout]      |
[INFO] [stdout] 1236 | ...                   Err(ExtractError::MethodMismatch(not)) => (),
[INFO] [stdout]      |                                                        ^^^ help: if this is intentional, prefix it with an underscore: `_not`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `not`
[INFO] [stdout]     --> src/lib.rs:1243:62
[INFO] [stdout]      |
[INFO] [stdout] 1243 | ...                   Err(ExtractError::MethodMismatch(not)) => (),
[INFO] [stdout]      |                                                        ^^^ help: if this is intentional, prefix it with an underscore: `_not`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] For more information about this error, try `rustc --explain E0282`.
[INFO] [stdout] 
[INFO] [stderr] error: could not compile `elaboration-zoo-lsp` (lib test) due to 3 previous errors; 278 warnings emitted
[INFO] running `Command { std: "docker" "inspect" "9d17fd153d2774457d6c8f28d6a10c8949d3ceafbebe8b80790a96ab7c88cbe4", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "9d17fd153d2774457d6c8f28d6a10c8949d3ceafbebe8b80790a96ab7c88cbe4", kill_on_drop: false }`
[INFO] [stdout] 9d17fd153d2774457d6c8f28d6a10c8949d3ceafbebe8b80790a96ab7c88cbe4
