Oct 15 15:26:57.368 INFO testing type-level-logic-0.1.0 against master#0e07c4281c343e9e15a0a8fca79538ad1a8eb513 for rustdoc-test-static-cling-1
Oct 15 15:26:57.368 INFO running `"docker" "create" "-v" "/mnt/big/crater/./work/local/target-dirs/rustdoc-test-static-cling-1/worker-2/master#0e07c4281c343e9e15a0a8fca79538ad1a8eb513:/target:rw,Z" "-v" "/mnt/big/crater/./work/local/test-source/worker-2/rustdoc-test-static-cling-1/master#0e07c4281c343e9e15a0a8fca79538ad1a8eb513:/source:ro,Z" "-v" "/mnt/big/crater/./work/local/cargo-home:/cargo-home:ro,Z" "-v" "/mnt/big/crater/./work/local/rustup-home:/rustup-home:ro,Z" "-e" "USER_ID=1000" "-e" "SOURCE_DIR=/source" "-e" "USER_ID=1000" "-e" "CMD=cargo +0e07c4281c343e9e15a0a8fca79538ad1a8eb513-alt build --frozen" "-e" "CARGO_TARGET_DIR=/target" "-e" "CARGO_INCREMENTAL=0" "-e" "RUST_BACKTRACE=full" "-e" "RUSTFLAGS=--cap-lints=forbid" "-e" "CARGO_HOME=/cargo-home" "-e" "RUSTUP_HOME=/rustup-home" "-m" "1536M" "--network" "none" "crater"`
Oct 15 15:26:57.913 INFO blam! 6d7077bb0a5632896aee52ae6bdebd93ace869c7a0074d07d8635d1e1fccc6df
Oct 15 15:26:57.913 INFO running `"docker" "start" "-a" "6d7077bb0a5632896aee52ae6bdebd93ace869c7a0074d07d8635d1e1fccc6df"`
Oct 15 15:27:00.148 INFO kablam! usermod: no changes
Oct 15 15:27:00.182 INFO kablam!    Compiling type-operators v0.3.5
Oct 15 15:27:00.659 INFO kablam!    Compiling type-level-logic v0.1.0 (/source)
Oct 15 15:27:02.136 INFO kablam! warning: bounds on generic parameters are not enforced in type aliases
Oct 15 15:27:02.136 INFO kablam!  --> src/strong/boolean.rs:9:19
Oct 15 15:27:02.136 INFO kablam!   |
Oct 15 15:27:02.136 INFO kablam! 9 |     (And) BoolAnd(Bool, Bool): Bool {
Oct 15 15:27:02.136 INFO kablam!   |                   ^^^^
Oct 15 15:27:02.136 INFO kablam!   |
Oct 15 15:27:02.136 INFO kablam!   = note: #[warn(type_alias_bounds)] on by default
Oct 15 15:27:02.136 INFO kablam!   = help: the bound will not be checked when the type alias is used, and should be removed
Oct 15 15:27:02.136 INFO kablam! 
Oct 15 15:27:02.136 INFO kablam! warning: bounds on generic parameters are not enforced in type aliases
Oct 15 15:27:02.136 INFO kablam!  --> src/strong/boolean.rs:9:25
Oct 15 15:27:02.136 INFO kablam!   |
Oct 15 15:27:02.136 INFO kablam! 9 |     (And) BoolAnd(Bool, Bool): Bool {
Oct 15 15:27:02.136 INFO kablam!   |                         ^^^^
Oct 15 15:27:02.136 INFO kablam!   |
Oct 15 15:27:02.136 INFO kablam!   = help: the bound will not be checked when the type alias is used, and should be removed
Oct 15 15:27:02.136 INFO kablam! 
Oct 15 15:27:02.136 INFO kablam! warning: bounds on generic parameters are not enforced in type aliases
Oct 15 15:27:02.136 INFO kablam!   --> src/strong/boolean.rs:17:17
Oct 15 15:27:02.136 INFO kablam!    |
Oct 15 15:27:02.136 INFO kablam! 17 |     (Or) BoolOr(Bool, Bool): Bool {
Oct 15 15:27:02.136 INFO kablam!    |                 ^^^^
Oct 15 15:27:02.136 INFO kablam!    |
Oct 15 15:27:02.136 INFO kablam!    = help: the bound will not be checked when the type alias is used, and should be removed
Oct 15 15:27:02.136 INFO kablam! 
Oct 15 15:27:02.136 INFO kablam! warning: bounds on generic parameters are not enforced in type aliases
Oct 15 15:27:02.136 INFO kablam!   --> src/strong/boolean.rs:17:23
Oct 15 15:27:02.136 INFO kablam!    |
Oct 15 15:27:02.136 INFO kablam! 17 |     (Or) BoolOr(Bool, Bool): Bool {
Oct 15 15:27:02.136 INFO kablam!    |                       ^^^^
Oct 15 15:27:02.136 INFO kablam!    |
Oct 15 15:27:02.136 INFO kablam!    = help: the bound will not be checked when the type alias is used, and should be removed
Oct 15 15:27:02.136 INFO kablam! 
Oct 15 15:27:02.136 INFO kablam! warning: bounds on generic parameters are not enforced in type aliases
Oct 15 15:27:02.136 INFO kablam!   --> src/strong/boolean.rs:26:25
Oct 15 15:27:02.136 INFO kablam!    |
Oct 15 15:27:02.136 INFO kablam! 26 |     (IfThen) BoolIfThen(Bool, Bool): Bool {
Oct 15 15:27:02.136 INFO kablam!    |                         ^^^^
Oct 15 15:27:02.136 INFO kablam!    |
Oct 15 15:27:02.136 INFO kablam!    = help: the bound will not be checked when the type alias is used, and should be removed
Oct 15 15:27:02.136 INFO kablam! 
Oct 15 15:27:02.136 INFO kablam! warning: bounds on generic parameters are not enforced in type aliases
Oct 15 15:27:02.136 INFO kablam!   --> src/strong/boolean.rs:26:31
Oct 15 15:27:02.136 INFO kablam!    |
Oct 15 15:27:02.136 INFO kablam! 26 |     (IfThen) BoolIfThen(Bool, Bool): Bool {
Oct 15 15:27:02.136 INFO kablam!    |                               ^^^^
Oct 15 15:27:02.136 INFO kablam!    |
Oct 15 15:27:02.136 INFO kablam!    = help: the bound will not be checked when the type alias is used, and should be removed
Oct 15 15:27:02.136 INFO kablam! 
Oct 15 15:27:02.136 INFO kablam! warning: bounds on generic parameters are not enforced in type aliases
Oct 15 15:27:02.136 INFO kablam!   --> src/strong/boolean.rs:35:25
Oct 15 15:27:02.136 INFO kablam!    |
Oct 15 15:27:02.136 INFO kablam! 35 |     (OnlyIf) BoolOnlyIf(Bool, Bool): Bool {
Oct 15 15:27:02.136 INFO kablam!    |                         ^^^^
Oct 15 15:27:02.136 INFO kablam!    |
Oct 15 15:27:02.136 INFO kablam!    = help: the bound will not be checked when the type alias is used, and should be removed
Oct 15 15:27:02.136 INFO kablam! 
Oct 15 15:27:02.136 INFO kablam! warning: bounds on generic parameters are not enforced in type aliases
Oct 15 15:27:02.136 INFO kablam!   --> src/strong/boolean.rs:35:31
Oct 15 15:27:02.136 INFO kablam!    |
Oct 15 15:27:02.136 INFO kablam! 35 |     (OnlyIf) BoolOnlyIf(Bool, Bool): Bool {
Oct 15 15:27:02.136 INFO kablam!    |                               ^^^^
Oct 15 15:27:02.136 INFO kablam!    |
Oct 15 15:27:02.136 INFO kablam!    = help: the bound will not be checked when the type alias is used, and should be removed
Oct 15 15:27:02.136 INFO kablam! 
Oct 15 15:27:02.136 INFO kablam! warning: bounds on generic parameters are not enforced in type aliases
Oct 15 15:27:02.136 INFO kablam!   --> src/strong/boolean.rs:43:19
Oct 15 15:27:02.136 INFO kablam!    |
Oct 15 15:27:02.136 INFO kablam! 43 |     (Xor) BoolXor(Bool, Bool): Bool {
Oct 15 15:27:02.136 INFO kablam!    |                   ^^^^
Oct 15 15:27:02.136 INFO kablam!    |
Oct 15 15:27:02.136 INFO kablam!    = help: the bound will not be checked when the type alias is used, and should be removed
Oct 15 15:27:02.136 INFO kablam! 
Oct 15 15:27:02.136 INFO kablam! warning: bounds on generic parameters are not enforced in type aliases
Oct 15 15:27:02.137 INFO kablam!   --> src/strong/boolean.rs:43:25
Oct 15 15:27:02.137 INFO kablam!    |
Oct 15 15:27:02.137 INFO kablam! 43 |     (Xor) BoolXor(Bool, Bool): Bool {
Oct 15 15:27:02.137 INFO kablam!    |                         ^^^^
Oct 15 15:27:02.137 INFO kablam!    |
Oct 15 15:27:02.137 INFO kablam!    = help: the bound will not be checked when the type alias is used, and should be removed
Oct 15 15:27:02.137 INFO kablam! 
Oct 15 15:27:02.137 INFO kablam! warning: bounds on generic parameters are not enforced in type aliases
Oct 15 15:27:02.137 INFO kablam!   --> src/strong/ternary.rs:14:24
Oct 15 15:27:02.137 INFO kablam!    |
Oct 15 15:27:02.137 INFO kablam! 14 |     (Nat2First) Nat2P1(NatPair): Nat {
Oct 15 15:27:02.137 INFO kablam!    |                        ^^^^^^^
Oct 15 15:27:02.137 INFO kablam!    |
Oct 15 15:27:02.137 INFO kablam!    = help: the bound will not be checked when the type alias is used, and should be removed
Oct 15 15:27:02.137 INFO kablam! 
Oct 15 15:27:02.137 INFO kablam! warning: bounds on generic parameters are not enforced in type aliases
Oct 15 15:27:02.137 INFO kablam!   --> src/strong/ternary.rs:21:25
Oct 15 15:27:02.137 INFO kablam!    |
Oct 15 15:27:02.137 INFO kablam! 21 |     (Nat2Second) Nat2P2(NatPair): Nat {
Oct 15 15:27:02.137 INFO kablam!    |                         ^^^^^^^
Oct 15 15:27:02.137 INFO kablam!    |
Oct 15 15:27:02.137 INFO kablam!    = help: the bound will not be checked when the type alias is used, and should be removed
Oct 15 15:27:02.137 INFO kablam! 
Oct 15 15:27:02.137 INFO kablam! warning: bounds on generic parameters are not enforced in type aliases
Oct 15 15:27:02.137 INFO kablam!   --> src/strong/ternary.rs:29:20
Oct 15 15:27:02.137 INFO kablam!    |
Oct 15 15:27:02.137 INFO kablam! 29 |     (Succ) NatSucc(Nat): Nat {
Oct 15 15:27:02.137 INFO kablam!    |                    ^^^
Oct 15 15:27:02.137 INFO kablam!    |
Oct 15 15:27:02.137 INFO kablam!    = help: the bound will not be checked when the type alias is used, and should be removed
Oct 15 15:27:02.137 INFO kablam! 
Oct 15 15:27:02.137 INFO kablam! warning: bounds on generic parameters are not enforced in type aliases
Oct 15 15:27:02.137 INFO kablam!   --> src/strong/ternary.rs:41:20
Oct 15 15:27:02.137 INFO kablam!    |
Oct 15 15:27:02.137 INFO kablam! 41 |     (Pred) NatPred(Nat): Nat {
Oct 15 15:27:02.137 INFO kablam!    |                    ^^^
Oct 15 15:27:02.137 INFO kablam!    |
Oct 15 15:27:02.137 INFO kablam!    = help: the bound will not be checked when the type alias is used, and should be removed
Oct 15 15:27:02.137 INFO kablam! 
Oct 15 15:27:02.137 INFO kablam! warning: bounds on generic parameters are not enforced in type aliases
Oct 15 15:27:02.137 INFO kablam!   --> src/strong/ternary.rs:53:32
Oct 15 15:27:02.137 INFO kablam!    |
Oct 15 15:27:02.137 INFO kablam! 53 |     (DoublePred) NatDoublePred(Nat): Nat {
Oct 15 15:27:02.137 INFO kablam!    |                                ^^^
Oct 15 15:27:02.137 INFO kablam!    |
Oct 15 15:27:02.137 INFO kablam!    = help: the bound will not be checked when the type alias is used, and should be removed
Oct 15 15:27:02.137 INFO kablam! 
Oct 15 15:27:02.137 INFO kablam! warning: bounds on generic parameters are not enforced in type aliases
Oct 15 15:27:02.137 INFO kablam!   --> src/strong/ternary.rs:68:24
Oct 15 15:27:02.137 INFO kablam!    |
Oct 15 15:27:02.137 INFO kablam! 68 |     (Triple) NatTriple(Nat): Nat {
Oct 15 15:27:02.137 INFO kablam!    |                        ^^^
Oct 15 15:27:02.137 INFO kablam!    |
Oct 15 15:27:02.137 INFO kablam!    = help: the bound will not be checked when the type alias is used, and should be removed
Oct 15 15:27:02.137 INFO kablam! 
Oct 15 15:27:02.137 INFO kablam! warning: bounds on generic parameters are not enforced in type aliases
Oct 15 15:27:02.137 INFO kablam!   --> src/strong/ternary.rs:81:24
Oct 15 15:27:02.137 INFO kablam!    |
Oct 15 15:27:02.137 INFO kablam! 81 |     (Unique) NatUnique(Nat): Nat {
Oct 15 15:27:02.137 INFO kablam!    |                        ^^^
Oct 15 15:27:02.137 INFO kablam!    |
Oct 15 15:27:02.137 INFO kablam!    = help: the bound will not be checked when the type alias is used, and should be removed
Oct 15 15:27:02.137 INFO kablam! 
Oct 15 15:27:02.137 INFO kablam! warning: bounds on generic parameters are not enforced in type aliases
Oct 15 15:27:02.137 INFO kablam!   --> src/strong/ternary.rs:95:18
Oct 15 15:27:02.137 INFO kablam!    |
Oct 15 15:27:02.137 INFO kablam! 95 |     (Add) NatAdd(Nat, Nat): Nat {
Oct 15 15:27:02.137 INFO kablam!    |                  ^^^
Oct 15 15:27:02.137 INFO kablam!    |
Oct 15 15:27:02.137 INFO kablam!    = help: the bound will not be checked when the type alias is used, and should be removed
Oct 15 15:27:02.137 INFO kablam! 
Oct 15 15:27:02.137 INFO kablam! warning: bounds on generic parameters are not enforced in type aliases
Oct 15 15:27:02.137 INFO kablam!   --> src/strong/ternary.rs:95:23
Oct 15 15:27:02.137 INFO kablam!    |
Oct 15 15:27:02.137 INFO kablam! 95 |     (Add) NatAdd(Nat, Nat): Nat {
Oct 15 15:27:02.137 INFO kablam!    |                       ^^^
Oct 15 15:27:02.137 INFO kablam!    |
Oct 15 15:27:02.137 INFO kablam!    = help: the bound will not be checked when the type alias is used, and should be removed
Oct 15 15:27:02.137 INFO kablam! 
Oct 15 15:27:02.137 INFO kablam! warning: bounds on generic parameters are not enforced in type aliases
Oct 15 15:27:02.137 INFO kablam!    --> src/strong/ternary.rs:128:38
Oct 15 15:27:02.137 INFO kablam!     |
Oct 15 15:27:02.137 INFO kablam! 128 |     (TriplePlusOne) NatTriplePlusOne(Nat): Nat {
Oct 15 15:27:02.137 INFO kablam!     |                                      ^^^
Oct 15 15:27:02.137 INFO kablam!     |
Oct 15 15:27:02.137 INFO kablam!     = help: the bound will not be checked when the type alias is used, and should be removed
Oct 15 15:27:02.138 INFO kablam! 
Oct 15 15:27:02.138 INFO kablam! warning: bounds on generic parameters are not enforced in type aliases
Oct 15 15:27:02.138 INFO kablam!    --> src/strong/ternary.rs:139:38
Oct 15 15:27:02.138 INFO kablam!     |
Oct 15 15:27:02.138 INFO kablam! 139 |     (TriplePlusTwo) NatTriplePlusTwo(Nat): Nat {
Oct 15 15:27:02.138 INFO kablam!     |                                      ^^^
Oct 15 15:27:02.138 INFO kablam!     |
Oct 15 15:27:02.138 INFO kablam!     = help: the bound will not be checked when the type alias is used, and should be removed
Oct 15 15:27:02.138 INFO kablam! 
Oct 15 15:27:02.138 INFO kablam! warning: bounds on generic parameters are not enforced in type aliases
Oct 15 15:27:02.138 INFO kablam!    --> src/strong/ternary.rs:152:18
Oct 15 15:27:02.138 INFO kablam!     |
Oct 15 15:27:02.138 INFO kablam! 152 |     (Sub) NatSub(Nat, Nat): Nat {
Oct 15 15:27:02.138 INFO kablam!     |                  ^^^
Oct 15 15:27:02.138 INFO kablam!     |
Oct 15 15:27:02.138 INFO kablam!     = help: the bound will not be checked when the type alias is used, and should be removed
Oct 15 15:27:02.138 INFO kablam! 
Oct 15 15:27:02.138 INFO kablam! warning: bounds on generic parameters are not enforced in type aliases
Oct 15 15:27:02.138 INFO kablam!    --> src/strong/ternary.rs:152:23
Oct 15 15:27:02.138 INFO kablam!     |
Oct 15 15:27:02.138 INFO kablam! 152 |     (Sub) NatSub(Nat, Nat): Nat {
Oct 15 15:27:02.138 INFO kablam!     |                       ^^^
Oct 15 15:27:02.138 INFO kablam!     |
Oct 15 15:27:02.138 INFO kablam!     = help: the bound will not be checked when the type alias is used, and should be removed
Oct 15 15:27:02.138 INFO kablam! 
Oct 15 15:27:02.138 INFO kablam! warning: bounds on generic parameters are not enforced in type aliases
Oct 15 15:27:02.138 INFO kablam!    --> src/strong/ternary.rs:185:18
Oct 15 15:27:02.138 INFO kablam!     |
Oct 15 15:27:02.138 INFO kablam! 185 |     (Mul) NatMul(Nat, Nat): Nat {
Oct 15 15:27:02.138 INFO kablam!     |                  ^^^
Oct 15 15:27:02.138 INFO kablam!     |
Oct 15 15:27:02.138 INFO kablam!     = help: the bound will not be checked when the type alias is used, and should be removed
Oct 15 15:27:02.138 INFO kablam! 
Oct 15 15:27:02.138 INFO kablam! warning: bounds on generic parameters are not enforced in type aliases
Oct 15 15:27:02.138 INFO kablam!    --> src/strong/ternary.rs:185:23
Oct 15 15:27:02.138 INFO kablam!     |
Oct 15 15:27:02.138 INFO kablam! 185 |     (Mul) NatMul(Nat, Nat): Nat {
Oct 15 15:27:02.138 INFO kablam!     |                       ^^^
Oct 15 15:27:02.138 INFO kablam!     |
Oct 15 15:27:02.138 INFO kablam!     = help: the bound will not be checked when the type alias is used, and should be removed
Oct 15 15:27:02.138 INFO kablam! 
Oct 15 15:27:02.138 INFO kablam! warning: bounds on generic parameters are not enforced in type aliases
Oct 15 15:27:02.138 INFO kablam!    --> src/strong/ternary.rs:220:18
Oct 15 15:27:02.138 INFO kablam!     |
Oct 15 15:27:02.138 INFO kablam! 220 |     (Cmp) NatCmp(Nat, Nat, Nat, Nat, Nat): Nat {
Oct 15 15:27:02.138 INFO kablam!     |                  ^^^
Oct 15 15:27:02.138 INFO kablam!     |
Oct 15 15:27:02.138 INFO kablam!     = help: the bound will not be checked when the type alias is used, and should be removed
Oct 15 15:27:02.138 INFO kablam! 
Oct 15 15:27:02.138 INFO kablam! warning: bounds on generic parameters are not enforced in type aliases
Oct 15 15:27:02.138 INFO kablam!    --> src/strong/ternary.rs:220:23
Oct 15 15:27:02.138 INFO kablam!     |
Oct 15 15:27:02.138 INFO kablam! 220 |     (Cmp) NatCmp(Nat, Nat, Nat, Nat, Nat): Nat {
Oct 15 15:27:02.138 INFO kablam!     |                       ^^^
Oct 15 15:27:02.138 INFO kablam!     |
Oct 15 15:27:02.138 INFO kablam!     = help: the bound will not be checked when the type alias is used, and should be removed
Oct 15 15:27:02.138 INFO kablam! 
Oct 15 15:27:02.138 INFO kablam! warning: bounds on generic parameters are not enforced in type aliases
Oct 15 15:27:02.138 INFO kablam!    --> src/strong/ternary.rs:220:28
Oct 15 15:27:02.138 INFO kablam!     |
Oct 15 15:27:02.138 INFO kablam! 220 |     (Cmp) NatCmp(Nat, Nat, Nat, Nat, Nat): Nat {
Oct 15 15:27:02.138 INFO kablam!     |                            ^^^
Oct 15 15:27:02.138 INFO kablam!     |
Oct 15 15:27:02.138 INFO kablam!     = help: the bound will not be checked when the type alias is used, and should be removed
Oct 15 15:27:02.138 INFO kablam! 
Oct 15 15:27:02.138 INFO kablam! warning: bounds on generic parameters are not enforced in type aliases
Oct 15 15:27:02.138 INFO kablam!    --> src/strong/ternary.rs:220:33
Oct 15 15:27:02.138 INFO kablam!     |
Oct 15 15:27:02.138 INFO kablam! 220 |     (Cmp) NatCmp(Nat, Nat, Nat, Nat, Nat): Nat {
Oct 15 15:27:02.138 INFO kablam!     |                                 ^^^
Oct 15 15:27:02.138 INFO kablam!     |
Oct 15 15:27:02.138 INFO kablam!     = help: the bound will not be checked when the type alias is used, and should be removed
Oct 15 15:27:02.138 INFO kablam! 
Oct 15 15:27:02.138 INFO kablam! warning: bounds on generic parameters are not enforced in type aliases
Oct 15 15:27:02.138 INFO kablam!    --> src/strong/ternary.rs:220:38
Oct 15 15:27:02.138 INFO kablam!     |
Oct 15 15:27:02.138 INFO kablam! 220 |     (Cmp) NatCmp(Nat, Nat, Nat, Nat, Nat): Nat {
Oct 15 15:27:02.138 INFO kablam!     |                                      ^^^
Oct 15 15:27:02.138 INFO kablam!     |
Oct 15 15:27:02.138 INFO kablam!     = help: the bound will not be checked when the type alias is used, and should be removed
Oct 15 15:27:02.138 INFO kablam! 
Oct 15 15:27:02.138 INFO kablam! warning: bounds on generic parameters are not enforced in type aliases
Oct 15 15:27:02.138 INFO kablam!    --> src/strong/ternary.rs:247:28
Oct 15 15:27:02.138 INFO kablam!     |
Oct 15 15:27:02.138 INFO kablam! 247 |     (UndefOr2) NatUndefOr2(Nat, Nat, NatPair): NatPair {
Oct 15 15:27:02.139 INFO kablam!     |                            ^^^
Oct 15 15:27:02.139 INFO kablam!     |
Oct 15 15:27:02.139 INFO kablam!     = help: the bound will not be checked when the type alias is used, and should be removed
Oct 15 15:27:02.139 INFO kablam! 
Oct 15 15:27:02.139 INFO kablam! warning: bounds on generic parameters are not enforced in type aliases
Oct 15 15:27:02.139 INFO kablam!    --> src/strong/ternary.rs:247:33
Oct 15 15:27:02.139 INFO kablam!     |
Oct 15 15:27:02.139 INFO kablam! 247 |     (UndefOr2) NatUndefOr2(Nat, Nat, NatPair): NatPair {
Oct 15 15:27:02.139 INFO kablam!     |                                 ^^^
Oct 15 15:27:02.139 INFO kablam!     |
Oct 15 15:27:02.139 INFO kablam!     = help: the bound will not be checked when the type alias is used, and should be removed
Oct 15 15:27:02.139 INFO kablam! 
Oct 15 15:27:02.139 INFO kablam! warning: bounds on generic parameters are not enforced in type aliases
Oct 15 15:27:02.139 INFO kablam!    --> src/strong/ternary.rs:247:38
Oct 15 15:27:02.139 INFO kablam!     |
Oct 15 15:27:02.139 INFO kablam! 247 |     (UndefOr2) NatUndefOr2(Nat, Nat, NatPair): NatPair {
Oct 15 15:27:02.139 INFO kablam!     |                                      ^^^^^^^
Oct 15 15:27:02.139 INFO kablam!     |
Oct 15 15:27:02.139 INFO kablam!     = help: the bound will not be checked when the type alias is used, and should be removed
Oct 15 15:27:02.139 INFO kablam! 
Oct 15 15:27:02.139 INFO kablam! warning: bounds on generic parameters are not enforced in type aliases
Oct 15 15:27:02.139 INFO kablam!    --> src/strong/ternary.rs:262:18
Oct 15 15:27:02.139 INFO kablam!     |
Oct 15 15:27:02.139 INFO kablam! 262 |     (Rev) NatRev(Nat): Nat {
Oct 15 15:27:02.139 INFO kablam!     |                  ^^^
Oct 15 15:27:02.139 INFO kablam!     |
Oct 15 15:27:02.139 INFO kablam!     = help: the bound will not be checked when the type alias is used, and should be removed
Oct 15 15:27:02.139 INFO kablam! 
Oct 15 15:27:02.139 INFO kablam! warning: bounds on generic parameters are not enforced in type aliases
Oct 15 15:27:02.139 INFO kablam!    --> src/strong/ternary.rs:268:34
Oct 15 15:27:02.139 INFO kablam!     |
Oct 15 15:27:02.139 INFO kablam! 268 |     (RevInternal) NatRevInternal(Nat, Nat): Nat {
Oct 15 15:27:02.139 INFO kablam!     |                                  ^^^
Oct 15 15:27:02.139 INFO kablam!     |
Oct 15 15:27:02.139 INFO kablam!     = help: the bound will not be checked when the type alias is used, and should be removed
Oct 15 15:27:02.139 INFO kablam! 
Oct 15 15:27:02.139 INFO kablam! warning: bounds on generic parameters are not enforced in type aliases
Oct 15 15:27:02.139 INFO kablam!    --> src/strong/ternary.rs:268:39
Oct 15 15:27:02.139 INFO kablam!     |
Oct 15 15:27:02.139 INFO kablam! 268 |     (RevInternal) NatRevInternal(Nat, Nat): Nat {
Oct 15 15:27:02.139 INFO kablam!     |                                       ^^^
Oct 15 15:27:02.139 INFO kablam!     |
Oct 15 15:27:02.139 INFO kablam!     = help: the bound will not be checked when the type alias is used, and should be removed
Oct 15 15:27:02.140 INFO kablam! 
Oct 15 15:27:02.140 INFO kablam! warning: bounds on generic parameters are not enforced in type aliases
Oct 15 15:27:02.140 INFO kablam!    --> src/strong/ternary.rs:281:18
Oct 15 15:27:02.140 INFO kablam!     |
Oct 15 15:27:02.140 INFO kablam! 281 |     (Div) NatDiv(Nat, Nat): Nat {
Oct 15 15:27:02.140 INFO kablam!     |                  ^^^
Oct 15 15:27:02.140 INFO kablam!     |
Oct 15 15:27:02.140 INFO kablam!     = help: the bound will not be checked when the type alias is used, and should be removed
Oct 15 15:27:02.140 INFO kablam! 
Oct 15 15:27:02.140 INFO kablam! warning: bounds on generic parameters are not enforced in type aliases
Oct 15 15:27:02.140 INFO kablam!    --> src/strong/ternary.rs:281:23
Oct 15 15:27:02.140 INFO kablam!     |
Oct 15 15:27:02.140 INFO kablam! 281 |     (Div) NatDiv(Nat, Nat): Nat {
Oct 15 15:27:02.140 INFO kablam!     |                       ^^^
Oct 15 15:27:02.140 INFO kablam!     |
Oct 15 15:27:02.140 INFO kablam!     = help: the bound will not be checked when the type alias is used, and should be removed
Oct 15 15:27:02.140 INFO kablam! 
Oct 15 15:27:02.145 INFO kablam! warning: bounds on generic parameters are not enforced in type aliases
Oct 15 15:27:02.145 INFO kablam!    --> src/strong/ternary.rs:306:18
Oct 15 15:27:02.145 INFO kablam!     |
Oct 15 15:27:02.145 INFO kablam! 306 |     (Rem) NatRem(Nat, Nat): Nat {
Oct 15 15:27:02.145 INFO kablam!     |                  ^^^
Oct 15 15:27:02.145 INFO kablam!     |
Oct 15 15:27:02.145 INFO kablam!     = help: the bound will not be checked when the type alias is used, and should be removed
Oct 15 15:27:02.145 INFO kablam! 
Oct 15 15:27:02.145 INFO kablam! warning: bounds on generic parameters are not enforced in type aliases
Oct 15 15:27:02.145 INFO kablam!    --> src/strong/ternary.rs:306:23
Oct 15 15:27:02.145 INFO kablam!     |
Oct 15 15:27:02.145 INFO kablam! 306 |     (Rem) NatRem(Nat, Nat): Nat {
Oct 15 15:27:02.145 INFO kablam!     |                       ^^^
Oct 15 15:27:02.145 INFO kablam!     |
Oct 15 15:27:02.145 INFO kablam!     = help: the bound will not be checked when the type alias is used, and should be removed
Oct 15 15:27:02.145 INFO kablam! 
Oct 15 15:27:02.145 INFO kablam! warning: bounds on generic parameters are not enforced in type aliases
Oct 15 15:27:02.145 INFO kablam!    --> src/strong/ternary.rs:329:34
Oct 15 15:27:02.145 INFO kablam!     |
Oct 15 15:27:02.145 INFO kablam! 329 |     (DivInternal) NatDivInternal(Nat, Nat, NatPair): NatPair {
Oct 15 15:27:02.145 INFO kablam!     |                                  ^^^
Oct 15 15:27:02.145 INFO kablam!     |
Oct 15 15:27:02.145 INFO kablam!     = help: the bound will not be checked when the type alias is used, and should be removed
Oct 15 15:27:02.145 INFO kablam! 
Oct 15 15:27:02.145 INFO kablam! warning: bounds on generic parameters are not enforced in type aliases
Oct 15 15:27:02.145 INFO kablam!    --> src/strong/ternary.rs:329:39
Oct 15 15:27:02.145 INFO kablam!     |
Oct 15 15:27:02.145 INFO kablam! 329 |     (DivInternal) NatDivInternal(Nat, Nat, NatPair): NatPair {
Oct 15 15:27:02.145 INFO kablam!     |                                       ^^^
Oct 15 15:27:02.145 INFO kablam!     |
Oct 15 15:27:02.145 INFO kablam!     = help: the bound will not be checked when the type alias is used, and should be removed
Oct 15 15:27:02.145 INFO kablam! 
Oct 15 15:27:02.145 INFO kablam! warning: bounds on generic parameters are not enforced in type aliases
Oct 15 15:27:02.145 INFO kablam!    --> src/strong/ternary.rs:329:44
Oct 15 15:27:02.145 INFO kablam!     |
Oct 15 15:27:02.145 INFO kablam! 329 |     (DivInternal) NatDivInternal(Nat, Nat, NatPair): NatPair {
Oct 15 15:27:02.145 INFO kablam!     |                                            ^^^^^^^
Oct 15 15:27:02.145 INFO kablam!     |
Oct 15 15:27:02.145 INFO kablam!     = help: the bound will not be checked when the type alias is used, and should be removed
Oct 15 15:27:02.145 INFO kablam! 
Oct 15 15:27:02.145 INFO kablam! warning: bounds on generic parameters are not enforced in type aliases
Oct 15 15:27:02.146 INFO kablam!   --> src/strong/balanced.rs:10:24
Oct 15 15:27:02.146 INFO kablam!    |
Oct 15 15:27:02.146 INFO kablam! 10 |     (Int2First) Int2P1(IntPair): Int {
Oct 15 15:27:02.146 INFO kablam!    |                        ^^^^^^^
Oct 15 15:27:02.146 INFO kablam!    |
Oct 15 15:27:02.146 INFO kablam!    = help: the bound will not be checked when the type alias is used, and should be removed
Oct 15 15:27:02.146 INFO kablam! 
Oct 15 15:27:02.146 INFO kablam! warning: bounds on generic parameters are not enforced in type aliases
Oct 15 15:27:02.146 INFO kablam!   --> src/strong/balanced.rs:17:25
Oct 15 15:27:02.146 INFO kablam!    |
Oct 15 15:27:02.146 INFO kablam! 17 |     (Int2Second) Int2P2(IntPair): Int {
Oct 15 15:27:02.146 INFO kablam!    |                         ^^^^^^^
Oct 15 15:27:02.146 INFO kablam!    |
Oct 15 15:27:02.146 INFO kablam!    = help: the bound will not be checked when the type alias is used, and should be removed
Oct 15 15:27:02.146 INFO kablam! 
Oct 15 15:27:02.146 INFO kablam! warning: bounds on generic parameters are not enforced in type aliases
Oct 15 15:27:02.146 INFO kablam!   --> src/strong/balanced.rs:24:20
Oct 15 15:27:02.146 INFO kablam!    |
Oct 15 15:27:02.146 INFO kablam! 24 |     (Succ) IntSucc(Int): Int {
Oct 15 15:27:02.146 INFO kablam!    |                    ^^^
Oct 15 15:27:02.146 INFO kablam!    |
Oct 15 15:27:02.146 INFO kablam!    = help: the bound will not be checked when the type alias is used, and should be removed
Oct 15 15:27:02.146 INFO kablam! 
Oct 15 15:27:02.146 INFO kablam! warning: bounds on generic parameters are not enforced in type aliases
Oct 15 15:27:02.146 INFO kablam!   --> src/strong/balanced.rs:35:20
Oct 15 15:27:02.146 INFO kablam!    |
Oct 15 15:27:02.146 INFO kablam! 35 |     (Pred) IntPred(Int): Int {
Oct 15 15:27:02.146 INFO kablam!    |                    ^^^
Oct 15 15:27:02.146 INFO kablam!    |
Oct 15 15:27:02.146 INFO kablam!    = help: the bound will not be checked when the type alias is used, and should be removed
Oct 15 15:27:02.146 INFO kablam! 
Oct 15 15:27:02.146 INFO kablam! warning: bounds on generic parameters are not enforced in type aliases
Oct 15 15:27:02.146 INFO kablam!   --> src/strong/balanced.rs:49:24
Oct 15 15:27:02.146 INFO kablam!    |
Oct 15 15:27:02.146 INFO kablam! 49 |     (Triple) IntTriple(Int): Int {
Oct 15 15:27:02.146 INFO kablam!    |                        ^^^
Oct 15 15:27:02.146 INFO kablam!    |
Oct 15 15:27:02.146 INFO kablam!    = help: the bound will not be checked when the type alias is used, and should be removed
Oct 15 15:27:02.146 INFO kablam! 
Oct 15 15:27:02.146 INFO kablam! warning: bounds on generic parameters are not enforced in type aliases
Oct 15 15:27:02.146 INFO kablam!   --> src/strong/balanced.rs:62:24
Oct 15 15:27:02.146 INFO kablam!    |
Oct 15 15:27:02.146 INFO kablam! 62 |     (IntUnique) Unique(Int): Int {
Oct 15 15:27:02.146 INFO kablam!    |                        ^^^
Oct 15 15:27:02.146 INFO kablam!    |
Oct 15 15:27:02.146 INFO kablam!    = help: the bound will not be checked when the type alias is used, and should be removed
Oct 15 15:27:02.146 INFO kablam! 
Oct 15 15:27:02.146 INFO kablam! warning: bounds on generic parameters are not enforced in type aliases
Oct 15 15:27:02.146 INFO kablam!   --> src/strong/balanced.rs:80:18
Oct 15 15:27:02.146 INFO kablam!    |
Oct 15 15:27:02.146 INFO kablam! 80 |     (Neg) IntNeg(Int): Int {
Oct 15 15:27:02.146 INFO kablam!    |                  ^^^
Oct 15 15:27:02.146 INFO kablam!    |
Oct 15 15:27:02.146 INFO kablam!    = help: the bound will not be checked when the type alias is used, and should be removed
Oct 15 15:27:02.146 INFO kablam! 
Oct 15 15:27:02.146 INFO kablam! warning: bounds on generic parameters are not enforced in type aliases
Oct 15 15:27:02.146 INFO kablam!   --> src/strong/balanced.rs:94:18
Oct 15 15:27:02.146 INFO kablam!    |
Oct 15 15:27:02.146 INFO kablam! 94 |     (Add) IntAdd(Int, Int): Int {
Oct 15 15:27:02.146 INFO kablam!    |                  ^^^
Oct 15 15:27:02.146 INFO kablam!    |
Oct 15 15:27:02.146 INFO kablam!    = help: the bound will not be checked when the type alias is used, and should be removed
Oct 15 15:27:02.146 INFO kablam! 
Oct 15 15:27:02.146 INFO kablam! warning: bounds on generic parameters are not enforced in type aliases
Oct 15 15:27:02.146 INFO kablam!   --> src/strong/balanced.rs:94:23
Oct 15 15:27:02.146 INFO kablam!    |
Oct 15 15:27:02.146 INFO kablam! 94 |     (Add) IntAdd(Int, Int): Int {
Oct 15 15:27:02.146 INFO kablam!    |                       ^^^
Oct 15 15:27:02.146 INFO kablam!    |
Oct 15 15:27:02.146 INFO kablam!    = help: the bound will not be checked when the type alias is used, and should be removed
Oct 15 15:27:02.146 INFO kablam! 
Oct 15 15:27:02.146 INFO kablam! warning: bounds on generic parameters are not enforced in type aliases
Oct 15 15:27:02.146 INFO kablam!    --> src/strong/balanced.rs:127:18
Oct 15 15:27:02.146 INFO kablam!     |
Oct 15 15:27:02.146 INFO kablam! 127 |     (Sub) IntSub(Int, Int): Int {
Oct 15 15:27:02.146 INFO kablam!     |                  ^^^
Oct 15 15:27:02.146 INFO kablam!     |
Oct 15 15:27:02.146 INFO kablam!     = help: the bound will not be checked when the type alias is used, and should be removed
Oct 15 15:27:02.146 INFO kablam! 
Oct 15 15:27:02.146 INFO kablam! warning: bounds on generic parameters are not enforced in type aliases
Oct 15 15:27:02.146 INFO kablam!    --> src/strong/balanced.rs:127:23
Oct 15 15:27:02.146 INFO kablam!     |
Oct 15 15:27:02.146 INFO kablam! 127 |     (Sub) IntSub(Int, Int): Int {
Oct 15 15:27:02.146 INFO kablam!     |                       ^^^
Oct 15 15:27:02.147 INFO kablam!     |
Oct 15 15:27:02.147 INFO kablam!     = help: the bound will not be checked when the type alias is used, and should be removed
Oct 15 15:27:02.147 INFO kablam! 
Oct 15 15:27:02.147 INFO kablam! warning: bounds on generic parameters are not enforced in type aliases
Oct 15 15:27:02.147 INFO kablam!    --> src/strong/balanced.rs:160:18
Oct 15 15:27:02.147 INFO kablam!     |
Oct 15 15:27:02.147 INFO kablam! 160 |     (Mul) IntMul(Int, Int): Int {
Oct 15 15:27:02.147 INFO kablam!     |                  ^^^
Oct 15 15:27:02.147 INFO kablam!     |
Oct 15 15:27:02.147 INFO kablam!     = help: the bound will not be checked when the type alias is used, and should be removed
Oct 15 15:27:02.147 INFO kablam! 
Oct 15 15:27:02.147 INFO kablam! warning: bounds on generic parameters are not enforced in type aliases
Oct 15 15:27:02.147 INFO kablam!    --> src/strong/balanced.rs:160:23
Oct 15 15:27:02.147 INFO kablam!     |
Oct 15 15:27:02.147 INFO kablam! 160 |     (Mul) IntMul(Int, Int): Int {
Oct 15 15:27:02.147 INFO kablam!     |                       ^^^
Oct 15 15:27:02.147 INFO kablam!     |
Oct 15 15:27:02.147 INFO kablam!     = help: the bound will not be checked when the type alias is used, and should be removed
Oct 15 15:27:02.147 INFO kablam! 
Oct 15 15:27:02.147 INFO kablam! warning: bounds on generic parameters are not enforced in type aliases
Oct 15 15:27:02.147 INFO kablam!    --> src/strong/balanced.rs:196:18
Oct 15 15:27:02.147 INFO kablam!     |
Oct 15 15:27:02.147 INFO kablam! 196 |     (Cmp) IntCmp(Int, Int, Int, Int, Int): Int {
Oct 15 15:27:02.147 INFO kablam!     |                  ^^^
Oct 15 15:27:02.147 INFO kablam!     |
Oct 15 15:27:02.147 INFO kablam!     = help: the bound will not be checked when the type alias is used, and should be removed
Oct 15 15:27:02.147 INFO kablam! 
Oct 15 15:27:02.147 INFO kablam! warning: bounds on generic parameters are not enforced in type aliases
Oct 15 15:27:02.147 INFO kablam!    --> src/strong/balanced.rs:196:23
Oct 15 15:27:02.147 INFO kablam!     |
Oct 15 15:27:02.147 INFO kablam! 196 |     (Cmp) IntCmp(Int, Int, Int, Int, Int): Int {
Oct 15 15:27:02.147 INFO kablam!     |                       ^^^
Oct 15 15:27:02.147 INFO kablam!     |
Oct 15 15:27:02.147 INFO kablam!     = help: the bound will not be checked when the type alias is used, and should be removed
Oct 15 15:27:02.147 INFO kablam! 
Oct 15 15:27:02.147 INFO kablam! warning: bounds on generic parameters are not enforced in type aliases
Oct 15 15:27:02.147 INFO kablam!    --> src/strong/balanced.rs:196:28
Oct 15 15:27:02.147 INFO kablam!     |
Oct 15 15:27:02.147 INFO kablam! 196 |     (Cmp) IntCmp(Int, Int, Int, Int, Int): Int {
Oct 15 15:27:02.147 INFO kablam!     |                            ^^^
Oct 15 15:27:02.147 INFO kablam!     |
Oct 15 15:27:02.147 INFO kablam!     = help: the bound will not be checked when the type alias is used, and should be removed
Oct 15 15:27:02.147 INFO kablam! 
Oct 15 15:27:02.147 INFO kablam! warning: bounds on generic parameters are not enforced in type aliases
Oct 15 15:27:02.147 INFO kablam!    --> src/strong/balanced.rs:196:33
Oct 15 15:27:02.147 INFO kablam!     |
Oct 15 15:27:02.147 INFO kablam! 196 |     (Cmp) IntCmp(Int, Int, Int, Int, Int): Int {
Oct 15 15:27:02.147 INFO kablam!     |                                 ^^^
Oct 15 15:27:02.147 INFO kablam!     |
Oct 15 15:27:02.147 INFO kablam!     = help: the bound will not be checked when the type alias is used, and should be removed
Oct 15 15:27:02.147 INFO kablam! 
Oct 15 15:27:02.147 INFO kablam! warning: bounds on generic parameters are not enforced in type aliases
Oct 15 15:27:02.147 INFO kablam!    --> src/strong/balanced.rs:196:38
Oct 15 15:27:02.147 INFO kablam!     |
Oct 15 15:27:02.147 INFO kablam! 196 |     (Cmp) IntCmp(Int, Int, Int, Int, Int): Int {
Oct 15 15:27:02.147 INFO kablam!     |                                      ^^^
Oct 15 15:27:02.147 INFO kablam!     |
Oct 15 15:27:02.147 INFO kablam!     = help: the bound will not be checked when the type alias is used, and should be removed
Oct 15 15:27:02.147 INFO kablam! 
Oct 15 15:27:02.151 INFO kablam! warning: bounds on generic parameters are not enforced in type aliases
Oct 15 15:27:02.151 INFO kablam!    --> src/strong/balanced.rs:223:20
Oct 15 15:27:02.151 INFO kablam!     |
Oct 15 15:27:02.151 INFO kablam! 223 |     (Cmp2) IntCmp2(Int, Int, IntPair, IntPair, IntPair): IntPair {
Oct 15 15:27:02.152 INFO kablam!     |                    ^^^
Oct 15 15:27:02.152 INFO kablam!     |
Oct 15 15:27:02.152 INFO kablam!     = help: the bound will not be checked when the type alias is used, and should be removed
Oct 15 15:27:02.152 INFO kablam! 
Oct 15 15:27:02.152 INFO kablam! warning: bounds on generic parameters are not enforced in type aliases
Oct 15 15:27:02.152 INFO kablam!    --> src/strong/balanced.rs:223:25
Oct 15 15:27:02.152 INFO kablam!     |
Oct 15 15:27:02.152 INFO kablam! 223 |     (Cmp2) IntCmp2(Int, Int, IntPair, IntPair, IntPair): IntPair {
Oct 15 15:27:02.152 INFO kablam!     |                         ^^^
Oct 15 15:27:02.152 INFO kablam!     |
Oct 15 15:27:02.152 INFO kablam!     = help: the bound will not be checked when the type alias is used, and should be removed
Oct 15 15:27:02.152 INFO kablam! 
Oct 15 15:27:02.152 INFO kablam! warning: bounds on generic parameters are not enforced in type aliases
Oct 15 15:27:02.152 INFO kablam!    --> src/strong/balanced.rs:223:30
Oct 15 15:27:02.152 INFO kablam!     |
Oct 15 15:27:02.152 INFO kablam! 223 |     (Cmp2) IntCmp2(Int, Int, IntPair, IntPair, IntPair): IntPair {
Oct 15 15:27:02.152 INFO kablam!     |                              ^^^^^^^
Oct 15 15:27:02.152 INFO kablam!     |
Oct 15 15:27:02.152 INFO kablam!     = help: the bound will not be checked when the type alias is used, and should be removed
Oct 15 15:27:02.152 INFO kablam! 
Oct 15 15:27:02.152 INFO kablam! warning: bounds on generic parameters are not enforced in type aliases
Oct 15 15:27:02.152 INFO kablam!    --> src/strong/balanced.rs:223:39
Oct 15 15:27:02.152 INFO kablam!     |
Oct 15 15:27:02.152 INFO kablam! 223 |     (Cmp2) IntCmp2(Int, Int, IntPair, IntPair, IntPair): IntPair {
Oct 15 15:27:02.152 INFO kablam!     |                                       ^^^^^^^
Oct 15 15:27:02.152 INFO kablam!     |
Oct 15 15:27:02.152 INFO kablam!     = help: the bound will not be checked when the type alias is used, and should be removed
Oct 15 15:27:02.152 INFO kablam! 
Oct 15 15:27:02.152 INFO kablam! warning: bounds on generic parameters are not enforced in type aliases
Oct 15 15:27:02.152 INFO kablam!    --> src/strong/balanced.rs:223:48
Oct 15 15:27:02.152 INFO kablam!     |
Oct 15 15:27:02.152 INFO kablam! 223 |     (Cmp2) IntCmp2(Int, Int, IntPair, IntPair, IntPair): IntPair {
Oct 15 15:27:02.152 INFO kablam!     |                                                ^^^^^^^
Oct 15 15:27:02.152 INFO kablam!     |
Oct 15 15:27:02.152 INFO kablam!     = help: the bound will not be checked when the type alias is used, and should be removed
Oct 15 15:27:02.152 INFO kablam! 
Oct 15 15:27:02.152 INFO kablam! warning: bounds on generic parameters are not enforced in type aliases
Oct 15 15:27:02.152 INFO kablam!    --> src/strong/balanced.rs:248:24
Oct 15 15:27:02.152 INFO kablam!     |
Oct 15 15:27:02.152 INFO kablam! 248 |     (LteCmp) IntLteCmp(Int, Int, Int, Int): Int {
Oct 15 15:27:02.152 INFO kablam!     |                        ^^^
Oct 15 15:27:02.152 INFO kablam!     |
Oct 15 15:27:02.152 INFO kablam!     = help: the bound will not be checked when the type alias is used, and should be removed
Oct 15 15:27:02.152 INFO kablam! 
Oct 15 15:27:02.152 INFO kablam! warning: bounds on generic parameters are not enforced in type aliases
Oct 15 15:27:02.152 INFO kablam!    --> src/strong/balanced.rs:248:29
Oct 15 15:27:02.152 INFO kablam!     |
Oct 15 15:27:02.152 INFO kablam! 248 |     (LteCmp) IntLteCmp(Int, Int, Int, Int): Int {
Oct 15 15:27:02.152 INFO kablam!     |                             ^^^
Oct 15 15:27:02.152 INFO kablam!     |
Oct 15 15:27:02.152 INFO kablam!     = help: the bound will not be checked when the type alias is used, and should be removed
Oct 15 15:27:02.152 INFO kablam! 
Oct 15 15:27:02.152 INFO kablam! warning: bounds on generic parameters are not enforced in type aliases
Oct 15 15:27:02.152 INFO kablam!    --> src/strong/balanced.rs:248:34
Oct 15 15:27:02.152 INFO kablam!     |
Oct 15 15:27:02.152 INFO kablam! 248 |     (LteCmp) IntLteCmp(Int, Int, Int, Int): Int {
Oct 15 15:27:02.152 INFO kablam!     |                                  ^^^
Oct 15 15:27:02.152 INFO kablam!     |
Oct 15 15:27:02.152 INFO kablam!     = help: the bound will not be checked when the type alias is used, and should be removed
Oct 15 15:27:02.152 INFO kablam! 
Oct 15 15:27:02.152 INFO kablam! warning: bounds on generic parameters are not enforced in type aliases
Oct 15 15:27:02.152 INFO kablam!    --> src/strong/balanced.rs:248:39
Oct 15 15:27:02.152 INFO kablam!     |
Oct 15 15:27:02.152 INFO kablam! 248 |     (LteCmp) IntLteCmp(Int, Int, Int, Int): Int {
Oct 15 15:27:02.152 INFO kablam!     |                                       ^^^
Oct 15 15:27:02.152 INFO kablam!     |
Oct 15 15:27:02.152 INFO kablam!     = help: the bound will not be checked when the type alias is used, and should be removed
Oct 15 15:27:02.152 INFO kablam! 
Oct 15 15:27:02.152 INFO kablam! warning: bounds on generic parameters are not enforced in type aliases
Oct 15 15:27:02.152 INFO kablam!    --> src/strong/balanced.rs:254:26
Oct 15 15:27:02.152 INFO kablam!     |
Oct 15 15:27:02.152 INFO kablam! 254 |     (LteCmp2) IntLteCmp2(Int, Int, IntPair, IntPair): IntPair {
Oct 15 15:27:02.152 INFO kablam!     |                          ^^^
Oct 15 15:27:02.152 INFO kablam!     |
Oct 15 15:27:02.152 INFO kablam!     = help: the bound will not be checked when the type alias is used, and should be removed
Oct 15 15:27:02.152 INFO kablam! 
Oct 15 15:27:02.152 INFO kablam! warning: bounds on generic parameters are not enforced in type aliases
Oct 15 15:27:02.152 INFO kablam!    --> src/strong/balanced.rs:254:31
Oct 15 15:27:02.152 INFO kablam!     |
Oct 15 15:27:02.152 INFO kablam! 254 |     (LteCmp2) IntLteCmp2(Int, Int, IntPair, IntPair): IntPair {
Oct 15 15:27:02.152 INFO kablam!     |                               ^^^
Oct 15 15:27:02.152 INFO kablam!     |
Oct 15 15:27:02.152 INFO kablam!     = help: the bound will not be checked when the type alias is used, and should be removed
Oct 15 15:27:02.152 INFO kablam! 
Oct 15 15:27:02.153 INFO kablam! warning: bounds on generic parameters are not enforced in type aliases
Oct 15 15:27:02.153 INFO kablam!    --> src/strong/balanced.rs:254:36
Oct 15 15:27:02.153 INFO kablam!     |
Oct 15 15:27:02.153 INFO kablam! 254 |     (LteCmp2) IntLteCmp2(Int, Int, IntPair, IntPair): IntPair {
Oct 15 15:27:02.153 INFO kablam!     |                                    ^^^^^^^
Oct 15 15:27:02.153 INFO kablam!     |
Oct 15 15:27:02.153 INFO kablam!     = help: the bound will not be checked when the type alias is used, and should be removed
Oct 15 15:27:02.153 INFO kablam! 
Oct 15 15:27:02.153 INFO kablam! warning: bounds on generic parameters are not enforced in type aliases
Oct 15 15:27:02.153 INFO kablam!    --> src/strong/balanced.rs:254:45
Oct 15 15:27:02.153 INFO kablam!     |
Oct 15 15:27:02.153 INFO kablam! 254 |     (LteCmp2) IntLteCmp2(Int, Int, IntPair, IntPair): IntPair {
Oct 15 15:27:02.153 INFO kablam!     |                                             ^^^^^^^
Oct 15 15:27:02.153 INFO kablam!     |
Oct 15 15:27:02.153 INFO kablam!     = help: the bound will not be checked when the type alias is used, and should be removed
Oct 15 15:27:02.153 INFO kablam! 
Oct 15 15:27:02.153 INFO kablam! warning: bounds on generic parameters are not enforced in type aliases
Oct 15 15:27:02.153 INFO kablam!    --> src/strong/balanced.rs:261:18
Oct 15 15:27:02.153 INFO kablam!     |
Oct 15 15:27:02.153 INFO kablam! 261 |     (Abs) IntAbs(Int): Int {
Oct 15 15:27:02.153 INFO kablam!     |                  ^^^
Oct 15 15:27:02.153 INFO kablam!     |
Oct 15 15:27:02.153 INFO kablam!     = help: the bound will not be checked when the type alias is used, and should be removed
Oct 15 15:27:02.153 INFO kablam! 
Oct 15 15:27:02.153 INFO kablam! warning: bounds on generic parameters are not enforced in type aliases
Oct 15 15:27:02.153 INFO kablam!    --> src/strong/balanced.rs:273:40
Oct 15 15:27:02.153 INFO kablam!     |
Oct 15 15:27:02.153 INFO kablam! 273 |     (AbsMinThreeCmp) IntAbsMinThreeCmp(Int, Int, Int, Int, Int, Int): IntPair {
Oct 15 15:27:02.153 INFO kablam!     |                                        ^^^
Oct 15 15:27:02.153 INFO kablam!     |
Oct 15 15:27:02.153 INFO kablam!     = help: the bound will not be checked when the type alias is used, and should be removed
Oct 15 15:27:02.153 INFO kablam! 
Oct 15 15:27:02.153 INFO kablam! warning: bounds on generic parameters are not enforced in type aliases
Oct 15 15:27:02.153 INFO kablam!    --> src/strong/balanced.rs:273:45
Oct 15 15:27:02.153 INFO kablam!     |
Oct 15 15:27:02.153 INFO kablam! 273 |     (AbsMinThreeCmp) IntAbsMinThreeCmp(Int, Int, Int, Int, Int, Int): IntPair {
Oct 15 15:27:02.153 INFO kablam!     |                                             ^^^
Oct 15 15:27:02.153 INFO kablam!     |
Oct 15 15:27:02.153 INFO kablam!     = help: the bound will not be checked when the type alias is used, and should be removed
Oct 15 15:27:02.153 INFO kablam! 
Oct 15 15:27:02.153 INFO kablam! warning: bounds on generic parameters are not enforced in type aliases
Oct 15 15:27:02.153 INFO kablam!    --> src/strong/balanced.rs:273:50
Oct 15 15:27:02.153 INFO kablam!     |
Oct 15 15:27:02.153 INFO kablam! 273 |     (AbsMinThreeCmp) IntAbsMinThreeCmp(Int, Int, Int, Int, Int, Int): IntPair {
Oct 15 15:27:02.153 INFO kablam!     |                                                  ^^^
Oct 15 15:27:02.153 INFO kablam!     |
Oct 15 15:27:02.153 INFO kablam!     = help: the bound will not be checked when the type alias is used, and should be removed
Oct 15 15:27:02.153 INFO kablam! 
Oct 15 15:27:02.153 INFO kablam! warning: bounds on generic parameters are not enforced in type aliases
Oct 15 15:27:02.153 INFO kablam!    --> src/strong/balanced.rs:273:55
Oct 15 15:27:02.153 INFO kablam!     |
Oct 15 15:27:02.153 INFO kablam! 273 |     (AbsMinThreeCmp) IntAbsMinThreeCmp(Int, Int, Int, Int, Int, Int): IntPair {
Oct 15 15:27:02.153 INFO kablam!     |                                                       ^^^
Oct 15 15:27:02.153 INFO kablam!     |
Oct 15 15:27:02.159 INFO kablam!     = help: the bound will not be checked when the type alias is used, and should be removed
Oct 15 15:27:02.159 INFO kablam! 
Oct 15 15:27:02.159 INFO kablam! warning: bounds on generic parameters are not enforced in type aliases
Oct 15 15:27:02.159 INFO kablam!    --> src/strong/balanced.rs:273:60
Oct 15 15:27:02.159 INFO kablam!     |
Oct 15 15:27:02.159 INFO kablam! 273 |     (AbsMinThreeCmp) IntAbsMinThreeCmp(Int, Int, Int, Int, Int, Int): IntPair {
Oct 15 15:27:02.159 INFO kablam!     |                                                            ^^^
Oct 15 15:27:02.159 INFO kablam!     |
Oct 15 15:27:02.159 INFO kablam!     = help: the bound will not be checked when the type alias is used, and should be removed
Oct 15 15:27:02.159 INFO kablam! 
Oct 15 15:27:02.159 INFO kablam! warning: bounds on generic parameters are not enforced in type aliases
Oct 15 15:27:02.159 INFO kablam!    --> src/strong/balanced.rs:273:65
Oct 15 15:27:02.159 INFO kablam!     |
Oct 15 15:27:02.159 INFO kablam! 273 |     (AbsMinThreeCmp) IntAbsMinThreeCmp(Int, Int, Int, Int, Int, Int): IntPair {
Oct 15 15:27:02.159 INFO kablam!     |                                                                 ^^^
Oct 15 15:27:02.159 INFO kablam!     |
Oct 15 15:27:02.159 INFO kablam!     = help: the bound will not be checked when the type alias is used, and should be removed
Oct 15 15:27:02.159 INFO kablam! 
Oct 15 15:27:02.159 INFO kablam! warning: bounds on generic parameters are not enforced in type aliases
Oct 15 15:27:02.159 INFO kablam!    --> src/strong/balanced.rs:284:18
Oct 15 15:27:02.159 INFO kablam!     |
Oct 15 15:27:02.159 INFO kablam! 284 |     (Rev) IntRev(Int): Int {
Oct 15 15:27:02.159 INFO kablam!     |                  ^^^
Oct 15 15:27:02.159 INFO kablam!     |
Oct 15 15:27:02.159 INFO kablam!     = help: the bound will not be checked when the type alias is used, and should be removed
Oct 15 15:27:02.159 INFO kablam! 
Oct 15 15:27:02.159 INFO kablam! warning: bounds on generic parameters are not enforced in type aliases
Oct 15 15:27:02.159 INFO kablam!    --> src/strong/balanced.rs:290:34
Oct 15 15:27:02.159 INFO kablam!     |
Oct 15 15:27:02.159 INFO kablam! 290 |     (RevInternal) IntRevInternal(Int, Int): Int {
Oct 15 15:27:02.159 INFO kablam!     |                                  ^^^
Oct 15 15:27:02.159 INFO kablam!     |
Oct 15 15:27:02.159 INFO kablam!     = help: the bound will not be checked when the type alias is used, and should be removed
Oct 15 15:27:02.159 INFO kablam! 
Oct 15 15:27:02.159 INFO kablam! warning: bounds on generic parameters are not enforced in type aliases
Oct 15 15:27:02.159 INFO kablam!    --> src/strong/balanced.rs:290:39
Oct 15 15:27:02.159 INFO kablam!     |
Oct 15 15:27:02.159 INFO kablam! 290 |     (RevInternal) IntRevInternal(Int, Int): Int {
Oct 15 15:27:02.160 INFO kablam!     |                                       ^^^
Oct 15 15:27:02.160 INFO kablam!     |
Oct 15 15:27:02.160 INFO kablam!     = help: the bound will not be checked when the type alias is used, and should be removed
Oct 15 15:27:02.160 INFO kablam! 
Oct 15 15:27:02.160 INFO kablam! warning: bounds on generic parameters are not enforced in type aliases
Oct 15 15:27:02.160 INFO kablam!    --> src/strong/balanced.rs:302:18
Oct 15 15:27:02.160 INFO kablam!     |
Oct 15 15:27:02.160 INFO kablam! 302 |     (Div) IntDiv(Int, Int): Int {
Oct 15 15:27:02.160 INFO kablam!     |                  ^^^
Oct 15 15:27:02.160 INFO kablam!     |
Oct 15 15:27:02.160 INFO kablam!     = help: the bound will not be checked when the type alias is used, and should be removed
Oct 15 15:27:02.160 INFO kablam! 
Oct 15 15:27:02.160 INFO kablam! warning: bounds on generic parameters are not enforced in type aliases
Oct 15 15:27:02.160 INFO kablam!    --> src/strong/balanced.rs:302:23
Oct 15 15:27:02.160 INFO kablam!     |
Oct 15 15:27:02.160 INFO kablam! 302 |     (Div) IntDiv(Int, Int): Int {
Oct 15 15:27:02.160 INFO kablam!     |                       ^^^
Oct 15 15:27:02.160 INFO kablam!     |
Oct 15 15:27:02.160 INFO kablam!     = help: the bound will not be checked when the type alias is used, and should be removed
Oct 15 15:27:02.160 INFO kablam! 
Oct 15 15:27:02.160 INFO kablam! warning: bounds on generic parameters are not enforced in type aliases
Oct 15 15:27:02.160 INFO kablam!    --> src/strong/balanced.rs:326:18
Oct 15 15:27:02.160 INFO kablam!     |
Oct 15 15:27:02.160 INFO kablam! 326 |     (Rem) IntRem(Int, Int): Int {
Oct 15 15:27:02.160 INFO kablam!     |                  ^^^
Oct 15 15:27:02.160 INFO kablam!     |
Oct 15 15:27:02.160 INFO kablam!     = help: the bound will not be checked when the type alias is used, and should be removed
Oct 15 15:27:02.160 INFO kablam! 
Oct 15 15:27:02.160 INFO kablam! warning: bounds on generic parameters are not enforced in type aliases
Oct 15 15:27:02.160 INFO kablam!    --> src/strong/balanced.rs:326:23
Oct 15 15:27:02.160 INFO kablam!     |
Oct 15 15:27:02.160 INFO kablam! 326 |     (Rem) IntRem(Int, Int): Int {
Oct 15 15:27:02.160 INFO kablam!     |                       ^^^
Oct 15 15:27:02.160 INFO kablam!     |
Oct 15 15:27:02.160 INFO kablam!     = help: the bound will not be checked when the type alias is used, and should be removed
Oct 15 15:27:02.160 INFO kablam! 
Oct 15 15:27:02.160 INFO kablam! warning: bounds on generic parameters are not enforced in type aliases
Oct 15 15:27:02.160 INFO kablam!    --> src/strong/balanced.rs:349:34
Oct 15 15:27:02.160 INFO kablam!     |
Oct 15 15:27:02.160 INFO kablam! 349 |     (DivInternal) IntDivInternal(Int, Int, IntPair): IntPair {
Oct 15 15:27:02.160 INFO kablam!     |                                  ^^^
Oct 15 15:27:02.160 INFO kablam!     |
Oct 15 15:27:02.160 INFO kablam!     = help: the bound will not be checked when the type alias is used, and should be removed
Oct 15 15:27:02.160 INFO kablam! 
Oct 15 15:27:02.160 INFO kablam! warning: bounds on generic parameters are not enforced in type aliases
Oct 15 15:27:02.160 INFO kablam!    --> src/strong/balanced.rs:349:39
Oct 15 15:27:02.160 INFO kablam!     |
Oct 15 15:27:02.160 INFO kablam! 349 |     (DivInternal) IntDivInternal(Int, Int, IntPair): IntPair {
Oct 15 15:27:02.160 INFO kablam!     |                                       ^^^
Oct 15 15:27:02.160 INFO kablam!     |
Oct 15 15:27:02.160 INFO kablam!     = help: the bound will not be checked when the type alias is used, and should be removed
Oct 15 15:27:02.160 INFO kablam! 
Oct 15 15:27:02.160 INFO kablam! warning: bounds on generic parameters are not enforced in type aliases
Oct 15 15:27:02.160 INFO kablam!    --> src/strong/balanced.rs:349:44
Oct 15 15:27:02.160 INFO kablam!     |
Oct 15 15:27:02.160 INFO kablam! 349 |     (DivInternal) IntDivInternal(Int, Int, IntPair): IntPair {
Oct 15 15:27:02.160 INFO kablam!     |                                            ^^^^^^^
Oct 15 15:27:02.160 INFO kablam!     |
Oct 15 15:27:02.160 INFO kablam!     = help: the bound will not be checked when the type alias is used, and should be removed
Oct 15 15:27:02.160 INFO kablam! 
Oct 15 15:27:02.338 INFO kablam!     Finished dev [unoptimized + debuginfo] target(s) in 2.17s
Oct 15 15:27:02.340 INFO kablam! su: No module specific data is present
Oct 15 15:27:02.762 INFO running `"docker" "rm" "-f" "6d7077bb0a5632896aee52ae6bdebd93ace869c7a0074d07d8635d1e1fccc6df"`
Oct 15 15:27:02.860 INFO blam! 6d7077bb0a5632896aee52ae6bdebd93ace869c7a0074d07d8635d1e1fccc6df
Oct 15 15:27:02.869 INFO running `"docker" "create" "-v" "/mnt/big/crater/./work/local/target-dirs/rustdoc-test-static-cling-1/worker-2/master#0e07c4281c343e9e15a0a8fca79538ad1a8eb513:/target:rw,Z" "-v" "/mnt/big/crater/./work/local/test-source/worker-2/rustdoc-test-static-cling-1/master#0e07c4281c343e9e15a0a8fca79538ad1a8eb513:/source:ro,Z" "-v" "/mnt/big/crater/./work/local/cargo-home:/cargo-home:ro,Z" "-v" "/mnt/big/crater/./work/local/rustup-home:/rustup-home:ro,Z" "-e" "USER_ID=1000" "-e" "SOURCE_DIR=/source" "-e" "USER_ID=1000" "-e" "CMD=cargo +0e07c4281c343e9e15a0a8fca79538ad1a8eb513-alt test --frozen --no-run" "-e" "CARGO_TARGET_DIR=/target" "-e" "CARGO_INCREMENTAL=0" "-e" "RUST_BACKTRACE=full" "-e" "RUSTFLAGS=--cap-lints=forbid" "-e" "CARGO_HOME=/cargo-home" "-e" "RUSTUP_HOME=/rustup-home" "-m" "1536M" "--network" "none" "crater"`
Oct 15 15:27:03.026 INFO blam! c16162cdd11ebbd46535e62974d12ef8ee3f76a710124ba706c20d7f0ffb6407
Oct 15 15:27:03.028 INFO running `"docker" "start" "-a" "c16162cdd11ebbd46535e62974d12ef8ee3f76a710124ba706c20d7f0ffb6407"`
Oct 15 15:27:03.379 INFO kablam! usermod: no changes
Oct 15 15:27:03.418 INFO kablam!    Compiling type-level-logic v0.1.0 (/source)
Oct 15 15:27:06.111 INFO kablam! warning: bounds on generic parameters are not enforced in type aliases
Oct 15 15:27:06.111 INFO kablam!  --> src/strong/boolean.rs:9:19
Oct 15 15:27:06.111 INFO kablam!   |
Oct 15 15:27:06.111 INFO kablam! 9 |     (And) BoolAnd(Bool, Bool): Bool {
Oct 15 15:27:06.111 INFO kablam!   |                   ^^^^
Oct 15 15:27:06.111 INFO kablam!   |
Oct 15 15:27:06.111 INFO kablam!   = note: #[warn(type_alias_bounds)] on by default
Oct 15 15:27:06.111 INFO kablam!   = help: the bound will not be checked when the type alias is used, and should be removed
Oct 15 15:27:06.111 INFO kablam! 
Oct 15 15:27:06.112 INFO kablam! warning: bounds on generic parameters are not enforced in type aliases
Oct 15 15:27:06.112 INFO kablam!  --> src/strong/boolean.rs:9:25
Oct 15 15:27:06.112 INFO kablam!   |
Oct 15 15:27:06.112 INFO kablam! 9 |     (And) BoolAnd(Bool, Bool): Bool {
Oct 15 15:27:06.112 INFO kablam!   |                         ^^^^
Oct 15 15:27:06.112 INFO kablam!   |
Oct 15 15:27:06.113 INFO kablam!   = help: the bound will not be checked when the type alias is used, and should be removed
Oct 15 15:27:06.113 INFO kablam! 
Oct 15 15:27:06.115 INFO kablam! warning: bounds on generic parameters are not enforced in type aliases
Oct 15 15:27:06.115 INFO kablam!   --> src/strong/boolean.rs:17:17
Oct 15 15:27:06.115 INFO kablam!    |
Oct 15 15:27:06.115 INFO kablam! 17 |     (Or) BoolOr(Bool, Bool): Bool {
Oct 15 15:27:06.115 INFO kablam!    |                 ^^^^
Oct 15 15:27:06.115 INFO kablam!    |
Oct 15 15:27:06.115 INFO kablam!    = help: the bound will not be checked when the type alias is used, and should be removed
Oct 15 15:27:06.115 INFO kablam! 
Oct 15 15:27:06.115 INFO kablam! warning: bounds on generic parameters are not enforced in type aliases
Oct 15 15:27:06.116 INFO kablam!   --> src/strong/boolean.rs:17:23
Oct 15 15:27:06.116 INFO kablam!    |
Oct 15 15:27:06.116 INFO kablam! 17 |     (Or) BoolOr(Bool, Bool): Bool {
Oct 15 15:27:06.116 INFO kablam!    |                       ^^^^
Oct 15 15:27:06.116 INFO kablam!    |
Oct 15 15:27:06.116 INFO kablam!    = help: the bound will not be checked when the type alias is used, and should be removed
Oct 15 15:27:06.116 INFO kablam! 
Oct 15 15:27:06.116 INFO kablam! warning: bounds on generic parameters are not enforced in type aliases
Oct 15 15:27:06.116 INFO kablam!   --> src/strong/boolean.rs:26:25
Oct 15 15:27:06.116 INFO kablam!    |
Oct 15 15:27:06.116 INFO kablam! 26 |     (IfThen) BoolIfThen(Bool, Bool): Bool {
Oct 15 15:27:06.116 INFO kablam!    |                         ^^^^
Oct 15 15:27:06.116 INFO kablam!    |
Oct 15 15:27:06.116 INFO kablam!    = help: the bound will not be checked when the type alias is used, and should be removed
Oct 15 15:27:06.116 INFO kablam! 
Oct 15 15:27:06.116 INFO kablam! warning: bounds on generic parameters are not enforced in type aliases
Oct 15 15:27:06.116 INFO kablam!   --> src/strong/boolean.rs:26:31
Oct 15 15:27:06.116 INFO kablam!    |
Oct 15 15:27:06.116 INFO kablam! 26 |     (IfThen) BoolIfThen(Bool, Bool): Bool {
Oct 15 15:27:06.116 INFO kablam!    |                               ^^^^
Oct 15 15:27:06.116 INFO kablam!    |
Oct 15 15:27:06.116 INFO kablam!    = help: the bound will not be checked when the type alias is used, and should be removed
Oct 15 15:27:06.116 INFO kablam! 
Oct 15 15:27:06.117 INFO kablam! warning: bounds on generic parameters are not enforced in type aliases
Oct 15 15:27:06.117 INFO kablam!   --> src/strong/boolean.rs:35:25
Oct 15 15:27:06.117 INFO kablam!    |
Oct 15 15:27:06.117 INFO kablam! 35 |     (OnlyIf) BoolOnlyIf(Bool, Bool): Bool {
Oct 15 15:27:06.117 INFO kablam!    |                         ^^^^
Oct 15 15:27:06.117 INFO kablam!    |
Oct 15 15:27:06.117 INFO kablam!    = help: the bound will not be checked when the type alias is used, and should be removed
Oct 15 15:27:06.117 INFO kablam! 
Oct 15 15:27:06.117 INFO kablam! warning: bounds on generic parameters are not enforced in type aliases
Oct 15 15:27:06.117 INFO kablam!   --> src/strong/boolean.rs:35:31
Oct 15 15:27:06.117 INFO kablam!    |
Oct 15 15:27:06.117 INFO kablam! 35 |     (OnlyIf) BoolOnlyIf(Bool, Bool): Bool {
Oct 15 15:27:06.117 INFO kablam!    |                               ^^^^
Oct 15 15:27:06.117 INFO kablam!    |
Oct 15 15:27:06.117 INFO kablam!    = help: the bound will not be checked when the type alias is used, and should be removed
Oct 15 15:27:06.117 INFO kablam! 
Oct 15 15:27:06.117 INFO kablam! warning: bounds on generic parameters are not enforced in type aliases
Oct 15 15:27:06.117 INFO kablam!   --> src/strong/boolean.rs:43:19
Oct 15 15:27:06.117 INFO kablam!    |
Oct 15 15:27:06.117 INFO kablam! 43 |     (Xor) BoolXor(Bool, Bool): Bool {
Oct 15 15:27:06.117 INFO kablam!    |                   ^^^^
Oct 15 15:27:06.118 INFO kablam!    |
Oct 15 15:27:06.118 INFO kablam!    = help: the bound will not be checked when the type alias is used, and should be removed
Oct 15 15:27:06.118 INFO kablam! 
Oct 15 15:27:06.118 INFO kablam! warning: bounds on generic parameters are not enforced in type aliases
Oct 15 15:27:06.118 INFO kablam!   --> src/strong/boolean.rs:43:25
Oct 15 15:27:06.118 INFO kablam!    |
Oct 15 15:27:06.118 INFO kablam! 43 |     (Xor) BoolXor(Bool, Bool): Bool {
Oct 15 15:27:06.118 INFO kablam!    |                         ^^^^
Oct 15 15:27:06.118 INFO kablam!    |
Oct 15 15:27:06.118 INFO kablam!    = help: the bound will not be checked when the type alias is used, and should be removed
Oct 15 15:27:06.118 INFO kablam! 
Oct 15 15:27:06.118 INFO kablam! warning: bounds on generic parameters are not enforced in type aliases
Oct 15 15:27:06.118 INFO kablam!   --> src/strong/ternary.rs:14:24
Oct 15 15:27:06.118 INFO kablam!    |
Oct 15 15:27:06.118 INFO kablam! 14 |     (Nat2First) Nat2P1(NatPair): Nat {
Oct 15 15:27:06.118 INFO kablam!    |                        ^^^^^^^
Oct 15 15:27:06.118 INFO kablam!    |
Oct 15 15:27:06.119 INFO kablam!    = help: the bound will not be checked when the type alias is used, and should be removed
Oct 15 15:27:06.119 INFO kablam! 
Oct 15 15:27:06.119 INFO kablam! warning: bounds on generic parameters are not enforced in type aliases
Oct 15 15:27:06.119 INFO kablam!   --> src/strong/ternary.rs:21:25
Oct 15 15:27:06.119 INFO kablam!    |
Oct 15 15:27:06.119 INFO kablam! 21 |     (Nat2Second) Nat2P2(NatPair): Nat {
Oct 15 15:27:06.119 INFO kablam!    |                         ^^^^^^^
Oct 15 15:27:06.119 INFO kablam!    |
Oct 15 15:27:06.119 INFO kablam!    = help: the bound will not be checked when the type alias is used, and should be removed
Oct 15 15:27:06.119 INFO kablam! 
Oct 15 15:27:06.119 INFO kablam! warning: bounds on generic parameters are not enforced in type aliases
Oct 15 15:27:06.119 INFO kablam!   --> src/strong/ternary.rs:29:20
Oct 15 15:27:06.119 INFO kablam!    |
Oct 15 15:27:06.119 INFO kablam! 29 |     (Succ) NatSucc(Nat): Nat {
Oct 15 15:27:06.119 INFO kablam!    |                    ^^^
Oct 15 15:27:06.119 INFO kablam!    |
Oct 15 15:27:06.119 INFO kablam!    = help: the bound will not be checked when the type alias is used, and should be removed
Oct 15 15:27:06.119 INFO kablam! 
Oct 15 15:27:06.119 INFO kablam! warning: bounds on generic parameters are not enforced in type aliases
Oct 15 15:27:06.119 INFO kablam!   --> src/strong/ternary.rs:41:20
Oct 15 15:27:06.119 INFO kablam!    |
Oct 15 15:27:06.120 INFO kablam! 41 |     (Pred) NatPred(Nat): Nat {
Oct 15 15:27:06.120 INFO kablam!    |                    ^^^
Oct 15 15:27:06.120 INFO kablam!    |
Oct 15 15:27:06.120 INFO kablam!    = help: the bound will not be checked when the type alias is used, and should be removed
Oct 15 15:27:06.120 INFO kablam! 
Oct 15 15:27:06.120 INFO kablam! warning: bounds on generic parameters are not enforced in type aliases
Oct 15 15:27:06.120 INFO kablam!   --> src/strong/ternary.rs:53:32
Oct 15 15:27:06.120 INFO kablam!    |
Oct 15 15:27:06.120 INFO kablam! 53 |     (DoublePred) NatDoublePred(Nat): Nat {
Oct 15 15:27:06.120 INFO kablam!    |                                ^^^
Oct 15 15:27:06.120 INFO kablam!    |
Oct 15 15:27:06.120 INFO kablam!    = help: the bound will not be checked when the type alias is used, and should be removed
Oct 15 15:27:06.120 INFO kablam! 
Oct 15 15:27:06.120 INFO kablam! warning: bounds on generic parameters are not enforced in type aliases
Oct 15 15:27:06.120 INFO kablam!   --> src/strong/ternary.rs:68:24
Oct 15 15:27:06.120 INFO kablam!    |
Oct 15 15:27:06.120 INFO kablam! 68 |     (Triple) NatTriple(Nat): Nat {
Oct 15 15:27:06.120 INFO kablam!    |                        ^^^
Oct 15 15:27:06.120 INFO kablam!    |
Oct 15 15:27:06.120 INFO kablam!    = help: the bound will not be checked when the type alias is used, and should be removed
Oct 15 15:27:06.120 INFO kablam! 
Oct 15 15:27:06.120 INFO kablam! warning: bounds on generic parameters are not enforced in type aliases
Oct 15 15:27:06.121 INFO kablam!   --> src/strong/ternary.rs:81:24
Oct 15 15:27:06.121 INFO kablam!    |
Oct 15 15:27:06.121 INFO kablam! 81 |     (Unique) NatUnique(Nat): Nat {
Oct 15 15:27:06.121 INFO kablam!    |                        ^^^
Oct 15 15:27:06.121 INFO kablam!    |
Oct 15 15:27:06.121 INFO kablam!    = help: the bound will not be checked when the type alias is used, and should be removed
Oct 15 15:27:06.121 INFO kablam! 
Oct 15 15:27:06.121 INFO kablam! warning: bounds on generic parameters are not enforced in type aliases
Oct 15 15:27:06.121 INFO kablam!   --> src/strong/ternary.rs:95:18
Oct 15 15:27:06.121 INFO kablam!    |
Oct 15 15:27:06.121 INFO kablam! 95 |     (Add) NatAdd(Nat, Nat): Nat {
Oct 15 15:27:06.121 INFO kablam!    |                  ^^^
Oct 15 15:27:06.121 INFO kablam!    |
Oct 15 15:27:06.121 INFO kablam!    = help: the bound will not be checked when the type alias is used, and should be removed
Oct 15 15:27:06.121 INFO kablam! 
Oct 15 15:27:06.121 INFO kablam! warning: bounds on generic parameters are not enforced in type aliases
Oct 15 15:27:06.121 INFO kablam!   --> src/strong/ternary.rs:95:23
Oct 15 15:27:06.121 INFO kablam!    |
Oct 15 15:27:06.121 INFO kablam! 95 |     (Add) NatAdd(Nat, Nat): Nat {
Oct 15 15:27:06.121 INFO kablam!    |                       ^^^
Oct 15 15:27:06.121 INFO kablam!    |
Oct 15 15:27:06.121 INFO kablam!    = help: the bound will not be checked when the type alias is used, and should be removed
Oct 15 15:27:06.122 INFO kablam! 
Oct 15 15:27:06.122 INFO kablam! warning: bounds on generic parameters are not enforced in type aliases
Oct 15 15:27:06.122 INFO kablam!    --> src/strong/ternary.rs:128:38
Oct 15 15:27:06.122 INFO kablam!     |
Oct 15 15:27:06.122 INFO kablam! 128 |     (TriplePlusOne) NatTriplePlusOne(Nat): Nat {
Oct 15 15:27:06.122 INFO kablam!     |                                      ^^^
Oct 15 15:27:06.122 INFO kablam!     |
Oct 15 15:27:06.122 INFO kablam!     = help: the bound will not be checked when the type alias is used, and should be removed
Oct 15 15:27:06.122 INFO kablam! 
Oct 15 15:27:06.122 INFO kablam! warning: bounds on generic parameters are not enforced in type aliases
Oct 15 15:27:06.122 INFO kablam!    --> src/strong/ternary.rs:139:38
Oct 15 15:27:06.122 INFO kablam!     |
Oct 15 15:27:06.122 INFO kablam! 139 |     (TriplePlusTwo) NatTriplePlusTwo(Nat): Nat {
Oct 15 15:27:06.122 INFO kablam!     |                                      ^^^
Oct 15 15:27:06.122 INFO kablam!     |
Oct 15 15:27:06.122 INFO kablam!     = help: the bound will not be checked when the type alias is used, and should be removed
Oct 15 15:27:06.122 INFO kablam! 
Oct 15 15:27:06.122 INFO kablam! warning: bounds on generic parameters are not enforced in type aliases
Oct 15 15:27:06.122 INFO kablam!    --> src/strong/ternary.rs:152:18
Oct 15 15:27:06.122 INFO kablam!     |
Oct 15 15:27:06.122 INFO kablam! 152 |     (Sub) NatSub(Nat, Nat): Nat {
Oct 15 15:27:06.123 INFO kablam!     |                  ^^^
Oct 15 15:27:06.123 INFO kablam!     |
Oct 15 15:27:06.123 INFO kablam!     = help: the bound will not be checked when the type alias is used, and should be removed
Oct 15 15:27:06.123 INFO kablam! 
Oct 15 15:27:06.123 INFO kablam! warning: bounds on generic parameters are not enforced in type aliases
Oct 15 15:27:06.123 INFO kablam!    --> src/strong/ternary.rs:152:23
Oct 15 15:27:06.123 INFO kablam!     |
Oct 15 15:27:06.123 INFO kablam! 152 |     (Sub) NatSub(Nat, Nat): Nat {
Oct 15 15:27:06.123 INFO kablam!     |                       ^^^
Oct 15 15:27:06.123 INFO kablam!     |
Oct 15 15:27:06.123 INFO kablam!     = help: the bound will not be checked when the type alias is used, and should be removed
Oct 15 15:27:06.123 INFO kablam! 
Oct 15 15:27:06.123 INFO kablam! warning: bounds on generic parameters are not enforced in type aliases
Oct 15 15:27:06.123 INFO kablam!    --> src/strong/ternary.rs:185:18
Oct 15 15:27:06.123 INFO kablam!     |
Oct 15 15:27:06.123 INFO kablam! 185 |     (Mul) NatMul(Nat, Nat): Nat {
Oct 15 15:27:06.123 INFO kablam!     |                  ^^^
Oct 15 15:27:06.123 INFO kablam!     |
Oct 15 15:27:06.123 INFO kablam!     = help: the bound will not be checked when the type alias is used, and should be removed
Oct 15 15:27:06.123 INFO kablam! 
Oct 15 15:27:06.123 INFO kablam! warning: bounds on generic parameters are not enforced in type aliases
Oct 15 15:27:06.123 INFO kablam!    --> src/strong/ternary.rs:185:23
Oct 15 15:27:06.124 INFO kablam!     |
Oct 15 15:27:06.124 INFO kablam! 185 |     (Mul) NatMul(Nat, Nat): Nat {
Oct 15 15:27:06.124 INFO kablam!     |                       ^^^
Oct 15 15:27:06.124 INFO kablam!     |
Oct 15 15:27:06.124 INFO kablam!     = help: the bound will not be checked when the type alias is used, and should be removed
Oct 15 15:27:06.124 INFO kablam! 
Oct 15 15:27:06.124 INFO kablam! warning: bounds on generic parameters are not enforced in type aliases
Oct 15 15:27:06.124 INFO kablam!    --> src/strong/ternary.rs:220:18
Oct 15 15:27:06.124 INFO kablam!     |
Oct 15 15:27:06.124 INFO kablam! 220 |     (Cmp) NatCmp(Nat, Nat, Nat, Nat, Nat): Nat {
Oct 15 15:27:06.124 INFO kablam!     |                  ^^^
Oct 15 15:27:06.124 INFO kablam!     |
Oct 15 15:27:06.124 INFO kablam!     = help: the bound will not be checked when the type alias is used, and should be removed
Oct 15 15:27:06.124 INFO kablam! 
Oct 15 15:27:06.124 INFO kablam! warning: bounds on generic parameters are not enforced in type aliases
Oct 15 15:27:06.124 INFO kablam!    --> src/strong/ternary.rs:220:23
Oct 15 15:27:06.124 INFO kablam!     |
Oct 15 15:27:06.124 INFO kablam! 220 |     (Cmp) NatCmp(Nat, Nat, Nat, Nat, Nat): Nat {
Oct 15 15:27:06.124 INFO kablam!     |                       ^^^
Oct 15 15:27:06.124 INFO kablam!     |
Oct 15 15:27:06.124 INFO kablam!     = help: the bound will not be checked when the type alias is used, and should be removed
Oct 15 15:27:06.124 INFO kablam! 
Oct 15 15:27:06.125 INFO kablam! warning: bounds on generic parameters are not enforced in type aliases
Oct 15 15:27:06.125 INFO kablam!    --> src/strong/ternary.rs:220:28
Oct 15 15:27:06.125 INFO kablam!     |
Oct 15 15:27:06.125 INFO kablam! 220 |     (Cmp) NatCmp(Nat, Nat, Nat, Nat, Nat): Nat {
Oct 15 15:27:06.125 INFO kablam!     |                            ^^^
Oct 15 15:27:06.125 INFO kablam!     |
Oct 15 15:27:06.125 INFO kablam!     = help: the bound will not be checked when the type alias is used, and should be removed
Oct 15 15:27:06.131 INFO kablam! 
Oct 15 15:27:06.131 INFO kablam! warning: bounds on generic parameters are not enforced in type aliases
Oct 15 15:27:06.131 INFO kablam!    --> src/strong/ternary.rs:220:33
Oct 15 15:27:06.131 INFO kablam!     |
Oct 15 15:27:06.131 INFO kablam! 220 |     (Cmp) NatCmp(Nat, Nat, Nat, Nat, Nat): Nat {
Oct 15 15:27:06.131 INFO kablam!     |                                 ^^^
Oct 15 15:27:06.131 INFO kablam!     |
Oct 15 15:27:06.131 INFO kablam!     = help: the bound will not be checked when the type alias is used, and should be removed
Oct 15 15:27:06.131 INFO kablam! 
Oct 15 15:27:06.131 INFO kablam! warning: bounds on generic parameters are not enforced in type aliases
Oct 15 15:27:06.131 INFO kablam!    --> src/strong/ternary.rs:220:38
Oct 15 15:27:06.131 INFO kablam!     |
Oct 15 15:27:06.131 INFO kablam! 220 |     (Cmp) NatCmp(Nat, Nat, Nat, Nat, Nat): Nat {
Oct 15 15:27:06.131 INFO kablam!     |                                      ^^^
Oct 15 15:27:06.131 INFO kablam!     |
Oct 15 15:27:06.131 INFO kablam!     = help: the bound will not be checked when the type alias is used, and should be removed
Oct 15 15:27:06.131 INFO kablam! 
Oct 15 15:27:06.131 INFO kablam! warning: bounds on generic parameters are not enforced in type aliases
Oct 15 15:27:06.131 INFO kablam!    --> src/strong/ternary.rs:247:28
Oct 15 15:27:06.132 INFO kablam!     |
Oct 15 15:27:06.132 INFO kablam! 247 |     (UndefOr2) NatUndefOr2(Nat, Nat, NatPair): NatPair {
Oct 15 15:27:06.132 INFO kablam!     |                            ^^^
Oct 15 15:27:06.132 INFO kablam!     |
Oct 15 15:27:06.132 INFO kablam!     = help: the bound will not be checked when the type alias is used, and should be removed
Oct 15 15:27:06.132 INFO kablam! 
Oct 15 15:27:06.132 INFO kablam! warning: bounds on generic parameters are not enforced in type aliases
Oct 15 15:27:06.132 INFO kablam!    --> src/strong/ternary.rs:247:33
Oct 15 15:27:06.132 INFO kablam!     |
Oct 15 15:27:06.132 INFO kablam! 247 |     (UndefOr2) NatUndefOr2(Nat, Nat, NatPair): NatPair {
Oct 15 15:27:06.132 INFO kablam!     |                                 ^^^
Oct 15 15:27:06.132 INFO kablam!     |
Oct 15 15:27:06.132 INFO kablam!     = help: the bound will not be checked when the type alias is used, and should be removed
Oct 15 15:27:06.132 INFO kablam! 
Oct 15 15:27:06.132 INFO kablam! warning: bounds on generic parameters are not enforced in type aliases
Oct 15 15:27:06.132 INFO kablam!    --> src/strong/ternary.rs:247:38
Oct 15 15:27:06.132 INFO kablam!     |
Oct 15 15:27:06.132 INFO kablam! 247 |     (UndefOr2) NatUndefOr2(Nat, Nat, NatPair): NatPair {
Oct 15 15:27:06.132 INFO kablam!     |                                      ^^^^^^^
Oct 15 15:27:06.132 INFO kablam!     |
Oct 15 15:27:06.132 INFO kablam!     = help: the bound will not be checked when the type alias is used, and should be removed
Oct 15 15:27:06.132 INFO kablam! 
Oct 15 15:27:06.133 INFO kablam! warning: bounds on generic parameters are not enforced in type aliases
Oct 15 15:27:06.133 INFO kablam!    --> src/strong/ternary.rs:262:18
Oct 15 15:27:06.133 INFO kablam!     |
Oct 15 15:27:06.133 INFO kablam! 262 |     (Rev) NatRev(Nat): Nat {
Oct 15 15:27:06.133 INFO kablam!     |                  ^^^
Oct 15 15:27:06.133 INFO kablam!     |
Oct 15 15:27:06.133 INFO kablam!     = help: the bound will not be checked when the type alias is used, and should be removed
Oct 15 15:27:06.133 INFO kablam! 
Oct 15 15:27:06.133 INFO kablam! warning: bounds on generic parameters are not enforced in type aliases
Oct 15 15:27:06.133 INFO kablam!    --> src/strong/ternary.rs:268:34
Oct 15 15:27:06.133 INFO kablam!     |
Oct 15 15:27:06.133 INFO kablam! 268 |     (RevInternal) NatRevInternal(Nat, Nat): Nat {
Oct 15 15:27:06.133 INFO kablam!     |                                  ^^^
Oct 15 15:27:06.133 INFO kablam!     |
Oct 15 15:27:06.133 INFO kablam!     = help: the bound will not be checked when the type alias is used, and should be removed
Oct 15 15:27:06.133 INFO kablam! 
Oct 15 15:27:06.133 INFO kablam! warning: bounds on generic parameters are not enforced in type aliases
Oct 15 15:27:06.133 INFO kablam!    --> src/strong/ternary.rs:268:39
Oct 15 15:27:06.133 INFO kablam!     |
Oct 15 15:27:06.133 INFO kablam! 268 |     (RevInternal) NatRevInternal(Nat, Nat): Nat {
Oct 15 15:27:06.133 INFO kablam!     |                                       ^^^
Oct 15 15:27:06.133 INFO kablam!     |
Oct 15 15:27:06.134 INFO kablam!     = help: the bound will not be checked when the type alias is used, and should be removed
Oct 15 15:27:06.134 INFO kablam! 
Oct 15 15:27:06.134 INFO kablam! warning: bounds on generic parameters are not enforced in type aliases
Oct 15 15:27:06.134 INFO kablam!    --> src/strong/ternary.rs:281:18
Oct 15 15:27:06.134 INFO kablam!     |
Oct 15 15:27:06.134 INFO kablam! 281 |     (Div) NatDiv(Nat, Nat): Nat {
Oct 15 15:27:06.134 INFO kablam!     |                  ^^^
Oct 15 15:27:06.134 INFO kablam!     |
Oct 15 15:27:06.134 INFO kablam!     = help: the bound will not be checked when the type alias is used, and should be removed
Oct 15 15:27:06.134 INFO kablam! 
Oct 15 15:27:06.134 INFO kablam! warning: bounds on generic parameters are not enforced in type aliases
Oct 15 15:27:06.134 INFO kablam!    --> src/strong/ternary.rs:281:23
Oct 15 15:27:06.134 INFO kablam!     |
Oct 15 15:27:06.134 INFO kablam! 281 |     (Div) NatDiv(Nat, Nat): Nat {
Oct 15 15:27:06.134 INFO kablam!     |                       ^^^
Oct 15 15:27:06.134 INFO kablam!     |
Oct 15 15:27:06.134 INFO kablam!     = help: the bound will not be checked when the type alias is used, and should be removed
Oct 15 15:27:06.134 INFO kablam! 
Oct 15 15:27:06.134 INFO kablam! warning: bounds on generic parameters are not enforced in type aliases
Oct 15 15:27:06.134 INFO kablam!    --> src/strong/ternary.rs:306:18
Oct 15 15:27:06.135 INFO kablam!     |
Oct 15 15:27:06.135 INFO kablam! 306 |     (Rem) NatRem(Nat, Nat): Nat {
Oct 15 15:27:06.135 INFO kablam!     |                  ^^^
Oct 15 15:27:06.135 INFO kablam!     |
Oct 15 15:27:06.135 INFO kablam!     = help: the bound will not be checked when the type alias is used, and should be removed
Oct 15 15:27:06.135 INFO kablam! 
Oct 15 15:27:06.135 INFO kablam! warning: bounds on generic parameters are not enforced in type aliases
Oct 15 15:27:06.135 INFO kablam!    --> src/strong/ternary.rs:306:23
Oct 15 15:27:06.135 INFO kablam!     |
Oct 15 15:27:06.135 INFO kablam! 306 |     (Rem) NatRem(Nat, Nat): Nat {
Oct 15 15:27:06.135 INFO kablam!     |                       ^^^
Oct 15 15:27:06.135 INFO kablam!     |
Oct 15 15:27:06.135 INFO kablam!     = help: the bound will not be checked when the type alias is used, and should be removed
Oct 15 15:27:06.135 INFO kablam! 
Oct 15 15:27:06.135 INFO kablam! warning: bounds on generic parameters are not enforced in type aliases
Oct 15 15:27:06.135 INFO kablam!    --> src/strong/ternary.rs:329:34
Oct 15 15:27:06.135 INFO kablam!     |
Oct 15 15:27:06.135 INFO kablam! 329 |     (DivInternal) NatDivInternal(Nat, Nat, NatPair): NatPair {
Oct 15 15:27:06.135 INFO kablam!     |                                  ^^^
Oct 15 15:27:06.135 INFO kablam!     |
Oct 15 15:27:06.135 INFO kablam!     = help: the bound will not be checked when the type alias is used, and should be removed
Oct 15 15:27:06.135 INFO kablam! 
Oct 15 15:27:06.135 INFO kablam! warning: bounds on generic parameters are not enforced in type aliases
Oct 15 15:27:06.135 INFO kablam!    --> src/strong/ternary.rs:329:39
Oct 15 15:27:06.136 INFO kablam!     |
Oct 15 15:27:06.136 INFO kablam! 329 |     (DivInternal) NatDivInternal(Nat, Nat, NatPair): NatPair {
Oct 15 15:27:06.136 INFO kablam!     |                                       ^^^
Oct 15 15:27:06.136 INFO kablam!     |
Oct 15 15:27:06.136 INFO kablam!     = help: the bound will not be checked when the type alias is used, and should be removed
Oct 15 15:27:06.136 INFO kablam! 
Oct 15 15:27:06.136 INFO kablam! warning: bounds on generic parameters are not enforced in type aliases
Oct 15 15:27:06.136 INFO kablam!    --> src/strong/ternary.rs:329:44
Oct 15 15:27:06.136 INFO kablam!     |
Oct 15 15:27:06.136 INFO kablam! 329 |     (DivInternal) NatDivInternal(Nat, Nat, NatPair): NatPair {
Oct 15 15:27:06.136 INFO kablam!     |                                            ^^^^^^^
Oct 15 15:27:06.136 INFO kablam!     |
Oct 15 15:27:06.136 INFO kablam!     = help: the bound will not be checked when the type alias is used, and should be removed
Oct 15 15:27:06.136 INFO kablam! 
Oct 15 15:27:06.136 INFO kablam! warning: bounds on generic parameters are not enforced in type aliases
Oct 15 15:27:06.136 INFO kablam!   --> src/strong/balanced.rs:10:24
Oct 15 15:27:06.136 INFO kablam!    |
Oct 15 15:27:06.136 INFO kablam! 10 |     (Int2First) Int2P1(IntPair): Int {
Oct 15 15:27:06.136 INFO kablam!    |                        ^^^^^^^
Oct 15 15:27:06.136 INFO kablam!    |
Oct 15 15:27:06.136 INFO kablam!    = help: the bound will not be checked when the type alias is used, and should be removed
Oct 15 15:27:06.136 INFO kablam! 
Oct 15 15:27:06.143 INFO kablam! warning: bounds on generic parameters are not enforced in type aliases
Oct 15 15:27:06.143 INFO kablam!   --> src/strong/balanced.rs:17:25
Oct 15 15:27:06.143 INFO kablam!    |
Oct 15 15:27:06.143 INFO kablam! 17 |     (Int2Second) Int2P2(IntPair): Int {
Oct 15 15:27:06.143 INFO kablam!    |                         ^^^^^^^
Oct 15 15:27:06.143 INFO kablam!    |
Oct 15 15:27:06.143 INFO kablam!    = help: the bound will not be checked when the type alias is used, and should be removed
Oct 15 15:27:06.143 INFO kablam! 
Oct 15 15:27:06.143 INFO kablam! warning: bounds on generic parameters are not enforced in type aliases
Oct 15 15:27:06.143 INFO kablam!   --> src/strong/balanced.rs:24:20
Oct 15 15:27:06.143 INFO kablam!    |
Oct 15 15:27:06.143 INFO kablam! 24 |     (Succ) IntSucc(Int): Int {
Oct 15 15:27:06.143 INFO kablam!    |                    ^^^
Oct 15 15:27:06.143 INFO kablam!    |
Oct 15 15:27:06.143 INFO kablam!    = help: the bound will not be checked when the type alias is used, and should be removed
Oct 15 15:27:06.143 INFO kablam! 
Oct 15 15:27:06.143 INFO kablam! warning: bounds on generic parameters are not enforced in type aliases
Oct 15 15:27:06.143 INFO kablam!   --> src/strong/balanced.rs:35:20
Oct 15 15:27:06.143 INFO kablam!    |
Oct 15 15:27:06.143 INFO kablam! 35 |     (Pred) IntPred(Int): Int {
Oct 15 15:27:06.144 INFO kablam!    |                    ^^^
Oct 15 15:27:06.144 INFO kablam!    |
Oct 15 15:27:06.144 INFO kablam!    = help: the bound will not be checked when the type alias is used, and should be removed
Oct 15 15:27:06.144 INFO kablam! 
Oct 15 15:27:06.144 INFO kablam! warning: bounds on generic parameters are not enforced in type aliases
Oct 15 15:27:06.144 INFO kablam!   --> src/strong/balanced.rs:49:24
Oct 15 15:27:06.144 INFO kablam!    |
Oct 15 15:27:06.144 INFO kablam! 49 |     (Triple) IntTriple(Int): Int {
Oct 15 15:27:06.144 INFO kablam!    |                        ^^^
Oct 15 15:27:06.144 INFO kablam!    |
Oct 15 15:27:06.144 INFO kablam!    = help: the bound will not be checked when the type alias is used, and should be removed
Oct 15 15:27:06.144 INFO kablam! 
Oct 15 15:27:06.144 INFO kablam! warning: bounds on generic parameters are not enforced in type aliases
Oct 15 15:27:06.144 INFO kablam!   --> src/strong/balanced.rs:62:24
Oct 15 15:27:06.144 INFO kablam!    |
Oct 15 15:27:06.144 INFO kablam! 62 |     (IntUnique) Unique(Int): Int {
Oct 15 15:27:06.144 INFO kablam!    |                        ^^^
Oct 15 15:27:06.144 INFO kablam!    |
Oct 15 15:27:06.144 INFO kablam!    = help: the bound will not be checked when the type alias is used, and should be removed
Oct 15 15:27:06.144 INFO kablam! 
Oct 15 15:27:06.144 INFO kablam! warning: bounds on generic parameters are not enforced in type aliases
Oct 15 15:27:06.144 INFO kablam!   --> src/strong/balanced.rs:80:18
Oct 15 15:27:06.145 INFO kablam!    |
Oct 15 15:27:06.145 INFO kablam! 80 |     (Neg) IntNeg(Int): Int {
Oct 15 15:27:06.145 INFO kablam!    |                  ^^^
Oct 15 15:27:06.145 INFO kablam!    |
Oct 15 15:27:06.145 INFO kablam!    = help: the bound will not be checked when the type alias is used, and should be removed
Oct 15 15:27:06.145 INFO kablam! 
Oct 15 15:27:06.145 INFO kablam! warning: bounds on generic parameters are not enforced in type aliases
Oct 15 15:27:06.145 INFO kablam!   --> src/strong/balanced.rs:94:18
Oct 15 15:27:06.145 INFO kablam!    |
Oct 15 15:27:06.145 INFO kablam! 94 |     (Add) IntAdd(Int, Int): Int {
Oct 15 15:27:06.145 INFO kablam!    |                  ^^^
Oct 15 15:27:06.145 INFO kablam!    |
Oct 15 15:27:06.145 INFO kablam!    = help: the bound will not be checked when the type alias is used, and should be removed
Oct 15 15:27:06.145 INFO kablam! 
Oct 15 15:27:06.145 INFO kablam! warning: bounds on generic parameters are not enforced in type aliases
Oct 15 15:27:06.145 INFO kablam!   --> src/strong/balanced.rs:94:23
Oct 15 15:27:06.145 INFO kablam!    |
Oct 15 15:27:06.145 INFO kablam! 94 |     (Add) IntAdd(Int, Int): Int {
Oct 15 15:27:06.145 INFO kablam!    |                       ^^^
Oct 15 15:27:06.145 INFO kablam!    |
Oct 15 15:27:06.145 INFO kablam!    = help: the bound will not be checked when the type alias is used, and should be removed
Oct 15 15:27:06.145 INFO kablam! 
Oct 15 15:27:06.146 INFO kablam! warning: bounds on generic parameters are not enforced in type aliases
Oct 15 15:27:06.146 INFO kablam!    --> src/strong/balanced.rs:127:18
Oct 15 15:27:06.146 INFO kablam!     |
Oct 15 15:27:06.146 INFO kablam! 127 |     (Sub) IntSub(Int, Int): Int {
Oct 15 15:27:06.146 INFO kablam!     |                  ^^^
Oct 15 15:27:06.146 INFO kablam!     |
Oct 15 15:27:06.146 INFO kablam!     = help: the bound will not be checked when the type alias is used, and should be removed
Oct 15 15:27:06.146 INFO kablam! 
Oct 15 15:27:06.146 INFO kablam! warning: bounds on generic parameters are not enforced in type aliases
Oct 15 15:27:06.146 INFO kablam!    --> src/strong/balanced.rs:127:23
Oct 15 15:27:06.146 INFO kablam!     |
Oct 15 15:27:06.146 INFO kablam! 127 |     (Sub) IntSub(Int, Int): Int {
Oct 15 15:27:06.146 INFO kablam!     |                       ^^^
Oct 15 15:27:06.146 INFO kablam!     |
Oct 15 15:27:06.146 INFO kablam!     = help: the bound will not be checked when the type alias is used, and should be removed
Oct 15 15:27:06.146 INFO kablam! 
Oct 15 15:27:06.146 INFO kablam! warning: bounds on generic parameters are not enforced in type aliases
Oct 15 15:27:06.146 INFO kablam!    --> src/strong/balanced.rs:160:18
Oct 15 15:27:06.146 INFO kablam!     |
Oct 15 15:27:06.146 INFO kablam! 160 |     (Mul) IntMul(Int, Int): Int {
Oct 15 15:27:06.146 INFO kablam!     |                  ^^^
Oct 15 15:27:06.146 INFO kablam!     |
Oct 15 15:27:06.147 INFO kablam!     = help: the bound will not be checked when the type alias is used, and should be removed
Oct 15 15:27:06.147 INFO kablam! 
Oct 15 15:27:06.147 INFO kablam! warning: bounds on generic parameters are not enforced in type aliases
Oct 15 15:27:06.147 INFO kablam!    --> src/strong/balanced.rs:160:23
Oct 15 15:27:06.147 INFO kablam!     |
Oct 15 15:27:06.147 INFO kablam! 160 |     (Mul) IntMul(Int, Int): Int {
Oct 15 15:27:06.147 INFO kablam!     |                       ^^^
Oct 15 15:27:06.147 INFO kablam!     |
Oct 15 15:27:06.147 INFO kablam!     = help: the bound will not be checked when the type alias is used, and should be removed
Oct 15 15:27:06.147 INFO kablam! 
Oct 15 15:27:06.147 INFO kablam! warning: bounds on generic parameters are not enforced in type aliases
Oct 15 15:27:06.147 INFO kablam!    --> src/strong/balanced.rs:196:18
Oct 15 15:27:06.147 INFO kablam!     |
Oct 15 15:27:06.147 INFO kablam! 196 |     (Cmp) IntCmp(Int, Int, Int, Int, Int): Int {
Oct 15 15:27:06.147 INFO kablam!     |                  ^^^
Oct 15 15:27:06.147 INFO kablam!     |
Oct 15 15:27:06.147 INFO kablam!     = help: the bound will not be checked when the type alias is used, and should be removed
Oct 15 15:27:06.147 INFO kablam! 
Oct 15 15:27:06.147 INFO kablam! warning: bounds on generic parameters are not enforced in type aliases
Oct 15 15:27:06.147 INFO kablam!    --> src/strong/balanced.rs:196:23
Oct 15 15:27:06.147 INFO kablam!     |
Oct 15 15:27:06.147 INFO kablam! 196 |     (Cmp) IntCmp(Int, Int, Int, Int, Int): Int {
Oct 15 15:27:06.148 INFO kablam!     |                       ^^^
Oct 15 15:27:06.148 INFO kablam!     |
Oct 15 15:27:06.148 INFO kablam!     = help: the bound will not be checked when the type alias is used, and should be removed
Oct 15 15:27:06.148 INFO kablam! 
Oct 15 15:27:06.148 INFO kablam! warning: bounds on generic parameters are not enforced in type aliases
Oct 15 15:27:06.148 INFO kablam!    --> src/strong/balanced.rs:196:28
Oct 15 15:27:06.148 INFO kablam!     |
Oct 15 15:27:06.148 INFO kablam! 196 |     (Cmp) IntCmp(Int, Int, Int, Int, Int): Int {
Oct 15 15:27:06.148 INFO kablam!     |                            ^^^
Oct 15 15:27:06.148 INFO kablam!     |
Oct 15 15:27:06.148 INFO kablam!     = help: the bound will not be checked when the type alias is used, and should be removed
Oct 15 15:27:06.148 INFO kablam! 
Oct 15 15:27:06.148 INFO kablam! warning: bounds on generic parameters are not enforced in type aliases
Oct 15 15:27:06.148 INFO kablam!    --> src/strong/balanced.rs:196:33
Oct 15 15:27:06.148 INFO kablam!     |
Oct 15 15:27:06.148 INFO kablam! 196 |     (Cmp) IntCmp(Int, Int, Int, Int, Int): Int {
Oct 15 15:27:06.148 INFO kablam!     |                                 ^^^
Oct 15 15:27:06.148 INFO kablam!     |
Oct 15 15:27:06.148 INFO kablam!     = help: the bound will not be checked when the type alias is used, and should be removed
Oct 15 15:27:06.148 INFO kablam! 
Oct 15 15:27:06.148 INFO kablam! warning: bounds on generic parameters are not enforced in type aliases
Oct 15 15:27:06.148 INFO kablam!    --> src/strong/balanced.rs:196:38
Oct 15 15:27:06.149 INFO kablam!     |
Oct 15 15:27:06.149 INFO kablam! 196 |     (Cmp) IntCmp(Int, Int, Int, Int, Int): Int {
Oct 15 15:27:06.149 INFO kablam!     |                                      ^^^
Oct 15 15:27:06.149 INFO kablam!     |
Oct 15 15:27:06.149 INFO kablam!     = help: the bound will not be checked when the type alias is used, and should be removed
Oct 15 15:27:06.149 INFO kablam! 
Oct 15 15:27:06.149 INFO kablam! warning: bounds on generic parameters are not enforced in type aliases
Oct 15 15:27:06.149 INFO kablam!    --> src/strong/balanced.rs:223:20
Oct 15 15:27:06.149 INFO kablam!     |
Oct 15 15:27:06.149 INFO kablam! 223 |     (Cmp2) IntCmp2(Int, Int, IntPair, IntPair, IntPair): IntPair {
Oct 15 15:27:06.149 INFO kablam!     |                    ^^^
Oct 15 15:27:06.149 INFO kablam!     |
Oct 15 15:27:06.149 INFO kablam!     = help: the bound will not be checked when the type alias is used, and should be removed
Oct 15 15:27:06.149 INFO kablam! 
Oct 15 15:27:06.149 INFO kablam! warning: bounds on generic parameters are not enforced in type aliases
Oct 15 15:27:06.149 INFO kablam!    --> src/strong/balanced.rs:223:25
Oct 15 15:27:06.149 INFO kablam!     |
Oct 15 15:27:06.149 INFO kablam! 223 |     (Cmp2) IntCmp2(Int, Int, IntPair, IntPair, IntPair): IntPair {
Oct 15 15:27:06.149 INFO kablam!     |                         ^^^
Oct 15 15:27:06.149 INFO kablam!     |
Oct 15 15:27:06.149 INFO kablam!     = help: the bound will not be checked when the type alias is used, and should be removed
Oct 15 15:27:06.149 INFO kablam! 
Oct 15 15:27:06.150 INFO kablam! warning: bounds on generic parameters are not enforced in type aliases
Oct 15 15:27:06.150 INFO kablam!    --> src/strong/balanced.rs:223:30
Oct 15 15:27:06.150 INFO kablam!     |
Oct 15 15:27:06.150 INFO kablam! 223 |     (Cmp2) IntCmp2(Int, Int, IntPair, IntPair, IntPair): IntPair {
Oct 15 15:27:06.150 INFO kablam!     |                              ^^^^^^^
Oct 15 15:27:06.150 INFO kablam!     |
Oct 15 15:27:06.150 INFO kablam!     = help: the bound will not be checked when the type alias is used, and should be removed
Oct 15 15:27:06.150 INFO kablam! 
Oct 15 15:27:06.150 INFO kablam! warning: bounds on generic parameters are not enforced in type aliases
Oct 15 15:27:06.150 INFO kablam!    --> src/strong/balanced.rs:223:39
Oct 15 15:27:06.150 INFO kablam!     |
Oct 15 15:27:06.150 INFO kablam! 223 |     (Cmp2) IntCmp2(Int, Int, IntPair, IntPair, IntPair): IntPair {
Oct 15 15:27:06.150 INFO kablam!     |                                       ^^^^^^^
Oct 15 15:27:06.150 INFO kablam!     |
Oct 15 15:27:06.150 INFO kablam!     = help: the bound will not be checked when the type alias is used, and should be removed
Oct 15 15:27:06.150 INFO kablam! 
Oct 15 15:27:06.150 INFO kablam! warning: bounds on generic parameters are not enforced in type aliases
Oct 15 15:27:06.150 INFO kablam!    --> src/strong/balanced.rs:223:48
Oct 15 15:27:06.150 INFO kablam!     |
Oct 15 15:27:06.150 INFO kablam! 223 |     (Cmp2) IntCmp2(Int, Int, IntPair, IntPair, IntPair): IntPair {
Oct 15 15:27:06.151 INFO kablam!     |                                                ^^^^^^^
Oct 15 15:27:06.151 INFO kablam!     |
Oct 15 15:27:06.151 INFO kablam!     = help: the bound will not be checked when the type alias is used, and should be removed
Oct 15 15:27:06.151 INFO kablam! 
Oct 15 15:27:06.151 INFO kablam! warning: bounds on generic parameters are not enforced in type aliases
Oct 15 15:27:06.151 INFO kablam!    --> src/strong/balanced.rs:248:24
Oct 15 15:27:06.151 INFO kablam!     |
Oct 15 15:27:06.151 INFO kablam! 248 |     (LteCmp) IntLteCmp(Int, Int, Int, Int): Int {
Oct 15 15:27:06.151 INFO kablam!     |                        ^^^
Oct 15 15:27:06.151 INFO kablam!     |
Oct 15 15:27:06.151 INFO kablam!     = help: the bound will not be checked when the type alias is used, and should be removed
Oct 15 15:27:06.151 INFO kablam! 
Oct 15 15:27:06.151 INFO kablam! warning: bounds on generic parameters are not enforced in type aliases
Oct 15 15:27:06.151 INFO kablam!    --> src/strong/balanced.rs:248:29
Oct 15 15:27:06.151 INFO kablam!     |
Oct 15 15:27:06.151 INFO kablam! 248 |     (LteCmp) IntLteCmp(Int, Int, Int, Int): Int {
Oct 15 15:27:06.151 INFO kablam!     |                             ^^^
Oct 15 15:27:06.151 INFO kablam!     |
Oct 15 15:27:06.151 INFO kablam!     = help: the bound will not be checked when the type alias is used, and should be removed
Oct 15 15:27:06.151 INFO kablam! 
Oct 15 15:27:06.151 INFO kablam! warning: bounds on generic parameters are not enforced in type aliases
Oct 15 15:27:06.152 INFO kablam!    --> src/strong/balanced.rs:248:34
Oct 15 15:27:06.158 INFO kablam!     |
Oct 15 15:27:06.159 INFO kablam! 248 |     (LteCmp) IntLteCmp(Int, Int, Int, Int): Int {
Oct 15 15:27:06.159 INFO kablam!     |                                  ^^^
Oct 15 15:27:06.159 INFO kablam!     |
Oct 15 15:27:06.159 INFO kablam!     = help: the bound will not be checked when the type alias is used, and should be removed
Oct 15 15:27:06.159 INFO kablam! 
Oct 15 15:27:06.159 INFO kablam! warning: bounds on generic parameters are not enforced in type aliases
Oct 15 15:27:06.159 INFO kablam!    --> src/strong/balanced.rs:248:39
Oct 15 15:27:06.159 INFO kablam!     |
Oct 15 15:27:06.159 INFO kablam! 248 |     (LteCmp) IntLteCmp(Int, Int, Int, Int): Int {
Oct 15 15:27:06.159 INFO kablam!     |                                       ^^^
Oct 15 15:27:06.159 INFO kablam!     |
Oct 15 15:27:06.159 INFO kablam!     = help: the bound will not be checked when the type alias is used, and should be removed
Oct 15 15:27:06.159 INFO kablam! 
Oct 15 15:27:06.159 INFO kablam! warning: bounds on generic parameters are not enforced in type aliases
Oct 15 15:27:06.159 INFO kablam!    --> src/strong/balanced.rs:254:26
Oct 15 15:27:06.159 INFO kablam!     |
Oct 15 15:27:06.159 INFO kablam! 254 |     (LteCmp2) IntLteCmp2(Int, Int, IntPair, IntPair): IntPair {
Oct 15 15:27:06.159 INFO kablam!     |                          ^^^
Oct 15 15:27:06.159 INFO kablam!     |
Oct 15 15:27:06.159 INFO kablam!     = help: the bound will not be checked when the type alias is used, and should be removed
Oct 15 15:27:06.160 INFO kablam! 
Oct 15 15:27:06.160 INFO kablam! warning: bounds on generic parameters are not enforced in type aliases
Oct 15 15:27:06.160 INFO kablam!    --> src/strong/balanced.rs:254:31
Oct 15 15:27:06.160 INFO kablam!     |
Oct 15 15:27:06.160 INFO kablam! 254 |     (LteCmp2) IntLteCmp2(Int, Int, IntPair, IntPair): IntPair {
Oct 15 15:27:06.160 INFO kablam!     |                               ^^^
Oct 15 15:27:06.160 INFO kablam!     |
Oct 15 15:27:06.160 INFO kablam!     = help: the bound will not be checked when the type alias is used, and should be removed
Oct 15 15:27:06.160 INFO kablam! 
Oct 15 15:27:06.160 INFO kablam! warning: bounds on generic parameters are not enforced in type aliases
Oct 15 15:27:06.160 INFO kablam!    --> src/strong/balanced.rs:254:36
Oct 15 15:27:06.160 INFO kablam!     |
Oct 15 15:27:06.160 INFO kablam! 254 |     (LteCmp2) IntLteCmp2(Int, Int, IntPair, IntPair): IntPair {
Oct 15 15:27:06.160 INFO kablam!     |                                    ^^^^^^^
Oct 15 15:27:06.160 INFO kablam!     |
Oct 15 15:27:06.160 INFO kablam!     = help: the bound will not be checked when the type alias is used, and should be removed
Oct 15 15:27:06.160 INFO kablam! 
Oct 15 15:27:06.160 INFO kablam! warning: bounds on generic parameters are not enforced in type aliases
Oct 15 15:27:06.160 INFO kablam!    --> src/strong/balanced.rs:254:45
Oct 15 15:27:06.160 INFO kablam!     |
Oct 15 15:27:06.160 INFO kablam! 254 |     (LteCmp2) IntLteCmp2(Int, Int, IntPair, IntPair): IntPair {
Oct 15 15:27:06.160 INFO kablam!     |                                             ^^^^^^^
Oct 15 15:27:06.161 INFO kablam!     |
Oct 15 15:27:06.161 INFO kablam!     = help: the bound will not be checked when the type alias is used, and should be removed
Oct 15 15:27:06.161 INFO kablam! 
Oct 15 15:27:06.161 INFO kablam! warning: bounds on generic parameters are not enforced in type aliases
Oct 15 15:27:06.161 INFO kablam!    --> src/strong/balanced.rs:261:18
Oct 15 15:27:06.161 INFO kablam!     |
Oct 15 15:27:06.161 INFO kablam! 261 |     (Abs) IntAbs(Int): Int {
Oct 15 15:27:06.161 INFO kablam!     |                  ^^^
Oct 15 15:27:06.161 INFO kablam!     |
Oct 15 15:27:06.161 INFO kablam!     = help: the bound will not be checked when the type alias is used, and should be removed
Oct 15 15:27:06.161 INFO kablam! 
Oct 15 15:27:06.161 INFO kablam! warning: bounds on generic parameters are not enforced in type aliases
Oct 15 15:27:06.161 INFO kablam!    --> src/strong/balanced.rs:273:40
Oct 15 15:27:06.161 INFO kablam!     |
Oct 15 15:27:06.161 INFO kablam! 273 |     (AbsMinThreeCmp) IntAbsMinThreeCmp(Int, Int, Int, Int, Int, Int): IntPair {
Oct 15 15:27:06.161 INFO kablam!     |                                        ^^^
Oct 15 15:27:06.161 INFO kablam!     |
Oct 15 15:27:06.161 INFO kablam!     = help: the bound will not be checked when the type alias is used, and should be removed
Oct 15 15:27:06.161 INFO kablam! 
Oct 15 15:27:06.161 INFO kablam! warning: bounds on generic parameters are not enforced in type aliases
Oct 15 15:27:06.161 INFO kablam!    --> src/strong/balanced.rs:273:45
Oct 15 15:27:06.161 INFO kablam!     |
Oct 15 15:27:06.161 INFO kablam! 273 |     (AbsMinThreeCmp) IntAbsMinThreeCmp(Int, Int, Int, Int, Int, Int): IntPair {
Oct 15 15:27:06.162 INFO kablam!     |                                             ^^^
Oct 15 15:27:06.162 INFO kablam!     |
Oct 15 15:27:06.162 INFO kablam!     = help: the bound will not be checked when the type alias is used, and should be removed
Oct 15 15:27:06.162 INFO kablam! 
Oct 15 15:27:06.162 INFO kablam! warning: bounds on generic parameters are not enforced in type aliases
Oct 15 15:27:06.162 INFO kablam!    --> src/strong/balanced.rs:273:50
Oct 15 15:27:06.162 INFO kablam!     |
Oct 15 15:27:06.162 INFO kablam! 273 |     (AbsMinThreeCmp) IntAbsMinThreeCmp(Int, Int, Int, Int, Int, Int): IntPair {
Oct 15 15:27:06.162 INFO kablam!     |                                                  ^^^
Oct 15 15:27:06.162 INFO kablam!     |
Oct 15 15:27:06.162 INFO kablam!     = help: the bound will not be checked when the type alias is used, and should be removed
Oct 15 15:27:06.162 INFO kablam! 
Oct 15 15:27:06.162 INFO kablam! warning: bounds on generic parameters are not enforced in type aliases
Oct 15 15:27:06.162 INFO kablam!    --> src/strong/balanced.rs:273:55
Oct 15 15:27:06.162 INFO kablam!     |
Oct 15 15:27:06.162 INFO kablam! 273 |     (AbsMinThreeCmp) IntAbsMinThreeCmp(Int, Int, Int, Int, Int, Int): IntPair {
Oct 15 15:27:06.162 INFO kablam!     |                                                       ^^^
Oct 15 15:27:06.162 INFO kablam!     |
Oct 15 15:27:06.162 INFO kablam!     = help: the bound will not be checked when the type alias is used, and should be removed
Oct 15 15:27:06.162 INFO kablam! 
Oct 15 15:27:06.163 INFO kablam! warning: bounds on generic parameters are not enforced in type aliases
Oct 15 15:27:06.163 INFO kablam!    --> src/strong/balanced.rs:273:60
Oct 15 15:27:06.163 INFO kablam!     |
Oct 15 15:27:06.163 INFO kablam! 273 |     (AbsMinThreeCmp) IntAbsMinThreeCmp(Int, Int, Int, Int, Int, Int): IntPair {
Oct 15 15:27:06.163 INFO kablam!     |                                                            ^^^
Oct 15 15:27:06.163 INFO kablam!     |
Oct 15 15:27:06.163 INFO kablam!     = help: the bound will not be checked when the type alias is used, and should be removed
Oct 15 15:27:06.163 INFO kablam! 
Oct 15 15:27:06.163 INFO kablam! warning: bounds on generic parameters are not enforced in type aliases
Oct 15 15:27:06.163 INFO kablam!    --> src/strong/balanced.rs:273:65
Oct 15 15:27:06.163 INFO kablam!     |
Oct 15 15:27:06.163 INFO kablam! 273 |     (AbsMinThreeCmp) IntAbsMinThreeCmp(Int, Int, Int, Int, Int, Int): IntPair {
Oct 15 15:27:06.163 INFO kablam!     |                                                                 ^^^
Oct 15 15:27:06.163 INFO kablam!     |
Oct 15 15:27:06.163 INFO kablam!     = help: the bound will not be checked when the type alias is used, and should be removed
Oct 15 15:27:06.163 INFO kablam! 
Oct 15 15:27:06.163 INFO kablam! warning: bounds on generic parameters are not enforced in type aliases
Oct 15 15:27:06.163 INFO kablam!    --> src/strong/balanced.rs:284:18
Oct 15 15:27:06.163 INFO kablam!     |
Oct 15 15:27:06.163 INFO kablam! 284 |     (Rev) IntRev(Int): Int {
Oct 15 15:27:06.163 INFO kablam!     |                  ^^^
Oct 15 15:27:06.163 INFO kablam!     |
Oct 15 15:27:06.163 INFO kablam!     = help: the bound will not be checked when the type alias is used, and should be removed
Oct 15 15:27:06.164 INFO kablam! 
Oct 15 15:27:06.164 INFO kablam! warning: bounds on generic parameters are not enforced in type aliases
Oct 15 15:27:06.164 INFO kablam!    --> src/strong/balanced.rs:290:34
Oct 15 15:27:06.164 INFO kablam!     |
Oct 15 15:27:06.164 INFO kablam! 290 |     (RevInternal) IntRevInternal(Int, Int): Int {
Oct 15 15:27:06.164 INFO kablam!     |                                  ^^^
Oct 15 15:27:06.164 INFO kablam!     |
Oct 15 15:27:06.164 INFO kablam!     = help: the bound will not be checked when the type alias is used, and should be removed
Oct 15 15:27:06.164 INFO kablam! 
Oct 15 15:27:06.164 INFO kablam! warning: bounds on generic parameters are not enforced in type aliases
Oct 15 15:27:06.164 INFO kablam!    --> src/strong/balanced.rs:290:39
Oct 15 15:27:06.164 INFO kablam!     |
Oct 15 15:27:06.164 INFO kablam! 290 |     (RevInternal) IntRevInternal(Int, Int): Int {
Oct 15 15:27:06.164 INFO kablam!     |                                       ^^^
Oct 15 15:27:06.164 INFO kablam!     |
Oct 15 15:27:06.164 INFO kablam!     = help: the bound will not be checked when the type alias is used, and should be removed
Oct 15 15:27:06.164 INFO kablam! 
Oct 15 15:27:06.164 INFO kablam! warning: bounds on generic parameters are not enforced in type aliases
Oct 15 15:27:06.164 INFO kablam!    --> src/strong/balanced.rs:302:18
Oct 15 15:27:06.164 INFO kablam!     |
Oct 15 15:27:06.164 INFO kablam! 302 |     (Div) IntDiv(Int, Int): Int {
Oct 15 15:27:06.164 INFO kablam!     |                  ^^^
Oct 15 15:27:06.165 INFO kablam!     |
Oct 15 15:27:06.165 INFO kablam!     = help: the bound will not be checked when the type alias is used, and should be removed
Oct 15 15:27:06.165 INFO kablam! 
Oct 15 15:27:06.165 INFO kablam! warning: bounds on generic parameters are not enforced in type aliases
Oct 15 15:27:06.165 INFO kablam!    --> src/strong/balanced.rs:302:23
Oct 15 15:27:06.165 INFO kablam!     |
Oct 15 15:27:06.165 INFO kablam! 302 |     (Div) IntDiv(Int, Int): Int {
Oct 15 15:27:06.165 INFO kablam!     |                       ^^^
Oct 15 15:27:06.165 INFO kablam!     |
Oct 15 15:27:06.165 INFO kablam!     = help: the bound will not be checked when the type alias is used, and should be removed
Oct 15 15:27:06.165 INFO kablam! 
Oct 15 15:27:06.165 INFO kablam! warning: bounds on generic parameters are not enforced in type aliases
Oct 15 15:27:06.165 INFO kablam!    --> src/strong/balanced.rs:326:18
Oct 15 15:27:06.165 INFO kablam!     |
Oct 15 15:27:06.165 INFO kablam! 326 |     (Rem) IntRem(Int, Int): Int {
Oct 15 15:27:06.165 INFO kablam!     |                  ^^^
Oct 15 15:27:06.165 INFO kablam!     |
Oct 15 15:27:06.165 INFO kablam!     = help: the bound will not be checked when the type alias is used, and should be removed
Oct 15 15:27:06.165 INFO kablam! 
Oct 15 15:27:06.165 INFO kablam! warning: bounds on generic parameters are not enforced in type aliases
Oct 15 15:27:06.165 INFO kablam!    --> src/strong/balanced.rs:326:23
Oct 15 15:27:06.165 INFO kablam!     |
Oct 15 15:27:06.166 INFO kablam! 326 |     (Rem) IntRem(Int, Int): Int {
Oct 15 15:27:06.166 INFO kablam!     |                       ^^^
Oct 15 15:27:06.166 INFO kablam!     |
Oct 15 15:27:06.166 INFO kablam!     = help: the bound will not be checked when the type alias is used, and should be removed
Oct 15 15:27:06.166 INFO kablam! 
Oct 15 15:27:06.166 INFO kablam! warning: bounds on generic parameters are not enforced in type aliases
Oct 15 15:27:06.166 INFO kablam!    --> src/strong/balanced.rs:349:34
Oct 15 15:27:06.166 INFO kablam!     |
Oct 15 15:27:06.166 INFO kablam! 349 |     (DivInternal) IntDivInternal(Int, Int, IntPair): IntPair {
Oct 15 15:27:06.166 INFO kablam!     |                                  ^^^
Oct 15 15:27:06.166 INFO kablam!     |
Oct 15 15:27:06.166 INFO kablam!     = help: the bound will not be checked when the type alias is used, and should be removed
Oct 15 15:27:06.166 INFO kablam! 
Oct 15 15:27:06.166 INFO kablam! warning: bounds on generic parameters are not enforced in type aliases
Oct 15 15:27:06.166 INFO kablam!    --> src/strong/balanced.rs:349:39
Oct 15 15:27:06.166 INFO kablam!     |
Oct 15 15:27:06.166 INFO kablam! 349 |     (DivInternal) IntDivInternal(Int, Int, IntPair): IntPair {
Oct 15 15:27:06.166 INFO kablam!     |                                       ^^^
Oct 15 15:27:06.166 INFO kablam!     |
Oct 15 15:27:06.166 INFO kablam!     = help: the bound will not be checked when the type alias is used, and should be removed
Oct 15 15:27:06.166 INFO kablam! 
Oct 15 15:27:06.166 INFO kablam! warning: bounds on generic parameters are not enforced in type aliases
Oct 15 15:27:06.167 INFO kablam!    --> src/strong/balanced.rs:349:44
Oct 15 15:27:06.167 INFO kablam!     |
Oct 15 15:27:06.167 INFO kablam! 349 |     (DivInternal) IntDivInternal(Int, Int, IntPair): IntPair {
Oct 15 15:27:06.167 INFO kablam!     |                                            ^^^^^^^
Oct 15 15:27:06.167 INFO kablam!     |
Oct 15 15:27:06.167 INFO kablam!     = help: the bound will not be checked when the type alias is used, and should be removed
Oct 15 15:27:06.167 INFO kablam! 
Oct 15 15:27:07.479 INFO kablam!     Finished dev [unoptimized + debuginfo] target(s) in 4.07s
Oct 15 15:27:07.482 INFO kablam! su: No module specific data is present
Oct 15 15:27:08.490 INFO running `"docker" "rm" "-f" "c16162cdd11ebbd46535e62974d12ef8ee3f76a710124ba706c20d7f0ffb6407"`
Oct 15 15:27:08.759 INFO blam! c16162cdd11ebbd46535e62974d12ef8ee3f76a710124ba706c20d7f0ffb6407
Oct 15 15:27:08.763 INFO running `"docker" "create" "-v" "/mnt/big/crater/./work/local/target-dirs/rustdoc-test-static-cling-1/worker-2/master#0e07c4281c343e9e15a0a8fca79538ad1a8eb513:/target:rw,Z" "-v" "/mnt/big/crater/./work/local/test-source/worker-2/rustdoc-test-static-cling-1/master#0e07c4281c343e9e15a0a8fca79538ad1a8eb513:/source:ro,Z" "-v" "/mnt/big/crater/./work/local/cargo-home:/cargo-home:ro,Z" "-v" "/mnt/big/crater/./work/local/rustup-home:/rustup-home:ro,Z" "-e" "USER_ID=1000" "-e" "SOURCE_DIR=/source" "-e" "USER_ID=1000" "-e" "CMD=cargo +0e07c4281c343e9e15a0a8fca79538ad1a8eb513-alt test --frozen" "-e" "CARGO_TARGET_DIR=/target" "-e" "CARGO_INCREMENTAL=0" "-e" "RUST_BACKTRACE=full" "-e" "RUSTFLAGS=--cap-lints=forbid" "-e" "CARGO_HOME=/cargo-home" "-e" "RUSTUP_HOME=/rustup-home" "-m" "1536M" "--network" "none" "crater"`
Oct 15 15:27:09.219 INFO blam! 6a837752de7683fc9cd352563d11b5d7ba395c57cfae8c4f44f6683cd2f18e92
Oct 15 15:27:09.221 INFO running `"docker" "start" "-a" "6a837752de7683fc9cd352563d11b5d7ba395c57cfae8c4f44f6683cd2f18e92"`
Oct 15 15:27:11.735 INFO kablam! usermod: no changes
Oct 15 15:27:11.783 INFO kablam!     Finished dev [unoptimized + debuginfo] target(s) in 0.03s
Oct 15 15:27:11.787 INFO kablam!      Running /target/debug/deps/type_level_logic-443f25ded8ce204c
Oct 15 15:27:11.789 INFO blam! 
Oct 15 15:27:11.789 INFO blam! running 24 tests
Oct 15 15:27:11.795 INFO blam! test strong::balanced::tests::balanced_ternary_div ... ok
Oct 15 15:27:11.795 INFO blam! test strong::balanced::tests::balanced_ternary_lte_cmp ... ok
Oct 15 15:27:11.795 INFO blam! test strong::balanced::tests::balanced_ternary_mul ... ok
Oct 15 15:27:11.795 INFO blam! test strong::balanced::tests::balanced_ternary_cmp ... ok
Oct 15 15:27:11.795 INFO blam! test strong::balanced::tests::balanced_ternary_add ... ok
Oct 15 15:27:11.795 INFO blam! test strong::balanced::tests::balanced_ternary_abs_min_three_cmp ... ok
Oct 15 15:27:11.795 INFO blam! test strong::balanced::tests::balanced_ternary_abs ... ok
Oct 15 15:27:11.795 INFO blam! test strong::balanced::tests::balanced_ternary_succ ... ok
Oct 15 15:27:11.795 INFO blam! test strong::ternary::tests::ternary_add ... ok
Oct 15 15:27:11.795 INFO blam! test strong::balanced::tests::balanced_ternary_sub ... ok
Oct 15 15:27:11.795 INFO blam! test strong::balanced::tests::balanced_ternary_rev ... ok
Oct 15 15:27:11.795 INFO blam! test strong::ternary::tests::ternary_div ... ok
Oct 15 15:27:11.795 INFO blam! test strong::ternary::tests::ternary_double_pred ... ok
Oct 15 15:27:11.795 INFO blam! test strong::ternary::tests::ternary_mul ... ok
Oct 15 15:27:11.795 INFO blam! test strong::ternary::tests::ternary_pred ... ok
Oct 15 15:27:11.795 INFO blam! test strong::ternary::tests::ternary_rem ... ok
Oct 15 15:27:11.795 INFO blam! test strong::ternary::tests::ternary_sub ... ok
Oct 15 15:27:11.799 INFO blam! test strong::balanced::tests::balanced_ternary_pred ... ok
Oct 15 15:27:11.799 INFO blam! test strong::ternary::tests::ternary_succ ... ok
Oct 15 15:27:11.800 INFO blam! test strong::balanced::tests::balanced_ternary_rem ... ok
Oct 15 15:27:11.800 INFO blam! test strong::ternary::tests::ternary_undef_or_2 ... ok
Oct 15 15:27:11.800 INFO blam! test types::balanced::tests::balanced_ternary_constants ... ok
Oct 15 15:27:11.807 INFO blam! test types::ternary::tests::ternary_constants ... ok
Oct 15 15:27:11.842 INFO blam! test strong::ternary::tests::ternary_sub_undefined ... ok
Oct 15 15:27:11.843 INFO blam! 
Oct 15 15:27:11.843 INFO blam! test result: ok. 24 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out
Oct 15 15:27:11.843 INFO blam! 
Oct 15 15:27:11.870 INFO kablam!    Doc-tests type-level-logic
Oct 15 15:27:13.363 INFO blam! 
Oct 15 15:27:13.363 INFO blam! running 0 tests
Oct 15 15:27:13.363 INFO blam! 
Oct 15 15:27:13.363 INFO blam! test result: ok. 0 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out
Oct 15 15:27:13.363 INFO blam! 
Oct 15 15:27:13.383 INFO kablam! su: No module specific data is present
Oct 15 15:27:14.919 INFO running `"docker" "rm" "-f" "6a837752de7683fc9cd352563d11b5d7ba395c57cfae8c4f44f6683cd2f18e92"`
Oct 15 15:27:15.239 INFO blam! 6a837752de7683fc9cd352563d11b5d7ba395c57cfae8c4f44f6683cd2f18e92