Oct 11 03:36:12.503 INFO testing adamAndMath/AlgebraicManipulatorRust against master#0e07c4281c343e9e15a0a8fca79538ad1a8eb513 for rustdoc-test-static-cling
Oct 11 03:36:12.503 INFO running: cargo +0e07c4281c343e9e15a0a8fca79538ad1a8eb513-alt build --frozen
Oct 11 03:36:12.503 INFO running `"docker" "create" "-v" "/mnt/big/crater/./work/local/test-source/worker-7/rustdoc-test-static-cling/master#0e07c4281c343e9e15a0a8fca79538ad1a8eb513:/source:ro,Z" "-v" "/mnt/big/crater/./work/local/target-dirs/rustdoc-test-static-cling/worker-7/master#0e07c4281c343e9e15a0a8fca79538ad1a8eb513:/target:rw,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" "CMD=cargo +0e07c4281c343e9e15a0a8fca79538ad1a8eb513-alt build --frozen" "-e" "CARGO_INCREMENTAL=0" "-e" "RUST_BACKTRACE=full" "-e" "RUSTFLAGS=--cap-lints=forbid" "-m" "1536M" "--network" "none" "crater"`
Oct 11 03:36:12.838 INFO blam! e517156453bffbdc16b90c1b1ee5b586a31f048adec2f3a8a4a6935cfa4ce548
Oct 11 03:36:12.845 INFO running `"docker" "start" "-a" "e517156453bffbdc16b90c1b1ee5b586a31f048adec2f3a8a4a6935cfa4ce548"`
Oct 11 03:36:13.580 INFO kablam! usermod: no changes
Oct 11 03:36:13.613 INFO kablam!    Compiling algebra v0.1.0 (/source)
Oct 11 03:36:14.196 INFO kablam! warning: unused macro definition
Oct 11 03:36:14.196 INFO kablam!   --> src/macros/ast/ty.rs:12:1
Oct 11 03:36:14.196 INFO kablam!    |
Oct 11 03:36:14.196 INFO kablam! 12 | / macro_rules! ttype_tuple {
Oct 11 03:36:14.196 INFO kablam! 13 | |     ($($t:ident)*$([$($g:tt)*])*$(($($p:tt)*))*) =>
Oct 11 03:36:14.196 INFO kablam! 14 | |         (ttype!($($t)*$([$($g)*])*$(($($p)*))*));
Oct 11 03:36:14.196 INFO kablam! 15 | |     ($($($t:ident)*$([$($g:tt)*])*$(($($p:tt)*))*),*) =>
Oct 11 03:36:14.196 INFO kablam! 16 | |         (Type::Tuple(vec![$(ttype!($($t)*$([$($g)*])*$(($($p)*))*)),*]));
Oct 11 03:36:14.196 INFO kablam! 17 | | }
Oct 11 03:36:14.196 INFO kablam!    | |_^
Oct 11 03:36:14.196 INFO kablam!    |
Oct 11 03:36:14.196 INFO kablam!    = note: #[warn(unused_macros)] on by default
Oct 11 03:36:14.196 INFO kablam! 
Oct 11 03:36:14.196 INFO kablam! warning: unused macro definition
Oct 11 03:36:14.196 INFO kablam!   --> src/macros/ast/element.rs:47:1
Oct 11 03:36:14.196 INFO kablam!    |
Oct 11 03:36:14.196 INFO kablam! 47 | / macro_rules! element_gen {
Oct 11 03:36:14.196 INFO kablam! 48 | |     (($($v:tt)*), ) => (vec!($($v)*));
Oct 11 03:36:14.196 INFO kablam! 49 | |     (($($v:tt)*)  $x:ident, $($rest:tt)*) => (element_gen!(($($v)* (Variance::Invariant    , stringify!($x).to_owned())), ) $($rest)*);
Oct 11 03:36:14.196 INFO kablam! 50 | |     (($($v:tt)*) +$x:ident, $($rest:tt)*) => (element_gen!(($($v)* (Variance::Covariant    , stringify!($x).to_owned())), ) $($rest)*);
Oct 11 03:36:14.196 INFO kablam! 51 | |     (($($v:tt)*) -$x:ident, $($rest:tt)*) => (element_gen!(($($v)* (Variance::Contravariant, stringify!($x).to_owned())), ) $($rest)*);
Oct 11 03:36:14.196 INFO kablam! 52 | | }
Oct 11 03:36:14.196 INFO kablam!    | |_^
Oct 11 03:36:14.196 INFO kablam! 
Oct 11 03:36:14.196 INFO kablam! warning: unused macro definition
Oct 11 03:36:14.196 INFO kablam!  --> src/macros/id/ty.rs:1:1
Oct 11 03:36:14.196 INFO kablam!   |
Oct 11 03:36:14.196 INFO kablam! 1 | / macro_rules! type_id {
Oct 11 03:36:14.196 INFO kablam! 2 | |     ($t:ident) => (TypeID::Gen($t.into(), vec!()));
Oct 11 03:36:14.196 INFO kablam! 3 | |     ($t:ident[$($g:tt)*]) => (TypeID::Gen($t.into(), type_id_gen!(() $($g)*,)));
Oct 11 03:36:14.196 INFO kablam! 4 | |     (($($p:tt)*)) => (type_id_tuple!($($p)*));
Oct 11 03:36:14.196 INFO kablam! 5 | | }
Oct 11 03:36:14.196 INFO kablam!   | |_^
Oct 11 03:36:14.197 INFO kablam! 
Oct 11 03:36:14.197 INFO kablam! warning: unused macro definition
Oct 11 03:36:14.197 INFO kablam!  --> src/macros/id/ty.rs:7:1
Oct 11 03:36:14.197 INFO kablam!   |
Oct 11 03:36:14.197 INFO kablam! 7 | / macro_rules! type_id_vec {
Oct 11 03:36:14.197 INFO kablam! 8 | |     ($($($t:ident)*$([$($g:tt)*])*$(($($p:tt)*))*),*) => (vec![$(type_id!($($t)*$([$($g)*])*$(($($p)*))*))*]);
Oct 11 03:36:14.197 INFO kablam! 9 | | }
Oct 11 03:36:14.197 INFO kablam!   | |_^
Oct 11 03:36:14.197 INFO kablam! 
Oct 11 03:36:14.197 INFO kablam! warning: unused macro definition
Oct 11 03:36:14.197 INFO kablam!   --> src/macros/id/ty.rs:11:1
Oct 11 03:36:14.197 INFO kablam!    |
Oct 11 03:36:14.197 INFO kablam! 11 | / macro_rules! type_id_gen {
Oct 11 03:36:14.197 INFO kablam! 12 | |     (($($v:tt)*)$(,)* ) => (vec!($($v)*));
Oct 11 03:36:14.197 INFO kablam! 13 | |     (($($v:tt)*)  $($t:ident)*$([$($g:tt)*])*$(($($p:tt)*))*, $($rest:tt)*) =>
Oct 11 03:36:14.197 INFO kablam! 14 | |         (type_id_gen!(($($v)* (Variance::Invariant,     type_id!($($t)*$([$($g)*])*$(($($p)*))*)), ) $($rest)*));
Oct 11 03:36:14.197 INFO kablam! ...  |
Oct 11 03:36:14.197 INFO kablam! 18 | |         (type_id_gen!(($($v)* (Variance::Contravariant, type_id!($($t)*$([$($g)*])*$(($($p)*))*)), ) $($rest)*));
Oct 11 03:36:14.197 INFO kablam! 19 | | }
Oct 11 03:36:14.197 INFO kablam!    | |_^
Oct 11 03:36:14.197 INFO kablam! 
Oct 11 03:36:14.197 INFO kablam! warning: unused macro definition
Oct 11 03:36:14.197 INFO kablam!   --> src/macros/id/ty.rs:21:1
Oct 11 03:36:14.197 INFO kablam!    |
Oct 11 03:36:14.197 INFO kablam! 21 | / macro_rules! type_id_tuple {
Oct 11 03:36:14.197 INFO kablam! 22 | |     ($($t:ident)*$([$($g:tt)*])*$(($($p:tt)*))*) => (type_id!($($t)*$([$($g)*])*$(($($p)*))*));
Oct 11 03:36:14.197 INFO kablam! 23 | |     ($($($t:ident)*$([$($g:tt)*])*$(($($p:tt)*))*),*) => (TypeID::Tuple(vec![$(type_id!($($t)*$([$($g)*])*$(($($p)*))*)),*]));
Oct 11 03:36:14.197 INFO kablam! 24 | | }
Oct 11 03:36:14.197 INFO kablam!    | |_^
Oct 11 03:36:14.197 INFO kablam! 
Oct 11 03:36:14.197 INFO kablam! warning: unused macro definition
Oct 11 03:36:14.197 INFO kablam!  --> src/macros/id/pattern.rs:1:1
Oct 11 03:36:14.197 INFO kablam!   |
Oct 11 03:36:14.197 INFO kablam! 1 | / macro_rules! pattern_id {
Oct 11 03:36:14.197 INFO kablam! 2 | |     (+$($t:ident)*$([$($g:tt)*])*$(($($p:tt)*))*) => (PatternID::Var(type_id!($($t)*$([$($g)*])*$(($($p)*))*)));
Oct 11 03:36:14.197 INFO kablam! 3 | |     ($a:ident) => (PatternID::Atom($a, vec![]));
Oct 11 03:36:14.197 INFO kablam! 4 | |     ($a:ident[$($g:tt)*]) => (PatternID::Atom($a, type_id_vec!($($g)*)));
Oct 11 03:36:14.197 INFO kablam! ... |
Oct 11 03:36:14.197 INFO kablam! 7 | |     (($($t:tt)*)) => (pattern_id_tuple!(() $($p)*,))
Oct 11 03:36:14.197 INFO kablam! 8 | | }
Oct 11 03:36:14.197 INFO kablam!   | |_^
Oct 11 03:36:14.197 INFO kablam! 
Oct 11 03:36:14.197 INFO kablam! warning: unused macro definition
Oct 11 03:36:14.197 INFO kablam!   --> src/macros/id/pattern.rs:10:1
Oct 11 03:36:14.197 INFO kablam!    |
Oct 11 03:36:14.197 INFO kablam! 10 | / macro_rules! pattern_id_tuple {
Oct 11 03:36:14.197 INFO kablam! 11 | |     ((pattern_id!($($e:tt)*), )$(,)* ) => (pattern_id!($($e)*));
Oct 11 03:36:14.197 INFO kablam! 12 | |     (($($v:tt)*), ) => (PatternID::Tuple(vec!($($v)*)));
Oct 11 03:36:14.197 INFO kablam! 13 | |     (($($v:tt)*) +$x:ident, $($rest:tt)*) => (pattern_id_tuple!(($($v)* pattern_id!(+$x), ) $($rest)*));
Oct 11 03:36:14.197 INFO kablam! 14 | |     (($($v:tt)*) $($x:ident)*$(($($p:tt)*))*, $($rest:tt)*) => (pattern_id_tuple!(($($v)* pattern_id!($($x)*$(($($p)*))*), ) $($rest)*));
Oct 11 03:36:14.197 INFO kablam! 15 | | }
Oct 11 03:36:14.197 INFO kablam!    | |_^
Oct 11 03:36:14.197 INFO kablam! 
Oct 11 03:36:14.197 INFO kablam! warning: unused macro definition
Oct 11 03:36:14.197 INFO kablam!  --> src/macros/id/exp.rs:1:1
Oct 11 03:36:14.197 INFO kablam!   |
Oct 11 03:36:14.197 INFO kablam! 1 | / macro_rules! exp_id {
Oct 11 03:36:14.197 INFO kablam! 2 | |     ($x:ident) => (ExpID::Var($x.into(), vec![]));
Oct 11 03:36:14.197 INFO kablam! 3 | |     ($x:ident[$($g:tt)*]) => (ExpID::Var($x.into(), type_id_vec!($($g)*)));
Oct 11 03:36:14.197 INFO kablam! 4 | |     ($x:ident$([$($g:tt)*])*($($p:tt)*)) => (ExpID::Call(Box::new(exp_id!($x$([$($g)*])*)), Box::new(exp_id_tuple!($($p)*))));
Oct 11 03:36:14.197 INFO kablam! 5 | |     (($($p:tt)*)) => (exp_id_tuple!($($p)*));
Oct 11 03:36:14.197 INFO kablam! 6 | | }
Oct 11 03:36:14.197 INFO kablam!   | |_^
Oct 11 03:36:14.197 INFO kablam! 
Oct 11 03:36:14.197 INFO kablam! warning: unused macro definition
Oct 11 03:36:14.197 INFO kablam!   --> src/macros/id/exp.rs:8:1
Oct 11 03:36:14.197 INFO kablam!    |
Oct 11 03:36:14.197 INFO kablam! 8  | / macro_rules! exp_id_tuple {
Oct 11 03:36:14.197 INFO kablam! 9  | |     ($($x:ident)*$([$($g:tt)*])*$(($($p:tt)*))*) => (exp_id!($($x)*$([$($g)*])*$(($($p)*))*));
Oct 11 03:36:14.197 INFO kablam! 10 | |     ($($($x:ident)*$([$($g:tt)*])*$(($($p:tt)*))*),*) => (ExpID::Tuple(vec![$(exp_id!($($x)*$([$($g)*])*$(($($p)*))*)),*]));
Oct 11 03:36:14.197 INFO kablam! 11 | | }
Oct 11 03:36:14.197 INFO kablam!    | |_^
Oct 11 03:36:14.197 INFO kablam! 
Oct 11 03:36:14.197 INFO kablam! warning: unused import: `variance::Variance`
Oct 11 03:36:14.197 INFO kablam!   --> src/main.rs:20:9
Oct 11 03:36:14.197 INFO kablam!    |
Oct 11 03:36:14.197 INFO kablam! 20 |     use variance::Variance;
Oct 11 03:36:14.197 INFO kablam!    |         ^^^^^^^^^^^^^^^^^^
Oct 11 03:36:14.197 INFO kablam!    |
Oct 11 03:36:14.197 INFO kablam!    = note: #[warn(unused_imports)] on by default
Oct 11 03:36:14.198 INFO kablam! 
Oct 11 03:36:14.838 INFO kablam! warning: unused variable: `vars`
Oct 11 03:36:14.838 INFO kablam!   --> src/ast/proof.rs:45:26
Oct 11 03:36:14.838 INFO kablam!    |
Oct 11 03:36:14.838 INFO kablam! 45 |             Proof::Block(vars, end) => unimplemented!(),
Oct 11 03:36:14.838 INFO kablam!    |                          ^^^^ help: consider using `_vars` instead
Oct 11 03:36:14.838 INFO kablam!    |
Oct 11 03:36:14.838 INFO kablam!    = note: #[warn(unused_variables)] on by default
Oct 11 03:36:14.838 INFO kablam! 
Oct 11 03:36:14.838 INFO kablam! warning: unused variable: `end`
Oct 11 03:36:14.838 INFO kablam!   --> src/ast/proof.rs:45:32
Oct 11 03:36:14.838 INFO kablam!    |
Oct 11 03:36:14.838 INFO kablam! 45 |             Proof::Block(vars, end) => unimplemented!(),
Oct 11 03:36:14.838 INFO kablam!    |                                ^^^ help: consider using `_end` instead
Oct 11 03:36:14.838 INFO kablam! 
Oct 11 03:36:15.153 INFO kablam! warning: method is never used: `scope`
Oct 11 03:36:15.153 INFO kablam!   --> src/env/env.rs:14:5
Oct 11 03:36:15.153 INFO kablam!    |
Oct 11 03:36:15.153 INFO kablam! 14 |     pub fn scope<'b>(&'b mut self) -> Env<'b, T> where 'a: 'b {
Oct 11 03:36:15.153 INFO kablam!    |     ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
Oct 11 03:36:15.153 INFO kablam!    |
Oct 11 03:36:15.153 INFO kablam!    = note: #[warn(dead_code)] on by default
Oct 11 03:36:15.153 INFO kablam! 
Oct 11 03:36:15.153 INFO kablam! warning: method is never used: `scope`
Oct 11 03:36:15.153 INFO kablam!   --> src/envs/envs.rs:20:5
Oct 11 03:36:15.153 INFO kablam!    |
Oct 11 03:36:15.153 INFO kablam! 20 |     pub fn scope<'b>(&'b mut self) -> Envs<'b> where 'b: 'a {
Oct 11 03:36:15.153 INFO kablam!    |     ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
Oct 11 03:36:15.153 INFO kablam! 
Oct 11 03:36:15.153 INFO kablam! warning: method is never used: `scope_truth`
Oct 11 03:36:15.153 INFO kablam!   --> src/envs/local_envs.rs:28:5
Oct 11 03:36:15.153 INFO kablam!    |
Oct 11 03:36:15.153 INFO kablam! 28 |     pub fn scope_truth<'b>(&'b self, v: Vec<(String, TruthVal)>) -> LocalEnvs<'b> where 'a: 'b {
Oct 11 03:36:15.153 INFO kablam!    |     ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
Oct 11 03:36:15.153 INFO kablam! 
Oct 11 03:36:15.153 INFO kablam! warning: method is never used: `scope_ty_anon`
Oct 11 03:36:15.153 INFO kablam!   --> src/envs/local_envs.rs:44:5
Oct 11 03:36:15.153 INFO kablam!    |
Oct 11 03:36:15.154 INFO kablam! 44 |     pub fn scope_ty_anon<'b>(&'b self, v: Vec<TypeVal>) -> LocalEnvs<'b> where 'a: 'b {
Oct 11 03:36:15.154 INFO kablam!    |     ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
Oct 11 03:36:15.154 INFO kablam! 
Oct 11 03:36:15.154 INFO kablam! warning: method is never used: `scope_truth_anon`
Oct 11 03:36:15.154 INFO kablam!   --> src/envs/local_envs.rs:52:5
Oct 11 03:36:15.154 INFO kablam!    |
Oct 11 03:36:15.154 INFO kablam! 52 |     pub fn scope_truth_anon<'b>(&'b self, v: Vec<TruthVal>) -> LocalEnvs<'b> where 'a: 'b {
Oct 11 03:36:15.154 INFO kablam!    |     ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
Oct 11 03:36:15.154 INFO kablam! 
Oct 11 03:36:15.159 INFO kablam! warning: variant is never constructed: `Closure`
Oct 11 03:36:15.159 INFO kablam!  --> src/ast/exp.rs:9:5
Oct 11 03:36:15.160 INFO kablam!   |
Oct 11 03:36:15.160 INFO kablam! 9 |     Closure(Vec<(Pattern, Exp)>),
Oct 11 03:36:15.160 INFO kablam!   |     ^^^^^^^^^^^^^^^^^^^^^^^^^^^^
Oct 11 03:36:15.160 INFO kablam! 
Oct 11 03:36:15.160 INFO kablam! warning: variant is never constructed: `Struct`
Oct 11 03:36:15.160 INFO kablam!  --> src/ast/element.rs:9:5
Oct 11 03:36:15.160 INFO kablam!   |
Oct 11 03:36:15.160 INFO kablam! 9 |     Struct(String, Vec<(Variance, String)>, Vec<Type>),
Oct 11 03:36:15.160 INFO kablam!   |     ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
Oct 11 03:36:15.160 INFO kablam! 
Oct 11 03:36:15.160 INFO kablam! warning: variant is never constructed: `Let`
Oct 11 03:36:15.160 INFO kablam!   --> src/ast/element.rs:11:5
Oct 11 03:36:15.160 INFO kablam!    |
Oct 11 03:36:15.160 INFO kablam! 11 |     Let(String, Vec<String>, Option<Type>, Exp),
Oct 11 03:36:15.160 INFO kablam!    |     ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
Oct 11 03:36:15.160 INFO kablam! 
Oct 11 03:36:15.160 INFO kablam! warning: variant is never constructed: `Block`
Oct 11 03:36:15.160 INFO kablam!   --> src/ast/proof.rs:36:5
Oct 11 03:36:15.160 INFO kablam!    |
Oct 11 03:36:15.160 INFO kablam! 36 |     Block(Vec<(String, Proof)>, Box<Proof>),
Oct 11 03:36:15.160 INFO kablam!    |     ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
Oct 11 03:36:15.160 INFO kablam! 
Oct 11 03:36:15.161 INFO kablam! warning: variant is never constructed: `Block`
Oct 11 03:36:15.161 INFO kablam!    --> src/id/proof.rs:115:5
Oct 11 03:36:15.161 INFO kablam!     |
Oct 11 03:36:15.161 INFO kablam! 115 |     Block(Vec<Proof>, Box<Proof>),
Oct 11 03:36:15.162 INFO kablam!     |     ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
Oct 11 03:36:15.162 INFO kablam! 
Oct 11 03:36:18.495 INFO kablam!     Finished dev [unoptimized + debuginfo] target(s) in 4.89s
Oct 11 03:36:18.497 INFO kablam! su: No module specific data is present
Oct 11 03:36:18.760 INFO running `"docker" "rm" "-f" "e517156453bffbdc16b90c1b1ee5b586a31f048adec2f3a8a4a6935cfa4ce548"`
Oct 11 03:36:18.843 INFO blam! e517156453bffbdc16b90c1b1ee5b586a31f048adec2f3a8a4a6935cfa4ce548
Oct 11 03:36:18.845 INFO running: cargo +0e07c4281c343e9e15a0a8fca79538ad1a8eb513-alt test --frozen --no-run
Oct 11 03:36:18.845 INFO running `"docker" "create" "-v" "/mnt/big/crater/./work/local/test-source/worker-7/rustdoc-test-static-cling/master#0e07c4281c343e9e15a0a8fca79538ad1a8eb513:/source:ro,Z" "-v" "/mnt/big/crater/./work/local/target-dirs/rustdoc-test-static-cling/worker-7/master#0e07c4281c343e9e15a0a8fca79538ad1a8eb513:/target:rw,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" "CMD=cargo +0e07c4281c343e9e15a0a8fca79538ad1a8eb513-alt test --frozen --no-run" "-e" "CARGO_INCREMENTAL=0" "-e" "RUST_BACKTRACE=full" "-e" "RUSTFLAGS=--cap-lints=forbid" "-m" "1536M" "--network" "none" "crater"`
Oct 11 03:36:19.024 INFO blam! c0860f0f1bb91ed950a04b6a73a86f09af95e26c0cd98678d50a9ef2a3397796
Oct 11 03:36:19.025 INFO running `"docker" "start" "-a" "c0860f0f1bb91ed950a04b6a73a86f09af95e26c0cd98678d50a9ef2a3397796"`
Oct 11 03:36:19.430 INFO kablam! usermod: no changes
Oct 11 03:36:19.454 INFO kablam!    Compiling algebra v0.1.0 (/source)
Oct 11 03:36:20.408 INFO kablam! warning: unused import: `variance::Variance`
Oct 11 03:36:20.408 INFO kablam!   --> src/main.rs:20:9
Oct 11 03:36:20.408 INFO kablam!    |
Oct 11 03:36:20.408 INFO kablam! 20 |     use variance::Variance;
Oct 11 03:36:20.408 INFO kablam!    |         ^^^^^^^^^^^^^^^^^^
Oct 11 03:36:20.408 INFO kablam!    |
Oct 11 03:36:20.408 INFO kablam!    = note: #[warn(unused_imports)] on by default
Oct 11 03:36:20.408 INFO kablam! 
Oct 11 03:36:21.596 INFO kablam! warning: unused variable: `vars`
Oct 11 03:36:21.596 INFO kablam!   --> src/ast/proof.rs:45:26
Oct 11 03:36:21.596 INFO kablam!    |
Oct 11 03:36:21.596 INFO kablam! 45 |             Proof::Block(vars, end) => unimplemented!(),
Oct 11 03:36:21.596 INFO kablam!    |                          ^^^^ help: consider using `_vars` instead
Oct 11 03:36:21.596 INFO kablam!    |
Oct 11 03:36:21.596 INFO kablam!    = note: #[warn(unused_variables)] on by default
Oct 11 03:36:21.596 INFO kablam! 
Oct 11 03:36:21.596 INFO kablam! warning: unused variable: `end`
Oct 11 03:36:21.596 INFO kablam!   --> src/ast/proof.rs:45:32
Oct 11 03:36:21.596 INFO kablam!    |
Oct 11 03:36:21.596 INFO kablam! 45 |             Proof::Block(vars, end) => unimplemented!(),
Oct 11 03:36:21.596 INFO kablam!    |                                ^^^ help: consider using `_end` instead
Oct 11 03:36:21.597 INFO kablam! 
Oct 11 03:36:22.104 INFO kablam! warning: method is never used: `scope`
Oct 11 03:36:22.104 INFO kablam!   --> src/envs/envs.rs:20:5
Oct 11 03:36:22.104 INFO kablam!    |
Oct 11 03:36:22.104 INFO kablam! 20 |     pub fn scope<'b>(&'b mut self) -> Envs<'b> where 'b: 'a {
Oct 11 03:36:22.104 INFO kablam!    |     ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
Oct 11 03:36:22.104 INFO kablam!    |
Oct 11 03:36:22.104 INFO kablam!    = note: #[warn(dead_code)] on by default
Oct 11 03:36:22.104 INFO kablam! 
Oct 11 03:36:22.104 INFO kablam! warning: method is never used: `scope_truth`
Oct 11 03:36:22.104 INFO kablam!   --> src/envs/local_envs.rs:28:5
Oct 11 03:36:22.104 INFO kablam!    |
Oct 11 03:36:22.104 INFO kablam! 28 |     pub fn scope_truth<'b>(&'b self, v: Vec<(String, TruthVal)>) -> LocalEnvs<'b> where 'a: 'b {
Oct 11 03:36:22.104 INFO kablam!    |     ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
Oct 11 03:36:22.104 INFO kablam! 
Oct 11 03:36:22.104 INFO kablam! warning: method is never used: `scope_ty_anon`
Oct 11 03:36:22.104 INFO kablam!   --> src/envs/local_envs.rs:44:5
Oct 11 03:36:22.104 INFO kablam!    |
Oct 11 03:36:22.104 INFO kablam! 44 |     pub fn scope_ty_anon<'b>(&'b self, v: Vec<TypeVal>) -> LocalEnvs<'b> where 'a: 'b {
Oct 11 03:36:22.104 INFO kablam!    |     ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
Oct 11 03:36:22.104 INFO kablam! 
Oct 11 03:36:22.104 INFO kablam! warning: method is never used: `scope_truth_anon`
Oct 11 03:36:22.104 INFO kablam!   --> src/envs/local_envs.rs:52:5
Oct 11 03:36:22.104 INFO kablam!    |
Oct 11 03:36:22.104 INFO kablam! 52 |     pub fn scope_truth_anon<'b>(&'b self, v: Vec<TruthVal>) -> LocalEnvs<'b> where 'a: 'b {
Oct 11 03:36:22.104 INFO kablam!    |     ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
Oct 11 03:36:22.104 INFO kablam! 
Oct 11 03:36:22.104 INFO kablam! warning: variant is never constructed: `Block`
Oct 11 03:36:22.104 INFO kablam!   --> src/ast/proof.rs:36:5
Oct 11 03:36:22.104 INFO kablam!    |
Oct 11 03:36:22.104 INFO kablam! 36 |     Block(Vec<(String, Proof)>, Box<Proof>),
Oct 11 03:36:22.104 INFO kablam!    |     ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
Oct 11 03:36:22.104 INFO kablam! 
Oct 11 03:36:22.105 INFO kablam! warning: variant is never constructed: `Block`
Oct 11 03:36:22.105 INFO kablam!    --> src/id/proof.rs:115:5
Oct 11 03:36:22.105 INFO kablam!     |
Oct 11 03:36:22.105 INFO kablam! 115 |     Block(Vec<Proof>, Box<Proof>),
Oct 11 03:36:22.105 INFO kablam!     |     ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
Oct 11 03:36:22.105 INFO kablam! 
Oct 11 03:36:26.273 INFO kablam!     Finished dev [unoptimized + debuginfo] target(s) in 6.82s
Oct 11 03:36:26.275 INFO kablam! su: No module specific data is present
Oct 11 03:36:26.532 INFO running `"docker" "rm" "-f" "c0860f0f1bb91ed950a04b6a73a86f09af95e26c0cd98678d50a9ef2a3397796"`
Oct 11 03:36:26.703 INFO blam! c0860f0f1bb91ed950a04b6a73a86f09af95e26c0cd98678d50a9ef2a3397796
Oct 11 03:36:26.706 INFO running: cargo +0e07c4281c343e9e15a0a8fca79538ad1a8eb513-alt test --frozen
Oct 11 03:36:26.706 INFO running `"docker" "create" "-v" "/mnt/big/crater/./work/local/test-source/worker-7/rustdoc-test-static-cling/master#0e07c4281c343e9e15a0a8fca79538ad1a8eb513:/source:ro,Z" "-v" "/mnt/big/crater/./work/local/target-dirs/rustdoc-test-static-cling/worker-7/master#0e07c4281c343e9e15a0a8fca79538ad1a8eb513:/target:rw,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" "CMD=cargo +0e07c4281c343e9e15a0a8fca79538ad1a8eb513-alt test --frozen" "-e" "CARGO_INCREMENTAL=0" "-e" "RUST_BACKTRACE=full" "-e" "RUSTFLAGS=--cap-lints=forbid" "-m" "1536M" "--network" "none" "crater"`
Oct 11 03:36:26.865 INFO blam! 8b09d6e25edc6597e38e6af9575a975aea5657a654525ef77f6b1509cd72d251
Oct 11 03:36:26.868 INFO running `"docker" "start" "-a" "8b09d6e25edc6597e38e6af9575a975aea5657a654525ef77f6b1509cd72d251"`
Oct 11 03:36:27.285 INFO kablam! usermod: no changes
Oct 11 03:36:27.312 INFO kablam!     Finished dev [unoptimized + debuginfo] target(s) in 0.01s
Oct 11 03:36:27.312 INFO kablam!      Running /target/debug/deps/algebra-eb59376eb1cead06
Oct 11 03:36:27.312 INFO blam! 
Oct 11 03:36:27.312 INFO blam! running 38 tests
Oct 11 03:36:27.314 INFO blam! test test::ast::element::lists ... ok
Oct 11 03:36:27.314 INFO blam! test test::ast::element::func ... ok
Oct 11 03:36:27.316 INFO blam! test test::ast::element::struct_empty ... ok
Oct 11 03:36:27.316 INFO blam! test test::ast::pattern::to_id ... ok
Oct 11 03:36:27.316 INFO blam! test test::ast::exp::succ_zero ... ok
Oct 11 03:36:27.318 INFO blam! test test::ast::element::letting ... ok
Oct 11 03:36:27.318 INFO blam! test test::ast::element::struct_tuple ... ok
Oct 11 03:36:27.318 INFO blam! test test::ast::proof::id_call ... ok
Oct 11 03:36:27.319 INFO blam! test test::ast::proof::deref ... ok
Oct 11 03:36:27.320 INFO blam! test test::ast::proof::match_proof ... ok
Oct 11 03:36:27.320 INFO blam! test test::ast::proof::replace_nothing ... ok
Oct 11 03:36:27.320 INFO blam! test test::ast::proof::replace ... ok
Oct 11 03:36:27.321 INFO blam! test test::ast::proof::double_negate ... ok
Oct 11 03:36:27.323 INFO blam! test test::ast::exp::apply ... ok
Oct 11 03:36:27.324 INFO blam! test test::ast::proof::unwraping_function_call ... ok
Oct 11 03:36:27.324 INFO blam! test test::ast::proof::unwraping_lambda_call ... ok
Oct 11 03:36:27.329 INFO blam! test test::env::env::create_empty_env ... ok
Oct 11 03:36:27.329 INFO blam! test test::ast::ty::to_id ... ok
Oct 11 03:36:27.330 INFO blam! test test::env::env::create_env_with_a_b_c ... ok
Oct 11 03:36:27.330 INFO blam! test test::env::env::add_data_to_empty_env ... ok
Oct 11 03:36:27.330 INFO blam! test test::env::env::add_data_in_and_after_scope ... ok
Oct 11 03:36:27.331 INFO blam! test test::env::env::alias_unnamed_data ... ok
Oct 11 03:36:27.332 INFO blam! test test::ast::proof::unwraping_var ... ok
Oct 11 03:36:27.333 INFO blam! test test::ast::proof::unwraping_match ... ok
Oct 11 03:36:27.333 INFO blam! test test::env::local_env::add_data_in_and_after_scope ... ok
Oct 11 03:36:27.334 INFO blam! test test::env::local_env::create_env_with_a_b_c ... ok
Oct 11 03:36:27.334 INFO blam! test test::id::exp::type_check ... ok
Oct 11 03:36:27.334 INFO blam! test test::tree::liniar_path ... ok
Oct 11 03:36:27.334 INFO blam! test test::tree::branching_path ... ok
Oct 11 03:36:27.334 INFO blam! test test::env::local_env::add_data_to_empty_env ... ok
Oct 11 03:36:27.335 INFO blam! test test::id::pattern::type_check ... ok
Oct 11 03:36:27.335 INFO blam! test test::tree::branching_with_depth_path ... ok
Oct 11 03:36:27.335 INFO blam! test test::variance::neg ... ok
Oct 11 03:36:27.335 INFO blam! test test::tree::compact_path ... ok
Oct 11 03:36:27.335 INFO blam! test test::variance::not ... ok
Oct 11 03:36:27.335 INFO blam! test test::variance::and ... ok
Oct 11 03:36:27.336 INFO blam! test test::variance::or ... ok
Oct 11 03:36:27.341 INFO blam! test test::env::local_env::create_empty_env ... ok
Oct 11 03:36:27.341 INFO blam! 
Oct 11 03:36:27.341 INFO blam! test result: ok. 38 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out
Oct 11 03:36:27.341 INFO blam! 
Oct 11 03:36:27.342 INFO kablam! su: No module specific data is present
Oct 11 03:36:27.700 INFO running `"docker" "rm" "-f" "8b09d6e25edc6597e38e6af9575a975aea5657a654525ef77f6b1509cd72d251"`
Oct 11 03:36:27.865 INFO blam! 8b09d6e25edc6597e38e6af9575a975aea5657a654525ef77f6b1509cd72d251