[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] testing 0Marble/horn against master#d98a5da813da67eb189387b8ccfb73cf481275d8+rustflags=-Copt-level=3 for pr-138759
[INFO] running `Command { std: "git" "clone" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2F0Marble%2Fhorn" "/workspace/builds/worker-0-tc1/source", kill_on_drop: false }`
[INFO] [stderr] Cloning into '/workspace/builds/worker-0-tc1/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-0-tc1/source/Cargo.toml
[INFO] validating manifest of git repo https://github.com/0Marble/horn on toolchain d98a5da813da67eb189387b8ccfb73cf481275d8
[INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+d98a5da813da67eb189387b8ccfb73cf481275d8" "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" "+d98a5da813da67eb189387b8ccfb73cf481275d8" "fetch" "--manifest-path" "Cargo.toml", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-0-tc1/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-0-tc1/source:/opt/rustwide/workdir:ro,Z" "-v" "/var/lib/crater-agent-workspace/cargo-home:/opt/rustwide/cargo-home:ro,Z" "-v" "/var/lib/crater-agent-workspace/rustup-home:/opt/rustwide/rustup-home:ro,Z" "-e" "SOURCE_DIR=/opt/rustwide/workdir" "-e" "CARGO_TARGET_DIR=/opt/rustwide/target" "-e" "CARGO_HOME=/opt/rustwide/cargo-home" "-e" "RUSTUP_HOME=/opt/rustwide/rustup-home" "-w" "/opt/rustwide/workdir" "-m" "1610612736" "--user" "0:0" "--network" "none" "ghcr.io/rust-lang/crates-build-env/linux@sha256:e90291280db7d1fac5b66fc6dad9f9662629e7365a55743daf9bdf73ebc4ea79" "/opt/rustwide/cargo-home/bin/cargo" "+d98a5da813da67eb189387b8ccfb73cf481275d8" "metadata" "--no-deps" "--format-version=1", kill_on_drop: false }`
[INFO] [stdout] dc2083db7a405e5de6ab7c67dc54c575dbd90e0a261fe9cf58a845c0533e4640
[INFO] running `Command { std: "docker" "start" "-a" "dc2083db7a405e5de6ab7c67dc54c575dbd90e0a261fe9cf58a845c0533e4640", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "inspect" "dc2083db7a405e5de6ab7c67dc54c575dbd90e0a261fe9cf58a845c0533e4640", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "dc2083db7a405e5de6ab7c67dc54c575dbd90e0a261fe9cf58a845c0533e4640", kill_on_drop: false }`
[INFO] [stdout] dc2083db7a405e5de6ab7c67dc54c575dbd90e0a261fe9cf58a845c0533e4640
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-0-tc1/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-0-tc1/source:/opt/rustwide/workdir:ro,Z" "-v" "/var/lib/crater-agent-workspace/cargo-home:/opt/rustwide/cargo-home:ro,Z" "-v" "/var/lib/crater-agent-workspace/rustup-home:/opt/rustwide/rustup-home:ro,Z" "-e" "SOURCE_DIR=/opt/rustwide/workdir" "-e" "CARGO_TARGET_DIR=/opt/rustwide/target" "-e" "CARGO_INCREMENTAL=0" "-e" "RUST_BACKTRACE=full" "-e" "RUSTFLAGS=--cap-lints=forbid -Copt-level=3" "-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" "+d98a5da813da67eb189387b8ccfb73cf481275d8" "build" "--frozen" "--message-format=json", kill_on_drop: false }`
[INFO] [stdout] 96eee23bcf3591e440748166996e0532aa7f8ddb87c0ed1e8270ffe75a789f76
[INFO] running `Command { std: "docker" "start" "-a" "96eee23bcf3591e440748166996e0532aa7f8ddb87c0ed1e8270ffe75a789f76", kill_on_drop: false }`
[INFO] [stderr]    Compiling 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)]` 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: field `vacant` is never read
[INFO] [stdout]   --> src/disjoint_set.rs:15:5
[INFO] [stdout]    |
[INFO] [stdout] 11 | pub struct DisjointSet<T> {
[INFO] [stdout]    |            ----------- field in this struct
[INFO] [stdout] ...
[INFO] [stdout] 15 |     vacant: VecDeque<usize>,
[INFO] [stdout]    |     ^^^^^^
[INFO] [stdout]    |
[INFO] [stdout]    = note: `DisjointSet` has derived impls for the traits `Clone` and `Debug`, but these are intentionally ignored during dead code analysis
[INFO] [stdout]    = note: `#[warn(dead_code)]` on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: associated items `add_set`, `find`, `merge`, `no_rule`, and `set_count` 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] 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] 
[INFO] [stdout] warning: variant `DepthExceeded` is never constructed
[INFO] [stdout]   --> src/eval.rs:10:5
[INFO] [stdout]    |
[INFO] [stdout] 9  | pub enum EvalError {
[INFO] [stdout]    |          --------- variant in this enum
[INFO] [stdout] 10 |     DepthExceeded,
[INFO] [stdout]    |     ^^^^^^^^^^^^^
[INFO] [stdout]    |
[INFO] [stdout]    = note: `EvalError` has derived impls for the traits `Clone` and `Debug`, but these are intentionally ignored during dead code analysis
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: struct `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: variants `Const`, `Var`, and `Func` are never constructed
[INFO] [stdout]    --> src/program.rs:106:5
[INFO] [stdout]     |
[INFO] [stdout] 105 | pub enum IdentKind {
[INFO] [stdout]     |          --------- variants in this enum
[INFO] [stdout] 106 |     Const,
[INFO] [stdout]     |     ^^^^^
[INFO] [stdout] 107 |     Var,
[INFO] [stdout]     |     ^^^
[INFO] [stdout] 108 |     Func(usize),
[INFO] [stdout]     |     ^^^^
[INFO] [stdout]     |
[INFO] [stdout]     = note: `IdentKind` has derived impls for the traits `Clone` and `Debug`, but these are intentionally ignored during dead code analysis
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: struct `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: fields `set`, `chidren`, `parent`, `nodes`, and `leaves` are never read
[INFO] [stdout]   --> src/unifier.rs:13:5
[INFO] [stdout]    |
[INFO] [stdout] 12 | pub struct Unifier {
[INFO] [stdout]    |            ------- fields in this struct
[INFO] [stdout] 13 |     set: DisjointSet<usize>,                        // classes of nodes
[INFO] [stdout]    |     ^^^
[INFO] [stdout] 14 |     chidren: Vec<Rc<[SetItem]>>,                    // chlidren[node]: classes of children
[INFO] [stdout]    |     ^^^^^^^
[INFO] [stdout] 15 |     parent: HashMap<(usize, Rc<[SetItem]>), usize>, // parent[ident, children]: node
[INFO] [stdout]    |     ^^^^^^
[INFO] [stdout] 16 |     nodes: Vec<(usize, IdentKind, SetItem)>,        // nodes[node]: (ident, identKind, class)
[INFO] [stdout]    |     ^^^^^
[INFO] [stdout] 17 |     leaves: HashMap<usize, usize>,                  // leaves[ident]: node,
[INFO] [stdout]    |     ^^^^^^
[INFO] [stdout]    |
[INFO] [stdout]    = note: `Unifier` 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: 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] [stderr]     Finished `dev` profile [unoptimized + debuginfo] target(s) in 0.52s
[INFO] running `Command { std: "docker" "inspect" "96eee23bcf3591e440748166996e0532aa7f8ddb87c0ed1e8270ffe75a789f76", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "96eee23bcf3591e440748166996e0532aa7f8ddb87c0ed1e8270ffe75a789f76", kill_on_drop: false }`
[INFO] [stdout] 96eee23bcf3591e440748166996e0532aa7f8ddb87c0ed1e8270ffe75a789f76
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-0-tc1/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-0-tc1/source:/opt/rustwide/workdir:ro,Z" "-v" "/var/lib/crater-agent-workspace/cargo-home:/opt/rustwide/cargo-home:ro,Z" "-v" "/var/lib/crater-agent-workspace/rustup-home:/opt/rustwide/rustup-home:ro,Z" "-e" "SOURCE_DIR=/opt/rustwide/workdir" "-e" "CARGO_TARGET_DIR=/opt/rustwide/target" "-e" "CARGO_INCREMENTAL=0" "-e" "RUST_BACKTRACE=full" "-e" "RUSTFLAGS=--cap-lints=forbid -Copt-level=3" "-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" "+d98a5da813da67eb189387b8ccfb73cf481275d8" "test" "--frozen" "--no-run" "--message-format=json", kill_on_drop: false }`
[INFO] [stdout] c06c6b2297c68e68501d299f22f89a1d6d65cf76baa1caf6686795767aa4ccfe
[INFO] running `Command { std: "docker" "start" "-a" "c06c6b2297c68e68501d299f22f89a1d6d65cf76baa1caf6686795767aa4ccfe", kill_on_drop: false }`
[INFO] [stderr]    Compiling 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)]` 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: 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)]` on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stderr]     Finished `test` profile [unoptimized + debuginfo] target(s) in 4.09s
[INFO] running `Command { std: "docker" "inspect" "c06c6b2297c68e68501d299f22f89a1d6d65cf76baa1caf6686795767aa4ccfe", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "c06c6b2297c68e68501d299f22f89a1d6d65cf76baa1caf6686795767aa4ccfe", kill_on_drop: false }`
[INFO] [stdout] c06c6b2297c68e68501d299f22f89a1d6d65cf76baa1caf6686795767aa4ccfe
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-0-tc1/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-0-tc1/source:/opt/rustwide/workdir:ro,Z" "-v" "/var/lib/crater-agent-workspace/cargo-home:/opt/rustwide/cargo-home:ro,Z" "-v" "/var/lib/crater-agent-workspace/rustup-home:/opt/rustwide/rustup-home:ro,Z" "-e" "SOURCE_DIR=/opt/rustwide/workdir" "-e" "CARGO_TARGET_DIR=/opt/rustwide/target" "-e" "CARGO_INCREMENTAL=0" "-e" "RUST_BACKTRACE=full" "-e" "RUSTFLAGS=--cap-lints=forbid -Copt-level=3" "-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" "+d98a5da813da67eb189387b8ccfb73cf481275d8" "test" "--frozen", kill_on_drop: false }`
[INFO] [stdout] d8719ae0c14d082c49572c6194d62ad9202949afcacbe7c8c97d4367feba3512
[INFO] running `Command { std: "docker" "start" "-a" "d8719ae0c14d082c49572c6194d62ad9202949afcacbe7c8c97d4367feba3512", kill_on_drop: false }`
[INFO] [stderr] warning: unused import: `program::Enviroment`
[INFO] [stderr]  --> src/main.rs:1:5
[INFO] [stderr]   |
[INFO] [stderr] 1 | use program::Enviroment;
[INFO] [stderr]   |     ^^^^^^^^^^^^^^^^^^^
[INFO] [stderr]   |
[INFO] [stderr]   = note: `#[warn(unused_imports)]` on by default
[INFO] [stderr] 
[INFO] [stderr] warning: unused imports: `Program`, `Task`, and `parser::TokenStream`
[INFO] [stderr]  --> src/main.rs:4:5
[INFO] [stderr]   |
[INFO] [stderr] 4 |     parser::TokenStream,
[INFO] [stderr]   |     ^^^^^^^^^^^^^^^^^^^
[INFO] [stderr] 5 |     program::{Program, Task},
[INFO] [stderr]   |               ^^^^^^^  ^^^^
[INFO] [stderr] 
[INFO] [stderr] warning: associated items `get_vars` and `find_vars` are never used
[INFO] [stderr]   --> src/program.rs:90:12
[INFO] [stderr]    |
[INFO] [stderr] 81 | impl Task {
[INFO] [stderr]    | --------- associated items in this implementation
[INFO] [stderr] ...
[INFO] [stderr] 90 |     pub fn get_vars(&self) -> impl Iterator<Item = usize> + '_ {
[INFO] [stderr]    |            ^^^^^^^^
[INFO] [stderr] ...
[INFO] [stdout] 
[INFO] [stderr] 95 |     fn find_vars(e: &Expr, set: &mut HashSet<usize>) {
[INFO] [stdout] running 5 tests
[INFO] [stderr]    |        ^^^^^^^^^
[INFO] [stderr]    |
[INFO] [stderr]    = note: `#[warn(dead_code)]` on by default
[INFO] [stderr] 
[INFO] [stderr] warning: `horn` (bin "horn" test) generated 3 warnings (run `cargo fix --bin "horn" --tests` to apply 2 suggestions)
[INFO] [stderr]     Finished `test` profile [unoptimized + debuginfo] target(s) in 0.04s
[INFO] [stderr]      Running unittests src/main.rs (/opt/rustwide/target/debug/deps/horn-d2e25e77d26e3981)
[INFO] [stdout] test disjoint_set::tests::merge_all ... ok
[INFO] [stdout] test unifier::tests::same_expr ... ok
[INFO] [stdout] test unifier::tests::unify ... ok
[INFO] [stdout] test tests::list_ops ... ok
[INFO] [stdout] test tests::subtract_turing_machine ... ok
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 5 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 2.85s
[INFO] [stdout] 
[INFO] running `Command { std: "docker" "inspect" "d8719ae0c14d082c49572c6194d62ad9202949afcacbe7c8c97d4367feba3512", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "d8719ae0c14d082c49572c6194d62ad9202949afcacbe7c8c97d4367feba3512", kill_on_drop: false }`
[INFO] [stdout] d8719ae0c14d082c49572c6194d62ad9202949afcacbe7c8c97d4367feba3512
