[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 try#9f93af291970322f4f1c6315ccde4d7078201159 for pr-146098-6
[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-3-tc2/source", kill_on_drop: false }`
[INFO] [stderr] Cloning into '/workspace/builds/worker-3-tc2/source'...
[INFO] [stderr] done.
[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-3-tc2/source/Cargo.toml
[INFO] validating manifest of git repo https://github.com/yportne13/type-inference-by-example-in-rust on toolchain 9f93af291970322f4f1c6315ccde4d7078201159
[INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+9f93af291970322f4f1c6315ccde4d7078201159" "metadata" "--manifest-path" "Cargo.toml" "--no-deps", kill_on_drop: false }`
[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" "+9f93af291970322f4f1c6315ccde4d7078201159" "fetch" "--manifest-path" "Cargo.toml", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-3-tc2/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-3-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:4848fb76d95f26979359cc7e45710b1dbc8f3acb7aeedee7c460d7702230f228" "/opt/rustwide/cargo-home/bin/cargo" "+9f93af291970322f4f1c6315ccde4d7078201159" "metadata" "--no-deps" "--format-version=1", kill_on_drop: false }`
[INFO] [stdout] 1c16c5b3a4b5b38cab71b2c48402a7773cb1d4d966e2f41c93edf46c9fa10ce6
[INFO] running `Command { std: "docker" "start" "-a" "1c16c5b3a4b5b38cab71b2c48402a7773cb1d4d966e2f41c93edf46c9fa10ce6", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "inspect" "1c16c5b3a4b5b38cab71b2c48402a7773cb1d4d966e2f41c93edf46c9fa10ce6", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "1c16c5b3a4b5b38cab71b2c48402a7773cb1d4d966e2f41c93edf46c9fa10ce6", kill_on_drop: false }`
[INFO] [stdout] 1c16c5b3a4b5b38cab71b2c48402a7773cb1d4d966e2f41c93edf46c9fa10ce6
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-3-tc2/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-3-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" "-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:4848fb76d95f26979359cc7e45710b1dbc8f3acb7aeedee7c460d7702230f228" "/opt/rustwide/cargo-home/bin/cargo" "+9f93af291970322f4f1c6315ccde4d7078201159" "build" "--frozen" "--message-format=json", kill_on_drop: false }`
[INFO] [stdout] 72f3f69b85d78db0c00af8831e1d9ffbe46fd2c91f2cc7aaf2be491894caaf85
[INFO] running `Command { std: "docker" "start" "-a" "72f3f69b85d78db0c00af8831e1d9ffbe46fd2c91f2cc7aaf2be491894caaf85", 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)]` (part of `#[warn(unused)]`) 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)]` (part of `#[warn(unused)]`) 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: `#[warn(dead_code)]` (part of `#[warn(unused)]`) 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] 
[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: struct `Span` is never constructed
[INFO] [stdout]  --> src/parser/core.rs:6:12
[INFO] [stdout]   |
[INFO] [stdout] 6 | pub struct Span<'a, T> {
[INFO] [stdout]   |            ^^^^
[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: trait `Parser` is never used
[INFO] [stdout]   --> src/parser/core.rs:33:11
[INFO] [stdout]    |
[INFO] [stdout] 33 | pub trait Parser<I: Copy, A>: Sized + Copy {
[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] 
[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: enum `TokenKind` is never used
[INFO] [stdout]  --> src/parser/lex.rs:6:10
[INFO] [stdout]   |
[INFO] [stdout] 6 | pub enum TokenKind {
[INFO] [stdout]   |          ^^^^^^^^^
[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] 
[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] 
[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] 
[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] 
[INFO] [stdout] warning: enum `Ty` is never used
[INFO] [stdout]  --> src/tyck/mod.rs:6:10
[INFO] [stdout]   |
[INFO] [stdout] 6 | pub enum Ty {
[INFO] [stdout]   |          ^^
[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] 
[INFO] [stdout] warning: enum `Type` is never used
[INFO] [stdout]   --> src/part5/mod.rs:15:10
[INFO] [stdout]    |
[INFO] [stdout] 15 | pub enum Type {
[INFO] [stdout]    |          ^^^^
[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] 
[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] 
[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] 
[INFO] [stdout] warning: enum `Type` is never used
[INFO] [stdout]   --> src/part6/mod.rs:25:10
[INFO] [stdout]    |
[INFO] [stdout] 25 | pub enum Type {
[INFO] [stdout]    |          ^^^^
[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] 
[INFO] [stdout] warning: struct `TypeError` is never constructed
[INFO] [stdout]   --> src/part6/mod.rs:55:12
[INFO] [stdout]    |
[INFO] [stdout] 55 | pub struct TypeError {
[INFO] [stdout]    |            ^^^^^^^^^
[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] 
[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] 
[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] 
[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] 
[INFO] [stdout] warning: enum `Type` is never used
[INFO] [stdout]   --> src/part7/mod.rs:41:10
[INFO] [stdout]    |
[INFO] [stdout] 41 | pub enum Type {
[INFO] [stdout]    |          ^^^^
[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] 
[INFO] [stdout] warning: struct `TypeError` is never constructed
[INFO] [stdout]   --> src/part7/mod.rs:71:12
[INFO] [stdout]    |
[INFO] [stdout] 71 | pub struct TypeError {
[INFO] [stdout]    |            ^^^^^^^^^
[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)]` (part of `#[warn(unused)]`) 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.73s
[INFO] running `Command { std: "docker" "inspect" "72f3f69b85d78db0c00af8831e1d9ffbe46fd2c91f2cc7aaf2be491894caaf85", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "72f3f69b85d78db0c00af8831e1d9ffbe46fd2c91f2cc7aaf2be491894caaf85", kill_on_drop: false }`
[INFO] [stdout] 72f3f69b85d78db0c00af8831e1d9ffbe46fd2c91f2cc7aaf2be491894caaf85
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-3-tc2/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-3-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" "-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:4848fb76d95f26979359cc7e45710b1dbc8f3acb7aeedee7c460d7702230f228" "/opt/rustwide/cargo-home/bin/cargo" "+9f93af291970322f4f1c6315ccde4d7078201159" "test" "--frozen" "--no-run" "--message-format=json", kill_on_drop: false }`
[INFO] [stdout] f9a04ddf37e6bf99d617f493a03cee4a6b309bd19ce9ffa76acf740ef68a49f2
[INFO] running `Command { std: "docker" "start" "-a" "f9a04ddf37e6bf99d617f493a03cee4a6b309bd19ce9ffa76acf740ef68a49f2", 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)]` (part of `#[warn(unused)]`) 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)]` (part of `#[warn(unused)]`) 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: `#[warn(dead_code)]` (part of `#[warn(unused)]`) 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(Span<'a, i32>),
[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(Span<'a, bool>),
[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(Span<'a, String>),
[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(Box<Term<'a>>, Box<Term<'a>>),
[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(Box<Term<'a>>, Span<'a, String>),
[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] 
[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] 
[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] 
[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] 
[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] 
[INFO] [stdout] warning: enum `Ty` is never used
[INFO] [stdout]  --> src/tyck/mod.rs:6:10
[INFO] [stdout]   |
[INFO] [stdout] 6 | pub enum Ty {
[INFO] [stdout]   |          ^^
[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(i32),
[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: struct `TypeError` is never constructed
[INFO] [stdout]   --> src/part6/mod.rs:55:12
[INFO] [stdout]    |
[INFO] [stdout] 55 | pub struct TypeError {
[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(i32),
[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)]` (part of `#[warn(unused)]`) 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.31s
[INFO] running `Command { std: "docker" "inspect" "f9a04ddf37e6bf99d617f493a03cee4a6b309bd19ce9ffa76acf740ef68a49f2", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "f9a04ddf37e6bf99d617f493a03cee4a6b309bd19ce9ffa76acf740ef68a49f2", kill_on_drop: false }`
[INFO] [stdout] f9a04ddf37e6bf99d617f493a03cee4a6b309bd19ce9ffa76acf740ef68a49f2
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-3-tc2/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-3-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" "-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:4848fb76d95f26979359cc7e45710b1dbc8f3acb7aeedee7c460d7702230f228" "/opt/rustwide/cargo-home/bin/cargo" "+9f93af291970322f4f1c6315ccde4d7078201159" "test" "--frozen", kill_on_drop: false }`
[INFO] [stdout] 382658ca6d8114a8c3ab41f3ddc4f74a5323a57cd5aede5deec165cecb7bb971
[INFO] running `Command { std: "docker" "start" "-a" "382658ca6d8114a8c3ab41f3ddc4f74a5323a57cd5aede5deec165cecb7bb971", 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)]` (part of `#[warn(unused)]`) 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)]` (part of `#[warn(unused)]`) 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: `#[warn(dead_code)]` (part of `#[warn(unused)]`) 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(Span<'a, i32>),
[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(Span<'a, bool>),
[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(Span<'a, String>),
[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(Box<Term<'a>>, Box<Term<'a>>),
[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(Box<Term<'a>>, Span<'a, String>),
[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] 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] 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] 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] 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] warning: enum `Ty` is never used
[INFO] [stderr]  --> src/tyck/mod.rs:6:10
[INFO] [stderr]   |
[INFO] [stderr] 6 | pub enum Ty {
[INFO] [stderr]   |          ^^
[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(i32),
[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: struct `TypeError` is never constructed
[INFO] [stderr]   --> src/part6/mod.rs:55:12
[INFO] [stderr]    |
[INFO] [stderr] 55 | pub struct TypeError {
[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(i32),
[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)]` (part of `#[warn(unused)]`) 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 39 warnings (run `cargo fix --bin "hindley_milner" -p hindley_milner --tests` to apply 9 suggestions)
[INFO] [stderr]     Finished `test` profile [unoptimized + debuginfo] target(s) in 0.04s
[INFO] [stderr]      Running unittests src/main.rs (/opt/rustwide/target/debug/deps/hindley_milner-5c0d1b60b47a755d)
[INFO] [stderr] 
[INFO] [stdout] 
[INFO] [stderr] thread 'parser::lex::test' (17) panicked at /rustc/9f93af291970322f4f1c6315ccde4d7078201159/library/core/src/str/traits.rs:467:32:
[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] 
[INFO] [stderr] This indicates a bug in the program. This Undefined Behavior check is optional, and cannot be relied on for safety.
[INFO] [stderr] stack backtrace:
[INFO] [stderr]    0:     0x5b9f28757402 - std::backtrace_rs::backtrace::libunwind::trace::h16affffe904e891e
[INFO] [stderr]                                at /rustc/9f93af291970322f4f1c6315ccde4d7078201159/library/std/src/../../backtrace/src/backtrace/libunwind.rs:117:9
[INFO] [stderr]    1:     0x5b9f28757402 - std::backtrace_rs::backtrace::trace_unsynchronized::h5c14b13373ed4150
[INFO] [stderr]                                at /rustc/9f93af291970322f4f1c6315ccde4d7078201159/library/std/src/../../backtrace/src/backtrace/mod.rs:66:14
[INFO] [stderr]    2:     0x5b9f28757402 - std::sys::backtrace::_print_fmt::hcbb507f162c816cc
[INFO] [stderr]                                at /rustc/9f93af291970322f4f1c6315ccde4d7078201159/library/std/src/sys/backtrace.rs:66:9
[INFO] [stderr]    3:     0x5b9f28757402 - <std::sys::backtrace::BacktraceLock::print::DisplayBacktrace as core::fmt::Display>::fmt::h8be9aa933f14675f
[INFO] [stderr]                                at /rustc/9f93af291970322f4f1c6315ccde4d7078201159/library/std/src/sys/backtrace.rs:39:26
[INFO] [stderr]    4:     0x5b9f287673ff - core::fmt::rt::Argument::fmt::h30ed739d33467c3a
[INFO] [stderr]                                at /rustc/9f93af291970322f4f1c6315ccde4d7078201159/library/core/src/fmt/rt.rs:173:76
[INFO] [stderr]    5:     0x5b9f287673ff - core::fmt::write::hfd0efbb002ac7eea
[INFO] [stderr]                                at /rustc/9f93af291970322f4f1c6315ccde4d7078201159/library/core/src/fmt/mod.rs:1469:25
[INFO] [stderr]    6:     0x5b9f28725003 - std::io::default_write_fmt::hf7668c9f69c3a921
[INFO] [stderr]                                at /rustc/9f93af291970322f4f1c6315ccde4d7078201159/library/std/src/io/mod.rs:639:11
[INFO] [stderr]    7:     0x5b9f28725003 - std::io::Write::write_fmt::ha6503cd07dd1d506
[INFO] [stderr]                                at /rustc/9f93af291970322f4f1c6315ccde4d7078201159/library/std/src/io/mod.rs:1954:13
[INFO] [stderr]    8:     0x5b9f28730c72 - std::sys::backtrace::BacktraceLock::print::hf2554f6030d393f7
[INFO] [stderr]                                at /rustc/9f93af291970322f4f1c6315ccde4d7078201159/library/std/src/sys/backtrace.rs:42:9
[INFO] [stderr]    9:     0x5b9f2873574f - std::panicking::default_hook::{{closure}}::h8873121c56335b01
[INFO] [stderr]                                at /rustc/9f93af291970322f4f1c6315ccde4d7078201159/library/std/src/panicking.rs:301:27
[INFO] [stderr]   10:     0x5b9f287355a9 - std::panicking::default_hook::hbafefc2d196267a2
[INFO] [stderr]                                at /rustc/9f93af291970322f4f1c6315ccde4d7078201159/library/std/src/panicking.rs:328:9
[INFO] [stderr]   11:     0x5b9f286f87ae - <alloc::boxed::Box<F,A> as core::ops::function::Fn<Args>>::call::ha834d5846f91b30b
[INFO] [stderr]                                at /rustc/9f93af291970322f4f1c6315ccde4d7078201159/library/alloc/src/boxed.rs:2099:9
[INFO] [stderr]   12:     0x5b9f286f87ae - test::test_main_with_exit_callback::{{closure}}::h63c167737eecb025
[INFO] [stderr]                                at /rustc/9f93af291970322f4f1c6315ccde4d7078201159/library/test/src/lib.rs:145:21
[INFO] [stderr]   13:     0x5b9f28735d5f - <alloc::boxed::Box<F,A> as core::ops::function::Fn<Args>>::call::hbf9b0f7a281291fd
[INFO] [stderr]                                at /rustc/9f93af291970322f4f1c6315ccde4d7078201159/library/alloc/src/boxed.rs:2099:9
[INFO] [stderr]   14:     0x5b9f28735d5f - std::panicking::panic_with_hook::h9f5b09d5adc1a745
[INFO] [stderr]                                at /rustc/9f93af291970322f4f1c6315ccde4d7078201159/library/std/src/panicking.rs:842:13
[INFO] [stderr]   15:     0x5b9f28735b86 - std::panicking::panic_handler::{{closure}}::h08111e483bdf6a89
[INFO] [stderr]                                at /rustc/9f93af291970322f4f1c6315ccde4d7078201159/library/std/src/panicking.rs:700:13
[INFO] [stderr]   16:     0x5b9f28730da9 - std::sys::backtrace::__rust_end_short_backtrace::h1b86e3414ecbbe8d
[INFO] [stderr]                                at /rustc/9f93af291970322f4f1c6315ccde4d7078201159/library/std/src/sys/backtrace.rs:174:18
[INFO] [stderr]   17:     0x5b9f2871969d - __rustc[b292c645e8102103]::rust_begin_unwind
[INFO] [stderr]                                at /rustc/9f93af291970322f4f1c6315ccde4d7078201159/library/std/src/panicking.rs:698:5
[INFO] [stderr]   18:     0x5b9f2876f28d - core::panicking::panic_nounwind_fmt::runtime::hdc3e454f690461fc
[INFO] [stderr]                                at /rustc/9f93af291970322f4f1c6315ccde4d7078201159/library/core/src/panicking.rs:122:22
[INFO] [stderr]   19:     0x5b9f2876f28d - core::panicking::panic_nounwind_fmt::h0f491c26d5575477
[INFO] [stderr]                                at /rustc/9f93af291970322f4f1c6315ccde4d7078201159/library/core/src/intrinsics/mod.rs:2439:9
[INFO] [stderr]   20:     0x5b9f28688680 - core::str::traits::<impl core::slice::index::SliceIndex<str> for core::ops::range::Range<usize>>::get_unchecked::precondition_check::he78c6d6f1ede82e6
[INFO] [stderr]                                at /rustc/9f93af291970322f4f1c6315ccde4d7078201159/library/core/src/ub_checks.rs:73:21
[INFO] [stderr]   21:     0x5b9f2869de32 - core::str::traits::<impl core::slice::index::SliceIndex<str> for core::ops::range::Range<usize>>::get_unchecked::h30696236e23e82ee
[INFO] [stderr]                                at /rustc/9f93af291970322f4f1c6315ccde4d7078201159/library/core/src/ub_checks.rs:78:17
[INFO] [stderr]   22:     0x5b9f2869de8b - core::str::traits::<impl core::slice::index::SliceIndex<str> for core::ops::range::RangeTo<usize>>::get_unchecked::he529daa2103a7d0c
[INFO] [stderr]                                at /rustc/9f93af291970322f4f1c6315ccde4d7078201159/library/core/src/str/traits.rs:467:32
[INFO] [stderr]   23:     0x5b9f286a77b8 - core::str::<impl str>::get_unchecked::hb1b267ab00cdc576
[INFO] [stderr]                                at /rustc/9f93af291970322f4f1c6315ccde4d7078201159/library/core/src/str/mod.rs:675:22
[INFO] [stderr]   24:     0x5b9f286ad50b - hindley_milner::parser::lex::lex::{{closure}}::h01817fb6eeae1131
[INFO] [stderr]                                at /opt/rustwide/workdir/src/parser/lex.rs:78:43
[INFO] [stderr]   25:     0x5b9f28696b4f - hindley_milner::parser::core::Parser::map::{{closure}}::h8d01e16d019602c1
[INFO] [stderr]                                at /opt/rustwide/workdir/src/parser/core.rs:57:26
[INFO] [stderr]   26:     0x5b9f2869f168 - <F as hindley_milner::parser::core::Parser<I,A>>::parse::h556254d277ac9912
[INFO] [stderr]                                at /opt/rustwide/workdir/src/parser/core.rs:116:9
[INFO] [stderr]   27:     0x5b9f286995f5 - hindley_milner::parser::core::Parser::with::{{closure}}::hd29dced1ccd7b8e7
[INFO] [stderr]                                at /opt/rustwide/workdir/src/parser/core.rs:40:35
[INFO] [stderr]   28:     0x5b9f2869ed78 - <F as hindley_milner::parser::core::Parser<I,A>>::parse::h062a3c4c33aec3d9
[INFO] [stderr]                                at /opt/rustwide/workdir/src/parser/core.rs:116:9
[INFO] [stderr]   29:     0x5b9f2869723d - hindley_milner::parser::core::Parser::map::{{closure}}::hdb8a065e6496c551
[INFO] [stderr]                                at /opt/rustwide/workdir/src/parser/core.rs:56:35
[INFO] [stderr]   30:     0x5b9f2869f078 - <F as hindley_milner::parser::core::Parser<I,A>>::parse::h35ed609e00fcd5c8
[INFO] [stderr]                                at /opt/rustwide/workdir/src/parser/core.rs:116:9
[INFO] [stderr]   31:     0x5b9f286955fd - hindley_milner::parser::core::Parser::or::{{closure}}::h46dac3c60731cff1
[INFO] [stderr]                                at /opt/rustwide/workdir/src/parser/core.rs:49:27
[INFO] [stderr]   32:     0x5b9f2869fca8 - <F as hindley_milner::parser::core::Parser<I,A>>::parse::hdf2e3be70f8a1b90
[INFO] [stderr]                                at /opt/rustwide/workdir/src/parser/core.rs:116:9
[INFO] [stderr]   33:     0x5b9f2869557d - hindley_milner::parser::core::Parser::or::{{closure}}::h46b277e4653bdf48
[INFO] [stderr]                                at /opt/rustwide/workdir/src/parser/core.rs:49:27
[INFO] [stderr]   34:     0x5b9f2869f228 - <F as hindley_milner::parser::core::Parser<I,A>>::parse::h5d3ed0493abed5fd
[INFO] [stderr]                                at /opt/rustwide/workdir/src/parser/core.rs:116:9
[INFO] [stderr]   35:     0x5b9f2869567d - hindley_milner::parser::core::Parser::or::{{closure}}::h74ca870be6eb5098
[INFO] [stderr]                                at /opt/rustwide/workdir/src/parser/core.rs:49:27
[INFO] [stderr]   36:     0x5b9f2869fd08 - <F as hindley_milner::parser::core::Parser<I,A>>::parse::hdfdf1ffd6a479887
[INFO] [stderr]                                at /opt/rustwide/workdir/src/parser/core.rs:116:9
[INFO] [stderr]   37:     0x5b9f2869a480 - hindley_milner::parser::core::Parser::many0::{{closure}}::h9ee135152e0e08bf
[INFO] [stderr]                                at /opt/rustwide/workdir/src/parser/core.rs:72:48
[INFO] [stderr]   38:     0x5b9f2869eef8 - <F as hindley_milner::parser::core::Parser<I,A>>::parse::h1cc3249b9f77fabe
[INFO] [stderr]                                at /opt/rustwide/workdir/src/parser/core.rs:116:9
[INFO] [stderr]   39:     0x5b9f28698927 - hindley_milner::parser::core::Parser::with::{{closure}}::h2dd7c597b4aa4c84
[INFO] [stderr]                                at /opt/rustwide/workdir/src/parser/core.rs:41:34
[INFO] [stderr]   40:     0x5b9f2869faf8 - <F as hindley_milner::parser::core::Parser<I,A>>::parse::hcebeabfab5cbbdfd
[INFO] [stderr]                                at /opt/rustwide/workdir/src/parser/core.rs:116:9
[INFO] [stderr]   41:     0x5b9f28697b8d - hindley_milner::parser::core::Parser::map::{{closure}}::hfb3fb068ac6eb263
[INFO] [stderr]                                at /opt/rustwide/workdir/src/parser/core.rs:56:35
[INFO] [stderr]   42:     0x5b9f2869f2b8 - <F as hindley_milner::parser::core::Parser<I,A>>::parse::h618d919ec958a47d
[INFO] [stderr]                                at /opt/rustwide/workdir/src/parser/core.rs:116:9
[INFO] [stderr]   43:     0x5b9f286ad422 - hindley_milner::parser::lex::lex::h4fc24c963884ba32
[INFO] [stderr]                                at /opt/rustwide/workdir/src/parser/lex.rs:115:31
[INFO] [stderr]   44:     0x5b9f286ade47 - hindley_milner::parser::lex::test::ha52b5c68c4231ecb
[INFO] [stderr]                                at /opt/rustwide/workdir/src/parser/lex.rs:138:15
[INFO] [stderr]   45:     0x5b9f286ae047 - hindley_milner::parser::lex::test::{{closure}}::h075fc50d2e584bfc
[INFO] [stderr]                                at /opt/rustwide/workdir/src/parser/lex.rs:119:10
[INFO] [stderr]   46:     0x5b9f286a39d6 - core::ops::function::FnOnce::call_once::h7eb02dbbb542ad5b
[INFO] [stderr]                                at /rustc/9f93af291970322f4f1c6315ccde4d7078201159/library/core/src/ops/function.rs:250:5
[INFO] [stderr]   47:     0x5b9f286f85ab - core::ops::function::FnOnce::call_once::h2b2de5fdd23aab3e
[INFO] [stderr]                                at /rustc/9f93af291970322f4f1c6315ccde4d7078201159/library/core/src/ops/function.rs:250:5
[INFO] [stderr]   48:     0x5b9f286f85ab - test::__rust_begin_short_backtrace::he551dd004770be01
[INFO] [stderr]                                at /rustc/9f93af291970322f4f1c6315ccde4d7078201159/library/test/src/lib.rs:663:18
[INFO] [stderr]   49:     0x5b9f2870c60d - test::run_test_in_process::{{closure}}::h5f0b44080a35ed87
[INFO] [stderr]                                at /rustc/9f93af291970322f4f1c6315ccde4d7078201159/library/test/src/lib.rs:686:74
[INFO] [stderr]   50:     0x5b9f2870c60d - <core::panic::unwind_safe::AssertUnwindSafe<F> as core::ops::function::FnOnce<()>>::call_once::h4dbf65d14893ecf5
[INFO] [stderr]                                at /rustc/9f93af291970322f4f1c6315ccde4d7078201159/library/core/src/panic/unwind_safe.rs:274:9
[INFO] [stderr]   51:     0x5b9f2870c60d - std::panicking::catch_unwind::do_call::hc37c563b8a006285
[INFO] [stderr]                                at /rustc/9f93af291970322f4f1c6315ccde4d7078201159/library/std/src/panicking.rs:590:40
[INFO] [stderr]   52:     0x5b9f2870c60d - std::panicking::catch_unwind::h616b6e2e7a27f612
[INFO] [stderr]                                at /rustc/9f93af291970322f4f1c6315ccde4d7078201159/library/std/src/panicking.rs:553:19
[INFO] [stderr]   53:     0x5b9f2870c60d - std::panic::catch_unwind::h1e788dd57758e6d8
[INFO] [stderr]                                at /rustc/9f93af291970322f4f1c6315ccde4d7078201159/library/std/src/panic.rs:359:14
[INFO] [stderr]   54:     0x5b9f2870c60d - test::run_test_in_process::hf073c2764f29f8ad
[INFO] [stderr]                                at /rustc/9f93af291970322f4f1c6315ccde4d7078201159/library/test/src/lib.rs:686:27
[INFO] [stderr]   55:     0x5b9f2870c60d - test::run_test::{{closure}}::h3dc46b7a0c340fa6
[INFO] [stderr]                                at /rustc/9f93af291970322f4f1c6315ccde4d7078201159/library/test/src/lib.rs:607:43
[INFO] [stderr]   56:     0x5b9f286e5b54 - test::run_test::{{closure}}::h6a4da3c57ef4505f
[INFO] [stderr]                                at /rustc/9f93af291970322f4f1c6315ccde4d7078201159/library/test/src/lib.rs:637:41
[INFO] [stderr]   57:     0x5b9f286e5b54 - std::sys::backtrace::__rust_begin_short_backtrace::hfd8e44bc311a5d57
[INFO] [stderr]                                at /rustc/9f93af291970322f4f1c6315ccde4d7078201159/library/std/src/sys/backtrace.rs:158:18
[INFO] [stderr]   58:     0x5b9f286e93aa - std::thread::Builder::spawn_unchecked_::{{closure}}::{{closure}}::h57c4ddec344fe24c
[INFO] [stderr]                                at /rustc/9f93af291970322f4f1c6315ccde4d7078201159/library/std/src/thread/mod.rs:562:17
[INFO] [stderr]   59:     0x5b9f286e93aa - <core::panic::unwind_safe::AssertUnwindSafe<F> as core::ops::function::FnOnce<()>>::call_once::hd7cbe09591f06dfb
[INFO] [stderr]                                at /rustc/9f93af291970322f4f1c6315ccde4d7078201159/library/core/src/panic/unwind_safe.rs:274:9
[INFO] [stderr]   60:     0x5b9f286e93aa - std::panicking::catch_unwind::do_call::hdcd076e8e993dfbc
[INFO] [stderr]                                at /rustc/9f93af291970322f4f1c6315ccde4d7078201159/library/std/src/panicking.rs:590:40
[INFO] [stderr]   61:     0x5b9f286e93aa - std::panicking::catch_unwind::h8f9f675f3756eab1
[INFO] [stderr]                                at /rustc/9f93af291970322f4f1c6315ccde4d7078201159/library/std/src/panicking.rs:553:19
[INFO] [stderr]   62:     0x5b9f286e93aa - std::panic::catch_unwind::he8f74a93abeceb9b
[INFO] [stderr]                                at /rustc/9f93af291970322f4f1c6315ccde4d7078201159/library/std/src/panic.rs:359:14
[INFO] [stderr]   63:     0x5b9f286e93aa - std::thread::Builder::spawn_unchecked_::{{closure}}::he43db13a2caa41d5
[INFO] [stderr]                                at /rustc/9f93af291970322f4f1c6315ccde4d7078201159/library/std/src/thread/mod.rs:560:30
[INFO] [stderr]   64:     0x5b9f286e93aa - core::ops::function::FnOnce::call_once{{vtable.shim}}::h8f3531a7e0d83514
[INFO] [stderr]                                at /rustc/9f93af291970322f4f1c6315ccde4d7078201159/library/core/src/ops/function.rs:250:5
[INFO] [stderr]   65:     0x5b9f2872c1af - <alloc::boxed::Box<F,A> as core::ops::function::FnOnce<Args>>::call_once::h6ff05134d80ef20e
[INFO] [stderr]                                at /rustc/9f93af291970322f4f1c6315ccde4d7078201159/library/alloc/src/boxed.rs:2085:9
[INFO] [stderr]   66:     0x5b9f2872c1af - std::sys::thread::unix::Thread::new::thread_start::h9a4a41a076a486e0
[INFO] [stderr]                                at /rustc/9f93af291970322f4f1c6315ccde4d7078201159/library/std/src/sys/thread/unix.rs:124:17
[INFO] [stderr]   67:     0x7d9b665a5aa4 - <unknown>
[INFO] [stderr]   68:     0x7d9b66632a64 - clone
[INFO] [stderr]   69:                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-5c0d1b60b47a755d` (signal: 6, SIGABRT: process abort signal)
[INFO] running `Command { std: "docker" "inspect" "382658ca6d8114a8c3ab41f3ddc4f74a5323a57cd5aede5deec165cecb7bb971", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "382658ca6d8114a8c3ab41f3ddc4f74a5323a57cd5aede5deec165cecb7bb971", kill_on_drop: false }`
[INFO] [stdout] 382658ca6d8114a8c3ab41f3ddc4f74a5323a57cd5aede5deec165cecb7bb971
