[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] checking yportne13/type-inference-by-example-in-rust against master#3129d37ef7075ee3cbaa3d6cbe1b5794f67192b0 for pr-143164
[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-2-tc2/source", kill_on_drop: false }`
[INFO] [stderr] Cloning into '/workspace/builds/worker-2-tc2/source'...
[INFO] [stderr] done.
[INFO] [stderr] fatal: cannot create directory at 'src/ast': No space left on device
[INFO] [stderr] warning: Clone succeeded, but checkout failed.
[INFO] [stderr] You can inspect what was checked out with 'git status'
[INFO] [stderr] and retry with 'git restore --source=HEAD :/'
[INFO] [stderr] 
[INFO] checking yportne13/type-inference-by-example-in-rust against master#3129d37ef7075ee3cbaa3d6cbe1b5794f67192b0 for pr-143164
[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-2-tc2/source", kill_on_drop: false }`
[INFO] [stderr] Cloning into '/workspace/builds/worker-2-tc2/source'...
[INFO] [stderr] done.
[INFO] [stderr] error: unable to write file src/part5/readme.md
[INFO] [stderr] fatal: cannot create directory at 'src/part6': No space left on device
[INFO] [stderr] warning: Clone succeeded, but checkout failed.
[INFO] [stderr] You can inspect what was checked out with 'git status'
[INFO] [stderr] and retry with 'git restore --source=HEAD :/'
[INFO] [stderr] 
[INFO] checking yportne13/type-inference-by-example-in-rust against master#3129d37ef7075ee3cbaa3d6cbe1b5794f67192b0 for pr-143164
[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-2-tc2/source", kill_on_drop: false }`
[INFO] [stderr] Cloning into '/workspace/builds/worker-2-tc2/source'...
[INFO] [stderr] done.
[INFO] started tweaking git repo https://github.com/yportne13/type-inference-by-example-in-rust
[INFO] finished tweaking git repo https://github.com/yportne13/type-inference-by-example-in-rust
[INFO] tweaked toml for git repo https://github.com/yportne13/type-inference-by-example-in-rust written to /workspace/builds/worker-2-tc2/source/Cargo.toml
[INFO] validating manifest of git repo https://github.com/yportne13/type-inference-by-example-in-rust on toolchain 3129d37ef7075ee3cbaa3d6cbe1b5794f67192b0
[INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+3129d37ef7075ee3cbaa3d6cbe1b5794f67192b0" "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" "+3129d37ef7075ee3cbaa3d6cbe1b5794f67192b0" "fetch" "--manifest-path" "Cargo.toml", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-2-tc2/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-2-tc2/source:/opt/rustwide/workdir:ro,Z" "-v" "/var/lib/crater-agent-workspace/cargo-home:/opt/rustwide/cargo-home:ro,Z" "-v" "/var/lib/crater-agent-workspace/rustup-home:/opt/rustwide/rustup-home:ro,Z" "-e" "SOURCE_DIR=/opt/rustwide/workdir" "-e" "CARGO_TARGET_DIR=/opt/rustwide/target" "-e" "CARGO_HOME=/opt/rustwide/cargo-home" "-e" "RUSTUP_HOME=/opt/rustwide/rustup-home" "-w" "/opt/rustwide/workdir" "-m" "1610612736" "--user" "0:0" "--network" "none" "ghcr.io/rust-lang/crates-build-env/linux@sha256:cf8efcab8866f2cf4285301c7418e2f4f2a9b088c91ba69c40d5b659f81557f7" "/opt/rustwide/cargo-home/bin/cargo" "+3129d37ef7075ee3cbaa3d6cbe1b5794f67192b0" "metadata" "--no-deps" "--format-version=1", kill_on_drop: false }`
[INFO] [stdout] 7013c74c49ba231cfa1962dc0a28559e43f3a0a0054e142c2e075fb70d764971
[INFO] running `Command { std: "docker" "start" "-a" "7013c74c49ba231cfa1962dc0a28559e43f3a0a0054e142c2e075fb70d764971", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "inspect" "7013c74c49ba231cfa1962dc0a28559e43f3a0a0054e142c2e075fb70d764971", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "7013c74c49ba231cfa1962dc0a28559e43f3a0a0054e142c2e075fb70d764971", kill_on_drop: false }`
[INFO] [stdout] 7013c74c49ba231cfa1962dc0a28559e43f3a0a0054e142c2e075fb70d764971
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-2-tc2/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-2-tc2/source:/opt/rustwide/workdir:ro,Z" "-v" "/var/lib/crater-agent-workspace/cargo-home:/opt/rustwide/cargo-home:ro,Z" "-v" "/var/lib/crater-agent-workspace/rustup-home:/opt/rustwide/rustup-home:ro,Z" "-e" "SOURCE_DIR=/opt/rustwide/workdir" "-e" "CARGO_TARGET_DIR=/opt/rustwide/target" "-e" "CARGO_INCREMENTAL=0" "-e" "RUST_BACKTRACE=full" "-e" "RUSTFLAGS=--cap-lints=forbid" "-e" "RUSTDOCFLAGS=--cap-lints=forbid" "-e" "CARGO_HOME=/opt/rustwide/cargo-home" "-e" "RUSTUP_HOME=/opt/rustwide/rustup-home" "-w" "/opt/rustwide/workdir" "-m" "1610612736" "--user" "0:0" "--network" "none" "ghcr.io/rust-lang/crates-build-env/linux@sha256:cf8efcab8866f2cf4285301c7418e2f4f2a9b088c91ba69c40d5b659f81557f7" "/opt/rustwide/cargo-home/bin/cargo" "+3129d37ef7075ee3cbaa3d6cbe1b5794f67192b0" "check" "--frozen" "--all" "--all-targets" "--message-format=json", kill_on_drop: false }`
[INFO] [stdout] 4599181e7083a94529a6e7c34d896360a38910583df48c11d0b6114c0a0e5d71
[INFO] running `Command { std: "docker" "start" "-a" "4599181e7083a94529a6e7c34d896360a38910583df48c11d0b6114c0a0e5d71", kill_on_drop: false }`
[INFO] [stderr]     Checking 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 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: `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: `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: `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: `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: 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/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: 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)]` 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: 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)]` 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)]` 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] [stdout] warning: unused `Result` that must be used
[INFO] [stdout]    --> src/part6/mod.rs:184:17
[INFO] [stdout]     |
[INFO] [stdout] 184 |                 self.unify(t1, t2);
[INFO] [stdout]     |                 ^^^^^^^^^^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout]     = note: this `Result` may be an `Err` variant, which should be handled
[INFO] [stdout]     = note: `#[warn(unused_must_use)]` on by default
[INFO] [stdout] help: use `let _ = ...` to ignore the resulting value
[INFO] [stdout]     |
[INFO] [stdout] 184 |                 let _ = self.unify(t1, t2);
[INFO] [stdout]     |                 +++++++
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stderr]     Finished `dev` profile [unoptimized + debuginfo] target(s) in 0.43s
[INFO] running `Command { std: "docker" "inspect" "4599181e7083a94529a6e7c34d896360a38910583df48c11d0b6114c0a0e5d71", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "4599181e7083a94529a6e7c34d896360a38910583df48c11d0b6114c0a0e5d71", kill_on_drop: false }`
[INFO] [stdout] 4599181e7083a94529a6e7c34d896360a38910583df48c11d0b6114c0a0e5d71
