[INFO] cloning repository https://github.com/hatellezp/foxidation
[INFO] running `Command { std: "git" "-c" "credential.helper=" "-c" "credential.helper=/workspace/cargo-home/bin/git-credential-null" "clone" "--bare" "https://github.com/hatellezp/foxidation" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Fhatellezp%2Ffoxidation", kill_on_drop: false }`
[INFO] [stderr] Cloning into bare repository '/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Fhatellezp%2Ffoxidation'...
[INFO] running `Command { std: "git" "rev-parse" "HEAD", kill_on_drop: false }`
[INFO] [stdout] e43df1c33a2067b082292122e00040709c90536c
[INFO] testing hatellezp/foxidation against beta-2022-04-10 for beta-1.61-1
[INFO] running `Command { std: "git" "clone" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Fhatellezp%2Ffoxidation" "/workspace/builds/worker-29/source", kill_on_drop: false }`
[INFO] [stderr] Cloning into '/workspace/builds/worker-29/source'...
[INFO] [stderr] done.
[INFO] validating manifest of git repo https://github.com/hatellezp/foxidation on toolchain beta-2022-04-10
[INFO] running `Command { std: "/workspace/cargo-home/bin/cargo" "+beta-2022-04-10" "metadata" "--manifest-path" "Cargo.toml" "--no-deps", kill_on_drop: false }`
[INFO] started tweaking git repo https://github.com/hatellezp/foxidation
[INFO] finished tweaking git repo https://github.com/hatellezp/foxidation
[INFO] tweaked toml for git repo https://github.com/hatellezp/foxidation written to /workspace/builds/worker-29/source/Cargo.toml
[INFO] crate git repo https://github.com/hatellezp/foxidation already has a lockfile, it will not be regenerated
[INFO] running `Command { std: "/workspace/cargo-home/bin/cargo" "+beta-2022-04-10" "fetch" "--manifest-path" "Cargo.toml", kill_on_drop: false }`
[INFO] [stderr]     Blocking waiting for file lock on package cache
[INFO] [stderr]     Blocking waiting for file lock on package cache
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-29/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-29/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:b0c94ce3c1162fcb8e57cac5b65ec2f72eabb1eebea4fcc35e269e823f681646" "/opt/rustwide/cargo-home/bin/cargo" "+beta-2022-04-10" "metadata" "--no-deps" "--format-version=1", kill_on_drop: false }`
[INFO] [stdout] ad58b2a8b3adfd762231826ac5c984a4e2680ec320def915b86331ce30ee6534
[INFO] running `Command { std: "docker" "start" "-a" "ad58b2a8b3adfd762231826ac5c984a4e2680ec320def915b86331ce30ee6534", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "inspect" "ad58b2a8b3adfd762231826ac5c984a4e2680ec320def915b86331ce30ee6534", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "ad58b2a8b3adfd762231826ac5c984a4e2680ec320def915b86331ce30ee6534", kill_on_drop: false }`
[INFO] [stdout] ad58b2a8b3adfd762231826ac5c984a4e2680ec320def915b86331ce30ee6534
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-29/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-29/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=warn" "-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:b0c94ce3c1162fcb8e57cac5b65ec2f72eabb1eebea4fcc35e269e823f681646" "/opt/rustwide/cargo-home/bin/cargo" "+beta-2022-04-10" "build" "--frozen" "--message-format=json", kill_on_drop: false }`
[INFO] [stdout] c4446daba12c40c7614083145a37e7bb7d3fe114f5a25d50be3e999c4eaed3db
[INFO] running `Command { std: "docker" "start" "-a" "c4446daba12c40c7614083145a37e7bb7d3fe114f5a25d50be3e999c4eaed3db", kill_on_drop: false }`
[INFO] [stderr]    Compiling proc-macro2 v1.0.28
[INFO] [stderr]    Compiling unicode-xid v0.2.2
[INFO] [stderr]    Compiling syn v1.0.74
[INFO] [stderr]    Compiling version_check v0.9.3
[INFO] [stderr]    Compiling libc v0.2.99
[INFO] [stderr]    Compiling ucd-trie v0.1.3
[INFO] [stderr]    Compiling unicode-segmentation v1.8.0
[INFO] [stderr]    Compiling maplit v1.0.2
[INFO] [stderr]    Compiling paw-raw v1.0.0
[INFO] [stderr]    Compiling bitflags v1.3.2
[INFO] [stderr]    Compiling pad v0.1.6
[INFO] [stderr]    Compiling pest v2.1.3
[INFO] [stderr]    Compiling heck v0.3.3
[INFO] [stderr]    Compiling proc-macro-error-attr v1.0.4
[INFO] [stderr]    Compiling proc-macro-error v1.0.4
[INFO] [stderr]    Compiling quote v1.0.9
[INFO] [stderr]    Compiling pest_meta v2.1.3
[INFO] [stderr]    Compiling atty v0.2.14
[INFO] [stderr]    Compiling clap v2.33.3
[INFO] [stderr]    Compiling colored v2.0.0
[INFO] [stderr]    Compiling pest_generator v2.1.3
[INFO] [stderr]    Compiling paw-attributes v1.0.2
[INFO] [stderr]    Compiling structopt-derive v0.4.15
[INFO] [stderr]    Compiling pest_derive v2.1.0
[INFO] [stderr]    Compiling paw v1.0.0
[INFO] [stderr]    Compiling structopt v0.3.22
[INFO] [stderr]    Compiling parser_learning v0.1.0 (/opt/rustwide/workdir)
[INFO] [stdout] warning: unused import: `max`
[INFO] [stdout]  --> src/core/expression.rs:1:16
[INFO] [stdout]   |
[INFO] [stdout] 1 | use std::cmp::{max, Ordering};
[INFO] [stdout]   |                ^^^
[INFO] [stdout]   |
[INFO] [stdout]   = note: `#[warn(unused_imports)]` on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused import: `std::iter::FromIterator`
[INFO] [stdout]  --> src/core/expression.rs:6:5
[INFO] [stdout]   |
[INFO] [stdout] 6 | use std::iter::FromIterator;
[INFO] [stdout]   |     ^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused import: `ColoredString`
[INFO] [stdout]   --> src/core/expression.rs:12:15
[INFO] [stdout]    |
[INFO] [stdout] 12 | use colored::{ColoredString, Colorize};
[INFO] [stdout]    |               ^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused import: `crate::core::types::Type::Equivalence`
[INFO] [stdout]   --> src/core/expression.rs:18:5
[INFO] [stdout]    |
[INFO] [stdout] 18 | use crate::core::types::Type::Equivalence;
[INFO] [stdout]    |     ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused imports: `ExpressionEval`, `LiteralEval`
[INFO] [stdout]   --> src/core/expression.rs:19:26
[INFO] [stdout]    |
[INFO] [stdout] 19 | use crate::core::types::{ExpressionEval, Grounded, LiteralEval, Type};
[INFO] [stdout]    |                          ^^^^^^^^^^^^^^            ^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused import: `std::fmt`
[INFO] [stdout]   --> src/core/expression.rs:21:5
[INFO] [stdout]    |
[INFO] [stdout] 21 | use std::fmt;
[INFO] [stdout]    |     ^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused import: `Literal::*`
[INFO] [stdout]    --> src/core/expression.rs:827:13
[INFO] [stdout]     |
[INFO] [stdout] 827 |         use Literal::*;
[INFO] [stdout]     |             ^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused import: `ColoredString`
[INFO] [stdout]  --> src/core/literal.rs:9:15
[INFO] [stdout]   |
[INFO] [stdout] 9 | use colored::{ColoredString, Colorize};
[INFO] [stdout]   |               ^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused import: `crate::core::types::Result::*`
[INFO] [stdout]   --> src/parser/parser.rs:20:9
[INFO] [stdout]    |
[INFO] [stdout] 20 |     use crate::core::types::Result::*;
[INFO] [stdout]    |         ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused import: `crate::core::filter::Filter`
[INFO] [stdout]   --> src/main.rs:14:5
[INFO] [stdout]    |
[INFO] [stdout] 14 | use crate::core::filter::Filter;
[INFO] [stdout]    |     ^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unreachable pattern
[INFO] [stdout]    --> src/core/literal.rs:257:13
[INFO] [stdout]     |
[INFO] [stdout] 257 |             _ => 5,
[INFO] [stdout]     |             ^
[INFO] [stdout]     |
[INFO] [stdout]     = note: `#[warn(unreachable_patterns)]` on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `context`
[INFO] [stdout]   --> src/main.rs:37:10
[INFO] [stdout]    |
[INFO] [stdout] 37 |     let (context, expressions) = parser::parser::parse_file(&unparsed_file);
[INFO] [stdout]    |          ^^^^^^^ help: if this is intentional, prefix it with an underscore: `_context`
[INFO] [stdout]    |
[INFO] [stdout]    = note: `#[warn(unused_variables)]` on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `new_b`
[INFO] [stdout]    --> src/core/expression.rs:774:29
[INFO] [stdout]     |
[INFO] [stdout] 774 |                         let new_b = Expression::nnot(expr2.deref().clone());
[INFO] [stdout]     |                             ^^^^^ help: if this is intentional, prefix it with an underscore: `_new_b`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `print_true_table`
[INFO] [stdout]    --> src/core/expression.rs:990:9
[INFO] [stdout]     |
[INFO] [stdout] 990 |         print_true_table: bool,
[INFO] [stdout]     |         ^^^^^^^^^^^^^^^^ help: if this is intentional, prefix it with an underscore: `_print_true_table`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `sub_expr_len`
[INFO] [stdout]     --> src/core/expression.rs:1178:21
[INFO] [stdout]      |
[INFO] [stdout] 1178 |                 let sub_expr_len = sub_exprs_length[i];
[INFO] [stdout]      |                     ^^^^^^^^^^^^ help: if this is intentional, prefix it with an underscore: `_sub_expr_len`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable does not need to be mutable
[INFO] [stdout]    --> src/core/expression.rs:939:27
[INFO] [stdout]     |
[INFO] [stdout] 939 |                     (Some(mut atoms1), Some(atoms2)) => {
[INFO] [stdout]     |                           ----^^^^^^
[INFO] [stdout]     |                           |
[INFO] [stdout]     |                           help: remove this `mut`
[INFO] [stdout]     |
[INFO] [stdout]     = note: `#[warn(unused_mut)]` on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable does not need to be mutable
[INFO] [stdout]     --> src/core/expression.rs:1013:25
[INFO] [stdout]      |
[INFO] [stdout] 1013 |                     let mut create_valuation = {
[INFO] [stdout]      |                         ----^^^^^^^^^^^^^^^^
[INFO] [stdout]      |                         |
[INFO] [stdout]      |                         help: remove this `mut`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable does not need to be mutable
[INFO] [stdout]     --> src/core/expression.rs:1014:29
[INFO] [stdout]      |
[INFO] [stdout] 1014 |                         let mut valuation = |expr: &Expression, bools: &[bool]| {
[INFO] [stdout]      |                             ----^^^^^^^^^
[INFO] [stdout]      |                             |
[INFO] [stdout]      |                             help: remove this `mut`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable does not need to be mutable
[INFO] [stdout]     --> src/core/expression.rs:1039:29
[INFO] [stdout]      |
[INFO] [stdout] 1039 |                         let mut inner_valuation = create_valuation;
[INFO] [stdout]      |                             ----^^^^^^^^^^^^^^^
[INFO] [stdout]      |                             |
[INFO] [stdout]      |                             help: remove this `mut`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable does not need to be mutable
[INFO] [stdout]     --> src/core/expression.rs:1040:29
[INFO] [stdout]      |
[INFO] [stdout] 1040 |                         let mut partial =
[INFO] [stdout]      |                             ----^^^^^^^
[INFO] [stdout]      |                             |
[INFO] [stdout]      |                             help: remove this `mut`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable does not need to be mutable
[INFO] [stdout]     --> src/core/expression.rs:1107:13
[INFO] [stdout]      |
[INFO] [stdout] 1107 |         let mut create_valuation = {
[INFO] [stdout]      |             ----^^^^^^^^^^^^^^^^
[INFO] [stdout]      |             |
[INFO] [stdout]      |             help: remove this `mut`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable does not need to be mutable
[INFO] [stdout]     --> src/core/expression.rs:1108:17
[INFO] [stdout]      |
[INFO] [stdout] 1108 |             let mut valuation = |expr: &Expression, bools: &[bool]| {
[INFO] [stdout]      |                 ----^^^^^^^^^
[INFO] [stdout]      |                 |
[INFO] [stdout]      |                 help: remove this `mut`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable does not need to be mutable
[INFO] [stdout]     --> src/core/expression.rs:1170:17
[INFO] [stdout]      |
[INFO] [stdout] 1170 |             let mut inner_valuation = create_valuation;
[INFO] [stdout]      |                 ----^^^^^^^^^^^^^^^
[INFO] [stdout]      |                 |
[INFO] [stdout]      |                 help: remove this `mut`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable does not need to be mutable
[INFO] [stdout]     --> src/core/expression.rs:1171:17
[INFO] [stdout]      |
[INFO] [stdout] 1171 |             let mut partial = |expr: &Expression| inner_valuation(expr, global_filter.filter());
[INFO] [stdout]      |                 ----^^^^^^^
[INFO] [stdout]      |                 |
[INFO] [stdout]      |                 help: remove this `mut`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: constant is never used: `IN_CHAR`
[INFO] [stdout]  --> src/mathsymbols.rs:3:1
[INFO] [stdout]   |
[INFO] [stdout] 3 | pub const IN_CHAR: char = '\u{2208}';
[INFO] [stdout]   | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout]   |
[INFO] [stdout]   = note: `#[warn(dead_code)]` on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: constant is never used: `NOTIN_CHAR`
[INFO] [stdout]  --> src/mathsymbols.rs:4:1
[INFO] [stdout]   |
[INFO] [stdout] 4 | pub const NOTIN_CHAR: char = '\u{2209}';
[INFO] [stdout]   | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: constant is never used: `PROVE_CHAR`
[INFO] [stdout]  --> src/mathsymbols.rs:9:1
[INFO] [stdout]   |
[INFO] [stdout] 9 | pub const PROVE_CHAR: char = '\u{22A2}';
[INFO] [stdout]   | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: constant is never used: `NOTPROVE_CHAR`
[INFO] [stdout]   --> src/mathsymbols.rs:10:1
[INFO] [stdout]    |
[INFO] [stdout] 10 | pub const NOTPROVE_CHAR: char = '\u{22AC}';
[INFO] [stdout]    | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: constant is never used: `MODEL_CHAR`
[INFO] [stdout]   --> src/mathsymbols.rs:11:1
[INFO] [stdout]    |
[INFO] [stdout] 11 | pub const MODEL_CHAR: char = '\u{22A8}';
[INFO] [stdout]    | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: constant is never used: `NOTMODEL_CHAR`
[INFO] [stdout]   --> src/mathsymbols.rs:12:1
[INFO] [stdout]    |
[INFO] [stdout] 12 | pub const NOTMODEL_CHAR: char = '\u{22AD}';
[INFO] [stdout]    | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: constant is never used: `IMPLIES_LEFT_CHAR`
[INFO] [stdout]   --> src/mathsymbols.rs:13:1
[INFO] [stdout]    |
[INFO] [stdout] 13 | pub const IMPLIES_LEFT_CHAR: char = '\u{21D0}';
[INFO] [stdout]    | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variant is never constructed: `PartialEquality`
[INFO] [stdout]   --> src/core/expression.rs:30:5
[INFO] [stdout]    |
[INFO] [stdout] 30 |     PartialEquality(Literal, Box<Expression>),
[INFO] [stdout]    |     ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout]    |
[INFO] [stdout] note: `Expression` has derived impls for the traits `Clone` and `Debug`, but these are intentionally ignored during dead code analysis
[INFO] [stdout]   --> src/core/expression.rs:23:10
[INFO] [stdout]    |
[INFO] [stdout] 23 | #[derive(Debug, Clone)]
[INFO] [stdout]    |          ^^^^^  ^^^^^
[INFO] [stdout]    = note: this warning originates in the derive macro `Debug` (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variant is never constructed: `GeneralEquality`
[INFO] [stdout]   --> src/core/expression.rs:31:5
[INFO] [stdout]    |
[INFO] [stdout] 31 |     GeneralEquality(Box<Expression>, Box<Expression>),
[INFO] [stdout]    |     ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout]    |
[INFO] [stdout] note: `Expression` has derived impls for the traits `Clone` and `Debug`, but these are intentionally ignored during dead code analysis
[INFO] [stdout]   --> src/core/expression.rs:23:10
[INFO] [stdout]    |
[INFO] [stdout] 23 | #[derive(Debug, Clone)]
[INFO] [stdout]    |          ^^^^^  ^^^^^
[INFO] [stdout]    = note: this warning originates in the derive macro `Debug` (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: associated function is never used: `npartialequality`
[INFO] [stdout]    --> src/core/expression.rs:638:12
[INFO] [stdout]     |
[INFO] [stdout] 638 |     pub fn npartialequality(a: &Literal, b: Expression) -> Expression {
[INFO] [stdout]     |            ^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: associated function is never used: `ngeneralequality`
[INFO] [stdout]    --> src/core/expression.rs:642:12
[INFO] [stdout]     |
[INFO] [stdout] 642 |     pub fn ngeneralequality(a: Expression, b: Expression) -> Expression {
[INFO] [stdout]     |            ^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: associated function is never used: `is_atomic`
[INFO] [stdout]    --> src/core/expression.rs:874:12
[INFO] [stdout]     |
[INFO] [stdout] 874 |     pub fn is_atomic(&self) -> bool {
[INFO] [stdout]     |            ^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: associated function is never used: `is_guarded`
[INFO] [stdout]     --> src/core/expression.rs:1278:12
[INFO] [stdout]      |
[INFO] [stdout] 1278 |     pub fn is_guarded(&self) -> bool {false}
[INFO] [stdout]      |            ^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: associated function is never used: `variables`
[INFO] [stdout]     --> src/core/expression.rs:1279:12
[INFO] [stdout]      |
[INFO] [stdout] 1279 |     pub fn variables(&self) -> Vec<Literal> {vec![]}
[INFO] [stdout]      |            ^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: associated function is never used: `bound_variables`
[INFO] [stdout]     --> src/core/expression.rs:1280:12
[INFO] [stdout]      |
[INFO] [stdout] 1280 |     pub fn bound_variables(&self) -> Vec<Literal> {vec![]}
[INFO] [stdout]      |            ^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: associated function is never used: `free_variables`
[INFO] [stdout]     --> src/core/expression.rs:1281:12
[INFO] [stdout]      |
[INFO] [stdout] 1281 |     pub fn free_variables(&self) -> Vec<Literal> {vec![]}
[INFO] [stdout]      |            ^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: associated function is never used: `reduce`
[INFO] [stdout]     --> src/core/expression.rs:1282:12
[INFO] [stdout]      |
[INFO] [stdout] 1282 |     pub fn reduce(&mut self) {}
[INFO] [stdout]      |            ^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: associated function is never used: `len`
[INFO] [stdout]   --> src/core/filter.rs:36:12
[INFO] [stdout]    |
[INFO] [stdout] 36 |     pub fn len(&self) -> usize {
[INFO] [stdout]    |            ^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: associated function is never used: `noo`
[INFO] [stdout]   --> src/core/filter.rs:40:12
[INFO] [stdout]    |
[INFO] [stdout] 40 |     pub fn noo(&self) -> usize {
[INFO] [stdout]    |            ^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: associated function is never used: `lo`
[INFO] [stdout]   --> src/core/filter.rs:44:12
[INFO] [stdout]    |
[INFO] [stdout] 44 |     pub fn lo(&self) -> usize {
[INFO] [stdout]    |            ^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: associated function is never used: `uo`
[INFO] [stdout]   --> src/core/filter.rs:48:12
[INFO] [stdout]    |
[INFO] [stdout] 48 |     pub fn uo(&self) -> usize {
[INFO] [stdout]    |            ^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: associated function is never used: `filter_index`
[INFO] [stdout]   --> src/core/filter.rs:52:12
[INFO] [stdout]    |
[INFO] [stdout] 52 |     pub fn filter_index(&self) -> usize {
[INFO] [stdout]    |            ^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: associated function is never used: `filter_mut`
[INFO] [stdout]   --> src/core/filter.rs:60:12
[INFO] [stdout]    |
[INFO] [stdout] 60 |     pub fn filter_mut(&mut self) -> &mut Vec<bool> {
[INFO] [stdout]    |            ^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: associated function is never used: `cc`
[INFO] [stdout]   --> src/core/filter.rs:64:12
[INFO] [stdout]    |
[INFO] [stdout] 64 |     pub fn cc(&self) -> (usize, usize, usize, usize) {
[INFO] [stdout]    |            ^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: associated function is never used: `reset`
[INFO] [stdout]   --> src/core/filter.rs:68:12
[INFO] [stdout]    |
[INFO] [stdout] 68 |     pub fn reset(&mut self) {
[INFO] [stdout]    |            ^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: type alias is never used: `LiteralEval`
[INFO] [stdout]   --> src/core/types.rs:60:1
[INFO] [stdout]    |
[INFO] [stdout] 60 | pub type LiteralEval = dyn Fn(&Literal) -> Grounded;
[INFO] [stdout]    | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: type alias is never used: `ExpressionEval`
[INFO] [stdout]   --> src/core/types.rs:61:1
[INFO] [stdout]    |
[INFO] [stdout] 61 | pub type ExpressionEval = dyn Fn(&Expression) -> Option<bool>;
[INFO] [stdout]    | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: function is never used: `parse_number`
[INFO] [stdout]    --> src/parser/parser.rs:562:8
[INFO] [stdout]     |
[INFO] [stdout] 562 | pub fn parse_number(p: &Pair<Rule>) -> isize {
[INFO] [stdout]     |        ^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: function is never used: `parse_word`
[INFO] [stdout]    --> src/parser/parser.rs:569:8
[INFO] [stdout]     |
[INFO] [stdout] 569 | pub fn parse_word<'a>(p: &'a Pair<Rule>) -> &'a str {
[INFO] [stdout]     |        ^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: function is never used: `parse_word_periods`
[INFO] [stdout]    --> src/parser/parser.rs:581:8
[INFO] [stdout]     |
[INFO] [stdout] 581 | pub fn parse_word_periods(p: &Pair<Rule>) -> Vec<String> {
[INFO] [stdout]     |        ^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: 54 warnings emitted
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stderr]     Finished dev [unoptimized + debuginfo] target(s) in 10.67s
[INFO] running `Command { std: "docker" "inspect" "c4446daba12c40c7614083145a37e7bb7d3fe114f5a25d50be3e999c4eaed3db", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "c4446daba12c40c7614083145a37e7bb7d3fe114f5a25d50be3e999c4eaed3db", kill_on_drop: false }`
[INFO] [stdout] c4446daba12c40c7614083145a37e7bb7d3fe114f5a25d50be3e999c4eaed3db
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-29/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-29/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=warn" "-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:b0c94ce3c1162fcb8e57cac5b65ec2f72eabb1eebea4fcc35e269e823f681646" "/opt/rustwide/cargo-home/bin/cargo" "+beta-2022-04-10" "test" "--frozen" "--no-run" "--message-format=json", kill_on_drop: false }`
[INFO] [stdout] d4fc7ca1f29104749561b65ad931657916def69aaa124e7d833c2bd034f80b93
[INFO] running `Command { std: "docker" "start" "-a" "d4fc7ca1f29104749561b65ad931657916def69aaa124e7d833c2bd034f80b93", kill_on_drop: false }`
[INFO] [stderr]     Blocking waiting for file lock on package cache
[INFO] [stderr]    Compiling parser_learning v0.1.0 (/opt/rustwide/workdir)
[INFO] [stdout] warning: unused import: `max`
[INFO] [stdout]  --> src/core/expression.rs:1:16
[INFO] [stdout]   |
[INFO] [stdout] 1 | use std::cmp::{max, Ordering};
[INFO] [stdout]   |                ^^^
[INFO] [stdout]   |
[INFO] [stdout]   = note: `#[warn(unused_imports)]` on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused import: `std::iter::FromIterator`
[INFO] [stdout]  --> src/core/expression.rs:6:5
[INFO] [stdout]   |
[INFO] [stdout] 6 | use std::iter::FromIterator;
[INFO] [stdout]   |     ^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused import: `ColoredString`
[INFO] [stdout]   --> src/core/expression.rs:12:15
[INFO] [stdout]    |
[INFO] [stdout] 12 | use colored::{ColoredString, Colorize};
[INFO] [stdout]    |               ^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused import: `crate::core::types::Type::Equivalence`
[INFO] [stdout]   --> src/core/expression.rs:18:5
[INFO] [stdout]    |
[INFO] [stdout] 18 | use crate::core::types::Type::Equivalence;
[INFO] [stdout]    |     ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused imports: `ExpressionEval`, `LiteralEval`
[INFO] [stdout]   --> src/core/expression.rs:19:26
[INFO] [stdout]    |
[INFO] [stdout] 19 | use crate::core::types::{ExpressionEval, Grounded, LiteralEval, Type};
[INFO] [stdout]    |                          ^^^^^^^^^^^^^^            ^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused import: `std::fmt`
[INFO] [stdout]   --> src/core/expression.rs:21:5
[INFO] [stdout]    |
[INFO] [stdout] 21 | use std::fmt;
[INFO] [stdout]    |     ^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused import: `Literal::*`
[INFO] [stdout]    --> src/core/expression.rs:827:13
[INFO] [stdout]     |
[INFO] [stdout] 827 |         use Literal::*;
[INFO] [stdout]     |             ^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused import: `ColoredString`
[INFO] [stdout]  --> src/core/literal.rs:9:15
[INFO] [stdout]   |
[INFO] [stdout] 9 | use colored::{ColoredString, Colorize};
[INFO] [stdout]   |               ^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused import: `crate::core::types::Result::*`
[INFO] [stdout]   --> src/parser/parser.rs:20:9
[INFO] [stdout]    |
[INFO] [stdout] 20 |     use crate::core::types::Result::*;
[INFO] [stdout]    |         ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused import: `crate::core::filter::Filter`
[INFO] [stdout]   --> src/main.rs:14:5
[INFO] [stdout]    |
[INFO] [stdout] 14 | use crate::core::filter::Filter;
[INFO] [stdout]    |     ^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unreachable pattern
[INFO] [stdout]    --> src/core/literal.rs:257:13
[INFO] [stdout]     |
[INFO] [stdout] 257 |             _ => 5,
[INFO] [stdout]     |             ^
[INFO] [stdout]     |
[INFO] [stdout]     = note: `#[warn(unreachable_patterns)]` on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `context`
[INFO] [stdout]   --> src/main.rs:37:10
[INFO] [stdout]    |
[INFO] [stdout] 37 |     let (context, expressions) = parser::parser::parse_file(&unparsed_file);
[INFO] [stdout]    |          ^^^^^^^ help: if this is intentional, prefix it with an underscore: `_context`
[INFO] [stdout]    |
[INFO] [stdout]    = note: `#[warn(unused_variables)]` on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `new_b`
[INFO] [stdout]    --> src/core/expression.rs:774:29
[INFO] [stdout]     |
[INFO] [stdout] 774 |                         let new_b = Expression::nnot(expr2.deref().clone());
[INFO] [stdout]     |                             ^^^^^ help: if this is intentional, prefix it with an underscore: `_new_b`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `print_true_table`
[INFO] [stdout]    --> src/core/expression.rs:990:9
[INFO] [stdout]     |
[INFO] [stdout] 990 |         print_true_table: bool,
[INFO] [stdout]     |         ^^^^^^^^^^^^^^^^ help: if this is intentional, prefix it with an underscore: `_print_true_table`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `sub_expr_len`
[INFO] [stdout]     --> src/core/expression.rs:1178:21
[INFO] [stdout]      |
[INFO] [stdout] 1178 |                 let sub_expr_len = sub_exprs_length[i];
[INFO] [stdout]      |                     ^^^^^^^^^^^^ help: if this is intentional, prefix it with an underscore: `_sub_expr_len`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable does not need to be mutable
[INFO] [stdout]    --> src/core/expression.rs:939:27
[INFO] [stdout]     |
[INFO] [stdout] 939 |                     (Some(mut atoms1), Some(atoms2)) => {
[INFO] [stdout]     |                           ----^^^^^^
[INFO] [stdout]     |                           |
[INFO] [stdout]     |                           help: remove this `mut`
[INFO] [stdout]     |
[INFO] [stdout]     = note: `#[warn(unused_mut)]` on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable does not need to be mutable
[INFO] [stdout]     --> src/core/expression.rs:1013:25
[INFO] [stdout]      |
[INFO] [stdout] 1013 |                     let mut create_valuation = {
[INFO] [stdout]      |                         ----^^^^^^^^^^^^^^^^
[INFO] [stdout]      |                         |
[INFO] [stdout]      |                         help: remove this `mut`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable does not need to be mutable
[INFO] [stdout]     --> src/core/expression.rs:1014:29
[INFO] [stdout]      |
[INFO] [stdout] 1014 |                         let mut valuation = |expr: &Expression, bools: &[bool]| {
[INFO] [stdout]      |                             ----^^^^^^^^^
[INFO] [stdout]      |                             |
[INFO] [stdout]      |                             help: remove this `mut`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable does not need to be mutable
[INFO] [stdout]     --> src/core/expression.rs:1039:29
[INFO] [stdout]      |
[INFO] [stdout] 1039 |                         let mut inner_valuation = create_valuation;
[INFO] [stdout]      |                             ----^^^^^^^^^^^^^^^
[INFO] [stdout]      |                             |
[INFO] [stdout]      |                             help: remove this `mut`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable does not need to be mutable
[INFO] [stdout]     --> src/core/expression.rs:1040:29
[INFO] [stdout]      |
[INFO] [stdout] 1040 |                         let mut partial =
[INFO] [stdout]      |                             ----^^^^^^^
[INFO] [stdout]      |                             |
[INFO] [stdout]      |                             help: remove this `mut`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable does not need to be mutable
[INFO] [stdout]     --> src/core/expression.rs:1107:13
[INFO] [stdout]      |
[INFO] [stdout] 1107 |         let mut create_valuation = {
[INFO] [stdout]      |             ----^^^^^^^^^^^^^^^^
[INFO] [stdout]      |             |
[INFO] [stdout]      |             help: remove this `mut`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable does not need to be mutable
[INFO] [stdout]     --> src/core/expression.rs:1108:17
[INFO] [stdout]      |
[INFO] [stdout] 1108 |             let mut valuation = |expr: &Expression, bools: &[bool]| {
[INFO] [stdout]      |                 ----^^^^^^^^^
[INFO] [stdout]      |                 |
[INFO] [stdout]      |                 help: remove this `mut`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable does not need to be mutable
[INFO] [stdout]     --> src/core/expression.rs:1170:17
[INFO] [stdout]      |
[INFO] [stdout] 1170 |             let mut inner_valuation = create_valuation;
[INFO] [stdout]      |                 ----^^^^^^^^^^^^^^^
[INFO] [stdout]      |                 |
[INFO] [stdout]      |                 help: remove this `mut`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable does not need to be mutable
[INFO] [stdout]     --> src/core/expression.rs:1171:17
[INFO] [stdout]      |
[INFO] [stdout] 1171 |             let mut partial = |expr: &Expression| inner_valuation(expr, global_filter.filter());
[INFO] [stdout]      |                 ----^^^^^^^
[INFO] [stdout]      |                 |
[INFO] [stdout]      |                 help: remove this `mut`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: constant is never used: `IN_CHAR`
[INFO] [stdout]  --> src/mathsymbols.rs:3:1
[INFO] [stdout]   |
[INFO] [stdout] 3 | pub const IN_CHAR: char = '\u{2208}';
[INFO] [stdout]   | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout]   |
[INFO] [stdout]   = note: `#[warn(dead_code)]` on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: constant is never used: `NOTIN_CHAR`
[INFO] [stdout]  --> src/mathsymbols.rs:4:1
[INFO] [stdout]   |
[INFO] [stdout] 4 | pub const NOTIN_CHAR: char = '\u{2209}';
[INFO] [stdout]   | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: constant is never used: `PROVE_CHAR`
[INFO] [stdout]  --> src/mathsymbols.rs:9:1
[INFO] [stdout]   |
[INFO] [stdout] 9 | pub const PROVE_CHAR: char = '\u{22A2}';
[INFO] [stdout]   | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: constant is never used: `NOTPROVE_CHAR`
[INFO] [stdout]   --> src/mathsymbols.rs:10:1
[INFO] [stdout]    |
[INFO] [stdout] 10 | pub const NOTPROVE_CHAR: char = '\u{22AC}';
[INFO] [stdout]    | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: constant is never used: `MODEL_CHAR`
[INFO] [stdout]   --> src/mathsymbols.rs:11:1
[INFO] [stdout]    |
[INFO] [stdout] 11 | pub const MODEL_CHAR: char = '\u{22A8}';
[INFO] [stdout]    | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: constant is never used: `NOTMODEL_CHAR`
[INFO] [stdout]   --> src/mathsymbols.rs:12:1
[INFO] [stdout]    |
[INFO] [stdout] 12 | pub const NOTMODEL_CHAR: char = '\u{22AD}';
[INFO] [stdout]    | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: constant is never used: `IMPLIES_LEFT_CHAR`
[INFO] [stdout]   --> src/mathsymbols.rs:13:1
[INFO] [stdout]    |
[INFO] [stdout] 13 | pub const IMPLIES_LEFT_CHAR: char = '\u{21D0}';
[INFO] [stdout]    | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variant is never constructed: `PartialEquality`
[INFO] [stdout]   --> src/core/expression.rs:30:5
[INFO] [stdout]    |
[INFO] [stdout] 30 |     PartialEquality(Literal, Box<Expression>),
[INFO] [stdout]    |     ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout]    |
[INFO] [stdout] note: `Expression` has derived impls for the traits `Clone` and `Debug`, but these are intentionally ignored during dead code analysis
[INFO] [stdout]   --> src/core/expression.rs:23:10
[INFO] [stdout]    |
[INFO] [stdout] 23 | #[derive(Debug, Clone)]
[INFO] [stdout]    |          ^^^^^  ^^^^^
[INFO] [stdout]    = note: this warning originates in the derive macro `Debug` (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variant is never constructed: `GeneralEquality`
[INFO] [stdout]   --> src/core/expression.rs:31:5
[INFO] [stdout]    |
[INFO] [stdout] 31 |     GeneralEquality(Box<Expression>, Box<Expression>),
[INFO] [stdout]    |     ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout]    |
[INFO] [stdout] note: `Expression` has derived impls for the traits `Clone` and `Debug`, but these are intentionally ignored during dead code analysis
[INFO] [stdout]   --> src/core/expression.rs:23:10
[INFO] [stdout]    |
[INFO] [stdout] 23 | #[derive(Debug, Clone)]
[INFO] [stdout]    |          ^^^^^  ^^^^^
[INFO] [stdout]    = note: this warning originates in the derive macro `Debug` (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: associated function is never used: `npartialequality`
[INFO] [stdout]    --> src/core/expression.rs:638:12
[INFO] [stdout]     |
[INFO] [stdout] 638 |     pub fn npartialequality(a: &Literal, b: Expression) -> Expression {
[INFO] [stdout]     |            ^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: associated function is never used: `ngeneralequality`
[INFO] [stdout]    --> src/core/expression.rs:642:12
[INFO] [stdout]     |
[INFO] [stdout] 642 |     pub fn ngeneralequality(a: Expression, b: Expression) -> Expression {
[INFO] [stdout]     |            ^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: associated function is never used: `is_atomic`
[INFO] [stdout]    --> src/core/expression.rs:874:12
[INFO] [stdout]     |
[INFO] [stdout] 874 |     pub fn is_atomic(&self) -> bool {
[INFO] [stdout]     |            ^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: associated function is never used: `is_guarded`
[INFO] [stdout]     --> src/core/expression.rs:1278:12
[INFO] [stdout]      |
[INFO] [stdout] 1278 |     pub fn is_guarded(&self) -> bool {false}
[INFO] [stdout]      |            ^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: associated function is never used: `variables`
[INFO] [stdout]     --> src/core/expression.rs:1279:12
[INFO] [stdout]      |
[INFO] [stdout] 1279 |     pub fn variables(&self) -> Vec<Literal> {vec![]}
[INFO] [stdout]      |            ^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: associated function is never used: `bound_variables`
[INFO] [stdout]     --> src/core/expression.rs:1280:12
[INFO] [stdout]      |
[INFO] [stdout] 1280 |     pub fn bound_variables(&self) -> Vec<Literal> {vec![]}
[INFO] [stdout]      |            ^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: associated function is never used: `free_variables`
[INFO] [stdout]     --> src/core/expression.rs:1281:12
[INFO] [stdout]      |
[INFO] [stdout] 1281 |     pub fn free_variables(&self) -> Vec<Literal> {vec![]}
[INFO] [stdout]      |            ^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: associated function is never used: `reduce`
[INFO] [stdout]     --> src/core/expression.rs:1282:12
[INFO] [stdout]      |
[INFO] [stdout] 1282 |     pub fn reduce(&mut self) {}
[INFO] [stdout]      |            ^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: associated function is never used: `len`
[INFO] [stdout]   --> src/core/filter.rs:36:12
[INFO] [stdout]    |
[INFO] [stdout] 36 |     pub fn len(&self) -> usize {
[INFO] [stdout]    |            ^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: associated function is never used: `noo`
[INFO] [stdout]   --> src/core/filter.rs:40:12
[INFO] [stdout]    |
[INFO] [stdout] 40 |     pub fn noo(&self) -> usize {
[INFO] [stdout]    |            ^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: associated function is never used: `lo`
[INFO] [stdout]   --> src/core/filter.rs:44:12
[INFO] [stdout]    |
[INFO] [stdout] 44 |     pub fn lo(&self) -> usize {
[INFO] [stdout]    |            ^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: associated function is never used: `uo`
[INFO] [stdout]   --> src/core/filter.rs:48:12
[INFO] [stdout]    |
[INFO] [stdout] 48 |     pub fn uo(&self) -> usize {
[INFO] [stdout]    |            ^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: associated function is never used: `filter_index`
[INFO] [stdout]   --> src/core/filter.rs:52:12
[INFO] [stdout]    |
[INFO] [stdout] 52 |     pub fn filter_index(&self) -> usize {
[INFO] [stdout]    |            ^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: associated function is never used: `filter_mut`
[INFO] [stdout]   --> src/core/filter.rs:60:12
[INFO] [stdout]    |
[INFO] [stdout] 60 |     pub fn filter_mut(&mut self) -> &mut Vec<bool> {
[INFO] [stdout]    |            ^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: associated function is never used: `cc`
[INFO] [stdout]   --> src/core/filter.rs:64:12
[INFO] [stdout]    |
[INFO] [stdout] 64 |     pub fn cc(&self) -> (usize, usize, usize, usize) {
[INFO] [stdout]    |            ^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: associated function is never used: `reset`
[INFO] [stdout]   --> src/core/filter.rs:68:12
[INFO] [stdout]    |
[INFO] [stdout] 68 |     pub fn reset(&mut self) {
[INFO] [stdout]    |            ^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: type alias is never used: `LiteralEval`
[INFO] [stdout]   --> src/core/types.rs:60:1
[INFO] [stdout]    |
[INFO] [stdout] 60 | pub type LiteralEval = dyn Fn(&Literal) -> Grounded;
[INFO] [stdout]    | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: type alias is never used: `ExpressionEval`
[INFO] [stdout]   --> src/core/types.rs:61:1
[INFO] [stdout]    |
[INFO] [stdout] 61 | pub type ExpressionEval = dyn Fn(&Expression) -> Option<bool>;
[INFO] [stdout]    | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: function is never used: `parse_number`
[INFO] [stdout]    --> src/parser/parser.rs:562:8
[INFO] [stdout]     |
[INFO] [stdout] 562 | pub fn parse_number(p: &Pair<Rule>) -> isize {
[INFO] [stdout]     |        ^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: function is never used: `parse_word`
[INFO] [stdout]    --> src/parser/parser.rs:569:8
[INFO] [stdout]     |
[INFO] [stdout] 569 | pub fn parse_word<'a>(p: &'a Pair<Rule>) -> &'a str {
[INFO] [stdout]     |        ^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: function is never used: `parse_word_periods`
[INFO] [stdout]    --> src/parser/parser.rs:581:8
[INFO] [stdout]     |
[INFO] [stdout] 581 | pub fn parse_word_periods(p: &Pair<Rule>) -> Vec<String> {
[INFO] [stdout]     |        ^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: 54 warnings emitted
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stderr]     Finished test [unoptimized + debuginfo] target(s) in 1.22s
[INFO] [stderr]   Executable unittests src/main.rs (/opt/rustwide/target/debug/deps/foxidation-600ecc7d4f061998)
[INFO] running `Command { std: "docker" "inspect" "d4fc7ca1f29104749561b65ad931657916def69aaa124e7d833c2bd034f80b93", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "d4fc7ca1f29104749561b65ad931657916def69aaa124e7d833c2bd034f80b93", kill_on_drop: false }`
[INFO] [stdout] d4fc7ca1f29104749561b65ad931657916def69aaa124e7d833c2bd034f80b93
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-29/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-29/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=warn" "-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:b0c94ce3c1162fcb8e57cac5b65ec2f72eabb1eebea4fcc35e269e823f681646" "/opt/rustwide/cargo-home/bin/cargo" "+beta-2022-04-10" "test" "--frozen", kill_on_drop: false }`
[INFO] [stdout] 2e56da0fb8ed04036f4473e2771c2dc08191fa24e8ef56c4fee2ee2ea1bc2662
[INFO] running `Command { std: "docker" "start" "-a" "2e56da0fb8ed04036f4473e2771c2dc08191fa24e8ef56c4fee2ee2ea1bc2662", kill_on_drop: false }`
[INFO] [stderr]     Blocking waiting for file lock on package cache
[INFO] [stderr] warning: unused import: `max`
[INFO] [stderr]  --> src/core/expression.rs:1:16
[INFO] [stderr]   |
[INFO] [stderr] 1 | use std::cmp::{max, Ordering};
[INFO] [stderr]   |                ^^^
[INFO] [stderr]   |
[INFO] [stderr]   = note: `#[warn(unused_imports)]` on by default
[INFO] [stderr] 
[INFO] [stderr] warning: unused import: `std::iter::FromIterator`
[INFO] [stderr]  --> src/core/expression.rs:6:5
[INFO] [stderr]   |
[INFO] [stderr] 6 | use std::iter::FromIterator;
[INFO] [stderr]   |     ^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stderr] 
[INFO] [stderr] warning: unused import: `ColoredString`
[INFO] [stderr]   --> src/core/expression.rs:12:15
[INFO] [stderr]    |
[INFO] [stderr] 12 | use colored::{ColoredString, Colorize};
[INFO] [stderr]    |               ^^^^^^^^^^^^^
[INFO] [stderr] 
[INFO] [stderr] warning: unused import: `crate::core::types::Type::Equivalence`
[INFO] [stderr]   --> src/core/expression.rs:18:5
[INFO] [stderr]    |
[INFO] [stderr] 18 | use crate::core::types::Type::Equivalence;
[INFO] [stderr]    |     ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stderr] 
[INFO] [stderr] warning: unused imports: `ExpressionEval`, `LiteralEval`
[INFO] [stderr]   --> src/core/expression.rs:19:26
[INFO] [stderr]    |
[INFO] [stderr] 19 | use crate::core::types::{ExpressionEval, Grounded, LiteralEval, Type};
[INFO] [stderr]    |                          ^^^^^^^^^^^^^^            ^^^^^^^^^^^
[INFO] [stderr] 
[INFO] [stderr] warning: unused import: `std::fmt`
[INFO] [stderr]   --> src/core/expression.rs:21:5
[INFO] [stderr]    |
[INFO] [stderr] 21 | use std::fmt;
[INFO] [stderr]    |     ^^^^^^^^
[INFO] [stderr] 
[INFO] [stderr] warning: unused import: `Literal::*`
[INFO] [stderr]    --> src/core/expression.rs:827:13
[INFO] [stderr]     |
[INFO] [stderr] 827 |         use Literal::*;
[INFO] [stderr]     |             ^^^^^^^^^^
[INFO] [stderr] 
[INFO] [stderr] warning: unused import: `ColoredString`
[INFO] [stderr]  --> src/core/literal.rs:9:15
[INFO] [stderr]   |
[INFO] [stderr] 9 | use colored::{ColoredString, Colorize};
[INFO] [stderr]   |               ^^^^^^^^^^^^^
[INFO] [stderr] 
[INFO] [stderr] warning: unused import: `crate::core::types::Result::*`
[INFO] [stderr]   --> src/parser/parser.rs:20:9
[INFO] [stderr]    |
[INFO] [stderr] 20 |     use crate::core::types::Result::*;
[INFO] [stderr]    |         ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stderr] 
[INFO] [stderr] warning: unused import: `crate::core::filter::Filter`
[INFO] [stderr]   --> src/main.rs:14:5
[INFO] [stderr]    |
[INFO] [stderr] 14 | use crate::core::filter::Filter;
[INFO] [stderr]    |     ^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stderr] 
[INFO] [stderr] warning: unreachable pattern
[INFO] [stderr]    --> src/core/literal.rs:257:13
[INFO] [stderr]     |
[INFO] [stderr] 257 |             _ => 5,
[INFO] [stderr]     |             ^
[INFO] [stderr]     |
[INFO] [stderr]     = note: `#[warn(unreachable_patterns)]` on by default
[INFO] [stderr] 
[INFO] [stderr] warning: unused variable: `context`
[INFO] [stderr]   --> src/main.rs:37:10
[INFO] [stderr]    |
[INFO] [stderr] 37 |     let (context, expressions) = parser::parser::parse_file(&unparsed_file);
[INFO] [stderr]    |          ^^^^^^^ help: if this is intentional, prefix it with an underscore: `_context`
[INFO] [stderr]    |
[INFO] [stderr]    = note: `#[warn(unused_variables)]` on by default
[INFO] [stderr] 
[INFO] [stderr] warning: unused variable: `new_b`
[INFO] [stderr]    --> src/core/expression.rs:774:29
[INFO] [stderr]     |
[INFO] [stderr] 774 |                         let new_b = Expression::nnot(expr2.deref().clone());
[INFO] [stderr]     |                             ^^^^^ help: if this is intentional, prefix it with an underscore: `_new_b`
[INFO] [stderr] 
[INFO] [stderr] warning: unused variable: `print_true_table`
[INFO] [stderr]    --> src/core/expression.rs:990:9
[INFO] [stderr]     |
[INFO] [stderr] 990 |         print_true_table: bool,
[INFO] [stderr]     |         ^^^^^^^^^^^^^^^^ help: if this is intentional, prefix it with an underscore: `_print_true_table`
[INFO] [stderr] 
[INFO] [stderr] warning: unused variable: `sub_expr_len`
[INFO] [stderr]     --> src/core/expression.rs:1178:21
[INFO] [stderr]      |
[INFO] [stderr] 1178 |                 let sub_expr_len = sub_exprs_length[i];
[INFO] [stderr]      |                     ^^^^^^^^^^^^ help: if this is intentional, prefix it with an underscore: `_sub_expr_len`
[INFO] [stderr] 
[INFO] [stderr] warning: variable does not need to be mutable
[INFO] [stderr]    --> src/core/expression.rs:939:27
[INFO] [stderr]     |
[INFO] [stderr] 939 |                     (Some(mut atoms1), Some(atoms2)) => {
[INFO] [stderr]     |                           ----^^^^^^
[INFO] [stderr]     |                           |
[INFO] [stderr]     |                           help: remove this `mut`
[INFO] [stderr]     |
[INFO] [stderr]     = note: `#[warn(unused_mut)]` on by default
[INFO] [stderr] 
[INFO] [stderr] warning: variable does not need to be mutable
[INFO] [stderr]     --> src/core/expression.rs:1013:25
[INFO] [stderr]      |
[INFO] [stderr] 1013 |                     let mut create_valuation = {
[INFO] [stderr]      |                         ----^^^^^^^^^^^^^^^^
[INFO] [stderr]      |                         |
[INFO] [stderr]      |                         help: remove this `mut`
[INFO] [stderr] 
[INFO] [stderr] warning: variable does not need to be mutable
[INFO] [stderr]     --> src/core/expression.rs:1014:29
[INFO] [stderr]      |
[INFO] [stderr] 1014 |                         let mut valuation = |expr: &Expression, bools: &[bool]| {
[INFO] [stderr]      |                             ----^^^^^^^^^
[INFO] [stderr]      |                             |
[INFO] [stderr]      |                             help: remove this `mut`
[INFO] [stderr] 
[INFO] [stderr] warning: variable does not need to be mutable
[INFO] [stderr]     --> src/core/expression.rs:1039:29
[INFO] [stderr]      |
[INFO] [stderr] 1039 |                         let mut inner_valuation = create_valuation;
[INFO] [stderr]      |                             ----^^^^^^^^^^^^^^^
[INFO] [stderr]      |                             |
[INFO] [stderr]      |                             help: remove this `mut`
[INFO] [stderr] 
[INFO] [stderr] warning: variable does not need to be mutable
[INFO] [stderr]     --> src/core/expression.rs:1040:29
[INFO] [stderr]      |
[INFO] [stderr] 1040 |                         let mut partial =
[INFO] [stderr]      |                             ----^^^^^^^
[INFO] [stderr]      |                             |
[INFO] [stderr]      |                             help: remove this `mut`
[INFO] [stderr] 
[INFO] [stderr] warning: variable does not need to be mutable
[INFO] [stderr]     --> src/core/expression.rs:1107:13
[INFO] [stderr]      |
[INFO] [stderr] 1107 |         let mut create_valuation = {
[INFO] [stderr]      |             ----^^^^^^^^^^^^^^^^
[INFO] [stderr]      |             |
[INFO] [stderr]      |             help: remove this `mut`
[INFO] [stderr] 
[INFO] [stderr] warning: variable does not need to be mutable
[INFO] [stderr]     --> src/core/expression.rs:1108:17
[INFO] [stderr]      |
[INFO] [stderr] 1108 |             let mut valuation = |expr: &Expression, bools: &[bool]| {
[INFO] [stderr]      |                 ----^^^^^^^^^
[INFO] [stderr]      |                 |
[INFO] [stderr]      |                 help: remove this `mut`
[INFO] [stderr] 
[INFO] [stderr] warning: variable does not need to be mutable
[INFO] [stderr]     --> src/core/expression.rs:1170:17
[INFO] [stderr]      |
[INFO] [stderr] 1170 |             let mut inner_valuation = create_valuation;
[INFO] [stderr]      |                 ----^^^^^^^^^^^^^^^
[INFO] [stderr]      |                 |
[INFO] [stderr]      |                 help: remove this `mut`
[INFO] [stderr] 
[INFO] [stderr] warning: variable does not need to be mutable
[INFO] [stderr]     --> src/core/expression.rs:1171:17
[INFO] [stderr]      |
[INFO] [stderr] 1171 |             let mut partial = |expr: &Expression| inner_valuation(expr, global_filter.filter());
[INFO] [stderr]      |                 ----^^^^^^^
[INFO] [stderr]      |                 |
[INFO] [stderr]      |                 help: remove this `mut`
[INFO] [stderr] 
[INFO] [stderr] warning: constant is never used: `IN_CHAR`
[INFO] [stderr]  --> src/mathsymbols.rs:3:1
[INFO] [stderr]   |
[INFO] [stderr] 3 | pub const IN_CHAR: char = '\u{2208}';
[INFO] [stderr]   | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stderr]   |
[INFO] [stderr]   = note: `#[warn(dead_code)]` on by default
[INFO] [stderr] 
[INFO] [stderr] warning: constant is never used: `NOTIN_CHAR`
[INFO] [stderr]  --> src/mathsymbols.rs:4:1
[INFO] [stderr]   |
[INFO] [stderr] 4 | pub const NOTIN_CHAR: char = '\u{2209}';
[INFO] [stderr]   | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stderr] 
[INFO] [stderr] warning: constant is never used: `PROVE_CHAR`
[INFO] [stderr]  --> src/mathsymbols.rs:9:1
[INFO] [stderr]   |
[INFO] [stderr] 9 | pub const PROVE_CHAR: char = '\u{22A2}';
[INFO] [stderr]   | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stderr] 
[INFO] [stderr] warning: constant is never used: `NOTPROVE_CHAR`
[INFO] [stderr]   --> src/mathsymbols.rs:10:1
[INFO] [stderr]    |
[INFO] [stderr] 10 | pub const NOTPROVE_CHAR: char = '\u{22AC}';
[INFO] [stderr]    | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stderr] 
[INFO] [stderr] warning: constant is never used: `MODEL_CHAR`
[INFO] [stderr]   --> src/mathsymbols.rs:11:1
[INFO] [stderr]    |
[INFO] [stderr] 11 | pub const MODEL_CHAR: char = '\u{22A8}';
[INFO] [stderr]    | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stderr] 
[INFO] [stderr] warning: constant is never used: `NOTMODEL_CHAR`
[INFO] [stderr]   --> src/mathsymbols.rs:12:1
[INFO] [stderr]    |
[INFO] [stderr] 12 | pub const NOTMODEL_CHAR: char = '\u{22AD}';
[INFO] [stderr]    | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stderr] 
[INFO] [stderr] warning: constant is never used: `IMPLIES_LEFT_CHAR`
[INFO] [stderr]   --> src/mathsymbols.rs:13:1
[INFO] [stderr]    |
[INFO] [stderr] 13 | pub const IMPLIES_LEFT_CHAR: char = '\u{21D0}';
[INFO] [stderr]    | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stderr] 
[INFO] [stderr] warning: variant is never constructed: `PartialEquality`
[INFO] [stderr]   --> src/core/expression.rs:30:5
[INFO] [stderr]    |
[INFO] [stderr] 30 |     PartialEquality(Literal, Box<Expression>),
[INFO] [stderr]    |     ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stderr]    |
[INFO] [stderr] note: `Expression` has derived impls for the traits `Clone` and `Debug`, but these are intentionally ignored during dead code analysis
[INFO] [stderr]   --> src/core/expression.rs:23:10
[INFO] [stderr]    |
[INFO] [stderr] 23 | #[derive(Debug, Clone)]
[INFO] [stderr]    |          ^^^^^  ^^^^^
[INFO] [stderr]    = note: this warning originates in the derive macro `Debug` (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stderr] 
[INFO] [stderr] warning: variant is never constructed: `GeneralEquality`
[INFO] [stderr]   --> src/core/expression.rs:31:5
[INFO] [stderr]    |
[INFO] [stderr] 31 |     GeneralEquality(Box<Expression>, Box<Expression>),
[INFO] [stderr]    |     ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stderr]    |
[INFO] [stderr] note: `Expression` has derived impls for the traits `Clone` and `Debug`, but these are intentionally ignored during dead code analysis
[INFO] [stderr]   --> src/core/expression.rs:23:10
[INFO] [stderr]    |
[INFO] [stderr] 23 | #[derive(Debug, Clone)]
[INFO] [stderr]    |          ^^^^^  ^^^^^
[INFO] [stderr]    = note: this warning originates in the derive macro `Debug` (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stderr] 
[INFO] [stderr] warning: associated function is never used: `npartialequality`
[INFO] [stderr]    --> src/core/expression.rs:638:12
[INFO] [stderr]     |
[INFO] [stderr] 638 |     pub fn npartialequality(a: &Literal, b: Expression) -> Expression {
[INFO] [stderr]     |            ^^^^^^^^^^^^^^^^
[INFO] [stderr] 
[INFO] [stderr] warning: associated function is never used: `ngeneralequality`
[INFO] [stderr]    --> src/core/expression.rs:642:12
[INFO] [stderr]     |
[INFO] [stderr] 642 |     pub fn ngeneralequality(a: Expression, b: Expression) -> Expression {
[INFO] [stderr]     |            ^^^^^^^^^^^^^^^^
[INFO] [stderr] 
[INFO] [stderr] warning: associated function is never used: `is_atomic`
[INFO] [stderr]    --> src/core/expression.rs:874:12
[INFO] [stderr]     |
[INFO] [stderr] 874 |     pub fn is_atomic(&self) -> bool {
[INFO] [stderr]     |            ^^^^^^^^^
[INFO] [stderr] 
[INFO] [stderr] warning: associated function is never used: `is_guarded`
[INFO] [stderr]     --> src/core/expression.rs:1278:12
[INFO] [stderr]      |
[INFO] [stderr] 1278 |     pub fn is_guarded(&self) -> bool {false}
[INFO] [stderr]      |            ^^^^^^^^^^
[INFO] [stderr] 
[INFO] [stderr] warning: associated function is never used: `variables`
[INFO] [stderr]     --> src/core/expression.rs:1279:12
[INFO] [stderr]      |
[INFO] [stderr] 1279 |     pub fn variables(&self) -> Vec<Literal> {vec![]}
[INFO] [stderr]      |            ^^^^^^^^^
[INFO] [stderr] 
[INFO] [stderr] warning: associated function is never used: `bound_variables`
[INFO] [stderr]     --> src/core/expression.rs:1280:12
[INFO] [stderr]      |
[INFO] [stderr] 1280 |     pub fn bound_variables(&self) -> Vec<Literal> {vec![]}
[INFO] [stderr]      |            ^^^^^^^^^^^^^^^
[INFO] [stderr] 
[INFO] [stderr] warning: associated function is never used: `free_variables`
[INFO] [stderr]     --> src/core/expression.rs:1281:12
[INFO] [stderr]      |
[INFO] [stderr] 1281 |     pub fn free_variables(&self) -> Vec<Literal> {vec![]}
[INFO] [stderr]      |            ^^^^^^^^^^^^^^
[INFO] [stderr] 
[INFO] [stderr] warning: associated function is never used: `reduce`
[INFO] [stderr]     --> src/core/expression.rs:1282:12
[INFO] [stderr]      |
[INFO] [stderr] 1282 |     pub fn reduce(&mut self) {}
[INFO] [stderr]      |            ^^^^^^
[INFO] [stderr] 
[INFO] [stderr] warning: associated function is never used: `len`
[INFO] [stderr]   --> src/core/filter.rs:36:12
[INFO] [stderr]    |
[INFO] [stderr] 36 |     pub fn len(&self) -> usize {
[INFO] [stderr]    |            ^^^
[INFO] [stderr] 
[INFO] [stderr] warning: associated function is never used: `noo`
[INFO] [stderr]   --> src/core/filter.rs:40:12
[INFO] [stderr]    |
[INFO] [stderr] 40 |     pub fn noo(&self) -> usize {
[INFO] [stderr]    |            ^^^
[INFO] [stderr] 
[INFO] [stderr] warning: associated function is never used: `lo`
[INFO] [stderr]   --> src/core/filter.rs:44:12
[INFO] [stderr]    |
[INFO] [stderr] 44 |     pub fn lo(&self) -> usize {
[INFO] [stderr]    |            ^^
[INFO] [stderr] 
[INFO] [stderr] warning: associated function is never used: `uo`
[INFO] [stderr]   --> src/core/filter.rs:48:12
[INFO] [stderr]    |
[INFO] [stderr] 48 |     pub fn uo(&self) -> usize {
[INFO] [stderr]    |            ^^
[INFO] [stderr] 
[INFO] [stderr] warning: associated function is never used: `filter_index`
[INFO] [stderr]   --> src/core/filter.rs:52:12
[INFO] [stderr]    |
[INFO] [stderr] 52 |     pub fn filter_index(&self) -> usize {
[INFO] [stderr]    |            ^^^^^^^^^^^^
[INFO] [stderr] 
[INFO] [stderr] warning: associated function is never used: `filter_mut`
[INFO] [stderr]   --> src/core/filter.rs:60:12
[INFO] [stderr]    |
[INFO] [stderr] 60 |     pub fn filter_mut(&mut self) -> &mut Vec<bool> {
[INFO] [stderr]    |            ^^^^^^^^^^
[INFO] [stderr] 
[INFO] [stderr] warning: associated function is never used: `cc`
[INFO] [stderr]   --> src/core/filter.rs:64:12
[INFO] [stderr]    |
[INFO] [stderr] 64 |     pub fn cc(&self) -> (usize, usize, usize, usize) {
[INFO] [stderr]    |            ^^
[INFO] [stderr] 
[INFO] [stderr] warning: associated function is never used: `reset`
[INFO] [stderr]   --> src/core/filter.rs:68:12
[INFO] [stderr]    |
[INFO] [stderr] 68 |     pub fn reset(&mut self) {
[INFO] [stderr]    |            ^^^^^
[INFO] [stderr] 
[INFO] [stderr] warning: type alias is never used: `LiteralEval`
[INFO] [stderr]   --> src/core/types.rs:60:1
[INFO] [stderr]    |
[INFO] [stderr] 60 | pub type LiteralEval = dyn Fn(&Literal) -> Grounded;
[INFO] [stderr]    | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stderr] 
[INFO] [stderr] warning: type alias is never used: `ExpressionEval`
[INFO] [stderr]   --> src/core/types.rs:61:1
[INFO] [stderr]    |
[INFO] [stderr] 61 | pub type ExpressionEval = dyn Fn(&Expression) -> Option<bool>;
[INFO] [stderr]    | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stderr] 
[INFO] [stderr] warning: function is never used: `parse_number`
[INFO] [stderr]    --> src/parser/parser.rs:562:8
[INFO] [stderr]     |
[INFO] [stderr] 562 | pub fn parse_number(p: &Pair<Rule>) -> isize {
[INFO] [stderr]     |        ^^^^^^^^^^^^
[INFO] [stderr] 
[INFO] [stderr] warning: function is never used: `parse_word`
[INFO] [stderr]    --> src/parser/parser.rs:569:8
[INFO] [stderr]     |
[INFO] [stderr] 569 | pub fn parse_word<'a>(p: &'a Pair<Rule>) -> &'a str {
[INFO] [stderr]     |        ^^^^^^^^^^
[INFO] [stderr] 
[INFO] [stderr] warning: function is never used: `parse_word_periods`
[INFO] [stderr]    --> src/parser/parser.rs:581:8
[INFO] [stderr]     |
[INFO] [stderr] 581 | pub fn parse_word_periods(p: &Pair<Rule>) -> Vec<String> {
[INFO] [stderr]     |        ^^^^^^^^^^^^^^^^^^
[INFO] [stderr] 
[INFO] [stderr] warning: `parser_learning` (bin "foxidation" test) generated 54 warnings
[INFO] [stderr]     Finished test [unoptimized + debuginfo] target(s) in 0.18s
[INFO] [stderr]      Running unittests src/main.rs (/opt/rustwide/target/debug/deps/foxidation-600ecc7d4f061998)
[INFO] [stdout] 
[INFO] [stdout] running 0 tests
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 0 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.00s
[INFO] [stdout] 
[INFO] running `Command { std: "docker" "inspect" "2e56da0fb8ed04036f4473e2771c2dc08191fa24e8ef56c4fee2ee2ea1bc2662", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "2e56da0fb8ed04036f4473e2771c2dc08191fa24e8ef56c4fee2ee2ea1bc2662", kill_on_drop: false }`
[INFO] [stdout] 2e56da0fb8ed04036f4473e2771c2dc08191fa24e8ef56c4fee2ee2ea1bc2662