[INFO] fetching crate sat-solver 0.2.1...
[INFO] testing sat-solver-0.2.1 against 1.99.0-beta.8+cargoflags=--release for beta-release-1.100-2
[INFO] extracting crate sat-solver 0.2.1 into /workspace/builds/worker-1-tc1/source
[INFO] started tweaking crates.io crate sat-solver 0.2.1
[INFO] finished tweaking crates.io crate sat-solver 0.2.1
[INFO] tweaked toml for crates.io crate sat-solver 0.2.1 written to /workspace/builds/worker-1-tc1/source/Cargo.toml
[INFO] validating manifest of crates.io crate sat-solver 0.2.1 on toolchain 1.99.0-beta.8
[INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+1.99.0-beta.8" "metadata" "--manifest-path" "Cargo.toml" "--no-deps", kill_on_drop: false }`
[INFO] crate crates.io crate sat-solver 0.2.1 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" "+1.99.0-beta.8" "fetch" "--manifest-path" "Cargo.toml", kill_on_drop: false }`
[INFO] [stderr]     Updating crates.io index
[INFO] [stderr]  Downloading crates ...
[INFO] [stderr]   Downloaded tikv-jemalloc-ctl v0.6.0
[INFO] [stderr]   Downloaded tikv-jemallocator v0.6.0
[INFO] [stderr]   Downloaded anstyle-wincon v3.0.9
[INFO] [stderr]   Downloaded criterion v0.6.0
[INFO] [stderr]   Downloaded anstyle-query v1.1.3
[INFO] [stderr]   Downloaded anstream v0.6.19
[INFO] [stderr]   Downloaded clap_derive v4.5.40
[INFO] [stderr]   Downloaded clap v4.5.40
[INFO] [stderr]   Downloaded clap_complete v4.5.54
[INFO] [stderr]   Downloaded cc v1.2.26
[INFO] [stderr]   Downloaded bumpalo v3.18.1
[INFO] [stderr]   Downloaded clap_builder v4.5.40
[INFO] [stderr]   Downloaded syn v2.0.102
[INFO] [stderr]   Downloaded tikv-jemalloc-sys v0.6.0+5.3.0-1-ge13ca993e8ccb9ba9847cc330696e02839f328f7
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-1-tc1/source:/opt/rustwide/workdir:ro,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-1-tc1/target:/opt/rustwide/target:rw,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" "-m" "1610612736" "--network" "none" "ghcr.io/rust-lang/crates-build-env/linux@sha256:77db811e55d90add9212f6832c23229e3de5f1c1f9905e8cb07319ea15df73ac" "sleep" "infinity", kill_on_drop: false }`
[INFO] [stdout] 7ab9e55c7793957329772ded23aa4f1b9c1f836d9cea1c01626ca11f8a1d2df2
[INFO] running `Command { std: "docker" "start" "7ab9e55c7793957329772ded23aa4f1b9c1f836d9cea1c01626ca11f8a1d2df2", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "inspect" "7ab9e55c7793957329772ded23aa4f1b9c1f836d9cea1c01626ca11f8a1d2df2", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "exec" "-e" "SOURCE_DIR=/opt/rustwide/workdir" "-e" "CARGO_HOME=/opt/rustwide/cargo-home" "-e" "RUSTUP_HOME=/opt/rustwide/rustup-home" "-e" "CARGO_TARGET_DIR=/opt/rustwide/target" "-w" "/opt/rustwide/workdir" "--user" "0:0" "7ab9e55c7793957329772ded23aa4f1b9c1f836d9cea1c01626ca11f8a1d2df2" "/opt/rustwide/cargo-home/bin/cargo" "+1.99.0-beta.8" "metadata" "--no-deps" "--format-version=1", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "inspect" "7ab9e55c7793957329772ded23aa4f1b9c1f836d9cea1c01626ca11f8a1d2df2", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "exec" "-e" "SOURCE_DIR=/opt/rustwide/workdir" "-e" "CARGO_HOME=/opt/rustwide/cargo-home" "-e" "RUSTUP_HOME=/opt/rustwide/rustup-home" "-e" "CARGO_TARGET_DIR=/opt/rustwide/target" "-e" "CARGO_INCREMENTAL=0" "-e" "RUST_BACKTRACE=full" "-e" "RUSTFLAGS=--cap-lints=warn" "-e" "RUSTDOCFLAGS=--cap-lints=warn" "-w" "/opt/rustwide/workdir" "--user" "0:0" "7ab9e55c7793957329772ded23aa4f1b9c1f836d9cea1c01626ca11f8a1d2df2" "/opt/rustwide/cargo-home/bin/cargo" "+1.99.0-beta.8" "build" "--frozen" "--message-format=json" "--release", kill_on_drop: false }`
[INFO] [stderr]    Compiling proc-macro2 v1.0.95
[INFO] [stderr]    Compiling shlex v1.3.0
[INFO] [stderr]    Compiling unicode-ident v1.0.18
[INFO] [stderr]    Compiling utf8parse v0.2.2
[INFO] [stderr]    Compiling libc v0.2.172
[INFO] [stderr]    Compiling is_terminal_polyfill v1.70.1
[INFO] [stderr]    Compiling colorchoice v1.0.4
[INFO] [stderr]    Compiling anstyle-query v1.1.3
[INFO] [stderr]    Compiling anstyle v1.0.11
[INFO] [stderr]    Compiling autocfg v1.4.0
[INFO] [stderr]    Compiling clap_lex v0.7.5
[INFO] [stderr]    Compiling paste v1.0.15
[INFO] [stderr]    Compiling heck v0.5.0
[INFO] [stderr]    Compiling strsim v0.11.1
[INFO] [stderr]    Compiling either v1.15.0
[INFO] [stderr]    Compiling same-file v1.0.6
[INFO] [stderr]    Compiling walkdir v2.5.0
[INFO] [stderr]    Compiling anstyle-parse v0.2.7
[INFO] [stderr]    Compiling rustc-hash v2.1.1
[INFO] [stderr]    Compiling fastrand v2.3.0
[INFO] [stderr]    Compiling bit-vec v0.8.0
[INFO] [stderr]    Compiling smallvec v1.15.1
[INFO] [stderr]    Compiling itertools v0.14.0
[INFO] [stderr]    Compiling cc v1.2.26
[INFO] [stderr]    Compiling anstream v0.6.19
[INFO] [stderr]    Compiling num-traits v0.2.19
[INFO] [stderr]    Compiling clap_builder v4.5.40
[INFO] [stderr]    Compiling quote v1.0.40
[INFO] [stderr]    Compiling syn v2.0.102
[INFO] [stderr]    Compiling ordered-float v5.0.0
[INFO] [stderr]    Compiling tikv-jemalloc-sys v0.6.0+5.3.0-1-ge13ca993e8ccb9ba9847cc330696e02839f328f7
[INFO] [stderr]    Compiling clap_derive v4.5.40
[INFO] [stderr]    Compiling clap v4.5.40
[INFO] [stderr]    Compiling clap_complete v4.5.54
[INFO] [stderr]    Compiling tikv-jemalloc-ctl v0.6.0
[INFO] [stderr]    Compiling tikv-jemallocator v0.6.0
[INFO] [stderr]    Compiling sat-solver v0.2.1 (/opt/rustwide/workdir)
[INFO] [stdout] warning: value assigned to `num_rows` is never read
[INFO] [stdout]    --> src/nonogram/solver.rs:427:39
[INFO] [stdout]     |
[INFO] [stdout] 427 |     let mut num_rows: Option<usize> = None;
[INFO] [stdout]     |                                       ^^^^ this value is reassigned later and never used
[INFO] [stdout] ...
[INFO] [stdout] 432 |             num_rows = line.split_whitespace().nth(1).and_then(|s| s.parse().ok());
[INFO] [stdout]     |             ---------------------------------------------------------------------- `num_rows` is overwritten here before the previous value is read
[INFO] [stdout]     |
[INFO] [stdout]     = note: `#[warn(unused_assignments)]` (part of `#[warn(unused)]`) on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: value assigned to `num_cols` is never read
[INFO] [stdout]    --> src/nonogram/solver.rs:428:39
[INFO] [stdout]     |
[INFO] [stdout] 428 |     let mut num_cols: Option<usize> = None;
[INFO] [stdout]     |                                       ^^^^ this value is reassigned later and never used
[INFO] [stdout] ...
[INFO] [stdout] 442 |             num_cols = line.split_whitespace().nth(1).and_then(|s| s.parse().ok());
[INFO] [stdout]     |             ---------------------------------------------------------------------- `num_cols` is overwritten here before the previous value is read
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable `num_conflicts` is assigned to, but never used
[INFO] [stdout]    --> src/ports/kosat.rs:438:13
[INFO] [stdout]     |
[INFO] [stdout] 438 |         let mut num_conflicts = 0;
[INFO] [stdout]     |             ^^^^^^^^^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout]     = note: consider using `_num_conflicts` instead
[INFO] [stdout]     = note: `#[warn(unused_variables)]` (part of `#[warn(unused)]`) on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable `num_decisions` is assigned to, but never used
[INFO] [stdout]    --> src/ports/kosat.rs:439:13
[INFO] [stdout]     |
[INFO] [stdout] 439 |         let mut num_decisions = 0;
[INFO] [stdout]     |             ^^^^^^^^^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout]     = note: consider using `_num_decisions` instead
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: value assigned to `num_conflicts` is never read
[INFO] [stdout]    --> src/ports/kosat.rs:455:21
[INFO] [stdout]     |
[INFO] [stdout] 455 |                     num_conflicts += 1;
[INFO] [stdout]     |                     ^^^^^^^^^^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout]     = help: maybe it is overwritten before being read?
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: value assigned to `num_decisions` is never read
[INFO] [stdout]    --> src/ports/kosat.rs:498:21
[INFO] [stdout]     |
[INFO] [stdout] 498 |                     num_decisions += 1;
[INFO] [stdout]     |                     ^^^^^^^^^^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout]     = help: maybe it is overwritten before being read?
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: hiding a lifetime that's elided elsewhere is confusing
[INFO] [stdout]   --> src/sat/clause_storage.rs:68:13
[INFO] [stdout]    |
[INFO] [stdout] 68 |     fn iter(&self) -> Iter<L>;
[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]    = note: `#[warn(mismatched_lifetime_syntaxes)]` on by default
[INFO] [stdout] help: use `'_` for type paths
[INFO] [stdout]    |
[INFO] [stdout] 68 |     fn iter(&self) -> Iter<'_, L>;
[INFO] [stdout]    |                            +++
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: hiding a lifetime that's elided elsewhere is confusing
[INFO] [stdout]   --> src/sat/clause_storage.rs:71:17
[INFO] [stdout]    |
[INFO] [stdout] 71 |     fn iter_mut(&mut self) -> IterMut<L>;
[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] 71 |     fn iter_mut(&mut self) -> IterMut<'_, L>;
[INFO] [stdout]    |                                       +++
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: hiding a lifetime that's elided elsewhere is confusing
[INFO] [stdout]    --> src/sat/clause_storage.rs:157:13
[INFO] [stdout]     |
[INFO] [stdout] 157 |     fn iter(&self) -> Iter<L> {
[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] 157 |     fn iter(&self) -> Iter<'_, L> {
[INFO] [stdout]     |                            +++
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: hiding a lifetime that's elided elsewhere is confusing
[INFO] [stdout]    --> src/sat/clause_storage.rs:161:17
[INFO] [stdout]     |
[INFO] [stdout] 161 |     fn iter_mut(&mut self) -> IterMut<L> {
[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] 161 |     fn iter_mut(&mut self) -> IterMut<'_, L> {
[INFO] [stdout]     |                                       +++
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: hiding a lifetime that's elided elsewhere is confusing
[INFO] [stdout]    --> src/sat/clause_storage.rs:213:13
[INFO] [stdout]     |
[INFO] [stdout] 213 |     fn iter(&self) -> Iter<L> {
[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] 213 |     fn iter(&self) -> Iter<'_, L> {
[INFO] [stdout]     |                            +++
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: hiding a lifetime that's elided elsewhere is confusing
[INFO] [stdout]    --> src/sat/clause_storage.rs:217:17
[INFO] [stdout]     |
[INFO] [stdout] 217 |     fn iter_mut(&mut self) -> IterMut<L> {
[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] 217 |     fn iter_mut(&mut self) -> IterMut<'_, L> {
[INFO] [stdout]     |                                       +++
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: hiding a lifetime that's elided elsewhere is confusing
[INFO] [stdout]    --> src/sat/clause_storage.rs:369:13
[INFO] [stdout]     |
[INFO] [stdout] 369 |     fn iter(&self) -> Iter<L> {
[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] 369 |     fn iter(&self) -> Iter<'_, L> {
[INFO] [stdout]     |                            +++
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: hiding a lifetime that's elided elsewhere is confusing
[INFO] [stdout]    --> src/sat/clause_storage.rs:376:17
[INFO] [stdout]     |
[INFO] [stdout] 376 |     fn iter_mut(&mut self) -> IterMut<L> {
[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] 376 |     fn iter_mut(&mut self) -> IterMut<'_, L> {
[INFO] [stdout]     |                                       +++
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: value assigned to `num_rows` is never read
[INFO] [stdout]    --> src/nonogram/solver.rs:427:39
[INFO] [stdout]     |
[INFO] [stdout] 427 |     let mut num_rows: Option<usize> = None;
[INFO] [stdout]     |                                       ^^^^ this value is reassigned later and never used
[INFO] [stdout] ...
[INFO] [stdout] 432 |             num_rows = line.split_whitespace().nth(1).and_then(|s| s.parse().ok());
[INFO] [stdout]     |             ---------------------------------------------------------------------- `num_rows` is overwritten here before the previous value is read
[INFO] [stdout]     |
[INFO] [stdout]     = note: `#[warn(unused_assignments)]` (part of `#[warn(unused)]`) on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: value assigned to `num_cols` is never read
[INFO] [stdout]    --> src/nonogram/solver.rs:428:39
[INFO] [stdout]     |
[INFO] [stdout] 428 |     let mut num_cols: Option<usize> = None;
[INFO] [stdout]     |                                       ^^^^ this value is reassigned later and never used
[INFO] [stdout] ...
[INFO] [stdout] 442 |             num_cols = line.split_whitespace().nth(1).and_then(|s| s.parse().ok());
[INFO] [stdout]     |             ---------------------------------------------------------------------- `num_cols` is overwritten here before the previous value is read
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: hiding a lifetime that's elided elsewhere is confusing
[INFO] [stdout]   --> src/sat/clause_storage.rs:68:13
[INFO] [stdout]    |
[INFO] [stdout] 68 |     fn iter(&self) -> Iter<L>;
[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]    = note: `#[warn(mismatched_lifetime_syntaxes)]` on by default
[INFO] [stdout] help: use `'_` for type paths
[INFO] [stdout]    |
[INFO] [stdout] 68 |     fn iter(&self) -> Iter<'_, L>;
[INFO] [stdout]    |                            +++
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: hiding a lifetime that's elided elsewhere is confusing
[INFO] [stdout]   --> src/sat/clause_storage.rs:71:17
[INFO] [stdout]    |
[INFO] [stdout] 71 |     fn iter_mut(&mut self) -> IterMut<L>;
[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] 71 |     fn iter_mut(&mut self) -> IterMut<'_, L>;
[INFO] [stdout]    |                                       +++
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: hiding a lifetime that's elided elsewhere is confusing
[INFO] [stdout]    --> src/sat/clause_storage.rs:157:13
[INFO] [stdout]     |
[INFO] [stdout] 157 |     fn iter(&self) -> Iter<L> {
[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] 157 |     fn iter(&self) -> Iter<'_, L> {
[INFO] [stdout]     |                            +++
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: hiding a lifetime that's elided elsewhere is confusing
[INFO] [stdout]    --> src/sat/clause_storage.rs:161:17
[INFO] [stdout]     |
[INFO] [stdout] 161 |     fn iter_mut(&mut self) -> IterMut<L> {
[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] 161 |     fn iter_mut(&mut self) -> IterMut<'_, L> {
[INFO] [stdout]     |                                       +++
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: hiding a lifetime that's elided elsewhere is confusing
[INFO] [stdout]    --> src/sat/clause_storage.rs:213:13
[INFO] [stdout]     |
[INFO] [stdout] 213 |     fn iter(&self) -> Iter<L> {
[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] 213 |     fn iter(&self) -> Iter<'_, L> {
[INFO] [stdout]     |                            +++
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: hiding a lifetime that's elided elsewhere is confusing
[INFO] [stdout]    --> src/sat/clause_storage.rs:217:17
[INFO] [stdout]     |
[INFO] [stdout] 217 |     fn iter_mut(&mut self) -> IterMut<L> {
[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] 217 |     fn iter_mut(&mut self) -> IterMut<'_, L> {
[INFO] [stdout]     |                                       +++
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: hiding a lifetime that's elided elsewhere is confusing
[INFO] [stdout]    --> src/sat/clause_storage.rs:369:13
[INFO] [stdout]     |
[INFO] [stdout] 369 |     fn iter(&self) -> Iter<L> {
[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] 369 |     fn iter(&self) -> Iter<'_, L> {
[INFO] [stdout]     |                            +++
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: hiding a lifetime that's elided elsewhere is confusing
[INFO] [stdout]    --> src/sat/clause_storage.rs:376:17
[INFO] [stdout]     |
[INFO] [stdout] 376 |     fn iter_mut(&mut self) -> IterMut<L> {
[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] 376 |     fn iter_mut(&mut self) -> IterMut<'_, L> {
[INFO] [stdout]     |                                       +++
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stderr]     Finished `release` profile [optimized] target(s) in 2m 01s
[INFO] running `Command { std: "docker" "inspect" "7ab9e55c7793957329772ded23aa4f1b9c1f836d9cea1c01626ca11f8a1d2df2", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "exec" "-e" "SOURCE_DIR=/opt/rustwide/workdir" "-e" "CARGO_HOME=/opt/rustwide/cargo-home" "-e" "RUSTUP_HOME=/opt/rustwide/rustup-home" "-e" "CARGO_TARGET_DIR=/opt/rustwide/target" "-e" "CARGO_INCREMENTAL=0" "-e" "RUST_BACKTRACE=full" "-e" "RUSTFLAGS=--cap-lints=warn" "-e" "RUSTDOCFLAGS=--cap-lints=warn" "-w" "/opt/rustwide/workdir" "--user" "0:0" "7ab9e55c7793957329772ded23aa4f1b9c1f836d9cea1c01626ca11f8a1d2df2" "/opt/rustwide/cargo-home/bin/cargo" "+1.99.0-beta.8" "test" "--frozen" "--no-run" "--message-format=json" "--release", kill_on_drop: false }`
[INFO] [stderr]    Compiling utf8parse v0.2.2
[INFO] [stderr]    Compiling crossbeam-utils v0.8.21
[INFO] [stderr]    Compiling either v1.15.0
[INFO] [stderr]    Compiling num-traits v0.2.19
[INFO] [stderr]    Compiling is_terminal_polyfill v1.70.1
[INFO] [stderr]    Compiling colorchoice v1.0.4
[INFO] [stderr]    Compiling anstyle-query v1.1.3
[INFO] [stderr]    Compiling anstyle v1.0.11
[INFO] [stderr]    Compiling serde v1.0.219
[INFO] [stderr]    Compiling serde_derive v1.0.219
[INFO] [stderr]    Compiling strsim v0.11.1
[INFO] [stderr]    Compiling clap_lex v0.7.5
[INFO] [stderr]    Compiling cfg-if v1.0.1
[INFO] [stderr]    Compiling libc v0.2.172
[INFO] [stderr]    Compiling serde_json v1.0.140
[INFO] [stderr]    Compiling rayon-core v1.12.1
[INFO] [stderr]    Compiling half v2.6.0
[INFO] [stderr]    Compiling memchr v2.7.5
[INFO] [stderr]    Compiling ciborium-io v0.2.2
[INFO] [stderr]    Compiling anstyle-parse v0.2.7
[INFO] [stderr]    Compiling plotters-backend v0.3.7
[INFO] [stderr]    Compiling same-file v1.0.6
[INFO] [stderr]    Compiling itoa v1.0.15
[INFO] [stderr]    Compiling ryu v1.0.20
[INFO] [stderr]    Compiling regex-syntax v0.8.5
[INFO] [stderr]    Compiling itertools v0.10.5
[INFO] [stderr]    Compiling cast v0.3.0
[INFO] [stderr]    Compiling ciborium-ll v0.2.2
[INFO] [stderr]    Compiling anstream v0.6.19
[INFO] [stderr]    Compiling walkdir v2.5.0
[INFO] [stderr]    Compiling itertools v0.14.0
[INFO] [stderr]    Compiling itertools v0.13.0
[INFO] [stderr]    Compiling oorandom v11.1.5
[INFO] [stderr]    Compiling plotters-svg v0.3.7
[INFO] [stderr]    Compiling smallvec v1.15.1
[INFO] [stderr]    Compiling tikv-jemalloc-sys v0.6.0+5.3.0-1-ge13ca993e8ccb9ba9847cc330696e02839f328f7
[INFO] [stderr]    Compiling bit-vec v0.8.0
[INFO] [stderr]    Compiling tikv-jemallocator v0.6.0
[INFO] [stderr]    Compiling tikv-jemalloc-ctl v0.6.0
[INFO] [stderr]    Compiling fastrand v2.3.0
[INFO] [stderr]    Compiling rustc-hash v2.1.1
[INFO] [stderr]    Compiling anes v0.1.6
[INFO] [stderr]    Compiling clap_builder v4.5.40
[INFO] [stderr]    Compiling ordered-float v5.0.0
[INFO] [stderr]    Compiling plotters v0.3.7
[INFO] [stderr]    Compiling crossbeam-epoch v0.9.18
[INFO] [stderr]    Compiling crossbeam-deque v0.8.6
[INFO] [stderr]    Compiling regex-automata v0.4.9
[INFO] [stderr]    Compiling criterion-plot v0.5.0
[INFO] [stderr]    Compiling rayon v1.10.0
[INFO] [stderr]    Compiling clap v4.5.40
[INFO] [stderr]    Compiling clap_complete v4.5.54
[INFO] [stderr]    Compiling sat-solver v0.2.1 (/opt/rustwide/workdir)
[INFO] [stderr]    Compiling regex v1.11.1
[INFO] [stdout] warning: value assigned to `num_rows` is never read
[INFO] [stdout]    --> src/nonogram/solver.rs:427:39
[INFO] [stdout]     |
[INFO] [stdout] 427 |     let mut num_rows: Option<usize> = None;
[INFO] [stdout]     |                                       ^^^^ this value is reassigned later and never used
[INFO] [stdout] ...
[INFO] [stdout] 432 |             num_rows = line.split_whitespace().nth(1).and_then(|s| s.parse().ok());
[INFO] [stdout]     |             ---------------------------------------------------------------------- `num_rows` is overwritten here before the previous value is read
[INFO] [stdout]     |
[INFO] [stdout]     = note: `#[warn(unused_assignments)]` (part of `#[warn(unused)]`) on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: value assigned to `num_cols` is never read
[INFO] [stdout]    --> src/nonogram/solver.rs:428:39
[INFO] [stdout]     |
[INFO] [stdout] 428 |     let mut num_cols: Option<usize> = None;
[INFO] [stdout]     |                                       ^^^^ this value is reassigned later and never used
[INFO] [stdout] ...
[INFO] [stdout] 442 |             num_cols = line.split_whitespace().nth(1).and_then(|s| s.parse().ok());
[INFO] [stdout]     |             ---------------------------------------------------------------------- `num_cols` is overwritten here before the previous value is read
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable `num_conflicts` is assigned to, but never used
[INFO] [stdout]    --> src/ports/kosat.rs:438:13
[INFO] [stdout]     |
[INFO] [stdout] 438 |         let mut num_conflicts = 0;
[INFO] [stdout]     |             ^^^^^^^^^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout]     = note: consider using `_num_conflicts` instead
[INFO] [stdout]     = note: `#[warn(unused_variables)]` (part of `#[warn(unused)]`) on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable `num_decisions` is assigned to, but never used
[INFO] [stdout]    --> src/ports/kosat.rs:439:13
[INFO] [stdout]     |
[INFO] [stdout] 439 |         let mut num_decisions = 0;
[INFO] [stdout]     |             ^^^^^^^^^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout]     = note: consider using `_num_decisions` instead
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: value assigned to `num_conflicts` is never read
[INFO] [stdout]    --> src/ports/kosat.rs:455:21
[INFO] [stdout]     |
[INFO] [stdout] 455 |                     num_conflicts += 1;
[INFO] [stdout]     |                     ^^^^^^^^^^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout]     = help: maybe it is overwritten before being read?
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: value assigned to `num_decisions` is never read
[INFO] [stdout]    --> src/ports/kosat.rs:498:21
[INFO] [stdout]     |
[INFO] [stdout] 498 |                     num_decisions += 1;
[INFO] [stdout]     |                     ^^^^^^^^^^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout]     = help: maybe it is overwritten before being read?
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: hiding a lifetime that's elided elsewhere is confusing
[INFO] [stdout]   --> src/sat/clause_storage.rs:68:13
[INFO] [stdout]    |
[INFO] [stdout] 68 |     fn iter(&self) -> Iter<L>;
[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]    = note: `#[warn(mismatched_lifetime_syntaxes)]` on by default
[INFO] [stdout] help: use `'_` for type paths
[INFO] [stdout]    |
[INFO] [stdout] 68 |     fn iter(&self) -> Iter<'_, L>;
[INFO] [stdout]    |                            +++
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: hiding a lifetime that's elided elsewhere is confusing
[INFO] [stdout]   --> src/sat/clause_storage.rs:71:17
[INFO] [stdout]    |
[INFO] [stdout] 71 |     fn iter_mut(&mut self) -> IterMut<L>;
[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] 71 |     fn iter_mut(&mut self) -> IterMut<'_, L>;
[INFO] [stdout]    |                                       +++
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: hiding a lifetime that's elided elsewhere is confusing
[INFO] [stdout]    --> src/sat/clause_storage.rs:157:13
[INFO] [stdout]     |
[INFO] [stdout] 157 |     fn iter(&self) -> Iter<L> {
[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] 157 |     fn iter(&self) -> Iter<'_, L> {
[INFO] [stdout]     |                            +++
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: hiding a lifetime that's elided elsewhere is confusing
[INFO] [stdout]    --> src/sat/clause_storage.rs:161:17
[INFO] [stdout]     |
[INFO] [stdout] 161 |     fn iter_mut(&mut self) -> IterMut<L> {
[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] 161 |     fn iter_mut(&mut self) -> IterMut<'_, L> {
[INFO] [stdout]     |                                       +++
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: hiding a lifetime that's elided elsewhere is confusing
[INFO] [stdout]    --> src/sat/clause_storage.rs:213:13
[INFO] [stdout]     |
[INFO] [stdout] 213 |     fn iter(&self) -> Iter<L> {
[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] 213 |     fn iter(&self) -> Iter<'_, L> {
[INFO] [stdout]     |                            +++
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: hiding a lifetime that's elided elsewhere is confusing
[INFO] [stdout]    --> src/sat/clause_storage.rs:217:17
[INFO] [stdout]     |
[INFO] [stdout] 217 |     fn iter_mut(&mut self) -> IterMut<L> {
[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] 217 |     fn iter_mut(&mut self) -> IterMut<'_, L> {
[INFO] [stdout]     |                                       +++
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: hiding a lifetime that's elided elsewhere is confusing
[INFO] [stdout]    --> src/sat/clause_storage.rs:369:13
[INFO] [stdout]     |
[INFO] [stdout] 369 |     fn iter(&self) -> Iter<L> {
[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] 369 |     fn iter(&self) -> Iter<'_, L> {
[INFO] [stdout]     |                            +++
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: hiding a lifetime that's elided elsewhere is confusing
[INFO] [stdout]    --> src/sat/clause_storage.rs:376:17
[INFO] [stdout]     |
[INFO] [stdout] 376 |     fn iter_mut(&mut self) -> IterMut<L> {
[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] 376 |     fn iter_mut(&mut self) -> IterMut<'_, L> {
[INFO] [stdout]     |                                       +++
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stderr]    Compiling ciborium v0.2.2
[INFO] [stderr]    Compiling tinytemplate v1.2.1
[INFO] [stderr]    Compiling criterion v0.6.0
[INFO] [stdout] warning: value assigned to `num_rows` is never read
[INFO] [stdout]    --> src/nonogram/solver.rs:427:39
[INFO] [stdout]     |
[INFO] [stdout] 427 |     let mut num_rows: Option<usize> = None;
[INFO] [stdout]     |                                       ^^^^ this value is reassigned later and never used
[INFO] [stdout] ...
[INFO] [stdout] 432 |             num_rows = line.split_whitespace().nth(1).and_then(|s| s.parse().ok());
[INFO] [stdout]     |             ---------------------------------------------------------------------- `num_rows` is overwritten here before the previous value is read
[INFO] [stdout]     |
[INFO] [stdout]     = note: `#[warn(unused_assignments)]` (part of `#[warn(unused)]`) on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: value assigned to `num_cols` is never read
[INFO] [stdout]    --> src/nonogram/solver.rs:428:39
[INFO] [stdout]     |
[INFO] [stdout] 428 |     let mut num_cols: Option<usize> = None;
[INFO] [stdout]     |                                       ^^^^ this value is reassigned later and never used
[INFO] [stdout] ...
[INFO] [stdout] 442 |             num_cols = line.split_whitespace().nth(1).and_then(|s| s.parse().ok());
[INFO] [stdout]     |             ---------------------------------------------------------------------- `num_cols` is overwritten here before the previous value is read
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: value assigned to `num_rows` is never read
[INFO] [stdout]    --> src/nonogram/solver.rs:427:39
[INFO] [stdout]     |
[INFO] [stdout] 427 |     let mut num_rows: Option<usize> = None;
[INFO] [stdout]     |                                       ^^^^ this value is reassigned later and never used
[INFO] [stdout] ...
[INFO] [stdout] 432 |             num_rows = line.split_whitespace().nth(1).and_then(|s| s.parse().ok());
[INFO] [stdout]     |             ---------------------------------------------------------------------- `num_rows` is overwritten here before the previous value is read
[INFO] [stdout]     |
[INFO] [stdout]     = note: `#[warn(unused_assignments)]` (part of `#[warn(unused)]`) on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: value assigned to `num_cols` is never read
[INFO] [stdout]    --> src/nonogram/solver.rs:428:39
[INFO] [stdout]     |
[INFO] [stdout] 428 |     let mut num_cols: Option<usize> = None;
[INFO] [stdout]     |                                       ^^^^ this value is reassigned later and never used
[INFO] [stdout] ...
[INFO] [stdout] 442 |             num_cols = line.split_whitespace().nth(1).and_then(|s| s.parse().ok());
[INFO] [stdout]     |             ---------------------------------------------------------------------- `num_cols` is overwritten here before the previous value is read
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: hiding a lifetime that's elided elsewhere is confusing
[INFO] [stdout]   --> src/sat/clause_storage.rs:68:13
[INFO] [stdout]    |
[INFO] [stdout] 68 |     fn iter(&self) -> Iter<L>;
[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]    = note: `#[warn(mismatched_lifetime_syntaxes)]` on by default
[INFO] [stdout] help: use `'_` for type paths
[INFO] [stdout]    |
[INFO] [stdout] 68 |     fn iter(&self) -> Iter<'_, L>;
[INFO] [stdout]    |                            +++
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: hiding a lifetime that's elided elsewhere is confusing
[INFO] [stdout]   --> src/sat/clause_storage.rs:71:17
[INFO] [stdout]    |
[INFO] [stdout] 71 |     fn iter_mut(&mut self) -> IterMut<L>;
[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] 71 |     fn iter_mut(&mut self) -> IterMut<'_, L>;
[INFO] [stdout]    |                                       +++
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: hiding a lifetime that's elided elsewhere is confusing
[INFO] [stdout]    --> src/sat/clause_storage.rs:157:13
[INFO] [stdout]     |
[INFO] [stdout] 157 |     fn iter(&self) -> Iter<L> {
[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] 157 |     fn iter(&self) -> Iter<'_, L> {
[INFO] [stdout]     |                            +++
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: hiding a lifetime that's elided elsewhere is confusing
[INFO] [stdout]    --> src/sat/clause_storage.rs:161:17
[INFO] [stdout]     |
[INFO] [stdout] 161 |     fn iter_mut(&mut self) -> IterMut<L> {
[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] 161 |     fn iter_mut(&mut self) -> IterMut<'_, L> {
[INFO] [stdout]     |                                       +++
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: hiding a lifetime that's elided elsewhere is confusing
[INFO] [stdout]    --> src/sat/clause_storage.rs:213:13
[INFO] [stdout]     |
[INFO] [stdout] 213 |     fn iter(&self) -> Iter<L> {
[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] 213 |     fn iter(&self) -> Iter<'_, L> {
[INFO] [stdout]     |                            +++
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: hiding a lifetime that's elided elsewhere is confusing
[INFO] [stdout]    --> src/sat/clause_storage.rs:217:17
[INFO] [stdout]     |
[INFO] [stdout] 217 |     fn iter_mut(&mut self) -> IterMut<L> {
[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] 217 |     fn iter_mut(&mut self) -> IterMut<'_, L> {
[INFO] [stdout]     |                                       +++
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: hiding a lifetime that's elided elsewhere is confusing
[INFO] [stdout]    --> src/sat/clause_storage.rs:369:13
[INFO] [stdout]     |
[INFO] [stdout] 369 |     fn iter(&self) -> Iter<L> {
[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] 369 |     fn iter(&self) -> Iter<'_, L> {
[INFO] [stdout]     |                            +++
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: hiding a lifetime that's elided elsewhere is confusing
[INFO] [stdout]    --> src/sat/clause_storage.rs:376:17
[INFO] [stdout]     |
[INFO] [stdout] 376 |     fn iter_mut(&mut self) -> IterMut<L> {
[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] 376 |     fn iter_mut(&mut self) -> IterMut<'_, L> {
[INFO] [stdout]     |                                       +++
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable `num_conflicts` is assigned to, but never used
[INFO] [stdout]    --> src/ports/kosat.rs:438:13
[INFO] [stdout]     |
[INFO] [stdout] 438 |         let mut num_conflicts = 0;
[INFO] [stdout]     |             ^^^^^^^^^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout]     = note: consider using `_num_conflicts` instead
[INFO] [stdout]     = note: `#[warn(unused_variables)]` (part of `#[warn(unused)]`) on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable `num_decisions` is assigned to, but never used
[INFO] [stdout]    --> src/ports/kosat.rs:439:13
[INFO] [stdout]     |
[INFO] [stdout] 439 |         let mut num_decisions = 0;
[INFO] [stdout]     |             ^^^^^^^^^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout]     = note: consider using `_num_decisions` instead
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: value assigned to `num_conflicts` is never read
[INFO] [stdout]    --> src/ports/kosat.rs:455:21
[INFO] [stdout]     |
[INFO] [stdout] 455 |                     num_conflicts += 1;
[INFO] [stdout]     |                     ^^^^^^^^^^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout]     = help: maybe it is overwritten before being read?
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: value assigned to `num_decisions` is never read
[INFO] [stdout]    --> src/ports/kosat.rs:498:21
[INFO] [stdout]     |
[INFO] [stdout] 498 |                     num_decisions += 1;
[INFO] [stdout]     |                     ^^^^^^^^^^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout]     = help: maybe it is overwritten before being read?
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: hiding a lifetime that's elided elsewhere is confusing
[INFO] [stdout]   --> src/sat/clause_storage.rs:68:13
[INFO] [stdout]    |
[INFO] [stdout] 68 |     fn iter(&self) -> Iter<L>;
[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]    = note: `#[warn(mismatched_lifetime_syntaxes)]` on by default
[INFO] [stdout] help: use `'_` for type paths
[INFO] [stdout]    |
[INFO] [stdout] 68 |     fn iter(&self) -> Iter<'_, L>;
[INFO] [stdout]    |                            +++
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: hiding a lifetime that's elided elsewhere is confusing
[INFO] [stdout]   --> src/sat/clause_storage.rs:71:17
[INFO] [stdout]    |
[INFO] [stdout] 71 |     fn iter_mut(&mut self) -> IterMut<L>;
[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] 71 |     fn iter_mut(&mut self) -> IterMut<'_, L>;
[INFO] [stdout]    |                                       +++
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: hiding a lifetime that's elided elsewhere is confusing
[INFO] [stdout]    --> src/sat/clause_storage.rs:157:13
[INFO] [stdout]     |
[INFO] [stdout] 157 |     fn iter(&self) -> Iter<L> {
[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] 157 |     fn iter(&self) -> Iter<'_, L> {
[INFO] [stdout]     |                            +++
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: hiding a lifetime that's elided elsewhere is confusing
[INFO] [stdout]    --> src/sat/clause_storage.rs:161:17
[INFO] [stdout]     |
[INFO] [stdout] 161 |     fn iter_mut(&mut self) -> IterMut<L> {
[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] 161 |     fn iter_mut(&mut self) -> IterMut<'_, L> {
[INFO] [stdout]     |                                       +++
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: hiding a lifetime that's elided elsewhere is confusing
[INFO] [stdout]    --> src/sat/clause_storage.rs:213:13
[INFO] [stdout]     |
[INFO] [stdout] 213 |     fn iter(&self) -> Iter<L> {
[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] 213 |     fn iter(&self) -> Iter<'_, L> {
[INFO] [stdout]     |                            +++
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: hiding a lifetime that's elided elsewhere is confusing
[INFO] [stdout]    --> src/sat/clause_storage.rs:217:17
[INFO] [stdout]     |
[INFO] [stdout] 217 |     fn iter_mut(&mut self) -> IterMut<L> {
[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] 217 |     fn iter_mut(&mut self) -> IterMut<'_, L> {
[INFO] [stdout]     |                                       +++
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: hiding a lifetime that's elided elsewhere is confusing
[INFO] [stdout]    --> src/sat/clause_storage.rs:369:13
[INFO] [stdout]     |
[INFO] [stdout] 369 |     fn iter(&self) -> Iter<L> {
[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] 369 |     fn iter(&self) -> Iter<'_, L> {
[INFO] [stdout]     |                            +++
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: hiding a lifetime that's elided elsewhere is confusing
[INFO] [stdout]    --> src/sat/clause_storage.rs:376:17
[INFO] [stdout]     |
[INFO] [stdout] 376 |     fn iter_mut(&mut self) -> IterMut<L> {
[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] 376 |     fn iter_mut(&mut self) -> IterMut<'_, L> {
[INFO] [stdout]     |                                       +++
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stderr]     Finished `release` profile [optimized] target(s) in 1m 03s
[INFO] running `Command { std: "docker" "inspect" "7ab9e55c7793957329772ded23aa4f1b9c1f836d9cea1c01626ca11f8a1d2df2", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "exec" "-e" "SOURCE_DIR=/opt/rustwide/workdir" "-e" "CARGO_HOME=/opt/rustwide/cargo-home" "-e" "RUSTUP_HOME=/opt/rustwide/rustup-home" "-e" "CARGO_TARGET_DIR=/opt/rustwide/target" "-e" "CARGO_INCREMENTAL=0" "-e" "RUST_BACKTRACE=full" "-e" "RUSTFLAGS=--cap-lints=warn" "-e" "RUSTDOCFLAGS=--cap-lints=warn" "-w" "/opt/rustwide/workdir" "--user" "0:0" "7ab9e55c7793957329772ded23aa4f1b9c1f836d9cea1c01626ca11f8a1d2df2" "/opt/rustwide/cargo-home/bin/cargo" "+1.99.0-beta.8" "test" "--frozen" "--release", kill_on_drop: false }`
[INFO] [stderr] warning: value assigned to `num_rows` is never read
[INFO] [stderr]    --> src/nonogram/solver.rs:427:39
[INFO] [stderr]     |
[INFO] [stderr] 427 |     let mut num_rows: Option<usize> = None;
[INFO] [stderr]     |                                       ^^^^ this value is reassigned later and never used
[INFO] [stderr] ...
[INFO] [stderr] 432 |             num_rows = line.split_whitespace().nth(1).and_then(|s| s.parse().ok());
[INFO] [stderr]     |             ---------------------------------------------------------------------- `num_rows` is overwritten here before the previous value is read
[INFO] [stderr]     |
[INFO] [stderr]     = note: `#[warn(unused_assignments)]` (part of `#[warn(unused)]`) on by default
[INFO] [stderr] 
[INFO] [stderr] warning: value assigned to `num_cols` is never read
[INFO] [stderr]    --> src/nonogram/solver.rs:428:39
[INFO] [stderr]     |
[INFO] [stderr] 428 |     let mut num_cols: Option<usize> = None;
[INFO] [stderr]     |                                       ^^^^ this value is reassigned later and never used
[INFO] [stderr] ...
[INFO] [stderr] 442 |             num_cols = line.split_whitespace().nth(1).and_then(|s| s.parse().ok());
[INFO] [stderr]     |             ---------------------------------------------------------------------- `num_cols` is overwritten here before the previous value is read
[INFO] [stderr] 
[INFO] [stderr] warning: variable `num_conflicts` is assigned to, but never used
[INFO] [stderr]    --> src/ports/kosat.rs:438:13
[INFO] [stderr]     |
[INFO] [stderr] 438 |         let mut num_conflicts = 0;
[INFO] [stderr]     |             ^^^^^^^^^^^^^^^^^
[INFO] [stderr]     |
[INFO] [stderr]     = note: consider using `_num_conflicts` instead
[INFO] [stderr]     = note: `#[warn(unused_variables)]` (part of `#[warn(unused)]`) on by default
[INFO] [stderr] 
[INFO] [stderr] warning: variable `num_decisions` is assigned to, but never used
[INFO] [stderr]    --> src/ports/kosat.rs:439:13
[INFO] [stderr]     |
[INFO] [stderr] 439 |         let mut num_decisions = 0;
[INFO] [stderr]     |             ^^^^^^^^^^^^^^^^^
[INFO] [stderr]     |
[INFO] [stderr]     = note: consider using `_num_decisions` instead
[INFO] [stderr] 
[INFO] [stderr] warning: value assigned to `num_conflicts` is never read
[INFO] [stderr]    --> src/ports/kosat.rs:455:21
[INFO] [stderr]     |
[INFO] [stderr] 455 |                     num_conflicts += 1;
[INFO] [stderr]     |                     ^^^^^^^^^^^^^^^^^^
[INFO] [stderr]     |
[INFO] [stderr]     = help: maybe it is overwritten before being read?
[INFO] [stderr] 
[INFO] [stderr] warning: value assigned to `num_decisions` is never read
[INFO] [stderr]    --> src/ports/kosat.rs:498:21
[INFO] [stderr]     |
[INFO] [stderr] 498 |                     num_decisions += 1;
[INFO] [stderr]     |                     ^^^^^^^^^^^^^^^^^^
[INFO] [stderr]     |
[INFO] [stderr]     = help: maybe it is overwritten before being read?
[INFO] [stderr] 
[INFO] [stderr] warning: hiding a lifetime that's elided elsewhere is confusing
[INFO] [stderr]   --> src/sat/clause_storage.rs:68:13
[INFO] [stderr]    |
[INFO] [stderr] 68 |     fn iter(&self) -> Iter<L>;
[INFO] [stderr]    |             ^^^^^     ^^^^^^^ the same lifetime is hidden here
[INFO] [stderr]    |             |
[INFO] [stderr]    |             the lifetime is elided here
[INFO] [stderr]    |
[INFO] [stderr]    = help: the same lifetime is referred to in inconsistent ways, making the signature confusing
[INFO] [stderr]    = note: `#[warn(mismatched_lifetime_syntaxes)]` on by default
[INFO] [stderr] help: use `'_` for type paths
[INFO] [stderr]    |
[INFO] [stderr] 68 |     fn iter(&self) -> Iter<'_, L>;
[INFO] [stderr]    |                            +++
[INFO] [stderr] 
[INFO] [stderr] warning: hiding a lifetime that's elided elsewhere is confusing
[INFO] [stderr]   --> src/sat/clause_storage.rs:71:17
[INFO] [stderr]    |
[INFO] [stderr] 71 |     fn iter_mut(&mut self) -> IterMut<L>;
[INFO] [stderr]    |                 ^^^^^^^^^     ^^^^^^^^^^ the same lifetime is hidden here
[INFO] [stderr]    |                 |
[INFO] [stderr]    |                 the lifetime is elided here
[INFO] [stderr]    |
[INFO] [stderr]    = help: the same lifetime is referred to in inconsistent ways, making the signature confusing
[INFO] [stderr] help: use `'_` for type paths
[INFO] [stderr]    |
[INFO] [stderr] 71 |     fn iter_mut(&mut self) -> IterMut<'_, L>;
[INFO] [stderr]    |                                       +++
[INFO] [stderr] 
[INFO] [stderr] warning: hiding a lifetime that's elided elsewhere is confusing
[INFO] [stderr]    --> src/sat/clause_storage.rs:157:13
[INFO] [stderr]     |
[INFO] [stderr] 157 |     fn iter(&self) -> Iter<L> {
[INFO] [stderr]     |             ^^^^^     ^^^^^^^ the same lifetime is hidden here
[INFO] [stderr]     |             |
[INFO] [stderr]     |             the lifetime is elided here
[INFO] [stderr]     |
[INFO] [stderr]     = help: the same lifetime is referred to in inconsistent ways, making the signature confusing
[INFO] [stderr] help: use `'_` for type paths
[INFO] [stderr]     |
[INFO] [stderr] 157 |     fn iter(&self) -> Iter<'_, L> {
[INFO] [stderr]     |                            +++
[INFO] [stderr] 
[INFO] [stderr] warning: hiding a lifetime that's elided elsewhere is confusing
[INFO] [stderr]    --> src/sat/clause_storage.rs:161:17
[INFO] [stderr]     |
[INFO] [stderr] 161 |     fn iter_mut(&mut self) -> IterMut<L> {
[INFO] [stderr]     |                 ^^^^^^^^^     ^^^^^^^^^^ the same lifetime is hidden here
[INFO] [stderr]     |                 |
[INFO] [stderr]     |                 the lifetime is elided here
[INFO] [stderr]     |
[INFO] [stderr]     = help: the same lifetime is referred to in inconsistent ways, making the signature confusing
[INFO] [stderr] help: use `'_` for type paths
[INFO] [stderr]     |
[INFO] [stderr] 161 |     fn iter_mut(&mut self) -> IterMut<'_, L> {
[INFO] [stderr]     |                                       +++
[INFO] [stderr] 
[INFO] [stderr] warning: hiding a lifetime that's elided elsewhere is confusing
[INFO] [stderr]    --> src/sat/clause_storage.rs:213:13
[INFO] [stderr]     |
[INFO] [stderr] 213 |     fn iter(&self) -> Iter<L> {
[INFO] [stderr]     |             ^^^^^     ^^^^^^^ the same lifetime is hidden here
[INFO] [stderr]     |             |
[INFO] [stderr]     |             the lifetime is elided here
[INFO] [stderr]     |
[INFO] [stderr]     = help: the same lifetime is referred to in inconsistent ways, making the signature confusing
[INFO] [stderr] help: use `'_` for type paths
[INFO] [stderr]     |
[INFO] [stderr] 213 |     fn iter(&self) -> Iter<'_, L> {
[INFO] [stderr]     |                            +++
[INFO] [stderr] 
[INFO] [stderr] warning: hiding a lifetime that's elided elsewhere is confusing
[INFO] [stderr]    --> src/sat/clause_storage.rs:217:17
[INFO] [stderr]     |
[INFO] [stderr] 217 |     fn iter_mut(&mut self) -> IterMut<L> {
[INFO] [stderr]     |                 ^^^^^^^^^     ^^^^^^^^^^ the same lifetime is hidden here
[INFO] [stderr]     |                 |
[INFO] [stderr]     |                 the lifetime is elided here
[INFO] [stderr]     |
[INFO] [stderr]     = help: the same lifetime is referred to in inconsistent ways, making the signature confusing
[INFO] [stderr] help: use `'_` for type paths
[INFO] [stderr]     |
[INFO] [stderr] 217 |     fn iter_mut(&mut self) -> IterMut<'_, L> {
[INFO] [stderr]     |                                       +++
[INFO] [stderr] 
[INFO] [stderr] warning: hiding a lifetime that's elided elsewhere is confusing
[INFO] [stderr]    --> src/sat/clause_storage.rs:369:13
[INFO] [stderr]     |
[INFO] [stderr] 369 |     fn iter(&self) -> Iter<L> {
[INFO] [stderr]     |             ^^^^^     ^^^^^^^ the same lifetime is hidden here
[INFO] [stderr]     |             |
[INFO] [stderr]     |             the lifetime is elided here
[INFO] [stderr]     |
[INFO] [stderr]     = help: the same lifetime is referred to in inconsistent ways, making the signature confusing
[INFO] [stderr] help: use `'_` for type paths
[INFO] [stderr]     |
[INFO] [stderr] 369 |     fn iter(&self) -> Iter<'_, L> {
[INFO] [stderr]     |                            +++
[INFO] [stderr] 
[INFO] [stderr] warning: hiding a lifetime that's elided elsewhere is confusing
[INFO] [stderr]    --> src/sat/clause_storage.rs:376:17
[INFO] [stderr]     |
[INFO] [stderr] 376 |     fn iter_mut(&mut self) -> IterMut<L> {
[INFO] [stderr]     |                 ^^^^^^^^^     ^^^^^^^^^^ the same lifetime is hidden here
[INFO] [stderr]     |                 |
[INFO] [stderr]     |                 the lifetime is elided here
[INFO] [stderr]     |
[INFO] [stderr]     = help: the same lifetime is referred to in inconsistent ways, making the signature confusing
[INFO] [stderr] help: use `'_` for type paths
[INFO] [stderr]     |
[INFO] [stderr] 376 |     fn iter_mut(&mut self) -> IterMut<'_, L> {
[INFO] [stderr]     |                                       +++
[INFO] [stderr] 
[INFO] [stderr] warning: `sat-solver` (lib) generated 14 warnings (run `cargo fix --lib -p sat-solver` to apply 8 suggestions)
[INFO] [stderr] warning: `sat-solver` (lib test) generated 14 warnings (14 duplicates)
[INFO] [stderr] warning: `sat-solver` (bin "sat-solver" test) generated 10 warnings (10 duplicates)
[INFO] [stderr]     Finished `release` profile [optimized] target(s) in 0.13s
[INFO] [stderr]      Running unittests src/lib.rs (/opt/rustwide/target/release/deps/sat_solver-5d5eaa1723500a1e)
[INFO] [stdout] 
[INFO] [stdout] running 100 tests
[INFO] [stdout] test sat::assignment::tests::test_assignment_vec ... ok
[INFO] [stdout] test sat::clause_storage::tests::test_from_vec_and_from_iterator ... ok
[INFO] [stdout] test sat::clause::tests::test_is_unit ... ok
[INFO] [stdout] test sat::clause::tests::test_is_empty ... ok
[INFO] [stdout] test sat::clause_storage::tests::test_vec_literal_storage ... ok
[INFO] [stdout] test sat::clause::tests::test_swap_no_assert ... ok
[INFO] [stdout] test sat::clause_storage::tests::test_module_convert_function ... ok
[INFO] [stdout] test sat::cnf::tests::test_cnf_new_empty_input ... ok
[INFO] [stdout] test sat::clause_storage::tests::test_smallvec_literal_storage_heap ... ok
[INFO] [stdout] test sat::cnf::tests::test_cnf_add_clause ... ok
[INFO] [stdout] test sat::cnf::tests::test_cnf_display_dimacs ... ok
[INFO] [stdout] test sat::cnf::tests::test_cnf_from_expr ... ok
[INFO] [stdout] test sat::clause_storage::tests::test_smallvec_literal_storage_stack ... ok
[INFO] [stdout] test sat::cnf::tests::test_cnf_new_from_dimacs ... ok
[INFO] [stdout] test sat::dimacs::tests::test_parse_simple_dimacs ... ok
[INFO] [stdout] test sat::expr::tests::test_apply_laws_with_demorgans ... ok
[INFO] [stdout] test sat::expr::tests::test_demorgans_laws_double_negation ... ok
[INFO] [stdout] test sat::expr::tests::test_demorgans_laws_not_and ... ok
[INFO] [stdout] test sat::expr::tests::test_demorgans_laws_not_or ... ok
[INFO] [stdout] test sat::expr::tests::test_demorgans_laws_not_val ... ok
[INFO] [stdout] test sat::dimacs::tests::test_parse_dimacs_empty_clause ... ok
[INFO] [stdout] test sat::cnf::tests::test_cnf_verify_solution ... ok
[INFO] [stdout] test sat::expr::tests::test_demorgans_laws_nested ... ok
[INFO] [stdout] test sat::expr::tests::test_distributive_laws_no_change ... ok
[INFO] [stdout] test sat::expr::tests::test_ors_and_ands_helpers ... ok
[INFO] [stdout] test sat::literal::tests::test_double_literal_index ... ok
[INFO] [stdout] test sat::literal::tests::test_literal_negation_consistency ... ok
[INFO] [stdout] test sat::preprocessing::tests::test_preprocessor_chain ... ok
[INFO] [stdout] test sat::clause::tests::test_new_from_i32_vec_and_len ... ok
[INFO] [stdout] test sat::literal::tests::test_all_literal_implementations ... ok
[INFO] [stdout] test sat::expr::tests::test_distributive_laws_handles_not_nnf ... ok
[INFO] [stdout] test sat::clause::tests::test_resolve ... ok
[INFO] [stdout] test sat::assignment::tests::test_var_state ... ok
[INFO] [stdout] test sat::assignment::tests::test_assignment_unassigned_default_impl ... ok
[INFO] [stdout] test sat::dimacs::tests::test_parse_dimacs_malformed_literal ... FAILED
[INFO] [stdout] test sat::propagation::tests::test_watched_literals_conflict ... ok
[INFO] [stdout] test sat::dimacs::tests::test_parse_dimacs_no_clauses ... ok
[INFO] [stdout] test sat::expr::tests::test_distributive_laws_a_and_or_b_c ... ok
[INFO] [stdout] test sat::preprocessing::tests::test_tautology_elimination ... ok
[INFO] [stdout] test sat::dimacs::tests::test_parse_dimacs_with_empty_lines_and_end_marker ... ok
[INFO] [stdout] test sat::propagation::tests::test_unit_search_conflict ... ok
[INFO] [stdout] test sat::clause::tests::test_is_tautology ... ok
[INFO] [stdout] test sat::assignment::tests::test_hashmap_assignment ... ok
[INFO] [stdout] test sat::cnf::tests::test_cnf_new_with_empty_clause ... ok
[INFO] [stdout] test sat::propagation::tests::test_watched_literals_new_and_add_clause ... ok
[INFO] [stdout] test sat::propagation::tests::test_watched_literals_unit_clause_in_cnf ... ok
[INFO] [stdout] test sat::solver::tests::test_solutions_display ... ok
[INFO] [stdout] test sat::trail::tests::test_decision_level ... ok
[INFO] [stdout] test sat::solver::tests::test_solutions_check_add ... ok
[INFO] [stdout] test sat::preprocessing::tests::test_pure_literal_elimination ... ok
[INFO] [stdout] test sat::solver::tests::test_generic_config_instantiation ... ok
[INFO] [stdout] test sat::trail::tests::test_level ... ok
[INFO] [stdout] test sat::trail::tests::test_new_empty ... ok
[INFO] [stdout] test sat::trail::tests::test_push_simple ... ok
[INFO] [stdout] test sat::trail::tests::test_remap_clause_indices ... ok
[INFO] [stdout] test sat::trail::tests::test_reset ... ok
[INFO] [stdout] test sat::trail::tests::test_solutions ... ok
[INFO] [stdout] test sat::variable_selection::tests::test_random_order ... ok
[INFO] [stdout] test sat::variable_selection::tests::test_vsids_heap ... ok
[INFO] [stdout] test sat::preprocessing::tests::test_subsumption_elimination ... ok
[INFO] [stdout] test sat::trail::tests::test_len_is_empty ... ok
[INFO] [stdout] test sat::propagation::tests::test_unit_prop_with_pures ... ok
[INFO] [stdout] test sat::propagation::tests::test_unit_search_simple_propagation ... ok
[INFO] [stdout] test sat::propagation::tests::test_watched_literals_find_new_watch ... ok
[INFO] [stdout] test sat::propagation::tests::test_watched_literals_simple_propagation ... ok
[INFO] [stdout] test sat::variable_selection::tests::test_vsids_heap_bumping_and_decay ... ok
[INFO] [stdout] test sat::literal::tests::test_conversion_function ... ok
[INFO] [stdout] test sat::variable_selection::tests::test_vsids_heap_rescaling ... ok
[INFO] [stdout] test sat::solver::tests::test_default_config_type_bounds ... ok
[INFO] [stdout] test sat::variable_selection::tests::test_vsids_no_heap ... ok
[INFO] [stdout] test sudoku::solver::tests::board_from_array_of_refs ... ok
[INFO] [stdout] test sudoku::solver::tests::board_from_vec_vec ... ok
[INFO] [stdout] test sudoku::solver::tests::board_new_and_display ... ok
[INFO] [stdout] test sudoku::solver::tests::parse_sudoku_invalid_char ... ok
[INFO] [stdout] test sat::expr::tests::test_distributive_laws_or_a_b_and_c ... ok
[INFO] [stdout] test sat::variable_selection::tests::test_vsids_no_heap_early_exit ... ok
[INFO] [stdout] test sat::propagation::tests::test_watched_literals_empty_cnf ... ok
[INFO] [stdout] test sudoku::solver::tests::parse_sudoku_empty_line_behavior ... FAILED
[INFO] [stdout] test sudoku::solver::tests::parse_sudoku_invalid_size_panic - should panic ... FAILED
[INFO] [stdout] test sudoku::solver::tests::parse_sudoku_number_too_large ... ok
[INFO] [stdout] test sudoku::solver::tests::parse_sudoku_too_many_numbers_in_line ... ok
[INFO] [stdout] test sudoku::solver::tests::parse_sudoku_valid_4x4 ... ok
[INFO] [stdout] test sudoku::solver::tests::sudoku_decode_basic ... ok
[INFO] [stdout] test sudoku::solver::tests::size_block_size ... ok
[INFO] [stdout] test sat::trail::tests::test_new_with_unit_clauses ... ok
[INFO] [stdout] test sudoku::solver::tests::size_display ... ok
[INFO] [stdout] test sudoku::solver::tests::sudoku_display ... ok
[INFO] [stdout] test sat::trail::tests::test_push_already_assigned_due_to_pos_not_zero ... ok
[INFO] [stdout] test sudoku::solver::tests::test_generate_row_clauses_content ... ok
[INFO] [stdout] test sudoku::solver::tests::sudoku_new_invalid_size - should panic ... FAILED
[INFO] [stdout] test sudoku::solver::tests::usize_from_size ... ok
[INFO] [stdout] test sudoku::solver::tests::test_generate_pre_filled_clauses ... ok
[INFO] [stdout] test sudoku::solver::tests::variable_new_and_encode ... ok
[INFO] [stdout] test sudoku::solver::tests::parse_sudoku_too_few_numbers_in_line ... ok
[INFO] [stdout] test sudoku::solver::tests::test_generate_cell_clauses_content ... ok
[INFO] [stdout] test sudoku::solver::tests::vec_vec_from_board ... ok
[INFO] [stdout] test sudoku::solver::tests::size_try_from_usize ... ok
[INFO] [stdout] test sudoku::solver::tests::sudoku_iter ... ok
[INFO] [stdout] test sudoku::solver::tests::vec_vec_from_ref_board ... ok
[INFO] [stdout] test sudoku::solver::tests::sudoku_new ... ok
[INFO] [stdout] 
[INFO] [stdout] failures:
[INFO] [stdout] 
[INFO] [stdout] ---- sat::dimacs::tests::test_parse_dimacs_malformed_literal stdout ----
[INFO] [stdout] 
[INFO] [stdout] thread 'sat::dimacs::tests::test_parse_dimacs_malformed_literal' (5841) panicked at src/sat/dimacs.rs:92:49:
[INFO] [stdout] Failed to parse literal 'abc' as i32: invalid digit found in string
[INFO] [stdout] stack backtrace:
[INFO] [stdout]    0:     0x5df1b2c61607 - <<std[70759c8f55707aa4]::sys::backtrace::BacktraceLock>::print::DisplayBacktrace as core[df12db4294e9bfd3]::fmt::Display>::fmt
[INFO] [stdout]    1:     0x5df1b2c4935a - core[df12db4294e9bfd3]::fmt::write
[INFO] [stdout]    2:     0x5df1b2c60bbb - <alloc[2182bb758b4b3781]::vec::Vec<u8> as core[df12db4294e9bfd3]::io::write::Write>::write_fmt
[INFO] [stdout]    3:     0x5df1b2c6069f - std[70759c8f55707aa4]::panicking::default_hook::{closure#0}
[INFO] [stdout]    4:     0x5df1b2c602ca - std[70759c8f55707aa4]::panicking::default_hook
[INFO] [stdout]    5:     0x5df1b2c5fe02 - std[70759c8f55707aa4]::panicking::panic_with_hook
[INFO] [stdout]    6:     0x5df1b2c87171 - std[70759c8f55707aa4]::panicking::panic_handler::{closure#0}
[INFO] [stdout]    7:     0x5df1b2c87129 - std[70759c8f55707aa4]::sys::backtrace::__rust_end_short_backtrace::<std[70759c8f55707aa4]::panicking::panic_handler::{closure#0}, !>
[INFO] [stdout]    8:     0x5df1b2c8763c - __rustc[8fa7c3cbc660c2b3]::rust_begin_unwind
[INFO] [stdout]    9:     0x5df1b2c491eb - core[df12db4294e9bfd3]::panicking::panic_fmt
[INFO] [stdout]   10:     0x5df1b2c41cc8 - <sat_solver[47eec3e6b52398fd]::sat::dimacs::tests::test_parse_dimacs_malformed_literal::{closure#0} as core[df12db4294e9bfd3]::ops::function::FnOnce<()>>::call_once
[INFO] [stdout]   11:     0x5df1b2c9f01b - test[9d35eded1c95d3be]::__rust_begin_short_backtrace::<core[df12db4294e9bfd3]::result::Result<(), alloc[2182bb758b4b3781]::string::String>, fn() -> core[df12db4294e9bfd3]::result::Result<(), alloc[2182bb758b4b3781]::string::String>>
[INFO] [stdout]   12:     0x5df1b2c9a62f - test[9d35eded1c95d3be]::run_test::{closure#0}
[INFO] [stdout]   13:     0x5df1b2c9a0ac - std[70759c8f55707aa4]::sys::backtrace::__rust_begin_short_backtrace::<test[9d35eded1c95d3be]::run_test::{closure#1}, ()>
[INFO] [stdout]   14:     0x5df1b2cb726c - <std[70759c8f55707aa4]::thread::lifecycle::spawn_unchecked<test[9d35eded1c95d3be]::run_test::{closure#1}, ()>::{closure#1} as core[df12db4294e9bfd3]::ops::function::FnOnce<()>>::call_once::{shim:vtable#0}
[INFO] [stdout]   15:     0x5df1b2c88882 - <std[70759c8f55707aa4]::sys::thread::unix::Thread>::new::thread_start
[INFO] [stdout]   16:     0x785d1bdbadfa - <unknown>
[INFO] [stdout]   17:     0x785d1be4e3d4 - clone
[INFO] [stdout]   18:                0x0 - <unknown>
[INFO] [stdout] 
[INFO] [stdout] ---- sudoku::solver::tests::parse_sudoku_empty_line_behavior stdout ----
[INFO] [stdout] 
[INFO] [stdout] thread 'sudoku::solver::tests::parse_sudoku_empty_line_behavior' (5896) panicked at src/sudoku/solver.rs:928:9:
[INFO] [stdout] Sudoku::new should panic for size 5
[INFO] [stdout] stack backtrace:
[INFO] [stdout]    0:     0x5df1b2c61607 - <<std[70759c8f55707aa4]::sys::backtrace::BacktraceLock>::print::DisplayBacktrace as core[df12db4294e9bfd3]::fmt::Display>::fmt
[INFO] [stdout]    1:     0x5df1b2c4935a - core[df12db4294e9bfd3]::fmt::write
[INFO] [stdout]    2:     0x5df1b2c60bbb - <alloc[2182bb758b4b3781]::vec::Vec<u8> as core[df12db4294e9bfd3]::io::write::Write>::write_fmt
[INFO] [stdout]    3:     0x5df1b2c6069f - std[70759c8f55707aa4]::panicking::default_hook::{closure#0}
[INFO] [stdout]    4:     0x5df1b2c602ca - std[70759c8f55707aa4]::panicking::default_hook
[INFO] [stdout]    5:     0x5df1b2c5fe02 - std[70759c8f55707aa4]::panicking::panic_with_hook
[INFO] [stdout]    6:     0x5df1b2c871a2 - std[70759c8f55707aa4]::panicking::panic_handler::{closure#0}
[INFO] [stdout]    7:     0x5df1b2c87129 - std[70759c8f55707aa4]::sys::backtrace::__rust_end_short_backtrace::<std[70759c8f55707aa4]::panicking::panic_handler::{closure#0}, !>
[INFO] [stdout]    8:     0x5df1b2c8763c - __rustc[8fa7c3cbc660c2b3]::rust_begin_unwind
[INFO] [stdout]    9:     0x5df1b2c491eb - core[df12db4294e9bfd3]::panicking::panic_fmt
[INFO] [stdout]   10:     0x5df1b2c45a79 - <sat_solver[47eec3e6b52398fd]::sudoku::solver::tests::parse_sudoku_empty_line_behavior::{closure#0} as core[df12db4294e9bfd3]::ops::function::FnOnce<()>>::call_once
[INFO] [stdout]   11:     0x5df1b2c9f01b - test[9d35eded1c95d3be]::__rust_begin_short_backtrace::<core[df12db4294e9bfd3]::result::Result<(), alloc[2182bb758b4b3781]::string::String>, fn() -> core[df12db4294e9bfd3]::result::Result<(), alloc[2182bb758b4b3781]::string::String>>
[INFO] [stdout]   12:     0x5df1b2c9a62f - test[9d35eded1c95d3be]::run_test::{closure#0}
[INFO] [stdout]   13:     0x5df1b2c9a0ac - std[70759c8f55707aa4]::sys::backtrace::__rust_begin_short_backtrace::<test[9d35eded1c95d3be]::run_test::{closure#1}, ()>
[INFO] [stdout]   14:     0x5df1b2cb726c - <std[70759c8f55707aa4]::thread::lifecycle::spawn_unchecked<test[9d35eded1c95d3be]::run_test::{closure#1}, ()>::{closure#1} as core[df12db4294e9bfd3]::ops::function::FnOnce<()>>::call_once::{shim:vtable#0}
[INFO] [stdout]   15:     0x5df1b2c88882 - <std[70759c8f55707aa4]::sys::thread::unix::Thread>::new::thread_start
[INFO] [stdout]   16:     0x785d1bdbadfa - <unknown>
[INFO] [stdout]   17:     0x785d1be4e3d4 - clone
[INFO] [stdout]   18:                0x0 - <unknown>
[INFO] [stdout] 
[INFO] [stdout] ---- sudoku::solver::tests::parse_sudoku_invalid_size_panic stdout ----
[INFO] [stdout] 
[INFO] [stdout] thread 'sudoku::solver::tests::parse_sudoku_invalid_size_panic' (5898) panicked at src/sudoku/solver.rs:881:25:
[INFO] [stdout] called `Result::unwrap()` on an `Err` value: "Invalid Sudoku size: 2. Supported sizes are 4, 9, 16, or 25."
[INFO] [stdout] stack backtrace:
[INFO] [stdout]    0:     0x5df1b2c61607 - <<std[70759c8f55707aa4]::sys::backtrace::BacktraceLock>::print::DisplayBacktrace as core[df12db4294e9bfd3]::fmt::Display>::fmt
[INFO] [stdout]    1:     0x5df1b2c4935a - core[df12db4294e9bfd3]::fmt::write
[INFO] [stdout]    2:     0x5df1b2c60bbb - <alloc[2182bb758b4b3781]::vec::Vec<u8> as core[df12db4294e9bfd3]::io::write::Write>::write_fmt
[INFO] [stdout]    3:     0x5df1b2c6069f - std[70759c8f55707aa4]::panicking::default_hook::{closure#0}
[INFO] [stdout]    4:     0x5df1b2c602ca - std[70759c8f55707aa4]::panicking::default_hook
[INFO] [stdout]    5:     0x5df1b2c5fe02 - std[70759c8f55707aa4]::panicking::panic_with_hook
[INFO] [stdout]    6:     0x5df1b2c87171 - std[70759c8f55707aa4]::panicking::panic_handler::{closure#0}
[INFO] [stdout]    7:     0x5df1b2c87129 - std[70759c8f55707aa4]::sys::backtrace::__rust_end_short_backtrace::<std[70759c8f55707aa4]::panicking::panic_handler::{closure#0}, !>
[INFO] [stdout]    8:     0x5df1b2c8763c - __rustc[8fa7c3cbc660c2b3]::rust_begin_unwind
[INFO] [stdout]    9:     0x5df1b2c491eb - core[df12db4294e9bfd3]::panicking::panic_fmt
[INFO] [stdout]   10:     0x5df1b2c4c691 - core[df12db4294e9bfd3]::result::unwrap_failed
[INFO] [stdout]   11:     0x5df1b2c459d4 - <sat_solver[47eec3e6b52398fd]::sudoku::solver::tests::parse_sudoku_invalid_size_panic::{closure#0} as core[df12db4294e9bfd3]::ops::function::FnOnce<()>>::call_once
[INFO] [stdout]   12:     0x5df1b2c9f01b - test[9d35eded1c95d3be]::__rust_begin_short_backtrace::<core[df12db4294e9bfd3]::result::Result<(), alloc[2182bb758b4b3781]::string::String>, fn() -> core[df12db4294e9bfd3]::result::Result<(), alloc[2182bb758b4b3781]::string::String>>
[INFO] [stdout]   13:     0x5df1b2c9a62f - test[9d35eded1c95d3be]::run_test::{closure#0}
[INFO] [stdout]   14:     0x5df1b2c9a0ac - std[70759c8f55707aa4]::sys::backtrace::__rust_begin_short_backtrace::<test[9d35eded1c95d3be]::run_test::{closure#1}, ()>
[INFO] [stdout]   15:     0x5df1b2cb726c - <std[70759c8f55707aa4]::thread::lifecycle::spawn_unchecked<test[9d35eded1c95d3be]::run_test::{closure#1}, ()>::{closure#1} as core[df12db4294e9bfd3]::ops::function::FnOnce<()>>::call_once::{shim:vtable#0}
[INFO] [stdout]   16:     0x5df1b2c88882 - <std[70759c8f55707aa4]::sys::thread::unix::Thread>::new::thread_start
[INFO] [stdout]   17:     0x785d1bdbadfa - <unknown>
[INFO] [stdout]   18:     0x785d1be4e3d4 - clone
[INFO] [stdout]   19:                0x0 - <unknown>
[INFO] [stdout] note: panic did not contain expected string
[INFO] [stdout]       panic message: "called `Result::unwrap()` on an `Err` value: \"Invalid Sudoku size: 2. Supported sizes are 4, 9, 16, or 25.\""
[INFO] [stdout]  expected substring: "Invalid size for Sudoku board"
[INFO] [stdout] ---- sudoku::solver::tests::sudoku_new_invalid_size stdout ----
[INFO] [stdout] note: test did not panic as expected at src/sudoku/solver.rs:822:8
[INFO] [stdout] 
[INFO] [stdout] failures:
[INFO] [stdout]     sat::dimacs::tests::test_parse_dimacs_malformed_literal
[INFO] [stdout]     sudoku::solver::tests::parse_sudoku_empty_line_behavior
[INFO] [stdout]     sudoku::solver::tests::parse_sudoku_invalid_size_panic
[INFO] [stdout]     sudoku::solver::tests::sudoku_new_invalid_size
[INFO] [stdout] 
[INFO] [stdout] test result: FAILED. 96 passed; 4 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.02s
[INFO] [stdout] 
[INFO] [stderr] error: test failed, to rerun pass `--lib`
[INFO] running `Command { std: "docker" "inspect" "7ab9e55c7793957329772ded23aa4f1b9c1f836d9cea1c01626ca11f8a1d2df2", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "7ab9e55c7793957329772ded23aa4f1b9c1f836d9cea1c01626ca11f8a1d2df2", kill_on_drop: false }`
[INFO] [stdout] 7ab9e55c7793957329772ded23aa4f1b9c1f836d9cea1c01626ca11f8a1d2df2
