Oct 31 22:37:35.462 INFO checking remexre/datalog against try#d7816399d50d407bbce1efe9dbadf8faaaf568fc for pr-55538 Oct 31 22:37:35.462 INFO running `"docker" "create" "-v" "/mnt/big/crater/work/local/target-dirs/pr-55538/worker-0/try#d7816399d50d407bbce1efe9dbadf8faaaf568fc:/target:rw,Z" "-v" "/mnt/big/crater/work/local/test-source/worker-0/pr-55538/try#d7816399d50d407bbce1efe9dbadf8faaaf568fc:/source:ro,Z" "-v" "/mnt/big/crater/work/local/cargo-home:/cargo-home:ro,Z" "-v" "/mnt/big/crater/work/local/rustup-home:/rustup-home:ro,Z" "-e" "USER_ID=1000" "-e" "SOURCE_DIR=/source" "-e" "USER_ID=1000" "-e" "CMD=cargo +d7816399d50d407bbce1efe9dbadf8faaaf568fc-alt check --frozen --all --all-targets" "-e" "CARGO_TARGET_DIR=/target" "-e" "CARGO_INCREMENTAL=0" "-e" "RUST_BACKTRACE=full" "-e" "RUSTFLAGS=--cap-lints=forbid" "-e" "CARGO_HOME=/cargo-home" "-e" "RUSTUP_HOME=/rustup-home" "-m" "1536M" "--network" "none" "crater"` Oct 31 22:37:35.889 INFO blam! dd7af2c2daa61647ab757e43b1bc89db2dd28885a2bee1ac1ab786193e31090b Oct 31 22:37:35.897 INFO running `"docker" "start" "-a" "dd7af2c2daa61647ab757e43b1bc89db2dd28885a2bee1ac1ab786193e31090b"` Oct 31 22:37:37.564 INFO kablam! usermod: no changes Oct 31 22:37:37.732 INFO kablam! Checking spin v0.4.6 Oct 31 22:37:37.733 INFO kablam! Compiling pest v1.0.2 Oct 31 22:37:37.742 INFO kablam! Checking bytecount v0.1.7 Oct 31 22:37:37.764 INFO kablam! Checking termion v1.5.1 Oct 31 22:37:37.764 INFO kablam! Checking itertools v0.7.6 Oct 31 22:37:37.764 INFO kablam! Checking clap v2.29.2 Oct 31 22:37:37.764 INFO kablam! Checking proptest v0.4.2 Oct 31 22:37:38.736 INFO kablam! Checking backtrace-sys v0.1.16 Oct 31 22:37:40.536 INFO kablam! Checking symbol v0.1.1 Oct 31 22:37:40.576 INFO kablam! Checking backtrace v0.3.5 Oct 31 22:37:43.954 INFO kablam! Compiling pest_derive v1.0.2 Oct 31 22:37:44.286 INFO kablam! Checking error-chain v0.11.0 Oct 31 22:37:44.758 INFO kablam! Checking liner v0.4.4 Oct 31 22:37:50.686 INFO kablam! Checking sparkly v0.1.4 Oct 31 22:38:03.530 INFO kablam! Checking datalog v0.1.0 (/source) Oct 31 22:38:05.393 INFO kablam! warning: unused variable: `lv` Oct 31 22:38:05.393 INFO kablam! --> src/ast/pattern_match.rs:32:24 Oct 31 22:38:05.393 INFO kablam! | Oct 31 22:38:05.393 INFO kablam! 32 | (Term::Var(lv), Term::Var(rv)) => {} Oct 31 22:38:05.393 INFO kablam! | ^^ help: consider using `_lv` instead Oct 31 22:38:05.393 INFO kablam! | Oct 31 22:38:05.394 INFO kablam! = note: #[warn(unused_variables)] on by default Oct 31 22:38:05.394 INFO kablam! Oct 31 22:38:05.394 INFO kablam! warning: unused variable: `rv` Oct 31 22:38:05.394 INFO kablam! --> src/ast/pattern_match.rs:32:39 Oct 31 22:38:05.394 INFO kablam! | Oct 31 22:38:05.394 INFO kablam! 32 | (Term::Var(lv), Term::Var(rv)) => {} Oct 31 22:38:05.394 INFO kablam! | ^^ help: consider using `_rv` instead Oct 31 22:38:05.394 INFO kablam! Oct 31 22:38:05.396 INFO kablam! warning: unused variable: `other` Oct 31 22:38:05.396 INFO kablam! --> src/ast/eq.rs:5:28 Oct 31 22:38:05.396 INFO kablam! | Oct 31 22:38:05.396 INFO kablam! 5 | pub fn alpha_eq(&self, other: &Clause) -> bool { Oct 31 22:38:05.396 INFO kablam! | ^^^^^ help: consider using `_other` instead Oct 31 22:38:05.396 INFO kablam! Oct 31 22:38:05.397 INFO kablam! warning: unused variable: `body` Oct 31 22:38:05.397 INFO kablam! --> src/ast/mod.rs:119:26 Oct 31 22:38:05.397 INFO kablam! | Oct 31 22:38:05.397 INFO kablam! 119 | let Clause(head, body) = self.clone(); Oct 31 22:38:05.397 INFO kablam! | ^^^^ help: consider using `_body` instead Oct 31 22:38:05.397 INFO kablam! Oct 31 22:38:05.397 INFO kablam! warning: unused variable: `name` Oct 31 22:38:05.397 INFO kablam! --> src/ast/mod.rs:123:21 Oct 31 22:38:05.397 INFO kablam! | Oct 31 22:38:05.397 INFO kablam! 123 | let Literal(name, mut hargs) = head; Oct 31 22:38:05.397 INFO kablam! | ^^^^ help: consider using `_name` instead Oct 31 22:38:05.397 INFO kablam! Oct 31 22:38:05.397 INFO kablam! warning: unused variable: `clause` Oct 31 22:38:05.397 INFO kablam! --> src/naive/mod.rs:103:34 Oct 31 22:38:05.397 INFO kablam! | Oct 31 22:38:05.398 INFO kablam! 103 | fn run_retraction(&mut self, clause: Clause) -> Result<()> { Oct 31 22:38:05.398 INFO kablam! | ^^^^^^ help: consider using `_clause` instead Oct 31 22:38:05.398 INFO kablam! Oct 31 22:38:05.932 INFO kablam! warning: function is never used: `entry_fn` Oct 31 22:38:05.933 INFO kablam! --> src/util.rs:7:1 Oct 31 22:38:05.934 INFO kablam! | Oct 31 22:38:05.935 INFO kablam! 7 | / pub fn entry_fn(map: &mut HashMap, key: K, f: F) Oct 31 22:38:05.936 INFO kablam! 8 | | where Oct 31 22:38:05.936 INFO kablam! 9 | | F: FnOnce(&K, Option) -> Option, Oct 31 22:38:05.937 INFO kablam! 10 | | K: Eq + Hash, Oct 31 22:38:05.938 INFO kablam! ... | Oct 31 22:38:05.938 INFO kablam! 15 | | } Oct 31 22:38:05.939 INFO kablam! 16 | | } Oct 31 22:38:05.940 INFO kablam! | |_^ Oct 31 22:38:05.940 INFO kablam! | Oct 31 22:38:05.941 INFO kablam! = note: #[warn(dead_code)] on by default Oct 31 22:38:05.942 INFO kablam! Oct 31 22:38:11.377 INFO kablam! warning: unused variable: `lv` Oct 31 22:38:11.377 INFO kablam! --> src/ast/pattern_match.rs:32:24 Oct 31 22:38:11.377 INFO kablam! | Oct 31 22:38:11.378 INFO kablam! 32 | (Term::Var(lv), Term::Var(rv)) => {} Oct 31 22:38:11.378 INFO kablam! | ^^ help: consider using `_lv` instead Oct 31 22:38:11.378 INFO kablam! | Oct 31 22:38:11.379 INFO kablam! = note: #[warn(unused_variables)] on by default Oct 31 22:38:11.379 INFO kablam! Oct 31 22:38:11.379 INFO kablam! warning: unused variable: `rv` Oct 31 22:38:11.379 INFO kablam! --> src/ast/pattern_match.rs:32:39 Oct 31 22:38:11.380 INFO kablam! | Oct 31 22:38:11.380 INFO kablam! 32 | (Term::Var(lv), Term::Var(rv)) => {} Oct 31 22:38:11.380 INFO kablam! | ^^ help: consider using `_rv` instead Oct 31 22:38:11.380 INFO kablam! Oct 31 22:38:11.433 INFO kablam! warning: unused variable: `other` Oct 31 22:38:11.433 INFO kablam! --> src/ast/eq.rs:5:28 Oct 31 22:38:11.433 INFO kablam! | Oct 31 22:38:11.434 INFO kablam! 5 | pub fn alpha_eq(&self, other: &Clause) -> bool { Oct 31 22:38:11.434 INFO kablam! | ^^^^^ help: consider using `_other` instead Oct 31 22:38:11.434 INFO kablam! Oct 31 22:38:11.435 INFO kablam! warning: unused variable: `body` Oct 31 22:38:11.435 INFO kablam! --> src/ast/mod.rs:119:26 Oct 31 22:38:11.435 INFO kablam! | Oct 31 22:38:11.435 INFO kablam! 119 | let Clause(head, body) = self.clone(); Oct 31 22:38:11.435 INFO kablam! | ^^^^ help: consider using `_body` instead Oct 31 22:38:11.435 INFO kablam! Oct 31 22:38:11.435 INFO kablam! warning: unused variable: `name` Oct 31 22:38:11.435 INFO kablam! --> src/ast/mod.rs:123:21 Oct 31 22:38:11.435 INFO kablam! | Oct 31 22:38:11.435 INFO kablam! 123 | let Literal(name, mut hargs) = head; Oct 31 22:38:11.435 INFO kablam! | ^^^^ help: consider using `_name` instead Oct 31 22:38:11.435 INFO kablam! Oct 31 22:38:11.435 INFO kablam! warning: unused variable: `clause` Oct 31 22:38:11.435 INFO kablam! --> src/naive/mod.rs:103:34 Oct 31 22:38:11.435 INFO kablam! | Oct 31 22:38:11.435 INFO kablam! 103 | fn run_retraction(&mut self, clause: Clause) -> Result<()> { Oct 31 22:38:11.435 INFO kablam! | ^^^^^^ help: consider using `_clause` instead Oct 31 22:38:11.435 INFO kablam! Oct 31 22:38:12.508 INFO kablam! warning: function is never used: `entry_fn` Oct 31 22:38:12.508 INFO kablam! --> src/util.rs:7:1 Oct 31 22:38:12.508 INFO kablam! | Oct 31 22:38:12.508 INFO kablam! 7 | / pub fn entry_fn(map: &mut HashMap, key: K, f: F) Oct 31 22:38:12.508 INFO kablam! 8 | | where Oct 31 22:38:12.508 INFO kablam! 9 | | F: FnOnce(&K, Option) -> Option, Oct 31 22:38:12.508 INFO kablam! 10 | | K: Eq + Hash, Oct 31 22:38:12.508 INFO kablam! ... | Oct 31 22:38:12.508 INFO kablam! 15 | | } Oct 31 22:38:12.508 INFO kablam! 16 | | } Oct 31 22:38:12.508 INFO kablam! | |_^ Oct 31 22:38:12.508 INFO kablam! | Oct 31 22:38:12.508 INFO kablam! = note: #[warn(dead_code)] on by default Oct 31 22:38:12.508 INFO kablam! Oct 31 22:38:12.624 INFO kablam! Finished dev [unoptimized + debuginfo] target(s) in 35.03s Oct 31 22:38:12.633 INFO kablam! su: No module specific data is present Oct 31 22:38:14.007 INFO running `"docker" "rm" "-f" "dd7af2c2daa61647ab757e43b1bc89db2dd28885a2bee1ac1ab786193e31090b"` Oct 31 22:38:14.332 INFO blam! dd7af2c2daa61647ab757e43b1bc89db2dd28885a2bee1ac1ab786193e31090b