[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 = 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 = 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 = 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 = 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; [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; [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 { [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 { [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 { [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 { [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 { [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 { [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 | >> [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, 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 { [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, 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 { [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, 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 { [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, 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 { [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, 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 { [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, [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 { [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, 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 { [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, 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 { [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>>; [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>(file_path: &PathBuf) -> io::Result> { [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; [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; [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 { [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 { [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 { [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 { [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 { [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 { [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 = 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 = 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; [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; [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 { [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 { [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 { [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 { [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 { [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 { [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 = 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 = 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; [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; [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 { [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 { [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 { [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 { [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 { [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 { [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