[INFO] cloning repository https://github.com/yportne13/type-inference-by-example-in-rust
[INFO] running `Command { std: "git" "-c" "credential.helper=" "-c" "credential.helper=/workspace/cargo-home/bin/git-credential-null" "clone" "--bare" "https://github.com/yportne13/type-inference-by-example-in-rust" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Fyportne13%2Ftype-inference-by-example-in-rust", kill_on_drop: false }`
[INFO] [stderr] Cloning into bare repository '/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Fyportne13%2Ftype-inference-by-example-in-rust'...
[INFO] running `Command { std: "git" "rev-parse" "HEAD", kill_on_drop: false }`
[INFO] [stdout] 3818e82f8049f1b7704081483e74c9bd4a988841
[INFO] testing yportne13/type-inference-by-example-in-rust against nightly-2025-01-18+rustflags=-Zrandomize-layout for randomize-layout-2
[INFO] running `Command { std: "git" "clone" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Fyportne13%2Ftype-inference-by-example-in-rust" "/workspace/builds/worker-0-tc2/source", kill_on_drop: false }`
[INFO] [stderr] Cloning into '/workspace/builds/worker-0-tc2/source'...
[INFO] [stderr] done.
[INFO] validating manifest of git repo https://github.com/yportne13/type-inference-by-example-in-rust on toolchain nightly-2025-01-18
[INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+nightly-2025-01-18" "metadata" "--manifest-path" "Cargo.toml" "--no-deps", kill_on_drop: false }`
[INFO] started tweaking git repo https://github.com/yportne13/type-inference-by-example-in-rust
[INFO] finished tweaking git repo https://github.com/yportne13/type-inference-by-example-in-rust
[INFO] tweaked toml for git repo https://github.com/yportne13/type-inference-by-example-in-rust written to /workspace/builds/worker-0-tc2/source/Cargo.toml
[INFO] crate git repo https://github.com/yportne13/type-inference-by-example-in-rust already has a lockfile, it will not be regenerated
[INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+nightly-2025-01-18" "fetch" "--manifest-path" "Cargo.toml", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-0-tc2/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-0-tc2/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:819108c5571ea2e421544af4d832f968d213c87fbe3707a016657f43d2f853bc" "/opt/rustwide/cargo-home/bin/cargo" "+nightly-2025-01-18" "metadata" "--no-deps" "--format-version=1", kill_on_drop: false }`
[INFO] [stdout] 41eb112fe647ab0668dff3eb3b794c868f5447742002ac47568666f480839155
[INFO] running `Command { std: "docker" "start" "-a" "41eb112fe647ab0668dff3eb3b794c868f5447742002ac47568666f480839155", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "inspect" "41eb112fe647ab0668dff3eb3b794c868f5447742002ac47568666f480839155", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "41eb112fe647ab0668dff3eb3b794c868f5447742002ac47568666f480839155", kill_on_drop: false }`
[INFO] [stdout] 41eb112fe647ab0668dff3eb3b794c868f5447742002ac47568666f480839155
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-0-tc2/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-0-tc2/source:/opt/rustwide/workdir:ro,Z" "-v" "/var/lib/crater-agent-workspace/cargo-home:/opt/rustwide/cargo-home:ro,Z" "-v" "/var/lib/crater-agent-workspace/rustup-home:/opt/rustwide/rustup-home:ro,Z" "-e" "SOURCE_DIR=/opt/rustwide/workdir" "-e" "CARGO_TARGET_DIR=/opt/rustwide/target" "-e" "CARGO_INCREMENTAL=0" "-e" "RUST_BACKTRACE=full" "-e" "RUSTFLAGS=--cap-lints=forbid -Zrandomize-layout" "-e" "RUSTDOCFLAGS=--cap-lints=forbid" "-e" "CARGO_HOME=/opt/rustwide/cargo-home" "-e" "RUSTUP_HOME=/opt/rustwide/rustup-home" "-w" "/opt/rustwide/workdir" "-m" "1610612736" "--user" "0:0" "--network" "none" "ghcr.io/rust-lang/crates-build-env/linux@sha256:819108c5571ea2e421544af4d832f968d213c87fbe3707a016657f43d2f853bc" "/opt/rustwide/cargo-home/bin/cargo" "+nightly-2025-01-18" "build" "--frozen" "--message-format=json", kill_on_drop: false }`
[INFO] [stdout] d71f5f30d87382d46cb788f3e6c95520268e04c26d57ef72597dd26a8d1ea1d3
[INFO] running `Command { std: "docker" "start" "-a" "d71f5f30d87382d46cb788f3e6c95520268e04c26d57ef72597dd26a8d1ea1d3", kill_on_drop: false }`
[INFO] [stderr]    Compiling hindley_milner v0.1.0 (/opt/rustwide/workdir)
[INFO] [stdout] warning: unused imports: `Maybe` and `maybe`
[INFO] [stdout]  --> src/parser/mod.rs:1:12
[INFO] [stdout]   |
[INFO] [stdout] 1 | use core::{maybe, Maybe, Parser, Span};
[INFO] [stdout]   |            ^^^^^  ^^^^^
[INFO] [stdout]   |
[INFO] [stdout]   = note: `#[warn(unused_imports)]` on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `endline`
[INFO] [stdout]    --> src/parser/lex.rs:102:9
[INFO] [stdout]     |
[INFO] [stdout] 102 |     let endline = pmatch("\n").map(|x| x.map(|y| (y, EndLine)));
[INFO] [stdout]     |         ^^^^^^^ help: if this is intentional, prefix it with an underscore: `_endline`
[INFO] [stdout]     |
[INFO] [stdout]     = note: `#[warn(unused_variables)]` on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `fun`
[INFO] [stdout]    --> src/parser/mod.rs:176:17
[INFO] [stdout]     |
[INFO] [stdout] 176 |     let (input, fun) = kw(TokenKind::FunKeyword).parse(input)?;
[INFO] [stdout]     |                 ^^^ help: if this is intentional, prefix it with an underscore: `_fun`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `arrow`
[INFO] [stdout]    --> src/parser/mod.rs:178:17
[INFO] [stdout]     |
[INFO] [stdout] 178 |     let (input, arrow) = kw(TokenKind::Arrow).parse(input)?;
[INFO] [stdout]     |                 ^^^^^ help: if this is intentional, prefix it with an underscore: `_arrow`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `if_kw`
[INFO] [stdout]    --> src/parser/mod.rs:187:17
[INFO] [stdout]     |
[INFO] [stdout] 187 |     let (input, if_kw) = kw(TokenKind::IfKeyword).parse(input)?;
[INFO] [stdout]     |                 ^^^^^ help: if this is intentional, prefix it with an underscore: `_if_kw`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `then_kw`
[INFO] [stdout]    --> src/parser/mod.rs:189:17
[INFO] [stdout]     |
[INFO] [stdout] 189 |     let (input, then_kw) = kw(TokenKind::ThenKeyword).parse(input)?;
[INFO] [stdout]     |                 ^^^^^^^ help: if this is intentional, prefix it with an underscore: `_then_kw`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `else_kw`
[INFO] [stdout]    --> src/parser/mod.rs:191:17
[INFO] [stdout]     |
[INFO] [stdout] 191 |     let (input, else_kw) = kw(TokenKind::ElseKeyword).parse(input)?;
[INFO] [stdout]     |                 ^^^^^^^ help: if this is intentional, prefix it with an underscore: `_else_kw`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `keyword`
[INFO] [stdout]    --> src/parser/mod.rs:212:17
[INFO] [stdout]     |
[INFO] [stdout] 212 |     let (input, keyword) = kw(TokenKind::LetKeyword).parse(input)?;
[INFO] [stdout]     |                 ^^^^^^^ help: if this is intentional, prefix it with an underscore: `_keyword`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `eq`
[INFO] [stdout]    --> src/parser/mod.rs:214:17
[INFO] [stdout]     |
[INFO] [stdout] 214 |     let (input, eq) = kw(TokenKind::Eq).parse(input)?;
[INFO] [stdout]     |                 ^^ help: if this is intentional, prefix it with an underscore: `_eq`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: irrefutable `if let` pattern
[INFO] [stdout]   --> src/part5/mod.rs:91:16
[INFO] [stdout]    |
[INFO] [stdout] 91 |             if let Constraint::Equality(t1, t2) = constraint {
[INFO] [stdout]    |                ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout]    |
[INFO] [stdout]    = note: this pattern will always match, so the `if let` is useless
[INFO] [stdout]    = help: consider replacing the `if let` with a `let`
[INFO] [stdout]    = note: `#[warn(irrefutable_let_patterns)]` on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: irrefutable `if let` pattern
[INFO] [stdout]    --> src/part6/mod.rs:183:16
[INFO] [stdout]     |
[INFO] [stdout] 183 |             if let Constraint::CEquality(t1, t2) = constraint {
[INFO] [stdout]     |                ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout]     = note: this pattern will always match, so the `if let` is useless
[INFO] [stdout]     = help: consider replacing the `if let` with a `let`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: enum `Expect` is never used
[INFO] [stdout]  --> src/parser/mod.rs:9:10
[INFO] [stdout]   |
[INFO] [stdout] 9 | pub enum Expect {
[INFO] [stdout]   |          ^^^^^^
[INFO] [stdout]   |
[INFO] [stdout]   = note: `Expect` has derived impls for the traits `Debug` and `Clone`, but these are intentionally ignored during dead code analysis
[INFO] [stdout]   = note: `#[warn(dead_code)]` on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: enum `Term` is never used
[INFO] [stdout]   --> src/parser/mod.rs:20:10
[INFO] [stdout]    |
[INFO] [stdout] 20 | pub enum Term<'a> {
[INFO] [stdout]    |          ^^^^
[INFO] [stdout]    |
[INFO] [stdout]    = note: `Term` has derived impls for the traits `Debug` and `Clone`, but these are intentionally ignored during dead code analysis
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: enum `Type` is never used
[INFO] [stdout]   --> src/parser/mod.rs:43:10
[INFO] [stdout]    |
[INFO] [stdout] 43 | pub enum Type<'a> {
[INFO] [stdout]    |          ^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: struct `TypeVariable` is never constructed
[INFO] [stdout]   --> src/parser/mod.rs:71:12
[INFO] [stdout]    |
[INFO] [stdout] 71 | pub struct TypeVariable<'a> {
[INFO] [stdout]    |            ^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: function `kw` is never used
[INFO] [stdout]   --> src/parser/mod.rs:76:4
[INFO] [stdout]    |
[INFO] [stdout] 76 | fn kw<'a, 'b: 'a>(p: TokenKind) -> impl Parser<&'a [TokenNode<'b>], Span<'a, ()>> {
[INFO] [stdout]    |    ^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: function `string` is never used
[INFO] [stdout]   --> src/parser/mod.rs:90:4
[INFO] [stdout]    |
[INFO] [stdout] 90 | fn string<'a>(p: TokenKind) -> impl Parser<&'a [TokenNode<'a>], Span<'a, String>> {
[INFO] [stdout]    |    ^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: function `term` is never used
[INFO] [stdout]    --> src/parser/mod.rs:104:4
[INFO] [stdout]     |
[INFO] [stdout] 104 | fn term<'a>(input: &'a [TokenNode<'a>]) -> Option<(&'a [TokenNode<'a>], Term<'a>)> {
[INFO] [stdout]     |    ^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: function `const_or_var` is never used
[INFO] [stdout]    --> src/parser/mod.rs:108:4
[INFO] [stdout]     |
[INFO] [stdout] 108 | fn const_or_var<'a>(input: &'a [TokenNode<'a>]) -> Option<(&'a [TokenNode<'a>], Term<'a>)> {
[INFO] [stdout]     |    ^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: function `parens` is never used
[INFO] [stdout]    --> src/parser/mod.rs:138:4
[INFO] [stdout]     |
[INFO] [stdout] 138 | fn parens<'a>(input: &'a [TokenNode<'a>]) -> Option<(&'a [TokenNode<'a>], Term<'a>)> {
[INFO] [stdout]     |    ^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: function `subterm_no_sel` is never used
[INFO] [stdout]    --> src/parser/mod.rs:143:4
[INFO] [stdout]     |
[INFO] [stdout] 143 | fn subterm_no_sel<'a>(input: &'a [TokenNode<'a>]) -> Option<(&'a [TokenNode<'a>], Term<'a>)> {
[INFO] [stdout]     |    ^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: function `subterm` is never used
[INFO] [stdout]    --> src/parser/mod.rs:147:4
[INFO] [stdout]     |
[INFO] [stdout] 147 | fn subterm<'a>(input: &'a [TokenNode<'a>]) -> Option<(&'a [TokenNode<'a>], Term<'a>)> {
[INFO] [stdout]     |    ^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: function `record` is never used
[INFO] [stdout]    --> src/parser/mod.rs:160:4
[INFO] [stdout]     |
[INFO] [stdout] 160 | fn record<'a>(input: &'a [TokenNode<'a>]) -> Option<(&'a [TokenNode<'a>], Term<'a>)> {
[INFO] [stdout]     |    ^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: function `fun` is never used
[INFO] [stdout]    --> src/parser/mod.rs:175:4
[INFO] [stdout]     |
[INFO] [stdout] 175 | fn fun<'a>(input: &'a [TokenNode<'a>]) -> Option<(&'a [TokenNode<'a>], Term<'a>)> {
[INFO] [stdout]     |    ^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: function `ite` is never used
[INFO] [stdout]    --> src/parser/mod.rs:186:4
[INFO] [stdout]     |
[INFO] [stdout] 186 | fn ite<'a>(input: &'a [TokenNode<'a>]) -> Option<(&'a [TokenNode<'a>], Term<'a>)> {
[INFO] [stdout]     |    ^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: function `apps` is never used
[INFO] [stdout]    --> src/parser/mod.rs:200:4
[INFO] [stdout]     |
[INFO] [stdout] 200 | fn apps<'a>(input: &'a [TokenNode<'a>]) -> Option<(&'a [TokenNode<'a>], Term<'a>)> {
[INFO] [stdout]     |    ^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: function `toplvl` is never used
[INFO] [stdout]    --> src/parser/mod.rs:209:4
[INFO] [stdout]     |
[INFO] [stdout] 209 | fn toplvl<'a>(input: &'a [TokenNode<'a>]) -> Option<(&'a [TokenNode<'a>], (
[INFO] [stdout]     |    ^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: function `prgm` is never used
[INFO] [stdout]    --> src/parser/mod.rs:225:4
[INFO] [stdout]     |
[INFO] [stdout] 225 | fn prgm<'a>(input: &'a [TokenNode<'a>]) -> Option<(&'a [TokenNode<'a>], Vec<(Span<'a, String>, Box<Term<'a>>)>)> {
[INFO] [stdout]     |    ^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: field `path` is never read
[INFO] [stdout]   --> src/parser/core.rs:10:9
[INFO] [stdout]    |
[INFO] [stdout] 6  | pub struct Span<'a, T> {
[INFO] [stdout]    |            ---- field in this struct
[INFO] [stdout] ...
[INFO] [stdout] 10 |     pub path: &'a Path,
[INFO] [stdout]    |         ^^^^
[INFO] [stdout]    |
[INFO] [stdout]    = note: `Span` has a derived impl for the trait `Clone`, but this is intentionally ignored during dead code analysis
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: methods `map` and `len` are never used
[INFO] [stdout]   --> src/parser/core.rs:14:12
[INFO] [stdout]    |
[INFO] [stdout] 13 | impl<'a, T> Span<'a, T> {
[INFO] [stdout]    | ----------------------- methods in this implementation
[INFO] [stdout] 14 |     pub fn map<U>(self, f: impl Fn(T) -> U) -> Span<'a, U> {
[INFO] [stdout]    |            ^^^
[INFO] [stdout] ...
[INFO] [stdout] 22 |     pub fn len(&self) -> u32 {
[INFO] [stdout]    |            ^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: multiple methods are never used
[INFO] [stdout]    --> src/parser/core.rs:34:8
[INFO] [stdout]     |
[INFO] [stdout] 33  | pub trait Parser<I: Copy, A>: Sized + Copy {
[INFO] [stdout]     |           ------ methods in this trait
[INFO] [stdout] 34  |     fn parse(&self, input: I) -> Option<(I, A)>;
[INFO] [stdout]     |        ^^^^^
[INFO] [stdout] 35  |     fn with<P, B>(self, rhs: P) -> impl Parser<I, (A, B)>//T: AsRef<P>, 
[INFO] [stdout]     |        ^^^^
[INFO] [stdout] ...
[INFO] [stdout] 45  |     fn or<P>(self, rhs: P) -> impl Parser<I, A>
[INFO] [stdout]     |        ^^
[INFO] [stdout] ...
[INFO] [stdout] 51  |     fn map<B, F>(self, f: F) -> impl Parser<I, B>
[INFO] [stdout]     |        ^^^
[INFO] [stdout] ...
[INFO] [stdout] 60  |     fn option(self) -> impl Parser<I, Option<A>> {
[INFO] [stdout]     |        ^^^^^^
[INFO] [stdout] ...
[INFO] [stdout] 68  |     fn many0(self) -> impl Parser<I, Vec<A>> {
[INFO] [stdout]     |        ^^^^^
[INFO] [stdout] ...
[INFO] [stdout] 80  |     fn many0_sep<P, X>(self, sep: P) -> impl Parser<I, Vec<A>>
[INFO] [stdout]     |        ^^^^^^^^^
[INFO] [stdout] ...
[INFO] [stdout] 100 |     fn many1(self) -> impl Parser<I, Vec<A>> {
[INFO] [stdout]     |        ^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: type alias `Input` is never used
[INFO] [stdout]    --> src/parser/core.rs:120:10
[INFO] [stdout]     |
[INFO] [stdout] 120 | pub type Input<'a> = Span<'a, &'a str>;
[INFO] [stdout]     |          ^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: enum `Maybe` is never used
[INFO] [stdout]    --> src/parser/core.rs:123:10
[INFO] [stdout]     |
[INFO] [stdout] 123 | pub enum Maybe<'a, T, E> {
[INFO] [stdout]     |          ^^^^^
[INFO] [stdout]     |
[INFO] [stdout]     = note: `Maybe` has derived impls for the traits `Debug` and `Clone`, but these are intentionally ignored during dead code analysis
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: function `maybe` is never used
[INFO] [stdout]    --> src/parser/core.rs:128:8
[INFO] [stdout]     |
[INFO] [stdout] 128 | pub fn maybe<'a, T, P, E: Copy>(x: P, err: E) -> impl Parser<&'a [TokenNode<'a>], Maybe<'a, T, E>>
[INFO] [stdout]     |        ^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: function `pmatch` is never used
[INFO] [stdout]    --> src/parser/core.rs:138:8
[INFO] [stdout]     |
[INFO] [stdout] 138 | pub fn pmatch<'a, P: Pattern + Copy>(pat: P) -> impl Parser<Input<'a>, Span<'a, &'a str>> {
[INFO] [stdout]     |        ^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: multiple variants are never constructed
[INFO] [stdout]   --> src/parser/lex.rs:7:5
[INFO] [stdout]    |
[INFO] [stdout] 6  | pub enum TokenKind {
[INFO] [stdout]    |          --------- variants in this enum
[INFO] [stdout] 7  |     LetKeyword,
[INFO] [stdout]    |     ^^^^^^^^^^
[INFO] [stdout] 8  |     RecKeyword,
[INFO] [stdout]    |     ^^^^^^^^^^
[INFO] [stdout] 9  |     InKeyword,
[INFO] [stdout]    |     ^^^^^^^^^
[INFO] [stdout] 10 |     FunKeyword,
[INFO] [stdout]    |     ^^^^^^^^^^
[INFO] [stdout] 11 |     IfKeyword,
[INFO] [stdout]    |     ^^^^^^^^^
[INFO] [stdout] 12 |     ThenKeyword,
[INFO] [stdout]    |     ^^^^^^^^^^^
[INFO] [stdout] 13 |     ElseKeyword,
[INFO] [stdout]    |     ^^^^^^^^^^^
[INFO] [stdout] 14 |     TrueKeyword,
[INFO] [stdout]    |     ^^^^^^^^^^^
[INFO] [stdout] 15 |     FalseKeyword,
[INFO] [stdout]    |     ^^^^^^^^^^^^
[INFO] [stdout] 16 |
[INFO] [stdout] 17 |     LParen,
[INFO] [stdout]    |     ^^^^^^
[INFO] [stdout] 18 |     RParen,
[INFO] [stdout]    |     ^^^^^^
[INFO] [stdout] 19 |     LCurly,
[INFO] [stdout]    |     ^^^^^^
[INFO] [stdout] 20 |     RCurly,
[INFO] [stdout]    |     ^^^^^^
[INFO] [stdout] 21 |     Eq,
[INFO] [stdout]    |     ^^
[INFO] [stdout] 22 |     Semi,
[INFO] [stdout]    |     ^^^^
[INFO] [stdout] 23 |     Comma,
[INFO] [stdout]    |     ^^^^^
[INFO] [stdout] 24 |     Colon,
[INFO] [stdout]    |     ^^^^^
[INFO] [stdout] 25 |     Arrow,
[INFO] [stdout]    |     ^^^^^
[INFO] [stdout] 26 |     Plus,
[INFO] [stdout]    |     ^^^^
[INFO] [stdout] 27 |     Minus,
[INFO] [stdout]    |     ^^^^^
[INFO] [stdout] 28 |     Star,
[INFO] [stdout]    |     ^^^^
[INFO] [stdout] 29 |     Slash,
[INFO] [stdout]    |     ^^^^^
[INFO] [stdout] 30 |     Dot,
[INFO] [stdout]    |     ^^^
[INFO] [stdout] 31 |
[INFO] [stdout] 32 |     Ident,
[INFO] [stdout]    |     ^^^^^
[INFO] [stdout] 33 |     Num,
[INFO] [stdout]    |     ^^^
[INFO] [stdout] 34 |     Op,
[INFO] [stdout]    |     ^^
[INFO] [stdout] 35 |     EndLine,
[INFO] [stdout]    |     ^^^^^^^
[INFO] [stdout] 36 |
[INFO] [stdout] 37 |     ErrToken,
[INFO] [stdout]    |     ^^^^^^^^
[INFO] [stdout]    |
[INFO] [stdout]    = note: `TokenKind` has derived impls for the traits `Debug` and `Clone`, but these are intentionally ignored during dead code analysis
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: constant `KEYWORD` is never used
[INFO] [stdout]   --> src/parser/lex.rs:42:7
[INFO] [stdout]    |
[INFO] [stdout] 42 | const KEYWORD: [(&str, TokenKind); 9] = [
[INFO] [stdout]    |       ^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: constant `OP` is never used
[INFO] [stdout]   --> src/parser/lex.rs:54:7
[INFO] [stdout]    |
[INFO] [stdout] 54 | const OP: [(&str, TokenKind); 14] = [
[INFO] [stdout]    |       ^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: type alias `TokenNode` is never used
[INFO] [stdout]   --> src/parser/lex.rs:71:10
[INFO] [stdout]    |
[INFO] [stdout] 71 | pub type TokenNode<'a> = Span<'a, (&'a str, TokenKind)>;
[INFO] [stdout]    |          ^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: function `lex` is never used
[INFO] [stdout]   --> src/parser/lex.rs:73:8
[INFO] [stdout]    |
[INFO] [stdout] 73 | pub fn lex<'a>(input: Span<'a, &'a str>) -> Option<(Input<'a>, Vec<TokenNode<'a>>)> {
[INFO] [stdout]    |        ^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: struct `Pgrm` is never constructed
[INFO] [stdout]  --> src/ast/mod.rs:3:12
[INFO] [stdout]   |
[INFO] [stdout] 3 | pub struct Pgrm {
[INFO] [stdout]   |            ^^^^
[INFO] [stdout]   |
[INFO] [stdout]   = note: `Pgrm` has derived impls for the traits `Debug` and `Clone`, but these are intentionally ignored during dead code analysis
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: enum `Term` is never used
[INFO] [stdout]  --> src/ast/mod.rs:8:10
[INFO] [stdout]   |
[INFO] [stdout] 8 | pub enum Term {
[INFO] [stdout]   |          ^^^^
[INFO] [stdout]   |
[INFO] [stdout]   = note: `Term` has derived impls for the traits `Debug` and `Clone`, but these are intentionally ignored during dead code analysis
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: enum `Type` is never used
[INFO] [stdout]   --> src/ast/mod.rs:19:10
[INFO] [stdout]    |
[INFO] [stdout] 19 | pub enum Type {
[INFO] [stdout]    |          ^^^^
[INFO] [stdout]    |
[INFO] [stdout]    = note: `Type` has derived impls for the traits `Debug` and `Clone`, but these are intentionally ignored during dead code analysis
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: struct `TypeVariable` is never constructed
[INFO] [stdout]   --> src/ast/mod.rs:32:12
[INFO] [stdout]    |
[INFO] [stdout] 32 | pub struct TypeVariable {
[INFO] [stdout]    |            ^^^^^^^^^^^^
[INFO] [stdout]    |
[INFO] [stdout]    = note: `TypeVariable` has derived impls for the traits `Debug` and `Clone`, but these are intentionally ignored during dead code analysis
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variants `Var`, `Int`, `Bool`, and `Fun` are never constructed
[INFO] [stdout]   --> src/tyck/mod.rs:7:5
[INFO] [stdout]    |
[INFO] [stdout] 6  | pub enum Ty {
[INFO] [stdout]    |          -- variants in this enum
[INFO] [stdout] 7  |     Var(String),
[INFO] [stdout]    |     ^^^
[INFO] [stdout] 8  |     Int,
[INFO] [stdout]    |     ^^^
[INFO] [stdout] 9  |     Bool,
[INFO] [stdout]    |     ^^^^
[INFO] [stdout] 10 |     Fun(Box<Ty>, Box<Ty>),
[INFO] [stdout]    |     ^^^
[INFO] [stdout]    |
[INFO] [stdout]    = note: `Ty` has derived impls for the traits `Debug` and `Clone`, but these are intentionally ignored during dead code analysis
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: struct `Scheme` is never constructed
[INFO] [stdout]   --> src/tyck/mod.rs:16:8
[INFO] [stdout]    |
[INFO] [stdout] 16 | struct Scheme {
[INFO] [stdout]    |        ^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: type alias `Struct` is never used
[INFO] [stdout]   --> src/tyck/mod.rs:24:6
[INFO] [stdout]    |
[INFO] [stdout] 24 | type Struct = HashMap<String, Ty>;
[INFO] [stdout]    |      ^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: enum `Expression` is never used
[INFO] [stdout]  --> src/part5/mod.rs:8:10
[INFO] [stdout]   |
[INFO] [stdout] 8 | pub enum Expression {
[INFO] [stdout]   |          ^^^^^^^^^^
[INFO] [stdout]   |
[INFO] [stdout]   = note: `Expression` has derived impls for the traits `Clone` and `Debug`, but these are intentionally ignored during dead code analysis
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variants `Constructor` and `Variable` are never constructed
[INFO] [stdout]   --> src/part5/mod.rs:16:5
[INFO] [stdout]    |
[INFO] [stdout] 15 | pub enum Type {
[INFO] [stdout]    |          ---- variants in this enum
[INFO] [stdout] 16 |     Constructor(String, Vec<Type>),
[INFO] [stdout]    |     ^^^^^^^^^^^
[INFO] [stdout] 17 |     Variable(usize),
[INFO] [stdout]    |     ^^^^^^^^
[INFO] [stdout]    |
[INFO] [stdout]    = note: `Type` has derived impls for the traits `Clone` and `Debug`, but these are intentionally ignored during dead code analysis
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: enum `Constraint` is never used
[INFO] [stdout]   --> src/part5/mod.rs:21:10
[INFO] [stdout]    |
[INFO] [stdout] 21 | pub enum Constraint {
[INFO] [stdout]    |          ^^^^^^^^^^
[INFO] [stdout]    |
[INFO] [stdout]    = note: `Constraint` has derived impls for the traits `Clone` and `Debug`, but these are intentionally ignored during dead code analysis
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: struct `Inference` is never constructed
[INFO] [stdout]   --> src/part5/mod.rs:42:12
[INFO] [stdout]    |
[INFO] [stdout] 42 | pub struct Inference {
[INFO] [stdout]    |            ^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: multiple associated items are never used
[INFO] [stdout]    --> src/part5/mod.rs:48:12
[INFO] [stdout]     |
[INFO] [stdout] 47  | impl Inference {
[INFO] [stdout]     | -------------- associated items in this implementation
[INFO] [stdout] 48  |     pub fn new() -> Self {
[INFO] [stdout]     |            ^^^
[INFO] [stdout] ...
[INFO] [stdout] 55  |     fn fresh_type_variable(&mut self) -> Type {
[INFO] [stdout]     |        ^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] ...
[INFO] [stdout] 61  |     fn infer_type(
[INFO] [stdout]     |        ^^^^^^^^^^
[INFO] [stdout] ...
[INFO] [stdout] 88  |     fn solve_constraints(&mut self) -> Result<(), String> {
[INFO] [stdout]     |        ^^^^^^^^^^^^^^^^^
[INFO] [stdout] ...
[INFO] [stdout] 98  |     fn unify(&mut self, t1: Type, t2: Type) -> Result<(), String> {
[INFO] [stdout]     |        ^^^^^
[INFO] [stdout] ...
[INFO] [stdout] 135 |     fn occurs_in(&self, index: usize, t: &Type) -> bool {
[INFO] [stdout]     |        ^^^^^^^^^
[INFO] [stdout] ...
[INFO] [stdout] 145 |     fn substitute(&self, t: &Type) -> Type {
[INFO] [stdout]     |        ^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: function `initial_environment` is never used
[INFO] [stdout]    --> src/part5/mod.rs:162:4
[INFO] [stdout]     |
[INFO] [stdout] 162 | fn initial_environment() -> HashMap<String, Type> {
[INFO] [stdout]     |    ^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: function `infer` is never used
[INFO] [stdout]    --> src/part5/mod.rs:188:4
[INFO] [stdout]     |
[INFO] [stdout] 188 | fn infer(expression: Expression) -> Result<Type, String> {
[INFO] [stdout]     |    ^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: function `print_infer` is never used
[INFO] [stdout]    --> src/part5/mod.rs:195:8
[INFO] [stdout]     |
[INFO] [stdout] 195 | pub fn print_infer(expression: Expression) -> String {
[INFO] [stdout]     |        ^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: enum `Expression` is never used
[INFO] [stdout]  --> src/part6/mod.rs:8:10
[INFO] [stdout]   |
[INFO] [stdout] 8 | pub enum Expression {
[INFO] [stdout]   |          ^^^^^^^^^^
[INFO] [stdout]   |
[INFO] [stdout]   = note: `Expression` has derived impls for the traits `Clone` and `Debug`, but these are intentionally ignored during dead code analysis
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: struct `Parameter` is never constructed
[INFO] [stdout]   --> src/part6/mod.rs:19:12
[INFO] [stdout]    |
[INFO] [stdout] 19 | pub struct Parameter {
[INFO] [stdout]    |            ^^^^^^^^^
[INFO] [stdout]    |
[INFO] [stdout]    = note: `Parameter` has derived impls for the traits `Clone` and `Debug`, but these are intentionally ignored during dead code analysis
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variants `Constructor` and `Variable` are never constructed
[INFO] [stdout]   --> src/part6/mod.rs:26:5
[INFO] [stdout]    |
[INFO] [stdout] 25 | pub enum Type {
[INFO] [stdout]    |          ---- variants in this enum
[INFO] [stdout] 26 |     Constructor(String, Vec<Type>),
[INFO] [stdout]    |     ^^^^^^^^^^^
[INFO] [stdout] 27 |     Variable(usize),
[INFO] [stdout]    |     ^^^^^^^^
[INFO] [stdout]    |
[INFO] [stdout]    = note: `Type` has derived impls for the traits `Clone` and `Debug`, but these are intentionally ignored during dead code analysis
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: method `to_string` is never used
[INFO] [stdout]   --> src/part6/mod.rs:31:12
[INFO] [stdout]    |
[INFO] [stdout] 30 | impl Type {
[INFO] [stdout]    | --------- method in this implementation
[INFO] [stdout] 31 |     pub fn to_string(&self) -> String {
[INFO] [stdout]    |            ^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: enum `Constraint` is never used
[INFO] [stdout]   --> src/part6/mod.rs:46:10
[INFO] [stdout]    |
[INFO] [stdout] 46 | pub enum Constraint {
[INFO] [stdout]    |          ^^^^^^^^^^
[INFO] [stdout]    |
[INFO] [stdout]    = note: `Constraint` has derived impls for the traits `Clone` and `Debug`, but these are intentionally ignored during dead code analysis
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: struct `Inference` is never constructed
[INFO] [stdout]   --> src/part6/mod.rs:67:12
[INFO] [stdout]    |
[INFO] [stdout] 67 | pub struct Inference {
[INFO] [stdout]    |            ^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: multiple associated items are never used
[INFO] [stdout]    --> src/part6/mod.rs:73:12
[INFO] [stdout]     |
[INFO] [stdout] 72  | impl Inference {
[INFO] [stdout]     | -------------- associated items in this implementation
[INFO] [stdout] 73  |     pub fn new() -> Self {
[INFO] [stdout]     |            ^^^
[INFO] [stdout] ...
[INFO] [stdout] 80  |     pub fn fresh_type_variable(&mut self) -> Type {
[INFO] [stdout]     |            ^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] ...
[INFO] [stdout] 86  |     pub fn infer(
[INFO] [stdout]     |            ^^^^^
[INFO] [stdout] ...
[INFO] [stdout] 180 |     pub fn solve_constraints(&mut self) {
[INFO] [stdout]     |            ^^^^^^^^^^^^^^^^^
[INFO] [stdout] ...
[INFO] [stdout] 189 |     pub fn unify(&mut self, t1: Type, t2: Type) -> Result<(), String> {
[INFO] [stdout]     |            ^^^^^
[INFO] [stdout] ...
[INFO] [stdout] 226 |     pub fn occurs_in(&self, index: usize, t: &Type) -> bool {
[INFO] [stdout]     |            ^^^^^^^^^
[INFO] [stdout] ...
[INFO] [stdout] 236 |     pub fn substitute(&self, t: &Type) -> Type {
[INFO] [stdout]     |            ^^^^^^^^^^
[INFO] [stdout] ...
[INFO] [stdout] 248 |     pub fn substitute_expression(&self, expression: Expression) -> Expression {
[INFO] [stdout]     |            ^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: function `initial_environment` is never used
[INFO] [stdout]    --> src/part6/mod.rs:295:4
[INFO] [stdout]     |
[INFO] [stdout] 295 | fn initial_environment() -> HashMap<String, Type> {
[INFO] [stdout]     |    ^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: function `infer` is never used
[INFO] [stdout]    --> src/part6/mod.rs:314:4
[INFO] [stdout]     |
[INFO] [stdout] 314 | fn infer(expression: Expression) -> Result<Expression, String> {
[INFO] [stdout]     |    ^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: function `print_infer` is never used
[INFO] [stdout]    --> src/part6/mod.rs:322:8
[INFO] [stdout]     |
[INFO] [stdout] 322 | pub fn print_infer(expression: Expression) -> String {
[INFO] [stdout]     |        ^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: enum `Expression` is never used
[INFO] [stdout]  --> src/part7/mod.rs:9:10
[INFO] [stdout]   |
[INFO] [stdout] 9 | pub enum Expression {
[INFO] [stdout]   |          ^^^^^^^^^^
[INFO] [stdout]   |
[INFO] [stdout]   = note: `Expression` has derived impls for the traits `Clone` and `Debug`, but these are intentionally ignored during dead code analysis
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: struct `GenericFunction` is never constructed
[INFO] [stdout]   --> src/part7/mod.rs:22:12
[INFO] [stdout]    |
[INFO] [stdout] 22 | pub struct GenericFunction {
[INFO] [stdout]    |            ^^^^^^^^^^^^^^^
[INFO] [stdout]    |
[INFO] [stdout]    = note: `GenericFunction` has derived impls for the traits `Clone` and `Debug`, but these are intentionally ignored during dead code analysis
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: struct `GenericType` is never constructed
[INFO] [stdout]   --> src/part7/mod.rs:29:12
[INFO] [stdout]    |
[INFO] [stdout] 29 | pub struct GenericType {
[INFO] [stdout]    |            ^^^^^^^^^^^
[INFO] [stdout]    |
[INFO] [stdout]    = note: `GenericType` has derived impls for the traits `Clone` and `Debug`, but these are intentionally ignored during dead code analysis
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: struct `Parameter` is never constructed
[INFO] [stdout]   --> src/part7/mod.rs:35:12
[INFO] [stdout]    |
[INFO] [stdout] 35 | pub struct Parameter {
[INFO] [stdout]    |            ^^^^^^^^^
[INFO] [stdout]    |
[INFO] [stdout]    = note: `Parameter` has derived impls for the traits `Clone` and `Debug`, but these are intentionally ignored during dead code analysis
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variants `Constructor` and `Variable` are never constructed
[INFO] [stdout]   --> src/part7/mod.rs:42:5
[INFO] [stdout]    |
[INFO] [stdout] 41 | pub enum Type {
[INFO] [stdout]    |          ---- variants in this enum
[INFO] [stdout] 42 |     Constructor(String, Vec<Type>),
[INFO] [stdout]    |     ^^^^^^^^^^^
[INFO] [stdout] 43 |     Variable(usize),
[INFO] [stdout]    |     ^^^^^^^^
[INFO] [stdout]    |
[INFO] [stdout]    = note: `Type` has derived impls for the traits `Clone` and `Debug`, but these are intentionally ignored during dead code analysis
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: enum `Constraint` is never used
[INFO] [stdout]   --> src/part7/mod.rs:62:10
[INFO] [stdout]    |
[INFO] [stdout] 62 | pub enum Constraint {
[INFO] [stdout]    |          ^^^^^^^^^^
[INFO] [stdout]    |
[INFO] [stdout]    = note: `Constraint` has derived impls for the traits `Clone` and `Debug`, but these are intentionally ignored during dead code analysis
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: struct `GenericName` is never constructed
[INFO] [stdout]   --> src/part7/mod.rs:83:8
[INFO] [stdout]    |
[INFO] [stdout] 83 | struct GenericName {
[INFO] [stdout]    |        ^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: associated items `new` and `next` are never used
[INFO] [stdout]   --> src/part7/mod.rs:89:12
[INFO] [stdout]    |
[INFO] [stdout] 88 | impl GenericName {
[INFO] [stdout]    | ---------------- associated items in this implementation
[INFO] [stdout] 89 |     pub fn new() -> Self {
[INFO] [stdout]    |            ^^^
[INFO] [stdout] ...
[INFO] [stdout] 95 |     pub fn next(&mut self) -> String {
[INFO] [stdout]    |            ^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: struct `Inference` is never constructed
[INFO] [stdout]    --> src/part7/mod.rs:107:12
[INFO] [stdout]     |
[INFO] [stdout] 107 | pub struct Inference {
[INFO] [stdout]     |            ^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: multiple associated items are never used
[INFO] [stdout]    --> src/part7/mod.rs:114:12
[INFO] [stdout]     |
[INFO] [stdout] 113 | impl Inference {
[INFO] [stdout]     | -------------- associated items in this implementation
[INFO] [stdout] 114 |     pub fn new() -> Self {
[INFO] [stdout]     |            ^^^
[INFO] [stdout] ...
[INFO] [stdout] 122 |     fn fresh_type_variable(&mut self) -> Type {
[INFO] [stdout]     |        ^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] ...
[INFO] [stdout] 128 |     pub fn infer(
[INFO] [stdout]     |            ^^^^^
[INFO] [stdout] ...
[INFO] [stdout] 313 |     fn solve_constraints(&mut self) -> Result<(), TypeError> {
[INFO] [stdout]     |        ^^^^^^^^^^^^^^^^^
[INFO] [stdout] ...
[INFO] [stdout] 323 |     fn unify(&mut self, t1: Type, t2: Type) -> Result<(), TypeError> {
[INFO] [stdout]     |        ^^^^^
[INFO] [stdout] ...
[INFO] [stdout] 364 |     fn occurs_in(&self, index: usize, t: &Type) -> bool {
[INFO] [stdout]     |        ^^^^^^^^^
[INFO] [stdout] ...
[INFO] [stdout] 372 |     fn free_in_type(&self, t: &Type) -> HashSet<usize> {
[INFO] [stdout]     |        ^^^^^^^^^^^^
[INFO] [stdout] ...
[INFO] [stdout] 383 |     fn free_in_generic_type(&self, t: &GenericType) -> HashSet<usize> {
[INFO] [stdout]     |        ^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] ...
[INFO] [stdout] 387 |     fn free_in_environment(&self, environment: &HashMap<String, GenericType>) -> HashSet<usize> {
[INFO] [stdout]     |        ^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] ...
[INFO] [stdout] 394 |     fn generalize(
[INFO] [stdout]     |        ^^^^^^^^^^
[INFO] [stdout] ...
[INFO] [stdout] 423 |     fn instantiate(&self, instantiation: HashMap<String, Type>, t: Type) -> Type {
[INFO] [stdout]     |        ^^^^^^^^^^^
[INFO] [stdout] ...
[INFO] [stdout] 443 |     fn substitute(&self, substitution: &[Type], t: &Type) -> Type {
[INFO] [stdout]     |        ^^^^^^^^^^
[INFO] [stdout] ...
[INFO] [stdout] 454 |     fn substitute_expression(
[INFO] [stdout]     |        ^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: associated functions `infer_expression` and `print_infer` are never used
[INFO] [stdout]    --> src/part7/mod.rs:538:12
[INFO] [stdout]     |
[INFO] [stdout] 537 | impl Inference {
[INFO] [stdout]     | -------------- associated functions in this implementation
[INFO] [stdout] 538 |     pub fn infer_expression(expression: Expression) -> Result<Expression, TypeError> {
[INFO] [stdout]     |            ^^^^^^^^^^^^^^^^
[INFO] [stdout] ...
[INFO] [stdout] 629 |     pub fn print_infer(expression: Expression) -> String {
[INFO] [stdout]     |            ^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused `Result` that must be used
[INFO] [stdout]    --> src/part6/mod.rs:184:17
[INFO] [stdout]     |
[INFO] [stdout] 184 |                 self.unify(t1, t2);
[INFO] [stdout]     |                 ^^^^^^^^^^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout]     = note: this `Result` may be an `Err` variant, which should be handled
[INFO] [stdout]     = note: `#[warn(unused_must_use)]` on by default
[INFO] [stdout] help: use `let _ = ...` to ignore the resulting value
[INFO] [stdout]     |
[INFO] [stdout] 184 |                 let _ = self.unify(t1, t2);
[INFO] [stdout]     |                 +++++++
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stderr]     Finished `dev` profile [unoptimized + debuginfo] target(s) in 0.75s
[INFO] running `Command { std: "docker" "inspect" "d71f5f30d87382d46cb788f3e6c95520268e04c26d57ef72597dd26a8d1ea1d3", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "d71f5f30d87382d46cb788f3e6c95520268e04c26d57ef72597dd26a8d1ea1d3", kill_on_drop: false }`
[INFO] [stdout] d71f5f30d87382d46cb788f3e6c95520268e04c26d57ef72597dd26a8d1ea1d3
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-0-tc2/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-0-tc2/source:/opt/rustwide/workdir:ro,Z" "-v" "/var/lib/crater-agent-workspace/cargo-home:/opt/rustwide/cargo-home:ro,Z" "-v" "/var/lib/crater-agent-workspace/rustup-home:/opt/rustwide/rustup-home:ro,Z" "-e" "SOURCE_DIR=/opt/rustwide/workdir" "-e" "CARGO_TARGET_DIR=/opt/rustwide/target" "-e" "CARGO_INCREMENTAL=0" "-e" "RUST_BACKTRACE=full" "-e" "RUSTFLAGS=--cap-lints=forbid -Zrandomize-layout" "-e" "RUSTDOCFLAGS=--cap-lints=forbid" "-e" "CARGO_HOME=/opt/rustwide/cargo-home" "-e" "RUSTUP_HOME=/opt/rustwide/rustup-home" "-w" "/opt/rustwide/workdir" "-m" "1610612736" "--user" "0:0" "--network" "none" "ghcr.io/rust-lang/crates-build-env/linux@sha256:819108c5571ea2e421544af4d832f968d213c87fbe3707a016657f43d2f853bc" "/opt/rustwide/cargo-home/bin/cargo" "+nightly-2025-01-18" "test" "--frozen" "--no-run" "--message-format=json", kill_on_drop: false }`
[INFO] [stdout] cdfd0448bdb3ef3c47381a3201924bdcb5f231ad2fbbcd0666be12e2f84c7fff
[INFO] running `Command { std: "docker" "start" "-a" "cdfd0448bdb3ef3c47381a3201924bdcb5f231ad2fbbcd0666be12e2f84c7fff", kill_on_drop: false }`
[INFO] [stderr]    Compiling hindley_milner v0.1.0 (/opt/rustwide/workdir)
[INFO] [stdout] warning: unused imports: `Maybe` and `maybe`
[INFO] [stdout]  --> src/parser/mod.rs:1:12
[INFO] [stdout]   |
[INFO] [stdout] 1 | use core::{maybe, Maybe, Parser, Span};
[INFO] [stdout]   |            ^^^^^  ^^^^^
[INFO] [stdout]   |
[INFO] [stdout]   = note: `#[warn(unused_imports)]` on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `endline`
[INFO] [stdout]    --> src/parser/lex.rs:102:9
[INFO] [stdout]     |
[INFO] [stdout] 102 |     let endline = pmatch("\n").map(|x| x.map(|y| (y, EndLine)));
[INFO] [stdout]     |         ^^^^^^^ help: if this is intentional, prefix it with an underscore: `_endline`
[INFO] [stdout]     |
[INFO] [stdout]     = note: `#[warn(unused_variables)]` on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `fun`
[INFO] [stdout]    --> src/parser/mod.rs:176:17
[INFO] [stdout]     |
[INFO] [stdout] 176 |     let (input, fun) = kw(TokenKind::FunKeyword).parse(input)?;
[INFO] [stdout]     |                 ^^^ help: if this is intentional, prefix it with an underscore: `_fun`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `arrow`
[INFO] [stdout]    --> src/parser/mod.rs:178:17
[INFO] [stdout]     |
[INFO] [stdout] 178 |     let (input, arrow) = kw(TokenKind::Arrow).parse(input)?;
[INFO] [stdout]     |                 ^^^^^ help: if this is intentional, prefix it with an underscore: `_arrow`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `if_kw`
[INFO] [stdout]    --> src/parser/mod.rs:187:17
[INFO] [stdout]     |
[INFO] [stdout] 187 |     let (input, if_kw) = kw(TokenKind::IfKeyword).parse(input)?;
[INFO] [stdout]     |                 ^^^^^ help: if this is intentional, prefix it with an underscore: `_if_kw`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `then_kw`
[INFO] [stdout]    --> src/parser/mod.rs:189:17
[INFO] [stdout]     |
[INFO] [stdout] 189 |     let (input, then_kw) = kw(TokenKind::ThenKeyword).parse(input)?;
[INFO] [stdout]     |                 ^^^^^^^ help: if this is intentional, prefix it with an underscore: `_then_kw`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `else_kw`
[INFO] [stdout]    --> src/parser/mod.rs:191:17
[INFO] [stdout]     |
[INFO] [stdout] 191 |     let (input, else_kw) = kw(TokenKind::ElseKeyword).parse(input)?;
[INFO] [stdout]     |                 ^^^^^^^ help: if this is intentional, prefix it with an underscore: `_else_kw`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `keyword`
[INFO] [stdout]    --> src/parser/mod.rs:212:17
[INFO] [stdout]     |
[INFO] [stdout] 212 |     let (input, keyword) = kw(TokenKind::LetKeyword).parse(input)?;
[INFO] [stdout]     |                 ^^^^^^^ help: if this is intentional, prefix it with an underscore: `_keyword`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `eq`
[INFO] [stdout]    --> src/parser/mod.rs:214:17
[INFO] [stdout]     |
[INFO] [stdout] 214 |     let (input, eq) = kw(TokenKind::Eq).parse(input)?;
[INFO] [stdout]     |                 ^^ help: if this is intentional, prefix it with an underscore: `_eq`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: irrefutable `if let` pattern
[INFO] [stdout]   --> src/part5/mod.rs:91:16
[INFO] [stdout]    |
[INFO] [stdout] 91 |             if let Constraint::Equality(t1, t2) = constraint {
[INFO] [stdout]    |                ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout]    |
[INFO] [stdout]    = note: this pattern will always match, so the `if let` is useless
[INFO] [stdout]    = help: consider replacing the `if let` with a `let`
[INFO] [stdout]    = note: `#[warn(irrefutable_let_patterns)]` on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: irrefutable `if let` pattern
[INFO] [stdout]    --> src/part6/mod.rs:183:16
[INFO] [stdout]     |
[INFO] [stdout] 183 |             if let Constraint::CEquality(t1, t2) = constraint {
[INFO] [stdout]     |                ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout]     = note: this pattern will always match, so the `if let` is useless
[INFO] [stdout]     = help: consider replacing the `if let` with a `let`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: enum `Expect` is never used
[INFO] [stdout]  --> src/parser/mod.rs:9:10
[INFO] [stdout]   |
[INFO] [stdout] 9 | pub enum Expect {
[INFO] [stdout]   |          ^^^^^^
[INFO] [stdout]   |
[INFO] [stdout]   = note: `Expect` has derived impls for the traits `Debug` and `Clone`, but these are intentionally ignored during dead code analysis
[INFO] [stdout]   = note: `#[warn(dead_code)]` on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: field `0` is never read
[INFO] [stdout]   --> src/parser/mod.rs:21:9
[INFO] [stdout]    |
[INFO] [stdout] 21 |     Lit(Span<'a, i32>),
[INFO] [stdout]    |     --- ^^^^^^^^^^^^^
[INFO] [stdout]    |     |
[INFO] [stdout]    |     field in this variant
[INFO] [stdout]    |
[INFO] [stdout]    = note: `Term` has derived impls for the traits `Debug` and `Clone`, but these are intentionally ignored during dead code analysis
[INFO] [stdout] help: consider changing the field to be of unit type to suppress this warning while preserving the field numbering, or remove the field
[INFO] [stdout]    |
[INFO] [stdout] 21 |     Lit(()),
[INFO] [stdout]    |         ~~
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: field `0` is never read
[INFO] [stdout]   --> src/parser/mod.rs:22:10
[INFO] [stdout]    |
[INFO] [stdout] 22 |     Bool(Span<'a, bool>),
[INFO] [stdout]    |     ---- ^^^^^^^^^^^^^^
[INFO] [stdout]    |     |
[INFO] [stdout]    |     field in this variant
[INFO] [stdout]    |
[INFO] [stdout]    = note: `Term` has derived impls for the traits `Debug` and `Clone`, but these are intentionally ignored during dead code analysis
[INFO] [stdout] help: consider changing the field to be of unit type to suppress this warning while preserving the field numbering, or remove the field
[INFO] [stdout]    |
[INFO] [stdout] 22 |     Bool(()),
[INFO] [stdout]    |          ~~
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: field `0` is never read
[INFO] [stdout]   --> src/parser/mod.rs:23:9
[INFO] [stdout]    |
[INFO] [stdout] 23 |     Var(Span<'a, String>),
[INFO] [stdout]    |     --- ^^^^^^^^^^^^^^^^
[INFO] [stdout]    |     |
[INFO] [stdout]    |     field in this variant
[INFO] [stdout]    |
[INFO] [stdout]    = note: `Term` has derived impls for the traits `Debug` and `Clone`, but these are intentionally ignored during dead code analysis
[INFO] [stdout] help: consider changing the field to be of unit type to suppress this warning while preserving the field numbering, or remove the field
[INFO] [stdout]    |
[INFO] [stdout] 23 |     Var(()),
[INFO] [stdout]    |         ~~
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: fields `ident` and `term` are never read
[INFO] [stdout]   --> src/parser/mod.rs:26:9
[INFO] [stdout]    |
[INFO] [stdout] 25 |     Lam {
[INFO] [stdout]    |     --- fields in this variant
[INFO] [stdout] 26 |         ident: Span<'a, String>,
[INFO] [stdout]    |         ^^^^^
[INFO] [stdout] 27 |         term: Box<Term<'a>>,
[INFO] [stdout]    |         ^^^^
[INFO] [stdout]    |
[INFO] [stdout]    = note: `Term` has derived impls for the traits `Debug` and `Clone`, but these are intentionally ignored during dead code analysis
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: fields `0` and `1` are never read
[INFO] [stdout]   --> src/parser/mod.rs:29:9
[INFO] [stdout]    |
[INFO] [stdout] 29 |     App(Box<Term<'a>>, Box<Term<'a>>),
[INFO] [stdout]    |     --- ^^^^^^^^^^^^^  ^^^^^^^^^^^^^
[INFO] [stdout]    |     |
[INFO] [stdout]    |     fields in this variant
[INFO] [stdout]    |
[INFO] [stdout]    = note: `Term` has derived impls for the traits `Debug` and `Clone`, but these are intentionally ignored during dead code analysis
[INFO] [stdout] help: consider changing the fields to be of unit type to suppress this warning while preserving the field numbering, or remove the fields
[INFO] [stdout]    |
[INFO] [stdout] 29 |     App((), ()),
[INFO] [stdout]    |         ~~  ~~
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: fields `left`, `data`, and `right` are never read
[INFO] [stdout]   --> src/parser/mod.rs:31:9
[INFO] [stdout]    |
[INFO] [stdout] 30 |     Rcd {
[INFO] [stdout]    |     --- fields in this variant
[INFO] [stdout] 31 |         left: Span<'a, ()>,
[INFO] [stdout]    |         ^^^^
[INFO] [stdout] 32 |         data: Vec<(Span<'a, String>, Span<'a, ()>, Term<'a>)>,
[INFO] [stdout]    |         ^^^^
[INFO] [stdout] 33 |         right: Span<'a, ()>,
[INFO] [stdout]    |         ^^^^^
[INFO] [stdout]    |
[INFO] [stdout]    = note: `Term` has derived impls for the traits `Debug` and `Clone`, but these are intentionally ignored during dead code analysis
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: fields `0` and `1` are never read
[INFO] [stdout]   --> src/parser/mod.rs:35:9
[INFO] [stdout]    |
[INFO] [stdout] 35 |     Sel(Box<Term<'a>>, Span<'a, String>),
[INFO] [stdout]    |     --- ^^^^^^^^^^^^^  ^^^^^^^^^^^^^^^^
[INFO] [stdout]    |     |
[INFO] [stdout]    |     fields in this variant
[INFO] [stdout]    |
[INFO] [stdout]    = note: `Term` has derived impls for the traits `Debug` and `Clone`, but these are intentionally ignored during dead code analysis
[INFO] [stdout] help: consider changing the fields to be of unit type to suppress this warning while preserving the field numbering, or remove the fields
[INFO] [stdout]    |
[INFO] [stdout] 35 |     Sel((), ()),
[INFO] [stdout]    |         ~~  ~~
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: fields `cond`, `rhs1`, and `rhs2` are never read
[INFO] [stdout]   --> src/parser/mod.rs:37:9
[INFO] [stdout]    |
[INFO] [stdout] 36 |     Ite {
[INFO] [stdout]    |     --- fields in this variant
[INFO] [stdout] 37 |         cond: Box<Term<'a>>,
[INFO] [stdout]    |         ^^^^
[INFO] [stdout] 38 |         rhs1: Box<Term<'a>>,
[INFO] [stdout]    |         ^^^^
[INFO] [stdout] 39 |         rhs2: Box<Term<'a>>,
[INFO] [stdout]    |         ^^^^
[INFO] [stdout]    |
[INFO] [stdout]    = note: `Term` has derived impls for the traits `Debug` and `Clone`, but these are intentionally ignored during dead code analysis
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: enum `Type` is never used
[INFO] [stdout]   --> src/parser/mod.rs:43:10
[INFO] [stdout]    |
[INFO] [stdout] 43 | pub enum Type<'a> {
[INFO] [stdout]    |          ^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: struct `TypeVariable` is never constructed
[INFO] [stdout]   --> src/parser/mod.rs:71:12
[INFO] [stdout]    |
[INFO] [stdout] 71 | pub struct TypeVariable<'a> {
[INFO] [stdout]    |            ^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: enum `Maybe` is never used
[INFO] [stdout]    --> src/parser/core.rs:123:10
[INFO] [stdout]     |
[INFO] [stdout] 123 | pub enum Maybe<'a, T, E> {
[INFO] [stdout]     |          ^^^^^
[INFO] [stdout]     |
[INFO] [stdout]     = note: `Maybe` has derived impls for the traits `Debug` and `Clone`, but these are intentionally ignored during dead code analysis
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: function `maybe` is never used
[INFO] [stdout]    --> src/parser/core.rs:128:8
[INFO] [stdout]     |
[INFO] [stdout] 128 | pub fn maybe<'a, T, P, E: Copy>(x: P, err: E) -> impl Parser<&'a [TokenNode<'a>], Maybe<'a, T, E>>
[INFO] [stdout]     |        ^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: struct `Pgrm` is never constructed
[INFO] [stdout]  --> src/ast/mod.rs:3:12
[INFO] [stdout]   |
[INFO] [stdout] 3 | pub struct Pgrm {
[INFO] [stdout]   |            ^^^^
[INFO] [stdout]   |
[INFO] [stdout]   = note: `Pgrm` has derived impls for the traits `Debug` and `Clone`, but these are intentionally ignored during dead code analysis
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: enum `Term` is never used
[INFO] [stdout]  --> src/ast/mod.rs:8:10
[INFO] [stdout]   |
[INFO] [stdout] 8 | pub enum Term {
[INFO] [stdout]   |          ^^^^
[INFO] [stdout]   |
[INFO] [stdout]   = note: `Term` has derived impls for the traits `Debug` and `Clone`, but these are intentionally ignored during dead code analysis
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: enum `Type` is never used
[INFO] [stdout]   --> src/ast/mod.rs:19:10
[INFO] [stdout]    |
[INFO] [stdout] 19 | pub enum Type {
[INFO] [stdout]    |          ^^^^
[INFO] [stdout]    |
[INFO] [stdout]    = note: `Type` has derived impls for the traits `Debug` and `Clone`, but these are intentionally ignored during dead code analysis
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: struct `TypeVariable` is never constructed
[INFO] [stdout]   --> src/ast/mod.rs:32:12
[INFO] [stdout]    |
[INFO] [stdout] 32 | pub struct TypeVariable {
[INFO] [stdout]    |            ^^^^^^^^^^^^
[INFO] [stdout]    |
[INFO] [stdout]    = note: `TypeVariable` has derived impls for the traits `Debug` and `Clone`, but these are intentionally ignored during dead code analysis
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variants `Var`, `Int`, `Bool`, and `Fun` are never constructed
[INFO] [stdout]   --> src/tyck/mod.rs:7:5
[INFO] [stdout]    |
[INFO] [stdout] 6  | pub enum Ty {
[INFO] [stdout]    |          -- variants in this enum
[INFO] [stdout] 7  |     Var(String),
[INFO] [stdout]    |     ^^^
[INFO] [stdout] 8  |     Int,
[INFO] [stdout]    |     ^^^
[INFO] [stdout] 9  |     Bool,
[INFO] [stdout]    |     ^^^^
[INFO] [stdout] 10 |     Fun(Box<Ty>, Box<Ty>),
[INFO] [stdout]    |     ^^^
[INFO] [stdout]    |
[INFO] [stdout]    = note: `Ty` has derived impls for the traits `Debug` and `Clone`, but these are intentionally ignored during dead code analysis
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: struct `Scheme` is never constructed
[INFO] [stdout]   --> src/tyck/mod.rs:16:8
[INFO] [stdout]    |
[INFO] [stdout] 16 | struct Scheme {
[INFO] [stdout]    |        ^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: type alias `Struct` is never used
[INFO] [stdout]   --> src/tyck/mod.rs:24:6
[INFO] [stdout]    |
[INFO] [stdout] 24 | type Struct = HashMap<String, Ty>;
[INFO] [stdout]    |      ^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: field `0` is never read
[INFO] [stdout]   --> src/part6/mod.rs:13:9
[INFO] [stdout]    |
[INFO] [stdout] 13 |     Int(i32),
[INFO] [stdout]    |     --- ^^^
[INFO] [stdout]    |     |
[INFO] [stdout]    |     field in this variant
[INFO] [stdout]    |
[INFO] [stdout]    = note: `Expression` has derived impls for the traits `Clone` and `Debug`, but these are intentionally ignored during dead code analysis
[INFO] [stdout] help: consider changing the field to be of unit type to suppress this warning while preserving the field numbering, or remove the field
[INFO] [stdout]    |
[INFO] [stdout] 13 |     Int(()),
[INFO] [stdout]    |         ~~
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variant `String` is never constructed
[INFO] [stdout]   --> src/part6/mod.rs:14:5
[INFO] [stdout]    |
[INFO] [stdout] 8  | pub enum Expression {
[INFO] [stdout]    |          ---------- variant in this enum
[INFO] [stdout] ...
[INFO] [stdout] 14 |     String(String),
[INFO] [stdout]    |     ^^^^^^
[INFO] [stdout]    |
[INFO] [stdout]    = note: `Expression` has derived impls for the traits `Clone` and `Debug`, but these are intentionally ignored during dead code analysis
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: method `to_string` is never used
[INFO] [stdout]   --> src/part6/mod.rs:31:12
[INFO] [stdout]    |
[INFO] [stdout] 30 | impl Type {
[INFO] [stdout]    | --------- method in this implementation
[INFO] [stdout] 31 |     pub fn to_string(&self) -> String {
[INFO] [stdout]    |            ^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: function `initial_environment` is never used
[INFO] [stdout]    --> src/part6/mod.rs:295:4
[INFO] [stdout]     |
[INFO] [stdout] 295 | fn initial_environment() -> HashMap<String, Type> {
[INFO] [stdout]     |    ^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: field `0` is never read
[INFO] [stdout]   --> src/part7/mod.rs:15:9
[INFO] [stdout]    |
[INFO] [stdout] 15 |     Int(i32),
[INFO] [stdout]    |     --- ^^^
[INFO] [stdout]    |     |
[INFO] [stdout]    |     field in this variant
[INFO] [stdout]    |
[INFO] [stdout]    = note: `Expression` has derived impls for the traits `Clone` and `Debug`, but these are intentionally ignored during dead code analysis
[INFO] [stdout] help: consider changing the field to be of unit type to suppress this warning while preserving the field numbering, or remove the field
[INFO] [stdout]    |
[INFO] [stdout] 15 |     Int(()),
[INFO] [stdout]    |         ~~
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variants `Let`, `String`, `Array`, and `Semicolon` are never constructed
[INFO] [stdout]   --> src/part7/mod.rs:14:5
[INFO] [stdout]    |
[INFO] [stdout] 9  | pub enum Expression {
[INFO] [stdout]    |          ---------- variants in this enum
[INFO] [stdout] ...
[INFO] [stdout] 14 |     Let(String, Option<Type>, Box<Expression>, Box<Expression>),
[INFO] [stdout]    |     ^^^
[INFO] [stdout] 15 |     Int(i32),
[INFO] [stdout] 16 |     String(String),
[INFO] [stdout]    |     ^^^^^^
[INFO] [stdout] 17 |     Array(Option<Type>, Vec<Expression>),
[INFO] [stdout]    |     ^^^^^
[INFO] [stdout] 18 |     Semicolon(Box<Expression>, Box<Expression>),
[INFO] [stdout]    |     ^^^^^^^^^
[INFO] [stdout]    |
[INFO] [stdout]    = note: `Expression` has derived impls for the traits `Clone` and `Debug`, but these are intentionally ignored during dead code analysis
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused `Result` that must be used
[INFO] [stdout]    --> src/part6/mod.rs:184:17
[INFO] [stdout]     |
[INFO] [stdout] 184 |                 self.unify(t1, t2);
[INFO] [stdout]     |                 ^^^^^^^^^^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout]     = note: this `Result` may be an `Err` variant, which should be handled
[INFO] [stdout]     = note: `#[warn(unused_must_use)]` on by default
[INFO] [stdout] help: use `let _ = ...` to ignore the resulting value
[INFO] [stdout]     |
[INFO] [stdout] 184 |                 let _ = self.unify(t1, t2);
[INFO] [stdout]     |                 +++++++
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stderr]     Finished `test` profile [unoptimized + debuginfo] target(s) in 2.04s
[INFO] running `Command { std: "docker" "inspect" "cdfd0448bdb3ef3c47381a3201924bdcb5f231ad2fbbcd0666be12e2f84c7fff", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "cdfd0448bdb3ef3c47381a3201924bdcb5f231ad2fbbcd0666be12e2f84c7fff", kill_on_drop: false }`
[INFO] [stdout] cdfd0448bdb3ef3c47381a3201924bdcb5f231ad2fbbcd0666be12e2f84c7fff
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-0-tc2/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-0-tc2/source:/opt/rustwide/workdir:ro,Z" "-v" "/var/lib/crater-agent-workspace/cargo-home:/opt/rustwide/cargo-home:ro,Z" "-v" "/var/lib/crater-agent-workspace/rustup-home:/opt/rustwide/rustup-home:ro,Z" "-e" "SOURCE_DIR=/opt/rustwide/workdir" "-e" "CARGO_TARGET_DIR=/opt/rustwide/target" "-e" "CARGO_INCREMENTAL=0" "-e" "RUST_BACKTRACE=full" "-e" "RUSTFLAGS=--cap-lints=forbid -Zrandomize-layout" "-e" "RUSTDOCFLAGS=--cap-lints=forbid" "-e" "CARGO_HOME=/opt/rustwide/cargo-home" "-e" "RUSTUP_HOME=/opt/rustwide/rustup-home" "-w" "/opt/rustwide/workdir" "-m" "1610612736" "--user" "0:0" "--network" "none" "ghcr.io/rust-lang/crates-build-env/linux@sha256:819108c5571ea2e421544af4d832f968d213c87fbe3707a016657f43d2f853bc" "/opt/rustwide/cargo-home/bin/cargo" "+nightly-2025-01-18" "test" "--frozen", kill_on_drop: false }`
[INFO] [stdout] cddc99ea5c2e9e25ba826ea7e2b62f68e9ec7a48f17d37292dc0f634cef54341
[INFO] running `Command { std: "docker" "start" "-a" "cddc99ea5c2e9e25ba826ea7e2b62f68e9ec7a48f17d37292dc0f634cef54341", kill_on_drop: false }`
[INFO] [stderr] warning: unused imports: `Maybe` and `maybe`
[INFO] [stderr]  --> src/parser/mod.rs:1:12
[INFO] [stderr]   |
[INFO] [stderr] 1 | use core::{maybe, Maybe, Parser, Span};
[INFO] [stderr]   |            ^^^^^  ^^^^^
[INFO] [stderr]   |
[INFO] [stderr]   = note: `#[warn(unused_imports)]` on by default
[INFO] [stderr] 
[INFO] [stderr] warning: unused variable: `endline`
[INFO] [stderr]    --> src/parser/lex.rs:102:9
[INFO] [stderr]     |
[INFO] [stderr] 102 |     let endline = pmatch("\n").map(|x| x.map(|y| (y, EndLine)));
[INFO] [stderr]     |         ^^^^^^^ help: if this is intentional, prefix it with an underscore: `_endline`
[INFO] [stderr]     |
[INFO] [stderr]     = note: `#[warn(unused_variables)]` on by default
[INFO] [stderr] 
[INFO] [stderr] warning: unused variable: `fun`
[INFO] [stderr]    --> src/parser/mod.rs:176:17
[INFO] [stderr]     |
[INFO] [stderr] 176 |     let (input, fun) = kw(TokenKind::FunKeyword).parse(input)?;
[INFO] [stderr]     |                 ^^^ help: if this is intentional, prefix it with an underscore: `_fun`
[INFO] [stderr] 
[INFO] [stderr] warning: unused variable: `arrow`
[INFO] [stderr]    --> src/parser/mod.rs:178:17
[INFO] [stderr]     |
[INFO] [stderr] 178 |     let (input, arrow) = kw(TokenKind::Arrow).parse(input)?;
[INFO] [stderr]     |                 ^^^^^ help: if this is intentional, prefix it with an underscore: `_arrow`
[INFO] [stderr] 
[INFO] [stderr] warning: unused variable: `if_kw`
[INFO] [stderr]    --> src/parser/mod.rs:187:17
[INFO] [stderr]     |
[INFO] [stderr] 187 |     let (input, if_kw) = kw(TokenKind::IfKeyword).parse(input)?;
[INFO] [stderr]     |                 ^^^^^ help: if this is intentional, prefix it with an underscore: `_if_kw`
[INFO] [stderr] 
[INFO] [stderr] warning: unused variable: `then_kw`
[INFO] [stderr]    --> src/parser/mod.rs:189:17
[INFO] [stderr]     |
[INFO] [stderr] 189 |     let (input, then_kw) = kw(TokenKind::ThenKeyword).parse(input)?;
[INFO] [stderr]     |                 ^^^^^^^ help: if this is intentional, prefix it with an underscore: `_then_kw`
[INFO] [stderr] 
[INFO] [stderr] warning: unused variable: `else_kw`
[INFO] [stderr]    --> src/parser/mod.rs:191:17
[INFO] [stderr]     |
[INFO] [stderr] 191 |     let (input, else_kw) = kw(TokenKind::ElseKeyword).parse(input)?;
[INFO] [stderr]     |                 ^^^^^^^ help: if this is intentional, prefix it with an underscore: `_else_kw`
[INFO] [stderr] 
[INFO] [stderr] warning: unused variable: `keyword`
[INFO] [stderr]    --> src/parser/mod.rs:212:17
[INFO] [stderr]     |
[INFO] [stderr] 212 |     let (input, keyword) = kw(TokenKind::LetKeyword).parse(input)?;
[INFO] [stderr]     |                 ^^^^^^^ help: if this is intentional, prefix it with an underscore: `_keyword`
[INFO] [stderr] 
[INFO] [stderr] warning: unused variable: `eq`
[INFO] [stderr]    --> src/parser/mod.rs:214:17
[INFO] [stderr]     |
[INFO] [stderr] 214 |     let (input, eq) = kw(TokenKind::Eq).parse(input)?;
[INFO] [stderr]     |                 ^^ help: if this is intentional, prefix it with an underscore: `_eq`
[INFO] [stderr] 
[INFO] [stderr] warning: irrefutable `if let` pattern
[INFO] [stderr]   --> src/part5/mod.rs:91:16
[INFO] [stderr]    |
[INFO] [stderr] 91 |             if let Constraint::Equality(t1, t2) = constraint {
[INFO] [stderr]    |                ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stderr]    |
[INFO] [stderr]    = note: this pattern will always match, so the `if let` is useless
[INFO] [stderr]    = help: consider replacing the `if let` with a `let`
[INFO] [stderr]    = note: `#[warn(irrefutable_let_patterns)]` on by default
[INFO] [stderr] 
[INFO] [stderr] warning: irrefutable `if let` pattern
[INFO] [stderr]    --> src/part6/mod.rs:183:16
[INFO] [stderr]     |
[INFO] [stderr] 183 |             if let Constraint::CEquality(t1, t2) = constraint {
[INFO] [stderr]     |                ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stderr]     |
[INFO] [stderr]     = note: this pattern will always match, so the `if let` is useless
[INFO] [stderr]     = help: consider replacing the `if let` with a `let`
[INFO] [stderr] 
[INFO] [stderr] warning: enum `Expect` is never used
[INFO] [stderr]  --> src/parser/mod.rs:9:10
[INFO] [stderr]   |
[INFO] [stderr] 9 | pub enum Expect {
[INFO] [stderr]   |          ^^^^^^
[INFO] [stderr]   |
[INFO] [stderr]   = note: `Expect` has derived impls for the traits `Debug` and `Clone`, but these are intentionally ignored during dead code analysis
[INFO] [stderr]   = note: `#[warn(dead_code)]` on by default
[INFO] [stderr] 
[INFO] [stderr] warning: field `0` is never read
[INFO] [stderr]   --> src/parser/mod.rs:21:9
[INFO] [stderr]    |
[INFO] [stderr] 21 |     Lit(Span<'a, i32>),
[INFO] [stderr]    |     --- ^^^^^^^^^^^^^
[INFO] [stderr]    |     |
[INFO] [stderr]    |     field in this variant
[INFO] [stderr]    |
[INFO] [stderr]    = note: `Term` has derived impls for the traits `Debug` and `Clone`, but these are intentionally ignored during dead code analysis
[INFO] [stderr] help: consider changing the field to be of unit type to suppress this warning while preserving the field numbering, or remove the field
[INFO] [stderr]    |
[INFO] [stderr] 21 |     Lit(()),
[INFO] [stderr]    |         ~~
[INFO] [stderr] 
[INFO] [stderr] warning: field `0` is never read
[INFO] [stderr]   --> src/parser/mod.rs:22:10
[INFO] [stderr]    |
[INFO] [stderr] 22 |     Bool(Span<'a, bool>),
[INFO] [stderr]    |     ---- ^^^^^^^^^^^^^^
[INFO] [stderr]    |     |
[INFO] [stderr]    |     field in this variant
[INFO] [stderr]    |
[INFO] [stderr]    = note: `Term` has derived impls for the traits `Debug` and `Clone`, but these are intentionally ignored during dead code analysis
[INFO] [stderr] help: consider changing the field to be of unit type to suppress this warning while preserving the field numbering, or remove the field
[INFO] [stderr]    |
[INFO] [stderr] 22 |     Bool(()),
[INFO] [stderr]    |          ~~
[INFO] [stderr] 
[INFO] [stderr] warning: field `0` is never read
[INFO] [stderr]   --> src/parser/mod.rs:23:9
[INFO] [stderr]    |
[INFO] [stderr] 23 |     Var(Span<'a, String>),
[INFO] [stderr]    |     --- ^^^^^^^^^^^^^^^^
[INFO] [stderr]    |     |
[INFO] [stderr]    |     field in this variant
[INFO] [stderr]    |
[INFO] [stderr]    = note: `Term` has derived impls for the traits `Debug` and `Clone`, but these are intentionally ignored during dead code analysis
[INFO] [stderr] help: consider changing the field to be of unit type to suppress this warning while preserving the field numbering, or remove the field
[INFO] [stderr]    |
[INFO] [stderr] 23 |     Var(()),
[INFO] [stderr]    |         ~~
[INFO] [stderr] 
[INFO] [stderr] warning: fields `ident` and `term` are never read
[INFO] [stderr]   --> src/parser/mod.rs:26:9
[INFO] [stderr]    |
[INFO] [stderr] 25 |     Lam {
[INFO] [stderr]    |     --- fields in this variant
[INFO] [stderr] 26 |         ident: Span<'a, String>,
[INFO] [stderr]    |         ^^^^^
[INFO] [stderr] 27 |         term: Box<Term<'a>>,
[INFO] [stderr]    |         ^^^^
[INFO] [stderr]    |
[INFO] [stderr]    = note: `Term` has derived impls for the traits `Debug` and `Clone`, but these are intentionally ignored during dead code analysis
[INFO] [stderr] 
[INFO] [stderr] warning: fields `0` and `1` are never read
[INFO] [stderr]   --> src/parser/mod.rs:29:9
[INFO] [stderr]    |
[INFO] [stderr] 29 |     App(Box<Term<'a>>, Box<Term<'a>>),
[INFO] [stderr]    |     --- ^^^^^^^^^^^^^  ^^^^^^^^^^^^^
[INFO] [stderr]    |     |
[INFO] [stderr]    |     fields in this variant
[INFO] [stderr]    |
[INFO] [stderr]    = note: `Term` has derived impls for the traits `Debug` and `Clone`, but these are intentionally ignored during dead code analysis
[INFO] [stderr] help: consider changing the fields to be of unit type to suppress this warning while preserving the field numbering, or remove the fields
[INFO] [stderr]    |
[INFO] [stderr] 29 |     App((), ()),
[INFO] [stderr]    |         ~~  ~~
[INFO] [stderr] 
[INFO] [stderr] warning: fields `left`, `data`, and `right` are never read
[INFO] [stderr]   --> src/parser/mod.rs:31:9
[INFO] [stderr]    |
[INFO] [stderr] 30 |     Rcd {
[INFO] [stderr]    |     --- fields in this variant
[INFO] [stderr] 31 |         left: Span<'a, ()>,
[INFO] [stderr]    |         ^^^^
[INFO] [stderr] 32 |         data: Vec<(Span<'a, String>, Span<'a, ()>, Term<'a>)>,
[INFO] [stderr]    |         ^^^^
[INFO] [stderr] 33 |         right: Span<'a, ()>,
[INFO] [stderr]    |         ^^^^^
[INFO] [stderr]    |
[INFO] [stderr]    = note: `Term` has derived impls for the traits `Debug` and `Clone`, but these are intentionally ignored during dead code analysis
[INFO] [stderr] 
[INFO] [stderr] warning: fields `0` and `1` are never read
[INFO] [stderr]   --> src/parser/mod.rs:35:9
[INFO] [stderr]    |
[INFO] [stderr] 35 |     Sel(Box<Term<'a>>, Span<'a, String>),
[INFO] [stderr]    |     --- ^^^^^^^^^^^^^  ^^^^^^^^^^^^^^^^
[INFO] [stderr]    |     |
[INFO] [stderr]    |     fields in this variant
[INFO] [stderr]    |
[INFO] [stderr]    = note: `Term` has derived impls for the traits `Debug` and `Clone`, but these are intentionally ignored during dead code analysis
[INFO] [stderr] help: consider changing the fields to be of unit type to suppress this warning while preserving the field numbering, or remove the fields
[INFO] [stderr]    |
[INFO] [stderr] 35 |     Sel((), ()),
[INFO] [stderr]    |         ~~  ~~
[INFO] [stderr] 
[INFO] [stderr] warning: fields `cond`, `rhs1`, and `rhs2` are never read
[INFO] [stderr]   --> src/parser/mod.rs:37:9
[INFO] [stderr]    |
[INFO] [stderr] 36 |     Ite {
[INFO] [stderr]    |     --- fields in this variant
[INFO] [stderr] 37 |         cond: Box<Term<'a>>,
[INFO] [stderr]    |         ^^^^
[INFO] [stderr] 38 |         rhs1: Box<Term<'a>>,
[INFO] [stderr]    |         ^^^^
[INFO] [stderr] 39 |         rhs2: Box<Term<'a>>,
[INFO] [stderr]    |         ^^^^
[INFO] [stderr]    |
[INFO] [stderr]    = note: `Term` has derived impls for the traits `Debug` and `Clone`, but these are intentionally ignored during dead code analysis
[INFO] [stderr] 
[INFO] [stderr] warning: enum `Type` is never used
[INFO] [stderr]   --> src/parser/mod.rs:43:10
[INFO] [stderr]    |
[INFO] [stderr] 43 | pub enum Type<'a> {
[INFO] [stderr]    |          ^^^^
[INFO] [stderr] 
[INFO] [stderr] warning: struct `TypeVariable` is never constructed
[INFO] [stderr]   --> src/parser/mod.rs:71:12
[INFO] [stderr]    |
[INFO] [stderr] 71 | pub struct TypeVariable<'a> {
[INFO] [stderr]    |            ^^^^^^^^^^^^
[INFO] [stderr] 
[INFO] [stderr] warning: enum `Maybe` is never used
[INFO] [stderr]    --> src/parser/core.rs:123:10
[INFO] [stderr]     |
[INFO] [stderr] 123 | pub enum Maybe<'a, T, E> {
[INFO] [stderr]     |          ^^^^^
[INFO] [stderr]     |
[INFO] [stderr]     = note: `Maybe` has derived impls for the traits `Debug` and `Clone`, but these are intentionally ignored during dead code analysis
[INFO] [stderr] 
[INFO] [stderr] warning: function `maybe` is never used
[INFO] [stderr]    --> src/parser/core.rs:128:8
[INFO] [stderr]     |
[INFO] [stderr] 128 | pub fn maybe<'a, T, P, E: Copy>(x: P, err: E) -> impl Parser<&'a [TokenNode<'a>], Maybe<'a, T, E>>
[INFO] [stderr]     |        ^^^^^
[INFO] [stderr] 
[INFO] [stderr] warning: struct `Pgrm` is never constructed
[INFO] [stderr]  --> src/ast/mod.rs:3:12
[INFO] [stderr]   |
[INFO] [stderr] 3 | pub struct Pgrm {
[INFO] [stderr]   |            ^^^^
[INFO] [stderr]   |
[INFO] [stderr]   = note: `Pgrm` has derived impls for the traits `Debug` and `Clone`, but these are intentionally ignored during dead code analysis
[INFO] [stderr] 
[INFO] [stderr] warning: enum `Term` is never used
[INFO] [stderr]  --> src/ast/mod.rs:8:10
[INFO] [stderr]   |
[INFO] [stderr] 8 | pub enum Term {
[INFO] [stderr]   |          ^^^^
[INFO] [stderr]   |
[INFO] [stderr]   = note: `Term` has derived impls for the traits `Debug` and `Clone`, but these are intentionally ignored during dead code analysis
[INFO] [stderr] 
[INFO] [stderr] warning: enum `Type` is never used
[INFO] [stderr]   --> src/ast/mod.rs:19:10
[INFO] [stderr]    |
[INFO] [stderr] 19 | pub enum Type {
[INFO] [stderr]    |          ^^^^
[INFO] [stderr]    |
[INFO] [stderr]    = note: `Type` has derived impls for the traits `Debug` and `Clone`, but these are intentionally ignored during dead code analysis
[INFO] [stderr] 
[INFO] [stderr] warning: struct `TypeVariable` is never constructed
[INFO] [stderr]   --> src/ast/mod.rs:32:12
[INFO] [stderr]    |
[INFO] [stderr] 32 | pub struct TypeVariable {
[INFO] [stderr]    |            ^^^^^^^^^^^^
[INFO] [stderr]    |
[INFO] [stderr]    = note: `TypeVariable` has derived impls for the traits `Debug` and `Clone`, but these are intentionally ignored during dead code analysis
[INFO] [stderr] 
[INFO] [stderr] warning: variants `Var`, `Int`, `Bool`, and `Fun` are never constructed
[INFO] [stderr]   --> src/tyck/mod.rs:7:5
[INFO] [stderr]    |
[INFO] [stderr] 6  | pub enum Ty {
[INFO] [stderr]    |          -- variants in this enum
[INFO] [stderr] 7  |     Var(String),
[INFO] [stderr]    |     ^^^
[INFO] [stderr] 8  |     Int,
[INFO] [stderr]    |     ^^^
[INFO] [stderr] 9  |     Bool,
[INFO] [stderr]    |     ^^^^
[INFO] [stderr] 10 |     Fun(Box<Ty>, Box<Ty>),
[INFO] [stderr]    |     ^^^
[INFO] [stderr]    |
[INFO] [stderr]    = note: `Ty` has derived impls for the traits `Debug` and `Clone`, but these are intentionally ignored during dead code analysis
[INFO] [stderr] 
[INFO] [stderr] warning: struct `Scheme` is never constructed
[INFO] [stderr]   --> src/tyck/mod.rs:16:8
[INFO] [stderr]    |
[INFO] [stderr] 16 | struct Scheme {
[INFO] [stderr]    |        ^^^^^^
[INFO] [stderr] 
[INFO] [stderr] warning: type alias `Struct` is never used
[INFO] [stderr]   --> src/tyck/mod.rs:24:6
[INFO] [stderr]    |
[INFO] [stderr] 24 | type Struct = HashMap<String, Ty>;
[INFO] [stderr]    |      ^^^^^^
[INFO] [stderr] 
[INFO] [stderr] warning: field `0` is never read
[INFO] [stderr]   --> src/part6/mod.rs:13:9
[INFO] [stderr]    |
[INFO] [stderr] 13 |     Int(i32),
[INFO] [stderr]    |     --- ^^^
[INFO] [stderr]    |     |
[INFO] [stderr]    |     field in this variant
[INFO] [stderr]    |
[INFO] [stderr]    = note: `Expression` has derived impls for the traits `Clone` and `Debug`, but these are intentionally ignored during dead code analysis
[INFO] [stderr] help: consider changing the field to be of unit type to suppress this warning while preserving the field numbering, or remove the field
[INFO] [stderr]    |
[INFO] [stderr] 13 |     Int(()),
[INFO] [stderr]    |         ~~
[INFO] [stderr] 
[INFO] [stderr] warning: variant `String` is never constructed
[INFO] [stderr]   --> src/part6/mod.rs:14:5
[INFO] [stderr]    |
[INFO] [stderr] 8  | pub enum Expression {
[INFO] [stderr]    |          ---------- variant in this enum
[INFO] [stderr] ...
[INFO] [stderr] 14 |     String(String),
[INFO] [stderr]    |     ^^^^^^
[INFO] [stderr]    |
[INFO] [stderr]    = note: `Expression` has derived impls for the traits `Clone` and `Debug`, but these are intentionally ignored during dead code analysis
[INFO] [stderr] 
[INFO] [stderr] warning: method `to_string` is never used
[INFO] [stderr]   --> src/part6/mod.rs:31:12
[INFO] [stderr]    |
[INFO] [stderr] 30 | impl Type {
[INFO] [stderr]    | --------- method in this implementation
[INFO] [stderr] 31 |     pub fn to_string(&self) -> String {
[INFO] [stderr]    |            ^^^^^^^^^
[INFO] [stderr] 
[INFO] [stderr] warning: function `initial_environment` is never used
[INFO] [stderr]    --> src/part6/mod.rs:295:4
[INFO] [stderr]     |
[INFO] [stderr] 295 | fn initial_environment() -> HashMap<String, Type> {
[INFO] [stderr]     |    ^^^^^^^^^^^^^^^^^^^
[INFO] [stderr] 
[INFO] [stderr] warning: field `0` is never read
[INFO] [stderr]   --> src/part7/mod.rs:15:9
[INFO] [stderr]    |
[INFO] [stderr] 15 |     Int(i32),
[INFO] [stderr]    |     --- ^^^
[INFO] [stderr]    |     |
[INFO] [stderr]    |     field in this variant
[INFO] [stderr]    |
[INFO] [stderr]    = note: `Expression` has derived impls for the traits `Clone` and `Debug`, but these are intentionally ignored during dead code analysis
[INFO] [stderr] help: consider changing the field to be of unit type to suppress this warning while preserving the field numbering, or remove the field
[INFO] [stderr]    |
[INFO] [stderr] 15 |     Int(()),
[INFO] [stderr]    |         ~~
[INFO] [stderr] 
[INFO] [stderr] warning: variants `Let`, `String`, `Array`, and `Semicolon` are never constructed
[INFO] [stderr]   --> src/part7/mod.rs:14:5
[INFO] [stderr]    |
[INFO] [stderr] 9  | pub enum Expression {
[INFO] [stderr]    |          ---------- variants in this enum
[INFO] [stderr] ...
[INFO] [stderr] 14 |     Let(String, Option<Type>, Box<Expression>, Box<Expression>),
[INFO] [stderr]    |     ^^^
[INFO] [stderr] 15 |     Int(i32),
[INFO] [stderr] 16 |     String(String),
[INFO] [stderr]    |     ^^^^^^
[INFO] [stderr] 17 |     Array(Option<Type>, Vec<Expression>),
[INFO] [stderr]    |     ^^^^^
[INFO] [stderr] 18 |     Semicolon(Box<Expression>, Box<Expression>),
[INFO] [stderr]    |     ^^^^^^^^^
[INFO] [stderr]    |
[INFO] [stderr]    = note: `Expression` has derived impls for the traits `Clone` and `Debug`, but these are intentionally ignored during dead code analysis
[INFO] [stderr] 
[INFO] [stderr] warning: unused `Result` that must be used
[INFO] [stderr]    --> src/part6/mod.rs:184:17
[INFO] [stderr]     |
[INFO] [stderr] 184 |                 self.unify(t1, t2);
[INFO] [stderr]     |                 ^^^^^^^^^^^^^^^^^^
[INFO] [stderr]     |
[INFO] [stderr]     = note: this `Result` may be an `Err` variant, which should be handled
[INFO] [stderr]     = note: `#[warn(unused_must_use)]` on by default
[INFO] [stderr] help: use `let _ = ...` to ignore the resulting value
[INFO] [stderr]     |
[INFO] [stderr] 184 |                 let _ = self.unify(t1, t2);
[INFO] [stderr]     |                 +++++++
[INFO] [stderr] 
[INFO] [stderr] warning: `hindley_milner` (bin "hindley_milner" test) generated 38 warnings (run `cargo fix --bin "hindley_milner" --tests` to apply 1 suggestion)
[INFO] [stderr]     Finished `test` profile [unoptimized + debuginfo] target(s) in 0.02s
[INFO] [stderr]      Running unittests src/main.rs (/opt/rustwide/target/debug/deps/hindley_milner-32583179ed2463ee)
[INFO] [stderr] 
[INFO] [stdout] 
[INFO] [stderr] thread 'parser::lex::test' panicked at library/core/src/panicking.rs:218:5:
[INFO] [stdout] running 5 tests
[INFO] [stderr] unsafe precondition(s) violated: str::get_unchecked requires that the range is within the string slice
[INFO] [stderr] stack backtrace:
[INFO] [stderr]    0:     0x62c6d68e660a - std::backtrace_rs::backtrace::libunwind::trace::hb059275cfc8d6126
[INFO] [stderr]                                at /rustc/6067b36314ab5eb2eb47cecc464545ba58e1ad24/library/std/src/../../backtrace/src/backtrace/libunwind.rs:116:5
[INFO] [stderr]    1:     0x62c6d68e660a - std::backtrace_rs::backtrace::trace_unsynchronized::h2da071e4327ce3ee
[INFO] [stderr]                                at /rustc/6067b36314ab5eb2eb47cecc464545ba58e1ad24/library/std/src/../../backtrace/src/backtrace/mod.rs:66:5
[INFO] [stderr]    2:     0x62c6d68e660a - std::sys::backtrace::_print_fmt::h842a1474e6f8d23f
[INFO] [stderr]                                at /rustc/6067b36314ab5eb2eb47cecc464545ba58e1ad24/library/std/src/sys/backtrace.rs:66:9
[INFO] [stderr]    3:     0x62c6d68e660a - <std::sys::backtrace::BacktraceLock::print::DisplayBacktrace as core::fmt::Display>::fmt::h71a62eb3b9696b12
[INFO] [stderr]                                at /rustc/6067b36314ab5eb2eb47cecc464545ba58e1ad24/library/std/src/sys/backtrace.rs:39:26
[INFO] [stderr]    4:     0x62c6d690dd03 - core::fmt::rt::Argument::fmt::hdb6b616786b41dc1
[INFO] [stderr]                                at /rustc/6067b36314ab5eb2eb47cecc464545ba58e1ad24/library/core/src/fmt/rt.rs:177:76
[INFO] [stderr]    5:     0x62c6d690dd03 - core::fmt::write::h2cc1698af7e2d686
[INFO] [stderr]                                at /rustc/6067b36314ab5eb2eb47cecc464545ba58e1ad24/library/core/src/fmt/mod.rs:1440:21
[INFO] [stderr]    6:     0x62c6d68e2f03 - std::io::Write::write_fmt::h00c8700df393f328
[INFO] [stderr]                                at /rustc/6067b36314ab5eb2eb47cecc464545ba58e1ad24/library/std/src/io/mod.rs:1887:15
[INFO] [stderr]    7:     0x62c6d68e6452 - std::sys::backtrace::BacktraceLock::print::h147fe35b4ea13b08
[INFO] [stderr]                                at /rustc/6067b36314ab5eb2eb47cecc464545ba58e1ad24/library/std/src/sys/backtrace.rs:42:9
[INFO] [stderr]    8:     0x62c6d68e7a2f - std::panicking::default_hook::{{closure}}::hbd44223dbdc0d208
[INFO] [stderr]                                at /rustc/6067b36314ab5eb2eb47cecc464545ba58e1ad24/library/std/src/panicking.rs:298:22
[INFO] [stderr]    9:     0x62c6d68e789a - std::panicking::default_hook::h20f81eb0576efcec
[INFO] [stderr]                                at /rustc/6067b36314ab5eb2eb47cecc464545ba58e1ad24/library/std/src/panicking.rs:325:9
[INFO] [stderr]   10:     0x62c6d68b0663 - <alloc::boxed::Box<F,A> as core::ops::function::Fn<Args>>::call::hdb53814c496a4d34
[INFO] [stderr]                                at /rustc/6067b36314ab5eb2eb47cecc464545ba58e1ad24/library/alloc/src/boxed.rs:2027:9
[INFO] [stderr]   11:     0x62c6d68b0663 - test::test_main::{{closure}}::hc0a4963c59427c24
[INFO] [stderr]                                at /rustc/6067b36314ab5eb2eb47cecc464545ba58e1ad24/library/test/src/lib.rs:134:21
[INFO] [stderr]   12:     0x62c6d68e8523 - <alloc::boxed::Box<F,A> as core::ops::function::Fn<Args>>::call::h591b2225413a77e9
[INFO] [stderr]                                at /rustc/6067b36314ab5eb2eb47cecc464545ba58e1ad24/library/alloc/src/boxed.rs:2027:9
[INFO] [stderr]   13:     0x62c6d68e8523 - std::panicking::rust_panic_with_hook::h625eea43051b2edc
[INFO] [stderr]                                at /rustc/6067b36314ab5eb2eb47cecc464545ba58e1ad24/library/std/src/panicking.rs:839:13
[INFO] [stderr]   14:     0x62c6d68e81a6 - std::panicking::begin_panic_handler::{{closure}}::h4f9159cfbc3f6bd3
[INFO] [stderr]                                at /rustc/6067b36314ab5eb2eb47cecc464545ba58e1ad24/library/std/src/panicking.rs:697:13
[INFO] [stderr]   15:     0x62c6d68e6b09 - std::sys::backtrace::__rust_end_short_backtrace::h0390abce48353151
[INFO] [stderr]                                at /rustc/6067b36314ab5eb2eb47cecc464545ba58e1ad24/library/std/src/sys/backtrace.rs:168:18
[INFO] [stderr]   16:     0x62c6d68e7e6d - rust_begin_unwind
[INFO] [stderr]                                at /rustc/6067b36314ab5eb2eb47cecc464545ba58e1ad24/library/std/src/panicking.rs:695:5
[INFO] [stderr]   17:     0x62c6d690c74d - core::panicking::panic_nounwind_fmt::runtime::hff07b4bc76d03a4c
[INFO] [stderr]                                at /rustc/6067b36314ab5eb2eb47cecc464545ba58e1ad24/library/core/src/panicking.rs:117:22
[INFO] [stderr]   18:     0x62c6d690c74d - core::panicking::panic_nounwind_fmt::hbd5e8c40c5ce07f6
[INFO] [stderr]                                at /rustc/6067b36314ab5eb2eb47cecc464545ba58e1ad24/library/core/src/intrinsics/mod.rs:3861:9
[INFO] [stderr]   19:     0x62c6d690c7e2 - core::panicking::panic_nounwind::h87bcbf062a0b0104
[INFO] [stderr]                                at /rustc/6067b36314ab5eb2eb47cecc464545ba58e1ad24/library/core/src/panicking.rs:218:5
[INFO] [stderr]   20:     0x62c6d6829756 - core::str::traits::<impl core::slice::index::SliceIndex<str> for core::ops::range::Range<usize>>::get_unchecked::precondition_check::hdcdf59dd78dfe140
[INFO] [stderr]                                at /rustc/6067b36314ab5eb2eb47cecc464545ba58e1ad24/library/core/src/ub_checks.rs:68:21
[INFO] [stderr]   21:     0x62c6d684d64a - core::str::traits::<impl core::slice::index::SliceIndex<str> for core::ops::range::Range<usize>>::get_unchecked::h63a97f4f5f06d178
[INFO] [stderr]                                at /rustc/6067b36314ab5eb2eb47cecc464545ba58e1ad24/library/core/src/ub_checks.rs:75:17
[INFO] [stderr]   22:     0x62c6d684d6a4 - core::str::traits::<impl core::slice::index::SliceIndex<str> for core::ops::range::RangeTo<usize>>::get_unchecked::hedbcca2df86dfd40
[INFO] [stderr]                                at /rustc/6067b36314ab5eb2eb47cecc464545ba58e1ad24/library/core/src/str/traits.rs:455:18
[INFO] [stderr]   23:     0x62c6d684cb98 - core::str::<impl str>::get_unchecked::he042c448003c2ba9
[INFO] [stderr]                                at /rustc/6067b36314ab5eb2eb47cecc464545ba58e1ad24/library/core/src/str/mod.rs:490:20
[INFO] [stderr]   24:     0x62c6d68428c4 - hindley_milner::parser::lex::lex::{{closure}}::ha3e211971fb59d90
[INFO] [stderr]                                at /opt/rustwide/workdir/src/parser/lex.rs:78:33
[INFO] [stderr]   25:     0x62c6d68704b0 - hindley_milner::parser::core::Parser::map::{{closure}}::h625750ff874bbc25
[INFO] [stderr]                                at /opt/rustwide/workdir/src/parser/core.rs:57:26
[INFO] [stderr]   26:     0x62c6d6874046 - <F as hindley_milner::parser::core::Parser<I,A>>::parse::hc953b8a90796de3e
[INFO] [stderr]                                at /opt/rustwide/workdir/src/parser/core.rs:116:9
[INFO] [stderr]   27:     0x62c6d686d8b5 - hindley_milner::parser::core::Parser::with::{{closure}}::h0a0f888a205cd79b
[INFO] [stderr]                                at /opt/rustwide/workdir/src/parser/core.rs:40:30
[INFO] [stderr]   28:     0x62c6d68739f6 - <F as hindley_milner::parser::core::Parser<I,A>>::parse::h65eb5b52863faf72
[INFO] [stderr]                                at /opt/rustwide/workdir/src/parser/core.rs:116:9
[INFO] [stderr]   29:     0x62c6d6870fcd - hindley_milner::parser::core::Parser::map::{{closure}}::h81da5034ed4be908
[INFO] [stderr]                                at /opt/rustwide/workdir/src/parser/core.rs:56:30
[INFO] [stderr]   30:     0x62c6d6873896 - <F as hindley_milner::parser::core::Parser<I,A>>::parse::h4b8850cb85a3bc93
[INFO] [stderr]                                at /opt/rustwide/workdir/src/parser/core.rs:116:9
[INFO] [stderr]   31:     0x62c6d686f7a4 - hindley_milner::parser::core::Parser::or::{{closure}}::h51097b2257961c29
[INFO] [stderr]                                at /opt/rustwide/workdir/src/parser/core.rs:49:22
[INFO] [stderr]   32:     0x62c6d68736a6 - <F as hindley_milner::parser::core::Parser<I,A>>::parse::h1dda3bdbda072c09
[INFO] [stderr]                                at /opt/rustwide/workdir/src/parser/core.rs:116:9
[INFO] [stderr]   33:     0x62c6d686f724 - hindley_milner::parser::core::Parser::or::{{closure}}::h453480a891646358
[INFO] [stderr]                                at /opt/rustwide/workdir/src/parser/core.rs:49:22
[INFO] [stderr]   34:     0x62c6d68737f6 - <F as hindley_milner::parser::core::Parser<I,A>>::parse::h31f206cd54fdca05
[INFO] [stderr]                                at /opt/rustwide/workdir/src/parser/core.rs:116:9
[INFO] [stderr]   35:     0x62c6d686f8e4 - hindley_milner::parser::core::Parser::or::{{closure}}::h68513c292709bddf
[INFO] [stderr]                                at /opt/rustwide/workdir/src/parser/core.rs:49:22
[INFO] [stderr]   36:     0x62c6d68735b6 - <F as hindley_milner::parser::core::Parser<I,A>>::parse::h04530e8e562763ca
[INFO] [stderr]                                at /opt/rustwide/workdir/src/parser/core.rs:116:9
[INFO] [stderr]   37:     0x62c6d6872940 - hindley_milner::parser::core::Parser::many0::{{closure}}::h08f6c978fa8a5235
[INFO] [stderr]                                at /opt/rustwide/workdir/src/parser/core.rs:72:43
[INFO] [stderr]   38:     0x62c6d68742d6 - <F as hindley_milner::parser::core::Parser<I,A>>::parse::hf3ac70983996af78
[INFO] [stderr]                                at /opt/rustwide/workdir/src/parser/core.rs:116:9
[INFO] [stderr]   39:     0x62c6d686e96a - hindley_milner::parser::core::Parser::with::{{closure}}::h9ee755944bd2fca6
[INFO] [stderr]                                at /opt/rustwide/workdir/src/parser/core.rs:41:30
[INFO] [stderr]   40:     0x62c6d6873be6 - <F as hindley_milner::parser::core::Parser<I,A>>::parse::h8027e30c71e17bf4
[INFO] [stderr]                                at /opt/rustwide/workdir/src/parser/core.rs:116:9
[INFO] [stderr]   41:     0x62c6d6871c1d - hindley_milner::parser::core::Parser::map::{{closure}}::hfcd9a56e3b5ddbb0
[INFO] [stderr]                                at /opt/rustwide/workdir/src/parser/core.rs:56:30
[INFO] [stderr]   42:     0x62c6d6873656 - <F as hindley_milner::parser::core::Parser<I,A>>::parse::h1ad84ee9758e80d6
[INFO] [stderr]                                at /opt/rustwide/workdir/src/parser/core.rs:116:9
[INFO] [stderr]   43:     0x62c6d6842744 - hindley_milner::parser::lex::lex::h82599eed47a5dff9
[INFO] [stderr]                                at /opt/rustwide/workdir/src/parser/lex.rs:112:5
[INFO] [stderr]   44:     0x62c6d6846b07 - hindley_milner::parser::lex::test::h5a98b5b9bb030e01
[INFO] [stderr]                                at /opt/rustwide/workdir/src/parser/lex.rs:138:15
[INFO] [stderr]   45:     0x62c6d68469f7 - hindley_milner::parser::lex::test::{{closure}}::h51f4105089c9bf71
[INFO] [stderr]                                at /opt/rustwide/workdir/src/parser/lex.rs:119:10
[INFO] [stderr]   46:     0x62c6d6838596 - core::ops::function::FnOnce::call_once::h025c7dd6fdb8a3f8
[INFO] [stderr]                                at /rustc/6067b36314ab5eb2eb47cecc464545ba58e1ad24/library/core/src/ops/function.rs:250:5
[INFO] [stderr]   47:     0x62c6d68b5dbb - core::ops::function::FnOnce::call_once::he27718dfdd183f43
[INFO] [stderr]                                at /rustc/6067b36314ab5eb2eb47cecc464545ba58e1ad24/library/core/src/ops/function.rs:250:5
[INFO] [stderr]   48:     0x62c6d68b5dbb - test::__rust_begin_short_backtrace::h4e84902998457a5d
[INFO] [stderr]                                at /rustc/6067b36314ab5eb2eb47cecc464545ba58e1ad24/library/test/src/lib.rs:632:18
[INFO] [stderr]   49:     0x62c6d68b4cf3 - test::run_test_in_process::{{closure}}::h7176fd18fc1feca0
[INFO] [stderr]                                at /rustc/6067b36314ab5eb2eb47cecc464545ba58e1ad24/library/test/src/lib.rs:655:60
[INFO] [stderr]   50:     0x62c6d68b4cf3 - <core::panic::unwind_safe::AssertUnwindSafe<F> as core::ops::function::FnOnce<()>>::call_once::hf79cff2a624d8cf7
[INFO] [stderr]                                at /rustc/6067b36314ab5eb2eb47cecc464545ba58e1ad24/library/core/src/panic/unwind_safe.rs:272:9
[INFO] [stderr]   51:     0x62c6d68b4cf3 - std::panicking::try::do_call::h3da0561d9ab99c25
[INFO] [stderr]                                at /rustc/6067b36314ab5eb2eb47cecc464545ba58e1ad24/library/std/src/panicking.rs:587:40
[INFO] [stderr]   52:     0x62c6d68b4cf3 - std::panicking::try::h41c9fa508bc61df6
[INFO] [stderr]                                at /rustc/6067b36314ab5eb2eb47cecc464545ba58e1ad24/library/std/src/panicking.rs:550:19
[INFO] [stderr]   53:     0x62c6d68b4cf3 - std::panic::catch_unwind::h6b3ff07bb5afad93
[INFO] [stderr]                                at /rustc/6067b36314ab5eb2eb47cecc464545ba58e1ad24/library/std/src/panic.rs:358:14
[INFO] [stderr]   54:     0x62c6d68b4cf3 - test::run_test_in_process::hc7253dd11b39b9f4
[INFO] [stderr]                                at /rustc/6067b36314ab5eb2eb47cecc464545ba58e1ad24/library/test/src/lib.rs:655:27
[INFO] [stderr]   55:     0x62c6d68b4cf3 - test::run_test::{{closure}}::hfb2007f8649c30bb
[INFO] [stderr]                                at /rustc/6067b36314ab5eb2eb47cecc464545ba58e1ad24/library/test/src/lib.rs:576:43
[INFO] [stderr]   56:     0x62c6d6877dd5 - test::run_test::{{closure}}::h56a17aa7a282a9f4
[INFO] [stderr]                                at /rustc/6067b36314ab5eb2eb47cecc464545ba58e1ad24/library/test/src/lib.rs:606:41
[INFO] [stderr]   57:     0x62c6d6877dd5 - std::sys::backtrace::__rust_begin_short_backtrace::hd2d2d2fb8e8c6aac
[INFO] [stderr]                                at /rustc/6067b36314ab5eb2eb47cecc464545ba58e1ad24/library/std/src/sys/backtrace.rs:152:18
[INFO] [stderr]   58:     0x62c6d687b6ba - std::thread::Builder::spawn_unchecked_::{{closure}}::{{closure}}::h4faa3f9db6133423
[INFO] [stderr]                                at /rustc/6067b36314ab5eb2eb47cecc464545ba58e1ad24/library/std/src/thread/mod.rs:559:17
[INFO] [stderr]   59:     0x62c6d687b6ba - <core::panic::unwind_safe::AssertUnwindSafe<F> as core::ops::function::FnOnce<()>>::call_once::hf2e855a36a4ea846
[INFO] [stderr]                                at /rustc/6067b36314ab5eb2eb47cecc464545ba58e1ad24/library/core/src/panic/unwind_safe.rs:272:9
[INFO] [stderr]   60:     0x62c6d687b6ba - std::panicking::try::do_call::h2f73af3616c35465
[INFO] [stderr]                                at /rustc/6067b36314ab5eb2eb47cecc464545ba58e1ad24/library/std/src/panicking.rs:587:40
[INFO] [stderr]   61:     0x62c6d687b6ba - std::panicking::try::hd1660ce9efadef5a
[INFO] [stderr]                                at /rustc/6067b36314ab5eb2eb47cecc464545ba58e1ad24/library/std/src/panicking.rs:550:19
[INFO] [stderr]   62:     0x62c6d687b6ba - std::panic::catch_unwind::h5ee8d7823b8ca744
[INFO] [stderr]                                at /rustc/6067b36314ab5eb2eb47cecc464545ba58e1ad24/library/std/src/panic.rs:358:14
[INFO] [stderr]   63:     0x62c6d687b6ba - std::thread::Builder::spawn_unchecked_::{{closure}}::h53c3a1894dce8407
[INFO] [stderr]                                at /rustc/6067b36314ab5eb2eb47cecc464545ba58e1ad24/library/std/src/thread/mod.rs:557:30
[INFO] [stderr]   64:     0x62c6d687b6ba - core::ops::function::FnOnce::call_once{{vtable.shim}}::h048ce291ad4f62bf
[INFO] [stderr]                                at /rustc/6067b36314ab5eb2eb47cecc464545ba58e1ad24/library/core/src/ops/function.rs:250:5
[INFO] [stderr]   65:     0x62c6d68ec45b - <alloc::boxed::Box<F,A> as core::ops::function::FnOnce<Args>>::call_once::ha52bedf99a3b4981
[INFO] [stderr]                                at /rustc/6067b36314ab5eb2eb47cecc464545ba58e1ad24/library/alloc/src/boxed.rs:2013:9
[INFO] [stderr]   66:     0x62c6d68ec45b - <alloc::boxed::Box<F,A> as core::ops::function::FnOnce<Args>>::call_once::h567748934d80ccf8
[INFO] [stderr]                                at /rustc/6067b36314ab5eb2eb47cecc464545ba58e1ad24/library/alloc/src/boxed.rs:2013:9
[INFO] [stderr]   67:     0x62c6d68ec45b - std::sys::pal::unix::thread::Thread::new::thread_start::h2d970728ae887adc
[INFO] [stderr]                                at /rustc/6067b36314ab5eb2eb47cecc464545ba58e1ad24/library/std/src/sys/pal/unix/thread.rs:106:17
[INFO] [stderr]   68:     0x7234b4712ac3 - <unknown>
[INFO] [stderr]   69:     0x7234b47a3a04 - clone
[INFO] [stderr]   70:                0x0 - <unknown>
[INFO] [stderr] thread caused non-unwinding panic. aborting.
[INFO] [stderr] error: test failed, to rerun pass `--bin hindley_milner`
[INFO] [stderr] 
[INFO] [stderr] Caused by:
[INFO] [stderr]   process didn't exit successfully: `/opt/rustwide/target/debug/deps/hindley_milner-32583179ed2463ee` (signal: 6, SIGABRT: process abort signal)
[INFO] running `Command { std: "docker" "inspect" "cddc99ea5c2e9e25ba826ea7e2b62f68e9ec7a48f17d37292dc0f634cef54341", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "cddc99ea5c2e9e25ba826ea7e2b62f68e9ec7a48f17d37292dc0f634cef54341", kill_on_drop: false }`
[INFO] [stdout] cddc99ea5c2e9e25ba826ea7e2b62f68e9ec7a48f17d37292dc0f634cef54341
