[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] building hatellezp/rustoner against try#b755f8b9936d084e0363ce6b393c7e444a37080e for pr-97334-1 [INFO] running `Command { std: "git" "clone" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Fhatellezp%2Frustoner" "/workspace/builds/worker-1/source", kill_on_drop: false }` [INFO] [stderr] Cloning into '/workspace/builds/worker-1/source'... [INFO] [stderr] done. [INFO] validating manifest of git repo https://github.com/hatellezp/rustoner on toolchain b755f8b9936d084e0363ce6b393c7e444a37080e [INFO] running `Command { std: "/workspace/cargo-home/bin/cargo" "+b755f8b9936d084e0363ce6b393c7e444a37080e" "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-1/source/Cargo.toml [INFO] crate git repo https://github.com/hatellezp/rustoner already has a lockfile, it will not be regenerated [INFO] running `Command { std: "/workspace/cargo-home/bin/cargo" "+b755f8b9936d084e0363ce6b393c7e444a37080e" "fetch" "--manifest-path" "Cargo.toml", kill_on_drop: false }` [INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-1/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-1/source:/opt/rustwide/workdir:ro,Z" "-v" "/var/lib/crater-agent-workspace/cargo-home:/opt/rustwide/cargo-home:ro,Z" "-v" "/var/lib/crater-agent-workspace/rustup-home:/opt/rustwide/rustup-home:ro,Z" "-e" "SOURCE_DIR=/opt/rustwide/workdir" "-e" "CARGO_TARGET_DIR=/opt/rustwide/target" "-e" "CARGO_HOME=/opt/rustwide/cargo-home" "-e" "RUSTUP_HOME=/opt/rustwide/rustup-home" "-w" "/opt/rustwide/workdir" "-m" "1610612736" "--user" "0:0" "--network" "none" "ghcr.io/rust-lang/crates-build-env/linux@sha256:824c28ce115f6b999260af6986f3384c158e782489540e41c0b698ca1d9fd927" "/opt/rustwide/cargo-home/bin/cargo" "+b755f8b9936d084e0363ce6b393c7e444a37080e" "metadata" "--no-deps" "--format-version=1", kill_on_drop: false }` [INFO] [stdout] c67f82e0e851d3218d0fa6e2e2d16b5912833a37d5ac81d782b4a16f3b694b9e [INFO] running `Command { std: "docker" "start" "-a" "c67f82e0e851d3218d0fa6e2e2d16b5912833a37d5ac81d782b4a16f3b694b9e", kill_on_drop: false }` [INFO] running `Command { std: "docker" "inspect" "c67f82e0e851d3218d0fa6e2e2d16b5912833a37d5ac81d782b4a16f3b694b9e", kill_on_drop: false }` [INFO] running `Command { std: "docker" "rm" "-f" "c67f82e0e851d3218d0fa6e2e2d16b5912833a37d5ac81d782b4a16f3b694b9e", kill_on_drop: false }` [INFO] [stdout] c67f82e0e851d3218d0fa6e2e2d16b5912833a37d5ac81d782b4a16f3b694b9e [INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-1/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-1/source:/opt/rustwide/workdir:ro,Z" "-v" "/var/lib/crater-agent-workspace/cargo-home:/opt/rustwide/cargo-home:ro,Z" "-v" "/var/lib/crater-agent-workspace/rustup-home:/opt/rustwide/rustup-home:ro,Z" "-e" "SOURCE_DIR=/opt/rustwide/workdir" "-e" "CARGO_TARGET_DIR=/opt/rustwide/target" "-e" "CARGO_INCREMENTAL=0" "-e" "RUST_BACKTRACE=full" "-e" "RUSTFLAGS=--cap-lints=forbid" "-e" "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:824c28ce115f6b999260af6986f3384c158e782489540e41c0b698ca1d9fd927" "/opt/rustwide/cargo-home/bin/cargo" "+b755f8b9936d084e0363ce6b393c7e444a37080e" "build" "--frozen" "--message-format=json", kill_on_drop: false }` [INFO] [stdout] 6c4b09f979d07dd46ce8fd88c843759435c3a0a63ddff7bca64c6b27eec7e461 [INFO] running `Command { std: "docker" "start" "-a" "6c4b09f979d07dd46ce8fd88c843759435c3a0a63ddff7bca64c6b27eec7e461", 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 unicode-xid v0.2.2 [INFO] [stderr] Compiling cfg-if v1.0.0 [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 cc v1.0.68 [INFO] [stderr] Compiling winapi v0.2.8 [INFO] [stderr] Compiling pkg-config v0.3.19 [INFO] [stderr] Compiling crc32fast v1.2.1 [INFO] [stderr] Compiling lazy_static v1.4.0 [INFO] [stderr] Compiling adler v1.0.2 [INFO] [stderr] Compiling crossbeam-utils v0.8.5 [INFO] [stderr] Compiling anyhow v1.0.40 [INFO] [stderr] Compiling utf8-ranges v0.1.3 [INFO] [stderr] Compiling regex-syntax v0.3.9 [INFO] [stderr] Compiling byteorder v1.4.3 [INFO] [stderr] Compiling lazy_static v0.1.16 [INFO] [stderr] Compiling serde_derive v1.0.126 [INFO] [stderr] Compiling fs_extra v1.2.0 [INFO] [stderr] Compiling crossbeam-epoch v0.9.5 [INFO] [stderr] Compiling bitflags v1.2.1 [INFO] [stderr] Compiling rawpointer v0.2.1 [INFO] [stderr] Compiling serde v1.0.126 [INFO] [stderr] Compiling unicode-width v0.1.8 [INFO] [stderr] Compiling rayon-core v1.9.1 [INFO] [stderr] Compiling typenum v1.13.0 [INFO] [stderr] Compiling ppv-lite86 v0.2.10 [INFO] [stderr] Compiling scopeguard v1.1.0 [INFO] [stderr] Compiling ndarray v0.14.0 [INFO] [stderr] Compiling unicode-segmentation v1.7.1 [INFO] [stderr] Compiling ryu v1.0.5 [INFO] [stderr] Compiling hashbrown v0.9.1 [INFO] [stderr] Compiling vec_map v0.8.2 [INFO] [stderr] Compiling strsim v0.8.0 [INFO] [stderr] Compiling paw-raw v1.0.0 [INFO] [stderr] Compiling serde_json v1.0.64 [INFO] [stderr] Compiling either v1.6.1 [INFO] [stderr] Compiling ansi_term v0.11.0 [INFO] [stderr] Compiling paste v1.0.5 [INFO] [stderr] Compiling fixedbitset v0.2.0 [INFO] [stderr] Compiling remove_dir_all v0.5.3 [INFO] [stderr] Compiling itoa v0.4.7 [INFO] [stderr] Compiling question v0.2.2 [INFO] [stderr] Compiling exitcode v1.1.2 [INFO] [stderr] Compiling roots v0.0.7 [INFO] [stderr] Compiling kernel32-sys v0.2.2 [INFO] [stderr] Compiling matrixmultiply v0.2.4 [INFO] [stderr] Compiling matrixmultiply v0.3.1 [INFO] [stderr] Compiling textwrap v0.11.0 [INFO] [stderr] Compiling pad v0.1.6 [INFO] [stderr] Compiling proc-macro-error-attr v1.0.4 [INFO] [stderr] Compiling proc-macro-error v1.0.4 [INFO] [stderr] Compiling generic-array v0.14.4 [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 num-rational v0.3.2 [INFO] [stderr] Compiling indexmap v1.6.2 [INFO] [stderr] Compiling rayon v1.5.1 [INFO] [stderr] Compiling heck v0.3.3 [INFO] [stderr] Compiling itertools v0.9.0 [INFO] [stderr] Compiling bzip2-sys v0.1.10+1.0.8 [INFO] [stderr] Compiling crossbeam-channel v0.5.1 [INFO] [stderr] Compiling quote v1.0.9 [INFO] [stderr] Compiling thread-id v2.0.0 [INFO] [stderr] Compiling memchr v0.1.11 [INFO] [stderr] Compiling time v0.1.43 [INFO] [stderr] Compiling getrandom v0.2.3 [INFO] [stderr] Compiling atty v0.2.14 [INFO] [stderr] Compiling num_cpus v1.13.0 [INFO] [stderr] Compiling thread_local v0.2.7 [INFO] [stderr] Compiling clap v2.33.3 [INFO] [stderr] Compiling aho-corasick v0.5.3 [INFO] [stderr] Compiling rand_core v0.6.2 [INFO] [stderr] Compiling regex v0.1.80 [INFO] [stderr] Compiling crossbeam-deque v0.8.0 [INFO] [stderr] Compiling petgraph v0.5.1 [INFO] [stderr] Compiling rand_chacha v0.3.0 [INFO] [stderr] Compiling flate2 v1.0.20 [INFO] [stderr] Compiling num-complex v0.3.1 [INFO] [stderr] Compiling approx v0.4.0 [INFO] [stderr] Compiling num-complex v0.4.0 [INFO] [stderr] Compiling rand v0.8.3 [INFO] [stderr] Compiling simba v0.4.0 [INFO] [stderr] Compiling bzip2 v0.4.2 [INFO] [stderr] Compiling num v0.1.42 [INFO] [stderr] Compiling chrono v0.2.25 [INFO] [stderr] Compiling rand_distr v0.4.1 [INFO] [stderr] Compiling tempfile v3.2.0 [INFO] [stderr] Compiling ftp v3.0.1 [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] Compiling paw v1.0.0 [INFO] [stderr] Compiling thiserror v1.0.25 [INFO] [stderr] Compiling zip v0.5.13 [INFO] [stderr] Compiling structopt v0.3.21 [INFO] [stderr] Compiling fftw-src v0.3.3 [INFO] [stderr] Compiling nalgebra v0.25.4 [INFO] [stderr] Compiling fftw-sys v0.6.0 [INFO] [stderr] Compiling fftw v0.7.0 [INFO] [stderr] Compiling rustoner v0.2.0 (/opt/rustwide/workdir) [INFO] [stdout] warning: unused imports: `UNICODE_BOT`, `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: 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] = note: `#[warn(unused_assignments)]` on by default [INFO] [stdout] = help: maybe it is overwritten before being read? [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: value assigned to `lside_result1` is never read [INFO] [stdout] --> src/dl_lite/string_formatter.rs: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: 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<&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: 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, _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: unused imports: `Arc`, `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`, `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] = note: `#[warn(unused_assignments)]` on by default [INFO] [stdout] = help: maybe it is overwritten before being read? [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `inner_matrix` [INFO] [stdout] --> src/alg_math/bounds.rs:167:26 [INFO] [stdout] | [INFO] [stdout] 167 | inner_matrix: &DMatrix>, [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: 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 `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: 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: 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: 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<&AbiqDllite>)>> = None; [INFO] [stdout] | ----^^^^^^^^^^^^^^ [INFO] [stdout] | | [INFO] [stdout] | help: remove this `mut` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: fields `filter_index` and `case_counter` are never read [INFO] [stdout] --> src/alg_math/matrix_building.rs:56:5 [INFO] [stdout] | [INFO] [stdout] 51 | pub struct Filter { [INFO] [stdout] | ------ fields in this struct [INFO] [stdout] ... [INFO] [stdout] 56 | filter_index: usize, [INFO] [stdout] | ^^^^^^^^^^^^ [INFO] [stdout] ... [INFO] [stdout] 59 | case_counter: (usize, usize, usize, usize), [INFO] [stdout] | ^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = note: `#[warn(dead_code)]` on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: field `credibility_function` is never read [INFO] [stdout] --> src/alg_math/matrix_building.rs:64:5 [INFO] [stdout] | [INFO] [stdout] 63 | pub struct Credibility { [INFO] [stdout] | ----------- field in this struct [INFO] [stdout] 64 | credibility_function: HashMap, [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = note: `Credibility` has a derived impl for the trait `Debug`, but this is intentionally ignored during dead code analysis [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: field `indicator` is never read [INFO] [stdout] --> src/alg_math/matrix_building.rs:70:5 [INFO] [stdout] | [INFO] [stdout] 68 | pub struct Indicator { [INFO] [stdout] | --------- field in this struct [INFO] [stdout] 69 | // I(id of B, index of alpha) -> (value of I, index of betas in B) [INFO] [stdout] 70 | indicator: HashMap<(usize, usize, usize), i8>, [INFO] [stdout] | ^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = note: `Indicator` has a derived impl for the trait `Debug`, but this is intentionally ignored during dead code analysis [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: 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: associated function `reset` is never used [INFO] [stdout] --> src/alg_math/matrix_building.rs:83:12 [INFO] [stdout] | [INFO] [stdout] 83 | pub fn reset(&mut self) { [INFO] [stdout] | ^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: associated function `insert` is never used [INFO] [stdout] --> src/alg_math/matrix_building.rs:87:12 [INFO] [stdout] | [INFO] [stdout] 87 | pub fn insert(&mut self, k: (usize, usize, usize), v: i8) -> Option { [INFO] [stdout] | ^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: associated function `indicator` is never used [INFO] [stdout] --> src/alg_math/matrix_building.rs:91:12 [INFO] [stdout] | [INFO] [stdout] 91 | pub fn indicator(&self) -> &HashMap<(usize, usize, usize), i8> { [INFO] [stdout] | ^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: associated function `new` is never used [INFO] [stdout] --> src/alg_math/matrix_building.rs:97:12 [INFO] [stdout] | [INFO] [stdout] 97 | pub fn new() -> Credibility { [INFO] [stdout] | ^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: associated function `reset` is never used [INFO] [stdout] --> src/alg_math/matrix_building.rs:105:12 [INFO] [stdout] | [INFO] [stdout] 105 | pub fn reset(&mut self) { [INFO] [stdout] | ^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: associated function `insert` is never used [INFO] [stdout] --> src/alg_math/matrix_building.rs:109:12 [INFO] [stdout] | [INFO] [stdout] 109 | pub fn insert(&mut self, k: usize, v: f64) -> Option { [INFO] [stdout] | ^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: associated function `get` is never used [INFO] [stdout] --> src/alg_math/matrix_building.rs:113:12 [INFO] [stdout] | [INFO] [stdout] 113 | pub fn get(&self, k: &usize) -> Option<&f64> { [INFO] [stdout] | ^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: associated function `new` is never used [INFO] [stdout] --> src/alg_math/matrix_building.rs:119:12 [INFO] [stdout] | [INFO] [stdout] 119 | pub fn new(length: usize) -> Filter { [INFO] [stdout] | ^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: associated function `len` is never used [INFO] [stdout] --> src/alg_math/matrix_building.rs:139:12 [INFO] [stdout] | [INFO] [stdout] 139 | pub fn len(&self) -> usize { [INFO] [stdout] | ^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: associated function `noo` is never used [INFO] [stdout] --> src/alg_math/matrix_building.rs:143:12 [INFO] [stdout] | [INFO] [stdout] 143 | pub fn noo(&self) -> usize { [INFO] [stdout] | ^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: associated function `lo` is never used [INFO] [stdout] --> src/alg_math/matrix_building.rs:147:12 [INFO] [stdout] | [INFO] [stdout] 147 | pub fn lo(&self) -> usize { [INFO] [stdout] | ^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: associated function `uo` is never used [INFO] [stdout] --> src/alg_math/matrix_building.rs:151:12 [INFO] [stdout] | [INFO] [stdout] 151 | pub fn uo(&self) -> usize { [INFO] [stdout] | ^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: associated function `filter_index` is never used [INFO] [stdout] --> src/alg_math/matrix_building.rs:155:12 [INFO] [stdout] | [INFO] [stdout] 155 | pub fn filter_index(&self) -> usize { [INFO] [stdout] | ^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: associated function `filter` is never used [INFO] [stdout] --> src/alg_math/matrix_building.rs:159:12 [INFO] [stdout] | [INFO] [stdout] 159 | pub fn filter(&self) -> &Vec { [INFO] [stdout] | ^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: associated function `filter_mut` is never used [INFO] [stdout] --> src/alg_math/matrix_building.rs:163:12 [INFO] [stdout] | [INFO] [stdout] 163 | pub fn filter_mut(&mut self) -> &mut Vec { [INFO] [stdout] | ^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: associated function `cc` is never used [INFO] [stdout] --> src/alg_math/matrix_building.rs:167:12 [INFO] [stdout] | [INFO] [stdout] 167 | pub fn cc(&self) -> (usize, usize, usize, usize) { [INFO] [stdout] | ^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: associated function `reset` is never used [INFO] [stdout] --> src/alg_math/matrix_building.rs:171:12 [INFO] [stdout] | [INFO] [stdout] 171 | pub fn reset(&mut self) { [INFO] [stdout] | ^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: associated function `is_done` is never used [INFO] [stdout] --> src/alg_math/matrix_building.rs:179:12 [INFO] [stdout] | [INFO] [stdout] 179 | pub fn is_done(&self) -> bool { [INFO] [stdout] | ^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: associated function `next` is never used [INFO] [stdout] --> src/alg_math/matrix_building.rs:183:12 [INFO] [stdout] | [INFO] [stdout] 183 | pub fn next(&mut self) { [INFO] [stdout] | ^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: associated function `new` is never used [INFO] [stdout] --> src/alg_math/matrix_building.rs:305:12 [INFO] [stdout] | [INFO] [stdout] 305 | pub fn new(i: Indicator, c: Credibility, f: Filter) -> Builder { [INFO] [stdout] | ^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: associated function `reset` is never used [INFO] [stdout] --> src/alg_math/matrix_building.rs:319:12 [INFO] [stdout] | [INFO] [stdout] 319 | pub fn reset(&mut self) { [INFO] [stdout] | ^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: associated function `build_matrix` is never used [INFO] [stdout] --> src/alg_math/matrix_building.rs:326:12 [INFO] [stdout] | [INFO] [stdout] 326 | pub fn build_matrix< [INFO] [stdout] | ^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: associated function `build_values` is never used [INFO] [stdout] --> src/alg_math/matrix_building.rs:381:12 [INFO] [stdout] | [INFO] [stdout] 381 | pub fn build_values< [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> { [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>, n: usize, inverse: bool) { [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: associated function `from_vec` is never used [INFO] [stdout] --> src/dl_lite/abox.rs:148:12 [INFO] [stdout] | [INFO] [stdout] 148 | pub fn from_vec(name: &str, mut v: Vec) -> AbqDllite { [INFO] [stdout] | ^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: associated function `sub_abox` is never used [INFO] [stdout] --> src/dl_lite/abox.rs:164:12 [INFO] [stdout] | [INFO] [stdout] 164 | pub fn sub_abox(&self, index: Vec, name: Option<&str>) -> Option { [INFO] [stdout] | ^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: associated function `is_inconsistent_detailed` is never used [INFO] [stdout] --> src/dl_lite/abox.rs:209:12 [INFO] [stdout] | [INFO] [stdout] 209 | pub fn is_inconsistent_detailed( [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: associated function `is_inconsistent` is never used [INFO] [stdout] --> src/dl_lite/abox.rs:638:12 [INFO] [stdout] | [INFO] [stdout] 638 | pub fn is_inconsistent(&self, tb: &TBDllite, _verbose: bool) -> bool { [INFO] [stdout] | ^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: associated function `abiq_is_self_contradicting` is never used [INFO] [stdout] --> src/dl_lite/abox.rs:1049:12 [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: associated function `negate_no_mod` is never used [INFO] [stdout] --> src/dl_lite/abox_item_quantum.rs:247:12 [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: associated function `add_tbis_from_vec` is never used [INFO] [stdout] --> src/dl_lite/ontology.rs:167:12 [INFO] [stdout] | [INFO] [stdout] 167 | pub fn add_tbis_from_vec(&mut self, v: &[TbiDllite]) { [INFO] [stdout] | ^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: associated function `add_abi` is never used [INFO] [stdout] --> src/dl_lite/ontology.rs:316:12 [INFO] [stdout] | [INFO] [stdout] 316 | pub fn add_abi(&mut self, abi: &AbiqDllite) { [INFO] [stdout] | ^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: associated function `add_abis_from_abox` is never used [INFO] [stdout] --> src/dl_lite/ontology.rs:324:12 [INFO] [stdout] | [INFO] [stdout] 324 | pub fn add_abis_from_abox(&mut self, ab: &AbqDllite) { [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: associated function `conflict_matrix` is never used [INFO] [stdout] --> src/dl_lite/ontology.rs:575:12 [INFO] [stdout] | [INFO] [stdout] 575 | pub fn conflict_matrix( [INFO] [stdout] | ^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: associated function `abox_to_file` is never used [INFO] [stdout] --> src/dl_lite/ontology.rs:1314:12 [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: associated function `negative_inclusions` is never used [INFO] [stdout] --> src/dl_lite/tbox.rs:151:12 [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 function `reverse_negation` is never used [INFO] [stdout] --> src/dl_lite/tbox_item.rs:237:12 [INFO] [stdout] | [INFO] [stdout] 237 | pub fn reverse_negation(&self, add_level: bool) -> Option { [INFO] [stdout] | ^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: associated function `get_extrema_level` is never used [INFO] [stdout] --> src/dl_lite/tbox_item.rs:300:12 [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: 89 warnings emitted [INFO] [stdout] [INFO] [stdout] [INFO] [stderr] Finished dev [unoptimized + debuginfo] target(s) in 1m 51s [INFO] running `Command { std: "docker" "inspect" "6c4b09f979d07dd46ce8fd88c843759435c3a0a63ddff7bca64c6b27eec7e461", kill_on_drop: false }` [INFO] running `Command { std: "docker" "rm" "-f" "6c4b09f979d07dd46ce8fd88c843759435c3a0a63ddff7bca64c6b27eec7e461", kill_on_drop: false }` [INFO] [stdout] 6c4b09f979d07dd46ce8fd88c843759435c3a0a63ddff7bca64c6b27eec7e461 [INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-1/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-1/source:/opt/rustwide/workdir:ro,Z" "-v" "/var/lib/crater-agent-workspace/cargo-home:/opt/rustwide/cargo-home:ro,Z" "-v" "/var/lib/crater-agent-workspace/rustup-home:/opt/rustwide/rustup-home:ro,Z" "-e" "SOURCE_DIR=/opt/rustwide/workdir" "-e" "CARGO_TARGET_DIR=/opt/rustwide/target" "-e" "CARGO_INCREMENTAL=0" "-e" "RUST_BACKTRACE=full" "-e" "RUSTFLAGS=--cap-lints=forbid" "-e" "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:824c28ce115f6b999260af6986f3384c158e782489540e41c0b698ca1d9fd927" "/opt/rustwide/cargo-home/bin/cargo" "+b755f8b9936d084e0363ce6b393c7e444a37080e" "test" "--frozen" "--no-run" "--message-format=json", kill_on_drop: false }` [INFO] [stdout] 0bdbbe5f528bd4e225a60f4451d964aa68385fcb834f3b60852c6d16d8ca3103 [INFO] running `Command { std: "docker" "start" "-a" "0bdbbe5f528bd4e225a60f4451d964aa68385fcb834f3b60852c6d16d8ca3103", kill_on_drop: false }` [INFO] [stderr] Compiling ucd-trie v0.1.3 [INFO] [stderr] Compiling memchr v2.4.0 [INFO] [stderr] Compiling regex-automata v0.1.10 [INFO] [stderr] Compiling plotters-backend v0.3.0 [INFO] [stderr] Compiling half v1.7.1 [INFO] [stderr] Compiling regex-syntax v0.6.25 [INFO] [stderr] Compiling same-file v1.0.6 [INFO] [stderr] Compiling oorandom v11.1.3 [INFO] [stderr] Compiling itertools v0.10.0 [INFO] [stderr] Compiling tinytemplate v1.2.1 [INFO] [stdout] warning: unused imports: `UNICODE_BOT`, `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: 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] = note: `#[warn(unused_assignments)]` on by default [INFO] [stdout] = help: maybe it is overwritten before being read? [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: value assigned to `lside_result1` is never read [INFO] [stdout] --> src/dl_lite/string_formatter.rs: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: 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<&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: 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, _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] [stderr] Compiling walkdir v2.3.2 [INFO] [stderr] Compiling pest v2.1.3 [INFO] [stderr] Compiling serde_cbor v0.11.1 [INFO] [stderr] Compiling plotters-svg v0.3.0 [INFO] [stderr] Compiling plotters v0.3.1 [INFO] [stderr] Compiling csv-core v0.1.10 [INFO] [stderr] Compiling bstr v0.2.16 [INFO] [stderr] Compiling semver-parser v0.10.2 [INFO] [stderr] Compiling csv v1.1.6 [INFO] [stderr] Compiling semver v0.11.0 [INFO] [stderr] Compiling regex v1.5.4 [INFO] [stderr] Compiling rustc_version v0.3.3 [INFO] [stderr] Compiling cast v0.2.6 [INFO] [stderr] Compiling criterion-plot v0.4.3 [INFO] [stderr] Compiling criterion v0.3.4 [INFO] [stderr] Compiling rustoner v0.2.0 (/opt/rustwide/workdir) [INFO] [stdout] warning: unused imports: `UNICODE_BOT`, `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: `Arc`, `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`, `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 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: 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] = note: `#[warn(unused_assignments)]` on by default [INFO] [stdout] = help: maybe it is overwritten before being read? [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `inner_matrix` [INFO] [stdout] --> src/alg_math/bounds.rs:167:26 [INFO] [stdout] | [INFO] [stdout] 167 | inner_matrix: &DMatrix>, [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: 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 `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: 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] = note: `#[warn(unused_assignments)]` on by default [INFO] [stdout] = help: maybe it is overwritten before being read? [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `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 `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 `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 `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 `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_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 `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 `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 `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: 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<&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/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: 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: 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: 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: 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<&AbiqDllite>)>> = None; [INFO] [stdout] | ----^^^^^^^^^^^^^^ [INFO] [stdout] | | [INFO] [stdout] | help: remove this `mut` [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, _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: fields `filter_index` and `case_counter` are never read [INFO] [stdout] --> src/alg_math/matrix_building.rs:56:5 [INFO] [stdout] | [INFO] [stdout] 51 | pub struct Filter { [INFO] [stdout] | ------ fields in this struct [INFO] [stdout] ... [INFO] [stdout] 56 | filter_index: usize, [INFO] [stdout] | ^^^^^^^^^^^^ [INFO] [stdout] ... [INFO] [stdout] 59 | case_counter: (usize, usize, usize, usize), [INFO] [stdout] | ^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = note: `#[warn(dead_code)]` on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: field `credibility_function` is never read [INFO] [stdout] --> src/alg_math/matrix_building.rs:64:5 [INFO] [stdout] | [INFO] [stdout] 63 | pub struct Credibility { [INFO] [stdout] | ----------- field in this struct [INFO] [stdout] 64 | credibility_function: HashMap, [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = note: `Credibility` has a derived impl for the trait `Debug`, but this is intentionally ignored during dead code analysis [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: field `indicator` is never read [INFO] [stdout] --> src/alg_math/matrix_building.rs:70:5 [INFO] [stdout] | [INFO] [stdout] 68 | pub struct Indicator { [INFO] [stdout] | --------- field in this struct [INFO] [stdout] 69 | // I(id of B, index of alpha) -> (value of I, index of betas in B) [INFO] [stdout] 70 | indicator: HashMap<(usize, usize, usize), i8>, [INFO] [stdout] | ^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = note: `Indicator` has a derived impl for the trait `Debug`, but this is intentionally ignored during dead code analysis [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: 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: associated function `reset` is never used [INFO] [stdout] --> src/alg_math/matrix_building.rs:83:12 [INFO] [stdout] | [INFO] [stdout] 83 | pub fn reset(&mut self) { [INFO] [stdout] | ^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: associated function `insert` is never used [INFO] [stdout] --> src/alg_math/matrix_building.rs:87:12 [INFO] [stdout] | [INFO] [stdout] 87 | pub fn insert(&mut self, k: (usize, usize, usize), v: i8) -> Option { [INFO] [stdout] | ^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: associated function `indicator` is never used [INFO] [stdout] --> src/alg_math/matrix_building.rs:91:12 [INFO] [stdout] | [INFO] [stdout] 91 | pub fn indicator(&self) -> &HashMap<(usize, usize, usize), i8> { [INFO] [stdout] | ^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: associated function `new` is never used [INFO] [stdout] --> src/alg_math/matrix_building.rs:97:12 [INFO] [stdout] | [INFO] [stdout] 97 | pub fn new() -> Credibility { [INFO] [stdout] | ^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: associated function `reset` is never used [INFO] [stdout] --> src/alg_math/matrix_building.rs:105:12 [INFO] [stdout] | [INFO] [stdout] 105 | pub fn reset(&mut self) { [INFO] [stdout] | ^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: associated function `insert` is never used [INFO] [stdout] --> src/alg_math/matrix_building.rs:109:12 [INFO] [stdout] | [INFO] [stdout] 109 | pub fn insert(&mut self, k: usize, v: f64) -> Option { [INFO] [stdout] | ^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: associated function `get` is never used [INFO] [stdout] --> src/alg_math/matrix_building.rs:113:12 [INFO] [stdout] | [INFO] [stdout] 113 | pub fn get(&self, k: &usize) -> Option<&f64> { [INFO] [stdout] | ^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: associated function `new` is never used [INFO] [stdout] --> src/alg_math/matrix_building.rs:119:12 [INFO] [stdout] | [INFO] [stdout] 119 | pub fn new(length: usize) -> Filter { [INFO] [stdout] | ^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: associated function `len` is never used [INFO] [stdout] --> src/alg_math/matrix_building.rs:139:12 [INFO] [stdout] | [INFO] [stdout] 139 | pub fn len(&self) -> usize { [INFO] [stdout] | ^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: associated function `noo` is never used [INFO] [stdout] --> src/alg_math/matrix_building.rs:143:12 [INFO] [stdout] | [INFO] [stdout] 143 | pub fn noo(&self) -> usize { [INFO] [stdout] | ^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: associated function `lo` is never used [INFO] [stdout] --> src/alg_math/matrix_building.rs:147:12 [INFO] [stdout] | [INFO] [stdout] 147 | pub fn lo(&self) -> usize { [INFO] [stdout] | ^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: associated function `uo` is never used [INFO] [stdout] --> src/alg_math/matrix_building.rs:151:12 [INFO] [stdout] | [INFO] [stdout] 151 | pub fn uo(&self) -> usize { [INFO] [stdout] | ^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: associated function `filter_index` is never used [INFO] [stdout] --> src/alg_math/matrix_building.rs:155:12 [INFO] [stdout] | [INFO] [stdout] 155 | pub fn filter_index(&self) -> usize { [INFO] [stdout] | ^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: associated function `filter` is never used [INFO] [stdout] --> src/alg_math/matrix_building.rs:159:12 [INFO] [stdout] | [INFO] [stdout] 159 | pub fn filter(&self) -> &Vec { [INFO] [stdout] | ^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: associated function `filter_mut` is never used [INFO] [stdout] --> src/alg_math/matrix_building.rs:163:12 [INFO] [stdout] | [INFO] [stdout] 163 | pub fn filter_mut(&mut self) -> &mut Vec { [INFO] [stdout] | ^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: associated function `cc` is never used [INFO] [stdout] --> src/alg_math/matrix_building.rs:167:12 [INFO] [stdout] | [INFO] [stdout] 167 | pub fn cc(&self) -> (usize, usize, usize, usize) { [INFO] [stdout] | ^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: associated function `reset` is never used [INFO] [stdout] --> src/alg_math/matrix_building.rs:171:12 [INFO] [stdout] | [INFO] [stdout] 171 | pub fn reset(&mut self) { [INFO] [stdout] | ^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: associated function `is_done` is never used [INFO] [stdout] --> src/alg_math/matrix_building.rs:179:12 [INFO] [stdout] | [INFO] [stdout] 179 | pub fn is_done(&self) -> bool { [INFO] [stdout] | ^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: associated function `next` is never used [INFO] [stdout] --> src/alg_math/matrix_building.rs:183:12 [INFO] [stdout] | [INFO] [stdout] 183 | pub fn next(&mut self) { [INFO] [stdout] | ^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: associated function `new` is never used [INFO] [stdout] --> src/alg_math/matrix_building.rs:305:12 [INFO] [stdout] | [INFO] [stdout] 305 | pub fn new(i: Indicator, c: Credibility, f: Filter) -> Builder { [INFO] [stdout] | ^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: associated function `reset` is never used [INFO] [stdout] --> src/alg_math/matrix_building.rs:319:12 [INFO] [stdout] | [INFO] [stdout] 319 | pub fn reset(&mut self) { [INFO] [stdout] | ^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: associated function `build_matrix` is never used [INFO] [stdout] --> src/alg_math/matrix_building.rs:326:12 [INFO] [stdout] | [INFO] [stdout] 326 | pub fn build_matrix< [INFO] [stdout] | ^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: associated function `build_values` is never used [INFO] [stdout] --> src/alg_math/matrix_building.rs:381:12 [INFO] [stdout] | [INFO] [stdout] 381 | pub fn build_values< [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> { [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>, n: usize, inverse: bool) { [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: associated function `from_vec` is never used [INFO] [stdout] --> src/dl_lite/abox.rs:148:12 [INFO] [stdout] | [INFO] [stdout] 148 | pub fn from_vec(name: &str, mut v: Vec) -> AbqDllite { [INFO] [stdout] | ^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: associated function `sub_abox` is never used [INFO] [stdout] --> src/dl_lite/abox.rs:164:12 [INFO] [stdout] | [INFO] [stdout] 164 | pub fn sub_abox(&self, index: Vec, name: Option<&str>) -> Option { [INFO] [stdout] | ^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: associated function `is_inconsistent_detailed` is never used [INFO] [stdout] --> src/dl_lite/abox.rs:209:12 [INFO] [stdout] | [INFO] [stdout] 209 | pub fn is_inconsistent_detailed( [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: associated function `is_inconsistent` is never used [INFO] [stdout] --> src/dl_lite/abox.rs:638:12 [INFO] [stdout] | [INFO] [stdout] 638 | pub fn is_inconsistent(&self, tb: &TBDllite, _verbose: bool) -> bool { [INFO] [stdout] | ^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: associated function `abiq_is_self_contradicting` is never used [INFO] [stdout] --> src/dl_lite/abox.rs:1049:12 [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: associated function `negate_no_mod` is never used [INFO] [stdout] --> src/dl_lite/abox_item_quantum.rs:247:12 [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: associated function `add_tbis_from_vec` is never used [INFO] [stdout] --> src/dl_lite/ontology.rs:167:12 [INFO] [stdout] | [INFO] [stdout] 167 | pub fn add_tbis_from_vec(&mut self, v: &[TbiDllite]) { [INFO] [stdout] | ^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: associated function `add_abi` is never used [INFO] [stdout] --> src/dl_lite/ontology.rs:316:12 [INFO] [stdout] | [INFO] [stdout] 316 | pub fn add_abi(&mut self, abi: &AbiqDllite) { [INFO] [stdout] | ^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: associated function `add_abis_from_abox` is never used [INFO] [stdout] --> src/dl_lite/ontology.rs:324:12 [INFO] [stdout] | [INFO] [stdout] 324 | pub fn add_abis_from_abox(&mut self, ab: &AbqDllite) { [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: associated function `conflict_matrix` is never used [INFO] [stdout] --> src/dl_lite/ontology.rs:575:12 [INFO] [stdout] | [INFO] [stdout] 575 | pub fn conflict_matrix( [INFO] [stdout] | ^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: associated function `abox_to_file` is never used [INFO] [stdout] --> src/dl_lite/ontology.rs:1314:12 [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: associated function `negative_inclusions` is never used [INFO] [stdout] --> src/dl_lite/tbox.rs:151:12 [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 function `reverse_negation` is never used [INFO] [stdout] --> src/dl_lite/tbox_item.rs:237:12 [INFO] [stdout] | [INFO] [stdout] 237 | pub fn reverse_negation(&self, add_level: bool) -> Option { [INFO] [stdout] | ^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: associated function `get_extrema_level` is never used [INFO] [stdout] --> src/dl_lite/tbox_item.rs:300:12 [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: 20 warnings emitted [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: 89 warnings emitted [INFO] [stdout] [INFO] [stdout] [INFO] [stderr] Finished test [unoptimized + debuginfo] target(s) in 13.65s [INFO] running `Command { std: "docker" "inspect" "0bdbbe5f528bd4e225a60f4451d964aa68385fcb834f3b60852c6d16d8ca3103", kill_on_drop: false }` [INFO] running `Command { std: "docker" "rm" "-f" "0bdbbe5f528bd4e225a60f4451d964aa68385fcb834f3b60852c6d16d8ca3103", kill_on_drop: false }` [INFO] [stdout] 0bdbbe5f528bd4e225a60f4451d964aa68385fcb834f3b60852c6d16d8ca3103