Aug 10 23:16:06.152 INFO checking tylar-0.1.2 against try#a77dfcc79fe3e7e1a10ae4dccfd4b2e5e0e49195+tmplazy for libc-1
Aug 10 23:16:06.152 INFO running: cargo +a77dfcc79fe3e7e1a10ae4dccfd4b2e5e0e49195-alt check --frozen --all --all-targets
Aug 10 23:16:06.152 INFO creating container for: cargo +a77dfcc79fe3e7e1a10ae4dccfd4b2e5e0e49195-alt check --frozen --all --all-targets
Aug 10 23:16:06.152 INFO running `"docker" "create" "-v" "/tmp/crater.gZJnbc5GOwPm:/source:ro,Z" "-v" "/home/ec2-user/crater/./work/local/target-dirs/libc-1/worker-6/try#a77dfcc79fe3e7e1a10ae4dccfd4b2e5e0e49195+tmplazy:/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" "-v" "/home/ec2-user/crater/./work/local/cargo-home/git:/cargo-home/git:rw,Z" "-e" "USER_ID=500" "-e" "CMD=cargo +a77dfcc79fe3e7e1a10ae4dccfd4b2e5e0e49195-alt check --frozen --all --all-targets" "-e" "CARGO_INCREMENTAL=0" "-e" "RUST_BACKTRACE=full" "-e" "RUSTFLAGS=--cap-lints=warn" "crater"`
Aug 10 23:16:06.376 INFO blam! b9f28c2589b838317744cac3d2d8f1a4505a9f2c9a8f90afcb277a5d87bd39cc
Aug 10 23:16:06.379 INFO running `"docker" "start" "-a" "b9f28c2589b838317744cac3d2d8f1a4505a9f2c9a8f90afcb277a5d87bd39cc"`
Aug 10 23:16:07.837 INFO kablam!     Checking tylar v0.1.2 (file:///source)
Aug 10 23:16:08.404 INFO kablam! error[E0277]: the trait bound `A: NumType<A>` is not satisfied
Aug 10 23:16:08.404 INFO kablam!   --> src/lib.rs:93:1
Aug 10 23:16:08.404 INFO kablam!    |
Aug 10 23:16:08.404 INFO kablam! 93 | impl<A:PosType<A>,B:NegType<B>> Neg<Succ<A>> for Succ<A> where A: Neg<A,Out=B> { type Out = Pred<B>; }
Aug 10 23:16:08.404 INFO kablam!    | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ the trait `NumType<A>` is not implemented for `A`
Aug 10 23:16:08.404 INFO kablam!    |
Aug 10 23:16:08.404 INFO kablam!    = help: consider adding a `where A: NumType<A>` bound
Aug 10 23:16:08.404 INFO kablam! note: required by `PosType`
Aug 10 23:16:08.404 INFO kablam!   --> src/lib.rs:14:1
Aug 10 23:16:08.404 INFO kablam!    |
Aug 10 23:16:08.405 INFO kablam! 14 | pub trait PosType<N:NumType<N>>: Into<u64> + Into<u32> + Into<u16> + Into<u8> + Into<usize> {}
Aug 10 23:16:08.405 INFO kablam!    | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
Aug 10 23:16:08.405 INFO kablam! 
Aug 10 23:16:08.405 INFO kablam! error[E0277]: the trait bound `B: NumType<B>` is not satisfied
Aug 10 23:16:08.405 INFO kablam!   --> src/lib.rs:93:1
Aug 10 23:16:08.405 INFO kablam!    |
Aug 10 23:16:08.405 INFO kablam! 93 | impl<A:PosType<A>,B:NegType<B>> Neg<Succ<A>> for Succ<A> where A: Neg<A,Out=B> { type Out = Pred<B>; }
Aug 10 23:16:08.405 INFO kablam!    | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ the trait `NumType<B>` is not implemented for `B`
Aug 10 23:16:08.405 INFO kablam!    |
Aug 10 23:16:08.405 INFO kablam!    = help: consider adding a `where B: NumType<B>` bound
Aug 10 23:16:08.405 INFO kablam! note: required by `NegType`
Aug 10 23:16:08.405 INFO kablam!   --> src/lib.rs:17:1
Aug 10 23:16:08.405 INFO kablam!    |
Aug 10 23:16:08.405 INFO kablam! 17 | pub trait NegType<N:NumType<N>> {}
Aug 10 23:16:08.405 INFO kablam!    | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
Aug 10 23:16:08.405 INFO kablam! 
Aug 10 23:16:08.406 INFO kablam! error[E0277]: the trait bound `A: NumType<A>` is not satisfied
Aug 10 23:16:08.406 INFO kablam!   --> src/lib.rs:94:1
Aug 10 23:16:08.406 INFO kablam!    |
Aug 10 23:16:08.406 INFO kablam! 94 | impl<A:NegType<A>,B:PosType<B>> Neg<Pred<A>> for Pred<A> where A: Neg<A,Out=B> { type Out = Succ<B>; }
Aug 10 23:16:08.406 INFO kablam!    | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ the trait `NumType<A>` is not implemented for `A`
Aug 10 23:16:08.406 INFO kablam!    |
Aug 10 23:16:08.406 INFO kablam!    = help: consider adding a `where A: NumType<A>` bound
Aug 10 23:16:08.406 INFO kablam! note: required by `NegType`
Aug 10 23:16:08.406 INFO kablam!   --> src/lib.rs:17:1
Aug 10 23:16:08.406 INFO kablam!    |
Aug 10 23:16:08.406 INFO kablam! 17 | pub trait NegType<N:NumType<N>> {}
Aug 10 23:16:08.406 INFO kablam!    | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
Aug 10 23:16:08.406 INFO kablam! 
Aug 10 23:16:08.407 INFO kablam! error[E0277]: the trait bound `B: NumType<B>` is not satisfied
Aug 10 23:16:08.407 INFO kablam!   --> src/lib.rs:94:1
Aug 10 23:16:08.407 INFO kablam!    |
Aug 10 23:16:08.407 INFO kablam! 94 | impl<A:NegType<A>,B:PosType<B>> Neg<Pred<A>> for Pred<A> where A: Neg<A,Out=B> { type Out = Succ<B>; }
Aug 10 23:16:08.407 INFO kablam!    | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ the trait `NumType<B>` is not implemented for `B`
Aug 10 23:16:08.407 INFO kablam!    |
Aug 10 23:16:08.407 INFO kablam!    = help: consider adding a `where B: NumType<B>` bound
Aug 10 23:16:08.407 INFO kablam! note: required by `PosType`
Aug 10 23:16:08.407 INFO kablam!   --> src/lib.rs:14:1
Aug 10 23:16:08.407 INFO kablam!    |
Aug 10 23:16:08.407 INFO kablam! 14 | pub trait PosType<N:NumType<N>>: Into<u64> + Into<u32> + Into<u16> + Into<u8> + Into<usize> {}
Aug 10 23:16:08.407 INFO kablam!    | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
Aug 10 23:16:08.407 INFO kablam! 
Aug 10 23:16:08.407 INFO kablam! error[E0277]: the trait bound `A: NumType<A>` is not satisfied
Aug 10 23:16:08.407 INFO kablam!    --> src/lib.rs:102:1
Aug 10 23:16:08.407 INFO kablam!     |
Aug 10 23:16:08.407 INFO kablam! 102 | impl<A:PosType<A>> Incr<Succ<A>> for Succ<A> { type Out = Succ<Succ<A>>; }
Aug 10 23:16:08.407 INFO kablam!     | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ the trait `NumType<A>` is not implemented for `A`
Aug 10 23:16:08.407 INFO kablam!     |
Aug 10 23:16:08.407 INFO kablam!     = help: consider adding a `where A: NumType<A>` bound
Aug 10 23:16:08.407 INFO kablam! note: required by `PosType`
Aug 10 23:16:08.407 INFO kablam!    --> src/lib.rs:14:1
Aug 10 23:16:08.407 INFO kablam!     |
Aug 10 23:16:08.407 INFO kablam! 14  | pub trait PosType<N:NumType<N>>: Into<u64> + Into<u32> + Into<u16> + Into<u8> + Into<usize> {}
Aug 10 23:16:08.407 INFO kablam!     | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
Aug 10 23:16:08.407 INFO kablam! 
Aug 10 23:16:08.407 INFO kablam! error[E0277]: the trait bound `A: NumType<A>` is not satisfied
Aug 10 23:16:08.407 INFO kablam!    --> src/lib.rs:103:1
Aug 10 23:16:08.408 INFO kablam!     |
Aug 10 23:16:08.408 INFO kablam! 103 | impl<A:NegType<A>> Incr<Pred<A>> for Pred<A> { type Out = A; }
Aug 10 23:16:08.408 INFO kablam!     | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ the trait `NumType<A>` is not implemented for `A`
Aug 10 23:16:08.408 INFO kablam!     |
Aug 10 23:16:08.408 INFO kablam!     = help: consider adding a `where A: NumType<A>` bound
Aug 10 23:16:08.408 INFO kablam! note: required by `NegType`
Aug 10 23:16:08.408 INFO kablam!    --> src/lib.rs:17:1
Aug 10 23:16:08.408 INFO kablam!     |
Aug 10 23:16:08.408 INFO kablam! 17  | pub trait NegType<N:NumType<N>> {}
Aug 10 23:16:08.408 INFO kablam!     | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
Aug 10 23:16:08.408 INFO kablam! 
Aug 10 23:16:08.408 INFO kablam! error[E0277]: the trait bound `A: NumType<A>` is not satisfied
Aug 10 23:16:08.408 INFO kablam!    --> src/lib.rs:111:1
Aug 10 23:16:08.408 INFO kablam!     |
Aug 10 23:16:08.408 INFO kablam! 111 | impl<A:PosType<A>> Decr<Succ<A>> for Succ<A> { type Out = A; }
Aug 10 23:16:08.408 INFO kablam!     | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ the trait `NumType<A>` is not implemented for `A`
Aug 10 23:16:08.408 INFO kablam!     |
Aug 10 23:16:08.408 INFO kablam!     = help: consider adding a `where A: NumType<A>` bound
Aug 10 23:16:08.408 INFO kablam! note: required by `PosType`
Aug 10 23:16:08.408 INFO kablam!    --> src/lib.rs:14:1
Aug 10 23:16:08.408 INFO kablam!     |
Aug 10 23:16:08.408 INFO kablam! 14  | pub trait PosType<N:NumType<N>>: Into<u64> + Into<u32> + Into<u16> + Into<u8> + Into<usize> {}
Aug 10 23:16:08.408 INFO kablam!     | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
Aug 10 23:16:08.408 INFO kablam! 
Aug 10 23:16:08.408 INFO kablam! error[E0277]: the trait bound `A: NumType<A>` is not satisfied
Aug 10 23:16:08.408 INFO kablam!    --> src/lib.rs:112:1
Aug 10 23:16:08.408 INFO kablam!     |
Aug 10 23:16:08.409 INFO kablam! 112 | impl<A:NegType<A>> Decr<Pred<A>> for Pred<A> { type Out = Pred<Pred<A>>; }
Aug 10 23:16:08.409 INFO kablam!     | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ the trait `NumType<A>` is not implemented for `A`
Aug 10 23:16:08.409 INFO kablam!     |
Aug 10 23:16:08.409 INFO kablam!     = help: consider adding a `where A: NumType<A>` bound
Aug 10 23:16:08.409 INFO kablam! note: required by `NegType`
Aug 10 23:16:08.409 INFO kablam!    --> src/lib.rs:17:1
Aug 10 23:16:08.409 INFO kablam!     |
Aug 10 23:16:08.409 INFO kablam! 17  | pub trait NegType<N:NumType<N>> {}
Aug 10 23:16:08.409 INFO kablam!     | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
Aug 10 23:16:08.409 INFO kablam! 
Aug 10 23:16:08.411 INFO kablam! error[E0277]: the trait bound `A: NumType<A>` is not satisfied
Aug 10 23:16:08.411 INFO kablam!    --> src/lib.rs:120:1
Aug 10 23:16:08.411 INFO kablam!     |
Aug 10 23:16:08.411 INFO kablam! 120 | impl<A:PosType<A>,B,C> Add<Succ<A>,B> for Succ<A> where B:Incr<B,Out=C>, A:Add<A,C>  { type Out = A::Out; }
Aug 10 23:16:08.411 INFO kablam!     | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ the trait `NumType<A>` is not implemented for `A`
Aug 10 23:16:08.411 INFO kablam!     |
Aug 10 23:16:08.411 INFO kablam!     = help: consider adding a `where A: NumType<A>` bound
Aug 10 23:16:08.411 INFO kablam! note: required by `PosType`
Aug 10 23:16:08.411 INFO kablam!    --> src/lib.rs:14:1
Aug 10 23:16:08.411 INFO kablam!     |
Aug 10 23:16:08.412 INFO kablam! 14  | pub trait PosType<N:NumType<N>>: Into<u64> + Into<u32> + Into<u16> + Into<u8> + Into<usize> {}
Aug 10 23:16:08.412 INFO kablam!     | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
Aug 10 23:16:08.412 INFO kablam! 
Aug 10 23:16:08.412 INFO kablam! error[E0277]: the trait bound `A: NumType<A>` is not satisfied
Aug 10 23:16:08.412 INFO kablam!    --> src/lib.rs:121:1
Aug 10 23:16:08.412 INFO kablam!     |
Aug 10 23:16:08.412 INFO kablam! 121 | impl<A:NegType<A>,B,C> Add<Pred<A>,B> for Pred<A> where B:Decr<B,Out=C>, A:Add<A,C>  { type Out = A::Out; }
Aug 10 23:16:08.412 INFO kablam!     | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ the trait `NumType<A>` is not implemented for `A`
Aug 10 23:16:08.412 INFO kablam!     |
Aug 10 23:16:08.412 INFO kablam!     = help: consider adding a `where A: NumType<A>` bound
Aug 10 23:16:08.412 INFO kablam! note: required by `NegType`
Aug 10 23:16:08.412 INFO kablam!    --> src/lib.rs:17:1
Aug 10 23:16:08.412 INFO kablam!     |
Aug 10 23:16:08.412 INFO kablam! 17  | pub trait NegType<N:NumType<N>> {}
Aug 10 23:16:08.412 INFO kablam!     | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
Aug 10 23:16:08.412 INFO kablam! 
Aug 10 23:16:08.415 INFO kablam! error[E0277]: the trait bound `A: NumType<A>` is not satisfied
Aug 10 23:16:08.415 INFO kablam!    --> src/lib.rs:139:1
Aug 10 23:16:08.415 INFO kablam!     |
Aug 10 23:16:08.415 INFO kablam! 139 | impl<A:PosType<A>,B> Halve<Succ<Succ<A>>> for Succ<Succ<A>> where A:Halve<A,Out=B>  { type Out = Succ<B>; }
Aug 10 23:16:08.415 INFO kablam!     | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ the trait `NumType<A>` is not implemented for `A`
Aug 10 23:16:08.416 INFO kablam!     |
Aug 10 23:16:08.416 INFO kablam!     = help: consider adding a `where A: NumType<A>` bound
Aug 10 23:16:08.416 INFO kablam! note: required by `PosType`
Aug 10 23:16:08.416 INFO kablam!    --> src/lib.rs:14:1
Aug 10 23:16:08.416 INFO kablam!     |
Aug 10 23:16:08.416 INFO kablam! 14  | pub trait PosType<N:NumType<N>>: Into<u64> + Into<u32> + Into<u16> + Into<u8> + Into<usize> {}
Aug 10 23:16:08.416 INFO kablam!     | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
Aug 10 23:16:08.417 INFO kablam! 
Aug 10 23:16:08.417 INFO kablam! error[E0277]: the trait bound `A: NumType<A>` is not satisfied
Aug 10 23:16:08.417 INFO kablam!    --> src/lib.rs:140:1
Aug 10 23:16:08.417 INFO kablam!     |
Aug 10 23:16:08.417 INFO kablam! 140 | impl<A:NegType<A>,B> Halve<Pred<Pred<A>>> for Pred<Pred<A>> where A:Halve<A,Out=B>  { type Out = Pred<B>; }
Aug 10 23:16:08.417 INFO kablam!     | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ the trait `NumType<A>` is not implemented for `A`
Aug 10 23:16:08.417 INFO kablam!     |
Aug 10 23:16:08.418 INFO kablam!     = help: consider adding a `where A: NumType<A>` bound
Aug 10 23:16:08.418 INFO kablam! note: required by `NegType`
Aug 10 23:16:08.418 INFO kablam!    --> src/lib.rs:17:1
Aug 10 23:16:08.418 INFO kablam!     |
Aug 10 23:16:08.418 INFO kablam! 17  | pub trait NegType<N:NumType<N>> {}
Aug 10 23:16:08.418 INFO kablam!     | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
Aug 10 23:16:08.418 INFO kablam! 
Aug 10 23:16:08.420 INFO kablam! error[E0277]: the trait bound `A: NumType<A>` is not satisfied
Aug 10 23:16:08.420 INFO kablam!    --> src/lib.rs:148:1
Aug 10 23:16:08.420 INFO kablam!     |
Aug 10 23:16:08.420 INFO kablam! 148 | impl<A:PosType<A>,B,C> Mul<Succ<A>,B> for Succ<A> where A:Mul<A,B,Out=C>, B:Add<B,C> { type Out = B::Out; }
Aug 10 23:16:08.420 INFO kablam!     | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ the trait `NumType<A>` is not implemented for `A`
Aug 10 23:16:08.420 INFO kablam!     |
Aug 10 23:16:08.420 INFO kablam!     = help: consider adding a `where A: NumType<A>` bound
Aug 10 23:16:08.420 INFO kablam! note: required by `PosType`
Aug 10 23:16:08.420 INFO kablam!    --> src/lib.rs:14:1
Aug 10 23:16:08.421 INFO kablam!     |
Aug 10 23:16:08.421 INFO kablam! 14  | pub trait PosType<N:NumType<N>>: Into<u64> + Into<u32> + Into<u16> + Into<u8> + Into<usize> {}
Aug 10 23:16:08.421 INFO kablam!     | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
Aug 10 23:16:08.421 INFO kablam! 
Aug 10 23:16:08.422 INFO kablam! error[E0277]: the trait bound `A: NumType<A>` is not satisfied
Aug 10 23:16:08.422 INFO kablam!    --> src/lib.rs:149:1
Aug 10 23:16:08.422 INFO kablam!     |
Aug 10 23:16:08.422 INFO kablam! 149 | impl<A:NegType<A>,B,NB,C> Mul<Pred<A>,B> for Pred<A> where A:Mul<A,B,Out=C>, B:Neg<B,Out=NB>, NB:Add<NB,C> { type Out = NB::Out; }
Aug 10 23:16:08.422 INFO kablam!     | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ the trait `NumType<A>` is not implemented for `A`
Aug 10 23:16:08.422 INFO kablam!     |
Aug 10 23:16:08.422 INFO kablam!     = help: consider adding a `where A: NumType<A>` bound
Aug 10 23:16:08.422 INFO kablam! note: required by `NegType`
Aug 10 23:16:08.422 INFO kablam!    --> src/lib.rs:17:1
Aug 10 23:16:08.422 INFO kablam!     |
Aug 10 23:16:08.422 INFO kablam! 17  | pub trait NegType<N:NumType<N>> {}
Aug 10 23:16:08.422 INFO kablam!     | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
Aug 10 23:16:08.422 INFO kablam! 
Aug 10 23:16:08.423 INFO kablam! error[E0277]: the trait bound `A: NumType<A>` is not satisfied
Aug 10 23:16:08.423 INFO kablam!    --> src/lib.rs:156:1
Aug 10 23:16:08.423 INFO kablam!     |
Aug 10 23:16:08.424 INFO kablam! 156 | impl<A:PosType<A>> Div<Zero,Succ<A>> for Zero { type Out = Zero; }
Aug 10 23:16:08.424 INFO kablam!     | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ the trait `NumType<A>` is not implemented for `A`
Aug 10 23:16:08.424 INFO kablam!     |
Aug 10 23:16:08.424 INFO kablam!     = help: consider adding a `where A: NumType<A>` bound
Aug 10 23:16:08.425 INFO kablam! note: required by `PosType`
Aug 10 23:16:08.425 INFO kablam!    --> src/lib.rs:14:1
Aug 10 23:16:08.425 INFO kablam!     |
Aug 10 23:16:08.425 INFO kablam! 14  | pub trait PosType<N:NumType<N>>: Into<u64> + Into<u32> + Into<u16> + Into<u8> + Into<usize> {}
Aug 10 23:16:08.425 INFO kablam!     | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
Aug 10 23:16:08.425 INFO kablam! 
Aug 10 23:16:08.425 INFO kablam! error[E0277]: the trait bound `A: NumType<A>` is not satisfied
Aug 10 23:16:08.425 INFO kablam!    --> src/lib.rs:157:1
Aug 10 23:16:08.425 INFO kablam!     |
Aug 10 23:16:08.425 INFO kablam! 157 | impl<A:NegType<A>> Div<Zero,Pred<A>> for Zero { type Out = Zero; }
Aug 10 23:16:08.425 INFO kablam!     | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ the trait `NumType<A>` is not implemented for `A`
Aug 10 23:16:08.425 INFO kablam!     |
Aug 10 23:16:08.426 INFO kablam!     = help: consider adding a `where A: NumType<A>` bound
Aug 10 23:16:08.426 INFO kablam! note: required by `NegType`
Aug 10 23:16:08.426 INFO kablam!    --> src/lib.rs:17:1
Aug 10 23:16:08.426 INFO kablam!     |
Aug 10 23:16:08.426 INFO kablam! 17  | pub trait NegType<N:NumType<N>> {}
Aug 10 23:16:08.426 INFO kablam!     | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
Aug 10 23:16:08.426 INFO kablam! 
Aug 10 23:16:08.430 INFO kablam! error[E0277]: the trait bound `NN: NumType<NN>` is not satisfied
Aug 10 23:16:08.430 INFO kablam!    --> src/lib.rs:159:1
Aug 10 23:16:08.430 INFO kablam!     |
Aug 10 23:16:08.430 INFO kablam! 159 | / impl<N:NegType<N>,NN:NegType<NN>,P:PosType<P>,PP:PosType<PP>> Div<Pred<N>,Pred<NN>> for Pred<N>
Aug 10 23:16:08.430 INFO kablam! 160 | |     where N:Neg<N,Out=P>, NN:Neg<NN,Out=PP>, Succ<P>:Div<Succ<P>,Succ<PP>> { type Out = <Succ<P> as Div<Succ<P>,Succ<PP>>>::Out; }
Aug 10 23:16:08.430 INFO kablam!     | |__________________________________________________________________________________________________________________________________^ the trait `NumType<NN>` is not implemented for `NN`
Aug 10 23:16:08.430 INFO kablam!     |
Aug 10 23:16:08.430 INFO kablam!     = help: consider adding a `where NN: NumType<NN>` bound
Aug 10 23:16:08.431 INFO kablam! note: required by `NegType`
Aug 10 23:16:08.431 INFO kablam!    --> src/lib.rs:17:1
Aug 10 23:16:08.431 INFO kablam!     |
Aug 10 23:16:08.431 INFO kablam! 17  | pub trait NegType<N:NumType<N>> {}
Aug 10 23:16:08.431 INFO kablam!     | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
Aug 10 23:16:08.431 INFO kablam! 
Aug 10 23:16:08.431 INFO kablam! error[E0277]: the trait bound `P: NumType<P>` is not satisfied
Aug 10 23:16:08.431 INFO kablam!    --> src/lib.rs:159:1
Aug 10 23:16:08.431 INFO kablam!     |
Aug 10 23:16:08.431 INFO kablam! 159 | / impl<N:NegType<N>,NN:NegType<NN>,P:PosType<P>,PP:PosType<PP>> Div<Pred<N>,Pred<NN>> for Pred<N>
Aug 10 23:16:08.431 INFO kablam! 160 | |     where N:Neg<N,Out=P>, NN:Neg<NN,Out=PP>, Succ<P>:Div<Succ<P>,Succ<PP>> { type Out = <Succ<P> as Div<Succ<P>,Succ<PP>>>::Out; }
Aug 10 23:16:08.431 INFO kablam!     | |__________________________________________________________________________________________________________________________________^ the trait `NumType<P>` is not implemented for `P`
Aug 10 23:16:08.431 INFO kablam!     |
Aug 10 23:16:08.431 INFO kablam!     = help: consider adding a `where P: NumType<P>` bound
Aug 10 23:16:08.432 INFO kablam! note: required by `PosType`
Aug 10 23:16:08.432 INFO kablam!    --> src/lib.rs:14:1
Aug 10 23:16:08.432 INFO kablam!     |
Aug 10 23:16:08.432 INFO kablam! 14  | pub trait PosType<N:NumType<N>>: Into<u64> + Into<u32> + Into<u16> + Into<u8> + Into<usize> {}
Aug 10 23:16:08.432 INFO kablam!     | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
Aug 10 23:16:08.432 INFO kablam! 
Aug 10 23:16:08.432 INFO kablam! error[E0277]: the trait bound `PP: NumType<PP>` is not satisfied
Aug 10 23:16:08.432 INFO kablam!    --> src/lib.rs:159:1
Aug 10 23:16:08.432 INFO kablam!     |
Aug 10 23:16:08.432 INFO kablam! 159 | / impl<N:NegType<N>,NN:NegType<NN>,P:PosType<P>,PP:PosType<PP>> Div<Pred<N>,Pred<NN>> for Pred<N>
Aug 10 23:16:08.432 INFO kablam! 160 | |     where N:Neg<N,Out=P>, NN:Neg<NN,Out=PP>, Succ<P>:Div<Succ<P>,Succ<PP>> { type Out = <Succ<P> as Div<Succ<P>,Succ<PP>>>::Out; }
Aug 10 23:16:08.432 INFO kablam!     | |__________________________________________________________________________________________________________________________________^ the trait `NumType<PP>` is not implemented for `PP`
Aug 10 23:16:08.432 INFO kablam!     |
Aug 10 23:16:08.433 INFO kablam!     = help: consider adding a `where PP: NumType<PP>` bound
Aug 10 23:16:08.433 INFO kablam! note: required by `PosType`
Aug 10 23:16:08.433 INFO kablam!    --> src/lib.rs:14:1
Aug 10 23:16:08.433 INFO kablam!     |
Aug 10 23:16:08.433 INFO kablam! 14  | pub trait PosType<N:NumType<N>>: Into<u64> + Into<u32> + Into<u16> + Into<u8> + Into<usize> {}
Aug 10 23:16:08.433 INFO kablam!     | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
Aug 10 23:16:08.433 INFO kablam! 
Aug 10 23:16:08.433 INFO kablam! error[E0277]: the trait bound `N: NumType<N>` is not satisfied
Aug 10 23:16:08.433 INFO kablam!    --> src/lib.rs:159:1
Aug 10 23:16:08.433 INFO kablam!     |
Aug 10 23:16:08.433 INFO kablam! 159 | / impl<N:NegType<N>,NN:NegType<NN>,P:PosType<P>,PP:PosType<PP>> Div<Pred<N>,Pred<NN>> for Pred<N>
Aug 10 23:16:08.433 INFO kablam! 160 | |     where N:Neg<N,Out=P>, NN:Neg<NN,Out=PP>, Succ<P>:Div<Succ<P>,Succ<PP>> { type Out = <Succ<P> as Div<Succ<P>,Succ<PP>>>::Out; }
Aug 10 23:16:08.433 INFO kablam!     | |__________________________________________________________________________________________________________________________________^ the trait `NumType<N>` is not implemented for `N`
Aug 10 23:16:08.433 INFO kablam!     |
Aug 10 23:16:08.433 INFO kablam!     = help: consider adding a `where N: NumType<N>` bound
Aug 10 23:16:08.434 INFO kablam! note: required by `NegType`
Aug 10 23:16:08.434 INFO kablam!    --> src/lib.rs:17:1
Aug 10 23:16:08.434 INFO kablam!     |
Aug 10 23:16:08.434 INFO kablam! 17  | pub trait NegType<N:NumType<N>> {}
Aug 10 23:16:08.434 INFO kablam!     | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
Aug 10 23:16:08.434 INFO kablam! 
Aug 10 23:16:08.436 INFO kablam! error[E0277]: the trait bound `N: NumType<N>` is not satisfied
Aug 10 23:16:08.436 INFO kablam!    --> src/lib.rs:161:1
Aug 10 23:16:08.436 INFO kablam!     |
Aug 10 23:16:08.436 INFO kablam! 161 | / impl<P:NumType<P>, N:NegType<N>,PP:NumType<PP>,PPP:NumType<PPP>> Div<Succ<P>,Pred<N>> for Succ<P>
Aug 10 23:16:08.436 INFO kablam! 162 | |     where N:Neg<N,Out=PP>, Succ<P>:Div<Succ<P>,Succ<PP>,Out=Succ<PPP>>, Succ<PPP>:Neg<Succ<PPP>> { type Out = <Succ<PPP> as Neg<Succ<PPP>>>::Out; }
Aug 10 23:16:08.436 INFO kablam!     | |___________________________________________________________________________________________________________________________________________________^ the trait `NumType<N>` is not implemented for `N`
Aug 10 23:16:08.436 INFO kablam!     |
Aug 10 23:16:08.437 INFO kablam!     = help: consider adding a `where N: NumType<N>` bound
Aug 10 23:16:08.437 INFO kablam! note: required by `NegType`
Aug 10 23:16:08.437 INFO kablam!    --> src/lib.rs:17:1
Aug 10 23:16:08.437 INFO kablam!     |
Aug 10 23:16:08.437 INFO kablam! 17  | pub trait NegType<N:NumType<N>> {}
Aug 10 23:16:08.437 INFO kablam!     | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
Aug 10 23:16:08.437 INFO kablam! 
Aug 10 23:16:08.439 INFO kablam! error[E0277]: the trait bound `N: NumType<N>` is not satisfied
Aug 10 23:16:08.439 INFO kablam!    --> src/lib.rs:163:1
Aug 10 23:16:08.440 INFO kablam!     |
Aug 10 23:16:08.440 INFO kablam! 163 | / impl<P:NumType<P>, N:NegType<N>,PP:NumType<PP>,PPP:NumType<PPP>> Div<Pred<N>,Succ<P>> for Pred<N>
Aug 10 23:16:08.440 INFO kablam! 164 | |     where N:Neg<N,Out=PP>, Succ<PP>:Div<Succ<PP>,Succ<P>,Out=Succ<PPP>>, Succ<PPP>:Neg<Succ<PPP>> { type Out = <Succ<PPP> as Neg<Succ<PPP>>>::Out; }
Aug 10 23:16:08.440 INFO kablam!     | |____________________________________________________________________________________________________________________________________________________^ the trait `NumType<N>` is not implemented for `N`
Aug 10 23:16:08.440 INFO kablam!     |
Aug 10 23:16:08.440 INFO kablam!     = help: consider adding a `where N: NumType<N>` bound
Aug 10 23:16:08.440 INFO kablam! note: required by `NegType`
Aug 10 23:16:08.440 INFO kablam!    --> src/lib.rs:17:1
Aug 10 23:16:08.440 INFO kablam!     |
Aug 10 23:16:08.441 INFO kablam! 17  | pub trait NegType<N:NumType<N>> {}
Aug 10 23:16:08.441 INFO kablam!     | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
Aug 10 23:16:08.441 INFO kablam! 
Aug 10 23:16:08.494 INFO kablam! error: aborting due to 22 previous errors
Aug 10 23:16:08.497 INFO kablam! 
Aug 10 23:16:08.497 INFO kablam! For more information about this error, try `rustc --explain E0277`.
Aug 10 23:16:08.511 INFO kablam! error: Could not compile `tylar`.
Aug 10 23:16:08.511 INFO kablam! warning: build failed, waiting for other jobs to finish...
Aug 10 23:16:08.688 INFO kablam! error[E0277]: the trait bound `A: NumType<A>` is not satisfied
Aug 10 23:16:08.688 INFO kablam!   --> src/lib.rs:93:1
Aug 10 23:16:08.688 INFO kablam!    |
Aug 10 23:16:08.688 INFO kablam! 93 | impl<A:PosType<A>,B:NegType<B>> Neg<Succ<A>> for Succ<A> where A: Neg<A,Out=B> { type Out = Pred<B>; }
Aug 10 23:16:08.689 INFO kablam!    | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ the trait `NumType<A>` is not implemented for `A`
Aug 10 23:16:08.689 INFO kablam!    |
Aug 10 23:16:08.689 INFO kablam!    = help: consider adding a `where A: NumType<A>` bound
Aug 10 23:16:08.689 INFO kablam! note: required by `PosType`
Aug 10 23:16:08.689 INFO kablam!   --> src/lib.rs:14:1
Aug 10 23:16:08.689 INFO kablam!    |
Aug 10 23:16:08.689 INFO kablam! 14 | pub trait PosType<N:NumType<N>>: Into<u64> + Into<u32> + Into<u16> + Into<u8> + Into<usize> {}
Aug 10 23:16:08.689 INFO kablam!    | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
Aug 10 23:16:08.689 INFO kablam! 
Aug 10 23:16:08.689 INFO kablam! error[E0277]: the trait bound `B: NumType<B>` is not satisfied
Aug 10 23:16:08.689 INFO kablam!   --> src/lib.rs:93:1
Aug 10 23:16:08.689 INFO kablam!    |
Aug 10 23:16:08.689 INFO kablam! 93 | impl<A:PosType<A>,B:NegType<B>> Neg<Succ<A>> for Succ<A> where A: Neg<A,Out=B> { type Out = Pred<B>; }
Aug 10 23:16:08.689 INFO kablam!    | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ the trait `NumType<B>` is not implemented for `B`
Aug 10 23:16:08.689 INFO kablam!    |
Aug 10 23:16:08.689 INFO kablam!    = help: consider adding a `where B: NumType<B>` bound
Aug 10 23:16:08.689 INFO kablam! note: required by `NegType`
Aug 10 23:16:08.689 INFO kablam!   --> src/lib.rs:17:1
Aug 10 23:16:08.689 INFO kablam!    |
Aug 10 23:16:08.689 INFO kablam! 17 | pub trait NegType<N:NumType<N>> {}
Aug 10 23:16:08.689 INFO kablam!    | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
Aug 10 23:16:08.689 INFO kablam! 
Aug 10 23:16:08.691 INFO kablam! error[E0277]: the trait bound `A: NumType<A>` is not satisfied
Aug 10 23:16:08.691 INFO kablam!   --> src/lib.rs:94:1
Aug 10 23:16:08.691 INFO kablam!    |
Aug 10 23:16:08.691 INFO kablam! 94 | impl<A:NegType<A>,B:PosType<B>> Neg<Pred<A>> for Pred<A> where A: Neg<A,Out=B> { type Out = Succ<B>; }
Aug 10 23:16:08.691 INFO kablam!    | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ the trait `NumType<A>` is not implemented for `A`
Aug 10 23:16:08.691 INFO kablam!    |
Aug 10 23:16:08.691 INFO kablam!    = help: consider adding a `where A: NumType<A>` bound
Aug 10 23:16:08.691 INFO kablam! note: required by `NegType`
Aug 10 23:16:08.691 INFO kablam!   --> src/lib.rs:17:1
Aug 10 23:16:08.691 INFO kablam!    |
Aug 10 23:16:08.691 INFO kablam! 17 | pub trait NegType<N:NumType<N>> {}
Aug 10 23:16:08.691 INFO kablam!    | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
Aug 10 23:16:08.691 INFO kablam! 
Aug 10 23:16:08.691 INFO kablam! error[E0277]: the trait bound `B: NumType<B>` is not satisfied
Aug 10 23:16:08.691 INFO kablam!   --> src/lib.rs:94:1
Aug 10 23:16:08.692 INFO kablam!    |
Aug 10 23:16:08.692 INFO kablam! 94 | impl<A:NegType<A>,B:PosType<B>> Neg<Pred<A>> for Pred<A> where A: Neg<A,Out=B> { type Out = Succ<B>; }
Aug 10 23:16:08.692 INFO kablam!    | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ the trait `NumType<B>` is not implemented for `B`
Aug 10 23:16:08.692 INFO kablam!    |
Aug 10 23:16:08.692 INFO kablam!    = help: consider adding a `where B: NumType<B>` bound
Aug 10 23:16:08.692 INFO kablam! note: required by `PosType`
Aug 10 23:16:08.692 INFO kablam!   --> src/lib.rs:14:1
Aug 10 23:16:08.692 INFO kablam!    |
Aug 10 23:16:08.692 INFO kablam! 14 | pub trait PosType<N:NumType<N>>: Into<u64> + Into<u32> + Into<u16> + Into<u8> + Into<usize> {}
Aug 10 23:16:08.692 INFO kablam!    | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
Aug 10 23:16:08.692 INFO kablam! 
Aug 10 23:16:08.692 INFO kablam! error[E0277]: the trait bound `A: NumType<A>` is not satisfied
Aug 10 23:16:08.692 INFO kablam!    --> src/lib.rs:102:1
Aug 10 23:16:08.692 INFO kablam!     |
Aug 10 23:16:08.692 INFO kablam! 102 | impl<A:PosType<A>> Incr<Succ<A>> for Succ<A> { type Out = Succ<Succ<A>>; }
Aug 10 23:16:08.692 INFO kablam!     | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ the trait `NumType<A>` is not implemented for `A`
Aug 10 23:16:08.692 INFO kablam!     |
Aug 10 23:16:08.692 INFO kablam!     = help: consider adding a `where A: NumType<A>` bound
Aug 10 23:16:08.692 INFO kablam! note: required by `PosType`
Aug 10 23:16:08.692 INFO kablam!    --> src/lib.rs:14:1
Aug 10 23:16:08.692 INFO kablam!     |
Aug 10 23:16:08.692 INFO kablam! 14  | pub trait PosType<N:NumType<N>>: Into<u64> + Into<u32> + Into<u16> + Into<u8> + Into<usize> {}
Aug 10 23:16:08.692 INFO kablam!     | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
Aug 10 23:16:08.692 INFO kablam! 
Aug 10 23:16:08.692 INFO kablam! error[E0277]: the trait bound `A: NumType<A>` is not satisfied
Aug 10 23:16:08.692 INFO kablam!    --> src/lib.rs:103:1
Aug 10 23:16:08.693 INFO kablam!     |
Aug 10 23:16:08.693 INFO kablam! 103 | impl<A:NegType<A>> Incr<Pred<A>> for Pred<A> { type Out = A; }
Aug 10 23:16:08.693 INFO kablam!     | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ the trait `NumType<A>` is not implemented for `A`
Aug 10 23:16:08.693 INFO kablam!     |
Aug 10 23:16:08.693 INFO kablam!     = help: consider adding a `where A: NumType<A>` bound
Aug 10 23:16:08.693 INFO kablam! note: required by `NegType`
Aug 10 23:16:08.693 INFO kablam!    --> src/lib.rs:17:1
Aug 10 23:16:08.693 INFO kablam!     |
Aug 10 23:16:08.693 INFO kablam! 17  | pub trait NegType<N:NumType<N>> {}
Aug 10 23:16:08.693 INFO kablam!     | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
Aug 10 23:16:08.693 INFO kablam! 
Aug 10 23:16:08.693 INFO kablam! error[E0277]: the trait bound `A: NumType<A>` is not satisfied
Aug 10 23:16:08.693 INFO kablam!    --> src/lib.rs:111:1
Aug 10 23:16:08.693 INFO kablam!     |
Aug 10 23:16:08.693 INFO kablam! 111 | impl<A:PosType<A>> Decr<Succ<A>> for Succ<A> { type Out = A; }
Aug 10 23:16:08.693 INFO kablam!     | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ the trait `NumType<A>` is not implemented for `A`
Aug 10 23:16:08.693 INFO kablam!     |
Aug 10 23:16:08.693 INFO kablam!     = help: consider adding a `where A: NumType<A>` bound
Aug 10 23:16:08.693 INFO kablam! note: required by `PosType`
Aug 10 23:16:08.693 INFO kablam!    --> src/lib.rs:14:1
Aug 10 23:16:08.693 INFO kablam!     |
Aug 10 23:16:08.693 INFO kablam! 14  | pub trait PosType<N:NumType<N>>: Into<u64> + Into<u32> + Into<u16> + Into<u8> + Into<usize> {}
Aug 10 23:16:08.693 INFO kablam!     | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
Aug 10 23:16:08.693 INFO kablam! 
Aug 10 23:16:08.693 INFO kablam! error[E0277]: the trait bound `A: NumType<A>` is not satisfied
Aug 10 23:16:08.693 INFO kablam!    --> src/lib.rs:112:1
Aug 10 23:16:08.694 INFO kablam!     |
Aug 10 23:16:08.694 INFO kablam! 112 | impl<A:NegType<A>> Decr<Pred<A>> for Pred<A> { type Out = Pred<Pred<A>>; }
Aug 10 23:16:08.694 INFO kablam!     | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ the trait `NumType<A>` is not implemented for `A`
Aug 10 23:16:08.694 INFO kablam!     |
Aug 10 23:16:08.694 INFO kablam!     = help: consider adding a `where A: NumType<A>` bound
Aug 10 23:16:08.694 INFO kablam! note: required by `NegType`
Aug 10 23:16:08.694 INFO kablam!    --> src/lib.rs:17:1
Aug 10 23:16:08.694 INFO kablam!     |
Aug 10 23:16:08.694 INFO kablam! 17  | pub trait NegType<N:NumType<N>> {}
Aug 10 23:16:08.694 INFO kablam!     | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
Aug 10 23:16:08.694 INFO kablam! 
Aug 10 23:16:08.696 INFO kablam! error[E0277]: the trait bound `A: NumType<A>` is not satisfied
Aug 10 23:16:08.696 INFO kablam!    --> src/lib.rs:120:1
Aug 10 23:16:08.696 INFO kablam!     |
Aug 10 23:16:08.696 INFO kablam! 120 | impl<A:PosType<A>,B,C> Add<Succ<A>,B> for Succ<A> where B:Incr<B,Out=C>, A:Add<A,C>  { type Out = A::Out; }
Aug 10 23:16:08.697 INFO kablam!     | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ the trait `NumType<A>` is not implemented for `A`
Aug 10 23:16:08.697 INFO kablam!     |
Aug 10 23:16:08.697 INFO kablam!     = help: consider adding a `where A: NumType<A>` bound
Aug 10 23:16:08.697 INFO kablam! note: required by `PosType`
Aug 10 23:16:08.697 INFO kablam!    --> src/lib.rs:14:1
Aug 10 23:16:08.697 INFO kablam!     |
Aug 10 23:16:08.697 INFO kablam! 14  | pub trait PosType<N:NumType<N>>: Into<u64> + Into<u32> + Into<u16> + Into<u8> + Into<usize> {}
Aug 10 23:16:08.697 INFO kablam!     | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
Aug 10 23:16:08.697 INFO kablam! 
Aug 10 23:16:08.697 INFO kablam! error[E0277]: the trait bound `A: NumType<A>` is not satisfied
Aug 10 23:16:08.697 INFO kablam!    --> src/lib.rs:121:1
Aug 10 23:16:08.697 INFO kablam!     |
Aug 10 23:16:08.697 INFO kablam! 121 | impl<A:NegType<A>,B,C> Add<Pred<A>,B> for Pred<A> where B:Decr<B,Out=C>, A:Add<A,C>  { type Out = A::Out; }
Aug 10 23:16:08.697 INFO kablam!     | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ the trait `NumType<A>` is not implemented for `A`
Aug 10 23:16:08.697 INFO kablam!     |
Aug 10 23:16:08.697 INFO kablam!     = help: consider adding a `where A: NumType<A>` bound
Aug 10 23:16:08.697 INFO kablam! note: required by `NegType`
Aug 10 23:16:08.697 INFO kablam!    --> src/lib.rs:17:1
Aug 10 23:16:08.697 INFO kablam!     |
Aug 10 23:16:08.697 INFO kablam! 17  | pub trait NegType<N:NumType<N>> {}
Aug 10 23:16:08.697 INFO kablam!     | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
Aug 10 23:16:08.697 INFO kablam! 
Aug 10 23:16:08.698 INFO kablam! error[E0277]: the trait bound `A: NumType<A>` is not satisfied
Aug 10 23:16:08.698 INFO kablam!    --> src/lib.rs:139:1
Aug 10 23:16:08.699 INFO kablam!     |
Aug 10 23:16:08.699 INFO kablam! 139 | impl<A:PosType<A>,B> Halve<Succ<Succ<A>>> for Succ<Succ<A>> where A:Halve<A,Out=B>  { type Out = Succ<B>; }
Aug 10 23:16:08.699 INFO kablam!     | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ the trait `NumType<A>` is not implemented for `A`
Aug 10 23:16:08.699 INFO kablam!     |
Aug 10 23:16:08.699 INFO kablam!     = help: consider adding a `where A: NumType<A>` bound
Aug 10 23:16:08.699 INFO kablam! note: required by `PosType`
Aug 10 23:16:08.702 INFO kablam!    --> src/lib.rs:14:1
Aug 10 23:16:08.702 INFO kablam!     |
Aug 10 23:16:08.703 INFO kablam! 14  | pub trait PosType<N:NumType<N>>: Into<u64> + Into<u32> + Into<u16> + Into<u8> + Into<usize> {}
Aug 10 23:16:08.703 INFO kablam!     | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
Aug 10 23:16:08.703 INFO kablam! 
Aug 10 23:16:08.703 INFO kablam! error[E0277]: the trait bound `A: NumType<A>` is not satisfied
Aug 10 23:16:08.703 INFO kablam!    --> src/lib.rs:140:1
Aug 10 23:16:08.703 INFO kablam!     |
Aug 10 23:16:08.703 INFO kablam! 140 | impl<A:NegType<A>,B> Halve<Pred<Pred<A>>> for Pred<Pred<A>> where A:Halve<A,Out=B>  { type Out = Pred<B>; }
Aug 10 23:16:08.703 INFO kablam!     | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ the trait `NumType<A>` is not implemented for `A`
Aug 10 23:16:08.703 INFO kablam!     |
Aug 10 23:16:08.703 INFO kablam!     = help: consider adding a `where A: NumType<A>` bound
Aug 10 23:16:08.704 INFO kablam! note: required by `NegType`
Aug 10 23:16:08.704 INFO kablam!    --> src/lib.rs:17:1
Aug 10 23:16:08.704 INFO kablam!     |
Aug 10 23:16:08.704 INFO kablam! 17  | pub trait NegType<N:NumType<N>> {}
Aug 10 23:16:08.704 INFO kablam!     | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
Aug 10 23:16:08.704 INFO kablam! 
Aug 10 23:16:08.704 INFO kablam! error[E0277]: the trait bound `A: NumType<A>` is not satisfied
Aug 10 23:16:08.704 INFO kablam!    --> src/lib.rs:148:1
Aug 10 23:16:08.704 INFO kablam!     |
Aug 10 23:16:08.704 INFO kablam! 148 | impl<A:PosType<A>,B,C> Mul<Succ<A>,B> for Succ<A> where A:Mul<A,B,Out=C>, B:Add<B,C> { type Out = B::Out; }
Aug 10 23:16:08.704 INFO kablam!     | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ the trait `NumType<A>` is not implemented for `A`
Aug 10 23:16:08.704 INFO kablam!     |
Aug 10 23:16:08.704 INFO kablam!     = help: consider adding a `where A: NumType<A>` bound
Aug 10 23:16:08.704 INFO kablam! note: required by `PosType`
Aug 10 23:16:08.704 INFO kablam!    --> src/lib.rs:14:1
Aug 10 23:16:08.704 INFO kablam!     |
Aug 10 23:16:08.704 INFO kablam! 14  | pub trait PosType<N:NumType<N>>: Into<u64> + Into<u32> + Into<u16> + Into<u8> + Into<usize> {}
Aug 10 23:16:08.704 INFO kablam!     | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
Aug 10 23:16:08.704 INFO kablam! 
Aug 10 23:16:08.704 INFO kablam! error[E0277]: the trait bound `A: NumType<A>` is not satisfied
Aug 10 23:16:08.704 INFO kablam!    --> src/lib.rs:149:1
Aug 10 23:16:08.704 INFO kablam!     |
Aug 10 23:16:08.704 INFO kablam! 149 | impl<A:NegType<A>,B,NB,C> Mul<Pred<A>,B> for Pred<A> where A:Mul<A,B,Out=C>, B:Neg<B,Out=NB>, NB:Add<NB,C> { type Out = NB::Out; }
Aug 10 23:16:08.704 INFO kablam!     | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ the trait `NumType<A>` is not implemented for `A`
Aug 10 23:16:08.704 INFO kablam!     |
Aug 10 23:16:08.705 INFO kablam!     = help: consider adding a `where A: NumType<A>` bound
Aug 10 23:16:08.705 INFO kablam! note: required by `NegType`
Aug 10 23:16:08.705 INFO kablam!    --> src/lib.rs:17:1
Aug 10 23:16:08.705 INFO kablam!     |
Aug 10 23:16:08.705 INFO kablam! 17  | pub trait NegType<N:NumType<N>> {}
Aug 10 23:16:08.705 INFO kablam!     | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
Aug 10 23:16:08.705 INFO kablam! 
Aug 10 23:16:08.705 INFO kablam! error[E0277]: the trait bound `A: NumType<A>` is not satisfied
Aug 10 23:16:08.705 INFO kablam!    --> src/lib.rs:156:1
Aug 10 23:16:08.705 INFO kablam!     |
Aug 10 23:16:08.705 INFO kablam! 156 | impl<A:PosType<A>> Div<Zero,Succ<A>> for Zero { type Out = Zero; }
Aug 10 23:16:08.705 INFO kablam!     | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ the trait `NumType<A>` is not implemented for `A`
Aug 10 23:16:08.705 INFO kablam!     |
Aug 10 23:16:08.705 INFO kablam!     = help: consider adding a `where A: NumType<A>` bound
Aug 10 23:16:08.705 INFO kablam! note: required by `PosType`
Aug 10 23:16:08.705 INFO kablam!    --> src/lib.rs:14:1
Aug 10 23:16:08.705 INFO kablam!     |
Aug 10 23:16:08.705 INFO kablam! 14  | pub trait PosType<N:NumType<N>>: Into<u64> + Into<u32> + Into<u16> + Into<u8> + Into<usize> {}
Aug 10 23:16:08.705 INFO kablam!     | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
Aug 10 23:16:08.705 INFO kablam! 
Aug 10 23:16:08.705 INFO kablam! error[E0277]: the trait bound `A: NumType<A>` is not satisfied
Aug 10 23:16:08.705 INFO kablam!    --> src/lib.rs:157:1
Aug 10 23:16:08.705 INFO kablam!     |
Aug 10 23:16:08.705 INFO kablam! 157 | impl<A:NegType<A>> Div<Zero,Pred<A>> for Zero { type Out = Zero; }
Aug 10 23:16:08.705 INFO kablam!     | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ the trait `NumType<A>` is not implemented for `A`
Aug 10 23:16:08.705 INFO kablam!     |
Aug 10 23:16:08.705 INFO kablam!     = help: consider adding a `where A: NumType<A>` bound
Aug 10 23:16:08.705 INFO kablam! note: required by `NegType`
Aug 10 23:16:08.705 INFO kablam!    --> src/lib.rs:17:1
Aug 10 23:16:08.706 INFO kablam!     |
Aug 10 23:16:08.706 INFO kablam! 17  | pub trait NegType<N:NumType<N>> {}
Aug 10 23:16:08.706 INFO kablam!     | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
Aug 10 23:16:08.706 INFO kablam! 
Aug 10 23:16:08.708 INFO kablam! error[E0277]: the trait bound `NN: NumType<NN>` is not satisfied
Aug 10 23:16:08.708 INFO kablam!    --> src/lib.rs:159:1
Aug 10 23:16:08.708 INFO kablam!     |
Aug 10 23:16:08.709 INFO kablam! 159 | / impl<N:NegType<N>,NN:NegType<NN>,P:PosType<P>,PP:PosType<PP>> Div<Pred<N>,Pred<NN>> for Pred<N>
Aug 10 23:16:08.709 INFO kablam! 160 | |     where N:Neg<N,Out=P>, NN:Neg<NN,Out=PP>, Succ<P>:Div<Succ<P>,Succ<PP>> { type Out = <Succ<P> as Div<Succ<P>,Succ<PP>>>::Out; }
Aug 10 23:16:08.709 INFO kablam!     | |__________________________________________________________________________________________________________________________________^ the trait `NumType<NN>` is not implemented for `NN`
Aug 10 23:16:08.709 INFO kablam!     |
Aug 10 23:16:08.709 INFO kablam!     = help: consider adding a `where NN: NumType<NN>` bound
Aug 10 23:16:08.709 INFO kablam! note: required by `NegType`
Aug 10 23:16:08.709 INFO kablam!    --> src/lib.rs:17:1
Aug 10 23:16:08.709 INFO kablam!     |
Aug 10 23:16:08.709 INFO kablam! 17  | pub trait NegType<N:NumType<N>> {}
Aug 10 23:16:08.709 INFO kablam!     | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
Aug 10 23:16:08.709 INFO kablam! 
Aug 10 23:16:08.709 INFO kablam! error[E0277]: the trait bound `P: NumType<P>` is not satisfied
Aug 10 23:16:08.709 INFO kablam!    --> src/lib.rs:159:1
Aug 10 23:16:08.709 INFO kablam!     |
Aug 10 23:16:08.709 INFO kablam! 159 | / impl<N:NegType<N>,NN:NegType<NN>,P:PosType<P>,PP:PosType<PP>> Div<Pred<N>,Pred<NN>> for Pred<N>
Aug 10 23:16:08.709 INFO kablam! 160 | |     where N:Neg<N,Out=P>, NN:Neg<NN,Out=PP>, Succ<P>:Div<Succ<P>,Succ<PP>> { type Out = <Succ<P> as Div<Succ<P>,Succ<PP>>>::Out; }
Aug 10 23:16:08.709 INFO kablam!     | |__________________________________________________________________________________________________________________________________^ the trait `NumType<P>` is not implemented for `P`
Aug 10 23:16:08.709 INFO kablam!     |
Aug 10 23:16:08.709 INFO kablam!     = help: consider adding a `where P: NumType<P>` bound
Aug 10 23:16:08.709 INFO kablam! note: required by `PosType`
Aug 10 23:16:08.709 INFO kablam!    --> src/lib.rs:14:1
Aug 10 23:16:08.709 INFO kablam!     |
Aug 10 23:16:08.709 INFO kablam! 14  | pub trait PosType<N:NumType<N>>: Into<u64> + Into<u32> + Into<u16> + Into<u8> + Into<usize> {}
Aug 10 23:16:08.709 INFO kablam!     | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
Aug 10 23:16:08.709 INFO kablam! 
Aug 10 23:16:08.709 INFO kablam! error[E0277]: the trait bound `PP: NumType<PP>` is not satisfied
Aug 10 23:16:08.709 INFO kablam!    --> src/lib.rs:159:1
Aug 10 23:16:08.709 INFO kablam!     |
Aug 10 23:16:08.710 INFO kablam! 159 | / impl<N:NegType<N>,NN:NegType<NN>,P:PosType<P>,PP:PosType<PP>> Div<Pred<N>,Pred<NN>> for Pred<N>
Aug 10 23:16:08.710 INFO kablam! 160 | |     where N:Neg<N,Out=P>, NN:Neg<NN,Out=PP>, Succ<P>:Div<Succ<P>,Succ<PP>> { type Out = <Succ<P> as Div<Succ<P>,Succ<PP>>>::Out; }
Aug 10 23:16:08.710 INFO kablam!     | |__________________________________________________________________________________________________________________________________^ the trait `NumType<PP>` is not implemented for `PP`
Aug 10 23:16:08.710 INFO kablam!     |
Aug 10 23:16:08.710 INFO kablam!     = help: consider adding a `where PP: NumType<PP>` bound
Aug 10 23:16:08.710 INFO kablam! note: required by `PosType`
Aug 10 23:16:08.710 INFO kablam!    --> src/lib.rs:14:1
Aug 10 23:16:08.710 INFO kablam!     |
Aug 10 23:16:08.710 INFO kablam! 14  | pub trait PosType<N:NumType<N>>: Into<u64> + Into<u32> + Into<u16> + Into<u8> + Into<usize> {}
Aug 10 23:16:08.710 INFO kablam!     | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
Aug 10 23:16:08.710 INFO kablam! 
Aug 10 23:16:08.710 INFO kablam! error[E0277]: the trait bound `N: NumType<N>` is not satisfied
Aug 10 23:16:08.710 INFO kablam!    --> src/lib.rs:159:1
Aug 10 23:16:08.710 INFO kablam!     |
Aug 10 23:16:08.710 INFO kablam! 159 | / impl<N:NegType<N>,NN:NegType<NN>,P:PosType<P>,PP:PosType<PP>> Div<Pred<N>,Pred<NN>> for Pred<N>
Aug 10 23:16:08.710 INFO kablam! 160 | |     where N:Neg<N,Out=P>, NN:Neg<NN,Out=PP>, Succ<P>:Div<Succ<P>,Succ<PP>> { type Out = <Succ<P> as Div<Succ<P>,Succ<PP>>>::Out; }
Aug 10 23:16:08.710 INFO kablam!     | |__________________________________________________________________________________________________________________________________^ the trait `NumType<N>` is not implemented for `N`
Aug 10 23:16:08.710 INFO kablam!     |
Aug 10 23:16:08.710 INFO kablam!     = help: consider adding a `where N: NumType<N>` bound
Aug 10 23:16:08.710 INFO kablam! note: required by `NegType`
Aug 10 23:16:08.710 INFO kablam!    --> src/lib.rs:17:1
Aug 10 23:16:08.710 INFO kablam!     |
Aug 10 23:16:08.710 INFO kablam! 17  | pub trait NegType<N:NumType<N>> {}
Aug 10 23:16:08.710 INFO kablam!     | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
Aug 10 23:16:08.710 INFO kablam! 
Aug 10 23:16:08.712 INFO kablam! error[E0277]: the trait bound `N: NumType<N>` is not satisfied
Aug 10 23:16:08.712 INFO kablam!    --> src/lib.rs:161:1
Aug 10 23:16:08.712 INFO kablam!     |
Aug 10 23:16:08.712 INFO kablam! 161 | / impl<P:NumType<P>, N:NegType<N>,PP:NumType<PP>,PPP:NumType<PPP>> Div<Succ<P>,Pred<N>> for Succ<P>
Aug 10 23:16:08.712 INFO kablam! 162 | |     where N:Neg<N,Out=PP>, Succ<P>:Div<Succ<P>,Succ<PP>,Out=Succ<PPP>>, Succ<PPP>:Neg<Succ<PPP>> { type Out = <Succ<PPP> as Neg<Succ<PPP>>>::Out; }
Aug 10 23:16:08.712 INFO kablam!     | |___________________________________________________________________________________________________________________________________________________^ the trait `NumType<N>` is not implemented for `N`
Aug 10 23:16:08.714 INFO kablam!     |
Aug 10 23:16:08.714 INFO kablam!     = help: consider adding a `where N: NumType<N>` bound
Aug 10 23:16:08.714 INFO kablam! note: required by `NegType`
Aug 10 23:16:08.714 INFO kablam!    --> src/lib.rs:17:1
Aug 10 23:16:08.714 INFO kablam!     |
Aug 10 23:16:08.714 INFO kablam! 17  | pub trait NegType<N:NumType<N>> {}
Aug 10 23:16:08.714 INFO kablam!     | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
Aug 10 23:16:08.714 INFO kablam! 
Aug 10 23:16:08.716 INFO kablam! error[E0277]: the trait bound `N: NumType<N>` is not satisfied
Aug 10 23:16:08.716 INFO kablam!    --> src/lib.rs:163:1
Aug 10 23:16:08.716 INFO kablam!     |
Aug 10 23:16:08.716 INFO kablam! 163 | / impl<P:NumType<P>, N:NegType<N>,PP:NumType<PP>,PPP:NumType<PPP>> Div<Pred<N>,Succ<P>> for Pred<N>
Aug 10 23:16:08.716 INFO kablam! 164 | |     where N:Neg<N,Out=PP>, Succ<PP>:Div<Succ<PP>,Succ<P>,Out=Succ<PPP>>, Succ<PPP>:Neg<Succ<PPP>> { type Out = <Succ<PPP> as Neg<Succ<PPP>>>::Out; }
Aug 10 23:16:08.716 INFO kablam!     | |____________________________________________________________________________________________________________________________________________________^ the trait `NumType<N>` is not implemented for `N`
Aug 10 23:16:08.716 INFO kablam!     |
Aug 10 23:16:08.716 INFO kablam!     = help: consider adding a `where N: NumType<N>` bound
Aug 10 23:16:08.716 INFO kablam! note: required by `NegType`
Aug 10 23:16:08.716 INFO kablam!    --> src/lib.rs:17:1
Aug 10 23:16:08.716 INFO kablam!     |
Aug 10 23:16:08.716 INFO kablam! 17  | pub trait NegType<N:NumType<N>> {}
Aug 10 23:16:08.716 INFO kablam!     | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
Aug 10 23:16:08.717 INFO kablam! 
Aug 10 23:16:08.771 INFO kablam! error: aborting due to 22 previous errors
Aug 10 23:16:08.772 INFO kablam! 
Aug 10 23:16:08.772 INFO kablam! For more information about this error, try `rustc --explain E0277`.
Aug 10 23:16:08.781 INFO kablam! error: Could not compile `tylar`.
Aug 10 23:16:08.782 INFO kablam! 
Aug 10 23:16:08.782 INFO kablam! To learn more, run the command again with --verbose.
Aug 10 23:16:08.782 INFO kablam! su: No module specific data is present
Aug 10 23:16:09.391 INFO running `"docker" "rm" "-f" "b9f28c2589b838317744cac3d2d8f1a4505a9f2c9a8f90afcb277a5d87bd39cc"`
Aug 10 23:16:09.542 INFO blam! b9f28c2589b838317744cac3d2d8f1a4505a9f2c9a8f90afcb277a5d87bd39cc