Sep 18 00:38:35.017 INFO checking flatten-0.2.1 against try#cfeeefe83c83bceb55d60d7e2be173db7597ed50 for pr-54033 Sep 18 00:38:35.017 INFO running: cargo +cfeeefe83c83bceb55d60d7e2be173db7597ed50-alt check --frozen --all --all-targets Sep 18 00:38:35.017 INFO running `"docker" "create" "-v" "/home/ec2-user/crater/./work/local/test-source/worker-5/pr-54033/try#cfeeefe83c83bceb55d60d7e2be173db7597ed50:/source:ro,Z" "-v" "/home/ec2-user/crater/./work/local/target-dirs/pr-54033/worker-5/try#cfeeefe83c83bceb55d60d7e2be173db7597ed50:/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 +cfeeefe83c83bceb55d60d7e2be173db7597ed50-alt check --frozen --all --all-targets" "-e" "CARGO_INCREMENTAL=0" "-e" "RUST_BACKTRACE=full" "-e" "RUSTFLAGS=--cap-lints=forbid" "-m" "1536M" "crater"` Sep 18 00:38:35.175 INFO blam! aea332e43dcef9b28172e6371d95648014730c7020750502bd94dca2dfbd2ce8 Sep 18 00:38:35.176 INFO running `"docker" "start" "-a" "aea332e43dcef9b28172e6371d95648014730c7020750502bd94dca2dfbd2ce8"` Sep 18 00:38:35.838 INFO kablam! usermod: no changes Sep 18 00:38:35.855 INFO kablam! Checking flatten v0.2.1 (/source) Sep 18 00:38:35.911 INFO kablam! warning: unknown lint: `auto_impl` Sep 18 00:38:35.911 INFO kablam! --> src/cons/mod.rs:24:9 Sep 18 00:38:35.911 INFO kablam! | Sep 18 00:38:35.911 INFO kablam! 24 | #[allow(auto_impl)] Sep 18 00:38:35.911 INFO kablam! | ^^^^^^^^^ Sep 18 00:38:35.911 INFO kablam! | Sep 18 00:38:35.911 INFO kablam! = note: #[warn(unknown_lints)] on by default Sep 18 00:38:35.911 INFO kablam! Sep 18 00:38:35.911 INFO kablam! warning: unknown lint: `auto_impl` Sep 18 00:38:35.911 INFO kablam! --> src/into_cons.rs:141:9 Sep 18 00:38:35.911 INFO kablam! | Sep 18 00:38:35.911 INFO kablam! 141 | #[allow(auto_impl)] Sep 18 00:38:35.911 INFO kablam! | ^^^^^^^^^ Sep 18 00:38:35.911 INFO kablam! Sep 18 00:38:35.927 INFO kablam! warning: unknown lint: `auto_impl` Sep 18 00:38:35.927 INFO kablam! --> src/cons/mod.rs:24:9 Sep 18 00:38:35.927 INFO kablam! | Sep 18 00:38:35.927 INFO kablam! 24 | #[allow(auto_impl)] Sep 18 00:38:35.927 INFO kablam! | ^^^^^^^^^ Sep 18 00:38:35.927 INFO kablam! | Sep 18 00:38:35.927 INFO kablam! = note: #[warn(unknown_lints)] on by default Sep 18 00:38:35.927 INFO kablam! Sep 18 00:38:35.927 INFO kablam! warning: unknown lint: `auto_impl` Sep 18 00:38:35.927 INFO kablam! --> src/into_cons.rs:141:9 Sep 18 00:38:35.927 INFO kablam! | Sep 18 00:38:35.927 INFO kablam! 141 | #[allow(auto_impl)] Sep 18 00:38:35.927 INFO kablam! | ^^^^^^^^^ Sep 18 00:38:35.927 INFO kablam! Sep 18 00:38:36.083 INFO kablam! error: `impl Trait for .. {}` is an obsolete syntax Sep 18 00:38:36.083 INFO kablam! --> src/cons/mod.rs:25:1 Sep 18 00:38:36.083 INFO kablam! | Sep 18 00:38:36.083 INFO kablam! 25 | impl ValidHead for ..{} Sep 18 00:38:36.083 INFO kablam! | ^^^^^^^^^^^^^^^^^^^^^^^ Sep 18 00:38:36.083 INFO kablam! | Sep 18 00:38:36.083 INFO kablam! = help: use `auto trait Trait {}` instead Sep 18 00:38:36.083 INFO kablam! Sep 18 00:38:36.083 INFO kablam! error: `impl Trait for .. {}` is an obsolete syntax Sep 18 00:38:36.083 INFO kablam! --> src/into_cons.rs:142:1 Sep 18 00:38:36.083 INFO kablam! | Sep 18 00:38:36.083 INFO kablam! 142 | impl NotTuple for ..{} Sep 18 00:38:36.083 INFO kablam! | ^^^^^^^^^^^^^^^^^^^^^^ Sep 18 00:38:36.083 INFO kablam! | Sep 18 00:38:36.083 INFO kablam! = help: use `auto trait Trait {}` instead Sep 18 00:38:36.083 INFO kablam! Sep 18 00:38:36.136 INFO kablam! error: `impl Trait for .. {}` is an obsolete syntax Sep 18 00:38:36.136 INFO kablam! --> src/cons/mod.rs:25:1 Sep 18 00:38:36.136 INFO kablam! | Sep 18 00:38:36.136 INFO kablam! 25 | impl ValidHead for ..{} Sep 18 00:38:36.136 INFO kablam! | ^^^^^^^^^^^^^^^^^^^^^^^ Sep 18 00:38:36.136 INFO kablam! | Sep 18 00:38:36.136 INFO kablam! = help: use `auto trait Trait {}` instead Sep 18 00:38:36.136 INFO kablam! Sep 18 00:38:36.136 INFO kablam! error: `impl Trait for .. {}` is an obsolete syntax Sep 18 00:38:36.136 INFO kablam! --> src/into_cons.rs:142:1 Sep 18 00:38:36.136 INFO kablam! | Sep 18 00:38:36.136 INFO kablam! 142 | impl NotTuple for ..{} Sep 18 00:38:36.136 INFO kablam! | ^^^^^^^^^^^^^^^^^^^^^^ Sep 18 00:38:36.136 INFO kablam! | Sep 18 00:38:36.136 INFO kablam! = help: use `auto trait Trait {}` instead Sep 18 00:38:36.139 INFO kablam! Sep 18 00:38:36.259 INFO kablam! error: the trait bound `T: cons::fix::Fix` is not satisfied Sep 18 00:38:36.259 INFO kablam! --> src/cons/fix.rs:20:21 Sep 18 00:38:36.259 INFO kablam! | Sep 18 00:38:36.259 INFO kablam! 20 | pub type Fixed = ::Fixed; Sep 18 00:38:36.259 INFO kablam! | ^^^^^^^^^^^^^^^^^ the trait `cons::fix::Fix` is not implemented for `T` Sep 18 00:38:36.259 INFO kablam! | Sep 18 00:38:36.259 INFO kablam! = note: #[deny(type_alias_missing_bounds)] on by default Sep 18 00:38:36.259 INFO kablam! = help: consider adding a `where T: cons::fix::Fix` bound Sep 18 00:38:36.259 INFO kablam! = help: missing bounds in type aliases were previously allowed Sep 18 00:38:36.259 INFO kablam! = help: this is a hard error in Rust 2018 Sep 18 00:38:36.259 INFO kablam! Sep 18 00:38:36.259 INFO kablam! error: the trait bound `T: cons::ValidHead` is not satisfied Sep 18 00:38:36.259 INFO kablam! --> src/cons/fix.rs:29:25 Sep 18 00:38:36.259 INFO kablam! | Sep 18 00:38:36.259 INFO kablam! 29 | pub type FixedHead = ::Fixed; Sep 18 00:38:36.259 INFO kablam! | ^^^^^^^^^^^^^^^^^^^^^ the trait `cons::ValidHead` is not implemented for `T` Sep 18 00:38:36.259 INFO kablam! | Sep 18 00:38:36.259 INFO kablam! = help: consider adding a `where T: cons::ValidHead` bound Sep 18 00:38:36.259 INFO kablam! = note: required because of the requirements on the impl of `cons::fix::FixHead` for `T` Sep 18 00:38:36.259 INFO kablam! = help: missing bounds in type aliases were previously allowed Sep 18 00:38:36.259 INFO kablam! = help: this is a hard error in Rust 2018 Sep 18 00:38:36.259 INFO kablam! Sep 18 00:38:36.260 INFO kablam! error: the trait bound `Head: cons::ValidHead` is not satisfied Sep 18 00:38:36.260 INFO kablam! --> src/cons/fix.rs:59:31 Sep 18 00:38:36.260 INFO kablam! | Sep 18 00:38:36.260 INFO kablam! 59 | pub type Concat = >::Output; Sep 18 00:38:36.260 INFO kablam! | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ the trait `cons::ValidHead` is not implemented for `Head` Sep 18 00:38:36.260 INFO kablam! | Sep 18 00:38:36.260 INFO kablam! = help: consider adding a `where Head: cons::ValidHead` bound Sep 18 00:38:36.260 INFO kablam! = note: required because of the requirements on the impl of `cons::Append` for `Head` Sep 18 00:38:36.260 INFO kablam! = help: missing bounds in type aliases were previously allowed Sep 18 00:38:36.260 INFO kablam! = help: this is a hard error in Rust 2018 Sep 18 00:38:36.260 INFO kablam! Sep 18 00:38:36.260 INFO kablam! error: the trait bound `Tail: cons::ValidNode` is not satisfied Sep 18 00:38:36.260 INFO kablam! --> src/cons/fix.rs:59:31 Sep 18 00:38:36.260 INFO kablam! | Sep 18 00:38:36.260 INFO kablam! 59 | pub type Concat = >::Output; Sep 18 00:38:36.260 INFO kablam! | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ the trait `cons::ValidNode` is not implemented for `Tail` Sep 18 00:38:36.260 INFO kablam! | Sep 18 00:38:36.260 INFO kablam! = help: consider adding a `where Tail: cons::ValidNode` bound Sep 18 00:38:36.260 INFO kablam! = note: required because of the requirements on the impl of `cons::Append` for `Head` Sep 18 00:38:36.260 INFO kablam! = help: missing bounds in type aliases were previously allowed Sep 18 00:38:36.260 INFO kablam! = help: this is a hard error in Rust 2018 Sep 18 00:38:36.260 INFO kablam! Sep 18 00:38:36.261 INFO kablam! error: the trait bound `Head: cons::ValidHead` is not satisfied Sep 18 00:38:36.261 INFO kablam! --> src/cons/fix.rs:61:36 Sep 18 00:38:36.261 INFO kablam! | Sep 18 00:38:36.261 INFO kablam! 61 | pub type ConcatFixed = Concat, Fixed>; Sep 18 00:38:36.261 INFO kablam! | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ the trait `cons::ValidHead` is not implemented for `Head` Sep 18 00:38:36.261 INFO kablam! | Sep 18 00:38:36.261 INFO kablam! = help: consider adding a `where Head: cons::ValidHead` bound Sep 18 00:38:36.261 INFO kablam! = note: required because of the requirements on the impl of `cons::fix::FixHead` for `Head` Sep 18 00:38:36.261 INFO kablam! = help: missing bounds in type aliases were previously allowed Sep 18 00:38:36.261 INFO kablam! = help: this is a hard error in Rust 2018 Sep 18 00:38:36.261 INFO kablam! Sep 18 00:38:36.261 INFO kablam! error: the trait bound `Tail: cons::fix::Fix` is not satisfied Sep 18 00:38:36.261 INFO kablam! --> src/cons/fix.rs:61:36 Sep 18 00:38:36.261 INFO kablam! | Sep 18 00:38:36.261 INFO kablam! 61 | pub type ConcatFixed = Concat, Fixed>; Sep 18 00:38:36.261 INFO kablam! | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ the trait `cons::fix::Fix` is not implemented for `Tail` Sep 18 00:38:36.261 INFO kablam! | Sep 18 00:38:36.261 INFO kablam! = help: consider adding a `where Tail: cons::fix::Fix` bound Sep 18 00:38:36.261 INFO kablam! = help: missing bounds in type aliases were previously allowed Sep 18 00:38:36.261 INFO kablam! = help: this is a hard error in Rust 2018 Sep 18 00:38:36.261 INFO kablam! Sep 18 00:38:36.261 INFO kablam! error: the trait bound `cons::Cons: cons::Append<_>` is not satisfied Sep 18 00:38:36.261 INFO kablam! --> src/cons/fix.rs:61:36 Sep 18 00:38:36.261 INFO kablam! | Sep 18 00:38:36.261 INFO kablam! 61 | pub type ConcatFixed = Concat, Fixed>; Sep 18 00:38:36.261 INFO kablam! | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ the trait `cons::Append<_>` is not implemented for `cons::Cons` Sep 18 00:38:36.261 INFO kablam! | Sep 18 00:38:36.261 INFO kablam! = help: the following implementations were found: Sep 18 00:38:36.261 INFO kablam! as cons::Append> Sep 18 00:38:36.261 INFO kablam! = help: missing bounds in type aliases were previously allowed Sep 18 00:38:36.261 INFO kablam! = help: this is a hard error in Rust 2018 Sep 18 00:38:36.261 INFO kablam! Sep 18 00:38:36.262 INFO kablam! error[E0277]: the trait bound `usize: cons::ValidHead` is not satisfied Sep 18 00:38:36.262 INFO kablam! --> src/cons/fix.rs:93:6 Sep 18 00:38:36.262 INFO kablam! | Sep 18 00:38:36.262 INFO kablam! 93 | impl AssertValid for Cons {} Sep 18 00:38:36.262 INFO kablam! | ^^^^^^^^^^^ the trait `cons::ValidHead` is not implemented for `usize` Sep 18 00:38:36.262 INFO kablam! | Sep 18 00:38:36.262 INFO kablam! = note: required because of the requirements on the impl of `cons::fix::FixHead` for `usize` Sep 18 00:38:36.262 INFO kablam! = note: required because of the requirements on the impl of `cons::fix::Fix` for `cons::Cons` Sep 18 00:38:36.262 INFO kablam! Sep 18 00:38:36.262 INFO kablam! error[E0277]: the trait bound `cons::Cons: cons::Append` is not satisfied Sep 18 00:38:36.262 INFO kablam! --> src/cons/fix.rs:93:6 Sep 18 00:38:36.262 INFO kablam! | Sep 18 00:38:36.262 INFO kablam! 93 | impl AssertValid for Cons {} Sep 18 00:38:36.262 INFO kablam! | ^^^^^^^^^^^ the trait `cons::Append` is not implemented for `cons::Cons` Sep 18 00:38:36.264 INFO kablam! | Sep 18 00:38:36.264 INFO kablam! = help: the following implementations were found: Sep 18 00:38:36.264 INFO kablam! as cons::Append> Sep 18 00:38:36.264 INFO kablam! = note: required because of the requirements on the impl of `cons::fix::Fix` for `cons::Cons` Sep 18 00:38:36.264 INFO kablam! Sep 18 00:38:36.264 INFO kablam! error[E0277]: the trait bound `usize: cons::ValidHead` is not satisfied Sep 18 00:38:36.264 INFO kablam! --> src/cons/fix.rs:95:6 Sep 18 00:38:36.264 INFO kablam! | Sep 18 00:38:36.264 INFO kablam! 95 | impl AssertFix> for Cons, Nil> {} Sep 18 00:38:36.264 INFO kablam! | ^^^^^^^^^^^^^^^^^^^^^^^^^^^ the trait `cons::ValidHead` is not implemented for `usize` Sep 18 00:38:36.264 INFO kablam! | Sep 18 00:38:36.264 INFO kablam! = note: required because of the requirements on the impl of `cons::fix::FixHead` for `usize` Sep 18 00:38:36.264 INFO kablam! = note: required because of the requirements on the impl of `cons::fix::Fix` for `cons::Cons` Sep 18 00:38:36.264 INFO kablam! Sep 18 00:38:36.264 INFO kablam! error[E0277]: the trait bound `cons::Cons: cons::Append` is not satisfied Sep 18 00:38:36.264 INFO kablam! --> src/cons/fix.rs:95:6 Sep 18 00:38:36.264 INFO kablam! | Sep 18 00:38:36.264 INFO kablam! 95 | impl AssertFix> for Cons, Nil> {} Sep 18 00:38:36.264 INFO kablam! | ^^^^^^^^^^^^^^^^^^^^^^^^^^^ the trait `cons::Append` is not implemented for `cons::Cons` Sep 18 00:38:36.264 INFO kablam! | Sep 18 00:38:36.264 INFO kablam! = help: the following implementations were found: Sep 18 00:38:36.264 INFO kablam! as cons::Append> Sep 18 00:38:36.264 INFO kablam! = note: required because of the requirements on the impl of `cons::fix::Fix` for `cons::Cons` Sep 18 00:38:36.264 INFO kablam! Sep 18 00:38:36.264 INFO kablam! error[E0277]: the trait bound `cons::Cons: cons::fix::FixHead` is not satisfied Sep 18 00:38:36.264 INFO kablam! --> src/cons/fix.rs:95:6 Sep 18 00:38:36.264 INFO kablam! | Sep 18 00:38:36.264 INFO kablam! 95 | impl AssertFix> for Cons, Nil> {} Sep 18 00:38:36.264 INFO kablam! | ^^^^^^^^^^^^^^^^^^^^^^^^^^^ the trait `cons::fix::FixHead` is not implemented for `cons::Cons` Sep 18 00:38:36.264 INFO kablam! | Sep 18 00:38:36.264 INFO kablam! = help: the following implementations were found: Sep 18 00:38:36.264 INFO kablam! as cons::fix::FixHead> Sep 18 00:38:36.264 INFO kablam! = note: required because of the requirements on the impl of `cons::fix::Fix` for `cons::Cons, cons::Nil>` Sep 18 00:38:36.264 INFO kablam! Sep 18 00:38:36.264 INFO kablam! error[E0277]: the trait bound `usize: cons::ValidHead` is not satisfied Sep 18 00:38:36.264 INFO kablam! --> src/cons/fix.rs:96:6 Sep 18 00:38:36.264 INFO kablam! | Sep 18 00:38:36.264 INFO kablam! 96 | impl AssertFix> for Cons, Nil>, Nil> {} Sep 18 00:38:36.264 INFO kablam! | ^^^^^^^^^^^^^^^^^^^^^^^^^^^ the trait `cons::ValidHead` is not implemented for `usize` Sep 18 00:38:36.265 INFO kablam! | Sep 18 00:38:36.265 INFO kablam! = note: required because of the requirements on the impl of `cons::fix::FixHead` for `usize` Sep 18 00:38:36.265 INFO kablam! = note: required because of the requirements on the impl of `cons::fix::Fix` for `cons::Cons` Sep 18 00:38:36.265 INFO kablam! Sep 18 00:38:36.265 INFO kablam! error[E0277]: the trait bound `cons::Cons: cons::Append` is not satisfied Sep 18 00:38:36.265 INFO kablam! --> src/cons/fix.rs:96:6 Sep 18 00:38:36.265 INFO kablam! | Sep 18 00:38:36.265 INFO kablam! 96 | impl AssertFix> for Cons, Nil>, Nil> {} Sep 18 00:38:36.265 INFO kablam! | ^^^^^^^^^^^^^^^^^^^^^^^^^^^ the trait `cons::Append` is not implemented for `cons::Cons` Sep 18 00:38:36.265 INFO kablam! | Sep 18 00:38:36.265 INFO kablam! = help: the following implementations were found: Sep 18 00:38:36.265 INFO kablam! as cons::Append> Sep 18 00:38:36.265 INFO kablam! = note: required because of the requirements on the impl of `cons::fix::Fix` for `cons::Cons` Sep 18 00:38:36.265 INFO kablam! Sep 18 00:38:36.265 INFO kablam! error[E0277]: the trait bound `cons::Cons, cons::Nil>: cons::fix::FixHead` is not satisfied Sep 18 00:38:36.265 INFO kablam! --> src/cons/fix.rs:96:6 Sep 18 00:38:36.265 INFO kablam! | Sep 18 00:38:36.265 INFO kablam! 96 | impl AssertFix> for Cons, Nil>, Nil> {} Sep 18 00:38:36.265 INFO kablam! | ^^^^^^^^^^^^^^^^^^^^^^^^^^^ the trait `cons::fix::FixHead` is not implemented for `cons::Cons, cons::Nil>` Sep 18 00:38:36.265 INFO kablam! | Sep 18 00:38:36.265 INFO kablam! = help: the following implementations were found: Sep 18 00:38:36.265 INFO kablam! as cons::fix::FixHead> Sep 18 00:38:36.265 INFO kablam! = note: required because of the requirements on the impl of `cons::fix::Fix` for `cons::Cons, cons::Nil>, cons::Nil>` Sep 18 00:38:36.265 INFO kablam! Sep 18 00:38:36.265 INFO kablam! error[E0277]: the trait bound `usize: cons::ValidHead` is not satisfied Sep 18 00:38:36.265 INFO kablam! --> src/cons/fix.rs:98:6 Sep 18 00:38:36.265 INFO kablam! | Sep 18 00:38:36.265 INFO kablam! 98 | impl AssertFix>> for Cons, Cons>, Nil> {} Sep 18 00:38:36.265 INFO kablam! | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ the trait `cons::ValidHead` is not implemented for `usize` Sep 18 00:38:36.267 INFO kablam! | Sep 18 00:38:36.267 INFO kablam! = note: required because of the requirements on the impl of `cons::fix::FixHead` for `usize` Sep 18 00:38:36.267 INFO kablam! = note: required because of the requirements on the impl of `cons::fix::Fix` for `cons::Cons>` Sep 18 00:38:36.267 INFO kablam! Sep 18 00:38:36.267 INFO kablam! error[E0277]: the trait bound `u64: cons::ValidHead` is not satisfied Sep 18 00:38:36.267 INFO kablam! --> src/cons/fix.rs:98:6 Sep 18 00:38:36.267 INFO kablam! | Sep 18 00:38:36.267 INFO kablam! 98 | impl AssertFix>> for Cons, Cons>, Nil> {} Sep 18 00:38:36.267 INFO kablam! | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ the trait `cons::ValidHead` is not implemented for `u64` Sep 18 00:38:36.267 INFO kablam! | Sep 18 00:38:36.267 INFO kablam! = note: required because of the requirements on the impl of `cons::fix::FixHead` for `u64` Sep 18 00:38:36.267 INFO kablam! = note: required because of the requirements on the impl of `cons::fix::Fix` for `cons::Cons` Sep 18 00:38:36.267 INFO kablam! = note: required because of the requirements on the impl of `cons::fix::Fix` for `cons::Cons>` Sep 18 00:38:36.267 INFO kablam! Sep 18 00:38:36.267 INFO kablam! error[E0277]: the trait bound `cons::Cons: cons::Append` is not satisfied Sep 18 00:38:36.267 INFO kablam! --> src/cons/fix.rs:98:6 Sep 18 00:38:36.267 INFO kablam! | Sep 18 00:38:36.267 INFO kablam! 98 | impl AssertFix>> for Cons, Cons>, Nil> {} Sep 18 00:38:36.267 INFO kablam! | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ the trait `cons::Append` is not implemented for `cons::Cons` Sep 18 00:38:36.267 INFO kablam! | Sep 18 00:38:36.267 INFO kablam! = help: the following implementations were found: Sep 18 00:38:36.267 INFO kablam! as cons::Append> Sep 18 00:38:36.267 INFO kablam! = note: required because of the requirements on the impl of `cons::fix::Fix` for `cons::Cons` Sep 18 00:38:36.267 INFO kablam! = note: required because of the requirements on the impl of `cons::fix::Fix` for `cons::Cons>` Sep 18 00:38:36.267 INFO kablam! Sep 18 00:38:36.267 INFO kablam! error[E0277]: the trait bound `cons::Cons: cons::Append<_>` is not satisfied Sep 18 00:38:36.267 INFO kablam! --> src/cons/fix.rs:98:6 Sep 18 00:38:36.267 INFO kablam! | Sep 18 00:38:36.267 INFO kablam! 98 | impl AssertFix>> for Cons, Cons>, Nil> {} Sep 18 00:38:36.268 INFO kablam! | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ the trait `cons::Append<_>` is not implemented for `cons::Cons` Sep 18 00:38:36.268 INFO kablam! | Sep 18 00:38:36.268 INFO kablam! = help: the following implementations were found: Sep 18 00:38:36.268 INFO kablam! as cons::Append> Sep 18 00:38:36.268 INFO kablam! = note: required because of the requirements on the impl of `cons::fix::Fix` for `cons::Cons>` Sep 18 00:38:36.268 INFO kablam! Sep 18 00:38:36.268 INFO kablam! error[E0277]: the trait bound `cons::Cons, cons::Cons>: cons::fix::FixHead` is not satisfied Sep 18 00:38:36.268 INFO kablam! --> src/cons/fix.rs:98:6 Sep 18 00:38:36.268 INFO kablam! | Sep 18 00:38:36.268 INFO kablam! 98 | impl AssertFix>> for Cons, Cons>, Nil> {} Sep 18 00:38:36.268 INFO kablam! | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ the trait `cons::fix::FixHead` is not implemented for `cons::Cons, cons::Cons>` Sep 18 00:38:36.268 INFO kablam! | Sep 18 00:38:36.268 INFO kablam! = help: the following implementations were found: Sep 18 00:38:36.268 INFO kablam! as cons::fix::FixHead> Sep 18 00:38:36.268 INFO kablam! = note: required because of the requirements on the impl of `cons::fix::Fix` for `cons::Cons, cons::Cons>, cons::Nil>` Sep 18 00:38:36.268 INFO kablam! Sep 18 00:38:36.268 INFO kablam! error: the trait bound `N: cons::Node` is not satisfied Sep 18 00:38:36.268 INFO kablam! --> src/cons/mod.rs:20:22 Sep 18 00:38:36.268 INFO kablam! | Sep 18 00:38:36.268 INFO kablam! 20 | pub type AsCons = Cons<::ConsHead, ::ConsTail>; Sep 18 00:38:36.268 INFO kablam! | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ the trait `cons::Node` is not implemented for `N` Sep 18 00:38:36.268 INFO kablam! | Sep 18 00:38:36.268 INFO kablam! = help: consider adding a `where N: cons::Node` bound Sep 18 00:38:36.268 INFO kablam! = help: missing bounds in type aliases were previously allowed Sep 18 00:38:36.268 INFO kablam! = help: this is a hard error in Rust 2018 Sep 18 00:38:36.268 INFO kablam! Sep 18 00:38:36.268 INFO kablam! error[E0192]: negative impls are only allowed for auto traits (e.g., `Send` and `Sync`) Sep 18 00:38:36.268 INFO kablam! --> src/cons/mod.rs:26:1 Sep 18 00:38:36.268 INFO kablam! | Sep 18 00:38:36.268 INFO kablam! 26 | impl !ValidHead for Nil {} Sep 18 00:38:36.268 INFO kablam! | ^^^^^^^^^^^^^^^^^^^^^^^^^^ Sep 18 00:38:36.268 INFO kablam! Sep 18 00:38:36.268 INFO kablam! error[E0192]: negative impls are only allowed for auto traits (e.g., `Send` and `Sync`) Sep 18 00:38:36.268 INFO kablam! --> src/cons/mod.rs:27:1 Sep 18 00:38:36.268 INFO kablam! | Sep 18 00:38:36.268 INFO kablam! 27 | impl !ValidHead for Cons {} Sep 18 00:38:36.269 INFO kablam! | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ Sep 18 00:38:36.269 INFO kablam! Sep 18 00:38:36.269 INFO kablam! error: the trait bound `Head: cons::ValidHead` is not satisfied Sep 18 00:38:36.269 INFO kablam! --> src/cons/mod.rs:96:31 Sep 18 00:38:36.269 INFO kablam! | Sep 18 00:38:36.269 INFO kablam! 96 | pub type Concat = >::Output; Sep 18 00:38:36.269 INFO kablam! | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ the trait `cons::ValidHead` is not implemented for `Head` Sep 18 00:38:36.269 INFO kablam! | Sep 18 00:38:36.269 INFO kablam! = help: consider adding a `where Head: cons::ValidHead` bound Sep 18 00:38:36.269 INFO kablam! = note: required because of the requirements on the impl of `cons::Append` for `Head` Sep 18 00:38:36.269 INFO kablam! = help: missing bounds in type aliases were previously allowed Sep 18 00:38:36.269 INFO kablam! = help: this is a hard error in Rust 2018 Sep 18 00:38:36.269 INFO kablam! Sep 18 00:38:36.269 INFO kablam! error: the trait bound `Tail: cons::ValidNode` is not satisfied Sep 18 00:38:36.269 INFO kablam! --> src/cons/mod.rs:96:31 Sep 18 00:38:36.269 INFO kablam! | Sep 18 00:38:36.269 INFO kablam! 96 | pub type Concat = >::Output; Sep 18 00:38:36.269 INFO kablam! | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ the trait `cons::ValidNode` is not implemented for `Tail` Sep 18 00:38:36.269 INFO kablam! | Sep 18 00:38:36.269 INFO kablam! = help: consider adding a `where Tail: cons::ValidNode` bound Sep 18 00:38:36.270 INFO kablam! = note: required because of the requirements on the impl of `cons::Append` for `Head` Sep 18 00:38:36.270 INFO kablam! = help: missing bounds in type aliases were previously allowed Sep 18 00:38:36.270 INFO kablam! = help: this is a hard error in Rust 2018 Sep 18 00:38:36.270 INFO kablam! Sep 18 00:38:36.272 INFO kablam! error[E0192]: negative impls are only allowed for auto traits (e.g., `Send` and `Sync`) Sep 18 00:38:36.272 INFO kablam! --> src/into_cons.rs:143:1 Sep 18 00:38:36.272 INFO kablam! | Sep 18 00:38:36.272 INFO kablam! 143 | impl !NotTuple for () {} Sep 18 00:38:36.272 INFO kablam! | ^^^^^^^^^^^^^^^^^^^^^^^^ Sep 18 00:38:36.272 INFO kablam! Sep 18 00:38:36.272 INFO kablam! error[E0192]: negative impls are only allowed for auto traits (e.g., `Send` and `Sync`) Sep 18 00:38:36.273 INFO kablam! --> src/into_cons.rs:144:1 Sep 18 00:38:36.273 INFO kablam! | Sep 18 00:38:36.273 INFO kablam! 144 | impl !NotTuple for (A,) {} Sep 18 00:38:36.273 INFO kablam! | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ Sep 18 00:38:36.273 INFO kablam! Sep 18 00:38:36.273 INFO kablam! error[E0192]: negative impls are only allowed for auto traits (e.g., `Send` and `Sync`) Sep 18 00:38:36.273 INFO kablam! --> src/into_cons.rs:145:1 Sep 18 00:38:36.273 INFO kablam! | Sep 18 00:38:36.273 INFO kablam! 145 | impl !NotTuple for Either {} Sep 18 00:38:36.273 INFO kablam! | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ Sep 18 00:38:36.273 INFO kablam! Sep 18 00:38:36.274 INFO kablam! error: the trait bound `C: tuple::IntoTuple` is not satisfied Sep 18 00:38:36.274 INFO kablam! --> src/tuple.rs:38:33 Sep 18 00:38:36.274 INFO kablam! | Sep 18 00:38:36.274 INFO kablam! 38 | pub type TupleOf = >::Out; Sep 18 00:38:36.274 INFO kablam! | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ Sep 18 00:38:36.274 INFO kablam! If you are writing generic code, add a bound like Sep 18 00:38:36.274 INFO kablam! Sep 18 00:38:36.274 INFO kablam! where OrigType: Flatten, Sep 18 00:38:36.274 INFO kablam! Sep 18 00:38:36.274 INFO kablam! This bound is required because Flatten is implemented only if length of output tuple is smaller than 13. Sep 18 00:38:36.274 INFO kablam! Sep 18 00:38:36.274 INFO kablam! Sep 18 00:38:36.274 INFO kablam! Sep 18 00:38:36.274 INFO kablam! If not, implement ::flatten::NotTuple for your type like Sep 18 00:38:36.274 INFO kablam! Sep 18 00:38:36.274 INFO kablam! impl ::flatten::NotTuple for OrigType {} Sep 18 00:38:36.274 INFO kablam! Sep 18 00:38:36.274 INFO kablam! This is required because current type system does not have negative reasoning. Sep 18 00:38:36.274 INFO kablam! | Sep 18 00:38:36.274 INFO kablam! = help: the trait `tuple::IntoTuple` is not implemented for `C` Sep 18 00:38:36.274 INFO kablam! = help: consider adding a `where C: tuple::IntoTuple` bound Sep 18 00:38:36.274 INFO kablam! = help: missing bounds in type aliases were previously allowed Sep 18 00:38:36.274 INFO kablam! = help: this is a hard error in Rust 2018 Sep 18 00:38:36.274 INFO kablam! Sep 18 00:38:36.276 INFO kablam! error: the trait bound `<::Specialized as into_cons::SpecializedIntoCons>::Out: tuple::IntoTuple` is not satisfied Sep 18 00:38:36.276 INFO kablam! --> src/lib.rs:43:25 Sep 18 00:38:36.276 INFO kablam! | Sep 18 00:38:36.276 INFO kablam! 43 | pub type Flattened = ::Flattened; Sep 18 00:38:36.276 INFO kablam! | ^^^^^^^^^^^^^^^^^^^^^^^^^ Sep 18 00:38:36.276 INFO kablam! If you are writing generic code, add a bound like Sep 18 00:38:36.276 INFO kablam! Sep 18 00:38:36.276 INFO kablam! where T: Flatten, Sep 18 00:38:36.276 INFO kablam! Sep 18 00:38:36.276 INFO kablam! This bound is required because Flatten is implemented only if length of output tuple is smaller than 13. Sep 18 00:38:36.276 INFO kablam! Sep 18 00:38:36.276 INFO kablam! Sep 18 00:38:36.276 INFO kablam! Sep 18 00:38:36.276 INFO kablam! If not, implement ::flatten::NotTuple for your type like Sep 18 00:38:36.276 INFO kablam! Sep 18 00:38:36.276 INFO kablam! impl ::flatten::NotTuple for T {} Sep 18 00:38:36.276 INFO kablam! Sep 18 00:38:36.276 INFO kablam! This is required because current type system does not have negative reasoning. Sep 18 00:38:36.276 INFO kablam! | Sep 18 00:38:36.276 INFO kablam! = help: the trait `tuple::IntoTuple` is not implemented for `<::Specialized as into_cons::SpecializedIntoCons>::Out` Sep 18 00:38:36.276 INFO kablam! = help: consider adding a `where <::Specialized as into_cons::SpecializedIntoCons>::Out: tuple::IntoTuple` bound Sep 18 00:38:36.276 INFO kablam! = note: required because of the requirements on the impl of `Flatten` for `T` Sep 18 00:38:36.276 INFO kablam! = help: missing bounds in type aliases were previously allowed Sep 18 00:38:36.276 INFO kablam! = help: this is a hard error in Rust 2018 Sep 18 00:38:36.277 INFO kablam! Sep 18 00:38:36.278 INFO kablam! error[E0192]: negative impls are only allowed for auto traits (e.g., `Send` and `Sync`) Sep 18 00:38:36.278 INFO kablam! --> src/into_cons.rs:207:9 Sep 18 00:38:36.278 INFO kablam! | Sep 18 00:38:36.278 INFO kablam! 207 | impl<$first_ty, $( $N ),*> !NotTuple for ( $first_ty, $( $N, )* ) {} Sep 18 00:38:36.278 INFO kablam! | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ Sep 18 00:38:36.278 INFO kablam! ... Sep 18 00:38:36.278 INFO kablam! 237 | / impl_for_tuple! { Sep 18 00:38:36.278 INFO kablam! 238 | | (0, A), Sep 18 00:38:36.278 INFO kablam! 239 | | (1, B), Sep 18 00:38:36.278 INFO kablam! 240 | | } Sep 18 00:38:36.278 INFO kablam! | |_- in this macro invocation Sep 18 00:38:36.278 INFO kablam! Sep 18 00:38:36.280 INFO kablam! error[E0192]: negative impls are only allowed for auto traits (e.g., `Send` and `Sync`) Sep 18 00:38:36.280 INFO kablam! --> src/into_cons.rs:207:9 Sep 18 00:38:36.280 INFO kablam! | Sep 18 00:38:36.280 INFO kablam! 207 | impl<$first_ty, $( $N ),*> !NotTuple for ( $first_ty, $( $N, )* ) {} Sep 18 00:38:36.280 INFO kablam! | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ Sep 18 00:38:36.280 INFO kablam! ... Sep 18 00:38:36.280 INFO kablam! 242 | / impl_for_tuple! { Sep 18 00:38:36.280 INFO kablam! 243 | | (0, A), Sep 18 00:38:36.280 INFO kablam! 244 | | (1, B), Sep 18 00:38:36.280 INFO kablam! 245 | | (2, C), Sep 18 00:38:36.280 INFO kablam! 246 | | } Sep 18 00:38:36.280 INFO kablam! | |_- in this macro invocation Sep 18 00:38:36.280 INFO kablam! Sep 18 00:38:36.282 INFO kablam! error[E0192]: negative impls are only allowed for auto traits (e.g., `Send` and `Sync`) Sep 18 00:38:36.282 INFO kablam! --> src/into_cons.rs:207:9 Sep 18 00:38:36.282 INFO kablam! | Sep 18 00:38:36.282 INFO kablam! 207 | impl<$first_ty, $( $N ),*> !NotTuple for ( $first_ty, $( $N, )* ) {} Sep 18 00:38:36.283 INFO kablam! | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ Sep 18 00:38:36.283 INFO kablam! ... Sep 18 00:38:36.283 INFO kablam! 248 | / impl_for_tuple! { Sep 18 00:38:36.283 INFO kablam! 249 | | (0, A), Sep 18 00:38:36.283 INFO kablam! 250 | | (1, B), Sep 18 00:38:36.283 INFO kablam! 251 | | (2, C), Sep 18 00:38:36.283 INFO kablam! 252 | | (3, D), Sep 18 00:38:36.283 INFO kablam! 253 | | } Sep 18 00:38:36.283 INFO kablam! | |_- in this macro invocation Sep 18 00:38:36.283 INFO kablam! Sep 18 00:38:36.288 INFO kablam! error[E0192]: negative impls are only allowed for auto traits (e.g., `Send` and `Sync`) Sep 18 00:38:36.288 INFO kablam! --> src/into_cons.rs:207:9 Sep 18 00:38:36.288 INFO kablam! | Sep 18 00:38:36.288 INFO kablam! 207 | impl<$first_ty, $( $N ),*> !NotTuple for ( $first_ty, $( $N, )* ) {} Sep 18 00:38:36.288 INFO kablam! | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ Sep 18 00:38:36.288 INFO kablam! ... Sep 18 00:38:36.288 INFO kablam! 255 | / impl_for_tuple! { Sep 18 00:38:36.288 INFO kablam! 256 | | (0, A), Sep 18 00:38:36.288 INFO kablam! 257 | | (1, B), Sep 18 00:38:36.288 INFO kablam! 258 | | (2, C), Sep 18 00:38:36.288 INFO kablam! 259 | | (3, D), Sep 18 00:38:36.288 INFO kablam! 260 | | (4, E), Sep 18 00:38:36.288 INFO kablam! 261 | | } Sep 18 00:38:36.288 INFO kablam! | |_- in this macro invocation Sep 18 00:38:36.288 INFO kablam! Sep 18 00:38:36.292 INFO kablam! error[E0192]: negative impls are only allowed for auto traits (e.g., `Send` and `Sync`) Sep 18 00:38:36.292 INFO kablam! --> src/into_cons.rs:207:9 Sep 18 00:38:36.292 INFO kablam! | Sep 18 00:38:36.292 INFO kablam! 207 | impl<$first_ty, $( $N ),*> !NotTuple for ( $first_ty, $( $N, )* ) {} Sep 18 00:38:36.292 INFO kablam! | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ Sep 18 00:38:36.292 INFO kablam! ... Sep 18 00:38:36.292 INFO kablam! 263 | / impl_for_tuple! { Sep 18 00:38:36.292 INFO kablam! 264 | | (0, A), Sep 18 00:38:36.292 INFO kablam! 265 | | (1, B), Sep 18 00:38:36.292 INFO kablam! 266 | | (2, C), Sep 18 00:38:36.292 INFO kablam! ... | Sep 18 00:38:36.292 INFO kablam! 269 | | (5, F), Sep 18 00:38:36.292 INFO kablam! 270 | | } Sep 18 00:38:36.292 INFO kablam! | |_- in this macro invocation Sep 18 00:38:36.292 INFO kablam! Sep 18 00:38:36.297 INFO kablam! error[E0192]: negative impls are only allowed for auto traits (e.g., `Send` and `Sync`) Sep 18 00:38:36.297 INFO kablam! --> src/into_cons.rs:207:9 Sep 18 00:38:36.297 INFO kablam! | Sep 18 00:38:36.297 INFO kablam! 207 | impl<$first_ty, $( $N ),*> !NotTuple for ( $first_ty, $( $N, )* ) {} Sep 18 00:38:36.297 INFO kablam! | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ Sep 18 00:38:36.297 INFO kablam! ... Sep 18 00:38:36.297 INFO kablam! 272 | / impl_for_tuple! { Sep 18 00:38:36.297 INFO kablam! 273 | | (0, A), Sep 18 00:38:36.297 INFO kablam! 274 | | (1, B), Sep 18 00:38:36.297 INFO kablam! 275 | | (2, C), Sep 18 00:38:36.297 INFO kablam! ... | Sep 18 00:38:36.297 INFO kablam! 279 | | (6, G), Sep 18 00:38:36.297 INFO kablam! 280 | | } Sep 18 00:38:36.297 INFO kablam! | |_- in this macro invocation Sep 18 00:38:36.297 INFO kablam! Sep 18 00:38:36.302 INFO kablam! error: the trait bound `T: cons::fix::Fix` is not satisfied Sep 18 00:38:36.302 INFO kablam! --> src/cons/fix.rs:20:21 Sep 18 00:38:36.302 INFO kablam! | Sep 18 00:38:36.302 INFO kablam! 20 | pub type Fixed = ::Fixed; Sep 18 00:38:36.302 INFO kablam! | ^^^^^^^^^^^^^^^^^ the trait `cons::fix::Fix` is not implemented for `T` Sep 18 00:38:36.302 INFO kablam! | Sep 18 00:38:36.302 INFO kablam! = note: #[deny(type_alias_missing_bounds)] on by default Sep 18 00:38:36.302 INFO kablam! = help: consider adding a `where T: cons::fix::Fix` bound Sep 18 00:38:36.302 INFO kablam! = help: missing bounds in type aliases were previously allowed Sep 18 00:38:36.302 INFO kablam! = help: this is a hard error in Rust 2018 Sep 18 00:38:36.302 INFO kablam! Sep 18 00:38:36.306 INFO kablam! error: the trait bound `T: cons::ValidHead` is not satisfied Sep 18 00:38:36.306 INFO kablam! --> src/cons/fix.rs:29:25 Sep 18 00:38:36.306 INFO kablam! | Sep 18 00:38:36.306 INFO kablam! 29 | pub type FixedHead = ::Fixed; Sep 18 00:38:36.306 INFO kablam! | ^^^^^^^^^^^^^^^^^^^^^ the trait `cons::ValidHead` is not implemented for `T` Sep 18 00:38:36.306 INFO kablam! | Sep 18 00:38:36.306 INFO kablam! = help: consider adding a `where T: cons::ValidHead` bound Sep 18 00:38:36.306 INFO kablam! = note: required because of the requirements on the impl of `cons::fix::FixHead` for `T` Sep 18 00:38:36.306 INFO kablam! = help: missing bounds in type aliases were previously allowed Sep 18 00:38:36.306 INFO kablam! = help: this is a hard error in Rust 2018 Sep 18 00:38:36.306 INFO kablam! Sep 18 00:38:36.306 INFO kablam! error[E0192]: negative impls are only allowed for auto traits (e.g., `Send` and `Sync`) Sep 18 00:38:36.306 INFO kablam! --> src/into_cons.rs:207:9 Sep 18 00:38:36.306 INFO kablam! | Sep 18 00:38:36.306 INFO kablam! 207 | impl<$first_ty, $( $N ),*> !NotTuple for ( $first_ty, $( $N, )* ) {} Sep 18 00:38:36.306 INFO kablam! | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ Sep 18 00:38:36.306 INFO kablam! ... Sep 18 00:38:36.306 INFO kablam! 282 | / impl_for_tuple! { Sep 18 00:38:36.306 INFO kablam! 283 | | (0, A), Sep 18 00:38:36.306 INFO kablam! 284 | | (1, B), Sep 18 00:38:36.306 INFO kablam! 285 | | (2, C), Sep 18 00:38:36.306 INFO kablam! ... | Sep 18 00:38:36.306 INFO kablam! 290 | | (7, H), Sep 18 00:38:36.306 INFO kablam! 291 | | } Sep 18 00:38:36.306 INFO kablam! | |_- in this macro invocation Sep 18 00:38:36.306 INFO kablam! Sep 18 00:38:36.306 INFO kablam! error: the trait bound `Head: cons::ValidHead` is not satisfied Sep 18 00:38:36.306 INFO kablam! --> src/cons/fix.rs:59:31 Sep 18 00:38:36.306 INFO kablam! | Sep 18 00:38:36.306 INFO kablam! 59 | pub type Concat = >::Output; Sep 18 00:38:36.306 INFO kablam! | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ the trait `cons::ValidHead` is not implemented for `Head` Sep 18 00:38:36.306 INFO kablam! | Sep 18 00:38:36.306 INFO kablam! = help: consider adding a `where Head: cons::ValidHead` bound Sep 18 00:38:36.306 INFO kablam! = note: required because of the requirements on the impl of `cons::Append` for `Head` Sep 18 00:38:36.306 INFO kablam! = help: missing bounds in type aliases were previously allowed Sep 18 00:38:36.306 INFO kablam! = help: this is a hard error in Rust 2018 Sep 18 00:38:36.306 INFO kablam! Sep 18 00:38:36.306 INFO kablam! error: the trait bound `Tail: cons::ValidNode` is not satisfied Sep 18 00:38:36.306 INFO kablam! --> src/cons/fix.rs:59:31 Sep 18 00:38:36.306 INFO kablam! | Sep 18 00:38:36.306 INFO kablam! 59 | pub type Concat = >::Output; Sep 18 00:38:36.306 INFO kablam! | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ the trait `cons::ValidNode` is not implemented for `Tail` Sep 18 00:38:36.306 INFO kablam! | Sep 18 00:38:36.306 INFO kablam! = help: consider adding a `where Tail: cons::ValidNode` bound Sep 18 00:38:36.306 INFO kablam! = note: required because of the requirements on the impl of `cons::Append` for `Head` Sep 18 00:38:36.306 INFO kablam! = help: missing bounds in type aliases were previously allowed Sep 18 00:38:36.306 INFO kablam! = help: this is a hard error in Rust 2018 Sep 18 00:38:36.306 INFO kablam! Sep 18 00:38:36.306 INFO kablam! error: the trait bound `Head: cons::ValidHead` is not satisfied Sep 18 00:38:36.306 INFO kablam! --> src/cons/fix.rs:61:36 Sep 18 00:38:36.306 INFO kablam! | Sep 18 00:38:36.306 INFO kablam! 61 | pub type ConcatFixed = Concat, Fixed>; Sep 18 00:38:36.307 INFO kablam! | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ the trait `cons::ValidHead` is not implemented for `Head` Sep 18 00:38:36.307 INFO kablam! | Sep 18 00:38:36.307 INFO kablam! = help: consider adding a `where Head: cons::ValidHead` bound Sep 18 00:38:36.307 INFO kablam! = note: required because of the requirements on the impl of `cons::fix::FixHead` for `Head` Sep 18 00:38:36.307 INFO kablam! = help: missing bounds in type aliases were previously allowed Sep 18 00:38:36.307 INFO kablam! = help: this is a hard error in Rust 2018 Sep 18 00:38:36.307 INFO kablam! Sep 18 00:38:36.307 INFO kablam! error: the trait bound `Tail: cons::fix::Fix` is not satisfied Sep 18 00:38:36.307 INFO kablam! --> src/cons/fix.rs:61:36 Sep 18 00:38:36.307 INFO kablam! | Sep 18 00:38:36.307 INFO kablam! 61 | pub type ConcatFixed = Concat, Fixed>; Sep 18 00:38:36.307 INFO kablam! | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ the trait `cons::fix::Fix` is not implemented for `Tail` Sep 18 00:38:36.307 INFO kablam! | Sep 18 00:38:36.307 INFO kablam! = help: consider adding a `where Tail: cons::fix::Fix` bound Sep 18 00:38:36.307 INFO kablam! = help: missing bounds in type aliases were previously allowed Sep 18 00:38:36.307 INFO kablam! = help: this is a hard error in Rust 2018 Sep 18 00:38:36.307 INFO kablam! Sep 18 00:38:36.307 INFO kablam! error: the trait bound `cons::Cons: cons::Append<_>` is not satisfied Sep 18 00:38:36.307 INFO kablam! --> src/cons/fix.rs:61:36 Sep 18 00:38:36.307 INFO kablam! | Sep 18 00:38:36.307 INFO kablam! 61 | pub type ConcatFixed = Concat, Fixed>; Sep 18 00:38:36.307 INFO kablam! | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ the trait `cons::Append<_>` is not implemented for `cons::Cons` Sep 18 00:38:36.307 INFO kablam! | Sep 18 00:38:36.307 INFO kablam! = help: the following implementations were found: Sep 18 00:38:36.307 INFO kablam! as cons::Append> Sep 18 00:38:36.307 INFO kablam! = help: missing bounds in type aliases were previously allowed Sep 18 00:38:36.307 INFO kablam! = help: this is a hard error in Rust 2018 Sep 18 00:38:36.307 INFO kablam! Sep 18 00:38:36.307 INFO kablam! error[E0277]: the trait bound `usize: cons::ValidHead` is not satisfied Sep 18 00:38:36.307 INFO kablam! --> src/cons/fix.rs:93:6 Sep 18 00:38:36.307 INFO kablam! | Sep 18 00:38:36.307 INFO kablam! 93 | impl AssertValid for Cons {} Sep 18 00:38:36.307 INFO kablam! | ^^^^^^^^^^^ the trait `cons::ValidHead` is not implemented for `usize` Sep 18 00:38:36.307 INFO kablam! | Sep 18 00:38:36.307 INFO kablam! = note: required because of the requirements on the impl of `cons::fix::FixHead` for `usize` Sep 18 00:38:36.307 INFO kablam! = note: required because of the requirements on the impl of `cons::fix::Fix` for `cons::Cons` Sep 18 00:38:36.307 INFO kablam! Sep 18 00:38:36.307 INFO kablam! error[E0277]: the trait bound `cons::Cons: cons::Append` is not satisfied Sep 18 00:38:36.307 INFO kablam! --> src/cons/fix.rs:93:6 Sep 18 00:38:36.307 INFO kablam! | Sep 18 00:38:36.307 INFO kablam! 93 | impl AssertValid for Cons {} Sep 18 00:38:36.307 INFO kablam! | ^^^^^^^^^^^ the trait `cons::Append` is not implemented for `cons::Cons` Sep 18 00:38:36.307 INFO kablam! | Sep 18 00:38:36.307 INFO kablam! = help: the following implementations were found: Sep 18 00:38:36.307 INFO kablam! as cons::Append> Sep 18 00:38:36.307 INFO kablam! = note: required because of the requirements on the impl of `cons::fix::Fix` for `cons::Cons` Sep 18 00:38:36.307 INFO kablam! Sep 18 00:38:36.307 INFO kablam! error[E0277]: the trait bound `usize: cons::ValidHead` is not satisfied Sep 18 00:38:36.307 INFO kablam! --> src/cons/fix.rs:95:6 Sep 18 00:38:36.307 INFO kablam! | Sep 18 00:38:36.307 INFO kablam! 95 | impl AssertFix> for Cons, Nil> {} Sep 18 00:38:36.307 INFO kablam! | ^^^^^^^^^^^^^^^^^^^^^^^^^^^ the trait `cons::ValidHead` is not implemented for `usize` Sep 18 00:38:36.307 INFO kablam! | Sep 18 00:38:36.307 INFO kablam! = note: required because of the requirements on the impl of `cons::fix::FixHead` for `usize` Sep 18 00:38:36.307 INFO kablam! = note: required because of the requirements on the impl of `cons::fix::Fix` for `cons::Cons` Sep 18 00:38:36.307 INFO kablam! Sep 18 00:38:36.307 INFO kablam! error[E0277]: the trait bound `cons::Cons: cons::Append` is not satisfied Sep 18 00:38:36.307 INFO kablam! --> src/cons/fix.rs:95:6 Sep 18 00:38:36.307 INFO kablam! | Sep 18 00:38:36.307 INFO kablam! 95 | impl AssertFix> for Cons, Nil> {} Sep 18 00:38:36.307 INFO kablam! | ^^^^^^^^^^^^^^^^^^^^^^^^^^^ the trait `cons::Append` is not implemented for `cons::Cons` Sep 18 00:38:36.307 INFO kablam! | Sep 18 00:38:36.308 INFO kablam! = help: the following implementations were found: Sep 18 00:38:36.308 INFO kablam! as cons::Append> Sep 18 00:38:36.308 INFO kablam! = note: required because of the requirements on the impl of `cons::fix::Fix` for `cons::Cons` Sep 18 00:38:36.308 INFO kablam! Sep 18 00:38:36.308 INFO kablam! error[E0277]: the trait bound `cons::Cons: cons::fix::FixHead` is not satisfied Sep 18 00:38:36.308 INFO kablam! --> src/cons/fix.rs:95:6 Sep 18 00:38:36.308 INFO kablam! | Sep 18 00:38:36.308 INFO kablam! 95 | impl AssertFix> for Cons, Nil> {} Sep 18 00:38:36.308 INFO kablam! | ^^^^^^^^^^^^^^^^^^^^^^^^^^^ the trait `cons::fix::FixHead` is not implemented for `cons::Cons` Sep 18 00:38:36.308 INFO kablam! | Sep 18 00:38:36.308 INFO kablam! = help: the following implementations were found: Sep 18 00:38:36.308 INFO kablam! as cons::fix::FixHead> Sep 18 00:38:36.308 INFO kablam! = note: required because of the requirements on the impl of `cons::fix::Fix` for `cons::Cons, cons::Nil>` Sep 18 00:38:36.308 INFO kablam! Sep 18 00:38:36.308 INFO kablam! error[E0277]: the trait bound `usize: cons::ValidHead` is not satisfied Sep 18 00:38:36.308 INFO kablam! --> src/cons/fix.rs:96:6 Sep 18 00:38:36.308 INFO kablam! | Sep 18 00:38:36.308 INFO kablam! 96 | impl AssertFix> for Cons, Nil>, Nil> {} Sep 18 00:38:36.308 INFO kablam! | ^^^^^^^^^^^^^^^^^^^^^^^^^^^ the trait `cons::ValidHead` is not implemented for `usize` Sep 18 00:38:36.308 INFO kablam! | Sep 18 00:38:36.308 INFO kablam! = note: required because of the requirements on the impl of `cons::fix::FixHead` for `usize` Sep 18 00:38:36.308 INFO kablam! = note: required because of the requirements on the impl of `cons::fix::Fix` for `cons::Cons` Sep 18 00:38:36.308 INFO kablam! Sep 18 00:38:36.308 INFO kablam! error[E0277]: the trait bound `cons::Cons: cons::Append` is not satisfied Sep 18 00:38:36.308 INFO kablam! --> src/cons/fix.rs:96:6 Sep 18 00:38:36.308 INFO kablam! | Sep 18 00:38:36.308 INFO kablam! 96 | impl AssertFix> for Cons, Nil>, Nil> {} Sep 18 00:38:36.308 INFO kablam! | ^^^^^^^^^^^^^^^^^^^^^^^^^^^ the trait `cons::Append` is not implemented for `cons::Cons` Sep 18 00:38:36.308 INFO kablam! | Sep 18 00:38:36.308 INFO kablam! = help: the following implementations were found: Sep 18 00:38:36.308 INFO kablam! as cons::Append> Sep 18 00:38:36.308 INFO kablam! = note: required because of the requirements on the impl of `cons::fix::Fix` for `cons::Cons` Sep 18 00:38:36.308 INFO kablam! Sep 18 00:38:36.308 INFO kablam! error[E0277]: the trait bound `cons::Cons, cons::Nil>: cons::fix::FixHead` is not satisfied Sep 18 00:38:36.308 INFO kablam! --> src/cons/fix.rs:96:6 Sep 18 00:38:36.309 INFO kablam! | Sep 18 00:38:36.309 INFO kablam! 96 | impl AssertFix> for Cons, Nil>, Nil> {} Sep 18 00:38:36.309 INFO kablam! | ^^^^^^^^^^^^^^^^^^^^^^^^^^^ the trait `cons::fix::FixHead` is not implemented for `cons::Cons, cons::Nil>` Sep 18 00:38:36.309 INFO kablam! | Sep 18 00:38:36.309 INFO kablam! = help: the following implementations were found: Sep 18 00:38:36.309 INFO kablam! as cons::fix::FixHead> Sep 18 00:38:36.309 INFO kablam! = note: required because of the requirements on the impl of `cons::fix::Fix` for `cons::Cons, cons::Nil>, cons::Nil>` Sep 18 00:38:36.309 INFO kablam! Sep 18 00:38:36.311 INFO kablam! error[E0277]: the trait bound `usize: cons::ValidHead` is not satisfied Sep 18 00:38:36.311 INFO kablam! --> src/cons/fix.rs:98:6 Sep 18 00:38:36.311 INFO kablam! | Sep 18 00:38:36.311 INFO kablam! 98 | impl AssertFix>> for Cons, Cons>, Nil> {} Sep 18 00:38:36.311 INFO kablam! | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ the trait `cons::ValidHead` is not implemented for `usize` Sep 18 00:38:36.311 INFO kablam! | Sep 18 00:38:36.311 INFO kablam! = note: required because of the requirements on the impl of `cons::fix::FixHead` for `usize` Sep 18 00:38:36.311 INFO kablam! = note: required because of the requirements on the impl of `cons::fix::Fix` for `cons::Cons>` Sep 18 00:38:36.311 INFO kablam! Sep 18 00:38:36.311 INFO kablam! error[E0277]: the trait bound `u64: cons::ValidHead` is not satisfied Sep 18 00:38:36.311 INFO kablam! --> src/cons/fix.rs:98:6 Sep 18 00:38:36.311 INFO kablam! | Sep 18 00:38:36.311 INFO kablam! 98 | impl AssertFix>> for Cons, Cons>, Nil> {} Sep 18 00:38:36.311 INFO kablam! | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ the trait `cons::ValidHead` is not implemented for `u64` Sep 18 00:38:36.311 INFO kablam! | Sep 18 00:38:36.311 INFO kablam! = note: required because of the requirements on the impl of `cons::fix::FixHead` for `u64` Sep 18 00:38:36.311 INFO kablam! = note: required because of the requirements on the impl of `cons::fix::Fix` for `cons::Cons` Sep 18 00:38:36.311 INFO kablam! = note: required because of the requirements on the impl of `cons::fix::Fix` for `cons::Cons>` Sep 18 00:38:36.311 INFO kablam! Sep 18 00:38:36.311 INFO kablam! error[E0277]: the trait bound `cons::Cons: cons::Append` is not satisfied Sep 18 00:38:36.311 INFO kablam! --> src/cons/fix.rs:98:6 Sep 18 00:38:36.311 INFO kablam! | Sep 18 00:38:36.311 INFO kablam! 98 | impl AssertFix>> for Cons, Cons>, Nil> {} Sep 18 00:38:36.311 INFO kablam! | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ the trait `cons::Append` is not implemented for `cons::Cons` Sep 18 00:38:36.311 INFO kablam! | Sep 18 00:38:36.311 INFO kablam! = help: the following implementations were found: Sep 18 00:38:36.311 INFO kablam! as cons::Append> Sep 18 00:38:36.311 INFO kablam! = note: required because of the requirements on the impl of `cons::fix::Fix` for `cons::Cons` Sep 18 00:38:36.311 INFO kablam! = note: required because of the requirements on the impl of `cons::fix::Fix` for `cons::Cons>` Sep 18 00:38:36.311 INFO kablam! Sep 18 00:38:36.311 INFO kablam! error[E0277]: the trait bound `cons::Cons: cons::Append<_>` is not satisfied Sep 18 00:38:36.311 INFO kablam! --> src/cons/fix.rs:98:6 Sep 18 00:38:36.311 INFO kablam! | Sep 18 00:38:36.311 INFO kablam! 98 | impl AssertFix>> for Cons, Cons>, Nil> {} Sep 18 00:38:36.311 INFO kablam! | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ the trait `cons::Append<_>` is not implemented for `cons::Cons` Sep 18 00:38:36.311 INFO kablam! | Sep 18 00:38:36.311 INFO kablam! = help: the following implementations were found: Sep 18 00:38:36.311 INFO kablam! as cons::Append> Sep 18 00:38:36.311 INFO kablam! = note: required because of the requirements on the impl of `cons::fix::Fix` for `cons::Cons>` Sep 18 00:38:36.311 INFO kablam! Sep 18 00:38:36.311 INFO kablam! error[E0277]: the trait bound `cons::Cons, cons::Cons>: cons::fix::FixHead` is not satisfied Sep 18 00:38:36.311 INFO kablam! --> src/cons/fix.rs:98:6 Sep 18 00:38:36.311 INFO kablam! | Sep 18 00:38:36.311 INFO kablam! 98 | impl AssertFix>> for Cons, Cons>, Nil> {} Sep 18 00:38:36.311 INFO kablam! | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ the trait `cons::fix::FixHead` is not implemented for `cons::Cons, cons::Cons>` Sep 18 00:38:36.311 INFO kablam! | Sep 18 00:38:36.311 INFO kablam! = help: the following implementations were found: Sep 18 00:38:36.311 INFO kablam! as cons::fix::FixHead> Sep 18 00:38:36.312 INFO kablam! = note: required because of the requirements on the impl of `cons::fix::Fix` for `cons::Cons, cons::Cons>, cons::Nil>` Sep 18 00:38:36.312 INFO kablam! Sep 18 00:38:36.315 INFO kablam! error: the trait bound `N: cons::Node` is not satisfied Sep 18 00:38:36.315 INFO kablam! --> src/cons/mod.rs:20:22 Sep 18 00:38:36.315 INFO kablam! | Sep 18 00:38:36.315 INFO kablam! 20 | pub type AsCons = Cons<::ConsHead, ::ConsTail>; Sep 18 00:38:36.315 INFO kablam! | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ the trait `cons::Node` is not implemented for `N` Sep 18 00:38:36.315 INFO kablam! | Sep 18 00:38:36.315 INFO kablam! = help: consider adding a `where N: cons::Node` bound Sep 18 00:38:36.315 INFO kablam! = help: missing bounds in type aliases were previously allowed Sep 18 00:38:36.315 INFO kablam! = help: this is a hard error in Rust 2018 Sep 18 00:38:36.315 INFO kablam! Sep 18 00:38:36.315 INFO kablam! error[E0192]: negative impls are only allowed for auto traits (e.g., `Send` and `Sync`) Sep 18 00:38:36.315 INFO kablam! --> src/cons/mod.rs:26:1 Sep 18 00:38:36.315 INFO kablam! | Sep 18 00:38:36.315 INFO kablam! 26 | impl !ValidHead for Nil {} Sep 18 00:38:36.315 INFO kablam! | ^^^^^^^^^^^^^^^^^^^^^^^^^^ Sep 18 00:38:36.315 INFO kablam! Sep 18 00:38:36.315 INFO kablam! error[E0192]: negative impls are only allowed for auto traits (e.g., `Send` and `Sync`) Sep 18 00:38:36.315 INFO kablam! --> src/cons/mod.rs:27:1 Sep 18 00:38:36.315 INFO kablam! | Sep 18 00:38:36.315 INFO kablam! 27 | impl !ValidHead for Cons {} Sep 18 00:38:36.315 INFO kablam! | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ Sep 18 00:38:36.315 INFO kablam! Sep 18 00:38:36.315 INFO kablam! error: the trait bound `Head: cons::ValidHead` is not satisfied Sep 18 00:38:36.315 INFO kablam! --> src/cons/mod.rs:96:31 Sep 18 00:38:36.315 INFO kablam! | Sep 18 00:38:36.315 INFO kablam! 96 | pub type Concat = >::Output; Sep 18 00:38:36.315 INFO kablam! | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ the trait `cons::ValidHead` is not implemented for `Head` Sep 18 00:38:36.315 INFO kablam! | Sep 18 00:38:36.315 INFO kablam! = help: consider adding a `where Head: cons::ValidHead` bound Sep 18 00:38:36.315 INFO kablam! = note: required because of the requirements on the impl of `cons::Append` for `Head` Sep 18 00:38:36.315 INFO kablam! = help: missing bounds in type aliases were previously allowed Sep 18 00:38:36.315 INFO kablam! = help: this is a hard error in Rust 2018 Sep 18 00:38:36.315 INFO kablam! Sep 18 00:38:36.315 INFO kablam! error: the trait bound `Tail: cons::ValidNode` is not satisfied Sep 18 00:38:36.315 INFO kablam! --> src/cons/mod.rs:96:31 Sep 18 00:38:36.315 INFO kablam! | Sep 18 00:38:36.315 INFO kablam! 96 | pub type Concat = >::Output; Sep 18 00:38:36.315 INFO kablam! | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ the trait `cons::ValidNode` is not implemented for `Tail` Sep 18 00:38:36.315 INFO kablam! | Sep 18 00:38:36.315 INFO kablam! = help: consider adding a `where Tail: cons::ValidNode` bound Sep 18 00:38:36.315 INFO kablam! = note: required because of the requirements on the impl of `cons::Append` for `Head` Sep 18 00:38:36.316 INFO kablam! = help: missing bounds in type aliases were previously allowed Sep 18 00:38:36.316 INFO kablam! = help: this is a hard error in Rust 2018 Sep 18 00:38:36.316 INFO kablam! Sep 18 00:38:36.316 INFO kablam! error[E0192]: negative impls are only allowed for auto traits (e.g., `Send` and `Sync`) Sep 18 00:38:36.316 INFO kablam! --> src/into_cons.rs:143:1 Sep 18 00:38:36.316 INFO kablam! | Sep 18 00:38:36.316 INFO kablam! 143 | impl !NotTuple for () {} Sep 18 00:38:36.316 INFO kablam! | ^^^^^^^^^^^^^^^^^^^^^^^^ Sep 18 00:38:36.316 INFO kablam! Sep 18 00:38:36.316 INFO kablam! error[E0192]: negative impls are only allowed for auto traits (e.g., `Send` and `Sync`) Sep 18 00:38:36.316 INFO kablam! --> src/into_cons.rs:144:1 Sep 18 00:38:36.316 INFO kablam! | Sep 18 00:38:36.316 INFO kablam! 144 | impl !NotTuple for (A,) {} Sep 18 00:38:36.316 INFO kablam! | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ Sep 18 00:38:36.316 INFO kablam! Sep 18 00:38:36.316 INFO kablam! error[E0192]: negative impls are only allowed for auto traits (e.g., `Send` and `Sync`) Sep 18 00:38:36.316 INFO kablam! --> src/into_cons.rs:145:1 Sep 18 00:38:36.316 INFO kablam! | Sep 18 00:38:36.316 INFO kablam! 145 | impl !NotTuple for Either {} Sep 18 00:38:36.316 INFO kablam! | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ Sep 18 00:38:36.316 INFO kablam! Sep 18 00:38:36.316 INFO kablam! error: the trait bound `C: tuple::IntoTuple` is not satisfied Sep 18 00:38:36.316 INFO kablam! --> src/tuple.rs:38:33 Sep 18 00:38:36.316 INFO kablam! | Sep 18 00:38:36.316 INFO kablam! 38 | pub type TupleOf = >::Out; Sep 18 00:38:36.316 INFO kablam! | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ Sep 18 00:38:36.316 INFO kablam! If you are writing generic code, add a bound like Sep 18 00:38:36.316 INFO kablam! Sep 18 00:38:36.316 INFO kablam! where OrigType: Flatten, Sep 18 00:38:36.316 INFO kablam! Sep 18 00:38:36.316 INFO kablam! This bound is required because Flatten is implemented only if length of output tuple is smaller than 13. Sep 18 00:38:36.316 INFO kablam! Sep 18 00:38:36.316 INFO kablam! Sep 18 00:38:36.316 INFO kablam! Sep 18 00:38:36.316 INFO kablam! If not, implement ::flatten::NotTuple for your type like Sep 18 00:38:36.316 INFO kablam! Sep 18 00:38:36.316 INFO kablam! impl ::flatten::NotTuple for OrigType {} Sep 18 00:38:36.316 INFO kablam! Sep 18 00:38:36.316 INFO kablam! This is required because current type system does not have negative reasoning. Sep 18 00:38:36.316 INFO kablam! | Sep 18 00:38:36.316 INFO kablam! = help: the trait `tuple::IntoTuple` is not implemented for `C` Sep 18 00:38:36.316 INFO kablam! = help: consider adding a `where C: tuple::IntoTuple` bound Sep 18 00:38:36.316 INFO kablam! = help: missing bounds in type aliases were previously allowed Sep 18 00:38:36.316 INFO kablam! = help: this is a hard error in Rust 2018 Sep 18 00:38:36.316 INFO kablam! Sep 18 00:38:36.316 INFO kablam! error: the trait bound `<::Specialized as into_cons::SpecializedIntoCons>::Out: tuple::IntoTuple` is not satisfied Sep 18 00:38:36.316 INFO kablam! --> src/lib.rs:43:25 Sep 18 00:38:36.316 INFO kablam! | Sep 18 00:38:36.316 INFO kablam! 43 | pub type Flattened = ::Flattened; Sep 18 00:38:36.316 INFO kablam! | ^^^^^^^^^^^^^^^^^^^^^^^^^ Sep 18 00:38:36.316 INFO kablam! If you are writing generic code, add a bound like Sep 18 00:38:36.316 INFO kablam! Sep 18 00:38:36.316 INFO kablam! where T: Flatten, Sep 18 00:38:36.316 INFO kablam! Sep 18 00:38:36.316 INFO kablam! This bound is required because Flatten is implemented only if length of output tuple is smaller than 13. Sep 18 00:38:36.317 INFO kablam! Sep 18 00:38:36.317 INFO kablam! Sep 18 00:38:36.317 INFO kablam! Sep 18 00:38:36.317 INFO kablam! If not, implement ::flatten::NotTuple for your type like Sep 18 00:38:36.317 INFO kablam! Sep 18 00:38:36.317 INFO kablam! impl ::flatten::NotTuple for T {} Sep 18 00:38:36.317 INFO kablam! Sep 18 00:38:36.317 INFO kablam! This is required because current type system does not have negative reasoning. Sep 18 00:38:36.317 INFO kablam! | Sep 18 00:38:36.317 INFO kablam! = help: the trait `tuple::IntoTuple` is not implemented for `<::Specialized as into_cons::SpecializedIntoCons>::Out` Sep 18 00:38:36.317 INFO kablam! = help: consider adding a `where <::Specialized as into_cons::SpecializedIntoCons>::Out: tuple::IntoTuple` bound Sep 18 00:38:36.317 INFO kablam! = note: required because of the requirements on the impl of `Flatten` for `T` Sep 18 00:38:36.317 INFO kablam! = help: missing bounds in type aliases were previously allowed Sep 18 00:38:36.317 INFO kablam! = help: this is a hard error in Rust 2018 Sep 18 00:38:36.317 INFO kablam! Sep 18 00:38:36.319 INFO kablam! error[E0192]: negative impls are only allowed for auto traits (e.g., `Send` and `Sync`) Sep 18 00:38:36.319 INFO kablam! --> src/into_cons.rs:207:9 Sep 18 00:38:36.319 INFO kablam! | Sep 18 00:38:36.319 INFO kablam! 207 | impl<$first_ty, $( $N ),*> !NotTuple for ( $first_ty, $( $N, )* ) {} Sep 18 00:38:36.319 INFO kablam! | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ Sep 18 00:38:36.319 INFO kablam! ... Sep 18 00:38:36.319 INFO kablam! 293 | / impl_for_tuple! { Sep 18 00:38:36.319 INFO kablam! 294 | | (0, A), Sep 18 00:38:36.319 INFO kablam! 295 | | (1, B), Sep 18 00:38:36.319 INFO kablam! 296 | | (2, C), Sep 18 00:38:36.319 INFO kablam! ... | Sep 18 00:38:36.319 INFO kablam! 302 | | (8, I), Sep 18 00:38:36.319 INFO kablam! 303 | | } Sep 18 00:38:36.319 INFO kablam! | |_- in this macro invocation Sep 18 00:38:36.319 INFO kablam! Sep 18 00:38:36.319 INFO kablam! error[E0192]: negative impls are only allowed for auto traits (e.g., `Send` and `Sync`) Sep 18 00:38:36.319 INFO kablam! --> src/into_cons.rs:207:9 Sep 18 00:38:36.319 INFO kablam! | Sep 18 00:38:36.319 INFO kablam! 207 | impl<$first_ty, $( $N ),*> !NotTuple for ( $first_ty, $( $N, )* ) {} Sep 18 00:38:36.319 INFO kablam! | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ Sep 18 00:38:36.319 INFO kablam! ... Sep 18 00:38:36.319 INFO kablam! 237 | / impl_for_tuple! { Sep 18 00:38:36.319 INFO kablam! 238 | | (0, A), Sep 18 00:38:36.319 INFO kablam! 239 | | (1, B), Sep 18 00:38:36.319 INFO kablam! 240 | | } Sep 18 00:38:36.319 INFO kablam! | |_- in this macro invocation Sep 18 00:38:36.319 INFO kablam! Sep 18 00:38:36.327 INFO kablam! error[E0192]: negative impls are only allowed for auto traits (e.g., `Send` and `Sync`) Sep 18 00:38:36.327 INFO kablam! --> src/into_cons.rs:207:9 Sep 18 00:38:36.327 INFO kablam! | Sep 18 00:38:36.327 INFO kablam! 207 | impl<$first_ty, $( $N ),*> !NotTuple for ( $first_ty, $( $N, )* ) {} Sep 18 00:38:36.327 INFO kablam! | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ Sep 18 00:38:36.327 INFO kablam! ... Sep 18 00:38:36.327 INFO kablam! 242 | / impl_for_tuple! { Sep 18 00:38:36.327 INFO kablam! 243 | | (0, A), Sep 18 00:38:36.327 INFO kablam! 244 | | (1, B), Sep 18 00:38:36.327 INFO kablam! 245 | | (2, C), Sep 18 00:38:36.327 INFO kablam! 246 | | } Sep 18 00:38:36.327 INFO kablam! | |_- in this macro invocation Sep 18 00:38:36.327 INFO kablam! Sep 18 00:38:36.327 INFO kablam! error[E0192]: negative impls are only allowed for auto traits (e.g., `Send` and `Sync`) Sep 18 00:38:36.327 INFO kablam! --> src/into_cons.rs:207:9 Sep 18 00:38:36.327 INFO kablam! | Sep 18 00:38:36.327 INFO kablam! 207 | impl<$first_ty, $( $N ),*> !NotTuple for ( $first_ty, $( $N, )* ) {} Sep 18 00:38:36.327 INFO kablam! | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ Sep 18 00:38:36.327 INFO kablam! ... Sep 18 00:38:36.327 INFO kablam! 248 | / impl_for_tuple! { Sep 18 00:38:36.327 INFO kablam! 249 | | (0, A), Sep 18 00:38:36.327 INFO kablam! 250 | | (1, B), Sep 18 00:38:36.327 INFO kablam! 251 | | (2, C), Sep 18 00:38:36.327 INFO kablam! 252 | | (3, D), Sep 18 00:38:36.327 INFO kablam! 253 | | } Sep 18 00:38:36.327 INFO kablam! | |_- in this macro invocation Sep 18 00:38:36.327 INFO kablam! Sep 18 00:38:36.327 INFO kablam! error[E0192]: negative impls are only allowed for auto traits (e.g., `Send` and `Sync`) Sep 18 00:38:36.327 INFO kablam! --> src/into_cons.rs:207:9 Sep 18 00:38:36.327 INFO kablam! | Sep 18 00:38:36.327 INFO kablam! 207 | impl<$first_ty, $( $N ),*> !NotTuple for ( $first_ty, $( $N, )* ) {} Sep 18 00:38:36.327 INFO kablam! | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ Sep 18 00:38:36.327 INFO kablam! ... Sep 18 00:38:36.327 INFO kablam! 305 | / impl_for_tuple! { Sep 18 00:38:36.327 INFO kablam! 306 | | (0, A), Sep 18 00:38:36.327 INFO kablam! 307 | | (1, B), Sep 18 00:38:36.327 INFO kablam! 308 | | (2, C), Sep 18 00:38:36.327 INFO kablam! ... | Sep 18 00:38:36.327 INFO kablam! 315 | | (9, J), Sep 18 00:38:36.327 INFO kablam! 316 | | } Sep 18 00:38:36.327 INFO kablam! | |_- in this macro invocation Sep 18 00:38:36.327 INFO kablam! Sep 18 00:38:36.327 INFO kablam! error[E0192]: negative impls are only allowed for auto traits (e.g., `Send` and `Sync`) Sep 18 00:38:36.327 INFO kablam! --> src/into_cons.rs:207:9 Sep 18 00:38:36.327 INFO kablam! | Sep 18 00:38:36.327 INFO kablam! 207 | impl<$first_ty, $( $N ),*> !NotTuple for ( $first_ty, $( $N, )* ) {} Sep 18 00:38:36.327 INFO kablam! | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ Sep 18 00:38:36.327 INFO kablam! ... Sep 18 00:38:36.327 INFO kablam! 255 | / impl_for_tuple! { Sep 18 00:38:36.328 INFO kablam! 256 | | (0, A), Sep 18 00:38:36.328 INFO kablam! 257 | | (1, B), Sep 18 00:38:36.328 INFO kablam! 258 | | (2, C), Sep 18 00:38:36.328 INFO kablam! 259 | | (3, D), Sep 18 00:38:36.328 INFO kablam! 260 | | (4, E), Sep 18 00:38:36.328 INFO kablam! 261 | | } Sep 18 00:38:36.328 INFO kablam! | |_- in this macro invocation Sep 18 00:38:36.328 INFO kablam! Sep 18 00:38:36.331 INFO kablam! error[E0192]: negative impls are only allowed for auto traits (e.g., `Send` and `Sync`) Sep 18 00:38:36.331 INFO kablam! --> src/into_cons.rs:207:9 Sep 18 00:38:36.331 INFO kablam! | Sep 18 00:38:36.331 INFO kablam! 207 | impl<$first_ty, $( $N ),*> !NotTuple for ( $first_ty, $( $N, )* ) {} Sep 18 00:38:36.331 INFO kablam! | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ Sep 18 00:38:36.331 INFO kablam! ... Sep 18 00:38:36.331 INFO kablam! 263 | / impl_for_tuple! { Sep 18 00:38:36.331 INFO kablam! 264 | | (0, A), Sep 18 00:38:36.331 INFO kablam! 265 | | (1, B), Sep 18 00:38:36.331 INFO kablam! 266 | | (2, C), Sep 18 00:38:36.331 INFO kablam! ... | Sep 18 00:38:36.331 INFO kablam! 269 | | (5, F), Sep 18 00:38:36.331 INFO kablam! 270 | | } Sep 18 00:38:36.331 INFO kablam! | |_- in this macro invocation Sep 18 00:38:36.331 INFO kablam! Sep 18 00:38:36.335 INFO kablam! error[E0192]: negative impls are only allowed for auto traits (e.g., `Send` and `Sync`) Sep 18 00:38:36.335 INFO kablam! --> src/into_cons.rs:207:9 Sep 18 00:38:36.335 INFO kablam! | Sep 18 00:38:36.335 INFO kablam! 207 | impl<$first_ty, $( $N ),*> !NotTuple for ( $first_ty, $( $N, )* ) {} Sep 18 00:38:36.335 INFO kablam! | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ Sep 18 00:38:36.335 INFO kablam! ... Sep 18 00:38:36.335 INFO kablam! 318 | / impl_for_tuple! { Sep 18 00:38:36.335 INFO kablam! 319 | | (0, A), Sep 18 00:38:36.335 INFO kablam! 320 | | (1, B), Sep 18 00:38:36.335 INFO kablam! 321 | | (2, C), Sep 18 00:38:36.335 INFO kablam! ... | Sep 18 00:38:36.335 INFO kablam! 329 | | (10, K), Sep 18 00:38:36.336 INFO kablam! 330 | | } Sep 18 00:38:36.336 INFO kablam! | |_- in this macro invocation Sep 18 00:38:36.336 INFO kablam! Sep 18 00:38:36.336 INFO kablam! error[E0192]: negative impls are only allowed for auto traits (e.g., `Send` and `Sync`) Sep 18 00:38:36.336 INFO kablam! --> src/into_cons.rs:207:9 Sep 18 00:38:36.336 INFO kablam! | Sep 18 00:38:36.336 INFO kablam! 207 | impl<$first_ty, $( $N ),*> !NotTuple for ( $first_ty, $( $N, )* ) {} Sep 18 00:38:36.336 INFO kablam! | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ Sep 18 00:38:36.336 INFO kablam! ... Sep 18 00:38:36.336 INFO kablam! 272 | / impl_for_tuple! { Sep 18 00:38:36.336 INFO kablam! 273 | | (0, A), Sep 18 00:38:36.336 INFO kablam! 274 | | (1, B), Sep 18 00:38:36.336 INFO kablam! 275 | | (2, C), Sep 18 00:38:36.336 INFO kablam! ... | Sep 18 00:38:36.336 INFO kablam! 279 | | (6, G), Sep 18 00:38:36.336 INFO kablam! 280 | | } Sep 18 00:38:36.336 INFO kablam! | |_- in this macro invocation Sep 18 00:38:36.336 INFO kablam! Sep 18 00:38:36.340 INFO kablam! error[E0192]: negative impls are only allowed for auto traits (e.g., `Send` and `Sync`) Sep 18 00:38:36.340 INFO kablam! --> src/into_cons.rs:207:9 Sep 18 00:38:36.340 INFO kablam! | Sep 18 00:38:36.340 INFO kablam! 207 | impl<$first_ty, $( $N ),*> !NotTuple for ( $first_ty, $( $N, )* ) {} Sep 18 00:38:36.340 INFO kablam! | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ Sep 18 00:38:36.340 INFO kablam! ... Sep 18 00:38:36.340 INFO kablam! 282 | / impl_for_tuple! { Sep 18 00:38:36.340 INFO kablam! 283 | | (0, A), Sep 18 00:38:36.340 INFO kablam! 284 | | (1, B), Sep 18 00:38:36.340 INFO kablam! 285 | | (2, C), Sep 18 00:38:36.340 INFO kablam! ... | Sep 18 00:38:36.340 INFO kablam! 290 | | (7, H), Sep 18 00:38:36.340 INFO kablam! 291 | | } Sep 18 00:38:36.340 INFO kablam! | |_- in this macro invocation Sep 18 00:38:36.340 INFO kablam! Sep 18 00:38:36.345 INFO kablam! error[E0192]: negative impls are only allowed for auto traits (e.g., `Send` and `Sync`) Sep 18 00:38:36.345 INFO kablam! --> src/into_cons.rs:207:9 Sep 18 00:38:36.345 INFO kablam! | Sep 18 00:38:36.345 INFO kablam! 207 | impl<$first_ty, $( $N ),*> !NotTuple for ( $first_ty, $( $N, )* ) {} Sep 18 00:38:36.345 INFO kablam! | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ Sep 18 00:38:36.345 INFO kablam! ... Sep 18 00:38:36.345 INFO kablam! 293 | / impl_for_tuple! { Sep 18 00:38:36.345 INFO kablam! 294 | | (0, A), Sep 18 00:38:36.345 INFO kablam! 295 | | (1, B), Sep 18 00:38:36.345 INFO kablam! 296 | | (2, C), Sep 18 00:38:36.345 INFO kablam! ... | Sep 18 00:38:36.345 INFO kablam! 302 | | (8, I), Sep 18 00:38:36.345 INFO kablam! 303 | | } Sep 18 00:38:36.345 INFO kablam! | |_- in this macro invocation Sep 18 00:38:36.345 INFO kablam! Sep 18 00:38:36.345 INFO kablam! error[E0192]: negative impls are only allowed for auto traits (e.g., `Send` and `Sync`) Sep 18 00:38:36.345 INFO kablam! --> src/into_cons.rs:207:9 Sep 18 00:38:36.345 INFO kablam! | Sep 18 00:38:36.345 INFO kablam! 207 | impl<$first_ty, $( $N ),*> !NotTuple for ( $first_ty, $( $N, )* ) {} Sep 18 00:38:36.345 INFO kablam! | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ Sep 18 00:38:36.345 INFO kablam! ... Sep 18 00:38:36.345 INFO kablam! 332 | / impl_for_tuple! { Sep 18 00:38:36.345 INFO kablam! 333 | | (0, A), Sep 18 00:38:36.345 INFO kablam! 334 | | (1, B), Sep 18 00:38:36.345 INFO kablam! 335 | | (2, C), Sep 18 00:38:36.345 INFO kablam! ... | Sep 18 00:38:36.345 INFO kablam! 344 | | (11, L), Sep 18 00:38:36.345 INFO kablam! 345 | | } Sep 18 00:38:36.345 INFO kablam! | |_- in this macro invocation Sep 18 00:38:36.346 INFO kablam! Sep 18 00:38:36.352 INFO kablam! error[E0192]: negative impls are only allowed for auto traits (e.g., `Send` and `Sync`) Sep 18 00:38:36.352 INFO kablam! --> src/into_cons.rs:207:9 Sep 18 00:38:36.352 INFO kablam! | Sep 18 00:38:36.352 INFO kablam! 207 | impl<$first_ty, $( $N ),*> !NotTuple for ( $first_ty, $( $N, )* ) {} Sep 18 00:38:36.352 INFO kablam! | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ Sep 18 00:38:36.352 INFO kablam! ... Sep 18 00:38:36.352 INFO kablam! 305 | / impl_for_tuple! { Sep 18 00:38:36.352 INFO kablam! 306 | | (0, A), Sep 18 00:38:36.352 INFO kablam! 307 | | (1, B), Sep 18 00:38:36.352 INFO kablam! 308 | | (2, C), Sep 18 00:38:36.352 INFO kablam! ... | Sep 18 00:38:36.352 INFO kablam! 315 | | (9, J), Sep 18 00:38:36.352 INFO kablam! 316 | | } Sep 18 00:38:36.353 INFO kablam! | |_- in this macro invocation Sep 18 00:38:36.353 INFO kablam! Sep 18 00:38:36.363 INFO kablam! error[E0192]: negative impls are only allowed for auto traits (e.g., `Send` and `Sync`) Sep 18 00:38:36.363 INFO kablam! --> src/into_cons.rs:207:9 Sep 18 00:38:36.363 INFO kablam! | Sep 18 00:38:36.363 INFO kablam! 207 | impl<$first_ty, $( $N ),*> !NotTuple for ( $first_ty, $( $N, )* ) {} Sep 18 00:38:36.363 INFO kablam! | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ Sep 18 00:38:36.363 INFO kablam! ... Sep 18 00:38:36.363 INFO kablam! 318 | / impl_for_tuple! { Sep 18 00:38:36.363 INFO kablam! 319 | | (0, A), Sep 18 00:38:36.363 INFO kablam! 320 | | (1, B), Sep 18 00:38:36.363 INFO kablam! 321 | | (2, C), Sep 18 00:38:36.363 INFO kablam! ... | Sep 18 00:38:36.363 INFO kablam! 329 | | (10, K), Sep 18 00:38:36.363 INFO kablam! 330 | | } Sep 18 00:38:36.363 INFO kablam! | |_- in this macro invocation Sep 18 00:38:36.363 INFO kablam! Sep 18 00:38:36.382 INFO kablam! error[E0192]: negative impls are only allowed for auto traits (e.g., `Send` and `Sync`) Sep 18 00:38:36.382 INFO kablam! --> src/into_cons.rs:207:9 Sep 18 00:38:36.382 INFO kablam! | Sep 18 00:38:36.382 INFO kablam! 207 | impl<$first_ty, $( $N ),*> !NotTuple for ( $first_ty, $( $N, )* ) {} Sep 18 00:38:36.382 INFO kablam! | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ Sep 18 00:38:36.382 INFO kablam! ... Sep 18 00:38:36.382 INFO kablam! 332 | / impl_for_tuple! { Sep 18 00:38:36.382 INFO kablam! 333 | | (0, A), Sep 18 00:38:36.382 INFO kablam! 334 | | (1, B), Sep 18 00:38:36.382 INFO kablam! 335 | | (2, C), Sep 18 00:38:36.382 INFO kablam! ... | Sep 18 00:38:36.382 INFO kablam! 344 | | (11, L), Sep 18 00:38:36.382 INFO kablam! 345 | | } Sep 18 00:38:36.382 INFO kablam! | |_- in this macro invocation Sep 18 00:38:36.382 INFO kablam! Sep 18 00:38:36.543 INFO kablam! error: aborting due to 43 previous errors Sep 18 00:38:36.543 INFO kablam! Sep 18 00:38:36.543 INFO kablam! Some errors occurred: E0192, E0277. Sep 18 00:38:36.543 INFO kablam! For more information about an error, try `rustc --explain E0192`. Sep 18 00:38:36.544 INFO kablam! error: Could not compile `flatten`. Sep 18 00:38:36.544 INFO kablam! warning: build failed, waiting for other jobs to finish... Sep 18 00:38:36.544 INFO kablam! error: aborting due to 43 previous errors Sep 18 00:38:36.544 INFO kablam! Sep 18 00:38:36.544 INFO kablam! Some errors occurred: E0192, E0277. Sep 18 00:38:36.544 INFO kablam! For more information about an error, try `rustc --explain E0192`. Sep 18 00:38:36.555 INFO kablam! error: Could not compile `flatten`. Sep 18 00:38:36.555 INFO kablam! Sep 18 00:38:36.555 INFO kablam! To learn more, run the command again with --verbose. Sep 18 00:38:36.555 INFO kablam! su: No module specific data is present Sep 18 00:38:37.312 INFO running `"docker" "rm" "-f" "aea332e43dcef9b28172e6371d95648014730c7020750502bd94dca2dfbd2ce8"` Sep 18 00:38:37.407 INFO blam! aea332e43dcef9b28172e6371d95648014730c7020750502bd94dca2dfbd2ce8