[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] dc1cb5cc352b16928e651eedb3783ffbf43a43cc
[INFO] checking hatellezp/rustoner against master#4d0dd02ee07bddad9136f95c9f7846ebf3eb3fc5 for pr-81174
[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 4d0dd02ee07bddad9136f95c9f7846ebf3eb3fc5
[INFO] running `Command { std: "/workspace/cargo-home/bin/cargo" "+4d0dd02ee07bddad9136f95c9f7846ebf3eb3fc5" "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" "+4d0dd02ee07bddad9136f95c9f7846ebf3eb3fc5" "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" "+4d0dd02ee07bddad9136f95c9f7846ebf3eb3fc5" "metadata" "--no-deps" "--format-version=1", kill_on_drop: false }`
[INFO] [stdout] 79538f64f5d07bc1873a1500b60236f73bb9eca4a213aa08b79772675f702686
[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" "79538f64f5d07bc1873a1500b60236f73bb9eca4a213aa08b79772675f702686", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "inspect" "79538f64f5d07bc1873a1500b60236f73bb9eca4a213aa08b79772675f702686", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "79538f64f5d07bc1873a1500b60236f73bb9eca4a213aa08b79772675f702686", kill_on_drop: false }`
[INFO] [stdout] 79538f64f5d07bc1873a1500b60236f73bb9eca4a213aa08b79772675f702686
[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" "+4d0dd02ee07bddad9136f95c9f7846ebf3eb3fc5" "check" "--frozen" "--all" "--all-targets" "--message-format=json", 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] 7f26db4488247e9dbe80cd0b7682dd04ce4f563073cd3f467e374a02a9e7b503
[INFO] running `Command { std: "docker" "start" "-a" "7f26db4488247e9dbe80cd0b7682dd04ce4f563073cd3f467e374a02a9e7b503", kill_on_drop: false }`
[INFO] [stderr]    Compiling unicode-xid v0.2.1
[INFO] [stderr]    Compiling syn v1.0.58
[INFO] [stderr]    Compiling serde_derive v1.0.118
[INFO] [stderr]    Compiling ryu v1.0.5
[INFO] [stderr]    Compiling serde v1.0.118
[INFO] [stderr]    Compiling serde_json v1.0.61
[INFO] [stderr]     Checking itoa v0.4.7
[INFO] [stderr]    Compiling proc-macro2 v1.0.24
[INFO] [stderr]    Compiling quote v1.0.8
[INFO] [stderr]     Checking dllitemm v0.1.0 (/opt/rustwide/workdir)
[INFO] [stdout] warning: unused import: `crate::dl_lite::abox::AB`
[INFO] [stdout]  --> src/dl_lite/json_filetype_utilities.rs:5:5
[INFO] [stdout]   |
[INFO] [stdout] 5 | use crate::dl_lite::abox::AB;
[INFO] [stdout]   |     ^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout]   |
[INFO] [stdout]   = note: `#[warn(unused_imports)]` on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused import: `Mod`
[INFO] [stdout]  --> src/dl_lite/json_filetype_utilities.rs:7:28
[INFO] [stdout]   |
[INFO] [stdout] 7 | use crate::dl_lite::node::{Mod, Node};
[INFO] [stdout]   |                            ^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused import: `serde::Deserializer`
[INFO] [stdout]   --> src/dl_lite/json_filetype_utilities.rs:11:5
[INFO] [stdout]    |
[INFO] [stdout] 11 | use serde::Deserializer;
[INFO] [stdout]    |     ^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused import: `std::cmp::Ordering`
[INFO] [stdout]  --> src/dl_lite/native_filetype_utilities.rs:2:5
[INFO] [stdout]   |
[INFO] [stdout] 2 | use std::cmp::Ordering;
[INFO] [stdout]   |     ^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused import: `VecDeque`
[INFO] [stdout]  --> src/dl_lite/native_filetype_utilities.rs:3:33
[INFO] [stdout]   |
[INFO] [stdout] 3 | use std::collections::{HashMap, VecDeque};
[INFO] [stdout]   |                                 ^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unnecessary parentheses around function argument
[INFO] [stdout]    --> src/dl_lite/native_filetype_utilities.rs:137:28
[INFO] [stdout]     |
[INFO] [stdout] 137 |                 Result::Ok((symbols))
[INFO] [stdout]     |                            ^^^^^^^^^ help: remove these parentheses
[INFO] [stdout]     |
[INFO] [stdout]     = note: `#[warn(unused_parens)]` on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unnecessary parentheses around function argument
[INFO] [stdout]    --> src/dl_lite/native_filetype_utilities.rs:256:28
[INFO] [stdout]     |
[INFO] [stdout] 256 |                 Result::Ok((ab))
[INFO] [stdout]     |                            ^^^^ help: remove these parentheses
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unnecessary parentheses around function argument
[INFO] [stdout]    --> src/dl_lite/native_filetype_utilities.rs:362:28
[INFO] [stdout]     |
[INFO] [stdout] 362 |                 Result::Ok((tb))
[INFO] [stdout]     |                            ^^^^ help: remove these parentheses
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused imports: `parse_symbol`, `result_from_error`
[INFO] [stdout]  --> src/dl_lite/ontology.rs:5:99
[INFO] [stdout]   |
[INFO] [stdout] 5 | use crate::dl_lite::json_filetype_utilities::{parse_symbols_json, parse_tbox_json, tbox_to_value, result_from_error, parse_symbol};
[INFO] [stdout]   |                                                                                                   ^^^^^^^^^^^^^^^^^  ^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused import: `serde_json::Value`
[INFO] [stdout]   --> src/dl_lite/ontology.rs:10:5
[INFO] [stdout]    |
[INFO] [stdout] 10 | use serde_json::Value;
[INFO] [stdout]    |     ^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused import: `std::iter::Map`
[INFO] [stdout]   --> src/dl_lite/ontology.rs:14:5
[INFO] [stdout]    |
[INFO] [stdout] 14 | use std::iter::Map;
[INFO] [stdout]    |     ^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused import: `crate::dl_lite::node::Node`
[INFO] [stdout]   --> src/main.rs:12:5
[INFO] [stdout]    |
[INFO] [stdout] 12 | 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:14:5
[INFO] [stdout]    |
[INFO] [stdout] 14 | 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:15:5
[INFO] [stdout]    |
[INFO] [stdout] 15 | use crate::dl_lite::tbox_item::TBI;
[INFO] [stdout]    |     ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused import: `crate::dl_lite::types::DLType`
[INFO] [stdout]   --> src/main.rs:16:5
[INFO] [stdout]    |
[INFO] [stdout] 16 | use crate::dl_lite::types::DLType;
[INFO] [stdout]    |     ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused import: `std::mem`
[INFO] [stdout]   --> src/main.rs:17:5
[INFO] [stdout]    |
[INFO] [stdout] 17 | use std::mem;
[INFO] [stdout]    |     ^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused import: `std::iter::Filter`
[INFO] [stdout]   --> src/main.rs:18:5
[INFO] [stdout]    |
[INFO] [stdout] 18 | use std::iter::Filter;
[INFO] [stdout]    |     ^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused import: `std::process::id`
[INFO] [stdout]   --> src/main.rs:19:5
[INFO] [stdout]    |
[INFO] [stdout] 19 | use std::process::id;
[INFO] [stdout]    |     ^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused import: `crate::dl_lite::native_filetype_utilities::parse_abox_native`
[INFO] [stdout]   --> src/main.rs:20:5
[INFO] [stdout]    |
[INFO] [stdout] 20 | use crate::dl_lite::native_filetype_utilities::parse_abox_native;
[INFO] [stdout]    |     ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused import: `std::collections::HashMap`
[INFO] [stdout]   --> src/main.rs:21:5
[INFO] [stdout]    |
[INFO] [stdout] 21 | use std::collections::HashMap;
[INFO] [stdout]    |     ^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused import: `crate::dl_lite::abox::AB`
[INFO] [stdout]  --> src/dl_lite/json_filetype_utilities.rs:5:5
[INFO] [stdout]   |
[INFO] [stdout] 5 | use crate::dl_lite::abox::AB;
[INFO] [stdout]   |     ^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout]   |
[INFO] [stdout]   = note: `#[warn(unused_imports)]` on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused import: `Mod`
[INFO] [stdout]  --> src/dl_lite/json_filetype_utilities.rs:7:28
[INFO] [stdout]   |
[INFO] [stdout] 7 | use crate::dl_lite::node::{Mod, Node};
[INFO] [stdout]   |                            ^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused import: `serde::Deserializer`
[INFO] [stdout]   --> src/dl_lite/json_filetype_utilities.rs:11:5
[INFO] [stdout]    |
[INFO] [stdout] 11 | use serde::Deserializer;
[INFO] [stdout]    |     ^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused import: `std::cmp::Ordering`
[INFO] [stdout]  --> src/dl_lite/native_filetype_utilities.rs:2:5
[INFO] [stdout]   |
[INFO] [stdout] 2 | use std::cmp::Ordering;
[INFO] [stdout]   |     ^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused import: `VecDeque`
[INFO] [stdout]  --> src/dl_lite/native_filetype_utilities.rs:3:33
[INFO] [stdout]   |
[INFO] [stdout] 3 | use std::collections::{HashMap, VecDeque};
[INFO] [stdout]   |                                 ^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unnecessary parentheses around function argument
[INFO] [stdout]    --> src/dl_lite/native_filetype_utilities.rs:137:28
[INFO] [stdout]     |
[INFO] [stdout] 137 |                 Result::Ok((symbols))
[INFO] [stdout]     |                            ^^^^^^^^^ help: remove these parentheses
[INFO] [stdout]     |
[INFO] [stdout]     = note: `#[warn(unused_parens)]` on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unnecessary parentheses around function argument
[INFO] [stdout]    --> src/dl_lite/native_filetype_utilities.rs:256:28
[INFO] [stdout]     |
[INFO] [stdout] 256 |                 Result::Ok((ab))
[INFO] [stdout]     |                            ^^^^ help: remove these parentheses
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unnecessary parentheses around function argument
[INFO] [stdout]    --> src/dl_lite/native_filetype_utilities.rs:362:28
[INFO] [stdout]     |
[INFO] [stdout] 362 |                 Result::Ok((tb))
[INFO] [stdout]     |                            ^^^^ help: remove these parentheses
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused imports: `parse_symbol`, `result_from_error`
[INFO] [stdout]  --> src/dl_lite/ontology.rs:5:99
[INFO] [stdout]   |
[INFO] [stdout] 5 | use crate::dl_lite::json_filetype_utilities::{parse_symbols_json, parse_tbox_json, tbox_to_value, result_from_error, parse_symbol};
[INFO] [stdout]   |                                                                                                   ^^^^^^^^^^^^^^^^^  ^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused import: `serde_json::Value`
[INFO] [stdout]   --> src/dl_lite/ontology.rs:10:5
[INFO] [stdout]    |
[INFO] [stdout] 10 | use serde_json::Value;
[INFO] [stdout]    |     ^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused import: `std::iter::Map`
[INFO] [stdout]   --> src/dl_lite/ontology.rs:14:5
[INFO] [stdout]    |
[INFO] [stdout] 14 | use std::iter::Map;
[INFO] [stdout]    |     ^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused import: `crate::dl_lite::node::Node`
[INFO] [stdout]   --> src/main.rs:12:5
[INFO] [stdout]    |
[INFO] [stdout] 12 | 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:14:5
[INFO] [stdout]    |
[INFO] [stdout] 14 | 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:15:5
[INFO] [stdout]    |
[INFO] [stdout] 15 | use crate::dl_lite::tbox_item::TBI;
[INFO] [stdout]    |     ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused import: `crate::dl_lite::types::DLType`
[INFO] [stdout]   --> src/main.rs:16:5
[INFO] [stdout]    |
[INFO] [stdout] 16 | use crate::dl_lite::types::DLType;
[INFO] [stdout]    |     ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused import: `std::mem`
[INFO] [stdout]   --> src/main.rs:17:5
[INFO] [stdout]    |
[INFO] [stdout] 17 | use std::mem;
[INFO] [stdout]    |     ^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused import: `std::iter::Filter`
[INFO] [stdout]   --> src/main.rs:18:5
[INFO] [stdout]    |
[INFO] [stdout] 18 | use std::iter::Filter;
[INFO] [stdout]    |     ^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused import: `std::process::id`
[INFO] [stdout]   --> src/main.rs:19:5
[INFO] [stdout]    |
[INFO] [stdout] 19 | use std::process::id;
[INFO] [stdout]    |     ^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused import: `crate::dl_lite::native_filetype_utilities::parse_abox_native`
[INFO] [stdout]   --> src/main.rs:20:5
[INFO] [stdout]    |
[INFO] [stdout] 20 | use crate::dl_lite::native_filetype_utilities::parse_abox_native;
[INFO] [stdout]    |     ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused import: `std::collections::HashMap`
[INFO] [stdout]   --> src/main.rs:21:5
[INFO] [stdout]    |
[INFO] [stdout] 21 | use std::collections::HashMap;
[INFO] [stdout]    |     ^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `json`
[INFO] [stdout]   --> src/main.rs:29:9
[INFO] [stdout]    |
[INFO] [stdout] 29 |     let json = FileType::JSON;
[INFO] [stdout]    |         ^^^^ help: if this is intentional, prefix it with an underscore: `_json`
[INFO] [stdout]    |
[INFO] [stdout]    = note: `#[warn(unused_variables)]` on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable `new_latest` is assigned to, but never used
[INFO] [stdout]   --> src/dl_lite/json_filetype_utilities.rs:86:25
[INFO] [stdout]    |
[INFO] [stdout] 86 |                     let new_latest: usize;
[INFO] [stdout]    |                         ^^^^^^^^^^
[INFO] [stdout]    |
[INFO] [stdout]    = note: consider using `_new_latest` instead
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: value assigned to `new_latest` is never read
[INFO] [stdout]   --> src/dl_lite/json_filetype_utilities.rs:91:25
[INFO] [stdout]    |
[INFO] [stdout] 91 |                         new_latest = latest;
[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: value assigned to `new_latest` is never read
[INFO] [stdout]   --> src/dl_lite/json_filetype_utilities.rs:95:25
[INFO] [stdout]    |
[INFO] [stdout] 95 |                         new_latest = latest;
[INFO] [stdout]    |                         ^^^^^^^^^^
[INFO] [stdout]    |
[INFO] [stdout]    = help: maybe it is overwritten before being read?
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: value assigned to `new_latest` is never read
[INFO] [stdout]   --> src/dl_lite/json_filetype_utilities.rs:98:25
[INFO] [stdout]    |
[INFO] [stdout] 98 |                         new_latest = id;
[INFO] [stdout]    |                         ^^^^^^^^^^
[INFO] [stdout]    |
[INFO] [stdout]    = help: maybe it is overwritten before being read?
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `verbose`
[INFO] [stdout]    --> src/dl_lite/json_filetype_utilities.rs:111:5
[INFO] [stdout]     |
[INFO] [stdout] 111 |     verbose: bool,
[INFO] [stdout]     |     ^^^^^^^ help: if this is intentional, prefix it with an underscore: `_verbose`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `value`
[INFO] [stdout]    --> src/dl_lite/json_filetype_utilities.rs:169:24
[INFO] [stdout]     |
[INFO] [stdout] 169 | 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_filetype_utilities.rs:169:39
[INFO] [stdout]     |
[INFO] [stdout] 169 | 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: `unwrapped_parsed`
[INFO] [stdout]    --> src/dl_lite/json_filetype_utilities.rs:203:41
[INFO] [stdout]     |
[INFO] [stdout] 203 | ...                   let mut unwrapped_parsed: (&str, usize, DLType);
[INFO] [stdout]     |                           ^^^^^^^^^^^^^^^^^^^^ help: if this is intentional, prefix it with an underscore: `_unwrapped_parsed`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `error`
[INFO] [stdout]    --> src/dl_lite/ontology.rs:156:28
[INFO] [stdout]     |
[INFO] [stdout] 156 |                        Err(error) => {
[INFO] [stdout]     |                            ^^^^^ help: if this is intentional, prefix it with an underscore: `_error`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `error`
[INFO] [stdout]    --> src/dl_lite/ontology.rs:185:29
[INFO] [stdout]     |
[INFO] [stdout] 185 |                         Err(error) => {
[INFO] [stdout]     |                             ^^^^^ help: if this is intentional, prefix it with an underscore: `_error`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `abox`
[INFO] [stdout]    --> src/dl_lite/ontology.rs:237:37
[INFO] [stdout]     |
[INFO] [stdout] 237 |     pub fn find_consequences(&self, abox: &AB) -> AB {
[INFO] [stdout]     |                                     ^^^^ help: if this is intentional, prefix it with an underscore: `_abox`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `filename`
[INFO] [stdout]    --> src/dl_lite/ontology.rs:241:47
[INFO] [stdout]     |
[INFO] [stdout] 241 |     pub fn find_consequences_from_file(&self, filename: &str, filetype: FileType) -> io::Result<AB> {
[INFO] [stdout]     |                                               ^^^^^^^^ help: if this is intentional, prefix it with an underscore: `_filename`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `filetype`
[INFO] [stdout]    --> src/dl_lite/ontology.rs:241:63
[INFO] [stdout]     |
[INFO] [stdout] 241 |     pub fn find_consequences_from_file(&self, filename: &str, filetype: FileType) -> io::Result<AB> {
[INFO] [stdout]     |                                                               ^^^^^^^^ help: if this is intentional, prefix it with an underscore: `_filetype`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `low`
[INFO] [stdout]    --> src/dl_lite/ontology.rs:271:22
[INFO] [stdout]     |
[INFO] [stdout] 271 |                 let (low, high) =
[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:362:33
[INFO] [stdout]     |
[INFO] [stdout] 362 |                     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: `vec`
[INFO] [stdout]    --> src/dl_lite/rule.rs:233:25
[INFO] [stdout]     |
[INFO] [stdout] 233 | 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:355:17
[INFO] [stdout]     |
[INFO] [stdout] 355 |                 is_already_treated = false;
[INFO] [stdout]     |                 ^^^^^^^^^^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout]     = help: maybe it is overwritten before being read?
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: value assigned to `lside_result1` is never read
[INFO] [stdout]    --> src/dl_lite/string_formatter.rs:120:17
[INFO] [stdout]     |
[INFO] [stdout] 120 |             let mut lside_result1 = invalid_data_result("not done yet");
[INFO] [stdout]     |                 ^^^^^^^^^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout]     = help: maybe it is overwritten before being read?
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: value assigned to `rside_result1` is never read
[INFO] [stdout]    --> src/dl_lite/string_formatter.rs:121:17
[INFO] [stdout]     |
[INFO] [stdout] 121 |             let mut rside_result1 = invalid_data_result("not done yet");
[INFO] [stdout]     |                 ^^^^^^^^^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout]     = help: maybe it is overwritten before being read?
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: value assigned to `lside_result2` is never read
[INFO] [stdout]    --> src/dl_lite/string_formatter.rs:122:17
[INFO] [stdout]     |
[INFO] [stdout] 122 |             let mut lside_result2 = invalid_data_result("not done yet");
[INFO] [stdout]     |                 ^^^^^^^^^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout]     = help: maybe it is overwritten before being read?
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: value assigned to `rside_result2` is never read
[INFO] [stdout]    --> src/dl_lite/string_formatter.rs:123:17
[INFO] [stdout]     |
[INFO] [stdout] 123 |             let mut rside_result2 = invalid_data_result("not done yet");
[INFO] [stdout]     |                 ^^^^^^^^^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout]     = help: maybe it is overwritten before being read?
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `tbi`
[INFO] [stdout]    --> src/dl_lite/string_formatter.rs:316:22
[INFO] [stdout]     |
[INFO] [stdout] 316 | pub fn abi_to_string(tbi: &ABI, symbols: &HashMap<String, (usize, DLType)>) -> Option<String> {
[INFO] [stdout]     |                      ^^^ help: if this is intentional, prefix it with an underscore: `_tbi`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `symbols`
[INFO] [stdout]    --> src/dl_lite/string_formatter.rs:316:33
[INFO] [stdout]     |
[INFO] [stdout] 316 | pub fn abi_to_string(tbi: &ABI, symbols: &HashMap<String, (usize, DLType)>) -> Option<String> {
[INFO] [stdout]     |                                 ^^^^^^^ help: if this is intentional, prefix it with an underscore: `_symbols`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `json`
[INFO] [stdout]   --> src/main.rs:29:9
[INFO] [stdout]    |
[INFO] [stdout] 29 |     let json = FileType::JSON;
[INFO] [stdout]    |         ^^^^ help: if this is intentional, prefix it with an underscore: `_json`
[INFO] [stdout]    |
[INFO] [stdout]    = note: `#[warn(unused_variables)]` on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable `new_latest` is assigned to, but never used
[INFO] [stdout]   --> src/dl_lite/json_filetype_utilities.rs:86:25
[INFO] [stdout]    |
[INFO] [stdout] 86 |                     let new_latest: usize;
[INFO] [stdout]    |                         ^^^^^^^^^^
[INFO] [stdout]    |
[INFO] [stdout]    = note: consider using `_new_latest` instead
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: value assigned to `new_latest` is never read
[INFO] [stdout]   --> src/dl_lite/json_filetype_utilities.rs:91:25
[INFO] [stdout]    |
[INFO] [stdout] 91 |                         new_latest = latest;
[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: value assigned to `new_latest` is never read
[INFO] [stdout]   --> src/dl_lite/json_filetype_utilities.rs:95:25
[INFO] [stdout]    |
[INFO] [stdout] 95 |                         new_latest = latest;
[INFO] [stdout]    |                         ^^^^^^^^^^
[INFO] [stdout]    |
[INFO] [stdout]    = help: maybe it is overwritten before being read?
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: value assigned to `new_latest` is never read
[INFO] [stdout]   --> src/dl_lite/json_filetype_utilities.rs:98:25
[INFO] [stdout]    |
[INFO] [stdout] 98 |                         new_latest = id;
[INFO] [stdout]    |                         ^^^^^^^^^^
[INFO] [stdout]    |
[INFO] [stdout]    = help: maybe it is overwritten before being read?
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `verbose`
[INFO] [stdout]    --> src/dl_lite/json_filetype_utilities.rs:111:5
[INFO] [stdout]     |
[INFO] [stdout] 111 |     verbose: bool,
[INFO] [stdout]     |     ^^^^^^^ help: if this is intentional, prefix it with an underscore: `_verbose`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `value`
[INFO] [stdout]    --> src/dl_lite/json_filetype_utilities.rs:169:24
[INFO] [stdout]     |
[INFO] [stdout] 169 | 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_filetype_utilities.rs:169:39
[INFO] [stdout]     |
[INFO] [stdout] 169 | 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: `unwrapped_parsed`
[INFO] [stdout]    --> src/dl_lite/json_filetype_utilities.rs:203:41
[INFO] [stdout]     |
[INFO] [stdout] 203 | ...                   let mut unwrapped_parsed: (&str, usize, DLType);
[INFO] [stdout]     |                           ^^^^^^^^^^^^^^^^^^^^ help: if this is intentional, prefix it with an underscore: `_unwrapped_parsed`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `error`
[INFO] [stdout]    --> src/dl_lite/ontology.rs:156:28
[INFO] [stdout]     |
[INFO] [stdout] 156 |                        Err(error) => {
[INFO] [stdout]     |                            ^^^^^ help: if this is intentional, prefix it with an underscore: `_error`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `error`
[INFO] [stdout]    --> src/dl_lite/ontology.rs:185:29
[INFO] [stdout]     |
[INFO] [stdout] 185 |                         Err(error) => {
[INFO] [stdout]     |                             ^^^^^ help: if this is intentional, prefix it with an underscore: `_error`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `abox`
[INFO] [stdout]    --> src/dl_lite/ontology.rs:237:37
[INFO] [stdout]     |
[INFO] [stdout] 237 |     pub fn find_consequences(&self, abox: &AB) -> AB {
[INFO] [stdout]     |                                     ^^^^ help: if this is intentional, prefix it with an underscore: `_abox`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `filename`
[INFO] [stdout]    --> src/dl_lite/ontology.rs:241:47
[INFO] [stdout]     |
[INFO] [stdout] 241 |     pub fn find_consequences_from_file(&self, filename: &str, filetype: FileType) -> io::Result<AB> {
[INFO] [stdout]     |                                               ^^^^^^^^ help: if this is intentional, prefix it with an underscore: `_filename`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `filetype`
[INFO] [stdout]    --> src/dl_lite/ontology.rs:241:63
[INFO] [stdout]     |
[INFO] [stdout] 241 |     pub fn find_consequences_from_file(&self, filename: &str, filetype: FileType) -> io::Result<AB> {
[INFO] [stdout]     |                                                               ^^^^^^^^ help: if this is intentional, prefix it with an underscore: `_filetype`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `low`
[INFO] [stdout]    --> src/dl_lite/ontology.rs:271:22
[INFO] [stdout]     |
[INFO] [stdout] 271 |                 let (low, high) =
[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:362:33
[INFO] [stdout]     |
[INFO] [stdout] 362 |                     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: `vec`
[INFO] [stdout]    --> src/dl_lite/rule.rs:233:25
[INFO] [stdout]     |
[INFO] [stdout] 233 | 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:355:17
[INFO] [stdout]     |
[INFO] [stdout] 355 |                 is_already_treated = false;
[INFO] [stdout]     |                 ^^^^^^^^^^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout]     = help: maybe it is overwritten before being read?
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: value assigned to `lside_result1` is never read
[INFO] [stdout]    --> src/dl_lite/string_formatter.rs:120:17
[INFO] [stdout]     |
[INFO] [stdout] 120 |             let mut lside_result1 = invalid_data_result("not done yet");
[INFO] [stdout]     |                 ^^^^^^^^^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout]     = help: maybe it is overwritten before being read?
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: value assigned to `rside_result1` is never read
[INFO] [stdout]    --> src/dl_lite/string_formatter.rs:121:17
[INFO] [stdout]     |
[INFO] [stdout] 121 |             let mut rside_result1 = invalid_data_result("not done yet");
[INFO] [stdout]     |                 ^^^^^^^^^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout]     = help: maybe it is overwritten before being read?
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: value assigned to `lside_result2` is never read
[INFO] [stdout]    --> src/dl_lite/string_formatter.rs:122:17
[INFO] [stdout]     |
[INFO] [stdout] 122 |             let mut lside_result2 = invalid_data_result("not done yet");
[INFO] [stdout]     |                 ^^^^^^^^^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout]     = help: maybe it is overwritten before being read?
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: value assigned to `rside_result2` is never read
[INFO] [stdout]    --> src/dl_lite/string_formatter.rs:123:17
[INFO] [stdout]     |
[INFO] [stdout] 123 |             let mut rside_result2 = invalid_data_result("not done yet");
[INFO] [stdout]     |                 ^^^^^^^^^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout]     = help: maybe it is overwritten before being read?
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `tbi`
[INFO] [stdout]    --> src/dl_lite/string_formatter.rs:316:22
[INFO] [stdout]     |
[INFO] [stdout] 316 | pub fn abi_to_string(tbi: &ABI, symbols: &HashMap<String, (usize, DLType)>) -> Option<String> {
[INFO] [stdout]     |                      ^^^ help: if this is intentional, prefix it with an underscore: `_tbi`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `symbols`
[INFO] [stdout]    --> src/dl_lite/string_formatter.rs:316:33
[INFO] [stdout]     |
[INFO] [stdout] 316 | pub fn abi_to_string(tbi: &ABI, symbols: &HashMap<String, (usize, DLType)>) -> Option<String> {
[INFO] [stdout]     |                                 ^^^^^^^ help: if this is intentional, prefix it with an underscore: `_symbols`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable does not need to be mutable
[INFO] [stdout]   --> src/dl_lite/native_filetype_utilities.rs:65:33
[INFO] [stdout]    |
[INFO] [stdout] 65 | ...                   let mut vec: Vec<&str> = line_trimmed.split("//").collect();
[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/native_filetype_utilities.rs:202:33
[INFO] [stdout]     |
[INFO] [stdout] 202 | ...                   let mut vec: Vec<&str> = line_trimmed.split("//").collect();
[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/native_filetype_utilities.rs:312:33
[INFO] [stdout]     |
[INFO] [stdout] 312 | ...                   let mut vec: Vec<&str> = line_trimmed.split("//").collect();
[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:341:13
[INFO] [stdout]     |
[INFO] [stdout] 341 |         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:342:13
[INFO] [stdout]     |
[INFO] [stdout] 342 |         let mut right_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/native_filetype_utilities.rs:65:33
[INFO] [stdout]    |
[INFO] [stdout] 65 | ...                   let mut vec: Vec<&str> = line_trimmed.split("//").collect();
[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:495:29
[INFO] [stdout]     |
[INFO] [stdout] 495 |                         let mut file_res = File::create(filename);
[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/native_filetype_utilities.rs:202:33
[INFO] [stdout]     |
[INFO] [stdout] 202 | ...                   let mut vec: Vec<&str> = line_trimmed.split("//").collect();
[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/native_filetype_utilities.rs:312:33
[INFO] [stdout]     |
[INFO] [stdout] 312 | ...                   let mut vec: Vec<&str> = line_trimmed.split("//").collect();
[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/tbox.rs:425:33
[INFO] [stdout]     |
[INFO] [stdout] 425 | ...                   let mut new_item_vec3 =
[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:341:13
[INFO] [stdout]     |
[INFO] [stdout] 341 |         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:342:13
[INFO] [stdout]     |
[INFO] [stdout] 342 |         let mut right_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:495:29
[INFO] [stdout]     |
[INFO] [stdout] 495 |                         let mut file_res = File::create(filename);
[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/string_formatter.rs:124:17
[INFO] [stdout]     |
[INFO] [stdout] 124 |             let mut splitted: Vec<&str>;
[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/string_formatter.rs:229:9
[INFO] [stdout]     |
[INFO] [stdout] 229 |     let mut splitted = s.trim();
[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/string_formatter.rs:230:9
[INFO] [stdout]     |
[INFO] [stdout] 230 |     let mut splitted: Vec<&str> = splitted.split(":").collect();
[INFO] [stdout]     |         ----^^^^^^^^
[INFO] [stdout]     |         |
[INFO] [stdout]     |         help: remove this `mut`
[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]    = note: `#[warn(dead_code)]` on by default
[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: associated function is never used: `t`
[INFO] [stdout]   --> src/dl_lite/abox_item.rs:62:12
[INFO] [stdout]    |
[INFO] [stdout] 62 |     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:70:12
[INFO] [stdout]    |
[INFO] [stdout] 70 |     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:80:12
[INFO] [stdout]    |
[INFO] [stdout] 80 |     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:107:12
[INFO] [stdout]     |
[INFO] [stdout] 107 |     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:114:12
[INFO] [stdout]     |
[INFO] [stdout] 114 |     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:119:12
[INFO] [stdout]     |
[INFO] [stdout] 119 |     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:142:12
[INFO] [stdout]     |
[INFO] [stdout] 142 |     pub fn apply_one(one: &ABI, tbox: &TB) -> Option<Vec<ABI>> {
[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: function is never used: `print_vector_of_tbi`
[INFO] [stdout]    --> src/dl_lite/helpers_and_utilities.rs:217:4
[INFO] [stdout]     |
[INFO] [stdout] 217 | fn print_vector_of_tbi<T: Display + PartialEq + Eq>(vec: &Vec<T>) -> String {
[INFO] [stdout]     |    ^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: function is never used: `parse_value_abi`
[INFO] [stdout]    --> src/dl_lite/json_filetype_utilities.rs:169:8
[INFO] [stdout]     |
[INFO] [stdout] 169 | 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: `node_to_value`
[INFO] [stdout]    --> src/dl_lite/json_filetype_utilities.rs:316:4
[INFO] [stdout]     |
[INFO] [stdout] 316 | fn node_to_value(node: &Node, symbols: &HashMap<String, (usize, DLType)>) -> Option<Value> {
[INFO] [stdout]     |    ^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: function is never used: `tbi_to_value`
[INFO] [stdout]    --> src/dl_lite/json_filetype_utilities.rs:325:4
[INFO] [stdout]     |
[INFO] [stdout] 325 | fn tbi_to_value(tbi: &TBI, symbols: &HashMap<String, (usize, DLType)>) -> Option<Value> {
[INFO] [stdout]     |    ^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: function is never used: `tbox_to_value`
[INFO] [stdout]    --> src/dl_lite/json_filetype_utilities.rs:335:8
[INFO] [stdout]     |
[INFO] [stdout] 335 | pub fn tbox_to_value(
[INFO] [stdout]     |        ^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: associated function is never used: `retrieve_base`
[INFO] [stdout]    --> src/dl_lite/node.rs:188:12
[INFO] [stdout]     |
[INFO] [stdout] 188 |     pub fn retrieve_base(node: &Node) -> &Node {
[INFO] [stdout]     |            ^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: associated function is never used: `is_negation`
[INFO] [stdout]    --> src/dl_lite/node.rs:248:12
[INFO] [stdout]     |
[INFO] [stdout] 248 |     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:270:12
[INFO] [stdout]     |
[INFO] [stdout] 270 |     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:274:12
[INFO] [stdout]     |
[INFO] [stdout] 274 |     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:283:12
[INFO] [stdout]     |
[INFO] [stdout] 283 |     pub fn print_iter<I>(it: I) -> String
[INFO] [stdout]     |            ^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: associated function is never used: `abox`
[INFO] [stdout]   --> src/dl_lite/ontology.rs:87:12
[INFO] [stdout]    |
[INFO] [stdout] 87 |     pub fn abox(&self) -> &AB {
[INFO] [stdout]    |            ^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable does not need to be mutable
[INFO] [stdout]    --> src/dl_lite/tbox.rs:425:33
[INFO] [stdout]     |
[INFO] [stdout] 425 | ...                   let mut new_item_vec3 =
[INFO] [stdout]     |                           ----^^^^^^^^^^^^^
[INFO] [stdout]     |                           |
[INFO] [stdout]     |                           help: remove this `mut`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: associated function is never used: `symbols_as_mut`
[INFO] [stdout]   --> src/dl_lite/ontology.rs:91:12
[INFO] [stdout]    |
[INFO] [stdout] 91 |     pub fn symbols_as_mut(&mut self) -> &mut HashMap<String, (usize, DLType)> {
[INFO] [stdout]    |            ^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: associated function is never used: `sort`
[INFO] [stdout]   --> src/dl_lite/ontology.rs:97:12
[INFO] [stdout]    |
[INFO] [stdout] 97 |     pub fn sort(&mut self) {
[INFO] [stdout]    |            ^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: associated function is never used: `contains_contradiction`
[INFO] [stdout]    --> src/dl_lite/ontology.rs:227:12
[INFO] [stdout]     |
[INFO] [stdout] 227 |     pub fn contains_contradiction(&self) -> bool {
[INFO] [stdout]     |            ^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: associated function is never used: `find_consequences`
[INFO] [stdout]    --> src/dl_lite/ontology.rs:237:12
[INFO] [stdout]     |
[INFO] [stdout] 237 |     pub fn find_consequences(&self, abox: &AB) -> AB {
[INFO] [stdout]     |            ^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: associated function is never used: `find_consequences_from_file`
[INFO] [stdout]    --> src/dl_lite/ontology.rs:241:12
[INFO] [stdout]     |
[INFO] [stdout] 241 |     pub fn find_consequences_from_file(&self, filename: &str, filetype: FileType) -> io::Result<AB> {
[INFO] [stdout]     |            ^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: associated function is never used: `tbox`
[INFO] [stdout]    --> src/dl_lite/ontology.rs:249:12
[INFO] [stdout]     |
[INFO] [stdout] 249 |     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:254:12
[INFO] [stdout]     |
[INFO] [stdout] 254 |     pub fn len(&self) -> (usize, usize) {
[INFO] [stdout]     |            ^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: associated function is never used: `tbox_to_file`
[INFO] [stdout]    --> src/dl_lite/ontology.rs:481:12
[INFO] [stdout]     |
[INFO] [stdout] 481 |     pub fn tbox_to_file(
[INFO] [stdout]     |            ^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: type alias is never used: `AbRule`
[INFO] [stdout]   --> src/dl_lite/rule.rs:16:1
[INFO] [stdout]    |
[INFO] [stdout] 16 | pub type AbRule = fn(Vec<&TBI>, Vec<&ABI>) -> Option<Vec<ABI>>;
[INFO] [stdout]    | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: associated function is never used: `new_from_iter`
[INFO] [stdout]   --> src/dl_lite/tbox.rs:75:12
[INFO] [stdout]    |
[INFO] [stdout] 75 |     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:88:12
[INFO] [stdout]    |
[INFO] [stdout] 88 |     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:92:12
[INFO] [stdout]    |
[INFO] [stdout] 92 |     pub fn is_empty(&self) -> bool {
[INFO] [stdout]    |            ^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: associated function is never used: `sort`
[INFO] [stdout]    --> src/dl_lite/tbox.rs:100:12
[INFO] [stdout]     |
[INFO] [stdout] 100 |     pub fn sort(&mut self) {
[INFO] [stdout]     |            ^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: associated function is never used: `completed`
[INFO] [stdout]    --> src/dl_lite/tbox.rs:104:12
[INFO] [stdout]     |
[INFO] [stdout] 104 |     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:112:12
[INFO] [stdout]     |
[INFO] [stdout] 112 |     pub fn is_completed(&self) -> bool {
[INFO] [stdout]     |            ^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: associated function is never used: `is_satisfiable`
[INFO] [stdout]    --> src/dl_lite/tbox.rs:538:12
[INFO] [stdout]     |
[INFO] [stdout] 538 |     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:61:12
[INFO] [stdout]    |
[INFO] [stdout] 61 |     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:74:12
[INFO] [stdout]    |
[INFO] [stdout] 74 |     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:79:12
[INFO] [stdout]    |
[INFO] [stdout] 79 |     pub fn decompact_with_clone(&self) -> (Node, Node) {
[INFO] [stdout]    |            ^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: function is never used: `node_to_string`
[INFO] [stdout]   --> src/dl_lite/string_formatter.rs:58:8
[INFO] [stdout]    |
[INFO] [stdout] 58 | pub fn node_to_string(
[INFO] [stdout]    |        ^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: function is never used: `tbi_to_string`
[INFO] [stdout]    --> src/dl_lite/string_formatter.rs:209:8
[INFO] [stdout]     |
[INFO] [stdout] 209 | pub fn tbi_to_string(tbi: &TBI, symbols: &HashMap<String, (usize, DLType)>) -> Option<String> {
[INFO] [stdout]     |        ^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: function is never used: `abi_to_string`
[INFO] [stdout]    --> src/dl_lite/string_formatter.rs:316:8
[INFO] [stdout]     |
[INFO] [stdout] 316 | pub fn abi_to_string(tbi: &ABI, symbols: &HashMap<String, (usize, DLType)>) -> Option<String> {
[INFO] [stdout]     |        ^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: function is never used: `find_keys_for_value`
[INFO] [stdout]    --> src/dl_lite/string_formatter.rs:449:4
[INFO] [stdout]     |
[INFO] [stdout] 449 | fn find_keys_for_value(symbols: &HashMap<String, (usize, DLType)>, value: usize) -> Vec<String> {
[INFO] [stdout]     |    ^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: 101 warnings emitted
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable does not need to be mutable
[INFO] [stdout]    --> src/dl_lite/string_formatter.rs:124:17
[INFO] [stdout]     |
[INFO] [stdout] 124 |             let mut splitted: Vec<&str>;
[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/string_formatter.rs:229:9
[INFO] [stdout]     |
[INFO] [stdout] 229 |     let mut splitted = s.trim();
[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/string_formatter.rs:230:9
[INFO] [stdout]     |
[INFO] [stdout] 230 |     let mut splitted: Vec<&str> = splitted.split(":").collect();
[INFO] [stdout]     |         ----^^^^^^^^
[INFO] [stdout]     |         |
[INFO] [stdout]     |         help: remove this `mut`
[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]    = note: `#[warn(dead_code)]` on by default
[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: associated function is never used: `t`
[INFO] [stdout]   --> src/dl_lite/abox_item.rs:62:12
[INFO] [stdout]    |
[INFO] [stdout] 62 |     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:70:12
[INFO] [stdout]    |
[INFO] [stdout] 70 |     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:80:12
[INFO] [stdout]    |
[INFO] [stdout] 80 |     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:107:12
[INFO] [stdout]     |
[INFO] [stdout] 107 |     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:114:12
[INFO] [stdout]     |
[INFO] [stdout] 114 |     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:119:12
[INFO] [stdout]     |
[INFO] [stdout] 119 |     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:142:12
[INFO] [stdout]     |
[INFO] [stdout] 142 |     pub fn apply_one(one: &ABI, tbox: &TB) -> Option<Vec<ABI>> {
[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: function is never used: `print_vector_of_tbi`
[INFO] [stdout]    --> src/dl_lite/helpers_and_utilities.rs:217:4
[INFO] [stdout]     |
[INFO] [stdout] 217 | fn print_vector_of_tbi<T: Display + PartialEq + Eq>(vec: &Vec<T>) -> String {
[INFO] [stdout]     |    ^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: function is never used: `parse_value_abi`
[INFO] [stdout]    --> src/dl_lite/json_filetype_utilities.rs:169:8
[INFO] [stdout]     |
[INFO] [stdout] 169 | 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: `node_to_value`
[INFO] [stdout]    --> src/dl_lite/json_filetype_utilities.rs:316:4
[INFO] [stdout]     |
[INFO] [stdout] 316 | fn node_to_value(node: &Node, symbols: &HashMap<String, (usize, DLType)>) -> Option<Value> {
[INFO] [stdout]     |    ^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: function is never used: `tbi_to_value`
[INFO] [stdout]    --> src/dl_lite/json_filetype_utilities.rs:325:4
[INFO] [stdout]     |
[INFO] [stdout] 325 | fn tbi_to_value(tbi: &TBI, symbols: &HashMap<String, (usize, DLType)>) -> Option<Value> {
[INFO] [stdout]     |    ^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: function is never used: `tbox_to_value`
[INFO] [stdout]    --> src/dl_lite/json_filetype_utilities.rs:335:8
[INFO] [stdout]     |
[INFO] [stdout] 335 | pub fn tbox_to_value(
[INFO] [stdout]     |        ^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: associated function is never used: `retrieve_base`
[INFO] [stdout]    --> src/dl_lite/node.rs:188:12
[INFO] [stdout]     |
[INFO] [stdout] 188 |     pub fn retrieve_base(node: &Node) -> &Node {
[INFO] [stdout]     |            ^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: associated function is never used: `is_negation`
[INFO] [stdout]    --> src/dl_lite/node.rs:248:12
[INFO] [stdout]     |
[INFO] [stdout] 248 |     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:270:12
[INFO] [stdout]     |
[INFO] [stdout] 270 |     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:274:12
[INFO] [stdout]     |
[INFO] [stdout] 274 |     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:283:12
[INFO] [stdout]     |
[INFO] [stdout] 283 |     pub fn print_iter<I>(it: I) -> String
[INFO] [stdout]     |            ^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: associated function is never used: `abox`
[INFO] [stdout]   --> src/dl_lite/ontology.rs:87:12
[INFO] [stdout]    |
[INFO] [stdout] 87 |     pub fn abox(&self) -> &AB {
[INFO] [stdout]    |            ^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: associated function is never used: `symbols_as_mut`
[INFO] [stdout]   --> src/dl_lite/ontology.rs:91:12
[INFO] [stdout]    |
[INFO] [stdout] 91 |     pub fn symbols_as_mut(&mut self) -> &mut HashMap<String, (usize, DLType)> {
[INFO] [stdout]    |            ^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: associated function is never used: `sort`
[INFO] [stdout]   --> src/dl_lite/ontology.rs:97:12
[INFO] [stdout]    |
[INFO] [stdout] 97 |     pub fn sort(&mut self) {
[INFO] [stdout]    |            ^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: associated function is never used: `contains_contradiction`
[INFO] [stdout]    --> src/dl_lite/ontology.rs:227:12
[INFO] [stdout]     |
[INFO] [stdout] 227 |     pub fn contains_contradiction(&self) -> bool {
[INFO] [stdout]     |            ^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: associated function is never used: `find_consequences`
[INFO] [stdout]    --> src/dl_lite/ontology.rs:237:12
[INFO] [stdout]     |
[INFO] [stdout] 237 |     pub fn find_consequences(&self, abox: &AB) -> AB {
[INFO] [stdout]     |            ^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: associated function is never used: `find_consequences_from_file`
[INFO] [stdout]    --> src/dl_lite/ontology.rs:241:12
[INFO] [stdout]     |
[INFO] [stdout] 241 |     pub fn find_consequences_from_file(&self, filename: &str, filetype: FileType) -> io::Result<AB> {
[INFO] [stdout]     |            ^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: associated function is never used: `tbox`
[INFO] [stdout]    --> src/dl_lite/ontology.rs:249:12
[INFO] [stdout]     |
[INFO] [stdout] 249 |     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:254:12
[INFO] [stdout]     |
[INFO] [stdout] 254 |     pub fn len(&self) -> (usize, usize) {
[INFO] [stdout]     |            ^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: associated function is never used: `tbox_to_file`
[INFO] [stdout]    --> src/dl_lite/ontology.rs:481:12
[INFO] [stdout]     |
[INFO] [stdout] 481 |     pub fn tbox_to_file(
[INFO] [stdout]     |            ^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: type alias is never used: `AbRule`
[INFO] [stdout]   --> src/dl_lite/rule.rs:16:1
[INFO] [stdout]    |
[INFO] [stdout] 16 | pub type AbRule = fn(Vec<&TBI>, Vec<&ABI>) -> Option<Vec<ABI>>;
[INFO] [stdout]    | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: associated function is never used: `new_from_iter`
[INFO] [stdout]   --> src/dl_lite/tbox.rs:75:12
[INFO] [stdout]    |
[INFO] [stdout] 75 |     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:88:12
[INFO] [stdout]    |
[INFO] [stdout] 88 |     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:92:12
[INFO] [stdout]    |
[INFO] [stdout] 92 |     pub fn is_empty(&self) -> bool {
[INFO] [stdout]    |            ^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: associated function is never used: `sort`
[INFO] [stdout]    --> src/dl_lite/tbox.rs:100:12
[INFO] [stdout]     |
[INFO] [stdout] 100 |     pub fn sort(&mut self) {
[INFO] [stdout]     |            ^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: associated function is never used: `completed`
[INFO] [stdout]    --> src/dl_lite/tbox.rs:104:12
[INFO] [stdout]     |
[INFO] [stdout] 104 |     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:112:12
[INFO] [stdout]     |
[INFO] [stdout] 112 |     pub fn is_completed(&self) -> bool {
[INFO] [stdout]     |            ^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: associated function is never used: `is_satisfiable`
[INFO] [stdout]    --> src/dl_lite/tbox.rs:538:12
[INFO] [stdout]     |
[INFO] [stdout] 538 |     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:61:12
[INFO] [stdout]    |
[INFO] [stdout] 61 |     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:74:12
[INFO] [stdout]    |
[INFO] [stdout] 74 |     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:79:12
[INFO] [stdout]    |
[INFO] [stdout] 79 |     pub fn decompact_with_clone(&self) -> (Node, Node) {
[INFO] [stdout]    |            ^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: function is never used: `node_to_string`
[INFO] [stdout]   --> src/dl_lite/string_formatter.rs:58:8
[INFO] [stdout]    |
[INFO] [stdout] 58 | pub fn node_to_string(
[INFO] [stdout]    |        ^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: function is never used: `tbi_to_string`
[INFO] [stdout]    --> src/dl_lite/string_formatter.rs:209:8
[INFO] [stdout]     |
[INFO] [stdout] 209 | pub fn tbi_to_string(tbi: &TBI, symbols: &HashMap<String, (usize, DLType)>) -> Option<String> {
[INFO] [stdout]     |        ^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: function is never used: `abi_to_string`
[INFO] [stdout]    --> src/dl_lite/string_formatter.rs:316:8
[INFO] [stdout]     |
[INFO] [stdout] 316 | pub fn abi_to_string(tbi: &ABI, symbols: &HashMap<String, (usize, DLType)>) -> Option<String> {
[INFO] [stdout]     |        ^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: function is never used: `find_keys_for_value`
[INFO] [stdout]    --> src/dl_lite/string_formatter.rs:449:4
[INFO] [stdout]     |
[INFO] [stdout] 449 | fn find_keys_for_value(symbols: &HashMap<String, (usize, DLType)>, value: usize) -> Vec<String> {
[INFO] [stdout]     |    ^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: 101 warnings emitted
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stderr]     Finished dev [unoptimized + debuginfo] target(s) in 33.04s
[INFO] running `Command { std: "docker" "inspect" "7f26db4488247e9dbe80cd0b7682dd04ce4f563073cd3f467e374a02a9e7b503", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "7f26db4488247e9dbe80cd0b7682dd04ce4f563073cd3f467e374a02a9e7b503", kill_on_drop: false }`
[INFO] [stdout] 7f26db4488247e9dbe80cd0b7682dd04ce4f563073cd3f467e374a02a9e7b503