[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#1f12b9b0fdbe735968ac002792a720f0ba4faca6 for crater-rollup-uwu [INFO] running `Command { std: "git" "clone" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Fhatellezp%2Frustoner" "/workspace/builds/worker-7-tc1/source", kill_on_drop: false }` [INFO] [stderr] Cloning into '/workspace/builds/worker-7-tc1/source'... [INFO] [stderr] done. [INFO] validating manifest of git repo https://github.com/hatellezp/rustoner on toolchain 1f12b9b0fdbe735968ac002792a720f0ba4faca6 [INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+1f12b9b0fdbe735968ac002792a720f0ba4faca6" "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-7-tc1/source/Cargo.toml [INFO] crate git repo https://github.com/hatellezp/rustoner already has a lockfile, it will not be regenerated [INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+1f12b9b0fdbe735968ac002792a720f0ba4faca6" "fetch" "--manifest-path" "Cargo.toml", kill_on_drop: false }` [INFO] [stderr] Updating crates.io index [INFO] [stderr] Downloading crates ... [INFO] [stderr] Downloaded paw-attributes v1.0.2 [INFO] [stderr] Downloaded paw v1.0.0 [INFO] [stderr] Downloaded ftp v3.0.1 [INFO] [stderr] Downloaded fftw-sys v0.6.0 [INFO] [stderr] Downloaded paw-raw v1.0.0 [INFO] [stderr] Downloaded bzip2 v0.4.2 [INFO] [stderr] Downloaded fftw v0.7.0 [INFO] [stderr] Downloaded roots v0.0.7 [INFO] [stderr] Downloaded nalgebra v0.25.4 [INFO] [stderr] Downloaded fftw-src v0.3.3 [INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-7-tc1/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-7-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:923055f121b5182466d55868a8b05e67af8ba4a3a3f6bad814e953ca3cd3ac2a" "/opt/rustwide/cargo-home/bin/cargo" "+1f12b9b0fdbe735968ac002792a720f0ba4faca6" "metadata" "--no-deps" "--format-version=1", kill_on_drop: false }` [INFO] [stdout] 1ace98a0d95f5129aa3d4cfa938d673e4ba88dabec0d77a39eb87593ffe5231e [INFO] running `Command { std: "docker" "start" "-a" "1ace98a0d95f5129aa3d4cfa938d673e4ba88dabec0d77a39eb87593ffe5231e", kill_on_drop: false }` [INFO] running `Command { std: "docker" "inspect" "1ace98a0d95f5129aa3d4cfa938d673e4ba88dabec0d77a39eb87593ffe5231e", kill_on_drop: false }` [INFO] running `Command { std: "docker" "rm" "-f" "1ace98a0d95f5129aa3d4cfa938d673e4ba88dabec0d77a39eb87593ffe5231e", kill_on_drop: false }` [INFO] [stdout] 1ace98a0d95f5129aa3d4cfa938d673e4ba88dabec0d77a39eb87593ffe5231e [INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-7-tc1/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-7-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:923055f121b5182466d55868a8b05e67af8ba4a3a3f6bad814e953ca3cd3ac2a" "/opt/rustwide/cargo-home/bin/cargo" "+1f12b9b0fdbe735968ac002792a720f0ba4faca6" "check" "--frozen" "--all" "--all-targets" "--message-format=json", kill_on_drop: false }` [INFO] [stdout] b504b0e272cbdf64b7dce202c9e8dd81bd6b0b7a5cfe71ca47452562db9389b5 [INFO] running `Command { std: "docker" "start" "-a" "b504b0e272cbdf64b7dce202c9e8dd81bd6b0b7a5cfe71ca47452562db9389b5", 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 unicode-xid v0.2.2 [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] Checking lazy_static v1.4.0 [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 pkg-config v0.3.19 [INFO] [stderr] Compiling serde v1.0.126 [INFO] [stderr] Compiling crc32fast v1.2.1 [INFO] [stderr] Compiling adler v1.0.2 [INFO] [stderr] Compiling crossbeam-utils v0.8.5 [INFO] [stderr] Compiling cfg-if v1.0.0 [INFO] [stderr] Compiling anyhow v1.0.40 [INFO] [stderr] Compiling regex-syntax v0.3.9 [INFO] [stderr] Compiling kernel32-sys v0.2.2 [INFO] [stderr] Compiling utf8-ranges v0.1.3 [INFO] [stderr] Compiling ucd-trie v0.1.3 [INFO] [stderr] Compiling crossbeam-epoch v0.9.5 [INFO] [stderr] Compiling bitflags v1.2.1 [INFO] [stderr] Compiling ryu v1.0.5 [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 pest v2.1.3 [INFO] [stderr] Compiling lazy_static v0.1.16 [INFO] [stderr] Compiling byteorder v1.4.3 [INFO] [stderr] Compiling proc-macro-error-attr v1.0.4 [INFO] [stderr] Compiling rayon-core v1.9.1 [INFO] [stderr] Checking scopeguard v1.1.0 [INFO] [stderr] Checking unicode-width v0.1.8 [INFO] [stderr] Checking either v1.6.1 [INFO] [stderr] Compiling fs_extra v1.2.0 [INFO] [stderr] Compiling quote v1.0.9 [INFO] [stderr] Checking rawpointer v0.2.1 [INFO] [stderr] Compiling thread-id v2.0.0 [INFO] [stderr] Compiling memchr v0.1.11 [INFO] [stderr] Compiling time v0.1.43 [INFO] [stderr] Checking getrandom v0.2.3 [INFO] [stderr] Compiling thread_local v0.2.7 [INFO] [stderr] Compiling aho-corasick v0.5.3 [INFO] [stderr] Compiling proc-macro-error v1.0.4 [INFO] [stderr] Checking rand_core v0.6.2 [INFO] [stderr] Checking itoa v0.4.7 [INFO] [stderr] Compiling serde_json v1.0.64 [INFO] [stderr] Checking ppv-lite86 v0.2.10 [INFO] [stderr] Compiling memchr v2.4.0 [INFO] [stderr] Compiling typenum v1.13.0 [INFO] [stderr] Compiling bzip2-sys v0.1.10+1.0.8 [INFO] [stderr] Compiling regex v0.1.80 [INFO] [stderr] Compiling flate2 v1.0.20 [INFO] [stderr] Checking crossbeam-deque v0.8.0 [INFO] [stderr] Checking num_cpus v1.13.0 [INFO] [stderr] Checking atty v0.2.14 [INFO] [stderr] Checking textwrap v0.11.0 [INFO] [stderr] Checking crossbeam-channel v0.5.1 [INFO] [stderr] Compiling semver-parser v0.10.2 [INFO] [stderr] Checking rand_chacha v0.3.0 [INFO] [stderr] Compiling num-rational v0.3.2 [INFO] [stderr] Compiling rayon v1.5.1 [INFO] [stderr] Compiling indexmap v1.6.2 [INFO] [stderr] Compiling generic-array v0.14.4 [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 strsim v0.8.0 [INFO] [stderr] Checking ansi_term v0.11.0 [INFO] [stderr] Checking vec_map v0.8.2 [INFO] [stderr] Checking rand v0.8.3 [INFO] [stderr] Checking approx v0.4.0 [INFO] [stderr] Checking clap v2.33.3 [INFO] [stderr] Compiling semver v0.11.0 [INFO] [stderr] Compiling heck v0.3.3 [INFO] [stderr] Checking matrixmultiply v0.2.4 [INFO] [stderr] Checking itertools v0.9.0 [INFO] [stderr] Compiling num v0.1.42 [INFO] [stderr] Checking paw-raw v1.0.0 [INFO] [stderr] Compiling chrono v0.2.25 [INFO] [stderr] Compiling rustc_version v0.3.3 [INFO] [stderr] Checking hashbrown v0.9.1 [INFO] [stderr] Compiling paste v1.0.5 [INFO] [stderr] Compiling bzip2 v0.4.2 [INFO] [stderr] Checking matrixmultiply v0.3.1 [INFO] [stderr] Compiling cast v0.2.6 [INFO] [stderr] Checking remove_dir_all v0.5.3 [INFO] [stderr] Checking fixedbitset v0.2.0 [INFO] [stderr] Checking plotters-backend v0.3.0 [INFO] [stderr] Checking regex-automata v0.1.10 [INFO] [stderr] Checking simba v0.4.0 [INFO] [stderr] Checking tempfile v3.2.0 [INFO] [stderr] Checking rand_distr v0.4.1 [INFO] [stderr] Checking csv-core v0.1.10 [INFO] [stderr] Compiling ftp v3.0.1 [INFO] [stderr] Checking plotters-svg v0.3.0 [INFO] [stderr] Checking num-complex v0.4.0 [INFO] [stderr] Checking pad v0.1.6 [INFO] [stderr] Checking petgraph v0.5.1 [INFO] [stderr] Checking half v1.7.1 [INFO] [stderr] Checking question v0.2.2 [INFO] [stderr] Checking roots v0.0.7 [INFO] [stderr] Checking regex-syntax v0.6.25 [INFO] [stderr] Checking exitcode v1.1.2 [INFO] [stderr] Checking walkdir v2.3.2 [INFO] [stderr] Checking plotters v0.3.1 [INFO] [stderr] Checking criterion-plot v0.4.3 [INFO] [stderr] Checking itertools v0.10.0 [INFO] [stderr] Checking oorandom v11.1.3 [INFO] [stderr] Checking regex v1.5.4 [INFO] [stderr] Compiling thiserror-impl v1.0.25 [INFO] [stderr] Compiling paw-attributes v1.0.2 [INFO] [stderr] Compiling structopt-derive v0.4.14 [INFO] [stderr] Checking paw v1.0.0 [INFO] [stderr] Compiling thiserror v1.0.25 [INFO] [stderr] Compiling zip v0.5.13 [INFO] [stderr] Checking structopt v0.3.21 [INFO] [stderr] Compiling fftw-src v0.3.3 [INFO] [stderr] Checking bstr v0.2.16 [INFO] [stderr] Checking nalgebra v0.25.4 [INFO] [stderr] Checking serde_cbor v0.11.1 [INFO] [stderr] Checking csv v1.1.6 [INFO] [stderr] Checking tinytemplate v1.2.1 [INFO] [stderr] Checking criterion v0.3.4 [INFO] [stderr] Checking fftw-sys v0.6.0 [INFO] [stderr] Checking fftw v0.7.0 [INFO] [stderr] Checking rustoner v0.2.0 (/opt/rustwide/workdir) [INFO] [stdout] warning: unused imports: `UNICODE_BOT` and `UNICODE_TOP` [INFO] [stdout] --> src/kb/types.rs:23:5 [INFO] [stdout] | [INFO] [stdout] 23 | UNICODE_BOT, UNICODE_EXISTS, UNICODE_NEG, UNICODE_RIGHTARROW, UNICODE_SQSUBSETEQ, [INFO] [stdout] | ^^^^^^^^^^^ [INFO] [stdout] 24 | UNICODE_SUBSETEQ, UNICODE_TOP, UNICODE_VEE, UNICODE_WEDGE, [INFO] [stdout] | ^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = note: `#[warn(unused_imports)]` on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused imports: `UNICODE_BOT` and `UNICODE_TOP` [INFO] [stdout] --> src/kb/types.rs:23:5 [INFO] [stdout] | [INFO] [stdout] 23 | UNICODE_BOT, UNICODE_EXISTS, UNICODE_NEG, UNICODE_RIGHTARROW, UNICODE_SQSUBSETEQ, [INFO] [stdout] | ^^^^^^^^^^^ [INFO] [stdout] 24 | UNICODE_SUBSETEQ, UNICODE_TOP, UNICODE_VEE, UNICODE_WEDGE, [INFO] [stdout] | ^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = note: `#[warn(unused_imports)]` on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `its_ref_i` [INFO] [stdout] --> src/dl_lite/abox.rs:437:26 [INFO] [stdout] | [INFO] [stdout] 437 | for (abiq_i, its_ref_i) in &inner_refs { [INFO] [stdout] | ^^^^^^^^^ help: if this is intentional, prefix it with an underscore: `_its_ref_i` [INFO] [stdout] | [INFO] [stdout] = note: `#[warn(unused_variables)]` on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `its_ref_j` [INFO] [stdout] --> src/dl_lite/abox.rs:455:34 [INFO] [stdout] | [INFO] [stdout] 455 | for (abiq_j, its_ref_j) in &inner_refs { [INFO] [stdout] | ^^^^^^^^^ help: if this is intentional, prefix it with an underscore: `_its_ref_j` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: 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: 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] = help: maybe it is overwritten before being read? [INFO] [stdout] = note: `#[warn(unused_assignments)]` 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] = note: `#[warn(unused_mut)]` on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: value assigned to `is_already_treated` is never read [INFO] [stdout] --> src/dl_lite/abox.rs:844:17 [INFO] [stdout] | [INFO] [stdout] 844 | is_already_treated = false; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = help: maybe it is overwritten before being read? [INFO] [stdout] = note: `#[warn(unused_assignments)]` on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: value assigned to `lside_result1` is never read [INFO] [stdout] --> src/dl_lite/string_formatter.rs:163:21 [INFO] [stdout] | [INFO] [stdout] 163 | let mut lside_result1 = invalid_data_result("not done yet"); [INFO] [stdout] | ^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = help: maybe it is overwritten before being read? [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: value assigned to `rside_result1` is never read [INFO] [stdout] --> src/dl_lite/string_formatter.rs:164:21 [INFO] [stdout] | [INFO] [stdout] 164 | let mut rside_result1 = invalid_data_result("not done yet"); [INFO] [stdout] | ^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = help: maybe it is overwritten before being read? [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: value assigned to `lside_result2` is never read [INFO] [stdout] --> src/dl_lite/string_formatter.rs:165:21 [INFO] [stdout] | [INFO] [stdout] 165 | let mut lside_result2 = invalid_data_result("not done yet"); [INFO] [stdout] | ^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = help: maybe it is overwritten before being read? [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: value assigned to `rside_result2` is never read [INFO] [stdout] --> src/dl_lite/string_formatter.rs:166:21 [INFO] [stdout] | [INFO] [stdout] 166 | let mut rside_result2 = invalid_data_result("not done yet"); [INFO] [stdout] | ^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = help: maybe it is overwritten before being read? [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: value assigned to `lside_result1` is never read [INFO] [stdout] --> src/dl_lite/string_formatter.rs:163:21 [INFO] [stdout] | [INFO] [stdout] 163 | let mut lside_result1 = invalid_data_result("not done yet"); [INFO] [stdout] | ^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = help: maybe it is overwritten before being read? [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: value assigned to `rside_result1` is never read [INFO] [stdout] --> src/dl_lite/string_formatter.rs:164:21 [INFO] [stdout] | [INFO] [stdout] 164 | let mut rside_result1 = invalid_data_result("not done yet"); [INFO] [stdout] | ^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = help: maybe it is overwritten before being read? [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: value assigned to `lside_result2` is never read [INFO] [stdout] --> src/dl_lite/string_formatter.rs:165:21 [INFO] [stdout] | [INFO] [stdout] 165 | let mut lside_result2 = invalid_data_result("not done yet"); [INFO] [stdout] | ^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = help: maybe it is overwritten before being read? [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: value assigned to `rside_result2` is never read [INFO] [stdout] --> src/dl_lite/string_formatter.rs:166:21 [INFO] [stdout] | [INFO] [stdout] 166 | let mut rside_result2 = invalid_data_result("not done yet"); [INFO] [stdout] | ^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = help: maybe it is overwritten before being read? [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: value assigned to `is_already_treated` is never read [INFO] [stdout] --> src/dl_lite/tbox.rs:351:17 [INFO] [stdout] | [INFO] [stdout] 351 | is_already_treated = false; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = help: maybe it is overwritten before being read? [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: value assigned to `is_already_treated` is never read [INFO] [stdout] --> src/dl_lite/tbox.rs:351:17 [INFO] [stdout] | [INFO] [stdout] 351 | is_already_treated = false; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = help: maybe it is overwritten before being read? [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: constant `RULE_IDS` is never used [INFO] [stdout] --> src/graph_maker.rs:38:7 [INFO] [stdout] | [INFO] [stdout] 38 | const RULE_IDS: [CR; 10] = [ [INFO] [stdout] | ^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = note: `#[warn(dead_code)]` on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: constant `RULE_STR_IDS` is never used [INFO] [stdout] --> src/graph_maker.rs:51:7 [INFO] [stdout] | [INFO] [stdout] 51 | const RULE_STR_IDS: [&str; 10] = ["R1", "R2", "R3", "R4", "R5", "R6", "R7", "R8", "R9", "10"]; [INFO] [stdout] | ^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: function `create_graph_for_tbox_unraveling` is never used [INFO] [stdout] --> src/graph_maker.rs:55:8 [INFO] [stdout] | [INFO] [stdout] 55 | pub fn create_graph_for_tbox_unraveling( [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: function `create_graph_for_aboxq_unraveling` is never used [INFO] [stdout] --> src/graph_maker.rs:123:8 [INFO] [stdout] | [INFO] [stdout] 123 | pub fn create_graph_for_aboxq_unraveling( [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: function `edge_attr_tbox_unraveling` is never used [INFO] [stdout] --> src/graph_maker.rs:214:8 [INFO] [stdout] | [INFO] [stdout] 214 | pub fn edge_attr_tbox_unraveling(_g: &Graph, _e: EdgeReference<()>) -> String { [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: function `node_attr_abox_unraveling` is never used [INFO] [stdout] --> src/graph_maker.rs:218:8 [INFO] [stdout] | [INFO] [stdout] 218 | pub fn node_attr_abox_unraveling( [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: function `node_attr_tbox_unraveling` is never used [INFO] [stdout] --> src/graph_maker.rs:241:8 [INFO] [stdout] | [INFO] [stdout] 241 | pub fn node_attr_tbox_unraveling( [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: function `transform_abiq_for_graph` is never used [INFO] [stdout] --> src/graph_maker.rs:257:8 [INFO] [stdout] | [INFO] [stdout] 257 | pub fn transform_abiq_for_graph(abiq: &AbiqDllite, abiq_string: String) -> String { [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: function `transform_tbi_for_graph` is never used [INFO] [stdout] --> src/graph_maker.rs:267:8 [INFO] [stdout] | [INFO] [stdout] 267 | pub fn transform_tbi_for_graph(tbi: &TbiDllite, tbi_string: String, is_for_abox: bool) -> String { [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: function `modify_hashmap_graph` is never used [INFO] [stdout] --> src/graph_maker.rs:289:8 [INFO] [stdout] | [INFO] [stdout] 289 | pub fn modify_hashmap_graph( [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: constant `RULE_IDS` is never used [INFO] [stdout] --> src/graph_maker.rs:38:7 [INFO] [stdout] | [INFO] [stdout] 38 | const RULE_IDS: [CR; 10] = [ [INFO] [stdout] | ^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = note: `#[warn(dead_code)]` on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: constant `RULE_STR_IDS` is never used [INFO] [stdout] --> src/graph_maker.rs:51:7 [INFO] [stdout] | [INFO] [stdout] 51 | const RULE_STR_IDS: [&str; 10] = ["R1", "R2", "R3", "R4", "R5", "R6", "R7", "R8", "R9", "10"]; [INFO] [stdout] | ^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: function `create_graph_for_tbox_unraveling` is never used [INFO] [stdout] --> src/graph_maker.rs:55:8 [INFO] [stdout] | [INFO] [stdout] 55 | pub fn create_graph_for_tbox_unraveling( [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: function `create_graph_for_aboxq_unraveling` is never used [INFO] [stdout] --> src/graph_maker.rs:123:8 [INFO] [stdout] | [INFO] [stdout] 123 | pub fn create_graph_for_aboxq_unraveling( [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: function `edge_attr_tbox_unraveling` is never used [INFO] [stdout] --> src/graph_maker.rs:214:8 [INFO] [stdout] | [INFO] [stdout] 214 | pub fn edge_attr_tbox_unraveling(_g: &Graph, _e: EdgeReference<()>) -> String { [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: function `node_attr_abox_unraveling` is never used [INFO] [stdout] --> src/graph_maker.rs:218:8 [INFO] [stdout] | [INFO] [stdout] 218 | pub fn node_attr_abox_unraveling( [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: function `node_attr_tbox_unraveling` is never used [INFO] [stdout] --> src/graph_maker.rs:241:8 [INFO] [stdout] | [INFO] [stdout] 241 | pub fn node_attr_tbox_unraveling( [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: function `transform_abiq_for_graph` is never used [INFO] [stdout] --> src/graph_maker.rs:257:8 [INFO] [stdout] | [INFO] [stdout] 257 | pub fn transform_abiq_for_graph(abiq: &AbiqDllite, abiq_string: String) -> String { [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: function `transform_tbi_for_graph` is never used [INFO] [stdout] --> src/graph_maker.rs:267:8 [INFO] [stdout] | [INFO] [stdout] 267 | pub fn transform_tbi_for_graph(tbi: &TbiDllite, tbi_string: String, is_for_abox: bool) -> String { [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: function `modify_hashmap_graph` is never used [INFO] [stdout] --> src/graph_maker.rs:289:8 [INFO] [stdout] | [INFO] [stdout] 289 | pub fn modify_hashmap_graph( [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: 20 warnings emitted [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: 20 warnings emitted [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused imports: `Arc` and `Mutex` [INFO] [stdout] --> src/alg_math/bounds.rs:48:17 [INFO] [stdout] | [INFO] [stdout] 48 | use std::sync::{Arc, Mutex}; [INFO] [stdout] | ^^^ ^^^^^ [INFO] [stdout] | [INFO] [stdout] = note: `#[warn(unused_imports)]` on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused imports: `Arc` and `Mutex` [INFO] [stdout] --> src/alg_math/bounds.rs:48:17 [INFO] [stdout] | [INFO] [stdout] 48 | use std::sync::{Arc, Mutex}; [INFO] [stdout] | ^^^ ^^^^^ [INFO] [stdout] | [INFO] [stdout] = note: `#[warn(unused_imports)]` on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `std::time::Instant` [INFO] [stdout] --> src/alg_math/bounds.rs:49:5 [INFO] [stdout] | [INFO] [stdout] 49 | use std::time::Instant; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unnecessary parentheses around match arm expression [INFO] [stdout] --> src/alg_math/polynomial_roots.rs:194:33 [INFO] [stdout] | [INFO] [stdout] 194 | Roots::Two(root) => (root[0].max(root[1])), [INFO] [stdout] | ^ ^ [INFO] [stdout] | [INFO] [stdout] = note: `#[warn(unused_parens)]` on by default [INFO] [stdout] help: remove these parentheses [INFO] [stdout] | [INFO] [stdout] 194 - Roots::Two(root) => (root[0].max(root[1])), [INFO] [stdout] 194 + Roots::Two(root) => root[0].max(root[1]), [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: 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: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: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: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: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: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: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: value assigned to `prov_scale` is never read [INFO] [stdout] --> src/alg_math/bounds.rs:98:17 [INFO] [stdout] | [INFO] [stdout] 98 | let mut prov_scale: f64 = 1.; // the matrix need to be scaled, we begin at 1 [INFO] [stdout] | ^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = help: maybe it is overwritten before being read? [INFO] [stdout] = note: `#[warn(unused_assignments)]` on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `inner_matrix` [INFO] [stdout] --> src/alg_math/bounds.rs:167:26 [INFO] [stdout] | [INFO] [stdout] 167 | inner_matrix: &DMatrix>, [INFO] [stdout] | ^^^^^^^^^^^^ help: if this is intentional, prefix it with an underscore: `_inner_matrix` [INFO] [stdout] | [INFO] [stdout] = note: `#[warn(unused_variables)]` on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variable does not need to be mutable [INFO] [stdout] --> src/alg_math/bounds.rs:103:13 [INFO] [stdout] | [INFO] [stdout] 103 | let mut find_line_maxes_one = [INFO] [stdout] | ----^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | | [INFO] [stdout] | help: remove this `mut` [INFO] [stdout] | [INFO] [stdout] = note: `#[warn(unused_mut)]` on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: value assigned to `prov_scale` is never read [INFO] [stdout] --> src/alg_math/bounds.rs:98:17 [INFO] [stdout] | [INFO] [stdout] 98 | let mut prov_scale: f64 = 1.; // the matrix need to be scaled, we begin at 1 [INFO] [stdout] | ^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = help: maybe it is overwritten before being read? [INFO] [stdout] = note: `#[warn(unused_assignments)]` on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `inner_matrix` [INFO] [stdout] --> src/alg_math/bounds.rs:167:26 [INFO] [stdout] | [INFO] [stdout] 167 | inner_matrix: &DMatrix>, [INFO] [stdout] | ^^^^^^^^^^^^ help: if this is intentional, prefix it with an underscore: `_inner_matrix` [INFO] [stdout] | [INFO] [stdout] = note: `#[warn(unused_variables)]` on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: value assigned to `possible_coeff_real` is never read [INFO] [stdout] --> src/alg_math/polynomial_roots.rs:38:13 [INFO] [stdout] | [INFO] [stdout] 38 | let mut possible_coeff_real = tolerance / 2.; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = help: maybe it is overwritten before being read? [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variable does not need to be mutable [INFO] [stdout] --> src/alg_math/bounds.rs:103:13 [INFO] [stdout] | [INFO] [stdout] 103 | let mut find_line_maxes_one = [INFO] [stdout] | ----^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | | [INFO] [stdout] | help: remove this `mut` [INFO] [stdout] | [INFO] [stdout] = note: `#[warn(unused_mut)]` on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: 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<&AbiqDllite>)>> = None; [INFO] [stdout] | ----^^^^^^^^^^^^^^ [INFO] [stdout] | | [INFO] [stdout] | help: remove this `mut` [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: value assigned to `is_already_treated` is never read [INFO] [stdout] --> src/dl_lite/abox.rs:844:17 [INFO] [stdout] | [INFO] [stdout] 844 | is_already_treated = false; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = help: maybe it is overwritten before being read? [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `its_ref_i` [INFO] [stdout] --> src/dl_lite/abox.rs:437:26 [INFO] [stdout] | [INFO] [stdout] 437 | for (abiq_i, its_ref_i) in &inner_refs { [INFO] [stdout] | ^^^^^^^^^ help: if this is intentional, prefix it with an underscore: `_its_ref_i` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `its_ref_j` [INFO] [stdout] --> src/dl_lite/abox.rs:455:34 [INFO] [stdout] | [INFO] [stdout] 455 | for (abiq_j, its_ref_j) in &inner_refs { [INFO] [stdout] | ^^^^^^^^^ help: if this is intentional, prefix it with an underscore: `_its_ref_j` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variable does not need to be mutable [INFO] [stdout] --> src/dl_lite/abox.rs:412:13 [INFO] [stdout] | [INFO] [stdout] 412 | let mut contradictions: Option, Vec<&AbiqDllite>)>> = None; [INFO] [stdout] | ----^^^^^^^^^^^^^^ [INFO] [stdout] | | [INFO] [stdout] | help: remove this `mut` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: value assigned to `is_already_treated` is never read [INFO] [stdout] --> src/dl_lite/abox.rs:844:17 [INFO] [stdout] | [INFO] [stdout] 844 | is_already_treated = false; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = help: maybe it is overwritten before being read? [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: value assigned to `lside_result1` is never read [INFO] [stdout] --> src/dl_lite/string_formatter.rs:163:21 [INFO] [stdout] | [INFO] [stdout] 163 | let mut lside_result1 = invalid_data_result("not done yet"); [INFO] [stdout] | ^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = help: maybe it is overwritten before being read? [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: value assigned to `rside_result1` is never read [INFO] [stdout] --> src/dl_lite/string_formatter.rs:164:21 [INFO] [stdout] | [INFO] [stdout] 164 | let mut rside_result1 = invalid_data_result("not done yet"); [INFO] [stdout] | ^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = help: maybe it is overwritten before being read? [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: value assigned to `lside_result2` is never read [INFO] [stdout] --> src/dl_lite/string_formatter.rs:165:21 [INFO] [stdout] | [INFO] [stdout] 165 | let mut lside_result2 = invalid_data_result("not done yet"); [INFO] [stdout] | ^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = help: maybe it is overwritten before being read? [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: value assigned to `rside_result2` is never read [INFO] [stdout] --> src/dl_lite/string_formatter.rs:166:21 [INFO] [stdout] | [INFO] [stdout] 166 | let mut rside_result2 = invalid_data_result("not done yet"); [INFO] [stdout] | ^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = help: maybe it is overwritten before being read? [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: value assigned to `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_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: 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)]` 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: 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] [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] = 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: 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] = 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: 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 { [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 { [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 { [INFO] [stdout] | ^^^^^^ [INFO] [stdout] ... [INFO] [stdout] 163 | pub fn filter_mut(&mut self) -> &mut Vec { [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> { [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 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) -> AbqDllite { [INFO] [stdout] | ^^^^^^^^ [INFO] [stdout] ... [INFO] [stdout] 164 | pub fn sub_abox(&self, index: Vec, name: Option<&str>) -> Option { [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 `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 { [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: 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 `get`, `sort`, and `is_empty` are never used [INFO] [stdout] --> src/kb/knowledge_base.rs:169:8 [INFO] [stdout] | [INFO] [stdout] 163 | pub trait TBox: PartialEq + Debug + Display { [INFO] [stdout] | ---- methods in this trait [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: 68 warnings emitted [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)]` 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: 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] [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] = 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: 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] = 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: 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 { [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 { [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 { [INFO] [stdout] | ^^^^^^ [INFO] [stdout] ... [INFO] [stdout] 163 | pub fn filter_mut(&mut self) -> &mut Vec { [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> { [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 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) -> AbqDllite { [INFO] [stdout] | ^^^^^^^^ [INFO] [stdout] ... [INFO] [stdout] 164 | pub fn sub_abox(&self, index: Vec, name: Option<&str>) -> Option { [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 `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 { [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: 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 `get`, `sort`, and `is_empty` are never used [INFO] [stdout] --> src/kb/knowledge_base.rs:169:8 [INFO] [stdout] | [INFO] [stdout] 163 | pub trait TBox: PartialEq + Debug + Display { [INFO] [stdout] | ---- methods in this trait [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: 68 warnings emitted [INFO] [stdout] [INFO] [stdout] [INFO] [stderr] Finished `dev` profile [unoptimized + debuginfo] target(s) in 1m 03s [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" "b504b0e272cbdf64b7dce202c9e8dd81bd6b0b7a5cfe71ca47452562db9389b5", kill_on_drop: false }` [INFO] running `Command { std: "docker" "rm" "-f" "b504b0e272cbdf64b7dce202c9e8dd81bd6b0b7a5cfe71ca47452562db9389b5", kill_on_drop: false }` [INFO] [stdout] b504b0e272cbdf64b7dce202c9e8dd81bd6b0b7a5cfe71ca47452562db9389b5 [INFO] checking hatellezp/rustoner against try#f9935d29d867449445ee008640ccca1bf1ae0889+rustflags=-Dtail_expr_drop_order for crater-rollup-uwu [INFO] running `Command { std: "git" "clone" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Fhatellezp%2Frustoner" "/workspace/builds/worker-7-tc2/source", kill_on_drop: false }` [INFO] [stderr] Cloning into '/workspace/builds/worker-7-tc2/source'... [INFO] [stderr] done. [INFO] validating manifest of git repo https://github.com/hatellezp/rustoner on toolchain f9935d29d867449445ee008640ccca1bf1ae0889 [INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+f9935d29d867449445ee008640ccca1bf1ae0889" "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-7-tc2/source/Cargo.toml [INFO] crate git repo https://github.com/hatellezp/rustoner already has a lockfile, it will not be regenerated [INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+f9935d29d867449445ee008640ccca1bf1ae0889" "fetch" "--manifest-path" "Cargo.toml", kill_on_drop: false }` [INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-7-tc2/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-7-tc2/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:923055f121b5182466d55868a8b05e67af8ba4a3a3f6bad814e953ca3cd3ac2a" "/opt/rustwide/cargo-home/bin/cargo" "+f9935d29d867449445ee008640ccca1bf1ae0889" "metadata" "--no-deps" "--format-version=1", kill_on_drop: false }` [INFO] [stdout] 874cfe4cd7692550b5980f162f63aa3da283114475a79d95e7f1626fce0a71ac [INFO] running `Command { std: "docker" "start" "-a" "874cfe4cd7692550b5980f162f63aa3da283114475a79d95e7f1626fce0a71ac", kill_on_drop: false }` [INFO] running `Command { std: "docker" "inspect" "874cfe4cd7692550b5980f162f63aa3da283114475a79d95e7f1626fce0a71ac", kill_on_drop: false }` [INFO] running `Command { std: "docker" "rm" "-f" "874cfe4cd7692550b5980f162f63aa3da283114475a79d95e7f1626fce0a71ac", kill_on_drop: false }` [INFO] [stdout] 874cfe4cd7692550b5980f162f63aa3da283114475a79d95e7f1626fce0a71ac [INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-7-tc2/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-7-tc2/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 -Dtail_expr_drop_order" "-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:923055f121b5182466d55868a8b05e67af8ba4a3a3f6bad814e953ca3cd3ac2a" "/opt/rustwide/cargo-home/bin/cargo" "+f9935d29d867449445ee008640ccca1bf1ae0889" "check" "--frozen" "--all" "--all-targets" "--message-format=json", kill_on_drop: false }` [INFO] [stdout] 36ed93d8d8129850aa0e45aa4a7da40d6c4952aa711eae9c06f4decb33d4dc19 [INFO] running `Command { std: "docker" "start" "-a" "36ed93d8d8129850aa0e45aa4a7da40d6c4952aa711eae9c06f4decb33d4dc19", 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 unicode-xid v0.2.2 [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] Checking lazy_static v1.4.0 [INFO] [stderr] Compiling cc v1.0.68 [INFO] [stderr] Compiling serde_derive v1.0.126 [INFO] [stderr] Compiling pkg-config v0.3.19 [INFO] [stderr] Compiling winapi v0.2.8 [INFO] [stderr] Compiling serde v1.0.126 [INFO] [stderr] Compiling crc32fast v1.2.1 [INFO] [stderr] Compiling cfg-if v1.0.0 [INFO] [stderr] Compiling crossbeam-utils v0.8.5 [INFO] [stderr] Compiling adler v1.0.2 [INFO] [stderr] Compiling anyhow v1.0.40 [INFO] [stderr] Compiling ucd-trie v0.1.3 [INFO] [stderr] Compiling kernel32-sys v0.2.2 [INFO] [stderr] Compiling utf8-ranges v0.1.3 [INFO] [stderr] Compiling regex-syntax v0.3.9 [INFO] [stderr] Compiling pest v2.1.3 [INFO] [stderr] Compiling bitflags v1.2.1 [INFO] [stderr] Compiling lazy_static v0.1.16 [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 byteorder v1.4.3 [INFO] [stderr] Compiling crossbeam-epoch v0.9.5 [INFO] [stderr] Compiling ryu v1.0.5 [INFO] [stderr] Compiling proc-macro-error-attr v1.0.4 [INFO] [stderr] Compiling fs_extra v1.2.0 [INFO] [stderr] Checking scopeguard v1.1.0 [INFO] [stderr] Checking rawpointer v0.2.1 [INFO] [stderr] Compiling quote v1.0.9 [INFO] [stderr] Compiling rayon-core v1.9.1 [INFO] [stderr] Checking unicode-width v0.1.8 [INFO] [stderr] Checking either v1.6.1 [INFO] [stderr] Compiling thread-id v2.0.0 [INFO] [stderr] Compiling time v0.1.43 [INFO] [stderr] Compiling memchr v0.1.11 [INFO] [stderr] Checking getrandom v0.2.3 [INFO] [stderr] Compiling thread_local v0.2.7 [INFO] [stderr] Compiling aho-corasick v0.5.3 [INFO] [stderr] Compiling proc-macro-error v1.0.4 [INFO] [stderr] Checking rand_core v0.6.2 [INFO] [stderr] Checking itoa v0.4.7 [INFO] [stderr] Compiling memchr v2.4.0 [INFO] [stderr] Compiling serde_json v1.0.64 [INFO] [stderr] Compiling semver-parser v0.10.2 [INFO] [stderr] Checking ppv-lite86 v0.2.10 [INFO] [stderr] Compiling typenum v1.13.0 [INFO] [stderr] Compiling bzip2-sys v0.1.10+1.0.8 [INFO] [stderr] Compiling regex v0.1.80 [INFO] [stderr] Compiling flate2 v1.0.20 [INFO] [stderr] Checking crossbeam-deque v0.8.0 [INFO] [stderr] Checking textwrap v0.11.0 [INFO] [stderr] Checking atty v0.2.14 [INFO] [stderr] Checking num_cpus v1.13.0 [INFO] [stderr] Checking crossbeam-channel v0.5.1 [INFO] [stderr] Compiling indexmap v1.6.2 [INFO] [stderr] Compiling rayon v1.5.1 [INFO] [stderr] Checking num-complex v0.3.1 [INFO] [stderr] Compiling num-rational v0.3.2 [INFO] [stderr] Checking rand_chacha v0.3.0 [INFO] [stderr] Compiling generic-array v0.14.4 [INFO] [stderr] Compiling semver v0.11.0 [INFO] [stderr] Compiling unicode-segmentation v1.7.1 [INFO] [stderr] Compiling ndarray v0.14.0 [INFO] [stderr] Checking vec_map v0.8.2 [INFO] [stderr] Checking strsim v0.8.0 [INFO] [stderr] Checking ansi_term v0.11.0 [INFO] [stderr] Checking rand v0.8.3 [INFO] [stderr] Compiling rustc_version v0.3.3 [INFO] [stderr] Checking clap v2.33.3 [INFO] [stderr] Checking approx v0.4.0 [INFO] [stderr] Checking itertools v0.9.0 [INFO] [stderr] Compiling heck v0.3.3 [INFO] [stderr] Checking matrixmultiply v0.2.4 [INFO] [stderr] Checking hashbrown v0.9.1 [INFO] [stderr] Compiling num v0.1.42 [INFO] [stderr] Checking paw-raw v1.0.0 [INFO] [stderr] Compiling cast v0.2.6 [INFO] [stderr] Compiling chrono v0.2.25 [INFO] [stderr] Compiling paste v1.0.5 [INFO] [stderr] Compiling bzip2 v0.4.2 [INFO] [stderr] Checking matrixmultiply v0.3.1 [INFO] [stderr] Checking regex-automata v0.1.10 [INFO] [stderr] Checking plotters-backend v0.3.0 [INFO] [stderr] Checking fixedbitset v0.2.0 [INFO] [stderr] Checking remove_dir_all v0.5.3 [INFO] [stderr] Checking plotters-svg v0.3.0 [INFO] [stderr] Checking rand_distr v0.4.1 [INFO] [stderr] Checking tempfile v3.2.0 [INFO] [stderr] Checking csv-core v0.1.10 [INFO] [stderr] Checking simba v0.4.0 [INFO] [stderr] Checking num-complex v0.4.0 [INFO] [stderr] Checking pad v0.1.6 [INFO] [stderr] Compiling ftp v3.0.1 [INFO] [stderr] Checking regex-syntax v0.6.25 [INFO] [stderr] Checking exitcode v1.1.2 [INFO] [stderr] Checking petgraph v0.5.1 [INFO] [stderr] Checking question v0.2.2 [INFO] [stderr] Checking roots v0.0.7 [INFO] [stderr] Checking half v1.7.1 [INFO] [stderr] Checking walkdir v2.3.2 [INFO] [stderr] Checking criterion-plot v0.4.3 [INFO] [stderr] Checking plotters v0.3.1 [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)]` on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused imports: `UNICODE_BOT` and `UNICODE_TOP` [INFO] [stdout] --> src/kb/types.rs:23:5 [INFO] [stdout] | [INFO] [stdout] 23 | UNICODE_BOT, UNICODE_EXISTS, UNICODE_NEG, UNICODE_RIGHTARROW, UNICODE_SQSUBSETEQ, [INFO] [stdout] | ^^^^^^^^^^^ [INFO] [stdout] 24 | UNICODE_SUBSETEQ, UNICODE_TOP, UNICODE_VEE, UNICODE_WEDGE, [INFO] [stdout] | ^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = note: `#[warn(unused_imports)]` on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `its_ref_i` [INFO] [stdout] --> src/dl_lite/abox.rs:437:26 [INFO] [stdout] | [INFO] [stdout] 437 | for (abiq_i, its_ref_i) in &inner_refs { [INFO] [stdout] | ^^^^^^^^^ help: if this is intentional, prefix it with an underscore: `_its_ref_i` [INFO] [stdout] | [INFO] [stdout] = note: `#[warn(unused_variables)]` on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `its_ref_j` [INFO] [stdout] --> src/dl_lite/abox.rs:455:34 [INFO] [stdout] | [INFO] [stdout] 455 | for (abiq_j, its_ref_j) in &inner_refs { [INFO] [stdout] | ^^^^^^^^^ help: if this is intentional, prefix it with an underscore: `_its_ref_j` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: 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: 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] = help: maybe it is overwritten before being read? [INFO] [stdout] = note: `#[warn(unused_assignments)]` 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] = note: `#[warn(unused_mut)]` on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: value assigned to `is_already_treated` is never read [INFO] [stdout] --> src/dl_lite/abox.rs:844:17 [INFO] [stdout] | [INFO] [stdout] 844 | is_already_treated = false; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = help: maybe it is overwritten before being read? [INFO] [stdout] = note: `#[warn(unused_assignments)]` on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: value assigned to `lside_result1` is never read [INFO] [stdout] --> src/dl_lite/string_formatter.rs:163:21 [INFO] [stdout] | [INFO] [stdout] 163 | let mut lside_result1 = invalid_data_result("not done yet"); [INFO] [stdout] | ^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = help: maybe it is overwritten before being read? [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: value assigned to `rside_result1` is never read [INFO] [stdout] --> src/dl_lite/string_formatter.rs:164:21 [INFO] [stdout] | [INFO] [stdout] 164 | let mut rside_result1 = invalid_data_result("not done yet"); [INFO] [stdout] | ^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = help: maybe it is overwritten before being read? [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: value assigned to `lside_result2` is never read [INFO] [stdout] --> src/dl_lite/string_formatter.rs:165:21 [INFO] [stdout] | [INFO] [stdout] 165 | let mut lside_result2 = invalid_data_result("not done yet"); [INFO] [stdout] | ^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = help: maybe it is overwritten before being read? [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: value assigned to `rside_result2` is never read [INFO] [stdout] --> src/dl_lite/string_formatter.rs:166:21 [INFO] [stdout] | [INFO] [stdout] 166 | let mut rside_result2 = invalid_data_result("not done yet"); [INFO] [stdout] | ^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = help: maybe it is overwritten before being read? [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: value assigned to `lside_result1` is never read [INFO] [stdout] --> src/dl_lite/string_formatter.rs:163:21 [INFO] [stdout] | [INFO] [stdout] 163 | let mut lside_result1 = invalid_data_result("not done yet"); [INFO] [stdout] | ^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = help: maybe it is overwritten before being read? [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: value assigned to `rside_result1` is never read [INFO] [stdout] --> src/dl_lite/string_formatter.rs:164:21 [INFO] [stdout] | [INFO] [stdout] 164 | let mut rside_result1 = invalid_data_result("not done yet"); [INFO] [stdout] | ^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = help: maybe it is overwritten before being read? [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: value assigned to `lside_result2` is never read [INFO] [stdout] --> src/dl_lite/string_formatter.rs:165:21 [INFO] [stdout] | [INFO] [stdout] 165 | let mut lside_result2 = invalid_data_result("not done yet"); [INFO] [stdout] | ^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = help: maybe it is overwritten before being read? [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: value assigned to `rside_result2` is never read [INFO] [stdout] --> src/dl_lite/string_formatter.rs:166:21 [INFO] [stdout] | [INFO] [stdout] 166 | let mut rside_result2 = invalid_data_result("not done yet"); [INFO] [stdout] | ^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = help: maybe it is overwritten before being read? [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: value assigned to `is_already_treated` is never read [INFO] [stdout] --> src/dl_lite/tbox.rs:351:17 [INFO] [stdout] | [INFO] [stdout] 351 | is_already_treated = false; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = help: maybe it is overwritten before being read? [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: value assigned to `is_already_treated` is never read [INFO] [stdout] --> src/dl_lite/tbox.rs:351:17 [INFO] [stdout] | [INFO] [stdout] 351 | is_already_treated = false; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = help: maybe it is overwritten before being read? [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: constant `RULE_IDS` is never used [INFO] [stdout] --> src/graph_maker.rs:38:7 [INFO] [stdout] | [INFO] [stdout] 38 | const RULE_IDS: [CR; 10] = [ [INFO] [stdout] | ^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = note: `#[warn(dead_code)]` on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: constant `RULE_STR_IDS` is never used [INFO] [stdout] --> src/graph_maker.rs:51:7 [INFO] [stdout] | [INFO] [stdout] 51 | const RULE_STR_IDS: [&str; 10] = ["R1", "R2", "R3", "R4", "R5", "R6", "R7", "R8", "R9", "10"]; [INFO] [stdout] | ^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: function `create_graph_for_tbox_unraveling` is never used [INFO] [stdout] --> src/graph_maker.rs:55:8 [INFO] [stdout] | [INFO] [stdout] 55 | pub fn create_graph_for_tbox_unraveling( [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: function `create_graph_for_aboxq_unraveling` is never used [INFO] [stdout] --> src/graph_maker.rs:123:8 [INFO] [stdout] | [INFO] [stdout] 123 | pub fn create_graph_for_aboxq_unraveling( [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: function `edge_attr_tbox_unraveling` is never used [INFO] [stdout] --> src/graph_maker.rs:214:8 [INFO] [stdout] | [INFO] [stdout] 214 | pub fn edge_attr_tbox_unraveling(_g: &Graph, _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] error: these values and local bindings have significant drop implementation that will have a different drop order from that of Edition 2021 [INFO] [stdout] --> src/dl_lite/rule.rs:393:66 [INFO] [stdout] | [INFO] [stdout] 393 | let f = |t1: Option, t2: Option| match (t1, t2) { [INFO] [stdout] | --------------------- --------------------- ^^^^^^^^ [INFO] [stdout] | | | [INFO] [stdout] | | these values have significant drop implementation and will observe changes in drop order under Edition 2024 [INFO] [stdout] | these values have significant drop implementation and will observe changes in drop order under Edition 2024 [INFO] [stdout] | [INFO] [stdout] = warning: this changes meaning in Rust 2024 [INFO] [stdout] = note: for more information, see issue #123739 [INFO] [stdout] = note: requested on the command line with `-D tail-expr-drop-order` [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] error: these values and local bindings have significant drop implementation that will have a different drop order from that of Edition 2021 [INFO] [stdout] --> src/dl_lite/string_formatter.rs:480:47 [INFO] [stdout] | [INFO] [stdout] 480 | "NOT" => |x: ItemDllite| Some(x.negate()), [INFO] [stdout] | ------------- ^^^^^^^^^^ [INFO] [stdout] | | [INFO] [stdout] | these values have significant drop implementation and will observe changes in drop order under Edition 2024 [INFO] [stdout] | [INFO] [stdout] = warning: this changes meaning in Rust 2024 [INFO] [stdout] = note: for more information, see issue #123739 [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] error: these values and local bindings have significant drop implementation that will have a different drop order from that of Edition 2021 [INFO] [stdout] --> src/dl_lite/string_formatter.rs:516:47 [INFO] [stdout] | [INFO] [stdout] 516 | "NOT" => |x: ItemDllite| Some(x.negate()), [INFO] [stdout] | ------------- ^^^^^^^^^^ [INFO] [stdout] | | [INFO] [stdout] | these values have significant drop implementation and will observe changes in drop order under Edition 2024 [INFO] [stdout] | [INFO] [stdout] = warning: this changes meaning in Rust 2024 [INFO] [stdout] = note: for more information, see issue #123739 [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: these values and local bindings have significant drop implementation that will have a different drop order from that of Edition 2021 [INFO] [stdout] --> src/dl_lite/string_formatter.rs:544:47 [INFO] [stdout] | [INFO] [stdout] 544 | "NOT" => |x: ItemDllite| Some(x.negate()), [INFO] [stdout] | ------------- ^^^^^^^^^^ [INFO] [stdout] | | [INFO] [stdout] | these values have significant drop implementation and will observe changes in drop order under Edition 2024 [INFO] [stdout] | [INFO] [stdout] = warning: this changes meaning in Rust 2024 [INFO] [stdout] = note: for more information, see issue #123739 [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: these values and local bindings have significant drop implementation that will have a different drop order from that of Edition 2021 [INFO] [stdout] --> src/dl_lite/rule.rs:393:66 [INFO] [stdout] | [INFO] [stdout] 393 | let f = |t1: Option, t2: Option| match (t1, t2) { [INFO] [stdout] | --------------------- --------------------- ^^^^^^^^ [INFO] [stdout] | | | [INFO] [stdout] | | these values have significant drop implementation and will observe changes in drop order under Edition 2024 [INFO] [stdout] | these values have significant drop implementation and will observe changes in drop order under Edition 2024 [INFO] [stdout] | [INFO] [stdout] = warning: this changes meaning in Rust 2024 [INFO] [stdout] = note: for more information, see issue #123739 [INFO] [stdout] = note: requested on the command line with `-D tail-expr-drop-order` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: these values and local bindings have significant drop implementation that will have a different drop order from that of Edition 2021 [INFO] [stdout] --> src/dl_lite/string_formatter.rs:480:47 [INFO] [stdout] | [INFO] [stdout] 480 | "NOT" => |x: ItemDllite| Some(x.negate()), [INFO] [stdout] | ------------- ^^^^^^^^^^ [INFO] [stdout] | | [INFO] [stdout] | these values have significant drop implementation and will observe changes in drop order under Edition 2024 [INFO] [stdout] | [INFO] [stdout] = warning: this changes meaning in Rust 2024 [INFO] [stdout] = note: for more information, see issue #123739 [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: these values and local bindings have significant drop implementation that will have a different drop order from that of Edition 2021 [INFO] [stdout] --> src/dl_lite/string_formatter.rs:516:47 [INFO] [stdout] | [INFO] [stdout] 516 | "NOT" => |x: ItemDllite| Some(x.negate()), [INFO] [stdout] | ------------- ^^^^^^^^^^ [INFO] [stdout] | | [INFO] [stdout] | these values have significant drop implementation and will observe changes in drop order under Edition 2024 [INFO] [stdout] | [INFO] [stdout] = warning: this changes meaning in Rust 2024 [INFO] [stdout] = note: for more information, see issue #123739 [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: these values and local bindings have significant drop implementation that will have a different drop order from that of Edition 2021 [INFO] [stdout] --> src/dl_lite/string_formatter.rs:544:47 [INFO] [stdout] | [INFO] [stdout] 544 | "NOT" => |x: ItemDllite| Some(x.negate()), [INFO] [stdout] | ------------- ^^^^^^^^^^ [INFO] [stdout] | | [INFO] [stdout] | these values have significant drop implementation and will observe changes in drop order under Edition 2024 [INFO] [stdout] | [INFO] [stdout] = warning: this changes meaning in Rust 2024 [INFO] [stdout] = note: for more information, see issue #123739 [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: aborting due to 4 previous errors; 20 warnings emitted [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: aborting due to 4 previous errors; 20 warnings emitted [INFO] [stdout] [INFO] [stdout] [INFO] [stderr] error: could not compile `rustoner` (lib test) due to 5 previous errors; 20 warnings emitted [INFO] [stderr] warning: build failed, waiting for other jobs to finish... [INFO] [stderr] error: could not compile `rustoner` (lib) due to 5 previous errors; 20 warnings emitted [INFO] running `Command { std: "docker" "inspect" "36ed93d8d8129850aa0e45aa4a7da40d6c4952aa711eae9c06f4decb33d4dc19", kill_on_drop: false }` [INFO] running `Command { std: "docker" "rm" "-f" "36ed93d8d8129850aa0e45aa4a7da40d6c4952aa711eae9c06f4decb33d4dc19", kill_on_drop: false }` [INFO] [stdout] 36ed93d8d8129850aa0e45aa4a7da40d6c4952aa711eae9c06f4decb33d4dc19