Dec 04 11:48:26.584 INFO checking remexre/datalog against master#c8ae2de8363be088604ffa2ccba84ff7ad7250bc for pr-56481
Dec 04 11:48:26.584 INFO running `"docker" "create" "-v" "/mnt/big/crater/work/local/target-dirs/pr-56481/worker-3/master#c8ae2de8363be088604ffa2ccba84ff7ad7250bc:/target:rw,Z" "-v" "/mnt/big/crater/work/local/test-source/worker-3/pr-56481/master#c8ae2de8363be088604ffa2ccba84ff7ad7250bc:/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 +c8ae2de8363be088604ffa2ccba84ff7ad7250bc-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:27.063 INFO [stdout] 05cdf3701339030044ef7ffdd17f20b24670b1167e6c0d9242596a137c22e979
Dec 04 11:48:27.063 INFO running `"docker" "start" "-a" "05cdf3701339030044ef7ffdd17f20b24670b1167e6c0d9242596a137c22e979"`
Dec 04 11:48:28.768 INFO [stderr] usermod: no changes
Dec 04 11:48:28.967 INFO [stderr]    Compiling pest v1.0.2
Dec 04 11:48:28.967 INFO [stderr]     Checking spin v0.4.6
Dec 04 11:48:28.967 INFO [stderr]     Checking try_opt v0.1.1
Dec 04 11:48:28.967 INFO [stderr]     Checking itertools v0.7.6
Dec 04 11:48:28.967 INFO [stderr]     Checking liner v0.4.4
Dec 04 11:48:28.967 INFO [stderr]     Checking proptest v0.4.2
Dec 04 11:48:28.967 INFO [stderr]     Checking error-chain v0.11.0
Dec 04 11:48:29.711 INFO [stderr]     Checking symbol v0.1.1
Dec 04 11:48:31.879 INFO [stderr]    Compiling pest_derive v1.0.2
Dec 04 11:48:35.076 INFO [stderr]     Checking sparkly v0.1.4
Dec 04 11:48:41.534 INFO [stderr]     Checking datalog v0.1.0 (/source)
Dec 04 11:48:43.267 INFO [stderr] warning: unused variable: `lv`
Dec 04 11:48:43.267 INFO [stderr]   --> src/ast/pattern_match.rs:32:24
Dec 04 11:48:43.267 INFO [stderr]    |
Dec 04 11:48:43.267 INFO [stderr] 32 |             (Term::Var(lv), Term::Var(rv)) => {}
Dec 04 11:48:43.267 INFO [stderr]    |                        ^^ help: consider using `_lv` instead
Dec 04 11:48:43.267 INFO [stderr]    |
Dec 04 11:48:43.267 INFO [stderr]    = note: #[warn(unused_variables)] on by default
Dec 04 11:48:43.267 INFO [stderr] 
Dec 04 11:48:43.267 INFO [stderr] warning: unused variable: `rv`
Dec 04 11:48:43.267 INFO [stderr]   --> src/ast/pattern_match.rs:32:39
Dec 04 11:48:43.267 INFO [stderr]    |
Dec 04 11:48:43.267 INFO [stderr] 32 |             (Term::Var(lv), Term::Var(rv)) => {}
Dec 04 11:48:43.267 INFO [stderr]    |                                       ^^ help: consider using `_rv` instead
Dec 04 11:48:43.267 INFO [stderr] 
Dec 04 11:48:43.267 INFO [stderr] warning: unused variable: `other`
Dec 04 11:48:43.267 INFO [stderr]  --> src/ast/eq.rs:5:28
Dec 04 11:48:43.267 INFO [stderr]   |
Dec 04 11:48:43.267 INFO [stderr] 5 |     pub fn alpha_eq(&self, other: &Clause) -> bool {
Dec 04 11:48:43.267 INFO [stderr]   |                            ^^^^^ help: consider using `_other` instead
Dec 04 11:48:43.267 INFO [stderr] 
Dec 04 11:48:43.267 INFO [stderr] warning: unused variable: `body`
Dec 04 11:48:43.267 INFO [stderr]    --> src/ast/mod.rs:119:26
Dec 04 11:48:43.267 INFO [stderr]     |
Dec 04 11:48:43.267 INFO [stderr] 119 |         let Clause(head, body) = self.clone();
Dec 04 11:48:43.267 INFO [stderr]     |                          ^^^^ help: consider using `_body` instead
Dec 04 11:48:43.267 INFO [stderr] 
Dec 04 11:48:43.267 INFO [stderr] warning: unused variable: `name`
Dec 04 11:48:43.267 INFO [stderr]    --> src/ast/mod.rs:123:21
Dec 04 11:48:43.267 INFO [stderr]     |
Dec 04 11:48:43.267 INFO [stderr] 123 |         let Literal(name, mut hargs) = head;
Dec 04 11:48:43.267 INFO [stderr]     |                     ^^^^ help: consider using `_name` instead
Dec 04 11:48:43.267 INFO [stderr] 
Dec 04 11:48:43.267 INFO [stderr] warning: unused variable: `clause`
Dec 04 11:48:43.267 INFO [stderr]    --> src/naive/mod.rs:103:34
Dec 04 11:48:43.267 INFO [stderr]     |
Dec 04 11:48:43.267 INFO [stderr] 103 |     fn run_retraction(&mut self, clause: Clause) -> Result<()> {
Dec 04 11:48:43.267 INFO [stderr]     |                                  ^^^^^^ help: consider using `_clause` instead
Dec 04 11:48:43.267 INFO [stderr] 
Dec 04 11:48:43.595 INFO [stderr] warning: function is never used: `entry_fn`
Dec 04 11:48:43.595 INFO [stderr]   --> src/util.rs:7:1
Dec 04 11:48:43.595 INFO [stderr]    |
Dec 04 11:48:43.595 INFO [stderr] 7  | / pub fn entry_fn<F, K, V>(map: &mut HashMap<K, V>, key: K, f: F)
Dec 04 11:48:43.595 INFO [stderr] 8  | | where
Dec 04 11:48:43.595 INFO [stderr] 9  | |     F: FnOnce(&K, Option<V>) -> Option<V>,
Dec 04 11:48:43.595 INFO [stderr] 10 | |     K: Eq + Hash,
Dec 04 11:48:43.595 INFO [stderr] ...  |
Dec 04 11:48:43.595 INFO [stderr] 15 | |     }
Dec 04 11:48:43.595 INFO [stderr] 16 | | }
Dec 04 11:48:43.595 INFO [stderr]    | |_^
Dec 04 11:48:43.595 INFO [stderr]    |
Dec 04 11:48:43.595 INFO [stderr]    = note: #[warn(dead_code)] on by default
Dec 04 11:48:43.595 INFO [stderr] 
Dec 04 11:48:48.367 INFO [stderr] warning: unused variable: `lv`
Dec 04 11:48:48.367 INFO [stderr]   --> src/ast/pattern_match.rs:32:24
Dec 04 11:48:48.367 INFO [stderr]    |
Dec 04 11:48:48.367 INFO [stderr] 32 |             (Term::Var(lv), Term::Var(rv)) => {}
Dec 04 11:48:48.367 INFO [stderr]    |                        ^^ help: consider using `_lv` instead
Dec 04 11:48:48.367 INFO [stderr]    |
Dec 04 11:48:48.367 INFO [stderr]    = note: #[warn(unused_variables)] on by default
Dec 04 11:48:48.367 INFO [stderr] 
Dec 04 11:48:48.367 INFO [stderr] warning: unused variable: `rv`
Dec 04 11:48:48.367 INFO [stderr]   --> src/ast/pattern_match.rs:32:39
Dec 04 11:48:48.367 INFO [stderr]    |
Dec 04 11:48:48.367 INFO [stderr] 32 |             (Term::Var(lv), Term::Var(rv)) => {}
Dec 04 11:48:48.367 INFO [stderr]    |                                       ^^ help: consider using `_rv` instead
Dec 04 11:48:48.367 INFO [stderr] 
Dec 04 11:48:48.409 INFO [stderr] warning: unused variable: `other`
Dec 04 11:48:48.409 INFO [stderr]  --> src/ast/eq.rs:5:28
Dec 04 11:48:48.409 INFO [stderr]   |
Dec 04 11:48:48.409 INFO [stderr] 5 |     pub fn alpha_eq(&self, other: &Clause) -> bool {
Dec 04 11:48:48.409 INFO [stderr]   |                            ^^^^^ help: consider using `_other` instead
Dec 04 11:48:48.409 INFO [stderr] 
Dec 04 11:48:48.410 INFO [stderr] warning: unused variable: `body`
Dec 04 11:48:48.410 INFO [stderr]    --> src/ast/mod.rs:119:26
Dec 04 11:48:48.410 INFO [stderr]     |
Dec 04 11:48:48.410 INFO [stderr] 119 |         let Clause(head, body) = self.clone();
Dec 04 11:48:48.410 INFO [stderr]     |                          ^^^^ help: consider using `_body` instead
Dec 04 11:48:48.410 INFO [stderr] 
Dec 04 11:48:48.410 INFO [stderr] warning: unused variable: `name`
Dec 04 11:48:48.410 INFO [stderr]    --> src/ast/mod.rs:123:21
Dec 04 11:48:48.410 INFO [stderr]     |
Dec 04 11:48:48.410 INFO [stderr] 123 |         let Literal(name, mut hargs) = head;
Dec 04 11:48:48.410 INFO [stderr]     |                     ^^^^ help: consider using `_name` instead
Dec 04 11:48:48.410 INFO [stderr] 
Dec 04 11:48:48.410 INFO [stderr] warning: unused variable: `clause`
Dec 04 11:48:48.410 INFO [stderr]    --> src/naive/mod.rs:103:34
Dec 04 11:48:48.410 INFO [stderr]     |
Dec 04 11:48:48.410 INFO [stderr] 103 |     fn run_retraction(&mut self, clause: Clause) -> Result<()> {
Dec 04 11:48:48.410 INFO [stderr]     |                                  ^^^^^^ help: consider using `_clause` instead
Dec 04 11:48:48.410 INFO [stderr] 
Dec 04 11:48:49.351 INFO [stderr] warning: function is never used: `entry_fn`
Dec 04 11:48:49.351 INFO [stderr]   --> src/util.rs:7:1
Dec 04 11:48:49.351 INFO [stderr]    |
Dec 04 11:48:49.351 INFO [stderr] 7  | / pub fn entry_fn<F, K, V>(map: &mut HashMap<K, V>, key: K, f: F)
Dec 04 11:48:49.351 INFO [stderr] 8  | | where
Dec 04 11:48:49.351 INFO [stderr] 9  | |     F: FnOnce(&K, Option<V>) -> Option<V>,
Dec 04 11:48:49.351 INFO [stderr] 10 | |     K: Eq + Hash,
Dec 04 11:48:49.351 INFO [stderr] ...  |
Dec 04 11:48:49.351 INFO [stderr] 15 | |     }
Dec 04 11:48:49.351 INFO [stderr] 16 | | }
Dec 04 11:48:49.351 INFO [stderr]    | |_^
Dec 04 11:48:49.351 INFO [stderr]    |
Dec 04 11:48:49.351 INFO [stderr]    = note: #[warn(dead_code)] on by default
Dec 04 11:48:49.351 INFO [stderr] 
Dec 04 11:48:49.472 INFO [stderr]     Finished dev [unoptimized + debuginfo] target(s) in 20.67s
Dec 04 11:48:49.482 INFO [stderr] su: No module specific data is present
Dec 04 11:48:49.963 INFO running `"docker" "inspect" "05cdf3701339030044ef7ffdd17f20b24670b1167e6c0d9242596a137c22e979"`
Dec 04 11:48:50.271 INFO running `"docker" "rm" "-f" "05cdf3701339030044ef7ffdd17f20b24670b1167e6c0d9242596a137c22e979"`
Dec 04 11:48:50.592 INFO [stdout] 05cdf3701339030044ef7ffdd17f20b24670b1167e6c0d9242596a137c22e979