[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#642c19bfc3a5c1de985bf5d0cc8207ac9d22708a for pr-148577
[INFO] running `Command { std: "git" "clone" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Fhatellezp%2Frustoner" "/workspace/builds/worker-3-tc1/source", kill_on_drop: false }`
[INFO] [stderr] Cloning into '/workspace/builds/worker-3-tc1/source'...
[INFO] [stderr] done.
[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-3-tc1/source/Cargo.toml
[INFO] validating manifest of git repo https://github.com/hatellezp/rustoner on toolchain 642c19bfc3a5c1de985bf5d0cc8207ac9d22708a
[INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+642c19bfc3a5c1de985bf5d0cc8207ac9d22708a" "metadata" "--manifest-path" "Cargo.toml" "--no-deps", kill_on_drop: false }`
[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" "+642c19bfc3a5c1de985bf5d0cc8207ac9d22708a" "fetch" "--manifest-path" "Cargo.toml", kill_on_drop: false }`
[INFO] [stderr]     Blocking waiting for file lock on package cache
[INFO] [stderr]     Updating crates.io index
[INFO] [stderr]  Downloading crates ...
[INFO] [stderr]   Downloaded pad v0.1.6
[INFO] [stderr]   Downloaded redox_syscall v0.2.8
[INFO] [stderr]   Downloaded plotters-svg v0.3.0
[INFO] [stderr]   Downloaded cast v0.2.6
[INFO] [stderr]   Downloaded fftw-sys v0.6.0
[INFO] [stderr]   Downloaded num v0.1.42
[INFO] [stderr]   Downloaded bzip2 v0.4.2
[INFO] [stderr]   Downloaded matrixmultiply v0.2.4
[INFO] [stderr]   Downloaded paste v1.0.5
[INFO] [stderr]   Downloaded plotters-backend v0.3.0
[INFO] [stderr]   Downloaded fftw v0.7.0
[INFO] [stderr]   Downloaded crossbeam-utils v0.8.5
[INFO] [stderr]   Downloaded thiserror-impl v1.0.25
[INFO] [stderr]   Downloaded simba v0.4.0
[INFO] [stderr]   Downloaded criterion-plot v0.4.3
[INFO] [stderr]   Downloaded serde_derive v1.0.126
[INFO] [stderr]   Downloaded thiserror v1.0.25
[INFO] [stderr]   Downloaded half v1.7.1
[INFO] [stderr]   Downloaded matrixmultiply v0.3.1
[INFO] [stderr]   Downloaded crossbeam-deque v0.8.0
[INFO] [stderr]   Downloaded ucd-trie v0.1.3
[INFO] [stderr]   Downloaded oorandom v11.1.3
[INFO] [stderr]   Downloaded anyhow v1.0.40
[INFO] [stderr]   Downloaded num-complex v0.3.1
[INFO] [stderr]   Downloaded serde_json v1.0.64
[INFO] [stderr]   Downloaded fs_extra v1.2.0
[INFO] [stderr]   Downloaded crossbeam-epoch v0.9.5
[INFO] [stderr]   Downloaded serde_cbor v0.11.1
[INFO] [stderr]   Downloaded itertools v0.9.0
[INFO] [stderr]   Downloaded indexmap v1.6.2
[INFO] [stderr]   Downloaded js-sys v0.3.51
[INFO] [stderr]   Downloaded wasm-bindgen-macro-support v0.2.74
[INFO] [stderr]   Downloaded serde v1.0.126
[INFO] [stderr]   Downloaded chrono v0.2.25
[INFO] [stderr]   Downloaded pest v2.1.3
[INFO] [stderr]   Downloaded crossbeam-channel v0.5.1
[INFO] [stderr]   Downloaded itertools v0.10.0
[INFO] [stderr]   Downloaded syn v1.0.72
[INFO] [stderr]   Downloaded wasm-bindgen v0.2.74
[INFO] [stderr]   Downloaded criterion v0.3.4
[INFO] [stderr]   Downloaded libm v0.2.1
[INFO] [stderr]   Downloaded bumpalo v3.7.0
[INFO] [stderr]   Downloaded flate2 v1.0.20
[INFO] [stderr]   Downloaded rand_distr v0.4.1
[INFO] [stderr]   Downloaded ndarray v0.14.0
[INFO] [stderr]   Downloaded structopt v0.3.21
[INFO] [stderr]   Downloaded exitcode v1.1.2
[INFO] [stderr]   Downloaded bstr v0.2.16
[INFO] [stderr]   Downloaded nalgebra v0.25.4
[INFO] [stderr]   Downloaded crc32fast v1.2.1
[INFO] [stderr]   Downloaded roots v0.0.7
[INFO] [stderr]   Downloaded paw v1.0.0
[INFO] [stderr]   Downloaded version_check v0.9.3
[INFO] [stderr]   Downloaded paw-attributes v1.0.2
[INFO] [stderr]   Downloaded cc v1.0.68
[INFO] [stderr]   Downloaded structopt-derive v0.4.14
[INFO] [stderr]   Downloaded wasm-bindgen-shared v0.2.74
[INFO] [stderr]   Downloaded libc v0.2.95
[INFO] [stderr]   Downloaded wasm-bindgen-macro v0.2.74
[INFO] [stderr]   Downloaded ftp v3.0.1
[INFO] [stderr]   Downloaded proc-macro2 v1.0.27
[INFO] [stderr]   Downloaded paw-raw v1.0.0
[INFO] [stderr]   Downloaded web-sys v0.3.51
[INFO] [stderr]   Downloaded lazy_static v0.1.16
[INFO] [stderr]   Downloaded bzip2-sys v0.1.10+1.0.8
[INFO] [stderr]   Downloaded csv v1.1.6
[INFO] [stderr]   Downloaded wasm-bindgen-backend v0.2.74
[INFO] [stderr]   Downloaded question v0.2.2
[INFO] [stderr]   Downloaded fftw-src v0.3.3
[INFO] [stderr]   Downloaded plotters v0.3.1
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-3-tc1/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-3-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:4848fb76d95f26979359cc7e45710b1dbc8f3acb7aeedee7c460d7702230f228" "/opt/rustwide/cargo-home/bin/cargo" "+642c19bfc3a5c1de985bf5d0cc8207ac9d22708a" "metadata" "--no-deps" "--format-version=1", kill_on_drop: false }`
[INFO] [stdout] 2d3e3c3fa2058a7c942ea73e6a2ded493f46d4f9381183947f6a563c5117f2b9
[INFO] running `Command { std: "docker" "start" "-a" "2d3e3c3fa2058a7c942ea73e6a2ded493f46d4f9381183947f6a563c5117f2b9", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "inspect" "2d3e3c3fa2058a7c942ea73e6a2ded493f46d4f9381183947f6a563c5117f2b9", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "2d3e3c3fa2058a7c942ea73e6a2ded493f46d4f9381183947f6a563c5117f2b9", kill_on_drop: false }`
[INFO] [stdout] 2d3e3c3fa2058a7c942ea73e6a2ded493f46d4f9381183947f6a563c5117f2b9
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-3-tc1/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-3-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:4848fb76d95f26979359cc7e45710b1dbc8f3acb7aeedee7c460d7702230f228" "/opt/rustwide/cargo-home/bin/cargo" "+642c19bfc3a5c1de985bf5d0cc8207ac9d22708a" "check" "--frozen" "--all" "--all-targets" "--message-format=json", kill_on_drop: false }`
[INFO] [stdout] d628664a5b102ee158c04c48182511f5cd56cb1e7ba78d1b2053a49acaf644ba
[INFO] running `Command { std: "docker" "start" "-a" "d628664a5b102ee158c04c48182511f5cd56cb1e7ba78d1b2053a49acaf644ba", kill_on_drop: false }`
[INFO] [stderr]    Compiling autocfg v1.0.1
[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 winapi-build v0.1.1
[INFO] [stderr]    Compiling version_check v0.9.3
[INFO] [stderr]    Compiling pkg-config v0.3.19
[INFO] [stderr]    Compiling winapi v0.2.8
[INFO] [stderr]    Compiling cc v1.0.68
[INFO] [stderr]    Compiling serde_derive v1.0.126
[INFO] [stderr]    Compiling serde v1.0.126
[INFO] [stderr]    Compiling crc32fast v1.2.1
[INFO] [stderr]    Compiling crossbeam-utils v0.8.5
[INFO] [stderr]    Compiling adler v1.0.2
[INFO] [stderr]    Compiling regex-syntax v0.3.9
[INFO] [stderr]    Compiling anyhow v1.0.40
[INFO] [stderr]    Compiling kernel32-sys v0.2.2
[INFO] [stderr]    Compiling ucd-trie v0.1.3
[INFO] [stderr]    Compiling utf8-ranges v0.1.3
[INFO] [stderr]    Compiling ryu v1.0.5
[INFO] [stderr]    Compiling bitflags v1.2.1
[INFO] [stderr]    Compiling crossbeam-epoch v0.9.5
[INFO] [stderr]    Compiling lazy_static v0.1.16
[INFO] [stderr]    Compiling pest v2.1.3
[INFO] [stderr]    Compiling byteorder v1.4.3
[INFO] [stderr]     Checking getrandom v0.2.3
[INFO] [stderr]    Compiling num-traits v0.2.14
[INFO] [stderr]    Compiling num-integer v0.1.44
[INFO] [stderr]    Compiling num-iter v0.1.42
[INFO] [stderr]    Compiling miniz_oxide v0.4.4
[INFO] [stderr]    Compiling memoffset v0.6.4
[INFO] [stderr]    Compiling time v0.1.43
[INFO] [stderr]    Compiling thread-id v2.0.0
[INFO] [stderr]    Compiling memchr v0.1.11
[INFO] [stderr]    Compiling quote v1.0.9
[INFO] [stderr]    Compiling thread_local v0.2.7
[INFO] [stderr]    Compiling aho-corasick v0.5.3
[INFO] [stderr]    Compiling proc-macro-error-attr v1.0.4
[INFO] [stderr]     Checking rawpointer v0.2.1
[INFO] [stderr]    Compiling rayon-core v1.9.1
[INFO] [stderr]    Compiling fs_extra v1.2.0
[INFO] [stderr]     Checking unicode-width v0.1.8
[INFO] [stderr]    Compiling regex v0.1.80
[INFO] [stderr]     Checking either v1.6.1
[INFO] [stderr]     Checking rand_core v0.6.2
[INFO] [stderr]    Compiling proc-macro-error v1.0.4
[INFO] [stderr]     Checking itoa v0.4.7
[INFO] [stderr]    Compiling typenum v1.13.0
[INFO] [stderr]    Compiling serde_json v1.0.64
[INFO] [stderr]    Compiling memchr v2.4.0
[INFO] [stderr]    Compiling flate2 v1.0.20
[INFO] [stderr]     Checking ppv-lite86 v0.2.10
[INFO] [stderr]    Compiling bzip2-sys v0.1.10+1.0.8
[INFO] [stderr]     Checking rand_chacha v0.3.0
[INFO] [stderr]     Checking textwrap v0.11.0
[INFO] [stderr]     Checking crossbeam-channel v0.5.1
[INFO] [stderr]    Compiling rayon v1.5.1
[INFO] [stderr]    Compiling indexmap v1.6.2
[INFO] [stderr]    Compiling num-rational v0.3.2
[INFO] [stderr]     Checking crossbeam-deque v0.8.0
[INFO] [stderr]     Checking atty v0.2.14
[INFO] [stderr]     Checking num_cpus v1.13.0
[INFO] [stderr]    Compiling generic-array v0.14.4
[INFO] [stderr]     Checking vec_map v0.8.2
[INFO] [stderr]     Checking strsim v0.8.0
[INFO] [stderr]    Compiling unicode-segmentation v1.7.1
[INFO] [stderr]    Compiling ndarray v0.14.0
[INFO] [stderr]     Checking num-complex v0.3.1
[INFO] [stderr]     Checking ansi_term v0.11.0
[INFO] [stderr]     Checking approx v0.4.0
[INFO] [stderr]    Compiling semver-parser v0.10.2
[INFO] [stderr]     Checking rand v0.8.3
[INFO] [stderr]    Compiling num v0.1.42
[INFO] [stderr]    Compiling chrono v0.2.25
[INFO] [stderr]     Checking itertools v0.9.0
[INFO] [stderr]     Checking matrixmultiply v0.2.4
[INFO] [stderr]    Compiling heck v0.3.3
[INFO] [stderr]    Compiling paste v1.0.5
[INFO] [stderr]     Checking clap v2.33.3
[INFO] [stderr]     Checking hashbrown v0.9.1
[INFO] [stderr]     Checking paw-raw v1.0.0
[INFO] [stderr]    Compiling semver v0.11.0
[INFO] [stderr]     Checking matrixmultiply v0.3.1
[INFO] [stderr]    Compiling bzip2 v0.4.2
[INFO] [stderr]     Checking plotters-backend v0.3.0
[INFO] [stderr]     Checking fixedbitset v0.2.0
[INFO] [stderr]    Compiling rustc_version v0.3.3
[INFO] [stderr]     Checking simba v0.4.0
[INFO] [stderr]     Checking remove_dir_all v0.5.3
[INFO] [stderr]     Checking regex-automata v0.1.10
[INFO] [stderr]    Compiling ftp v3.0.1
[INFO] [stderr]     Checking plotters-svg v0.3.0
[INFO] [stderr]     Checking petgraph v0.5.1
[INFO] [stderr]    Compiling cast v0.2.6
[INFO] [stderr]     Checking csv-core v0.1.10
[INFO] [stderr]     Checking num-complex v0.4.0
[INFO] [stderr]     Checking pad v0.1.6
[INFO] [stderr]     Checking regex-syntax v0.6.25
[INFO] [stderr]     Checking question v0.2.2
[INFO] [stderr]     Checking tempfile v3.2.0
[INFO] [stderr]     Checking rand_distr v0.4.1
[INFO] [stderr]     Checking roots v0.0.7
[INFO] [stderr]     Checking half v1.7.1
[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 nalgebra v0.25.4
[INFO] [stderr]     Checking bstr v0.2.16
[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)]` (part of `#[warn(unused)]`) 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)]` (part of `#[warn(unused)]`) 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)]` (part of `#[warn(unused)]`) 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)]` (part of `#[warn(unused)]`) 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: 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)]` (part of `#[warn(unused)]`) 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)]` (part of `#[warn(unused)]`) 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)]` (part of `#[warn(unused)]`) 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: 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)]` (part of `#[warn(unused)]`) on by default
[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)]` (part of `#[warn(unused)]`) 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: 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)]` (part of `#[warn(unused)]`) 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: 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)]` (part of `#[warn(unused)]`) on by default
[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)]` (part of `#[warn(unused)]`) 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)]` (part of `#[warn(unused)]`) 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: 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)]` (part of `#[warn(unused)]`) 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: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: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: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: 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: `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: 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)]` (part of `#[warn(unused)]`) 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)]` (part of `#[warn(unused)]`) 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:35
[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)]` (part of `#[warn(unused)]`) 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)]` (part of `#[warn(unused)]`) 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)]` (part of `#[warn(unused)]`) 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:35
[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)]` (part of `#[warn(unused)]`) 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:35
[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: value assigned to `possible_coeff_real` is never read
[INFO] [stdout]   --> src/alg_math/polynomial_roots.rs:38:35
[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/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: 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: 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: 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 `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 `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: trait `DataItem` is never used
[INFO] [stdout]   --> src/alg_math/interface.rs:27:11
[INFO] [stdout]    |
[INFO] [stdout] 27 | pub trait DataItem: Clone {
[INFO] [stdout]    |           ^^^^^^^^
[INFO] [stdout]    |
[INFO] [stdout]    = note: `#[warn(dead_code)]` (part of `#[warn(unused)]`) on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: trait `DataHolder` is never used
[INFO] [stdout]   --> src/alg_math/interface.rs:31:11
[INFO] [stdout]    |
[INFO] [stdout] 31 | pub trait DataHolder: Clone {
[INFO] [stdout]    |           ^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: trait `Oracle` is never used
[INFO] [stdout]   --> src/alg_math/interface.rs:47:11
[INFO] [stdout]    |
[INFO] [stdout] 47 | pub trait Oracle {
[INFO] [stdout]    |           ^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: struct `Filter` is never constructed
[INFO] [stdout]   --> src/alg_math/matrix_building.rs:51:12
[INFO] [stdout]    |
[INFO] [stdout] 51 | pub struct Filter {
[INFO] [stdout]    |            ^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: struct `Credibility` is never constructed
[INFO] [stdout]   --> src/alg_math/matrix_building.rs:63:12
[INFO] [stdout]    |
[INFO] [stdout] 63 | pub struct Credibility {
[INFO] [stdout]    |            ^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: struct `Indicator` is never constructed
[INFO] [stdout]   --> src/alg_math/matrix_building.rs:68:12
[INFO] [stdout]    |
[INFO] [stdout] 68 | pub struct Indicator {
[INFO] [stdout]    |            ^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: struct `Builder` is never constructed
[INFO] [stdout]   --> src/alg_math/matrix_building.rs:72:12
[INFO] [stdout]    |
[INFO] [stdout] 72 | pub struct Builder {
[INFO] [stdout]    |            ^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: methods `reset`, `insert`, and `indicator` are never used
[INFO] [stdout]   --> src/alg_math/matrix_building.rs:83:12
[INFO] [stdout]    |
[INFO] [stdout] 82 | impl Indicator {
[INFO] [stdout]    | -------------- methods in this implementation
[INFO] [stdout] 83 |     pub fn reset(&mut self) {
[INFO] [stdout]    |            ^^^^^
[INFO] [stdout] ...
[INFO] [stdout] 87 |     pub fn insert(&mut self, k: (usize, usize, usize), v: i8) -> Option<i8> {
[INFO] [stdout]    |            ^^^^^^
[INFO] [stdout] ...
[INFO] [stdout] 91 |     pub fn indicator(&self) -> &HashMap<(usize, usize, usize), i8> {
[INFO] [stdout]    |            ^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: associated items `new`, `reset`, `insert`, and `get` are never used
[INFO] [stdout]    --> src/alg_math/matrix_building.rs:97:12
[INFO] [stdout]     |
[INFO] [stdout]  96 | impl Credibility {
[INFO] [stdout]     | ---------------- associated items in this implementation
[INFO] [stdout]  97 |     pub fn new() -> Credibility {
[INFO] [stdout]     |            ^^^
[INFO] [stdout] ...
[INFO] [stdout] 105 |     pub fn reset(&mut self) {
[INFO] [stdout]     |            ^^^^^
[INFO] [stdout] ...
[INFO] [stdout] 109 |     pub fn insert(&mut self, k: usize, v: f64) -> Option<f64> {
[INFO] [stdout]     |            ^^^^^^
[INFO] [stdout] ...
[INFO] [stdout] 113 |     pub fn get(&self, k: &usize) -> Option<&f64> {
[INFO] [stdout]     |            ^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: multiple associated items are never used
[INFO] [stdout]    --> src/alg_math/matrix_building.rs:119:12
[INFO] [stdout]     |
[INFO] [stdout] 118 | impl Filter {
[INFO] [stdout]     | ----------- associated items in this implementation
[INFO] [stdout] 119 |     pub fn new(length: usize) -> Filter {
[INFO] [stdout]     |            ^^^
[INFO] [stdout] ...
[INFO] [stdout] 139 |     pub fn len(&self) -> usize {
[INFO] [stdout]     |            ^^^
[INFO] [stdout] ...
[INFO] [stdout] 143 |     pub fn noo(&self) -> usize {
[INFO] [stdout]     |            ^^^
[INFO] [stdout] ...
[INFO] [stdout] 147 |     pub fn lo(&self) -> usize {
[INFO] [stdout]     |            ^^
[INFO] [stdout] ...
[INFO] [stdout] 151 |     pub fn uo(&self) -> usize {
[INFO] [stdout]     |            ^^
[INFO] [stdout] ...
[INFO] [stdout] 155 |     pub fn filter_index(&self) -> usize {
[INFO] [stdout]     |            ^^^^^^^^^^^^
[INFO] [stdout] ...
[INFO] [stdout] 159 |     pub fn filter(&self) -> &Vec<bool> {
[INFO] [stdout]     |            ^^^^^^
[INFO] [stdout] ...
[INFO] [stdout] 163 |     pub fn filter_mut(&mut self) -> &mut Vec<bool> {
[INFO] [stdout]     |            ^^^^^^^^^^
[INFO] [stdout] ...
[INFO] [stdout] 167 |     pub fn cc(&self) -> (usize, usize, usize, usize) {
[INFO] [stdout]     |            ^^
[INFO] [stdout] ...
[INFO] [stdout] 171 |     pub fn reset(&mut self) {
[INFO] [stdout]     |            ^^^^^
[INFO] [stdout] ...
[INFO] [stdout] 179 |     pub fn is_done(&self) -> bool {
[INFO] [stdout]     |            ^^^^^^^
[INFO] [stdout] ...
[INFO] [stdout] 183 |     pub fn next(&mut self) {
[INFO] [stdout]     |            ^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: associated items `new`, `reset`, `build_matrix`, and `build_values` are never used
[INFO] [stdout]    --> src/alg_math/matrix_building.rs:305:12
[INFO] [stdout]     |
[INFO] [stdout] 304 | impl Builder {
[INFO] [stdout]     | ------------ associated items in this implementation
[INFO] [stdout] 305 |     pub fn new(i: Indicator, c: Credibility, f: Filter) -> Builder {
[INFO] [stdout]     |            ^^^
[INFO] [stdout] ...
[INFO] [stdout] 319 |     pub fn reset(&mut self) {
[INFO] [stdout]     |            ^^^^^
[INFO] [stdout] ...
[INFO] [stdout] 326 |     pub fn build_matrix<
[INFO] [stdout]     |            ^^^^^^^^^^^^
[INFO] [stdout] ...
[INFO] [stdout] 381 |     pub fn build_values<
[INFO] [stdout]     |            ^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: function `compute_aggregation_from_filter` is never used
[INFO] [stdout]    --> src/alg_math/matrix_building.rs:541:8
[INFO] [stdout]     |
[INFO] [stdout] 541 | pub fn compute_aggregation_from_filter(
[INFO] [stdout]     |        ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: function `filter_has_subset` is never used
[INFO] [stdout]    --> src/alg_math/matrix_building.rs:562:8
[INFO] [stdout]     |
[INFO] [stdout] 562 | pub fn filter_has_subset(filter: &[bool], subset: &[usize]) -> bool {
[INFO] [stdout]     |        ^^^^^^^^^^^^^^^^^
[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: associated items `from_vec`, `sub_abox`, `is_inconsistent_detailed`, `is_inconsistent`, and `abiq_is_self_contradicting` are never used
[INFO] [stdout]     --> src/dl_lite/abox.rs:148:12
[INFO] [stdout]      |
[INFO] [stdout]  127 | impl AbqDllite {
[INFO] [stdout]      | -------------- associated items in this implementation
[INFO] [stdout] ...
[INFO] [stdout]  148 |     pub fn from_vec(name: &str, mut v: Vec<AbiqDllite>) -> AbqDllite {
[INFO] [stdout]      |            ^^^^^^^^
[INFO] [stdout] ...
[INFO] [stdout]  164 |     pub fn sub_abox(&self, index: Vec<usize>, name: Option<&str>) -> Option<AbqDllite> {
[INFO] [stdout]      |            ^^^^^^^^
[INFO] [stdout] ...
[INFO] [stdout]  209 |     pub fn is_inconsistent_detailed(
[INFO] [stdout]      |            ^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] ...
[INFO] [stdout]  638 |     pub fn is_inconsistent(&self, tb: &TBDllite, _verbose: bool) -> bool {
[INFO] [stdout]      |            ^^^^^^^^^^^^^^^
[INFO] [stdout] ...
[INFO] [stdout] 1049 |     pub fn abiq_is_self_contradicting(abiq: &AbiqDllite, tb: &TBDllite) -> bool {
[INFO] [stdout]      |            ^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: method `t` is never used
[INFO] [stdout]    --> src/dl_lite/abox_item.rs:158:12
[INFO] [stdout]     |
[INFO] [stdout]  89 | impl AbiDllite {
[INFO] [stdout]     | -------------- method in this implementation
[INFO] [stdout] ...
[INFO] [stdout] 158 |     pub fn t(&self) -> DLType {
[INFO] [stdout]     |            ^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: method `negate_no_mod` is never used
[INFO] [stdout]    --> src/dl_lite/abox_item_quantum.rs:247:12
[INFO] [stdout]     |
[INFO] [stdout] 193 | impl AbiqDllite {
[INFO] [stdout]     | --------------- method in this implementation
[INFO] [stdout] ...
[INFO] [stdout] 247 |     pub fn negate_no_mod(&self) -> AbiqDllite {
[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: methods `add_tbis_from_vec`, `add_abi`, `add_abis_from_abox`, `conflict_matrix`, and `abox_to_file` are never used
[INFO] [stdout]     --> src/dl_lite/ontology.rs:167:12
[INFO] [stdout]      |
[INFO] [stdout]  116 | impl OntologyDllite {
[INFO] [stdout]      | ------------------- methods in this implementation
[INFO] [stdout] ...
[INFO] [stdout]  167 |     pub fn add_tbis_from_vec(&mut self, v: &[TbiDllite]) {
[INFO] [stdout]      |            ^^^^^^^^^^^^^^^^^
[INFO] [stdout] ...
[INFO] [stdout]  316 |     pub fn add_abi(&mut self, abi: &AbiqDllite) {
[INFO] [stdout]      |            ^^^^^^^
[INFO] [stdout] ...
[INFO] [stdout]  324 |     pub fn add_abis_from_abox(&mut self, ab: &AbqDllite) {
[INFO] [stdout]      |            ^^^^^^^^^^^^^^^^^^
[INFO] [stdout] ...
[INFO] [stdout]  575 |     pub fn conflict_matrix(
[INFO] [stdout]      |            ^^^^^^^^^^^^^^^
[INFO] [stdout] ...
[INFO] [stdout] 1314 |     pub fn abox_to_file(
[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: method `negative_inclusions` is never used
[INFO] [stdout]    --> src/dl_lite/tbox.rs:151:12
[INFO] [stdout]     |
[INFO] [stdout] 118 | impl TBDllite {
[INFO] [stdout]     | ------------- method in this implementation
[INFO] [stdout] ...
[INFO] [stdout] 151 |     pub fn negative_inclusions(&self, take_trivial: bool) -> Vec<&TbiDllite> {
[INFO] [stdout]     |            ^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: associated items `reverse_negation` and `get_extrema_level` are never used
[INFO] [stdout]    --> src/dl_lite/tbox_item.rs:237:12
[INFO] [stdout]     |
[INFO] [stdout] 206 | impl TbiDllite {
[INFO] [stdout]     | -------------- associated items in this implementation
[INFO] [stdout] ...
[INFO] [stdout] 237 |     pub fn reverse_negation(&self, add_level: bool) -> Option<TbiDllite> {
[INFO] [stdout]     |            ^^^^^^^^^^^^^^^^
[INFO] [stdout] ...
[INFO] [stdout] 300 |     pub fn get_extrema_level(v: &[&TbiDllite], max_index: usize, get_max: bool) -> usize {
[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: associated function `base` is never used
[INFO] [stdout]   --> src/kb/knowledge_base.rs:39:8
[INFO] [stdout]    |
[INFO] [stdout] 37 | pub trait Item: PartialOrd + Ord + PartialEq + Eq + Debug + Hash + Display + Sized {
[INFO] [stdout]    |           ---- associated function in this trait
[INFO] [stdout] 38 |     fn t(&self) -> DLType;
[INFO] [stdout] 39 |     fn base(node: &Self) -> &Self;
[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: trait `DataItem` is never used
[INFO] [stdout]   --> src/alg_math/interface.rs:27:11
[INFO] [stdout]    |
[INFO] [stdout] 27 | pub trait DataItem: Clone {
[INFO] [stdout]    |           ^^^^^^^^
[INFO] [stdout]    |
[INFO] [stdout]    = note: `#[warn(dead_code)]` (part of `#[warn(unused)]`) on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: trait `DataHolder` is never used
[INFO] [stdout]   --> src/alg_math/interface.rs:31:11
[INFO] [stdout]    |
[INFO] [stdout] 31 | pub trait DataHolder: Clone {
[INFO] [stdout]    |           ^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: trait `Oracle` is never used
[INFO] [stdout]   --> src/alg_math/interface.rs:47:11
[INFO] [stdout]    |
[INFO] [stdout] 47 | pub trait Oracle {
[INFO] [stdout]    |           ^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: struct `Filter` is never constructed
[INFO] [stdout]   --> src/alg_math/matrix_building.rs:51:12
[INFO] [stdout]    |
[INFO] [stdout] 51 | pub struct Filter {
[INFO] [stdout]    |            ^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: struct `Credibility` is never constructed
[INFO] [stdout]   --> src/alg_math/matrix_building.rs:63:12
[INFO] [stdout]    |
[INFO] [stdout] 63 | pub struct Credibility {
[INFO] [stdout]    |            ^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: struct `Indicator` is never constructed
[INFO] [stdout]   --> src/alg_math/matrix_building.rs:68:12
[INFO] [stdout]    |
[INFO] [stdout] 68 | pub struct Indicator {
[INFO] [stdout]    |            ^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: struct `Builder` is never constructed
[INFO] [stdout]   --> src/alg_math/matrix_building.rs:72:12
[INFO] [stdout]    |
[INFO] [stdout] 72 | pub struct Builder {
[INFO] [stdout]    |            ^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: methods `reset`, `insert`, and `indicator` are never used
[INFO] [stdout]   --> src/alg_math/matrix_building.rs:83:12
[INFO] [stdout]    |
[INFO] [stdout] 82 | impl Indicator {
[INFO] [stdout]    | -------------- methods in this implementation
[INFO] [stdout] 83 |     pub fn reset(&mut self) {
[INFO] [stdout]    |            ^^^^^
[INFO] [stdout] ...
[INFO] [stdout] 87 |     pub fn insert(&mut self, k: (usize, usize, usize), v: i8) -> Option<i8> {
[INFO] [stdout]    |            ^^^^^^
[INFO] [stdout] ...
[INFO] [stdout] 91 |     pub fn indicator(&self) -> &HashMap<(usize, usize, usize), i8> {
[INFO] [stdout]    |            ^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: associated items `new`, `reset`, `insert`, and `get` are never used
[INFO] [stdout]    --> src/alg_math/matrix_building.rs:97:12
[INFO] [stdout]     |
[INFO] [stdout]  96 | impl Credibility {
[INFO] [stdout]     | ---------------- associated items in this implementation
[INFO] [stdout]  97 |     pub fn new() -> Credibility {
[INFO] [stdout]     |            ^^^
[INFO] [stdout] ...
[INFO] [stdout] 105 |     pub fn reset(&mut self) {
[INFO] [stdout]     |            ^^^^^
[INFO] [stdout] ...
[INFO] [stdout] 109 |     pub fn insert(&mut self, k: usize, v: f64) -> Option<f64> {
[INFO] [stdout]     |            ^^^^^^
[INFO] [stdout] ...
[INFO] [stdout] 113 |     pub fn get(&self, k: &usize) -> Option<&f64> {
[INFO] [stdout]     |            ^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: multiple associated items are never used
[INFO] [stdout]    --> src/alg_math/matrix_building.rs:119:12
[INFO] [stdout]     |
[INFO] [stdout] 118 | impl Filter {
[INFO] [stdout]     | ----------- associated items in this implementation
[INFO] [stdout] 119 |     pub fn new(length: usize) -> Filter {
[INFO] [stdout]     |            ^^^
[INFO] [stdout] ...
[INFO] [stdout] 139 |     pub fn len(&self) -> usize {
[INFO] [stdout]     |            ^^^
[INFO] [stdout] ...
[INFO] [stdout] 143 |     pub fn noo(&self) -> usize {
[INFO] [stdout]     |            ^^^
[INFO] [stdout] ...
[INFO] [stdout] 147 |     pub fn lo(&self) -> usize {
[INFO] [stdout]     |            ^^
[INFO] [stdout] ...
[INFO] [stdout] 151 |     pub fn uo(&self) -> usize {
[INFO] [stdout]     |            ^^
[INFO] [stdout] ...
[INFO] [stdout] 155 |     pub fn filter_index(&self) -> usize {
[INFO] [stdout]     |            ^^^^^^^^^^^^
[INFO] [stdout] ...
[INFO] [stdout] 159 |     pub fn filter(&self) -> &Vec<bool> {
[INFO] [stdout]     |            ^^^^^^
[INFO] [stdout] ...
[INFO] [stdout] 163 |     pub fn filter_mut(&mut self) -> &mut Vec<bool> {
[INFO] [stdout]     |            ^^^^^^^^^^
[INFO] [stdout] ...
[INFO] [stdout] 167 |     pub fn cc(&self) -> (usize, usize, usize, usize) {
[INFO] [stdout]     |            ^^
[INFO] [stdout] ...
[INFO] [stdout] 171 |     pub fn reset(&mut self) {
[INFO] [stdout]     |            ^^^^^
[INFO] [stdout] ...
[INFO] [stdout] 179 |     pub fn is_done(&self) -> bool {
[INFO] [stdout]     |            ^^^^^^^
[INFO] [stdout] ...
[INFO] [stdout] 183 |     pub fn next(&mut self) {
[INFO] [stdout]     |            ^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: associated items `new`, `reset`, `build_matrix`, and `build_values` are never used
[INFO] [stdout]    --> src/alg_math/matrix_building.rs:305:12
[INFO] [stdout]     |
[INFO] [stdout] 304 | impl Builder {
[INFO] [stdout]     | ------------ associated items in this implementation
[INFO] [stdout] 305 |     pub fn new(i: Indicator, c: Credibility, f: Filter) -> Builder {
[INFO] [stdout]     |            ^^^
[INFO] [stdout] ...
[INFO] [stdout] 319 |     pub fn reset(&mut self) {
[INFO] [stdout]     |            ^^^^^
[INFO] [stdout] ...
[INFO] [stdout] 326 |     pub fn build_matrix<
[INFO] [stdout]     |            ^^^^^^^^^^^^
[INFO] [stdout] ...
[INFO] [stdout] 381 |     pub fn build_values<
[INFO] [stdout]     |            ^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: function `compute_aggregation_from_filter` is never used
[INFO] [stdout]    --> src/alg_math/matrix_building.rs:541:8
[INFO] [stdout]     |
[INFO] [stdout] 541 | pub fn compute_aggregation_from_filter(
[INFO] [stdout]     |        ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: function `filter_has_subset` is never used
[INFO] [stdout]    --> src/alg_math/matrix_building.rs:562:8
[INFO] [stdout]     |
[INFO] [stdout] 562 | pub fn filter_has_subset(filter: &[bool], subset: &[usize]) -> bool {
[INFO] [stdout]     |        ^^^^^^^^^^^^^^^^^
[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: associated items `from_vec`, `sub_abox`, `is_inconsistent_detailed`, `is_inconsistent`, and `abiq_is_self_contradicting` are never used
[INFO] [stdout]     --> src/dl_lite/abox.rs:148:12
[INFO] [stdout]      |
[INFO] [stdout]  127 | impl AbqDllite {
[INFO] [stdout]      | -------------- associated items in this implementation
[INFO] [stdout] ...
[INFO] [stdout]  148 |     pub fn from_vec(name: &str, mut v: Vec<AbiqDllite>) -> AbqDllite {
[INFO] [stdout]      |            ^^^^^^^^
[INFO] [stdout] ...
[INFO] [stdout]  164 |     pub fn sub_abox(&self, index: Vec<usize>, name: Option<&str>) -> Option<AbqDllite> {
[INFO] [stdout]      |            ^^^^^^^^
[INFO] [stdout] ...
[INFO] [stdout]  209 |     pub fn is_inconsistent_detailed(
[INFO] [stdout]      |            ^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] ...
[INFO] [stdout]  638 |     pub fn is_inconsistent(&self, tb: &TBDllite, _verbose: bool) -> bool {
[INFO] [stdout]      |            ^^^^^^^^^^^^^^^
[INFO] [stdout] ...
[INFO] [stdout] 1049 |     pub fn abiq_is_self_contradicting(abiq: &AbiqDllite, tb: &TBDllite) -> bool {
[INFO] [stdout]      |            ^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: method `t` is never used
[INFO] [stdout]    --> src/dl_lite/abox_item.rs:158:12
[INFO] [stdout]     |
[INFO] [stdout]  89 | impl AbiDllite {
[INFO] [stdout]     | -------------- method in this implementation
[INFO] [stdout] ...
[INFO] [stdout] 158 |     pub fn t(&self) -> DLType {
[INFO] [stdout]     |            ^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: method `negate_no_mod` is never used
[INFO] [stdout]    --> src/dl_lite/abox_item_quantum.rs:247:12
[INFO] [stdout]     |
[INFO] [stdout] 193 | impl AbiqDllite {
[INFO] [stdout]     | --------------- method in this implementation
[INFO] [stdout] ...
[INFO] [stdout] 247 |     pub fn negate_no_mod(&self) -> AbiqDllite {
[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: methods `add_tbis_from_vec`, `add_abi`, `add_abis_from_abox`, `conflict_matrix`, and `abox_to_file` are never used
[INFO] [stdout]     --> src/dl_lite/ontology.rs:167:12
[INFO] [stdout]      |
[INFO] [stdout]  116 | impl OntologyDllite {
[INFO] [stdout]      | ------------------- methods in this implementation
[INFO] [stdout] ...
[INFO] [stdout]  167 |     pub fn add_tbis_from_vec(&mut self, v: &[TbiDllite]) {
[INFO] [stdout]      |            ^^^^^^^^^^^^^^^^^
[INFO] [stdout] ...
[INFO] [stdout]  316 |     pub fn add_abi(&mut self, abi: &AbiqDllite) {
[INFO] [stdout]      |            ^^^^^^^
[INFO] [stdout] ...
[INFO] [stdout]  324 |     pub fn add_abis_from_abox(&mut self, ab: &AbqDllite) {
[INFO] [stdout]      |            ^^^^^^^^^^^^^^^^^^
[INFO] [stdout] ...
[INFO] [stdout]  575 |     pub fn conflict_matrix(
[INFO] [stdout]      |            ^^^^^^^^^^^^^^^
[INFO] [stdout] ...
[INFO] [stdout] 1314 |     pub fn abox_to_file(
[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: method `negative_inclusions` is never used
[INFO] [stdout]    --> src/dl_lite/tbox.rs:151:12
[INFO] [stdout]     |
[INFO] [stdout] 118 | impl TBDllite {
[INFO] [stdout]     | ------------- method in this implementation
[INFO] [stdout] ...
[INFO] [stdout] 151 |     pub fn negative_inclusions(&self, take_trivial: bool) -> Vec<&TbiDllite> {
[INFO] [stdout]     |            ^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: associated items `reverse_negation` and `get_extrema_level` are never used
[INFO] [stdout]    --> src/dl_lite/tbox_item.rs:237:12
[INFO] [stdout]     |
[INFO] [stdout] 206 | impl TbiDllite {
[INFO] [stdout]     | -------------- associated items in this implementation
[INFO] [stdout] ...
[INFO] [stdout] 237 |     pub fn reverse_negation(&self, add_level: bool) -> Option<TbiDllite> {
[INFO] [stdout]     |            ^^^^^^^^^^^^^^^^
[INFO] [stdout] ...
[INFO] [stdout] 300 |     pub fn get_extrema_level(v: &[&TbiDllite], max_index: usize, get_max: bool) -> usize {
[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: associated function `base` is never used
[INFO] [stdout]   --> src/kb/knowledge_base.rs:39:8
[INFO] [stdout]    |
[INFO] [stdout] 37 | pub trait Item: PartialOrd + Ord + PartialEq + Eq + Debug + Hash + Display + Sized {
[INFO] [stdout]    |           ---- associated function in this trait
[INFO] [stdout] 38 |     fn t(&self) -> DLType;
[INFO] [stdout] 39 |     fn base(node: &Self) -> &Self;
[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] [stderr]     Finished `dev` profile [unoptimized + debuginfo] target(s) in 2m 37s
[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 1`
[INFO] running `Command { std: "docker" "inspect" "d628664a5b102ee158c04c48182511f5cd56cb1e7ba78d1b2053a49acaf644ba", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "d628664a5b102ee158c04c48182511f5cd56cb1e7ba78d1b2053a49acaf644ba", kill_on_drop: false }`
[INFO] [stdout] d628664a5b102ee158c04c48182511f5cd56cb1e7ba78d1b2053a49acaf644ba
