[INFO] fetching crate type-level-logic 0.1.0...
[INFO] testing type-level-logic-0.1.0 against 1.47.0 for beta-1.48-1
[INFO] extracting crate type-level-logic 0.1.0 into /workspace/builds/worker-13/source
[INFO] validating manifest of crates.io crate type-level-logic 0.1.0 on toolchain 1.47.0
[INFO] running `Command { std: "/workspace/cargo-home/bin/cargo" "+1.47.0" "read-manifest" "--manifest-path" "Cargo.toml", kill_on_drop: false }`
[INFO] started tweaking crates.io crate type-level-logic 0.1.0
[INFO] finished tweaking crates.io crate type-level-logic 0.1.0
[INFO] tweaked toml for crates.io crate type-level-logic 0.1.0 written to /workspace/builds/worker-13/source/Cargo.toml
[INFO] running `Command { std: "/workspace/cargo-home/bin/cargo" "+1.47.0" "generate-lockfile" "--manifest-path" "Cargo.toml" "-Zno-index-update", kill_on_drop: false }`
[INFO] [stderr]     Blocking waiting for file lock on package cache
[INFO] running `Command { std: "/workspace/cargo-home/bin/cargo" "+1.47.0" "fetch" "--locked" "--manifest-path" "Cargo.toml", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-13/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-13/source:/opt/rustwide/workdir:ro,Z" "-v" "/var/lib/crater-agent-workspace/cargo-home:/opt/rustwide/cargo-home:ro,Z" "-v" "/var/lib/crater-agent-workspace/rustup-home:/opt/rustwide/rustup-home:ro,Z" "-e" "SOURCE_DIR=/opt/rustwide/workdir" "-e" "CARGO_TARGET_DIR=/opt/rustwide/target" "-e" "CARGO_HOME=/opt/rustwide/cargo-home" "-e" "RUSTUP_HOME=/opt/rustwide/rustup-home" "-w" "/opt/rustwide/workdir" "-m" "1610612736" "--user" "0:0" "--network" "none" "rustops/crates-build-env@sha256:d92eaeed33fa75130ca1ee6c8a01d1ffb62bac859dfdfb3450e3e5d1c0146529" "/opt/rustwide/cargo-home/bin/cargo" "+1.47.0" "metadata" "--no-deps" "--format-version=1", kill_on_drop: false }`
[INFO] [stdout] 285c86235b5d5c450fb534979588fb0fe92fe2de635504de373d781bf0c2efb2
[INFO] [stderr] WARNING: Your kernel does not support swap limit capabilities or the cgroup is not mounted. Memory limited without swap.
[INFO] running `Command { std: "docker" "start" "-a" "285c86235b5d5c450fb534979588fb0fe92fe2de635504de373d781bf0c2efb2", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "inspect" "285c86235b5d5c450fb534979588fb0fe92fe2de635504de373d781bf0c2efb2", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "285c86235b5d5c450fb534979588fb0fe92fe2de635504de373d781bf0c2efb2", kill_on_drop: false }`
[INFO] [stdout] 285c86235b5d5c450fb534979588fb0fe92fe2de635504de373d781bf0c2efb2
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-13/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-13/source:/opt/rustwide/workdir:ro,Z" "-v" "/var/lib/crater-agent-workspace/cargo-home:/opt/rustwide/cargo-home:ro,Z" "-v" "/var/lib/crater-agent-workspace/rustup-home:/opt/rustwide/rustup-home:ro,Z" "-e" "SOURCE_DIR=/opt/rustwide/workdir" "-e" "CARGO_TARGET_DIR=/opt/rustwide/target" "-e" "CARGO_INCREMENTAL=0" "-e" "RUST_BACKTRACE=full" "-e" "RUSTFLAGS=--cap-lints=warn" "-e" "CARGO_HOME=/opt/rustwide/cargo-home" "-e" "RUSTUP_HOME=/opt/rustwide/rustup-home" "-w" "/opt/rustwide/workdir" "-m" "1610612736" "--user" "0:0" "--network" "none" "rustops/crates-build-env@sha256:d92eaeed33fa75130ca1ee6c8a01d1ffb62bac859dfdfb3450e3e5d1c0146529" "/opt/rustwide/cargo-home/bin/cargo" "+1.47.0" "build" "--frozen" "--message-format=json", kill_on_drop: false }`
[INFO] [stdout] cb3a9611f8393cbd5f845980007451c95261e72e98893418302709e198f4dfbd
[INFO] [stderr] WARNING: Your kernel does not support swap limit capabilities or the cgroup is not mounted. Memory limited without swap.
[INFO] running `Command { std: "docker" "start" "-a" "cb3a9611f8393cbd5f845980007451c95261e72e98893418302709e198f4dfbd", kill_on_drop: false }`
[INFO] [stderr]    Compiling type-operators v0.3.5
[INFO] [stderr]    Compiling type-level-logic v0.1.0 (/opt/rustwide/workdir)
[INFO] [stdout] warning: bounds on generic parameters are not enforced in type aliases
[INFO] [stdout]  --> src/strong/boolean.rs:9:19
[INFO] [stdout]   |
[INFO] [stdout] 9 |     (And) BoolAnd(Bool, Bool): Bool {
[INFO] [stdout]   |                   ^^^^
[INFO] [stdout]   |
[INFO] [stdout]   = note: `#[warn(type_alias_bounds)]` on by default
[INFO] [stdout] help: the bound will not be checked when the type alias is used, and should be removed
[INFO] [stdout]   |
[INFO] [stdout] 6 |     [A, Bool): Bool {
[INFO] [stdout]   |      --
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: bounds on generic parameters are not enforced in type aliases
[INFO] [stdout]  --> src/strong/boolean.rs:9:25
[INFO] [stdout]   |
[INFO] [stdout] 9 |     (And) BoolAnd(Bool, Bool): Bool {
[INFO] [stdout]   |                         ^^^^
[INFO] [stdout]   |
[INFO] [stdout] help: the bound will not be checked when the type alias is used, and should be removed
[INFO] [stdout]   |
[INFO] [stdout] 6 |     [A, B): Bool {
[INFO] [stdout]   |         --
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: bounds on generic parameters are not enforced in type aliases
[INFO] [stdout]   --> src/strong/boolean.rs:17:17
[INFO] [stdout]    |
[INFO] [stdout] 17 |     (Or) BoolOr(Bool, Bool): Bool {
[INFO] [stdout]    |                 ^^^^
[INFO] [stdout]    |
[INFO] [stdout] help: the bound will not be checked when the type alias is used, and should be removed
[INFO] [stdout]    |
[INFO] [stdout] 6  |     [A, Bool): Bool {
[INFO] [stdout]    |      --
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: bounds on generic parameters are not enforced in type aliases
[INFO] [stdout]   --> src/strong/boolean.rs:17:23
[INFO] [stdout]    |
[INFO] [stdout] 17 |     (Or) BoolOr(Bool, Bool): Bool {
[INFO] [stdout]    |                       ^^^^
[INFO] [stdout]    |
[INFO] [stdout] help: the bound will not be checked when the type alias is used, and should be removed
[INFO] [stdout]    |
[INFO] [stdout] 6  |     [A, B): Bool {
[INFO] [stdout]    |         --
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: bounds on generic parameters are not enforced in type aliases
[INFO] [stdout]   --> src/strong/boolean.rs:26:25
[INFO] [stdout]    |
[INFO] [stdout] 26 |     (IfThen) BoolIfThen(Bool, Bool): Bool {
[INFO] [stdout]    |                         ^^^^
[INFO] [stdout]    |
[INFO] [stdout] help: the bound will not be checked when the type alias is used, and should be removed
[INFO] [stdout]    |
[INFO] [stdout] 6  |     [A, Bool): Bool {
[INFO] [stdout]    |      --
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: bounds on generic parameters are not enforced in type aliases
[INFO] [stdout]   --> src/strong/boolean.rs:26:31
[INFO] [stdout]    |
[INFO] [stdout] 26 |     (IfThen) BoolIfThen(Bool, Bool): Bool {
[INFO] [stdout]    |                               ^^^^
[INFO] [stdout]    |
[INFO] [stdout] help: the bound will not be checked when the type alias is used, and should be removed
[INFO] [stdout]    |
[INFO] [stdout] 6  |     [A, B): Bool {
[INFO] [stdout]    |         --
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: bounds on generic parameters are not enforced in type aliases
[INFO] [stdout]   --> src/strong/boolean.rs:35:25
[INFO] [stdout]    |
[INFO] [stdout] 35 |     (OnlyIf) BoolOnlyIf(Bool, Bool): Bool {
[INFO] [stdout]    |                         ^^^^
[INFO] [stdout]    |
[INFO] [stdout] help: the bound will not be checked when the type alias is used, and should be removed
[INFO] [stdout]    |
[INFO] [stdout] 6  |     [A, Bool): Bool {
[INFO] [stdout]    |      --
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: bounds on generic parameters are not enforced in type aliases
[INFO] [stdout]   --> src/strong/boolean.rs:35:31
[INFO] [stdout]    |
[INFO] [stdout] 35 |     (OnlyIf) BoolOnlyIf(Bool, Bool): Bool {
[INFO] [stdout]    |                               ^^^^
[INFO] [stdout]    |
[INFO] [stdout] help: the bound will not be checked when the type alias is used, and should be removed
[INFO] [stdout]    |
[INFO] [stdout] 6  |     [A, B): Bool {
[INFO] [stdout]    |         --
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: bounds on generic parameters are not enforced in type aliases
[INFO] [stdout]   --> src/strong/boolean.rs:43:19
[INFO] [stdout]    |
[INFO] [stdout] 43 |     (Xor) BoolXor(Bool, Bool): Bool {
[INFO] [stdout]    |                   ^^^^
[INFO] [stdout]    |
[INFO] [stdout] help: the bound will not be checked when the type alias is used, and should be removed
[INFO] [stdout]    |
[INFO] [stdout] 6  |     [A, Bool): Bool {
[INFO] [stdout]    |      --
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: bounds on generic parameters are not enforced in type aliases
[INFO] [stdout]   --> src/strong/boolean.rs:43:25
[INFO] [stdout]    |
[INFO] [stdout] 43 |     (Xor) BoolXor(Bool, Bool): Bool {
[INFO] [stdout]    |                         ^^^^
[INFO] [stdout]    |
[INFO] [stdout] help: the bound will not be checked when the type alias is used, and should be removed
[INFO] [stdout]    |
[INFO] [stdout] 6  |     [A, B): Bool {
[INFO] [stdout]    |         --
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: bounds on generic parameters are not enforced in type aliases
[INFO] [stdout]   --> src/strong/ternary.rs:14:24
[INFO] [stdout]    |
[INFO] [stdout] 14 |     (Nat2First) Nat2P1(NatPair): Nat {
[INFO] [stdout]    |                        ^^^^^^^
[INFO] [stdout]    |
[INFO] [stdout] help: the bound will not be checked when the type alias is used, and should be removed
[INFO] [stdout]    |
[INFO] [stdout] 11 |     [A): Nat {
[INFO] [stdout]    |      --
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: bounds on generic parameters are not enforced in type aliases
[INFO] [stdout]   --> src/strong/ternary.rs:21:25
[INFO] [stdout]    |
[INFO] [stdout] 21 |     (Nat2Second) Nat2P2(NatPair): Nat {
[INFO] [stdout]    |                         ^^^^^^^
[INFO] [stdout]    |
[INFO] [stdout] help: the bound will not be checked when the type alias is used, and should be removed
[INFO] [stdout]    |
[INFO] [stdout] 11 |     [A): Nat {
[INFO] [stdout]    |      --
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: bounds on generic parameters are not enforced in type aliases
[INFO] [stdout]   --> src/strong/ternary.rs:29:20
[INFO] [stdout]    |
[INFO] [stdout] 29 |     (Succ) NatSucc(Nat): Nat {
[INFO] [stdout]    |                    ^^^
[INFO] [stdout]    |
[INFO] [stdout] help: the bound will not be checked when the type alias is used, and should be removed
[INFO] [stdout]    |
[INFO] [stdout] 11 |     [A): Nat {
[INFO] [stdout]    |      --
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: bounds on generic parameters are not enforced in type aliases
[INFO] [stdout]   --> src/strong/ternary.rs:41:20
[INFO] [stdout]    |
[INFO] [stdout] 41 |     (Pred) NatPred(Nat): Nat {
[INFO] [stdout]    |                    ^^^
[INFO] [stdout]    |
[INFO] [stdout] help: the bound will not be checked when the type alias is used, and should be removed
[INFO] [stdout]    |
[INFO] [stdout] 11 |     [A): Nat {
[INFO] [stdout]    |      --
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: bounds on generic parameters are not enforced in type aliases
[INFO] [stdout]   --> src/strong/ternary.rs:53:32
[INFO] [stdout]    |
[INFO] [stdout] 53 |     (DoublePred) NatDoublePred(Nat): Nat {
[INFO] [stdout]    |                                ^^^
[INFO] [stdout]    |
[INFO] [stdout] help: the bound will not be checked when the type alias is used, and should be removed
[INFO] [stdout]    |
[INFO] [stdout] 11 |     [A): Nat {
[INFO] [stdout]    |      --
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: bounds on generic parameters are not enforced in type aliases
[INFO] [stdout]   --> src/strong/ternary.rs:68:24
[INFO] [stdout]    |
[INFO] [stdout] 68 |     (Triple) NatTriple(Nat): Nat {
[INFO] [stdout]    |                        ^^^
[INFO] [stdout]    |
[INFO] [stdout] help: the bound will not be checked when the type alias is used, and should be removed
[INFO] [stdout]    |
[INFO] [stdout] 11 |     [A): Nat {
[INFO] [stdout]    |      --
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: bounds on generic parameters are not enforced in type aliases
[INFO] [stdout]   --> src/strong/ternary.rs:81:24
[INFO] [stdout]    |
[INFO] [stdout] 81 |     (Unique) NatUnique(Nat): Nat {
[INFO] [stdout]    |                        ^^^
[INFO] [stdout]    |
[INFO] [stdout] help: the bound will not be checked when the type alias is used, and should be removed
[INFO] [stdout]    |
[INFO] [stdout] 11 |     [A): Nat {
[INFO] [stdout]    |      --
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: bounds on generic parameters are not enforced in type aliases
[INFO] [stdout]   --> src/strong/ternary.rs:95:18
[INFO] [stdout]    |
[INFO] [stdout] 95 |     (Add) NatAdd(Nat, Nat): Nat {
[INFO] [stdout]    |                  ^^^
[INFO] [stdout]    |
[INFO] [stdout] help: the bound will not be checked when the type alias is used, and should be removed
[INFO] [stdout]    |
[INFO] [stdout] 11 |     [A, Nat): Nat {
[INFO] [stdout]    |      --
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: bounds on generic parameters are not enforced in type aliases
[INFO] [stdout]   --> src/strong/ternary.rs:95:23
[INFO] [stdout]    |
[INFO] [stdout] 95 |     (Add) NatAdd(Nat, Nat): Nat {
[INFO] [stdout]    |                       ^^^
[INFO] [stdout]    |
[INFO] [stdout] help: the bound will not be checked when the type alias is used, and should be removed
[INFO] [stdout]    |
[INFO] [stdout] 11 |     [A, B): Nat {
[INFO] [stdout]    |         --
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: bounds on generic parameters are not enforced in type aliases
[INFO] [stdout]    --> src/strong/ternary.rs:128:38
[INFO] [stdout]     |
[INFO] [stdout] 128 |     (TriplePlusOne) NatTriplePlusOne(Nat): Nat {
[INFO] [stdout]     |                                      ^^^
[INFO] [stdout]     |
[INFO] [stdout] help: the bound will not be checked when the type alias is used, and should be removed
[INFO] [stdout]     |
[INFO] [stdout] 11  |     [A): Nat {
[INFO] [stdout]     |      --
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: bounds on generic parameters are not enforced in type aliases
[INFO] [stdout]    --> src/strong/ternary.rs:139:38
[INFO] [stdout]     |
[INFO] [stdout] 139 |     (TriplePlusTwo) NatTriplePlusTwo(Nat): Nat {
[INFO] [stdout]     |                                      ^^^
[INFO] [stdout]     |
[INFO] [stdout] help: the bound will not be checked when the type alias is used, and should be removed
[INFO] [stdout]     |
[INFO] [stdout] 11  |     [A): Nat {
[INFO] [stdout]     |      --
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: bounds on generic parameters are not enforced in type aliases
[INFO] [stdout]    --> src/strong/ternary.rs:152:18
[INFO] [stdout]     |
[INFO] [stdout] 152 |     (Sub) NatSub(Nat, Nat): Nat {
[INFO] [stdout]     |                  ^^^
[INFO] [stdout]     |
[INFO] [stdout] help: the bound will not be checked when the type alias is used, and should be removed
[INFO] [stdout]     |
[INFO] [stdout] 11  |     [A, Nat): Nat {
[INFO] [stdout]     |      --
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: bounds on generic parameters are not enforced in type aliases
[INFO] [stdout]    --> src/strong/ternary.rs:152:23
[INFO] [stdout]     |
[INFO] [stdout] 152 |     (Sub) NatSub(Nat, Nat): Nat {
[INFO] [stdout]     |                       ^^^
[INFO] [stdout]     |
[INFO] [stdout] help: the bound will not be checked when the type alias is used, and should be removed
[INFO] [stdout]     |
[INFO] [stdout] 11  |     [A, B): Nat {
[INFO] [stdout]     |         --
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: bounds on generic parameters are not enforced in type aliases
[INFO] [stdout]    --> src/strong/ternary.rs:185:18
[INFO] [stdout]     |
[INFO] [stdout] 185 |     (Mul) NatMul(Nat, Nat): Nat {
[INFO] [stdout]     |                  ^^^
[INFO] [stdout]     |
[INFO] [stdout] help: the bound will not be checked when the type alias is used, and should be removed
[INFO] [stdout]     |
[INFO] [stdout] 11  |     [A, Nat): Nat {
[INFO] [stdout]     |      --
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: bounds on generic parameters are not enforced in type aliases
[INFO] [stdout]    --> src/strong/ternary.rs:185:23
[INFO] [stdout]     |
[INFO] [stdout] 185 |     (Mul) NatMul(Nat, Nat): Nat {
[INFO] [stdout]     |                       ^^^
[INFO] [stdout]     |
[INFO] [stdout] help: the bound will not be checked when the type alias is used, and should be removed
[INFO] [stdout]     |
[INFO] [stdout] 11  |     [A, B): Nat {
[INFO] [stdout]     |         --
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: bounds on generic parameters are not enforced in type aliases
[INFO] [stdout]    --> src/strong/ternary.rs:220:18
[INFO] [stdout]     |
[INFO] [stdout] 220 |     (Cmp) NatCmp(Nat, Nat, Nat, Nat, Nat): Nat {
[INFO] [stdout]     |                  ^^^
[INFO] [stdout]     |
[INFO] [stdout] help: the bound will not be checked when the type alias is used, and should be removed
[INFO] [stdout]     |
[INFO] [stdout] 11  |     [A, Nat, Nat, Nat, Nat): Nat {
[INFO] [stdout]     |      --
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: bounds on generic parameters are not enforced in type aliases
[INFO] [stdout]    --> src/strong/ternary.rs:220:23
[INFO] [stdout]     |
[INFO] [stdout] 220 |     (Cmp) NatCmp(Nat, Nat, Nat, Nat, Nat): Nat {
[INFO] [stdout]     |                       ^^^
[INFO] [stdout]     |
[INFO] [stdout] help: the bound will not be checked when the type alias is used, and should be removed
[INFO] [stdout]     |
[INFO] [stdout] 11  |     [A, B, Nat, Nat, Nat): Nat {
[INFO] [stdout]     |         --
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: bounds on generic parameters are not enforced in type aliases
[INFO] [stdout]    --> src/strong/ternary.rs:220:28
[INFO] [stdout]     |
[INFO] [stdout] 220 |     (Cmp) NatCmp(Nat, Nat, Nat, Nat, Nat): Nat {
[INFO] [stdout]     |                            ^^^
[INFO] [stdout]     |
[INFO] [stdout] help: the bound will not be checked when the type alias is used, and should be removed
[INFO] [stdout]     |
[INFO] [stdout] 11  |     [A, B, C, Nat, Nat): Nat {
[INFO] [stdout]     |            --
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: bounds on generic parameters are not enforced in type aliases
[INFO] [stdout]    --> src/strong/ternary.rs:220:33
[INFO] [stdout]     |
[INFO] [stdout] 220 |     (Cmp) NatCmp(Nat, Nat, Nat, Nat, Nat): Nat {
[INFO] [stdout]     |                                 ^^^
[INFO] [stdout]     |
[INFO] [stdout] help: the bound will not be checked when the type alias is used, and should be removed
[INFO] [stdout]     |
[INFO] [stdout] 11  |     [A, B, C, D, Nat): Nat {
[INFO] [stdout]     |               --
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: bounds on generic parameters are not enforced in type aliases
[INFO] [stdout]    --> src/strong/ternary.rs:220:38
[INFO] [stdout]     |
[INFO] [stdout] 220 |     (Cmp) NatCmp(Nat, Nat, Nat, Nat, Nat): Nat {
[INFO] [stdout]     |                                      ^^^
[INFO] [stdout]     |
[INFO] [stdout] help: the bound will not be checked when the type alias is used, and should be removed
[INFO] [stdout]     |
[INFO] [stdout] 11  |     [A, B, C, D, E): Nat {
[INFO] [stdout]     |                  --
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: bounds on generic parameters are not enforced in type aliases
[INFO] [stdout]    --> src/strong/ternary.rs:247:28
[INFO] [stdout]     |
[INFO] [stdout] 247 |     (UndefOr2) NatUndefOr2(Nat, Nat, NatPair): NatPair {
[INFO] [stdout]     |                            ^^^
[INFO] [stdout]     |
[INFO] [stdout] help: the bound will not be checked when the type alias is used, and should be removed
[INFO] [stdout]     |
[INFO] [stdout] 11  |     [A, Nat, NatPair): NatPair {
[INFO] [stdout]     |      --
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: bounds on generic parameters are not enforced in type aliases
[INFO] [stdout]    --> src/strong/ternary.rs:247:33
[INFO] [stdout]     |
[INFO] [stdout] 247 |     (UndefOr2) NatUndefOr2(Nat, Nat, NatPair): NatPair {
[INFO] [stdout]     |                                 ^^^
[INFO] [stdout]     |
[INFO] [stdout] help: the bound will not be checked when the type alias is used, and should be removed
[INFO] [stdout]     |
[INFO] [stdout] 11  |     [A, B, NatPair): NatPair {
[INFO] [stdout]     |         --
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: bounds on generic parameters are not enforced in type aliases
[INFO] [stdout]    --> src/strong/ternary.rs:247:38
[INFO] [stdout]     |
[INFO] [stdout] 247 |     (UndefOr2) NatUndefOr2(Nat, Nat, NatPair): NatPair {
[INFO] [stdout]     |                                      ^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout] help: the bound will not be checked when the type alias is used, and should be removed
[INFO] [stdout]     |
[INFO] [stdout] 11  |     [A, B, C): NatPair {
[INFO] [stdout]     |            --
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: bounds on generic parameters are not enforced in type aliases
[INFO] [stdout]    --> src/strong/ternary.rs:262:18
[INFO] [stdout]     |
[INFO] [stdout] 262 |     (Rev) NatRev(Nat): Nat {
[INFO] [stdout]     |                  ^^^
[INFO] [stdout]     |
[INFO] [stdout] help: the bound will not be checked when the type alias is used, and should be removed
[INFO] [stdout]     |
[INFO] [stdout] 11  |     [A): Nat {
[INFO] [stdout]     |      --
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: bounds on generic parameters are not enforced in type aliases
[INFO] [stdout]    --> src/strong/ternary.rs:268:34
[INFO] [stdout]     |
[INFO] [stdout] 268 |     (RevInternal) NatRevInternal(Nat, Nat): Nat {
[INFO] [stdout]     |                                  ^^^
[INFO] [stdout]     |
[INFO] [stdout] help: the bound will not be checked when the type alias is used, and should be removed
[INFO] [stdout]     |
[INFO] [stdout] 11  |     [A, Nat): Nat {
[INFO] [stdout]     |      --
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: bounds on generic parameters are not enforced in type aliases
[INFO] [stdout]    --> src/strong/ternary.rs:268:39
[INFO] [stdout]     |
[INFO] [stdout] 268 |     (RevInternal) NatRevInternal(Nat, Nat): Nat {
[INFO] [stdout]     |                                       ^^^
[INFO] [stdout]     |
[INFO] [stdout] help: the bound will not be checked when the type alias is used, and should be removed
[INFO] [stdout]     |
[INFO] [stdout] 11  |     [A, B): Nat {
[INFO] [stdout]     |         --
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: bounds on generic parameters are not enforced in type aliases
[INFO] [stdout]    --> src/strong/ternary.rs:281:18
[INFO] [stdout]     |
[INFO] [stdout] 281 |     (Div) NatDiv(Nat, Nat): Nat {
[INFO] [stdout]     |                  ^^^
[INFO] [stdout]     |
[INFO] [stdout] help: the bound will not be checked when the type alias is used, and should be removed
[INFO] [stdout]     |
[INFO] [stdout] 11  |     [A, Nat): Nat {
[INFO] [stdout]     |      --
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: bounds on generic parameters are not enforced in type aliases
[INFO] [stdout]    --> src/strong/ternary.rs:281:23
[INFO] [stdout]     |
[INFO] [stdout] 281 |     (Div) NatDiv(Nat, Nat): Nat {
[INFO] [stdout]     |                       ^^^
[INFO] [stdout]     |
[INFO] [stdout] help: the bound will not be checked when the type alias is used, and should be removed
[INFO] [stdout]     |
[INFO] [stdout] 11  |     [A, B): Nat {
[INFO] [stdout]     |         --
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: bounds on generic parameters are not enforced in type aliases
[INFO] [stdout]    --> src/strong/ternary.rs:306:18
[INFO] [stdout]     |
[INFO] [stdout] 306 |     (Rem) NatRem(Nat, Nat): Nat {
[INFO] [stdout]     |                  ^^^
[INFO] [stdout]     |
[INFO] [stdout] help: the bound will not be checked when the type alias is used, and should be removed
[INFO] [stdout]     |
[INFO] [stdout] 11  |     [A, Nat): Nat {
[INFO] [stdout]     |      --
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: bounds on generic parameters are not enforced in type aliases
[INFO] [stdout]    --> src/strong/ternary.rs:306:23
[INFO] [stdout]     |
[INFO] [stdout] 306 |     (Rem) NatRem(Nat, Nat): Nat {
[INFO] [stdout]     |                       ^^^
[INFO] [stdout]     |
[INFO] [stdout] help: the bound will not be checked when the type alias is used, and should be removed
[INFO] [stdout]     |
[INFO] [stdout] 11  |     [A, B): Nat {
[INFO] [stdout]     |         --
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: bounds on generic parameters are not enforced in type aliases
[INFO] [stdout]    --> src/strong/ternary.rs:329:34
[INFO] [stdout]     |
[INFO] [stdout] 329 |     (DivInternal) NatDivInternal(Nat, Nat, NatPair): NatPair {
[INFO] [stdout]     |                                  ^^^
[INFO] [stdout]     |
[INFO] [stdout] help: the bound will not be checked when the type alias is used, and should be removed
[INFO] [stdout]     |
[INFO] [stdout] 11  |     [A, Nat, NatPair): NatPair {
[INFO] [stdout]     |      --
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: bounds on generic parameters are not enforced in type aliases
[INFO] [stdout]    --> src/strong/ternary.rs:329:39
[INFO] [stdout]     |
[INFO] [stdout] 329 |     (DivInternal) NatDivInternal(Nat, Nat, NatPair): NatPair {
[INFO] [stdout]     |                                       ^^^
[INFO] [stdout]     |
[INFO] [stdout] help: the bound will not be checked when the type alias is used, and should be removed
[INFO] [stdout]     |
[INFO] [stdout] 11  |     [A, B, NatPair): NatPair {
[INFO] [stdout]     |         --
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: bounds on generic parameters are not enforced in type aliases
[INFO] [stdout]    --> src/strong/ternary.rs:329:44
[INFO] [stdout]     |
[INFO] [stdout] 329 |     (DivInternal) NatDivInternal(Nat, Nat, NatPair): NatPair {
[INFO] [stdout]     |                                            ^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout] help: the bound will not be checked when the type alias is used, and should be removed
[INFO] [stdout]     |
[INFO] [stdout] 11  |     [A, B, C): NatPair {
[INFO] [stdout]     |            --
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: bounds on generic parameters are not enforced in type aliases
[INFO] [stdout]   --> src/strong/balanced.rs:10:24
[INFO] [stdout]    |
[INFO] [stdout] 10 |     (Int2First) Int2P1(IntPair): Int {
[INFO] [stdout]    |                        ^^^^^^^
[INFO] [stdout]    |
[INFO] [stdout] help: the bound will not be checked when the type alias is used, and should be removed
[INFO] [stdout]    |
[INFO] [stdout] 7  |     [A): Int {
[INFO] [stdout]    |      --
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: bounds on generic parameters are not enforced in type aliases
[INFO] [stdout]   --> src/strong/balanced.rs:17:25
[INFO] [stdout]    |
[INFO] [stdout] 17 |     (Int2Second) Int2P2(IntPair): Int {
[INFO] [stdout]    |                         ^^^^^^^
[INFO] [stdout]    |
[INFO] [stdout] help: the bound will not be checked when the type alias is used, and should be removed
[INFO] [stdout]    |
[INFO] [stdout] 7  |     [A): Int {
[INFO] [stdout]    |      --
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: bounds on generic parameters are not enforced in type aliases
[INFO] [stdout]   --> src/strong/balanced.rs:24:20
[INFO] [stdout]    |
[INFO] [stdout] 24 |     (Succ) IntSucc(Int): Int {
[INFO] [stdout]    |                    ^^^
[INFO] [stdout]    |
[INFO] [stdout] help: the bound will not be checked when the type alias is used, and should be removed
[INFO] [stdout]    |
[INFO] [stdout] 7  |     [A): Int {
[INFO] [stdout]    |      --
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: bounds on generic parameters are not enforced in type aliases
[INFO] [stdout]   --> src/strong/balanced.rs:35:20
[INFO] [stdout]    |
[INFO] [stdout] 35 |     (Pred) IntPred(Int): Int {
[INFO] [stdout]    |                    ^^^
[INFO] [stdout]    |
[INFO] [stdout] help: the bound will not be checked when the type alias is used, and should be removed
[INFO] [stdout]    |
[INFO] [stdout] 7  |     [A): Int {
[INFO] [stdout]    |      --
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: bounds on generic parameters are not enforced in type aliases
[INFO] [stdout]   --> src/strong/balanced.rs:49:24
[INFO] [stdout]    |
[INFO] [stdout] 49 |     (Triple) IntTriple(Int): Int {
[INFO] [stdout]    |                        ^^^
[INFO] [stdout]    |
[INFO] [stdout] help: the bound will not be checked when the type alias is used, and should be removed
[INFO] [stdout]    |
[INFO] [stdout] 7  |     [A): Int {
[INFO] [stdout]    |      --
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: bounds on generic parameters are not enforced in type aliases
[INFO] [stdout]   --> src/strong/balanced.rs:62:24
[INFO] [stdout]    |
[INFO] [stdout] 62 |     (IntUnique) Unique(Int): Int {
[INFO] [stdout]    |                        ^^^
[INFO] [stdout]    |
[INFO] [stdout] help: the bound will not be checked when the type alias is used, and should be removed
[INFO] [stdout]    |
[INFO] [stdout] 7  |     [A): Int {
[INFO] [stdout]    |      --
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: bounds on generic parameters are not enforced in type aliases
[INFO] [stdout]   --> src/strong/balanced.rs:80:18
[INFO] [stdout]    |
[INFO] [stdout] 80 |     (Neg) IntNeg(Int): Int {
[INFO] [stdout]    |                  ^^^
[INFO] [stdout]    |
[INFO] [stdout] help: the bound will not be checked when the type alias is used, and should be removed
[INFO] [stdout]    |
[INFO] [stdout] 7  |     [A): Int {
[INFO] [stdout]    |      --
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: bounds on generic parameters are not enforced in type aliases
[INFO] [stdout]   --> src/strong/balanced.rs:94:18
[INFO] [stdout]    |
[INFO] [stdout] 94 |     (Add) IntAdd(Int, Int): Int {
[INFO] [stdout]    |                  ^^^
[INFO] [stdout]    |
[INFO] [stdout] help: the bound will not be checked when the type alias is used, and should be removed
[INFO] [stdout]    |
[INFO] [stdout] 7  |     [A, Int): Int {
[INFO] [stdout]    |      --
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: bounds on generic parameters are not enforced in type aliases
[INFO] [stdout]   --> src/strong/balanced.rs:94:23
[INFO] [stdout]    |
[INFO] [stdout] 94 |     (Add) IntAdd(Int, Int): Int {
[INFO] [stdout]    |                       ^^^
[INFO] [stdout]    |
[INFO] [stdout] help: the bound will not be checked when the type alias is used, and should be removed
[INFO] [stdout]    |
[INFO] [stdout] 7  |     [A, B): Int {
[INFO] [stdout]    |         --
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: bounds on generic parameters are not enforced in type aliases
[INFO] [stdout]    --> src/strong/balanced.rs:127:18
[INFO] [stdout]     |
[INFO] [stdout] 127 |     (Sub) IntSub(Int, Int): Int {
[INFO] [stdout]     |                  ^^^
[INFO] [stdout]     |
[INFO] [stdout] help: the bound will not be checked when the type alias is used, and should be removed
[INFO] [stdout]     |
[INFO] [stdout] 7   |     [A, Int): Int {
[INFO] [stdout]     |      --
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: bounds on generic parameters are not enforced in type aliases
[INFO] [stdout]    --> src/strong/balanced.rs:127:23
[INFO] [stdout]     |
[INFO] [stdout] 127 |     (Sub) IntSub(Int, Int): Int {
[INFO] [stdout]     |                       ^^^
[INFO] [stdout]     |
[INFO] [stdout] help: the bound will not be checked when the type alias is used, and should be removed
[INFO] [stdout]     |
[INFO] [stdout] 7   |     [A, B): Int {
[INFO] [stdout]     |         --
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: bounds on generic parameters are not enforced in type aliases
[INFO] [stdout]    --> src/strong/balanced.rs:160:18
[INFO] [stdout]     |
[INFO] [stdout] 160 |     (Mul) IntMul(Int, Int): Int {
[INFO] [stdout]     |                  ^^^
[INFO] [stdout]     |
[INFO] [stdout] help: the bound will not be checked when the type alias is used, and should be removed
[INFO] [stdout]     |
[INFO] [stdout] 7   |     [A, Int): Int {
[INFO] [stdout]     |      --
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: bounds on generic parameters are not enforced in type aliases
[INFO] [stdout]    --> src/strong/balanced.rs:160:23
[INFO] [stdout]     |
[INFO] [stdout] 160 |     (Mul) IntMul(Int, Int): Int {
[INFO] [stdout]     |                       ^^^
[INFO] [stdout]     |
[INFO] [stdout] help: the bound will not be checked when the type alias is used, and should be removed
[INFO] [stdout]     |
[INFO] [stdout] 7   |     [A, B): Int {
[INFO] [stdout]     |         --
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: bounds on generic parameters are not enforced in type aliases
[INFO] [stdout]    --> src/strong/balanced.rs:196:18
[INFO] [stdout]     |
[INFO] [stdout] 196 |     (Cmp) IntCmp(Int, Int, Int, Int, Int): Int {
[INFO] [stdout]     |                  ^^^
[INFO] [stdout]     |
[INFO] [stdout] help: the bound will not be checked when the type alias is used, and should be removed
[INFO] [stdout]     |
[INFO] [stdout] 7   |     [A, Int, Int, Int, Int): Int {
[INFO] [stdout]     |      --
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: bounds on generic parameters are not enforced in type aliases
[INFO] [stdout]    --> src/strong/balanced.rs:196:23
[INFO] [stdout]     |
[INFO] [stdout] 196 |     (Cmp) IntCmp(Int, Int, Int, Int, Int): Int {
[INFO] [stdout]     |                       ^^^
[INFO] [stdout]     |
[INFO] [stdout] help: the bound will not be checked when the type alias is used, and should be removed
[INFO] [stdout]     |
[INFO] [stdout] 7   |     [A, B, Int, Int, Int): Int {
[INFO] [stdout]     |         --
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: bounds on generic parameters are not enforced in type aliases
[INFO] [stdout]    --> src/strong/balanced.rs:196:28
[INFO] [stdout]     |
[INFO] [stdout] 196 |     (Cmp) IntCmp(Int, Int, Int, Int, Int): Int {
[INFO] [stdout]     |                            ^^^
[INFO] [stdout]     |
[INFO] [stdout] help: the bound will not be checked when the type alias is used, and should be removed
[INFO] [stdout]     |
[INFO] [stdout] 7   |     [A, B, C, Int, Int): Int {
[INFO] [stdout]     |            --
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: bounds on generic parameters are not enforced in type aliases
[INFO] [stdout]    --> src/strong/balanced.rs:196:33
[INFO] [stdout]     |
[INFO] [stdout] 196 |     (Cmp) IntCmp(Int, Int, Int, Int, Int): Int {
[INFO] [stdout]     |                                 ^^^
[INFO] [stdout]     |
[INFO] [stdout] help: the bound will not be checked when the type alias is used, and should be removed
[INFO] [stdout]     |
[INFO] [stdout] 7   |     [A, B, C, D, Int): Int {
[INFO] [stdout]     |               --
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: bounds on generic parameters are not enforced in type aliases
[INFO] [stdout]    --> src/strong/balanced.rs:196:38
[INFO] [stdout]     |
[INFO] [stdout] 196 |     (Cmp) IntCmp(Int, Int, Int, Int, Int): Int {
[INFO] [stdout]     |                                      ^^^
[INFO] [stdout]     |
[INFO] [stdout] help: the bound will not be checked when the type alias is used, and should be removed
[INFO] [stdout]     |
[INFO] [stdout] 7   |     [A, B, C, D, E): Int {
[INFO] [stdout]     |                  --
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: bounds on generic parameters are not enforced in type aliases
[INFO] [stdout]    --> src/strong/balanced.rs:223:20
[INFO] [stdout]     |
[INFO] [stdout] 223 |     (Cmp2) IntCmp2(Int, Int, IntPair, IntPair, IntPair): IntPair {
[INFO] [stdout]     |                    ^^^
[INFO] [stdout]     |
[INFO] [stdout] help: the bound will not be checked when the type alias is used, and should be removed
[INFO] [stdout]     |
[INFO] [stdout] 7   |     [A, Int, IntPair, IntPair, IntPair): IntPair {
[INFO] [stdout]     |      --
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: bounds on generic parameters are not enforced in type aliases
[INFO] [stdout]    --> src/strong/balanced.rs:223:25
[INFO] [stdout]     |
[INFO] [stdout] 223 |     (Cmp2) IntCmp2(Int, Int, IntPair, IntPair, IntPair): IntPair {
[INFO] [stdout]     |                         ^^^
[INFO] [stdout]     |
[INFO] [stdout] help: the bound will not be checked when the type alias is used, and should be removed
[INFO] [stdout]     |
[INFO] [stdout] 7   |     [A, B, IntPair, IntPair, IntPair): IntPair {
[INFO] [stdout]     |         --
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: bounds on generic parameters are not enforced in type aliases
[INFO] [stdout]    --> src/strong/balanced.rs:223:30
[INFO] [stdout]     |
[INFO] [stdout] 223 |     (Cmp2) IntCmp2(Int, Int, IntPair, IntPair, IntPair): IntPair {
[INFO] [stdout]     |                              ^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout] help: the bound will not be checked when the type alias is used, and should be removed
[INFO] [stdout]     |
[INFO] [stdout] 7   |     [A, B, C, IntPair, IntPair): IntPair {
[INFO] [stdout]     |            --
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: bounds on generic parameters are not enforced in type aliases
[INFO] [stdout]    --> src/strong/balanced.rs:223:39
[INFO] [stdout]     |
[INFO] [stdout] 223 |     (Cmp2) IntCmp2(Int, Int, IntPair, IntPair, IntPair): IntPair {
[INFO] [stdout]     |                                       ^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout] help: the bound will not be checked when the type alias is used, and should be removed
[INFO] [stdout]     |
[INFO] [stdout] 7   |     [A, B, C, D, IntPair): IntPair {
[INFO] [stdout]     |               --
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: bounds on generic parameters are not enforced in type aliases
[INFO] [stdout]    --> src/strong/balanced.rs:223:48
[INFO] [stdout]     |
[INFO] [stdout] 223 |     (Cmp2) IntCmp2(Int, Int, IntPair, IntPair, IntPair): IntPair {
[INFO] [stdout]     |                                                ^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout] help: the bound will not be checked when the type alias is used, and should be removed
[INFO] [stdout]     |
[INFO] [stdout] 7   |     [A, B, C, D, E): IntPair {
[INFO] [stdout]     |                  --
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: bounds on generic parameters are not enforced in type aliases
[INFO] [stdout]    --> src/strong/balanced.rs:248:24
[INFO] [stdout]     |
[INFO] [stdout] 248 |     (LteCmp) IntLteCmp(Int, Int, Int, Int): Int {
[INFO] [stdout]     |                        ^^^
[INFO] [stdout]     |
[INFO] [stdout] help: the bound will not be checked when the type alias is used, and should be removed
[INFO] [stdout]     |
[INFO] [stdout] 7   |     [A, Int, Int, Int): Int {
[INFO] [stdout]     |      --
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: bounds on generic parameters are not enforced in type aliases
[INFO] [stdout]    --> src/strong/balanced.rs:248:29
[INFO] [stdout]     |
[INFO] [stdout] 248 |     (LteCmp) IntLteCmp(Int, Int, Int, Int): Int {
[INFO] [stdout]     |                             ^^^
[INFO] [stdout]     |
[INFO] [stdout] help: the bound will not be checked when the type alias is used, and should be removed
[INFO] [stdout]     |
[INFO] [stdout] 7   |     [A, B, Int, Int): Int {
[INFO] [stdout]     |         --
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: bounds on generic parameters are not enforced in type aliases
[INFO] [stdout]    --> src/strong/balanced.rs:248:34
[INFO] [stdout]     |
[INFO] [stdout] 248 |     (LteCmp) IntLteCmp(Int, Int, Int, Int): Int {
[INFO] [stdout]     |                                  ^^^
[INFO] [stdout]     |
[INFO] [stdout] help: the bound will not be checked when the type alias is used, and should be removed
[INFO] [stdout]     |
[INFO] [stdout] 7   |     [A, B, C, Int): Int {
[INFO] [stdout]     |            --
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: bounds on generic parameters are not enforced in type aliases
[INFO] [stdout]    --> src/strong/balanced.rs:248:39
[INFO] [stdout]     |
[INFO] [stdout] 248 |     (LteCmp) IntLteCmp(Int, Int, Int, Int): Int {
[INFO] [stdout]     |                                       ^^^
[INFO] [stdout]     |
[INFO] [stdout] help: the bound will not be checked when the type alias is used, and should be removed
[INFO] [stdout]     |
[INFO] [stdout] 7   |     [A, B, C, D): Int {
[INFO] [stdout]     |               --
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: bounds on generic parameters are not enforced in type aliases
[INFO] [stdout]    --> src/strong/balanced.rs:254:26
[INFO] [stdout]     |
[INFO] [stdout] 254 |     (LteCmp2) IntLteCmp2(Int, Int, IntPair, IntPair): IntPair {
[INFO] [stdout]     |                          ^^^
[INFO] [stdout]     |
[INFO] [stdout] help: the bound will not be checked when the type alias is used, and should be removed
[INFO] [stdout]     |
[INFO] [stdout] 7   |     [A, Int, IntPair, IntPair): IntPair {
[INFO] [stdout]     |      --
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: bounds on generic parameters are not enforced in type aliases
[INFO] [stdout]    --> src/strong/balanced.rs:254:31
[INFO] [stdout]     |
[INFO] [stdout] 254 |     (LteCmp2) IntLteCmp2(Int, Int, IntPair, IntPair): IntPair {
[INFO] [stdout]     |                               ^^^
[INFO] [stdout]     |
[INFO] [stdout] help: the bound will not be checked when the type alias is used, and should be removed
[INFO] [stdout]     |
[INFO] [stdout] 7   |     [A, B, IntPair, IntPair): IntPair {
[INFO] [stdout]     |         --
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: bounds on generic parameters are not enforced in type aliases
[INFO] [stdout]    --> src/strong/balanced.rs:254:36
[INFO] [stdout]     |
[INFO] [stdout] 254 |     (LteCmp2) IntLteCmp2(Int, Int, IntPair, IntPair): IntPair {
[INFO] [stdout]     |                                    ^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout] help: the bound will not be checked when the type alias is used, and should be removed
[INFO] [stdout]     |
[INFO] [stdout] 7   |     [A, B, C, IntPair): IntPair {
[INFO] [stdout]     |            --
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: bounds on generic parameters are not enforced in type aliases
[INFO] [stdout]    --> src/strong/balanced.rs:254:45
[INFO] [stdout]     |
[INFO] [stdout] 254 |     (LteCmp2) IntLteCmp2(Int, Int, IntPair, IntPair): IntPair {
[INFO] [stdout]     |                                             ^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout] help: the bound will not be checked when the type alias is used, and should be removed
[INFO] [stdout]     |
[INFO] [stdout] 7   |     [A, B, C, D): IntPair {
[INFO] [stdout]     |               --
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: bounds on generic parameters are not enforced in type aliases
[INFO] [stdout]    --> src/strong/balanced.rs:261:18
[INFO] [stdout]     |
[INFO] [stdout] 261 |     (Abs) IntAbs(Int): Int {
[INFO] [stdout]     |                  ^^^
[INFO] [stdout]     |
[INFO] [stdout] help: the bound will not be checked when the type alias is used, and should be removed
[INFO] [stdout]     |
[INFO] [stdout] 7   |     [A): Int {
[INFO] [stdout]     |      --
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: bounds on generic parameters are not enforced in type aliases
[INFO] [stdout]    --> src/strong/balanced.rs:273:40
[INFO] [stdout]     |
[INFO] [stdout] 273 |     (AbsMinThreeCmp) IntAbsMinThreeCmp(Int, Int, Int, Int, Int, Int): IntPair {
[INFO] [stdout]     |                                        ^^^
[INFO] [stdout]     |
[INFO] [stdout] help: the bound will not be checked when the type alias is used, and should be removed
[INFO] [stdout]     |
[INFO] [stdout] 7   |     [A, Int, Int, Int, Int, Int): IntPair {
[INFO] [stdout]     |      --
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: bounds on generic parameters are not enforced in type aliases
[INFO] [stdout]    --> src/strong/balanced.rs:273:45
[INFO] [stdout]     |
[INFO] [stdout] 273 |     (AbsMinThreeCmp) IntAbsMinThreeCmp(Int, Int, Int, Int, Int, Int): IntPair {
[INFO] [stdout]     |                                             ^^^
[INFO] [stdout]     |
[INFO] [stdout] help: the bound will not be checked when the type alias is used, and should be removed
[INFO] [stdout]     |
[INFO] [stdout] 7   |     [A, B, Int, Int, Int, Int): IntPair {
[INFO] [stdout]     |         --
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: bounds on generic parameters are not enforced in type aliases
[INFO] [stdout]    --> src/strong/balanced.rs:273:50
[INFO] [stdout]     |
[INFO] [stdout] 273 |     (AbsMinThreeCmp) IntAbsMinThreeCmp(Int, Int, Int, Int, Int, Int): IntPair {
[INFO] [stdout]     |                                                  ^^^
[INFO] [stdout]     |
[INFO] [stdout] help: the bound will not be checked when the type alias is used, and should be removed
[INFO] [stdout]     |
[INFO] [stdout] 7   |     [A, B, C, Int, Int, Int): IntPair {
[INFO] [stdout]     |            --
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: bounds on generic parameters are not enforced in type aliases
[INFO] [stdout]    --> src/strong/balanced.rs:273:55
[INFO] [stdout]     |
[INFO] [stdout] 273 |     (AbsMinThreeCmp) IntAbsMinThreeCmp(Int, Int, Int, Int, Int, Int): IntPair {
[INFO] [stdout]     |                                                       ^^^
[INFO] [stdout]     |
[INFO] [stdout] help: the bound will not be checked when the type alias is used, and should be removed
[INFO] [stdout]     |
[INFO] [stdout] 7   |     [A, B, C, D, Int, Int): IntPair {
[INFO] [stdout]     |               --
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: bounds on generic parameters are not enforced in type aliases
[INFO] [stdout]    --> src/strong/balanced.rs:273:60
[INFO] [stdout]     |
[INFO] [stdout] 273 |     (AbsMinThreeCmp) IntAbsMinThreeCmp(Int, Int, Int, Int, Int, Int): IntPair {
[INFO] [stdout]     |                                                            ^^^
[INFO] [stdout]     |
[INFO] [stdout] help: the bound will not be checked when the type alias is used, and should be removed
[INFO] [stdout]     |
[INFO] [stdout] 7   |     [A, B, C, D, E, Int): IntPair {
[INFO] [stdout]     |                  --
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: bounds on generic parameters are not enforced in type aliases
[INFO] [stdout]    --> src/strong/balanced.rs:273:65
[INFO] [stdout]     |
[INFO] [stdout] 273 |     (AbsMinThreeCmp) IntAbsMinThreeCmp(Int, Int, Int, Int, Int, Int): IntPair {
[INFO] [stdout]     |                                                                 ^^^
[INFO] [stdout]     |
[INFO] [stdout] help: the bound will not be checked when the type alias is used, and should be removed
[INFO] [stdout]     |
[INFO] [stdout] 7   |     [A, B, C, D, E, F): IntPair {
[INFO] [stdout]     |                     --
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: bounds on generic parameters are not enforced in type aliases
[INFO] [stdout]    --> src/strong/balanced.rs:284:18
[INFO] [stdout]     |
[INFO] [stdout] 284 |     (Rev) IntRev(Int): Int {
[INFO] [stdout]     |                  ^^^
[INFO] [stdout]     |
[INFO] [stdout] help: the bound will not be checked when the type alias is used, and should be removed
[INFO] [stdout]     |
[INFO] [stdout] 7   |     [A): Int {
[INFO] [stdout]     |      --
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: bounds on generic parameters are not enforced in type aliases
[INFO] [stdout]    --> src/strong/balanced.rs:290:34
[INFO] [stdout]     |
[INFO] [stdout] 290 |     (RevInternal) IntRevInternal(Int, Int): Int {
[INFO] [stdout]     |                                  ^^^
[INFO] [stdout]     |
[INFO] [stdout] help: the bound will not be checked when the type alias is used, and should be removed
[INFO] [stdout]     |
[INFO] [stdout] 7   |     [A, Int): Int {
[INFO] [stdout]     |      --
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: bounds on generic parameters are not enforced in type aliases
[INFO] [stdout]    --> src/strong/balanced.rs:290:39
[INFO] [stdout]     |
[INFO] [stdout] 290 |     (RevInternal) IntRevInternal(Int, Int): Int {
[INFO] [stdout]     |                                       ^^^
[INFO] [stdout]     |
[INFO] [stdout] help: the bound will not be checked when the type alias is used, and should be removed
[INFO] [stdout]     |
[INFO] [stdout] 7   |     [A, B): Int {
[INFO] [stdout]     |         --
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: bounds on generic parameters are not enforced in type aliases
[INFO] [stdout]    --> src/strong/balanced.rs:302:18
[INFO] [stdout]     |
[INFO] [stdout] 302 |     (Div) IntDiv(Int, Int): Int {
[INFO] [stdout]     |                  ^^^
[INFO] [stdout]     |
[INFO] [stdout] help: the bound will not be checked when the type alias is used, and should be removed
[INFO] [stdout]     |
[INFO] [stdout] 7   |     [A, Int): Int {
[INFO] [stdout]     |      --
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: bounds on generic parameters are not enforced in type aliases
[INFO] [stdout]    --> src/strong/balanced.rs:302:23
[INFO] [stdout]     |
[INFO] [stdout] 302 |     (Div) IntDiv(Int, Int): Int {
[INFO] [stdout]     |                       ^^^
[INFO] [stdout]     |
[INFO] [stdout] help: the bound will not be checked when the type alias is used, and should be removed
[INFO] [stdout]     |
[INFO] [stdout] 7   |     [A, B): Int {
[INFO] [stdout]     |         --
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: bounds on generic parameters are not enforced in type aliases
[INFO] [stdout]    --> src/strong/balanced.rs:326:18
[INFO] [stdout]     |
[INFO] [stdout] 326 |     (Rem) IntRem(Int, Int): Int {
[INFO] [stdout]     |                  ^^^
[INFO] [stdout]     |
[INFO] [stdout] help: the bound will not be checked when the type alias is used, and should be removed
[INFO] [stdout]     |
[INFO] [stdout] 7   |     [A, Int): Int {
[INFO] [stdout]     |      --
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: bounds on generic parameters are not enforced in type aliases
[INFO] [stdout]    --> src/strong/balanced.rs:326:23
[INFO] [stdout]     |
[INFO] [stdout] 326 |     (Rem) IntRem(Int, Int): Int {
[INFO] [stdout]     |                       ^^^
[INFO] [stdout]     |
[INFO] [stdout] help: the bound will not be checked when the type alias is used, and should be removed
[INFO] [stdout]     |
[INFO] [stdout] 7   |     [A, B): Int {
[INFO] [stdout]     |         --
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: bounds on generic parameters are not enforced in type aliases
[INFO] [stdout]    --> src/strong/balanced.rs:349:34
[INFO] [stdout]     |
[INFO] [stdout] 349 |     (DivInternal) IntDivInternal(Int, Int, IntPair): IntPair {
[INFO] [stdout]     |                                  ^^^
[INFO] [stdout]     |
[INFO] [stdout] help: the bound will not be checked when the type alias is used, and should be removed
[INFO] [stdout]     |
[INFO] [stdout] 7   |     [A, Int, IntPair): IntPair {
[INFO] [stdout]     |      --
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: bounds on generic parameters are not enforced in type aliases
[INFO] [stdout]    --> src/strong/balanced.rs:349:39
[INFO] [stdout]     |
[INFO] [stdout] 349 |     (DivInternal) IntDivInternal(Int, Int, IntPair): IntPair {
[INFO] [stdout]     |                                       ^^^
[INFO] [stdout]     |
[INFO] [stdout] help: the bound will not be checked when the type alias is used, and should be removed
[INFO] [stdout]     |
[INFO] [stdout] 7   |     [A, B, IntPair): IntPair {
[INFO] [stdout]     |         --
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: bounds on generic parameters are not enforced in type aliases
[INFO] [stdout]    --> src/strong/balanced.rs:349:44
[INFO] [stdout]     |
[INFO] [stdout] 349 |     (DivInternal) IntDivInternal(Int, Int, IntPair): IntPair {
[INFO] [stdout]     |                                            ^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout] help: the bound will not be checked when the type alias is used, and should be removed
[INFO] [stdout]     |
[INFO] [stdout] 7   |     [A, B, C): IntPair {
[INFO] [stdout]     |            --
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: 91 warnings emitted
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stderr]     Finished dev [unoptimized + debuginfo] target(s) in 1.51s
[INFO] running `Command { std: "docker" "inspect" "cb3a9611f8393cbd5f845980007451c95261e72e98893418302709e198f4dfbd", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "cb3a9611f8393cbd5f845980007451c95261e72e98893418302709e198f4dfbd", kill_on_drop: false }`
[INFO] [stdout] cb3a9611f8393cbd5f845980007451c95261e72e98893418302709e198f4dfbd
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-13/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-13/source:/opt/rustwide/workdir:ro,Z" "-v" "/var/lib/crater-agent-workspace/cargo-home:/opt/rustwide/cargo-home:ro,Z" "-v" "/var/lib/crater-agent-workspace/rustup-home:/opt/rustwide/rustup-home:ro,Z" "-e" "SOURCE_DIR=/opt/rustwide/workdir" "-e" "CARGO_TARGET_DIR=/opt/rustwide/target" "-e" "CARGO_INCREMENTAL=0" "-e" "RUST_BACKTRACE=full" "-e" "RUSTFLAGS=--cap-lints=warn" "-e" "CARGO_HOME=/opt/rustwide/cargo-home" "-e" "RUSTUP_HOME=/opt/rustwide/rustup-home" "-w" "/opt/rustwide/workdir" "-m" "1610612736" "--user" "0:0" "--network" "none" "rustops/crates-build-env@sha256:d92eaeed33fa75130ca1ee6c8a01d1ffb62bac859dfdfb3450e3e5d1c0146529" "/opt/rustwide/cargo-home/bin/cargo" "+1.47.0" "test" "--frozen" "--no-run" "--message-format=json", kill_on_drop: false }`
[INFO] [stderr] WARNING: Your kernel does not support swap limit capabilities or the cgroup is not mounted. Memory limited without swap.
[INFO] [stdout] f0ded643ae4fa45188ae1f19f1b27ad06e299e23eb4ae87d11a2e68339182835
[INFO] running `Command { std: "docker" "start" "-a" "f0ded643ae4fa45188ae1f19f1b27ad06e299e23eb4ae87d11a2e68339182835", kill_on_drop: false }`
[INFO] [stderr]    Compiling type-level-logic v0.1.0 (/opt/rustwide/workdir)
[INFO] [stdout] warning: bounds on generic parameters are not enforced in type aliases
[INFO] [stdout]  --> src/strong/boolean.rs:9:19
[INFO] [stdout]   |
[INFO] [stdout] 9 |     (And) BoolAnd(Bool, Bool): Bool {
[INFO] [stdout]   |                   ^^^^
[INFO] [stdout]   |
[INFO] [stdout]   = note: `#[warn(type_alias_bounds)]` on by default
[INFO] [stdout] help: the bound will not be checked when the type alias is used, and should be removed
[INFO] [stdout]   |
[INFO] [stdout] 6 |     [A, Bool): Bool {
[INFO] [stdout]   |      --
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: bounds on generic parameters are not enforced in type aliases
[INFO] [stdout]  --> src/strong/boolean.rs:9:25
[INFO] [stdout]   |
[INFO] [stdout] 9 |     (And) BoolAnd(Bool, Bool): Bool {
[INFO] [stdout]   |                         ^^^^
[INFO] [stdout]   |
[INFO] [stdout] help: the bound will not be checked when the type alias is used, and should be removed
[INFO] [stdout]   |
[INFO] [stdout] 6 |     [A, B): Bool {
[INFO] [stdout]   |         --
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: bounds on generic parameters are not enforced in type aliases
[INFO] [stdout]   --> src/strong/boolean.rs:17:17
[INFO] [stdout]    |
[INFO] [stdout] 17 |     (Or) BoolOr(Bool, Bool): Bool {
[INFO] [stdout]    |                 ^^^^
[INFO] [stdout]    |
[INFO] [stdout] help: the bound will not be checked when the type alias is used, and should be removed
[INFO] [stdout]    |
[INFO] [stdout] 6  |     [A, Bool): Bool {
[INFO] [stdout]    |      --
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: bounds on generic parameters are not enforced in type aliases
[INFO] [stdout]   --> src/strong/boolean.rs:17:23
[INFO] [stdout]    |
[INFO] [stdout] 17 |     (Or) BoolOr(Bool, Bool): Bool {
[INFO] [stdout]    |                       ^^^^
[INFO] [stdout]    |
[INFO] [stdout] help: the bound will not be checked when the type alias is used, and should be removed
[INFO] [stdout]    |
[INFO] [stdout] 6  |     [A, B): Bool {
[INFO] [stdout]    |         --
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: bounds on generic parameters are not enforced in type aliases
[INFO] [stdout]   --> src/strong/boolean.rs:26:25
[INFO] [stdout]    |
[INFO] [stdout] 26 |     (IfThen) BoolIfThen(Bool, Bool): Bool {
[INFO] [stdout]    |                         ^^^^
[INFO] [stdout]    |
[INFO] [stdout] help: the bound will not be checked when the type alias is used, and should be removed
[INFO] [stdout]    |
[INFO] [stdout] 6  |     [A, Bool): Bool {
[INFO] [stdout]    |      --
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: bounds on generic parameters are not enforced in type aliases
[INFO] [stdout]   --> src/strong/boolean.rs:26:31
[INFO] [stdout]    |
[INFO] [stdout] 26 |     (IfThen) BoolIfThen(Bool, Bool): Bool {
[INFO] [stdout]    |                               ^^^^
[INFO] [stdout]    |
[INFO] [stdout] help: the bound will not be checked when the type alias is used, and should be removed
[INFO] [stdout]    |
[INFO] [stdout] 6  |     [A, B): Bool {
[INFO] [stdout]    |         --
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: bounds on generic parameters are not enforced in type aliases
[INFO] [stdout]   --> src/strong/boolean.rs:35:25
[INFO] [stdout]    |
[INFO] [stdout] 35 |     (OnlyIf) BoolOnlyIf(Bool, Bool): Bool {
[INFO] [stdout]    |                         ^^^^
[INFO] [stdout]    |
[INFO] [stdout] help: the bound will not be checked when the type alias is used, and should be removed
[INFO] [stdout]    |
[INFO] [stdout] 6  |     [A, Bool): Bool {
[INFO] [stdout]    |      --
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: bounds on generic parameters are not enforced in type aliases
[INFO] [stdout]   --> src/strong/boolean.rs:35:31
[INFO] [stdout]    |
[INFO] [stdout] 35 |     (OnlyIf) BoolOnlyIf(Bool, Bool): Bool {
[INFO] [stdout]    |                               ^^^^
[INFO] [stdout]    |
[INFO] [stdout] help: the bound will not be checked when the type alias is used, and should be removed
[INFO] [stdout]    |
[INFO] [stdout] 6  |     [A, B): Bool {
[INFO] [stdout]    |         --
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: bounds on generic parameters are not enforced in type aliases
[INFO] [stdout]   --> src/strong/boolean.rs:43:19
[INFO] [stdout]    |
[INFO] [stdout] 43 |     (Xor) BoolXor(Bool, Bool): Bool {
[INFO] [stdout]    |                   ^^^^
[INFO] [stdout]    |
[INFO] [stdout] help: the bound will not be checked when the type alias is used, and should be removed
[INFO] [stdout]    |
[INFO] [stdout] 6  |     [A, Bool): Bool {
[INFO] [stdout]    |      --
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: bounds on generic parameters are not enforced in type aliases
[INFO] [stdout]   --> src/strong/boolean.rs:43:25
[INFO] [stdout]    |
[INFO] [stdout] 43 |     (Xor) BoolXor(Bool, Bool): Bool {
[INFO] [stdout]    |                         ^^^^
[INFO] [stdout]    |
[INFO] [stdout] help: the bound will not be checked when the type alias is used, and should be removed
[INFO] [stdout]    |
[INFO] [stdout] 6  |     [A, B): Bool {
[INFO] [stdout]    |         --
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: bounds on generic parameters are not enforced in type aliases
[INFO] [stdout]   --> src/strong/ternary.rs:14:24
[INFO] [stdout]    |
[INFO] [stdout] 14 |     (Nat2First) Nat2P1(NatPair): Nat {
[INFO] [stdout]    |                        ^^^^^^^
[INFO] [stdout]    |
[INFO] [stdout] help: the bound will not be checked when the type alias is used, and should be removed
[INFO] [stdout]    |
[INFO] [stdout] 11 |     [A): Nat {
[INFO] [stdout]    |      --
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: bounds on generic parameters are not enforced in type aliases
[INFO] [stdout]   --> src/strong/ternary.rs:21:25
[INFO] [stdout]    |
[INFO] [stdout] 21 |     (Nat2Second) Nat2P2(NatPair): Nat {
[INFO] [stdout]    |                         ^^^^^^^
[INFO] [stdout]    |
[INFO] [stdout] help: the bound will not be checked when the type alias is used, and should be removed
[INFO] [stdout]    |
[INFO] [stdout] 11 |     [A): Nat {
[INFO] [stdout]    |      --
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: bounds on generic parameters are not enforced in type aliases
[INFO] [stdout]   --> src/strong/ternary.rs:29:20
[INFO] [stdout]    |
[INFO] [stdout] 29 |     (Succ) NatSucc(Nat): Nat {
[INFO] [stdout]    |                    ^^^
[INFO] [stdout]    |
[INFO] [stdout] help: the bound will not be checked when the type alias is used, and should be removed
[INFO] [stdout]    |
[INFO] [stdout] 11 |     [A): Nat {
[INFO] [stdout]    |      --
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: bounds on generic parameters are not enforced in type aliases
[INFO] [stdout]   --> src/strong/ternary.rs:41:20
[INFO] [stdout]    |
[INFO] [stdout] 41 |     (Pred) NatPred(Nat): Nat {
[INFO] [stdout]    |                    ^^^
[INFO] [stdout]    |
[INFO] [stdout] help: the bound will not be checked when the type alias is used, and should be removed
[INFO] [stdout]    |
[INFO] [stdout] 11 |     [A): Nat {
[INFO] [stdout]    |      --
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: bounds on generic parameters are not enforced in type aliases
[INFO] [stdout]   --> src/strong/ternary.rs:53:32
[INFO] [stdout]    |
[INFO] [stdout] 53 |     (DoublePred) NatDoublePred(Nat): Nat {
[INFO] [stdout]    |                                ^^^
[INFO] [stdout]    |
[INFO] [stdout] help: the bound will not be checked when the type alias is used, and should be removed
[INFO] [stdout]    |
[INFO] [stdout] 11 |     [A): Nat {
[INFO] [stdout]    |      --
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: bounds on generic parameters are not enforced in type aliases
[INFO] [stdout]   --> src/strong/ternary.rs:68:24
[INFO] [stdout]    |
[INFO] [stdout] 68 |     (Triple) NatTriple(Nat): Nat {
[INFO] [stdout]    |                        ^^^
[INFO] [stdout]    |
[INFO] [stdout] help: the bound will not be checked when the type alias is used, and should be removed
[INFO] [stdout]    |
[INFO] [stdout] 11 |     [A): Nat {
[INFO] [stdout]    |      --
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: bounds on generic parameters are not enforced in type aliases
[INFO] [stdout]   --> src/strong/ternary.rs:81:24
[INFO] [stdout]    |
[INFO] [stdout] 81 |     (Unique) NatUnique(Nat): Nat {
[INFO] [stdout]    |                        ^^^
[INFO] [stdout]    |
[INFO] [stdout] help: the bound will not be checked when the type alias is used, and should be removed
[INFO] [stdout]    |
[INFO] [stdout] 11 |     [A): Nat {
[INFO] [stdout]    |      --
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: bounds on generic parameters are not enforced in type aliases
[INFO] [stdout]   --> src/strong/ternary.rs:95:18
[INFO] [stdout]    |
[INFO] [stdout] 95 |     (Add) NatAdd(Nat, Nat): Nat {
[INFO] [stdout]    |                  ^^^
[INFO] [stdout]    |
[INFO] [stdout] help: the bound will not be checked when the type alias is used, and should be removed
[INFO] [stdout]    |
[INFO] [stdout] 11 |     [A, Nat): Nat {
[INFO] [stdout]    |      --
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: bounds on generic parameters are not enforced in type aliases
[INFO] [stdout]   --> src/strong/ternary.rs:95:23
[INFO] [stdout]    |
[INFO] [stdout] 95 |     (Add) NatAdd(Nat, Nat): Nat {
[INFO] [stdout]    |                       ^^^
[INFO] [stdout]    |
[INFO] [stdout] help: the bound will not be checked when the type alias is used, and should be removed
[INFO] [stdout]    |
[INFO] [stdout] 11 |     [A, B): Nat {
[INFO] [stdout]    |         --
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: bounds on generic parameters are not enforced in type aliases
[INFO] [stdout]    --> src/strong/ternary.rs:128:38
[INFO] [stdout]     |
[INFO] [stdout] 128 |     (TriplePlusOne) NatTriplePlusOne(Nat): Nat {
[INFO] [stdout]     |                                      ^^^
[INFO] [stdout]     |
[INFO] [stdout] help: the bound will not be checked when the type alias is used, and should be removed
[INFO] [stdout]     |
[INFO] [stdout] 11  |     [A): Nat {
[INFO] [stdout]     |      --
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: bounds on generic parameters are not enforced in type aliases
[INFO] [stdout]    --> src/strong/ternary.rs:139:38
[INFO] [stdout]     |
[INFO] [stdout] 139 |     (TriplePlusTwo) NatTriplePlusTwo(Nat): Nat {
[INFO] [stdout]     |                                      ^^^
[INFO] [stdout]     |
[INFO] [stdout] help: the bound will not be checked when the type alias is used, and should be removed
[INFO] [stdout]     |
[INFO] [stdout] 11  |     [A): Nat {
[INFO] [stdout]     |      --
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: bounds on generic parameters are not enforced in type aliases
[INFO] [stdout]    --> src/strong/ternary.rs:152:18
[INFO] [stdout]     |
[INFO] [stdout] 152 |     (Sub) NatSub(Nat, Nat): Nat {
[INFO] [stdout]     |                  ^^^
[INFO] [stdout]     |
[INFO] [stdout] help: the bound will not be checked when the type alias is used, and should be removed
[INFO] [stdout]     |
[INFO] [stdout] 11  |     [A, Nat): Nat {
[INFO] [stdout]     |      --
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: bounds on generic parameters are not enforced in type aliases
[INFO] [stdout]    --> src/strong/ternary.rs:152:23
[INFO] [stdout]     |
[INFO] [stdout] 152 |     (Sub) NatSub(Nat, Nat): Nat {
[INFO] [stdout]     |                       ^^^
[INFO] [stdout]     |
[INFO] [stdout] help: the bound will not be checked when the type alias is used, and should be removed
[INFO] [stdout]     |
[INFO] [stdout] 11  |     [A, B): Nat {
[INFO] [stdout]     |         --
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: bounds on generic parameters are not enforced in type aliases
[INFO] [stdout]    --> src/strong/ternary.rs:185:18
[INFO] [stdout]     |
[INFO] [stdout] 185 |     (Mul) NatMul(Nat, Nat): Nat {
[INFO] [stdout]     |                  ^^^
[INFO] [stdout]     |
[INFO] [stdout] help: the bound will not be checked when the type alias is used, and should be removed
[INFO] [stdout]     |
[INFO] [stdout] 11  |     [A, Nat): Nat {
[INFO] [stdout]     |      --
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: bounds on generic parameters are not enforced in type aliases
[INFO] [stdout]    --> src/strong/ternary.rs:185:23
[INFO] [stdout]     |
[INFO] [stdout] 185 |     (Mul) NatMul(Nat, Nat): Nat {
[INFO] [stdout]     |                       ^^^
[INFO] [stdout]     |
[INFO] [stdout] help: the bound will not be checked when the type alias is used, and should be removed
[INFO] [stdout]     |
[INFO] [stdout] 11  |     [A, B): Nat {
[INFO] [stdout]     |         --
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: bounds on generic parameters are not enforced in type aliases
[INFO] [stdout]    --> src/strong/ternary.rs:220:18
[INFO] [stdout]     |
[INFO] [stdout] 220 |     (Cmp) NatCmp(Nat, Nat, Nat, Nat, Nat): Nat {
[INFO] [stdout]     |                  ^^^
[INFO] [stdout]     |
[INFO] [stdout] help: the bound will not be checked when the type alias is used, and should be removed
[INFO] [stdout]     |
[INFO] [stdout] 11  |     [A, Nat, Nat, Nat, Nat): Nat {
[INFO] [stdout]     |      --
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: bounds on generic parameters are not enforced in type aliases
[INFO] [stdout]    --> src/strong/ternary.rs:220:23
[INFO] [stdout]     |
[INFO] [stdout] 220 |     (Cmp) NatCmp(Nat, Nat, Nat, Nat, Nat): Nat {
[INFO] [stdout]     |                       ^^^
[INFO] [stdout]     |
[INFO] [stdout] help: the bound will not be checked when the type alias is used, and should be removed
[INFO] [stdout]     |
[INFO] [stdout] 11  |     [A, B, Nat, Nat, Nat): Nat {
[INFO] [stdout]     |         --
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: bounds on generic parameters are not enforced in type aliases
[INFO] [stdout]    --> src/strong/ternary.rs:220:28
[INFO] [stdout]     |
[INFO] [stdout] 220 |     (Cmp) NatCmp(Nat, Nat, Nat, Nat, Nat): Nat {
[INFO] [stdout]     |                            ^^^
[INFO] [stdout]     |
[INFO] [stdout] help: the bound will not be checked when the type alias is used, and should be removed
[INFO] [stdout]     |
[INFO] [stdout] 11  |     [A, B, C, Nat, Nat): Nat {
[INFO] [stdout]     |            --
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: bounds on generic parameters are not enforced in type aliases
[INFO] [stdout]    --> src/strong/ternary.rs:220:33
[INFO] [stdout]     |
[INFO] [stdout] 220 |     (Cmp) NatCmp(Nat, Nat, Nat, Nat, Nat): Nat {
[INFO] [stdout]     |                                 ^^^
[INFO] [stdout]     |
[INFO] [stdout] help: the bound will not be checked when the type alias is used, and should be removed
[INFO] [stdout]     |
[INFO] [stdout] 11  |     [A, B, C, D, Nat): Nat {
[INFO] [stdout]     |               --
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: bounds on generic parameters are not enforced in type aliases
[INFO] [stdout]    --> src/strong/ternary.rs:220:38
[INFO] [stdout]     |
[INFO] [stdout] 220 |     (Cmp) NatCmp(Nat, Nat, Nat, Nat, Nat): Nat {
[INFO] [stdout]     |                                      ^^^
[INFO] [stdout]     |
[INFO] [stdout] help: the bound will not be checked when the type alias is used, and should be removed
[INFO] [stdout]     |
[INFO] [stdout] 11  |     [A, B, C, D, E): Nat {
[INFO] [stdout]     |                  --
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: bounds on generic parameters are not enforced in type aliases
[INFO] [stdout]    --> src/strong/ternary.rs:247:28
[INFO] [stdout]     |
[INFO] [stdout] 247 |     (UndefOr2) NatUndefOr2(Nat, Nat, NatPair): NatPair {
[INFO] [stdout]     |                            ^^^
[INFO] [stdout]     |
[INFO] [stdout] help: the bound will not be checked when the type alias is used, and should be removed
[INFO] [stdout]     |
[INFO] [stdout] 11  |     [A, Nat, NatPair): NatPair {
[INFO] [stdout]     |      --
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: bounds on generic parameters are not enforced in type aliases
[INFO] [stdout]    --> src/strong/ternary.rs:247:33
[INFO] [stdout]     |
[INFO] [stdout] 247 |     (UndefOr2) NatUndefOr2(Nat, Nat, NatPair): NatPair {
[INFO] [stdout]     |                                 ^^^
[INFO] [stdout]     |
[INFO] [stdout] help: the bound will not be checked when the type alias is used, and should be removed
[INFO] [stdout]     |
[INFO] [stdout] 11  |     [A, B, NatPair): NatPair {
[INFO] [stdout]     |         --
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: bounds on generic parameters are not enforced in type aliases
[INFO] [stdout]    --> src/strong/ternary.rs:247:38
[INFO] [stdout]     |
[INFO] [stdout] 247 |     (UndefOr2) NatUndefOr2(Nat, Nat, NatPair): NatPair {
[INFO] [stdout]     |                                      ^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout] help: the bound will not be checked when the type alias is used, and should be removed
[INFO] [stdout]     |
[INFO] [stdout] 11  |     [A, B, C): NatPair {
[INFO] [stdout]     |            --
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: bounds on generic parameters are not enforced in type aliases
[INFO] [stdout]    --> src/strong/ternary.rs:262:18
[INFO] [stdout]     |
[INFO] [stdout] 262 |     (Rev) NatRev(Nat): Nat {
[INFO] [stdout]     |                  ^^^
[INFO] [stdout]     |
[INFO] [stdout] help: the bound will not be checked when the type alias is used, and should be removed
[INFO] [stdout]     |
[INFO] [stdout] 11  |     [A): Nat {
[INFO] [stdout]     |      --
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: bounds on generic parameters are not enforced in type aliases
[INFO] [stdout]    --> src/strong/ternary.rs:268:34
[INFO] [stdout]     |
[INFO] [stdout] 268 |     (RevInternal) NatRevInternal(Nat, Nat): Nat {
[INFO] [stdout]     |                                  ^^^
[INFO] [stdout]     |
[INFO] [stdout] help: the bound will not be checked when the type alias is used, and should be removed
[INFO] [stdout]     |
[INFO] [stdout] 11  |     [A, Nat): Nat {
[INFO] [stdout]     |      --
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: bounds on generic parameters are not enforced in type aliases
[INFO] [stdout]    --> src/strong/ternary.rs:268:39
[INFO] [stdout]     |
[INFO] [stdout] 268 |     (RevInternal) NatRevInternal(Nat, Nat): Nat {
[INFO] [stdout]     |                                       ^^^
[INFO] [stdout]     |
[INFO] [stdout] help: the bound will not be checked when the type alias is used, and should be removed
[INFO] [stdout]     |
[INFO] [stdout] 11  |     [A, B): Nat {
[INFO] [stdout]     |         --
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: bounds on generic parameters are not enforced in type aliases
[INFO] [stdout]    --> src/strong/ternary.rs:281:18
[INFO] [stdout]     |
[INFO] [stdout] 281 |     (Div) NatDiv(Nat, Nat): Nat {
[INFO] [stdout]     |                  ^^^
[INFO] [stdout]     |
[INFO] [stdout] help: the bound will not be checked when the type alias is used, and should be removed
[INFO] [stdout]     |
[INFO] [stdout] 11  |     [A, Nat): Nat {
[INFO] [stdout]     |      --
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: bounds on generic parameters are not enforced in type aliases
[INFO] [stdout]    --> src/strong/ternary.rs:281:23
[INFO] [stdout]     |
[INFO] [stdout] 281 |     (Div) NatDiv(Nat, Nat): Nat {
[INFO] [stdout]     |                       ^^^
[INFO] [stdout]     |
[INFO] [stdout] help: the bound will not be checked when the type alias is used, and should be removed
[INFO] [stdout]     |
[INFO] [stdout] 11  |     [A, B): Nat {
[INFO] [stdout]     |         --
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: bounds on generic parameters are not enforced in type aliases
[INFO] [stdout]    --> src/strong/ternary.rs:306:18
[INFO] [stdout]     |
[INFO] [stdout] 306 |     (Rem) NatRem(Nat, Nat): Nat {
[INFO] [stdout]     |                  ^^^
[INFO] [stdout]     |
[INFO] [stdout] help: the bound will not be checked when the type alias is used, and should be removed
[INFO] [stdout]     |
[INFO] [stdout] 11  |     [A, Nat): Nat {
[INFO] [stdout]     |      --
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: bounds on generic parameters are not enforced in type aliases
[INFO] [stdout]    --> src/strong/ternary.rs:306:23
[INFO] [stdout]     |
[INFO] [stdout] 306 |     (Rem) NatRem(Nat, Nat): Nat {
[INFO] [stdout]     |                       ^^^
[INFO] [stdout]     |
[INFO] [stdout] help: the bound will not be checked when the type alias is used, and should be removed
[INFO] [stdout]     |
[INFO] [stdout] 11  |     [A, B): Nat {
[INFO] [stdout]     |         --
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: bounds on generic parameters are not enforced in type aliases
[INFO] [stdout]    --> src/strong/ternary.rs:329:34
[INFO] [stdout]     |
[INFO] [stdout] 329 |     (DivInternal) NatDivInternal(Nat, Nat, NatPair): NatPair {
[INFO] [stdout]     |                                  ^^^
[INFO] [stdout]     |
[INFO] [stdout] help: the bound will not be checked when the type alias is used, and should be removed
[INFO] [stdout]     |
[INFO] [stdout] 11  |     [A, Nat, NatPair): NatPair {
[INFO] [stdout]     |      --
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: bounds on generic parameters are not enforced in type aliases
[INFO] [stdout]    --> src/strong/ternary.rs:329:39
[INFO] [stdout]     |
[INFO] [stdout] 329 |     (DivInternal) NatDivInternal(Nat, Nat, NatPair): NatPair {
[INFO] [stdout]     |                                       ^^^
[INFO] [stdout]     |
[INFO] [stdout] help: the bound will not be checked when the type alias is used, and should be removed
[INFO] [stdout]     |
[INFO] [stdout] 11  |     [A, B, NatPair): NatPair {
[INFO] [stdout]     |         --
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: bounds on generic parameters are not enforced in type aliases
[INFO] [stdout]    --> src/strong/ternary.rs:329:44
[INFO] [stdout]     |
[INFO] [stdout] 329 |     (DivInternal) NatDivInternal(Nat, Nat, NatPair): NatPair {
[INFO] [stdout]     |                                            ^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout] help: the bound will not be checked when the type alias is used, and should be removed
[INFO] [stdout]     |
[INFO] [stdout] 11  |     [A, B, C): NatPair {
[INFO] [stdout]     |            --
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: bounds on generic parameters are not enforced in type aliases
[INFO] [stdout]   --> src/strong/balanced.rs:10:24
[INFO] [stdout]    |
[INFO] [stdout] 10 |     (Int2First) Int2P1(IntPair): Int {
[INFO] [stdout]    |                        ^^^^^^^
[INFO] [stdout]    |
[INFO] [stdout] help: the bound will not be checked when the type alias is used, and should be removed
[INFO] [stdout]    |
[INFO] [stdout] 7  |     [A): Int {
[INFO] [stdout]    |      --
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: bounds on generic parameters are not enforced in type aliases
[INFO] [stdout]   --> src/strong/balanced.rs:17:25
[INFO] [stdout]    |
[INFO] [stdout] 17 |     (Int2Second) Int2P2(IntPair): Int {
[INFO] [stdout]    |                         ^^^^^^^
[INFO] [stdout]    |
[INFO] [stdout] help: the bound will not be checked when the type alias is used, and should be removed
[INFO] [stdout]    |
[INFO] [stdout] 7  |     [A): Int {
[INFO] [stdout]    |      --
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: bounds on generic parameters are not enforced in type aliases
[INFO] [stdout]   --> src/strong/balanced.rs:24:20
[INFO] [stdout]    |
[INFO] [stdout] 24 |     (Succ) IntSucc(Int): Int {
[INFO] [stdout]    |                    ^^^
[INFO] [stdout]    |
[INFO] [stdout] help: the bound will not be checked when the type alias is used, and should be removed
[INFO] [stdout]    |
[INFO] [stdout] 7  |     [A): Int {
[INFO] [stdout]    |      --
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: bounds on generic parameters are not enforced in type aliases
[INFO] [stdout]   --> src/strong/balanced.rs:35:20
[INFO] [stdout]    |
[INFO] [stdout] 35 |     (Pred) IntPred(Int): Int {
[INFO] [stdout]    |                    ^^^
[INFO] [stdout]    |
[INFO] [stdout] help: the bound will not be checked when the type alias is used, and should be removed
[INFO] [stdout]    |
[INFO] [stdout] 7  |     [A): Int {
[INFO] [stdout]    |      --
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: bounds on generic parameters are not enforced in type aliases
[INFO] [stdout]   --> src/strong/balanced.rs:49:24
[INFO] [stdout]    |
[INFO] [stdout] 49 |     (Triple) IntTriple(Int): Int {
[INFO] [stdout]    |                        ^^^
[INFO] [stdout]    |
[INFO] [stdout] help: the bound will not be checked when the type alias is used, and should be removed
[INFO] [stdout]    |
[INFO] [stdout] 7  |     [A): Int {
[INFO] [stdout]    |      --
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: bounds on generic parameters are not enforced in type aliases
[INFO] [stdout]   --> src/strong/balanced.rs:62:24
[INFO] [stdout]    |
[INFO] [stdout] 62 |     (IntUnique) Unique(Int): Int {
[INFO] [stdout]    |                        ^^^
[INFO] [stdout]    |
[INFO] [stdout] help: the bound will not be checked when the type alias is used, and should be removed
[INFO] [stdout]    |
[INFO] [stdout] 7  |     [A): Int {
[INFO] [stdout]    |      --
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: bounds on generic parameters are not enforced in type aliases
[INFO] [stdout]   --> src/strong/balanced.rs:80:18
[INFO] [stdout]    |
[INFO] [stdout] 80 |     (Neg) IntNeg(Int): Int {
[INFO] [stdout]    |                  ^^^
[INFO] [stdout]    |
[INFO] [stdout] help: the bound will not be checked when the type alias is used, and should be removed
[INFO] [stdout]    |
[INFO] [stdout] 7  |     [A): Int {
[INFO] [stdout]    |      --
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: bounds on generic parameters are not enforced in type aliases
[INFO] [stdout]   --> src/strong/balanced.rs:94:18
[INFO] [stdout]    |
[INFO] [stdout] 94 |     (Add) IntAdd(Int, Int): Int {
[INFO] [stdout]    |                  ^^^
[INFO] [stdout]    |
[INFO] [stdout] help: the bound will not be checked when the type alias is used, and should be removed
[INFO] [stdout]    |
[INFO] [stdout] 7  |     [A, Int): Int {
[INFO] [stdout]    |      --
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: bounds on generic parameters are not enforced in type aliases
[INFO] [stdout]   --> src/strong/balanced.rs:94:23
[INFO] [stdout]    |
[INFO] [stdout] 94 |     (Add) IntAdd(Int, Int): Int {
[INFO] [stdout]    |                       ^^^
[INFO] [stdout]    |
[INFO] [stdout] help: the bound will not be checked when the type alias is used, and should be removed
[INFO] [stdout]    |
[INFO] [stdout] 7  |     [A, B): Int {
[INFO] [stdout]    |         --
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: bounds on generic parameters are not enforced in type aliases
[INFO] [stdout]    --> src/strong/balanced.rs:127:18
[INFO] [stdout]     |
[INFO] [stdout] 127 |     (Sub) IntSub(Int, Int): Int {
[INFO] [stdout]     |                  ^^^
[INFO] [stdout]     |
[INFO] [stdout] help: the bound will not be checked when the type alias is used, and should be removed
[INFO] [stdout]     |
[INFO] [stdout] 7   |     [A, Int): Int {
[INFO] [stdout]     |      --
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: bounds on generic parameters are not enforced in type aliases
[INFO] [stdout]    --> src/strong/balanced.rs:127:23
[INFO] [stdout]     |
[INFO] [stdout] 127 |     (Sub) IntSub(Int, Int): Int {
[INFO] [stdout]     |                       ^^^
[INFO] [stdout]     |
[INFO] [stdout] help: the bound will not be checked when the type alias is used, and should be removed
[INFO] [stdout]     |
[INFO] [stdout] 7   |     [A, B): Int {
[INFO] [stdout]     |         --
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: bounds on generic parameters are not enforced in type aliases
[INFO] [stdout]    --> src/strong/balanced.rs:160:18
[INFO] [stdout]     |
[INFO] [stdout] 160 |     (Mul) IntMul(Int, Int): Int {
[INFO] [stdout]     |                  ^^^
[INFO] [stdout]     |
[INFO] [stdout] help: the bound will not be checked when the type alias is used, and should be removed
[INFO] [stdout]     |
[INFO] [stdout] 7   |     [A, Int): Int {
[INFO] [stdout]     |      --
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: bounds on generic parameters are not enforced in type aliases
[INFO] [stdout]    --> src/strong/balanced.rs:160:23
[INFO] [stdout]     |
[INFO] [stdout] 160 |     (Mul) IntMul(Int, Int): Int {
[INFO] [stdout]     |                       ^^^
[INFO] [stdout]     |
[INFO] [stdout] help: the bound will not be checked when the type alias is used, and should be removed
[INFO] [stdout]     |
[INFO] [stdout] 7   |     [A, B): Int {
[INFO] [stdout]     |         --
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: bounds on generic parameters are not enforced in type aliases
[INFO] [stdout]    --> src/strong/balanced.rs:196:18
[INFO] [stdout]     |
[INFO] [stdout] 196 |     (Cmp) IntCmp(Int, Int, Int, Int, Int): Int {
[INFO] [stdout]     |                  ^^^
[INFO] [stdout]     |
[INFO] [stdout] help: the bound will not be checked when the type alias is used, and should be removed
[INFO] [stdout]     |
[INFO] [stdout] 7   |     [A, Int, Int, Int, Int): Int {
[INFO] [stdout]     |      --
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: bounds on generic parameters are not enforced in type aliases
[INFO] [stdout]    --> src/strong/balanced.rs:196:23
[INFO] [stdout]     |
[INFO] [stdout] 196 |     (Cmp) IntCmp(Int, Int, Int, Int, Int): Int {
[INFO] [stdout]     |                       ^^^
[INFO] [stdout]     |
[INFO] [stdout] help: the bound will not be checked when the type alias is used, and should be removed
[INFO] [stdout]     |
[INFO] [stdout] 7   |     [A, B, Int, Int, Int): Int {
[INFO] [stdout]     |         --
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: bounds on generic parameters are not enforced in type aliases
[INFO] [stdout]    --> src/strong/balanced.rs:196:28
[INFO] [stdout]     |
[INFO] [stdout] 196 |     (Cmp) IntCmp(Int, Int, Int, Int, Int): Int {
[INFO] [stdout]     |                            ^^^
[INFO] [stdout]     |
[INFO] [stdout] help: the bound will not be checked when the type alias is used, and should be removed
[INFO] [stdout]     |
[INFO] [stdout] 7   |     [A, B, C, Int, Int): Int {
[INFO] [stdout]     |            --
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: bounds on generic parameters are not enforced in type aliases
[INFO] [stdout]    --> src/strong/balanced.rs:196:33
[INFO] [stdout]     |
[INFO] [stdout] 196 |     (Cmp) IntCmp(Int, Int, Int, Int, Int): Int {
[INFO] [stdout]     |                                 ^^^
[INFO] [stdout]     |
[INFO] [stdout] help: the bound will not be checked when the type alias is used, and should be removed
[INFO] [stdout]     |
[INFO] [stdout] 7   |     [A, B, C, D, Int): Int {
[INFO] [stdout]     |               --
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: bounds on generic parameters are not enforced in type aliases
[INFO] [stdout]    --> src/strong/balanced.rs:196:38
[INFO] [stdout]     |
[INFO] [stdout] 196 |     (Cmp) IntCmp(Int, Int, Int, Int, Int): Int {
[INFO] [stdout]     |                                      ^^^
[INFO] [stdout]     |
[INFO] [stdout] help: the bound will not be checked when the type alias is used, and should be removed
[INFO] [stdout]     |
[INFO] [stdout] 7   |     [A, B, C, D, E): Int {
[INFO] [stdout]     |                  --
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: bounds on generic parameters are not enforced in type aliases
[INFO] [stdout]    --> src/strong/balanced.rs:223:20
[INFO] [stdout]     |
[INFO] [stdout] 223 |     (Cmp2) IntCmp2(Int, Int, IntPair, IntPair, IntPair): IntPair {
[INFO] [stdout]     |                    ^^^
[INFO] [stdout]     |
[INFO] [stdout] help: the bound will not be checked when the type alias is used, and should be removed
[INFO] [stdout]     |
[INFO] [stdout] 7   |     [A, Int, IntPair, IntPair, IntPair): IntPair {
[INFO] [stdout]     |      --
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: bounds on generic parameters are not enforced in type aliases
[INFO] [stdout]    --> src/strong/balanced.rs:223:25
[INFO] [stdout]     |
[INFO] [stdout] 223 |     (Cmp2) IntCmp2(Int, Int, IntPair, IntPair, IntPair): IntPair {
[INFO] [stdout]     |                         ^^^
[INFO] [stdout]     |
[INFO] [stdout] help: the bound will not be checked when the type alias is used, and should be removed
[INFO] [stdout]     |
[INFO] [stdout] 7   |     [A, B, IntPair, IntPair, IntPair): IntPair {
[INFO] [stdout]     |         --
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: bounds on generic parameters are not enforced in type aliases
[INFO] [stdout]    --> src/strong/balanced.rs:223:30
[INFO] [stdout]     |
[INFO] [stdout] 223 |     (Cmp2) IntCmp2(Int, Int, IntPair, IntPair, IntPair): IntPair {
[INFO] [stdout]     |                              ^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout] help: the bound will not be checked when the type alias is used, and should be removed
[INFO] [stdout]     |
[INFO] [stdout] 7   |     [A, B, C, IntPair, IntPair): IntPair {
[INFO] [stdout]     |            --
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: bounds on generic parameters are not enforced in type aliases
[INFO] [stdout]    --> src/strong/balanced.rs:223:39
[INFO] [stdout]     |
[INFO] [stdout] 223 |     (Cmp2) IntCmp2(Int, Int, IntPair, IntPair, IntPair): IntPair {
[INFO] [stdout]     |                                       ^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout] help: the bound will not be checked when the type alias is used, and should be removed
[INFO] [stdout]     |
[INFO] [stdout] 7   |     [A, B, C, D, IntPair): IntPair {
[INFO] [stdout]     |               --
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: bounds on generic parameters are not enforced in type aliases
[INFO] [stdout]    --> src/strong/balanced.rs:223:48
[INFO] [stdout]     |
[INFO] [stdout] 223 |     (Cmp2) IntCmp2(Int, Int, IntPair, IntPair, IntPair): IntPair {
[INFO] [stdout]     |                                                ^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout] help: the bound will not be checked when the type alias is used, and should be removed
[INFO] [stdout]     |
[INFO] [stdout] 7   |     [A, B, C, D, E): IntPair {
[INFO] [stdout]     |                  --
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: bounds on generic parameters are not enforced in type aliases
[INFO] [stdout]    --> src/strong/balanced.rs:248:24
[INFO] [stdout]     |
[INFO] [stdout] 248 |     (LteCmp) IntLteCmp(Int, Int, Int, Int): Int {
[INFO] [stdout]     |                        ^^^
[INFO] [stdout]     |
[INFO] [stdout] help: the bound will not be checked when the type alias is used, and should be removed
[INFO] [stdout]     |
[INFO] [stdout] 7   |     [A, Int, Int, Int): Int {
[INFO] [stdout]     |      --
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: bounds on generic parameters are not enforced in type aliases
[INFO] [stdout]    --> src/strong/balanced.rs:248:29
[INFO] [stdout]     |
[INFO] [stdout] 248 |     (LteCmp) IntLteCmp(Int, Int, Int, Int): Int {
[INFO] [stdout]     |                             ^^^
[INFO] [stdout]     |
[INFO] [stdout] help: the bound will not be checked when the type alias is used, and should be removed
[INFO] [stdout]     |
[INFO] [stdout] 7   |     [A, B, Int, Int): Int {
[INFO] [stdout]     |         --
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: bounds on generic parameters are not enforced in type aliases
[INFO] [stdout]    --> src/strong/balanced.rs:248:34
[INFO] [stdout]     |
[INFO] [stdout] 248 |     (LteCmp) IntLteCmp(Int, Int, Int, Int): Int {
[INFO] [stdout]     |                                  ^^^
[INFO] [stdout]     |
[INFO] [stdout] help: the bound will not be checked when the type alias is used, and should be removed
[INFO] [stdout]     |
[INFO] [stdout] 7   |     [A, B, C, Int): Int {
[INFO] [stdout]     |            --
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: bounds on generic parameters are not enforced in type aliases
[INFO] [stdout]    --> src/strong/balanced.rs:248:39
[INFO] [stdout]     |
[INFO] [stdout] 248 |     (LteCmp) IntLteCmp(Int, Int, Int, Int): Int {
[INFO] [stdout]     |                                       ^^^
[INFO] [stdout]     |
[INFO] [stdout] help: the bound will not be checked when the type alias is used, and should be removed
[INFO] [stdout]     |
[INFO] [stdout] 7   |     [A, B, C, D): Int {
[INFO] [stdout]     |               --
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: bounds on generic parameters are not enforced in type aliases
[INFO] [stdout]    --> src/strong/balanced.rs:254:26
[INFO] [stdout]     |
[INFO] [stdout] 254 |     (LteCmp2) IntLteCmp2(Int, Int, IntPair, IntPair): IntPair {
[INFO] [stdout]     |                          ^^^
[INFO] [stdout]     |
[INFO] [stdout] help: the bound will not be checked when the type alias is used, and should be removed
[INFO] [stdout]     |
[INFO] [stdout] 7   |     [A, Int, IntPair, IntPair): IntPair {
[INFO] [stdout]     |      --
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: bounds on generic parameters are not enforced in type aliases
[INFO] [stdout]    --> src/strong/balanced.rs:254:31
[INFO] [stdout]     |
[INFO] [stdout] 254 |     (LteCmp2) IntLteCmp2(Int, Int, IntPair, IntPair): IntPair {
[INFO] [stdout]     |                               ^^^
[INFO] [stdout]     |
[INFO] [stdout] help: the bound will not be checked when the type alias is used, and should be removed
[INFO] [stdout]     |
[INFO] [stdout] 7   |     [A, B, IntPair, IntPair): IntPair {
[INFO] [stdout]     |         --
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: bounds on generic parameters are not enforced in type aliases
[INFO] [stdout]    --> src/strong/balanced.rs:254:36
[INFO] [stdout]     |
[INFO] [stdout] 254 |     (LteCmp2) IntLteCmp2(Int, Int, IntPair, IntPair): IntPair {
[INFO] [stdout]     |                                    ^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout] help: the bound will not be checked when the type alias is used, and should be removed
[INFO] [stdout]     |
[INFO] [stdout] 7   |     [A, B, C, IntPair): IntPair {
[INFO] [stdout]     |            --
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: bounds on generic parameters are not enforced in type aliases
[INFO] [stdout]    --> src/strong/balanced.rs:254:45
[INFO] [stdout]     |
[INFO] [stdout] 254 |     (LteCmp2) IntLteCmp2(Int, Int, IntPair, IntPair): IntPair {
[INFO] [stdout]     |                                             ^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout] help: the bound will not be checked when the type alias is used, and should be removed
[INFO] [stdout]     |
[INFO] [stdout] 7   |     [A, B, C, D): IntPair {
[INFO] [stdout]     |               --
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: bounds on generic parameters are not enforced in type aliases
[INFO] [stdout]    --> src/strong/balanced.rs:261:18
[INFO] [stdout]     |
[INFO] [stdout] 261 |     (Abs) IntAbs(Int): Int {
[INFO] [stdout]     |                  ^^^
[INFO] [stdout]     |
[INFO] [stdout] help: the bound will not be checked when the type alias is used, and should be removed
[INFO] [stdout]     |
[INFO] [stdout] 7   |     [A): Int {
[INFO] [stdout]     |      --
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: bounds on generic parameters are not enforced in type aliases
[INFO] [stdout]    --> src/strong/balanced.rs:273:40
[INFO] [stdout]     |
[INFO] [stdout] 273 |     (AbsMinThreeCmp) IntAbsMinThreeCmp(Int, Int, Int, Int, Int, Int): IntPair {
[INFO] [stdout]     |                                        ^^^
[INFO] [stdout]     |
[INFO] [stdout] help: the bound will not be checked when the type alias is used, and should be removed
[INFO] [stdout]     |
[INFO] [stdout] 7   |     [A, Int, Int, Int, Int, Int): IntPair {
[INFO] [stdout]     |      --
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: bounds on generic parameters are not enforced in type aliases
[INFO] [stdout]    --> src/strong/balanced.rs:273:45
[INFO] [stdout]     |
[INFO] [stdout] 273 |     (AbsMinThreeCmp) IntAbsMinThreeCmp(Int, Int, Int, Int, Int, Int): IntPair {
[INFO] [stdout]     |                                             ^^^
[INFO] [stdout]     |
[INFO] [stdout] help: the bound will not be checked when the type alias is used, and should be removed
[INFO] [stdout]     |
[INFO] [stdout] 7   |     [A, B, Int, Int, Int, Int): IntPair {
[INFO] [stdout]     |         --
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: bounds on generic parameters are not enforced in type aliases
[INFO] [stdout]    --> src/strong/balanced.rs:273:50
[INFO] [stdout]     |
[INFO] [stdout] 273 |     (AbsMinThreeCmp) IntAbsMinThreeCmp(Int, Int, Int, Int, Int, Int): IntPair {
[INFO] [stdout]     |                                                  ^^^
[INFO] [stdout]     |
[INFO] [stdout] help: the bound will not be checked when the type alias is used, and should be removed
[INFO] [stdout]     |
[INFO] [stdout] 7   |     [A, B, C, Int, Int, Int): IntPair {
[INFO] [stdout]     |            --
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: bounds on generic parameters are not enforced in type aliases
[INFO] [stdout]    --> src/strong/balanced.rs:273:55
[INFO] [stdout]     |
[INFO] [stdout] 273 |     (AbsMinThreeCmp) IntAbsMinThreeCmp(Int, Int, Int, Int, Int, Int): IntPair {
[INFO] [stdout]     |                                                       ^^^
[INFO] [stdout]     |
[INFO] [stdout] help: the bound will not be checked when the type alias is used, and should be removed
[INFO] [stdout]     |
[INFO] [stdout] 7   |     [A, B, C, D, Int, Int): IntPair {
[INFO] [stdout]     |               --
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: bounds on generic parameters are not enforced in type aliases
[INFO] [stdout]    --> src/strong/balanced.rs:273:60
[INFO] [stdout]     |
[INFO] [stdout] 273 |     (AbsMinThreeCmp) IntAbsMinThreeCmp(Int, Int, Int, Int, Int, Int): IntPair {
[INFO] [stdout]     |                                                            ^^^
[INFO] [stdout]     |
[INFO] [stdout] help: the bound will not be checked when the type alias is used, and should be removed
[INFO] [stdout]     |
[INFO] [stdout] 7   |     [A, B, C, D, E, Int): IntPair {
[INFO] [stdout]     |                  --
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: bounds on generic parameters are not enforced in type aliases
[INFO] [stdout]    --> src/strong/balanced.rs:273:65
[INFO] [stdout]     |
[INFO] [stdout] 273 |     (AbsMinThreeCmp) IntAbsMinThreeCmp(Int, Int, Int, Int, Int, Int): IntPair {
[INFO] [stdout]     |                                                                 ^^^
[INFO] [stdout]     |
[INFO] [stdout] help: the bound will not be checked when the type alias is used, and should be removed
[INFO] [stdout]     |
[INFO] [stdout] 7   |     [A, B, C, D, E, F): IntPair {
[INFO] [stdout]     |                     --
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: bounds on generic parameters are not enforced in type aliases
[INFO] [stdout]    --> src/strong/balanced.rs:284:18
[INFO] [stdout]     |
[INFO] [stdout] 284 |     (Rev) IntRev(Int): Int {
[INFO] [stdout]     |                  ^^^
[INFO] [stdout]     |
[INFO] [stdout] help: the bound will not be checked when the type alias is used, and should be removed
[INFO] [stdout]     |
[INFO] [stdout] 7   |     [A): Int {
[INFO] [stdout]     |      --
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: bounds on generic parameters are not enforced in type aliases
[INFO] [stdout]    --> src/strong/balanced.rs:290:34
[INFO] [stdout]     |
[INFO] [stdout] 290 |     (RevInternal) IntRevInternal(Int, Int): Int {
[INFO] [stdout]     |                                  ^^^
[INFO] [stdout]     |
[INFO] [stdout] help: the bound will not be checked when the type alias is used, and should be removed
[INFO] [stdout]     |
[INFO] [stdout] 7   |     [A, Int): Int {
[INFO] [stdout]     |      --
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: bounds on generic parameters are not enforced in type aliases
[INFO] [stdout]    --> src/strong/balanced.rs:290:39
[INFO] [stdout]     |
[INFO] [stdout] 290 |     (RevInternal) IntRevInternal(Int, Int): Int {
[INFO] [stdout]     |                                       ^^^
[INFO] [stdout]     |
[INFO] [stdout] help: the bound will not be checked when the type alias is used, and should be removed
[INFO] [stdout]     |
[INFO] [stdout] 7   |     [A, B): Int {
[INFO] [stdout]     |         --
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: bounds on generic parameters are not enforced in type aliases
[INFO] [stdout]    --> src/strong/balanced.rs:302:18
[INFO] [stdout]     |
[INFO] [stdout] 302 |     (Div) IntDiv(Int, Int): Int {
[INFO] [stdout]     |                  ^^^
[INFO] [stdout]     |
[INFO] [stdout] help: the bound will not be checked when the type alias is used, and should be removed
[INFO] [stdout]     |
[INFO] [stdout] 7   |     [A, Int): Int {
[INFO] [stdout]     |      --
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: bounds on generic parameters are not enforced in type aliases
[INFO] [stdout]    --> src/strong/balanced.rs:302:23
[INFO] [stdout]     |
[INFO] [stdout] 302 |     (Div) IntDiv(Int, Int): Int {
[INFO] [stdout]     |                       ^^^
[INFO] [stdout]     |
[INFO] [stdout] help: the bound will not be checked when the type alias is used, and should be removed
[INFO] [stdout]     |
[INFO] [stdout] 7   |     [A, B): Int {
[INFO] [stdout]     |         --
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: bounds on generic parameters are not enforced in type aliases
[INFO] [stdout]    --> src/strong/balanced.rs:326:18
[INFO] [stdout]     |
[INFO] [stdout] 326 |     (Rem) IntRem(Int, Int): Int {
[INFO] [stdout]     |                  ^^^
[INFO] [stdout]     |
[INFO] [stdout] help: the bound will not be checked when the type alias is used, and should be removed
[INFO] [stdout]     |
[INFO] [stdout] 7   |     [A, Int): Int {
[INFO] [stdout]     |      --
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: bounds on generic parameters are not enforced in type aliases
[INFO] [stdout]    --> src/strong/balanced.rs:326:23
[INFO] [stdout]     |
[INFO] [stdout] 326 |     (Rem) IntRem(Int, Int): Int {
[INFO] [stdout]     |                       ^^^
[INFO] [stdout]     |
[INFO] [stdout] help: the bound will not be checked when the type alias is used, and should be removed
[INFO] [stdout]     |
[INFO] [stdout] 7   |     [A, B): Int {
[INFO] [stdout]     |         --
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: bounds on generic parameters are not enforced in type aliases
[INFO] [stdout]    --> src/strong/balanced.rs:349:34
[INFO] [stdout]     |
[INFO] [stdout] 349 |     (DivInternal) IntDivInternal(Int, Int, IntPair): IntPair {
[INFO] [stdout]     |                                  ^^^
[INFO] [stdout]     |
[INFO] [stdout] help: the bound will not be checked when the type alias is used, and should be removed
[INFO] [stdout]     |
[INFO] [stdout] 7   |     [A, Int, IntPair): IntPair {
[INFO] [stdout]     |      --
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: bounds on generic parameters are not enforced in type aliases
[INFO] [stdout]    --> src/strong/balanced.rs:349:39
[INFO] [stdout]     |
[INFO] [stdout] 349 |     (DivInternal) IntDivInternal(Int, Int, IntPair): IntPair {
[INFO] [stdout]     |                                       ^^^
[INFO] [stdout]     |
[INFO] [stdout] help: the bound will not be checked when the type alias is used, and should be removed
[INFO] [stdout]     |
[INFO] [stdout] 7   |     [A, B, IntPair): IntPair {
[INFO] [stdout]     |         --
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: bounds on generic parameters are not enforced in type aliases
[INFO] [stdout]    --> src/strong/balanced.rs:349:44
[INFO] [stdout]     |
[INFO] [stdout] 349 |     (DivInternal) IntDivInternal(Int, Int, IntPair): IntPair {
[INFO] [stdout]     |                                            ^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout] help: the bound will not be checked when the type alias is used, and should be removed
[INFO] [stdout]     |
[INFO] [stdout] 7   |     [A, B, C): IntPair {
[INFO] [stdout]     |            --
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: 91 warnings emitted
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: bounds on generic parameters are not enforced in type aliases
[INFO] [stdout]  --> src/strong/boolean.rs:9:19
[INFO] [stdout]   |
[INFO] [stdout] 9 |     (And) BoolAnd(Bool, Bool): Bool {
[INFO] [stdout]   |                   ^^^^
[INFO] [stdout]   |
[INFO] [stdout]   = note: `#[warn(type_alias_bounds)]` on by default
[INFO] [stdout] help: the bound will not be checked when the type alias is used, and should be removed
[INFO] [stdout]   |
[INFO] [stdout] 6 |     [A, Bool): Bool {
[INFO] [stdout]   |      --
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: bounds on generic parameters are not enforced in type aliases
[INFO] [stdout]  --> src/strong/boolean.rs:9:25
[INFO] [stdout]   |
[INFO] [stdout] 9 |     (And) BoolAnd(Bool, Bool): Bool {
[INFO] [stdout]   |                         ^^^^
[INFO] [stdout]   |
[INFO] [stdout] help: the bound will not be checked when the type alias is used, and should be removed
[INFO] [stdout]   |
[INFO] [stdout] 6 |     [A, B): Bool {
[INFO] [stdout]   |         --
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: bounds on generic parameters are not enforced in type aliases
[INFO] [stdout]   --> src/strong/boolean.rs:17:17
[INFO] [stdout]    |
[INFO] [stdout] 17 |     (Or) BoolOr(Bool, Bool): Bool {
[INFO] [stdout]    |                 ^^^^
[INFO] [stdout]    |
[INFO] [stdout] help: the bound will not be checked when the type alias is used, and should be removed
[INFO] [stdout]    |
[INFO] [stdout] 6  |     [A, Bool): Bool {
[INFO] [stdout]    |      --
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: bounds on generic parameters are not enforced in type aliases
[INFO] [stdout]   --> src/strong/boolean.rs:17:23
[INFO] [stdout]    |
[INFO] [stdout] 17 |     (Or) BoolOr(Bool, Bool): Bool {
[INFO] [stdout]    |                       ^^^^
[INFO] [stdout]    |
[INFO] [stdout] help: the bound will not be checked when the type alias is used, and should be removed
[INFO] [stdout]    |
[INFO] [stdout] 6  |     [A, B): Bool {
[INFO] [stdout]    |         --
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: bounds on generic parameters are not enforced in type aliases
[INFO] [stdout]   --> src/strong/boolean.rs:26:25
[INFO] [stdout]    |
[INFO] [stdout] 26 |     (IfThen) BoolIfThen(Bool, Bool): Bool {
[INFO] [stdout]    |                         ^^^^
[INFO] [stdout]    |
[INFO] [stdout] help: the bound will not be checked when the type alias is used, and should be removed
[INFO] [stdout]    |
[INFO] [stdout] 6  |     [A, Bool): Bool {
[INFO] [stdout]    |      --
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: bounds on generic parameters are not enforced in type aliases
[INFO] [stdout]   --> src/strong/boolean.rs:26:31
[INFO] [stdout]    |
[INFO] [stdout] 26 |     (IfThen) BoolIfThen(Bool, Bool): Bool {
[INFO] [stdout]    |                               ^^^^
[INFO] [stdout]    |
[INFO] [stdout] help: the bound will not be checked when the type alias is used, and should be removed
[INFO] [stdout]    |
[INFO] [stdout] 6  |     [A, B): Bool {
[INFO] [stdout]    |         --
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: bounds on generic parameters are not enforced in type aliases
[INFO] [stdout]   --> src/strong/boolean.rs:35:25
[INFO] [stdout]    |
[INFO] [stdout] 35 |     (OnlyIf) BoolOnlyIf(Bool, Bool): Bool {
[INFO] [stdout]    |                         ^^^^
[INFO] [stdout]    |
[INFO] [stdout] help: the bound will not be checked when the type alias is used, and should be removed
[INFO] [stdout]    |
[INFO] [stdout] 6  |     [A, Bool): Bool {
[INFO] [stdout]    |      --
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: bounds on generic parameters are not enforced in type aliases
[INFO] [stdout]   --> src/strong/boolean.rs:35:31
[INFO] [stdout]    |
[INFO] [stdout] 35 |     (OnlyIf) BoolOnlyIf(Bool, Bool): Bool {
[INFO] [stdout]    |                               ^^^^
[INFO] [stdout]    |
[INFO] [stdout] help: the bound will not be checked when the type alias is used, and should be removed
[INFO] [stdout]    |
[INFO] [stdout] 6  |     [A, B): Bool {
[INFO] [stdout]    |         --
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: bounds on generic parameters are not enforced in type aliases
[INFO] [stdout]   --> src/strong/boolean.rs:43:19
[INFO] [stdout]    |
[INFO] [stdout] 43 |     (Xor) BoolXor(Bool, Bool): Bool {
[INFO] [stdout]    |                   ^^^^
[INFO] [stdout]    |
[INFO] [stdout] help: the bound will not be checked when the type alias is used, and should be removed
[INFO] [stdout]    |
[INFO] [stdout] 6  |     [A, Bool): Bool {
[INFO] [stdout]    |      --
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: bounds on generic parameters are not enforced in type aliases
[INFO] [stdout]   --> src/strong/boolean.rs:43:25
[INFO] [stdout]    |
[INFO] [stdout] 43 |     (Xor) BoolXor(Bool, Bool): Bool {
[INFO] [stdout]    |                         ^^^^
[INFO] [stdout]    |
[INFO] [stdout] help: the bound will not be checked when the type alias is used, and should be removed
[INFO] [stdout]    |
[INFO] [stdout] 6  |     [A, B): Bool {
[INFO] [stdout]    |         --
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: bounds on generic parameters are not enforced in type aliases
[INFO] [stdout]   --> src/strong/ternary.rs:14:24
[INFO] [stdout]    |
[INFO] [stdout] 14 |     (Nat2First) Nat2P1(NatPair): Nat {
[INFO] [stdout]    |                        ^^^^^^^
[INFO] [stdout]    |
[INFO] [stdout] help: the bound will not be checked when the type alias is used, and should be removed
[INFO] [stdout]    |
[INFO] [stdout] 11 |     [A): Nat {
[INFO] [stdout]    |      --
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: bounds on generic parameters are not enforced in type aliases
[INFO] [stdout]   --> src/strong/ternary.rs:21:25
[INFO] [stdout]    |
[INFO] [stdout] 21 |     (Nat2Second) Nat2P2(NatPair): Nat {
[INFO] [stdout]    |                         ^^^^^^^
[INFO] [stdout]    |
[INFO] [stdout] help: the bound will not be checked when the type alias is used, and should be removed
[INFO] [stdout]    |
[INFO] [stdout] 11 |     [A): Nat {
[INFO] [stdout]    |      --
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: bounds on generic parameters are not enforced in type aliases
[INFO] [stdout]   --> src/strong/ternary.rs:29:20
[INFO] [stdout]    |
[INFO] [stdout] 29 |     (Succ) NatSucc(Nat): Nat {
[INFO] [stdout]    |                    ^^^
[INFO] [stdout]    |
[INFO] [stdout] help: the bound will not be checked when the type alias is used, and should be removed
[INFO] [stdout]    |
[INFO] [stdout] 11 |     [A): Nat {
[INFO] [stdout]    |      --
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: bounds on generic parameters are not enforced in type aliases
[INFO] [stdout]   --> src/strong/ternary.rs:41:20
[INFO] [stdout]    |
[INFO] [stdout] 41 |     (Pred) NatPred(Nat): Nat {
[INFO] [stdout]    |                    ^^^
[INFO] [stdout]    |
[INFO] [stdout] help: the bound will not be checked when the type alias is used, and should be removed
[INFO] [stdout]    |
[INFO] [stdout] 11 |     [A): Nat {
[INFO] [stdout]    |      --
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: bounds on generic parameters are not enforced in type aliases
[INFO] [stdout]   --> src/strong/ternary.rs:53:32
[INFO] [stdout]    |
[INFO] [stdout] 53 |     (DoublePred) NatDoublePred(Nat): Nat {
[INFO] [stdout]    |                                ^^^
[INFO] [stdout]    |
[INFO] [stdout] help: the bound will not be checked when the type alias is used, and should be removed
[INFO] [stdout]    |
[INFO] [stdout] 11 |     [A): Nat {
[INFO] [stdout]    |      --
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: bounds on generic parameters are not enforced in type aliases
[INFO] [stdout]   --> src/strong/ternary.rs:68:24
[INFO] [stdout]    |
[INFO] [stdout] 68 |     (Triple) NatTriple(Nat): Nat {
[INFO] [stdout]    |                        ^^^
[INFO] [stdout]    |
[INFO] [stdout] help: the bound will not be checked when the type alias is used, and should be removed
[INFO] [stdout]    |
[INFO] [stdout] 11 |     [A): Nat {
[INFO] [stdout]    |      --
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: bounds on generic parameters are not enforced in type aliases
[INFO] [stdout]   --> src/strong/ternary.rs:81:24
[INFO] [stdout]    |
[INFO] [stdout] 81 |     (Unique) NatUnique(Nat): Nat {
[INFO] [stdout]    |                        ^^^
[INFO] [stdout]    |
[INFO] [stdout] help: the bound will not be checked when the type alias is used, and should be removed
[INFO] [stdout]    |
[INFO] [stdout] 11 |     [A): Nat {
[INFO] [stdout]    |      --
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: bounds on generic parameters are not enforced in type aliases
[INFO] [stdout]   --> src/strong/ternary.rs:95:18
[INFO] [stdout]    |
[INFO] [stdout] 95 |     (Add) NatAdd(Nat, Nat): Nat {
[INFO] [stdout]    |                  ^^^
[INFO] [stdout]    |
[INFO] [stdout] help: the bound will not be checked when the type alias is used, and should be removed
[INFO] [stdout]    |
[INFO] [stdout] 11 |     [A, Nat): Nat {
[INFO] [stdout]    |      --
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: bounds on generic parameters are not enforced in type aliases
[INFO] [stdout]   --> src/strong/ternary.rs:95:23
[INFO] [stdout]    |
[INFO] [stdout] 95 |     (Add) NatAdd(Nat, Nat): Nat {
[INFO] [stdout]    |                       ^^^
[INFO] [stdout]    |
[INFO] [stdout] help: the bound will not be checked when the type alias is used, and should be removed
[INFO] [stdout]    |
[INFO] [stdout] 11 |     [A, B): Nat {
[INFO] [stdout]    |         --
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: bounds on generic parameters are not enforced in type aliases
[INFO] [stdout]    --> src/strong/ternary.rs:128:38
[INFO] [stdout]     |
[INFO] [stdout] 128 |     (TriplePlusOne) NatTriplePlusOne(Nat): Nat {
[INFO] [stdout]     |                                      ^^^
[INFO] [stdout]     |
[INFO] [stdout] help: the bound will not be checked when the type alias is used, and should be removed
[INFO] [stdout]     |
[INFO] [stdout] 11  |     [A): Nat {
[INFO] [stdout]     |      --
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: bounds on generic parameters are not enforced in type aliases
[INFO] [stdout]    --> src/strong/ternary.rs:139:38
[INFO] [stdout]     |
[INFO] [stdout] 139 |     (TriplePlusTwo) NatTriplePlusTwo(Nat): Nat {
[INFO] [stdout]     |                                      ^^^
[INFO] [stdout]     |
[INFO] [stdout] help: the bound will not be checked when the type alias is used, and should be removed
[INFO] [stdout]     |
[INFO] [stdout] 11  |     [A): Nat {
[INFO] [stdout]     |      --
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: bounds on generic parameters are not enforced in type aliases
[INFO] [stdout]    --> src/strong/ternary.rs:152:18
[INFO] [stdout]     |
[INFO] [stdout] 152 |     (Sub) NatSub(Nat, Nat): Nat {
[INFO] [stdout]     |                  ^^^
[INFO] [stdout]     |
[INFO] [stdout] help: the bound will not be checked when the type alias is used, and should be removed
[INFO] [stdout]     |
[INFO] [stdout] 11  |     [A, Nat): Nat {
[INFO] [stdout]     |      --
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: bounds on generic parameters are not enforced in type aliases
[INFO] [stdout]    --> src/strong/ternary.rs:152:23
[INFO] [stdout]     |
[INFO] [stdout] 152 |     (Sub) NatSub(Nat, Nat): Nat {
[INFO] [stdout]     |                       ^^^
[INFO] [stdout]     |
[INFO] [stdout] help: the bound will not be checked when the type alias is used, and should be removed
[INFO] [stdout]     |
[INFO] [stdout] 11  |     [A, B): Nat {
[INFO] [stdout]     |         --
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: bounds on generic parameters are not enforced in type aliases
[INFO] [stdout]    --> src/strong/ternary.rs:185:18
[INFO] [stdout]     |
[INFO] [stdout] 185 |     (Mul) NatMul(Nat, Nat): Nat {
[INFO] [stdout]     |                  ^^^
[INFO] [stdout]     |
[INFO] [stdout] help: the bound will not be checked when the type alias is used, and should be removed
[INFO] [stdout]     |
[INFO] [stdout] 11  |     [A, Nat): Nat {
[INFO] [stdout]     |      --
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: bounds on generic parameters are not enforced in type aliases
[INFO] [stdout]    --> src/strong/ternary.rs:185:23
[INFO] [stdout]     |
[INFO] [stdout] 185 |     (Mul) NatMul(Nat, Nat): Nat {
[INFO] [stdout]     |                       ^^^
[INFO] [stdout]     |
[INFO] [stdout] help: the bound will not be checked when the type alias is used, and should be removed
[INFO] [stdout]     |
[INFO] [stdout] 11  |     [A, B): Nat {
[INFO] [stdout]     |         --
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: bounds on generic parameters are not enforced in type aliases
[INFO] [stdout]    --> src/strong/ternary.rs:220:18
[INFO] [stdout]     |
[INFO] [stdout] 220 |     (Cmp) NatCmp(Nat, Nat, Nat, Nat, Nat): Nat {
[INFO] [stdout]     |                  ^^^
[INFO] [stdout]     |
[INFO] [stdout] help: the bound will not be checked when the type alias is used, and should be removed
[INFO] [stdout]     |
[INFO] [stdout] 11  |     [A, Nat, Nat, Nat, Nat): Nat {
[INFO] [stdout]     |      --
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: bounds on generic parameters are not enforced in type aliases
[INFO] [stdout]    --> src/strong/ternary.rs:220:23
[INFO] [stdout]     |
[INFO] [stdout] 220 |     (Cmp) NatCmp(Nat, Nat, Nat, Nat, Nat): Nat {
[INFO] [stdout]     |                       ^^^
[INFO] [stdout]     |
[INFO] [stdout] help: the bound will not be checked when the type alias is used, and should be removed
[INFO] [stdout]     |
[INFO] [stdout] 11  |     [A, B, Nat, Nat, Nat): Nat {
[INFO] [stdout]     |         --
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: bounds on generic parameters are not enforced in type aliases
[INFO] [stdout]    --> src/strong/ternary.rs:220:28
[INFO] [stdout]     |
[INFO] [stdout] 220 |     (Cmp) NatCmp(Nat, Nat, Nat, Nat, Nat): Nat {
[INFO] [stdout]     |                            ^^^
[INFO] [stdout]     |
[INFO] [stdout] help: the bound will not be checked when the type alias is used, and should be removed
[INFO] [stdout]     |
[INFO] [stdout] 11  |     [A, B, C, Nat, Nat): Nat {
[INFO] [stdout]     |            --
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: bounds on generic parameters are not enforced in type aliases
[INFO] [stdout]    --> src/strong/ternary.rs:220:33
[INFO] [stdout]     |
[INFO] [stdout] 220 |     (Cmp) NatCmp(Nat, Nat, Nat, Nat, Nat): Nat {
[INFO] [stdout]     |                                 ^^^
[INFO] [stdout]     |
[INFO] [stdout] help: the bound will not be checked when the type alias is used, and should be removed
[INFO] [stdout]     |
[INFO] [stdout] 11  |     [A, B, C, D, Nat): Nat {
[INFO] [stdout]     |               --
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: bounds on generic parameters are not enforced in type aliases
[INFO] [stdout]    --> src/strong/ternary.rs:220:38
[INFO] [stdout]     |
[INFO] [stdout] 220 |     (Cmp) NatCmp(Nat, Nat, Nat, Nat, Nat): Nat {
[INFO] [stdout]     |                                      ^^^
[INFO] [stdout]     |
[INFO] [stdout] help: the bound will not be checked when the type alias is used, and should be removed
[INFO] [stdout]     |
[INFO] [stdout] 11  |     [A, B, C, D, E): Nat {
[INFO] [stdout]     |                  --
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: bounds on generic parameters are not enforced in type aliases
[INFO] [stdout]    --> src/strong/ternary.rs:247:28
[INFO] [stdout]     |
[INFO] [stdout] 247 |     (UndefOr2) NatUndefOr2(Nat, Nat, NatPair): NatPair {
[INFO] [stdout]     |                            ^^^
[INFO] [stdout]     |
[INFO] [stdout] help: the bound will not be checked when the type alias is used, and should be removed
[INFO] [stdout]     |
[INFO] [stdout] 11  |     [A, Nat, NatPair): NatPair {
[INFO] [stdout]     |      --
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: bounds on generic parameters are not enforced in type aliases
[INFO] [stdout]    --> src/strong/ternary.rs:247:33
[INFO] [stdout]     |
[INFO] [stdout] 247 |     (UndefOr2) NatUndefOr2(Nat, Nat, NatPair): NatPair {
[INFO] [stdout]     |                                 ^^^
[INFO] [stdout]     |
[INFO] [stdout] help: the bound will not be checked when the type alias is used, and should be removed
[INFO] [stdout]     |
[INFO] [stdout] 11  |     [A, B, NatPair): NatPair {
[INFO] [stdout]     |         --
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: bounds on generic parameters are not enforced in type aliases
[INFO] [stdout]    --> src/strong/ternary.rs:247:38
[INFO] [stdout]     |
[INFO] [stdout] 247 |     (UndefOr2) NatUndefOr2(Nat, Nat, NatPair): NatPair {
[INFO] [stdout]     |                                      ^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout] help: the bound will not be checked when the type alias is used, and should be removed
[INFO] [stdout]     |
[INFO] [stdout] 11  |     [A, B, C): NatPair {
[INFO] [stdout]     |            --
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: bounds on generic parameters are not enforced in type aliases
[INFO] [stdout]    --> src/strong/ternary.rs:262:18
[INFO] [stdout]     |
[INFO] [stdout] 262 |     (Rev) NatRev(Nat): Nat {
[INFO] [stdout]     |                  ^^^
[INFO] [stdout]     |
[INFO] [stdout] help: the bound will not be checked when the type alias is used, and should be removed
[INFO] [stdout]     |
[INFO] [stdout] 11  |     [A): Nat {
[INFO] [stdout]     |      --
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: bounds on generic parameters are not enforced in type aliases
[INFO] [stdout]    --> src/strong/ternary.rs:268:34
[INFO] [stdout]     |
[INFO] [stdout] 268 |     (RevInternal) NatRevInternal(Nat, Nat): Nat {
[INFO] [stdout]     |                                  ^^^
[INFO] [stdout]     |
[INFO] [stdout] help: the bound will not be checked when the type alias is used, and should be removed
[INFO] [stdout]     |
[INFO] [stdout] 11  |     [A, Nat): Nat {
[INFO] [stdout]     |      --
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: bounds on generic parameters are not enforced in type aliases
[INFO] [stdout]    --> src/strong/ternary.rs:268:39
[INFO] [stdout]     |
[INFO] [stdout] 268 |     (RevInternal) NatRevInternal(Nat, Nat): Nat {
[INFO] [stdout]     |                                       ^^^
[INFO] [stdout]     |
[INFO] [stdout] help: the bound will not be checked when the type alias is used, and should be removed
[INFO] [stdout]     |
[INFO] [stdout] 11  |     [A, B): Nat {
[INFO] [stdout]     |         --
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: bounds on generic parameters are not enforced in type aliases
[INFO] [stdout]    --> src/strong/ternary.rs:281:18
[INFO] [stdout]     |
[INFO] [stdout] 281 |     (Div) NatDiv(Nat, Nat): Nat {
[INFO] [stdout]     |                  ^^^
[INFO] [stdout]     |
[INFO] [stdout] help: the bound will not be checked when the type alias is used, and should be removed
[INFO] [stdout]     |
[INFO] [stdout] 11  |     [A, Nat): Nat {
[INFO] [stdout]     |      --
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: bounds on generic parameters are not enforced in type aliases
[INFO] [stdout]    --> src/strong/ternary.rs:281:23
[INFO] [stdout]     |
[INFO] [stdout] 281 |     (Div) NatDiv(Nat, Nat): Nat {
[INFO] [stdout]     |                       ^^^
[INFO] [stdout]     |
[INFO] [stdout] help: the bound will not be checked when the type alias is used, and should be removed
[INFO] [stdout]     |
[INFO] [stdout] 11  |     [A, B): Nat {
[INFO] [stdout]     |         --
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: bounds on generic parameters are not enforced in type aliases
[INFO] [stdout]    --> src/strong/ternary.rs:306:18
[INFO] [stdout]     |
[INFO] [stdout] 306 |     (Rem) NatRem(Nat, Nat): Nat {
[INFO] [stdout]     |                  ^^^
[INFO] [stdout]     |
[INFO] [stdout] help: the bound will not be checked when the type alias is used, and should be removed
[INFO] [stdout]     |
[INFO] [stdout] 11  |     [A, Nat): Nat {
[INFO] [stdout]     |      --
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: bounds on generic parameters are not enforced in type aliases
[INFO] [stdout]    --> src/strong/ternary.rs:306:23
[INFO] [stdout]     |
[INFO] [stdout] 306 |     (Rem) NatRem(Nat, Nat): Nat {
[INFO] [stdout]     |                       ^^^
[INFO] [stdout]     |
[INFO] [stdout] help: the bound will not be checked when the type alias is used, and should be removed
[INFO] [stdout]     |
[INFO] [stdout] 11  |     [A, B): Nat {
[INFO] [stdout]     |         --
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: bounds on generic parameters are not enforced in type aliases
[INFO] [stdout]    --> src/strong/ternary.rs:329:34
[INFO] [stdout]     |
[INFO] [stdout] 329 |     (DivInternal) NatDivInternal(Nat, Nat, NatPair): NatPair {
[INFO] [stdout]     |                                  ^^^
[INFO] [stdout]     |
[INFO] [stdout] help: the bound will not be checked when the type alias is used, and should be removed
[INFO] [stdout]     |
[INFO] [stdout] 11  |     [A, Nat, NatPair): NatPair {
[INFO] [stdout]     |      --
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: bounds on generic parameters are not enforced in type aliases
[INFO] [stdout]    --> src/strong/ternary.rs:329:39
[INFO] [stdout]     |
[INFO] [stdout] 329 |     (DivInternal) NatDivInternal(Nat, Nat, NatPair): NatPair {
[INFO] [stdout]     |                                       ^^^
[INFO] [stdout]     |
[INFO] [stdout] help: the bound will not be checked when the type alias is used, and should be removed
[INFO] [stdout]     |
[INFO] [stdout] 11  |     [A, B, NatPair): NatPair {
[INFO] [stdout]     |         --
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: bounds on generic parameters are not enforced in type aliases
[INFO] [stdout]    --> src/strong/ternary.rs:329:44
[INFO] [stdout]     |
[INFO] [stdout] 329 |     (DivInternal) NatDivInternal(Nat, Nat, NatPair): NatPair {
[INFO] [stdout]     |                                            ^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout] help: the bound will not be checked when the type alias is used, and should be removed
[INFO] [stdout]     |
[INFO] [stdout] 11  |     [A, B, C): NatPair {
[INFO] [stdout]     |            --
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: bounds on generic parameters are not enforced in type aliases
[INFO] [stdout]   --> src/strong/balanced.rs:10:24
[INFO] [stdout]    |
[INFO] [stdout] 10 |     (Int2First) Int2P1(IntPair): Int {
[INFO] [stdout]    |                        ^^^^^^^
[INFO] [stdout]    |
[INFO] [stdout] help: the bound will not be checked when the type alias is used, and should be removed
[INFO] [stdout]    |
[INFO] [stdout] 7  |     [A): Int {
[INFO] [stdout]    |      --
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: bounds on generic parameters are not enforced in type aliases
[INFO] [stdout]   --> src/strong/balanced.rs:17:25
[INFO] [stdout]    |
[INFO] [stdout] 17 |     (Int2Second) Int2P2(IntPair): Int {
[INFO] [stdout]    |                         ^^^^^^^
[INFO] [stdout]    |
[INFO] [stdout] help: the bound will not be checked when the type alias is used, and should be removed
[INFO] [stdout]    |
[INFO] [stdout] 7  |     [A): Int {
[INFO] [stdout]    |      --
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: bounds on generic parameters are not enforced in type aliases
[INFO] [stdout]   --> src/strong/balanced.rs:24:20
[INFO] [stdout]    |
[INFO] [stdout] 24 |     (Succ) IntSucc(Int): Int {
[INFO] [stdout]    |                    ^^^
[INFO] [stdout]    |
[INFO] [stdout] help: the bound will not be checked when the type alias is used, and should be removed
[INFO] [stdout]    |
[INFO] [stdout] 7  |     [A): Int {
[INFO] [stdout]    |      --
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: bounds on generic parameters are not enforced in type aliases
[INFO] [stdout]   --> src/strong/balanced.rs:35:20
[INFO] [stdout]    |
[INFO] [stdout] 35 |     (Pred) IntPred(Int): Int {
[INFO] [stdout]    |                    ^^^
[INFO] [stdout]    |
[INFO] [stdout] help: the bound will not be checked when the type alias is used, and should be removed
[INFO] [stdout]    |
[INFO] [stdout] 7  |     [A): Int {
[INFO] [stdout]    |      --
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: bounds on generic parameters are not enforced in type aliases
[INFO] [stdout]   --> src/strong/balanced.rs:49:24
[INFO] [stdout]    |
[INFO] [stdout] 49 |     (Triple) IntTriple(Int): Int {
[INFO] [stdout]    |                        ^^^
[INFO] [stdout]    |
[INFO] [stdout] help: the bound will not be checked when the type alias is used, and should be removed
[INFO] [stdout]    |
[INFO] [stdout] 7  |     [A): Int {
[INFO] [stdout]    |      --
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: bounds on generic parameters are not enforced in type aliases
[INFO] [stdout]   --> src/strong/balanced.rs:62:24
[INFO] [stdout]    |
[INFO] [stdout] 62 |     (IntUnique) Unique(Int): Int {
[INFO] [stdout]    |                        ^^^
[INFO] [stdout]    |
[INFO] [stdout] help: the bound will not be checked when the type alias is used, and should be removed
[INFO] [stdout]    |
[INFO] [stdout] 7  |     [A): Int {
[INFO] [stdout]    |      --
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: bounds on generic parameters are not enforced in type aliases
[INFO] [stdout]   --> src/strong/balanced.rs:80:18
[INFO] [stdout]    |
[INFO] [stdout] 80 |     (Neg) IntNeg(Int): Int {
[INFO] [stdout]    |                  ^^^
[INFO] [stdout]    |
[INFO] [stdout] help: the bound will not be checked when the type alias is used, and should be removed
[INFO] [stdout]    |
[INFO] [stdout] 7  |     [A): Int {
[INFO] [stdout]    |      --
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: bounds on generic parameters are not enforced in type aliases
[INFO] [stdout]   --> src/strong/balanced.rs:94:18
[INFO] [stdout]    |
[INFO] [stdout] 94 |     (Add) IntAdd(Int, Int): Int {
[INFO] [stdout]    |                  ^^^
[INFO] [stdout]    |
[INFO] [stdout] help: the bound will not be checked when the type alias is used, and should be removed
[INFO] [stdout]    |
[INFO] [stdout] 7  |     [A, Int): Int {
[INFO] [stdout]    |      --
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: bounds on generic parameters are not enforced in type aliases
[INFO] [stdout]   --> src/strong/balanced.rs:94:23
[INFO] [stdout]    |
[INFO] [stdout] 94 |     (Add) IntAdd(Int, Int): Int {
[INFO] [stdout]    |                       ^^^
[INFO] [stdout]    |
[INFO] [stdout] help: the bound will not be checked when the type alias is used, and should be removed
[INFO] [stdout]    |
[INFO] [stdout] 7  |     [A, B): Int {
[INFO] [stdout]    |         --
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: bounds on generic parameters are not enforced in type aliases
[INFO] [stdout]    --> src/strong/balanced.rs:127:18
[INFO] [stdout]     |
[INFO] [stdout] 127 |     (Sub) IntSub(Int, Int): Int {
[INFO] [stdout]     |                  ^^^
[INFO] [stdout]     |
[INFO] [stdout] help: the bound will not be checked when the type alias is used, and should be removed
[INFO] [stdout]     |
[INFO] [stdout] 7   |     [A, Int): Int {
[INFO] [stdout]     |      --
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: bounds on generic parameters are not enforced in type aliases
[INFO] [stdout]    --> src/strong/balanced.rs:127:23
[INFO] [stdout]     |
[INFO] [stdout] 127 |     (Sub) IntSub(Int, Int): Int {
[INFO] [stdout]     |                       ^^^
[INFO] [stdout]     |
[INFO] [stdout] help: the bound will not be checked when the type alias is used, and should be removed
[INFO] [stdout]     |
[INFO] [stdout] 7   |     [A, B): Int {
[INFO] [stdout]     |         --
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: bounds on generic parameters are not enforced in type aliases
[INFO] [stdout]    --> src/strong/balanced.rs:160:18
[INFO] [stdout]     |
[INFO] [stdout] 160 |     (Mul) IntMul(Int, Int): Int {
[INFO] [stdout]     |                  ^^^
[INFO] [stdout]     |
[INFO] [stdout] help: the bound will not be checked when the type alias is used, and should be removed
[INFO] [stdout]     |
[INFO] [stdout] 7   |     [A, Int): Int {
[INFO] [stdout]     |      --
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: bounds on generic parameters are not enforced in type aliases
[INFO] [stdout]    --> src/strong/balanced.rs:160:23
[INFO] [stdout]     |
[INFO] [stdout] 160 |     (Mul) IntMul(Int, Int): Int {
[INFO] [stdout]     |                       ^^^
[INFO] [stdout]     |
[INFO] [stdout] help: the bound will not be checked when the type alias is used, and should be removed
[INFO] [stdout]     |
[INFO] [stdout] 7   |     [A, B): Int {
[INFO] [stdout]     |         --
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: bounds on generic parameters are not enforced in type aliases
[INFO] [stdout]    --> src/strong/balanced.rs:196:18
[INFO] [stdout]     |
[INFO] [stdout] 196 |     (Cmp) IntCmp(Int, Int, Int, Int, Int): Int {
[INFO] [stdout]     |                  ^^^
[INFO] [stdout]     |
[INFO] [stdout] help: the bound will not be checked when the type alias is used, and should be removed
[INFO] [stdout]     |
[INFO] [stdout] 7   |     [A, Int, Int, Int, Int): Int {
[INFO] [stdout]     |      --
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: bounds on generic parameters are not enforced in type aliases
[INFO] [stdout]    --> src/strong/balanced.rs:196:23
[INFO] [stdout]     |
[INFO] [stdout] 196 |     (Cmp) IntCmp(Int, Int, Int, Int, Int): Int {
[INFO] [stdout]     |                       ^^^
[INFO] [stdout]     |
[INFO] [stdout] help: the bound will not be checked when the type alias is used, and should be removed
[INFO] [stdout]     |
[INFO] [stdout] 7   |     [A, B, Int, Int, Int): Int {
[INFO] [stdout]     |         --
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: bounds on generic parameters are not enforced in type aliases
[INFO] [stdout]    --> src/strong/balanced.rs:196:28
[INFO] [stdout]     |
[INFO] [stdout] 196 |     (Cmp) IntCmp(Int, Int, Int, Int, Int): Int {
[INFO] [stdout]     |                            ^^^
[INFO] [stdout]     |
[INFO] [stdout] help: the bound will not be checked when the type alias is used, and should be removed
[INFO] [stdout]     |
[INFO] [stdout] 7   |     [A, B, C, Int, Int): Int {
[INFO] [stdout]     |            --
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: bounds on generic parameters are not enforced in type aliases
[INFO] [stdout]    --> src/strong/balanced.rs:196:33
[INFO] [stdout]     |
[INFO] [stdout] 196 |     (Cmp) IntCmp(Int, Int, Int, Int, Int): Int {
[INFO] [stdout]     |                                 ^^^
[INFO] [stdout]     |
[INFO] [stdout] help: the bound will not be checked when the type alias is used, and should be removed
[INFO] [stdout]     |
[INFO] [stdout] 7   |     [A, B, C, D, Int): Int {
[INFO] [stdout]     |               --
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: bounds on generic parameters are not enforced in type aliases
[INFO] [stdout]    --> src/strong/balanced.rs:196:38
[INFO] [stdout]     |
[INFO] [stdout] 196 |     (Cmp) IntCmp(Int, Int, Int, Int, Int): Int {
[INFO] [stdout]     |                                      ^^^
[INFO] [stdout]     |
[INFO] [stdout] help: the bound will not be checked when the type alias is used, and should be removed
[INFO] [stdout]     |
[INFO] [stdout] 7   |     [A, B, C, D, E): Int {
[INFO] [stdout]     |                  --
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: bounds on generic parameters are not enforced in type aliases
[INFO] [stdout]    --> src/strong/balanced.rs:223:20
[INFO] [stdout]     |
[INFO] [stdout] 223 |     (Cmp2) IntCmp2(Int, Int, IntPair, IntPair, IntPair): IntPair {
[INFO] [stdout]     |                    ^^^
[INFO] [stdout]     |
[INFO] [stdout] help: the bound will not be checked when the type alias is used, and should be removed
[INFO] [stdout]     |
[INFO] [stdout] 7   |     [A, Int, IntPair, IntPair, IntPair): IntPair {
[INFO] [stdout]     |      --
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: bounds on generic parameters are not enforced in type aliases
[INFO] [stdout]    --> src/strong/balanced.rs:223:25
[INFO] [stdout]     |
[INFO] [stdout] 223 |     (Cmp2) IntCmp2(Int, Int, IntPair, IntPair, IntPair): IntPair {
[INFO] [stdout]     |                         ^^^
[INFO] [stdout]     |
[INFO] [stdout] help: the bound will not be checked when the type alias is used, and should be removed
[INFO] [stdout]     |
[INFO] [stdout] 7   |     [A, B, IntPair, IntPair, IntPair): IntPair {
[INFO] [stdout]     |         --
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: bounds on generic parameters are not enforced in type aliases
[INFO] [stdout]    --> src/strong/balanced.rs:223:30
[INFO] [stdout]     |
[INFO] [stdout] 223 |     (Cmp2) IntCmp2(Int, Int, IntPair, IntPair, IntPair): IntPair {
[INFO] [stdout]     |                              ^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout] help: the bound will not be checked when the type alias is used, and should be removed
[INFO] [stdout]     |
[INFO] [stdout] 7   |     [A, B, C, IntPair, IntPair): IntPair {
[INFO] [stdout]     |            --
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: bounds on generic parameters are not enforced in type aliases
[INFO] [stdout]    --> src/strong/balanced.rs:223:39
[INFO] [stdout]     |
[INFO] [stdout] 223 |     (Cmp2) IntCmp2(Int, Int, IntPair, IntPair, IntPair): IntPair {
[INFO] [stdout]     |                                       ^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout] help: the bound will not be checked when the type alias is used, and should be removed
[INFO] [stdout]     |
[INFO] [stdout] 7   |     [A, B, C, D, IntPair): IntPair {
[INFO] [stdout]     |               --
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: bounds on generic parameters are not enforced in type aliases
[INFO] [stdout]    --> src/strong/balanced.rs:223:48
[INFO] [stdout]     |
[INFO] [stdout] 223 |     (Cmp2) IntCmp2(Int, Int, IntPair, IntPair, IntPair): IntPair {
[INFO] [stdout]     |                                                ^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout] help: the bound will not be checked when the type alias is used, and should be removed
[INFO] [stdout]     |
[INFO] [stdout] 7   |     [A, B, C, D, E): IntPair {
[INFO] [stdout]     |                  --
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: bounds on generic parameters are not enforced in type aliases
[INFO] [stdout]    --> src/strong/balanced.rs:248:24
[INFO] [stdout]     |
[INFO] [stdout] 248 |     (LteCmp) IntLteCmp(Int, Int, Int, Int): Int {
[INFO] [stdout]     |                        ^^^
[INFO] [stdout]     |
[INFO] [stdout] help: the bound will not be checked when the type alias is used, and should be removed
[INFO] [stdout]     |
[INFO] [stdout] 7   |     [A, Int, Int, Int): Int {
[INFO] [stdout]     |      --
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: bounds on generic parameters are not enforced in type aliases
[INFO] [stdout]    --> src/strong/balanced.rs:248:29
[INFO] [stdout]     |
[INFO] [stdout] 248 |     (LteCmp) IntLteCmp(Int, Int, Int, Int): Int {
[INFO] [stdout]     |                             ^^^
[INFO] [stdout]     |
[INFO] [stdout] help: the bound will not be checked when the type alias is used, and should be removed
[INFO] [stdout]     |
[INFO] [stdout] 7   |     [A, B, Int, Int): Int {
[INFO] [stdout]     |         --
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: bounds on generic parameters are not enforced in type aliases
[INFO] [stdout]    --> src/strong/balanced.rs:248:34
[INFO] [stdout]     |
[INFO] [stdout] 248 |     (LteCmp) IntLteCmp(Int, Int, Int, Int): Int {
[INFO] [stdout]     |                                  ^^^
[INFO] [stdout]     |
[INFO] [stdout] help: the bound will not be checked when the type alias is used, and should be removed
[INFO] [stdout]     |
[INFO] [stdout] 7   |     [A, B, C, Int): Int {
[INFO] [stdout]     |            --
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: bounds on generic parameters are not enforced in type aliases
[INFO] [stdout]    --> src/strong/balanced.rs:248:39
[INFO] [stdout]     |
[INFO] [stdout] 248 |     (LteCmp) IntLteCmp(Int, Int, Int, Int): Int {
[INFO] [stdout]     |                                       ^^^
[INFO] [stdout]     |
[INFO] [stdout] help: the bound will not be checked when the type alias is used, and should be removed
[INFO] [stdout]     |
[INFO] [stdout] 7   |     [A, B, C, D): Int {
[INFO] [stdout]     |               --
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: bounds on generic parameters are not enforced in type aliases
[INFO] [stdout]    --> src/strong/balanced.rs:254:26
[INFO] [stdout]     |
[INFO] [stdout] 254 |     (LteCmp2) IntLteCmp2(Int, Int, IntPair, IntPair): IntPair {
[INFO] [stdout]     |                          ^^^
[INFO] [stdout]     |
[INFO] [stdout] help: the bound will not be checked when the type alias is used, and should be removed
[INFO] [stdout]     |
[INFO] [stdout] 7   |     [A, Int, IntPair, IntPair): IntPair {
[INFO] [stdout]     |      --
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: bounds on generic parameters are not enforced in type aliases
[INFO] [stdout]    --> src/strong/balanced.rs:254:31
[INFO] [stdout]     |
[INFO] [stdout] 254 |     (LteCmp2) IntLteCmp2(Int, Int, IntPair, IntPair): IntPair {
[INFO] [stdout]     |                               ^^^
[INFO] [stdout]     |
[INFO] [stdout] help: the bound will not be checked when the type alias is used, and should be removed
[INFO] [stdout]     |
[INFO] [stdout] 7   |     [A, B, IntPair, IntPair): IntPair {
[INFO] [stdout]     |         --
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: bounds on generic parameters are not enforced in type aliases
[INFO] [stdout]    --> src/strong/balanced.rs:254:36
[INFO] [stdout]     |
[INFO] [stdout] 254 |     (LteCmp2) IntLteCmp2(Int, Int, IntPair, IntPair): IntPair {
[INFO] [stdout]     |                                    ^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout] help: the bound will not be checked when the type alias is used, and should be removed
[INFO] [stdout]     |
[INFO] [stdout] 7   |     [A, B, C, IntPair): IntPair {
[INFO] [stdout]     |            --
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: bounds on generic parameters are not enforced in type aliases
[INFO] [stdout]    --> src/strong/balanced.rs:254:45
[INFO] [stdout]     |
[INFO] [stdout] 254 |     (LteCmp2) IntLteCmp2(Int, Int, IntPair, IntPair): IntPair {
[INFO] [stdout]     |                                             ^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout] help: the bound will not be checked when the type alias is used, and should be removed
[INFO] [stdout]     |
[INFO] [stdout] 7   |     [A, B, C, D): IntPair {
[INFO] [stdout]     |               --
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: bounds on generic parameters are not enforced in type aliases
[INFO] [stdout]    --> src/strong/balanced.rs:261:18
[INFO] [stdout]     |
[INFO] [stdout] 261 |     (Abs) IntAbs(Int): Int {
[INFO] [stdout]     |                  ^^^
[INFO] [stdout]     |
[INFO] [stdout] help: the bound will not be checked when the type alias is used, and should be removed
[INFO] [stdout]     |
[INFO] [stdout] 7   |     [A): Int {
[INFO] [stdout]     |      --
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: bounds on generic parameters are not enforced in type aliases
[INFO] [stdout]    --> src/strong/balanced.rs:273:40
[INFO] [stdout]     |
[INFO] [stdout] 273 |     (AbsMinThreeCmp) IntAbsMinThreeCmp(Int, Int, Int, Int, Int, Int): IntPair {
[INFO] [stdout]     |                                        ^^^
[INFO] [stdout]     |
[INFO] [stdout] help: the bound will not be checked when the type alias is used, and should be removed
[INFO] [stdout]     |
[INFO] [stdout] 7   |     [A, Int, Int, Int, Int, Int): IntPair {
[INFO] [stdout]     |      --
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: bounds on generic parameters are not enforced in type aliases
[INFO] [stdout]    --> src/strong/balanced.rs:273:45
[INFO] [stdout]     |
[INFO] [stdout] 273 |     (AbsMinThreeCmp) IntAbsMinThreeCmp(Int, Int, Int, Int, Int, Int): IntPair {
[INFO] [stdout]     |                                             ^^^
[INFO] [stdout]     |
[INFO] [stdout] help: the bound will not be checked when the type alias is used, and should be removed
[INFO] [stdout]     |
[INFO] [stdout] 7   |     [A, B, Int, Int, Int, Int): IntPair {
[INFO] [stdout]     |         --
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: bounds on generic parameters are not enforced in type aliases
[INFO] [stdout]    --> src/strong/balanced.rs:273:50
[INFO] [stdout]     |
[INFO] [stdout] 273 |     (AbsMinThreeCmp) IntAbsMinThreeCmp(Int, Int, Int, Int, Int, Int): IntPair {
[INFO] [stdout]     |                                                  ^^^
[INFO] [stdout]     |
[INFO] [stdout] help: the bound will not be checked when the type alias is used, and should be removed
[INFO] [stdout]     |
[INFO] [stdout] 7   |     [A, B, C, Int, Int, Int): IntPair {
[INFO] [stdout]     |            --
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: bounds on generic parameters are not enforced in type aliases
[INFO] [stdout]    --> src/strong/balanced.rs:273:55
[INFO] [stdout]     |
[INFO] [stdout] 273 |     (AbsMinThreeCmp) IntAbsMinThreeCmp(Int, Int, Int, Int, Int, Int): IntPair {
[INFO] [stdout]     |                                                       ^^^
[INFO] [stdout]     |
[INFO] [stdout] help: the bound will not be checked when the type alias is used, and should be removed
[INFO] [stdout]     |
[INFO] [stdout] 7   |     [A, B, C, D, Int, Int): IntPair {
[INFO] [stdout]     |               --
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: bounds on generic parameters are not enforced in type aliases
[INFO] [stdout]    --> src/strong/balanced.rs:273:60
[INFO] [stdout]     |
[INFO] [stdout] 273 |     (AbsMinThreeCmp) IntAbsMinThreeCmp(Int, Int, Int, Int, Int, Int): IntPair {
[INFO] [stdout]     |                                                            ^^^
[INFO] [stdout]     |
[INFO] [stdout] help: the bound will not be checked when the type alias is used, and should be removed
[INFO] [stdout]     |
[INFO] [stdout] 7   |     [A, B, C, D, E, Int): IntPair {
[INFO] [stdout]     |                  --
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: bounds on generic parameters are not enforced in type aliases
[INFO] [stdout]    --> src/strong/balanced.rs:273:65
[INFO] [stdout]     |
[INFO] [stdout] 273 |     (AbsMinThreeCmp) IntAbsMinThreeCmp(Int, Int, Int, Int, Int, Int): IntPair {
[INFO] [stdout]     |                                                                 ^^^
[INFO] [stdout]     |
[INFO] [stdout] help: the bound will not be checked when the type alias is used, and should be removed
[INFO] [stdout]     |
[INFO] [stdout] 7   |     [A, B, C, D, E, F): IntPair {
[INFO] [stdout]     |                     --
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: bounds on generic parameters are not enforced in type aliases
[INFO] [stdout]    --> src/strong/balanced.rs:284:18
[INFO] [stdout]     |
[INFO] [stdout] 284 |     (Rev) IntRev(Int): Int {
[INFO] [stdout]     |                  ^^^
[INFO] [stdout]     |
[INFO] [stdout] help: the bound will not be checked when the type alias is used, and should be removed
[INFO] [stdout]     |
[INFO] [stdout] 7   |     [A): Int {
[INFO] [stdout]     |      --
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: bounds on generic parameters are not enforced in type aliases
[INFO] [stdout]    --> src/strong/balanced.rs:290:34
[INFO] [stdout]     |
[INFO] [stdout] 290 |     (RevInternal) IntRevInternal(Int, Int): Int {
[INFO] [stdout]     |                                  ^^^
[INFO] [stdout]     |
[INFO] [stdout] help: the bound will not be checked when the type alias is used, and should be removed
[INFO] [stdout]     |
[INFO] [stdout] 7   |     [A, Int): Int {
[INFO] [stdout]     |      --
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: bounds on generic parameters are not enforced in type aliases
[INFO] [stdout]    --> src/strong/balanced.rs:290:39
[INFO] [stdout]     |
[INFO] [stdout] 290 |     (RevInternal) IntRevInternal(Int, Int): Int {
[INFO] [stdout]     |                                       ^^^
[INFO] [stdout]     |
[INFO] [stdout] help: the bound will not be checked when the type alias is used, and should be removed
[INFO] [stdout]     |
[INFO] [stdout] 7   |     [A, B): Int {
[INFO] [stdout]     |         --
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: bounds on generic parameters are not enforced in type aliases
[INFO] [stdout]    --> src/strong/balanced.rs:302:18
[INFO] [stdout]     |
[INFO] [stdout] 302 |     (Div) IntDiv(Int, Int): Int {
[INFO] [stdout]     |                  ^^^
[INFO] [stdout]     |
[INFO] [stdout] help: the bound will not be checked when the type alias is used, and should be removed
[INFO] [stdout]     |
[INFO] [stdout] 7   |     [A, Int): Int {
[INFO] [stdout]     |      --
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: bounds on generic parameters are not enforced in type aliases
[INFO] [stdout]    --> src/strong/balanced.rs:302:23
[INFO] [stdout]     |
[INFO] [stdout] 302 |     (Div) IntDiv(Int, Int): Int {
[INFO] [stdout]     |                       ^^^
[INFO] [stdout]     |
[INFO] [stdout] help: the bound will not be checked when the type alias is used, and should be removed
[INFO] [stdout]     |
[INFO] [stdout] 7   |     [A, B): Int {
[INFO] [stdout]     |         --
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: bounds on generic parameters are not enforced in type aliases
[INFO] [stdout]    --> src/strong/balanced.rs:326:18
[INFO] [stdout]     |
[INFO] [stdout] 326 |     (Rem) IntRem(Int, Int): Int {
[INFO] [stdout]     |                  ^^^
[INFO] [stdout]     |
[INFO] [stdout] help: the bound will not be checked when the type alias is used, and should be removed
[INFO] [stdout]     |
[INFO] [stdout] 7   |     [A, Int): Int {
[INFO] [stdout]     |      --
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: bounds on generic parameters are not enforced in type aliases
[INFO] [stdout]    --> src/strong/balanced.rs:326:23
[INFO] [stdout]     |
[INFO] [stdout] 326 |     (Rem) IntRem(Int, Int): Int {
[INFO] [stdout]     |                       ^^^
[INFO] [stdout]     |
[INFO] [stdout] help: the bound will not be checked when the type alias is used, and should be removed
[INFO] [stdout]     |
[INFO] [stdout] 7   |     [A, B): Int {
[INFO] [stdout]     |         --
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: bounds on generic parameters are not enforced in type aliases
[INFO] [stdout]    --> src/strong/balanced.rs:349:34
[INFO] [stdout]     |
[INFO] [stdout] 349 |     (DivInternal) IntDivInternal(Int, Int, IntPair): IntPair {
[INFO] [stdout]     |                                  ^^^
[INFO] [stdout]     |
[INFO] [stdout] help: the bound will not be checked when the type alias is used, and should be removed
[INFO] [stdout]     |
[INFO] [stdout] 7   |     [A, Int, IntPair): IntPair {
[INFO] [stdout]     |      --
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: bounds on generic parameters are not enforced in type aliases
[INFO] [stdout]    --> src/strong/balanced.rs:349:39
[INFO] [stdout]     |
[INFO] [stdout] 349 |     (DivInternal) IntDivInternal(Int, Int, IntPair): IntPair {
[INFO] [stdout]     |                                       ^^^
[INFO] [stdout]     |
[INFO] [stdout] help: the bound will not be checked when the type alias is used, and should be removed
[INFO] [stdout]     |
[INFO] [stdout] 7   |     [A, B, IntPair): IntPair {
[INFO] [stdout]     |         --
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: bounds on generic parameters are not enforced in type aliases
[INFO] [stdout]    --> src/strong/balanced.rs:349:44
[INFO] [stdout]     |
[INFO] [stdout] 349 |     (DivInternal) IntDivInternal(Int, Int, IntPair): IntPair {
[INFO] [stdout]     |                                            ^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout] help: the bound will not be checked when the type alias is used, and should be removed
[INFO] [stdout]     |
[INFO] [stdout] 7   |     [A, B, C): IntPair {
[INFO] [stdout]     |            --
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: 91 warnings emitted
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stderr]     Finished test [unoptimized + debuginfo] target(s) in 2.25s
[INFO] running `Command { std: "docker" "inspect" "f0ded643ae4fa45188ae1f19f1b27ad06e299e23eb4ae87d11a2e68339182835", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "f0ded643ae4fa45188ae1f19f1b27ad06e299e23eb4ae87d11a2e68339182835", kill_on_drop: false }`
[INFO] [stdout] f0ded643ae4fa45188ae1f19f1b27ad06e299e23eb4ae87d11a2e68339182835
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-13/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-13/source:/opt/rustwide/workdir:ro,Z" "-v" "/var/lib/crater-agent-workspace/cargo-home:/opt/rustwide/cargo-home:ro,Z" "-v" "/var/lib/crater-agent-workspace/rustup-home:/opt/rustwide/rustup-home:ro,Z" "-e" "SOURCE_DIR=/opt/rustwide/workdir" "-e" "CARGO_TARGET_DIR=/opt/rustwide/target" "-e" "CARGO_INCREMENTAL=0" "-e" "RUST_BACKTRACE=full" "-e" "RUSTFLAGS=--cap-lints=warn" "-e" "CARGO_HOME=/opt/rustwide/cargo-home" "-e" "RUSTUP_HOME=/opt/rustwide/rustup-home" "-w" "/opt/rustwide/workdir" "-m" "1610612736" "--user" "0:0" "--network" "none" "rustops/crates-build-env@sha256:d92eaeed33fa75130ca1ee6c8a01d1ffb62bac859dfdfb3450e3e5d1c0146529" "/opt/rustwide/cargo-home/bin/cargo" "+1.47.0" "test" "--frozen", kill_on_drop: false }`
[INFO] [stdout] d039fa2fdbb9c8a91ec62037ac0cbe7c861fd2da2c6d0c23737b3f7ca7dc3ee5
[INFO] [stderr] WARNING: Your kernel does not support swap limit capabilities or the cgroup is not mounted. Memory limited without swap.
[INFO] running `Command { std: "docker" "start" "-a" "d039fa2fdbb9c8a91ec62037ac0cbe7c861fd2da2c6d0c23737b3f7ca7dc3ee5", kill_on_drop: false }`
[INFO] [stderr] warning: bounds on generic parameters are not enforced in type aliases
[INFO] [stderr]  --> src/strong/boolean.rs:9:19
[INFO] [stderr]   |
[INFO] [stderr] 9 |     (And) BoolAnd(Bool, Bool): Bool {
[INFO] [stderr]   |                   ^^^^
[INFO] [stderr]   |
[INFO] [stderr]   = note: `#[warn(type_alias_bounds)]` on by default
[INFO] [stderr] help: the bound will not be checked when the type alias is used, and should be removed
[INFO] [stderr]   |
[INFO] [stderr] 6 |     [A, Bool): Bool {
[INFO] [stderr]   |      --
[INFO] [stderr] 
[INFO] [stderr] warning: bounds on generic parameters are not enforced in type aliases
[INFO] [stderr]  --> src/strong/boolean.rs:9:25
[INFO] [stderr]   |
[INFO] [stderr] 9 |     (And) BoolAnd(Bool, Bool): Bool {
[INFO] [stderr]   |                         ^^^^
[INFO] [stderr]   |
[INFO] [stderr] help: the bound will not be checked when the type alias is used, and should be removed
[INFO] [stderr]   |
[INFO] [stderr] 6 |     [A, B): Bool {
[INFO] [stderr]   |         --
[INFO] [stderr] 
[INFO] [stderr] warning: bounds on generic parameters are not enforced in type aliases
[INFO] [stderr]   --> src/strong/boolean.rs:17:17
[INFO] [stderr]    |
[INFO] [stderr] 17 |     (Or) BoolOr(Bool, Bool): Bool {
[INFO] [stderr]    |                 ^^^^
[INFO] [stderr]    |
[INFO] [stderr] help: the bound will not be checked when the type alias is used, and should be removed
[INFO] [stderr]    |
[INFO] [stderr] 6  |     [A, Bool): Bool {
[INFO] [stderr]    |      --
[INFO] [stderr] 
[INFO] [stderr] warning: bounds on generic parameters are not enforced in type aliases
[INFO] [stderr]   --> src/strong/boolean.rs:17:23
[INFO] [stderr]    |
[INFO] [stderr] 17 |     (Or) BoolOr(Bool, Bool): Bool {
[INFO] [stderr]    |                       ^^^^
[INFO] [stderr]    |
[INFO] [stderr] help: the bound will not be checked when the type alias is used, and should be removed
[INFO] [stderr]    |
[INFO] [stderr] 6  |     [A, B): Bool {
[INFO] [stderr]    |         --
[INFO] [stderr] 
[INFO] [stderr] warning: bounds on generic parameters are not enforced in type aliases
[INFO] [stderr]   --> src/strong/boolean.rs:26:25
[INFO] [stderr]    |
[INFO] [stderr] 26 |     (IfThen) BoolIfThen(Bool, Bool): Bool {
[INFO] [stderr]    |                         ^^^^
[INFO] [stderr]    |
[INFO] [stderr] help: the bound will not be checked when the type alias is used, and should be removed
[INFO] [stderr]    |
[INFO] [stderr] 6  |     [A, Bool): Bool {
[INFO] [stderr]    |      --
[INFO] [stderr] 
[INFO] [stderr] warning: bounds on generic parameters are not enforced in type aliases
[INFO] [stderr]   --> src/strong/boolean.rs:26:31
[INFO] [stderr]    |
[INFO] [stderr] 26 |     (IfThen) BoolIfThen(Bool, Bool): Bool {
[INFO] [stderr]    |                               ^^^^
[INFO] [stderr]    |
[INFO] [stderr] help: the bound will not be checked when the type alias is used, and should be removed
[INFO] [stderr]    |
[INFO] [stderr] 6  |     [A, B): Bool {
[INFO] [stderr]    |         --
[INFO] [stderr] 
[INFO] [stderr] warning: bounds on generic parameters are not enforced in type aliases
[INFO] [stderr]   --> src/strong/boolean.rs:35:25
[INFO] [stderr]    |
[INFO] [stderr] 35 |     (OnlyIf) BoolOnlyIf(Bool, Bool): Bool {
[INFO] [stderr]    |                         ^^^^
[INFO] [stderr]    |
[INFO] [stderr] help: the bound will not be checked when the type alias is used, and should be removed
[INFO] [stderr]    |
[INFO] [stderr] 6  |     [A, Bool): Bool {
[INFO] [stderr]    |      --
[INFO] [stderr] 
[INFO] [stderr] warning: bounds on generic parameters are not enforced in type aliases
[INFO] [stderr]   --> src/strong/boolean.rs:35:31
[INFO] [stderr]    |
[INFO] [stderr] 35 |     (OnlyIf) BoolOnlyIf(Bool, Bool): Bool {
[INFO] [stderr]    |                               ^^^^
[INFO] [stderr]    |
[INFO] [stderr] help: the bound will not be checked when the type alias is used, and should be removed
[INFO] [stderr]    |
[INFO] [stderr] 6  |     [A, B): Bool {
[INFO] [stderr]    |         --
[INFO] [stderr] 
[INFO] [stderr] warning: bounds on generic parameters are not enforced in type aliases
[INFO] [stderr]   --> src/strong/boolean.rs:43:19
[INFO] [stderr]    |
[INFO] [stderr] 43 |     (Xor) BoolXor(Bool, Bool): Bool {
[INFO] [stderr]    |                   ^^^^
[INFO] [stderr]    |
[INFO] [stderr] help: the bound will not be checked when the type alias is used, and should be removed
[INFO] [stderr]    |
[INFO] [stderr] 6  |     [A, Bool): Bool {
[INFO] [stderr]    |      --
[INFO] [stderr] 
[INFO] [stderr] warning: bounds on generic parameters are not enforced in type aliases
[INFO] [stderr]   --> src/strong/boolean.rs:43:25
[INFO] [stderr]    |
[INFO] [stderr] 43 |     (Xor) BoolXor(Bool, Bool): Bool {
[INFO] [stderr]    |                         ^^^^
[INFO] [stderr]    |
[INFO] [stderr] help: the bound will not be checked when the type alias is used, and should be removed
[INFO] [stderr]    |
[INFO] [stderr] 6  |     [A, B): Bool {
[INFO] [stderr]    |         --
[INFO] [stderr] 
[INFO] [stderr] warning: bounds on generic parameters are not enforced in type aliases
[INFO] [stderr]   --> src/strong/ternary.rs:14:24
[INFO] [stderr]    |
[INFO] [stderr] 14 |     (Nat2First) Nat2P1(NatPair): Nat {
[INFO] [stderr]    |                        ^^^^^^^
[INFO] [stderr]    |
[INFO] [stderr] help: the bound will not be checked when the type alias is used, and should be removed
[INFO] [stderr]    |
[INFO] [stderr] 11 |     [A): Nat {
[INFO] [stderr]    |      --
[INFO] [stderr] 
[INFO] [stderr] warning: bounds on generic parameters are not enforced in type aliases
[INFO] [stderr]   --> src/strong/ternary.rs:21:25
[INFO] [stderr]    |
[INFO] [stderr] 21 |     (Nat2Second) Nat2P2(NatPair): Nat {
[INFO] [stderr]    |                         ^^^^^^^
[INFO] [stderr]    |
[INFO] [stderr] help: the bound will not be checked when the type alias is used, and should be removed
[INFO] [stderr]    |
[INFO] [stderr] 11 |     [A): Nat {
[INFO] [stderr]    |      --
[INFO] [stderr] 
[INFO] [stderr] warning: bounds on generic parameters are not enforced in type aliases
[INFO] [stderr]   --> src/strong/ternary.rs:29:20
[INFO] [stderr]    |
[INFO] [stderr] 29 |     (Succ) NatSucc(Nat): Nat {
[INFO] [stderr]    |                    ^^^
[INFO] [stderr]    |
[INFO] [stderr] help: the bound will not be checked when the type alias is used, and should be removed
[INFO] [stderr]    |
[INFO] [stderr] 11 |     [A): Nat {
[INFO] [stderr]    |      --
[INFO] [stderr] 
[INFO] [stderr] warning: bounds on generic parameters are not enforced in type aliases
[INFO] [stderr]   --> src/strong/ternary.rs:41:20
[INFO] [stderr]    |
[INFO] [stderr] 41 |     (Pred) NatPred(Nat): Nat {
[INFO] [stderr]    |                    ^^^
[INFO] [stderr]    |
[INFO] [stderr] help: the bound will not be checked when the type alias is used, and should be removed
[INFO] [stderr]    |
[INFO] [stderr] 11 |     [A): Nat {
[INFO] [stderr]    |      --
[INFO] [stderr] 
[INFO] [stderr] warning: bounds on generic parameters are not enforced in type aliases
[INFO] [stderr]   --> src/strong/ternary.rs:53:32
[INFO] [stderr]    |
[INFO] [stderr] 53 |     (DoublePred) NatDoublePred(Nat): Nat {
[INFO] [stderr]    |                                ^^^
[INFO] [stderr]    |
[INFO] [stderr] help: the bound will not be checked when the type alias is used, and should be removed
[INFO] [stderr]    |
[INFO] [stderr] 11 |     [A): Nat {
[INFO] [stderr]    |      --
[INFO] [stderr] 
[INFO] [stderr] warning: bounds on generic parameters are not enforced in type aliases
[INFO] [stderr]   --> src/strong/ternary.rs:68:24
[INFO] [stderr]    |
[INFO] [stderr] 68 |     (Triple) NatTriple(Nat): Nat {
[INFO] [stderr]    |                        ^^^
[INFO] [stderr]    |
[INFO] [stderr] help: the bound will not be checked when the type alias is used, and should be removed
[INFO] [stderr]    |
[INFO] [stderr] 11 |     [A): Nat {
[INFO] [stderr]    |      --
[INFO] [stderr] 
[INFO] [stderr] warning: bounds on generic parameters are not enforced in type aliases
[INFO] [stderr]   --> src/strong/ternary.rs:81:24
[INFO] [stderr]    |
[INFO] [stderr] 81 |     (Unique) NatUnique(Nat): Nat {
[INFO] [stderr]    |                        ^^^
[INFO] [stderr]    |
[INFO] [stderr] help: the bound will not be checked when the type alias is used, and should be removed
[INFO] [stderr]    |
[INFO] [stderr] 11 |     [A): Nat {
[INFO] [stderr]    |      --
[INFO] [stderr] 
[INFO] [stderr] warning: bounds on generic parameters are not enforced in type aliases
[INFO] [stderr]   --> src/strong/ternary.rs:95:18
[INFO] [stderr]    |
[INFO] [stderr] 95 |     (Add) NatAdd(Nat, Nat): Nat {
[INFO] [stderr]    |                  ^^^
[INFO] [stderr]    |
[INFO] [stderr] help: the bound will not be checked when the type alias is used, and should be removed
[INFO] [stderr]    |
[INFO] [stderr] 11 |     [A, Nat): Nat {
[INFO] [stderr]    |      --
[INFO] [stderr] 
[INFO] [stderr] warning: bounds on generic parameters are not enforced in type aliases
[INFO] [stderr]   --> src/strong/ternary.rs:95:23
[INFO] [stderr]    |
[INFO] [stderr] 95 |     (Add) NatAdd(Nat, Nat): Nat {
[INFO] [stderr]    |                       ^^^
[INFO] [stderr]    |
[INFO] [stderr] help: the bound will not be checked when the type alias is used, and should be removed
[INFO] [stderr]    |
[INFO] [stderr] 11 |     [A, B): Nat {
[INFO] [stderr]    |         --
[INFO] [stderr] 
[INFO] [stderr] warning: bounds on generic parameters are not enforced in type aliases
[INFO] [stderr]    --> src/strong/ternary.rs:128:38
[INFO] [stderr]     |
[INFO] [stderr] 128 |     (TriplePlusOne) NatTriplePlusOne(Nat): Nat {
[INFO] [stderr]     |                                      ^^^
[INFO] [stderr]     |
[INFO] [stderr] help: the bound will not be checked when the type alias is used, and should be removed
[INFO] [stderr]     |
[INFO] [stderr] 11  |     [A): Nat {
[INFO] [stderr]     |      --
[INFO] [stderr] 
[INFO] [stderr] warning: bounds on generic parameters are not enforced in type aliases
[INFO] [stderr]    --> src/strong/ternary.rs:139:38
[INFO] [stderr]     |
[INFO] [stderr] 139 |     (TriplePlusTwo) NatTriplePlusTwo(Nat): Nat {
[INFO] [stderr]     |                                      ^^^
[INFO] [stderr]     |
[INFO] [stderr] help: the bound will not be checked when the type alias is used, and should be removed
[INFO] [stderr]     |
[INFO] [stderr] 11  |     [A): Nat {
[INFO] [stderr]     |      --
[INFO] [stderr] 
[INFO] [stderr] warning: bounds on generic parameters are not enforced in type aliases
[INFO] [stderr]    --> src/strong/ternary.rs:152:18
[INFO] [stderr]     |
[INFO] [stderr] 152 |     (Sub) NatSub(Nat, Nat): Nat {
[INFO] [stderr]     |                  ^^^
[INFO] [stderr]     |
[INFO] [stderr] help: the bound will not be checked when the type alias is used, and should be removed
[INFO] [stderr]     |
[INFO] [stderr] 11  |     [A, Nat): Nat {
[INFO] [stderr]     |      --
[INFO] [stderr] 
[INFO] [stderr] warning: bounds on generic parameters are not enforced in type aliases
[INFO] [stderr]    --> src/strong/ternary.rs:152:23
[INFO] [stderr]     |
[INFO] [stderr] 152 |     (Sub) NatSub(Nat, Nat): Nat {
[INFO] [stderr]     |                       ^^^
[INFO] [stderr]     |
[INFO] [stderr] help: the bound will not be checked when the type alias is used, and should be removed
[INFO] [stderr]     |
[INFO] [stderr] 11  |     [A, B): Nat {
[INFO] [stderr]     |         --
[INFO] [stderr] 
[INFO] [stderr] warning: bounds on generic parameters are not enforced in type aliases
[INFO] [stderr]    --> src/strong/ternary.rs:185:18
[INFO] [stderr]     |
[INFO] [stderr] 185 |     (Mul) NatMul(Nat, Nat): Nat {
[INFO] [stderr]     |                  ^^^
[INFO] [stderr]     |
[INFO] [stderr] help: the bound will not be checked when the type alias is used, and should be removed
[INFO] [stderr]     |
[INFO] [stderr] 11  |     [A, Nat): Nat {
[INFO] [stderr]     |      --
[INFO] [stderr] 
[INFO] [stderr] warning: bounds on generic parameters are not enforced in type aliases
[INFO] [stderr]    --> src/strong/ternary.rs:185:23
[INFO] [stderr]     |
[INFO] [stderr] 185 |     (Mul) NatMul(Nat, Nat): Nat {
[INFO] [stderr]     |                       ^^^
[INFO] [stderr]     |
[INFO] [stderr] help: the bound will not be checked when the type alias is used, and should be removed
[INFO] [stderr]     |
[INFO] [stderr] 11  |     [A, B): Nat {
[INFO] [stderr]     |         --
[INFO] [stderr] 
[INFO] [stderr] warning: bounds on generic parameters are not enforced in type aliases
[INFO] [stderr]    --> src/strong/ternary.rs:220:18
[INFO] [stderr]     |
[INFO] [stderr] 220 |     (Cmp) NatCmp(Nat, Nat, Nat, Nat, Nat): Nat {
[INFO] [stderr]     |                  ^^^
[INFO] [stderr]     |
[INFO] [stderr] help: the bound will not be checked when the type alias is used, and should be removed
[INFO] [stderr]     |
[INFO] [stderr] 11  |     [A, Nat, Nat, Nat, Nat): Nat {
[INFO] [stderr]     |      --
[INFO] [stderr] 
[INFO] [stderr] warning: bounds on generic parameters are not enforced in type aliases
[INFO] [stderr]    --> src/strong/ternary.rs:220:23
[INFO] [stderr]     |
[INFO] [stderr] 220 |     (Cmp) NatCmp(Nat, Nat, Nat, Nat, Nat): Nat {
[INFO] [stderr]     |                       ^^^
[INFO] [stderr]     |
[INFO] [stderr] help: the bound will not be checked when the type alias is used, and should be removed
[INFO] [stderr]     |
[INFO] [stderr] 11  |     [A, B, Nat, Nat, Nat): Nat {
[INFO] [stderr]     |         --
[INFO] [stderr] 
[INFO] [stderr] warning: bounds on generic parameters are not enforced in type aliases
[INFO] [stderr]    --> src/strong/ternary.rs:220:28
[INFO] [stderr]     |
[INFO] [stderr] 220 |     (Cmp) NatCmp(Nat, Nat, Nat, Nat, Nat): Nat {
[INFO] [stderr]     |                            ^^^
[INFO] [stderr]     |
[INFO] [stderr] help: the bound will not be checked when the type alias is used, and should be removed
[INFO] [stderr]     |
[INFO] [stderr] 11  |     [A, B, C, Nat, Nat): Nat {
[INFO] [stderr]     |            --
[INFO] [stderr] 
[INFO] [stderr] warning: bounds on generic parameters are not enforced in type aliases
[INFO] [stderr]    --> src/strong/ternary.rs:220:33
[INFO] [stderr]     |
[INFO] [stderr] 220 |     (Cmp) NatCmp(Nat, Nat, Nat, Nat, Nat): Nat {
[INFO] [stderr]     |                                 ^^^
[INFO] [stderr]     |
[INFO] [stderr] help: the bound will not be checked when the type alias is used, and should be removed
[INFO] [stderr]     |
[INFO] [stderr] 11  |     [A, B, C, D, Nat): Nat {
[INFO] [stderr]     |               --
[INFO] [stderr] 
[INFO] [stderr] warning: bounds on generic parameters are not enforced in type aliases
[INFO] [stderr]    --> src/strong/ternary.rs:220:38
[INFO] [stderr]     |
[INFO] [stderr] 220 |     (Cmp) NatCmp(Nat, Nat, Nat, Nat, Nat): Nat {
[INFO] [stderr]     |                                      ^^^
[INFO] [stderr]     |
[INFO] [stderr] help: the bound will not be checked when the type alias is used, and should be removed
[INFO] [stderr]     |
[INFO] [stderr] 11  |     [A, B, C, D, E): Nat {
[INFO] [stderr]     |                  --
[INFO] [stderr] 
[INFO] [stderr] warning: bounds on generic parameters are not enforced in type aliases
[INFO] [stderr]    --> src/strong/ternary.rs:247:28
[INFO] [stderr]     |
[INFO] [stderr] 247 |     (UndefOr2) NatUndefOr2(Nat, Nat, NatPair): NatPair {
[INFO] [stderr]     |                            ^^^
[INFO] [stderr]     |
[INFO] [stderr] help: the bound will not be checked when the type alias is used, and should be removed
[INFO] [stderr]     |
[INFO] [stderr] 11  |     [A, Nat, NatPair): NatPair {
[INFO] [stderr]     |      --
[INFO] [stderr] 
[INFO] [stderr] warning: bounds on generic parameters are not enforced in type aliases
[INFO] [stderr]    --> src/strong/ternary.rs:247:33
[INFO] [stderr]     |
[INFO] [stderr] 247 |     (UndefOr2) NatUndefOr2(Nat, Nat, NatPair): NatPair {
[INFO] [stderr]     |                                 ^^^
[INFO] [stderr]     |
[INFO] [stderr] help: the bound will not be checked when the type alias is used, and should be removed
[INFO] [stderr]     |
[INFO] [stderr] 11  |     [A, B, NatPair): NatPair {
[INFO] [stderr]     |         --
[INFO] [stderr] 
[INFO] [stderr] warning: bounds on generic parameters are not enforced in type aliases
[INFO] [stderr]    --> src/strong/ternary.rs:247:38
[INFO] [stderr]     |
[INFO] [stderr] 247 |     (UndefOr2) NatUndefOr2(Nat, Nat, NatPair): NatPair {
[INFO] [stderr]     |                                      ^^^^^^^
[INFO] [stderr]     |
[INFO] [stderr] help: the bound will not be checked when the type alias is used, and should be removed
[INFO] [stderr]     |
[INFO] [stderr] 11  |     [A, B, C): NatPair {
[INFO] [stderr]     |            --
[INFO] [stderr] 
[INFO] [stderr] warning: bounds on generic parameters are not enforced in type aliases
[INFO] [stderr]    --> src/strong/ternary.rs:262:18
[INFO] [stderr]     |
[INFO] [stderr] 262 |     (Rev) NatRev(Nat): Nat {
[INFO] [stderr]     |                  ^^^
[INFO] [stderr]     |
[INFO] [stderr] help: the bound will not be checked when the type alias is used, and should be removed
[INFO] [stderr]     |
[INFO] [stderr] 11  |     [A): Nat {
[INFO] [stderr]     |      --
[INFO] [stderr] 
[INFO] [stderr] warning: bounds on generic parameters are not enforced in type aliases
[INFO] [stderr]    --> src/strong/ternary.rs:268:34
[INFO] [stderr]     |
[INFO] [stderr] 268 |     (RevInternal) NatRevInternal(Nat, Nat): Nat {
[INFO] [stderr]     |                                  ^^^
[INFO] [stderr]     |
[INFO] [stderr] help: the bound will not be checked when the type alias is used, and should be removed
[INFO] [stderr]     |
[INFO] [stderr] 11  |     [A, Nat): Nat {
[INFO] [stderr]     |      --
[INFO] [stderr] 
[INFO] [stderr] warning: bounds on generic parameters are not enforced in type aliases
[INFO] [stderr]    --> src/strong/ternary.rs:268:39
[INFO] [stderr]     |
[INFO] [stderr] 268 |     (RevInternal) NatRevInternal(Nat, Nat): Nat {
[INFO] [stderr]     |                                       ^^^
[INFO] [stderr]     |
[INFO] [stderr] help: the bound will not be checked when the type alias is used, and should be removed
[INFO] [stderr]     |
[INFO] [stderr] 11  |     [A, B): Nat {
[INFO] [stderr]     |         --
[INFO] [stderr] 
[INFO] [stderr] warning: bounds on generic parameters are not enforced in type aliases
[INFO] [stderr]    --> src/strong/ternary.rs:281:18
[INFO] [stderr]     |
[INFO] [stderr] 281 |     (Div) NatDiv(Nat, Nat): Nat {
[INFO] [stderr]     |                  ^^^
[INFO] [stderr]     |
[INFO] [stderr] help: the bound will not be checked when the type alias is used, and should be removed
[INFO] [stderr]     |
[INFO] [stderr] 11  |     [A, Nat): Nat {
[INFO] [stderr]     |      --
[INFO] [stderr] 
[INFO] [stderr] warning: bounds on generic parameters are not enforced in type aliases
[INFO] [stderr]  --> src/strong/boolean.rs:9:19
[INFO] [stderr]   |
[INFO] [stderr] 9 |     (And) BoolAnd(Bool, Bool): Bool {
[INFO] [stderr]   |                   ^^^^
[INFO] [stderr]   |
[INFO] [stderr]   = note: `#[warn(type_alias_bounds)]` on by default
[INFO] [stderr] help: the bound will not be checked when the type alias is used, and should be removed
[INFO] [stderr]   |
[INFO] [stderr] 6 |     [A, Bool): Bool {
[INFO] [stderr]   |      --
[INFO] [stderr] 
[INFO] [stderr] warning: bounds on generic parameters are not enforced in type aliases
[INFO] [stderr]  --> src/strong/boolean.rs:9:25
[INFO] [stderr]   |
[INFO] [stderr] 9 |     (And) BoolAnd(Bool, Bool): Bool {
[INFO] [stderr]   |                         ^^^^
[INFO] [stderr]   |
[INFO] [stderr] help: the bound will not be checked when the type alias is used, and should be removed
[INFO] [stderr]   |
[INFO] [stderr] 6 |     [A, B): Bool {
[INFO] [stderr]   |         --
[INFO] [stderr] 
[INFO] [stderr] warning: bounds on generic parameters are not enforced in type aliases
[INFO] [stderr]   --> src/strong/boolean.rs:17:17
[INFO] [stderr]    |
[INFO] [stderr] 17 |     (Or) BoolOr(Bool, Bool): Bool {
[INFO] [stderr]    |                 ^^^^
[INFO] [stderr]    |
[INFO] [stderr] help: the bound will not be checked when the type alias is used, and should be removed
[INFO] [stderr]    |
[INFO] [stderr] 6  |     [A, Bool): Bool {
[INFO] [stderr]    |      --
[INFO] [stderr] 
[INFO] [stderr] warning: bounds on generic parameters are not enforced in type aliases
[INFO] [stderr]   --> src/strong/boolean.rs:17:23
[INFO] [stderr]    |
[INFO] [stderr] 17 |     (Or) BoolOr(Bool, Bool): Bool {
[INFO] [stderr]    |                       ^^^^
[INFO] [stderr]    |
[INFO] [stderr] help: the bound will not be checked when the type alias is used, and should be removed
[INFO] [stderr]    |
[INFO] [stderr] 6  |     [A, B): Bool {
[INFO] [stderr]    |         --
[INFO] [stderr] 
[INFO] [stderr] warning: bounds on generic parameters are not enforced in type aliases
[INFO] [stderr]   --> src/strong/boolean.rs:26:25
[INFO] [stderr]    |
[INFO] [stderr] 26 |     (IfThen) BoolIfThen(Bool, Bool): Bool {
[INFO] [stderr]    |                         ^^^^
[INFO] [stderr]    |
[INFO] [stderr] help: the bound will not be checked when the type alias is used, and should be removed
[INFO] [stderr]    |
[INFO] [stderr] 6  |     [A, Bool): Bool {
[INFO] [stderr]    |      --
[INFO] [stderr] 
[INFO] [stderr] warning: bounds on generic parameters are not enforced in type aliases
[INFO] [stderr]   --> src/strong/boolean.rs:26:31
[INFO] [stderr]    |
[INFO] [stderr] 26 |     (IfThen) BoolIfThen(Bool, Bool): Bool {
[INFO] [stderr]    |                               ^^^^
[INFO] [stderr]    |
[INFO] [stderr] help: the bound will not be checked when the type alias is used, and should be removed
[INFO] [stderr]    |
[INFO] [stderr] 6  |     [A, B): Bool {
[INFO] [stderr]    |         --
[INFO] [stderr] 
[INFO] [stderr] warning: bounds on generic parameters are not enforced in type aliases
[INFO] [stderr]   --> src/strong/boolean.rs:35:25
[INFO] [stderr]    |
[INFO] [stderr] 35 |     (OnlyIf) BoolOnlyIf(Bool, Bool): Bool {
[INFO] [stderr]    |                         ^^^^
[INFO] [stderr]    |
[INFO] [stderr] help: the bound will not be checked when the type alias is used, and should be removed
[INFO] [stderr]    |
[INFO] [stderr] 6  |     [A, Bool): Bool {
[INFO] [stderr]    |      --
[INFO] [stderr] 
[INFO] [stderr] warning: bounds on generic parameters are not enforced in type aliases
[INFO] [stderr]    --> src/strong/ternary.rs:281:23
[INFO] [stderr]     |
[INFO] [stderr] 281 |     (Div) NatDiv(Nat, Nat): Nat {
[INFO] [stderr]     |                       ^^^
[INFO] [stderr]     |
[INFO] [stderr] help: the bound will not be checked when the type alias is used, and should be removed
[INFO] [stderr]     |
[INFO] [stderr] 11  |     [A, B): Nat {
[INFO] [stderr]     |         --
[INFO] [stderr] 
[INFO] [stderr] warning: bounds on generic parameters are not enforced in type aliases
[INFO] [stderr]   --> src/strong/boolean.rs:35:31
[INFO] [stderr]    |
[INFO] [stderr] 35 |     (OnlyIf) BoolOnlyIf(Bool, Bool): Bool {
[INFO] [stderr]    |                               ^^^^
[INFO] [stderr]    |
[INFO] [stderr] help: the bound will not be checked when the type alias is used, and should be removed
[INFO] [stderr]    |
[INFO] [stderr] 6  |     [A, B): Bool {
[INFO] [stderr]    |         --
[INFO] [stderr] 
[INFO] [stderr] warning: bounds on generic parameters are not enforced in type aliases
[INFO] [stderr]   --> src/strong/boolean.rs:43:19
[INFO] [stderr]    |
[INFO] [stderr] 43 |     (Xor) BoolXor(Bool, Bool): Bool {
[INFO] [stderr]    |                   ^^^^
[INFO] [stderr]    |
[INFO] [stderr] help: the bound will not be checked when the type alias is used, and should be removed
[INFO] [stderr]    |
[INFO] [stderr] 6  |     [A, Bool): Bool {
[INFO] [stderr]    |      --
[INFO] [stderr] 
[INFO] [stderr] warning: bounds on generic parameters are not enforced in type aliases
[INFO] [stderr]   --> src/strong/boolean.rs:43:25
[INFO] [stderr]    |
[INFO] [stderr] 43 |     (Xor) BoolXor(Bool, Bool): Bool {
[INFO] [stderr]    |                         ^^^^
[INFO] [stderr]    |
[INFO] [stderr] help: the bound will not be checked when the type alias is used, and should be removed
[INFO] [stderr]    |
[INFO] [stderr] 6  |     [A, B): Bool {
[INFO] [stderr]    |         --
[INFO] [stderr] 
[INFO] [stderr] warning: bounds on generic parameters are not enforced in type aliases
[INFO] [stderr]    --> src/strong/ternary.rs:306:18
[INFO] [stderr]     |
[INFO] [stderr] 306 |     (Rem) NatRem(Nat, Nat): Nat {
[INFO] [stderr]     |                  ^^^
[INFO] [stderr]     |
[INFO] [stderr] help: the bound will not be checked when the type alias is used, and should be removed
[INFO] [stderr]     |
[INFO] [stderr] 11  |     [A, Nat): Nat {
[INFO] [stderr]     |      --
[INFO] [stderr] 
[INFO] [stderr] warning: bounds on generic parameters are not enforced in type aliases
[INFO] [stderr]   --> src/strong/ternary.rs:14:24
[INFO] [stderr]    |
[INFO] [stderr] 14 |     (Nat2First) Nat2P1(NatPair): Nat {
[INFO] [stderr]    |                        ^^^^^^^
[INFO] [stderr]    |
[INFO] [stderr] help: the bound will not be checked when the type alias is used, and should be removed
[INFO] [stderr]    |
[INFO] [stderr] 11 |     [A): Nat {
[INFO] [stderr]    |      --
[INFO] [stderr] 
[INFO] [stderr] warning: bounds on generic parameters are not enforced in type aliases
[INFO] [stderr]   --> src/strong/ternary.rs:21:25
[INFO] [stderr]    |
[INFO] [stderr] 21 |     (Nat2Second) Nat2P2(NatPair): Nat {
[INFO] [stderr]    |                         ^^^^^^^
[INFO] [stderr]    |
[INFO] [stderr] help: the bound will not be checked when the type alias is used, and should be removed
[INFO] [stderr]    |
[INFO] [stderr] 11 |     [A): Nat {
[INFO] [stderr]    |      --
[INFO] [stderr] 
[INFO] [stderr] warning: bounds on generic parameters are not enforced in type aliases
[INFO] [stderr]   --> src/strong/ternary.rs:29:20
[INFO] [stderr]    |
[INFO] [stderr] 29 |     (Succ) NatSucc(Nat): Nat {
[INFO] [stderr]    |                    ^^^
[INFO] [stderr]    |
[INFO] [stderr] help: the bound will not be checked when the type alias is used, and should be removed
[INFO] [stderr]    |
[INFO] [stderr] 11 |     [A): Nat {
[INFO] [stderr]    |      --
[INFO] [stderr] 
[INFO] [stderr] warning: bounds on generic parameters are not enforced in type aliases
[INFO] [stderr]    --> src/strong/ternary.rs:306:23
[INFO] [stderr]     |
[INFO] [stderr] 306 |     (Rem) NatRem(Nat, Nat): Nat {
[INFO] [stderr]     |                       ^^^
[INFO] [stderr]     |
[INFO] [stderr] help: the bound will not be checked when the type alias is used, and should be removed
[INFO] [stderr]     |
[INFO] [stderr] 11  |     [A, B): Nat {
[INFO] [stderr]     |         --
[INFO] [stderr] 
[INFO] [stderr] warning: bounds on generic parameters are not enforced in type aliases
[INFO] [stderr]   --> src/strong/ternary.rs:41:20
[INFO] [stderr]    |
[INFO] [stderr] 41 |     (Pred) NatPred(Nat): Nat {
[INFO] [stderr]    |                    ^^^
[INFO] [stderr]    |
[INFO] [stderr] help: the bound will not be checked when the type alias is used, and should be removed
[INFO] [stderr]    |
[INFO] [stderr] 11 |     [A): Nat {
[INFO] [stderr]    |      --
[INFO] [stderr] 
[INFO] [stderr] warning: bounds on generic parameters are not enforced in type aliases
[INFO] [stderr]   --> src/strong/ternary.rs:53:32
[INFO] [stderr]    |
[INFO] [stderr] 53 |     (DoublePred) NatDoublePred(Nat): Nat {
[INFO] [stderr]    |                                ^^^
[INFO] [stderr]    |
[INFO] [stderr] help: the bound will not be checked when the type alias is used, and should be removed
[INFO] [stderr]    |
[INFO] [stderr] 11 |     [A): Nat {
[INFO] [stderr]    |      --
[INFO] [stderr] 
[INFO] [stderr] warning: bounds on generic parameters are not enforced in type aliases
[INFO] [stderr]   --> src/strong/ternary.rs:68:24
[INFO] [stderr]    |
[INFO] [stderr] 68 |     (Triple) NatTriple(Nat): Nat {
[INFO] [stderr]    |                        ^^^
[INFO] [stderr]    |
[INFO] [stderr] help: the bound will not be checked when the type alias is used, and should be removed
[INFO] [stderr]    |
[INFO] [stderr] 11 |     [A): Nat {
[INFO] [stderr]    |      --
[INFO] [stderr] 
[INFO] [stderr] warning: bounds on generic parameters are not enforced in type aliases
[INFO] [stderr]    --> src/strong/ternary.rs:329:34
[INFO] [stderr]     |
[INFO] [stderr] 329 |     (DivInternal) NatDivInternal(Nat, Nat, NatPair): NatPair {
[INFO] [stderr]     |                                  ^^^
[INFO] [stderr]     |
[INFO] [stderr] help: the bound will not be checked when the type alias is used, and should be removed
[INFO] [stderr]     |
[INFO] [stderr] 11  |     [A, Nat, NatPair): NatPair {
[INFO] [stderr]     |      --
[INFO] [stderr] 
[INFO] [stderr] warning: bounds on generic parameters are not enforced in type aliases
[INFO] [stderr]   --> src/strong/ternary.rs:81:24
[INFO] [stderr]    |
[INFO] [stderr] 81 |     (Unique) NatUnique(Nat): Nat {
[INFO] [stderr]    |                        ^^^
[INFO] [stderr]    |
[INFO] [stderr] help: the bound will not be checked when the type alias is used, and should be removed
[INFO] [stderr]    |
[INFO] [stderr] 11 |     [A): Nat {
[INFO] [stderr]    |      --
[INFO] [stderr] 
[INFO] [stderr] warning: bounds on generic parameters are not enforced in type aliases
[INFO] [stderr]   --> src/strong/ternary.rs:95:18
[INFO] [stderr]    |
[INFO] [stderr] 95 |     (Add) NatAdd(Nat, Nat): Nat {
[INFO] [stderr]    |                  ^^^
[INFO] [stderr]    |
[INFO] [stderr] help: the bound will not be checked when the type alias is used, and should be removed
[INFO] [stderr]    |
[INFO] [stderr] 11 |     [A, Nat): Nat {
[INFO] [stderr]    |      --
[INFO] [stderr] 
[INFO] [stderr] warning: bounds on generic parameters are not enforced in type aliases
[INFO] [stderr]    --> src/strong/ternary.rs:329:39
[INFO] [stderr]     |
[INFO] [stderr] 329 |     (DivInternal) NatDivInternal(Nat, Nat, NatPair): NatPair {
[INFO] [stderr]     |                                       ^^^
[INFO] [stderr]     |
[INFO] [stderr] help: the bound will not be checked when the type alias is used, and should be removed
[INFO] [stderr]     |
[INFO] [stderr] 11  |     [A, B, NatPair): NatPair {
[INFO] [stderr]     |         --
[INFO] [stderr] 
[INFO] [stderr] warning: bounds on generic parameters are not enforced in type aliases
[INFO] [stderr]   --> src/strong/ternary.rs:95:23
[INFO] [stderr]    |
[INFO] [stderr] 95 |     (Add) NatAdd(Nat, Nat): Nat {
[INFO] [stderr]    |                       ^^^
[INFO] [stderr]    |
[INFO] [stderr] help: the bound will not be checked when the type alias is used, and should be removed
[INFO] [stderr]    |
[INFO] [stderr] 11 |     [A, B): Nat {
[INFO] [stderr]    |         --
[INFO] [stderr] 
[INFO] [stderr] warning: bounds on generic parameters are not enforced in type aliases
[INFO] [stderr]    --> src/strong/ternary.rs:128:38
[INFO] [stderr]     |
[INFO] [stderr] 128 |     (TriplePlusOne) NatTriplePlusOne(Nat): Nat {
[INFO] [stderr]     |                                      ^^^
[INFO] [stderr]     |
[INFO] [stderr] help: the bound will not be checked when the type alias is used, and should be removed
[INFO] [stderr]     |
[INFO] [stderr] 11  |     [A): Nat {
[INFO] [stderr]     |      --
[INFO] [stderr] 
[INFO] [stderr] warning: bounds on generic parameters are not enforced in type aliases
[INFO] [stderr]    --> src/strong/ternary.rs:329:44
[INFO] [stderr]     |
[INFO] [stderr] 329 |     (DivInternal) NatDivInternal(Nat, Nat, NatPair): NatPair {
[INFO] [stderr]     |                                            ^^^^^^^
[INFO] [stderr]     |
[INFO] [stderr] help: the bound will not be checked when the type alias is used, and should be removed
[INFO] [stderr]     |
[INFO] [stderr] 11  |     [A, B, C): NatPair {
[INFO] [stderr]     |            --
[INFO] [stderr] 
[INFO] [stderr] warning: bounds on generic parameters are not enforced in type aliases
[INFO] [stderr]   --> src/strong/balanced.rs:10:24
[INFO] [stderr]    |
[INFO] [stderr] 10 |     (Int2First) Int2P1(IntPair): Int {
[INFO] [stderr]    |                        ^^^^^^^
[INFO] [stderr]    |
[INFO] [stderr] help: the bound will not be checked when the type alias is used, and should be removed
[INFO] [stderr]    |
[INFO] [stderr] 7  |     [A): Int {
[INFO] [stderr]    |      --
[INFO] [stderr] 
[INFO] [stderr] warning: bounds on generic parameters are not enforced in type aliases
[INFO] [stderr]    --> src/strong/ternary.rs:139:38
[INFO] [stderr]     |
[INFO] [stderr] 139 |     (TriplePlusTwo) NatTriplePlusTwo(Nat): Nat {
[INFO] [stderr]     |                                      ^^^
[INFO] [stderr]     |
[INFO] [stderr] help: the bound will not be checked when the type alias is used, and should be removed
[INFO] [stderr]     |
[INFO] [stderr] 11  |     [A): Nat {
[INFO] [stderr]     |      --
[INFO] [stderr] 
[INFO] [stderr] warning: bounds on generic parameters are not enforced in type aliases
[INFO] [stderr]   --> src/strong/balanced.rs:17:25
[INFO] [stderr]    |
[INFO] [stderr] 17 |     (Int2Second) Int2P2(IntPair): Int {
[INFO] [stderr]    |                         ^^^^^^^
[INFO] [stderr]    |
[INFO] [stderr] help: the bound will not be checked when the type alias is used, and should be removed
[INFO] [stderr]    |
[INFO] [stderr] 7  |     [A): Int {
[INFO] [stderr]    |      --
[INFO] [stderr] 
[INFO] [stderr] warning: bounds on generic parameters are not enforced in type aliases
[INFO] [stderr]   --> src/strong/balanced.rs:24:20
[INFO] [stderr]    |
[INFO] [stderr] 24 |     (Succ) IntSucc(Int): Int {
[INFO] [stderr]    |                    ^^^
[INFO] [stderr]    |
[INFO] [stderr] help: the bound will not be checked when the type alias is used, and should be removed
[INFO] [stderr]    |
[INFO] [stderr] 7  |     [A): Int {
[INFO] [stderr]    |      --
[INFO] [stderr] 
[INFO] [stderr] warning: bounds on generic parameters are not enforced in type aliases
[INFO] [stderr]    --> src/strong/ternary.rs:152:18
[INFO] [stderr]     |
[INFO] [stderr] 152 |     (Sub) NatSub(Nat, Nat): Nat {
[INFO] [stderr]     |                  ^^^
[INFO] [stderr]     |
[INFO] [stderr] help: the bound will not be checked when the type alias is used, and should be removed
[INFO] [stderr]     |
[INFO] [stderr] 11  |     [A, Nat): Nat {
[INFO] [stderr]     |      --
[INFO] [stderr] 
[INFO] [stderr] warning: bounds on generic parameters are not enforced in type aliases
[INFO] [stderr]   --> src/strong/balanced.rs:35:20
[INFO] [stderr]    |
[INFO] [stderr] 35 |     (Pred) IntPred(Int): Int {
[INFO] [stderr]    |                    ^^^
[INFO] [stderr]    |
[INFO] [stderr] help: the bound will not be checked when the type alias is used, and should be removed
[INFO] [stderr]    |
[INFO] [stderr] 7  |     [A): Int {
[INFO] [stderr]    |      --
[INFO] [stderr] 
[INFO] [stderr] warning: bounds on generic parameters are not enforced in type aliases
[INFO] [stderr]   --> src/strong/balanced.rs:49:24
[INFO] [stderr]    |
[INFO] [stderr] 49 |     (Triple) IntTriple(Int): Int {
[INFO] [stderr]    |                        ^^^
[INFO] [stderr]    |
[INFO] [stderr] help: the bound will not be checked when the type alias is used, and should be removed
[INFO] [stderr]    |
[INFO] [stderr] 7  |     [A): Int {
[INFO] [stderr]    |      --
[INFO] [stderr] 
[INFO] [stderr] warning: bounds on generic parameters are not enforced in type aliases
[INFO] [stderr]    --> src/strong/ternary.rs:152:23
[INFO] [stderr]     |
[INFO] [stderr] 152 |     (Sub) NatSub(Nat, Nat): Nat {
[INFO] [stderr]     |                       ^^^
[INFO] [stderr]     |
[INFO] [stderr] help: the bound will not be checked when the type alias is used, and should be removed
[INFO] [stderr]     |
[INFO] [stderr] 11  |     [A, B): Nat {
[INFO] [stderr]     |         --
[INFO] [stderr] 
[INFO] [stderr] warning: bounds on generic parameters are not enforced in type aliases
[INFO] [stderr]   --> src/strong/balanced.rs:62:24
[INFO] [stderr]    |
[INFO] [stderr] 62 |     (IntUnique) Unique(Int): Int {
[INFO] [stderr]    |                        ^^^
[INFO] [stderr]    |
[INFO] [stderr] help: the bound will not be checked when the type alias is used, and should be removed
[INFO] [stderr]    |
[INFO] [stderr] 7  |     [A): Int {
[INFO] [stderr]    |      --
[INFO] [stderr] 
[INFO] [stderr] warning: bounds on generic parameters are not enforced in type aliases
[INFO] [stderr]   --> src/strong/balanced.rs:80:18
[INFO] [stderr]    |
[INFO] [stderr] 80 |     (Neg) IntNeg(Int): Int {
[INFO] [stderr]    |                  ^^^
[INFO] [stderr]    |
[INFO] [stderr] help: the bound will not be checked when the type alias is used, and should be removed
[INFO] [stderr]    |
[INFO] [stderr] 7  |     [A): Int {
[INFO] [stderr]    |      --
[INFO] [stderr] 
[INFO] [stderr] warning: bounds on generic parameters are not enforced in type aliases
[INFO] [stderr]    --> src/strong/ternary.rs:185:18
[INFO] [stderr]     |
[INFO] [stderr] 185 |     (Mul) NatMul(Nat, Nat): Nat {
[INFO] [stderr]     |                  ^^^
[INFO] [stderr]     |
[INFO] [stderr] help: the bound will not be checked when the type alias is used, and should be removed
[INFO] [stderr]     |
[INFO] [stderr] 11  |     [A, Nat): Nat {
[INFO] [stderr]     |      --
[INFO] [stderr] 
[INFO] [stderr] warning: bounds on generic parameters are not enforced in type aliases
[INFO] [stderr]   --> src/strong/balanced.rs:94:18
[INFO] [stderr]    |
[INFO] [stderr] 94 |     (Add) IntAdd(Int, Int): Int {
[INFO] [stderr]    |                  ^^^
[INFO] [stderr]    |
[INFO] [stderr] help: the bound will not be checked when the type alias is used, and should be removed
[INFO] [stderr]    |
[INFO] [stderr] 7  |     [A, Int): Int {
[INFO] [stderr]    |      --
[INFO] [stderr] 
[INFO] [stderr] warning: bounds on generic parameters are not enforced in type aliases
[INFO] [stderr]    --> src/strong/ternary.rs:185:23
[INFO] [stderr]     |
[INFO] [stderr] 185 |     (Mul) NatMul(Nat, Nat): Nat {
[INFO] [stderr]     |                       ^^^
[INFO] [stderr]     |
[INFO] [stderr] help: the bound will not be checked when the type alias is used, and should be removed
[INFO] [stderr]     |
[INFO] [stderr] 11  |     [A, B): Nat {
[INFO] [stderr]     |         --
[INFO] [stderr] 
[INFO] [stderr] warning: bounds on generic parameters are not enforced in type aliases
[INFO] [stderr]   --> src/strong/balanced.rs:94:23
[INFO] [stderr]    |
[INFO] [stderr] 94 |     (Add) IntAdd(Int, Int): Int {
[INFO] [stderr]    |                       ^^^
[INFO] [stderr]    |
[INFO] [stderr] help: the bound will not be checked when the type alias is used, and should be removed
[INFO] [stderr]    |
[INFO] [stderr] 7  |     [A, B): Int {
[INFO] [stderr]    |         --
[INFO] [stderr] 
[INFO] [stderr] warning: bounds on generic parameters are not enforced in type aliases
[INFO] [stderr]    --> src/strong/ternary.rs:220:18
[INFO] [stderr]     |
[INFO] [stderr] 220 |     (Cmp) NatCmp(Nat, Nat, Nat, Nat, Nat): Nat {
[INFO] [stderr]     |                  ^^^
[INFO] [stderr]     |
[INFO] [stderr] help: the bound will not be checked when the type alias is used, and should be removed
[INFO] [stderr]     |
[INFO] [stderr] 11  |     [A, Nat, Nat, Nat, Nat): Nat {
[INFO] [stderr]     |      --
[INFO] [stderr] 
[INFO] [stderr] warning: bounds on generic parameters are not enforced in type aliases
[INFO] [stderr]    --> src/strong/balanced.rs:127:18
[INFO] [stderr]     |
[INFO] [stderr] 127 |     (Sub) IntSub(Int, Int): Int {
[INFO] [stderr]     |                  ^^^
[INFO] [stderr]     |
[INFO] [stderr] help: the bound will not be checked when the type alias is used, and should be removed
[INFO] [stderr]     |
[INFO] [stderr] 7   |     [A, Int): Int {
[INFO] [stderr]     |      --
[INFO] [stderr] 
[INFO] [stderr] warning: bounds on generic parameters are not enforced in type aliases
[INFO] [stderr]    --> src/strong/balanced.rs:127:23
[INFO] [stderr]     |
[INFO] [stderr] 127 |     (Sub) IntSub(Int, Int): Int {
[INFO] [stderr]     |                       ^^^
[INFO] [stderr]     |
[INFO] [stderr] help: the bound will not be checked when the type alias is used, and should be removed
[INFO] [stderr]     |
[INFO] [stderr] 7   |     [A, B): Int {
[INFO] [stderr]     |         --
[INFO] [stderr] 
[INFO] [stderr] warning: bounds on generic parameters are not enforced in type aliases
[INFO] [stderr]    --> src/strong/ternary.rs:220:23
[INFO] [stderr]     |
[INFO] [stderr] 220 |     (Cmp) NatCmp(Nat, Nat, Nat, Nat, Nat): Nat {
[INFO] [stderr]     |                       ^^^
[INFO] [stderr]     |
[INFO] [stderr] help: the bound will not be checked when the type alias is used, and should be removed
[INFO] [stderr]     |
[INFO] [stderr] 11  |     [A, B, Nat, Nat, Nat): Nat {
[INFO] [stderr]     |         --
[INFO] [stderr] 
[INFO] [stderr] warning: bounds on generic parameters are not enforced in type aliases
[INFO] [stderr]    --> src/strong/balanced.rs:160:18
[INFO] [stderr]     |
[INFO] [stderr] 160 |     (Mul) IntMul(Int, Int): Int {
[INFO] [stderr]     |                  ^^^
[INFO] [stderr]     |
[INFO] [stderr] help: the bound will not be checked when the type alias is used, and should be removed
[INFO] [stderr]     |
[INFO] [stderr] 7   |     [A, Int): Int {
[INFO] [stderr]     |      --
[INFO] [stderr] 
[INFO] [stderr] warning: bounds on generic parameters are not enforced in type aliases
[INFO] [stderr]    --> src/strong/ternary.rs:220:28
[INFO] [stderr]     |
[INFO] [stderr] 220 |     (Cmp) NatCmp(Nat, Nat, Nat, Nat, Nat): Nat {
[INFO] [stderr]     |                            ^^^
[INFO] [stderr]     |
[INFO] [stderr] help: the bound will not be checked when the type alias is used, and should be removed
[INFO] [stderr]     |
[INFO] [stderr] 11  |     [A, B, C, Nat, Nat): Nat {
[INFO] [stderr]     |            --
[INFO] [stderr] 
[INFO] [stderr] warning: bounds on generic parameters are not enforced in type aliases
[INFO] [stderr]    --> src/strong/balanced.rs:160:23
[INFO] [stderr]     |
[INFO] [stderr] 160 |     (Mul) IntMul(Int, Int): Int {
[INFO] [stderr]     |                       ^^^
[INFO] [stderr]     |
[INFO] [stderr] help: the bound will not be checked when the type alias is used, and should be removed
[INFO] [stderr]     |
[INFO] [stderr] 7   |     [A, B): Int {
[INFO] [stderr]     |         --
[INFO] [stderr] 
[INFO] [stderr] warning: bounds on generic parameters are not enforced in type aliases
[INFO] [stderr]    --> src/strong/ternary.rs:220:33
[INFO] [stderr]     |
[INFO] [stderr] 220 |     (Cmp) NatCmp(Nat, Nat, Nat, Nat, Nat): Nat {
[INFO] [stderr]     |                                 ^^^
[INFO] [stderr]     |
[INFO] [stderr] help: the bound will not be checked when the type alias is used, and should be removed
[INFO] [stderr]     |
[INFO] [stderr] 11  |     [A, B, C, D, Nat): Nat {
[INFO] [stderr]     |               --
[INFO] [stderr] 
[INFO] [stderr] warning: bounds on generic parameters are not enforced in type aliases
[INFO] [stderr]    --> src/strong/balanced.rs:196:18
[INFO] [stderr]     |
[INFO] [stderr] 196 |     (Cmp) IntCmp(Int, Int, Int, Int, Int): Int {
[INFO] [stderr]     |                  ^^^
[INFO] [stderr]     |
[INFO] [stderr] help: the bound will not be checked when the type alias is used, and should be removed
[INFO] [stderr]     |
[INFO] [stderr] 7   |     [A, Int, Int, Int, Int): Int {
[INFO] [stderr]     |      --
[INFO] [stderr] 
[INFO] [stderr] warning: bounds on generic parameters are not enforced in type aliases
[INFO] [stderr]    --> src/strong/ternary.rs:220:38
[INFO] [stderr]     |
[INFO] [stderr] 220 |     (Cmp) NatCmp(Nat, Nat, Nat, Nat, Nat): Nat {
[INFO] [stderr]     |                                      ^^^
[INFO] [stderr]     |
[INFO] [stderr] help: the bound will not be checked when the type alias is used, and should be removed
[INFO] [stderr]     |
[INFO] [stderr] 11  |     [A, B, C, D, E): Nat {
[INFO] [stderr]     |                  --
[INFO] [stderr] 
[INFO] [stderr] warning: bounds on generic parameters are not enforced in type aliases
[INFO] [stderr]    --> src/strong/balanced.rs:196:23
[INFO] [stderr]     |
[INFO] [stderr] 196 |     (Cmp) IntCmp(Int, Int, Int, Int, Int): Int {
[INFO] [stderr]     |                       ^^^
[INFO] [stderr]     |
[INFO] [stderr] help: the bound will not be checked when the type alias is used, and should be removed
[INFO] [stderr]     |
[INFO] [stderr] 7   |     [A, B, Int, Int, Int): Int {
[INFO] [stderr]     |         --
[INFO] [stderr] 
[INFO] [stderr] warning: bounds on generic parameters are not enforced in type aliases
[INFO] [stderr]    --> src/strong/balanced.rs:196:28
[INFO] [stderr]     |
[INFO] [stderr] 196 |     (Cmp) IntCmp(Int, Int, Int, Int, Int): Int {
[INFO] [stderr]     |                            ^^^
[INFO] [stderr]     |
[INFO] [stderr] help: the bound will not be checked when the type alias is used, and should be removed
[INFO] [stderr]     |
[INFO] [stderr] 7   |     [A, B, C, Int, Int): Int {
[INFO] [stderr]     |            --
[INFO] [stderr] 
[INFO] [stderr] warning: bounds on generic parameters are not enforced in type aliases
[INFO] [stderr]    --> src/strong/ternary.rs:247:28
[INFO] [stderr]     |
[INFO] [stderr] 247 |     (UndefOr2) NatUndefOr2(Nat, Nat, NatPair): NatPair {
[INFO] [stderr]     |                            ^^^
[INFO] [stderr]     |
[INFO] [stderr] help: the bound will not be checked when the type alias is used, and should be removed
[INFO] [stderr]     |
[INFO] [stderr] 11  |     [A, Nat, NatPair): NatPair {
[INFO] [stderr]     |      --
[INFO] [stderr] 
[INFO] [stderr] warning: bounds on generic parameters are not enforced in type aliases
[INFO] [stderr]    --> src/strong/balanced.rs:196:33
[INFO] [stderr]     |
[INFO] [stderr] 196 |     (Cmp) IntCmp(Int, Int, Int, Int, Int): Int {
[INFO] [stderr]     |                                 ^^^
[INFO] [stderr]     |
[INFO] [stderr] help: the bound will not be checked when the type alias is used, and should be removed
[INFO] [stderr]     |
[INFO] [stderr] 7   |     [A, B, C, D, Int): Int {
[INFO] [stderr]     |               --
[INFO] [stderr] 
[INFO] [stderr] warning: bounds on generic parameters are not enforced in type aliases
[INFO] [stderr]    --> src/strong/balanced.rs:196:38
[INFO] [stderr]     |
[INFO] [stderr] 196 |     (Cmp) IntCmp(Int, Int, Int, Int, Int): Int {
[INFO] [stderr]     |                                      ^^^
[INFO] [stderr]     |
[INFO] [stderr] help: the bound will not be checked when the type alias is used, and should be removed
[INFO] [stderr]     |
[INFO] [stderr] 7   |     [A, B, C, D, E): Int {
[INFO] [stderr]     |                  --
[INFO] [stderr] 
[INFO] [stderr] warning: bounds on generic parameters are not enforced in type aliases
[INFO] [stderr]    --> src/strong/ternary.rs:247:33
[INFO] [stderr]     |
[INFO] [stderr] 247 |     (UndefOr2) NatUndefOr2(Nat, Nat, NatPair): NatPair {
[INFO] [stderr]     |                                 ^^^
[INFO] [stderr]     |
[INFO] [stderr] help: the bound will not be checked when the type alias is used, and should be removed
[INFO] [stderr]     |
[INFO] [stderr] 11  |     [A, B, NatPair): NatPair {
[INFO] [stderr]     |         --
[INFO] [stderr] 
[INFO] [stderr] warning: bounds on generic parameters are not enforced in type aliases
[INFO] [stderr]    --> src/strong/balanced.rs:223:20
[INFO] [stderr]     |
[INFO] [stderr] 223 |     (Cmp2) IntCmp2(Int, Int, IntPair, IntPair, IntPair): IntPair {
[INFO] [stderr]     |                    ^^^
[INFO] [stderr]     |
[INFO] [stderr] help: the bound will not be checked when the type alias is used, and should be removed
[INFO] [stderr]     |
[INFO] [stderr] 7   |     [A, Int, IntPair, IntPair, IntPair): IntPair {
[INFO] [stderr]     |      --
[INFO] [stderr] 
[INFO] [stderr] warning: bounds on generic parameters are not enforced in type aliases
[INFO] [stderr]    --> src/strong/ternary.rs:247:38
[INFO] [stderr]     |
[INFO] [stderr] 247 |     (UndefOr2) NatUndefOr2(Nat, Nat, NatPair): NatPair {
[INFO] [stderr]     |                                      ^^^^^^^
[INFO] [stderr]     |
[INFO] [stderr] help: the bound will not be checked when the type alias is used, and should be removed
[INFO] [stderr]     |
[INFO] [stderr] 11  |     [A, B, C): NatPair {
[INFO] [stderr]     |            --
[INFO] [stderr] 
[INFO] [stderr] warning: bounds on generic parameters are not enforced in type aliases
[INFO] [stderr]    --> src/strong/balanced.rs:223:25
[INFO] [stderr]     |
[INFO] [stderr] 223 |     (Cmp2) IntCmp2(Int, Int, IntPair, IntPair, IntPair): IntPair {
[INFO] [stderr]     |                         ^^^
[INFO] [stderr]     |
[INFO] [stderr] help: the bound will not be checked when the type alias is used, and should be removed
[INFO] [stderr]     |
[INFO] [stderr] 7   |     [A, B, IntPair, IntPair, IntPair): IntPair {
[INFO] [stderr]     |         --
[INFO] [stderr] 
[INFO] [stderr] warning: bounds on generic parameters are not enforced in type aliases
[INFO] [stderr]    --> src/strong/ternary.rs:262:18
[INFO] [stderr]     |
[INFO] [stderr] 262 |     (Rev) NatRev(Nat): Nat {
[INFO] [stderr]     |                  ^^^
[INFO] [stderr]     |
[INFO] [stderr] help: the bound will not be checked when the type alias is used, and should be removed
[INFO] [stderr]     |
[INFO] [stderr] 11  |     [A): Nat {
[INFO] [stderr]     |      --
[INFO] [stderr] 
[INFO] [stderr] warning: bounds on generic parameters are not enforced in type aliases
[INFO] [stderr]    --> src/strong/balanced.rs:223:30
[INFO] [stderr]     |
[INFO] [stderr] 223 |     (Cmp2) IntCmp2(Int, Int, IntPair, IntPair, IntPair): IntPair {
[INFO] [stderr]     |                              ^^^^^^^
[INFO] [stderr]     |
[INFO] [stderr] help: the bound will not be checked when the type alias is used, and should be removed
[INFO] [stderr]     |
[INFO] [stderr] 7   |     [A, B, C, IntPair, IntPair): IntPair {
[INFO] [stderr]     |            --
[INFO] [stderr] 
[INFO] [stderr] warning: bounds on generic parameters are not enforced in type aliases
[INFO] [stderr]    --> src/strong/ternary.rs:268:34
[INFO] [stderr]     |
[INFO] [stderr] 268 |     (RevInternal) NatRevInternal(Nat, Nat): Nat {
[INFO] [stderr]     |                                  ^^^
[INFO] [stderr]     |
[INFO] [stderr] help: the bound will not be checked when the type alias is used, and should be removed
[INFO] [stderr]     |
[INFO] [stderr] 11  |     [A, Nat): Nat {
[INFO] [stderr]     |      --
[INFO] [stderr] 
[INFO] [stderr] warning: bounds on generic parameters are not enforced in type aliases
[INFO] [stderr]    --> src/strong/balanced.rs:223:39
[INFO] [stderr]     |
[INFO] [stderr] 223 |     (Cmp2) IntCmp2(Int, Int, IntPair, IntPair, IntPair): IntPair {
[INFO] [stderr]     |                                       ^^^^^^^
[INFO] [stderr]     |
[INFO] [stderr] help: the bound will not be checked when the type alias is used, and should be removed
[INFO] [stderr]     |
[INFO] [stderr] 7   |     [A, B, C, D, IntPair): IntPair {
[INFO] [stderr]     |               --
[INFO] [stderr] 
[INFO] [stderr] warning: bounds on generic parameters are not enforced in type aliases
[INFO] [stderr]    --> src/strong/balanced.rs:223:48
[INFO] [stderr]     |
[INFO] [stderr] 223 |     (Cmp2) IntCmp2(Int, Int, IntPair, IntPair, IntPair): IntPair {
[INFO] [stderr]     |                                                ^^^^^^^
[INFO] [stderr]     |
[INFO] [stderr] help: the bound will not be checked when the type alias is used, and should be removed
[INFO] [stderr]     |
[INFO] [stderr] 7   |     [A, B, C, D, E): IntPair {
[INFO] [stderr]     |                  --
[INFO] [stderr] 
[INFO] [stderr] warning: bounds on generic parameters are not enforced in type aliases
[INFO] [stderr]    --> src/strong/ternary.rs:268:39
[INFO] [stderr]     |
[INFO] [stderr] 268 |     (RevInternal) NatRevInternal(Nat, Nat): Nat {
[INFO] [stderr]     |                                       ^^^
[INFO] [stderr]     |
[INFO] [stderr] help: the bound will not be checked when the type alias is used, and should be removed
[INFO] [stderr]     |
[INFO] [stderr] 11  |     [A, B): Nat {
[INFO] [stderr]     |         --
[INFO] [stderr] 
[INFO] [stderr] warning: bounds on generic parameters are not enforced in type aliases
[INFO] [stderr]    --> src/strong/balanced.rs:248:24
[INFO] [stderr]     |
[INFO] [stderr] 248 |     (LteCmp) IntLteCmp(Int, Int, Int, Int): Int {
[INFO] [stderr]     |                        ^^^
[INFO] [stderr]     |
[INFO] [stderr] help: the bound will not be checked when the type alias is used, and should be removed
[INFO] [stderr]     |
[INFO] [stderr] 7   |     [A, Int, Int, Int): Int {
[INFO] [stderr]     |      --
[INFO] [stderr] 
[INFO] [stderr] warning: bounds on generic parameters are not enforced in type aliases
[INFO] [stderr]    --> src/strong/balanced.rs:248:29
[INFO] [stderr]     |
[INFO] [stderr] 248 |     (LteCmp) IntLteCmp(Int, Int, Int, Int): Int {
[INFO] [stderr]     |                             ^^^
[INFO] [stderr]     |
[INFO] [stderr] help: the bound will not be checked when the type alias is used, and should be removed
[INFO] [stderr]     |
[INFO] [stderr] 7   |     [A, B, Int, Int): Int {
[INFO] [stderr]     |         --
[INFO] [stderr] 
[INFO] [stderr] warning: bounds on generic parameters are not enforced in type aliases
[INFO] [stderr]    --> src/strong/ternary.rs:281:18
[INFO] [stderr]     |
[INFO] [stderr] 281 |     (Div) NatDiv(Nat, Nat): Nat {
[INFO] [stderr]     |                  ^^^
[INFO] [stderr]     |
[INFO] [stderr] help: the bound will not be checked when the type alias is used, and should be removed
[INFO] [stderr]     |
[INFO] [stderr] 11  |     [A, Nat): Nat {
[INFO] [stderr]     |      --
[INFO] [stderr] 
[INFO] [stderr] warning: bounds on generic parameters are not enforced in type aliases
[INFO] [stderr]    --> src/strong/balanced.rs:248:34
[INFO] [stderr]     |
[INFO] [stderr] 248 |     (LteCmp) IntLteCmp(Int, Int, Int, Int): Int {
[INFO] [stderr]     |                                  ^^^
[INFO] [stderr]     |
[INFO] [stderr] help: the bound will not be checked when the type alias is used, and should be removed
[INFO] [stderr]     |
[INFO] [stderr] 7   |     [A, B, C, Int): Int {
[INFO] [stderr]     |            --
[INFO] [stderr] 
[INFO] [stderr] warning: bounds on generic parameters are not enforced in type aliases
[INFO] [stderr]    --> src/strong/balanced.rs:248:39
[INFO] [stderr]     |
[INFO] [stderr] 248 |     (LteCmp) IntLteCmp(Int, Int, Int, Int): Int {
[INFO] [stderr]     |                                       ^^^
[INFO] [stderr]     |
[INFO] [stderr] help: the bound will not be checked when the type alias is used, and should be removed
[INFO] [stderr]     |
[INFO] [stderr] 7   |     [A, B, C, D): Int {
[INFO] [stderr]     |               --
[INFO] [stderr] 
[INFO] [stderr] warning: bounds on generic parameters are not enforced in type aliases
[INFO] [stderr]    --> src/strong/ternary.rs:281:23
[INFO] [stderr]     |
[INFO] [stderr] 281 |     (Div) NatDiv(Nat, Nat): Nat {
[INFO] [stderr]     |                       ^^^
[INFO] [stderr]     |
[INFO] [stderr] help: the bound will not be checked when the type alias is used, and should be removed
[INFO] [stderr]     |
[INFO] [stderr] 11  |     [A, B): Nat {
[INFO] [stderr]     |         --
[INFO] [stderr] 
[INFO] [stderr] warning: bounds on generic parameters are not enforced in type aliases
[INFO] [stderr]    --> src/strong/balanced.rs:254:26
[INFO] [stderr]     |
[INFO] [stderr] 254 |     (LteCmp2) IntLteCmp2(Int, Int, IntPair, IntPair): IntPair {
[INFO] [stderr]     |                          ^^^
[INFO] [stderr]     |
[INFO] [stderr] help: the bound will not be checked when the type alias is used, and should be removed
[INFO] [stderr]     |
[INFO] [stderr] 7   |     [A, Int, IntPair, IntPair): IntPair {
[INFO] [stderr]     |      --
[INFO] [stderr] 
[INFO] [stderr] warning: bounds on generic parameters are not enforced in type aliases
[INFO] [stderr]    --> src/strong/balanced.rs:254:31
[INFO] [stderr]     |
[INFO] [stderr] 254 |     (LteCmp2) IntLteCmp2(Int, Int, IntPair, IntPair): IntPair {
[INFO] [stderr]     |                               ^^^
[INFO] [stderr]     |
[INFO] [stderr] help: the bound will not be checked when the type alias is used, and should be removed
[INFO] [stderr]     |
[INFO] [stderr] 7   |     [A, B, IntPair, IntPair): IntPair {
[INFO] [stderr]     |         --
[INFO] [stderr] 
[INFO] [stderr] warning: bounds on generic parameters are not enforced in type aliases
[INFO] [stderr]    --> src/strong/ternary.rs:306:18
[INFO] [stderr]     |
[INFO] [stderr] 306 |     (Rem) NatRem(Nat, Nat): Nat {
[INFO] [stderr]     |                  ^^^
[INFO] [stderr]     |
[INFO] [stderr] help: the bound will not be checked when the type alias is used, and should be removed
[INFO] [stderr]     |
[INFO] [stderr] 11  |     [A, Nat): Nat {
[INFO] [stderr]     |      --
[INFO] [stderr] 
[INFO] [stderr] warning: bounds on generic parameters are not enforced in type aliases
[INFO] [stderr]    --> src/strong/balanced.rs:254:36
[INFO] [stderr]     |
[INFO] [stderr] 254 |     (LteCmp2) IntLteCmp2(Int, Int, IntPair, IntPair): IntPair {
[INFO] [stderr]     |                                    ^^^^^^^
[INFO] [stderr]     |
[INFO] [stderr] help: the bound will not be checked when the type alias is used, and should be removed
[INFO] [stderr]     |
[INFO] [stderr] 7   |     [A, B, C, IntPair): IntPair {
[INFO] [stderr]     |            --
[INFO] [stderr] 
[INFO] [stderr] warning: bounds on generic parameters are not enforced in type aliases
[INFO] [stderr]    --> src/strong/ternary.rs:306:23
[INFO] [stderr]     |
[INFO] [stderr] 306 |     (Rem) NatRem(Nat, Nat): Nat {
[INFO] [stderr]     |                       ^^^
[INFO] [stderr]     |
[INFO] [stderr] help: the bound will not be checked when the type alias is used, and should be removed
[INFO] [stderr]     |
[INFO] [stderr] 11  |     [A, B): Nat {
[INFO] [stderr]     |         --
[INFO] [stderr] 
[INFO] [stderr] warning: bounds on generic parameters are not enforced in type aliases
[INFO] [stderr]    --> src/strong/balanced.rs:254:45
[INFO] [stderr]     |
[INFO] [stderr] 254 |     (LteCmp2) IntLteCmp2(Int, Int, IntPair, IntPair): IntPair {
[INFO] [stderr]     |                                             ^^^^^^^
[INFO] [stderr]     |
[INFO] [stderr] help: the bound will not be checked when the type alias is used, and should be removed
[INFO] [stderr]     |
[INFO] [stderr] 7   |     [A, B, C, D): IntPair {
[INFO] [stderr]     |               --
[INFO] [stderr] 
[INFO] [stderr] warning: bounds on generic parameters are not enforced in type aliases
[INFO] [stderr]    --> src/strong/balanced.rs:261:18
[INFO] [stderr]     |
[INFO] [stderr] 261 |     (Abs) IntAbs(Int): Int {
[INFO] [stderr]     |                  ^^^
[INFO] [stderr]     |
[INFO] [stderr] help: the bound will not be checked when the type alias is used, and should be removed
[INFO] [stderr]     |
[INFO] [stderr] 7   |     [A): Int {
[INFO] [stderr]     |      --
[INFO] [stderr] 
[INFO] [stderr] warning: bounds on generic parameters are not enforced in type aliases
[INFO] [stderr]    --> src/strong/ternary.rs:329:34
[INFO] [stderr]     |
[INFO] [stderr] 329 |     (DivInternal) NatDivInternal(Nat, Nat, NatPair): NatPair {
[INFO] [stderr]     |                                  ^^^
[INFO] [stderr]     |
[INFO] [stderr] help: the bound will not be checked when the type alias is used, and should be removed
[INFO] [stderr]     |
[INFO] [stderr] 11  |     [A, Nat, NatPair): NatPair {
[INFO] [stderr]     |      --
[INFO] [stderr] 
[INFO] [stderr] warning: bounds on generic parameters are not enforced in type aliases
[INFO] [stderr]    --> src/strong/balanced.rs:273:40
[INFO] [stderr]     |
[INFO] [stderr] 273 |     (AbsMinThreeCmp) IntAbsMinThreeCmp(Int, Int, Int, Int, Int, Int): IntPair {
[INFO] [stderr]     |                                        ^^^
[INFO] [stderr]     |
[INFO] [stderr] help: the bound will not be checked when the type alias is used, and should be removed
[INFO] [stderr]     |
[INFO] [stderr] 7   |     [A, Int, Int, Int, Int, Int): IntPair {
[INFO] [stderr]     |      --
[INFO] [stderr] 
[INFO] [stderr] warning: bounds on generic parameters are not enforced in type aliases
[INFO] [stderr]    --> src/strong/ternary.rs:329:39
[INFO] [stderr]     |
[INFO] [stderr] 329 |     (DivInternal) NatDivInternal(Nat, Nat, NatPair): NatPair {
[INFO] [stderr]     |                                       ^^^
[INFO] [stderr]     |
[INFO] [stderr] help: the bound will not be checked when the type alias is used, and should be removed
[INFO] [stderr]     |
[INFO] [stderr] 11  |     [A, B, NatPair): NatPair {
[INFO] [stderr]     |         --
[INFO] [stderr] 
[INFO] [stderr] warning: bounds on generic parameters are not enforced in type aliases
[INFO] [stderr]    --> src/strong/balanced.rs:273:45
[INFO] [stderr]     |
[INFO] [stderr] 273 |     (AbsMinThreeCmp) IntAbsMinThreeCmp(Int, Int, Int, Int, Int, Int): IntPair {
[INFO] [stderr]     |                                             ^^^
[INFO] [stderr]     |
[INFO] [stderr] help: the bound will not be checked when the type alias is used, and should be removed
[INFO] [stderr]     |
[INFO] [stderr] 7   |     [A, B, Int, Int, Int, Int): IntPair {
[INFO] [stderr]     |         --
[INFO] [stderr] 
[INFO] [stderr] warning: bounds on generic parameters are not enforced in type aliases
[INFO] [stderr]    --> src/strong/ternary.rs:329:44
[INFO] [stderr]     |
[INFO] [stderr] 329 |     (DivInternal) NatDivInternal(Nat, Nat, NatPair): NatPair {
[INFO] [stderr]     |                                            ^^^^^^^
[INFO] [stderr]     |
[INFO] [stderr] help: the bound will not be checked when the type alias is used, and should be removed
[INFO] [stderr]     |
[INFO] [stderr] 11  |     [A, B, C): NatPair {
[INFO] [stderr]     |            --
[INFO] [stderr] 
[INFO] [stderr] warning: bounds on generic parameters are not enforced in type aliases
[INFO] [stderr]   --> src/strong/balanced.rs:10:24
[INFO] [stderr]    |
[INFO] [stderr] 10 |     (Int2First) Int2P1(IntPair): Int {
[INFO] [stderr]    |                        ^^^^^^^
[INFO] [stderr]    |
[INFO] [stderr] help: the bound will not be checked when the type alias is used, and should be removed
[INFO] [stderr]    |
[INFO] [stderr] 7  |     [A): Int {
[INFO] [stderr]    |      --
[INFO] [stderr] 
[INFO] [stderr] warning: bounds on generic parameters are not enforced in type aliases
[INFO] [stderr]    --> src/strong/balanced.rs:273:50
[INFO] [stderr]     |
[INFO] [stderr] 273 |     (AbsMinThreeCmp) IntAbsMinThreeCmp(Int, Int, Int, Int, Int, Int): IntPair {
[INFO] [stderr]     |                                                  ^^^
[INFO] [stderr]     |
[INFO] [stderr] help: the bound will not be checked when the type alias is used, and should be removed
[INFO] [stderr]     |
[INFO] [stderr] 7   |     [A, B, C, Int, Int, Int): IntPair {
[INFO] [stderr]     |            --
[INFO] [stderr] 
[INFO] [stderr] warning: bounds on generic parameters are not enforced in type aliases
[INFO] [stderr]   --> src/strong/balanced.rs:17:25
[INFO] [stderr]    |
[INFO] [stderr] 17 |     (Int2Second) Int2P2(IntPair): Int {
[INFO] [stderr]    |                         ^^^^^^^
[INFO] [stderr]    |
[INFO] [stderr] help: the bound will not be checked when the type alias is used, and should be removed
[INFO] [stderr]    |
[INFO] [stderr] 7  |     [A): Int {
[INFO] [stderr]    |      --
[INFO] [stderr] 
[INFO] [stderr] warning: bounds on generic parameters are not enforced in type aliases
[INFO] [stderr]   --> src/strong/balanced.rs:24:20
[INFO] [stderr]    |
[INFO] [stderr] 24 |     (Succ) IntSucc(Int): Int {
[INFO] [stderr]    |                    ^^^
[INFO] [stderr]    |
[INFO] [stderr] help: the bound will not be checked when the type alias is used, and should be removed
[INFO] [stderr]    |
[INFO] [stderr] 7  |     [A): Int {
[INFO] [stderr]    |      --
[INFO] [stderr] 
[INFO] [stderr] warning: bounds on generic parameters are not enforced in type aliases
[INFO] [stderr]    --> src/strong/balanced.rs:273:55
[INFO] [stderr]     |
[INFO] [stderr] 273 |     (AbsMinThreeCmp) IntAbsMinThreeCmp(Int, Int, Int, Int, Int, Int): IntPair {
[INFO] [stderr]     |                                                       ^^^
[INFO] [stderr]     |
[INFO] [stderr] help: the bound will not be checked when the type alias is used, and should be removed
[INFO] [stderr]     |
[INFO] [stderr] 7   |     [A, B, C, D, Int, Int): IntPair {
[INFO] [stderr]     |               --
[INFO] [stderr] 
[INFO] [stderr] warning: bounds on generic parameters are not enforced in type aliases
[INFO] [stderr]   --> src/strong/balanced.rs:35:20
[INFO] [stderr]    |
[INFO] [stderr] 35 |     (Pred) IntPred(Int): Int {
[INFO] [stderr]    |                    ^^^
[INFO] [stderr]    |
[INFO] [stderr] help: the bound will not be checked when the type alias is used, and should be removed
[INFO] [stderr]    |
[INFO] [stderr] 7  |     [A): Int {
[INFO] [stderr]    |      --
[INFO] [stderr] 
[INFO] [stderr] warning: bounds on generic parameters are not enforced in type aliases
[INFO] [stderr]   --> src/strong/balanced.rs:49:24
[INFO] [stderr]    |
[INFO] [stderr] 49 |     (Triple) IntTriple(Int): Int {
[INFO] [stderr]    |                        ^^^
[INFO] [stderr]    |
[INFO] [stderr] help: the bound will not be checked when the type alias is used, and should be removed
[INFO] [stderr]    |
[INFO] [stderr] 7  |     [A): Int {
[INFO] [stderr]    |      --
[INFO] [stderr] 
[INFO] [stderr] warning: bounds on generic parameters are not enforced in type aliases
[INFO] [stderr]   --> src/strong/balanced.rs:62:24
[INFO] [stderr]    |
[INFO] [stderr] 62 |     (IntUnique) Unique(Int): Int {
[INFO] [stderr]    |                        ^^^
[INFO] [stderr]    |
[INFO] [stderr] help: the bound will not be checked when the type alias is used, and should be removed
[INFO] [stderr]    |
[INFO] [stderr] 7  |     [A): Int {
[INFO] [stderr]    |      --
[INFO] [stderr] 
[INFO] [stderr] warning: bounds on generic parameters are not enforced in type aliases
[INFO] [stderr]    --> src/strong/balanced.rs:273:60
[INFO] [stderr]     |
[INFO] [stderr] 273 |     (AbsMinThreeCmp) IntAbsMinThreeCmp(Int, Int, Int, Int, Int, Int): IntPair {
[INFO] [stderr]     |                                                            ^^^
[INFO] [stderr]     |
[INFO] [stderr] help: the bound will not be checked when the type alias is used, and should be removed
[INFO] [stderr]     |
[INFO] [stderr] 7   |     [A, B, C, D, E, Int): IntPair {
[INFO] [stderr]     |                  --
[INFO] [stderr] 
[INFO] [stderr] warning: bounds on generic parameters are not enforced in type aliases
[INFO] [stderr]   --> src/strong/balanced.rs:80:18
[INFO] [stderr]    |
[INFO] [stderr] 80 |     (Neg) IntNeg(Int): Int {
[INFO] [stderr]    |                  ^^^
[INFO] [stderr]    |
[INFO] [stderr] help: the bound will not be checked when the type alias is used, and should be removed
[INFO] [stderr]    |
[INFO] [stderr] 7  |     [A): Int {
[INFO] [stderr]    |      --
[INFO] [stderr] 
[INFO] [stderr] warning: bounds on generic parameters are not enforced in type aliases
[INFO] [stderr]   --> src/strong/balanced.rs:94:18
[INFO] [stderr]    |
[INFO] [stderr] 94 |     (Add) IntAdd(Int, Int): Int {
[INFO] [stderr]    |                  ^^^
[INFO] [stderr]    |
[INFO] [stderr] help: the bound will not be checked when the type alias is used, and should be removed
[INFO] [stderr]    |
[INFO] [stderr] 7  |     [A, Int): Int {
[INFO] [stderr]    |      --
[INFO] [stderr] 
[INFO] [stderr] warning: bounds on generic parameters are not enforced in type aliases
[INFO] [stderr]    --> src/strong/balanced.rs:273:65
[INFO] [stderr]     |
[INFO] [stderr] 273 |     (AbsMinThreeCmp) IntAbsMinThreeCmp(Int, Int, Int, Int, Int, Int): IntPair {
[INFO] [stderr]     |                                                                 ^^^
[INFO] [stderr]     |
[INFO] [stderr] help: the bound will not be checked when the type alias is used, and should be removed
[INFO] [stderr]     |
[INFO] [stderr] 7   |     [A, B, C, D, E, F): IntPair {
[INFO] [stderr]     |                     --
[INFO] [stderr] 
[INFO] [stderr] warning: bounds on generic parameters are not enforced in type aliases
[INFO] [stderr]   --> src/strong/balanced.rs:94:23
[INFO] [stderr]    |
[INFO] [stderr] 94 |     (Add) IntAdd(Int, Int): Int {
[INFO] [stderr]    |                       ^^^
[INFO] [stderr]    |
[INFO] [stderr] help: the bound will not be checked when the type alias is used, and should be removed
[INFO] [stderr]    |
[INFO] [stderr] 7  |     [A, B): Int {
[INFO] [stderr]    |         --
[INFO] [stderr] 
[INFO] [stderr] warning: bounds on generic parameters are not enforced in type aliases
[INFO] [stderr]    --> src/strong/balanced.rs:127:18
[INFO] [stderr]     |
[INFO] [stderr] 127 |     (Sub) IntSub(Int, Int): Int {
[INFO] [stderr]     |                  ^^^
[INFO] [stderr]     |
[INFO] [stderr] help: the bound will not be checked when the type alias is used, and should be removed
[INFO] [stderr]     |
[INFO] [stderr] 7   |     [A, Int): Int {
[INFO] [stderr]     |      --
[INFO] [stderr] 
[INFO] [stderr] warning: bounds on generic parameters are not enforced in type aliases
[INFO] [stderr]    --> src/strong/balanced.rs:284:18
[INFO] [stderr]     |
[INFO] [stderr] 284 |     (Rev) IntRev(Int): Int {
[INFO] [stderr]     |                  ^^^
[INFO] [stderr]     |
[INFO] [stderr] help: the bound will not be checked when the type alias is used, and should be removed
[INFO] [stderr]     |
[INFO] [stderr] 7   |     [A): Int {
[INFO] [stderr]     |      --
[INFO] [stderr] 
[INFO] [stderr] warning: bounds on generic parameters are not enforced in type aliases
[INFO] [stderr]    --> src/strong/balanced.rs:127:23
[INFO] [stderr]     |
[INFO] [stderr] 127 |     (Sub) IntSub(Int, Int): Int {
[INFO] [stderr]     |                       ^^^
[INFO] [stderr]     |
[INFO] [stderr] help: the bound will not be checked when the type alias is used, and should be removed
[INFO] [stderr]     |
[INFO] [stderr] 7   |     [A, B): Int {
[INFO] [stderr]     |         --
[INFO] [stderr] 
[INFO] [stderr] warning: bounds on generic parameters are not enforced in type aliases
[INFO] [stderr]    --> src/strong/balanced.rs:290:34
[INFO] [stderr]     |
[INFO] [stderr] 290 |     (RevInternal) IntRevInternal(Int, Int): Int {
[INFO] [stderr]     |                                  ^^^
[INFO] [stderr]     |
[INFO] [stderr] help: the bound will not be checked when the type alias is used, and should be removed
[INFO] [stderr]     |
[INFO] [stderr] 7   |     [A, Int): Int {
[INFO] [stderr]     |      --
[INFO] [stderr] 
[INFO] [stderr] warning: bounds on generic parameters are not enforced in type aliases
[INFO] [stderr]    --> src/strong/balanced.rs:160:18
[INFO] [stderr]     |
[INFO] [stderr] 160 |     (Mul) IntMul(Int, Int): Int {
[INFO] [stderr]     |                  ^^^
[INFO] [stderr]     |
[INFO] [stderr] help: the bound will not be checked when the type alias is used, and should be removed
[INFO] [stderr]     |
[INFO] [stderr] 7   |     [A, Int): Int {
[INFO] [stderr]     |      --
[INFO] [stderr] 
[INFO] [stderr] warning: bounds on generic parameters are not enforced in type aliases
[INFO] [stderr]    --> src/strong/balanced.rs:160:23
[INFO] [stderr]     |
[INFO] [stderr] 160 |     (Mul) IntMul(Int, Int): Int {
[INFO] [stderr]     |                       ^^^
[INFO] [stderr]     |
[INFO] [stderr] help: the bound will not be checked when the type alias is used, and should be removed
[INFO] [stderr]     |
[INFO] [stderr] 7   |     [A, B): Int {
[INFO] [stderr]     |         --
[INFO] [stderr] 
[INFO] [stderr] warning: bounds on generic parameters are not enforced in type aliases
[INFO] [stderr]    --> src/strong/balanced.rs:290:39
[INFO] [stderr]     |
[INFO] [stderr] 290 |     (RevInternal) IntRevInternal(Int, Int): Int {
[INFO] [stderr]     |                                       ^^^
[INFO] [stderr]     |
[INFO] [stderr] help: the bound will not be checked when the type alias is used, and should be removed
[INFO] [stderr]     |
[INFO] [stderr] 7   |     [A, B): Int {
[INFO] [stderr]     |         --
[INFO] [stderr] 
[INFO] [stderr] warning: bounds on generic parameters are not enforced in type aliases
[INFO] [stderr]    --> src/strong/balanced.rs:196:18
[INFO] [stderr]     |
[INFO] [stderr] 196 |     (Cmp) IntCmp(Int, Int, Int, Int, Int): Int {
[INFO] [stderr]     |                  ^^^
[INFO] [stderr]     |
[INFO] [stderr] help: the bound will not be checked when the type alias is used, and should be removed
[INFO] [stderr]     |
[INFO] [stderr] 7   |     [A, Int, Int, Int, Int): Int {
[INFO] [stderr]     |      --
[INFO] [stderr] 
[INFO] [stderr] warning: bounds on generic parameters are not enforced in type aliases
[INFO] [stderr]    --> src/strong/balanced.rs:302:18
[INFO] [stderr]     |
[INFO] [stderr] 302 |     (Div) IntDiv(Int, Int): Int {
[INFO] [stderr]     |                  ^^^
[INFO] [stderr]     |
[INFO] [stderr] help: the bound will not be checked when the type alias is used, and should be removed
[INFO] [stderr]     |
[INFO] [stderr] 7   |     [A, Int): Int {
[INFO] [stderr]     |      --
[INFO] [stderr] 
[INFO] [stderr] warning: bounds on generic parameters are not enforced in type aliases
[INFO] [stderr]    --> src/strong/balanced.rs:196:23
[INFO] [stderr]     |
[INFO] [stderr] 196 |     (Cmp) IntCmp(Int, Int, Int, Int, Int): Int {
[INFO] [stderr]     |                       ^^^
[INFO] [stderr]     |
[INFO] [stderr] help: the bound will not be checked when the type alias is used, and should be removed
[INFO] [stderr]     |
[INFO] [stderr] 7   |     [A, B, Int, Int, Int): Int {
[INFO] [stderr]     |         --
[INFO] [stderr] 
[INFO] [stderr] warning: bounds on generic parameters are not enforced in type aliases
[INFO] [stderr]    --> src/strong/balanced.rs:196:28
[INFO] [stderr]     |
[INFO] [stderr] 196 |     (Cmp) IntCmp(Int, Int, Int, Int, Int): Int {
[INFO] [stderr]     |                            ^^^
[INFO] [stderr]     |
[INFO] [stderr] help: the bound will not be checked when the type alias is used, and should be removed
[INFO] [stderr]     |
[INFO] [stderr] 7   |     [A, B, C, Int, Int): Int {
[INFO] [stderr]     |            --
[INFO] [stderr] 
[INFO] [stderr] warning: bounds on generic parameters are not enforced in type aliases
[INFO] [stderr]    --> src/strong/balanced.rs:302:23
[INFO] [stderr]     |
[INFO] [stderr] 302 |     (Div) IntDiv(Int, Int): Int {
[INFO] [stderr]     |                       ^^^
[INFO] [stderr]     |
[INFO] [stderr] help: the bound will not be checked when the type alias is used, and should be removed
[INFO] [stderr]     |
[INFO] [stderr] 7   |     [A, B): Int {
[INFO] [stderr]     |         --
[INFO] [stderr] 
[INFO] [stderr] warning: bounds on generic parameters are not enforced in type aliases
[INFO] [stderr]    --> src/strong/balanced.rs:196:33
[INFO] [stderr]     |
[INFO] [stderr] 196 |     (Cmp) IntCmp(Int, Int, Int, Int, Int): Int {
[INFO] [stderr]     |                                 ^^^
[INFO] [stderr]     |
[INFO] [stderr] help: the bound will not be checked when the type alias is used, and should be removed
[INFO] [stderr]     |
[INFO] [stderr] 7   |     [A, B, C, D, Int): Int {
[INFO] [stderr]     |               --
[INFO] [stderr] 
[INFO] [stderr] warning: bounds on generic parameters are not enforced in type aliases
[INFO] [stderr]    --> src/strong/balanced.rs:326:18
[INFO] [stderr]     |
[INFO] [stderr] 326 |     (Rem) IntRem(Int, Int): Int {
[INFO] [stderr]     |                  ^^^
[INFO] [stderr]     |
[INFO] [stderr] help: the bound will not be checked when the type alias is used, and should be removed
[INFO] [stderr]     |
[INFO] [stderr] 7   |     [A, Int): Int {
[INFO] [stderr]     |      --
[INFO] [stderr] 
[INFO] [stderr] warning: bounds on generic parameters are not enforced in type aliases
[INFO] [stderr]    --> src/strong/balanced.rs:196:38
[INFO] [stderr]     |
[INFO] [stderr] 196 |     (Cmp) IntCmp(Int, Int, Int, Int, Int): Int {
[INFO] [stderr]     |                                      ^^^
[INFO] [stderr]     |
[INFO] [stderr] help: the bound will not be checked when the type alias is used, and should be removed
[INFO] [stderr]     |
[INFO] [stderr] 7   |     [A, B, C, D, E): Int {
[INFO] [stderr]     |                  --
[INFO] [stderr] 
[INFO] [stderr] warning: bounds on generic parameters are not enforced in type aliases
[INFO] [stderr]    --> src/strong/balanced.rs:326:23
[INFO] [stderr]     |
[INFO] [stderr] 326 |     (Rem) IntRem(Int, Int): Int {
[INFO] [stderr]     |                       ^^^
[INFO] [stderr]     |
[INFO] [stderr] help: the bound will not be checked when the type alias is used, and should be removed
[INFO] [stderr]     |
[INFO] [stderr] 7   |     [A, B): Int {
[INFO] [stderr]     |         --
[INFO] [stderr] 
[INFO] [stderr] warning: bounds on generic parameters are not enforced in type aliases
[INFO] [stderr]    --> src/strong/balanced.rs:223:20
[INFO] [stderr]     |
[INFO] [stderr] 223 |     (Cmp2) IntCmp2(Int, Int, IntPair, IntPair, IntPair): IntPair {
[INFO] [stderr]     |                    ^^^
[INFO] [stderr]     |
[INFO] [stderr] help: the bound will not be checked when the type alias is used, and should be removed
[INFO] [stderr]     |
[INFO] [stderr] 7   |     [A, Int, IntPair, IntPair, IntPair): IntPair {
[INFO] [stderr]     |      --
[INFO] [stderr] 
[INFO] [stderr] warning: bounds on generic parameters are not enforced in type aliases
[INFO] [stderr]    --> src/strong/balanced.rs:223:25
[INFO] [stderr]     |
[INFO] [stderr] 223 |     (Cmp2) IntCmp2(Int, Int, IntPair, IntPair, IntPair): IntPair {
[INFO] [stderr]     |                         ^^^
[INFO] [stderr]     |
[INFO] [stderr] help: the bound will not be checked when the type alias is used, and should be removed
[INFO] [stderr]     |
[INFO] [stderr] 7   |     [A, B, IntPair, IntPair, IntPair): IntPair {
[INFO] [stderr]     |         --
[INFO] [stderr] 
[INFO] [stderr] warning: bounds on generic parameters are not enforced in type aliases
[INFO] [stderr]    --> src/strong/balanced.rs:349:34
[INFO] [stderr]     |
[INFO] [stderr] 349 |     (DivInternal) IntDivInternal(Int, Int, IntPair): IntPair {
[INFO] [stderr]     |                                  ^^^
[INFO] [stderr]     |
[INFO] [stderr] help: the bound will not be checked when the type alias is used, and should be removed
[INFO] [stderr]     |
[INFO] [stderr] 7   |     [A, Int, IntPair): IntPair {
[INFO] [stderr]     |      --
[INFO] [stderr] 
[INFO] [stderr] warning: bounds on generic parameters are not enforced in type aliases
[INFO] [stderr]    --> src/strong/balanced.rs:223:30
[INFO] [stderr]     |
[INFO] [stderr] 223 |     (Cmp2) IntCmp2(Int, Int, IntPair, IntPair, IntPair): IntPair {
[INFO] [stderr]     |                              ^^^^^^^
[INFO] [stderr]     |
[INFO] [stderr] help: the bound will not be checked when the type alias is used, and should be removed
[INFO] [stderr]     |
[INFO] [stderr] 7   |     [A, B, C, IntPair, IntPair): IntPair {
[INFO] [stderr]     |            --
[INFO] [stderr] 
[INFO] [stderr] warning: bounds on generic parameters are not enforced in type aliases
[INFO] [stderr]    --> src/strong/balanced.rs:349:39
[INFO] [stderr]     |
[INFO] [stderr] 349 |     (DivInternal) IntDivInternal(Int, Int, IntPair): IntPair {
[INFO] [stderr]     |                                       ^^^
[INFO] [stderr]     |
[INFO] [stderr] help: the bound will not be checked when the type alias is used, and should be removed
[INFO] [stderr]     |
[INFO] [stderr] 7   |     [A, B, IntPair): IntPair {
[INFO] [stderr]     |         --
[INFO] [stderr] 
[INFO] [stderr] warning: bounds on generic parameters are not enforced in type aliases
[INFO] [stderr]    --> src/strong/balanced.rs:223:39
[INFO] [stderr]     |
[INFO] [stderr] 223 |     (Cmp2) IntCmp2(Int, Int, IntPair, IntPair, IntPair): IntPair {
[INFO] [stderr]     |                                       ^^^^^^^
[INFO] [stderr]     |
[INFO] [stderr] help: the bound will not be checked when the type alias is used, and should be removed
[INFO] [stderr]     |
[INFO] [stderr] 7   |     [A, B, C, D, IntPair): IntPair {
[INFO] [stderr]     |               --
[INFO] [stderr] 
[INFO] [stderr] warning: bounds on generic parameters are not enforced in type aliases
[INFO] [stderr]    --> src/strong/balanced.rs:349:44
[INFO] [stderr]     |
[INFO] [stderr] 349 |     (DivInternal) IntDivInternal(Int, Int, IntPair): IntPair {
[INFO] [stderr]     |                                            ^^^^^^^
[INFO] [stderr]     |
[INFO] [stderr] help: the bound will not be checked when the type alias is used, and should be removed
[INFO] [stderr]     |
[INFO] [stderr] 7   |     [A, B, C): IntPair {
[INFO] [stderr]     |            --
[INFO] [stderr] 
[INFO] [stderr] warning: 91 warnings emitted
[INFO] [stderr] 
[INFO] [stderr] warning: bounds on generic parameters are not enforced in type aliases
[INFO] [stderr]    --> src/strong/balanced.rs:223:48
[INFO] [stderr]     |
[INFO] [stderr] 223 |     (Cmp2) IntCmp2(Int, Int, IntPair, IntPair, IntPair): IntPair {
[INFO] [stderr]     |                                                ^^^^^^^
[INFO] [stderr]     |
[INFO] [stderr] help: the bound will not be checked when the type alias is used, and should be removed
[INFO] [stderr]     |
[INFO] [stderr] 7   |     [A, B, C, D, E): IntPair {
[INFO] [stderr]     |                  --
[INFO] [stderr] 
[INFO] [stderr] warning: bounds on generic parameters are not enforced in type aliases
[INFO] [stderr]    --> src/strong/balanced.rs:248:24
[INFO] [stderr]     |
[INFO] [stderr] 248 |     (LteCmp) IntLteCmp(Int, Int, Int, Int): Int {
[INFO] [stderr]     |                        ^^^
[INFO] [stderr]     |
[INFO] [stderr] help: the bound will not be checked when the type alias is used, and should be removed
[INFO] [stderr]     |
[INFO] [stderr] 7   |     [A, Int, Int, Int): Int {
[INFO] [stderr]     |      --
[INFO] [stderr] 
[INFO] [stderr] warning: bounds on generic parameters are not enforced in type aliases
[INFO] [stderr]    --> src/strong/balanced.rs:248:29
[INFO] [stderr]     |
[INFO] [stderr] 248 |     (LteCmp) IntLteCmp(Int, Int, Int, Int): Int {
[INFO] [stderr]     |                             ^^^
[INFO] [stderr]     |
[INFO] [stderr] help: the bound will not be checked when the type alias is used, and should be removed
[INFO] [stderr]     |
[INFO] [stderr] 7   |     [A, B, Int, Int): Int {
[INFO] [stderr]     |         --
[INFO] [stderr] 
[INFO] [stderr] warning: bounds on generic parameters are not enforced in type aliases
[INFO] [stderr]    --> src/strong/balanced.rs:248:34
[INFO] [stderr]     |
[INFO] [stderr] 248 |     (LteCmp) IntLteCmp(Int, Int, Int, Int): Int {
[INFO] [stderr]     |                                  ^^^
[INFO] [stderr]     |
[INFO] [stderr] help: the bound will not be checked when the type alias is used, and should be removed
[INFO] [stderr]     |
[INFO] [stderr] 7   |     [A, B, C, Int): Int {
[INFO] [stderr]     |            --
[INFO] [stderr] 
[INFO] [stderr] warning: bounds on generic parameters are not enforced in type aliases
[INFO] [stderr]    --> src/strong/balanced.rs:248:39
[INFO] [stderr]     |
[INFO] [stderr] 248 |     (LteCmp) IntLteCmp(Int, Int, Int, Int): Int {
[INFO] [stderr]     |                                       ^^^
[INFO] [stderr]     |
[INFO] [stderr] help: the bound will not be checked when the type alias is used, and should be removed
[INFO] [stderr]     |
[INFO] [stderr] 7   |     [A, B, C, D): Int {
[INFO] [stderr]     |               --
[INFO] [stderr] 
[INFO] [stderr] warning: bounds on generic parameters are not enforced in type aliases
[INFO] [stderr]    --> src/strong/balanced.rs:254:26
[INFO] [stderr]     |
[INFO] [stderr] 254 |     (LteCmp2) IntLteCmp2(Int, Int, IntPair, IntPair): IntPair {
[INFO] [stderr]     |                          ^^^
[INFO] [stderr]     |
[INFO] [stderr] help: the bound will not be checked when the type alias is used, and should be removed
[INFO] [stderr]     |
[INFO] [stderr] 7   |     [A, Int, IntPair, IntPair): IntPair {
[INFO] [stderr]     |      --
[INFO] [stderr] 
[INFO] [stderr] warning: bounds on generic parameters are not enforced in type aliases
[INFO] [stderr]    --> src/strong/balanced.rs:254:31
[INFO] [stderr]     |
[INFO] [stderr] 254 |     (LteCmp2) IntLteCmp2(Int, Int, IntPair, IntPair): IntPair {
[INFO] [stderr]     |                               ^^^
[INFO] [stderr]     |
[INFO] [stderr] help: the bound will not be checked when the type alias is used, and should be removed
[INFO] [stderr]     |
[INFO] [stderr] 7   |     [A, B, IntPair, IntPair): IntPair {
[INFO] [stderr]     |         --
[INFO] [stderr] 
[INFO] [stderr] warning: bounds on generic parameters are not enforced in type aliases
[INFO] [stderr]    --> src/strong/balanced.rs:254:36
[INFO] [stderr]     |
[INFO] [stderr] 254 |     (LteCmp2) IntLteCmp2(Int, Int, IntPair, IntPair): IntPair {
[INFO] [stderr]     |                                    ^^^^^^^
[INFO] [stderr]     |
[INFO] [stderr] help: the bound will not be checked when the type alias is used, and should be removed
[INFO] [stderr]     |
[INFO] [stderr] 7   |     [A, B, C, IntPair): IntPair {
[INFO] [stderr]     |            --
[INFO] [stderr] 
[INFO] [stderr] warning: bounds on generic parameters are not enforced in type aliases
[INFO] [stderr]    --> src/strong/balanced.rs:254:45
[INFO] [stderr]     |
[INFO] [stderr] 254 |     (LteCmp2) IntLteCmp2(Int, Int, IntPair, IntPair): IntPair {
[INFO] [stderr]     |                                             ^^^^^^^
[INFO] [stderr]     |
[INFO] [stderr] help: the bound will not be checked when the type alias is used, and should be removed
[INFO] [stderr]     |
[INFO] [stderr] 7   |     [A, B, C, D): IntPair {
[INFO] [stderr]     |               --
[INFO] [stderr] 
[INFO] [stderr] warning: bounds on generic parameters are not enforced in type aliases
[INFO] [stderr]    --> src/strong/balanced.rs:261:18
[INFO] [stderr]     |
[INFO] [stderr] 261 |     (Abs) IntAbs(Int): Int {
[INFO] [stderr]     |                  ^^^
[INFO] [stderr]     |
[INFO] [stderr] help: the bound will not be checked when the type alias is used, and should be removed
[INFO] [stderr]     |
[INFO] [stderr] 7   |     [A): Int {
[INFO] [stderr]     |      --
[INFO] [stderr] 
[INFO] [stderr] warning: bounds on generic parameters are not enforced in type aliases
[INFO] [stderr]    --> src/strong/balanced.rs:273:40
[INFO] [stderr]     |
[INFO] [stderr] 273 |     (AbsMinThreeCmp) IntAbsMinThreeCmp(Int, Int, Int, Int, Int, Int): IntPair {
[INFO] [stderr]     |                                        ^^^
[INFO] [stderr]     |
[INFO] [stderr] help: the bound will not be checked when the type alias is used, and should be removed
[INFO] [stderr]     |
[INFO] [stderr] 7   |     [A, Int, Int, Int, Int, Int): IntPair {
[INFO] [stderr]     |      --
[INFO] [stderr] 
[INFO] [stderr] warning: bounds on generic parameters are not enforced in type aliases
[INFO] [stderr]    --> src/strong/balanced.rs:273:45
[INFO] [stderr]     |
[INFO] [stderr] 273 |     (AbsMinThreeCmp) IntAbsMinThreeCmp(Int, Int, Int, Int, Int, Int): IntPair {
[INFO] [stderr]     |                                             ^^^
[INFO] [stderr]     |
[INFO] [stderr] help: the bound will not be checked when the type alias is used, and should be removed
[INFO] [stderr]     |
[INFO] [stderr] 7   |     [A, B, Int, Int, Int, Int): IntPair {
[INFO] [stderr]     |         --
[INFO] [stderr] 
[INFO] [stderr] warning: bounds on generic parameters are not enforced in type aliases
[INFO] [stderr]    --> src/strong/balanced.rs:273:50
[INFO] [stderr]     |
[INFO] [stderr] 273 |     (AbsMinThreeCmp) IntAbsMinThreeCmp(Int, Int, Int, Int, Int, Int): IntPair {
[INFO] [stderr]     |                                                  ^^^
[INFO] [stderr]     |
[INFO] [stderr] help: the bound will not be checked when the type alias is used, and should be removed
[INFO] [stderr]     |
[INFO] [stderr] 7   |     [A, B, C, Int, Int, Int): IntPair {
[INFO] [stderr]     |            --
[INFO] [stderr] 
[INFO] [stderr] warning: bounds on generic parameters are not enforced in type aliases
[INFO] [stderr]    --> src/strong/balanced.rs:273:55
[INFO] [stderr]     |
[INFO] [stderr] 273 |     (AbsMinThreeCmp) IntAbsMinThreeCmp(Int, Int, Int, Int, Int, Int): IntPair {
[INFO] [stderr]     |                                                       ^^^
[INFO] [stderr]     |
[INFO] [stderr] help: the bound will not be checked when the type alias is used, and should be removed
[INFO] [stderr]     |
[INFO] [stderr] 7   |     [A, B, C, D, Int, Int): IntPair {
[INFO] [stderr]     |               --
[INFO] [stderr] 
[INFO] [stderr] warning: bounds on generic parameters are not enforced in type aliases
[INFO] [stderr]    --> src/strong/balanced.rs:273:60
[INFO] [stderr]     |
[INFO] [stderr] 273 |     (AbsMinThreeCmp) IntAbsMinThreeCmp(Int, Int, Int, Int, Int, Int): IntPair {
[INFO] [stderr]     |                                                            ^^^
[INFO] [stderr]     |
[INFO] [stderr] help: the bound will not be checked when the type alias is used, and should be removed
[INFO] [stderr]     |
[INFO] [stderr] 7   |     [A, B, C, D, E, Int): IntPair {
[INFO] [stderr]     |                  --
[INFO] [stderr] 
[INFO] [stderr] warning: bounds on generic parameters are not enforced in type aliases
[INFO] [stderr]    --> src/strong/balanced.rs:273:65
[INFO] [stderr]     |
[INFO] [stderr] 273 |     (AbsMinThreeCmp) IntAbsMinThreeCmp(Int, Int, Int, Int, Int, Int): IntPair {
[INFO] [stderr]     |                                                                 ^^^
[INFO] [stderr]     |
[INFO] [stderr] help: the bound will not be checked when the type alias is used, and should be removed
[INFO] [stderr]     |
[INFO] [stderr] 7   |     [A, B, C, D, E, F): IntPair {
[INFO] [stderr]     |                     --
[INFO] [stderr] 
[INFO] [stderr] warning: bounds on generic parameters are not enforced in type aliases
[INFO] [stderr]    --> src/strong/balanced.rs:284:18
[INFO] [stderr]     |
[INFO] [stderr] 284 |     (Rev) IntRev(Int): Int {
[INFO] [stderr]     |                  ^^^
[INFO] [stderr]     |
[INFO] [stderr] help: the bound will not be checked when the type alias is used, and should be removed
[INFO] [stderr]     |
[INFO] [stderr] 7   |     [A): Int {
[INFO] [stderr]     |      --
[INFO] [stderr] 
[INFO] [stderr] warning: bounds on generic parameters are not enforced in type aliases
[INFO] [stderr]    --> src/strong/balanced.rs:290:34
[INFO] [stderr]     |
[INFO] [stderr] 290 |     (RevInternal) IntRevInternal(Int, Int): Int {
[INFO] [stderr]     |                                  ^^^
[INFO] [stderr]     |
[INFO] [stderr] help: the bound will not be checked when the type alias is used, and should be removed
[INFO] [stderr]     |
[INFO] [stderr] 7   |     [A, Int): Int {
[INFO] [stderr]     |      --
[INFO] [stderr] 
[INFO] [stderr] warning: bounds on generic parameters are not enforced in type aliases
[INFO] [stderr]    --> src/strong/balanced.rs:290:39
[INFO] [stderr]     |
[INFO] [stderr] 290 |     (RevInternal) IntRevInternal(Int, Int): Int {
[INFO] [stderr]     |                                       ^^^
[INFO] [stderr]     |
[INFO] [stderr] help: the bound will not be checked when the type alias is used, and should be removed
[INFO] [stderr]     |
[INFO] [stderr] 7   |     [A, B): Int {
[INFO] [stderr]     |         --
[INFO] [stderr] 
[INFO] [stderr] warning: bounds on generic parameters are not enforced in type aliases
[INFO] [stderr]    --> src/strong/balanced.rs:302:18
[INFO] [stderr]     |
[INFO] [stderr] 302 |     (Div) IntDiv(Int, Int): Int {
[INFO] [stderr]     |                  ^^^
[INFO] [stderr]     |
[INFO] [stderr] help: the bound will not be checked when the type alias is used, and should be removed
[INFO] [stderr]     |
[INFO] [stderr] 7   |     [A, Int): Int {
[INFO] [stderr]     |      --
[INFO] [stderr] 
[INFO] [stderr] warning: bounds on generic parameters are not enforced in type aliases
[INFO] [stderr]    --> src/strong/balanced.rs:302:23
[INFO] [stderr]     |
[INFO] [stderr] 302 |     (Div) IntDiv(Int, Int): Int {
[INFO] [stderr]     |                       ^^^
[INFO] [stderr]     |
[INFO] [stderr] help: the bound will not be checked when the type alias is used, and should be removed
[INFO] [stderr]     |
[INFO] [stderr] 7   |     [A, B): Int {
[INFO] [stderr]     |         --
[INFO] [stderr] 
[INFO] [stderr] warning: bounds on generic parameters are not enforced in type aliases
[INFO] [stderr]    --> src/strong/balanced.rs:326:18
[INFO] [stderr]     |
[INFO] [stderr] 326 |     (Rem) IntRem(Int, Int): Int {
[INFO] [stderr]     |                  ^^^
[INFO] [stderr]     |
[INFO] [stderr] help: the bound will not be checked when the type alias is used, and should be removed
[INFO] [stderr]     |
[INFO] [stderr] 7   |     [A, Int): Int {
[INFO] [stderr]     |      --
[INFO] [stderr] 
[INFO] [stderr] warning: bounds on generic parameters are not enforced in type aliases
[INFO] [stderr]    --> src/strong/balanced.rs:326:23
[INFO] [stderr]     |
[INFO] [stderr] 326 |     (Rem) IntRem(Int, Int): Int {
[INFO] [stderr]     |                       ^^^
[INFO] [stderr]     |
[INFO] [stderr] help: the bound will not be checked when the type alias is used, and should be removed
[INFO] [stderr]     |
[INFO] [stderr] 7   |     [A, B): Int {
[INFO] [stderr]     |         --
[INFO] [stderr] 
[INFO] [stderr] warning: bounds on generic parameters are not enforced in type aliases
[INFO] [stderr]    --> src/strong/balanced.rs:349:34
[INFO] [stderr]     |
[INFO] [stderr] 349 |     (DivInternal) IntDivInternal(Int, Int, IntPair): IntPair {
[INFO] [stderr]     |                                  ^^^
[INFO] [stderr]     |
[INFO] [stderr] help: the bound will not be checked when the type alias is used, and should be removed
[INFO] [stderr]     |
[INFO] [stderr] 7   |     [A, Int, IntPair): IntPair {
[INFO] [stderr]     |      --
[INFO] [stderr] 
[INFO] [stderr] warning: bounds on generic parameters are not enforced in type aliases
[INFO] [stderr]    --> src/strong/balanced.rs:349:39
[INFO] [stderr]     |
[INFO] [stderr] 349 |     (DivInternal) IntDivInternal(Int, Int, IntPair): IntPair {
[INFO] [stderr]     |                                       ^^^
[INFO] [stderr]     |
[INFO] [stderr] help: the bound will not be checked when the type alias is used, and should be removed
[INFO] [stderr]     |
[INFO] [stderr] 7   |     [A, B, IntPair): IntPair {
[INFO] [stderr]     |         --
[INFO] [stderr] 
[INFO] [stderr] warning: bounds on generic parameters are not enforced in type aliases
[INFO] [stderr]    --> src/strong/balanced.rs:349:44
[INFO] [stderr]     |
[INFO] [stderr] 349 |     (DivInternal) IntDivInternal(Int, Int, IntPair): IntPair {
[INFO] [stderr]     |                                            ^^^^^^^
[INFO] [stderr]     |
[INFO] [stderr] help: the bound will not be checked when the type alias is used, and should be removed
[INFO] [stderr]     |
[INFO] [stderr] 7   |     [A, B, C): IntPair {
[INFO] [stderr]     |            --
[INFO] [stderr] 
[INFO] [stderr] warning: 91 warnings emitted
[INFO] [stderr] 
[INFO] [stderr]     Finished test [unoptimized + debuginfo] target(s) in 0.03s
[INFO] [stderr]      Running /opt/rustwide/target/debug/deps/type_level_logic-eba563a600cdde79
[INFO] [stdout] 
[INFO] [stdout] running 24 tests
[INFO] [stdout] test strong::balanced::tests::balanced_ternary_abs ... ok
[INFO] [stdout] test strong::balanced::tests::balanced_ternary_add ... ok
[INFO] [stdout] test strong::balanced::tests::balanced_ternary_abs_min_three_cmp ... ok
[INFO] [stdout] test strong::balanced::tests::balanced_ternary_div ... ok
[INFO] [stdout] test strong::balanced::tests::balanced_ternary_lte_cmp ... ok
[INFO] [stdout] test strong::balanced::tests::balanced_ternary_pred ... ok
[INFO] [stdout] test strong::balanced::tests::balanced_ternary_rem ... ok
[INFO] [stdout] test strong::balanced::tests::balanced_ternary_rev ... ok
[INFO] [stdout] test strong::balanced::tests::balanced_ternary_succ ... ok
[INFO] [stdout] test strong::ternary::tests::ternary_double_pred ... ok
[INFO] [stdout] test strong::balanced::tests::balanced_ternary_sub ... ok
[INFO] [stdout] test strong::ternary::tests::ternary_add ... ok
[INFO] [stdout] test strong::ternary::tests::ternary_div ... ok
[INFO] [stdout] test strong::balanced::tests::balanced_ternary_mul ... ok
[INFO] [stdout] test strong::balanced::tests::balanced_ternary_cmp ... ok
[INFO] [stdout] test strong::ternary::tests::ternary_pred ... ok
[INFO] [stdout] test strong::ternary::tests::ternary_sub ... ok
[INFO] [stdout] test strong::ternary::tests::ternary_mul ... ok
[INFO] [stdout] test strong::ternary::tests::ternary_rem ... ok
[INFO] [stdout] test strong::ternary::tests::ternary_succ ... ok
[INFO] [stdout] test strong::ternary::tests::ternary_undef_or_2 ... ok
[INFO] [stdout] test types::balanced::tests::balanced_ternary_constants ... ok
[INFO] [stdout] test types::ternary::tests::ternary_constants ... ok
[INFO] [stdout] test strong::ternary::tests::ternary_sub_undefined ... ok
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 24 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out
[INFO] [stdout] 
[INFO] [stderr]    Doc-tests type-level-logic
[INFO] [stdout] 
[INFO] [stdout] running 0 tests
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 0 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out
[INFO] [stdout] 
[INFO] running `Command { std: "docker" "inspect" "d039fa2fdbb9c8a91ec62037ac0cbe7c861fd2da2c6d0c23737b3f7ca7dc3ee5", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "d039fa2fdbb9c8a91ec62037ac0cbe7c861fd2da2c6d0c23737b3f7ca7dc3ee5", kill_on_drop: false }`
[INFO] [stdout] d039fa2fdbb9c8a91ec62037ac0cbe7c861fd2da2c6d0c23737b3f7ca7dc3ee5
