Sep 21 10:22:38.375 INFO checking flatten-0.2.1 against try#f1a3f05968ed2a674e09b6efa4ad9df90816e2b6 for pr-54394 Sep 21 10:22:38.376 INFO running: cargo +f1a3f05968ed2a674e09b6efa4ad9df90816e2b6-alt check --frozen --all --all-targets Sep 21 10:22:38.376 INFO running `"docker" "create" "-v" "/home/ec2-user/crater/./work/local/test-source/worker-6/pr-54394/try#f1a3f05968ed2a674e09b6efa4ad9df90816e2b6:/source:ro,Z" "-v" "/home/ec2-user/crater/./work/local/target-dirs/pr-54394/worker-6/try#f1a3f05968ed2a674e09b6efa4ad9df90816e2b6:/target:rw,Z" "-v" "/home/ec2-user/crater/./work/local/cargo-home:/cargo-home:ro,Z" "-v" "/home/ec2-user/crater/./work/local/rustup-home:/rustup-home:ro,Z" "-e" "USER_ID=1000" "-e" "CMD=cargo +f1a3f05968ed2a674e09b6efa4ad9df90816e2b6-alt check --frozen --all --all-targets" "-e" "CARGO_INCREMENTAL=0" "-e" "RUST_BACKTRACE=full" "-e" "RUSTFLAGS=--cap-lints=forbid" "-m" "1536M" "crater"` Sep 21 10:22:38.511 INFO blam! 39051d2c6a6aed20f761f3d1a0b024b972662bbf1d194c5a765d474aaaa6db14 Sep 21 10:22:38.513 INFO running `"docker" "start" "-a" "39051d2c6a6aed20f761f3d1a0b024b972662bbf1d194c5a765d474aaaa6db14"` Sep 21 10:22:39.299 INFO kablam! usermod: no changes Sep 21 10:22:39.325 INFO kablam! Checking flatten v0.2.1 (/source) Sep 21 10:22:39.369 INFO kablam! warning: unknown lint: `auto_impl` Sep 21 10:22:39.369 INFO kablam! --> src/cons/mod.rs:24:9 Sep 21 10:22:39.369 INFO kablam! | Sep 21 10:22:39.369 INFO kablam! 24 | #[allow(auto_impl)] Sep 21 10:22:39.369 INFO kablam! | ^^^^^^^^^ Sep 21 10:22:39.369 INFO kablam! | Sep 21 10:22:39.369 INFO kablam! = note: #[warn(unknown_lints)] on by default Sep 21 10:22:39.369 INFO kablam! Sep 21 10:22:39.369 INFO kablam! warning: unknown lint: `auto_impl` Sep 21 10:22:39.369 INFO kablam! --> src/into_cons.rs:141:9 Sep 21 10:22:39.369 INFO kablam! | Sep 21 10:22:39.369 INFO kablam! 141 | #[allow(auto_impl)] Sep 21 10:22:39.369 INFO kablam! | ^^^^^^^^^ Sep 21 10:22:39.369 INFO kablam! Sep 21 10:22:39.373 INFO kablam! warning: unknown lint: `auto_impl` Sep 21 10:22:39.374 INFO kablam! --> src/cons/mod.rs:24:9 Sep 21 10:22:39.374 INFO kablam! | Sep 21 10:22:39.374 INFO kablam! 24 | #[allow(auto_impl)] Sep 21 10:22:39.374 INFO kablam! | ^^^^^^^^^ Sep 21 10:22:39.374 INFO kablam! | Sep 21 10:22:39.374 INFO kablam! = note: #[warn(unknown_lints)] on by default Sep 21 10:22:39.374 INFO kablam! Sep 21 10:22:39.374 INFO kablam! warning: unknown lint: `auto_impl` Sep 21 10:22:39.374 INFO kablam! --> src/into_cons.rs:141:9 Sep 21 10:22:39.374 INFO kablam! | Sep 21 10:22:39.374 INFO kablam! 141 | #[allow(auto_impl)] Sep 21 10:22:39.374 INFO kablam! | ^^^^^^^^^ Sep 21 10:22:39.374 INFO kablam! Sep 21 10:22:39.503 INFO kablam! error: `impl Trait for .. {}` is an obsolete syntax Sep 21 10:22:39.503 INFO kablam! --> src/cons/mod.rs:25:1 Sep 21 10:22:39.503 INFO kablam! | Sep 21 10:22:39.503 INFO kablam! 25 | impl ValidHead for ..{} Sep 21 10:22:39.503 INFO kablam! | ^^^^^^^^^^^^^^^^^^^^^^^ Sep 21 10:22:39.503 INFO kablam! | Sep 21 10:22:39.503 INFO kablam! = help: use `auto trait Trait {}` instead Sep 21 10:22:39.503 INFO kablam! Sep 21 10:22:39.503 INFO kablam! error: `impl Trait for .. {}` is an obsolete syntax Sep 21 10:22:39.503 INFO kablam! --> src/into_cons.rs:142:1 Sep 21 10:22:39.503 INFO kablam! | Sep 21 10:22:39.503 INFO kablam! 142 | impl NotTuple for ..{} Sep 21 10:22:39.503 INFO kablam! | ^^^^^^^^^^^^^^^^^^^^^^ Sep 21 10:22:39.503 INFO kablam! | Sep 21 10:22:39.503 INFO kablam! = help: use `auto trait Trait {}` instead Sep 21 10:22:39.503 INFO kablam! Sep 21 10:22:39.548 INFO kablam! error: `impl Trait for .. {}` is an obsolete syntax Sep 21 10:22:39.548 INFO kablam! --> src/cons/mod.rs:25:1 Sep 21 10:22:39.548 INFO kablam! | Sep 21 10:22:39.548 INFO kablam! 25 | impl ValidHead for ..{} Sep 21 10:22:39.548 INFO kablam! | ^^^^^^^^^^^^^^^^^^^^^^^ Sep 21 10:22:39.548 INFO kablam! | Sep 21 10:22:39.548 INFO kablam! = help: use `auto trait Trait {}` instead Sep 21 10:22:39.548 INFO kablam! Sep 21 10:22:39.548 INFO kablam! error: `impl Trait for .. {}` is an obsolete syntax Sep 21 10:22:39.548 INFO kablam! --> src/into_cons.rs:142:1 Sep 21 10:22:39.548 INFO kablam! | Sep 21 10:22:39.548 INFO kablam! 142 | impl NotTuple for ..{} Sep 21 10:22:39.548 INFO kablam! | ^^^^^^^^^^^^^^^^^^^^^^ Sep 21 10:22:39.548 INFO kablam! | Sep 21 10:22:39.548 INFO kablam! = help: use `auto trait Trait {}` instead Sep 21 10:22:39.548 INFO kablam! Sep 21 10:22:39.626 INFO kablam! warning: the trait bound `T: cons::fix::Fix` is not satisfied Sep 21 10:22:39.626 INFO kablam! --> src/cons/fix.rs:20:21 Sep 21 10:22:39.626 INFO kablam! | Sep 21 10:22:39.626 INFO kablam! 20 | pub type Fixed = ::Fixed; Sep 21 10:22:39.626 INFO kablam! | ^^^^^^^^^^^^^^^^^ the trait `cons::fix::Fix` is not implemented for `T` Sep 21 10:22:39.626 INFO kablam! | Sep 21 10:22:39.626 INFO kablam! = note: #[warn(type_alias_missing_bounds)] on by default Sep 21 10:22:39.626 INFO kablam! = help: consider adding a `where T: cons::fix::Fix` bound Sep 21 10:22:39.626 INFO kablam! = help: missing bounds in type aliases were previously allowed Sep 21 10:22:39.626 INFO kablam! = help: this is a hard error in Rust 2018 Sep 21 10:22:39.626 INFO kablam! Sep 21 10:22:39.627 INFO kablam! warning: the trait bound `T: cons::ValidHead` is not satisfied Sep 21 10:22:39.627 INFO kablam! --> src/cons/fix.rs:29:25 Sep 21 10:22:39.627 INFO kablam! | Sep 21 10:22:39.627 INFO kablam! 29 | pub type FixedHead = ::Fixed; Sep 21 10:22:39.627 INFO kablam! | ^^^^^^^^^^^^^^^^^^^^^ the trait `cons::ValidHead` is not implemented for `T` Sep 21 10:22:39.627 INFO kablam! | Sep 21 10:22:39.627 INFO kablam! = help: consider adding a `where T: cons::ValidHead` bound Sep 21 10:22:39.627 INFO kablam! = note: required because of the requirements on the impl of `cons::fix::FixHead` for `T` Sep 21 10:22:39.627 INFO kablam! = help: missing bounds in type aliases were previously allowed Sep 21 10:22:39.627 INFO kablam! = help: this is a hard error in Rust 2018 Sep 21 10:22:39.627 INFO kablam! Sep 21 10:22:39.628 INFO kablam! warning: the trait bound `Head: cons::ValidHead` is not satisfied Sep 21 10:22:39.628 INFO kablam! --> src/cons/fix.rs:59:31 Sep 21 10:22:39.628 INFO kablam! | Sep 21 10:22:39.628 INFO kablam! 59 | pub type Concat = >::Output; Sep 21 10:22:39.628 INFO kablam! | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ the trait `cons::ValidHead` is not implemented for `Head` Sep 21 10:22:39.628 INFO kablam! | Sep 21 10:22:39.628 INFO kablam! = help: consider adding a `where Head: cons::ValidHead` bound Sep 21 10:22:39.628 INFO kablam! = note: required because of the requirements on the impl of `cons::Append` for `Head` Sep 21 10:22:39.628 INFO kablam! = help: missing bounds in type aliases were previously allowed Sep 21 10:22:39.628 INFO kablam! = help: this is a hard error in Rust 2018 Sep 21 10:22:39.628 INFO kablam! Sep 21 10:22:39.628 INFO kablam! warning: the trait bound `Tail: cons::ValidNode` is not satisfied Sep 21 10:22:39.628 INFO kablam! --> src/cons/fix.rs:59:31 Sep 21 10:22:39.628 INFO kablam! | Sep 21 10:22:39.628 INFO kablam! 59 | pub type Concat = >::Output; Sep 21 10:22:39.628 INFO kablam! | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ the trait `cons::ValidNode` is not implemented for `Tail` Sep 21 10:22:39.628 INFO kablam! | Sep 21 10:22:39.628 INFO kablam! = help: consider adding a `where Tail: cons::ValidNode` bound Sep 21 10:22:39.628 INFO kablam! = note: required because of the requirements on the impl of `cons::Append` for `Head` Sep 21 10:22:39.628 INFO kablam! = help: missing bounds in type aliases were previously allowed Sep 21 10:22:39.628 INFO kablam! = help: this is a hard error in Rust 2018 Sep 21 10:22:39.628 INFO kablam! Sep 21 10:22:39.628 INFO kablam! warning: the trait bound `Head: cons::ValidHead` is not satisfied Sep 21 10:22:39.628 INFO kablam! --> src/cons/fix.rs:61:36 Sep 21 10:22:39.628 INFO kablam! | Sep 21 10:22:39.628 INFO kablam! 61 | pub type ConcatFixed = Concat, Fixed>; Sep 21 10:22:39.628 INFO kablam! | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ the trait `cons::ValidHead` is not implemented for `Head` Sep 21 10:22:39.628 INFO kablam! | Sep 21 10:22:39.628 INFO kablam! = help: consider adding a `where Head: cons::ValidHead` bound Sep 21 10:22:39.628 INFO kablam! = note: required because of the requirements on the impl of `cons::fix::FixHead` for `Head` Sep 21 10:22:39.628 INFO kablam! = help: missing bounds in type aliases were previously allowed Sep 21 10:22:39.628 INFO kablam! = help: this is a hard error in Rust 2018 Sep 21 10:22:39.628 INFO kablam! Sep 21 10:22:39.628 INFO kablam! warning: the trait bound `Tail: cons::fix::Fix` is not satisfied Sep 21 10:22:39.628 INFO kablam! --> src/cons/fix.rs:61:36 Sep 21 10:22:39.628 INFO kablam! | Sep 21 10:22:39.628 INFO kablam! 61 | pub type ConcatFixed = Concat, Fixed>; Sep 21 10:22:39.628 INFO kablam! | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ the trait `cons::fix::Fix` is not implemented for `Tail` Sep 21 10:22:39.628 INFO kablam! | Sep 21 10:22:39.628 INFO kablam! = help: consider adding a `where Tail: cons::fix::Fix` bound Sep 21 10:22:39.628 INFO kablam! = help: missing bounds in type aliases were previously allowed Sep 21 10:22:39.628 INFO kablam! = help: this is a hard error in Rust 2018 Sep 21 10:22:39.628 INFO kablam! Sep 21 10:22:39.628 INFO kablam! warning: the trait bound `cons::Cons: cons::Append<_>` is not satisfied Sep 21 10:22:39.628 INFO kablam! --> src/cons/fix.rs:61:36 Sep 21 10:22:39.628 INFO kablam! | Sep 21 10:22:39.628 INFO kablam! 61 | pub type ConcatFixed = Concat, Fixed>; Sep 21 10:22:39.628 INFO kablam! | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ the trait `cons::Append<_>` is not implemented for `cons::Cons` Sep 21 10:22:39.628 INFO kablam! | Sep 21 10:22:39.628 INFO kablam! = help: the following implementations were found: Sep 21 10:22:39.628 INFO kablam! as cons::Append> Sep 21 10:22:39.629 INFO kablam! = help: missing bounds in type aliases were previously allowed Sep 21 10:22:39.629 INFO kablam! = help: this is a hard error in Rust 2018 Sep 21 10:22:39.629 INFO kablam! Sep 21 10:22:39.630 INFO kablam! error[E0277]: the trait bound `usize: cons::ValidHead` is not satisfied Sep 21 10:22:39.630 INFO kablam! --> src/cons/fix.rs:93:6 Sep 21 10:22:39.630 INFO kablam! | Sep 21 10:22:39.630 INFO kablam! 93 | impl AssertValid for Cons {} Sep 21 10:22:39.630 INFO kablam! | ^^^^^^^^^^^ the trait `cons::ValidHead` is not implemented for `usize` Sep 21 10:22:39.630 INFO kablam! | Sep 21 10:22:39.630 INFO kablam! = note: required because of the requirements on the impl of `cons::fix::FixHead` for `usize` Sep 21 10:22:39.630 INFO kablam! = note: required because of the requirements on the impl of `cons::fix::Fix` for `cons::Cons` Sep 21 10:22:39.630 INFO kablam! Sep 21 10:22:39.630 INFO kablam! error[E0277]: the trait bound `cons::Cons: cons::Append` is not satisfied Sep 21 10:22:39.630 INFO kablam! --> src/cons/fix.rs:93:6 Sep 21 10:22:39.630 INFO kablam! | Sep 21 10:22:39.630 INFO kablam! 93 | impl AssertValid for Cons {} Sep 21 10:22:39.630 INFO kablam! | ^^^^^^^^^^^ the trait `cons::Append` is not implemented for `cons::Cons` Sep 21 10:22:39.630 INFO kablam! | Sep 21 10:22:39.630 INFO kablam! = help: the following implementations were found: Sep 21 10:22:39.630 INFO kablam! as cons::Append> Sep 21 10:22:39.630 INFO kablam! = note: required because of the requirements on the impl of `cons::fix::Fix` for `cons::Cons` Sep 21 10:22:39.630 INFO kablam! Sep 21 10:22:39.630 INFO kablam! error[E0277]: the trait bound `usize: cons::ValidHead` is not satisfied Sep 21 10:22:39.630 INFO kablam! --> src/cons/fix.rs:95:6 Sep 21 10:22:39.630 INFO kablam! | Sep 21 10:22:39.630 INFO kablam! 95 | impl AssertFix> for Cons, Nil> {} Sep 21 10:22:39.630 INFO kablam! | ^^^^^^^^^^^^^^^^^^^^^^^^^^^ the trait `cons::ValidHead` is not implemented for `usize` Sep 21 10:22:39.630 INFO kablam! | Sep 21 10:22:39.630 INFO kablam! = note: required because of the requirements on the impl of `cons::fix::FixHead` for `usize` Sep 21 10:22:39.630 INFO kablam! = note: required because of the requirements on the impl of `cons::fix::Fix` for `cons::Cons` Sep 21 10:22:39.630 INFO kablam! Sep 21 10:22:39.634 INFO kablam! error[E0277]: the trait bound `cons::Cons: cons::Append` is not satisfied Sep 21 10:22:39.634 INFO kablam! --> src/cons/fix.rs:95:6 Sep 21 10:22:39.634 INFO kablam! | Sep 21 10:22:39.634 INFO kablam! 95 | impl AssertFix> for Cons, Nil> {} Sep 21 10:22:39.634 INFO kablam! | ^^^^^^^^^^^^^^^^^^^^^^^^^^^ the trait `cons::Append` is not implemented for `cons::Cons` Sep 21 10:22:39.634 INFO kablam! | Sep 21 10:22:39.634 INFO kablam! = help: the following implementations were found: Sep 21 10:22:39.634 INFO kablam! as cons::Append> Sep 21 10:22:39.634 INFO kablam! = note: required because of the requirements on the impl of `cons::fix::Fix` for `cons::Cons` Sep 21 10:22:39.634 INFO kablam! Sep 21 10:22:39.635 INFO kablam! error[E0277]: the trait bound `cons::Cons: cons::fix::FixHead` is not satisfied Sep 21 10:22:39.635 INFO kablam! --> src/cons/fix.rs:95:6 Sep 21 10:22:39.635 INFO kablam! | Sep 21 10:22:39.635 INFO kablam! 95 | impl AssertFix> for Cons, Nil> {} Sep 21 10:22:39.635 INFO kablam! | ^^^^^^^^^^^^^^^^^^^^^^^^^^^ the trait `cons::fix::FixHead` is not implemented for `cons::Cons` Sep 21 10:22:39.635 INFO kablam! | Sep 21 10:22:39.635 INFO kablam! = help: the following implementations were found: Sep 21 10:22:39.635 INFO kablam! as cons::fix::FixHead> Sep 21 10:22:39.635 INFO kablam! = note: required because of the requirements on the impl of `cons::fix::Fix` for `cons::Cons, cons::Nil>` Sep 21 10:22:39.635 INFO kablam! Sep 21 10:22:39.635 INFO kablam! error[E0277]: the trait bound `usize: cons::ValidHead` is not satisfied Sep 21 10:22:39.635 INFO kablam! --> src/cons/fix.rs:96:6 Sep 21 10:22:39.635 INFO kablam! | Sep 21 10:22:39.635 INFO kablam! 96 | impl AssertFix> for Cons, Nil>, Nil> {} Sep 21 10:22:39.635 INFO kablam! | ^^^^^^^^^^^^^^^^^^^^^^^^^^^ the trait `cons::ValidHead` is not implemented for `usize` Sep 21 10:22:39.635 INFO kablam! | Sep 21 10:22:39.635 INFO kablam! = note: required because of the requirements on the impl of `cons::fix::FixHead` for `usize` Sep 21 10:22:39.635 INFO kablam! = note: required because of the requirements on the impl of `cons::fix::Fix` for `cons::Cons` Sep 21 10:22:39.635 INFO kablam! Sep 21 10:22:39.635 INFO kablam! error[E0277]: the trait bound `cons::Cons: cons::Append` is not satisfied Sep 21 10:22:39.635 INFO kablam! --> src/cons/fix.rs:96:6 Sep 21 10:22:39.635 INFO kablam! | Sep 21 10:22:39.635 INFO kablam! 96 | impl AssertFix> for Cons, Nil>, Nil> {} Sep 21 10:22:39.635 INFO kablam! | ^^^^^^^^^^^^^^^^^^^^^^^^^^^ the trait `cons::Append` is not implemented for `cons::Cons` Sep 21 10:22:39.635 INFO kablam! | Sep 21 10:22:39.635 INFO kablam! = help: the following implementations were found: Sep 21 10:22:39.635 INFO kablam! as cons::Append> Sep 21 10:22:39.635 INFO kablam! = note: required because of the requirements on the impl of `cons::fix::Fix` for `cons::Cons` Sep 21 10:22:39.635 INFO kablam! Sep 21 10:22:39.635 INFO kablam! error[E0277]: the trait bound `cons::Cons, cons::Nil>: cons::fix::FixHead` is not satisfied Sep 21 10:22:39.635 INFO kablam! --> src/cons/fix.rs:96:6 Sep 21 10:22:39.635 INFO kablam! | Sep 21 10:22:39.635 INFO kablam! 96 | impl AssertFix> for Cons, Nil>, Nil> {} Sep 21 10:22:39.635 INFO kablam! | ^^^^^^^^^^^^^^^^^^^^^^^^^^^ the trait `cons::fix::FixHead` is not implemented for `cons::Cons, cons::Nil>` Sep 21 10:22:39.635 INFO kablam! | Sep 21 10:22:39.635 INFO kablam! = help: the following implementations were found: Sep 21 10:22:39.635 INFO kablam! as cons::fix::FixHead> Sep 21 10:22:39.635 INFO kablam! = note: required because of the requirements on the impl of `cons::fix::Fix` for `cons::Cons, cons::Nil>, cons::Nil>` Sep 21 10:22:39.635 INFO kablam! Sep 21 10:22:39.635 INFO kablam! error[E0277]: the trait bound `usize: cons::ValidHead` is not satisfied Sep 21 10:22:39.635 INFO kablam! --> src/cons/fix.rs:98:6 Sep 21 10:22:39.635 INFO kablam! | Sep 21 10:22:39.635 INFO kablam! 98 | impl AssertFix>> for Cons, Cons>, Nil> {} Sep 21 10:22:39.635 INFO kablam! | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ the trait `cons::ValidHead` is not implemented for `usize` Sep 21 10:22:39.635 INFO kablam! | Sep 21 10:22:39.635 INFO kablam! = note: required because of the requirements on the impl of `cons::fix::FixHead` for `usize` Sep 21 10:22:39.635 INFO kablam! = note: required because of the requirements on the impl of `cons::fix::Fix` for `cons::Cons>` Sep 21 10:22:39.635 INFO kablam! Sep 21 10:22:39.635 INFO kablam! error[E0277]: the trait bound `u64: cons::ValidHead` is not satisfied Sep 21 10:22:39.635 INFO kablam! --> src/cons/fix.rs:98:6 Sep 21 10:22:39.635 INFO kablam! | Sep 21 10:22:39.635 INFO kablam! 98 | impl AssertFix>> for Cons, Cons>, Nil> {} Sep 21 10:22:39.635 INFO kablam! | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ the trait `cons::ValidHead` is not implemented for `u64` Sep 21 10:22:39.635 INFO kablam! | Sep 21 10:22:39.635 INFO kablam! = note: required because of the requirements on the impl of `cons::fix::FixHead` for `u64` Sep 21 10:22:39.635 INFO kablam! = note: required because of the requirements on the impl of `cons::fix::Fix` for `cons::Cons` Sep 21 10:22:39.635 INFO kablam! = note: required because of the requirements on the impl of `cons::fix::Fix` for `cons::Cons>` Sep 21 10:22:39.635 INFO kablam! Sep 21 10:22:39.635 INFO kablam! error[E0277]: the trait bound `cons::Cons: cons::Append` is not satisfied Sep 21 10:22:39.635 INFO kablam! --> src/cons/fix.rs:98:6 Sep 21 10:22:39.635 INFO kablam! | Sep 21 10:22:39.635 INFO kablam! 98 | impl AssertFix>> for Cons, Cons>, Nil> {} Sep 21 10:22:39.635 INFO kablam! | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ the trait `cons::Append` is not implemented for `cons::Cons` Sep 21 10:22:39.635 INFO kablam! | Sep 21 10:22:39.635 INFO kablam! = help: the following implementations were found: Sep 21 10:22:39.635 INFO kablam! as cons::Append> Sep 21 10:22:39.635 INFO kablam! = note: required because of the requirements on the impl of `cons::fix::Fix` for `cons::Cons` Sep 21 10:22:39.635 INFO kablam! = note: required because of the requirements on the impl of `cons::fix::Fix` for `cons::Cons>` Sep 21 10:22:39.635 INFO kablam! Sep 21 10:22:39.635 INFO kablam! error[E0277]: the trait bound `cons::Cons: cons::Append<_>` is not satisfied Sep 21 10:22:39.636 INFO kablam! --> src/cons/fix.rs:98:6 Sep 21 10:22:39.636 INFO kablam! | Sep 21 10:22:39.636 INFO kablam! 98 | impl AssertFix>> for Cons, Cons>, Nil> {} Sep 21 10:22:39.636 INFO kablam! | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ the trait `cons::Append<_>` is not implemented for `cons::Cons` Sep 21 10:22:39.636 INFO kablam! | Sep 21 10:22:39.636 INFO kablam! = help: the following implementations were found: Sep 21 10:22:39.636 INFO kablam! as cons::Append> Sep 21 10:22:39.636 INFO kablam! = note: required because of the requirements on the impl of `cons::fix::Fix` for `cons::Cons>` Sep 21 10:22:39.636 INFO kablam! Sep 21 10:22:39.636 INFO kablam! error[E0277]: the trait bound `cons::Cons, cons::Cons>: cons::fix::FixHead` is not satisfied Sep 21 10:22:39.636 INFO kablam! --> src/cons/fix.rs:98:6 Sep 21 10:22:39.636 INFO kablam! | Sep 21 10:22:39.636 INFO kablam! 98 | impl AssertFix>> for Cons, Cons>, Nil> {} Sep 21 10:22:39.636 INFO kablam! | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ the trait `cons::fix::FixHead` is not implemented for `cons::Cons, cons::Cons>` Sep 21 10:22:39.636 INFO kablam! | Sep 21 10:22:39.636 INFO kablam! = help: the following implementations were found: Sep 21 10:22:39.636 INFO kablam! as cons::fix::FixHead> Sep 21 10:22:39.636 INFO kablam! = note: required because of the requirements on the impl of `cons::fix::Fix` for `cons::Cons, cons::Cons>, cons::Nil>` Sep 21 10:22:39.636 INFO kablam! Sep 21 10:22:39.636 INFO kablam! warning: the trait bound `N: cons::Node` is not satisfied Sep 21 10:22:39.636 INFO kablam! --> src/cons/mod.rs:20:22 Sep 21 10:22:39.636 INFO kablam! | Sep 21 10:22:39.636 INFO kablam! 20 | pub type AsCons = Cons<::ConsHead, ::ConsTail>; Sep 21 10:22:39.636 INFO kablam! | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ the trait `cons::Node` is not implemented for `N` Sep 21 10:22:39.636 INFO kablam! | Sep 21 10:22:39.636 INFO kablam! = help: consider adding a `where N: cons::Node` bound Sep 21 10:22:39.636 INFO kablam! = help: missing bounds in type aliases were previously allowed Sep 21 10:22:39.636 INFO kablam! = help: this is a hard error in Rust 2018 Sep 21 10:22:39.636 INFO kablam! Sep 21 10:22:39.636 INFO kablam! error[E0192]: negative impls are only allowed for auto traits (e.g., `Send` and `Sync`) Sep 21 10:22:39.636 INFO kablam! --> src/cons/mod.rs:26:1 Sep 21 10:22:39.636 INFO kablam! | Sep 21 10:22:39.636 INFO kablam! 26 | impl !ValidHead for Nil {} Sep 21 10:22:39.636 INFO kablam! | ^^^^^^^^^^^^^^^^^^^^^^^^^^ Sep 21 10:22:39.636 INFO kablam! Sep 21 10:22:39.636 INFO kablam! error[E0192]: negative impls are only allowed for auto traits (e.g., `Send` and `Sync`) Sep 21 10:22:39.636 INFO kablam! --> src/cons/mod.rs:27:1 Sep 21 10:22:39.636 INFO kablam! | Sep 21 10:22:39.636 INFO kablam! 27 | impl !ValidHead for Cons {} Sep 21 10:22:39.636 INFO kablam! | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ Sep 21 10:22:39.636 INFO kablam! Sep 21 10:22:39.636 INFO kablam! warning: the trait bound `Head: cons::ValidHead` is not satisfied Sep 21 10:22:39.636 INFO kablam! --> src/cons/mod.rs:96:31 Sep 21 10:22:39.636 INFO kablam! | Sep 21 10:22:39.636 INFO kablam! 96 | pub type Concat = >::Output; Sep 21 10:22:39.636 INFO kablam! | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ the trait `cons::ValidHead` is not implemented for `Head` Sep 21 10:22:39.636 INFO kablam! | Sep 21 10:22:39.636 INFO kablam! = help: consider adding a `where Head: cons::ValidHead` bound Sep 21 10:22:39.636 INFO kablam! = note: required because of the requirements on the impl of `cons::Append` for `Head` Sep 21 10:22:39.636 INFO kablam! = help: missing bounds in type aliases were previously allowed Sep 21 10:22:39.636 INFO kablam! = help: this is a hard error in Rust 2018 Sep 21 10:22:39.636 INFO kablam! Sep 21 10:22:39.636 INFO kablam! warning: the trait bound `Tail: cons::ValidNode` is not satisfied Sep 21 10:22:39.636 INFO kablam! --> src/cons/mod.rs:96:31 Sep 21 10:22:39.636 INFO kablam! | Sep 21 10:22:39.636 INFO kablam! 96 | pub type Concat = >::Output; Sep 21 10:22:39.636 INFO kablam! | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ the trait `cons::ValidNode` is not implemented for `Tail` Sep 21 10:22:39.636 INFO kablam! | Sep 21 10:22:39.636 INFO kablam! = help: consider adding a `where Tail: cons::ValidNode` bound Sep 21 10:22:39.636 INFO kablam! = note: required because of the requirements on the impl of `cons::Append` for `Head` Sep 21 10:22:39.636 INFO kablam! = help: missing bounds in type aliases were previously allowed Sep 21 10:22:39.636 INFO kablam! = help: this is a hard error in Rust 2018 Sep 21 10:22:39.636 INFO kablam! Sep 21 10:22:39.637 INFO kablam! error[E0192]: negative impls are only allowed for auto traits (e.g., `Send` and `Sync`) Sep 21 10:22:39.637 INFO kablam! --> src/into_cons.rs:143:1 Sep 21 10:22:39.637 INFO kablam! | Sep 21 10:22:39.638 INFO kablam! 143 | impl !NotTuple for () {} Sep 21 10:22:39.638 INFO kablam! | ^^^^^^^^^^^^^^^^^^^^^^^^ Sep 21 10:22:39.638 INFO kablam! Sep 21 10:22:39.638 INFO kablam! error[E0192]: negative impls are only allowed for auto traits (e.g., `Send` and `Sync`) Sep 21 10:22:39.638 INFO kablam! --> src/into_cons.rs:144:1 Sep 21 10:22:39.638 INFO kablam! | Sep 21 10:22:39.638 INFO kablam! 144 | impl !NotTuple for (A,) {} Sep 21 10:22:39.638 INFO kablam! | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ Sep 21 10:22:39.638 INFO kablam! Sep 21 10:22:39.638 INFO kablam! error[E0192]: negative impls are only allowed for auto traits (e.g., `Send` and `Sync`) Sep 21 10:22:39.638 INFO kablam! --> src/into_cons.rs:145:1 Sep 21 10:22:39.638 INFO kablam! | Sep 21 10:22:39.638 INFO kablam! 145 | impl !NotTuple for Either {} Sep 21 10:22:39.638 INFO kablam! | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ Sep 21 10:22:39.638 INFO kablam! Sep 21 10:22:39.638 INFO kablam! warning: the trait bound `C: tuple::IntoTuple` is not satisfied Sep 21 10:22:39.638 INFO kablam! --> src/tuple.rs:38:33 Sep 21 10:22:39.638 INFO kablam! | Sep 21 10:22:39.638 INFO kablam! 38 | pub type TupleOf = >::Out; Sep 21 10:22:39.638 INFO kablam! | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ Sep 21 10:22:39.638 INFO kablam! If you are writing generic code, add a bound like Sep 21 10:22:39.638 INFO kablam! Sep 21 10:22:39.638 INFO kablam! where OrigType: Flatten, Sep 21 10:22:39.638 INFO kablam! Sep 21 10:22:39.638 INFO kablam! This bound is required because Flatten is implemented only if length of output tuple is smaller than 13. Sep 21 10:22:39.638 INFO kablam! Sep 21 10:22:39.638 INFO kablam! Sep 21 10:22:39.638 INFO kablam! Sep 21 10:22:39.638 INFO kablam! If not, implement ::flatten::NotTuple for your type like Sep 21 10:22:39.638 INFO kablam! Sep 21 10:22:39.638 INFO kablam! impl ::flatten::NotTuple for OrigType {} Sep 21 10:22:39.638 INFO kablam! Sep 21 10:22:39.638 INFO kablam! This is required because current type system does not have negative reasoning. Sep 21 10:22:39.638 INFO kablam! | Sep 21 10:22:39.638 INFO kablam! = help: the trait `tuple::IntoTuple` is not implemented for `C` Sep 21 10:22:39.638 INFO kablam! = help: consider adding a `where C: tuple::IntoTuple` bound Sep 21 10:22:39.638 INFO kablam! = help: missing bounds in type aliases were previously allowed Sep 21 10:22:39.638 INFO kablam! = help: this is a hard error in Rust 2018 Sep 21 10:22:39.639 INFO kablam! Sep 21 10:22:39.639 INFO kablam! warning: the trait bound `<::Specialized as into_cons::SpecializedIntoCons>::Out: tuple::IntoTuple` is not satisfied Sep 21 10:22:39.639 INFO kablam! --> src/lib.rs:43:25 Sep 21 10:22:39.639 INFO kablam! | Sep 21 10:22:39.639 INFO kablam! 43 | pub type Flattened = ::Flattened; Sep 21 10:22:39.639 INFO kablam! | ^^^^^^^^^^^^^^^^^^^^^^^^^ Sep 21 10:22:39.639 INFO kablam! If you are writing generic code, add a bound like Sep 21 10:22:39.639 INFO kablam! Sep 21 10:22:39.639 INFO kablam! where T: Flatten, Sep 21 10:22:39.639 INFO kablam! Sep 21 10:22:39.640 INFO kablam! This bound is required because Flatten is implemented only if length of output tuple is smaller than 13. Sep 21 10:22:39.640 INFO kablam! Sep 21 10:22:39.640 INFO kablam! Sep 21 10:22:39.640 INFO kablam! Sep 21 10:22:39.640 INFO kablam! If not, implement ::flatten::NotTuple for your type like Sep 21 10:22:39.640 INFO kablam! Sep 21 10:22:39.640 INFO kablam! impl ::flatten::NotTuple for T {} Sep 21 10:22:39.640 INFO kablam! Sep 21 10:22:39.640 INFO kablam! This is required because current type system does not have negative reasoning. Sep 21 10:22:39.640 INFO kablam! | Sep 21 10:22:39.640 INFO kablam! = help: the trait `tuple::IntoTuple` is not implemented for `<::Specialized as into_cons::SpecializedIntoCons>::Out` Sep 21 10:22:39.640 INFO kablam! = help: consider adding a `where <::Specialized as into_cons::SpecializedIntoCons>::Out: tuple::IntoTuple` bound Sep 21 10:22:39.640 INFO kablam! = note: required because of the requirements on the impl of `Flatten` for `T` Sep 21 10:22:39.640 INFO kablam! = help: missing bounds in type aliases were previously allowed Sep 21 10:22:39.640 INFO kablam! = help: this is a hard error in Rust 2018 Sep 21 10:22:39.640 INFO kablam! Sep 21 10:22:39.641 INFO kablam! error[E0192]: negative impls are only allowed for auto traits (e.g., `Send` and `Sync`) Sep 21 10:22:39.641 INFO kablam! --> src/into_cons.rs:207:9 Sep 21 10:22:39.641 INFO kablam! | Sep 21 10:22:39.641 INFO kablam! 207 | impl<$first_ty, $( $N ),*> !NotTuple for ( $first_ty, $( $N, )* ) {} Sep 21 10:22:39.641 INFO kablam! | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ Sep 21 10:22:39.641 INFO kablam! ... Sep 21 10:22:39.641 INFO kablam! 237 | / impl_for_tuple! { Sep 21 10:22:39.641 INFO kablam! 238 | | (0, A), Sep 21 10:22:39.641 INFO kablam! 239 | | (1, B), Sep 21 10:22:39.641 INFO kablam! 240 | | } Sep 21 10:22:39.641 INFO kablam! | |_- in this macro invocation Sep 21 10:22:39.641 INFO kablam! Sep 21 10:22:39.643 INFO kablam! error[E0192]: negative impls are only allowed for auto traits (e.g., `Send` and `Sync`) Sep 21 10:22:39.643 INFO kablam! --> src/into_cons.rs:207:9 Sep 21 10:22:39.643 INFO kablam! | Sep 21 10:22:39.643 INFO kablam! 207 | impl<$first_ty, $( $N ),*> !NotTuple for ( $first_ty, $( $N, )* ) {} Sep 21 10:22:39.643 INFO kablam! | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ Sep 21 10:22:39.643 INFO kablam! ... Sep 21 10:22:39.643 INFO kablam! 242 | / impl_for_tuple! { Sep 21 10:22:39.643 INFO kablam! 243 | | (0, A), Sep 21 10:22:39.643 INFO kablam! 244 | | (1, B), Sep 21 10:22:39.643 INFO kablam! 245 | | (2, C), Sep 21 10:22:39.643 INFO kablam! 246 | | } Sep 21 10:22:39.643 INFO kablam! | |_- in this macro invocation Sep 21 10:22:39.643 INFO kablam! Sep 21 10:22:39.645 INFO kablam! error[E0192]: negative impls are only allowed for auto traits (e.g., `Send` and `Sync`) Sep 21 10:22:39.645 INFO kablam! --> src/into_cons.rs:207:9 Sep 21 10:22:39.645 INFO kablam! | Sep 21 10:22:39.645 INFO kablam! 207 | impl<$first_ty, $( $N ),*> !NotTuple for ( $first_ty, $( $N, )* ) {} Sep 21 10:22:39.645 INFO kablam! | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ Sep 21 10:22:39.645 INFO kablam! ... Sep 21 10:22:39.645 INFO kablam! 248 | / impl_for_tuple! { Sep 21 10:22:39.645 INFO kablam! 249 | | (0, A), Sep 21 10:22:39.645 INFO kablam! 250 | | (1, B), Sep 21 10:22:39.645 INFO kablam! 251 | | (2, C), Sep 21 10:22:39.645 INFO kablam! 252 | | (3, D), Sep 21 10:22:39.645 INFO kablam! 253 | | } Sep 21 10:22:39.645 INFO kablam! | |_- in this macro invocation Sep 21 10:22:39.645 INFO kablam! Sep 21 10:22:39.648 INFO kablam! error[E0192]: negative impls are only allowed for auto traits (e.g., `Send` and `Sync`) Sep 21 10:22:39.648 INFO kablam! --> src/into_cons.rs:207:9 Sep 21 10:22:39.648 INFO kablam! | Sep 21 10:22:39.648 INFO kablam! 207 | impl<$first_ty, $( $N ),*> !NotTuple for ( $first_ty, $( $N, )* ) {} Sep 21 10:22:39.648 INFO kablam! | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ Sep 21 10:22:39.648 INFO kablam! ... Sep 21 10:22:39.648 INFO kablam! 255 | / impl_for_tuple! { Sep 21 10:22:39.648 INFO kablam! 256 | | (0, A), Sep 21 10:22:39.648 INFO kablam! 257 | | (1, B), Sep 21 10:22:39.648 INFO kablam! 258 | | (2, C), Sep 21 10:22:39.648 INFO kablam! 259 | | (3, D), Sep 21 10:22:39.648 INFO kablam! 260 | | (4, E), Sep 21 10:22:39.648 INFO kablam! 261 | | } Sep 21 10:22:39.648 INFO kablam! | |_- in this macro invocation Sep 21 10:22:39.648 INFO kablam! Sep 21 10:22:39.651 INFO kablam! error[E0192]: negative impls are only allowed for auto traits (e.g., `Send` and `Sync`) Sep 21 10:22:39.651 INFO kablam! --> src/into_cons.rs:207:9 Sep 21 10:22:39.651 INFO kablam! | Sep 21 10:22:39.651 INFO kablam! 207 | impl<$first_ty, $( $N ),*> !NotTuple for ( $first_ty, $( $N, )* ) {} Sep 21 10:22:39.651 INFO kablam! | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ Sep 21 10:22:39.651 INFO kablam! ... Sep 21 10:22:39.651 INFO kablam! 263 | / impl_for_tuple! { Sep 21 10:22:39.651 INFO kablam! 264 | | (0, A), Sep 21 10:22:39.651 INFO kablam! 265 | | (1, B), Sep 21 10:22:39.651 INFO kablam! 266 | | (2, C), Sep 21 10:22:39.651 INFO kablam! ... | Sep 21 10:22:39.651 INFO kablam! 269 | | (5, F), Sep 21 10:22:39.651 INFO kablam! 270 | | } Sep 21 10:22:39.651 INFO kablam! | |_- in this macro invocation Sep 21 10:22:39.651 INFO kablam! Sep 21 10:22:39.654 INFO kablam! error[E0192]: negative impls are only allowed for auto traits (e.g., `Send` and `Sync`) Sep 21 10:22:39.654 INFO kablam! --> src/into_cons.rs:207:9 Sep 21 10:22:39.654 INFO kablam! | Sep 21 10:22:39.654 INFO kablam! 207 | impl<$first_ty, $( $N ),*> !NotTuple for ( $first_ty, $( $N, )* ) {} Sep 21 10:22:39.654 INFO kablam! | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ Sep 21 10:22:39.654 INFO kablam! ... Sep 21 10:22:39.654 INFO kablam! 272 | / impl_for_tuple! { Sep 21 10:22:39.654 INFO kablam! 273 | | (0, A), Sep 21 10:22:39.654 INFO kablam! 274 | | (1, B), Sep 21 10:22:39.654 INFO kablam! 275 | | (2, C), Sep 21 10:22:39.654 INFO kablam! ... | Sep 21 10:22:39.654 INFO kablam! 279 | | (6, G), Sep 21 10:22:39.654 INFO kablam! 280 | | } Sep 21 10:22:39.654 INFO kablam! | |_- in this macro invocation Sep 21 10:22:39.654 INFO kablam! Sep 21 10:22:39.658 INFO kablam! error[E0192]: negative impls are only allowed for auto traits (e.g., `Send` and `Sync`) Sep 21 10:22:39.658 INFO kablam! --> src/into_cons.rs:207:9 Sep 21 10:22:39.658 INFO kablam! | Sep 21 10:22:39.658 INFO kablam! 207 | impl<$first_ty, $( $N ),*> !NotTuple for ( $first_ty, $( $N, )* ) {} Sep 21 10:22:39.658 INFO kablam! | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ Sep 21 10:22:39.658 INFO kablam! ... Sep 21 10:22:39.658 INFO kablam! 282 | / impl_for_tuple! { Sep 21 10:22:39.658 INFO kablam! 283 | | (0, A), Sep 21 10:22:39.658 INFO kablam! 284 | | (1, B), Sep 21 10:22:39.658 INFO kablam! 285 | | (2, C), Sep 21 10:22:39.658 INFO kablam! ... | Sep 21 10:22:39.658 INFO kablam! 290 | | (7, H), Sep 21 10:22:39.658 INFO kablam! 291 | | } Sep 21 10:22:39.658 INFO kablam! | |_- in this macro invocation Sep 21 10:22:39.658 INFO kablam! Sep 21 10:22:39.663 INFO kablam! error[E0192]: negative impls are only allowed for auto traits (e.g., `Send` and `Sync`) Sep 21 10:22:39.663 INFO kablam! --> src/into_cons.rs:207:9 Sep 21 10:22:39.663 INFO kablam! | Sep 21 10:22:39.663 INFO kablam! 207 | impl<$first_ty, $( $N ),*> !NotTuple for ( $first_ty, $( $N, )* ) {} Sep 21 10:22:39.663 INFO kablam! | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ Sep 21 10:22:39.663 INFO kablam! ... Sep 21 10:22:39.663 INFO kablam! 293 | / impl_for_tuple! { Sep 21 10:22:39.663 INFO kablam! 294 | | (0, A), Sep 21 10:22:39.663 INFO kablam! 295 | | (1, B), Sep 21 10:22:39.663 INFO kablam! 296 | | (2, C), Sep 21 10:22:39.663 INFO kablam! ... | Sep 21 10:22:39.663 INFO kablam! 302 | | (8, I), Sep 21 10:22:39.663 INFO kablam! 303 | | } Sep 21 10:22:39.664 INFO kablam! | |_- in this macro invocation Sep 21 10:22:39.664 INFO kablam! Sep 21 10:22:39.668 INFO kablam! error[E0192]: negative impls are only allowed for auto traits (e.g., `Send` and `Sync`) Sep 21 10:22:39.668 INFO kablam! --> src/into_cons.rs:207:9 Sep 21 10:22:39.668 INFO kablam! | Sep 21 10:22:39.668 INFO kablam! 207 | impl<$first_ty, $( $N ),*> !NotTuple for ( $first_ty, $( $N, )* ) {} Sep 21 10:22:39.668 INFO kablam! | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ Sep 21 10:22:39.668 INFO kablam! ... Sep 21 10:22:39.668 INFO kablam! 305 | / impl_for_tuple! { Sep 21 10:22:39.668 INFO kablam! 306 | | (0, A), Sep 21 10:22:39.668 INFO kablam! 307 | | (1, B), Sep 21 10:22:39.668 INFO kablam! 308 | | (2, C), Sep 21 10:22:39.668 INFO kablam! ... | Sep 21 10:22:39.668 INFO kablam! 315 | | (9, J), Sep 21 10:22:39.668 INFO kablam! 316 | | } Sep 21 10:22:39.668 INFO kablam! | |_- in this macro invocation Sep 21 10:22:39.668 INFO kablam! Sep 21 10:22:39.685 INFO kablam! warning: the trait bound `T: cons::fix::Fix` is not satisfied Sep 21 10:22:39.685 INFO kablam! --> src/cons/fix.rs:20:21 Sep 21 10:22:39.685 INFO kablam! | Sep 21 10:22:39.685 INFO kablam! 20 | pub type Fixed = ::Fixed; Sep 21 10:22:39.685 INFO kablam! | ^^^^^^^^^^^^^^^^^ the trait `cons::fix::Fix` is not implemented for `T` Sep 21 10:22:39.685 INFO kablam! | Sep 21 10:22:39.685 INFO kablam! = note: #[warn(type_alias_missing_bounds)] on by default Sep 21 10:22:39.685 INFO kablam! = help: consider adding a `where T: cons::fix::Fix` bound Sep 21 10:22:39.685 INFO kablam! = help: missing bounds in type aliases were previously allowed Sep 21 10:22:39.685 INFO kablam! = help: this is a hard error in Rust 2018 Sep 21 10:22:39.685 INFO kablam! Sep 21 10:22:39.685 INFO kablam! warning: the trait bound `T: cons::ValidHead` is not satisfied Sep 21 10:22:39.685 INFO kablam! --> src/cons/fix.rs:29:25 Sep 21 10:22:39.685 INFO kablam! | Sep 21 10:22:39.685 INFO kablam! 29 | pub type FixedHead = ::Fixed; Sep 21 10:22:39.685 INFO kablam! | ^^^^^^^^^^^^^^^^^^^^^ the trait `cons::ValidHead` is not implemented for `T` Sep 21 10:22:39.685 INFO kablam! | Sep 21 10:22:39.685 INFO kablam! = help: consider adding a `where T: cons::ValidHead` bound Sep 21 10:22:39.685 INFO kablam! = note: required because of the requirements on the impl of `cons::fix::FixHead` for `T` Sep 21 10:22:39.685 INFO kablam! = help: missing bounds in type aliases were previously allowed Sep 21 10:22:39.685 INFO kablam! = help: this is a hard error in Rust 2018 Sep 21 10:22:39.685 INFO kablam! Sep 21 10:22:39.686 INFO kablam! error[E0192]: negative impls are only allowed for auto traits (e.g., `Send` and `Sync`) Sep 21 10:22:39.686 INFO kablam! --> src/into_cons.rs:207:9 Sep 21 10:22:39.686 INFO kablam! | Sep 21 10:22:39.686 INFO kablam! 207 | impl<$first_ty, $( $N ),*> !NotTuple for ( $first_ty, $( $N, )* ) {} Sep 21 10:22:39.686 INFO kablam! | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ Sep 21 10:22:39.686 INFO kablam! ... Sep 21 10:22:39.686 INFO kablam! 318 | / impl_for_tuple! { Sep 21 10:22:39.686 INFO kablam! 319 | | (0, A), Sep 21 10:22:39.686 INFO kablam! 320 | | (1, B), Sep 21 10:22:39.686 INFO kablam! 321 | | (2, C), Sep 21 10:22:39.686 INFO kablam! ... | Sep 21 10:22:39.686 INFO kablam! 329 | | (10, K), Sep 21 10:22:39.686 INFO kablam! 330 | | } Sep 21 10:22:39.686 INFO kablam! | |_- in this macro invocation Sep 21 10:22:39.686 INFO kablam! Sep 21 10:22:39.686 INFO kablam! warning: the trait bound `Head: cons::ValidHead` is not satisfied Sep 21 10:22:39.686 INFO kablam! --> src/cons/fix.rs:59:31 Sep 21 10:22:39.686 INFO kablam! | Sep 21 10:22:39.686 INFO kablam! 59 | pub type Concat = >::Output; Sep 21 10:22:39.686 INFO kablam! | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ the trait `cons::ValidHead` is not implemented for `Head` Sep 21 10:22:39.686 INFO kablam! | Sep 21 10:22:39.686 INFO kablam! = help: consider adding a `where Head: cons::ValidHead` bound Sep 21 10:22:39.686 INFO kablam! = note: required because of the requirements on the impl of `cons::Append` for `Head` Sep 21 10:22:39.686 INFO kablam! = help: missing bounds in type aliases were previously allowed Sep 21 10:22:39.686 INFO kablam! = help: this is a hard error in Rust 2018 Sep 21 10:22:39.686 INFO kablam! Sep 21 10:22:39.686 INFO kablam! warning: the trait bound `Tail: cons::ValidNode` is not satisfied Sep 21 10:22:39.686 INFO kablam! --> src/cons/fix.rs:59:31 Sep 21 10:22:39.686 INFO kablam! | Sep 21 10:22:39.686 INFO kablam! 59 | pub type Concat = >::Output; Sep 21 10:22:39.686 INFO kablam! | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ the trait `cons::ValidNode` is not implemented for `Tail` Sep 21 10:22:39.686 INFO kablam! | Sep 21 10:22:39.686 INFO kablam! = help: consider adding a `where Tail: cons::ValidNode` bound Sep 21 10:22:39.686 INFO kablam! = note: required because of the requirements on the impl of `cons::Append` for `Head` Sep 21 10:22:39.686 INFO kablam! = help: missing bounds in type aliases were previously allowed Sep 21 10:22:39.687 INFO kablam! = help: this is a hard error in Rust 2018 Sep 21 10:22:39.687 INFO kablam! Sep 21 10:22:39.687 INFO kablam! warning: the trait bound `Head: cons::ValidHead` is not satisfied Sep 21 10:22:39.687 INFO kablam! --> src/cons/fix.rs:61:36 Sep 21 10:22:39.687 INFO kablam! | Sep 21 10:22:39.687 INFO kablam! 61 | pub type ConcatFixed = Concat, Fixed>; Sep 21 10:22:39.687 INFO kablam! | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ the trait `cons::ValidHead` is not implemented for `Head` Sep 21 10:22:39.687 INFO kablam! | Sep 21 10:22:39.687 INFO kablam! = help: consider adding a `where Head: cons::ValidHead` bound Sep 21 10:22:39.687 INFO kablam! = note: required because of the requirements on the impl of `cons::fix::FixHead` for `Head` Sep 21 10:22:39.687 INFO kablam! = help: missing bounds in type aliases were previously allowed Sep 21 10:22:39.687 INFO kablam! = help: this is a hard error in Rust 2018 Sep 21 10:22:39.687 INFO kablam! Sep 21 10:22:39.687 INFO kablam! warning: the trait bound `Tail: cons::fix::Fix` is not satisfied Sep 21 10:22:39.687 INFO kablam! --> src/cons/fix.rs:61:36 Sep 21 10:22:39.687 INFO kablam! | Sep 21 10:22:39.687 INFO kablam! 61 | pub type ConcatFixed = Concat, Fixed>; Sep 21 10:22:39.687 INFO kablam! | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ the trait `cons::fix::Fix` is not implemented for `Tail` Sep 21 10:22:39.688 INFO kablam! | Sep 21 10:22:39.688 INFO kablam! = help: consider adding a `where Tail: cons::fix::Fix` bound Sep 21 10:22:39.688 INFO kablam! = help: missing bounds in type aliases were previously allowed Sep 21 10:22:39.688 INFO kablam! = help: this is a hard error in Rust 2018 Sep 21 10:22:39.688 INFO kablam! Sep 21 10:22:39.688 INFO kablam! warning: the trait bound `cons::Cons: cons::Append<_>` is not satisfied Sep 21 10:22:39.688 INFO kablam! --> src/cons/fix.rs:61:36 Sep 21 10:22:39.688 INFO kablam! | Sep 21 10:22:39.688 INFO kablam! 61 | pub type ConcatFixed = Concat, Fixed>; Sep 21 10:22:39.688 INFO kablam! | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ the trait `cons::Append<_>` is not implemented for `cons::Cons` Sep 21 10:22:39.688 INFO kablam! | Sep 21 10:22:39.688 INFO kablam! = help: the following implementations were found: Sep 21 10:22:39.688 INFO kablam! as cons::Append> Sep 21 10:22:39.688 INFO kablam! = help: missing bounds in type aliases were previously allowed Sep 21 10:22:39.688 INFO kablam! = help: this is a hard error in Rust 2018 Sep 21 10:22:39.688 INFO kablam! Sep 21 10:22:39.688 INFO kablam! error[E0277]: the trait bound `usize: cons::ValidHead` is not satisfied Sep 21 10:22:39.688 INFO kablam! --> src/cons/fix.rs:93:6 Sep 21 10:22:39.688 INFO kablam! | Sep 21 10:22:39.688 INFO kablam! 93 | impl AssertValid for Cons {} Sep 21 10:22:39.689 INFO kablam! | ^^^^^^^^^^^ the trait `cons::ValidHead` is not implemented for `usize` Sep 21 10:22:39.689 INFO kablam! | Sep 21 10:22:39.689 INFO kablam! = note: required because of the requirements on the impl of `cons::fix::FixHead` for `usize` Sep 21 10:22:39.689 INFO kablam! = note: required because of the requirements on the impl of `cons::fix::Fix` for `cons::Cons` Sep 21 10:22:39.689 INFO kablam! Sep 21 10:22:39.689 INFO kablam! error[E0277]: the trait bound `cons::Cons: cons::Append` is not satisfied Sep 21 10:22:39.689 INFO kablam! --> src/cons/fix.rs:93:6 Sep 21 10:22:39.689 INFO kablam! | Sep 21 10:22:39.689 INFO kablam! 93 | impl AssertValid for Cons {} Sep 21 10:22:39.689 INFO kablam! | ^^^^^^^^^^^ the trait `cons::Append` is not implemented for `cons::Cons` Sep 21 10:22:39.689 INFO kablam! | Sep 21 10:22:39.689 INFO kablam! = help: the following implementations were found: Sep 21 10:22:39.689 INFO kablam! as cons::Append> Sep 21 10:22:39.689 INFO kablam! = note: required because of the requirements on the impl of `cons::fix::Fix` for `cons::Cons` Sep 21 10:22:39.689 INFO kablam! Sep 21 10:22:39.689 INFO kablam! error[E0277]: the trait bound `usize: cons::ValidHead` is not satisfied Sep 21 10:22:39.689 INFO kablam! --> src/cons/fix.rs:95:6 Sep 21 10:22:39.689 INFO kablam! | Sep 21 10:22:39.689 INFO kablam! 95 | impl AssertFix> for Cons, Nil> {} Sep 21 10:22:39.689 INFO kablam! | ^^^^^^^^^^^^^^^^^^^^^^^^^^^ the trait `cons::ValidHead` is not implemented for `usize` Sep 21 10:22:39.689 INFO kablam! | Sep 21 10:22:39.689 INFO kablam! = note: required because of the requirements on the impl of `cons::fix::FixHead` for `usize` Sep 21 10:22:39.689 INFO kablam! = note: required because of the requirements on the impl of `cons::fix::Fix` for `cons::Cons` Sep 21 10:22:39.689 INFO kablam! Sep 21 10:22:39.690 INFO kablam! error[E0277]: the trait bound `cons::Cons: cons::Append` is not satisfied Sep 21 10:22:39.690 INFO kablam! --> src/cons/fix.rs:95:6 Sep 21 10:22:39.690 INFO kablam! | Sep 21 10:22:39.690 INFO kablam! 95 | impl AssertFix> for Cons, Nil> {} Sep 21 10:22:39.690 INFO kablam! | ^^^^^^^^^^^^^^^^^^^^^^^^^^^ the trait `cons::Append` is not implemented for `cons::Cons` Sep 21 10:22:39.690 INFO kablam! | Sep 21 10:22:39.690 INFO kablam! = help: the following implementations were found: Sep 21 10:22:39.690 INFO kablam! as cons::Append> Sep 21 10:22:39.690 INFO kablam! = note: required because of the requirements on the impl of `cons::fix::Fix` for `cons::Cons` Sep 21 10:22:39.690 INFO kablam! Sep 21 10:22:39.690 INFO kablam! error[E0277]: the trait bound `cons::Cons: cons::fix::FixHead` is not satisfied Sep 21 10:22:39.690 INFO kablam! --> src/cons/fix.rs:95:6 Sep 21 10:22:39.690 INFO kablam! | Sep 21 10:22:39.690 INFO kablam! 95 | impl AssertFix> for Cons, Nil> {} Sep 21 10:22:39.690 INFO kablam! | ^^^^^^^^^^^^^^^^^^^^^^^^^^^ the trait `cons::fix::FixHead` is not implemented for `cons::Cons` Sep 21 10:22:39.690 INFO kablam! | Sep 21 10:22:39.690 INFO kablam! = help: the following implementations were found: Sep 21 10:22:39.690 INFO kablam! as cons::fix::FixHead> Sep 21 10:22:39.690 INFO kablam! = note: required because of the requirements on the impl of `cons::fix::Fix` for `cons::Cons, cons::Nil>` Sep 21 10:22:39.690 INFO kablam! Sep 21 10:22:39.693 INFO kablam! error[E0277]: the trait bound `usize: cons::ValidHead` is not satisfied Sep 21 10:22:39.693 INFO kablam! --> src/cons/fix.rs:96:6 Sep 21 10:22:39.693 INFO kablam! | Sep 21 10:22:39.694 INFO kablam! 96 | impl AssertFix> for Cons, Nil>, Nil> {} Sep 21 10:22:39.694 INFO kablam! | ^^^^^^^^^^^^^^^^^^^^^^^^^^^ the trait `cons::ValidHead` is not implemented for `usize` Sep 21 10:22:39.694 INFO kablam! | Sep 21 10:22:39.694 INFO kablam! = note: required because of the requirements on the impl of `cons::fix::FixHead` for `usize` Sep 21 10:22:39.694 INFO kablam! = note: required because of the requirements on the impl of `cons::fix::Fix` for `cons::Cons` Sep 21 10:22:39.694 INFO kablam! Sep 21 10:22:39.694 INFO kablam! error[E0277]: the trait bound `cons::Cons: cons::Append` is not satisfied Sep 21 10:22:39.694 INFO kablam! --> src/cons/fix.rs:96:6 Sep 21 10:22:39.694 INFO kablam! | Sep 21 10:22:39.694 INFO kablam! 96 | impl AssertFix> for Cons, Nil>, Nil> {} Sep 21 10:22:39.694 INFO kablam! | ^^^^^^^^^^^^^^^^^^^^^^^^^^^ the trait `cons::Append` is not implemented for `cons::Cons` Sep 21 10:22:39.694 INFO kablam! | Sep 21 10:22:39.694 INFO kablam! error[E0192]: negative impls are only allowed for auto traits (e.g., `Send` and `Sync`) Sep 21 10:22:39.694 INFO kablam! --> src/into_cons.rs:207:9 Sep 21 10:22:39.694 INFO kablam! | Sep 21 10:22:39.694 INFO kablam! 207 | impl<$first_ty, $( $N ),*> !NotTuple for ( $first_ty, $( $N, )* ) {} Sep 21 10:22:39.694 INFO kablam! | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ Sep 21 10:22:39.694 INFO kablam! ... Sep 21 10:22:39.694 INFO kablam! 332 | / impl_for_tuple! { Sep 21 10:22:39.694 INFO kablam! 333 | | (0, A), Sep 21 10:22:39.694 INFO kablam! 334 | | (1, B), Sep 21 10:22:39.694 INFO kablam! 335 | | (2, C), Sep 21 10:22:39.694 INFO kablam! ... | Sep 21 10:22:39.694 INFO kablam! 344 | | (11, L), Sep 21 10:22:39.694 INFO kablam! 345 | | } Sep 21 10:22:39.694 INFO kablam! | |_- in this macro invocation Sep 21 10:22:39.694 INFO kablam! = help: the following implementations were found: Sep 21 10:22:39.694 INFO kablam! as cons::Append> Sep 21 10:22:39.694 INFO kablam! Sep 21 10:22:39.694 INFO kablam! = note: required because of the requirements on the impl of `cons::fix::Fix` for `cons::Cons` Sep 21 10:22:39.694 INFO kablam! Sep 21 10:22:39.694 INFO kablam! error[E0277]: the trait bound `cons::Cons, cons::Nil>: cons::fix::FixHead` is not satisfied Sep 21 10:22:39.694 INFO kablam! --> src/cons/fix.rs:96:6 Sep 21 10:22:39.694 INFO kablam! | Sep 21 10:22:39.694 INFO kablam! 96 | impl AssertFix> for Cons, Nil>, Nil> {} Sep 21 10:22:39.694 INFO kablam! | ^^^^^^^^^^^^^^^^^^^^^^^^^^^ the trait `cons::fix::FixHead` is not implemented for `cons::Cons, cons::Nil>` Sep 21 10:22:39.694 INFO kablam! | Sep 21 10:22:39.694 INFO kablam! = help: the following implementations were found: Sep 21 10:22:39.694 INFO kablam! as cons::fix::FixHead> Sep 21 10:22:39.694 INFO kablam! = note: required because of the requirements on the impl of `cons::fix::Fix` for `cons::Cons, cons::Nil>, cons::Nil>` Sep 21 10:22:39.694 INFO kablam! Sep 21 10:22:39.694 INFO kablam! error[E0277]: the trait bound `usize: cons::ValidHead` is not satisfied Sep 21 10:22:39.694 INFO kablam! --> src/cons/fix.rs:98:6 Sep 21 10:22:39.694 INFO kablam! | Sep 21 10:22:39.694 INFO kablam! 98 | impl AssertFix>> for Cons, Cons>, Nil> {} Sep 21 10:22:39.694 INFO kablam! | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ the trait `cons::ValidHead` is not implemented for `usize` Sep 21 10:22:39.694 INFO kablam! | Sep 21 10:22:39.694 INFO kablam! = note: required because of the requirements on the impl of `cons::fix::FixHead` for `usize` Sep 21 10:22:39.694 INFO kablam! = note: required because of the requirements on the impl of `cons::fix::Fix` for `cons::Cons>` Sep 21 10:22:39.694 INFO kablam! Sep 21 10:22:39.694 INFO kablam! error[E0277]: the trait bound `u64: cons::ValidHead` is not satisfied Sep 21 10:22:39.694 INFO kablam! --> src/cons/fix.rs:98:6 Sep 21 10:22:39.694 INFO kablam! | Sep 21 10:22:39.694 INFO kablam! 98 | impl AssertFix>> for Cons, Cons>, Nil> {} Sep 21 10:22:39.694 INFO kablam! | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ the trait `cons::ValidHead` is not implemented for `u64` Sep 21 10:22:39.694 INFO kablam! | Sep 21 10:22:39.694 INFO kablam! = note: required because of the requirements on the impl of `cons::fix::FixHead` for `u64` Sep 21 10:22:39.694 INFO kablam! = note: required because of the requirements on the impl of `cons::fix::Fix` for `cons::Cons` Sep 21 10:22:39.694 INFO kablam! = note: required because of the requirements on the impl of `cons::fix::Fix` for `cons::Cons>` Sep 21 10:22:39.694 INFO kablam! Sep 21 10:22:39.694 INFO kablam! error[E0277]: the trait bound `cons::Cons: cons::Append` is not satisfied Sep 21 10:22:39.694 INFO kablam! --> src/cons/fix.rs:98:6 Sep 21 10:22:39.694 INFO kablam! | Sep 21 10:22:39.694 INFO kablam! 98 | impl AssertFix>> for Cons, Cons>, Nil> {} Sep 21 10:22:39.694 INFO kablam! | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ the trait `cons::Append` is not implemented for `cons::Cons` Sep 21 10:22:39.694 INFO kablam! | Sep 21 10:22:39.694 INFO kablam! = help: the following implementations were found: Sep 21 10:22:39.694 INFO kablam! as cons::Append> Sep 21 10:22:39.694 INFO kablam! = note: required because of the requirements on the impl of `cons::fix::Fix` for `cons::Cons` Sep 21 10:22:39.694 INFO kablam! = note: required because of the requirements on the impl of `cons::fix::Fix` for `cons::Cons>` Sep 21 10:22:39.694 INFO kablam! Sep 21 10:22:39.694 INFO kablam! error[E0277]: the trait bound `cons::Cons: cons::Append<_>` is not satisfied Sep 21 10:22:39.694 INFO kablam! --> src/cons/fix.rs:98:6 Sep 21 10:22:39.694 INFO kablam! | Sep 21 10:22:39.694 INFO kablam! 98 | impl AssertFix>> for Cons, Cons>, Nil> {} Sep 21 10:22:39.694 INFO kablam! | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ the trait `cons::Append<_>` is not implemented for `cons::Cons` Sep 21 10:22:39.694 INFO kablam! | Sep 21 10:22:39.694 INFO kablam! = help: the following implementations were found: Sep 21 10:22:39.694 INFO kablam! as cons::Append> Sep 21 10:22:39.694 INFO kablam! = note: required because of the requirements on the impl of `cons::fix::Fix` for `cons::Cons>` Sep 21 10:22:39.694 INFO kablam! Sep 21 10:22:39.694 INFO kablam! error[E0277]: the trait bound `cons::Cons, cons::Cons>: cons::fix::FixHead` is not satisfied Sep 21 10:22:39.694 INFO kablam! --> src/cons/fix.rs:98:6 Sep 21 10:22:39.694 INFO kablam! | Sep 21 10:22:39.694 INFO kablam! 98 | impl AssertFix>> for Cons, Cons>, Nil> {} Sep 21 10:22:39.694 INFO kablam! | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ the trait `cons::fix::FixHead` is not implemented for `cons::Cons, cons::Cons>` Sep 21 10:22:39.694 INFO kablam! | Sep 21 10:22:39.694 INFO kablam! = help: the following implementations were found: Sep 21 10:22:39.694 INFO kablam! as cons::fix::FixHead> Sep 21 10:22:39.694 INFO kablam! = note: required because of the requirements on the impl of `cons::fix::Fix` for `cons::Cons, cons::Cons>, cons::Nil>` Sep 21 10:22:39.694 INFO kablam! Sep 21 10:22:39.694 INFO kablam! warning: the trait bound `N: cons::Node` is not satisfied Sep 21 10:22:39.694 INFO kablam! --> src/cons/mod.rs:20:22 Sep 21 10:22:39.694 INFO kablam! | Sep 21 10:22:39.694 INFO kablam! 20 | pub type AsCons = Cons<::ConsHead, ::ConsTail>; Sep 21 10:22:39.694 INFO kablam! | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ the trait `cons::Node` is not implemented for `N` Sep 21 10:22:39.694 INFO kablam! | Sep 21 10:22:39.694 INFO kablam! = help: consider adding a `where N: cons::Node` bound Sep 21 10:22:39.694 INFO kablam! = help: missing bounds in type aliases were previously allowed Sep 21 10:22:39.694 INFO kablam! = help: this is a hard error in Rust 2018 Sep 21 10:22:39.694 INFO kablam! Sep 21 10:22:39.695 INFO kablam! error[E0192]: negative impls are only allowed for auto traits (e.g., `Send` and `Sync`) Sep 21 10:22:39.695 INFO kablam! --> src/cons/mod.rs:26:1 Sep 21 10:22:39.695 INFO kablam! | Sep 21 10:22:39.695 INFO kablam! 26 | impl !ValidHead for Nil {} Sep 21 10:22:39.695 INFO kablam! | ^^^^^^^^^^^^^^^^^^^^^^^^^^ Sep 21 10:22:39.695 INFO kablam! Sep 21 10:22:39.695 INFO kablam! error[E0192]: negative impls are only allowed for auto traits (e.g., `Send` and `Sync`) Sep 21 10:22:39.695 INFO kablam! --> src/cons/mod.rs:27:1 Sep 21 10:22:39.695 INFO kablam! | Sep 21 10:22:39.695 INFO kablam! 27 | impl !ValidHead for Cons {} Sep 21 10:22:39.695 INFO kablam! | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ Sep 21 10:22:39.695 INFO kablam! Sep 21 10:22:39.695 INFO kablam! warning: the trait bound `Head: cons::ValidHead` is not satisfied Sep 21 10:22:39.697 INFO kablam! --> src/cons/mod.rs:96:31 Sep 21 10:22:39.697 INFO kablam! | Sep 21 10:22:39.697 INFO kablam! 96 | pub type Concat = >::Output; Sep 21 10:22:39.697 INFO kablam! | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ the trait `cons::ValidHead` is not implemented for `Head` Sep 21 10:22:39.697 INFO kablam! | Sep 21 10:22:39.697 INFO kablam! = help: consider adding a `where Head: cons::ValidHead` bound Sep 21 10:22:39.697 INFO kablam! = note: required because of the requirements on the impl of `cons::Append` for `Head` Sep 21 10:22:39.697 INFO kablam! = help: missing bounds in type aliases were previously allowed Sep 21 10:22:39.697 INFO kablam! = help: this is a hard error in Rust 2018 Sep 21 10:22:39.697 INFO kablam! Sep 21 10:22:39.697 INFO kablam! warning: the trait bound `Tail: cons::ValidNode` is not satisfied Sep 21 10:22:39.697 INFO kablam! --> src/cons/mod.rs:96:31 Sep 21 10:22:39.697 INFO kablam! | Sep 21 10:22:39.697 INFO kablam! 96 | pub type Concat = >::Output; Sep 21 10:22:39.697 INFO kablam! | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ the trait `cons::ValidNode` is not implemented for `Tail` Sep 21 10:22:39.697 INFO kablam! | Sep 21 10:22:39.697 INFO kablam! = help: consider adding a `where Tail: cons::ValidNode` bound Sep 21 10:22:39.697 INFO kablam! = note: required because of the requirements on the impl of `cons::Append` for `Head` Sep 21 10:22:39.697 INFO kablam! = help: missing bounds in type aliases were previously allowed Sep 21 10:22:39.697 INFO kablam! = help: this is a hard error in Rust 2018 Sep 21 10:22:39.697 INFO kablam! Sep 21 10:22:39.698 INFO kablam! error[E0192]: negative impls are only allowed for auto traits (e.g., `Send` and `Sync`) Sep 21 10:22:39.698 INFO kablam! --> src/into_cons.rs:143:1 Sep 21 10:22:39.698 INFO kablam! | Sep 21 10:22:39.698 INFO kablam! 143 | impl !NotTuple for () {} Sep 21 10:22:39.698 INFO kablam! | ^^^^^^^^^^^^^^^^^^^^^^^^ Sep 21 10:22:39.698 INFO kablam! Sep 21 10:22:39.698 INFO kablam! error[E0192]: negative impls are only allowed for auto traits (e.g., `Send` and `Sync`) Sep 21 10:22:39.698 INFO kablam! --> src/into_cons.rs:144:1 Sep 21 10:22:39.698 INFO kablam! | Sep 21 10:22:39.698 INFO kablam! 144 | impl !NotTuple for (A,) {} Sep 21 10:22:39.698 INFO kablam! | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ Sep 21 10:22:39.698 INFO kablam! Sep 21 10:22:39.698 INFO kablam! error[E0192]: negative impls are only allowed for auto traits (e.g., `Send` and `Sync`) Sep 21 10:22:39.698 INFO kablam! --> src/into_cons.rs:145:1 Sep 21 10:22:39.698 INFO kablam! | Sep 21 10:22:39.698 INFO kablam! 145 | impl !NotTuple for Either {} Sep 21 10:22:39.698 INFO kablam! | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ Sep 21 10:22:39.698 INFO kablam! Sep 21 10:22:39.699 INFO kablam! warning: the trait bound `C: tuple::IntoTuple` is not satisfied Sep 21 10:22:39.699 INFO kablam! --> src/tuple.rs:38:33 Sep 21 10:22:39.699 INFO kablam! | Sep 21 10:22:39.699 INFO kablam! 38 | pub type TupleOf = >::Out; Sep 21 10:22:39.699 INFO kablam! | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ Sep 21 10:22:39.699 INFO kablam! If you are writing generic code, add a bound like Sep 21 10:22:39.699 INFO kablam! Sep 21 10:22:39.699 INFO kablam! where OrigType: Flatten, Sep 21 10:22:39.699 INFO kablam! Sep 21 10:22:39.699 INFO kablam! This bound is required because Flatten is implemented only if length of output tuple is smaller than 13. Sep 21 10:22:39.699 INFO kablam! Sep 21 10:22:39.699 INFO kablam! Sep 21 10:22:39.699 INFO kablam! Sep 21 10:22:39.699 INFO kablam! If not, implement ::flatten::NotTuple for your type like Sep 21 10:22:39.699 INFO kablam! Sep 21 10:22:39.699 INFO kablam! impl ::flatten::NotTuple for OrigType {} Sep 21 10:22:39.699 INFO kablam! Sep 21 10:22:39.699 INFO kablam! This is required because current type system does not have negative reasoning. Sep 21 10:22:39.699 INFO kablam! | Sep 21 10:22:39.699 INFO kablam! = help: the trait `tuple::IntoTuple` is not implemented for `C` Sep 21 10:22:39.699 INFO kablam! = help: consider adding a `where C: tuple::IntoTuple` bound Sep 21 10:22:39.699 INFO kablam! = help: missing bounds in type aliases were previously allowed Sep 21 10:22:39.699 INFO kablam! = help: this is a hard error in Rust 2018 Sep 21 10:22:39.699 INFO kablam! Sep 21 10:22:39.700 INFO kablam! warning: the trait bound `<::Specialized as into_cons::SpecializedIntoCons>::Out: tuple::IntoTuple` is not satisfied Sep 21 10:22:39.701 INFO kablam! --> src/lib.rs:43:25 Sep 21 10:22:39.701 INFO kablam! | Sep 21 10:22:39.701 INFO kablam! 43 | pub type Flattened = ::Flattened; Sep 21 10:22:39.701 INFO kablam! | ^^^^^^^^^^^^^^^^^^^^^^^^^ Sep 21 10:22:39.701 INFO kablam! If you are writing generic code, add a bound like Sep 21 10:22:39.701 INFO kablam! Sep 21 10:22:39.701 INFO kablam! where T: Flatten, Sep 21 10:22:39.701 INFO kablam! Sep 21 10:22:39.701 INFO kablam! This bound is required because Flatten is implemented only if length of output tuple is smaller than 13. Sep 21 10:22:39.701 INFO kablam! Sep 21 10:22:39.701 INFO kablam! Sep 21 10:22:39.701 INFO kablam! Sep 21 10:22:39.701 INFO kablam! If not, implement ::flatten::NotTuple for your type like Sep 21 10:22:39.701 INFO kablam! Sep 21 10:22:39.701 INFO kablam! impl ::flatten::NotTuple for T {} Sep 21 10:22:39.701 INFO kablam! Sep 21 10:22:39.701 INFO kablam! This is required because current type system does not have negative reasoning. Sep 21 10:22:39.701 INFO kablam! | Sep 21 10:22:39.701 INFO kablam! = help: the trait `tuple::IntoTuple` is not implemented for `<::Specialized as into_cons::SpecializedIntoCons>::Out` Sep 21 10:22:39.701 INFO kablam! = help: consider adding a `where <::Specialized as into_cons::SpecializedIntoCons>::Out: tuple::IntoTuple` bound Sep 21 10:22:39.701 INFO kablam! = note: required because of the requirements on the impl of `Flatten` for `T` Sep 21 10:22:39.701 INFO kablam! = help: missing bounds in type aliases were previously allowed Sep 21 10:22:39.701 INFO kablam! = help: this is a hard error in Rust 2018 Sep 21 10:22:39.701 INFO kablam! Sep 21 10:22:39.703 INFO kablam! error[E0192]: negative impls are only allowed for auto traits (e.g., `Send` and `Sync`) Sep 21 10:22:39.703 INFO kablam! --> src/into_cons.rs:207:9 Sep 21 10:22:39.703 INFO kablam! | Sep 21 10:22:39.703 INFO kablam! 207 | impl<$first_ty, $( $N ),*> !NotTuple for ( $first_ty, $( $N, )* ) {} Sep 21 10:22:39.703 INFO kablam! | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ Sep 21 10:22:39.703 INFO kablam! ... Sep 21 10:22:39.703 INFO kablam! 237 | / impl_for_tuple! { Sep 21 10:22:39.703 INFO kablam! 238 | | (0, A), Sep 21 10:22:39.703 INFO kablam! 239 | | (1, B), Sep 21 10:22:39.703 INFO kablam! 240 | | } Sep 21 10:22:39.703 INFO kablam! | |_- in this macro invocation Sep 21 10:22:39.703 INFO kablam! Sep 21 10:22:39.705 INFO kablam! error[E0192]: negative impls are only allowed for auto traits (e.g., `Send` and `Sync`) Sep 21 10:22:39.705 INFO kablam! --> src/into_cons.rs:207:9 Sep 21 10:22:39.705 INFO kablam! | Sep 21 10:22:39.705 INFO kablam! 207 | impl<$first_ty, $( $N ),*> !NotTuple for ( $first_ty, $( $N, )* ) {} Sep 21 10:22:39.705 INFO kablam! | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ Sep 21 10:22:39.705 INFO kablam! ... Sep 21 10:22:39.705 INFO kablam! 242 | / impl_for_tuple! { Sep 21 10:22:39.705 INFO kablam! 243 | | (0, A), Sep 21 10:22:39.705 INFO kablam! 244 | | (1, B), Sep 21 10:22:39.705 INFO kablam! 245 | | (2, C), Sep 21 10:22:39.705 INFO kablam! 246 | | } Sep 21 10:22:39.705 INFO kablam! | |_- in this macro invocation Sep 21 10:22:39.705 INFO kablam! Sep 21 10:22:39.708 INFO kablam! error[E0192]: negative impls are only allowed for auto traits (e.g., `Send` and `Sync`) Sep 21 10:22:39.708 INFO kablam! --> src/into_cons.rs:207:9 Sep 21 10:22:39.708 INFO kablam! | Sep 21 10:22:39.708 INFO kablam! 207 | impl<$first_ty, $( $N ),*> !NotTuple for ( $first_ty, $( $N, )* ) {} Sep 21 10:22:39.708 INFO kablam! | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ Sep 21 10:22:39.708 INFO kablam! ... Sep 21 10:22:39.708 INFO kablam! 248 | / impl_for_tuple! { Sep 21 10:22:39.708 INFO kablam! 249 | | (0, A), Sep 21 10:22:39.708 INFO kablam! 250 | | (1, B), Sep 21 10:22:39.708 INFO kablam! 251 | | (2, C), Sep 21 10:22:39.708 INFO kablam! 252 | | (3, D), Sep 21 10:22:39.708 INFO kablam! 253 | | } Sep 21 10:22:39.708 INFO kablam! | |_- in this macro invocation Sep 21 10:22:39.708 INFO kablam! Sep 21 10:22:39.712 INFO kablam! error[E0192]: negative impls are only allowed for auto traits (e.g., `Send` and `Sync`) Sep 21 10:22:39.712 INFO kablam! --> src/into_cons.rs:207:9 Sep 21 10:22:39.712 INFO kablam! | Sep 21 10:22:39.712 INFO kablam! 207 | impl<$first_ty, $( $N ),*> !NotTuple for ( $first_ty, $( $N, )* ) {} Sep 21 10:22:39.712 INFO kablam! | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ Sep 21 10:22:39.712 INFO kablam! ... Sep 21 10:22:39.712 INFO kablam! 255 | / impl_for_tuple! { Sep 21 10:22:39.712 INFO kablam! 256 | | (0, A), Sep 21 10:22:39.712 INFO kablam! 257 | | (1, B), Sep 21 10:22:39.712 INFO kablam! 258 | | (2, C), Sep 21 10:22:39.712 INFO kablam! 259 | | (3, D), Sep 21 10:22:39.712 INFO kablam! 260 | | (4, E), Sep 21 10:22:39.712 INFO kablam! 261 | | } Sep 21 10:22:39.712 INFO kablam! | |_- in this macro invocation Sep 21 10:22:39.712 INFO kablam! Sep 21 10:22:39.716 INFO kablam! error[E0192]: negative impls are only allowed for auto traits (e.g., `Send` and `Sync`) Sep 21 10:22:39.716 INFO kablam! --> src/into_cons.rs:207:9 Sep 21 10:22:39.716 INFO kablam! | Sep 21 10:22:39.716 INFO kablam! 207 | impl<$first_ty, $( $N ),*> !NotTuple for ( $first_ty, $( $N, )* ) {} Sep 21 10:22:39.716 INFO kablam! | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ Sep 21 10:22:39.716 INFO kablam! ... Sep 21 10:22:39.716 INFO kablam! 263 | / impl_for_tuple! { Sep 21 10:22:39.716 INFO kablam! 264 | | (0, A), Sep 21 10:22:39.716 INFO kablam! 265 | | (1, B), Sep 21 10:22:39.716 INFO kablam! 266 | | (2, C), Sep 21 10:22:39.716 INFO kablam! ... | Sep 21 10:22:39.717 INFO kablam! 269 | | (5, F), Sep 21 10:22:39.717 INFO kablam! 270 | | } Sep 21 10:22:39.717 INFO kablam! | |_- in this macro invocation Sep 21 10:22:39.717 INFO kablam! Sep 21 10:22:39.723 INFO kablam! error[E0192]: negative impls are only allowed for auto traits (e.g., `Send` and `Sync`) Sep 21 10:22:39.723 INFO kablam! --> src/into_cons.rs:207:9 Sep 21 10:22:39.723 INFO kablam! | Sep 21 10:22:39.723 INFO kablam! 207 | impl<$first_ty, $( $N ),*> !NotTuple for ( $first_ty, $( $N, )* ) {} Sep 21 10:22:39.723 INFO kablam! | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ Sep 21 10:22:39.723 INFO kablam! ... Sep 21 10:22:39.723 INFO kablam! 272 | / impl_for_tuple! { Sep 21 10:22:39.723 INFO kablam! 273 | | (0, A), Sep 21 10:22:39.723 INFO kablam! 274 | | (1, B), Sep 21 10:22:39.723 INFO kablam! 275 | | (2, C), Sep 21 10:22:39.723 INFO kablam! ... | Sep 21 10:22:39.723 INFO kablam! 279 | | (6, G), Sep 21 10:22:39.723 INFO kablam! 280 | | } Sep 21 10:22:39.723 INFO kablam! | |_- in this macro invocation Sep 21 10:22:39.723 INFO kablam! Sep 21 10:22:39.727 INFO kablam! error[E0192]: negative impls are only allowed for auto traits (e.g., `Send` and `Sync`) Sep 21 10:22:39.727 INFO kablam! --> src/into_cons.rs:207:9 Sep 21 10:22:39.727 INFO kablam! | Sep 21 10:22:39.727 INFO kablam! 207 | impl<$first_ty, $( $N ),*> !NotTuple for ( $first_ty, $( $N, )* ) {} Sep 21 10:22:39.727 INFO kablam! | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ Sep 21 10:22:39.728 INFO kablam! ... Sep 21 10:22:39.728 INFO kablam! 282 | / impl_for_tuple! { Sep 21 10:22:39.728 INFO kablam! 283 | | (0, A), Sep 21 10:22:39.728 INFO kablam! 284 | | (1, B), Sep 21 10:22:39.728 INFO kablam! 285 | | (2, C), Sep 21 10:22:39.728 INFO kablam! ... | Sep 21 10:22:39.728 INFO kablam! 290 | | (7, H), Sep 21 10:22:39.728 INFO kablam! 291 | | } Sep 21 10:22:39.728 INFO kablam! | |_- in this macro invocation Sep 21 10:22:39.728 INFO kablam! Sep 21 10:22:39.735 INFO kablam! error[E0192]: negative impls are only allowed for auto traits (e.g., `Send` and `Sync`) Sep 21 10:22:39.735 INFO kablam! --> src/into_cons.rs:207:9 Sep 21 10:22:39.735 INFO kablam! | Sep 21 10:22:39.735 INFO kablam! 207 | impl<$first_ty, $( $N ),*> !NotTuple for ( $first_ty, $( $N, )* ) {} Sep 21 10:22:39.735 INFO kablam! | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ Sep 21 10:22:39.735 INFO kablam! ... Sep 21 10:22:39.735 INFO kablam! 293 | / impl_for_tuple! { Sep 21 10:22:39.735 INFO kablam! 294 | | (0, A), Sep 21 10:22:39.735 INFO kablam! 295 | | (1, B), Sep 21 10:22:39.735 INFO kablam! 296 | | (2, C), Sep 21 10:22:39.735 INFO kablam! ... | Sep 21 10:22:39.735 INFO kablam! 302 | | (8, I), Sep 21 10:22:39.735 INFO kablam! 303 | | } Sep 21 10:22:39.735 INFO kablam! | |_- in this macro invocation Sep 21 10:22:39.735 INFO kablam! Sep 21 10:22:39.741 INFO kablam! error[E0192]: negative impls are only allowed for auto traits (e.g., `Send` and `Sync`) Sep 21 10:22:39.741 INFO kablam! --> src/into_cons.rs:207:9 Sep 21 10:22:39.741 INFO kablam! | Sep 21 10:22:39.741 INFO kablam! 207 | impl<$first_ty, $( $N ),*> !NotTuple for ( $first_ty, $( $N, )* ) {} Sep 21 10:22:39.742 INFO kablam! | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ Sep 21 10:22:39.742 INFO kablam! ... Sep 21 10:22:39.742 INFO kablam! 305 | / impl_for_tuple! { Sep 21 10:22:39.742 INFO kablam! 306 | | (0, A), Sep 21 10:22:39.742 INFO kablam! 307 | | (1, B), Sep 21 10:22:39.742 INFO kablam! 308 | | (2, C), Sep 21 10:22:39.742 INFO kablam! ... | Sep 21 10:22:39.742 INFO kablam! 315 | | (9, J), Sep 21 10:22:39.742 INFO kablam! 316 | | } Sep 21 10:22:39.742 INFO kablam! | |_- in this macro invocation Sep 21 10:22:39.742 INFO kablam! Sep 21 10:22:39.752 INFO kablam! error[E0192]: negative impls are only allowed for auto traits (e.g., `Send` and `Sync`) Sep 21 10:22:39.752 INFO kablam! --> src/into_cons.rs:207:9 Sep 21 10:22:39.752 INFO kablam! | Sep 21 10:22:39.752 INFO kablam! 207 | impl<$first_ty, $( $N ),*> !NotTuple for ( $first_ty, $( $N, )* ) {} Sep 21 10:22:39.752 INFO kablam! | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ Sep 21 10:22:39.752 INFO kablam! ... Sep 21 10:22:39.752 INFO kablam! 318 | / impl_for_tuple! { Sep 21 10:22:39.752 INFO kablam! 319 | | (0, A), Sep 21 10:22:39.752 INFO kablam! 320 | | (1, B), Sep 21 10:22:39.752 INFO kablam! 321 | | (2, C), Sep 21 10:22:39.752 INFO kablam! ... | Sep 21 10:22:39.752 INFO kablam! 329 | | (10, K), Sep 21 10:22:39.752 INFO kablam! 330 | | } Sep 21 10:22:39.752 INFO kablam! | |_- in this macro invocation Sep 21 10:22:39.752 INFO kablam! Sep 21 10:22:39.761 INFO kablam! error[E0192]: negative impls are only allowed for auto traits (e.g., `Send` and `Sync`) Sep 21 10:22:39.761 INFO kablam! --> src/into_cons.rs:207:9 Sep 21 10:22:39.761 INFO kablam! | Sep 21 10:22:39.761 INFO kablam! 207 | impl<$first_ty, $( $N ),*> !NotTuple for ( $first_ty, $( $N, )* ) {} Sep 21 10:22:39.761 INFO kablam! | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ Sep 21 10:22:39.761 INFO kablam! ... Sep 21 10:22:39.761 INFO kablam! 332 | / impl_for_tuple! { Sep 21 10:22:39.761 INFO kablam! 333 | | (0, A), Sep 21 10:22:39.761 INFO kablam! 334 | | (1, B), Sep 21 10:22:39.761 INFO kablam! 335 | | (2, C), Sep 21 10:22:39.761 INFO kablam! ... | Sep 21 10:22:39.762 INFO kablam! 344 | | (11, L), Sep 21 10:22:39.762 INFO kablam! 345 | | } Sep 21 10:22:39.762 INFO kablam! | |_- in this macro invocation Sep 21 10:22:39.762 INFO kablam! Sep 21 10:22:39.838 INFO kablam! error: aborting due to 31 previous errors Sep 21 10:22:39.838 INFO kablam! Sep 21 10:22:39.838 INFO kablam! Some errors occurred: E0192, E0277. Sep 21 10:22:39.838 INFO kablam! For more information about an error, try `rustc --explain E0192`. Sep 21 10:22:39.841 INFO kablam! error: Could not compile `flatten`. Sep 21 10:22:39.841 INFO kablam! warning: build failed, waiting for other jobs to finish... Sep 21 10:22:39.938 INFO kablam! error: aborting due to 31 previous errors Sep 21 10:22:39.938 INFO kablam! Sep 21 10:22:39.938 INFO kablam! Some errors occurred: E0192, E0277. Sep 21 10:22:39.938 INFO kablam! For more information about an error, try `rustc --explain E0192`. Sep 21 10:22:39.943 INFO kablam! error: Could not compile `flatten`. Sep 21 10:22:39.944 INFO kablam! Sep 21 10:22:39.944 INFO kablam! To learn more, run the command again with --verbose. Sep 21 10:22:39.944 INFO kablam! su: No module specific data is present Sep 21 10:22:40.559 INFO running `"docker" "rm" "-f" "39051d2c6a6aed20f761f3d1a0b024b972662bbf1d194c5a765d474aaaa6db14"` Sep 21 10:22:40.614 INFO blam! 39051d2c6a6aed20f761f3d1a0b024b972662bbf1d194c5a765d474aaaa6db14