[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] 307c303d794ffb9e822d1174f210ee12e968ad1f
[INFO] checking hatellezp/rustoner against master#36ecbc94eb6be90bc38b2d0fdd4bfac3f34d9923 for pr-81863
[INFO] running `Command { std: "git" "clone" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Fhatellezp%2Frustoner" "/workspace/builds/worker-0/source", kill_on_drop: false }`
[INFO] [stderr] Cloning into '/workspace/builds/worker-0/source'...
[INFO] [stderr] done.
[INFO] validating manifest of git repo https://github.com/hatellezp/rustoner on toolchain 36ecbc94eb6be90bc38b2d0fdd4bfac3f34d9923
[INFO] running `Command { std: "/workspace/cargo-home/bin/cargo" "+36ecbc94eb6be90bc38b2d0fdd4bfac3f34d9923" "metadata" "--manifest-path" "Cargo.toml" "--no-deps", 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-0/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" "+36ecbc94eb6be90bc38b2d0fdd4bfac3f34d9923" "fetch" "--locked" "--manifest-path" "Cargo.toml", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-0/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-0/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" "+36ecbc94eb6be90bc38b2d0fdd4bfac3f34d9923" "metadata" "--no-deps" "--format-version=1", kill_on_drop: false }`
[INFO] [stdout] f3f7c88d7ae602ea45f5b441b2f6f52245dffb19c8e5c169a634883da1d41ed6
[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" "f3f7c88d7ae602ea45f5b441b2f6f52245dffb19c8e5c169a634883da1d41ed6", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "inspect" "f3f7c88d7ae602ea45f5b441b2f6f52245dffb19c8e5c169a634883da1d41ed6", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "f3f7c88d7ae602ea45f5b441b2f6f52245dffb19c8e5c169a634883da1d41ed6", kill_on_drop: false }`
[INFO] [stdout] f3f7c88d7ae602ea45f5b441b2f6f52245dffb19c8e5c169a634883da1d41ed6
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-0/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-0/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" "+36ecbc94eb6be90bc38b2d0fdd4bfac3f34d9923" "check" "--frozen" "--all" "--all-targets" "--message-format=json", kill_on_drop: false }`
[INFO] [stdout] ab42bb7e72f801887d1d54ed5f9de0c4f817d506b5325a18e487291f5d38e2ed
[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" "ab42bb7e72f801887d1d54ed5f9de0c4f817d506b5325a18e487291f5d38e2ed", kill_on_drop: false }`
[INFO] [stderr]    Compiling proc-macro2 v1.0.24
[INFO] [stderr]    Compiling syn v1.0.58
[INFO] [stderr]    Compiling libc v0.2.84
[INFO] [stderr]    Compiling serde_derive v1.0.118
[INFO] [stderr]    Compiling serde v1.0.118
[INFO] [stderr]    Compiling unicode-segmentation v1.7.1
[INFO] [stderr]     Checking ahash v0.4.7
[INFO] [stderr]     Checking ansi_term v0.11.0
[INFO] [stderr]     Checking strsim v0.8.0
[INFO] [stderr]     Checking paw-raw v1.0.0
[INFO] [stderr]     Checking fallible-streaming-iterator v0.1.9
[INFO] [stderr]     Checking fallible-iterator v0.2.0
[INFO] [stderr]    Compiling libsqlite3-sys v0.20.1
[INFO] [stderr]     Checking textwrap v0.11.0
[INFO] [stderr]     Checking hashbrown v0.9.1
[INFO] [stderr]    Compiling heck v0.3.2
[INFO] [stderr]     Checking hashlink v0.6.0
[INFO] [stderr]    Compiling quote v1.0.8
[INFO] [stderr]     Checking rusqlite v0.24.2
[INFO] [stderr]     Checking atty v0.2.14
[INFO] [stderr]     Checking clap v2.33.3
[INFO] [stderr]    Compiling proc-macro-error-attr v1.0.4
[INFO] [stderr]    Compiling proc-macro-error v1.0.4
[INFO] [stderr]    Compiling paw-attributes v1.0.2
[INFO] [stderr]    Compiling structopt-derive v0.4.14
[INFO] [stderr]     Checking paw v1.0.0
[INFO] [stderr]     Checking structopt v0.3.21
[INFO] [stderr]     Checking serde_json v1.0.61
[INFO] [stderr]     Checking rustoner v0.1.0 (/opt/rustwide/workdir)
[INFO] [stdout] warning: unused import: `params`
[INFO] [stdout]   --> src/dl_lite/ontology.rs:18:16
[INFO] [stdout]    |
[INFO] [stdout] 18 | use rusqlite::{params, Connection, Result, NO_PARAMS};
[INFO] [stdout]    |                ^^^^^^
[INFO] [stdout]    |
[INFO] [stdout]    = note: `#[warn(unused_imports)]` on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused import: `crate::dl_lite::types::CR::Fifth`
[INFO] [stdout]  --> src/interface/utilities.rs:2:5
[INFO] [stdout]   |
[INFO] [stdout] 2 | use crate::dl_lite::types::CR::Fifth;
[INFO] [stdout]   |     ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused imports: `Connection`, `Result`
[INFO] [stdout]   --> src/main.rs:16:16
[INFO] [stdout]    |
[INFO] [stdout] 16 | use rusqlite::{Connection, Result};
[INFO] [stdout]    |                ^^^^^^^^^^  ^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused import: `rusqlite::NO_PARAMS`
[INFO] [stdout]   --> src/main.rs:17:5
[INFO] [stdout]    |
[INFO] [stdout] 17 | use rusqlite::NO_PARAMS;
[INFO] [stdout]    |     ^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused import: `params`
[INFO] [stdout]   --> src/dl_lite/ontology.rs:18:16
[INFO] [stdout]    |
[INFO] [stdout] 18 | use rusqlite::{params, Connection, Result, NO_PARAMS};
[INFO] [stdout]    |                ^^^^^^
[INFO] [stdout]    |
[INFO] [stdout]    = note: `#[warn(unused_imports)]` on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused import: `crate::dl_lite::types::CR::Fifth`
[INFO] [stdout]  --> src/interface/utilities.rs:2:5
[INFO] [stdout]   |
[INFO] [stdout] 2 | use crate::dl_lite::types::CR::Fifth;
[INFO] [stdout]   |     ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused imports: `Connection`, `Result`
[INFO] [stdout]   --> src/main.rs:16:16
[INFO] [stdout]    |
[INFO] [stdout] 16 | use rusqlite::{Connection, Result};
[INFO] [stdout]    |                ^^^^^^^^^^  ^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused import: `rusqlite::NO_PARAMS`
[INFO] [stdout]   --> src/main.rs:17:5
[INFO] [stdout]    |
[INFO] [stdout] 17 | use rusqlite::NO_PARAMS;
[INFO] [stdout]    |     ^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `verbose`
[INFO] [stdout]    --> src/dl_lite/json_filetype_utilities.rs:112:5
[INFO] [stdout]     |
[INFO] [stdout] 112 |     verbose: bool,
[INFO] [stdout]     |     ^^^^^^^ help: if this is intentional, prefix it with an underscore: `_verbose`
[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_filetype_utilities.rs:170:24
[INFO] [stdout]     |
[INFO] [stdout] 170 | 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:170:39
[INFO] [stdout]     |
[INFO] [stdout] 170 | 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:204:41
[INFO] [stdout]     |
[INFO] [stdout] 204 | ...                   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:158:28
[INFO] [stdout]     |
[INFO] [stdout] 158 |                        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:187:29
[INFO] [stdout]     |
[INFO] [stdout] 187 |                         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:239:37
[INFO] [stdout]     |
[INFO] [stdout] 239 |     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:243:47
[INFO] [stdout]     |
[INFO] [stdout] 243 |     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:243:63
[INFO] [stdout]     |
[INFO] [stdout] 243 |     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:273:22
[INFO] [stdout]     |
[INFO] [stdout] 273 |                 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:364:33
[INFO] [stdout]     |
[INFO] [stdout] 364 |                     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]     = 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 `lside_result1` is never read
[INFO] [stdout]    --> src/dl_lite/string_formatter.rs:121:17
[INFO] [stdout]     |
[INFO] [stdout] 121 |             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:122:17
[INFO] [stdout]     |
[INFO] [stdout] 122 |             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:123:17
[INFO] [stdout]     |
[INFO] [stdout] 123 |             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:124:17
[INFO] [stdout]     |
[INFO] [stdout] 124 |             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: `verbose`
[INFO] [stdout]    --> src/dl_lite/json_filetype_utilities.rs:112:5
[INFO] [stdout]     |
[INFO] [stdout] 112 |     verbose: bool,
[INFO] [stdout]     |     ^^^^^^^ help: if this is intentional, prefix it with an underscore: `_verbose`
[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_filetype_utilities.rs:170:24
[INFO] [stdout]     |
[INFO] [stdout] 170 | 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:170:39
[INFO] [stdout]     |
[INFO] [stdout] 170 | 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:204:41
[INFO] [stdout]     |
[INFO] [stdout] 204 | ...                   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:158:28
[INFO] [stdout]     |
[INFO] [stdout] 158 |                        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:187:29
[INFO] [stdout]     |
[INFO] [stdout] 187 |                         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:239:37
[INFO] [stdout]     |
[INFO] [stdout] 239 |     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:243:47
[INFO] [stdout]     |
[INFO] [stdout] 243 |     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:243:63
[INFO] [stdout]     |
[INFO] [stdout] 243 |     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:273:22
[INFO] [stdout]     |
[INFO] [stdout] 273 |                 let (low, high) =
[INFO] [stdout]     |                      ^^^ help: if this is intentional, prefix it with an underscore: `_low`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable does not need to be mutable
[INFO] [stdout]   --> src/dl_lite/native_filetype_utilities.rs:66:33
[INFO] [stdout]    |
[INFO] [stdout] 66 | ...                   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: unused variable: `c`
[INFO] [stdout]    --> src/dl_lite/ontology.rs:364:33
[INFO] [stdout]     |
[INFO] [stdout] 364 |                     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]     = 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 `lside_result1` is never read
[INFO] [stdout]    --> src/dl_lite/string_formatter.rs:121:17
[INFO] [stdout]     |
[INFO] [stdout] 121 |             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:122:17
[INFO] [stdout]     |
[INFO] [stdout] 122 |             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:123:17
[INFO] [stdout]     |
[INFO] [stdout] 123 |             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:124:17
[INFO] [stdout]     |
[INFO] [stdout] 124 |             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: variable does not need to be mutable
[INFO] [stdout]    --> src/dl_lite/native_filetype_utilities.rs:223:33
[INFO] [stdout]     |
[INFO] [stdout] 223 | ...                   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:333:33
[INFO] [stdout]     |
[INFO] [stdout] 333 | ...                   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:343:13
[INFO] [stdout]     |
[INFO] [stdout] 343 |         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:344:13
[INFO] [stdout]     |
[INFO] [stdout] 344 |         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:497:29
[INFO] [stdout]     |
[INFO] [stdout] 497 |                         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/ontology.rs:528:29
[INFO] [stdout]     |
[INFO] [stdout] 528 |                         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/ontology.rs:569:29
[INFO] [stdout]     |
[INFO] [stdout] 569 |                         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:66:33
[INFO] [stdout]    |
[INFO] [stdout] 66 | ...                   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:223:33
[INFO] [stdout]     |
[INFO] [stdout] 223 | ...                   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:333:33
[INFO] [stdout]     |
[INFO] [stdout] 333 | ...                   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/string_formatter.rs:125:17
[INFO] [stdout]     |
[INFO] [stdout] 125 |             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:230:9
[INFO] [stdout]     |
[INFO] [stdout] 230 |     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:231:9
[INFO] [stdout]     |
[INFO] [stdout] 231 |     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: variable does not need to be mutable
[INFO] [stdout]    --> src/dl_lite/ontology.rs:343:13
[INFO] [stdout]     |
[INFO] [stdout] 343 |         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:344:13
[INFO] [stdout]     |
[INFO] [stdout] 344 |         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:497:29
[INFO] [stdout]     |
[INFO] [stdout] 497 |                         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/ontology.rs:528:29
[INFO] [stdout]     |
[INFO] [stdout] 528 |                         let mut file_res = File::create(filename);
[INFO] [stdout]     |                             ----^^^^^^^^
[INFO] [stdout]     |                             |
[INFO] [stdout]     |                             help: remove this `mut`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: associated function is never used: `add`
[INFO] [stdout]   --> src/dl_lite/abox.rs:72:12
[INFO] [stdout]    |
[INFO] [stdout] 72 |     pub fn add(&mut self, abi: ABI) -> bool {
[INFO] [stdout]    |            ^^^
[INFO] [stdout]    |
[INFO] [stdout]    = note: `#[warn(dead_code)]` on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variant is never constructed: `None`
[INFO] [stdout]   --> src/dl_lite/abox_item.rs:12:5
[INFO] [stdout]    |
[INFO] [stdout] 12 |     None,
[INFO] [stdout]    |     ^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variant is never constructed: `Left`
[INFO] [stdout]   --> src/dl_lite/abox_item.rs:13:5
[INFO] [stdout]    |
[INFO] [stdout] 13 |     Left,
[INFO] [stdout]    |     ^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variant is never constructed: `Right`
[INFO] [stdout]   --> src/dl_lite/abox_item.rs:14:5
[INFO] [stdout]    |
[INFO] [stdout] 14 |     Right,
[INFO] [stdout]    |     ^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variant is never constructed: `RA`
[INFO] [stdout]   --> src/dl_lite/abox_item.rs:22:5
[INFO] [stdout]    |
[INFO] [stdout] 22 |     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:23:5
[INFO] [stdout]    |
[INFO] [stdout] 23 |     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:42:12
[INFO] [stdout]    |
[INFO] [stdout] 42 |     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:53:12
[INFO] [stdout]    |
[INFO] [stdout] 53 |     pub fn new_ca(c: Node, a: Node) -> Option<ABI> {
[INFO] [stdout]    |            ^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: associated function is never used: `is_trivial`
[INFO] [stdout]   --> src/dl_lite/abox_item.rs:63:12
[INFO] [stdout]    |
[INFO] [stdout] 63 |     pub fn is_trivial(&self) -> bool {
[INFO] [stdout]    |            ^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: associated function is never used: `t`
[INFO] [stdout]   --> src/dl_lite/abox_item.rs:70:12
[INFO] [stdout]    |
[INFO] [stdout] 70 |     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:78:12
[INFO] [stdout]    |
[INFO] [stdout] 78 |     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:88:12
[INFO] [stdout]    |
[INFO] [stdout] 88 |     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:115:12
[INFO] [stdout]     |
[INFO] [stdout] 115 |     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:122:12
[INFO] [stdout]     |
[INFO] [stdout] 122 |     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:127:12
[INFO] [stdout]     |
[INFO] [stdout] 127 |     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:150:12
[INFO] [stdout]     |
[INFO] [stdout] 150 |     pub fn apply_one(one: &ABI, tbox: &TB) -> Option<Vec<ABI>> {
[INFO] [stdout]     |            ^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: associated function is never used: `apply_rule`
[INFO] [stdout]    --> src/dl_lite/abox_item.rs:190:12
[INFO] [stdout]     |
[INFO] [stdout] 190 |     pub fn apply_rule(abis: Vec<&ABI>, tbis: Vec<&TBI>, rule: &AbRule) -> 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:170:8
[INFO] [stdout]     |
[INFO] [stdout] 170 | 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_native`
[INFO] [stdout]    --> src/dl_lite/native_filetype_utilities.rs:164:8
[INFO] [stdout]     |
[INFO] [stdout] 164 | pub fn parse_abox_native(filename: &str, symbols: &mut HashMap<String, (usize, DLType)>, verbose: bool) -> io::Result<AB> {
[INFO] [stdout]     |        ^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: function is never used: `abox_to_native_string`
[INFO] [stdout]    --> src/dl_lite/native_filetype_utilities.rs:436:8
[INFO] [stdout]     |
[INFO] [stdout] 436 | pub fn abox_to_native_string(abox: &AB, symbols: &HashMap<String, (usize, DLType)>, dont_write_trivial: bool) -> Option<String> {
[INFO] [stdout]     |        ^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: function is never used: `find_bound_of_symbols`
[INFO] [stdout]    --> src/dl_lite/native_filetype_utilities.rs:463:8
[INFO] [stdout]     |
[INFO] [stdout] 463 | pub fn find_bound_of_symbols(symbols: &HashMap<String, (usize, DLType)>) -> (usize, usize) {
[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:89:12
[INFO] [stdout]    |
[INFO] [stdout] 89 |     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:93:12
[INFO] [stdout]    |
[INFO] [stdout] 93 |     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:99:12
[INFO] [stdout]    |
[INFO] [stdout] 99 |     pub fn sort(&mut self) {
[INFO] [stdout]    |            ^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: associated function is never used: `new_abox`
[INFO] [stdout]    --> src/dl_lite/ontology.rs:145:12
[INFO] [stdout]     |
[INFO] [stdout] 145 |     pub fn new_abox(&mut self, filename: &str, filetype: FileType, verbose: bool) {
[INFO] [stdout]     |            ^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: associated function is never used: `add_abis`
[INFO] [stdout]    --> src/dl_lite/ontology.rs:174:12
[INFO] [stdout]     |
[INFO] [stdout] 174 |     pub fn add_abis(&mut self, filename: &str, filetype: FileType, verbose: bool) {
[INFO] [stdout]     |            ^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: associated function is never used: `contains_contradiction`
[INFO] [stdout]    --> src/dl_lite/ontology.rs:229:12
[INFO] [stdout]     |
[INFO] [stdout] 229 |     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:239:12
[INFO] [stdout]     |
[INFO] [stdout] 239 |     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:243:12
[INFO] [stdout]     |
[INFO] [stdout] 243 |     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: `len`
[INFO] [stdout]    --> src/dl_lite/ontology.rs:256:12
[INFO] [stdout]     |
[INFO] [stdout] 256 |     pub fn len(&self) -> (usize, usize) {
[INFO] [stdout]     |            ^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: associated function is never used: `abox_to_file`
[INFO] [stdout]    --> src/dl_lite/ontology.rs:557:12
[INFO] [stdout]     |
[INFO] [stdout] 557 |     pub fn abox_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<&ABI>, Vec<&TBI>) -> 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: `is_negative_inclusion`
[INFO] [stdout]   --> src/dl_lite/tbox_item.rs:73:12
[INFO] [stdout]    |
[INFO] [stdout] 73 |     pub fn is_negative_inclusion(&self) -> bool {
[INFO] [stdout]    |            ^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable does not need to be mutable
[INFO] [stdout]    --> src/dl_lite/ontology.rs:569:29
[INFO] [stdout]     |
[INFO] [stdout] 569 |                         let mut file_res = File::create(filename);
[INFO] [stdout]     |                             ----^^^^^^^^
[INFO] [stdout]     |                             |
[INFO] [stdout]     |                             help: remove this `mut`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: associated function is never used: `is_positive_inclusion`
[INFO] [stdout]   --> src/dl_lite/tbox_item.rs:77:12
[INFO] [stdout]    |
[INFO] [stdout] 77 |     pub fn is_positive_inclusion(&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:82:12
[INFO] [stdout]    |
[INFO] [stdout] 82 |     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:87:12
[INFO] [stdout]    |
[INFO] [stdout] 87 |     pub fn decompact_with_clone(&self) -> (Node, Node) {
[INFO] [stdout]    |            ^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: function is never used: `string_to_abi`
[INFO] [stdout]    --> src/dl_lite/string_formatter.rs:229:8
[INFO] [stdout]     |
[INFO] [stdout] 229 | pub fn string_to_abi(s: &str, symbols: &mut HashMap<String, (usize, DLType)>, mut current_id: usize) -> (io::Result<(ABI, Vec<(String, (u...
[INFO] [stdout]     |        ^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: function is never used: `abi_to_string`
[INFO] [stdout]    --> src/dl_lite/string_formatter.rs:317:8
[INFO] [stdout]     |
[INFO] [stdout] 317 | pub fn abi_to_string(abi: &ABI, symbols: &HashMap<String, (usize, DLType)>) -> Option<String> {
[INFO] [stdout]     |        ^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: constant `path_to_project` should have an upper case name
[INFO] [stdout]   --> src/main.rs:21:7
[INFO] [stdout]    |
[INFO] [stdout] 21 | const path_to_project: &str = "/home/horacio/Langs/rust/rustoner/";
[INFO] [stdout]    |       ^^^^^^^^^^^^^^^ help: convert the identifier to upper case: `PATH_TO_PROJECT`
[INFO] [stdout]    |
[INFO] [stdout]    = note: `#[warn(non_upper_case_globals)]` on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused `Result` that must be used
[INFO] [stdout]    --> src/dl_lite/ontology.rs:630:9
[INFO] [stdout]     |
[INFO] [stdout] 630 | /         conn.execute("\
[INFO] [stdout] 631 | |         CREATE TABLE IF NOT EXISTS symbols(
[INFO] [stdout] 632 | |             id INTEGER PRIMARY KEY,
[INFO] [stdout] 633 | |             name TEXT NON NULL,
[INFO] [stdout] ...   |
[INFO] [stdout] 636 | |         )
[INFO] [stdout] 637 | |         ", NO_PARAMS);
[INFO] [stdout]     | |______________________^
[INFO] [stdout]     |
[INFO] [stdout]     = note: `#[warn(unused_must_use)]` on by default
[INFO] [stdout]     = note: this `Result` may be an `Err` variant, which should be handled
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused `Result` that must be used
[INFO] [stdout]    --> src/dl_lite/ontology.rs:648:12
[INFO] [stdout]     |
[INFO] [stdout] 648 |            conn.execute(command.as_str(), NO_PARAMS);
[INFO] [stdout]     |            ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout]     = note: this `Result` may be an `Err` variant, which should be handled
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused `Result` that must be used
[INFO] [stdout]    --> src/dl_lite/ontology.rs:654:9
[INFO] [stdout]     |
[INFO] [stdout] 654 | /         conn.execute(
[INFO] [stdout] 655 | |             "CREATE TABLE IF NOT EXISTS relation(\
[INFO] [stdout] 656 | |                 type TEXT NON NULL PRIMARY KEY
[INFO] [stdout] 657 | |             )", NO_PARAMS
[INFO] [stdout] 658 | |         );
[INFO] [stdout]     | |__________^
[INFO] [stdout]     |
[INFO] [stdout]     = note: this `Result` may be an `Err` variant, which should be handled
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused `Result` that must be used
[INFO] [stdout]    --> src/dl_lite/ontology.rs:660:9
[INFO] [stdout]     |
[INFO] [stdout] 660 | /         conn.execute(
[INFO] [stdout] 661 | |             "INSERT OR IGNORE INTO relation(type) VALUES ('role')",
[INFO] [stdout] 662 | |             NO_PARAMS
[INFO] [stdout] 663 | |         );
[INFO] [stdout]     | |__________^
[INFO] [stdout]     |
[INFO] [stdout]     = note: this `Result` may be an `Err` variant, which should be handled
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused `Result` that must be used
[INFO] [stdout]    --> src/dl_lite/ontology.rs:665:9
[INFO] [stdout]     |
[INFO] [stdout] 665 | /         conn.execute(
[INFO] [stdout] 666 | |             "INSERT OR IGNORE INTO relation(type) VALUES ('concept')",
[INFO] [stdout] 667 | |             NO_PARAMS
[INFO] [stdout] 668 | |         );
[INFO] [stdout]     | |__________^
[INFO] [stdout]     |
[INFO] [stdout]     = note: this `Result` may be an `Err` variant, which should be handled
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused `Result` that must be used
[INFO] [stdout]    --> src/dl_lite/ontology.rs:672:9
[INFO] [stdout]     |
[INFO] [stdout] 672 | /         conn.execute(
[INFO] [stdout] 673 | |             "CREATE TABLE IF NOT EXISTS dltype(
[INFO] [stdout] 674 | |                 id INTEGER PRIMARY KEY,
[INFO] [stdout] 675 | |                 type TEXT NON NULL,
[INFO] [stdout] 676 | |                 UNIQUE(id, type)
[INFO] [stdout] 677 | |             )", NO_PARAMS
[INFO] [stdout] 678 | |         );
[INFO] [stdout]     | |__________^
[INFO] [stdout]     |
[INFO] [stdout]     = note: this `Result` may be an `Err` variant, which should be handled
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused `Result` that must be used
[INFO] [stdout]    --> src/dl_lite/ontology.rs:691:13
[INFO] [stdout]     |
[INFO] [stdout] 691 |             conn.execute(command.as_str(), NO_PARAMS);
[INFO] [stdout]     |             ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout]     = note: this `Result` may be an `Err` variant, which should be handled
[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: 96 warnings emitted
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable does not need to be mutable
[INFO] [stdout]    --> src/dl_lite/string_formatter.rs:125:17
[INFO] [stdout]     |
[INFO] [stdout] 125 |             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:230:9
[INFO] [stdout]     |
[INFO] [stdout] 230 |     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:231:9
[INFO] [stdout]     |
[INFO] [stdout] 231 |     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: associated function is never used: `add`
[INFO] [stdout]   --> src/dl_lite/abox.rs:72:12
[INFO] [stdout]    |
[INFO] [stdout] 72 |     pub fn add(&mut self, abi: ABI) -> bool {
[INFO] [stdout]    |            ^^^
[INFO] [stdout]    |
[INFO] [stdout]    = note: `#[warn(dead_code)]` on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variant is never constructed: `None`
[INFO] [stdout]   --> src/dl_lite/abox_item.rs:12:5
[INFO] [stdout]    |
[INFO] [stdout] 12 |     None,
[INFO] [stdout]    |     ^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variant is never constructed: `Left`
[INFO] [stdout]   --> src/dl_lite/abox_item.rs:13:5
[INFO] [stdout]    |
[INFO] [stdout] 13 |     Left,
[INFO] [stdout]    |     ^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variant is never constructed: `Right`
[INFO] [stdout]   --> src/dl_lite/abox_item.rs:14:5
[INFO] [stdout]    |
[INFO] [stdout] 14 |     Right,
[INFO] [stdout]    |     ^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variant is never constructed: `RA`
[INFO] [stdout]   --> src/dl_lite/abox_item.rs:22:5
[INFO] [stdout]    |
[INFO] [stdout] 22 |     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:23:5
[INFO] [stdout]    |
[INFO] [stdout] 23 |     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:42:12
[INFO] [stdout]    |
[INFO] [stdout] 42 |     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:53:12
[INFO] [stdout]    |
[INFO] [stdout] 53 |     pub fn new_ca(c: Node, a: Node) -> Option<ABI> {
[INFO] [stdout]    |            ^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: associated function is never used: `is_trivial`
[INFO] [stdout]   --> src/dl_lite/abox_item.rs:63:12
[INFO] [stdout]    |
[INFO] [stdout] 63 |     pub fn is_trivial(&self) -> bool {
[INFO] [stdout]    |            ^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: associated function is never used: `t`
[INFO] [stdout]   --> src/dl_lite/abox_item.rs:70:12
[INFO] [stdout]    |
[INFO] [stdout] 70 |     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:78:12
[INFO] [stdout]    |
[INFO] [stdout] 78 |     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:88:12
[INFO] [stdout]    |
[INFO] [stdout] 88 |     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:115:12
[INFO] [stdout]     |
[INFO] [stdout] 115 |     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:122:12
[INFO] [stdout]     |
[INFO] [stdout] 122 |     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:127:12
[INFO] [stdout]     |
[INFO] [stdout] 127 |     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:150:12
[INFO] [stdout]     |
[INFO] [stdout] 150 |     pub fn apply_one(one: &ABI, tbox: &TB) -> Option<Vec<ABI>> {
[INFO] [stdout]     |            ^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: associated function is never used: `apply_rule`
[INFO] [stdout]    --> src/dl_lite/abox_item.rs:190:12
[INFO] [stdout]     |
[INFO] [stdout] 190 |     pub fn apply_rule(abis: Vec<&ABI>, tbis: Vec<&TBI>, rule: &AbRule) -> 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:170:8
[INFO] [stdout]     |
[INFO] [stdout] 170 | 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_native`
[INFO] [stdout]    --> src/dl_lite/native_filetype_utilities.rs:164:8
[INFO] [stdout]     |
[INFO] [stdout] 164 | pub fn parse_abox_native(filename: &str, symbols: &mut HashMap<String, (usize, DLType)>, verbose: bool) -> io::Result<AB> {
[INFO] [stdout]     |        ^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: function is never used: `abox_to_native_string`
[INFO] [stdout]    --> src/dl_lite/native_filetype_utilities.rs:436:8
[INFO] [stdout]     |
[INFO] [stdout] 436 | pub fn abox_to_native_string(abox: &AB, symbols: &HashMap<String, (usize, DLType)>, dont_write_trivial: bool) -> Option<String> {
[INFO] [stdout]     |        ^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: function is never used: `find_bound_of_symbols`
[INFO] [stdout]    --> src/dl_lite/native_filetype_utilities.rs:463:8
[INFO] [stdout]     |
[INFO] [stdout] 463 | pub fn find_bound_of_symbols(symbols: &HashMap<String, (usize, DLType)>) -> (usize, usize) {
[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:89:12
[INFO] [stdout]    |
[INFO] [stdout] 89 |     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:93:12
[INFO] [stdout]    |
[INFO] [stdout] 93 |     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:99:12
[INFO] [stdout]    |
[INFO] [stdout] 99 |     pub fn sort(&mut self) {
[INFO] [stdout]    |            ^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: associated function is never used: `new_abox`
[INFO] [stdout]    --> src/dl_lite/ontology.rs:145:12
[INFO] [stdout]     |
[INFO] [stdout] 145 |     pub fn new_abox(&mut self, filename: &str, filetype: FileType, verbose: bool) {
[INFO] [stdout]     |            ^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: associated function is never used: `add_abis`
[INFO] [stdout]    --> src/dl_lite/ontology.rs:174:12
[INFO] [stdout]     |
[INFO] [stdout] 174 |     pub fn add_abis(&mut self, filename: &str, filetype: FileType, verbose: bool) {
[INFO] [stdout]     |            ^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: associated function is never used: `contains_contradiction`
[INFO] [stdout]    --> src/dl_lite/ontology.rs:229:12
[INFO] [stdout]     |
[INFO] [stdout] 229 |     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:239:12
[INFO] [stdout]     |
[INFO] [stdout] 239 |     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:243:12
[INFO] [stdout]     |
[INFO] [stdout] 243 |     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: `len`
[INFO] [stdout]    --> src/dl_lite/ontology.rs:256:12
[INFO] [stdout]     |
[INFO] [stdout] 256 |     pub fn len(&self) -> (usize, usize) {
[INFO] [stdout]     |            ^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: associated function is never used: `abox_to_file`
[INFO] [stdout]    --> src/dl_lite/ontology.rs:557:12
[INFO] [stdout]     |
[INFO] [stdout] 557 |     pub fn abox_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<&ABI>, Vec<&TBI>) -> 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: `is_negative_inclusion`
[INFO] [stdout]   --> src/dl_lite/tbox_item.rs:73:12
[INFO] [stdout]    |
[INFO] [stdout] 73 |     pub fn is_negative_inclusion(&self) -> bool {
[INFO] [stdout]    |            ^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: associated function is never used: `is_positive_inclusion`
[INFO] [stdout]   --> src/dl_lite/tbox_item.rs:77:12
[INFO] [stdout]    |
[INFO] [stdout] 77 |     pub fn is_positive_inclusion(&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:82:12
[INFO] [stdout]    |
[INFO] [stdout] 82 |     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:87:12
[INFO] [stdout]    |
[INFO] [stdout] 87 |     pub fn decompact_with_clone(&self) -> (Node, Node) {
[INFO] [stdout]    |            ^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: function is never used: `string_to_abi`
[INFO] [stdout]    --> src/dl_lite/string_formatter.rs:229:8
[INFO] [stdout]     |
[INFO] [stdout] 229 | pub fn string_to_abi(s: &str, symbols: &mut HashMap<String, (usize, DLType)>, mut current_id: usize) -> (io::Result<(ABI, Vec<(String, (u...
[INFO] [stdout]     |        ^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: function is never used: `abi_to_string`
[INFO] [stdout]    --> src/dl_lite/string_formatter.rs:317:8
[INFO] [stdout]     |
[INFO] [stdout] 317 | pub fn abi_to_string(abi: &ABI, symbols: &HashMap<String, (usize, DLType)>) -> Option<String> {
[INFO] [stdout]     |        ^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: constant `path_to_project` should have an upper case name
[INFO] [stdout]   --> src/main.rs:21:7
[INFO] [stdout]    |
[INFO] [stdout] 21 | const path_to_project: &str = "/home/horacio/Langs/rust/rustoner/";
[INFO] [stdout]    |       ^^^^^^^^^^^^^^^ help: convert the identifier to upper case: `PATH_TO_PROJECT`
[INFO] [stdout]    |
[INFO] [stdout]    = note: `#[warn(non_upper_case_globals)]` on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused `Result` that must be used
[INFO] [stdout]    --> src/dl_lite/ontology.rs:630:9
[INFO] [stdout]     |
[INFO] [stdout] 630 | /         conn.execute("\
[INFO] [stdout] 631 | |         CREATE TABLE IF NOT EXISTS symbols(
[INFO] [stdout] 632 | |             id INTEGER PRIMARY KEY,
[INFO] [stdout] 633 | |             name TEXT NON NULL,
[INFO] [stdout] ...   |
[INFO] [stdout] 636 | |         )
[INFO] [stdout] 637 | |         ", NO_PARAMS);
[INFO] [stdout]     | |______________________^
[INFO] [stdout]     |
[INFO] [stdout]     = note: `#[warn(unused_must_use)]` on by default
[INFO] [stdout]     = note: this `Result` may be an `Err` variant, which should be handled
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused `Result` that must be used
[INFO] [stdout]    --> src/dl_lite/ontology.rs:648:12
[INFO] [stdout]     |
[INFO] [stdout] 648 |            conn.execute(command.as_str(), NO_PARAMS);
[INFO] [stdout]     |            ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout]     = note: this `Result` may be an `Err` variant, which should be handled
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused `Result` that must be used
[INFO] [stdout]    --> src/dl_lite/ontology.rs:654:9
[INFO] [stdout]     |
[INFO] [stdout] 654 | /         conn.execute(
[INFO] [stdout] 655 | |             "CREATE TABLE IF NOT EXISTS relation(\
[INFO] [stdout] 656 | |                 type TEXT NON NULL PRIMARY KEY
[INFO] [stdout] 657 | |             )", NO_PARAMS
[INFO] [stdout] 658 | |         );
[INFO] [stdout]     | |__________^
[INFO] [stdout]     |
[INFO] [stdout]     = note: this `Result` may be an `Err` variant, which should be handled
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused `Result` that must be used
[INFO] [stdout]    --> src/dl_lite/ontology.rs:660:9
[INFO] [stdout]     |
[INFO] [stdout] 660 | /         conn.execute(
[INFO] [stdout] 661 | |             "INSERT OR IGNORE INTO relation(type) VALUES ('role')",
[INFO] [stdout] 662 | |             NO_PARAMS
[INFO] [stdout] 663 | |         );
[INFO] [stdout]     | |__________^
[INFO] [stdout]     |
[INFO] [stdout]     = note: this `Result` may be an `Err` variant, which should be handled
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused `Result` that must be used
[INFO] [stdout]    --> src/dl_lite/ontology.rs:665:9
[INFO] [stdout]     |
[INFO] [stdout] 665 | /         conn.execute(
[INFO] [stdout] 666 | |             "INSERT OR IGNORE INTO relation(type) VALUES ('concept')",
[INFO] [stdout] 667 | |             NO_PARAMS
[INFO] [stdout] 668 | |         );
[INFO] [stdout]     | |__________^
[INFO] [stdout]     |
[INFO] [stdout]     = note: this `Result` may be an `Err` variant, which should be handled
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused `Result` that must be used
[INFO] [stdout]    --> src/dl_lite/ontology.rs:672:9
[INFO] [stdout]     |
[INFO] [stdout] 672 | /         conn.execute(
[INFO] [stdout] 673 | |             "CREATE TABLE IF NOT EXISTS dltype(
[INFO] [stdout] 674 | |                 id INTEGER PRIMARY KEY,
[INFO] [stdout] 675 | |                 type TEXT NON NULL,
[INFO] [stdout] 676 | |                 UNIQUE(id, type)
[INFO] [stdout] 677 | |             )", NO_PARAMS
[INFO] [stdout] 678 | |         );
[INFO] [stdout]     | |__________^
[INFO] [stdout]     |
[INFO] [stdout]     = note: this `Result` may be an `Err` variant, which should be handled
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused `Result` that must be used
[INFO] [stdout]    --> src/dl_lite/ontology.rs:691:13
[INFO] [stdout]     |
[INFO] [stdout] 691 |             conn.execute(command.as_str(), NO_PARAMS);
[INFO] [stdout]     |             ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout]     = note: this `Result` may be an `Err` variant, which should be handled
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: 96 warnings emitted
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stderr]     Finished dev [unoptimized + debuginfo] target(s) in 1m 02s
[INFO] running `Command { std: "docker" "inspect" "ab42bb7e72f801887d1d54ed5f9de0c4f817d506b5325a18e487291f5d38e2ed", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "ab42bb7e72f801887d1d54ed5f9de0c4f817d506b5325a18e487291f5d38e2ed", kill_on_drop: false }`
[INFO] [stdout] ab42bb7e72f801887d1d54ed5f9de0c4f817d506b5325a18e487291f5d38e2ed