Nov 02 01:29:20.824 INFO testing type-level-logic-0.1.0 against beta-2018-10-30 for beta-1.31-1
Nov 02 01:29:20.824 INFO running `"docker" "create" "-v" "/mnt/big/crater/work/local/target-dirs/beta-1.31-1/worker-2/beta-2018-10-30:/target:rw,Z" "-v" "/mnt/big/crater/work/local/test-source/worker-2/beta-1.31-1/beta-2018-10-30:/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 +beta-2018-10-30 build --frozen" "-e" "CARGO_TARGET_DIR=/target" "-e" "CARGO_INCREMENTAL=0" "-e" "RUST_BACKTRACE=full" "-e" "RUSTFLAGS=--cap-lints=warn" "-e" "CARGO_HOME=/cargo-home" "-e" "RUSTUP_HOME=/rustup-home" "-m" "1536M" "--network" "none" "crater"`
Nov 02 01:29:21.255 INFO blam! 4dc3ab6ddd7fe8aaa85c8a4fb85aa761b6258673cdfd85520cd4a30c6556f72f
Nov 02 01:29:21.263 INFO running `"docker" "start" "-a" "4dc3ab6ddd7fe8aaa85c8a4fb85aa761b6258673cdfd85520cd4a30c6556f72f"`
Nov 02 01:29:22.900 INFO kablam! usermod: no changes
Nov 02 01:29:22.943 INFO kablam!    Compiling type-operators v0.3.5
Nov 02 01:29:23.502 INFO kablam!    Compiling type-level-logic v0.1.0 (/source)
Nov 02 01:29:25.011 INFO kablam! warning: bounds on generic parameters are not enforced in type aliases
Nov 02 01:29:25.012 INFO kablam!  --> src/strong/boolean.rs:9:19
Nov 02 01:29:25.012 INFO kablam!   |
Nov 02 01:29:25.013 INFO kablam! 9 |     (And) BoolAnd(Bool, Bool): Bool {
Nov 02 01:29:25.014 INFO kablam!   |                   ^^^^
Nov 02 01:29:25.014 INFO kablam!   |
Nov 02 01:29:25.015 INFO kablam!   = note: #[warn(type_alias_bounds)] on by default
Nov 02 01:29:25.015 INFO kablam!   = help: the bound will not be checked when the type alias is used, and should be removed
Nov 02 01:29:25.016 INFO kablam! 
Nov 02 01:29:25.016 INFO kablam! warning: bounds on generic parameters are not enforced in type aliases
Nov 02 01:29:25.017 INFO kablam!  --> src/strong/boolean.rs:9:25
Nov 02 01:29:25.017 INFO kablam!   |
Nov 02 01:29:25.018 INFO kablam! 9 |     (And) BoolAnd(Bool, Bool): Bool {
Nov 02 01:29:25.018 INFO kablam!   |                         ^^^^
Nov 02 01:29:25.019 INFO kablam!   |
Nov 02 01:29:25.019 INFO kablam!   = help: the bound will not be checked when the type alias is used, and should be removed
Nov 02 01:29:25.020 INFO kablam! 
Nov 02 01:29:25.020 INFO kablam! warning: bounds on generic parameters are not enforced in type aliases
Nov 02 01:29:25.021 INFO kablam!   --> src/strong/boolean.rs:17:17
Nov 02 01:29:25.021 INFO kablam!    |
Nov 02 01:29:25.021 INFO kablam! 17 |     (Or) BoolOr(Bool, Bool): Bool {
Nov 02 01:29:25.021 INFO kablam!    |                 ^^^^
Nov 02 01:29:25.021 INFO kablam!    |
Nov 02 01:29:25.021 INFO kablam!    = help: the bound will not be checked when the type alias is used, and should be removed
Nov 02 01:29:25.021 INFO kablam! 
Nov 02 01:29:25.022 INFO kablam! warning: bounds on generic parameters are not enforced in type aliases
Nov 02 01:29:25.022 INFO kablam!   --> src/strong/boolean.rs:17:23
Nov 02 01:29:25.022 INFO kablam!    |
Nov 02 01:29:25.022 INFO kablam! 17 |     (Or) BoolOr(Bool, Bool): Bool {
Nov 02 01:29:25.022 INFO kablam!    |                       ^^^^
Nov 02 01:29:25.022 INFO kablam!    |
Nov 02 01:29:25.022 INFO kablam!    = help: the bound will not be checked when the type alias is used, and should be removed
Nov 02 01:29:25.023 INFO kablam! 
Nov 02 01:29:25.023 INFO kablam! warning: bounds on generic parameters are not enforced in type aliases
Nov 02 01:29:25.023 INFO kablam!   --> src/strong/boolean.rs:26:25
Nov 02 01:29:25.023 INFO kablam!    |
Nov 02 01:29:25.023 INFO kablam! 26 |     (IfThen) BoolIfThen(Bool, Bool): Bool {
Nov 02 01:29:25.023 INFO kablam!    |                         ^^^^
Nov 02 01:29:25.023 INFO kablam!    |
Nov 02 01:29:25.024 INFO kablam!    = help: the bound will not be checked when the type alias is used, and should be removed
Nov 02 01:29:25.024 INFO kablam! 
Nov 02 01:29:25.024 INFO kablam! warning: bounds on generic parameters are not enforced in type aliases
Nov 02 01:29:25.024 INFO kablam!   --> src/strong/boolean.rs:26:31
Nov 02 01:29:25.024 INFO kablam!    |
Nov 02 01:29:25.024 INFO kablam! 26 |     (IfThen) BoolIfThen(Bool, Bool): Bool {
Nov 02 01:29:25.024 INFO kablam!    |                               ^^^^
Nov 02 01:29:25.024 INFO kablam!    |
Nov 02 01:29:25.024 INFO kablam!    = help: the bound will not be checked when the type alias is used, and should be removed
Nov 02 01:29:25.024 INFO kablam! 
Nov 02 01:29:25.024 INFO kablam! warning: bounds on generic parameters are not enforced in type aliases
Nov 02 01:29:25.024 INFO kablam!   --> src/strong/boolean.rs:35:25
Nov 02 01:29:25.024 INFO kablam!    |
Nov 02 01:29:25.024 INFO kablam! 35 |     (OnlyIf) BoolOnlyIf(Bool, Bool): Bool {
Nov 02 01:29:25.024 INFO kablam!    |                         ^^^^
Nov 02 01:29:25.031 INFO kablam!    |
Nov 02 01:29:25.031 INFO kablam!    = help: the bound will not be checked when the type alias is used, and should be removed
Nov 02 01:29:25.031 INFO kablam! 
Nov 02 01:29:25.031 INFO kablam! warning: bounds on generic parameters are not enforced in type aliases
Nov 02 01:29:25.031 INFO kablam!   --> src/strong/boolean.rs:35:31
Nov 02 01:29:25.031 INFO kablam!    |
Nov 02 01:29:25.031 INFO kablam! 35 |     (OnlyIf) BoolOnlyIf(Bool, Bool): Bool {
Nov 02 01:29:25.031 INFO kablam!    |                               ^^^^
Nov 02 01:29:25.031 INFO kablam!    |
Nov 02 01:29:25.031 INFO kablam!    = help: the bound will not be checked when the type alias is used, and should be removed
Nov 02 01:29:25.031 INFO kablam! 
Nov 02 01:29:25.031 INFO kablam! warning: bounds on generic parameters are not enforced in type aliases
Nov 02 01:29:25.031 INFO kablam!   --> src/strong/boolean.rs:43:19
Nov 02 01:29:25.031 INFO kablam!    |
Nov 02 01:29:25.031 INFO kablam! 43 |     (Xor) BoolXor(Bool, Bool): Bool {
Nov 02 01:29:25.031 INFO kablam!    |                   ^^^^
Nov 02 01:29:25.031 INFO kablam!    |
Nov 02 01:29:25.031 INFO kablam!    = help: the bound will not be checked when the type alias is used, and should be removed
Nov 02 01:29:25.031 INFO kablam! 
Nov 02 01:29:25.031 INFO kablam! warning: bounds on generic parameters are not enforced in type aliases
Nov 02 01:29:25.031 INFO kablam!   --> src/strong/boolean.rs:43:25
Nov 02 01:29:25.031 INFO kablam!    |
Nov 02 01:29:25.031 INFO kablam! 43 |     (Xor) BoolXor(Bool, Bool): Bool {
Nov 02 01:29:25.031 INFO kablam!    |                         ^^^^
Nov 02 01:29:25.031 INFO kablam!    |
Nov 02 01:29:25.031 INFO kablam!    = help: the bound will not be checked when the type alias is used, and should be removed
Nov 02 01:29:25.031 INFO kablam! 
Nov 02 01:29:25.031 INFO kablam! warning: bounds on generic parameters are not enforced in type aliases
Nov 02 01:29:25.031 INFO kablam!   --> src/strong/ternary.rs:14:24
Nov 02 01:29:25.031 INFO kablam!    |
Nov 02 01:29:25.031 INFO kablam! 14 |     (Nat2First) Nat2P1(NatPair): Nat {
Nov 02 01:29:25.031 INFO kablam!    |                        ^^^^^^^
Nov 02 01:29:25.031 INFO kablam!    |
Nov 02 01:29:25.031 INFO kablam!    = help: the bound will not be checked when the type alias is used, and should be removed
Nov 02 01:29:25.031 INFO kablam! 
Nov 02 01:29:25.039 INFO kablam! warning: bounds on generic parameters are not enforced in type aliases
Nov 02 01:29:25.039 INFO kablam!   --> src/strong/ternary.rs:21:25
Nov 02 01:29:25.039 INFO kablam!    |
Nov 02 01:29:25.039 INFO kablam! 21 |     (Nat2Second) Nat2P2(NatPair): Nat {
Nov 02 01:29:25.039 INFO kablam!    |                         ^^^^^^^
Nov 02 01:29:25.039 INFO kablam!    |
Nov 02 01:29:25.039 INFO kablam!    = help: the bound will not be checked when the type alias is used, and should be removed
Nov 02 01:29:25.039 INFO kablam! 
Nov 02 01:29:25.039 INFO kablam! warning: bounds on generic parameters are not enforced in type aliases
Nov 02 01:29:25.039 INFO kablam!   --> src/strong/ternary.rs:29:20
Nov 02 01:29:25.039 INFO kablam!    |
Nov 02 01:29:25.039 INFO kablam! 29 |     (Succ) NatSucc(Nat): Nat {
Nov 02 01:29:25.039 INFO kablam!    |                    ^^^
Nov 02 01:29:25.039 INFO kablam!    |
Nov 02 01:29:25.039 INFO kablam!    = help: the bound will not be checked when the type alias is used, and should be removed
Nov 02 01:29:25.039 INFO kablam! 
Nov 02 01:29:25.039 INFO kablam! warning: bounds on generic parameters are not enforced in type aliases
Nov 02 01:29:25.039 INFO kablam!   --> src/strong/ternary.rs:41:20
Nov 02 01:29:25.039 INFO kablam!    |
Nov 02 01:29:25.039 INFO kablam! 41 |     (Pred) NatPred(Nat): Nat {
Nov 02 01:29:25.039 INFO kablam!    |                    ^^^
Nov 02 01:29:25.039 INFO kablam!    |
Nov 02 01:29:25.039 INFO kablam!    = help: the bound will not be checked when the type alias is used, and should be removed
Nov 02 01:29:25.039 INFO kablam! 
Nov 02 01:29:25.040 INFO kablam! warning: bounds on generic parameters are not enforced in type aliases
Nov 02 01:29:25.040 INFO kablam!   --> src/strong/ternary.rs:53:32
Nov 02 01:29:25.040 INFO kablam!    |
Nov 02 01:29:25.040 INFO kablam! 53 |     (DoublePred) NatDoublePred(Nat): Nat {
Nov 02 01:29:25.040 INFO kablam!    |                                ^^^
Nov 02 01:29:25.040 INFO kablam!    |
Nov 02 01:29:25.040 INFO kablam!    = help: the bound will not be checked when the type alias is used, and should be removed
Nov 02 01:29:25.040 INFO kablam! 
Nov 02 01:29:25.040 INFO kablam! warning: bounds on generic parameters are not enforced in type aliases
Nov 02 01:29:25.040 INFO kablam!   --> src/strong/ternary.rs:68:24
Nov 02 01:29:25.040 INFO kablam!    |
Nov 02 01:29:25.040 INFO kablam! 68 |     (Triple) NatTriple(Nat): Nat {
Nov 02 01:29:25.040 INFO kablam!    |                        ^^^
Nov 02 01:29:25.040 INFO kablam!    |
Nov 02 01:29:25.040 INFO kablam!    = help: the bound will not be checked when the type alias is used, and should be removed
Nov 02 01:29:25.040 INFO kablam! 
Nov 02 01:29:25.040 INFO kablam! warning: bounds on generic parameters are not enforced in type aliases
Nov 02 01:29:25.040 INFO kablam!   --> src/strong/ternary.rs:81:24
Nov 02 01:29:25.040 INFO kablam!    |
Nov 02 01:29:25.040 INFO kablam! 81 |     (Unique) NatUnique(Nat): Nat {
Nov 02 01:29:25.040 INFO kablam!    |                        ^^^
Nov 02 01:29:25.040 INFO kablam!    |
Nov 02 01:29:25.040 INFO kablam!    = help: the bound will not be checked when the type alias is used, and should be removed
Nov 02 01:29:25.040 INFO kablam! 
Nov 02 01:29:25.040 INFO kablam! warning: bounds on generic parameters are not enforced in type aliases
Nov 02 01:29:25.040 INFO kablam!   --> src/strong/ternary.rs:95:18
Nov 02 01:29:25.040 INFO kablam!    |
Nov 02 01:29:25.040 INFO kablam! 95 |     (Add) NatAdd(Nat, Nat): Nat {
Nov 02 01:29:25.040 INFO kablam!    |                  ^^^
Nov 02 01:29:25.040 INFO kablam!    |
Nov 02 01:29:25.040 INFO kablam!    = help: the bound will not be checked when the type alias is used, and should be removed
Nov 02 01:29:25.040 INFO kablam! 
Nov 02 01:29:25.040 INFO kablam! warning: bounds on generic parameters are not enforced in type aliases
Nov 02 01:29:25.040 INFO kablam!   --> src/strong/ternary.rs:95:23
Nov 02 01:29:25.040 INFO kablam!    |
Nov 02 01:29:25.040 INFO kablam! 95 |     (Add) NatAdd(Nat, Nat): Nat {
Nov 02 01:29:25.040 INFO kablam!    |                       ^^^
Nov 02 01:29:25.040 INFO kablam!    |
Nov 02 01:29:25.040 INFO kablam!    = help: the bound will not be checked when the type alias is used, and should be removed
Nov 02 01:29:25.040 INFO kablam! 
Nov 02 01:29:25.040 INFO kablam! warning: bounds on generic parameters are not enforced in type aliases
Nov 02 01:29:25.040 INFO kablam!    --> src/strong/ternary.rs:128:38
Nov 02 01:29:25.040 INFO kablam!     |
Nov 02 01:29:25.040 INFO kablam! 128 |     (TriplePlusOne) NatTriplePlusOne(Nat): Nat {
Nov 02 01:29:25.040 INFO kablam!     |                                      ^^^
Nov 02 01:29:25.040 INFO kablam!     |
Nov 02 01:29:25.040 INFO kablam!     = help: the bound will not be checked when the type alias is used, and should be removed
Nov 02 01:29:25.040 INFO kablam! 
Nov 02 01:29:25.040 INFO kablam! warning: bounds on generic parameters are not enforced in type aliases
Nov 02 01:29:25.040 INFO kablam!    --> src/strong/ternary.rs:139:38
Nov 02 01:29:25.040 INFO kablam!     |
Nov 02 01:29:25.040 INFO kablam! 139 |     (TriplePlusTwo) NatTriplePlusTwo(Nat): Nat {
Nov 02 01:29:25.040 INFO kablam!     |                                      ^^^
Nov 02 01:29:25.040 INFO kablam!     |
Nov 02 01:29:25.040 INFO kablam!     = help: the bound will not be checked when the type alias is used, and should be removed
Nov 02 01:29:25.040 INFO kablam! 
Nov 02 01:29:25.040 INFO kablam! warning: bounds on generic parameters are not enforced in type aliases
Nov 02 01:29:25.040 INFO kablam!    --> src/strong/ternary.rs:152:18
Nov 02 01:29:25.040 INFO kablam!     |
Nov 02 01:29:25.040 INFO kablam! 152 |     (Sub) NatSub(Nat, Nat): Nat {
Nov 02 01:29:25.040 INFO kablam!     |                  ^^^
Nov 02 01:29:25.040 INFO kablam!     |
Nov 02 01:29:25.040 INFO kablam!     = help: the bound will not be checked when the type alias is used, and should be removed
Nov 02 01:29:25.040 INFO kablam! 
Nov 02 01:29:25.040 INFO kablam! warning: bounds on generic parameters are not enforced in type aliases
Nov 02 01:29:25.040 INFO kablam!    --> src/strong/ternary.rs:152:23
Nov 02 01:29:25.040 INFO kablam!     |
Nov 02 01:29:25.040 INFO kablam! 152 |     (Sub) NatSub(Nat, Nat): Nat {
Nov 02 01:29:25.040 INFO kablam!     |                       ^^^
Nov 02 01:29:25.040 INFO kablam!     |
Nov 02 01:29:25.040 INFO kablam!     = help: the bound will not be checked when the type alias is used, and should be removed
Nov 02 01:29:25.040 INFO kablam! 
Nov 02 01:29:25.040 INFO kablam! warning: bounds on generic parameters are not enforced in type aliases
Nov 02 01:29:25.040 INFO kablam!    --> src/strong/ternary.rs:185:18
Nov 02 01:29:25.040 INFO kablam!     |
Nov 02 01:29:25.040 INFO kablam! 185 |     (Mul) NatMul(Nat, Nat): Nat {
Nov 02 01:29:25.040 INFO kablam!     |                  ^^^
Nov 02 01:29:25.040 INFO kablam!     |
Nov 02 01:29:25.040 INFO kablam!     = help: the bound will not be checked when the type alias is used, and should be removed
Nov 02 01:29:25.040 INFO kablam! 
Nov 02 01:29:25.040 INFO kablam! warning: bounds on generic parameters are not enforced in type aliases
Nov 02 01:29:25.040 INFO kablam!    --> src/strong/ternary.rs:185:23
Nov 02 01:29:25.040 INFO kablam!     |
Nov 02 01:29:25.040 INFO kablam! 185 |     (Mul) NatMul(Nat, Nat): Nat {
Nov 02 01:29:25.040 INFO kablam!     |                       ^^^
Nov 02 01:29:25.040 INFO kablam!     |
Nov 02 01:29:25.040 INFO kablam!     = help: the bound will not be checked when the type alias is used, and should be removed
Nov 02 01:29:25.040 INFO kablam! 
Nov 02 01:29:25.040 INFO kablam! warning: bounds on generic parameters are not enforced in type aliases
Nov 02 01:29:25.040 INFO kablam!    --> src/strong/ternary.rs:220:18
Nov 02 01:29:25.040 INFO kablam!     |
Nov 02 01:29:25.041 INFO kablam! 220 |     (Cmp) NatCmp(Nat, Nat, Nat, Nat, Nat): Nat {
Nov 02 01:29:25.041 INFO kablam!     |                  ^^^
Nov 02 01:29:25.041 INFO kablam!     |
Nov 02 01:29:25.041 INFO kablam!     = help: the bound will not be checked when the type alias is used, and should be removed
Nov 02 01:29:25.041 INFO kablam! 
Nov 02 01:29:25.041 INFO kablam! warning: bounds on generic parameters are not enforced in type aliases
Nov 02 01:29:25.041 INFO kablam!    --> src/strong/ternary.rs:220:23
Nov 02 01:29:25.041 INFO kablam!     |
Nov 02 01:29:25.041 INFO kablam! 220 |     (Cmp) NatCmp(Nat, Nat, Nat, Nat, Nat): Nat {
Nov 02 01:29:25.041 INFO kablam!     |                       ^^^
Nov 02 01:29:25.041 INFO kablam!     |
Nov 02 01:29:25.041 INFO kablam!     = help: the bound will not be checked when the type alias is used, and should be removed
Nov 02 01:29:25.041 INFO kablam! 
Nov 02 01:29:25.041 INFO kablam! warning: bounds on generic parameters are not enforced in type aliases
Nov 02 01:29:25.041 INFO kablam!    --> src/strong/ternary.rs:220:28
Nov 02 01:29:25.041 INFO kablam!     |
Nov 02 01:29:25.041 INFO kablam! 220 |     (Cmp) NatCmp(Nat, Nat, Nat, Nat, Nat): Nat {
Nov 02 01:29:25.041 INFO kablam!     |                            ^^^
Nov 02 01:29:25.041 INFO kablam!     |
Nov 02 01:29:25.041 INFO kablam!     = help: the bound will not be checked when the type alias is used, and should be removed
Nov 02 01:29:25.041 INFO kablam! 
Nov 02 01:29:25.041 INFO kablam! warning: bounds on generic parameters are not enforced in type aliases
Nov 02 01:29:25.041 INFO kablam!    --> src/strong/ternary.rs:220:33
Nov 02 01:29:25.041 INFO kablam!     |
Nov 02 01:29:25.041 INFO kablam! 220 |     (Cmp) NatCmp(Nat, Nat, Nat, Nat, Nat): Nat {
Nov 02 01:29:25.041 INFO kablam!     |                                 ^^^
Nov 02 01:29:25.041 INFO kablam!     |
Nov 02 01:29:25.041 INFO kablam!     = help: the bound will not be checked when the type alias is used, and should be removed
Nov 02 01:29:25.041 INFO kablam! 
Nov 02 01:29:25.041 INFO kablam! warning: bounds on generic parameters are not enforced in type aliases
Nov 02 01:29:25.041 INFO kablam!    --> src/strong/ternary.rs:220:38
Nov 02 01:29:25.041 INFO kablam!     |
Nov 02 01:29:25.041 INFO kablam! 220 |     (Cmp) NatCmp(Nat, Nat, Nat, Nat, Nat): Nat {
Nov 02 01:29:25.041 INFO kablam!     |                                      ^^^
Nov 02 01:29:25.041 INFO kablam!     |
Nov 02 01:29:25.041 INFO kablam!     = help: the bound will not be checked when the type alias is used, and should be removed
Nov 02 01:29:25.041 INFO kablam! 
Nov 02 01:29:25.041 INFO kablam! warning: bounds on generic parameters are not enforced in type aliases
Nov 02 01:29:25.041 INFO kablam!    --> src/strong/ternary.rs:247:28
Nov 02 01:29:25.041 INFO kablam!     |
Nov 02 01:29:25.041 INFO kablam! 247 |     (UndefOr2) NatUndefOr2(Nat, Nat, NatPair): NatPair {
Nov 02 01:29:25.041 INFO kablam!     |                            ^^^
Nov 02 01:29:25.041 INFO kablam!     |
Nov 02 01:29:25.041 INFO kablam!     = help: the bound will not be checked when the type alias is used, and should be removed
Nov 02 01:29:25.041 INFO kablam! 
Nov 02 01:29:25.041 INFO kablam! warning: bounds on generic parameters are not enforced in type aliases
Nov 02 01:29:25.041 INFO kablam!    --> src/strong/ternary.rs:247:33
Nov 02 01:29:25.041 INFO kablam!     |
Nov 02 01:29:25.041 INFO kablam! 247 |     (UndefOr2) NatUndefOr2(Nat, Nat, NatPair): NatPair {
Nov 02 01:29:25.041 INFO kablam!     |                                 ^^^
Nov 02 01:29:25.041 INFO kablam!     |
Nov 02 01:29:25.041 INFO kablam!     = help: the bound will not be checked when the type alias is used, and should be removed
Nov 02 01:29:25.041 INFO kablam! 
Nov 02 01:29:25.041 INFO kablam! warning: bounds on generic parameters are not enforced in type aliases
Nov 02 01:29:25.041 INFO kablam!    --> src/strong/ternary.rs:247:38
Nov 02 01:29:25.041 INFO kablam!     |
Nov 02 01:29:25.041 INFO kablam! 247 |     (UndefOr2) NatUndefOr2(Nat, Nat, NatPair): NatPair {
Nov 02 01:29:25.041 INFO kablam!     |                                      ^^^^^^^
Nov 02 01:29:25.041 INFO kablam!     |
Nov 02 01:29:25.041 INFO kablam!     = help: the bound will not be checked when the type alias is used, and should be removed
Nov 02 01:29:25.041 INFO kablam! 
Nov 02 01:29:25.041 INFO kablam! warning: bounds on generic parameters are not enforced in type aliases
Nov 02 01:29:25.041 INFO kablam!    --> src/strong/ternary.rs:262:18
Nov 02 01:29:25.041 INFO kablam!     |
Nov 02 01:29:25.041 INFO kablam! 262 |     (Rev) NatRev(Nat): Nat {
Nov 02 01:29:25.041 INFO kablam!     |                  ^^^
Nov 02 01:29:25.041 INFO kablam!     |
Nov 02 01:29:25.041 INFO kablam!     = help: the bound will not be checked when the type alias is used, and should be removed
Nov 02 01:29:25.041 INFO kablam! 
Nov 02 01:29:25.041 INFO kablam! warning: bounds on generic parameters are not enforced in type aliases
Nov 02 01:29:25.041 INFO kablam!    --> src/strong/ternary.rs:268:34
Nov 02 01:29:25.041 INFO kablam!     |
Nov 02 01:29:25.041 INFO kablam! 268 |     (RevInternal) NatRevInternal(Nat, Nat): Nat {
Nov 02 01:29:25.041 INFO kablam!     |                                  ^^^
Nov 02 01:29:25.041 INFO kablam!     |
Nov 02 01:29:25.041 INFO kablam!     = help: the bound will not be checked when the type alias is used, and should be removed
Nov 02 01:29:25.041 INFO kablam! 
Nov 02 01:29:25.041 INFO kablam! warning: bounds on generic parameters are not enforced in type aliases
Nov 02 01:29:25.041 INFO kablam!    --> src/strong/ternary.rs:268:39
Nov 02 01:29:25.041 INFO kablam!     |
Nov 02 01:29:25.041 INFO kablam! 268 |     (RevInternal) NatRevInternal(Nat, Nat): Nat {
Nov 02 01:29:25.041 INFO kablam!     |                                       ^^^
Nov 02 01:29:25.041 INFO kablam!     |
Nov 02 01:29:25.041 INFO kablam!     = help: the bound will not be checked when the type alias is used, and should be removed
Nov 02 01:29:25.041 INFO kablam! 
Nov 02 01:29:25.041 INFO kablam! warning: bounds on generic parameters are not enforced in type aliases
Nov 02 01:29:25.042 INFO kablam!    --> src/strong/ternary.rs:281:18
Nov 02 01:29:25.042 INFO kablam!     |
Nov 02 01:29:25.042 INFO kablam! 281 |     (Div) NatDiv(Nat, Nat): Nat {
Nov 02 01:29:25.042 INFO kablam!     |                  ^^^
Nov 02 01:29:25.042 INFO kablam!     |
Nov 02 01:29:25.042 INFO kablam!     = help: the bound will not be checked when the type alias is used, and should be removed
Nov 02 01:29:25.042 INFO kablam! 
Nov 02 01:29:25.042 INFO kablam! warning: bounds on generic parameters are not enforced in type aliases
Nov 02 01:29:25.042 INFO kablam!    --> src/strong/ternary.rs:281:23
Nov 02 01:29:25.042 INFO kablam!     |
Nov 02 01:29:25.042 INFO kablam! 281 |     (Div) NatDiv(Nat, Nat): Nat {
Nov 02 01:29:25.042 INFO kablam!     |                       ^^^
Nov 02 01:29:25.043 INFO kablam!     |
Nov 02 01:29:25.043 INFO kablam!     = help: the bound will not be checked when the type alias is used, and should be removed
Nov 02 01:29:25.043 INFO kablam! 
Nov 02 01:29:25.043 INFO kablam! warning: bounds on generic parameters are not enforced in type aliases
Nov 02 01:29:25.043 INFO kablam!    --> src/strong/ternary.rs:306:18
Nov 02 01:29:25.043 INFO kablam!     |
Nov 02 01:29:25.043 INFO kablam! 306 |     (Rem) NatRem(Nat, Nat): Nat {
Nov 02 01:29:25.043 INFO kablam!     |                  ^^^
Nov 02 01:29:25.043 INFO kablam!     |
Nov 02 01:29:25.043 INFO kablam!     = help: the bound will not be checked when the type alias is used, and should be removed
Nov 02 01:29:25.043 INFO kablam! 
Nov 02 01:29:25.043 INFO kablam! warning: bounds on generic parameters are not enforced in type aliases
Nov 02 01:29:25.043 INFO kablam!    --> src/strong/ternary.rs:306:23
Nov 02 01:29:25.043 INFO kablam!     |
Nov 02 01:29:25.043 INFO kablam! 306 |     (Rem) NatRem(Nat, Nat): Nat {
Nov 02 01:29:25.043 INFO kablam!     |                       ^^^
Nov 02 01:29:25.043 INFO kablam!     |
Nov 02 01:29:25.043 INFO kablam!     = help: the bound will not be checked when the type alias is used, and should be removed
Nov 02 01:29:25.043 INFO kablam! 
Nov 02 01:29:25.043 INFO kablam! warning: bounds on generic parameters are not enforced in type aliases
Nov 02 01:29:25.043 INFO kablam!    --> src/strong/ternary.rs:329:34
Nov 02 01:29:25.043 INFO kablam!     |
Nov 02 01:29:25.043 INFO kablam! 329 |     (DivInternal) NatDivInternal(Nat, Nat, NatPair): NatPair {
Nov 02 01:29:25.043 INFO kablam!     |                                  ^^^
Nov 02 01:29:25.043 INFO kablam!     |
Nov 02 01:29:25.043 INFO kablam!     = help: the bound will not be checked when the type alias is used, and should be removed
Nov 02 01:29:25.043 INFO kablam! 
Nov 02 01:29:25.043 INFO kablam! warning: bounds on generic parameters are not enforced in type aliases
Nov 02 01:29:25.043 INFO kablam!    --> src/strong/ternary.rs:329:39
Nov 02 01:29:25.043 INFO kablam!     |
Nov 02 01:29:25.043 INFO kablam! 329 |     (DivInternal) NatDivInternal(Nat, Nat, NatPair): NatPair {
Nov 02 01:29:25.043 INFO kablam!     |                                       ^^^
Nov 02 01:29:25.043 INFO kablam!     |
Nov 02 01:29:25.043 INFO kablam!     = help: the bound will not be checked when the type alias is used, and should be removed
Nov 02 01:29:25.043 INFO kablam! 
Nov 02 01:29:25.043 INFO kablam! warning: bounds on generic parameters are not enforced in type aliases
Nov 02 01:29:25.043 INFO kablam!    --> src/strong/ternary.rs:329:44
Nov 02 01:29:25.043 INFO kablam!     |
Nov 02 01:29:25.043 INFO kablam! 329 |     (DivInternal) NatDivInternal(Nat, Nat, NatPair): NatPair {
Nov 02 01:29:25.043 INFO kablam!     |                                            ^^^^^^^
Nov 02 01:29:25.043 INFO kablam!     |
Nov 02 01:29:25.043 INFO kablam!     = help: the bound will not be checked when the type alias is used, and should be removed
Nov 02 01:29:25.043 INFO kablam! 
Nov 02 01:29:25.043 INFO kablam! warning: bounds on generic parameters are not enforced in type aliases
Nov 02 01:29:25.043 INFO kablam!   --> src/strong/balanced.rs:10:24
Nov 02 01:29:25.043 INFO kablam!    |
Nov 02 01:29:25.043 INFO kablam! 10 |     (Int2First) Int2P1(IntPair): Int {
Nov 02 01:29:25.043 INFO kablam!    |                        ^^^^^^^
Nov 02 01:29:25.043 INFO kablam!    |
Nov 02 01:29:25.043 INFO kablam!    = help: the bound will not be checked when the type alias is used, and should be removed
Nov 02 01:29:25.043 INFO kablam! 
Nov 02 01:29:25.043 INFO kablam! warning: bounds on generic parameters are not enforced in type aliases
Nov 02 01:29:25.043 INFO kablam!   --> src/strong/balanced.rs:17:25
Nov 02 01:29:25.043 INFO kablam!    |
Nov 02 01:29:25.043 INFO kablam! 17 |     (Int2Second) Int2P2(IntPair): Int {
Nov 02 01:29:25.043 INFO kablam!    |                         ^^^^^^^
Nov 02 01:29:25.043 INFO kablam!    |
Nov 02 01:29:25.043 INFO kablam!    = help: the bound will not be checked when the type alias is used, and should be removed
Nov 02 01:29:25.043 INFO kablam! 
Nov 02 01:29:25.043 INFO kablam! warning: bounds on generic parameters are not enforced in type aliases
Nov 02 01:29:25.043 INFO kablam!   --> src/strong/balanced.rs:24:20
Nov 02 01:29:25.043 INFO kablam!    |
Nov 02 01:29:25.043 INFO kablam! 24 |     (Succ) IntSucc(Int): Int {
Nov 02 01:29:25.043 INFO kablam!    |                    ^^^
Nov 02 01:29:25.043 INFO kablam!    |
Nov 02 01:29:25.043 INFO kablam!    = help: the bound will not be checked when the type alias is used, and should be removed
Nov 02 01:29:25.043 INFO kablam! 
Nov 02 01:29:25.043 INFO kablam! warning: bounds on generic parameters are not enforced in type aliases
Nov 02 01:29:25.043 INFO kablam!   --> src/strong/balanced.rs:35:20
Nov 02 01:29:25.043 INFO kablam!    |
Nov 02 01:29:25.043 INFO kablam! 35 |     (Pred) IntPred(Int): Int {
Nov 02 01:29:25.043 INFO kablam!    |                    ^^^
Nov 02 01:29:25.043 INFO kablam!    |
Nov 02 01:29:25.043 INFO kablam!    = help: the bound will not be checked when the type alias is used, and should be removed
Nov 02 01:29:25.043 INFO kablam! 
Nov 02 01:29:25.043 INFO kablam! warning: bounds on generic parameters are not enforced in type aliases
Nov 02 01:29:25.043 INFO kablam!   --> src/strong/balanced.rs:49:24
Nov 02 01:29:25.043 INFO kablam!    |
Nov 02 01:29:25.043 INFO kablam! 49 |     (Triple) IntTriple(Int): Int {
Nov 02 01:29:25.043 INFO kablam!    |                        ^^^
Nov 02 01:29:25.043 INFO kablam!    |
Nov 02 01:29:25.043 INFO kablam!    = help: the bound will not be checked when the type alias is used, and should be removed
Nov 02 01:29:25.043 INFO kablam! 
Nov 02 01:29:25.043 INFO kablam! warning: bounds on generic parameters are not enforced in type aliases
Nov 02 01:29:25.043 INFO kablam!   --> src/strong/balanced.rs:62:24
Nov 02 01:29:25.043 INFO kablam!    |
Nov 02 01:29:25.043 INFO kablam! 62 |     (IntUnique) Unique(Int): Int {
Nov 02 01:29:25.044 INFO kablam!    |                        ^^^
Nov 02 01:29:25.044 INFO kablam!    |
Nov 02 01:29:25.044 INFO kablam!    = help: the bound will not be checked when the type alias is used, and should be removed
Nov 02 01:29:25.044 INFO kablam! 
Nov 02 01:29:25.044 INFO kablam! warning: bounds on generic parameters are not enforced in type aliases
Nov 02 01:29:25.044 INFO kablam!   --> src/strong/balanced.rs:80:18
Nov 02 01:29:25.044 INFO kablam!    |
Nov 02 01:29:25.044 INFO kablam! 80 |     (Neg) IntNeg(Int): Int {
Nov 02 01:29:25.044 INFO kablam!    |                  ^^^
Nov 02 01:29:25.044 INFO kablam!    |
Nov 02 01:29:25.044 INFO kablam!    = help: the bound will not be checked when the type alias is used, and should be removed
Nov 02 01:29:25.044 INFO kablam! 
Nov 02 01:29:25.044 INFO kablam! warning: bounds on generic parameters are not enforced in type aliases
Nov 02 01:29:25.044 INFO kablam!   --> src/strong/balanced.rs:94:18
Nov 02 01:29:25.044 INFO kablam!    |
Nov 02 01:29:25.044 INFO kablam! 94 |     (Add) IntAdd(Int, Int): Int {
Nov 02 01:29:25.044 INFO kablam!    |                  ^^^
Nov 02 01:29:25.044 INFO kablam!    |
Nov 02 01:29:25.044 INFO kablam!    = help: the bound will not be checked when the type alias is used, and should be removed
Nov 02 01:29:25.044 INFO kablam! 
Nov 02 01:29:25.044 INFO kablam! warning: bounds on generic parameters are not enforced in type aliases
Nov 02 01:29:25.044 INFO kablam!   --> src/strong/balanced.rs:94:23
Nov 02 01:29:25.044 INFO kablam!    |
Nov 02 01:29:25.044 INFO kablam! 94 |     (Add) IntAdd(Int, Int): Int {
Nov 02 01:29:25.044 INFO kablam!    |                       ^^^
Nov 02 01:29:25.044 INFO kablam!    |
Nov 02 01:29:25.044 INFO kablam!    = help: the bound will not be checked when the type alias is used, and should be removed
Nov 02 01:29:25.044 INFO kablam! 
Nov 02 01:29:25.044 INFO kablam! warning: bounds on generic parameters are not enforced in type aliases
Nov 02 01:29:25.044 INFO kablam!    --> src/strong/balanced.rs:127:18
Nov 02 01:29:25.044 INFO kablam!     |
Nov 02 01:29:25.044 INFO kablam! 127 |     (Sub) IntSub(Int, Int): Int {
Nov 02 01:29:25.044 INFO kablam!     |                  ^^^
Nov 02 01:29:25.044 INFO kablam!     |
Nov 02 01:29:25.044 INFO kablam!     = help: the bound will not be checked when the type alias is used, and should be removed
Nov 02 01:29:25.044 INFO kablam! 
Nov 02 01:29:25.044 INFO kablam! warning: bounds on generic parameters are not enforced in type aliases
Nov 02 01:29:25.044 INFO kablam!    --> src/strong/balanced.rs:127:23
Nov 02 01:29:25.044 INFO kablam!     |
Nov 02 01:29:25.044 INFO kablam! 127 |     (Sub) IntSub(Int, Int): Int {
Nov 02 01:29:25.044 INFO kablam!     |                       ^^^
Nov 02 01:29:25.044 INFO kablam!     |
Nov 02 01:29:25.044 INFO kablam!     = help: the bound will not be checked when the type alias is used, and should be removed
Nov 02 01:29:25.044 INFO kablam! 
Nov 02 01:29:25.044 INFO kablam! warning: bounds on generic parameters are not enforced in type aliases
Nov 02 01:29:25.044 INFO kablam!    --> src/strong/balanced.rs:160:18
Nov 02 01:29:25.044 INFO kablam!     |
Nov 02 01:29:25.044 INFO kablam! 160 |     (Mul) IntMul(Int, Int): Int {
Nov 02 01:29:25.044 INFO kablam!     |                  ^^^
Nov 02 01:29:25.044 INFO kablam!     |
Nov 02 01:29:25.044 INFO kablam!     = help: the bound will not be checked when the type alias is used, and should be removed
Nov 02 01:29:25.044 INFO kablam! 
Nov 02 01:29:25.044 INFO kablam! warning: bounds on generic parameters are not enforced in type aliases
Nov 02 01:29:25.044 INFO kablam!    --> src/strong/balanced.rs:160:23
Nov 02 01:29:25.044 INFO kablam!     |
Nov 02 01:29:25.044 INFO kablam! 160 |     (Mul) IntMul(Int, Int): Int {
Nov 02 01:29:25.044 INFO kablam!     |                       ^^^
Nov 02 01:29:25.044 INFO kablam!     |
Nov 02 01:29:25.044 INFO kablam!     = help: the bound will not be checked when the type alias is used, and should be removed
Nov 02 01:29:25.044 INFO kablam! 
Nov 02 01:29:25.044 INFO kablam! warning: bounds on generic parameters are not enforced in type aliases
Nov 02 01:29:25.044 INFO kablam!    --> src/strong/balanced.rs:196:18
Nov 02 01:29:25.044 INFO kablam!     |
Nov 02 01:29:25.044 INFO kablam! 196 |     (Cmp) IntCmp(Int, Int, Int, Int, Int): Int {
Nov 02 01:29:25.044 INFO kablam!     |                  ^^^
Nov 02 01:29:25.044 INFO kablam!     |
Nov 02 01:29:25.044 INFO kablam!     = help: the bound will not be checked when the type alias is used, and should be removed
Nov 02 01:29:25.044 INFO kablam! 
Nov 02 01:29:25.044 INFO kablam! warning: bounds on generic parameters are not enforced in type aliases
Nov 02 01:29:25.044 INFO kablam!    --> src/strong/balanced.rs:196:23
Nov 02 01:29:25.044 INFO kablam!     |
Nov 02 01:29:25.044 INFO kablam! 196 |     (Cmp) IntCmp(Int, Int, Int, Int, Int): Int {
Nov 02 01:29:25.044 INFO kablam!     |                       ^^^
Nov 02 01:29:25.044 INFO kablam!     |
Nov 02 01:29:25.044 INFO kablam!     = help: the bound will not be checked when the type alias is used, and should be removed
Nov 02 01:29:25.044 INFO kablam! 
Nov 02 01:29:25.044 INFO kablam! warning: bounds on generic parameters are not enforced in type aliases
Nov 02 01:29:25.044 INFO kablam!    --> src/strong/balanced.rs:196:28
Nov 02 01:29:25.044 INFO kablam!     |
Nov 02 01:29:25.044 INFO kablam! 196 |     (Cmp) IntCmp(Int, Int, Int, Int, Int): Int {
Nov 02 01:29:25.044 INFO kablam!     |                            ^^^
Nov 02 01:29:25.044 INFO kablam!     |
Nov 02 01:29:25.045 INFO kablam!     = help: the bound will not be checked when the type alias is used, and should be removed
Nov 02 01:29:25.045 INFO kablam! 
Nov 02 01:29:25.045 INFO kablam! warning: bounds on generic parameters are not enforced in type aliases
Nov 02 01:29:25.045 INFO kablam!    --> src/strong/balanced.rs:196:33
Nov 02 01:29:25.045 INFO kablam!     |
Nov 02 01:29:25.045 INFO kablam! 196 |     (Cmp) IntCmp(Int, Int, Int, Int, Int): Int {
Nov 02 01:29:25.045 INFO kablam!     |                                 ^^^
Nov 02 01:29:25.045 INFO kablam!     |
Nov 02 01:29:25.045 INFO kablam!     = help: the bound will not be checked when the type alias is used, and should be removed
Nov 02 01:29:25.045 INFO kablam! 
Nov 02 01:29:25.045 INFO kablam! warning: bounds on generic parameters are not enforced in type aliases
Nov 02 01:29:25.045 INFO kablam!    --> src/strong/balanced.rs:196:38
Nov 02 01:29:25.045 INFO kablam!     |
Nov 02 01:29:25.045 INFO kablam! 196 |     (Cmp) IntCmp(Int, Int, Int, Int, Int): Int {
Nov 02 01:29:25.045 INFO kablam!     |                                      ^^^
Nov 02 01:29:25.045 INFO kablam!     |
Nov 02 01:29:25.045 INFO kablam!     = help: the bound will not be checked when the type alias is used, and should be removed
Nov 02 01:29:25.045 INFO kablam! 
Nov 02 01:29:25.045 INFO kablam! warning: bounds on generic parameters are not enforced in type aliases
Nov 02 01:29:25.045 INFO kablam!    --> src/strong/balanced.rs:223:20
Nov 02 01:29:25.045 INFO kablam!     |
Nov 02 01:29:25.045 INFO kablam! 223 |     (Cmp2) IntCmp2(Int, Int, IntPair, IntPair, IntPair): IntPair {
Nov 02 01:29:25.045 INFO kablam!     |                    ^^^
Nov 02 01:29:25.045 INFO kablam!     |
Nov 02 01:29:25.045 INFO kablam!     = help: the bound will not be checked when the type alias is used, and should be removed
Nov 02 01:29:25.045 INFO kablam! 
Nov 02 01:29:25.046 INFO kablam! warning: bounds on generic parameters are not enforced in type aliases
Nov 02 01:29:25.046 INFO kablam!    --> src/strong/balanced.rs:223:25
Nov 02 01:29:25.046 INFO kablam!     |
Nov 02 01:29:25.046 INFO kablam! 223 |     (Cmp2) IntCmp2(Int, Int, IntPair, IntPair, IntPair): IntPair {
Nov 02 01:29:25.046 INFO kablam!     |                         ^^^
Nov 02 01:29:25.046 INFO kablam!     |
Nov 02 01:29:25.046 INFO kablam!     = help: the bound will not be checked when the type alias is used, and should be removed
Nov 02 01:29:25.046 INFO kablam! 
Nov 02 01:29:25.046 INFO kablam! warning: bounds on generic parameters are not enforced in type aliases
Nov 02 01:29:25.046 INFO kablam!    --> src/strong/balanced.rs:223:30
Nov 02 01:29:25.046 INFO kablam!     |
Nov 02 01:29:25.046 INFO kablam! 223 |     (Cmp2) IntCmp2(Int, Int, IntPair, IntPair, IntPair): IntPair {
Nov 02 01:29:25.046 INFO kablam!     |                              ^^^^^^^
Nov 02 01:29:25.046 INFO kablam!     |
Nov 02 01:29:25.046 INFO kablam!     = help: the bound will not be checked when the type alias is used, and should be removed
Nov 02 01:29:25.046 INFO kablam! 
Nov 02 01:29:25.046 INFO kablam! warning: bounds on generic parameters are not enforced in type aliases
Nov 02 01:29:25.046 INFO kablam!    --> src/strong/balanced.rs:223:39
Nov 02 01:29:25.046 INFO kablam!     |
Nov 02 01:29:25.046 INFO kablam! 223 |     (Cmp2) IntCmp2(Int, Int, IntPair, IntPair, IntPair): IntPair {
Nov 02 01:29:25.046 INFO kablam!     |                                       ^^^^^^^
Nov 02 01:29:25.046 INFO kablam!     |
Nov 02 01:29:25.046 INFO kablam!     = help: the bound will not be checked when the type alias is used, and should be removed
Nov 02 01:29:25.046 INFO kablam! 
Nov 02 01:29:25.046 INFO kablam! warning: bounds on generic parameters are not enforced in type aliases
Nov 02 01:29:25.046 INFO kablam!    --> src/strong/balanced.rs:223:48
Nov 02 01:29:25.046 INFO kablam!     |
Nov 02 01:29:25.046 INFO kablam! 223 |     (Cmp2) IntCmp2(Int, Int, IntPair, IntPair, IntPair): IntPair {
Nov 02 01:29:25.046 INFO kablam!     |                                                ^^^^^^^
Nov 02 01:29:25.046 INFO kablam!     |
Nov 02 01:29:25.046 INFO kablam!     = help: the bound will not be checked when the type alias is used, and should be removed
Nov 02 01:29:25.046 INFO kablam! 
Nov 02 01:29:25.046 INFO kablam! warning: bounds on generic parameters are not enforced in type aliases
Nov 02 01:29:25.046 INFO kablam!    --> src/strong/balanced.rs:248:24
Nov 02 01:29:25.046 INFO kablam!     |
Nov 02 01:29:25.046 INFO kablam! 248 |     (LteCmp) IntLteCmp(Int, Int, Int, Int): Int {
Nov 02 01:29:25.046 INFO kablam!     |                        ^^^
Nov 02 01:29:25.046 INFO kablam!     |
Nov 02 01:29:25.046 INFO kablam!     = help: the bound will not be checked when the type alias is used, and should be removed
Nov 02 01:29:25.046 INFO kablam! 
Nov 02 01:29:25.046 INFO kablam! warning: bounds on generic parameters are not enforced in type aliases
Nov 02 01:29:25.046 INFO kablam!    --> src/strong/balanced.rs:248:29
Nov 02 01:29:25.046 INFO kablam!     |
Nov 02 01:29:25.046 INFO kablam! 248 |     (LteCmp) IntLteCmp(Int, Int, Int, Int): Int {
Nov 02 01:29:25.046 INFO kablam!     |                             ^^^
Nov 02 01:29:25.046 INFO kablam!     |
Nov 02 01:29:25.046 INFO kablam!     = help: the bound will not be checked when the type alias is used, and should be removed
Nov 02 01:29:25.046 INFO kablam! 
Nov 02 01:29:25.046 INFO kablam! warning: bounds on generic parameters are not enforced in type aliases
Nov 02 01:29:25.046 INFO kablam!    --> src/strong/balanced.rs:248:34
Nov 02 01:29:25.046 INFO kablam!     |
Nov 02 01:29:25.046 INFO kablam! 248 |     (LteCmp) IntLteCmp(Int, Int, Int, Int): Int {
Nov 02 01:29:25.046 INFO kablam!     |                                  ^^^
Nov 02 01:29:25.046 INFO kablam!     |
Nov 02 01:29:25.046 INFO kablam!     = help: the bound will not be checked when the type alias is used, and should be removed
Nov 02 01:29:25.046 INFO kablam! 
Nov 02 01:29:25.046 INFO kablam! warning: bounds on generic parameters are not enforced in type aliases
Nov 02 01:29:25.046 INFO kablam!    --> src/strong/balanced.rs:248:39
Nov 02 01:29:25.046 INFO kablam!     |
Nov 02 01:29:25.046 INFO kablam! 248 |     (LteCmp) IntLteCmp(Int, Int, Int, Int): Int {
Nov 02 01:29:25.046 INFO kablam!     |                                       ^^^
Nov 02 01:29:25.046 INFO kablam!     |
Nov 02 01:29:25.046 INFO kablam!     = help: the bound will not be checked when the type alias is used, and should be removed
Nov 02 01:29:25.046 INFO kablam! 
Nov 02 01:29:25.046 INFO kablam! warning: bounds on generic parameters are not enforced in type aliases
Nov 02 01:29:25.046 INFO kablam!    --> src/strong/balanced.rs:254:26
Nov 02 01:29:25.046 INFO kablam!     |
Nov 02 01:29:25.046 INFO kablam! 254 |     (LteCmp2) IntLteCmp2(Int, Int, IntPair, IntPair): IntPair {
Nov 02 01:29:25.046 INFO kablam!     |                          ^^^
Nov 02 01:29:25.046 INFO kablam!     |
Nov 02 01:29:25.046 INFO kablam!     = help: the bound will not be checked when the type alias is used, and should be removed
Nov 02 01:29:25.046 INFO kablam! 
Nov 02 01:29:25.046 INFO kablam! warning: bounds on generic parameters are not enforced in type aliases
Nov 02 01:29:25.046 INFO kablam!    --> src/strong/balanced.rs:254:31
Nov 02 01:29:25.046 INFO kablam!     |
Nov 02 01:29:25.046 INFO kablam! 254 |     (LteCmp2) IntLteCmp2(Int, Int, IntPair, IntPair): IntPair {
Nov 02 01:29:25.046 INFO kablam!     |                               ^^^
Nov 02 01:29:25.046 INFO kablam!     |
Nov 02 01:29:25.046 INFO kablam!     = help: the bound will not be checked when the type alias is used, and should be removed
Nov 02 01:29:25.046 INFO kablam! 
Nov 02 01:29:25.046 INFO kablam! warning: bounds on generic parameters are not enforced in type aliases
Nov 02 01:29:25.047 INFO kablam!    --> src/strong/balanced.rs:254:36
Nov 02 01:29:25.047 INFO kablam!     |
Nov 02 01:29:25.047 INFO kablam! 254 |     (LteCmp2) IntLteCmp2(Int, Int, IntPair, IntPair): IntPair {
Nov 02 01:29:25.047 INFO kablam!     |                                    ^^^^^^^
Nov 02 01:29:25.047 INFO kablam!     |
Nov 02 01:29:25.047 INFO kablam!     = help: the bound will not be checked when the type alias is used, and should be removed
Nov 02 01:29:25.047 INFO kablam! 
Nov 02 01:29:25.047 INFO kablam! warning: bounds on generic parameters are not enforced in type aliases
Nov 02 01:29:25.047 INFO kablam!    --> src/strong/balanced.rs:254:45
Nov 02 01:29:25.047 INFO kablam!     |
Nov 02 01:29:25.047 INFO kablam! 254 |     (LteCmp2) IntLteCmp2(Int, Int, IntPair, IntPair): IntPair {
Nov 02 01:29:25.047 INFO kablam!     |                                             ^^^^^^^
Nov 02 01:29:25.047 INFO kablam!     |
Nov 02 01:29:25.047 INFO kablam!     = help: the bound will not be checked when the type alias is used, and should be removed
Nov 02 01:29:25.047 INFO kablam! 
Nov 02 01:29:25.047 INFO kablam! warning: bounds on generic parameters are not enforced in type aliases
Nov 02 01:29:25.047 INFO kablam!    --> src/strong/balanced.rs:261:18
Nov 02 01:29:25.047 INFO kablam!     |
Nov 02 01:29:25.047 INFO kablam! 261 |     (Abs) IntAbs(Int): Int {
Nov 02 01:29:25.047 INFO kablam!     |                  ^^^
Nov 02 01:29:25.047 INFO kablam!     |
Nov 02 01:29:25.047 INFO kablam!     = help: the bound will not be checked when the type alias is used, and should be removed
Nov 02 01:29:25.047 INFO kablam! 
Nov 02 01:29:25.047 INFO kablam! warning: bounds on generic parameters are not enforced in type aliases
Nov 02 01:29:25.047 INFO kablam!    --> src/strong/balanced.rs:273:40
Nov 02 01:29:25.047 INFO kablam!     |
Nov 02 01:29:25.047 INFO kablam! 273 |     (AbsMinThreeCmp) IntAbsMinThreeCmp(Int, Int, Int, Int, Int, Int): IntPair {
Nov 02 01:29:25.047 INFO kablam!     |                                        ^^^
Nov 02 01:29:25.047 INFO kablam!     |
Nov 02 01:29:25.047 INFO kablam!     = help: the bound will not be checked when the type alias is used, and should be removed
Nov 02 01:29:25.047 INFO kablam! 
Nov 02 01:29:25.047 INFO kablam! warning: bounds on generic parameters are not enforced in type aliases
Nov 02 01:29:25.047 INFO kablam!    --> src/strong/balanced.rs:273:45
Nov 02 01:29:25.047 INFO kablam!     |
Nov 02 01:29:25.047 INFO kablam! 273 |     (AbsMinThreeCmp) IntAbsMinThreeCmp(Int, Int, Int, Int, Int, Int): IntPair {
Nov 02 01:29:25.047 INFO kablam!     |                                             ^^^
Nov 02 01:29:25.047 INFO kablam!     |
Nov 02 01:29:25.047 INFO kablam!     = help: the bound will not be checked when the type alias is used, and should be removed
Nov 02 01:29:25.047 INFO kablam! 
Nov 02 01:29:25.047 INFO kablam! warning: bounds on generic parameters are not enforced in type aliases
Nov 02 01:29:25.047 INFO kablam!    --> src/strong/balanced.rs:273:50
Nov 02 01:29:25.047 INFO kablam!     |
Nov 02 01:29:25.047 INFO kablam! 273 |     (AbsMinThreeCmp) IntAbsMinThreeCmp(Int, Int, Int, Int, Int, Int): IntPair {
Nov 02 01:29:25.047 INFO kablam!     |                                                  ^^^
Nov 02 01:29:25.047 INFO kablam!     |
Nov 02 01:29:25.047 INFO kablam!     = help: the bound will not be checked when the type alias is used, and should be removed
Nov 02 01:29:25.047 INFO kablam! 
Nov 02 01:29:25.047 INFO kablam! warning: bounds on generic parameters are not enforced in type aliases
Nov 02 01:29:25.047 INFO kablam!    --> src/strong/balanced.rs:273:55
Nov 02 01:29:25.047 INFO kablam!     |
Nov 02 01:29:25.047 INFO kablam! 273 |     (AbsMinThreeCmp) IntAbsMinThreeCmp(Int, Int, Int, Int, Int, Int): IntPair {
Nov 02 01:29:25.047 INFO kablam!     |                                                       ^^^
Nov 02 01:29:25.047 INFO kablam!     |
Nov 02 01:29:25.047 INFO kablam!     = help: the bound will not be checked when the type alias is used, and should be removed
Nov 02 01:29:25.047 INFO kablam! 
Nov 02 01:29:25.048 INFO kablam! warning: bounds on generic parameters are not enforced in type aliases
Nov 02 01:29:25.048 INFO kablam!    --> src/strong/balanced.rs:273:60
Nov 02 01:29:25.048 INFO kablam!     |
Nov 02 01:29:25.048 INFO kablam! 273 |     (AbsMinThreeCmp) IntAbsMinThreeCmp(Int, Int, Int, Int, Int, Int): IntPair {
Nov 02 01:29:25.048 INFO kablam!     |                                                            ^^^
Nov 02 01:29:25.048 INFO kablam!     |
Nov 02 01:29:25.048 INFO kablam!     = help: the bound will not be checked when the type alias is used, and should be removed
Nov 02 01:29:25.048 INFO kablam! 
Nov 02 01:29:25.048 INFO kablam! warning: bounds on generic parameters are not enforced in type aliases
Nov 02 01:29:25.048 INFO kablam!    --> src/strong/balanced.rs:273:65
Nov 02 01:29:25.048 INFO kablam!     |
Nov 02 01:29:25.048 INFO kablam! 273 |     (AbsMinThreeCmp) IntAbsMinThreeCmp(Int, Int, Int, Int, Int, Int): IntPair {
Nov 02 01:29:25.048 INFO kablam!     |                                                                 ^^^
Nov 02 01:29:25.048 INFO kablam!     |
Nov 02 01:29:25.048 INFO kablam!     = help: the bound will not be checked when the type alias is used, and should be removed
Nov 02 01:29:25.048 INFO kablam! 
Nov 02 01:29:25.048 INFO kablam! warning: bounds on generic parameters are not enforced in type aliases
Nov 02 01:29:25.048 INFO kablam!    --> src/strong/balanced.rs:284:18
Nov 02 01:29:25.048 INFO kablam!     |
Nov 02 01:29:25.048 INFO kablam! 284 |     (Rev) IntRev(Int): Int {
Nov 02 01:29:25.048 INFO kablam!     |                  ^^^
Nov 02 01:29:25.048 INFO kablam!     |
Nov 02 01:29:25.048 INFO kablam!     = help: the bound will not be checked when the type alias is used, and should be removed
Nov 02 01:29:25.048 INFO kablam! 
Nov 02 01:29:25.048 INFO kablam! warning: bounds on generic parameters are not enforced in type aliases
Nov 02 01:29:25.048 INFO kablam!    --> src/strong/balanced.rs:290:34
Nov 02 01:29:25.048 INFO kablam!     |
Nov 02 01:29:25.048 INFO kablam! 290 |     (RevInternal) IntRevInternal(Int, Int): Int {
Nov 02 01:29:25.048 INFO kablam!     |                                  ^^^
Nov 02 01:29:25.048 INFO kablam!     |
Nov 02 01:29:25.048 INFO kablam!     = help: the bound will not be checked when the type alias is used, and should be removed
Nov 02 01:29:25.048 INFO kablam! 
Nov 02 01:29:25.048 INFO kablam! warning: bounds on generic parameters are not enforced in type aliases
Nov 02 01:29:25.048 INFO kablam!    --> src/strong/balanced.rs:290:39
Nov 02 01:29:25.048 INFO kablam!     |
Nov 02 01:29:25.048 INFO kablam! 290 |     (RevInternal) IntRevInternal(Int, Int): Int {
Nov 02 01:29:25.048 INFO kablam!     |                                       ^^^
Nov 02 01:29:25.048 INFO kablam!     |
Nov 02 01:29:25.048 INFO kablam!     = help: the bound will not be checked when the type alias is used, and should be removed
Nov 02 01:29:25.048 INFO kablam! 
Nov 02 01:29:25.048 INFO kablam! warning: bounds on generic parameters are not enforced in type aliases
Nov 02 01:29:25.048 INFO kablam!    --> src/strong/balanced.rs:302:18
Nov 02 01:29:25.048 INFO kablam!     |
Nov 02 01:29:25.048 INFO kablam! 302 |     (Div) IntDiv(Int, Int): Int {
Nov 02 01:29:25.048 INFO kablam!     |                  ^^^
Nov 02 01:29:25.048 INFO kablam!     |
Nov 02 01:29:25.048 INFO kablam!     = help: the bound will not be checked when the type alias is used, and should be removed
Nov 02 01:29:25.048 INFO kablam! 
Nov 02 01:29:25.048 INFO kablam! warning: bounds on generic parameters are not enforced in type aliases
Nov 02 01:29:25.048 INFO kablam!    --> src/strong/balanced.rs:302:23
Nov 02 01:29:25.048 INFO kablam!     |
Nov 02 01:29:25.048 INFO kablam! 302 |     (Div) IntDiv(Int, Int): Int {
Nov 02 01:29:25.048 INFO kablam!     |                       ^^^
Nov 02 01:29:25.048 INFO kablam!     |
Nov 02 01:29:25.048 INFO kablam!     = help: the bound will not be checked when the type alias is used, and should be removed
Nov 02 01:29:25.048 INFO kablam! 
Nov 02 01:29:25.048 INFO kablam! warning: bounds on generic parameters are not enforced in type aliases
Nov 02 01:29:25.048 INFO kablam!    --> src/strong/balanced.rs:326:18
Nov 02 01:29:25.048 INFO kablam!     |
Nov 02 01:29:25.048 INFO kablam! 326 |     (Rem) IntRem(Int, Int): Int {
Nov 02 01:29:25.048 INFO kablam!     |                  ^^^
Nov 02 01:29:25.048 INFO kablam!     |
Nov 02 01:29:25.048 INFO kablam!     = help: the bound will not be checked when the type alias is used, and should be removed
Nov 02 01:29:25.048 INFO kablam! 
Nov 02 01:29:25.048 INFO kablam! warning: bounds on generic parameters are not enforced in type aliases
Nov 02 01:29:25.048 INFO kablam!    --> src/strong/balanced.rs:326:23
Nov 02 01:29:25.048 INFO kablam!     |
Nov 02 01:29:25.048 INFO kablam! 326 |     (Rem) IntRem(Int, Int): Int {
Nov 02 01:29:25.048 INFO kablam!     |                       ^^^
Nov 02 01:29:25.048 INFO kablam!     |
Nov 02 01:29:25.048 INFO kablam!     = help: the bound will not be checked when the type alias is used, and should be removed
Nov 02 01:29:25.048 INFO kablam! 
Nov 02 01:29:25.048 INFO kablam! warning: bounds on generic parameters are not enforced in type aliases
Nov 02 01:29:25.049 INFO kablam!    --> src/strong/balanced.rs:349:34
Nov 02 01:29:25.049 INFO kablam!     |
Nov 02 01:29:25.049 INFO kablam! 349 |     (DivInternal) IntDivInternal(Int, Int, IntPair): IntPair {
Nov 02 01:29:25.049 INFO kablam!     |                                  ^^^
Nov 02 01:29:25.049 INFO kablam!     |
Nov 02 01:29:25.049 INFO kablam!     = help: the bound will not be checked when the type alias is used, and should be removed
Nov 02 01:29:25.049 INFO kablam! 
Nov 02 01:29:25.049 INFO kablam! warning: bounds on generic parameters are not enforced in type aliases
Nov 02 01:29:25.049 INFO kablam!    --> src/strong/balanced.rs:349:39
Nov 02 01:29:25.049 INFO kablam!     |
Nov 02 01:29:25.049 INFO kablam! 349 |     (DivInternal) IntDivInternal(Int, Int, IntPair): IntPair {
Nov 02 01:29:25.049 INFO kablam!     |                                       ^^^
Nov 02 01:29:25.049 INFO kablam!     |
Nov 02 01:29:25.049 INFO kablam!     = help: the bound will not be checked when the type alias is used, and should be removed
Nov 02 01:29:25.051 INFO kablam! 
Nov 02 01:29:25.051 INFO kablam! warning: bounds on generic parameters are not enforced in type aliases
Nov 02 01:29:25.051 INFO kablam!    --> src/strong/balanced.rs:349:44
Nov 02 01:29:25.051 INFO kablam!     |
Nov 02 01:29:25.051 INFO kablam! 349 |     (DivInternal) IntDivInternal(Int, Int, IntPair): IntPair {
Nov 02 01:29:25.051 INFO kablam!     |                                            ^^^^^^^
Nov 02 01:29:25.051 INFO kablam!     |
Nov 02 01:29:25.051 INFO kablam!     = help: the bound will not be checked when the type alias is used, and should be removed
Nov 02 01:29:25.051 INFO kablam! 
Nov 02 01:29:25.336 INFO kablam!     Finished dev [unoptimized + debuginfo] target(s) in 2.41s
Nov 02 01:29:25.339 INFO kablam! su: No module specific data is present
Nov 02 01:29:26.913 INFO running `"docker" "rm" "-f" "4dc3ab6ddd7fe8aaa85c8a4fb85aa761b6258673cdfd85520cd4a30c6556f72f"`
Nov 02 01:29:27.191 INFO blam! 4dc3ab6ddd7fe8aaa85c8a4fb85aa761b6258673cdfd85520cd4a30c6556f72f
Nov 02 01:29:27.192 INFO running `"docker" "create" "-v" "/mnt/big/crater/work/local/target-dirs/beta-1.31-1/worker-2/beta-2018-10-30:/target:rw,Z" "-v" "/mnt/big/crater/work/local/test-source/worker-2/beta-1.31-1/beta-2018-10-30:/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 +beta-2018-10-30 test --frozen --no-run" "-e" "CARGO_TARGET_DIR=/target" "-e" "CARGO_INCREMENTAL=0" "-e" "RUST_BACKTRACE=full" "-e" "RUSTFLAGS=--cap-lints=warn" "-e" "CARGO_HOME=/cargo-home" "-e" "RUSTUP_HOME=/rustup-home" "-m" "1536M" "--network" "none" "crater"`
Nov 02 01:29:27.735 INFO blam! bae9cd53c592ee99dfc63a4a32a3fff95c944da1529dab6d04736c2e9599284e
Nov 02 01:29:27.739 INFO running `"docker" "start" "-a" "bae9cd53c592ee99dfc63a4a32a3fff95c944da1529dab6d04736c2e9599284e"`
Nov 02 01:29:28.761 INFO kablam! usermod: no changes
Nov 02 01:29:28.839 INFO kablam!    Compiling type-level-logic v0.1.0 (/source)
Nov 02 01:29:31.835 INFO kablam! warning: bounds on generic parameters are not enforced in type aliases
Nov 02 01:29:31.835 INFO kablam!  --> src/strong/boolean.rs:9:19
Nov 02 01:29:31.835 INFO kablam!   |
Nov 02 01:29:31.836 INFO kablam! 9 |     (And) BoolAnd(Bool, Bool): Bool {
Nov 02 01:29:31.836 INFO kablam!   |                   ^^^^
Nov 02 01:29:31.837 INFO kablam!   |
Nov 02 01:29:31.837 INFO kablam!   = note: #[warn(type_alias_bounds)] on by default
Nov 02 01:29:31.837 INFO kablam!   = help: the bound will not be checked when the type alias is used, and should be removed
Nov 02 01:29:31.838 INFO kablam! 
Nov 02 01:29:31.838 INFO kablam! warning: bounds on generic parameters are not enforced in type aliases
Nov 02 01:29:31.839 INFO kablam!  --> src/strong/boolean.rs:9:25
Nov 02 01:29:31.839 INFO kablam!   |
Nov 02 01:29:31.840 INFO kablam! 9 |     (And) BoolAnd(Bool, Bool): Bool {
Nov 02 01:29:31.840 INFO kablam!   |                         ^^^^
Nov 02 01:29:31.840 INFO kablam!   |
Nov 02 01:29:31.841 INFO kablam!   = help: the bound will not be checked when the type alias is used, and should be removed
Nov 02 01:29:31.841 INFO kablam! 
Nov 02 01:29:31.842 INFO kablam! warning: bounds on generic parameters are not enforced in type aliases
Nov 02 01:29:31.842 INFO kablam!   --> src/strong/boolean.rs:17:17
Nov 02 01:29:31.843 INFO kablam!    |
Nov 02 01:29:31.843 INFO kablam! 17 |     (Or) BoolOr(Bool, Bool): Bool {
Nov 02 01:29:31.844 INFO kablam!    |                 ^^^^
Nov 02 01:29:31.844 INFO kablam!    |
Nov 02 01:29:31.844 INFO kablam!    = help: the bound will not be checked when the type alias is used, and should be removed
Nov 02 01:29:31.845 INFO kablam! 
Nov 02 01:29:31.845 INFO kablam! warning: bounds on generic parameters are not enforced in type aliases
Nov 02 01:29:31.846 INFO kablam!   --> src/strong/boolean.rs:17:23
Nov 02 01:29:31.846 INFO kablam!    |
Nov 02 01:29:31.847 INFO kablam! 17 |     (Or) BoolOr(Bool, Bool): Bool {
Nov 02 01:29:31.847 INFO kablam!    |                       ^^^^
Nov 02 01:29:31.847 INFO kablam!    |
Nov 02 01:29:31.848 INFO kablam!    = help: the bound will not be checked when the type alias is used, and should be removed
Nov 02 01:29:31.848 INFO kablam! 
Nov 02 01:29:31.849 INFO kablam! warning: bounds on generic parameters are not enforced in type aliases
Nov 02 01:29:31.849 INFO kablam!   --> src/strong/boolean.rs:26:25
Nov 02 01:29:31.850 INFO kablam!    |
Nov 02 01:29:31.850 INFO kablam! 26 |     (IfThen) BoolIfThen(Bool, Bool): Bool {
Nov 02 01:29:31.851 INFO kablam!    |                         ^^^^
Nov 02 01:29:31.851 INFO kablam!    |
Nov 02 01:29:31.851 INFO kablam!    = help: the bound will not be checked when the type alias is used, and should be removed
Nov 02 01:29:31.852 INFO kablam! 
Nov 02 01:29:31.852 INFO kablam! warning: bounds on generic parameters are not enforced in type aliases
Nov 02 01:29:31.853 INFO kablam!   --> src/strong/boolean.rs:26:31
Nov 02 01:29:31.853 INFO kablam!    |
Nov 02 01:29:31.854 INFO kablam! 26 |     (IfThen) BoolIfThen(Bool, Bool): Bool {
Nov 02 01:29:31.854 INFO kablam!    |                               ^^^^
Nov 02 01:29:31.854 INFO kablam!    |
Nov 02 01:29:31.855 INFO kablam!    = help: the bound will not be checked when the type alias is used, and should be removed
Nov 02 01:29:31.855 INFO kablam! 
Nov 02 01:29:31.856 INFO kablam! warning: bounds on generic parameters are not enforced in type aliases
Nov 02 01:29:31.856 INFO kablam!   --> src/strong/boolean.rs:35:25
Nov 02 01:29:31.857 INFO kablam!    |
Nov 02 01:29:31.857 INFO kablam! 35 |     (OnlyIf) BoolOnlyIf(Bool, Bool): Bool {
Nov 02 01:29:31.857 INFO kablam!    |                         ^^^^
Nov 02 01:29:31.858 INFO kablam!    |
Nov 02 01:29:31.858 INFO kablam!    = help: the bound will not be checked when the type alias is used, and should be removed
Nov 02 01:29:31.859 INFO kablam! 
Nov 02 01:29:31.859 INFO kablam! warning: bounds on generic parameters are not enforced in type aliases
Nov 02 01:29:31.860 INFO kablam!   --> src/strong/boolean.rs:35:31
Nov 02 01:29:31.860 INFO kablam!    |
Nov 02 01:29:31.860 INFO kablam! 35 |     (OnlyIf) BoolOnlyIf(Bool, Bool): Bool {
Nov 02 01:29:31.861 INFO kablam!    |                               ^^^^
Nov 02 01:29:31.861 INFO kablam!    |
Nov 02 01:29:31.862 INFO kablam!    = help: the bound will not be checked when the type alias is used, and should be removed
Nov 02 01:29:31.862 INFO kablam! 
Nov 02 01:29:31.863 INFO kablam! warning: bounds on generic parameters are not enforced in type aliases
Nov 02 01:29:31.863 INFO kablam!   --> src/strong/boolean.rs:43:19
Nov 02 01:29:31.864 INFO kablam!    |
Nov 02 01:29:31.864 INFO kablam! 43 |     (Xor) BoolXor(Bool, Bool): Bool {
Nov 02 01:29:31.864 INFO kablam!    |                   ^^^^
Nov 02 01:29:31.865 INFO kablam!    |
Nov 02 01:29:31.865 INFO kablam!    = help: the bound will not be checked when the type alias is used, and should be removed
Nov 02 01:29:31.866 INFO kablam! 
Nov 02 01:29:31.866 INFO kablam! warning: bounds on generic parameters are not enforced in type aliases
Nov 02 01:29:31.867 INFO kablam!   --> src/strong/boolean.rs:43:25
Nov 02 01:29:31.867 INFO kablam!    |
Nov 02 01:29:31.867 INFO kablam! 43 |     (Xor) BoolXor(Bool, Bool): Bool {
Nov 02 01:29:31.868 INFO kablam!    |                         ^^^^
Nov 02 01:29:31.868 INFO kablam!    |
Nov 02 01:29:31.869 INFO kablam!    = help: the bound will not be checked when the type alias is used, and should be removed
Nov 02 01:29:31.869 INFO kablam! 
Nov 02 01:29:31.870 INFO kablam! warning: bounds on generic parameters are not enforced in type aliases
Nov 02 01:29:31.870 INFO kablam!   --> src/strong/ternary.rs:14:24
Nov 02 01:29:31.871 INFO kablam!    |
Nov 02 01:29:31.871 INFO kablam! 14 |     (Nat2First) Nat2P1(NatPair): Nat {
Nov 02 01:29:31.872 INFO kablam!    |                        ^^^^^^^
Nov 02 01:29:31.872 INFO kablam!    |
Nov 02 01:29:31.872 INFO kablam!    = help: the bound will not be checked when the type alias is used, and should be removed
Nov 02 01:29:31.873 INFO kablam! 
Nov 02 01:29:31.873 INFO kablam! warning: bounds on generic parameters are not enforced in type aliases
Nov 02 01:29:31.874 INFO kablam!   --> src/strong/ternary.rs:21:25
Nov 02 01:29:31.874 INFO kablam!    |
Nov 02 01:29:31.875 INFO kablam! 21 |     (Nat2Second) Nat2P2(NatPair): Nat {
Nov 02 01:29:31.875 INFO kablam!    |                         ^^^^^^^
Nov 02 01:29:31.876 INFO kablam!    |
Nov 02 01:29:31.876 INFO kablam!    = help: the bound will not be checked when the type alias is used, and should be removed
Nov 02 01:29:31.876 INFO kablam! 
Nov 02 01:29:31.877 INFO kablam! warning: bounds on generic parameters are not enforced in type aliases
Nov 02 01:29:31.877 INFO kablam!   --> src/strong/ternary.rs:29:20
Nov 02 01:29:31.878 INFO kablam!    |
Nov 02 01:29:31.878 INFO kablam! 29 |     (Succ) NatSucc(Nat): Nat {
Nov 02 01:29:31.879 INFO kablam!    |                    ^^^
Nov 02 01:29:31.879 INFO kablam!    |
Nov 02 01:29:31.879 INFO kablam!    = help: the bound will not be checked when the type alias is used, and should be removed
Nov 02 01:29:31.880 INFO kablam! 
Nov 02 01:29:31.880 INFO kablam! warning: bounds on generic parameters are not enforced in type aliases
Nov 02 01:29:31.881 INFO kablam!   --> src/strong/ternary.rs:41:20
Nov 02 01:29:31.881 INFO kablam!    |
Nov 02 01:29:31.881 INFO kablam! 41 |     (Pred) NatPred(Nat): Nat {
Nov 02 01:29:31.881 INFO kablam!    |                    ^^^
Nov 02 01:29:31.882 INFO kablam!    |
Nov 02 01:29:31.882 INFO kablam!    = help: the bound will not be checked when the type alias is used, and should be removed
Nov 02 01:29:31.883 INFO kablam! 
Nov 02 01:29:31.883 INFO kablam! warning: bounds on generic parameters are not enforced in type aliases
Nov 02 01:29:31.884 INFO kablam!   --> src/strong/ternary.rs:53:32
Nov 02 01:29:31.884 INFO kablam!    |
Nov 02 01:29:31.884 INFO kablam! 53 |     (DoublePred) NatDoublePred(Nat): Nat {
Nov 02 01:29:31.884 INFO kablam!    |                                ^^^
Nov 02 01:29:31.885 INFO kablam!    |
Nov 02 01:29:31.885 INFO kablam!    = help: the bound will not be checked when the type alias is used, and should be removed
Nov 02 01:29:31.886 INFO kablam! 
Nov 02 01:29:31.886 INFO kablam! warning: bounds on generic parameters are not enforced in type aliases
Nov 02 01:29:31.887 INFO kablam!   --> src/strong/ternary.rs:68:24
Nov 02 01:29:31.887 INFO kablam!    |
Nov 02 01:29:31.888 INFO kablam! 68 |     (Triple) NatTriple(Nat): Nat {
Nov 02 01:29:31.888 INFO kablam!    |                        ^^^
Nov 02 01:29:31.888 INFO kablam!    |
Nov 02 01:29:31.889 INFO kablam!    = help: the bound will not be checked when the type alias is used, and should be removed
Nov 02 01:29:31.889 INFO kablam! 
Nov 02 01:29:31.890 INFO kablam! warning: bounds on generic parameters are not enforced in type aliases
Nov 02 01:29:31.890 INFO kablam!   --> src/strong/ternary.rs:81:24
Nov 02 01:29:31.891 INFO kablam!    |
Nov 02 01:29:31.891 INFO kablam! 81 |     (Unique) NatUnique(Nat): Nat {
Nov 02 01:29:31.891 INFO kablam!    |                        ^^^
Nov 02 01:29:31.892 INFO kablam!    |
Nov 02 01:29:31.892 INFO kablam!    = help: the bound will not be checked when the type alias is used, and should be removed
Nov 02 01:29:31.892 INFO kablam! 
Nov 02 01:29:31.893 INFO kablam! warning: bounds on generic parameters are not enforced in type aliases
Nov 02 01:29:31.893 INFO kablam!   --> src/strong/ternary.rs:95:18
Nov 02 01:29:31.894 INFO kablam!    |
Nov 02 01:29:31.894 INFO kablam! 95 |     (Add) NatAdd(Nat, Nat): Nat {
Nov 02 01:29:31.895 INFO kablam!    |                  ^^^
Nov 02 01:29:31.895 INFO kablam!    |
Nov 02 01:29:31.895 INFO kablam!    = help: the bound will not be checked when the type alias is used, and should be removed
Nov 02 01:29:31.895 INFO kablam! 
Nov 02 01:29:31.895 INFO kablam! warning: bounds on generic parameters are not enforced in type aliases
Nov 02 01:29:31.895 INFO kablam!   --> src/strong/ternary.rs:95:23
Nov 02 01:29:31.895 INFO kablam!    |
Nov 02 01:29:31.895 INFO kablam! 95 |     (Add) NatAdd(Nat, Nat): Nat {
Nov 02 01:29:31.895 INFO kablam!    |                       ^^^
Nov 02 01:29:31.895 INFO kablam!    |
Nov 02 01:29:31.895 INFO kablam!    = help: the bound will not be checked when the type alias is used, and should be removed
Nov 02 01:29:31.895 INFO kablam! 
Nov 02 01:29:31.895 INFO kablam! warning: bounds on generic parameters are not enforced in type aliases
Nov 02 01:29:31.895 INFO kablam!    --> src/strong/ternary.rs:128:38
Nov 02 01:29:31.895 INFO kablam!     |
Nov 02 01:29:31.895 INFO kablam! 128 |     (TriplePlusOne) NatTriplePlusOne(Nat): Nat {
Nov 02 01:29:31.895 INFO kablam!     |                                      ^^^
Nov 02 01:29:31.895 INFO kablam!     |
Nov 02 01:29:31.896 INFO kablam!     = help: the bound will not be checked when the type alias is used, and should be removed
Nov 02 01:29:31.896 INFO kablam! 
Nov 02 01:29:31.896 INFO kablam! warning: bounds on generic parameters are not enforced in type aliases
Nov 02 01:29:31.896 INFO kablam!    --> src/strong/ternary.rs:139:38
Nov 02 01:29:31.896 INFO kablam!     |
Nov 02 01:29:31.897 INFO kablam! 139 |     (TriplePlusTwo) NatTriplePlusTwo(Nat): Nat {
Nov 02 01:29:31.897 INFO kablam!     |                                      ^^^
Nov 02 01:29:31.897 INFO kablam!     |
Nov 02 01:29:31.897 INFO kablam!     = help: the bound will not be checked when the type alias is used, and should be removed
Nov 02 01:29:31.897 INFO kablam! 
Nov 02 01:29:31.897 INFO kablam! warning: bounds on generic parameters are not enforced in type aliases
Nov 02 01:29:31.897 INFO kablam!    --> src/strong/ternary.rs:152:18
Nov 02 01:29:31.897 INFO kablam!     |
Nov 02 01:29:31.897 INFO kablam! 152 |     (Sub) NatSub(Nat, Nat): Nat {
Nov 02 01:29:31.897 INFO kablam!     |                  ^^^
Nov 02 01:29:31.897 INFO kablam!     |
Nov 02 01:29:31.897 INFO kablam!     = help: the bound will not be checked when the type alias is used, and should be removed
Nov 02 01:29:31.897 INFO kablam! 
Nov 02 01:29:31.897 INFO kablam! warning: bounds on generic parameters are not enforced in type aliases
Nov 02 01:29:31.897 INFO kablam!    --> src/strong/ternary.rs:152:23
Nov 02 01:29:31.897 INFO kablam!     |
Nov 02 01:29:31.897 INFO kablam! 152 |     (Sub) NatSub(Nat, Nat): Nat {
Nov 02 01:29:31.897 INFO kablam!     |                       ^^^
Nov 02 01:29:31.897 INFO kablam!     |
Nov 02 01:29:31.897 INFO kablam!     = help: the bound will not be checked when the type alias is used, and should be removed
Nov 02 01:29:31.897 INFO kablam! 
Nov 02 01:29:31.897 INFO kablam! warning: bounds on generic parameters are not enforced in type aliases
Nov 02 01:29:31.897 INFO kablam!    --> src/strong/ternary.rs:185:18
Nov 02 01:29:31.897 INFO kablam!     |
Nov 02 01:29:31.897 INFO kablam! 185 |     (Mul) NatMul(Nat, Nat): Nat {
Nov 02 01:29:31.897 INFO kablam!     |                  ^^^
Nov 02 01:29:31.897 INFO kablam!     |
Nov 02 01:29:31.897 INFO kablam!     = help: the bound will not be checked when the type alias is used, and should be removed
Nov 02 01:29:31.897 INFO kablam! 
Nov 02 01:29:31.897 INFO kablam! warning: bounds on generic parameters are not enforced in type aliases
Nov 02 01:29:31.897 INFO kablam!    --> src/strong/ternary.rs:185:23
Nov 02 01:29:31.897 INFO kablam!     |
Nov 02 01:29:31.897 INFO kablam! 185 |     (Mul) NatMul(Nat, Nat): Nat {
Nov 02 01:29:31.897 INFO kablam!     |                       ^^^
Nov 02 01:29:31.897 INFO kablam!     |
Nov 02 01:29:31.897 INFO kablam!     = help: the bound will not be checked when the type alias is used, and should be removed
Nov 02 01:29:31.897 INFO kablam! 
Nov 02 01:29:31.899 INFO kablam! warning: bounds on generic parameters are not enforced in type aliases
Nov 02 01:29:31.899 INFO kablam!    --> src/strong/ternary.rs:220:18
Nov 02 01:29:31.899 INFO kablam!     |
Nov 02 01:29:31.899 INFO kablam! 220 |     (Cmp) NatCmp(Nat, Nat, Nat, Nat, Nat): Nat {
Nov 02 01:29:31.899 INFO kablam!     |                  ^^^
Nov 02 01:29:31.899 INFO kablam!     |
Nov 02 01:29:31.899 INFO kablam!     = help: the bound will not be checked when the type alias is used, and should be removed
Nov 02 01:29:31.899 INFO kablam! 
Nov 02 01:29:31.899 INFO kablam! warning: bounds on generic parameters are not enforced in type aliases
Nov 02 01:29:31.899 INFO kablam!    --> src/strong/ternary.rs:220:23
Nov 02 01:29:31.899 INFO kablam!     |
Nov 02 01:29:31.899 INFO kablam! 220 |     (Cmp) NatCmp(Nat, Nat, Nat, Nat, Nat): Nat {
Nov 02 01:29:31.899 INFO kablam!     |                       ^^^
Nov 02 01:29:31.899 INFO kablam!     |
Nov 02 01:29:31.899 INFO kablam!     = help: the bound will not be checked when the type alias is used, and should be removed
Nov 02 01:29:31.899 INFO kablam! 
Nov 02 01:29:31.899 INFO kablam! warning: bounds on generic parameters are not enforced in type aliases
Nov 02 01:29:31.899 INFO kablam!    --> src/strong/ternary.rs:220:28
Nov 02 01:29:31.899 INFO kablam!     |
Nov 02 01:29:31.899 INFO kablam! 220 |     (Cmp) NatCmp(Nat, Nat, Nat, Nat, Nat): Nat {
Nov 02 01:29:31.899 INFO kablam!     |                            ^^^
Nov 02 01:29:31.899 INFO kablam!     |
Nov 02 01:29:31.899 INFO kablam!     = help: the bound will not be checked when the type alias is used, and should be removed
Nov 02 01:29:31.899 INFO kablam! 
Nov 02 01:29:31.899 INFO kablam! warning: bounds on generic parameters are not enforced in type aliases
Nov 02 01:29:31.899 INFO kablam!    --> src/strong/ternary.rs:220:33
Nov 02 01:29:31.899 INFO kablam!     |
Nov 02 01:29:31.899 INFO kablam! 220 |     (Cmp) NatCmp(Nat, Nat, Nat, Nat, Nat): Nat {
Nov 02 01:29:31.899 INFO kablam!     |                                 ^^^
Nov 02 01:29:31.899 INFO kablam!     |
Nov 02 01:29:31.899 INFO kablam!     = help: the bound will not be checked when the type alias is used, and should be removed
Nov 02 01:29:31.899 INFO kablam! 
Nov 02 01:29:31.899 INFO kablam! warning: bounds on generic parameters are not enforced in type aliases
Nov 02 01:29:31.899 INFO kablam!    --> src/strong/ternary.rs:220:38
Nov 02 01:29:31.899 INFO kablam!     |
Nov 02 01:29:31.899 INFO kablam! 220 |     (Cmp) NatCmp(Nat, Nat, Nat, Nat, Nat): Nat {
Nov 02 01:29:31.899 INFO kablam!     |                                      ^^^
Nov 02 01:29:31.899 INFO kablam!     |
Nov 02 01:29:31.899 INFO kablam!     = help: the bound will not be checked when the type alias is used, and should be removed
Nov 02 01:29:31.899 INFO kablam! 
Nov 02 01:29:31.899 INFO kablam! warning: bounds on generic parameters are not enforced in type aliases
Nov 02 01:29:31.899 INFO kablam!    --> src/strong/ternary.rs:247:28
Nov 02 01:29:31.899 INFO kablam!     |
Nov 02 01:29:31.899 INFO kablam! 247 |     (UndefOr2) NatUndefOr2(Nat, Nat, NatPair): NatPair {
Nov 02 01:29:31.899 INFO kablam!     |                            ^^^
Nov 02 01:29:31.899 INFO kablam!     |
Nov 02 01:29:31.899 INFO kablam!     = help: the bound will not be checked when the type alias is used, and should be removed
Nov 02 01:29:31.899 INFO kablam! 
Nov 02 01:29:31.899 INFO kablam! warning: bounds on generic parameters are not enforced in type aliases
Nov 02 01:29:31.899 INFO kablam!    --> src/strong/ternary.rs:247:33
Nov 02 01:29:31.899 INFO kablam!     |
Nov 02 01:29:31.899 INFO kablam! 247 |     (UndefOr2) NatUndefOr2(Nat, Nat, NatPair): NatPair {
Nov 02 01:29:31.899 INFO kablam!     |                                 ^^^
Nov 02 01:29:31.899 INFO kablam!     |
Nov 02 01:29:31.899 INFO kablam!     = help: the bound will not be checked when the type alias is used, and should be removed
Nov 02 01:29:31.899 INFO kablam! 
Nov 02 01:29:31.899 INFO kablam! warning: bounds on generic parameters are not enforced in type aliases
Nov 02 01:29:31.899 INFO kablam!    --> src/strong/ternary.rs:247:38
Nov 02 01:29:31.899 INFO kablam!     |
Nov 02 01:29:31.899 INFO kablam! 247 |     (UndefOr2) NatUndefOr2(Nat, Nat, NatPair): NatPair {
Nov 02 01:29:31.899 INFO kablam!     |                                      ^^^^^^^
Nov 02 01:29:31.899 INFO kablam!     |
Nov 02 01:29:31.899 INFO kablam!     = help: the bound will not be checked when the type alias is used, and should be removed
Nov 02 01:29:31.899 INFO kablam! 
Nov 02 01:29:31.899 INFO kablam! warning: bounds on generic parameters are not enforced in type aliases
Nov 02 01:29:31.899 INFO kablam!    --> src/strong/ternary.rs:262:18
Nov 02 01:29:31.900 INFO kablam!     |
Nov 02 01:29:31.900 INFO kablam! 262 |     (Rev) NatRev(Nat): Nat {
Nov 02 01:29:31.900 INFO kablam!     |                  ^^^
Nov 02 01:29:31.900 INFO kablam!     |
Nov 02 01:29:31.900 INFO kablam!     = help: the bound will not be checked when the type alias is used, and should be removed
Nov 02 01:29:31.900 INFO kablam! 
Nov 02 01:29:31.900 INFO kablam! warning: bounds on generic parameters are not enforced in type aliases
Nov 02 01:29:31.900 INFO kablam!    --> src/strong/ternary.rs:268:34
Nov 02 01:29:31.900 INFO kablam!     |
Nov 02 01:29:31.900 INFO kablam! 268 |     (RevInternal) NatRevInternal(Nat, Nat): Nat {
Nov 02 01:29:31.900 INFO kablam!     |                                  ^^^
Nov 02 01:29:31.900 INFO kablam!     |
Nov 02 01:29:31.900 INFO kablam!     = help: the bound will not be checked when the type alias is used, and should be removed
Nov 02 01:29:31.900 INFO kablam! 
Nov 02 01:29:31.900 INFO kablam! warning: bounds on generic parameters are not enforced in type aliases
Nov 02 01:29:31.900 INFO kablam!    --> src/strong/ternary.rs:268:39
Nov 02 01:29:31.900 INFO kablam!     |
Nov 02 01:29:31.900 INFO kablam! 268 |     (RevInternal) NatRevInternal(Nat, Nat): Nat {
Nov 02 01:29:31.900 INFO kablam!     |                                       ^^^
Nov 02 01:29:31.900 INFO kablam!     |
Nov 02 01:29:31.900 INFO kablam!     = help: the bound will not be checked when the type alias is used, and should be removed
Nov 02 01:29:31.900 INFO kablam! 
Nov 02 01:29:31.900 INFO kablam! warning: bounds on generic parameters are not enforced in type aliases
Nov 02 01:29:31.900 INFO kablam!    --> src/strong/ternary.rs:281:18
Nov 02 01:29:31.900 INFO kablam!     |
Nov 02 01:29:31.900 INFO kablam! 281 |     (Div) NatDiv(Nat, Nat): Nat {
Nov 02 01:29:31.900 INFO kablam!     |                  ^^^
Nov 02 01:29:31.900 INFO kablam!     |
Nov 02 01:29:31.900 INFO kablam!     = help: the bound will not be checked when the type alias is used, and should be removed
Nov 02 01:29:31.900 INFO kablam! 
Nov 02 01:29:31.900 INFO kablam! warning: bounds on generic parameters are not enforced in type aliases
Nov 02 01:29:31.900 INFO kablam!    --> src/strong/ternary.rs:281:23
Nov 02 01:29:31.900 INFO kablam!     |
Nov 02 01:29:31.900 INFO kablam! 281 |     (Div) NatDiv(Nat, Nat): Nat {
Nov 02 01:29:31.900 INFO kablam!     |                       ^^^
Nov 02 01:29:31.900 INFO kablam!     |
Nov 02 01:29:31.900 INFO kablam!     = help: the bound will not be checked when the type alias is used, and should be removed
Nov 02 01:29:31.900 INFO kablam! 
Nov 02 01:29:31.900 INFO kablam! warning: bounds on generic parameters are not enforced in type aliases
Nov 02 01:29:31.900 INFO kablam!    --> src/strong/ternary.rs:306:18
Nov 02 01:29:31.900 INFO kablam!     |
Nov 02 01:29:31.900 INFO kablam! 306 |     (Rem) NatRem(Nat, Nat): Nat {
Nov 02 01:29:31.900 INFO kablam!     |                  ^^^
Nov 02 01:29:31.900 INFO kablam!     |
Nov 02 01:29:31.900 INFO kablam!     = help: the bound will not be checked when the type alias is used, and should be removed
Nov 02 01:29:31.900 INFO kablam! 
Nov 02 01:29:31.900 INFO kablam! warning: bounds on generic parameters are not enforced in type aliases
Nov 02 01:29:31.900 INFO kablam!    --> src/strong/ternary.rs:306:23
Nov 02 01:29:31.900 INFO kablam!     |
Nov 02 01:29:31.900 INFO kablam! 306 |     (Rem) NatRem(Nat, Nat): Nat {
Nov 02 01:29:31.900 INFO kablam!     |                       ^^^
Nov 02 01:29:31.900 INFO kablam!     |
Nov 02 01:29:31.900 INFO kablam!     = help: the bound will not be checked when the type alias is used, and should be removed
Nov 02 01:29:31.900 INFO kablam! 
Nov 02 01:29:31.900 INFO kablam! warning: bounds on generic parameters are not enforced in type aliases
Nov 02 01:29:31.900 INFO kablam!    --> src/strong/ternary.rs:329:34
Nov 02 01:29:31.900 INFO kablam!     |
Nov 02 01:29:31.900 INFO kablam! 329 |     (DivInternal) NatDivInternal(Nat, Nat, NatPair): NatPair {
Nov 02 01:29:31.900 INFO kablam!     |                                  ^^^
Nov 02 01:29:31.900 INFO kablam!     |
Nov 02 01:29:31.900 INFO kablam!     = help: the bound will not be checked when the type alias is used, and should be removed
Nov 02 01:29:31.900 INFO kablam! 
Nov 02 01:29:31.900 INFO kablam! warning: bounds on generic parameters are not enforced in type aliases
Nov 02 01:29:31.900 INFO kablam!    --> src/strong/ternary.rs:329:39
Nov 02 01:29:31.900 INFO kablam!     |
Nov 02 01:29:31.900 INFO kablam! 329 |     (DivInternal) NatDivInternal(Nat, Nat, NatPair): NatPair {
Nov 02 01:29:31.900 INFO kablam!     |                                       ^^^
Nov 02 01:29:31.900 INFO kablam!     |
Nov 02 01:29:31.900 INFO kablam!     = help: the bound will not be checked when the type alias is used, and should be removed
Nov 02 01:29:31.900 INFO kablam! 
Nov 02 01:29:31.903 INFO kablam! warning: bounds on generic parameters are not enforced in type aliases
Nov 02 01:29:31.903 INFO kablam!    --> src/strong/ternary.rs:329:44
Nov 02 01:29:31.903 INFO kablam!     |
Nov 02 01:29:31.903 INFO kablam! 329 |     (DivInternal) NatDivInternal(Nat, Nat, NatPair): NatPair {
Nov 02 01:29:31.903 INFO kablam!     |                                            ^^^^^^^
Nov 02 01:29:31.903 INFO kablam!     |
Nov 02 01:29:31.903 INFO kablam!     = help: the bound will not be checked when the type alias is used, and should be removed
Nov 02 01:29:31.903 INFO kablam! 
Nov 02 01:29:31.903 INFO kablam! warning: bounds on generic parameters are not enforced in type aliases
Nov 02 01:29:31.903 INFO kablam!   --> src/strong/balanced.rs:10:24
Nov 02 01:29:31.903 INFO kablam!    |
Nov 02 01:29:31.903 INFO kablam! 10 |     (Int2First) Int2P1(IntPair): Int {
Nov 02 01:29:31.903 INFO kablam!    |                        ^^^^^^^
Nov 02 01:29:31.903 INFO kablam!    |
Nov 02 01:29:31.903 INFO kablam!    = help: the bound will not be checked when the type alias is used, and should be removed
Nov 02 01:29:31.903 INFO kablam! 
Nov 02 01:29:31.903 INFO kablam! warning: bounds on generic parameters are not enforced in type aliases
Nov 02 01:29:31.903 INFO kablam!   --> src/strong/balanced.rs:17:25
Nov 02 01:29:31.903 INFO kablam!    |
Nov 02 01:29:31.903 INFO kablam! 17 |     (Int2Second) Int2P2(IntPair): Int {
Nov 02 01:29:31.903 INFO kablam!    |                         ^^^^^^^
Nov 02 01:29:31.915 INFO kablam!    |
Nov 02 01:29:31.915 INFO kablam!    = help: the bound will not be checked when the type alias is used, and should be removed
Nov 02 01:29:31.916 INFO kablam! 
Nov 02 01:29:31.916 INFO kablam! warning: bounds on generic parameters are not enforced in type aliases
Nov 02 01:29:31.916 INFO kablam!   --> src/strong/balanced.rs:24:20
Nov 02 01:29:31.917 INFO kablam!    |
Nov 02 01:29:31.917 INFO kablam! 24 |     (Succ) IntSucc(Int): Int {
Nov 02 01:29:31.917 INFO kablam!    |                    ^^^
Nov 02 01:29:31.918 INFO kablam!    |
Nov 02 01:29:31.918 INFO kablam!    = help: the bound will not be checked when the type alias is used, and should be removed
Nov 02 01:29:31.918 INFO kablam! 
Nov 02 01:29:31.919 INFO kablam! warning: bounds on generic parameters are not enforced in type aliases
Nov 02 01:29:31.919 INFO kablam!   --> src/strong/balanced.rs:35:20
Nov 02 01:29:31.920 INFO kablam!    |
Nov 02 01:29:31.920 INFO kablam! 35 |     (Pred) IntPred(Int): Int {
Nov 02 01:29:31.920 INFO kablam!    |                    ^^^
Nov 02 01:29:31.921 INFO kablam!    |
Nov 02 01:29:31.921 INFO kablam!    = help: the bound will not be checked when the type alias is used, and should be removed
Nov 02 01:29:31.921 INFO kablam! 
Nov 02 01:29:31.922 INFO kablam! warning: bounds on generic parameters are not enforced in type aliases
Nov 02 01:29:31.922 INFO kablam!   --> src/strong/balanced.rs:49:24
Nov 02 01:29:31.927 INFO kablam!    |
Nov 02 01:29:31.927 INFO kablam! 49 |     (Triple) IntTriple(Int): Int {
Nov 02 01:29:31.927 INFO kablam!    |                        ^^^
Nov 02 01:29:31.927 INFO kablam!    |
Nov 02 01:29:31.927 INFO kablam!    = help: the bound will not be checked when the type alias is used, and should be removed
Nov 02 01:29:31.927 INFO kablam! 
Nov 02 01:29:31.927 INFO kablam! warning: bounds on generic parameters are not enforced in type aliases
Nov 02 01:29:31.927 INFO kablam!   --> src/strong/balanced.rs:62:24
Nov 02 01:29:31.927 INFO kablam!    |
Nov 02 01:29:31.927 INFO kablam! 62 |     (IntUnique) Unique(Int): Int {
Nov 02 01:29:31.927 INFO kablam!    |                        ^^^
Nov 02 01:29:31.927 INFO kablam!    |
Nov 02 01:29:31.927 INFO kablam!    = help: the bound will not be checked when the type alias is used, and should be removed
Nov 02 01:29:31.927 INFO kablam! 
Nov 02 01:29:31.927 INFO kablam! warning: bounds on generic parameters are not enforced in type aliases
Nov 02 01:29:31.927 INFO kablam!   --> src/strong/balanced.rs:80:18
Nov 02 01:29:31.927 INFO kablam!    |
Nov 02 01:29:31.927 INFO kablam! 80 |     (Neg) IntNeg(Int): Int {
Nov 02 01:29:31.927 INFO kablam!    |                  ^^^
Nov 02 01:29:31.927 INFO kablam!    |
Nov 02 01:29:31.927 INFO kablam!    = help: the bound will not be checked when the type alias is used, and should be removed
Nov 02 01:29:31.927 INFO kablam! 
Nov 02 01:29:31.927 INFO kablam! warning: bounds on generic parameters are not enforced in type aliases
Nov 02 01:29:31.927 INFO kablam!   --> src/strong/balanced.rs:94:18
Nov 02 01:29:31.927 INFO kablam!    |
Nov 02 01:29:31.927 INFO kablam! 94 |     (Add) IntAdd(Int, Int): Int {
Nov 02 01:29:31.927 INFO kablam!    |                  ^^^
Nov 02 01:29:31.927 INFO kablam!    |
Nov 02 01:29:31.927 INFO kablam!    = help: the bound will not be checked when the type alias is used, and should be removed
Nov 02 01:29:31.927 INFO kablam! 
Nov 02 01:29:31.927 INFO kablam! warning: bounds on generic parameters are not enforced in type aliases
Nov 02 01:29:31.927 INFO kablam!   --> src/strong/balanced.rs:94:23
Nov 02 01:29:31.927 INFO kablam!    |
Nov 02 01:29:31.927 INFO kablam! 94 |     (Add) IntAdd(Int, Int): Int {
Nov 02 01:29:31.927 INFO kablam!    |                       ^^^
Nov 02 01:29:31.927 INFO kablam!    |
Nov 02 01:29:31.927 INFO kablam!    = help: the bound will not be checked when the type alias is used, and should be removed
Nov 02 01:29:31.927 INFO kablam! 
Nov 02 01:29:31.927 INFO kablam! warning: bounds on generic parameters are not enforced in type aliases
Nov 02 01:29:31.927 INFO kablam!    --> src/strong/balanced.rs:127:18
Nov 02 01:29:31.927 INFO kablam!     |
Nov 02 01:29:31.927 INFO kablam! 127 |     (Sub) IntSub(Int, Int): Int {
Nov 02 01:29:31.927 INFO kablam!     |                  ^^^
Nov 02 01:29:31.927 INFO kablam!     |
Nov 02 01:29:31.927 INFO kablam!     = help: the bound will not be checked when the type alias is used, and should be removed
Nov 02 01:29:31.927 INFO kablam! 
Nov 02 01:29:31.927 INFO kablam! warning: bounds on generic parameters are not enforced in type aliases
Nov 02 01:29:31.927 INFO kablam!    --> src/strong/balanced.rs:127:23
Nov 02 01:29:31.927 INFO kablam!     |
Nov 02 01:29:31.927 INFO kablam! 127 |     (Sub) IntSub(Int, Int): Int {
Nov 02 01:29:31.927 INFO kablam!     |                       ^^^
Nov 02 01:29:31.927 INFO kablam!     |
Nov 02 01:29:31.927 INFO kablam!     = help: the bound will not be checked when the type alias is used, and should be removed
Nov 02 01:29:31.927 INFO kablam! 
Nov 02 01:29:31.927 INFO kablam! warning: bounds on generic parameters are not enforced in type aliases
Nov 02 01:29:31.927 INFO kablam!    --> src/strong/balanced.rs:160:18
Nov 02 01:29:31.927 INFO kablam!     |
Nov 02 01:29:31.927 INFO kablam! 160 |     (Mul) IntMul(Int, Int): Int {
Nov 02 01:29:31.927 INFO kablam!     |                  ^^^
Nov 02 01:29:31.927 INFO kablam!     |
Nov 02 01:29:31.927 INFO kablam!     = help: the bound will not be checked when the type alias is used, and should be removed
Nov 02 01:29:31.927 INFO kablam! 
Nov 02 01:29:31.927 INFO kablam! warning: bounds on generic parameters are not enforced in type aliases
Nov 02 01:29:31.927 INFO kablam!    --> src/strong/balanced.rs:160:23
Nov 02 01:29:31.927 INFO kablam!     |
Nov 02 01:29:31.927 INFO kablam! 160 |     (Mul) IntMul(Int, Int): Int {
Nov 02 01:29:31.927 INFO kablam!     |                       ^^^
Nov 02 01:29:31.928 INFO kablam!     |
Nov 02 01:29:31.928 INFO kablam!     = help: the bound will not be checked when the type alias is used, and should be removed
Nov 02 01:29:31.928 INFO kablam! 
Nov 02 01:29:31.928 INFO kablam! warning: bounds on generic parameters are not enforced in type aliases
Nov 02 01:29:31.928 INFO kablam!    --> src/strong/balanced.rs:196:18
Nov 02 01:29:31.928 INFO kablam!     |
Nov 02 01:29:31.928 INFO kablam! 196 |     (Cmp) IntCmp(Int, Int, Int, Int, Int): Int {
Nov 02 01:29:31.928 INFO kablam!     |                  ^^^
Nov 02 01:29:31.928 INFO kablam!     |
Nov 02 01:29:31.928 INFO kablam!     = help: the bound will not be checked when the type alias is used, and should be removed
Nov 02 01:29:31.928 INFO kablam! 
Nov 02 01:29:31.928 INFO kablam! warning: bounds on generic parameters are not enforced in type aliases
Nov 02 01:29:31.928 INFO kablam!    --> src/strong/balanced.rs:196:23
Nov 02 01:29:31.928 INFO kablam!     |
Nov 02 01:29:31.928 INFO kablam! 196 |     (Cmp) IntCmp(Int, Int, Int, Int, Int): Int {
Nov 02 01:29:31.928 INFO kablam!     |                       ^^^
Nov 02 01:29:31.928 INFO kablam!     |
Nov 02 01:29:31.928 INFO kablam!     = help: the bound will not be checked when the type alias is used, and should be removed
Nov 02 01:29:31.928 INFO kablam! 
Nov 02 01:29:31.928 INFO kablam! warning: bounds on generic parameters are not enforced in type aliases
Nov 02 01:29:31.928 INFO kablam!    --> src/strong/balanced.rs:196:28
Nov 02 01:29:31.928 INFO kablam!     |
Nov 02 01:29:31.928 INFO kablam! 196 |     (Cmp) IntCmp(Int, Int, Int, Int, Int): Int {
Nov 02 01:29:31.928 INFO kablam!     |                            ^^^
Nov 02 01:29:31.928 INFO kablam!     |
Nov 02 01:29:31.928 INFO kablam!     = help: the bound will not be checked when the type alias is used, and should be removed
Nov 02 01:29:31.928 INFO kablam! 
Nov 02 01:29:31.928 INFO kablam! warning: bounds on generic parameters are not enforced in type aliases
Nov 02 01:29:31.928 INFO kablam!    --> src/strong/balanced.rs:196:33
Nov 02 01:29:31.928 INFO kablam!     |
Nov 02 01:29:31.928 INFO kablam! 196 |     (Cmp) IntCmp(Int, Int, Int, Int, Int): Int {
Nov 02 01:29:31.928 INFO kablam!     |                                 ^^^
Nov 02 01:29:31.928 INFO kablam!     |
Nov 02 01:29:31.928 INFO kablam!     = help: the bound will not be checked when the type alias is used, and should be removed
Nov 02 01:29:31.928 INFO kablam! 
Nov 02 01:29:31.928 INFO kablam! warning: bounds on generic parameters are not enforced in type aliases
Nov 02 01:29:31.928 INFO kablam!    --> src/strong/balanced.rs:196:38
Nov 02 01:29:31.928 INFO kablam!     |
Nov 02 01:29:31.928 INFO kablam! 196 |     (Cmp) IntCmp(Int, Int, Int, Int, Int): Int {
Nov 02 01:29:31.928 INFO kablam!     |                                      ^^^
Nov 02 01:29:31.928 INFO kablam!     |
Nov 02 01:29:31.928 INFO kablam!     = help: the bound will not be checked when the type alias is used, and should be removed
Nov 02 01:29:31.928 INFO kablam! 
Nov 02 01:29:31.928 INFO kablam! warning: bounds on generic parameters are not enforced in type aliases
Nov 02 01:29:31.928 INFO kablam!    --> src/strong/balanced.rs:223:20
Nov 02 01:29:31.928 INFO kablam!     |
Nov 02 01:29:31.928 INFO kablam! 223 |     (Cmp2) IntCmp2(Int, Int, IntPair, IntPair, IntPair): IntPair {
Nov 02 01:29:31.928 INFO kablam!     |                    ^^^
Nov 02 01:29:31.928 INFO kablam!     |
Nov 02 01:29:31.928 INFO kablam!     = help: the bound will not be checked when the type alias is used, and should be removed
Nov 02 01:29:31.928 INFO kablam! 
Nov 02 01:29:31.928 INFO kablam! warning: bounds on generic parameters are not enforced in type aliases
Nov 02 01:29:31.928 INFO kablam!    --> src/strong/balanced.rs:223:25
Nov 02 01:29:31.928 INFO kablam!     |
Nov 02 01:29:31.928 INFO kablam! 223 |     (Cmp2) IntCmp2(Int, Int, IntPair, IntPair, IntPair): IntPair {
Nov 02 01:29:31.928 INFO kablam!     |                         ^^^
Nov 02 01:29:31.928 INFO kablam!     |
Nov 02 01:29:31.928 INFO kablam!     = help: the bound will not be checked when the type alias is used, and should be removed
Nov 02 01:29:31.928 INFO kablam! 
Nov 02 01:29:31.928 INFO kablam! warning: bounds on generic parameters are not enforced in type aliases
Nov 02 01:29:31.928 INFO kablam!    --> src/strong/balanced.rs:223:30
Nov 02 01:29:31.928 INFO kablam!     |
Nov 02 01:29:31.928 INFO kablam! 223 |     (Cmp2) IntCmp2(Int, Int, IntPair, IntPair, IntPair): IntPair {
Nov 02 01:29:31.928 INFO kablam!     |                              ^^^^^^^
Nov 02 01:29:31.928 INFO kablam!     |
Nov 02 01:29:31.928 INFO kablam!     = help: the bound will not be checked when the type alias is used, and should be removed
Nov 02 01:29:31.928 INFO kablam! 
Nov 02 01:29:31.928 INFO kablam! warning: bounds on generic parameters are not enforced in type aliases
Nov 02 01:29:31.928 INFO kablam!    --> src/strong/balanced.rs:223:39
Nov 02 01:29:31.928 INFO kablam!     |
Nov 02 01:29:31.928 INFO kablam! 223 |     (Cmp2) IntCmp2(Int, Int, IntPair, IntPair, IntPair): IntPair {
Nov 02 01:29:31.928 INFO kablam!     |                                       ^^^^^^^
Nov 02 01:29:31.928 INFO kablam!     |
Nov 02 01:29:31.928 INFO kablam!     = help: the bound will not be checked when the type alias is used, and should be removed
Nov 02 01:29:31.928 INFO kablam! 
Nov 02 01:29:31.928 INFO kablam! warning: bounds on generic parameters are not enforced in type aliases
Nov 02 01:29:31.928 INFO kablam!    --> src/strong/balanced.rs:223:48
Nov 02 01:29:31.928 INFO kablam!     |
Nov 02 01:29:31.928 INFO kablam! 223 |     (Cmp2) IntCmp2(Int, Int, IntPair, IntPair, IntPair): IntPair {
Nov 02 01:29:31.928 INFO kablam!     |                                                ^^^^^^^
Nov 02 01:29:31.928 INFO kablam!     |
Nov 02 01:29:31.928 INFO kablam!     = help: the bound will not be checked when the type alias is used, and should be removed
Nov 02 01:29:31.928 INFO kablam! 
Nov 02 01:29:31.928 INFO kablam! warning: bounds on generic parameters are not enforced in type aliases
Nov 02 01:29:31.928 INFO kablam!    --> src/strong/balanced.rs:248:24
Nov 02 01:29:31.928 INFO kablam!     |
Nov 02 01:29:31.928 INFO kablam! 248 |     (LteCmp) IntLteCmp(Int, Int, Int, Int): Int {
Nov 02 01:29:31.928 INFO kablam!     |                        ^^^
Nov 02 01:29:31.929 INFO kablam!     |
Nov 02 01:29:31.929 INFO kablam!     = help: the bound will not be checked when the type alias is used, and should be removed
Nov 02 01:29:31.929 INFO kablam! 
Nov 02 01:29:31.929 INFO kablam! warning: bounds on generic parameters are not enforced in type aliases
Nov 02 01:29:31.929 INFO kablam!    --> src/strong/balanced.rs:248:29
Nov 02 01:29:31.929 INFO kablam!     |
Nov 02 01:29:31.929 INFO kablam! 248 |     (LteCmp) IntLteCmp(Int, Int, Int, Int): Int {
Nov 02 01:29:31.929 INFO kablam!     |                             ^^^
Nov 02 01:29:31.929 INFO kablam!     |
Nov 02 01:29:31.929 INFO kablam!     = help: the bound will not be checked when the type alias is used, and should be removed
Nov 02 01:29:31.929 INFO kablam! 
Nov 02 01:29:31.929 INFO kablam! warning: bounds on generic parameters are not enforced in type aliases
Nov 02 01:29:31.929 INFO kablam!    --> src/strong/balanced.rs:248:34
Nov 02 01:29:31.929 INFO kablam!     |
Nov 02 01:29:31.929 INFO kablam! 248 |     (LteCmp) IntLteCmp(Int, Int, Int, Int): Int {
Nov 02 01:29:31.929 INFO kablam!     |                                  ^^^
Nov 02 01:29:31.929 INFO kablam!     |
Nov 02 01:29:31.929 INFO kablam!     = help: the bound will not be checked when the type alias is used, and should be removed
Nov 02 01:29:31.929 INFO kablam! 
Nov 02 01:29:31.929 INFO kablam! warning: bounds on generic parameters are not enforced in type aliases
Nov 02 01:29:31.929 INFO kablam!    --> src/strong/balanced.rs:248:39
Nov 02 01:29:31.929 INFO kablam!     |
Nov 02 01:29:31.929 INFO kablam! 248 |     (LteCmp) IntLteCmp(Int, Int, Int, Int): Int {
Nov 02 01:29:31.929 INFO kablam!     |                                       ^^^
Nov 02 01:29:31.929 INFO kablam!     |
Nov 02 01:29:31.929 INFO kablam!     = help: the bound will not be checked when the type alias is used, and should be removed
Nov 02 01:29:31.929 INFO kablam! 
Nov 02 01:29:31.929 INFO kablam! warning: bounds on generic parameters are not enforced in type aliases
Nov 02 01:29:31.929 INFO kablam!    --> src/strong/balanced.rs:254:26
Nov 02 01:29:31.929 INFO kablam!     |
Nov 02 01:29:31.929 INFO kablam! 254 |     (LteCmp2) IntLteCmp2(Int, Int, IntPair, IntPair): IntPair {
Nov 02 01:29:31.929 INFO kablam!     |                          ^^^
Nov 02 01:29:31.929 INFO kablam!     |
Nov 02 01:29:31.929 INFO kablam!     = help: the bound will not be checked when the type alias is used, and should be removed
Nov 02 01:29:31.929 INFO kablam! 
Nov 02 01:29:31.929 INFO kablam! warning: bounds on generic parameters are not enforced in type aliases
Nov 02 01:29:31.929 INFO kablam!    --> src/strong/balanced.rs:254:31
Nov 02 01:29:31.929 INFO kablam!     |
Nov 02 01:29:31.929 INFO kablam! 254 |     (LteCmp2) IntLteCmp2(Int, Int, IntPair, IntPair): IntPair {
Nov 02 01:29:31.929 INFO kablam!     |                               ^^^
Nov 02 01:29:31.929 INFO kablam!     |
Nov 02 01:29:31.929 INFO kablam!     = help: the bound will not be checked when the type alias is used, and should be removed
Nov 02 01:29:31.929 INFO kablam! 
Nov 02 01:29:31.929 INFO kablam! warning: bounds on generic parameters are not enforced in type aliases
Nov 02 01:29:31.929 INFO kablam!    --> src/strong/balanced.rs:254:36
Nov 02 01:29:31.929 INFO kablam!     |
Nov 02 01:29:31.929 INFO kablam! 254 |     (LteCmp2) IntLteCmp2(Int, Int, IntPair, IntPair): IntPair {
Nov 02 01:29:31.929 INFO kablam!     |                                    ^^^^^^^
Nov 02 01:29:31.929 INFO kablam!     |
Nov 02 01:29:31.929 INFO kablam!     = help: the bound will not be checked when the type alias is used, and should be removed
Nov 02 01:29:31.929 INFO kablam! 
Nov 02 01:29:31.929 INFO kablam! warning: bounds on generic parameters are not enforced in type aliases
Nov 02 01:29:31.929 INFO kablam!    --> src/strong/balanced.rs:254:45
Nov 02 01:29:31.929 INFO kablam!     |
Nov 02 01:29:31.929 INFO kablam! 254 |     (LteCmp2) IntLteCmp2(Int, Int, IntPair, IntPair): IntPair {
Nov 02 01:29:31.929 INFO kablam!     |                                             ^^^^^^^
Nov 02 01:29:31.929 INFO kablam!     |
Nov 02 01:29:31.929 INFO kablam!     = help: the bound will not be checked when the type alias is used, and should be removed
Nov 02 01:29:31.929 INFO kablam! 
Nov 02 01:29:31.933 INFO kablam! warning: bounds on generic parameters are not enforced in type aliases
Nov 02 01:29:31.933 INFO kablam!    --> src/strong/balanced.rs:261:18
Nov 02 01:29:31.933 INFO kablam!     |
Nov 02 01:29:31.933 INFO kablam! 261 |     (Abs) IntAbs(Int): Int {
Nov 02 01:29:31.933 INFO kablam!     |                  ^^^
Nov 02 01:29:31.933 INFO kablam!     |
Nov 02 01:29:31.933 INFO kablam!     = help: the bound will not be checked when the type alias is used, and should be removed
Nov 02 01:29:31.933 INFO kablam! 
Nov 02 01:29:31.935 INFO kablam! warning: bounds on generic parameters are not enforced in type aliases
Nov 02 01:29:31.935 INFO kablam!    --> src/strong/balanced.rs:273:40
Nov 02 01:29:31.935 INFO kablam!     |
Nov 02 01:29:31.935 INFO kablam! 273 |     (AbsMinThreeCmp) IntAbsMinThreeCmp(Int, Int, Int, Int, Int, Int): IntPair {
Nov 02 01:29:31.935 INFO kablam!     |                                        ^^^
Nov 02 01:29:31.935 INFO kablam!     |
Nov 02 01:29:31.935 INFO kablam!     = help: the bound will not be checked when the type alias is used, and should be removed
Nov 02 01:29:31.935 INFO kablam! 
Nov 02 01:29:31.935 INFO kablam! warning: bounds on generic parameters are not enforced in type aliases
Nov 02 01:29:31.935 INFO kablam!    --> src/strong/balanced.rs:273:45
Nov 02 01:29:31.935 INFO kablam!     |
Nov 02 01:29:31.935 INFO kablam! 273 |     (AbsMinThreeCmp) IntAbsMinThreeCmp(Int, Int, Int, Int, Int, Int): IntPair {
Nov 02 01:29:31.935 INFO kablam!     |                                             ^^^
Nov 02 01:29:31.935 INFO kablam!     |
Nov 02 01:29:31.935 INFO kablam!     = help: the bound will not be checked when the type alias is used, and should be removed
Nov 02 01:29:31.935 INFO kablam! 
Nov 02 01:29:31.935 INFO kablam! warning: bounds on generic parameters are not enforced in type aliases
Nov 02 01:29:31.935 INFO kablam!    --> src/strong/balanced.rs:273:50
Nov 02 01:29:31.935 INFO kablam!     |
Nov 02 01:29:31.935 INFO kablam! 273 |     (AbsMinThreeCmp) IntAbsMinThreeCmp(Int, Int, Int, Int, Int, Int): IntPair {
Nov 02 01:29:31.935 INFO kablam!     |                                                  ^^^
Nov 02 01:29:31.935 INFO kablam!     |
Nov 02 01:29:31.935 INFO kablam!     = help: the bound will not be checked when the type alias is used, and should be removed
Nov 02 01:29:31.935 INFO kablam! 
Nov 02 01:29:31.935 INFO kablam! warning: bounds on generic parameters are not enforced in type aliases
Nov 02 01:29:31.935 INFO kablam!    --> src/strong/balanced.rs:273:55
Nov 02 01:29:31.935 INFO kablam!     |
Nov 02 01:29:31.935 INFO kablam! 273 |     (AbsMinThreeCmp) IntAbsMinThreeCmp(Int, Int, Int, Int, Int, Int): IntPair {
Nov 02 01:29:31.935 INFO kablam!     |                                                       ^^^
Nov 02 01:29:31.935 INFO kablam!     |
Nov 02 01:29:31.935 INFO kablam!     = help: the bound will not be checked when the type alias is used, and should be removed
Nov 02 01:29:31.935 INFO kablam! 
Nov 02 01:29:31.935 INFO kablam! warning: bounds on generic parameters are not enforced in type aliases
Nov 02 01:29:31.935 INFO kablam!    --> src/strong/balanced.rs:273:60
Nov 02 01:29:31.935 INFO kablam!     |
Nov 02 01:29:31.935 INFO kablam! 273 |     (AbsMinThreeCmp) IntAbsMinThreeCmp(Int, Int, Int, Int, Int, Int): IntPair {
Nov 02 01:29:31.935 INFO kablam!     |                                                            ^^^
Nov 02 01:29:31.935 INFO kablam!     |
Nov 02 01:29:31.935 INFO kablam!     = help: the bound will not be checked when the type alias is used, and should be removed
Nov 02 01:29:31.935 INFO kablam! 
Nov 02 01:29:31.935 INFO kablam! warning: bounds on generic parameters are not enforced in type aliases
Nov 02 01:29:31.935 INFO kablam!    --> src/strong/balanced.rs:273:65
Nov 02 01:29:31.935 INFO kablam!     |
Nov 02 01:29:31.935 INFO kablam! 273 |     (AbsMinThreeCmp) IntAbsMinThreeCmp(Int, Int, Int, Int, Int, Int): IntPair {
Nov 02 01:29:31.935 INFO kablam!     |                                                                 ^^^
Nov 02 01:29:31.935 INFO kablam!     |
Nov 02 01:29:31.935 INFO kablam!     = help: the bound will not be checked when the type alias is used, and should be removed
Nov 02 01:29:31.935 INFO kablam! 
Nov 02 01:29:31.935 INFO kablam! warning: bounds on generic parameters are not enforced in type aliases
Nov 02 01:29:31.935 INFO kablam!    --> src/strong/balanced.rs:284:18
Nov 02 01:29:31.935 INFO kablam!     |
Nov 02 01:29:31.935 INFO kablam! 284 |     (Rev) IntRev(Int): Int {
Nov 02 01:29:31.935 INFO kablam!     |                  ^^^
Nov 02 01:29:31.935 INFO kablam!     |
Nov 02 01:29:31.935 INFO kablam!     = help: the bound will not be checked when the type alias is used, and should be removed
Nov 02 01:29:31.935 INFO kablam! 
Nov 02 01:29:31.935 INFO kablam! warning: bounds on generic parameters are not enforced in type aliases
Nov 02 01:29:31.935 INFO kablam!    --> src/strong/balanced.rs:290:34
Nov 02 01:29:31.935 INFO kablam!     |
Nov 02 01:29:31.935 INFO kablam! 290 |     (RevInternal) IntRevInternal(Int, Int): Int {
Nov 02 01:29:31.935 INFO kablam!     |                                  ^^^
Nov 02 01:29:31.935 INFO kablam!     |
Nov 02 01:29:31.935 INFO kablam!     = help: the bound will not be checked when the type alias is used, and should be removed
Nov 02 01:29:31.935 INFO kablam! 
Nov 02 01:29:31.935 INFO kablam! warning: bounds on generic parameters are not enforced in type aliases
Nov 02 01:29:31.935 INFO kablam!    --> src/strong/balanced.rs:290:39
Nov 02 01:29:31.936 INFO kablam!     |
Nov 02 01:29:31.936 INFO kablam! 290 |     (RevInternal) IntRevInternal(Int, Int): Int {
Nov 02 01:29:31.936 INFO kablam!     |                                       ^^^
Nov 02 01:29:31.936 INFO kablam!     |
Nov 02 01:29:31.936 INFO kablam!     = help: the bound will not be checked when the type alias is used, and should be removed
Nov 02 01:29:31.936 INFO kablam! 
Nov 02 01:29:31.939 INFO kablam! warning: bounds on generic parameters are not enforced in type aliases
Nov 02 01:29:31.939 INFO kablam!    --> src/strong/balanced.rs:302:18
Nov 02 01:29:31.939 INFO kablam!     |
Nov 02 01:29:31.939 INFO kablam! 302 |     (Div) IntDiv(Int, Int): Int {
Nov 02 01:29:31.939 INFO kablam!     |                  ^^^
Nov 02 01:29:31.939 INFO kablam!     |
Nov 02 01:29:31.939 INFO kablam!     = help: the bound will not be checked when the type alias is used, and should be removed
Nov 02 01:29:31.939 INFO kablam! 
Nov 02 01:29:31.939 INFO kablam! warning: bounds on generic parameters are not enforced in type aliases
Nov 02 01:29:31.939 INFO kablam!    --> src/strong/balanced.rs:302:23
Nov 02 01:29:31.939 INFO kablam!     |
Nov 02 01:29:31.939 INFO kablam! 302 |     (Div) IntDiv(Int, Int): Int {
Nov 02 01:29:31.939 INFO kablam!     |                       ^^^
Nov 02 01:29:31.939 INFO kablam!     |
Nov 02 01:29:31.939 INFO kablam!     = help: the bound will not be checked when the type alias is used, and should be removed
Nov 02 01:29:31.939 INFO kablam! 
Nov 02 01:29:31.939 INFO kablam! warning: bounds on generic parameters are not enforced in type aliases
Nov 02 01:29:31.939 INFO kablam!    --> src/strong/balanced.rs:326:18
Nov 02 01:29:31.939 INFO kablam!     |
Nov 02 01:29:31.939 INFO kablam! 326 |     (Rem) IntRem(Int, Int): Int {
Nov 02 01:29:31.939 INFO kablam!     |                  ^^^
Nov 02 01:29:31.939 INFO kablam!     |
Nov 02 01:29:31.939 INFO kablam!     = help: the bound will not be checked when the type alias is used, and should be removed
Nov 02 01:29:31.939 INFO kablam! 
Nov 02 01:29:31.939 INFO kablam! warning: bounds on generic parameters are not enforced in type aliases
Nov 02 01:29:31.939 INFO kablam!    --> src/strong/balanced.rs:326:23
Nov 02 01:29:31.939 INFO kablam!     |
Nov 02 01:29:31.939 INFO kablam! 326 |     (Rem) IntRem(Int, Int): Int {
Nov 02 01:29:31.939 INFO kablam!     |                       ^^^
Nov 02 01:29:31.939 INFO kablam!     |
Nov 02 01:29:31.939 INFO kablam!     = help: the bound will not be checked when the type alias is used, and should be removed
Nov 02 01:29:31.939 INFO kablam! 
Nov 02 01:29:31.939 INFO kablam! warning: bounds on generic parameters are not enforced in type aliases
Nov 02 01:29:31.939 INFO kablam!    --> src/strong/balanced.rs:349:34
Nov 02 01:29:31.939 INFO kablam!     |
Nov 02 01:29:31.939 INFO kablam! 349 |     (DivInternal) IntDivInternal(Int, Int, IntPair): IntPair {
Nov 02 01:29:31.939 INFO kablam!     |                                  ^^^
Nov 02 01:29:31.939 INFO kablam!     |
Nov 02 01:29:31.939 INFO kablam!     = help: the bound will not be checked when the type alias is used, and should be removed
Nov 02 01:29:31.939 INFO kablam! 
Nov 02 01:29:31.939 INFO kablam! warning: bounds on generic parameters are not enforced in type aliases
Nov 02 01:29:31.939 INFO kablam!    --> src/strong/balanced.rs:349:39
Nov 02 01:29:31.939 INFO kablam!     |
Nov 02 01:29:31.939 INFO kablam! 349 |     (DivInternal) IntDivInternal(Int, Int, IntPair): IntPair {
Nov 02 01:29:31.939 INFO kablam!     |                                       ^^^
Nov 02 01:29:31.939 INFO kablam!     |
Nov 02 01:29:31.939 INFO kablam!     = help: the bound will not be checked when the type alias is used, and should be removed
Nov 02 01:29:31.939 INFO kablam! 
Nov 02 01:29:31.939 INFO kablam! warning: bounds on generic parameters are not enforced in type aliases
Nov 02 01:29:31.939 INFO kablam!    --> src/strong/balanced.rs:349:44
Nov 02 01:29:31.939 INFO kablam!     |
Nov 02 01:29:31.939 INFO kablam! 349 |     (DivInternal) IntDivInternal(Int, Int, IntPair): IntPair {
Nov 02 01:29:31.939 INFO kablam!     |                                            ^^^^^^^
Nov 02 01:29:31.939 INFO kablam!     |
Nov 02 01:29:31.939 INFO kablam!     = help: the bound will not be checked when the type alias is used, and should be removed
Nov 02 01:29:31.939 INFO kablam! 
Nov 02 01:29:33.042 INFO kablam!     Finished dev [unoptimized + debuginfo] target(s) in 4.25s
Nov 02 01:29:33.054 INFO kablam! su: No module specific data is present
Nov 02 01:29:33.751 INFO running `"docker" "rm" "-f" "bae9cd53c592ee99dfc63a4a32a3fff95c944da1529dab6d04736c2e9599284e"`
Nov 02 01:29:34.019 INFO blam! bae9cd53c592ee99dfc63a4a32a3fff95c944da1529dab6d04736c2e9599284e
Nov 02 01:29:34.027 INFO running `"docker" "create" "-v" "/mnt/big/crater/work/local/target-dirs/beta-1.31-1/worker-2/beta-2018-10-30:/target:rw,Z" "-v" "/mnt/big/crater/work/local/test-source/worker-2/beta-1.31-1/beta-2018-10-30:/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 +beta-2018-10-30 test --frozen" "-e" "CARGO_TARGET_DIR=/target" "-e" "CARGO_INCREMENTAL=0" "-e" "RUST_BACKTRACE=full" "-e" "RUSTFLAGS=--cap-lints=warn" "-e" "CARGO_HOME=/cargo-home" "-e" "RUSTUP_HOME=/rustup-home" "-m" "1536M" "--network" "none" "crater"`
Nov 02 01:29:34.422 INFO blam! d96acb08cb8abd8f609c955c02dbb2f94439948e372188873c6dbfa4d860a12a
Nov 02 01:29:34.425 INFO running `"docker" "start" "-a" "d96acb08cb8abd8f609c955c02dbb2f94439948e372188873c6dbfa4d860a12a"`
Nov 02 01:29:35.800 INFO kablam! usermod: no changes
Nov 02 01:29:35.863 INFO kablam!     Finished dev [unoptimized + debuginfo] target(s) in 0.02s
Nov 02 01:29:35.863 INFO blam! 
Nov 02 01:29:35.863 INFO kablam!      Running /target/debug/deps/type_level_logic-5139e484530f45fd
Nov 02 01:29:35.863 INFO blam! running 24 tests
Nov 02 01:29:35.871 INFO blam! test strong::balanced::tests::balanced_ternary_abs ... ok
Nov 02 01:29:35.872 INFO blam! test strong::balanced::tests::balanced_ternary_add ... ok
Nov 02 01:29:35.872 INFO blam! test strong::balanced::tests::balanced_ternary_abs_min_three_cmp ... ok
Nov 02 01:29:35.872 INFO blam! test strong::balanced::tests::balanced_ternary_cmp ... ok
Nov 02 01:29:35.874 INFO blam! test strong::balanced::tests::balanced_ternary_sub ... ok
Nov 02 01:29:35.874 INFO blam! test strong::balanced::tests::balanced_ternary_rem ... ok
Nov 02 01:29:35.874 INFO blam! test strong::balanced::tests::balanced_ternary_lte_cmp ... ok
Nov 02 01:29:35.874 INFO blam! test strong::balanced::tests::balanced_ternary_rev ... ok
Nov 02 01:29:35.874 INFO blam! test strong::balanced::tests::balanced_ternary_mul ... ok
Nov 02 01:29:35.874 INFO blam! test strong::balanced::tests::balanced_ternary_div ... ok
Nov 02 01:29:35.874 INFO blam! test strong::balanced::tests::balanced_ternary_succ ... ok
Nov 02 01:29:35.874 INFO blam! test strong::balanced::tests::balanced_ternary_pred ... ok
Nov 02 01:29:35.874 INFO blam! test strong::ternary::tests::ternary_sub ... ok
Nov 02 01:29:35.875 INFO blam! test strong::ternary::tests::ternary_pred ... ok
Nov 02 01:29:35.875 INFO blam! test strong::ternary::tests::ternary_rem ... ok
Nov 02 01:29:35.875 INFO blam! test strong::ternary::tests::ternary_undef_or_2 ... ok
Nov 02 01:29:35.875 INFO blam! test types::balanced::tests::balanced_ternary_constants ... ok
Nov 02 01:29:35.875 INFO blam! test types::ternary::tests::ternary_constants ... ok
Nov 02 01:29:35.876 INFO blam! test strong::ternary::tests::ternary_double_pred ... ok
Nov 02 01:29:35.876 INFO blam! test strong::ternary::tests::ternary_mul ... ok
Nov 02 01:29:35.876 INFO blam! test strong::ternary::tests::ternary_add ... ok
Nov 02 01:29:35.883 INFO blam! test strong::ternary::tests::ternary_succ ... ok
Nov 02 01:29:35.887 INFO blam! test strong::ternary::tests::ternary_div ... ok
Nov 02 01:29:35.895 INFO blam! test strong::ternary::tests::ternary_sub_undefined ... ok
Nov 02 01:29:35.895 INFO blam! 
Nov 02 01:29:35.895 INFO blam! test result: ok. 24 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out
Nov 02 01:29:35.895 INFO blam! 
Nov 02 01:29:35.903 INFO kablam!    Doc-tests type-level-logic
Nov 02 01:29:37.428 INFO blam! 
Nov 02 01:29:37.428 INFO blam! running 0 tests
Nov 02 01:29:37.428 INFO blam! 
Nov 02 01:29:37.428 INFO blam! test result: ok. 0 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out
Nov 02 01:29:37.428 INFO blam! 
Nov 02 01:29:37.451 INFO kablam! su: No module specific data is present
Nov 02 01:29:38.570 INFO running `"docker" "rm" "-f" "d96acb08cb8abd8f609c955c02dbb2f94439948e372188873c6dbfa4d860a12a"`
Nov 02 01:29:38.855 INFO blam! d96acb08cb8abd8f609c955c02dbb2f94439948e372188873c6dbfa4d860a12a
