[INFO] fetching crate splr 0.17.1... [INFO] checking splr-0.17.1 against master#385fa9d845dd326c6bbfd58c22244215e431948a for absurd-question-mark-desugar [INFO] extracting crate splr 0.17.1 into /workspace/builds/worker-5-tc1/source [INFO] validating manifest of crates.io crate splr 0.17.1 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 crates.io crate splr 0.17.1 [INFO] removed 0 missing examples [INFO] finished tweaking crates.io crate splr 0.17.1 [INFO] tweaked toml for crates.io crate splr 0.17.1 written to /workspace/builds/worker-5-tc1/source/Cargo.toml [INFO] crate crates.io crate splr 0.17.1 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-5-tc1/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-5-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] 22577025bee0aa8c2ac5d09cc45e0f98f254689548e8058d284f2865f4ecb995 [INFO] running `Command { std: "docker" "start" "-a" "22577025bee0aa8c2ac5d09cc45e0f98f254689548e8058d284f2865f4ecb995", kill_on_drop: false }` [INFO] running `Command { std: "docker" "inspect" "22577025bee0aa8c2ac5d09cc45e0f98f254689548e8058d284f2865f4ecb995", kill_on_drop: false }` [INFO] running `Command { std: "docker" "rm" "-f" "22577025bee0aa8c2ac5d09cc45e0f98f254689548e8058d284f2865f4ecb995", kill_on_drop: false }` [INFO] [stdout] 22577025bee0aa8c2ac5d09cc45e0f98f254689548e8058d284f2865f4ecb995 [INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-5-tc1/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-5-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] c7938782c6b702be3e3059c28ebe9fb44aff9b018047b48f5607d4d9a8ea7671 [INFO] running `Command { std: "docker" "start" "-a" "c7938782c6b702be3e3059c28ebe9fb44aff9b018047b48f5607d4d9a8ea7671", kill_on_drop: false }` [INFO] [stderr] Checking bitflags v2.3.3 [INFO] [stderr] Checking splr v0.17.1 (/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 `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 `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 `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 `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:5:34 [INFO] [stdout] | [INFO] [stdout] 5 | solver::{RestartManager, SolverEvent, StageManager}, [INFO] [stdout] | ^^^^^^^^^^^ [INFO] [stdout] 6 | types::*, [INFO] [stdout] | -------- the item `SolverEvent` 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:338:15 [INFO] [stdout] | [INFO] [stdout] 335 | use super::*; [INFO] [stdout] | -------- the item `Clause` is already imported here [INFO] [stdout] ... [INFO] [stdout] 338 | cdb::{Clause, ClauseDB}, [INFO] [stdout] | ^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: the item `ClauseDB` is imported redundantly [INFO] [stdout] --> src/processor/eliminate.rs:338:23 [INFO] [stdout] | [INFO] [stdout] 335 | use super::*; [INFO] [stdout] | -------- the item `ClauseDB` is already imported here [INFO] [stdout] ... [INFO] [stdout] 338 | cdb::{Clause, ClauseDB}, [INFO] [stdout] | ^^^^^^^^ [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 `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/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 `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 `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:5:34 [INFO] [stdout] | [INFO] [stdout] 5 | solver::{RestartManager, SolverEvent, StageManager}, [INFO] [stdout] | ^^^^^^^^^^^ [INFO] [stdout] 6 | 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:724:9 [INFO] [stdout] | [INFO] [stdout] 723 | use super::*; [INFO] [stdout] | -------- the item `Path` is already imported here [INFO] [stdout] 724 | 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 3.15s [INFO] running `Command { std: "docker" "inspect" "c7938782c6b702be3e3059c28ebe9fb44aff9b018047b48f5607d4d9a8ea7671", kill_on_drop: false }` [INFO] running `Command { std: "docker" "rm" "-f" "c7938782c6b702be3e3059c28ebe9fb44aff9b018047b48f5607d4d9a8ea7671", kill_on_drop: false }` [INFO] [stdout] c7938782c6b702be3e3059c28ebe9fb44aff9b018047b48f5607d4d9a8ea7671