Sep 01 03:16:40.772 INFO checking type-level-logic-0.1.0 against try#aa245a5862056b681d2ccdb178f58891108cd3a6 for pr-53831
Sep 01 03:16:40.772 INFO running: cargo +aa245a5862056b681d2ccdb178f58891108cd3a6-alt check --frozen --all --all-targets
Sep 01 03:16:40.772 INFO running `"docker" "create" "-v" "/home/ec2-user/crater/./work/local/test-source/worker-2/pr-53831/try#aa245a5862056b681d2ccdb178f58891108cd3a6:/source:ro,Z" "-v" "/home/ec2-user/crater/./work/local/target-dirs/pr-53831/worker-2/try#aa245a5862056b681d2ccdb178f58891108cd3a6:/target:rw,Z" "-v" "/home/ec2-user/crater/./work/local/cargo-home:/cargo-home:ro,Z" "-v" "/home/ec2-user/crater/./work/local/rustup-home:/rustup-home:ro,Z" "-e" "USER_ID=500" "-e" "CMD=cargo +aa245a5862056b681d2ccdb178f58891108cd3a6-alt check --frozen --all --all-targets" "-e" "CARGO_INCREMENTAL=0" "-e" "RUST_BACKTRACE=full" "-e" "RUSTFLAGS=--cap-lints=forbid" "-m" "2G" "crater"`
Sep 01 03:16:40.918 INFO blam! 9ddc353fb5b096fa00ba670cb121423003b21e41c797383fa56d4a4ed9e25a26
Sep 01 03:16:40.920 INFO running `"docker" "start" "-a" "9ddc353fb5b096fa00ba670cb121423003b21e41c797383fa56d4a4ed9e25a26"`
Sep 01 03:16:41.846 INFO kablam!     Checking type-operators v0.3.5
Sep 01 03:16:42.053 INFO kablam!     Checking type-level-logic v0.1.0 (file:///source)
Sep 01 03:16:44.160 INFO kablam! warning: bounds on generic parameters are not enforced in type aliases
Sep 01 03:16:44.160 INFO kablam!  --> src/strong/boolean.rs:9:19
Sep 01 03:16:44.161 INFO kablam!   |
Sep 01 03:16:44.161 INFO kablam! 9 |     (And) BoolAnd(Bool, Bool): Bool {
Sep 01 03:16:44.161 INFO kablam!   |                   ^^^^
Sep 01 03:16:44.161 INFO kablam!   |
Sep 01 03:16:44.161 INFO kablam!   = note: #[warn(type_alias_bounds)] on by default
Sep 01 03:16:44.161 INFO kablam!   = help: the bound will not be checked when the type alias is used, and should be removed
Sep 01 03:16:44.162 INFO kablam! 
Sep 01 03:16:44.162 INFO kablam! warning: bounds on generic parameters are not enforced in type aliases
Sep 01 03:16:44.162 INFO kablam!  --> src/strong/boolean.rs:9:25
Sep 01 03:16:44.162 INFO kablam!   |
Sep 01 03:16:44.162 INFO kablam! 9 |     (And) BoolAnd(Bool, Bool): Bool {
Sep 01 03:16:44.162 INFO kablam!   |                         ^^^^
Sep 01 03:16:44.163 INFO kablam!   |
Sep 01 03:16:44.163 INFO kablam!   = help: the bound will not be checked when the type alias is used, and should be removed
Sep 01 03:16:44.163 INFO kablam! 
Sep 01 03:16:44.164 INFO kablam! warning: bounds on generic parameters are not enforced in type aliases
Sep 01 03:16:44.164 INFO kablam!   --> src/strong/boolean.rs:17:17
Sep 01 03:16:44.164 INFO kablam!    |
Sep 01 03:16:44.164 INFO kablam! 17 |     (Or) BoolOr(Bool, Bool): Bool {
Sep 01 03:16:44.164 INFO kablam!    |                 ^^^^
Sep 01 03:16:44.164 INFO kablam!    |
Sep 01 03:16:44.164 INFO kablam!    = help: the bound will not be checked when the type alias is used, and should be removed
Sep 01 03:16:44.165 INFO kablam! 
Sep 01 03:16:44.165 INFO kablam! warning: bounds on generic parameters are not enforced in type aliases
Sep 01 03:16:44.165 INFO kablam!   --> src/strong/boolean.rs:17:23
Sep 01 03:16:44.165 INFO kablam!    |
Sep 01 03:16:44.165 INFO kablam! 17 |     (Or) BoolOr(Bool, Bool): Bool {
Sep 01 03:16:44.165 INFO kablam!    |                       ^^^^
Sep 01 03:16:44.166 INFO kablam!    |
Sep 01 03:16:44.166 INFO kablam!    = help: the bound will not be checked when the type alias is used, and should be removed
Sep 01 03:16:44.166 INFO kablam! 
Sep 01 03:16:44.167 INFO kablam! warning: bounds on generic parameters are not enforced in type aliases
Sep 01 03:16:44.167 INFO kablam!   --> src/strong/boolean.rs:26:25
Sep 01 03:16:44.167 INFO kablam!    |
Sep 01 03:16:44.167 INFO kablam! 26 |     (IfThen) BoolIfThen(Bool, Bool): Bool {
Sep 01 03:16:44.167 INFO kablam!    |                         ^^^^
Sep 01 03:16:44.167 INFO kablam!    |
Sep 01 03:16:44.167 INFO kablam!    = help: the bound will not be checked when the type alias is used, and should be removed
Sep 01 03:16:44.168 INFO kablam! 
Sep 01 03:16:44.168 INFO kablam! warning: bounds on generic parameters are not enforced in type aliases
Sep 01 03:16:44.168 INFO kablam!   --> src/strong/boolean.rs:26:31
Sep 01 03:16:44.168 INFO kablam!    |
Sep 01 03:16:44.168 INFO kablam! 26 |     (IfThen) BoolIfThen(Bool, Bool): Bool {
Sep 01 03:16:44.168 INFO kablam!    |                               ^^^^
Sep 01 03:16:44.169 INFO kablam!    |
Sep 01 03:16:44.169 INFO kablam!    = help: the bound will not be checked when the type alias is used, and should be removed
Sep 01 03:16:44.169 INFO kablam! 
Sep 01 03:16:44.170 INFO kablam! warning: bounds on generic parameters are not enforced in type aliases
Sep 01 03:16:44.170 INFO kablam!   --> src/strong/boolean.rs:35:25
Sep 01 03:16:44.170 INFO kablam!    |
Sep 01 03:16:44.170 INFO kablam! 35 |     (OnlyIf) BoolOnlyIf(Bool, Bool): Bool {
Sep 01 03:16:44.170 INFO kablam!    |                         ^^^^
Sep 01 03:16:44.170 INFO kablam!    |
Sep 01 03:16:44.171 INFO kablam!    = help: the bound will not be checked when the type alias is used, and should be removed
Sep 01 03:16:44.171 INFO kablam! 
Sep 01 03:16:44.171 INFO kablam! warning: bounds on generic parameters are not enforced in type aliases
Sep 01 03:16:44.171 INFO kablam!   --> src/strong/boolean.rs:35:31
Sep 01 03:16:44.171 INFO kablam!    |
Sep 01 03:16:44.171 INFO kablam! 35 |     (OnlyIf) BoolOnlyIf(Bool, Bool): Bool {
Sep 01 03:16:44.171 INFO kablam!    |                               ^^^^
Sep 01 03:16:44.172 INFO kablam!    |
Sep 01 03:16:44.172 INFO kablam!    = help: the bound will not be checked when the type alias is used, and should be removed
Sep 01 03:16:44.172 INFO kablam! 
Sep 01 03:16:44.173 INFO kablam! warning: bounds on generic parameters are not enforced in type aliases
Sep 01 03:16:44.173 INFO kablam!   --> src/strong/boolean.rs:43:19
Sep 01 03:16:44.173 INFO kablam!    |
Sep 01 03:16:44.173 INFO kablam! 43 |     (Xor) BoolXor(Bool, Bool): Bool {
Sep 01 03:16:44.173 INFO kablam!    |                   ^^^^
Sep 01 03:16:44.173 INFO kablam!    |
Sep 01 03:16:44.174 INFO kablam!    = help: the bound will not be checked when the type alias is used, and should be removed
Sep 01 03:16:44.174 INFO kablam! 
Sep 01 03:16:44.174 INFO kablam! warning: bounds on generic parameters are not enforced in type aliases
Sep 01 03:16:44.174 INFO kablam!   --> src/strong/boolean.rs:43:25
Sep 01 03:16:44.174 INFO kablam!    |
Sep 01 03:16:44.174 INFO kablam! 43 |     (Xor) BoolXor(Bool, Bool): Bool {
Sep 01 03:16:44.174 INFO kablam!    |                         ^^^^
Sep 01 03:16:44.175 INFO kablam!    |
Sep 01 03:16:44.175 INFO kablam!    = help: the bound will not be checked when the type alias is used, and should be removed
Sep 01 03:16:44.175 INFO kablam! 
Sep 01 03:16:44.176 INFO kablam! warning: bounds on generic parameters are not enforced in type aliases
Sep 01 03:16:44.176 INFO kablam!   --> src/strong/ternary.rs:14:24
Sep 01 03:16:44.176 INFO kablam!    |
Sep 01 03:16:44.176 INFO kablam! 14 |     (Nat2First) Nat2P1(NatPair): Nat {
Sep 01 03:16:44.176 INFO kablam!    |                        ^^^^^^^
Sep 01 03:16:44.177 INFO kablam!    |
Sep 01 03:16:44.177 INFO kablam!    = help: the bound will not be checked when the type alias is used, and should be removed
Sep 01 03:16:44.177 INFO kablam! 
Sep 01 03:16:44.178 INFO kablam! warning: bounds on generic parameters are not enforced in type aliases
Sep 01 03:16:44.178 INFO kablam!   --> src/strong/ternary.rs:21:25
Sep 01 03:16:44.178 INFO kablam!    |
Sep 01 03:16:44.178 INFO kablam! 21 |     (Nat2Second) Nat2P2(NatPair): Nat {
Sep 01 03:16:44.178 INFO kablam!    |                         ^^^^^^^
Sep 01 03:16:44.178 INFO kablam!    |
Sep 01 03:16:44.178 INFO kablam!    = help: the bound will not be checked when the type alias is used, and should be removed
Sep 01 03:16:44.179 INFO kablam! 
Sep 01 03:16:44.179 INFO kablam! warning: bounds on generic parameters are not enforced in type aliases
Sep 01 03:16:44.179 INFO kablam!   --> src/strong/ternary.rs:29:20
Sep 01 03:16:44.179 INFO kablam!    |
Sep 01 03:16:44.179 INFO kablam! 29 |     (Succ) NatSucc(Nat): Nat {
Sep 01 03:16:44.179 INFO kablam!    |                    ^^^
Sep 01 03:16:44.180 INFO kablam!    |
Sep 01 03:16:44.180 INFO kablam!    = help: the bound will not be checked when the type alias is used, and should be removed
Sep 01 03:16:44.180 INFO kablam! 
Sep 01 03:16:44.181 INFO kablam! warning: bounds on generic parameters are not enforced in type aliases
Sep 01 03:16:44.181 INFO kablam!   --> src/strong/ternary.rs:41:20
Sep 01 03:16:44.181 INFO kablam!    |
Sep 01 03:16:44.181 INFO kablam! 41 |     (Pred) NatPred(Nat): Nat {
Sep 01 03:16:44.181 INFO kablam!    |                    ^^^
Sep 01 03:16:44.181 INFO kablam!    |
Sep 01 03:16:44.182 INFO kablam!    = help: the bound will not be checked when the type alias is used, and should be removed
Sep 01 03:16:44.182 INFO kablam! 
Sep 01 03:16:44.182 INFO kablam! warning: bounds on generic parameters are not enforced in type aliases
Sep 01 03:16:44.182 INFO kablam!   --> src/strong/ternary.rs:53:32
Sep 01 03:16:44.182 INFO kablam!    |
Sep 01 03:16:44.182 INFO kablam! 53 |     (DoublePred) NatDoublePred(Nat): Nat {
Sep 01 03:16:44.182 INFO kablam!    |                                ^^^
Sep 01 03:16:44.183 INFO kablam!    |
Sep 01 03:16:44.183 INFO kablam!    = help: the bound will not be checked when the type alias is used, and should be removed
Sep 01 03:16:44.183 INFO kablam! 
Sep 01 03:16:44.184 INFO kablam! warning: bounds on generic parameters are not enforced in type aliases
Sep 01 03:16:44.184 INFO kablam!   --> src/strong/ternary.rs:68:24
Sep 01 03:16:44.184 INFO kablam!    |
Sep 01 03:16:44.184 INFO kablam! 68 |     (Triple) NatTriple(Nat): Nat {
Sep 01 03:16:44.184 INFO kablam!    |                        ^^^
Sep 01 03:16:44.184 INFO kablam!    |
Sep 01 03:16:44.185 INFO kablam!    = help: the bound will not be checked when the type alias is used, and should be removed
Sep 01 03:16:44.185 INFO kablam! 
Sep 01 03:16:44.185 INFO kablam! warning: bounds on generic parameters are not enforced in type aliases
Sep 01 03:16:44.185 INFO kablam!   --> src/strong/ternary.rs:81:24
Sep 01 03:16:44.185 INFO kablam!    |
Sep 01 03:16:44.186 INFO kablam! 81 |     (Unique) NatUnique(Nat): Nat {
Sep 01 03:16:44.186 INFO kablam!    |                        ^^^
Sep 01 03:16:44.186 INFO kablam!    |
Sep 01 03:16:44.186 INFO kablam!    = help: the bound will not be checked when the type alias is used, and should be removed
Sep 01 03:16:44.186 INFO kablam! 
Sep 01 03:16:44.187 INFO kablam! warning: bounds on generic parameters are not enforced in type aliases
Sep 01 03:16:44.187 INFO kablam!   --> src/strong/ternary.rs:95:18
Sep 01 03:16:44.187 INFO kablam!    |
Sep 01 03:16:44.187 INFO kablam! 95 |     (Add) NatAdd(Nat, Nat): Nat {
Sep 01 03:16:44.187 INFO kablam!    |                  ^^^
Sep 01 03:16:44.187 INFO kablam!    |
Sep 01 03:16:44.188 INFO kablam!    = help: the bound will not be checked when the type alias is used, and should be removed
Sep 01 03:16:44.188 INFO kablam! 
Sep 01 03:16:44.188 INFO kablam! warning: bounds on generic parameters are not enforced in type aliases
Sep 01 03:16:44.188 INFO kablam!   --> src/strong/ternary.rs:95:23
Sep 01 03:16:44.189 INFO kablam!    |
Sep 01 03:16:44.189 INFO kablam! 95 |     (Add) NatAdd(Nat, Nat): Nat {
Sep 01 03:16:44.189 INFO kablam!    |                       ^^^
Sep 01 03:16:44.189 INFO kablam!    |
Sep 01 03:16:44.189 INFO kablam!    = help: the bound will not be checked when the type alias is used, and should be removed
Sep 01 03:16:44.190 INFO kablam! 
Sep 01 03:16:44.190 INFO kablam! warning: bounds on generic parameters are not enforced in type aliases
Sep 01 03:16:44.190 INFO kablam!    --> src/strong/ternary.rs:128:38
Sep 01 03:16:44.190 INFO kablam!     |
Sep 01 03:16:44.190 INFO kablam! 128 |     (TriplePlusOne) NatTriplePlusOne(Nat): Nat {
Sep 01 03:16:44.190 INFO kablam!     |                                      ^^^
Sep 01 03:16:44.191 INFO kablam!     |
Sep 01 03:16:44.191 INFO kablam!     = help: the bound will not be checked when the type alias is used, and should be removed
Sep 01 03:16:44.191 INFO kablam! 
Sep 01 03:16:44.192 INFO kablam! warning: bounds on generic parameters are not enforced in type aliases
Sep 01 03:16:44.192 INFO kablam!    --> src/strong/ternary.rs:139:38
Sep 01 03:16:44.192 INFO kablam!     |
Sep 01 03:16:44.192 INFO kablam! 139 |     (TriplePlusTwo) NatTriplePlusTwo(Nat): Nat {
Sep 01 03:16:44.192 INFO kablam!     |                                      ^^^
Sep 01 03:16:44.192 INFO kablam!     |
Sep 01 03:16:44.192 INFO kablam!     = help: the bound will not be checked when the type alias is used, and should be removed
Sep 01 03:16:44.193 INFO kablam! 
Sep 01 03:16:44.193 INFO kablam! warning: bounds on generic parameters are not enforced in type aliases
Sep 01 03:16:44.193 INFO kablam!    --> src/strong/ternary.rs:152:18
Sep 01 03:16:44.193 INFO kablam!     |
Sep 01 03:16:44.193 INFO kablam! 152 |     (Sub) NatSub(Nat, Nat): Nat {
Sep 01 03:16:44.193 INFO kablam!     |                  ^^^
Sep 01 03:16:44.194 INFO kablam!     |
Sep 01 03:16:44.194 INFO kablam!     = help: the bound will not be checked when the type alias is used, and should be removed
Sep 01 03:16:44.194 INFO kablam! 
Sep 01 03:16:44.195 INFO kablam! warning: bounds on generic parameters are not enforced in type aliases
Sep 01 03:16:44.195 INFO kablam!    --> src/strong/ternary.rs:152:23
Sep 01 03:16:44.195 INFO kablam!     |
Sep 01 03:16:44.195 INFO kablam! 152 |     (Sub) NatSub(Nat, Nat): Nat {
Sep 01 03:16:44.195 INFO kablam!     |                       ^^^
Sep 01 03:16:44.195 INFO kablam!     |
Sep 01 03:16:44.195 INFO kablam!     = help: the bound will not be checked when the type alias is used, and should be removed
Sep 01 03:16:44.196 INFO kablam! 
Sep 01 03:16:44.196 INFO kablam! warning: bounds on generic parameters are not enforced in type aliases
Sep 01 03:16:44.196 INFO kablam!    --> src/strong/ternary.rs:185:18
Sep 01 03:16:44.196 INFO kablam!     |
Sep 01 03:16:44.196 INFO kablam! 185 |     (Mul) NatMul(Nat, Nat): Nat {
Sep 01 03:16:44.196 INFO kablam!     |                  ^^^
Sep 01 03:16:44.197 INFO kablam!     |
Sep 01 03:16:44.197 INFO kablam!     = help: the bound will not be checked when the type alias is used, and should be removed
Sep 01 03:16:44.197 INFO kablam! 
Sep 01 03:16:44.198 INFO kablam! warning: bounds on generic parameters are not enforced in type aliases
Sep 01 03:16:44.198 INFO kablam!    --> src/strong/ternary.rs:185:23
Sep 01 03:16:44.198 INFO kablam!     |
Sep 01 03:16:44.198 INFO kablam! 185 |     (Mul) NatMul(Nat, Nat): Nat {
Sep 01 03:16:44.198 INFO kablam!     |                       ^^^
Sep 01 03:16:44.198 INFO kablam!     |
Sep 01 03:16:44.199 INFO kablam!     = help: the bound will not be checked when the type alias is used, and should be removed
Sep 01 03:16:44.199 INFO kablam! 
Sep 01 03:16:44.199 INFO kablam! warning: bounds on generic parameters are not enforced in type aliases
Sep 01 03:16:44.200 INFO kablam!    --> src/strong/ternary.rs:220:18
Sep 01 03:16:44.200 INFO kablam!     |
Sep 01 03:16:44.200 INFO kablam! 220 |     (Cmp) NatCmp(Nat, Nat, Nat, Nat, Nat): Nat {
Sep 01 03:16:44.200 INFO kablam!     |                  ^^^
Sep 01 03:16:44.200 INFO kablam!     |
Sep 01 03:16:44.200 INFO kablam!     = help: the bound will not be checked when the type alias is used, and should be removed
Sep 01 03:16:44.201 INFO kablam! 
Sep 01 03:16:44.201 INFO kablam! warning: bounds on generic parameters are not enforced in type aliases
Sep 01 03:16:44.201 INFO kablam!    --> src/strong/ternary.rs:220:23
Sep 01 03:16:44.201 INFO kablam!     |
Sep 01 03:16:44.201 INFO kablam! 220 |     (Cmp) NatCmp(Nat, Nat, Nat, Nat, Nat): Nat {
Sep 01 03:16:44.201 INFO kablam!     |                       ^^^
Sep 01 03:16:44.201 INFO kablam!     |
Sep 01 03:16:44.202 INFO kablam!     = help: the bound will not be checked when the type alias is used, and should be removed
Sep 01 03:16:44.202 INFO kablam! 
Sep 01 03:16:44.202 INFO kablam! warning: bounds on generic parameters are not enforced in type aliases
Sep 01 03:16:44.202 INFO kablam!    --> src/strong/ternary.rs:220:28
Sep 01 03:16:44.203 INFO kablam!     |
Sep 01 03:16:44.203 INFO kablam! 220 |     (Cmp) NatCmp(Nat, Nat, Nat, Nat, Nat): Nat {
Sep 01 03:16:44.203 INFO kablam!     |                            ^^^
Sep 01 03:16:44.203 INFO kablam!     |
Sep 01 03:16:44.203 INFO kablam!     = help: the bound will not be checked when the type alias is used, and should be removed
Sep 01 03:16:44.204 INFO kablam! 
Sep 01 03:16:44.204 INFO kablam! warning: bounds on generic parameters are not enforced in type aliases
Sep 01 03:16:44.204 INFO kablam!    --> src/strong/ternary.rs:220:33
Sep 01 03:16:44.204 INFO kablam!     |
Sep 01 03:16:44.204 INFO kablam! 220 |     (Cmp) NatCmp(Nat, Nat, Nat, Nat, Nat): Nat {
Sep 01 03:16:44.204 INFO kablam!     |                                 ^^^
Sep 01 03:16:44.204 INFO kablam!     |
Sep 01 03:16:44.205 INFO kablam!     = help: the bound will not be checked when the type alias is used, and should be removed
Sep 01 03:16:44.205 INFO kablam! 
Sep 01 03:16:44.205 INFO kablam! warning: bounds on generic parameters are not enforced in type aliases
Sep 01 03:16:44.205 INFO kablam!    --> src/strong/ternary.rs:220:38
Sep 01 03:16:44.205 INFO kablam!     |
Sep 01 03:16:44.205 INFO kablam! 220 |     (Cmp) NatCmp(Nat, Nat, Nat, Nat, Nat): Nat {
Sep 01 03:16:44.205 INFO kablam!     |                                      ^^^
Sep 01 03:16:44.206 INFO kablam!     |
Sep 01 03:16:44.206 INFO kablam!     = help: the bound will not be checked when the type alias is used, and should be removed
Sep 01 03:16:44.206 INFO kablam! 
Sep 01 03:16:44.207 INFO kablam! warning: bounds on generic parameters are not enforced in type aliases
Sep 01 03:16:44.207 INFO kablam!    --> src/strong/ternary.rs:247:28
Sep 01 03:16:44.207 INFO kablam!     |
Sep 01 03:16:44.207 INFO kablam! 247 |     (UndefOr2) NatUndefOr2(Nat, Nat, NatPair): NatPair {
Sep 01 03:16:44.207 INFO kablam!     |                            ^^^
Sep 01 03:16:44.208 INFO kablam!     |
Sep 01 03:16:44.208 INFO kablam!     = help: the bound will not be checked when the type alias is used, and should be removed
Sep 01 03:16:44.208 INFO kablam! 
Sep 01 03:16:44.209 INFO kablam! warning: bounds on generic parameters are not enforced in type aliases
Sep 01 03:16:44.209 INFO kablam!    --> src/strong/ternary.rs:247:33
Sep 01 03:16:44.209 INFO kablam!     |
Sep 01 03:16:44.209 INFO kablam! 247 |     (UndefOr2) NatUndefOr2(Nat, Nat, NatPair): NatPair {
Sep 01 03:16:44.209 INFO kablam!     |                                 ^^^
Sep 01 03:16:44.209 INFO kablam!     |
Sep 01 03:16:44.209 INFO kablam!     = help: the bound will not be checked when the type alias is used, and should be removed
Sep 01 03:16:44.209 INFO kablam! 
Sep 01 03:16:44.210 INFO kablam! warning: bounds on generic parameters are not enforced in type aliases
Sep 01 03:16:44.210 INFO kablam!    --> src/strong/ternary.rs:247:38
Sep 01 03:16:44.210 INFO kablam!     |
Sep 01 03:16:44.210 INFO kablam! 247 |     (UndefOr2) NatUndefOr2(Nat, Nat, NatPair): NatPair {
Sep 01 03:16:44.210 INFO kablam!     |                                      ^^^^^^^
Sep 01 03:16:44.211 INFO kablam!     |
Sep 01 03:16:44.214 INFO kablam!     = help: the bound will not be checked when the type alias is used, and should be removed
Sep 01 03:16:44.214 INFO kablam! 
Sep 01 03:16:44.214 INFO kablam! warning: bounds on generic parameters are not enforced in type aliases
Sep 01 03:16:44.214 INFO kablam!    --> src/strong/ternary.rs:262:18
Sep 01 03:16:44.214 INFO kablam!     |
Sep 01 03:16:44.215 INFO kablam! 262 |     (Rev) NatRev(Nat): Nat {
Sep 01 03:16:44.215 INFO kablam!     |                  ^^^
Sep 01 03:16:44.215 INFO kablam!     |
Sep 01 03:16:44.215 INFO kablam!     = help: the bound will not be checked when the type alias is used, and should be removed
Sep 01 03:16:44.215 INFO kablam! 
Sep 01 03:16:44.215 INFO kablam! warning: bounds on generic parameters are not enforced in type aliases
Sep 01 03:16:44.215 INFO kablam!    --> src/strong/ternary.rs:268:34
Sep 01 03:16:44.215 INFO kablam!     |
Sep 01 03:16:44.215 INFO kablam! 268 |     (RevInternal) NatRevInternal(Nat, Nat): Nat {
Sep 01 03:16:44.215 INFO kablam!     |                                  ^^^
Sep 01 03:16:44.215 INFO kablam!     |
Sep 01 03:16:44.215 INFO kablam!     = help: the bound will not be checked when the type alias is used, and should be removed
Sep 01 03:16:44.215 INFO kablam! 
Sep 01 03:16:44.215 INFO kablam! warning: bounds on generic parameters are not enforced in type aliases
Sep 01 03:16:44.215 INFO kablam!    --> src/strong/ternary.rs:268:39
Sep 01 03:16:44.215 INFO kablam!     |
Sep 01 03:16:44.215 INFO kablam! 268 |     (RevInternal) NatRevInternal(Nat, Nat): Nat {
Sep 01 03:16:44.215 INFO kablam!     |                                       ^^^
Sep 01 03:16:44.215 INFO kablam!     |
Sep 01 03:16:44.215 INFO kablam!     = help: the bound will not be checked when the type alias is used, and should be removed
Sep 01 03:16:44.215 INFO kablam! 
Sep 01 03:16:44.215 INFO kablam! warning: bounds on generic parameters are not enforced in type aliases
Sep 01 03:16:44.215 INFO kablam!    --> src/strong/ternary.rs:281:18
Sep 01 03:16:44.215 INFO kablam!     |
Sep 01 03:16:44.215 INFO kablam! 281 |     (Div) NatDiv(Nat, Nat): Nat {
Sep 01 03:16:44.215 INFO kablam!     |                  ^^^
Sep 01 03:16:44.215 INFO kablam!     |
Sep 01 03:16:44.215 INFO kablam!     = help: the bound will not be checked when the type alias is used, and should be removed
Sep 01 03:16:44.215 INFO kablam! 
Sep 01 03:16:44.215 INFO kablam! warning: bounds on generic parameters are not enforced in type aliases
Sep 01 03:16:44.216 INFO kablam!    --> src/strong/ternary.rs:281:23
Sep 01 03:16:44.216 INFO kablam!     |
Sep 01 03:16:44.216 INFO kablam! 281 |     (Div) NatDiv(Nat, Nat): Nat {
Sep 01 03:16:44.216 INFO kablam!     |                       ^^^
Sep 01 03:16:44.216 INFO kablam!     |
Sep 01 03:16:44.216 INFO kablam!     = help: the bound will not be checked when the type alias is used, and should be removed
Sep 01 03:16:44.216 INFO kablam! 
Sep 01 03:16:44.216 INFO kablam! warning: bounds on generic parameters are not enforced in type aliases
Sep 01 03:16:44.216 INFO kablam!    --> src/strong/ternary.rs:306:18
Sep 01 03:16:44.216 INFO kablam!     |
Sep 01 03:16:44.216 INFO kablam! 306 |     (Rem) NatRem(Nat, Nat): Nat {
Sep 01 03:16:44.216 INFO kablam!     |                  ^^^
Sep 01 03:16:44.216 INFO kablam!     |
Sep 01 03:16:44.216 INFO kablam!     = help: the bound will not be checked when the type alias is used, and should be removed
Sep 01 03:16:44.216 INFO kablam! 
Sep 01 03:16:44.216 INFO kablam! warning: bounds on generic parameters are not enforced in type aliases
Sep 01 03:16:44.216 INFO kablam!    --> src/strong/ternary.rs:306:23
Sep 01 03:16:44.216 INFO kablam!     |
Sep 01 03:16:44.216 INFO kablam! 306 |     (Rem) NatRem(Nat, Nat): Nat {
Sep 01 03:16:44.216 INFO kablam!     |                       ^^^
Sep 01 03:16:44.216 INFO kablam!     |
Sep 01 03:16:44.216 INFO kablam!     = help: the bound will not be checked when the type alias is used, and should be removed
Sep 01 03:16:44.216 INFO kablam! 
Sep 01 03:16:44.216 INFO kablam! warning: bounds on generic parameters are not enforced in type aliases
Sep 01 03:16:44.216 INFO kablam!    --> src/strong/ternary.rs:329:34
Sep 01 03:16:44.216 INFO kablam!     |
Sep 01 03:16:44.216 INFO kablam! 329 |     (DivInternal) NatDivInternal(Nat, Nat, NatPair): NatPair {
Sep 01 03:16:44.216 INFO kablam!     |                                  ^^^
Sep 01 03:16:44.216 INFO kablam!     |
Sep 01 03:16:44.217 INFO kablam!     = help: the bound will not be checked when the type alias is used, and should be removed
Sep 01 03:16:44.217 INFO kablam! 
Sep 01 03:16:44.217 INFO kablam! warning: bounds on generic parameters are not enforced in type aliases
Sep 01 03:16:44.217 INFO kablam!    --> src/strong/ternary.rs:329:39
Sep 01 03:16:44.217 INFO kablam!     |
Sep 01 03:16:44.217 INFO kablam! 329 |     (DivInternal) NatDivInternal(Nat, Nat, NatPair): NatPair {
Sep 01 03:16:44.217 INFO kablam!     |                                       ^^^
Sep 01 03:16:44.218 INFO kablam!     |
Sep 01 03:16:44.219 INFO kablam!     = help: the bound will not be checked when the type alias is used, and should be removed
Sep 01 03:16:44.219 INFO kablam! 
Sep 01 03:16:44.219 INFO kablam! warning: bounds on generic parameters are not enforced in type aliases
Sep 01 03:16:44.219 INFO kablam!    --> src/strong/ternary.rs:329:44
Sep 01 03:16:44.219 INFO kablam!     |
Sep 01 03:16:44.219 INFO kablam! 329 |     (DivInternal) NatDivInternal(Nat, Nat, NatPair): NatPair {
Sep 01 03:16:44.219 INFO kablam!     |                                            ^^^^^^^
Sep 01 03:16:44.219 INFO kablam!     |
Sep 01 03:16:44.220 INFO kablam!     = help: the bound will not be checked when the type alias is used, and should be removed
Sep 01 03:16:44.220 INFO kablam! 
Sep 01 03:16:44.221 INFO kablam! warning: bounds on generic parameters are not enforced in type aliases
Sep 01 03:16:44.221 INFO kablam!   --> src/strong/balanced.rs:10:24
Sep 01 03:16:44.221 INFO kablam!    |
Sep 01 03:16:44.221 INFO kablam! 10 |     (Int2First) Int2P1(IntPair): Int {
Sep 01 03:16:44.221 INFO kablam!    |                        ^^^^^^^
Sep 01 03:16:44.221 INFO kablam!    |
Sep 01 03:16:44.221 INFO kablam!    = help: the bound will not be checked when the type alias is used, and should be removed
Sep 01 03:16:44.221 INFO kablam! 
Sep 01 03:16:44.222 INFO kablam! warning: bounds on generic parameters are not enforced in type aliases
Sep 01 03:16:44.222 INFO kablam!   --> src/strong/balanced.rs:17:25
Sep 01 03:16:44.222 INFO kablam!    |
Sep 01 03:16:44.222 INFO kablam! 17 |     (Int2Second) Int2P2(IntPair): Int {
Sep 01 03:16:44.222 INFO kablam!    |                         ^^^^^^^
Sep 01 03:16:44.222 INFO kablam!    |
Sep 01 03:16:44.222 INFO kablam!    = help: the bound will not be checked when the type alias is used, and should be removed
Sep 01 03:16:44.222 INFO kablam! 
Sep 01 03:16:44.223 INFO kablam! warning: bounds on generic parameters are not enforced in type aliases
Sep 01 03:16:44.223 INFO kablam!   --> src/strong/balanced.rs:24:20
Sep 01 03:16:44.223 INFO kablam!    |
Sep 01 03:16:44.223 INFO kablam! 24 |     (Succ) IntSucc(Int): Int {
Sep 01 03:16:44.223 INFO kablam!    |                    ^^^
Sep 01 03:16:44.223 INFO kablam!    |
Sep 01 03:16:44.223 INFO kablam!    = help: the bound will not be checked when the type alias is used, and should be removed
Sep 01 03:16:44.223 INFO kablam! 
Sep 01 03:16:44.224 INFO kablam! warning: bounds on generic parameters are not enforced in type aliases
Sep 01 03:16:44.224 INFO kablam!   --> src/strong/balanced.rs:35:20
Sep 01 03:16:44.224 INFO kablam!    |
Sep 01 03:16:44.224 INFO kablam! 35 |     (Pred) IntPred(Int): Int {
Sep 01 03:16:44.224 INFO kablam!    |                    ^^^
Sep 01 03:16:44.224 INFO kablam!    |
Sep 01 03:16:44.224 INFO kablam!    = help: the bound will not be checked when the type alias is used, and should be removed
Sep 01 03:16:44.224 INFO kablam! 
Sep 01 03:16:44.224 INFO kablam! warning: bounds on generic parameters are not enforced in type aliases
Sep 01 03:16:44.225 INFO kablam!   --> src/strong/balanced.rs:49:24
Sep 01 03:16:44.225 INFO kablam!    |
Sep 01 03:16:44.225 INFO kablam! 49 |     (Triple) IntTriple(Int): Int {
Sep 01 03:16:44.225 INFO kablam!    |                        ^^^
Sep 01 03:16:44.225 INFO kablam!    |
Sep 01 03:16:44.225 INFO kablam!    = help: the bound will not be checked when the type alias is used, and should be removed
Sep 01 03:16:44.225 INFO kablam! 
Sep 01 03:16:44.225 INFO kablam! warning: bounds on generic parameters are not enforced in type aliases
Sep 01 03:16:44.225 INFO kablam!   --> src/strong/balanced.rs:62:24
Sep 01 03:16:44.225 INFO kablam!    |
Sep 01 03:16:44.225 INFO kablam! 62 |     (IntUnique) Unique(Int): Int {
Sep 01 03:16:44.225 INFO kablam!    |                        ^^^
Sep 01 03:16:44.225 INFO kablam!    |
Sep 01 03:16:44.226 INFO kablam!    = help: the bound will not be checked when the type alias is used, and should be removed
Sep 01 03:16:44.226 INFO kablam! 
Sep 01 03:16:44.226 INFO kablam! warning: bounds on generic parameters are not enforced in type aliases
Sep 01 03:16:44.226 INFO kablam!   --> src/strong/balanced.rs:80:18
Sep 01 03:16:44.226 INFO kablam!    |
Sep 01 03:16:44.226 INFO kablam! 80 |     (Neg) IntNeg(Int): Int {
Sep 01 03:16:44.226 INFO kablam!    |                  ^^^
Sep 01 03:16:44.226 INFO kablam!    |
Sep 01 03:16:44.226 INFO kablam!    = help: the bound will not be checked when the type alias is used, and should be removed
Sep 01 03:16:44.226 INFO kablam! 
Sep 01 03:16:44.227 INFO kablam! warning: bounds on generic parameters are not enforced in type aliases
Sep 01 03:16:44.227 INFO kablam!   --> src/strong/balanced.rs:94:18
Sep 01 03:16:44.227 INFO kablam!    |
Sep 01 03:16:44.227 INFO kablam! 94 |     (Add) IntAdd(Int, Int): Int {
Sep 01 03:16:44.227 INFO kablam!    |                  ^^^
Sep 01 03:16:44.227 INFO kablam!    |
Sep 01 03:16:44.227 INFO kablam!    = help: the bound will not be checked when the type alias is used, and should be removed
Sep 01 03:16:44.227 INFO kablam! 
Sep 01 03:16:44.227 INFO kablam! warning: bounds on generic parameters are not enforced in type aliases
Sep 01 03:16:44.227 INFO kablam!   --> src/strong/balanced.rs:94:23
Sep 01 03:16:44.227 INFO kablam!    |
Sep 01 03:16:44.228 INFO kablam! 94 |     (Add) IntAdd(Int, Int): Int {
Sep 01 03:16:44.228 INFO kablam!    |                       ^^^
Sep 01 03:16:44.228 INFO kablam!    |
Sep 01 03:16:44.228 INFO kablam!    = help: the bound will not be checked when the type alias is used, and should be removed
Sep 01 03:16:44.228 INFO kablam! 
Sep 01 03:16:44.229 INFO kablam! warning: bounds on generic parameters are not enforced in type aliases
Sep 01 03:16:44.229 INFO kablam!    --> src/strong/balanced.rs:127:18
Sep 01 03:16:44.229 INFO kablam!     |
Sep 01 03:16:44.229 INFO kablam! 127 |     (Sub) IntSub(Int, Int): Int {
Sep 01 03:16:44.229 INFO kablam!     |                  ^^^
Sep 01 03:16:44.229 INFO kablam!     |
Sep 01 03:16:44.229 INFO kablam!     = help: the bound will not be checked when the type alias is used, and should be removed
Sep 01 03:16:44.229 INFO kablam! 
Sep 01 03:16:44.229 INFO kablam! warning: bounds on generic parameters are not enforced in type aliases
Sep 01 03:16:44.229 INFO kablam!    --> src/strong/balanced.rs:127:23
Sep 01 03:16:44.229 INFO kablam!     |
Sep 01 03:16:44.230 INFO kablam! 127 |     (Sub) IntSub(Int, Int): Int {
Sep 01 03:16:44.230 INFO kablam!     |                       ^^^
Sep 01 03:16:44.230 INFO kablam!     |
Sep 01 03:16:44.230 INFO kablam!     = help: the bound will not be checked when the type alias is used, and should be removed
Sep 01 03:16:44.230 INFO kablam! 
Sep 01 03:16:44.230 INFO kablam! warning: bounds on generic parameters are not enforced in type aliases
Sep 01 03:16:44.230 INFO kablam!    --> src/strong/balanced.rs:160:18
Sep 01 03:16:44.230 INFO kablam!     |
Sep 01 03:16:44.230 INFO kablam! 160 |     (Mul) IntMul(Int, Int): Int {
Sep 01 03:16:44.230 INFO kablam!     |                  ^^^
Sep 01 03:16:44.231 INFO kablam!     |
Sep 01 03:16:44.231 INFO kablam!     = help: the bound will not be checked when the type alias is used, and should be removed
Sep 01 03:16:44.231 INFO kablam! 
Sep 01 03:16:44.231 INFO kablam! warning: bounds on generic parameters are not enforced in type aliases
Sep 01 03:16:44.231 INFO kablam!    --> src/strong/balanced.rs:160:23
Sep 01 03:16:44.231 INFO kablam!     |
Sep 01 03:16:44.231 INFO kablam! 160 |     (Mul) IntMul(Int, Int): Int {
Sep 01 03:16:44.231 INFO kablam!     |                       ^^^
Sep 01 03:16:44.231 INFO kablam!     |
Sep 01 03:16:44.231 INFO kablam!     = help: the bound will not be checked when the type alias is used, and should be removed
Sep 01 03:16:44.231 INFO kablam! 
Sep 01 03:16:44.232 INFO kablam! warning: bounds on generic parameters are not enforced in type aliases
Sep 01 03:16:44.232 INFO kablam!    --> src/strong/balanced.rs:196:18
Sep 01 03:16:44.232 INFO kablam!     |
Sep 01 03:16:44.232 INFO kablam! 196 |     (Cmp) IntCmp(Int, Int, Int, Int, Int): Int {
Sep 01 03:16:44.232 INFO kablam!     |                  ^^^
Sep 01 03:16:44.232 INFO kablam!     |
Sep 01 03:16:44.232 INFO kablam!     = help: the bound will not be checked when the type alias is used, and should be removed
Sep 01 03:16:44.232 INFO kablam! 
Sep 01 03:16:44.233 INFO kablam! warning: bounds on generic parameters are not enforced in type aliases
Sep 01 03:16:44.233 INFO kablam!    --> src/strong/balanced.rs:196:23
Sep 01 03:16:44.233 INFO kablam!     |
Sep 01 03:16:44.233 INFO kablam! 196 |     (Cmp) IntCmp(Int, Int, Int, Int, Int): Int {
Sep 01 03:16:44.233 INFO kablam!     |                       ^^^
Sep 01 03:16:44.233 INFO kablam!     |
Sep 01 03:16:44.233 INFO kablam!     = help: the bound will not be checked when the type alias is used, and should be removed
Sep 01 03:16:44.233 INFO kablam! 
Sep 01 03:16:44.233 INFO kablam! warning: bounds on generic parameters are not enforced in type aliases
Sep 01 03:16:44.233 INFO kablam!    --> src/strong/balanced.rs:196:28
Sep 01 03:16:44.233 INFO kablam!     |
Sep 01 03:16:44.233 INFO kablam! 196 |     (Cmp) IntCmp(Int, Int, Int, Int, Int): Int {
Sep 01 03:16:44.233 INFO kablam!     |                            ^^^
Sep 01 03:16:44.233 INFO kablam!     |
Sep 01 03:16:44.233 INFO kablam!     = help: the bound will not be checked when the type alias is used, and should be removed
Sep 01 03:16:44.233 INFO kablam! 
Sep 01 03:16:44.234 INFO kablam! warning: bounds on generic parameters are not enforced in type aliases
Sep 01 03:16:44.234 INFO kablam!    --> src/strong/balanced.rs:196:33
Sep 01 03:16:44.234 INFO kablam!     |
Sep 01 03:16:44.234 INFO kablam! 196 |     (Cmp) IntCmp(Int, Int, Int, Int, Int): Int {
Sep 01 03:16:44.234 INFO kablam!     |                                 ^^^
Sep 01 03:16:44.234 INFO kablam!     |
Sep 01 03:16:44.234 INFO kablam!     = help: the bound will not be checked when the type alias is used, and should be removed
Sep 01 03:16:44.234 INFO kablam! 
Sep 01 03:16:44.234 INFO kablam! warning: bounds on generic parameters are not enforced in type aliases
Sep 01 03:16:44.235 INFO kablam!    --> src/strong/balanced.rs:196:38
Sep 01 03:16:44.235 INFO kablam!     |
Sep 01 03:16:44.235 INFO kablam! 196 |     (Cmp) IntCmp(Int, Int, Int, Int, Int): Int {
Sep 01 03:16:44.235 INFO kablam!     |                                      ^^^
Sep 01 03:16:44.235 INFO kablam!     |
Sep 01 03:16:44.235 INFO kablam!     = help: the bound will not be checked when the type alias is used, and should be removed
Sep 01 03:16:44.235 INFO kablam! 
Sep 01 03:16:44.235 INFO kablam! warning: bounds on generic parameters are not enforced in type aliases
Sep 01 03:16:44.235 INFO kablam!    --> src/strong/balanced.rs:223:20
Sep 01 03:16:44.236 INFO kablam!     |
Sep 01 03:16:44.236 INFO kablam! 223 |     (Cmp2) IntCmp2(Int, Int, IntPair, IntPair, IntPair): IntPair {
Sep 01 03:16:44.236 INFO kablam!     |                    ^^^
Sep 01 03:16:44.236 INFO kablam!     |
Sep 01 03:16:44.236 INFO kablam!     = help: the bound will not be checked when the type alias is used, and should be removed
Sep 01 03:16:44.236 INFO kablam! 
Sep 01 03:16:44.236 INFO kablam! warning: bounds on generic parameters are not enforced in type aliases
Sep 01 03:16:44.236 INFO kablam!    --> src/strong/balanced.rs:223:25
Sep 01 03:16:44.236 INFO kablam!     |
Sep 01 03:16:44.236 INFO kablam! 223 |     (Cmp2) IntCmp2(Int, Int, IntPair, IntPair, IntPair): IntPair {
Sep 01 03:16:44.236 INFO kablam!     |                         ^^^
Sep 01 03:16:44.236 INFO kablam!     |
Sep 01 03:16:44.236 INFO kablam!     = help: the bound will not be checked when the type alias is used, and should be removed
Sep 01 03:16:44.236 INFO kablam! 
Sep 01 03:16:44.236 INFO kablam! warning: bounds on generic parameters are not enforced in type aliases
Sep 01 03:16:44.236 INFO kablam!    --> src/strong/balanced.rs:223:30
Sep 01 03:16:44.237 INFO kablam!     |
Sep 01 03:16:44.237 INFO kablam! 223 |     (Cmp2) IntCmp2(Int, Int, IntPair, IntPair, IntPair): IntPair {
Sep 01 03:16:44.237 INFO kablam!     |                              ^^^^^^^
Sep 01 03:16:44.237 INFO kablam!     |
Sep 01 03:16:44.237 INFO kablam!     = help: the bound will not be checked when the type alias is used, and should be removed
Sep 01 03:16:44.237 INFO kablam! 
Sep 01 03:16:44.237 INFO kablam! warning: bounds on generic parameters are not enforced in type aliases
Sep 01 03:16:44.237 INFO kablam!    --> src/strong/balanced.rs:223:39
Sep 01 03:16:44.237 INFO kablam!     |
Sep 01 03:16:44.237 INFO kablam! 223 |     (Cmp2) IntCmp2(Int, Int, IntPair, IntPair, IntPair): IntPair {
Sep 01 03:16:44.237 INFO kablam!     |                                       ^^^^^^^
Sep 01 03:16:44.237 INFO kablam!     |
Sep 01 03:16:44.237 INFO kablam!     = help: the bound will not be checked when the type alias is used, and should be removed
Sep 01 03:16:44.237 INFO kablam! 
Sep 01 03:16:44.238 INFO kablam! warning: bounds on generic parameters are not enforced in type aliases
Sep 01 03:16:44.238 INFO kablam!    --> src/strong/balanced.rs:223:48
Sep 01 03:16:44.238 INFO kablam!     |
Sep 01 03:16:44.238 INFO kablam! 223 |     (Cmp2) IntCmp2(Int, Int, IntPair, IntPair, IntPair): IntPair {
Sep 01 03:16:44.238 INFO kablam!     |                                                ^^^^^^^
Sep 01 03:16:44.238 INFO kablam!     |
Sep 01 03:16:44.238 INFO kablam!     = help: the bound will not be checked when the type alias is used, and should be removed
Sep 01 03:16:44.238 INFO kablam! 
Sep 01 03:16:44.239 INFO kablam! warning: bounds on generic parameters are not enforced in type aliases
Sep 01 03:16:44.239 INFO kablam!    --> src/strong/balanced.rs:248:24
Sep 01 03:16:44.239 INFO kablam!     |
Sep 01 03:16:44.239 INFO kablam! 248 |     (LteCmp) IntLteCmp(Int, Int, Int, Int): Int {
Sep 01 03:16:44.239 INFO kablam!     |                        ^^^
Sep 01 03:16:44.239 INFO kablam!     |
Sep 01 03:16:44.239 INFO kablam!     = help: the bound will not be checked when the type alias is used, and should be removed
Sep 01 03:16:44.239 INFO kablam! 
Sep 01 03:16:44.240 INFO kablam! warning: bounds on generic parameters are not enforced in type aliases
Sep 01 03:16:44.240 INFO kablam!    --> src/strong/balanced.rs:248:29
Sep 01 03:16:44.240 INFO kablam!     |
Sep 01 03:16:44.240 INFO kablam! 248 |     (LteCmp) IntLteCmp(Int, Int, Int, Int): Int {
Sep 01 03:16:44.240 INFO kablam!     |                             ^^^
Sep 01 03:16:44.240 INFO kablam!     |
Sep 01 03:16:44.240 INFO kablam!     = help: the bound will not be checked when the type alias is used, and should be removed
Sep 01 03:16:44.240 INFO kablam! 
Sep 01 03:16:44.240 INFO kablam! warning: bounds on generic parameters are not enforced in type aliases
Sep 01 03:16:44.240 INFO kablam!    --> src/strong/balanced.rs:248:34
Sep 01 03:16:44.240 INFO kablam!     |
Sep 01 03:16:44.240 INFO kablam! 248 |     (LteCmp) IntLteCmp(Int, Int, Int, Int): Int {
Sep 01 03:16:44.240 INFO kablam!     |                                  ^^^
Sep 01 03:16:44.240 INFO kablam!     |
Sep 01 03:16:44.240 INFO kablam!     = help: the bound will not be checked when the type alias is used, and should be removed
Sep 01 03:16:44.240 INFO kablam! 
Sep 01 03:16:44.240 INFO kablam! warning: bounds on generic parameters are not enforced in type aliases
Sep 01 03:16:44.241 INFO kablam!    --> src/strong/balanced.rs:248:39
Sep 01 03:16:44.241 INFO kablam!     |
Sep 01 03:16:44.241 INFO kablam! 248 |     (LteCmp) IntLteCmp(Int, Int, Int, Int): Int {
Sep 01 03:16:44.241 INFO kablam!     |                                       ^^^
Sep 01 03:16:44.241 INFO kablam!     |
Sep 01 03:16:44.241 INFO kablam!     = help: the bound will not be checked when the type alias is used, and should be removed
Sep 01 03:16:44.241 INFO kablam! 
Sep 01 03:16:44.241 INFO kablam! warning: bounds on generic parameters are not enforced in type aliases
Sep 01 03:16:44.242 INFO kablam!    --> src/strong/balanced.rs:254:26
Sep 01 03:16:44.242 INFO kablam!     |
Sep 01 03:16:44.242 INFO kablam! 254 |     (LteCmp2) IntLteCmp2(Int, Int, IntPair, IntPair): IntPair {
Sep 01 03:16:44.242 INFO kablam!     |                          ^^^
Sep 01 03:16:44.242 INFO kablam!     |
Sep 01 03:16:44.242 INFO kablam!     = help: the bound will not be checked when the type alias is used, and should be removed
Sep 01 03:16:44.242 INFO kablam! 
Sep 01 03:16:44.242 INFO kablam! warning: bounds on generic parameters are not enforced in type aliases
Sep 01 03:16:44.242 INFO kablam!    --> src/strong/balanced.rs:254:31
Sep 01 03:16:44.242 INFO kablam!     |
Sep 01 03:16:44.242 INFO kablam! 254 |     (LteCmp2) IntLteCmp2(Int, Int, IntPair, IntPair): IntPair {
Sep 01 03:16:44.242 INFO kablam!     |                               ^^^
Sep 01 03:16:44.242 INFO kablam!     |
Sep 01 03:16:44.242 INFO kablam!     = help: the bound will not be checked when the type alias is used, and should be removed
Sep 01 03:16:44.242 INFO kablam! 
Sep 01 03:16:44.243 INFO kablam! warning: bounds on generic parameters are not enforced in type aliases
Sep 01 03:16:44.243 INFO kablam!    --> src/strong/balanced.rs:254:36
Sep 01 03:16:44.243 INFO kablam!     |
Sep 01 03:16:44.243 INFO kablam! 254 |     (LteCmp2) IntLteCmp2(Int, Int, IntPair, IntPair): IntPair {
Sep 01 03:16:44.243 INFO kablam!     |                                    ^^^^^^^
Sep 01 03:16:44.243 INFO kablam!     |
Sep 01 03:16:44.243 INFO kablam!     = help: the bound will not be checked when the type alias is used, and should be removed
Sep 01 03:16:44.243 INFO kablam! 
Sep 01 03:16:44.243 INFO kablam! warning: bounds on generic parameters are not enforced in type aliases
Sep 01 03:16:44.243 INFO kablam!    --> src/strong/balanced.rs:254:45
Sep 01 03:16:44.243 INFO kablam!     |
Sep 01 03:16:44.243 INFO kablam! 254 |     (LteCmp2) IntLteCmp2(Int, Int, IntPair, IntPair): IntPair {
Sep 01 03:16:44.243 INFO kablam!     |                                             ^^^^^^^
Sep 01 03:16:44.243 INFO kablam!     |
Sep 01 03:16:44.244 INFO kablam!     = help: the bound will not be checked when the type alias is used, and should be removed
Sep 01 03:16:44.244 INFO kablam! 
Sep 01 03:16:44.244 INFO kablam! warning: bounds on generic parameters are not enforced in type aliases
Sep 01 03:16:44.244 INFO kablam!    --> src/strong/balanced.rs:261:18
Sep 01 03:16:44.244 INFO kablam!     |
Sep 01 03:16:44.244 INFO kablam! 261 |     (Abs) IntAbs(Int): Int {
Sep 01 03:16:44.244 INFO kablam!     |                  ^^^
Sep 01 03:16:44.244 INFO kablam!     |
Sep 01 03:16:44.245 INFO kablam!     = help: the bound will not be checked when the type alias is used, and should be removed
Sep 01 03:16:44.245 INFO kablam! 
Sep 01 03:16:44.247 INFO kablam! warning: bounds on generic parameters are not enforced in type aliases
Sep 01 03:16:44.247 INFO kablam!    --> src/strong/balanced.rs:273:40
Sep 01 03:16:44.247 INFO kablam!     |
Sep 01 03:16:44.247 INFO kablam! 273 |     (AbsMinThreeCmp) IntAbsMinThreeCmp(Int, Int, Int, Int, Int, Int): IntPair {
Sep 01 03:16:44.247 INFO kablam!     |                                        ^^^
Sep 01 03:16:44.248 INFO kablam!     |
Sep 01 03:16:44.249 INFO kablam!     = help: the bound will not be checked when the type alias is used, and should be removed
Sep 01 03:16:44.249 INFO kablam! 
Sep 01 03:16:44.250 INFO kablam! warning: bounds on generic parameters are not enforced in type aliases
Sep 01 03:16:44.250 INFO kablam!    --> src/strong/balanced.rs:273:45
Sep 01 03:16:44.250 INFO kablam!     |
Sep 01 03:16:44.250 INFO kablam! 273 |     (AbsMinThreeCmp) IntAbsMinThreeCmp(Int, Int, Int, Int, Int, Int): IntPair {
Sep 01 03:16:44.250 INFO kablam!     |                                             ^^^
Sep 01 03:16:44.251 INFO kablam!     |
Sep 01 03:16:44.251 INFO kablam!     = help: the bound will not be checked when the type alias is used, and should be removed
Sep 01 03:16:44.251 INFO kablam! 
Sep 01 03:16:44.252 INFO kablam! warning: bounds on generic parameters are not enforced in type aliases
Sep 01 03:16:44.252 INFO kablam!    --> src/strong/balanced.rs:273:50
Sep 01 03:16:44.252 INFO kablam!     |
Sep 01 03:16:44.252 INFO kablam! 273 |     (AbsMinThreeCmp) IntAbsMinThreeCmp(Int, Int, Int, Int, Int, Int): IntPair {
Sep 01 03:16:44.252 INFO kablam!     |                                                  ^^^
Sep 01 03:16:44.252 INFO kablam!     |
Sep 01 03:16:44.252 INFO kablam!     = help: the bound will not be checked when the type alias is used, and should be removed
Sep 01 03:16:44.252 INFO kablam! 
Sep 01 03:16:44.253 INFO kablam! warning: bounds on generic parameters are not enforced in type aliases
Sep 01 03:16:44.253 INFO kablam!    --> src/strong/balanced.rs:273:55
Sep 01 03:16:44.253 INFO kablam!     |
Sep 01 03:16:44.253 INFO kablam! 273 |     (AbsMinThreeCmp) IntAbsMinThreeCmp(Int, Int, Int, Int, Int, Int): IntPair {
Sep 01 03:16:44.253 INFO kablam!     |                                                       ^^^
Sep 01 03:16:44.253 INFO kablam!     |
Sep 01 03:16:44.253 INFO kablam!     = help: the bound will not be checked when the type alias is used, and should be removed
Sep 01 03:16:44.253 INFO kablam! 
Sep 01 03:16:44.254 INFO kablam! warning: bounds on generic parameters are not enforced in type aliases
Sep 01 03:16:44.254 INFO kablam!    --> src/strong/balanced.rs:273:60
Sep 01 03:16:44.254 INFO kablam!     |
Sep 01 03:16:44.254 INFO kablam! 273 |     (AbsMinThreeCmp) IntAbsMinThreeCmp(Int, Int, Int, Int, Int, Int): IntPair {
Sep 01 03:16:44.254 INFO kablam!     |                                                            ^^^
Sep 01 03:16:44.254 INFO kablam!     |
Sep 01 03:16:44.254 INFO kablam!     = help: the bound will not be checked when the type alias is used, and should be removed
Sep 01 03:16:44.254 INFO kablam! 
Sep 01 03:16:44.254 INFO kablam! warning: bounds on generic parameters are not enforced in type aliases
Sep 01 03:16:44.254 INFO kablam!    --> src/strong/balanced.rs:273:65
Sep 01 03:16:44.254 INFO kablam!     |
Sep 01 03:16:44.254 INFO kablam! 273 |     (AbsMinThreeCmp) IntAbsMinThreeCmp(Int, Int, Int, Int, Int, Int): IntPair {
Sep 01 03:16:44.254 INFO kablam!     |                                                                 ^^^
Sep 01 03:16:44.254 INFO kablam!     |
Sep 01 03:16:44.254 INFO kablam!     = help: the bound will not be checked when the type alias is used, and should be removed
Sep 01 03:16:44.254 INFO kablam! 
Sep 01 03:16:44.255 INFO kablam! warning: bounds on generic parameters are not enforced in type aliases
Sep 01 03:16:44.255 INFO kablam!    --> src/strong/balanced.rs:284:18
Sep 01 03:16:44.255 INFO kablam!     |
Sep 01 03:16:44.255 INFO kablam! 284 |     (Rev) IntRev(Int): Int {
Sep 01 03:16:44.255 INFO kablam!     |                  ^^^
Sep 01 03:16:44.255 INFO kablam!     |
Sep 01 03:16:44.255 INFO kablam!     = help: the bound will not be checked when the type alias is used, and should be removed
Sep 01 03:16:44.255 INFO kablam! 
Sep 01 03:16:44.256 INFO kablam! warning: bounds on generic parameters are not enforced in type aliases
Sep 01 03:16:44.256 INFO kablam!    --> src/strong/balanced.rs:290:34
Sep 01 03:16:44.256 INFO kablam!     |
Sep 01 03:16:44.256 INFO kablam! 290 |     (RevInternal) IntRevInternal(Int, Int): Int {
Sep 01 03:16:44.256 INFO kablam!     |                                  ^^^
Sep 01 03:16:44.256 INFO kablam!     |
Sep 01 03:16:44.256 INFO kablam!     = help: the bound will not be checked when the type alias is used, and should be removed
Sep 01 03:16:44.256 INFO kablam! 
Sep 01 03:16:44.257 INFO kablam! warning: bounds on generic parameters are not enforced in type aliases
Sep 01 03:16:44.257 INFO kablam!    --> src/strong/balanced.rs:290:39
Sep 01 03:16:44.257 INFO kablam!     |
Sep 01 03:16:44.257 INFO kablam! 290 |     (RevInternal) IntRevInternal(Int, Int): Int {
Sep 01 03:16:44.257 INFO kablam!     |                                       ^^^
Sep 01 03:16:44.257 INFO kablam!     |
Sep 01 03:16:44.257 INFO kablam!     = help: the bound will not be checked when the type alias is used, and should be removed
Sep 01 03:16:44.257 INFO kablam! 
Sep 01 03:16:44.257 INFO kablam! warning: bounds on generic parameters are not enforced in type aliases
Sep 01 03:16:44.257 INFO kablam!    --> src/strong/balanced.rs:302:18
Sep 01 03:16:44.257 INFO kablam!     |
Sep 01 03:16:44.257 INFO kablam! 302 |     (Div) IntDiv(Int, Int): Int {
Sep 01 03:16:44.257 INFO kablam!     |                  ^^^
Sep 01 03:16:44.258 INFO kablam!     |
Sep 01 03:16:44.258 INFO kablam!     = help: the bound will not be checked when the type alias is used, and should be removed
Sep 01 03:16:44.258 INFO kablam! 
Sep 01 03:16:44.258 INFO kablam! warning: bounds on generic parameters are not enforced in type aliases
Sep 01 03:16:44.258 INFO kablam!    --> src/strong/balanced.rs:302:23
Sep 01 03:16:44.258 INFO kablam!     |
Sep 01 03:16:44.258 INFO kablam! 302 |     (Div) IntDiv(Int, Int): Int {
Sep 01 03:16:44.258 INFO kablam!     |                       ^^^
Sep 01 03:16:44.258 INFO kablam!     |
Sep 01 03:16:44.258 INFO kablam!     = help: the bound will not be checked when the type alias is used, and should be removed
Sep 01 03:16:44.258 INFO kablam! 
Sep 01 03:16:44.259 INFO kablam! warning: bounds on generic parameters are not enforced in type aliases
Sep 01 03:16:44.259 INFO kablam!    --> src/strong/balanced.rs:326:18
Sep 01 03:16:44.259 INFO kablam!     |
Sep 01 03:16:44.259 INFO kablam! 326 |     (Rem) IntRem(Int, Int): Int {
Sep 01 03:16:44.259 INFO kablam!     |                  ^^^
Sep 01 03:16:44.259 INFO kablam!     |
Sep 01 03:16:44.259 INFO kablam!     = help: the bound will not be checked when the type alias is used, and should be removed
Sep 01 03:16:44.259 INFO kablam! 
Sep 01 03:16:44.259 INFO kablam! warning: bounds on generic parameters are not enforced in type aliases
Sep 01 03:16:44.259 INFO kablam!    --> src/strong/balanced.rs:326:23
Sep 01 03:16:44.259 INFO kablam!     |
Sep 01 03:16:44.259 INFO kablam! 326 |     (Rem) IntRem(Int, Int): Int {
Sep 01 03:16:44.259 INFO kablam!     |                       ^^^
Sep 01 03:16:44.259 INFO kablam!     |
Sep 01 03:16:44.260 INFO kablam!     = help: the bound will not be checked when the type alias is used, and should be removed
Sep 01 03:16:44.260 INFO kablam! 
Sep 01 03:16:44.260 INFO kablam! warning: bounds on generic parameters are not enforced in type aliases
Sep 01 03:16:44.260 INFO kablam!    --> src/strong/balanced.rs:349:34
Sep 01 03:16:44.260 INFO kablam!     |
Sep 01 03:16:44.261 INFO kablam! 349 |     (DivInternal) IntDivInternal(Int, Int, IntPair): IntPair {
Sep 01 03:16:44.261 INFO kablam!     |                                  ^^^
Sep 01 03:16:44.261 INFO kablam!     |
Sep 01 03:16:44.261 INFO kablam!     = help: the bound will not be checked when the type alias is used, and should be removed
Sep 01 03:16:44.261 INFO kablam! 
Sep 01 03:16:44.261 INFO kablam! warning: bounds on generic parameters are not enforced in type aliases
Sep 01 03:16:44.261 INFO kablam!    --> src/strong/balanced.rs:349:39
Sep 01 03:16:44.261 INFO kablam!     |
Sep 01 03:16:44.261 INFO kablam! 349 |     (DivInternal) IntDivInternal(Int, Int, IntPair): IntPair {
Sep 01 03:16:44.261 INFO kablam!     |                                       ^^^
Sep 01 03:16:44.261 INFO kablam!     |
Sep 01 03:16:44.261 INFO kablam!     = help: the bound will not be checked when the type alias is used, and should be removed
Sep 01 03:16:44.261 INFO kablam! 
Sep 01 03:16:44.262 INFO kablam! warning: bounds on generic parameters are not enforced in type aliases
Sep 01 03:16:44.262 INFO kablam!    --> src/strong/balanced.rs:349:44
Sep 01 03:16:44.262 INFO kablam!     |
Sep 01 03:16:44.262 INFO kablam! 349 |     (DivInternal) IntDivInternal(Int, Int, IntPair): IntPair {
Sep 01 03:16:44.262 INFO kablam!     |                                            ^^^^^^^
Sep 01 03:16:44.262 INFO kablam!     |
Sep 01 03:16:44.262 INFO kablam!     = help: the bound will not be checked when the type alias is used, and should be removed
Sep 01 03:16:44.262 INFO kablam! 
Sep 01 03:16:45.799 INFO kablam! warning: bounds on generic parameters are not enforced in type aliases
Sep 01 03:16:45.799 INFO kablam!  --> src/strong/boolean.rs:9:19
Sep 01 03:16:45.799 INFO kablam!   |
Sep 01 03:16:45.799 INFO kablam! 9 |     (And) BoolAnd(Bool, Bool): Bool {
Sep 01 03:16:45.799 INFO kablam!   |                   ^^^^
Sep 01 03:16:45.800 INFO kablam!   |
Sep 01 03:16:45.800 INFO kablam!   = note: #[warn(type_alias_bounds)] on by default
Sep 01 03:16:45.800 INFO kablam!   = help: the bound will not be checked when the type alias is used, and should be removed
Sep 01 03:16:45.800 INFO kablam! 
Sep 01 03:16:45.800 INFO kablam! warning: bounds on generic parameters are not enforced in type aliases
Sep 01 03:16:45.800 INFO kablam!  --> src/strong/boolean.rs:9:25
Sep 01 03:16:45.800 INFO kablam!   |
Sep 01 03:16:45.800 INFO kablam! 9 |     (And) BoolAnd(Bool, Bool): Bool {
Sep 01 03:16:45.800 INFO kablam!   |                         ^^^^
Sep 01 03:16:45.800 INFO kablam!   |
Sep 01 03:16:45.800 INFO kablam!   = help: the bound will not be checked when the type alias is used, and should be removed
Sep 01 03:16:45.800 INFO kablam! 
Sep 01 03:16:45.800 INFO kablam! warning: bounds on generic parameters are not enforced in type aliases
Sep 01 03:16:45.801 INFO kablam!   --> src/strong/boolean.rs:17:17
Sep 01 03:16:45.801 INFO kablam!    |
Sep 01 03:16:45.801 INFO kablam! 17 |     (Or) BoolOr(Bool, Bool): Bool {
Sep 01 03:16:45.801 INFO kablam!    |                 ^^^^
Sep 01 03:16:45.801 INFO kablam!    |
Sep 01 03:16:45.801 INFO kablam!    = help: the bound will not be checked when the type alias is used, and should be removed
Sep 01 03:16:45.801 INFO kablam! 
Sep 01 03:16:45.801 INFO kablam! warning: bounds on generic parameters are not enforced in type aliases
Sep 01 03:16:45.801 INFO kablam!   --> src/strong/boolean.rs:17:23
Sep 01 03:16:45.801 INFO kablam!    |
Sep 01 03:16:45.801 INFO kablam! 17 |     (Or) BoolOr(Bool, Bool): Bool {
Sep 01 03:16:45.801 INFO kablam!    |                       ^^^^
Sep 01 03:16:45.801 INFO kablam!    |
Sep 01 03:16:45.802 INFO kablam!    = help: the bound will not be checked when the type alias is used, and should be removed
Sep 01 03:16:45.802 INFO kablam! 
Sep 01 03:16:45.802 INFO kablam! warning: bounds on generic parameters are not enforced in type aliases
Sep 01 03:16:45.802 INFO kablam!   --> src/strong/boolean.rs:26:25
Sep 01 03:16:45.802 INFO kablam!    |
Sep 01 03:16:45.802 INFO kablam! 26 |     (IfThen) BoolIfThen(Bool, Bool): Bool {
Sep 01 03:16:45.802 INFO kablam!    |                         ^^^^
Sep 01 03:16:45.802 INFO kablam!    |
Sep 01 03:16:45.802 INFO kablam!    = help: the bound will not be checked when the type alias is used, and should be removed
Sep 01 03:16:45.802 INFO kablam! 
Sep 01 03:16:45.802 INFO kablam! warning: bounds on generic parameters are not enforced in type aliases
Sep 01 03:16:45.802 INFO kablam!   --> src/strong/boolean.rs:26:31
Sep 01 03:16:45.802 INFO kablam!    |
Sep 01 03:16:45.803 INFO kablam! 26 |     (IfThen) BoolIfThen(Bool, Bool): Bool {
Sep 01 03:16:45.803 INFO kablam!    |                               ^^^^
Sep 01 03:16:45.803 INFO kablam!    |
Sep 01 03:16:45.803 INFO kablam!    = help: the bound will not be checked when the type alias is used, and should be removed
Sep 01 03:16:45.803 INFO kablam! 
Sep 01 03:16:45.803 INFO kablam! warning: bounds on generic parameters are not enforced in type aliases
Sep 01 03:16:45.803 INFO kablam!   --> src/strong/boolean.rs:35:25
Sep 01 03:16:45.803 INFO kablam!    |
Sep 01 03:16:45.803 INFO kablam! 35 |     (OnlyIf) BoolOnlyIf(Bool, Bool): Bool {
Sep 01 03:16:45.803 INFO kablam!    |                         ^^^^
Sep 01 03:16:45.803 INFO kablam!    |
Sep 01 03:16:45.803 INFO kablam!    = help: the bound will not be checked when the type alias is used, and should be removed
Sep 01 03:16:45.803 INFO kablam! 
Sep 01 03:16:45.804 INFO kablam! warning: bounds on generic parameters are not enforced in type aliases
Sep 01 03:16:45.804 INFO kablam!   --> src/strong/boolean.rs:35:31
Sep 01 03:16:45.804 INFO kablam!    |
Sep 01 03:16:45.804 INFO kablam! 35 |     (OnlyIf) BoolOnlyIf(Bool, Bool): Bool {
Sep 01 03:16:45.804 INFO kablam!    |                               ^^^^
Sep 01 03:16:45.804 INFO kablam!    |
Sep 01 03:16:45.804 INFO kablam!    = help: the bound will not be checked when the type alias is used, and should be removed
Sep 01 03:16:45.804 INFO kablam! 
Sep 01 03:16:45.804 INFO kablam! warning: bounds on generic parameters are not enforced in type aliases
Sep 01 03:16:45.804 INFO kablam!   --> src/strong/boolean.rs:43:19
Sep 01 03:16:45.804 INFO kablam!    |
Sep 01 03:16:45.804 INFO kablam! 43 |     (Xor) BoolXor(Bool, Bool): Bool {
Sep 01 03:16:45.805 INFO kablam!    |                   ^^^^
Sep 01 03:16:45.805 INFO kablam!    |
Sep 01 03:16:45.805 INFO kablam!    = help: the bound will not be checked when the type alias is used, and should be removed
Sep 01 03:16:45.805 INFO kablam! 
Sep 01 03:16:45.805 INFO kablam! warning: bounds on generic parameters are not enforced in type aliases
Sep 01 03:16:45.805 INFO kablam!   --> src/strong/boolean.rs:43:25
Sep 01 03:16:45.805 INFO kablam!    |
Sep 01 03:16:45.805 INFO kablam! 43 |     (Xor) BoolXor(Bool, Bool): Bool {
Sep 01 03:16:45.805 INFO kablam!    |                         ^^^^
Sep 01 03:16:45.805 INFO kablam!    |
Sep 01 03:16:45.805 INFO kablam!    = help: the bound will not be checked when the type alias is used, and should be removed
Sep 01 03:16:45.806 INFO kablam! 
Sep 01 03:16:45.806 INFO kablam! warning: bounds on generic parameters are not enforced in type aliases
Sep 01 03:16:45.806 INFO kablam!   --> src/strong/ternary.rs:14:24
Sep 01 03:16:45.806 INFO kablam!    |
Sep 01 03:16:45.806 INFO kablam! 14 |     (Nat2First) Nat2P1(NatPair): Nat {
Sep 01 03:16:45.806 INFO kablam!    |                        ^^^^^^^
Sep 01 03:16:45.806 INFO kablam!    |
Sep 01 03:16:45.806 INFO kablam!    = help: the bound will not be checked when the type alias is used, and should be removed
Sep 01 03:16:45.806 INFO kablam! 
Sep 01 03:16:45.806 INFO kablam! warning: bounds on generic parameters are not enforced in type aliases
Sep 01 03:16:45.806 INFO kablam!   --> src/strong/ternary.rs:21:25
Sep 01 03:16:45.807 INFO kablam!    |
Sep 01 03:16:45.807 INFO kablam! 21 |     (Nat2Second) Nat2P2(NatPair): Nat {
Sep 01 03:16:45.807 INFO kablam!    |                         ^^^^^^^
Sep 01 03:16:45.807 INFO kablam!    |
Sep 01 03:16:45.807 INFO kablam!    = help: the bound will not be checked when the type alias is used, and should be removed
Sep 01 03:16:45.807 INFO kablam! 
Sep 01 03:16:45.807 INFO kablam! warning: bounds on generic parameters are not enforced in type aliases
Sep 01 03:16:45.807 INFO kablam!   --> src/strong/ternary.rs:29:20
Sep 01 03:16:45.807 INFO kablam!    |
Sep 01 03:16:45.807 INFO kablam! 29 |     (Succ) NatSucc(Nat): Nat {
Sep 01 03:16:45.807 INFO kablam!    |                    ^^^
Sep 01 03:16:45.807 INFO kablam!    |
Sep 01 03:16:45.807 INFO kablam!    = help: the bound will not be checked when the type alias is used, and should be removed
Sep 01 03:16:45.808 INFO kablam! 
Sep 01 03:16:45.808 INFO kablam! warning: bounds on generic parameters are not enforced in type aliases
Sep 01 03:16:45.808 INFO kablam!   --> src/strong/ternary.rs:41:20
Sep 01 03:16:45.808 INFO kablam!    |
Sep 01 03:16:45.808 INFO kablam! 41 |     (Pred) NatPred(Nat): Nat {
Sep 01 03:16:45.808 INFO kablam!    |                    ^^^
Sep 01 03:16:45.808 INFO kablam!    |
Sep 01 03:16:45.808 INFO kablam!    = help: the bound will not be checked when the type alias is used, and should be removed
Sep 01 03:16:45.808 INFO kablam! 
Sep 01 03:16:45.808 INFO kablam! warning: bounds on generic parameters are not enforced in type aliases
Sep 01 03:16:45.808 INFO kablam!   --> src/strong/ternary.rs:53:32
Sep 01 03:16:45.808 INFO kablam!    |
Sep 01 03:16:45.808 INFO kablam! 53 |     (DoublePred) NatDoublePred(Nat): Nat {
Sep 01 03:16:45.809 INFO kablam!    |                                ^^^
Sep 01 03:16:45.809 INFO kablam!    |
Sep 01 03:16:45.809 INFO kablam!    = help: the bound will not be checked when the type alias is used, and should be removed
Sep 01 03:16:45.809 INFO kablam! 
Sep 01 03:16:45.809 INFO kablam! warning: bounds on generic parameters are not enforced in type aliases
Sep 01 03:16:45.809 INFO kablam!   --> src/strong/ternary.rs:68:24
Sep 01 03:16:45.809 INFO kablam!    |
Sep 01 03:16:45.809 INFO kablam! 68 |     (Triple) NatTriple(Nat): Nat {
Sep 01 03:16:45.809 INFO kablam!    |                        ^^^
Sep 01 03:16:45.809 INFO kablam!    |
Sep 01 03:16:45.809 INFO kablam!    = help: the bound will not be checked when the type alias is used, and should be removed
Sep 01 03:16:45.809 INFO kablam! 
Sep 01 03:16:45.809 INFO kablam! warning: bounds on generic parameters are not enforced in type aliases
Sep 01 03:16:45.810 INFO kablam!   --> src/strong/ternary.rs:81:24
Sep 01 03:16:45.810 INFO kablam!    |
Sep 01 03:16:45.810 INFO kablam! 81 |     (Unique) NatUnique(Nat): Nat {
Sep 01 03:16:45.810 INFO kablam!    |                        ^^^
Sep 01 03:16:45.810 INFO kablam!    |
Sep 01 03:16:45.810 INFO kablam!    = help: the bound will not be checked when the type alias is used, and should be removed
Sep 01 03:16:45.810 INFO kablam! 
Sep 01 03:16:45.810 INFO kablam! warning: bounds on generic parameters are not enforced in type aliases
Sep 01 03:16:45.810 INFO kablam!   --> src/strong/ternary.rs:95:18
Sep 01 03:16:45.810 INFO kablam!    |
Sep 01 03:16:45.810 INFO kablam! 95 |     (Add) NatAdd(Nat, Nat): Nat {
Sep 01 03:16:45.810 INFO kablam!    |                  ^^^
Sep 01 03:16:45.810 INFO kablam!    |
Sep 01 03:16:45.810 INFO kablam!    = help: the bound will not be checked when the type alias is used, and should be removed
Sep 01 03:16:45.811 INFO kablam! 
Sep 01 03:16:45.811 INFO kablam! warning: bounds on generic parameters are not enforced in type aliases
Sep 01 03:16:45.811 INFO kablam!   --> src/strong/ternary.rs:95:23
Sep 01 03:16:45.811 INFO kablam!    |
Sep 01 03:16:45.811 INFO kablam! 95 |     (Add) NatAdd(Nat, Nat): Nat {
Sep 01 03:16:45.811 INFO kablam!    |                       ^^^
Sep 01 03:16:45.811 INFO kablam!    |
Sep 01 03:16:45.811 INFO kablam!    = help: the bound will not be checked when the type alias is used, and should be removed
Sep 01 03:16:45.811 INFO kablam! 
Sep 01 03:16:45.811 INFO kablam! warning: bounds on generic parameters are not enforced in type aliases
Sep 01 03:16:45.811 INFO kablam!    --> src/strong/ternary.rs:128:38
Sep 01 03:16:45.811 INFO kablam!     |
Sep 01 03:16:45.811 INFO kablam! 128 |     (TriplePlusOne) NatTriplePlusOne(Nat): Nat {
Sep 01 03:16:45.812 INFO kablam!     |                                      ^^^
Sep 01 03:16:45.812 INFO kablam!     |
Sep 01 03:16:45.812 INFO kablam!     = help: the bound will not be checked when the type alias is used, and should be removed
Sep 01 03:16:45.812 INFO kablam! 
Sep 01 03:16:45.812 INFO kablam! warning: bounds on generic parameters are not enforced in type aliases
Sep 01 03:16:45.812 INFO kablam!    --> src/strong/ternary.rs:139:38
Sep 01 03:16:45.812 INFO kablam!     |
Sep 01 03:16:45.812 INFO kablam! 139 |     (TriplePlusTwo) NatTriplePlusTwo(Nat): Nat {
Sep 01 03:16:45.812 INFO kablam!     |                                      ^^^
Sep 01 03:16:45.812 INFO kablam!     |
Sep 01 03:16:45.812 INFO kablam!     = help: the bound will not be checked when the type alias is used, and should be removed
Sep 01 03:16:45.812 INFO kablam! 
Sep 01 03:16:45.812 INFO kablam! warning: bounds on generic parameters are not enforced in type aliases
Sep 01 03:16:45.813 INFO kablam!    --> src/strong/ternary.rs:152:18
Sep 01 03:16:45.813 INFO kablam!     |
Sep 01 03:16:45.813 INFO kablam! 152 |     (Sub) NatSub(Nat, Nat): Nat {
Sep 01 03:16:45.813 INFO kablam!     |                  ^^^
Sep 01 03:16:45.813 INFO kablam!     |
Sep 01 03:16:45.813 INFO kablam!     = help: the bound will not be checked when the type alias is used, and should be removed
Sep 01 03:16:45.813 INFO kablam! 
Sep 01 03:16:45.813 INFO kablam! warning: bounds on generic parameters are not enforced in type aliases
Sep 01 03:16:45.813 INFO kablam!    --> src/strong/ternary.rs:152:23
Sep 01 03:16:45.813 INFO kablam!     |
Sep 01 03:16:45.813 INFO kablam! 152 |     (Sub) NatSub(Nat, Nat): Nat {
Sep 01 03:16:45.813 INFO kablam!     |                       ^^^
Sep 01 03:16:45.813 INFO kablam!     |
Sep 01 03:16:45.813 INFO kablam!     = help: the bound will not be checked when the type alias is used, and should be removed
Sep 01 03:16:45.814 INFO kablam! 
Sep 01 03:16:45.814 INFO kablam! warning: bounds on generic parameters are not enforced in type aliases
Sep 01 03:16:45.814 INFO kablam!    --> src/strong/ternary.rs:185:18
Sep 01 03:16:45.814 INFO kablam!     |
Sep 01 03:16:45.814 INFO kablam! 185 |     (Mul) NatMul(Nat, Nat): Nat {
Sep 01 03:16:45.814 INFO kablam!     |                  ^^^
Sep 01 03:16:45.814 INFO kablam!     |
Sep 01 03:16:45.814 INFO kablam!     = help: the bound will not be checked when the type alias is used, and should be removed
Sep 01 03:16:45.814 INFO kablam! 
Sep 01 03:16:45.814 INFO kablam! warning: bounds on generic parameters are not enforced in type aliases
Sep 01 03:16:45.814 INFO kablam!    --> src/strong/ternary.rs:185:23
Sep 01 03:16:45.814 INFO kablam!     |
Sep 01 03:16:45.814 INFO kablam! 185 |     (Mul) NatMul(Nat, Nat): Nat {
Sep 01 03:16:45.815 INFO kablam!     |                       ^^^
Sep 01 03:16:45.815 INFO kablam!     |
Sep 01 03:16:45.815 INFO kablam!     = help: the bound will not be checked when the type alias is used, and should be removed
Sep 01 03:16:45.815 INFO kablam! 
Sep 01 03:16:45.815 INFO kablam! warning: bounds on generic parameters are not enforced in type aliases
Sep 01 03:16:45.815 INFO kablam!    --> src/strong/ternary.rs:220:18
Sep 01 03:16:45.815 INFO kablam!     |
Sep 01 03:16:45.815 INFO kablam! 220 |     (Cmp) NatCmp(Nat, Nat, Nat, Nat, Nat): Nat {
Sep 01 03:16:45.815 INFO kablam!     |                  ^^^
Sep 01 03:16:45.815 INFO kablam!     |
Sep 01 03:16:45.815 INFO kablam!     = help: the bound will not be checked when the type alias is used, and should be removed
Sep 01 03:16:45.815 INFO kablam! 
Sep 01 03:16:45.815 INFO kablam! warning: bounds on generic parameters are not enforced in type aliases
Sep 01 03:16:45.816 INFO kablam!    --> src/strong/ternary.rs:220:23
Sep 01 03:16:45.816 INFO kablam!     |
Sep 01 03:16:45.816 INFO kablam! 220 |     (Cmp) NatCmp(Nat, Nat, Nat, Nat, Nat): Nat {
Sep 01 03:16:45.816 INFO kablam!     |                       ^^^
Sep 01 03:16:45.816 INFO kablam!     |
Sep 01 03:16:45.816 INFO kablam!     = help: the bound will not be checked when the type alias is used, and should be removed
Sep 01 03:16:45.816 INFO kablam! 
Sep 01 03:16:45.816 INFO kablam! warning: bounds on generic parameters are not enforced in type aliases
Sep 01 03:16:45.816 INFO kablam!    --> src/strong/ternary.rs:220:28
Sep 01 03:16:45.816 INFO kablam!     |
Sep 01 03:16:45.816 INFO kablam! 220 |     (Cmp) NatCmp(Nat, Nat, Nat, Nat, Nat): Nat {
Sep 01 03:16:45.816 INFO kablam!     |                            ^^^
Sep 01 03:16:45.816 INFO kablam!     |
Sep 01 03:16:45.817 INFO kablam!     = help: the bound will not be checked when the type alias is used, and should be removed
Sep 01 03:16:45.817 INFO kablam! 
Sep 01 03:16:45.817 INFO kablam! warning: bounds on generic parameters are not enforced in type aliases
Sep 01 03:16:45.817 INFO kablam!    --> src/strong/ternary.rs:220:33
Sep 01 03:16:45.817 INFO kablam!     |
Sep 01 03:16:45.817 INFO kablam! 220 |     (Cmp) NatCmp(Nat, Nat, Nat, Nat, Nat): Nat {
Sep 01 03:16:45.817 INFO kablam!     |                                 ^^^
Sep 01 03:16:45.817 INFO kablam!     |
Sep 01 03:16:45.817 INFO kablam!     = help: the bound will not be checked when the type alias is used, and should be removed
Sep 01 03:16:45.817 INFO kablam! 
Sep 01 03:16:45.817 INFO kablam! warning: bounds on generic parameters are not enforced in type aliases
Sep 01 03:16:45.817 INFO kablam!    --> src/strong/ternary.rs:220:38
Sep 01 03:16:45.817 INFO kablam!     |
Sep 01 03:16:45.818 INFO kablam! 220 |     (Cmp) NatCmp(Nat, Nat, Nat, Nat, Nat): Nat {
Sep 01 03:16:45.818 INFO kablam!     |                                      ^^^
Sep 01 03:16:45.818 INFO kablam!     |
Sep 01 03:16:45.818 INFO kablam!     = help: the bound will not be checked when the type alias is used, and should be removed
Sep 01 03:16:45.818 INFO kablam! 
Sep 01 03:16:45.818 INFO kablam! warning: bounds on generic parameters are not enforced in type aliases
Sep 01 03:16:45.818 INFO kablam!    --> src/strong/ternary.rs:247:28
Sep 01 03:16:45.818 INFO kablam!     |
Sep 01 03:16:45.818 INFO kablam! 247 |     (UndefOr2) NatUndefOr2(Nat, Nat, NatPair): NatPair {
Sep 01 03:16:45.818 INFO kablam!     |                            ^^^
Sep 01 03:16:45.818 INFO kablam!     |
Sep 01 03:16:45.818 INFO kablam!     = help: the bound will not be checked when the type alias is used, and should be removed
Sep 01 03:16:45.818 INFO kablam! 
Sep 01 03:16:45.819 INFO kablam! warning: bounds on generic parameters are not enforced in type aliases
Sep 01 03:16:45.819 INFO kablam!    --> src/strong/ternary.rs:247:33
Sep 01 03:16:45.819 INFO kablam!     |
Sep 01 03:16:45.819 INFO kablam! 247 |     (UndefOr2) NatUndefOr2(Nat, Nat, NatPair): NatPair {
Sep 01 03:16:45.819 INFO kablam!     |                                 ^^^
Sep 01 03:16:45.819 INFO kablam!     |
Sep 01 03:16:45.819 INFO kablam!     = help: the bound will not be checked when the type alias is used, and should be removed
Sep 01 03:16:45.819 INFO kablam! 
Sep 01 03:16:45.819 INFO kablam! warning: bounds on generic parameters are not enforced in type aliases
Sep 01 03:16:45.819 INFO kablam!    --> src/strong/ternary.rs:247:38
Sep 01 03:16:45.819 INFO kablam!     |
Sep 01 03:16:45.819 INFO kablam! 247 |     (UndefOr2) NatUndefOr2(Nat, Nat, NatPair): NatPair {
Sep 01 03:16:45.819 INFO kablam!     |                                      ^^^^^^^
Sep 01 03:16:45.820 INFO kablam!     |
Sep 01 03:16:45.820 INFO kablam!     = help: the bound will not be checked when the type alias is used, and should be removed
Sep 01 03:16:45.820 INFO kablam! 
Sep 01 03:16:45.820 INFO kablam! warning: bounds on generic parameters are not enforced in type aliases
Sep 01 03:16:45.820 INFO kablam!    --> src/strong/ternary.rs:262:18
Sep 01 03:16:45.820 INFO kablam!     |
Sep 01 03:16:45.820 INFO kablam! 262 |     (Rev) NatRev(Nat): Nat {
Sep 01 03:16:45.820 INFO kablam!     |                  ^^^
Sep 01 03:16:45.820 INFO kablam!     |
Sep 01 03:16:45.820 INFO kablam!     = help: the bound will not be checked when the type alias is used, and should be removed
Sep 01 03:16:45.820 INFO kablam! 
Sep 01 03:16:45.820 INFO kablam! warning: bounds on generic parameters are not enforced in type aliases
Sep 01 03:16:45.820 INFO kablam!    --> src/strong/ternary.rs:268:34
Sep 01 03:16:45.821 INFO kablam!     |
Sep 01 03:16:45.821 INFO kablam! 268 |     (RevInternal) NatRevInternal(Nat, Nat): Nat {
Sep 01 03:16:45.821 INFO kablam!     |                                  ^^^
Sep 01 03:16:45.821 INFO kablam!     |
Sep 01 03:16:45.821 INFO kablam!     = help: the bound will not be checked when the type alias is used, and should be removed
Sep 01 03:16:45.821 INFO kablam! 
Sep 01 03:16:45.821 INFO kablam! warning: bounds on generic parameters are not enforced in type aliases
Sep 01 03:16:45.821 INFO kablam!    --> src/strong/ternary.rs:268:39
Sep 01 03:16:45.821 INFO kablam!     |
Sep 01 03:16:45.821 INFO kablam! 268 |     (RevInternal) NatRevInternal(Nat, Nat): Nat {
Sep 01 03:16:45.821 INFO kablam!     |                                       ^^^
Sep 01 03:16:45.821 INFO kablam!     |
Sep 01 03:16:45.821 INFO kablam!     = help: the bound will not be checked when the type alias is used, and should be removed
Sep 01 03:16:45.821 INFO kablam! 
Sep 01 03:16:45.822 INFO kablam! warning: bounds on generic parameters are not enforced in type aliases
Sep 01 03:16:45.822 INFO kablam!    --> src/strong/ternary.rs:281:18
Sep 01 03:16:45.822 INFO kablam!     |
Sep 01 03:16:45.822 INFO kablam! 281 |     (Div) NatDiv(Nat, Nat): Nat {
Sep 01 03:16:45.822 INFO kablam!     |                  ^^^
Sep 01 03:16:45.822 INFO kablam!     |
Sep 01 03:16:45.822 INFO kablam!     = help: the bound will not be checked when the type alias is used, and should be removed
Sep 01 03:16:45.822 INFO kablam! 
Sep 01 03:16:45.822 INFO kablam! warning: bounds on generic parameters are not enforced in type aliases
Sep 01 03:16:45.822 INFO kablam!    --> src/strong/ternary.rs:281:23
Sep 01 03:16:45.822 INFO kablam!     |
Sep 01 03:16:45.822 INFO kablam! 281 |     (Div) NatDiv(Nat, Nat): Nat {
Sep 01 03:16:45.822 INFO kablam!     |                       ^^^
Sep 01 03:16:45.822 INFO kablam!     |
Sep 01 03:16:45.823 INFO kablam!     = help: the bound will not be checked when the type alias is used, and should be removed
Sep 01 03:16:45.823 INFO kablam! 
Sep 01 03:16:45.823 INFO kablam! warning: bounds on generic parameters are not enforced in type aliases
Sep 01 03:16:45.823 INFO kablam!    --> src/strong/ternary.rs:306:18
Sep 01 03:16:45.823 INFO kablam!     |
Sep 01 03:16:45.823 INFO kablam! 306 |     (Rem) NatRem(Nat, Nat): Nat {
Sep 01 03:16:45.823 INFO kablam!     |                  ^^^
Sep 01 03:16:45.823 INFO kablam!     |
Sep 01 03:16:45.823 INFO kablam!     = help: the bound will not be checked when the type alias is used, and should be removed
Sep 01 03:16:45.823 INFO kablam! 
Sep 01 03:16:45.823 INFO kablam! warning: bounds on generic parameters are not enforced in type aliases
Sep 01 03:16:45.823 INFO kablam!    --> src/strong/ternary.rs:306:23
Sep 01 03:16:45.823 INFO kablam!     |
Sep 01 03:16:45.824 INFO kablam! 306 |     (Rem) NatRem(Nat, Nat): Nat {
Sep 01 03:16:45.824 INFO kablam!     |                       ^^^
Sep 01 03:16:45.824 INFO kablam!     |
Sep 01 03:16:45.824 INFO kablam!     = help: the bound will not be checked when the type alias is used, and should be removed
Sep 01 03:16:45.824 INFO kablam! 
Sep 01 03:16:45.824 INFO kablam! warning: bounds on generic parameters are not enforced in type aliases
Sep 01 03:16:45.824 INFO kablam!    --> src/strong/ternary.rs:329:34
Sep 01 03:16:45.824 INFO kablam!     |
Sep 01 03:16:45.824 INFO kablam! 329 |     (DivInternal) NatDivInternal(Nat, Nat, NatPair): NatPair {
Sep 01 03:16:45.824 INFO kablam!     |                                  ^^^
Sep 01 03:16:45.824 INFO kablam!     |
Sep 01 03:16:45.824 INFO kablam!     = help: the bound will not be checked when the type alias is used, and should be removed
Sep 01 03:16:45.825 INFO kablam! 
Sep 01 03:16:45.825 INFO kablam! warning: bounds on generic parameters are not enforced in type aliases
Sep 01 03:16:45.825 INFO kablam!    --> src/strong/ternary.rs:329:39
Sep 01 03:16:45.825 INFO kablam!     |
Sep 01 03:16:45.825 INFO kablam! 329 |     (DivInternal) NatDivInternal(Nat, Nat, NatPair): NatPair {
Sep 01 03:16:45.825 INFO kablam!     |                                       ^^^
Sep 01 03:16:45.825 INFO kablam!     |
Sep 01 03:16:45.825 INFO kablam!     = help: the bound will not be checked when the type alias is used, and should be removed
Sep 01 03:16:45.825 INFO kablam! 
Sep 01 03:16:45.825 INFO kablam! warning: bounds on generic parameters are not enforced in type aliases
Sep 01 03:16:45.825 INFO kablam!    --> src/strong/ternary.rs:329:44
Sep 01 03:16:45.826 INFO kablam!     |
Sep 01 03:16:45.826 INFO kablam! 329 |     (DivInternal) NatDivInternal(Nat, Nat, NatPair): NatPair {
Sep 01 03:16:45.826 INFO kablam!     |                                            ^^^^^^^
Sep 01 03:16:45.826 INFO kablam!     |
Sep 01 03:16:45.826 INFO kablam!     = help: the bound will not be checked when the type alias is used, and should be removed
Sep 01 03:16:45.826 INFO kablam! 
Sep 01 03:16:45.826 INFO kablam! warning: bounds on generic parameters are not enforced in type aliases
Sep 01 03:16:45.826 INFO kablam!   --> src/strong/balanced.rs:10:24
Sep 01 03:16:45.826 INFO kablam!    |
Sep 01 03:16:45.826 INFO kablam! 10 |     (Int2First) Int2P1(IntPair): Int {
Sep 01 03:16:45.826 INFO kablam!    |                        ^^^^^^^
Sep 01 03:16:45.826 INFO kablam!    |
Sep 01 03:16:45.827 INFO kablam!    = help: the bound will not be checked when the type alias is used, and should be removed
Sep 01 03:16:45.827 INFO kablam! 
Sep 01 03:16:45.827 INFO kablam! warning: bounds on generic parameters are not enforced in type aliases
Sep 01 03:16:45.827 INFO kablam!   --> src/strong/balanced.rs:17:25
Sep 01 03:16:45.827 INFO kablam!    |
Sep 01 03:16:45.827 INFO kablam! 17 |     (Int2Second) Int2P2(IntPair): Int {
Sep 01 03:16:45.827 INFO kablam!    |                         ^^^^^^^
Sep 01 03:16:45.827 INFO kablam!    |
Sep 01 03:16:45.827 INFO kablam!    = help: the bound will not be checked when the type alias is used, and should be removed
Sep 01 03:16:45.827 INFO kablam! 
Sep 01 03:16:45.827 INFO kablam! warning: bounds on generic parameters are not enforced in type aliases
Sep 01 03:16:45.828 INFO kablam!   --> src/strong/balanced.rs:24:20
Sep 01 03:16:45.828 INFO kablam!    |
Sep 01 03:16:45.828 INFO kablam! 24 |     (Succ) IntSucc(Int): Int {
Sep 01 03:16:45.828 INFO kablam!    |                    ^^^
Sep 01 03:16:45.828 INFO kablam!    |
Sep 01 03:16:45.828 INFO kablam!    = help: the bound will not be checked when the type alias is used, and should be removed
Sep 01 03:16:45.828 INFO kablam! 
Sep 01 03:16:45.828 INFO kablam! warning: bounds on generic parameters are not enforced in type aliases
Sep 01 03:16:45.828 INFO kablam!   --> src/strong/balanced.rs:35:20
Sep 01 03:16:45.828 INFO kablam!    |
Sep 01 03:16:45.828 INFO kablam! 35 |     (Pred) IntPred(Int): Int {
Sep 01 03:16:45.829 INFO kablam!    |                    ^^^
Sep 01 03:16:45.829 INFO kablam!    |
Sep 01 03:16:45.829 INFO kablam!    = help: the bound will not be checked when the type alias is used, and should be removed
Sep 01 03:16:45.829 INFO kablam! 
Sep 01 03:16:45.829 INFO kablam! warning: bounds on generic parameters are not enforced in type aliases
Sep 01 03:16:45.829 INFO kablam!   --> src/strong/balanced.rs:49:24
Sep 01 03:16:45.829 INFO kablam!    |
Sep 01 03:16:45.829 INFO kablam! 49 |     (Triple) IntTriple(Int): Int {
Sep 01 03:16:45.829 INFO kablam!    |                        ^^^
Sep 01 03:16:45.829 INFO kablam!    |
Sep 01 03:16:45.829 INFO kablam!    = help: the bound will not be checked when the type alias is used, and should be removed
Sep 01 03:16:45.829 INFO kablam! 
Sep 01 03:16:45.830 INFO kablam! warning: bounds on generic parameters are not enforced in type aliases
Sep 01 03:16:45.830 INFO kablam!   --> src/strong/balanced.rs:62:24
Sep 01 03:16:45.830 INFO kablam!    |
Sep 01 03:16:45.830 INFO kablam! 62 |     (IntUnique) Unique(Int): Int {
Sep 01 03:16:45.830 INFO kablam!    |                        ^^^
Sep 01 03:16:45.830 INFO kablam!    |
Sep 01 03:16:45.830 INFO kablam!    = help: the bound will not be checked when the type alias is used, and should be removed
Sep 01 03:16:45.830 INFO kablam! 
Sep 01 03:16:45.830 INFO kablam! warning: bounds on generic parameters are not enforced in type aliases
Sep 01 03:16:45.830 INFO kablam!   --> src/strong/balanced.rs:80:18
Sep 01 03:16:45.830 INFO kablam!    |
Sep 01 03:16:45.831 INFO kablam! 80 |     (Neg) IntNeg(Int): Int {
Sep 01 03:16:45.831 INFO kablam!    |                  ^^^
Sep 01 03:16:45.831 INFO kablam!    |
Sep 01 03:16:45.831 INFO kablam!    = help: the bound will not be checked when the type alias is used, and should be removed
Sep 01 03:16:45.831 INFO kablam! 
Sep 01 03:16:45.831 INFO kablam! warning: bounds on generic parameters are not enforced in type aliases
Sep 01 03:16:45.831 INFO kablam!   --> src/strong/balanced.rs:94:18
Sep 01 03:16:45.831 INFO kablam!    |
Sep 01 03:16:45.831 INFO kablam! 94 |     (Add) IntAdd(Int, Int): Int {
Sep 01 03:16:45.831 INFO kablam!    |                  ^^^
Sep 01 03:16:45.831 INFO kablam!    |
Sep 01 03:16:45.831 INFO kablam!    = help: the bound will not be checked when the type alias is used, and should be removed
Sep 01 03:16:45.832 INFO kablam! 
Sep 01 03:16:45.832 INFO kablam! warning: bounds on generic parameters are not enforced in type aliases
Sep 01 03:16:45.832 INFO kablam!   --> src/strong/balanced.rs:94:23
Sep 01 03:16:45.832 INFO kablam!    |
Sep 01 03:16:45.832 INFO kablam! 94 |     (Add) IntAdd(Int, Int): Int {
Sep 01 03:16:45.832 INFO kablam!    |                       ^^^
Sep 01 03:16:45.832 INFO kablam!    |
Sep 01 03:16:45.832 INFO kablam!    = help: the bound will not be checked when the type alias is used, and should be removed
Sep 01 03:16:45.832 INFO kablam! 
Sep 01 03:16:45.832 INFO kablam! warning: bounds on generic parameters are not enforced in type aliases
Sep 01 03:16:45.832 INFO kablam!    --> src/strong/balanced.rs:127:18
Sep 01 03:16:45.833 INFO kablam!     |
Sep 01 03:16:45.833 INFO kablam! 127 |     (Sub) IntSub(Int, Int): Int {
Sep 01 03:16:45.833 INFO kablam!     |                  ^^^
Sep 01 03:16:45.833 INFO kablam!     |
Sep 01 03:16:45.833 INFO kablam!     = help: the bound will not be checked when the type alias is used, and should be removed
Sep 01 03:16:45.833 INFO kablam! 
Sep 01 03:16:45.833 INFO kablam! warning: bounds on generic parameters are not enforced in type aliases
Sep 01 03:16:45.833 INFO kablam!    --> src/strong/balanced.rs:127:23
Sep 01 03:16:45.833 INFO kablam!     |
Sep 01 03:16:45.833 INFO kablam! 127 |     (Sub) IntSub(Int, Int): Int {
Sep 01 03:16:45.833 INFO kablam!     |                       ^^^
Sep 01 03:16:45.834 INFO kablam!     |
Sep 01 03:16:45.834 INFO kablam!     = help: the bound will not be checked when the type alias is used, and should be removed
Sep 01 03:16:45.834 INFO kablam! 
Sep 01 03:16:45.834 INFO kablam! warning: bounds on generic parameters are not enforced in type aliases
Sep 01 03:16:45.834 INFO kablam!    --> src/strong/balanced.rs:160:18
Sep 01 03:16:45.834 INFO kablam!     |
Sep 01 03:16:45.834 INFO kablam! 160 |     (Mul) IntMul(Int, Int): Int {
Sep 01 03:16:45.834 INFO kablam!     |                  ^^^
Sep 01 03:16:45.834 INFO kablam!     |
Sep 01 03:16:45.834 INFO kablam!     = help: the bound will not be checked when the type alias is used, and should be removed
Sep 01 03:16:45.834 INFO kablam! 
Sep 01 03:16:45.835 INFO kablam! warning: bounds on generic parameters are not enforced in type aliases
Sep 01 03:16:45.835 INFO kablam!    --> src/strong/balanced.rs:160:23
Sep 01 03:16:45.835 INFO kablam!     |
Sep 01 03:16:45.835 INFO kablam! 160 |     (Mul) IntMul(Int, Int): Int {
Sep 01 03:16:45.835 INFO kablam!     |                       ^^^
Sep 01 03:16:45.835 INFO kablam!     |
Sep 01 03:16:45.835 INFO kablam!     = help: the bound will not be checked when the type alias is used, and should be removed
Sep 01 03:16:45.835 INFO kablam! 
Sep 01 03:16:45.835 INFO kablam! warning: bounds on generic parameters are not enforced in type aliases
Sep 01 03:16:45.835 INFO kablam!    --> src/strong/balanced.rs:196:18
Sep 01 03:16:45.835 INFO kablam!     |
Sep 01 03:16:45.836 INFO kablam! 196 |     (Cmp) IntCmp(Int, Int, Int, Int, Int): Int {
Sep 01 03:16:45.836 INFO kablam!     |                  ^^^
Sep 01 03:16:45.836 INFO kablam!     |
Sep 01 03:16:45.836 INFO kablam!     = help: the bound will not be checked when the type alias is used, and should be removed
Sep 01 03:16:45.836 INFO kablam! 
Sep 01 03:16:45.836 INFO kablam! warning: bounds on generic parameters are not enforced in type aliases
Sep 01 03:16:45.836 INFO kablam!    --> src/strong/balanced.rs:196:23
Sep 01 03:16:45.836 INFO kablam!     |
Sep 01 03:16:45.836 INFO kablam! 196 |     (Cmp) IntCmp(Int, Int, Int, Int, Int): Int {
Sep 01 03:16:45.836 INFO kablam!     |                       ^^^
Sep 01 03:16:45.836 INFO kablam!     |
Sep 01 03:16:45.837 INFO kablam!     = help: the bound will not be checked when the type alias is used, and should be removed
Sep 01 03:16:45.837 INFO kablam! 
Sep 01 03:16:45.837 INFO kablam! warning: bounds on generic parameters are not enforced in type aliases
Sep 01 03:16:45.837 INFO kablam!    --> src/strong/balanced.rs:196:28
Sep 01 03:16:45.837 INFO kablam!     |
Sep 01 03:16:45.837 INFO kablam! 196 |     (Cmp) IntCmp(Int, Int, Int, Int, Int): Int {
Sep 01 03:16:45.837 INFO kablam!     |                            ^^^
Sep 01 03:16:45.837 INFO kablam!     |
Sep 01 03:16:45.837 INFO kablam!     = help: the bound will not be checked when the type alias is used, and should be removed
Sep 01 03:16:45.837 INFO kablam! 
Sep 01 03:16:45.837 INFO kablam! warning: bounds on generic parameters are not enforced in type aliases
Sep 01 03:16:45.838 INFO kablam!    --> src/strong/balanced.rs:196:33
Sep 01 03:16:45.838 INFO kablam!     |
Sep 01 03:16:45.838 INFO kablam! 196 |     (Cmp) IntCmp(Int, Int, Int, Int, Int): Int {
Sep 01 03:16:45.838 INFO kablam!     |                                 ^^^
Sep 01 03:16:45.838 INFO kablam!     |
Sep 01 03:16:45.838 INFO kablam!     = help: the bound will not be checked when the type alias is used, and should be removed
Sep 01 03:16:45.838 INFO kablam! 
Sep 01 03:16:45.838 INFO kablam! warning: bounds on generic parameters are not enforced in type aliases
Sep 01 03:16:45.838 INFO kablam!    --> src/strong/balanced.rs:196:38
Sep 01 03:16:45.838 INFO kablam!     |
Sep 01 03:16:45.838 INFO kablam! 196 |     (Cmp) IntCmp(Int, Int, Int, Int, Int): Int {
Sep 01 03:16:45.839 INFO kablam!     |                                      ^^^
Sep 01 03:16:45.839 INFO kablam!     |
Sep 01 03:16:45.839 INFO kablam!     = help: the bound will not be checked when the type alias is used, and should be removed
Sep 01 03:16:45.839 INFO kablam! 
Sep 01 03:16:45.839 INFO kablam! warning: bounds on generic parameters are not enforced in type aliases
Sep 01 03:16:45.839 INFO kablam!    --> src/strong/balanced.rs:223:20
Sep 01 03:16:45.839 INFO kablam!     |
Sep 01 03:16:45.839 INFO kablam! 223 |     (Cmp2) IntCmp2(Int, Int, IntPair, IntPair, IntPair): IntPair {
Sep 01 03:16:45.839 INFO kablam!     |                    ^^^
Sep 01 03:16:45.839 INFO kablam!     |
Sep 01 03:16:45.839 INFO kablam!     = help: the bound will not be checked when the type alias is used, and should be removed
Sep 01 03:16:45.839 INFO kablam! 
Sep 01 03:16:45.840 INFO kablam! warning: bounds on generic parameters are not enforced in type aliases
Sep 01 03:16:45.840 INFO kablam!    --> src/strong/balanced.rs:223:25
Sep 01 03:16:45.840 INFO kablam!     |
Sep 01 03:16:45.840 INFO kablam! 223 |     (Cmp2) IntCmp2(Int, Int, IntPair, IntPair, IntPair): IntPair {
Sep 01 03:16:45.840 INFO kablam!     |                         ^^^
Sep 01 03:16:45.840 INFO kablam!     |
Sep 01 03:16:45.840 INFO kablam!     = help: the bound will not be checked when the type alias is used, and should be removed
Sep 01 03:16:45.840 INFO kablam! 
Sep 01 03:16:45.840 INFO kablam! warning: bounds on generic parameters are not enforced in type aliases
Sep 01 03:16:45.840 INFO kablam!    --> src/strong/balanced.rs:223:30
Sep 01 03:16:45.840 INFO kablam!     |
Sep 01 03:16:45.841 INFO kablam! 223 |     (Cmp2) IntCmp2(Int, Int, IntPair, IntPair, IntPair): IntPair {
Sep 01 03:16:45.841 INFO kablam!     |                              ^^^^^^^
Sep 01 03:16:45.841 INFO kablam!     |
Sep 01 03:16:45.841 INFO kablam!     = help: the bound will not be checked when the type alias is used, and should be removed
Sep 01 03:16:45.841 INFO kablam! 
Sep 01 03:16:45.841 INFO kablam! warning: bounds on generic parameters are not enforced in type aliases
Sep 01 03:16:45.841 INFO kablam!    --> src/strong/balanced.rs:223:39
Sep 01 03:16:45.841 INFO kablam!     |
Sep 01 03:16:45.841 INFO kablam! 223 |     (Cmp2) IntCmp2(Int, Int, IntPair, IntPair, IntPair): IntPair {
Sep 01 03:16:45.841 INFO kablam!     |                                       ^^^^^^^
Sep 01 03:16:45.841 INFO kablam!     |
Sep 01 03:16:45.842 INFO kablam!     = help: the bound will not be checked when the type alias is used, and should be removed
Sep 01 03:16:45.842 INFO kablam! 
Sep 01 03:16:45.842 INFO kablam! warning: bounds on generic parameters are not enforced in type aliases
Sep 01 03:16:45.842 INFO kablam!    --> src/strong/balanced.rs:223:48
Sep 01 03:16:45.842 INFO kablam!     |
Sep 01 03:16:45.842 INFO kablam! 223 |     (Cmp2) IntCmp2(Int, Int, IntPair, IntPair, IntPair): IntPair {
Sep 01 03:16:45.842 INFO kablam!     |                                                ^^^^^^^
Sep 01 03:16:45.842 INFO kablam!     |
Sep 01 03:16:45.842 INFO kablam!     = help: the bound will not be checked when the type alias is used, and should be removed
Sep 01 03:16:45.842 INFO kablam! 
Sep 01 03:16:45.842 INFO kablam! warning: bounds on generic parameters are not enforced in type aliases
Sep 01 03:16:45.843 INFO kablam!    --> src/strong/balanced.rs:248:24
Sep 01 03:16:45.843 INFO kablam!     |
Sep 01 03:16:45.843 INFO kablam! 248 |     (LteCmp) IntLteCmp(Int, Int, Int, Int): Int {
Sep 01 03:16:45.843 INFO kablam!     |                        ^^^
Sep 01 03:16:45.843 INFO kablam!     |
Sep 01 03:16:45.843 INFO kablam!     = help: the bound will not be checked when the type alias is used, and should be removed
Sep 01 03:16:45.843 INFO kablam! 
Sep 01 03:16:45.843 INFO kablam! warning: bounds on generic parameters are not enforced in type aliases
Sep 01 03:16:45.843 INFO kablam!    --> src/strong/balanced.rs:248:29
Sep 01 03:16:45.843 INFO kablam!     |
Sep 01 03:16:45.843 INFO kablam! 248 |     (LteCmp) IntLteCmp(Int, Int, Int, Int): Int {
Sep 01 03:16:45.844 INFO kablam!     |                             ^^^
Sep 01 03:16:45.844 INFO kablam!     |
Sep 01 03:16:45.844 INFO kablam!     = help: the bound will not be checked when the type alias is used, and should be removed
Sep 01 03:16:45.844 INFO kablam! 
Sep 01 03:16:45.844 INFO kablam! warning: bounds on generic parameters are not enforced in type aliases
Sep 01 03:16:45.844 INFO kablam!    --> src/strong/balanced.rs:248:34
Sep 01 03:16:45.844 INFO kablam!     |
Sep 01 03:16:45.844 INFO kablam! 248 |     (LteCmp) IntLteCmp(Int, Int, Int, Int): Int {
Sep 01 03:16:45.844 INFO kablam!     |                                  ^^^
Sep 01 03:16:45.844 INFO kablam!     |
Sep 01 03:16:45.844 INFO kablam!     = help: the bound will not be checked when the type alias is used, and should be removed
Sep 01 03:16:45.845 INFO kablam! 
Sep 01 03:16:45.845 INFO kablam! warning: bounds on generic parameters are not enforced in type aliases
Sep 01 03:16:45.845 INFO kablam!    --> src/strong/balanced.rs:248:39
Sep 01 03:16:45.845 INFO kablam!     |
Sep 01 03:16:45.845 INFO kablam! 248 |     (LteCmp) IntLteCmp(Int, Int, Int, Int): Int {
Sep 01 03:16:45.845 INFO kablam!     |                                       ^^^
Sep 01 03:16:45.845 INFO kablam!     |
Sep 01 03:16:45.845 INFO kablam!     = help: the bound will not be checked when the type alias is used, and should be removed
Sep 01 03:16:45.845 INFO kablam! 
Sep 01 03:16:45.845 INFO kablam! warning: bounds on generic parameters are not enforced in type aliases
Sep 01 03:16:45.845 INFO kablam!    --> src/strong/balanced.rs:254:26
Sep 01 03:16:45.845 INFO kablam!     |
Sep 01 03:16:45.846 INFO kablam! 254 |     (LteCmp2) IntLteCmp2(Int, Int, IntPair, IntPair): IntPair {
Sep 01 03:16:45.846 INFO kablam!     |                          ^^^
Sep 01 03:16:45.846 INFO kablam!     |
Sep 01 03:16:45.846 INFO kablam!     = help: the bound will not be checked when the type alias is used, and should be removed
Sep 01 03:16:45.846 INFO kablam! 
Sep 01 03:16:45.846 INFO kablam! warning: bounds on generic parameters are not enforced in type aliases
Sep 01 03:16:45.846 INFO kablam!    --> src/strong/balanced.rs:254:31
Sep 01 03:16:45.846 INFO kablam!     |
Sep 01 03:16:45.846 INFO kablam! 254 |     (LteCmp2) IntLteCmp2(Int, Int, IntPair, IntPair): IntPair {
Sep 01 03:16:45.846 INFO kablam!     |                               ^^^
Sep 01 03:16:45.846 INFO kablam!     |
Sep 01 03:16:45.847 INFO kablam!     = help: the bound will not be checked when the type alias is used, and should be removed
Sep 01 03:16:45.847 INFO kablam! 
Sep 01 03:16:45.847 INFO kablam! warning: bounds on generic parameters are not enforced in type aliases
Sep 01 03:16:45.847 INFO kablam!    --> src/strong/balanced.rs:254:36
Sep 01 03:16:45.847 INFO kablam!     |
Sep 01 03:16:45.847 INFO kablam! 254 |     (LteCmp2) IntLteCmp2(Int, Int, IntPair, IntPair): IntPair {
Sep 01 03:16:45.847 INFO kablam!     |                                    ^^^^^^^
Sep 01 03:16:45.847 INFO kablam!     |
Sep 01 03:16:45.847 INFO kablam!     = help: the bound will not be checked when the type alias is used, and should be removed
Sep 01 03:16:45.847 INFO kablam! 
Sep 01 03:16:45.847 INFO kablam! warning: bounds on generic parameters are not enforced in type aliases
Sep 01 03:16:45.848 INFO kablam!    --> src/strong/balanced.rs:254:45
Sep 01 03:16:45.848 INFO kablam!     |
Sep 01 03:16:45.848 INFO kablam! 254 |     (LteCmp2) IntLteCmp2(Int, Int, IntPair, IntPair): IntPair {
Sep 01 03:16:45.848 INFO kablam!     |                                             ^^^^^^^
Sep 01 03:16:45.848 INFO kablam!     |
Sep 01 03:16:45.848 INFO kablam!     = help: the bound will not be checked when the type alias is used, and should be removed
Sep 01 03:16:45.848 INFO kablam! 
Sep 01 03:16:45.848 INFO kablam! warning: bounds on generic parameters are not enforced in type aliases
Sep 01 03:16:45.848 INFO kablam!    --> src/strong/balanced.rs:261:18
Sep 01 03:16:45.848 INFO kablam!     |
Sep 01 03:16:45.848 INFO kablam! 261 |     (Abs) IntAbs(Int): Int {
Sep 01 03:16:45.849 INFO kablam!     |                  ^^^
Sep 01 03:16:45.849 INFO kablam!     |
Sep 01 03:16:45.849 INFO kablam!     = help: the bound will not be checked when the type alias is used, and should be removed
Sep 01 03:16:45.849 INFO kablam! 
Sep 01 03:16:45.849 INFO kablam! warning: bounds on generic parameters are not enforced in type aliases
Sep 01 03:16:45.849 INFO kablam!    --> src/strong/balanced.rs:273:40
Sep 01 03:16:45.849 INFO kablam!     |
Sep 01 03:16:45.849 INFO kablam! 273 |     (AbsMinThreeCmp) IntAbsMinThreeCmp(Int, Int, Int, Int, Int, Int): IntPair {
Sep 01 03:16:45.849 INFO kablam!     |                                        ^^^
Sep 01 03:16:45.849 INFO kablam!     |
Sep 01 03:16:45.849 INFO kablam!     = help: the bound will not be checked when the type alias is used, and should be removed
Sep 01 03:16:45.850 INFO kablam! 
Sep 01 03:16:45.850 INFO kablam! warning: bounds on generic parameters are not enforced in type aliases
Sep 01 03:16:45.850 INFO kablam!    --> src/strong/balanced.rs:273:45
Sep 01 03:16:45.850 INFO kablam!     |
Sep 01 03:16:45.850 INFO kablam! 273 |     (AbsMinThreeCmp) IntAbsMinThreeCmp(Int, Int, Int, Int, Int, Int): IntPair {
Sep 01 03:16:45.850 INFO kablam!     |                                             ^^^
Sep 01 03:16:45.850 INFO kablam!     |
Sep 01 03:16:45.850 INFO kablam!     = help: the bound will not be checked when the type alias is used, and should be removed
Sep 01 03:16:45.850 INFO kablam! 
Sep 01 03:16:45.850 INFO kablam! warning: bounds on generic parameters are not enforced in type aliases
Sep 01 03:16:45.850 INFO kablam!    --> src/strong/balanced.rs:273:50
Sep 01 03:16:45.851 INFO kablam!     |
Sep 01 03:16:45.851 INFO kablam! 273 |     (AbsMinThreeCmp) IntAbsMinThreeCmp(Int, Int, Int, Int, Int, Int): IntPair {
Sep 01 03:16:45.851 INFO kablam!     |                                                  ^^^
Sep 01 03:16:45.851 INFO kablam!     |
Sep 01 03:16:45.851 INFO kablam!     = help: the bound will not be checked when the type alias is used, and should be removed
Sep 01 03:16:45.851 INFO kablam! 
Sep 01 03:16:45.851 INFO kablam! warning: bounds on generic parameters are not enforced in type aliases
Sep 01 03:16:45.851 INFO kablam!    --> src/strong/balanced.rs:273:55
Sep 01 03:16:45.851 INFO kablam!     |
Sep 01 03:16:45.851 INFO kablam! 273 |     (AbsMinThreeCmp) IntAbsMinThreeCmp(Int, Int, Int, Int, Int, Int): IntPair {
Sep 01 03:16:45.851 INFO kablam!     |                                                       ^^^
Sep 01 03:16:45.852 INFO kablam!     |
Sep 01 03:16:45.852 INFO kablam!     = help: the bound will not be checked when the type alias is used, and should be removed
Sep 01 03:16:45.852 INFO kablam! 
Sep 01 03:16:45.852 INFO kablam! warning: bounds on generic parameters are not enforced in type aliases
Sep 01 03:16:45.852 INFO kablam!    --> src/strong/balanced.rs:273:60
Sep 01 03:16:45.852 INFO kablam!     |
Sep 01 03:16:45.852 INFO kablam! 273 |     (AbsMinThreeCmp) IntAbsMinThreeCmp(Int, Int, Int, Int, Int, Int): IntPair {
Sep 01 03:16:45.852 INFO kablam!     |                                                            ^^^
Sep 01 03:16:45.852 INFO kablam!     |
Sep 01 03:16:45.852 INFO kablam!     = help: the bound will not be checked when the type alias is used, and should be removed
Sep 01 03:16:45.852 INFO kablam! 
Sep 01 03:16:45.853 INFO kablam! warning: bounds on generic parameters are not enforced in type aliases
Sep 01 03:16:45.853 INFO kablam!    --> src/strong/balanced.rs:273:65
Sep 01 03:16:45.853 INFO kablam!     |
Sep 01 03:16:45.853 INFO kablam! 273 |     (AbsMinThreeCmp) IntAbsMinThreeCmp(Int, Int, Int, Int, Int, Int): IntPair {
Sep 01 03:16:45.853 INFO kablam!     |                                                                 ^^^
Sep 01 03:16:45.853 INFO kablam!     |
Sep 01 03:16:45.853 INFO kablam!     = help: the bound will not be checked when the type alias is used, and should be removed
Sep 01 03:16:45.853 INFO kablam! 
Sep 01 03:16:45.853 INFO kablam! warning: bounds on generic parameters are not enforced in type aliases
Sep 01 03:16:45.853 INFO kablam!    --> src/strong/balanced.rs:284:18
Sep 01 03:16:45.853 INFO kablam!     |
Sep 01 03:16:45.853 INFO kablam! 284 |     (Rev) IntRev(Int): Int {
Sep 01 03:16:45.854 INFO kablam!     |                  ^^^
Sep 01 03:16:45.854 INFO kablam!     |
Sep 01 03:16:45.854 INFO kablam!     = help: the bound will not be checked when the type alias is used, and should be removed
Sep 01 03:16:45.854 INFO kablam! 
Sep 01 03:16:45.854 INFO kablam! warning: bounds on generic parameters are not enforced in type aliases
Sep 01 03:16:45.854 INFO kablam!    --> src/strong/balanced.rs:290:34
Sep 01 03:16:45.854 INFO kablam!     |
Sep 01 03:16:45.854 INFO kablam! 290 |     (RevInternal) IntRevInternal(Int, Int): Int {
Sep 01 03:16:45.854 INFO kablam!     |                                  ^^^
Sep 01 03:16:45.854 INFO kablam!     |
Sep 01 03:16:45.854 INFO kablam!     = help: the bound will not be checked when the type alias is used, and should be removed
Sep 01 03:16:45.855 INFO kablam! 
Sep 01 03:16:45.855 INFO kablam! warning: bounds on generic parameters are not enforced in type aliases
Sep 01 03:16:45.855 INFO kablam!    --> src/strong/balanced.rs:290:39
Sep 01 03:16:45.855 INFO kablam!     |
Sep 01 03:16:45.855 INFO kablam! 290 |     (RevInternal) IntRevInternal(Int, Int): Int {
Sep 01 03:16:45.855 INFO kablam!     |                                       ^^^
Sep 01 03:16:45.855 INFO kablam!     |
Sep 01 03:16:45.855 INFO kablam!     = help: the bound will not be checked when the type alias is used, and should be removed
Sep 01 03:16:45.855 INFO kablam! 
Sep 01 03:16:45.855 INFO kablam! warning: bounds on generic parameters are not enforced in type aliases
Sep 01 03:16:45.855 INFO kablam!    --> src/strong/balanced.rs:302:18
Sep 01 03:16:45.856 INFO kablam!     |
Sep 01 03:16:45.856 INFO kablam! 302 |     (Div) IntDiv(Int, Int): Int {
Sep 01 03:16:45.856 INFO kablam!     |                  ^^^
Sep 01 03:16:45.856 INFO kablam!     |
Sep 01 03:16:45.856 INFO kablam!     = help: the bound will not be checked when the type alias is used, and should be removed
Sep 01 03:16:45.856 INFO kablam! 
Sep 01 03:16:45.856 INFO kablam! warning: bounds on generic parameters are not enforced in type aliases
Sep 01 03:16:45.856 INFO kablam!    --> src/strong/balanced.rs:302:23
Sep 01 03:16:45.856 INFO kablam!     |
Sep 01 03:16:45.856 INFO kablam! 302 |     (Div) IntDiv(Int, Int): Int {
Sep 01 03:16:45.856 INFO kablam!     |                       ^^^
Sep 01 03:16:45.856 INFO kablam!     |
Sep 01 03:16:45.856 INFO kablam!     = help: the bound will not be checked when the type alias is used, and should be removed
Sep 01 03:16:45.856 INFO kablam! 
Sep 01 03:16:45.856 INFO kablam! warning: bounds on generic parameters are not enforced in type aliases
Sep 01 03:16:45.856 INFO kablam!    --> src/strong/balanced.rs:326:18
Sep 01 03:16:45.857 INFO kablam!     |
Sep 01 03:16:45.857 INFO kablam! 326 |     (Rem) IntRem(Int, Int): Int {
Sep 01 03:16:45.857 INFO kablam!     |                  ^^^
Sep 01 03:16:45.857 INFO kablam!     |
Sep 01 03:16:45.857 INFO kablam!     = help: the bound will not be checked when the type alias is used, and should be removed
Sep 01 03:16:45.857 INFO kablam! 
Sep 01 03:16:45.857 INFO kablam! warning: bounds on generic parameters are not enforced in type aliases
Sep 01 03:16:45.857 INFO kablam!    --> src/strong/balanced.rs:326:23
Sep 01 03:16:45.857 INFO kablam!     |
Sep 01 03:16:45.857 INFO kablam! 326 |     (Rem) IntRem(Int, Int): Int {
Sep 01 03:16:45.857 INFO kablam!     |                       ^^^
Sep 01 03:16:45.857 INFO kablam!     |
Sep 01 03:16:45.857 INFO kablam!     = help: the bound will not be checked when the type alias is used, and should be removed
Sep 01 03:16:45.857 INFO kablam! 
Sep 01 03:16:45.857 INFO kablam! warning: bounds on generic parameters are not enforced in type aliases
Sep 01 03:16:45.857 INFO kablam!    --> src/strong/balanced.rs:349:34
Sep 01 03:16:45.857 INFO kablam!     |
Sep 01 03:16:45.857 INFO kablam! 349 |     (DivInternal) IntDivInternal(Int, Int, IntPair): IntPair {
Sep 01 03:16:45.857 INFO kablam!     |                                  ^^^
Sep 01 03:16:45.857 INFO kablam!     |
Sep 01 03:16:45.857 INFO kablam!     = help: the bound will not be checked when the type alias is used, and should be removed
Sep 01 03:16:45.857 INFO kablam! 
Sep 01 03:16:45.857 INFO kablam! warning: bounds on generic parameters are not enforced in type aliases
Sep 01 03:16:45.857 INFO kablam!    --> src/strong/balanced.rs:349:39
Sep 01 03:16:45.858 INFO kablam!     |
Sep 01 03:16:45.858 INFO kablam! 349 |     (DivInternal) IntDivInternal(Int, Int, IntPair): IntPair {
Sep 01 03:16:45.858 INFO kablam!     |                                       ^^^
Sep 01 03:16:45.858 INFO kablam!     |
Sep 01 03:16:45.858 INFO kablam!     = help: the bound will not be checked when the type alias is used, and should be removed
Sep 01 03:16:45.858 INFO kablam! 
Sep 01 03:16:45.858 INFO kablam! warning: bounds on generic parameters are not enforced in type aliases
Sep 01 03:16:45.858 INFO kablam!    --> src/strong/balanced.rs:349:44
Sep 01 03:16:45.858 INFO kablam!     |
Sep 01 03:16:45.858 INFO kablam! 349 |     (DivInternal) IntDivInternal(Int, Int, IntPair): IntPair {
Sep 01 03:16:45.858 INFO kablam!     |                                            ^^^^^^^
Sep 01 03:16:45.858 INFO kablam!     |
Sep 01 03:16:45.858 INFO kablam!     = help: the bound will not be checked when the type alias is used, and should be removed
Sep 01 03:16:45.858 INFO kablam! 
Sep 01 03:16:45.861 INFO kablam!     Finished dev [unoptimized + debuginfo] target(s) in 4.03s
Sep 01 03:16:45.863 INFO kablam! su: No module specific data is present
Sep 01 03:16:46.372 INFO running `"docker" "rm" "-f" "9ddc353fb5b096fa00ba670cb121423003b21e41c797383fa56d4a4ed9e25a26"`
Sep 01 03:16:46.485 INFO blam! 9ddc353fb5b096fa00ba670cb121423003b21e41c797383fa56d4a4ed9e25a26