Nov 30 13:43:05.489 INFO checking type-level-logic-0.1.0 against try#32252761328f59ccfadb1bafb8148c685bc830b3 for pr-56323
Nov 30 13:43:05.489 INFO running `"docker" "create" "-v" "/mnt/big/crater/work/local/target-dirs/pr-56323/worker-7/try#32252761328f59ccfadb1bafb8148c685bc830b3:/target:rw,Z" "-v" "/mnt/big/crater/work/local/test-source/worker-7/pr-56323/try#32252761328f59ccfadb1bafb8148c685bc830b3:/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 +32252761328f59ccfadb1bafb8148c685bc830b3-alt check --frozen --all --all-targets" "-e" "CARGO_TARGET_DIR=/target" "-e" "CARGO_INCREMENTAL=0" "-e" "RUST_BACKTRACE=full" "-e" "RUSTFLAGS=--cap-lints=forbid" "-e" "CARGO_HOME=/cargo-home" "-e" "RUSTUP_HOME=/rustup-home" "-m" "1536M" "--network" "none" "crater"`
Nov 30 13:43:06.116 INFO [stdout] c945e9368292e4522ecf0e21aaa97d5140183a8043006d4d6037842176d2100e
Nov 30 13:43:06.122 INFO running `"docker" "start" "-a" "c945e9368292e4522ecf0e21aaa97d5140183a8043006d4d6037842176d2100e"`
Nov 30 13:43:07.539 INFO [stderr] usermod: no changes
Nov 30 13:43:07.610 INFO [stderr]     Checking type-operators v0.3.5
Nov 30 13:43:08.224 INFO [stderr]     Checking type-level-logic v0.1.0 (/source)
Nov 30 13:43:10.589 INFO [stderr] warning: bounds on generic parameters are not enforced in type aliases
Nov 30 13:43:10.589 INFO [stderr]  --> src/strong/boolean.rs:9:19
Nov 30 13:43:10.589 INFO [stderr]   |
Nov 30 13:43:10.589 INFO [stderr] 9 |     (And) BoolAnd(Bool, Bool): Bool {
Nov 30 13:43:10.589 INFO [stderr]   |                   ^^^^
Nov 30 13:43:10.589 INFO [stderr]   |
Nov 30 13:43:10.589 INFO [stderr]   = note: #[warn(type_alias_bounds)] on by default
Nov 30 13:43:10.589 INFO [stderr]   = help: the bound will not be checked when the type alias is used, and should be removed
Nov 30 13:43:10.589 INFO [stderr] 
Nov 30 13:43:10.589 INFO [stderr] warning: bounds on generic parameters are not enforced in type aliases
Nov 30 13:43:10.589 INFO [stderr]  --> src/strong/boolean.rs:9:25
Nov 30 13:43:10.589 INFO [stderr]   |
Nov 30 13:43:10.589 INFO [stderr] 9 |     (And) BoolAnd(Bool, Bool): Bool {
Nov 30 13:43:10.589 INFO [stderr]   |                         ^^^^
Nov 30 13:43:10.589 INFO [stderr]   |
Nov 30 13:43:10.589 INFO [stderr]   = help: the bound will not be checked when the type alias is used, and should be removed
Nov 30 13:43:10.589 INFO [stderr] 
Nov 30 13:43:10.589 INFO [stderr] warning: bounds on generic parameters are not enforced in type aliases
Nov 30 13:43:10.589 INFO [stderr]   --> src/strong/boolean.rs:17:17
Nov 30 13:43:10.589 INFO [stderr]    |
Nov 30 13:43:10.589 INFO [stderr] 17 |     (Or) BoolOr(Bool, Bool): Bool {
Nov 30 13:43:10.589 INFO [stderr]    |                 ^^^^
Nov 30 13:43:10.589 INFO [stderr]    |
Nov 30 13:43:10.589 INFO [stderr]    = help: the bound will not be checked when the type alias is used, and should be removed
Nov 30 13:43:10.589 INFO [stderr] 
Nov 30 13:43:10.589 INFO [stderr] warning: bounds on generic parameters are not enforced in type aliases
Nov 30 13:43:10.589 INFO [stderr]   --> src/strong/boolean.rs:17:23
Nov 30 13:43:10.589 INFO [stderr]    |
Nov 30 13:43:10.589 INFO [stderr] 17 |     (Or) BoolOr(Bool, Bool): Bool {
Nov 30 13:43:10.590 INFO [stderr]    |                       ^^^^
Nov 30 13:43:10.593 INFO [stderr]    |
Nov 30 13:43:10.593 INFO [stderr]    = help: the bound will not be checked when the type alias is used, and should be removed
Nov 30 13:43:10.593 INFO [stderr] 
Nov 30 13:43:10.593 INFO [stderr] warning: bounds on generic parameters are not enforced in type aliases
Nov 30 13:43:10.593 INFO [stderr]   --> src/strong/boolean.rs:26:25
Nov 30 13:43:10.593 INFO [stderr]    |
Nov 30 13:43:10.593 INFO [stderr] 26 |     (IfThen) BoolIfThen(Bool, Bool): Bool {
Nov 30 13:43:10.593 INFO [stderr]    |                         ^^^^
Nov 30 13:43:10.593 INFO [stderr]    |
Nov 30 13:43:10.593 INFO [stderr]    = help: the bound will not be checked when the type alias is used, and should be removed
Nov 30 13:43:10.593 INFO [stderr] 
Nov 30 13:43:10.593 INFO [stderr] warning: bounds on generic parameters are not enforced in type aliases
Nov 30 13:43:10.593 INFO [stderr]   --> src/strong/boolean.rs:26:31
Nov 30 13:43:10.593 INFO [stderr]    |
Nov 30 13:43:10.593 INFO [stderr] 26 |     (IfThen) BoolIfThen(Bool, Bool): Bool {
Nov 30 13:43:10.593 INFO [stderr]    |                               ^^^^
Nov 30 13:43:10.593 INFO [stderr]    |
Nov 30 13:43:10.593 INFO [stderr]    = help: the bound will not be checked when the type alias is used, and should be removed
Nov 30 13:43:10.593 INFO [stderr] 
Nov 30 13:43:10.593 INFO [stderr] warning: bounds on generic parameters are not enforced in type aliases
Nov 30 13:43:10.593 INFO [stderr]   --> src/strong/boolean.rs:35:25
Nov 30 13:43:10.593 INFO [stderr]    |
Nov 30 13:43:10.593 INFO [stderr] 35 |     (OnlyIf) BoolOnlyIf(Bool, Bool): Bool {
Nov 30 13:43:10.593 INFO [stderr]    |                         ^^^^
Nov 30 13:43:10.593 INFO [stderr]    |
Nov 30 13:43:10.593 INFO [stderr]    = help: the bound will not be checked when the type alias is used, and should be removed
Nov 30 13:43:10.593 INFO [stderr] 
Nov 30 13:43:10.593 INFO [stderr] warning: bounds on generic parameters are not enforced in type aliases
Nov 30 13:43:10.593 INFO [stderr]   --> src/strong/boolean.rs:35:31
Nov 30 13:43:10.593 INFO [stderr]    |
Nov 30 13:43:10.593 INFO [stderr] 35 |     (OnlyIf) BoolOnlyIf(Bool, Bool): Bool {
Nov 30 13:43:10.593 INFO [stderr]    |                               ^^^^
Nov 30 13:43:10.593 INFO [stderr]    |
Nov 30 13:43:10.593 INFO [stderr]    = help: the bound will not be checked when the type alias is used, and should be removed
Nov 30 13:43:10.593 INFO [stderr] 
Nov 30 13:43:10.593 INFO [stderr] warning: bounds on generic parameters are not enforced in type aliases
Nov 30 13:43:10.593 INFO [stderr]   --> src/strong/boolean.rs:43:19
Nov 30 13:43:10.593 INFO [stderr]    |
Nov 30 13:43:10.593 INFO [stderr] 43 |     (Xor) BoolXor(Bool, Bool): Bool {
Nov 30 13:43:10.594 INFO [stderr]    |                   ^^^^
Nov 30 13:43:10.594 INFO [stderr]    |
Nov 30 13:43:10.594 INFO [stderr]    = help: the bound will not be checked when the type alias is used, and should be removed
Nov 30 13:43:10.594 INFO [stderr] 
Nov 30 13:43:10.594 INFO [stderr] warning: bounds on generic parameters are not enforced in type aliases
Nov 30 13:43:10.594 INFO [stderr]   --> src/strong/boolean.rs:43:25
Nov 30 13:43:10.594 INFO [stderr]    |
Nov 30 13:43:10.594 INFO [stderr] 43 |     (Xor) BoolXor(Bool, Bool): Bool {
Nov 30 13:43:10.594 INFO [stderr]    |                         ^^^^
Nov 30 13:43:10.594 INFO [stderr]    |
Nov 30 13:43:10.594 INFO [stderr]    = help: the bound will not be checked when the type alias is used, and should be removed
Nov 30 13:43:10.594 INFO [stderr] 
Nov 30 13:43:10.594 INFO [stderr] warning: bounds on generic parameters are not enforced in type aliases
Nov 30 13:43:10.594 INFO [stderr]   --> src/strong/ternary.rs:14:24
Nov 30 13:43:10.594 INFO [stderr]    |
Nov 30 13:43:10.594 INFO [stderr] 14 |     (Nat2First) Nat2P1(NatPair): Nat {
Nov 30 13:43:10.594 INFO [stderr]    |                        ^^^^^^^
Nov 30 13:43:10.594 INFO [stderr]    |
Nov 30 13:43:10.594 INFO [stderr]    = help: the bound will not be checked when the type alias is used, and should be removed
Nov 30 13:43:10.594 INFO [stderr] 
Nov 30 13:43:10.594 INFO [stderr] warning: bounds on generic parameters are not enforced in type aliases
Nov 30 13:43:10.594 INFO [stderr]   --> src/strong/ternary.rs:21:25
Nov 30 13:43:10.594 INFO [stderr]    |
Nov 30 13:43:10.594 INFO [stderr] 21 |     (Nat2Second) Nat2P2(NatPair): Nat {
Nov 30 13:43:10.594 INFO [stderr]    |                         ^^^^^^^
Nov 30 13:43:10.595 INFO [stderr]    |
Nov 30 13:43:10.595 INFO [stderr]    = help: the bound will not be checked when the type alias is used, and should be removed
Nov 30 13:43:10.595 INFO [stderr] 
Nov 30 13:43:10.595 INFO [stderr] warning: bounds on generic parameters are not enforced in type aliases
Nov 30 13:43:10.595 INFO [stderr]   --> src/strong/ternary.rs:29:20
Nov 30 13:43:10.595 INFO [stderr]    |
Nov 30 13:43:10.595 INFO [stderr] 29 |     (Succ) NatSucc(Nat): Nat {
Nov 30 13:43:10.595 INFO [stderr]    |                    ^^^
Nov 30 13:43:10.595 INFO [stderr]    |
Nov 30 13:43:10.596 INFO [stderr]    = help: the bound will not be checked when the type alias is used, and should be removed
Nov 30 13:43:10.596 INFO [stderr] 
Nov 30 13:43:10.596 INFO [stderr] warning: bounds on generic parameters are not enforced in type aliases
Nov 30 13:43:10.596 INFO [stderr]   --> src/strong/ternary.rs:41:20
Nov 30 13:43:10.596 INFO [stderr]    |
Nov 30 13:43:10.596 INFO [stderr] 41 |     (Pred) NatPred(Nat): Nat {
Nov 30 13:43:10.596 INFO [stderr]    |                    ^^^
Nov 30 13:43:10.596 INFO [stderr]    |
Nov 30 13:43:10.596 INFO [stderr]    = help: the bound will not be checked when the type alias is used, and should be removed
Nov 30 13:43:10.596 INFO [stderr] 
Nov 30 13:43:10.596 INFO [stderr] warning: bounds on generic parameters are not enforced in type aliases
Nov 30 13:43:10.596 INFO [stderr]   --> src/strong/ternary.rs:53:32
Nov 30 13:43:10.596 INFO [stderr]    |
Nov 30 13:43:10.596 INFO [stderr] 53 |     (DoublePred) NatDoublePred(Nat): Nat {
Nov 30 13:43:10.596 INFO [stderr]    |                                ^^^
Nov 30 13:43:10.596 INFO [stderr]    |
Nov 30 13:43:10.596 INFO [stderr]    = help: the bound will not be checked when the type alias is used, and should be removed
Nov 30 13:43:10.596 INFO [stderr] 
Nov 30 13:43:10.596 INFO [stderr] warning: bounds on generic parameters are not enforced in type aliases
Nov 30 13:43:10.596 INFO [stderr]   --> src/strong/ternary.rs:68:24
Nov 30 13:43:10.596 INFO [stderr]    |
Nov 30 13:43:10.596 INFO [stderr] 68 |     (Triple) NatTriple(Nat): Nat {
Nov 30 13:43:10.596 INFO [stderr]    |                        ^^^
Nov 30 13:43:10.596 INFO [stderr]    |
Nov 30 13:43:10.596 INFO [stderr]    = help: the bound will not be checked when the type alias is used, and should be removed
Nov 30 13:43:10.596 INFO [stderr] 
Nov 30 13:43:10.596 INFO [stderr] warning: bounds on generic parameters are not enforced in type aliases
Nov 30 13:43:10.596 INFO [stderr]   --> src/strong/ternary.rs:81:24
Nov 30 13:43:10.596 INFO [stderr]    |
Nov 30 13:43:10.596 INFO [stderr] 81 |     (Unique) NatUnique(Nat): Nat {
Nov 30 13:43:10.596 INFO [stderr]    |                        ^^^
Nov 30 13:43:10.596 INFO [stderr]    |
Nov 30 13:43:10.596 INFO [stderr]    = help: the bound will not be checked when the type alias is used, and should be removed
Nov 30 13:43:10.597 INFO [stderr] 
Nov 30 13:43:10.597 INFO [stderr] warning: bounds on generic parameters are not enforced in type aliases
Nov 30 13:43:10.597 INFO [stderr]   --> src/strong/ternary.rs:95:18
Nov 30 13:43:10.597 INFO [stderr]    |
Nov 30 13:43:10.597 INFO [stderr] 95 |     (Add) NatAdd(Nat, Nat): Nat {
Nov 30 13:43:10.597 INFO [stderr]    |                  ^^^
Nov 30 13:43:10.597 INFO [stderr]    |
Nov 30 13:43:10.597 INFO [stderr]    = help: the bound will not be checked when the type alias is used, and should be removed
Nov 30 13:43:10.597 INFO [stderr] 
Nov 30 13:43:10.597 INFO [stderr] warning: bounds on generic parameters are not enforced in type aliases
Nov 30 13:43:10.597 INFO [stderr]   --> src/strong/ternary.rs:95:23
Nov 30 13:43:10.597 INFO [stderr]    |
Nov 30 13:43:10.597 INFO [stderr] 95 |     (Add) NatAdd(Nat, Nat): Nat {
Nov 30 13:43:10.597 INFO [stderr]    |                       ^^^
Nov 30 13:43:10.597 INFO [stderr]    |
Nov 30 13:43:10.597 INFO [stderr]    = help: the bound will not be checked when the type alias is used, and should be removed
Nov 30 13:43:10.597 INFO [stderr] 
Nov 30 13:43:10.597 INFO [stderr] warning: bounds on generic parameters are not enforced in type aliases
Nov 30 13:43:10.597 INFO [stderr]    --> src/strong/ternary.rs:128:38
Nov 30 13:43:10.597 INFO [stderr]     |
Nov 30 13:43:10.597 INFO [stderr] 128 |     (TriplePlusOne) NatTriplePlusOne(Nat): Nat {
Nov 30 13:43:10.597 INFO [stderr]     |                                      ^^^
Nov 30 13:43:10.597 INFO [stderr]     |
Nov 30 13:43:10.597 INFO [stderr]     = help: the bound will not be checked when the type alias is used, and should be removed
Nov 30 13:43:10.597 INFO [stderr] 
Nov 30 13:43:10.597 INFO [stderr] warning: bounds on generic parameters are not enforced in type aliases
Nov 30 13:43:10.597 INFO [stderr]    --> src/strong/ternary.rs:139:38
Nov 30 13:43:10.597 INFO [stderr]     |
Nov 30 13:43:10.597 INFO [stderr] 139 |     (TriplePlusTwo) NatTriplePlusTwo(Nat): Nat {
Nov 30 13:43:10.597 INFO [stderr]     |                                      ^^^
Nov 30 13:43:10.597 INFO [stderr]     |
Nov 30 13:43:10.597 INFO [stderr]     = help: the bound will not be checked when the type alias is used, and should be removed
Nov 30 13:43:10.598 INFO [stderr] 
Nov 30 13:43:10.598 INFO [stderr] warning: bounds on generic parameters are not enforced in type aliases
Nov 30 13:43:10.598 INFO [stderr]    --> src/strong/ternary.rs:152:18
Nov 30 13:43:10.598 INFO [stderr]     |
Nov 30 13:43:10.598 INFO [stderr] 152 |     (Sub) NatSub(Nat, Nat): Nat {
Nov 30 13:43:10.598 INFO [stderr]     |                  ^^^
Nov 30 13:43:10.598 INFO [stderr]     |
Nov 30 13:43:10.598 INFO [stderr]     = help: the bound will not be checked when the type alias is used, and should be removed
Nov 30 13:43:10.598 INFO [stderr] 
Nov 30 13:43:10.598 INFO [stderr] warning: bounds on generic parameters are not enforced in type aliases
Nov 30 13:43:10.598 INFO [stderr]    --> src/strong/ternary.rs:152:23
Nov 30 13:43:10.598 INFO [stderr]     |
Nov 30 13:43:10.598 INFO [stderr] 152 |     (Sub) NatSub(Nat, Nat): Nat {
Nov 30 13:43:10.598 INFO [stderr]     |                       ^^^
Nov 30 13:43:10.598 INFO [stderr]     |
Nov 30 13:43:10.598 INFO [stderr]     = help: the bound will not be checked when the type alias is used, and should be removed
Nov 30 13:43:10.598 INFO [stderr] 
Nov 30 13:43:10.598 INFO [stderr] warning: bounds on generic parameters are not enforced in type aliases
Nov 30 13:43:10.598 INFO [stderr]    --> src/strong/ternary.rs:185:18
Nov 30 13:43:10.598 INFO [stderr]     |
Nov 30 13:43:10.599 INFO [stderr] 185 |     (Mul) NatMul(Nat, Nat): Nat {
Nov 30 13:43:10.599 INFO [stderr]     |                  ^^^
Nov 30 13:43:10.599 INFO [stderr]     |
Nov 30 13:43:10.599 INFO [stderr]     = help: the bound will not be checked when the type alias is used, and should be removed
Nov 30 13:43:10.599 INFO [stderr] 
Nov 30 13:43:10.599 INFO [stderr] warning: bounds on generic parameters are not enforced in type aliases
Nov 30 13:43:10.599 INFO [stderr]    --> src/strong/ternary.rs:185:23
Nov 30 13:43:10.599 INFO [stderr]     |
Nov 30 13:43:10.599 INFO [stderr] 185 |     (Mul) NatMul(Nat, Nat): Nat {
Nov 30 13:43:10.599 INFO [stderr]     |                       ^^^
Nov 30 13:43:10.599 INFO [stderr]     |
Nov 30 13:43:10.600 INFO [stderr]     = help: the bound will not be checked when the type alias is used, and should be removed
Nov 30 13:43:10.600 INFO [stderr] 
Nov 30 13:43:10.600 INFO [stderr] warning: bounds on generic parameters are not enforced in type aliases
Nov 30 13:43:10.600 INFO [stderr]    --> src/strong/ternary.rs:220:18
Nov 30 13:43:10.600 INFO [stderr]     |
Nov 30 13:43:10.600 INFO [stderr] 220 |     (Cmp) NatCmp(Nat, Nat, Nat, Nat, Nat): Nat {
Nov 30 13:43:10.600 INFO [stderr]     |                  ^^^
Nov 30 13:43:10.600 INFO [stderr]     |
Nov 30 13:43:10.600 INFO [stderr]     = help: the bound will not be checked when the type alias is used, and should be removed
Nov 30 13:43:10.600 INFO [stderr] 
Nov 30 13:43:10.600 INFO [stderr] warning: bounds on generic parameters are not enforced in type aliases
Nov 30 13:43:10.600 INFO [stderr]    --> src/strong/ternary.rs:220:23
Nov 30 13:43:10.600 INFO [stderr]     |
Nov 30 13:43:10.600 INFO [stderr] 220 |     (Cmp) NatCmp(Nat, Nat, Nat, Nat, Nat): Nat {
Nov 30 13:43:10.600 INFO [stderr]     |                       ^^^
Nov 30 13:43:10.600 INFO [stderr]     |
Nov 30 13:43:10.600 INFO [stderr]     = help: the bound will not be checked when the type alias is used, and should be removed
Nov 30 13:43:10.600 INFO [stderr] 
Nov 30 13:43:10.600 INFO [stderr] warning: bounds on generic parameters are not enforced in type aliases
Nov 30 13:43:10.600 INFO [stderr]    --> src/strong/ternary.rs:220:28
Nov 30 13:43:10.600 INFO [stderr]     |
Nov 30 13:43:10.600 INFO [stderr] 220 |     (Cmp) NatCmp(Nat, Nat, Nat, Nat, Nat): Nat {
Nov 30 13:43:10.600 INFO [stderr]     |                            ^^^
Nov 30 13:43:10.600 INFO [stderr]     |
Nov 30 13:43:10.600 INFO [stderr]     = help: the bound will not be checked when the type alias is used, and should be removed
Nov 30 13:43:10.600 INFO [stderr] 
Nov 30 13:43:10.600 INFO [stderr] warning: bounds on generic parameters are not enforced in type aliases
Nov 30 13:43:10.600 INFO [stderr]    --> src/strong/ternary.rs:220:33
Nov 30 13:43:10.600 INFO [stderr]     |
Nov 30 13:43:10.600 INFO [stderr] 220 |     (Cmp) NatCmp(Nat, Nat, Nat, Nat, Nat): Nat {
Nov 30 13:43:10.600 INFO [stderr]     |                                 ^^^
Nov 30 13:43:10.600 INFO [stderr]     |
Nov 30 13:43:10.600 INFO [stderr]     = help: the bound will not be checked when the type alias is used, and should be removed
Nov 30 13:43:10.600 INFO [stderr] 
Nov 30 13:43:10.600 INFO [stderr] warning: bounds on generic parameters are not enforced in type aliases
Nov 30 13:43:10.600 INFO [stderr]    --> src/strong/ternary.rs:220:38
Nov 30 13:43:10.600 INFO [stderr]     |
Nov 30 13:43:10.600 INFO [stderr] 220 |     (Cmp) NatCmp(Nat, Nat, Nat, Nat, Nat): Nat {
Nov 30 13:43:10.600 INFO [stderr]     |                                      ^^^
Nov 30 13:43:10.600 INFO [stderr]     |
Nov 30 13:43:10.600 INFO [stderr]     = help: the bound will not be checked when the type alias is used, and should be removed
Nov 30 13:43:10.600 INFO [stderr] 
Nov 30 13:43:10.601 INFO [stderr] warning: bounds on generic parameters are not enforced in type aliases
Nov 30 13:43:10.602 INFO [stderr]    --> src/strong/ternary.rs:247:28
Nov 30 13:43:10.602 INFO [stderr]     |
Nov 30 13:43:10.602 INFO [stderr] 247 |     (UndefOr2) NatUndefOr2(Nat, Nat, NatPair): NatPair {
Nov 30 13:43:10.602 INFO [stderr]     |                            ^^^
Nov 30 13:43:10.602 INFO [stderr]     |
Nov 30 13:43:10.602 INFO [stderr]     = help: the bound will not be checked when the type alias is used, and should be removed
Nov 30 13:43:10.602 INFO [stderr] 
Nov 30 13:43:10.602 INFO [stderr] warning: bounds on generic parameters are not enforced in type aliases
Nov 30 13:43:10.602 INFO [stderr]    --> src/strong/ternary.rs:247:33
Nov 30 13:43:10.602 INFO [stderr]     |
Nov 30 13:43:10.602 INFO [stderr] 247 |     (UndefOr2) NatUndefOr2(Nat, Nat, NatPair): NatPair {
Nov 30 13:43:10.602 INFO [stderr]     |                                 ^^^
Nov 30 13:43:10.602 INFO [stderr]     |
Nov 30 13:43:10.602 INFO [stderr]     = help: the bound will not be checked when the type alias is used, and should be removed
Nov 30 13:43:10.602 INFO [stderr] 
Nov 30 13:43:10.602 INFO [stderr] warning: bounds on generic parameters are not enforced in type aliases
Nov 30 13:43:10.602 INFO [stderr]    --> src/strong/ternary.rs:247:38
Nov 30 13:43:10.602 INFO [stderr]     |
Nov 30 13:43:10.602 INFO [stderr] 247 |     (UndefOr2) NatUndefOr2(Nat, Nat, NatPair): NatPair {
Nov 30 13:43:10.602 INFO [stderr]     |                                      ^^^^^^^
Nov 30 13:43:10.602 INFO [stderr]     |
Nov 30 13:43:10.602 INFO [stderr]     = help: the bound will not be checked when the type alias is used, and should be removed
Nov 30 13:43:10.602 INFO [stderr] 
Nov 30 13:43:10.602 INFO [stderr] warning: bounds on generic parameters are not enforced in type aliases
Nov 30 13:43:10.602 INFO [stderr]    --> src/strong/ternary.rs:262:18
Nov 30 13:43:10.602 INFO [stderr]     |
Nov 30 13:43:10.602 INFO [stderr] 262 |     (Rev) NatRev(Nat): Nat {
Nov 30 13:43:10.602 INFO [stderr]     |                  ^^^
Nov 30 13:43:10.602 INFO [stderr]     |
Nov 30 13:43:10.602 INFO [stderr]     = help: the bound will not be checked when the type alias is used, and should be removed
Nov 30 13:43:10.602 INFO [stderr] 
Nov 30 13:43:10.602 INFO [stderr] warning: bounds on generic parameters are not enforced in type aliases
Nov 30 13:43:10.602 INFO [stderr]    --> src/strong/ternary.rs:268:34
Nov 30 13:43:10.602 INFO [stderr]     |
Nov 30 13:43:10.602 INFO [stderr] 268 |     (RevInternal) NatRevInternal(Nat, Nat): Nat {
Nov 30 13:43:10.602 INFO [stderr]     |                                  ^^^
Nov 30 13:43:10.602 INFO [stderr]     |
Nov 30 13:43:10.602 INFO [stderr]     = help: the bound will not be checked when the type alias is used, and should be removed
Nov 30 13:43:10.602 INFO [stderr] 
Nov 30 13:43:10.602 INFO [stderr] warning: bounds on generic parameters are not enforced in type aliases
Nov 30 13:43:10.602 INFO [stderr]    --> src/strong/ternary.rs:268:39
Nov 30 13:43:10.602 INFO [stderr]     |
Nov 30 13:43:10.602 INFO [stderr] 268 |     (RevInternal) NatRevInternal(Nat, Nat): Nat {
Nov 30 13:43:10.602 INFO [stderr]     |                                       ^^^
Nov 30 13:43:10.602 INFO [stderr]     |
Nov 30 13:43:10.602 INFO [stderr]     = help: the bound will not be checked when the type alias is used, and should be removed
Nov 30 13:43:10.602 INFO [stderr] 
Nov 30 13:43:10.602 INFO [stderr] warning: bounds on generic parameters are not enforced in type aliases
Nov 30 13:43:10.602 INFO [stderr]    --> src/strong/ternary.rs:281:18
Nov 30 13:43:10.602 INFO [stderr]     |
Nov 30 13:43:10.602 INFO [stderr] 281 |     (Div) NatDiv(Nat, Nat): Nat {
Nov 30 13:43:10.602 INFO [stderr]     |                  ^^^
Nov 30 13:43:10.602 INFO [stderr]     |
Nov 30 13:43:10.603 INFO [stderr]     = help: the bound will not be checked when the type alias is used, and should be removed
Nov 30 13:43:10.603 INFO [stderr] 
Nov 30 13:43:10.603 INFO [stderr] warning: bounds on generic parameters are not enforced in type aliases
Nov 30 13:43:10.603 INFO [stderr]    --> src/strong/ternary.rs:281:23
Nov 30 13:43:10.603 INFO [stderr]     |
Nov 30 13:43:10.603 INFO [stderr] 281 |     (Div) NatDiv(Nat, Nat): Nat {
Nov 30 13:43:10.603 INFO [stderr]     |                       ^^^
Nov 30 13:43:10.603 INFO [stderr]     |
Nov 30 13:43:10.603 INFO [stderr]     = help: the bound will not be checked when the type alias is used, and should be removed
Nov 30 13:43:10.603 INFO [stderr] 
Nov 30 13:43:10.603 INFO [stderr] warning: bounds on generic parameters are not enforced in type aliases
Nov 30 13:43:10.603 INFO [stderr]    --> src/strong/ternary.rs:306:18
Nov 30 13:43:10.603 INFO [stderr]     |
Nov 30 13:43:10.603 INFO [stderr] 306 |     (Rem) NatRem(Nat, Nat): Nat {
Nov 30 13:43:10.603 INFO [stderr]     |                  ^^^
Nov 30 13:43:10.603 INFO [stderr]     |
Nov 30 13:43:10.603 INFO [stderr]     = help: the bound will not be checked when the type alias is used, and should be removed
Nov 30 13:43:10.603 INFO [stderr] 
Nov 30 13:43:10.603 INFO [stderr] warning: bounds on generic parameters are not enforced in type aliases
Nov 30 13:43:10.603 INFO [stderr]    --> src/strong/ternary.rs:306:23
Nov 30 13:43:10.603 INFO [stderr]     |
Nov 30 13:43:10.603 INFO [stderr] 306 |     (Rem) NatRem(Nat, Nat): Nat {
Nov 30 13:43:10.603 INFO [stderr]     |                       ^^^
Nov 30 13:43:10.603 INFO [stderr]     |
Nov 30 13:43:10.603 INFO [stderr]     = help: the bound will not be checked when the type alias is used, and should be removed
Nov 30 13:43:10.603 INFO [stderr] 
Nov 30 13:43:10.603 INFO [stderr] warning: bounds on generic parameters are not enforced in type aliases
Nov 30 13:43:10.603 INFO [stderr]    --> src/strong/ternary.rs:329:34
Nov 30 13:43:10.603 INFO [stderr]     |
Nov 30 13:43:10.603 INFO [stderr] 329 |     (DivInternal) NatDivInternal(Nat, Nat, NatPair): NatPair {
Nov 30 13:43:10.603 INFO [stderr]     |                                  ^^^
Nov 30 13:43:10.603 INFO [stderr]     |
Nov 30 13:43:10.604 INFO [stderr]     = help: the bound will not be checked when the type alias is used, and should be removed
Nov 30 13:43:10.604 INFO [stderr] 
Nov 30 13:43:10.604 INFO [stderr] warning: bounds on generic parameters are not enforced in type aliases
Nov 30 13:43:10.604 INFO [stderr]    --> src/strong/ternary.rs:329:39
Nov 30 13:43:10.604 INFO [stderr]     |
Nov 30 13:43:10.604 INFO [stderr] 329 |     (DivInternal) NatDivInternal(Nat, Nat, NatPair): NatPair {
Nov 30 13:43:10.604 INFO [stderr]     |                                       ^^^
Nov 30 13:43:10.604 INFO [stderr]     |
Nov 30 13:43:10.604 INFO [stderr]     = help: the bound will not be checked when the type alias is used, and should be removed
Nov 30 13:43:10.604 INFO [stderr] 
Nov 30 13:43:10.604 INFO [stderr] warning: bounds on generic parameters are not enforced in type aliases
Nov 30 13:43:10.604 INFO [stderr]    --> src/strong/ternary.rs:329:44
Nov 30 13:43:10.604 INFO [stderr]     |
Nov 30 13:43:10.604 INFO [stderr] 329 |     (DivInternal) NatDivInternal(Nat, Nat, NatPair): NatPair {
Nov 30 13:43:10.604 INFO [stderr]     |                                            ^^^^^^^
Nov 30 13:43:10.604 INFO [stderr]     |
Nov 30 13:43:10.604 INFO [stderr]     = help: the bound will not be checked when the type alias is used, and should be removed
Nov 30 13:43:10.604 INFO [stderr] 
Nov 30 13:43:10.604 INFO [stderr] warning: bounds on generic parameters are not enforced in type aliases
Nov 30 13:43:10.604 INFO [stderr]   --> src/strong/balanced.rs:10:24
Nov 30 13:43:10.604 INFO [stderr]    |
Nov 30 13:43:10.604 INFO [stderr] 10 |     (Int2First) Int2P1(IntPair): Int {
Nov 30 13:43:10.604 INFO [stderr]    |                        ^^^^^^^
Nov 30 13:43:10.604 INFO [stderr]    |
Nov 30 13:43:10.604 INFO [stderr]    = help: the bound will not be checked when the type alias is used, and should be removed
Nov 30 13:43:10.604 INFO [stderr] 
Nov 30 13:43:10.604 INFO [stderr] warning: bounds on generic parameters are not enforced in type aliases
Nov 30 13:43:10.604 INFO [stderr]   --> src/strong/balanced.rs:17:25
Nov 30 13:43:10.605 INFO [stderr]    |
Nov 30 13:43:10.605 INFO [stderr] 17 |     (Int2Second) Int2P2(IntPair): Int {
Nov 30 13:43:10.605 INFO [stderr]    |                         ^^^^^^^
Nov 30 13:43:10.605 INFO [stderr]    |
Nov 30 13:43:10.605 INFO [stderr]    = help: the bound will not be checked when the type alias is used, and should be removed
Nov 30 13:43:10.605 INFO [stderr] 
Nov 30 13:43:10.605 INFO [stderr] warning: bounds on generic parameters are not enforced in type aliases
Nov 30 13:43:10.605 INFO [stderr]   --> src/strong/balanced.rs:24:20
Nov 30 13:43:10.605 INFO [stderr]    |
Nov 30 13:43:10.605 INFO [stderr] 24 |     (Succ) IntSucc(Int): Int {
Nov 30 13:43:10.605 INFO [stderr]    |                    ^^^
Nov 30 13:43:10.605 INFO [stderr]    |
Nov 30 13:43:10.605 INFO [stderr]    = help: the bound will not be checked when the type alias is used, and should be removed
Nov 30 13:43:10.605 INFO [stderr] 
Nov 30 13:43:10.605 INFO [stderr] warning: bounds on generic parameters are not enforced in type aliases
Nov 30 13:43:10.605 INFO [stderr]   --> src/strong/balanced.rs:35:20
Nov 30 13:43:10.605 INFO [stderr]    |
Nov 30 13:43:10.605 INFO [stderr] 35 |     (Pred) IntPred(Int): Int {
Nov 30 13:43:10.605 INFO [stderr]    |                    ^^^
Nov 30 13:43:10.605 INFO [stderr]    |
Nov 30 13:43:10.605 INFO [stderr]    = help: the bound will not be checked when the type alias is used, and should be removed
Nov 30 13:43:10.605 INFO [stderr] 
Nov 30 13:43:10.605 INFO [stderr] warning: bounds on generic parameters are not enforced in type aliases
Nov 30 13:43:10.605 INFO [stderr]   --> src/strong/balanced.rs:49:24
Nov 30 13:43:10.605 INFO [stderr]    |
Nov 30 13:43:10.605 INFO [stderr] 49 |     (Triple) IntTriple(Int): Int {
Nov 30 13:43:10.605 INFO [stderr]    |                        ^^^
Nov 30 13:43:10.605 INFO [stderr]    |
Nov 30 13:43:10.605 INFO [stderr]    = help: the bound will not be checked when the type alias is used, and should be removed
Nov 30 13:43:10.605 INFO [stderr] 
Nov 30 13:43:10.609 INFO [stderr] warning: bounds on generic parameters are not enforced in type aliases
Nov 30 13:43:10.609 INFO [stderr]   --> src/strong/balanced.rs:62:24
Nov 30 13:43:10.609 INFO [stderr]    |
Nov 30 13:43:10.609 INFO [stderr] 62 |     (IntUnique) Unique(Int): Int {
Nov 30 13:43:10.609 INFO [stderr]    |                        ^^^
Nov 30 13:43:10.609 INFO [stderr]    |
Nov 30 13:43:10.609 INFO [stderr]    = help: the bound will not be checked when the type alias is used, and should be removed
Nov 30 13:43:10.609 INFO [stderr] 
Nov 30 13:43:10.609 INFO [stderr] warning: bounds on generic parameters are not enforced in type aliases
Nov 30 13:43:10.609 INFO [stderr]   --> src/strong/balanced.rs:80:18
Nov 30 13:43:10.609 INFO [stderr]    |
Nov 30 13:43:10.609 INFO [stderr] 80 |     (Neg) IntNeg(Int): Int {
Nov 30 13:43:10.609 INFO [stderr]    |                  ^^^
Nov 30 13:43:10.609 INFO [stderr]    |
Nov 30 13:43:10.609 INFO [stderr]    = help: the bound will not be checked when the type alias is used, and should be removed
Nov 30 13:43:10.609 INFO [stderr] 
Nov 30 13:43:10.609 INFO [stderr] warning: bounds on generic parameters are not enforced in type aliases
Nov 30 13:43:10.609 INFO [stderr]   --> src/strong/balanced.rs:94:18
Nov 30 13:43:10.609 INFO [stderr]    |
Nov 30 13:43:10.609 INFO [stderr] 94 |     (Add) IntAdd(Int, Int): Int {
Nov 30 13:43:10.610 INFO [stderr]    |                  ^^^
Nov 30 13:43:10.610 INFO [stderr]    |
Nov 30 13:43:10.610 INFO [stderr]    = help: the bound will not be checked when the type alias is used, and should be removed
Nov 30 13:43:10.610 INFO [stderr] 
Nov 30 13:43:10.610 INFO [stderr] warning: bounds on generic parameters are not enforced in type aliases
Nov 30 13:43:10.610 INFO [stderr]   --> src/strong/balanced.rs:94:23
Nov 30 13:43:10.610 INFO [stderr]    |
Nov 30 13:43:10.610 INFO [stderr] 94 |     (Add) IntAdd(Int, Int): Int {
Nov 30 13:43:10.610 INFO [stderr]    |                       ^^^
Nov 30 13:43:10.610 INFO [stderr]    |
Nov 30 13:43:10.610 INFO [stderr]    = help: the bound will not be checked when the type alias is used, and should be removed
Nov 30 13:43:10.610 INFO [stderr] 
Nov 30 13:43:10.610 INFO [stderr] warning: bounds on generic parameters are not enforced in type aliases
Nov 30 13:43:10.610 INFO [stderr]    --> src/strong/balanced.rs:127:18
Nov 30 13:43:10.610 INFO [stderr]     |
Nov 30 13:43:10.610 INFO [stderr] 127 |     (Sub) IntSub(Int, Int): Int {
Nov 30 13:43:10.610 INFO [stderr]     |                  ^^^
Nov 30 13:43:10.610 INFO [stderr]     |
Nov 30 13:43:10.610 INFO [stderr]     = help: the bound will not be checked when the type alias is used, and should be removed
Nov 30 13:43:10.610 INFO [stderr] 
Nov 30 13:43:10.610 INFO [stderr] warning: bounds on generic parameters are not enforced in type aliases
Nov 30 13:43:10.610 INFO [stderr]    --> src/strong/balanced.rs:127:23
Nov 30 13:43:10.610 INFO [stderr]     |
Nov 30 13:43:10.610 INFO [stderr] 127 |     (Sub) IntSub(Int, Int): Int {
Nov 30 13:43:10.610 INFO [stderr]     |                       ^^^
Nov 30 13:43:10.610 INFO [stderr]     |
Nov 30 13:43:10.610 INFO [stderr]     = help: the bound will not be checked when the type alias is used, and should be removed
Nov 30 13:43:10.610 INFO [stderr] 
Nov 30 13:43:10.610 INFO [stderr] warning: bounds on generic parameters are not enforced in type aliases
Nov 30 13:43:10.610 INFO [stderr]    --> src/strong/balanced.rs:160:18
Nov 30 13:43:10.610 INFO [stderr]     |
Nov 30 13:43:10.610 INFO [stderr] 160 |     (Mul) IntMul(Int, Int): Int {
Nov 30 13:43:10.610 INFO [stderr]     |                  ^^^
Nov 30 13:43:10.610 INFO [stderr]     |
Nov 30 13:43:10.610 INFO [stderr]     = help: the bound will not be checked when the type alias is used, and should be removed
Nov 30 13:43:10.610 INFO [stderr] 
Nov 30 13:43:10.610 INFO [stderr] warning: bounds on generic parameters are not enforced in type aliases
Nov 30 13:43:10.610 INFO [stderr]    --> src/strong/balanced.rs:160:23
Nov 30 13:43:10.610 INFO [stderr]     |
Nov 30 13:43:10.610 INFO [stderr] 160 |     (Mul) IntMul(Int, Int): Int {
Nov 30 13:43:10.610 INFO [stderr]     |                       ^^^
Nov 30 13:43:10.610 INFO [stderr]     |
Nov 30 13:43:10.610 INFO [stderr]     = help: the bound will not be checked when the type alias is used, and should be removed
Nov 30 13:43:10.610 INFO [stderr] 
Nov 30 13:43:10.610 INFO [stderr] warning: bounds on generic parameters are not enforced in type aliases
Nov 30 13:43:10.611 INFO [stderr]    --> src/strong/balanced.rs:196:18
Nov 30 13:43:10.611 INFO [stderr]     |
Nov 30 13:43:10.611 INFO [stderr] 196 |     (Cmp) IntCmp(Int, Int, Int, Int, Int): Int {
Nov 30 13:43:10.611 INFO [stderr]     |                  ^^^
Nov 30 13:43:10.611 INFO [stderr]     |
Nov 30 13:43:10.611 INFO [stderr]     = help: the bound will not be checked when the type alias is used, and should be removed
Nov 30 13:43:10.611 INFO [stderr] 
Nov 30 13:43:10.611 INFO [stderr] warning: bounds on generic parameters are not enforced in type aliases
Nov 30 13:43:10.611 INFO [stderr]    --> src/strong/balanced.rs:196:23
Nov 30 13:43:10.611 INFO [stderr]     |
Nov 30 13:43:10.611 INFO [stderr] 196 |     (Cmp) IntCmp(Int, Int, Int, Int, Int): Int {
Nov 30 13:43:10.611 INFO [stderr]     |                       ^^^
Nov 30 13:43:10.611 INFO [stderr]     |
Nov 30 13:43:10.611 INFO [stderr]     = help: the bound will not be checked when the type alias is used, and should be removed
Nov 30 13:43:10.611 INFO [stderr] 
Nov 30 13:43:10.611 INFO [stderr] warning: bounds on generic parameters are not enforced in type aliases
Nov 30 13:43:10.611 INFO [stderr]    --> src/strong/balanced.rs:196:28
Nov 30 13:43:10.611 INFO [stderr]     |
Nov 30 13:43:10.611 INFO [stderr] 196 |     (Cmp) IntCmp(Int, Int, Int, Int, Int): Int {
Nov 30 13:43:10.611 INFO [stderr]     |                            ^^^
Nov 30 13:43:10.611 INFO [stderr]     |
Nov 30 13:43:10.611 INFO [stderr]     = help: the bound will not be checked when the type alias is used, and should be removed
Nov 30 13:43:10.611 INFO [stderr] 
Nov 30 13:43:10.611 INFO [stderr] warning: bounds on generic parameters are not enforced in type aliases
Nov 30 13:43:10.611 INFO [stderr]    --> src/strong/balanced.rs:196:33
Nov 30 13:43:10.611 INFO [stderr]     |
Nov 30 13:43:10.611 INFO [stderr] 196 |     (Cmp) IntCmp(Int, Int, Int, Int, Int): Int {
Nov 30 13:43:10.611 INFO [stderr]     |                                 ^^^
Nov 30 13:43:10.611 INFO [stderr]     |
Nov 30 13:43:10.611 INFO [stderr]     = help: the bound will not be checked when the type alias is used, and should be removed
Nov 30 13:43:10.611 INFO [stderr] 
Nov 30 13:43:10.617 INFO [stderr] warning: bounds on generic parameters are not enforced in type aliases
Nov 30 13:43:10.617 INFO [stderr]    --> src/strong/balanced.rs:196:38
Nov 30 13:43:10.617 INFO [stderr]     |
Nov 30 13:43:10.617 INFO [stderr] 196 |     (Cmp) IntCmp(Int, Int, Int, Int, Int): Int {
Nov 30 13:43:10.617 INFO [stderr]     |                                      ^^^
Nov 30 13:43:10.617 INFO [stderr]     |
Nov 30 13:43:10.617 INFO [stderr]     = help: the bound will not be checked when the type alias is used, and should be removed
Nov 30 13:43:10.617 INFO [stderr] 
Nov 30 13:43:10.617 INFO [stderr] warning: bounds on generic parameters are not enforced in type aliases
Nov 30 13:43:10.617 INFO [stderr]    --> src/strong/balanced.rs:223:20
Nov 30 13:43:10.617 INFO [stderr]     |
Nov 30 13:43:10.617 INFO [stderr] 223 |     (Cmp2) IntCmp2(Int, Int, IntPair, IntPair, IntPair): IntPair {
Nov 30 13:43:10.617 INFO [stderr]     |                    ^^^
Nov 30 13:43:10.617 INFO [stderr]     |
Nov 30 13:43:10.617 INFO [stderr]     = help: the bound will not be checked when the type alias is used, and should be removed
Nov 30 13:43:10.617 INFO [stderr] 
Nov 30 13:43:10.617 INFO [stderr] warning: bounds on generic parameters are not enforced in type aliases
Nov 30 13:43:10.617 INFO [stderr]    --> src/strong/balanced.rs:223:25
Nov 30 13:43:10.617 INFO [stderr]     |
Nov 30 13:43:10.617 INFO [stderr] 223 |     (Cmp2) IntCmp2(Int, Int, IntPair, IntPair, IntPair): IntPair {
Nov 30 13:43:10.617 INFO [stderr]     |                         ^^^
Nov 30 13:43:10.617 INFO [stderr]     |
Nov 30 13:43:10.617 INFO [stderr]     = help: the bound will not be checked when the type alias is used, and should be removed
Nov 30 13:43:10.617 INFO [stderr] 
Nov 30 13:43:10.617 INFO [stderr] warning: bounds on generic parameters are not enforced in type aliases
Nov 30 13:43:10.617 INFO [stderr]    --> src/strong/balanced.rs:223:30
Nov 30 13:43:10.617 INFO [stderr]     |
Nov 30 13:43:10.617 INFO [stderr] 223 |     (Cmp2) IntCmp2(Int, Int, IntPair, IntPair, IntPair): IntPair {
Nov 30 13:43:10.617 INFO [stderr]     |                              ^^^^^^^
Nov 30 13:43:10.617 INFO [stderr]     |
Nov 30 13:43:10.617 INFO [stderr]     = help: the bound will not be checked when the type alias is used, and should be removed
Nov 30 13:43:10.617 INFO [stderr] 
Nov 30 13:43:10.617 INFO [stderr] warning: bounds on generic parameters are not enforced in type aliases
Nov 30 13:43:10.617 INFO [stderr]    --> src/strong/balanced.rs:223:39
Nov 30 13:43:10.617 INFO [stderr]     |
Nov 30 13:43:10.617 INFO [stderr] 223 |     (Cmp2) IntCmp2(Int, Int, IntPair, IntPair, IntPair): IntPair {
Nov 30 13:43:10.617 INFO [stderr]     |                                       ^^^^^^^
Nov 30 13:43:10.617 INFO [stderr]     |
Nov 30 13:43:10.617 INFO [stderr]     = help: the bound will not be checked when the type alias is used, and should be removed
Nov 30 13:43:10.617 INFO [stderr] 
Nov 30 13:43:10.617 INFO [stderr] warning: bounds on generic parameters are not enforced in type aliases
Nov 30 13:43:10.617 INFO [stderr]    --> src/strong/balanced.rs:223:48
Nov 30 13:43:10.617 INFO [stderr]     |
Nov 30 13:43:10.617 INFO [stderr] 223 |     (Cmp2) IntCmp2(Int, Int, IntPair, IntPair, IntPair): IntPair {
Nov 30 13:43:10.617 INFO [stderr]     |                                                ^^^^^^^
Nov 30 13:43:10.617 INFO [stderr]     |
Nov 30 13:43:10.617 INFO [stderr]     = help: the bound will not be checked when the type alias is used, and should be removed
Nov 30 13:43:10.617 INFO [stderr] 
Nov 30 13:43:10.617 INFO [stderr] warning: bounds on generic parameters are not enforced in type aliases
Nov 30 13:43:10.617 INFO [stderr]    --> src/strong/balanced.rs:248:24
Nov 30 13:43:10.617 INFO [stderr]     |
Nov 30 13:43:10.617 INFO [stderr] 248 |     (LteCmp) IntLteCmp(Int, Int, Int, Int): Int {
Nov 30 13:43:10.617 INFO [stderr]     |                        ^^^
Nov 30 13:43:10.617 INFO [stderr]     |
Nov 30 13:43:10.617 INFO [stderr]     = help: the bound will not be checked when the type alias is used, and should be removed
Nov 30 13:43:10.617 INFO [stderr] 
Nov 30 13:43:10.617 INFO [stderr] warning: bounds on generic parameters are not enforced in type aliases
Nov 30 13:43:10.617 INFO [stderr]    --> src/strong/balanced.rs:248:29
Nov 30 13:43:10.617 INFO [stderr]     |
Nov 30 13:43:10.617 INFO [stderr] 248 |     (LteCmp) IntLteCmp(Int, Int, Int, Int): Int {
Nov 30 13:43:10.617 INFO [stderr]     |                             ^^^
Nov 30 13:43:10.617 INFO [stderr]     |
Nov 30 13:43:10.617 INFO [stderr]     = help: the bound will not be checked when the type alias is used, and should be removed
Nov 30 13:43:10.618 INFO [stderr] 
Nov 30 13:43:10.618 INFO [stderr] warning: bounds on generic parameters are not enforced in type aliases
Nov 30 13:43:10.618 INFO [stderr]    --> src/strong/balanced.rs:248:34
Nov 30 13:43:10.618 INFO [stderr]     |
Nov 30 13:43:10.618 INFO [stderr] 248 |     (LteCmp) IntLteCmp(Int, Int, Int, Int): Int {
Nov 30 13:43:10.618 INFO [stderr]     |                                  ^^^
Nov 30 13:43:10.618 INFO [stderr]     |
Nov 30 13:43:10.618 INFO [stderr]     = help: the bound will not be checked when the type alias is used, and should be removed
Nov 30 13:43:10.618 INFO [stderr] 
Nov 30 13:43:10.618 INFO [stderr] warning: bounds on generic parameters are not enforced in type aliases
Nov 30 13:43:10.618 INFO [stderr]    --> src/strong/balanced.rs:248:39
Nov 30 13:43:10.618 INFO [stderr]     |
Nov 30 13:43:10.618 INFO [stderr] 248 |     (LteCmp) IntLteCmp(Int, Int, Int, Int): Int {
Nov 30 13:43:10.618 INFO [stderr]     |                                       ^^^
Nov 30 13:43:10.618 INFO [stderr]     |
Nov 30 13:43:10.618 INFO [stderr]     = help: the bound will not be checked when the type alias is used, and should be removed
Nov 30 13:43:10.618 INFO [stderr] 
Nov 30 13:43:10.618 INFO [stderr] warning: bounds on generic parameters are not enforced in type aliases
Nov 30 13:43:10.618 INFO [stderr]    --> src/strong/balanced.rs:254:26
Nov 30 13:43:10.618 INFO [stderr]     |
Nov 30 13:43:10.618 INFO [stderr] 254 |     (LteCmp2) IntLteCmp2(Int, Int, IntPair, IntPair): IntPair {
Nov 30 13:43:10.618 INFO [stderr]     |                          ^^^
Nov 30 13:43:10.618 INFO [stderr]     |
Nov 30 13:43:10.618 INFO [stderr]     = help: the bound will not be checked when the type alias is used, and should be removed
Nov 30 13:43:10.618 INFO [stderr] 
Nov 30 13:43:10.618 INFO [stderr] warning: bounds on generic parameters are not enforced in type aliases
Nov 30 13:43:10.618 INFO [stderr]    --> src/strong/balanced.rs:254:31
Nov 30 13:43:10.618 INFO [stderr]     |
Nov 30 13:43:10.618 INFO [stderr] 254 |     (LteCmp2) IntLteCmp2(Int, Int, IntPair, IntPair): IntPair {
Nov 30 13:43:10.618 INFO [stderr]     |                               ^^^
Nov 30 13:43:10.618 INFO [stderr]     |
Nov 30 13:43:10.618 INFO [stderr]     = help: the bound will not be checked when the type alias is used, and should be removed
Nov 30 13:43:10.618 INFO [stderr] 
Nov 30 13:43:10.618 INFO [stderr] warning: bounds on generic parameters are not enforced in type aliases
Nov 30 13:43:10.618 INFO [stderr]    --> src/strong/balanced.rs:254:36
Nov 30 13:43:10.618 INFO [stderr]     |
Nov 30 13:43:10.618 INFO [stderr] 254 |     (LteCmp2) IntLteCmp2(Int, Int, IntPair, IntPair): IntPair {
Nov 30 13:43:10.618 INFO [stderr]     |                                    ^^^^^^^
Nov 30 13:43:10.618 INFO [stderr]     |
Nov 30 13:43:10.618 INFO [stderr]     = help: the bound will not be checked when the type alias is used, and should be removed
Nov 30 13:43:10.618 INFO [stderr] 
Nov 30 13:43:10.618 INFO [stderr] warning: bounds on generic parameters are not enforced in type aliases
Nov 30 13:43:10.618 INFO [stderr]    --> src/strong/balanced.rs:254:45
Nov 30 13:43:10.618 INFO [stderr]     |
Nov 30 13:43:10.618 INFO [stderr] 254 |     (LteCmp2) IntLteCmp2(Int, Int, IntPair, IntPair): IntPair {
Nov 30 13:43:10.618 INFO [stderr]     |                                             ^^^^^^^
Nov 30 13:43:10.618 INFO [stderr]     |
Nov 30 13:43:10.618 INFO [stderr]     = help: the bound will not be checked when the type alias is used, and should be removed
Nov 30 13:43:10.618 INFO [stderr] 
Nov 30 13:43:10.618 INFO [stderr] warning: bounds on generic parameters are not enforced in type aliases
Nov 30 13:43:10.618 INFO [stderr]    --> src/strong/balanced.rs:261:18
Nov 30 13:43:10.618 INFO [stderr]     |
Nov 30 13:43:10.618 INFO [stderr] 261 |     (Abs) IntAbs(Int): Int {
Nov 30 13:43:10.618 INFO [stderr]     |                  ^^^
Nov 30 13:43:10.618 INFO [stderr]     |
Nov 30 13:43:10.618 INFO [stderr]     = help: the bound will not be checked when the type alias is used, and should be removed
Nov 30 13:43:10.618 INFO [stderr] 
Nov 30 13:43:10.618 INFO [stderr] warning: bounds on generic parameters are not enforced in type aliases
Nov 30 13:43:10.618 INFO [stderr]    --> src/strong/balanced.rs:273:40
Nov 30 13:43:10.618 INFO [stderr]     |
Nov 30 13:43:10.618 INFO [stderr] 273 |     (AbsMinThreeCmp) IntAbsMinThreeCmp(Int, Int, Int, Int, Int, Int): IntPair {
Nov 30 13:43:10.618 INFO [stderr]     |                                        ^^^
Nov 30 13:43:10.618 INFO [stderr]     |
Nov 30 13:43:10.618 INFO [stderr]     = help: the bound will not be checked when the type alias is used, and should be removed
Nov 30 13:43:10.618 INFO [stderr] 
Nov 30 13:43:10.618 INFO [stderr] warning: bounds on generic parameters are not enforced in type aliases
Nov 30 13:43:10.618 INFO [stderr]    --> src/strong/balanced.rs:273:45
Nov 30 13:43:10.618 INFO [stderr]     |
Nov 30 13:43:10.618 INFO [stderr] 273 |     (AbsMinThreeCmp) IntAbsMinThreeCmp(Int, Int, Int, Int, Int, Int): IntPair {
Nov 30 13:43:10.618 INFO [stderr]     |                                             ^^^
Nov 30 13:43:10.618 INFO [stderr]     |
Nov 30 13:43:10.618 INFO [stderr]     = help: the bound will not be checked when the type alias is used, and should be removed
Nov 30 13:43:10.618 INFO [stderr] 
Nov 30 13:43:10.618 INFO [stderr] warning: bounds on generic parameters are not enforced in type aliases
Nov 30 13:43:10.618 INFO [stderr]    --> src/strong/balanced.rs:273:50
Nov 30 13:43:10.618 INFO [stderr]     |
Nov 30 13:43:10.618 INFO [stderr] 273 |     (AbsMinThreeCmp) IntAbsMinThreeCmp(Int, Int, Int, Int, Int, Int): IntPair {
Nov 30 13:43:10.618 INFO [stderr]     |                                                  ^^^
Nov 30 13:43:10.618 INFO [stderr]     |
Nov 30 13:43:10.618 INFO [stderr]     = help: the bound will not be checked when the type alias is used, and should be removed
Nov 30 13:43:10.618 INFO [stderr] 
Nov 30 13:43:10.618 INFO [stderr] warning: bounds on generic parameters are not enforced in type aliases
Nov 30 13:43:10.618 INFO [stderr]    --> src/strong/balanced.rs:273:55
Nov 30 13:43:10.618 INFO [stderr]     |
Nov 30 13:43:10.618 INFO [stderr] 273 |     (AbsMinThreeCmp) IntAbsMinThreeCmp(Int, Int, Int, Int, Int, Int): IntPair {
Nov 30 13:43:10.618 INFO [stderr]     |                                                       ^^^
Nov 30 13:43:10.618 INFO [stderr]     |
Nov 30 13:43:10.618 INFO [stderr]     = help: the bound will not be checked when the type alias is used, and should be removed
Nov 30 13:43:10.618 INFO [stderr] 
Nov 30 13:43:10.618 INFO [stderr] warning: bounds on generic parameters are not enforced in type aliases
Nov 30 13:43:10.618 INFO [stderr]    --> src/strong/balanced.rs:273:60
Nov 30 13:43:10.619 INFO [stderr]     |
Nov 30 13:43:10.619 INFO [stderr] 273 |     (AbsMinThreeCmp) IntAbsMinThreeCmp(Int, Int, Int, Int, Int, Int): IntPair {
Nov 30 13:43:10.619 INFO [stderr]     |                                                            ^^^
Nov 30 13:43:10.619 INFO [stderr]     |
Nov 30 13:43:10.619 INFO [stderr]     = help: the bound will not be checked when the type alias is used, and should be removed
Nov 30 13:43:10.619 INFO [stderr] 
Nov 30 13:43:10.619 INFO [stderr] warning: bounds on generic parameters are not enforced in type aliases
Nov 30 13:43:10.619 INFO [stderr]    --> src/strong/balanced.rs:273:65
Nov 30 13:43:10.619 INFO [stderr]     |
Nov 30 13:43:10.619 INFO [stderr] 273 |     (AbsMinThreeCmp) IntAbsMinThreeCmp(Int, Int, Int, Int, Int, Int): IntPair {
Nov 30 13:43:10.619 INFO [stderr]     |                                                                 ^^^
Nov 30 13:43:10.619 INFO [stderr]     |
Nov 30 13:43:10.619 INFO [stderr]     = help: the bound will not be checked when the type alias is used, and should be removed
Nov 30 13:43:10.619 INFO [stderr] 
Nov 30 13:43:10.619 INFO [stderr] warning: bounds on generic parameters are not enforced in type aliases
Nov 30 13:43:10.619 INFO [stderr]    --> src/strong/balanced.rs:284:18
Nov 30 13:43:10.619 INFO [stderr]     |
Nov 30 13:43:10.619 INFO [stderr] 284 |     (Rev) IntRev(Int): Int {
Nov 30 13:43:10.619 INFO [stderr]     |                  ^^^
Nov 30 13:43:10.619 INFO [stderr]     |
Nov 30 13:43:10.619 INFO [stderr]     = help: the bound will not be checked when the type alias is used, and should be removed
Nov 30 13:43:10.619 INFO [stderr] 
Nov 30 13:43:10.619 INFO [stderr] warning: bounds on generic parameters are not enforced in type aliases
Nov 30 13:43:10.619 INFO [stderr]    --> src/strong/balanced.rs:290:34
Nov 30 13:43:10.619 INFO [stderr]     |
Nov 30 13:43:10.619 INFO [stderr] 290 |     (RevInternal) IntRevInternal(Int, Int): Int {
Nov 30 13:43:10.619 INFO [stderr]     |                                  ^^^
Nov 30 13:43:10.619 INFO [stderr]     |
Nov 30 13:43:10.619 INFO [stderr]     = help: the bound will not be checked when the type alias is used, and should be removed
Nov 30 13:43:10.619 INFO [stderr] 
Nov 30 13:43:10.619 INFO [stderr] warning: bounds on generic parameters are not enforced in type aliases
Nov 30 13:43:10.619 INFO [stderr]    --> src/strong/balanced.rs:290:39
Nov 30 13:43:10.619 INFO [stderr]     |
Nov 30 13:43:10.619 INFO [stderr] 290 |     (RevInternal) IntRevInternal(Int, Int): Int {
Nov 30 13:43:10.619 INFO [stderr]     |                                       ^^^
Nov 30 13:43:10.619 INFO [stderr]     |
Nov 30 13:43:10.619 INFO [stderr]     = help: the bound will not be checked when the type alias is used, and should be removed
Nov 30 13:43:10.619 INFO [stderr] 
Nov 30 13:43:10.619 INFO [stderr] warning: bounds on generic parameters are not enforced in type aliases
Nov 30 13:43:10.619 INFO [stderr]    --> src/strong/balanced.rs:302:18
Nov 30 13:43:10.619 INFO [stderr]     |
Nov 30 13:43:10.619 INFO [stderr] 302 |     (Div) IntDiv(Int, Int): Int {
Nov 30 13:43:10.619 INFO [stderr]     |                  ^^^
Nov 30 13:43:10.619 INFO [stderr]     |
Nov 30 13:43:10.619 INFO [stderr]     = help: the bound will not be checked when the type alias is used, and should be removed
Nov 30 13:43:10.619 INFO [stderr] 
Nov 30 13:43:10.619 INFO [stderr] warning: bounds on generic parameters are not enforced in type aliases
Nov 30 13:43:10.619 INFO [stderr]    --> src/strong/balanced.rs:302:23
Nov 30 13:43:10.619 INFO [stderr]     |
Nov 30 13:43:10.619 INFO [stderr] 302 |     (Div) IntDiv(Int, Int): Int {
Nov 30 13:43:10.619 INFO [stderr]     |                       ^^^
Nov 30 13:43:10.619 INFO [stderr]     |
Nov 30 13:43:10.619 INFO [stderr]     = help: the bound will not be checked when the type alias is used, and should be removed
Nov 30 13:43:10.619 INFO [stderr] 
Nov 30 13:43:10.619 INFO [stderr] warning: bounds on generic parameters are not enforced in type aliases
Nov 30 13:43:10.619 INFO [stderr]    --> src/strong/balanced.rs:326:18
Nov 30 13:43:10.619 INFO [stderr]     |
Nov 30 13:43:10.619 INFO [stderr] 326 |     (Rem) IntRem(Int, Int): Int {
Nov 30 13:43:10.619 INFO [stderr]     |                  ^^^
Nov 30 13:43:10.619 INFO [stderr]     |
Nov 30 13:43:10.619 INFO [stderr]     = help: the bound will not be checked when the type alias is used, and should be removed
Nov 30 13:43:10.619 INFO [stderr] 
Nov 30 13:43:10.619 INFO [stderr] warning: bounds on generic parameters are not enforced in type aliases
Nov 30 13:43:10.619 INFO [stderr]    --> src/strong/balanced.rs:326:23
Nov 30 13:43:10.619 INFO [stderr]     |
Nov 30 13:43:10.619 INFO [stderr] 326 |     (Rem) IntRem(Int, Int): Int {
Nov 30 13:43:10.619 INFO [stderr]     |                       ^^^
Nov 30 13:43:10.619 INFO [stderr]     |
Nov 30 13:43:10.619 INFO [stderr]     = help: the bound will not be checked when the type alias is used, and should be removed
Nov 30 13:43:10.619 INFO [stderr] 
Nov 30 13:43:10.619 INFO [stderr] warning: bounds on generic parameters are not enforced in type aliases
Nov 30 13:43:10.619 INFO [stderr]    --> src/strong/balanced.rs:349:34
Nov 30 13:43:10.619 INFO [stderr]     |
Nov 30 13:43:10.619 INFO [stderr] 349 |     (DivInternal) IntDivInternal(Int, Int, IntPair): IntPair {
Nov 30 13:43:10.619 INFO [stderr]     |                                  ^^^
Nov 30 13:43:10.619 INFO [stderr]     |
Nov 30 13:43:10.620 INFO [stderr]     = help: the bound will not be checked when the type alias is used, and should be removed
Nov 30 13:43:10.620 INFO [stderr] 
Nov 30 13:43:10.620 INFO [stderr] warning: bounds on generic parameters are not enforced in type aliases
Nov 30 13:43:10.620 INFO [stderr]    --> src/strong/balanced.rs:349:39
Nov 30 13:43:10.620 INFO [stderr]     |
Nov 30 13:43:10.620 INFO [stderr] 349 |     (DivInternal) IntDivInternal(Int, Int, IntPair): IntPair {
Nov 30 13:43:10.620 INFO [stderr]     |                                       ^^^
Nov 30 13:43:10.620 INFO [stderr]     |
Nov 30 13:43:10.620 INFO [stderr]     = help: the bound will not be checked when the type alias is used, and should be removed
Nov 30 13:43:10.620 INFO [stderr] 
Nov 30 13:43:10.620 INFO [stderr] warning: bounds on generic parameters are not enforced in type aliases
Nov 30 13:43:10.620 INFO [stderr]    --> src/strong/balanced.rs:349:44
Nov 30 13:43:10.620 INFO [stderr]     |
Nov 30 13:43:10.620 INFO [stderr] 349 |     (DivInternal) IntDivInternal(Int, Int, IntPair): IntPair {
Nov 30 13:43:10.620 INFO [stderr]     |                                            ^^^^^^^
Nov 30 13:43:10.620 INFO [stderr]     |
Nov 30 13:43:10.620 INFO [stderr]     = help: the bound will not be checked when the type alias is used, and should be removed
Nov 30 13:43:10.620 INFO [stderr] 
Nov 30 13:43:11.768 INFO [stderr] warning: bounds on generic parameters are not enforced in type aliases
Nov 30 13:43:11.768 INFO [stderr]  --> src/strong/boolean.rs:9:19
Nov 30 13:43:11.768 INFO [stderr]   |
Nov 30 13:43:11.768 INFO [stderr] 9 |     (And) BoolAnd(Bool, Bool): Bool {
Nov 30 13:43:11.768 INFO [stderr]   |                   ^^^^
Nov 30 13:43:11.768 INFO [stderr]   |
Nov 30 13:43:11.768 INFO [stderr]   = note: #[warn(type_alias_bounds)] on by default
Nov 30 13:43:11.768 INFO [stderr]   = help: the bound will not be checked when the type alias is used, and should be removed
Nov 30 13:43:11.768 INFO [stderr] 
Nov 30 13:43:11.768 INFO [stderr] warning: bounds on generic parameters are not enforced in type aliases
Nov 30 13:43:11.768 INFO [stderr]  --> src/strong/boolean.rs:9:25
Nov 30 13:43:11.768 INFO [stderr]   |
Nov 30 13:43:11.768 INFO [stderr] 9 |     (And) BoolAnd(Bool, Bool): Bool {
Nov 30 13:43:11.768 INFO [stderr]   |                         ^^^^
Nov 30 13:43:11.769 INFO [stderr]   |
Nov 30 13:43:11.769 INFO [stderr]   = help: the bound will not be checked when the type alias is used, and should be removed
Nov 30 13:43:11.769 INFO [stderr] 
Nov 30 13:43:11.769 INFO [stderr] warning: bounds on generic parameters are not enforced in type aliases
Nov 30 13:43:11.769 INFO [stderr]   --> src/strong/boolean.rs:17:17
Nov 30 13:43:11.769 INFO [stderr]    |
Nov 30 13:43:11.769 INFO [stderr] 17 |     (Or) BoolOr(Bool, Bool): Bool {
Nov 30 13:43:11.769 INFO [stderr]    |                 ^^^^
Nov 30 13:43:11.769 INFO [stderr]    |
Nov 30 13:43:11.769 INFO [stderr]    = help: the bound will not be checked when the type alias is used, and should be removed
Nov 30 13:43:11.769 INFO [stderr] 
Nov 30 13:43:11.769 INFO [stderr] warning: bounds on generic parameters are not enforced in type aliases
Nov 30 13:43:11.769 INFO [stderr]   --> src/strong/boolean.rs:17:23
Nov 30 13:43:11.769 INFO [stderr]    |
Nov 30 13:43:11.769 INFO [stderr] 17 |     (Or) BoolOr(Bool, Bool): Bool {
Nov 30 13:43:11.769 INFO [stderr]    |                       ^^^^
Nov 30 13:43:11.769 INFO [stderr]    |
Nov 30 13:43:11.769 INFO [stderr]    = help: the bound will not be checked when the type alias is used, and should be removed
Nov 30 13:43:11.769 INFO [stderr] 
Nov 30 13:43:11.769 INFO [stderr] warning: bounds on generic parameters are not enforced in type aliases
Nov 30 13:43:11.769 INFO [stderr]   --> src/strong/boolean.rs:26:25
Nov 30 13:43:11.769 INFO [stderr]    |
Nov 30 13:43:11.769 INFO [stderr] 26 |     (IfThen) BoolIfThen(Bool, Bool): Bool {
Nov 30 13:43:11.769 INFO [stderr]    |                         ^^^^
Nov 30 13:43:11.769 INFO [stderr]    |
Nov 30 13:43:11.769 INFO [stderr]    = help: the bound will not be checked when the type alias is used, and should be removed
Nov 30 13:43:11.769 INFO [stderr] 
Nov 30 13:43:11.769 INFO [stderr] warning: bounds on generic parameters are not enforced in type aliases
Nov 30 13:43:11.769 INFO [stderr]   --> src/strong/boolean.rs:26:31
Nov 30 13:43:11.769 INFO [stderr]    |
Nov 30 13:43:11.769 INFO [stderr] 26 |     (IfThen) BoolIfThen(Bool, Bool): Bool {
Nov 30 13:43:11.769 INFO [stderr]    |                               ^^^^
Nov 30 13:43:11.769 INFO [stderr]    |
Nov 30 13:43:11.769 INFO [stderr]    = help: the bound will not be checked when the type alias is used, and should be removed
Nov 30 13:43:11.769 INFO [stderr] 
Nov 30 13:43:11.769 INFO [stderr] warning: bounds on generic parameters are not enforced in type aliases
Nov 30 13:43:11.769 INFO [stderr]   --> src/strong/boolean.rs:35:25
Nov 30 13:43:11.769 INFO [stderr]    |
Nov 30 13:43:11.769 INFO [stderr] 35 |     (OnlyIf) BoolOnlyIf(Bool, Bool): Bool {
Nov 30 13:43:11.769 INFO [stderr]    |                         ^^^^
Nov 30 13:43:11.769 INFO [stderr]    |
Nov 30 13:43:11.769 INFO [stderr]    = help: the bound will not be checked when the type alias is used, and should be removed
Nov 30 13:43:11.769 INFO [stderr] 
Nov 30 13:43:11.769 INFO [stderr] warning: bounds on generic parameters are not enforced in type aliases
Nov 30 13:43:11.769 INFO [stderr]   --> src/strong/boolean.rs:35:31
Nov 30 13:43:11.769 INFO [stderr]    |
Nov 30 13:43:11.769 INFO [stderr] 35 |     (OnlyIf) BoolOnlyIf(Bool, Bool): Bool {
Nov 30 13:43:11.769 INFO [stderr]    |                               ^^^^
Nov 30 13:43:11.769 INFO [stderr]    |
Nov 30 13:43:11.770 INFO [stderr]    = help: the bound will not be checked when the type alias is used, and should be removed
Nov 30 13:43:11.770 INFO [stderr] 
Nov 30 13:43:11.770 INFO [stderr] warning: bounds on generic parameters are not enforced in type aliases
Nov 30 13:43:11.770 INFO [stderr]   --> src/strong/boolean.rs:43:19
Nov 30 13:43:11.770 INFO [stderr]    |
Nov 30 13:43:11.770 INFO [stderr] 43 |     (Xor) BoolXor(Bool, Bool): Bool {
Nov 30 13:43:11.770 INFO [stderr]    |                   ^^^^
Nov 30 13:43:11.770 INFO [stderr]    |
Nov 30 13:43:11.770 INFO [stderr]    = help: the bound will not be checked when the type alias is used, and should be removed
Nov 30 13:43:11.770 INFO [stderr] 
Nov 30 13:43:11.770 INFO [stderr] warning: bounds on generic parameters are not enforced in type aliases
Nov 30 13:43:11.770 INFO [stderr]   --> src/strong/boolean.rs:43:25
Nov 30 13:43:11.770 INFO [stderr]    |
Nov 30 13:43:11.770 INFO [stderr] 43 |     (Xor) BoolXor(Bool, Bool): Bool {
Nov 30 13:43:11.770 INFO [stderr]    |                         ^^^^
Nov 30 13:43:11.770 INFO [stderr]    |
Nov 30 13:43:11.770 INFO [stderr]    = help: the bound will not be checked when the type alias is used, and should be removed
Nov 30 13:43:11.770 INFO [stderr] 
Nov 30 13:43:11.780 INFO [stderr] warning: bounds on generic parameters are not enforced in type aliases
Nov 30 13:43:11.781 INFO [stderr]   --> src/strong/ternary.rs:14:24
Nov 30 13:43:11.781 INFO [stderr]    |
Nov 30 13:43:11.781 INFO [stderr] 14 |     (Nat2First) Nat2P1(NatPair): Nat {
Nov 30 13:43:11.782 INFO [stderr]    |                        ^^^^^^^
Nov 30 13:43:11.782 INFO [stderr]    |
Nov 30 13:43:11.782 INFO [stderr]    = help: the bound will not be checked when the type alias is used, and should be removed
Nov 30 13:43:11.782 INFO [stderr] 
Nov 30 13:43:11.783 INFO [stderr] warning: bounds on generic parameters are not enforced in type aliases
Nov 30 13:43:11.783 INFO [stderr]   --> src/strong/ternary.rs:21:25
Nov 30 13:43:11.783 INFO [stderr]    |
Nov 30 13:43:11.784 INFO [stderr] 21 |     (Nat2Second) Nat2P2(NatPair): Nat {
Nov 30 13:43:11.784 INFO [stderr]    |                         ^^^^^^^
Nov 30 13:43:11.784 INFO [stderr]    |
Nov 30 13:43:11.784 INFO [stderr]    = help: the bound will not be checked when the type alias is used, and should be removed
Nov 30 13:43:11.785 INFO [stderr] 
Nov 30 13:43:11.785 INFO [stderr] warning: bounds on generic parameters are not enforced in type aliases
Nov 30 13:43:11.785 INFO [stderr]   --> src/strong/ternary.rs:29:20
Nov 30 13:43:11.785 INFO [stderr]    |
Nov 30 13:43:11.786 INFO [stderr] 29 |     (Succ) NatSucc(Nat): Nat {
Nov 30 13:43:11.786 INFO [stderr]    |                    ^^^
Nov 30 13:43:11.786 INFO [stderr]    |
Nov 30 13:43:11.787 INFO [stderr]    = help: the bound will not be checked when the type alias is used, and should be removed
Nov 30 13:43:11.787 INFO [stderr] 
Nov 30 13:43:11.787 INFO [stderr] warning: bounds on generic parameters are not enforced in type aliases
Nov 30 13:43:11.788 INFO [stderr]   --> src/strong/ternary.rs:41:20
Nov 30 13:43:11.788 INFO [stderr]    |
Nov 30 13:43:11.788 INFO [stderr] 41 |     (Pred) NatPred(Nat): Nat {
Nov 30 13:43:11.789 INFO [stderr]    |                    ^^^
Nov 30 13:43:11.789 INFO [stderr]    |
Nov 30 13:43:11.789 INFO [stderr]    = help: the bound will not be checked when the type alias is used, and should be removed
Nov 30 13:43:11.790 INFO [stderr] 
Nov 30 13:43:11.790 INFO [stderr] warning: bounds on generic parameters are not enforced in type aliases
Nov 30 13:43:11.790 INFO [stderr]   --> src/strong/ternary.rs:53:32
Nov 30 13:43:11.790 INFO [stderr]    |
Nov 30 13:43:11.791 INFO [stderr] 53 |     (DoublePred) NatDoublePred(Nat): Nat {
Nov 30 13:43:11.791 INFO [stderr]    |                                ^^^
Nov 30 13:43:11.791 INFO [stderr]    |
Nov 30 13:43:11.792 INFO [stderr]    = help: the bound will not be checked when the type alias is used, and should be removed
Nov 30 13:43:11.792 INFO [stderr] 
Nov 30 13:43:11.792 INFO [stderr] warning: bounds on generic parameters are not enforced in type aliases
Nov 30 13:43:11.793 INFO [stderr]   --> src/strong/ternary.rs:68:24
Nov 30 13:43:11.793 INFO [stderr]    |
Nov 30 13:43:11.793 INFO [stderr] 68 |     (Triple) NatTriple(Nat): Nat {
Nov 30 13:43:11.793 INFO [stderr]    |                        ^^^
Nov 30 13:43:11.794 INFO [stderr]    |
Nov 30 13:43:11.794 INFO [stderr]    = help: the bound will not be checked when the type alias is used, and should be removed
Nov 30 13:43:11.794 INFO [stderr] 
Nov 30 13:43:11.794 INFO [stderr] warning: bounds on generic parameters are not enforced in type aliases
Nov 30 13:43:11.795 INFO [stderr]   --> src/strong/ternary.rs:81:24
Nov 30 13:43:11.795 INFO [stderr]    |
Nov 30 13:43:11.795 INFO [stderr] 81 |     (Unique) NatUnique(Nat): Nat {
Nov 30 13:43:11.796 INFO [stderr]    |                        ^^^
Nov 30 13:43:11.796 INFO [stderr]    |
Nov 30 13:43:11.796 INFO [stderr]    = help: the bound will not be checked when the type alias is used, and should be removed
Nov 30 13:43:11.797 INFO [stderr] 
Nov 30 13:43:11.797 INFO [stderr] warning: bounds on generic parameters are not enforced in type aliases
Nov 30 13:43:11.797 INFO [stderr]   --> src/strong/ternary.rs:95:18
Nov 30 13:43:11.798 INFO [stderr]    |
Nov 30 13:43:11.798 INFO [stderr] 95 |     (Add) NatAdd(Nat, Nat): Nat {
Nov 30 13:43:11.798 INFO [stderr]    |                  ^^^
Nov 30 13:43:11.799 INFO [stderr]    |
Nov 30 13:43:11.799 INFO [stderr]    = help: the bound will not be checked when the type alias is used, and should be removed
Nov 30 13:43:11.799 INFO [stderr] 
Nov 30 13:43:11.800 INFO [stderr] warning: bounds on generic parameters are not enforced in type aliases
Nov 30 13:43:11.800 INFO [stderr]   --> src/strong/ternary.rs:95:23
Nov 30 13:43:11.800 INFO [stderr]    |
Nov 30 13:43:11.801 INFO [stderr] 95 |     (Add) NatAdd(Nat, Nat): Nat {
Nov 30 13:43:11.801 INFO [stderr]    |                       ^^^
Nov 30 13:43:11.801 INFO [stderr]    |
Nov 30 13:43:11.802 INFO [stderr]    = help: the bound will not be checked when the type alias is used, and should be removed
Nov 30 13:43:11.802 INFO [stderr] 
Nov 30 13:43:11.802 INFO [stderr] warning: bounds on generic parameters are not enforced in type aliases
Nov 30 13:43:11.803 INFO [stderr]    --> src/strong/ternary.rs:128:38
Nov 30 13:43:11.803 INFO [stderr]     |
Nov 30 13:43:11.803 INFO [stderr] 128 |     (TriplePlusOne) NatTriplePlusOne(Nat): Nat {
Nov 30 13:43:11.804 INFO [stderr]     |                                      ^^^
Nov 30 13:43:11.804 INFO [stderr]     |
Nov 30 13:43:11.804 INFO [stderr]     = help: the bound will not be checked when the type alias is used, and should be removed
Nov 30 13:43:11.805 INFO [stderr] 
Nov 30 13:43:11.805 INFO [stderr] warning: bounds on generic parameters are not enforced in type aliases
Nov 30 13:43:11.805 INFO [stderr]    --> src/strong/ternary.rs:139:38
Nov 30 13:43:11.806 INFO [stderr]     |
Nov 30 13:43:11.806 INFO [stderr] 139 |     (TriplePlusTwo) NatTriplePlusTwo(Nat): Nat {
Nov 30 13:43:11.806 INFO [stderr]     |                                      ^^^
Nov 30 13:43:11.807 INFO [stderr]     |
Nov 30 13:43:11.807 INFO [stderr]     = help: the bound will not be checked when the type alias is used, and should be removed
Nov 30 13:43:11.807 INFO [stderr] 
Nov 30 13:43:11.808 INFO [stderr] warning: bounds on generic parameters are not enforced in type aliases
Nov 30 13:43:11.808 INFO [stderr]    --> src/strong/ternary.rs:152:18
Nov 30 13:43:11.808 INFO [stderr]     |
Nov 30 13:43:11.809 INFO [stderr] 152 |     (Sub) NatSub(Nat, Nat): Nat {
Nov 30 13:43:11.809 INFO [stderr]     |                  ^^^
Nov 30 13:43:11.809 INFO [stderr]     |
Nov 30 13:43:11.810 INFO [stderr]     = help: the bound will not be checked when the type alias is used, and should be removed
Nov 30 13:43:11.810 INFO [stderr] 
Nov 30 13:43:11.810 INFO [stderr] warning: bounds on generic parameters are not enforced in type aliases
Nov 30 13:43:11.811 INFO [stderr]    --> src/strong/ternary.rs:152:23
Nov 30 13:43:11.811 INFO [stderr]     |
Nov 30 13:43:11.811 INFO [stderr] 152 |     (Sub) NatSub(Nat, Nat): Nat {
Nov 30 13:43:11.812 INFO [stderr]     |                       ^^^
Nov 30 13:43:11.812 INFO [stderr]     |
Nov 30 13:43:11.812 INFO [stderr]     = help: the bound will not be checked when the type alias is used, and should be removed
Nov 30 13:43:11.812 INFO [stderr] 
Nov 30 13:43:11.813 INFO [stderr] warning: bounds on generic parameters are not enforced in type aliases
Nov 30 13:43:11.813 INFO [stderr]    --> src/strong/ternary.rs:185:18
Nov 30 13:43:11.814 INFO [stderr]     |
Nov 30 13:43:11.814 INFO [stderr] 185 |     (Mul) NatMul(Nat, Nat): Nat {
Nov 30 13:43:11.814 INFO [stderr]     |                  ^^^
Nov 30 13:43:11.814 INFO [stderr]     |
Nov 30 13:43:11.814 INFO [stderr]     = help: the bound will not be checked when the type alias is used, and should be removed
Nov 30 13:43:11.815 INFO [stderr] 
Nov 30 13:43:11.815 INFO [stderr] warning: bounds on generic parameters are not enforced in type aliases
Nov 30 13:43:11.820 INFO [stderr]    --> src/strong/ternary.rs:185:23
Nov 30 13:43:11.820 INFO [stderr]     |
Nov 30 13:43:11.820 INFO [stderr] 185 |     (Mul) NatMul(Nat, Nat): Nat {
Nov 30 13:43:11.820 INFO [stderr]     |                       ^^^
Nov 30 13:43:11.820 INFO [stderr]     |
Nov 30 13:43:11.820 INFO [stderr]     = help: the bound will not be checked when the type alias is used, and should be removed
Nov 30 13:43:11.820 INFO [stderr] 
Nov 30 13:43:11.820 INFO [stderr] warning: bounds on generic parameters are not enforced in type aliases
Nov 30 13:43:11.820 INFO [stderr]    --> src/strong/ternary.rs:220:18
Nov 30 13:43:11.820 INFO [stderr]     |
Nov 30 13:43:11.820 INFO [stderr] 220 |     (Cmp) NatCmp(Nat, Nat, Nat, Nat, Nat): Nat {
Nov 30 13:43:11.820 INFO [stderr]     |                  ^^^
Nov 30 13:43:11.820 INFO [stderr]     |
Nov 30 13:43:11.820 INFO [stderr]     = help: the bound will not be checked when the type alias is used, and should be removed
Nov 30 13:43:11.820 INFO [stderr] 
Nov 30 13:43:11.820 INFO [stderr] warning: bounds on generic parameters are not enforced in type aliases
Nov 30 13:43:11.820 INFO [stderr]    --> src/strong/ternary.rs:220:23
Nov 30 13:43:11.820 INFO [stderr]     |
Nov 30 13:43:11.820 INFO [stderr] 220 |     (Cmp) NatCmp(Nat, Nat, Nat, Nat, Nat): Nat {
Nov 30 13:43:11.820 INFO [stderr]     |                       ^^^
Nov 30 13:43:11.820 INFO [stderr]     |
Nov 30 13:43:11.820 INFO [stderr]     = help: the bound will not be checked when the type alias is used, and should be removed
Nov 30 13:43:11.820 INFO [stderr] 
Nov 30 13:43:11.820 INFO [stderr] warning: bounds on generic parameters are not enforced in type aliases
Nov 30 13:43:11.820 INFO [stderr]    --> src/strong/ternary.rs:220:28
Nov 30 13:43:11.820 INFO [stderr]     |
Nov 30 13:43:11.820 INFO [stderr] 220 |     (Cmp) NatCmp(Nat, Nat, Nat, Nat, Nat): Nat {
Nov 30 13:43:11.820 INFO [stderr]     |                            ^^^
Nov 30 13:43:11.820 INFO [stderr]     |
Nov 30 13:43:11.820 INFO [stderr]     = help: the bound will not be checked when the type alias is used, and should be removed
Nov 30 13:43:11.820 INFO [stderr] 
Nov 30 13:43:11.820 INFO [stderr] warning: bounds on generic parameters are not enforced in type aliases
Nov 30 13:43:11.820 INFO [stderr]    --> src/strong/ternary.rs:220:33
Nov 30 13:43:11.820 INFO [stderr]     |
Nov 30 13:43:11.820 INFO [stderr] 220 |     (Cmp) NatCmp(Nat, Nat, Nat, Nat, Nat): Nat {
Nov 30 13:43:11.820 INFO [stderr]     |                                 ^^^
Nov 30 13:43:11.820 INFO [stderr]     |
Nov 30 13:43:11.821 INFO [stderr]     = help: the bound will not be checked when the type alias is used, and should be removed
Nov 30 13:43:11.821 INFO [stderr] 
Nov 30 13:43:11.821 INFO [stderr] warning: bounds on generic parameters are not enforced in type aliases
Nov 30 13:43:11.821 INFO [stderr]    --> src/strong/ternary.rs:220:38
Nov 30 13:43:11.821 INFO [stderr]     |
Nov 30 13:43:11.821 INFO [stderr] 220 |     (Cmp) NatCmp(Nat, Nat, Nat, Nat, Nat): Nat {
Nov 30 13:43:11.821 INFO [stderr]     |                                      ^^^
Nov 30 13:43:11.821 INFO [stderr]     |
Nov 30 13:43:11.821 INFO [stderr]     = help: the bound will not be checked when the type alias is used, and should be removed
Nov 30 13:43:11.821 INFO [stderr] 
Nov 30 13:43:11.821 INFO [stderr] warning: bounds on generic parameters are not enforced in type aliases
Nov 30 13:43:11.821 INFO [stderr]    --> src/strong/ternary.rs:247:28
Nov 30 13:43:11.821 INFO [stderr]     |
Nov 30 13:43:11.821 INFO [stderr] 247 |     (UndefOr2) NatUndefOr2(Nat, Nat, NatPair): NatPair {
Nov 30 13:43:11.821 INFO [stderr]     |                            ^^^
Nov 30 13:43:11.821 INFO [stderr]     |
Nov 30 13:43:11.821 INFO [stderr]     = help: the bound will not be checked when the type alias is used, and should be removed
Nov 30 13:43:11.821 INFO [stderr] 
Nov 30 13:43:11.821 INFO [stderr] warning: bounds on generic parameters are not enforced in type aliases
Nov 30 13:43:11.821 INFO [stderr]    --> src/strong/ternary.rs:247:33
Nov 30 13:43:11.821 INFO [stderr]     |
Nov 30 13:43:11.821 INFO [stderr] 247 |     (UndefOr2) NatUndefOr2(Nat, Nat, NatPair): NatPair {
Nov 30 13:43:11.821 INFO [stderr]     |                                 ^^^
Nov 30 13:43:11.821 INFO [stderr]     |
Nov 30 13:43:11.821 INFO [stderr]     = help: the bound will not be checked when the type alias is used, and should be removed
Nov 30 13:43:11.821 INFO [stderr] 
Nov 30 13:43:11.821 INFO [stderr] warning: bounds on generic parameters are not enforced in type aliases
Nov 30 13:43:11.821 INFO [stderr]    --> src/strong/ternary.rs:247:38
Nov 30 13:43:11.821 INFO [stderr]     |
Nov 30 13:43:11.821 INFO [stderr] 247 |     (UndefOr2) NatUndefOr2(Nat, Nat, NatPair): NatPair {
Nov 30 13:43:11.821 INFO [stderr]     |                                      ^^^^^^^
Nov 30 13:43:11.821 INFO [stderr]     |
Nov 30 13:43:11.821 INFO [stderr]     = help: the bound will not be checked when the type alias is used, and should be removed
Nov 30 13:43:11.821 INFO [stderr] 
Nov 30 13:43:11.821 INFO [stderr] warning: bounds on generic parameters are not enforced in type aliases
Nov 30 13:43:11.821 INFO [stderr]    --> src/strong/ternary.rs:262:18
Nov 30 13:43:11.821 INFO [stderr]     |
Nov 30 13:43:11.821 INFO [stderr] 262 |     (Rev) NatRev(Nat): Nat {
Nov 30 13:43:11.821 INFO [stderr]     |                  ^^^
Nov 30 13:43:11.821 INFO [stderr]     |
Nov 30 13:43:11.821 INFO [stderr]     = help: the bound will not be checked when the type alias is used, and should be removed
Nov 30 13:43:11.821 INFO [stderr] 
Nov 30 13:43:11.821 INFO [stderr] warning: bounds on generic parameters are not enforced in type aliases
Nov 30 13:43:11.821 INFO [stderr]    --> src/strong/ternary.rs:268:34
Nov 30 13:43:11.821 INFO [stderr]     |
Nov 30 13:43:11.821 INFO [stderr] 268 |     (RevInternal) NatRevInternal(Nat, Nat): Nat {
Nov 30 13:43:11.821 INFO [stderr]     |                                  ^^^
Nov 30 13:43:11.821 INFO [stderr]     |
Nov 30 13:43:11.821 INFO [stderr]     = help: the bound will not be checked when the type alias is used, and should be removed
Nov 30 13:43:11.821 INFO [stderr] 
Nov 30 13:43:11.821 INFO [stderr] warning: bounds on generic parameters are not enforced in type aliases
Nov 30 13:43:11.821 INFO [stderr]    --> src/strong/ternary.rs:268:39
Nov 30 13:43:11.821 INFO [stderr]     |
Nov 30 13:43:11.821 INFO [stderr] 268 |     (RevInternal) NatRevInternal(Nat, Nat): Nat {
Nov 30 13:43:11.821 INFO [stderr]     |                                       ^^^
Nov 30 13:43:11.821 INFO [stderr]     |
Nov 30 13:43:11.821 INFO [stderr]     = help: the bound will not be checked when the type alias is used, and should be removed
Nov 30 13:43:11.821 INFO [stderr] 
Nov 30 13:43:11.821 INFO [stderr] warning: bounds on generic parameters are not enforced in type aliases
Nov 30 13:43:11.821 INFO [stderr]    --> src/strong/ternary.rs:281:18
Nov 30 13:43:11.821 INFO [stderr]     |
Nov 30 13:43:11.821 INFO [stderr] 281 |     (Div) NatDiv(Nat, Nat): Nat {
Nov 30 13:43:11.821 INFO [stderr]     |                  ^^^
Nov 30 13:43:11.821 INFO [stderr]     |
Nov 30 13:43:11.821 INFO [stderr]     = help: the bound will not be checked when the type alias is used, and should be removed
Nov 30 13:43:11.821 INFO [stderr] 
Nov 30 13:43:11.821 INFO [stderr] warning: bounds on generic parameters are not enforced in type aliases
Nov 30 13:43:11.821 INFO [stderr]    --> src/strong/ternary.rs:281:23
Nov 30 13:43:11.821 INFO [stderr]     |
Nov 30 13:43:11.821 INFO [stderr] 281 |     (Div) NatDiv(Nat, Nat): Nat {
Nov 30 13:43:11.821 INFO [stderr]     |                       ^^^
Nov 30 13:43:11.821 INFO [stderr]     |
Nov 30 13:43:11.821 INFO [stderr]     = help: the bound will not be checked when the type alias is used, and should be removed
Nov 30 13:43:11.821 INFO [stderr] 
Nov 30 13:43:11.821 INFO [stderr] warning: bounds on generic parameters are not enforced in type aliases
Nov 30 13:43:11.821 INFO [stderr]    --> src/strong/ternary.rs:306:18
Nov 30 13:43:11.821 INFO [stderr]     |
Nov 30 13:43:11.821 INFO [stderr] 306 |     (Rem) NatRem(Nat, Nat): Nat {
Nov 30 13:43:11.821 INFO [stderr]     |                  ^^^
Nov 30 13:43:11.821 INFO [stderr]     |
Nov 30 13:43:11.821 INFO [stderr]     = help: the bound will not be checked when the type alias is used, and should be removed
Nov 30 13:43:11.821 INFO [stderr] 
Nov 30 13:43:11.821 INFO [stderr] warning: bounds on generic parameters are not enforced in type aliases
Nov 30 13:43:11.821 INFO [stderr]    --> src/strong/ternary.rs:306:23
Nov 30 13:43:11.821 INFO [stderr]     |
Nov 30 13:43:11.821 INFO [stderr] 306 |     (Rem) NatRem(Nat, Nat): Nat {
Nov 30 13:43:11.821 INFO [stderr]     |                       ^^^
Nov 30 13:43:11.821 INFO [stderr]     |
Nov 30 13:43:11.821 INFO [stderr]     = help: the bound will not be checked when the type alias is used, and should be removed
Nov 30 13:43:11.821 INFO [stderr] 
Nov 30 13:43:11.821 INFO [stderr] warning: bounds on generic parameters are not enforced in type aliases
Nov 30 13:43:11.821 INFO [stderr]    --> src/strong/ternary.rs:329:34
Nov 30 13:43:11.821 INFO [stderr]     |
Nov 30 13:43:11.822 INFO [stderr] 329 |     (DivInternal) NatDivInternal(Nat, Nat, NatPair): NatPair {
Nov 30 13:43:11.822 INFO [stderr]     |                                  ^^^
Nov 30 13:43:11.822 INFO [stderr]     |
Nov 30 13:43:11.822 INFO [stderr]     = help: the bound will not be checked when the type alias is used, and should be removed
Nov 30 13:43:11.822 INFO [stderr] 
Nov 30 13:43:11.822 INFO [stderr] warning: bounds on generic parameters are not enforced in type aliases
Nov 30 13:43:11.822 INFO [stderr]    --> src/strong/ternary.rs:329:39
Nov 30 13:43:11.822 INFO [stderr]     |
Nov 30 13:43:11.822 INFO [stderr] 329 |     (DivInternal) NatDivInternal(Nat, Nat, NatPair): NatPair {
Nov 30 13:43:11.822 INFO [stderr]     |                                       ^^^
Nov 30 13:43:11.822 INFO [stderr]     |
Nov 30 13:43:11.822 INFO [stderr]     = help: the bound will not be checked when the type alias is used, and should be removed
Nov 30 13:43:11.822 INFO [stderr] 
Nov 30 13:43:11.822 INFO [stderr] warning: bounds on generic parameters are not enforced in type aliases
Nov 30 13:43:11.822 INFO [stderr]    --> src/strong/ternary.rs:329:44
Nov 30 13:43:11.822 INFO [stderr]     |
Nov 30 13:43:11.822 INFO [stderr] 329 |     (DivInternal) NatDivInternal(Nat, Nat, NatPair): NatPair {
Nov 30 13:43:11.822 INFO [stderr]     |                                            ^^^^^^^
Nov 30 13:43:11.822 INFO [stderr]     |
Nov 30 13:43:11.823 INFO [stderr]     = help: the bound will not be checked when the type alias is used, and should be removed
Nov 30 13:43:11.823 INFO [stderr] 
Nov 30 13:43:11.823 INFO [stderr] warning: bounds on generic parameters are not enforced in type aliases
Nov 30 13:43:11.823 INFO [stderr]   --> src/strong/balanced.rs:10:24
Nov 30 13:43:11.823 INFO [stderr]    |
Nov 30 13:43:11.824 INFO [stderr] 10 |     (Int2First) Int2P1(IntPair): Int {
Nov 30 13:43:11.824 INFO [stderr]    |                        ^^^^^^^
Nov 30 13:43:11.824 INFO [stderr]    |
Nov 30 13:43:11.824 INFO [stderr]    = help: the bound will not be checked when the type alias is used, and should be removed
Nov 30 13:43:11.824 INFO [stderr] 
Nov 30 13:43:11.825 INFO [stderr] warning: bounds on generic parameters are not enforced in type aliases
Nov 30 13:43:11.825 INFO [stderr]   --> src/strong/balanced.rs:17:25
Nov 30 13:43:11.825 INFO [stderr]    |
Nov 30 13:43:11.825 INFO [stderr] 17 |     (Int2Second) Int2P2(IntPair): Int {
Nov 30 13:43:11.825 INFO [stderr]    |                         ^^^^^^^
Nov 30 13:43:11.825 INFO [stderr]    |
Nov 30 13:43:11.826 INFO [stderr]    = help: the bound will not be checked when the type alias is used, and should be removed
Nov 30 13:43:11.826 INFO [stderr] 
Nov 30 13:43:11.826 INFO [stderr] warning: bounds on generic parameters are not enforced in type aliases
Nov 30 13:43:11.826 INFO [stderr]   --> src/strong/balanced.rs:24:20
Nov 30 13:43:11.826 INFO [stderr]    |
Nov 30 13:43:11.833 INFO [stderr] 24 |     (Succ) IntSucc(Int): Int {
Nov 30 13:43:11.833 INFO [stderr]    |                    ^^^
Nov 30 13:43:11.833 INFO [stderr]    |
Nov 30 13:43:11.833 INFO [stderr]    = help: the bound will not be checked when the type alias is used, and should be removed
Nov 30 13:43:11.833 INFO [stderr] 
Nov 30 13:43:11.833 INFO [stderr] warning: bounds on generic parameters are not enforced in type aliases
Nov 30 13:43:11.833 INFO [stderr]   --> src/strong/balanced.rs:35:20
Nov 30 13:43:11.833 INFO [stderr]    |
Nov 30 13:43:11.833 INFO [stderr] 35 |     (Pred) IntPred(Int): Int {
Nov 30 13:43:11.833 INFO [stderr]    |                    ^^^
Nov 30 13:43:11.833 INFO [stderr]    |
Nov 30 13:43:11.833 INFO [stderr]    = help: the bound will not be checked when the type alias is used, and should be removed
Nov 30 13:43:11.833 INFO [stderr] 
Nov 30 13:43:11.833 INFO [stderr] warning: bounds on generic parameters are not enforced in type aliases
Nov 30 13:43:11.833 INFO [stderr]   --> src/strong/balanced.rs:49:24
Nov 30 13:43:11.833 INFO [stderr]    |
Nov 30 13:43:11.833 INFO [stderr] 49 |     (Triple) IntTriple(Int): Int {
Nov 30 13:43:11.833 INFO [stderr]    |                        ^^^
Nov 30 13:43:11.833 INFO [stderr]    |
Nov 30 13:43:11.833 INFO [stderr]    = help: the bound will not be checked when the type alias is used, and should be removed
Nov 30 13:43:11.833 INFO [stderr] 
Nov 30 13:43:11.833 INFO [stderr] warning: bounds on generic parameters are not enforced in type aliases
Nov 30 13:43:11.833 INFO [stderr]   --> src/strong/balanced.rs:62:24
Nov 30 13:43:11.833 INFO [stderr]    |
Nov 30 13:43:11.833 INFO [stderr] 62 |     (IntUnique) Unique(Int): Int {
Nov 30 13:43:11.833 INFO [stderr]    |                        ^^^
Nov 30 13:43:11.833 INFO [stderr]    |
Nov 30 13:43:11.833 INFO [stderr]    = help: the bound will not be checked when the type alias is used, and should be removed
Nov 30 13:43:11.833 INFO [stderr] 
Nov 30 13:43:11.833 INFO [stderr] warning: bounds on generic parameters are not enforced in type aliases
Nov 30 13:43:11.833 INFO [stderr]   --> src/strong/balanced.rs:80:18
Nov 30 13:43:11.833 INFO [stderr]    |
Nov 30 13:43:11.833 INFO [stderr] 80 |     (Neg) IntNeg(Int): Int {
Nov 30 13:43:11.833 INFO [stderr]    |                  ^^^
Nov 30 13:43:11.833 INFO [stderr]    |
Nov 30 13:43:11.833 INFO [stderr]    = help: the bound will not be checked when the type alias is used, and should be removed
Nov 30 13:43:11.833 INFO [stderr] 
Nov 30 13:43:11.833 INFO [stderr] warning: bounds on generic parameters are not enforced in type aliases
Nov 30 13:43:11.833 INFO [stderr]   --> src/strong/balanced.rs:94:18
Nov 30 13:43:11.833 INFO [stderr]    |
Nov 30 13:43:11.833 INFO [stderr] 94 |     (Add) IntAdd(Int, Int): Int {
Nov 30 13:43:11.833 INFO [stderr]    |                  ^^^
Nov 30 13:43:11.833 INFO [stderr]    |
Nov 30 13:43:11.833 INFO [stderr]    = help: the bound will not be checked when the type alias is used, and should be removed
Nov 30 13:43:11.833 INFO [stderr] 
Nov 30 13:43:11.833 INFO [stderr] warning: bounds on generic parameters are not enforced in type aliases
Nov 30 13:43:11.833 INFO [stderr]   --> src/strong/balanced.rs:94:23
Nov 30 13:43:11.833 INFO [stderr]    |
Nov 30 13:43:11.833 INFO [stderr] 94 |     (Add) IntAdd(Int, Int): Int {
Nov 30 13:43:11.833 INFO [stderr]    |                       ^^^
Nov 30 13:43:11.833 INFO [stderr]    |
Nov 30 13:43:11.833 INFO [stderr]    = help: the bound will not be checked when the type alias is used, and should be removed
Nov 30 13:43:11.833 INFO [stderr] 
Nov 30 13:43:11.833 INFO [stderr] warning: bounds on generic parameters are not enforced in type aliases
Nov 30 13:43:11.833 INFO [stderr]    --> src/strong/balanced.rs:127:18
Nov 30 13:43:11.833 INFO [stderr]     |
Nov 30 13:43:11.833 INFO [stderr] 127 |     (Sub) IntSub(Int, Int): Int {
Nov 30 13:43:11.833 INFO [stderr]     |                  ^^^
Nov 30 13:43:11.833 INFO [stderr]     |
Nov 30 13:43:11.833 INFO [stderr]     = help: the bound will not be checked when the type alias is used, and should be removed
Nov 30 13:43:11.833 INFO [stderr] 
Nov 30 13:43:11.833 INFO [stderr] warning: bounds on generic parameters are not enforced in type aliases
Nov 30 13:43:11.833 INFO [stderr]    --> src/strong/balanced.rs:127:23
Nov 30 13:43:11.833 INFO [stderr]     |
Nov 30 13:43:11.833 INFO [stderr] 127 |     (Sub) IntSub(Int, Int): Int {
Nov 30 13:43:11.833 INFO [stderr]     |                       ^^^
Nov 30 13:43:11.833 INFO [stderr]     |
Nov 30 13:43:11.833 INFO [stderr]     = help: the bound will not be checked when the type alias is used, and should be removed
Nov 30 13:43:11.833 INFO [stderr] 
Nov 30 13:43:11.833 INFO [stderr] warning: bounds on generic parameters are not enforced in type aliases
Nov 30 13:43:11.833 INFO [stderr]    --> src/strong/balanced.rs:160:18
Nov 30 13:43:11.833 INFO [stderr]     |
Nov 30 13:43:11.833 INFO [stderr] 160 |     (Mul) IntMul(Int, Int): Int {
Nov 30 13:43:11.833 INFO [stderr]     |                  ^^^
Nov 30 13:43:11.833 INFO [stderr]     |
Nov 30 13:43:11.833 INFO [stderr]     = help: the bound will not be checked when the type alias is used, and should be removed
Nov 30 13:43:11.833 INFO [stderr] 
Nov 30 13:43:11.833 INFO [stderr] warning: bounds on generic parameters are not enforced in type aliases
Nov 30 13:43:11.833 INFO [stderr]    --> src/strong/balanced.rs:160:23
Nov 30 13:43:11.833 INFO [stderr]     |
Nov 30 13:43:11.834 INFO [stderr] 160 |     (Mul) IntMul(Int, Int): Int {
Nov 30 13:43:11.834 INFO [stderr]     |                       ^^^
Nov 30 13:43:11.834 INFO [stderr]     |
Nov 30 13:43:11.834 INFO [stderr]     = help: the bound will not be checked when the type alias is used, and should be removed
Nov 30 13:43:11.834 INFO [stderr] 
Nov 30 13:43:11.834 INFO [stderr] warning: bounds on generic parameters are not enforced in type aliases
Nov 30 13:43:11.834 INFO [stderr]    --> src/strong/balanced.rs:196:18
Nov 30 13:43:11.834 INFO [stderr]     |
Nov 30 13:43:11.834 INFO [stderr] 196 |     (Cmp) IntCmp(Int, Int, Int, Int, Int): Int {
Nov 30 13:43:11.834 INFO [stderr]     |                  ^^^
Nov 30 13:43:11.834 INFO [stderr]     |
Nov 30 13:43:11.834 INFO [stderr]     = help: the bound will not be checked when the type alias is used, and should be removed
Nov 30 13:43:11.834 INFO [stderr] 
Nov 30 13:43:11.834 INFO [stderr] warning: bounds on generic parameters are not enforced in type aliases
Nov 30 13:43:11.834 INFO [stderr]    --> src/strong/balanced.rs:196:23
Nov 30 13:43:11.834 INFO [stderr]     |
Nov 30 13:43:11.834 INFO [stderr] 196 |     (Cmp) IntCmp(Int, Int, Int, Int, Int): Int {
Nov 30 13:43:11.834 INFO [stderr]     |                       ^^^
Nov 30 13:43:11.834 INFO [stderr]     |
Nov 30 13:43:11.834 INFO [stderr]     = help: the bound will not be checked when the type alias is used, and should be removed
Nov 30 13:43:11.834 INFO [stderr] 
Nov 30 13:43:11.834 INFO [stderr] warning: bounds on generic parameters are not enforced in type aliases
Nov 30 13:43:11.834 INFO [stderr]    --> src/strong/balanced.rs:196:28
Nov 30 13:43:11.834 INFO [stderr]     |
Nov 30 13:43:11.834 INFO [stderr] 196 |     (Cmp) IntCmp(Int, Int, Int, Int, Int): Int {
Nov 30 13:43:11.834 INFO [stderr]     |                            ^^^
Nov 30 13:43:11.834 INFO [stderr]     |
Nov 30 13:43:11.834 INFO [stderr]     = help: the bound will not be checked when the type alias is used, and should be removed
Nov 30 13:43:11.834 INFO [stderr] 
Nov 30 13:43:11.834 INFO [stderr] warning: bounds on generic parameters are not enforced in type aliases
Nov 30 13:43:11.834 INFO [stderr]    --> src/strong/balanced.rs:196:33
Nov 30 13:43:11.834 INFO [stderr]     |
Nov 30 13:43:11.834 INFO [stderr] 196 |     (Cmp) IntCmp(Int, Int, Int, Int, Int): Int {
Nov 30 13:43:11.834 INFO [stderr]     |                                 ^^^
Nov 30 13:43:11.834 INFO [stderr]     |
Nov 30 13:43:11.834 INFO [stderr]     = help: the bound will not be checked when the type alias is used, and should be removed
Nov 30 13:43:11.834 INFO [stderr] 
Nov 30 13:43:11.834 INFO [stderr] warning: bounds on generic parameters are not enforced in type aliases
Nov 30 13:43:11.834 INFO [stderr]    --> src/strong/balanced.rs:196:38
Nov 30 13:43:11.834 INFO [stderr]     |
Nov 30 13:43:11.834 INFO [stderr] 196 |     (Cmp) IntCmp(Int, Int, Int, Int, Int): Int {
Nov 30 13:43:11.834 INFO [stderr]     |                                      ^^^
Nov 30 13:43:11.834 INFO [stderr]     |
Nov 30 13:43:11.834 INFO [stderr]     = help: the bound will not be checked when the type alias is used, and should be removed
Nov 30 13:43:11.834 INFO [stderr] 
Nov 30 13:43:11.834 INFO [stderr] warning: bounds on generic parameters are not enforced in type aliases
Nov 30 13:43:11.834 INFO [stderr]    --> src/strong/balanced.rs:223:20
Nov 30 13:43:11.834 INFO [stderr]     |
Nov 30 13:43:11.834 INFO [stderr] 223 |     (Cmp2) IntCmp2(Int, Int, IntPair, IntPair, IntPair): IntPair {
Nov 30 13:43:11.834 INFO [stderr]     |                    ^^^
Nov 30 13:43:11.834 INFO [stderr]     |
Nov 30 13:43:11.834 INFO [stderr]     = help: the bound will not be checked when the type alias is used, and should be removed
Nov 30 13:43:11.834 INFO [stderr] 
Nov 30 13:43:11.834 INFO [stderr] warning: bounds on generic parameters are not enforced in type aliases
Nov 30 13:43:11.834 INFO [stderr]    --> src/strong/balanced.rs:223:25
Nov 30 13:43:11.834 INFO [stderr]     |
Nov 30 13:43:11.834 INFO [stderr] 223 |     (Cmp2) IntCmp2(Int, Int, IntPair, IntPair, IntPair): IntPair {
Nov 30 13:43:11.834 INFO [stderr]     |                         ^^^
Nov 30 13:43:11.834 INFO [stderr]     |
Nov 30 13:43:11.834 INFO [stderr]     = help: the bound will not be checked when the type alias is used, and should be removed
Nov 30 13:43:11.834 INFO [stderr] 
Nov 30 13:43:11.834 INFO [stderr] warning: bounds on generic parameters are not enforced in type aliases
Nov 30 13:43:11.834 INFO [stderr]    --> src/strong/balanced.rs:223:30
Nov 30 13:43:11.834 INFO [stderr]     |
Nov 30 13:43:11.834 INFO [stderr] 223 |     (Cmp2) IntCmp2(Int, Int, IntPair, IntPair, IntPair): IntPair {
Nov 30 13:43:11.834 INFO [stderr]     |                              ^^^^^^^
Nov 30 13:43:11.834 INFO [stderr]     |
Nov 30 13:43:11.834 INFO [stderr]     = help: the bound will not be checked when the type alias is used, and should be removed
Nov 30 13:43:11.834 INFO [stderr] 
Nov 30 13:43:11.834 INFO [stderr] warning: bounds on generic parameters are not enforced in type aliases
Nov 30 13:43:11.834 INFO [stderr]    --> src/strong/balanced.rs:223:39
Nov 30 13:43:11.834 INFO [stderr]     |
Nov 30 13:43:11.834 INFO [stderr] 223 |     (Cmp2) IntCmp2(Int, Int, IntPair, IntPair, IntPair): IntPair {
Nov 30 13:43:11.834 INFO [stderr]     |                                       ^^^^^^^
Nov 30 13:43:11.834 INFO [stderr]     |
Nov 30 13:43:11.834 INFO [stderr]     = help: the bound will not be checked when the type alias is used, and should be removed
Nov 30 13:43:11.834 INFO [stderr] 
Nov 30 13:43:11.834 INFO [stderr] warning: bounds on generic parameters are not enforced in type aliases
Nov 30 13:43:11.834 INFO [stderr]    --> src/strong/balanced.rs:223:48
Nov 30 13:43:11.834 INFO [stderr]     |
Nov 30 13:43:11.834 INFO [stderr] 223 |     (Cmp2) IntCmp2(Int, Int, IntPair, IntPair, IntPair): IntPair {
Nov 30 13:43:11.834 INFO [stderr]     |                                                ^^^^^^^
Nov 30 13:43:11.834 INFO [stderr]     |
Nov 30 13:43:11.834 INFO [stderr]     = help: the bound will not be checked when the type alias is used, and should be removed
Nov 30 13:43:11.834 INFO [stderr] 
Nov 30 13:43:11.834 INFO [stderr] warning: bounds on generic parameters are not enforced in type aliases
Nov 30 13:43:11.834 INFO [stderr]    --> src/strong/balanced.rs:248:24
Nov 30 13:43:11.834 INFO [stderr]     |
Nov 30 13:43:11.834 INFO [stderr] 248 |     (LteCmp) IntLteCmp(Int, Int, Int, Int): Int {
Nov 30 13:43:11.835 INFO [stderr]     |                        ^^^
Nov 30 13:43:11.835 INFO [stderr]     |
Nov 30 13:43:11.835 INFO [stderr]     = help: the bound will not be checked when the type alias is used, and should be removed
Nov 30 13:43:11.835 INFO [stderr] 
Nov 30 13:43:11.835 INFO [stderr] warning: bounds on generic parameters are not enforced in type aliases
Nov 30 13:43:11.835 INFO [stderr]    --> src/strong/balanced.rs:248:29
Nov 30 13:43:11.835 INFO [stderr]     |
Nov 30 13:43:11.835 INFO [stderr] 248 |     (LteCmp) IntLteCmp(Int, Int, Int, Int): Int {
Nov 30 13:43:11.835 INFO [stderr]     |                             ^^^
Nov 30 13:43:11.835 INFO [stderr]     |
Nov 30 13:43:11.835 INFO [stderr]     = help: the bound will not be checked when the type alias is used, and should be removed
Nov 30 13:43:11.835 INFO [stderr] 
Nov 30 13:43:11.835 INFO [stderr] warning: bounds on generic parameters are not enforced in type aliases
Nov 30 13:43:11.835 INFO [stderr]    --> src/strong/balanced.rs:248:34
Nov 30 13:43:11.835 INFO [stderr]     |
Nov 30 13:43:11.835 INFO [stderr] 248 |     (LteCmp) IntLteCmp(Int, Int, Int, Int): Int {
Nov 30 13:43:11.835 INFO [stderr]     |                                  ^^^
Nov 30 13:43:11.835 INFO [stderr]     |
Nov 30 13:43:11.835 INFO [stderr]     = help: the bound will not be checked when the type alias is used, and should be removed
Nov 30 13:43:11.835 INFO [stderr] 
Nov 30 13:43:11.835 INFO [stderr] warning: bounds on generic parameters are not enforced in type aliases
Nov 30 13:43:11.835 INFO [stderr]    --> src/strong/balanced.rs:248:39
Nov 30 13:43:11.835 INFO [stderr]     |
Nov 30 13:43:11.835 INFO [stderr] 248 |     (LteCmp) IntLteCmp(Int, Int, Int, Int): Int {
Nov 30 13:43:11.835 INFO [stderr]     |                                       ^^^
Nov 30 13:43:11.835 INFO [stderr]     |
Nov 30 13:43:11.835 INFO [stderr]     = help: the bound will not be checked when the type alias is used, and should be removed
Nov 30 13:43:11.835 INFO [stderr] 
Nov 30 13:43:11.835 INFO [stderr] warning: bounds on generic parameters are not enforced in type aliases
Nov 30 13:43:11.835 INFO [stderr]    --> src/strong/balanced.rs:254:26
Nov 30 13:43:11.835 INFO [stderr]     |
Nov 30 13:43:11.836 INFO [stderr] 254 |     (LteCmp2) IntLteCmp2(Int, Int, IntPair, IntPair): IntPair {
Nov 30 13:43:11.836 INFO [stderr]     |                          ^^^
Nov 30 13:43:11.836 INFO [stderr]     |
Nov 30 13:43:11.836 INFO [stderr]     = help: the bound will not be checked when the type alias is used, and should be removed
Nov 30 13:43:11.836 INFO [stderr] 
Nov 30 13:43:11.836 INFO [stderr] warning: bounds on generic parameters are not enforced in type aliases
Nov 30 13:43:11.836 INFO [stderr]    --> src/strong/balanced.rs:254:31
Nov 30 13:43:11.836 INFO [stderr]     |
Nov 30 13:43:11.836 INFO [stderr] 254 |     (LteCmp2) IntLteCmp2(Int, Int, IntPair, IntPair): IntPair {
Nov 30 13:43:11.836 INFO [stderr]     |                               ^^^
Nov 30 13:43:11.836 INFO [stderr]     |
Nov 30 13:43:11.836 INFO [stderr]     = help: the bound will not be checked when the type alias is used, and should be removed
Nov 30 13:43:11.836 INFO [stderr] 
Nov 30 13:43:11.836 INFO [stderr] warning: bounds on generic parameters are not enforced in type aliases
Nov 30 13:43:11.836 INFO [stderr]    --> src/strong/balanced.rs:254:36
Nov 30 13:43:11.836 INFO [stderr]     |
Nov 30 13:43:11.836 INFO [stderr] 254 |     (LteCmp2) IntLteCmp2(Int, Int, IntPair, IntPair): IntPair {
Nov 30 13:43:11.837 INFO [stderr]     |                                    ^^^^^^^
Nov 30 13:43:11.837 INFO [stderr]     |
Nov 30 13:43:11.837 INFO [stderr]     = help: the bound will not be checked when the type alias is used, and should be removed
Nov 30 13:43:11.837 INFO [stderr] 
Nov 30 13:43:11.837 INFO [stderr] warning: bounds on generic parameters are not enforced in type aliases
Nov 30 13:43:11.837 INFO [stderr]    --> src/strong/balanced.rs:254:45
Nov 30 13:43:11.838 INFO [stderr]     |
Nov 30 13:43:11.838 INFO [stderr] 254 |     (LteCmp2) IntLteCmp2(Int, Int, IntPair, IntPair): IntPair {
Nov 30 13:43:11.838 INFO [stderr]     |                                             ^^^^^^^
Nov 30 13:43:11.838 INFO [stderr]     |
Nov 30 13:43:11.838 INFO [stderr]     = help: the bound will not be checked when the type alias is used, and should be removed
Nov 30 13:43:11.838 INFO [stderr] 
Nov 30 13:43:11.838 INFO [stderr] warning: bounds on generic parameters are not enforced in type aliases
Nov 30 13:43:11.838 INFO [stderr]    --> src/strong/balanced.rs:261:18
Nov 30 13:43:11.838 INFO [stderr]     |
Nov 30 13:43:11.838 INFO [stderr] 261 |     (Abs) IntAbs(Int): Int {
Nov 30 13:43:11.838 INFO [stderr]     |                  ^^^
Nov 30 13:43:11.838 INFO [stderr]     |
Nov 30 13:43:11.838 INFO [stderr]     = help: the bound will not be checked when the type alias is used, and should be removed
Nov 30 13:43:11.838 INFO [stderr] 
Nov 30 13:43:11.838 INFO [stderr] warning: bounds on generic parameters are not enforced in type aliases
Nov 30 13:43:11.838 INFO [stderr]    --> src/strong/balanced.rs:273:40
Nov 30 13:43:11.838 INFO [stderr]     |
Nov 30 13:43:11.838 INFO [stderr] 273 |     (AbsMinThreeCmp) IntAbsMinThreeCmp(Int, Int, Int, Int, Int, Int): IntPair {
Nov 30 13:43:11.838 INFO [stderr]     |                                        ^^^
Nov 30 13:43:11.838 INFO [stderr]     |
Nov 30 13:43:11.838 INFO [stderr]     = help: the bound will not be checked when the type alias is used, and should be removed
Nov 30 13:43:11.838 INFO [stderr] 
Nov 30 13:43:11.838 INFO [stderr] warning: bounds on generic parameters are not enforced in type aliases
Nov 30 13:43:11.838 INFO [stderr]    --> src/strong/balanced.rs:273:45
Nov 30 13:43:11.838 INFO [stderr]     |
Nov 30 13:43:11.838 INFO [stderr] 273 |     (AbsMinThreeCmp) IntAbsMinThreeCmp(Int, Int, Int, Int, Int, Int): IntPair {
Nov 30 13:43:11.838 INFO [stderr]     |                                             ^^^
Nov 30 13:43:11.838 INFO [stderr]     |
Nov 30 13:43:11.838 INFO [stderr]     = help: the bound will not be checked when the type alias is used, and should be removed
Nov 30 13:43:11.838 INFO [stderr] 
Nov 30 13:43:11.840 INFO [stderr] warning: bounds on generic parameters are not enforced in type aliases
Nov 30 13:43:11.840 INFO [stderr]    --> src/strong/balanced.rs:273:50
Nov 30 13:43:11.840 INFO [stderr]     |
Nov 30 13:43:11.840 INFO [stderr] 273 |     (AbsMinThreeCmp) IntAbsMinThreeCmp(Int, Int, Int, Int, Int, Int): IntPair {
Nov 30 13:43:11.840 INFO [stderr]     |                                                  ^^^
Nov 30 13:43:11.840 INFO [stderr]     |
Nov 30 13:43:11.840 INFO [stderr]     = help: the bound will not be checked when the type alias is used, and should be removed
Nov 30 13:43:11.840 INFO [stderr] 
Nov 30 13:43:11.840 INFO [stderr] warning: bounds on generic parameters are not enforced in type aliases
Nov 30 13:43:11.840 INFO [stderr]    --> src/strong/balanced.rs:273:55
Nov 30 13:43:11.840 INFO [stderr]     |
Nov 30 13:43:11.840 INFO [stderr] 273 |     (AbsMinThreeCmp) IntAbsMinThreeCmp(Int, Int, Int, Int, Int, Int): IntPair {
Nov 30 13:43:11.846 INFO [stderr]     |                                                       ^^^
Nov 30 13:43:11.846 INFO [stderr]     |
Nov 30 13:43:11.846 INFO [stderr]     = help: the bound will not be checked when the type alias is used, and should be removed
Nov 30 13:43:11.846 INFO [stderr] 
Nov 30 13:43:11.846 INFO [stderr] warning: bounds on generic parameters are not enforced in type aliases
Nov 30 13:43:11.846 INFO [stderr]    --> src/strong/balanced.rs:273:60
Nov 30 13:43:11.846 INFO [stderr]     |
Nov 30 13:43:11.846 INFO [stderr] 273 |     (AbsMinThreeCmp) IntAbsMinThreeCmp(Int, Int, Int, Int, Int, Int): IntPair {
Nov 30 13:43:11.846 INFO [stderr]     |                                                            ^^^
Nov 30 13:43:11.846 INFO [stderr]     |
Nov 30 13:43:11.846 INFO [stderr]     = help: the bound will not be checked when the type alias is used, and should be removed
Nov 30 13:43:11.846 INFO [stderr] 
Nov 30 13:43:11.846 INFO [stderr] warning: bounds on generic parameters are not enforced in type aliases
Nov 30 13:43:11.846 INFO [stderr]    --> src/strong/balanced.rs:273:65
Nov 30 13:43:11.846 INFO [stderr]     |
Nov 30 13:43:11.846 INFO [stderr] 273 |     (AbsMinThreeCmp) IntAbsMinThreeCmp(Int, Int, Int, Int, Int, Int): IntPair {
Nov 30 13:43:11.846 INFO [stderr]     |                                                                 ^^^
Nov 30 13:43:11.846 INFO [stderr]     |
Nov 30 13:43:11.846 INFO [stderr]     = help: the bound will not be checked when the type alias is used, and should be removed
Nov 30 13:43:11.846 INFO [stderr] 
Nov 30 13:43:11.846 INFO [stderr] warning: bounds on generic parameters are not enforced in type aliases
Nov 30 13:43:11.846 INFO [stderr]    --> src/strong/balanced.rs:284:18
Nov 30 13:43:11.846 INFO [stderr]     |
Nov 30 13:43:11.846 INFO [stderr] 284 |     (Rev) IntRev(Int): Int {
Nov 30 13:43:11.846 INFO [stderr]     |                  ^^^
Nov 30 13:43:11.846 INFO [stderr]     |
Nov 30 13:43:11.846 INFO [stderr]     = help: the bound will not be checked when the type alias is used, and should be removed
Nov 30 13:43:11.846 INFO [stderr] 
Nov 30 13:43:11.846 INFO [stderr] warning: bounds on generic parameters are not enforced in type aliases
Nov 30 13:43:11.846 INFO [stderr]    --> src/strong/balanced.rs:290:34
Nov 30 13:43:11.846 INFO [stderr]     |
Nov 30 13:43:11.846 INFO [stderr] 290 |     (RevInternal) IntRevInternal(Int, Int): Int {
Nov 30 13:43:11.846 INFO [stderr]     |                                  ^^^
Nov 30 13:43:11.846 INFO [stderr]     |
Nov 30 13:43:11.846 INFO [stderr]     = help: the bound will not be checked when the type alias is used, and should be removed
Nov 30 13:43:11.846 INFO [stderr] 
Nov 30 13:43:11.846 INFO [stderr] warning: bounds on generic parameters are not enforced in type aliases
Nov 30 13:43:11.846 INFO [stderr]    --> src/strong/balanced.rs:290:39
Nov 30 13:43:11.846 INFO [stderr]     |
Nov 30 13:43:11.846 INFO [stderr] 290 |     (RevInternal) IntRevInternal(Int, Int): Int {
Nov 30 13:43:11.846 INFO [stderr]     |                                       ^^^
Nov 30 13:43:11.846 INFO [stderr]     |
Nov 30 13:43:11.846 INFO [stderr]     = help: the bound will not be checked when the type alias is used, and should be removed
Nov 30 13:43:11.846 INFO [stderr] 
Nov 30 13:43:11.846 INFO [stderr] warning: bounds on generic parameters are not enforced in type aliases
Nov 30 13:43:11.846 INFO [stderr]    --> src/strong/balanced.rs:302:18
Nov 30 13:43:11.846 INFO [stderr]     |
Nov 30 13:43:11.846 INFO [stderr] 302 |     (Div) IntDiv(Int, Int): Int {
Nov 30 13:43:11.846 INFO [stderr]     |                  ^^^
Nov 30 13:43:11.846 INFO [stderr]     |
Nov 30 13:43:11.846 INFO [stderr]     = help: the bound will not be checked when the type alias is used, and should be removed
Nov 30 13:43:11.846 INFO [stderr] 
Nov 30 13:43:11.846 INFO [stderr] warning: bounds on generic parameters are not enforced in type aliases
Nov 30 13:43:11.846 INFO [stderr]    --> src/strong/balanced.rs:302:23
Nov 30 13:43:11.846 INFO [stderr]     |
Nov 30 13:43:11.846 INFO [stderr] 302 |     (Div) IntDiv(Int, Int): Int {
Nov 30 13:43:11.846 INFO [stderr]     |                       ^^^
Nov 30 13:43:11.846 INFO [stderr]     |
Nov 30 13:43:11.847 INFO [stderr]     = help: the bound will not be checked when the type alias is used, and should be removed
Nov 30 13:43:11.847 INFO [stderr] 
Nov 30 13:43:11.847 INFO [stderr] warning: bounds on generic parameters are not enforced in type aliases
Nov 30 13:43:11.847 INFO [stderr]    --> src/strong/balanced.rs:326:18
Nov 30 13:43:11.847 INFO [stderr]     |
Nov 30 13:43:11.847 INFO [stderr] 326 |     (Rem) IntRem(Int, Int): Int {
Nov 30 13:43:11.847 INFO [stderr]     |                  ^^^
Nov 30 13:43:11.847 INFO [stderr]     |
Nov 30 13:43:11.847 INFO [stderr]     = help: the bound will not be checked when the type alias is used, and should be removed
Nov 30 13:43:11.847 INFO [stderr] 
Nov 30 13:43:11.847 INFO [stderr] warning: bounds on generic parameters are not enforced in type aliases
Nov 30 13:43:11.847 INFO [stderr]    --> src/strong/balanced.rs:326:23
Nov 30 13:43:11.847 INFO [stderr]     |
Nov 30 13:43:11.847 INFO [stderr] 326 |     (Rem) IntRem(Int, Int): Int {
Nov 30 13:43:11.847 INFO [stderr]     |                       ^^^
Nov 30 13:43:11.847 INFO [stderr]     |
Nov 30 13:43:11.847 INFO [stderr]     = help: the bound will not be checked when the type alias is used, and should be removed
Nov 30 13:43:11.847 INFO [stderr] 
Nov 30 13:43:11.847 INFO [stderr] warning: bounds on generic parameters are not enforced in type aliases
Nov 30 13:43:11.847 INFO [stderr]    --> src/strong/balanced.rs:349:34
Nov 30 13:43:11.847 INFO [stderr]     |
Nov 30 13:43:11.847 INFO [stderr] 349 |     (DivInternal) IntDivInternal(Int, Int, IntPair): IntPair {
Nov 30 13:43:11.847 INFO [stderr]     |                                  ^^^
Nov 30 13:43:11.847 INFO [stderr]     |
Nov 30 13:43:11.847 INFO [stderr]     = help: the bound will not be checked when the type alias is used, and should be removed
Nov 30 13:43:11.847 INFO [stderr] 
Nov 30 13:43:11.847 INFO [stderr] warning: bounds on generic parameters are not enforced in type aliases
Nov 30 13:43:11.847 INFO [stderr]    --> src/strong/balanced.rs:349:39
Nov 30 13:43:11.847 INFO [stderr]     |
Nov 30 13:43:11.847 INFO [stderr] 349 |     (DivInternal) IntDivInternal(Int, Int, IntPair): IntPair {
Nov 30 13:43:11.847 INFO [stderr]     |                                       ^^^
Nov 30 13:43:11.847 INFO [stderr]     |
Nov 30 13:43:11.847 INFO [stderr]     = help: the bound will not be checked when the type alias is used, and should be removed
Nov 30 13:43:11.847 INFO [stderr] 
Nov 30 13:43:11.847 INFO [stderr] warning: bounds on generic parameters are not enforced in type aliases
Nov 30 13:43:11.847 INFO [stderr]    --> src/strong/balanced.rs:349:44
Nov 30 13:43:11.847 INFO [stderr]     |
Nov 30 13:43:11.847 INFO [stderr] 349 |     (DivInternal) IntDivInternal(Int, Int, IntPair): IntPair {
Nov 30 13:43:11.847 INFO [stderr]     |                                            ^^^^^^^
Nov 30 13:43:11.847 INFO [stderr]     |
Nov 30 13:43:11.847 INFO [stderr]     = help: the bound will not be checked when the type alias is used, and should be removed
Nov 30 13:43:11.847 INFO [stderr] 
Nov 30 13:43:11.881 INFO [stderr]     Finished dev [unoptimized + debuginfo] target(s) in 4.33s
Nov 30 13:43:11.883 INFO [stderr] su: No module specific data is present
Nov 30 13:43:13.268 INFO running `"docker" "inspect" "c945e9368292e4522ecf0e21aaa97d5140183a8043006d4d6037842176d2100e"`
Nov 30 13:43:13.582 INFO running `"docker" "rm" "-f" "c945e9368292e4522ecf0e21aaa97d5140183a8043006d4d6037842176d2100e"`
Nov 30 13:43:13.932 INFO [stdout] c945e9368292e4522ecf0e21aaa97d5140183a8043006d4d6037842176d2100e