Aug 01 19:46:47.205 INFO checking tylar-0.1.2 against 1.27.2+tmplazy for lazy_static-1 Aug 01 19:46:47.205 INFO running: cargo +1.27.2 check --frozen --all --all-targets Aug 01 19:46:47.205 INFO creating container for: cargo +1.27.2 check --frozen --all --all-targets Aug 01 19:46:47.205 INFO running `"docker" "create" "-v" "/tmp/crater.jzYNpSxn3HgM:/source:ro,Z" "-v" "/home/ec2-user/crater/./work/local/target-dirs/lazy_static-1/worker-4/1.27.2+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 +1.27.2 check --frozen --all --all-targets" "-e" "CARGO_INCREMENTAL=0" "-e" "RUST_BACKTRACE=full" "-e" "RUSTFLAGS=--cap-lints=forbid" "crater"` Aug 01 19:46:47.419 INFO blam! 3269b25751f8e173415228d3502b80281774a72ca584883375c269617140557c Aug 01 19:46:47.421 INFO running `"docker" "start" "-a" "3269b25751f8e173415228d3502b80281774a72ca584883375c269617140557c"` Aug 01 19:46:48.419 INFO kablam! Checking tylar v0.1.2 (file:///source) Aug 01 19:46:48.935 INFO kablam! error[E0277]: the trait bound `A: NumType` is not satisfied Aug 01 19:46:48.935 INFO kablam! --> src/lib.rs:93:1 Aug 01 19:46:48.936 INFO kablam! | Aug 01 19:46:48.936 INFO kablam! 93 | impl,B:NegType> Neg> for Succ where A: Neg { type Out = Pred; } Aug 01 19:46:48.936 INFO kablam! | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ the trait `NumType` is not implemented for `A` Aug 01 19:46:48.936 INFO kablam! | Aug 01 19:46:48.936 INFO kablam! = help: consider adding a `where A: NumType` bound Aug 01 19:46:48.937 INFO kablam! note: required by `PosType` Aug 01 19:46:48.937 INFO kablam! --> src/lib.rs:14:1 Aug 01 19:46:48.937 INFO kablam! | Aug 01 19:46:48.937 INFO kablam! 14 | pub trait PosType>: Into + Into + Into + Into + Into {} Aug 01 19:46:48.937 INFO kablam! | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ Aug 01 19:46:48.937 INFO kablam! Aug 01 19:46:48.937 INFO kablam! error[E0277]: the trait bound `B: NumType` is not satisfied Aug 01 19:46:48.937 INFO kablam! --> src/lib.rs:93:1 Aug 01 19:46:48.937 INFO kablam! | Aug 01 19:46:48.937 INFO kablam! 93 | impl,B:NegType> Neg> for Succ where A: Neg { type Out = Pred; } Aug 01 19:46:48.938 INFO kablam! | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ the trait `NumType` is not implemented for `B` Aug 01 19:46:48.938 INFO kablam! | Aug 01 19:46:48.938 INFO kablam! = help: consider adding a `where B: NumType` bound Aug 01 19:46:48.938 INFO kablam! note: required by `NegType` Aug 01 19:46:48.938 INFO kablam! --> src/lib.rs:17:1 Aug 01 19:46:48.938 INFO kablam! | Aug 01 19:46:48.938 INFO kablam! 17 | pub trait NegType> {} Aug 01 19:46:48.939 INFO kablam! | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ Aug 01 19:46:48.939 INFO kablam! Aug 01 19:46:48.940 INFO kablam! error[E0277]: the trait bound `A: NumType` is not satisfied Aug 01 19:46:48.940 INFO kablam! --> src/lib.rs:94:1 Aug 01 19:46:48.940 INFO kablam! | Aug 01 19:46:48.940 INFO kablam! 94 | impl,B:PosType> Neg> for Pred where A: Neg { type Out = Succ; } Aug 01 19:46:48.940 INFO kablam! | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ the trait `NumType` is not implemented for `A` Aug 01 19:46:48.941 INFO kablam! | Aug 01 19:46:48.943 INFO kablam! = help: consider adding a `where A: NumType` bound Aug 01 19:46:48.943 INFO kablam! note: required by `NegType` Aug 01 19:46:48.943 INFO kablam! --> src/lib.rs:17:1 Aug 01 19:46:48.943 INFO kablam! | Aug 01 19:46:48.943 INFO kablam! 17 | pub trait NegType> {} Aug 01 19:46:48.943 INFO kablam! | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ Aug 01 19:46:48.943 INFO kablam! Aug 01 19:46:48.944 INFO kablam! error[E0277]: the trait bound `B: NumType` is not satisfied Aug 01 19:46:48.944 INFO kablam! --> src/lib.rs:94:1 Aug 01 19:46:48.944 INFO kablam! | Aug 01 19:46:48.944 INFO kablam! 94 | impl,B:PosType> Neg> for Pred where A: Neg { type Out = Succ; } Aug 01 19:46:48.944 INFO kablam! | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ the trait `NumType` is not implemented for `B` Aug 01 19:46:48.944 INFO kablam! | Aug 01 19:46:48.945 INFO kablam! = help: consider adding a `where B: NumType` bound Aug 01 19:46:48.945 INFO kablam! note: required by `PosType` Aug 01 19:46:48.945 INFO kablam! --> src/lib.rs:14:1 Aug 01 19:46:48.945 INFO kablam! | Aug 01 19:46:48.945 INFO kablam! 14 | pub trait PosType>: Into + Into + Into + Into + Into {} Aug 01 19:46:48.945 INFO kablam! | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ Aug 01 19:46:48.945 INFO kablam! Aug 01 19:46:48.947 INFO kablam! error[E0277]: the trait bound `A: NumType` is not satisfied Aug 01 19:46:48.947 INFO kablam! --> src/lib.rs:102:1 Aug 01 19:46:48.947 INFO kablam! | Aug 01 19:46:48.947 INFO kablam! 102 | impl> Incr> for Succ { type Out = Succ>; } Aug 01 19:46:48.947 INFO kablam! | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ the trait `NumType` is not implemented for `A` Aug 01 19:46:48.947 INFO kablam! | Aug 01 19:46:48.947 INFO kablam! = help: consider adding a `where A: NumType` bound Aug 01 19:46:48.948 INFO kablam! note: required by `PosType` Aug 01 19:46:48.948 INFO kablam! --> src/lib.rs:14:1 Aug 01 19:46:48.948 INFO kablam! | Aug 01 19:46:48.948 INFO kablam! 14 | pub trait PosType>: Into + Into + Into + Into + Into {} Aug 01 19:46:48.948 INFO kablam! | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ Aug 01 19:46:48.948 INFO kablam! Aug 01 19:46:48.949 INFO kablam! error[E0277]: the trait bound `A: NumType` is not satisfied Aug 01 19:46:48.949 INFO kablam! --> src/lib.rs:103:1 Aug 01 19:46:48.949 INFO kablam! | Aug 01 19:46:48.949 INFO kablam! 103 | impl> Incr> for Pred { type Out = A; } Aug 01 19:46:48.949 INFO kablam! | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ the trait `NumType` is not implemented for `A` Aug 01 19:46:48.949 INFO kablam! | Aug 01 19:46:48.949 INFO kablam! = help: consider adding a `where A: NumType` bound Aug 01 19:46:48.950 INFO kablam! note: required by `NegType` Aug 01 19:46:48.950 INFO kablam! --> src/lib.rs:17:1 Aug 01 19:46:48.950 INFO kablam! | Aug 01 19:46:48.950 INFO kablam! 17 | pub trait NegType> {} Aug 01 19:46:48.950 INFO kablam! | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ Aug 01 19:46:48.950 INFO kablam! Aug 01 19:46:48.952 INFO kablam! error[E0277]: the trait bound `A: NumType` is not satisfied Aug 01 19:46:48.952 INFO kablam! --> src/lib.rs:111:1 Aug 01 19:46:48.952 INFO kablam! | Aug 01 19:46:48.952 INFO kablam! 111 | impl> Decr> for Succ { type Out = A; } Aug 01 19:46:48.952 INFO kablam! | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ the trait `NumType` is not implemented for `A` Aug 01 19:46:48.952 INFO kablam! | Aug 01 19:46:48.952 INFO kablam! = help: consider adding a `where A: NumType` bound Aug 01 19:46:48.953 INFO kablam! note: required by `PosType` Aug 01 19:46:48.953 INFO kablam! --> src/lib.rs:14:1 Aug 01 19:46:48.953 INFO kablam! | Aug 01 19:46:48.953 INFO kablam! 14 | pub trait PosType>: Into + Into + Into + Into + Into {} Aug 01 19:46:48.953 INFO kablam! | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ Aug 01 19:46:48.953 INFO kablam! Aug 01 19:46:48.954 INFO kablam! error[E0277]: the trait bound `A: NumType` is not satisfied Aug 01 19:46:48.954 INFO kablam! --> src/lib.rs:112:1 Aug 01 19:46:48.954 INFO kablam! | Aug 01 19:46:48.954 INFO kablam! 112 | impl> Decr> for Pred { type Out = Pred>; } Aug 01 19:46:48.954 INFO kablam! | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ the trait `NumType` is not implemented for `A` Aug 01 19:46:48.954 INFO kablam! | Aug 01 19:46:48.954 INFO kablam! = help: consider adding a `where A: NumType` bound Aug 01 19:46:48.955 INFO kablam! note: required by `NegType` Aug 01 19:46:48.955 INFO kablam! --> src/lib.rs:17:1 Aug 01 19:46:48.955 INFO kablam! | Aug 01 19:46:48.955 INFO kablam! 17 | pub trait NegType> {} Aug 01 19:46:48.955 INFO kablam! | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ Aug 01 19:46:48.955 INFO kablam! Aug 01 19:46:48.957 INFO kablam! error[E0277]: the trait bound `A: NumType` is not satisfied Aug 01 19:46:48.957 INFO kablam! --> src/lib.rs:120:1 Aug 01 19:46:48.957 INFO kablam! | Aug 01 19:46:48.957 INFO kablam! 120 | impl,B,C> Add,B> for Succ where B:Incr, A:Add { type Out = A::Out; } Aug 01 19:46:48.957 INFO kablam! | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ the trait `NumType` is not implemented for `A` Aug 01 19:46:48.957 INFO kablam! | Aug 01 19:46:48.958 INFO kablam! = help: consider adding a `where A: NumType` bound Aug 01 19:46:48.958 INFO kablam! note: required by `PosType` Aug 01 19:46:48.958 INFO kablam! --> src/lib.rs:14:1 Aug 01 19:46:48.958 INFO kablam! | Aug 01 19:46:48.958 INFO kablam! 14 | pub trait PosType>: Into + Into + Into + Into + Into {} Aug 01 19:46:48.958 INFO kablam! | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ Aug 01 19:46:48.958 INFO kablam! Aug 01 19:46:48.959 INFO kablam! error[E0277]: the trait bound `A: NumType` is not satisfied Aug 01 19:46:48.959 INFO kablam! --> src/lib.rs:121:1 Aug 01 19:46:48.959 INFO kablam! | Aug 01 19:46:48.959 INFO kablam! 121 | impl,B,C> Add,B> for Pred where B:Decr, A:Add { type Out = A::Out; } Aug 01 19:46:48.959 INFO kablam! | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ the trait `NumType` is not implemented for `A` Aug 01 19:46:48.960 INFO kablam! | Aug 01 19:46:48.960 INFO kablam! = help: consider adding a `where A: NumType` bound Aug 01 19:46:48.961 INFO kablam! note: required by `NegType` Aug 01 19:46:48.961 INFO kablam! --> src/lib.rs:17:1 Aug 01 19:46:48.961 INFO kablam! | Aug 01 19:46:48.961 INFO kablam! 17 | pub trait NegType> {} Aug 01 19:46:48.961 INFO kablam! | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ Aug 01 19:46:48.961 INFO kablam! Aug 01 19:46:48.965 INFO kablam! error[E0277]: the trait bound `A: NumType` is not satisfied Aug 01 19:46:48.965 INFO kablam! --> src/lib.rs:139:1 Aug 01 19:46:48.965 INFO kablam! | Aug 01 19:46:48.965 INFO kablam! 139 | impl,B> Halve>> for Succ> where A:Halve { type Out = Succ; } Aug 01 19:46:48.965 INFO kablam! | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ the trait `NumType` is not implemented for `A` Aug 01 19:46:48.965 INFO kablam! | Aug 01 19:46:48.965 INFO kablam! = help: consider adding a `where A: NumType` bound Aug 01 19:46:48.966 INFO kablam! note: required by `PosType` Aug 01 19:46:48.966 INFO kablam! --> src/lib.rs:14:1 Aug 01 19:46:48.966 INFO kablam! | Aug 01 19:46:48.966 INFO kablam! 14 | pub trait PosType>: Into + Into + Into + Into + Into {} Aug 01 19:46:48.966 INFO kablam! | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ Aug 01 19:46:48.966 INFO kablam! Aug 01 19:46:48.967 INFO kablam! error[E0277]: the trait bound `A: NumType` is not satisfied Aug 01 19:46:48.967 INFO kablam! --> src/lib.rs:140:1 Aug 01 19:46:48.967 INFO kablam! | Aug 01 19:46:48.967 INFO kablam! 140 | impl,B> Halve>> for Pred> where A:Halve { type Out = Pred; } Aug 01 19:46:48.967 INFO kablam! | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ the trait `NumType` is not implemented for `A` Aug 01 19:46:48.967 INFO kablam! | Aug 01 19:46:48.968 INFO kablam! = help: consider adding a `where A: NumType` bound Aug 01 19:46:48.968 INFO kablam! note: required by `NegType` Aug 01 19:46:48.968 INFO kablam! --> src/lib.rs:17:1 Aug 01 19:46:48.968 INFO kablam! | Aug 01 19:46:48.968 INFO kablam! 17 | pub trait NegType> {} Aug 01 19:46:48.968 INFO kablam! | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ Aug 01 19:46:48.968 INFO kablam! Aug 01 19:46:48.970 INFO kablam! error[E0277]: the trait bound `A: NumType` is not satisfied Aug 01 19:46:48.970 INFO kablam! --> src/lib.rs:148:1 Aug 01 19:46:48.970 INFO kablam! | Aug 01 19:46:48.970 INFO kablam! 148 | impl,B,C> Mul,B> for Succ where A:Mul, B:Add { type Out = B::Out; } Aug 01 19:46:48.970 INFO kablam! | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ the trait `NumType` is not implemented for `A` Aug 01 19:46:48.971 INFO kablam! | Aug 01 19:46:48.971 INFO kablam! = help: consider adding a `where A: NumType` bound Aug 01 19:46:48.971 INFO kablam! note: required by `PosType` Aug 01 19:46:48.971 INFO kablam! --> src/lib.rs:14:1 Aug 01 19:46:48.971 INFO kablam! | Aug 01 19:46:48.971 INFO kablam! 14 | pub trait PosType>: Into + Into + Into + Into + Into {} Aug 01 19:46:48.971 INFO kablam! | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ Aug 01 19:46:48.972 INFO kablam! Aug 01 19:46:48.973 INFO kablam! error[E0277]: the trait bound `A: NumType` is not satisfied Aug 01 19:46:48.973 INFO kablam! --> src/lib.rs:149:1 Aug 01 19:46:48.973 INFO kablam! | Aug 01 19:46:48.973 INFO kablam! 149 | impl,B,NB,C> Mul,B> for Pred where A:Mul, B:Neg, NB:Add { type Out = NB::Out; } Aug 01 19:46:48.973 INFO kablam! | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ the trait `NumType` is not implemented for `A` Aug 01 19:46:48.973 INFO kablam! | Aug 01 19:46:48.973 INFO kablam! = help: consider adding a `where A: NumType` bound Aug 01 19:46:48.974 INFO kablam! note: required by `NegType` Aug 01 19:46:48.974 INFO kablam! --> src/lib.rs:17:1 Aug 01 19:46:48.974 INFO kablam! | Aug 01 19:46:48.974 INFO kablam! 17 | pub trait NegType> {} Aug 01 19:46:48.974 INFO kablam! | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ Aug 01 19:46:48.974 INFO kablam! Aug 01 19:46:48.975 INFO kablam! error[E0277]: the trait bound `A: NumType` is not satisfied Aug 01 19:46:48.975 INFO kablam! --> src/lib.rs:156:1 Aug 01 19:46:48.975 INFO kablam! | Aug 01 19:46:48.975 INFO kablam! 156 | impl> Div> for Zero { type Out = Zero; } Aug 01 19:46:48.975 INFO kablam! | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ the trait `NumType` is not implemented for `A` Aug 01 19:46:48.976 INFO kablam! | Aug 01 19:46:48.976 INFO kablam! = help: consider adding a `where A: NumType` bound Aug 01 19:46:48.976 INFO kablam! note: required by `PosType` Aug 01 19:46:48.976 INFO kablam! --> src/lib.rs:14:1 Aug 01 19:46:48.976 INFO kablam! | Aug 01 19:46:48.977 INFO kablam! 14 | pub trait PosType>: Into + Into + Into + Into + Into {} Aug 01 19:46:48.977 INFO kablam! | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ Aug 01 19:46:48.977 INFO kablam! Aug 01 19:46:48.977 INFO kablam! error[E0277]: the trait bound `A: NumType` is not satisfied Aug 01 19:46:48.978 INFO kablam! --> src/lib.rs:157:1 Aug 01 19:46:48.978 INFO kablam! | Aug 01 19:46:48.978 INFO kablam! 157 | impl> Div> for Zero { type Out = Zero; } Aug 01 19:46:48.978 INFO kablam! | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ the trait `NumType` is not implemented for `A` Aug 01 19:46:48.978 INFO kablam! | Aug 01 19:46:48.978 INFO kablam! = help: consider adding a `where A: NumType` bound Aug 01 19:46:48.979 INFO kablam! note: required by `NegType` Aug 01 19:46:48.979 INFO kablam! --> src/lib.rs:17:1 Aug 01 19:46:48.979 INFO kablam! | Aug 01 19:46:48.979 INFO kablam! 17 | pub trait NegType> {} Aug 01 19:46:48.979 INFO kablam! | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ Aug 01 19:46:48.979 INFO kablam! Aug 01 19:46:49.002 INFO kablam! error[E0277]: the trait bound `A: NumType` is not satisfied Aug 01 19:46:49.002 INFO kablam! --> src/lib.rs:93:1 Aug 01 19:46:49.002 INFO kablam! | Aug 01 19:46:49.002 INFO kablam! 93 | impl,B:NegType> Neg> for Succ where A: Neg { type Out = Pred; } Aug 01 19:46:49.002 INFO kablam! | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ the trait `NumType` is not implemented for `A` Aug 01 19:46:49.002 INFO kablam! | Aug 01 19:46:49.002 INFO kablam! = help: consider adding a `where A: NumType` bound Aug 01 19:46:49.003 INFO kablam! note: required by `PosType` Aug 01 19:46:49.003 INFO kablam! --> src/lib.rs:14:1 Aug 01 19:46:49.003 INFO kablam! | Aug 01 19:46:49.003 INFO kablam! 14 | pub trait PosType>: Into + Into + Into + Into + Into {} Aug 01 19:46:49.003 INFO kablam! | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ Aug 01 19:46:49.003 INFO kablam! Aug 01 19:46:49.003 INFO kablam! error[E0277]: the trait bound `B: NumType` is not satisfied Aug 01 19:46:49.003 INFO kablam! --> src/lib.rs:93:1 Aug 01 19:46:49.003 INFO kablam! | Aug 01 19:46:49.003 INFO kablam! 93 | impl,B:NegType> Neg> for Succ where A: Neg { type Out = Pred; } Aug 01 19:46:49.003 INFO kablam! | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ the trait `NumType` is not implemented for `B` Aug 01 19:46:49.003 INFO kablam! | Aug 01 19:46:49.003 INFO kablam! = help: consider adding a `where B: NumType` bound Aug 01 19:46:49.004 INFO kablam! note: required by `NegType` Aug 01 19:46:49.004 INFO kablam! --> src/lib.rs:17:1 Aug 01 19:46:49.004 INFO kablam! | Aug 01 19:46:49.004 INFO kablam! 17 | pub trait NegType> {} Aug 01 19:46:49.004 INFO kablam! | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ Aug 01 19:46:49.004 INFO kablam! Aug 01 19:46:49.004 INFO kablam! error[E0277]: the trait bound `A: NumType` is not satisfied Aug 01 19:46:49.004 INFO kablam! --> src/lib.rs:94:1 Aug 01 19:46:49.004 INFO kablam! | Aug 01 19:46:49.004 INFO kablam! 94 | impl,B:PosType> Neg> for Pred where A: Neg { type Out = Succ; } Aug 01 19:46:49.004 INFO kablam! | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ the trait `NumType` is not implemented for `A` Aug 01 19:46:49.004 INFO kablam! | Aug 01 19:46:49.004 INFO kablam! = help: consider adding a `where A: NumType` bound Aug 01 19:46:49.004 INFO kablam! note: required by `NegType` Aug 01 19:46:49.004 INFO kablam! --> src/lib.rs:17:1 Aug 01 19:46:49.004 INFO kablam! | Aug 01 19:46:49.004 INFO kablam! 17 | pub trait NegType> {} Aug 01 19:46:49.004 INFO kablam! | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ Aug 01 19:46:49.004 INFO kablam! Aug 01 19:46:49.005 INFO kablam! error[E0277]: the trait bound `B: NumType` is not satisfied Aug 01 19:46:49.005 INFO kablam! --> src/lib.rs:94:1 Aug 01 19:46:49.005 INFO kablam! | Aug 01 19:46:49.005 INFO kablam! 94 | impl,B:PosType> Neg> for Pred where A: Neg { type Out = Succ; } Aug 01 19:46:49.005 INFO kablam! | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ the trait `NumType` is not implemented for `B` Aug 01 19:46:49.005 INFO kablam! | Aug 01 19:46:49.005 INFO kablam! = help: consider adding a `where B: NumType` bound Aug 01 19:46:49.005 INFO kablam! note: required by `PosType` Aug 01 19:46:49.005 INFO kablam! --> src/lib.rs:14:1 Aug 01 19:46:49.005 INFO kablam! | Aug 01 19:46:49.005 INFO kablam! 14 | pub trait PosType>: Into + Into + Into + Into + Into {} Aug 01 19:46:49.005 INFO kablam! | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ Aug 01 19:46:49.005 INFO kablam! Aug 01 19:46:49.006 INFO kablam! error[E0277]: the trait bound `NN: NumType` is not satisfied Aug 01 19:46:49.006 INFO kablam! --> src/lib.rs:159:1 Aug 01 19:46:49.006 INFO kablam! | Aug 01 19:46:49.006 INFO kablam! 159 | / impl,NN:NegType,P:PosType

,PP:PosType> Div,Pred> for Pred Aug 01 19:46:49.006 INFO kablam! 160 | | where N:Neg, NN:Neg, Succ

:Div,Succ> { type Out = as Div,Succ>>::Out; } Aug 01 19:46:49.006 INFO kablam! | |__________________________________________________________________________________________________________________________________^ the trait `NumType` is not implemented for `NN` Aug 01 19:46:49.009 INFO kablam! | Aug 01 19:46:49.010 INFO kablam! = help: consider adding a `where NN: NumType` bound Aug 01 19:46:49.010 INFO kablam! note: required by `NegType` Aug 01 19:46:49.010 INFO kablam! --> src/lib.rs:17:1 Aug 01 19:46:49.010 INFO kablam! | Aug 01 19:46:49.010 INFO kablam! 17 | pub trait NegType> {} Aug 01 19:46:49.010 INFO kablam! | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ Aug 01 19:46:49.010 INFO kablam! Aug 01 19:46:49.011 INFO kablam! error[E0277]: the trait bound `P: NumType

` is not satisfied Aug 01 19:46:49.011 INFO kablam! --> src/lib.rs:159:1 Aug 01 19:46:49.011 INFO kablam! | Aug 01 19:46:49.011 INFO kablam! 159 | / impl,NN:NegType,P:PosType

,PP:PosType> Div,Pred> for Pred Aug 01 19:46:49.011 INFO kablam! 160 | | where N:Neg, NN:Neg, Succ

:Div,Succ> { type Out = as Div,Succ>>::Out; } Aug 01 19:46:49.011 INFO kablam! | |__________________________________________________________________________________________________________________________________^ the trait `NumType

` is not implemented for `P` Aug 01 19:46:49.011 INFO kablam! | Aug 01 19:46:49.012 INFO kablam! = help: consider adding a `where P: NumType

,PP:PosType> Div,Pred> for Pred Aug 01 19:46:49.015 INFO kablam! 160 | | where N:Neg, NN:Neg, Succ

:Div,Succ> { type Out = as Div,Succ>>::Out; } Aug 01 19:46:49.015 INFO kablam! | |__________________________________________________________________________________________________________________________________^ the trait `NumType` is not implemented for `PP` Aug 01 19:46:49.015 INFO kablam! | Aug 01 19:46:49.015 INFO kablam! = help: consider adding a `where PP: NumType` bound Aug 01 19:46:49.015 INFO kablam! note: required by `PosType` Aug 01 19:46:49.015 INFO kablam! --> src/lib.rs:14:1 Aug 01 19:46:49.015 INFO kablam! | Aug 01 19:46:49.016 INFO kablam! 14 | pub trait PosType>: Into + Into + Into + Into + Into {} Aug 01 19:46:49.016 INFO kablam! | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ Aug 01 19:46:49.016 INFO kablam! Aug 01 19:46:49.016 INFO kablam! error[E0277]: the trait bound `N: NumType` is not satisfied Aug 01 19:46:49.016 INFO kablam! --> src/lib.rs:159:1 Aug 01 19:46:49.016 INFO kablam! | Aug 01 19:46:49.016 INFO kablam! 159 | / impl,NN:NegType,P:PosType

,PP:PosType> Div,Pred> for Pred Aug 01 19:46:49.016 INFO kablam! 160 | | where N:Neg, NN:Neg, Succ

:Div,Succ> { type Out = as Div,Succ>>::Out; } Aug 01 19:46:49.016 INFO kablam! | |__________________________________________________________________________________________________________________________________^ the trait `NumType` is not implemented for `N` Aug 01 19:46:49.016 INFO kablam! | Aug 01 19:46:49.016 INFO kablam! = help: consider adding a `where N: NumType` bound Aug 01 19:46:49.016 INFO kablam! note: required by `NegType` Aug 01 19:46:49.016 INFO kablam! --> src/lib.rs:17:1 Aug 01 19:46:49.016 INFO kablam! | Aug 01 19:46:49.016 INFO kablam! 17 | pub trait NegType> {} Aug 01 19:46:49.016 INFO kablam! | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ Aug 01 19:46:49.016 INFO kablam! Aug 01 19:46:49.016 INFO kablam! error[E0277]: the trait bound `A: NumType` is not satisfied Aug 01 19:46:49.016 INFO kablam! --> src/lib.rs:103:1 Aug 01 19:46:49.016 INFO kablam! | Aug 01 19:46:49.016 INFO kablam! 103 | impl> Incr> for Pred { type Out = A; } Aug 01 19:46:49.016 INFO kablam! | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ the trait `NumType` is not implemented for `A` Aug 01 19:46:49.016 INFO kablam! | Aug 01 19:46:49.016 INFO kablam! = help: consider adding a `where A: NumType` bound Aug 01 19:46:49.016 INFO kablam! note: required by `NegType` Aug 01 19:46:49.016 INFO kablam! --> src/lib.rs:17:1 Aug 01 19:46:49.016 INFO kablam! | Aug 01 19:46:49.016 INFO kablam! 17 | pub trait NegType> {} Aug 01 19:46:49.017 INFO kablam! | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ Aug 01 19:46:49.017 INFO kablam! Aug 01 19:46:49.017 INFO kablam! error[E0277]: the trait bound `A: NumType` is not satisfied Aug 01 19:46:49.017 INFO kablam! --> src/lib.rs:111:1 Aug 01 19:46:49.017 INFO kablam! | Aug 01 19:46:49.017 INFO kablam! 111 | impl> Decr> for Succ { type Out = A; } Aug 01 19:46:49.017 INFO kablam! | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ the trait `NumType` is not implemented for `A` Aug 01 19:46:49.017 INFO kablam! | Aug 01 19:46:49.017 INFO kablam! = help: consider adding a `where A: NumType` bound Aug 01 19:46:49.017 INFO kablam! note: required by `PosType` Aug 01 19:46:49.017 INFO kablam! --> src/lib.rs:14:1 Aug 01 19:46:49.017 INFO kablam! | Aug 01 19:46:49.017 INFO kablam! 14 | pub trait PosType>: Into + Into + Into + Into + Into {} Aug 01 19:46:49.017 INFO kablam! | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ Aug 01 19:46:49.017 INFO kablam! Aug 01 19:46:49.017 INFO kablam! error[E0277]: the trait bound `A: NumType` is not satisfied Aug 01 19:46:49.017 INFO kablam! --> src/lib.rs:112:1 Aug 01 19:46:49.017 INFO kablam! | Aug 01 19:46:49.017 INFO kablam! 112 | impl> Decr> for Pred { type Out = Pred>; } Aug 01 19:46:49.017 INFO kablam! | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ the trait `NumType` is not implemented for `A` Aug 01 19:46:49.017 INFO kablam! | Aug 01 19:46:49.017 INFO kablam! = help: consider adding a `where A: NumType` bound Aug 01 19:46:49.017 INFO kablam! note: required by `NegType` Aug 01 19:46:49.017 INFO kablam! --> src/lib.rs:17:1 Aug 01 19:46:49.017 INFO kablam! | Aug 01 19:46:49.017 INFO kablam! 17 | pub trait NegType> {} Aug 01 19:46:49.017 INFO kablam! | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ Aug 01 19:46:49.017 INFO kablam! Aug 01 19:46:49.018 INFO kablam! error[E0277]: the trait bound `A: NumType` is not satisfied Aug 01 19:46:49.019 INFO kablam! --> src/lib.rs:120:1 Aug 01 19:46:49.019 INFO kablam! | Aug 01 19:46:49.019 INFO kablam! 120 | impl,B,C> Add,B> for Succ where B:Incr, A:Add { type Out = A::Out; } Aug 01 19:46:49.019 INFO kablam! | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ the trait `NumType` is not implemented for `A` Aug 01 19:46:49.019 INFO kablam! | Aug 01 19:46:49.019 INFO kablam! = help: consider adding a `where A: NumType` bound Aug 01 19:46:49.020 INFO kablam! note: required by `PosType` Aug 01 19:46:49.020 INFO kablam! --> src/lib.rs:14:1 Aug 01 19:46:49.020 INFO kablam! | Aug 01 19:46:49.020 INFO kablam! 14 | pub trait PosType>: Into + Into + Into + Into + Into {} Aug 01 19:46:49.020 INFO kablam! | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ Aug 01 19:46:49.020 INFO kablam! Aug 01 19:46:49.020 INFO kablam! error[E0277]: the trait bound `A: NumType` is not satisfied Aug 01 19:46:49.020 INFO kablam! --> src/lib.rs:121:1 Aug 01 19:46:49.020 INFO kablam! | Aug 01 19:46:49.020 INFO kablam! 121 | impl,B,C> Add,B> for Pred where B:Decr, A:Add { type Out = A::Out; } Aug 01 19:46:49.020 INFO kablam! | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ the trait `NumType` is not implemented for `A` Aug 01 19:46:49.020 INFO kablam! | Aug 01 19:46:49.020 INFO kablam! = help: consider adding a `where A: NumType` bound Aug 01 19:46:49.020 INFO kablam! note: required by `NegType` Aug 01 19:46:49.020 INFO kablam! --> src/lib.rs:17:1 Aug 01 19:46:49.020 INFO kablam! | Aug 01 19:46:49.020 INFO kablam! 17 | pub trait NegType> {} Aug 01 19:46:49.020 INFO kablam! | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ Aug 01 19:46:49.020 INFO kablam! Aug 01 19:46:49.022 INFO kablam! error[E0277]: the trait bound `A: NumType` is not satisfied Aug 01 19:46:49.023 INFO kablam! --> src/lib.rs:139:1 Aug 01 19:46:49.023 INFO kablam! | Aug 01 19:46:49.023 INFO kablam! 139 | impl,B> Halve>> for Succ> where A:Halve { type Out = Succ; } Aug 01 19:46:49.023 INFO kablam! | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ the trait `NumType` is not implemented for `A` Aug 01 19:46:49.023 INFO kablam! | Aug 01 19:46:49.023 INFO kablam! = help: consider adding a `where A: NumType` bound Aug 01 19:46:49.023 INFO kablam! note: required by `PosType` Aug 01 19:46:49.023 INFO kablam! --> src/lib.rs:14:1 Aug 01 19:46:49.023 INFO kablam! | Aug 01 19:46:49.023 INFO kablam! 14 | pub trait PosType>: Into + Into + Into + Into + Into {} Aug 01 19:46:49.023 INFO kablam! | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ Aug 01 19:46:49.023 INFO kablam! Aug 01 19:46:49.023 INFO kablam! error[E0277]: the trait bound `A: NumType` is not satisfied Aug 01 19:46:49.023 INFO kablam! --> src/lib.rs:140:1 Aug 01 19:46:49.024 INFO kablam! | Aug 01 19:46:49.024 INFO kablam! 140 | impl,B> Halve>> for Pred> where A:Halve { type Out = Pred; } Aug 01 19:46:49.024 INFO kablam! | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ the trait `NumType` is not implemented for `A` Aug 01 19:46:49.024 INFO kablam! | Aug 01 19:46:49.024 INFO kablam! = help: consider adding a `where A: NumType` bound Aug 01 19:46:49.024 INFO kablam! note: required by `NegType` Aug 01 19:46:49.024 INFO kablam! --> src/lib.rs:17:1 Aug 01 19:46:49.024 INFO kablam! | Aug 01 19:46:49.024 INFO kablam! 17 | pub trait NegType> {} Aug 01 19:46:49.024 INFO kablam! | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ Aug 01 19:46:49.024 INFO kablam! Aug 01 19:46:49.030 INFO kablam! error[E0277]: the trait bound `A: NumType` is not satisfied Aug 01 19:46:49.030 INFO kablam! --> src/lib.rs:148:1 Aug 01 19:46:49.030 INFO kablam! | Aug 01 19:46:49.030 INFO kablam! 148 | impl,B,C> Mul,B> for Succ where A:Mul, B:Add { type Out = B::Out; } Aug 01 19:46:49.030 INFO kablam! | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ the trait `NumType` is not implemented for `A` Aug 01 19:46:49.030 INFO kablam! | Aug 01 19:46:49.030 INFO kablam! = help: consider adding a `where A: NumType` bound Aug 01 19:46:49.030 INFO kablam! note: required by `PosType` Aug 01 19:46:49.030 INFO kablam! --> src/lib.rs:14:1 Aug 01 19:46:49.031 INFO kablam! | Aug 01 19:46:49.031 INFO kablam! 14 | pub trait PosType>: Into + Into + Into + Into + Into {} Aug 01 19:46:49.031 INFO kablam! | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ Aug 01 19:46:49.031 INFO kablam! Aug 01 19:46:49.031 INFO kablam! error[E0277]: the trait bound `A: NumType` is not satisfied Aug 01 19:46:49.031 INFO kablam! --> src/lib.rs:149:1 Aug 01 19:46:49.031 INFO kablam! | Aug 01 19:46:49.031 INFO kablam! 149 | impl,B,NB,C> Mul,B> for Pred where A:Mul, B:Neg, NB:Add { type Out = NB::Out; } Aug 01 19:46:49.031 INFO kablam! | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ the trait `NumType` is not implemented for `A` Aug 01 19:46:49.031 INFO kablam! | Aug 01 19:46:49.031 INFO kablam! = help: consider adding a `where A: NumType` bound Aug 01 19:46:49.031 INFO kablam! note: required by `NegType` Aug 01 19:46:49.031 INFO kablam! --> src/lib.rs:17:1 Aug 01 19:46:49.031 INFO kablam! | Aug 01 19:46:49.031 INFO kablam! 17 | pub trait NegType> {} Aug 01 19:46:49.031 INFO kablam! | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ Aug 01 19:46:49.031 INFO kablam! Aug 01 19:46:49.031 INFO kablam! error[E0277]: the trait bound `A: NumType` is not satisfied Aug 01 19:46:49.031 INFO kablam! --> src/lib.rs:156:1 Aug 01 19:46:49.031 INFO kablam! | Aug 01 19:46:49.031 INFO kablam! 156 | impl> Div> for Zero { type Out = Zero; } Aug 01 19:46:49.031 INFO kablam! | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ the trait `NumType` is not implemented for `A` Aug 01 19:46:49.031 INFO kablam! | Aug 01 19:46:49.031 INFO kablam! = help: consider adding a `where A: NumType` bound Aug 01 19:46:49.031 INFO kablam! note: required by `PosType` Aug 01 19:46:49.031 INFO kablam! --> src/lib.rs:14:1 Aug 01 19:46:49.031 INFO kablam! | Aug 01 19:46:49.032 INFO kablam! 14 | pub trait PosType>: Into + Into + Into + Into + Into {} Aug 01 19:46:49.032 INFO kablam! | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ Aug 01 19:46:49.032 INFO kablam! Aug 01 19:46:49.032 INFO kablam! error[E0277]: the trait bound `A: NumType` is not satisfied Aug 01 19:46:49.032 INFO kablam! --> src/lib.rs:157:1 Aug 01 19:46:49.032 INFO kablam! | Aug 01 19:46:49.032 INFO kablam! 157 | impl> Div> for Zero { type Out = Zero; } Aug 01 19:46:49.040 INFO kablam! | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ the trait `NumType` is not implemented for `A` Aug 01 19:46:49.040 INFO kablam! | Aug 01 19:46:49.040 INFO kablam! = help: consider adding a `where A: NumType` bound Aug 01 19:46:49.040 INFO kablam! note: required by `NegType` Aug 01 19:46:49.040 INFO kablam! --> src/lib.rs:17:1 Aug 01 19:46:49.040 INFO kablam! | Aug 01 19:46:49.040 INFO kablam! 17 | pub trait NegType> {} Aug 01 19:46:49.040 INFO kablam! | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ Aug 01 19:46:49.040 INFO kablam! Aug 01 19:46:49.040 INFO kablam! error[E0277]: the trait bound `N: NumType` is not satisfied Aug 01 19:46:49.041 INFO kablam! --> src/lib.rs:161:1 Aug 01 19:46:49.041 INFO kablam! | Aug 01 19:46:49.041 INFO kablam! 161 | / impl, N:NegType,PP:NumType,PPP:NumType> Div,Pred> for Succ

Aug 01 19:46:49.041 INFO kablam! 162 | | where N:Neg, Succ

:Div,Succ,Out=Succ>, Succ:Neg> { type Out = as Neg>>::Out; } Aug 01 19:46:49.041 INFO kablam! | |___________________________________________________________________________________________________________________________________________________^ the trait `NumType` is not implemented for `N` Aug 01 19:46:49.041 INFO kablam! | Aug 01 19:46:49.041 INFO kablam! = help: consider adding a `where N: NumType` bound Aug 01 19:46:49.041 INFO kablam! note: required by `NegType` Aug 01 19:46:49.041 INFO kablam! --> src/lib.rs:17:1 Aug 01 19:46:49.041 INFO kablam! | Aug 01 19:46:49.041 INFO kablam! 17 | pub trait NegType> {} Aug 01 19:46:49.041 INFO kablam! | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ Aug 01 19:46:49.041 INFO kablam! Aug 01 19:46:49.041 INFO kablam! error[E0277]: the trait bound `N: NumType` is not satisfied Aug 01 19:46:49.041 INFO kablam! --> src/lib.rs:163:1 Aug 01 19:46:49.041 INFO kablam! | Aug 01 19:46:49.041 INFO kablam! 163 | / impl, N:NegType,PP:NumType,PPP:NumType> Div,Succ

> for Pred Aug 01 19:46:49.041 INFO kablam! 164 | | where N:Neg, Succ:Div,Succ

,Out=Succ>, Succ:Neg> { type Out = as Neg>>::Out; } Aug 01 19:46:49.041 INFO kablam! | |____________________________________________________________________________________________________________________________________________________^ the trait `NumType` is not implemented for `N` Aug 01 19:46:49.041 INFO kablam! | Aug 01 19:46:49.042 INFO kablam! = help: consider adding a `where N: NumType` bound Aug 01 19:46:49.042 INFO kablam! note: required by `NegType` Aug 01 19:46:49.042 INFO kablam! --> src/lib.rs:17:1 Aug 01 19:46:49.042 INFO kablam! | Aug 01 19:46:49.042 INFO kablam! 17 | pub trait NegType> {} Aug 01 19:46:49.042 INFO kablam! | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ Aug 01 19:46:49.042 INFO kablam! Aug 01 19:46:49.053 INFO kablam! error[E0277]: the trait bound `NN: NumType` is not satisfied Aug 01 19:46:49.053 INFO kablam! --> src/lib.rs:159:1 Aug 01 19:46:49.053 INFO kablam! | Aug 01 19:46:49.053 INFO kablam! 159 | / impl,NN:NegType,P:PosType

,PP:PosType> Div,Pred> for Pred Aug 01 19:46:49.053 INFO kablam! 160 | | where N:Neg, NN:Neg, Succ

:Div,Succ> { type Out = as Div,Succ>>::Out; } Aug 01 19:46:49.053 INFO kablam! | |__________________________________________________________________________________________________________________________________^ the trait `NumType` is not implemented for `NN` Aug 01 19:46:49.053 INFO kablam! | Aug 01 19:46:49.053 INFO kablam! = help: consider adding a `where NN: NumType` bound Aug 01 19:46:49.053 INFO kablam! note: required by `NegType` Aug 01 19:46:49.053 INFO kablam! --> src/lib.rs:17:1 Aug 01 19:46:49.053 INFO kablam! | Aug 01 19:46:49.054 INFO kablam! 17 | pub trait NegType> {} Aug 01 19:46:49.054 INFO kablam! | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ Aug 01 19:46:49.054 INFO kablam! Aug 01 19:46:49.054 INFO kablam! error[E0277]: the trait bound `P: NumType

` is not satisfied Aug 01 19:46:49.054 INFO kablam! --> src/lib.rs:159:1 Aug 01 19:46:49.054 INFO kablam! | Aug 01 19:46:49.054 INFO kablam! 159 | / impl,NN:NegType,P:PosType

,PP:PosType> Div,Pred> for Pred Aug 01 19:46:49.054 INFO kablam! 160 | | where N:Neg, NN:Neg, Succ

:Div,Succ> { type Out = as Div,Succ>>::Out; } Aug 01 19:46:49.054 INFO kablam! | |__________________________________________________________________________________________________________________________________^ the trait `NumType

` is not implemented for `P` Aug 01 19:46:49.054 INFO kablam! | Aug 01 19:46:49.054 INFO kablam! = help: consider adding a `where P: NumType

` bound Aug 01 19:46:49.054 INFO kablam! note: required by `PosType` Aug 01 19:46:49.054 INFO kablam! --> src/lib.rs:14:1 Aug 01 19:46:49.054 INFO kablam! | Aug 01 19:46:49.054 INFO kablam! 14 | pub trait PosType>: Into + Into + Into + Into + Into {} Aug 01 19:46:49.054 INFO kablam! | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ Aug 01 19:46:49.054 INFO kablam! Aug 01 19:46:49.054 INFO kablam! error[E0277]: the trait bound `PP: NumType` is not satisfied Aug 01 19:46:49.054 INFO kablam! --> src/lib.rs:159:1 Aug 01 19:46:49.054 INFO kablam! | Aug 01 19:46:49.054 INFO kablam! 159 | / impl,NN:NegType,P:PosType

,PP:PosType> Div,Pred> for Pred Aug 01 19:46:49.054 INFO kablam! 160 | | where N:Neg, NN:Neg, Succ

:Div,Succ> { type Out = as Div,Succ>>::Out; } Aug 01 19:46:49.054 INFO kablam! | |__________________________________________________________________________________________________________________________________^ the trait `NumType` is not implemented for `PP` Aug 01 19:46:49.054 INFO kablam! | Aug 01 19:46:49.054 INFO kablam! = help: consider adding a `where PP: NumType` bound Aug 01 19:46:49.054 INFO kablam! note: required by `PosType` Aug 01 19:46:49.054 INFO kablam! --> src/lib.rs:14:1 Aug 01 19:46:49.055 INFO kablam! | Aug 01 19:46:49.055 INFO kablam! 14 | pub trait PosType>: Into + Into + Into + Into + Into {} Aug 01 19:46:49.055 INFO kablam! | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ Aug 01 19:46:49.055 INFO kablam! Aug 01 19:46:49.055 INFO kablam! error[E0277]: the trait bound `N: NumType` is not satisfied Aug 01 19:46:49.055 INFO kablam! --> src/lib.rs:159:1 Aug 01 19:46:49.055 INFO kablam! | Aug 01 19:46:49.055 INFO kablam! 159 | / impl,NN:NegType,P:PosType

,PP:PosType> Div,Pred> for Pred Aug 01 19:46:49.055 INFO kablam! 160 | | where N:Neg, NN:Neg, Succ

:Div,Succ> { type Out = as Div,Succ>>::Out; } Aug 01 19:46:49.055 INFO kablam! | |__________________________________________________________________________________________________________________________________^ the trait `NumType` is not implemented for `N` Aug 01 19:46:49.055 INFO kablam! | Aug 01 19:46:49.055 INFO kablam! = help: consider adding a `where N: NumType` bound Aug 01 19:46:49.055 INFO kablam! note: required by `NegType` Aug 01 19:46:49.055 INFO kablam! --> src/lib.rs:17:1 Aug 01 19:46:49.055 INFO kablam! | Aug 01 19:46:49.055 INFO kablam! 17 | pub trait NegType> {} Aug 01 19:46:49.055 INFO kablam! | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ Aug 01 19:46:49.055 INFO kablam! Aug 01 19:46:49.061 INFO kablam! error[E0277]: the trait bound `N: NumType` is not satisfied Aug 01 19:46:49.061 INFO kablam! --> src/lib.rs:161:1 Aug 01 19:46:49.061 INFO kablam! | Aug 01 19:46:49.061 INFO kablam! 161 | / impl, N:NegType,PP:NumType,PPP:NumType> Div,Pred> for Succ

Aug 01 19:46:49.061 INFO kablam! 162 | | where N:Neg, Succ

:Div,Succ,Out=Succ>, Succ:Neg> { type Out = as Neg>>::Out; } Aug 01 19:46:49.061 INFO kablam! | |___________________________________________________________________________________________________________________________________________________^ the trait `NumType` is not implemented for `N` Aug 01 19:46:49.061 INFO kablam! | Aug 01 19:46:49.061 INFO kablam! = help: consider adding a `where N: NumType` bound Aug 01 19:46:49.061 INFO kablam! note: required by `NegType` Aug 01 19:46:49.061 INFO kablam! --> src/lib.rs:17:1 Aug 01 19:46:49.061 INFO kablam! | Aug 01 19:46:49.061 INFO kablam! 17 | pub trait NegType> {} Aug 01 19:46:49.061 INFO kablam! | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ Aug 01 19:46:49.061 INFO kablam! Aug 01 19:46:49.067 INFO kablam! error[E0277]: the trait bound `N: NumType` is not satisfied Aug 01 19:46:49.067 INFO kablam! --> src/lib.rs:163:1 Aug 01 19:46:49.067 INFO kablam! | Aug 01 19:46:49.067 INFO kablam! 163 | / impl, N:NegType,PP:NumType,PPP:NumType> Div,Succ

> for Pred Aug 01 19:46:49.067 INFO kablam! 164 | | where N:Neg, Succ:Div,Succ

,Out=Succ>, Succ:Neg> { type Out = as Neg>>::Out; } Aug 01 19:46:49.067 INFO kablam! | |____________________________________________________________________________________________________________________________________________________^ the trait `NumType` is not implemented for `N` Aug 01 19:46:49.067 INFO kablam! | Aug 01 19:46:49.068 INFO kablam! = help: consider adding a `where N: NumType` bound Aug 01 19:46:49.071 INFO kablam! note: required by `NegType` Aug 01 19:46:49.071 INFO kablam! --> src/lib.rs:17:1 Aug 01 19:46:49.071 INFO kablam! | Aug 01 19:46:49.071 INFO kablam! 17 | pub trait NegType> {} Aug 01 19:46:49.071 INFO kablam! | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ Aug 01 19:46:49.071 INFO kablam! Aug 01 19:46:49.109 INFO kablam! error: aborting due to 22 previous errors Aug 01 19:46:49.109 INFO kablam! Aug 01 19:46:49.109 INFO kablam! For more information about this error, try `rustc --explain E0277`. Aug 01 19:46:49.117 INFO kablam! error: aborting due to 22 previous errors Aug 01 19:46:49.117 INFO kablam! Aug 01 19:46:49.117 INFO kablam! For more information about this error, try `rustc --explain E0277`. Aug 01 19:46:49.123 INFO kablam! error: Could not compile `tylar`. Aug 01 19:46:49.123 INFO kablam! warning: build failed, waiting for other jobs to finish... Aug 01 19:46:49.135 INFO kablam! error: Could not compile `tylar`. Aug 01 19:46:49.135 INFO kablam! Aug 01 19:46:49.135 INFO kablam! To learn more, run the command again with --verbose. Aug 01 19:46:49.139 INFO kablam! su: No module specific data is present Aug 01 19:46:49.757 INFO running `"docker" "rm" "-f" "3269b25751f8e173415228d3502b80281774a72ca584883375c269617140557c"` Aug 01 19:46:49.900 INFO blam! 3269b25751f8e173415228d3502b80281774a72ca584883375c269617140557c

` bound Aug 01 19:46:49.012 INFO kablam! note: required by `PosType` Aug 01 19:46:49.012 INFO kablam! --> src/lib.rs:14:1 Aug 01 19:46:49.012 INFO kablam! | Aug 01 19:46:49.012 INFO kablam! 14 | pub trait PosType>: Into + Into + Into + Into + Into {} Aug 01 19:46:49.012 INFO kablam! | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ Aug 01 19:46:49.013 INFO kablam! Aug 01 19:46:49.015 INFO kablam! error[E0277]: the trait bound `A: NumType` is not satisfied Aug 01 19:46:49.015 INFO kablam! --> src/lib.rs:102:1 Aug 01 19:46:49.015 INFO kablam! | Aug 01 19:46:49.015 INFO kablam! 102 | impl> Incr> for Succ { type Out = Succ>; } Aug 01 19:46:49.015 INFO kablam! | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ the trait `NumType` is not implemented for `A` Aug 01 19:46:49.015 INFO kablam! | Aug 01 19:46:49.015 INFO kablam! = help: consider adding a `where A: NumType` bound Aug 01 19:46:49.015 INFO kablam! note: required by `PosType` Aug 01 19:46:49.015 INFO kablam! --> src/lib.rs:14:1 Aug 01 19:46:49.015 INFO kablam! | Aug 01 19:46:49.015 INFO kablam! 14 | pub trait PosType>: Into + Into + Into + Into + Into {} Aug 01 19:46:49.015 INFO kablam! | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ Aug 01 19:46:49.015 INFO kablam! Aug 01 19:46:49.015 INFO kablam! error[E0277]: the trait bound `PP: NumType` is not satisfied Aug 01 19:46:49.015 INFO kablam! --> src/lib.rs:159:1 Aug 01 19:46:49.015 INFO kablam! | Aug 01 19:46:49.015 INFO kablam! 159 | / impl,NN:NegType,P:PosType