[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 master#1ef7943ee607160a564655b6596f83670ef95df5 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-tc1/source", kill_on_drop: false }`
[INFO] [stderr] Cloning into '/workspace/builds/worker-3-tc1/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-tc1/source/Cargo.toml
[INFO] validating manifest of git repo https://github.com/yportne13/type-inference-by-example-in-rust on toolchain 1ef7943ee607160a564655b6596f83670ef95df5
[INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+1ef7943ee607160a564655b6596f83670ef95df5" "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" "+1ef7943ee607160a564655b6596f83670ef95df5" "fetch" "--manifest-path" "Cargo.toml", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-3-tc1/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-3-tc1/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" "+1ef7943ee607160a564655b6596f83670ef95df5" "metadata" "--no-deps" "--format-version=1", kill_on_drop: false }`
[INFO] [stdout] 80104004cb851176f9725a8c25fa11740c2ce669ceb338a9260136bb84d2b705
[INFO] running `Command { std: "docker" "start" "-a" "80104004cb851176f9725a8c25fa11740c2ce669ceb338a9260136bb84d2b705", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "inspect" "80104004cb851176f9725a8c25fa11740c2ce669ceb338a9260136bb84d2b705", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "80104004cb851176f9725a8c25fa11740c2ce669ceb338a9260136bb84d2b705", kill_on_drop: false }`
[INFO] [stdout] 80104004cb851176f9725a8c25fa11740c2ce669ceb338a9260136bb84d2b705
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-3-tc1/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-3-tc1/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" "+1ef7943ee607160a564655b6596f83670ef95df5" "build" "--frozen" "--message-format=json", kill_on_drop: false }`
[INFO] [stdout] 466a7485b2fb007f38d4a72e02c3a0cf6b554cc1ede370d1f863dc7795ec4f0c
[INFO] running `Command { std: "docker" "start" "-a" "466a7485b2fb007f38d4a72e02c3a0cf6b554cc1ede370d1f863dc7795ec4f0c", 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 1.22s
[INFO] running `Command { std: "docker" "inspect" "466a7485b2fb007f38d4a72e02c3a0cf6b554cc1ede370d1f863dc7795ec4f0c", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "466a7485b2fb007f38d4a72e02c3a0cf6b554cc1ede370d1f863dc7795ec4f0c", kill_on_drop: false }`
[INFO] [stdout] 466a7485b2fb007f38d4a72e02c3a0cf6b554cc1ede370d1f863dc7795ec4f0c
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-3-tc1/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-3-tc1/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" "+1ef7943ee607160a564655b6596f83670ef95df5" "test" "--frozen" "--no-run" "--message-format=json", kill_on_drop: false }`
[INFO] [stdout] bb9de63314153f48ee2b903f6e2fd3894ca01e55fcdf988589947a699895b3be
[INFO] running `Command { std: "docker" "start" "-a" "bb9de63314153f48ee2b903f6e2fd3894ca01e55fcdf988589947a699895b3be", 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.55s
[INFO] running `Command { std: "docker" "inspect" "bb9de63314153f48ee2b903f6e2fd3894ca01e55fcdf988589947a699895b3be", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "bb9de63314153f48ee2b903f6e2fd3894ca01e55fcdf988589947a699895b3be", kill_on_drop: false }`
[INFO] [stdout] bb9de63314153f48ee2b903f6e2fd3894ca01e55fcdf988589947a699895b3be
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-3-tc1/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-3-tc1/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" "+1ef7943ee607160a564655b6596f83670ef95df5" "test" "--frozen", kill_on_drop: false }`
[INFO] [stdout] 1c50f06c28a14c1d336c248367752e57813fd4cceef9ac257e29fef6472bbdf5
[INFO] running `Command { std: "docker" "start" "-a" "1c50f06c28a14c1d336c248367752e57813fd4cceef9ac257e29fef6472bbdf5", 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.01s
[INFO] [stdout] 
[INFO] [stderr]      Running unittests src/main.rs (/opt/rustwide/target/debug/deps/hindley_milner-5c0d1b60b47a755d)
[INFO] [stdout] running 5 tests
[INFO] [stderr] 
[INFO] [stderr] thread 'parser::lex::test' (16) panicked at /rustc/1ef7943ee607160a564655b6596f83670ef95df5/library/core/src/str/traits.rs:467:32:
[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:     0x64db573d0412 - std::backtrace_rs::backtrace::libunwind::trace::h786de35fecf3582f
[INFO] [stderr]                                at /rustc/1ef7943ee607160a564655b6596f83670ef95df5/library/std/src/../../backtrace/src/backtrace/libunwind.rs:117:9
[INFO] [stderr]    1:     0x64db573d0412 - std::backtrace_rs::backtrace::trace_unsynchronized::h4a7da1a2a64387f1
[INFO] [stderr]                                at /rustc/1ef7943ee607160a564655b6596f83670ef95df5/library/std/src/../../backtrace/src/backtrace/mod.rs:66:14
[INFO] [stderr]    2:     0x64db573d0412 - std::sys::backtrace::_print_fmt::h6bd7d500070c788c
[INFO] [stderr]                                at /rustc/1ef7943ee607160a564655b6596f83670ef95df5/library/std/src/sys/backtrace.rs:66:9
[INFO] [stderr]    3:     0x64db573d0412 - <std::sys::backtrace::BacktraceLock::print::DisplayBacktrace as core::fmt::Display>::fmt::h6d82c1afff976903
[INFO] [stderr]                                at /rustc/1ef7943ee607160a564655b6596f83670ef95df5/library/std/src/sys/backtrace.rs:39:26
[INFO] [stderr]    4:     0x64db573e040f - core::fmt::rt::Argument::fmt::hc4ce6d643d397690
[INFO] [stderr]                                at /rustc/1ef7943ee607160a564655b6596f83670ef95df5/library/core/src/fmt/rt.rs:173:76
[INFO] [stderr]    5:     0x64db573e040f - core::fmt::write::hb1e7ca88b6a3936e
[INFO] [stderr]                                at /rustc/1ef7943ee607160a564655b6596f83670ef95df5/library/core/src/fmt/mod.rs:1469:25
[INFO] [stderr]    6:     0x64db5739e013 - std::io::default_write_fmt::hd5a9ffaa98f14929
[INFO] [stderr]                                at /rustc/1ef7943ee607160a564655b6596f83670ef95df5/library/std/src/io/mod.rs:639:11
[INFO] [stderr]    7:     0x64db5739e013 - std::io::Write::write_fmt::hc04a1e5003ed78ae
[INFO] [stderr]                                at /rustc/1ef7943ee607160a564655b6596f83670ef95df5/library/std/src/io/mod.rs:1954:13
[INFO] [stderr]    8:     0x64db573a9c82 - std::sys::backtrace::BacktraceLock::print::ha2430613ee79d059
[INFO] [stderr]                                at /rustc/1ef7943ee607160a564655b6596f83670ef95df5/library/std/src/sys/backtrace.rs:42:9
[INFO] [stderr]    9:     0x64db573ae75f - std::panicking::default_hook::{{closure}}::hdbd2db9e5c303cf6
[INFO] [stderr]                                at /rustc/1ef7943ee607160a564655b6596f83670ef95df5/library/std/src/panicking.rs:301:27
[INFO] [stderr]   10:     0x64db573ae5b9 - std::panicking::default_hook::hed93c70cba5fdcf0
[INFO] [stderr]                                at /rustc/1ef7943ee607160a564655b6596f83670ef95df5/library/std/src/panicking.rs:328:9
[INFO] [stderr]   11:     0x64db573717be - <alloc::boxed::Box<F,A> as core::ops::function::Fn<Args>>::call::hd0ee8b569efc6a07
[INFO] [stderr]                                at /rustc/1ef7943ee607160a564655b6596f83670ef95df5/library/alloc/src/boxed.rs:2099:9
[INFO] [stderr]   12:     0x64db573717be - test::test_main_with_exit_callback::{{closure}}::hf10864b576ecd15d
[INFO] [stderr]                                at /rustc/1ef7943ee607160a564655b6596f83670ef95df5/library/test/src/lib.rs:145:21
[INFO] [stderr]   13:     0x64db573aed6f - <alloc::boxed::Box<F,A> as core::ops::function::Fn<Args>>::call::h3a55ca34534c0d00
[INFO] [stderr]                                at /rustc/1ef7943ee607160a564655b6596f83670ef95df5/library/alloc/src/boxed.rs:2099:9
[INFO] [stderr]   14:     0x64db573aed6f - std::panicking::panic_with_hook::h3862d766c2cec19b
[INFO] [stderr]                                at /rustc/1ef7943ee607160a564655b6596f83670ef95df5/library/std/src/panicking.rs:842:13
[INFO] [stderr]   15:     0x64db573aeb96 - std::panicking::panic_handler::{{closure}}::hb95eb402b5e28ee1
[INFO] [stderr]                                at /rustc/1ef7943ee607160a564655b6596f83670ef95df5/library/std/src/panicking.rs:700:13
[INFO] [stderr]   16:     0x64db573a9db9 - std::sys::backtrace::__rust_end_short_backtrace::hf73a26dc1835d85a
[INFO] [stderr]                                at /rustc/1ef7943ee607160a564655b6596f83670ef95df5/library/std/src/sys/backtrace.rs:174:18
[INFO] [stderr]   17:     0x64db573926ad - __rustc[6ed5915ee467787]::rust_begin_unwind
[INFO] [stderr]                                at /rustc/1ef7943ee607160a564655b6596f83670ef95df5/library/std/src/panicking.rs:698:5
[INFO] [stderr]   18:     0x64db573e829d - core::panicking::panic_nounwind_fmt::runtime::hfa05cfe792208e7b
[INFO] [stderr]                                at /rustc/1ef7943ee607160a564655b6596f83670ef95df5/library/core/src/panicking.rs:122:22
[INFO] [stderr]   19:     0x64db573e829d - core::panicking::panic_nounwind_fmt::h05a292a1d694c9f8
[INFO] [stderr]                                at /rustc/1ef7943ee607160a564655b6596f83670ef95df5/library/core/src/intrinsics/mod.rs:2439:9
[INFO] [stderr]   20:     0x64db57308c40 - core::str::traits::<impl core::slice::index::SliceIndex<str> for core::ops::range::Range<usize>>::get_unchecked::precondition_check::h4c153724a5c974e8
[INFO] [stderr]                                at /rustc/1ef7943ee607160a564655b6596f83670ef95df5/library/core/src/ub_checks.rs:73:21
[INFO] [stderr]   21:     0x64db57333242 - core::str::traits::<impl core::slice::index::SliceIndex<str> for core::ops::range::Range<usize>>::get_unchecked::h5cb6553a0bb2045c
[INFO] [stderr]                                at /rustc/1ef7943ee607160a564655b6596f83670ef95df5/library/core/src/ub_checks.rs:78:17
[INFO] [stderr]   22:     0x64db5733329b - core::str::traits::<impl core::slice::index::SliceIndex<str> for core::ops::range::RangeTo<usize>>::get_unchecked::hccc6aff643c0b103
[INFO] [stderr]                                at /rustc/1ef7943ee607160a564655b6596f83670ef95df5/library/core/src/str/traits.rs:467:32
[INFO] [stderr]   23:     0x64db5733c688 - core::str::<impl str>::get_unchecked::h43ecaf1afb6ca73e
[INFO] [stderr]                                at /rustc/1ef7943ee607160a564655b6596f83670ef95df5/library/core/src/str/mod.rs:675:22
[INFO] [stderr]   24:     0x64db57302ddb - hindley_milner::parser::lex::lex::{{closure}}::hd6d078bd5363f8c0
[INFO] [stderr]                                at /opt/rustwide/workdir/src/parser/lex.rs:78:43
[INFO] [stderr]   25:     0x64db5732b7af - hindley_milner::parser::core::Parser::map::{{closure}}::h197f5684fe942a45
[INFO] [stderr]                                at /opt/rustwide/workdir/src/parser/core.rs:57:26
[INFO] [stderr]   26:     0x64db57334388 - <F as hindley_milner::parser::core::Parser<I,A>>::parse::h22154e48d905f338
[INFO] [stderr]                                at /opt/rustwide/workdir/src/parser/core.rs:116:9
[INFO] [stderr]   27:     0x64db5732e125 - hindley_milner::parser::core::Parser::with::{{closure}}::ha7672ff38e2724a1
[INFO] [stderr]                                at /opt/rustwide/workdir/src/parser/core.rs:40:35
[INFO] [stderr]   28:     0x64db57334b08 - <F as hindley_milner::parser::core::Parser<I,A>>::parse::h9bf710f85e486d5a
[INFO] [stderr]                                at /opt/rustwide/workdir/src/parser/core.rs:116:9
[INFO] [stderr]   29:     0x64db5732ccbd - hindley_milner::parser::core::Parser::map::{{closure}}::hd44ae1292433080e
[INFO] [stderr]                                at /opt/rustwide/workdir/src/parser/core.rs:56:35
[INFO] [stderr]   30:     0x64db57334ef8 - <F as hindley_milner::parser::core::Parser<I,A>>::parse::hcabf55ad53e76079
[INFO] [stderr]                                at /opt/rustwide/workdir/src/parser/core.rs:116:9
[INFO] [stderr]   31:     0x64db5732abbd - hindley_milner::parser::core::Parser::or::{{closure}}::hd680f4a05feeab35
[INFO] [stderr]                                at /opt/rustwide/workdir/src/parser/core.rs:49:27
[INFO] [stderr]   32:     0x64db57334628 - <F as hindley_milner::parser::core::Parser<I,A>>::parse::h4739b4e0c63e2a70
[INFO] [stderr]                                at /opt/rustwide/workdir/src/parser/core.rs:116:9
[INFO] [stderr]   33:     0x64db5732aadd - hindley_milner::parser::core::Parser::or::{{closure}}::ha2a4bf074b7b7728
[INFO] [stderr]                                at /opt/rustwide/workdir/src/parser/core.rs:49:27
[INFO] [stderr]   34:     0x64db57334748 - <F as hindley_milner::parser::core::Parser<I,A>>::parse::h5c05ede6ecbb7200
[INFO] [stderr]                                at /opt/rustwide/workdir/src/parser/core.rs:116:9
[INFO] [stderr]   35:     0x64db5732a99d - hindley_milner::parser::core::Parser::or::{{closure}}::h0e9550d2475d68d8
[INFO] [stderr]                                at /opt/rustwide/workdir/src/parser/core.rs:49:27
[INFO] [stderr]   36:     0x64db57334d18 - <F as hindley_milner::parser::core::Parser<I,A>>::parse::hb00be6e43e7dd179
[INFO] [stderr]                                at /opt/rustwide/workdir/src/parser/core.rs:116:9
[INFO] [stderr]   37:     0x64db5732f740 - hindley_milner::parser::core::Parser::many0::{{closure}}::hedb59ea8eb573162
[INFO] [stderr]                                at /opt/rustwide/workdir/src/parser/core.rs:72:48
[INFO] [stderr]   38:     0x64db57335198 - <F as hindley_milner::parser::core::Parser<I,A>>::parse::hf4fe4bab818e3cc6
[INFO] [stderr]                                at /opt/rustwide/workdir/src/parser/core.rs:116:9
[INFO] [stderr]   39:     0x64db5732f157 - hindley_milner::parser::core::Parser::with::{{closure}}::hdc26d0f23f3ba16a
[INFO] [stderr]                                at /opt/rustwide/workdir/src/parser/core.rs:41:34
[INFO] [stderr]   40:     0x64db57334238 - <F as hindley_milner::parser::core::Parser<I,A>>::parse::h0e1aea464996d77b
[INFO] [stderr]                                at /opt/rustwide/workdir/src/parser/core.rs:116:9
[INFO] [stderr]   41:     0x64db5732c03d - hindley_milner::parser::core::Parser::map::{{closure}}::h6b0a300fa1245061
[INFO] [stderr]                                at /opt/rustwide/workdir/src/parser/core.rs:56:35
[INFO] [stderr]   42:     0x64db57334688 - <F as hindley_milner::parser::core::Parser<I,A>>::parse::h56afad64bc767ad6
[INFO] [stderr]                                at /opt/rustwide/workdir/src/parser/core.rs:116:9
[INFO] [stderr]   43:     0x64db57302a22 - hindley_milner::parser::lex::lex::h551dc5ea4cfb1a6c
[INFO] [stderr]                                at /opt/rustwide/workdir/src/parser/lex.rs:115:31
[INFO] [stderr]   44:     0x64db57303447 - hindley_milner::parser::lex::test::h2f96a0b9629f39ac
[INFO] [stderr]                                at /opt/rustwide/workdir/src/parser/lex.rs:138:15
[INFO] [stderr]   45:     0x64db57303647 - hindley_milner::parser::lex::test::{{closure}}::h6d3c3bee7579dcbf
[INFO] [stderr]                                at /opt/rustwide/workdir/src/parser/lex.rs:119:10
[INFO] [stderr]   46:     0x64db57305066 - core::ops::function::FnOnce::call_once::hcea3c6c7cde20a8c
[INFO] [stderr]                                at /rustc/1ef7943ee607160a564655b6596f83670ef95df5/library/core/src/ops/function.rs:250:5
[INFO] [stderr]   47:     0x64db5737159b - core::ops::function::FnOnce::call_once::ha729ee35d2fab541
[INFO] [stderr]                                at /rustc/1ef7943ee607160a564655b6596f83670ef95df5/library/core/src/ops/function.rs:250:5
[INFO] [stderr]   48:     0x64db5737159b - test::__rust_begin_short_backtrace::ha40f4db8207e1111
[INFO] [stderr]                                at /rustc/1ef7943ee607160a564655b6596f83670ef95df5/library/test/src/lib.rs:663:18
[INFO] [stderr]   49:     0x64db5738561d - test::run_test_in_process::{{closure}}::hc1b77cda5d44f0f3
[INFO] [stderr]                                at /rustc/1ef7943ee607160a564655b6596f83670ef95df5/library/test/src/lib.rs:686:74
[INFO] [stderr]   50:     0x64db5738561d - <core::panic::unwind_safe::AssertUnwindSafe<F> as core::ops::function::FnOnce<()>>::call_once::h1dbea1de64785521
[INFO] [stderr]                                at /rustc/1ef7943ee607160a564655b6596f83670ef95df5/library/core/src/panic/unwind_safe.rs:274:9
[INFO] [stderr]   51:     0x64db5738561d - std::panicking::catch_unwind::do_call::hd5febe9affd5a1b3
[INFO] [stderr]                                at /rustc/1ef7943ee607160a564655b6596f83670ef95df5/library/std/src/panicking.rs:590:40
[INFO] [stderr]   52:     0x64db5738561d - std::panicking::catch_unwind::h51ea89627559b6f4
[INFO] [stderr]                                at /rustc/1ef7943ee607160a564655b6596f83670ef95df5/library/std/src/panicking.rs:553:19
[INFO] [stderr]   53:     0x64db5738561d - std::panic::catch_unwind::hb8b8c2367cae3d66
[INFO] [stderr]                                at /rustc/1ef7943ee607160a564655b6596f83670ef95df5/library/std/src/panic.rs:359:14
[INFO] [stderr]   54:     0x64db5738561d - test::run_test_in_process::ha5b55801407ea100
[INFO] [stderr]                                at /rustc/1ef7943ee607160a564655b6596f83670ef95df5/library/test/src/lib.rs:686:27
[INFO] [stderr]   55:     0x64db5738561d - test::run_test::{{closure}}::h0b9d4072b527abf5
[INFO] [stderr]                                at /rustc/1ef7943ee607160a564655b6596f83670ef95df5/library/test/src/lib.rs:607:43
[INFO] [stderr]   56:     0x64db5735eb34 - test::run_test::{{closure}}::hb1056b5731205822
[INFO] [stderr]                                at /rustc/1ef7943ee607160a564655b6596f83670ef95df5/library/test/src/lib.rs:637:41
[INFO] [stderr]   57:     0x64db5735eb34 - std::sys::backtrace::__rust_begin_short_backtrace::hb61ff5a34023c7ef
[INFO] [stderr]                                at /rustc/1ef7943ee607160a564655b6596f83670ef95df5/library/std/src/sys/backtrace.rs:158:18
[INFO] [stderr]   58:     0x64db5736246a - std::thread::Builder::spawn_unchecked_::{{closure}}::{{closure}}::hb0a83c0e8b353cff
[INFO] [stderr]                                at /rustc/1ef7943ee607160a564655b6596f83670ef95df5/library/std/src/thread/mod.rs:562:17
[INFO] [stderr]   59:     0x64db5736246a - <core::panic::unwind_safe::AssertUnwindSafe<F> as core::ops::function::FnOnce<()>>::call_once::hb4f32cb008535298
[INFO] [stderr]                                at /rustc/1ef7943ee607160a564655b6596f83670ef95df5/library/core/src/panic/unwind_safe.rs:274:9
[INFO] [stderr]   60:     0x64db5736246a - std::panicking::catch_unwind::do_call::h16d110e4fc35789a
[INFO] [stderr]                                at /rustc/1ef7943ee607160a564655b6596f83670ef95df5/library/std/src/panicking.rs:590:40
[INFO] [stderr]   61:     0x64db5736246a - std::panicking::catch_unwind::hea9118f355699c4b
[INFO] [stderr]                                at /rustc/1ef7943ee607160a564655b6596f83670ef95df5/library/std/src/panicking.rs:553:19
[INFO] [stderr]   62:     0x64db5736246a - std::panic::catch_unwind::hf4b3c2a06d3f42f5
[INFO] [stderr]                                at /rustc/1ef7943ee607160a564655b6596f83670ef95df5/library/std/src/panic.rs:359:14
[INFO] [stderr]   63:     0x64db5736246a - std::thread::Builder::spawn_unchecked_::{{closure}}::h3f4cb733a52d53d5
[INFO] [stderr]                                at /rustc/1ef7943ee607160a564655b6596f83670ef95df5/library/std/src/thread/mod.rs:560:30
[INFO] [stderr]   64:     0x64db5736246a - core::ops::function::FnOnce::call_once{{vtable.shim}}::h4052f0967b37caeb
[INFO] [stderr]                                at /rustc/1ef7943ee607160a564655b6596f83670ef95df5/library/core/src/ops/function.rs:250:5
[INFO] [stderr]   65:     0x64db573a51bf - <alloc::boxed::Box<F,A> as core::ops::function::FnOnce<Args>>::call_once::h7ec433abd3f148b4
[INFO] [stderr]                                at /rustc/1ef7943ee607160a564655b6596f83670ef95df5/library/alloc/src/boxed.rs:2085:9
[INFO] [stderr]   66:     0x64db573a51bf - std::sys::thread::unix::Thread::new::thread_start::he514622d3d7ba65c
[INFO] [stderr]                                at /rustc/1ef7943ee607160a564655b6596f83670ef95df5/library/std/src/sys/thread/unix.rs:124:17
[INFO] [stderr]   67:     0x76a1b0d33aa4 - <unknown>
[INFO] [stderr]   68:     0x76a1b0dc0a64 - 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" "1c50f06c28a14c1d336c248367752e57813fd4cceef9ac257e29fef6472bbdf5", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "1c50f06c28a14c1d336c248367752e57813fd4cceef9ac257e29fef6472bbdf5", kill_on_drop: false }`
[INFO] [stdout] 1c50f06c28a14c1d336c248367752e57813fd4cceef9ac257e29fef6472bbdf5
