[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#568f6a8641e391ffcdcdb03e79d0901731d8d399 for pr-117164 [INFO] running `Command { std: "git" "clone" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Fhatellezp%2Frustoner" "/workspace/builds/worker-0-tc1/source", kill_on_drop: false }` [INFO] [stderr] Cloning into '/workspace/builds/worker-0-tc1/source'... [INFO] [stderr] done. [INFO] validating manifest of git repo https://github.com/hatellezp/rustoner on toolchain 568f6a8641e391ffcdcdb03e79d0901731d8d399 [INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+568f6a8641e391ffcdcdb03e79d0901731d8d399" "metadata" "--manifest-path" "Cargo.toml" "--no-deps", kill_on_drop: false }` [INFO] started tweaking git repo https://github.com/hatellezp/rustoner [INFO] finished tweaking git repo https://github.com/hatellezp/rustoner [INFO] tweaked toml for git repo https://github.com/hatellezp/rustoner written to /workspace/builds/worker-0-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" "+568f6a8641e391ffcdcdb03e79d0901731d8d399" "fetch" "--manifest-path" "Cargo.toml", kill_on_drop: false }` [INFO] [stderr] Updating crates.io index [INFO] [stderr] Downloading crates ... [INFO] [stderr] Downloaded bzip2 v0.4.2 [INFO] [stderr] Downloaded question v0.2.2 [INFO] [stderr] Downloaded ftp v3.0.1 [INFO] [stderr] Downloaded fftw-src v0.3.3 [INFO] [stderr] Downloaded fftw v0.7.0 [INFO] [stderr] Downloaded fftw-sys v0.6.0 [INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-0-tc1/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-0-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:2788e3201cd34a07e3172128adcd8b3090168a8e3bcc40d7c032b9dda1df7d1c" "/opt/rustwide/cargo-home/bin/cargo" "+568f6a8641e391ffcdcdb03e79d0901731d8d399" "metadata" "--no-deps" "--format-version=1", kill_on_drop: false }` [INFO] [stdout] 057c57e4c8cf1aeea2950a2866ec34a599263ae35f449cc51098d01fbb5f54c0 [INFO] running `Command { std: "docker" "start" "-a" "057c57e4c8cf1aeea2950a2866ec34a599263ae35f449cc51098d01fbb5f54c0", kill_on_drop: false }` [INFO] running `Command { std: "docker" "inspect" "057c57e4c8cf1aeea2950a2866ec34a599263ae35f449cc51098d01fbb5f54c0", kill_on_drop: false }` [INFO] running `Command { std: "docker" "rm" "-f" "057c57e4c8cf1aeea2950a2866ec34a599263ae35f449cc51098d01fbb5f54c0", kill_on_drop: false }` [INFO] [stdout] 057c57e4c8cf1aeea2950a2866ec34a599263ae35f449cc51098d01fbb5f54c0 [INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-0-tc1/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-0-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:2788e3201cd34a07e3172128adcd8b3090168a8e3bcc40d7c032b9dda1df7d1c" "/opt/rustwide/cargo-home/bin/cargo" "+568f6a8641e391ffcdcdb03e79d0901731d8d399" "check" "--frozen" "--all" "--all-targets" "--message-format=json", kill_on_drop: false }` [INFO] [stdout] a04bde737d4121e0630f5b8203ffb3d3e711edbb28c52ee2f967bae122031c3b [INFO] running `Command { std: "docker" "start" "-a" "a04bde737d4121e0630f5b8203ffb3d3e711edbb28c52ee2f967bae122031c3b", kill_on_drop: false }` [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 num-traits v0.2.14 [INFO] [stderr] Compiling winapi-build v0.1.1 [INFO] [stderr] Compiling num-integer v0.1.44 [INFO] [stderr] Compiling version_check v0.9.3 [INFO] [stderr] Compiling kernel32-sys v0.2.2 [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 num-iter v0.1.42 [INFO] [stderr] Compiling quote v1.0.9 [INFO] [stderr] Compiling miniz_oxide v0.4.4 [INFO] [stderr] Compiling serde v1.0.126 [INFO] [stderr] Compiling crc32fast v1.2.1 [INFO] [stderr] Compiling memchr v0.1.11 [INFO] [stderr] Compiling thread-id v2.0.0 [INFO] [stderr] Compiling time v0.1.43 [INFO] [stderr] Compiling cfg-if v1.0.0 [INFO] [stderr] Compiling adler v1.0.2 [INFO] [stderr] Compiling thread_local v0.2.7 [INFO] [stderr] Compiling aho-corasick v0.5.3 [INFO] [stderr] Compiling bzip2-sys v0.1.10+1.0.8 [INFO] [stderr] Compiling ucd-trie v0.1.3 [INFO] [stderr] Compiling anyhow v1.0.40 [INFO] [stderr] Compiling utf8-ranges v0.1.3 [INFO] [stderr] Compiling regex-syntax v0.3.9 [INFO] [stderr] Compiling pest v2.1.3 [INFO] [stderr] Compiling bitflags v1.2.1 [INFO] [stderr] Compiling num v0.1.42 [INFO] [stderr] Compiling flate2 v1.0.20 [INFO] [stderr] Compiling lazy_static v0.1.16 [INFO] [stderr] Compiling chrono v0.2.25 [INFO] [stderr] Compiling byteorder v1.4.3 [INFO] [stderr] Compiling ryu v1.0.5 [INFO] [stderr] Compiling regex v0.1.80 [INFO] [stderr] Compiling semver-parser v0.10.2 [INFO] [stderr] Checking num-complex v0.3.1 [INFO] [stderr] Checking getrandom v0.2.3 [INFO] [stderr] Compiling bzip2 v0.4.2 [INFO] [stderr] Compiling proc-macro-error-attr v1.0.4 [INFO] [stderr] Checking rawpointer v0.2.1 [INFO] [stderr] Checking unicode-width v0.1.8 [INFO] [stderr] Compiling fs_extra v1.2.0 [INFO] [stderr] Checking rand_core v0.6.2 [INFO] [stderr] Compiling semver v0.11.0 [INFO] [stderr] Compiling proc-macro-error v1.0.4 [INFO] [stderr] Compiling memchr v2.4.0 [INFO] [stderr] Compiling ftp v3.0.1 [INFO] [stderr] Checking itoa v0.4.7 [INFO] [stderr] Compiling typenum v1.13.0 [INFO] [stderr] Compiling serde_json v1.0.64 [INFO] [stderr] Checking ppv-lite86 v0.2.10 [INFO] [stderr] Compiling rustc_version v0.3.3 [INFO] [stderr] Checking crossbeam-deque v0.8.0 [INFO] [stderr] Checking textwrap v0.11.0 [INFO] [stderr] Checking rand_chacha v0.3.0 [INFO] [stderr] Checking num_cpus v1.13.0 [INFO] [stderr] Checking atty v0.2.14 [INFO] [stderr] Compiling generic-array v0.14.4 [INFO] [stderr] Compiling indexmap v1.6.2 [INFO] [stderr] Checking strsim v0.8.0 [INFO] [stderr] Compiling unicode-segmentation v1.7.1 [INFO] [stderr] Checking vec_map v0.8.2 [INFO] [stderr] Checking ansi_term v0.11.0 [INFO] [stderr] Compiling ndarray v0.14.0 [INFO] [stderr] Checking clap v2.33.3 [INFO] [stderr] Compiling heck v0.3.3 [INFO] [stderr] Checking rayon-core v1.9.1 [INFO] [stderr] Checking rand v0.8.3 [INFO] [stderr] Compiling cast v0.2.6 [INFO] [stderr] Checking itertools v0.9.0 [INFO] [stderr] Checking matrixmultiply v0.2.4 [INFO] [stderr] Checking approx v0.4.0 [INFO] [stderr] Checking paw-raw v1.0.0 [INFO] [stderr] Checking hashbrown v0.9.1 [INFO] [stderr] Compiling paste v1.0.5 [INFO] [stderr] Checking rayon v1.5.1 [INFO] [stderr] Checking num-rational v0.3.2 [INFO] [stderr] Checking matrixmultiply v0.3.1 [INFO] [stderr] Checking regex-automata v0.1.10 [INFO] [stderr] Checking simba v0.4.0 [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 petgraph v0.5.1 [INFO] [stderr] Checking tempfile v3.2.0 [INFO] [stderr] Checking plotters-svg v0.3.0 [INFO] [stderr] Checking csv-core v0.1.10 [INFO] [stderr] Checking rand_distr v0.4.1 [INFO] [stderr] Checking pad v0.1.6 [INFO] [stderr] Checking num-complex v0.4.0 [INFO] [stderr] Checking regex-syntax v0.6.25 [INFO] [stderr] Checking roots v0.0.7 [INFO] [stderr] Checking same-file v1.0.6 [INFO] [stderr] Checking question v0.2.2 [INFO] [stderr] Checking exitcode v1.1.2 [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] 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 regex v1.5.4 [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`, `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`, `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_i` [INFO] [stdout] --> src/dl_lite/abox.rs:437:26 [INFO] [stdout] | [INFO] [stdout] 437 | for (abiq_i, its_ref_i) in &inner_refs { [INFO] [stdout] | ^^^^^^^^^ help: if this is intentional, prefix it with an underscore: `_its_ref_i` [INFO] [stdout] | [INFO] [stdout] = note: `#[warn(unused_variables)]` on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `its_ref_j` [INFO] [stdout] --> src/dl_lite/abox.rs:455:34 [INFO] [stdout] | [INFO] [stdout] 455 | for (abiq_j, its_ref_j) in &inner_refs { [INFO] [stdout] | ^^^^^^^^^ help: if this is intentional, prefix it with an underscore: `_its_ref_j` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `its_ref_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: 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 `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_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: 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_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 `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 `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_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 `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_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 `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: 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`, `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: unused imports: `Arc`, `Mutex` [INFO] [stdout] --> src/alg_math/bounds.rs:48:17 [INFO] [stdout] | [INFO] [stdout] 48 | use std::sync::{Arc, Mutex}; [INFO] [stdout] | ^^^ ^^^^^ [INFO] [stdout] | [INFO] [stdout] = note: `#[warn(unused_imports)]` on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `std::time::Instant` [INFO] [stdout] --> src/alg_math/bounds.rs:49:5 [INFO] [stdout] | [INFO] [stdout] 49 | use std::time::Instant; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unnecessary parentheses around match arm expression [INFO] [stdout] --> src/alg_math/polynomial_roots.rs:194:33 [INFO] [stdout] | [INFO] [stdout] 194 | Roots::Two(root) => (root[0].max(root[1])), [INFO] [stdout] | ^ ^ [INFO] [stdout] | [INFO] [stdout] = note: `#[warn(unused_parens)]` on by default [INFO] [stdout] help: remove these parentheses [INFO] [stdout] | [INFO] [stdout] 194 - Roots::Two(root) => (root[0].max(root[1])), [INFO] [stdout] 194 + Roots::Two(root) => root[0].max(root[1]), [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unnecessary parentheses around match arm expression [INFO] [stdout] --> src/alg_math/polynomial_roots.rs:195:35 [INFO] [stdout] | [INFO] [stdout] 195 | Roots::Three(root) => (root[0].max(root[1].max(root[2]))), [INFO] [stdout] | ^ ^ [INFO] [stdout] | [INFO] [stdout] help: remove these parentheses [INFO] [stdout] | [INFO] [stdout] 195 - Roots::Three(root) => (root[0].max(root[1].max(root[2]))), [INFO] [stdout] 195 + Roots::Three(root) => root[0].max(root[1].max(root[2])), [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unnecessary parentheses around match arm expression [INFO] [stdout] --> src/alg_math/polynomial_roots.rs:226:33 [INFO] [stdout] | [INFO] [stdout] 226 | Roots::Two(root) => (root[0].max(root[1])), [INFO] [stdout] | ^ ^ [INFO] [stdout] | [INFO] [stdout] help: remove these parentheses [INFO] [stdout] | [INFO] [stdout] 226 - Roots::Two(root) => (root[0].max(root[1])), [INFO] [stdout] 226 + Roots::Two(root) => root[0].max(root[1]), [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unnecessary parentheses around match arm expression [INFO] [stdout] --> src/alg_math/polynomial_roots.rs:227:35 [INFO] [stdout] | [INFO] [stdout] 227 | Roots::Three(root) => (root[0].max(root[1].max(root[2]))), [INFO] [stdout] | ^ ^ [INFO] [stdout] | [INFO] [stdout] help: remove these parentheses [INFO] [stdout] | [INFO] [stdout] 227 - Roots::Three(root) => (root[0].max(root[1].max(root[2]))), [INFO] [stdout] 227 + Roots::Three(root) => root[0].max(root[1].max(root[2])), [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unnecessary parentheses around match arm expression [INFO] [stdout] --> src/alg_math/polynomial_roots.rs:228:34 [INFO] [stdout] | [INFO] [stdout] 228 | Roots::Four(root) => (root[0].max(root[1].max(root[2].max(root[3])))), [INFO] [stdout] | ^ ^ [INFO] [stdout] | [INFO] [stdout] help: remove these parentheses [INFO] [stdout] | [INFO] [stdout] 228 - Roots::Four(root) => (root[0].max(root[1].max(root[2].max(root[3])))), [INFO] [stdout] 228 + Roots::Four(root) => root[0].max(root[1].max(root[2].max(root[3]))), [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused imports: `UNICODE_BOT`, `UNICODE_TOP` [INFO] [stdout] --> src/kb/types.rs:23:5 [INFO] [stdout] | [INFO] [stdout] 23 | UNICODE_BOT, UNICODE_EXISTS, UNICODE_NEG, UNICODE_RIGHTARROW, UNICODE_SQSUBSETEQ, [INFO] [stdout] | ^^^^^^^^^^^ [INFO] [stdout] 24 | UNICODE_SUBSETEQ, UNICODE_TOP, UNICODE_VEE, UNICODE_WEDGE, [INFO] [stdout] | ^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unnecessary parentheses around match arm expression [INFO] [stdout] --> src/alg_math/polynomial_roots.rs:194:33 [INFO] [stdout] | [INFO] [stdout] 194 | Roots::Two(root) => (root[0].max(root[1])), [INFO] [stdout] | ^ ^ [INFO] [stdout] | [INFO] [stdout] = note: `#[warn(unused_parens)]` on by default [INFO] [stdout] help: remove these parentheses [INFO] [stdout] | [INFO] [stdout] 194 - Roots::Two(root) => (root[0].max(root[1])), [INFO] [stdout] 194 + Roots::Two(root) => root[0].max(root[1]), [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unnecessary parentheses around match arm expression [INFO] [stdout] --> src/alg_math/polynomial_roots.rs:195:35 [INFO] [stdout] | [INFO] [stdout] 195 | Roots::Three(root) => (root[0].max(root[1].max(root[2]))), [INFO] [stdout] | ^ ^ [INFO] [stdout] | [INFO] [stdout] help: remove these parentheses [INFO] [stdout] | [INFO] [stdout] 195 - Roots::Three(root) => (root[0].max(root[1].max(root[2]))), [INFO] [stdout] 195 + Roots::Three(root) => root[0].max(root[1].max(root[2])), [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unnecessary parentheses around match arm expression [INFO] [stdout] --> src/alg_math/polynomial_roots.rs:226:33 [INFO] [stdout] | [INFO] [stdout] 226 | Roots::Two(root) => (root[0].max(root[1])), [INFO] [stdout] | ^ ^ [INFO] [stdout] | [INFO] [stdout] help: remove these parentheses [INFO] [stdout] | [INFO] [stdout] 226 - Roots::Two(root) => (root[0].max(root[1])), [INFO] [stdout] 226 + Roots::Two(root) => root[0].max(root[1]), [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unnecessary parentheses around match arm expression [INFO] [stdout] --> src/alg_math/polynomial_roots.rs:227:35 [INFO] [stdout] | [INFO] [stdout] 227 | Roots::Three(root) => (root[0].max(root[1].max(root[2]))), [INFO] [stdout] | ^ ^ [INFO] [stdout] | [INFO] [stdout] help: remove these parentheses [INFO] [stdout] | [INFO] [stdout] 227 - Roots::Three(root) => (root[0].max(root[1].max(root[2]))), [INFO] [stdout] 227 + Roots::Three(root) => root[0].max(root[1].max(root[2])), [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unnecessary parentheses around match arm expression [INFO] [stdout] --> src/alg_math/polynomial_roots.rs:228:34 [INFO] [stdout] | [INFO] [stdout] 228 | Roots::Four(root) => (root[0].max(root[1].max(root[2].max(root[3])))), [INFO] [stdout] | ^ ^ [INFO] [stdout] | [INFO] [stdout] help: remove these parentheses [INFO] [stdout] | [INFO] [stdout] 228 - Roots::Four(root) => (root[0].max(root[1].max(root[2].max(root[3])))), [INFO] [stdout] 228 + Roots::Four(root) => root[0].max(root[1].max(root[2].max(root[3]))), [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused imports: `UNICODE_BOT`, `UNICODE_TOP` [INFO] [stdout] --> src/kb/types.rs:23:5 [INFO] [stdout] | [INFO] [stdout] 23 | UNICODE_BOT, UNICODE_EXISTS, UNICODE_NEG, UNICODE_RIGHTARROW, UNICODE_SQSUBSETEQ, [INFO] [stdout] | ^^^^^^^^^^^ [INFO] [stdout] 24 | UNICODE_SUBSETEQ, UNICODE_TOP, UNICODE_VEE, UNICODE_WEDGE, [INFO] [stdout] | ^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: value assigned to `prov_scale` is never read [INFO] [stdout] --> src/alg_math/bounds.rs:98:17 [INFO] [stdout] | [INFO] [stdout] 98 | let mut prov_scale: f64 = 1.; // the matrix need to be scaled, we begin at 1 [INFO] [stdout] | ^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = 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: value assigned to `possible_coeff_real` is never read [INFO] [stdout] --> src/alg_math/polynomial_roots.rs:38:13 [INFO] [stdout] | [INFO] [stdout] 38 | let mut possible_coeff_real = tolerance / 2.; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = help: maybe it is overwritten before being read? [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `its_ref_i` [INFO] [stdout] --> src/dl_lite/abox.rs:437:26 [INFO] [stdout] | [INFO] [stdout] 437 | for (abiq_i, its_ref_i) in &inner_refs { [INFO] [stdout] | ^^^^^^^^^ help: if this is intentional, prefix it with an underscore: `_its_ref_i` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `its_ref_j` [INFO] [stdout] --> src/dl_lite/abox.rs:455:34 [INFO] [stdout] | [INFO] [stdout] 455 | for (abiq_j, its_ref_j) in &inner_refs { [INFO] [stdout] | ^^^^^^^^^ help: if this is intentional, prefix it with an underscore: `_its_ref_j` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variable does not need to be mutable [INFO] [stdout] --> src/dl_lite/abox.rs:412:13 [INFO] [stdout] | [INFO] [stdout] 412 | let mut contradictions: Option, Vec<&AbiqDllite>)>> = None; [INFO] [stdout] | ----^^^^^^^^^^^^^^ [INFO] [stdout] | | [INFO] [stdout] | help: remove this `mut` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: value assigned to `is_already_treated` is never read [INFO] [stdout] --> src/dl_lite/abox.rs:844:17 [INFO] [stdout] | [INFO] [stdout] 844 | is_already_treated = false; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = help: maybe it is overwritten before being read? [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `its_ref_i` [INFO] [stdout] --> src/dl_lite/abox.rs:437:26 [INFO] [stdout] | [INFO] [stdout] 437 | for (abiq_i, its_ref_i) in &inner_refs { [INFO] [stdout] | ^^^^^^^^^ help: if this is intentional, prefix it with an underscore: `_its_ref_i` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `its_ref_j` [INFO] [stdout] --> src/dl_lite/abox.rs:455:34 [INFO] [stdout] | [INFO] [stdout] 455 | for (abiq_j, its_ref_j) in &inner_refs { [INFO] [stdout] | ^^^^^^^^^ help: if this is intentional, prefix it with an underscore: `_its_ref_j` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variable does not need to be mutable [INFO] [stdout] --> src/dl_lite/abox.rs:412:13 [INFO] [stdout] | [INFO] [stdout] 412 | let mut contradictions: Option, Vec<&AbiqDllite>)>> = None; [INFO] [stdout] | ----^^^^^^^^^^^^^^ [INFO] [stdout] | | [INFO] [stdout] | help: remove this `mut` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: value assigned to `is_already_treated` is never read [INFO] [stdout] --> src/dl_lite/abox.rs:844:17 [INFO] [stdout] | [INFO] [stdout] 844 | is_already_treated = false; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = help: maybe it is overwritten before being read? [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: value assigned to `lside_result1` is never read [INFO] [stdout] --> src/dl_lite/string_formatter.rs:163:21 [INFO] [stdout] | [INFO] [stdout] 163 | let mut lside_result1 = invalid_data_result("not done yet"); [INFO] [stdout] | ^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = help: maybe it is overwritten before being read? [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: value assigned to `rside_result1` is never read [INFO] [stdout] --> src/dl_lite/string_formatter.rs:164:21 [INFO] [stdout] | [INFO] [stdout] 164 | let mut rside_result1 = invalid_data_result("not done yet"); [INFO] [stdout] | ^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = help: maybe it is overwritten before being read? [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: value assigned to `lside_result2` is never read [INFO] [stdout] --> src/dl_lite/string_formatter.rs:165:21 [INFO] [stdout] | [INFO] [stdout] 165 | let mut lside_result2 = invalid_data_result("not done yet"); [INFO] [stdout] | ^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = help: maybe it is overwritten before being read? [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: value assigned to `rside_result2` is never read [INFO] [stdout] --> src/dl_lite/string_formatter.rs:166:21 [INFO] [stdout] | [INFO] [stdout] 166 | let mut rside_result2 = invalid_data_result("not done yet"); [INFO] [stdout] | ^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = help: maybe it is overwritten before being read? [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: value assigned to `lside_result1` is never read [INFO] [stdout] --> src/dl_lite/string_formatter.rs:163:21 [INFO] [stdout] | [INFO] [stdout] 163 | let mut lside_result1 = invalid_data_result("not done yet"); [INFO] [stdout] | ^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = help: maybe it is overwritten before being read? [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: value assigned to `rside_result1` is never read [INFO] [stdout] --> src/dl_lite/string_formatter.rs:164:21 [INFO] [stdout] | [INFO] [stdout] 164 | let mut rside_result1 = invalid_data_result("not done yet"); [INFO] [stdout] | ^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = help: maybe it is overwritten before being read? [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: value assigned to `lside_result2` is never read [INFO] [stdout] --> src/dl_lite/string_formatter.rs:165:21 [INFO] [stdout] | [INFO] [stdout] 165 | let mut lside_result2 = invalid_data_result("not done yet"); [INFO] [stdout] | ^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = help: maybe it is overwritten before being read? [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: value assigned to `rside_result2` is never read [INFO] [stdout] --> src/dl_lite/string_formatter.rs:166:21 [INFO] [stdout] | [INFO] [stdout] 166 | let mut rside_result2 = invalid_data_result("not done yet"); [INFO] [stdout] | ^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = help: maybe it is overwritten before being read? [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: value assigned to `is_already_treated` is never read [INFO] [stdout] --> src/dl_lite/tbox.rs:351:17 [INFO] [stdout] | [INFO] [stdout] 351 | is_already_treated = false; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = help: maybe it is overwritten before being read? [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: value assigned to `is_already_treated` is never read [INFO] [stdout] --> src/dl_lite/tbox.rs:351:17 [INFO] [stdout] | [INFO] [stdout] 351 | is_already_treated = false; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = help: maybe it is overwritten before being read? [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `use_concurrency` [INFO] [stdout] --> src/tasks.rs:645:9 [INFO] [stdout] | [INFO] [stdout] 645 | let use_concurrency = false; [INFO] [stdout] | ^^^^^^^^^^^^^^^ help: if this is intentional, prefix it with an underscore: `_use_concurrency` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: fields `filter_index` and `case_counter` are never read [INFO] [stdout] --> src/alg_math/matrix_building.rs:56:5 [INFO] [stdout] | [INFO] [stdout] 51 | pub struct Filter { [INFO] [stdout] | ------ fields in this struct [INFO] [stdout] ... [INFO] [stdout] 56 | filter_index: usize, [INFO] [stdout] | ^^^^^^^^^^^^ [INFO] [stdout] ... [INFO] [stdout] 59 | case_counter: (usize, usize, usize, usize), [INFO] [stdout] | ^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = note: `#[warn(dead_code)]` on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: field `credibility_function` is never read [INFO] [stdout] --> src/alg_math/matrix_building.rs:64:5 [INFO] [stdout] | [INFO] [stdout] 63 | pub struct Credibility { [INFO] [stdout] | ----------- field in this struct [INFO] [stdout] 64 | credibility_function: HashMap, [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = note: `Credibility` has a derived impl for the trait `Debug`, but this is intentionally ignored during dead code analysis [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: field `indicator` is never read [INFO] [stdout] --> src/alg_math/matrix_building.rs:70:5 [INFO] [stdout] | [INFO] [stdout] 68 | pub struct Indicator { [INFO] [stdout] | --------- field in this struct [INFO] [stdout] 69 | // I(id of B, index of alpha) -> (value of I, index of betas in B) [INFO] [stdout] 70 | indicator: HashMap<(usize, usize, usize), i8>, [INFO] [stdout] | ^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = note: `Indicator` has a derived impl for the trait `Debug`, but this is intentionally ignored during dead code analysis [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: struct `Builder` is never constructed [INFO] [stdout] --> src/alg_math/matrix_building.rs:72:12 [INFO] [stdout] | [INFO] [stdout] 72 | pub struct Builder { [INFO] [stdout] | ^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: 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: 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: fields `filter_index` and `case_counter` are never read [INFO] [stdout] --> src/alg_math/matrix_building.rs:56:5 [INFO] [stdout] | [INFO] [stdout] 51 | pub struct Filter { [INFO] [stdout] | ------ fields in this struct [INFO] [stdout] ... [INFO] [stdout] 56 | filter_index: usize, [INFO] [stdout] | ^^^^^^^^^^^^ [INFO] [stdout] ... [INFO] [stdout] 59 | case_counter: (usize, usize, usize, usize), [INFO] [stdout] | ^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = note: `#[warn(dead_code)]` on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: field `credibility_function` is never read [INFO] [stdout] --> src/alg_math/matrix_building.rs:64:5 [INFO] [stdout] | [INFO] [stdout] 63 | pub struct Credibility { [INFO] [stdout] | ----------- field in this struct [INFO] [stdout] 64 | credibility_function: HashMap, [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = note: `Credibility` has a derived impl for the trait `Debug`, but this is intentionally ignored during dead code analysis [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: field `indicator` is never read [INFO] [stdout] --> src/alg_math/matrix_building.rs:70:5 [INFO] [stdout] | [INFO] [stdout] 68 | pub struct Indicator { [INFO] [stdout] | --------- field in this struct [INFO] [stdout] 69 | // I(id of B, index of alpha) -> (value of I, index of betas in B) [INFO] [stdout] 70 | indicator: HashMap<(usize, usize, usize), i8>, [INFO] [stdout] | ^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = note: `Indicator` has a derived impl for the trait `Debug`, but this is intentionally ignored during dead code analysis [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: struct `Builder` is never constructed [INFO] [stdout] --> src/alg_math/matrix_building.rs:72:12 [INFO] [stdout] | [INFO] [stdout] 72 | pub struct Builder { [INFO] [stdout] | ^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: 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: 61 warnings emitted [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: 61 warnings emitted [INFO] [stdout] [INFO] [stdout] [INFO] [stderr] Finished dev [unoptimized + debuginfo] target(s) in 1m 25s [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" "a04bde737d4121e0630f5b8203ffb3d3e711edbb28c52ee2f967bae122031c3b", kill_on_drop: false }` [INFO] running `Command { std: "docker" "rm" "-f" "a04bde737d4121e0630f5b8203ffb3d3e711edbb28c52ee2f967bae122031c3b", kill_on_drop: false }` [INFO] [stdout] a04bde737d4121e0630f5b8203ffb3d3e711edbb28c52ee2f967bae122031c3b [INFO] checking hatellezp/rustoner against try#eb3956d47f58f1c7c0a5694b1d3401945bc41dce for pr-117164 [INFO] running `Command { std: "git" "clone" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Fhatellezp%2Frustoner" "/workspace/builds/worker-0-tc2/source", kill_on_drop: false }` [INFO] [stderr] Cloning into '/workspace/builds/worker-0-tc2/source'... [INFO] [stderr] done. [INFO] validating manifest of git repo https://github.com/hatellezp/rustoner on toolchain eb3956d47f58f1c7c0a5694b1d3401945bc41dce [INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+eb3956d47f58f1c7c0a5694b1d3401945bc41dce" "metadata" "--manifest-path" "Cargo.toml" "--no-deps", kill_on_drop: false }` [INFO] started tweaking git repo https://github.com/hatellezp/rustoner [INFO] finished tweaking git repo https://github.com/hatellezp/rustoner [INFO] tweaked toml for git repo https://github.com/hatellezp/rustoner written to /workspace/builds/worker-0-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" "+eb3956d47f58f1c7c0a5694b1d3401945bc41dce" "fetch" "--manifest-path" "Cargo.toml", kill_on_drop: false }` [INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-0-tc2/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-0-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:2788e3201cd34a07e3172128adcd8b3090168a8e3bcc40d7c032b9dda1df7d1c" "/opt/rustwide/cargo-home/bin/cargo" "+eb3956d47f58f1c7c0a5694b1d3401945bc41dce" "metadata" "--no-deps" "--format-version=1", kill_on_drop: false }` [INFO] [stdout] ad6b7bc0fcbb7dee1bb3e1543f77ef67a5228964523f893e05d5aa08b004b511 [INFO] running `Command { std: "docker" "start" "-a" "ad6b7bc0fcbb7dee1bb3e1543f77ef67a5228964523f893e05d5aa08b004b511", kill_on_drop: false }` [INFO] running `Command { std: "docker" "inspect" "ad6b7bc0fcbb7dee1bb3e1543f77ef67a5228964523f893e05d5aa08b004b511", kill_on_drop: false }` [INFO] running `Command { std: "docker" "rm" "-f" "ad6b7bc0fcbb7dee1bb3e1543f77ef67a5228964523f893e05d5aa08b004b511", kill_on_drop: false }` [INFO] [stdout] ad6b7bc0fcbb7dee1bb3e1543f77ef67a5228964523f893e05d5aa08b004b511 [INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-0-tc2/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-0-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" "-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:2788e3201cd34a07e3172128adcd8b3090168a8e3bcc40d7c032b9dda1df7d1c" "/opt/rustwide/cargo-home/bin/cargo" "+eb3956d47f58f1c7c0a5694b1d3401945bc41dce" "check" "--frozen" "--all" "--all-targets" "--message-format=json", kill_on_drop: false }` [INFO] [stdout] 787adbe4036b976bb011f5ba8fcb972f268a10676cf5a784d6f0448d8bad9260 [INFO] running `Command { std: "docker" "start" "-a" "787adbe4036b976bb011f5ba8fcb972f268a10676cf5a784d6f0448d8bad9260", kill_on_drop: false }` [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 num-traits v0.2.14 [INFO] [stderr] Compiling winapi-build v0.1.1 [INFO] [stderr] Compiling num-integer v0.1.44 [INFO] [stderr] Compiling version_check v0.9.3 [INFO] [stderr] Compiling kernel32-sys v0.2.2 [INFO] [stderr] Compiling cc v1.0.68 [INFO] [stderr] Compiling serde_derive v1.0.126 [INFO] [stderr] Compiling winapi v0.2.8 [INFO] [stderr] Compiling pkg-config v0.3.19 [INFO] [stderr] Compiling quote v1.0.9 [INFO] [stderr] Compiling num-iter v0.1.42 [INFO] [stderr] Compiling miniz_oxide v0.4.4 [INFO] [stderr] Compiling serde v1.0.126 [INFO] [stderr] Compiling crc32fast v1.2.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] Compiling adler v1.0.2 [INFO] [stderr] Compiling cfg-if v1.0.0 [INFO] [stderr] Compiling aho-corasick v0.5.3 [INFO] [stderr] Compiling bzip2-sys v0.1.10+1.0.8 [INFO] [stderr] Compiling thread_local v0.2.7 [INFO] [stderr] Compiling regex-syntax v0.3.9 [INFO] [stderr] Compiling ucd-trie v0.1.3 [INFO] [stderr] Compiling utf8-ranges v0.1.3 [INFO] [stderr] Compiling anyhow v1.0.40 [INFO] [stderr] Compiling pest v2.1.3 [INFO] [stderr] Compiling flate2 v1.0.20 [INFO] [stderr] Compiling num v0.1.42 [INFO] [stderr] Compiling bitflags v1.2.1 [INFO] [stderr] Compiling chrono v0.2.25 [INFO] [stderr] Compiling byteorder v1.4.3 [INFO] [stderr] Compiling regex v0.1.80 [INFO] [stderr] Compiling lazy_static v0.1.16 [INFO] [stderr] Compiling ryu v1.0.5 [INFO] [stderr] Compiling semver-parser v0.10.2 [INFO] [stderr] Compiling bzip2 v0.4.2 [INFO] [stderr] Checking num-complex v0.3.1 [INFO] [stderr] Checking getrandom v0.2.3 [INFO] [stderr] Compiling proc-macro-error-attr v1.0.4 [INFO] [stderr] Checking unicode-width v0.1.8 [INFO] [stderr] Checking rawpointer v0.2.1 [INFO] [stderr] Compiling fs_extra v1.2.0 [INFO] [stderr] Checking rand_core v0.6.2 [INFO] [stderr] Compiling semver v0.11.0 [INFO] [stderr] Compiling proc-macro-error v1.0.4 [INFO] [stderr] Compiling ftp v3.0.1 [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 rustc_version v0.3.3 [INFO] [stderr] Checking rand_chacha v0.3.0 [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] Compiling generic-array v0.14.4 [INFO] [stderr] Compiling indexmap v1.6.2 [INFO] [stderr] Checking strsim v0.8.0 [INFO] [stderr] Checking vec_map v0.8.2 [INFO] [stderr] Checking ansi_term v0.11.0 [INFO] [stderr] Compiling ndarray v0.14.0 [INFO] [stderr] Compiling unicode-segmentation v1.7.1 [INFO] [stderr] Checking clap v2.33.3 [INFO] [stderr] Checking rayon-core v1.9.1 [INFO] [stderr] Compiling cast v0.2.6 [INFO] [stderr] Checking rand v0.8.3 [INFO] [stderr] Compiling heck v0.3.3 [INFO] [stderr] Checking matrixmultiply v0.2.4 [INFO] [stderr] Checking itertools v0.9.0 [INFO] [stderr] Checking approx v0.4.0 [INFO] [stderr] Checking hashbrown v0.9.1 [INFO] [stderr] Compiling paste v1.0.5 [INFO] [stderr] Checking paw-raw v1.0.0 [INFO] [stderr] Checking rayon v1.5.1 [INFO] [stderr] Checking num-rational v0.3.2 [INFO] [stderr] Checking matrixmultiply v0.3.1 [INFO] [stderr] Checking simba v0.4.0 [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 remove_dir_all v0.5.3 [INFO] [stderr] Checking plotters-svg v0.3.0 [INFO] [stderr] Checking tempfile v3.2.0 [INFO] [stderr] Checking petgraph v0.5.1 [INFO] [stderr] Checking csv-core v0.1.10 [INFO] [stderr] Checking rand_distr v0.4.1 [INFO] [stderr] Checking pad v0.1.6 [INFO] [stderr] Checking num-complex v0.4.0 [INFO] [stderr] Checking exitcode v1.1.2 [INFO] [stderr] Checking same-file v1.0.6 [INFO] [stderr] Checking question v0.2.2 [INFO] [stderr] Checking roots v0.0.7 [INFO] [stderr] Checking half v1.7.1 [INFO] [stderr] Checking regex-syntax v0.6.25 [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] 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 regex v1.5.4 [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] thread 'rustc' panicked at /rustc/eb3956d47f58f1c7c0a5694b1d3401945bc41dce/compiler/rustc_errors/src/lib.rs:1113:75: [INFO] [stdout] error: internal compiler error: compiler/rustc_trait_selection/src/traits/coherence.rs:806:9: can't orphan check a trait ref with both params and inference variables <_ as generic_array::ArrayLength> [INFO] [stdout] [INFO] [stdout] [INFO] [stderr] Box [INFO] [stderr] stack backtrace: [INFO] [stderr] 0: 0x7f7ad8f8b45c - std::backtrace_rs::backtrace::libunwind::trace::h9842b9d675b92006 [INFO] [stderr] at /rustc/eb3956d47f58f1c7c0a5694b1d3401945bc41dce/library/std/src/../../backtrace/src/backtrace/libunwind.rs:104:5 [INFO] [stderr] 1: 0x7f7ad8f8b45c - std::backtrace_rs::backtrace::trace_unsynchronized::hd0a28db86482f5f2 [INFO] [stderr] at /rustc/eb3956d47f58f1c7c0a5694b1d3401945bc41dce/library/std/src/../../backtrace/src/backtrace/mod.rs:66:5 [INFO] [stderr] 2: 0x7f7ad8f8b45c - std::sys_common::backtrace::_print_fmt::h4da8f019d2292968 [INFO] [stderr] at /rustc/eb3956d47f58f1c7c0a5694b1d3401945bc41dce/library/std/src/sys_common/backtrace.rs:68:5 [INFO] [stderr] 3: 0x7f7ad8f8b45c - ::fmt::hb25436495775e0c7 [INFO] [stderr] at /rustc/eb3956d47f58f1c7c0a5694b1d3401945bc41dce/library/std/src/sys_common/backtrace.rs:44:22 [INFO] [stderr] 4: 0x7f7ad8fde4a0 - core::fmt::rt::Argument::fmt::h88ed20e36ee1a321 [INFO] [stderr] at /rustc/eb3956d47f58f1c7c0a5694b1d3401945bc41dce/library/core/src/fmt/rt.rs:142:9 [INFO] [stderr] 5: 0x7f7ad8fde4a0 - core::fmt::write::h5b01c1fe424b3a57 [INFO] [stderr] at /rustc/eb3956d47f58f1c7c0a5694b1d3401945bc41dce/library/core/src/fmt/mod.rs:1120:17 [INFO] [stderr] 6: 0x7f7ad8f7f2bf - std::io::Write::write_fmt::h97b835339435145a [INFO] [stderr] at /rustc/eb3956d47f58f1c7c0a5694b1d3401945bc41dce/library/std/src/io/mod.rs:1810:15 [INFO] [stderr] 7: 0x7f7ad8f8b244 - std::sys_common::backtrace::_print::h93e76507fd4e0e35 [INFO] [stderr] at /rustc/eb3956d47f58f1c7c0a5694b1d3401945bc41dce/library/std/src/sys_common/backtrace.rs:47:5 [INFO] [stderr] 8: 0x7f7ad8f8b244 - std::sys_common::backtrace::print::h91cd271153833165 [INFO] [stderr] at /rustc/eb3956d47f58f1c7c0a5694b1d3401945bc41dce/library/std/src/sys_common/backtrace.rs:34:9 [INFO] [stderr] 9: 0x7f7ad8f8ded7 - std::panicking::default_hook::{{closure}}::h0a7cebca39f81ef6 [INFO] [stderr] 10: 0x7f7ad8f8dc3f - std::panicking::default_hook::h9af3d9fb49b5d3fa [INFO] [stderr] at /rustc/eb3956d47f58f1c7c0a5694b1d3401945bc41dce/library/std/src/panicking.rs:292:9 [INFO] [stderr] 11: 0x7f7adbcf4410 - std[70adfe3cb0d322ac]::panicking::update_hook::>::{closure#0} [INFO] [stderr] 12: 0x7f7ad8f8e618 - as core::ops::function::Fn>::call::he9fcbcc96ad83dbd [INFO] [stderr] at /rustc/eb3956d47f58f1c7c0a5694b1d3401945bc41dce/library/alloc/src/boxed.rs:2029:9 [INFO] [stderr] 13: 0x7f7ad8f8e618 - std::panicking::rust_panic_with_hook::h12a891e08b5c1a3b [INFO] [stderr] at /rustc/eb3956d47f58f1c7c0a5694b1d3401945bc41dce/library/std/src/panicking.rs:783:13 [INFO] [stderr] 14: 0x7f7adbd2c864 - std[70adfe3cb0d322ac]::panicking::begin_panic::::{closure#0} [INFO] [stderr] 15: 0x7f7adbd28cf6 - std[70adfe3cb0d322ac]::sys_common::backtrace::__rust_end_short_backtrace::::{closure#0}, !> [INFO] [stderr] 16: 0x7f7adbd24036 - std[70adfe3cb0d322ac]::panicking::begin_panic:: [INFO] [stderr] 17: 0x7f7adbd37b39 - ::diagnostic_builder_emit_producing_guarantee [INFO] [stderr] 18: 0x7f7adc1194c5 - ::bug:: [INFO] [stderr] 19: 0x7f7adc1b644d - rustc_middle[f0bb88c0811a983c]::util::bug::opt_span_bug_fmt::::{closure#0} [INFO] [stderr] 20: 0x7f7adc19dbaa - rustc_middle[f0bb88c0811a983c]::ty::context::tls::with_opt::::{closure#0}, !>::{closure#0} [INFO] [stderr] 21: 0x7f7adc19da28 - rustc_middle[f0bb88c0811a983c]::ty::context::tls::with_context_opt::::{closure#0}, !>::{closure#0}, !> [INFO] [stderr] 22: 0x7f7ada151fc0 - rustc_middle[f0bb88c0811a983c]::util::bug::bug_fmt [INFO] [stderr] 23: 0x7f7add8c2241 - rustc_trait_selection[bc7f1d3f6635e812]::traits::coherence::orphan_check_trait_ref::::is_knowable::{closure#0}> [INFO] [stderr] 24: 0x7f7add6a5135 - ::candidate_from_obligation_no_cache [INFO] [stderr] 25: 0x7f7adacd1791 - ::candidate_from_obligation [INFO] [stderr] 26: 0x7f7adda1b1c1 - ::evaluate_trait_predicate_recursively [INFO] [stderr] 27: 0x7f7adda76dfa - ::evaluate_candidate [INFO] [stderr] 28: 0x7f7add6a428f - ::candidate_from_obligation_no_cache [INFO] [stderr] 29: 0x7f7ada13023c - ::poly_select [INFO] [stderr] 30: 0x7f7add2a5745 - rustc_trait_selection[bc7f1d3f6635e812]::traits::project::opt_normalize_projection_type [INFO] [stderr] 31: 0x7f7add2a36f8 - >::fold_ty [INFO] [stderr] 32: 0x7f7add75d67e - >::try_super_fold_with:: [INFO] [stderr] 33: 0x7f7add75879e - ::normalize:: [INFO] [stderr] 34: 0x7f7add69bc67 - rustc_trait_selection[bc7f1d3f6635e812]::traits::coherence::orphan_check::{closure#0}::{closure#0} [INFO] [stderr] 35: 0x7f7add69ba59 - as rustc_type_ir[f3814c44cb2f2fa3]::visit::TypeVisitor>::visit_ty [INFO] [stderr] 36: 0x7f7adb314cf7 - rustc_trait_selection[bc7f1d3f6635e812]::traits::coherence::orphan_check [INFO] [stderr] 37: 0x7f7add10f0f2 - rustc_hir_analysis[4a1be57df639846d]::coherence::orphan::orphan_check_impl [INFO] [stderr] 38: 0x7f7add10f013 - rustc_query_impl[3984cb197e6ffb6]::plumbing::__rust_begin_short_backtrace::> [INFO] [stderr] 39: 0x7f7add3914da - rustc_query_system[417f1e0ce84d95f1]::query::plumbing::try_execute_query::>, false, false, false>, rustc_query_impl[3984cb197e6ffb6]::plumbing::QueryCtxt, false> [INFO] [stderr] 40: 0x7f7add3910dd - rustc_query_impl[3984cb197e6ffb6]::query_impl::orphan_check_impl::get_query_non_incr::__rust_end_short_backtrace [INFO] [stderr] 41: 0x7f7add10aafe - rustc_hir_analysis[4a1be57df639846d]::coherence::coherent_trait [INFO] [stderr] 42: 0x7f7add10a66f - rustc_query_impl[3984cb197e6ffb6]::plumbing::__rust_begin_short_backtrace::> [INFO] [stderr] 43: 0x7f7adda4af3d - rustc_query_system[417f1e0ce84d95f1]::query::plumbing::try_execute_query::>, false, false, false>, rustc_query_impl[3984cb197e6ffb6]::plumbing::QueryCtxt, false> [INFO] [stderr] 44: 0x7f7adda4accd - rustc_query_impl[3984cb197e6ffb6]::query_impl::coherent_trait::get_query_non_incr::__rust_end_short_backtrace [INFO] [stderr] 45: 0x7f7add8a912a - rustc_hir_analysis[4a1be57df639846d]::check_crate [INFO] [stderr] 46: 0x7f7add8875a2 - rustc_interface[6612a71c619b686]::passes::analysis [INFO] [stderr] 47: 0x7f7add8871dd - rustc_query_impl[3984cb197e6ffb6]::plumbing::__rust_begin_short_backtrace::> [INFO] [stderr] 48: 0x7f7addcda140 - rustc_query_system[417f1e0ce84d95f1]::query::plumbing::try_execute_query::>, false, false, false>, rustc_query_impl[3984cb197e6ffb6]::plumbing::QueryCtxt, false> [INFO] [stderr] 49: 0x7f7addcd9f47 - rustc_query_impl[3984cb197e6ffb6]::query_impl::analysis::get_query_non_incr::__rust_end_short_backtrace [INFO] [stderr] 50: 0x7f7addf74fa2 - rustc_interface[6612a71c619b686]::interface::run_compiler::, rustc_driver_impl[b1895b10883e792e]::run_compiler::{closure#0}>::{closure#0} [INFO] [stderr] 51: 0x7f7addf6868d - std[70adfe3cb0d322ac]::sys_common::backtrace::__rust_begin_short_backtrace::, rustc_driver_impl[b1895b10883e792e]::run_compiler::{closure#0}>::{closure#0}, core[79569687367a61ee]::result::Result<(), rustc_span[4cc6de006395f734]::ErrorGuaranteed>>::{closure#0}, core[79569687367a61ee]::result::Result<(), rustc_span[4cc6de006395f734]::ErrorGuaranteed>>::{closure#0}::{closure#0}, core[79569687367a61ee]::result::Result<(), rustc_span[4cc6de006395f734]::ErrorGuaranteed>> [INFO] [stderr] 52: 0x7f7addf684b7 - <::spawn_unchecked_, rustc_driver_impl[b1895b10883e792e]::run_compiler::{closure#0}>::{closure#0}, core[79569687367a61ee]::result::Result<(), rustc_span[4cc6de006395f734]::ErrorGuaranteed>>::{closure#0}, core[79569687367a61ee]::result::Result<(), rustc_span[4cc6de006395f734]::ErrorGuaranteed>>::{closure#0}::{closure#0}, core[79569687367a61ee]::result::Result<(), rustc_span[4cc6de006395f734]::ErrorGuaranteed>>::{closure#1} as core[79569687367a61ee]::ops::function::FnOnce<()>>::call_once::{shim:vtable#0} [INFO] [stderr] 53: 0x7f7ad8f984a5 - as core::ops::function::FnOnce>::call_once::h7e6cc7939a2bab28 [INFO] [stderr] at /rustc/eb3956d47f58f1c7c0a5694b1d3401945bc41dce/library/alloc/src/boxed.rs:2015:9 [INFO] [stderr] 54: 0x7f7ad8f984a5 - as core::ops::function::FnOnce>::call_once::h17cae45bb0af19c8 [INFO] [stderr] at /rustc/eb3956d47f58f1c7c0a5694b1d3401945bc41dce/library/alloc/src/boxed.rs:2015:9 [INFO] [stderr] 55: 0x7f7ad8f984a5 - std::sys::unix::thread::Thread::new::thread_start::h7ff5405c79cd8c4d [INFO] [stderr] at /rustc/eb3956d47f58f1c7c0a5694b1d3401945bc41dce/library/std/src/sys/unix/thread.rs:108:17 [INFO] [stderr] 56: 0x7f7ad8d4aac3 - [INFO] [stderr] 57: 0x7f7ad8ddbbf4 - __clone [INFO] [stderr] 58: 0x0 - [INFO] [stderr] [INFO] [stderr] note: we would appreciate a bug report: https://github.com/rust-lang/rust/issues/new?labels=C-bug%2C+I-ICE%2C+T-compiler&template=ice.md [INFO] [stderr] [INFO] [stderr] warning: the ICE couldn't be written to `/opt/rustwide/cargo-home/registry/src/index.crates.io-6f17d22bba15001f/nalgebra-0.25.4/rustc-ice-2023-12-08T11_09_25-2190.txt`: Read-only file system (os error 30) [INFO] [stderr] [INFO] [stderr] note: rustc 1.76.0-nightly (eb3956d47 2023-12-07) running on x86_64-unknown-linux-gnu [INFO] [stderr] [INFO] [stderr] note: compiler flags: --crate-type lib -C embed-bitcode=no -C debuginfo=2 [INFO] [stderr] [INFO] [stderr] note: some of the compiler flags provided by cargo are hidden [INFO] [stderr] [INFO] [stderr] query stack during panic: [INFO] [stderr] #0 [orphan_check_impl] checking whether impl `base::ops::` follows the orphan rules [INFO] [stderr] #1 [coherent_trait] coherence checking all impls of trait `core::iter::traits::accum::Sum` [INFO] [stderr] #2 [analysis] running analysis passes on this crate [INFO] [stderr] end of query stack [INFO] [stdout] error: aborting due to 1 previous error [INFO] [stdout] [INFO] [stdout] [INFO] [stderr] error: could not compile `nalgebra` (lib) due to 1 previous error [INFO] [stderr] warning: build failed, waiting for other jobs to finish... [INFO] running `Command { std: "docker" "inspect" "787adbe4036b976bb011f5ba8fcb972f268a10676cf5a784d6f0448d8bad9260", kill_on_drop: false }` [INFO] running `Command { std: "docker" "rm" "-f" "787adbe4036b976bb011f5ba8fcb972f268a10676cf5a784d6f0448d8bad9260", kill_on_drop: false }` [INFO] [stdout] 787adbe4036b976bb011f5ba8fcb972f268a10676cf5a784d6f0448d8bad9260