Nov 09 17:05:16.151 INFO checking adamAndMath/AlgebraicManipulatorRust against master#653da4fd006c97625247acd7e076d0782cdc149b for pr-55632
Nov 09 17:05:16.151 INFO running `"docker" "create" "-v" "/mnt/big/crater/work/local/target-dirs/pr-55632/worker-5/master#653da4fd006c97625247acd7e076d0782cdc149b:/target:rw,Z" "-v" "/mnt/big/crater/work/local/test-source/worker-5/pr-55632/master#653da4fd006c97625247acd7e076d0782cdc149b:/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 +653da4fd006c97625247acd7e076d0782cdc149b-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"`
Nov 09 17:05:16.509 INFO blam! 6d8f41446ffcf98b32a382800e8c73ee04d912b229ca57fefa2d9c53fa318add
Nov 09 17:05:16.511 INFO running `"docker" "start" "-a" "6d8f41446ffcf98b32a382800e8c73ee04d912b229ca57fefa2d9c53fa318add"`
Nov 09 17:05:17.746 INFO kablam! usermod: no changes
Nov 09 17:05:17.835 INFO kablam!     Checking algebra v0.1.0 (/source)
Nov 09 17:05:18.573 INFO kablam! warning: unused macro definition
Nov 09 17:05:18.574 INFO kablam!  --> src/macros/id/ty.rs:1:1
Nov 09 17:05:18.574 INFO kablam!   |
Nov 09 17:05:18.575 INFO kablam! 1 | / macro_rules! type_id {
Nov 09 17:05:18.575 INFO kablam! 2 | |     ($t:ident) => (TypeID::Gen($t.into(), vec!()));
Nov 09 17:05:18.575 INFO kablam! 3 | |     ($t:ident[$($g:tt)*]) => (TypeID::Gen($t.into(), type_id_vec!($($g)*)));
Nov 09 17:05:18.576 INFO kablam! 4 | |     (($($p:tt)*)) => (type_id_tuple!($($p)*));
Nov 09 17:05:18.576 INFO kablam! 5 | | }
Nov 09 17:05:18.576 INFO kablam!   | |_^
Nov 09 17:05:18.577 INFO kablam!   |
Nov 09 17:05:18.577 INFO kablam!   = note: #[warn(unused_macros)] on by default
Nov 09 17:05:18.577 INFO kablam! 
Nov 09 17:05:18.579 INFO kablam! warning: unused macro definition
Nov 09 17:05:18.581 INFO kablam!  --> src/macros/id/ty.rs:7:1
Nov 09 17:05:18.581 INFO kablam!   |
Nov 09 17:05:18.583 INFO kablam! 7 | / macro_rules! type_id_vec {
Nov 09 17:05:18.583 INFO kablam! 8 | |     ($($($t:ident)*$([$($g:tt)*])*$(($($p:tt)*))*),*) => (vec![$(type_id!($($t)*$([$($g)*])*$(($($p)*))*)),*]);
Nov 09 17:05:18.583 INFO kablam! 9 | | }
Nov 09 17:05:18.583 INFO kablam!   | |_^
Nov 09 17:05:18.584 INFO kablam! 
Nov 09 17:05:18.584 INFO kablam! warning: unused macro definition
Nov 09 17:05:18.584 INFO kablam!   --> src/macros/id/ty.rs:11:1
Nov 09 17:05:18.584 INFO kablam!    |
Nov 09 17:05:18.585 INFO kablam! 11 | / macro_rules! type_id_tuple {
Nov 09 17:05:18.585 INFO kablam! 12 | |     ($($t:ident)*$([$($g:tt)*])*$(($($p:tt)*))*) => (type_id!($($t)*$([$($g)*])*$(($($p)*))*));
Nov 09 17:05:18.585 INFO kablam! 13 | |     ($($($t:ident)*$([$($g:tt)*])*$(($($p:tt)*))*),*) => (TypeID::Tuple(vec![$(type_id!($($t)*$([$($g)*])*$(($($p)*))*)),*]));
Nov 09 17:05:18.585 INFO kablam! 14 | | }
Nov 09 17:05:18.585 INFO kablam!    | |_^
Nov 09 17:05:18.586 INFO kablam! 
Nov 09 17:05:18.586 INFO kablam! warning: unused macro definition
Nov 09 17:05:18.589 INFO kablam!  --> src/macros/id/pattern.rs:1:1
Nov 09 17:05:18.589 INFO kablam!   |
Nov 09 17:05:18.589 INFO kablam! 1 | / macro_rules! pattern_id {
Nov 09 17:05:18.590 INFO kablam! 2 | |     (+$($t:ident)*$([$($g:tt)*])*$(($($p:tt)*))*) => (PatternID::Var(type_id!($($t)*$([$($g)*])*$(($($p)*))*)));
Nov 09 17:05:18.590 INFO kablam! 3 | |     ($a:ident) => (PatternID::Atom($a, vec![]));
Nov 09 17:05:18.590 INFO kablam! 4 | |     ($a:ident[$($g:tt)*]) => (PatternID::Atom($a, type_id_vec!($($g)*)));
Nov 09 17:05:18.591 INFO kablam! ... |
Nov 09 17:05:18.592 INFO kablam! 7 | |     (($($t:tt)*)) => (pattern_id_tuple!(() $($p)*,))
Nov 09 17:05:18.592 INFO kablam! 8 | | }
Nov 09 17:05:18.592 INFO kablam!   | |_^
Nov 09 17:05:18.593 INFO kablam! 
Nov 09 17:05:18.594 INFO kablam! warning: unused macro definition
Nov 09 17:05:18.594 INFO kablam!   --> src/macros/id/pattern.rs:10:1
Nov 09 17:05:18.594 INFO kablam!    |
Nov 09 17:05:18.595 INFO kablam! 10 | / macro_rules! pattern_id_tuple {
Nov 09 17:05:18.595 INFO kablam! 11 | |     ((pattern_id!($($e:tt)*), )$(,)* ) => (pattern_id!($($e)*));
Nov 09 17:05:18.595 INFO kablam! 12 | |     (($($v:tt)*), ) => (PatternID::Tuple(vec!($($v)*)));
Nov 09 17:05:18.595 INFO kablam! 13 | |     (($($v:tt)*) +$($t:ident)*$([$($g:tt)*])*$(($($p:tt)*))*, $($rest:tt)*) => (pattern_id_tuple!(($($v)* pattern_id!(+$($t)*$([$($g)*])*$(($($p)*))*), ) $($rest)*));
Nov 09 17:05:18.596 INFO kablam! 14 | |     (($($v:tt)*) $($x:ident)*$(($($p:tt)*))*, $($rest:tt)*) => (pattern_id_tuple!(($($v)* pattern_id!($($x)*$(($($p)*))*), ) $($rest)*));
Nov 09 17:05:18.596 INFO kablam! 15 | | }
Nov 09 17:05:18.596 INFO kablam!    | |_^
Nov 09 17:05:18.597 INFO kablam! 
Nov 09 17:05:18.597 INFO kablam! warning: unused macro definition
Nov 09 17:05:18.597 INFO kablam!  --> src/macros/id/exp.rs:1:1
Nov 09 17:05:18.598 INFO kablam!   |
Nov 09 17:05:18.598 INFO kablam! 1 | / macro_rules! exp_id {
Nov 09 17:05:18.598 INFO kablam! 2 | |     ($x:ident) => (ExpID::Var($x.into(), vec![]));
Nov 09 17:05:18.598 INFO kablam! 3 | |     ($x:ident[$($g:tt)*]) => (ExpID::Var($x.into(), type_id_vec!($($g)*)));
Nov 09 17:05:18.599 INFO kablam! 4 | |     ($x:ident$([$($g:tt)*])*($($p:tt)*)) => (ExpID::Call(Box::new(exp_id!($x$([$($g)*])*)), Box::new(exp_id_tuple!($($p)*))));
Nov 09 17:05:18.599 INFO kablam! 5 | |     (($($p:tt)*)) => (exp_id_tuple!($($p)*));
Nov 09 17:05:18.599 INFO kablam! 6 | | }
Nov 09 17:05:18.600 INFO kablam!   | |_^
Nov 09 17:05:18.600 INFO kablam! 
Nov 09 17:05:18.600 INFO kablam! warning: unused macro definition
Nov 09 17:05:18.600 INFO kablam!   --> src/macros/id/exp.rs:8:1
Nov 09 17:05:18.601 INFO kablam!    |
Nov 09 17:05:18.601 INFO kablam! 8  | / macro_rules! exp_id_tuple {
Nov 09 17:05:18.601 INFO kablam! 9  | |     ($($x:ident)*$([$($g:tt)*])*$(($($p:tt)*))*) => (exp_id!($($x)*$([$($g)*])*$(($($p)*))*));
Nov 09 17:05:18.601 INFO kablam! 10 | |     ($($($x:ident)*$([$($g:tt)*])*$(($($p:tt)*))*),*) => (ExpID::Tuple(vec![$(exp_id!($($x)*$([$($g)*])*$(($($p)*))*)),*]));
Nov 09 17:05:18.602 INFO kablam! 11 | | }
Nov 09 17:05:18.602 INFO kablam!    | |_^
Nov 09 17:05:18.602 INFO kablam! 
Nov 09 17:05:21.011 INFO kablam! warning: method is never used: `get_type`
Nov 09 17:05:21.012 INFO kablam!   --> src/envs/namespaces.rs:70:5
Nov 09 17:05:21.012 INFO kablam!    |
Nov 09 17:05:21.012 INFO kablam! 70 |     pub fn get_type<S: Clone + AsRef<str>>(&self, p: &Path<S>) -> Result<ID<TypeVal>, ErrAst<S>> {
Nov 09 17:05:21.012 INFO kablam!    |     ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
Nov 09 17:05:21.012 INFO kablam!    |
Nov 09 17:05:21.012 INFO kablam!    = note: #[warn(dead_code)] on by default
Nov 09 17:05:21.012 INFO kablam! 
Nov 09 17:05:21.012 INFO kablam! warning: method is never used: `get_exp`
Nov 09 17:05:21.012 INFO kablam!   --> src/envs/namespaces.rs:74:5
Nov 09 17:05:21.012 INFO kablam!    |
Nov 09 17:05:21.012 INFO kablam! 74 |     pub fn get_exp<S: Clone + AsRef<str>>(&self, p: &Path<S>) -> Result<ID<ExpVal>, ErrAst<S>> {
Nov 09 17:05:21.012 INFO kablam!    |     ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
Nov 09 17:05:21.012 INFO kablam! 
Nov 09 17:05:21.012 INFO kablam! warning: method is never used: `get_truth`
Nov 09 17:05:21.012 INFO kablam!   --> src/envs/namespaces.rs:78:5
Nov 09 17:05:21.012 INFO kablam!    |
Nov 09 17:05:21.012 INFO kablam! 78 |     pub fn get_truth<S: Clone + AsRef<str>>(&self, p: &Path<S>) -> Result<ID<TruthVal>, ErrAst<S>> {
Nov 09 17:05:21.012 INFO kablam!    |     ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
Nov 09 17:05:21.012 INFO kablam! 
Nov 09 17:05:21.012 INFO kablam! warning: method is never used: `gen`
Nov 09 17:05:21.012 INFO kablam!   --> src/envs/type_val.rs:18:5
Nov 09 17:05:21.012 INFO kablam!    |
Nov 09 17:05:21.012 INFO kablam! 18 |     pub fn gen(&self) -> &Vec<Variance> {
Nov 09 17:05:21.012 INFO kablam!    |     ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
Nov 09 17:05:21.012 INFO kablam! 
Nov 09 17:05:21.827 INFO kablam! warning: method is never used: `gen`
Nov 09 17:05:21.828 INFO kablam!   --> src/envs/type_val.rs:18:5
Nov 09 17:05:21.828 INFO kablam!    |
Nov 09 17:05:21.828 INFO kablam! 18 |     pub fn gen(&self) -> &Vec<Variance> {
Nov 09 17:05:21.828 INFO kablam!    |     ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
Nov 09 17:05:21.829 INFO kablam!    |
Nov 09 17:05:21.829 INFO kablam!    = note: #[warn(dead_code)] on by default
Nov 09 17:05:21.829 INFO kablam! 
Nov 09 17:05:21.987 INFO kablam!     Finished dev [unoptimized + debuginfo] target(s) in 4.22s
Nov 09 17:05:21.991 INFO kablam! su: No module specific data is present
Nov 09 17:05:22.643 INFO running `"docker" "rm" "-f" "6d8f41446ffcf98b32a382800e8c73ee04d912b229ca57fefa2d9c53fa318add"`
Nov 09 17:05:22.931 INFO blam! 6d8f41446ffcf98b32a382800e8c73ee04d912b229ca57fefa2d9c53fa318add