[INFO] cloning repository https://github.com/hatellezp/rustoner
[INFO] running `Command { std: "git" "-c" "credential.helper=" "-c" "credential.helper=/workspace/cargo-home/bin/git-credential-null" "clone" "--bare" "https://github.com/hatellezp/rustoner" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Fhatellezp%2Frustoner", kill_on_drop: false }`
[INFO] [stderr] Cloning into bare repository '/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Fhatellezp%2Frustoner'...
[INFO] running `Command { std: "git" "rev-parse" "HEAD", kill_on_drop: false }`
[INFO] [stdout] 177e5b22cb29afd22909b4007bc467a44338927c
[INFO] checking hatellezp/rustoner against try#bb9dbf1d07454a99066eabaabd5819851281494b for pr-80920
[INFO] running `Command { std: "git" "clone" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Fhatellezp%2Frustoner" "/workspace/builds/worker-1/source", kill_on_drop: false }`
[INFO] [stderr] Cloning into '/workspace/builds/worker-1/source'...
[INFO] [stderr] done.
[INFO] validating manifest of git repo https://github.com/hatellezp/rustoner on toolchain bb9dbf1d07454a99066eabaabd5819851281494b
[INFO] running `Command { std: "/workspace/cargo-home/bin/cargo" "+bb9dbf1d07454a99066eabaabd5819851281494b" "read-manifest" "--manifest-path" "Cargo.toml", kill_on_drop: false }`
[INFO] started tweaking git repo https://github.com/hatellezp/rustoner
[INFO] finished tweaking git repo https://github.com/hatellezp/rustoner
[INFO] tweaked toml for git repo https://github.com/hatellezp/rustoner written to /workspace/builds/worker-1/source/Cargo.toml
[INFO] crate git repo https://github.com/hatellezp/rustoner already has a lockfile, it will not be regenerated
[INFO] running `Command { std: "/workspace/cargo-home/bin/cargo" "+bb9dbf1d07454a99066eabaabd5819851281494b" "fetch" "--locked" "--manifest-path" "Cargo.toml", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-1/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-1/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" "rustops/crates-build-env@sha256:21f1ed92105a0ef9b0d27ad8bdeb7f36f9f01ac17fffe3a3f3dc5241fc25d8f4" "/opt/rustwide/cargo-home/bin/cargo" "+bb9dbf1d07454a99066eabaabd5819851281494b" "metadata" "--no-deps" "--format-version=1", kill_on_drop: false }`
[INFO] [stderr] WARNING: Your kernel does not support swap limit capabilities or the cgroup is not mounted. Memory limited without swap.
[INFO] [stdout] 4f253ff88ac1358f40a3ee69991cb85bd8b984ef2fa8a3330f930f40ffaa53bf
[INFO] running `Command { std: "docker" "start" "-a" "4f253ff88ac1358f40a3ee69991cb85bd8b984ef2fa8a3330f930f40ffaa53bf", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "inspect" "4f253ff88ac1358f40a3ee69991cb85bd8b984ef2fa8a3330f930f40ffaa53bf", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "4f253ff88ac1358f40a3ee69991cb85bd8b984ef2fa8a3330f930f40ffaa53bf", kill_on_drop: false }`
[INFO] [stdout] 4f253ff88ac1358f40a3ee69991cb85bd8b984ef2fa8a3330f930f40ffaa53bf
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-1/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-1/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" "CARGO_HOME=/opt/rustwide/cargo-home" "-e" "RUSTUP_HOME=/opt/rustwide/rustup-home" "-w" "/opt/rustwide/workdir" "-m" "1610612736" "--user" "0:0" "--network" "none" "rustops/crates-build-env@sha256:21f1ed92105a0ef9b0d27ad8bdeb7f36f9f01ac17fffe3a3f3dc5241fc25d8f4" "/opt/rustwide/cargo-home/bin/cargo" "+bb9dbf1d07454a99066eabaabd5819851281494b" "check" "--frozen" "--all" "--all-targets" "--message-format=json", kill_on_drop: false }`
[INFO] [stdout] 4209f524745126eecbd89060abdff836aeac44141eb224aba7e89e5aed55051d
[INFO] [stderr] WARNING: Your kernel does not support swap limit capabilities or the cgroup is not mounted. Memory limited without swap.
[INFO] running `Command { std: "docker" "start" "-a" "4209f524745126eecbd89060abdff836aeac44141eb224aba7e89e5aed55051d", kill_on_drop: false }`
[INFO] [stderr]    Compiling proc-macro2 v1.0.24
[INFO] [stderr]    Compiling serde_derive v1.0.118
[INFO] [stderr]    Compiling serde v1.0.118
[INFO] [stderr]    Compiling serde_json v1.0.61
[INFO] [stderr]     Checking ryu v1.0.5
[INFO] [stderr]    Compiling quote v1.0.8
[INFO] [stderr]    Compiling syn v1.0.58
[INFO] [stderr]     Checking dllitemm v0.1.0 (/opt/rustwide/workdir)
[INFO] [stdout] warning: unused import: `std::path::Path`
[INFO] [stdout]  --> src/main.rs:1:5
[INFO] [stdout]   |
[INFO] [stdout] 1 | use std::path::Path;
[INFO] [stdout]   |     ^^^^^^^^^^^^^^^
[INFO] [stdout]   |
[INFO] [stdout]   = note: `#[warn(unused_imports)]` on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused import: `Error`
[INFO] [stdout]  --> src/dl_lite/json_utilities.rs:3:18
[INFO] [stdout]   |
[INFO] [stdout] 3 | use serde_json::{Error, Result, Value};
[INFO] [stdout]   |                  ^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused import: `std::iter::Map`
[INFO] [stdout]   --> src/dl_lite/json_utilities.rs:12:5
[INFO] [stdout]    |
[INFO] [stdout] 12 | use std::iter::Map;
[INFO] [stdout]    |     ^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused import: `crate::dl_lite::abox::AB`
[INFO] [stdout]  --> src/dl_lite/ontology.rs:4:5
[INFO] [stdout]   |
[INFO] [stdout] 4 | use crate::dl_lite::abox::AB;
[INFO] [stdout]   |     ^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused import: `std::path::Path`
[INFO] [stdout]  --> src/main.rs:1:5
[INFO] [stdout]   |
[INFO] [stdout] 1 | use std::path::Path;
[INFO] [stdout]   |     ^^^^^^^^^^^^^^^
[INFO] [stdout]   |
[INFO] [stdout]   = note: `#[warn(unused_imports)]` on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused import: `Error`
[INFO] [stdout]  --> src/dl_lite/json_utilities.rs:3:18
[INFO] [stdout]   |
[INFO] [stdout] 3 | use serde_json::{Error, Result, Value};
[INFO] [stdout]   |                  ^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused import: `crate::dl_lite::node::Node`
[INFO] [stdout]  --> src/main.rs:6:5
[INFO] [stdout]   |
[INFO] [stdout] 6 | use crate::dl_lite::node::Node;
[INFO] [stdout]   |     ^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused import: `std::iter::Map`
[INFO] [stdout]   --> src/dl_lite/json_utilities.rs:12:5
[INFO] [stdout]    |
[INFO] [stdout] 12 | use std::iter::Map;
[INFO] [stdout]    |     ^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused import: `crate::dl_lite::tbox::TB`
[INFO] [stdout]  --> src/main.rs:7:5
[INFO] [stdout]   |
[INFO] [stdout] 7 | use crate::dl_lite::tbox::TB;
[INFO] [stdout]   |     ^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused import: `crate::dl_lite::abox::AB`
[INFO] [stdout]  --> src/dl_lite/ontology.rs:4:5
[INFO] [stdout]   |
[INFO] [stdout] 4 | use crate::dl_lite::abox::AB;
[INFO] [stdout]   |     ^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused import: `crate::dl_lite::node::Node`
[INFO] [stdout]  --> src/main.rs:6:5
[INFO] [stdout]   |
[INFO] [stdout] 6 | use crate::dl_lite::node::Node;
[INFO] [stdout]   |     ^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused import: `crate::dl_lite::tbox::TB`
[INFO] [stdout]  --> src/main.rs:7:5
[INFO] [stdout]   |
[INFO] [stdout] 7 | use crate::dl_lite::tbox::TB;
[INFO] [stdout]   |     ^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused import: `crate::dl_lite::tbox_item::TBI`
[INFO] [stdout]  --> src/main.rs:8:5
[INFO] [stdout]   |
[INFO] [stdout] 8 | use crate::dl_lite::tbox_item::TBI;
[INFO] [stdout]   |     ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused import: `DLType`
[INFO] [stdout]  --> src/main.rs:9:29
[INFO] [stdout]   |
[INFO] [stdout] 9 | use crate::dl_lite::types::{DLType, FileType};
[INFO] [stdout]   |                             ^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused imports: `parse_symbols_from_json`, `parse_tbox_from_json`
[INFO] [stdout]   --> src/main.rs:11:38
[INFO] [stdout]    |
[INFO] [stdout] 11 | use crate::dl_lite::json_utilities::{parse_symbols_from_json, parse_tbox_from_json};
[INFO] [stdout]    |                                      ^^^^^^^^^^^^^^^^^^^^^^^  ^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused import: `std::collections::HashMap`
[INFO] [stdout]   --> src/main.rs:12:5
[INFO] [stdout]    |
[INFO] [stdout] 12 | use std::collections::HashMap;
[INFO] [stdout]    |     ^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused import: `std::fs::File`
[INFO] [stdout]   --> src/main.rs:14:5
[INFO] [stdout]    |
[INFO] [stdout] 14 | use std::fs::File;
[INFO] [stdout]    |     ^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused import: `crate::dl_lite::tbox_item::TBI`
[INFO] [stdout]  --> src/main.rs:8:5
[INFO] [stdout]   |
[INFO] [stdout] 8 | use crate::dl_lite::tbox_item::TBI;
[INFO] [stdout]   |     ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused import: `DLType`
[INFO] [stdout]  --> src/main.rs:9:29
[INFO] [stdout]   |
[INFO] [stdout] 9 | use crate::dl_lite::types::{DLType, FileType};
[INFO] [stdout]   |                             ^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused imports: `parse_symbols_from_json`, `parse_tbox_from_json`
[INFO] [stdout]   --> src/main.rs:11:38
[INFO] [stdout]    |
[INFO] [stdout] 11 | use crate::dl_lite::json_utilities::{parse_symbols_from_json, parse_tbox_from_json};
[INFO] [stdout]    |                                      ^^^^^^^^^^^^^^^^^^^^^^^  ^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused import: `std::collections::HashMap`
[INFO] [stdout]   --> src/main.rs:12:5
[INFO] [stdout]    |
[INFO] [stdout] 12 | use std::collections::HashMap;
[INFO] [stdout]    |     ^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused import: `std::fs::File`
[INFO] [stdout]   --> src/main.rs:14:5
[INFO] [stdout]    |
[INFO] [stdout] 14 | use std::fs::File;
[INFO] [stdout]    |     ^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `n`
[INFO] [stdout]   --> src/dl_lite/json_utilities.rs:99:21
[INFO] [stdout]    |
[INFO] [stdout] 99 |     fn none_default(n: Node) -> Option<Node> {
[INFO] [stdout]    |                     ^ help: if this is intentional, prefix it with an underscore: `_n`
[INFO] [stdout]    |
[INFO] [stdout]    = note: `#[warn(unused_variables)]` on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `value`
[INFO] [stdout]    --> src/dl_lite/json_utilities.rs:245:24
[INFO] [stdout]     |
[INFO] [stdout] 245 | pub fn parse_value_abi(value: &Value, symbols: Vec<&Node>) -> Option<ABI> {
[INFO] [stdout]     |                        ^^^^^ help: if this is intentional, prefix it with an underscore: `_value`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `symbols`
[INFO] [stdout]    --> src/dl_lite/json_utilities.rs:245:39
[INFO] [stdout]     |
[INFO] [stdout] 245 | pub fn parse_value_abi(value: &Value, symbols: Vec<&Node>) -> Option<ABI> {
[INFO] [stdout]     |                                       ^^^^^^^ help: if this is intentional, prefix it with an underscore: `_symbols`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `filename`
[INFO] [stdout]    --> src/dl_lite/json_utilities.rs:380:29
[INFO] [stdout]     |
[INFO] [stdout] 380 | pub fn parse_abox_from_json(filename: &str) -> Option<AB> {
[INFO] [stdout]     |                             ^^^^^^^^ help: if this is intentional, prefix it with an underscore: `_filename`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `vec`
[INFO] [stdout]    --> src/dl_lite/rule.rs:177:25
[INFO] [stdout]     |
[INFO] [stdout] 177 | pub fn dl_lite_rule_six(vec: Vec<&TBI>) -> Option<Vec<TBI>> {
[INFO] [stdout]     |                         ^^^ help: if this is intentional, prefix it with an underscore: `_vec`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: value assigned to `is_already_treated` is never read
[INFO] [stdout]    --> src/dl_lite/tbox.rs:282:17
[INFO] [stdout]     |
[INFO] [stdout] 282 |                 is_already_treated = false;
[INFO] [stdout]     |                 ^^^^^^^^^^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout]     = note: `#[warn(unused_assignments)]` on by default
[INFO] [stdout]     = help: maybe it is overwritten before being read?
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `abox_filename`
[INFO] [stdout]    --> src/dl_lite/ontology.rs:127:37
[INFO] [stdout]     |
[INFO] [stdout] 127 |     pub fn find_consequences(&self, abox_filename: &str) -> Vec<ABI> {
[INFO] [stdout]     |                                     ^^^^^^^^^^^^^ help: if this is intentional, prefix it with an underscore: `_abox_filename`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `low`
[INFO] [stdout]    --> src/dl_lite/ontology.rs:155:21
[INFO] [stdout]     |
[INFO] [stdout] 155 |                let (low, high) = Ontology::find_lower_and_highest_value_from_symbols(self.symbols());
[INFO] [stdout]     |                     ^^^ help: if this is intentional, prefix it with an underscore: `_low`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `c`
[INFO] [stdout]    --> src/dl_lite/ontology.rs:238:33
[INFO] [stdout]     |
[INFO] [stdout] 238 |                     let (a, (b, c)) = symbol;
[INFO] [stdout]     |                                 ^ help: if this is intentional, prefix it with an underscore: `_c`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `n`
[INFO] [stdout]   --> src/dl_lite/json_utilities.rs:99:21
[INFO] [stdout]    |
[INFO] [stdout] 99 |     fn none_default(n: Node) -> Option<Node> {
[INFO] [stdout]    |                     ^ help: if this is intentional, prefix it with an underscore: `_n`
[INFO] [stdout]    |
[INFO] [stdout]    = note: `#[warn(unused_variables)]` on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `value`
[INFO] [stdout]    --> src/dl_lite/json_utilities.rs:245:24
[INFO] [stdout]     |
[INFO] [stdout] 245 | pub fn parse_value_abi(value: &Value, symbols: Vec<&Node>) -> Option<ABI> {
[INFO] [stdout]     |                        ^^^^^ help: if this is intentional, prefix it with an underscore: `_value`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `symbols`
[INFO] [stdout]    --> src/dl_lite/json_utilities.rs:245:39
[INFO] [stdout]     |
[INFO] [stdout] 245 | pub fn parse_value_abi(value: &Value, symbols: Vec<&Node>) -> Option<ABI> {
[INFO] [stdout]     |                                       ^^^^^^^ help: if this is intentional, prefix it with an underscore: `_symbols`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `filename`
[INFO] [stdout]    --> src/dl_lite/json_utilities.rs:380:29
[INFO] [stdout]     |
[INFO] [stdout] 380 | pub fn parse_abox_from_json(filename: &str) -> Option<AB> {
[INFO] [stdout]     |                             ^^^^^^^^ help: if this is intentional, prefix it with an underscore: `_filename`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `vec`
[INFO] [stdout]    --> src/dl_lite/rule.rs:177:25
[INFO] [stdout]     |
[INFO] [stdout] 177 | pub fn dl_lite_rule_six(vec: Vec<&TBI>) -> Option<Vec<TBI>> {
[INFO] [stdout]     |                         ^^^ help: if this is intentional, prefix it with an underscore: `_vec`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: value assigned to `is_already_treated` is never read
[INFO] [stdout]    --> src/dl_lite/tbox.rs:282:17
[INFO] [stdout]     |
[INFO] [stdout] 282 |                 is_already_treated = false;
[INFO] [stdout]     |                 ^^^^^^^^^^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout]     = note: `#[warn(unused_assignments)]` on by default
[INFO] [stdout]     = help: maybe it is overwritten before being read?
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `abox_filename`
[INFO] [stdout]    --> src/dl_lite/ontology.rs:127:37
[INFO] [stdout]     |
[INFO] [stdout] 127 |     pub fn find_consequences(&self, abox_filename: &str) -> Vec<ABI> {
[INFO] [stdout]     |                                     ^^^^^^^^^^^^^ help: if this is intentional, prefix it with an underscore: `_abox_filename`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `low`
[INFO] [stdout]    --> src/dl_lite/ontology.rs:155:21
[INFO] [stdout]     |
[INFO] [stdout] 155 |                let (low, high) = Ontology::find_lower_and_highest_value_from_symbols(self.symbols());
[INFO] [stdout]     |                     ^^^ help: if this is intentional, prefix it with an underscore: `_low`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `c`
[INFO] [stdout]    --> src/dl_lite/ontology.rs:238:33
[INFO] [stdout]     |
[INFO] [stdout] 238 |                     let (a, (b, c)) = symbol;
[INFO] [stdout]     |                                 ^ help: if this is intentional, prefix it with an underscore: `_c`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable does not need to be mutable
[INFO] [stdout]    --> src/dl_lite/tbox.rs:351:33
[INFO] [stdout]     |
[INFO] [stdout] 351 | ...                   let mut new_item_vec = TBI::apply(&current_item, &item, rule);
[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/dl_lite/ontology.rs:222:13
[INFO] [stdout]     |
[INFO] [stdout] 222 |         let mut left_current = String::new();
[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/dl_lite/ontology.rs:223:13
[INFO] [stdout]     |
[INFO] [stdout] 223 |         let mut right_current = String::new();
[INFO] [stdout]     |             ----^^^^^^^^^^^^^
[INFO] [stdout]     |             |
[INFO] [stdout]     |             help: remove this `mut`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: associated function is never used: `new`
[INFO] [stdout]   --> src/dl_lite/abox.rs:34:12
[INFO] [stdout]    |
[INFO] [stdout] 34 |     pub fn new() -> AB {
[INFO] [stdout]    |            ^^^
[INFO] [stdout]    |
[INFO] [stdout]    = note: `#[warn(dead_code)]` on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: associated function is never used: `add`
[INFO] [stdout]   --> src/dl_lite/abox.rs:41:12
[INFO] [stdout]    |
[INFO] [stdout] 41 |     pub fn add(&mut self, abi: ABI) -> bool {
[INFO] [stdout]    |            ^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: associated function is never used: `len`
[INFO] [stdout]   --> src/dl_lite/abox.rs:54:12
[INFO] [stdout]    |
[INFO] [stdout] 54 |     pub fn len(&self) -> usize {
[INFO] [stdout]    |            ^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variant is never constructed: `None`
[INFO] [stdout]   --> src/dl_lite/abox_item.rs:11:5
[INFO] [stdout]    |
[INFO] [stdout] 11 |     None,
[INFO] [stdout]    |     ^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variant is never constructed: `Left`
[INFO] [stdout]   --> src/dl_lite/abox_item.rs:12:5
[INFO] [stdout]    |
[INFO] [stdout] 12 |     Left,
[INFO] [stdout]    |     ^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variant is never constructed: `Right`
[INFO] [stdout]   --> src/dl_lite/abox_item.rs:13:5
[INFO] [stdout]    |
[INFO] [stdout] 13 |     Right,
[INFO] [stdout]    |     ^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variant is never constructed: `RA`
[INFO] [stdout]   --> src/dl_lite/abox_item.rs:21:5
[INFO] [stdout]    |
[INFO] [stdout] 21 |     RA(Node, Node, Node), // role assertion
[INFO] [stdout]    |     ^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variant is never constructed: `CA`
[INFO] [stdout]   --> src/dl_lite/abox_item.rs:22:5
[INFO] [stdout]    |
[INFO] [stdout] 22 |     CA(Node, Node),       // concept assertion
[INFO] [stdout]    |     ^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: associated function is never used: `new_ra`
[INFO] [stdout]   --> src/dl_lite/abox_item.rs:35:12
[INFO] [stdout]    |
[INFO] [stdout] 35 |     pub fn new_ra(r: Node, a: Node, b: Node) -> Option<ABI> {
[INFO] [stdout]    |            ^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: associated function is never used: `new_ca`
[INFO] [stdout]   --> src/dl_lite/abox_item.rs:46:12
[INFO] [stdout]    |
[INFO] [stdout] 46 |     pub fn new_ca(c: Node, a: Node) -> Option<ABI> {
[INFO] [stdout]    |            ^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: associated function is never used: `t`
[INFO] [stdout]   --> src/dl_lite/abox_item.rs:56:12
[INFO] [stdout]    |
[INFO] [stdout] 56 |     pub fn t(&self) -> DLType {
[INFO] [stdout]    |            ^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: associated function is never used: `symbol`
[INFO] [stdout]   --> src/dl_lite/abox_item.rs:64:12
[INFO] [stdout]    |
[INFO] [stdout] 64 |     pub fn symbol(&self) -> &Node {
[INFO] [stdout]    |            ^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: associated function is never used: `nominal`
[INFO] [stdout]   --> src/dl_lite/abox_item.rs:74:12
[INFO] [stdout]    |
[INFO] [stdout] 74 |     pub fn nominal(&self, position: usize) -> Option<&Node> {
[INFO] [stdout]    |            ^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: associated function is never used: `decompact`
[INFO] [stdout]    --> src/dl_lite/abox_item.rs:101:12
[INFO] [stdout]     |
[INFO] [stdout] 101 |     pub fn decompact(self) -> (Node, Node, Option<Node>) {
[INFO] [stdout]     |            ^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: associated function is never used: `decompact_with_clone`
[INFO] [stdout]    --> src/dl_lite/abox_item.rs:108:12
[INFO] [stdout]     |
[INFO] [stdout] 108 |     pub fn decompact_with_clone(&self) -> (Node, Node, Option<Node>) {
[INFO] [stdout]     |            ^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: associated function is never used: `is_match`
[INFO] [stdout]    --> src/dl_lite/abox_item.rs:113:12
[INFO] [stdout]     |
[INFO] [stdout] 113 |     pub fn is_match(&self, tbi: &TBI) -> Side {
[INFO] [stdout]     |            ^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: associated function is never used: `apply_one`
[INFO] [stdout]    --> src/dl_lite/abox_item.rs:136:12
[INFO] [stdout]     |
[INFO] [stdout] 136 |     pub fn apply_one(one: &ABI, tbox: &TB) -> Option<Vec<ABI>> {
[INFO] [stdout]     |            ^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: function is never used: `complete_helper_dump_from_mutex_temporal_to_current2`
[INFO] [stdout]  --> src/dl_lite/helpers_and_utilities.rs:8:8
[INFO] [stdout]   |
[INFO] [stdout] 8 | pub fn complete_helper_dump_from_mutex_temporal_to_current2<T: Display + PartialEq + Eq>(
[INFO] [stdout]   |        ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: function is never used: `tbox_complete_helper_dump_from_mutex_temporal_to_current2`
[INFO] [stdout]   --> src/dl_lite/helpers_and_utilities.rs:64:8
[INFO] [stdout]    |
[INFO] [stdout] 64 | pub fn tbox_complete_helper_dump_from_mutex_temporal_to_current2(
[INFO] [stdout]    |        ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: function is never used: `complete_helper_add_if_necessary_one`
[INFO] [stdout]    --> src/dl_lite/helpers_and_utilities.rs:119:8
[INFO] [stdout]     |
[INFO] [stdout] 119 | pub fn complete_helper_add_if_necessary_one<T: Display + PartialEq + Eq>(
[INFO] [stdout]     |        ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: function is never used: `complete_helper_add_if_necessary_two`
[INFO] [stdout]    --> src/dl_lite/helpers_and_utilities.rs:150:8
[INFO] [stdout]     |
[INFO] [stdout] 150 | pub fn complete_helper_add_if_necessary_two<T: Display + PartialEq + Eq>(
[INFO] [stdout]     |        ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variant is never constructed: `Null`
[INFO] [stdout]   --> src/dl_lite/json_utilities.rs:17:5
[INFO] [stdout]    |
[INFO] [stdout] 17 |     Null,
[INFO] [stdout]    |     ^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variant is never constructed: `Bool`
[INFO] [stdout]   --> src/dl_lite/json_utilities.rs:18:5
[INFO] [stdout]    |
[INFO] [stdout] 18 |     Bool,
[INFO] [stdout]    |     ^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variant is never constructed: `Number`
[INFO] [stdout]   --> src/dl_lite/json_utilities.rs:19:5
[INFO] [stdout]    |
[INFO] [stdout] 19 |     Number,
[INFO] [stdout]    |     ^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variant is never constructed: `String`
[INFO] [stdout]   --> src/dl_lite/json_utilities.rs:20:5
[INFO] [stdout]    |
[INFO] [stdout] 20 |     String,
[INFO] [stdout]    |     ^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variant is never constructed: `Array`
[INFO] [stdout]   --> src/dl_lite/json_utilities.rs:21:5
[INFO] [stdout]    |
[INFO] [stdout] 21 |     Array,
[INFO] [stdout]    |     ^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variant is never constructed: `Object`
[INFO] [stdout]   --> src/dl_lite/json_utilities.rs:22:5
[INFO] [stdout]    |
[INFO] [stdout] 22 |     Object,
[INFO] [stdout]    |     ^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: function is never used: `parse_value_abi`
[INFO] [stdout]    --> src/dl_lite/json_utilities.rs:245:8
[INFO] [stdout]     |
[INFO] [stdout] 245 | pub fn parse_value_abi(value: &Value, symbols: Vec<&Node>) -> Option<ABI> {
[INFO] [stdout]     |        ^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: function is never used: `parse_abox_from_json`
[INFO] [stdout]    --> src/dl_lite/json_utilities.rs:380:8
[INFO] [stdout]     |
[INFO] [stdout] 380 | pub fn parse_abox_from_json(filename: &str) -> Option<AB> {
[INFO] [stdout]     |        ^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: associated function is never used: `n`
[INFO] [stdout]   --> src/dl_lite/node.rs:52:12
[INFO] [stdout]    |
[INFO] [stdout] 52 |     pub fn n(&self) -> usize {
[INFO] [stdout]    |            ^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: associated function is never used: `retrieve_base`
[INFO] [stdout]   --> src/dl_lite/node.rs:82:12
[INFO] [stdout]    |
[INFO] [stdout] 82 |     pub fn retrieve_base(node: &Node) -> &Node {
[INFO] [stdout]    |            ^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: associated function is never used: `child`
[INFO] [stdout]   --> src/dl_lite/node.rs:93:12
[INFO] [stdout]    |
[INFO] [stdout] 93 |     pub fn child(node: Option<&Node>) -> Option<&Self> {
[INFO] [stdout]    |            ^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: associated function is never used: `child_r`
[INFO] [stdout]    --> src/dl_lite/node.rs:104:12
[INFO] [stdout]     |
[INFO] [stdout] 104 |     pub fn child_r(node: Option<&Node>, depth: usize) -> Option<&Self> {
[INFO] [stdout]     |            ^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: associated function is never used: `is_negation`
[INFO] [stdout]    --> src/dl_lite/node.rs:142:12
[INFO] [stdout]     |
[INFO] [stdout] 142 |     pub fn is_negation(&self, other: &Node) -> bool {
[INFO] [stdout]     |            ^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: associated function is never used: `is_inverted`
[INFO] [stdout]    --> src/dl_lite/node.rs:164:12
[INFO] [stdout]     |
[INFO] [stdout] 164 |     pub fn is_inverted(&self) -> bool {
[INFO] [stdout]     |            ^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: associated function is never used: `is_inverse`
[INFO] [stdout]    --> src/dl_lite/node.rs:168:12
[INFO] [stdout]     |
[INFO] [stdout] 168 |     pub fn is_inverse(&self, other: &Node) -> bool {
[INFO] [stdout]     |            ^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: associated function is never used: `print_iter`
[INFO] [stdout]    --> src/dl_lite/node.rs:177:12
[INFO] [stdout]     |
[INFO] [stdout] 177 |     pub fn print_iter<I>(it: I) -> String
[INFO] [stdout]     |            ^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: type alias is never used: `TbRule`
[INFO] [stdout]   --> src/dl_lite/rule.rs:10:1
[INFO] [stdout]    |
[INFO] [stdout] 10 | pub type TbRule = fn(Vec<&TBI>) -> Option<Vec<TBI>>;
[INFO] [stdout]    | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: type alias is never used: `AbRule`
[INFO] [stdout]   --> src/dl_lite/rule.rs:11:1
[INFO] [stdout]    |
[INFO] [stdout] 11 | pub type AbRule = fn(Vec<&TBI>, Vec<&ABI>) -> Option<Vec<ABI>>;
[INFO] [stdout]    | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: function is never used: `dl_lite_rule_one`
[INFO] [stdout]   --> src/dl_lite/rule.rs:16:8
[INFO] [stdout]    |
[INFO] [stdout] 16 | pub fn dl_lite_rule_one(vec: Vec<&TBI>) -> Option<Vec<TBI>> {
[INFO] [stdout]    |        ^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: function is never used: `dl_lite_rule_two`
[INFO] [stdout]   --> src/dl_lite/rule.rs:34:8
[INFO] [stdout]    |
[INFO] [stdout] 34 | pub fn dl_lite_rule_two(vec: Vec<&TBI>) -> Option<Vec<TBI>> {
[INFO] [stdout]    |        ^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: function is never used: `dl_lite_rule_three`
[INFO] [stdout]   --> src/dl_lite/rule.rs:56:8
[INFO] [stdout]    |
[INFO] [stdout] 56 | pub fn dl_lite_rule_three(vec: Vec<&TBI>) -> Option<Vec<TBI>> {
[INFO] [stdout]    |        ^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: function is never used: `dl_lite_rule_four`
[INFO] [stdout]    --> src/dl_lite/rule.rs:102:8
[INFO] [stdout]     |
[INFO] [stdout] 102 | pub fn dl_lite_rule_four(vec: Vec<&TBI>) -> Option<Vec<TBI>> {
[INFO] [stdout]     |        ^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: function is never used: `dl_lite_rule_five`
[INFO] [stdout]    --> src/dl_lite/rule.rs:146:8
[INFO] [stdout]     |
[INFO] [stdout] 146 | pub fn dl_lite_rule_five(vec: Vec<&TBI>) -> Option<Vec<TBI>> {
[INFO] [stdout]     |        ^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: function is never used: `dl_lite_rule_six`
[INFO] [stdout]    --> src/dl_lite/rule.rs:177:8
[INFO] [stdout]     |
[INFO] [stdout] 177 | pub fn dl_lite_rule_six(vec: Vec<&TBI>) -> Option<Vec<TBI>> {
[INFO] [stdout]     |        ^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: function is never used: `dl_lite_rule_seven`
[INFO] [stdout]    --> src/dl_lite/rule.rs:182:8
[INFO] [stdout]     |
[INFO] [stdout] 182 | pub fn dl_lite_rule_seven(vec: Vec<&TBI>) -> Option<Vec<TBI>> {
[INFO] [stdout]     |        ^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: function is never used: `dl_lite_rule_eight`
[INFO] [stdout]    --> src/dl_lite/rule.rs:215:8
[INFO] [stdout]     |
[INFO] [stdout] 215 | pub fn dl_lite_rule_eight(vec: Vec<&TBI>) -> Option<Vec<TBI>> {
[INFO] [stdout]     |        ^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: associated function is never used: `new_from_iter`
[INFO] [stdout]   --> src/dl_lite/tbox.rs:76:12
[INFO] [stdout]    |
[INFO] [stdout] 76 |     pub fn new_from_iter<I>(it: I) -> TB
[INFO] [stdout]    |            ^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: associated function is never used: `len`
[INFO] [stdout]   --> src/dl_lite/tbox.rs:89:12
[INFO] [stdout]    |
[INFO] [stdout] 89 |     pub fn len(&self) -> usize {
[INFO] [stdout]    |            ^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: associated function is never used: `is_empty`
[INFO] [stdout]   --> src/dl_lite/tbox.rs:93:12
[INFO] [stdout]    |
[INFO] [stdout] 93 |     pub fn is_empty(&self) -> bool {
[INFO] [stdout]    |            ^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: associated function is never used: `completed`
[INFO] [stdout]    --> src/dl_lite/tbox.rs:101:12
[INFO] [stdout]     |
[INFO] [stdout] 101 |     pub fn completed(&self) -> &bool {
[INFO] [stdout]     |            ^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: associated function is never used: `is_completed`
[INFO] [stdout]    --> src/dl_lite/tbox.rs:109:12
[INFO] [stdout]     |
[INFO] [stdout] 109 |     pub fn is_completed(&self) -> bool {
[INFO] [stdout]     |            ^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: associated function is never used: `complete2`
[INFO] [stdout]    --> src/dl_lite/tbox.rs:113:12
[INFO] [stdout]     |
[INFO] [stdout] 113 |     pub fn complete2(&self, verbose: bool) -> TB {
[INFO] [stdout]     |            ^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: associated function is never used: `is_satisfiable`
[INFO] [stdout]    --> src/dl_lite/tbox.rs:448:12
[INFO] [stdout]     |
[INFO] [stdout] 448 |     pub fn is_satisfiable(&self, verbose: bool) -> bool {
[INFO] [stdout]     |            ^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: associated function is never used: `is_contradiction`
[INFO] [stdout]   --> src/dl_lite/tbox_item.rs:42:12
[INFO] [stdout]    |
[INFO] [stdout] 42 |     pub fn is_contradiction(&self) -> bool {
[INFO] [stdout]    |            ^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: associated function is never used: `decompact`
[INFO] [stdout]   --> src/dl_lite/tbox_item.rs:47:12
[INFO] [stdout]    |
[INFO] [stdout] 47 |     pub fn decompact(self) -> (Node, Node) {
[INFO] [stdout]    |            ^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: associated function is never used: `decompact_with_clone`
[INFO] [stdout]   --> src/dl_lite/tbox_item.rs:52:12
[INFO] [stdout]    |
[INFO] [stdout] 52 |     pub fn decompact_with_clone(&self) -> (Node, Node) {
[INFO] [stdout]    |            ^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: associated function is never used: `reverse_negation`
[INFO] [stdout]   --> src/dl_lite/tbox_item.rs:56:12
[INFO] [stdout]    |
[INFO] [stdout] 56 |     pub fn reverse_negation(&self) -> Option<TBI> {
[INFO] [stdout]    |            ^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: associated function is never used: `apply`
[INFO] [stdout]   --> src/dl_lite/tbox_item.rs:70:12
[INFO] [stdout]    |
[INFO] [stdout] 70 |     pub fn apply(one: &TBI, two: &TBI, rule: &TbRule) -> Option<Vec<TBI>> {
[INFO] [stdout]    |            ^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variant is never constructed: `First`
[INFO] [stdout]   --> src/dl_lite/types.rs:66:5
[INFO] [stdout]    |
[INFO] [stdout] 66 |     First,
[INFO] [stdout]    |     ^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variant is never constructed: `Second`
[INFO] [stdout]   --> src/dl_lite/types.rs:67:5
[INFO] [stdout]    |
[INFO] [stdout] 67 |     Second,
[INFO] [stdout]    |     ^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variant is never constructed: `Third`
[INFO] [stdout]   --> src/dl_lite/types.rs:68:5
[INFO] [stdout]    |
[INFO] [stdout] 68 |     Third,
[INFO] [stdout]    |     ^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variant is never constructed: `Fourth`
[INFO] [stdout]   --> src/dl_lite/types.rs:69:5
[INFO] [stdout]    |
[INFO] [stdout] 69 |     Fourth,
[INFO] [stdout]    |     ^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variant is never constructed: `Fifth`
[INFO] [stdout]   --> src/dl_lite/types.rs:70:5
[INFO] [stdout]    |
[INFO] [stdout] 70 |     Fifth,
[INFO] [stdout]    |     ^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variant is never constructed: `Sixth`
[INFO] [stdout]   --> src/dl_lite/types.rs:71:5
[INFO] [stdout]    |
[INFO] [stdout] 71 |     Sixth,
[INFO] [stdout]    |     ^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variant is never constructed: `Seventh`
[INFO] [stdout]   --> src/dl_lite/types.rs:72:5
[INFO] [stdout]    |
[INFO] [stdout] 72 |     Seventh,
[INFO] [stdout]    |     ^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variant is never constructed: `Eight`
[INFO] [stdout]   --> src/dl_lite/types.rs:73:5
[INFO] [stdout]    |
[INFO] [stdout] 73 |     Eight,
[INFO] [stdout]    |     ^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variant is never constructed: `NATIVE`
[INFO] [stdout]   --> src/dl_lite/types.rs:95:5
[INFO] [stdout]    |
[INFO] [stdout] 95 |     NATIVE,
[INFO] [stdout]    |     ^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: associated function is never used: `add_tbox`
[INFO] [stdout]    --> src/dl_lite/ontology.rs:112:12
[INFO] [stdout]     |
[INFO] [stdout] 112 |     pub fn add_tbox(&mut self, tb: &TB) {
[INFO] [stdout]     |            ^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: associated function is never used: `complete_tbox`
[INFO] [stdout]    --> src/dl_lite/ontology.rs:121:12
[INFO] [stdout]     |
[INFO] [stdout] 121 |     pub fn complete_tbox(&self) -> TB {
[INFO] [stdout]     |            ^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: associated function is never used: `is_satisfiable`
[INFO] [stdout]    --> src/dl_lite/ontology.rs:125:12
[INFO] [stdout]     |
[INFO] [stdout] 125 |     pub fn is_satisfiable(&self) -> bool { false }
[INFO] [stdout]     |            ^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: associated function is never used: `find_consequences`
[INFO] [stdout]    --> src/dl_lite/ontology.rs:127:12
[INFO] [stdout]     |
[INFO] [stdout] 127 |     pub fn find_consequences(&self, abox_filename: &str) -> Vec<ABI> {
[INFO] [stdout]     |            ^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: associated function is never used: `tbox`
[INFO] [stdout]    --> src/dl_lite/ontology.rs:137:12
[INFO] [stdout]     |
[INFO] [stdout] 137 |     pub fn tbox(&self) -> &TB {
[INFO] [stdout]     |            ^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: associated function is never used: `len`
[INFO] [stdout]    --> src/dl_lite/ontology.rs:142:12
[INFO] [stdout]     |
[INFO] [stdout] 142 |     pub fn len(&self) -> (usize, usize) {
[INFO] [stdout]     |            ^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: type alias is never used: `AxiomRule`
[INFO] [stdout]   --> src/kb/knowledge_base.rs:17:1
[INFO] [stdout]    |
[INFO] [stdout] 17 | type AxiomRule = fn(Vec<&dyn AxiomItem>) -> Option<Vec<dyn AxiomItem>>;
[INFO] [stdout]    | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: type alias is never used: `DataRule`
[INFO] [stdout]   --> src/kb/knowledge_base.rs:18:1
[INFO] [stdout]    |
[INFO] [stdout] 18 | type DataRule = fn(Vec<&dyn AxiomItem>, Vec<&dyn DataItem>) -> Option<Vec<dyn DataItem>>;
[INFO] [stdout]    | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable does not need to be mutable
[INFO] [stdout]    --> src/dl_lite/tbox.rs:351:33
[INFO] [stdout]     |
[INFO] [stdout] 351 | ...                   let mut new_item_vec = TBI::apply(&current_item, &item, rule);
[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/dl_lite/ontology.rs:222:13
[INFO] [stdout]     |
[INFO] [stdout] 222 |         let mut left_current = String::new();
[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/dl_lite/ontology.rs:223:13
[INFO] [stdout]     |
[INFO] [stdout] 223 |         let mut right_current = String::new();
[INFO] [stdout]     |             ----^^^^^^^^^^^^^
[INFO] [stdout]     |             |
[INFO] [stdout]     |             help: remove this `mut`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: 99 warnings emitted
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: associated function is never used: `new`
[INFO] [stdout]   --> src/dl_lite/abox.rs:34:12
[INFO] [stdout]    |
[INFO] [stdout] 34 |     pub fn new() -> AB {
[INFO] [stdout]    |            ^^^
[INFO] [stdout]    |
[INFO] [stdout]    = note: `#[warn(dead_code)]` on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: associated function is never used: `add`
[INFO] [stdout]   --> src/dl_lite/abox.rs:41:12
[INFO] [stdout]    |
[INFO] [stdout] 41 |     pub fn add(&mut self, abi: ABI) -> bool {
[INFO] [stdout]    |            ^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: associated function is never used: `len`
[INFO] [stdout]   --> src/dl_lite/abox.rs:54:12
[INFO] [stdout]    |
[INFO] [stdout] 54 |     pub fn len(&self) -> usize {
[INFO] [stdout]    |            ^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variant is never constructed: `None`
[INFO] [stdout]   --> src/dl_lite/abox_item.rs:11:5
[INFO] [stdout]    |
[INFO] [stdout] 11 |     None,
[INFO] [stdout]    |     ^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variant is never constructed: `Left`
[INFO] [stdout]   --> src/dl_lite/abox_item.rs:12:5
[INFO] [stdout]    |
[INFO] [stdout] 12 |     Left,
[INFO] [stdout]    |     ^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variant is never constructed: `Right`
[INFO] [stdout]   --> src/dl_lite/abox_item.rs:13:5
[INFO] [stdout]    |
[INFO] [stdout] 13 |     Right,
[INFO] [stdout]    |     ^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variant is never constructed: `RA`
[INFO] [stdout]   --> src/dl_lite/abox_item.rs:21:5
[INFO] [stdout]    |
[INFO] [stdout] 21 |     RA(Node, Node, Node), // role assertion
[INFO] [stdout]    |     ^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variant is never constructed: `CA`
[INFO] [stdout]   --> src/dl_lite/abox_item.rs:22:5
[INFO] [stdout]    |
[INFO] [stdout] 22 |     CA(Node, Node),       // concept assertion
[INFO] [stdout]    |     ^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: associated function is never used: `new_ra`
[INFO] [stdout]   --> src/dl_lite/abox_item.rs:35:12
[INFO] [stdout]    |
[INFO] [stdout] 35 |     pub fn new_ra(r: Node, a: Node, b: Node) -> Option<ABI> {
[INFO] [stdout]    |            ^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: associated function is never used: `new_ca`
[INFO] [stdout]   --> src/dl_lite/abox_item.rs:46:12
[INFO] [stdout]    |
[INFO] [stdout] 46 |     pub fn new_ca(c: Node, a: Node) -> Option<ABI> {
[INFO] [stdout]    |            ^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: associated function is never used: `t`
[INFO] [stdout]   --> src/dl_lite/abox_item.rs:56:12
[INFO] [stdout]    |
[INFO] [stdout] 56 |     pub fn t(&self) -> DLType {
[INFO] [stdout]    |            ^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: associated function is never used: `symbol`
[INFO] [stdout]   --> src/dl_lite/abox_item.rs:64:12
[INFO] [stdout]    |
[INFO] [stdout] 64 |     pub fn symbol(&self) -> &Node {
[INFO] [stdout]    |            ^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: associated function is never used: `nominal`
[INFO] [stdout]   --> src/dl_lite/abox_item.rs:74:12
[INFO] [stdout]    |
[INFO] [stdout] 74 |     pub fn nominal(&self, position: usize) -> Option<&Node> {
[INFO] [stdout]    |            ^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: associated function is never used: `decompact`
[INFO] [stdout]    --> src/dl_lite/abox_item.rs:101:12
[INFO] [stdout]     |
[INFO] [stdout] 101 |     pub fn decompact(self) -> (Node, Node, Option<Node>) {
[INFO] [stdout]     |            ^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: associated function is never used: `decompact_with_clone`
[INFO] [stdout]    --> src/dl_lite/abox_item.rs:108:12
[INFO] [stdout]     |
[INFO] [stdout] 108 |     pub fn decompact_with_clone(&self) -> (Node, Node, Option<Node>) {
[INFO] [stdout]     |            ^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: associated function is never used: `is_match`
[INFO] [stdout]    --> src/dl_lite/abox_item.rs:113:12
[INFO] [stdout]     |
[INFO] [stdout] 113 |     pub fn is_match(&self, tbi: &TBI) -> Side {
[INFO] [stdout]     |            ^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: associated function is never used: `apply_one`
[INFO] [stdout]    --> src/dl_lite/abox_item.rs:136:12
[INFO] [stdout]     |
[INFO] [stdout] 136 |     pub fn apply_one(one: &ABI, tbox: &TB) -> Option<Vec<ABI>> {
[INFO] [stdout]     |            ^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: function is never used: `complete_helper_dump_from_mutex_temporal_to_current2`
[INFO] [stdout]  --> src/dl_lite/helpers_and_utilities.rs:8:8
[INFO] [stdout]   |
[INFO] [stdout] 8 | pub fn complete_helper_dump_from_mutex_temporal_to_current2<T: Display + PartialEq + Eq>(
[INFO] [stdout]   |        ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: function is never used: `tbox_complete_helper_dump_from_mutex_temporal_to_current2`
[INFO] [stdout]   --> src/dl_lite/helpers_and_utilities.rs:64:8
[INFO] [stdout]    |
[INFO] [stdout] 64 | pub fn tbox_complete_helper_dump_from_mutex_temporal_to_current2(
[INFO] [stdout]    |        ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: function is never used: `complete_helper_add_if_necessary_one`
[INFO] [stdout]    --> src/dl_lite/helpers_and_utilities.rs:119:8
[INFO] [stdout]     |
[INFO] [stdout] 119 | pub fn complete_helper_add_if_necessary_one<T: Display + PartialEq + Eq>(
[INFO] [stdout]     |        ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: function is never used: `complete_helper_add_if_necessary_two`
[INFO] [stdout]    --> src/dl_lite/helpers_and_utilities.rs:150:8
[INFO] [stdout]     |
[INFO] [stdout] 150 | pub fn complete_helper_add_if_necessary_two<T: Display + PartialEq + Eq>(
[INFO] [stdout]     |        ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variant is never constructed: `Null`
[INFO] [stdout]   --> src/dl_lite/json_utilities.rs:17:5
[INFO] [stdout]    |
[INFO] [stdout] 17 |     Null,
[INFO] [stdout]    |     ^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variant is never constructed: `Bool`
[INFO] [stdout]   --> src/dl_lite/json_utilities.rs:18:5
[INFO] [stdout]    |
[INFO] [stdout] 18 |     Bool,
[INFO] [stdout]    |     ^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variant is never constructed: `Number`
[INFO] [stdout]   --> src/dl_lite/json_utilities.rs:19:5
[INFO] [stdout]    |
[INFO] [stdout] 19 |     Number,
[INFO] [stdout]    |     ^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variant is never constructed: `String`
[INFO] [stdout]   --> src/dl_lite/json_utilities.rs:20:5
[INFO] [stdout]    |
[INFO] [stdout] 20 |     String,
[INFO] [stdout]    |     ^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variant is never constructed: `Array`
[INFO] [stdout]   --> src/dl_lite/json_utilities.rs:21:5
[INFO] [stdout]    |
[INFO] [stdout] 21 |     Array,
[INFO] [stdout]    |     ^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variant is never constructed: `Object`
[INFO] [stdout]   --> src/dl_lite/json_utilities.rs:22:5
[INFO] [stdout]    |
[INFO] [stdout] 22 |     Object,
[INFO] [stdout]    |     ^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: function is never used: `parse_value_abi`
[INFO] [stdout]    --> src/dl_lite/json_utilities.rs:245:8
[INFO] [stdout]     |
[INFO] [stdout] 245 | pub fn parse_value_abi(value: &Value, symbols: Vec<&Node>) -> Option<ABI> {
[INFO] [stdout]     |        ^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: function is never used: `parse_abox_from_json`
[INFO] [stdout]    --> src/dl_lite/json_utilities.rs:380:8
[INFO] [stdout]     |
[INFO] [stdout] 380 | pub fn parse_abox_from_json(filename: &str) -> Option<AB> {
[INFO] [stdout]     |        ^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: associated function is never used: `n`
[INFO] [stdout]   --> src/dl_lite/node.rs:52:12
[INFO] [stdout]    |
[INFO] [stdout] 52 |     pub fn n(&self) -> usize {
[INFO] [stdout]    |            ^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: associated function is never used: `retrieve_base`
[INFO] [stdout]   --> src/dl_lite/node.rs:82:12
[INFO] [stdout]    |
[INFO] [stdout] 82 |     pub fn retrieve_base(node: &Node) -> &Node {
[INFO] [stdout]    |            ^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: associated function is never used: `child`
[INFO] [stdout]   --> src/dl_lite/node.rs:93:12
[INFO] [stdout]    |
[INFO] [stdout] 93 |     pub fn child(node: Option<&Node>) -> Option<&Self> {
[INFO] [stdout]    |            ^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: associated function is never used: `child_r`
[INFO] [stdout]    --> src/dl_lite/node.rs:104:12
[INFO] [stdout]     |
[INFO] [stdout] 104 |     pub fn child_r(node: Option<&Node>, depth: usize) -> Option<&Self> {
[INFO] [stdout]     |            ^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: associated function is never used: `is_negation`
[INFO] [stdout]    --> src/dl_lite/node.rs:142:12
[INFO] [stdout]     |
[INFO] [stdout] 142 |     pub fn is_negation(&self, other: &Node) -> bool {
[INFO] [stdout]     |            ^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: associated function is never used: `is_inverted`
[INFO] [stdout]    --> src/dl_lite/node.rs:164:12
[INFO] [stdout]     |
[INFO] [stdout] 164 |     pub fn is_inverted(&self) -> bool {
[INFO] [stdout]     |            ^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: associated function is never used: `is_inverse`
[INFO] [stdout]    --> src/dl_lite/node.rs:168:12
[INFO] [stdout]     |
[INFO] [stdout] 168 |     pub fn is_inverse(&self, other: &Node) -> bool {
[INFO] [stdout]     |            ^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: associated function is never used: `print_iter`
[INFO] [stdout]    --> src/dl_lite/node.rs:177:12
[INFO] [stdout]     |
[INFO] [stdout] 177 |     pub fn print_iter<I>(it: I) -> String
[INFO] [stdout]     |            ^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: type alias is never used: `TbRule`
[INFO] [stdout]   --> src/dl_lite/rule.rs:10:1
[INFO] [stdout]    |
[INFO] [stdout] 10 | pub type TbRule = fn(Vec<&TBI>) -> Option<Vec<TBI>>;
[INFO] [stdout]    | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: type alias is never used: `AbRule`
[INFO] [stdout]   --> src/dl_lite/rule.rs:11:1
[INFO] [stdout]    |
[INFO] [stdout] 11 | pub type AbRule = fn(Vec<&TBI>, Vec<&ABI>) -> Option<Vec<ABI>>;
[INFO] [stdout]    | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: function is never used: `dl_lite_rule_one`
[INFO] [stdout]   --> src/dl_lite/rule.rs:16:8
[INFO] [stdout]    |
[INFO] [stdout] 16 | pub fn dl_lite_rule_one(vec: Vec<&TBI>) -> Option<Vec<TBI>> {
[INFO] [stdout]    |        ^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: function is never used: `dl_lite_rule_two`
[INFO] [stdout]   --> src/dl_lite/rule.rs:34:8
[INFO] [stdout]    |
[INFO] [stdout] 34 | pub fn dl_lite_rule_two(vec: Vec<&TBI>) -> Option<Vec<TBI>> {
[INFO] [stdout]    |        ^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: function is never used: `dl_lite_rule_three`
[INFO] [stdout]   --> src/dl_lite/rule.rs:56:8
[INFO] [stdout]    |
[INFO] [stdout] 56 | pub fn dl_lite_rule_three(vec: Vec<&TBI>) -> Option<Vec<TBI>> {
[INFO] [stdout]    |        ^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: function is never used: `dl_lite_rule_four`
[INFO] [stdout]    --> src/dl_lite/rule.rs:102:8
[INFO] [stdout]     |
[INFO] [stdout] 102 | pub fn dl_lite_rule_four(vec: Vec<&TBI>) -> Option<Vec<TBI>> {
[INFO] [stdout]     |        ^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: function is never used: `dl_lite_rule_five`
[INFO] [stdout]    --> src/dl_lite/rule.rs:146:8
[INFO] [stdout]     |
[INFO] [stdout] 146 | pub fn dl_lite_rule_five(vec: Vec<&TBI>) -> Option<Vec<TBI>> {
[INFO] [stdout]     |        ^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: function is never used: `dl_lite_rule_six`
[INFO] [stdout]    --> src/dl_lite/rule.rs:177:8
[INFO] [stdout]     |
[INFO] [stdout] 177 | pub fn dl_lite_rule_six(vec: Vec<&TBI>) -> Option<Vec<TBI>> {
[INFO] [stdout]     |        ^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: function is never used: `dl_lite_rule_seven`
[INFO] [stdout]    --> src/dl_lite/rule.rs:182:8
[INFO] [stdout]     |
[INFO] [stdout] 182 | pub fn dl_lite_rule_seven(vec: Vec<&TBI>) -> Option<Vec<TBI>> {
[INFO] [stdout]     |        ^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: function is never used: `dl_lite_rule_eight`
[INFO] [stdout]    --> src/dl_lite/rule.rs:215:8
[INFO] [stdout]     |
[INFO] [stdout] 215 | pub fn dl_lite_rule_eight(vec: Vec<&TBI>) -> Option<Vec<TBI>> {
[INFO] [stdout]     |        ^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: associated function is never used: `new_from_iter`
[INFO] [stdout]   --> src/dl_lite/tbox.rs:76:12
[INFO] [stdout]    |
[INFO] [stdout] 76 |     pub fn new_from_iter<I>(it: I) -> TB
[INFO] [stdout]    |            ^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: associated function is never used: `len`
[INFO] [stdout]   --> src/dl_lite/tbox.rs:89:12
[INFO] [stdout]    |
[INFO] [stdout] 89 |     pub fn len(&self) -> usize {
[INFO] [stdout]    |            ^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: associated function is never used: `is_empty`
[INFO] [stdout]   --> src/dl_lite/tbox.rs:93:12
[INFO] [stdout]    |
[INFO] [stdout] 93 |     pub fn is_empty(&self) -> bool {
[INFO] [stdout]    |            ^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: associated function is never used: `completed`
[INFO] [stdout]    --> src/dl_lite/tbox.rs:101:12
[INFO] [stdout]     |
[INFO] [stdout] 101 |     pub fn completed(&self) -> &bool {
[INFO] [stdout]     |            ^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: associated function is never used: `is_completed`
[INFO] [stdout]    --> src/dl_lite/tbox.rs:109:12
[INFO] [stdout]     |
[INFO] [stdout] 109 |     pub fn is_completed(&self) -> bool {
[INFO] [stdout]     |            ^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: associated function is never used: `complete2`
[INFO] [stdout]    --> src/dl_lite/tbox.rs:113:12
[INFO] [stdout]     |
[INFO] [stdout] 113 |     pub fn complete2(&self, verbose: bool) -> TB {
[INFO] [stdout]     |            ^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: associated function is never used: `is_satisfiable`
[INFO] [stdout]    --> src/dl_lite/tbox.rs:448:12
[INFO] [stdout]     |
[INFO] [stdout] 448 |     pub fn is_satisfiable(&self, verbose: bool) -> bool {
[INFO] [stdout]     |            ^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: associated function is never used: `is_contradiction`
[INFO] [stdout]   --> src/dl_lite/tbox_item.rs:42:12
[INFO] [stdout]    |
[INFO] [stdout] 42 |     pub fn is_contradiction(&self) -> bool {
[INFO] [stdout]    |            ^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: associated function is never used: `decompact`
[INFO] [stdout]   --> src/dl_lite/tbox_item.rs:47:12
[INFO] [stdout]    |
[INFO] [stdout] 47 |     pub fn decompact(self) -> (Node, Node) {
[INFO] [stdout]    |            ^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: associated function is never used: `decompact_with_clone`
[INFO] [stdout]   --> src/dl_lite/tbox_item.rs:52:12
[INFO] [stdout]    |
[INFO] [stdout] 52 |     pub fn decompact_with_clone(&self) -> (Node, Node) {
[INFO] [stdout]    |            ^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: associated function is never used: `reverse_negation`
[INFO] [stdout]   --> src/dl_lite/tbox_item.rs:56:12
[INFO] [stdout]    |
[INFO] [stdout] 56 |     pub fn reverse_negation(&self) -> Option<TBI> {
[INFO] [stdout]    |            ^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: associated function is never used: `apply`
[INFO] [stdout]   --> src/dl_lite/tbox_item.rs:70:12
[INFO] [stdout]    |
[INFO] [stdout] 70 |     pub fn apply(one: &TBI, two: &TBI, rule: &TbRule) -> Option<Vec<TBI>> {
[INFO] [stdout]    |            ^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variant is never constructed: `First`
[INFO] [stdout]   --> src/dl_lite/types.rs:66:5
[INFO] [stdout]    |
[INFO] [stdout] 66 |     First,
[INFO] [stdout]    |     ^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variant is never constructed: `Second`
[INFO] [stdout]   --> src/dl_lite/types.rs:67:5
[INFO] [stdout]    |
[INFO] [stdout] 67 |     Second,
[INFO] [stdout]    |     ^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variant is never constructed: `Third`
[INFO] [stdout]   --> src/dl_lite/types.rs:68:5
[INFO] [stdout]    |
[INFO] [stdout] 68 |     Third,
[INFO] [stdout]    |     ^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variant is never constructed: `Fourth`
[INFO] [stdout]   --> src/dl_lite/types.rs:69:5
[INFO] [stdout]    |
[INFO] [stdout] 69 |     Fourth,
[INFO] [stdout]    |     ^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variant is never constructed: `Fifth`
[INFO] [stdout]   --> src/dl_lite/types.rs:70:5
[INFO] [stdout]    |
[INFO] [stdout] 70 |     Fifth,
[INFO] [stdout]    |     ^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variant is never constructed: `Sixth`
[INFO] [stdout]   --> src/dl_lite/types.rs:71:5
[INFO] [stdout]    |
[INFO] [stdout] 71 |     Sixth,
[INFO] [stdout]    |     ^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variant is never constructed: `Seventh`
[INFO] [stdout]   --> src/dl_lite/types.rs:72:5
[INFO] [stdout]    |
[INFO] [stdout] 72 |     Seventh,
[INFO] [stdout]    |     ^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variant is never constructed: `Eight`
[INFO] [stdout]   --> src/dl_lite/types.rs:73:5
[INFO] [stdout]    |
[INFO] [stdout] 73 |     Eight,
[INFO] [stdout]    |     ^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variant is never constructed: `NATIVE`
[INFO] [stdout]   --> src/dl_lite/types.rs:95:5
[INFO] [stdout]    |
[INFO] [stdout] 95 |     NATIVE,
[INFO] [stdout]    |     ^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: associated function is never used: `add_tbox`
[INFO] [stdout]    --> src/dl_lite/ontology.rs:112:12
[INFO] [stdout]     |
[INFO] [stdout] 112 |     pub fn add_tbox(&mut self, tb: &TB) {
[INFO] [stdout]     |            ^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: associated function is never used: `complete_tbox`
[INFO] [stdout]    --> src/dl_lite/ontology.rs:121:12
[INFO] [stdout]     |
[INFO] [stdout] 121 |     pub fn complete_tbox(&self) -> TB {
[INFO] [stdout]     |            ^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: associated function is never used: `is_satisfiable`
[INFO] [stdout]    --> src/dl_lite/ontology.rs:125:12
[INFO] [stdout]     |
[INFO] [stdout] 125 |     pub fn is_satisfiable(&self) -> bool { false }
[INFO] [stdout]     |            ^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: associated function is never used: `find_consequences`
[INFO] [stdout]    --> src/dl_lite/ontology.rs:127:12
[INFO] [stdout]     |
[INFO] [stdout] 127 |     pub fn find_consequences(&self, abox_filename: &str) -> Vec<ABI> {
[INFO] [stdout]     |            ^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: associated function is never used: `tbox`
[INFO] [stdout]    --> src/dl_lite/ontology.rs:137:12
[INFO] [stdout]     |
[INFO] [stdout] 137 |     pub fn tbox(&self) -> &TB {
[INFO] [stdout]     |            ^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: associated function is never used: `len`
[INFO] [stdout]    --> src/dl_lite/ontology.rs:142:12
[INFO] [stdout]     |
[INFO] [stdout] 142 |     pub fn len(&self) -> (usize, usize) {
[INFO] [stdout]     |            ^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: type alias is never used: `AxiomRule`
[INFO] [stdout]   --> src/kb/knowledge_base.rs:17:1
[INFO] [stdout]    |
[INFO] [stdout] 17 | type AxiomRule = fn(Vec<&dyn AxiomItem>) -> Option<Vec<dyn AxiomItem>>;
[INFO] [stdout]    | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: type alias is never used: `DataRule`
[INFO] [stdout]   --> src/kb/knowledge_base.rs:18:1
[INFO] [stdout]    |
[INFO] [stdout] 18 | type DataRule = fn(Vec<&dyn AxiomItem>, Vec<&dyn DataItem>) -> Option<Vec<dyn DataItem>>;
[INFO] [stdout]    | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: 99 warnings emitted
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stderr]     Finished dev [unoptimized + debuginfo] target(s) in 35.33s
[INFO] running `Command { std: "docker" "inspect" "4209f524745126eecbd89060abdff836aeac44141eb224aba7e89e5aed55051d", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "4209f524745126eecbd89060abdff836aeac44141eb224aba7e89e5aed55051d", kill_on_drop: false }`
[INFO] [stdout] 4209f524745126eecbd89060abdff836aeac44141eb224aba7e89e5aed55051d