[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 try#66388cc165a6c4ac98c074dc9f0281ff23528c55 for pr-150727
[INFO] running `Command { std: "git" "clone" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2FHirtol%2Fparity-game-rs" "/workspace/builds/worker-4-tc2/source", kill_on_drop: false }`
[INFO] [stderr] Cloning into '/workspace/builds/worker-4-tc2/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-4-tc2/source/Cargo.toml
[INFO] validating manifest of git repo https://github.com/Hirtol/parity-game-rs on toolchain 66388cc165a6c4ac98c074dc9f0281ff23528c55
[INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+66388cc165a6c4ac98c074dc9f0281ff23528c55" "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" "+66388cc165a6c4ac98c074dc9f0281ff23528c55" "fetch" "--manifest-path" "Cargo.toml", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-4-tc2/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-4-tc2/source:/opt/rustwide/workdir:ro,Z" "-v" "/var/lib/crater-agent-workspace/cargo-home:/opt/rustwide/cargo-home:ro,Z" "-v" "/var/lib/crater-agent-workspace/rustup-home:/opt/rustwide/rustup-home:ro,Z" "-e" "SOURCE_DIR=/opt/rustwide/workdir" "-e" "CARGO_TARGET_DIR=/opt/rustwide/target" "-e" "CARGO_HOME=/opt/rustwide/cargo-home" "-e" "RUSTUP_HOME=/opt/rustwide/rustup-home" "-w" "/opt/rustwide/workdir" "-m" "1610612736" "--user" "0:0" "--network" "none" "ghcr.io/rust-lang/crates-build-env/linux@sha256:aa71247004a7fa38d13ec170f48f06cdedf5bc50b2a8645e56ed7e992e6fa513" "/opt/rustwide/cargo-home/bin/cargo" "+66388cc165a6c4ac98c074dc9f0281ff23528c55" "metadata" "--no-deps" "--format-version=1", kill_on_drop: false }`
[INFO] [stdout] 00bc1893dbf4454759695fc22e42214cef5e7af1e844763d2d0723ed1c20220b
[INFO] running `Command { std: "docker" "start" "-a" "00bc1893dbf4454759695fc22e42214cef5e7af1e844763d2d0723ed1c20220b", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "inspect" "00bc1893dbf4454759695fc22e42214cef5e7af1e844763d2d0723ed1c20220b", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "00bc1893dbf4454759695fc22e42214cef5e7af1e844763d2d0723ed1c20220b", kill_on_drop: false }`
[INFO] [stdout] 00bc1893dbf4454759695fc22e42214cef5e7af1e844763d2d0723ed1c20220b
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-4-tc2/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-4-tc2/source:/opt/rustwide/workdir:ro,Z" "-v" "/var/lib/crater-agent-workspace/cargo-home:/opt/rustwide/cargo-home:ro,Z" "-v" "/var/lib/crater-agent-workspace/rustup-home:/opt/rustwide/rustup-home:ro,Z" "-e" "SOURCE_DIR=/opt/rustwide/workdir" "-e" "CARGO_TARGET_DIR=/opt/rustwide/target" "-e" "CARGO_INCREMENTAL=0" "-e" "RUST_BACKTRACE=full" "-e" "RUSTFLAGS=--cap-lints=forbid" "-e" "RUSTDOCFLAGS=--cap-lints=forbid" "-e" "CARGO_HOME=/opt/rustwide/cargo-home" "-e" "RUSTUP_HOME=/opt/rustwide/rustup-home" "-w" "/opt/rustwide/workdir" "-m" "1610612736" "--user" "0:0" "--network" "none" "ghcr.io/rust-lang/crates-build-env/linux@sha256:aa71247004a7fa38d13ec170f48f06cdedf5bc50b2a8645e56ed7e992e6fa513" "/opt/rustwide/cargo-home/bin/cargo" "+66388cc165a6c4ac98c074dc9f0281ff23528c55" "check" "--frozen" "--all" "--all-targets" "--message-format=json", kill_on_drop: false }`
[INFO] [stdout] 07f300aa34e4bfb3168e8e942cab852b9ad03fc89105930bd92e51d77de46c76
[INFO] running `Command { std: "docker" "start" "-a" "07f300aa34e4bfb3168e8e942cab852b9ad03fc89105930bd92e51d77de46c76", kill_on_drop: false }`
[INFO] [stderr]    Compiling proc-macro2 v1.0.92
[INFO] [stderr]    Compiling unicode-ident v1.0.13
[INFO] [stderr]    Compiling libc v0.2.168
[INFO] [stderr]     Checking memchr v2.7.4
[INFO] [stderr]     Checking cfg-if v1.0.0
[INFO] [stderr]    Compiling autocfg v1.4.0
[INFO] [stderr]    Compiling version_check v0.9.5
[INFO] [stderr]    Compiling crossbeam-utils v0.8.20
[INFO] [stderr]     Checking once_cell v1.20.2
[INFO] [stderr]    Compiling serde v1.0.214
[INFO] [stderr]     Checking smallvec v1.13.2
[INFO] [stderr]     Checking either v1.13.0
[INFO] [stderr]     Checking scopeguard v1.2.0
[INFO] [stderr]    Compiling syn v1.0.109
[INFO] [stderr]    Compiling radium v0.7.0
[INFO] [stderr]     Checking utf8parse v0.2.2
[INFO] [stderr]     Checking nanorand v0.7.0
[INFO] [stderr]    Compiling rayon-core v1.12.1
[INFO] [stderr]     Checking oxidd-core v0.7.0 (https://github.com/Hirtol/oxidd#62dfa919)
[INFO] [stderr]     Checking crossbeam-epoch v0.9.18
[INFO] [stderr]     Checking tap v1.0.1
[INFO] [stderr]    Compiling parking_lot_core v0.9.10
[INFO] [stderr]    Compiling quote v1.0.37
[INFO] [stderr]     Checking crossbeam-deque v0.8.5
[INFO] [stderr]     Checking wyz v0.5.1
[INFO] [stderr]    Compiling syn v2.0.90
[INFO] [stderr]    Compiling proc-macro-error-attr v1.0.4
[INFO] [stderr]    Compiling proc-macro-error v1.0.4
[INFO] [stderr]     Checking rustc-hash v1.1.0
[INFO] [stderr]     Checking itoa v1.0.11
[INFO] [stderr]     Checking log v0.4.22
[INFO] [stderr]    Compiling lock_api v0.4.12
[INFO] [stderr]    Compiling litrs v0.4.1
[INFO] [stderr]     Checking funty v2.0.0
[INFO] [stderr]    Compiling windows_x86_64_gnu v0.52.6
[INFO] [stderr]     Checking lazy_static v1.5.0
[INFO] [stderr]     Checking rayon v1.10.0
[INFO] [stderr]     Checking aho-corasick v1.1.3
[INFO] [stderr]    Compiling rustix v0.38.38
[INFO] [stderr]     Checking bitvec v1.0.1
[INFO] [stderr]     Checking regex-syntax v0.8.5
[INFO] [stderr]     Checking is_sorted v0.1.1
[INFO] [stderr]     Checking parking_lot v0.12.3
[INFO] [stderr]     Checking tracing-core v0.1.32
[INFO] [stderr]    Compiling shlex v1.3.0
[INFO] [stderr]    Compiling document-features v0.2.10
[INFO] [stderr]     Checking sptr v0.3.2
[INFO] [stderr]     Checking regex-syntax v0.6.29
[INFO] [stderr]     Checking linux-raw-sys v0.4.14
[INFO] [stderr]     Checking bitflags v2.6.0
[INFO] [stderr]    Compiling cc v1.1.31
[INFO] [stderr]     Checking regex-automata v0.4.8
[INFO] [stderr]     Checking windows-targets v0.52.6
[INFO] [stderr]     Checking anstyle-parse v0.2.6
[INFO] [stderr]    Compiling serde_json v1.0.132
[INFO] [stderr]     Checking is_terminal_polyfill v1.70.1
[INFO] [stderr]     Checking overload v0.1.1
[INFO] [stderr]     Checking anstyle v1.0.9
[INFO] [stderr]     Checking pin-project-lite v0.2.15
[INFO] [stderr]     Checking colorchoice v1.0.3
[INFO] [stderr]    Compiling pkg-config v0.3.31
[INFO] [stderr]     Checking oxidd-dump v0.2.0 (https://github.com/Hirtol/oxidd#62dfa919)
[INFO] [stderr]    Compiling eyre v0.6.12
[INFO] [stderr]     Checking anstyle-query v1.1.2
[INFO] [stderr]     Checking ryu v1.0.18
[INFO] [stderr]     Checking anstream v0.6.17
[INFO] [stderr]     Checking nu-ansi-term v0.46.0
[INFO] [stderr]     Checking windows-result v0.2.0
[INFO] [stderr]     Checking terminal_size v0.4.0
[INFO] [stderr]     Checking tracing-log v0.2.0
[INFO] [stderr]     Checking regex-automata v0.1.10
[INFO] [stderr]     Checking spin v0.9.8
[INFO] [stderr]     Checking sharded-slab v0.1.7
[INFO] [stderr]     Checking thread_local v1.1.8
[INFO] [stderr]     Checking allocator-api2 v0.2.18
[INFO] [stderr]    Compiling heck v0.5.0
[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 matchers v0.1.0
[INFO] [stderr]     Checking hugealloc v0.1.0 (https://github.com/Hirtol/oxidd#62dfa919)
[INFO] [stderr]     Checking clap_builder v4.5.20
[INFO] [stderr]     Checking flume v0.11.1
[INFO] [stderr]     Checking windows-strings v0.1.0
[INFO] [stderr]     Checking arcslab v0.1.0 (https://github.com/Hirtol/oxidd#62dfa919)
[INFO] [stderr]    Compiling include_dir_macros v0.7.4
[INFO] [stderr]    Compiling ahash v0.8.11
[INFO] [stderr]     Checking bytemuck v1.19.0
[INFO] [stderr]     Checking winnow v0.6.20
[INFO] [stderr]    Compiling thiserror v1.0.65
[INFO] [stderr]     Checking regex v1.11.1
[INFO] [stderr]     Checking linear-hashtbl v0.1.0 (https://github.com/Hirtol/oxidd#62dfa919)
[INFO] [stderr]     Checking oxidd-manager-pointer v0.2.0 (https://github.com/Hirtol/oxidd#62dfa919)
[INFO] [stderr]    Compiling include_dir v0.7.4
[INFO] [stderr]    Compiling itertools v0.10.5
[INFO] [stderr]     Checking oxidd-reorder v0.2.0 (https://github.com/Hirtol/oxidd#62dfa919)
[INFO] [stderr]     Checking oxidd-cache v0.7.0 (https://github.com/Hirtol/oxidd#62dfa919)
[INFO] [stderr]    Compiling num-traits v0.2.19
[INFO] [stderr]     Checking getrandom v0.2.15
[INFO] [stderr]     Checking crossbeam-queue v0.3.11
[INFO] [stderr]     Checking byteorder v1.5.0
[INFO] [stderr]    Compiling ident_case v1.0.1
[INFO] [stderr]    Compiling fnv v1.0.7
[INFO] [stderr]     Checking zerocopy v0.7.35
[INFO] [stderr]     Checking roaring v0.10.6
[INFO] [stderr]     Checking pg_parser v0.1.0 (/opt/rustwide/workdir/pg_parser)
[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]    Compiling darling_core v0.20.10
[INFO] [stderr]     Checking dynqueue v0.3.0
[INFO] [stderr]    Compiling vte_generate_state_changes v0.1.2
[INFO] [stderr]     Checking itertools v0.13.0
[INFO] [stderr]     Checking half v2.4.1
[INFO] [stderr]     Checking fixedbitset v0.5.7 (https://github.com/Hirtol/fixedbitset#970b167f)
[INFO] [stderr]    Compiling portable-atomic v1.9.0
[INFO] [stderr]     Checking plotters-backend v0.3.7
[INFO] [stderr]     Checking ecow v0.2.3
[INFO] [stderr]     Checking ciborium-io v0.2.2
[INFO] [stderr]     Checking unicode-width v0.1.14
[INFO] [stderr]     Checking arrayvec v0.7.6
[INFO] [stderr]     Checking ciborium-ll v0.2.2
[INFO] [stderr]     Checking plotters-svg v0.3.7
[INFO] [stderr]     Checking vte v0.11.1
[INFO] [stderr]     Checking adler2 v2.0.0
[INFO] [stderr]     Checking cast v0.3.0
[INFO] [stderr]     Checking gimli v0.31.1
[INFO] [stderr]     Checking same-file v1.0.6
[INFO] [stderr]     Checking walkdir v2.5.0
[INFO] [stderr]     Checking plotters v0.3.7
[INFO] [stderr]     Checking vt100 v0.15.2
[INFO] [stderr]     Checking criterion-plot v0.5.0
[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 regex-lite v0.1.6
[INFO] [stderr]     Checking anes v0.1.6
[INFO] [stderr]     Checking number_prefix v0.4.0
[INFO] [stderr]    Compiling bzip2-sys v0.1.11+1.0.8
[INFO] [stderr]     Checking condtype v1.3.0
[INFO] [stderr]     Checking oorandom v11.1.4
[INFO] [stderr]     Checking rustc-demangle v0.1.24
[INFO] [stderr]     Checking indicatif v0.17.8
[INFO] [stderr]     Checking csv-core v0.1.11
[INFO] [stderr]     Checking mintex v0.1.3
[INFO] [stderr]     Checking thousands v0.2.0
[INFO] [stderr]     Checking sysinfo v0.33.0
[INFO] [stderr]     Checking peak_alloc v0.2.1
[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 addr2line v0.24.2
[INFO] [stderr]     Checking backtrace v0.3.74
[INFO] [stderr]     Checking bzip2 v0.4.4
[INFO] [stderr]    Compiling serde_derive v1.0.214
[INFO] [stderr]    Compiling tracing-attributes v0.1.27
[INFO] [stderr]    Compiling oxidd-derive v0.7.0 (https://github.com/Hirtol/oxidd#62dfa919)
[INFO] [stderr]    Compiling clap_derive v4.5.18
[INFO] [stderr]    Compiling windows-implement v0.58.0
[INFO] [stderr]    Compiling windows-interface v0.58.0
[INFO] [stderr]    Compiling soa-rs-derive v0.7.0
[INFO] [stderr]    Compiling tracing-test-macro v0.2.5
[INFO] [stderr]    Compiling bitcode_derive v0.6.3
[INFO] [stderr]    Compiling profiling-procmacros v1.0.16
[INFO] [stderr]     Checking oxidd-rules-bdd v0.7.0 (https://github.com/Hirtol/oxidd#62dfa919)
[INFO] [stderr]     Checking windows-core v0.58.0
[INFO] [stderr]     Checking oxidd-rules-mtbdd v0.2.0 (https://github.com/Hirtol/oxidd#62dfa919)
[INFO] [stderr]     Checking oxidd-rules-zbdd v0.7.0 (https://github.com/Hirtol/oxidd#62dfa919)
[INFO] [stderr]    Compiling thiserror-impl v1.0.65
[INFO] [stderr]     Checking oxidd v0.7.0 (https://github.com/Hirtol/oxidd#62dfa919)
[INFO] [stderr]     Checking profiling v1.0.16
[INFO] [stderr]     Checking windows v0.58.0
[INFO] [stderr]    Compiling aquamarine v0.5.0
[INFO] [stderr]    Compiling darling_macro v0.20.10
[INFO] [stderr]    Compiling divan-macros v0.1.14
[INFO] [stderr]     Checking tracing v0.1.40
[INFO] [stderr]     Checking tracing-subscriber v0.3.18
[INFO] [stderr]     Checking tracing-test v0.2.5
[INFO] [stderr]     Checking tracing-indicatif v0.3.6
[INFO] [stderr]    Compiling darling v0.20.10
[INFO] [stderr]    Compiling serde_with_macros v3.11.0
[INFO] [stderr]     Checking clap v4.5.20
[INFO] [stderr]     Checking divan v0.1.14
[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 csv v1.3.0
[INFO] [stderr]     Checking serde_with v3.11.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] [stderr] 
[INFO] [stderr] thread 'rustc' (2525) panicked at /rustc-dev/66388cc165a6c4ac98c074dc9f0281ff23528c55/compiler/rustc_ast/src/attr/mod.rs:302:36:
[INFO] [stderr] attribute is missing tokens: Attribute { kind: Normal(NormalAttr { item: AttrItem { unsafety: Default, path: Path { span: pg_graph/src/explicit/solvers/tangle_learning.rs:680:5: 680:12 (#719), segments: [PathSegment { ident: <test_trace>#719, id: NodeId(4294967040), args: None }], tokens: None }, args: Unparsed(Empty), tokens: None }, tokens: None }), id: AttrId(1097), style: Outer, span: pg_graph/src/explicit/solvers/tangle_learning.rs:680:5: 680:12 (#719) }
[INFO] [stderr] stack backtrace:
[INFO] [stderr]    0:     0x7a804c82bfa3 - <<std[7d609349af90bec6]::sys::backtrace::BacktraceLock>::print::DisplayBacktrace as core[75ca2badb63c4514]::fmt::Display>::fmt
[INFO] [stderr]    1:     0x7a804ce0fb48 - core[75ca2badb63c4514]::fmt::write
[INFO] [stderr]    2:     0x7a804c842226 - <std[7d609349af90bec6]::sys::stdio::unix::Stderr as std[7d609349af90bec6]::io::Write>::write_fmt
[INFO] [stderr]    3:     0x7a804c801b98 - std[7d609349af90bec6]::panicking::default_hook::{closure#0}
[INFO] [stderr]    4:     0x7a804c81f833 - std[7d609349af90bec6]::panicking::default_hook
[INFO] [stderr]    5:     0x7a804b80236a - std[7d609349af90bec6]::panicking::update_hook::<alloc[d7482eb0f1d19161]::boxed::Box<rustc_driver_impl[3f9d6dd912ac34bd]::install_ice_hook::{closure#1}>>::{closure#0}
[INFO] [stderr]    6:     0x7a804c81fb12 - std[7d609349af90bec6]::panicking::panic_with_hook
[INFO] [stderr]    7:     0x7a804c801c58 - std[7d609349af90bec6]::panicking::panic_handler::{closure#0}
[INFO] [stderr]    8:     0x7a804c7f89a9 - std[7d609349af90bec6]::sys::backtrace::__rust_end_short_backtrace::<std[7d609349af90bec6]::panicking::panic_handler::{closure#0}, !>
[INFO] [stderr]    9:     0x7a804c80372d - __rustc[69841a6cbc58d81d]::rust_begin_unwind
[INFO] [stderr]   10:     0x7a8049438f9c - core[75ca2badb63c4514]::panicking::panic_fmt
[INFO] [stderr]   11:     0x7a804dbe0110 - <rustc_ast[333fca09df5738a4]::ast::Attribute>::token_trees
[INFO] [stderr]   12:     0x7a804e41c314 - <rustc_expand[a01ffc1bf52c2613]::expand::MacroExpander>::fully_expand_fragment
[INFO] [stderr]   13:     0x7a804e3e65d2 - <rustc_expand[a01ffc1bf52c2613]::expand::MacroExpander>::expand_crate
[INFO] [stderr]   14:     0x7a804d4f0af3 - rustc_interface[903e43df8d6bd657]::passes::configure_and_expand
[INFO] [stderr]   15:     0x7a804e007658 - rustc_interface[903e43df8d6bd657]::passes::resolver_for_lowering_raw
[INFO] [stderr]   16:     0x7a804e0073cd - rustc_query_impl[8c5349e00d64015e]::plumbing::__rust_begin_short_backtrace::<rustc_query_impl[8c5349e00d64015e]::query_impl::resolver_for_lowering_raw::dynamic_query::{closure#2}::{closure#0}, rustc_middle[2342951a64deba5]::query::erase::Erased<[u8; 16usize]>>
[INFO] [stderr]   17:     0x7a804e0073a7 - <rustc_query_impl[8c5349e00d64015e]::query_impl::resolver_for_lowering_raw::dynamic_query::{closure#2} as core[75ca2badb63c4514]::ops::function::FnOnce<(rustc_middle[2342951a64deba5]::ty::context::TyCtxt, ())>>::call_once
[INFO] [stderr]   18:     0x7a804dfecb5f - rustc_query_system[d45be4fb383a0235]::query::plumbing::try_execute_query::<rustc_query_impl[8c5349e00d64015e]::DynamicConfig<rustc_query_system[d45be4fb383a0235]::query::caches::SingleCache<rustc_middle[2342951a64deba5]::query::erase::Erased<[u8; 16usize]>>, false, false, false>, rustc_query_impl[8c5349e00d64015e]::plumbing::QueryCtxt, false>
[INFO] [stderr]   19:     0x7a804dfec6bc - rustc_query_impl[8c5349e00d64015e]::query_impl::resolver_for_lowering_raw::get_query_non_incr::__rust_end_short_backtrace
[INFO] [stderr]   20:     0x7a804e17127b - <rustc_interface[903e43df8d6bd657]::passes::create_and_enter_global_ctxt<core[75ca2badb63c4514]::option::Option<rustc_interface[903e43df8d6bd657]::queries::Linker>, rustc_driver_impl[3f9d6dd912ac34bd]::run_compiler::{closure#0}::{closure#2}>::{closure#2} as core[75ca2badb63c4514]::ops::function::FnOnce<(&rustc_session[1e6875ba352dc1ba]::session::Session, rustc_middle[2342951a64deba5]::ty::context::CurrentGcx, alloc[d7482eb0f1d19161]::sync::Arc<rustc_data_structures[c82a87ce5cdbfc92]::jobserver::Proxy>, &std[7d609349af90bec6]::sync::once_lock::OnceLock<rustc_middle[2342951a64deba5]::ty::context::GlobalCtxt>, &rustc_data_structures[c82a87ce5cdbfc92]::sync::worker_local::WorkerLocal<rustc_middle[2342951a64deba5]::arena::Arena>, &rustc_data_structures[c82a87ce5cdbfc92]::sync::worker_local::WorkerLocal<rustc_hir[cc727ec2ba6ebdb5]::Arena>, rustc_driver_impl[3f9d6dd912ac34bd]::run_compiler::{closure#0}::{closure#2})>>::call_once::{shim:vtable#0}
[INFO] [stderr]   21:     0x7a804e05ac98 - rustc_interface[903e43df8d6bd657]::interface::run_compiler::<(), rustc_driver_impl[3f9d6dd912ac34bd]::run_compiler::{closure#0}>::{closure#1}
[INFO] [stderr]   22:     0x7a804deeac4e - std[7d609349af90bec6]::sys::backtrace::__rust_begin_short_backtrace::<rustc_interface[903e43df8d6bd657]::util::run_in_thread_with_globals<rustc_interface[903e43df8d6bd657]::util::run_in_thread_pool_with_globals<rustc_interface[903e43df8d6bd657]::interface::run_compiler<(), rustc_driver_impl[3f9d6dd912ac34bd]::run_compiler::{closure#0}>::{closure#1}, ()>::{closure#0}, ()>::{closure#0}::{closure#0}, ()>
[INFO] [stderr]   23:     0x7a804deeaa20 - <std[7d609349af90bec6]::thread::lifecycle::spawn_unchecked<rustc_interface[903e43df8d6bd657]::util::run_in_thread_with_globals<rustc_interface[903e43df8d6bd657]::util::run_in_thread_pool_with_globals<rustc_interface[903e43df8d6bd657]::interface::run_compiler<(), rustc_driver_impl[3f9d6dd912ac34bd]::run_compiler::{closure#0}>::{closure#1}, ()>::{closure#0}, ()>::{closure#0}::{closure#0}, ()>::{closure#1} as core[75ca2badb63c4514]::ops::function::FnOnce<()>>::call_once::{shim:vtable#0}
[INFO] [stderr]   24:     0x7a804deed138 - <std[7d609349af90bec6]::sys::thread::unix::Thread>::new::thread_start
[INFO] [stderr]   25:     0x7a8047a8aaa4 - <unknown>
[INFO] [stderr]   26:     0x7a8047b17a64 - clone
[INFO] [stderr]   27:                0x0 - <unknown>
[INFO] [stderr] 
[INFO] [stderr] error: the compiler unexpectedly panicked. this is a bug.
[INFO] [stderr] 
[INFO] [stderr] note: we would appreciate a bug report: https://github.com/rust-lang/rust/issues/new?labels=C-bug%2C+I-ICE%2C+T-compiler&template=ice.md
[INFO] [stderr] 
[INFO] [stderr] note: please make sure that you have updated to the latest nightly
[INFO] [stderr] 
[INFO] [stderr] warning: the ICE couldn't be written to `/opt/rustwide/workdir/rustc-ice-2026-01-09T03_38_18-2523.txt`: Read-only file system (os error 30)
[INFO] [stderr] 
[INFO] [stderr] note: rustc 1.94.0-nightly (66388cc16 2026-01-08) running on x86_64-unknown-linux-gnu
[INFO] [stderr] 
[INFO] [stderr] note: compiler flags: -C embed-bitcode=no -C debuginfo=2
[INFO] [stderr] 
[INFO] [stderr] note: some of the compiler flags provided by cargo are hidden
[INFO] [stderr] 
[INFO] [stderr] query stack during panic:
[INFO] [stderr] #0 [resolver_for_lowering_raw] getting the resolver for lowering
[INFO] [stderr] end of query stack
[INFO] [stderr] error: could not compile `pg_graph` (lib test)
[INFO] [stderr] 
[INFO] [stderr] Caused by:
[INFO] [stderr]   process didn't exit successfully: `/opt/rustwide/rustup-home/toolchains/66388cc165a6c4ac98c074dc9f0281ff23528c55/bin/rustc --crate-name pg_graph --edition=2021 pg_graph/src/lib.rs --error-format=json --json=diagnostic-rendered-ansi,artifacts,future-incompat --emit=dep-info,metadata -C embed-bitcode=no -C debuginfo=2 --test --check-cfg 'cfg(docsrs,test)' --check-cfg 'cfg(feature, values("statistics", "verbose"))' -C metadata=d187ed184a262bdb -C extra-filename=-ec18d77182bd26c0 --out-dir /opt/rustwide/target/debug/deps -L dependency=/opt/rustwide/target/debug/deps --extern ahash=/opt/rustwide/target/debug/deps/libahash-ead7e4781ce8bd6b.rmeta --extern aquamarine=/opt/rustwide/target/debug/deps/libaquamarine-ccb9f85c54964dce.so --extern bitcode=/opt/rustwide/target/debug/deps/libbitcode-9d071e8be7a96104.rmeta --extern bzip2=/opt/rustwide/target/debug/deps/libbzip2-0391cce6ee5ca8c8.rmeta --extern criterion=/opt/rustwide/target/debug/deps/libcriterion-f6ddda36cbd204f5.rmeta --extern divan=/opt/rustwide/target/debug/deps/libdivan-5a509029e9b230e4.rmeta --extern dynqueue=/opt/rustwide/target/debug/deps/libdynqueue-1882487637934764.rmeta --extern ecow=/opt/rustwide/target/debug/deps/libecow-61dcfe3d4eec353c.rmeta --extern eyre=/opt/rustwide/target/debug/deps/libeyre-e4db9d6671e13947.rmeta --extern fixedbitset=/opt/rustwide/target/debug/deps/libfixedbitset-38c7b2bad17e474e.rmeta --extern itertools=/opt/rustwide/target/debug/deps/libitertools-9a31b61499c94678.rmeta --extern oxidd=/opt/rustwide/target/debug/deps/liboxidd-18ae892dc5ee0efe.rmeta --extern oxidd_cache=/opt/rustwide/target/debug/deps/liboxidd_cache-0001c045fb726cfb.rmeta --extern oxidd_core=/opt/rustwide/target/debug/deps/liboxidd_core-ca3737584f2558e7.rmeta --extern oxidd_dump=/opt/rustwide/target/debug/deps/liboxidd_dump-2a43aeca3f5aec72.rmeta --extern oxidd_reorder=/opt/rustwide/target/debug/deps/liboxidd_reorder-bd44e373b92359b1.rmeta --extern oxidd_rules_bdd=/opt/rustwide/target/debug/deps/liboxidd_rules_bdd-6b79b5dfe071e0a5.rmeta --extern oxidd_rules_zbdd=/opt/rustwide/target/debug/deps/liboxidd_rules_zbdd-b21368550b87bdbc.rmeta --extern pg_parser=/opt/rustwide/target/debug/deps/libpg_parser-754dc35841679dd1.rmeta --extern profiling=/opt/rustwide/target/debug/deps/libprofiling-ecf36a714bd46b8b.rmeta --extern rayon=/opt/rustwide/target/debug/deps/librayon-efeb6948b6f82985.rmeta --extern roaring=/opt/rustwide/target/debug/deps/libroaring-5e638e56e2ed8603.rmeta --extern serde=/opt/rustwide/target/debug/deps/libserde-ca508e0a8af3d990.rmeta --extern soa_rs=/opt/rustwide/target/debug/deps/libsoa_rs-4dcbfd61fa06d3b8.rmeta --extern thiserror=/opt/rustwide/target/debug/deps/libthiserror-1dc3603b13972d6f.rmeta --extern tracing=/opt/rustwide/target/debug/deps/libtracing-72896b58d5fceca5.rmeta --extern tracing_test=/opt/rustwide/target/debug/deps/libtracing_test-1a971c05dfce66ea.rmeta --extern windows=/opt/rustwide/target/debug/deps/libwindows-8771d035c0cde65c.rmeta --cap-lints=forbid -L native=/opt/rustwide/target/debug/build/bzip2-sys-3c5d162660e1bcae/out/lib -L native=/opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/windows_x86_64_gnu-0.52.6/lib` (exit status: 101)
[INFO] [stderr] warning: build failed, waiting for other jobs to finish...
[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 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 `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 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 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 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: `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: 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: 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: `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: `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: 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: `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: 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: 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: 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: `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: `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: 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: `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: 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: 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] running `Command { std: "docker" "inspect" "07f300aa34e4bfb3168e8e942cab852b9ad03fc89105930bd92e51d77de46c76", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "07f300aa34e4bfb3168e8e942cab852b9ad03fc89105930bd92e51d77de46c76", kill_on_drop: false }`
[INFO] [stdout] 07f300aa34e4bfb3168e8e942cab852b9ad03fc89105930bd92e51d77de46c76
