[INFO] cloning repository https://github.com/lazear/types-and-programming-languages
[INFO] running `Command { std: "git" "-c" "credential.helper=" "-c" "credential.helper=/workspace/cargo-home/bin/git-credential-null" "clone" "--bare" "https://github.com/lazear/types-and-programming-languages" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Flazear%2Ftypes-and-programming-languages", kill_on_drop: false }`
[INFO] [stderr] Cloning into bare repository '/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Flazear%2Ftypes-and-programming-languages'...
[INFO] running `Command { std: "git" "rev-parse" "HEAD", kill_on_drop: false }`
[INFO] [stdout] 0787493713b41639878db206e76d82fa8f29a77a
[INFO] checking lazear/types-and-programming-languages against try#8e3afc79c11f48cb3acd1be5b3b7de98fe3f93a8 for pr-82565
[INFO] running `Command { std: "git" "clone" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Flazear%2Ftypes-and-programming-languages" "/workspace/builds/worker-12/source", kill_on_drop: false }`
[INFO] [stderr] Cloning into '/workspace/builds/worker-12/source'...
[INFO] [stderr] done.
[INFO] validating manifest of git repo https://github.com/lazear/types-and-programming-languages on toolchain 8e3afc79c11f48cb3acd1be5b3b7de98fe3f93a8
[INFO] running `Command { std: "/workspace/cargo-home/bin/cargo" "+8e3afc79c11f48cb3acd1be5b3b7de98fe3f93a8" "metadata" "--manifest-path" "Cargo.toml" "--no-deps", kill_on_drop: false }`
[INFO] started tweaking git repo https://github.com/lazear/types-and-programming-languages
[INFO] finished tweaking git repo https://github.com/lazear/types-and-programming-languages
[INFO] tweaked toml for git repo https://github.com/lazear/types-and-programming-languages written to /workspace/builds/worker-12/source/Cargo.toml
[INFO] crate git repo https://github.com/lazear/types-and-programming-languages already has a lockfile, it will not be regenerated
[INFO] running `Command { std: "/workspace/cargo-home/bin/cargo" "+8e3afc79c11f48cb3acd1be5b3b7de98fe3f93a8" "fetch" "--locked" "--manifest-path" "Cargo.toml", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-12/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-12/source:/opt/rustwide/workdir:ro,Z" "-v" "/var/lib/crater-agent-workspace/cargo-home:/opt/rustwide/cargo-home:ro,Z" "-v" "/var/lib/crater-agent-workspace/rustup-home:/opt/rustwide/rustup-home:ro,Z" "-e" "SOURCE_DIR=/opt/rustwide/workdir" "-e" "CARGO_TARGET_DIR=/opt/rustwide/target" "-e" "CARGO_HOME=/opt/rustwide/cargo-home" "-e" "RUSTUP_HOME=/opt/rustwide/rustup-home" "-w" "/opt/rustwide/workdir" "-m" "1610612736" "--user" "0:0" "--network" "none" "rustops/crates-build-env@sha256:f2f6bcd4b43ebee4e173f653a26493129bdb64017c85f916b780ca7fbdbaa79d" "/opt/rustwide/cargo-home/bin/cargo" "+8e3afc79c11f48cb3acd1be5b3b7de98fe3f93a8" "metadata" "--no-deps" "--format-version=1", kill_on_drop: false }`
[INFO] [stdout] 8e2317c953fd2ffe94791533ea0a6f5d056aa29369d0b5a98af58ec8eec6e366
[INFO] [stderr] WARNING: Your kernel does not support swap limit capabilities or the cgroup is not mounted. Memory limited without swap.
[INFO] running `Command { std: "docker" "start" "-a" "8e2317c953fd2ffe94791533ea0a6f5d056aa29369d0b5a98af58ec8eec6e366", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "inspect" "8e2317c953fd2ffe94791533ea0a6f5d056aa29369d0b5a98af58ec8eec6e366", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "8e2317c953fd2ffe94791533ea0a6f5d056aa29369d0b5a98af58ec8eec6e366", kill_on_drop: false }`
[INFO] [stdout] 8e2317c953fd2ffe94791533ea0a6f5d056aa29369d0b5a98af58ec8eec6e366
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-12/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-12/source:/opt/rustwide/workdir:ro,Z" "-v" "/var/lib/crater-agent-workspace/cargo-home:/opt/rustwide/cargo-home:ro,Z" "-v" "/var/lib/crater-agent-workspace/rustup-home:/opt/rustwide/rustup-home:ro,Z" "-e" "SOURCE_DIR=/opt/rustwide/workdir" "-e" "CARGO_TARGET_DIR=/opt/rustwide/target" "-e" "CARGO_INCREMENTAL=0" "-e" "RUST_BACKTRACE=full" "-e" "RUSTFLAGS=--cap-lints=forbid" "-e" "CARGO_HOME=/opt/rustwide/cargo-home" "-e" "RUSTUP_HOME=/opt/rustwide/rustup-home" "-w" "/opt/rustwide/workdir" "-m" "1610612736" "--user" "0:0" "--network" "none" "rustops/crates-build-env@sha256:f2f6bcd4b43ebee4e173f653a26493129bdb64017c85f916b780ca7fbdbaa79d" "/opt/rustwide/cargo-home/bin/cargo" "+8e3afc79c11f48cb3acd1be5b3b7de98fe3f93a8" "check" "--frozen" "--all" "--all-targets" "--message-format=json", kill_on_drop: false }`
[INFO] [stdout] fe5be776564fc7ebe053836e575f558d4ef01b72fe783063c1e6aa36647abdb2
[INFO] [stderr] WARNING: Your kernel does not support swap limit capabilities or the cgroup is not mounted. Memory limited without swap.
[INFO] running `Command { std: "docker" "start" "-a" "fe5be776564fc7ebe053836e575f558d4ef01b72fe783063c1e6aa36647abdb2", kill_on_drop: false }`
[INFO] [stderr]     Checking util v0.1.0 (/opt/rustwide/workdir/util)
[INFO] [stderr]     Checking dependent v0.1.0 (/opt/rustwide/workdir/x2_dependent)
[INFO] [stderr]     Checking bidir v0.1.0 (/opt/rustwide/workdir/x1_bidir)
[INFO] [stdout] warning: associated function is never used: `chunks`
[INFO] [stdout]   --> util/src/unsafe_arena.rs:81:8
[INFO] [stdout]    |
[INFO] [stdout] 81 |     fn chunks(&self) -> Vec<Info> {
[INFO] [stdout]    |        ^^^^^^
[INFO] [stdout]    |
[INFO] [stdout]    = note: `#[warn(dead_code)]` on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused macro definition
[INFO] [stdout]   --> x1_bidir/src/helpers.rs:39:1
[INFO] [stdout]    |
[INFO] [stdout] 39 | / macro_rules! karrow {
[INFO] [stdout] 40 | |     ($t1:expr, $t2:expr) => {
[INFO] [stdout] 41 | |         Kind::Arrow(Box::new($t1), Box::new($t2))
[INFO] [stdout] 42 | |     };
[INFO] [stdout] 43 | | }
[INFO] [stdout]    | |_^
[INFO] [stdout]    |
[INFO] [stdout]    = note: `#[warn(unused_macros)]` on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused import: `helpers::*`
[INFO] [stdout]    --> x1_bidir/src/main.rs:827:9
[INFO] [stdout]     |
[INFO] [stdout] 827 |     use helpers::*;
[INFO] [stdout]     |         ^^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout]     = note: `#[warn(unused_imports)]` on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unnecessary trailing semicolon
[INFO] [stdout]    --> x2_dependent/src/main.rs:215:6
[INFO] [stdout]     |
[INFO] [stdout] 215 |     };
[INFO] [stdout]     |      ^ help: remove this semicolon
[INFO] [stdout]     |
[INFO] [stdout]     = note: `#[warn(redundant_semicolons)]` on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unnecessary trailing semicolon
[INFO] [stdout]    --> x2_dependent/src/main.rs:215:6
[INFO] [stdout]     |
[INFO] [stdout] 215 |     };
[INFO] [stdout]     |      ^ help: remove this semicolon
[INFO] [stdout]     |
[INFO] [stdout]     = note: `#[warn(redundant_semicolons)]` on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused macro definition
[INFO] [stdout]   --> x1_bidir/src/helpers.rs:27:1
[INFO] [stdout]    |
[INFO] [stdout] 27 | / macro_rules! ife {
[INFO] [stdout] 28 | |     ($a:expr, $b:expr, $c:expr) => {
[INFO] [stdout] 29 | |         Expr::If(Box::new($a), Box::new($b), Box::new($c))
[INFO] [stdout] 30 | |     };
[INFO] [stdout] 31 | | }
[INFO] [stdout]    | |_^
[INFO] [stdout]    |
[INFO] [stdout]    = note: `#[warn(unused_macros)]` on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused macro definition
[INFO] [stdout]   --> x1_bidir/src/helpers.rs:39:1
[INFO] [stdout]    |
[INFO] [stdout] 39 | / macro_rules! karrow {
[INFO] [stdout] 40 | |     ($t1:expr, $t2:expr) => {
[INFO] [stdout] 41 | |         Kind::Arrow(Box::new($t1), Box::new($t2))
[INFO] [stdout] 42 | |     };
[INFO] [stdout] 43 | | }
[INFO] [stdout]    | |_^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused macro definition
[INFO] [stdout]   --> x1_bidir/src/helpers.rs:54:1
[INFO] [stdout]    |
[INFO] [stdout] 54 | / macro_rules! case {
[INFO] [stdout] 55 | |     ($ex:expr, $pat1:expr => $arm1:expr, $pat2:expr => $arm2:expr) => {
[INFO] [stdout] 56 | |         Expr::Case(
[INFO] [stdout] 57 | |             Box::new($ex),
[INFO] [stdout] ...  |
[INFO] [stdout] 67 | |     };
[INFO] [stdout] 68 | | }
[INFO] [stdout]    | |_^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused macro definition
[INFO] [stdout]   --> x1_bidir/src/helpers.rs:79:1
[INFO] [stdout]    |
[INFO] [stdout] 79 | / macro_rules! proj {
[INFO] [stdout] 80 | |     (l; $ex:expr) => {
[INFO] [stdout] 81 | |         Expr::Proj(LR::Left, Box::new($ex))
[INFO] [stdout] 82 | |     };
[INFO] [stdout] ...  |
[INFO] [stdout] 85 | |     };
[INFO] [stdout] 86 | | }
[INFO] [stdout]    | |_^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable does not need to be mutable
[INFO] [stdout]    --> x2_dependent/src/main.rs:168:16
[INFO] [stdout]     |
[INFO] [stdout] 168 | fn beta_reduce(mut term: Term) -> Term {
[INFO] [stdout]     |                ----^^^^
[INFO] [stdout]     |                |
[INFO] [stdout]     |                help: remove this `mut`
[INFO] [stdout]     |
[INFO] [stdout]     = note: `#[warn(unused_mut)]` on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable does not need to be mutable
[INFO] [stdout]    --> x2_dependent/src/main.rs:170:19
[INFO] [stdout]     |
[INFO] [stdout] 170 |         Term::App(mut abs, arg) => match (abs.normal(), arg.normal()) {
[INFO] [stdout]     |                   ----^^^
[INFO] [stdout]     |                   |
[INFO] [stdout]     |                   help: remove this `mut`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: associated function is never used: `whnf`
[INFO] [stdout]   --> x2_dependent/src/main.rs:21:8
[INFO] [stdout]    |
[INFO] [stdout] 21 |     fn whnf(&self) -> bool {
[INFO] [stdout]    |        ^^^^
[INFO] [stdout]    |
[INFO] [stdout]    = note: `#[warn(dead_code)]` on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable `S` should have a snake case name
[INFO] [stdout]    --> x2_dependent/src/main.rs:136:23
[INFO] [stdout]     |
[INFO] [stdout] 136 |             Term::Abs(S, t) => {
[INFO] [stdout]     |                       ^ help: convert the identifier to snake case (notice the capitalization): `s`
[INFO] [stdout]     |
[INFO] [stdout]     = note: `#[warn(non_snake_case)]` on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable `T` should have a snake case name
[INFO] [stdout]    --> x2_dependent/src/main.rs:138:21
[INFO] [stdout]     |
[INFO] [stdout] 138 |                 let T = self.with_bind(k.clone(), |f| f.type_of(&t))?;
[INFO] [stdout]     |                     ^ help: convert the identifier to snake case: `t`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable `S` should have a snake case name
[INFO] [stdout]    --> x2_dependent/src/main.rs:145:30
[INFO] [stdout]     |
[INFO] [stdout] 145 |                     Term::Pi(S, mut T) => {
[INFO] [stdout]     |                              ^ help: convert the identifier to snake case (notice the capitalization): `s`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable `T` should have a snake case name
[INFO] [stdout]    --> x2_dependent/src/main.rs:145:37
[INFO] [stdout]     |
[INFO] [stdout] 145 |                     Term::Pi(S, mut T) => {
[INFO] [stdout]     |                                     ^ help: convert the identifier to snake case: `t`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: value assigned to `new_cap` is never read
[INFO] [stdout]    --> util/src/unsafe_arena.rs:353:9
[INFO] [stdout]     |
[INFO] [stdout] 353 |         new_cap = cmp::max(new_cap, 0x1000 / mem::size_of::<usize>());
[INFO] [stdout]     |         ^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout]     = note: `#[warn(unused_assignments)]` on by default
[INFO] [stdout]     = help: maybe it is overwritten before being read?
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable does not need to be mutable
[INFO] [stdout]    --> x2_dependent/src/main.rs:168:16
[INFO] [stdout]     |
[INFO] [stdout] 168 | fn beta_reduce(mut term: Term) -> Term {
[INFO] [stdout]     |                ----^^^^
[INFO] [stdout]     |                |
[INFO] [stdout]     |                help: remove this `mut`
[INFO] [stdout]     |
[INFO] [stdout]     = note: `#[warn(unused_mut)]` on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable does not need to be mutable
[INFO] [stdout]    --> x2_dependent/src/main.rs:170:19
[INFO] [stdout]     |
[INFO] [stdout] 170 |         Term::App(mut abs, arg) => match (abs.normal(), arg.normal()) {
[INFO] [stdout]     |                   ----^^^
[INFO] [stdout]     |                   |
[INFO] [stdout]     |                   help: remove this `mut`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: associated function is never used: `whnf`
[INFO] [stdout]   --> x2_dependent/src/main.rs:21:8
[INFO] [stdout]    |
[INFO] [stdout] 21 |     fn whnf(&self) -> bool {
[INFO] [stdout]    |        ^^^^
[INFO] [stdout]    |
[INFO] [stdout]    = note: `#[warn(dead_code)]` on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable `S` should have a snake case name
[INFO] [stdout]    --> x2_dependent/src/main.rs:136:23
[INFO] [stdout]     |
[INFO] [stdout] 136 |             Term::Abs(S, t) => {
[INFO] [stdout]     |                       ^ help: convert the identifier to snake case (notice the capitalization): `s`
[INFO] [stdout]     |
[INFO] [stdout]     = note: `#[warn(non_snake_case)]` on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable `T` should have a snake case name
[INFO] [stdout]    --> x2_dependent/src/main.rs:138:21
[INFO] [stdout]     |
[INFO] [stdout] 138 |                 let T = self.with_bind(k.clone(), |f| f.type_of(&t))?;
[INFO] [stdout]     |                     ^ help: convert the identifier to snake case: `t`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable `S` should have a snake case name
[INFO] [stdout]    --> x2_dependent/src/main.rs:145:30
[INFO] [stdout]     |
[INFO] [stdout] 145 |                     Term::Pi(S, mut T) => {
[INFO] [stdout]     |                              ^ help: convert the identifier to snake case (notice the capitalization): `s`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable `T` should have a snake case name
[INFO] [stdout]    --> x2_dependent/src/main.rs:145:37
[INFO] [stdout]     |
[INFO] [stdout] 145 |                     Term::Pi(S, mut T) => {
[INFO] [stdout]     |                                     ^ help: convert the identifier to snake case: `t`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused `Result` that must be used
[INFO] [stdout]    --> x2_dependent/src/main.rs:227:5
[INFO] [stdout]     |
[INFO] [stdout] 227 |     dbg!(ctx.type_of(&tm));
[INFO] [stdout]     |     ^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout]     = note: `#[warn(unused_must_use)]` on by default
[INFO] [stdout]     = note: this `Result` may be an `Err` variant, which should be handled
[INFO] [stdout]     = note: this warning originates in a macro (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused return value of `std::mem::replace` that must be used
[INFO] [stdout]    --> util/src/arena.rs:204:17
[INFO] [stdout]     |
[INFO] [stdout] 204 |                 std::mem::replace(&mut self.data[i], prev);
[INFO] [stdout]     |                 ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout]     = note: `#[warn(unused_must_use)]` on by default
[INFO] [stdout]     = note: if you don't need the old value, you can just assign the new value directly
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused `Result` that must be used
[INFO] [stdout]    --> x2_dependent/src/main.rs:227:5
[INFO] [stdout]     |
[INFO] [stdout] 227 |     dbg!(ctx.type_of(&tm));
[INFO] [stdout]     |     ^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout]     = note: `#[warn(unused_must_use)]` on by default
[INFO] [stdout]     = note: this `Result` may be an `Err` variant, which should be handled
[INFO] [stdout]     = note: this warning originates in a macro (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused return value of `std::mem::replace` that must be used
[INFO] [stdout]    --> util/src/arena.rs:204:17
[INFO] [stdout]     |
[INFO] [stdout] 204 |                 std::mem::replace(&mut self.data[i], prev);
[INFO] [stdout]     |                 ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout]     = note: `#[warn(unused_must_use)]` on by default
[INFO] [stdout]     = note: if you don't need the old value, you can just assign the new value directly
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: 9 warnings emitted
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: 9 warnings emitted
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: 2 warnings emitted
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: 2 warnings emitted
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stderr]     Checking stlc v0.1.0 (/opt/rustwide/workdir/04_stlc)
[INFO] [stderr]     Checking recon v0.1.0 (/opt/rustwide/workdir/05_recon)
[INFO] [stderr]     Checking arith v0.1.0 (/opt/rustwide/workdir/01_arith)
[INFO] [stderr]     Checking lambda v0.1.0 (/opt/rustwide/workdir/02_lambda)
[INFO] [stderr]     Checking system_fw v0.1.0 (/opt/rustwide/workdir/07_system_fw)
[INFO] [stderr]     Checking system_f v0.1.0 (/opt/rustwide/workdir/06_system_f)
[INFO] [stderr]     Checking typedarith v0.1.0 (/opt/rustwide/workdir/03_typedarith)
[INFO] [stdout] warning: unreachable pattern
[INFO] [stdout]    --> x1_bidir/src/helpers.rs:164:13
[INFO] [stdout]     |
[INFO] [stdout] 164 |             _ => "".into(),
[INFO] [stdout]     |             ^
[INFO] [stdout]     |
[INFO] [stdout]     = note: `#[warn(unreachable_patterns)]` on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unreachable pattern
[INFO] [stdout]    --> x1_bidir/src/helpers.rs:164:13
[INFO] [stdout]     |
[INFO] [stdout] 164 |             _ => "".into(),
[INFO] [stdout]     |             ^
[INFO] [stdout]     |
[INFO] [stdout]     = note: `#[warn(unreachable_patterns)]` on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `k`
[INFO] [stdout]   --> x1_bidir/src/main.rs:67:28
[INFO] [stdout]    |
[INFO] [stdout] 67 |                 Type::Univ(k, a) => walk(a, vec),
[INFO] [stdout]    |                            ^ help: if this is intentional, prefix it with an underscore: `_k`
[INFO] [stdout]    |
[INFO] [stdout]    = note: `#[warn(unused_variables)]` on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `k`
[INFO] [stdout]   --> x1_bidir/src/main.rs:67:28
[INFO] [stdout]    |
[INFO] [stdout] 67 |                 Type::Univ(k, a) => walk(a, vec),
[INFO] [stdout]    |                            ^ help: if this is intentional, prefix it with an underscore: `_k`
[INFO] [stdout]    |
[INFO] [stdout]    = note: `#[warn(unused_variables)]` on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `k`
[INFO] [stdout]   --> x1_bidir/src/main.rs:68:27
[INFO] [stdout]    |
[INFO] [stdout] 68 |                 Type::Abs(k, a) => walk(a, vec),
[INFO] [stdout]    |                           ^ help: if this is intentional, prefix it with an underscore: `_k`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `k`
[INFO] [stdout]   --> x1_bidir/src/main.rs:68:27
[INFO] [stdout]    |
[INFO] [stdout] 68 |                 Type::Abs(k, a) => walk(a, vec),
[INFO] [stdout]    |                           ^ help: if this is intentional, prefix it with an underscore: `_k`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `k`
[INFO] [stdout]   --> x1_bidir/src/main.rs:97:28
[INFO] [stdout]    |
[INFO] [stdout] 97 |                 Type::Univ(k, a) => walk(a, c + 1, s),
[INFO] [stdout]    |                            ^ help: if this is intentional, prefix it with an underscore: `_k`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `k`
[INFO] [stdout]   --> x1_bidir/src/main.rs:97:28
[INFO] [stdout]    |
[INFO] [stdout] 97 |                 Type::Univ(k, a) => walk(a, c + 1, s),
[INFO] [stdout]    |                            ^ help: if this is intentional, prefix it with an underscore: `_k`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `k`
[INFO] [stdout]   --> x1_bidir/src/main.rs:98:27
[INFO] [stdout]    |
[INFO] [stdout] 98 |                 Type::Abs(k, a) => walk(a, c + 1, s),
[INFO] [stdout]    |                           ^ help: if this is intentional, prefix it with an underscore: `_k`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `k`
[INFO] [stdout]   --> x1_bidir/src/main.rs:98:27
[INFO] [stdout]    |
[INFO] [stdout] 98 |                 Type::Abs(k, a) => walk(a, c + 1, s),
[INFO] [stdout]    |                           ^ help: if this is intentional, prefix it with an underscore: `_k`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `k`
[INFO] [stdout]    --> x1_bidir/src/main.rs:127:28
[INFO] [stdout]     |
[INFO] [stdout] 127 |                 Type::Univ(k, a) => walk(a, c + 1, f),
[INFO] [stdout]     |                            ^ help: if this is intentional, prefix it with an underscore: `_k`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `k`
[INFO] [stdout]    --> x1_bidir/src/main.rs:127:28
[INFO] [stdout]     |
[INFO] [stdout] 127 |                 Type::Univ(k, a) => walk(a, c + 1, f),
[INFO] [stdout]     |                            ^ help: if this is intentional, prefix it with an underscore: `_k`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `k`
[INFO] [stdout]    --> x1_bidir/src/main.rs:128:27
[INFO] [stdout]     |
[INFO] [stdout] 128 |                 Type::Abs(k, a) => walk(a, c + 1, f),
[INFO] [stdout]     |                           ^ help: if this is intentional, prefix it with an underscore: `_k`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `k`
[INFO] [stdout]    --> x1_bidir/src/main.rs:128:27
[INFO] [stdout]     |
[INFO] [stdout] 128 |                 Type::Abs(k, a) => walk(a, c + 1, f),
[INFO] [stdout]     |                           ^ help: if this is intentional, prefix it with an underscore: `_k`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `g`
[INFO] [stdout]    --> x1_bidir/src/main.rs:802:9
[INFO] [stdout]     |
[INFO] [stdout] 802 |     let g = app!(h, abs!(var!(0)));
[INFO] [stdout]     |         ^ help: if this is intentional, prefix it with an underscore: `_g`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `g`
[INFO] [stdout]    --> x1_bidir/src/main.rs:802:9
[INFO] [stdout]     |
[INFO] [stdout] 802 |     let g = app!(h, abs!(var!(0)));
[INFO] [stdout]     |         ^ help: if this is intentional, prefix it with an underscore: `_g`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `f`
[INFO] [stdout]    --> x1_bidir/src/main.rs:806:9
[INFO] [stdout]     |
[INFO] [stdout] 806 |     let f = ann!(Expr::Int(99), ty);
[INFO] [stdout]     |         ^ help: if this is intentional, prefix it with an underscore: `_f`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `f`
[INFO] [stdout]    --> x1_bidir/src/main.rs:806:9
[INFO] [stdout]     |
[INFO] [stdout] 806 |     let f = ann!(Expr::Int(99), ty);
[INFO] [stdout]     |         ^ help: if this is intentional, prefix it with an underscore: `_f`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `ty`
[INFO] [stdout]    --> x1_bidir/src/main.rs:358:27
[INFO] [stdout]     |
[INFO] [stdout] 358 |     fn kinding(&mut self, ty: &Type) -> Option<Kind> {
[INFO] [stdout]     |                           ^^ help: if this is intentional, prefix it with an underscore: `_ty`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `ty`
[INFO] [stdout]    --> x1_bidir/src/main.rs:358:27
[INFO] [stdout]     |
[INFO] [stdout] 358 |     fn kinding(&mut self, ty: &Type) -> Option<Kind> {
[INFO] [stdout]     |                           ^^ help: if this is intentional, prefix it with an underscore: `_ty`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `v`
[INFO] [stdout]    --> x1_bidir/src/main.rs:365:25
[INFO] [stdout]     |
[INFO] [stdout] 365 |             Type::Exist(v) => Ok(()),
[INFO] [stdout]     |                         ^ help: if this is intentional, prefix it with an underscore: `_v`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `v`
[INFO] [stdout]    --> x1_bidir/src/main.rs:365:25
[INFO] [stdout]     |
[INFO] [stdout] 365 |             Type::Exist(v) => Ok(()),
[INFO] [stdout]     |                         ^ help: if this is intentional, prefix it with an underscore: `_v`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `k`
[INFO] [stdout]    --> x1_bidir/src/main.rs:432:19
[INFO] [stdout]     |
[INFO] [stdout] 432 |             (Univ(k, a), b) => {
[INFO] [stdout]     |                   ^ help: if this is intentional, prefix it with an underscore: `_k`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `k`
[INFO] [stdout]    --> x1_bidir/src/main.rs:432:19
[INFO] [stdout]     |
[INFO] [stdout] 432 |             (Univ(k, a), b) => {
[INFO] [stdout]     |                   ^ help: if this is intentional, prefix it with an underscore: `_k`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `k`
[INFO] [stdout]    --> x1_bidir/src/main.rs:717:24
[INFO] [stdout]     |
[INFO] [stdout] 717 |             Type::Univ(k, a) => {
[INFO] [stdout]     |                        ^ help: if this is intentional, prefix it with an underscore: `_k`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `k`
[INFO] [stdout]    --> x1_bidir/src/main.rs:717:24
[INFO] [stdout]     |
[INFO] [stdout] 717 |             Type::Univ(k, a) => {
[INFO] [stdout]     |                        ^ help: if this is intentional, prefix it with an underscore: `_k`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `k`
[INFO] [stdout]    --> x1_bidir/src/helpers.rs:117:24
[INFO] [stdout]     |
[INFO] [stdout] 117 |             Type::Univ(k, ty) => format!("forall {}. {}", vc, walk(ty, map)),
[INFO] [stdout]     |                        ^ help: if this is intentional, prefix it with an underscore: `_k`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `k`
[INFO] [stdout]    --> x1_bidir/src/helpers.rs:117:24
[INFO] [stdout]     |
[INFO] [stdout] 117 |             Type::Univ(k, ty) => format!("forall {}. {}", vc, walk(ty, map)),
[INFO] [stdout]     |                        ^ help: if this is intentional, prefix it with an underscore: `_k`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `ty`
[INFO] [stdout]    --> x1_bidir/src/helpers.rs:151:36
[INFO] [stdout]     |
[INFO] [stdout] 151 |             Expr::Inj(LR::Left, e, ty) => format!("inl {}", walk(e, map)),
[INFO] [stdout]     |                                    ^^ help: if this is intentional, prefix it with an underscore: `_ty`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `ty`
[INFO] [stdout]    --> x1_bidir/src/helpers.rs:151:36
[INFO] [stdout]     |
[INFO] [stdout] 151 |             Expr::Inj(LR::Left, e, ty) => format!("inl {}", walk(e, map)),
[INFO] [stdout]     |                                    ^^ help: if this is intentional, prefix it with an underscore: `_ty`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `ty`
[INFO] [stdout]    --> x1_bidir/src/helpers.rs:152:37
[INFO] [stdout]     |
[INFO] [stdout] 152 |             Expr::Inj(LR::Right, e, ty) => format!("inr {}", walk(e, map)),
[INFO] [stdout]     |                                     ^^ help: if this is intentional, prefix it with an underscore: `_ty`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variant is never constructed: `Arrow`
[INFO] [stdout]   --> x1_bidir/src/main.rs:14:5
[INFO] [stdout]    |
[INFO] [stdout] 14 |     Arrow(Box<Kind>, Box<Kind>),
[INFO] [stdout]    |     ^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout]    |
[INFO] [stdout]    = note: `#[warn(dead_code)]` on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variant is never constructed: `Right`
[INFO] [stdout]    --> x1_bidir/src/main.rs:150:5
[INFO] [stdout]     |
[INFO] [stdout] 150 |     Right,
[INFO] [stdout]     |     ^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variant is never constructed: `Unit`
[INFO] [stdout]    --> x1_bidir/src/main.rs:157:5
[INFO] [stdout]     |
[INFO] [stdout] 157 |     Unit,
[INFO] [stdout]     |     ^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `ty`
[INFO] [stdout]    --> x1_bidir/src/helpers.rs:152:37
[INFO] [stdout]     |
[INFO] [stdout] 152 |             Expr::Inj(LR::Right, e, ty) => format!("inr {}", walk(e, map)),
[INFO] [stdout]     |                                     ^^ help: if this is intentional, prefix it with an underscore: `_ty`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variant is never constructed: `False`
[INFO] [stdout]    --> x1_bidir/src/main.rs:159:5
[INFO] [stdout]     |
[INFO] [stdout] 159 |     False,
[INFO] [stdout]     |     ^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variant is never constructed: `If`
[INFO] [stdout]    --> x1_bidir/src/main.rs:160:5
[INFO] [stdout]     |
[INFO] [stdout] 160 |     If(Box<Expr>, Box<Expr>, Box<Expr>),
[INFO] [stdout]     |     ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variant is never constructed: `Case`
[INFO] [stdout]    --> x1_bidir/src/main.rs:173:5
[INFO] [stdout]     |
[INFO] [stdout] 173 |     Case(Box<Expr>, Arm, Arm),
[INFO] [stdout]     |     ^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variant is never constructed: `Proj`
[INFO] [stdout]    --> x1_bidir/src/main.rs:177:5
[INFO] [stdout]     |
[INFO] [stdout] 177 |     Proj(LR, Box<Expr>),
[INFO] [stdout]     |     ^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: 27 warnings emitted
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variant is never constructed: `Arrow`
[INFO] [stdout]   --> x1_bidir/src/main.rs:14:5
[INFO] [stdout]    |
[INFO] [stdout] 14 |     Arrow(Box<Kind>, Box<Kind>),
[INFO] [stdout]    |     ^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout]    |
[INFO] [stdout]    = note: `#[warn(dead_code)]` on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: 19 warnings emitted
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused import: `Duration`
[INFO] [stdout]    --> 05_recon/src/main.rs:224:21
[INFO] [stdout]     |
[INFO] [stdout] 224 |     use std::time::{Duration, Instant};
[INFO] [stdout]     |                     ^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout]     = note: `#[warn(unused_imports)]` on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused import: `Primitive`
[INFO] [stdout]  --> 06_system_f/src/terms/visit.rs:2:31
[INFO] [stdout]   |
[INFO] [stdout] 2 | use crate::terms::{Arm, Kind, Primitive, Term};
[INFO] [stdout]   |                               ^^^^^^^^^
[INFO] [stdout]   |
[INFO] [stdout]   = note: `#[warn(unused_imports)]` on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused import: `Primitive`
[INFO] [stdout]  --> 06_system_f/src/terms/visit.rs:2:31
[INFO] [stdout]   |
[INFO] [stdout] 2 | use crate::terms::{Arm, Kind, Primitive, Term};
[INFO] [stdout]   |                               ^^^^^^^^^
[INFO] [stdout]   |
[INFO] [stdout]   = note: `#[warn(unused_imports)]` on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused import: `Duration`
[INFO] [stdout]    --> 05_recon/src/main.rs:224:21
[INFO] [stdout]     |
[INFO] [stdout] 224 |     use std::time::{Duration, Instant};
[INFO] [stdout]     |                     ^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout]     = note: `#[warn(unused_imports)]` on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused import: `super::Type::*`
[INFO] [stdout]  --> 07_system_fw/src/hir/bidir.rs:5:5
[INFO] [stdout]   |
[INFO] [stdout] 5 | use super::Type::*;
[INFO] [stdout]   |     ^^^^^^^^^^^^^^
[INFO] [stdout]   |
[INFO] [stdout]   = note: `#[warn(unused_imports)]` on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused import: `super::Type::*`
[INFO] [stdout]  --> 07_system_fw/src/hir/bidir.rs:5:5
[INFO] [stdout]   |
[INFO] [stdout] 5 | use super::Type::*;
[INFO] [stdout]   |     ^^^^^^^^^^^^^^
[INFO] [stdout]   |
[INFO] [stdout]   = note: `#[warn(unused_imports)]` on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused imports: `Field`, `Record`
[INFO] [stdout]  --> 07_system_fw/src/typecheck.rs:3:30
[INFO] [stdout]   |
[INFO] [stdout] 3 | use crate::terms::{Constant, Field, Kind, Record, Term};
[INFO] [stdout]   |                              ^^^^^        ^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: use of deprecated associated function `std::sync::atomic::AtomicBool::compare_and_swap`: Use `compare_exchange` or `compare_exchange_weak` instead
[INFO] [stdout]   --> 05_recon/src/mutation/write_once.rs:45:23
[INFO] [stdout]    |
[INFO] [stdout] 45 |         if !self.init.compare_and_swap(false, true, Ordering::Acquire) {
[INFO] [stdout]    |                       ^^^^^^^^^^^^^^^^
[INFO] [stdout]    |
[INFO] [stdout]    = note: `#[warn(deprecated)]` on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: use of deprecated associated function `std::sync::atomic::AtomicBool::compare_and_swap`: Use `compare_exchange` or `compare_exchange_weak` instead
[INFO] [stdout]   --> 05_recon/src/mutation/write_once.rs:57:23
[INFO] [stdout]    |
[INFO] [stdout] 57 |         if !self.init.compare_and_swap(false, false, Ordering::Release) {
[INFO] [stdout]    |                       ^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: use of deprecated associated function `std::sync::atomic::AtomicBool::compare_and_swap`: Use `compare_exchange` or `compare_exchange_weak` instead
[INFO] [stdout]   --> 05_recon/src/mutation/write_once.rs:45:23
[INFO] [stdout]    |
[INFO] [stdout] 45 |         if !self.init.compare_and_swap(false, true, Ordering::Acquire) {
[INFO] [stdout]    |                       ^^^^^^^^^^^^^^^^
[INFO] [stdout]    |
[INFO] [stdout]    = note: `#[warn(deprecated)]` on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: use of deprecated associated function `std::sync::atomic::AtomicBool::compare_and_swap`: Use `compare_exchange` or `compare_exchange_weak` instead
[INFO] [stdout]   --> 05_recon/src/mutation/write_once.rs:57:23
[INFO] [stdout]    |
[INFO] [stdout] 57 |         if !self.init.compare_and_swap(false, false, Ordering::Release) {
[INFO] [stdout]    |                       ^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `input`
[INFO] [stdout]    --> 05_recon/src/main.rs:226:9
[INFO] [stdout]     |
[INFO] [stdout] 226 |     let input = "fn m. let y = m in let x = y true in x";
[INFO] [stdout]     |         ^^^^^ help: if this is intentional, prefix it with an underscore: `_input`
[INFO] [stdout]     |
[INFO] [stdout]     = note: `#[warn(unused_variables)]` on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `start`
[INFO] [stdout]    --> 05_recon/src/parser.rs:263:13
[INFO] [stdout]     |
[INFO] [stdout] 263 |         let start = self.expect(TokenKind::Lambda)?;
[INFO] [stdout]     |             ^^^^^ help: if this is intentional, prefix it with an underscore: `_start`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `start`
[INFO] [stdout]    --> 05_recon/src/parser.rs:277:13
[INFO] [stdout]     |
[INFO] [stdout] 277 |         let start = self.expect(TokenKind::Let)?;
[INFO] [stdout]     |             ^^^^^ help: if this is intentional, prefix it with an underscore: `_start`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `span`
[INFO] [stdout]    --> 05_recon/src/parser.rs:294:13
[INFO] [stdout]     |
[INFO] [stdout] 294 |         let span = self.span;
[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]    --> 05_recon/src/parser.rs:302:27
[INFO] [stdout]     |
[INFO] [stdout] 302 |         let Token { kind, span } = self.consume()?;
[INFO] [stdout]     |                           ^^^^ help: try ignoring the field: `span: _`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `sp`
[INFO] [stdout]    --> 05_recon/src/parser.rs:352:21
[INFO] [stdout]     |
[INFO] [stdout] 352 |                 let sp = self.consume()?.span;
[INFO] [stdout]     |                     ^^ help: if this is intentional, prefix it with an underscore: `_sp`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `vars`
[INFO] [stdout]   --> 05_recon/src/types.rs:99:26
[INFO] [stdout]    |
[INFO] [stdout] 99 |             Scheme::Poly(vars, ty) => ty.ftv(),
[INFO] [stdout]    |                          ^^^^ help: if this is intentional, prefix it with an underscore: `_vars`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `input`
[INFO] [stdout]    --> 05_recon/src/main.rs:226:9
[INFO] [stdout]     |
[INFO] [stdout] 226 |     let input = "fn m. let y = m in let x = y true in x";
[INFO] [stdout]     |         ^^^^^ help: if this is intentional, prefix it with an underscore: `_input`
[INFO] [stdout]     |
[INFO] [stdout]     = note: `#[warn(unused_variables)]` on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `start`
[INFO] [stdout]    --> 05_recon/src/parser.rs:263:13
[INFO] [stdout]     |
[INFO] [stdout] 263 |         let start = self.expect(TokenKind::Lambda)?;
[INFO] [stdout]     |             ^^^^^ help: if this is intentional, prefix it with an underscore: `_start`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `start`
[INFO] [stdout]    --> 05_recon/src/parser.rs:277:13
[INFO] [stdout]     |
[INFO] [stdout] 277 |         let start = self.expect(TokenKind::Let)?;
[INFO] [stdout]     |             ^^^^^ help: if this is intentional, prefix it with an underscore: `_start`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `span`
[INFO] [stdout]    --> 05_recon/src/parser.rs:294:13
[INFO] [stdout]     |
[INFO] [stdout] 294 |         let span = self.span;
[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]    --> 05_recon/src/parser.rs:302:27
[INFO] [stdout]     |
[INFO] [stdout] 302 |         let Token { kind, span } = self.consume()?;
[INFO] [stdout]     |                           ^^^^ help: try ignoring the field: `span: _`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `sp`
[INFO] [stdout]    --> 05_recon/src/parser.rs:352:21
[INFO] [stdout]     |
[INFO] [stdout] 352 |                 let sp = self.consume()?.span;
[INFO] [stdout]     |                     ^^ help: if this is intentional, prefix it with an underscore: `_sp`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `vars`
[INFO] [stdout]   --> 05_recon/src/types.rs:99:26
[INFO] [stdout]    |
[INFO] [stdout] 99 |             Scheme::Poly(vars, ty) => ty.ftv(),
[INFO] [stdout]    |                          ^^^^ help: if this is intentional, prefix it with an underscore: `_vars`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: associated function is never used: `is_var`
[INFO] [stdout]    --> 05_recon/src/disjoint.rs:146:8
[INFO] [stdout]     |
[INFO] [stdout] 146 |     fn is_var(&self) -> bool {
[INFO] [stdout]     |        ^^^^^^
[INFO] [stdout]     |
[INFO] [stdout]     = note: `#[warn(dead_code)]` on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: type alias is never used: `WriteOnceCell`
[INFO] [stdout]   --> 05_recon/src/mutation/write_once.rs:11:1
[INFO] [stdout]    |
[INFO] [stdout] 11 | pub type WriteOnceCell<T> = Rc<WriteOnce<T>>;
[INFO] [stdout]    | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: associated function is never used: `new`
[INFO] [stdout]   --> 05_recon/src/main.rs:56:8
[INFO] [stdout]    |
[INFO] [stdout] 56 |     fn new(expr: TypedTerm, ty: Type) -> SystemF {
[INFO] [stdout]    |        ^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: associated function is never used: `de`
[INFO] [stdout]   --> 05_recon/src/main.rs:60:8
[INFO] [stdout]    |
[INFO] [stdout] 60 |     fn de(self) -> (TypedTerm, Type) {
[INFO] [stdout]    |        ^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: associated function is never used: `fresh`
[INFO] [stdout]   --> 05_recon/src/main.rs:66:8
[INFO] [stdout]    |
[INFO] [stdout] 66 |     fn fresh(&mut self) -> TypeVar {
[INFO] [stdout]    |        ^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: associated function is never used: `ftv`
[INFO] [stdout]   --> 05_recon/src/main.rs:72:8
[INFO] [stdout]    |
[INFO] [stdout] 72 |     fn ftv(&self) -> HashSet<TypeVar> {
[INFO] [stdout]    |        ^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: associated function is never used: `get_scheme`
[INFO] [stdout]   --> 05_recon/src/main.rs:80:8
[INFO] [stdout]    |
[INFO] [stdout] 80 |     fn get_scheme(&self, index: usize) -> Option<&Scheme> {
[INFO] [stdout]    |        ^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: associated function is never used: `generalize`
[INFO] [stdout]   --> 05_recon/src/main.rs:89:8
[INFO] [stdout]    |
[INFO] [stdout] 89 |     fn generalize(&mut self, ty: Type) -> Scheme {
[INFO] [stdout]    |        ^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: associated function is never used: `instantiate`
[INFO] [stdout]   --> 05_recon/src/main.rs:99:8
[INFO] [stdout]    |
[INFO] [stdout] 99 |     fn instantiate(&mut self, scheme: Scheme) -> Type {
[INFO] [stdout]    |        ^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: associated function is never used: `push`
[INFO] [stdout]    --> 05_recon/src/main.rs:114:8
[INFO] [stdout]     |
[INFO] [stdout] 114 |     fn push(&mut self, ty: (Type, Type)) {
[INFO] [stdout]     |        ^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: associated function is never used: `elaborate`
[INFO] [stdout]    --> 05_recon/src/main.rs:120:8
[INFO] [stdout]     |
[INFO] [stdout] 120 |     fn elaborate(&mut self, term: &Term) -> SystemF {
[INFO] [stdout]     |        ^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: associated function is never used: `subst`
[INFO] [stdout]    --> 05_recon/src/main.rs:201:8
[INFO] [stdout]     |
[INFO] [stdout] 201 |     fn subst(self, s: &HashMap<TypeVar, Type>) -> TypedTerm {
[INFO] [stdout]     |        ^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: associated function is never used: `subst`
[INFO] [stdout]    --> 05_recon/src/main.rs:214:8
[INFO] [stdout]     |
[INFO] [stdout] 214 |     fn subst(self, s: &HashMap<TypeVar, Type>) -> SystemF {
[INFO] [stdout]     |        ^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: associated function is never used: `is_var`
[INFO] [stdout]    --> 05_recon/src/disjoint.rs:146:8
[INFO] [stdout]     |
[INFO] [stdout] 146 |     fn is_var(&self) -> bool {
[INFO] [stdout]     |        ^^^^^^
[INFO] [stdout]     |
[INFO] [stdout]     = note: `#[warn(dead_code)]` on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: type alias is never used: `WriteOnceCell`
[INFO] [stdout]   --> 05_recon/src/mutation/write_once.rs:11:1
[INFO] [stdout]    |
[INFO] [stdout] 11 | pub type WriteOnceCell<T> = Rc<WriteOnce<T>>;
[INFO] [stdout]    | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: associated function is never used: `new`
[INFO] [stdout]   --> 05_recon/src/main.rs:56:8
[INFO] [stdout]    |
[INFO] [stdout] 56 |     fn new(expr: TypedTerm, ty: Type) -> SystemF {
[INFO] [stdout]    |        ^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: associated function is never used: `de`
[INFO] [stdout]   --> 05_recon/src/main.rs:60:8
[INFO] [stdout]    |
[INFO] [stdout] 60 |     fn de(self) -> (TypedTerm, Type) {
[INFO] [stdout]    |        ^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: associated function is never used: `fresh`
[INFO] [stdout]   --> 05_recon/src/main.rs:66:8
[INFO] [stdout]    |
[INFO] [stdout] 66 |     fn fresh(&mut self) -> TypeVar {
[INFO] [stdout]    |        ^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: associated function is never used: `ftv`
[INFO] [stdout]   --> 05_recon/src/main.rs:72:8
[INFO] [stdout]    |
[INFO] [stdout] 72 |     fn ftv(&self) -> HashSet<TypeVar> {
[INFO] [stdout]    |        ^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: associated function is never used: `get_scheme`
[INFO] [stdout]   --> 05_recon/src/main.rs:80:8
[INFO] [stdout]    |
[INFO] [stdout] 80 |     fn get_scheme(&self, index: usize) -> Option<&Scheme> {
[INFO] [stdout]    |        ^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: associated function is never used: `generalize`
[INFO] [stdout]   --> 05_recon/src/main.rs:89:8
[INFO] [stdout]    |
[INFO] [stdout] 89 |     fn generalize(&mut self, ty: Type) -> Scheme {
[INFO] [stdout]    |        ^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: associated function is never used: `instantiate`
[INFO] [stdout]   --> 05_recon/src/main.rs:99:8
[INFO] [stdout]    |
[INFO] [stdout] 99 |     fn instantiate(&mut self, scheme: Scheme) -> Type {
[INFO] [stdout]    |        ^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: associated function is never used: `push`
[INFO] [stdout]    --> 05_recon/src/main.rs:114:8
[INFO] [stdout]     |
[INFO] [stdout] 114 |     fn push(&mut self, ty: (Type, Type)) {
[INFO] [stdout]     |        ^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: associated function is never used: `elaborate`
[INFO] [stdout]    --> 05_recon/src/main.rs:120:8
[INFO] [stdout]     |
[INFO] [stdout] 120 |     fn elaborate(&mut self, term: &Term) -> SystemF {
[INFO] [stdout]     |        ^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: associated function is never used: `subst`
[INFO] [stdout]    --> 05_recon/src/main.rs:201:8
[INFO] [stdout]     |
[INFO] [stdout] 201 |     fn subst(self, s: &HashMap<TypeVar, Type>) -> TypedTerm {
[INFO] [stdout]     |        ^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: associated function is never used: `subst`
[INFO] [stdout]    --> 05_recon/src/main.rs:214:8
[INFO] [stdout]     |
[INFO] [stdout] 214 |     fn subst(self, s: &HashMap<TypeVar, Type>) -> SystemF {
[INFO] [stdout]     |        ^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: 23 warnings emitted
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: 23 warnings emitted
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: 1 warning emitted
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `name`
[INFO] [stdout]    --> 07_system_fw/src/elaborate.rs:128:14
[INFO] [stdout]     |
[INFO] [stdout] 128 |         for (name, key) in &self.constructors {
[INFO] [stdout]     |              ^^^^ help: if this is intentional, prefix it with an underscore: `_name`
[INFO] [stdout]     |
[INFO] [stdout]     = note: `#[warn(unused_variables)]` on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `var`
[INFO] [stdout]    --> 07_system_fw/src/elaborate.rs:482:46
[INFO] [stdout]     |
[INFO] [stdout] 482 |         let ty = tyvars.iter().fold(ty, |ty, var| {
[INFO] [stdout]     |                                              ^^^ help: if this is intentional, prefix it with an underscore: `_var`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `var`
[INFO] [stdout]    --> 07_system_fw/src/elaborate.rs:559:46
[INFO] [stdout]     |
[INFO] [stdout] 559 |         let ty = tyvars.iter().fold(ty, |ty, var| {
[INFO] [stdout]     |                                              ^^^ help: if this is intentional, prefix it with an underscore: `_var`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `d1`
[INFO] [stdout]    --> 07_system_fw/src/elaborate.rs:784:27
[INFO] [stdout]     |
[INFO] [stdout] 784 |             DeclKind::And(d1, d2) => unimplemented!(),
[INFO] [stdout]     |                           ^^ help: if this is intentional, prefix it with an underscore: `_d1`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `d2`
[INFO] [stdout]    --> 07_system_fw/src/elaborate.rs:784:31
[INFO] [stdout]     |
[INFO] [stdout] 784 |             DeclKind::And(d1, d2) => unimplemented!(),
[INFO] [stdout]     |                               ^^ help: if this is intentional, prefix it with an underscore: `_d2`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `ty`
[INFO] [stdout]    --> 07_system_fw/src/elaborate.rs:843:35
[INFO] [stdout]     |
[INFO] [stdout] 843 |             PatKind::Ascribe(pat, ty) => self.visit_pat(&pat),
[INFO] [stdout]     |                                   ^^ help: if this is intentional, prefix it with an underscore: `_ty`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `con`
[INFO] [stdout]    --> 07_system_fw/src/elaborate.rs:844:34
[INFO] [stdout]     |
[INFO] [stdout] 844 |             PatKind::Application(con, arg) => self.visit_pat(&arg),
[INFO] [stdout]     |                                  ^^^ help: if this is intentional, prefix it with an underscore: `_con`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `ty`
[INFO] [stdout]    --> 07_system_fw/src/elaborate.rs:851:41
[INFO] [stdout]     |
[INFO] [stdout] 851 |             DeclKind::Datatype(_, name, ty) => self.types.push(&name),
[INFO] [stdout]     |                                         ^^ help: if this is intentional, prefix it with an underscore: `_ty`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `ty`
[INFO] [stdout]    --> 07_system_fw/src/elaborate.rs:852:37
[INFO] [stdout]     |
[INFO] [stdout] 852 |             DeclKind::Type(_, name, ty) => self.types.push(&name),
[INFO] [stdout]     |                                     ^^ help: if this is intentional, prefix it with an underscore: `_ty`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `expr`
[INFO] [stdout]    --> 07_system_fw/src/elaborate.rs:853:37
[INFO] [stdout]     |
[INFO] [stdout] 853 |             DeclKind::Value(_, pat, expr) => self.visit_pat(pat),
[INFO] [stdout]     |                                     ^^^^ help: if this is intentional, prefix it with an underscore: `_expr`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `arms`
[INFO] [stdout]    --> 07_system_fw/src/elaborate.rs:858:41
[INFO] [stdout]     |
[INFO] [stdout] 858 |             DeclKind::Function(_, name, arms) => self.values.push(&name),
[INFO] [stdout]     |                                         ^^^^ help: if this is intentional, prefix it with an underscore: `_arms`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `usize`
[INFO] [stdout]   --> 07_system_fw/src/hir/bidir.rs:64:17
[INFO] [stdout]    |
[INFO] [stdout] 64 |             Int(usize) => Ok(Type::Int),
[INFO] [stdout]    |                 ^^^^^ help: if this is intentional, prefix it with an underscore: `_usize`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `id`
[INFO] [stdout]   --> 07_system_fw/src/hir/bidir.rs:66:24
[INFO] [stdout]    |
[INFO] [stdout] 66 |             ProgramVar(id) => unimplemented!(),
[INFO] [stdout]    |                        ^^ help: if this is intentional, prefix it with an underscore: `_id`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `id`
[INFO] [stdout]   --> 07_system_fw/src/hir/bidir.rs:69:20
[INFO] [stdout]    |
[INFO] [stdout] 69 |             Constr(id, tag) => unimplemented!(),
[INFO] [stdout]    |                    ^^ help: if this is intentional, prefix it with an underscore: `_id`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `tag`
[INFO] [stdout]   --> 07_system_fw/src/hir/bidir.rs:69:24
[INFO] [stdout]    |
[INFO] [stdout] 69 |             Constr(id, tag) => unimplemented!(),
[INFO] [stdout]    |                        ^^^ help: if this is intentional, prefix it with an underscore: `_tag`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `id`
[INFO] [stdout]   --> 07_system_fw/src/hir/bidir.rs:70:22
[INFO] [stdout]    |
[INFO] [stdout] 70 |             Deconstr(id, tag) => unimplemented!(),
[INFO] [stdout]    |                      ^^ help: if this is intentional, prefix it with an underscore: `_id`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `tag`
[INFO] [stdout]   --> 07_system_fw/src/hir/bidir.rs:70:26
[INFO] [stdout]    |
[INFO] [stdout] 70 |             Deconstr(id, tag) => unimplemented!(),
[INFO] [stdout]    |                          ^^^ help: if this is intentional, prefix it with an underscore: `_tag`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `e1`
[INFO] [stdout]   --> 07_system_fw/src/hir/bidir.rs:71:16
[INFO] [stdout]    |
[INFO] [stdout] 71 |             If(e1, e2, e3) => unimplemented!(),
[INFO] [stdout]    |                ^^ help: if this is intentional, prefix it with an underscore: `_e1`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `e2`
[INFO] [stdout]   --> 07_system_fw/src/hir/bidir.rs:71:20
[INFO] [stdout]    |
[INFO] [stdout] 71 |             If(e1, e2, e3) => unimplemented!(),
[INFO] [stdout]    |                    ^^ help: if this is intentional, prefix it with an underscore: `_e2`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `e3`
[INFO] [stdout]   --> 07_system_fw/src/hir/bidir.rs:71:24
[INFO] [stdout]    |
[INFO] [stdout] 71 |             If(e1, e2, e3) => unimplemented!(),
[INFO] [stdout]    |                        ^^ help: if this is intentional, prefix it with an underscore: `_e3`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `ex`
[INFO] [stdout]   --> 07_system_fw/src/hir/bidir.rs:73:21
[INFO] [stdout]    |
[INFO] [stdout] 73 |             Abs(ty, ex) => {
[INFO] [stdout]    |                     ^^ help: if this is intentional, prefix it with an underscore: `_ex`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `e1`
[INFO] [stdout]   --> 07_system_fw/src/hir/bidir.rs:77:17
[INFO] [stdout]    |
[INFO] [stdout] 77 |             App(e1, e2) => unimplemented!(),
[INFO] [stdout]    |                 ^^ help: if this is intentional, prefix it with an underscore: `_e1`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `e2`
[INFO] [stdout]   --> 07_system_fw/src/hir/bidir.rs:77:21
[INFO] [stdout]    |
[INFO] [stdout] 77 |             App(e1, e2) => unimplemented!(),
[INFO] [stdout]    |                     ^^ help: if this is intentional, prefix it with an underscore: `_e2`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `k`
[INFO] [stdout]   --> 07_system_fw/src/hir/bidir.rs:78:19
[INFO] [stdout]    |
[INFO] [stdout] 78 |             TyAbs(k, ex) => unimplemented!(),
[INFO] [stdout]    |                   ^ help: if this is intentional, prefix it with an underscore: `_k`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `ex`
[INFO] [stdout]   --> 07_system_fw/src/hir/bidir.rs:78:22
[INFO] [stdout]    |
[INFO] [stdout] 78 |             TyAbs(k, ex) => unimplemented!(),
[INFO] [stdout]    |                      ^^ help: if this is intentional, prefix it with an underscore: `_ex`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `ex`
[INFO] [stdout]   --> 07_system_fw/src/hir/bidir.rs:79:19
[INFO] [stdout]    |
[INFO] [stdout] 79 |             TyApp(ex, ty) => unimplemented!(),
[INFO] [stdout]    |                   ^^ help: if this is intentional, prefix it with an underscore: `_ex`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `ty`
[INFO] [stdout]   --> 07_system_fw/src/hir/bidir.rs:79:23
[INFO] [stdout]    |
[INFO] [stdout] 79 |             TyApp(ex, ty) => unimplemented!(),
[INFO] [stdout]    |                       ^^ help: if this is intentional, prefix it with an underscore: `_ty`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `ex`
[INFO] [stdout]   --> 07_system_fw/src/hir/bidir.rs:95:24
[INFO] [stdout]    |
[INFO] [stdout] 95 |             RecordProj(ex, idx) => unimplemented!(),
[INFO] [stdout]    |                        ^^ help: if this is intentional, prefix it with an underscore: `_ex`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `idx`
[INFO] [stdout]   --> 07_system_fw/src/hir/bidir.rs:95:28
[INFO] [stdout]    |
[INFO] [stdout] 95 |             RecordProj(ex, idx) => unimplemented!(),
[INFO] [stdout]    |                            ^^^ help: if this is intentional, prefix it with an underscore: `_idx`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `ex`
[INFO] [stdout]   --> 07_system_fw/src/hir/bidir.rs:96:23
[INFO] [stdout]    |
[INFO] [stdout] 96 |             TupleProj(ex, idx) => unimplemented!(),
[INFO] [stdout]    |                       ^^ help: if this is intentional, prefix it with an underscore: `_ex`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `idx`
[INFO] [stdout]   --> 07_system_fw/src/hir/bidir.rs:96:27
[INFO] [stdout]    |
[INFO] [stdout] 96 |             TupleProj(ex, idx) => unimplemented!(),
[INFO] [stdout]    |                           ^^^ help: if this is intentional, prefix it with an underscore: `_idx`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `ex`
[INFO] [stdout]   --> 07_system_fw/src/hir/bidir.rs:97:18
[INFO] [stdout]    |
[INFO] [stdout] 97 |             Case(ex, arms) => unimplemented!(),
[INFO] [stdout]    |                  ^^ help: if this is intentional, prefix it with an underscore: `_ex`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `arms`
[INFO] [stdout]   --> 07_system_fw/src/hir/bidir.rs:97:22
[INFO] [stdout]    |
[INFO] [stdout] 97 |             Case(ex, arms) => unimplemented!(),
[INFO] [stdout]    |                      ^^^^ help: if this is intentional, prefix it with an underscore: `_arms`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `decls`
[INFO] [stdout]   --> 07_system_fw/src/hir/bidir.rs:98:17
[INFO] [stdout]    |
[INFO] [stdout] 98 |             Let(decls, ex) => unimplemented!(),
[INFO] [stdout]    |                 ^^^^^ help: if this is intentional, prefix it with an underscore: `_decls`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `ex`
[INFO] [stdout]   --> 07_system_fw/src/hir/bidir.rs:98:24
[INFO] [stdout]    |
[INFO] [stdout] 98 |             Let(decls, ex) => unimplemented!(),
[INFO] [stdout]    |                        ^^ help: if this is intentional, prefix it with an underscore: `_ex`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `ex`
[INFO] [stdout]   --> 07_system_fw/src/hir/bidir.rs:99:17
[INFO] [stdout]    |
[INFO] [stdout] 99 |             Fix(ex) => unimplemented!(),
[INFO] [stdout]    |                 ^^ help: if this is intentional, prefix it with an underscore: `_ex`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: 1 warning emitted
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `name`
[INFO] [stdout]    --> 07_system_fw/src/elaborate.rs:128:14
[INFO] [stdout]     |
[INFO] [stdout] 128 |         for (name, key) in &self.constructors {
[INFO] [stdout]     |              ^^^^ help: if this is intentional, prefix it with an underscore: `_name`
[INFO] [stdout]     |
[INFO] [stdout]     = note: `#[warn(unused_variables)]` on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `var`
[INFO] [stdout]    --> 07_system_fw/src/elaborate.rs:482:46
[INFO] [stdout]     |
[INFO] [stdout] 482 |         let ty = tyvars.iter().fold(ty, |ty, var| {
[INFO] [stdout]     |                                              ^^^ help: if this is intentional, prefix it with an underscore: `_var`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `var`
[INFO] [stdout]    --> 07_system_fw/src/elaborate.rs:559:46
[INFO] [stdout]     |
[INFO] [stdout] 559 |         let ty = tyvars.iter().fold(ty, |ty, var| {
[INFO] [stdout]     |                                              ^^^ help: if this is intentional, prefix it with an underscore: `_var`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `d1`
[INFO] [stdout]    --> 07_system_fw/src/elaborate.rs:784:27
[INFO] [stdout]     |
[INFO] [stdout] 784 |             DeclKind::And(d1, d2) => unimplemented!(),
[INFO] [stdout]     |                           ^^ help: if this is intentional, prefix it with an underscore: `_d1`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `d2`
[INFO] [stdout]    --> 07_system_fw/src/elaborate.rs:784:31
[INFO] [stdout]     |
[INFO] [stdout] 784 |             DeclKind::And(d1, d2) => unimplemented!(),
[INFO] [stdout]     |                               ^^ help: if this is intentional, prefix it with an underscore: `_d2`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `ty`
[INFO] [stdout]    --> 07_system_fw/src/elaborate.rs:843:35
[INFO] [stdout]     |
[INFO] [stdout] 843 |             PatKind::Ascribe(pat, ty) => self.visit_pat(&pat),
[INFO] [stdout]     |                                   ^^ help: if this is intentional, prefix it with an underscore: `_ty`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `con`
[INFO] [stdout]    --> 07_system_fw/src/elaborate.rs:844:34
[INFO] [stdout]     |
[INFO] [stdout] 844 |             PatKind::Application(con, arg) => self.visit_pat(&arg),
[INFO] [stdout]     |                                  ^^^ help: if this is intentional, prefix it with an underscore: `_con`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `ty`
[INFO] [stdout]    --> 07_system_fw/src/elaborate.rs:851:41
[INFO] [stdout]     |
[INFO] [stdout] 851 |             DeclKind::Datatype(_, name, ty) => self.types.push(&name),
[INFO] [stdout]     |                                         ^^ help: if this is intentional, prefix it with an underscore: `_ty`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `ty`
[INFO] [stdout]    --> 07_system_fw/src/elaborate.rs:852:37
[INFO] [stdout]     |
[INFO] [stdout] 852 |             DeclKind::Type(_, name, ty) => self.types.push(&name),
[INFO] [stdout]     |                                     ^^ help: if this is intentional, prefix it with an underscore: `_ty`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `expr`
[INFO] [stdout]    --> 07_system_fw/src/elaborate.rs:853:37
[INFO] [stdout]     |
[INFO] [stdout] 853 |             DeclKind::Value(_, pat, expr) => self.visit_pat(pat),
[INFO] [stdout]     |                                     ^^^^ help: if this is intentional, prefix it with an underscore: `_expr`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `arms`
[INFO] [stdout]    --> 07_system_fw/src/elaborate.rs:858:41
[INFO] [stdout]     |
[INFO] [stdout] 858 |             DeclKind::Function(_, name, arms) => self.values.push(&name),
[INFO] [stdout]     |                                         ^^^^ help: if this is intentional, prefix it with an underscore: `_arms`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `usize`
[INFO] [stdout]   --> 07_system_fw/src/hir/bidir.rs:64:17
[INFO] [stdout]    |
[INFO] [stdout] 64 |             Int(usize) => Ok(Type::Int),
[INFO] [stdout]    |                 ^^^^^ help: if this is intentional, prefix it with an underscore: `_usize`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `id`
[INFO] [stdout]   --> 07_system_fw/src/hir/bidir.rs:66:24
[INFO] [stdout]    |
[INFO] [stdout] 66 |             ProgramVar(id) => unimplemented!(),
[INFO] [stdout]    |                        ^^ help: if this is intentional, prefix it with an underscore: `_id`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `id`
[INFO] [stdout]   --> 07_system_fw/src/hir/bidir.rs:69:20
[INFO] [stdout]    |
[INFO] [stdout] 69 |             Constr(id, tag) => unimplemented!(),
[INFO] [stdout]    |                    ^^ help: if this is intentional, prefix it with an underscore: `_id`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `tag`
[INFO] [stdout]   --> 07_system_fw/src/hir/bidir.rs:69:24
[INFO] [stdout]    |
[INFO] [stdout] 69 |             Constr(id, tag) => unimplemented!(),
[INFO] [stdout]    |                        ^^^ help: if this is intentional, prefix it with an underscore: `_tag`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `id`
[INFO] [stdout]   --> 07_system_fw/src/hir/bidir.rs:70:22
[INFO] [stdout]    |
[INFO] [stdout] 70 |             Deconstr(id, tag) => unimplemented!(),
[INFO] [stdout]    |                      ^^ help: if this is intentional, prefix it with an underscore: `_id`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `tag`
[INFO] [stdout]   --> 07_system_fw/src/hir/bidir.rs:70:26
[INFO] [stdout]    |
[INFO] [stdout] 70 |             Deconstr(id, tag) => unimplemented!(),
[INFO] [stdout]    |                          ^^^ help: if this is intentional, prefix it with an underscore: `_tag`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `e1`
[INFO] [stdout]   --> 07_system_fw/src/hir/bidir.rs:71:16
[INFO] [stdout]    |
[INFO] [stdout] 71 |             If(e1, e2, e3) => unimplemented!(),
[INFO] [stdout]    |                ^^ help: if this is intentional, prefix it with an underscore: `_e1`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `e2`
[INFO] [stdout]   --> 07_system_fw/src/hir/bidir.rs:71:20
[INFO] [stdout]    |
[INFO] [stdout] 71 |             If(e1, e2, e3) => unimplemented!(),
[INFO] [stdout]    |                    ^^ help: if this is intentional, prefix it with an underscore: `_e2`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `e3`
[INFO] [stdout]   --> 07_system_fw/src/hir/bidir.rs:71:24
[INFO] [stdout]    |
[INFO] [stdout] 71 |             If(e1, e2, e3) => unimplemented!(),
[INFO] [stdout]    |                        ^^ help: if this is intentional, prefix it with an underscore: `_e3`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `ex`
[INFO] [stdout]   --> 07_system_fw/src/hir/bidir.rs:73:21
[INFO] [stdout]    |
[INFO] [stdout] 73 |             Abs(ty, ex) => {
[INFO] [stdout]    |                     ^^ help: if this is intentional, prefix it with an underscore: `_ex`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `e1`
[INFO] [stdout]   --> 07_system_fw/src/hir/bidir.rs:77:17
[INFO] [stdout]    |
[INFO] [stdout] 77 |             App(e1, e2) => unimplemented!(),
[INFO] [stdout]    |                 ^^ help: if this is intentional, prefix it with an underscore: `_e1`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `e2`
[INFO] [stdout]   --> 07_system_fw/src/hir/bidir.rs:77:21
[INFO] [stdout]    |
[INFO] [stdout] 77 |             App(e1, e2) => unimplemented!(),
[INFO] [stdout]    |                     ^^ help: if this is intentional, prefix it with an underscore: `_e2`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `k`
[INFO] [stdout]   --> 07_system_fw/src/hir/bidir.rs:78:19
[INFO] [stdout]    |
[INFO] [stdout] 78 |             TyAbs(k, ex) => unimplemented!(),
[INFO] [stdout]    |                   ^ help: if this is intentional, prefix it with an underscore: `_k`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `ex`
[INFO] [stdout]   --> 07_system_fw/src/hir/bidir.rs:78:22
[INFO] [stdout]    |
[INFO] [stdout] 78 |             TyAbs(k, ex) => unimplemented!(),
[INFO] [stdout]    |                      ^^ help: if this is intentional, prefix it with an underscore: `_ex`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `ex`
[INFO] [stdout]   --> 07_system_fw/src/hir/bidir.rs:79:19
[INFO] [stdout]    |
[INFO] [stdout] 79 |             TyApp(ex, ty) => unimplemented!(),
[INFO] [stdout]    |                   ^^ help: if this is intentional, prefix it with an underscore: `_ex`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `ty`
[INFO] [stdout]   --> 07_system_fw/src/hir/bidir.rs:79:23
[INFO] [stdout]    |
[INFO] [stdout] 79 |             TyApp(ex, ty) => unimplemented!(),
[INFO] [stdout]    |                       ^^ help: if this is intentional, prefix it with an underscore: `_ty`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `ex`
[INFO] [stdout]   --> 07_system_fw/src/hir/bidir.rs:95:24
[INFO] [stdout]    |
[INFO] [stdout] 95 |             RecordProj(ex, idx) => unimplemented!(),
[INFO] [stdout]    |                        ^^ help: if this is intentional, prefix it with an underscore: `_ex`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `idx`
[INFO] [stdout]   --> 07_system_fw/src/hir/bidir.rs:95:28
[INFO] [stdout]    |
[INFO] [stdout] 95 |             RecordProj(ex, idx) => unimplemented!(),
[INFO] [stdout]    |                            ^^^ help: if this is intentional, prefix it with an underscore: `_idx`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `ex`
[INFO] [stdout]   --> 07_system_fw/src/hir/bidir.rs:96:23
[INFO] [stdout]    |
[INFO] [stdout] 96 |             TupleProj(ex, idx) => unimplemented!(),
[INFO] [stdout]    |                       ^^ help: if this is intentional, prefix it with an underscore: `_ex`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `idx`
[INFO] [stdout]   --> 07_system_fw/src/hir/bidir.rs:96:27
[INFO] [stdout]    |
[INFO] [stdout] 96 |             TupleProj(ex, idx) => unimplemented!(),
[INFO] [stdout]    |                           ^^^ help: if this is intentional, prefix it with an underscore: `_idx`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `ex`
[INFO] [stdout]   --> 07_system_fw/src/hir/bidir.rs:97:18
[INFO] [stdout]    |
[INFO] [stdout] 97 |             Case(ex, arms) => unimplemented!(),
[INFO] [stdout]    |                  ^^ help: if this is intentional, prefix it with an underscore: `_ex`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `arms`
[INFO] [stdout]   --> 07_system_fw/src/hir/bidir.rs:97:22
[INFO] [stdout]    |
[INFO] [stdout] 97 |             Case(ex, arms) => unimplemented!(),
[INFO] [stdout]    |                      ^^^^ help: if this is intentional, prefix it with an underscore: `_arms`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `decls`
[INFO] [stdout]   --> 07_system_fw/src/hir/bidir.rs:98:17
[INFO] [stdout]    |
[INFO] [stdout] 98 |             Let(decls, ex) => unimplemented!(),
[INFO] [stdout]    |                 ^^^^^ help: if this is intentional, prefix it with an underscore: `_decls`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `ex`
[INFO] [stdout]   --> 07_system_fw/src/hir/bidir.rs:98:24
[INFO] [stdout]    |
[INFO] [stdout] 98 |             Let(decls, ex) => unimplemented!(),
[INFO] [stdout]    |                        ^^ help: if this is intentional, prefix it with an underscore: `_ex`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `ex`
[INFO] [stdout]   --> 07_system_fw/src/hir/bidir.rs:99:17
[INFO] [stdout]    |
[INFO] [stdout] 99 |             Fix(ex) => unimplemented!(),
[INFO] [stdout]    |                 ^^ help: if this is intentional, prefix it with an underscore: `_ex`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused `Result` that must be used
[INFO] [stdout]    --> 07_system_fw/src/hir/bidir.rs:115:17
[INFO] [stdout]     |
[INFO] [stdout] 115 |                 ctx.infer(e);
[INFO] [stdout]     |                 ^^^^^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout]     = note: `#[warn(unused_must_use)]` on by default
[INFO] [stdout]     = note: this `Result` may be an `Err` variant, which should be handled
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: 38 warnings emitted
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused `Result` that must be used
[INFO] [stdout]    --> 07_system_fw/src/hir/bidir.rs:115:17
[INFO] [stdout]     |
[INFO] [stdout] 115 |                 ctx.infer(e);
[INFO] [stdout]     |                 ^^^^^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout]     = note: `#[warn(unused_must_use)]` on by default
[INFO] [stdout]     = note: this `Result` may be an `Err` variant, which should be handled
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: 39 warnings emitted
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stderr]     Finished dev [unoptimized + debuginfo] target(s) in 5.94s
[INFO] running `Command { std: "docker" "inspect" "fe5be776564fc7ebe053836e575f558d4ef01b72fe783063c1e6aa36647abdb2", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "fe5be776564fc7ebe053836e575f558d4ef01b72fe783063c1e6aa36647abdb2", kill_on_drop: false }`
[INFO] [stdout] fe5be776564fc7ebe053836e575f558d4ef01b72fe783063c1e6aa36647abdb2