[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] testing lazear/types-and-programming-languages against 1.60.0 for beta-1.61-1
[INFO] running `Command { std: "git" "clone" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Flazear%2Ftypes-and-programming-languages" "/workspace/builds/worker-24/source", kill_on_drop: false }`
[INFO] [stderr] Cloning into '/workspace/builds/worker-24/source'...
[INFO] [stderr] done.
[INFO] validating manifest of git repo https://github.com/lazear/types-and-programming-languages on toolchain 1.60.0
[INFO] running `Command { std: "/workspace/cargo-home/bin/cargo" "+1.60.0" "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-24/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" "+1.60.0" "fetch" "--manifest-path" "Cargo.toml", kill_on_drop: false }`
[INFO] [stderr]     Blocking waiting for file lock on package cache
[INFO] [stderr]     Blocking waiting for file lock on package cache
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-24/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-24/source:/opt/rustwide/workdir:ro,Z" "-v" "/var/lib/crater-agent-workspace/cargo-home:/opt/rustwide/cargo-home:ro,Z" "-v" "/var/lib/crater-agent-workspace/rustup-home:/opt/rustwide/rustup-home:ro,Z" "-e" "SOURCE_DIR=/opt/rustwide/workdir" "-e" "CARGO_TARGET_DIR=/opt/rustwide/target" "-e" "CARGO_HOME=/opt/rustwide/cargo-home" "-e" "RUSTUP_HOME=/opt/rustwide/rustup-home" "-w" "/opt/rustwide/workdir" "-m" "1610612736" "--user" "0:0" "--network" "none" "ghcr.io/rust-lang/crates-build-env/linux@sha256:b0c94ce3c1162fcb8e57cac5b65ec2f72eabb1eebea4fcc35e269e823f681646" "/opt/rustwide/cargo-home/bin/cargo" "+1.60.0" "metadata" "--no-deps" "--format-version=1", kill_on_drop: false }`
[INFO] [stdout] 1c73230fb8401ee24daa9d844b28e43270172df2a3d9b175d9a63ad47f04e85a
[INFO] running `Command { std: "docker" "start" "-a" "1c73230fb8401ee24daa9d844b28e43270172df2a3d9b175d9a63ad47f04e85a", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "inspect" "1c73230fb8401ee24daa9d844b28e43270172df2a3d9b175d9a63ad47f04e85a", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "1c73230fb8401ee24daa9d844b28e43270172df2a3d9b175d9a63ad47f04e85a", kill_on_drop: false }`
[INFO] [stdout] 1c73230fb8401ee24daa9d844b28e43270172df2a3d9b175d9a63ad47f04e85a
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-24/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-24/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=warn" "-e" "CARGO_HOME=/opt/rustwide/cargo-home" "-e" "RUSTUP_HOME=/opt/rustwide/rustup-home" "-w" "/opt/rustwide/workdir" "-m" "1610612736" "--user" "0:0" "--network" "none" "ghcr.io/rust-lang/crates-build-env/linux@sha256:b0c94ce3c1162fcb8e57cac5b65ec2f72eabb1eebea4fcc35e269e823f681646" "/opt/rustwide/cargo-home/bin/cargo" "+1.60.0" "build" "--frozen" "--message-format=json", kill_on_drop: false }`
[INFO] [stdout] 6a5c828633b2d094131768020414da126094bbafa81a98a69f87693d660c2bf5
[INFO] running `Command { std: "docker" "start" "-a" "6a5c828633b2d094131768020414da126094bbafa81a98a69f87693d660c2bf5", kill_on_drop: false }`
[INFO] [stderr]     Blocking waiting for file lock on package cache
[INFO] [stderr]    Compiling util v0.1.0 (/opt/rustwide/workdir/util)
[INFO] [stderr]    Compiling dependent v0.1.0 (/opt/rustwide/workdir/x2_dependent)
[INFO] [stderr]    Compiling bidir v0.1.0 (/opt/rustwide/workdir/x1_bidir)
[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: `ife`
[INFO] [stdout]   --> x1_bidir/src/helpers.rs:27:14
[INFO] [stdout]    |
[INFO] [stdout] 27 | macro_rules! ife {
[INFO] [stdout]    |              ^^^
[INFO] [stdout]    |
[INFO] [stdout]    = note: `#[warn(unused_macros)]` on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused macro definition: `karrow`
[INFO] [stdout]   --> x1_bidir/src/helpers.rs:39:14
[INFO] [stdout]    |
[INFO] [stdout] 39 | macro_rules! karrow {
[INFO] [stdout]    |              ^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused macro definition: `case`
[INFO] [stdout]   --> x1_bidir/src/helpers.rs:54:14
[INFO] [stdout]    |
[INFO] [stdout] 54 | macro_rules! case {
[INFO] [stdout]    |              ^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused macro definition: `proj`
[INFO] [stdout]   --> x1_bidir/src/helpers.rs:79:14
[INFO] [stdout]    |
[INFO] [stdout] 79 | macro_rules! proj {
[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: 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 the macro `dbg` (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stdout] 
[INFO] [stdout] 
[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: 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: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: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: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: `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: `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: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: `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: 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: 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] note: `Kind` has derived impls for the traits `Debug` and `Clone`, but these are intentionally ignored during dead code analysis
[INFO] [stdout]   --> x1_bidir/src/main.rs:11:10
[INFO] [stdout]    |
[INFO] [stdout] 11 | #[derive(Clone, Debug, PartialEq)]
[INFO] [stdout]    |          ^^^^^  ^^^^^
[INFO] [stdout]    = note: this warning originates in the derive macro `Clone` (in Nightly builds, run with -Z macro-backtrace for more info)
[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] note: `LR` has derived impls for the traits `Debug` and `Clone`, but these are intentionally ignored during dead code analysis
[INFO] [stdout]    --> x1_bidir/src/main.rs:147:16
[INFO] [stdout]     |
[INFO] [stdout] 147 | #[derive(Copy, Clone, Debug, PartialEq)]
[INFO] [stdout]     |                ^^^^^  ^^^^^
[INFO] [stdout]     = note: this warning originates in the derive macro `Clone` (in Nightly builds, run with -Z macro-backtrace for more info)
[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] note: `Expr` has derived impls for the traits `Debug` and `Clone`, but these are intentionally ignored during dead code analysis
[INFO] [stdout]    --> x1_bidir/src/main.rs:154:10
[INFO] [stdout]     |
[INFO] [stdout] 154 | #[derive(Clone, Debug, PartialEq)]
[INFO] [stdout]     |          ^^^^^  ^^^^^
[INFO] [stdout]     = note: this warning originates in the derive macro `Clone` (in Nightly builds, run with -Z macro-backtrace for more info)
[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] note: `Expr` has derived impls for the traits `Debug` and `Clone`, but these are intentionally ignored during dead code analysis
[INFO] [stdout]    --> x1_bidir/src/main.rs:154:10
[INFO] [stdout]     |
[INFO] [stdout] 154 | #[derive(Clone, Debug, PartialEq)]
[INFO] [stdout]     |          ^^^^^  ^^^^^
[INFO] [stdout]     = note: this warning originates in the derive macro `Clone` (in Nightly builds, run with -Z macro-backtrace for more info)
[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] note: `Expr` has derived impls for the traits `Debug` and `Clone`, but these are intentionally ignored during dead code analysis
[INFO] [stdout]    --> x1_bidir/src/main.rs:154:10
[INFO] [stdout]     |
[INFO] [stdout] 154 | #[derive(Clone, Debug, PartialEq)]
[INFO] [stdout]     |          ^^^^^  ^^^^^
[INFO] [stdout]     = note: this warning originates in the derive macro `Clone` (in Nightly builds, run with -Z macro-backtrace for more info)
[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] note: `Expr` has derived impls for the traits `Debug` and `Clone`, but these are intentionally ignored during dead code analysis
[INFO] [stdout]    --> x1_bidir/src/main.rs:154:10
[INFO] [stdout]     |
[INFO] [stdout] 154 | #[derive(Clone, Debug, PartialEq)]
[INFO] [stdout]     |          ^^^^^  ^^^^^
[INFO] [stdout]     = note: this warning originates in the derive macro `Clone` (in Nightly builds, run with -Z macro-backtrace for more info)
[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] note: `Expr` has derived impls for the traits `Debug` and `Clone`, but these are intentionally ignored during dead code analysis
[INFO] [stdout]    --> x1_bidir/src/main.rs:154:10
[INFO] [stdout]     |
[INFO] [stdout] 154 | #[derive(Clone, Debug, PartialEq)]
[INFO] [stdout]     |          ^^^^^  ^^^^^
[INFO] [stdout]     = note: this warning originates in the derive macro `Clone` (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: 2 warnings emitted
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stderr]    Compiling typedarith v0.1.0 (/opt/rustwide/workdir/03_typedarith)
[INFO] [stderr]    Compiling stlc v0.1.0 (/opt/rustwide/workdir/04_stlc)
[INFO] [stderr]    Compiling system_fw v0.1.0 (/opt/rustwide/workdir/07_system_fw)
[INFO] [stderr]    Compiling recon v0.1.0 (/opt/rustwide/workdir/05_recon)
[INFO] [stderr]    Compiling system_f v0.1.0 (/opt/rustwide/workdir/06_system_f)
[INFO] [stderr]    Compiling lambda v0.1.0 (/opt/rustwide/workdir/02_lambda)
[INFO] [stderr]    Compiling arith v0.1.0 (/opt/rustwide/workdir/01_arith)
[INFO] [stdout] warning: 9 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: `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: 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: 27 warnings emitted
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: field is never read: `expr`
[INFO] [stdout]   --> 05_recon/src/main.rs:36:5
[INFO] [stdout]    |
[INFO] [stdout] 36 |     expr: TypedTerm,
[INFO] [stdout]    |     ^^^^^^^^^^^^^^^
[INFO] [stdout]    |
[INFO] [stdout]    = note: `#[warn(dead_code)]` on by default
[INFO] [stdout] note: `SystemF` has a derived impl for the trait `Debug`, but this is intentionally ignored during dead code analysis
[INFO] [stdout]   --> 05_recon/src/main.rs:34:10
[INFO] [stdout]    |
[INFO] [stdout] 34 | #[derive(Debug)]
[INFO] [stdout]    |          ^^^^^
[INFO] [stdout]    = note: this warning originates in the derive macro `Debug` (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: field is never read: `ty`
[INFO] [stdout]   --> 05_recon/src/main.rs:37:5
[INFO] [stdout]    |
[INFO] [stdout] 37 |     ty: T,
[INFO] [stdout]    |     ^^^^^
[INFO] [stdout]    |
[INFO] [stdout] note: `SystemF` has a derived impl for the trait `Debug`, but this is intentionally ignored during dead code analysis
[INFO] [stdout]   --> 05_recon/src/main.rs:34:10
[INFO] [stdout]    |
[INFO] [stdout] 34 | #[derive(Debug)]
[INFO] [stdout]    |          ^^^^^
[INFO] [stdout]    = note: this warning originates in the derive macro `Debug` (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: field is never read: `exist`
[INFO] [stdout]   --> 05_recon/src/main.rs:48:5
[INFO] [stdout]    |
[INFO] [stdout] 48 |     exist: TypeVar,
[INFO] [stdout]    |     ^^^^^^^^^^^^^^
[INFO] [stdout]    |
[INFO] [stdout] note: `Elaborator` has a derived impl for the trait `Debug`, but this is intentionally ignored during dead code analysis
[INFO] [stdout]   --> 05_recon/src/main.rs:46:19
[INFO] [stdout]    |
[INFO] [stdout] 46 | #[derive(Default, Debug)]
[INFO] [stdout]    |                   ^^^^^
[INFO] [stdout]    = note: this warning originates in the derive macro `Debug` (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: field is never read: `context`
[INFO] [stdout]   --> 05_recon/src/main.rs:49:5
[INFO] [stdout]    |
[INFO] [stdout] 49 |     context: Vec<Scheme>,
[INFO] [stdout]    |     ^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout]    |
[INFO] [stdout] note: `Elaborator` has a derived impl for the trait `Debug`, but this is intentionally ignored during dead code analysis
[INFO] [stdout]   --> 05_recon/src/main.rs:46:19
[INFO] [stdout]    |
[INFO] [stdout] 46 | #[derive(Default, Debug)]
[INFO] [stdout]    |                   ^^^^^
[INFO] [stdout]    = note: this warning originates in the derive macro `Debug` (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: field is never read: `constraints`
[INFO] [stdout]   --> 05_recon/src/main.rs:50:5
[INFO] [stdout]    |
[INFO] [stdout] 50 |     constraints: Vec<(Type, Type)>,
[INFO] [stdout]    |     ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout]    |
[INFO] [stdout] note: `Elaborator` has a derived impl for the trait `Debug`, but this is intentionally ignored during dead code analysis
[INFO] [stdout]   --> 05_recon/src/main.rs:46:19
[INFO] [stdout]    |
[INFO] [stdout] 46 | #[derive(Default, Debug)]
[INFO] [stdout]    |                   ^^^^^
[INFO] [stdout]    = note: this warning originates in the derive macro `Debug` (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: field is never read: `uni`
[INFO] [stdout]   --> 05_recon/src/main.rs:52:5
[INFO] [stdout]    |
[INFO] [stdout] 52 |     uni: disjoint::Unifier,
[INFO] [stdout]    |     ^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout]    |
[INFO] [stdout] note: `Elaborator` has a derived impl for the trait `Debug`, but this is intentionally ignored during dead code analysis
[INFO] [stdout]   --> 05_recon/src/main.rs:46:19
[INFO] [stdout]    |
[INFO] [stdout] 46 | #[derive(Default, Debug)]
[INFO] [stdout]    |                   ^^^^^
[INFO] [stdout]    = note: this warning originates in the derive macro `Debug` (in Nightly builds, run with -Z macro-backtrace for more info)
[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] 
[INFO] [stdout] warning: field is never read: `expr`
[INFO] [stdout]   --> 05_recon/src/mutation/mod.rs:40:5
[INFO] [stdout]    |
[INFO] [stdout] 40 |     expr: TypedTerm,
[INFO] [stdout]    |     ^^^^^^^^^^^^^^^
[INFO] [stdout]    |
[INFO] [stdout] note: `SystemF` has a derived impl for the trait `Debug`, but this is intentionally ignored during dead code analysis
[INFO] [stdout]   --> 05_recon/src/mutation/mod.rs:38:10
[INFO] [stdout]    |
[INFO] [stdout] 38 | #[derive(Debug)]
[INFO] [stdout]    |          ^^^^^
[INFO] [stdout]    = note: this warning originates in the derive macro `Debug` (in Nightly builds, run with -Z macro-backtrace for more info)
[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: 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: 30 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: 1 warning emitted
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: 39 warnings emitted
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stderr]     Finished dev [unoptimized + debuginfo] target(s) in 2.39s
[INFO] running `Command { std: "docker" "inspect" "6a5c828633b2d094131768020414da126094bbafa81a98a69f87693d660c2bf5", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "6a5c828633b2d094131768020414da126094bbafa81a98a69f87693d660c2bf5", kill_on_drop: false }`
[INFO] [stdout] 6a5c828633b2d094131768020414da126094bbafa81a98a69f87693d660c2bf5
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-24/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-24/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=warn" "-e" "CARGO_HOME=/opt/rustwide/cargo-home" "-e" "RUSTUP_HOME=/opt/rustwide/rustup-home" "-w" "/opt/rustwide/workdir" "-m" "1610612736" "--user" "0:0" "--network" "none" "ghcr.io/rust-lang/crates-build-env/linux@sha256:b0c94ce3c1162fcb8e57cac5b65ec2f72eabb1eebea4fcc35e269e823f681646" "/opt/rustwide/cargo-home/bin/cargo" "+1.60.0" "test" "--frozen" "--no-run" "--message-format=json", kill_on_drop: false }`
[INFO] [stdout] ab45052e0d4eb788043a2eadf22413eede5a7e3955fbe5ac075cb890e36d70de
[INFO] running `Command { std: "docker" "start" "-a" "ab45052e0d4eb788043a2eadf22413eede5a7e3955fbe5ac075cb890e36d70de", kill_on_drop: false }`
[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 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] [stderr]    Compiling dependent v0.1.0 (/opt/rustwide/workdir/x2_dependent)
[INFO] [stdout] warning: 2 warnings emitted
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stderr]    Compiling bidir v0.1.0 (/opt/rustwide/workdir/x1_bidir)
[INFO] [stderr]    Compiling util v0.1.0 (/opt/rustwide/workdir/util)
[INFO] [stderr]    Compiling recon v0.1.0 (/opt/rustwide/workdir/05_recon)
[INFO] [stderr]    Compiling stlc v0.1.0 (/opt/rustwide/workdir/04_stlc)
[INFO] [stderr]    Compiling system_f v0.1.0 (/opt/rustwide/workdir/06_system_f)
[INFO] [stderr]    Compiling lambda v0.1.0 (/opt/rustwide/workdir/02_lambda)
[INFO] [stderr]    Compiling arith v0.1.0 (/opt/rustwide/workdir/01_arith)
[INFO] [stderr]    Compiling typedarith v0.1.0 (/opt/rustwide/workdir/03_typedarith)
[INFO] [stderr]    Compiling system_fw v0.1.0 (/opt/rustwide/workdir/07_system_fw)
[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: 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 macro definition: `karrow`
[INFO] [stdout]   --> x1_bidir/src/helpers.rs:39:14
[INFO] [stdout]    |
[INFO] [stdout] 39 | macro_rules! karrow {
[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] help: consider adding a `#[cfg(test)]` to the containing module
[INFO] [stdout]    --> x1_bidir/src/main.rs:825:1
[INFO] [stdout]     |
[INFO] [stdout] 825 | mod test {
[INFO] [stdout]     | ^^^^^^^^
[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 the macro `dbg` (in Nightly builds, run with -Z macro-backtrace for more info)
[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: 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: 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 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: 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: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: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: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: `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: `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: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: `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: 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 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: 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] note: `Kind` has derived impls for the traits `Debug` and `Clone`, but these are intentionally ignored during dead code analysis
[INFO] [stdout]   --> x1_bidir/src/main.rs:11:10
[INFO] [stdout]    |
[INFO] [stdout] 11 | #[derive(Clone, Debug, PartialEq)]
[INFO] [stdout]    |          ^^^^^  ^^^^^
[INFO] [stdout]    = note: this warning originates in the derive macro `Clone` (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: 9 warnings emitted
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: field is never read: `expr`
[INFO] [stdout]   --> 05_recon/src/main.rs:36:5
[INFO] [stdout]    |
[INFO] [stdout] 36 |     expr: TypedTerm,
[INFO] [stdout]    |     ^^^^^^^^^^^^^^^
[INFO] [stdout]    |
[INFO] [stdout]    = note: `#[warn(dead_code)]` on by default
[INFO] [stdout] note: `SystemF` has a derived impl for the trait `Debug`, but this is intentionally ignored during dead code analysis
[INFO] [stdout]   --> 05_recon/src/main.rs:34:10
[INFO] [stdout]    |
[INFO] [stdout] 34 | #[derive(Debug)]
[INFO] [stdout]    |          ^^^^^
[INFO] [stdout]    = note: this warning originates in the derive macro `Debug` (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: field is never read: `ty`
[INFO] [stdout]   --> 05_recon/src/main.rs:37:5
[INFO] [stdout]    |
[INFO] [stdout] 37 |     ty: T,
[INFO] [stdout]    |     ^^^^^
[INFO] [stdout]    |
[INFO] [stdout] note: `SystemF` has a derived impl for the trait `Debug`, but this is intentionally ignored during dead code analysis
[INFO] [stdout]   --> 05_recon/src/main.rs:34:10
[INFO] [stdout]    |
[INFO] [stdout] 34 | #[derive(Debug)]
[INFO] [stdout]    |          ^^^^^
[INFO] [stdout]    = note: this warning originates in the derive macro `Debug` (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: field is never read: `exist`
[INFO] [stdout]   --> 05_recon/src/main.rs:48:5
[INFO] [stdout]    |
[INFO] [stdout] 48 |     exist: TypeVar,
[INFO] [stdout]    |     ^^^^^^^^^^^^^^
[INFO] [stdout]    |
[INFO] [stdout] note: `Elaborator` has a derived impl for the trait `Debug`, but this is intentionally ignored during dead code analysis
[INFO] [stdout]   --> 05_recon/src/main.rs:46:19
[INFO] [stdout]    |
[INFO] [stdout] 46 | #[derive(Default, Debug)]
[INFO] [stdout]    |                   ^^^^^
[INFO] [stdout]    = note: this warning originates in the derive macro `Debug` (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: field is never read: `context`
[INFO] [stdout]   --> 05_recon/src/main.rs:49:5
[INFO] [stdout]    |
[INFO] [stdout] 49 |     context: Vec<Scheme>,
[INFO] [stdout]    |     ^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout]    |
[INFO] [stdout] note: `Elaborator` has a derived impl for the trait `Debug`, but this is intentionally ignored during dead code analysis
[INFO] [stdout]   --> 05_recon/src/main.rs:46:19
[INFO] [stdout]    |
[INFO] [stdout] 46 | #[derive(Default, Debug)]
[INFO] [stdout]    |                   ^^^^^
[INFO] [stdout]    = note: this warning originates in the derive macro `Debug` (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: field is never read: `constraints`
[INFO] [stdout]   --> 05_recon/src/main.rs:50:5
[INFO] [stdout]    |
[INFO] [stdout] 50 |     constraints: Vec<(Type, Type)>,
[INFO] [stdout]    |     ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout]    |
[INFO] [stdout] note: `Elaborator` has a derived impl for the trait `Debug`, but this is intentionally ignored during dead code analysis
[INFO] [stdout]   --> 05_recon/src/main.rs:46:19
[INFO] [stdout]    |
[INFO] [stdout] 46 | #[derive(Default, Debug)]
[INFO] [stdout]    |                   ^^^^^
[INFO] [stdout]    = note: this warning originates in the derive macro `Debug` (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: field is never read: `uni`
[INFO] [stdout]   --> 05_recon/src/main.rs:52:5
[INFO] [stdout]    |
[INFO] [stdout] 52 |     uni: disjoint::Unifier,
[INFO] [stdout]    |     ^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout]    |
[INFO] [stdout] note: `Elaborator` has a derived impl for the trait `Debug`, but this is intentionally ignored during dead code analysis
[INFO] [stdout]   --> 05_recon/src/main.rs:46:19
[INFO] [stdout]    |
[INFO] [stdout] 46 | #[derive(Default, Debug)]
[INFO] [stdout]    |                   ^^^^^
[INFO] [stdout]    = note: this warning originates in the derive macro `Debug` (in Nightly builds, run with -Z macro-backtrace for more info)
[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] 
[INFO] [stdout] warning: field is never read: `expr`
[INFO] [stdout]   --> 05_recon/src/mutation/mod.rs:40:5
[INFO] [stdout]    |
[INFO] [stdout] 40 |     expr: TypedTerm,
[INFO] [stdout]    |     ^^^^^^^^^^^^^^^
[INFO] [stdout]    |
[INFO] [stdout] note: `SystemF` has a derived impl for the trait `Debug`, but this is intentionally ignored during dead code analysis
[INFO] [stdout]   --> 05_recon/src/mutation/mod.rs:38:10
[INFO] [stdout]    |
[INFO] [stdout] 38 | #[derive(Debug)]
[INFO] [stdout]    |          ^^^^^
[INFO] [stdout]    = note: this warning originates in the derive macro `Debug` (in Nightly builds, run with -Z macro-backtrace for more info)
[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: 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: 2 warnings emitted
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: 30 warnings emitted
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: 19 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: 1 warning emitted
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: 38 warnings emitted
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stderr]     Finished test [unoptimized + debuginfo] target(s) in 1.95s
[INFO] running `Command { std: "docker" "inspect" "ab45052e0d4eb788043a2eadf22413eede5a7e3955fbe5ac075cb890e36d70de", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "ab45052e0d4eb788043a2eadf22413eede5a7e3955fbe5ac075cb890e36d70de", kill_on_drop: false }`
[INFO] [stdout] ab45052e0d4eb788043a2eadf22413eede5a7e3955fbe5ac075cb890e36d70de
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-24/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-24/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=warn" "-e" "CARGO_HOME=/opt/rustwide/cargo-home" "-e" "RUSTUP_HOME=/opt/rustwide/rustup-home" "-w" "/opt/rustwide/workdir" "-m" "1610612736" "--user" "0:0" "--network" "none" "ghcr.io/rust-lang/crates-build-env/linux@sha256:b0c94ce3c1162fcb8e57cac5b65ec2f72eabb1eebea4fcc35e269e823f681646" "/opt/rustwide/cargo-home/bin/cargo" "+1.60.0" "test" "--frozen", kill_on_drop: false }`
[INFO] [stdout] 5b1044f6a446ef8d58e8895dce73aa4a9073c1d0f43d8cf914ccba0fd4f3640d
[INFO] running `Command { std: "docker" "start" "-a" "5b1044f6a446ef8d58e8895dce73aa4a9073c1d0f43d8cf914ccba0fd4f3640d", kill_on_drop: false }`
[INFO] [stderr] warning: associated function is never used: `chunks`
[INFO] [stderr]   --> util/src/unsafe_arena.rs:81:8
[INFO] [stderr]    |
[INFO] [stderr] 81 |     fn chunks(&self) -> Vec<Info> {
[INFO] [stderr]    |        ^^^^^^
[INFO] [stderr]    |
[INFO] [stderr]    = note: `#[warn(dead_code)]` on by default
[INFO] [stderr] 
[INFO] [stderr] warning: unused return value of `std::mem::replace` that must be used
[INFO] [stderr]    --> util/src/arena.rs:204:17
[INFO] [stderr]     |
[INFO] [stderr] 204 |                 std::mem::replace(&mut self.data[i], prev);
[INFO] [stderr]     |                 ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stderr]     |
[INFO] [stderr]     = note: `#[warn(unused_must_use)]` on by default
[INFO] [stderr]     = note: if you don't need the old value, you can just assign the new value directly
[INFO] [stderr] 
[INFO] [stderr] warning: `util` (lib) generated 2 warnings
[INFO] [stderr] warning: value assigned to `new_cap` is never read
[INFO] [stderr]    --> util/src/unsafe_arena.rs:353:9
[INFO] [stderr]     |
[INFO] [stderr] 353 |         new_cap = cmp::max(new_cap, 0x1000 / mem::size_of::<usize>());
[INFO] [stderr]     |         ^^^^^^^
[INFO] [stderr]     |
[INFO] [stderr]     = note: `#[warn(unused_assignments)]` on by default
[INFO] [stderr]     = help: maybe it is overwritten before being read?
[INFO] [stderr] 
[INFO] [stderr] warning: unused macro definition: `karrow`
[INFO] [stderr]   --> x1_bidir/src/helpers.rs:39:14
[INFO] [stderr]    |
[INFO] [stderr] 39 | macro_rules! karrow {
[INFO] [stderr]    |              ^^^^^^
[INFO] [stderr]    |
[INFO] [stderr]    = note: `#[warn(unused_macros)]` on by default
[INFO] [stderr] 
[INFO] [stderr] warning: unused import: `helpers::*`
[INFO] [stderr]    --> x1_bidir/src/main.rs:827:9
[INFO] [stderr]     |
[INFO] [stderr] 827 |     use helpers::*;
[INFO] [stderr]     |         ^^^^^^^^^^
[INFO] [stderr]     |
[INFO] [stderr]     = note: `#[warn(unused_imports)]` on by default
[INFO] [stderr] help: consider adding a `#[cfg(test)]` to the containing module
[INFO] [stderr]    --> x1_bidir/src/main.rs:825:1
[INFO] [stderr]     |
[INFO] [stderr] 825 | mod test {
[INFO] [stderr]     | ^^^^^^^^
[INFO] [stderr] 
[INFO] [stderr] warning: unreachable pattern
[INFO] [stderr]    --> x1_bidir/src/helpers.rs:164:13
[INFO] [stderr]     |
[INFO] [stderr] 164 |             _ => "".into(),
[INFO] [stderr]     |             ^
[INFO] [stderr]     |
[INFO] [stderr]     = note: `#[warn(unreachable_patterns)]` on by default
[INFO] [stderr] 
[INFO] [stderr] warning: unused variable: `k`
[INFO] [stderr]   --> x1_bidir/src/main.rs:67:28
[INFO] [stderr]    |
[INFO] [stderr] 67 |                 Type::Univ(k, a) => walk(a, vec),
[INFO] [stderr]    |                            ^ help: if this is intentional, prefix it with an underscore: `_k`
[INFO] [stderr]    |
[INFO] [stderr]    = note: `#[warn(unused_variables)]` on by default
[INFO] [stderr] 
[INFO] [stderr] warning: unused variable: `k`
[INFO] [stderr]   --> x1_bidir/src/main.rs:68:27
[INFO] [stderr]    |
[INFO] [stderr] 68 |                 Type::Abs(k, a) => walk(a, vec),
[INFO] [stderr]    |                           ^ help: if this is intentional, prefix it with an underscore: `_k`
[INFO] [stderr] 
[INFO] [stderr] warning: unused variable: `k`
[INFO] [stderr]   --> x1_bidir/src/main.rs:97:28
[INFO] [stderr]    |
[INFO] [stderr] 97 |                 Type::Univ(k, a) => walk(a, c + 1, s),
[INFO] [stderr]    |                            ^ help: if this is intentional, prefix it with an underscore: `_k`
[INFO] [stderr] 
[INFO] [stderr] warning: unused variable: `k`
[INFO] [stderr]   --> x1_bidir/src/main.rs:98:27
[INFO] [stderr]    |
[INFO] [stderr] 98 |                 Type::Abs(k, a) => walk(a, c + 1, s),
[INFO] [stderr]    |                           ^ help: if this is intentional, prefix it with an underscore: `_k`
[INFO] [stderr] 
[INFO] [stderr] warning: unused variable: `k`
[INFO] [stderr]    --> x1_bidir/src/main.rs:127:28
[INFO] [stderr]     |
[INFO] [stderr] 127 |                 Type::Univ(k, a) => walk(a, c + 1, f),
[INFO] [stderr]     |                            ^ help: if this is intentional, prefix it with an underscore: `_k`
[INFO] [stderr] 
[INFO] [stderr] warning: unused variable: `k`
[INFO] [stderr]    --> x1_bidir/src/main.rs:128:27
[INFO] [stderr]     |
[INFO] [stderr] 128 |                 Type::Abs(k, a) => walk(a, c + 1, f),
[INFO] [stderr]     |                           ^ help: if this is intentional, prefix it with an underscore: `_k`
[INFO] [stderr] 
[INFO] [stderr] warning: unused variable: `g`
[INFO] [stderr]    --> x1_bidir/src/main.rs:802:9
[INFO] [stderr]     |
[INFO] [stderr] 802 |     let g = app!(h, abs!(var!(0)));
[INFO] [stderr]     |         ^ help: if this is intentional, prefix it with an underscore: `_g`
[INFO] [stderr] 
[INFO] [stderr] warning: unused variable: `f`
[INFO] [stderr]    --> x1_bidir/src/main.rs:806:9
[INFO] [stderr]     |
[INFO] [stderr] 806 |     let f = ann!(Expr::Int(99), ty);
[INFO] [stderr]     |         ^ help: if this is intentional, prefix it with an underscore: `_f`
[INFO] [stderr] 
[INFO] [stderr] warning: unused variable: `ty`
[INFO] [stderr]    --> x1_bidir/src/main.rs:358:27
[INFO] [stderr]     |
[INFO] [stderr] 358 |     fn kinding(&mut self, ty: &Type) -> Option<Kind> {
[INFO] [stderr]     |                           ^^ help: if this is intentional, prefix it with an underscore: `_ty`
[INFO] [stderr] 
[INFO] [stderr] warning: unused variable: `v`
[INFO] [stderr]    --> x1_bidir/src/main.rs:365:25
[INFO] [stderr]     |
[INFO] [stderr] 365 |             Type::Exist(v) => Ok(()),
[INFO] [stderr]     |                         ^ help: if this is intentional, prefix it with an underscore: `_v`
[INFO] [stderr] 
[INFO] [stderr] warning: unused variable: `k`
[INFO] [stderr]    --> x1_bidir/src/main.rs:432:19
[INFO] [stderr]     |
[INFO] [stderr] 432 |             (Univ(k, a), b) => {
[INFO] [stderr]     |                   ^ help: if this is intentional, prefix it with an underscore: `_k`
[INFO] [stderr] 
[INFO] [stderr] warning: unused variable: `k`
[INFO] [stderr]    --> x1_bidir/src/main.rs:717:24
[INFO] [stderr]     |
[INFO] [stderr] 717 |             Type::Univ(k, a) => {
[INFO] [stderr]     |                        ^ help: if this is intentional, prefix it with an underscore: `_k`
[INFO] [stderr] 
[INFO] [stderr] warning: unused variable: `k`
[INFO] [stderr]    --> x1_bidir/src/helpers.rs:117:24
[INFO] [stderr]     |
[INFO] [stderr] 117 |             Type::Univ(k, ty) => format!("forall {}. {}", vc, walk(ty, map)),
[INFO] [stderr]     |                        ^ help: if this is intentional, prefix it with an underscore: `_k`
[INFO] [stderr] 
[INFO] [stderr] warning: unused variable: `ty`
[INFO] [stderr]    --> x1_bidir/src/helpers.rs:151:36
[INFO] [stderr]     |
[INFO] [stderr] 151 |             Expr::Inj(LR::Left, e, ty) => format!("inl {}", walk(e, map)),
[INFO] [stderr]     |                                    ^^ help: if this is intentional, prefix it with an underscore: `_ty`
[INFO] [stderr] 
[INFO] [stderr] warning: unused variable: `ty`
[INFO] [stderr]    --> x1_bidir/src/helpers.rs:152:37
[INFO] [stderr]     |
[INFO] [stderr] 152 |             Expr::Inj(LR::Right, e, ty) => format!("inr {}", walk(e, map)),
[INFO] [stderr]     |                                     ^^ help: if this is intentional, prefix it with an underscore: `_ty`
[INFO] [stderr] 
[INFO] [stderr] warning: variant is never constructed: `Arrow`
[INFO] [stderr]   --> x1_bidir/src/main.rs:14:5
[INFO] [stderr]    |
[INFO] [stderr] 14 |     Arrow(Box<Kind>, Box<Kind>),
[INFO] [stderr]    |     ^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stderr]    |
[INFO] [stderr]    = note: `#[warn(dead_code)]` on by default
[INFO] [stderr] note: `Kind` has derived impls for the traits `Debug` and `Clone`, but these are intentionally ignored during dead code analysis
[INFO] [stderr]   --> x1_bidir/src/main.rs:11:10
[INFO] [stderr]    |
[INFO] [stderr] 11 | #[derive(Clone, Debug, PartialEq)]
[INFO] [stderr]    |          ^^^^^  ^^^^^
[INFO] [stderr]    = note: this warning originates in the derive macro `Clone` (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stderr] 
[INFO] [stderr] warning: unnecessary trailing semicolon
[INFO] [stderr]    --> x2_dependent/src/main.rs:215:6
[INFO] [stderr]     |
[INFO] [stderr] 215 |     };
[INFO] [stderr]     |      ^ help: remove this semicolon
[INFO] [stderr]     |
[INFO] [stderr]     = note: `#[warn(redundant_semicolons)]` on by default
[INFO] [stderr] 
[INFO] [stderr] warning: variable does not need to be mutable
[INFO] [stderr]    --> x2_dependent/src/main.rs:168:16
[INFO] [stderr]     |
[INFO] [stderr] 168 | fn beta_reduce(mut term: Term) -> Term {
[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]    --> x2_dependent/src/main.rs:170:19
[INFO] [stderr]     |
[INFO] [stderr] 170 |         Term::App(mut abs, arg) => match (abs.normal(), arg.normal()) {
[INFO] [stderr]     |                   ----^^^
[INFO] [stderr]     |                   |
[INFO] [stderr]     |                   help: remove this `mut`
[INFO] [stderr] 
[INFO] [stderr] warning: associated function is never used: `whnf`
[INFO] [stderr]   --> x2_dependent/src/main.rs:21:8
[INFO] [stderr]    |
[INFO] [stderr] 21 |     fn whnf(&self) -> bool {
[INFO] [stderr]    |        ^^^^
[INFO] [stderr]    |
[INFO] [stderr]    = note: `#[warn(dead_code)]` on by default
[INFO] [stderr] 
[INFO] [stderr] warning: variable `S` should have a snake case name
[INFO] [stderr]    --> x2_dependent/src/main.rs:136:23
[INFO] [stderr]     |
[INFO] [stderr] 136 |             Term::Abs(S, t) => {
[INFO] [stderr]     |                       ^ help: convert the identifier to snake case (notice the capitalization): `s`
[INFO] [stderr]     |
[INFO] [stderr]     = note: `#[warn(non_snake_case)]` on by default
[INFO] [stderr] 
[INFO] [stderr] warning: variable `T` should have a snake case name
[INFO] [stderr]    --> x2_dependent/src/main.rs:138:21
[INFO] [stderr]     |
[INFO] [stderr] 138 |                 let T = self.with_bind(k.clone(), |f| f.type_of(&t))?;
[INFO] [stderr]     |                     ^ help: convert the identifier to snake case: `t`
[INFO] [stderr] 
[INFO] [stderr] warning: variable `S` should have a snake case name
[INFO] [stderr]    --> x2_dependent/src/main.rs:145:30
[INFO] [stderr]     |
[INFO] [stderr] 145 |                     Term::Pi(S, mut T) => {
[INFO] [stderr]     |                              ^ help: convert the identifier to snake case (notice the capitalization): `s`
[INFO] [stderr] 
[INFO] [stderr] warning: variable `T` should have a snake case name
[INFO] [stderr]    --> x2_dependent/src/main.rs:145:37
[INFO] [stderr]     |
[INFO] [stderr] 145 |                     Term::Pi(S, mut T) => {
[INFO] [stderr]     |                                     ^ help: convert the identifier to snake case: `t`
[INFO] [stderr] 
[INFO] [stderr] warning: unused `Result` that must be used
[INFO] [stderr]    --> x2_dependent/src/main.rs:227:5
[INFO] [stderr]     |
[INFO] [stderr] 227 |     dbg!(ctx.type_of(&tm));
[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]     = note: this warning originates in the macro `dbg` (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stderr] 
[INFO] [stderr] warning: unused import: `super::Type::*`
[INFO] [stderr]  --> 07_system_fw/src/hir/bidir.rs:5:5
[INFO] [stderr]   |
[INFO] [stderr] 5 | use super::Type::*;
[INFO] [stderr]   |     ^^^^^^^^^^^^^^
[INFO] [stderr]   |
[INFO] [stderr]   = note: `#[warn(unused_imports)]` on by default
[INFO] [stderr] 
[INFO] [stderr] warning: unused variable: `name`
[INFO] [stderr]    --> 07_system_fw/src/elaborate.rs:128:14
[INFO] [stderr]     |
[INFO] [stderr] 128 |         for (name, key) in &self.constructors {
[INFO] [stderr]     |              ^^^^ help: if this is intentional, prefix it with an underscore: `_name`
[INFO] [stderr]     |
[INFO] [stderr]     = note: `#[warn(unused_variables)]` on by default
[INFO] [stderr] 
[INFO] [stderr] warning: unused variable: `var`
[INFO] [stderr]    --> 07_system_fw/src/elaborate.rs:482:46
[INFO] [stderr]     |
[INFO] [stderr] 482 |         let ty = tyvars.iter().fold(ty, |ty, var| {
[INFO] [stderr]     |                                              ^^^ help: if this is intentional, prefix it with an underscore: `_var`
[INFO] [stderr] 
[INFO] [stderr] warning: unused variable: `var`
[INFO] [stderr]    --> 07_system_fw/src/elaborate.rs:559:46
[INFO] [stderr]     |
[INFO] [stderr] 559 |         let ty = tyvars.iter().fold(ty, |ty, var| {
[INFO] [stderr]     |                                              ^^^ help: if this is intentional, prefix it with an underscore: `_var`
[INFO] [stderr] 
[INFO] [stderr] warning: unused variable: `d1`
[INFO] [stderr]    --> 07_system_fw/src/elaborate.rs:784:27
[INFO] [stderr]     |
[INFO] [stderr] 784 |             DeclKind::And(d1, d2) => unimplemented!(),
[INFO] [stderr]     |                           ^^ help: if this is intentional, prefix it with an underscore: `_d1`
[INFO] [stderr] 
[INFO] [stderr] warning: unused variable: `d2`
[INFO] [stderr]    --> 07_system_fw/src/elaborate.rs:784:31
[INFO] [stderr]     |
[INFO] [stderr] 784 |             DeclKind::And(d1, d2) => unimplemented!(),
[INFO] [stderr]     |                               ^^ help: if this is intentional, prefix it with an underscore: `_d2`
[INFO] [stderr] 
[INFO] [stderr] warning: unused variable: `ty`
[INFO] [stderr]    --> 07_system_fw/src/elaborate.rs:843:35
[INFO] [stderr]     |
[INFO] [stderr] 843 |             PatKind::Ascribe(pat, ty) => self.visit_pat(&pat),
[INFO] [stderr]     |                                   ^^ help: if this is intentional, prefix it with an underscore: `_ty`
[INFO] [stderr] 
[INFO] [stderr] warning: unused variable: `con`
[INFO] [stderr]    --> 07_system_fw/src/elaborate.rs:844:34
[INFO] [stderr]     |
[INFO] [stderr] 844 |             PatKind::Application(con, arg) => self.visit_pat(&arg),
[INFO] [stderr]     |                                  ^^^ help: if this is intentional, prefix it with an underscore: `_con`
[INFO] [stderr] 
[INFO] [stderr] warning: unused variable: `ty`
[INFO] [stderr]    --> 07_system_fw/src/elaborate.rs:851:41
[INFO] [stderr]     |
[INFO] [stderr] 851 |             DeclKind::Datatype(_, name, ty) => self.types.push(&name),
[INFO] [stderr]     |                                         ^^ help: if this is intentional, prefix it with an underscore: `_ty`
[INFO] [stderr] 
[INFO] [stderr] warning: unused variable: `ty`
[INFO] [stderr]    --> 07_system_fw/src/elaborate.rs:852:37
[INFO] [stderr]     |
[INFO] [stderr] 852 |             DeclKind::Type(_, name, ty) => self.types.push(&name),
[INFO] [stderr]     |                                     ^^ help: if this is intentional, prefix it with an underscore: `_ty`
[INFO] [stderr] 
[INFO] [stderr] warning: unused variable: `expr`
[INFO] [stderr]    --> 07_system_fw/src/elaborate.rs:853:37
[INFO] [stderr]     |
[INFO] [stderr] 853 |             DeclKind::Value(_, pat, expr) => self.visit_pat(pat),
[INFO] [stderr]     |                                     ^^^^ help: if this is intentional, prefix it with an underscore: `_expr`
[INFO] [stderr] 
[INFO] [stderr] warning: unused variable: `arms`
[INFO] [stderr]    --> 07_system_fw/src/elaborate.rs:858:41
[INFO] [stderr]     |
[INFO] [stderr] 858 |             DeclKind::Function(_, name, arms) => self.values.push(&name),
[INFO] [stderr]     |                                         ^^^^ help: if this is intentional, prefix it with an underscore: `_arms`
[INFO] [stderr] 
[INFO] [stderr] warning: unused variable: `usize`
[INFO] [stderr]   --> 07_system_fw/src/hir/bidir.rs:64:17
[INFO] [stderr]    |
[INFO] [stderr] 64 |             Int(usize) => Ok(Type::Int),
[INFO] [stderr]    |                 ^^^^^ help: if this is intentional, prefix it with an underscore: `_usize`
[INFO] [stderr] 
[INFO] [stderr] warning: unused variable: `id`
[INFO] [stderr]   --> 07_system_fw/src/hir/bidir.rs:66:24
[INFO] [stderr]    |
[INFO] [stderr] 66 |             ProgramVar(id) => unimplemented!(),
[INFO] [stderr]    |                        ^^ help: if this is intentional, prefix it with an underscore: `_id`
[INFO] [stderr] 
[INFO] [stderr] warning: unused variable: `id`
[INFO] [stderr]   --> 07_system_fw/src/hir/bidir.rs:69:20
[INFO] [stderr]    |
[INFO] [stderr] 69 |             Constr(id, tag) => unimplemented!(),
[INFO] [stderr]    |                    ^^ help: if this is intentional, prefix it with an underscore: `_id`
[INFO] [stderr] 
[INFO] [stderr] warning: unused variable: `tag`
[INFO] [stderr]   --> 07_system_fw/src/hir/bidir.rs:69:24
[INFO] [stderr]    |
[INFO] [stderr] 69 |             Constr(id, tag) => unimplemented!(),
[INFO] [stderr]    |                        ^^^ help: if this is intentional, prefix it with an underscore: `_tag`
[INFO] [stderr] 
[INFO] [stderr] warning: unused variable: `id`
[INFO] [stderr]   --> 07_system_fw/src/hir/bidir.rs:70:22
[INFO] [stderr]    |
[INFO] [stderr] 70 |             Deconstr(id, tag) => unimplemented!(),
[INFO] [stderr]    |                      ^^ help: if this is intentional, prefix it with an underscore: `_id`
[INFO] [stderr] 
[INFO] [stderr] warning: unused variable: `tag`
[INFO] [stderr]   --> 07_system_fw/src/hir/bidir.rs:70:26
[INFO] [stderr]    |
[INFO] [stderr] 70 |             Deconstr(id, tag) => unimplemented!(),
[INFO] [stderr]    |                          ^^^ help: if this is intentional, prefix it with an underscore: `_tag`
[INFO] [stderr] 
[INFO] [stderr] warning: unused variable: `e1`
[INFO] [stderr]   --> 07_system_fw/src/hir/bidir.rs:71:16
[INFO] [stderr]    |
[INFO] [stderr] 71 |             If(e1, e2, e3) => unimplemented!(),
[INFO] [stderr]    |                ^^ help: if this is intentional, prefix it with an underscore: `_e1`
[INFO] [stderr] 
[INFO] [stderr] warning: unused variable: `e2`
[INFO] [stderr]   --> 07_system_fw/src/hir/bidir.rs:71:20
[INFO] [stderr]    |
[INFO] [stderr] 71 |             If(e1, e2, e3) => unimplemented!(),
[INFO] [stderr]    |                    ^^ help: if this is intentional, prefix it with an underscore: `_e2`
[INFO] [stderr] 
[INFO] [stderr] warning: unused variable: `e3`
[INFO] [stderr]   --> 07_system_fw/src/hir/bidir.rs:71:24
[INFO] [stderr]    |
[INFO] [stderr] 71 |             If(e1, e2, e3) => unimplemented!(),
[INFO] [stderr]    |                        ^^ help: if this is intentional, prefix it with an underscore: `_e3`
[INFO] [stderr] 
[INFO] [stderr] warning: unused variable: `ex`
[INFO] [stderr]   --> 07_system_fw/src/hir/bidir.rs:73:21
[INFO] [stderr]    |
[INFO] [stderr] 73 |             Abs(ty, ex) => {
[INFO] [stderr]    |                     ^^ help: if this is intentional, prefix it with an underscore: `_ex`
[INFO] [stderr] 
[INFO] [stderr] warning: unused variable: `e1`
[INFO] [stderr]   --> 07_system_fw/src/hir/bidir.rs:77:17
[INFO] [stderr]    |
[INFO] [stderr] 77 |             App(e1, e2) => unimplemented!(),
[INFO] [stderr]    |                 ^^ help: if this is intentional, prefix it with an underscore: `_e1`
[INFO] [stderr] 
[INFO] [stderr] warning: unused variable: `e2`
[INFO] [stderr]   --> 07_system_fw/src/hir/bidir.rs:77:21
[INFO] [stderr]    |
[INFO] [stderr] 77 |             App(e1, e2) => unimplemented!(),
[INFO] [stderr]    |                     ^^ help: if this is intentional, prefix it with an underscore: `_e2`
[INFO] [stderr] 
[INFO] [stderr] warning: unused variable: `k`
[INFO] [stderr]   --> 07_system_fw/src/hir/bidir.rs:78:19
[INFO] [stderr]    |
[INFO] [stderr] 78 |             TyAbs(k, ex) => unimplemented!(),
[INFO] [stderr]    |                   ^ help: if this is intentional, prefix it with an underscore: `_k`
[INFO] [stderr] 
[INFO] [stderr] warning: unused variable: `ex`
[INFO] [stderr]   --> 07_system_fw/src/hir/bidir.rs:78:22
[INFO] [stderr]    |
[INFO] [stderr] 78 |             TyAbs(k, ex) => unimplemented!(),
[INFO] [stderr]    |                      ^^ help: if this is intentional, prefix it with an underscore: `_ex`
[INFO] [stderr] 
[INFO] [stderr] warning: unused variable: `ex`
[INFO] [stderr]   --> 07_system_fw/src/hir/bidir.rs:79:19
[INFO] [stderr]    |
[INFO] [stderr] 79 |             TyApp(ex, ty) => unimplemented!(),
[INFO] [stderr]    |                   ^^ help: if this is intentional, prefix it with an underscore: `_ex`
[INFO] [stderr] 
[INFO] [stderr] warning: unused variable: `ty`
[INFO] [stderr]   --> 07_system_fw/src/hir/bidir.rs:79:23
[INFO] [stderr]    |
[INFO] [stderr] 79 |             TyApp(ex, ty) => unimplemented!(),
[INFO] [stderr]    |                       ^^ help: if this is intentional, prefix it with an underscore: `_ty`
[INFO] [stderr] 
[INFO] [stderr] warning: unused variable: `ex`
[INFO] [stderr]   --> 07_system_fw/src/hir/bidir.rs:95:24
[INFO] [stderr]    |
[INFO] [stderr] 95 |             RecordProj(ex, idx) => unimplemented!(),
[INFO] [stderr]    |                        ^^ help: if this is intentional, prefix it with an underscore: `_ex`
[INFO] [stderr] 
[INFO] [stderr] warning: unused variable: `idx`
[INFO] [stderr]   --> 07_system_fw/src/hir/bidir.rs:95:28
[INFO] [stderr]    |
[INFO] [stderr] 95 |             RecordProj(ex, idx) => unimplemented!(),
[INFO] [stderr]    |                            ^^^ help: if this is intentional, prefix it with an underscore: `_idx`
[INFO] [stderr] 
[INFO] [stderr] warning: unused variable: `ex`
[INFO] [stderr]   --> 07_system_fw/src/hir/bidir.rs:96:23
[INFO] [stderr]    |
[INFO] [stderr] 96 |             TupleProj(ex, idx) => unimplemented!(),
[INFO] [stderr]    |                       ^^ help: if this is intentional, prefix it with an underscore: `_ex`
[INFO] [stderr] 
[INFO] [stderr] warning: unused variable: `idx`
[INFO] [stderr]   --> 07_system_fw/src/hir/bidir.rs:96:27
[INFO] [stderr]    |
[INFO] [stderr] 96 |             TupleProj(ex, idx) => unimplemented!(),
[INFO] [stderr]    |                           ^^^ help: if this is intentional, prefix it with an underscore: `_idx`
[INFO] [stderr] 
[INFO] [stderr] warning: unused variable: `ex`
[INFO] [stderr]   --> 07_system_fw/src/hir/bidir.rs:97:18
[INFO] [stderr]    |
[INFO] [stderr] 97 |             Case(ex, arms) => unimplemented!(),
[INFO] [stderr]    |                  ^^ help: if this is intentional, prefix it with an underscore: `_ex`
[INFO] [stderr] 
[INFO] [stderr] warning: unused variable: `arms`
[INFO] [stderr]   --> 07_system_fw/src/hir/bidir.rs:97:22
[INFO] [stderr]    |
[INFO] [stderr] 97 |             Case(ex, arms) => unimplemented!(),
[INFO] [stderr]    |                      ^^^^ help: if this is intentional, prefix it with an underscore: `_arms`
[INFO] [stderr] 
[INFO] [stderr] warning: unused variable: `decls`
[INFO] [stderr]   --> 07_system_fw/src/hir/bidir.rs:98:17
[INFO] [stderr]    |
[INFO] [stderr] 98 |             Let(decls, ex) => unimplemented!(),
[INFO] [stderr]    |                 ^^^^^ help: if this is intentional, prefix it with an underscore: `_decls`
[INFO] [stderr] 
[INFO] [stderr] warning: unused variable: `ex`
[INFO] [stderr]   --> 07_system_fw/src/hir/bidir.rs:98:24
[INFO] [stderr]    |
[INFO] [stderr] 98 |             Let(decls, ex) => unimplemented!(),
[INFO] [stderr]    |                        ^^ help: if this is intentional, prefix it with an underscore: `_ex`
[INFO] [stderr] 
[INFO] [stderr] warning: unused variable: `ex`
[INFO] [stderr]   --> 07_system_fw/src/hir/bidir.rs:99:17
[INFO] [stderr]    |
[INFO] [stderr] 99 |             Fix(ex) => unimplemented!(),
[INFO] [stderr]    |                 ^^ help: if this is intentional, prefix it with an underscore: `_ex`
[INFO] [stderr] 
[INFO] [stderr] warning: unused `Result` that must be used
[INFO] [stderr]    --> 07_system_fw/src/hir/bidir.rs:115:17
[INFO] [stderr]     |
[INFO] [stderr] 115 |                 ctx.infer(e);
[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: `util` (lib test) generated 2 warnings (1 duplicate)
[INFO] [stderr] warning: `bidir` (bin "bidir" test) generated 19 warnings
[INFO] [stderr] warning: `dependent` (bin "dependent" test) generated 9 warnings
[INFO] [stderr] warning: `system_fw` (bin "system_fw" test) generated 38 warnings
[INFO] [stderr] warning: unused import: `Duration`
[INFO] [stderr]    --> 05_recon/src/main.rs:224:21
[INFO] [stderr]     |
[INFO] [stderr] 224 |     use std::time::{Duration, Instant};
[INFO] [stderr]     |                     ^^^^^^^^
[INFO] [stderr]     |
[INFO] [stderr]     = note: `#[warn(unused_imports)]` on by default
[INFO] [stderr] 
[INFO] [stderr] warning: use of deprecated associated function `std::sync::atomic::AtomicBool::compare_and_swap`: Use `compare_exchange` or `compare_exchange_weak` instead
[INFO] [stderr]   --> 05_recon/src/mutation/write_once.rs:45:23
[INFO] [stderr]    |
[INFO] [stderr] 45 |         if !self.init.compare_and_swap(false, true, Ordering::Acquire) {
[INFO] [stderr]    |                       ^^^^^^^^^^^^^^^^
[INFO] [stderr]    |
[INFO] [stderr]    = note: `#[warn(deprecated)]` on by default
[INFO] [stderr] 
[INFO] [stderr] warning: use of deprecated associated function `std::sync::atomic::AtomicBool::compare_and_swap`: Use `compare_exchange` or `compare_exchange_weak` instead
[INFO] [stderr]   --> 05_recon/src/mutation/write_once.rs:57:23
[INFO] [stderr]    |
[INFO] [stderr] 57 |         if !self.init.compare_and_swap(false, false, Ordering::Release) {
[INFO] [stderr]    |                       ^^^^^^^^^^^^^^^^
[INFO] [stderr] 
[INFO] [stderr] warning: unused variable: `input`
[INFO] [stderr]    --> 05_recon/src/main.rs:226:9
[INFO] [stderr]     |
[INFO] [stderr] 226 |     let input = "fn m. let y = m in let x = y true in x";
[INFO] [stderr]     |         ^^^^^ help: if this is intentional, prefix it with an underscore: `_input`
[INFO] [stderr]     |
[INFO] [stderr]     = note: `#[warn(unused_variables)]` on by default
[INFO] [stderr] 
[INFO] [stderr] warning: unused variable: `start`
[INFO] [stderr]    --> 05_recon/src/parser.rs:263:13
[INFO] [stderr]     |
[INFO] [stderr] 263 |         let start = self.expect(TokenKind::Lambda)?;
[INFO] [stderr]     |             ^^^^^ help: if this is intentional, prefix it with an underscore: `_start`
[INFO] [stderr] 
[INFO] [stderr] warning: unused variable: `start`
[INFO] [stderr]    --> 05_recon/src/parser.rs:277:13
[INFO] [stderr]     |
[INFO] [stderr] 277 |         let start = self.expect(TokenKind::Let)?;
[INFO] [stderr]     |             ^^^^^ help: if this is intentional, prefix it with an underscore: `_start`
[INFO] [stderr] 
[INFO] [stderr] warning: unused variable: `span`
[INFO] [stderr]    --> 05_recon/src/parser.rs:294:13
[INFO] [stderr]     |
[INFO] [stderr] 294 |         let span = self.span;
[INFO] [stderr]     |             ^^^^ help: if this is intentional, prefix it with an underscore: `_span`
[INFO] [stderr] 
[INFO] [stderr] warning: unused variable: `span`
[INFO] [stderr]    --> 05_recon/src/parser.rs:302:27
[INFO] [stderr]     |
[INFO] [stderr] 302 |         let Token { kind, span } = self.consume()?;
[INFO] [stderr]     |                           ^^^^ help: try ignoring the field: `span: _`
[INFO] [stderr] 
[INFO] [stderr] warning: unused variable: `sp`
[INFO] [stderr]    --> 05_recon/src/parser.rs:352:21
[INFO] [stderr]     |
[INFO] [stderr] 352 |                 let sp = self.consume()?.span;
[INFO] [stderr]     |                     ^^ help: if this is intentional, prefix it with an underscore: `_sp`
[INFO] [stderr] 
[INFO] [stderr] warning: unused variable: `vars`
[INFO] [stderr]   --> 05_recon/src/types.rs:99:26
[INFO] [stderr]    |
[INFO] [stderr] 99 |             Scheme::Poly(vars, ty) => ty.ftv(),
[INFO] [stderr]    |                          ^^^^ help: if this is intentional, prefix it with an underscore: `_vars`
[INFO] [stderr] 
[INFO] [stderr] warning: field is never read: `expr`
[INFO] [stderr]   --> 05_recon/src/main.rs:36:5
[INFO] [stderr]    |
[INFO] [stderr] 36 |     expr: TypedTerm,
[INFO] [stderr]    |     ^^^^^^^^^^^^^^^
[INFO] [stderr]    |
[INFO] [stderr]    = note: `#[warn(dead_code)]` on by default
[INFO] [stderr] note: `SystemF` has a derived impl for the trait `Debug`, but this is intentionally ignored during dead code analysis
[INFO] [stderr]   --> 05_recon/src/main.rs:34:10
[INFO] [stderr]    |
[INFO] [stderr] 34 | #[derive(Debug)]
[INFO] [stderr]    |          ^^^^^
[INFO] [stderr]    = note: this warning originates in the derive macro `Debug` (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stderr] 
[INFO] [stderr] warning: field is never read: `ty`
[INFO] [stderr]   --> 05_recon/src/main.rs:37:5
[INFO] [stderr]    |
[INFO] [stderr] 37 |     ty: T,
[INFO] [stderr]    |     ^^^^^
[INFO] [stderr]    |
[INFO] [stderr] note: `SystemF` has a derived impl for the trait `Debug`, but this is intentionally ignored during dead code analysis
[INFO] [stderr]   --> 05_recon/src/main.rs:34:10
[INFO] [stderr]    |
[INFO] [stderr] 34 | #[derive(Debug)]
[INFO] [stderr]    |          ^^^^^
[INFO] [stderr]    = note: this warning originates in the derive macro `Debug` (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stderr] 
[INFO] [stderr] warning: field is never read: `exist`
[INFO] [stderr]   --> 05_recon/src/main.rs:48:5
[INFO] [stderr]    |
[INFO] [stderr] 48 |     exist: TypeVar,
[INFO] [stderr]    |     ^^^^^^^^^^^^^^
[INFO] [stderr]    |
[INFO] [stderr] note: `Elaborator` has a derived impl for the trait `Debug`, but this is intentionally ignored during dead code analysis
[INFO] [stderr]   --> 05_recon/src/main.rs:46:19
[INFO] [stderr]    |
[INFO] [stderr] 46 | #[derive(Default, Debug)]
[INFO] [stderr]    |                   ^^^^^
[INFO] [stderr]    = note: this warning originates in the derive macro `Debug` (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stderr] 
[INFO] [stderr] warning: field is never read: `context`
[INFO] [stderr]   --> 05_recon/src/main.rs:49:5
[INFO] [stderr]    |
[INFO] [stderr] 49 |     context: Vec<Scheme>,
[INFO] [stderr]    |     ^^^^^^^^^^^^^^^^^^^^
[INFO] [stderr]    |
[INFO] [stderr] note: `Elaborator` has a derived impl for the trait `Debug`, but this is intentionally ignored during dead code analysis
[INFO] [stderr]   --> 05_recon/src/main.rs:46:19
[INFO] [stderr]    |
[INFO] [stderr] 46 | #[derive(Default, Debug)]
[INFO] [stderr]    |                   ^^^^^
[INFO] [stderr]    = note: this warning originates in the derive macro `Debug` (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stderr] 
[INFO] [stderr] warning: field is never read: `constraints`
[INFO] [stderr]   --> 05_recon/src/main.rs:50:5
[INFO] [stderr]    |
[INFO] [stderr] 50 |     constraints: Vec<(Type, Type)>,
[INFO] [stderr]    |     ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stderr]    |
[INFO] [stderr] note: `Elaborator` has a derived impl for the trait `Debug`, but this is intentionally ignored during dead code analysis
[INFO] [stderr]   --> 05_recon/src/main.rs:46:19
[INFO] [stderr]    |
[INFO] [stderr] 46 | #[derive(Default, Debug)]
[INFO] [stderr]    |                   ^^^^^
[INFO] [stderr]    = note: this warning originates in the derive macro `Debug` (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stderr] 
[INFO] [stderr] warning: field is never read: `uni`
[INFO] [stderr]   --> 05_recon/src/main.rs:52:5
[INFO] [stderr]    |
[INFO] [stderr] 52 |     uni: disjoint::Unifier,
[INFO] [stderr]    |     ^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stderr]    |
[INFO] [stderr] note: `Elaborator` has a derived impl for the trait `Debug`, but this is intentionally ignored during dead code analysis
[INFO] [stderr]   --> 05_recon/src/main.rs:46:19
[INFO] [stderr]    |
[INFO] [stderr] 46 | #[derive(Default, Debug)]
[INFO] [stderr]    |                   ^^^^^
[INFO] [stderr]    = note: this warning originates in the derive macro `Debug` (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stderr] 
[INFO] [stderr] warning: associated function is never used: `new`
[INFO] [stderr]   --> 05_recon/src/main.rs:56:8
[INFO] [stderr]    |
[INFO] [stderr] 56 |     fn new(expr: TypedTerm, ty: Type) -> SystemF {
[INFO] [stderr]    |        ^^^
[INFO] [stderr] 
[INFO] [stderr] warning: associated function is never used: `de`
[INFO] [stderr]   --> 05_recon/src/main.rs:60:8
[INFO] [stderr]    |
[INFO] [stderr] 60 |     fn de(self) -> (TypedTerm, Type) {
[INFO] [stderr]    |        ^^
[INFO] [stderr] 
[INFO] [stderr] warning: associated function is never used: `fresh`
[INFO] [stderr]   --> 05_recon/src/main.rs:66:8
[INFO] [stderr]    |
[INFO] [stderr] 66 |     fn fresh(&mut self) -> TypeVar {
[INFO] [stderr]    |        ^^^^^
[INFO] [stderr] 
[INFO] [stderr] warning: associated function is never used: `ftv`
[INFO] [stderr]   --> 05_recon/src/main.rs:72:8
[INFO] [stderr]    |
[INFO] [stderr] 72 |     fn ftv(&self) -> HashSet<TypeVar> {
[INFO] [stderr]    |        ^^^
[INFO] [stderr] 
[INFO] [stderr] warning: associated function is never used: `get_scheme`
[INFO] [stderr]   --> 05_recon/src/main.rs:80:8
[INFO] [stderr]    |
[INFO] [stderr] 80 |     fn get_scheme(&self, index: usize) -> Option<&Scheme> {
[INFO] [stderr]    |        ^^^^^^^^^^
[INFO] [stderr] 
[INFO] [stderr] warning: associated function is never used: `generalize`
[INFO] [stderr]   --> 05_recon/src/main.rs:89:8
[INFO] [stderr]    |
[INFO] [stderr] 89 |     fn generalize(&mut self, ty: Type) -> Scheme {
[INFO] [stderr]    |        ^^^^^^^^^^
[INFO] [stderr] 
[INFO] [stderr] warning: associated function is never used: `instantiate`
[INFO] [stderr]   --> 05_recon/src/main.rs:99:8
[INFO] [stderr]    |
[INFO] [stderr] 99 |     fn instantiate(&mut self, scheme: Scheme) -> Type {
[INFO] [stderr]    |        ^^^^^^^^^^^
[INFO] [stderr] 
[INFO] [stderr] warning: associated function is never used: `push`
[INFO] [stderr]    --> 05_recon/src/main.rs:114:8
[INFO] [stderr]     |
[INFO] [stderr] 114 |     fn push(&mut self, ty: (Type, Type)) {
[INFO] [stderr]     |        ^^^^
[INFO] [stderr] 
[INFO] [stderr] warning: associated function is never used: `elaborate`
[INFO] [stderr]    --> 05_recon/src/main.rs:120:8
[INFO] [stderr]     |
[INFO] [stderr] 120 |     fn elaborate(&mut self, term: &Term) -> SystemF {
[INFO] [stderr]     |        ^^^^^^^^^
[INFO] [stderr] 
[INFO] [stderr] warning: associated function is never used: `subst`
[INFO] [stderr]    --> 05_recon/src/main.rs:201:8
[INFO] [stderr]     |
[INFO] [stderr] 201 |     fn subst(self, s: &HashMap<TypeVar, Type>) -> TypedTerm {
[INFO] [stderr]     |        ^^^^^
[INFO] [stderr] 
[INFO] [stderr] warning: associated function is never used: `subst`
[INFO] [stderr]    --> 05_recon/src/main.rs:214:8
[INFO] [stderr]     |
[INFO] [stderr] 214 |     fn subst(self, s: &HashMap<TypeVar, Type>) -> SystemF {
[INFO] [stderr]     |        ^^^^^
[INFO] [stderr] 
[INFO] [stderr] warning: associated function is never used: `is_var`
[INFO] [stderr]    --> 05_recon/src/disjoint.rs:146:8
[INFO] [stderr]     |
[INFO] [stderr] 146 |     fn is_var(&self) -> bool {
[INFO] [stderr]     |        ^^^^^^
[INFO] [stderr] 
[INFO] [stderr] warning: field is never read: `expr`
[INFO] [stderr]   --> 05_recon/src/mutation/mod.rs:40:5
[INFO] [stderr]    |
[INFO] [stderr] 40 |     expr: TypedTerm,
[INFO] [stderr]    |     ^^^^^^^^^^^^^^^
[INFO] [stderr]    |
[INFO] [stderr] note: `SystemF` has a derived impl for the trait `Debug`, but this is intentionally ignored during dead code analysis
[INFO] [stderr]   --> 05_recon/src/mutation/mod.rs:38:10
[INFO] [stderr]    |
[INFO] [stderr] 38 | #[derive(Debug)]
[INFO] [stderr]    |          ^^^^^
[INFO] [stderr]    = note: this warning originates in the derive macro `Debug` (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stderr] 
[INFO] [stderr] warning: type alias is never used: `WriteOnceCell`
[INFO] [stderr]   --> 05_recon/src/mutation/write_once.rs:11:1
[INFO] [stderr]    |
[INFO] [stderr] 11 | pub type WriteOnceCell<T> = Rc<WriteOnce<T>>;
[INFO] [stderr]    | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stderr] 
[INFO] [stderr] warning: unused import: `Primitive`
[INFO] [stderr]  --> 06_system_f/src/terms/visit.rs:2:31
[INFO] [stderr]   |
[INFO] [stderr] 2 | use crate::terms::{Arm, Kind, Primitive, Term};
[INFO] [stderr]   |                               ^^^^^^^^^
[INFO] [stderr]   |
[INFO] [stderr]   = note: `#[warn(unused_imports)]` on by default
[INFO] [stderr] 
[INFO] [stderr] warning: `recon` (bin "recon" test) generated 30 warnings
[INFO] [stderr] warning: `system_f` (bin "system_f" test) generated 1 warning
[INFO] [stderr]     Finished test [unoptimized + debuginfo] target(s) in 0.01s
[INFO] [stderr]      Running unittests (/opt/rustwide/target/debug/deps/arith-d31a64729b711e76)
[INFO] [stdout] 
[INFO] [stdout] running 2 tests
[INFO] [stdout] test lexer::test::invalid ... ok
[INFO] [stdout] test lexer::test::valid ... ok
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 2 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.00s
[INFO] [stdout] 
[INFO] [stderr]      Running unittests (/opt/rustwide/target/debug/deps/bidir-76f4ba514000d0b1)
[INFO] [stdout] 
[INFO] [stdout] running 5 tests
[INFO] [stdout] test test::identity ... ok
[INFO] [stdout] test test::sum_type ... ok
[INFO] [stdout] test test::product_type ... ok
[INFO] [stdout] test test::application ... ok
[INFO] [stdout] test test::application2 ... ok
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 5 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.00s
[INFO] [stdout] 
[INFO] [stderr]      Running unittests (/opt/rustwide/target/debug/deps/dependent-f16c6d49b3b6d79c)
[INFO] [stdout] 
[INFO] [stdout] running 0 tests
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 0 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.00s
[INFO] [stdout] 
[INFO] [stderr]      Running unittests (/opt/rustwide/target/debug/deps/lambda-4a356dcc216c9919)
[INFO] [stderr]      Running unittests (/opt/rustwide/target/debug/deps/recon-c82c7a90c8bba5cb)
[INFO] [stdout] 
[INFO] [stdout] running 0 tests
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 0 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.00s
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] running 2 tests
[INFO] [stdout] test mutation::write_once::tests::smoke ... ok
[INFO] [stdout] test mutation::write_once::tests::smoke_shared ... ok
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 2 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.00s
[INFO] [stdout] 
[INFO] [stderr]      Running unittests (/opt/rustwide/target/debug/deps/stlc-6118dd302815142b)
[INFO] [stdout] 
[INFO] [stdout] running 2 tests
[INFO] [stdout] test lexer::test::invalid ... ok
[INFO] [stdout] test lexer::test::valid ... ok
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 2 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.00s
[INFO] [stdout] 
[INFO] [stderr]      Running unittests (/opt/rustwide/target/debug/deps/system_f-813b357f4a7be525)
[INFO] [stdout] 
[INFO] [stdout] running 17 tests
[INFO] [stdout] test eval::test::literal ... ok
[INFO] [stdout] test eval::test::application ... ok
[INFO] [stdout] test eval::test::type_application ... ok
[INFO] [stdout] test patterns::test::pattern_count ... ok
[INFO] [stdout] test eval::test::projection ... ok
[INFO] [stdout] test patterns::test::pattern_ty_stack ... ok
[INFO] [stdout] test patterns::test::pattern_var_stack ... ok
[INFO] [stdout] test syntax::lexer::test::case ... ok
[INFO] [stdout] test terms::test::pattern_matches ... ok
[INFO] [stdout] test syntax::lexer::test::nested ... ok
[INFO] [stdout] test types::patterns::test::constructor_product ... ok
[INFO] [stdout] test types::patterns::test::matrix_bool ... ok
[INFO] [stdout] test types::patterns::test::constructor ... ok
[INFO] [stdout] test types::patterns::test::matrix_constructor ... ok
[INFO] [stdout] test types::patterns::test::matrix_tuple ... ok
[INFO] [stdout] test types::patterns::test::product ... ok
[INFO] [stdout] test types::patterns::test::product_mistyped - should panic ... ok
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 17 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.02s
[INFO] [stdout] 
[INFO] [stderr]      Running unittests (/opt/rustwide/target/debug/deps/system_fw-dbb25d01d8062bce)
[INFO] [stdout] 
[INFO] [stdout] running 7 tests
[INFO] [stdout] test typecheck::test::ty_abs ... ok
[INFO] [stdout] test stack::test::order ... ok
[INFO] [stdout] test typecheck::test::ty_equivalence ... ok
[INFO] [stdout] test typecheck::test::ty_app ... ok
[INFO] [stdout] test typecheck::test::ty_record ... ok
[INFO] [stdout] test typecheck::test::ty_exist ... ok
[INFO] [stdout] test functor::tests::parameterized_functor ... ok
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 7 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.00s
[INFO] [stdout] 
[INFO] [stderr]      Running unittests (/opt/rustwide/target/debug/deps/typedarith-dfaf9626eb22d4bb)
[INFO] [stdout] 
[INFO] [stdout] running 2 tests
[INFO] [stdout] test lexer::test::invalid ... ok
[INFO] [stdout] test lexer::test::valid ... ok
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 2 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.00s
[INFO] [stdout] 
[INFO] [stderr]      Running unittests (/opt/rustwide/target/debug/deps/util-d16fbb1ba0bd2e53)
[INFO] [stdout] 
[INFO] [stdout] running 9 tests
[INFO] [stdout] test arena::test::fill ... ok
[INFO] [stdout] test arena::test::index_size ... ok
[INFO] [stdout] test arena::test::smoke_insert ... ok
[INFO] [stdout] test arena::test::smoke_iter ... ok
[INFO] [stdout] test arena::test::smoke_remove ... ok
[INFO] [stdout] test unsafe_arena::test::drop_test ... ok
[INFO] [stdout] test unsafe_arena::test::new_chunk ... ok
[INFO] [stdout] test unsafe_arena::test::references ... ok
[INFO] [stdout] test unsafe_arena::test::slice ... ok
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 9 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.00s
[INFO] [stdout] 
[INFO] [stderr]    Doc-tests util
[INFO] [stdout] 
[INFO] [stdout] running 2 tests
[INFO] [stdout] test src/arena.rs - arena (line 5) ... ok
[INFO] [stdout] test src/arena.rs - arena::Arena<T>::with_capacity (line 80) ... ok
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 2 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.28s
[INFO] [stdout] 
[INFO] running `Command { std: "docker" "inspect" "5b1044f6a446ef8d58e8895dce73aa4a9073c1d0f43d8cf914ccba0fd4f3640d", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "5b1044f6a446ef8d58e8895dce73aa4a9073c1d0f43d8cf914ccba0fd4f3640d", kill_on_drop: false }`
[INFO] [stdout] 5b1044f6a446ef8d58e8895dce73aa4a9073c1d0f43d8cf914ccba0fd4f3640d