[INFO] cloning repository https://github.com/quantum413/chaitin_incompleteness
[INFO] running `Command { std: "git" "-c" "credential.helper=" "-c" "credential.helper=/workspace/cargo-home/bin/git-credential-null" "clone" "--bare" "https://github.com/quantum413/chaitin_incompleteness" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Fquantum413%2Fchaitin_incompleteness", kill_on_drop: false }`
[INFO] [stderr] Cloning into bare repository '/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Fquantum413%2Fchaitin_incompleteness'...
[INFO] running `Command { std: "git" "rev-parse" "HEAD", kill_on_drop: false }`
[INFO] [stdout] 227a1dab7c9312e2a955589c34b3c60cc186bbe6
[INFO] checking quantum413/chaitin_incompleteness against master#1f12b9b0fdbe735968ac002792a720f0ba4faca6 for crater-rollup-uwu
[INFO] running `Command { std: "git" "clone" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Fquantum413%2Fchaitin_incompleteness" "/workspace/builds/worker-7-tc1/source", kill_on_drop: false }`
[INFO] [stderr] Cloning into '/workspace/builds/worker-7-tc1/source'...
[INFO] [stderr] done.
[INFO] validating manifest of git repo https://github.com/quantum413/chaitin_incompleteness on toolchain 1f12b9b0fdbe735968ac002792a720f0ba4faca6
[INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+1f12b9b0fdbe735968ac002792a720f0ba4faca6" "metadata" "--manifest-path" "Cargo.toml" "--no-deps", kill_on_drop: false }`
[INFO] started tweaking git repo https://github.com/quantum413/chaitin_incompleteness
[INFO] finished tweaking git repo https://github.com/quantum413/chaitin_incompleteness
[INFO] tweaked toml for git repo https://github.com/quantum413/chaitin_incompleteness written to /workspace/builds/worker-7-tc1/source/Cargo.toml
[INFO] crate git repo https://github.com/quantum413/chaitin_incompleteness 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" "+1f12b9b0fdbe735968ac002792a720f0ba4faca6" "fetch" "--manifest-path" "Cargo.toml", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-7-tc1/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-7-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:923055f121b5182466d55868a8b05e67af8ba4a3a3f6bad814e953ca3cd3ac2a" "/opt/rustwide/cargo-home/bin/cargo" "+1f12b9b0fdbe735968ac002792a720f0ba4faca6" "metadata" "--no-deps" "--format-version=1", kill_on_drop: false }`
[INFO] [stdout] 7aa296016a4d9448447dd384558e419c65412a2d0c01b932b17157f6c76c2fc0
[INFO] running `Command { std: "docker" "start" "-a" "7aa296016a4d9448447dd384558e419c65412a2d0c01b932b17157f6c76c2fc0", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "inspect" "7aa296016a4d9448447dd384558e419c65412a2d0c01b932b17157f6c76c2fc0", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "7aa296016a4d9448447dd384558e419c65412a2d0c01b932b17157f6c76c2fc0", kill_on_drop: false }`
[INFO] [stdout] 7aa296016a4d9448447dd384558e419c65412a2d0c01b932b17157f6c76c2fc0
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-7-tc1/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-7-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:923055f121b5182466d55868a8b05e67af8ba4a3a3f6bad814e953ca3cd3ac2a" "/opt/rustwide/cargo-home/bin/cargo" "+1f12b9b0fdbe735968ac002792a720f0ba4faca6" "check" "--frozen" "--all" "--all-targets" "--message-format=json", kill_on_drop: false }`
[INFO] [stdout] 631ed3c5808ae4b98abf0c9e397aac8836e9984c31edd6f383ecc21af76368a1
[INFO] running `Command { std: "docker" "start" "-a" "631ed3c5808ae4b98abf0c9e397aac8836e9984c31edd6f383ecc21af76368a1", kill_on_drop: false }`
[INFO] [stderr]    Compiling proc-macro2 v1.0.69
[INFO] [stderr]    Compiling thiserror v1.0.50
[INFO] [stderr]    Compiling syn v1.0.109
[INFO] [stderr]    Compiling once_cell v1.18.0
[INFO] [stderr]    Compiling hashbrown v0.14.2
[INFO] [stderr]    Compiling equivalent v1.0.1
[INFO] [stderr]    Compiling memchr v2.6.4
[INFO] [stderr]    Compiling toml_datetime v0.6.5
[INFO] [stderr]    Compiling winnow v0.5.17
[INFO] [stderr]    Compiling ucd-trie v0.1.6
[INFO] [stderr]    Compiling quote v1.0.33
[INFO] [stderr]    Compiling indexmap v2.0.2
[INFO] [stderr]    Compiling syn v2.0.38
[INFO] [stderr]    Compiling toml_edit v0.19.15
[INFO] [stderr]    Compiling thiserror-impl v1.0.50
[INFO] [stderr]    Compiling pest v2.7.4
[INFO] [stderr]    Compiling proc-macro-crate v1.3.1
[INFO] [stderr]    Compiling pest_meta v2.7.4
[INFO] [stderr]    Compiling ntest_timeout v0.9.0
[INFO] [stderr]    Compiling ntest_test_cases v0.9.0
[INFO] [stderr]    Compiling derivative v2.2.0
[INFO] [stderr]     Checking ntest v0.9.0
[INFO] [stderr]    Compiling pest_generator v2.7.4
[INFO] [stderr]    Compiling pest_derive v2.7.4
[INFO] [stderr]     Checking chaitin_incompleteness v0.1.0 (/opt/rustwide/workdir)
[INFO] [stdout] warning: unused import: `std::io::Write`
[INFO] [stdout]  --> src/functors/recursive.rs:4:5
[INFO] [stdout]   |
[INFO] [stdout] 4 | use std::io::Write;
[INFO] [stdout]   |     ^^^^^^^^^^^^^^
[INFO] [stdout]   |
[INFO] [stdout]   = note: `#[warn(unused_imports)]` on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: struct `WFFParser` is never constructed
[INFO] [stdout]  --> src/wff.rs:5:12
[INFO] [stdout]   |
[INFO] [stdout] 5 | pub struct WFFParser;
[INFO] [stdout]   |            ^^^^^^^^^
[INFO] [stdout]   |
[INFO] [stdout]   = note: `#[warn(dead_code)]` on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variants `Variable` and `Function` are never constructed
[INFO] [stdout]  --> src/old_formula.rs:8:5
[INFO] [stdout]   |
[INFO] [stdout] 7 | pub enum Term<'a>{
[INFO] [stdout]   |          ---- variants in this enum
[INFO] [stdout] 8 |     Variable(&'a str),
[INFO] [stdout]   |     ^^^^^^^^
[INFO] [stdout] 9 |     Function(&'a str, Vec<Term<'a>>),
[INFO] [stdout]   |     ^^^^^^^^
[INFO] [stdout]   |
[INFO] [stdout]   = note: `Term` has a derived impl for the trait `Debug`, but this is intentionally ignored during dead code analysis
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: associated items `new_from_string`, `new`, `replace_var`, and `contains_var` are never used
[INFO] [stdout]   --> src/old_formula.rs:13:8
[INFO] [stdout]    |
[INFO] [stdout] 12 | impl<'a> Term<'a>{
[INFO] [stdout]    | ----------------- associated items in this implementation
[INFO] [stdout] 13 |     fn new_from_string(s: &'a str) -> Option<Self>{
[INFO] [stdout]    |        ^^^^^^^^^^^^^^^
[INFO] [stdout] ...
[INFO] [stdout] 20 |     fn new(pair: pest::iterators::Pair<'a, Rule>) -> Self {
[INFO] [stdout]    |        ^^^
[INFO] [stdout] ...
[INFO] [stdout] 34 |     fn replace_var(&self, name: &str, rep: &'a str) -> Self{
[INFO] [stdout]    |        ^^^^^^^^^^^
[INFO] [stdout] ...
[INFO] [stdout] 43 |     fn contains_var(&self, name: &str) -> bool{
[INFO] [stdout]    |        ^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: multiple variants are never constructed
[INFO] [stdout]   --> src/old_formula.rs:87:5
[INFO] [stdout]    |
[INFO] [stdout] 86 | pub enum Formula<'a> {
[INFO] [stdout]    |          ------- variants in this enum
[INFO] [stdout] 87 |     Predicate(&'a str, Vec<Term<'a>>),
[INFO] [stdout]    |     ^^^^^^^^^
[INFO] [stdout] 88 |     Equals(Term<'a>, Term<'a>),
[INFO] [stdout]    |     ^^^^^^
[INFO] [stdout] 89 |     Implies(Box<Formula<'a>>, Box<Formula<'a>>),
[INFO] [stdout]    |     ^^^^^^^
[INFO] [stdout] 90 |     And(Box<Formula<'a>>, Box<Formula<'a>>),
[INFO] [stdout]    |     ^^^
[INFO] [stdout] 91 |     Or(Box<Formula<'a>>, Box<Formula<'a>>),
[INFO] [stdout]    |     ^^
[INFO] [stdout] 92 |     Not(Box<Formula<'a>>),
[INFO] [stdout]    |     ^^^
[INFO] [stdout] 93 |     ForAll(&'a str, Box<Formula<'a>>),
[INFO] [stdout]    |     ^^^^^^
[INFO] [stdout] 94 |     Exists(&'a str, Box<Formula<'a>>),
[INFO] [stdout]    |     ^^^^^^
[INFO] [stdout]    |
[INFO] [stdout]    = note: `Formula` has a derived impl for the trait `Debug`, but this is intentionally ignored during dead code analysis
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: associated items `new_from_string`, `new`, `replace_free`, and `has_free` are never used
[INFO] [stdout]    --> src/old_formula.rs:98:8
[INFO] [stdout]     |
[INFO] [stdout] 97  | impl<'a> Formula<'a> {
[INFO] [stdout]     | -------------------- associated items in this implementation
[INFO] [stdout] 98  |     fn new_from_string(s: &'a str) -> Option<Self>{
[INFO] [stdout]     |        ^^^^^^^^^^^^^^^
[INFO] [stdout] ...
[INFO] [stdout] 105 |     fn new(pair: pest::iterators::Pair<'a, Rule>) -> Self{
[INFO] [stdout]     |        ^^^
[INFO] [stdout] ...
[INFO] [stdout] 144 |     fn replace_free(&self, name: &str, rep: &'a str) -> Self{
[INFO] [stdout]     |        ^^^^^^^^^^^^
[INFO] [stdout] ...
[INFO] [stdout] 179 |     fn has_free(&self, name: &str) -> bool{
[INFO] [stdout]     |        ^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: methods `inputs` and `index` are never used
[INFO] [stdout]   --> src/proof_manipulation/proofs.rs:45:12
[INFO] [stdout]    |
[INFO] [stdout] 44 | impl<FD: FormalDeduction> CopyInputStep<FD> {
[INFO] [stdout]    | ------------------------------------------- methods in this implementation
[INFO] [stdout] 45 |     pub fn inputs(&self) -> &Vec<FD::Formula> {&self.inputs}
[INFO] [stdout]    |            ^^^^^^
[INFO] [stdout] 46 |     pub fn index(&self) -> Index {self.index}
[INFO] [stdout]    |            ^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: methods `inputs`, `sub_proofs`, and `deduction` are never used
[INFO] [stdout]   --> src/proof_manipulation/proofs.rs:55:12
[INFO] [stdout]    |
[INFO] [stdout] 54 | impl<FD: FormalDeduction> DeduceStep<FD> where FD::Formula: Clone, FD: Clone {
[INFO] [stdout]    | ---------------------------------------------------------------------------- methods in this implementation
[INFO] [stdout] 55 |     pub fn inputs(&self) -> &Vec<FD::Formula> {&self.inputs}
[INFO] [stdout]    |            ^^^^^^
[INFO] [stdout] 56 |     pub fn sub_proofs(&self) -> &Vec<Proof<FD>> {&self.sub_proofs}
[INFO] [stdout]    |            ^^^^^^^^^^
[INFO] [stdout] 57 |     pub fn deduction(&self) -> &FD {&self.deduction}
[INFO] [stdout]    |            ^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: method `get_output` is never used
[INFO] [stdout]   --> src/proof_manipulation/proofs.rs:83:8
[INFO] [stdout]    |
[INFO] [stdout] 82 | impl<FD: FormalDeduction> InternalProof<FD> {
[INFO] [stdout]    | ------------------------------------------- method in this implementation
[INFO] [stdout] 83 |     fn get_output<'a, 'b: 'a, 'c: 'a>(&'b self,inputs: &'c Vec<FD::Formula>) -> &'a FD::Formula{
[INFO] [stdout]    |        ^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: associated items `inputs`, `output`, `un_step`, `compose_step`, and `compose` are never used
[INFO] [stdout]    --> src/proof_manipulation/proofs.rs:148:12
[INFO] [stdout]     |
[INFO] [stdout] 121 | impl<FD: FormalDeduction> Proof<FD> where FD::Formula: Clone, FD: Clone {
[INFO] [stdout]     | ----------------------------------------------------------------------- associated items in this implementation
[INFO] [stdout] ...
[INFO] [stdout] 148 |     pub fn inputs(&self) -> &Vec<FD::Formula> {&self.inputs}
[INFO] [stdout]     |            ^^^^^^
[INFO] [stdout] 149 |     pub fn output(&self) -> &FD::Formula {&self.output}
[INFO] [stdout]     |            ^^^^^^
[INFO] [stdout] 150 |
[INFO] [stdout] 151 |     pub fn un_step(self) -> ProofStep<FD> where FD::Formula: Clone, FD: Clone{
[INFO] [stdout]     |            ^^^^^^^
[INFO] [stdout] ...
[INFO] [stdout] 175 |     fn compose_step(
[INFO] [stdout]     |        ^^^^^^^^^^^^
[INFO] [stdout] ...
[INFO] [stdout] 196 |     pub fn compose(inputs: Vec<FD::Formula>, sub_proofs: Vec<Proof<FD>>, top_proof: Proof<FD>)
[INFO] [stdout]     |            ^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: enum `ProofStepData` is never used
[INFO] [stdout]    --> src/proof_manipulation/proofs.rs:208:10
[INFO] [stdout]     |
[INFO] [stdout] 208 | pub enum ProofStepData<FD> {
[INFO] [stdout]     |          ^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: method `params` is never used
[INFO] [stdout]   --> src/proof_manipulation/deductions.rs:34:12
[INFO] [stdout]    |
[INFO] [stdout] 27 | impl<D: DeductionRule> Deduction<D> {
[INFO] [stdout]    | ----------------------------------- method in this implementation
[INFO] [stdout] ...
[INFO] [stdout] 34 |     pub fn params(&self) -> &D::Parameter {&self.params}
[INFO] [stdout]    |            ^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: associated function `new` is never used
[INFO] [stdout]   --> src/proof_manipulation/serial_proofs.rs:25:12
[INFO] [stdout]    |
[INFO] [stdout] 24 | impl<D: DeductionRule> UncheckedSerialProof<D> {
[INFO] [stdout]    | ---------------------------------------------- associated function in this implementation
[INFO] [stdout] 25 |     pub fn new(output: D::Formula, inputs: Vec<D::Formula>, proof: Vec<(UncheckedSerialProofStep<D::Parameter>, D::Formula)>) -> Self {
[INFO] [stdout]    |            ^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: trait `Reduction` is never used
[INFO] [stdout]  --> src/functors/reductions.rs:5:11
[INFO] [stdout]   |
[INFO] [stdout] 5 | pub trait Reduction<D1: FormalDeduction + Clone, D2: FormalDeduction<Formula = D1::Formula> + Clone> where D1::Formula: Clone{
[INFO] [stdout]   |           ^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: struct `Reflexive` is never constructed
[INFO] [stdout]   --> src/functors/reductions.rs:35:12
[INFO] [stdout]    |
[INFO] [stdout] 35 | pub struct Reflexive<D: FormalDeduction> {_marker: PhantomData<D>}
[INFO] [stdout]    |            ^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: associated items `parse`, `un_parse`, and `check_un_parse` are never used
[INFO] [stdout]  --> src/functors/abstract_parser.rs:2:8
[INFO] [stdout]   |
[INFO] [stdout] 1 | pub trait AbstractParser<S> : Sized{
[INFO] [stdout]   |           -------------- associated items in this trait
[INFO] [stdout] 2 |     fn parse(input: S) -> Option<Self>;
[INFO] [stdout]   |        ^^^^^
[INFO] [stdout] 3 |     fn un_parse(self) -> S;
[INFO] [stdout]   |        ^^^^^^^^
[INFO] [stdout] 4 |     fn check_un_parse(self) -> bool where Self: Clone + Eq{
[INFO] [stdout]   |        ^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: trait `StrictAbstractParser` is never used
[INFO] [stdout]   --> src/functors/abstract_parser.rs:17:11
[INFO] [stdout]    |
[INFO] [stdout] 17 | pub trait StrictAbstractParser<S: Eq + Clone> : AbstractParser<S> + Clone{
[INFO] [stdout]    |           ^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: type alias `Arity` is never used
[INFO] [stdout]  --> src/formulae/wf_formula.rs:5:10
[INFO] [stdout]   |
[INFO] [stdout] 5 | pub type Arity = usize;
[INFO] [stdout]   |          ^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: associated functions `get_predicate_type`, `get_connective_type`, and `get_quantifier_type` are never used
[INFO] [stdout]   --> src/formulae/wf_formula.rs:16:8
[INFO] [stdout]    |
[INFO] [stdout] 6  | pub trait WFFNames {
[INFO] [stdout]    |           -------- associated functions in this trait
[INFO] [stdout] ...
[INFO] [stdout] 16 |     fn get_predicate_type(name: &Self::Predicate) -> Vec<&Self::Type>;
[INFO] [stdout]    |        ^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 17 |     fn get_connective_type(name: &Self::Connective) -> Arity;
[INFO] [stdout]    |        ^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 18 |     fn get_quantifier_type(name: &Self::Quantifier) -> &Self::Type;
[INFO] [stdout]    |        ^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: associated functions `get_variable_type` and `get_function_type` are never used
[INFO] [stdout]   --> src/formulae/wf_formula.rs:25:8
[INFO] [stdout]    |
[INFO] [stdout] 21 | pub trait WFTNames {
[INFO] [stdout]    |           -------- associated functions in this trait
[INFO] [stdout] ...
[INFO] [stdout] 25 |     fn get_variable_type(name: &Self::Variable) -> &Self::Type;
[INFO] [stdout]    |        ^^^^^^^^^^^^^^^^^
[INFO] [stdout] 26 |     fn get_function_type(name: &Self::Function) -> (&Self::Type, Vec<&Self::Type>);
[INFO] [stdout]    |        ^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variants `Variable` and `Function` are never constructed
[INFO] [stdout]    --> src/formulae/wf_formula.rs:134:1
[INFO] [stdout]     |
[INFO] [stdout] 133 | pub enum WFTStep < N: WFTNames > {
[INFO] [stdout]     |          ------- variants in this enum
[INFO] [stdout] 134 | Variable(N::Variable),
[INFO] [stdout]     | ^^^^^^^^
[INFO] [stdout] 135 | Function(N::Function, Vec < WFTerm < N > >),
[INFO] [stdout]     | ^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: associated items `step`, `check_input_types`, and `get_type` are never used
[INFO] [stdout]    --> src/formulae/wf_formula.rs:138:12
[INFO] [stdout]     |
[INFO] [stdout] 137 | impl<N: WFTNames> WFTStep<N> {
[INFO] [stdout]     | ---------------------------- associated items in this implementation
[INFO] [stdout] 138 |     pub fn step(self) -> Option<WFTerm<N>> where N::Type: Clone + Eq, WFTStep<N>: Clone {
[INFO] [stdout]     |            ^^^^
[INFO] [stdout] ...
[INFO] [stdout] 150 |     fn check_input_types(expected: Vec<&N::Type>, inputs: &Vec<WFTerm<N>>) -> bool
[INFO] [stdout]     |        ^^^^^^^^^^^^^^^^^
[INFO] [stdout] ...
[INFO] [stdout] 157 |     pub fn get_type(&self) -> &N::Type {
[INFO] [stdout]     |            ^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: methods `un_step` and `un_step_rc` are never used
[INFO] [stdout]    --> src/formulae/wf_formula.rs:180:12
[INFO] [stdout]     |
[INFO] [stdout] 179 | impl<N: WFTNames> WFTerm<N> {
[INFO] [stdout]     | --------------------------- methods in this implementation
[INFO] [stdout] 180 |     pub fn un_step(self) -> WFTStep<N> where WFTStep<N>: Clone{
[INFO] [stdout]     |            ^^^^^^^
[INFO] [stdout] ...
[INFO] [stdout] 183 |     pub fn un_step_rc(&self) -> Rc<WFTStep<N>> {
[INFO] [stdout]     |            ^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: enum `WFFStep` is never used
[INFO] [stdout]    --> src/formulae/wf_formula.rs:212:6
[INFO] [stdout]     |
[INFO] [stdout] 212 | enum WFFStep<N: WFFNames> {
[INFO] [stdout]     |      ^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: method `step` is never used
[INFO] [stdout]    --> src/formulae/wf_formula.rs:218:12
[INFO] [stdout]     |
[INFO] [stdout] 217 | impl<N: WFFNames> WFFStep<N> {
[INFO] [stdout]     | ---------------------------- method in this implementation
[INFO] [stdout] 218 |     pub fn step(self) -> Option<WFFormula<N>> where WFTStep<N>: Clone, N::Type: Clone + Eq {
[INFO] [stdout]     |            ^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: struct `WFFormula` is never constructed
[INFO] [stdout]    --> src/formulae/wf_formula.rs:264:8
[INFO] [stdout]     |
[INFO] [stdout] 264 | struct WFFormula<N: WFFNames> {
[INFO] [stdout]     |        ^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: methods `un_step` and `un_step_rc` are never used
[INFO] [stdout]    --> src/formulae/wf_formula.rs:269:12
[INFO] [stdout]     |
[INFO] [stdout] 268 | impl<N: WFFNames> WFFormula<N> {
[INFO] [stdout]     | ------------------------------ methods in this implementation
[INFO] [stdout] 269 |     pub fn un_step(self) -> WFFStep<N> where WFFStep<N>: Clone {
[INFO] [stdout]     |            ^^^^^^^
[INFO] [stdout] ...
[INFO] [stdout] 273 |     pub fn un_step_rc(&self) -> Rc<WFFStep<N>> {
[INFO] [stdout]     |            ^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variants `Variable` and `Function` are never constructed
[INFO] [stdout]    --> src/formulae/wf_formula.rs:292:5
[INFO] [stdout]     |
[INFO] [stdout] 291 | pub enum WFTStepData<N: WFTNames> {
[INFO] [stdout]     |          ----------- variants in this enum
[INFO] [stdout] 292 |     Variable(N::Variable),
[INFO] [stdout]     |     ^^^^^^^^
[INFO] [stdout] 293 |     Function(N::Function),
[INFO] [stdout]     |     ^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: 28 warnings emitted
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: enum `ProofStepData` is never used
[INFO] [stdout]    --> src/proof_manipulation/proofs.rs:208:10
[INFO] [stdout]     |
[INFO] [stdout] 208 | pub enum ProofStepData<FD> {
[INFO] [stdout]     |          ^^^^^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout]     = note: `#[warn(dead_code)]` on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: method `params` is never used
[INFO] [stdout]   --> src/proof_manipulation/deductions.rs:34:12
[INFO] [stdout]    |
[INFO] [stdout] 27 | impl<D: DeductionRule> Deduction<D> {
[INFO] [stdout]    | ----------------------------------- method in this implementation
[INFO] [stdout] ...
[INFO] [stdout] 34 |     pub fn params(&self) -> &D::Parameter {&self.params}
[INFO] [stdout]    |            ^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: method `un_step_rc` is never used
[INFO] [stdout]    --> src/formulae/wf_formula.rs:273:12
[INFO] [stdout]     |
[INFO] [stdout] 268 | impl<N: WFFNames> WFFormula<N> {
[INFO] [stdout]     | ------------------------------ method in this implementation
[INFO] [stdout] ...
[INFO] [stdout] 273 |     pub fn un_step_rc(&self) -> Rc<WFFStep<N>> {
[INFO] [stdout]     |            ^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variants `Variable` and `Function` are never constructed
[INFO] [stdout]    --> src/formulae/wf_formula.rs:292:5
[INFO] [stdout]     |
[INFO] [stdout] 291 | pub enum WFTStepData<N: WFTNames> {
[INFO] [stdout]     |          ----------- variants in this enum
[INFO] [stdout] 292 |     Variable(N::Variable),
[INFO] [stdout]     |     ^^^^^^^^
[INFO] [stdout] 293 |     Function(N::Function),
[INFO] [stdout]     |     ^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: 4 warnings emitted
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stderr]     Finished `dev` profile [unoptimized + debuginfo] target(s) in 4.60s
[INFO] running `Command { std: "docker" "inspect" "631ed3c5808ae4b98abf0c9e397aac8836e9984c31edd6f383ecc21af76368a1", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "631ed3c5808ae4b98abf0c9e397aac8836e9984c31edd6f383ecc21af76368a1", kill_on_drop: false }`
[INFO] [stdout] 631ed3c5808ae4b98abf0c9e397aac8836e9984c31edd6f383ecc21af76368a1