[INFO] cloning repository https://github.com/Mojashi/pcprec [INFO] running `Command { std: "git" "-c" "credential.helper=" "-c" "credential.helper=/workspace/cargo-home/bin/git-credential-null" "clone" "--bare" "https://github.com/Mojashi/pcprec" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2FMojashi%2Fpcprec", kill_on_drop: false }` [INFO] [stderr] Cloning into bare repository '/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2FMojashi%2Fpcprec'... [INFO] running `Command { std: "git" "rev-parse" "HEAD", kill_on_drop: false }` [INFO] [stdout] bbceba04534dbdd81378dae71c8c020778624a7c [INFO] checking Mojashi/pcprec/bbceba04534dbdd81378dae71c8c020778624a7c against try#ccf408f4326a858c00dd845a64a86b16f360a801 for pr-129466-2 [INFO] running `Command { std: "git" "clone" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2FMojashi%2Fpcprec" "/workspace/builds/worker-0-tc2/source", kill_on_drop: false }` [INFO] [stderr] Cloning into '/workspace/builds/worker-0-tc2/source'... [INFO] [stderr] done. [INFO] validating manifest of git repo https://github.com/Mojashi/pcprec on toolchain ccf408f4326a858c00dd845a64a86b16f360a801 [INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+ccf408f4326a858c00dd845a64a86b16f360a801" "metadata" "--manifest-path" "Cargo.toml" "--no-deps", kill_on_drop: false }` [INFO] started tweaking git repo https://github.com/Mojashi/pcprec [INFO] finished tweaking git repo https://github.com/Mojashi/pcprec [INFO] tweaked toml for git repo https://github.com/Mojashi/pcprec written to /workspace/builds/worker-0-tc2/source/Cargo.toml [INFO] crate git repo https://github.com/Mojashi/pcprec already has a lockfile, it will not be regenerated [INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+ccf408f4326a858c00dd845a64a86b16f360a801" "fetch" "--manifest-path" "Cargo.toml", kill_on_drop: false }` [INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-0-tc2/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-0-tc2/source:/opt/rustwide/workdir:ro,Z" "-v" "/var/lib/crater-agent-workspace/cargo-home:/opt/rustwide/cargo-home:ro,Z" "-v" "/var/lib/crater-agent-workspace/rustup-home:/opt/rustwide/rustup-home:ro,Z" "-e" "SOURCE_DIR=/opt/rustwide/workdir" "-e" "CARGO_TARGET_DIR=/opt/rustwide/target" "-e" "CARGO_HOME=/opt/rustwide/cargo-home" "-e" "RUSTUP_HOME=/opt/rustwide/rustup-home" "-w" "/opt/rustwide/workdir" "-m" "1610612736" "--user" "0:0" "--network" "none" "ghcr.io/rust-lang/crates-build-env/linux@sha256:6252d7ea7fb8caaf7af6d800c5fb250a9cd862b9a7f9508afb3c54fa7fe1102e" "/opt/rustwide/cargo-home/bin/cargo" "+ccf408f4326a858c00dd845a64a86b16f360a801" "metadata" "--no-deps" "--format-version=1", kill_on_drop: false }` [INFO] [stdout] 224bc9f17c713982622283a07686a5b641997cb50042031289fcbb07abafd44e [INFO] running `Command { std: "docker" "start" "-a" "224bc9f17c713982622283a07686a5b641997cb50042031289fcbb07abafd44e", kill_on_drop: false }` [INFO] running `Command { std: "docker" "inspect" "224bc9f17c713982622283a07686a5b641997cb50042031289fcbb07abafd44e", kill_on_drop: false }` [INFO] running `Command { std: "docker" "rm" "-f" "224bc9f17c713982622283a07686a5b641997cb50042031289fcbb07abafd44e", kill_on_drop: false }` [INFO] [stdout] 224bc9f17c713982622283a07686a5b641997cb50042031289fcbb07abafd44e [INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-0-tc2/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-0-tc2/source:/opt/rustwide/workdir:ro,Z" "-v" "/var/lib/crater-agent-workspace/cargo-home:/opt/rustwide/cargo-home:ro,Z" "-v" "/var/lib/crater-agent-workspace/rustup-home:/opt/rustwide/rustup-home:ro,Z" "-e" "SOURCE_DIR=/opt/rustwide/workdir" "-e" "CARGO_TARGET_DIR=/opt/rustwide/target" "-e" "CARGO_INCREMENTAL=0" "-e" "RUST_BACKTRACE=full" "-e" "RUSTFLAGS=--cap-lints=forbid" "-e" "RUSTDOCFLAGS=--cap-lints=forbid" "-e" "CARGO_HOME=/opt/rustwide/cargo-home" "-e" "RUSTUP_HOME=/opt/rustwide/rustup-home" "-w" "/opt/rustwide/workdir" "-m" "1610612736" "--user" "0:0" "--network" "none" "ghcr.io/rust-lang/crates-build-env/linux@sha256:6252d7ea7fb8caaf7af6d800c5fb250a9cd862b9a7f9508afb3c54fa7fe1102e" "/opt/rustwide/cargo-home/bin/cargo" "+ccf408f4326a858c00dd845a64a86b16f360a801" "check" "--frozen" "--all" "--all-targets" "--message-format=json", kill_on_drop: false }` [INFO] [stdout] 81ca51e6b8970ea13d8314ac2124c65336ea0a71f4f53adb0fb2ec83c3b41be6 [INFO] running `Command { std: "docker" "start" "-a" "81ca51e6b8970ea13d8314ac2124c65336ea0a71f4f53adb0fb2ec83c3b41be6", kill_on_drop: false }` [INFO] [stderr] Copying to /tmp/fixit [INFO] [stderr] Running `cargo fix --edition` [INFO] [stderr] Migrating Cargo.toml from 2021 edition to 2024 [INFO] [stderr] warning: pcp-rec-str v0.1.0 (/tmp/fixit) ignoring invalid dependency `cargo-instruments` which is missing a lib target [INFO] [stderr] Compiling proc-macro2 v1.0.76 [INFO] [stderr] Compiling libc v0.2.152 [INFO] [stderr] Compiling libm v0.2.8 [INFO] [stderr] Compiling syn v1.0.109 [INFO] [stderr] Compiling thiserror v1.0.56 [INFO] [stderr] Compiling serde v1.0.196 [INFO] [stderr] Compiling rustix v0.38.28 [INFO] [stderr] Compiling once_cell v1.19.0 [INFO] [stderr] Checking linux-raw-sys v0.4.12 [INFO] [stderr] Compiling paste v1.0.14 [INFO] [stderr] Checking bytemuck v1.14.3 [INFO] [stderr] Compiling num-traits v0.2.18 [INFO] [stderr] Compiling matrixmultiply v0.3.8 [INFO] [stderr] Checking bitflags v2.4.1 [INFO] [stderr] Compiling num-rational v0.4.1 [INFO] [stderr] Compiling semver v0.1.20 [INFO] [stderr] Checking rawpointer v0.2.1 [INFO] [stderr] Compiling rustversion v1.0.14 [INFO] [stderr] Compiling wasm-bindgen-shared v0.2.91 [INFO] [stderr] Checking safe_arch v0.7.1 [INFO] [stderr] Checking aho-corasick v1.1.2 [INFO] [stderr] Compiling rustc_version v0.1.7 [INFO] [stderr] Compiling memchr v2.7.1 [INFO] [stderr] Checking regex-syntax v0.8.2 [INFO] [stderr] Checking utf8parse v0.2.1 [INFO] [stderr] Compiling feature-probe v0.1.1 [INFO] [stderr] Compiling ucd-trie v0.1.6 [INFO] [stderr] Compiling newtype_derive v0.1.6 [INFO] [stderr] Compiling bv v0.11.1 [INFO] [stderr] Checking wide v0.7.15 [INFO] [stderr] Checking anstyle-parse v0.2.3 [INFO] [stderr] Compiling log v0.4.20 [INFO] [stderr] Compiling heck v0.4.1 [INFO] [stderr] Compiling dot-structures v0.1.1 [INFO] [stderr] Compiling anyhow v1.0.79 [INFO] [stderr] Compiling quote v1.0.35 [INFO] [stderr] Compiling bumpalo v3.14.0 [INFO] [stderr] Compiling portable-atomic v1.6.0 [INFO] [stderr] Checking colorchoice v1.0.0 [INFO] [stderr] Checking anstyle v1.0.6 [INFO] [stderr] Compiling syn v2.0.48 [INFO] [stderr] Compiling jobserver v0.1.28 [INFO] [stderr] Checking anstyle-query v1.0.2 [INFO] [stderr] Checking getrandom v0.2.11 [INFO] [stderr] Checking gimli v0.28.1 [INFO] [stderr] Checking hashbrown v0.14.3 [INFO] [stderr] Compiling proc-macro-error-attr v1.0.4 [INFO] [stderr] Checking anstream v0.6.11 [INFO] [stderr] Checking miniz_oxide v0.7.2 [INFO] [stderr] Checking rand_core v0.6.4 [INFO] [stderr] Compiling cc v1.0.83 [INFO] [stderr] Checking csv-core v0.1.11 [INFO] [stderr] Checking rand_chacha v0.3.1 [INFO] [stderr] Compiling error-chain v0.12.4 [INFO] [stderr] Checking object v0.32.2 [INFO] [stderr] Checking rustc-demangle v0.1.23 [INFO] [stderr] Checking byteorder v1.5.0 [INFO] [stderr] Checking strsim v0.11.0 [INFO] [stderr] Checking num-complex v0.4.5 [INFO] [stderr] Checking num-integer v0.1.46 [INFO] [stderr] Checking rand v0.8.5 [INFO] [stderr] Checking approx v0.5.1 [INFO] [stderr] Compiling serde_json v1.0.113 [INFO] [stderr] Checking unicode-width v0.1.11 [INFO] [stderr] Checking indexmap v2.2.3 [INFO] [stderr] Checking bit-vec v0.6.3 [INFO] [stderr] Checking fixedbitset v0.4.2 [INFO] [stderr] Checking either v1.9.0 [INFO] [stderr] Checking clap_lex v0.7.0 [INFO] [stderr] Checking console v0.15.8 [INFO] [stderr] Checking bit-set v0.5.3 [INFO] [stderr] Checking itertools v0.10.5 [INFO] [stderr] Checking ndarray v0.15.6 [INFO] [stderr] Checking fxhash v0.2.1 [INFO] [stderr] Checking ordered-float v3.9.2 [INFO] [stderr] Checking simba v0.6.0 [INFO] [stderr] Checking itertools-num v0.1.3 [INFO] [stderr] Compiling into-attr v0.1.1 [INFO] [stderr] Checking rand_distr v0.4.3 [INFO] [stderr] Compiling dot-generator v0.2.0 [INFO] [stderr] Checking petgraph v0.6.4 [INFO] [stderr] Checking regex-automata v0.4.3 [INFO] [stderr] Compiling wasm-bindgen v0.2.91 [INFO] [stderr] Checking triple_accel v0.4.0 [INFO] [stderr] Checking number_prefix v0.4.0 [INFO] [stderr] Checking terminal_size v0.3.0 [INFO] [stderr] Checking fastrand v2.0.1 [INFO] [stderr] Checking strum v0.25.0 [INFO] [stderr] Checking clap_builder v4.5.1 [INFO] [stderr] Checking bytecount v0.6.7 [INFO] [stderr] Checking custom_derive v0.1.7 [INFO] [stderr] Checking editdistancek v1.0.2 [INFO] [stderr] Checking tempfile v3.9.0 [INFO] [stderr] Compiling backtrace v0.3.69 [INFO] [stderr] Checking indicatif v0.17.8 [INFO] [stderr] Checking minimal-lexical v0.2.1 [INFO] [stderr] Checking ulid v1.1.2 [INFO] [stderr] Checking nom v7.1.3 [INFO] [stderr] Checking addr2line v0.21.0 [INFO] [stderr] Compiling proc-macro-error v1.0.4 [INFO] [stderr] Compiling nalgebra-macros v0.1.0 [INFO] [stderr] Compiling derive-new v0.5.9 [INFO] [stderr] Compiling getset v0.1.2 [INFO] [stderr] Compiling into-attr-derive v0.2.1 [INFO] [stderr] Checking clap v4.5.1 [INFO] [stderr] Compiling wasm-bindgen-backend v0.2.91 [INFO] [stderr] Checking regex v1.10.2 [INFO] [stderr] Compiling thiserror-impl v1.0.56 [INFO] [stderr] Compiling serde_derive v1.0.196 [INFO] [stderr] Compiling enum-map-derive v0.17.0 [INFO] [stderr] Compiling strum_macros v0.25.3 [INFO] [stderr] Checking enum-map v2.7.3 [INFO] [stderr] Compiling wasm-bindgen-macro-support v0.2.91 [INFO] [stderr] Compiling pest v2.7.6 [INFO] [stderr] Checking bio-types v1.0.1 [INFO] [stderr] Compiling wasm-bindgen-macro v0.2.91 [INFO] [stderr] Checking nalgebra v0.29.0 [INFO] [stderr] Compiling pest_meta v2.7.6 [INFO] [stderr] Compiling pest_generator v2.7.6 [INFO] [stderr] Compiling pest_derive v2.7.6 [INFO] [stderr] Checking graphviz-rust v0.7.0 [INFO] [stderr] Checking vec_map v0.8.2 [INFO] [stderr] Checking csv v1.3.0 [INFO] [stderr] Checking multimap v0.9.1 [INFO] [stderr] Checking statrs v0.16.0 [INFO] [stderr] Checking bio v1.5.0 [INFO] [stderr] Checking kgst v0.1.1 [INFO] [stderr] Checking pcp-rec-str v0.1.0 (/tmp/fixit) [INFO] [stderr] Migrating src/lib.rs from 2021 edition to 2024 [INFO] [stderr] Fixed src/automaton.rs (5 fixes) [INFO] [stderr] Fixed src/union_pdr2.rs (6 fixes) [INFO] [stderr] Fixed src/suffix_tree.rs (1 fix) [INFO] [stderr] Fixed src/union_find.rs (1 fix) [INFO] [stderr] Fixed src/conf_automaton.rs (1 fix) [INFO] [stderr] Fixed src/union_pdr.rs (3 fixes) [INFO] [stderr] Fixed src/pcpseq.rs (3 fixes) [INFO] [stdout] warning: unused import: `itertools::Itertools` [INFO] [stdout] --> src/suffix_tree.rs:92:9 [INFO] [stdout] | [INFO] [stdout] 92 | use itertools::Itertools; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = note: `#[warn(unused_imports)]` on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `crate::suffix_tree::SuffixTree` [INFO] [stdout] --> src/suffix_tree.rs:94:9 [INFO] [stdout] | [INFO] [stdout] 94 | use crate::suffix_tree::SuffixTree; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `is_ok` [INFO] [stdout] --> src/pcpseq.rs:211:9 [INFO] [stdout] | [INFO] [stdout] 211 | is_ok: impl Fn(&PCPSequence) -> bool, [INFO] [stdout] | ^^^^^ help: if this is intentional, prefix it with an underscore: `_is_ok` [INFO] [stdout] | [INFO] [stdout] = note: `#[warn(unused_variables)]` on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `s` [INFO] [stdout] --> src/pcpseq.rs:214:30 [INFO] [stdout] | [INFO] [stdout] 214 | .apply_pcp(pcp, |s| true) [INFO] [stdout] | ^ help: if this is intentional, prefix it with an underscore: `_s` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `s` [INFO] [stdout] --> src/pcpseq.rs:242:49 [INFO] [stdout] | [INFO] [stdout] 242 | .flat_map(|s| s.apply_pcp(pcp, |s| true)) [INFO] [stdout] | ^ help: if this is intentional, prefix it with an underscore: `_s` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `dir` [INFO] [stdout] --> src/union_pdr.rs:125:49 [INFO] [stdout] | [INFO] [stdout] 125 | PCPSequence::Exact(ExactSequence { seq, dir }) => seq.clone(), [INFO] [stdout] | ^^^ help: try ignoring the field: `dir: _` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `dir` [INFO] [stdout] --> src/union_pdr.rs:126:55 [INFO] [stdout] | [INFO] [stdout] 126 | PCPSequence::MidExact(MidExactSequence { mid, dir }) => mid.clone(), [INFO] [stdout] | ^^^ help: try ignoring the field: `dir: _` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `nexts` [INFO] [stdout] --> src/union_pdr.rs:278:39 [INFO] [stdout] | [INFO] [stdout] 278 | Some(DependsOn::Nexts(ref nexts)) => { [INFO] [stdout] | ^^^^^ help: if this is intentional, prefix it with an underscore: `_nexts` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `mid` [INFO] [stdout] --> src/union_pdr.rs:376:65 [INFO] [stdout] | [INFO] [stdout] 376 | || (if let PCPSequence::MidExact(MidExactSequence { mid, dir }) = seq { [INFO] [stdout] | ^^^ help: try ignoring the field: `mid: _` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `dir` [INFO] [stdout] --> src/union_pdr.rs:376:70 [INFO] [stdout] | [INFO] [stdout] 376 | || (if let PCPSequence::MidExact(MidExactSequence { mid, dir }) = seq { [INFO] [stdout] | ^^^ help: try ignoring the field: `dir: _` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `dir` [INFO] [stdout] --> src/union_pdr.rs:491:59 [INFO] [stdout] | [INFO] [stdout] 491 | PCPSequence::MidExact(MidExactSequence { mid, dir }) => mid.len() == 1, [INFO] [stdout] | ^^^ help: try ignoring the field: `dir: _` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `dir` [INFO] [stdout] --> src/union_pdr.rs:558:61 [INFO] [stdout] | [INFO] [stdout] 558 | PCPSequence::Exact(ExactSequence { seq, dir }) => seq.to_string(), [INFO] [stdout] | ^^^ help: try ignoring the field: `dir: _` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `dir` [INFO] [stdout] --> src/union_pdr.rs:559:67 [INFO] [stdout] | [INFO] [stdout] 559 | PCPSequence::MidExact(MidExactSequence { mid, dir }) => format!(".*{mid}.*"), [INFO] [stdout] | ^^^ help: try ignoring the field: `dir: _` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `id` [INFO] [stdout] --> src/union_pdr.rs:577:74 [INFO] [stdout] | [INFO] [stdout] 577 | let is_abstract_dep = if let Some(DependsOn::Abstract((_, _, id))) = &node.depends_on { [INFO] [stdout] | ^^ help: if this is intentional, prefix it with an underscore: `_id` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `nexts` [INFO] [stdout] --> src/union_pdr2.rs:337:43 [INFO] [stdout] | [INFO] [stdout] 337 | Some(DependsOn::Nexts(ref nexts)) => { [INFO] [stdout] | ^^^^^ help: if this is intentional, prefix it with an underscore: `_nexts` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `id` [INFO] [stdout] --> src/union_pdr2.rs:341:49 [INFO] [stdout] | [INFO] [stdout] 341 | Some(DependsOn::Abstract((None, id))) => { [INFO] [stdout] | ^^ help: if this is intentional, prefix it with an underscore: `_id` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `id` [INFO] [stdout] --> src/union_pdr2.rs:344:53 [INFO] [stdout] | [INFO] [stdout] 344 | Some(DependsOn::Abstract((Some(ds), id))) => { [INFO] [stdout] | ^^ help: if this is intentional, prefix it with an underscore: `_id` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `id` [INFO] [stdout] --> src/union_pdr2.rs:615:89 [INFO] [stdout] | [INFO] [stdout] 615 | let is_abstract_dep = match &node.depends_on { Some(DependsOn::Abstract((_, id))) => { [INFO] [stdout] | ^^ help: if this is intentional, prefix it with an underscore: `_id` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: function `gen_random_pcp` is never used [INFO] [stdout] --> src/pcp.rs:66:4 [INFO] [stdout] | [INFO] [stdout] 66 | fn gen_random_pcp(num_tile: usize, tile_size: usize) -> PCP { [INFO] [stdout] | ^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = note: `#[warn(dead_code)]` on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: function `prevs` is never used [INFO] [stdout] --> src/union_pdr.rs:36:4 [INFO] [stdout] | [INFO] [stdout] 36 | fn prevs(seq: &PCPConfig, pcp: &PCP) -> Vec { [INFO] [stdout] | ^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: function `substrings` is never used [INFO] [stdout] --> src/union_pdr.rs:150:4 [INFO] [stdout] | [INFO] [stdout] 150 | fn substrings(s: &str, min_len: usize, max_len: usize) -> Vec { [INFO] [stdout] | ^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: function `prevs` is never used [INFO] [stdout] --> src/union_pdr2.rs:58:4 [INFO] [stdout] | [INFO] [stdout] 58 | fn prevs(seq: &PCPConfig, pcp: &PCP) -> Vec { [INFO] [stdout] | ^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: constant `MAX_SUBSTR_LEN` is never used [INFO] [stdout] --> src/union_pdr2.rs:139:7 [INFO] [stdout] | [INFO] [stdout] 139 | const MAX_SUBSTR_LEN: u32 = 40; [INFO] [stdout] | ^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: function `substrings` is never used [INFO] [stdout] --> src/union_pdr2.rs:157:4 [INFO] [stdout] | [INFO] [stdout] 157 | fn substrings(s: &str, min_len: usize, max_len: usize) -> Vec { [INFO] [stdout] | ^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: `if let` assigns a shorter lifetime since Edition 2024 [INFO] [stdout] --> src/automaton.rs:1043:15 [INFO] [stdout] | [INFO] [stdout] 1043 | while let Some(StatePair(l, r)) = todos.pop() { [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^----------- [INFO] [stdout] | | [INFO] [stdout] | this value has a significant drop implementation which may observe a major change in drop order and requires your discretion [INFO] [stdout] | [INFO] [stdout] = warning: this changes meaning in Rust 2024 [INFO] [stdout] = note: for more information, see issue #124085 [INFO] [stdout] help: the value is now dropped here in Edition 2024 [INFO] [stdout] --> src/automaton.rs:1084:9 [INFO] [stdout] | [INFO] [stdout] 1084 | } [INFO] [stdout] | ^ [INFO] [stdout] = note: `--force-warn if-let-rescope` implied by `--force-warn rust-2024-compatibility` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: method `toAut` should have a snake case name [INFO] [stdout] --> src/conf_automaton.rs:78:12 [INFO] [stdout] | [INFO] [stdout] 78 | pub fn toAut(&self) -> PCPConf { [INFO] [stdout] | ^^^^^ help: convert the identifier to snake case: `to_aut` [INFO] [stdout] | [INFO] [stdout] = note: `#[warn(non_snake_case)]` on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: 26 warnings emitted [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0599]: no method named `borrow` found for struct `String` in the current scope [INFO] [stdout] --> src/conf_automaton.rs:215:78 [INFO] [stdout] | [INFO] [stdout] 215 | .show_dot(("reduced/upper".to_string() + i.to_string().as_str()).borrow()); [INFO] [stdout] | ^^^^^^ [INFO] [stdout] --> /rustc/ccf408f4326a858c00dd845a64a86b16f360a801/library/core/src/borrow.rs:178:8 [INFO] [stdout] | [INFO] [stdout] = note: the method is available for `String` here [INFO] [stdout] | [INFO] [stdout] = help: items from traits can only be used if the trait is in scope [INFO] [stdout] help: trait `Borrow` which provides `borrow` is implemented but not in scope; perhaps you want to import it [INFO] [stdout] | [INFO] [stdout] 2 + use std::borrow::Borrow; [INFO] [stdout] | [INFO] [stdout] help: there is a method `borrow_mut` with a similar name [INFO] [stdout] | [INFO] [stdout] 215 | .show_dot(("reduced/upper".to_string() + i.to_string().as_str()).borrow_mut()); [INFO] [stdout] | ~~~~~~~~~~ [INFO] [stdout] [INFO] [stdout] [INFO] [stderr] Migrating src/main.rs from 2021 edition to 2024 [INFO] [stdout] error[E0599]: no method named `borrow` found for struct `String` in the current scope [INFO] [stdout] --> src/conf_automaton.rs:218:78 [INFO] [stdout] | [INFO] [stdout] 218 | .show_dot(("reduced/lower".to_string() + i.to_string().as_str()).borrow()); [INFO] [stdout] | ^^^^^^ [INFO] [stdout] --> /rustc/ccf408f4326a858c00dd845a64a86b16f360a801/library/core/src/borrow.rs:178:8 [INFO] [stdout] | [INFO] [stdout] = note: the method is available for `String` here [INFO] [stdout] | [INFO] [stdout] = help: items from traits can only be used if the trait is in scope [INFO] [stdout] help: trait `Borrow` which provides `borrow` is implemented but not in scope; perhaps you want to import it [INFO] [stdout] | [INFO] [stdout] 2 + use std::borrow::Borrow; [INFO] [stdout] | [INFO] [stdout] help: there is a method `borrow_mut` with a similar name [INFO] [stdout] | [INFO] [stdout] 218 | .show_dot(("reduced/lower".to_string() + i.to_string().as_str()).borrow_mut()); [INFO] [stdout] | ~~~~~~~~~~ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0599]: no method named `borrow` found for struct `Vec` in the current scope [INFO] [stdout] --> src/conf_automaton.rs:220:69 [INFO] [stdout] | [INFO] [stdout] 220 | assert!(reduced_aut.upper.get_input_nfa().accept(co_ans.borrow())); [INFO] [stdout] | ^^^^^^ [INFO] [stdout] --> /rustc/ccf408f4326a858c00dd845a64a86b16f360a801/library/core/src/borrow.rs:178:8 [INFO] [stdout] | [INFO] [stdout] = note: the method is available for `Vec` here [INFO] [stdout] | [INFO] [stdout] = help: items from traits can only be used if the trait is in scope [INFO] [stdout] help: trait `Borrow` which provides `borrow` is implemented but not in scope; perhaps you want to import it [INFO] [stdout] | [INFO] [stdout] 2 + use std::borrow::Borrow; [INFO] [stdout] | [INFO] [stdout] help: there is a method `borrow_mut` with a similar name [INFO] [stdout] | [INFO] [stdout] 220 | assert!(reduced_aut.upper.get_input_nfa().accept(co_ans.borrow_mut())); [INFO] [stdout] | ~~~~~~~~~~ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0599]: no method named `borrow` found for struct `Vec` in the current scope [INFO] [stdout] --> src/conf_automaton.rs:221:69 [INFO] [stdout] | [INFO] [stdout] 221 | assert!(reduced_aut.lower.get_input_nfa().accept(co_ans.borrow())); [INFO] [stdout] | ^^^^^^ [INFO] [stdout] --> /rustc/ccf408f4326a858c00dd845a64a86b16f360a801/library/core/src/borrow.rs:178:8 [INFO] [stdout] | [INFO] [stdout] = note: the method is available for `Vec` here [INFO] [stdout] | [INFO] [stdout] = help: items from traits can only be used if the trait is in scope [INFO] [stdout] help: trait `Borrow` which provides `borrow` is implemented but not in scope; perhaps you want to import it [INFO] [stdout] | [INFO] [stdout] 2 + use std::borrow::Borrow; [INFO] [stdout] | [INFO] [stdout] help: there is a method `borrow_mut` with a similar name [INFO] [stdout] | [INFO] [stdout] 221 | assert!(reduced_aut.lower.get_input_nfa().accept(co_ans.borrow_mut())); [INFO] [stdout] | ~~~~~~~~~~ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0599]: no method named `borrow` found for struct `Vec` in the current scope [INFO] [stdout] --> src/conf_automaton.rs:223:66 [INFO] [stdout] | [INFO] [stdout] 223 | assert!(reduced_aut.upper.get_input_nfa().accept(ans.borrow())); [INFO] [stdout] | ^^^^^^ [INFO] [stdout] --> /rustc/ccf408f4326a858c00dd845a64a86b16f360a801/library/core/src/borrow.rs:178:8 [INFO] [stdout] | [INFO] [stdout] = note: the method is available for `Vec` here [INFO] [stdout] | [INFO] [stdout] = help: items from traits can only be used if the trait is in scope [INFO] [stdout] help: trait `Borrow` which provides `borrow` is implemented but not in scope; perhaps you want to import it [INFO] [stdout] | [INFO] [stdout] 2 + use std::borrow::Borrow; [INFO] [stdout] | [INFO] [stdout] help: there is a method `borrow_mut` with a similar name [INFO] [stdout] | [INFO] [stdout] 223 | assert!(reduced_aut.upper.get_input_nfa().accept(ans.borrow_mut())); [INFO] [stdout] | ~~~~~~~~~~ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0599]: no method named `borrow` found for struct `Vec` in the current scope [INFO] [stdout] --> src/conf_automaton.rs:224:66 [INFO] [stdout] | [INFO] [stdout] 224 | assert!(reduced_aut.lower.get_input_nfa().accept(ans.borrow())); [INFO] [stdout] | ^^^^^^ [INFO] [stdout] --> /rustc/ccf408f4326a858c00dd845a64a86b16f360a801/library/core/src/borrow.rs:178:8 [INFO] [stdout] | [INFO] [stdout] = note: the method is available for `Vec` here [INFO] [stdout] | [INFO] [stdout] = help: items from traits can only be used if the trait is in scope [INFO] [stdout] help: trait `Borrow` which provides `borrow` is implemented but not in scope; perhaps you want to import it [INFO] [stdout] | [INFO] [stdout] 2 + use std::borrow::Borrow; [INFO] [stdout] | [INFO] [stdout] help: there is a method `borrow_mut` with a similar name [INFO] [stdout] | [INFO] [stdout] 224 | assert!(reduced_aut.lower.get_input_nfa().accept(ans.borrow_mut())); [INFO] [stdout] | ~~~~~~~~~~ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `itertools::Itertools` [INFO] [stdout] --> src/suffix_tree.rs:92:9 [INFO] [stdout] | [INFO] [stdout] 92 | use itertools::Itertools; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = note: `#[warn(unused_imports)]` on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `i` [INFO] [stdout] --> src/conf_automaton.rs:235:9 [INFO] [stdout] | [INFO] [stdout] 235 | for i in 0..6 { [INFO] [stdout] | ^ help: if this is intentional, prefix it with an underscore: `_i` [INFO] [stdout] | [INFO] [stdout] = note: `#[warn(unused_variables)]` on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `s` [INFO] [stdout] --> src/pcpseq.rs:109:39 [INFO] [stdout] | [INFO] [stdout] 109 | let nexts = s.apply_tile(&tile, &|s| true); [INFO] [stdout] | ^ help: if this is intentional, prefix it with an underscore: `_s` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `is_ok` [INFO] [stdout] --> src/pcpseq.rs:211:9 [INFO] [stdout] | [INFO] [stdout] 211 | is_ok: impl Fn(&PCPSequence) -> bool, [INFO] [stdout] | ^^^^^ help: if this is intentional, prefix it with an underscore: `_is_ok` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `s` [INFO] [stdout] --> src/pcpseq.rs:214:30 [INFO] [stdout] | [INFO] [stdout] 214 | .apply_pcp(pcp, |s| true) [INFO] [stdout] | ^ help: if this is intentional, prefix it with an underscore: `_s` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `s` [INFO] [stdout] --> src/pcpseq.rs:242:49 [INFO] [stdout] | [INFO] [stdout] 242 | .flat_map(|s| s.apply_pcp(pcp, |s| true)) [INFO] [stdout] | ^ help: if this is intentional, prefix it with an underscore: `_s` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `s` [INFO] [stdout] --> src/pcpseq.rs:410:9 [INFO] [stdout] | [INFO] [stdout] 410 | let s = PCPSequence::MidWild(MidWildSequence { [INFO] [stdout] | ^ help: if this is intentional, prefix it with an underscore: `_s` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `dir` [INFO] [stdout] --> src/union_pdr.rs:125:49 [INFO] [stdout] | [INFO] [stdout] 125 | PCPSequence::Exact(ExactSequence { seq, dir }) => seq.clone(), [INFO] [stdout] | ^^^ help: try ignoring the field: `dir: _` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `dir` [INFO] [stdout] --> src/union_pdr.rs:126:55 [INFO] [stdout] | [INFO] [stdout] 126 | PCPSequence::MidExact(MidExactSequence { mid, dir }) => mid.clone(), [INFO] [stdout] | ^^^ help: try ignoring the field: `dir: _` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `nexts` [INFO] [stdout] --> src/union_pdr.rs:278:39 [INFO] [stdout] | [INFO] [stdout] 278 | Some(DependsOn::Nexts(ref nexts)) => { [INFO] [stdout] | ^^^^^ help: if this is intentional, prefix it with an underscore: `_nexts` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `mid` [INFO] [stdout] --> src/union_pdr.rs:376:65 [INFO] [stdout] | [INFO] [stdout] 376 | || (if let PCPSequence::MidExact(MidExactSequence { mid, dir }) = seq { [INFO] [stdout] | ^^^ help: try ignoring the field: `mid: _` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `dir` [INFO] [stdout] --> src/union_pdr.rs:376:70 [INFO] [stdout] | [INFO] [stdout] 376 | || (if let PCPSequence::MidExact(MidExactSequence { mid, dir }) = seq { [INFO] [stdout] | ^^^ help: try ignoring the field: `dir: _` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `dir` [INFO] [stdout] --> src/union_pdr.rs:491:59 [INFO] [stdout] | [INFO] [stdout] 491 | PCPSequence::MidExact(MidExactSequence { mid, dir }) => mid.len() == 1, [INFO] [stdout] | ^^^ help: try ignoring the field: `dir: _` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `dir` [INFO] [stdout] --> src/union_pdr.rs:558:61 [INFO] [stdout] | [INFO] [stdout] 558 | PCPSequence::Exact(ExactSequence { seq, dir }) => seq.to_string(), [INFO] [stdout] | ^^^ help: try ignoring the field: `dir: _` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `dir` [INFO] [stdout] --> src/union_pdr.rs:559:67 [INFO] [stdout] | [INFO] [stdout] 559 | PCPSequence::MidExact(MidExactSequence { mid, dir }) => format!(".*{mid}.*"), [INFO] [stdout] | ^^^ help: try ignoring the field: `dir: _` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `id` [INFO] [stdout] --> src/union_pdr.rs:577:74 [INFO] [stdout] | [INFO] [stdout] 577 | let is_abstract_dep = if let Some(DependsOn::Abstract((_, _, id))) = &node.depends_on { [INFO] [stdout] | ^^ help: if this is intentional, prefix it with an underscore: `_id` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `nexts` [INFO] [stdout] --> src/union_pdr2.rs:337:43 [INFO] [stdout] | [INFO] [stdout] 337 | Some(DependsOn::Nexts(ref nexts)) => { [INFO] [stdout] | ^^^^^ help: if this is intentional, prefix it with an underscore: `_nexts` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `id` [INFO] [stdout] --> src/union_pdr2.rs:341:49 [INFO] [stdout] | [INFO] [stdout] 341 | Some(DependsOn::Abstract((None, id))) => { [INFO] [stdout] | ^^ help: if this is intentional, prefix it with an underscore: `_id` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `id` [INFO] [stdout] --> src/union_pdr2.rs:344:53 [INFO] [stdout] | [INFO] [stdout] 344 | Some(DependsOn::Abstract((Some(ds), id))) => { [INFO] [stdout] | ^^ help: if this is intentional, prefix it with an underscore: `_id` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `id` [INFO] [stdout] --> src/union_pdr2.rs:615:89 [INFO] [stdout] | [INFO] [stdout] 615 | let is_abstract_dep = match &node.depends_on { Some(DependsOn::Abstract((_, id))) => { [INFO] [stdout] | ^^ help: if this is intentional, prefix it with an underscore: `_id` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: aborting due to 6 previous errors; 20 warnings emitted [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] For more information about this error, try `rustc --explain E0599`. [INFO] [stdout] [INFO] [stderr] error: could not compile `pcp-rec-str` (lib test) due to 7 previous errors; 20 warnings emitted [INFO] [stderr] warning: build failed, waiting for other jobs to finish... [INFO] [stderr] Fixed src/main.rs (4 fixes) [INFO] [stderr] Migrating src/bin/union_pdr.rs from 2021 edition to 2024 [INFO] [stdout] warning: unused variable: `e` [INFO] [stdout] --> src/main.rs:54:30 [INFO] [stdout] | [INFO] [stdout] 54 | PCPSequence::MidWild(e) => { [INFO] [stdout] | ^ help: if this is intentional, prefix it with an underscore: `_e` [INFO] [stdout] | [INFO] [stdout] = note: `#[warn(unused_variables)]` on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `assumptions` [INFO] [stdout] --> src/main.rs:208:5 [INFO] [stdout] | [INFO] [stdout] 208 | assumptions: &Vec<&PCPSequence>, [INFO] [stdout] | ^^^^^^^^^^^ help: if this is intentional, prefix it with an underscore: `_assumptions` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `s` [INFO] [stdout] --> src/main.rs:252:40 [INFO] [stdout] | [INFO] [stdout] 252 | let next = seq.apply_pcp(pcp, |s| true); [INFO] [stdout] | ^ help: if this is intentional, prefix it with an underscore: `_s` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `f` [INFO] [stdout] --> src/main.rs:391:25 [INFO] [stdout] | [INFO] [stdout] 391 | if let Some(f) = state.emptied.iter().find(|f| s.contains(f)) { [INFO] [stdout] | ^ help: if this is intentional, prefix it with an underscore: `_f` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `raw` [INFO] [stdout] --> src/main.rs:928:10 [INFO] [stdout] | [INFO] [stdout] 928 | let (raw, pcp) = &instances[instance_idx]; [INFO] [stdout] | ^^^ help: if this is intentional, prefix it with an underscore: `_raw` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `pcp` [INFO] [stdout] --> src/main.rs:928:15 [INFO] [stdout] | [INFO] [stdout] 928 | let (raw, pcp) = &instances[instance_idx]; [INFO] [stdout] | ^^^ help: if this is intentional, prefix it with an underscore: `_pcp` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: value assigned to `ret_theorems` is never read [INFO] [stdout] --> src/main.rs:1063:13 [INFO] [stdout] | [INFO] [stdout] 1063 | let mut ret_theorems: Vec = vec![]; [INFO] [stdout] | ^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = help: maybe it is overwritten before being read? [INFO] [stdout] = note: `#[warn(unused_assignments)]` on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: function `check_reach_empty` is never used [INFO] [stdout] --> src/main.rs:205:4 [INFO] [stdout] | [INFO] [stdout] 205 | fn check_reach_empty( [INFO] [stdout] | ^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = note: `#[warn(dead_code)]` on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: field `result` is never read [INFO] [stdout] --> src/main.rs:579:5 [INFO] [stdout] | [INFO] [stdout] 577 | struct Result { [INFO] [stdout] | ------ field in this struct [INFO] [stdout] 578 | assumptions: Vec, [INFO] [stdout] 579 | result: bool, [INFO] [stdout] | ^^^^^^ [INFO] [stdout] | [INFO] [stdout] = note: `Result` has derived impls for the traits `Clone` and `Debug`, but these are intentionally ignored during dead code analysis [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: function `enumerate_substrings_from_pcp` is never used [INFO] [stdout] --> src/main.rs:651:4 [INFO] [stdout] | [INFO] [stdout] 651 | fn enumerate_substrings_from_pcp(pcp: &PCP, max_len: usize) -> (Vec, Vec) { [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: function `find_nonempty_substrs` is never used [INFO] [stdout] --> src/main.rs:705:4 [INFO] [stdout] | [INFO] [stdout] 705 | fn find_nonempty_substrs(pcp: &PCP) -> (Vec, Vec) { [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: function `get_nonempty_for_pcps` is never used [INFO] [stdout] --> src/main.rs:764:4 [INFO] [stdout] | [INFO] [stdout] 764 | fn get_nonempty_for_pcps() { [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: function `from_input` is never used [INFO] [stdout] --> src/main.rs:783:4 [INFO] [stdout] | [INFO] [stdout] 783 | fn from_input() { [INFO] [stdout] | ^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: function `find_answer` is never used [INFO] [stdout] --> src/main.rs:794:4 [INFO] [stdout] | [INFO] [stdout] 794 | fn find_answer(pcp: &PCP) -> bool { [INFO] [stdout] | ^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: function `parse_instance_list` is never used [INFO] [stdout] --> src/main.rs:835:4 [INFO] [stdout] | [INFO] [stdout] 835 | fn parse_instance_list(fname: &str) -> Vec { [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: function `refine_recursive_seqs` is never used [INFO] [stdout] --> src/main.rs:966:4 [INFO] [stdout] | [INFO] [stdout] 966 | fn refine_recursive_seqs(seqs: &mut Vec) { [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: function `hard_instances_check` is never used [INFO] [stdout] --> src/main.rs:1008:4 [INFO] [stdout] | [INFO] [stdout] 1008 | fn hard_instances_check() { [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: function `check_sanity` is never used [INFO] [stdout] --> src/main.rs:1027:4 [INFO] [stdout] | [INFO] [stdout] 1027 | fn check_sanity() { [INFO] [stdout] | ^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: function `find_recursive_strings` is never used [INFO] [stdout] --> src/main.rs:1044:4 [INFO] [stdout] | [INFO] [stdout] 1044 | fn find_recursive_strings(pcp: &PCP) -> Vec { [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: function `find_recursive_strings_for_pcp` is never used [INFO] [stdout] --> src/main.rs:1121:4 [INFO] [stdout] | [INFO] [stdout] 1121 | fn find_recursive_strings_for_pcp() { [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: function `reduce_checking` is never used [INFO] [stdout] --> src/main.rs:1150:4 [INFO] [stdout] | [INFO] [stdout] 1150 | fn reduce_checking(pcp: &PCP, iter: usize) -> bool { [INFO] [stdout] | ^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: function `sanity_check_reduce_pcp_aut` is never used [INFO] [stdout] --> src/main.rs:1277:4 [INFO] [stdout] | [INFO] [stdout] 1277 | fn sanity_check_reduce_pcp_aut() { [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variable `lMidExact` should have a snake case name [INFO] [stdout] --> src/main.rs:493:13 [INFO] [stdout] | [INFO] [stdout] 493 | let lMidExact: Vec<&PCPSequence> = l [INFO] [stdout] | ^^^^^^^^^ help: convert the identifier to snake case: `l_mid_exact` [INFO] [stdout] | [INFO] [stdout] = note: `#[warn(non_snake_case)]` on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: 23 warnings emitted [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `pcp` [INFO] [stdout] --> src/bin/union_pdr.rs:19:9 [INFO] [stdout] | [INFO] [stdout] 19 | let pcp = PCP::parse_pcp_string("PCP(Vector(Tile(1111,1), Tile(1,1001), Tile(0,11)))"); [INFO] [stdout] | ^^^ help: if this is intentional, prefix it with an underscore: `_pcp` [INFO] [stdout] | [INFO] [stdout] = note: `#[warn(unused_variables)]` on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stderr] Migrating src/bin/oracle.rs from 2021 edition to 2024 [INFO] [stdout] warning: unused variable: `pcp` [INFO] [stdout] --> src/bin/union_pdr.rs:20:9 [INFO] [stdout] | [INFO] [stdout] 20 | let pcp = PCP::parse_pcp_string("PCP(Vector(Tile(1101,1), Tile(0110,11), Tile(1,110)))");//hard [INFO] [stdout] | ^^^ help: if this is intentional, prefix it with an underscore: `_pcp` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `pcp` [INFO] [stdout] --> src/bin/union_pdr.rs:23:9 [INFO] [stdout] | [INFO] [stdout] 23 | let pcp = PCP::parse_pcp_string("PCP(Vector(Tile(1110,1), Tile(01,11), Tile(1,011)))"); [INFO] [stdout] | ^^^ help: if this is intentional, prefix it with an underscore: `_pcp` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `pcp` [INFO] [stdout] --> src/bin/union_pdr.rs:25:9 [INFO] [stdout] | [INFO] [stdout] 25 | let pcp = PCP::parse_pcp_string("PCP(Vector(Tile(100,1)Tile(0,100)Tile(1,00))))");//solvable [INFO] [stdout] | ^^^ help: if this is intentional, prefix it with an underscore: `_pcp` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `pcp` [INFO] [stdout] --> src/bin/union_pdr.rs:26:9 [INFO] [stdout] | [INFO] [stdout] 26 | let pcp = PCP::parse_pcp_string("PCP(Vector(Tile(110,1), Tile(1,0), Tile(0,110)))");//hard [INFO] [stdout] | ^^^ help: if this is intentional, prefix it with an underscore: `_pcp` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `pcp` [INFO] [stdout] --> src/bin/union_pdr.rs:28:9 [INFO] [stdout] | [INFO] [stdout] 28 | let pcp = PCP::parse_pcp_string("PCP(Vector(Tile(1111,11), Tile(10,111), Tile(1,1110)))").reverse_pcp();//0 [INFO] [stdout] | ^^^ help: if this is intentional, prefix it with an underscore: `_pcp` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `pcp` [INFO] [stdout] --> src/bin/union_pdr.rs:29:9 [INFO] [stdout] | [INFO] [stdout] 29 | let pcp = PCP::parse_pcp_string("PCP(Vector(Tile(1111,1), Tile(10,11), Tile(1,1110)))");//20 [INFO] [stdout] | ^^^ help: if this is intentional, prefix it with an underscore: `_pcp` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `pcp` [INFO] [stdout] --> src/bin/union_pdr.rs:30:9 [INFO] [stdout] | [INFO] [stdout] 30 | let pcp = PCP::parse_pcp_string("PCP(Vector(Tile(1110,1), Tile(1,10), Tile(0,1110)))");//30 [INFO] [stdout] | ^^^ help: if this is intentional, prefix it with an underscore: `_pcp` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `pcp` [INFO] [stdout] --> src/bin/union_pdr.rs:31:9 [INFO] [stdout] | [INFO] [stdout] 31 | let pcp = PCP::parse_pcp_string("PCP(Vector(Tile(10,0), Tile(0,001), Tile(001,1)))"); [INFO] [stdout] | ^^^ help: if this is intentional, prefix it with an underscore: `_pcp` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `pcp` [INFO] [stdout] --> src/bin/union_pdr.rs:32:9 [INFO] [stdout] | [INFO] [stdout] 32 | let pcp = PCP::parse_pcp_string("PCP(Vector(Tile(1111,1), Tile(1,1110), Tile(0,1111)))");//20 [INFO] [stdout] | ^^^ help: if this is intentional, prefix it with an underscore: `_pcp` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: function `parse_file` is never used [INFO] [stdout] --> src/bin/union_pdr.rs:6:4 [INFO] [stdout] | [INFO] [stdout] 6 | fn parse_file(f: &str) -> Vec<(String, PCP)> { [INFO] [stdout] | ^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = note: `#[warn(dead_code)]` on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: 11 warnings emitted [INFO] [stdout] [INFO] [stdout] [INFO] [stderr] Fixed src/bin/oracle.rs (2 fixes) [INFO] [stderr] Migrating src/bin/experiment.rs from 2021 edition to 2024 [INFO] [stdout] warning: function `parse_file` is never used [INFO] [stdout] --> src/bin/oracle.rs:7:4 [INFO] [stdout] | [INFO] [stdout] 7 | fn parse_file(f: &str) -> Vec<(String, PCP)> { [INFO] [stdout] | ^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = note: `#[warn(dead_code)]` on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: 1 warning emitted [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: function `parse_file` is never used [INFO] [stdout] --> src/bin/experiment.rs:6:4 [INFO] [stdout] | [INFO] [stdout] 6 | fn parse_file(f: &str) -> Vec<(String, PCP)> { [INFO] [stdout] | ^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = note: `#[warn(dead_code)]` on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: 1 warning emitted [INFO] [stdout] [INFO] [stdout] [INFO] [stderr] Migrating src/bin/interactive.rs from 2021 edition to 2024 [INFO] [stdout] warning: unused variable: `e` [INFO] [stdout] --> src/main.rs:54:30 [INFO] [stdout] | [INFO] [stdout] 54 | PCPSequence::MidWild(e) => { [INFO] [stdout] | ^ help: if this is intentional, prefix it with an underscore: `_e` [INFO] [stdout] | [INFO] [stdout] = note: `#[warn(unused_variables)]` on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `assumptions` [INFO] [stdout] --> src/main.rs:208:5 [INFO] [stdout] | [INFO] [stdout] 208 | assumptions: &Vec<&PCPSequence>, [INFO] [stdout] | ^^^^^^^^^^^ help: if this is intentional, prefix it with an underscore: `_assumptions` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `s` [INFO] [stdout] --> src/main.rs:252:40 [INFO] [stdout] | [INFO] [stdout] 252 | let next = seq.apply_pcp(pcp, |s| true); [INFO] [stdout] | ^ help: if this is intentional, prefix it with an underscore: `_s` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `f` [INFO] [stdout] --> src/main.rs:391:25 [INFO] [stdout] | [INFO] [stdout] 391 | if let Some(f) = state.emptied.iter().find(|f| s.contains(f)) { [INFO] [stdout] | ^ help: if this is intentional, prefix it with an underscore: `_f` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `raw` [INFO] [stdout] --> src/main.rs:928:10 [INFO] [stdout] | [INFO] [stdout] 928 | let (raw, pcp) = &instances[instance_idx]; [INFO] [stdout] | ^^^ help: if this is intentional, prefix it with an underscore: `_raw` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `pcp` [INFO] [stdout] --> src/main.rs:928:15 [INFO] [stdout] | [INFO] [stdout] 928 | let (raw, pcp) = &instances[instance_idx]; [INFO] [stdout] | ^^^ help: if this is intentional, prefix it with an underscore: `_pcp` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: value assigned to `ret_theorems` is never read [INFO] [stdout] --> src/main.rs:1063:13 [INFO] [stdout] | [INFO] [stdout] 1063 | let mut ret_theorems: Vec = vec![]; [INFO] [stdout] | ^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = help: maybe it is overwritten before being read? [INFO] [stdout] = note: `#[warn(unused_assignments)]` on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: function `check_reach_empty` is never used [INFO] [stdout] --> src/main.rs:205:4 [INFO] [stdout] | [INFO] [stdout] 205 | fn check_reach_empty( [INFO] [stdout] | ^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = note: `#[warn(dead_code)]` on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: field `result` is never read [INFO] [stdout] --> src/main.rs:579:5 [INFO] [stdout] | [INFO] [stdout] 577 | struct Result { [INFO] [stdout] | ------ field in this struct [INFO] [stdout] 578 | assumptions: Vec, [INFO] [stdout] 579 | result: bool, [INFO] [stdout] | ^^^^^^ [INFO] [stdout] | [INFO] [stdout] = note: `Result` has derived impls for the traits `Clone` and `Debug`, but these are intentionally ignored during dead code analysis [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: function `enumerate_substrings_from_pcp` is never used [INFO] [stdout] --> src/main.rs:651:4 [INFO] [stdout] | [INFO] [stdout] 651 | fn enumerate_substrings_from_pcp(pcp: &PCP, max_len: usize) -> (Vec, Vec) { [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: function `find_nonempty_substrs` is never used [INFO] [stdout] --> src/main.rs:705:4 [INFO] [stdout] | [INFO] [stdout] 705 | fn find_nonempty_substrs(pcp: &PCP) -> (Vec, Vec) { [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: function `get_nonempty_for_pcps` is never used [INFO] [stdout] --> src/main.rs:764:4 [INFO] [stdout] | [INFO] [stdout] 764 | fn get_nonempty_for_pcps() { [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: function `from_input` is never used [INFO] [stdout] --> src/main.rs:783:4 [INFO] [stdout] | [INFO] [stdout] 783 | fn from_input() { [INFO] [stdout] | ^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: function `find_answer` is never used [INFO] [stdout] --> src/main.rs:794:4 [INFO] [stdout] | [INFO] [stdout] 794 | fn find_answer(pcp: &PCP) -> bool { [INFO] [stdout] | ^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: function `parse_instance_list` is never used [INFO] [stdout] --> src/main.rs:835:4 [INFO] [stdout] | [INFO] [stdout] 835 | fn parse_instance_list(fname: &str) -> Vec { [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: function `refine_recursive_seqs` is never used [INFO] [stdout] --> src/main.rs:966:4 [INFO] [stdout] | [INFO] [stdout] 966 | fn refine_recursive_seqs(seqs: &mut Vec) { [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: function `hard_instances_check` is never used [INFO] [stdout] --> src/main.rs:1008:4 [INFO] [stdout] | [INFO] [stdout] 1008 | fn hard_instances_check() { [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: function `check_sanity` is never used [INFO] [stdout] --> src/main.rs:1027:4 [INFO] [stdout] | [INFO] [stdout] 1027 | fn check_sanity() { [INFO] [stdout] | ^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: function `find_recursive_strings` is never used [INFO] [stdout] --> src/main.rs:1044:4 [INFO] [stdout] | [INFO] [stdout] 1044 | fn find_recursive_strings(pcp: &PCP) -> Vec { [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: function `find_recursive_strings_for_pcp` is never used [INFO] [stdout] --> src/main.rs:1121:4 [INFO] [stdout] | [INFO] [stdout] 1121 | fn find_recursive_strings_for_pcp() { [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: function `sanity_check_reduce_pcp_aut` is never used [INFO] [stdout] --> src/main.rs:1277:4 [INFO] [stdout] | [INFO] [stdout] 1277 | fn sanity_check_reduce_pcp_aut() { [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variable `lMidExact` should have a snake case name [INFO] [stdout] --> src/main.rs:493:13 [INFO] [stdout] | [INFO] [stdout] 493 | let lMidExact: Vec<&PCPSequence> = l [INFO] [stdout] | ^^^^^^^^^ help: convert the identifier to snake case: `l_mid_exact` [INFO] [stdout] | [INFO] [stdout] = note: `#[warn(non_snake_case)]` on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: 22 warnings emitted [INFO] [stdout] [INFO] [stdout] [INFO] [stderr] Fixed src/bin/interactive.rs (2 fixes) [INFO] [stdout] warning: unused variable: `aut` [INFO] [stdout] --> src/bin/interactive.rs:16:9 [INFO] [stdout] | [INFO] [stdout] 16 | let aut = pcp.to_automaton(); [INFO] [stdout] | ^^^ help: if this is intentional, prefix it with an underscore: `_aut` [INFO] [stdout] | [INFO] [stdout] = note: `#[warn(unused_variables)]` on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: 1 warning emitted [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: function `parse_file` is never used [INFO] [stdout] --> src/bin/experiment.rs:6:4 [INFO] [stdout] | [INFO] [stdout] 6 | fn parse_file(f: &str) -> Vec<(String, PCP)> { [INFO] [stdout] | ^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = note: `#[warn(dead_code)]` on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: 1 warning emitted [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `pcp` [INFO] [stdout] --> src/bin/union_pdr.rs:19:9 [INFO] [stdout] | [INFO] [stdout] 19 | let pcp = PCP::parse_pcp_string("PCP(Vector(Tile(1111,1), Tile(1,1001), Tile(0,11)))"); [INFO] [stdout] | ^^^ help: if this is intentional, prefix it with an underscore: `_pcp` [INFO] [stdout] | [INFO] [stdout] = note: `#[warn(unused_variables)]` on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stderr] Migrating src/bin/union_pdr2.rs from 2021 edition to 2024 [INFO] [stdout] warning: unused variable: `pcp` [INFO] [stdout] --> src/bin/union_pdr.rs:20:9 [INFO] [stdout] | [INFO] [stdout] 20 | let pcp = PCP::parse_pcp_string("PCP(Vector(Tile(1101,1), Tile(0110,11), Tile(1,110)))");//hard [INFO] [stdout] | ^^^ help: if this is intentional, prefix it with an underscore: `_pcp` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `pcp` [INFO] [stdout] --> src/bin/union_pdr.rs:23:9 [INFO] [stdout] | [INFO] [stdout] 23 | let pcp = PCP::parse_pcp_string("PCP(Vector(Tile(1110,1), Tile(01,11), Tile(1,011)))"); [INFO] [stdout] | ^^^ help: if this is intentional, prefix it with an underscore: `_pcp` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `pcp` [INFO] [stdout] --> src/bin/union_pdr.rs:25:9 [INFO] [stdout] | [INFO] [stdout] 25 | let pcp = PCP::parse_pcp_string("PCP(Vector(Tile(100,1)Tile(0,100)Tile(1,00))))");//solvable [INFO] [stdout] | ^^^ help: if this is intentional, prefix it with an underscore: `_pcp` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `pcp` [INFO] [stdout] --> src/bin/union_pdr.rs:26:9 [INFO] [stdout] | [INFO] [stdout] 26 | let pcp = PCP::parse_pcp_string("PCP(Vector(Tile(110,1), Tile(1,0), Tile(0,110)))");//hard [INFO] [stdout] | ^^^ help: if this is intentional, prefix it with an underscore: `_pcp` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `pcp` [INFO] [stdout] --> src/bin/union_pdr.rs:28:9 [INFO] [stdout] | [INFO] [stdout] 28 | let pcp = PCP::parse_pcp_string("PCP(Vector(Tile(1111,11), Tile(10,111), Tile(1,1110)))").reverse_pcp();//0 [INFO] [stdout] | ^^^ help: if this is intentional, prefix it with an underscore: `_pcp` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `pcp` [INFO] [stdout] --> src/bin/union_pdr.rs:29:9 [INFO] [stdout] | [INFO] [stdout] 29 | let pcp = PCP::parse_pcp_string("PCP(Vector(Tile(1111,1), Tile(10,11), Tile(1,1110)))");//20 [INFO] [stdout] | ^^^ help: if this is intentional, prefix it with an underscore: `_pcp` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `pcp` [INFO] [stdout] --> src/bin/union_pdr.rs:30:9 [INFO] [stdout] | [INFO] [stdout] 30 | let pcp = PCP::parse_pcp_string("PCP(Vector(Tile(1110,1), Tile(1,10), Tile(0,1110)))");//30 [INFO] [stdout] | ^^^ help: if this is intentional, prefix it with an underscore: `_pcp` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `pcp` [INFO] [stdout] --> src/bin/union_pdr.rs:31:9 [INFO] [stdout] | [INFO] [stdout] 31 | let pcp = PCP::parse_pcp_string("PCP(Vector(Tile(10,0), Tile(0,001), Tile(001,1)))"); [INFO] [stdout] | ^^^ help: if this is intentional, prefix it with an underscore: `_pcp` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `pcp` [INFO] [stdout] --> src/bin/union_pdr.rs:32:9 [INFO] [stdout] | [INFO] [stdout] 32 | let pcp = PCP::parse_pcp_string("PCP(Vector(Tile(1111,1), Tile(1,1110), Tile(0,1111)))");//20 [INFO] [stdout] | ^^^ help: if this is intentional, prefix it with an underscore: `_pcp` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: function `parse_file` is never used [INFO] [stdout] --> src/bin/union_pdr.rs:6:4 [INFO] [stdout] | [INFO] [stdout] 6 | fn parse_file(f: &str) -> Vec<(String, PCP)> { [INFO] [stdout] | ^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = note: `#[warn(dead_code)]` on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: 11 warnings emitted [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `pcp` [INFO] [stdout] --> src/bin/union_pdr2.rs:19:9 [INFO] [stdout] | [INFO] [stdout] 19 | let pcp = PCP::parse_pcp_string("PCP(Vector(Tile(1111,1), Tile(1,1001), Tile(0,11)))"); [INFO] [stdout] | ^^^ help: if this is intentional, prefix it with an underscore: `_pcp` [INFO] [stdout] | [INFO] [stdout] = note: `#[warn(unused_variables)]` on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `pcp` [INFO] [stdout] --> src/bin/union_pdr2.rs:21:9 [INFO] [stdout] | [INFO] [stdout] 21 | let pcp = PCP::parse_pcp_string("PCP(Vector(Tile(1110,1), Tile(01,11), Tile(1,011)))"); [INFO] [stdout] | ^^^ help: if this is intentional, prefix it with an underscore: `_pcp` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `pcp` [INFO] [stdout] --> src/bin/union_pdr2.rs:23:9 [INFO] [stdout] | [INFO] [stdout] 23 | let pcp = PCP::parse_pcp_string("PCP(Vector(Tile(1110,1), Tile(1,10), Tile(0,1110)))");//30 [INFO] [stdout] | ^^^ help: if this is intentional, prefix it with an underscore: `_pcp` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `pcp` [INFO] [stdout] --> src/bin/union_pdr2.rs:24:9 [INFO] [stdout] | [INFO] [stdout] 24 | let pcp = PCP::parse_pcp_string("PCP(Vector(Tile(10,0), Tile(0,001), Tile(001,1)))"); [INFO] [stdout] | ^^^ help: if this is intentional, prefix it with an underscore: `_pcp` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `pcp` [INFO] [stdout] --> src/bin/union_pdr2.rs:25:9 [INFO] [stdout] | [INFO] [stdout] 25 | let pcp = PCP::parse_pcp_string("PCP(Vector(Tile(1111,1), Tile(1,1110), Tile(0,1111)))");//20 [INFO] [stdout] | ^^^ help: if this is intentional, prefix it with an underscore: `_pcp` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `pcp` [INFO] [stdout] --> src/bin/union_pdr2.rs:27:9 [INFO] [stdout] | [INFO] [stdout] 27 | let pcp = PCP::parse_pcp_string("PCP(Vector(Tile(1111,11), Tile(10,111), Tile(1,1110)))").reverse_pcp();//0 [INFO] [stdout] | ^^^ help: if this is intentional, prefix it with an underscore: `_pcp` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: function `parse_file` is never used [INFO] [stdout] --> src/bin/union_pdr2.rs:6:4 [INFO] [stdout] | [INFO] [stdout] 6 | fn parse_file(f: &str) -> Vec<(String, PCP)> { [INFO] [stdout] | ^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = note: `#[warn(dead_code)]` on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: 7 warnings emitted [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: function `parse_file` is never used [INFO] [stdout] --> src/bin/oracle.rs:7:4 [INFO] [stdout] | [INFO] [stdout] 7 | fn parse_file(f: &str) -> Vec<(String, PCP)> { [INFO] [stdout] | ^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = note: `#[warn(dead_code)]` on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: 1 warning emitted [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `aut` [INFO] [stdout] --> src/bin/interactive.rs:16:9 [INFO] [stdout] | [INFO] [stdout] 16 | let aut = pcp.to_automaton(); [INFO] [stdout] | ^^^ help: if this is intentional, prefix it with an underscore: `_aut` [INFO] [stdout] | [INFO] [stdout] = note: `#[warn(unused_variables)]` on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: 1 warning emitted [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `pcp` [INFO] [stdout] --> src/bin/union_pdr2.rs:19:9 [INFO] [stdout] | [INFO] [stdout] 19 | let pcp = PCP::parse_pcp_string("PCP(Vector(Tile(1111,1), Tile(1,1001), Tile(0,11)))"); [INFO] [stdout] | ^^^ help: if this is intentional, prefix it with an underscore: `_pcp` [INFO] [stdout] | [INFO] [stdout] = note: `#[warn(unused_variables)]` on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `pcp` [INFO] [stdout] --> src/bin/union_pdr2.rs:21:9 [INFO] [stdout] | [INFO] [stdout] 21 | let pcp = PCP::parse_pcp_string("PCP(Vector(Tile(1110,1), Tile(01,11), Tile(1,011)))"); [INFO] [stdout] | ^^^ help: if this is intentional, prefix it with an underscore: `_pcp` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `pcp` [INFO] [stdout] --> src/bin/union_pdr2.rs:23:9 [INFO] [stdout] | [INFO] [stdout] 23 | let pcp = PCP::parse_pcp_string("PCP(Vector(Tile(1110,1), Tile(1,10), Tile(0,1110)))");//30 [INFO] [stdout] | ^^^ help: if this is intentional, prefix it with an underscore: `_pcp` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `pcp` [INFO] [stdout] --> src/bin/union_pdr2.rs:24:9 [INFO] [stdout] | [INFO] [stdout] 24 | let pcp = PCP::parse_pcp_string("PCP(Vector(Tile(10,0), Tile(0,001), Tile(001,1)))"); [INFO] [stdout] | ^^^ help: if this is intentional, prefix it with an underscore: `_pcp` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `pcp` [INFO] [stdout] --> src/bin/union_pdr2.rs:25:9 [INFO] [stdout] | [INFO] [stdout] 25 | let pcp = PCP::parse_pcp_string("PCP(Vector(Tile(1111,1), Tile(1,1110), Tile(0,1111)))");//20 [INFO] [stdout] | ^^^ help: if this is intentional, prefix it with an underscore: `_pcp` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `pcp` [INFO] [stdout] --> src/bin/union_pdr2.rs:27:9 [INFO] [stdout] | [INFO] [stdout] 27 | let pcp = PCP::parse_pcp_string("PCP(Vector(Tile(1111,11), Tile(10,111), Tile(1,1110)))").reverse_pcp();//0 [INFO] [stdout] | ^^^ help: if this is intentional, prefix it with an underscore: `_pcp` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: function `parse_file` is never used [INFO] [stdout] --> src/bin/union_pdr2.rs:6:4 [INFO] [stdout] | [INFO] [stdout] 6 | fn parse_file(f: &str) -> Vec<(String, PCP)> { [INFO] [stdout] | ^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = note: `#[warn(dead_code)]` on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: 7 warnings emitted [INFO] [stdout] [INFO] [stdout] [INFO] [stderr] error: failed to migrate to next edition [INFO] [stderr] [INFO] [stderr] Caused by: [INFO] [stderr] process didn't exit successfully: `cargo fix --edition --allow-no-vcs --allow-dirty --frozen --all --all-targets --message-format=json` (exit status: 101) [INFO] running `Command { std: "docker" "inspect" "81ca51e6b8970ea13d8314ac2124c65336ea0a71f4f53adb0fb2ec83c3b41be6", kill_on_drop: false }` [INFO] running `Command { std: "docker" "rm" "-f" "81ca51e6b8970ea13d8314ac2124c65336ea0a71f4f53adb0fb2ec83c3b41be6", kill_on_drop: false }` [INFO] [stdout] 81ca51e6b8970ea13d8314ac2124c65336ea0a71f4f53adb0fb2ec83c3b41be6