[INFO] cloning repository https://github.com/shnarazk/splr [INFO] running `Command { std: "git" "-c" "credential.helper=" "-c" "credential.helper=/workspace/cargo-home/bin/git-credential-null" "clone" "--bare" "https://github.com/shnarazk/splr" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Fshnarazk%2Fsplr", kill_on_drop: false }` [INFO] [stderr] Cloning into bare repository '/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Fshnarazk%2Fsplr'... [INFO] running `Command { std: "git" "rev-parse" "HEAD", kill_on_drop: false }` [INFO] [stdout] a3075f98369ebea98c1b4c426e9b1e710e3fee08 [INFO] checking shnarazk/splr against master#385fa9d845dd326c6bbfd58c22244215e431948a for absurd-question-mark-desugar [INFO] running `Command { std: "git" "clone" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Fshnarazk%2Fsplr" "/workspace/builds/worker-1-tc1/source", kill_on_drop: false }` [INFO] [stderr] Cloning into '/workspace/builds/worker-1-tc1/source'... [INFO] [stderr] done. [INFO] validating manifest of git repo https://github.com/shnarazk/splr on toolchain 385fa9d845dd326c6bbfd58c22244215e431948a [INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+385fa9d845dd326c6bbfd58c22244215e431948a" "metadata" "--manifest-path" "Cargo.toml" "--no-deps", kill_on_drop: false }` [INFO] started tweaking git repo https://github.com/shnarazk/splr [INFO] removed 0 missing examples [INFO] finished tweaking git repo https://github.com/shnarazk/splr [INFO] tweaked toml for git repo https://github.com/shnarazk/splr written to /workspace/builds/worker-1-tc1/source/Cargo.toml [INFO] crate git repo https://github.com/shnarazk/splr 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" "+385fa9d845dd326c6bbfd58c22244215e431948a" "fetch" "--manifest-path" "Cargo.toml", kill_on_drop: false }` [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:2788e3201cd34a07e3172128adcd8b3090168a8e3bcc40d7c032b9dda1df7d1c" "/opt/rustwide/cargo-home/bin/cargo" "+385fa9d845dd326c6bbfd58c22244215e431948a" "metadata" "--no-deps" "--format-version=1", kill_on_drop: false }` [INFO] [stdout] 06a063fb85ccf4ce571e16045b0f36b708c240a6695af92b7e7725b4cd8335c7 [INFO] running `Command { std: "docker" "start" "-a" "06a063fb85ccf4ce571e16045b0f36b708c240a6695af92b7e7725b4cd8335c7", kill_on_drop: false }` [INFO] running `Command { std: "docker" "inspect" "06a063fb85ccf4ce571e16045b0f36b708c240a6695af92b7e7725b4cd8335c7", kill_on_drop: false }` [INFO] running `Command { std: "docker" "rm" "-f" "06a063fb85ccf4ce571e16045b0f36b708c240a6695af92b7e7725b4cd8335c7", kill_on_drop: false }` [INFO] [stdout] 06a063fb85ccf4ce571e16045b0f36b708c240a6695af92b7e7725b4cd8335c7 [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=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:2788e3201cd34a07e3172128adcd8b3090168a8e3bcc40d7c032b9dda1df7d1c" "/opt/rustwide/cargo-home/bin/cargo" "+385fa9d845dd326c6bbfd58c22244215e431948a" "check" "--frozen" "--all" "--all-targets" "--message-format=json", kill_on_drop: false }` [INFO] [stdout] cb8e7caaf2cb04cb9df39ff04a4e0b01fed2f41b8d6303be9025fab2aa396295 [INFO] running `Command { std: "docker" "start" "-a" "cb8e7caaf2cb04cb9df39ff04a4e0b01fed2f41b8d6303be9025fab2aa396295", kill_on_drop: false }` [INFO] [stderr] Checking bitflags v2.5.0 [INFO] [stderr] Checking splr v0.17.3 (/opt/rustwide/workdir) [INFO] [stdout] warning: the item `ClauseId` is imported redundantly [INFO] [stdout] --> src/cdb/binary.rs:2:5 [INFO] [stdout] | [INFO] [stdout] 2 | super::ClauseId, [INFO] [stdout] | ^^^^^^^^^^^^^^^ [INFO] [stdout] 3 | crate::types::*, [INFO] [stdout] | --------------- the item `ClauseId` is already imported here [INFO] [stdout] | [INFO] [stdout] = note: `#[warn(unused_imports)]` on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: the item `Clause` is imported redundantly [INFO] [stdout] --> src/cdb/db.rs:7:43 [INFO] [stdout] | [INFO] [stdout] 7 | BinaryLinkDB, CertificationStore, Clause, ClauseDB, ClauseDBIF, ClauseId, ReductionType, [INFO] [stdout] | ^^^^^^ [INFO] [stdout] ... [INFO] [stdout] 10 | crate::{assign::AssignIF, types::*}, [INFO] [stdout] | -------- the item `Clause` is already imported here [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: the item `ClauseDB` is imported redundantly [INFO] [stdout] --> src/cdb/db.rs:7:51 [INFO] [stdout] | [INFO] [stdout] 7 | BinaryLinkDB, CertificationStore, Clause, ClauseDB, ClauseDBIF, ClauseId, ReductionType, [INFO] [stdout] | ^^^^^^^^ [INFO] [stdout] ... [INFO] [stdout] 10 | crate::{assign::AssignIF, types::*}, [INFO] [stdout] | -------- the item `ClauseDB` is already imported here [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: the item `ClauseId` is imported redundantly [INFO] [stdout] --> src/cdb/db.rs:7:73 [INFO] [stdout] | [INFO] [stdout] 7 | BinaryLinkDB, CertificationStore, Clause, ClauseDB, ClauseDBIF, ClauseId, ReductionType, [INFO] [stdout] | ^^^^^^^^ [INFO] [stdout] ... [INFO] [stdout] 10 | crate::{assign::AssignIF, types::*}, [INFO] [stdout] | -------- the item `ClauseId` is already imported here [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: the item `RefClause` is imported redundantly [INFO] [stdout] --> src/cdb/db.rs:8:9 [INFO] [stdout] | [INFO] [stdout] 8 | RefClause, [INFO] [stdout] | ^^^^^^^^^ [INFO] [stdout] 9 | }, [INFO] [stdout] 10 | crate::{assign::AssignIF, types::*}, [INFO] [stdout] | -------- the item `RefClause` is already imported here [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: the item `ClauseDB` is imported redundantly [INFO] [stdout] --> src/cdb/vivify.rs:5:11 [INFO] [stdout] | [INFO] [stdout] 5 | cdb::{ClauseDB, ClauseDBIF, ClauseIF}, [INFO] [stdout] | ^^^^^^^^ [INFO] [stdout] 6 | state::{Stat, State, StateIF}, [INFO] [stdout] 7 | types::*, [INFO] [stdout] | -------- the item `ClauseDB` is already imported here [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: the item `ClauseIF` is imported redundantly [INFO] [stdout] --> src/cdb/vivify.rs:5:33 [INFO] [stdout] | [INFO] [stdout] 5 | cdb::{ClauseDB, ClauseDBIF, ClauseIF}, [INFO] [stdout] | ^^^^^^^^ [INFO] [stdout] 6 | state::{Stat, State, StateIF}, [INFO] [stdout] 7 | types::*, [INFO] [stdout] | -------- the item `ClauseIF` is already imported here [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: the item `ClauseId` is imported redundantly [INFO] [stdout] --> src/cdb/watch_cache.rs:2:5 [INFO] [stdout] | [INFO] [stdout] 2 | super::ClauseId, [INFO] [stdout] | ^^^^^^^^^^^^^^^ [INFO] [stdout] 3 | crate::types::*, [INFO] [stdout] | --------------- the item `ClauseId` is already imported here [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: the item `ClauseDB` is imported redundantly [INFO] [stdout] --> src/cdb/mod.rs:315:9 [INFO] [stdout] | [INFO] [stdout] 315 | use super::ClauseDB; [INFO] [stdout] | ^^^^^^^^^^^^^^^ [INFO] [stdout] 316 | use crate::types::*; [INFO] [stdout] | --------------- the item `ClauseDB` is already imported here [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: the item `PropagateIF` is imported redundantly [INFO] [stdout] --> src/assign/stack.rs:335:9 [INFO] [stdout] | [INFO] [stdout] 334 | use super::*; [INFO] [stdout] | -------- the item `PropagateIF` is already imported here [INFO] [stdout] 335 | use crate::assign::PropagateIF; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = note: `#[warn(unused_imports)]` on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: the item `ClauseId` is imported redundantly [INFO] [stdout] --> src/cdb/binary.rs:2:5 [INFO] [stdout] | [INFO] [stdout] 2 | super::ClauseId, [INFO] [stdout] | ^^^^^^^^^^^^^^^ [INFO] [stdout] 3 | crate::types::*, [INFO] [stdout] | --------------- the item `ClauseId` is already imported here [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: the item `Clause` is imported redundantly [INFO] [stdout] --> src/cdb/db.rs:7:43 [INFO] [stdout] | [INFO] [stdout] 7 | BinaryLinkDB, CertificationStore, Clause, ClauseDB, ClauseDBIF, ClauseId, ReductionType, [INFO] [stdout] | ^^^^^^ [INFO] [stdout] ... [INFO] [stdout] 10 | crate::{assign::AssignIF, types::*}, [INFO] [stdout] | -------- the item `Clause` is already imported here [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: the item `ClauseDB` is imported redundantly [INFO] [stdout] --> src/cdb/db.rs:7:51 [INFO] [stdout] | [INFO] [stdout] 7 | BinaryLinkDB, CertificationStore, Clause, ClauseDB, ClauseDBIF, ClauseId, ReductionType, [INFO] [stdout] | ^^^^^^^^ [INFO] [stdout] ... [INFO] [stdout] 10 | crate::{assign::AssignIF, types::*}, [INFO] [stdout] | -------- the item `ClauseDB` is already imported here [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: the item `ClauseId` is imported redundantly [INFO] [stdout] --> src/cdb/db.rs:7:73 [INFO] [stdout] | [INFO] [stdout] 7 | BinaryLinkDB, CertificationStore, Clause, ClauseDB, ClauseDBIF, ClauseId, ReductionType, [INFO] [stdout] | ^^^^^^^^ [INFO] [stdout] ... [INFO] [stdout] 10 | crate::{assign::AssignIF, types::*}, [INFO] [stdout] | -------- the item `ClauseId` is already imported here [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: the item `RefClause` is imported redundantly [INFO] [stdout] --> src/cdb/db.rs:8:9 [INFO] [stdout] | [INFO] [stdout] 8 | RefClause, [INFO] [stdout] | ^^^^^^^^^ [INFO] [stdout] 9 | }, [INFO] [stdout] 10 | crate::{assign::AssignIF, types::*}, [INFO] [stdout] | -------- the item `RefClause` is already imported here [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: the item `ClauseDB` is imported redundantly [INFO] [stdout] --> src/cdb/vivify.rs:5:11 [INFO] [stdout] | [INFO] [stdout] 5 | cdb::{ClauseDB, ClauseDBIF, ClauseIF}, [INFO] [stdout] | ^^^^^^^^ [INFO] [stdout] 6 | state::{Stat, State, StateIF}, [INFO] [stdout] 7 | types::*, [INFO] [stdout] | -------- the item `ClauseDB` is already imported here [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: the item `ClauseIF` is imported redundantly [INFO] [stdout] --> src/cdb/vivify.rs:5:33 [INFO] [stdout] | [INFO] [stdout] 5 | cdb::{ClauseDB, ClauseDBIF, ClauseIF}, [INFO] [stdout] | ^^^^^^^^ [INFO] [stdout] 6 | state::{Stat, State, StateIF}, [INFO] [stdout] 7 | types::*, [INFO] [stdout] | -------- the item `ClauseIF` is already imported here [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: the item `ClauseId` is imported redundantly [INFO] [stdout] --> src/cdb/watch_cache.rs:2:5 [INFO] [stdout] | [INFO] [stdout] 2 | super::ClauseId, [INFO] [stdout] | ^^^^^^^^^^^^^^^ [INFO] [stdout] 3 | crate::types::*, [INFO] [stdout] | --------------- the item `ClauseId` is already imported here [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: the item `ClauseDB` is imported redundantly [INFO] [stdout] --> src/cdb/mod.rs:315:9 [INFO] [stdout] | [INFO] [stdout] 315 | use super::ClauseDB; [INFO] [stdout] | ^^^^^^^^^^^^^^^ [INFO] [stdout] 316 | use crate::types::*; [INFO] [stdout] | --------------- the item `ClauseDB` is already imported here [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: the item `Path` is imported redundantly [INFO] [stdout] --> src/cnf/mod.rs:219:9 [INFO] [stdout] | [INFO] [stdout] 218 | use super::*; [INFO] [stdout] | -------- the item `Path` is already imported here [INFO] [stdout] 219 | use std::path::Path; [INFO] [stdout] | ^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: the item `Config` is imported redundantly [INFO] [stdout] --> src/config.rs:425:9 [INFO] [stdout] | [INFO] [stdout] 425 | use super::Config; [INFO] [stdout] | ^^^^^^^^^^^^^ [INFO] [stdout] 426 | use crate::types::*; [INFO] [stdout] | --------------- the item `Config` is already imported here [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: the item `SolverEvent` is imported redundantly [INFO] [stdout] --> src/processor/eliminate.rs:4:48 [INFO] [stdout] | [INFO] [stdout] 4 | crate::{assign::AssignIF, cdb::ClauseDBIF, solver::SolverEvent, state::State, types::*}, [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^ -------- the item `SolverEvent` is already imported here [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: the item `Clause` is imported redundantly [INFO] [stdout] --> src/processor/eliminate.rs:337:15 [INFO] [stdout] | [INFO] [stdout] 334 | use super::*; [INFO] [stdout] | -------- the item `Clause` is already imported here [INFO] [stdout] ... [INFO] [stdout] 337 | cdb::{Clause, ClauseDB}, [INFO] [stdout] | ^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: the item `ClauseDB` is imported redundantly [INFO] [stdout] --> src/processor/eliminate.rs:337:23 [INFO] [stdout] | [INFO] [stdout] 334 | use super::*; [INFO] [stdout] | -------- the item `ClauseDB` is already imported here [INFO] [stdout] ... [INFO] [stdout] 337 | cdb::{Clause, ClauseDB}, [INFO] [stdout] | ^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: the item `Config` is imported redundantly [INFO] [stdout] --> src/config.rs:425:9 [INFO] [stdout] | [INFO] [stdout] 425 | use super::Config; [INFO] [stdout] | ^^^^^^^^^^^^^ [INFO] [stdout] 426 | use crate::types::*; [INFO] [stdout] | --------------- the item `Config` is already imported here [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: the item `SolverEvent` is imported redundantly [INFO] [stdout] --> src/processor/eliminate.rs:4:48 [INFO] [stdout] | [INFO] [stdout] 4 | crate::{assign::AssignIF, cdb::ClauseDBIF, solver::SolverEvent, state::State, types::*}, [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^ -------- the item `SolverEvent` is already imported here [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: the item `SolverEvent` is imported redundantly [INFO] [stdout] --> src/solver/build.rs:3:34 [INFO] [stdout] | [INFO] [stdout] 3 | super::{Certificate, Solver, SolverEvent, SolverResult, State, StateIF}, [INFO] [stdout] | ^^^^^^^^^^^ [INFO] [stdout] ... [INFO] [stdout] 7 | types::*, [INFO] [stdout] | -------- the item `SolverEvent` is already imported here [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: the item `EliminateIF` is imported redundantly [INFO] [stdout] --> src/processor/mod.rs:113:42 [INFO] [stdout] | [INFO] [stdout] 112 | use super::*; [INFO] [stdout] | -------- the item `EliminateIF` is already imported here [INFO] [stdout] 113 | use crate::{assign::VarManipulateIF, processor::EliminateIF, solver::Solver}; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: the item `ClauseDB` is imported redundantly [INFO] [stdout] --> src/solver/build.rs:6:15 [INFO] [stdout] | [INFO] [stdout] 6 | cdb::{ClauseDB, ClauseDBIF}, [INFO] [stdout] | ^^^^^^^^ [INFO] [stdout] 7 | types::*, [INFO] [stdout] | -------- the item `ClauseDB` is already imported here [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: the item `SolverEvent` is imported redundantly [INFO] [stdout] --> src/solver/build.rs:3:34 [INFO] [stdout] | [INFO] [stdout] 3 | super::{Certificate, Solver, SolverEvent, SolverResult, State, StateIF}, [INFO] [stdout] | ^^^^^^^^^^^ [INFO] [stdout] ... [INFO] [stdout] 7 | types::*, [INFO] [stdout] | -------- the item `SolverEvent` is already imported here [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: the item `ClauseDB` is imported redundantly [INFO] [stdout] --> src/solver/conflict.rs:10:15 [INFO] [stdout] | [INFO] [stdout] 10 | cdb::{ClauseDB, ClauseDBIF}, [INFO] [stdout] | ^^^^^^^^ [INFO] [stdout] 11 | types::*, [INFO] [stdout] | -------- the item `ClauseDB` is already imported here [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: the item `ClauseDB` is imported redundantly [INFO] [stdout] --> src/solver/build.rs:6:15 [INFO] [stdout] | [INFO] [stdout] 6 | cdb::{ClauseDB, ClauseDBIF}, [INFO] [stdout] | ^^^^^^^^ [INFO] [stdout] 7 | types::*, [INFO] [stdout] | -------- the item `ClauseDB` is already imported here [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: the item `SolverEvent` is imported redundantly [INFO] [stdout] --> src/solver/search.rs:4:77 [INFO] [stdout] | [INFO] [stdout] 4 | conflict::handle_conflict, restart::RestartIF, Certificate, Solver, SolverEvent, [INFO] [stdout] | ^^^^^^^^^^^ [INFO] [stdout] ... [INFO] [stdout] 12 | types::*, [INFO] [stdout] | -------- the item `SolverEvent` is already imported here [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: the item `ClauseDB` is imported redundantly [INFO] [stdout] --> src/solver/search.rs:9:21 [INFO] [stdout] | [INFO] [stdout] 9 | cdb::{self, ClauseDB, ClauseDBIF, ReductionType, VivifyIF}, [INFO] [stdout] | ^^^^^^^^ [INFO] [stdout] ... [INFO] [stdout] 12 | types::*, [INFO] [stdout] | -------- the item `ClauseDB` is already imported here [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: the item `ClauseDB` is imported redundantly [INFO] [stdout] --> src/solver/conflict.rs:10:15 [INFO] [stdout] | [INFO] [stdout] 10 | cdb::{ClauseDB, ClauseDBIF}, [INFO] [stdout] | ^^^^^^^^ [INFO] [stdout] 11 | types::*, [INFO] [stdout] | -------- the item `ClauseDB` is already imported here [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: the item `ClauseDB` is imported redundantly [INFO] [stdout] --> src/solver/mod.rs:23:34 [INFO] [stdout] | [INFO] [stdout] 23 | use crate::{assign::AssignStack, cdb::ClauseDB, state::*, types::*}; [INFO] [stdout] | ^^^^^^^^^^^^^ -------- the item `ClauseDB` is already imported here [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: the item `SolverEvent` is imported redundantly [INFO] [stdout] --> src/state.rs:9:34 [INFO] [stdout] | [INFO] [stdout] 9 | solver::{RestartManager, SolverEvent, StageManager}, [INFO] [stdout] | ^^^^^^^^^^^ [INFO] [stdout] 10 | types::*, [INFO] [stdout] | -------- the item `SolverEvent` is already imported here [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: the item `SolverEvent` is imported redundantly [INFO] [stdout] --> src/solver/search.rs:4:77 [INFO] [stdout] | [INFO] [stdout] 4 | conflict::handle_conflict, restart::RestartIF, Certificate, Solver, SolverEvent, [INFO] [stdout] | ^^^^^^^^^^^ [INFO] [stdout] ... [INFO] [stdout] 12 | types::*, [INFO] [stdout] | -------- the item `SolverEvent` is already imported here [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: the item `ClauseDB` is imported redundantly [INFO] [stdout] --> src/solver/search.rs:9:21 [INFO] [stdout] | [INFO] [stdout] 9 | cdb::{self, ClauseDB, ClauseDBIF, ReductionType, VivifyIF}, [INFO] [stdout] | ^^^^^^^^ [INFO] [stdout] ... [INFO] [stdout] 12 | types::*, [INFO] [stdout] | -------- the item `ClauseDB` is already imported here [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: the item `ClauseDB` is imported redundantly [INFO] [stdout] --> src/solver/mod.rs:23:34 [INFO] [stdout] | [INFO] [stdout] 23 | use crate::{assign::AssignStack, cdb::ClauseDB, state::*, types::*}; [INFO] [stdout] | ^^^^^^^^^^^^^ -------- the item `ClauseDB` is already imported here [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: the item `SolverEvent` is imported redundantly [INFO] [stdout] --> src/state.rs:9:34 [INFO] [stdout] | [INFO] [stdout] 9 | solver::{RestartManager, SolverEvent, StageManager}, [INFO] [stdout] | ^^^^^^^^^^^ [INFO] [stdout] 10 | types::*, [INFO] [stdout] | -------- the item `SolverEvent` is already imported here [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: the item `Path` is imported redundantly [INFO] [stdout] --> src/types.rs:718:9 [INFO] [stdout] | [INFO] [stdout] 717 | use super::*; [INFO] [stdout] | -------- the item `Path` is already imported here [INFO] [stdout] 718 | use std::path::Path; [INFO] [stdout] | ^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: method `rebuild` is never used [INFO] [stdout] --> src/processor/heap.rs:13:8 [INFO] [stdout] | [INFO] [stdout] 7 | pub trait VarOrderIF { [INFO] [stdout] | ---------- method in this trait [INFO] [stdout] ... [INFO] [stdout] 13 | fn rebuild(&mut self, asg: &impl AssignIF, occur: &[LitOccurs]); [INFO] [stdout] | ^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = note: `#[warn(dead_code)]` on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: 19 warnings emitted [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: method `rebuild` is never used [INFO] [stdout] --> src/processor/heap.rs:13:8 [INFO] [stdout] | [INFO] [stdout] 7 | pub trait VarOrderIF { [INFO] [stdout] | ---------- method in this trait [INFO] [stdout] ... [INFO] [stdout] 13 | fn rebuild(&mut self, asg: &impl AssignIF, occur: &[LitOccurs]); [INFO] [stdout] | ^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = note: `#[warn(dead_code)]` on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: 25 warnings emitted [INFO] [stdout] [INFO] [stdout] [INFO] [stderr] Finished `dev` profile [unoptimized + debuginfo] target(s) in 2.16s [INFO] running `Command { std: "docker" "inspect" "cb8e7caaf2cb04cb9df39ff04a4e0b01fed2f41b8d6303be9025fab2aa396295", kill_on_drop: false }` [INFO] running `Command { std: "docker" "rm" "-f" "cb8e7caaf2cb04cb9df39ff04a4e0b01fed2f41b8d6303be9025fab2aa396295", kill_on_drop: false }` [INFO] [stdout] cb8e7caaf2cb04cb9df39ff04a4e0b01fed2f41b8d6303be9025fab2aa396295