[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] bbb7510fe66c5aaa05c0f562503cde00c99c5caf
[INFO] checking hatellezp/rustoner against master#2e6fc425411280c658d852813de01c5157255088 for pr-128013
[INFO] running `Command { std: "git" "clone" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Fhatellezp%2Frustoner" "/workspace/builds/worker-2-tc1/source", kill_on_drop: false }`
[INFO] [stderr] Cloning into '/workspace/builds/worker-2-tc1/source'...
[INFO] [stderr] done.
[INFO] validating manifest of git repo https://github.com/hatellezp/rustoner on toolchain 2e6fc425411280c658d852813de01c5157255088
[INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+2e6fc425411280c658d852813de01c5157255088" "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-2-tc1/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: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+2e6fc425411280c658d852813de01c5157255088" "fetch" "--manifest-path" "Cargo.toml", kill_on_drop: false }`
[INFO] [stderr]     Updating crates.io index
[INFO] [stderr]  Downloading crates ...
[INFO] [stderr]   Downloaded paw v1.0.0
[INFO] [stderr]   Downloaded pad v0.1.6
[INFO] [stderr]   Downloaded roots v0.0.7
[INFO] [stderr]   Downloaded paw-raw v1.0.0
[INFO] [stderr]   Downloaded zip v0.5.13
[INFO] [stderr]   Downloaded question v0.2.2
[INFO] [stderr]   Downloaded plotters-svg v0.3.0
[INFO] [stderr]   Downloaded exitcode v1.1.2
[INFO] [stderr]   Downloaded fftw-sys v0.6.0
[INFO] [stderr]   Downloaded fftw v0.7.0
[INFO] [stderr]   Downloaded cast v0.2.6
[INFO] [stderr]   Downloaded criterion-plot v0.4.3
[INFO] [stderr]   Downloaded plotters-backend v0.3.0
[INFO] [stderr]   Downloaded serde_cbor v0.11.1
[INFO] [stderr]   Downloaded bzip2 v0.4.2
[INFO] [stderr]   Downloaded itertools v0.10.0
[INFO] [stderr]   Downloaded criterion v0.3.4
[INFO] [stderr]   Downloaded ftp v3.0.1
[INFO] [stderr]   Downloaded fftw-src v0.3.3
[INFO] [stderr]   Downloaded paw-attributes v1.0.2
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-2-tc1/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-2-tc1/source:/opt/rustwide/workdir:ro,Z" "-v" "/var/lib/crater-agent-workspace/cargo-home:/opt/rustwide/cargo-home:ro,Z" "-v" "/var/lib/crater-agent-workspace/rustup-home:/opt/rustwide/rustup-home:ro,Z" "-e" "SOURCE_DIR=/opt/rustwide/workdir" "-e" "CARGO_TARGET_DIR=/opt/rustwide/target" "-e" "CARGO_HOME=/opt/rustwide/cargo-home" "-e" "RUSTUP_HOME=/opt/rustwide/rustup-home" "-w" "/opt/rustwide/workdir" "-m" "1610612736" "--user" "0:0" "--network" "none" "ghcr.io/rust-lang/crates-build-env/linux@sha256:dff56e7819e73ed36160586b3445e93eb0be776c16704aeeded9c3fb668b2384" "/opt/rustwide/cargo-home/bin/cargo" "+2e6fc425411280c658d852813de01c5157255088" "metadata" "--no-deps" "--format-version=1", kill_on_drop: false }`
[INFO] [stdout] 59329ce029bf8cfffb5dda0ed77020ae63c782199f99d6afafc45c8b9cd2b32a
[INFO] running `Command { std: "docker" "start" "-a" "59329ce029bf8cfffb5dda0ed77020ae63c782199f99d6afafc45c8b9cd2b32a", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "inspect" "59329ce029bf8cfffb5dda0ed77020ae63c782199f99d6afafc45c8b9cd2b32a", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "59329ce029bf8cfffb5dda0ed77020ae63c782199f99d6afafc45c8b9cd2b32a", kill_on_drop: false }`
[INFO] [stdout] 59329ce029bf8cfffb5dda0ed77020ae63c782199f99d6afafc45c8b9cd2b32a
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-2-tc1/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-2-tc1/source:/opt/rustwide/workdir:ro,Z" "-v" "/var/lib/crater-agent-workspace/cargo-home:/opt/rustwide/cargo-home:ro,Z" "-v" "/var/lib/crater-agent-workspace/rustup-home:/opt/rustwide/rustup-home:ro,Z" "-e" "SOURCE_DIR=/opt/rustwide/workdir" "-e" "CARGO_TARGET_DIR=/opt/rustwide/target" "-e" "CARGO_INCREMENTAL=0" "-e" "RUST_BACKTRACE=full" "-e" "RUSTFLAGS=--cap-lints=forbid" "-e" "RUSTDOCFLAGS=--cap-lints=forbid" "-e" "CARGO_HOME=/opt/rustwide/cargo-home" "-e" "RUSTUP_HOME=/opt/rustwide/rustup-home" "-w" "/opt/rustwide/workdir" "-m" "1610612736" "--user" "0:0" "--network" "none" "ghcr.io/rust-lang/crates-build-env/linux@sha256:dff56e7819e73ed36160586b3445e93eb0be776c16704aeeded9c3fb668b2384" "/opt/rustwide/cargo-home/bin/cargo" "+2e6fc425411280c658d852813de01c5157255088" "check" "--frozen" "--all" "--all-targets" "--message-format=json", kill_on_drop: false }`
[INFO] [stdout] c905e538ac7a46f3195f347000fee3493115daa0ac990afe1ff3b6bb7e6f148c
[INFO] running `Command { std: "docker" "start" "-a" "c905e538ac7a46f3195f347000fee3493115daa0ac990afe1ff3b6bb7e6f148c", kill_on_drop: false }`
[INFO] [stderr]    Compiling libc v0.2.95
[INFO] [stderr]    Compiling proc-macro2 v1.0.27
[INFO] [stderr]    Compiling libm v0.2.1
[INFO] [stderr]    Compiling syn v1.0.72
[INFO] [stderr]    Compiling num-traits v0.2.14
[INFO] [stderr]    Compiling num-integer v0.1.44
[INFO] [stderr]    Compiling version_check v0.9.3
[INFO] [stderr]    Compiling num-iter v0.1.42
[INFO] [stderr]    Compiling cc v1.0.68
[INFO] [stderr]    Compiling serde_derive v1.0.126
[INFO] [stderr]    Compiling winapi v0.2.8
[INFO] [stderr]    Compiling miniz_oxide v0.4.4
[INFO] [stderr]    Compiling crc32fast v1.2.1
[INFO] [stderr]    Compiling serde v1.0.126
[INFO] [stderr]    Compiling crossbeam-utils v0.8.5
[INFO] [stderr]    Compiling adler v1.0.2
[INFO] [stderr]    Compiling kernel32-sys v0.2.2
[INFO] [stderr]    Compiling memoffset v0.6.4
[INFO] [stderr]    Compiling anyhow v1.0.40
[INFO] [stderr]    Compiling regex-syntax v0.3.9
[INFO] [stderr]    Compiling utf8-ranges v0.1.3
[INFO] [stderr]    Compiling ucd-trie v0.1.3
[INFO] [stderr]    Compiling crossbeam-epoch v0.9.5
[INFO] [stderr]    Compiling byteorder v1.4.3
[INFO] [stderr]    Compiling lazy_static v0.1.16
[INFO] [stderr]    Compiling pest v2.1.3
[INFO] [stderr]    Compiling ryu v1.0.5
[INFO] [stderr]    Compiling proc-macro-error-attr v1.0.4
[INFO] [stderr]    Compiling fs_extra v1.2.0
[INFO] [stderr]    Compiling rayon-core v1.9.1
[INFO] [stderr]     Checking rawpointer v0.2.1
[INFO] [stderr]    Compiling proc-macro-error v1.0.4
[INFO] [stderr]     Checking ppv-lite86 v0.2.10
[INFO] [stderr]    Compiling serde_json v1.0.64
[INFO] [stderr]    Compiling quote v1.0.9
[INFO] [stderr]    Compiling memchr v2.4.0
[INFO] [stderr]     Checking itoa v0.4.7
[INFO] [stderr]    Compiling memchr v0.1.11
[INFO] [stderr]    Compiling time v0.1.43
[INFO] [stderr]    Compiling thread-id v2.0.0
[INFO] [stderr]    Compiling aho-corasick v0.5.3
[INFO] [stderr]    Compiling flate2 v1.0.20
[INFO] [stderr]     Checking getrandom v0.2.3
[INFO] [stderr]    Compiling typenum v1.13.0
[INFO] [stderr]    Compiling thread_local v0.2.7
[INFO] [stderr]     Checking atty v0.2.14
[INFO] [stderr]     Checking num_cpus v1.13.0
[INFO] [stderr]     Checking crossbeam-deque v0.8.0
[INFO] [stderr]     Checking rand_core v0.6.2
[INFO] [stderr]    Compiling semver-parser v0.10.2
[INFO] [stderr]    Compiling regex v0.1.80
[INFO] [stderr]     Checking crossbeam-channel v0.5.1
[INFO] [stderr]    Compiling generic-array v0.14.4
[INFO] [stderr]    Compiling rayon v1.5.1
[INFO] [stderr]     Checking rand_chacha v0.3.0
[INFO] [stderr]    Compiling num-rational v0.3.2
[INFO] [stderr]    Compiling bzip2-sys v0.1.10+1.0.8
[INFO] [stderr]    Compiling indexmap v1.6.2
[INFO] [stderr]    Compiling unicode-segmentation v1.7.1
[INFO] [stderr]    Compiling ndarray v0.14.0
[INFO] [stderr]     Checking clap v2.33.3
[INFO] [stderr]     Checking rand v0.8.3
[INFO] [stderr]     Checking num-complex v0.3.1
[INFO] [stderr]    Compiling semver v0.11.0
[INFO] [stderr]     Checking approx v0.4.0
[INFO] [stderr]    Compiling heck v0.3.3
[INFO] [stderr]     Checking matrixmultiply v0.2.4
[INFO] [stderr]     Checking itertools v0.9.0
[INFO] [stderr]    Compiling rustc_version v0.3.3
[INFO] [stderr]    Compiling num v0.1.42
[INFO] [stderr]    Compiling paste v1.0.5
[INFO] [stderr]     Checking paw-raw v1.0.0
[INFO] [stderr]    Compiling chrono v0.2.25
[INFO] [stderr]    Compiling cast v0.2.6
[INFO] [stderr]     Checking matrixmultiply v0.3.1
[INFO] [stderr]     Checking remove_dir_all v0.5.3
[INFO] [stderr]     Checking regex-automata v0.1.10
[INFO] [stderr]     Checking plotters-backend v0.3.0
[INFO] [stderr]     Checking fixedbitset v0.2.0
[INFO] [stderr]     Checking simba v0.4.0
[INFO] [stderr]     Checking tempfile v3.2.0
[INFO] [stderr]     Checking csv-core v0.1.10
[INFO] [stderr]     Checking petgraph v0.5.1
[INFO] [stderr]    Compiling bzip2 v0.4.2
[INFO] [stderr]     Checking plotters-svg v0.3.0
[INFO] [stderr]     Checking rand_distr v0.4.1
[INFO] [stderr]     Checking num-complex v0.4.0
[INFO] [stderr]     Checking pad v0.1.6
[INFO] [stderr]    Compiling ftp v3.0.1
[INFO] [stderr]     Checking roots v0.0.7
[INFO] [stderr]     Checking half v1.7.1
[INFO] [stderr]     Checking question v0.2.2
[INFO] [stderr]     Checking regex-syntax v0.6.25
[INFO] [stderr]     Checking exitcode v1.1.2
[INFO] [stderr]     Checking walkdir v2.3.2
[INFO] [stderr]     Checking plotters v0.3.1
[INFO] [stderr]     Checking criterion-plot v0.4.3
[INFO] [stderr]     Checking itertools v0.10.0
[INFO] [stderr]     Checking oorandom v11.1.3
[INFO] [stderr]     Checking regex v1.5.4
[INFO] [stderr]    Compiling thiserror-impl v1.0.25
[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]    Compiling thiserror v1.0.25
[INFO] [stderr]    Compiling zip v0.5.13
[INFO] [stderr]     Checking structopt v0.3.21
[INFO] [stderr]    Compiling fftw-src v0.3.3
[INFO] [stderr]     Checking bstr v0.2.16
[INFO] [stderr]     Checking nalgebra v0.25.4
[INFO] [stderr]     Checking serde_cbor v0.11.1
[INFO] [stderr]     Checking csv v1.1.6
[INFO] [stderr]     Checking tinytemplate v1.2.1
[INFO] [stderr]     Checking criterion v0.3.4
[INFO] [stderr]     Checking fftw-sys v0.6.0
[INFO] [stderr]     Checking fftw v0.7.0
[INFO] [stderr]     Checking rustoner v0.2.0 (/opt/rustwide/workdir)
[INFO] [stdout] warning: unused imports: `UNICODE_BOT` and `UNICODE_TOP`
[INFO] [stdout]   --> src/kb/types.rs:23:5
[INFO] [stdout]    |
[INFO] [stdout] 23 |     UNICODE_BOT, UNICODE_EXISTS, UNICODE_NEG, UNICODE_RIGHTARROW, UNICODE_SQSUBSETEQ,
[INFO] [stdout]    |     ^^^^^^^^^^^
[INFO] [stdout] 24 |     UNICODE_SUBSETEQ, UNICODE_TOP, UNICODE_VEE, UNICODE_WEDGE,
[INFO] [stdout]    |                       ^^^^^^^^^^^
[INFO] [stdout]    |
[INFO] [stdout]    = note: `#[warn(unused_imports)]` on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused imports: `UNICODE_BOT` and `UNICODE_TOP`
[INFO] [stdout]   --> src/kb/types.rs:23:5
[INFO] [stdout]    |
[INFO] [stdout] 23 |     UNICODE_BOT, UNICODE_EXISTS, UNICODE_NEG, UNICODE_RIGHTARROW, UNICODE_SQSUBSETEQ,
[INFO] [stdout]    |     ^^^^^^^^^^^
[INFO] [stdout] 24 |     UNICODE_SUBSETEQ, UNICODE_TOP, UNICODE_VEE, UNICODE_WEDGE,
[INFO] [stdout]    |                       ^^^^^^^^^^^
[INFO] [stdout]    |
[INFO] [stdout]    = note: `#[warn(unused_imports)]` on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `its_ref_i`
[INFO] [stdout]    --> src/dl_lite/abox.rs:437:26
[INFO] [stdout]     |
[INFO] [stdout] 437 |             for (abiq_i, its_ref_i) in &inner_refs {
[INFO] [stdout]     |                          ^^^^^^^^^ help: if this is intentional, prefix it with an underscore: `_its_ref_i`
[INFO] [stdout]     |
[INFO] [stdout]     = note: `#[warn(unused_variables)]` on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `its_ref_j`
[INFO] [stdout]    --> src/dl_lite/abox.rs:455:34
[INFO] [stdout]     |
[INFO] [stdout] 455 |                     for (abiq_j, its_ref_j) in &inner_refs {
[INFO] [stdout]     |                                  ^^^^^^^^^ help: if this is intentional, prefix it with an underscore: `_its_ref_j`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `its_ref_i`
[INFO] [stdout]    --> src/dl_lite/abox.rs:437:26
[INFO] [stdout]     |
[INFO] [stdout] 437 |             for (abiq_i, its_ref_i) in &inner_refs {
[INFO] [stdout]     |                          ^^^^^^^^^ help: if this is intentional, prefix it with an underscore: `_its_ref_i`
[INFO] [stdout]     |
[INFO] [stdout]     = note: `#[warn(unused_variables)]` on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `its_ref_j`
[INFO] [stdout]    --> src/dl_lite/abox.rs:455:34
[INFO] [stdout]     |
[INFO] [stdout] 455 |                     for (abiq_j, its_ref_j) in &inner_refs {
[INFO] [stdout]     |                                  ^^^^^^^^^ help: if this is intentional, prefix it with an underscore: `_its_ref_j`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable does not need to be mutable
[INFO] [stdout]    --> src/dl_lite/abox.rs:412:13
[INFO] [stdout]     |
[INFO] [stdout] 412 |         let mut contradictions: Option<Vec<(Option<&TbiDllite>, Vec<&AbiqDllite>)>> = None;
[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/abox.rs:412:13
[INFO] [stdout]     |
[INFO] [stdout] 412 |         let mut contradictions: Option<Vec<(Option<&TbiDllite>, Vec<&AbiqDllite>)>> = None;
[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: value assigned to `is_already_treated` is never read
[INFO] [stdout]    --> src/dl_lite/abox.rs:844:17
[INFO] [stdout]     |
[INFO] [stdout] 844 |                 is_already_treated = false;
[INFO] [stdout]     |                 ^^^^^^^^^^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout]     = help: maybe it is overwritten before being read?
[INFO] [stdout]     = note: `#[warn(unused_assignments)]` on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: value assigned to `is_already_treated` is never read
[INFO] [stdout]    --> src/dl_lite/abox.rs:844:17
[INFO] [stdout]     |
[INFO] [stdout] 844 |                 is_already_treated = false;
[INFO] [stdout]     |                 ^^^^^^^^^^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout]     = help: maybe it is overwritten before being read?
[INFO] [stdout]     = note: `#[warn(unused_assignments)]` on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: value assigned to `lside_result1` is never read
[INFO] [stdout]    --> src/dl_lite/string_formatter.rs:163:21
[INFO] [stdout]     |
[INFO] [stdout] 163 |             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:164:21
[INFO] [stdout]     |
[INFO] [stdout] 164 |             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:165:21
[INFO] [stdout]     |
[INFO] [stdout] 165 |             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:166:21
[INFO] [stdout]     |
[INFO] [stdout] 166 |             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: value assigned to `lside_result1` is never read
[INFO] [stdout]    --> src/dl_lite/string_formatter.rs:163:21
[INFO] [stdout]     |
[INFO] [stdout] 163 |             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:164:21
[INFO] [stdout]     |
[INFO] [stdout] 164 |             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:165:21
[INFO] [stdout]     |
[INFO] [stdout] 165 |             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:166:21
[INFO] [stdout]     |
[INFO] [stdout] 166 |             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: value assigned to `is_already_treated` is never read
[INFO] [stdout]    --> src/dl_lite/tbox.rs:351:17
[INFO] [stdout]     |
[INFO] [stdout] 351 |                 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 `is_already_treated` is never read
[INFO] [stdout]    --> src/dl_lite/tbox.rs:351:17
[INFO] [stdout]     |
[INFO] [stdout] 351 |                 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: constant `RULE_IDS` is never used
[INFO] [stdout]   --> src/graph_maker.rs:38:7
[INFO] [stdout]    |
[INFO] [stdout] 38 | const RULE_IDS: [CR; 10] = [
[INFO] [stdout]    |       ^^^^^^^^
[INFO] [stdout]    |
[INFO] [stdout]    = note: `#[warn(dead_code)]` on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: constant `RULE_STR_IDS` is never used
[INFO] [stdout]   --> src/graph_maker.rs:51:7
[INFO] [stdout]    |
[INFO] [stdout] 51 | const RULE_STR_IDS: [&str; 10] = ["R1", "R2", "R3", "R4", "R5", "R6", "R7", "R8", "R9", "10"];
[INFO] [stdout]    |       ^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: function `create_graph_for_tbox_unraveling` is never used
[INFO] [stdout]   --> src/graph_maker.rs:55:8
[INFO] [stdout]    |
[INFO] [stdout] 55 | pub fn create_graph_for_tbox_unraveling(
[INFO] [stdout]    |        ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: function `create_graph_for_aboxq_unraveling` is never used
[INFO] [stdout]    --> src/graph_maker.rs:123:8
[INFO] [stdout]     |
[INFO] [stdout] 123 | pub fn create_graph_for_aboxq_unraveling(
[INFO] [stdout]     |        ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: function `edge_attr_tbox_unraveling` is never used
[INFO] [stdout]    --> src/graph_maker.rs:214:8
[INFO] [stdout]     |
[INFO] [stdout] 214 | pub fn edge_attr_tbox_unraveling(_g: &Graph<String, ()>, _e: EdgeReference<()>) -> String {
[INFO] [stdout]     |        ^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: function `node_attr_abox_unraveling` is never used
[INFO] [stdout]    --> src/graph_maker.rs:218:8
[INFO] [stdout]     |
[INFO] [stdout] 218 | pub fn node_attr_abox_unraveling(
[INFO] [stdout]     |        ^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: function `node_attr_tbox_unraveling` is never used
[INFO] [stdout]    --> src/graph_maker.rs:241:8
[INFO] [stdout]     |
[INFO] [stdout] 241 | pub fn node_attr_tbox_unraveling(
[INFO] [stdout]     |        ^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: function `transform_abiq_for_graph` is never used
[INFO] [stdout]    --> src/graph_maker.rs:257:8
[INFO] [stdout]     |
[INFO] [stdout] 257 | pub fn transform_abiq_for_graph(abiq: &AbiqDllite, abiq_string: String) -> String {
[INFO] [stdout]     |        ^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: function `transform_tbi_for_graph` is never used
[INFO] [stdout]    --> src/graph_maker.rs:267:8
[INFO] [stdout]     |
[INFO] [stdout] 267 | pub fn transform_tbi_for_graph(tbi: &TbiDllite, tbi_string: String, is_for_abox: bool) -> String {
[INFO] [stdout]     |        ^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: function `modify_hashmap_graph` is never used
[INFO] [stdout]    --> src/graph_maker.rs:289:8
[INFO] [stdout]     |
[INFO] [stdout] 289 | pub fn modify_hashmap_graph(
[INFO] [stdout]     |        ^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: constant `RULE_IDS` is never used
[INFO] [stdout]   --> src/graph_maker.rs:38:7
[INFO] [stdout]    |
[INFO] [stdout] 38 | const RULE_IDS: [CR; 10] = [
[INFO] [stdout]    |       ^^^^^^^^
[INFO] [stdout]    |
[INFO] [stdout]    = note: `#[warn(dead_code)]` on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: constant `RULE_STR_IDS` is never used
[INFO] [stdout]   --> src/graph_maker.rs:51:7
[INFO] [stdout]    |
[INFO] [stdout] 51 | const RULE_STR_IDS: [&str; 10] = ["R1", "R2", "R3", "R4", "R5", "R6", "R7", "R8", "R9", "10"];
[INFO] [stdout]    |       ^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: function `create_graph_for_tbox_unraveling` is never used
[INFO] [stdout]   --> src/graph_maker.rs:55:8
[INFO] [stdout]    |
[INFO] [stdout] 55 | pub fn create_graph_for_tbox_unraveling(
[INFO] [stdout]    |        ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: function `create_graph_for_aboxq_unraveling` is never used
[INFO] [stdout]    --> src/graph_maker.rs:123:8
[INFO] [stdout]     |
[INFO] [stdout] 123 | pub fn create_graph_for_aboxq_unraveling(
[INFO] [stdout]     |        ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: function `edge_attr_tbox_unraveling` is never used
[INFO] [stdout]    --> src/graph_maker.rs:214:8
[INFO] [stdout]     |
[INFO] [stdout] 214 | pub fn edge_attr_tbox_unraveling(_g: &Graph<String, ()>, _e: EdgeReference<()>) -> String {
[INFO] [stdout]     |        ^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: function `node_attr_abox_unraveling` is never used
[INFO] [stdout]    --> src/graph_maker.rs:218:8
[INFO] [stdout]     |
[INFO] [stdout] 218 | pub fn node_attr_abox_unraveling(
[INFO] [stdout]     |        ^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: function `node_attr_tbox_unraveling` is never used
[INFO] [stdout]    --> src/graph_maker.rs:241:8
[INFO] [stdout]     |
[INFO] [stdout] 241 | pub fn node_attr_tbox_unraveling(
[INFO] [stdout]     |        ^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: function `transform_abiq_for_graph` is never used
[INFO] [stdout]    --> src/graph_maker.rs:257:8
[INFO] [stdout]     |
[INFO] [stdout] 257 | pub fn transform_abiq_for_graph(abiq: &AbiqDllite, abiq_string: String) -> String {
[INFO] [stdout]     |        ^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: function `transform_tbi_for_graph` is never used
[INFO] [stdout]    --> src/graph_maker.rs:267:8
[INFO] [stdout]     |
[INFO] [stdout] 267 | pub fn transform_tbi_for_graph(tbi: &TbiDllite, tbi_string: String, is_for_abox: bool) -> String {
[INFO] [stdout]     |        ^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: function `modify_hashmap_graph` is never used
[INFO] [stdout]    --> src/graph_maker.rs:289:8
[INFO] [stdout]     |
[INFO] [stdout] 289 | pub fn modify_hashmap_graph(
[INFO] [stdout]     |        ^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: 20 warnings emitted
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: 20 warnings emitted
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused imports: `Arc` and `Mutex`
[INFO] [stdout]   --> src/alg_math/bounds.rs:48:17
[INFO] [stdout]    |
[INFO] [stdout] 48 | use std::sync::{Arc, Mutex};
[INFO] [stdout]    |                 ^^^  ^^^^^
[INFO] [stdout]    |
[INFO] [stdout]    = note: `#[warn(unused_imports)]` on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused import: `std::time::Instant`
[INFO] [stdout]   --> src/alg_math/bounds.rs:49:5
[INFO] [stdout]    |
[INFO] [stdout] 49 | use std::time::Instant;
[INFO] [stdout]    |     ^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unnecessary parentheses around match arm expression
[INFO] [stdout]    --> src/alg_math/polynomial_roots.rs:194:33
[INFO] [stdout]     |
[INFO] [stdout] 194 |             Roots::Two(root) => (root[0].max(root[1])),
[INFO] [stdout]     |                                 ^                    ^
[INFO] [stdout]     |
[INFO] [stdout]     = note: `#[warn(unused_parens)]` on by default
[INFO] [stdout] help: remove these parentheses
[INFO] [stdout]     |
[INFO] [stdout] 194 -             Roots::Two(root) => (root[0].max(root[1])),
[INFO] [stdout] 194 +             Roots::Two(root) => root[0].max(root[1]),
[INFO] [stdout]     |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unnecessary parentheses around match arm expression
[INFO] [stdout]    --> src/alg_math/polynomial_roots.rs:195:35
[INFO] [stdout]     |
[INFO] [stdout] 195 |             Roots::Three(root) => (root[0].max(root[1].max(root[2]))),
[INFO] [stdout]     |                                   ^                                 ^
[INFO] [stdout]     |
[INFO] [stdout] help: remove these parentheses
[INFO] [stdout]     |
[INFO] [stdout] 195 -             Roots::Three(root) => (root[0].max(root[1].max(root[2]))),
[INFO] [stdout] 195 +             Roots::Three(root) => root[0].max(root[1].max(root[2])),
[INFO] [stdout]     |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unnecessary parentheses around match arm expression
[INFO] [stdout]    --> src/alg_math/polynomial_roots.rs:226:33
[INFO] [stdout]     |
[INFO] [stdout] 226 |             Roots::Two(root) => (root[0].max(root[1])),
[INFO] [stdout]     |                                 ^                    ^
[INFO] [stdout]     |
[INFO] [stdout] help: remove these parentheses
[INFO] [stdout]     |
[INFO] [stdout] 226 -             Roots::Two(root) => (root[0].max(root[1])),
[INFO] [stdout] 226 +             Roots::Two(root) => root[0].max(root[1]),
[INFO] [stdout]     |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unnecessary parentheses around match arm expression
[INFO] [stdout]    --> src/alg_math/polynomial_roots.rs:227:35
[INFO] [stdout]     |
[INFO] [stdout] 227 |             Roots::Three(root) => (root[0].max(root[1].max(root[2]))),
[INFO] [stdout]     |                                   ^                                 ^
[INFO] [stdout]     |
[INFO] [stdout] help: remove these parentheses
[INFO] [stdout]     |
[INFO] [stdout] 227 -             Roots::Three(root) => (root[0].max(root[1].max(root[2]))),
[INFO] [stdout] 227 +             Roots::Three(root) => root[0].max(root[1].max(root[2])),
[INFO] [stdout]     |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unnecessary parentheses around match arm expression
[INFO] [stdout]    --> src/alg_math/polynomial_roots.rs:228:34
[INFO] [stdout]     |
[INFO] [stdout] 228 |             Roots::Four(root) => (root[0].max(root[1].max(root[2].max(root[3])))),
[INFO] [stdout]     |                                  ^                                              ^
[INFO] [stdout]     |
[INFO] [stdout] help: remove these parentheses
[INFO] [stdout]     |
[INFO] [stdout] 228 -             Roots::Four(root) => (root[0].max(root[1].max(root[2].max(root[3])))),
[INFO] [stdout] 228 +             Roots::Four(root) => root[0].max(root[1].max(root[2].max(root[3]))),
[INFO] [stdout]     |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused imports: `UNICODE_BOT` and `UNICODE_TOP`
[INFO] [stdout]   --> src/kb/types.rs:23:5
[INFO] [stdout]    |
[INFO] [stdout] 23 |     UNICODE_BOT, UNICODE_EXISTS, UNICODE_NEG, UNICODE_RIGHTARROW, UNICODE_SQSUBSETEQ,
[INFO] [stdout]    |     ^^^^^^^^^^^
[INFO] [stdout] 24 |     UNICODE_SUBSETEQ, UNICODE_TOP, UNICODE_VEE, UNICODE_WEDGE,
[INFO] [stdout]    |                       ^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused imports: `Arc` and `Mutex`
[INFO] [stdout]   --> src/alg_math/bounds.rs:48:17
[INFO] [stdout]    |
[INFO] [stdout] 48 | use std::sync::{Arc, Mutex};
[INFO] [stdout]    |                 ^^^  ^^^^^
[INFO] [stdout]    |
[INFO] [stdout]    = note: `#[warn(unused_imports)]` on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused import: `std::time::Instant`
[INFO] [stdout]   --> src/alg_math/bounds.rs:49:5
[INFO] [stdout]    |
[INFO] [stdout] 49 | use std::time::Instant;
[INFO] [stdout]    |     ^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unnecessary parentheses around match arm expression
[INFO] [stdout]    --> src/alg_math/polynomial_roots.rs:194:33
[INFO] [stdout]     |
[INFO] [stdout] 194 |             Roots::Two(root) => (root[0].max(root[1])),
[INFO] [stdout]     |                                 ^                    ^
[INFO] [stdout]     |
[INFO] [stdout]     = note: `#[warn(unused_parens)]` on by default
[INFO] [stdout] help: remove these parentheses
[INFO] [stdout]     |
[INFO] [stdout] 194 -             Roots::Two(root) => (root[0].max(root[1])),
[INFO] [stdout] 194 +             Roots::Two(root) => root[0].max(root[1]),
[INFO] [stdout]     |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unnecessary parentheses around match arm expression
[INFO] [stdout]    --> src/alg_math/polynomial_roots.rs:195:35
[INFO] [stdout]     |
[INFO] [stdout] 195 |             Roots::Three(root) => (root[0].max(root[1].max(root[2]))),
[INFO] [stdout]     |                                   ^                                 ^
[INFO] [stdout]     |
[INFO] [stdout] help: remove these parentheses
[INFO] [stdout]     |
[INFO] [stdout] 195 -             Roots::Three(root) => (root[0].max(root[1].max(root[2]))),
[INFO] [stdout] 195 +             Roots::Three(root) => root[0].max(root[1].max(root[2])),
[INFO] [stdout]     |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unnecessary parentheses around match arm expression
[INFO] [stdout]    --> src/alg_math/polynomial_roots.rs:226:33
[INFO] [stdout]     |
[INFO] [stdout] 226 |             Roots::Two(root) => (root[0].max(root[1])),
[INFO] [stdout]     |                                 ^                    ^
[INFO] [stdout]     |
[INFO] [stdout] help: remove these parentheses
[INFO] [stdout]     |
[INFO] [stdout] 226 -             Roots::Two(root) => (root[0].max(root[1])),
[INFO] [stdout] 226 +             Roots::Two(root) => root[0].max(root[1]),
[INFO] [stdout]     |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unnecessary parentheses around match arm expression
[INFO] [stdout]    --> src/alg_math/polynomial_roots.rs:227:35
[INFO] [stdout]     |
[INFO] [stdout] 227 |             Roots::Three(root) => (root[0].max(root[1].max(root[2]))),
[INFO] [stdout]     |                                   ^                                 ^
[INFO] [stdout]     |
[INFO] [stdout] help: remove these parentheses
[INFO] [stdout]     |
[INFO] [stdout] 227 -             Roots::Three(root) => (root[0].max(root[1].max(root[2]))),
[INFO] [stdout] 227 +             Roots::Three(root) => root[0].max(root[1].max(root[2])),
[INFO] [stdout]     |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unnecessary parentheses around match arm expression
[INFO] [stdout]    --> src/alg_math/polynomial_roots.rs:228:34
[INFO] [stdout]     |
[INFO] [stdout] 228 |             Roots::Four(root) => (root[0].max(root[1].max(root[2].max(root[3])))),
[INFO] [stdout]     |                                  ^                                              ^
[INFO] [stdout]     |
[INFO] [stdout] help: remove these parentheses
[INFO] [stdout]     |
[INFO] [stdout] 228 -             Roots::Four(root) => (root[0].max(root[1].max(root[2].max(root[3])))),
[INFO] [stdout] 228 +             Roots::Four(root) => root[0].max(root[1].max(root[2].max(root[3]))),
[INFO] [stdout]     |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused imports: `UNICODE_BOT` and `UNICODE_TOP`
[INFO] [stdout]   --> src/kb/types.rs:23:5
[INFO] [stdout]    |
[INFO] [stdout] 23 |     UNICODE_BOT, UNICODE_EXISTS, UNICODE_NEG, UNICODE_RIGHTARROW, UNICODE_SQSUBSETEQ,
[INFO] [stdout]    |     ^^^^^^^^^^^
[INFO] [stdout] 24 |     UNICODE_SUBSETEQ, UNICODE_TOP, UNICODE_VEE, UNICODE_WEDGE,
[INFO] [stdout]    |                       ^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: value assigned to `prov_scale` is never read
[INFO] [stdout]   --> src/alg_math/bounds.rs:98:17
[INFO] [stdout]    |
[INFO] [stdout] 98 |         let mut prov_scale: f64 = 1.; // the matrix need to be scaled, we begin at 1
[INFO] [stdout]    |                 ^^^^^^^^^^
[INFO] [stdout]    |
[INFO] [stdout]    = help: maybe it is overwritten before being read?
[INFO] [stdout]    = note: `#[warn(unused_assignments)]` on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `inner_matrix`
[INFO] [stdout]    --> src/alg_math/bounds.rs:167:26
[INFO] [stdout]     |
[INFO] [stdout] 167 |                          inner_matrix: &DMatrix<Complex<f64>>,
[INFO] [stdout]     |                          ^^^^^^^^^^^^ help: if this is intentional, prefix it with an underscore: `_inner_matrix`
[INFO] [stdout]     |
[INFO] [stdout]     = note: `#[warn(unused_variables)]` on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable does not need to be mutable
[INFO] [stdout]    --> src/alg_math/bounds.rs:103:13
[INFO] [stdout]     |
[INFO] [stdout] 103 |         let mut find_line_maxes_one =
[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: value assigned to `prov_scale` is never read
[INFO] [stdout]   --> src/alg_math/bounds.rs:98:17
[INFO] [stdout]    |
[INFO] [stdout] 98 |         let mut prov_scale: f64 = 1.; // the matrix need to be scaled, we begin at 1
[INFO] [stdout]    |                 ^^^^^^^^^^
[INFO] [stdout]    |
[INFO] [stdout]    = help: maybe it is overwritten before being read?
[INFO] [stdout]    = note: `#[warn(unused_assignments)]` on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `inner_matrix`
[INFO] [stdout]    --> src/alg_math/bounds.rs:167:26
[INFO] [stdout]     |
[INFO] [stdout] 167 |                          inner_matrix: &DMatrix<Complex<f64>>,
[INFO] [stdout]     |                          ^^^^^^^^^^^^ help: if this is intentional, prefix it with an underscore: `_inner_matrix`
[INFO] [stdout]     |
[INFO] [stdout]     = note: `#[warn(unused_variables)]` on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: value assigned to `possible_coeff_real` is never read
[INFO] [stdout]   --> src/alg_math/polynomial_roots.rs:38:13
[INFO] [stdout]    |
[INFO] [stdout] 38 |     let mut possible_coeff_real = tolerance / 2.;
[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/alg_math/bounds.rs:103:13
[INFO] [stdout]     |
[INFO] [stdout] 103 |         let mut find_line_maxes_one =
[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: value assigned to `possible_coeff_real` is never read
[INFO] [stdout]   --> src/alg_math/polynomial_roots.rs:38:13
[INFO] [stdout]    |
[INFO] [stdout] 38 |     let mut possible_coeff_real = tolerance / 2.;
[INFO] [stdout]    |             ^^^^^^^^^^^^^^^^^^^
[INFO] [stdout]    |
[INFO] [stdout]    = help: maybe it is overwritten before being read?
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `its_ref_i`
[INFO] [stdout]    --> src/dl_lite/abox.rs:437:26
[INFO] [stdout]     |
[INFO] [stdout] 437 |             for (abiq_i, its_ref_i) in &inner_refs {
[INFO] [stdout]     |                          ^^^^^^^^^ help: if this is intentional, prefix it with an underscore: `_its_ref_i`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `its_ref_j`
[INFO] [stdout]    --> src/dl_lite/abox.rs:455:34
[INFO] [stdout]     |
[INFO] [stdout] 455 |                     for (abiq_j, its_ref_j) in &inner_refs {
[INFO] [stdout]     |                                  ^^^^^^^^^ help: if this is intentional, prefix it with an underscore: `_its_ref_j`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable does not need to be mutable
[INFO] [stdout]    --> src/dl_lite/abox.rs:412:13
[INFO] [stdout]     |
[INFO] [stdout] 412 |         let mut contradictions: Option<Vec<(Option<&TbiDllite>, Vec<&AbiqDllite>)>> = None;
[INFO] [stdout]     |             ----^^^^^^^^^^^^^^
[INFO] [stdout]     |             |
[INFO] [stdout]     |             help: remove this `mut`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: value assigned to `is_already_treated` is never read
[INFO] [stdout]    --> src/dl_lite/abox.rs:844:17
[INFO] [stdout]     |
[INFO] [stdout] 844 |                 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: unused variable: `its_ref_i`
[INFO] [stdout]    --> src/dl_lite/abox.rs:437:26
[INFO] [stdout]     |
[INFO] [stdout] 437 |             for (abiq_i, its_ref_i) in &inner_refs {
[INFO] [stdout]     |                          ^^^^^^^^^ help: if this is intentional, prefix it with an underscore: `_its_ref_i`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `its_ref_j`
[INFO] [stdout]    --> src/dl_lite/abox.rs:455:34
[INFO] [stdout]     |
[INFO] [stdout] 455 |                     for (abiq_j, its_ref_j) in &inner_refs {
[INFO] [stdout]     |                                  ^^^^^^^^^ help: if this is intentional, prefix it with an underscore: `_its_ref_j`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable does not need to be mutable
[INFO] [stdout]    --> src/dl_lite/abox.rs:412:13
[INFO] [stdout]     |
[INFO] [stdout] 412 |         let mut contradictions: Option<Vec<(Option<&TbiDllite>, Vec<&AbiqDllite>)>> = None;
[INFO] [stdout]     |             ----^^^^^^^^^^^^^^
[INFO] [stdout]     |             |
[INFO] [stdout]     |             help: remove this `mut`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: value assigned to `is_already_treated` is never read
[INFO] [stdout]    --> src/dl_lite/abox.rs:844:17
[INFO] [stdout]     |
[INFO] [stdout] 844 |                 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:163:21
[INFO] [stdout]     |
[INFO] [stdout] 163 |             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:164:21
[INFO] [stdout]     |
[INFO] [stdout] 164 |             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:165:21
[INFO] [stdout]     |
[INFO] [stdout] 165 |             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:166:21
[INFO] [stdout]     |
[INFO] [stdout] 166 |             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: value assigned to `lside_result1` is never read
[INFO] [stdout]    --> src/dl_lite/string_formatter.rs:163:21
[INFO] [stdout]     |
[INFO] [stdout] 163 |             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:164:21
[INFO] [stdout]     |
[INFO] [stdout] 164 |             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:165:21
[INFO] [stdout]     |
[INFO] [stdout] 165 |             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:166:21
[INFO] [stdout]     |
[INFO] [stdout] 166 |             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: value assigned to `is_already_treated` is never read
[INFO] [stdout]    --> src/dl_lite/tbox.rs:351:17
[INFO] [stdout]     |
[INFO] [stdout] 351 |                 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 `is_already_treated` is never read
[INFO] [stdout]    --> src/dl_lite/tbox.rs:351:17
[INFO] [stdout]     |
[INFO] [stdout] 351 |                 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: unused variable: `use_concurrency`
[INFO] [stdout]    --> src/tasks.rs:645:9
[INFO] [stdout]     |
[INFO] [stdout] 645 |     let use_concurrency = false;
[INFO] [stdout]     |         ^^^^^^^^^^^^^^^ help: if this is intentional, prefix it with an underscore: `_use_concurrency`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: method `contains` is never used
[INFO] [stdout]   --> src/alg_math/interface.rs:35:8
[INFO] [stdout]    |
[INFO] [stdout] 31 | pub trait DataHolder: Clone {
[INFO] [stdout]    |           ---------- method in this trait
[INFO] [stdout] ...
[INFO] [stdout] 35 |     fn contains(&self, i: &Self::DI) -> bool;
[INFO] [stdout]    |        ^^^^^^^^
[INFO] [stdout]    |
[INFO] [stdout]    = note: `#[warn(dead_code)]` on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: function `is_superset` is never used
[INFO] [stdout]    --> src/alg_math/matrix_building.rs:578:8
[INFO] [stdout]     |
[INFO] [stdout] 578 | pub fn is_superset(subset: &[usize], superset: &[usize]) -> bool {
[INFO] [stdout]     |        ^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variants `CauchyOriginal`, `CauchySquare`, and `CauchyQuad` are never constructed
[INFO] [stdout]  --> src/alg_math/polynomial_roots.rs:5:5
[INFO] [stdout]   |
[INFO] [stdout] 4 | pub enum Method {
[INFO] [stdout]   |          ------ variants in this enum
[INFO] [stdout] 5 |     CauchyOriginal,
[INFO] [stdout]   |     ^^^^^^^^^^^^^^
[INFO] [stdout] 6 |     CauchySquare,
[INFO] [stdout]   |     ^^^^^^^^^^^^
[INFO] [stdout] 7 |     CauchyCubic,
[INFO] [stdout] 8 |     CauchyQuad,
[INFO] [stdout]   |     ^^^^^^^^^^
[INFO] [stdout]   |
[INFO] [stdout]   = note: `Method` has derived impls for the traits `Clone` and `Debug`, but these are intentionally ignored during dead code analysis
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: function `create_identity_matrix_complex` is never used
[INFO] [stdout]   --> src/alg_math/utilities.rs:51:8
[INFO] [stdout]    |
[INFO] [stdout] 51 | pub fn create_identity_matrix_complex(n: usize) -> DMatrix<Complex<f64>> {
[INFO] [stdout]    |        ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: function `create_unity_roots` is never used
[INFO] [stdout]   --> src/alg_math/utilities.rs:60:8
[INFO] [stdout]    |
[INFO] [stdout] 60 | pub fn create_unity_roots(roots: &mut DVector<Complex<f64>>, n: usize, inverse: bool) {
[INFO] [stdout]    |        ^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: function `tbox_to_native_string` is never used
[INFO] [stdout]    --> src/dl_lite/native_filetype_utilities.rs:378:8
[INFO] [stdout]     |
[INFO] [stdout] 378 | pub fn tbox_to_native_string(
[INFO] [stdout]     |        ^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: function `dl_lite_closure_enter_point` is never used
[INFO] [stdout]    --> src/dl_lite/rule.rs:180:8
[INFO] [stdout]     |
[INFO] [stdout] 180 | pub fn dl_lite_closure_enter_point(
[INFO] [stdout]     |        ^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: constant `RULE_IDS` is never used
[INFO] [stdout]   --> src/graph_maker.rs:38:7
[INFO] [stdout]    |
[INFO] [stdout] 38 | const RULE_IDS: [CR; 10] = [
[INFO] [stdout]    |       ^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: constant `UNICODE_SQSUPSETEQ` is never used
[INFO] [stdout]   --> src/interface/format_constants.rs:27:11
[INFO] [stdout]    |
[INFO] [stdout] 27 | pub const UNICODE_SQSUPSETEQ: &str = "\u{2292}";
[INFO] [stdout]    |           ^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: constant `UNICODE_SUPSETEQ` is never used
[INFO] [stdout]   --> src/interface/format_constants.rs:33:11
[INFO] [stdout]    |
[INFO] [stdout] 33 | pub const UNICODE_SUPSETEQ: &str = "\u{2287}";
[INFO] [stdout]    |           ^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: constant `UNICODE_FORALL` is never used
[INFO] [stdout]   --> src/interface/format_constants.rs:36:11
[INFO] [stdout]    |
[INFO] [stdout] 36 | pub const UNICODE_FORALL: &str = "\u{2200}";
[INFO] [stdout]    |           ^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: constant `UNICODE_IN` is never used
[INFO] [stdout]   --> src/interface/format_constants.rs:42:11
[INFO] [stdout]    |
[INFO] [stdout] 42 | pub const UNICODE_IN: &str = "\u{2208}";
[INFO] [stdout]    |           ^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: constant `UNICODE_NOTIN` is never used
[INFO] [stdout]   --> src/interface/format_constants.rs:45:11
[INFO] [stdout]    |
[INFO] [stdout] 45 | pub const UNICODE_NOTIN: &str = "\u{2209}";
[INFO] [stdout]    |           ^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: constant `UNICODE_UPPERPI` is never used
[INFO] [stdout]   --> src/interface/format_constants.rs:48:11
[INFO] [stdout]    |
[INFO] [stdout] 48 | pub const UNICODE_UPPERPI: &str = "\u{220F}";
[INFO] [stdout]    |           ^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: constant `UNICODE_SUM` is never used
[INFO] [stdout]   --> src/interface/format_constants.rs:51:11
[INFO] [stdout]    |
[INFO] [stdout] 51 | pub const UNICODE_SUM: &str = "\u{2211}";
[INFO] [stdout]    |           ^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: constant `UNICODE_INFTY` is never used
[INFO] [stdout]   --> src/interface/format_constants.rs:54:11
[INFO] [stdout]    |
[INFO] [stdout] 54 | pub const UNICODE_INFTY: &str = "\u{221E}";
[INFO] [stdout]    |           ^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: constant `UNICODE_CAP` is never used
[INFO] [stdout]   --> src/interface/format_constants.rs:57:11
[INFO] [stdout]    |
[INFO] [stdout] 57 | pub const UNICODE_CAP: &str = "\u{2229}";
[INFO] [stdout]    |           ^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: constant `UNICODE_CUP` is never used
[INFO] [stdout]   --> src/interface/format_constants.rs:60:11
[INFO] [stdout]    |
[INFO] [stdout] 60 | pub const UNICODE_CUP: &str = "\u{222A}";
[INFO] [stdout]    |           ^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: constant `UNICODE_SQCAP` is never used
[INFO] [stdout]   --> src/interface/format_constants.rs:63:11
[INFO] [stdout]    |
[INFO] [stdout] 63 | pub const UNICODE_SQCAP: &str = "\u{2293}";
[INFO] [stdout]    |           ^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: constant `UNICODE_SQCUP` is never used
[INFO] [stdout]   --> src/interface/format_constants.rs:66:11
[INFO] [stdout]    |
[INFO] [stdout] 66 | pub const UNICODE_SQCUP: &str = "\u{2294}";
[INFO] [stdout]    |           ^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: constant `UNICODE_VDASH` is never used
[INFO] [stdout]   --> src/interface/format_constants.rs:69:11
[INFO] [stdout]    |
[INFO] [stdout] 69 | pub const UNICODE_VDASH: &str = "\u{22A2}";
[INFO] [stdout]    |           ^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: constant `UNICODE_MODELS` is never used
[INFO] [stdout]   --> src/interface/format_constants.rs:72:11
[INFO] [stdout]    |
[INFO] [stdout] 72 | pub const UNICODE_MODELS: &str = "\u{22A7}";
[INFO] [stdout]    |           ^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: constant `UNICODE_BOT` is never used
[INFO] [stdout]   --> src/interface/format_constants.rs:75:11
[INFO] [stdout]    |
[INFO] [stdout] 75 | pub const UNICODE_BOT: &str = "\u{22A5}";
[INFO] [stdout]    |           ^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: constant `UNICODE_TOP` is never used
[INFO] [stdout]   --> src/interface/format_constants.rs:78:11
[INFO] [stdout]    |
[INFO] [stdout] 78 | pub const UNICODE_TOP: &str = "\u{22A4}";
[INFO] [stdout]    |           ^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: constant `UNICODE_NVDASH` is never used
[INFO] [stdout]   --> src/interface/format_constants.rs:81:11
[INFO] [stdout]    |
[INFO] [stdout] 81 | pub const UNICODE_NVDASH: &str = "\u{22AD}";
[INFO] [stdout]    |           ^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: method `t` is never used
[INFO] [stdout]   --> src/kb/knowledge_base.rs:96:8
[INFO] [stdout]    |
[INFO] [stdout] 88 | pub trait ABoxItem:
[INFO] [stdout]    |           -------- method in this trait
[INFO] [stdout] ...
[INFO] [stdout] 96 |     fn t(&self) -> DLType;
[INFO] [stdout]    |        ^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: method `contains` is never used
[INFO] [stdout]    --> src/kb/knowledge_base.rs:122:8
[INFO] [stdout]     |
[INFO] [stdout] 109 | pub trait ABox: PartialEq + Debug + Display {
[INFO] [stdout]     |           ---- method in this trait
[INFO] [stdout] ...
[INFO] [stdout] 122 |     fn contains(&self, abi: &Self::AbiItem) -> bool;
[INFO] [stdout]     |        ^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: method `is_positive_inclusion` is never used
[INFO] [stdout]    --> src/kb/knowledge_base.rs:146:8
[INFO] [stdout]     |
[INFO] [stdout] 135 | pub trait TBoxItem:
[INFO] [stdout]     |           -------- method in this trait
[INFO] [stdout] ...
[INFO] [stdout] 146 |     fn is_positive_inclusion(&self) -> bool {
[INFO] [stdout]     |        ^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: methods `len`, `get`, `sort`, and `is_empty` are never used
[INFO] [stdout]    --> src/kb/knowledge_base.rs:166:8
[INFO] [stdout]     |
[INFO] [stdout] 163 | pub trait TBox: PartialEq + Debug + Display {
[INFO] [stdout]     |           ---- methods in this trait
[INFO] [stdout] ...
[INFO] [stdout] 166 |     fn len(&self) -> usize;
[INFO] [stdout]     |        ^^^
[INFO] [stdout] ...
[INFO] [stdout] 169 |     fn get(&self, index: usize) -> Option<&Self::TbiItem>;
[INFO] [stdout]     |        ^^^
[INFO] [stdout] 170 |     fn sort(&mut self);
[INFO] [stdout]     |        ^^^^
[INFO] [stdout] 171 |     fn is_empty(&self) -> bool;
[INFO] [stdout]     |        ^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `use_concurrency`
[INFO] [stdout]    --> src/tasks.rs:645:9
[INFO] [stdout]     |
[INFO] [stdout] 645 |     let use_concurrency = false;
[INFO] [stdout]     |         ^^^^^^^^^^^^^^^ help: if this is intentional, prefix it with an underscore: `_use_concurrency`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: method `contains` is never used
[INFO] [stdout]   --> src/alg_math/interface.rs:35:8
[INFO] [stdout]    |
[INFO] [stdout] 31 | pub trait DataHolder: Clone {
[INFO] [stdout]    |           ---------- method in this trait
[INFO] [stdout] ...
[INFO] [stdout] 35 |     fn contains(&self, i: &Self::DI) -> bool;
[INFO] [stdout]    |        ^^^^^^^^
[INFO] [stdout]    |
[INFO] [stdout]    = note: `#[warn(dead_code)]` on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: function `is_superset` is never used
[INFO] [stdout]    --> src/alg_math/matrix_building.rs:578:8
[INFO] [stdout]     |
[INFO] [stdout] 578 | pub fn is_superset(subset: &[usize], superset: &[usize]) -> bool {
[INFO] [stdout]     |        ^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variants `CauchyOriginal`, `CauchySquare`, and `CauchyQuad` are never constructed
[INFO] [stdout]  --> src/alg_math/polynomial_roots.rs:5:5
[INFO] [stdout]   |
[INFO] [stdout] 4 | pub enum Method {
[INFO] [stdout]   |          ------ variants in this enum
[INFO] [stdout] 5 |     CauchyOriginal,
[INFO] [stdout]   |     ^^^^^^^^^^^^^^
[INFO] [stdout] 6 |     CauchySquare,
[INFO] [stdout]   |     ^^^^^^^^^^^^
[INFO] [stdout] 7 |     CauchyCubic,
[INFO] [stdout] 8 |     CauchyQuad,
[INFO] [stdout]   |     ^^^^^^^^^^
[INFO] [stdout]   |
[INFO] [stdout]   = note: `Method` has derived impls for the traits `Clone` and `Debug`, but these are intentionally ignored during dead code analysis
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: function `create_identity_matrix_complex` is never used
[INFO] [stdout]   --> src/alg_math/utilities.rs:51:8
[INFO] [stdout]    |
[INFO] [stdout] 51 | pub fn create_identity_matrix_complex(n: usize) -> DMatrix<Complex<f64>> {
[INFO] [stdout]    |        ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: function `create_unity_roots` is never used
[INFO] [stdout]   --> src/alg_math/utilities.rs:60:8
[INFO] [stdout]    |
[INFO] [stdout] 60 | pub fn create_unity_roots(roots: &mut DVector<Complex<f64>>, n: usize, inverse: bool) {
[INFO] [stdout]    |        ^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: function `tbox_to_native_string` is never used
[INFO] [stdout]    --> src/dl_lite/native_filetype_utilities.rs:378:8
[INFO] [stdout]     |
[INFO] [stdout] 378 | pub fn tbox_to_native_string(
[INFO] [stdout]     |        ^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: function `dl_lite_closure_enter_point` is never used
[INFO] [stdout]    --> src/dl_lite/rule.rs:180:8
[INFO] [stdout]     |
[INFO] [stdout] 180 | pub fn dl_lite_closure_enter_point(
[INFO] [stdout]     |        ^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: constant `RULE_IDS` is never used
[INFO] [stdout]   --> src/graph_maker.rs:38:7
[INFO] [stdout]    |
[INFO] [stdout] 38 | const RULE_IDS: [CR; 10] = [
[INFO] [stdout]    |       ^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: constant `UNICODE_SQSUPSETEQ` is never used
[INFO] [stdout]   --> src/interface/format_constants.rs:27:11
[INFO] [stdout]    |
[INFO] [stdout] 27 | pub const UNICODE_SQSUPSETEQ: &str = "\u{2292}";
[INFO] [stdout]    |           ^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: constant `UNICODE_SUPSETEQ` is never used
[INFO] [stdout]   --> src/interface/format_constants.rs:33:11
[INFO] [stdout]    |
[INFO] [stdout] 33 | pub const UNICODE_SUPSETEQ: &str = "\u{2287}";
[INFO] [stdout]    |           ^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: constant `UNICODE_FORALL` is never used
[INFO] [stdout]   --> src/interface/format_constants.rs:36:11
[INFO] [stdout]    |
[INFO] [stdout] 36 | pub const UNICODE_FORALL: &str = "\u{2200}";
[INFO] [stdout]    |           ^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: constant `UNICODE_IN` is never used
[INFO] [stdout]   --> src/interface/format_constants.rs:42:11
[INFO] [stdout]    |
[INFO] [stdout] 42 | pub const UNICODE_IN: &str = "\u{2208}";
[INFO] [stdout]    |           ^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: constant `UNICODE_NOTIN` is never used
[INFO] [stdout]   --> src/interface/format_constants.rs:45:11
[INFO] [stdout]    |
[INFO] [stdout] 45 | pub const UNICODE_NOTIN: &str = "\u{2209}";
[INFO] [stdout]    |           ^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: constant `UNICODE_UPPERPI` is never used
[INFO] [stdout]   --> src/interface/format_constants.rs:48:11
[INFO] [stdout]    |
[INFO] [stdout] 48 | pub const UNICODE_UPPERPI: &str = "\u{220F}";
[INFO] [stdout]    |           ^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: constant `UNICODE_SUM` is never used
[INFO] [stdout]   --> src/interface/format_constants.rs:51:11
[INFO] [stdout]    |
[INFO] [stdout] 51 | pub const UNICODE_SUM: &str = "\u{2211}";
[INFO] [stdout]    |           ^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: constant `UNICODE_INFTY` is never used
[INFO] [stdout]   --> src/interface/format_constants.rs:54:11
[INFO] [stdout]    |
[INFO] [stdout] 54 | pub const UNICODE_INFTY: &str = "\u{221E}";
[INFO] [stdout]    |           ^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: constant `UNICODE_CAP` is never used
[INFO] [stdout]   --> src/interface/format_constants.rs:57:11
[INFO] [stdout]    |
[INFO] [stdout] 57 | pub const UNICODE_CAP: &str = "\u{2229}";
[INFO] [stdout]    |           ^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: constant `UNICODE_CUP` is never used
[INFO] [stdout]   --> src/interface/format_constants.rs:60:11
[INFO] [stdout]    |
[INFO] [stdout] 60 | pub const UNICODE_CUP: &str = "\u{222A}";
[INFO] [stdout]    |           ^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: constant `UNICODE_SQCAP` is never used
[INFO] [stdout]   --> src/interface/format_constants.rs:63:11
[INFO] [stdout]    |
[INFO] [stdout] 63 | pub const UNICODE_SQCAP: &str = "\u{2293}";
[INFO] [stdout]    |           ^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: constant `UNICODE_SQCUP` is never used
[INFO] [stdout]   --> src/interface/format_constants.rs:66:11
[INFO] [stdout]    |
[INFO] [stdout] 66 | pub const UNICODE_SQCUP: &str = "\u{2294}";
[INFO] [stdout]    |           ^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: constant `UNICODE_VDASH` is never used
[INFO] [stdout]   --> src/interface/format_constants.rs:69:11
[INFO] [stdout]    |
[INFO] [stdout] 69 | pub const UNICODE_VDASH: &str = "\u{22A2}";
[INFO] [stdout]    |           ^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: constant `UNICODE_MODELS` is never used
[INFO] [stdout]   --> src/interface/format_constants.rs:72:11
[INFO] [stdout]    |
[INFO] [stdout] 72 | pub const UNICODE_MODELS: &str = "\u{22A7}";
[INFO] [stdout]    |           ^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: constant `UNICODE_BOT` is never used
[INFO] [stdout]   --> src/interface/format_constants.rs:75:11
[INFO] [stdout]    |
[INFO] [stdout] 75 | pub const UNICODE_BOT: &str = "\u{22A5}";
[INFO] [stdout]    |           ^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: constant `UNICODE_TOP` is never used
[INFO] [stdout]   --> src/interface/format_constants.rs:78:11
[INFO] [stdout]    |
[INFO] [stdout] 78 | pub const UNICODE_TOP: &str = "\u{22A4}";
[INFO] [stdout]    |           ^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: constant `UNICODE_NVDASH` is never used
[INFO] [stdout]   --> src/interface/format_constants.rs:81:11
[INFO] [stdout]    |
[INFO] [stdout] 81 | pub const UNICODE_NVDASH: &str = "\u{22AD}";
[INFO] [stdout]    |           ^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: method `t` is never used
[INFO] [stdout]   --> src/kb/knowledge_base.rs:96:8
[INFO] [stdout]    |
[INFO] [stdout] 88 | pub trait ABoxItem:
[INFO] [stdout]    |           -------- method in this trait
[INFO] [stdout] ...
[INFO] [stdout] 96 |     fn t(&self) -> DLType;
[INFO] [stdout]    |        ^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: method `contains` is never used
[INFO] [stdout]    --> src/kb/knowledge_base.rs:122:8
[INFO] [stdout]     |
[INFO] [stdout] 109 | pub trait ABox: PartialEq + Debug + Display {
[INFO] [stdout]     |           ---- method in this trait
[INFO] [stdout] ...
[INFO] [stdout] 122 |     fn contains(&self, abi: &Self::AbiItem) -> bool;
[INFO] [stdout]     |        ^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: method `is_positive_inclusion` is never used
[INFO] [stdout]    --> src/kb/knowledge_base.rs:146:8
[INFO] [stdout]     |
[INFO] [stdout] 135 | pub trait TBoxItem:
[INFO] [stdout]     |           -------- method in this trait
[INFO] [stdout] ...
[INFO] [stdout] 146 |     fn is_positive_inclusion(&self) -> bool {
[INFO] [stdout]     |        ^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: methods `len`, `get`, `sort`, and `is_empty` are never used
[INFO] [stdout]    --> src/kb/knowledge_base.rs:166:8
[INFO] [stdout]     |
[INFO] [stdout] 163 | pub trait TBox: PartialEq + Debug + Display {
[INFO] [stdout]     |           ---- methods in this trait
[INFO] [stdout] ...
[INFO] [stdout] 166 |     fn len(&self) -> usize;
[INFO] [stdout]     |        ^^^
[INFO] [stdout] ...
[INFO] [stdout] 169 |     fn get(&self, index: usize) -> Option<&Self::TbiItem>;
[INFO] [stdout]     |        ^^^
[INFO] [stdout] 170 |     fn sort(&mut self);
[INFO] [stdout]     |        ^^^^
[INFO] [stdout] 171 |     fn is_empty(&self) -> bool;
[INFO] [stdout]     |        ^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: 51 warnings emitted
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: 51 warnings emitted
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stderr]     Finished `dev` profile [unoptimized + debuginfo] target(s) in 1m 02s
[INFO] [stderr] warning: the following packages contain code that will be rejected by a future version of Rust: criterion v0.3.4, fs_extra v1.2.0
[INFO] [stderr] note: to see what the problems were, use the option `--future-incompat-report`, or run `cargo report future-incompatibilities --id 2`
[INFO] running `Command { std: "docker" "inspect" "c905e538ac7a46f3195f347000fee3493115daa0ac990afe1ff3b6bb7e6f148c", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "c905e538ac7a46f3195f347000fee3493115daa0ac990afe1ff3b6bb7e6f148c", kill_on_drop: false }`
[INFO] [stdout] c905e538ac7a46f3195f347000fee3493115daa0ac990afe1ff3b6bb7e6f148c