[INFO] updating cached repository https://github.com/zesterer/bread
[INFO] running `"git" "-c" "credential.helper=" "-c" "credential.helper=/workspace/cargo-home/bin/git-credential-null" "-c" "remote.origin.fetch=refs/heads/*:refs/heads/*" "fetch" "origin" "--force" "--prune"`
[INFO] [stderr] From https://github.com/zesterer/bread
[INFO] [stderr]    22e777d..d6dff1f  master     -> master
[INFO] running `"git" "rev-parse" "HEAD"`
[INFO] [stdout] d6dff1fd92e4a1d26bce8a0e2bf02454fc29de63
[INFO] checking zesterer/bread against master#212aa3ea28d91a97d1e1261709c0b6e6790788e6 for pr-69340
[INFO] running `"git" "clone" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Fzesterer%2Fbread" "/workspace/builds/worker-3/source"`
[INFO] [stderr] Cloning into '/workspace/builds/worker-3/source'...
[INFO] [stderr] done.
[INFO] validating manifest of git repo https://github.com/zesterer/bread on toolchain 212aa3ea28d91a97d1e1261709c0b6e6790788e6
[INFO] running `"/workspace/cargo-home/bin/cargo" "+212aa3ea28d91a97d1e1261709c0b6e6790788e6" "read-manifest" "--manifest-path" "Cargo.toml"`
[INFO] started tweaking git repo https://github.com/zesterer/bread
[INFO] finished tweaking git repo https://github.com/zesterer/bread
[INFO] tweaked toml for git repo https://github.com/zesterer/bread written to /workspace/builds/worker-3/source/Cargo.toml
[INFO] crate git repo https://github.com/zesterer/bread already has a lockfile, it will not be regenerated
[INFO] running `"/workspace/cargo-home/bin/cargo" "+212aa3ea28d91a97d1e1261709c0b6e6790788e6" "fetch" "--locked" "--manifest-path" "Cargo.toml"`
[INFO] running `"docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-3/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-3/source:/opt/rustwide/workdir:ro,Z" "-v" "/var/lib/crater-agent-workspace/cargo-home:/opt/rustwide/cargo-home:ro,Z" "-v" "/var/lib/crater-agent-workspace/rustup-home:/opt/rustwide/rustup-home:ro,Z" "-e" "SOURCE_DIR=/opt/rustwide/workdir" "-e" "MAP_USER_ID=0" "-e" "CARGO_TARGET_DIR=/opt/rustwide/target" "-e" "CARGO_INCREMENTAL=0" "-e" "RUST_BACKTRACE=full" "-e" "RUSTFLAGS=--cap-lints=forbid" "-e" "CARGO_HOME=/opt/rustwide/cargo-home" "-e" "RUSTUP_HOME=/opt/rustwide/rustup-home" "-w" "/opt/rustwide/workdir" "-m" "1610612736" "--network" "none" "rustops/crates-build-env" "/opt/rustwide/cargo-home/bin/cargo" "+212aa3ea28d91a97d1e1261709c0b6e6790788e6" "check" "--frozen" "--all" "--all-targets"`
[INFO] [stderr] WARNING: Your kernel does not support swap limit capabilities or the cgroup is not mounted. Memory limited without swap.
[INFO] [stdout] 7c1cc4a1ef36c1c1ddcc280994a4a5f1d0ba01c0013676a138f2843b04b74247
[INFO] running `"docker" "start" "-a" "7c1cc4a1ef36c1c1ddcc280994a4a5f1d0ba01c0013676a138f2843b04b74247"`
[INFO] [stderr]     Checking rand_core v0.5.1
[INFO] [stderr]     Checking smallbox v0.8.0
[INFO] [stderr]    Compiling im-rc v14.1.0
[INFO] [stderr]     Checking bitmaps v2.0.0
[INFO] [stderr]     Checking thread_local v0.3.3
[INFO] [stderr]     Checking tinyset v0.4.2
[INFO] [stderr]     Checking rustyline v6.0.0
[INFO] [stderr]     Checking rand_xoshiro v0.4.0
[INFO] [stderr]     Checking parze v0.1.0 (https://github.com/zesterer/parze-new.git#e649de3d)
[INFO] [stderr]     Checking state v0.4.1
[INFO] [stderr]     Checking internment v0.3.12
[INFO] [stderr]     Checking sized-chunks v0.5.1
[INFO] [stderr]     Checking tao v0.1.0 (/opt/rustwide/workdir)
[INFO] [stderr] warning: unused import: `HashSet`
[INFO] [stderr]  --> src/ty.rs:1:33
[INFO] [stderr]   |
[INFO] [stderr] 1 | use std::collections::{HashMap, HashSet};
[INFO] [stderr]   |                                 ^^^^^^^
[INFO] [stderr]   |
[INFO] [stderr]   = note: `#[warn(unused_imports)]` on by default
[INFO] [stderr] 
[INFO] [stderr] warning: unused import: `ty::Type`
[INFO] [stderr]  --> src/mir.rs:5:5
[INFO] [stderr]   |
[INFO] [stderr] 5 |     ty::Type,
[INFO] [stderr]   |     ^^^^^^^^
[INFO] [stderr] 
[INFO] [stderr] warning: unused import: `TypeId`
[INFO] [stderr]  --> src/node2.rs:7:10
[INFO] [stderr]   |
[INFO] [stderr] 7 |     ty::{TypeId, Type},
[INFO] [stderr]   |          ^^^^^^
[INFO] [stderr] 
[INFO] [stderr] warning: unused import: `HashSet`
[INFO] [stderr]  --> src/ty.rs:1:33
[INFO] [stderr]   |
[INFO] [stderr] 1 | use std::collections::{HashMap, HashSet};
[INFO] [stderr]   |                                 ^^^^^^^
[INFO] [stderr]   |
[INFO] [stderr]   = note: `#[warn(unused_imports)]` on by default
[INFO] [stderr] 
[INFO] [stderr] warning: unused import: `ty::Type`
[INFO] [stderr]  --> src/mir.rs:5:5
[INFO] [stderr]   |
[INFO] [stderr] 5 |     ty::Type,
[INFO] [stderr]   |     ^^^^^^^^
[INFO] [stderr] 
[INFO] [stderr] warning: unused import: `TypeId`
[INFO] [stderr]  --> src/node2.rs:7:10
[INFO] [stderr]   |
[INFO] [stderr] 7 |     ty::{TypeId, Type},
[INFO] [stderr]   |          ^^^^^^
[INFO] [stderr] 
[INFO] [stderr] warning: unreachable call
[INFO] [stderr]    --> src/ty.rs:261:40
[INFO] [stderr]     |
[INFO] [stderr] 261 |             InferError::CannotInfer => Error::cannot_infer_type(panic!("Cannot infer type!")),
[INFO] [stderr]     |                                        ^^^^^^^^^^^^^^^^^^^^^^^^ ---------------------------- any code following this expression is unreachable
[INFO] [stderr]     |                                        |
[INFO] [stderr]     |                                        unreachable call
[INFO] [stderr]     |
[INFO] [stderr]     = note: `#[warn(unreachable_code)]` on by default
[INFO] [stderr] 
[INFO] [stderr] warning: unreachable expression
[INFO] [stderr]    --> src/ty.rs:264:17
[INFO] [stderr]     |
[INFO] [stderr] 263 |                 panic!("Type mismatch!"),
[INFO] [stderr]     |                 ------------------------ any code following this expression is unreachable
[INFO] [stderr] 264 |                 panic!("Type mismatch!"),
[INFO] [stderr]     |                 ^^^^^^^^^^^^^^^^^^^^^^^^ unreachable expression
[INFO] [stderr]     |
[INFO] [stderr]     = note: this warning originates in a macro (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stderr] 
[INFO] [stderr] warning: unreachable pattern
[INFO] [stderr]    --> src/hir.rs:149:13
[INFO] [stderr]     |
[INFO] [stderr] 149 |             (TypeInfo::Generic(a, a_ty), TypeInfo::Generic(b, b_ty)) => a_ty.unify_with(b_ty),
[INFO] [stderr]     |             ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stderr]     |
[INFO] [stderr]     = note: `#[warn(unreachable_patterns)]` on by default
[INFO] [stderr] 
[INFO] [stderr] warning: unreachable pattern
[INFO] [stderr]    --> src/hir2.rs:306:13
[INFO] [stderr]     |
[INFO] [stderr] 306 |             _ => todo!(),
[INFO] [stderr]     |             ^
[INFO] [stderr] 
[INFO] [stderr] warning: unreachable pattern
[INFO] [stderr]    --> src/hir2.rs:376:13
[INFO] [stderr]     |
[INFO] [stderr] 376 |             _ => todo!(),
[INFO] [stderr]     |             ^
[INFO] [stderr] 
[INFO] [stderr] warning: unused variable: `sc`
[INFO] [stderr]    --> src/lex.rs:190:32
[INFO] [stderr]     |
[INFO] [stderr] 190 |             .or(just('<').map(|sc| Token::Op(Op::Less)))
[INFO] [stderr]     |                                ^^ help: consider prefixing with an underscore: `_sc`
[INFO] [stderr]     |
[INFO] [stderr]     = note: `#[warn(unused_variables)]` on by default
[INFO] [stderr] 
[INFO] [stderr] warning: unused variable: `sc`
[INFO] [stderr]    --> src/lex.rs:191:32
[INFO] [stderr]     |
[INFO] [stderr] 191 |             .or(just('>').map(|sc| Token::Op(Op::More)))
[INFO] [stderr]     |                                ^^ help: consider prefixing with an underscore: `_sc`
[INFO] [stderr] 
[INFO] [stderr] warning: unused variable: `sc`
[INFO] [stderr]    --> src/lex.rs:192:32
[INFO] [stderr]     |
[INFO] [stderr] 192 |             .or(just('!').map(|sc| Token::Op(Op::Not)))
[INFO] [stderr]     |                                ^^ help: consider prefixing with an underscore: `_sc`
[INFO] [stderr] 
[INFO] [stderr] warning: unused variable: `sc`
[INFO] [stderr]    --> src/lex.rs:193:32
[INFO] [stderr]     |
[INFO] [stderr] 193 |             .or(just(',').map(|sc| Token::Comma))
[INFO] [stderr]     |                                ^^ help: consider prefixing with an underscore: `_sc`
[INFO] [stderr] 
[INFO] [stderr] warning: unused variable: `sc`
[INFO] [stderr]    --> src/lex.rs:194:32
[INFO] [stderr]     |
[INFO] [stderr] 194 |             .or(just(':').map(|sc| Token::Colon))
[INFO] [stderr]     |                                ^^ help: consider prefixing with an underscore: `_sc`
[INFO] [stderr] 
[INFO] [stderr] warning: unused variable: `sc`
[INFO] [stderr]    --> src/lex.rs:195:32
[INFO] [stderr]     |
[INFO] [stderr] 195 |             .or(just('?').map(|sc| Token::QuestionMark))
[INFO] [stderr]     |                                ^^ help: consider prefixing with an underscore: `_sc`
[INFO] [stderr] 
[INFO] [stderr] warning: unused variable: `tokens`
[INFO] [stderr]    --> src/lex.rs:125:32
[INFO] [stderr]     |
[INFO] [stderr] 125 |             Token::Tree(delim, tokens) => write!(f, "{}...{}", delim.left(), delim.right()),
[INFO] [stderr]     |                                ^^^^^^ help: consider prefixing with an underscore: `_tokens`
[INFO] [stderr] 
[INFO] [stderr] warning: unused variable: `region`
[INFO] [stderr]    --> src/parse.rs:285:25
[INFO] [stderr]     |
[INFO] [stderr] 285 |                     let region = f_region.union(val.region);
[INFO] [stderr]     |                         ^^^^^^ help: consider prefixing with an underscore: `_region`
[INFO] [stderr] 
[INFO] [stderr] warning: unused variable: `from_a`
[INFO] [stderr]    --> src/src.rs:134:31
[INFO] [stderr]     |
[INFO] [stderr] 134 |             (SrcRegion::Range(from_a, until_a), SrcRegion::Range(from_b, until_b)) =>
[INFO] [stderr]     |                               ^^^^^^ help: consider prefixing with an underscore: `_from_a`
[INFO] [stderr] 
[INFO] [stderr] warning: unused variable: `from_b`
[INFO] [stderr]    --> src/src.rs:134:66
[INFO] [stderr]     |
[INFO] [stderr] 134 |             (SrcRegion::Range(from_a, until_a), SrcRegion::Range(from_b, until_b)) =>
[INFO] [stderr]     |                                                                  ^^^^^^ help: consider prefixing with an underscore: `_from_b`
[INFO] [stderr] 
[INFO] [stderr] warning: unused variable: `index`
[INFO] [stderr]    --> src/src.rs:205:15
[INFO] [stderr]     |
[INFO] [stderr] 205 |     fn single(index: usize, sym: &Node<T>) -> Self {
[INFO] [stderr]     |               ^^^^^ help: consider prefixing with an underscore: `_index`
[INFO] [stderr] 
[INFO] [stderr] warning: unused variable: `region`
[INFO] [stderr]    --> src/error.rs:154:40
[INFO] [stderr]     |
[INFO] [stderr] 154 |     fn expected_end(sym: &Node<Token>, region: SrcRegion) -> Self {
[INFO] [stderr]     |                                        ^^^^^^ help: consider prefixing with an underscore: `_region`
[INFO] [stderr] 
[INFO] [stderr] warning: unused variable: `end_col`
[INFO] [stderr]    --> src/error.rs:198:62
[INFO] [stderr]     |
[INFO] [stderr] 198 |             if let Some(((start_line, start_col), (end_line, end_col))) = regions
[INFO] [stderr]     |                                                              ^^^^^^^ help: consider prefixing with an underscore: `_end_col`
[INFO] [stderr] 
[INFO] [stderr] warning: unused variable: `i`
[INFO] [stderr]    --> src/hir.rs:280:10
[INFO] [stderr]     |
[INFO] [stderr] 280 |     for (i, (pop, pa, po)) in possibles.iter().enumerate() {
[INFO] [stderr]     |          ^ help: consider prefixing with an underscore: `_i`
[INFO] [stderr] 
[INFO] [stderr] warning: unused variable: `i`
[INFO] [stderr]    --> src/hir.rs:334:10
[INFO] [stderr]     |
[INFO] [stderr] 334 |     for (i, (pop, pa, pb, po)) in possibles.iter().enumerate() {
[INFO] [stderr]     |          ^ help: consider prefixing with an underscore: `_i`
[INFO] [stderr] 
[INFO] [stderr] warning: unused variable: `region`
[INFO] [stderr]    --> src/hir.rs:114:21
[INFO] [stderr]     |
[INFO] [stderr] 114 |                 let region = self.region.earliest(other.region);
[INFO] [stderr]     |                     ^^^^^^ help: consider prefixing with an underscore: `_region`
[INFO] [stderr] 
[INFO] [stderr] warning: unused variable: `a`
[INFO] [stderr]    --> src/hir.rs:149:32
[INFO] [stderr]     |
[INFO] [stderr] 149 |             (TypeInfo::Generic(a, a_ty), TypeInfo::Generic(b, b_ty)) => a_ty.unify_with(b_ty),
[INFO] [stderr]     |                                ^ help: consider prefixing with an underscore: `_a`
[INFO] [stderr] 
[INFO] [stderr] warning: unused variable: `b`
[INFO] [stderr]    --> src/hir.rs:149:60
[INFO] [stderr]     |
[INFO] [stderr] 149 |             (TypeInfo::Generic(a, a_ty), TypeInfo::Generic(b, b_ty)) => a_ty.unify_with(b_ty),
[INFO] [stderr]     |                                                            ^ help: consider prefixing with an underscore: `_b`
[INFO] [stderr] 
[INFO] [stderr] warning: unused variable: `ident`
[INFO] [stderr]    --> src/hir.rs:474:25
[INFO] [stderr]     |
[INFO] [stderr] 474 |             Expr::Ident(ident) => {},
[INFO] [stderr]     |                         ^^^^^ help: consider prefixing with an underscore: `_ident`
[INFO] [stderr] 
[INFO] [stderr] warning: unused variable: `name`
[INFO] [stderr]    --> src/hir.rs:524:29
[INFO] [stderr]     |
[INFO] [stderr] 524 |                 Decl::Value(name, ty_params, body) => {
[INFO] [stderr]     |                             ^^^^ help: consider prefixing with an underscore: `_name`
[INFO] [stderr] 
[INFO] [stderr] warning: unused variable: `ty_params`
[INFO] [stderr]    --> src/hir.rs:524:35
[INFO] [stderr]     |
[INFO] [stderr] 524 |                 Decl::Value(name, ty_params, body) => {
[INFO] [stderr]     |                                   ^^^^^^^^^ help: consider prefixing with an underscore: `_ty_params`
[INFO] [stderr] 
[INFO] [stderr] warning: unused variable: `addr`
[INFO] [stderr]    --> src/compile.rs:167:21
[INFO] [stderr]     |
[INFO] [stderr] 167 |                 let addr = match offset_of(**ident, ident.region()) {
[INFO] [stderr]     |                     ^^^^ help: consider prefixing with an underscore: `_addr`
[INFO] [stderr] 
[INFO] [stderr] warning: unused variable: `ident`
[INFO] [stderr]    --> src/hir2.rs:223:24
[INFO] [stderr]     |
[INFO] [stderr] 223 |             Pat::Ident(ident) => ctx.insert(TypeInfo::Unknown, pat.region()),
[INFO] [stderr]     |                        ^^^^^ help: consider prefixing with an underscore: `_ident`
[INFO] [stderr] 
[INFO] [stderr] warning: unused variable: `engine`
[INFO] [stderr]    --> src/hir2.rs:329:18
[INFO] [stderr]     |
[INFO] [stderr] 329 |     fn check_pat(engine: &TypeEngine, ctx: &InferCtx, pat: &mut InferNode<Pat>) -> Result<(), Error> {
[INFO] [stderr]     |                  ^^^^^^ help: consider prefixing with an underscore: `_engine`
[INFO] [stderr] 
[INFO] [stderr] warning: unused variable: `expr`
[INFO] [stderr]    --> src/hir2.rs:413:37
[INFO] [stderr]     |
[INFO] [stderr] 413 |     pub fn generate_mir_expr(&self, expr: &InferNode<Expr>) -> Result<TypeNode<mir::Expr>, Error> {
[INFO] [stderr]     |                                     ^^^^ help: consider prefixing with an underscore: `_expr`
[INFO] [stderr] 
[INFO] [stderr] warning: unused variable: `ctx`
[INFO] [stderr]    --> src/hir2.rs:422:34
[INFO] [stderr]     |
[INFO] [stderr] 422 |                 |module, (name, (ctx, body))| Ok(module.with_def(*name, self.generate_mir_expr(body)?)),
[INFO] [stderr]     |                                  ^^^ help: consider prefixing with an underscore: `_ctx`
[INFO] [stderr] 
[INFO] [stderr] warning: variable does not need to be mutable
[INFO] [stderr]   --> src/main.rs:98:9
[INFO] [stderr]    |
[INFO] [stderr] 98 |     let mut ast2 = match ast::parse_expr(&tokens) {
[INFO] [stderr]    |         ----^^^^
[INFO] [stderr]    |         |
[INFO] [stderr]    |         help: remove this `mut`
[INFO] [stderr]    |
[INFO] [stderr]    = note: `#[warn(unused_mut)]` on by default
[INFO] [stderr] 
[INFO] [stderr] warning: variable does not need to be mutable
[INFO] [stderr]    --> src/main.rs:110:9
[INFO] [stderr]     |
[INFO] [stderr] 110 |     let mut engine = match hir2::Engine::new()
[INFO] [stderr]     |         ----^^^^^^
[INFO] [stderr]     |         |
[INFO] [stderr]     |         help: remove this `mut`
[INFO] [stderr] 
[INFO] [stderr] warning: unreachable call
[INFO] [stderr]    --> src/ty.rs:261:40
[INFO] [stderr]     |
[INFO] [stderr] 261 |             InferError::CannotInfer => Error::cannot_infer_type(panic!("Cannot infer type!")),
[INFO] [stderr]     |                                        ^^^^^^^^^^^^^^^^^^^^^^^^ ---------------------------- any code following this expression is unreachable
[INFO] [stderr]     |                                        |
[INFO] [stderr]     |                                        unreachable call
[INFO] [stderr]     |
[INFO] [stderr]     = note: `#[warn(unreachable_code)]` on by default
[INFO] [stderr] 
[INFO] [stderr] warning: unreachable expression
[INFO] [stderr]    --> src/ty.rs:264:17
[INFO] [stderr]     |
[INFO] [stderr] 263 |                 panic!("Type mismatch!"),
[INFO] [stderr]     |                 ------------------------ any code following this expression is unreachable
[INFO] [stderr] 264 |                 panic!("Type mismatch!"),
[INFO] [stderr]     |                 ^^^^^^^^^^^^^^^^^^^^^^^^ unreachable expression
[INFO] [stderr]     |
[INFO] [stderr]     = note: this warning originates in a macro (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stderr] 
[INFO] [stderr] warning: unreachable pattern
[INFO] [stderr]    --> src/hir.rs:149:13
[INFO] [stderr]     |
[INFO] [stderr] 149 |             (TypeInfo::Generic(a, a_ty), TypeInfo::Generic(b, b_ty)) => a_ty.unify_with(b_ty),
[INFO] [stderr]     |             ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stderr]     |
[INFO] [stderr]     = note: `#[warn(unreachable_patterns)]` on by default
[INFO] [stderr] 
[INFO] [stderr] warning: unreachable pattern
[INFO] [stderr]    --> src/hir2.rs:306:13
[INFO] [stderr]     |
[INFO] [stderr] 306 |             _ => todo!(),
[INFO] [stderr]     |             ^
[INFO] [stderr] 
[INFO] [stderr] warning: unreachable pattern
[INFO] [stderr]    --> src/hir2.rs:376:13
[INFO] [stderr]     |
[INFO] [stderr] 376 |             _ => todo!(),
[INFO] [stderr]     |             ^
[INFO] [stderr] 
[INFO] [stderr] warning: unused variable: `sc`
[INFO] [stderr]    --> src/lex.rs:190:32
[INFO] [stderr]     |
[INFO] [stderr] 190 |             .or(just('<').map(|sc| Token::Op(Op::Less)))
[INFO] [stderr]     |                                ^^ help: consider prefixing with an underscore: `_sc`
[INFO] [stderr]     |
[INFO] [stderr]     = note: `#[warn(unused_variables)]` on by default
[INFO] [stderr] 
[INFO] [stderr] warning: unused variable: `sc`
[INFO] [stderr]    --> src/lex.rs:191:32
[INFO] [stderr]     |
[INFO] [stderr] 191 |             .or(just('>').map(|sc| Token::Op(Op::More)))
[INFO] [stderr]     |                                ^^ help: consider prefixing with an underscore: `_sc`
[INFO] [stderr] 
[INFO] [stderr] warning: unused variable: `sc`
[INFO] [stderr]    --> src/lex.rs:192:32
[INFO] [stderr]     |
[INFO] [stderr] 192 |             .or(just('!').map(|sc| Token::Op(Op::Not)))
[INFO] [stderr]     |                                ^^ help: consider prefixing with an underscore: `_sc`
[INFO] [stderr] 
[INFO] [stderr] warning: unused variable: `sc`
[INFO] [stderr]    --> src/lex.rs:193:32
[INFO] [stderr]     |
[INFO] [stderr] 193 |             .or(just(',').map(|sc| Token::Comma))
[INFO] [stderr]     |                                ^^ help: consider prefixing with an underscore: `_sc`
[INFO] [stderr] 
[INFO] [stderr] warning: unused variable: `sc`
[INFO] [stderr]    --> src/lex.rs:194:32
[INFO] [stderr]     |
[INFO] [stderr] 194 |             .or(just(':').map(|sc| Token::Colon))
[INFO] [stderr]     |                                ^^ help: consider prefixing with an underscore: `_sc`
[INFO] [stderr] 
[INFO] [stderr] warning: unused variable: `sc`
[INFO] [stderr]    --> src/lex.rs:195:32
[INFO] [stderr]     |
[INFO] [stderr] 195 |             .or(just('?').map(|sc| Token::QuestionMark))
[INFO] [stderr]     |                                ^^ help: consider prefixing with an underscore: `_sc`
[INFO] [stderr] 
[INFO] [stderr] warning: unused variable: `tokens`
[INFO] [stderr]    --> src/lex.rs:125:32
[INFO] [stderr]     |
[INFO] [stderr] 125 |             Token::Tree(delim, tokens) => write!(f, "{}...{}", delim.left(), delim.right()),
[INFO] [stderr]     |                                ^^^^^^ help: consider prefixing with an underscore: `_tokens`
[INFO] [stderr] 
[INFO] [stderr] warning: unused variable: `region`
[INFO] [stderr]    --> src/parse.rs:285:25
[INFO] [stderr]     |
[INFO] [stderr] 285 |                     let region = f_region.union(val.region);
[INFO] [stderr]     |                         ^^^^^^ help: consider prefixing with an underscore: `_region`
[INFO] [stderr] 
[INFO] [stderr] warning: unused variable: `from_a`
[INFO] [stderr]    --> src/src.rs:134:31
[INFO] [stderr]     |
[INFO] [stderr] 134 |             (SrcRegion::Range(from_a, until_a), SrcRegion::Range(from_b, until_b)) =>
[INFO] [stderr]     |                               ^^^^^^ help: consider prefixing with an underscore: `_from_a`
[INFO] [stderr] 
[INFO] [stderr] warning: unused variable: `from_b`
[INFO] [stderr]    --> src/src.rs:134:66
[INFO] [stderr]     |
[INFO] [stderr] 134 |             (SrcRegion::Range(from_a, until_a), SrcRegion::Range(from_b, until_b)) =>
[INFO] [stderr]     |                                                                  ^^^^^^ help: consider prefixing with an underscore: `_from_b`
[INFO] [stderr] 
[INFO] [stderr] warning: unused variable: `index`
[INFO] [stderr]    --> src/src.rs:205:15
[INFO] [stderr]     |
[INFO] [stderr] 205 |     fn single(index: usize, sym: &Node<T>) -> Self {
[INFO] [stderr]     |               ^^^^^ help: consider prefixing with an underscore: `_index`
[INFO] [stderr] 
[INFO] [stderr] warning: unused variable: `region`
[INFO] [stderr]    --> src/error.rs:154:40
[INFO] [stderr]     |
[INFO] [stderr] 154 |     fn expected_end(sym: &Node<Token>, region: SrcRegion) -> Self {
[INFO] [stderr]     |                                        ^^^^^^ help: consider prefixing with an underscore: `_region`
[INFO] [stderr] 
[INFO] [stderr] warning: unused variable: `end_col`
[INFO] [stderr]    --> src/error.rs:198:62
[INFO] [stderr]     |
[INFO] [stderr] 198 |             if let Some(((start_line, start_col), (end_line, end_col))) = regions
[INFO] [stderr]     |                                                              ^^^^^^^ help: consider prefixing with an underscore: `_end_col`
[INFO] [stderr] 
[INFO] [stderr] warning: unused variable: `i`
[INFO] [stderr]    --> src/hir.rs:280:10
[INFO] [stderr]     |
[INFO] [stderr] 280 |     for (i, (pop, pa, po)) in possibles.iter().enumerate() {
[INFO] [stderr]     |          ^ help: consider prefixing with an underscore: `_i`
[INFO] [stderr] 
[INFO] [stderr] warning: unused variable: `i`
[INFO] [stderr]    --> src/hir.rs:334:10
[INFO] [stderr]     |
[INFO] [stderr] 334 |     for (i, (pop, pa, pb, po)) in possibles.iter().enumerate() {
[INFO] [stderr]     |          ^ help: consider prefixing with an underscore: `_i`
[INFO] [stderr] 
[INFO] [stderr] warning: unused variable: `region`
[INFO] [stderr]    --> src/hir.rs:114:21
[INFO] [stderr]     |
[INFO] [stderr] 114 |                 let region = self.region.earliest(other.region);
[INFO] [stderr]     |                     ^^^^^^ help: consider prefixing with an underscore: `_region`
[INFO] [stderr] 
[INFO] [stderr] warning: unused variable: `a`
[INFO] [stderr]    --> src/hir.rs:149:32
[INFO] [stderr]     |
[INFO] [stderr] 149 |             (TypeInfo::Generic(a, a_ty), TypeInfo::Generic(b, b_ty)) => a_ty.unify_with(b_ty),
[INFO] [stderr]     |                                ^ help: consider prefixing with an underscore: `_a`
[INFO] [stderr] 
[INFO] [stderr] warning: unused variable: `b`
[INFO] [stderr]    --> src/hir.rs:149:60
[INFO] [stderr]     |
[INFO] [stderr] 149 |             (TypeInfo::Generic(a, a_ty), TypeInfo::Generic(b, b_ty)) => a_ty.unify_with(b_ty),
[INFO] [stderr]     |                                                            ^ help: consider prefixing with an underscore: `_b`
[INFO] [stderr] 
[INFO] [stderr] warning: unused variable: `ident`
[INFO] [stderr]    --> src/hir.rs:474:25
[INFO] [stderr]     |
[INFO] [stderr] 474 |             Expr::Ident(ident) => {},
[INFO] [stderr]     |                         ^^^^^ help: consider prefixing with an underscore: `_ident`
[INFO] [stderr] 
[INFO] [stderr] warning: unused variable: `name`
[INFO] [stderr]    --> src/hir.rs:524:29
[INFO] [stderr]     |
[INFO] [stderr] 524 |                 Decl::Value(name, ty_params, body) => {
[INFO] [stderr]     |                             ^^^^ help: consider prefixing with an underscore: `_name`
[INFO] [stderr] 
[INFO] [stderr] warning: unused variable: `ty_params`
[INFO] [stderr]    --> src/hir.rs:524:35
[INFO] [stderr]     |
[INFO] [stderr] 524 |                 Decl::Value(name, ty_params, body) => {
[INFO] [stderr]     |                                   ^^^^^^^^^ help: consider prefixing with an underscore: `_ty_params`
[INFO] [stderr] 
[INFO] [stderr] warning: unused variable: `addr`
[INFO] [stderr]    --> src/compile.rs:167:21
[INFO] [stderr]     |
[INFO] [stderr] 167 |                 let addr = match offset_of(**ident, ident.region()) {
[INFO] [stderr]     |                     ^^^^ help: consider prefixing with an underscore: `_addr`
[INFO] [stderr] 
[INFO] [stderr] warning: unused variable: `ident`
[INFO] [stderr]    --> src/hir2.rs:223:24
[INFO] [stderr]     |
[INFO] [stderr] 223 |             Pat::Ident(ident) => ctx.insert(TypeInfo::Unknown, pat.region()),
[INFO] [stderr]     |                        ^^^^^ help: consider prefixing with an underscore: `_ident`
[INFO] [stderr] 
[INFO] [stderr] warning: unused variable: `engine`
[INFO] [stderr]    --> src/hir2.rs:329:18
[INFO] [stderr]     |
[INFO] [stderr] 329 |     fn check_pat(engine: &TypeEngine, ctx: &InferCtx, pat: &mut InferNode<Pat>) -> Result<(), Error> {
[INFO] [stderr]     |                  ^^^^^^ help: consider prefixing with an underscore: `_engine`
[INFO] [stderr] 
[INFO] [stderr] warning: unused variable: `expr`
[INFO] [stderr]    --> src/hir2.rs:413:37
[INFO] [stderr]     |
[INFO] [stderr] 413 |     pub fn generate_mir_expr(&self, expr: &InferNode<Expr>) -> Result<TypeNode<mir::Expr>, Error> {
[INFO] [stderr]     |                                     ^^^^ help: consider prefixing with an underscore: `_expr`
[INFO] [stderr] 
[INFO] [stderr] warning: unused variable: `ctx`
[INFO] [stderr]    --> src/hir2.rs:422:34
[INFO] [stderr]     |
[INFO] [stderr] 422 |                 |module, (name, (ctx, body))| Ok(module.with_def(*name, self.generate_mir_expr(body)?)),
[INFO] [stderr]     |                                  ^^^ help: consider prefixing with an underscore: `_ctx`
[INFO] [stderr] 
[INFO] [stderr] warning: variable does not need to be mutable
[INFO] [stderr]   --> src/main.rs:98:9
[INFO] [stderr]    |
[INFO] [stderr] 98 |     let mut ast2 = match ast::parse_expr(&tokens) {
[INFO] [stderr]    |         ----^^^^
[INFO] [stderr]    |         |
[INFO] [stderr]    |         help: remove this `mut`
[INFO] [stderr]    |
[INFO] [stderr]    = note: `#[warn(unused_mut)]` on by default
[INFO] [stderr] 
[INFO] [stderr] warning: variable does not need to be mutable
[INFO] [stderr]    --> src/main.rs:110:9
[INFO] [stderr]     |
[INFO] [stderr] 110 |     let mut engine = match hir2::Engine::new()
[INFO] [stderr]     |         ----^^^^^^
[INFO] [stderr]     |         |
[INFO] [stderr]     |         help: remove this `mut`
[INFO] [stderr] 
[INFO] [stderr] warning: variable does not need to be mutable
[INFO] [stderr]    --> src/hir.rs:513:13
[INFO] [stderr]     |
[INFO] [stderr] 513 |         let mut scope = Scope::Global(self.decls
[INFO] [stderr]     |             ----^^^^^
[INFO] [stderr]     |             |
[INFO] [stderr]     |             help: remove this `mut`
[INFO] [stderr] 
[INFO] [stderr] warning: variant is never constructed: `Brace`
[INFO] [stderr]   --> src/lex.rs:59:5
[INFO] [stderr]    |
[INFO] [stderr] 59 |     Brace,
[INFO] [stderr]    |     ^^^^^
[INFO] [stderr]    |
[INFO] [stderr]    = note: `#[warn(dead_code)]` on by default
[INFO] [stderr] 
[INFO] [stderr] warning: method is never used: `at`
[INFO] [stderr]   --> src/parse.rs:31:5
[INFO] [stderr]    |
[INFO] [stderr] 31 |     pub fn at(self, region: SrcRegion) -> Node<Self> {
[INFO] [stderr]    |     ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stderr] 
[INFO] [stderr] warning: method is never used: `at`
[INFO] [stderr]   --> src/parse.rs:65:5
[INFO] [stderr]    |
[INFO] [stderr] 65 |     pub fn at(self, region: SrcRegion) -> Node<Self> {
[INFO] [stderr]    |     ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stderr] 
[INFO] [stderr] warning: method is never used: `name`
[INFO] [stderr]    --> src/parse.rs:107:5
[INFO] [stderr]     |
[INFO] [stderr] 107 |     pub fn name(&self) -> &Node<LocalIntern<String>> {
[INFO] [stderr]     |     ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stderr] 
[INFO] [stderr] warning: method is never used: `string`
[INFO] [stderr]    --> src/eval.rs:153:5
[INFO] [stderr]     |
[INFO] [stderr] 153 |     pub fn string(self) -> Option<String> {
[INFO] [stderr]     |     ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stderr] 
[INFO] [stderr] warning: method is never used: `list`
[INFO] [stderr]    --> src/eval.rs:161:5
[INFO] [stderr]     |
[INFO] [stderr] 161 |     pub fn list(self) -> Option<Vector<Self>> {
[INFO] [stderr]     |     ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stderr] 
[INFO] [stderr] warning: method is never used: `start`
[INFO] [stderr]   --> src/src.rs:12:5
[INFO] [stderr]    |
[INFO] [stderr] 12 |     pub const fn start() -> Self {
[INFO] [stderr]    |     ^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stderr] 
[INFO] [stderr] warning: method is never used: `prev`
[INFO] [stderr]   --> src/src.rs:43:5
[INFO] [stderr]    |
[INFO] [stderr] 43 |     pub const fn prev(self) -> Self {
[INFO] [stderr]    |     ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stderr] 
[INFO] [stderr] warning: method is never used: `extend_to`
[INFO] [stderr]    --> src/src.rs:108:5
[INFO] [stderr]     |
[INFO] [stderr] 108 |     pub fn extend_to(self, limit: SrcLoc) -> Self {
[INFO] [stderr]     |     ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stderr] 
[INFO] [stderr] warning: method is never used: `homogenize`
[INFO] [stderr]    --> src/src.rs:124:5
[INFO] [stderr]     |
[INFO] [stderr] 124 |     pub fn homogenize(self, other: Self) -> Self {
[INFO] [stderr]     |     ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stderr] 
[INFO] [stderr] warning: method is never used: `recursive_type`
[INFO] [stderr]   --> src/error.rs:61:5
[INFO] [stderr]    |
[INFO] [stderr] 61 |     pub fn recursive_type(a: Node<TypeInfo>) -> Self {
[INFO] [stderr]    |     ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stderr] 
[INFO] [stderr] warning: variant is never constructed: `RecursiveType`
[INFO] [stderr]    --> src/error.rs:186:5
[INFO] [stderr]     |
[INFO] [stderr] 186 |     RecursiveType(Node<TypeInfo>),
[INFO] [stderr]     |     ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stderr] 
[INFO] [stderr] warning: method is never used: `is_complex`
[INFO] [stderr]    --> src/hir.rs:206:5
[INFO] [stderr]     |
[INFO] [stderr] 206 |     pub fn is_complex(&self) -> bool {
[INFO] [stderr]     |     ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stderr] 
[INFO] [stderr] warning: method is never used: `set_global`
[INFO] [stderr]    --> src/hir.rs:389:5
[INFO] [stderr]     |
[INFO] [stderr] 389 |     pub fn set_global(&mut self, name: LocalIntern<String>, item: (Vec<TypeParam>, RefCell<Node<TypeInfo>>)) {
[INFO] [stderr]     |     ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stderr] 
[INFO] [stderr] warning: variant is never constructed: `String`
[INFO] [stderr]   --> src/ast.rs:15:5
[INFO] [stderr]    |
[INFO] [stderr] 15 |     String(LocalIntern<String>),
[INFO] [stderr]    |     ^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stderr] 
[INFO] [stderr] warning: method is never used: `parts`
[INFO] [stderr]   --> src/ast.rs:27:5
[INFO] [stderr]    |
[INFO] [stderr] 27 |     pub fn parts(&self) -> &[Ident] {
[INFO] [stderr]    |     ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stderr] 
[INFO] [stderr] warning: variant is never constructed: `Eq`
[INFO] [stderr]   --> src/ast.rs:54:5
[INFO] [stderr]    |
[INFO] [stderr] 54 |     Eq,
[INFO] [stderr]    |     ^^
[INFO] [stderr] 
[INFO] [stderr] warning: variant is never constructed: `Less`
[INFO] [stderr]   --> src/ast.rs:55:5
[INFO] [stderr]    |
[INFO] [stderr] 55 |     Less,
[INFO] [stderr]    |     ^^^^
[INFO] [stderr] 
[INFO] [stderr] warning: variant is never constructed: `More`
[INFO] [stderr]   --> src/ast.rs:56:5
[INFO] [stderr]    |
[INFO] [stderr] 56 |     More,
[INFO] [stderr]    |     ^^^^
[INFO] [stderr] 
[INFO] [stderr] warning: variant is never constructed: `LessEq`
[INFO] [stderr]   --> src/ast.rs:57:5
[INFO] [stderr]    |
[INFO] [stderr] 57 |     LessEq,
[INFO] [stderr]    |     ^^^^^^
[INFO] [stderr] 
[INFO] [stderr] warning: variant is never constructed: `MoreEq`
[INFO] [stderr]   --> src/ast.rs:58:5
[INFO] [stderr]    |
[INFO] [stderr] 58 |     MoreEq,
[INFO] [stderr]    |     ^^^^^^
[INFO] [stderr] 
[INFO] [stderr] warning: variant is never constructed: `Join`
[INFO] [stderr]   --> src/ast.rs:60:5
[INFO] [stderr]    |
[INFO] [stderr] 60 |     Join,
[INFO] [stderr]    |     ^^^^
[INFO] [stderr] 
[INFO] [stderr] warning: variant is never constructed: `Apply`
[INFO] [stderr]   --> src/ast.rs:62:5
[INFO] [stderr]    |
[INFO] [stderr] 62 |     Apply,
[INFO] [stderr]    |     ^^^^^
[INFO] [stderr] 
[INFO] [stderr] warning: variant is never constructed: `Wildcard`
[INFO] [stderr]   --> src/ast.rs:67:5
[INFO] [stderr]    |
[INFO] [stderr] 67 |     Wildcard,
[INFO] [stderr]    |     ^^^^^^^^
[INFO] [stderr] 
[INFO] [stderr] warning: variant is never constructed: `Literal`
[INFO] [stderr]   --> src/ast.rs:68:5
[INFO] [stderr]    |
[INFO] [stderr] 68 |     Literal(Literal),
[INFO] [stderr]    |     ^^^^^^^^^^^^^^^^
[INFO] [stderr] 
[INFO] [stderr] warning: variant is never constructed: `List`
[INFO] [stderr]   --> src/ast.rs:70:5
[INFO] [stderr]    |
[INFO] [stderr] 70 |     List(Vec<SrcNode<Pat>>),
[INFO] [stderr]    |     ^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stderr] 
[INFO] [stderr] warning: variant is never constructed: `ListFront`
[INFO] [stderr]   --> src/ast.rs:71:5
[INFO] [stderr]    |
[INFO] [stderr] 71 |     ListFront(Vec<SrcNode<Pat>>),
[INFO] [stderr]    |     ^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stderr] 
[INFO] [stderr] warning: variant is never constructed: `ListBack`
[INFO] [stderr]   --> src/ast.rs:72:5
[INFO] [stderr]    |
[INFO] [stderr] 72 |     ListBack(Vec<SrcNode<Pat>>),
[INFO] [stderr]    |     ^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stderr] 
[INFO] [stderr] warning: variant is never constructed: `Tuple`
[INFO] [stderr]   --> src/ast.rs:73:5
[INFO] [stderr]    |
[INFO] [stderr] 73 |     Tuple(Vec<SrcNode<Pat>>),
[INFO] [stderr]    |     ^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stderr] 
[INFO] [stderr] warning: variant is never constructed: `Ident`
[INFO] [stderr]   --> src/ast.rs:78:5
[INFO] [stderr]    |
[INFO] [stderr] 78 |     Ident(Ident),
[INFO] [stderr]    |     ^^^^^^^^^^^^
[INFO] [stderr] 
[INFO] [stderr] warning: variant is never constructed: `Complex`
[INFO] [stderr]   --> src/ast.rs:79:5
[INFO] [stderr]    |
[INFO] [stderr] 79 |     Complex(SrcNode<Type>, Vec<SrcNode<Type>>),
[INFO] [stderr]    |     ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stderr] 
[INFO] [stderr] warning: variant is never constructed: `Tuple`
[INFO] [stderr]   --> src/ast.rs:80:5
[INFO] [stderr]    |
[INFO] [stderr] 80 |     Tuple(Vec<SrcNode<Type>>),
[INFO] [stderr]    |     ^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stderr] 
[INFO] [stderr] warning: variant is never constructed: `Func`
[INFO] [stderr]   --> src/ast.rs:81:5
[INFO] [stderr]    |
[INFO] [stderr] 81 |     Func(SrcNode<Type>, SrcNode<Type>),
[INFO] [stderr]    |     ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stderr] 
[INFO] [stderr] warning: variant is never constructed: `Match`
[INFO] [stderr]   --> src/ast.rs:91:5
[INFO] [stderr]    |
[INFO] [stderr] 91 |     Match(SrcNode<Expr>, Vec<(SrcNode<Pat>, SrcNode<Expr>)>),
[INFO] [stderr]    |     ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stderr] 
[INFO] [stderr] warning: variant is never constructed: `Num`
[INFO] [stderr]   --> src/ty.rs:12:5
[INFO] [stderr]    |
[INFO] [stderr] 12 |     Num,
[INFO] [stderr]    |     ^^^
[INFO] [stderr] 
[INFO] [stderr] warning: variant is never constructed: `Bool`
[INFO] [stderr]   --> src/ty.rs:13:5
[INFO] [stderr]    |
[INFO] [stderr] 13 |     Bool,
[INFO] [stderr]    |     ^^^^
[INFO] [stderr] 
[INFO] [stderr] warning: variant is never constructed: `Local`
[INFO] [stderr]   --> src/ty.rs:34:5
[INFO] [stderr]    |
[INFO] [stderr] 34 |     Local(GenericId),
[INFO] [stderr]    |     ^^^^^^^^^^^^^^^^
[INFO] [stderr] 
[INFO] [stderr] warning: field is never read: `id`
[INFO] [stderr]   --> src/ty.rs:45:5
[INFO] [stderr]    |
[INFO] [stderr] 45 |     id: GenericId,
[INFO] [stderr]    |     ^^^^^^^^^^^^^
[INFO] [stderr] 
[INFO] [stderr] warning: field is never read: `constraints`
[INFO] [stderr]   --> src/ty.rs:46:5
[INFO] [stderr]    |
[INFO] [stderr] 46 |     constraints: Vec<TypeConstraint>,
[INFO] [stderr]    |     ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stderr] 
[INFO] [stderr] warning: variant is never constructed: `Sum`
[INFO] [stderr]   --> src/ty.rs:60:5
[INFO] [stderr]    |
[INFO] [stderr] 60 |     Sum(Vec<GenericParam>, HashMap<Ident, InnerDataType>),
[INFO] [stderr]    |     ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stderr] 
[INFO] [stderr] warning: variant is never constructed: `Tuple`
[INFO] [stderr]   --> src/ty.rs:61:5
[INFO] [stderr]    |
[INFO] [stderr] 61 |     Tuple(Vec<GenericParam>, Vec<InnerDataType>),
[INFO] [stderr]    |     ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stderr] 
[INFO] [stderr] warning: variant is never constructed: `Record`
[INFO] [stderr]   --> src/ty.rs:62:5
[INFO] [stderr]    |
[INFO] [stderr] 62 |     Record(Vec<GenericParam>, HashMap<Ident, InnerDataType>),
[INFO] [stderr]    |     ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stderr] 
[INFO] [stderr] warning: variant is never constructed: `MustImpl`
[INFO] [stderr]   --> src/ty.rs:97:5
[INFO] [stderr]    |
[INFO] [stderr] 97 |     MustImpl(TraitId, Vec<InnerDataType>),
[INFO] [stderr]    |     ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stderr] 
[INFO] [stderr] warning: field is never read: `params`
[INFO] [stderr]    --> src/ty.rs:132:5
[INFO] [stderr]     |
[INFO] [stderr] 132 |     params: Vec<GenericParam>,
[INFO] [stderr]     |     ^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stderr] 
[INFO] [stderr] warning: field is never read: `tr`
[INFO] [stderr]    --> src/ty.rs:133:5
[INFO] [stderr]     |
[INFO] [stderr] 133 |     tr: (TraitId, Vec<InnerDataType>),
[INFO] [stderr]     |     ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stderr] 
[INFO] [stderr] warning: field is never read: `target`
[INFO] [stderr]    --> src/ty.rs:134:5
[INFO] [stderr]     |
[INFO] [stderr] 134 |     target: InnerDataType,
[INFO] [stderr]     |     ^^^^^^^^^^^^^^^^^^^^^
[INFO] [stderr] 
[INFO] [stderr] warning: field is never read: `associated_types`
[INFO] [stderr]    --> src/ty.rs:135:5
[INFO] [stderr]     |
[INFO] [stderr] 135 |     associated_types: HashMap<Ident, InnerDataType>,
[INFO] [stderr]     |     ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stderr] 
[INFO] [stderr] warning: method is never used: `from_path`
[INFO] [stderr]   --> src/hir2.rs:61:5
[INFO] [stderr]    |
[INFO] [stderr] 61 |     pub fn from_path(path: &ast::Path) -> LocalIntern<Self> {
[INFO] [stderr]    |     ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stderr] 
[INFO] [stderr] warning: method is never used: `generate_mir_expr`
[INFO] [stderr]    --> src/hir2.rs:413:5
[INFO] [stderr]     |
[INFO] [stderr] 413 |     pub fn generate_mir_expr(&self, expr: &InferNode<Expr>) -> Result<TypeNode<mir::Expr>, Error> {
[INFO] [stderr]     |     ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stderr] 
[INFO] [stderr] warning: method is never used: `generate_mir`
[INFO] [stderr]    --> src/hir2.rs:417:5
[INFO] [stderr]     |
[INFO] [stderr] 417 |     pub fn generate_mir(&self) -> Result<mir::Module, Error> {
[INFO] [stderr]     |     ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stderr] 
[INFO] [stderr] warning: type alias is never used: `Ident`
[INFO] [stderr]   --> src/mir.rs:10:1
[INFO] [stderr]    |
[INFO] [stderr] 10 | type Ident = LocalIntern<String>;
[INFO] [stderr]    | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stderr] 
[INFO] [stderr] warning: enum is never used: `RawType`
[INFO] [stderr]   --> src/mir.rs:16:10
[INFO] [stderr]    |
[INFO] [stderr] 16 | pub enum RawType {
[INFO] [stderr]    |          ^^^^^^^
[INFO] [stderr] 
[INFO] [stderr] warning: variant is never constructed: `GetGlobal`
[INFO] [stderr]   --> src/mir.rs:25:5
[INFO] [stderr]    |
[INFO] [stderr] 25 |     GetGlobal(LocalIntern<Path>),
[INFO] [stderr]    |     ^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stderr] 
[INFO] [stderr] warning: variant is never constructed: `Unary`
[INFO] [stderr]   --> src/mir.rs:27:5
[INFO] [stderr]    |
[INFO] [stderr] 27 |     Unary(Unary, TypeNode<Expr>),
[INFO] [stderr]    |     ^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stderr] 
[INFO] [stderr] warning: variant is never constructed: `Binary`
[INFO] [stderr]   --> src/mir.rs:29:5
[INFO] [stderr]    |
[INFO] [stderr] 29 |     Binary(Binary, TypeNode<Expr>, TypeNode<Expr>),
[INFO] [stderr]    |     ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stderr] 
[INFO] [stderr] warning: variant is never constructed: `Call`
[INFO] [stderr]   --> src/mir.rs:31:5
[INFO] [stderr]    |
[INFO] [stderr] 31 |     Call(TypeNode<Expr>, Vec<TypeNode<Expr>>),
[INFO] [stderr]    |     ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stderr] 
[INFO] [stderr] warning: variant is never constructed: `MakeFunc`
[INFO] [stderr]   --> src/mir.rs:33:5
[INFO] [stderr]    |
[INFO] [stderr] 33 |     MakeFunc(Vec<TypeNode<Expr>>, TypeNode<Expr>),
[INFO] [stderr]    |     ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stderr] 
[INFO] [stderr] warning: field is never read: `defs`
[INFO] [stderr]   --> src/mir.rs:38:5
[INFO] [stderr]    |
[INFO] [stderr] 38 |     defs: HashMap<LocalIntern<Path>, TypeNode<Expr>>,
[INFO] [stderr]    |     ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stderr] 
[INFO] [stderr] warning: method is never used: `with_def`
[INFO] [stderr]   --> src/mir.rs:42:5
[INFO] [stderr]    |
[INFO] [stderr] 42 |     pub fn with_def(mut self, name: LocalIntern<Path>, expr: TypeNode<Expr>) -> Self {
[INFO] [stderr]    |     ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stderr] 
[INFO] [stderr] warning: method is never used: `ty`
[INFO] [stderr]   --> src/node2.rs:59:5
[INFO] [stderr]    |
[INFO] [stderr] 59 |     pub fn ty(&self) -> &Type {
[INFO] [stderr]    |     ^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stderr] 
[INFO] [stderr] warning: type alias is never used: `RawTypeNode`
[INFO] [stderr]   --> src/node2.rs:66:1
[INFO] [stderr]    |
[INFO] [stderr] 66 | pub type RawTypeNode<T> = Node<T, RawType>;
[INFO] [stderr]    | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stderr] 
[INFO] [stderr] warning: method is never used: `ty`
[INFO] [stderr]   --> src/node2.rs:69:5
[INFO] [stderr]    |
[INFO] [stderr] 69 |     pub fn ty(&self) -> &RawType {
[INFO] [stderr]    |     ^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stderr] 
[INFO] [stderr] warning: variable does not need to be mutable
[INFO] [stderr]    --> src/hir.rs:513:13
[INFO] [stderr]     |
[INFO] [stderr] 513 |         let mut scope = Scope::Global(self.decls
[INFO] [stderr]     |             ----^^^^^
[INFO] [stderr]     |             |
[INFO] [stderr]     |             help: remove this `mut`
[INFO] [stderr] 
[INFO] [stderr] warning: variant is never constructed: `Brace`
[INFO] [stderr]   --> src/lex.rs:59:5
[INFO] [stderr]    |
[INFO] [stderr] 59 |     Brace,
[INFO] [stderr]    |     ^^^^^
[INFO] [stderr]    |
[INFO] [stderr]    = note: `#[warn(dead_code)]` on by default
[INFO] [stderr] 
[INFO] [stderr] warning: method is never used: `at`
[INFO] [stderr]   --> src/parse.rs:31:5
[INFO] [stderr]    |
[INFO] [stderr] 31 |     pub fn at(self, region: SrcRegion) -> Node<Self> {
[INFO] [stderr]    |     ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stderr] 
[INFO] [stderr] warning: method is never used: `at`
[INFO] [stderr]   --> src/parse.rs:65:5
[INFO] [stderr]    |
[INFO] [stderr] 65 |     pub fn at(self, region: SrcRegion) -> Node<Self> {
[INFO] [stderr]    |     ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stderr] 
[INFO] [stderr] warning: method is never used: `name`
[INFO] [stderr]    --> src/parse.rs:107:5
[INFO] [stderr]     |
[INFO] [stderr] 107 |     pub fn name(&self) -> &Node<LocalIntern<String>> {
[INFO] [stderr]     |     ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stderr] 
[INFO] [stderr] warning: method is never used: `string`
[INFO] [stderr]    --> src/eval.rs:153:5
[INFO] [stderr]     |
[INFO] [stderr] 153 |     pub fn string(self) -> Option<String> {
[INFO] [stderr]     |     ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stderr] 
[INFO] [stderr] warning: method is never used: `list`
[INFO] [stderr]    --> src/eval.rs:161:5
[INFO] [stderr]     |
[INFO] [stderr] 161 |     pub fn list(self) -> Option<Vector<Self>> {
[INFO] [stderr]     |     ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stderr] 
[INFO] [stderr] warning: method is never used: `start`
[INFO] [stderr]   --> src/src.rs:12:5
[INFO] [stderr]    |
[INFO] [stderr] 12 |     pub const fn start() -> Self {
[INFO] [stderr]    |     ^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stderr] 
[INFO] [stderr] warning: method is never used: `prev`
[INFO] [stderr]   --> src/src.rs:43:5
[INFO] [stderr]    |
[INFO] [stderr] 43 |     pub const fn prev(self) -> Self {
[INFO] [stderr]    |     ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stderr] 
[INFO] [stderr] warning: method is never used: `extend_to`
[INFO] [stderr]    --> src/src.rs:108:5
[INFO] [stderr]     |
[INFO] [stderr] 108 |     pub fn extend_to(self, limit: SrcLoc) -> Self {
[INFO] [stderr]     |     ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stderr] 
[INFO] [stderr] warning: method is never used: `homogenize`
[INFO] [stderr]    --> src/src.rs:124:5
[INFO] [stderr]     |
[INFO] [stderr] 124 |     pub fn homogenize(self, other: Self) -> Self {
[INFO] [stderr]     |     ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stderr] 
[INFO] [stderr] warning: method is never used: `recursive_type`
[INFO] [stderr]   --> src/error.rs:61:5
[INFO] [stderr]    |
[INFO] [stderr] 61 |     pub fn recursive_type(a: Node<TypeInfo>) -> Self {
[INFO] [stderr]    |     ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stderr] 
[INFO] [stderr] warning: variant is never constructed: `RecursiveType`
[INFO] [stderr]    --> src/error.rs:186:5
[INFO] [stderr]     |
[INFO] [stderr] 186 |     RecursiveType(Node<TypeInfo>),
[INFO] [stderr]     |     ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stderr] 
[INFO] [stderr] warning: method is never used: `is_complex`
[INFO] [stderr]    --> src/hir.rs:206:5
[INFO] [stderr]     |
[INFO] [stderr] 206 |     pub fn is_complex(&self) -> bool {
[INFO] [stderr]     |     ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stderr] 
[INFO] [stderr] warning: method is never used: `set_global`
[INFO] [stderr]    --> src/hir.rs:389:5
[INFO] [stderr]     |
[INFO] [stderr] 389 |     pub fn set_global(&mut self, name: LocalIntern<String>, item: (Vec<TypeParam>, RefCell<Node<TypeInfo>>)) {
[INFO] [stderr]     |     ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stderr] 
[INFO] [stderr] warning: variant is never constructed: `String`
[INFO] [stderr]   --> src/ast.rs:15:5
[INFO] [stderr]    |
[INFO] [stderr] 15 |     String(LocalIntern<String>),
[INFO] [stderr]    |     ^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stderr] 
[INFO] [stderr] warning: method is never used: `parts`
[INFO] [stderr]   --> src/ast.rs:27:5
[INFO] [stderr]    |
[INFO] [stderr] 27 |     pub fn parts(&self) -> &[Ident] {
[INFO] [stderr]    |     ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stderr] 
[INFO] [stderr] warning: variant is never constructed: `Eq`
[INFO] [stderr]   --> src/ast.rs:54:5
[INFO] [stderr]    |
[INFO] [stderr] 54 |     Eq,
[INFO] [stderr]    |     ^^
[INFO] [stderr] 
[INFO] [stderr] warning: variant is never constructed: `Less`
[INFO] [stderr]   --> src/ast.rs:55:5
[INFO] [stderr]    |
[INFO] [stderr] 55 |     Less,
[INFO] [stderr]    |     ^^^^
[INFO] [stderr] 
[INFO] [stderr] warning: variant is never constructed: `More`
[INFO] [stderr]   --> src/ast.rs:56:5
[INFO] [stderr]    |
[INFO] [stderr] 56 |     More,
[INFO] [stderr]    |     ^^^^
[INFO] [stderr] 
[INFO] [stderr] warning: variant is never constructed: `LessEq`
[INFO] [stderr]   --> src/ast.rs:57:5
[INFO] [stderr]    |
[INFO] [stderr] 57 |     LessEq,
[INFO] [stderr]    |     ^^^^^^
[INFO] [stderr] 
[INFO] [stderr] warning: variant is never constructed: `MoreEq`
[INFO] [stderr]   --> src/ast.rs:58:5
[INFO] [stderr]    |
[INFO] [stderr] 58 |     MoreEq,
[INFO] [stderr]    |     ^^^^^^
[INFO] [stderr] 
[INFO] [stderr] warning: variant is never constructed: `Join`
[INFO] [stderr]   --> src/ast.rs:60:5
[INFO] [stderr]    |
[INFO] [stderr] 60 |     Join,
[INFO] [stderr]    |     ^^^^
[INFO] [stderr] 
[INFO] [stderr] warning: variant is never constructed: `Apply`
[INFO] [stderr]   --> src/ast.rs:62:5
[INFO] [stderr]    |
[INFO] [stderr] 62 |     Apply,
[INFO] [stderr]    |     ^^^^^
[INFO] [stderr] 
[INFO] [stderr] warning: variant is never constructed: `Wildcard`
[INFO] [stderr]   --> src/ast.rs:67:5
[INFO] [stderr]    |
[INFO] [stderr] 67 |     Wildcard,
[INFO] [stderr]    |     ^^^^^^^^
[INFO] [stderr] 
[INFO] [stderr] warning: variant is never constructed: `Literal`
[INFO] [stderr]   --> src/ast.rs:68:5
[INFO] [stderr]    |
[INFO] [stderr] 68 |     Literal(Literal),
[INFO] [stderr]    |     ^^^^^^^^^^^^^^^^
[INFO] [stderr] 
[INFO] [stderr] warning: variant is never constructed: `List`
[INFO] [stderr]   --> src/ast.rs:70:5
[INFO] [stderr]    |
[INFO] [stderr] 70 |     List(Vec<SrcNode<Pat>>),
[INFO] [stderr]    |     ^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stderr] 
[INFO] [stderr] warning: variant is never constructed: `ListFront`
[INFO] [stderr]   --> src/ast.rs:71:5
[INFO] [stderr]    |
[INFO] [stderr] 71 |     ListFront(Vec<SrcNode<Pat>>),
[INFO] [stderr]    |     ^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stderr] 
[INFO] [stderr] warning: variant is never constructed: `ListBack`
[INFO] [stderr]   --> src/ast.rs:72:5
[INFO] [stderr]    |
[INFO] [stderr] 72 |     ListBack(Vec<SrcNode<Pat>>),
[INFO] [stderr]    |     ^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stderr] 
[INFO] [stderr] warning: variant is never constructed: `Tuple`
[INFO] [stderr]   --> src/ast.rs:73:5
[INFO] [stderr]    |
[INFO] [stderr] 73 |     Tuple(Vec<SrcNode<Pat>>),
[INFO] [stderr]    |     ^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stderr] 
[INFO] [stderr] warning: variant is never constructed: `Ident`
[INFO] [stderr]   --> src/ast.rs:78:5
[INFO] [stderr]    |
[INFO] [stderr] 78 |     Ident(Ident),
[INFO] [stderr]    |     ^^^^^^^^^^^^
[INFO] [stderr] 
[INFO] [stderr] warning: variant is never constructed: `Complex`
[INFO] [stderr]   --> src/ast.rs:79:5
[INFO] [stderr]    |
[INFO] [stderr] 79 |     Complex(SrcNode<Type>, Vec<SrcNode<Type>>),
[INFO] [stderr]    |     ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stderr] 
[INFO] [stderr] warning: variant is never constructed: `Tuple`
[INFO] [stderr]   --> src/ast.rs:80:5
[INFO] [stderr]    |
[INFO] [stderr] 80 |     Tuple(Vec<SrcNode<Type>>),
[INFO] [stderr]    |     ^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stderr] 
[INFO] [stderr] warning: variant is never constructed: `Func`
[INFO] [stderr]   --> src/ast.rs:81:5
[INFO] [stderr]    |
[INFO] [stderr] 81 |     Func(SrcNode<Type>, SrcNode<Type>),
[INFO] [stderr]    |     ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stderr] 
[INFO] [stderr] warning: variant is never constructed: `Match`
[INFO] [stderr]   --> src/ast.rs:91:5
[INFO] [stderr]    |
[INFO] [stderr] 91 |     Match(SrcNode<Expr>, Vec<(SrcNode<Pat>, SrcNode<Expr>)>),
[INFO] [stderr]    |     ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stderr] 
[INFO] [stderr] warning: variant is never constructed: `Num`
[INFO] [stderr]   --> src/ty.rs:12:5
[INFO] [stderr]    |
[INFO] [stderr] 12 |     Num,
[INFO] [stderr]    |     ^^^
[INFO] [stderr] 
[INFO] [stderr] warning: variant is never constructed: `Bool`
[INFO] [stderr]   --> src/ty.rs:13:5
[INFO] [stderr]    |
[INFO] [stderr] 13 |     Bool,
[INFO] [stderr]    |     ^^^^
[INFO] [stderr] 
[INFO] [stderr] warning: variant is never constructed: `Local`
[INFO] [stderr]   --> src/ty.rs:34:5
[INFO] [stderr]    |
[INFO] [stderr] 34 |     Local(GenericId),
[INFO] [stderr]    |     ^^^^^^^^^^^^^^^^
[INFO] [stderr] 
[INFO] [stderr] warning: field is never read: `id`
[INFO] [stderr]   --> src/ty.rs:45:5
[INFO] [stderr]    |
[INFO] [stderr] 45 |     id: GenericId,
[INFO] [stderr]    |     ^^^^^^^^^^^^^
[INFO] [stderr] 
[INFO] [stderr] warning: field is never read: `constraints`
[INFO] [stderr]   --> src/ty.rs:46:5
[INFO] [stderr]    |
[INFO] [stderr] 46 |     constraints: Vec<TypeConstraint>,
[INFO] [stderr]    |     ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stderr] 
[INFO] [stderr] warning: variant is never constructed: `Sum`
[INFO] [stderr]   --> src/ty.rs:60:5
[INFO] [stderr]    |
[INFO] [stderr] 60 |     Sum(Vec<GenericParam>, HashMap<Ident, InnerDataType>),
[INFO] [stderr]    |     ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stderr] 
[INFO] [stderr] warning: variant is never constructed: `Tuple`
[INFO] [stderr]   --> src/ty.rs:61:5
[INFO] [stderr]    |
[INFO] [stderr] 61 |     Tuple(Vec<GenericParam>, Vec<InnerDataType>),
[INFO] [stderr]    |     ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stderr] 
[INFO] [stderr] warning: variant is never constructed: `Record`
[INFO] [stderr]   --> src/ty.rs:62:5
[INFO] [stderr]    |
[INFO] [stderr] 62 |     Record(Vec<GenericParam>, HashMap<Ident, InnerDataType>),
[INFO] [stderr]    |     ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stderr] 
[INFO] [stderr] warning: variant is never constructed: `MustImpl`
[INFO] [stderr]   --> src/ty.rs:97:5
[INFO] [stderr]    |
[INFO] [stderr] 97 |     MustImpl(TraitId, Vec<InnerDataType>),
[INFO] [stderr]    |     ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stderr] 
[INFO] [stderr] warning: field is never read: `params`
[INFO] [stderr]    --> src/ty.rs:132:5
[INFO] [stderr]     |
[INFO] [stderr] 132 |     params: Vec<GenericParam>,
[INFO] [stderr]     |     ^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stderr] 
[INFO] [stderr] warning: field is never read: `tr`
[INFO] [stderr]    --> src/ty.rs:133:5
[INFO] [stderr]     |
[INFO] [stderr] 133 |     tr: (TraitId, Vec<InnerDataType>),
[INFO] [stderr]     |     ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stderr] 
[INFO] [stderr] warning: field is never read: `target`
[INFO] [stderr]    --> src/ty.rs:134:5
[INFO] [stderr]     |
[INFO] [stderr] 134 |     target: InnerDataType,
[INFO] [stderr]     |     ^^^^^^^^^^^^^^^^^^^^^
[INFO] [stderr] 
[INFO] [stderr] warning: field is never read: `associated_types`
[INFO] [stderr]    --> src/ty.rs:135:5
[INFO] [stderr]     |
[INFO] [stderr] 135 |     associated_types: HashMap<Ident, InnerDataType>,
[INFO] [stderr]     |     ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stderr] 
[INFO] [stderr] warning: method is never used: `from_path`
[INFO] [stderr]   --> src/hir2.rs:61:5
[INFO] [stderr]    |
[INFO] [stderr] 61 |     pub fn from_path(path: &ast::Path) -> LocalIntern<Self> {
[INFO] [stderr]    |     ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stderr] 
[INFO] [stderr] warning: method is never used: `generate_mir_expr`
[INFO] [stderr]    --> src/hir2.rs:413:5
[INFO] [stderr]     |
[INFO] [stderr] 413 |     pub fn generate_mir_expr(&self, expr: &InferNode<Expr>) -> Result<TypeNode<mir::Expr>, Error> {
[INFO] [stderr]     |     ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stderr] 
[INFO] [stderr] warning: method is never used: `generate_mir`
[INFO] [stderr]    --> src/hir2.rs:417:5
[INFO] [stderr]     |
[INFO] [stderr] 417 |     pub fn generate_mir(&self) -> Result<mir::Module, Error> {
[INFO] [stderr]     |     ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stderr] 
[INFO] [stderr] warning: type alias is never used: `Ident`
[INFO] [stderr]   --> src/mir.rs:10:1
[INFO] [stderr]    |
[INFO] [stderr] 10 | type Ident = LocalIntern<String>;
[INFO] [stderr]    | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stderr] 
[INFO] [stderr] warning: enum is never used: `RawType`
[INFO] [stderr]   --> src/mir.rs:16:10
[INFO] [stderr]    |
[INFO] [stderr] 16 | pub enum RawType {
[INFO] [stderr]    |          ^^^^^^^
[INFO] [stderr] 
[INFO] [stderr] warning: variant is never constructed: `GetGlobal`
[INFO] [stderr]   --> src/mir.rs:25:5
[INFO] [stderr]    |
[INFO] [stderr] 25 |     GetGlobal(LocalIntern<Path>),
[INFO] [stderr]    |     ^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stderr] 
[INFO] [stderr] warning: variant is never constructed: `Unary`
[INFO] [stderr]   --> src/mir.rs:27:5
[INFO] [stderr]    |
[INFO] [stderr] 27 |     Unary(Unary, TypeNode<Expr>),
[INFO] [stderr]    |     ^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stderr] 
[INFO] [stderr] warning: variant is never constructed: `Binary`
[INFO] [stderr]   --> src/mir.rs:29:5
[INFO] [stderr]    |
[INFO] [stderr] 29 |     Binary(Binary, TypeNode<Expr>, TypeNode<Expr>),
[INFO] [stderr]    |     ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stderr] 
[INFO] [stderr] warning: variant is never constructed: `Call`
[INFO] [stderr]   --> src/mir.rs:31:5
[INFO] [stderr]    |
[INFO] [stderr] 31 |     Call(TypeNode<Expr>, Vec<TypeNode<Expr>>),
[INFO] [stderr]    |     ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stderr] 
[INFO] [stderr] warning: variant is never constructed: `MakeFunc`
[INFO] [stderr]   --> src/mir.rs:33:5
[INFO] [stderr]    |
[INFO] [stderr] 33 |     MakeFunc(Vec<TypeNode<Expr>>, TypeNode<Expr>),
[INFO] [stderr]    |     ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stderr] 
[INFO] [stderr] warning: field is never read: `defs`
[INFO] [stderr]   --> src/mir.rs:38:5
[INFO] [stderr]    |
[INFO] [stderr] 38 |     defs: HashMap<LocalIntern<Path>, TypeNode<Expr>>,
[INFO] [stderr]    |     ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stderr] 
[INFO] [stderr] warning: method is never used: `with_def`
[INFO] [stderr]   --> src/mir.rs:42:5
[INFO] [stderr]    |
[INFO] [stderr] 42 |     pub fn with_def(mut self, name: LocalIntern<Path>, expr: TypeNode<Expr>) -> Self {
[INFO] [stderr]    |     ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stderr] 
[INFO] [stderr] warning: method is never used: `ty`
[INFO] [stderr]   --> src/node2.rs:59:5
[INFO] [stderr]    |
[INFO] [stderr] 59 |     pub fn ty(&self) -> &Type {
[INFO] [stderr]    |     ^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stderr] 
[INFO] [stderr] warning: type alias is never used: `RawTypeNode`
[INFO] [stderr]   --> src/node2.rs:66:1
[INFO] [stderr]    |
[INFO] [stderr] 66 | pub type RawTypeNode<T> = Node<T, RawType>;
[INFO] [stderr]    | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stderr] 
[INFO] [stderr] warning: method is never used: `ty`
[INFO] [stderr]   --> src/node2.rs:69:5
[INFO] [stderr]    |
[INFO] [stderr] 69 |     pub fn ty(&self) -> &RawType {
[INFO] [stderr]    |     ^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stderr] 
[INFO] [stderr] warning: unused `std::result::Result` that must be used
[INFO] [stderr]    --> src/ty.rs:405:9
[INFO] [stderr]     |
[INFO] [stderr] 405 |         ctx.unify(b, d);
[INFO] [stderr]     |         ^^^^^^^^^^^^^^^^
[INFO] [stderr]     |
[INFO] [stderr]     = note: `#[warn(unused_must_use)]` on by default
[INFO] [stderr]     = note: this `Result` may be an `Err` variant, which should be handled
[INFO] [stderr] 
[INFO] [stderr] warning: unused `std::result::Result` that must be used
[INFO] [stderr]    --> src/ty.rs:427:9
[INFO] [stderr]     |
[INFO] [stderr] 427 |         ctx.unify(a, b);
[INFO] [stderr]     |         ^^^^^^^^^^^^^^^^
[INFO] [stderr]     |
[INFO] [stderr]     = note: this `Result` may be an `Err` variant, which should be handled
[INFO] [stderr] 
[INFO] [stderr] warning: unused `std::result::Result` that must be used
[INFO] [stderr]    --> src/ty.rs:428:9
[INFO] [stderr]     |
[INFO] [stderr] 428 |         ctx.unify(b, c);
[INFO] [stderr]     |         ^^^^^^^^^^^^^^^^
[INFO] [stderr]     |
[INFO] [stderr]     = note: this `Result` may be an `Err` variant, which should be handled
[INFO] [stderr] 
[INFO] [stderr]     Finished dev [unoptimized + debuginfo] target(s) in 24.56s
[INFO] running `"docker" "inspect" "7c1cc4a1ef36c1c1ddcc280994a4a5f1d0ba01c0013676a138f2843b04b74247"`
[INFO] running `"docker" "rm" "-f" "7c1cc4a1ef36c1c1ddcc280994a4a5f1d0ba01c0013676a138f2843b04b74247"`
[INFO] [stdout] 7c1cc4a1ef36c1c1ddcc280994a4a5f1d0ba01c0013676a138f2843b04b74247