Nov 07 02:00:10.093 INFO checking adamAndMath/AlgebraicManipulatorRust against master#24e66c28980442a48d9458f1a4f9b76cc722dc8a for pr-55687
Nov 07 02:00:10.093 INFO running `"docker" "create" "-v" "/mnt/big/crater/work/local/target-dirs/pr-55687/worker-3/master#24e66c28980442a48d9458f1a4f9b76cc722dc8a:/target:rw,Z" "-v" "/mnt/big/crater/work/local/test-source/worker-3/pr-55687/master#24e66c28980442a48d9458f1a4f9b76cc722dc8a:/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 +24e66c28980442a48d9458f1a4f9b76cc722dc8a-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 07 02:00:10.558 INFO blam! 86c2059a5cc4e2774e1615fa82a095a74fb3f2acf7593bb53f93477186ef70df
Nov 07 02:00:10.560 INFO running `"docker" "start" "-a" "86c2059a5cc4e2774e1615fa82a095a74fb3f2acf7593bb53f93477186ef70df"`
Nov 07 02:00:11.691 INFO kablam! usermod: no changes
Nov 07 02:00:11.756 INFO kablam!     Checking algebra v0.1.0 (/source)
Nov 07 02:00:13.052 INFO kablam! warning: unused macro definition
Nov 07 02:00:13.052 INFO kablam!   --> src/macros/ast/element.rs:47:1
Nov 07 02:00:13.052 INFO kablam!    |
Nov 07 02:00:13.052 INFO kablam! 47 | / macro_rules! element_gen {
Nov 07 02:00:13.052 INFO kablam! 48 | |     (($($v:tt)*), ) => (vec!($($v)*));
Nov 07 02:00:13.052 INFO kablam! 49 | |     (($($v:tt)*)  $x:ident, $($rest:tt)*) => (element_gen!(($($v)* (Variance::Invariant    , stringify!($x).to_owned())), ) $($rest)*);
Nov 07 02:00:13.052 INFO kablam! 50 | |     (($($v:tt)*) +$x:ident, $($rest:tt)*) => (element_gen!(($($v)* (Variance::Covariant    , stringify!($x).to_owned())), ) $($rest)*);
Nov 07 02:00:13.052 INFO kablam! 51 | |     (($($v:tt)*) -$x:ident, $($rest:tt)*) => (element_gen!(($($v)* (Variance::Contravariant, stringify!($x).to_owned())), ) $($rest)*);
Nov 07 02:00:13.052 INFO kablam! 52 | | }
Nov 07 02:00:13.052 INFO kablam!    | |_^
Nov 07 02:00:13.052 INFO kablam!    |
Nov 07 02:00:13.052 INFO kablam!    = note: #[warn(unused_macros)] on by default
Nov 07 02:00:13.052 INFO kablam! 
Nov 07 02:00:13.052 INFO kablam! warning: unused macro definition
Nov 07 02:00:13.052 INFO kablam!  --> src/macros/id/ty.rs:1:1
Nov 07 02:00:13.052 INFO kablam!   |
Nov 07 02:00:13.052 INFO kablam! 1 | / macro_rules! type_id {
Nov 07 02:00:13.052 INFO kablam! 2 | |     ($t:ident) => (TypeID::Gen($t.into(), vec!()));
Nov 07 02:00:13.052 INFO kablam! 3 | |     ($t:ident[$($g:tt)*]) => (TypeID::Gen($t.into(), type_id_vec!($($g)*)));
Nov 07 02:00:13.052 INFO kablam! 4 | |     (($($p:tt)*)) => (type_id_tuple!($($p)*));
Nov 07 02:00:13.052 INFO kablam! 5 | | }
Nov 07 02:00:13.052 INFO kablam!   | |_^
Nov 07 02:00:13.052 INFO kablam! 
Nov 07 02:00:13.052 INFO kablam! warning: unused macro definition
Nov 07 02:00:13.052 INFO kablam!  --> src/macros/id/ty.rs:7:1
Nov 07 02:00:13.052 INFO kablam!   |
Nov 07 02:00:13.052 INFO kablam! 7 | / macro_rules! type_id_vec {
Nov 07 02:00:13.052 INFO kablam! 8 | |     ($($($t:ident)*$([$($g:tt)*])*$(($($p:tt)*))*),*) => (vec![$(type_id!($($t)*$([$($g)*])*$(($($p)*))*)),*]);
Nov 07 02:00:13.052 INFO kablam! 9 | | }
Nov 07 02:00:13.052 INFO kablam!   | |_^
Nov 07 02:00:13.052 INFO kablam! 
Nov 07 02:00:13.052 INFO kablam! warning: unused macro definition
Nov 07 02:00:13.052 INFO kablam!   --> src/macros/id/ty.rs:11:1
Nov 07 02:00:13.052 INFO kablam!    |
Nov 07 02:00:13.052 INFO kablam! 11 | / macro_rules! type_id_tuple {
Nov 07 02:00:13.052 INFO kablam! 12 | |     ($($t:ident)*$([$($g:tt)*])*$(($($p:tt)*))*) => (type_id!($($t)*$([$($g)*])*$(($($p)*))*));
Nov 07 02:00:13.052 INFO kablam! 13 | |     ($($($t:ident)*$([$($g:tt)*])*$(($($p:tt)*))*),*) => (TypeID::Tuple(vec![$(type_id!($($t)*$([$($g)*])*$(($($p)*))*)),*]));
Nov 07 02:00:13.052 INFO kablam! 14 | | }
Nov 07 02:00:13.052 INFO kablam!    | |_^
Nov 07 02:00:13.053 INFO kablam! 
Nov 07 02:00:13.053 INFO kablam! warning: unused macro definition
Nov 07 02:00:13.053 INFO kablam!  --> src/macros/id/pattern.rs:1:1
Nov 07 02:00:13.053 INFO kablam!   |
Nov 07 02:00:13.053 INFO kablam! 1 | / macro_rules! pattern_id {
Nov 07 02:00:13.053 INFO kablam! 2 | |     (+$($t:ident)*$([$($g:tt)*])*$(($($p:tt)*))*) => (PatternID::Var(type_id!($($t)*$([$($g)*])*$(($($p)*))*)));
Nov 07 02:00:13.053 INFO kablam! 3 | |     ($a:ident) => (PatternID::Atom($a, vec![]));
Nov 07 02:00:13.053 INFO kablam! 4 | |     ($a:ident[$($g:tt)*]) => (PatternID::Atom($a, type_id_vec!($($g)*)));
Nov 07 02:00:13.053 INFO kablam! ... |
Nov 07 02:00:13.053 INFO kablam! 7 | |     (($($t:tt)*)) => (pattern_id_tuple!(() $($p)*,))
Nov 07 02:00:13.053 INFO kablam! 8 | | }
Nov 07 02:00:13.053 INFO kablam!   | |_^
Nov 07 02:00:13.053 INFO kablam! 
Nov 07 02:00:13.053 INFO kablam! warning: unused macro definition
Nov 07 02:00:13.053 INFO kablam!   --> src/macros/id/pattern.rs:10:1
Nov 07 02:00:13.053 INFO kablam!    |
Nov 07 02:00:13.053 INFO kablam! 10 | / macro_rules! pattern_id_tuple {
Nov 07 02:00:13.053 INFO kablam! 11 | |     ((pattern_id!($($e:tt)*), )$(,)* ) => (pattern_id!($($e)*));
Nov 07 02:00:13.053 INFO kablam! 12 | |     (($($v:tt)*), ) => (PatternID::Tuple(vec!($($v)*)));
Nov 07 02:00:13.053 INFO kablam! 13 | |     (($($v:tt)*) +$x:ident, $($rest:tt)*) => (pattern_id_tuple!(($($v)* pattern_id!(+$x), ) $($rest)*));
Nov 07 02:00:13.053 INFO kablam! 14 | |     (($($v:tt)*) $($x:ident)*$(($($p:tt)*))*, $($rest:tt)*) => (pattern_id_tuple!(($($v)* pattern_id!($($x)*$(($($p)*))*), ) $($rest)*));
Nov 07 02:00:13.053 INFO kablam! 15 | | }
Nov 07 02:00:13.053 INFO kablam!    | |_^
Nov 07 02:00:13.053 INFO kablam! 
Nov 07 02:00:13.053 INFO kablam! warning: unused macro definition
Nov 07 02:00:13.053 INFO kablam!  --> src/macros/id/exp.rs:1:1
Nov 07 02:00:13.053 INFO kablam!   |
Nov 07 02:00:13.053 INFO kablam! 1 | / macro_rules! exp_id {
Nov 07 02:00:13.053 INFO kablam! 2 | |     ($x:ident) => (ExpID::Var($x.into(), vec![]));
Nov 07 02:00:13.053 INFO kablam! 3 | |     ($x:ident[$($g:tt)*]) => (ExpID::Var($x.into(), type_id_vec!($($g)*)));
Nov 07 02:00:13.053 INFO kablam! 4 | |     ($x:ident$([$($g:tt)*])*($($p:tt)*)) => (ExpID::Call(Box::new(exp_id!($x$([$($g)*])*)), Box::new(exp_id_tuple!($($p)*))));
Nov 07 02:00:13.053 INFO kablam! 5 | |     (($($p:tt)*)) => (exp_id_tuple!($($p)*));
Nov 07 02:00:13.053 INFO kablam! 6 | | }
Nov 07 02:00:13.053 INFO kablam!   | |_^
Nov 07 02:00:13.053 INFO kablam! 
Nov 07 02:00:13.053 INFO kablam! warning: unused macro definition
Nov 07 02:00:13.053 INFO kablam!   --> src/macros/id/exp.rs:8:1
Nov 07 02:00:13.053 INFO kablam!    |
Nov 07 02:00:13.053 INFO kablam! 8  | / macro_rules! exp_id_tuple {
Nov 07 02:00:13.053 INFO kablam! 9  | |     ($($x:ident)*$([$($g:tt)*])*$(($($p:tt)*))*) => (exp_id!($($x)*$([$($g)*])*$(($($p)*))*));
Nov 07 02:00:13.053 INFO kablam! 10 | |     ($($($x:ident)*$([$($g:tt)*])*$(($($p:tt)*))*),*) => (ExpID::Tuple(vec![$(exp_id!($($x)*$([$($g)*])*$(($($p)*))*)),*]));
Nov 07 02:00:13.053 INFO kablam! 11 | | }
Nov 07 02:00:13.053 INFO kablam!    | |_^
Nov 07 02:00:13.053 INFO kablam! 
Nov 07 02:00:13.053 INFO kablam! warning: unused import: `variance::Variance`
Nov 07 02:00:13.053 INFO kablam!   --> src/main.rs:19:9
Nov 07 02:00:13.053 INFO kablam!    |
Nov 07 02:00:13.053 INFO kablam! 19 |     use variance::Variance;
Nov 07 02:00:13.053 INFO kablam!    |         ^^^^^^^^^^^^^^^^^^
Nov 07 02:00:13.053 INFO kablam!    |
Nov 07 02:00:13.053 INFO kablam!    = note: #[warn(unused_imports)] on by default
Nov 07 02:00:13.053 INFO kablam! 
Nov 07 02:00:13.398 INFO kablam! warning: unused import: `variance::Variance`
Nov 07 02:00:13.398 INFO kablam!   --> src/main.rs:19:9
Nov 07 02:00:13.398 INFO kablam!    |
Nov 07 02:00:13.398 INFO kablam! 19 |     use variance::Variance;
Nov 07 02:00:13.398 INFO kablam!    |         ^^^^^^^^^^^^^^^^^^
Nov 07 02:00:13.398 INFO kablam!    |
Nov 07 02:00:13.398 INFO kablam!    = note: #[warn(unused_imports)] on by default
Nov 07 02:00:13.398 INFO kablam! 
Nov 07 02:00:14.200 INFO kablam! warning: unused variable: `vars`
Nov 07 02:00:14.200 INFO kablam!   --> src/ast/proof.rs:46:26
Nov 07 02:00:14.200 INFO kablam!    |
Nov 07 02:00:14.200 INFO kablam! 46 |             Proof::Block(vars, end) => unimplemented!(),
Nov 07 02:00:14.200 INFO kablam!    |                          ^^^^ help: consider using `_vars` instead
Nov 07 02:00:14.200 INFO kablam!    |
Nov 07 02:00:14.200 INFO kablam!    = note: #[warn(unused_variables)] on by default
Nov 07 02:00:14.200 INFO kablam! 
Nov 07 02:00:14.200 INFO kablam! warning: unused variable: `end`
Nov 07 02:00:14.200 INFO kablam!   --> src/ast/proof.rs:46:32
Nov 07 02:00:14.200 INFO kablam!    |
Nov 07 02:00:14.200 INFO kablam! 46 |             Proof::Block(vars, end) => unimplemented!(),
Nov 07 02:00:14.200 INFO kablam!    |                                ^^^ help: consider using `_end` instead
Nov 07 02:00:14.200 INFO kablam! 
Nov 07 02:00:14.704 INFO kablam! warning: method is never used: `iter`
Nov 07 02:00:14.704 INFO kablam!  --> src/env/path.rs:9:5
Nov 07 02:00:14.704 INFO kablam!   |
Nov 07 02:00:14.704 INFO kablam! 9 |     pub fn iter(&self) -> impl Iterator<Item = &String> {
Nov 07 02:00:14.704 INFO kablam!   |     ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
Nov 07 02:00:14.704 INFO kablam!   |
Nov 07 02:00:14.704 INFO kablam!   = note: #[warn(dead_code)] on by default
Nov 07 02:00:14.704 INFO kablam! 
Nov 07 02:00:14.704 INFO kablam! warning: method is never used: `prepend`
Nov 07 02:00:14.704 INFO kablam!   --> src/env/path.rs:21:5
Nov 07 02:00:14.704 INFO kablam!    |
Nov 07 02:00:14.704 INFO kablam! 21 |     pub fn prepend(mut self, space: String) -> Self {
Nov 07 02:00:14.704 INFO kablam!    |     ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
Nov 07 02:00:14.704 INFO kablam! 
Nov 07 02:00:14.704 INFO kablam! warning: method is never used: `get_type`
Nov 07 02:00:14.704 INFO kablam!   --> src/envs/namespaces.rs:55:5
Nov 07 02:00:14.704 INFO kablam!    |
Nov 07 02:00:14.704 INFO kablam! 55 |     pub fn get_type(&self, p: &Path) -> Result<ID<TypeVal>, ErrAst> {
Nov 07 02:00:14.704 INFO kablam!    |     ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
Nov 07 02:00:14.704 INFO kablam! 
Nov 07 02:00:14.704 INFO kablam! warning: method is never used: `get_exp`
Nov 07 02:00:14.704 INFO kablam!   --> src/envs/namespaces.rs:59:5
Nov 07 02:00:14.704 INFO kablam!    |
Nov 07 02:00:14.704 INFO kablam! 59 |     pub fn get_exp(&self, p: &Path) -> Result<ID<ExpVal>, ErrAst> {
Nov 07 02:00:14.704 INFO kablam!    |     ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
Nov 07 02:00:14.704 INFO kablam! 
Nov 07 02:00:14.704 INFO kablam! warning: method is never used: `get_truth`
Nov 07 02:00:14.704 INFO kablam!   --> src/envs/namespaces.rs:63:5
Nov 07 02:00:14.704 INFO kablam!    |
Nov 07 02:00:14.704 INFO kablam! 63 |     pub fn get_truth(&self, p: &Path) -> Result<ID<TruthVal>, ErrAst> {
Nov 07 02:00:14.704 INFO kablam!    |     ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
Nov 07 02:00:14.704 INFO kablam! 
Nov 07 02:00:14.704 INFO kablam! warning: method is never used: `scope_truth`
Nov 07 02:00:14.704 INFO kablam!   --> src/envs/local_namespaces.rs:40:5
Nov 07 02:00:14.704 INFO kablam!    |
Nov 07 02:00:14.704 INFO kablam! 40 |     pub fn scope_truth<'b, I: IntoIterator>(&'b self, v: I) -> LocalNamespaces<'b> where 'a: 'b, I::Item: Clone + Into<Path> {
Nov 07 02:00:14.704 INFO kablam!    |     ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
Nov 07 02:00:14.704 INFO kablam! 
Nov 07 02:00:14.704 INFO kablam! warning: method is never used: `scope_truth`
Nov 07 02:00:14.704 INFO kablam!   --> src/envs/local_envs.rs:28:5
Nov 07 02:00:14.704 INFO kablam!    |
Nov 07 02:00:14.704 INFO kablam! 28 |     pub fn scope_truth<'b>(&'b self, v: Vec<TruthVal>) -> LocalEnvs<'b> where 'a: 'b {
Nov 07 02:00:14.705 INFO kablam!    |     ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
Nov 07 02:00:14.705 INFO kablam! 
Nov 07 02:00:14.705 INFO kablam! warning: method is never used: `gen`
Nov 07 02:00:14.705 INFO kablam!   --> src/envs/type_val.rs:18:5
Nov 07 02:00:14.705 INFO kablam!    |
Nov 07 02:00:14.705 INFO kablam! 18 |     pub fn gen(&self) -> &Vec<Variance> {
Nov 07 02:00:14.705 INFO kablam!    |     ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
Nov 07 02:00:14.705 INFO kablam! 
Nov 07 02:00:14.705 INFO kablam! warning: variant is never constructed: `Closure`
Nov 07 02:00:14.705 INFO kablam!   --> src/ast/exp.rs:10:5
Nov 07 02:00:14.705 INFO kablam!    |
Nov 07 02:00:14.705 INFO kablam! 10 |     Closure(Vec<(Pattern, Exp)>),
Nov 07 02:00:14.705 INFO kablam!    |     ^^^^^^^^^^^^^^^^^^^^^^^^^^^^
Nov 07 02:00:14.705 INFO kablam! 
Nov 07 02:00:14.705 INFO kablam! warning: variant is never constructed: `Module`
Nov 07 02:00:14.705 INFO kablam!  --> src/ast/element.rs:8:5
Nov 07 02:00:14.705 INFO kablam!   |
Nov 07 02:00:14.705 INFO kablam! 8 |     Module(String, Vec<Element>),
Nov 07 02:00:14.705 INFO kablam!   |     ^^^^^^^^^^^^^^^^^^^^^^^^^^^^
Nov 07 02:00:14.705 INFO kablam! 
Nov 07 02:00:14.705 INFO kablam! warning: variant is never constructed: `Using`
Nov 07 02:00:14.705 INFO kablam!  --> src/ast/element.rs:9:5
Nov 07 02:00:14.705 INFO kablam!   |
Nov 07 02:00:14.705 INFO kablam! 9 |     Using(Path),
Nov 07 02:00:14.705 INFO kablam!   |     ^^^^^^^^^^^
Nov 07 02:00:14.705 INFO kablam! 
Nov 07 02:00:14.705 INFO kablam! warning: variant is never constructed: `Struct`
Nov 07 02:00:14.705 INFO kablam!   --> src/ast/element.rs:10:5
Nov 07 02:00:14.705 INFO kablam!    |
Nov 07 02:00:14.705 INFO kablam! 10 |     Struct(String, Vec<(Variance, String)>, Option<Type>),
Nov 07 02:00:14.705 INFO kablam!    |     ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
Nov 07 02:00:14.705 INFO kablam! 
Nov 07 02:00:14.705 INFO kablam! warning: variant is never constructed: `Let`
Nov 07 02:00:14.705 INFO kablam!   --> src/ast/element.rs:12:5
Nov 07 02:00:14.705 INFO kablam!    |
Nov 07 02:00:14.705 INFO kablam! 12 |     Let(String, Vec<String>, Option<Type>, Exp),
Nov 07 02:00:14.705 INFO kablam!    |     ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
Nov 07 02:00:14.705 INFO kablam! 
Nov 07 02:00:14.705 INFO kablam! warning: variant is never constructed: `Block`
Nov 07 02:00:14.705 INFO kablam!   --> src/ast/proof.rs:37:5
Nov 07 02:00:14.705 INFO kablam!    |
Nov 07 02:00:14.705 INFO kablam! 37 |     Block(Vec<(String, Proof)>, Box<Proof>),
Nov 07 02:00:14.705 INFO kablam!    |     ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
Nov 07 02:00:14.705 INFO kablam! 
Nov 07 02:00:14.705 INFO kablam! warning: variant is never constructed: `Block`
Nov 07 02:00:14.705 INFO kablam!    --> src/id/proof.rs:115:5
Nov 07 02:00:14.705 INFO kablam!     |
Nov 07 02:00:14.705 INFO kablam! 115 |     Block(Vec<Proof>, Box<Proof>),
Nov 07 02:00:14.705 INFO kablam!     |     ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
Nov 07 02:00:14.705 INFO kablam! 
Nov 07 02:00:15.172 INFO kablam! warning: unused variable: `vars`
Nov 07 02:00:15.173 INFO kablam!   --> src/ast/proof.rs:46:26
Nov 07 02:00:15.173 INFO kablam!    |
Nov 07 02:00:15.174 INFO kablam! 46 |             Proof::Block(vars, end) => unimplemented!(),
Nov 07 02:00:15.174 INFO kablam!    |                          ^^^^ help: consider using `_vars` instead
Nov 07 02:00:15.174 INFO kablam!    |
Nov 07 02:00:15.174 INFO kablam!    = note: #[warn(unused_variables)] on by default
Nov 07 02:00:15.175 INFO kablam! 
Nov 07 02:00:15.175 INFO kablam! warning: unused variable: `end`
Nov 07 02:00:15.175 INFO kablam!   --> src/ast/proof.rs:46:32
Nov 07 02:00:15.175 INFO kablam!    |
Nov 07 02:00:15.176 INFO kablam! 46 |             Proof::Block(vars, end) => unimplemented!(),
Nov 07 02:00:15.176 INFO kablam!    |                                ^^^ help: consider using `_end` instead
Nov 07 02:00:15.176 INFO kablam! 
Nov 07 02:00:15.872 INFO kablam! warning: method is never used: `iter`
Nov 07 02:00:15.872 INFO kablam!  --> src/env/path.rs:9:5
Nov 07 02:00:15.872 INFO kablam!   |
Nov 07 02:00:15.872 INFO kablam! 9 |     pub fn iter(&self) -> impl Iterator<Item = &String> {
Nov 07 02:00:15.872 INFO kablam!   |     ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
Nov 07 02:00:15.872 INFO kablam!   |
Nov 07 02:00:15.872 INFO kablam!   = note: #[warn(dead_code)] on by default
Nov 07 02:00:15.872 INFO kablam! 
Nov 07 02:00:15.875 INFO kablam! warning: method is never used: `prepend`
Nov 07 02:00:15.875 INFO kablam!   --> src/env/path.rs:21:5
Nov 07 02:00:15.875 INFO kablam!    |
Nov 07 02:00:15.875 INFO kablam! 21 |     pub fn prepend(mut self, space: String) -> Self {
Nov 07 02:00:15.875 INFO kablam!    |     ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
Nov 07 02:00:15.875 INFO kablam! 
Nov 07 02:00:15.875 INFO kablam! warning: method is never used: `scope_truth`
Nov 07 02:00:15.875 INFO kablam!   --> src/envs/local_namespaces.rs:40:5
Nov 07 02:00:15.875 INFO kablam!    |
Nov 07 02:00:15.875 INFO kablam! 40 |     pub fn scope_truth<'b, I: IntoIterator>(&'b self, v: I) -> LocalNamespaces<'b> where 'a: 'b, I::Item: Clone + Into<Path> {
Nov 07 02:00:15.875 INFO kablam!    |     ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
Nov 07 02:00:15.875 INFO kablam! 
Nov 07 02:00:15.875 INFO kablam! warning: method is never used: `scope_truth`
Nov 07 02:00:15.875 INFO kablam!   --> src/envs/local_envs.rs:28:5
Nov 07 02:00:15.875 INFO kablam!    |
Nov 07 02:00:15.875 INFO kablam! 28 |     pub fn scope_truth<'b>(&'b self, v: Vec<TruthVal>) -> LocalEnvs<'b> where 'a: 'b {
Nov 07 02:00:15.875 INFO kablam!    |     ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
Nov 07 02:00:15.875 INFO kablam! 
Nov 07 02:00:15.875 INFO kablam! warning: method is never used: `gen`
Nov 07 02:00:15.875 INFO kablam!   --> src/envs/type_val.rs:18:5
Nov 07 02:00:15.875 INFO kablam!    |
Nov 07 02:00:15.875 INFO kablam! 18 |     pub fn gen(&self) -> &Vec<Variance> {
Nov 07 02:00:15.875 INFO kablam!    |     ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
Nov 07 02:00:15.875 INFO kablam! 
Nov 07 02:00:15.875 INFO kablam! warning: variant is never constructed: `Module`
Nov 07 02:00:15.875 INFO kablam!  --> src/ast/element.rs:8:5
Nov 07 02:00:15.875 INFO kablam!   |
Nov 07 02:00:15.875 INFO kablam! 8 |     Module(String, Vec<Element>),
Nov 07 02:00:15.875 INFO kablam!   |     ^^^^^^^^^^^^^^^^^^^^^^^^^^^^
Nov 07 02:00:15.875 INFO kablam! 
Nov 07 02:00:15.875 INFO kablam! warning: variant is never constructed: `Using`
Nov 07 02:00:15.875 INFO kablam!  --> src/ast/element.rs:9:5
Nov 07 02:00:15.875 INFO kablam!   |
Nov 07 02:00:15.875 INFO kablam! 9 |     Using(Path),
Nov 07 02:00:15.875 INFO kablam!   |     ^^^^^^^^^^^
Nov 07 02:00:15.875 INFO kablam! 
Nov 07 02:00:15.875 INFO kablam! warning: variant is never constructed: `Block`
Nov 07 02:00:15.875 INFO kablam!   --> src/ast/proof.rs:37:5
Nov 07 02:00:15.875 INFO kablam!    |
Nov 07 02:00:15.875 INFO kablam! 37 |     Block(Vec<(String, Proof)>, Box<Proof>),
Nov 07 02:00:15.875 INFO kablam!    |     ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
Nov 07 02:00:15.875 INFO kablam! 
Nov 07 02:00:15.875 INFO kablam! warning: variant is never constructed: `Block`
Nov 07 02:00:15.875 INFO kablam!    --> src/id/proof.rs:115:5
Nov 07 02:00:15.875 INFO kablam!     |
Nov 07 02:00:15.875 INFO kablam! 115 |     Block(Vec<Proof>, Box<Proof>),
Nov 07 02:00:15.875 INFO kablam!     |     ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
Nov 07 02:00:15.875 INFO kablam! 
Nov 07 02:00:15.998 INFO kablam!     Finished dev [unoptimized + debuginfo] target(s) in 4.28s
Nov 07 02:00:16.003 INFO kablam! su: No module specific data is present
Nov 07 02:00:16.766 INFO running `"docker" "rm" "-f" "86c2059a5cc4e2774e1615fa82a095a74fb3f2acf7593bb53f93477186ef70df"`
Nov 07 02:00:17.116 INFO blam! 86c2059a5cc4e2774e1615fa82a095a74fb3f2acf7593bb53f93477186ef70df