[INFO] cloning repository https://github.com/spirali/pas [INFO] running `"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"` [INFO] [stderr] Cloning into bare repository '/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Fspirali%2Fpas'... [INFO] running `"git" "rev-parse" "HEAD"` [INFO] [stdout] 4d9116dd2fcbb901a6825a4cda8efcf4baea4e21 [INFO] testing spirali/pas against 1.44.0 for beta-1.45-1 [INFO] running `"git" "clone" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Fspirali%2Fpas" "/workspace/builds/worker-14/source"` [INFO] [stderr] Cloning into '/workspace/builds/worker-14/source'... [INFO] [stderr] done. [INFO] validating manifest of git repo https://github.com/spirali/pas on toolchain 1.44.0 [INFO] running `"/workspace/cargo-home/bin/cargo" "+1.44.0" "read-manifest" "--manifest-path" "Cargo.toml"` [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-14/source/Cargo.toml [INFO] crate git repo https://github.com/spirali/pas already has a lockfile, it will not be regenerated [INFO] running `"/workspace/cargo-home/bin/cargo" "+1.44.0" "fetch" "--locked" "--manifest-path" "Cargo.toml"` [INFO] running `"docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-14/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-14/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=warn" "-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" "/opt/rustwide/cargo-home/bin/cargo" "+1.44.0" "build" "--frozen"` [INFO] [stderr] WARNING: Your kernel does not support swap limit capabilities or the cgroup is not mounted. Memory limited without swap. [INFO] [stdout] dee6722dbdce85b0658ccac3cbad4833fced4428a1d4fd1d635b1000a4182fb0 [INFO] running `"docker" "start" "-a" "dee6722dbdce85b0658ccac3cbad4833fced4428a1d4fd1d635b1000a4182fb0"` [INFO] [stderr] sudo: setrlimit(RLIMIT_CORE): Operation not permitted [INFO] [stderr] Compiling syn v1.0.22 [INFO] [stderr] Compiling libc v0.2.70 [INFO] [stderr] Compiling ahash v0.3.4 [INFO] [stderr] Compiling dot v0.1.4 [INFO] [stderr] Compiling nom v5.1.1 [INFO] [stderr] Compiling hashbrown v0.7.2 [INFO] [stderr] Compiling lexical-core v0.6.7 [INFO] [stderr] Compiling png v0.16.3 [INFO] [stderr] Compiling atty v0.2.14 [INFO] [stderr] Compiling clap v2.33.1 [INFO] [stderr] Compiling syn-mid v0.5.0 [INFO] [stderr] Compiling proc-macro-error-attr v1.0.2 [INFO] [stderr] Compiling proc-macro-error v1.0.2 [INFO] [stderr] Compiling structopt-derive v0.4.7 [INFO] [stderr] Compiling structopt v0.3.14 [INFO] [stderr] Compiling pas v0.1.0 (/opt/rustwide/workdir) [INFO] [stderr] warning: unused import: `std::fs::File` [INFO] [stderr] --> src/main.rs:2:5 [INFO] [stderr] | [INFO] [stderr] 2 | use std::fs::File; [INFO] [stderr] | ^^^^^^^^^^^^^ [INFO] [stderr] | [INFO] [stderr] = note: `#[warn(unused_imports)]` on by default [INFO] [stderr] [INFO] [stderr] warning: unused import: `std::io::BufWriter` [INFO] [stderr] --> src/main.rs:3:5 [INFO] [stderr] | [INFO] [stderr] 3 | use std::io::BufWriter; [INFO] [stderr] | ^^^^^^^^^^^^^^^^^^ [INFO] [stderr] [INFO] [stderr] warning: unused import: `crate::aset::AutomaticSet` [INFO] [stderr] --> src/main.rs:9:5 [INFO] [stderr] | [INFO] [stderr] 9 | use crate::aset::AutomaticSet; [INFO] [stderr] | ^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stderr] [INFO] [stderr] warning: unused imports: `get_max_value`, `iterate_elements`, `number_of_elements` [INFO] [stderr] --> src/main.rs:10:23 [INFO] [stderr] | [INFO] [stderr] 10 | use crate::elements::{get_max_value, iterate_elements, number_of_elements}; [INFO] [stderr] | ^^^^^^^^^^^^^ ^^^^^^^^^^^^^^^^ ^^^^^^^^^^^^^^^^^^ [INFO] [stderr] [INFO] [stderr] warning: unused import: `setdef` [INFO] [stderr] --> src/main.rs:11:34 [INFO] [stderr] | [INFO] [stderr] 11 | use crate::parser::{parse_exact, setdef, unwrap_nom, commands, Command}; [INFO] [stderr] | ^^^^^^ [INFO] [stderr] [INFO] [stderr] warning: unused import: `crate::render::dot::render_set_dot` [INFO] [stderr] --> src/main.rs:12:5 [INFO] [stderr] | [INFO] [stderr] 12 | use crate::render::dot::render_set_dot; [INFO] [stderr] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stderr] [INFO] [stderr] warning: unused import: `crate::render::png::render_set_png` [INFO] [stderr] --> src/main.rs:13:5 [INFO] [stderr] | [INFO] [stderr] 13 | use crate::render::png::render_set_png; [INFO] [stderr] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stderr] [INFO] [stderr] warning: unused import: `build_set` [INFO] [stderr] --> src/main.rs:14:21 [INFO] [stderr] | [INFO] [stderr] 14 | use crate::solver::{build_set, Context}; [INFO] [stderr] | ^^^^^^^^^ [INFO] [stderr] [INFO] [stderr] warning: unused import: `crate::common::StateId` [INFO] [stderr] --> src/aset.rs:7:5 [INFO] [stderr] | [INFO] [stderr] 7 | use crate::common::StateId; [INFO] [stderr] | ^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stderr] [INFO] [stderr] warning: unused import: `Element` [INFO] [stderr] --> src/aset.rs:8:23 [INFO] [stderr] | [INFO] [stderr] 8 | use crate::elements::{Element, cut, get_nth_element, number_of_elements}; [INFO] [stderr] | ^^^^^^^ [INFO] [stderr] [INFO] [stderr] warning: unused import: `crate::formula::LoPredicate::EqConst` [INFO] [stderr] --> src/formula.rs:3:5 [INFO] [stderr] | [INFO] [stderr] 3 | use crate::formula::LoPredicate::EqConst; [INFO] [stderr] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stderr] [INFO] [stderr] warning: unused imports: `alpha1`, `char` [INFO] [stderr] --> src/parser.rs:3:32 [INFO] [stderr] | [INFO] [stderr] 3 | use nom::character::complete::{alpha1, char, digit1, multispace0}; [INFO] [stderr] | ^^^^^^ ^^^^ [INFO] [stderr] [INFO] [stderr] warning: unused import: `Variable` [INFO] [stderr] --> src/parser.rs:10:45 [INFO] [stderr] | [INFO] [stderr] 10 | use crate::formula::{Expression, HiFormula, Variable}; [INFO] [stderr] | ^^^^^^^^ [INFO] [stderr] [INFO] [stderr] warning: unused import: `crate::nfa::Nfa` [INFO] [stderr] --> src/words.rs:2:5 [INFO] [stderr] | [INFO] [stderr] 2 | use crate::nfa::Nfa; [INFO] [stderr] | ^^^^^^^^^^^^^^^ [INFO] [stderr] [INFO] [stderr] warning: unused import: `HashMap` [INFO] [stderr] --> src/words.rs:4:17 [INFO] [stderr] | [INFO] [stderr] 4 | use hashbrown::{HashMap, HashSet}; [INFO] [stderr] | ^^^^^^^ [INFO] [stderr] [INFO] [stderr] warning: unused import: `itertools::Itertools` [INFO] [stderr] --> src/words.rs:5:5 [INFO] [stderr] | [INFO] [stderr] 5 | use itertools::Itertools; [INFO] [stderr] | ^^^^^^^^^^^^^^^^^^^^ [INFO] [stderr] [INFO] [stderr] warning: unused import: `crate::words::Bound::Finite` [INFO] [stderr] --> src/words.rs:6:5 [INFO] [stderr] | [INFO] [stderr] 6 | use crate::words::Bound::Finite; [INFO] [stderr] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stderr] [INFO] [stderr] warning: unnecessary parentheses around `for` iterator expression [INFO] [stderr] --> src/elements.rs:257:14 [INFO] [stderr] | [INFO] [stderr] 257 | for i in (0..length) { [INFO] [stderr] | ^^^^^^^^^^^ help: remove these parentheses [INFO] [stderr] | [INFO] [stderr] = note: `#[warn(unused_parens)]` on by default [INFO] [stderr] [INFO] [stderr] warning: unused import: `std::fs::File` [INFO] [stderr] --> src/render/png.rs:1:5 [INFO] [stderr] | [INFO] [stderr] 1 | use std::fs::File; [INFO] [stderr] | ^^^^^^^^^^^^^ [INFO] [stderr] [INFO] [stderr] warning: unused import: `BufWriter` [INFO] [stderr] --> src/render/png.rs:2:15 [INFO] [stderr] | [INFO] [stderr] 2 | use std::io::{BufWriter, Write}; [INFO] [stderr] | ^^^^^^^^^ [INFO] [stderr] [INFO] [stderr] warning: unused import: `crate::aset::AutomaticSet` [INFO] [stderr] --> src/render/png.rs:4:5 [INFO] [stderr] | [INFO] [stderr] 4 | use crate::aset::AutomaticSet; [INFO] [stderr] | ^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stderr] [INFO] [stderr] warning: unused import: `std::fs::File` [INFO] [stderr] --> src/render/dot.rs:2:5 [INFO] [stderr] | [INFO] [stderr] 2 | use std::fs::File; [INFO] [stderr] | ^^^^^^^^^^^^^ [INFO] [stderr] [INFO] [stderr] warning: unused import: `BufWriter` [INFO] [stderr] --> src/render/dot.rs:3:15 [INFO] [stderr] | [INFO] [stderr] 3 | use std::io::{BufWriter, Write}; [INFO] [stderr] | ^^^^^^^^^ [INFO] [stderr] [INFO] [stderr] warning: unused import: `HashSet` [INFO] [stderr] --> src/render/dot.rs:5:26 [INFO] [stderr] | [INFO] [stderr] 5 | use hashbrown::{HashMap, HashSet}; [INFO] [stderr] | ^^^^^^^ [INFO] [stderr] [INFO] [stderr] warning: unused import: `hashbrown::hash_map::Entry` [INFO] [stderr] --> src/render/dot.rs:6:5 [INFO] [stderr] | [INFO] [stderr] 6 | use hashbrown::hash_map::Entry; [INFO] [stderr] | ^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stderr] [INFO] [stderr] warning: unused import: `crate::aset::AutomaticSet` [INFO] [stderr] --> src/render/dot.rs:8:5 [INFO] [stderr] | [INFO] [stderr] 8 | use crate::aset::AutomaticSet; [INFO] [stderr] | ^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stderr] [INFO] [stderr] warning: unused imports: `Element`, `get_max_value` [INFO] [stderr] --> src/render/dot.rs:10:23 [INFO] [stderr] | [INFO] [stderr] 10 | use crate::elements::{Element, get_max_value, iterate_elements}; [INFO] [stderr] | ^^^^^^^ ^^^^^^^^^^^^^ [INFO] [stderr] [INFO] [stderr] warning: unreachable pattern [INFO] [stderr] --> src/formula.rs:282:13 [INFO] [stderr] | [INFO] [stderr] 282 | _ => unimplemented!(), [INFO] [stderr] | ^ [INFO] [stderr] | [INFO] [stderr] = note: `#[warn(unreachable_patterns)]` on by default [INFO] [stderr] [INFO] [stderr] warning: unreachable pattern [INFO] [stderr] --> src/solver.rs:85:9 [INFO] [stderr] | [INFO] [stderr] 85 | p => panic!("Not implemented predicate {:?}", p) [INFO] [stderr] | ^ [INFO] [stderr] [INFO] [stderr] warning: unused variable: `a` [INFO] [stderr] --> src/nfa.rs:198:25 [INFO] [stderr] | [INFO] [stderr] 198 | }).map(|(i, a)| i as StateId) [INFO] [stderr] | ^ help: if this is intentional, prefix it with an underscore: `_a` [INFO] [stderr] | [INFO] [stderr] = note: `#[warn(unused_variables)]` on by default [INFO] [stderr] [INFO] [stderr] warning: unused variable: `lte` [INFO] [stderr] --> src/aset.rs:101:43 [INFO] [stderr] | [INFO] [stderr] 101 | pub fn cut(&self, nth_element: usize, lte: bool) -> AutomaticSet { [INFO] [stderr] | ^^^ help: if this is intentional, prefix it with an underscore: `_lte` [INFO] [stderr] [INFO] [stderr] warning: unused variable: `p` [INFO] [stderr] --> src/formula.rs:132:29 [INFO] [stderr] | [INFO] [stderr] 132 | Self::Predicate(p) => 1, [INFO] [stderr] | ^ help: if this is intentional, prefix it with an underscore: `_p` [INFO] [stderr] [INFO] [stderr] warning: unused variable: `p` [INFO] [stderr] --> src/formula.rs:140:29 [INFO] [stderr] | [INFO] [stderr] 140 | Self::Predicate(p) => 1, [INFO] [stderr] | ^ help: if this is intentional, prefix it with an underscore: `_p` [INFO] [stderr] [INFO] [stderr] warning: unused variable: `needed` [INFO] [stderr] --> src/parser.rs:227:34 [INFO] [stderr] | [INFO] [stderr] 227 | nom::Err::Incomplete(needed) => panic!("Incomplete input"), [INFO] [stderr] | ^^^^^^ help: if this is intentional, prefix it with an underscore: `_needed` [INFO] [stderr] [INFO] [stderr] warning: variable does not need to be mutable [INFO] [stderr] --> src/formula.rs:344:25 [INFO] [stderr] | [INFO] [stderr] 344 | let mut fresh = Name::new_tmp(); [INFO] [stderr] | ----^^^^^ [INFO] [stderr] | | [INFO] [stderr] | help: remove this `mut` [INFO] [stderr] | [INFO] [stderr] = note: `#[warn(unused_mut)]` on by default [INFO] [stderr] [INFO] [stderr] warning: variable does not need to be mutable [INFO] [stderr] --> src/words.rs:53:9 [INFO] [stderr] | [INFO] [stderr] 53 | let mut process = |state_id: StateId, s_next: &mut Vec, remaining: &mut Vec| { [INFO] [stderr] | ----^^^^^^^ [INFO] [stderr] | | [INFO] [stderr] | help: remove this `mut` [INFO] [stderr] [INFO] [stderr] warning: variable does not need to be mutable [INFO] [stderr] --> src/words.rs:98:9 [INFO] [stderr] | [INFO] [stderr] 98 | let mut process = |state_id: StateId, s_next: &mut Vec, remaining: &mut Vec| { [INFO] [stderr] | ----^^^^^^^ [INFO] [stderr] | | [INFO] [stderr] | help: remove this `mut` [INFO] [stderr] [INFO] [stderr] warning: variable does not need to be mutable [INFO] [stderr] --> src/elements.rs:103:56 [INFO] [stderr] | [INFO] [stderr] 103 | pub fn iterate_elements(dfa: &Dfa, mut limit: Option, mut callback: F) { [INFO] [stderr] | ----^^^^^ [INFO] [stderr] | | [INFO] [stderr] | help: remove this `mut` [INFO] [stderr] [INFO] [stderr] warning: variable does not need to be mutable [INFO] [stderr] --> src/elements.rs:103:82 [INFO] [stderr] | [INFO] [stderr] 103 | pub fn iterate_elements(dfa: &Dfa, mut limit: Option, mut callback: F) { [INFO] [stderr] | ----^^^^^^^^ [INFO] [stderr] | | [INFO] [stderr] | help: remove this `mut` [INFO] [stderr] [INFO] [stderr] warning: variable does not need to be mutable [INFO] [stderr] --> src/elements.rs:119:9 [INFO] [stderr] | [INFO] [stderr] 119 | let mut element = Element::new(dfa.n_tracks()); [INFO] [stderr] | ----^^^^^^^ [INFO] [stderr] | | [INFO] [stderr] | help: remove this `mut` [INFO] [stderr] [INFO] [stderr] warning: variable does not need to be mutable [INFO] [stderr] --> src/elements.rs:216:9 [INFO] [stderr] | [INFO] [stderr] 216 | let mut lengths = longest_words(&dfa); [INFO] [stderr] | ----^^^^^^^ [INFO] [stderr] | | [INFO] [stderr] | help: remove this `mut` [INFO] [stderr] [INFO] [stderr] warning: method is never used: `as_slice` [INFO] [stderr] --> src/table.rs:46:5 [INFO] [stderr] | [INFO] [stderr] 46 | pub fn as_slice(&self) -> &[T] { [INFO] [stderr] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stderr] | [INFO] [stderr] = note: `#[warn(dead_code)]` on by default [INFO] [stderr] [INFO] [stderr] warning: method is never used: `states` [INFO] [stderr] --> src/dfa.rs:65:5 [INFO] [stderr] | [INFO] [stderr] 65 | pub fn states(&self) -> impl Iterator { [INFO] [stderr] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stderr] [INFO] [stderr] warning: method is never used: `accepting` [INFO] [stderr] --> src/dfa.rs:75:5 [INFO] [stderr] | [INFO] [stderr] 75 | pub fn accepting(&self) -> &Vec { [INFO] [stderr] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stderr] [INFO] [stderr] warning: method is never used: `transitions` [INFO] [stderr] --> src/dfa.rs:80:5 [INFO] [stderr] | [INFO] [stderr] 80 | pub fn transitions(&self) -> &[StateId] { [INFO] [stderr] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stderr] [INFO] [stderr] warning: method is never used: `test_input` [INFO] [stderr] --> src/dfa.rs:138:5 [INFO] [stderr] | [INFO] [stderr] 138 | pub fn test_input>(&self, word: I) -> bool { [INFO] [stderr] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stderr] [INFO] [stderr] warning: method is never used: `pair` [INFO] [stderr] --> src/nfa.rs:38:5 [INFO] [stderr] | [INFO] [stderr] 38 | pub fn pair(state_id1: StateId, state_id2: StateId) -> Transition { [INFO] [stderr] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stderr] [INFO] [stderr] warning: method is never used: `alphabet_size` [INFO] [stderr] --> src/automaton.rs:58:5 [INFO] [stderr] | [INFO] [stderr] 58 | pub fn alphabet_size(&self) -> usize { [INFO] [stderr] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stderr] [INFO] [stderr] warning: method is never used: `cut` [INFO] [stderr] --> src/aset.rs:101:5 [INFO] [stderr] | [INFO] [stderr] 101 | pub fn cut(&self, nth_element: usize, lte: bool) -> AutomaticSet { [INFO] [stderr] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stderr] [INFO] [stderr] warning: method is never used: `cut2` [INFO] [stderr] --> src/aset.rs:118:5 [INFO] [stderr] | [INFO] [stderr] 118 | pub fn cut2(&self, nth_element: usize) -> (AutomaticSet, AutomaticSet) { [INFO] [stderr] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stderr] [INFO] [stderr] warning: method is never used: `intersection` [INFO] [stderr] --> src/aset.rs:168:5 [INFO] [stderr] | [INFO] [stderr] 168 | pub fn intersection(self, other: AutomaticSet) -> AutomaticSet { [INFO] [stderr] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stderr] [INFO] [stderr] warning: method is never used: `size` [INFO] [stderr] --> src/aset.rs:172:5 [INFO] [stderr] | [INFO] [stderr] 172 | pub fn size(&self) -> Option { [INFO] [stderr] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stderr] [INFO] [stderr] warning: method is never used: `to_dfa` [INFO] [stderr] --> src/aset.rs:233:5 [INFO] [stderr] | [INFO] [stderr] 233 | pub fn to_dfa(self) -> Dfa { [INFO] [stderr] | ^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stderr] [INFO] [stderr] warning: method is never used: `test_input` [INFO] [stderr] --> src/aset.rs:246:5 [INFO] [stderr] | [INFO] [stderr] 246 | pub fn test_input(&mut self, values: &[(&str, u64)]) -> bool { [INFO] [stderr] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stderr] [INFO] [stderr] warning: method is never used: `is_empty` [INFO] [stderr] --> src/aset.rs:295:5 [INFO] [stderr] | [INFO] [stderr] 295 | pub fn is_empty(self) -> bool { [INFO] [stderr] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stderr] [INFO] [stderr] warning: method is never used: `size` [INFO] [stderr] --> src/formula.rs:130:5 [INFO] [stderr] | [INFO] [stderr] 130 | pub fn size(&self) -> usize { [INFO] [stderr] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stderr] [INFO] [stderr] warning: method is never used: `depth` [INFO] [stderr] --> src/formula.rs:138:5 [INFO] [stderr] | [INFO] [stderr] 138 | pub fn depth(&self) -> usize { [INFO] [stderr] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stderr] [INFO] [stderr] warning: method is never used: `from_str` [INFO] [stderr] --> src/formula.rs:184:5 [INFO] [stderr] | [INFO] [stderr] 184 | pub fn from_str(name: &str) -> Self { [INFO] [stderr] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stderr] [INFO] [stderr] warning: method is never used: `from_name` [INFO] [stderr] --> src/formula.rs:203:5 [INFO] [stderr] | [INFO] [stderr] 203 | pub fn from_name(name: Name) -> Self { [INFO] [stderr] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stderr] [INFO] [stderr] warning: variant is never constructed: `True` [INFO] [stderr] --> src/formula.rs:226:5 [INFO] [stderr] | [INFO] [stderr] 226 | True, [INFO] [stderr] | ^^^^ [INFO] [stderr] [INFO] [stderr] warning: variant is never constructed: `False` [INFO] [stderr] --> src/formula.rs:227:5 [INFO] [stderr] | [INFO] [stderr] 227 | False [INFO] [stderr] | ^^^^^ [INFO] [stderr] [INFO] [stderr] warning: function is never used: `parse_formula` [INFO] [stderr] --> src/parser.rs:204:8 [INFO] [stderr] | [INFO] [stderr] 204 | pub fn parse_formula(input: &str) -> HiFormula { [INFO] [stderr] | ^^^^^^^^^^^^^ [INFO] [stderr] [INFO] [stderr] warning: function is never used: `parse_setdef` [INFO] [stderr] --> src/parser.rs:208:8 [INFO] [stderr] | [INFO] [stderr] 208 | pub fn parse_setdef(input: &str) -> SetDef { [INFO] [stderr] | ^^^^^^^^^^^^ [INFO] [stderr] [INFO] [stderr] warning: function is never used: `number_of_words` [INFO] [stderr] --> src/words.rs:90:8 [INFO] [stderr] | [INFO] [stderr] 90 | pub fn number_of_words(dfa: &Dfa) -> Vec> [INFO] [stderr] | ^^^^^^^^^^^^^^^ [INFO] [stderr] [INFO] [stderr] warning: function is never used: `number_of_words_zero_length` [INFO] [stderr] --> src/words.rs:165:8 [INFO] [stderr] | [INFO] [stderr] 165 | pub fn number_of_words_zero_length(dfa: &Dfa) -> Vec { [INFO] [stderr] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stderr] [INFO] [stderr] warning: function is never used: `number_of_words_next_length` [INFO] [stderr] --> src/words.rs:169:8 [INFO] [stderr] | [INFO] [stderr] 169 | pub fn number_of_words_next_length(dfa: &Dfa, prev: &Vec) -> Vec { [INFO] [stderr] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stderr] [INFO] [stderr] warning: method is never used: `from` [INFO] [stderr] --> src/elements.rs:19:5 [INFO] [stderr] | [INFO] [stderr] 19 | pub fn from(values: Vec) -> Self { [INFO] [stderr] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stderr] [INFO] [stderr] warning: method is never used: `alphabet_size` [INFO] [stderr] --> src/elements.rs:23:5 [INFO] [stderr] | [INFO] [stderr] 23 | pub fn alphabet_size(&self) -> usize { [INFO] [stderr] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stderr] [INFO] [stderr] warning: method is never used: `n_tracks` [INFO] [stderr] --> src/elements.rs:27:5 [INFO] [stderr] | [INFO] [stderr] 27 | pub fn n_tracks(&self) -> usize { [INFO] [stderr] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stderr] [INFO] [stderr] warning: method is never used: `reset` [INFO] [stderr] --> src/elements.rs:50:5 [INFO] [stderr] | [INFO] [stderr] 50 | pub fn reset(&mut self) { [INFO] [stderr] | ^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stderr] [INFO] [stderr] warning: method is never used: `get_symbol` [INFO] [stderr] --> src/elements.rs:56:5 [INFO] [stderr] | [INFO] [stderr] 56 | pub fn get_symbol(&self, position: usize) -> usize { [INFO] [stderr] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stderr] [INFO] [stderr] warning: method is never used: `length` [INFO] [stderr] --> src/elements.rs:65:5 [INFO] [stderr] | [INFO] [stderr] 65 | pub fn length(&self) -> usize { [INFO] [stderr] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stderr] [INFO] [stderr] warning: method is never used: `into_vec` [INFO] [stderr] --> src/elements.rs:69:5 [INFO] [stderr] | [INFO] [stderr] 69 | pub fn into_vec(self) -> Vec { [INFO] [stderr] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stderr] [INFO] [stderr] warning: function is never used: `number_of_elements` [INFO] [stderr] --> src/elements.rs:94:8 [INFO] [stderr] | [INFO] [stderr] 94 | pub fn number_of_elements(dfa: &Dfa) -> Option [INFO] [stderr] | ^^^^^^^^^^^^^^^^^^ [INFO] [stderr] [INFO] [stderr] warning: function is never used: `cut` [INFO] [stderr] --> src/elements.rs:251:8 [INFO] [stderr] | [INFO] [stderr] 251 | pub fn cut(element: &Element) -> Nfa { [INFO] [stderr] | ^^^ [INFO] [stderr] [INFO] [stderr] warning: function is never used: `get_nth_element` [INFO] [stderr] --> src/elements.rs:298:8 [INFO] [stderr] | [INFO] [stderr] 298 | pub fn get_nth_element(dfa: &Dfa, mut nth_element: usize) -> Element { [INFO] [stderr] | ^^^^^^^^^^^^^^^ [INFO] [stderr] [INFO] [stderr] warning: function is never used: `render_set_dot` [INFO] [stderr] --> src/render/dot.rs:23:8 [INFO] [stderr] | [INFO] [stderr] 23 | pub fn render_set_dot(dfa: &Dfa, output: &mut W) { [INFO] [stderr] | ^^^^^^^^^^^^^^ [INFO] [stderr] [INFO] [stderr] warning: 77 warnings emitted [INFO] [stderr] [INFO] [stderr] Finished dev [unoptimized + debuginfo] target(s) in 55.56s [INFO] running `"docker" "inspect" "dee6722dbdce85b0658ccac3cbad4833fced4428a1d4fd1d635b1000a4182fb0"` [INFO] running `"docker" "rm" "-f" "dee6722dbdce85b0658ccac3cbad4833fced4428a1d4fd1d635b1000a4182fb0"` [INFO] [stdout] dee6722dbdce85b0658ccac3cbad4833fced4428a1d4fd1d635b1000a4182fb0 [INFO] running `"docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-14/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-14/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=warn" "-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" "/opt/rustwide/cargo-home/bin/cargo" "+1.44.0" "test" "--frozen" "--no-run"` [INFO] [stdout] 2548bbd39b30ee52903c3751fa0596c8033b154b321a551ac53d8ac7d8e6703a [INFO] [stderr] WARNING: Your kernel does not support swap limit capabilities or the cgroup is not mounted. Memory limited without swap. [INFO] running `"docker" "start" "-a" "2548bbd39b30ee52903c3751fa0596c8033b154b321a551ac53d8ac7d8e6703a"` [INFO] [stderr] sudo: setrlimit(RLIMIT_CORE): Operation not permitted [INFO] [stderr] Compiling pas v0.1.0 (/opt/rustwide/workdir) [INFO] [stderr] warning: unused import: `std::fs::File` [INFO] [stderr] --> src/main.rs:2:5 [INFO] [stderr] | [INFO] [stderr] 2 | use std::fs::File; [INFO] [stderr] | ^^^^^^^^^^^^^ [INFO] [stderr] | [INFO] [stderr] = note: `#[warn(unused_imports)]` on by default [INFO] [stderr] [INFO] [stderr] warning: unused import: `std::io::BufWriter` [INFO] [stderr] --> src/main.rs:3:5 [INFO] [stderr] | [INFO] [stderr] 3 | use std::io::BufWriter; [INFO] [stderr] | ^^^^^^^^^^^^^^^^^^ [INFO] [stderr] [INFO] [stderr] warning: unused import: `crate::aset::AutomaticSet` [INFO] [stderr] --> src/main.rs:9:5 [INFO] [stderr] | [INFO] [stderr] 9 | use crate::aset::AutomaticSet; [INFO] [stderr] | ^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stderr] [INFO] [stderr] warning: unused imports: `get_max_value`, `iterate_elements`, `number_of_elements` [INFO] [stderr] --> src/main.rs:10:23 [INFO] [stderr] | [INFO] [stderr] 10 | use crate::elements::{get_max_value, iterate_elements, number_of_elements}; [INFO] [stderr] | ^^^^^^^^^^^^^ ^^^^^^^^^^^^^^^^ ^^^^^^^^^^^^^^^^^^ [INFO] [stderr] [INFO] [stderr] warning: unused import: `setdef` [INFO] [stderr] --> src/main.rs:11:34 [INFO] [stderr] | [INFO] [stderr] 11 | use crate::parser::{parse_exact, setdef, unwrap_nom, commands, Command}; [INFO] [stderr] | ^^^^^^ [INFO] [stderr] [INFO] [stderr] warning: unused import: `crate::render::dot::render_set_dot` [INFO] [stderr] --> src/main.rs:12:5 [INFO] [stderr] | [INFO] [stderr] 12 | use crate::render::dot::render_set_dot; [INFO] [stderr] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stderr] [INFO] [stderr] warning: unused import: `crate::render::png::render_set_png` [INFO] [stderr] --> src/main.rs:13:5 [INFO] [stderr] | [INFO] [stderr] 13 | use crate::render::png::render_set_png; [INFO] [stderr] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stderr] [INFO] [stderr] warning: unused import: `build_set` [INFO] [stderr] --> src/main.rs:14:21 [INFO] [stderr] | [INFO] [stderr] 14 | use crate::solver::{build_set, Context}; [INFO] [stderr] | ^^^^^^^^^ [INFO] [stderr] [INFO] [stderr] warning: unused import: `crate::common::StateId` [INFO] [stderr] --> src/aset.rs:7:5 [INFO] [stderr] | [INFO] [stderr] 7 | use crate::common::StateId; [INFO] [stderr] | ^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stderr] [INFO] [stderr] warning: unused import: `Element` [INFO] [stderr] --> src/aset.rs:8:23 [INFO] [stderr] | [INFO] [stderr] 8 | use crate::elements::{Element, cut, get_nth_element, number_of_elements}; [INFO] [stderr] | ^^^^^^^ [INFO] [stderr] [INFO] [stderr] warning: unused import: `crate::formula::LoPredicate::EqConst` [INFO] [stderr] --> src/formula.rs:3:5 [INFO] [stderr] | [INFO] [stderr] 3 | use crate::formula::LoPredicate::EqConst; [INFO] [stderr] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stderr] [INFO] [stderr] warning: unused import: `crate::name::Name` [INFO] [stderr] --> src/solver.rs:122:9 [INFO] [stderr] | [INFO] [stderr] 122 | use crate::name::Name; [INFO] [stderr] | ^^^^^^^^^^^^^^^^^ [INFO] [stderr] [INFO] [stderr] warning: unused imports: `alpha1`, `char` [INFO] [stderr] --> src/parser.rs:3:32 [INFO] [stderr] | [INFO] [stderr] 3 | use nom::character::complete::{alpha1, char, digit1, multispace0}; [INFO] [stderr] | ^^^^^^ ^^^^ [INFO] [stderr] [INFO] [stderr] warning: unused import: `Variable` [INFO] [stderr] --> src/parser.rs:10:45 [INFO] [stderr] | [INFO] [stderr] 10 | use crate::formula::{Expression, HiFormula, Variable}; [INFO] [stderr] | ^^^^^^^^ [INFO] [stderr] [INFO] [stderr] warning: unnecessary parentheses around method argument [INFO] [stderr] --> src/parser.rs:292:35 [INFO] [stderr] | [INFO] [stderr] 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] [stderr] | ^^^^^^^^^^^^ help: remove these parentheses [INFO] [stderr] | [INFO] [stderr] = note: `#[warn(unused_parens)]` on by default [INFO] [stderr] [INFO] [stderr] warning: unused import: `crate::nfa::Nfa` [INFO] [stderr] --> src/words.rs:2:5 [INFO] [stderr] | [INFO] [stderr] 2 | use crate::nfa::Nfa; [INFO] [stderr] | ^^^^^^^^^^^^^^^ [INFO] [stderr] [INFO] [stderr] warning: unused import: `HashMap` [INFO] [stderr] --> src/words.rs:4:17 [INFO] [stderr] | [INFO] [stderr] 4 | use hashbrown::{HashMap, HashSet}; [INFO] [stderr] | ^^^^^^^ [INFO] [stderr] [INFO] [stderr] warning: unused import: `itertools::Itertools` [INFO] [stderr] --> src/words.rs:5:5 [INFO] [stderr] | [INFO] [stderr] 5 | use itertools::Itertools; [INFO] [stderr] | ^^^^^^^^^^^^^^^^^^^^ [INFO] [stderr] [INFO] [stderr] warning: unused import: `crate::words::Bound::Finite` [INFO] [stderr] --> src/words.rs:6:5 [INFO] [stderr] | [INFO] [stderr] 6 | use crate::words::Bound::Finite; [INFO] [stderr] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stderr] [INFO] [stderr] warning: unused imports: `parse_formula`, `parse_setdef` [INFO] [stderr] --> src/words.rs:178:25 [INFO] [stderr] | [INFO] [stderr] 178 | use crate::parser::{parse_formula, parse_setdef}; [INFO] [stderr] | ^^^^^^^^^^^^^ ^^^^^^^^^^^^ [INFO] [stderr] [INFO] [stderr] warning: unused import: `crate::name::Name` [INFO] [stderr] --> src/words.rs:179:9 [INFO] [stderr] | [INFO] [stderr] 179 | use crate::name::Name; [INFO] [stderr] | ^^^^^^^^^^^^^^^^^ [INFO] [stderr] [INFO] [stderr] warning: unused import: `crate::solver::build_set` [INFO] [stderr] --> src/words.rs:180:9 [INFO] [stderr] | [INFO] [stderr] 180 | use crate::solver::build_set; [INFO] [stderr] | ^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stderr] [INFO] [stderr] warning: unused import: `crate::nfa::Transition` [INFO] [stderr] --> src/words.rs:181:9 [INFO] [stderr] | [INFO] [stderr] 181 | use crate::nfa::Transition; [INFO] [stderr] | ^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stderr] [INFO] [stderr] warning: unnecessary parentheses around `for` iterator expression [INFO] [stderr] --> src/elements.rs:257:14 [INFO] [stderr] | [INFO] [stderr] 257 | for i in (0..length) { [INFO] [stderr] | ^^^^^^^^^^^ help: remove these parentheses [INFO] [stderr] [INFO] [stderr] warning: unused import: `parse_formula` [INFO] [stderr] --> src/elements.rs:366:25 [INFO] [stderr] | [INFO] [stderr] 366 | use crate::parser::{parse_formula, parse_setdef}; [INFO] [stderr] | ^^^^^^^^^^^^^ [INFO] [stderr] [INFO] [stderr] warning: unused import: `crate::name::Name` [INFO] [stderr] --> src/elements.rs:367:9 [INFO] [stderr] | [INFO] [stderr] 367 | use crate::name::Name; [INFO] [stderr] | ^^^^^^^^^^^^^^^^^ [INFO] [stderr] [INFO] [stderr] warning: unused import: `crate::nfa::Transition` [INFO] [stderr] --> src/elements.rs:369:9 [INFO] [stderr] | [INFO] [stderr] 369 | use crate::nfa::Transition; [INFO] [stderr] | ^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stderr] [INFO] [stderr] warning: unused import: `crate::table::TransitionTable` [INFO] [stderr] --> src/elements.rs:370:9 [INFO] [stderr] | [INFO] [stderr] 370 | use crate::table::TransitionTable; [INFO] [stderr] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stderr] [INFO] [stderr] warning: unused import: `std::fs::File` [INFO] [stderr] --> src/render/png.rs:1:5 [INFO] [stderr] | [INFO] [stderr] 1 | use std::fs::File; [INFO] [stderr] | ^^^^^^^^^^^^^ [INFO] [stderr] [INFO] [stderr] warning: unused import: `BufWriter` [INFO] [stderr] --> src/render/png.rs:2:15 [INFO] [stderr] | [INFO] [stderr] 2 | use std::io::{BufWriter, Write}; [INFO] [stderr] | ^^^^^^^^^ [INFO] [stderr] [INFO] [stderr] warning: unused import: `crate::aset::AutomaticSet` [INFO] [stderr] --> src/render/png.rs:4:5 [INFO] [stderr] | [INFO] [stderr] 4 | use crate::aset::AutomaticSet; [INFO] [stderr] | ^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stderr] [INFO] [stderr] warning: unused import: `std::fs::File` [INFO] [stderr] --> src/render/dot.rs:2:5 [INFO] [stderr] | [INFO] [stderr] 2 | use std::fs::File; [INFO] [stderr] | ^^^^^^^^^^^^^ [INFO] [stderr] [INFO] [stderr] warning: unused import: `BufWriter` [INFO] [stderr] --> src/render/dot.rs:3:15 [INFO] [stderr] | [INFO] [stderr] 3 | use std::io::{BufWriter, Write}; [INFO] [stderr] | ^^^^^^^^^ [INFO] [stderr] [INFO] [stderr] warning: unused import: `HashSet` [INFO] [stderr] --> src/render/dot.rs:5:26 [INFO] [stderr] | [INFO] [stderr] 5 | use hashbrown::{HashMap, HashSet}; [INFO] [stderr] | ^^^^^^^ [INFO] [stderr] [INFO] [stderr] warning: unused import: `hashbrown::hash_map::Entry` [INFO] [stderr] --> src/render/dot.rs:6:5 [INFO] [stderr] | [INFO] [stderr] 6 | use hashbrown::hash_map::Entry; [INFO] [stderr] | ^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stderr] [INFO] [stderr] warning: unused import: `crate::aset::AutomaticSet` [INFO] [stderr] --> src/render/dot.rs:8:5 [INFO] [stderr] | [INFO] [stderr] 8 | use crate::aset::AutomaticSet; [INFO] [stderr] | ^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stderr] [INFO] [stderr] warning: unused imports: `Element`, `get_max_value` [INFO] [stderr] --> src/render/dot.rs:10:23 [INFO] [stderr] | [INFO] [stderr] 10 | use crate::elements::{Element, get_max_value, iterate_elements}; [INFO] [stderr] | ^^^^^^^ ^^^^^^^^^^^^^ [INFO] [stderr] [INFO] [stderr] warning: unreachable pattern [INFO] [stderr] --> src/formula.rs:282:13 [INFO] [stderr] | [INFO] [stderr] 282 | _ => unimplemented!(), [INFO] [stderr] | ^ [INFO] [stderr] | [INFO] [stderr] = note: `#[warn(unreachable_patterns)]` on by default [INFO] [stderr] [INFO] [stderr] warning: unreachable pattern [INFO] [stderr] --> src/solver.rs:85:9 [INFO] [stderr] | [INFO] [stderr] 85 | p => panic!("Not implemented predicate {:?}", p) [INFO] [stderr] | ^ [INFO] [stderr] [INFO] [stderr] warning: unused variable: `a` [INFO] [stderr] --> src/nfa.rs:198:25 [INFO] [stderr] | [INFO] [stderr] 198 | }).map(|(i, a)| i as StateId) [INFO] [stderr] | ^ help: if this is intentional, prefix it with an underscore: `_a` [INFO] [stderr] | [INFO] [stderr] = note: `#[warn(unused_variables)]` on by default [INFO] [stderr] [INFO] [stderr] warning: unused variable: `lte` [INFO] [stderr] --> src/aset.rs:101:43 [INFO] [stderr] | [INFO] [stderr] 101 | pub fn cut(&self, nth_element: usize, lte: bool) -> AutomaticSet { [INFO] [stderr] | ^^^ help: if this is intentional, prefix it with an underscore: `_lte` [INFO] [stderr] [INFO] [stderr] warning: unused variable: `p` [INFO] [stderr] --> src/formula.rs:132:29 [INFO] [stderr] | [INFO] [stderr] 132 | Self::Predicate(p) => 1, [INFO] [stderr] | ^ help: if this is intentional, prefix it with an underscore: `_p` [INFO] [stderr] [INFO] [stderr] warning: unused variable: `p` [INFO] [stderr] --> src/formula.rs:140:29 [INFO] [stderr] | [INFO] [stderr] 140 | Self::Predicate(p) => 1, [INFO] [stderr] | ^ help: if this is intentional, prefix it with an underscore: `_p` [INFO] [stderr] [INFO] [stderr] warning: unused variable: `a` [INFO] [stderr] --> src/solver.rs:236:13 [INFO] [stderr] | [INFO] [stderr] 236 | let mut a = evaluate_formula(&f); [INFO] [stderr] | ^^^^^ help: if this is intentional, prefix it with an underscore: `_a` [INFO] [stderr] [INFO] [stderr] warning: unused variable: `needed` [INFO] [stderr] --> src/parser.rs:227:34 [INFO] [stderr] | [INFO] [stderr] 227 | nom::Err::Incomplete(needed) => panic!("Incomplete input"), [INFO] [stderr] | ^^^^^^ help: if this is intentional, prefix it with an underscore: `_needed` [INFO] [stderr] [INFO] [stderr] warning: unused variable: `d` [INFO] [stderr] --> src/elements.rs:507:17 [INFO] [stderr] | [INFO] [stderr] 507 | let (c, d) = a.cut2(16); [INFO] [stderr] | ^ help: if this is intentional, prefix it with an underscore: `_d` [INFO] [stderr] [INFO] [stderr] warning: variable does not need to be mutable [INFO] [stderr] --> src/formula.rs:344:25 [INFO] [stderr] | [INFO] [stderr] 344 | let mut fresh = Name::new_tmp(); [INFO] [stderr] | ----^^^^^ [INFO] [stderr] | | [INFO] [stderr] | help: remove this `mut` [INFO] [stderr] | [INFO] [stderr] = note: `#[warn(unused_mut)]` on by default [INFO] [stderr] [INFO] [stderr] warning: variable does not need to be mutable [INFO] [stderr] --> src/solver.rs:236:13 [INFO] [stderr] | [INFO] [stderr] 236 | let mut a = evaluate_formula(&f); [INFO] [stderr] | ----^ [INFO] [stderr] | | [INFO] [stderr] | help: remove this `mut` [INFO] [stderr] [INFO] [stderr] warning: variable does not need to be mutable [INFO] [stderr] --> src/solver.rs:265:13 [INFO] [stderr] | [INFO] [stderr] 265 | let mut a = evaluate_formula(&parse_formula("x < 10 and x > 10").make_lo_formula()); [INFO] [stderr] | ----^ [INFO] [stderr] | | [INFO] [stderr] | help: remove this `mut` [INFO] [stderr] [INFO] [stderr] warning: variable does not need to be mutable [INFO] [stderr] --> src/solver.rs:271:13 [INFO] [stderr] | [INFO] [stderr] 271 | let mut a = evaluate_formula(&parse_formula("x < 10 and x > 5").make_lo_formula()); [INFO] [stderr] | ----^ [INFO] [stderr] | | [INFO] [stderr] | help: remove this `mut` [INFO] [stderr] [INFO] [stderr] warning: variable does not need to be mutable [INFO] [stderr] --> src/words.rs:53:9 [INFO] [stderr] | [INFO] [stderr] 53 | let mut process = |state_id: StateId, s_next: &mut Vec, remaining: &mut Vec| { [INFO] [stderr] | ----^^^^^^^ [INFO] [stderr] | | [INFO] [stderr] | help: remove this `mut` [INFO] [stderr] [INFO] [stderr] warning: variable does not need to be mutable [INFO] [stderr] --> src/words.rs:98:9 [INFO] [stderr] | [INFO] [stderr] 98 | let mut process = |state_id: StateId, s_next: &mut Vec, remaining: &mut Vec| { [INFO] [stderr] | ----^^^^^^^ [INFO] [stderr] | | [INFO] [stderr] | help: remove this `mut` [INFO] [stderr] [INFO] [stderr] warning: variable does not need to be mutable [INFO] [stderr] --> src/elements.rs:103:56 [INFO] [stderr] | [INFO] [stderr] 103 | pub fn iterate_elements(dfa: &Dfa, mut limit: Option, mut callback: F) { [INFO] [stderr] | ----^^^^^ [INFO] [stderr] | | [INFO] [stderr] | help: remove this `mut` [INFO] [stderr] [INFO] [stderr] warning: variable does not need to be mutable [INFO] [stderr] --> src/elements.rs:103:82 [INFO] [stderr] | [INFO] [stderr] 103 | pub fn iterate_elements(dfa: &Dfa, mut limit: Option, mut callback: F) { [INFO] [stderr] | ----^^^^^^^^ [INFO] [stderr] | | [INFO] [stderr] | help: remove this `mut` [INFO] [stderr] [INFO] [stderr] warning: variable does not need to be mutable [INFO] [stderr] --> src/elements.rs:119:9 [INFO] [stderr] | [INFO] [stderr] 119 | let mut element = Element::new(dfa.n_tracks()); [INFO] [stderr] | ----^^^^^^^ [INFO] [stderr] | | [INFO] [stderr] | help: remove this `mut` [INFO] [stderr] [INFO] [stderr] warning: variable does not need to be mutable [INFO] [stderr] --> src/elements.rs:216:9 [INFO] [stderr] | [INFO] [stderr] 216 | let mut lengths = longest_words(&dfa); [INFO] [stderr] | ----^^^^^^^ [INFO] [stderr] | | [INFO] [stderr] | help: remove this `mut` [INFO] [stderr] [INFO] [stderr] warning: variable does not need to be mutable [INFO] [stderr] --> src/render/dot.rs:103:13 [INFO] [stderr] | [INFO] [stderr] 103 | let mut dfa = make_dfa("{ x, y | x < 10 and y < 10 and x == y }"); [INFO] [stderr] | ----^^^ [INFO] [stderr] | | [INFO] [stderr] | help: remove this `mut` [INFO] [stderr] [INFO] [stderr] warning: variable does not need to be mutable [INFO] [stderr] --> src/render/dot.rs:123:13 [INFO] [stderr] | [INFO] [stderr] 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] [stderr] | ----^^^ [INFO] [stderr] | | [INFO] [stderr] | help: remove this `mut` [INFO] [stderr] [INFO] [stderr] warning: method is never used: `alphabet_size` [INFO] [stderr] --> src/automaton.rs:58:5 [INFO] [stderr] | [INFO] [stderr] 58 | pub fn alphabet_size(&self) -> usize { [INFO] [stderr] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stderr] | [INFO] [stderr] = note: `#[warn(dead_code)]` on by default [INFO] [stderr] [INFO] [stderr] warning: method is never used: `intersection` [INFO] [stderr] --> src/aset.rs:168:5 [INFO] [stderr] | [INFO] [stderr] 168 | pub fn intersection(self, other: AutomaticSet) -> AutomaticSet { [INFO] [stderr] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stderr] [INFO] [stderr] warning: method is never used: `size` [INFO] [stderr] --> src/aset.rs:172:5 [INFO] [stderr] | [INFO] [stderr] 172 | pub fn size(&self) -> Option { [INFO] [stderr] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stderr] [INFO] [stderr] warning: method is never used: `size` [INFO] [stderr] --> src/formula.rs:130:5 [INFO] [stderr] | [INFO] [stderr] 130 | pub fn size(&self) -> usize { [INFO] [stderr] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stderr] [INFO] [stderr] warning: method is never used: `depth` [INFO] [stderr] --> src/formula.rs:138:5 [INFO] [stderr] | [INFO] [stderr] 138 | pub fn depth(&self) -> usize { [INFO] [stderr] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stderr] [INFO] [stderr] warning: method is never used: `from_str` [INFO] [stderr] --> src/formula.rs:184:5 [INFO] [stderr] | [INFO] [stderr] 184 | pub fn from_str(name: &str) -> Self { [INFO] [stderr] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stderr] [INFO] [stderr] warning: variant is never constructed: `True` [INFO] [stderr] --> src/formula.rs:226:5 [INFO] [stderr] | [INFO] [stderr] 226 | True, [INFO] [stderr] | ^^^^ [INFO] [stderr] [INFO] [stderr] warning: variant is never constructed: `False` [INFO] [stderr] --> src/formula.rs:227:5 [INFO] [stderr] | [INFO] [stderr] 227 | False [INFO] [stderr] | ^^^^^ [INFO] [stderr] [INFO] [stderr] warning: method is never used: `from` [INFO] [stderr] --> src/elements.rs:19:5 [INFO] [stderr] | [INFO] [stderr] 19 | pub fn from(values: Vec) -> Self { [INFO] [stderr] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stderr] [INFO] [stderr] warning: method is never used: `reset` [INFO] [stderr] --> src/elements.rs:50:5 [INFO] [stderr] | [INFO] [stderr] 50 | pub fn reset(&mut self) { [INFO] [stderr] | ^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stderr] [INFO] [stderr] warning: 68 warnings emitted [INFO] [stderr] [INFO] [stderr] Finished test [unoptimized + debuginfo] target(s) in 7.28s [INFO] running `"docker" "inspect" "2548bbd39b30ee52903c3751fa0596c8033b154b321a551ac53d8ac7d8e6703a"` [INFO] running `"docker" "rm" "-f" "2548bbd39b30ee52903c3751fa0596c8033b154b321a551ac53d8ac7d8e6703a"` [INFO] [stdout] 2548bbd39b30ee52903c3751fa0596c8033b154b321a551ac53d8ac7d8e6703a [INFO] running `"docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-14/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-14/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=warn" "-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" "/opt/rustwide/cargo-home/bin/cargo" "+1.44.0" "test" "--frozen"` [INFO] [stdout] dab4330d41d44fedcac34b6289425a5aa10156fca645c2399e2940804ca23d07 [INFO] [stderr] WARNING: Your kernel does not support swap limit capabilities or the cgroup is not mounted. Memory limited without swap. [INFO] running `"docker" "start" "-a" "dab4330d41d44fedcac34b6289425a5aa10156fca645c2399e2940804ca23d07"` [INFO] [stderr] sudo: setrlimit(RLIMIT_CORE): Operation not permitted [INFO] [stderr] warning: unused import: `std::fs::File` [INFO] [stderr] --> src/main.rs:2:5 [INFO] [stderr] | [INFO] [stderr] 2 | use std::fs::File; [INFO] [stderr] | ^^^^^^^^^^^^^ [INFO] [stderr] | [INFO] [stderr] = note: `#[warn(unused_imports)]` on by default [INFO] [stderr] [INFO] [stderr] warning: unused import: `std::io::BufWriter` [INFO] [stderr] --> src/main.rs:3:5 [INFO] [stderr] | [INFO] [stderr] 3 | use std::io::BufWriter; [INFO] [stderr] | ^^^^^^^^^^^^^^^^^^ [INFO] [stderr] [INFO] [stderr] warning: unused import: `crate::aset::AutomaticSet` [INFO] [stderr] --> src/main.rs:9:5 [INFO] [stderr] | [INFO] [stderr] 9 | use crate::aset::AutomaticSet; [INFO] [stderr] | ^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stderr] [INFO] [stderr] warning: unused imports: `get_max_value`, `iterate_elements`, `number_of_elements` [INFO] [stderr] --> src/main.rs:10:23 [INFO] [stderr] | [INFO] [stderr] 10 | use crate::elements::{get_max_value, iterate_elements, number_of_elements}; [INFO] [stderr] | ^^^^^^^^^^^^^ ^^^^^^^^^^^^^^^^ ^^^^^^^^^^^^^^^^^^ [INFO] [stderr] [INFO] [stderr] warning: unused import: `setdef` [INFO] [stderr] --> src/main.rs:11:34 [INFO] [stderr] | [INFO] [stderr] 11 | use crate::parser::{parse_exact, setdef, unwrap_nom, commands, Command}; [INFO] [stderr] | ^^^^^^ [INFO] [stderr] [INFO] [stderr] warning: unused import: `crate::render::dot::render_set_dot` [INFO] [stderr] --> src/main.rs:12:5 [INFO] [stderr] | [INFO] [stderr] 12 | use crate::render::dot::render_set_dot; [INFO] [stderr] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stderr] [INFO] [stderr] warning: unused import: `crate::render::png::render_set_png` [INFO] [stderr] --> src/main.rs:13:5 [INFO] [stderr] | [INFO] [stderr] 13 | use crate::render::png::render_set_png; [INFO] [stderr] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stderr] [INFO] [stderr] warning: unused import: `build_set` [INFO] [stderr] --> src/main.rs:14:21 [INFO] [stderr] | [INFO] [stderr] 14 | use crate::solver::{build_set, Context}; [INFO] [stderr] | ^^^^^^^^^ [INFO] [stderr] [INFO] [stderr] warning: unused import: `crate::common::StateId` [INFO] [stderr] --> src/aset.rs:7:5 [INFO] [stderr] | [INFO] [stderr] 7 | use crate::common::StateId; [INFO] [stderr] | ^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stderr] [INFO] [stderr] warning: unused import: `Element` [INFO] [stderr] --> src/aset.rs:8:23 [INFO] [stderr] | [INFO] [stderr] 8 | use crate::elements::{Element, cut, get_nth_element, number_of_elements}; [INFO] [stderr] | ^^^^^^^ [INFO] [stderr] [INFO] [stderr] warning: unused import: `crate::formula::LoPredicate::EqConst` [INFO] [stderr] --> src/formula.rs:3:5 [INFO] [stderr] | [INFO] [stderr] 3 | use crate::formula::LoPredicate::EqConst; [INFO] [stderr] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stderr] [INFO] [stderr] warning: unused import: `crate::name::Name` [INFO] [stderr] --> src/solver.rs:122:9 [INFO] [stderr] | [INFO] [stderr] 122 | use crate::name::Name; [INFO] [stderr] | ^^^^^^^^^^^^^^^^^ [INFO] [stderr] [INFO] [stderr] warning: unused imports: `alpha1`, `char` [INFO] [stderr] --> src/parser.rs:3:32 [INFO] [stderr] | [INFO] [stderr] 3 | use nom::character::complete::{alpha1, char, digit1, multispace0}; [INFO] [stderr] | ^^^^^^ ^^^^ [INFO] [stderr] [INFO] [stderr] warning: unused import: `Variable` [INFO] [stderr] --> src/parser.rs:10:45 [INFO] [stderr] | [INFO] [stderr] 10 | use crate::formula::{Expression, HiFormula, Variable}; [INFO] [stderr] | ^^^^^^^^ [INFO] [stderr] [INFO] [stderr] warning: unnecessary parentheses around method argument [INFO] [stderr] --> src/parser.rs:292:35 [INFO] [stderr] | [INFO] [stderr] 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] [stderr] | ^^^^^^^^^^^^ help: remove these parentheses [INFO] [stderr] | [INFO] [stderr] = note: `#[warn(unused_parens)]` on by default [INFO] [stderr] [INFO] [stderr] warning: unused import: `crate::nfa::Nfa` [INFO] [stderr] --> src/words.rs:2:5 [INFO] [stderr] | [INFO] [stderr] 2 | use crate::nfa::Nfa; [INFO] [stderr] | ^^^^^^^^^^^^^^^ [INFO] [stderr] [INFO] [stderr] warning: unused import: `HashMap` [INFO] [stderr] --> src/words.rs:4:17 [INFO] [stderr] | [INFO] [stderr] 4 | use hashbrown::{HashMap, HashSet}; [INFO] [stderr] | ^^^^^^^ [INFO] [stderr] [INFO] [stderr] warning: unused import: `itertools::Itertools` [INFO] [stderr] --> src/words.rs:5:5 [INFO] [stderr] | [INFO] [stderr] 5 | use itertools::Itertools; [INFO] [stderr] | ^^^^^^^^^^^^^^^^^^^^ [INFO] [stderr] [INFO] [stderr] warning: unused import: `crate::words::Bound::Finite` [INFO] [stderr] --> src/words.rs:6:5 [INFO] [stderr] | [INFO] [stderr] 6 | use crate::words::Bound::Finite; [INFO] [stderr] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stderr] [INFO] [stderr] warning: unused imports: `parse_formula`, `parse_setdef` [INFO] [stderr] --> src/words.rs:178:25 [INFO] [stderr] | [INFO] [stderr] 178 | use crate::parser::{parse_formula, parse_setdef}; [INFO] [stderr] | ^^^^^^^^^^^^^ ^^^^^^^^^^^^ [INFO] [stderr] [INFO] [stderr] warning: unused import: `crate::name::Name` [INFO] [stderr] --> src/words.rs:179:9 [INFO] [stderr] | [INFO] [stderr] 179 | use crate::name::Name; [INFO] [stderr] | ^^^^^^^^^^^^^^^^^ [INFO] [stderr] [INFO] [stderr] warning: unused import: `crate::solver::build_set` [INFO] [stderr] --> src/words.rs:180:9 [INFO] [stderr] | [INFO] [stderr] 180 | use crate::solver::build_set; [INFO] [stderr] | ^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stderr] [INFO] [stderr] warning: unused import: `crate::nfa::Transition` [INFO] [stderr] --> src/words.rs:181:9 [INFO] [stderr] | [INFO] [stderr] 181 | use crate::nfa::Transition; [INFO] [stderr] | ^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stderr] [INFO] [stderr] warning: unnecessary parentheses around `for` iterator expression [INFO] [stderr] --> src/elements.rs:257:14 [INFO] [stderr] | [INFO] [stderr] 257 | for i in (0..length) { [INFO] [stderr] | ^^^^^^^^^^^ help: remove these parentheses [INFO] [stderr] [INFO] [stderr] warning: unused import: `parse_formula` [INFO] [stderr] --> src/elements.rs:366:25 [INFO] [stderr] | [INFO] [stderr] 366 | use crate::parser::{parse_formula, parse_setdef}; [INFO] [stderr] | ^^^^^^^^^^^^^ [INFO] [stderr] [INFO] [stderr] warning: unused import: `crate::name::Name` [INFO] [stderr] --> src/elements.rs:367:9 [INFO] [stderr] | [INFO] [stderr] 367 | use crate::name::Name; [INFO] [stderr] | ^^^^^^^^^^^^^^^^^ [INFO] [stderr] [INFO] [stderr] warning: unused import: `crate::nfa::Transition` [INFO] [stderr] --> src/elements.rs:369:9 [INFO] [stderr] | [INFO] [stderr] 369 | use crate::nfa::Transition; [INFO] [stderr] | ^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stderr] [INFO] [stderr] warning: unused import: `crate::table::TransitionTable` [INFO] [stderr] --> src/elements.rs:370:9 [INFO] [stderr] | [INFO] [stderr] 370 | use crate::table::TransitionTable; [INFO] [stderr] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stderr] [INFO] [stderr] warning: unused import: `std::fs::File` [INFO] [stderr] --> src/render/png.rs:1:5 [INFO] [stderr] | [INFO] [stderr] 1 | use std::fs::File; [INFO] [stderr] | ^^^^^^^^^^^^^ [INFO] [stderr] [INFO] [stderr] warning: unused import: `BufWriter` [INFO] [stderr] --> src/render/png.rs:2:15 [INFO] [stderr] | [INFO] [stderr] 2 | use std::io::{BufWriter, Write}; [INFO] [stderr] | ^^^^^^^^^ [INFO] [stderr] [INFO] [stderr] warning: unused import: `crate::aset::AutomaticSet` [INFO] [stderr] --> src/render/png.rs:4:5 [INFO] [stderr] | [INFO] [stderr] 4 | use crate::aset::AutomaticSet; [INFO] [stderr] | ^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stderr] [INFO] [stderr] warning: unused import: `std::fs::File` [INFO] [stderr] --> src/render/dot.rs:2:5 [INFO] [stderr] | [INFO] [stderr] 2 | use std::fs::File; [INFO] [stderr] | ^^^^^^^^^^^^^ [INFO] [stderr] [INFO] [stderr] warning: unused import: `BufWriter` [INFO] [stderr] --> src/render/dot.rs:3:15 [INFO] [stderr] | [INFO] [stderr] 3 | use std::io::{BufWriter, Write}; [INFO] [stderr] | ^^^^^^^^^ [INFO] [stderr] [INFO] [stderr] warning: unused import: `HashSet` [INFO] [stderr] --> src/render/dot.rs:5:26 [INFO] [stderr] | [INFO] [stderr] 5 | use hashbrown::{HashMap, HashSet}; [INFO] [stderr] | ^^^^^^^ [INFO] [stderr] [INFO] [stderr] warning: unused import: `hashbrown::hash_map::Entry` [INFO] [stderr] --> src/render/dot.rs:6:5 [INFO] [stderr] | [INFO] [stderr] 6 | use hashbrown::hash_map::Entry; [INFO] [stderr] | ^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stderr] [INFO] [stderr] warning: unused import: `crate::aset::AutomaticSet` [INFO] [stderr] --> src/render/dot.rs:8:5 [INFO] [stderr] | [INFO] [stderr] 8 | use crate::aset::AutomaticSet; [INFO] [stderr] | ^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stderr] [INFO] [stderr] warning: unused imports: `Element`, `get_max_value` [INFO] [stderr] --> src/render/dot.rs:10:23 [INFO] [stderr] | [INFO] [stderr] 10 | use crate::elements::{Element, get_max_value, iterate_elements}; [INFO] [stderr] | ^^^^^^^ ^^^^^^^^^^^^^ [INFO] [stderr] [INFO] [stderr] warning: unreachable pattern [INFO] [stderr] --> src/formula.rs:282:13 [INFO] [stderr] | [INFO] [stderr] 282 | _ => unimplemented!(), [INFO] [stderr] | ^ [INFO] [stderr] | [INFO] [stderr] = note: `#[warn(unreachable_patterns)]` on by default [INFO] [stderr] [INFO] [stderr] warning: unreachable pattern [INFO] [stderr] --> src/solver.rs:85:9 [INFO] [stderr] | [INFO] [stderr] 85 | p => panic!("Not implemented predicate {:?}", p) [INFO] [stderr] | ^ [INFO] [stderr] [INFO] [stderr] warning: unused variable: `a` [INFO] [stderr] --> src/nfa.rs:198:25 [INFO] [stderr] | [INFO] [stderr] 198 | }).map(|(i, a)| i as StateId) [INFO] [stderr] | ^ help: if this is intentional, prefix it with an underscore: `_a` [INFO] [stderr] | [INFO] [stderr] = note: `#[warn(unused_variables)]` on by default [INFO] [stderr] [INFO] [stderr] warning: unused variable: `lte` [INFO] [stderr] --> src/aset.rs:101:43 [INFO] [stderr] | [INFO] [stderr] 101 | pub fn cut(&self, nth_element: usize, lte: bool) -> AutomaticSet { [INFO] [stderr] | ^^^ help: if this is intentional, prefix it with an underscore: `_lte` [INFO] [stderr] [INFO] [stderr] warning: unused variable: `p` [INFO] [stderr] --> src/formula.rs:132:29 [INFO] [stderr] | [INFO] [stderr] 132 | Self::Predicate(p) => 1, [INFO] [stderr] | ^ help: if this is intentional, prefix it with an underscore: `_p` [INFO] [stderr] [INFO] [stderr] warning: unused variable: `p` [INFO] [stderr] --> src/formula.rs:140:29 [INFO] [stderr] | [INFO] [stderr] 140 | Self::Predicate(p) => 1, [INFO] [stderr] | ^ help: if this is intentional, prefix it with an underscore: `_p` [INFO] [stderr] [INFO] [stderr] warning: unused variable: `a` [INFO] [stderr] --> src/solver.rs:236:13 [INFO] [stderr] | [INFO] [stderr] 236 | let mut a = evaluate_formula(&f); [INFO] [stderr] | ^^^^^ help: if this is intentional, prefix it with an underscore: `_a` [INFO] [stderr] [INFO] [stderr] warning: unused variable: `needed` [INFO] [stderr] --> src/parser.rs:227:34 [INFO] [stderr] | [INFO] [stderr] 227 | nom::Err::Incomplete(needed) => panic!("Incomplete input"), [INFO] [stderr] | ^^^^^^ help: if this is intentional, prefix it with an underscore: `_needed` [INFO] [stderr] [INFO] [stderr] warning: unused variable: `d` [INFO] [stderr] --> src/elements.rs:507:17 [INFO] [stderr] | [INFO] [stderr] 507 | let (c, d) = a.cut2(16); [INFO] [stderr] | ^ help: if this is intentional, prefix it with an underscore: `_d` [INFO] [stderr] [INFO] [stderr] warning: variable does not need to be mutable [INFO] [stderr] --> src/formula.rs:344:25 [INFO] [stderr] | [INFO] [stderr] 344 | let mut fresh = Name::new_tmp(); [INFO] [stderr] | ----^^^^^ [INFO] [stderr] | | [INFO] [stderr] | help: remove this `mut` [INFO] [stderr] | [INFO] [stderr] = note: `#[warn(unused_mut)]` on by default [INFO] [stderr] [INFO] [stderr] warning: variable does not need to be mutable [INFO] [stderr] --> src/solver.rs:236:13 [INFO] [stderr] | [INFO] [stderr] 236 | let mut a = evaluate_formula(&f); [INFO] [stderr] | ----^ [INFO] [stderr] | | [INFO] [stderr] | help: remove this `mut` [INFO] [stderr] [INFO] [stderr] warning: variable does not need to be mutable [INFO] [stderr] --> src/solver.rs:265:13 [INFO] [stderr] | [INFO] [stderr] 265 | let mut a = evaluate_formula(&parse_formula("x < 10 and x > 10").make_lo_formula()); [INFO] [stderr] | ----^ [INFO] [stderr] | | [INFO] [stderr] | help: remove this `mut` [INFO] [stderr] [INFO] [stderr] warning: variable does not need to be mutable [INFO] [stderr] --> src/solver.rs:271:13 [INFO] [stderr] | [INFO] [stderr] 271 | let mut a = evaluate_formula(&parse_formula("x < 10 and x > 5").make_lo_formula()); [INFO] [stderr] | ----^ [INFO] [stderr] | | [INFO] [stderr] | help: remove this `mut` [INFO] [stderr] [INFO] [stderr] warning: variable does not need to be mutable [INFO] [stderr] --> src/words.rs:53:9 [INFO] [stderr] | [INFO] [stderr] 53 | let mut process = |state_id: StateId, s_next: &mut Vec, remaining: &mut Vec| { [INFO] [stderr] | ----^^^^^^^ [INFO] [stderr] | | [INFO] [stderr] | help: remove this `mut` [INFO] [stderr] [INFO] [stderr] warning: variable does not need to be mutable [INFO] [stderr] --> src/words.rs:98:9 [INFO] [stderr] | [INFO] [stderr] 98 | let mut process = |state_id: StateId, s_next: &mut Vec, remaining: &mut Vec| { [INFO] [stderr] | ----^^^^^^^ [INFO] [stderr] | | [INFO] [stderr] | help: remove this `mut` [INFO] [stderr] [INFO] [stderr] warning: variable does not need to be mutable [INFO] [stderr] --> src/elements.rs:103:56 [INFO] [stderr] | [INFO] [stderr] 103 | pub fn iterate_elements(dfa: &Dfa, mut limit: Option, mut callback: F) { [INFO] [stderr] | ----^^^^^ [INFO] [stderr] | | [INFO] [stderr] | help: remove this `mut` [INFO] [stderr] [INFO] [stderr] warning: variable does not need to be mutable [INFO] [stderr] --> src/elements.rs:103:82 [INFO] [stderr] | [INFO] [stderr] 103 | pub fn iterate_elements(dfa: &Dfa, mut limit: Option, mut callback: F) { [INFO] [stderr] | ----^^^^^^^^ [INFO] [stderr] | | [INFO] [stderr] | help: remove this `mut` [INFO] [stderr] [INFO] [stderr] warning: variable does not need to be mutable [INFO] [stderr] --> src/elements.rs:119:9 [INFO] [stderr] | [INFO] [stderr] 119 | let mut element = Element::new(dfa.n_tracks()); [INFO] [stderr] | ----^^^^^^^ [INFO] [stderr] | | [INFO] [stderr] | help: remove this `mut` [INFO] [stderr] [INFO] [stderr] warning: variable does not need to be mutable [INFO] [stderr] --> src/elements.rs:216:9 [INFO] [stderr] | [INFO] [stderr] 216 | let mut lengths = longest_words(&dfa); [INFO] [stderr] | ----^^^^^^^ [INFO] [stderr] | | [INFO] [stderr] | help: remove this `mut` [INFO] [stderr] [INFO] [stderr] warning: variable does not need to be mutable [INFO] [stderr] --> src/render/dot.rs:103:13 [INFO] [stderr] | [INFO] [stderr] 103 | let mut dfa = make_dfa("{ x, y | x < 10 and y < 10 and x == y }"); [INFO] [stderr] | ----^^^ [INFO] [stderr] | | [INFO] [stderr] | help: remove this `mut` [INFO] [stderr] [INFO] [stderr] warning: variable does not need to be mutable [INFO] [stderr] --> src/render/dot.rs:123:13 [INFO] [stderr] | [INFO] [stderr] 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] [stderr] | ----^^^ [INFO] [stderr] | | [INFO] [stderr] | help: remove this `mut` [INFO] [stderr] [INFO] [stderr] warning: method is never used: `alphabet_size` [INFO] [stderr] --> src/automaton.rs:58:5 [INFO] [stderr] | [INFO] [stderr] 58 | pub fn alphabet_size(&self) -> usize { [INFO] [stderr] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stderr] | [INFO] [stderr] = note: `#[warn(dead_code)]` on by default [INFO] [stderr] [INFO] [stderr] warning: method is never used: `intersection` [INFO] [stderr] --> src/aset.rs:168:5 [INFO] [stderr] | [INFO] [stderr] 168 | pub fn intersection(self, other: AutomaticSet) -> AutomaticSet { [INFO] [stderr] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stderr] [INFO] [stderr] warning: method is never used: `size` [INFO] [stderr] --> src/aset.rs:172:5 [INFO] [stderr] | [INFO] [stderr] 172 | pub fn size(&self) -> Option { [INFO] [stderr] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stderr] [INFO] [stderr] warning: method is never used: `size` [INFO] [stderr] --> src/formula.rs:130:5 [INFO] [stderr] | [INFO] [stderr] 130 | pub fn size(&self) -> usize { [INFO] [stderr] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stderr] [INFO] [stderr] warning: method is never used: `depth` [INFO] [stderr] --> src/formula.rs:138:5 [INFO] [stderr] | [INFO] [stderr] 138 | pub fn depth(&self) -> usize { [INFO] [stderr] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stderr] [INFO] [stderr] warning: method is never used: `from_str` [INFO] [stderr] --> src/formula.rs:184:5 [INFO] [stderr] | [INFO] [stderr] 184 | pub fn from_str(name: &str) -> Self { [INFO] [stderr] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stderr] [INFO] [stderr] warning: variant is never constructed: `True` [INFO] [stderr] --> src/formula.rs:226:5 [INFO] [stderr] | [INFO] [stderr] 226 | True, [INFO] [stderr] | ^^^^ [INFO] [stderr] [INFO] [stderr] warning: variant is never constructed: `False` [INFO] [stderr] --> src/formula.rs:227:5 [INFO] [stderr] | [INFO] [stderr] 227 | False [INFO] [stderr] | ^^^^^ [INFO] [stderr] [INFO] [stderr] warning: method is never used: `from` [INFO] [stderr] --> src/elements.rs:19:5 [INFO] [stderr] | [INFO] [stderr] 19 | pub fn from(values: Vec) -> Self { [INFO] [stderr] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stderr] [INFO] [stderr] warning: method is never used: `reset` [INFO] [stderr] --> src/elements.rs:50:5 [INFO] [stderr] | [INFO] [stderr] 50 | pub fn reset(&mut self) { [INFO] [stderr] | ^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stderr] [INFO] [stderr] warning: 68 warnings emitted [INFO] [stderr] [INFO] [stderr] Finished test [unoptimized + debuginfo] target(s) in 0.40s [INFO] [stderr] Running /opt/rustwide/target/debug/deps/pas-f74c5b90fb0f0eef [INFO] [stdout] [INFO] [stdout] running 43 tests [INFO] [stdout] test aset::tests::test_union1 ... ok [INFO] [stdout] test aset::tests::test_singleton ... ok [INFO] [stdout] test dfa::tests::test_minimize_automaton1 ... ok [INFO] [stdout] test aset::tests::test_double ... ok [INFO] [stdout] test dfa::tests::test_minimize_acc ... ok [INFO] [stdout] test elements::tests::test_get_symbol ... ok [INFO] [stdout] test dfa::tests::test_minimize_nonacc ... ok [INFO] [stdout] test parser::test::parse_atom ... ok [INFO] [stdout] test dfa::tests::test_minimize_simple ... ok [INFO] [stdout] test nfa::tests::test_determinize_simple ... ok [INFO] [stdout] test aset::tests::test_union2 ... ok [INFO] [stdout] test parser::test::test_parse_predicate ... ok [INFO] [stdout] test parser::test::parse_integer ... ok [INFO] [stdout] test parser::test::parse_expr ... ok [INFO] [stdout] test parser::test::test_parser_exact ... ok [INFO] [stdout] test parser::test::test_parser_commands ... ok [INFO] [stdout] test elements::tests::test_words_list3 ... ok [INFO] [stdout] test solver::tests::test_eval_combined_lt_formula ... ok [INFO] [stdout] test parser::test::test_parser_quantifiers ... ok [INFO] [stdout] test parser::test::test_parser_setdef ... ok [INFO] [stdout] test parser::test::test_parse_formula ... ok [INFO] [stdout] test solver::tests::test_eval_combined_lte_formula ... ok [INFO] [stdout] test solver::tests::test_eval_eq_const_formula ... ok [INFO] [stdout] test elements::tests::test_words_list1 ... ok [INFO] [stdout] test elements::tests::test_size ... ok [INFO] [stdout] test render::dot::tests::render_1d_loops ... ok [INFO] [stdout] test words::tests::test_longests_words ... ok [INFO] [stdout] test words::tests::test_shortest_words ... ok [INFO] [stdout] test table::tests::test_table_add_track ... ok [INFO] [stdout] test aset::tests::test_cut ... ok [INFO] [stdout] test solver::tests::test_eval_eq_formula ... ok [INFO] [stdout] test table::tests::test_table_switch ... ok [INFO] [stdout] test solver::tests::test_eval_is_empty ... ok [INFO] [stdout] test solver::tests::test_eval_is_not_empty ... ok [INFO] [stdout] test render::dot::tests::render_2d_grid ... ok [INFO] [stdout] test elements::tests::test_words_list2 ... ok [INFO] [stdout] test render::dot::tests::reject_odd_number_of_tracks ... ok [INFO] [stdout] test solver::tests::test_eval_combined_plus_formula ... ok [INFO] [stdout] test solver::tests::test_eval_simple_plus_formula ... ok [INFO] [stdout] test elements::tests::test_range ... ok [INFO] [stdout] test elements::tests::test_nth_element ... ok [INFO] [stdout] test elements::tests::test_nth_element2 ... ok [INFO] [stdout] test solver::tests::test_eval_mul_formula ... ok [INFO] [stdout] [INFO] [stdout] test result: ok. 43 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out [INFO] [stdout] [INFO] running `"docker" "inspect" "dab4330d41d44fedcac34b6289425a5aa10156fca645c2399e2940804ca23d07"` [INFO] running `"docker" "rm" "-f" "dab4330d41d44fedcac34b6289425a5aa10156fca645c2399e2940804ca23d07"` [INFO] [stdout] dab4330d41d44fedcac34b6289425a5aa10156fca645c2399e2940804ca23d07