[INFO] cloning repository https://github.com/0Marble/horn
[INFO] running `Command { std: "git" "-c" "credential.helper=" "-c" "credential.helper=/workspace/cargo-home/bin/git-credential-null" "clone" "--bare" "https://github.com/0Marble/horn" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2F0Marble%2Fhorn", kill_on_drop: false }`
[INFO] [stderr] Cloning into bare repository '/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2F0Marble%2Fhorn'...
[INFO] running `Command { std: "git" "rev-parse" "HEAD", kill_on_drop: false }`
[INFO] [stdout] a598568d4956a4a323052e3d7cb452d11d9fdf0a
[INFO] checking 0Marble/horn against try#84addd32a13fa2d3f62fe5d99031611147b7fb13 for pr-147565
[INFO] running `Command { std: "git" "clone" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2F0Marble%2Fhorn" "/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/0Marble/horn
[INFO] finished tweaking git repo https://github.com/0Marble/horn
[INFO] tweaked toml for git repo https://github.com/0Marble/horn written to /workspace/builds/worker-2-tc2/source/Cargo.toml
[INFO] validating manifest of git repo https://github.com/0Marble/horn on toolchain 84addd32a13fa2d3f62fe5d99031611147b7fb13
[INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+84addd32a13fa2d3f62fe5d99031611147b7fb13" "metadata" "--manifest-path" "Cargo.toml" "--no-deps", kill_on_drop: false }`
[INFO] crate git repo https://github.com/0Marble/horn 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" "+84addd32a13fa2d3f62fe5d99031611147b7fb13" "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:e90291280db7d1fac5b66fc6dad9f9662629e7365a55743daf9bdf73ebc4ea79" "/opt/rustwide/cargo-home/bin/cargo" "+84addd32a13fa2d3f62fe5d99031611147b7fb13" "metadata" "--no-deps" "--format-version=1", kill_on_drop: false }`
[INFO] [stdout] 07308b912ba790f80daf516360bcd0ecb2ee80039254307915a2c58b37b560a6
[INFO] running `Command { std: "docker" "start" "-a" "07308b912ba790f80daf516360bcd0ecb2ee80039254307915a2c58b37b560a6", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "inspect" "07308b912ba790f80daf516360bcd0ecb2ee80039254307915a2c58b37b560a6", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "07308b912ba790f80daf516360bcd0ecb2ee80039254307915a2c58b37b560a6", kill_on_drop: false }`
[INFO] [stdout] 07308b912ba790f80daf516360bcd0ecb2ee80039254307915a2c58b37b560a6
[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:e90291280db7d1fac5b66fc6dad9f9662629e7365a55743daf9bdf73ebc4ea79" "/opt/rustwide/cargo-home/bin/cargo" "+84addd32a13fa2d3f62fe5d99031611147b7fb13" "check" "--frozen" "--all" "--all-targets" "--message-format=json", kill_on_drop: false }`
[INFO] [stdout] f03d5285adf55e3cb2e2c2c60fcc19f1a7f292b41198dcbe43a4cf6250cf6271
[INFO] running `Command { std: "docker" "start" "-a" "f03d5285adf55e3cb2e2c2c60fcc19f1a7f292b41198dcbe43a4cf6250cf6271", kill_on_drop: false }`
[INFO] [stderr]     Checking horn v0.1.0 (/opt/rustwide/workdir)
[INFO] [stdout] warning: unused import: `program::Enviroment`
[INFO] [stdout]  --> src/main.rs:1:5
[INFO] [stdout]   |
[INFO] [stdout] 1 | use program::Enviroment;
[INFO] [stdout]   |     ^^^^^^^^^^^^^^^^^^^
[INFO] [stdout]   |
[INFO] [stdout]   = note: `#[warn(unused_imports)]` (part of `#[warn(unused)]`) on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused imports: `Program`, `Task`, and `parser::TokenStream`
[INFO] [stdout]  --> src/main.rs:4:5
[INFO] [stdout]   |
[INFO] [stdout] 4 |     parser::TokenStream,
[INFO] [stdout]   |     ^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 5 |     program::{Program, Task},
[INFO] [stdout]   |               ^^^^^^^  ^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused import: `program::Enviroment`
[INFO] [stdout]  --> src/main.rs:1:5
[INFO] [stdout]   |
[INFO] [stdout] 1 | use program::Enviroment;
[INFO] [stdout]   |     ^^^^^^^^^^^^^^^^^^^
[INFO] [stdout]   |
[INFO] [stdout]   = note: `#[warn(unused_imports)]` (part of `#[warn(unused)]`) on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused imports: `Program`, `Task`, and `parser::TokenStream`
[INFO] [stdout]  --> src/main.rs:4:5
[INFO] [stdout]   |
[INFO] [stdout] 4 |     parser::TokenStream,
[INFO] [stdout]   |     ^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 5 |     program::{Program, Task},
[INFO] [stdout]   |               ^^^^^^^  ^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: struct `SetItem` is never constructed
[INFO] [stdout]  --> src/disjoint_set.rs:8:12
[INFO] [stdout]   |
[INFO] [stdout] 8 | pub struct SetItem(usize);
[INFO] [stdout]   |            ^^^^^^^
[INFO] [stdout]   |
[INFO] [stdout]   = note: `#[warn(dead_code)]` (part of `#[warn(unused)]`) on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: struct `DisjointSet` is never constructed
[INFO] [stdout]   --> src/disjoint_set.rs:11:12
[INFO] [stdout]    |
[INFO] [stdout] 11 | pub struct DisjointSet<T> {
[INFO] [stdout]    |            ^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: multiple associated items are never used
[INFO] [stdout]    --> src/disjoint_set.rs:36:12
[INFO] [stdout]     |
[INFO] [stdout]  35 | impl<T> DisjointSet<T> {
[INFO] [stdout]     | ---------------------- associated items in this implementation
[INFO] [stdout]  36 |     pub fn add_set(&mut self, val: T) -> SetItem {
[INFO] [stdout]     |            ^^^^^^^
[INFO] [stdout] ...
[INFO] [stdout]  50 |     pub fn find(&self, item: SetItem) -> Option<SetItem> {
[INFO] [stdout]     |            ^^^^
[INFO] [stdout] ...
[INFO] [stdout]  56 |     pub fn get(&self, item: SetItem) -> Option<&T> {
[INFO] [stdout]     |            ^^^
[INFO] [stdout] ...
[INFO] [stdout]  60 |     pub fn merge<'a>(&'a mut self, a: SetItem, b: SetItem, rule: impl Fn(&'a T, &'a T) -> u8) {
[INFO] [stdout]     |            ^^^^^
[INFO] [stdout] ...
[INFO] [stdout]  96 |     pub fn no_rule(_a: &T, _b: &T) -> u8 {
[INFO] [stdout]     |            ^^^^^^^
[INFO] [stdout] ...
[INFO] [stdout] 100 |     pub fn set_count(&self) -> usize {
[INFO] [stdout]     |            ^^^^^^^^^
[INFO] [stdout] ...
[INFO] [stdout] 104 |     pub fn set_representatives(&self) -> impl Iterator<Item = SetItem> + '_ {
[INFO] [stdout]     |            ^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] ...
[INFO] [stdout] 108 |     pub fn set_of(&self, i: SetItem) -> impl Iterator<Item = SetItem> + '_ {
[INFO] [stdout]     |            ^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: enum `EvalError` is never used
[INFO] [stdout]  --> src/eval.rs:9:10
[INFO] [stdout]   |
[INFO] [stdout] 9 | pub enum EvalError {
[INFO] [stdout]   |          ^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: struct `Evaluator` is never constructed
[INFO] [stdout]   --> src/eval.rs:14:12
[INFO] [stdout]    |
[INFO] [stdout] 14 | pub struct Evaluator<'a> {
[INFO] [stdout]    |            ^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: method `eval` is never used
[INFO] [stdout]   --> src/eval.rs:55:12
[INFO] [stdout]    |
[INFO] [stdout] 54 | impl Program {
[INFO] [stdout]    | ------------ method in this implementation
[INFO] [stdout] 55 |     pub fn eval<'a>(&'a self, task: &Task, max_depth: usize) -> Evaluator<'a> {
[INFO] [stdout]    |            ^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: associated items `new`, `get_max_id`, `rename_vars`, and `rename` are never used
[INFO] [stdout]    --> src/eval.rs:61:8
[INFO] [stdout]     |
[INFO] [stdout]  60 | impl<'a> Evaluator<'a> {
[INFO] [stdout]     | ---------------------- associated items in this implementation
[INFO] [stdout]  61 |     fn new(prog: &'a Program, task: &Task, max_depth: usize) -> Self {
[INFO] [stdout]     |        ^^^
[INFO] [stdout] ...
[INFO] [stdout]  93 |     fn get_max_id(e: &Expr) -> usize {
[INFO] [stdout]     |        ^^^^^^^^^^
[INFO] [stdout] ...
[INFO] [stdout] 105 |     fn rename_vars(&mut self, c: &Clause) -> Clause {
[INFO] [stdout]     |        ^^^^^^^^^^^
[INFO] [stdout] ...
[INFO] [stdout] 115 |     fn rename(&mut self, e: Expr, names: &mut HashMap<usize, usize>) -> Expr {
[INFO] [stdout]     |        ^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: enum `Loc` is never used
[INFO] [stdout]  --> src/parser.rs:6:10
[INFO] [stdout]   |
[INFO] [stdout] 6 | pub enum Loc {
[INFO] [stdout]   |          ^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: associated items `inc_line`, `inc_col`, and `start` are never used
[INFO] [stdout]   --> src/parser.rs:12:12
[INFO] [stdout]    |
[INFO] [stdout] 11 | impl Loc {
[INFO] [stdout]    | -------- associated items in this implementation
[INFO] [stdout] 12 |     pub fn inc_line(&mut self) {
[INFO] [stdout]    |            ^^^^^^^^
[INFO] [stdout] ...
[INFO] [stdout] 21 |     pub fn inc_col(&mut self) {
[INFO] [stdout]    |            ^^^^^^^
[INFO] [stdout] ...
[INFO] [stdout] 30 |     pub fn start() -> Self {
[INFO] [stdout]    |            ^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: enum `Token` is never used
[INFO] [stdout]   --> src/parser.rs:36:10
[INFO] [stdout]    |
[INFO] [stdout] 36 | pub enum Token {
[INFO] [stdout]    |          ^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: enum `TokenType` is never used
[INFO] [stdout]   --> src/parser.rs:60:10
[INFO] [stdout]    |
[INFO] [stdout] 60 | pub enum TokenType {
[INFO] [stdout]    |          ^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: methods `get_loc`, `get_type`, and `as_ident` are never used
[INFO] [stdout]    --> src/parser.rs:84:12
[INFO] [stdout]     |
[INFO] [stdout]  83 | impl Token {
[INFO] [stdout]     | ---------- methods in this implementation
[INFO] [stdout]  84 |     pub fn get_loc(&self) -> Loc {
[INFO] [stdout]     |            ^^^^^^^
[INFO] [stdout] ...
[INFO] [stdout] 108 |     pub fn get_type(&self) -> TokenType {
[INFO] [stdout]     |            ^^^^^^^^
[INFO] [stdout] ...
[INFO] [stdout] 133 |     fn as_ident(self) -> Option<String> {
[INFO] [stdout]     |        ^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: struct `ParseError` is never constructed
[INFO] [stdout]    --> src/parser.rs:143:12
[INFO] [stdout]     |
[INFO] [stdout] 143 | pub struct ParseError {
[INFO] [stdout]     |            ^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: enum `ParseErrorKind` is never used
[INFO] [stdout]    --> src/parser.rs:165:10
[INFO] [stdout]     |
[INFO] [stdout] 165 | pub enum ParseErrorKind {
[INFO] [stdout]     |          ^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: struct `TokenStream` is never constructed
[INFO] [stdout]    --> src/parser.rs:184:12
[INFO] [stdout]     |
[INFO] [stdout] 184 | pub struct TokenStream<I> {
[INFO] [stdout]     |            ^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: associated items `new`, `eat_char`, `eat_next`, `peek_next`, `eat_expect_any`, and `peek_expect_any` are never used
[INFO] [stdout]    --> src/parser.rs:194:12
[INFO] [stdout]     |
[INFO] [stdout] 190 | / impl<I> TokenStream<I>
[INFO] [stdout] 191 | | where
[INFO] [stdout] 192 | |     I: Iterator<Item = char>,
[INFO] [stdout]     | |_____________________________- associated items in this implementation
[INFO] [stdout] 193 |   {
[INFO] [stdout] 194 |       pub fn new(it: I) -> Self {
[INFO] [stdout]     |              ^^^
[INFO] [stdout] ...
[INFO] [stdout] 202 |       fn eat_char(&mut self, state: &mut usize, ident: &mut String) -> Result<bool, ParseError> {
[INFO] [stdout]     |          ^^^^^^^^
[INFO] [stdout] ...
[INFO] [stdout] 302 |       pub fn eat_next(&mut self) -> Result<Option<Token>, ParseError> {
[INFO] [stdout]     |              ^^^^^^^^
[INFO] [stdout] ...
[INFO] [stdout] 312 |       pub fn peek_next(&self) -> Option<&Token> {
[INFO] [stdout]     |              ^^^^^^^^^
[INFO] [stdout] ...
[INFO] [stdout] 316 |       pub fn eat_expect_any(&mut self, opts: &[TokenType]) -> Result<Token, ParseError> {
[INFO] [stdout]     |              ^^^^^^^^^^^^^^
[INFO] [stdout] ...
[INFO] [stdout] 331 |       pub fn peek_expect_any(&self, opts: &[TokenType]) -> Result<&Token, ParseError> {
[INFO] [stdout]     |              ^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: associated function `parse` is never used
[INFO] [stdout]    --> src/parser.rs:349:12
[INFO] [stdout]     |
[INFO] [stdout] 348 | impl Program {
[INFO] [stdout]     | ------------ associated function in this implementation
[INFO] [stdout] 349 |     pub fn parse<I>(toks: &mut TokenStream<I>, env: &mut Enviroment) -> Result<Self, ParseError>
[INFO] [stdout]     |            ^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: associated function `parse` is never used
[INFO] [stdout]    --> src/parser.rs:358:12
[INFO] [stdout]     |
[INFO] [stdout] 357 | impl Task {
[INFO] [stdout]     | --------- associated function in this implementation
[INFO] [stdout] 358 |     pub fn parse<I>(toks: &mut TokenStream<I>, env: &mut Enviroment) -> Result<Self, ParseError>
[INFO] [stdout]     |            ^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: function `parse_prog` is never used
[INFO] [stdout]    --> src/parser.rs:366:4
[INFO] [stdout]     |
[INFO] [stdout] 366 | fn parse_prog<I>(toks: &mut TokenStream<I>, env: &mut Enviroment) -> Result<Program, ParseError>
[INFO] [stdout]     |    ^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: function `parse_clause` is never used
[INFO] [stdout]    --> src/parser.rs:385:4
[INFO] [stdout]     |
[INFO] [stdout] 385 | fn parse_clause<I>(toks: &mut TokenStream<I>, env: &mut Enviroment) -> Result<Clause, ParseError>
[INFO] [stdout]     |    ^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: function `parse_task` is never used
[INFO] [stdout]    --> src/parser.rs:410:4
[INFO] [stdout]     |
[INFO] [stdout] 410 | fn parse_task<I>(toks: &mut TokenStream<I>, env: &mut Enviroment) -> Result<Vec<Expr>, ParseError>
[INFO] [stdout]     |    ^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: function `parse_expr` is never used
[INFO] [stdout]    --> src/parser.rs:429:4
[INFO] [stdout]     |
[INFO] [stdout] 429 | fn parse_expr<I>(toks: &mut TokenStream<I>, env: &mut Enviroment) -> Result<Expr, ParseError>
[INFO] [stdout]     |    ^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: function `parse_lhs` is never used
[INFO] [stdout]    --> src/parser.rs:443:4
[INFO] [stdout]     |
[INFO] [stdout] 443 | fn parse_lhs<I>(toks: &mut TokenStream<I>, env: &mut Enviroment) -> Result<Expr, ParseError>
[INFO] [stdout]     |    ^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: function `parse_rhs` is never used
[INFO] [stdout]    --> src/parser.rs:474:4
[INFO] [stdout]     |
[INFO] [stdout] 474 | fn parse_rhs<I>(
[INFO] [stdout]     |    ^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: function `add_ident` is never used
[INFO] [stdout]    --> src/parser.rs:537:4
[INFO] [stdout]     |
[INFO] [stdout] 537 | fn add_ident(
[INFO] [stdout]     |    ^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: function `parse_args` is never used
[INFO] [stdout]    --> src/parser.rs:558:4
[INFO] [stdout]     |
[INFO] [stdout] 558 | fn parse_args<I>(toks: &mut TokenStream<I>, env: &mut Enviroment) -> Result<Vec<Expr>, ParseError>
[INFO] [stdout]     |    ^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: enum `Expr` is never used
[INFO] [stdout]  --> src/program.rs:9:10
[INFO] [stdout]   |
[INFO] [stdout] 9 | pub enum Expr {
[INFO] [stdout]   |          ^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: method `print` is never used
[INFO] [stdout]   --> src/program.rs:16:12
[INFO] [stdout]    |
[INFO] [stdout] 15 | impl Expr {
[INFO] [stdout]    | --------- method in this implementation
[INFO] [stdout] 16 |     pub fn print(&self, w: &mut dyn Write, env: &Enviroment) -> std::io::Result<()> {
[INFO] [stdout]    |            ^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: struct `Clause` is never constructed
[INFO] [stdout]   --> src/program.rs:37:12
[INFO] [stdout]    |
[INFO] [stdout] 37 | pub struct Clause {
[INFO] [stdout]    |            ^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: associated items `new`, `lhs`, and `rhs` are never used
[INFO] [stdout]   --> src/program.rs:43:12
[INFO] [stdout]    |
[INFO] [stdout] 42 | impl Clause {
[INFO] [stdout]    | ----------- associated items in this implementation
[INFO] [stdout] 43 |     pub fn new(lhs: Expr, rhs: Vec<Expr>) -> Self {
[INFO] [stdout]    |            ^^^
[INFO] [stdout] ...
[INFO] [stdout] 50 |     pub fn lhs(&self) -> Expr {
[INFO] [stdout]    |            ^^^
[INFO] [stdout] ...
[INFO] [stdout] 54 |     pub fn rhs(&self) -> impl Iterator<Item = Expr> + '_ {
[INFO] [stdout]    |            ^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: struct `Program` is never constructed
[INFO] [stdout]   --> src/program.rs:60:12
[INFO] [stdout]    |
[INFO] [stdout] 60 | pub struct Program {
[INFO] [stdout]    |            ^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: associated items `new` and `clauses` are never used
[INFO] [stdout]   --> src/program.rs:65:12
[INFO] [stdout]    |
[INFO] [stdout] 64 | impl Program {
[INFO] [stdout]    | ------------ associated items in this implementation
[INFO] [stdout] 65 |     pub fn new(clauses: Vec<Clause>) -> Self {
[INFO] [stdout]    |            ^^^
[INFO] [stdout] ...
[INFO] [stdout] 71 |     pub fn clauses(&self) -> impl Iterator<Item = Clause> + '_ {
[INFO] [stdout]    |            ^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: struct `Task` is never constructed
[INFO] [stdout]   --> src/program.rs:77:12
[INFO] [stdout]    |
[INFO] [stdout] 77 | pub struct Task {
[INFO] [stdout]    |            ^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: associated items `new`, `exprs`, `get_vars`, and `find_vars` are never used
[INFO] [stdout]   --> src/program.rs:82:12
[INFO] [stdout]    |
[INFO] [stdout] 81 | impl Task {
[INFO] [stdout]    | --------- associated items in this implementation
[INFO] [stdout] 82 |     pub fn new(task: Vec<Expr>) -> Self {
[INFO] [stdout]    |            ^^^
[INFO] [stdout] ...
[INFO] [stdout] 86 |     pub fn exprs(&self) -> impl Iterator<Item = Expr> + '_ {
[INFO] [stdout]    |            ^^^^^
[INFO] [stdout] ...
[INFO] [stdout] 90 |     pub fn get_vars(&self) -> impl Iterator<Item = usize> + '_ {
[INFO] [stdout]    |            ^^^^^^^^
[INFO] [stdout] ...
[INFO] [stdout] 95 |     fn find_vars(e: &Expr, set: &mut HashSet<usize>) {
[INFO] [stdout]    |        ^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: enum `IdentKind` is never used
[INFO] [stdout]    --> src/program.rs:105:10
[INFO] [stdout]     |
[INFO] [stdout] 105 | pub enum IdentKind {
[INFO] [stdout]     |          ^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: struct `Enviroment` is never constructed
[INFO] [stdout]    --> src/program.rs:112:12
[INFO] [stdout]     |
[INFO] [stdout] 112 | pub struct Enviroment {
[INFO] [stdout]     |            ^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: associated items `get_ident_kind`, `get_ident_name`, `add_ident`, and `new` are never used
[INFO] [stdout]    --> src/program.rs:120:12
[INFO] [stdout]     |
[INFO] [stdout] 119 | impl Enviroment {
[INFO] [stdout]     | --------------- associated items in this implementation
[INFO] [stdout] 120 |     pub fn get_ident_kind(&self, ident: &str) -> Option<(usize, IdentKind)> {
[INFO] [stdout]     |            ^^^^^^^^^^^^^^
[INFO] [stdout] ...
[INFO] [stdout] 126 |     pub fn get_ident_name(&self, id: usize) -> Option<&str> {
[INFO] [stdout]     |            ^^^^^^^^^^^^^^
[INFO] [stdout] ...
[INFO] [stdout] 130 |     pub fn add_ident(&mut self, ident: String, kind: IdentKind) -> usize {
[INFO] [stdout]     |            ^^^^^^^^^
[INFO] [stdout] ...
[INFO] [stdout] 141 |     pub fn new() -> Self {
[INFO] [stdout]     |            ^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: struct `Id` is never constructed
[INFO] [stdout]  --> src/unifier.rs:9:12
[INFO] [stdout]   |
[INFO] [stdout] 9 | pub struct Id(usize);
[INFO] [stdout]   |            ^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: struct `Unifier` is never constructed
[INFO] [stdout]   --> src/unifier.rs:12:12
[INFO] [stdout]    |
[INFO] [stdout] 12 | pub struct Unifier {
[INFO] [stdout]    |            ^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: methods `get_expr_id`, `add_expr`, `unify`, `unify_rec`, `get_expr`, and `get_expr_rec` are never used
[INFO] [stdout]    --> src/unifier.rs:21:12
[INFO] [stdout]     |
[INFO] [stdout]  20 | impl Unifier {
[INFO] [stdout]     | ------------ methods in this implementation
[INFO] [stdout]  21 |     pub fn get_expr_id(&self, expr: &Expr) -> Option<Id> {
[INFO] [stdout]     |            ^^^^^^^^^^^
[INFO] [stdout] ...
[INFO] [stdout]  38 |     pub fn add_expr(&mut self, expr: &Expr) -> Id {
[INFO] [stdout]     |            ^^^^^^^^
[INFO] [stdout] ...
[INFO] [stdout]  92 |     pub fn unify(&mut self, expr1: Id, expr2: Id) -> bool {
[INFO] [stdout]     |            ^^^^^
[INFO] [stdout] ...
[INFO] [stdout] 106 |     fn unify_rec(&mut self, expr1: SetItem, expr2: SetItem) -> bool {
[INFO] [stdout]     |        ^^^^^^^^^
[INFO] [stdout] ...
[INFO] [stdout] 173 |     pub fn get_expr(&self, id: Id) -> Expr {
[INFO] [stdout]     |            ^^^^^^^^
[INFO] [stdout] ...
[INFO] [stdout] 177 |     fn get_expr_rec(&self, class: SetItem) -> Expr {
[INFO] [stdout]     |        ^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: associated items `get_vars` and `find_vars` are never used
[INFO] [stdout]   --> src/program.rs:90:12
[INFO] [stdout]    |
[INFO] [stdout] 81 | impl Task {
[INFO] [stdout]    | --------- associated items in this implementation
[INFO] [stdout] ...
[INFO] [stdout] 90 |     pub fn get_vars(&self) -> impl Iterator<Item = usize> + '_ {
[INFO] [stdout]    |            ^^^^^^^^
[INFO] [stdout] ...
[INFO] [stdout] 95 |     fn find_vars(e: &Expr, set: &mut HashSet<usize>) {
[INFO] [stdout]    |        ^^^^^^^^^
[INFO] [stdout]    |
[INFO] [stdout]    = note: `#[warn(dead_code)]` (part of `#[warn(unused)]`) on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stderr]     Finished `dev` profile [unoptimized + debuginfo] target(s) in 0.36s
[INFO] running `Command { std: "docker" "inspect" "f03d5285adf55e3cb2e2c2c60fcc19f1a7f292b41198dcbe43a4cf6250cf6271", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "f03d5285adf55e3cb2e2c2c60fcc19f1a7f292b41198dcbe43a4cf6250cf6271", kill_on_drop: false }`
[INFO] [stdout] f03d5285adf55e3cb2e2c2c60fcc19f1a7f292b41198dcbe43a4cf6250cf6271
