Dec 17 17:09:28.435 INFO checking remexre/datalog against master#96d1334e567237b1507cd277938e7ae2de75ff51 for pr-54252 Dec 17 17:09:28.435 INFO running `"docker" "create" "-v" "/mnt/big/crater/work/local/target-dirs/pr-54252/worker-3/master#96d1334e567237b1507cd277938e7ae2de75ff51:/opt/crater/target:rw,Z" "-v" "/mnt/big/crater/work/ex/pr-54252/sources/master#96d1334e567237b1507cd277938e7ae2de75ff51/gh/remexre/datalog:/opt/crater/workdir:ro,Z" "-v" "/mnt/big/crater/work/local/cargo-home:/opt/crater/cargo-home:ro,Z" "-v" "/mnt/big/crater/work/local/rustup-home:/opt/crater/rustup-home:ro,Z" "-e" "USER_ID=1000" "-e" "SOURCE_DIR=/opt/crater/workdir" "-e" "MAP_USER_ID=1000" "-e" "CARGO_TARGET_DIR=/opt/crater/target" "-e" "CARGO_INCREMENTAL=0" "-e" "RUST_BACKTRACE=full" "-e" "RUSTFLAGS=--cap-lints=forbid" "-e" "CARGO_HOME=/opt/crater/cargo-home" "-e" "RUSTUP_HOME=/opt/crater/rustup-home" "-w" "/opt/crater/workdir" "-m" "1536M" "--network" "none" "rustops/crates-build-env" "/opt/crater/cargo-home/bin/cargo" "+96d1334e567237b1507cd277938e7ae2de75ff51-alt" "check" "--frozen" "--all" "--all-targets"` Dec 17 17:09:29.044 INFO [stdout] d5f9ad28daf5ca1876f66d5201ac2b63d2cc68e31ca250de9d1cf416852c8401 Dec 17 17:09:29.052 INFO running `"docker" "start" "-a" "d5f9ad28daf5ca1876f66d5201ac2b63d2cc68e31ca250de9d1cf416852c8401"` Dec 17 17:09:30.752 INFO [stderr] Compiling pest v1.0.2 Dec 17 17:09:30.760 INFO [stderr] Checking spin v0.4.6 Dec 17 17:09:30.772 INFO [stderr] Checking try_opt v0.1.1 Dec 17 17:09:30.796 INFO [stderr] Checking itertools v0.7.6 Dec 17 17:09:30.796 INFO [stderr] Checking liner v0.4.4 Dec 17 17:09:30.800 INFO [stderr] Checking proptest v0.4.2 Dec 17 17:09:30.800 INFO [stderr] Checking error-chain v0.11.0 Dec 17 17:09:31.930 INFO [stderr] Checking symbol v0.1.1 Dec 17 17:09:33.281 INFO [stderr] Compiling pest_derive v1.0.2 Dec 17 17:09:35.720 INFO [stderr] Checking sparkly v0.1.4 Dec 17 17:09:43.560 INFO [stderr] Checking datalog v0.1.0 (/opt/crater/workdir) Dec 17 17:09:44.264 INFO [stderr] warning: use of deprecated item 'std::error::Error::cause': replaced by Error::source, which can support downcasting Dec 17 17:09:44.264 INFO [stderr] --> src/errors.rs:9:1 Dec 17 17:09:44.264 INFO [stderr] | Dec 17 17:09:44.264 INFO [stderr] 9 | / error_chain! { Dec 17 17:09:44.264 INFO [stderr] 10 | | errors { Dec 17 17:09:44.264 INFO [stderr] 11 | | NoSuchClause(clause: Clause) { Dec 17 17:09:44.264 INFO [stderr] 12 | | description("A non-existent clause was found") Dec 17 17:09:44.264 INFO [stderr] ... | Dec 17 17:09:44.264 INFO [stderr] 21 | | } Dec 17 17:09:44.264 INFO [stderr] 22 | | } Dec 17 17:09:44.264 INFO [stderr] | |_^ Dec 17 17:09:44.264 INFO [stderr] | Dec 17 17:09:44.264 INFO [stderr] = note: #[warn(deprecated)] on by default Dec 17 17:09:44.264 INFO [stderr] = note: this error originates in a macro outside of the current crate (in Nightly builds, run with -Z external-macro-backtrace for more info) Dec 17 17:09:44.264 INFO [stderr] Dec 17 17:09:44.320 INFO [stderr] warning: unused variable: `lv` Dec 17 17:09:44.320 INFO [stderr] --> src/ast/pattern_match.rs:32:24 Dec 17 17:09:44.320 INFO [stderr] | Dec 17 17:09:44.320 INFO [stderr] 32 | (Term::Var(lv), Term::Var(rv)) => {} Dec 17 17:09:44.320 INFO [stderr] | ^^ help: consider using `_lv` instead Dec 17 17:09:44.320 INFO [stderr] | Dec 17 17:09:44.320 INFO [stderr] = note: #[warn(unused_variables)] on by default Dec 17 17:09:44.320 INFO [stderr] Dec 17 17:09:44.320 INFO [stderr] warning: unused variable: `rv` Dec 17 17:09:44.320 INFO [stderr] --> src/ast/pattern_match.rs:32:39 Dec 17 17:09:44.320 INFO [stderr] | Dec 17 17:09:44.320 INFO [stderr] 32 | (Term::Var(lv), Term::Var(rv)) => {} Dec 17 17:09:44.320 INFO [stderr] | ^^ help: consider using `_rv` instead Dec 17 17:09:44.320 INFO [stderr] Dec 17 17:09:44.320 INFO [stderr] warning: unused variable: `other` Dec 17 17:09:44.320 INFO [stderr] --> src/ast/eq.rs:5:28 Dec 17 17:09:44.320 INFO [stderr] | Dec 17 17:09:44.320 INFO [stderr] 5 | pub fn alpha_eq(&self, other: &Clause) -> bool { Dec 17 17:09:44.320 INFO [stderr] | ^^^^^ help: consider using `_other` instead Dec 17 17:09:44.320 INFO [stderr] Dec 17 17:09:44.320 INFO [stderr] warning: unused variable: `body` Dec 17 17:09:44.320 INFO [stderr] --> src/ast/mod.rs:119:26 Dec 17 17:09:44.320 INFO [stderr] | Dec 17 17:09:44.320 INFO [stderr] 119 | let Clause(head, body) = self.clone(); Dec 17 17:09:44.320 INFO [stderr] | ^^^^ help: consider using `_body` instead Dec 17 17:09:44.320 INFO [stderr] Dec 17 17:09:44.320 INFO [stderr] warning: unused variable: `name` Dec 17 17:09:44.320 INFO [stderr] --> src/ast/mod.rs:123:21 Dec 17 17:09:44.320 INFO [stderr] | Dec 17 17:09:44.320 INFO [stderr] 123 | let Literal(name, mut hargs) = head; Dec 17 17:09:44.320 INFO [stderr] | ^^^^ help: consider using `_name` instead Dec 17 17:09:44.320 INFO [stderr] Dec 17 17:09:44.320 INFO [stderr] warning: unused variable: `clause` Dec 17 17:09:44.320 INFO [stderr] --> src/naive/mod.rs:103:34 Dec 17 17:09:44.320 INFO [stderr] | Dec 17 17:09:44.320 INFO [stderr] 103 | fn run_retraction(&mut self, clause: Clause) -> Result<()> { Dec 17 17:09:44.320 INFO [stderr] | ^^^^^^ help: consider using `_clause` instead Dec 17 17:09:44.320 INFO [stderr] Dec 17 17:09:44.572 INFO [stderr] warning: function is never used: `entry_fn` Dec 17 17:09:44.572 INFO [stderr] --> src/util.rs:7:1 Dec 17 17:09:44.572 INFO [stderr] | Dec 17 17:09:44.572 INFO [stderr] 7 | / pub fn entry_fn(map: &mut HashMap, key: K, f: F) Dec 17 17:09:44.572 INFO [stderr] 8 | | where Dec 17 17:09:44.572 INFO [stderr] 9 | | F: FnOnce(&K, Option) -> Option, Dec 17 17:09:44.572 INFO [stderr] 10 | | K: Eq + Hash, Dec 17 17:09:44.572 INFO [stderr] ... | Dec 17 17:09:44.572 INFO [stderr] 15 | | } Dec 17 17:09:44.572 INFO [stderr] 16 | | } Dec 17 17:09:44.572 INFO [stderr] | |_^ Dec 17 17:09:44.572 INFO [stderr] | Dec 17 17:09:44.572 INFO [stderr] = note: #[warn(dead_code)] on by default Dec 17 17:09:44.572 INFO [stderr] Dec 17 17:09:47.584 INFO [stderr] warning: use of deprecated item 'std::error::Error::cause': replaced by Error::source, which can support downcasting Dec 17 17:09:47.584 INFO [stderr] --> src/errors.rs:9:1 Dec 17 17:09:47.584 INFO [stderr] | Dec 17 17:09:47.584 INFO [stderr] 9 | / error_chain! { Dec 17 17:09:47.584 INFO [stderr] 10 | | errors { Dec 17 17:09:47.584 INFO [stderr] 11 | | NoSuchClause(clause: Clause) { Dec 17 17:09:47.584 INFO [stderr] 12 | | description("A non-existent clause was found") Dec 17 17:09:47.584 INFO [stderr] ... | Dec 17 17:09:47.584 INFO [stderr] 21 | | } Dec 17 17:09:47.584 INFO [stderr] 22 | | } Dec 17 17:09:47.584 INFO [stderr] | |_^ Dec 17 17:09:47.584 INFO [stderr] | Dec 17 17:09:47.584 INFO [stderr] = note: #[warn(deprecated)] on by default Dec 17 17:09:47.584 INFO [stderr] = note: this error originates in a macro outside of the current crate (in Nightly builds, run with -Z external-macro-backtrace for more info) Dec 17 17:09:47.584 INFO [stderr] Dec 17 17:09:47.772 INFO [stderr] warning: unused variable: `lv` Dec 17 17:09:47.772 INFO [stderr] --> src/ast/pattern_match.rs:32:24 Dec 17 17:09:47.772 INFO [stderr] | Dec 17 17:09:47.772 INFO [stderr] 32 | (Term::Var(lv), Term::Var(rv)) => {} Dec 17 17:09:47.772 INFO [stderr] | ^^ help: consider using `_lv` instead Dec 17 17:09:47.772 INFO [stderr] | Dec 17 17:09:47.772 INFO [stderr] = note: #[warn(unused_variables)] on by default Dec 17 17:09:47.772 INFO [stderr] Dec 17 17:09:47.772 INFO [stderr] warning: unused variable: `rv` Dec 17 17:09:47.772 INFO [stderr] --> src/ast/pattern_match.rs:32:39 Dec 17 17:09:47.773 INFO [stderr] | Dec 17 17:09:47.773 INFO [stderr] 32 | (Term::Var(lv), Term::Var(rv)) => {} Dec 17 17:09:47.773 INFO [stderr] | ^^ help: consider using `_rv` instead Dec 17 17:09:47.773 INFO [stderr] Dec 17 17:09:47.812 INFO [stderr] warning: unused variable: `other` Dec 17 17:09:47.812 INFO [stderr] --> src/ast/eq.rs:5:28 Dec 17 17:09:47.812 INFO [stderr] | Dec 17 17:09:47.812 INFO [stderr] 5 | pub fn alpha_eq(&self, other: &Clause) -> bool { Dec 17 17:09:47.812 INFO [stderr] | ^^^^^ help: consider using `_other` instead Dec 17 17:09:47.812 INFO [stderr] Dec 17 17:09:47.812 INFO [stderr] warning: unused variable: `body` Dec 17 17:09:47.812 INFO [stderr] --> src/ast/mod.rs:119:26 Dec 17 17:09:47.812 INFO [stderr] | Dec 17 17:09:47.812 INFO [stderr] 119 | let Clause(head, body) = self.clone(); Dec 17 17:09:47.812 INFO [stderr] | ^^^^ help: consider using `_body` instead Dec 17 17:09:47.812 INFO [stderr] Dec 17 17:09:47.812 INFO [stderr] warning: unused variable: `name` Dec 17 17:09:47.812 INFO [stderr] --> src/ast/mod.rs:123:21 Dec 17 17:09:47.812 INFO [stderr] | Dec 17 17:09:47.812 INFO [stderr] 123 | let Literal(name, mut hargs) = head; Dec 17 17:09:47.812 INFO [stderr] | ^^^^ help: consider using `_name` instead Dec 17 17:09:47.812 INFO [stderr] Dec 17 17:09:47.812 INFO [stderr] warning: unused variable: `clause` Dec 17 17:09:47.812 INFO [stderr] --> src/naive/mod.rs:103:34 Dec 17 17:09:47.812 INFO [stderr] | Dec 17 17:09:47.812 INFO [stderr] 103 | fn run_retraction(&mut self, clause: Clause) -> Result<()> { Dec 17 17:09:47.812 INFO [stderr] | ^^^^^^ help: consider using `_clause` instead Dec 17 17:09:47.812 INFO [stderr] Dec 17 17:09:48.736 INFO [stderr] warning: function is never used: `entry_fn` Dec 17 17:09:48.736 INFO [stderr] --> src/util.rs:7:1 Dec 17 17:09:48.736 INFO [stderr] | Dec 17 17:09:48.736 INFO [stderr] 7 | / pub fn entry_fn(map: &mut HashMap, key: K, f: F) Dec 17 17:09:48.736 INFO [stderr] 8 | | where Dec 17 17:09:48.736 INFO [stderr] 9 | | F: FnOnce(&K, Option) -> Option, Dec 17 17:09:48.736 INFO [stderr] 10 | | K: Eq + Hash, Dec 17 17:09:48.736 INFO [stderr] ... | Dec 17 17:09:48.736 INFO [stderr] 15 | | } Dec 17 17:09:48.736 INFO [stderr] 16 | | } Dec 17 17:09:48.736 INFO [stderr] | |_^ Dec 17 17:09:48.736 INFO [stderr] | Dec 17 17:09:48.736 INFO [stderr] = note: #[warn(dead_code)] on by default Dec 17 17:09:48.736 INFO [stderr] Dec 17 17:09:48.840 INFO [stderr] Finished dev [unoptimized + debuginfo] target(s) in 18.27s Dec 17 17:09:49.696 INFO running `"docker" "inspect" "d5f9ad28daf5ca1876f66d5201ac2b63d2cc68e31ca250de9d1cf416852c8401"` Dec 17 17:09:50.018 INFO running `"docker" "rm" "-f" "d5f9ad28daf5ca1876f66d5201ac2b63d2cc68e31ca250de9d1cf416852c8401"` Dec 17 17:09:50.262 INFO [stdout] d5f9ad28daf5ca1876f66d5201ac2b63d2cc68e31ca250de9d1cf416852c8401