[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 try#a4980311fb7bb9e7893708e6bd3fbbfb2819fd3d for pr-145342-1 [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 a4980311fb7bb9e7893708e6bd3fbbfb2819fd3d [INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+a4980311fb7bb9e7893708e6bd3fbbfb2819fd3d" "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" "+a4980311fb7bb9e7893708e6bd3fbbfb2819fd3d" "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:7ad1b28ee6f5f7f699f6cf7015098d6ccdd96d6f2d78dd06228f5b4c9faf309c" "/opt/rustwide/cargo-home/bin/cargo" "+a4980311fb7bb9e7893708e6bd3fbbfb2819fd3d" "metadata" "--no-deps" "--format-version=1", kill_on_drop: false }` [INFO] [stdout] 316a523ed6d7b45df3d2d790e11e8929b14ba04e1ab2745eb599d637a790fcb1 [INFO] running `Command { std: "docker" "start" "-a" "316a523ed6d7b45df3d2d790e11e8929b14ba04e1ab2745eb599d637a790fcb1", kill_on_drop: false }` [INFO] running `Command { std: "docker" "inspect" "316a523ed6d7b45df3d2d790e11e8929b14ba04e1ab2745eb599d637a790fcb1", kill_on_drop: false }` [INFO] running `Command { std: "docker" "rm" "-f" "316a523ed6d7b45df3d2d790e11e8929b14ba04e1ab2745eb599d637a790fcb1", kill_on_drop: false }` [INFO] [stdout] 316a523ed6d7b45df3d2d790e11e8929b14ba04e1ab2745eb599d637a790fcb1 [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:7ad1b28ee6f5f7f699f6cf7015098d6ccdd96d6f2d78dd06228f5b4c9faf309c" "/opt/rustwide/cargo-home/bin/cargo" "+a4980311fb7bb9e7893708e6bd3fbbfb2819fd3d" "check" "--frozen" "--all" "--all-targets" "--message-format=json", kill_on_drop: false }` [INFO] [stdout] b7b7a4e1034ce24eebc485501dc16a9e5fe92546af6fd986e6877bf725974f44 [INFO] running `Command { std: "docker" "start" "-a" "b7b7a4e1034ce24eebc485501dc16a9e5fe92546af6fd986e6877bf725974f44", 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: `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: `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: 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/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: 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>)>)> { [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(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: 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, 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>)> { [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; [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 { [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 { [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 { [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 { [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 { [INFO] [stdout] | ^^^^^^^^^^^^ [INFO] [stdout] ... [INFO] [stdout] 383 | fn free_in_generic_type(&self, t: &GenericType) -> HashSet { [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] ... [INFO] [stdout] 387 | fn free_in_environment(&self, environment: &HashMap) -> HashSet { [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] ... [INFO] [stdout] 394 | fn generalize( [INFO] [stdout] | ^^^^^^^^^^ [INFO] [stdout] ... [INFO] [stdout] 423 | fn instantiate(&self, instantiation: HashMap, 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 { [INFO] [stdout] | ^^^^^^^^^^^^^^^^ [INFO] [stdout] ... [INFO] [stdout] 629 | pub fn print_infer(expression: Expression) -> String { [INFO] [stdout] | ^^^^^^^^^^^ [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>, [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>, Box>), [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>, Box>), [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>, 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>, 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>, [INFO] [stdout] | ^^^^ [INFO] [stdout] 38 | rhs1: Box>, [INFO] [stdout] | ^^^^ [INFO] [stdout] 39 | rhs2: Box>, [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; [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 { [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, Box, Box), [INFO] [stdout] | ^^^ [INFO] [stdout] 15 | Int(i32), [INFO] [stdout] 16 | String(String), [INFO] [stdout] | ^^^^^^ [INFO] [stdout] 17 | Array(Option, Vec), [INFO] [stdout] | ^^^^^ [INFO] [stdout] 18 | Semicolon(Box, Box), [INFO] [stdout] | ^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = note: `Expression` has derived impls for the traits `Clone` and `Debug`, but these are intentionally ignored during dead code analysis [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused `Result` that must be used [INFO] [stdout] --> src/part6/mod.rs:184:17 [INFO] [stdout] | [INFO] [stdout] 184 | self.unify(t1, t2); [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = note: this `Result` may be an `Err` variant, which should be handled [INFO] [stdout] = note: `#[warn(unused_must_use)]` on by default [INFO] [stdout] help: use `let _ = ...` to ignore the resulting value [INFO] [stdout] | [INFO] [stdout] 184 | let _ = self.unify(t1, t2); [INFO] [stdout] | +++++++ [INFO] [stdout] [INFO] [stdout] [INFO] [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.39s [INFO] running `Command { std: "docker" "inspect" "b7b7a4e1034ce24eebc485501dc16a9e5fe92546af6fd986e6877bf725974f44", kill_on_drop: false }` [INFO] running `Command { std: "docker" "rm" "-f" "b7b7a4e1034ce24eebc485501dc16a9e5fe92546af6fd986e6877bf725974f44", kill_on_drop: false }` [INFO] [stdout] b7b7a4e1034ce24eebc485501dc16a9e5fe92546af6fd986e6877bf725974f44