[INFO] cloning repository https://github.com/AHartNtkn/SGGSLog
[INFO] running `Command { std: "git" "-c" "credential.helper=" "-c" "credential.helper=/workspace/cargo-home/bin/git-credential-null" "clone" "--bare" "https://github.com/AHartNtkn/SGGSLog" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2FAHartNtkn%2FSGGSLog", kill_on_drop: false }`
[INFO] [stderr] Cloning into bare repository '/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2FAHartNtkn%2FSGGSLog'...
[INFO] running `Command { std: "git" "rev-parse" "HEAD", kill_on_drop: false }`
[INFO] [stdout] 8c7c16e932d928f7f971942a4b5fe0c7e68abf43
[INFO] checking AHartNtkn/SGGSLog against master#f8463896a9b36a04899c013bd8825a7fd29dd7a4 for pr-151920
[INFO] running `Command { std: "git" "clone" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2FAHartNtkn%2FSGGSLog" "/workspace/builds/worker-4-tc1/source", kill_on_drop: false }`
[INFO] [stderr] Cloning into '/workspace/builds/worker-4-tc1/source'...
[INFO] [stderr] done.
[INFO] started tweaking git repo https://github.com/AHartNtkn/SGGSLog
[INFO] finished tweaking git repo https://github.com/AHartNtkn/SGGSLog
[INFO] tweaked toml for git repo https://github.com/AHartNtkn/SGGSLog written to /workspace/builds/worker-4-tc1/source/Cargo.toml
[INFO] validating manifest of git repo https://github.com/AHartNtkn/SGGSLog on toolchain f8463896a9b36a04899c013bd8825a7fd29dd7a4
[INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+f8463896a9b36a04899c013bd8825a7fd29dd7a4" "metadata" "--manifest-path" "Cargo.toml" "--no-deps", kill_on_drop: false }`
[INFO] crate git repo https://github.com/AHartNtkn/SGGSLog 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" "+f8463896a9b36a04899c013bd8825a7fd29dd7a4" "fetch" "--manifest-path" "Cargo.toml", kill_on_drop: false }`
[INFO] [stderr]     Updating crates.io index
[INFO] [stderr]  Downloading crates ...
[INFO] [stderr]   Downloaded rand_xorshift v0.4.0
[INFO] [stderr]   Downloaded rusty-fork v0.3.1
[INFO] [stderr]   Downloaded wait-timeout v0.2.1
[INFO] [stderr]   Downloaded proptest v1.9.0
[INFO] [stderr]   Downloaded zerocopy-derive v0.8.36
[INFO] [stderr]   Downloaded zerocopy v0.8.36
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-4-tc1/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-4-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:61361fe0aef631f17e9d025a70c5a647956f8c671dd02950a60ad3f5cc5526d7" "/opt/rustwide/cargo-home/bin/cargo" "+f8463896a9b36a04899c013bd8825a7fd29dd7a4" "metadata" "--no-deps" "--format-version=1", kill_on_drop: false }`
[INFO] [stdout] 04a47d8682cc85f0a893e1cabfa5c27ba086229374eabb915614d4e2d1582551
[INFO] running `Command { std: "docker" "start" "-a" "04a47d8682cc85f0a893e1cabfa5c27ba086229374eabb915614d4e2d1582551", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "inspect" "04a47d8682cc85f0a893e1cabfa5c27ba086229374eabb915614d4e2d1582551", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "04a47d8682cc85f0a893e1cabfa5c27ba086229374eabb915614d4e2d1582551", kill_on_drop: false }`
[INFO] [stdout] 04a47d8682cc85f0a893e1cabfa5c27ba086229374eabb915614d4e2d1582551
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-4-tc1/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-4-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" "-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:61361fe0aef631f17e9d025a70c5a647956f8c671dd02950a60ad3f5cc5526d7" "/opt/rustwide/cargo-home/bin/cargo" "+f8463896a9b36a04899c013bd8825a7fd29dd7a4" "check" "--frozen" "--all" "--all-targets" "--message-format=json", kill_on_drop: false }`
[INFO] [stdout] fe2054ce3535f055d52791727253fa91a47b792257bedc587b2ef306713f3929
[INFO] running `Command { std: "docker" "start" "-a" "fe2054ce3535f055d52791727253fa91a47b792257bedc587b2ef306713f3929", kill_on_drop: false }`
[INFO] [stderr]    Compiling libc v0.2.180
[INFO] [stderr]    Compiling getrandom v0.3.4
[INFO] [stderr]     Checking cfg-if v1.0.4
[INFO] [stderr]    Compiling zerocopy v0.8.36
[INFO] [stderr]    Compiling rustix v1.1.3
[INFO] [stderr]    Compiling autocfg v1.5.0
[INFO] [stderr]     Checking linux-raw-sys v0.11.0
[INFO] [stderr]     Checking bitflags v2.10.0
[INFO] [stderr]     Checking once_cell v1.21.3
[INFO] [stderr]     Checking fastrand v2.3.0
[INFO] [stderr]     Checking bit-vec v0.8.0
[INFO] [stderr]     Checking unarray v0.1.4
[INFO] [stderr]     Checking regex-syntax v0.8.8
[INFO] [stderr]     Checking sggslog v0.1.0 (/opt/rustwide/workdir)
[INFO] [stdout] warning: unused import: `Literal`
[INFO] [stdout]  --> src/parser/ast.rs:3:38
[INFO] [stdout]   |
[INFO] [stdout] 3 | use crate::syntax::{Clause, Formula, Literal, Query};
[INFO] [stdout]   |                                      ^^^^^^^
[INFO] [stdout]   |
[INFO] [stdout]   = note: `#[warn(unused_imports)]` (part of `#[warn(unused)]`) on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused imports: `clausify_statement` and `clausify_statements`
[INFO] [stdout]  --> src/session.rs:3:24
[INFO] [stdout]   |
[INFO] [stdout] 3 | use crate::normalize::{clausify_statement, clausify_statements};
[INFO] [stdout]   |                        ^^^^^^^^^^^^^^^^^^  ^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused imports: `ProjectionSetting` and `parse_file`
[INFO] [stdout]  --> src/session.rs:4:21
[INFO] [stdout]   |
[INFO] [stdout] 4 | use crate::parser::{parse_file, Directive, ProjectionSetting, Setting, Statement};
[INFO] [stdout]   |                     ^^^^^^^^^^             ^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused imports: `Query`, `answer_query_projected`, and `answer_query`
[INFO] [stdout]  --> src/session.rs:6:5
[INFO] [stdout]   |
[INFO] [stdout] 6 |     answer_query, answer_query_projected, DerivationConfig, ProjectionPolicy, Query, QueryResult,
[INFO] [stdout]   |     ^^^^^^^^^^^^  ^^^^^^^^^^^^^^^^^^^^^^                                      ^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused import: `Term`
[INFO] [stdout]  --> src/sggs/interpretation.rs:3:44
[INFO] [stdout]   |
[INFO] [stdout] 3 | use crate::syntax::{Atom, Clause, Literal, Term};
[INFO] [stdout]   |                                            ^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused imports: `Clause` and `Var`
[INFO] [stdout]  --> src/sggs/query.rs:4:21
[INFO] [stdout]   |
[INFO] [stdout] 4 | use crate::syntax::{Clause, Query, UserSignature, Var};
[INFO] [stdout]   |                     ^^^^^^                        ^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused import: `Term`
[INFO] [stdout]  --> src/syntax/clause.rs:8:19
[INFO] [stdout]   |
[INFO] [stdout] 8 | use super::term::{Term, Var};
[INFO] [stdout]   |                   ^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused import: `crate::normalize::clausify_statement`
[INFO] [stdout]  --> src/theory/theory.rs:3:5
[INFO] [stdout]   |
[INFO] [stdout] 3 | use crate::normalize::clausify_statement;
[INFO] [stdout]   |     ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stderr]     Checking bit-set v0.8.0
[INFO] [stdout] warning: unused variable: `other`
[INFO] [stdout]   --> src/constraint/constraint.rs:24:22
[INFO] [stdout]    |
[INFO] [stdout] 24 |     pub fn and(self, other: Constraint) -> Constraint {
[INFO] [stdout]    |                      ^^^^^ help: if this is intentional, prefix it with an underscore: `_other`
[INFO] [stdout]    |
[INFO] [stdout]    = note: `#[warn(unused_variables)]` (part of `#[warn(unused)]`) on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `other`
[INFO] [stdout]   --> src/constraint/constraint.rs:29:21
[INFO] [stdout]    |
[INFO] [stdout] 29 |     pub fn or(self, other: Constraint) -> Constraint {
[INFO] [stdout]    |                     ^^^^^ help: if this is intentional, prefix it with an underscore: `_other`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `other`
[INFO] [stdout]   --> src/constraint/constraint.rs:55:29
[INFO] [stdout]    |
[INFO] [stdout] 55 |     pub fn intersect(&self, other: &Constraint) -> Constraint {
[INFO] [stdout]    |                             ^^^^^ help: if this is intentional, prefix it with an underscore: `_other`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `other`
[INFO] [stdout]   --> src/constraint/constraint.rs:60:30
[INFO] [stdout]    |
[INFO] [stdout] 60 |     pub fn intersects(&self, other: &Constraint) -> bool {
[INFO] [stdout]    |                              ^^^^^ help: if this is intentional, prefix it with an underscore: `_other`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `clause`
[INFO] [stdout]   --> src/sggs/constrained.rs:24:16
[INFO] [stdout]    |
[INFO] [stdout] 24 |     pub fn new(clause: Clause, selected: usize) -> Self {
[INFO] [stdout]    |                ^^^^^^ help: if this is intentional, prefix it with an underscore: `_clause`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `selected`
[INFO] [stdout]   --> src/sggs/constrained.rs:24:32
[INFO] [stdout]    |
[INFO] [stdout] 24 |     pub fn new(clause: Clause, selected: usize) -> Self {
[INFO] [stdout]    |                                ^^^^^^^^ help: if this is intentional, prefix it with an underscore: `_selected`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `clause`
[INFO] [stdout]   --> src/sggs/constrained.rs:29:28
[INFO] [stdout]    |
[INFO] [stdout] 29 |     pub fn with_constraint(clause: Clause, constraint: Constraint, selected: usize) -> Self {
[INFO] [stdout]    |                            ^^^^^^ help: if this is intentional, prefix it with an underscore: `_clause`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `constraint`
[INFO] [stdout]   --> src/sggs/constrained.rs:29:44
[INFO] [stdout]    |
[INFO] [stdout] 29 |     pub fn with_constraint(clause: Clause, constraint: Constraint, selected: usize) -> Self {
[INFO] [stdout]    |                                            ^^^^^^^^^^ help: if this is intentional, prefix it with an underscore: `_constraint`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `selected`
[INFO] [stdout]   --> src/sggs/constrained.rs:29:68
[INFO] [stdout]    |
[INFO] [stdout] 29 |     pub fn with_constraint(clause: Clause, constraint: Constraint, selected: usize) -> Self {
[INFO] [stdout]    |                                                                    ^^^^^^^^ help: if this is intentional, prefix it with an underscore: `_selected`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `lit`
[INFO] [stdout]   --> src/sggs/interpretation.rs:42:31
[INFO] [stdout]    |
[INFO] [stdout] 42 |     pub fn truth_value(&self, lit: &Literal) -> TruthValue {
[INFO] [stdout]    |                               ^^^ help: if this is intentional, prefix it with an underscore: `_lit`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `interp`
[INFO] [stdout]   --> src/sggs/trail.rs:44:16
[INFO] [stdout]    |
[INFO] [stdout] 44 |     pub fn new(interp: InitialInterpretation) -> Self {
[INFO] [stdout]    |                ^^^^^^ help: if this is intentional, prefix it with an underscore: `_interp`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `clause`
[INFO] [stdout]   --> src/sggs/trail.rs:59:28
[INFO] [stdout]    |
[INFO] [stdout] 59 |     pub fn push(&mut self, clause: ConstrainedClause) {
[INFO] [stdout]    |                            ^^^^^^ help: if this is intentional, prefix it with an underscore: `_clause`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `len`
[INFO] [stdout]   --> src/sggs/trail.rs:69:26
[INFO] [stdout]    |
[INFO] [stdout] 69 |     pub fn prefix(&self, len: usize) -> Trail {
[INFO] [stdout]    |                          ^^^ help: if this is intentional, prefix it with an underscore: `_len`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `theory`
[INFO] [stdout]   --> src/sggs/trail.rs:89:31
[INFO] [stdout]    |
[INFO] [stdout] 89 |     pub fn is_complete(&self, theory: &Theory) -> bool {
[INFO] [stdout]    |                               ^^^^^^ help: if this is intentional, prefix it with an underscore: `_theory`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `lit`
[INFO] [stdout]    --> src/sggs/trail.rs:123:37
[INFO] [stdout]     |
[INFO] [stdout] 123 |     pub fn is_uniformly_true(&self, lit: &Literal) -> bool {
[INFO] [stdout]     |                                     ^^^ help: if this is intentional, prefix it with an underscore: `_lit`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `lit`
[INFO] [stdout]    --> src/sggs/trail.rs:128:38
[INFO] [stdout]     |
[INFO] [stdout] 128 |     pub fn is_uniformly_false(&self, lit: &Literal) -> bool {
[INFO] [stdout]     |                                      ^^^ help: if this is intentional, prefix it with an underscore: `_lit`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `subst`
[INFO] [stdout]   --> src/syntax/clause.rs:62:31
[INFO] [stdout]    |
[INFO] [stdout] 62 |     pub fn apply_subst(&self, subst: &Substitution) -> Clause {
[INFO] [stdout]    |                               ^^^^^ help: if this is intentional, prefix it with an underscore: `_subst`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `subst`
[INFO] [stdout]   --> src/syntax/literal.rs:45:31
[INFO] [stdout]    |
[INFO] [stdout] 45 |     pub fn apply_subst(&self, subst: &Substitution) -> Atom {
[INFO] [stdout]    |                               ^^^^^ help: if this is intentional, prefix it with an underscore: `_subst`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `other`
[INFO] [stdout]   --> src/syntax/literal.rs:96:36
[INFO] [stdout]    |
[INFO] [stdout] 96 |     pub fn is_complementary(&self, other: &Literal) -> bool {
[INFO] [stdout]    |                                    ^^^^^ help: if this is intentional, prefix it with an underscore: `_other`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `subst`
[INFO] [stdout]    --> src/syntax/literal.rs:111:31
[INFO] [stdout]     |
[INFO] [stdout] 111 |     pub fn apply_subst(&self, subst: &Substitution) -> Literal {
[INFO] [stdout]     |                               ^^^^^ help: if this is intentional, prefix it with an underscore: `_subst`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `subst`
[INFO] [stdout]    --> src/syntax/term.rs:128:31
[INFO] [stdout]     |
[INFO] [stdout] 128 |     pub fn apply_subst(&self, subst: &Substitution) -> Term {
[INFO] [stdout]     |                               ^^^^^ help: if this is intentional, prefix it with an underscore: `_subst`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `var`
[INFO] [stdout]    --> src/syntax/term.rs:139:26
[INFO] [stdout]     |
[INFO] [stdout] 139 |     pub fn occurs(&self, var: &Var) -> bool {
[INFO] [stdout]     |                          ^^^ help: if this is intentional, prefix it with an underscore: `_var`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `clause`
[INFO] [stdout]   --> src/theory/theory.rs:45:34
[INFO] [stdout]    |
[INFO] [stdout] 45 |     pub fn add_clause(&mut self, clause: Clause) {
[INFO] [stdout]    |                                  ^^^^^^ help: if this is intentional, prefix it with an underscore: `_clause`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `var`
[INFO] [stdout]   --> src/unify/substitution.rs:22:22
[INFO] [stdout]    |
[INFO] [stdout] 22 |     pub fn singleton(var: Var, term: Term) -> Self {
[INFO] [stdout]    |                      ^^^ help: if this is intentional, prefix it with an underscore: `_var`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `term`
[INFO] [stdout]   --> src/unify/substitution.rs:22:32
[INFO] [stdout]    |
[INFO] [stdout] 22 |     pub fn singleton(var: Var, term: Term) -> Self {
[INFO] [stdout]    |                                ^^^^ help: if this is intentional, prefix it with an underscore: `_term`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `var`
[INFO] [stdout]   --> src/unify/substitution.rs:27:28
[INFO] [stdout]    |
[INFO] [stdout] 27 |     pub fn bind(&mut self, var: Var, term: Term) {
[INFO] [stdout]    |                            ^^^ help: if this is intentional, prefix it with an underscore: `_var`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `term`
[INFO] [stdout]   --> src/unify/substitution.rs:27:38
[INFO] [stdout]    |
[INFO] [stdout] 27 |     pub fn bind(&mut self, var: Var, term: Term) {
[INFO] [stdout]    |                                      ^^^^ help: if this is intentional, prefix it with an underscore: `_term`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `var`
[INFO] [stdout]   --> src/unify/substitution.rs:32:26
[INFO] [stdout]    |
[INFO] [stdout] 32 |     pub fn lookup(&self, var: &Var) -> Option<&Term> {
[INFO] [stdout]    |                          ^^^ help: if this is intentional, prefix it with an underscore: `_var`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `other`
[INFO] [stdout]   --> src/unify/substitution.rs:37:27
[INFO] [stdout]    |
[INFO] [stdout] 37 |     pub fn compose(&self, other: &Substitution) -> Substitution {
[INFO] [stdout]    |                           ^^^^^ help: if this is intentional, prefix it with an underscore: `_other`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `term`
[INFO] [stdout]   --> src/unify/substitution.rs:42:33
[INFO] [stdout]    |
[INFO] [stdout] 42 |     pub fn apply_to_term(&self, term: &Term) -> Term {
[INFO] [stdout]    |                                 ^^^^ help: if this is intentional, prefix it with an underscore: `_term`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `t1`
[INFO] [stdout]   --> src/unify/unify.rs:43:14
[INFO] [stdout]    |
[INFO] [stdout] 43 | pub fn unify(t1: &Term, t2: &Term) -> UnifyResult {
[INFO] [stdout]    |              ^^ help: if this is intentional, prefix it with an underscore: `_t1`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `t2`
[INFO] [stdout]   --> src/unify/unify.rs:43:25
[INFO] [stdout]    |
[INFO] [stdout] 43 | pub fn unify(t1: &Term, t2: &Term) -> UnifyResult {
[INFO] [stdout]    |                         ^^ help: if this is intentional, prefix it with an underscore: `_t2`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `l1`
[INFO] [stdout]   --> src/unify/unify.rs:51:23
[INFO] [stdout]    |
[INFO] [stdout] 51 | pub fn unify_literals(l1: &Literal, l2: &Literal) -> UnifyResult {
[INFO] [stdout]    |                       ^^ help: if this is intentional, prefix it with an underscore: `_l1`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `l2`
[INFO] [stdout]   --> src/unify/unify.rs:51:37
[INFO] [stdout]    |
[INFO] [stdout] 51 | pub fn unify_literals(l1: &Literal, l2: &Literal) -> UnifyResult {
[INFO] [stdout]    |                                     ^^ help: if this is intentional, prefix it with an underscore: `_l2`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `pairs`
[INFO] [stdout]   --> src/unify/unify.rs:58:19
[INFO] [stdout]    |
[INFO] [stdout] 58 | pub fn unify_many(pairs: &[(Term, Term)]) -> UnifyResult {
[INFO] [stdout]    |                   ^^^^^ help: if this is intentional, prefix it with an underscore: `_pairs`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: field `session` is never read
[INFO] [stdout]  --> src/jupyter/kernel.rs:7:5
[INFO] [stdout]   |
[INFO] [stdout] 6 | pub struct Kernel {
[INFO] [stdout]   |            ------ field in this struct
[INFO] [stdout] 7 |     session: Session,
[INFO] [stdout]   |     ^^^^^^^
[INFO] [stdout]   |
[INFO] [stdout]   = note: `#[warn(dead_code)]` (part of `#[warn(unused)]`) on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: enum `Token` is never used
[INFO] [stdout]  --> src/parser/lexer.rs:5:10
[INFO] [stdout]   |
[INFO] [stdout] 5 | pub enum Token {
[INFO] [stdout]   |          ^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: struct `Lexer` is never constructed
[INFO] [stdout]   --> src/parser/lexer.rs:36:12
[INFO] [stdout]    |
[INFO] [stdout] 36 | pub struct Lexer<'a> {
[INFO] [stdout]    |            ^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: multiple associated items are never used
[INFO] [stdout]    --> src/parser/lexer.rs:45:12
[INFO] [stdout]     |
[INFO] [stdout]  43 | impl<'a> Lexer<'a> {
[INFO] [stdout]     | ------------------ associated items in this implementation
[INFO] [stdout]  44 |     /// Create a new lexer for the given input.
[INFO] [stdout]  45 |     pub fn new(input: &'a str) -> Self {
[INFO] [stdout]     |            ^^^
[INFO] [stdout] ...
[INFO] [stdout]  55 |     pub fn next_token(&mut self) -> Result<Token, LexError> {
[INFO] [stdout]     |            ^^^^^^^^^^
[INFO] [stdout] ...
[INFO] [stdout] 148 |     pub fn peek_token(&mut self) -> Result<Token, LexError> {
[INFO] [stdout]     |            ^^^^^^^^^^
[INFO] [stdout] ...
[INFO] [stdout] 162 |     fn advance(&mut self, bytes: usize) {
[INFO] [stdout]     |        ^^^^^^^
[INFO] [stdout] ...
[INFO] [stdout] 175 |     fn skip_whitespace_and_comments(&mut self) {
[INFO] [stdout]     |        ^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] ...
[INFO] [stdout] 197 |     fn lex_identifier(&mut self) -> Token {
[INFO] [stdout]     |        ^^^^^^^^^^^^^^
[INFO] [stdout] ...
[INFO] [stdout] 213 |     fn lex_variable(&mut self) -> Token {
[INFO] [stdout]     |        ^^^^^^^^^^^^
[INFO] [stdout] ...
[INFO] [stdout] 229 |     fn lex_string(&mut self) -> Result<Token, LexError> {
[INFO] [stdout]     |        ^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: struct `LexError` is never constructed
[INFO] [stdout]    --> src/parser/lexer.rs:261:12
[INFO] [stdout]     |
[INFO] [stdout] 261 | pub struct LexError {
[INFO] [stdout]     |            ^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: field `session` is never read
[INFO] [stdout]   --> src/repl/repl.rs:21:5
[INFO] [stdout]    |
[INFO] [stdout] 20 | pub struct Repl {
[INFO] [stdout]    |            ---- field in this struct
[INFO] [stdout] 21 |     session: Session,
[INFO] [stdout]    |     ^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: field `active_query` is never read
[INFO] [stdout]   --> src/session.rs:47:5
[INFO] [stdout]    |
[INFO] [stdout] 42 | pub struct Session {
[INFO] [stdout]    |            ------- field in this struct
[INFO] [stdout] ...
[INFO] [stdout] 47 |     active_query: Option<QueryStream>,
[INFO] [stdout]    |     ^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: function `literal_index` is never used
[INFO] [stdout]   --> src/sggs/assignment.rs:34:8
[INFO] [stdout]    |
[INFO] [stdout] 34 | pub fn literal_index(clause: &[Literal], lit: &Literal) -> Option<usize> {
[INFO] [stdout]    |        ^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: fields `theory` and `config` are never read
[INFO] [stdout]   --> src/sggs/derivation.rs:36:5
[INFO] [stdout]    |
[INFO] [stdout] 35 | pub struct DerivationState {
[INFO] [stdout]    |            --------------- fields in this struct
[INFO] [stdout] 36 |     theory: Theory,
[INFO] [stdout]    |     ^^^^^^
[INFO] [stdout] 37 |     trail: Trail,
[INFO] [stdout] 38 |     config: DerivationConfig,
[INFO] [stdout]    |     ^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: fields `theory`, `query`, `config`, `user_signature`, `policy`, and `seen_answer` are never read
[INFO] [stdout]   --> src/sggs/query.rs:31:5
[INFO] [stdout]    |
[INFO] [stdout] 30 | pub struct QueryStream {
[INFO] [stdout]    |            ----------- fields in this struct
[INFO] [stdout] 31 |     theory: Theory,
[INFO] [stdout]    |     ^^^^^^
[INFO] [stdout] 32 |     query: Query,
[INFO] [stdout]    |     ^^^^^
[INFO] [stdout] 33 |     config: DerivationConfig,
[INFO] [stdout]    |     ^^^^^^
[INFO] [stdout] 34 |     user_signature: Option<UserSignature>,
[INFO] [stdout]    |     ^^^^^^^^^^^^^^
[INFO] [stdout] 35 |     policy: ProjectionPolicy,
[INFO] [stdout]    |     ^^^^^^
[INFO] [stdout] 36 |     seen_answer: bool,
[INFO] [stdout]    |     ^^^^^^^^^^^
[INFO] [stdout]    |
[INFO] [stdout]    = note: `QueryStream` 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: field `trail` is never read
[INFO] [stdout]   --> src/sggs/trail.rs:34:5
[INFO] [stdout]    |
[INFO] [stdout] 33 | pub struct TrailInterpretation<'a> {
[INFO] [stdout]    |            ------------------- field in this struct
[INFO] [stdout] 34 |     trail: &'a Trail,
[INFO] [stdout]    |     ^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: field `trail` is never read
[INFO] [stdout]   --> src/sggs/trail.rs:39:5
[INFO] [stdout]    |
[INFO] [stdout] 38 | pub struct PartialInterpretation<'a> {
[INFO] [stdout]    |            --------------------- field in this struct
[INFO] [stdout] 39 |     trail: &'a Trail,
[INFO] [stdout]    |     ^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: hiding a lifetime that's elided elsewhere is confusing
[INFO] [stdout]   --> src/sggs/trail.rs:74:27
[INFO] [stdout]    |
[INFO] [stdout] 74 |     pub fn interpretation(&self) -> TrailInterpretation {
[INFO] [stdout]    |                           ^^^^^     ^^^^^^^^^^^^^^^^^^^ the same lifetime is hidden here
[INFO] [stdout]    |                           |
[INFO] [stdout]    |                           the lifetime is elided here
[INFO] [stdout]    |
[INFO] [stdout]    = help: the same lifetime is referred to in inconsistent ways, making the signature confusing
[INFO] [stdout]    = note: `#[warn(mismatched_lifetime_syntaxes)]` on by default
[INFO] [stdout] help: use `'_` for type paths
[INFO] [stdout]    |
[INFO] [stdout] 74 |     pub fn interpretation(&self) -> TrailInterpretation<'_> {
[INFO] [stdout]    |                                                        ++++
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: hiding a lifetime that's elided elsewhere is confusing
[INFO] [stdout]   --> src/sggs/trail.rs:79:35
[INFO] [stdout]    |
[INFO] [stdout] 79 |     pub fn partial_interpretation(&self) -> PartialInterpretation {
[INFO] [stdout]    |                                   ^^^^^     ^^^^^^^^^^^^^^^^^^^^^ the same lifetime is hidden here
[INFO] [stdout]    |                                   |
[INFO] [stdout]    |                                   the lifetime is elided here
[INFO] [stdout]    |
[INFO] [stdout]    = help: the same lifetime is referred to in inconsistent ways, making the signature confusing
[INFO] [stdout] help: use `'_` for type paths
[INFO] [stdout]    |
[INFO] [stdout] 79 |     pub fn partial_interpretation(&self) -> PartialInterpretation<'_> {
[INFO] [stdout]    |                                                                  ++++
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stderr]    Compiling num-traits v0.2.19
[INFO] [stderr]     Checking wait-timeout v0.2.1
[INFO] [stderr]     Checking rand_core v0.9.5
[INFO] [stderr]     Checking rand_xorshift v0.4.0
[INFO] [stderr]     Checking rand v0.9.2
[INFO] [stderr]     Checking tempfile v3.24.0
[INFO] [stderr]     Checking rusty-fork v0.3.1
[INFO] [stderr]     Checking ppv-lite86 v0.2.21
[INFO] [stderr]     Checking rand_chacha v0.9.0
[INFO] [stderr]     Checking proptest v1.9.0
[INFO] [stdout] warning: unused import: `Literal`
[INFO] [stdout]  --> tests/parser_semantics.rs:2:38
[INFO] [stdout]   |
[INFO] [stdout] 2 | use sggslog::syntax::{Atom, Formula, Literal, Term, Var};
[INFO] [stdout]   |                                      ^^^^^^^
[INFO] [stdout]   |
[INFO] [stdout]   = note: `#[warn(unused_imports)]` (part of `#[warn(unused)]`) on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused import: `Literal`
[INFO] [stdout]  --> src/parser/ast.rs:3:38
[INFO] [stdout]   |
[INFO] [stdout] 3 | use crate::syntax::{Clause, Formula, Literal, Query};
[INFO] [stdout]   |                                      ^^^^^^^
[INFO] [stdout]   |
[INFO] [stdout]   = note: `#[warn(unused_imports)]` (part of `#[warn(unused)]`) on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused imports: `clausify_statement` and `clausify_statements`
[INFO] [stdout]  --> src/session.rs:3:24
[INFO] [stdout]   |
[INFO] [stdout] 3 | use crate::normalize::{clausify_statement, clausify_statements};
[INFO] [stdout]   |                        ^^^^^^^^^^^^^^^^^^  ^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused imports: `ProjectionSetting` and `parse_file`
[INFO] [stdout]  --> src/session.rs:4:21
[INFO] [stdout]   |
[INFO] [stdout] 4 | use crate::parser::{parse_file, Directive, ProjectionSetting, Setting, Statement};
[INFO] [stdout]   |                     ^^^^^^^^^^             ^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused imports: `Query`, `answer_query_projected`, and `answer_query`
[INFO] [stdout]  --> src/session.rs:6:5
[INFO] [stdout]   |
[INFO] [stdout] 6 |     answer_query, answer_query_projected, DerivationConfig, ProjectionPolicy, Query, QueryResult,
[INFO] [stdout]   |     ^^^^^^^^^^^^  ^^^^^^^^^^^^^^^^^^^^^^                                      ^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused import: `Term`
[INFO] [stdout]  --> src/sggs/interpretation.rs:3:44
[INFO] [stdout]   |
[INFO] [stdout] 3 | use crate::syntax::{Atom, Clause, Literal, Term};
[INFO] [stdout]   |                                            ^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused imports: `Clause` and `Var`
[INFO] [stdout]  --> src/sggs/query.rs:4:21
[INFO] [stdout]   |
[INFO] [stdout] 4 | use crate::syntax::{Clause, Query, UserSignature, Var};
[INFO] [stdout]   |                     ^^^^^^                        ^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused import: `Term`
[INFO] [stdout]  --> src/syntax/clause.rs:8:19
[INFO] [stdout]   |
[INFO] [stdout] 8 | use super::term::{Term, Var};
[INFO] [stdout]   |                   ^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused import: `crate::normalize::clausify_statement`
[INFO] [stdout]  --> src/theory/theory.rs:3:5
[INFO] [stdout]   |
[INFO] [stdout] 3 | use crate::normalize::clausify_statement;
[INFO] [stdout]   |     ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused import: `std::collections::HashMap`
[INFO] [stdout]   --> src/tests/semantic_tests/mod.rs:21:5
[INFO] [stdout]    |
[INFO] [stdout] 21 | use std::collections::HashMap;
[INFO] [stdout]    |     ^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `other`
[INFO] [stdout]   --> src/constraint/constraint.rs:24:22
[INFO] [stdout]    |
[INFO] [stdout] 24 |     pub fn and(self, other: Constraint) -> Constraint {
[INFO] [stdout]    |                      ^^^^^ help: if this is intentional, prefix it with an underscore: `_other`
[INFO] [stdout]    |
[INFO] [stdout]    = note: `#[warn(unused_variables)]` (part of `#[warn(unused)]`) on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `other`
[INFO] [stdout]   --> src/constraint/constraint.rs:29:21
[INFO] [stdout]    |
[INFO] [stdout] 29 |     pub fn or(self, other: Constraint) -> Constraint {
[INFO] [stdout]    |                     ^^^^^ help: if this is intentional, prefix it with an underscore: `_other`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `other`
[INFO] [stdout]   --> src/constraint/constraint.rs:55:29
[INFO] [stdout]    |
[INFO] [stdout] 55 |     pub fn intersect(&self, other: &Constraint) -> Constraint {
[INFO] [stdout]    |                             ^^^^^ help: if this is intentional, prefix it with an underscore: `_other`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `other`
[INFO] [stdout]   --> src/constraint/constraint.rs:60:30
[INFO] [stdout]    |
[INFO] [stdout] 60 |     pub fn intersects(&self, other: &Constraint) -> bool {
[INFO] [stdout]    |                              ^^^^^ help: if this is intentional, prefix it with an underscore: `_other`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `clause`
[INFO] [stdout]   --> src/sggs/constrained.rs:24:16
[INFO] [stdout]    |
[INFO] [stdout] 24 |     pub fn new(clause: Clause, selected: usize) -> Self {
[INFO] [stdout]    |                ^^^^^^ help: if this is intentional, prefix it with an underscore: `_clause`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `selected`
[INFO] [stdout]   --> src/sggs/constrained.rs:24:32
[INFO] [stdout]    |
[INFO] [stdout] 24 |     pub fn new(clause: Clause, selected: usize) -> Self {
[INFO] [stdout]    |                                ^^^^^^^^ help: if this is intentional, prefix it with an underscore: `_selected`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `clause`
[INFO] [stdout]   --> src/sggs/constrained.rs:29:28
[INFO] [stdout]    |
[INFO] [stdout] 29 |     pub fn with_constraint(clause: Clause, constraint: Constraint, selected: usize) -> Self {
[INFO] [stdout]    |                            ^^^^^^ help: if this is intentional, prefix it with an underscore: `_clause`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `constraint`
[INFO] [stdout]   --> src/sggs/constrained.rs:29:44
[INFO] [stdout]    |
[INFO] [stdout] 29 |     pub fn with_constraint(clause: Clause, constraint: Constraint, selected: usize) -> Self {
[INFO] [stdout]    |                                            ^^^^^^^^^^ help: if this is intentional, prefix it with an underscore: `_constraint`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `selected`
[INFO] [stdout]   --> src/sggs/constrained.rs:29:68
[INFO] [stdout]    |
[INFO] [stdout] 29 |     pub fn with_constraint(clause: Clause, constraint: Constraint, selected: usize) -> Self {
[INFO] [stdout]    |                                                                    ^^^^^^^^ help: if this is intentional, prefix it with an underscore: `_selected`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `lit`
[INFO] [stdout]   --> src/sggs/interpretation.rs:42:31
[INFO] [stdout]    |
[INFO] [stdout] 42 |     pub fn truth_value(&self, lit: &Literal) -> TruthValue {
[INFO] [stdout]    |                               ^^^ help: if this is intentional, prefix it with an underscore: `_lit`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `interp`
[INFO] [stdout]   --> src/sggs/trail.rs:44:16
[INFO] [stdout]    |
[INFO] [stdout] 44 |     pub fn new(interp: InitialInterpretation) -> Self {
[INFO] [stdout]    |                ^^^^^^ help: if this is intentional, prefix it with an underscore: `_interp`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `clause`
[INFO] [stdout]   --> src/sggs/trail.rs:59:28
[INFO] [stdout]    |
[INFO] [stdout] 59 |     pub fn push(&mut self, clause: ConstrainedClause) {
[INFO] [stdout]    |                            ^^^^^^ help: if this is intentional, prefix it with an underscore: `_clause`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `len`
[INFO] [stdout]   --> src/sggs/trail.rs:69:26
[INFO] [stdout]    |
[INFO] [stdout] 69 |     pub fn prefix(&self, len: usize) -> Trail {
[INFO] [stdout]    |                          ^^^ help: if this is intentional, prefix it with an underscore: `_len`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `theory`
[INFO] [stdout]   --> src/sggs/trail.rs:89:31
[INFO] [stdout]    |
[INFO] [stdout] 89 |     pub fn is_complete(&self, theory: &Theory) -> bool {
[INFO] [stdout]    |                               ^^^^^^ help: if this is intentional, prefix it with an underscore: `_theory`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `lit`
[INFO] [stdout]    --> src/sggs/trail.rs:123:37
[INFO] [stdout]     |
[INFO] [stdout] 123 |     pub fn is_uniformly_true(&self, lit: &Literal) -> bool {
[INFO] [stdout]     |                                     ^^^ help: if this is intentional, prefix it with an underscore: `_lit`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `lit`
[INFO] [stdout]    --> src/sggs/trail.rs:128:38
[INFO] [stdout]     |
[INFO] [stdout] 128 |     pub fn is_uniformly_false(&self, lit: &Literal) -> bool {
[INFO] [stdout]     |                                      ^^^ help: if this is intentional, prefix it with an underscore: `_lit`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `subst`
[INFO] [stdout]   --> src/syntax/clause.rs:62:31
[INFO] [stdout]    |
[INFO] [stdout] 62 |     pub fn apply_subst(&self, subst: &Substitution) -> Clause {
[INFO] [stdout]    |                               ^^^^^ help: if this is intentional, prefix it with an underscore: `_subst`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `subst`
[INFO] [stdout]   --> src/syntax/literal.rs:45:31
[INFO] [stdout]    |
[INFO] [stdout] 45 |     pub fn apply_subst(&self, subst: &Substitution) -> Atom {
[INFO] [stdout]    |                               ^^^^^ help: if this is intentional, prefix it with an underscore: `_subst`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `other`
[INFO] [stdout]   --> src/syntax/literal.rs:96:36
[INFO] [stdout]    |
[INFO] [stdout] 96 |     pub fn is_complementary(&self, other: &Literal) -> bool {
[INFO] [stdout]    |                                    ^^^^^ help: if this is intentional, prefix it with an underscore: `_other`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `subst`
[INFO] [stdout]    --> src/syntax/literal.rs:111:31
[INFO] [stdout]     |
[INFO] [stdout] 111 |     pub fn apply_subst(&self, subst: &Substitution) -> Literal {
[INFO] [stdout]     |                               ^^^^^ help: if this is intentional, prefix it with an underscore: `_subst`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `subst`
[INFO] [stdout]    --> src/syntax/term.rs:128:31
[INFO] [stdout]     |
[INFO] [stdout] 128 |     pub fn apply_subst(&self, subst: &Substitution) -> Term {
[INFO] [stdout]     |                               ^^^^^ help: if this is intentional, prefix it with an underscore: `_subst`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `var`
[INFO] [stdout]    --> src/syntax/term.rs:139:26
[INFO] [stdout]     |
[INFO] [stdout] 139 |     pub fn occurs(&self, var: &Var) -> bool {
[INFO] [stdout]     |                          ^^^ help: if this is intentional, prefix it with an underscore: `_var`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `clause`
[INFO] [stdout]   --> src/theory/theory.rs:45:34
[INFO] [stdout]    |
[INFO] [stdout] 45 |     pub fn add_clause(&mut self, clause: Clause) {
[INFO] [stdout]    |                                  ^^^^^^ help: if this is intentional, prefix it with an underscore: `_clause`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `var`
[INFO] [stdout]   --> src/unify/substitution.rs:22:22
[INFO] [stdout]    |
[INFO] [stdout] 22 |     pub fn singleton(var: Var, term: Term) -> Self {
[INFO] [stdout]    |                      ^^^ help: if this is intentional, prefix it with an underscore: `_var`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `term`
[INFO] [stdout]   --> src/unify/substitution.rs:22:32
[INFO] [stdout]    |
[INFO] [stdout] 22 |     pub fn singleton(var: Var, term: Term) -> Self {
[INFO] [stdout]    |                                ^^^^ help: if this is intentional, prefix it with an underscore: `_term`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `var`
[INFO] [stdout]   --> src/unify/substitution.rs:27:28
[INFO] [stdout]    |
[INFO] [stdout] 27 |     pub fn bind(&mut self, var: Var, term: Term) {
[INFO] [stdout]    |                            ^^^ help: if this is intentional, prefix it with an underscore: `_var`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `term`
[INFO] [stdout]   --> src/unify/substitution.rs:27:38
[INFO] [stdout]    |
[INFO] [stdout] 27 |     pub fn bind(&mut self, var: Var, term: Term) {
[INFO] [stdout]    |                                      ^^^^ help: if this is intentional, prefix it with an underscore: `_term`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `var`
[INFO] [stdout]   --> src/unify/substitution.rs:32:26
[INFO] [stdout]    |
[INFO] [stdout] 32 |     pub fn lookup(&self, var: &Var) -> Option<&Term> {
[INFO] [stdout]    |                          ^^^ help: if this is intentional, prefix it with an underscore: `_var`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `other`
[INFO] [stdout]   --> src/unify/substitution.rs:37:27
[INFO] [stdout]    |
[INFO] [stdout] 37 |     pub fn compose(&self, other: &Substitution) -> Substitution {
[INFO] [stdout]    |                           ^^^^^ help: if this is intentional, prefix it with an underscore: `_other`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `term`
[INFO] [stdout]   --> src/unify/substitution.rs:42:33
[INFO] [stdout]    |
[INFO] [stdout] 42 |     pub fn apply_to_term(&self, term: &Term) -> Term {
[INFO] [stdout]    |                                 ^^^^ help: if this is intentional, prefix it with an underscore: `_term`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `t1`
[INFO] [stdout]   --> src/unify/unify.rs:43:14
[INFO] [stdout]    |
[INFO] [stdout] 43 | pub fn unify(t1: &Term, t2: &Term) -> UnifyResult {
[INFO] [stdout]    |              ^^ help: if this is intentional, prefix it with an underscore: `_t1`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `t2`
[INFO] [stdout]   --> src/unify/unify.rs:43:25
[INFO] [stdout]    |
[INFO] [stdout] 43 | pub fn unify(t1: &Term, t2: &Term) -> UnifyResult {
[INFO] [stdout]    |                         ^^ help: if this is intentional, prefix it with an underscore: `_t2`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `l1`
[INFO] [stdout]   --> src/unify/unify.rs:51:23
[INFO] [stdout]    |
[INFO] [stdout] 51 | pub fn unify_literals(l1: &Literal, l2: &Literal) -> UnifyResult {
[INFO] [stdout]    |                       ^^ help: if this is intentional, prefix it with an underscore: `_l1`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `l2`
[INFO] [stdout]   --> src/unify/unify.rs:51:37
[INFO] [stdout]    |
[INFO] [stdout] 51 | pub fn unify_literals(l1: &Literal, l2: &Literal) -> UnifyResult {
[INFO] [stdout]    |                                     ^^ help: if this is intentional, prefix it with an underscore: `_l2`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `pairs`
[INFO] [stdout]   --> src/unify/unify.rs:58:19
[INFO] [stdout]    |
[INFO] [stdout] 58 | pub fn unify_many(pairs: &[(Term, Term)]) -> UnifyResult {
[INFO] [stdout]    |                   ^^^^^ help: if this is intentional, prefix it with an underscore: `_pairs`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: field `session` is never read
[INFO] [stdout]  --> src/jupyter/kernel.rs:7:5
[INFO] [stdout]   |
[INFO] [stdout] 6 | pub struct Kernel {
[INFO] [stdout]   |            ------ field in this struct
[INFO] [stdout] 7 |     session: Session,
[INFO] [stdout]   |     ^^^^^^^
[INFO] [stdout]   |
[INFO] [stdout]   = note: `#[warn(dead_code)]` (part of `#[warn(unused)]`) on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: method `peek_token` is never used
[INFO] [stdout]    --> src/parser/lexer.rs:148:12
[INFO] [stdout]     |
[INFO] [stdout]  43 | impl<'a> Lexer<'a> {
[INFO] [stdout]     | ------------------ method in this implementation
[INFO] [stdout] ...
[INFO] [stdout] 148 |     pub fn peek_token(&mut self) -> Result<Token, LexError> {
[INFO] [stdout]     |            ^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: fields `message`, `line`, and `column` are never read
[INFO] [stdout]    --> src/parser/lexer.rs:262:9
[INFO] [stdout]     |
[INFO] [stdout] 261 | pub struct LexError {
[INFO] [stdout]     |            -------- fields in this struct
[INFO] [stdout] 262 |     pub message: String,
[INFO] [stdout]     |         ^^^^^^^
[INFO] [stdout] 263 |     pub line: usize,
[INFO] [stdout]     |         ^^^^
[INFO] [stdout] 264 |     pub column: usize,
[INFO] [stdout]     |         ^^^^^^
[INFO] [stdout]     |
[INFO] [stdout]     = note: `LexError` 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: field `session` is never read
[INFO] [stdout]   --> src/repl/repl.rs:21:5
[INFO] [stdout]    |
[INFO] [stdout] 20 | pub struct Repl {
[INFO] [stdout]    |            ---- field in this struct
[INFO] [stdout] 21 |     session: Session,
[INFO] [stdout]    |     ^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: field `active_query` is never read
[INFO] [stdout]   --> src/session.rs:47:5
[INFO] [stdout]    |
[INFO] [stdout] 42 | pub struct Session {
[INFO] [stdout]    |            ------- field in this struct
[INFO] [stdout] ...
[INFO] [stdout] 47 |     active_query: Option<QueryStream>,
[INFO] [stdout]    |     ^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: function `literal_index` is never used
[INFO] [stdout]   --> src/sggs/assignment.rs:34:8
[INFO] [stdout]    |
[INFO] [stdout] 34 | pub fn literal_index(clause: &[Literal], lit: &Literal) -> Option<usize> {
[INFO] [stdout]    |        ^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: fields `theory` and `config` are never read
[INFO] [stdout]   --> src/sggs/derivation.rs:36:5
[INFO] [stdout]    |
[INFO] [stdout] 35 | pub struct DerivationState {
[INFO] [stdout]    |            --------------- fields in this struct
[INFO] [stdout] 36 |     theory: Theory,
[INFO] [stdout]    |     ^^^^^^
[INFO] [stdout] 37 |     trail: Trail,
[INFO] [stdout] 38 |     config: DerivationConfig,
[INFO] [stdout]    |     ^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: fields `theory`, `query`, `config`, `user_signature`, `policy`, and `seen_answer` are never read
[INFO] [stdout]   --> src/sggs/query.rs:31:5
[INFO] [stdout]    |
[INFO] [stdout] 30 | pub struct QueryStream {
[INFO] [stdout]    |            ----------- fields in this struct
[INFO] [stdout] 31 |     theory: Theory,
[INFO] [stdout]    |     ^^^^^^
[INFO] [stdout] 32 |     query: Query,
[INFO] [stdout]    |     ^^^^^
[INFO] [stdout] 33 |     config: DerivationConfig,
[INFO] [stdout]    |     ^^^^^^
[INFO] [stdout] 34 |     user_signature: Option<UserSignature>,
[INFO] [stdout]    |     ^^^^^^^^^^^^^^
[INFO] [stdout] 35 |     policy: ProjectionPolicy,
[INFO] [stdout]    |     ^^^^^^
[INFO] [stdout] 36 |     seen_answer: bool,
[INFO] [stdout]    |     ^^^^^^^^^^^
[INFO] [stdout]    |
[INFO] [stdout]    = note: `QueryStream` 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: field `trail` is never read
[INFO] [stdout]   --> src/sggs/trail.rs:34:5
[INFO] [stdout]    |
[INFO] [stdout] 33 | pub struct TrailInterpretation<'a> {
[INFO] [stdout]    |            ------------------- field in this struct
[INFO] [stdout] 34 |     trail: &'a Trail,
[INFO] [stdout]    |     ^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: field `trail` is never read
[INFO] [stdout]   --> src/sggs/trail.rs:39:5
[INFO] [stdout]    |
[INFO] [stdout] 38 | pub struct PartialInterpretation<'a> {
[INFO] [stdout]    |            --------------------- field in this struct
[INFO] [stdout] 39 |     trail: &'a Trail,
[INFO] [stdout]    |     ^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: hiding a lifetime that's elided elsewhere is confusing
[INFO] [stdout]   --> src/sggs/trail.rs:74:27
[INFO] [stdout]    |
[INFO] [stdout] 74 |     pub fn interpretation(&self) -> TrailInterpretation {
[INFO] [stdout]    |                           ^^^^^     ^^^^^^^^^^^^^^^^^^^ the same lifetime is hidden here
[INFO] [stdout]    |                           |
[INFO] [stdout]    |                           the lifetime is elided here
[INFO] [stdout]    |
[INFO] [stdout]    = help: the same lifetime is referred to in inconsistent ways, making the signature confusing
[INFO] [stdout]    = note: `#[warn(mismatched_lifetime_syntaxes)]` on by default
[INFO] [stdout] help: use `'_` for type paths
[INFO] [stdout]    |
[INFO] [stdout] 74 |     pub fn interpretation(&self) -> TrailInterpretation<'_> {
[INFO] [stdout]    |                                                        ++++
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: hiding a lifetime that's elided elsewhere is confusing
[INFO] [stdout]   --> src/sggs/trail.rs:79:35
[INFO] [stdout]    |
[INFO] [stdout] 79 |     pub fn partial_interpretation(&self) -> PartialInterpretation {
[INFO] [stdout]    |                                   ^^^^^     ^^^^^^^^^^^^^^^^^^^^^ the same lifetime is hidden here
[INFO] [stdout]    |                                   |
[INFO] [stdout]    |                                   the lifetime is elided here
[INFO] [stdout]    |
[INFO] [stdout]    = help: the same lifetime is referred to in inconsistent ways, making the signature confusing
[INFO] [stdout] help: use `'_` for type paths
[INFO] [stdout]    |
[INFO] [stdout] 79 |     pub fn partial_interpretation(&self) -> PartialInterpretation<'_> {
[INFO] [stdout]    |                                                                  ++++
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stderr]     Finished `dev` profile [unoptimized + debuginfo] target(s) in 12.90s
[INFO] running `Command { std: "docker" "inspect" "fe2054ce3535f055d52791727253fa91a47b792257bedc587b2ef306713f3929", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "fe2054ce3535f055d52791727253fa91a47b792257bedc587b2ef306713f3929", kill_on_drop: false }`
[INFO] [stdout] fe2054ce3535f055d52791727253fa91a47b792257bedc587b2ef306713f3929
