[INFO] cloning repository https://github.com/danielclarke/sat [INFO] running `Command { std: "git" "-c" "credential.helper=" "-c" "credential.helper=/workspace/cargo-home/bin/git-credential-null" "clone" "--bare" "https://github.com/danielclarke/sat" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Fdanielclarke%2Fsat", kill_on_drop: false }` [INFO] [stderr] Cloning into bare repository '/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Fdanielclarke%2Fsat'... [INFO] running `Command { std: "git" "rev-parse" "HEAD", kill_on_drop: false }` [INFO] [stdout] 20655d60f318a67ffa0c36cac0f82dc077d45b9c [INFO] checking danielclarke/sat/20655d60f318a67ffa0c36cac0f82dc077d45b9c against master#ab869e094a907cc5d19b4080f22eccaf347f1f95 for pr-129604 [INFO] running `Command { std: "git" "clone" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Fdanielclarke%2Fsat" "/workspace/builds/worker-4-tc1/source", kill_on_drop: false }` [INFO] [stderr] Cloning into '/workspace/builds/worker-4-tc1/source'... [INFO] [stderr] done. [INFO] validating manifest of git repo https://github.com/danielclarke/sat on toolchain ab869e094a907cc5d19b4080f22eccaf347f1f95 [INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+ab869e094a907cc5d19b4080f22eccaf347f1f95" "metadata" "--manifest-path" "Cargo.toml" "--no-deps", kill_on_drop: false }` [INFO] started tweaking git repo https://github.com/danielclarke/sat [INFO] finished tweaking git repo https://github.com/danielclarke/sat [INFO] tweaked toml for git repo https://github.com/danielclarke/sat written to /workspace/builds/worker-4-tc1/source/Cargo.toml [INFO] crate git repo https://github.com/danielclarke/sat 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" "+ab869e094a907cc5d19b4080f22eccaf347f1f95" "fetch" "--manifest-path" "Cargo.toml", kill_on_drop: false }` [INFO] [stderr] Updating crates.io index [INFO] [stderr] Downloading crates ... [INFO] [stderr] Downloaded minisat v0.4.4 [INFO] [stderr] Downloaded clang-sys v0.26.4 [INFO] [stderr] Downloaded bindgen v0.42.3 [INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-4-tc1/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-4-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:923055f121b5182466d55868a8b05e67af8ba4a3a3f6bad814e953ca3cd3ac2a" "/opt/rustwide/cargo-home/bin/cargo" "+ab869e094a907cc5d19b4080f22eccaf347f1f95" "metadata" "--no-deps" "--format-version=1", kill_on_drop: false }` [INFO] [stdout] e60b5cb3322179c231a93020dccb5aef90dc92fc2825eaf005f067ee3a425679 [INFO] running `Command { std: "docker" "start" "-a" "e60b5cb3322179c231a93020dccb5aef90dc92fc2825eaf005f067ee3a425679", kill_on_drop: false }` [INFO] running `Command { std: "docker" "inspect" "e60b5cb3322179c231a93020dccb5aef90dc92fc2825eaf005f067ee3a425679", kill_on_drop: false }` [INFO] running `Command { std: "docker" "rm" "-f" "e60b5cb3322179c231a93020dccb5aef90dc92fc2825eaf005f067ee3a425679", kill_on_drop: false }` [INFO] [stdout] e60b5cb3322179c231a93020dccb5aef90dc92fc2825eaf005f067ee3a425679 [INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-4-tc1/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-4-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:923055f121b5182466d55868a8b05e67af8ba4a3a3f6bad814e953ca3cd3ac2a" "/opt/rustwide/cargo-home/bin/cargo" "+ab869e094a907cc5d19b4080f22eccaf347f1f95" "check" "--frozen" "--all" "--all-targets" "--message-format=json", kill_on_drop: false }` [INFO] [stdout] bf9e39807a935c356f1f2dff34c2dbc29f3d84bae9d2cdc6393f720cc23bec58 [INFO] running `Command { std: "docker" "start" "-a" "bf9e39807a935c356f1f2dff34c2dbc29f3d84bae9d2cdc6393f720cc23bec58", kill_on_drop: false }` [INFO] [stderr] Compiling libc v0.2.153 [INFO] [stderr] Compiling memchr v2.7.1 [INFO] [stderr] Compiling version_check v0.1.5 [INFO] [stderr] Compiling cc v1.0.90 [INFO] [stderr] Compiling glob v0.2.11 [INFO] [stderr] Compiling proc-macro2 v1.0.78 [INFO] [stderr] Compiling regex-syntax v0.8.2 [INFO] [stderr] Compiling unicode-width v0.1.11 [INFO] [stderr] Compiling unicode-ident v1.0.12 [INFO] [stderr] Compiling quick-error v1.2.3 [INFO] [stderr] Compiling unicode-xid v0.1.0 [INFO] [stderr] Compiling proc-macro2 v0.3.5 [INFO] [stderr] Compiling clang-sys v0.26.4 [INFO] [stderr] Compiling nom v4.2.3 [INFO] [stderr] Compiling aho-corasick v1.1.2 [INFO] [stderr] Compiling humantime v1.3.0 [INFO] [stderr] Compiling textwrap v0.11.0 [INFO] [stderr] Compiling ansi_term v0.12.1 [INFO] [stderr] Compiling log v0.4.21 [INFO] [stderr] Compiling termcolor v1.4.1 [INFO] [stderr] Compiling atty v0.2.14 [INFO] [stderr] Compiling bitflags v1.3.2 [INFO] [stderr] Compiling strsim v0.8.0 [INFO] [stderr] Compiling bindgen v0.42.3 [INFO] [stderr] Compiling vec_map v0.8.2 [INFO] [stderr] Compiling clap v2.34.0 [INFO] [stderr] Compiling cexpr v0.3.6 [INFO] [stderr] Compiling which v1.0.5 [INFO] [stderr] Compiling quote v0.5.2 [INFO] [stderr] Compiling quote v1.0.35 [INFO] [stderr] Compiling cfg-if v0.1.10 [INFO] [stderr] Compiling lazy_static v1.4.0 [INFO] [stderr] Compiling peeking_take_while v0.1.2 [INFO] [stderr] Compiling libloading v0.5.2 [INFO] [stderr] Compiling syn v2.0.52 [INFO] [stderr] Compiling serde v1.0.197 [INFO] [stderr] Compiling regex-automata v0.4.6 [INFO] [stderr] Checking either v1.10.0 [INFO] [stderr] Checking itertools v0.8.2 [INFO] [stderr] Checking csv-core v0.1.11 [INFO] [stderr] Checking itoa v1.0.10 [INFO] [stderr] Checking ryu v1.0.17 [INFO] [stderr] Compiling serde_derive v1.0.197 [INFO] [stderr] Compiling regex v1.10.3 [INFO] [stderr] Compiling env_logger v0.5.13 [INFO] [stderr] Compiling minisat v0.4.4 [INFO] [stderr] Checking csv v1.3.0 [INFO] [stderr] Checking sat v0.1.0 (/opt/rustwide/workdir) [INFO] [stdout] warning: unused import: `festival_scheduler::Scheduler` [INFO] [stdout] --> src/main.rs:3:5 [INFO] [stdout] | [INFO] [stdout] 3 | use festival_scheduler::Scheduler; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = note: `#[warn(unused_imports)]` on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `utils::read_lines` [INFO] [stdout] --> src/festival_scheduler.rs:3:5 [INFO] [stdout] | [INFO] [stdout] 3 | utils::read_lines, [INFO] [stdout] | ^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `festival_scheduler::Scheduler` [INFO] [stdout] --> src/main.rs:3:5 [INFO] [stdout] | [INFO] [stdout] 3 | use festival_scheduler::Scheduler; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = note: `#[warn(unused_imports)]` on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `utils::read_lines` [INFO] [stdout] --> src/festival_scheduler.rs:3:5 [INFO] [stdout] | [INFO] [stdout] 3 | utils::read_lines, [INFO] [stdout] | ^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: field `data` is never read [INFO] [stdout] --> src/adjaceny_list.rs:3:5 [INFO] [stdout] | [INFO] [stdout] 2 | struct AdjacencySubList { [INFO] [stdout] | ---------------- field in this struct [INFO] [stdout] 3 | data: Vec, [INFO] [stdout] | ^^^^ [INFO] [stdout] | [INFO] [stdout] = note: `AdjacencySubList` has a derived impl for the trait `Clone`, but this is intentionally ignored during dead code analysis [INFO] [stdout] = note: `#[warn(dead_code)]` on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: associated items `new`, `get`, `push`, and `clear` are never used [INFO] [stdout] --> src/adjaceny_list.rs:7:8 [INFO] [stdout] | [INFO] [stdout] 6 | impl AdjacencySubList { [INFO] [stdout] | --------------------- associated items in this implementation [INFO] [stdout] 7 | fn new() -> Self { [INFO] [stdout] | ^^^ [INFO] [stdout] ... [INFO] [stdout] 10 | fn get(&self, index: usize) -> Option { [INFO] [stdout] | ^^^ [INFO] [stdout] ... [INFO] [stdout] 13 | fn push(&mut self, value: usize) { [INFO] [stdout] | ^^^^ [INFO] [stdout] ... [INFO] [stdout] 16 | fn clear(&mut self) { [INFO] [stdout] | ^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: struct `AdjacencyList` is never constructed [INFO] [stdout] --> src/adjaceny_list.rs:21:8 [INFO] [stdout] | [INFO] [stdout] 21 | struct AdjacencyList { [INFO] [stdout] | ^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: associated items `new`, `reserve`, `clear`, `push`, and `get` are never used [INFO] [stdout] --> src/adjaceny_list.rs:26:8 [INFO] [stdout] | [INFO] [stdout] 25 | impl AdjacencyList { [INFO] [stdout] | ------------------ associated items in this implementation [INFO] [stdout] 26 | fn new() -> Self { [INFO] [stdout] | ^^^ [INFO] [stdout] ... [INFO] [stdout] 30 | fn reserve(&mut self, capacity: usize) { [INFO] [stdout] | ^^^^^^^ [INFO] [stdout] ... [INFO] [stdout] 34 | fn clear(&mut self, index: usize) { [INFO] [stdout] | ^^^^^ [INFO] [stdout] ... [INFO] [stdout] 38 | fn push(&mut self, index: usize, value: usize) { [INFO] [stdout] | ^^^^ [INFO] [stdout] ... [INFO] [stdout] 42 | fn get(&self, index: usize, sub_index: usize) -> Option { [INFO] [stdout] | ^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: method `empty` is never used [INFO] [stdout] --> src/fixed_size_stack.rs:49:12 [INFO] [stdout] | [INFO] [stdout] 6 | / impl FixedSizeStack [INFO] [stdout] 7 | | where [INFO] [stdout] 8 | | T: Clone, [INFO] [stdout] | |_____________- method in this implementation [INFO] [stdout] ... [INFO] [stdout] 49 | pub fn empty(&self) -> bool { [INFO] [stdout] | ^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: method `delete` is never used [INFO] [stdout] --> src/slot_map.rs:53:12 [INFO] [stdout] | [INFO] [stdout] 24 | / impl SlotMap [INFO] [stdout] 25 | | where [INFO] [stdout] 26 | | T: Clone, [INFO] [stdout] | |_____________- method in this implementation [INFO] [stdout] ... [INFO] [stdout] 53 | pub fn delete(&mut self, key: &SlotKey) { [INFO] [stdout] | ^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variant `EmptyFile` is never constructed [INFO] [stdout] --> src/festival_scheduler.rs:11:5 [INFO] [stdout] | [INFO] [stdout] 10 | pub enum DataError { [INFO] [stdout] | --------- variant in this enum [INFO] [stdout] 11 | EmptyFile, [INFO] [stdout] | ^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = note: `DataError` has derived impls for the traits `Clone` and `Debug`, but these are intentionally ignored during dead code analysis [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: struct `Artist` is never constructed [INFO] [stdout] --> src/festival_scheduler.rs:25:12 [INFO] [stdout] | [INFO] [stdout] 25 | pub struct Artist { [INFO] [stdout] | ^^^^^^ [INFO] [stdout] | [INFO] [stdout] = note: `Artist` has a derived impl for the trait `Debug`, but this is intentionally ignored during dead code analysis [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: function `load_artists` is never used [INFO] [stdout] --> src/festival_scheduler.rs:30:8 [INFO] [stdout] | [INFO] [stdout] 30 | pub fn load_artists

(path: P) -> Result, Box> [INFO] [stdout] | ^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: struct `Venue` is never constructed [INFO] [stdout] --> src/festival_scheduler.rs:66:12 [INFO] [stdout] | [INFO] [stdout] 66 | pub struct Venue { [INFO] [stdout] | ^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: fields `name` and `capacity` are never read [INFO] [stdout] --> src/festival_scheduler.rs:74:5 [INFO] [stdout] | [INFO] [stdout] 73 | struct VenueRecord { [INFO] [stdout] | ----------- fields in this struct [INFO] [stdout] 74 | name: String, [INFO] [stdout] | ^^^^ [INFO] [stdout] 75 | capacity: usize, [INFO] [stdout] | ^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = note: `VenueRecord` has a derived impl for the trait `Debug`, but this is intentionally ignored during dead code analysis [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: function `load_venues` is never used [INFO] [stdout] --> src/festival_scheduler.rs:78:8 [INFO] [stdout] | [INFO] [stdout] 78 | pub fn load_venues

(path: P) -> Result, Box> [INFO] [stdout] | ^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: struct `Event` is never constructed [INFO] [stdout] --> src/festival_scheduler.rs:98:12 [INFO] [stdout] | [INFO] [stdout] 98 | pub struct Event { [INFO] [stdout] | ^^^^^ [INFO] [stdout] | [INFO] [stdout] = note: `Event` has derived impls for the traits `Clone` and `Debug`, but these are intentionally ignored during dead code analysis [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: fields `session_title`, `session_chair`, and `participants` are never read [INFO] [stdout] --> src/festival_scheduler.rs:108:5 [INFO] [stdout] | [INFO] [stdout] 107 | struct EventRecord { [INFO] [stdout] | ----------- fields in this struct [INFO] [stdout] 108 | session_title: String, [INFO] [stdout] | ^^^^^^^^^^^^^ [INFO] [stdout] 109 | session_chair: Option, [INFO] [stdout] | ^^^^^^^^^^^^^ [INFO] [stdout] 110 | participants: String, [INFO] [stdout] | ^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = note: `EventRecord` has a derived impl for the trait `Debug`, but this is intentionally ignored during dead code analysis [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: function `load_events` is never used [INFO] [stdout] --> src/festival_scheduler.rs:113:8 [INFO] [stdout] | [INFO] [stdout] 113 | pub fn load_events

(path: P) -> Result, Box> [INFO] [stdout] | ^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: struct `EventRep` is never constructed [INFO] [stdout] --> src/festival_scheduler.rs:150:8 [INFO] [stdout] | [INFO] [stdout] 150 | struct EventRep { [INFO] [stdout] | ^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: associated function `new` is never used [INFO] [stdout] --> src/festival_scheduler.rs:157:8 [INFO] [stdout] | [INFO] [stdout] 156 | impl EventRep { [INFO] [stdout] | ------------- associated function in this implementation [INFO] [stdout] 157 | fn new(id: usize, artists: Vec, duration: usize) -> Self { [INFO] [stdout] | ^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: type alias `Interval` is never used [INFO] [stdout] --> src/festival_scheduler.rs:166:6 [INFO] [stdout] | [INFO] [stdout] 166 | type Interval = usize; [INFO] [stdout] | ^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: type alias `ArtistIndex` is never used [INFO] [stdout] --> src/festival_scheduler.rs:167:6 [INFO] [stdout] | [INFO] [stdout] 167 | type ArtistIndex = usize; [INFO] [stdout] | ^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: type alias `VenueIndex` is never used [INFO] [stdout] --> src/festival_scheduler.rs:168:6 [INFO] [stdout] | [INFO] [stdout] 168 | type VenueIndex = usize; [INFO] [stdout] | ^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: type alias `ArtistVariableIndex` is never used [INFO] [stdout] --> src/festival_scheduler.rs:169:6 [INFO] [stdout] | [INFO] [stdout] 169 | type ArtistVariableIndex = (Interval, VenueIndex, ArtistIndex); [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: type alias `EventVariableIndex` is never used [INFO] [stdout] --> src/festival_scheduler.rs:170:6 [INFO] [stdout] | [INFO] [stdout] 170 | type EventVariableIndex = (Interval, VenueIndex, usize); [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: struct `Scheduler` is never constructed [INFO] [stdout] --> src/festival_scheduler.rs:172:12 [INFO] [stdout] | [INFO] [stdout] 172 | pub struct Scheduler { [INFO] [stdout] | ^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: multiple associated items are never used [INFO] [stdout] --> src/festival_scheduler.rs:185:12 [INFO] [stdout] | [INFO] [stdout] 184 | impl Scheduler { [INFO] [stdout] | -------------- associated items in this implementation [INFO] [stdout] 185 | pub fn new( [INFO] [stdout] | ^^^ [INFO] [stdout] ... [INFO] [stdout] 233 | fn add_artist_var( [INFO] [stdout] | ^^^^^^^^^^^^^^ [INFO] [stdout] ... [INFO] [stdout] 246 | fn add_event_var(&mut self, interval: usize, venue: VenueIndex, event: usize) -> Variable { [INFO] [stdout] | ^^^^^^^^^^^^^ [INFO] [stdout] ... [INFO] [stdout] 254 | fn artist_var(&mut self, interval: usize, venue: VenueIndex, artist: ArtistIndex) -> Variable { [INFO] [stdout] | ^^^^^^^^^^ [INFO] [stdout] ... [INFO] [stdout] 259 | fn event_var(&mut self, interval: usize, venue: VenueIndex, event: usize) -> Variable { [INFO] [stdout] | ^^^^^^^^^ [INFO] [stdout] ... [INFO] [stdout] 264 | fn add_artist(&mut self, artist: ArtistIndex) { [INFO] [stdout] | ^^^^^^^^^^ [INFO] [stdout] ... [INFO] [stdout] 272 | fn add_event(&mut self, event: usize) { [INFO] [stdout] | ^^^^^^^^^ [INFO] [stdout] ... [INFO] [stdout] 281 | fn event_must_run(&mut self, event: usize) { [INFO] [stdout] | ^^^^^^^^^^^^^^ [INFO] [stdout] ... [INFO] [stdout] 291 | fn one_event_per_venue_interval(&mut self) { [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] ... [INFO] [stdout] 302 | fn artists_attend_events(&mut self, event: usize) { [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] ... [INFO] [stdout] 315 | fn artist_one_place_at_a_time(&mut self, artist: ArtistIndex) { [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] ... [INFO] [stdout] 325 | pub fn solve(&mut self) { [INFO] [stdout] | ^^^^^ [INFO] [stdout] ... [INFO] [stdout] 388 | fn exactly_one(&mut self, variables: Vec) { [INFO] [stdout] | ^^^^^^^^^^^ [INFO] [stdout] ... [INFO] [stdout] 399 | fn zero_or_one(&mut self, variables: Vec) { [INFO] [stdout] | ^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: methods `add` and `union` are never used [INFO] [stdout] --> src/solver.rs:112:8 [INFO] [stdout] | [INFO] [stdout] 105 | impl Clause { [INFO] [stdout] | ----------- methods in this implementation [INFO] [stdout] ... [INFO] [stdout] 112 | fn add(&mut self, literal: Literal) { [INFO] [stdout] | ^^^ [INFO] [stdout] ... [INFO] [stdout] 119 | fn union(&mut self, clause: Clause) { [INFO] [stdout] | ^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: function `resolve` is never used [INFO] [stdout] --> src/solver.rs:183:4 [INFO] [stdout] | [INFO] [stdout] 183 | fn resolve(a: &Clause, b: &Clause) -> Option { [INFO] [stdout] | ^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: methods `get_most_recent_decision_assignment`, `decision_level_count`, and `conflict_analysis_last_uip` are never used [INFO] [stdout] --> src/solver.rs:601:8 [INFO] [stdout] | [INFO] [stdout] 288 | impl Solver { [INFO] [stdout] | ----------- methods in this implementation [INFO] [stdout] ... [INFO] [stdout] 601 | fn get_most_recent_decision_assignment(&self) -> Option { [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] ... [INFO] [stdout] 616 | fn decision_level_count(&self, clause: &Clause, decision_level: DecisionLevel) -> usize { [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] ... [INFO] [stdout] 624 | fn conflict_analysis_last_uip(&mut self, clause_index: ClauseIndex) -> Clause { [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variant `UnSat` is never constructed [INFO] [stdout] --> src/solver.rs:973:5 [INFO] [stdout] | [INFO] [stdout] 972 | pub enum SolutionError { [INFO] [stdout] | ------------- variant in this enum [INFO] [stdout] 973 | UnSat, [INFO] [stdout] | ^^^^^ [INFO] [stdout] | [INFO] [stdout] = note: `SolutionError` has derived impls for the traits `Clone` and `Debug`, but these are intentionally ignored during dead code analysis [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: 30 warnings emitted [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `c5` [INFO] [stdout] --> src/solver.rs:1003:13 [INFO] [stdout] | [INFO] [stdout] 1003 | let c5 = vec![v3.literal()]; [INFO] [stdout] | ^^ help: if this is intentional, prefix it with an underscore: `_c5` [INFO] [stdout] | [INFO] [stdout] = note: `#[warn(unused_variables)]` on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `sk1` [INFO] [stdout] --> src/solver.rs:1005:13 [INFO] [stdout] | [INFO] [stdout] 1005 | let sk1 = formula.add_clause(c1); [INFO] [stdout] | ^^^ help: if this is intentional, prefix it with an underscore: `_sk1` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `sk2` [INFO] [stdout] --> src/solver.rs:1006:13 [INFO] [stdout] | [INFO] [stdout] 1006 | let sk2 = formula.add_clause(c2); [INFO] [stdout] | ^^^ help: if this is intentional, prefix it with an underscore: `_sk2` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `sk3` [INFO] [stdout] --> src/solver.rs:1007:13 [INFO] [stdout] | [INFO] [stdout] 1007 | let sk3 = formula.add_clause(c3); [INFO] [stdout] | ^^^ help: if this is intentional, prefix it with an underscore: `_sk3` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `sk4` [INFO] [stdout] --> src/solver.rs:1008:13 [INFO] [stdout] | [INFO] [stdout] 1008 | let sk4 = formula.add_clause(c4); [INFO] [stdout] | ^^^ help: if this is intentional, prefix it with an underscore: `_sk4` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `sk1` [INFO] [stdout] --> src/solver.rs:1198:13 [INFO] [stdout] | [INFO] [stdout] 1198 | let sk1 = formula.add_clause(c1); [INFO] [stdout] | ^^^ help: if this is intentional, prefix it with an underscore: `_sk1` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `sk2` [INFO] [stdout] --> src/solver.rs:1199:13 [INFO] [stdout] | [INFO] [stdout] 1199 | let sk2 = formula.add_clause(c2); [INFO] [stdout] | ^^^ help: if this is intentional, prefix it with an underscore: `_sk2` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `sk3` [INFO] [stdout] --> src/solver.rs:1200:13 [INFO] [stdout] | [INFO] [stdout] 1200 | let sk3 = formula.add_clause(c3); [INFO] [stdout] | ^^^ help: if this is intentional, prefix it with an underscore: `_sk3` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `sk1` [INFO] [stdout] --> src/solver.rs:1226:13 [INFO] [stdout] | [INFO] [stdout] 1226 | let sk1 = formula.add_clause(c1); [INFO] [stdout] | ^^^ help: if this is intentional, prefix it with an underscore: `_sk1` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `sk2` [INFO] [stdout] --> src/solver.rs:1227:13 [INFO] [stdout] | [INFO] [stdout] 1227 | let sk2 = formula.add_clause(c2); [INFO] [stdout] | ^^^ help: if this is intentional, prefix it with an underscore: `_sk2` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `sk4` [INFO] [stdout] --> src/solver.rs:1654:13 [INFO] [stdout] | [INFO] [stdout] 1654 | let sk4 = formula.add_clause(c4); [INFO] [stdout] | ^^^ help: if this is intentional, prefix it with an underscore: `_sk4` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `sk5` [INFO] [stdout] --> src/solver.rs:1655:13 [INFO] [stdout] | [INFO] [stdout] 1655 | let sk5 = formula.add_clause(c5); [INFO] [stdout] | ^^^ help: if this is intentional, prefix it with an underscore: `_sk5` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: field `data` is never read [INFO] [stdout] --> src/adjaceny_list.rs:3:5 [INFO] [stdout] | [INFO] [stdout] 2 | struct AdjacencySubList { [INFO] [stdout] | ---------------- field in this struct [INFO] [stdout] 3 | data: Vec, [INFO] [stdout] | ^^^^ [INFO] [stdout] | [INFO] [stdout] = note: `AdjacencySubList` has a derived impl for the trait `Clone`, but this is intentionally ignored during dead code analysis [INFO] [stdout] = note: `#[warn(dead_code)]` on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: associated items `new`, `get`, `push`, and `clear` are never used [INFO] [stdout] --> src/adjaceny_list.rs:7:8 [INFO] [stdout] | [INFO] [stdout] 6 | impl AdjacencySubList { [INFO] [stdout] | --------------------- associated items in this implementation [INFO] [stdout] 7 | fn new() -> Self { [INFO] [stdout] | ^^^ [INFO] [stdout] ... [INFO] [stdout] 10 | fn get(&self, index: usize) -> Option { [INFO] [stdout] | ^^^ [INFO] [stdout] ... [INFO] [stdout] 13 | fn push(&mut self, value: usize) { [INFO] [stdout] | ^^^^ [INFO] [stdout] ... [INFO] [stdout] 16 | fn clear(&mut self) { [INFO] [stdout] | ^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: struct `AdjacencyList` is never constructed [INFO] [stdout] --> src/adjaceny_list.rs:21:8 [INFO] [stdout] | [INFO] [stdout] 21 | struct AdjacencyList { [INFO] [stdout] | ^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: associated items `new`, `reserve`, `clear`, `push`, and `get` are never used [INFO] [stdout] --> src/adjaceny_list.rs:26:8 [INFO] [stdout] | [INFO] [stdout] 25 | impl AdjacencyList { [INFO] [stdout] | ------------------ associated items in this implementation [INFO] [stdout] 26 | fn new() -> Self { [INFO] [stdout] | ^^^ [INFO] [stdout] ... [INFO] [stdout] 30 | fn reserve(&mut self, capacity: usize) { [INFO] [stdout] | ^^^^^^^ [INFO] [stdout] ... [INFO] [stdout] 34 | fn clear(&mut self, index: usize) { [INFO] [stdout] | ^^^^^ [INFO] [stdout] ... [INFO] [stdout] 38 | fn push(&mut self, index: usize, value: usize) { [INFO] [stdout] | ^^^^ [INFO] [stdout] ... [INFO] [stdout] 42 | fn get(&self, index: usize, sub_index: usize) -> Option { [INFO] [stdout] | ^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variant `EmptyFile` is never constructed [INFO] [stdout] --> src/festival_scheduler.rs:11:5 [INFO] [stdout] | [INFO] [stdout] 10 | pub enum DataError { [INFO] [stdout] | --------- variant in this enum [INFO] [stdout] 11 | EmptyFile, [INFO] [stdout] | ^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = note: `DataError` has derived impls for the traits `Clone` and `Debug`, but these are intentionally ignored during dead code analysis [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: struct `Artist` is never constructed [INFO] [stdout] --> src/festival_scheduler.rs:25:12 [INFO] [stdout] | [INFO] [stdout] 25 | pub struct Artist { [INFO] [stdout] | ^^^^^^ [INFO] [stdout] | [INFO] [stdout] = note: `Artist` has a derived impl for the trait `Debug`, but this is intentionally ignored during dead code analysis [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: function `load_artists` is never used [INFO] [stdout] --> src/festival_scheduler.rs:30:8 [INFO] [stdout] | [INFO] [stdout] 30 | pub fn load_artists

(path: P) -> Result, Box> [INFO] [stdout] | ^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: struct `Venue` is never constructed [INFO] [stdout] --> src/festival_scheduler.rs:66:12 [INFO] [stdout] | [INFO] [stdout] 66 | pub struct Venue { [INFO] [stdout] | ^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: fields `name` and `capacity` are never read [INFO] [stdout] --> src/festival_scheduler.rs:74:5 [INFO] [stdout] | [INFO] [stdout] 73 | struct VenueRecord { [INFO] [stdout] | ----------- fields in this struct [INFO] [stdout] 74 | name: String, [INFO] [stdout] | ^^^^ [INFO] [stdout] 75 | capacity: usize, [INFO] [stdout] | ^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = note: `VenueRecord` has a derived impl for the trait `Debug`, but this is intentionally ignored during dead code analysis [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: function `load_venues` is never used [INFO] [stdout] --> src/festival_scheduler.rs:78:8 [INFO] [stdout] | [INFO] [stdout] 78 | pub fn load_venues

(path: P) -> Result, Box> [INFO] [stdout] | ^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: struct `Event` is never constructed [INFO] [stdout] --> src/festival_scheduler.rs:98:12 [INFO] [stdout] | [INFO] [stdout] 98 | pub struct Event { [INFO] [stdout] | ^^^^^ [INFO] [stdout] | [INFO] [stdout] = note: `Event` has derived impls for the traits `Clone` and `Debug`, but these are intentionally ignored during dead code analysis [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: fields `session_title`, `session_chair`, and `participants` are never read [INFO] [stdout] --> src/festival_scheduler.rs:108:5 [INFO] [stdout] | [INFO] [stdout] 107 | struct EventRecord { [INFO] [stdout] | ----------- fields in this struct [INFO] [stdout] 108 | session_title: String, [INFO] [stdout] | ^^^^^^^^^^^^^ [INFO] [stdout] 109 | session_chair: Option, [INFO] [stdout] | ^^^^^^^^^^^^^ [INFO] [stdout] 110 | participants: String, [INFO] [stdout] | ^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = note: `EventRecord` has a derived impl for the trait `Debug`, but this is intentionally ignored during dead code analysis [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: function `load_events` is never used [INFO] [stdout] --> src/festival_scheduler.rs:113:8 [INFO] [stdout] | [INFO] [stdout] 113 | pub fn load_events

(path: P) -> Result, Box> [INFO] [stdout] | ^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: struct `EventRep` is never constructed [INFO] [stdout] --> src/festival_scheduler.rs:150:8 [INFO] [stdout] | [INFO] [stdout] 150 | struct EventRep { [INFO] [stdout] | ^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: associated function `new` is never used [INFO] [stdout] --> src/festival_scheduler.rs:157:8 [INFO] [stdout] | [INFO] [stdout] 156 | impl EventRep { [INFO] [stdout] | ------------- associated function in this implementation [INFO] [stdout] 157 | fn new(id: usize, artists: Vec, duration: usize) -> Self { [INFO] [stdout] | ^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: type alias `Interval` is never used [INFO] [stdout] --> src/festival_scheduler.rs:166:6 [INFO] [stdout] | [INFO] [stdout] 166 | type Interval = usize; [INFO] [stdout] | ^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: type alias `ArtistIndex` is never used [INFO] [stdout] --> src/festival_scheduler.rs:167:6 [INFO] [stdout] | [INFO] [stdout] 167 | type ArtistIndex = usize; [INFO] [stdout] | ^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: type alias `VenueIndex` is never used [INFO] [stdout] --> src/festival_scheduler.rs:168:6 [INFO] [stdout] | [INFO] [stdout] 168 | type VenueIndex = usize; [INFO] [stdout] | ^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: type alias `ArtistVariableIndex` is never used [INFO] [stdout] --> src/festival_scheduler.rs:169:6 [INFO] [stdout] | [INFO] [stdout] 169 | type ArtistVariableIndex = (Interval, VenueIndex, ArtistIndex); [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: type alias `EventVariableIndex` is never used [INFO] [stdout] --> src/festival_scheduler.rs:170:6 [INFO] [stdout] | [INFO] [stdout] 170 | type EventVariableIndex = (Interval, VenueIndex, usize); [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: struct `Scheduler` is never constructed [INFO] [stdout] --> src/festival_scheduler.rs:172:12 [INFO] [stdout] | [INFO] [stdout] 172 | pub struct Scheduler { [INFO] [stdout] | ^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: multiple associated items are never used [INFO] [stdout] --> src/festival_scheduler.rs:185:12 [INFO] [stdout] | [INFO] [stdout] 184 | impl Scheduler { [INFO] [stdout] | -------------- associated items in this implementation [INFO] [stdout] 185 | pub fn new( [INFO] [stdout] | ^^^ [INFO] [stdout] ... [INFO] [stdout] 233 | fn add_artist_var( [INFO] [stdout] | ^^^^^^^^^^^^^^ [INFO] [stdout] ... [INFO] [stdout] 246 | fn add_event_var(&mut self, interval: usize, venue: VenueIndex, event: usize) -> Variable { [INFO] [stdout] | ^^^^^^^^^^^^^ [INFO] [stdout] ... [INFO] [stdout] 254 | fn artist_var(&mut self, interval: usize, venue: VenueIndex, artist: ArtistIndex) -> Variable { [INFO] [stdout] | ^^^^^^^^^^ [INFO] [stdout] ... [INFO] [stdout] 259 | fn event_var(&mut self, interval: usize, venue: VenueIndex, event: usize) -> Variable { [INFO] [stdout] | ^^^^^^^^^ [INFO] [stdout] ... [INFO] [stdout] 264 | fn add_artist(&mut self, artist: ArtistIndex) { [INFO] [stdout] | ^^^^^^^^^^ [INFO] [stdout] ... [INFO] [stdout] 272 | fn add_event(&mut self, event: usize) { [INFO] [stdout] | ^^^^^^^^^ [INFO] [stdout] ... [INFO] [stdout] 281 | fn event_must_run(&mut self, event: usize) { [INFO] [stdout] | ^^^^^^^^^^^^^^ [INFO] [stdout] ... [INFO] [stdout] 291 | fn one_event_per_venue_interval(&mut self) { [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] ... [INFO] [stdout] 302 | fn artists_attend_events(&mut self, event: usize) { [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] ... [INFO] [stdout] 315 | fn artist_one_place_at_a_time(&mut self, artist: ArtistIndex) { [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] ... [INFO] [stdout] 325 | pub fn solve(&mut self) { [INFO] [stdout] | ^^^^^ [INFO] [stdout] ... [INFO] [stdout] 388 | fn exactly_one(&mut self, variables: Vec) { [INFO] [stdout] | ^^^^^^^^^^^ [INFO] [stdout] ... [INFO] [stdout] 399 | fn zero_or_one(&mut self, variables: Vec) { [INFO] [stdout] | ^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: methods `add` and `union` are never used [INFO] [stdout] --> src/solver.rs:112:8 [INFO] [stdout] | [INFO] [stdout] 105 | impl Clause { [INFO] [stdout] | ----------- methods in this implementation [INFO] [stdout] ... [INFO] [stdout] 112 | fn add(&mut self, literal: Literal) { [INFO] [stdout] | ^^^ [INFO] [stdout] ... [INFO] [stdout] 119 | fn union(&mut self, clause: Clause) { [INFO] [stdout] | ^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: method `decision_level_count` is never used [INFO] [stdout] --> src/solver.rs:616:8 [INFO] [stdout] | [INFO] [stdout] 288 | impl Solver { [INFO] [stdout] | ----------- method in this implementation [INFO] [stdout] ... [INFO] [stdout] 616 | fn decision_level_count(&self, clause: &Clause, decision_level: DecisionLevel) -> usize { [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: 38 warnings emitted [INFO] [stdout] [INFO] [stdout] [INFO] [stderr] Finished `dev` profile [unoptimized + debuginfo] target(s) in 27.12s [INFO] [stderr] warning: the following packages contain code that will be rejected by a future version of Rust: cexpr v0.3.6, nom v4.2.3 [INFO] [stderr] note: to see what the problems were, use the option `--future-incompat-report`, or run `cargo report future-incompatibilities --id 1` [INFO] running `Command { std: "docker" "inspect" "bf9e39807a935c356f1f2dff34c2dbc29f3d84bae9d2cdc6393f720cc23bec58", kill_on_drop: false }` [INFO] running `Command { std: "docker" "rm" "-f" "bf9e39807a935c356f1f2dff34c2dbc29f3d84bae9d2cdc6393f720cc23bec58", kill_on_drop: false }` [INFO] [stdout] bf9e39807a935c356f1f2dff34c2dbc29f3d84bae9d2cdc6393f720cc23bec58