[INFO] cloning repository https://github.com/spirali/pas [INFO] running `Command { std: "git" "-c" "credential.helper=" "-c" "credential.helper=/workspace/cargo-home/bin/git-credential-null" "clone" "--bare" "https://github.com/spirali/pas" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Fspirali%2Fpas", kill_on_drop: false }` [INFO] [stderr] Cloning into bare repository '/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Fspirali%2Fpas'... [INFO] running `Command { std: "git" "rev-parse" "HEAD", kill_on_drop: false }` [INFO] [stdout] 4d9116dd2fcbb901a6825a4cda8efcf4baea4e21 [INFO] checking spirali/pas against try#c8bdaa84ec1b37f18f30375e196a65b7602f3790 for pr-73345 [INFO] running `Command { std: "git" "clone" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Fspirali%2Fpas" "/workspace/builds/worker-9/source", kill_on_drop: false }` [INFO] [stderr] Cloning into '/workspace/builds/worker-9/source'... [INFO] [stderr] done. [INFO] validating manifest of git repo https://github.com/spirali/pas on toolchain c8bdaa84ec1b37f18f30375e196a65b7602f3790 [INFO] running `Command { std: "/workspace/cargo-home/bin/cargo" "+c8bdaa84ec1b37f18f30375e196a65b7602f3790" "read-manifest" "--manifest-path" "Cargo.toml", kill_on_drop: false }` [INFO] started tweaking git repo https://github.com/spirali/pas [INFO] finished tweaking git repo https://github.com/spirali/pas [INFO] tweaked toml for git repo https://github.com/spirali/pas written to /workspace/builds/worker-9/source/Cargo.toml [INFO] crate git repo https://github.com/spirali/pas already has a lockfile, it will not be regenerated [INFO] running `Command { std: "/workspace/cargo-home/bin/cargo" "+c8bdaa84ec1b37f18f30375e196a65b7602f3790" "fetch" "--locked" "--manifest-path" "Cargo.toml", kill_on_drop: false }` [INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-9/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-9/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" "MAP_USER_ID=0" "-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" "--network" "none" "rustops/crates-build-env@sha256:6c9ffe128752d56c8d75334ed354142a5229917ed99767f56566dd8e857ad726" "/opt/rustwide/cargo-home/bin/cargo" "+c8bdaa84ec1b37f18f30375e196a65b7602f3790" "metadata" "--no-deps" "--format-version=1", kill_on_drop: false }` [INFO] [stderr] WARNING: Your kernel does not support swap limit capabilities or the cgroup is not mounted. Memory limited without swap. [INFO] [stdout] 0fe3d02ea5af884f747ded0fda4dafadbf94c1b1a7e9ea5f3860f7b96d256144 [INFO] running `Command { std: "docker" "start" "-a" "0fe3d02ea5af884f747ded0fda4dafadbf94c1b1a7e9ea5f3860f7b96d256144", kill_on_drop: false }` [INFO] running `Command { std: "docker" "inspect" "0fe3d02ea5af884f747ded0fda4dafadbf94c1b1a7e9ea5f3860f7b96d256144", kill_on_drop: false }` [INFO] running `Command { std: "docker" "rm" "-f" "0fe3d02ea5af884f747ded0fda4dafadbf94c1b1a7e9ea5f3860f7b96d256144", kill_on_drop: false }` [INFO] [stdout] 0fe3d02ea5af884f747ded0fda4dafadbf94c1b1a7e9ea5f3860f7b96d256144 [INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-9/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-9/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" "MAP_USER_ID=0" "-e" "CARGO_TARGET_DIR=/opt/rustwide/target" "-e" "CARGO_INCREMENTAL=0" "-e" "RUST_BACKTRACE=full" "-e" "RUSTFLAGS=--cap-lints=forbid" "-e" "CARGO_HOME=/opt/rustwide/cargo-home" "-e" "RUSTUP_HOME=/opt/rustwide/rustup-home" "-w" "/opt/rustwide/workdir" "-m" "1610612736" "--network" "none" "rustops/crates-build-env@sha256:6c9ffe128752d56c8d75334ed354142a5229917ed99767f56566dd8e857ad726" "/opt/rustwide/cargo-home/bin/cargo" "+c8bdaa84ec1b37f18f30375e196a65b7602f3790" "check" "--frozen" "--all" "--all-targets" "--message-format=json", kill_on_drop: false }` [INFO] [stdout] de5e7edd7965fb74c23a14f790911428ac86f83cc5488f65feacc33350b25ffb [INFO] [stderr] WARNING: Your kernel does not support swap limit capabilities or the cgroup is not mounted. Memory limited without swap. [INFO] running `Command { std: "docker" "start" "-a" "de5e7edd7965fb74c23a14f790911428ac86f83cc5488f65feacc33350b25ffb", kill_on_drop: false }` [INFO] [stderr] sudo: setrlimit(RLIMIT_CORE): Operation not permitted [INFO] [stderr] Compiling unicode-xid v0.2.0 [INFO] [stderr] Compiling bitflags v1.2.1 [INFO] [stderr] Compiling syn v1.0.22 [INFO] [stderr] Compiling libc v0.2.70 [INFO] [stderr] Compiling arrayvec v0.4.12 [INFO] [stderr] Compiling byteorder v1.3.4 [INFO] [stderr] Compiling autocfg v1.0.0 [INFO] [stderr] Checking adler32 v1.0.4 [INFO] [stderr] Compiling unicode-segmentation v1.6.0 [INFO] [stderr] Checking static_assertions v0.3.4 [INFO] [stderr] Checking ahash v0.3.4 [INFO] [stderr] Checking lazy_static v1.4.0 [INFO] [stderr] Checking either v1.5.3 [INFO] [stderr] Checking smallvec v1.4.0 [INFO] [stderr] Checking dot v0.1.4 [INFO] [stderr] Compiling proc-macro-error-attr v1.0.2 [INFO] [stderr] Compiling proc-macro-error v1.0.2 [INFO] [stderr] Compiling nom v5.1.1 [INFO] [stderr] Checking inflate v0.4.5 [INFO] [stderr] Compiling proc-macro2 v1.0.13 [INFO] [stderr] Checking itertools v0.9.0 [INFO] [stderr] Checking crc32fast v1.2.0 [INFO] [stderr] Compiling lexical-core v0.6.7 [INFO] [stderr] Compiling hashbrown v0.7.2 [INFO] [stderr] Compiling heck v0.3.1 [INFO] [stderr] Compiling quote v1.0.5 [INFO] [stderr] Checking deflate v0.8.4 [INFO] [stderr] Checking atty v0.2.14 [INFO] [stderr] Checking clap v2.33.1 [INFO] [stderr] Checking png v0.16.3 [INFO] [stderr] Compiling syn-mid v0.5.0 [INFO] [stderr] Compiling structopt-derive v0.4.7 [INFO] [stderr] Checking structopt v0.3.14 [INFO] [stderr] Checking pas v0.1.0 (/opt/rustwide/workdir) [INFO] [stdout] warning: unused import: `std::fs::File` [INFO] [stdout] --> src/main.rs:2:5 [INFO] [stdout] | [INFO] [stdout] 2 | use std::fs::File; [INFO] [stdout] | ^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = note: `#[warn(unused_imports)]` on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `std::io::BufWriter` [INFO] [stdout] --> src/main.rs:3:5 [INFO] [stdout] | [INFO] [stdout] 3 | use std::io::BufWriter; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `crate::aset::AutomaticSet` [INFO] [stdout] --> src/main.rs:9:5 [INFO] [stdout] | [INFO] [stdout] 9 | use crate::aset::AutomaticSet; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused imports: `get_max_value`, `iterate_elements`, `number_of_elements` [INFO] [stdout] --> src/main.rs:10:23 [INFO] [stdout] | [INFO] [stdout] 10 | use crate::elements::{get_max_value, iterate_elements, number_of_elements}; [INFO] [stdout] | ^^^^^^^^^^^^^ ^^^^^^^^^^^^^^^^ ^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `setdef` [INFO] [stdout] --> src/main.rs:11:34 [INFO] [stdout] | [INFO] [stdout] 11 | use crate::parser::{parse_exact, setdef, unwrap_nom, commands, Command}; [INFO] [stdout] | ^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `crate::render::dot::render_set_dot` [INFO] [stdout] --> src/main.rs:12:5 [INFO] [stdout] | [INFO] [stdout] 12 | use crate::render::dot::render_set_dot; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `crate::render::png::render_set_png` [INFO] [stdout] --> src/main.rs:13:5 [INFO] [stdout] | [INFO] [stdout] 13 | use crate::render::png::render_set_png; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `build_set` [INFO] [stdout] --> src/main.rs:14:21 [INFO] [stdout] | [INFO] [stdout] 14 | use crate::solver::{build_set, Context}; [INFO] [stdout] | ^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `crate::common::StateId` [INFO] [stdout] --> src/aset.rs:7:5 [INFO] [stdout] | [INFO] [stdout] 7 | use crate::common::StateId; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `Element` [INFO] [stdout] --> src/aset.rs:8:23 [INFO] [stdout] | [INFO] [stdout] 8 | use crate::elements::{Element, cut, get_nth_element, number_of_elements}; [INFO] [stdout] | ^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `crate::formula::LoPredicate::EqConst` [INFO] [stdout] --> src/formula.rs:3:5 [INFO] [stdout] | [INFO] [stdout] 3 | use crate::formula::LoPredicate::EqConst; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused imports: `alpha1`, `char` [INFO] [stdout] --> src/parser.rs:3:32 [INFO] [stdout] | [INFO] [stdout] 3 | use nom::character::complete::{alpha1, char, digit1, multispace0}; [INFO] [stdout] | ^^^^^^ ^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `Variable` [INFO] [stdout] --> src/parser.rs:10:45 [INFO] [stdout] | [INFO] [stdout] 10 | use crate::formula::{Expression, HiFormula, Variable}; [INFO] [stdout] | ^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `crate::nfa::Nfa` [INFO] [stdout] --> src/words.rs:2:5 [INFO] [stdout] | [INFO] [stdout] 2 | use crate::nfa::Nfa; [INFO] [stdout] | ^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `HashMap` [INFO] [stdout] --> src/words.rs:4:17 [INFO] [stdout] | [INFO] [stdout] 4 | use hashbrown::{HashMap, HashSet}; [INFO] [stdout] | ^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `itertools::Itertools` [INFO] [stdout] --> src/words.rs:5:5 [INFO] [stdout] | [INFO] [stdout] 5 | use itertools::Itertools; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `crate::words::Bound::Finite` [INFO] [stdout] --> src/words.rs:6:5 [INFO] [stdout] | [INFO] [stdout] 6 | use crate::words::Bound::Finite; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unnecessary parentheses around `for` iterator expression [INFO] [stdout] --> src/elements.rs:257:14 [INFO] [stdout] | [INFO] [stdout] 257 | for i in (0..length) { [INFO] [stdout] | ^^^^^^^^^^^ help: remove these parentheses [INFO] [stdout] | [INFO] [stdout] = note: `#[warn(unused_parens)]` on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `std::fs::File` [INFO] [stdout] --> src/render/png.rs:1:5 [INFO] [stdout] | [INFO] [stdout] 1 | use std::fs::File; [INFO] [stdout] | ^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `BufWriter` [INFO] [stdout] --> src/render/png.rs:2:15 [INFO] [stdout] | [INFO] [stdout] 2 | use std::io::{BufWriter, Write}; [INFO] [stdout] | ^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `crate::aset::AutomaticSet` [INFO] [stdout] --> src/render/png.rs:4:5 [INFO] [stdout] | [INFO] [stdout] 4 | use crate::aset::AutomaticSet; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `std::fs::File` [INFO] [stdout] --> src/render/dot.rs:2:5 [INFO] [stdout] | [INFO] [stdout] 2 | use std::fs::File; [INFO] [stdout] | ^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `BufWriter` [INFO] [stdout] --> src/render/dot.rs:3:15 [INFO] [stdout] | [INFO] [stdout] 3 | use std::io::{BufWriter, Write}; [INFO] [stdout] | ^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `HashSet` [INFO] [stdout] --> src/render/dot.rs:5:26 [INFO] [stdout] | [INFO] [stdout] 5 | use hashbrown::{HashMap, HashSet}; [INFO] [stdout] | ^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `hashbrown::hash_map::Entry` [INFO] [stdout] --> src/render/dot.rs:6:5 [INFO] [stdout] | [INFO] [stdout] 6 | use hashbrown::hash_map::Entry; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `crate::aset::AutomaticSet` [INFO] [stdout] --> src/render/dot.rs:8:5 [INFO] [stdout] | [INFO] [stdout] 8 | use crate::aset::AutomaticSet; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused imports: `Element`, `get_max_value` [INFO] [stdout] --> src/render/dot.rs:10:23 [INFO] [stdout] | [INFO] [stdout] 10 | use crate::elements::{Element, get_max_value, iterate_elements}; [INFO] [stdout] | ^^^^^^^ ^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `std::fs::File` [INFO] [stdout] --> src/main.rs:2:5 [INFO] [stdout] | [INFO] [stdout] 2 | use std::fs::File; [INFO] [stdout] | ^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = note: `#[warn(unused_imports)]` on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `std::io::BufWriter` [INFO] [stdout] --> src/main.rs:3:5 [INFO] [stdout] | [INFO] [stdout] 3 | use std::io::BufWriter; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `crate::aset::AutomaticSet` [INFO] [stdout] --> src/main.rs:9:5 [INFO] [stdout] | [INFO] [stdout] 9 | use crate::aset::AutomaticSet; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused imports: `get_max_value`, `iterate_elements`, `number_of_elements` [INFO] [stdout] --> src/main.rs:10:23 [INFO] [stdout] | [INFO] [stdout] 10 | use crate::elements::{get_max_value, iterate_elements, number_of_elements}; [INFO] [stdout] | ^^^^^^^^^^^^^ ^^^^^^^^^^^^^^^^ ^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `setdef` [INFO] [stdout] --> src/main.rs:11:34 [INFO] [stdout] | [INFO] [stdout] 11 | use crate::parser::{parse_exact, setdef, unwrap_nom, commands, Command}; [INFO] [stdout] | ^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `crate::render::dot::render_set_dot` [INFO] [stdout] --> src/main.rs:12:5 [INFO] [stdout] | [INFO] [stdout] 12 | use crate::render::dot::render_set_dot; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `crate::render::png::render_set_png` [INFO] [stdout] --> src/main.rs:13:5 [INFO] [stdout] | [INFO] [stdout] 13 | use crate::render::png::render_set_png; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `build_set` [INFO] [stdout] --> src/main.rs:14:21 [INFO] [stdout] | [INFO] [stdout] 14 | use crate::solver::{build_set, Context}; [INFO] [stdout] | ^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `crate::common::StateId` [INFO] [stdout] --> src/aset.rs:7:5 [INFO] [stdout] | [INFO] [stdout] 7 | use crate::common::StateId; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `Element` [INFO] [stdout] --> src/aset.rs:8:23 [INFO] [stdout] | [INFO] [stdout] 8 | use crate::elements::{Element, cut, get_nth_element, number_of_elements}; [INFO] [stdout] | ^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `crate::formula::LoPredicate::EqConst` [INFO] [stdout] --> src/formula.rs:3:5 [INFO] [stdout] | [INFO] [stdout] 3 | use crate::formula::LoPredicate::EqConst; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `crate::name::Name` [INFO] [stdout] --> src/solver.rs:122:9 [INFO] [stdout] | [INFO] [stdout] 122 | use crate::name::Name; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused imports: `alpha1`, `char` [INFO] [stdout] --> src/parser.rs:3:32 [INFO] [stdout] | [INFO] [stdout] 3 | use nom::character::complete::{alpha1, char, digit1, multispace0}; [INFO] [stdout] | ^^^^^^ ^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `Variable` [INFO] [stdout] --> src/parser.rs:10:45 [INFO] [stdout] | [INFO] [stdout] 10 | use crate::formula::{Expression, HiFormula, Variable}; [INFO] [stdout] | ^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unnecessary parentheses around method argument [INFO] [stdout] --> src/parser.rs:292:35 [INFO] [stdout] | [INFO] [stdout] 292 | assert_eq!(Ok(("", p1.and((f1.and(p4))))), formula_or("x == 4 and (2 * x == 3 * y + 3 or x == y) and x == y")); [INFO] [stdout] | ^^^^^^^^^^^^ help: remove these parentheses [INFO] [stdout] | [INFO] [stdout] = note: `#[warn(unused_parens)]` on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `crate::nfa::Nfa` [INFO] [stdout] --> src/words.rs:2:5 [INFO] [stdout] | [INFO] [stdout] 2 | use crate::nfa::Nfa; [INFO] [stdout] | ^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `HashMap` [INFO] [stdout] --> src/words.rs:4:17 [INFO] [stdout] | [INFO] [stdout] 4 | use hashbrown::{HashMap, HashSet}; [INFO] [stdout] | ^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `itertools::Itertools` [INFO] [stdout] --> src/words.rs:5:5 [INFO] [stdout] | [INFO] [stdout] 5 | use itertools::Itertools; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `crate::words::Bound::Finite` [INFO] [stdout] --> src/words.rs:6:5 [INFO] [stdout] | [INFO] [stdout] 6 | use crate::words::Bound::Finite; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused imports: `parse_formula`, `parse_setdef` [INFO] [stdout] --> src/words.rs:178:25 [INFO] [stdout] | [INFO] [stdout] 178 | use crate::parser::{parse_formula, parse_setdef}; [INFO] [stdout] | ^^^^^^^^^^^^^ ^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `crate::name::Name` [INFO] [stdout] --> src/words.rs:179:9 [INFO] [stdout] | [INFO] [stdout] 179 | use crate::name::Name; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `crate::solver::build_set` [INFO] [stdout] --> src/words.rs:180:9 [INFO] [stdout] | [INFO] [stdout] 180 | use crate::solver::build_set; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `crate::nfa::Transition` [INFO] [stdout] --> src/words.rs:181:9 [INFO] [stdout] | [INFO] [stdout] 181 | use crate::nfa::Transition; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unnecessary parentheses around `for` iterator expression [INFO] [stdout] --> src/elements.rs:257:14 [INFO] [stdout] | [INFO] [stdout] 257 | for i in (0..length) { [INFO] [stdout] | ^^^^^^^^^^^ help: remove these parentheses [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `parse_formula` [INFO] [stdout] --> src/elements.rs:366:25 [INFO] [stdout] | [INFO] [stdout] 366 | use crate::parser::{parse_formula, parse_setdef}; [INFO] [stdout] | ^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `crate::name::Name` [INFO] [stdout] --> src/elements.rs:367:9 [INFO] [stdout] | [INFO] [stdout] 367 | use crate::name::Name; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `crate::nfa::Transition` [INFO] [stdout] --> src/elements.rs:369:9 [INFO] [stdout] | [INFO] [stdout] 369 | use crate::nfa::Transition; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `crate::table::TransitionTable` [INFO] [stdout] --> src/elements.rs:370:9 [INFO] [stdout] | [INFO] [stdout] 370 | use crate::table::TransitionTable; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `std::fs::File` [INFO] [stdout] --> src/render/png.rs:1:5 [INFO] [stdout] | [INFO] [stdout] 1 | use std::fs::File; [INFO] [stdout] | ^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `BufWriter` [INFO] [stdout] --> src/render/png.rs:2:15 [INFO] [stdout] | [INFO] [stdout] 2 | use std::io::{BufWriter, Write}; [INFO] [stdout] | ^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `crate::aset::AutomaticSet` [INFO] [stdout] --> src/render/png.rs:4:5 [INFO] [stdout] | [INFO] [stdout] 4 | use crate::aset::AutomaticSet; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `std::fs::File` [INFO] [stdout] --> src/render/dot.rs:2:5 [INFO] [stdout] | [INFO] [stdout] 2 | use std::fs::File; [INFO] [stdout] | ^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `BufWriter` [INFO] [stdout] --> src/render/dot.rs:3:15 [INFO] [stdout] | [INFO] [stdout] 3 | use std::io::{BufWriter, Write}; [INFO] [stdout] | ^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `HashSet` [INFO] [stdout] --> src/render/dot.rs:5:26 [INFO] [stdout] | [INFO] [stdout] 5 | use hashbrown::{HashMap, HashSet}; [INFO] [stdout] | ^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `hashbrown::hash_map::Entry` [INFO] [stdout] --> src/render/dot.rs:6:5 [INFO] [stdout] | [INFO] [stdout] 6 | use hashbrown::hash_map::Entry; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `crate::aset::AutomaticSet` [INFO] [stdout] --> src/render/dot.rs:8:5 [INFO] [stdout] | [INFO] [stdout] 8 | use crate::aset::AutomaticSet; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused imports: `Element`, `get_max_value` [INFO] [stdout] --> src/render/dot.rs:10:23 [INFO] [stdout] | [INFO] [stdout] 10 | use crate::elements::{Element, get_max_value, iterate_elements}; [INFO] [stdout] | ^^^^^^^ ^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unreachable pattern [INFO] [stdout] --> src/formula.rs:282:13 [INFO] [stdout] | [INFO] [stdout] 282 | _ => unimplemented!(), [INFO] [stdout] | ^ [INFO] [stdout] | [INFO] [stdout] = note: `#[warn(unreachable_patterns)]` on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unreachable pattern [INFO] [stdout] --> src/solver.rs:85:9 [INFO] [stdout] | [INFO] [stdout] 85 | p => panic!("Not implemented predicate {:?}", p) [INFO] [stdout] | ^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `a` [INFO] [stdout] --> src/nfa.rs:198:25 [INFO] [stdout] | [INFO] [stdout] 198 | }).map(|(i, a)| i as StateId) [INFO] [stdout] | ^ help: if this is intentional, prefix it with an underscore: `_a` [INFO] [stdout] | [INFO] [stdout] = note: `#[warn(unused_variables)]` on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `lte` [INFO] [stdout] --> src/aset.rs:101:43 [INFO] [stdout] | [INFO] [stdout] 101 | pub fn cut(&self, nth_element: usize, lte: bool) -> AutomaticSet { [INFO] [stdout] | ^^^ help: if this is intentional, prefix it with an underscore: `_lte` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `p` [INFO] [stdout] --> src/formula.rs:132:29 [INFO] [stdout] | [INFO] [stdout] 132 | Self::Predicate(p) => 1, [INFO] [stdout] | ^ help: if this is intentional, prefix it with an underscore: `_p` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `p` [INFO] [stdout] --> src/formula.rs:140:29 [INFO] [stdout] | [INFO] [stdout] 140 | Self::Predicate(p) => 1, [INFO] [stdout] | ^ help: if this is intentional, prefix it with an underscore: `_p` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `needed` [INFO] [stdout] --> src/parser.rs:227:34 [INFO] [stdout] | [INFO] [stdout] 227 | nom::Err::Incomplete(needed) => panic!("Incomplete input"), [INFO] [stdout] | ^^^^^^ help: if this is intentional, prefix it with an underscore: `_needed` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variable does not need to be mutable [INFO] [stdout] --> src/formula.rs:344:25 [INFO] [stdout] | [INFO] [stdout] 344 | let mut fresh = Name::new_tmp(); [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: unreachable pattern [INFO] [stdout] --> src/formula.rs:282:13 [INFO] [stdout] | [INFO] [stdout] 282 | _ => unimplemented!(), [INFO] [stdout] | ^ [INFO] [stdout] | [INFO] [stdout] = note: `#[warn(unreachable_patterns)]` on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unreachable pattern [INFO] [stdout] --> src/solver.rs:85:9 [INFO] [stdout] | [INFO] [stdout] 85 | p => panic!("Not implemented predicate {:?}", p) [INFO] [stdout] | ^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `a` [INFO] [stdout] --> src/nfa.rs:198:25 [INFO] [stdout] | [INFO] [stdout] 198 | }).map(|(i, a)| i as StateId) [INFO] [stdout] | ^ help: if this is intentional, prefix it with an underscore: `_a` [INFO] [stdout] | [INFO] [stdout] = note: `#[warn(unused_variables)]` on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `lte` [INFO] [stdout] --> src/aset.rs:101:43 [INFO] [stdout] | [INFO] [stdout] 101 | pub fn cut(&self, nth_element: usize, lte: bool) -> AutomaticSet { [INFO] [stdout] | ^^^ help: if this is intentional, prefix it with an underscore: `_lte` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `p` [INFO] [stdout] --> src/formula.rs:132:29 [INFO] [stdout] | [INFO] [stdout] 132 | Self::Predicate(p) => 1, [INFO] [stdout] | ^ help: if this is intentional, prefix it with an underscore: `_p` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `p` [INFO] [stdout] --> src/formula.rs:140:29 [INFO] [stdout] | [INFO] [stdout] 140 | Self::Predicate(p) => 1, [INFO] [stdout] | ^ help: if this is intentional, prefix it with an underscore: `_p` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `a` [INFO] [stdout] --> src/solver.rs:236:13 [INFO] [stdout] | [INFO] [stdout] 236 | let mut a = evaluate_formula(&f); [INFO] [stdout] | ^^^^^ help: if this is intentional, prefix it with an underscore: `_a` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `needed` [INFO] [stdout] --> src/parser.rs:227:34 [INFO] [stdout] | [INFO] [stdout] 227 | nom::Err::Incomplete(needed) => panic!("Incomplete input"), [INFO] [stdout] | ^^^^^^ help: if this is intentional, prefix it with an underscore: `_needed` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `d` [INFO] [stdout] --> src/elements.rs:507:17 [INFO] [stdout] | [INFO] [stdout] 507 | let (c, d) = a.cut2(16); [INFO] [stdout] | ^ help: if this is intentional, prefix it with an underscore: `_d` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variable does not need to be mutable [INFO] [stdout] --> src/words.rs:53:9 [INFO] [stdout] | [INFO] [stdout] 53 | let mut process = |state_id: StateId, s_next: &mut Vec, remaining: &mut Vec| { [INFO] [stdout] | ----^^^^^^^ [INFO] [stdout] | | [INFO] [stdout] | help: remove this `mut` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variable does not need to be mutable [INFO] [stdout] --> src/words.rs:98:9 [INFO] [stdout] | [INFO] [stdout] 98 | let mut process = |state_id: StateId, s_next: &mut Vec, remaining: &mut Vec| { [INFO] [stdout] | ----^^^^^^^ [INFO] [stdout] | | [INFO] [stdout] | help: remove this `mut` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variable does not need to be mutable [INFO] [stdout] --> src/elements.rs:103:56 [INFO] [stdout] | [INFO] [stdout] 103 | pub fn iterate_elements(dfa: &Dfa, mut limit: Option, mut callback: F) { [INFO] [stdout] | ----^^^^^ [INFO] [stdout] | | [INFO] [stdout] | help: remove this `mut` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variable does not need to be mutable [INFO] [stdout] --> src/elements.rs:103:82 [INFO] [stdout] | [INFO] [stdout] 103 | pub fn iterate_elements(dfa: &Dfa, mut limit: Option, mut callback: F) { [INFO] [stdout] | ----^^^^^^^^ [INFO] [stdout] | | [INFO] [stdout] | help: remove this `mut` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variable does not need to be mutable [INFO] [stdout] --> src/elements.rs:119:9 [INFO] [stdout] | [INFO] [stdout] 119 | let mut element = Element::new(dfa.n_tracks()); [INFO] [stdout] | ----^^^^^^^ [INFO] [stdout] | | [INFO] [stdout] | help: remove this `mut` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variable does not need to be mutable [INFO] [stdout] --> src/elements.rs:216:9 [INFO] [stdout] | [INFO] [stdout] 216 | let mut lengths = longest_words(&dfa); [INFO] [stdout] | ----^^^^^^^ [INFO] [stdout] | | [INFO] [stdout] | help: remove this `mut` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variable does not need to be mutable [INFO] [stdout] --> src/formula.rs:344:25 [INFO] [stdout] | [INFO] [stdout] 344 | let mut fresh = Name::new_tmp(); [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: associated function is never used: `as_slice` [INFO] [stdout] --> src/table.rs:46:12 [INFO] [stdout] | [INFO] [stdout] 46 | pub fn as_slice(&self) -> &[T] { [INFO] [stdout] | ^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = note: `#[warn(dead_code)]` on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: associated function is never used: `states` [INFO] [stdout] --> src/dfa.rs:65:12 [INFO] [stdout] | [INFO] [stdout] 65 | pub fn states(&self) -> impl Iterator { [INFO] [stdout] | ^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: associated function is never used: `accepting` [INFO] [stdout] --> src/dfa.rs:75:12 [INFO] [stdout] | [INFO] [stdout] 75 | pub fn accepting(&self) -> &Vec { [INFO] [stdout] | ^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: associated function is never used: `transitions` [INFO] [stdout] --> src/dfa.rs:80:12 [INFO] [stdout] | [INFO] [stdout] 80 | pub fn transitions(&self) -> &[StateId] { [INFO] [stdout] | ^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: associated function is never used: `test_input` [INFO] [stdout] --> src/dfa.rs:138:12 [INFO] [stdout] | [INFO] [stdout] 138 | pub fn test_input>(&self, word: I) -> bool { [INFO] [stdout] | ^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: associated function is never used: `pair` [INFO] [stdout] --> src/nfa.rs:38:12 [INFO] [stdout] | [INFO] [stdout] 38 | pub fn pair(state_id1: StateId, state_id2: StateId) -> Transition { [INFO] [stdout] | ^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: associated function is never used: `alphabet_size` [INFO] [stdout] --> src/automaton.rs:58:12 [INFO] [stdout] | [INFO] [stdout] 58 | pub fn alphabet_size(&self) -> usize { [INFO] [stdout] | ^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: associated function is never used: `cut` [INFO] [stdout] --> src/aset.rs:101:12 [INFO] [stdout] | [INFO] [stdout] 101 | pub fn cut(&self, nth_element: usize, lte: bool) -> AutomaticSet { [INFO] [stdout] | ^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: associated function is never used: `cut2` [INFO] [stdout] --> src/aset.rs:118:12 [INFO] [stdout] | [INFO] [stdout] 118 | pub fn cut2(&self, nth_element: usize) -> (AutomaticSet, AutomaticSet) { [INFO] [stdout] | ^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: associated function is never used: `intersection` [INFO] [stdout] --> src/aset.rs:168:12 [INFO] [stdout] | [INFO] [stdout] 168 | pub fn intersection(self, other: AutomaticSet) -> AutomaticSet { [INFO] [stdout] | ^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: associated function is never used: `size` [INFO] [stdout] --> src/aset.rs:172:12 [INFO] [stdout] | [INFO] [stdout] 172 | pub fn size(&self) -> Option { [INFO] [stdout] | ^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: associated function is never used: `to_dfa` [INFO] [stdout] --> src/aset.rs:233:12 [INFO] [stdout] | [INFO] [stdout] 233 | pub fn to_dfa(self) -> Dfa { [INFO] [stdout] | ^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: associated function is never used: `test_input` [INFO] [stdout] --> src/aset.rs:246:12 [INFO] [stdout] | [INFO] [stdout] 246 | pub fn test_input(&mut self, values: &[(&str, u64)]) -> bool { [INFO] [stdout] | ^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: associated function is never used: `is_empty` [INFO] [stdout] --> src/aset.rs:295:12 [INFO] [stdout] | [INFO] [stdout] 295 | pub fn is_empty(self) -> bool { [INFO] [stdout] | ^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: associated function is never used: `size` [INFO] [stdout] --> src/formula.rs:130:12 [INFO] [stdout] | [INFO] [stdout] 130 | pub fn size(&self) -> usize { [INFO] [stdout] | ^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: associated function is never used: `depth` [INFO] [stdout] --> src/formula.rs:138:12 [INFO] [stdout] | [INFO] [stdout] 138 | pub fn depth(&self) -> usize { [INFO] [stdout] | ^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: associated function is never used: `from_str` [INFO] [stdout] --> src/formula.rs:184:12 [INFO] [stdout] | [INFO] [stdout] 184 | pub fn from_str(name: &str) -> Self { [INFO] [stdout] | ^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: associated function is never used: `from_name` [INFO] [stdout] --> src/formula.rs:203:12 [INFO] [stdout] | [INFO] [stdout] 203 | pub fn from_name(name: Name) -> Self { [INFO] [stdout] | ^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variant is never constructed: `True` [INFO] [stdout] --> src/formula.rs:226:5 [INFO] [stdout] | [INFO] [stdout] 226 | True, [INFO] [stdout] | ^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variant is never constructed: `False` [INFO] [stdout] --> src/formula.rs:227:5 [INFO] [stdout] | [INFO] [stdout] 227 | False [INFO] [stdout] | ^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: function is never used: `parse_formula` [INFO] [stdout] --> src/parser.rs:204:8 [INFO] [stdout] | [INFO] [stdout] 204 | pub fn parse_formula(input: &str) -> HiFormula { [INFO] [stdout] | ^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: function is never used: `parse_setdef` [INFO] [stdout] --> src/parser.rs:208:8 [INFO] [stdout] | [INFO] [stdout] 208 | pub fn parse_setdef(input: &str) -> SetDef { [INFO] [stdout] | ^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: function is never used: `number_of_words` [INFO] [stdout] --> src/words.rs:90:8 [INFO] [stdout] | [INFO] [stdout] 90 | pub fn number_of_words(dfa: &Dfa) -> Vec> [INFO] [stdout] | ^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: function is never used: `number_of_words_zero_length` [INFO] [stdout] --> src/words.rs:165:8 [INFO] [stdout] | [INFO] [stdout] 165 | pub fn number_of_words_zero_length(dfa: &Dfa) -> Vec { [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: function is never used: `number_of_words_next_length` [INFO] [stdout] --> src/words.rs:169:8 [INFO] [stdout] | [INFO] [stdout] 169 | pub fn number_of_words_next_length(dfa: &Dfa, prev: &Vec) -> Vec { [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: associated function is never used: `from` [INFO] [stdout] --> src/elements.rs:19:12 [INFO] [stdout] | [INFO] [stdout] 19 | pub fn from(values: Vec) -> Self { [INFO] [stdout] | ^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: associated function is never used: `alphabet_size` [INFO] [stdout] --> src/elements.rs:23:12 [INFO] [stdout] | [INFO] [stdout] 23 | pub fn alphabet_size(&self) -> usize { [INFO] [stdout] | ^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: associated function is never used: `n_tracks` [INFO] [stdout] --> src/elements.rs:27:12 [INFO] [stdout] | [INFO] [stdout] 27 | pub fn n_tracks(&self) -> usize { [INFO] [stdout] | ^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: associated function is never used: `reset` [INFO] [stdout] --> src/elements.rs:50:12 [INFO] [stdout] | [INFO] [stdout] 50 | pub fn reset(&mut self) { [INFO] [stdout] | ^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: associated function is never used: `get_symbol` [INFO] [stdout] --> src/elements.rs:56:12 [INFO] [stdout] | [INFO] [stdout] 56 | pub fn get_symbol(&self, position: usize) -> usize { [INFO] [stdout] | ^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: associated function is never used: `length` [INFO] [stdout] --> src/elements.rs:65:12 [INFO] [stdout] | [INFO] [stdout] 65 | pub fn length(&self) -> usize { [INFO] [stdout] | ^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: associated function is never used: `into_vec` [INFO] [stdout] --> src/elements.rs:69:12 [INFO] [stdout] | [INFO] [stdout] 69 | pub fn into_vec(self) -> Vec { [INFO] [stdout] | ^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: function is never used: `number_of_elements` [INFO] [stdout] --> src/elements.rs:94:8 [INFO] [stdout] | [INFO] [stdout] 94 | pub fn number_of_elements(dfa: &Dfa) -> Option [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: function is never used: `cut` [INFO] [stdout] --> src/elements.rs:251:8 [INFO] [stdout] | [INFO] [stdout] 251 | pub fn cut(element: &Element) -> Nfa { [INFO] [stdout] | ^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: function is never used: `get_nth_element` [INFO] [stdout] --> src/elements.rs:298:8 [INFO] [stdout] | [INFO] [stdout] 298 | pub fn get_nth_element(dfa: &Dfa, mut nth_element: usize) -> Element { [INFO] [stdout] | ^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: function is never used: `render_set_dot` [INFO] [stdout] --> src/render/dot.rs:23:8 [INFO] [stdout] | [INFO] [stdout] 23 | pub fn render_set_dot(dfa: &Dfa, output: &mut W) { [INFO] [stdout] | ^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variable does not need to be mutable [INFO] [stdout] --> src/solver.rs:236:13 [INFO] [stdout] | [INFO] [stdout] 236 | let mut a = evaluate_formula(&f); [INFO] [stdout] | ----^ [INFO] [stdout] | | [INFO] [stdout] | help: remove this `mut` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variable does not need to be mutable [INFO] [stdout] --> src/solver.rs:265:13 [INFO] [stdout] | [INFO] [stdout] 265 | let mut a = evaluate_formula(&parse_formula("x < 10 and x > 10").make_lo_formula()); [INFO] [stdout] | ----^ [INFO] [stdout] | | [INFO] [stdout] | help: remove this `mut` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variable does not need to be mutable [INFO] [stdout] --> src/solver.rs:271:13 [INFO] [stdout] | [INFO] [stdout] 271 | let mut a = evaluate_formula(&parse_formula("x < 10 and x > 5").make_lo_formula()); [INFO] [stdout] | ----^ [INFO] [stdout] | | [INFO] [stdout] | help: remove this `mut` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: 77 warnings emitted [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variable does not need to be mutable [INFO] [stdout] --> src/words.rs:53:9 [INFO] [stdout] | [INFO] [stdout] 53 | let mut process = |state_id: StateId, s_next: &mut Vec, remaining: &mut Vec| { [INFO] [stdout] | ----^^^^^^^ [INFO] [stdout] | | [INFO] [stdout] | help: remove this `mut` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variable does not need to be mutable [INFO] [stdout] --> src/words.rs:98:9 [INFO] [stdout] | [INFO] [stdout] 98 | let mut process = |state_id: StateId, s_next: &mut Vec, remaining: &mut Vec| { [INFO] [stdout] | ----^^^^^^^ [INFO] [stdout] | | [INFO] [stdout] | help: remove this `mut` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variable does not need to be mutable [INFO] [stdout] --> src/elements.rs:103:56 [INFO] [stdout] | [INFO] [stdout] 103 | pub fn iterate_elements(dfa: &Dfa, mut limit: Option, mut callback: F) { [INFO] [stdout] | ----^^^^^ [INFO] [stdout] | | [INFO] [stdout] | help: remove this `mut` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variable does not need to be mutable [INFO] [stdout] --> src/elements.rs:103:82 [INFO] [stdout] | [INFO] [stdout] 103 | pub fn iterate_elements(dfa: &Dfa, mut limit: Option, mut callback: F) { [INFO] [stdout] | ----^^^^^^^^ [INFO] [stdout] | | [INFO] [stdout] | help: remove this `mut` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variable does not need to be mutable [INFO] [stdout] --> src/elements.rs:119:9 [INFO] [stdout] | [INFO] [stdout] 119 | let mut element = Element::new(dfa.n_tracks()); [INFO] [stdout] | ----^^^^^^^ [INFO] [stdout] | | [INFO] [stdout] | help: remove this `mut` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variable does not need to be mutable [INFO] [stdout] --> src/elements.rs:216:9 [INFO] [stdout] | [INFO] [stdout] 216 | let mut lengths = longest_words(&dfa); [INFO] [stdout] | ----^^^^^^^ [INFO] [stdout] | | [INFO] [stdout] | help: remove this `mut` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variable does not need to be mutable [INFO] [stdout] --> src/render/dot.rs:103:13 [INFO] [stdout] | [INFO] [stdout] 103 | let mut dfa = make_dfa("{ x, y | x < 10 and y < 10 and x == y }"); [INFO] [stdout] | ----^^^ [INFO] [stdout] | | [INFO] [stdout] | help: remove this `mut` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variable does not need to be mutable [INFO] [stdout] --> src/render/dot.rs:123:13 [INFO] [stdout] | [INFO] [stdout] 123 | let mut dfa = make_dfa("{x, y, a, b | a < 4 and b < 4 and x < 4 and y < 4 and (x + 1 == a and y == b or x == a and y + 1 == b)}"); [INFO] [stdout] | ----^^^ [INFO] [stdout] | | [INFO] [stdout] | help: remove this `mut` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: associated function is never used: `alphabet_size` [INFO] [stdout] --> src/automaton.rs:58:12 [INFO] [stdout] | [INFO] [stdout] 58 | pub fn alphabet_size(&self) -> usize { [INFO] [stdout] | ^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = note: `#[warn(dead_code)]` on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: associated function is never used: `intersection` [INFO] [stdout] --> src/aset.rs:168:12 [INFO] [stdout] | [INFO] [stdout] 168 | pub fn intersection(self, other: AutomaticSet) -> AutomaticSet { [INFO] [stdout] | ^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: associated function is never used: `size` [INFO] [stdout] --> src/aset.rs:172:12 [INFO] [stdout] | [INFO] [stdout] 172 | pub fn size(&self) -> Option { [INFO] [stdout] | ^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: associated function is never used: `size` [INFO] [stdout] --> src/formula.rs:130:12 [INFO] [stdout] | [INFO] [stdout] 130 | pub fn size(&self) -> usize { [INFO] [stdout] | ^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: associated function is never used: `depth` [INFO] [stdout] --> src/formula.rs:138:12 [INFO] [stdout] | [INFO] [stdout] 138 | pub fn depth(&self) -> usize { [INFO] [stdout] | ^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: associated function is never used: `from_str` [INFO] [stdout] --> src/formula.rs:184:12 [INFO] [stdout] | [INFO] [stdout] 184 | pub fn from_str(name: &str) -> Self { [INFO] [stdout] | ^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variant is never constructed: `True` [INFO] [stdout] --> src/formula.rs:226:5 [INFO] [stdout] | [INFO] [stdout] 226 | True, [INFO] [stdout] | ^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variant is never constructed: `False` [INFO] [stdout] --> src/formula.rs:227:5 [INFO] [stdout] | [INFO] [stdout] 227 | False [INFO] [stdout] | ^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: associated function is never used: `from` [INFO] [stdout] --> src/elements.rs:19:12 [INFO] [stdout] | [INFO] [stdout] 19 | pub fn from(values: Vec) -> Self { [INFO] [stdout] | ^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: associated function is never used: `reset` [INFO] [stdout] --> src/elements.rs:50:12 [INFO] [stdout] | [INFO] [stdout] 50 | pub fn reset(&mut self) { [INFO] [stdout] | ^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: 68 warnings emitted [INFO] [stdout] [INFO] [stdout] [INFO] [stderr] Finished dev [unoptimized + debuginfo] target(s) in 45.67s [INFO] running `Command { std: "docker" "inspect" "de5e7edd7965fb74c23a14f790911428ac86f83cc5488f65feacc33350b25ffb", kill_on_drop: false }` [INFO] running `Command { std: "docker" "rm" "-f" "de5e7edd7965fb74c23a14f790911428ac86f83cc5488f65feacc33350b25ffb", kill_on_drop: false }` [INFO] [stdout] de5e7edd7965fb74c23a14f790911428ac86f83cc5488f65feacc33350b25ffb