[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 1.94.0 for beta-1.95-4
[INFO] running `Command { std: "git" "clone" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2FJacobJEdwards%2Frust_sat_solver" "/workspace/builds/worker-1-tc1/source", kill_on_drop: false }`
[INFO] [stderr] Cloning into '/workspace/builds/worker-1-tc1/source'...
[INFO] [stderr] done.
[INFO] [stderr] Updating files:  93% (8218/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-1-tc1/source/Cargo.toml
[INFO] validating manifest of git repo https://github.com/JacobJEdwards/rust_sat_solver on toolchain 1.94.0
[INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+1.94.0" "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" "+1.94.0" "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 criterion-plot v0.5.0
[INFO] [stderr]   Downloaded criterion v0.6.0
[INFO] [stderr]   Downloaded ordered-float v5.0.0
[INFO] [stderr]   Downloaded tikv-jemallocator v0.6.0
[INFO] [stderr]   Downloaded tikv-jemalloc-ctl v0.6.0
[INFO] [stderr]   Downloaded clap_complete v4.5.54
[INFO] [stderr]   Downloaded tikv-jemalloc-sys v0.6.0+5.3.0-1-ge13ca993e8ccb9ba9847cc330696e02839f328f7
[INFO] [stderr]   Downloaded cc v1.2.26
[INFO] [stderr]   Downloaded syn v2.0.102
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-1-tc1/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-1-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:d429b63d4308055ea97f60fb1d3dfca48854a00942f1bd2ad806beaf015945ec" "/opt/rustwide/cargo-home/bin/cargo" "+1.94.0" "metadata" "--no-deps" "--format-version=1", kill_on_drop: false }`
[INFO] [stdout] df0c437c9a12b1b734fe96b82b459551cb4536c5a4501c2dbe6f4daf820a1d07
[INFO] running `Command { std: "docker" "start" "-a" "df0c437c9a12b1b734fe96b82b459551cb4536c5a4501c2dbe6f4daf820a1d07", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "inspect" "df0c437c9a12b1b734fe96b82b459551cb4536c5a4501c2dbe6f4daf820a1d07", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "df0c437c9a12b1b734fe96b82b459551cb4536c5a4501c2dbe6f4daf820a1d07", kill_on_drop: false }`
[INFO] [stdout] df0c437c9a12b1b734fe96b82b459551cb4536c5a4501c2dbe6f4daf820a1d07
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-1-tc1/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-1-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=warn" "-e" "RUSTDOCFLAGS=--cap-lints=warn" "-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:d429b63d4308055ea97f60fb1d3dfca48854a00942f1bd2ad806beaf015945ec" "/opt/rustwide/cargo-home/bin/cargo" "+1.94.0" "check" "--frozen" "--all" "--all-targets" "--message-format=json", kill_on_drop: false }`
[INFO] [stdout] 7aef56b2c6df530f6f0b25842210b86ac87ab9381abccd56b110fde2de127392
[INFO] running `Command { std: "docker" "start" "-a" "7aef56b2c6df530f6f0b25842210b86ac87ab9381abccd56b110fde2de127392", kill_on_drop: false }`
[INFO] [stderr] warning: unused manifest key: build
[INFO] [stderr] help: build is a valid .cargo/config.toml key
[INFO] [stderr]    Compiling syn v2.0.102
[INFO] [stderr]    Compiling num-traits v0.2.19
[INFO] [stderr]     Checking anstyle-parse v0.2.7
[INFO] [stderr]    Compiling cc v1.2.26
[INFO] [stderr]     Checking anstyle-query v1.1.3
[INFO] [stderr]     Checking anstyle v1.0.11
[INFO] [stderr]     Checking colorchoice v1.0.4
[INFO] [stderr]    Compiling libc v0.2.172
[INFO] [stderr]     Checking clap_lex v0.7.5
[INFO] [stderr]    Compiling serde v1.0.219
[INFO] [stderr]    Compiling serde_json v1.0.140
[INFO] [stderr]     Checking half v2.6.0
[INFO] [stderr]     Checking anstream v0.6.19
[INFO] [stderr]     Checking plotters-backend v0.3.7
[INFO] [stderr]     Checking regex-syntax v0.8.5
[INFO] [stderr]     Checking plotters-svg v0.3.7
[INFO] [stderr]     Checking clap_builder v4.5.40
[INFO] [stderr]     Checking ciborium-ll v0.2.2
[INFO] [stderr]     Checking itertools v0.10.5
[INFO] [stderr]     Checking cast v0.3.0
[INFO] [stderr]     Checking rustc-hash v2.1.1
[INFO] [stderr]     Checking rayon v1.10.0
[INFO] [stderr]     Checking itertools v0.13.0
[INFO] [stderr]     Checking ordered-float v5.0.0
[INFO] [stderr]     Checking regex-automata v0.4.9
[INFO] [stderr]     Checking plotters v0.3.7
[INFO] [stderr]    Compiling tikv-jemalloc-sys v0.6.0+5.3.0-1-ge13ca993e8ccb9ba9847cc330696e02839f328f7
[INFO] [stderr]     Checking criterion-plot v0.5.0
[INFO] [stderr]     Checking oorandom v11.1.5
[INFO] [stderr]     Checking anes v0.1.6
[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 ciborium v0.2.2
[INFO] [stderr]     Checking tinytemplate v1.2.1
[INFO] [stderr]     Checking criterion v0.6.0
[INFO] [stderr]     Checking tikv-jemalloc-ctl v0.6.0
[INFO] [stderr]     Checking tikv-jemallocator 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] 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: 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: 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: 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" "7aef56b2c6df530f6f0b25842210b86ac87ab9381abccd56b110fde2de127392", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "7aef56b2c6df530f6f0b25842210b86ac87ab9381abccd56b110fde2de127392", kill_on_drop: false }`
[INFO] [stdout] 7aef56b2c6df530f6f0b25842210b86ac87ab9381abccd56b110fde2de127392
