[INFO] cloning repository https://github.com/Hirtol/parity-game-rs
[INFO] running `Command { std: "git" "-c" "credential.helper=" "-c" "credential.helper=/workspace/cargo-home/bin/git-credential-null" "clone" "--bare" "https://github.com/Hirtol/parity-game-rs" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2FHirtol%2Fparity-game-rs", kill_on_drop: false }`
[INFO] [stderr] Cloning into bare repository '/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2FHirtol%2Fparity-game-rs'...
[INFO] running `Command { std: "git" "rev-parse" "HEAD", kill_on_drop: false }`
[INFO] [stdout] 9678c5a624942b7a1d0823d3c076d10274e3ac6c
[INFO] checking Hirtol/parity-game-rs against master#f8463896a9b36a04899c013bd8825a7fd29dd7a4 for pr-151920
[INFO] running `Command { std: "git" "clone" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2FHirtol%2Fparity-game-rs" "/workspace/builds/worker-6-tc1/source", kill_on_drop: false }`
[INFO] [stderr] Cloning into '/workspace/builds/worker-6-tc1/source'...
[INFO] [stderr] done.
[INFO] started tweaking git repo https://github.com/Hirtol/parity-game-rs
[INFO] finished tweaking git repo https://github.com/Hirtol/parity-game-rs
[INFO] tweaked toml for git repo https://github.com/Hirtol/parity-game-rs written to /workspace/builds/worker-6-tc1/source/Cargo.toml
[INFO] validating manifest of git repo https://github.com/Hirtol/parity-game-rs on toolchain f8463896a9b36a04899c013bd8825a7fd29dd7a4
[INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+f8463896a9b36a04899c013bd8825a7fd29dd7a4" "metadata" "--manifest-path" "Cargo.toml" "--no-deps", kill_on_drop: false }`
[INFO] crate git repo https://github.com/Hirtol/parity-game-rs 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" "+f8463896a9b36a04899c013bd8825a7fd29dd7a4" "fetch" "--manifest-path" "Cargo.toml", kill_on_drop: false }`
[INFO] [stderr]     Blocking waiting for file lock on package cache
[INFO] [stderr]     Updating crates.io index
[INFO] [stderr]     Updating git repository `https://github.com/Hirtol/fixedbitset`
[INFO] [stderr]     Updating git repository `https://github.com/Hirtol/oxidd`
[INFO] [stderr]     Blocking waiting for file lock on package cache
[INFO] [stderr]  Downloading crates ...
[INFO] [stderr]   Downloaded soa-rs v0.7.2
[INFO] [stderr]   Downloaded is_sorted v0.1.1
[INFO] [stderr]   Downloaded dynqueue v0.3.0
[INFO] [stderr]   Downloaded peak_alloc v0.2.1
[INFO] [stderr]   Downloaded generator v0.8.3
[INFO] [stderr]   Downloaded bitcode_derive v0.6.3
[INFO] [stderr]   Downloaded vte_generate_state_changes v0.1.2
[INFO] [stderr]   Downloaded mintex v0.1.3
[INFO] [stderr]   Downloaded ecow v0.2.3
[INFO] [stderr]   Downloaded vt100 v0.15.2
[INFO] [stderr]   Downloaded divan-macros v0.1.14
[INFO] [stderr]   Downloaded anstream v0.6.17
[INFO] [stderr]   Downloaded tracing-indicatif v0.3.6
[INFO] [stderr]   Downloaded anstyle v1.0.9
[INFO] [stderr]   Downloaded bitcode v0.6.3
[INFO] [stderr]   Downloaded divan v0.1.14
[INFO] [stderr]   Downloaded roaring v0.10.6
[INFO] [stderr]   Downloaded tracy-client v0.17.4
[INFO] [stderr]   Downloaded oorandom v11.1.4
[INFO] [stderr]   Downloaded sysinfo v0.33.0
[INFO] [stderr]   Downloaded condtype v1.3.0
[INFO] [stderr]   Downloaded soa-rs-derive v0.7.0
[INFO] [stderr]   Downloaded tracy-client-sys v0.24.1
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-6-tc1/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-6-tc1/source:/opt/rustwide/workdir:ro,Z" "-v" "/var/lib/crater-agent-workspace/cargo-home:/opt/rustwide/cargo-home:ro,Z" "-v" "/var/lib/crater-agent-workspace/rustup-home:/opt/rustwide/rustup-home:ro,Z" "-e" "SOURCE_DIR=/opt/rustwide/workdir" "-e" "CARGO_TARGET_DIR=/opt/rustwide/target" "-e" "CARGO_HOME=/opt/rustwide/cargo-home" "-e" "RUSTUP_HOME=/opt/rustwide/rustup-home" "-w" "/opt/rustwide/workdir" "-m" "1610612736" "--user" "0:0" "--network" "none" "ghcr.io/rust-lang/crates-build-env/linux@sha256:61361fe0aef631f17e9d025a70c5a647956f8c671dd02950a60ad3f5cc5526d7" "/opt/rustwide/cargo-home/bin/cargo" "+f8463896a9b36a04899c013bd8825a7fd29dd7a4" "metadata" "--no-deps" "--format-version=1", kill_on_drop: false }`
[INFO] [stdout] 1a7537a66771034365cbbf45c041534fc82c4e6ebcb287889d17207f6b458512
[INFO] running `Command { std: "docker" "start" "-a" "1a7537a66771034365cbbf45c041534fc82c4e6ebcb287889d17207f6b458512", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "inspect" "1a7537a66771034365cbbf45c041534fc82c4e6ebcb287889d17207f6b458512", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "1a7537a66771034365cbbf45c041534fc82c4e6ebcb287889d17207f6b458512", kill_on_drop: false }`
[INFO] [stdout] 1a7537a66771034365cbbf45c041534fc82c4e6ebcb287889d17207f6b458512
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-6-tc1/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-6-tc1/source:/opt/rustwide/workdir:ro,Z" "-v" "/var/lib/crater-agent-workspace/cargo-home:/opt/rustwide/cargo-home:ro,Z" "-v" "/var/lib/crater-agent-workspace/rustup-home:/opt/rustwide/rustup-home:ro,Z" "-e" "SOURCE_DIR=/opt/rustwide/workdir" "-e" "CARGO_TARGET_DIR=/opt/rustwide/target" "-e" "CARGO_INCREMENTAL=0" "-e" "RUST_BACKTRACE=full" "-e" "RUSTFLAGS=--cap-lints=forbid" "-e" "RUSTDOCFLAGS=--cap-lints=forbid" "-e" "CARGO_HOME=/opt/rustwide/cargo-home" "-e" "RUSTUP_HOME=/opt/rustwide/rustup-home" "-w" "/opt/rustwide/workdir" "-m" "1610612736" "--user" "0:0" "--network" "none" "ghcr.io/rust-lang/crates-build-env/linux@sha256:61361fe0aef631f17e9d025a70c5a647956f8c671dd02950a60ad3f5cc5526d7" "/opt/rustwide/cargo-home/bin/cargo" "+f8463896a9b36a04899c013bd8825a7fd29dd7a4" "check" "--frozen" "--all" "--all-targets" "--message-format=json", kill_on_drop: false }`
[INFO] [stdout] f53871748af638fa0b82d2a83fd97d341011611239c20424f101bd4586e0864d
[INFO] running `Command { std: "docker" "start" "-a" "f53871748af638fa0b82d2a83fd97d341011611239c20424f101bd4586e0864d", kill_on_drop: false }`
[INFO] [stderr]    Compiling unicode-ident v1.0.13
[INFO] [stderr]    Compiling libc v0.2.168
[INFO] [stderr]    Compiling crossbeam-utils v0.8.20
[INFO] [stderr]    Compiling serde v1.0.214
[INFO] [stderr]     Checking smallvec v1.13.2
[INFO] [stderr]     Checking either v1.13.0
[INFO] [stderr]    Compiling rayon-core v1.12.1
[INFO] [stderr]     Checking nanorand v0.7.0
[INFO] [stderr]    Compiling radium v0.7.0
[INFO] [stderr]    Compiling proc-macro-error-attr v1.0.4
[INFO] [stderr]    Compiling syn v1.0.109
[INFO] [stderr]    Compiling proc-macro-error v1.0.4
[INFO] [stderr]    Compiling lock_api v0.4.12
[INFO] [stderr]     Checking wyz v0.5.1
[INFO] [stderr]     Checking log v0.4.22
[INFO] [stderr]     Checking itoa v1.0.11
[INFO] [stderr]    Compiling windows_x86_64_gnu v0.52.6
[INFO] [stderr]     Checking funty v2.0.0
[INFO] [stderr]    Compiling proc-macro2 v1.0.92
[INFO] [stderr]    Compiling document-features v0.2.10
[INFO] [stderr]     Checking is_sorted v0.1.1
[INFO] [stderr]    Compiling rustix v0.38.38
[INFO] [stderr]     Checking regex-automata v0.4.8
[INFO] [stderr]     Checking tracing-core v0.1.32
[INFO] [stderr]     Checking oxidd-core v0.7.0 (https://github.com/Hirtol/oxidd#62dfa919)
[INFO] [stderr]     Checking sptr v0.3.2
[INFO] [stderr]     Checking bitflags v2.6.0
[INFO] [stderr]     Checking linux-raw-sys v0.4.14
[INFO] [stderr]    Compiling cc v1.1.31
[INFO] [stderr]     Checking windows-targets v0.52.6
[INFO] [stderr]     Checking anstyle-parse v0.2.6
[INFO] [stderr]     Checking anstyle-query v1.1.2
[INFO] [stderr]    Compiling serde_json v1.0.132
[INFO] [stderr]    Compiling eyre v0.6.12
[INFO] [stderr]     Checking colorchoice v1.0.3
[INFO] [stderr]     Checking anstyle v1.0.9
[INFO] [stderr]     Checking ryu v1.0.18
[INFO] [stderr]     Checking windows-result v0.2.0
[INFO] [stderr]     Checking tracing-log v0.2.0
[INFO] [stderr]     Checking spin v0.9.8
[INFO] [stderr]     Checking indenter v0.3.3
[INFO] [stderr]     Checking strsim v0.11.1
[INFO] [stderr]     Checking clap_lex v0.7.2
[INFO] [stderr]     Checking bitvec v1.0.1
[INFO] [stderr]     Checking allocator-api2 v0.2.18
[INFO] [stderr]     Checking windows-strings v0.1.0
[INFO] [stderr]    Compiling ahash v0.8.11
[INFO] [stderr]     Checking winnow v0.6.20
[INFO] [stderr]     Checking anstream v0.6.17
[INFO] [stderr]     Checking flume v0.11.1
[INFO] [stderr]    Compiling quote v1.0.37
[INFO] [stderr]     Checking bytemuck v1.19.0
[INFO] [stderr]     Checking linear-hashtbl v0.1.0 (https://github.com/Hirtol/oxidd#62dfa919)
[INFO] [stderr]    Compiling syn v2.0.90
[INFO] [stderr]     Checking crossbeam-epoch v0.9.18
[INFO] [stderr]    Compiling thiserror v1.0.65
[INFO] [stderr]     Checking crossbeam-queue v0.3.11
[INFO] [stderr]     Checking crossbeam-deque v0.8.5
[INFO] [stderr]    Compiling num-traits v0.2.19
[INFO] [stderr]    Compiling itertools v0.10.5
[INFO] [stderr]     Checking zerocopy v0.7.35
[INFO] [stderr]    Compiling fnv v1.0.7
[INFO] [stderr]    Compiling ident_case v1.0.1
[INFO] [stderr]     Checking roaring v0.10.6
[INFO] [stderr]     Checking parking_lot_core v0.9.10
[INFO] [stderr]     Checking hugealloc v0.1.0 (https://github.com/Hirtol/oxidd#62dfa919)
[INFO] [stderr]     Checking getrandom v0.2.15
[INFO] [stderr]     Checking itertools v0.13.0
[INFO] [stderr]     Checking parking_lot v0.12.3
[INFO] [stderr]     Checking half v2.4.1
[INFO] [stderr]     Checking rayon v1.10.0
[INFO] [stderr]     Checking ecow v0.2.3
[INFO] [stderr]     Checking arcslab v0.1.0 (https://github.com/Hirtol/oxidd#62dfa919)
[INFO] [stderr]     Checking oxidd-cache v0.7.0 (https://github.com/Hirtol/oxidd#62dfa919)
[INFO] [stderr]     Checking terminal_size v0.4.0
[INFO] [stderr]    Compiling portable-atomic v1.9.0
[INFO] [stderr]     Checking clap_builder v4.5.20
[INFO] [stderr]     Checking plotters-backend v0.3.7
[INFO] [stderr]     Checking arrayvec v0.7.6
[INFO] [stderr]     Checking pg_parser v0.1.0 (/opt/rustwide/workdir/pg_parser)
[INFO] [stderr]     Checking fixedbitset v0.5.7 (https://github.com/Hirtol/fixedbitset#970b167f)
[INFO] [stderr]     Checking ciborium-io v0.2.2
[INFO] [stdout] warning: unused variable: `header`
[INFO] [stdout]   --> pg_parser/src/lib.rs:29:15
[INFO] [stdout]    |
[INFO] [stdout] 29 |     if let Ok(header) = &result {
[INFO] [stdout]    |               ^^^^^^ help: if this is intentional, prefix it with an underscore: `_header`
[INFO] [stdout]    |
[INFO] [stdout]    = note: `#[warn(unused_variables)]` (part of `#[warn(unused)]`) on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stderr]     Checking ciborium-ll v0.2.2
[INFO] [stderr]     Checking plotters-svg v0.3.7
[INFO] [stderr]     Checking oxidd-dump v0.2.0 (https://github.com/Hirtol/oxidd#62dfa919)
[INFO] [stderr]     Checking gimli v0.31.1
[INFO] [stderr]     Checking cast v0.3.0
[INFO] [stderr]     Checking walkdir v2.5.0
[INFO] [stderr]    Compiling include_dir_macros v0.7.4
[INFO] [stderr]     Checking regex v1.11.1
[INFO] [stderr]    Compiling vte_generate_state_changes v0.1.2
[INFO] [stderr]     Checking miniz_oxide v0.8.0
[INFO] [stderr]     Checking console v0.15.8
[INFO] [stderr]     Checking is-terminal v0.4.13
[INFO] [stderr]     Checking object v0.36.5
[INFO] [stderr]     Checking rustc-demangle v0.1.24
[INFO] [stderr]     Checking plotters v0.3.7
[INFO] [stderr]     Checking oorandom v11.1.4
[INFO] [stderr]     Checking number_prefix v0.4.0
[INFO] [stderr]     Checking anes v0.1.6
[INFO] [stderr]     Checking regex-lite v0.1.6
[INFO] [stderr]     Checking condtype v1.3.0
[INFO] [stderr]     Checking csv-core v0.1.11
[INFO] [stderr]     Checking mintex v0.1.3
[INFO] [stderr]     Checking vte v0.11.1
[INFO] [stderr]     Checking thousands v0.2.0
[INFO] [stderr]     Checking peak_alloc v0.2.1
[INFO] [stderr]     Checking oxidd-manager-pointer v0.2.0 (https://github.com/Hirtol/oxidd#62dfa919)
[INFO] [stdout] warning: unused variable: `header`
[INFO] [stdout]   --> pg_parser/src/lib.rs:29:15
[INFO] [stdout]    |
[INFO] [stdout] 29 |     if let Ok(header) = &result {
[INFO] [stdout]    |               ^^^^^^ help: if this is intentional, prefix it with an underscore: `_header`
[INFO] [stdout]    |
[INFO] [stdout]    = note: `#[warn(unused_variables)]` (part of `#[warn(unused)]`) on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `vertex_count`
[INFO] [stdout]    --> pg_parser/src/lib.rs:104:34
[INFO] [stdout]     |
[INFO] [stdout] 104 |         fn set_header(&mut self, vertex_count: usize) -> eyre::Result<()> {
[INFO] [stdout]     |                                  ^^^^^^^^^^^^ help: if this is intentional, prefix it with an underscore: `_vertex_count`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `id`
[INFO] [stdout]    --> pg_parser/src/lib.rs:108:34
[INFO] [stdout]     |
[INFO] [stdout] 108 |         fn add_vertex(&mut self, id: usize, vertex: Vertex<'a>) -> eyre::Result<()> {
[INFO] [stdout]     |                                  ^^ help: if this is intentional, prefix it with an underscore: `_id`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stderr]     Checking oxidd-reorder v0.2.0 (https://github.com/Hirtol/oxidd#62dfa919)
[INFO] [stderr]     Checking dynqueue v0.3.0
[INFO] [stderr]     Checking sysinfo v0.33.0
[INFO] [stderr]    Compiling include_dir v0.7.4
[INFO] [stderr]     Checking criterion-plot v0.5.0
[INFO] [stderr]     Checking vt100 v0.15.2
[INFO] [stderr]     Checking indicatif v0.17.8
[INFO] [stderr]     Checking addr2line v0.24.2
[INFO] [stderr]    Compiling bzip2-sys v0.1.11+1.0.8
[INFO] [stderr]    Compiling darling_core v0.20.10
[INFO] [stderr]     Checking backtrace v0.3.74
[INFO] [stderr]    Compiling serde_derive v1.0.214
[INFO] [stderr]    Compiling oxidd-derive v0.7.0 (https://github.com/Hirtol/oxidd#62dfa919)
[INFO] [stderr]    Compiling tracing-attributes v0.1.27
[INFO] [stderr]    Compiling windows-interface v0.58.0
[INFO] [stderr]    Compiling windows-implement v0.58.0
[INFO] [stderr]    Compiling clap_derive v4.5.18
[INFO] [stderr]    Compiling thiserror-impl v1.0.65
[INFO] [stderr]    Compiling soa-rs-derive v0.7.0
[INFO] [stderr]    Compiling tracing-test-macro v0.2.5
[INFO] [stderr]    Compiling profiling-procmacros v1.0.16
[INFO] [stderr]    Compiling bitcode_derive v0.6.3
[INFO] [stderr]    Compiling aquamarine v0.5.0
[INFO] [stderr]    Compiling divan-macros v0.1.14
[INFO] [stderr]    Compiling darling_macro v0.20.10
[INFO] [stderr]     Checking bzip2 v0.4.4
[INFO] [stderr]     Checking profiling v1.0.16
[INFO] [stderr]    Compiling darling v0.20.10
[INFO] [stderr]    Compiling serde_with_macros v3.11.0
[INFO] [stderr]     Checking windows-core v0.58.0
[INFO] [stderr]     Checking windows v0.58.0
[INFO] [stderr]     Checking oxidd-rules-mtbdd v0.2.0 (https://github.com/Hirtol/oxidd#62dfa919)
[INFO] [stderr]     Checking oxidd-rules-bdd v0.7.0 (https://github.com/Hirtol/oxidd#62dfa919)
[INFO] [stderr]     Checking oxidd-rules-zbdd v0.7.0 (https://github.com/Hirtol/oxidd#62dfa919)
[INFO] [stderr]     Checking oxidd v0.7.0 (https://github.com/Hirtol/oxidd#62dfa919)
[INFO] [stderr]     Checking tracing v0.1.40
[INFO] [stderr]     Checking tracing-subscriber v0.3.18
[INFO] [stderr]     Checking clap v4.5.20
[INFO] [stderr]     Checking divan v0.1.14
[INFO] [stderr]     Checking tracing-test v0.2.5
[INFO] [stderr]     Checking tracing-indicatif v0.3.6
[INFO] [stderr]     Checking bitcode v0.6.3
[INFO] [stderr]     Checking soa-rs v0.7.2
[INFO] [stderr]     Checking ciborium v0.2.2
[INFO] [stderr]     Checking serde_with v3.11.0
[INFO] [stderr]     Checking csv v1.3.0
[INFO] [stderr]     Checking tinytemplate v1.2.1
[INFO] [stderr]     Checking dhat v0.3.3
[INFO] [stderr]     Checking criterion v0.5.1
[INFO] [stderr]     Checking pg_graph v0.1.0 (/opt/rustwide/workdir/pg_graph)
[INFO] [stdout] warning: unused imports: `Duration` and `Instant`
[INFO] [stdout]   --> pg_graph/src/explicit/solvers/tangle_learning.rs:17:17
[INFO] [stdout]    |
[INFO] [stdout] 17 | use std::time::{Duration, Instant};
[INFO] [stdout]    |                 ^^^^^^^^  ^^^^^^^
[INFO] [stdout]    |
[INFO] [stdout]    = note: `#[warn(unused_imports)]` (part of `#[warn(unused)]`) on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused import: `NonZeroUsize`
[INFO] [stdout]   --> pg_graph/src/explicit/solvers/tangle_learning.rs:21:23
[INFO] [stdout]    |
[INFO] [stdout] 21 |     num::{NonZeroU32, NonZeroUsize},
[INFO] [stdout]    |                       ^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused import: `BitsetExtensions`
[INFO] [stdout]  --> pg_graph/src/explicit/solvers/zielonka.rs:1:23
[INFO] [stdout]   |
[INFO] [stdout] 1 | use crate::explicit::{BitsetExtensions, VertexSet};
[INFO] [stdout]   |                       ^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused import: `itertools::Itertools`
[INFO] [stdout]  --> pg_graph/src/explicit/solvers/zielonka.rs:6:5
[INFO] [stdout]   |
[INFO] [stdout] 6 | use itertools::Itertools;
[INFO] [stdout]   |     ^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused imports: `VertexId` and `VertexSet`
[INFO] [stdout]  --> pg_graph/src/explicit/solvers/priority_promotion.rs:6:48
[INFO] [stdout]   |
[INFO] [stdout] 6 |     BitsetExtensions, ParityGame, ParityGraph, VertexId, VertexSet,
[INFO] [stdout]   |                                                ^^^^^^^^  ^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused imports: `BitsetExtensions` and `VertexId`
[INFO] [stdout]  --> pg_graph/src/explicit/solvers/qpt_liverpool.rs:1:23
[INFO] [stdout]   |
[INFO] [stdout] 1 | use crate::explicit::{BitsetExtensions, SubGame, VertexId, VertexSet};
[INFO] [stdout]   |                       ^^^^^^^^^^^^^^^^           ^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused import: `Priority`
[INFO] [stdout]  --> pg_graph/src/explicit/solvers/qpt_liverpool.rs:5:11
[INFO] [stdout]   |
[INFO] [stdout] 5 | }, Owner, Priority};
[INFO] [stdout]   |           ^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused import: `BitsetExtensions`
[INFO] [stdout]  --> pg_graph/src/explicit/solvers/qpt_tangle_liverpool.rs:3:23
[INFO] [stdout]   |
[INFO] [stdout] 3 | use crate::explicit::{BitsetExtensions, OptimisedGraph, SubGame, VertexId, VertexSet};
[INFO] [stdout]   |                       ^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused import: `IndexType`
[INFO] [stdout]  --> pg_graph/src/explicit/solvers/qpt_tangle_liverpool.rs:7:4
[INFO] [stdout]   |
[INFO] [stdout] 7 | }, IndexType, Owner, Priority};
[INFO] [stdout]   |    ^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused import: `itertools::Itertools`
[INFO] [stdout]  --> pg_graph/src/explicit/solvers/qpt_zielonka.rs:7:5
[INFO] [stdout]   |
[INFO] [stdout] 7 | use itertools::Itertools;
[INFO] [stdout]   |     ^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused imports: `PearceTangleScc`, `TangleCollection`, and `Tangle`
[INFO] [stdout]  --> pg_graph/src/explicit/solvers/qpt_tangle_zielonka.rs:1:49
[INFO] [stdout]   |
[INFO] [stdout] 1 | use crate::explicit::solvers::tangle_learning::{PearceTangleScc, Tangle, TangleCollection, TangleManager, NO_STRATEGY};
[INFO] [stdout]   |                                                 ^^^^^^^^^^^^^^^  ^^^^^^  ^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused import: `crate::explicit::solvers::Dominion`
[INFO] [stdout]  --> pg_graph/src/explicit/solvers/qpt_tangle_zielonka.rs:2:5
[INFO] [stdout]   |
[INFO] [stdout] 2 | use crate::explicit::solvers::Dominion;
[INFO] [stdout]   |     ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused import: `IndexType`
[INFO] [stdout]  --> pg_graph/src/explicit/solvers/qpt_tangle_zielonka.rs:7:4
[INFO] [stdout]   |
[INFO] [stdout] 7 | }, IndexType, Owner, Priority};
[INFO] [stdout]   |    ^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused import: `itertools::Itertools`
[INFO] [stdout]  --> pg_graph/src/explicit/solvers/qpt_tangle_zielonka.rs:8:5
[INFO] [stdout]   |
[INFO] [stdout] 8 | use itertools::Itertools;
[INFO] [stdout]   |     ^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused import: `ahash::HashSetExt`
[INFO] [stdout]  --> pg_graph/src/symbolic/register_game/test_helpers.rs:1:5
[INFO] [stdout]   |
[INFO] [stdout] 1 | use ahash::HashSetExt;
[INFO] [stdout]   |     ^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused import: `itertools::Itertools`
[INFO] [stdout]  --> pg_graph/src/symbolic/register_game/test_helpers.rs:2:5
[INFO] [stdout]   |
[INFO] [stdout] 2 | use itertools::Itertools;
[INFO] [stdout]   |     ^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused imports: `ManagerRef` and `WorkerManager`
[INFO] [stdout]  --> pg_graph/src/symbolic/register_game/test_helpers.rs:3:18
[INFO] [stdout]   |
[INFO] [stdout] 3 | use oxidd_core::{ManagerRef, WorkerManager};
[INFO] [stdout]   |                  ^^^^^^^^^^  ^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused import: `crate::symbolic::helpers::SymbolicEncoder`
[INFO] [stdout]  --> pg_graph/src/symbolic/register_game/test_helpers.rs:5:5
[INFO] [stdout]   |
[INFO] [stdout] 5 | use crate::symbolic::helpers::SymbolicEncoder;
[INFO] [stdout]   |     ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused import: `crate::symbolic::oxidd_extensions::GeneralBooleanFunction`
[INFO] [stdout]  --> pg_graph/src/symbolic/register_game/test_helpers.rs:6:5
[INFO] [stdout]   |
[INFO] [stdout] 6 | use crate::symbolic::oxidd_extensions::GeneralBooleanFunction;
[INFO] [stdout]   |     ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused import: `borrow::Borrow`
[INFO] [stdout]  --> pg_graph/src/symbolic/register_game_one_hot/helpers.rs:1:11
[INFO] [stdout]   |
[INFO] [stdout] 1 | use std::{borrow::Borrow, hash::Hash};
[INFO] [stdout]   |           ^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: the feature `is_sorted` has been stable since 1.82.0 and no longer requires an attribute to enable
[INFO] [stdout]  --> pg_graph/src/lib.rs:1:12
[INFO] [stdout]   |
[INFO] [stdout] 1 | #![feature(is_sorted)]
[INFO] [stdout]   |            ^^^^^^^^^
[INFO] [stdout]   |
[INFO] [stdout]   = note: `#[warn(stable_features)]` on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused import: `FunctionSubst`
[INFO] [stdout]  --> pg_graph/src/symbolic/register_game_one_hot/helpers.rs:6:65
[INFO] [stdout]   |
[INFO] [stdout] 6 |     function::{BooleanFunction, BooleanFunctionQuant, Function, FunctionSubst},
[INFO] [stdout]   |                                                                 ^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused import: `IndexType`
[INFO] [stdout]  --> pg_graph/src/symbolic/solvers/symbolic_zielonka.rs:7:99
[INFO] [stdout]   |
[INFO] [stdout] 7 | use crate::{explicit::solvers::SolverOutput, symbolic, symbolic::parity_game::SymbolicParityGame, IndexType, Owner};
[INFO] [stdout]   |                                                                                                   ^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused import: `BooleanFunctionQuant`
[INFO] [stdout]  --> pg_graph/src/symbolic/register_game_one_hot/helpers.rs:6:33
[INFO] [stdout]   |
[INFO] [stdout] 6 |     function::{BooleanFunction, BooleanFunctionQuant, Function, FunctionSubst},
[INFO] [stdout]   |                                 ^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused import: `BooleanFunction`
[INFO] [stdout]  --> pg_graph/src/symbolic/register_game_one_hot/helpers.rs:6:16
[INFO] [stdout]   |
[INFO] [stdout] 6 |     function::{BooleanFunction, BooleanFunctionQuant, Function, FunctionSubst},
[INFO] [stdout]   |                ^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused import: `fixedbitset::specific::SubBitSet`
[INFO] [stdout]  --> pg_graph/src/explicit/solvers/qpt_zielonka.rs:6:5
[INFO] [stdout]   |
[INFO] [stdout] 6 | use fixedbitset::specific::SubBitSet;
[INFO] [stdout]   |     ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused import: `itertools::Itertools`
[INFO] [stdout]  --> pg_graph/src/symbolic/solvers/symbolic_zielonka.rs:1:5
[INFO] [stdout]   |
[INFO] [stdout] 1 | use itertools::Itertools;
[INFO] [stdout]   |     ^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused import: `BooleanFunction`
[INFO] [stdout]  --> pg_graph/src/symbolic/register_game/helpers.rs:1:28
[INFO] [stdout]   |
[INFO] [stdout] 1 | use oxidd_core::function::{BooleanFunction, BooleanFunctionQuant, FunctionSubst};
[INFO] [stdout]   |                            ^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused import: `BooleanFunctionExtensions`
[INFO] [stdout]  --> pg_graph/src/symbolic/register_game/helpers.rs:5:41
[INFO] [stdout]   |
[INFO] [stdout] 5 | use crate::symbolic::oxidd_extensions::{BooleanFunctionExtensions, GeneralBooleanFunction};
[INFO] [stdout]   |                                         ^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused import: `BooleanFunctionQuant`
[INFO] [stdout]  --> pg_graph/src/symbolic/register_game/helpers.rs:1:45
[INFO] [stdout]   |
[INFO] [stdout] 1 | use oxidd_core::function::{BooleanFunction, BooleanFunctionQuant, FunctionSubst};
[INFO] [stdout]   |                                             ^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused import: `FunctionSubst`
[INFO] [stdout]  --> pg_graph/src/symbolic/register_game/helpers.rs:1:67
[INFO] [stdout]   |
[INFO] [stdout] 1 | use oxidd_core::function::{BooleanFunction, BooleanFunctionQuant, FunctionSubst};
[INFO] [stdout]   |                                                                   ^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused import: `HasApplyCache`
[INFO] [stdout]   --> pg_graph/src/symbolic/register_game_one_hot/mod.rs:12:5
[INFO] [stdout]    |
[INFO] [stdout] 12 |     HasApplyCache, ManagerRef, WorkerManager,
[INFO] [stdout]    |     ^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused import: `oxidd_cache::StatisticsGenerator`
[INFO] [stdout]  --> pg_graph/src/symbolic/register_game/mod.rs:8:5
[INFO] [stdout]   |
[INFO] [stdout] 8 | use oxidd_cache::StatisticsGenerator;
[INFO] [stdout]   |     ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused import: `HasApplyCache`
[INFO] [stdout]   --> pg_graph/src/symbolic/register_game/mod.rs:12:5
[INFO] [stdout]    |
[INFO] [stdout] 12 |     HasApplyCache, Manager, ManagerRef, WorkerManager,
[INFO] [stdout]    |     ^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused import: `Manager`
[INFO] [stdout]   --> pg_graph/src/symbolic/register_game/mod.rs:12:20
[INFO] [stdout]    |
[INFO] [stdout] 12 |     HasApplyCache, Manager, ManagerRef, WorkerManager,
[INFO] [stdout]    |                    ^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused import: `oxidd_cache::StatisticsGenerator`
[INFO] [stdout]  --> pg_graph/src/symbolic/register_game_one_hot/mod.rs:8:5
[INFO] [stdout]   |
[INFO] [stdout] 8 | use oxidd_cache::StatisticsGenerator;
[INFO] [stdout]   |     ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `even`
[INFO] [stdout]   --> pg_graph/src/explicit/solvers/tangle_learning.rs:66:14
[INFO] [stdout]    |
[INFO] [stdout] 66 |         let (even, odd) = self.tangle_solver(self.game.create_subgame([]));
[INFO] [stdout]    |              ^^^^ help: if this is intentional, prefix it with an underscore: `_even`
[INFO] [stdout]    |
[INFO] [stdout]    = note: `#[warn(unused_variables)]` (part of `#[warn(unused)]`) on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `even`
[INFO] [stdout]   --> pg_graph/src/explicit/solvers/priority_promotion.rs:32:14
[INFO] [stdout]    |
[INFO] [stdout] 32 |         let (even, odd) = self.priority_promotion(self.game);
[INFO] [stdout]    |              ^^^^ help: if this is intentional, prefix it with an underscore: `_even`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `even`
[INFO] [stdout]    --> pg_graph/src/explicit/solvers/priority_promotion.rs:171:14
[INFO] [stdout]     |
[INFO] [stdout] 171 |         let (even, odd) = self.priority_promotion(self.game);
[INFO] [stdout]     |              ^^^^ help: if this is intentional, prefix it with an underscore: `_even`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable does not need to be mutable
[INFO] [stdout]    --> pg_graph/src/explicit/solvers/priority_promotion.rs:299:21
[INFO] [stdout]     |
[INFO] [stdout] 299 |                 let mut full_dominion =
[INFO] [stdout]     |                     ----^^^^^^^^^^^^^
[INFO] [stdout]     |                     |
[INFO] [stdout]     |                     help: remove this `mut`
[INFO] [stdout]     |
[INFO] [stdout]     = note: `#[warn(unused_mut)]` (part of `#[warn(unused)]`) on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `dominion`
[INFO] [stdout]    --> pg_graph/src/explicit/solvers/qpt_tangle_zielonka.rs:150:17
[INFO] [stdout]     |
[INFO] [stdout] 150 |             let dominion = self.tangles.extract_tangles(game.parent, &tangle_subgame, &starting_set, d, strategy);
[INFO] [stdout]     |                 ^^^^^^^^ help: if this is intentional, prefix it with an underscore: `_dominion`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `vertex_id`
[INFO] [stdout]    --> pg_graph/src/explicit/reduced_register_game.rs:229:21
[INFO] [stdout]     |
[INFO] [stdout] 229 |     fn label(&self, vertex_id: VertexId<u32>) -> Option<&str> {
[INFO] [stdout]     |                     ^^^^^^^^^ help: if this is intentional, prefix it with an underscore: `_vertex_id`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `pg`
[INFO] [stdout]   --> pg_graph/src/explicit/mod.rs:44:55
[INFO] [stdout]    |
[INFO] [stdout] 44 |     fn empty_game<Ix: IndexType, PG: ParityGraph<Ix>>(pg: &PG) -> Self {
[INFO] [stdout]    |                                                       ^^ help: if this is intentional, prefix it with an underscore: `_pg`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `p`
[INFO] [stdout]    --> pg_graph/src/symbolic/parity_game.rs:231:23
[INFO] [stdout]     |
[INFO] [stdout] 231 |             .filter(|(p, bdd)| self.base_false != **bdd)
[INFO] [stdout]     |                       ^ help: if this is intentional, prefix it with an underscore: `_p`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `p`
[INFO] [stdout]   --> pg_graph/src/symbolic/register_game/helpers.rs:28:23
[INFO] [stdout]    |
[INFO] [stdout] 28 |             .filter(|(p, bdd)| self.base_false != **bdd)
[INFO] [stdout]    |                       ^ help: if this is intentional, prefix it with an underscore: `_p`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `rg_gt_eq_p`
[INFO] [stdout]    --> pg_graph/src/symbolic/register_game/mod.rs:301:27
[INFO] [stdout]     |
[INFO] [stdout] 301 |                     let ((rg_gt_eq_p, rg_gt_eq), (rg_gt_neq_p, rg_gt_neq)) = if rg_odd_priority == rg_prio_general {
[INFO] [stdout]     |                           ^^^^^^^^^^ help: if this is intentional, prefix it with an underscore: `_rg_gt_eq_p`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `priorities`
[INFO] [stdout]    --> pg_graph/src/symbolic/register_game/mod.rs:626:9
[INFO] [stdout]     |
[INFO] [stdout] 626 |     let priorities = pg.priorities_unique().collect_vec();
[INFO] [stdout]     |         ^^^^^^^^^^ help: if this is intentional, prefix it with an underscore: `_priorities`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `p`
[INFO] [stdout]   --> pg_graph/src/symbolic/register_game_one_hot/helpers.rs:39:23
[INFO] [stdout]    |
[INFO] [stdout] 39 |             .filter(|(p, bdd)| self.base_false != **bdd)
[INFO] [stdout]    |                       ^ help: if this is intentional, prefix it with an underscore: `_p`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: type alias `ProgressMeasureData` is never used
[INFO] [stdout]   --> pg_graph/src/explicit/solvers/small_progress.rs:12:6
[INFO] [stdout]    |
[INFO] [stdout] 12 | type ProgressMeasureData<'a> = &'a [Progress];
[INFO] [stdout]    |      ^^^^^^^^^^^^^^^^^^^
[INFO] [stdout]    |
[INFO] [stdout]    = note: `#[warn(dead_code)]` (part of `#[warn(unused)]`) on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: methods `replace_measure` and `get_measure_mut` are never used
[INFO] [stdout]    --> pg_graph/src/explicit/solvers/small_progress.rs:187:12
[INFO] [stdout]     |
[INFO] [stdout] 182 | impl ProgressMeasures {
[INFO] [stdout]     | --------------------- methods in this implementation
[INFO] [stdout] ...
[INFO] [stdout] 187 |     pub fn replace_measure(&mut self, vertex_id: VertexId, measure: ProgressMeasure) -> ProgressMeasure {
[INFO] [stdout]     |            ^^^^^^^^^^^^^^^
[INFO] [stdout] ...
[INFO] [stdout] 195 |     pub fn get_measure_mut(&mut self, vertex_id: VertexId) -> Option<&mut ProgressMeasure> {
[INFO] [stdout]     |            ^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: method `compare_limit` is never used
[INFO] [stdout]    --> pg_graph/src/explicit/solvers/small_progress.rs:239:12
[INFO] [stdout]     |
[INFO] [stdout] 225 | impl ProgressMeasure {
[INFO] [stdout]     | -------------------- method in this implementation
[INFO] [stdout] ...
[INFO] [stdout] 239 |     pub fn compare_limit(&self, min_incl: usize, other: &ProgressMeasure) -> Ordering {
[INFO] [stdout]     |            ^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: field `min_precision` is never read
[INFO] [stdout]   --> pg_graph/src/explicit/solvers/qpt_liverpool.rs:15:5
[INFO] [stdout]    |
[INFO] [stdout]  8 | pub struct LiverpoolSolver<'a> {
[INFO] [stdout]    |            --------------- field in this struct
[INFO] [stdout] ...
[INFO] [stdout] 15 |     min_precision: usize,
[INFO] [stdout]    |     ^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: field `min_precision` is never read
[INFO] [stdout]   --> pg_graph/src/explicit/solvers/qpt_tangle_liverpool.rs:19:5
[INFO] [stdout]    |
[INFO] [stdout] 10 | pub struct TLZSolver<'a> {
[INFO] [stdout]    |            --------- field in this struct
[INFO] [stdout] ...
[INFO] [stdout] 19 |     min_precision: usize,
[INFO] [stdout]    |     ^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: enum `ToExpand` is never used
[INFO] [stdout]   --> pg_graph/src/explicit/reduced_register_game.rs:32:6
[INFO] [stdout]    |
[INFO] [stdout] 32 | enum ToExpand {
[INFO] [stdout]    |      ^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: associated function `encode_eval` is never used
[INFO] [stdout]    --> pg_graph/src/symbolic/helpers.rs:120:19
[INFO] [stdout]     |
[INFO] [stdout]  49 | / impl<T, F> CachedBinaryEncoder<T, F>
[INFO] [stdout]  50 | | where
[INFO] [stdout]  51 | |     T: std::ops::BitAnd + std::ops::Shl<Output = T> + Copy + From<u8> + BitHelper,
[INFO] [stdout]  52 | |     T: Eq + Hash + Debug,
[INFO] [stdout]  53 | |     <T as std::ops::BitAnd>::Output: PartialEq<T>,
[INFO] [stdout]  54 | |     F: Function + BooleanFunctionExtensions,
[INFO] [stdout]     | |____________________________________________- associated function in this implementation
[INFO] [stdout] ...
[INFO] [stdout] 120 |       pub(crate) fn encode_eval<'a>(
[INFO] [stdout]     |                     ^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: associated function `recursive_bit_encode_geq` is never used
[INFO] [stdout]    --> pg_graph/src/symbolic/helpers.rs:390:8
[INFO] [stdout]     |
[INFO] [stdout] 252 | / impl<T, F> CachedInequalityEncoder<T, F>
[INFO] [stdout] 253 | |     where
[INFO] [stdout] 254 | |         T: std::ops::BitAnd + std::ops::Shl<Output = T> +  std::ops::Sub<Output = T> + Copy + From<u8> + BitHelper + Sized + Ord,
[INFO] [stdout] 255 | |         T: Eq + Hash + Debug + PartialOrd<T>,
[INFO] [stdout] 256 | |         <T as std::ops::BitAnd>::Output: PartialEq<T>,
[INFO] [stdout] 257 | |         F: Function + BooleanFunctionExtensions {
[INFO] [stdout]     | |_______________________________________________- associated function in this implementation
[INFO] [stdout] ...
[INFO] [stdout] 390 |       fn recursive_bit_encode_geq(value: T, bit: usize, variables: &[F], base_true: &F) -> AllocResult<F> {
[INFO] [stdout]     |          ^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: method `n_registers` is never used
[INFO] [stdout]    --> pg_graph/src/symbolic/register_game/mod.rs:454:8
[INFO] [stdout]     |
[INFO] [stdout]  54 | / impl<F> SymbolicRegisterGame<F>
[INFO] [stdout]  55 | | where
[INFO] [stdout]  56 | |     F: GeneralBooleanFunction,
[INFO] [stdout]  57 | |     for<'id> F::Manager<'id>: WorkerManager,
[INFO] [stdout]  58 | |     for<'a, 'b> TruthAssignmentsIterator<'b, 'a, F>: Iterator<Item = Vec<OptBool>>,
[INFO] [stdout]     | |___________________________________________________________________________________- method in this implementation
[INFO] [stdout] ...
[INFO] [stdout] 454 |       fn n_registers(&self) -> usize {
[INFO] [stdout]     |          ^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: method `rev_edge_substitute` is never used
[INFO] [stdout]    --> pg_graph/src/symbolic/register_game/helpers.rs:189:8
[INFO] [stdout]     |
[INFO] [stdout]   9 | impl<F: GeneralBooleanFunction> SymbolicRegisterGame<F>
[INFO] [stdout]     | ------------------------------------------------------- method in this implementation
[INFO] [stdout] ...
[INFO] [stdout] 189 |     fn rev_edge_substitute(&self, bdd: &F) -> symbolic::Result<F> {
[INFO] [stdout]     |        ^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: type alias `VariableOrder` is never used
[INFO] [stdout]   --> pg_graph/src/symbolic/register_game/variable_order.rs:11:10
[INFO] [stdout]    |
[INFO] [stdout] 11 | pub type VariableOrder = ahash::HashMap<RegisterLayers, Vec<usize>>;
[INFO] [stdout]    |          ^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: method `rev_edge_substitute` is never used
[INFO] [stdout]    --> pg_graph/src/symbolic/register_game_one_hot/helpers.rs:203:8
[INFO] [stdout]     |
[INFO] [stdout]  21 | impl<F: GeneralBooleanFunction> OneHotRegisterGame<F> {
[INFO] [stdout]     | ----------------------------------------------------- method in this implementation
[INFO] [stdout] ...
[INFO] [stdout] 203 |     fn rev_edge_substitute(&self, bdd: &F) -> symbolic::Result<F> {
[INFO] [stdout]     |        ^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: field `variables` is never read
[INFO] [stdout]    --> pg_graph/src/symbolic/register_game_one_hot/helpers.rs:325:5
[INFO] [stdout]     |
[INFO] [stdout] 322 | pub struct OneHotEncoder<T, F> {
[INFO] [stdout]     |            ------------- field in this struct
[INFO] [stdout] ...
[INFO] [stdout] 325 |     variables: EcoVec<F>,
[INFO] [stdout]     |     ^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: type alias `VariableOrder` is never used
[INFO] [stdout]   --> pg_graph/src/symbolic/register_game_one_hot/variable_order.rs:11:10
[INFO] [stdout]    |
[INFO] [stdout] 11 | pub type VariableOrder = ahash::HashMap<RegisterLayers, Vec<usize>>;
[INFO] [stdout]    |          ^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: field `counter` is never read
[INFO] [stdout]   --> pg_graph/src/symbolic/sat.rs:44:5
[INFO] [stdout]    |
[INFO] [stdout] 41 | pub struct TruthAssignmentsIterator<'b, 'a, F: Function> {
[INFO] [stdout]    |            ------------------------ field in this struct
[INFO] [stdout] ...
[INFO] [stdout] 44 |     counter: usize,
[INFO] [stdout]    |     ^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: hiding a lifetime that's elided elsewhere is confusing
[INFO] [stdout]    --> pg_graph/src/explicit/parity_game.rs:123:23
[INFO] [stdout]     |
[INFO] [stdout] 123 |     fn create_subgame(&self, exclude: impl IntoIterator<Item = NodeIndex<Ix>>) -> SubGame<Ix, Self::Parent>;
[INFO] [stdout]     |                       ^^^^^ the lifetime is elided here                           ^^^^^^^^^^^^^^^^^^^^^^^^^ the same lifetime is hidden here
[INFO] [stdout]     |
[INFO] [stdout]     = help: the same lifetime is referred to in inconsistent ways, making the signature confusing
[INFO] [stdout]     = note: `#[warn(mismatched_lifetime_syntaxes)]` on by default
[INFO] [stdout] help: use `'_` for type paths
[INFO] [stdout]     |
[INFO] [stdout] 123 |     fn create_subgame(&self, exclude: impl IntoIterator<Item = NodeIndex<Ix>>) -> SubGame<'_, Ix, Self::Parent>;
[INFO] [stdout]     |                                                                                           +++
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: hiding a lifetime that's elided elsewhere is confusing
[INFO] [stdout]    --> pg_graph/src/explicit/parity_game.rs:128:27
[INFO] [stdout]     |
[INFO] [stdout] 128 |     fn create_subgame_bit(&self, exclude: &FixedBitSet) -> SubGame<Ix, Self::Parent>;
[INFO] [stdout]     |                           ^^^^^                            ^^^^^^^^^^^^^^^^^^^^^^^^^ the same lifetime is hidden here
[INFO] [stdout]     |                           |
[INFO] [stdout]     |                           the lifetime is elided here
[INFO] [stdout]     |
[INFO] [stdout]     = help: the same lifetime is referred to in inconsistent ways, making the signature confusing
[INFO] [stdout] help: use `'_` for type paths
[INFO] [stdout]     |
[INFO] [stdout] 128 |     fn create_subgame_bit(&self, exclude: &FixedBitSet) -> SubGame<'_, Ix, Self::Parent>;
[INFO] [stdout]     |                                                                    +++
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: hiding a lifetime that's elided elsewhere is confusing
[INFO] [stdout]    --> pg_graph/src/explicit/parity_game.rs:389:23
[INFO] [stdout]     |
[INFO] [stdout] 389 |     fn create_subgame(&self, exclude: impl IntoIterator<Item = NodeIndex<Ix>>) -> SubGame<Ix, Self::Parent> {
[INFO] [stdout]     |                       ^^^^^ the lifetime is elided here                           ^^^^^^^^^^^^^^^^^^^^^^^^^ the same lifetime is hidden here
[INFO] [stdout]     |
[INFO] [stdout]     = help: the same lifetime is referred to in inconsistent ways, making the signature confusing
[INFO] [stdout] help: use `'_` for type paths
[INFO] [stdout]     |
[INFO] [stdout] 389 |     fn create_subgame(&self, exclude: impl IntoIterator<Item = NodeIndex<Ix>>) -> SubGame<'_, Ix, Self::Parent> {
[INFO] [stdout]     |                                                                                           +++
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: hiding a lifetime that's elided elsewhere is confusing
[INFO] [stdout]    --> pg_graph/src/explicit/parity_game.rs:393:27
[INFO] [stdout]     |
[INFO] [stdout] 393 |     fn create_subgame_bit(&self, exclude: &FixedBitSet) -> SubGame<Ix, Self::Parent> {
[INFO] [stdout]     |                           ^^^^^                            ^^^^^^^^^^^^^^^^^^^^^^^^^ the same lifetime is hidden here
[INFO] [stdout]     |                           |
[INFO] [stdout]     |                           the lifetime is elided here
[INFO] [stdout]     |
[INFO] [stdout]     = help: the same lifetime is referred to in inconsistent ways, making the signature confusing
[INFO] [stdout] help: use `'_` for type paths
[INFO] [stdout]     |
[INFO] [stdout] 393 |     fn create_subgame_bit(&self, exclude: &FixedBitSet) -> SubGame<'_, Ix, Self::Parent> {
[INFO] [stdout]     |                                                                    +++
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: hiding a lifetime that's elided elsewhere is confusing
[INFO] [stdout]    --> pg_graph/src/explicit/parity_game.rs:613:13
[INFO] [stdout]     |
[INFO] [stdout] 613 |     parent: &PG,
[INFO] [stdout]     |             ^^^ the lifetime is elided here
[INFO] [stdout] 614 |     exclude: impl IntoIterator<Item = VertexId<Ix>>,
[INFO] [stdout] 615 | ) -> SubGame<Ix, PG> {
[INFO] [stdout]     |      ^^^^^^^^^^^^^^^ the same lifetime is hidden here
[INFO] [stdout]     |
[INFO] [stdout]     = help: the same lifetime is referred to in inconsistent ways, making the signature confusing
[INFO] [stdout] help: use `'_` for type paths
[INFO] [stdout]     |
[INFO] [stdout] 615 | ) -> SubGame<'_, Ix, PG> {
[INFO] [stdout]     |              +++
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: hiding a lifetime that's elided elsewhere is confusing
[INFO] [stdout]    --> pg_graph/src/explicit/reduced_register_game.rs:262:23
[INFO] [stdout]     |
[INFO] [stdout] 262 |     fn create_subgame(&self, exclude: impl IntoIterator<Item = VertexId<u32>>) -> SubGame<u32, Self::Parent> {
[INFO] [stdout]     |                       ^^^^^ the lifetime is elided here                           ^^^^^^^^^^^^^^^^^^^^^^^^^^ the same lifetime is hidden here
[INFO] [stdout]     |
[INFO] [stdout]     = help: the same lifetime is referred to in inconsistent ways, making the signature confusing
[INFO] [stdout] help: use `'_` for type paths
[INFO] [stdout]     |
[INFO] [stdout] 262 |     fn create_subgame(&self, exclude: impl IntoIterator<Item = VertexId<u32>>) -> SubGame<'_, u32, Self::Parent> {
[INFO] [stdout]     |                                                                                           +++
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: hiding a lifetime that's elided elsewhere is confusing
[INFO] [stdout]    --> pg_graph/src/explicit/reduced_register_game.rs:266:27
[INFO] [stdout]     |
[INFO] [stdout] 266 |     fn create_subgame_bit(&self, exclude: &FixedBitSet) -> SubGame<u32, Self::Parent> {
[INFO] [stdout]     |                           ^^^^^                            ^^^^^^^^^^^^^^^^^^^^^^^^^^ the same lifetime is hidden here
[INFO] [stdout]     |                           |
[INFO] [stdout]     |                           the lifetime is elided here
[INFO] [stdout]     |
[INFO] [stdout]     = help: the same lifetime is referred to in inconsistent ways, making the signature confusing
[INFO] [stdout] help: use `'_` for type paths
[INFO] [stdout]     |
[INFO] [stdout] 266 |     fn create_subgame_bit(&self, exclude: &FixedBitSet) -> SubGame<'_, u32, Self::Parent> {
[INFO] [stdout]     |                                                                    +++
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: eliding a lifetime that's named elsewhere is confusing
[INFO] [stdout]    --> pg_graph/src/symbolic/register_game/mod.rs:567:79
[INFO] [stdout]     |
[INFO] [stdout] 567 |     pub fn iter_names<'a>(&'a self, suffix: &'a str) -> impl Iterator<Item = (&F, String)> + 'a {
[INFO] [stdout]     |                            --                --                               ^^             -- the same lifetime is named here
[INFO] [stdout]     |                            |                 |                                |
[INFO] [stdout]     |                            |                 the lifetime is named here       the same lifetime is elided here
[INFO] [stdout]     |                            the lifetime is named here
[INFO] [stdout]     |
[INFO] [stdout]     = help: the same lifetime is referred to in inconsistent ways, making the signature confusing
[INFO] [stdout] help: consistently use `'a`
[INFO] [stdout]     |
[INFO] [stdout] 567 |     pub fn iter_names<'a>(&'a self, suffix: &'a str) -> impl Iterator<Item = (&'a F, String)> + 'a {
[INFO] [stdout]     |                                                                                ++
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: eliding a lifetime that's named elsewhere is confusing
[INFO] [stdout]    --> pg_graph/src/symbolic/register_game_one_hot/mod.rs:474:79
[INFO] [stdout]     |
[INFO] [stdout] 474 |     pub fn iter_names<'a>(&'a self, suffix: &'a str) -> impl Iterator<Item = (&F, String)> + 'a {
[INFO] [stdout]     |                            --                --                               ^^             -- the same lifetime is named here
[INFO] [stdout]     |                            |                 |                                |
[INFO] [stdout]     |                            |                 the lifetime is named here       the same lifetime is elided here
[INFO] [stdout]     |                            the lifetime is named here
[INFO] [stdout]     |
[INFO] [stdout]     = help: the same lifetime is referred to in inconsistent ways, making the signature confusing
[INFO] [stdout] help: consistently use `'a`
[INFO] [stdout]     |
[INFO] [stdout] 474 |     pub fn iter_names<'a>(&'a self, suffix: &'a str) -> impl Iterator<Item = (&'a F, String)> + 'a {
[INFO] [stdout]     |                                                                                ++
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: hiding a lifetime that's elided elsewhere is confusing
[INFO] [stdout]   --> pg_graph/src/symbolic/sat.rs:20:53
[INFO] [stdout]    |
[INFO] [stdout] 20 | fn collect_children<E: Edge, N: InnerNode<E>>(node: &N) -> (Borrowed<E>, Borrowed<E>) {
[INFO] [stdout]    |                                                     ^^      ^^^^^^^^^^^  ^^^^^^^^^^^ the same lifetime is hidden here
[INFO] [stdout]    |                                                     |       |
[INFO] [stdout]    |                                                     |       the same lifetime is hidden here
[INFO] [stdout]    |                                                     the lifetime is elided here
[INFO] [stdout]    |
[INFO] [stdout]    = help: the same lifetime is referred to in inconsistent ways, making the signature confusing
[INFO] [stdout] help: use `'_` for type paths
[INFO] [stdout]    |
[INFO] [stdout] 20 | fn collect_children<E: Edge, N: InnerNode<E>>(node: &N) -> (Borrowed<'_, E>, Borrowed<'_, E>) {
[INFO] [stdout]    |                                                                      +++              +++
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: hiding a lifetime that's elided elsewhere is confusing
[INFO] [stdout]   --> pg_graph/src/symbolic/sat.rs:29:83
[INFO] [stdout]    |
[INFO] [stdout] 29 | fn collect_cofactors<E: Edge<Tag = EdgeTag>, N: InnerNode<E>>(tag: EdgeTag, node: &N) -> (Borrowed<E>, Borrowed<E>) {
[INFO] [stdout]    |                                                                                   ^^      ^^^^^^^^^^^  ^^^^^^^^^^^ the same lifetime is hidden here
[INFO] [stdout]    |                                                                                   |       |
[INFO] [stdout]    |                                                                                   |       the same lifetime is hidden here
[INFO] [stdout]    |                                                                                   the lifetime is elided here
[INFO] [stdout]    |
[INFO] [stdout]    = help: the same lifetime is referred to in inconsistent ways, making the signature confusing
[INFO] [stdout] help: use `'_` for type paths
[INFO] [stdout]    |
[INFO] [stdout] 29 | fn collect_cofactors<E: Edge<Tag = EdgeTag>, N: InnerNode<E>>(tag: EdgeTag, node: &N) -> (Borrowed<'_, E>, Borrowed<'_, E>) {
[INFO] [stdout]    |                                                                                                    +++              +++
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stderr]     Checking pg_cli v0.1.0 (/opt/rustwide/workdir/pg_cli)
[INFO] [stdout] warning: unused import: `std::path::PathBuf`
[INFO] [stdout]  --> pg_graph/benches/divan.rs:1:5
[INFO] [stdout]   |
[INFO] [stdout] 1 | use std::path::PathBuf;
[INFO] [stdout]   |     ^^^^^^^^^^^^^^^^^^
[INFO] [stdout]   |
[INFO] [stdout]   = note: `#[warn(unused_imports)]` (part of `#[warn(unused)]`) on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused imports: `ParityGameBuilder` and `ParityGame`
[INFO] [stdout]  --> pg_graph/benches/divan.rs:3:26
[INFO] [stdout]   |
[INFO] [stdout] 3 | use pg_graph::explicit::{ParityGame, ParityGameBuilder};
[INFO] [stdout]   |                          ^^^^^^^^^^  ^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `i`
[INFO] [stdout]   --> pg_graph/benches/solvers.rs:18:77
[INFO] [stdout]    |
[INFO] [stdout] 18 |         group.bench_with_input(BenchmarkId::new("SmallProgress", i), i, |b, i| {
[INFO] [stdout]    |                                                                             ^ help: if this is intentional, prefix it with an underscore: `_i`
[INFO] [stdout]    |
[INFO] [stdout]    = note: `#[warn(unused_variables)]` (part of `#[warn(unused)]`) on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused `Result` that must be used
[INFO] [stdout]   --> pg_graph/benches/solvers.rs:39:1
[INFO] [stdout]    |
[INFO] [stdout] 39 | criterion_group!(benches, bench_solvers);
[INFO] [stdout]    | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout]    |
[INFO] [stdout]    = note: this `Result` may be an `Err` variant, which should be handled
[INFO] [stdout]    = note: `#[warn(unused_must_use)]` (part of `#[warn(unused)]`) on by default
[INFO] [stdout] help: use `let _ = ...` to ignore the resulting value
[INFO] [stdout]    |
[INFO] [stdout] 39 | let _ = criterion_group!(benches, bench_solvers);
[INFO] [stdout]    | +++++++
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused imports: `Duration` and `Instant`
[INFO] [stdout]   --> pg_graph/src/explicit/solvers/tangle_learning.rs:17:17
[INFO] [stdout]    |
[INFO] [stdout] 17 | use std::time::{Duration, Instant};
[INFO] [stdout]    |                 ^^^^^^^^  ^^^^^^^
[INFO] [stdout]    |
[INFO] [stdout]    = note: `#[warn(unused_imports)]` (part of `#[warn(unused)]`) on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused import: `NonZeroUsize`
[INFO] [stdout]   --> pg_graph/src/explicit/solvers/tangle_learning.rs:21:23
[INFO] [stdout]    |
[INFO] [stdout] 21 |     num::{NonZeroU32, NonZeroUsize},
[INFO] [stdout]    |                       ^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused import: `BitsetExtensions`
[INFO] [stdout]  --> pg_graph/src/explicit/solvers/zielonka.rs:1:23
[INFO] [stdout]   |
[INFO] [stdout] 1 | use crate::explicit::{BitsetExtensions, VertexSet};
[INFO] [stdout]   |                       ^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused import: `itertools::Itertools`
[INFO] [stdout]  --> pg_graph/src/explicit/solvers/zielonka.rs:6:5
[INFO] [stdout]   |
[INFO] [stdout] 6 | use itertools::Itertools;
[INFO] [stdout]   |     ^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused imports: `VertexId` and `VertexSet`
[INFO] [stdout]  --> pg_graph/src/explicit/solvers/priority_promotion.rs:6:48
[INFO] [stdout]   |
[INFO] [stdout] 6 |     BitsetExtensions, ParityGame, ParityGraph, VertexId, VertexSet,
[INFO] [stdout]   |                                                ^^^^^^^^  ^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused imports: `BitsetExtensions` and `VertexId`
[INFO] [stdout]  --> pg_graph/src/explicit/solvers/qpt_liverpool.rs:1:23
[INFO] [stdout]   |
[INFO] [stdout] 1 | use crate::explicit::{BitsetExtensions, SubGame, VertexId, VertexSet};
[INFO] [stdout]   |                       ^^^^^^^^^^^^^^^^           ^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused import: `Priority`
[INFO] [stdout]  --> pg_graph/src/explicit/solvers/qpt_liverpool.rs:5:11
[INFO] [stdout]   |
[INFO] [stdout] 5 | }, Owner, Priority};
[INFO] [stdout]   |           ^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused import: `BitsetExtensions`
[INFO] [stdout]  --> pg_graph/src/explicit/solvers/qpt_tangle_liverpool.rs:3:23
[INFO] [stdout]   |
[INFO] [stdout] 3 | use crate::explicit::{BitsetExtensions, OptimisedGraph, SubGame, VertexId, VertexSet};
[INFO] [stdout]   |                       ^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused import: `IndexType`
[INFO] [stdout]  --> pg_graph/src/explicit/solvers/qpt_tangle_liverpool.rs:7:4
[INFO] [stdout]   |
[INFO] [stdout] 7 | }, IndexType, Owner, Priority};
[INFO] [stdout]   |    ^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused import: `itertools::Itertools`
[INFO] [stdout]  --> pg_graph/src/explicit/solvers/qpt_zielonka.rs:7:5
[INFO] [stdout]   |
[INFO] [stdout] 7 | use itertools::Itertools;
[INFO] [stdout]   |     ^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused imports: `PearceTangleScc`, `TangleCollection`, and `Tangle`
[INFO] [stdout]  --> pg_graph/src/explicit/solvers/qpt_tangle_zielonka.rs:1:49
[INFO] [stdout]   |
[INFO] [stdout] 1 | use crate::explicit::solvers::tangle_learning::{PearceTangleScc, Tangle, TangleCollection, TangleManager, NO_STRATEGY};
[INFO] [stdout]   |                                                 ^^^^^^^^^^^^^^^  ^^^^^^  ^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused import: `crate::explicit::solvers::Dominion`
[INFO] [stdout]  --> pg_graph/src/explicit/solvers/qpt_tangle_zielonka.rs:2:5
[INFO] [stdout]   |
[INFO] [stdout] 2 | use crate::explicit::solvers::Dominion;
[INFO] [stdout]   |     ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused import: `IndexType`
[INFO] [stdout]  --> pg_graph/src/explicit/solvers/qpt_tangle_zielonka.rs:7:4
[INFO] [stdout]   |
[INFO] [stdout] 7 | }, IndexType, Owner, Priority};
[INFO] [stdout]   |    ^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused import: `itertools::Itertools`
[INFO] [stdout]  --> pg_graph/src/explicit/solvers/qpt_tangle_zielonka.rs:8:5
[INFO] [stdout]   |
[INFO] [stdout] 8 | use itertools::Itertools;
[INFO] [stdout]   |     ^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused import: `oxidd_cache::StatisticsGenerator`
[INFO] [stdout]  --> pg_graph/src/symbolic/register_game/mod.rs:8:5
[INFO] [stdout]   |
[INFO] [stdout] 8 | use oxidd_cache::StatisticsGenerator;
[INFO] [stdout]   |     ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused import: `HasApplyCache`
[INFO] [stdout]   --> pg_graph/src/symbolic/register_game/mod.rs:12:5
[INFO] [stdout]    |
[INFO] [stdout] 12 |     HasApplyCache, Manager, ManagerRef, WorkerManager,
[INFO] [stdout]    |     ^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused macro definition: `id_vec`
[INFO] [stdout]    --> pg_graph/src/symbolic/register_game/helpers.rs:329:18
[INFO] [stdout]     |
[INFO] [stdout] 329 |     macro_rules! id_vec {
[INFO] [stdout]     |                  ^^^^^^
[INFO] [stdout]     |
[INFO] [stdout]     = note: `#[warn(unused_macros)]` (part of `#[warn(unused)]`) on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused import: `ahash::HashSetExt`
[INFO] [stdout]  --> pg_graph/src/symbolic/register_game/test_helpers.rs:1:5
[INFO] [stdout]   |
[INFO] [stdout] 1 | use ahash::HashSetExt;
[INFO] [stdout]   |     ^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused import: `itertools::Itertools`
[INFO] [stdout]  --> pg_graph/src/symbolic/register_game/test_helpers.rs:2:5
[INFO] [stdout]   |
[INFO] [stdout] 2 | use itertools::Itertools;
[INFO] [stdout]   |     ^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused imports: `ManagerRef` and `WorkerManager`
[INFO] [stdout]  --> pg_graph/src/symbolic/register_game/test_helpers.rs:3:18
[INFO] [stdout]   |
[INFO] [stdout] 3 | use oxidd_core::{ManagerRef, WorkerManager};
[INFO] [stdout]   |                  ^^^^^^^^^^  ^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused import: `crate::symbolic::helpers::SymbolicEncoder`
[INFO] [stdout]  --> pg_graph/src/symbolic/register_game/test_helpers.rs:5:5
[INFO] [stdout]   |
[INFO] [stdout] 5 | use crate::symbolic::helpers::SymbolicEncoder;
[INFO] [stdout]   |     ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused import: `crate::symbolic::oxidd_extensions::GeneralBooleanFunction`
[INFO] [stdout]  --> pg_graph/src/symbolic/register_game/test_helpers.rs:6:5
[INFO] [stdout]   |
[INFO] [stdout] 6 | use crate::symbolic::oxidd_extensions::GeneralBooleanFunction;
[INFO] [stdout]   |     ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused import: `oxidd_cache::StatisticsGenerator`
[INFO] [stdout]  --> pg_graph/src/symbolic/register_game_one_hot/mod.rs:8:5
[INFO] [stdout]   |
[INFO] [stdout] 8 | use oxidd_cache::StatisticsGenerator;
[INFO] [stdout]   |     ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused import: `HasApplyCache`
[INFO] [stdout]   --> pg_graph/src/symbolic/register_game_one_hot/mod.rs:12:5
[INFO] [stdout]    |
[INFO] [stdout] 12 |     HasApplyCache, ManagerRef, WorkerManager,
[INFO] [stdout]    |     ^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused import: `borrow::Borrow`
[INFO] [stdout]  --> pg_graph/src/symbolic/register_game_one_hot/helpers.rs:1:11
[INFO] [stdout]   |
[INFO] [stdout] 1 | use std::{borrow::Borrow, hash::Hash};
[INFO] [stdout]   |           ^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused macro definition: `id_vec`
[INFO] [stdout]    --> pg_graph/src/symbolic/register_game_one_hot/helpers.rs:392:18
[INFO] [stdout]     |
[INFO] [stdout] 392 |     macro_rules! id_vec {
[INFO] [stdout]     |                  ^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: the feature `is_sorted` has been stable since 1.82.0 and no longer requires an attribute to enable
[INFO] [stdout]  --> pg_graph/src/lib.rs:1:12
[INFO] [stdout]   |
[INFO] [stdout] 1 | #![feature(is_sorted)]
[INFO] [stdout]   |            ^^^^^^^^^
[INFO] [stdout]   |
[INFO] [stdout]   = note: `#[warn(stable_features)]` on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused import: `ahash::HashMap`
[INFO] [stdout]  --> pg_cli/src/args/bench.rs:1:5
[INFO] [stdout]   |
[INFO] [stdout] 1 | use ahash::HashMap;
[INFO] [stdout]   |     ^^^^^^^^^^^^^^
[INFO] [stdout]   |
[INFO] [stdout]   = note: `#[warn(unused_imports)]` (part of `#[warn(unused)]`) on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused import: `ParityGame`
[INFO] [stdout]  --> pg_cli/src/args/bench.rs:8:9
[INFO] [stdout]   |
[INFO] [stdout] 8 |         ParityGame, ParityGraph,
[INFO] [stdout]   |         ^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused import: `OnceLock`
[INFO] [stdout]   --> pg_cli/src/args/bench.rs:20:39
[INFO] [stdout]    |
[INFO] [stdout] 20 | use std::sync::{Arc, LazyLock, Mutex, OnceLock};
[INFO] [stdout]    |                                       ^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused import: `crate::args::solve::ExplicitSolvers::*`
[INFO] [stdout]    --> pg_cli/src/args/bench.rs:394:13
[INFO] [stdout]     |
[INFO] [stdout] 394 |         use crate::args::solve::ExplicitSolvers::*;
[INFO] [stdout]     |             ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused import: `crate::args::solve::ExplicitSolvers::*`
[INFO] [stdout]    --> pg_cli/src/args/bench.rs:686:13
[INFO] [stdout]     |
[INFO] [stdout] 686 |         use crate::args::solve::ExplicitSolvers::*;
[INFO] [stdout]     |             ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused import: `ahash::HashMap`
[INFO] [stdout]  --> pg_cli/src/args/bench.rs:1:5
[INFO] [stdout]   |
[INFO] [stdout] 1 | use ahash::HashMap;
[INFO] [stdout]   |     ^^^^^^^^^^^^^^
[INFO] [stdout]   |
[INFO] [stdout]   = note: `#[warn(unused_imports)]` (part of `#[warn(unused)]`) on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused import: `ParityGame`
[INFO] [stdout]  --> pg_cli/src/args/bench.rs:8:9
[INFO] [stdout]   |
[INFO] [stdout] 8 |         ParityGame, ParityGraph,
[INFO] [stdout]   |         ^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused import: `OnceLock`
[INFO] [stdout]   --> pg_cli/src/args/bench.rs:20:39
[INFO] [stdout]    |
[INFO] [stdout] 20 | use std::sync::{Arc, LazyLock, Mutex, OnceLock};
[INFO] [stdout]    |                                       ^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused import: `crate::args::solve::ExplicitSolvers::*`
[INFO] [stdout]    --> pg_cli/src/args/bench.rs:394:13
[INFO] [stdout]     |
[INFO] [stdout] 394 |         use crate::args::solve::ExplicitSolvers::*;
[INFO] [stdout]     |             ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused import: `crate::args::solve::ExplicitSolvers::*`
[INFO] [stdout]    --> pg_cli/src/args/bench.rs:686:13
[INFO] [stdout]     |
[INFO] [stdout] 686 |         use crate::args::solve::ExplicitSolvers::*;
[INFO] [stdout]     |             ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused imports: `BDD` and `SymbolicParityGame`
[INFO] [stdout]  --> pg_cli/src/args/testing.rs:4:26
[INFO] [stdout]   |
[INFO] [stdout] 4 | use pg_graph::symbolic::{SymbolicParityGame, BDD};
[INFO] [stdout]   |                          ^^^^^^^^^^^^^^^^^^  ^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused macro definition: `timed_solve`
[INFO] [stdout]   --> pg_cli/src/args/testing.rs:18:14
[INFO] [stdout]    |
[INFO] [stdout] 18 | macro_rules! timed_solve {
[INFO] [stdout]    |              ^^^^^^^^^^^
[INFO] [stdout]    |
[INFO] [stdout]    = note: `#[warn(unused_macros)]` (part of `#[warn(unused)]`) on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused imports: `BDD` and `SymbolicParityGame`
[INFO] [stdout]  --> pg_cli/src/args/testing.rs:4:26
[INFO] [stdout]   |
[INFO] [stdout] 4 | use pg_graph::symbolic::{SymbolicParityGame, BDD};
[INFO] [stdout]   |                          ^^^^^^^^^^^^^^^^^^  ^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused macro definition: `timed_solve`
[INFO] [stdout]   --> pg_cli/src/args/testing.rs:18:14
[INFO] [stdout]    |
[INFO] [stdout] 18 | macro_rules! timed_solve {
[INFO] [stdout]    |              ^^^^^^^^^^^
[INFO] [stdout]    |
[INFO] [stdout]    = note: `#[warn(unused_macros)]` (part of `#[warn(unused)]`) on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused import: `itertools::Itertools`
[INFO] [stdout]  --> pg_graph/src/symbolic/solvers/symbolic_zielonka.rs:1:5
[INFO] [stdout]   |
[INFO] [stdout] 1 | use itertools::Itertools;
[INFO] [stdout]   |     ^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused import: `fixedbitset::specific::SubBitSet`
[INFO] [stdout]  --> pg_graph/src/explicit/solvers/qpt_zielonka.rs:6:5
[INFO] [stdout]   |
[INFO] [stdout] 6 | use fixedbitset::specific::SubBitSet;
[INFO] [stdout]   |     ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused import: `IndexType`
[INFO] [stdout]  --> pg_graph/src/symbolic/solvers/symbolic_zielonka.rs:7:99
[INFO] [stdout]   |
[INFO] [stdout] 7 | use crate::{explicit::solvers::SolverOutput, symbolic, symbolic::parity_game::SymbolicParityGame, IndexType, Owner};
[INFO] [stdout]   |                                                                                                   ^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused import: `BooleanFunction`
[INFO] [stdout]  --> pg_graph/src/symbolic/register_game/helpers.rs:1:28
[INFO] [stdout]   |
[INFO] [stdout] 1 | use oxidd_core::function::{BooleanFunction, BooleanFunctionQuant, FunctionSubst};
[INFO] [stdout]   |                            ^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused import: `BooleanFunctionExtensions`
[INFO] [stdout]  --> pg_graph/src/symbolic/register_game/helpers.rs:5:41
[INFO] [stdout]   |
[INFO] [stdout] 5 | use crate::symbolic::oxidd_extensions::{BooleanFunctionExtensions, GeneralBooleanFunction};
[INFO] [stdout]   |                                         ^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused import: `BooleanFunctionQuant`
[INFO] [stdout]  --> pg_graph/src/symbolic/register_game/helpers.rs:1:45
[INFO] [stdout]   |
[INFO] [stdout] 1 | use oxidd_core::function::{BooleanFunction, BooleanFunctionQuant, FunctionSubst};
[INFO] [stdout]   |                                             ^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused import: `FunctionSubst`
[INFO] [stdout]  --> pg_graph/src/symbolic/register_game/helpers.rs:1:67
[INFO] [stdout]   |
[INFO] [stdout] 1 | use oxidd_core::function::{BooleanFunction, BooleanFunctionQuant, FunctionSubst};
[INFO] [stdout]   |                                                                   ^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused import: `Manager`
[INFO] [stdout]   --> pg_graph/src/symbolic/register_game/mod.rs:12:20
[INFO] [stdout]    |
[INFO] [stdout] 12 |     HasApplyCache, Manager, ManagerRef, WorkerManager,
[INFO] [stdout]    |                    ^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused import: `BooleanFunction`
[INFO] [stdout]  --> pg_graph/src/symbolic/register_game_one_hot/helpers.rs:6:16
[INFO] [stdout]   |
[INFO] [stdout] 6 |     function::{BooleanFunction, BooleanFunctionQuant, Function, FunctionSubst},
[INFO] [stdout]   |                ^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused import: `BooleanFunctionQuant`
[INFO] [stdout]  --> pg_graph/src/symbolic/register_game_one_hot/helpers.rs:6:33
[INFO] [stdout]   |
[INFO] [stdout] 6 |     function::{BooleanFunction, BooleanFunctionQuant, Function, FunctionSubst},
[INFO] [stdout]   |                                 ^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused import: `FunctionSubst`
[INFO] [stdout]  --> pg_graph/src/symbolic/register_game_one_hot/helpers.rs:6:65
[INFO] [stdout]   |
[INFO] [stdout] 6 |     function::{BooleanFunction, BooleanFunctionQuant, Function, FunctionSubst},
[INFO] [stdout]   |                                                                 ^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `even`
[INFO] [stdout]   --> pg_graph/src/explicit/solvers/tangle_learning.rs:66:14
[INFO] [stdout]    |
[INFO] [stdout] 66 |         let (even, odd) = self.tangle_solver(self.game.create_subgame([]));
[INFO] [stdout]    |              ^^^^ help: if this is intentional, prefix it with an underscore: `_even`
[INFO] [stdout]    |
[INFO] [stdout]    = note: `#[warn(unused_variables)]` (part of `#[warn(unused)]`) on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `even`
[INFO] [stdout]   --> pg_graph/src/explicit/solvers/priority_promotion.rs:32:14
[INFO] [stdout]    |
[INFO] [stdout] 32 |         let (even, odd) = self.priority_promotion(self.game);
[INFO] [stdout]    |              ^^^^ help: if this is intentional, prefix it with an underscore: `_even`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `even`
[INFO] [stdout]    --> pg_graph/src/explicit/solvers/priority_promotion.rs:171:14
[INFO] [stdout]     |
[INFO] [stdout] 171 |         let (even, odd) = self.priority_promotion(self.game);
[INFO] [stdout]     |              ^^^^ help: if this is intentional, prefix it with an underscore: `_even`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable does not need to be mutable
[INFO] [stdout]    --> pg_graph/src/explicit/solvers/priority_promotion.rs:299:21
[INFO] [stdout]     |
[INFO] [stdout] 299 |                 let mut full_dominion =
[INFO] [stdout]     |                     ----^^^^^^^^^^^^^
[INFO] [stdout]     |                     |
[INFO] [stdout]     |                     help: remove this `mut`
[INFO] [stdout]     |
[INFO] [stdout]     = note: `#[warn(unused_mut)]` (part of `#[warn(unused)]`) on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused import: `Write`
[INFO] [stdout]   --> pg_cli/src/args/bench.rs:17:27
[INFO] [stdout]    |
[INFO] [stdout] 17 | use std::fmt::{Formatter, Write};
[INFO] [stdout]    |                           ^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused import: `Write`
[INFO] [stdout]   --> pg_cli/src/args/solve.rs:16:22
[INFO] [stdout]    |
[INFO] [stdout] 16 |     fmt::{Formatter, Write},
[INFO] [stdout]    |                      ^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused import: `Write`
[INFO] [stdout]   --> pg_cli/src/args/bench.rs:17:27
[INFO] [stdout]    |
[INFO] [stdout] 17 | use std::fmt::{Formatter, Write};
[INFO] [stdout]    |                           ^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused import: `Write`
[INFO] [stdout]   --> pg_cli/src/args/solve.rs:16:22
[INFO] [stdout]    |
[INFO] [stdout] 16 |     fmt::{Formatter, Write},
[INFO] [stdout]    |                      ^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `dominion`
[INFO] [stdout]    --> pg_graph/src/explicit/solvers/qpt_tangle_zielonka.rs:150:17
[INFO] [stdout]     |
[INFO] [stdout] 150 |             let dominion = self.tangles.extract_tangles(game.parent, &tangle_subgame, &starting_set, d, strategy);
[INFO] [stdout]     |                 ^^^^^^^^ help: if this is intentional, prefix it with an underscore: `_dominion`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `v`
[INFO] [stdout]    --> pg_cli/src/args/bench.rs:199:34
[INFO] [stdout]     |
[INFO] [stdout] 199 |                         out.map(|v| ())
[INFO] [stdout]     |                                  ^ help: if this is intentional, prefix it with an underscore: `_v`
[INFO] [stdout]     |
[INFO] [stdout]     = note: `#[warn(unused_variables)]` (part of `#[warn(unused)]`) on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `v`
[INFO] [stdout]    --> pg_cli/src/args/bench.rs:206:34
[INFO] [stdout]     |
[INFO] [stdout] 206 |                         out.map(|v| ())
[INFO] [stdout]     |                                  ^ help: if this is intentional, prefix it with an underscore: `_v`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `v`
[INFO] [stdout]    --> pg_cli/src/args/bench.rs:187:30
[INFO] [stdout]     |
[INFO] [stdout] 187 |                     out.map(|v| ())
[INFO] [stdout]     |                              ^ help: if this is intentional, prefix it with an underscore: `_v`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `v`
[INFO] [stdout]    --> pg_cli/src/args/bench.rs:179:30
[INFO] [stdout]     |
[INFO] [stdout] 179 |                     out.map(|v| ())
[INFO] [stdout]     |                              ^ help: if this is intentional, prefix it with an underscore: `_v`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `v`
[INFO] [stdout]    --> pg_cli/src/args/bench.rs:172:30
[INFO] [stdout]     |
[INFO] [stdout] 172 |                     out.map(|v| ())
[INFO] [stdout]     |                              ^ help: if this is intentional, prefix it with an underscore: `_v`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `vertex_id`
[INFO] [stdout]    --> pg_graph/src/explicit/reduced_register_game.rs:229:21
[INFO] [stdout]     |
[INFO] [stdout] 229 |     fn label(&self, vertex_id: VertexId<u32>) -> Option<&str> {
[INFO] [stdout]     |                     ^^^^^^^^^ help: if this is intentional, prefix it with an underscore: `_vertex_id`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `v`
[INFO] [stdout]    --> pg_cli/src/args/bench.rs:199:34
[INFO] [stdout]     |
[INFO] [stdout] 199 |                         out.map(|v| ())
[INFO] [stdout]     |                                  ^ help: if this is intentional, prefix it with an underscore: `_v`
[INFO] [stdout]     |
[INFO] [stdout]     = note: `#[warn(unused_variables)]` (part of `#[warn(unused)]`) on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `v`
[INFO] [stdout]    --> pg_cli/src/args/bench.rs:206:34
[INFO] [stdout]     |
[INFO] [stdout] 206 |                         out.map(|v| ())
[INFO] [stdout]     |                                  ^ help: if this is intentional, prefix it with an underscore: `_v`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `v`
[INFO] [stdout]    --> pg_cli/src/args/bench.rs:187:30
[INFO] [stdout]     |
[INFO] [stdout] 187 |                     out.map(|v| ())
[INFO] [stdout]     |                              ^ help: if this is intentional, prefix it with an underscore: `_v`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `v`
[INFO] [stdout]    --> pg_cli/src/args/bench.rs:179:30
[INFO] [stdout]     |
[INFO] [stdout] 179 |                     out.map(|v| ())
[INFO] [stdout]     |                              ^ help: if this is intentional, prefix it with an underscore: `_v`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `v`
[INFO] [stdout]    --> pg_cli/src/args/bench.rs:172:30
[INFO] [stdout]     |
[INFO] [stdout] 172 |                     out.map(|v| ())
[INFO] [stdout]     |                              ^ help: if this is intentional, prefix it with an underscore: `_v`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `pg`
[INFO] [stdout]   --> pg_graph/src/explicit/mod.rs:44:55
[INFO] [stdout]    |
[INFO] [stdout] 44 |     fn empty_game<Ix: IndexType, PG: ParityGraph<Ix>>(pg: &PG) -> Self {
[INFO] [stdout]    |                                                       ^^ help: if this is intentional, prefix it with an underscore: `_pg`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `manager`
[INFO] [stdout]    --> pg_graph/src/symbolic/helpers.rs:500:13
[INFO] [stdout]     |
[INFO] [stdout] 500 |         let manager = BDD::new_manager(
[INFO] [stdout]     |             ^^^^^^^ help: if this is intentional, prefix it with an underscore: `_manager`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `p`
[INFO] [stdout]    --> pg_graph/src/symbolic/parity_game.rs:231:23
[INFO] [stdout]     |
[INFO] [stdout] 231 |             .filter(|(p, bdd)| self.base_false != **bdd)
[INFO] [stdout]     |                       ^ help: if this is intentional, prefix it with an underscore: `_p`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unreachable pattern
[INFO] [stdout]    --> pg_cli/src/args/bench.rs:471:21
[INFO] [stdout]     |
[INFO] [stdout] 471 |                     _ => unreachable!(),
[INFO] [stdout]     |                     ^ no value can reach this
[INFO] [stdout]     |
[INFO] [stdout] note: multiple earlier patterns match some of the same values
[INFO] [stdout]    --> pg_cli/src/args/bench.rs:471:21
[INFO] [stdout]     |
[INFO] [stdout] 447 |                     Algos::Srg => {
[INFO] [stdout]     |                     ---------- matches some of the same values
[INFO] [stdout] ...
[INFO] [stdout] 452 |                     Algos::Erg => {
[INFO] [stdout]     |                     ---------- matches some of the same values
[INFO] [stdout] ...
[INFO] [stdout] 457 |                     Algos::ErgReduced => {
[INFO] [stdout]     |                     ----------------- matches some of the same values
[INFO] [stdout] ...
[INFO] [stdout] 464 |                     Algos::ErgJit => {
[INFO] [stdout]     |                     ------------- matches some of the same values
[INFO] [stdout] ...
[INFO] [stdout] 471 |                     _ => unreachable!(),
[INFO] [stdout]     |                     ^ collectively making this unreachable
[INFO] [stdout]     = note: `#[warn(unreachable_patterns)]` (part of `#[warn(unused)]`) on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `edge_nodes_exist`
[INFO] [stdout]    --> pg_graph/src/symbolic/parity_game.rs:443:13
[INFO] [stdout]     |
[INFO] [stdout] 443 |         let edge_nodes_exist = &s.edge_vertices[0];
[INFO] [stdout]     |             ^^^^^^^^^^^^^^^^ help: if this is intentional, prefix it with an underscore: `_edge_nodes_exist`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `p`
[INFO] [stdout]   --> pg_graph/src/symbolic/register_game/helpers.rs:28:23
[INFO] [stdout]    |
[INFO] [stdout] 28 |             .filter(|(p, bdd)| self.base_false != **bdd)
[INFO] [stdout]    |                       ^ help: if this is intentional, prefix it with an underscore: `_p`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `compare`
[INFO] [stdout]   --> pg_graph/src/symbolic/register_game/test_helpers.rs:47:20
[INFO] [stdout]    |
[INFO] [stdout] 47 |         let (game, compare) = crate::tests::load_and_compare_example("amba_decomposed_decode.tlsf.ehoa.pg");
[INFO] [stdout]    |                    ^^^^^^^ help: if this is intentional, prefix it with an underscore: `_compare`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `compare`
[INFO] [stdout]   --> pg_graph/src/symbolic/register_game/test_helpers.rs:66:20
[INFO] [stdout]    |
[INFO] [stdout] 66 |         let (game, compare) = crate::tests::load_and_compare_example("amba_decomposed_arbiter_6.tlsf.ehoa.pg");
[INFO] [stdout]    |                    ^^^^^^^ help: if this is intentional, prefix it with an underscore: `_compare`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable does not need to be mutable
[INFO] [stdout]    --> pg_graph/src/symbolic/register_game/test_helpers.rs:127:13
[INFO] [stdout]     |
[INFO] [stdout] 127 |         let mut pg = r#"parity 3;
[INFO] [stdout]     |             ----^^
[INFO] [stdout]     |             |
[INFO] [stdout]     |             help: remove this `mut`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unreachable pattern
[INFO] [stdout]    --> pg_cli/src/args/bench.rs:471:21
[INFO] [stdout]     |
[INFO] [stdout] 471 |                     _ => unreachable!(),
[INFO] [stdout]     |                     ^ no value can reach this
[INFO] [stdout]     |
[INFO] [stdout] note: multiple earlier patterns match some of the same values
[INFO] [stdout]    --> pg_cli/src/args/bench.rs:471:21
[INFO] [stdout]     |
[INFO] [stdout] 447 |                     Algos::Srg => {
[INFO] [stdout]     |                     ---------- matches some of the same values
[INFO] [stdout] ...
[INFO] [stdout] 452 |                     Algos::Erg => {
[INFO] [stdout]     |                     ---------- matches some of the same values
[INFO] [stdout] ...
[INFO] [stdout] 457 |                     Algos::ErgReduced => {
[INFO] [stdout]     |                     ----------------- matches some of the same values
[INFO] [stdout] ...
[INFO] [stdout] 464 |                     Algos::ErgJit => {
[INFO] [stdout]     |                     ------------- matches some of the same values
[INFO] [stdout] ...
[INFO] [stdout] 471 |                     _ => unreachable!(),
[INFO] [stdout]     |                     ^ collectively making this unreachable
[INFO] [stdout]     = note: `#[warn(unreachable_patterns)]` (part of `#[warn(unused)]`) on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `i`
[INFO] [stdout]    --> pg_graph/src/symbolic/register_game/variable_order.rs:397:14
[INFO] [stdout]     |
[INFO] [stdout] 397 |         for (i, group_id) in var_iter.enumerate() {
[INFO] [stdout]     |              ^ help: if this is intentional, prefix it with an underscore: `_i`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unreachable pattern
[INFO] [stdout]    --> pg_cli/src/args/bench.rs:757:21
[INFO] [stdout]     |
[INFO] [stdout] 757 |                     _ => unreachable!(),
[INFO] [stdout]     |                     ^ no value can reach this
[INFO] [stdout]     |
[INFO] [stdout] note: multiple earlier patterns match some of the same values
[INFO] [stdout]    --> pg_cli/src/args/bench.rs:757:21
[INFO] [stdout]     |
[INFO] [stdout] 733 |                     Algos::Srg => {
[INFO] [stdout]     |                     ---------- matches some of the same values
[INFO] [stdout] ...
[INFO] [stdout] 738 |                     Algos::Erg => {
[INFO] [stdout]     |                     ---------- matches some of the same values
[INFO] [stdout] ...
[INFO] [stdout] 743 |                     Algos::ErgReduced => {
[INFO] [stdout]     |                     ----------------- matches some of the same values
[INFO] [stdout] ...
[INFO] [stdout] 750 |                     Algos::ErgJit => {
[INFO] [stdout]     |                     ------------- matches some of the same values
[INFO] [stdout] ...
[INFO] [stdout] 757 |                     _ => unreachable!(),
[INFO] [stdout]     |                     ^ collectively making this unreachable
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unreachable pattern
[INFO] [stdout]    --> pg_cli/src/args/bench.rs:757:21
[INFO] [stdout]     |
[INFO] [stdout] 757 |                     _ => unreachable!(),
[INFO] [stdout]     |                     ^ no value can reach this
[INFO] [stdout]     |
[INFO] [stdout] note: multiple earlier patterns match some of the same values
[INFO] [stdout]    --> pg_cli/src/args/bench.rs:757:21
[INFO] [stdout]     |
[INFO] [stdout] 733 |                     Algos::Srg => {
[INFO] [stdout]     |                     ---------- matches some of the same values
[INFO] [stdout] ...
[INFO] [stdout] 738 |                     Algos::Erg => {
[INFO] [stdout]     |                     ---------- matches some of the same values
[INFO] [stdout] ...
[INFO] [stdout] 743 |                     Algos::ErgReduced => {
[INFO] [stdout]     |                     ----------------- matches some of the same values
[INFO] [stdout] ...
[INFO] [stdout] 750 |                     Algos::ErgJit => {
[INFO] [stdout]     |                     ------------- matches some of the same values
[INFO] [stdout] ...
[INFO] [stdout] 757 |                     _ => unreachable!(),
[INFO] [stdout]     |                     ^ collectively making this unreachable
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `rg_gt_eq_p`
[INFO] [stdout]    --> pg_graph/src/symbolic/register_game/mod.rs:301:27
[INFO] [stdout]     |
[INFO] [stdout] 301 |                     let ((rg_gt_eq_p, rg_gt_eq), (rg_gt_neq_p, rg_gt_neq)) = if rg_odd_priority == rg_prio_general {
[INFO] [stdout]     |                           ^^^^^^^^^^ help: if this is intentional, prefix it with an underscore: `_rg_gt_eq_p`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `priorities`
[INFO] [stdout]    --> pg_graph/src/symbolic/register_game/mod.rs:626:9
[INFO] [stdout]     |
[INFO] [stdout] 626 |     let priorities = pg.priorities_unique().collect_vec();
[INFO] [stdout]     |         ^^^^^^^^^^ help: if this is intentional, prefix it with an underscore: `_priorities`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `p`
[INFO] [stdout]   --> pg_graph/src/symbolic/register_game_one_hot/helpers.rs:39:23
[INFO] [stdout]    |
[INFO] [stdout] 39 |             .filter(|(p, bdd)| self.base_false != **bdd)
[INFO] [stdout]    |                       ^ help: if this is intentional, prefix it with an underscore: `_p`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable does not need to be mutable
[INFO] [stdout]    --> pg_graph/src/symbolic/register_game_one_hot/helpers.rs:376:13
[INFO] [stdout]     |
[INFO] [stdout] 376 |         let mut pg = r#"parity 3;
[INFO] [stdout]     |             ----^^
[INFO] [stdout]     |             |
[INFO] [stdout]     |             help: remove this `mut`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable does not need to be mutable
[INFO] [stdout]    --> pg_graph/src/symbolic/register_game_one_hot/helpers.rs:384:13
[INFO] [stdout]     |
[INFO] [stdout] 384 |         let mut pg = r#"parity 4;
[INFO] [stdout]     |             ----^^
[INFO] [stdout]     |             |
[INFO] [stdout]     |             help: remove this `mut`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `i`
[INFO] [stdout]    --> pg_graph/src/symbolic/register_game_one_hot/variable_order.rs:398:14
[INFO] [stdout]     |
[INFO] [stdout] 398 |         for (i, group_id) in var_iter.enumerate() {
[INFO] [stdout]     |              ^ help: if this is intentional, prefix it with an underscore: `_i`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `time_odd`
[INFO] [stdout]     --> pg_cli/src/args/bench.rs:1022:28
[INFO] [stdout]      |
[INFO] [stdout] 1022 |             let (odd_game, time_odd) = timed_solve!(
[INFO] [stdout]      |                            ^^^^^^^^ help: if this is intentional, prefix it with an underscore: `_time_odd`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `time_solve_odd`
[INFO] [stdout]     --> pg_cli/src/args/bench.rs:1029:30
[INFO] [stdout]      |
[INFO] [stdout] 1029 |             let (output_odd, time_solve_odd) = timed_solve!(solver.run(), "Solved Zielonka on Odd register game");
[INFO] [stdout]      |                              ^^^^^^^^^^^^^^ help: if this is intentional, prefix it with an underscore: `_time_solve_odd`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `time_odd`
[INFO] [stdout]     --> pg_cli/src/args/bench.rs:1022:28
[INFO] [stdout]      |
[INFO] [stdout] 1022 |             let (odd_game, time_odd) = timed_solve!(
[INFO] [stdout]      |                            ^^^^^^^^ help: if this is intentional, prefix it with an underscore: `_time_odd`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `time_solve_odd`
[INFO] [stdout]     --> pg_cli/src/args/bench.rs:1029:30
[INFO] [stdout]      |
[INFO] [stdout] 1029 |             let (output_odd, time_solve_odd) = timed_solve!(solver.run(), "Solved Zielonka on Odd register game");
[INFO] [stdout]      |                              ^^^^^^^^^^^^^^ help: if this is intentional, prefix it with an underscore: `_time_solve_odd`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `time_odd`
[INFO] [stdout]     --> pg_cli/src/args/bench.rs:1102:28
[INFO] [stdout]      |
[INFO] [stdout] 1102 |             let (odd_game, time_odd) = timed_solve!(
[INFO] [stdout]      |                            ^^^^^^^^ help: if this is intentional, prefix it with an underscore: `_time_odd`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `time_solve_odd`
[INFO] [stdout]     --> pg_cli/src/args/bench.rs:1111:35
[INFO] [stdout]      |
[INFO] [stdout] 1111 |             let (solution_rg_odd, time_solve_odd) = timed_solve!(solver.run(), "Solved Zielonka on Odd register game");
[INFO] [stdout]      |                                   ^^^^^^^^^^^^^^ help: if this is intentional, prefix it with an underscore: `_time_solve_odd`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `time_odd`
[INFO] [stdout]     --> pg_cli/src/args/bench.rs:1102:28
[INFO] [stdout]      |
[INFO] [stdout] 1102 |             let (odd_game, time_odd) = timed_solve!(
[INFO] [stdout]      |                            ^^^^^^^^ help: if this is intentional, prefix it with an underscore: `_time_odd`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `base_true`
[INFO] [stdout]    --> pg_graph/src/symbolic/sat.rs:370:13
[INFO] [stdout]     |
[INFO] [stdout] 370 |         let base_true = manager.with_manager_exclusive(|man| BDDFunction::t(man));
[INFO] [stdout]     |             ^^^^^^^^^ help: if this is intentional, prefix it with an underscore: `_base_true`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `base_false`
[INFO] [stdout]    --> pg_graph/src/symbolic/sat.rs:371:13
[INFO] [stdout]     |
[INFO] [stdout] 371 |         let base_false = manager.with_manager_exclusive(|man| BDDFunction::f(man));
[INFO] [stdout]     |             ^^^^^^^^^^ help: if this is intentional, prefix it with an underscore: `_base_false`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `time_solve_odd`
[INFO] [stdout]     --> pg_cli/src/args/bench.rs:1111:35
[INFO] [stdout]      |
[INFO] [stdout] 1111 |             let (solution_rg_odd, time_solve_odd) = timed_solve!(solver.run(), "Solved Zielonka on Odd register game");
[INFO] [stdout]      |                                   ^^^^^^^^^^^^^^ help: if this is intentional, prefix it with an underscore: `_time_solve_odd`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `both`
[INFO] [stdout]    --> pg_graph/src/symbolic/sat.rs:377:13
[INFO] [stdout]     |
[INFO] [stdout] 377 |         let both = v0_and_v1.or(&v0_and_v2)?;
[INFO] [stdout]     |             ^^^^ help: if this is intentional, prefix it with an underscore: `_both`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `had_nodes`
[INFO] [stdout]   --> pg_cli/src/args/convert.rs:94:21
[INFO] [stdout]    |
[INFO] [stdout] 94 |                 let had_nodes = parity_game.vertex_count();
[INFO] [stdout]    |                     ^^^^^^^^^ help: if this is intentional, prefix it with an underscore: `_had_nodes`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: type alias `ProgressMeasureData` is never used
[INFO] [stdout]   --> pg_graph/src/explicit/solvers/small_progress.rs:12:6
[INFO] [stdout]    |
[INFO] [stdout] 12 | type ProgressMeasureData<'a> = &'a [Progress];
[INFO] [stdout]    |      ^^^^^^^^^^^^^^^^^^^
[INFO] [stdout]    |
[INFO] [stdout]    = note: `#[warn(dead_code)]` (part of `#[warn(unused)]`) on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: methods `replace_measure` and `get_measure_mut` are never used
[INFO] [stdout]    --> pg_graph/src/explicit/solvers/small_progress.rs:187:12
[INFO] [stdout]     |
[INFO] [stdout] 182 | impl ProgressMeasures {
[INFO] [stdout]     | --------------------- methods in this implementation
[INFO] [stdout] ...
[INFO] [stdout] 187 |     pub fn replace_measure(&mut self, vertex_id: VertexId, measure: ProgressMeasure) -> ProgressMeasure {
[INFO] [stdout]     |            ^^^^^^^^^^^^^^^
[INFO] [stdout] ...
[INFO] [stdout] 195 |     pub fn get_measure_mut(&mut self, vertex_id: VertexId) -> Option<&mut ProgressMeasure> {
[INFO] [stdout]     |            ^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: field `min_precision` is never read
[INFO] [stdout]   --> pg_graph/src/explicit/solvers/qpt_liverpool.rs:15:5
[INFO] [stdout]    |
[INFO] [stdout]  8 | pub struct LiverpoolSolver<'a> {
[INFO] [stdout]    |            --------------- field in this struct
[INFO] [stdout] ...
[INFO] [stdout] 15 |     min_precision: usize,
[INFO] [stdout]    |     ^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: field `min_precision` is never read
[INFO] [stdout]   --> pg_graph/src/explicit/solvers/qpt_tangle_liverpool.rs:19:5
[INFO] [stdout]    |
[INFO] [stdout] 10 | pub struct TLZSolver<'a> {
[INFO] [stdout]    |            --------- field in this struct
[INFO] [stdout] ...
[INFO] [stdout] 19 |     min_precision: usize,
[INFO] [stdout]    |     ^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: enum `ToExpand` is never used
[INFO] [stdout]   --> pg_graph/src/explicit/reduced_register_game.rs:32:6
[INFO] [stdout]    |
[INFO] [stdout] 32 | enum ToExpand {
[INFO] [stdout]    |      ^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: associated function `encode_eval` is never used
[INFO] [stdout]    --> pg_graph/src/symbolic/helpers.rs:120:19
[INFO] [stdout]     |
[INFO] [stdout]  49 | / impl<T, F> CachedBinaryEncoder<T, F>
[INFO] [stdout]  50 | | where
[INFO] [stdout]  51 | |     T: std::ops::BitAnd + std::ops::Shl<Output = T> + Copy + From<u8> + BitHelper,
[INFO] [stdout]  52 | |     T: Eq + Hash + Debug,
[INFO] [stdout]  53 | |     <T as std::ops::BitAnd>::Output: PartialEq<T>,
[INFO] [stdout]  54 | |     F: Function + BooleanFunctionExtensions,
[INFO] [stdout]     | |____________________________________________- associated function in this implementation
[INFO] [stdout] ...
[INFO] [stdout] 120 |       pub(crate) fn encode_eval<'a>(
[INFO] [stdout]     |                     ^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: associated function `recursive_bit_encode_geq` is never used
[INFO] [stdout]    --> pg_graph/src/symbolic/helpers.rs:390:8
[INFO] [stdout]     |
[INFO] [stdout] 252 | / impl<T, F> CachedInequalityEncoder<T, F>
[INFO] [stdout] 253 | |     where
[INFO] [stdout] 254 | |         T: std::ops::BitAnd + std::ops::Shl<Output = T> +  std::ops::Sub<Output = T> + Copy + From<u8> + BitHelper + Sized + Ord,
[INFO] [stdout] 255 | |         T: Eq + Hash + Debug + PartialOrd<T>,
[INFO] [stdout] 256 | |         <T as std::ops::BitAnd>::Output: PartialEq<T>,
[INFO] [stdout] 257 | |         F: Function + BooleanFunctionExtensions {
[INFO] [stdout]     | |_______________________________________________- associated function in this implementation
[INFO] [stdout] ...
[INFO] [stdout] 390 |       fn recursive_bit_encode_geq(value: T, bit: usize, variables: &[F], base_true: &F) -> AllocResult<F> {
[INFO] [stdout]     |          ^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: method `n_registers` is never used
[INFO] [stdout]    --> pg_graph/src/symbolic/register_game/mod.rs:454:8
[INFO] [stdout]     |
[INFO] [stdout]  54 | / impl<F> SymbolicRegisterGame<F>
[INFO] [stdout]  55 | | where
[INFO] [stdout]  56 | |     F: GeneralBooleanFunction,
[INFO] [stdout]  57 | |     for<'id> F::Manager<'id>: WorkerManager,
[INFO] [stdout]  58 | |     for<'a, 'b> TruthAssignmentsIterator<'b, 'a, F>: Iterator<Item = Vec<OptBool>>,
[INFO] [stdout]     | |___________________________________________________________________________________- method in this implementation
[INFO] [stdout] ...
[INFO] [stdout] 454 |       fn n_registers(&self) -> usize {
[INFO] [stdout]     |          ^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: method `rev_edge_substitute` is never used
[INFO] [stdout]    --> pg_graph/src/symbolic/register_game/helpers.rs:189:8
[INFO] [stdout]     |
[INFO] [stdout]   9 | impl<F: GeneralBooleanFunction> SymbolicRegisterGame<F>
[INFO] [stdout]     | ------------------------------------------------------- method in this implementation
[INFO] [stdout] ...
[INFO] [stdout] 189 |     fn rev_edge_substitute(&self, bdd: &F) -> symbolic::Result<F> {
[INFO] [stdout]     |        ^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: function `small_pg` is never used
[INFO] [stdout]    --> pg_graph/src/symbolic/register_game/helpers.rs:312:8
[INFO] [stdout]     |
[INFO] [stdout] 312 |     fn small_pg() -> eyre::Result<ParityGame> {
[INFO] [stdout]     |        ^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: function `other_pg` is never used
[INFO] [stdout]    --> pg_graph/src/symbolic/register_game/helpers.rs:320:8
[INFO] [stdout]     |
[INFO] [stdout] 320 |     fn other_pg() -> eyre::Result<ParityGame> {
[INFO] [stdout]     |        ^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: struct `SymbolicTest` is never constructed
[INFO] [stdout]    --> pg_graph/src/symbolic/register_game/helpers.rs:348:12
[INFO] [stdout]     |
[INFO] [stdout] 348 |     struct SymbolicTest {
[INFO] [stdout]     |            ^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: function `symbolic_rg` is never used
[INFO] [stdout]    --> pg_graph/src/symbolic/register_game/helpers.rs:353:8
[INFO] [stdout]     |
[INFO] [stdout] 353 |     fn symbolic_rg(pg: ParityGame, k: Rank) -> eyre::Result<SymbolicTest> {
[INFO] [stdout]     |        ^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: function `small_pg` is never used
[INFO] [stdout]    --> pg_graph/src/symbolic/register_game/test_helpers.rs:124:8
[INFO] [stdout]     |
[INFO] [stdout] 124 |     fn small_pg() -> eyre::Result<ParityGame> {
[INFO] [stdout]     |        ^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: type alias `VariableOrder` is never used
[INFO] [stdout]   --> pg_graph/src/symbolic/register_game/variable_order.rs:11:10
[INFO] [stdout]    |
[INFO] [stdout] 11 | pub type VariableOrder = ahash::HashMap<RegisterLayers, Vec<usize>>;
[INFO] [stdout]    |          ^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: function `test_variable_orders` is never used
[INFO] [stdout]    --> pg_graph/src/symbolic/register_game/variable_order.rs:169:12
[INFO] [stdout]     |
[INFO] [stdout] 169 |     pub fn test_variable_orders() -> eyre::Result<()> {
[INFO] [stdout]     |            ^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: function `test_variable_orders_grouped` is never used
[INFO] [stdout]    --> pg_graph/src/symbolic/register_game/variable_order.rs:232:12
[INFO] [stdout]     |
[INFO] [stdout] 232 |     pub fn test_variable_orders_grouped() -> eyre::Result<()> {
[INFO] [stdout]     |            ^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: function `test_variable_orders_grouped_time_taken` is never used
[INFO] [stdout]    --> pg_graph/src/symbolic/register_game/variable_order.rs:289:12
[INFO] [stdout]     |
[INFO] [stdout] 289 |     pub fn test_variable_orders_grouped_time_taken() -> eyre::Result<()> {
[INFO] [stdout]     |            ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: function `alloc_var_with_order` is never used
[INFO] [stdout]    --> pg_graph/src/symbolic/register_game/variable_order.rs:351:8
[INFO] [stdout]     |
[INFO] [stdout] 351 |     fn alloc_var_with_order<F: BooleanFunctionExtensions>(
[INFO] [stdout]     |        ^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: function `permutation_to_order_grouped` is never used
[INFO] [stdout]    --> pg_graph/src/symbolic/register_game/variable_order.rs:384:8
[INFO] [stdout]     |
[INFO] [stdout] 384 |     fn permutation_to_order_grouped(vars: VariableAllocatorInfo, perm: &[usize]) -> Vec<VariableOrder> {
[INFO] [stdout]     |        ^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: function `permutation_to_order` is never used
[INFO] [stdout]    --> pg_graph/src/symbolic/register_game/variable_order.rs:427:8
[INFO] [stdout]     |
[INFO] [stdout] 427 |     fn permutation_to_order(
[INFO] [stdout]     |        ^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: method `rev_edge_substitute` is never used
[INFO] [stdout]    --> pg_graph/src/symbolic/register_game_one_hot/helpers.rs:203:8
[INFO] [stdout]     |
[INFO] [stdout]  21 | impl<F: GeneralBooleanFunction> OneHotRegisterGame<F> {
[INFO] [stdout]     | ----------------------------------------------------- method in this implementation
[INFO] [stdout] ...
[INFO] [stdout] 203 |     fn rev_edge_substitute(&self, bdd: &F) -> symbolic::Result<F> {
[INFO] [stdout]     |        ^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: field `variables` is never read
[INFO] [stdout]    --> pg_graph/src/symbolic/register_game_one_hot/helpers.rs:325:5
[INFO] [stdout]     |
[INFO] [stdout] 322 | pub struct OneHotEncoder<T, F> {
[INFO] [stdout]     |            ------------- field in this struct
[INFO] [stdout] ...
[INFO] [stdout] 325 |     variables: EcoVec<F>,
[INFO] [stdout]     |     ^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: function `small_pg` is never used
[INFO] [stdout]    --> pg_graph/src/symbolic/register_game_one_hot/helpers.rs:375:8
[INFO] [stdout]     |
[INFO] [stdout] 375 |     fn small_pg() -> eyre::Result<ParityGame> {
[INFO] [stdout]     |        ^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: function `other_pg` is never used
[INFO] [stdout]    --> pg_graph/src/symbolic/register_game_one_hot/helpers.rs:383:8
[INFO] [stdout]     |
[INFO] [stdout] 383 |     fn other_pg() -> eyre::Result<ParityGame> {
[INFO] [stdout]     |        ^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: struct `SymbolicTest` is never constructed
[INFO] [stdout]    --> pg_graph/src/symbolic/register_game_one_hot/helpers.rs:411:12
[INFO] [stdout]     |
[INFO] [stdout] 411 |     struct SymbolicTest {
[INFO] [stdout]     |            ^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: function `symbolic_rg` is never used
[INFO] [stdout]    --> pg_graph/src/symbolic/register_game_one_hot/helpers.rs:416:8
[INFO] [stdout]     |
[INFO] [stdout] 416 |     fn symbolic_rg(pg: ParityGame, k: Rank) -> eyre::Result<SymbolicTest> {
[INFO] [stdout]     |        ^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: type alias `VariableOrder` is never used
[INFO] [stdout]   --> pg_graph/src/symbolic/register_game_one_hot/variable_order.rs:11:10
[INFO] [stdout]    |
[INFO] [stdout] 11 | pub type VariableOrder = ahash::HashMap<RegisterLayers, Vec<usize>>;
[INFO] [stdout]    |          ^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: function `test_variable_orders` is never used
[INFO] [stdout]    --> pg_graph/src/symbolic/register_game_one_hot/variable_order.rs:170:12
[INFO] [stdout]     |
[INFO] [stdout] 170 |     pub fn test_variable_orders() -> eyre::Result<()> {
[INFO] [stdout]     |            ^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: function `test_variable_orders_grouped` is never used
[INFO] [stdout]    --> pg_graph/src/symbolic/register_game_one_hot/variable_order.rs:234:12
[INFO] [stdout]     |
[INFO] [stdout] 234 |     pub fn test_variable_orders_grouped() -> eyre::Result<()> {
[INFO] [stdout]     |            ^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: function `test_variable_orders_grouped_time_taken` is never used
[INFO] [stdout]    --> pg_graph/src/symbolic/register_game_one_hot/variable_order.rs:290:12
[INFO] [stdout]     |
[INFO] [stdout] 290 |     pub fn test_variable_orders_grouped_time_taken() -> eyre::Result<()> {
[INFO] [stdout]     |            ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: function `alloc_var_with_order` is never used
[INFO] [stdout]    --> pg_graph/src/symbolic/register_game_one_hot/variable_order.rs:352:8
[INFO] [stdout]     |
[INFO] [stdout] 352 |     fn alloc_var_with_order<F: BooleanFunctionExtensions>(
[INFO] [stdout]     |        ^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: function `permutation_to_order_grouped` is never used
[INFO] [stdout]    --> pg_graph/src/symbolic/register_game_one_hot/variable_order.rs:385:8
[INFO] [stdout]     |
[INFO] [stdout] 385 |     fn permutation_to_order_grouped(vars: VariableAllocatorInfo, perm: &[usize]) -> Vec<VariableOrder> {
[INFO] [stdout]     |        ^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: function `permutation_to_order` is never used
[INFO] [stdout]    --> pg_graph/src/symbolic/register_game_one_hot/variable_order.rs:428:8
[INFO] [stdout]     |
[INFO] [stdout] 428 |     fn permutation_to_order(
[INFO] [stdout]     |        ^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: field `counter` is never read
[INFO] [stdout]   --> pg_graph/src/symbolic/sat.rs:44:5
[INFO] [stdout]    |
[INFO] [stdout] 41 | pub struct TruthAssignmentsIterator<'b, 'a, F: Function> {
[INFO] [stdout]    |            ------------------------ field in this struct
[INFO] [stdout] ...
[INFO] [stdout] 44 |     counter: usize,
[INFO] [stdout]    |     ^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: hiding a lifetime that's elided elsewhere is confusing
[INFO] [stdout]    --> pg_graph/src/explicit/parity_game.rs:123:23
[INFO] [stdout]     |
[INFO] [stdout] 123 |     fn create_subgame(&self, exclude: impl IntoIterator<Item = NodeIndex<Ix>>) -> SubGame<Ix, Self::Parent>;
[INFO] [stdout]     |                       ^^^^^ the lifetime is elided here                           ^^^^^^^^^^^^^^^^^^^^^^^^^ the same lifetime is hidden here
[INFO] [stdout]     |
[INFO] [stdout]     = help: the same lifetime is referred to in inconsistent ways, making the signature confusing
[INFO] [stdout]     = note: `#[warn(mismatched_lifetime_syntaxes)]` on by default
[INFO] [stdout] help: use `'_` for type paths
[INFO] [stdout]     |
[INFO] [stdout] 123 |     fn create_subgame(&self, exclude: impl IntoIterator<Item = NodeIndex<Ix>>) -> SubGame<'_, Ix, Self::Parent>;
[INFO] [stdout]     |                                                                                           +++
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: hiding a lifetime that's elided elsewhere is confusing
[INFO] [stdout]    --> pg_graph/src/explicit/parity_game.rs:128:27
[INFO] [stdout]     |
[INFO] [stdout] 128 |     fn create_subgame_bit(&self, exclude: &FixedBitSet) -> SubGame<Ix, Self::Parent>;
[INFO] [stdout]     |                           ^^^^^                            ^^^^^^^^^^^^^^^^^^^^^^^^^ the same lifetime is hidden here
[INFO] [stdout]     |                           |
[INFO] [stdout]     |                           the lifetime is elided here
[INFO] [stdout]     |
[INFO] [stdout]     = help: the same lifetime is referred to in inconsistent ways, making the signature confusing
[INFO] [stdout] help: use `'_` for type paths
[INFO] [stdout]     |
[INFO] [stdout] 128 |     fn create_subgame_bit(&self, exclude: &FixedBitSet) -> SubGame<'_, Ix, Self::Parent>;
[INFO] [stdout]     |                                                                    +++
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: hiding a lifetime that's elided elsewhere is confusing
[INFO] [stdout]    --> pg_graph/src/explicit/parity_game.rs:389:23
[INFO] [stdout]     |
[INFO] [stdout] 389 |     fn create_subgame(&self, exclude: impl IntoIterator<Item = NodeIndex<Ix>>) -> SubGame<Ix, Self::Parent> {
[INFO] [stdout]     |                       ^^^^^ the lifetime is elided here                           ^^^^^^^^^^^^^^^^^^^^^^^^^ the same lifetime is hidden here
[INFO] [stdout]     |
[INFO] [stdout]     = help: the same lifetime is referred to in inconsistent ways, making the signature confusing
[INFO] [stdout] help: use `'_` for type paths
[INFO] [stdout]     |
[INFO] [stdout] 389 |     fn create_subgame(&self, exclude: impl IntoIterator<Item = NodeIndex<Ix>>) -> SubGame<'_, Ix, Self::Parent> {
[INFO] [stdout]     |                                                                                           +++
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: hiding a lifetime that's elided elsewhere is confusing
[INFO] [stdout]    --> pg_graph/src/explicit/parity_game.rs:393:27
[INFO] [stdout]     |
[INFO] [stdout] 393 |     fn create_subgame_bit(&self, exclude: &FixedBitSet) -> SubGame<Ix, Self::Parent> {
[INFO] [stdout]     |                           ^^^^^                            ^^^^^^^^^^^^^^^^^^^^^^^^^ the same lifetime is hidden here
[INFO] [stdout]     |                           |
[INFO] [stdout]     |                           the lifetime is elided here
[INFO] [stdout]     |
[INFO] [stdout]     = help: the same lifetime is referred to in inconsistent ways, making the signature confusing
[INFO] [stdout] help: use `'_` for type paths
[INFO] [stdout]     |
[INFO] [stdout] 393 |     fn create_subgame_bit(&self, exclude: &FixedBitSet) -> SubGame<'_, Ix, Self::Parent> {
[INFO] [stdout]     |                                                                    +++
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: hiding a lifetime that's elided elsewhere is confusing
[INFO] [stdout]    --> pg_graph/src/explicit/parity_game.rs:613:13
[INFO] [stdout]     |
[INFO] [stdout] 613 |     parent: &PG,
[INFO] [stdout]     |             ^^^ the lifetime is elided here
[INFO] [stdout] 614 |     exclude: impl IntoIterator<Item = VertexId<Ix>>,
[INFO] [stdout] 615 | ) -> SubGame<Ix, PG> {
[INFO] [stdout]     |      ^^^^^^^^^^^^^^^ the same lifetime is hidden here
[INFO] [stdout]     |
[INFO] [stdout]     = help: the same lifetime is referred to in inconsistent ways, making the signature confusing
[INFO] [stdout] help: use `'_` for type paths
[INFO] [stdout]     |
[INFO] [stdout] 615 | ) -> SubGame<'_, Ix, PG> {
[INFO] [stdout]     |              +++
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `had_nodes`
[INFO] [stdout]   --> pg_cli/src/args/convert.rs:94:21
[INFO] [stdout]    |
[INFO] [stdout] 94 |                 let had_nodes = parity_game.vertex_count();
[INFO] [stdout]    |                     ^^^^^^^^^ help: if this is intentional, prefix it with an underscore: `_had_nodes`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: hiding a lifetime that's elided elsewhere is confusing
[INFO] [stdout]    --> pg_graph/src/explicit/reduced_register_game.rs:262:23
[INFO] [stdout]     |
[INFO] [stdout] 262 |     fn create_subgame(&self, exclude: impl IntoIterator<Item = VertexId<u32>>) -> SubGame<u32, Self::Parent> {
[INFO] [stdout]     |                       ^^^^^ the lifetime is elided here                           ^^^^^^^^^^^^^^^^^^^^^^^^^^ the same lifetime is hidden here
[INFO] [stdout]     |
[INFO] [stdout]     = help: the same lifetime is referred to in inconsistent ways, making the signature confusing
[INFO] [stdout] help: use `'_` for type paths
[INFO] [stdout]     |
[INFO] [stdout] 262 |     fn create_subgame(&self, exclude: impl IntoIterator<Item = VertexId<u32>>) -> SubGame<'_, u32, Self::Parent> {
[INFO] [stdout]     |                                                                                           +++
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: hiding a lifetime that's elided elsewhere is confusing
[INFO] [stdout]    --> pg_graph/src/explicit/reduced_register_game.rs:266:27
[INFO] [stdout]     |
[INFO] [stdout] 266 |     fn create_subgame_bit(&self, exclude: &FixedBitSet) -> SubGame<u32, Self::Parent> {
[INFO] [stdout]     |                           ^^^^^                            ^^^^^^^^^^^^^^^^^^^^^^^^^^ the same lifetime is hidden here
[INFO] [stdout]     |                           |
[INFO] [stdout]     |                           the lifetime is elided here
[INFO] [stdout]     |
[INFO] [stdout]     = help: the same lifetime is referred to in inconsistent ways, making the signature confusing
[INFO] [stdout] help: use `'_` for type paths
[INFO] [stdout]     |
[INFO] [stdout] 266 |     fn create_subgame_bit(&self, exclude: &FixedBitSet) -> SubGame<'_, u32, Self::Parent> {
[INFO] [stdout]     |                                                                    +++
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: eliding a lifetime that's named elsewhere is confusing
[INFO] [stdout]    --> pg_graph/src/symbolic/register_game/mod.rs:567:79
[INFO] [stdout]     |
[INFO] [stdout] 567 |     pub fn iter_names<'a>(&'a self, suffix: &'a str) -> impl Iterator<Item = (&F, String)> + 'a {
[INFO] [stdout]     |                            --                --                               ^^             -- the same lifetime is named here
[INFO] [stdout]     |                            |                 |                                |
[INFO] [stdout]     |                            |                 the lifetime is named here       the same lifetime is elided here
[INFO] [stdout]     |                            the lifetime is named here
[INFO] [stdout]     |
[INFO] [stdout]     = help: the same lifetime is referred to in inconsistent ways, making the signature confusing
[INFO] [stdout] help: consistently use `'a`
[INFO] [stdout]     |
[INFO] [stdout] 567 |     pub fn iter_names<'a>(&'a self, suffix: &'a str) -> impl Iterator<Item = (&'a F, String)> + 'a {
[INFO] [stdout]     |                                                                                ++
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: eliding a lifetime that's named elsewhere is confusing
[INFO] [stdout]    --> pg_graph/src/symbolic/register_game_one_hot/mod.rs:474:79
[INFO] [stdout]     |
[INFO] [stdout] 474 |     pub fn iter_names<'a>(&'a self, suffix: &'a str) -> impl Iterator<Item = (&F, String)> + 'a {
[INFO] [stdout]     |                            --                --                               ^^             -- the same lifetime is named here
[INFO] [stdout]     |                            |                 |                                |
[INFO] [stdout]     |                            |                 the lifetime is named here       the same lifetime is elided here
[INFO] [stdout]     |                            the lifetime is named here
[INFO] [stdout]     |
[INFO] [stdout]     = help: the same lifetime is referred to in inconsistent ways, making the signature confusing
[INFO] [stdout] help: consistently use `'a`
[INFO] [stdout]     |
[INFO] [stdout] 474 |     pub fn iter_names<'a>(&'a self, suffix: &'a str) -> impl Iterator<Item = (&'a F, String)> + 'a {
[INFO] [stdout]     |                                                                                ++
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: hiding a lifetime that's elided elsewhere is confusing
[INFO] [stdout]   --> pg_graph/src/symbolic/sat.rs:20:53
[INFO] [stdout]    |
[INFO] [stdout] 20 | fn collect_children<E: Edge, N: InnerNode<E>>(node: &N) -> (Borrowed<E>, Borrowed<E>) {
[INFO] [stdout]    |                                                     ^^      ^^^^^^^^^^^  ^^^^^^^^^^^ the same lifetime is hidden here
[INFO] [stdout]    |                                                     |       |
[INFO] [stdout]    |                                                     |       the same lifetime is hidden here
[INFO] [stdout]    |                                                     the lifetime is elided here
[INFO] [stdout]    |
[INFO] [stdout]    = help: the same lifetime is referred to in inconsistent ways, making the signature confusing
[INFO] [stdout] help: use `'_` for type paths
[INFO] [stdout]    |
[INFO] [stdout] 20 | fn collect_children<E: Edge, N: InnerNode<E>>(node: &N) -> (Borrowed<'_, E>, Borrowed<'_, E>) {
[INFO] [stdout]    |                                                                      +++              +++
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: hiding a lifetime that's elided elsewhere is confusing
[INFO] [stdout]   --> pg_graph/src/symbolic/sat.rs:29:83
[INFO] [stdout]    |
[INFO] [stdout] 29 | fn collect_cofactors<E: Edge<Tag = EdgeTag>, N: InnerNode<E>>(tag: EdgeTag, node: &N) -> (Borrowed<E>, Borrowed<E>) {
[INFO] [stdout]    |                                                                                   ^^      ^^^^^^^^^^^  ^^^^^^^^^^^ the same lifetime is hidden here
[INFO] [stdout]    |                                                                                   |       |
[INFO] [stdout]    |                                                                                   |       the same lifetime is hidden here
[INFO] [stdout]    |                                                                                   the lifetime is elided here
[INFO] [stdout]    |
[INFO] [stdout]    = help: the same lifetime is referred to in inconsistent ways, making the signature confusing
[INFO] [stdout] help: use `'_` for type paths
[INFO] [stdout]    |
[INFO] [stdout] 29 | fn collect_cofactors<E: Edge<Tag = EdgeTag>, N: InnerNode<E>>(tag: EdgeTag, node: &N) -> (Borrowed<'_, E>, Borrowed<'_, E>) {
[INFO] [stdout]    |                                                                                                    +++              +++
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable does not need to be mutable
[INFO] [stdout]   --> pg_cli/src/args/testing.rs:47:21
[INFO] [stdout]    |
[INFO] [stdout] 47 |                 let mut u_edges = parity_game.edges(u).collect::<ahash::HashSet<NodeIndex>>();
[INFO] [stdout]    |                     ----^^^^^^^
[INFO] [stdout]    |                     |
[INFO] [stdout]    |                     help: remove this `mut`
[INFO] [stdout]    |
[INFO] [stdout]    = note: `#[warn(unused_mut)]` (part of `#[warn(unused)]`) on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable does not need to be mutable
[INFO] [stdout]   --> pg_cli/src/args/testing.rs:47:21
[INFO] [stdout]    |
[INFO] [stdout] 47 |                 let mut u_edges = parity_game.edges(u).collect::<ahash::HashSet<NodeIndex>>();
[INFO] [stdout]    |                     ----^^^^^^^
[INFO] [stdout]    |                     |
[INFO] [stdout]    |                     help: remove this `mut`
[INFO] [stdout]    |
[INFO] [stdout]    = note: `#[warn(unused_mut)]` (part of `#[warn(unused)]`) on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `sim_matrix`
[INFO] [stdout]    --> pg_cli/src/args/testing.rs:187:71
[INFO] [stdout]     |
[INFO] [stdout] 187 | ...ities: &[Similarity], sim_matrix: &ahash::HashMap<NodeIndex, ahash::HashMap<NodeIndex, u8>>) -> (Vec<NodeIndex>, Vec<NodeIndex>) {
[INFO] [stdout]     |                          ^^^^^^^^^^ help: if this is intentional, prefix it with an underscore: `_sim_matrix`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `sim_matrix`
[INFO] [stdout]    --> pg_cli/src/args/testing.rs:187:71
[INFO] [stdout]     |
[INFO] [stdout] 187 | ...ities: &[Similarity], sim_matrix: &ahash::HashMap<NodeIndex, ahash::HashMap<NodeIndex, u8>>) -> (Vec<NodeIndex>, Vec<NodeIndex>) {
[INFO] [stdout]     |                          ^^^^^^^^^^ help: if this is intentional, prefix it with an underscore: `_sim_matrix`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: associated functions `recursive_split` and `partition` are never used
[INFO] [stdout]    --> pg_cli/src/args/testing.rs:86:8
[INFO] [stdout]     |
[INFO] [stdout]  32 | impl TestingCommand {
[INFO] [stdout]     | ------------------- associated functions in this implementation
[INFO] [stdout] ...
[INFO] [stdout]  86 |     fn recursive_split(vertices: impl Iterator<Item=NodeIndex>, similarity_matrix: &HashMap<NodeIndex, HashMap<NodeIndex, u8>>) -> ...
[INFO] [stdout]     |        ^^^^^^^^^^^^^^^
[INFO] [stdout] ...
[INFO] [stdout] 187 |     fn partition(vertices: &[NodeIndex], similarities: &[Similarity], sim_matrix: &ahash::HashMap<NodeIndex, ahash::HashMap<NodeInd...
[INFO] [stdout]     |        ^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout]     = note: `#[warn(dead_code)]` (part of `#[warn(unused)]`) on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: struct `Similarity` is never constructed
[INFO] [stdout]    --> pg_cli/src/args/testing.rs:251:8
[INFO] [stdout]     |
[INFO] [stdout] 251 | struct Similarity {
[INFO] [stdout]     |        ^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: associated functions `recursive_split` and `partition` are never used
[INFO] [stdout]    --> pg_cli/src/args/testing.rs:86:8
[INFO] [stdout]     |
[INFO] [stdout]  32 | impl TestingCommand {
[INFO] [stdout]     | ------------------- associated functions in this implementation
[INFO] [stdout] ...
[INFO] [stdout]  86 |     fn recursive_split(vertices: impl Iterator<Item=NodeIndex>, similarity_matrix: &HashMap<NodeIndex, HashMap<NodeIndex, u8>>) -> ...
[INFO] [stdout]     |        ^^^^^^^^^^^^^^^
[INFO] [stdout] ...
[INFO] [stdout] 187 |     fn partition(vertices: &[NodeIndex], similarities: &[Similarity], sim_matrix: &ahash::HashMap<NodeIndex, ahash::HashMap<NodeInd...
[INFO] [stdout]     |        ^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout]     = note: `#[warn(dead_code)]` (part of `#[warn(unused)]`) on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: struct `Similarity` is never constructed
[INFO] [stdout]    --> pg_cli/src/args/testing.rs:251:8
[INFO] [stdout]     |
[INFO] [stdout] 251 | struct Similarity {
[INFO] [stdout]     |        ^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stderr]     Finished `dev` profile [unoptimized + debuginfo] target(s) in 1m 52s
[INFO] running `Command { std: "docker" "inspect" "f53871748af638fa0b82d2a83fd97d341011611239c20424f101bd4586e0864d", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "f53871748af638fa0b82d2a83fd97d341011611239c20424f101bd4586e0864d", kill_on_drop: false }`
[INFO] [stdout] f53871748af638fa0b82d2a83fd97d341011611239c20424f101bd4586e0864d
