[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] building yportne13/type-inference-by-example-in-rust against master#11663cd3bfefef7d34e8f0892c250bf698049392+rustflags=-Dtail-expr-drop-order for pr-134523
[INFO] running `Command { std: "git" "clone" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Fyportne13%2Ftype-inference-by-example-in-rust" "/workspace/builds/worker-0-tc1/source", kill_on_drop: false }`
[INFO] [stderr] Cloning into '/workspace/builds/worker-0-tc1/source'...
[INFO] [stderr] done.
[INFO] validating manifest of git repo https://github.com/yportne13/type-inference-by-example-in-rust on toolchain 11663cd3bfefef7d34e8f0892c250bf698049392
[INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+11663cd3bfefef7d34e8f0892c250bf698049392" "metadata" "--manifest-path" "Cargo.toml" "--no-deps", kill_on_drop: false }`
[INFO] started tweaking git repo https://github.com/yportne13/type-inference-by-example-in-rust
[INFO] finished tweaking git repo https://github.com/yportne13/type-inference-by-example-in-rust
[INFO] tweaked toml for git repo https://github.com/yportne13/type-inference-by-example-in-rust written to /workspace/builds/worker-0-tc1/source/Cargo.toml
[INFO] crate git repo https://github.com/yportne13/type-inference-by-example-in-rust already has a lockfile, it will not be regenerated
[INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+11663cd3bfefef7d34e8f0892c250bf698049392" "fetch" "--manifest-path" "Cargo.toml", kill_on_drop: false }`
[INFO] [stderr]     Blocking waiting for file lock on package cache
[INFO] [stderr]     Blocking waiting for file lock on package cache
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-0-tc1/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-0-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:f3a9d4ad9d972b27faf3965f35b62e55ba32bbce8f20bc8fe909558a86702fde" "/opt/rustwide/cargo-home/bin/cargo" "+11663cd3bfefef7d34e8f0892c250bf698049392" "metadata" "--no-deps" "--format-version=1", kill_on_drop: false }`
[INFO] [stdout] 8e0eb3e42389dadf8e4c993ff98df86260b97201bc3979bfd8a5859ffce3000d
[INFO] running `Command { std: "docker" "start" "-a" "8e0eb3e42389dadf8e4c993ff98df86260b97201bc3979bfd8a5859ffce3000d", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "inspect" "8e0eb3e42389dadf8e4c993ff98df86260b97201bc3979bfd8a5859ffce3000d", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "8e0eb3e42389dadf8e4c993ff98df86260b97201bc3979bfd8a5859ffce3000d", kill_on_drop: false }`
[INFO] [stdout] 8e0eb3e42389dadf8e4c993ff98df86260b97201bc3979bfd8a5859ffce3000d
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-0-tc1/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-0-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 -Dtail-expr-drop-order" "-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:f3a9d4ad9d972b27faf3965f35b62e55ba32bbce8f20bc8fe909558a86702fde" "/opt/rustwide/cargo-home/bin/cargo" "+11663cd3bfefef7d34e8f0892c250bf698049392" "build" "--frozen" "--message-format=json", kill_on_drop: false }`
[INFO] [stdout] b6552828d101db03c6e6bc12f6d86b5d218a35d00e0758c87a24a66d766da609
[INFO] running `Command { std: "docker" "start" "-a" "b6552828d101db03c6e6bc12f6d86b5d218a35d00e0758c87a24a66d766da609", kill_on_drop: false }`
[INFO] [stderr]    Compiling hindley_milner v0.1.0 (/opt/rustwide/workdir)
[INFO] [stdout] warning: unused imports: `Maybe` and `maybe`
[INFO] [stdout]  --> src/parser/mod.rs:1:12
[INFO] [stdout]   |
[INFO] [stdout] 1 | use core::{maybe, Maybe, Parser, Span};
[INFO] [stdout]   |            ^^^^^  ^^^^^
[INFO] [stdout]   |
[INFO] [stdout]   = note: `#[warn(unused_imports)]` on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `endline`
[INFO] [stdout]    --> src/parser/lex.rs:102:9
[INFO] [stdout]     |
[INFO] [stdout] 102 |     let endline = pmatch("\n").map(|x| x.map(|y| (y, EndLine)));
[INFO] [stdout]     |         ^^^^^^^ help: if this is intentional, prefix it with an underscore: `_endline`
[INFO] [stdout]     |
[INFO] [stdout]     = note: `#[warn(unused_variables)]` on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `fun`
[INFO] [stdout]    --> src/parser/mod.rs:176:17
[INFO] [stdout]     |
[INFO] [stdout] 176 |     let (input, fun) = kw(TokenKind::FunKeyword).parse(input)?;
[INFO] [stdout]     |                 ^^^ help: if this is intentional, prefix it with an underscore: `_fun`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `arrow`
[INFO] [stdout]    --> src/parser/mod.rs:178:17
[INFO] [stdout]     |
[INFO] [stdout] 178 |     let (input, arrow) = kw(TokenKind::Arrow).parse(input)?;
[INFO] [stdout]     |                 ^^^^^ help: if this is intentional, prefix it with an underscore: `_arrow`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `if_kw`
[INFO] [stdout]    --> src/parser/mod.rs:187:17
[INFO] [stdout]     |
[INFO] [stdout] 187 |     let (input, if_kw) = kw(TokenKind::IfKeyword).parse(input)?;
[INFO] [stdout]     |                 ^^^^^ help: if this is intentional, prefix it with an underscore: `_if_kw`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `then_kw`
[INFO] [stdout]    --> src/parser/mod.rs:189:17
[INFO] [stdout]     |
[INFO] [stdout] 189 |     let (input, then_kw) = kw(TokenKind::ThenKeyword).parse(input)?;
[INFO] [stdout]     |                 ^^^^^^^ help: if this is intentional, prefix it with an underscore: `_then_kw`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `else_kw`
[INFO] [stdout]    --> src/parser/mod.rs:191:17
[INFO] [stdout]     |
[INFO] [stdout] 191 |     let (input, else_kw) = kw(TokenKind::ElseKeyword).parse(input)?;
[INFO] [stdout]     |                 ^^^^^^^ help: if this is intentional, prefix it with an underscore: `_else_kw`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `keyword`
[INFO] [stdout]    --> src/parser/mod.rs:212:17
[INFO] [stdout]     |
[INFO] [stdout] 212 |     let (input, keyword) = kw(TokenKind::LetKeyword).parse(input)?;
[INFO] [stdout]     |                 ^^^^^^^ help: if this is intentional, prefix it with an underscore: `_keyword`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `eq`
[INFO] [stdout]    --> src/parser/mod.rs:214:17
[INFO] [stdout]     |
[INFO] [stdout] 214 |     let (input, eq) = kw(TokenKind::Eq).parse(input)?;
[INFO] [stdout]     |                 ^^ help: if this is intentional, prefix it with an underscore: `_eq`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: irrefutable `if let` pattern
[INFO] [stdout]   --> src/part5/mod.rs:91:16
[INFO] [stdout]    |
[INFO] [stdout] 91 |             if let Constraint::Equality(t1, t2) = constraint {
[INFO] [stdout]    |                ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout]    |
[INFO] [stdout]    = note: this pattern will always match, so the `if let` is useless
[INFO] [stdout]    = help: consider replacing the `if let` with a `let`
[INFO] [stdout]    = note: `#[warn(irrefutable_let_patterns)]` on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: irrefutable `if let` pattern
[INFO] [stdout]    --> src/part6/mod.rs:183:16
[INFO] [stdout]     |
[INFO] [stdout] 183 |             if let Constraint::CEquality(t1, t2) = constraint {
[INFO] [stdout]     |                ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout]     = note: this pattern will always match, so the `if let` is useless
[INFO] [stdout]     = help: consider replacing the `if let` with a `let`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: enum `Expect` is never used
[INFO] [stdout]  --> src/parser/mod.rs:9:10
[INFO] [stdout]   |
[INFO] [stdout] 9 | pub enum Expect {
[INFO] [stdout]   |          ^^^^^^
[INFO] [stdout]   |
[INFO] [stdout]   = note: `Expect` has derived impls for the traits `Debug` and `Clone`, but these are intentionally ignored during dead code analysis
[INFO] [stdout]   = note: `#[warn(dead_code)]` on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: enum `Term` is never used
[INFO] [stdout]   --> src/parser/mod.rs:20:10
[INFO] [stdout]    |
[INFO] [stdout] 20 | pub enum Term<'a> {
[INFO] [stdout]    |          ^^^^
[INFO] [stdout]    |
[INFO] [stdout]    = note: `Term` has derived impls for the traits `Debug` and `Clone`, but these are intentionally ignored during dead code analysis
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: enum `Type` is never used
[INFO] [stdout]   --> src/parser/mod.rs:43:10
[INFO] [stdout]    |
[INFO] [stdout] 43 | pub enum Type<'a> {
[INFO] [stdout]    |          ^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: struct `TypeVariable` is never constructed
[INFO] [stdout]   --> src/parser/mod.rs:71:12
[INFO] [stdout]    |
[INFO] [stdout] 71 | pub struct TypeVariable<'a> {
[INFO] [stdout]    |            ^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: function `kw` is never used
[INFO] [stdout]   --> src/parser/mod.rs:76:4
[INFO] [stdout]    |
[INFO] [stdout] 76 | fn kw<'a, 'b: 'a>(p: TokenKind) -> impl Parser<&'a [TokenNode<'b>], Span<'a, ()>> {
[INFO] [stdout]    |    ^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: function `string` is never used
[INFO] [stdout]   --> src/parser/mod.rs:90:4
[INFO] [stdout]    |
[INFO] [stdout] 90 | fn string<'a>(p: TokenKind) -> impl Parser<&'a [TokenNode<'a>], Span<'a, String>> {
[INFO] [stdout]    |    ^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: function `term` is never used
[INFO] [stdout]    --> src/parser/mod.rs:104:4
[INFO] [stdout]     |
[INFO] [stdout] 104 | fn term<'a>(input: &'a [TokenNode<'a>]) -> Option<(&'a [TokenNode<'a>], Term<'a>)> {
[INFO] [stdout]     |    ^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: function `const_or_var` is never used
[INFO] [stdout]    --> src/parser/mod.rs:108:4
[INFO] [stdout]     |
[INFO] [stdout] 108 | fn const_or_var<'a>(input: &'a [TokenNode<'a>]) -> Option<(&'a [TokenNode<'a>], Term<'a>)> {
[INFO] [stdout]     |    ^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: function `parens` is never used
[INFO] [stdout]    --> src/parser/mod.rs:138:4
[INFO] [stdout]     |
[INFO] [stdout] 138 | fn parens<'a>(input: &'a [TokenNode<'a>]) -> Option<(&'a [TokenNode<'a>], Term<'a>)> {
[INFO] [stdout]     |    ^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: function `subterm_no_sel` is never used
[INFO] [stdout]    --> src/parser/mod.rs:143:4
[INFO] [stdout]     |
[INFO] [stdout] 143 | fn subterm_no_sel<'a>(input: &'a [TokenNode<'a>]) -> Option<(&'a [TokenNode<'a>], Term<'a>)> {
[INFO] [stdout]     |    ^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: function `subterm` is never used
[INFO] [stdout]    --> src/parser/mod.rs:147:4
[INFO] [stdout]     |
[INFO] [stdout] 147 | fn subterm<'a>(input: &'a [TokenNode<'a>]) -> Option<(&'a [TokenNode<'a>], Term<'a>)> {
[INFO] [stdout]     |    ^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: function `record` is never used
[INFO] [stdout]    --> src/parser/mod.rs:160:4
[INFO] [stdout]     |
[INFO] [stdout] 160 | fn record<'a>(input: &'a [TokenNode<'a>]) -> Option<(&'a [TokenNode<'a>], Term<'a>)> {
[INFO] [stdout]     |    ^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: function `fun` is never used
[INFO] [stdout]    --> src/parser/mod.rs:175:4
[INFO] [stdout]     |
[INFO] [stdout] 175 | fn fun<'a>(input: &'a [TokenNode<'a>]) -> Option<(&'a [TokenNode<'a>], Term<'a>)> {
[INFO] [stdout]     |    ^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: function `ite` is never used
[INFO] [stdout]    --> src/parser/mod.rs:186:4
[INFO] [stdout]     |
[INFO] [stdout] 186 | fn ite<'a>(input: &'a [TokenNode<'a>]) -> Option<(&'a [TokenNode<'a>], Term<'a>)> {
[INFO] [stdout]     |    ^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: function `apps` is never used
[INFO] [stdout]    --> src/parser/mod.rs:200:4
[INFO] [stdout]     |
[INFO] [stdout] 200 | fn apps<'a>(input: &'a [TokenNode<'a>]) -> Option<(&'a [TokenNode<'a>], Term<'a>)> {
[INFO] [stdout]     |    ^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: function `toplvl` is never used
[INFO] [stdout]    --> src/parser/mod.rs:209:4
[INFO] [stdout]     |
[INFO] [stdout] 209 | fn toplvl<'a>(input: &'a [TokenNode<'a>]) -> Option<(&'a [TokenNode<'a>], (
[INFO] [stdout]     |    ^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: function `prgm` is never used
[INFO] [stdout]    --> src/parser/mod.rs:225:4
[INFO] [stdout]     |
[INFO] [stdout] 225 | fn prgm<'a>(input: &'a [TokenNode<'a>]) -> Option<(&'a [TokenNode<'a>], Vec<(Span<'a, String>, Box<Term<'a>>)>)> {
[INFO] [stdout]     |    ^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: field `path` is never read
[INFO] [stdout]   --> src/parser/core.rs:10:9
[INFO] [stdout]    |
[INFO] [stdout] 6  | pub struct Span<'a, T> {
[INFO] [stdout]    |            ---- field in this struct
[INFO] [stdout] ...
[INFO] [stdout] 10 |     pub path: &'a Path,
[INFO] [stdout]    |         ^^^^
[INFO] [stdout]    |
[INFO] [stdout]    = note: `Span` has a derived impl for the trait `Clone`, but this is intentionally ignored during dead code analysis
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: methods `map` and `len` are never used
[INFO] [stdout]   --> src/parser/core.rs:14:12
[INFO] [stdout]    |
[INFO] [stdout] 13 | impl<'a, T> Span<'a, T> {
[INFO] [stdout]    | ----------------------- methods in this implementation
[INFO] [stdout] 14 |     pub fn map<U>(self, f: impl Fn(T) -> U) -> Span<'a, U> {
[INFO] [stdout]    |            ^^^
[INFO] [stdout] ...
[INFO] [stdout] 22 |     pub fn len(&self) -> u32 {
[INFO] [stdout]    |            ^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: multiple methods are never used
[INFO] [stdout]    --> src/parser/core.rs:34:8
[INFO] [stdout]     |
[INFO] [stdout] 33  | pub trait Parser<I: Copy, A>: Sized + Copy {
[INFO] [stdout]     |           ------ methods in this trait
[INFO] [stdout] 34  |     fn parse(&self, input: I) -> Option<(I, A)>;
[INFO] [stdout]     |        ^^^^^
[INFO] [stdout] 35  |     fn with<P, B>(self, rhs: P) -> impl Parser<I, (A, B)>//T: AsRef<P>, 
[INFO] [stdout]     |        ^^^^
[INFO] [stdout] ...
[INFO] [stdout] 45  |     fn or<P>(self, rhs: P) -> impl Parser<I, A>
[INFO] [stdout]     |        ^^
[INFO] [stdout] ...
[INFO] [stdout] 51  |     fn map<B, F>(self, f: F) -> impl Parser<I, B>
[INFO] [stdout]     |        ^^^
[INFO] [stdout] ...
[INFO] [stdout] 60  |     fn option(self) -> impl Parser<I, Option<A>> {
[INFO] [stdout]     |        ^^^^^^
[INFO] [stdout] ...
[INFO] [stdout] 68  |     fn many0(self) -> impl Parser<I, Vec<A>> {
[INFO] [stdout]     |        ^^^^^
[INFO] [stdout] ...
[INFO] [stdout] 80  |     fn many0_sep<P, X>(self, sep: P) -> impl Parser<I, Vec<A>>
[INFO] [stdout]     |        ^^^^^^^^^
[INFO] [stdout] ...
[INFO] [stdout] 100 |     fn many1(self) -> impl Parser<I, Vec<A>> {
[INFO] [stdout]     |        ^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: type alias `Input` is never used
[INFO] [stdout]    --> src/parser/core.rs:120:10
[INFO] [stdout]     |
[INFO] [stdout] 120 | pub type Input<'a> = Span<'a, &'a str>;
[INFO] [stdout]     |          ^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: enum `Maybe` is never used
[INFO] [stdout]    --> src/parser/core.rs:123:10
[INFO] [stdout]     |
[INFO] [stdout] 123 | pub enum Maybe<'a, T, E> {
[INFO] [stdout]     |          ^^^^^
[INFO] [stdout]     |
[INFO] [stdout]     = note: `Maybe` has derived impls for the traits `Debug` and `Clone`, but these are intentionally ignored during dead code analysis
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: function `maybe` is never used
[INFO] [stdout]    --> src/parser/core.rs:128:8
[INFO] [stdout]     |
[INFO] [stdout] 128 | pub fn maybe<'a, T, P, E: Copy>(x: P, err: E) -> impl Parser<&'a [TokenNode<'a>], Maybe<'a, T, E>>
[INFO] [stdout]     |        ^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: function `pmatch` is never used
[INFO] [stdout]    --> src/parser/core.rs:138:8
[INFO] [stdout]     |
[INFO] [stdout] 138 | pub fn pmatch<'a, P: Pattern + Copy>(pat: P) -> impl Parser<Input<'a>, Span<'a, &'a str>> {
[INFO] [stdout]     |        ^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: multiple variants are never constructed
[INFO] [stdout]   --> src/parser/lex.rs:7:5
[INFO] [stdout]    |
[INFO] [stdout] 6  | pub enum TokenKind {
[INFO] [stdout]    |          --------- variants in this enum
[INFO] [stdout] 7  |     LetKeyword,
[INFO] [stdout]    |     ^^^^^^^^^^
[INFO] [stdout] 8  |     RecKeyword,
[INFO] [stdout]    |     ^^^^^^^^^^
[INFO] [stdout] 9  |     InKeyword,
[INFO] [stdout]    |     ^^^^^^^^^
[INFO] [stdout] 10 |     FunKeyword,
[INFO] [stdout]    |     ^^^^^^^^^^
[INFO] [stdout] 11 |     IfKeyword,
[INFO] [stdout]    |     ^^^^^^^^^
[INFO] [stdout] 12 |     ThenKeyword,
[INFO] [stdout]    |     ^^^^^^^^^^^
[INFO] [stdout] 13 |     ElseKeyword,
[INFO] [stdout]    |     ^^^^^^^^^^^
[INFO] [stdout] 14 |     TrueKeyword,
[INFO] [stdout]    |     ^^^^^^^^^^^
[INFO] [stdout] 15 |     FalseKeyword,
[INFO] [stdout]    |     ^^^^^^^^^^^^
[INFO] [stdout] 16 |
[INFO] [stdout] 17 |     LParen,
[INFO] [stdout]    |     ^^^^^^
[INFO] [stdout] 18 |     RParen,
[INFO] [stdout]    |     ^^^^^^
[INFO] [stdout] 19 |     LCurly,
[INFO] [stdout]    |     ^^^^^^
[INFO] [stdout] 20 |     RCurly,
[INFO] [stdout]    |     ^^^^^^
[INFO] [stdout] 21 |     Eq,
[INFO] [stdout]    |     ^^
[INFO] [stdout] 22 |     Semi,
[INFO] [stdout]    |     ^^^^
[INFO] [stdout] 23 |     Comma,
[INFO] [stdout]    |     ^^^^^
[INFO] [stdout] 24 |     Colon,
[INFO] [stdout]    |     ^^^^^
[INFO] [stdout] 25 |     Arrow,
[INFO] [stdout]    |     ^^^^^
[INFO] [stdout] 26 |     Plus,
[INFO] [stdout]    |     ^^^^
[INFO] [stdout] 27 |     Minus,
[INFO] [stdout]    |     ^^^^^
[INFO] [stdout] 28 |     Star,
[INFO] [stdout]    |     ^^^^
[INFO] [stdout] 29 |     Slash,
[INFO] [stdout]    |     ^^^^^
[INFO] [stdout] 30 |     Dot,
[INFO] [stdout]    |     ^^^
[INFO] [stdout] 31 |
[INFO] [stdout] 32 |     Ident,
[INFO] [stdout]    |     ^^^^^
[INFO] [stdout] 33 |     Num,
[INFO] [stdout]    |     ^^^
[INFO] [stdout] 34 |     Op,
[INFO] [stdout]    |     ^^
[INFO] [stdout] 35 |     EndLine,
[INFO] [stdout]    |     ^^^^^^^
[INFO] [stdout] 36 |
[INFO] [stdout] 37 |     ErrToken,
[INFO] [stdout]    |     ^^^^^^^^
[INFO] [stdout]    |
[INFO] [stdout]    = note: `TokenKind` has derived impls for the traits `Debug` and `Clone`, but these are intentionally ignored during dead code analysis
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: constant `KEYWORD` is never used
[INFO] [stdout]   --> src/parser/lex.rs:42:7
[INFO] [stdout]    |
[INFO] [stdout] 42 | const KEYWORD: [(&str, TokenKind); 9] = [
[INFO] [stdout]    |       ^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: constant `OP` is never used
[INFO] [stdout]   --> src/parser/lex.rs:54:7
[INFO] [stdout]    |
[INFO] [stdout] 54 | const OP: [(&str, TokenKind); 14] = [
[INFO] [stdout]    |       ^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: type alias `TokenNode` is never used
[INFO] [stdout]   --> src/parser/lex.rs:71:10
[INFO] [stdout]    |
[INFO] [stdout] 71 | pub type TokenNode<'a> = Span<'a, (&'a str, TokenKind)>;
[INFO] [stdout]    |          ^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: function `lex` is never used
[INFO] [stdout]   --> src/parser/lex.rs:73:8
[INFO] [stdout]    |
[INFO] [stdout] 73 | pub fn lex<'a>(input: Span<'a, &'a str>) -> Option<(Input<'a>, Vec<TokenNode<'a>>)> {
[INFO] [stdout]    |        ^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: struct `Pgrm` is never constructed
[INFO] [stdout]  --> src/ast/mod.rs:3:12
[INFO] [stdout]   |
[INFO] [stdout] 3 | pub struct Pgrm {
[INFO] [stdout]   |            ^^^^
[INFO] [stdout]   |
[INFO] [stdout]   = note: `Pgrm` has derived impls for the traits `Debug` and `Clone`, but these are intentionally ignored during dead code analysis
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: enum `Term` is never used
[INFO] [stdout]  --> src/ast/mod.rs:8:10
[INFO] [stdout]   |
[INFO] [stdout] 8 | pub enum Term {
[INFO] [stdout]   |          ^^^^
[INFO] [stdout]   |
[INFO] [stdout]   = note: `Term` has derived impls for the traits `Debug` and `Clone`, but these are intentionally ignored during dead code analysis
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: enum `Type` is never used
[INFO] [stdout]   --> src/ast/mod.rs:19:10
[INFO] [stdout]    |
[INFO] [stdout] 19 | pub enum Type {
[INFO] [stdout]    |          ^^^^
[INFO] [stdout]    |
[INFO] [stdout]    = note: `Type` has derived impls for the traits `Debug` and `Clone`, but these are intentionally ignored during dead code analysis
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: struct `TypeVariable` is never constructed
[INFO] [stdout]   --> src/ast/mod.rs:32:12
[INFO] [stdout]    |
[INFO] [stdout] 32 | pub struct TypeVariable {
[INFO] [stdout]    |            ^^^^^^^^^^^^
[INFO] [stdout]    |
[INFO] [stdout]    = note: `TypeVariable` has derived impls for the traits `Debug` and `Clone`, but these are intentionally ignored during dead code analysis
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variants `Var`, `Int`, `Bool`, and `Fun` are never constructed
[INFO] [stdout]   --> src/tyck/mod.rs:7:5
[INFO] [stdout]    |
[INFO] [stdout] 6  | pub enum Ty {
[INFO] [stdout]    |          -- variants in this enum
[INFO] [stdout] 7  |     Var(String),
[INFO] [stdout]    |     ^^^
[INFO] [stdout] 8  |     Int,
[INFO] [stdout]    |     ^^^
[INFO] [stdout] 9  |     Bool,
[INFO] [stdout]    |     ^^^^
[INFO] [stdout] 10 |     Fun(Box<Ty>, Box<Ty>),
[INFO] [stdout]    |     ^^^
[INFO] [stdout]    |
[INFO] [stdout]    = note: `Ty` has derived impls for the traits `Debug` and `Clone`, but these are intentionally ignored during dead code analysis
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: struct `Scheme` is never constructed
[INFO] [stdout]   --> src/tyck/mod.rs:16:8
[INFO] [stdout]    |
[INFO] [stdout] 16 | struct Scheme {
[INFO] [stdout]    |        ^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: type alias `Struct` is never used
[INFO] [stdout]   --> src/tyck/mod.rs:24:6
[INFO] [stdout]    |
[INFO] [stdout] 24 | type Struct = HashMap<String, Ty>;
[INFO] [stdout]    |      ^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: enum `Expression` is never used
[INFO] [stdout]  --> src/part5/mod.rs:8:10
[INFO] [stdout]   |
[INFO] [stdout] 8 | pub enum Expression {
[INFO] [stdout]   |          ^^^^^^^^^^
[INFO] [stdout]   |
[INFO] [stdout]   = note: `Expression` has derived impls for the traits `Clone` and `Debug`, but these are intentionally ignored during dead code analysis
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variants `Constructor` and `Variable` are never constructed
[INFO] [stdout]   --> src/part5/mod.rs:16:5
[INFO] [stdout]    |
[INFO] [stdout] 15 | pub enum Type {
[INFO] [stdout]    |          ---- variants in this enum
[INFO] [stdout] 16 |     Constructor(String, Vec<Type>),
[INFO] [stdout]    |     ^^^^^^^^^^^
[INFO] [stdout] 17 |     Variable(usize),
[INFO] [stdout]    |     ^^^^^^^^
[INFO] [stdout]    |
[INFO] [stdout]    = note: `Type` has derived impls for the traits `Clone` and `Debug`, but these are intentionally ignored during dead code analysis
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: enum `Constraint` is never used
[INFO] [stdout]   --> src/part5/mod.rs:21:10
[INFO] [stdout]    |
[INFO] [stdout] 21 | pub enum Constraint {
[INFO] [stdout]    |          ^^^^^^^^^^
[INFO] [stdout]    |
[INFO] [stdout]    = note: `Constraint` has derived impls for the traits `Clone` and `Debug`, but these are intentionally ignored during dead code analysis
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: struct `Inference` is never constructed
[INFO] [stdout]   --> src/part5/mod.rs:42:12
[INFO] [stdout]    |
[INFO] [stdout] 42 | pub struct Inference {
[INFO] [stdout]    |            ^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: multiple associated items are never used
[INFO] [stdout]    --> src/part5/mod.rs:48:12
[INFO] [stdout]     |
[INFO] [stdout] 47  | impl Inference {
[INFO] [stdout]     | -------------- associated items in this implementation
[INFO] [stdout] 48  |     pub fn new() -> Self {
[INFO] [stdout]     |            ^^^
[INFO] [stdout] ...
[INFO] [stdout] 55  |     fn fresh_type_variable(&mut self) -> Type {
[INFO] [stdout]     |        ^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] ...
[INFO] [stdout] 61  |     fn infer_type(
[INFO] [stdout]     |        ^^^^^^^^^^
[INFO] [stdout] ...
[INFO] [stdout] 88  |     fn solve_constraints(&mut self) -> Result<(), String> {
[INFO] [stdout]     |        ^^^^^^^^^^^^^^^^^
[INFO] [stdout] ...
[INFO] [stdout] 98  |     fn unify(&mut self, t1: Type, t2: Type) -> Result<(), String> {
[INFO] [stdout]     |        ^^^^^
[INFO] [stdout] ...
[INFO] [stdout] 135 |     fn occurs_in(&self, index: usize, t: &Type) -> bool {
[INFO] [stdout]     |        ^^^^^^^^^
[INFO] [stdout] ...
[INFO] [stdout] 145 |     fn substitute(&self, t: &Type) -> Type {
[INFO] [stdout]     |        ^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: function `initial_environment` is never used
[INFO] [stdout]    --> src/part5/mod.rs:162:4
[INFO] [stdout]     |
[INFO] [stdout] 162 | fn initial_environment() -> HashMap<String, Type> {
[INFO] [stdout]     |    ^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: function `infer` is never used
[INFO] [stdout]    --> src/part5/mod.rs:188:4
[INFO] [stdout]     |
[INFO] [stdout] 188 | fn infer(expression: Expression) -> Result<Type, String> {
[INFO] [stdout]     |    ^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: function `print_infer` is never used
[INFO] [stdout]    --> src/part5/mod.rs:195:8
[INFO] [stdout]     |
[INFO] [stdout] 195 | pub fn print_infer(expression: Expression) -> String {
[INFO] [stdout]     |        ^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: enum `Expression` is never used
[INFO] [stdout]  --> src/part6/mod.rs:8:10
[INFO] [stdout]   |
[INFO] [stdout] 8 | pub enum Expression {
[INFO] [stdout]   |          ^^^^^^^^^^
[INFO] [stdout]   |
[INFO] [stdout]   = note: `Expression` has derived impls for the traits `Clone` and `Debug`, but these are intentionally ignored during dead code analysis
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: struct `Parameter` is never constructed
[INFO] [stdout]   --> src/part6/mod.rs:19:12
[INFO] [stdout]    |
[INFO] [stdout] 19 | pub struct Parameter {
[INFO] [stdout]    |            ^^^^^^^^^
[INFO] [stdout]    |
[INFO] [stdout]    = note: `Parameter` has derived impls for the traits `Clone` and `Debug`, but these are intentionally ignored during dead code analysis
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variants `Constructor` and `Variable` are never constructed
[INFO] [stdout]   --> src/part6/mod.rs:26:5
[INFO] [stdout]    |
[INFO] [stdout] 25 | pub enum Type {
[INFO] [stdout]    |          ---- variants in this enum
[INFO] [stdout] 26 |     Constructor(String, Vec<Type>),
[INFO] [stdout]    |     ^^^^^^^^^^^
[INFO] [stdout] 27 |     Variable(usize),
[INFO] [stdout]    |     ^^^^^^^^
[INFO] [stdout]    |
[INFO] [stdout]    = note: `Type` has derived impls for the traits `Clone` and `Debug`, but these are intentionally ignored during dead code analysis
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: method `to_string` is never used
[INFO] [stdout]   --> src/part6/mod.rs:31:12
[INFO] [stdout]    |
[INFO] [stdout] 30 | impl Type {
[INFO] [stdout]    | --------- method in this implementation
[INFO] [stdout] 31 |     pub fn to_string(&self) -> String {
[INFO] [stdout]    |            ^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: enum `Constraint` is never used
[INFO] [stdout]   --> src/part6/mod.rs:46:10
[INFO] [stdout]    |
[INFO] [stdout] 46 | pub enum Constraint {
[INFO] [stdout]    |          ^^^^^^^^^^
[INFO] [stdout]    |
[INFO] [stdout]    = note: `Constraint` has derived impls for the traits `Clone` and `Debug`, but these are intentionally ignored during dead code analysis
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: struct `Inference` is never constructed
[INFO] [stdout]   --> src/part6/mod.rs:67:12
[INFO] [stdout]    |
[INFO] [stdout] 67 | pub struct Inference {
[INFO] [stdout]    |            ^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: multiple associated items are never used
[INFO] [stdout]    --> src/part6/mod.rs:73:12
[INFO] [stdout]     |
[INFO] [stdout] 72  | impl Inference {
[INFO] [stdout]     | -------------- associated items in this implementation
[INFO] [stdout] 73  |     pub fn new() -> Self {
[INFO] [stdout]     |            ^^^
[INFO] [stdout] ...
[INFO] [stdout] 80  |     pub fn fresh_type_variable(&mut self) -> Type {
[INFO] [stdout]     |            ^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] ...
[INFO] [stdout] 86  |     pub fn infer(
[INFO] [stdout]     |            ^^^^^
[INFO] [stdout] ...
[INFO] [stdout] 180 |     pub fn solve_constraints(&mut self) {
[INFO] [stdout]     |            ^^^^^^^^^^^^^^^^^
[INFO] [stdout] ...
[INFO] [stdout] 189 |     pub fn unify(&mut self, t1: Type, t2: Type) -> Result<(), String> {
[INFO] [stdout]     |            ^^^^^
[INFO] [stdout] ...
[INFO] [stdout] 226 |     pub fn occurs_in(&self, index: usize, t: &Type) -> bool {
[INFO] [stdout]     |            ^^^^^^^^^
[INFO] [stdout] ...
[INFO] [stdout] 236 |     pub fn substitute(&self, t: &Type) -> Type {
[INFO] [stdout]     |            ^^^^^^^^^^
[INFO] [stdout] ...
[INFO] [stdout] 248 |     pub fn substitute_expression(&self, expression: Expression) -> Expression {
[INFO] [stdout]     |            ^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: function `initial_environment` is never used
[INFO] [stdout]    --> src/part6/mod.rs:295:4
[INFO] [stdout]     |
[INFO] [stdout] 295 | fn initial_environment() -> HashMap<String, Type> {
[INFO] [stdout]     |    ^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: function `infer` is never used
[INFO] [stdout]    --> src/part6/mod.rs:314:4
[INFO] [stdout]     |
[INFO] [stdout] 314 | fn infer(expression: Expression) -> Result<Expression, String> {
[INFO] [stdout]     |    ^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: function `print_infer` is never used
[INFO] [stdout]    --> src/part6/mod.rs:322:8
[INFO] [stdout]     |
[INFO] [stdout] 322 | pub fn print_infer(expression: Expression) -> String {
[INFO] [stdout]     |        ^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: enum `Expression` is never used
[INFO] [stdout]  --> src/part7/mod.rs:9:10
[INFO] [stdout]   |
[INFO] [stdout] 9 | pub enum Expression {
[INFO] [stdout]   |          ^^^^^^^^^^
[INFO] [stdout]   |
[INFO] [stdout]   = note: `Expression` has derived impls for the traits `Clone` and `Debug`, but these are intentionally ignored during dead code analysis
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: struct `GenericFunction` is never constructed
[INFO] [stdout]   --> src/part7/mod.rs:22:12
[INFO] [stdout]    |
[INFO] [stdout] 22 | pub struct GenericFunction {
[INFO] [stdout]    |            ^^^^^^^^^^^^^^^
[INFO] [stdout]    |
[INFO] [stdout]    = note: `GenericFunction` has derived impls for the traits `Clone` and `Debug`, but these are intentionally ignored during dead code analysis
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: struct `GenericType` is never constructed
[INFO] [stdout]   --> src/part7/mod.rs:29:12
[INFO] [stdout]    |
[INFO] [stdout] 29 | pub struct GenericType {
[INFO] [stdout]    |            ^^^^^^^^^^^
[INFO] [stdout]    |
[INFO] [stdout]    = note: `GenericType` has derived impls for the traits `Clone` and `Debug`, but these are intentionally ignored during dead code analysis
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: struct `Parameter` is never constructed
[INFO] [stdout]   --> src/part7/mod.rs:35:12
[INFO] [stdout]    |
[INFO] [stdout] 35 | pub struct Parameter {
[INFO] [stdout]    |            ^^^^^^^^^
[INFO] [stdout]    |
[INFO] [stdout]    = note: `Parameter` has derived impls for the traits `Clone` and `Debug`, but these are intentionally ignored during dead code analysis
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variants `Constructor` and `Variable` are never constructed
[INFO] [stdout]   --> src/part7/mod.rs:42:5
[INFO] [stdout]    |
[INFO] [stdout] 41 | pub enum Type {
[INFO] [stdout]    |          ---- variants in this enum
[INFO] [stdout] 42 |     Constructor(String, Vec<Type>),
[INFO] [stdout]    |     ^^^^^^^^^^^
[INFO] [stdout] 43 |     Variable(usize),
[INFO] [stdout]    |     ^^^^^^^^
[INFO] [stdout]    |
[INFO] [stdout]    = note: `Type` has derived impls for the traits `Clone` and `Debug`, but these are intentionally ignored during dead code analysis
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: enum `Constraint` is never used
[INFO] [stdout]   --> src/part7/mod.rs:62:10
[INFO] [stdout]    |
[INFO] [stdout] 62 | pub enum Constraint {
[INFO] [stdout]    |          ^^^^^^^^^^
[INFO] [stdout]    |
[INFO] [stdout]    = note: `Constraint` has derived impls for the traits `Clone` and `Debug`, but these are intentionally ignored during dead code analysis
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: struct `GenericName` is never constructed
[INFO] [stdout]   --> src/part7/mod.rs:83:8
[INFO] [stdout]    |
[INFO] [stdout] 83 | struct GenericName {
[INFO] [stdout]    |        ^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: associated items `new` and `next` are never used
[INFO] [stdout]   --> src/part7/mod.rs:89:12
[INFO] [stdout]    |
[INFO] [stdout] 88 | impl GenericName {
[INFO] [stdout]    | ---------------- associated items in this implementation
[INFO] [stdout] 89 |     pub fn new() -> Self {
[INFO] [stdout]    |            ^^^
[INFO] [stdout] ...
[INFO] [stdout] 95 |     pub fn next(&mut self) -> String {
[INFO] [stdout]    |            ^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: struct `Inference` is never constructed
[INFO] [stdout]    --> src/part7/mod.rs:107:12
[INFO] [stdout]     |
[INFO] [stdout] 107 | pub struct Inference {
[INFO] [stdout]     |            ^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: multiple associated items are never used
[INFO] [stdout]    --> src/part7/mod.rs:114:12
[INFO] [stdout]     |
[INFO] [stdout] 113 | impl Inference {
[INFO] [stdout]     | -------------- associated items in this implementation
[INFO] [stdout] 114 |     pub fn new() -> Self {
[INFO] [stdout]     |            ^^^
[INFO] [stdout] ...
[INFO] [stdout] 122 |     fn fresh_type_variable(&mut self) -> Type {
[INFO] [stdout]     |        ^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] ...
[INFO] [stdout] 128 |     pub fn infer(
[INFO] [stdout]     |            ^^^^^
[INFO] [stdout] ...
[INFO] [stdout] 313 |     fn solve_constraints(&mut self) -> Result<(), TypeError> {
[INFO] [stdout]     |        ^^^^^^^^^^^^^^^^^
[INFO] [stdout] ...
[INFO] [stdout] 323 |     fn unify(&mut self, t1: Type, t2: Type) -> Result<(), TypeError> {
[INFO] [stdout]     |        ^^^^^
[INFO] [stdout] ...
[INFO] [stdout] 364 |     fn occurs_in(&self, index: usize, t: &Type) -> bool {
[INFO] [stdout]     |        ^^^^^^^^^
[INFO] [stdout] ...
[INFO] [stdout] 372 |     fn free_in_type(&self, t: &Type) -> HashSet<usize> {
[INFO] [stdout]     |        ^^^^^^^^^^^^
[INFO] [stdout] ...
[INFO] [stdout] 383 |     fn free_in_generic_type(&self, t: &GenericType) -> HashSet<usize> {
[INFO] [stdout]     |        ^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] ...
[INFO] [stdout] 387 |     fn free_in_environment(&self, environment: &HashMap<String, GenericType>) -> HashSet<usize> {
[INFO] [stdout]     |        ^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] ...
[INFO] [stdout] 394 |     fn generalize(
[INFO] [stdout]     |        ^^^^^^^^^^
[INFO] [stdout] ...
[INFO] [stdout] 423 |     fn instantiate(&self, instantiation: HashMap<String, Type>, t: Type) -> Type {
[INFO] [stdout]     |        ^^^^^^^^^^^
[INFO] [stdout] ...
[INFO] [stdout] 443 |     fn substitute(&self, substitution: &[Type], t: &Type) -> Type {
[INFO] [stdout]     |        ^^^^^^^^^^
[INFO] [stdout] ...
[INFO] [stdout] 454 |     fn substitute_expression(
[INFO] [stdout]     |        ^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: associated functions `infer_expression` and `print_infer` are never used
[INFO] [stdout]    --> src/part7/mod.rs:538:12
[INFO] [stdout]     |
[INFO] [stdout] 537 | impl Inference {
[INFO] [stdout]     | -------------- associated functions in this implementation
[INFO] [stdout] 538 |     pub fn infer_expression(expression: Expression) -> Result<Expression, TypeError> {
[INFO] [stdout]     |            ^^^^^^^^^^^^^^^^
[INFO] [stdout] ...
[INFO] [stdout] 629 |     pub fn print_infer(expression: Expression) -> String {
[INFO] [stdout]     |            ^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused `Result` that must be used
[INFO] [stdout]    --> src/part6/mod.rs:184:17
[INFO] [stdout]     |
[INFO] [stdout] 184 |                 self.unify(t1, t2);
[INFO] [stdout]     |                 ^^^^^^^^^^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout]     = note: this `Result` may be an `Err` variant, which should be handled
[INFO] [stdout]     = note: `#[warn(unused_must_use)]` on by default
[INFO] [stdout] help: use `let _ = ...` to ignore the resulting value
[INFO] [stdout]     |
[INFO] [stdout] 184 |                 let _ = self.unify(t1, t2);
[INFO] [stdout]     |                 +++++++
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stderr]     Finished `dev` profile [unoptimized + debuginfo] target(s) in 1.02s
[INFO] running `Command { std: "docker" "inspect" "b6552828d101db03c6e6bc12f6d86b5d218a35d00e0758c87a24a66d766da609", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "b6552828d101db03c6e6bc12f6d86b5d218a35d00e0758c87a24a66d766da609", kill_on_drop: false }`
[INFO] [stdout] b6552828d101db03c6e6bc12f6d86b5d218a35d00e0758c87a24a66d766da609
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-0-tc1/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-0-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 -Dtail-expr-drop-order" "-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:f3a9d4ad9d972b27faf3965f35b62e55ba32bbce8f20bc8fe909558a86702fde" "/opt/rustwide/cargo-home/bin/cargo" "+11663cd3bfefef7d34e8f0892c250bf698049392" "test" "--frozen" "--no-run" "--message-format=json", kill_on_drop: false }`
[INFO] [stdout] 7dc25d98265c9b9c129737e52583c5c6528262f4505dde87cc050ab9b4ecd4cb
[INFO] running `Command { std: "docker" "start" "-a" "7dc25d98265c9b9c129737e52583c5c6528262f4505dde87cc050ab9b4ecd4cb", kill_on_drop: false }`
[INFO] [stderr] Error response from daemon: failed to create task for container: failed to create shim task: OCI runtime create failed: runc create failed: unable to start container process: error during container init: error mounting "/var/lib/crater-agent-workspace/rustup-home" to rootfs at "/opt/rustwide/rustup-home": mkdir /var/lib/docker/overlay2/9cad2ed92e3d2d7c7606bec74d5c8a5aedd831c762133e751ff4bb897aee25e1/merged/opt/rustwide/rustup-home: no space left on device: unknown
[INFO] running `Command { std: "docker" "inspect" "7dc25d98265c9b9c129737e52583c5c6528262f4505dde87cc050ab9b4ecd4cb", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "7dc25d98265c9b9c129737e52583c5c6528262f4505dde87cc050ab9b4ecd4cb", kill_on_drop: false }`
[INFO] [stdout] 7dc25d98265c9b9c129737e52583c5c6528262f4505dde87cc050ab9b4ecd4cb