[INFO] cloning repository https://github.com/JacobJEdwards/rust_sat_solver
[INFO] running `Command { std: "git" "-c" "credential.helper=" "-c" "credential.helper=/workspace/cargo-home/bin/git-credential-null" "clone" "--bare" "https://github.com/JacobJEdwards/rust_sat_solver" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2FJacobJEdwards%2Frust_sat_solver", kill_on_drop: false }`
[INFO] [stderr] Cloning into bare repository '/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2FJacobJEdwards%2Frust_sat_solver'...
[INFO] running `Command { std: "git" "rev-parse" "HEAD", kill_on_drop: false }`
[INFO] [stdout] bb579b984605768bf4540564d5c15a48b5f95cf7
[INFO] checking JacobJEdwards/rust_sat_solver/bb579b984605768bf4540564d5c15a48b5f95cf7 against master#80b898258da78fdd1262438126aa0cf90e395f0c for pr-149195-4
[INFO] running `Command { std: "git" "clone" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2FJacobJEdwards%2Frust_sat_solver" "/workspace/builds/worker-3-tc1/source", kill_on_drop: false }`
[INFO] [stderr] Cloning into '/workspace/builds/worker-3-tc1/source'...
[INFO] [stderr] done.
[INFO] [stderr] Updating files:  91% (8040/8769)
Updating files:  92% (8068/8769)
Updating files:  93% (8156/8769)
Updating files:  94% (8243/8769)
Updating files:  95% (8331/8769)
Updating files:  96% (8419/8769)
Updating files:  97% (8506/8769)
Updating files:  98% (8594/8769)
Updating files:  99% (8682/8769)
Updating files: 100% (8769/8769)
Updating files: 100% (8769/8769), done.
[INFO] started tweaking git repo https://github.com/JacobJEdwards/rust_sat_solver
[INFO] finished tweaking git repo https://github.com/JacobJEdwards/rust_sat_solver
[INFO] tweaked toml for git repo https://github.com/JacobJEdwards/rust_sat_solver written to /workspace/builds/worker-3-tc1/source/Cargo.toml
[INFO] validating manifest of git repo https://github.com/JacobJEdwards/rust_sat_solver on toolchain 80b898258da78fdd1262438126aa0cf90e395f0c
[INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+80b898258da78fdd1262438126aa0cf90e395f0c" "metadata" "--manifest-path" "Cargo.toml" "--no-deps", kill_on_drop: false }`
[INFO] crate git repo https://github.com/JacobJEdwards/rust_sat_solver 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" "+80b898258da78fdd1262438126aa0cf90e395f0c" "fetch" "--manifest-path" "Cargo.toml", kill_on_drop: false }`
[INFO] [stderr] warning: unused manifest key: build
[INFO] [stderr] help: build is a valid .cargo/config.toml key
[INFO] [stderr]     Updating crates.io index
[INFO] [stderr]  Downloading crates ...
[INFO] [stderr]   Downloaded tikv-jemallocator v0.6.0
[INFO] [stderr]   Downloaded clap v4.5.40
[INFO] [stderr]   Downloaded anstyle-wincon v3.0.9
[INFO] [stderr]   Downloaded anstyle-query v1.1.3
[INFO] [stderr]   Downloaded clap_complete v4.5.54
[INFO] [stderr]   Downloaded clap_derive v4.5.40
[INFO] [stderr]   Downloaded anstream v0.6.19
[INFO] [stderr]   Downloaded bumpalo v3.18.1
[INFO] [stderr]   Downloaded cc v1.2.26
[INFO] [stderr]   Downloaded clap_builder v4.5.40
[INFO] [stderr]   Downloaded tikv-jemalloc-ctl v0.6.0
[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-3-tc1/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-3-tc1/source:/opt/rustwide/workdir:ro,Z" "-v" "/var/lib/crater-agent-workspace/cargo-home:/opt/rustwide/cargo-home:ro,Z" "-v" "/var/lib/crater-agent-workspace/rustup-home:/opt/rustwide/rustup-home:ro,Z" "-e" "SOURCE_DIR=/opt/rustwide/workdir" "-e" "CARGO_TARGET_DIR=/opt/rustwide/target" "-e" "CARGO_HOME=/opt/rustwide/cargo-home" "-e" "RUSTUP_HOME=/opt/rustwide/rustup-home" "-w" "/opt/rustwide/workdir" "-m" "1610612736" "--user" "0:0" "--network" "none" "ghcr.io/rust-lang/crates-build-env/linux@sha256:29356a839a4d14451438f794ce8414e707d72405f44418718d724d22562fe786" "/opt/rustwide/cargo-home/bin/cargo" "+80b898258da78fdd1262438126aa0cf90e395f0c" "metadata" "--no-deps" "--format-version=1", kill_on_drop: false }`
[INFO] [stdout] 41ffa7f335fb8b7baa95f62a3ac7ce7693873b40562cc507262d3ddbc3df5783
[INFO] running `Command { std: "docker" "start" "-a" "41ffa7f335fb8b7baa95f62a3ac7ce7693873b40562cc507262d3ddbc3df5783", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "inspect" "41ffa7f335fb8b7baa95f62a3ac7ce7693873b40562cc507262d3ddbc3df5783", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "41ffa7f335fb8b7baa95f62a3ac7ce7693873b40562cc507262d3ddbc3df5783", kill_on_drop: false }`
[INFO] [stdout] 41ffa7f335fb8b7baa95f62a3ac7ce7693873b40562cc507262d3ddbc3df5783
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-3-tc1/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-3-tc1/source:/opt/rustwide/workdir:ro,Z" "-v" "/var/lib/crater-agent-workspace/cargo-home:/opt/rustwide/cargo-home:ro,Z" "-v" "/var/lib/crater-agent-workspace/rustup-home:/opt/rustwide/rustup-home:ro,Z" "-e" "SOURCE_DIR=/opt/rustwide/workdir" "-e" "CARGO_TARGET_DIR=/opt/rustwide/target" "-e" "CARGO_INCREMENTAL=0" "-e" "RUST_BACKTRACE=full" "-e" "RUSTFLAGS=--cap-lints=forbid" "-e" "RUSTDOCFLAGS=--cap-lints=forbid" "-e" "CARGO_HOME=/opt/rustwide/cargo-home" "-e" "RUSTUP_HOME=/opt/rustwide/rustup-home" "-w" "/opt/rustwide/workdir" "-m" "1610612736" "--user" "0:0" "--network" "none" "ghcr.io/rust-lang/crates-build-env/linux@sha256:29356a839a4d14451438f794ce8414e707d72405f44418718d724d22562fe786" "/opt/rustwide/cargo-home/bin/cargo" "+80b898258da78fdd1262438126aa0cf90e395f0c" "check" "--frozen" "--all" "--all-targets" "--message-format=json", kill_on_drop: false }`
[INFO] [stdout] c9d4ab4166803efb05e20dccf59fbb149d08acc13128c2dc62eaa9483bf3a4eb
[INFO] running `Command { std: "docker" "start" "-a" "c9d4ab4166803efb05e20dccf59fbb149d08acc13128c2dc62eaa9483bf3a4eb", kill_on_drop: false }`
[INFO] [stderr] warning: unused manifest key: build
[INFO] [stderr] help: build is a valid .cargo/config.toml key
[INFO] [stderr]     Checking either v1.15.0
[INFO] [stderr]    Compiling cc v1.2.26
[INFO] [stderr]    Compiling num-traits v0.2.19
[INFO] [stderr]    Compiling libc v0.2.172
[INFO] [stderr]    Compiling crossbeam-utils v0.8.21
[INFO] [stderr]     Checking anstyle-query v1.1.3
[INFO] [stderr]    Compiling syn v2.0.102
[INFO] [stderr]    Compiling serde v1.0.219
[INFO] [stderr]     Checking anstream v0.6.19
[INFO] [stderr]     Checking same-file v1.0.6
[INFO] [stderr]     Checking cfg-if v1.0.1
[INFO] [stderr]     Checking walkdir v2.5.0
[INFO] [stderr]     Checking half v2.6.0
[INFO] [stderr]     Checking clap_builder v4.5.40
[INFO] [stderr]     Checking ciborium-io v0.2.2
[INFO] [stderr]     Checking regex-syntax v0.8.5
[INFO] [stderr]     Checking plotters-backend v0.3.7
[INFO] [stderr]     Checking plotters-svg v0.3.7
[INFO] [stderr]     Checking crossbeam-epoch v0.9.18
[INFO] [stderr]     Checking ciborium-ll v0.2.2
[INFO] [stderr]     Checking ordered-float v5.0.0
[INFO] [stderr]     Checking crossbeam-deque v0.8.6
[INFO] [stderr]     Checking itertools v0.10.5
[INFO] [stderr]     Checking itertools v0.14.0
[INFO] [stderr]     Checking rayon-core v1.12.1
[INFO] [stderr]     Checking bit-vec v0.8.0
[INFO] [stderr]     Checking rustc-hash v2.1.1
[INFO] [stderr]     Checking cast v0.3.0
[INFO] [stderr]     Checking plotters v0.3.7
[INFO] [stderr]     Checking rayon v1.10.0
[INFO] [stderr]     Checking regex-automata v0.4.9
[INFO] [stderr]    Compiling tikv-jemalloc-sys v0.6.0+5.3.0-1-ge13ca993e8ccb9ba9847cc330696e02839f328f7
[INFO] [stderr]     Checking itertools v0.13.0
[INFO] [stderr]     Checking criterion-plot v0.5.0
[INFO] [stderr]     Checking anes v0.1.6
[INFO] [stderr]     Checking oorandom v11.1.5
[INFO] [stderr]     Checking regex v1.11.1
[INFO] [stderr]    Compiling clap_derive v4.5.40
[INFO] [stderr]    Compiling serde_derive v1.0.219
[INFO] [stderr]     Checking clap v4.5.40
[INFO] [stderr]     Checking clap_complete v4.5.54
[INFO] [stderr]     Checking serde_json v1.0.140
[INFO] [stderr]     Checking ciborium v0.2.2
[INFO] [stderr]     Checking tinytemplate v1.2.1
[INFO] [stderr]     Checking criterion v0.6.0
[INFO] [stderr]     Checking tikv-jemallocator v0.6.0
[INFO] [stderr]     Checking tikv-jemalloc-ctl v0.6.0
[INFO] [stderr]     Checking 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]     |                                       ^^^^
[INFO] [stdout]     |
[INFO] [stdout]     = help: maybe it is overwritten before being read?
[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]     |                                       ^^^^
[INFO] [stdout]     |
[INFO] [stdout]     = help: maybe it is overwritten before being 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]     |                                       ^^^^
[INFO] [stdout]     |
[INFO] [stdout]     = help: maybe it is overwritten before being read?
[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]     |                                       ^^^^
[INFO] [stdout]     |
[INFO] [stdout]     = help: maybe it is overwritten before being 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] error[E0107]: trait takes 0 generic arguments but 2 generic arguments were supplied
[INFO] [stdout]    --> benches/bench.rs:116:9
[INFO] [stdout]     |
[INFO] [stdout] 116 |     <M: ClauseManagement<PackedLiteral, SmallVec<[PackedLiteral; 8]>>>
[INFO] [stdout]     |         ^^^^^^^^^^^^^^^^--------------------------------------------- help: remove the unnecessary generics
[INFO] [stdout]     |         |
[INFO] [stdout]     |         expected 0 generic arguments
[INFO] [stdout]     |
[INFO] [stdout] note: trait defined here, with 0 generic parameters
[INFO] [stdout]    --> src/sat/clause_management.rs:41:11
[INFO] [stdout]     |
[INFO] [stdout]  41 | pub trait ClauseManagement: Clone + Debug + Default {
[INFO] [stdout]     |           ^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0107]: struct takes 1 generic argument but 3 generic arguments were supplied
[INFO] [stdout]    --> benches/bench.rs:46:25
[INFO] [stdout]     |
[INFO] [stdout]  46 |         ClauseManager = LbdClauseManagement<PackedLiteral, SmallVec<[PackedLiteral; 8]>, 10>,
[INFO] [stdout]     |                         ^^^^^^^^^^^^^^^^^^^              ---------------------------------- help: remove the unnecessary generic arguments
[INFO] [stdout]     |                         |
[INFO] [stdout]     |                         expected 1 generic argument
[INFO] [stdout]     |
[INFO] [stdout] note: struct defined here, with 1 generic parameter: `N`
[INFO] [stdout]    --> src/sat/clause_management.rs:123:12
[INFO] [stdout]     |
[INFO] [stdout] 123 | pub struct LbdClauseManagement<const N: usize> {
[INFO] [stdout]     |            ^^^^^^^^^^^^^^^^^^^ --------------
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0107]: struct takes 1 generic argument but 3 generic arguments were supplied
[INFO] [stdout]    --> benches/bench.rs:59:25
[INFO] [stdout]     |
[INFO] [stdout]  59 |         ClauseManager = LbdClauseManagement<PackedLiteral, SmallVec<[PackedLiteral; 8]>, 10>,
[INFO] [stdout]     |                         ^^^^^^^^^^^^^^^^^^^              ---------------------------------- help: remove the unnecessary generic arguments
[INFO] [stdout]     |                         |
[INFO] [stdout]     |                         expected 1 generic argument
[INFO] [stdout]     |
[INFO] [stdout] note: struct defined here, with 1 generic parameter: `N`
[INFO] [stdout]    --> src/sat/clause_management.rs:123:12
[INFO] [stdout]     |
[INFO] [stdout] 123 | pub struct LbdClauseManagement<const N: usize> {
[INFO] [stdout]     |            ^^^^^^^^^^^^^^^^^^^ --------------
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0107]: struct takes 1 generic argument but 3 generic arguments were supplied
[INFO] [stdout]    --> benches/bench.rs:72:25
[INFO] [stdout]     |
[INFO] [stdout]  72 |         ClauseManager = LbdClauseManagement<PackedLiteral, SmallVec<[PackedLiteral; 8]>, 10>,
[INFO] [stdout]     |                         ^^^^^^^^^^^^^^^^^^^              ---------------------------------- help: remove the unnecessary generic arguments
[INFO] [stdout]     |                         |
[INFO] [stdout]     |                         expected 1 generic argument
[INFO] [stdout]     |
[INFO] [stdout] note: struct defined here, with 1 generic parameter: `N`
[INFO] [stdout]    --> src/sat/clause_management.rs:123:12
[INFO] [stdout]     |
[INFO] [stdout] 123 | pub struct LbdClauseManagement<const N: usize> {
[INFO] [stdout]     |            ^^^^^^^^^^^^^^^^^^^ --------------
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0107]: struct takes 1 generic argument but 3 generic arguments were supplied
[INFO] [stdout]    --> benches/bench.rs:85:25
[INFO] [stdout]     |
[INFO] [stdout]  85 |         ClauseManager = LbdClauseManagement<L, SmallVec<[L; 8]>, 10>,
[INFO] [stdout]     |                         ^^^^^^^^^^^^^^^^^^^  ---------------------- help: remove the unnecessary generic arguments
[INFO] [stdout]     |                         |
[INFO] [stdout]     |                         expected 1 generic argument
[INFO] [stdout]     |
[INFO] [stdout] note: struct defined here, with 1 generic parameter: `N`
[INFO] [stdout]    --> src/sat/clause_management.rs:123:12
[INFO] [stdout]     |
[INFO] [stdout] 123 | pub struct LbdClauseManagement<const N: usize> {
[INFO] [stdout]     |            ^^^^^^^^^^^^^^^^^^^ --------------
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0107]: struct takes 1 generic argument but 3 generic arguments were supplied
[INFO] [stdout]    --> benches/bench.rs:98:25
[INFO] [stdout]     |
[INFO] [stdout]  98 |         ClauseManager = LbdClauseManagement<PackedLiteral, SmallVec<[PackedLiteral; 8]>, 10>,
[INFO] [stdout]     |                         ^^^^^^^^^^^^^^^^^^^              ---------------------------------- help: remove the unnecessary generic arguments
[INFO] [stdout]     |                         |
[INFO] [stdout]     |                         expected 1 generic argument
[INFO] [stdout]     |
[INFO] [stdout] note: struct defined here, with 1 generic parameter: `N`
[INFO] [stdout]    --> src/sat/clause_management.rs:123:12
[INFO] [stdout]     |
[INFO] [stdout] 123 | pub struct LbdClauseManagement<const N: usize> {
[INFO] [stdout]     |            ^^^^^^^^^^^^^^^^^^^ --------------
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0107]: struct takes 1 generic argument but 3 generic arguments were supplied
[INFO] [stdout]    --> benches/bench.rs:111:25
[INFO] [stdout]     |
[INFO] [stdout] 111 |         ClauseManager = LbdClauseManagement<PackedLiteral, S, 10>,
[INFO] [stdout]     |                         ^^^^^^^^^^^^^^^^^^^              ------- help: remove the unnecessary generic arguments
[INFO] [stdout]     |                         |
[INFO] [stdout]     |                         expected 1 generic argument
[INFO] [stdout]     |
[INFO] [stdout] note: struct defined here, with 1 generic parameter: `N`
[INFO] [stdout]    --> src/sat/clause_management.rs:123:12
[INFO] [stdout]     |
[INFO] [stdout] 123 | pub struct LbdClauseManagement<const N: usize> {
[INFO] [stdout]     |            ^^^^^^^^^^^^^^^^^^^ --------------
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0107]: struct takes 1 generic argument but 3 generic arguments were supplied
[INFO] [stdout]    --> benches/bench.rs:417:13
[INFO] [stdout]     |
[INFO] [stdout] 417 |             LbdClauseManagement<PackedLiteral, SmallVec<[PackedLiteral; 8]>, 10>,
[INFO] [stdout]     |             ^^^^^^^^^^^^^^^^^^^              ---------------------------------- help: remove the unnecessary generic arguments
[INFO] [stdout]     |             |
[INFO] [stdout]     |             expected 1 generic argument
[INFO] [stdout]     |
[INFO] [stdout] note: struct defined here, with 1 generic parameter: `N`
[INFO] [stdout]    --> src/sat/clause_management.rs:123:12
[INFO] [stdout]     |
[INFO] [stdout] 123 | pub struct LbdClauseManagement<const N: usize> {
[INFO] [stdout]     |            ^^^^^^^^^^^^^^^^^^^ --------------
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0107]: struct takes 1 generic argument but 3 generic arguments were supplied
[INFO] [stdout]    --> benches/bench.rs:420:13
[INFO] [stdout]     |
[INFO] [stdout] 420 |             LbdClauseManagement<PackedLiteral, SmallVec<[PackedLiteral; 8]>, 25>,
[INFO] [stdout]     |             ^^^^^^^^^^^^^^^^^^^              ---------------------------------- help: remove the unnecessary generic arguments
[INFO] [stdout]     |             |
[INFO] [stdout]     |             expected 1 generic argument
[INFO] [stdout]     |
[INFO] [stdout] note: struct defined here, with 1 generic parameter: `N`
[INFO] [stdout]    --> src/sat/clause_management.rs:123:12
[INFO] [stdout]     |
[INFO] [stdout] 123 | pub struct LbdClauseManagement<const N: usize> {
[INFO] [stdout]     |            ^^^^^^^^^^^^^^^^^^^ --------------
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0107]: struct takes 0 generic arguments but 2 generic arguments were supplied
[INFO] [stdout]    --> benches/bench.rs:423:33
[INFO] [stdout]     |
[INFO] [stdout] 423 |             ClauseManagerConfig<NoClauseManagement<PackedLiteral, SmallVec<[PackedLiteral; 8]>>>;
[INFO] [stdout]     |                                 ^^^^^^^^^^^^^^^^^^--------------------------------------------- help: remove the unnecessary generics
[INFO] [stdout]     |                                 |
[INFO] [stdout]     |                                 expected 0 generic arguments
[INFO] [stdout]     |
[INFO] [stdout] note: struct defined here, with 0 generic parameters
[INFO] [stdout]    --> src/sat/clause_management.rs:325:12
[INFO] [stdout]     |
[INFO] [stdout] 325 | pub struct NoClauseManagement;
[INFO] [stdout]     |            ^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0308]: mismatched types
[INFO] [stdout]    --> benches/bench.rs:141:42
[INFO] [stdout]     |
[INFO] [stdout] 141 |                 match dimacs::parse_file(file_path.to_str().expect("Invalid UTF-8")) {
[INFO] [stdout]     |                       ------------------ ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ expected `&PathBuf`, found `&str`
[INFO] [stdout]     |                       |
[INFO] [stdout]     |                       arguments to this function are incorrect
[INFO] [stdout]     |
[INFO] [stdout]     = note: expected reference `&PathBuf`
[INFO] [stdout]                found reference `&str`
[INFO] [stdout] note: function defined here
[INFO] [stdout]    --> src/sat/dimacs.rs:128:8
[INFO] [stdout]     |
[INFO] [stdout] 128 | pub fn parse_file<T: Literal, S: LiteralStorage<T>>(file_path: &PathBuf) -> io::Result<Cnf<T, S>> {
[INFO] [stdout]     |        ^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] Some errors have detailed explanations: E0107, E0308.
[INFO] [stdout] 
[INFO] [stdout] For more information about an error, try `rustc --explain E0107`.
[INFO] [stdout] 
[INFO] [stderr] error: could not compile `sat-solver` (bench "bench") due to 11 previous errors
[INFO] [stderr] warning: build failed, waiting for other jobs to finish...
[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]     |                                       ^^^^
[INFO] [stdout]     |
[INFO] [stdout]     = help: maybe it is overwritten before being read?
[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]     |                                       ^^^^
[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]     |                                       ^^^^
[INFO] [stdout]     |
[INFO] [stdout]     = help: maybe it is overwritten before being read?
[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]     |                                       ^^^^
[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] running `Command { std: "docker" "inspect" "c9d4ab4166803efb05e20dccf59fbb149d08acc13128c2dc62eaa9483bf3a4eb", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "c9d4ab4166803efb05e20dccf59fbb149d08acc13128c2dc62eaa9483bf3a4eb", kill_on_drop: false }`
[INFO] [stdout] c9d4ab4166803efb05e20dccf59fbb149d08acc13128c2dc62eaa9483bf3a4eb
