Aug 01 19:46:40.634 INFO checking type-level-logic-0.1.0 against 1.27.2 for lazy_static-1
Aug 01 19:46:40.634 INFO running: cargo +1.27.2 check --frozen --all --all-targets
Aug 01 19:46:40.634 INFO creating container for: cargo +1.27.2 check --frozen --all --all-targets
Aug 01 19:46:40.634 INFO running `"docker" "create" "-v" "/tmp/crater.uSU7nTr8DUaM:/source:ro,Z" "-v" "/home/ec2-user/crater/./work/local/target-dirs/lazy_static-1/worker-0/1.27.2:/target:rw,Z" "-v" "/home/ec2-user/crater/./work/local/cargo-home:/cargo-home:ro,Z" "-v" "/home/ec2-user/crater/./work/local/rustup-home:/rustup-home:ro,Z" "-v" "/home/ec2-user/crater/./work/local/cargo-home/git:/cargo-home/git:rw,Z" "-e" "USER_ID=500" "-e" "CMD=cargo +1.27.2 check --frozen --all --all-targets" "-e" "CARGO_INCREMENTAL=0" "-e" "RUST_BACKTRACE=full" "-e" "RUSTFLAGS=--cap-lints=forbid" "crater"`
Aug 01 19:46:40.823 INFO blam! 26faa39b5761726cc5a232e8fe4f974ff48a995349d4ca426d456801bc042dc0
Aug 01 19:46:40.824 INFO running `"docker" "start" "-a" "26faa39b5761726cc5a232e8fe4f974ff48a995349d4ca426d456801bc042dc0"`
Aug 01 19:46:41.564 INFO kablam!     Checking type-operators v0.3.5
Aug 01 19:46:41.853 INFO kablam!     Checking type-level-logic v0.1.0 (file:///source)
Aug 01 19:46:45.526 INFO kablam! warning: bounds on generic parameters are not enforced in type aliases
Aug 01 19:46:45.526 INFO kablam!  --> src/strong/boolean.rs:9:19
Aug 01 19:46:45.526 INFO kablam!   |
Aug 01 19:46:45.526 INFO kablam! 9 |     (And) BoolAnd(Bool, Bool): Bool {
Aug 01 19:46:45.526 INFO kablam!   |                   ^^^^
Aug 01 19:46:45.526 INFO kablam!   |
Aug 01 19:46:45.526 INFO kablam!   = note: #[warn(type_alias_bounds)] on by default
Aug 01 19:46:45.526 INFO kablam!   = help: the bound will not be checked when the type alias is used, and should be removed
Aug 01 19:46:45.527 INFO kablam! 
Aug 01 19:46:45.527 INFO kablam! warning: bounds on generic parameters are not enforced in type aliases
Aug 01 19:46:45.527 INFO kablam!  --> src/strong/boolean.rs:9:25
Aug 01 19:46:45.527 INFO kablam!   |
Aug 01 19:46:45.527 INFO kablam! 9 |     (And) BoolAnd(Bool, Bool): Bool {
Aug 01 19:46:45.527 INFO kablam!   |                         ^^^^
Aug 01 19:46:45.527 INFO kablam!   |
Aug 01 19:46:45.527 INFO kablam!   = help: the bound will not be checked when the type alias is used, and should be removed
Aug 01 19:46:45.527 INFO kablam! 
Aug 01 19:46:45.528 INFO kablam! warning: bounds on generic parameters are not enforced in type aliases
Aug 01 19:46:45.528 INFO kablam!   --> src/strong/boolean.rs:17:17
Aug 01 19:46:45.528 INFO kablam!    |
Aug 01 19:46:45.528 INFO kablam! 17 |     (Or) BoolOr(Bool, Bool): Bool {
Aug 01 19:46:45.528 INFO kablam!    |                 ^^^^
Aug 01 19:46:45.528 INFO kablam!    |
Aug 01 19:46:45.528 INFO kablam!    = help: the bound will not be checked when the type alias is used, and should be removed
Aug 01 19:46:45.528 INFO kablam! 
Aug 01 19:46:45.528 INFO kablam! warning: bounds on generic parameters are not enforced in type aliases
Aug 01 19:46:45.528 INFO kablam!   --> src/strong/boolean.rs:17:23
Aug 01 19:46:45.528 INFO kablam!    |
Aug 01 19:46:45.528 INFO kablam! 17 |     (Or) BoolOr(Bool, Bool): Bool {
Aug 01 19:46:45.529 INFO kablam!    |                       ^^^^
Aug 01 19:46:45.529 INFO kablam!    |
Aug 01 19:46:45.529 INFO kablam!    = help: the bound will not be checked when the type alias is used, and should be removed
Aug 01 19:46:45.529 INFO kablam! 
Aug 01 19:46:45.529 INFO kablam! warning: bounds on generic parameters are not enforced in type aliases
Aug 01 19:46:45.529 INFO kablam!   --> src/strong/boolean.rs:26:25
Aug 01 19:46:45.529 INFO kablam!    |
Aug 01 19:46:45.529 INFO kablam! 26 |     (IfThen) BoolIfThen(Bool, Bool): Bool {
Aug 01 19:46:45.529 INFO kablam!    |                         ^^^^
Aug 01 19:46:45.529 INFO kablam!    |
Aug 01 19:46:45.529 INFO kablam!    = help: the bound will not be checked when the type alias is used, and should be removed
Aug 01 19:46:45.529 INFO kablam! 
Aug 01 19:46:45.529 INFO kablam! warning: bounds on generic parameters are not enforced in type aliases
Aug 01 19:46:45.529 INFO kablam!   --> src/strong/boolean.rs:26:31
Aug 01 19:46:45.529 INFO kablam!    |
Aug 01 19:46:45.529 INFO kablam! 26 |     (IfThen) BoolIfThen(Bool, Bool): Bool {
Aug 01 19:46:45.529 INFO kablam!    |                               ^^^^
Aug 01 19:46:45.529 INFO kablam!    |
Aug 01 19:46:45.529 INFO kablam!    = help: the bound will not be checked when the type alias is used, and should be removed
Aug 01 19:46:45.529 INFO kablam! 
Aug 01 19:46:45.529 INFO kablam! warning: bounds on generic parameters are not enforced in type aliases
Aug 01 19:46:45.529 INFO kablam!   --> src/strong/boolean.rs:35:25
Aug 01 19:46:45.529 INFO kablam!    |
Aug 01 19:46:45.529 INFO kablam! 35 |     (OnlyIf) BoolOnlyIf(Bool, Bool): Bool {
Aug 01 19:46:45.529 INFO kablam!    |                         ^^^^
Aug 01 19:46:45.529 INFO kablam!    |
Aug 01 19:46:45.529 INFO kablam!    = help: the bound will not be checked when the type alias is used, and should be removed
Aug 01 19:46:45.529 INFO kablam! 
Aug 01 19:46:45.529 INFO kablam! warning: bounds on generic parameters are not enforced in type aliases
Aug 01 19:46:45.529 INFO kablam!   --> src/strong/boolean.rs:35:31
Aug 01 19:46:45.529 INFO kablam!    |
Aug 01 19:46:45.529 INFO kablam! 35 |     (OnlyIf) BoolOnlyIf(Bool, Bool): Bool {
Aug 01 19:46:45.529 INFO kablam!    |                               ^^^^
Aug 01 19:46:45.529 INFO kablam!    |
Aug 01 19:46:45.529 INFO kablam!    = help: the bound will not be checked when the type alias is used, and should be removed
Aug 01 19:46:45.530 INFO kablam! 
Aug 01 19:46:45.530 INFO kablam! warning: bounds on generic parameters are not enforced in type aliases
Aug 01 19:46:45.530 INFO kablam!   --> src/strong/boolean.rs:43:19
Aug 01 19:46:45.530 INFO kablam!    |
Aug 01 19:46:45.530 INFO kablam! 43 |     (Xor) BoolXor(Bool, Bool): Bool {
Aug 01 19:46:45.530 INFO kablam!    |                   ^^^^
Aug 01 19:46:45.530 INFO kablam!    |
Aug 01 19:46:45.530 INFO kablam!    = help: the bound will not be checked when the type alias is used, and should be removed
Aug 01 19:46:45.530 INFO kablam! 
Aug 01 19:46:45.530 INFO kablam! warning: bounds on generic parameters are not enforced in type aliases
Aug 01 19:46:45.530 INFO kablam!   --> src/strong/boolean.rs:43:25
Aug 01 19:46:45.530 INFO kablam!    |
Aug 01 19:46:45.530 INFO kablam! 43 |     (Xor) BoolXor(Bool, Bool): Bool {
Aug 01 19:46:45.530 INFO kablam!    |                         ^^^^
Aug 01 19:46:45.530 INFO kablam!    |
Aug 01 19:46:45.530 INFO kablam!    = help: the bound will not be checked when the type alias is used, and should be removed
Aug 01 19:46:45.530 INFO kablam! 
Aug 01 19:46:45.530 INFO kablam! warning: bounds on generic parameters are not enforced in type aliases
Aug 01 19:46:45.530 INFO kablam!   --> src/strong/ternary.rs:14:24
Aug 01 19:46:45.530 INFO kablam!    |
Aug 01 19:46:45.530 INFO kablam! 14 |     (Nat2First) Nat2P1(NatPair): Nat {
Aug 01 19:46:45.530 INFO kablam!    |                        ^^^^^^^
Aug 01 19:46:45.530 INFO kablam!    |
Aug 01 19:46:45.530 INFO kablam!    = help: the bound will not be checked when the type alias is used, and should be removed
Aug 01 19:46:45.530 INFO kablam! 
Aug 01 19:46:45.534 INFO kablam! warning: bounds on generic parameters are not enforced in type aliases
Aug 01 19:46:45.534 INFO kablam!   --> src/strong/ternary.rs:21:25
Aug 01 19:46:45.534 INFO kablam!    |
Aug 01 19:46:45.534 INFO kablam! 21 |     (Nat2Second) Nat2P2(NatPair): Nat {
Aug 01 19:46:45.534 INFO kablam!    |                         ^^^^^^^
Aug 01 19:46:45.534 INFO kablam!    |
Aug 01 19:46:45.534 INFO kablam!    = help: the bound will not be checked when the type alias is used, and should be removed
Aug 01 19:46:45.534 INFO kablam! 
Aug 01 19:46:45.534 INFO kablam! warning: bounds on generic parameters are not enforced in type aliases
Aug 01 19:46:45.534 INFO kablam!   --> src/strong/ternary.rs:29:20
Aug 01 19:46:45.534 INFO kablam!    |
Aug 01 19:46:45.534 INFO kablam! 29 |     (Succ) NatSucc(Nat): Nat {
Aug 01 19:46:45.534 INFO kablam!    |                    ^^^
Aug 01 19:46:45.534 INFO kablam!    |
Aug 01 19:46:45.534 INFO kablam!    = help: the bound will not be checked when the type alias is used, and should be removed
Aug 01 19:46:45.534 INFO kablam! 
Aug 01 19:46:45.535 INFO kablam! warning: bounds on generic parameters are not enforced in type aliases
Aug 01 19:46:45.535 INFO kablam!   --> src/strong/ternary.rs:41:20
Aug 01 19:46:45.535 INFO kablam!    |
Aug 01 19:46:45.535 INFO kablam! 41 |     (Pred) NatPred(Nat): Nat {
Aug 01 19:46:45.535 INFO kablam!    |                    ^^^
Aug 01 19:46:45.535 INFO kablam!    |
Aug 01 19:46:45.535 INFO kablam!    = help: the bound will not be checked when the type alias is used, and should be removed
Aug 01 19:46:45.535 INFO kablam! 
Aug 01 19:46:45.535 INFO kablam! warning: bounds on generic parameters are not enforced in type aliases
Aug 01 19:46:45.535 INFO kablam!   --> src/strong/ternary.rs:53:32
Aug 01 19:46:45.535 INFO kablam!    |
Aug 01 19:46:45.535 INFO kablam! 53 |     (DoublePred) NatDoublePred(Nat): Nat {
Aug 01 19:46:45.535 INFO kablam!    |                                ^^^
Aug 01 19:46:45.535 INFO kablam!    |
Aug 01 19:46:45.535 INFO kablam!    = help: the bound will not be checked when the type alias is used, and should be removed
Aug 01 19:46:45.535 INFO kablam! 
Aug 01 19:46:45.535 INFO kablam! warning: bounds on generic parameters are not enforced in type aliases
Aug 01 19:46:45.535 INFO kablam!   --> src/strong/ternary.rs:68:24
Aug 01 19:46:45.535 INFO kablam!    |
Aug 01 19:46:45.535 INFO kablam! 68 |     (Triple) NatTriple(Nat): Nat {
Aug 01 19:46:45.535 INFO kablam!    |                        ^^^
Aug 01 19:46:45.535 INFO kablam!    |
Aug 01 19:46:45.535 INFO kablam!    = help: the bound will not be checked when the type alias is used, and should be removed
Aug 01 19:46:45.535 INFO kablam! 
Aug 01 19:46:45.535 INFO kablam! warning: bounds on generic parameters are not enforced in type aliases
Aug 01 19:46:45.535 INFO kablam!   --> src/strong/ternary.rs:81:24
Aug 01 19:46:45.535 INFO kablam!    |
Aug 01 19:46:45.535 INFO kablam! 81 |     (Unique) NatUnique(Nat): Nat {
Aug 01 19:46:45.535 INFO kablam!    |                        ^^^
Aug 01 19:46:45.535 INFO kablam!    |
Aug 01 19:46:45.535 INFO kablam!    = help: the bound will not be checked when the type alias is used, and should be removed
Aug 01 19:46:45.535 INFO kablam! 
Aug 01 19:46:45.535 INFO kablam! warning: bounds on generic parameters are not enforced in type aliases
Aug 01 19:46:45.535 INFO kablam!   --> src/strong/ternary.rs:95:18
Aug 01 19:46:45.536 INFO kablam!    |
Aug 01 19:46:45.536 INFO kablam! 95 |     (Add) NatAdd(Nat, Nat): Nat {
Aug 01 19:46:45.536 INFO kablam!    |                  ^^^
Aug 01 19:46:45.536 INFO kablam!    |
Aug 01 19:46:45.536 INFO kablam!    = help: the bound will not be checked when the type alias is used, and should be removed
Aug 01 19:46:45.536 INFO kablam! 
Aug 01 19:46:45.536 INFO kablam! warning: bounds on generic parameters are not enforced in type aliases
Aug 01 19:46:45.536 INFO kablam!   --> src/strong/ternary.rs:95:23
Aug 01 19:46:45.536 INFO kablam!    |
Aug 01 19:46:45.536 INFO kablam! 95 |     (Add) NatAdd(Nat, Nat): Nat {
Aug 01 19:46:45.536 INFO kablam!    |                       ^^^
Aug 01 19:46:45.536 INFO kablam!    |
Aug 01 19:46:45.536 INFO kablam!    = help: the bound will not be checked when the type alias is used, and should be removed
Aug 01 19:46:45.536 INFO kablam! 
Aug 01 19:46:45.536 INFO kablam! warning: bounds on generic parameters are not enforced in type aliases
Aug 01 19:46:45.536 INFO kablam!    --> src/strong/ternary.rs:128:38
Aug 01 19:46:45.536 INFO kablam!     |
Aug 01 19:46:45.536 INFO kablam! 128 |     (TriplePlusOne) NatTriplePlusOne(Nat): Nat {
Aug 01 19:46:45.536 INFO kablam!     |                                      ^^^
Aug 01 19:46:45.536 INFO kablam!     |
Aug 01 19:46:45.536 INFO kablam!     = help: the bound will not be checked when the type alias is used, and should be removed
Aug 01 19:46:45.536 INFO kablam! 
Aug 01 19:46:45.536 INFO kablam! warning: bounds on generic parameters are not enforced in type aliases
Aug 01 19:46:45.536 INFO kablam!    --> src/strong/ternary.rs:139:38
Aug 01 19:46:45.539 INFO kablam!     |
Aug 01 19:46:45.539 INFO kablam! 139 |     (TriplePlusTwo) NatTriplePlusTwo(Nat): Nat {
Aug 01 19:46:45.539 INFO kablam!     |                                      ^^^
Aug 01 19:46:45.539 INFO kablam!     |
Aug 01 19:46:45.539 INFO kablam!     = help: the bound will not be checked when the type alias is used, and should be removed
Aug 01 19:46:45.540 INFO kablam! 
Aug 01 19:46:45.540 INFO kablam! warning: bounds on generic parameters are not enforced in type aliases
Aug 01 19:46:45.540 INFO kablam!    --> src/strong/ternary.rs:152:18
Aug 01 19:46:45.540 INFO kablam!     |
Aug 01 19:46:45.540 INFO kablam! 152 |     (Sub) NatSub(Nat, Nat): Nat {
Aug 01 19:46:45.540 INFO kablam!     |                  ^^^
Aug 01 19:46:45.540 INFO kablam!     |
Aug 01 19:46:45.540 INFO kablam!     = help: the bound will not be checked when the type alias is used, and should be removed
Aug 01 19:46:45.540 INFO kablam! 
Aug 01 19:46:45.541 INFO kablam! warning: bounds on generic parameters are not enforced in type aliases
Aug 01 19:46:45.541 INFO kablam!    --> src/strong/ternary.rs:152:23
Aug 01 19:46:45.541 INFO kablam!     |
Aug 01 19:46:45.541 INFO kablam! 152 |     (Sub) NatSub(Nat, Nat): Nat {
Aug 01 19:46:45.541 INFO kablam!     |                       ^^^
Aug 01 19:46:45.541 INFO kablam!     |
Aug 01 19:46:45.541 INFO kablam!     = help: the bound will not be checked when the type alias is used, and should be removed
Aug 01 19:46:45.541 INFO kablam! 
Aug 01 19:46:45.541 INFO kablam! warning: bounds on generic parameters are not enforced in type aliases
Aug 01 19:46:45.542 INFO kablam!    --> src/strong/ternary.rs:185:18
Aug 01 19:46:45.542 INFO kablam!     |
Aug 01 19:46:45.542 INFO kablam! 185 |     (Mul) NatMul(Nat, Nat): Nat {
Aug 01 19:46:45.542 INFO kablam!     |                  ^^^
Aug 01 19:46:45.542 INFO kablam!     |
Aug 01 19:46:45.542 INFO kablam!     = help: the bound will not be checked when the type alias is used, and should be removed
Aug 01 19:46:45.542 INFO kablam! 
Aug 01 19:46:45.542 INFO kablam! warning: bounds on generic parameters are not enforced in type aliases
Aug 01 19:46:45.542 INFO kablam!    --> src/strong/ternary.rs:185:23
Aug 01 19:46:45.543 INFO kablam!     |
Aug 01 19:46:45.543 INFO kablam! 185 |     (Mul) NatMul(Nat, Nat): Nat {
Aug 01 19:46:45.543 INFO kablam!     |                       ^^^
Aug 01 19:46:45.543 INFO kablam!     |
Aug 01 19:46:45.543 INFO kablam!     = help: the bound will not be checked when the type alias is used, and should be removed
Aug 01 19:46:45.543 INFO kablam! 
Aug 01 19:46:45.543 INFO kablam! warning: bounds on generic parameters are not enforced in type aliases
Aug 01 19:46:45.544 INFO kablam!    --> src/strong/ternary.rs:220:18
Aug 01 19:46:45.544 INFO kablam!     |
Aug 01 19:46:45.544 INFO kablam! 220 |     (Cmp) NatCmp(Nat, Nat, Nat, Nat, Nat): Nat {
Aug 01 19:46:45.544 INFO kablam!     |                  ^^^
Aug 01 19:46:45.544 INFO kablam!     |
Aug 01 19:46:45.544 INFO kablam!     = help: the bound will not be checked when the type alias is used, and should be removed
Aug 01 19:46:45.544 INFO kablam! 
Aug 01 19:46:45.544 INFO kablam! warning: bounds on generic parameters are not enforced in type aliases
Aug 01 19:46:45.544 INFO kablam!    --> src/strong/ternary.rs:220:23
Aug 01 19:46:45.544 INFO kablam!     |
Aug 01 19:46:45.545 INFO kablam! 220 |     (Cmp) NatCmp(Nat, Nat, Nat, Nat, Nat): Nat {
Aug 01 19:46:45.545 INFO kablam!     |                       ^^^
Aug 01 19:46:45.545 INFO kablam!     |
Aug 01 19:46:45.545 INFO kablam!     = help: the bound will not be checked when the type alias is used, and should be removed
Aug 01 19:46:45.545 INFO kablam! 
Aug 01 19:46:45.545 INFO kablam! warning: bounds on generic parameters are not enforced in type aliases
Aug 01 19:46:45.545 INFO kablam!    --> src/strong/ternary.rs:220:28
Aug 01 19:46:45.545 INFO kablam!     |
Aug 01 19:46:45.545 INFO kablam! 220 |     (Cmp) NatCmp(Nat, Nat, Nat, Nat, Nat): Nat {
Aug 01 19:46:45.546 INFO kablam!     |                            ^^^
Aug 01 19:46:45.546 INFO kablam!     |
Aug 01 19:46:45.546 INFO kablam!     = help: the bound will not be checked when the type alias is used, and should be removed
Aug 01 19:46:45.546 INFO kablam! 
Aug 01 19:46:45.546 INFO kablam! warning: bounds on generic parameters are not enforced in type aliases
Aug 01 19:46:45.546 INFO kablam!    --> src/strong/ternary.rs:220:33
Aug 01 19:46:45.546 INFO kablam!     |
Aug 01 19:46:45.546 INFO kablam! 220 |     (Cmp) NatCmp(Nat, Nat, Nat, Nat, Nat): Nat {
Aug 01 19:46:45.546 INFO kablam!     |                                 ^^^
Aug 01 19:46:45.547 INFO kablam!     |
Aug 01 19:46:45.547 INFO kablam!     = help: the bound will not be checked when the type alias is used, and should be removed
Aug 01 19:46:45.547 INFO kablam! 
Aug 01 19:46:45.547 INFO kablam! warning: bounds on generic parameters are not enforced in type aliases
Aug 01 19:46:45.547 INFO kablam!    --> src/strong/ternary.rs:220:38
Aug 01 19:46:45.547 INFO kablam!     |
Aug 01 19:46:45.547 INFO kablam! 220 |     (Cmp) NatCmp(Nat, Nat, Nat, Nat, Nat): Nat {
Aug 01 19:46:45.547 INFO kablam!     |                                      ^^^
Aug 01 19:46:45.547 INFO kablam!     |
Aug 01 19:46:45.547 INFO kablam!     = help: the bound will not be checked when the type alias is used, and should be removed
Aug 01 19:46:45.547 INFO kablam! 
Aug 01 19:46:45.548 INFO kablam! warning: bounds on generic parameters are not enforced in type aliases
Aug 01 19:46:45.548 INFO kablam!    --> src/strong/ternary.rs:247:28
Aug 01 19:46:45.548 INFO kablam!     |
Aug 01 19:46:45.548 INFO kablam! 247 |     (UndefOr2) NatUndefOr2(Nat, Nat, NatPair): NatPair {
Aug 01 19:46:45.548 INFO kablam!     |                            ^^^
Aug 01 19:46:45.548 INFO kablam!     |
Aug 01 19:46:45.548 INFO kablam!     = help: the bound will not be checked when the type alias is used, and should be removed
Aug 01 19:46:45.548 INFO kablam! 
Aug 01 19:46:45.548 INFO kablam! warning: bounds on generic parameters are not enforced in type aliases
Aug 01 19:46:45.549 INFO kablam!    --> src/strong/ternary.rs:247:33
Aug 01 19:46:45.549 INFO kablam!     |
Aug 01 19:46:45.549 INFO kablam! 247 |     (UndefOr2) NatUndefOr2(Nat, Nat, NatPair): NatPair {
Aug 01 19:46:45.549 INFO kablam!     |                                 ^^^
Aug 01 19:46:45.549 INFO kablam!     |
Aug 01 19:46:45.549 INFO kablam!     = help: the bound will not be checked when the type alias is used, and should be removed
Aug 01 19:46:45.549 INFO kablam! 
Aug 01 19:46:45.549 INFO kablam! warning: bounds on generic parameters are not enforced in type aliases
Aug 01 19:46:45.549 INFO kablam!    --> src/strong/ternary.rs:247:38
Aug 01 19:46:45.550 INFO kablam!     |
Aug 01 19:46:45.550 INFO kablam! 247 |     (UndefOr2) NatUndefOr2(Nat, Nat, NatPair): NatPair {
Aug 01 19:46:45.550 INFO kablam!     |                                      ^^^^^^^
Aug 01 19:46:45.550 INFO kablam!     |
Aug 01 19:46:45.550 INFO kablam!     = help: the bound will not be checked when the type alias is used, and should be removed
Aug 01 19:46:45.550 INFO kablam! 
Aug 01 19:46:45.550 INFO kablam! warning: bounds on generic parameters are not enforced in type aliases
Aug 01 19:46:45.550 INFO kablam!    --> src/strong/ternary.rs:262:18
Aug 01 19:46:45.550 INFO kablam!     |
Aug 01 19:46:45.551 INFO kablam! 262 |     (Rev) NatRev(Nat): Nat {
Aug 01 19:46:45.551 INFO kablam!     |                  ^^^
Aug 01 19:46:45.551 INFO kablam!     |
Aug 01 19:46:45.551 INFO kablam!     = help: the bound will not be checked when the type alias is used, and should be removed
Aug 01 19:46:45.551 INFO kablam! 
Aug 01 19:46:45.551 INFO kablam! warning: bounds on generic parameters are not enforced in type aliases
Aug 01 19:46:45.551 INFO kablam!    --> src/strong/ternary.rs:268:34
Aug 01 19:46:45.551 INFO kablam!     |
Aug 01 19:46:45.552 INFO kablam! 268 |     (RevInternal) NatRevInternal(Nat, Nat): Nat {
Aug 01 19:46:45.552 INFO kablam!     |                                  ^^^
Aug 01 19:46:45.552 INFO kablam!     |
Aug 01 19:46:45.552 INFO kablam!     = help: the bound will not be checked when the type alias is used, and should be removed
Aug 01 19:46:45.552 INFO kablam! 
Aug 01 19:46:45.552 INFO kablam! warning: bounds on generic parameters are not enforced in type aliases
Aug 01 19:46:45.552 INFO kablam!    --> src/strong/ternary.rs:268:39
Aug 01 19:46:45.552 INFO kablam!     |
Aug 01 19:46:45.553 INFO kablam! 268 |     (RevInternal) NatRevInternal(Nat, Nat): Nat {
Aug 01 19:46:45.553 INFO kablam!     |                                       ^^^
Aug 01 19:46:45.553 INFO kablam!     |
Aug 01 19:46:45.553 INFO kablam!     = help: the bound will not be checked when the type alias is used, and should be removed
Aug 01 19:46:45.553 INFO kablam! 
Aug 01 19:46:45.553 INFO kablam! warning: bounds on generic parameters are not enforced in type aliases
Aug 01 19:46:45.553 INFO kablam!    --> src/strong/ternary.rs:281:18
Aug 01 19:46:45.553 INFO kablam!     |
Aug 01 19:46:45.553 INFO kablam! 281 |     (Div) NatDiv(Nat, Nat): Nat {
Aug 01 19:46:45.554 INFO kablam!     |                  ^^^
Aug 01 19:46:45.554 INFO kablam!     |
Aug 01 19:46:45.554 INFO kablam!     = help: the bound will not be checked when the type alias is used, and should be removed
Aug 01 19:46:45.554 INFO kablam! 
Aug 01 19:46:45.554 INFO kablam! warning: bounds on generic parameters are not enforced in type aliases
Aug 01 19:46:45.554 INFO kablam!    --> src/strong/ternary.rs:281:23
Aug 01 19:46:45.554 INFO kablam!     |
Aug 01 19:46:45.554 INFO kablam! 281 |     (Div) NatDiv(Nat, Nat): Nat {
Aug 01 19:46:45.554 INFO kablam!     |                       ^^^
Aug 01 19:46:45.554 INFO kablam!     |
Aug 01 19:46:45.555 INFO kablam!     = help: the bound will not be checked when the type alias is used, and should be removed
Aug 01 19:46:45.555 INFO kablam! 
Aug 01 19:46:45.555 INFO kablam! warning: bounds on generic parameters are not enforced in type aliases
Aug 01 19:46:45.555 INFO kablam!    --> src/strong/ternary.rs:306:18
Aug 01 19:46:45.555 INFO kablam!     |
Aug 01 19:46:45.555 INFO kablam! 306 |     (Rem) NatRem(Nat, Nat): Nat {
Aug 01 19:46:45.555 INFO kablam!     |                  ^^^
Aug 01 19:46:45.555 INFO kablam!     |
Aug 01 19:46:45.556 INFO kablam!     = help: the bound will not be checked when the type alias is used, and should be removed
Aug 01 19:46:45.556 INFO kablam! 
Aug 01 19:46:45.556 INFO kablam! warning: bounds on generic parameters are not enforced in type aliases
Aug 01 19:46:45.556 INFO kablam!    --> src/strong/ternary.rs:306:23
Aug 01 19:46:45.556 INFO kablam!     |
Aug 01 19:46:45.556 INFO kablam! 306 |     (Rem) NatRem(Nat, Nat): Nat {
Aug 01 19:46:45.556 INFO kablam!     |                       ^^^
Aug 01 19:46:45.556 INFO kablam!     |
Aug 01 19:46:45.556 INFO kablam!     = help: the bound will not be checked when the type alias is used, and should be removed
Aug 01 19:46:45.557 INFO kablam! 
Aug 01 19:46:45.557 INFO kablam! warning: bounds on generic parameters are not enforced in type aliases
Aug 01 19:46:45.557 INFO kablam!    --> src/strong/ternary.rs:329:34
Aug 01 19:46:45.557 INFO kablam!     |
Aug 01 19:46:45.557 INFO kablam! 329 |     (DivInternal) NatDivInternal(Nat, Nat, NatPair): NatPair {
Aug 01 19:46:45.557 INFO kablam!     |                                  ^^^
Aug 01 19:46:45.557 INFO kablam!     |
Aug 01 19:46:45.558 INFO kablam!     = help: the bound will not be checked when the type alias is used, and should be removed
Aug 01 19:46:45.558 INFO kablam! 
Aug 01 19:46:45.558 INFO kablam! warning: bounds on generic parameters are not enforced in type aliases
Aug 01 19:46:45.558 INFO kablam!    --> src/strong/ternary.rs:329:39
Aug 01 19:46:45.558 INFO kablam!     |
Aug 01 19:46:45.558 INFO kablam! 329 |     (DivInternal) NatDivInternal(Nat, Nat, NatPair): NatPair {
Aug 01 19:46:45.558 INFO kablam!     |                                       ^^^
Aug 01 19:46:45.558 INFO kablam!     |
Aug 01 19:46:45.559 INFO kablam!     = help: the bound will not be checked when the type alias is used, and should be removed
Aug 01 19:46:45.559 INFO kablam! 
Aug 01 19:46:45.559 INFO kablam! warning: bounds on generic parameters are not enforced in type aliases
Aug 01 19:46:45.559 INFO kablam!    --> src/strong/ternary.rs:329:44
Aug 01 19:46:45.559 INFO kablam!     |
Aug 01 19:46:45.559 INFO kablam! 329 |     (DivInternal) NatDivInternal(Nat, Nat, NatPair): NatPair {
Aug 01 19:46:45.559 INFO kablam!     |                                            ^^^^^^^
Aug 01 19:46:45.559 INFO kablam!     |
Aug 01 19:46:45.560 INFO kablam!     = help: the bound will not be checked when the type alias is used, and should be removed
Aug 01 19:46:45.560 INFO kablam! 
Aug 01 19:46:45.560 INFO kablam! warning: bounds on generic parameters are not enforced in type aliases
Aug 01 19:46:45.560 INFO kablam!   --> src/strong/balanced.rs:10:24
Aug 01 19:46:45.560 INFO kablam!    |
Aug 01 19:46:45.560 INFO kablam! 10 |     (Int2First) Int2P1(IntPair): Int {
Aug 01 19:46:45.560 INFO kablam!    |                        ^^^^^^^
Aug 01 19:46:45.560 INFO kablam!    |
Aug 01 19:46:45.561 INFO kablam!    = help: the bound will not be checked when the type alias is used, and should be removed
Aug 01 19:46:45.561 INFO kablam! 
Aug 01 19:46:45.561 INFO kablam! warning: bounds on generic parameters are not enforced in type aliases
Aug 01 19:46:45.561 INFO kablam!   --> src/strong/balanced.rs:17:25
Aug 01 19:46:45.561 INFO kablam!    |
Aug 01 19:46:45.561 INFO kablam! 17 |     (Int2Second) Int2P2(IntPair): Int {
Aug 01 19:46:45.561 INFO kablam!    |                         ^^^^^^^
Aug 01 19:46:45.561 INFO kablam!    |
Aug 01 19:46:45.562 INFO kablam!    = help: the bound will not be checked when the type alias is used, and should be removed
Aug 01 19:46:45.562 INFO kablam! 
Aug 01 19:46:45.562 INFO kablam! warning: bounds on generic parameters are not enforced in type aliases
Aug 01 19:46:45.562 INFO kablam!   --> src/strong/balanced.rs:24:20
Aug 01 19:46:45.562 INFO kablam!    |
Aug 01 19:46:45.562 INFO kablam! 24 |     (Succ) IntSucc(Int): Int {
Aug 01 19:46:45.562 INFO kablam!    |                    ^^^
Aug 01 19:46:45.563 INFO kablam!    |
Aug 01 19:46:45.563 INFO kablam!    = help: the bound will not be checked when the type alias is used, and should be removed
Aug 01 19:46:45.563 INFO kablam! 
Aug 01 19:46:45.563 INFO kablam! warning: bounds on generic parameters are not enforced in type aliases
Aug 01 19:46:45.563 INFO kablam!   --> src/strong/balanced.rs:35:20
Aug 01 19:46:45.563 INFO kablam!    |
Aug 01 19:46:45.563 INFO kablam! 35 |     (Pred) IntPred(Int): Int {
Aug 01 19:46:45.563 INFO kablam!    |                    ^^^
Aug 01 19:46:45.563 INFO kablam!    |
Aug 01 19:46:45.564 INFO kablam!    = help: the bound will not be checked when the type alias is used, and should be removed
Aug 01 19:46:45.564 INFO kablam! 
Aug 01 19:46:45.564 INFO kablam! warning: bounds on generic parameters are not enforced in type aliases
Aug 01 19:46:45.564 INFO kablam!   --> src/strong/balanced.rs:49:24
Aug 01 19:46:45.564 INFO kablam!    |
Aug 01 19:46:45.564 INFO kablam! 49 |     (Triple) IntTriple(Int): Int {
Aug 01 19:46:45.564 INFO kablam!    |                        ^^^
Aug 01 19:46:45.564 INFO kablam!    |
Aug 01 19:46:45.565 INFO kablam!    = help: the bound will not be checked when the type alias is used, and should be removed
Aug 01 19:46:45.565 INFO kablam! 
Aug 01 19:46:45.565 INFO kablam! warning: bounds on generic parameters are not enforced in type aliases
Aug 01 19:46:45.565 INFO kablam!   --> src/strong/balanced.rs:62:24
Aug 01 19:46:45.565 INFO kablam!    |
Aug 01 19:46:45.565 INFO kablam! 62 |     (IntUnique) Unique(Int): Int {
Aug 01 19:46:45.565 INFO kablam!    |                        ^^^
Aug 01 19:46:45.565 INFO kablam!    |
Aug 01 19:46:45.565 INFO kablam!    = help: the bound will not be checked when the type alias is used, and should be removed
Aug 01 19:46:45.566 INFO kablam! 
Aug 01 19:46:45.566 INFO kablam! warning: bounds on generic parameters are not enforced in type aliases
Aug 01 19:46:45.566 INFO kablam!   --> src/strong/balanced.rs:80:18
Aug 01 19:46:45.566 INFO kablam!    |
Aug 01 19:46:45.566 INFO kablam! 80 |     (Neg) IntNeg(Int): Int {
Aug 01 19:46:45.566 INFO kablam!    |                  ^^^
Aug 01 19:46:45.566 INFO kablam!    |
Aug 01 19:46:45.566 INFO kablam!    = help: the bound will not be checked when the type alias is used, and should be removed
Aug 01 19:46:45.566 INFO kablam! 
Aug 01 19:46:45.567 INFO kablam! warning: bounds on generic parameters are not enforced in type aliases
Aug 01 19:46:45.567 INFO kablam!   --> src/strong/balanced.rs:94:18
Aug 01 19:46:45.567 INFO kablam!    |
Aug 01 19:46:45.567 INFO kablam! 94 |     (Add) IntAdd(Int, Int): Int {
Aug 01 19:46:45.567 INFO kablam!    |                  ^^^
Aug 01 19:46:45.567 INFO kablam!    |
Aug 01 19:46:45.567 INFO kablam!    = help: the bound will not be checked when the type alias is used, and should be removed
Aug 01 19:46:45.567 INFO kablam! 
Aug 01 19:46:45.567 INFO kablam! warning: bounds on generic parameters are not enforced in type aliases
Aug 01 19:46:45.568 INFO kablam!   --> src/strong/balanced.rs:94:23
Aug 01 19:46:45.568 INFO kablam!    |
Aug 01 19:46:45.568 INFO kablam! 94 |     (Add) IntAdd(Int, Int): Int {
Aug 01 19:46:45.568 INFO kablam!    |                       ^^^
Aug 01 19:46:45.568 INFO kablam!    |
Aug 01 19:46:45.568 INFO kablam!    = help: the bound will not be checked when the type alias is used, and should be removed
Aug 01 19:46:45.568 INFO kablam! 
Aug 01 19:46:45.569 INFO kablam! warning: bounds on generic parameters are not enforced in type aliases
Aug 01 19:46:45.569 INFO kablam!    --> src/strong/balanced.rs:127:18
Aug 01 19:46:45.569 INFO kablam!     |
Aug 01 19:46:45.569 INFO kablam! 127 |     (Sub) IntSub(Int, Int): Int {
Aug 01 19:46:45.569 INFO kablam!     |                  ^^^
Aug 01 19:46:45.569 INFO kablam!     |
Aug 01 19:46:45.569 INFO kablam!     = help: the bound will not be checked when the type alias is used, and should be removed
Aug 01 19:46:45.569 INFO kablam! 
Aug 01 19:46:45.570 INFO kablam! warning: bounds on generic parameters are not enforced in type aliases
Aug 01 19:46:45.570 INFO kablam!    --> src/strong/balanced.rs:127:23
Aug 01 19:46:45.570 INFO kablam!     |
Aug 01 19:46:45.570 INFO kablam! 127 |     (Sub) IntSub(Int, Int): Int {
Aug 01 19:46:45.570 INFO kablam!     |                       ^^^
Aug 01 19:46:45.570 INFO kablam!     |
Aug 01 19:46:45.570 INFO kablam!     = help: the bound will not be checked when the type alias is used, and should be removed
Aug 01 19:46:45.571 INFO kablam! 
Aug 01 19:46:45.571 INFO kablam! warning: bounds on generic parameters are not enforced in type aliases
Aug 01 19:46:45.571 INFO kablam!    --> src/strong/balanced.rs:160:18
Aug 01 19:46:45.571 INFO kablam!     |
Aug 01 19:46:45.571 INFO kablam! 160 |     (Mul) IntMul(Int, Int): Int {
Aug 01 19:46:45.571 INFO kablam!     |                  ^^^
Aug 01 19:46:45.571 INFO kablam!     |
Aug 01 19:46:45.572 INFO kablam!     = help: the bound will not be checked when the type alias is used, and should be removed
Aug 01 19:46:45.572 INFO kablam! 
Aug 01 19:46:45.572 INFO kablam! warning: bounds on generic parameters are not enforced in type aliases
Aug 01 19:46:45.572 INFO kablam!    --> src/strong/balanced.rs:160:23
Aug 01 19:46:45.572 INFO kablam!     |
Aug 01 19:46:45.572 INFO kablam! 160 |     (Mul) IntMul(Int, Int): Int {
Aug 01 19:46:45.573 INFO kablam!     |                       ^^^
Aug 01 19:46:45.573 INFO kablam!     |
Aug 01 19:46:45.573 INFO kablam!     = help: the bound will not be checked when the type alias is used, and should be removed
Aug 01 19:46:45.573 INFO kablam! 
Aug 01 19:46:45.573 INFO kablam! warning: bounds on generic parameters are not enforced in type aliases
Aug 01 19:46:45.573 INFO kablam!    --> src/strong/balanced.rs:196:18
Aug 01 19:46:45.573 INFO kablam!     |
Aug 01 19:46:45.574 INFO kablam! 196 |     (Cmp) IntCmp(Int, Int, Int, Int, Int): Int {
Aug 01 19:46:45.574 INFO kablam!     |                  ^^^
Aug 01 19:46:45.574 INFO kablam!     |
Aug 01 19:46:45.574 INFO kablam!     = help: the bound will not be checked when the type alias is used, and should be removed
Aug 01 19:46:45.574 INFO kablam! 
Aug 01 19:46:45.574 INFO kablam! warning: bounds on generic parameters are not enforced in type aliases
Aug 01 19:46:45.574 INFO kablam!    --> src/strong/balanced.rs:196:23
Aug 01 19:46:45.575 INFO kablam!     |
Aug 01 19:46:45.575 INFO kablam! 196 |     (Cmp) IntCmp(Int, Int, Int, Int, Int): Int {
Aug 01 19:46:45.575 INFO kablam!     |                       ^^^
Aug 01 19:46:45.575 INFO kablam!     |
Aug 01 19:46:45.575 INFO kablam!     = help: the bound will not be checked when the type alias is used, and should be removed
Aug 01 19:46:45.575 INFO kablam! 
Aug 01 19:46:45.575 INFO kablam! warning: bounds on generic parameters are not enforced in type aliases
Aug 01 19:46:45.576 INFO kablam!    --> src/strong/balanced.rs:196:28
Aug 01 19:46:45.576 INFO kablam!     |
Aug 01 19:46:45.576 INFO kablam! 196 |     (Cmp) IntCmp(Int, Int, Int, Int, Int): Int {
Aug 01 19:46:45.576 INFO kablam!     |                            ^^^
Aug 01 19:46:45.576 INFO kablam!     |
Aug 01 19:46:45.576 INFO kablam!     = help: the bound will not be checked when the type alias is used, and should be removed
Aug 01 19:46:45.576 INFO kablam! 
Aug 01 19:46:45.576 INFO kablam! warning: bounds on generic parameters are not enforced in type aliases
Aug 01 19:46:45.577 INFO kablam!    --> src/strong/balanced.rs:196:33
Aug 01 19:46:45.577 INFO kablam!     |
Aug 01 19:46:45.577 INFO kablam! 196 |     (Cmp) IntCmp(Int, Int, Int, Int, Int): Int {
Aug 01 19:46:45.577 INFO kablam!     |                                 ^^^
Aug 01 19:46:45.577 INFO kablam!     |
Aug 01 19:46:45.577 INFO kablam!     = help: the bound will not be checked when the type alias is used, and should be removed
Aug 01 19:46:45.577 INFO kablam! 
Aug 01 19:46:45.577 INFO kablam! warning: bounds on generic parameters are not enforced in type aliases
Aug 01 19:46:45.577 INFO kablam!    --> src/strong/balanced.rs:196:38
Aug 01 19:46:45.578 INFO kablam!     |
Aug 01 19:46:45.578 INFO kablam! 196 |     (Cmp) IntCmp(Int, Int, Int, Int, Int): Int {
Aug 01 19:46:45.578 INFO kablam!     |                                      ^^^
Aug 01 19:46:45.578 INFO kablam!     |
Aug 01 19:46:45.578 INFO kablam!     = help: the bound will not be checked when the type alias is used, and should be removed
Aug 01 19:46:45.578 INFO kablam! 
Aug 01 19:46:45.578 INFO kablam! warning: bounds on generic parameters are not enforced in type aliases
Aug 01 19:46:45.578 INFO kablam!    --> src/strong/balanced.rs:223:20
Aug 01 19:46:45.578 INFO kablam!     |
Aug 01 19:46:45.579 INFO kablam! 223 |     (Cmp2) IntCmp2(Int, Int, IntPair, IntPair, IntPair): IntPair {
Aug 01 19:46:45.579 INFO kablam!     |                    ^^^
Aug 01 19:46:45.579 INFO kablam!     |
Aug 01 19:46:45.579 INFO kablam!     = help: the bound will not be checked when the type alias is used, and should be removed
Aug 01 19:46:45.579 INFO kablam! 
Aug 01 19:46:45.579 INFO kablam! warning: bounds on generic parameters are not enforced in type aliases
Aug 01 19:46:45.579 INFO kablam!    --> src/strong/balanced.rs:223:25
Aug 01 19:46:45.580 INFO kablam!     |
Aug 01 19:46:45.580 INFO kablam! 223 |     (Cmp2) IntCmp2(Int, Int, IntPair, IntPair, IntPair): IntPair {
Aug 01 19:46:45.580 INFO kablam!     |                         ^^^
Aug 01 19:46:45.580 INFO kablam!     |
Aug 01 19:46:45.580 INFO kablam!     = help: the bound will not be checked when the type alias is used, and should be removed
Aug 01 19:46:45.580 INFO kablam! 
Aug 01 19:46:45.580 INFO kablam! warning: bounds on generic parameters are not enforced in type aliases
Aug 01 19:46:45.580 INFO kablam!    --> src/strong/balanced.rs:223:30
Aug 01 19:46:45.580 INFO kablam!     |
Aug 01 19:46:45.581 INFO kablam! 223 |     (Cmp2) IntCmp2(Int, Int, IntPair, IntPair, IntPair): IntPair {
Aug 01 19:46:45.581 INFO kablam!     |                              ^^^^^^^
Aug 01 19:46:45.581 INFO kablam!     |
Aug 01 19:46:45.581 INFO kablam!     = help: the bound will not be checked when the type alias is used, and should be removed
Aug 01 19:46:45.581 INFO kablam! 
Aug 01 19:46:45.581 INFO kablam! warning: bounds on generic parameters are not enforced in type aliases
Aug 01 19:46:45.581 INFO kablam!    --> src/strong/balanced.rs:223:39
Aug 01 19:46:45.581 INFO kablam!     |
Aug 01 19:46:45.582 INFO kablam! 223 |     (Cmp2) IntCmp2(Int, Int, IntPair, IntPair, IntPair): IntPair {
Aug 01 19:46:45.582 INFO kablam!     |                                       ^^^^^^^
Aug 01 19:46:45.582 INFO kablam!     |
Aug 01 19:46:45.582 INFO kablam!     = help: the bound will not be checked when the type alias is used, and should be removed
Aug 01 19:46:45.582 INFO kablam! 
Aug 01 19:46:45.582 INFO kablam! warning: bounds on generic parameters are not enforced in type aliases
Aug 01 19:46:45.582 INFO kablam!    --> src/strong/balanced.rs:223:48
Aug 01 19:46:45.582 INFO kablam!     |
Aug 01 19:46:45.582 INFO kablam! 223 |     (Cmp2) IntCmp2(Int, Int, IntPair, IntPair, IntPair): IntPair {
Aug 01 19:46:45.583 INFO kablam!     |                                                ^^^^^^^
Aug 01 19:46:45.583 INFO kablam!     |
Aug 01 19:46:45.583 INFO kablam!     = help: the bound will not be checked when the type alias is used, and should be removed
Aug 01 19:46:45.583 INFO kablam! 
Aug 01 19:46:45.583 INFO kablam! warning: bounds on generic parameters are not enforced in type aliases
Aug 01 19:46:45.583 INFO kablam!    --> src/strong/balanced.rs:248:24
Aug 01 19:46:45.583 INFO kablam!     |
Aug 01 19:46:45.583 INFO kablam! 248 |     (LteCmp) IntLteCmp(Int, Int, Int, Int): Int {
Aug 01 19:46:45.583 INFO kablam!     |                        ^^^
Aug 01 19:46:45.583 INFO kablam!     |
Aug 01 19:46:45.583 INFO kablam!     = help: the bound will not be checked when the type alias is used, and should be removed
Aug 01 19:46:45.583 INFO kablam! 
Aug 01 19:46:45.584 INFO kablam! warning: bounds on generic parameters are not enforced in type aliases
Aug 01 19:46:45.584 INFO kablam!    --> src/strong/balanced.rs:248:29
Aug 01 19:46:45.584 INFO kablam!     |
Aug 01 19:46:45.584 INFO kablam! 248 |     (LteCmp) IntLteCmp(Int, Int, Int, Int): Int {
Aug 01 19:46:45.584 INFO kablam!     |                             ^^^
Aug 01 19:46:45.584 INFO kablam!     |
Aug 01 19:46:45.584 INFO kablam!     = help: the bound will not be checked when the type alias is used, and should be removed
Aug 01 19:46:45.584 INFO kablam! 
Aug 01 19:46:45.584 INFO kablam! warning: bounds on generic parameters are not enforced in type aliases
Aug 01 19:46:45.584 INFO kablam!    --> src/strong/balanced.rs:248:34
Aug 01 19:46:45.584 INFO kablam!     |
Aug 01 19:46:45.584 INFO kablam! 248 |     (LteCmp) IntLteCmp(Int, Int, Int, Int): Int {
Aug 01 19:46:45.584 INFO kablam!     |                                  ^^^
Aug 01 19:46:45.585 INFO kablam!     |
Aug 01 19:46:45.585 INFO kablam!     = help: the bound will not be checked when the type alias is used, and should be removed
Aug 01 19:46:45.585 INFO kablam! 
Aug 01 19:46:45.585 INFO kablam! warning: bounds on generic parameters are not enforced in type aliases
Aug 01 19:46:45.585 INFO kablam!    --> src/strong/balanced.rs:248:39
Aug 01 19:46:45.585 INFO kablam!     |
Aug 01 19:46:45.585 INFO kablam! 248 |     (LteCmp) IntLteCmp(Int, Int, Int, Int): Int {
Aug 01 19:46:45.585 INFO kablam!     |                                       ^^^
Aug 01 19:46:45.585 INFO kablam!     |
Aug 01 19:46:45.585 INFO kablam!     = help: the bound will not be checked when the type alias is used, and should be removed
Aug 01 19:46:45.585 INFO kablam! 
Aug 01 19:46:45.585 INFO kablam! warning: bounds on generic parameters are not enforced in type aliases
Aug 01 19:46:45.586 INFO kablam!    --> src/strong/balanced.rs:254:26
Aug 01 19:46:45.586 INFO kablam!     |
Aug 01 19:46:45.586 INFO kablam! 254 |     (LteCmp2) IntLteCmp2(Int, Int, IntPair, IntPair): IntPair {
Aug 01 19:46:45.586 INFO kablam!     |                          ^^^
Aug 01 19:46:45.586 INFO kablam!     |
Aug 01 19:46:45.586 INFO kablam!     = help: the bound will not be checked when the type alias is used, and should be removed
Aug 01 19:46:45.586 INFO kablam! 
Aug 01 19:46:45.586 INFO kablam! warning: bounds on generic parameters are not enforced in type aliases
Aug 01 19:46:45.586 INFO kablam!    --> src/strong/balanced.rs:254:31
Aug 01 19:46:45.586 INFO kablam!     |
Aug 01 19:46:45.586 INFO kablam! 254 |     (LteCmp2) IntLteCmp2(Int, Int, IntPair, IntPair): IntPair {
Aug 01 19:46:45.586 INFO kablam!     |                               ^^^
Aug 01 19:46:45.587 INFO kablam!     |
Aug 01 19:46:45.587 INFO kablam!     = help: the bound will not be checked when the type alias is used, and should be removed
Aug 01 19:46:45.587 INFO kablam! 
Aug 01 19:46:45.587 INFO kablam! warning: bounds on generic parameters are not enforced in type aliases
Aug 01 19:46:45.587 INFO kablam!    --> src/strong/balanced.rs:254:36
Aug 01 19:46:45.587 INFO kablam!     |
Aug 01 19:46:45.587 INFO kablam! 254 |     (LteCmp2) IntLteCmp2(Int, Int, IntPair, IntPair): IntPair {
Aug 01 19:46:45.587 INFO kablam!     |                                    ^^^^^^^
Aug 01 19:46:45.587 INFO kablam!     |
Aug 01 19:46:45.587 INFO kablam!     = help: the bound will not be checked when the type alias is used, and should be removed
Aug 01 19:46:45.587 INFO kablam! 
Aug 01 19:46:45.587 INFO kablam! warning: bounds on generic parameters are not enforced in type aliases
Aug 01 19:46:45.587 INFO kablam!    --> src/strong/balanced.rs:254:45
Aug 01 19:46:45.588 INFO kablam!     |
Aug 01 19:46:45.588 INFO kablam! 254 |     (LteCmp2) IntLteCmp2(Int, Int, IntPair, IntPair): IntPair {
Aug 01 19:46:45.588 INFO kablam!     |                                             ^^^^^^^
Aug 01 19:46:45.588 INFO kablam!     |
Aug 01 19:46:45.588 INFO kablam!     = help: the bound will not be checked when the type alias is used, and should be removed
Aug 01 19:46:45.588 INFO kablam! 
Aug 01 19:46:45.588 INFO kablam! warning: bounds on generic parameters are not enforced in type aliases
Aug 01 19:46:45.588 INFO kablam!    --> src/strong/balanced.rs:261:18
Aug 01 19:46:45.588 INFO kablam!     |
Aug 01 19:46:45.588 INFO kablam! 261 |     (Abs) IntAbs(Int): Int {
Aug 01 19:46:45.588 INFO kablam!     |                  ^^^
Aug 01 19:46:45.588 INFO kablam!     |
Aug 01 19:46:45.588 INFO kablam!     = help: the bound will not be checked when the type alias is used, and should be removed
Aug 01 19:46:45.589 INFO kablam! 
Aug 01 19:46:45.589 INFO kablam! warning: bounds on generic parameters are not enforced in type aliases
Aug 01 19:46:45.589 INFO kablam!    --> src/strong/balanced.rs:273:40
Aug 01 19:46:45.589 INFO kablam!     |
Aug 01 19:46:45.589 INFO kablam! 273 |     (AbsMinThreeCmp) IntAbsMinThreeCmp(Int, Int, Int, Int, Int, Int): IntPair {
Aug 01 19:46:45.589 INFO kablam!     |                                        ^^^
Aug 01 19:46:45.589 INFO kablam!     |
Aug 01 19:46:45.589 INFO kablam!     = help: the bound will not be checked when the type alias is used, and should be removed
Aug 01 19:46:45.589 INFO kablam! 
Aug 01 19:46:45.589 INFO kablam! warning: bounds on generic parameters are not enforced in type aliases
Aug 01 19:46:45.589 INFO kablam!    --> src/strong/balanced.rs:273:45
Aug 01 19:46:45.589 INFO kablam!     |
Aug 01 19:46:45.589 INFO kablam! 273 |     (AbsMinThreeCmp) IntAbsMinThreeCmp(Int, Int, Int, Int, Int, Int): IntPair {
Aug 01 19:46:45.590 INFO kablam!     |                                             ^^^
Aug 01 19:46:45.590 INFO kablam!     |
Aug 01 19:46:45.590 INFO kablam!     = help: the bound will not be checked when the type alias is used, and should be removed
Aug 01 19:46:45.590 INFO kablam! 
Aug 01 19:46:45.590 INFO kablam! warning: bounds on generic parameters are not enforced in type aliases
Aug 01 19:46:45.590 INFO kablam!    --> src/strong/balanced.rs:273:50
Aug 01 19:46:45.590 INFO kablam!     |
Aug 01 19:46:45.590 INFO kablam! 273 |     (AbsMinThreeCmp) IntAbsMinThreeCmp(Int, Int, Int, Int, Int, Int): IntPair {
Aug 01 19:46:45.590 INFO kablam!     |                                                  ^^^
Aug 01 19:46:45.591 INFO kablam!     |
Aug 01 19:46:45.591 INFO kablam!     = help: the bound will not be checked when the type alias is used, and should be removed
Aug 01 19:46:45.591 INFO kablam! 
Aug 01 19:46:45.591 INFO kablam! warning: bounds on generic parameters are not enforced in type aliases
Aug 01 19:46:45.591 INFO kablam!    --> src/strong/balanced.rs:273:55
Aug 01 19:46:45.591 INFO kablam!     |
Aug 01 19:46:45.591 INFO kablam! 273 |     (AbsMinThreeCmp) IntAbsMinThreeCmp(Int, Int, Int, Int, Int, Int): IntPair {
Aug 01 19:46:45.591 INFO kablam!     |                                                       ^^^
Aug 01 19:46:45.591 INFO kablam!     |
Aug 01 19:46:45.592 INFO kablam!     = help: the bound will not be checked when the type alias is used, and should be removed
Aug 01 19:46:45.592 INFO kablam! 
Aug 01 19:46:45.592 INFO kablam! warning: bounds on generic parameters are not enforced in type aliases
Aug 01 19:46:45.592 INFO kablam!    --> src/strong/balanced.rs:273:60
Aug 01 19:46:45.592 INFO kablam!     |
Aug 01 19:46:45.592 INFO kablam! 273 |     (AbsMinThreeCmp) IntAbsMinThreeCmp(Int, Int, Int, Int, Int, Int): IntPair {
Aug 01 19:46:45.592 INFO kablam!     |                                                            ^^^
Aug 01 19:46:45.592 INFO kablam!     |
Aug 01 19:46:45.592 INFO kablam!     = help: the bound will not be checked when the type alias is used, and should be removed
Aug 01 19:46:45.592 INFO kablam! 
Aug 01 19:46:45.593 INFO kablam! warning: bounds on generic parameters are not enforced in type aliases
Aug 01 19:46:45.593 INFO kablam!    --> src/strong/balanced.rs:273:65
Aug 01 19:46:45.593 INFO kablam!     |
Aug 01 19:46:45.593 INFO kablam! 273 |     (AbsMinThreeCmp) IntAbsMinThreeCmp(Int, Int, Int, Int, Int, Int): IntPair {
Aug 01 19:46:45.593 INFO kablam!     |                                                                 ^^^
Aug 01 19:46:45.593 INFO kablam!     |
Aug 01 19:46:45.593 INFO kablam!     = help: the bound will not be checked when the type alias is used, and should be removed
Aug 01 19:46:45.593 INFO kablam! 
Aug 01 19:46:45.593 INFO kablam! warning: bounds on generic parameters are not enforced in type aliases
Aug 01 19:46:45.593 INFO kablam!    --> src/strong/balanced.rs:284:18
Aug 01 19:46:45.594 INFO kablam!     |
Aug 01 19:46:45.594 INFO kablam! 284 |     (Rev) IntRev(Int): Int {
Aug 01 19:46:45.594 INFO kablam!     |                  ^^^
Aug 01 19:46:45.594 INFO kablam!     |
Aug 01 19:46:45.594 INFO kablam!     = help: the bound will not be checked when the type alias is used, and should be removed
Aug 01 19:46:45.594 INFO kablam! 
Aug 01 19:46:45.594 INFO kablam! warning: bounds on generic parameters are not enforced in type aliases
Aug 01 19:46:45.594 INFO kablam!    --> src/strong/balanced.rs:290:34
Aug 01 19:46:45.594 INFO kablam!     |
Aug 01 19:46:45.594 INFO kablam! 290 |     (RevInternal) IntRevInternal(Int, Int): Int {
Aug 01 19:46:45.595 INFO kablam!     |                                  ^^^
Aug 01 19:46:45.595 INFO kablam!     |
Aug 01 19:46:45.595 INFO kablam!     = help: the bound will not be checked when the type alias is used, and should be removed
Aug 01 19:46:45.595 INFO kablam! 
Aug 01 19:46:45.595 INFO kablam! warning: bounds on generic parameters are not enforced in type aliases
Aug 01 19:46:45.595 INFO kablam!    --> src/strong/balanced.rs:290:39
Aug 01 19:46:45.595 INFO kablam!     |
Aug 01 19:46:45.595 INFO kablam! 290 |     (RevInternal) IntRevInternal(Int, Int): Int {
Aug 01 19:46:45.595 INFO kablam!     |                                       ^^^
Aug 01 19:46:45.595 INFO kablam!     |
Aug 01 19:46:45.596 INFO kablam!     = help: the bound will not be checked when the type alias is used, and should be removed
Aug 01 19:46:45.596 INFO kablam! 
Aug 01 19:46:45.596 INFO kablam! warning: bounds on generic parameters are not enforced in type aliases
Aug 01 19:46:45.596 INFO kablam!    --> src/strong/balanced.rs:302:18
Aug 01 19:46:45.596 INFO kablam!     |
Aug 01 19:46:45.596 INFO kablam! 302 |     (Div) IntDiv(Int, Int): Int {
Aug 01 19:46:45.596 INFO kablam!     |                  ^^^
Aug 01 19:46:45.596 INFO kablam!     |
Aug 01 19:46:45.596 INFO kablam!     = help: the bound will not be checked when the type alias is used, and should be removed
Aug 01 19:46:45.596 INFO kablam! 
Aug 01 19:46:45.597 INFO kablam! warning: bounds on generic parameters are not enforced in type aliases
Aug 01 19:46:45.597 INFO kablam!    --> src/strong/balanced.rs:302:23
Aug 01 19:46:45.597 INFO kablam!     |
Aug 01 19:46:45.597 INFO kablam! 302 |     (Div) IntDiv(Int, Int): Int {
Aug 01 19:46:45.597 INFO kablam!     |                       ^^^
Aug 01 19:46:45.597 INFO kablam!     |
Aug 01 19:46:45.597 INFO kablam!     = help: the bound will not be checked when the type alias is used, and should be removed
Aug 01 19:46:45.597 INFO kablam! 
Aug 01 19:46:45.597 INFO kablam! warning: bounds on generic parameters are not enforced in type aliases
Aug 01 19:46:45.597 INFO kablam!    --> src/strong/balanced.rs:326:18
Aug 01 19:46:45.598 INFO kablam!     |
Aug 01 19:46:45.598 INFO kablam! 326 |     (Rem) IntRem(Int, Int): Int {
Aug 01 19:46:45.598 INFO kablam!     |                  ^^^
Aug 01 19:46:45.598 INFO kablam!     |
Aug 01 19:46:45.598 INFO kablam!     = help: the bound will not be checked when the type alias is used, and should be removed
Aug 01 19:46:45.598 INFO kablam! 
Aug 01 19:46:45.598 INFO kablam! warning: bounds on generic parameters are not enforced in type aliases
Aug 01 19:46:45.598 INFO kablam!    --> src/strong/balanced.rs:326:23
Aug 01 19:46:45.598 INFO kablam!     |
Aug 01 19:46:45.599 INFO kablam! 326 |     (Rem) IntRem(Int, Int): Int {
Aug 01 19:46:45.599 INFO kablam!     |                       ^^^
Aug 01 19:46:45.599 INFO kablam!     |
Aug 01 19:46:45.599 INFO kablam!     = help: the bound will not be checked when the type alias is used, and should be removed
Aug 01 19:46:45.599 INFO kablam! 
Aug 01 19:46:45.599 INFO kablam! warning: bounds on generic parameters are not enforced in type aliases
Aug 01 19:46:45.599 INFO kablam!    --> src/strong/balanced.rs:349:34
Aug 01 19:46:45.599 INFO kablam!     |
Aug 01 19:46:45.599 INFO kablam! 349 |     (DivInternal) IntDivInternal(Int, Int, IntPair): IntPair {
Aug 01 19:46:45.600 INFO kablam!     |                                  ^^^
Aug 01 19:46:45.600 INFO kablam!     |
Aug 01 19:46:45.600 INFO kablam!     = help: the bound will not be checked when the type alias is used, and should be removed
Aug 01 19:46:45.600 INFO kablam! 
Aug 01 19:46:45.600 INFO kablam! warning: bounds on generic parameters are not enforced in type aliases
Aug 01 19:46:45.600 INFO kablam!    --> src/strong/balanced.rs:349:39
Aug 01 19:46:45.600 INFO kablam!     |
Aug 01 19:46:45.600 INFO kablam! 349 |     (DivInternal) IntDivInternal(Int, Int, IntPair): IntPair {
Aug 01 19:46:45.600 INFO kablam!     |                                       ^^^
Aug 01 19:46:45.600 INFO kablam!     |
Aug 01 19:46:45.601 INFO kablam!     = help: the bound will not be checked when the type alias is used, and should be removed
Aug 01 19:46:45.601 INFO kablam! 
Aug 01 19:46:45.601 INFO kablam! warning: bounds on generic parameters are not enforced in type aliases
Aug 01 19:46:45.601 INFO kablam!    --> src/strong/balanced.rs:349:44
Aug 01 19:46:45.601 INFO kablam!     |
Aug 01 19:46:45.601 INFO kablam! 349 |     (DivInternal) IntDivInternal(Int, Int, IntPair): IntPair {
Aug 01 19:46:45.601 INFO kablam!     |                                            ^^^^^^^
Aug 01 19:46:45.601 INFO kablam!     |
Aug 01 19:46:45.601 INFO kablam!     = help: the bound will not be checked when the type alias is used, and should be removed
Aug 01 19:46:45.601 INFO kablam! 
Aug 01 19:46:48.201 INFO kablam! warning: bounds on generic parameters are not enforced in type aliases
Aug 01 19:46:48.201 INFO kablam!  --> src/strong/boolean.rs:9:19
Aug 01 19:46:48.201 INFO kablam!   |
Aug 01 19:46:48.201 INFO kablam! 9 |     (And) BoolAnd(Bool, Bool): Bool {
Aug 01 19:46:48.202 INFO kablam!   |                   ^^^^
Aug 01 19:46:48.202 INFO kablam!   |
Aug 01 19:46:48.202 INFO kablam!   = note: #[warn(type_alias_bounds)] on by default
Aug 01 19:46:48.202 INFO kablam!   = help: the bound will not be checked when the type alias is used, and should be removed
Aug 01 19:46:48.202 INFO kablam! 
Aug 01 19:46:48.202 INFO kablam! warning: bounds on generic parameters are not enforced in type aliases
Aug 01 19:46:48.202 INFO kablam!  --> src/strong/boolean.rs:9:25
Aug 01 19:46:48.202 INFO kablam!   |
Aug 01 19:46:48.202 INFO kablam! 9 |     (And) BoolAnd(Bool, Bool): Bool {
Aug 01 19:46:48.202 INFO kablam!   |                         ^^^^
Aug 01 19:46:48.202 INFO kablam!   |
Aug 01 19:46:48.202 INFO kablam!   = help: the bound will not be checked when the type alias is used, and should be removed
Aug 01 19:46:48.202 INFO kablam! 
Aug 01 19:46:48.203 INFO kablam! warning: bounds on generic parameters are not enforced in type aliases
Aug 01 19:46:48.203 INFO kablam!   --> src/strong/boolean.rs:17:17
Aug 01 19:46:48.203 INFO kablam!    |
Aug 01 19:46:48.203 INFO kablam! 17 |     (Or) BoolOr(Bool, Bool): Bool {
Aug 01 19:46:48.203 INFO kablam!    |                 ^^^^
Aug 01 19:46:48.203 INFO kablam!    |
Aug 01 19:46:48.203 INFO kablam!    = help: the bound will not be checked when the type alias is used, and should be removed
Aug 01 19:46:48.203 INFO kablam! 
Aug 01 19:46:48.203 INFO kablam! warning: bounds on generic parameters are not enforced in type aliases
Aug 01 19:46:48.203 INFO kablam!   --> src/strong/boolean.rs:17:23
Aug 01 19:46:48.203 INFO kablam!    |
Aug 01 19:46:48.203 INFO kablam! 17 |     (Or) BoolOr(Bool, Bool): Bool {
Aug 01 19:46:48.203 INFO kablam!    |                       ^^^^
Aug 01 19:46:48.203 INFO kablam!    |
Aug 01 19:46:48.203 INFO kablam!    = help: the bound will not be checked when the type alias is used, and should be removed
Aug 01 19:46:48.203 INFO kablam! 
Aug 01 19:46:48.203 INFO kablam! warning: bounds on generic parameters are not enforced in type aliases
Aug 01 19:46:48.203 INFO kablam!   --> src/strong/boolean.rs:26:25
Aug 01 19:46:48.203 INFO kablam!    |
Aug 01 19:46:48.203 INFO kablam! 26 |     (IfThen) BoolIfThen(Bool, Bool): Bool {
Aug 01 19:46:48.203 INFO kablam!    |                         ^^^^
Aug 01 19:46:48.203 INFO kablam!    |
Aug 01 19:46:48.204 INFO kablam!    = help: the bound will not be checked when the type alias is used, and should be removed
Aug 01 19:46:48.204 INFO kablam! 
Aug 01 19:46:48.204 INFO kablam! warning: bounds on generic parameters are not enforced in type aliases
Aug 01 19:46:48.204 INFO kablam!   --> src/strong/boolean.rs:26:31
Aug 01 19:46:48.204 INFO kablam!    |
Aug 01 19:46:48.204 INFO kablam! 26 |     (IfThen) BoolIfThen(Bool, Bool): Bool {
Aug 01 19:46:48.204 INFO kablam!    |                               ^^^^
Aug 01 19:46:48.204 INFO kablam!    |
Aug 01 19:46:48.204 INFO kablam!    = help: the bound will not be checked when the type alias is used, and should be removed
Aug 01 19:46:48.204 INFO kablam! 
Aug 01 19:46:48.204 INFO kablam! warning: bounds on generic parameters are not enforced in type aliases
Aug 01 19:46:48.204 INFO kablam!   --> src/strong/boolean.rs:35:25
Aug 01 19:46:48.204 INFO kablam!    |
Aug 01 19:46:48.204 INFO kablam! 35 |     (OnlyIf) BoolOnlyIf(Bool, Bool): Bool {
Aug 01 19:46:48.204 INFO kablam!    |                         ^^^^
Aug 01 19:46:48.204 INFO kablam!    |
Aug 01 19:46:48.204 INFO kablam!    = help: the bound will not be checked when the type alias is used, and should be removed
Aug 01 19:46:48.204 INFO kablam! 
Aug 01 19:46:48.204 INFO kablam! warning: bounds on generic parameters are not enforced in type aliases
Aug 01 19:46:48.204 INFO kablam!   --> src/strong/boolean.rs:35:31
Aug 01 19:46:48.204 INFO kablam!    |
Aug 01 19:46:48.204 INFO kablam! 35 |     (OnlyIf) BoolOnlyIf(Bool, Bool): Bool {
Aug 01 19:46:48.204 INFO kablam!    |                               ^^^^
Aug 01 19:46:48.204 INFO kablam!    |
Aug 01 19:46:48.204 INFO kablam!    = help: the bound will not be checked when the type alias is used, and should be removed
Aug 01 19:46:48.204 INFO kablam! 
Aug 01 19:46:48.204 INFO kablam! warning: bounds on generic parameters are not enforced in type aliases
Aug 01 19:46:48.204 INFO kablam!   --> src/strong/boolean.rs:43:19
Aug 01 19:46:48.205 INFO kablam!    |
Aug 01 19:46:48.205 INFO kablam! 43 |     (Xor) BoolXor(Bool, Bool): Bool {
Aug 01 19:46:48.205 INFO kablam!    |                   ^^^^
Aug 01 19:46:48.205 INFO kablam!    |
Aug 01 19:46:48.205 INFO kablam!    = help: the bound will not be checked when the type alias is used, and should be removed
Aug 01 19:46:48.205 INFO kablam! 
Aug 01 19:46:48.205 INFO kablam! warning: bounds on generic parameters are not enforced in type aliases
Aug 01 19:46:48.205 INFO kablam!   --> src/strong/boolean.rs:43:25
Aug 01 19:46:48.205 INFO kablam!    |
Aug 01 19:46:48.205 INFO kablam! 43 |     (Xor) BoolXor(Bool, Bool): Bool {
Aug 01 19:46:48.205 INFO kablam!    |                         ^^^^
Aug 01 19:46:48.205 INFO kablam!    |
Aug 01 19:46:48.205 INFO kablam!    = help: the bound will not be checked when the type alias is used, and should be removed
Aug 01 19:46:48.205 INFO kablam! 
Aug 01 19:46:48.205 INFO kablam! warning: bounds on generic parameters are not enforced in type aliases
Aug 01 19:46:48.205 INFO kablam!   --> src/strong/ternary.rs:14:24
Aug 01 19:46:48.205 INFO kablam!    |
Aug 01 19:46:48.205 INFO kablam! 14 |     (Nat2First) Nat2P1(NatPair): Nat {
Aug 01 19:46:48.205 INFO kablam!    |                        ^^^^^^^
Aug 01 19:46:48.205 INFO kablam!    |
Aug 01 19:46:48.205 INFO kablam!    = help: the bound will not be checked when the type alias is used, and should be removed
Aug 01 19:46:48.205 INFO kablam! 
Aug 01 19:46:48.205 INFO kablam! warning: bounds on generic parameters are not enforced in type aliases
Aug 01 19:46:48.205 INFO kablam!   --> src/strong/ternary.rs:21:25
Aug 01 19:46:48.206 INFO kablam!    |
Aug 01 19:46:48.206 INFO kablam! 21 |     (Nat2Second) Nat2P2(NatPair): Nat {
Aug 01 19:46:48.206 INFO kablam!    |                         ^^^^^^^
Aug 01 19:46:48.206 INFO kablam!    |
Aug 01 19:46:48.206 INFO kablam!    = help: the bound will not be checked when the type alias is used, and should be removed
Aug 01 19:46:48.206 INFO kablam! 
Aug 01 19:46:48.206 INFO kablam! warning: bounds on generic parameters are not enforced in type aliases
Aug 01 19:46:48.206 INFO kablam!   --> src/strong/ternary.rs:29:20
Aug 01 19:46:48.206 INFO kablam!    |
Aug 01 19:46:48.206 INFO kablam! 29 |     (Succ) NatSucc(Nat): Nat {
Aug 01 19:46:48.206 INFO kablam!    |                    ^^^
Aug 01 19:46:48.206 INFO kablam!    |
Aug 01 19:46:48.206 INFO kablam!    = help: the bound will not be checked when the type alias is used, and should be removed
Aug 01 19:46:48.206 INFO kablam! 
Aug 01 19:46:48.206 INFO kablam! warning: bounds on generic parameters are not enforced in type aliases
Aug 01 19:46:48.206 INFO kablam!   --> src/strong/ternary.rs:41:20
Aug 01 19:46:48.206 INFO kablam!    |
Aug 01 19:46:48.206 INFO kablam! 41 |     (Pred) NatPred(Nat): Nat {
Aug 01 19:46:48.206 INFO kablam!    |                    ^^^
Aug 01 19:46:48.206 INFO kablam!    |
Aug 01 19:46:48.206 INFO kablam!    = help: the bound will not be checked when the type alias is used, and should be removed
Aug 01 19:46:48.206 INFO kablam! 
Aug 01 19:46:48.206 INFO kablam! warning: bounds on generic parameters are not enforced in type aliases
Aug 01 19:46:48.206 INFO kablam!   --> src/strong/ternary.rs:53:32
Aug 01 19:46:48.206 INFO kablam!    |
Aug 01 19:46:48.206 INFO kablam! 53 |     (DoublePred) NatDoublePred(Nat): Nat {
Aug 01 19:46:48.206 INFO kablam!    |                                ^^^
Aug 01 19:46:48.206 INFO kablam!    |
Aug 01 19:46:48.206 INFO kablam!    = help: the bound will not be checked when the type alias is used, and should be removed
Aug 01 19:46:48.207 INFO kablam! 
Aug 01 19:46:48.207 INFO kablam! warning: bounds on generic parameters are not enforced in type aliases
Aug 01 19:46:48.207 INFO kablam!   --> src/strong/ternary.rs:68:24
Aug 01 19:46:48.207 INFO kablam!    |
Aug 01 19:46:48.207 INFO kablam! 68 |     (Triple) NatTriple(Nat): Nat {
Aug 01 19:46:48.207 INFO kablam!    |                        ^^^
Aug 01 19:46:48.207 INFO kablam!    |
Aug 01 19:46:48.207 INFO kablam!    = help: the bound will not be checked when the type alias is used, and should be removed
Aug 01 19:46:48.207 INFO kablam! 
Aug 01 19:46:48.207 INFO kablam! warning: bounds on generic parameters are not enforced in type aliases
Aug 01 19:46:48.207 INFO kablam!   --> src/strong/ternary.rs:81:24
Aug 01 19:46:48.207 INFO kablam!    |
Aug 01 19:46:48.207 INFO kablam! 81 |     (Unique) NatUnique(Nat): Nat {
Aug 01 19:46:48.207 INFO kablam!    |                        ^^^
Aug 01 19:46:48.207 INFO kablam!    |
Aug 01 19:46:48.207 INFO kablam!    = help: the bound will not be checked when the type alias is used, and should be removed
Aug 01 19:46:48.207 INFO kablam! 
Aug 01 19:46:48.207 INFO kablam! warning: bounds on generic parameters are not enforced in type aliases
Aug 01 19:46:48.207 INFO kablam!   --> src/strong/ternary.rs:95:18
Aug 01 19:46:48.207 INFO kablam!    |
Aug 01 19:46:48.207 INFO kablam! 95 |     (Add) NatAdd(Nat, Nat): Nat {
Aug 01 19:46:48.207 INFO kablam!    |                  ^^^
Aug 01 19:46:48.207 INFO kablam!    |
Aug 01 19:46:48.207 INFO kablam!    = help: the bound will not be checked when the type alias is used, and should be removed
Aug 01 19:46:48.207 INFO kablam! 
Aug 01 19:46:48.207 INFO kablam! warning: bounds on generic parameters are not enforced in type aliases
Aug 01 19:46:48.207 INFO kablam!   --> src/strong/ternary.rs:95:23
Aug 01 19:46:48.207 INFO kablam!    |
Aug 01 19:46:48.207 INFO kablam! 95 |     (Add) NatAdd(Nat, Nat): Nat {
Aug 01 19:46:48.208 INFO kablam!    |                       ^^^
Aug 01 19:46:48.208 INFO kablam!    |
Aug 01 19:46:48.208 INFO kablam!    = help: the bound will not be checked when the type alias is used, and should be removed
Aug 01 19:46:48.208 INFO kablam! 
Aug 01 19:46:48.208 INFO kablam! warning: bounds on generic parameters are not enforced in type aliases
Aug 01 19:46:48.208 INFO kablam!    --> src/strong/ternary.rs:128:38
Aug 01 19:46:48.208 INFO kablam!     |
Aug 01 19:46:48.208 INFO kablam! 128 |     (TriplePlusOne) NatTriplePlusOne(Nat): Nat {
Aug 01 19:46:48.208 INFO kablam!     |                                      ^^^
Aug 01 19:46:48.208 INFO kablam!     |
Aug 01 19:46:48.208 INFO kablam!     = help: the bound will not be checked when the type alias is used, and should be removed
Aug 01 19:46:48.208 INFO kablam! 
Aug 01 19:46:48.208 INFO kablam! warning: bounds on generic parameters are not enforced in type aliases
Aug 01 19:46:48.208 INFO kablam!    --> src/strong/ternary.rs:139:38
Aug 01 19:46:48.208 INFO kablam!     |
Aug 01 19:46:48.208 INFO kablam! 139 |     (TriplePlusTwo) NatTriplePlusTwo(Nat): Nat {
Aug 01 19:46:48.208 INFO kablam!     |                                      ^^^
Aug 01 19:46:48.208 INFO kablam!     |
Aug 01 19:46:48.208 INFO kablam!     = help: the bound will not be checked when the type alias is used, and should be removed
Aug 01 19:46:48.208 INFO kablam! 
Aug 01 19:46:48.208 INFO kablam! warning: bounds on generic parameters are not enforced in type aliases
Aug 01 19:46:48.208 INFO kablam!    --> src/strong/ternary.rs:152:18
Aug 01 19:46:48.208 INFO kablam!     |
Aug 01 19:46:48.208 INFO kablam! 152 |     (Sub) NatSub(Nat, Nat): Nat {
Aug 01 19:46:48.208 INFO kablam!     |                  ^^^
Aug 01 19:46:48.208 INFO kablam!     |
Aug 01 19:46:48.208 INFO kablam!     = help: the bound will not be checked when the type alias is used, and should be removed
Aug 01 19:46:48.208 INFO kablam! 
Aug 01 19:46:48.209 INFO kablam! warning: bounds on generic parameters are not enforced in type aliases
Aug 01 19:46:48.209 INFO kablam!    --> src/strong/ternary.rs:152:23
Aug 01 19:46:48.209 INFO kablam!     |
Aug 01 19:46:48.209 INFO kablam! 152 |     (Sub) NatSub(Nat, Nat): Nat {
Aug 01 19:46:48.209 INFO kablam!     |                       ^^^
Aug 01 19:46:48.209 INFO kablam!     |
Aug 01 19:46:48.209 INFO kablam!     = help: the bound will not be checked when the type alias is used, and should be removed
Aug 01 19:46:48.209 INFO kablam! 
Aug 01 19:46:48.209 INFO kablam! warning: bounds on generic parameters are not enforced in type aliases
Aug 01 19:46:48.209 INFO kablam!    --> src/strong/ternary.rs:185:18
Aug 01 19:46:48.209 INFO kablam!     |
Aug 01 19:46:48.209 INFO kablam! 185 |     (Mul) NatMul(Nat, Nat): Nat {
Aug 01 19:46:48.209 INFO kablam!     |                  ^^^
Aug 01 19:46:48.209 INFO kablam!     |
Aug 01 19:46:48.209 INFO kablam!     = help: the bound will not be checked when the type alias is used, and should be removed
Aug 01 19:46:48.209 INFO kablam! 
Aug 01 19:46:48.209 INFO kablam! warning: bounds on generic parameters are not enforced in type aliases
Aug 01 19:46:48.209 INFO kablam!    --> src/strong/ternary.rs:185:23
Aug 01 19:46:48.209 INFO kablam!     |
Aug 01 19:46:48.209 INFO kablam! 185 |     (Mul) NatMul(Nat, Nat): Nat {
Aug 01 19:46:48.209 INFO kablam!     |                       ^^^
Aug 01 19:46:48.209 INFO kablam!     |
Aug 01 19:46:48.209 INFO kablam!     = help: the bound will not be checked when the type alias is used, and should be removed
Aug 01 19:46:48.209 INFO kablam! 
Aug 01 19:46:48.209 INFO kablam! warning: bounds on generic parameters are not enforced in type aliases
Aug 01 19:46:48.209 INFO kablam!    --> src/strong/ternary.rs:220:18
Aug 01 19:46:48.209 INFO kablam!     |
Aug 01 19:46:48.209 INFO kablam! 220 |     (Cmp) NatCmp(Nat, Nat, Nat, Nat, Nat): Nat {
Aug 01 19:46:48.210 INFO kablam!     |                  ^^^
Aug 01 19:46:48.210 INFO kablam!     |
Aug 01 19:46:48.210 INFO kablam!     = help: the bound will not be checked when the type alias is used, and should be removed
Aug 01 19:46:48.210 INFO kablam! 
Aug 01 19:46:48.210 INFO kablam! warning: bounds on generic parameters are not enforced in type aliases
Aug 01 19:46:48.210 INFO kablam!    --> src/strong/ternary.rs:220:23
Aug 01 19:46:48.210 INFO kablam!     |
Aug 01 19:46:48.210 INFO kablam! 220 |     (Cmp) NatCmp(Nat, Nat, Nat, Nat, Nat): Nat {
Aug 01 19:46:48.210 INFO kablam!     |                       ^^^
Aug 01 19:46:48.210 INFO kablam!     |
Aug 01 19:46:48.210 INFO kablam!     = help: the bound will not be checked when the type alias is used, and should be removed
Aug 01 19:46:48.210 INFO kablam! 
Aug 01 19:46:48.210 INFO kablam! warning: bounds on generic parameters are not enforced in type aliases
Aug 01 19:46:48.210 INFO kablam!    --> src/strong/ternary.rs:220:28
Aug 01 19:46:48.210 INFO kablam!     |
Aug 01 19:46:48.210 INFO kablam! 220 |     (Cmp) NatCmp(Nat, Nat, Nat, Nat, Nat): Nat {
Aug 01 19:46:48.210 INFO kablam!     |                            ^^^
Aug 01 19:46:48.210 INFO kablam!     |
Aug 01 19:46:48.210 INFO kablam!     = help: the bound will not be checked when the type alias is used, and should be removed
Aug 01 19:46:48.210 INFO kablam! 
Aug 01 19:46:48.210 INFO kablam! warning: bounds on generic parameters are not enforced in type aliases
Aug 01 19:46:48.210 INFO kablam!    --> src/strong/ternary.rs:220:33
Aug 01 19:46:48.210 INFO kablam!     |
Aug 01 19:46:48.210 INFO kablam! 220 |     (Cmp) NatCmp(Nat, Nat, Nat, Nat, Nat): Nat {
Aug 01 19:46:48.210 INFO kablam!     |                                 ^^^
Aug 01 19:46:48.211 INFO kablam!     |
Aug 01 19:46:48.211 INFO kablam!     = help: the bound will not be checked when the type alias is used, and should be removed
Aug 01 19:46:48.211 INFO kablam! 
Aug 01 19:46:48.211 INFO kablam! warning: bounds on generic parameters are not enforced in type aliases
Aug 01 19:46:48.211 INFO kablam!    --> src/strong/ternary.rs:220:38
Aug 01 19:46:48.211 INFO kablam!     |
Aug 01 19:46:48.211 INFO kablam! 220 |     (Cmp) NatCmp(Nat, Nat, Nat, Nat, Nat): Nat {
Aug 01 19:46:48.211 INFO kablam!     |                                      ^^^
Aug 01 19:46:48.211 INFO kablam!     |
Aug 01 19:46:48.211 INFO kablam!     = help: the bound will not be checked when the type alias is used, and should be removed
Aug 01 19:46:48.211 INFO kablam! 
Aug 01 19:46:48.211 INFO kablam! warning: bounds on generic parameters are not enforced in type aliases
Aug 01 19:46:48.211 INFO kablam!    --> src/strong/ternary.rs:247:28
Aug 01 19:46:48.211 INFO kablam!     |
Aug 01 19:46:48.211 INFO kablam! 247 |     (UndefOr2) NatUndefOr2(Nat, Nat, NatPair): NatPair {
Aug 01 19:46:48.211 INFO kablam!     |                            ^^^
Aug 01 19:46:48.211 INFO kablam!     |
Aug 01 19:46:48.211 INFO kablam!     = help: the bound will not be checked when the type alias is used, and should be removed
Aug 01 19:46:48.211 INFO kablam! 
Aug 01 19:46:48.211 INFO kablam! warning: bounds on generic parameters are not enforced in type aliases
Aug 01 19:46:48.211 INFO kablam!    --> src/strong/ternary.rs:247:33
Aug 01 19:46:48.211 INFO kablam!     |
Aug 01 19:46:48.211 INFO kablam! 247 |     (UndefOr2) NatUndefOr2(Nat, Nat, NatPair): NatPair {
Aug 01 19:46:48.212 INFO kablam!     |                                 ^^^
Aug 01 19:46:48.212 INFO kablam!     |
Aug 01 19:46:48.212 INFO kablam!     = help: the bound will not be checked when the type alias is used, and should be removed
Aug 01 19:46:48.212 INFO kablam! 
Aug 01 19:46:48.212 INFO kablam! warning: bounds on generic parameters are not enforced in type aliases
Aug 01 19:46:48.212 INFO kablam!    --> src/strong/ternary.rs:247:38
Aug 01 19:46:48.212 INFO kablam!     |
Aug 01 19:46:48.212 INFO kablam! 247 |     (UndefOr2) NatUndefOr2(Nat, Nat, NatPair): NatPair {
Aug 01 19:46:48.212 INFO kablam!     |                                      ^^^^^^^
Aug 01 19:46:48.212 INFO kablam!     |
Aug 01 19:46:48.212 INFO kablam!     = help: the bound will not be checked when the type alias is used, and should be removed
Aug 01 19:46:48.212 INFO kablam! 
Aug 01 19:46:48.212 INFO kablam! warning: bounds on generic parameters are not enforced in type aliases
Aug 01 19:46:48.212 INFO kablam!    --> src/strong/ternary.rs:262:18
Aug 01 19:46:48.212 INFO kablam!     |
Aug 01 19:46:48.212 INFO kablam! 262 |     (Rev) NatRev(Nat): Nat {
Aug 01 19:46:48.212 INFO kablam!     |                  ^^^
Aug 01 19:46:48.212 INFO kablam!     |
Aug 01 19:46:48.212 INFO kablam!     = help: the bound will not be checked when the type alias is used, and should be removed
Aug 01 19:46:48.212 INFO kablam! 
Aug 01 19:46:48.212 INFO kablam! warning: bounds on generic parameters are not enforced in type aliases
Aug 01 19:46:48.212 INFO kablam!    --> src/strong/ternary.rs:268:34
Aug 01 19:46:48.212 INFO kablam!     |
Aug 01 19:46:48.213 INFO kablam! 268 |     (RevInternal) NatRevInternal(Nat, Nat): Nat {
Aug 01 19:46:48.213 INFO kablam!     |                                  ^^^
Aug 01 19:46:48.213 INFO kablam!     |
Aug 01 19:46:48.213 INFO kablam!     = help: the bound will not be checked when the type alias is used, and should be removed
Aug 01 19:46:48.213 INFO kablam! 
Aug 01 19:46:48.213 INFO kablam! warning: bounds on generic parameters are not enforced in type aliases
Aug 01 19:46:48.213 INFO kablam!    --> src/strong/ternary.rs:268:39
Aug 01 19:46:48.213 INFO kablam!     |
Aug 01 19:46:48.213 INFO kablam! 268 |     (RevInternal) NatRevInternal(Nat, Nat): Nat {
Aug 01 19:46:48.213 INFO kablam!     |                                       ^^^
Aug 01 19:46:48.213 INFO kablam!     |
Aug 01 19:46:48.213 INFO kablam!     = help: the bound will not be checked when the type alias is used, and should be removed
Aug 01 19:46:48.213 INFO kablam! 
Aug 01 19:46:48.213 INFO kablam! warning: bounds on generic parameters are not enforced in type aliases
Aug 01 19:46:48.213 INFO kablam!    --> src/strong/ternary.rs:281:18
Aug 01 19:46:48.213 INFO kablam!     |
Aug 01 19:46:48.213 INFO kablam! 281 |     (Div) NatDiv(Nat, Nat): Nat {
Aug 01 19:46:48.213 INFO kablam!     |                  ^^^
Aug 01 19:46:48.213 INFO kablam!     |
Aug 01 19:46:48.213 INFO kablam!     = help: the bound will not be checked when the type alias is used, and should be removed
Aug 01 19:46:48.213 INFO kablam! 
Aug 01 19:46:48.213 INFO kablam! warning: bounds on generic parameters are not enforced in type aliases
Aug 01 19:46:48.213 INFO kablam!    --> src/strong/ternary.rs:281:23
Aug 01 19:46:48.213 INFO kablam!     |
Aug 01 19:46:48.214 INFO kablam! 281 |     (Div) NatDiv(Nat, Nat): Nat {
Aug 01 19:46:48.214 INFO kablam!     |                       ^^^
Aug 01 19:46:48.214 INFO kablam!     |
Aug 01 19:46:48.214 INFO kablam!     = help: the bound will not be checked when the type alias is used, and should be removed
Aug 01 19:46:48.214 INFO kablam! 
Aug 01 19:46:48.214 INFO kablam! warning: bounds on generic parameters are not enforced in type aliases
Aug 01 19:46:48.214 INFO kablam!    --> src/strong/ternary.rs:306:18
Aug 01 19:46:48.214 INFO kablam!     |
Aug 01 19:46:48.214 INFO kablam! 306 |     (Rem) NatRem(Nat, Nat): Nat {
Aug 01 19:46:48.214 INFO kablam!     |                  ^^^
Aug 01 19:46:48.214 INFO kablam!     |
Aug 01 19:46:48.214 INFO kablam!     = help: the bound will not be checked when the type alias is used, and should be removed
Aug 01 19:46:48.214 INFO kablam! 
Aug 01 19:46:48.214 INFO kablam! warning: bounds on generic parameters are not enforced in type aliases
Aug 01 19:46:48.214 INFO kablam!    --> src/strong/ternary.rs:306:23
Aug 01 19:46:48.214 INFO kablam!     |
Aug 01 19:46:48.214 INFO kablam! 306 |     (Rem) NatRem(Nat, Nat): Nat {
Aug 01 19:46:48.214 INFO kablam!     |                       ^^^
Aug 01 19:46:48.214 INFO kablam!     |
Aug 01 19:46:48.214 INFO kablam!     = help: the bound will not be checked when the type alias is used, and should be removed
Aug 01 19:46:48.214 INFO kablam! 
Aug 01 19:46:48.214 INFO kablam! warning: bounds on generic parameters are not enforced in type aliases
Aug 01 19:46:48.214 INFO kablam!    --> src/strong/ternary.rs:329:34
Aug 01 19:46:48.214 INFO kablam!     |
Aug 01 19:46:48.215 INFO kablam! 329 |     (DivInternal) NatDivInternal(Nat, Nat, NatPair): NatPair {
Aug 01 19:46:48.215 INFO kablam!     |                                  ^^^
Aug 01 19:46:48.215 INFO kablam!     |
Aug 01 19:46:48.215 INFO kablam!     = help: the bound will not be checked when the type alias is used, and should be removed
Aug 01 19:46:48.215 INFO kablam! 
Aug 01 19:46:48.215 INFO kablam! warning: bounds on generic parameters are not enforced in type aliases
Aug 01 19:46:48.215 INFO kablam!    --> src/strong/ternary.rs:329:39
Aug 01 19:46:48.215 INFO kablam!     |
Aug 01 19:46:48.215 INFO kablam! 329 |     (DivInternal) NatDivInternal(Nat, Nat, NatPair): NatPair {
Aug 01 19:46:48.215 INFO kablam!     |                                       ^^^
Aug 01 19:46:48.215 INFO kablam!     |
Aug 01 19:46:48.215 INFO kablam!     = help: the bound will not be checked when the type alias is used, and should be removed
Aug 01 19:46:48.215 INFO kablam! 
Aug 01 19:46:48.215 INFO kablam! warning: bounds on generic parameters are not enforced in type aliases
Aug 01 19:46:48.215 INFO kablam!    --> src/strong/ternary.rs:329:44
Aug 01 19:46:48.215 INFO kablam!     |
Aug 01 19:46:48.215 INFO kablam! 329 |     (DivInternal) NatDivInternal(Nat, Nat, NatPair): NatPair {
Aug 01 19:46:48.215 INFO kablam!     |                                            ^^^^^^^
Aug 01 19:46:48.215 INFO kablam!     |
Aug 01 19:46:48.215 INFO kablam!     = help: the bound will not be checked when the type alias is used, and should be removed
Aug 01 19:46:48.215 INFO kablam! 
Aug 01 19:46:48.219 INFO kablam! warning: bounds on generic parameters are not enforced in type aliases
Aug 01 19:46:48.219 INFO kablam!   --> src/strong/balanced.rs:10:24
Aug 01 19:46:48.220 INFO kablam!    |
Aug 01 19:46:48.220 INFO kablam! 10 |     (Int2First) Int2P1(IntPair): Int {
Aug 01 19:46:48.220 INFO kablam!    |                        ^^^^^^^
Aug 01 19:46:48.220 INFO kablam!    |
Aug 01 19:46:48.220 INFO kablam!    = help: the bound will not be checked when the type alias is used, and should be removed
Aug 01 19:46:48.220 INFO kablam! 
Aug 01 19:46:48.220 INFO kablam! warning: bounds on generic parameters are not enforced in type aliases
Aug 01 19:46:48.220 INFO kablam!   --> src/strong/balanced.rs:17:25
Aug 01 19:46:48.220 INFO kablam!    |
Aug 01 19:46:48.220 INFO kablam! 17 |     (Int2Second) Int2P2(IntPair): Int {
Aug 01 19:46:48.220 INFO kablam!    |                         ^^^^^^^
Aug 01 19:46:48.220 INFO kablam!    |
Aug 01 19:46:48.220 INFO kablam!    = help: the bound will not be checked when the type alias is used, and should be removed
Aug 01 19:46:48.220 INFO kablam! 
Aug 01 19:46:48.220 INFO kablam! warning: bounds on generic parameters are not enforced in type aliases
Aug 01 19:46:48.220 INFO kablam!   --> src/strong/balanced.rs:24:20
Aug 01 19:46:48.221 INFO kablam!    |
Aug 01 19:46:48.221 INFO kablam! 24 |     (Succ) IntSucc(Int): Int {
Aug 01 19:46:48.221 INFO kablam!    |                    ^^^
Aug 01 19:46:48.221 INFO kablam!    |
Aug 01 19:46:48.221 INFO kablam!    = help: the bound will not be checked when the type alias is used, and should be removed
Aug 01 19:46:48.221 INFO kablam! 
Aug 01 19:46:48.221 INFO kablam! warning: bounds on generic parameters are not enforced in type aliases
Aug 01 19:46:48.221 INFO kablam!   --> src/strong/balanced.rs:35:20
Aug 01 19:46:48.221 INFO kablam!    |
Aug 01 19:46:48.221 INFO kablam! 35 |     (Pred) IntPred(Int): Int {
Aug 01 19:46:48.221 INFO kablam!    |                    ^^^
Aug 01 19:46:48.221 INFO kablam!    |
Aug 01 19:46:48.221 INFO kablam!    = help: the bound will not be checked when the type alias is used, and should be removed
Aug 01 19:46:48.221 INFO kablam! 
Aug 01 19:46:48.222 INFO kablam! warning: bounds on generic parameters are not enforced in type aliases
Aug 01 19:46:48.222 INFO kablam!   --> src/strong/balanced.rs:49:24
Aug 01 19:46:48.222 INFO kablam!    |
Aug 01 19:46:48.222 INFO kablam! 49 |     (Triple) IntTriple(Int): Int {
Aug 01 19:46:48.222 INFO kablam!    |                        ^^^
Aug 01 19:46:48.222 INFO kablam!    |
Aug 01 19:46:48.222 INFO kablam!    = help: the bound will not be checked when the type alias is used, and should be removed
Aug 01 19:46:48.222 INFO kablam! 
Aug 01 19:46:48.222 INFO kablam! warning: bounds on generic parameters are not enforced in type aliases
Aug 01 19:46:48.222 INFO kablam!   --> src/strong/balanced.rs:62:24
Aug 01 19:46:48.222 INFO kablam!    |
Aug 01 19:46:48.222 INFO kablam! 62 |     (IntUnique) Unique(Int): Int {
Aug 01 19:46:48.222 INFO kablam!    |                        ^^^
Aug 01 19:46:48.223 INFO kablam!    |
Aug 01 19:46:48.223 INFO kablam!    = help: the bound will not be checked when the type alias is used, and should be removed
Aug 01 19:46:48.223 INFO kablam! 
Aug 01 19:46:48.223 INFO kablam! warning: bounds on generic parameters are not enforced in type aliases
Aug 01 19:46:48.223 INFO kablam!   --> src/strong/balanced.rs:80:18
Aug 01 19:46:48.223 INFO kablam!    |
Aug 01 19:46:48.223 INFO kablam! 80 |     (Neg) IntNeg(Int): Int {
Aug 01 19:46:48.223 INFO kablam!    |                  ^^^
Aug 01 19:46:48.223 INFO kablam!    |
Aug 01 19:46:48.223 INFO kablam!    = help: the bound will not be checked when the type alias is used, and should be removed
Aug 01 19:46:48.223 INFO kablam! 
Aug 01 19:46:48.223 INFO kablam! warning: bounds on generic parameters are not enforced in type aliases
Aug 01 19:46:48.223 INFO kablam!   --> src/strong/balanced.rs:94:18
Aug 01 19:46:48.224 INFO kablam!    |
Aug 01 19:46:48.224 INFO kablam! 94 |     (Add) IntAdd(Int, Int): Int {
Aug 01 19:46:48.224 INFO kablam!    |                  ^^^
Aug 01 19:46:48.224 INFO kablam!    |
Aug 01 19:46:48.224 INFO kablam!    = help: the bound will not be checked when the type alias is used, and should be removed
Aug 01 19:46:48.224 INFO kablam! 
Aug 01 19:46:48.224 INFO kablam! warning: bounds on generic parameters are not enforced in type aliases
Aug 01 19:46:48.224 INFO kablam!   --> src/strong/balanced.rs:94:23
Aug 01 19:46:48.224 INFO kablam!    |
Aug 01 19:46:48.225 INFO kablam! 94 |     (Add) IntAdd(Int, Int): Int {
Aug 01 19:46:48.226 INFO kablam!    |                       ^^^
Aug 01 19:46:48.226 INFO kablam!    |
Aug 01 19:46:48.226 INFO kablam!    = help: the bound will not be checked when the type alias is used, and should be removed
Aug 01 19:46:48.228 INFO kablam! 
Aug 01 19:46:48.228 INFO kablam! warning: bounds on generic parameters are not enforced in type aliases
Aug 01 19:46:48.229 INFO kablam!    --> src/strong/balanced.rs:127:18
Aug 01 19:46:48.229 INFO kablam!     |
Aug 01 19:46:48.229 INFO kablam! 127 |     (Sub) IntSub(Int, Int): Int {
Aug 01 19:46:48.229 INFO kablam!     |                  ^^^
Aug 01 19:46:48.230 INFO kablam!     |
Aug 01 19:46:48.231 INFO kablam!     = help: the bound will not be checked when the type alias is used, and should be removed
Aug 01 19:46:48.231 INFO kablam! 
Aug 01 19:46:48.231 INFO kablam! warning: bounds on generic parameters are not enforced in type aliases
Aug 01 19:46:48.231 INFO kablam!    --> src/strong/balanced.rs:127:23
Aug 01 19:46:48.231 INFO kablam!     |
Aug 01 19:46:48.231 INFO kablam! 127 |     (Sub) IntSub(Int, Int): Int {
Aug 01 19:46:48.231 INFO kablam!     |                       ^^^
Aug 01 19:46:48.231 INFO kablam!     |
Aug 01 19:46:48.231 INFO kablam!     = help: the bound will not be checked when the type alias is used, and should be removed
Aug 01 19:46:48.231 INFO kablam! 
Aug 01 19:46:48.232 INFO kablam! warning: bounds on generic parameters are not enforced in type aliases
Aug 01 19:46:48.232 INFO kablam!    --> src/strong/balanced.rs:160:18
Aug 01 19:46:48.232 INFO kablam!     |
Aug 01 19:46:48.232 INFO kablam! 160 |     (Mul) IntMul(Int, Int): Int {
Aug 01 19:46:48.233 INFO kablam!     |                  ^^^
Aug 01 19:46:48.233 INFO kablam!     |
Aug 01 19:46:48.233 INFO kablam!     = help: the bound will not be checked when the type alias is used, and should be removed
Aug 01 19:46:48.233 INFO kablam! 
Aug 01 19:46:48.233 INFO kablam! warning: bounds on generic parameters are not enforced in type aliases
Aug 01 19:46:48.233 INFO kablam!    --> src/strong/balanced.rs:160:23
Aug 01 19:46:48.233 INFO kablam!     |
Aug 01 19:46:48.233 INFO kablam! 160 |     (Mul) IntMul(Int, Int): Int {
Aug 01 19:46:48.234 INFO kablam!     |                       ^^^
Aug 01 19:46:48.234 INFO kablam!     |
Aug 01 19:46:48.234 INFO kablam!     = help: the bound will not be checked when the type alias is used, and should be removed
Aug 01 19:46:48.234 INFO kablam! 
Aug 01 19:46:48.234 INFO kablam! warning: bounds on generic parameters are not enforced in type aliases
Aug 01 19:46:48.234 INFO kablam!    --> src/strong/balanced.rs:196:18
Aug 01 19:46:48.234 INFO kablam!     |
Aug 01 19:46:48.234 INFO kablam! 196 |     (Cmp) IntCmp(Int, Int, Int, Int, Int): Int {
Aug 01 19:46:48.234 INFO kablam!     |                  ^^^
Aug 01 19:46:48.234 INFO kablam!     |
Aug 01 19:46:48.234 INFO kablam!     = help: the bound will not be checked when the type alias is used, and should be removed
Aug 01 19:46:48.234 INFO kablam! 
Aug 01 19:46:48.234 INFO kablam! warning: bounds on generic parameters are not enforced in type aliases
Aug 01 19:46:48.234 INFO kablam!    --> src/strong/balanced.rs:196:23
Aug 01 19:46:48.234 INFO kablam!     |
Aug 01 19:46:48.234 INFO kablam! 196 |     (Cmp) IntCmp(Int, Int, Int, Int, Int): Int {
Aug 01 19:46:48.235 INFO kablam!     |                       ^^^
Aug 01 19:46:48.235 INFO kablam!     |
Aug 01 19:46:48.235 INFO kablam!     = help: the bound will not be checked when the type alias is used, and should be removed
Aug 01 19:46:48.235 INFO kablam! 
Aug 01 19:46:48.235 INFO kablam! warning: bounds on generic parameters are not enforced in type aliases
Aug 01 19:46:48.235 INFO kablam!    --> src/strong/balanced.rs:196:28
Aug 01 19:46:48.235 INFO kablam!     |
Aug 01 19:46:48.235 INFO kablam! 196 |     (Cmp) IntCmp(Int, Int, Int, Int, Int): Int {
Aug 01 19:46:48.235 INFO kablam!     |                            ^^^
Aug 01 19:46:48.235 INFO kablam!     |
Aug 01 19:46:48.235 INFO kablam!     = help: the bound will not be checked when the type alias is used, and should be removed
Aug 01 19:46:48.235 INFO kablam! 
Aug 01 19:46:48.235 INFO kablam! warning: bounds on generic parameters are not enforced in type aliases
Aug 01 19:46:48.235 INFO kablam!    --> src/strong/balanced.rs:196:33
Aug 01 19:46:48.235 INFO kablam!     |
Aug 01 19:46:48.235 INFO kablam! 196 |     (Cmp) IntCmp(Int, Int, Int, Int, Int): Int {
Aug 01 19:46:48.235 INFO kablam!     |                                 ^^^
Aug 01 19:46:48.235 INFO kablam!     |
Aug 01 19:46:48.235 INFO kablam!     = help: the bound will not be checked when the type alias is used, and should be removed
Aug 01 19:46:48.235 INFO kablam! 
Aug 01 19:46:48.235 INFO kablam! warning: bounds on generic parameters are not enforced in type aliases
Aug 01 19:46:48.235 INFO kablam!    --> src/strong/balanced.rs:196:38
Aug 01 19:46:48.235 INFO kablam!     |
Aug 01 19:46:48.235 INFO kablam! 196 |     (Cmp) IntCmp(Int, Int, Int, Int, Int): Int {
Aug 01 19:46:48.235 INFO kablam!     |                                      ^^^
Aug 01 19:46:48.236 INFO kablam!     |
Aug 01 19:46:48.236 INFO kablam!     = help: the bound will not be checked when the type alias is used, and should be removed
Aug 01 19:46:48.236 INFO kablam! 
Aug 01 19:46:48.236 INFO kablam! warning: bounds on generic parameters are not enforced in type aliases
Aug 01 19:46:48.236 INFO kablam!    --> src/strong/balanced.rs:223:20
Aug 01 19:46:48.236 INFO kablam!     |
Aug 01 19:46:48.236 INFO kablam! 223 |     (Cmp2) IntCmp2(Int, Int, IntPair, IntPair, IntPair): IntPair {
Aug 01 19:46:48.236 INFO kablam!     |                    ^^^
Aug 01 19:46:48.236 INFO kablam!     |
Aug 01 19:46:48.236 INFO kablam!     = help: the bound will not be checked when the type alias is used, and should be removed
Aug 01 19:46:48.236 INFO kablam! 
Aug 01 19:46:48.236 INFO kablam! warning: bounds on generic parameters are not enforced in type aliases
Aug 01 19:46:48.236 INFO kablam!    --> src/strong/balanced.rs:223:25
Aug 01 19:46:48.236 INFO kablam!     |
Aug 01 19:46:48.236 INFO kablam! 223 |     (Cmp2) IntCmp2(Int, Int, IntPair, IntPair, IntPair): IntPair {
Aug 01 19:46:48.236 INFO kablam!     |                         ^^^
Aug 01 19:46:48.236 INFO kablam!     |
Aug 01 19:46:48.236 INFO kablam!     = help: the bound will not be checked when the type alias is used, and should be removed
Aug 01 19:46:48.236 INFO kablam! 
Aug 01 19:46:48.236 INFO kablam! warning: bounds on generic parameters are not enforced in type aliases
Aug 01 19:46:48.236 INFO kablam!    --> src/strong/balanced.rs:223:30
Aug 01 19:46:48.236 INFO kablam!     |
Aug 01 19:46:48.236 INFO kablam! 223 |     (Cmp2) IntCmp2(Int, Int, IntPair, IntPair, IntPair): IntPair {
Aug 01 19:46:48.236 INFO kablam!     |                              ^^^^^^^
Aug 01 19:46:48.236 INFO kablam!     |
Aug 01 19:46:48.236 INFO kablam!     = help: the bound will not be checked when the type alias is used, and should be removed
Aug 01 19:46:48.236 INFO kablam! 
Aug 01 19:46:48.237 INFO kablam! warning: bounds on generic parameters are not enforced in type aliases
Aug 01 19:46:48.237 INFO kablam!    --> src/strong/balanced.rs:223:39
Aug 01 19:46:48.237 INFO kablam!     |
Aug 01 19:46:48.237 INFO kablam! 223 |     (Cmp2) IntCmp2(Int, Int, IntPair, IntPair, IntPair): IntPair {
Aug 01 19:46:48.237 INFO kablam!     |                                       ^^^^^^^
Aug 01 19:46:48.237 INFO kablam!     |
Aug 01 19:46:48.237 INFO kablam!     = help: the bound will not be checked when the type alias is used, and should be removed
Aug 01 19:46:48.237 INFO kablam! 
Aug 01 19:46:48.237 INFO kablam! warning: bounds on generic parameters are not enforced in type aliases
Aug 01 19:46:48.237 INFO kablam!    --> src/strong/balanced.rs:223:48
Aug 01 19:46:48.237 INFO kablam!     |
Aug 01 19:46:48.237 INFO kablam! 223 |     (Cmp2) IntCmp2(Int, Int, IntPair, IntPair, IntPair): IntPair {
Aug 01 19:46:48.237 INFO kablam!     |                                                ^^^^^^^
Aug 01 19:46:48.237 INFO kablam!     |
Aug 01 19:46:48.237 INFO kablam!     = help: the bound will not be checked when the type alias is used, and should be removed
Aug 01 19:46:48.237 INFO kablam! 
Aug 01 19:46:48.237 INFO kablam! warning: bounds on generic parameters are not enforced in type aliases
Aug 01 19:46:48.237 INFO kablam!    --> src/strong/balanced.rs:248:24
Aug 01 19:46:48.237 INFO kablam!     |
Aug 01 19:46:48.237 INFO kablam! 248 |     (LteCmp) IntLteCmp(Int, Int, Int, Int): Int {
Aug 01 19:46:48.237 INFO kablam!     |                        ^^^
Aug 01 19:46:48.237 INFO kablam!     |
Aug 01 19:46:48.237 INFO kablam!     = help: the bound will not be checked when the type alias is used, and should be removed
Aug 01 19:46:48.237 INFO kablam! 
Aug 01 19:46:48.237 INFO kablam! warning: bounds on generic parameters are not enforced in type aliases
Aug 01 19:46:48.238 INFO kablam!    --> src/strong/balanced.rs:248:29
Aug 01 19:46:48.238 INFO kablam!     |
Aug 01 19:46:48.238 INFO kablam! 248 |     (LteCmp) IntLteCmp(Int, Int, Int, Int): Int {
Aug 01 19:46:48.238 INFO kablam!     |                             ^^^
Aug 01 19:46:48.238 INFO kablam!     |
Aug 01 19:46:48.238 INFO kablam!     = help: the bound will not be checked when the type alias is used, and should be removed
Aug 01 19:46:48.238 INFO kablam! 
Aug 01 19:46:48.238 INFO kablam! warning: bounds on generic parameters are not enforced in type aliases
Aug 01 19:46:48.238 INFO kablam!    --> src/strong/balanced.rs:248:34
Aug 01 19:46:48.238 INFO kablam!     |
Aug 01 19:46:48.238 INFO kablam! 248 |     (LteCmp) IntLteCmp(Int, Int, Int, Int): Int {
Aug 01 19:46:48.238 INFO kablam!     |                                  ^^^
Aug 01 19:46:48.238 INFO kablam!     |
Aug 01 19:46:48.238 INFO kablam!     = help: the bound will not be checked when the type alias is used, and should be removed
Aug 01 19:46:48.238 INFO kablam! 
Aug 01 19:46:48.238 INFO kablam! warning: bounds on generic parameters are not enforced in type aliases
Aug 01 19:46:48.238 INFO kablam!    --> src/strong/balanced.rs:248:39
Aug 01 19:46:48.238 INFO kablam!     |
Aug 01 19:46:48.238 INFO kablam! 248 |     (LteCmp) IntLteCmp(Int, Int, Int, Int): Int {
Aug 01 19:46:48.238 INFO kablam!     |                                       ^^^
Aug 01 19:46:48.238 INFO kablam!     |
Aug 01 19:46:48.238 INFO kablam!     = help: the bound will not be checked when the type alias is used, and should be removed
Aug 01 19:46:48.238 INFO kablam! 
Aug 01 19:46:48.238 INFO kablam! warning: bounds on generic parameters are not enforced in type aliases
Aug 01 19:46:48.238 INFO kablam!    --> src/strong/balanced.rs:254:26
Aug 01 19:46:48.239 INFO kablam!     |
Aug 01 19:46:48.239 INFO kablam! 254 |     (LteCmp2) IntLteCmp2(Int, Int, IntPair, IntPair): IntPair {
Aug 01 19:46:48.239 INFO kablam!     |                          ^^^
Aug 01 19:46:48.239 INFO kablam!     |
Aug 01 19:46:48.239 INFO kablam!     = help: the bound will not be checked when the type alias is used, and should be removed
Aug 01 19:46:48.239 INFO kablam! 
Aug 01 19:46:48.239 INFO kablam! warning: bounds on generic parameters are not enforced in type aliases
Aug 01 19:46:48.239 INFO kablam!    --> src/strong/balanced.rs:254:31
Aug 01 19:46:48.239 INFO kablam!     |
Aug 01 19:46:48.239 INFO kablam! 254 |     (LteCmp2) IntLteCmp2(Int, Int, IntPair, IntPair): IntPair {
Aug 01 19:46:48.239 INFO kablam!     |                               ^^^
Aug 01 19:46:48.239 INFO kablam!     |
Aug 01 19:46:48.239 INFO kablam!     = help: the bound will not be checked when the type alias is used, and should be removed
Aug 01 19:46:48.239 INFO kablam! 
Aug 01 19:46:48.239 INFO kablam! warning: bounds on generic parameters are not enforced in type aliases
Aug 01 19:46:48.239 INFO kablam!    --> src/strong/balanced.rs:254:36
Aug 01 19:46:48.240 INFO kablam!     |
Aug 01 19:46:48.240 INFO kablam! 254 |     (LteCmp2) IntLteCmp2(Int, Int, IntPair, IntPair): IntPair {
Aug 01 19:46:48.240 INFO kablam!     |                                    ^^^^^^^
Aug 01 19:46:48.240 INFO kablam!     |
Aug 01 19:46:48.240 INFO kablam!     = help: the bound will not be checked when the type alias is used, and should be removed
Aug 01 19:46:48.240 INFO kablam! 
Aug 01 19:46:48.240 INFO kablam! warning: bounds on generic parameters are not enforced in type aliases
Aug 01 19:46:48.240 INFO kablam!    --> src/strong/balanced.rs:254:45
Aug 01 19:46:48.240 INFO kablam!     |
Aug 01 19:46:48.240 INFO kablam! 254 |     (LteCmp2) IntLteCmp2(Int, Int, IntPair, IntPair): IntPair {
Aug 01 19:46:48.240 INFO kablam!     |                                             ^^^^^^^
Aug 01 19:46:48.240 INFO kablam!     |
Aug 01 19:46:48.240 INFO kablam!     = help: the bound will not be checked when the type alias is used, and should be removed
Aug 01 19:46:48.240 INFO kablam! 
Aug 01 19:46:48.240 INFO kablam! warning: bounds on generic parameters are not enforced in type aliases
Aug 01 19:46:48.240 INFO kablam!    --> src/strong/balanced.rs:261:18
Aug 01 19:46:48.240 INFO kablam!     |
Aug 01 19:46:48.240 INFO kablam! 261 |     (Abs) IntAbs(Int): Int {
Aug 01 19:46:48.240 INFO kablam!     |                  ^^^
Aug 01 19:46:48.240 INFO kablam!     |
Aug 01 19:46:48.240 INFO kablam!     = help: the bound will not be checked when the type alias is used, and should be removed
Aug 01 19:46:48.240 INFO kablam! 
Aug 01 19:46:48.240 INFO kablam! warning: bounds on generic parameters are not enforced in type aliases
Aug 01 19:46:48.240 INFO kablam!    --> src/strong/balanced.rs:273:40
Aug 01 19:46:48.240 INFO kablam!     |
Aug 01 19:46:48.241 INFO kablam! 273 |     (AbsMinThreeCmp) IntAbsMinThreeCmp(Int, Int, Int, Int, Int, Int): IntPair {
Aug 01 19:46:48.241 INFO kablam!     |                                        ^^^
Aug 01 19:46:48.241 INFO kablam!     |
Aug 01 19:46:48.241 INFO kablam!     = help: the bound will not be checked when the type alias is used, and should be removed
Aug 01 19:46:48.241 INFO kablam! 
Aug 01 19:46:48.241 INFO kablam! warning: bounds on generic parameters are not enforced in type aliases
Aug 01 19:46:48.241 INFO kablam!    --> src/strong/balanced.rs:273:45
Aug 01 19:46:48.241 INFO kablam!     |
Aug 01 19:46:48.241 INFO kablam! 273 |     (AbsMinThreeCmp) IntAbsMinThreeCmp(Int, Int, Int, Int, Int, Int): IntPair {
Aug 01 19:46:48.241 INFO kablam!     |                                             ^^^
Aug 01 19:46:48.241 INFO kablam!     |
Aug 01 19:46:48.241 INFO kablam!     = help: the bound will not be checked when the type alias is used, and should be removed
Aug 01 19:46:48.241 INFO kablam! 
Aug 01 19:46:48.241 INFO kablam! warning: bounds on generic parameters are not enforced in type aliases
Aug 01 19:46:48.241 INFO kablam!    --> src/strong/balanced.rs:273:50
Aug 01 19:46:48.241 INFO kablam!     |
Aug 01 19:46:48.241 INFO kablam! 273 |     (AbsMinThreeCmp) IntAbsMinThreeCmp(Int, Int, Int, Int, Int, Int): IntPair {
Aug 01 19:46:48.241 INFO kablam!     |                                                  ^^^
Aug 01 19:46:48.241 INFO kablam!     |
Aug 01 19:46:48.241 INFO kablam!     = help: the bound will not be checked when the type alias is used, and should be removed
Aug 01 19:46:48.241 INFO kablam! 
Aug 01 19:46:48.241 INFO kablam! warning: bounds on generic parameters are not enforced in type aliases
Aug 01 19:46:48.241 INFO kablam!    --> src/strong/balanced.rs:273:55
Aug 01 19:46:48.241 INFO kablam!     |
Aug 01 19:46:48.242 INFO kablam! 273 |     (AbsMinThreeCmp) IntAbsMinThreeCmp(Int, Int, Int, Int, Int, Int): IntPair {
Aug 01 19:46:48.242 INFO kablam!     |                                                       ^^^
Aug 01 19:46:48.242 INFO kablam!     |
Aug 01 19:46:48.242 INFO kablam!     = help: the bound will not be checked when the type alias is used, and should be removed
Aug 01 19:46:48.242 INFO kablam! 
Aug 01 19:46:48.242 INFO kablam! warning: bounds on generic parameters are not enforced in type aliases
Aug 01 19:46:48.242 INFO kablam!    --> src/strong/balanced.rs:273:60
Aug 01 19:46:48.242 INFO kablam!     |
Aug 01 19:46:48.242 INFO kablam! 273 |     (AbsMinThreeCmp) IntAbsMinThreeCmp(Int, Int, Int, Int, Int, Int): IntPair {
Aug 01 19:46:48.242 INFO kablam!     |                                                            ^^^
Aug 01 19:46:48.242 INFO kablam!     |
Aug 01 19:46:48.242 INFO kablam!     = help: the bound will not be checked when the type alias is used, and should be removed
Aug 01 19:46:48.242 INFO kablam! 
Aug 01 19:46:48.242 INFO kablam! warning: bounds on generic parameters are not enforced in type aliases
Aug 01 19:46:48.242 INFO kablam!    --> src/strong/balanced.rs:273:65
Aug 01 19:46:48.242 INFO kablam!     |
Aug 01 19:46:48.242 INFO kablam! 273 |     (AbsMinThreeCmp) IntAbsMinThreeCmp(Int, Int, Int, Int, Int, Int): IntPair {
Aug 01 19:46:48.242 INFO kablam!     |                                                                 ^^^
Aug 01 19:46:48.242 INFO kablam!     |
Aug 01 19:46:48.242 INFO kablam!     = help: the bound will not be checked when the type alias is used, and should be removed
Aug 01 19:46:48.242 INFO kablam! 
Aug 01 19:46:48.242 INFO kablam! warning: bounds on generic parameters are not enforced in type aliases
Aug 01 19:46:48.242 INFO kablam!    --> src/strong/balanced.rs:284:18
Aug 01 19:46:48.242 INFO kablam!     |
Aug 01 19:46:48.243 INFO kablam! 284 |     (Rev) IntRev(Int): Int {
Aug 01 19:46:48.243 INFO kablam!     |                  ^^^
Aug 01 19:46:48.243 INFO kablam!     |
Aug 01 19:46:48.243 INFO kablam!     = help: the bound will not be checked when the type alias is used, and should be removed
Aug 01 19:46:48.243 INFO kablam! 
Aug 01 19:46:48.243 INFO kablam! warning: bounds on generic parameters are not enforced in type aliases
Aug 01 19:46:48.243 INFO kablam!    --> src/strong/balanced.rs:290:34
Aug 01 19:46:48.243 INFO kablam!     |
Aug 01 19:46:48.243 INFO kablam! 290 |     (RevInternal) IntRevInternal(Int, Int): Int {
Aug 01 19:46:48.243 INFO kablam!     |                                  ^^^
Aug 01 19:46:48.243 INFO kablam!     |
Aug 01 19:46:48.243 INFO kablam!     = help: the bound will not be checked when the type alias is used, and should be removed
Aug 01 19:46:48.243 INFO kablam! 
Aug 01 19:46:48.243 INFO kablam! warning: bounds on generic parameters are not enforced in type aliases
Aug 01 19:46:48.243 INFO kablam!    --> src/strong/balanced.rs:290:39
Aug 01 19:46:48.243 INFO kablam!     |
Aug 01 19:46:48.243 INFO kablam! 290 |     (RevInternal) IntRevInternal(Int, Int): Int {
Aug 01 19:46:48.243 INFO kablam!     |                                       ^^^
Aug 01 19:46:48.243 INFO kablam!     |
Aug 01 19:46:48.243 INFO kablam!     = help: the bound will not be checked when the type alias is used, and should be removed
Aug 01 19:46:48.243 INFO kablam! 
Aug 01 19:46:48.243 INFO kablam! warning: bounds on generic parameters are not enforced in type aliases
Aug 01 19:46:48.243 INFO kablam!    --> src/strong/balanced.rs:302:18
Aug 01 19:46:48.243 INFO kablam!     |
Aug 01 19:46:48.243 INFO kablam! 302 |     (Div) IntDiv(Int, Int): Int {
Aug 01 19:46:48.243 INFO kablam!     |                  ^^^
Aug 01 19:46:48.244 INFO kablam!     |
Aug 01 19:46:48.244 INFO kablam!     = help: the bound will not be checked when the type alias is used, and should be removed
Aug 01 19:46:48.244 INFO kablam! 
Aug 01 19:46:48.244 INFO kablam! warning: bounds on generic parameters are not enforced in type aliases
Aug 01 19:46:48.244 INFO kablam!    --> src/strong/balanced.rs:302:23
Aug 01 19:46:48.244 INFO kablam!     |
Aug 01 19:46:48.244 INFO kablam! 302 |     (Div) IntDiv(Int, Int): Int {
Aug 01 19:46:48.244 INFO kablam!     |                       ^^^
Aug 01 19:46:48.244 INFO kablam!     |
Aug 01 19:46:48.244 INFO kablam!     = help: the bound will not be checked when the type alias is used, and should be removed
Aug 01 19:46:48.244 INFO kablam! 
Aug 01 19:46:48.244 INFO kablam! warning: bounds on generic parameters are not enforced in type aliases
Aug 01 19:46:48.244 INFO kablam!    --> src/strong/balanced.rs:326:18
Aug 01 19:46:48.244 INFO kablam!     |
Aug 01 19:46:48.244 INFO kablam! 326 |     (Rem) IntRem(Int, Int): Int {
Aug 01 19:46:48.244 INFO kablam!     |                  ^^^
Aug 01 19:46:48.244 INFO kablam!     |
Aug 01 19:46:48.244 INFO kablam!     = help: the bound will not be checked when the type alias is used, and should be removed
Aug 01 19:46:48.244 INFO kablam! 
Aug 01 19:46:48.244 INFO kablam! warning: bounds on generic parameters are not enforced in type aliases
Aug 01 19:46:48.244 INFO kablam!    --> src/strong/balanced.rs:326:23
Aug 01 19:46:48.244 INFO kablam!     |
Aug 01 19:46:48.244 INFO kablam! 326 |     (Rem) IntRem(Int, Int): Int {
Aug 01 19:46:48.245 INFO kablam!     |                       ^^^
Aug 01 19:46:48.245 INFO kablam!     |
Aug 01 19:46:48.245 INFO kablam!     = help: the bound will not be checked when the type alias is used, and should be removed
Aug 01 19:46:48.245 INFO kablam! 
Aug 01 19:46:48.245 INFO kablam! warning: bounds on generic parameters are not enforced in type aliases
Aug 01 19:46:48.245 INFO kablam!    --> src/strong/balanced.rs:349:34
Aug 01 19:46:48.245 INFO kablam!     |
Aug 01 19:46:48.245 INFO kablam! 349 |     (DivInternal) IntDivInternal(Int, Int, IntPair): IntPair {
Aug 01 19:46:48.245 INFO kablam!     |                                  ^^^
Aug 01 19:46:48.245 INFO kablam!     |
Aug 01 19:46:48.245 INFO kablam!     = help: the bound will not be checked when the type alias is used, and should be removed
Aug 01 19:46:48.245 INFO kablam! 
Aug 01 19:46:48.245 INFO kablam! warning: bounds on generic parameters are not enforced in type aliases
Aug 01 19:46:48.245 INFO kablam!    --> src/strong/balanced.rs:349:39
Aug 01 19:46:48.245 INFO kablam!     |
Aug 01 19:46:48.245 INFO kablam! 349 |     (DivInternal) IntDivInternal(Int, Int, IntPair): IntPair {
Aug 01 19:46:48.245 INFO kablam!     |                                       ^^^
Aug 01 19:46:48.245 INFO kablam!     |
Aug 01 19:46:48.245 INFO kablam!     = help: the bound will not be checked when the type alias is used, and should be removed
Aug 01 19:46:48.245 INFO kablam! 
Aug 01 19:46:48.245 INFO kablam! warning: bounds on generic parameters are not enforced in type aliases
Aug 01 19:46:48.245 INFO kablam!    --> src/strong/balanced.rs:349:44
Aug 01 19:46:48.245 INFO kablam!     |
Aug 01 19:46:48.246 INFO kablam! 349 |     (DivInternal) IntDivInternal(Int, Int, IntPair): IntPair {
Aug 01 19:46:48.246 INFO kablam!     |                                            ^^^^^^^
Aug 01 19:46:48.246 INFO kablam!     |
Aug 01 19:46:48.246 INFO kablam!     = help: the bound will not be checked when the type alias is used, and should be removed
Aug 01 19:46:48.246 INFO kablam! 
Aug 01 19:46:48.312 INFO kablam!     Finished dev [unoptimized + debuginfo] target(s) in 6.76s
Aug 01 19:46:48.317 INFO kablam! su: No module specific data is present
Aug 01 19:46:48.874 INFO running `"docker" "rm" "-f" "26faa39b5761726cc5a232e8fe4f974ff48a995349d4ca426d456801bc042dc0"`
Aug 01 19:46:49.029 INFO blam! 26faa39b5761726cc5a232e8fe4f974ff48a995349d4ca426d456801bc042dc0