[INFO] cloning repository https://github.com/Hinogary/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/Hinogary/sat-solver" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2FHinogary%2Fsat-solver", kill_on_drop: false }` [INFO] [stderr] Cloning into bare repository '/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2FHinogary%2Fsat-solver'... [INFO] running `Command { std: "git" "rev-parse" "HEAD", kill_on_drop: false }` [INFO] [stdout] 7c8b9f9572ce65dfb07705bc04d5e11151d1b1b2 [INFO] checking Hinogary/sat-solver against try#81275a1445c7502a974118e0c69b795ab60be991 for pr-80243 [INFO] running `Command { std: "git" "clone" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2FHinogary%2Fsat-solver" "/workspace/builds/worker-8/source", kill_on_drop: false }` [INFO] [stderr] Cloning into '/workspace/builds/worker-8/source'... [INFO] [stderr] done. [INFO] validating manifest of git repo https://github.com/Hinogary/sat-solver on toolchain 81275a1445c7502a974118e0c69b795ab60be991 [INFO] running `Command { std: "/workspace/cargo-home/bin/cargo" "+81275a1445c7502a974118e0c69b795ab60be991" "read-manifest" "--manifest-path" "Cargo.toml", kill_on_drop: false }` [INFO] started tweaking git repo https://github.com/Hinogary/sat-solver [INFO] finished tweaking git repo https://github.com/Hinogary/sat-solver [INFO] tweaked toml for git repo https://github.com/Hinogary/sat-solver written to /workspace/builds/worker-8/source/Cargo.toml [INFO] crate git repo https://github.com/Hinogary/sat-solver already has a lockfile, it will not be regenerated [INFO] running `Command { std: "/workspace/cargo-home/bin/cargo" "+81275a1445c7502a974118e0c69b795ab60be991" "fetch" "--locked" "--manifest-path" "Cargo.toml", kill_on_drop: false }` [INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-8/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-8/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" "rustops/crates-build-env@sha256:c8ac004eab7d63a0ad09a2dde3d3353ba464f767bee4de425dc8f74c46a1905e" "/opt/rustwide/cargo-home/bin/cargo" "+81275a1445c7502a974118e0c69b795ab60be991" "metadata" "--no-deps" "--format-version=1", kill_on_drop: false }` [INFO] [stdout] 038f6f7a4fcdc31b77e661e27e1cb6fd071c5218d97e3541be309db396af9d57 [INFO] [stderr] WARNING: Your kernel does not support swap limit capabilities or the cgroup is not mounted. Memory limited without swap. [INFO] running `Command { std: "docker" "start" "-a" "038f6f7a4fcdc31b77e661e27e1cb6fd071c5218d97e3541be309db396af9d57", kill_on_drop: false }` [INFO] running `Command { std: "docker" "inspect" "038f6f7a4fcdc31b77e661e27e1cb6fd071c5218d97e3541be309db396af9d57", kill_on_drop: false }` [INFO] running `Command { std: "docker" "rm" "-f" "038f6f7a4fcdc31b77e661e27e1cb6fd071c5218d97e3541be309db396af9d57", kill_on_drop: false }` [INFO] [stdout] 038f6f7a4fcdc31b77e661e27e1cb6fd071c5218d97e3541be309db396af9d57 [INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-8/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-8/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" "CARGO_HOME=/opt/rustwide/cargo-home" "-e" "RUSTUP_HOME=/opt/rustwide/rustup-home" "-w" "/opt/rustwide/workdir" "-m" "1610612736" "--user" "0:0" "--network" "none" "rustops/crates-build-env@sha256:c8ac004eab7d63a0ad09a2dde3d3353ba464f767bee4de425dc8f74c46a1905e" "/opt/rustwide/cargo-home/bin/cargo" "+81275a1445c7502a974118e0c69b795ab60be991" "check" "--frozen" "--all" "--all-targets" "--message-format=json", kill_on_drop: false }` [INFO] [stdout] 2d2047dc6a21244ae7c83de2ca2ed9f57029ad049d224a65e898e8533bd3fdef [INFO] [stderr] WARNING: Your kernel does not support swap limit capabilities or the cgroup is not mounted. Memory limited without swap. [INFO] running `Command { std: "docker" "start" "-a" "2d2047dc6a21244ae7c83de2ca2ed9f57029ad049d224a65e898e8533bd3fdef", kill_on_drop: false }` [INFO] [stderr] Compiling unicode-xid v0.2.1 [INFO] [stderr] Compiling regex-syntax v0.6.21 [INFO] [stderr] Compiling beef v0.4.4 [INFO] [stderr] Compiling fnv v1.0.7 [INFO] [stderr] Checking either v1.6.1 [INFO] [stderr] Compiling proc-macro2 v1.0.24 [INFO] [stderr] Checking itertools v0.9.0 [INFO] [stderr] Compiling quote v1.0.7 [INFO] [stderr] Compiling syn v1.0.54 [INFO] [stderr] Compiling logos-derive v0.11.5 [INFO] [stderr] Checking logos v0.11.4 [INFO] [stderr] Checking sat-solver v0.1.0 (/opt/rustwide/workdir) [INFO] [stdout] warning: unused import: `str_to_clause` [INFO] [stdout] --> src/main.rs:275:15 [INFO] [stdout] | [INFO] [stdout] 275 | use parsing::{str_to_clause, str_to_clauses}; [INFO] [stdout] | ^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = note: `#[warn(unused_imports)]` on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning[E0170]: pattern binding `Undef` is named the same as one of the variants of the type `VarSource` [INFO] [stdout] --> src/main.rs:204:13 [INFO] [stdout] | [INFO] [stdout] 204 | Undef => MaybeBool::undef(), [INFO] [stdout] | ^^^^^ help: to match on the variant, qualify the path: `VarSource::Undef` [INFO] [stdout] | [INFO] [stdout] = note: `#[warn(bindings_with_variant_name)]` on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `Undef` [INFO] [stdout] --> src/main.rs:204:13 [INFO] [stdout] | [INFO] [stdout] 204 | Undef => MaybeBool::undef(), [INFO] [stdout] | ^^^^^ help: if this is intentional, prefix it with an underscore: `_Undef` [INFO] [stdout] | [INFO] [stdout] = note: `#[warn(unused_variables)]` on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `search_state` [INFO] [stdout] --> src/main.rs:240:34 [INFO] [stdout] | [INFO] [stdout] 240 | fn choose_variable_to_assign(search_state: &SearchState){ [INFO] [stdout] | ^^^^^^^^^^^^ help: if this is intentional, prefix it with an underscore: `_search_state` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `var` [INFO] [stdout] --> src/main.rs:243:24 [INFO] [stdout] | [INFO] [stdout] 243 | fn select_variable(var: Var){ [INFO] [stdout] | ^^^ help: if this is intentional, prefix it with an underscore: `_var` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `var` [INFO] [stdout] --> src/main.rs:246:26 [INFO] [stdout] | [INFO] [stdout] 246 | fn deselect_variable(var: Var){ [INFO] [stdout] | ^^^ help: if this is intentional, prefix it with an underscore: `_var` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning[E0170]: pattern binding `Undef` is named the same as one of the variants of the type `VarSource` [INFO] [stdout] --> src/main.rs:204:13 [INFO] [stdout] | [INFO] [stdout] 204 | Undef => MaybeBool::undef(), [INFO] [stdout] | ^^^^^ help: to match on the variant, qualify the path: `VarSource::Undef` [INFO] [stdout] | [INFO] [stdout] = note: `#[warn(bindings_with_variant_name)]` on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `Undef` [INFO] [stdout] --> src/main.rs:204:13 [INFO] [stdout] | [INFO] [stdout] 204 | Undef => MaybeBool::undef(), [INFO] [stdout] | ^^^^^ help: if this is intentional, prefix it with an underscore: `_Undef` [INFO] [stdout] | [INFO] [stdout] = note: `#[warn(unused_variables)]` on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variable does not need to be mutable [INFO] [stdout] --> src/main.rs:643:13 [INFO] [stdout] | [INFO] [stdout] 643 | let mut conflict_plane: UnsafeCell<_> = conflict_plane.into(); [INFO] [stdout] | ----^^^^^^^^^^^^^^ [INFO] [stdout] | | [INFO] [stdout] | help: remove this `mut` [INFO] [stdout] | [INFO] [stdout] = note: `#[warn(unused_mut)]` on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `search_state` [INFO] [stdout] --> src/main.rs:240:34 [INFO] [stdout] | [INFO] [stdout] 240 | fn choose_variable_to_assign(search_state: &SearchState){ [INFO] [stdout] | ^^^^^^^^^^^^ help: if this is intentional, prefix it with an underscore: `_search_state` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `var` [INFO] [stdout] --> src/main.rs:243:24 [INFO] [stdout] | [INFO] [stdout] 243 | fn select_variable(var: Var){ [INFO] [stdout] | ^^^ help: if this is intentional, prefix it with an underscore: `_var` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `var` [INFO] [stdout] --> src/main.rs:246:26 [INFO] [stdout] | [INFO] [stdout] 246 | fn deselect_variable(var: Var){ [INFO] [stdout] | ^^^ help: if this is intentional, prefix it with an underscore: `_var` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: associated function is never used: `into_inner` [INFO] [stdout] --> src/main.rs:33:8 [INFO] [stdout] | [INFO] [stdout] 33 | fn into_inner(self) -> Option { [INFO] [stdout] | ^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = note: `#[warn(dead_code)]` on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: associated function is never used: `into_maybe_bool` [INFO] [stdout] --> src/main.rs:57:8 [INFO] [stdout] | [INFO] [stdout] 57 | fn into_maybe_bool(self) -> MaybeBool { [INFO] [stdout] | ^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: associated function is never used: `is_empty` [INFO] [stdout] --> src/main.rs:182:8 [INFO] [stdout] | [INFO] [stdout] 182 | fn is_empty(&self) -> bool { [INFO] [stdout] | ^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: field is never read: `trail` [INFO] [stdout] --> src/main.rs:252:5 [INFO] [stdout] | [INFO] [stdout] 252 | trail: Vec, [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: field is never read: `deductions` [INFO] [stdout] --> src/main.rs:253:5 [INFO] [stdout] | [INFO] [stdout] 253 | deductions: Vec<(Var, usize)> [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: function is never used: `test_dimacs_parser` [INFO] [stdout] --> src/parsing.rs:316:8 [INFO] [stdout] | [INFO] [stdout] 316 | fn test_dimacs_parser() {} [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused `std::result::Result` that must be used [INFO] [stdout] --> src/main.rs:68:13 [INFO] [stdout] | [INFO] [stdout] 68 | write!(f, "~"); [INFO] [stdout] | ^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = note: `#[warn(unused_must_use)]` on by default [INFO] [stdout] = note: this `Result` may be an `Err` variant, which should be handled [INFO] [stdout] = note: this warning originates in a macro (in Nightly builds, run with -Z macro-backtrace for more info) [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused `std::result::Result` that must be used [INFO] [stdout] --> src/main.rs:132:9 [INFO] [stdout] | [INFO] [stdout] 132 | write!(f, "("); [INFO] [stdout] | ^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = note: this `Result` may be an `Err` variant, which should be handled [INFO] [stdout] = note: this warning originates in a macro (in Nightly builds, run with -Z macro-backtrace for more info) [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused `std::result::Result` that must be used [INFO] [stdout] --> src/main.rs:134:13 [INFO] [stdout] | [INFO] [stdout] 134 | write!(f, "{}", lit); [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = note: this `Result` may be an `Err` variant, which should be handled [INFO] [stdout] = note: this warning originates in a macro (in Nightly builds, run with -Z macro-backtrace for more info) [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused `std::result::Result` that must be used [INFO] [stdout] --> src/main.rs:137:13 [INFO] [stdout] | [INFO] [stdout] 137 | write!(f, " v {}", lit); [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = note: this `Result` may be an `Err` variant, which should be handled [INFO] [stdout] = note: this warning originates in a macro (in Nightly builds, run with -Z macro-backtrace for more info) [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variable `Undef` should have a snake case name [INFO] [stdout] --> src/main.rs:204:13 [INFO] [stdout] | [INFO] [stdout] 204 | Undef => MaybeBool::undef(), [INFO] [stdout] | ^^^^^ help: convert the identifier to snake case (notice the capitalization): `undef` [INFO] [stdout] | [INFO] [stdout] = note: `#[warn(non_snake_case)]` on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variable does not need to be mutable [INFO] [stdout] --> src/main.rs:643:13 [INFO] [stdout] | [INFO] [stdout] 643 | let mut conflict_plane: UnsafeCell<_> = conflict_plane.into(); [INFO] [stdout] | ----^^^^^^^^^^^^^^ [INFO] [stdout] | | [INFO] [stdout] | help: remove this `mut` [INFO] [stdout] | [INFO] [stdout] = note: `#[warn(unused_mut)]` on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: 17 warnings emitted [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] For more information about this error, try `rustc --explain E0170`. [INFO] [stdout] [INFO] [stdout] warning: associated function is never used: `into_inner` [INFO] [stdout] --> src/main.rs:33:8 [INFO] [stdout] | [INFO] [stdout] 33 | fn into_inner(self) -> Option { [INFO] [stdout] | ^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = note: `#[warn(dead_code)]` on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: associated function is never used: `into_maybe_bool` [INFO] [stdout] --> src/main.rs:57:8 [INFO] [stdout] | [INFO] [stdout] 57 | fn into_maybe_bool(self) -> MaybeBool { [INFO] [stdout] | ^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: associated function is never used: `is_empty` [INFO] [stdout] --> src/main.rs:182:8 [INFO] [stdout] | [INFO] [stdout] 182 | fn is_empty(&self) -> bool { [INFO] [stdout] | ^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: field is never read: `trail` [INFO] [stdout] --> src/main.rs:252:5 [INFO] [stdout] | [INFO] [stdout] 252 | trail: Vec, [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: field is never read: `deductions` [INFO] [stdout] --> src/main.rs:253:5 [INFO] [stdout] | [INFO] [stdout] 253 | deductions: Vec<(Var, usize)> [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: function is never used: `str_to_clause` [INFO] [stdout] --> src/parsing.rs:69:8 [INFO] [stdout] | [INFO] [stdout] 69 | pub fn str_to_clause(clause: &str) -> Clause { [INFO] [stdout] | ^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: function is never used: `dimacs` [INFO] [stdout] --> src/parsing.rs:115:8 [INFO] [stdout] | [INFO] [stdout] 115 | pub fn dimacs(dimacs: &str) -> Vec { [INFO] [stdout] | ^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused `std::result::Result` that must be used [INFO] [stdout] --> src/main.rs:68:13 [INFO] [stdout] | [INFO] [stdout] 68 | write!(f, "~"); [INFO] [stdout] | ^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = note: `#[warn(unused_must_use)]` on by default [INFO] [stdout] = note: this `Result` may be an `Err` variant, which should be handled [INFO] [stdout] = note: this warning originates in a macro (in Nightly builds, run with -Z macro-backtrace for more info) [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused `std::result::Result` that must be used [INFO] [stdout] --> src/main.rs:132:9 [INFO] [stdout] | [INFO] [stdout] 132 | write!(f, "("); [INFO] [stdout] | ^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = note: this `Result` may be an `Err` variant, which should be handled [INFO] [stdout] = note: this warning originates in a macro (in Nightly builds, run with -Z macro-backtrace for more info) [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused `std::result::Result` that must be used [INFO] [stdout] --> src/main.rs:134:13 [INFO] [stdout] | [INFO] [stdout] 134 | write!(f, "{}", lit); [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = note: this `Result` may be an `Err` variant, which should be handled [INFO] [stdout] = note: this warning originates in a macro (in Nightly builds, run with -Z macro-backtrace for more info) [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused `std::result::Result` that must be used [INFO] [stdout] --> src/main.rs:137:13 [INFO] [stdout] | [INFO] [stdout] 137 | write!(f, " v {}", lit); [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = note: this `Result` may be an `Err` variant, which should be handled [INFO] [stdout] = note: this warning originates in a macro (in Nightly builds, run with -Z macro-backtrace for more info) [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variable `Undef` should have a snake case name [INFO] [stdout] --> src/main.rs:204:13 [INFO] [stdout] | [INFO] [stdout] 204 | Undef => MaybeBool::undef(), [INFO] [stdout] | ^^^^^ help: convert the identifier to snake case (notice the capitalization): `undef` [INFO] [stdout] | [INFO] [stdout] = note: `#[warn(non_snake_case)]` on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: 19 warnings emitted [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] For more information about this error, try `rustc --explain E0170`. [INFO] [stdout] [INFO] [stderr] Finished dev [unoptimized + debuginfo] target(s) in 37.03s [INFO] running `Command { std: "docker" "inspect" "2d2047dc6a21244ae7c83de2ca2ed9f57029ad049d224a65e898e8533bd3fdef", kill_on_drop: false }` [INFO] running `Command { std: "docker" "rm" "-f" "2d2047dc6a21244ae7c83de2ca2ed9f57029ad049d224a65e898e8533bd3fdef", kill_on_drop: false }` [INFO] [stdout] 2d2047dc6a21244ae7c83de2ca2ed9f57029ad049d224a65e898e8533bd3fdef