Dec 04 11:48:23.546 INFO checking remexre/datalog against try#1df97983eb2057dc6a8f7eb364e263b51ae23230 for pr-56481
Dec 04 11:48:23.546 INFO running `"docker" "create" "-v" "/mnt/big/crater/work/local/target-dirs/pr-56481/worker-6/try#1df97983eb2057dc6a8f7eb364e263b51ae23230:/target:rw,Z" "-v" "/mnt/big/crater/work/local/test-source/worker-6/pr-56481/try#1df97983eb2057dc6a8f7eb364e263b51ae23230:/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 +1df97983eb2057dc6a8f7eb364e263b51ae23230-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"`
Dec 04 11:48:24.137 INFO [stdout] 2e4fab24ed43f174b1606ecaa026ef7f6e65545d8011ba6b081cded415d36d59
Dec 04 11:48:24.139 INFO running `"docker" "start" "-a" "2e4fab24ed43f174b1606ecaa026ef7f6e65545d8011ba6b081cded415d36d59"`
Dec 04 11:48:25.794 INFO [stderr] usermod: no changes
Dec 04 11:48:25.975 INFO [stderr]    Compiling pest v1.0.2
Dec 04 11:48:25.975 INFO [stderr]     Checking spin v0.4.6
Dec 04 11:48:25.979 INFO [stderr]     Checking termion v1.5.1
Dec 04 11:48:25.982 INFO [stderr]     Checking proptest v0.4.2
Dec 04 11:48:25.983 INFO [stderr]     Checking error-chain v0.11.0
Dec 04 11:48:26.607 INFO [stderr]     Checking symbol v0.1.1
Dec 04 11:48:28.494 INFO [stderr]     Checking liner v0.4.4
Dec 04 11:48:28.494 INFO [stderr]     Checking sparkly v0.1.4
Dec 04 11:48:28.815 INFO [stderr]    Compiling pest_derive v1.0.2
Dec 04 11:48:39.513 INFO [stderr]     Checking datalog v0.1.0 (/source)
Dec 04 11:48:41.230 INFO [stderr] warning: unused variable: `lv`
Dec 04 11:48:41.231 INFO [stderr]   --> src/ast/pattern_match.rs:32:24
Dec 04 11:48:41.231 INFO [stderr]    |
Dec 04 11:48:41.231 INFO [stderr] 32 |             (Term::Var(lv), Term::Var(rv)) => {}
Dec 04 11:48:41.232 INFO [stderr]    |                        ^^ help: consider using `_lv` instead
Dec 04 11:48:41.255 INFO [stderr]    |
Dec 04 11:48:41.255 INFO [stderr]    = note: #[warn(unused_variables)] on by default
Dec 04 11:48:41.255 INFO [stderr] 
Dec 04 11:48:41.256 INFO [stderr] warning: unused variable: `rv`
Dec 04 11:48:41.256 INFO [stderr]   --> src/ast/pattern_match.rs:32:39
Dec 04 11:48:41.256 INFO [stderr]    |
Dec 04 11:48:41.256 INFO [stderr] 32 |             (Term::Var(lv), Term::Var(rv)) => {}
Dec 04 11:48:41.257 INFO [stderr]    |                                       ^^ help: consider using `_rv` instead
Dec 04 11:48:41.257 INFO [stderr] 
Dec 04 11:48:41.257 INFO [stderr] warning: unused variable: `other`
Dec 04 11:48:41.257 INFO [stderr]  --> src/ast/eq.rs:5:28
Dec 04 11:48:41.258 INFO [stderr]   |
Dec 04 11:48:41.258 INFO [stderr] 5 |     pub fn alpha_eq(&self, other: &Clause) -> bool {
Dec 04 11:48:41.258 INFO [stderr]   |                            ^^^^^ help: consider using `_other` instead
Dec 04 11:48:41.259 INFO [stderr] 
Dec 04 11:48:41.259 INFO [stderr] warning: unused variable: `body`
Dec 04 11:48:41.259 INFO [stderr]    --> src/ast/mod.rs:119:26
Dec 04 11:48:41.260 INFO [stderr]     |
Dec 04 11:48:41.260 INFO [stderr] 119 |         let Clause(head, body) = self.clone();
Dec 04 11:48:41.260 INFO [stderr]     |                          ^^^^ help: consider using `_body` instead
Dec 04 11:48:41.260 INFO [stderr] 
Dec 04 11:48:41.261 INFO [stderr] warning: unused variable: `name`
Dec 04 11:48:41.261 INFO [stderr]    --> src/ast/mod.rs:123:21
Dec 04 11:48:41.261 INFO [stderr]     |
Dec 04 11:48:41.261 INFO [stderr] 123 |         let Literal(name, mut hargs) = head;
Dec 04 11:48:41.261 INFO [stderr]     |                     ^^^^ help: consider using `_name` instead
Dec 04 11:48:41.261 INFO [stderr] 
Dec 04 11:48:41.261 INFO [stderr] warning: unused variable: `clause`
Dec 04 11:48:41.261 INFO [stderr]    --> src/naive/mod.rs:103:34
Dec 04 11:48:41.261 INFO [stderr]     |
Dec 04 11:48:41.261 INFO [stderr] 103 |     fn run_retraction(&mut self, clause: Clause) -> Result<()> {
Dec 04 11:48:41.261 INFO [stderr]     |                                  ^^^^^^ help: consider using `_clause` instead
Dec 04 11:48:41.261 INFO [stderr] 
Dec 04 11:48:41.767 INFO [stderr] warning: function is never used: `entry_fn`
Dec 04 11:48:41.767 INFO [stderr]   --> src/util.rs:7:1
Dec 04 11:48:41.767 INFO [stderr]    |
Dec 04 11:48:41.767 INFO [stderr] 7  | / pub fn entry_fn<F, K, V>(map: &mut HashMap<K, V>, key: K, f: F)
Dec 04 11:48:41.767 INFO [stderr] 8  | | where
Dec 04 11:48:41.767 INFO [stderr] 9  | |     F: FnOnce(&K, Option<V>) -> Option<V>,
Dec 04 11:48:41.767 INFO [stderr] 10 | |     K: Eq + Hash,
Dec 04 11:48:41.767 INFO [stderr] ...  |
Dec 04 11:48:41.767 INFO [stderr] 15 | |     }
Dec 04 11:48:41.767 INFO [stderr] 16 | | }
Dec 04 11:48:41.767 INFO [stderr]    | |_^
Dec 04 11:48:41.767 INFO [stderr]    |
Dec 04 11:48:41.767 INFO [stderr]    = note: #[warn(dead_code)] on by default
Dec 04 11:48:41.767 INFO [stderr] 
Dec 04 11:48:46.715 INFO [stderr] warning: unused variable: `lv`
Dec 04 11:48:46.715 INFO [stderr]   --> src/ast/pattern_match.rs:32:24
Dec 04 11:48:46.715 INFO [stderr]    |
Dec 04 11:48:46.715 INFO [stderr] 32 |             (Term::Var(lv), Term::Var(rv)) => {}
Dec 04 11:48:46.715 INFO [stderr]    |                        ^^ help: consider using `_lv` instead
Dec 04 11:48:46.715 INFO [stderr]    |
Dec 04 11:48:46.715 INFO [stderr]    = note: #[warn(unused_variables)] on by default
Dec 04 11:48:46.715 INFO [stderr] 
Dec 04 11:48:46.715 INFO [stderr] warning: unused variable: `rv`
Dec 04 11:48:46.715 INFO [stderr]   --> src/ast/pattern_match.rs:32:39
Dec 04 11:48:46.715 INFO [stderr]    |
Dec 04 11:48:46.715 INFO [stderr] 32 |             (Term::Var(lv), Term::Var(rv)) => {}
Dec 04 11:48:46.715 INFO [stderr]    |                                       ^^ help: consider using `_rv` instead
Dec 04 11:48:46.715 INFO [stderr] 
Dec 04 11:48:46.754 INFO [stderr] warning: unused variable: `other`
Dec 04 11:48:46.754 INFO [stderr]  --> src/ast/eq.rs:5:28
Dec 04 11:48:46.754 INFO [stderr]   |
Dec 04 11:48:46.754 INFO [stderr] 5 |     pub fn alpha_eq(&self, other: &Clause) -> bool {
Dec 04 11:48:46.754 INFO [stderr]   |                            ^^^^^ help: consider using `_other` instead
Dec 04 11:48:46.754 INFO [stderr] 
Dec 04 11:48:46.754 INFO [stderr] warning: unused variable: `body`
Dec 04 11:48:46.754 INFO [stderr]    --> src/ast/mod.rs:119:26
Dec 04 11:48:46.754 INFO [stderr]     |
Dec 04 11:48:46.754 INFO [stderr] 119 |         let Clause(head, body) = self.clone();
Dec 04 11:48:46.754 INFO [stderr]     |                          ^^^^ help: consider using `_body` instead
Dec 04 11:48:46.754 INFO [stderr] 
Dec 04 11:48:46.754 INFO [stderr] warning: unused variable: `name`
Dec 04 11:48:46.754 INFO [stderr]    --> src/ast/mod.rs:123:21
Dec 04 11:48:46.754 INFO [stderr]     |
Dec 04 11:48:46.754 INFO [stderr] 123 |         let Literal(name, mut hargs) = head;
Dec 04 11:48:46.754 INFO [stderr]     |                     ^^^^ help: consider using `_name` instead
Dec 04 11:48:46.754 INFO [stderr] 
Dec 04 11:48:46.754 INFO [stderr] warning: unused variable: `clause`
Dec 04 11:48:46.754 INFO [stderr]    --> src/naive/mod.rs:103:34
Dec 04 11:48:46.754 INFO [stderr]     |
Dec 04 11:48:46.754 INFO [stderr] 103 |     fn run_retraction(&mut self, clause: Clause) -> Result<()> {
Dec 04 11:48:46.754 INFO [stderr]     |                                  ^^^^^^ help: consider using `_clause` instead
Dec 04 11:48:46.754 INFO [stderr] 
Dec 04 11:48:47.571 INFO [stderr] warning: function is never used: `entry_fn`
Dec 04 11:48:47.571 INFO [stderr]   --> src/util.rs:7:1
Dec 04 11:48:47.571 INFO [stderr]    |
Dec 04 11:48:47.571 INFO [stderr] 7  | / pub fn entry_fn<F, K, V>(map: &mut HashMap<K, V>, key: K, f: F)
Dec 04 11:48:47.571 INFO [stderr] 8  | | where
Dec 04 11:48:47.571 INFO [stderr] 9  | |     F: FnOnce(&K, Option<V>) -> Option<V>,
Dec 04 11:48:47.572 INFO [stderr] 10 | |     K: Eq + Hash,
Dec 04 11:48:47.572 INFO [stderr] ...  |
Dec 04 11:48:47.572 INFO [stderr] 15 | |     }
Dec 04 11:48:47.572 INFO [stderr] 16 | | }
Dec 04 11:48:47.572 INFO [stderr]    | |_^
Dec 04 11:48:47.572 INFO [stderr]    |
Dec 04 11:48:47.572 INFO [stderr]    = note: #[warn(dead_code)] on by default
Dec 04 11:48:47.572 INFO [stderr] 
Dec 04 11:48:47.679 INFO [stderr]     Finished dev [unoptimized + debuginfo] target(s) in 21.85s
Dec 04 11:48:47.683 INFO [stderr] su: No module specific data is present
Dec 04 11:48:48.136 INFO running `"docker" "inspect" "2e4fab24ed43f174b1606ecaa026ef7f6e65545d8011ba6b081cded415d36d59"`
Dec 04 11:48:48.225 INFO running `"docker" "rm" "-f" "2e4fab24ed43f174b1606ecaa026ef7f6e65545d8011ba6b081cded415d36d59"`
Dec 04 11:48:48.351 INFO [stdout] 2e4fab24ed43f174b1606ecaa026ef7f6e65545d8011ba6b081cded415d36d59