[INFO] fetching crate type-level-logic 0.1.0...
[INFO] building type-level-logic-0.1.0 against try#d79d87d4c0f7f0d0785ad6e493cf8cf718ed89a6 for pr-146237-1
[INFO] extracting crate type-level-logic 0.1.0 into /workspace/builds/worker-1-tc2/source
[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-1-tc2/source/Cargo.toml
[INFO] validating manifest of crates.io crate type-level-logic 0.1.0 on toolchain d79d87d4c0f7f0d0785ad6e493cf8cf718ed89a6
[INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+d79d87d4c0f7f0d0785ad6e493cf8cf718ed89a6" "metadata" "--manifest-path" "Cargo.toml" "--no-deps", kill_on_drop: false }`
[INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+d79d87d4c0f7f0d0785ad6e493cf8cf718ed89a6" "generate-lockfile" "--manifest-path" "Cargo.toml", kill_on_drop: false }`
[INFO] [stderr]     Updating crates.io index
[INFO] [stderr]      Locking 1 package to latest compatible version
[INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+d79d87d4c0f7f0d0785ad6e493cf8cf718ed89a6" "fetch" "--manifest-path" "Cargo.toml", kill_on_drop: false }`
[INFO] [stderr] warning: no edition set: defaulting to the 2015 edition while the latest is 2024
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-1-tc2/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-1-tc2/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" "ghcr.io/rust-lang/crates-build-env/linux@sha256:e90291280db7d1fac5b66fc6dad9f9662629e7365a55743daf9bdf73ebc4ea79" "/opt/rustwide/cargo-home/bin/cargo" "+d79d87d4c0f7f0d0785ad6e493cf8cf718ed89a6" "metadata" "--no-deps" "--format-version=1", kill_on_drop: false }`
[INFO] [stdout] cf3325453e1ab21dc4a43c6629627a32386f576aa0e229f5a7a5db9f415b87bd
[INFO] running `Command { std: "docker" "start" "-a" "cf3325453e1ab21dc4a43c6629627a32386f576aa0e229f5a7a5db9f415b87bd", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "inspect" "cf3325453e1ab21dc4a43c6629627a32386f576aa0e229f5a7a5db9f415b87bd", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "cf3325453e1ab21dc4a43c6629627a32386f576aa0e229f5a7a5db9f415b87bd", kill_on_drop: false }`
[INFO] [stdout] cf3325453e1ab21dc4a43c6629627a32386f576aa0e229f5a7a5db9f415b87bd
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-1-tc2/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-1-tc2/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=forbid" "-e" "RUSTDOCFLAGS=--cap-lints=forbid" "-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" "ghcr.io/rust-lang/crates-build-env/linux@sha256:e90291280db7d1fac5b66fc6dad9f9662629e7365a55743daf9bdf73ebc4ea79" "/opt/rustwide/cargo-home/bin/cargo" "+d79d87d4c0f7f0d0785ad6e493cf8cf718ed89a6" "build" "--frozen" "--message-format=json", kill_on_drop: false }`
[INFO] [stdout] eecb8988b038e88158f1fbef02944795e291ce3593094694a49cb4898811c915
[INFO] running `Command { std: "docker" "start" "-a" "eecb8988b038e88158f1fbef02944795e291ce3593094694a49cb4898811c915", kill_on_drop: false }`
[INFO] [stderr] warning: no edition set: defaulting to the 2015 edition while the latest is 2024
[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 in type aliases are not enforced
[INFO] [stdout]  --> src/strong/boolean.rs:9:19
[INFO] [stdout]   |
[INFO] [stdout] 9 |     (And) BoolAnd(Bool, Bool): Bool {
[INFO] [stdout]   |                   ^^^^  ^^^^ will not be checked at usage sites of the type alias
[INFO] [stdout]   |
[INFO] [stdout]   = note: this is a known limitation of the type checker that may be lifted in a future edition.
[INFO] [stdout]           see issue #112792 <https://github.com/rust-lang/rust/issues/112792> for more information
[INFO] [stdout]   = help: add `#![feature(lazy_type_alias)]` to the crate attributes to enable the desired semantics
[INFO] [stdout]   = note: `#[warn(type_alias_bounds)]` on by default
[INFO] [stdout] help: remove these bounds
[INFO] [stdout]  --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/type-operators-0.3.5/src/lib.rs:743:114
[INFO] [stdout]   |
[INFO] [stdout] 74~         _tlsm_machine!(@cont [$($docs)*] $attrs $alias $machine [$($gensyms),*] [$($kinds)+] [$($accum)* ($gensym $kind)] $out);
[INFO] [stdout] 74|     };
[INFO] [stdout] ...
[INFO] [stdout] 75|     (@cont $docs:tt $attrs:tt $alias:ident $machine:ident [$gensym:ident $(, $gensyms:ident)*] [$kind:tt] [$($accum:tt)*] $out:tt) => {
[INFO] [stdout] 75~         _tlsm_machine!(@cont $docs $attrs $alias $machine [$($gensyms),*] [] [$($accum)* ($gensym $kind)] $out);
[INFO] [stdout]   |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: bounds on generic parameters in type aliases are not enforced
[INFO] [stdout]    --> src/strong/balanced.rs:10:24
[INFO] [stdout]     |
[INFO] [stdout]   6 | / type_operators! {
[INFO] [stdout]   7 | |     [A, B, C, D, E, F, G, H]
[INFO] [stdout]   8 | |
[INFO] [stdout]   9 | |     /// Project the first value in an `IntPair`.
[INFO] [stdout]  10 | |     (Int2First) Int2P1(IntPair): Int {
[INFO] [stdout]     | |                        ^^^^^^^ will not be checked at usage sites of the type alias
[INFO] [stdout] ...   |
[INFO] [stdout] 374 | | }
[INFO] [stdout]     | |_- help: remove this bound
[INFO] [stdout]     |
[INFO] [stdout]     = note: this is a known limitation of the type checker that may be lifted in a future edition.
[INFO] [stdout]             see issue #112792 <https://github.com/rust-lang/rust/issues/112792> for more information
[INFO] [stdout]     = help: add `#![feature(lazy_type_alias)]` to the crate attributes to enable the desired semantics
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: bounds on generic parameters in type aliases are not enforced
[INFO] [stdout]    --> src/strong/ternary.rs:14:24
[INFO] [stdout]     |
[INFO] [stdout]  10 | / type_operators! {
[INFO] [stdout]  11 | |     [A, B, C, D, E, F, G, H]
[INFO] [stdout]  12 | |
[INFO] [stdout]  13 | |     /// Project the first value in a `NatPair`.
[INFO] [stdout]  14 | |     (Nat2First) Nat2P1(NatPair): Nat {
[INFO] [stdout]     | |                        ^^^^^^^ will not be checked at usage sites of the type alias
[INFO] [stdout] ...   |
[INFO] [stdout] 354 | | }
[INFO] [stdout]     | |_- help: remove this bound
[INFO] [stdout]     |
[INFO] [stdout]     = note: this is a known limitation of the type checker that may be lifted in a future edition.
[INFO] [stdout]             see issue #112792 <https://github.com/rust-lang/rust/issues/112792> for more information
[INFO] [stdout]     = help: add `#![feature(lazy_type_alias)]` to the crate attributes to enable the desired semantics
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: bounds on generic parameters in type aliases are not enforced
[INFO] [stdout]    --> src/strong/balanced.rs:17:25
[INFO] [stdout]     |
[INFO] [stdout]   6 | / type_operators! {
[INFO] [stdout]   7 | |     [A, B, C, D, E, F, G, H]
[INFO] [stdout]   8 | |
[INFO] [stdout]   9 | |     /// Project the first value in an `IntPair`.
[INFO] [stdout] ...   |
[INFO] [stdout]  17 | |     (Int2Second) Int2P2(IntPair): Int {
[INFO] [stdout]     | |                         ^^^^^^^ will not be checked at usage sites of the type alias
[INFO] [stdout] ...   |
[INFO] [stdout] 374 | | }
[INFO] [stdout]     | |_- help: remove this bound
[INFO] [stdout]     |
[INFO] [stdout]     = note: this is a known limitation of the type checker that may be lifted in a future edition.
[INFO] [stdout]             see issue #112792 <https://github.com/rust-lang/rust/issues/112792> for more information
[INFO] [stdout]     = help: add `#![feature(lazy_type_alias)]` to the crate attributes to enable the desired semantics
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: bounds on generic parameters in type aliases are not enforced
[INFO] [stdout]    --> src/strong/ternary.rs:21:25
[INFO] [stdout]     |
[INFO] [stdout]  10 | / type_operators! {
[INFO] [stdout]  11 | |     [A, B, C, D, E, F, G, H]
[INFO] [stdout]  12 | |
[INFO] [stdout]  13 | |     /// Project the first value in a `NatPair`.
[INFO] [stdout] ...   |
[INFO] [stdout]  21 | |     (Nat2Second) Nat2P2(NatPair): Nat {
[INFO] [stdout]     | |                         ^^^^^^^ will not be checked at usage sites of the type alias
[INFO] [stdout] ...   |
[INFO] [stdout] 354 | | }
[INFO] [stdout]     | |_- help: remove this bound
[INFO] [stdout]     |
[INFO] [stdout]     = note: this is a known limitation of the type checker that may be lifted in a future edition.
[INFO] [stdout]             see issue #112792 <https://github.com/rust-lang/rust/issues/112792> for more information
[INFO] [stdout]     = help: add `#![feature(lazy_type_alias)]` to the crate attributes to enable the desired semantics
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: bounds on generic parameters in type aliases are not enforced
[INFO] [stdout]   --> src/strong/boolean.rs:17:17
[INFO] [stdout]    |
[INFO] [stdout] 17 |     (Or) BoolOr(Bool, Bool): Bool {
[INFO] [stdout]    |                 ^^^^  ^^^^ will not be checked at usage sites of the type alias
[INFO] [stdout]    |
[INFO] [stdout]    = note: this is a known limitation of the type checker that may be lifted in a future edition.
[INFO] [stdout]            see issue #112792 <https://github.com/rust-lang/rust/issues/112792> for more information
[INFO] [stdout]    = help: add `#![feature(lazy_type_alias)]` to the crate attributes to enable the desired semantics
[INFO] [stdout] help: remove these bounds
[INFO] [stdout]   --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/type-operators-0.3.5/src/lib.rs:743:114
[INFO] [stdout]    |
[INFO] [stdout] 743~         _tlsm_machine!(@cont [$($docs)*] $attrs $alias $machine [$($gensyms),*] [$($kinds)+] [$($accum)* ($gensym $kind)] $out);
[INFO] [stdout] 744|     };
[INFO] [stdout] ...
[INFO] [stdout] 751|     (@cont $docs:tt $attrs:tt $alias:ident $machine:ident [$gensym:ident $(, $gensyms:ident)*] [$kind:tt] [$($accum:tt)*] $out:tt) => {
[INFO] [stdout] 752~         _tlsm_machine!(@cont $docs $attrs $alias $machine [$($gensyms),*] [] [$($accum)* ($gensym $kind)] $out);
[INFO] [stdout]    |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: bounds on generic parameters in type aliases are not enforced
[INFO] [stdout]   --> src/strong/boolean.rs:26:25
[INFO] [stdout]    |
[INFO] [stdout] 26 |     (IfThen) BoolIfThen(Bool, Bool): Bool {
[INFO] [stdout]    |                         ^^^^  ^^^^ will not be checked at usage sites of the type alias
[INFO] [stdout]    |
[INFO] [stdout]    = note: this is a known limitation of the type checker that may be lifted in a future edition.
[INFO] [stdout]            see issue #112792 <https://github.com/rust-lang/rust/issues/112792> for more information
[INFO] [stdout]    = help: add `#![feature(lazy_type_alias)]` to the crate attributes to enable the desired semantics
[INFO] [stdout] help: remove these bounds
[INFO] [stdout]   --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/type-operators-0.3.5/src/lib.rs:743:114
[INFO] [stdout]    |
[INFO] [stdout] 743~         _tlsm_machine!(@cont [$($docs)*] $attrs $alias $machine [$($gensyms),*] [$($kinds)+] [$($accum)* ($gensym $kind)] $out);
[INFO] [stdout] 744|     };
[INFO] [stdout] ...
[INFO] [stdout] 751|     (@cont $docs:tt $attrs:tt $alias:ident $machine:ident [$gensym:ident $(, $gensyms:ident)*] [$kind:tt] [$($accum:tt)*] $out:tt) => {
[INFO] [stdout] 752~         _tlsm_machine!(@cont $docs $attrs $alias $machine [$($gensyms),*] [] [$($accum)* ($gensym $kind)] $out);
[INFO] [stdout]    |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: bounds on generic parameters in type aliases are not enforced
[INFO] [stdout]    --> src/strong/ternary.rs:29:20
[INFO] [stdout]     |
[INFO] [stdout]  10 | / type_operators! {
[INFO] [stdout]  11 | |     [A, B, C, D, E, F, G, H]
[INFO] [stdout]  12 | |
[INFO] [stdout]  13 | |     /// Project the first value in a `NatPair`.
[INFO] [stdout] ...   |
[INFO] [stdout]  29 | |     (Succ) NatSucc(Nat): Nat {
[INFO] [stdout]     | |                    ^^^ will not be checked at usage sites of the type alias
[INFO] [stdout] ...   |
[INFO] [stdout] 354 | | }
[INFO] [stdout]     | |_- help: remove this bound
[INFO] [stdout]     |
[INFO] [stdout]     = note: this is a known limitation of the type checker that may be lifted in a future edition.
[INFO] [stdout]             see issue #112792 <https://github.com/rust-lang/rust/issues/112792> for more information
[INFO] [stdout]     = help: add `#![feature(lazy_type_alias)]` to the crate attributes to enable the desired semantics
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: bounds on generic parameters in type aliases are not enforced
[INFO] [stdout]    --> src/strong/balanced.rs:24:20
[INFO] [stdout]     |
[INFO] [stdout]   6 | / type_operators! {
[INFO] [stdout]   7 | |     [A, B, C, D, E, F, G, H]
[INFO] [stdout]   8 | |
[INFO] [stdout]   9 | |     /// Project the first value in an `IntPair`.
[INFO] [stdout] ...   |
[INFO] [stdout]  24 | |     (Succ) IntSucc(Int): Int {
[INFO] [stdout]     | |                    ^^^ will not be checked at usage sites of the type alias
[INFO] [stdout] ...   |
[INFO] [stdout] 374 | | }
[INFO] [stdout]     | |_- help: remove this bound
[INFO] [stdout]     |
[INFO] [stdout]     = note: this is a known limitation of the type checker that may be lifted in a future edition.
[INFO] [stdout]             see issue #112792 <https://github.com/rust-lang/rust/issues/112792> for more information
[INFO] [stdout]     = help: add `#![feature(lazy_type_alias)]` to the crate attributes to enable the desired semantics
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: bounds on generic parameters in type aliases are not enforced
[INFO] [stdout]    --> src/strong/ternary.rs:41:20
[INFO] [stdout]     |
[INFO] [stdout]  10 | / type_operators! {
[INFO] [stdout]  11 | |     [A, B, C, D, E, F, G, H]
[INFO] [stdout]  12 | |
[INFO] [stdout]  13 | |     /// Project the first value in a `NatPair`.
[INFO] [stdout] ...   |
[INFO] [stdout]  41 | |     (Pred) NatPred(Nat): Nat {
[INFO] [stdout]     | |                    ^^^ will not be checked at usage sites of the type alias
[INFO] [stdout] ...   |
[INFO] [stdout] 354 | | }
[INFO] [stdout]     | |_- help: remove this bound
[INFO] [stdout]     |
[INFO] [stdout]     = note: this is a known limitation of the type checker that may be lifted in a future edition.
[INFO] [stdout]             see issue #112792 <https://github.com/rust-lang/rust/issues/112792> for more information
[INFO] [stdout]     = help: add `#![feature(lazy_type_alias)]` to the crate attributes to enable the desired semantics
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: bounds on generic parameters in type aliases are not enforced
[INFO] [stdout]   --> src/strong/boolean.rs:35:25
[INFO] [stdout]    |
[INFO] [stdout] 35 |     (OnlyIf) BoolOnlyIf(Bool, Bool): Bool {
[INFO] [stdout]    |                         ^^^^  ^^^^ will not be checked at usage sites of the type alias
[INFO] [stdout]    |
[INFO] [stdout]    = note: this is a known limitation of the type checker that may be lifted in a future edition.
[INFO] [stdout]            see issue #112792 <https://github.com/rust-lang/rust/issues/112792> for more information
[INFO] [stdout]    = help: add `#![feature(lazy_type_alias)]` to the crate attributes to enable the desired semantics
[INFO] [stdout] help: remove these bounds
[INFO] [stdout]   --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/type-operators-0.3.5/src/lib.rs:743:114
[INFO] [stdout]    |
[INFO] [stdout] 743~         _tlsm_machine!(@cont [$($docs)*] $attrs $alias $machine [$($gensyms),*] [$($kinds)+] [$($accum)* ($gensym $kind)] $out);
[INFO] [stdout] 744|     };
[INFO] [stdout] ...
[INFO] [stdout] 751|     (@cont $docs:tt $attrs:tt $alias:ident $machine:ident [$gensym:ident $(, $gensyms:ident)*] [$kind:tt] [$($accum:tt)*] $out:tt) => {
[INFO] [stdout] 752~         _tlsm_machine!(@cont $docs $attrs $alias $machine [$($gensyms),*] [] [$($accum)* ($gensym $kind)] $out);
[INFO] [stdout]    |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: bounds on generic parameters in type aliases are not enforced
[INFO] [stdout]   --> src/strong/boolean.rs:43:19
[INFO] [stdout]    |
[INFO] [stdout] 43 |     (Xor) BoolXor(Bool, Bool): Bool {
[INFO] [stdout]    |                   ^^^^  ^^^^ will not be checked at usage sites of the type alias
[INFO] [stdout]    |
[INFO] [stdout]    = note: this is a known limitation of the type checker that may be lifted in a future edition.
[INFO] [stdout]            see issue #112792 <https://github.com/rust-lang/rust/issues/112792> for more information
[INFO] [stdout]    = help: add `#![feature(lazy_type_alias)]` to the crate attributes to enable the desired semantics
[INFO] [stdout] help: remove these bounds
[INFO] [stdout]   --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/type-operators-0.3.5/src/lib.rs:743:114
[INFO] [stdout]    |
[INFO] [stdout] 743~         _tlsm_machine!(@cont [$($docs)*] $attrs $alias $machine [$($gensyms),*] [$($kinds)+] [$($accum)* ($gensym $kind)] $out);
[INFO] [stdout] 744|     };
[INFO] [stdout] ...
[INFO] [stdout] 751|     (@cont $docs:tt $attrs:tt $alias:ident $machine:ident [$gensym:ident $(, $gensyms:ident)*] [$kind:tt] [$($accum:tt)*] $out:tt) => {
[INFO] [stdout] 752~         _tlsm_machine!(@cont $docs $attrs $alias $machine [$($gensyms),*] [] [$($accum)* ($gensym $kind)] $out);
[INFO] [stdout]    |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: bounds on generic parameters in type aliases are not enforced
[INFO] [stdout]    --> src/strong/ternary.rs:53:32
[INFO] [stdout]     |
[INFO] [stdout]  10 | / type_operators! {
[INFO] [stdout]  11 | |     [A, B, C, D, E, F, G, H]
[INFO] [stdout]  12 | |
[INFO] [stdout]  13 | |     /// Project the first value in a `NatPair`.
[INFO] [stdout] ...   |
[INFO] [stdout]  53 | |     (DoublePred) NatDoublePred(Nat): Nat {
[INFO] [stdout]     | |                                ^^^ will not be checked at usage sites of the type alias
[INFO] [stdout] ...   |
[INFO] [stdout] 354 | | }
[INFO] [stdout]     | |_- help: remove this bound
[INFO] [stdout]     |
[INFO] [stdout]     = note: this is a known limitation of the type checker that may be lifted in a future edition.
[INFO] [stdout]             see issue #112792 <https://github.com/rust-lang/rust/issues/112792> for more information
[INFO] [stdout]     = help: add `#![feature(lazy_type_alias)]` to the crate attributes to enable the desired semantics
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: bounds on generic parameters in type aliases are not enforced
[INFO] [stdout]    --> src/strong/balanced.rs:35:20
[INFO] [stdout]     |
[INFO] [stdout]   6 | / type_operators! {
[INFO] [stdout]   7 | |     [A, B, C, D, E, F, G, H]
[INFO] [stdout]   8 | |
[INFO] [stdout]   9 | |     /// Project the first value in an `IntPair`.
[INFO] [stdout] ...   |
[INFO] [stdout]  35 | |     (Pred) IntPred(Int): Int {
[INFO] [stdout]     | |                    ^^^ will not be checked at usage sites of the type alias
[INFO] [stdout] ...   |
[INFO] [stdout] 374 | | }
[INFO] [stdout]     | |_- help: remove this bound
[INFO] [stdout]     |
[INFO] [stdout]     = note: this is a known limitation of the type checker that may be lifted in a future edition.
[INFO] [stdout]             see issue #112792 <https://github.com/rust-lang/rust/issues/112792> for more information
[INFO] [stdout]     = help: add `#![feature(lazy_type_alias)]` to the crate attributes to enable the desired semantics
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: bounds on generic parameters in type aliases are not enforced
[INFO] [stdout]    --> src/strong/ternary.rs:68:24
[INFO] [stdout]     |
[INFO] [stdout]  10 | / type_operators! {
[INFO] [stdout]  11 | |     [A, B, C, D, E, F, G, H]
[INFO] [stdout]  12 | |
[INFO] [stdout]  13 | |     /// Project the first value in a `NatPair`.
[INFO] [stdout] ...   |
[INFO] [stdout]  68 | |     (Triple) NatTriple(Nat): Nat {
[INFO] [stdout]     | |                        ^^^ will not be checked at usage sites of the type alias
[INFO] [stdout] ...   |
[INFO] [stdout] 354 | | }
[INFO] [stdout]     | |_- help: remove this bound
[INFO] [stdout]     |
[INFO] [stdout]     = note: this is a known limitation of the type checker that may be lifted in a future edition.
[INFO] [stdout]             see issue #112792 <https://github.com/rust-lang/rust/issues/112792> for more information
[INFO] [stdout]     = help: add `#![feature(lazy_type_alias)]` to the crate attributes to enable the desired semantics
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: bounds on generic parameters in type aliases are not enforced
[INFO] [stdout]    --> src/strong/balanced.rs:49:24
[INFO] [stdout]     |
[INFO] [stdout]   6 | / type_operators! {
[INFO] [stdout]   7 | |     [A, B, C, D, E, F, G, H]
[INFO] [stdout]   8 | |
[INFO] [stdout]   9 | |     /// Project the first value in an `IntPair`.
[INFO] [stdout] ...   |
[INFO] [stdout]  49 | |     (Triple) IntTriple(Int): Int {
[INFO] [stdout]     | |                        ^^^ will not be checked at usage sites of the type alias
[INFO] [stdout] ...   |
[INFO] [stdout] 374 | | }
[INFO] [stdout]     | |_- help: remove this bound
[INFO] [stdout]     |
[INFO] [stdout]     = note: this is a known limitation of the type checker that may be lifted in a future edition.
[INFO] [stdout]             see issue #112792 <https://github.com/rust-lang/rust/issues/112792> for more information
[INFO] [stdout]     = help: add `#![feature(lazy_type_alias)]` to the crate attributes to enable the desired semantics
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: bounds on generic parameters in type aliases are not enforced
[INFO] [stdout]    --> src/strong/ternary.rs:81:24
[INFO] [stdout]     |
[INFO] [stdout]  10 | / type_operators! {
[INFO] [stdout]  11 | |     [A, B, C, D, E, F, G, H]
[INFO] [stdout]  12 | |
[INFO] [stdout]  13 | |     /// Project the first value in a `NatPair`.
[INFO] [stdout] ...   |
[INFO] [stdout]  81 | |     (Unique) NatUnique(Nat): Nat {
[INFO] [stdout]     | |                        ^^^ will not be checked at usage sites of the type alias
[INFO] [stdout] ...   |
[INFO] [stdout] 354 | | }
[INFO] [stdout]     | |_- help: remove this bound
[INFO] [stdout]     |
[INFO] [stdout]     = note: this is a known limitation of the type checker that may be lifted in a future edition.
[INFO] [stdout]             see issue #112792 <https://github.com/rust-lang/rust/issues/112792> for more information
[INFO] [stdout]     = help: add `#![feature(lazy_type_alias)]` to the crate attributes to enable the desired semantics
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: bounds on generic parameters in type aliases are not enforced
[INFO] [stdout]    --> src/strong/balanced.rs:62:24
[INFO] [stdout]     |
[INFO] [stdout]   6 | / type_operators! {
[INFO] [stdout]   7 | |     [A, B, C, D, E, F, G, H]
[INFO] [stdout]   8 | |
[INFO] [stdout]   9 | |     /// Project the first value in an `IntPair`.
[INFO] [stdout] ...   |
[INFO] [stdout]  62 | |     (IntUnique) Unique(Int): Int {
[INFO] [stdout]     | |                        ^^^ will not be checked at usage sites of the type alias
[INFO] [stdout] ...   |
[INFO] [stdout] 374 | | }
[INFO] [stdout]     | |_- help: remove this bound
[INFO] [stdout]     |
[INFO] [stdout]     = note: this is a known limitation of the type checker that may be lifted in a future edition.
[INFO] [stdout]             see issue #112792 <https://github.com/rust-lang/rust/issues/112792> for more information
[INFO] [stdout]     = help: add `#![feature(lazy_type_alias)]` to the crate attributes to enable the desired semantics
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: bounds on generic parameters in type aliases are not enforced
[INFO] [stdout]   --> src/strong/ternary.rs:95:18
[INFO] [stdout]    |
[INFO] [stdout] 95 |     (Add) NatAdd(Nat, Nat): Nat {
[INFO] [stdout]    |                  ^^^  ^^^ will not be checked at usage sites of the type alias
[INFO] [stdout]    |
[INFO] [stdout]    = note: this is a known limitation of the type checker that may be lifted in a future edition.
[INFO] [stdout]            see issue #112792 <https://github.com/rust-lang/rust/issues/112792> for more information
[INFO] [stdout]    = help: add `#![feature(lazy_type_alias)]` to the crate attributes to enable the desired semantics
[INFO] [stdout] help: remove these bounds
[INFO] [stdout]   --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/type-operators-0.3.5/src/lib.rs:743:114
[INFO] [stdout]    |
[INFO] [stdout] 743~         _tlsm_machine!(@cont [$($docs)*] $attrs $alias $machine [$($gensyms),*] [$($kinds)+] [$($accum)* ($gensym $kind)] $out);
[INFO] [stdout] 744|     };
[INFO] [stdout] ...
[INFO] [stdout] 751|     (@cont $docs:tt $attrs:tt $alias:ident $machine:ident [$gensym:ident $(, $gensyms:ident)*] [$kind:tt] [$($accum:tt)*] $out:tt) => {
[INFO] [stdout] 752~         _tlsm_machine!(@cont $docs $attrs $alias $machine [$($gensyms),*] [] [$($accum)* ($gensym $kind)] $out);
[INFO] [stdout]    |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: bounds on generic parameters in type aliases are not enforced
[INFO] [stdout]    --> src/strong/balanced.rs:80:18
[INFO] [stdout]     |
[INFO] [stdout]   6 | / type_operators! {
[INFO] [stdout]   7 | |     [A, B, C, D, E, F, G, H]
[INFO] [stdout]   8 | |
[INFO] [stdout]   9 | |     /// Project the first value in an `IntPair`.
[INFO] [stdout] ...   |
[INFO] [stdout]  80 | |     (Neg) IntNeg(Int): Int {
[INFO] [stdout]     | |                  ^^^ will not be checked at usage sites of the type alias
[INFO] [stdout] ...   |
[INFO] [stdout] 374 | | }
[INFO] [stdout]     | |_- help: remove this bound
[INFO] [stdout]     |
[INFO] [stdout]     = note: this is a known limitation of the type checker that may be lifted in a future edition.
[INFO] [stdout]             see issue #112792 <https://github.com/rust-lang/rust/issues/112792> for more information
[INFO] [stdout]     = help: add `#![feature(lazy_type_alias)]` to the crate attributes to enable the desired semantics
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: bounds on generic parameters in type aliases are not enforced
[INFO] [stdout]    --> src/strong/ternary.rs:128:38
[INFO] [stdout]     |
[INFO] [stdout]  10 | / type_operators! {
[INFO] [stdout]  11 | |     [A, B, C, D, E, F, G, H]
[INFO] [stdout]  12 | |
[INFO] [stdout]  13 | |     /// Project the first value in a `NatPair`.
[INFO] [stdout] ...   |
[INFO] [stdout] 128 | |     (TriplePlusOne) NatTriplePlusOne(Nat): Nat {
[INFO] [stdout]     | |                                      ^^^ will not be checked at usage sites of the type alias
[INFO] [stdout] ...   |
[INFO] [stdout] 354 | | }
[INFO] [stdout]     | |_- help: remove this bound
[INFO] [stdout]     |
[INFO] [stdout]     = note: this is a known limitation of the type checker that may be lifted in a future edition.
[INFO] [stdout]             see issue #112792 <https://github.com/rust-lang/rust/issues/112792> for more information
[INFO] [stdout]     = help: add `#![feature(lazy_type_alias)]` to the crate attributes to enable the desired semantics
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: bounds on generic parameters in type aliases are not enforced
[INFO] [stdout]   --> src/strong/balanced.rs:94:18
[INFO] [stdout]    |
[INFO] [stdout] 94 |     (Add) IntAdd(Int, Int): Int {
[INFO] [stdout]    |                  ^^^  ^^^ will not be checked at usage sites of the type alias
[INFO] [stdout]    |
[INFO] [stdout]    = note: this is a known limitation of the type checker that may be lifted in a future edition.
[INFO] [stdout]            see issue #112792 <https://github.com/rust-lang/rust/issues/112792> for more information
[INFO] [stdout]    = help: add `#![feature(lazy_type_alias)]` to the crate attributes to enable the desired semantics
[INFO] [stdout] help: remove these bounds
[INFO] [stdout]   --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/type-operators-0.3.5/src/lib.rs:743:114
[INFO] [stdout]    |
[INFO] [stdout] 743~         _tlsm_machine!(@cont [$($docs)*] $attrs $alias $machine [$($gensyms),*] [$($kinds)+] [$($accum)* ($gensym $kind)] $out);
[INFO] [stdout] 744|     };
[INFO] [stdout] ...
[INFO] [stdout] 751|     (@cont $docs:tt $attrs:tt $alias:ident $machine:ident [$gensym:ident $(, $gensyms:ident)*] [$kind:tt] [$($accum:tt)*] $out:tt) => {
[INFO] [stdout] 752~         _tlsm_machine!(@cont $docs $attrs $alias $machine [$($gensyms),*] [] [$($accum)* ($gensym $kind)] $out);
[INFO] [stdout]    |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: bounds on generic parameters in type aliases are not enforced
[INFO] [stdout]    --> src/strong/ternary.rs:139:38
[INFO] [stdout]     |
[INFO] [stdout]  10 | / type_operators! {
[INFO] [stdout]  11 | |     [A, B, C, D, E, F, G, H]
[INFO] [stdout]  12 | |
[INFO] [stdout]  13 | |     /// Project the first value in a `NatPair`.
[INFO] [stdout] ...   |
[INFO] [stdout] 139 | |     (TriplePlusTwo) NatTriplePlusTwo(Nat): Nat {
[INFO] [stdout]     | |                                      ^^^ will not be checked at usage sites of the type alias
[INFO] [stdout] ...   |
[INFO] [stdout] 354 | | }
[INFO] [stdout]     | |_- help: remove this bound
[INFO] [stdout]     |
[INFO] [stdout]     = note: this is a known limitation of the type checker that may be lifted in a future edition.
[INFO] [stdout]             see issue #112792 <https://github.com/rust-lang/rust/issues/112792> for more information
[INFO] [stdout]     = help: add `#![feature(lazy_type_alias)]` to the crate attributes to enable the desired semantics
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: bounds on generic parameters in type aliases are not enforced
[INFO] [stdout]    --> src/strong/balanced.rs:127:18
[INFO] [stdout]     |
[INFO] [stdout] 127 |     (Sub) IntSub(Int, Int): Int {
[INFO] [stdout]     |                  ^^^  ^^^ will not be checked at usage sites of the type alias
[INFO] [stdout]     |
[INFO] [stdout]     = note: this is a known limitation of the type checker that may be lifted in a future edition.
[INFO] [stdout]             see issue #112792 <https://github.com/rust-lang/rust/issues/112792> for more information
[INFO] [stdout]     = help: add `#![feature(lazy_type_alias)]` to the crate attributes to enable the desired semantics
[INFO] [stdout] help: remove these bounds
[INFO] [stdout]    --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/type-operators-0.3.5/src/lib.rs:743:114
[INFO] [stdout]     |
[INFO] [stdout] 743 ~         _tlsm_machine!(@cont [$($docs)*] $attrs $alias $machine [$($gensyms),*] [$($kinds)+] [$($accum)* ($gensym $kind)] $out);
[INFO] [stdout] 744 |     };
[INFO] [stdout] ...
[INFO] [stdout] 751 |     (@cont $docs:tt $attrs:tt $alias:ident $machine:ident [$gensym:ident $(, $gensyms:ident)*] [$kind:tt] [$($accum:tt)*] $out:tt) => {
[INFO] [stdout] 752 ~         _tlsm_machine!(@cont $docs $attrs $alias $machine [$($gensyms),*] [] [$($accum)* ($gensym $kind)] $out);
[INFO] [stdout]     |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: bounds on generic parameters in type aliases are not enforced
[INFO] [stdout]    --> src/strong/ternary.rs:152:18
[INFO] [stdout]     |
[INFO] [stdout] 152 |     (Sub) NatSub(Nat, Nat): Nat {
[INFO] [stdout]     |                  ^^^  ^^^ will not be checked at usage sites of the type alias
[INFO] [stdout]     |
[INFO] [stdout]     = note: this is a known limitation of the type checker that may be lifted in a future edition.
[INFO] [stdout]             see issue #112792 <https://github.com/rust-lang/rust/issues/112792> for more information
[INFO] [stdout]     = help: add `#![feature(lazy_type_alias)]` to the crate attributes to enable the desired semantics
[INFO] [stdout] help: remove these bounds
[INFO] [stdout]    --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/type-operators-0.3.5/src/lib.rs:743:114
[INFO] [stdout]     |
[INFO] [stdout] 743 ~         _tlsm_machine!(@cont [$($docs)*] $attrs $alias $machine [$($gensyms),*] [$($kinds)+] [$($accum)* ($gensym $kind)] $out);
[INFO] [stdout] 744 |     };
[INFO] [stdout] ...
[INFO] [stdout] 751 |     (@cont $docs:tt $attrs:tt $alias:ident $machine:ident [$gensym:ident $(, $gensyms:ident)*] [$kind:tt] [$($accum:tt)*] $out:tt) => {
[INFO] [stdout] 752 ~         _tlsm_machine!(@cont $docs $attrs $alias $machine [$($gensyms),*] [] [$($accum)* ($gensym $kind)] $out);
[INFO] [stdout]     |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: bounds on generic parameters in type aliases are not enforced
[INFO] [stdout]    --> src/strong/ternary.rs:185:18
[INFO] [stdout]     |
[INFO] [stdout] 185 |     (Mul) NatMul(Nat, Nat): Nat {
[INFO] [stdout]     |                  ^^^  ^^^ will not be checked at usage sites of the type alias
[INFO] [stdout]     |
[INFO] [stdout]     = note: this is a known limitation of the type checker that may be lifted in a future edition.
[INFO] [stdout]             see issue #112792 <https://github.com/rust-lang/rust/issues/112792> for more information
[INFO] [stdout]     = help: add `#![feature(lazy_type_alias)]` to the crate attributes to enable the desired semantics
[INFO] [stdout] help: remove these bounds
[INFO] [stdout]    --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/type-operators-0.3.5/src/lib.rs:743:114
[INFO] [stdout]     |
[INFO] [stdout] 743 ~         _tlsm_machine!(@cont [$($docs)*] $attrs $alias $machine [$($gensyms),*] [$($kinds)+] [$($accum)* ($gensym $kind)] $out);
[INFO] [stdout] 744 |     };
[INFO] [stdout] ...
[INFO] [stdout] 751 |     (@cont $docs:tt $attrs:tt $alias:ident $machine:ident [$gensym:ident $(, $gensyms:ident)*] [$kind:tt] [$($accum:tt)*] $out:tt) => {
[INFO] [stdout] 752 ~         _tlsm_machine!(@cont $docs $attrs $alias $machine [$($gensyms),*] [] [$($accum)* ($gensym $kind)] $out);
[INFO] [stdout]     |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: bounds on generic parameters in type aliases are not enforced
[INFO] [stdout]    --> src/strong/balanced.rs:160:18
[INFO] [stdout]     |
[INFO] [stdout] 160 |     (Mul) IntMul(Int, Int): Int {
[INFO] [stdout]     |                  ^^^  ^^^ will not be checked at usage sites of the type alias
[INFO] [stdout]     |
[INFO] [stdout]     = note: this is a known limitation of the type checker that may be lifted in a future edition.
[INFO] [stdout]             see issue #112792 <https://github.com/rust-lang/rust/issues/112792> for more information
[INFO] [stdout]     = help: add `#![feature(lazy_type_alias)]` to the crate attributes to enable the desired semantics
[INFO] [stdout] help: remove these bounds
[INFO] [stdout]    --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/type-operators-0.3.5/src/lib.rs:743:114
[INFO] [stdout]     |
[INFO] [stdout] 743 ~         _tlsm_machine!(@cont [$($docs)*] $attrs $alias $machine [$($gensyms),*] [$($kinds)+] [$($accum)* ($gensym $kind)] $out);
[INFO] [stdout] 744 |     };
[INFO] [stdout] ...
[INFO] [stdout] 751 |     (@cont $docs:tt $attrs:tt $alias:ident $machine:ident [$gensym:ident $(, $gensyms:ident)*] [$kind:tt] [$($accum:tt)*] $out:tt) => {
[INFO] [stdout] 752 ~         _tlsm_machine!(@cont $docs $attrs $alias $machine [$($gensyms),*] [] [$($accum)* ($gensym $kind)] $out);
[INFO] [stdout]     |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: bounds on generic parameters in type aliases are not enforced
[INFO] [stdout]    --> src/strong/ternary.rs:220:18
[INFO] [stdout]     |
[INFO] [stdout] 220 |     (Cmp) NatCmp(Nat, Nat, Nat, Nat, Nat): Nat {
[INFO] [stdout]     |                  ^^^  ^^^  ^^^  ^^^  ^^^ will not be checked at usage sites of the type alias
[INFO] [stdout]     |
[INFO] [stdout]     = note: this is a known limitation of the type checker that may be lifted in a future edition.
[INFO] [stdout]             see issue #112792 <https://github.com/rust-lang/rust/issues/112792> for more information
[INFO] [stdout]     = help: add `#![feature(lazy_type_alias)]` to the crate attributes to enable the desired semantics
[INFO] [stdout] help: remove these bounds
[INFO] [stdout]    --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/type-operators-0.3.5/src/lib.rs:743:114
[INFO] [stdout]     |
[INFO] [stdout] 743 ~         _tlsm_machine!(@cont [$($docs)*] $attrs $alias $machine [$($gensyms),*] [$($kinds)+] [$($accum)* ($gensym $kind)] $out);
[INFO] [stdout] 744 |     };
[INFO] [stdout] 745 |     (@cont $docs:tt $attrs:tt $alias:ident $machine:ident [$gensym:ident $(, $gensyms:ident)*] [$kind:tt , $($kinds:tt)+] [$($accum:tt)*] $out:tt) => {
[INFO] [stdout] 746 ~         _tlsm_machine!(@cont $docs $attrs $alias $machine [$($gensyms),*] [$($kinds)+] [$($accum)* ($gensym $kind)] $out);
[INFO] [stdout] 747 |     };
[INFO] [stdout] ...
[INFO] [stdout] 751 |     (@cont $docs:tt $attrs:tt $alias:ident $machine:ident [$gensym:ident $(, $gensyms:ident)*] [$kind:tt] [$($accum:tt)*] $out:tt) => {
[INFO] [stdout] 752 ~         _tlsm_machine!(@cont $docs $attrs $alias $machine [$($gensyms),*] [] [$($accum)* ($gensym $kind)] $out);
[INFO] [stdout]     |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: bounds on generic parameters in type aliases are not enforced
[INFO] [stdout]    --> src/strong/balanced.rs:196:18
[INFO] [stdout]     |
[INFO] [stdout] 196 |     (Cmp) IntCmp(Int, Int, Int, Int, Int): Int {
[INFO] [stdout]     |                  ^^^  ^^^  ^^^  ^^^  ^^^ will not be checked at usage sites of the type alias
[INFO] [stdout]     |
[INFO] [stdout]     = note: this is a known limitation of the type checker that may be lifted in a future edition.
[INFO] [stdout]             see issue #112792 <https://github.com/rust-lang/rust/issues/112792> for more information
[INFO] [stdout]     = help: add `#![feature(lazy_type_alias)]` to the crate attributes to enable the desired semantics
[INFO] [stdout] help: remove these bounds
[INFO] [stdout]    --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/type-operators-0.3.5/src/lib.rs:743:114
[INFO] [stdout]     |
[INFO] [stdout] 743 ~         _tlsm_machine!(@cont [$($docs)*] $attrs $alias $machine [$($gensyms),*] [$($kinds)+] [$($accum)* ($gensym $kind)] $out);
[INFO] [stdout] 744 |     };
[INFO] [stdout] 745 |     (@cont $docs:tt $attrs:tt $alias:ident $machine:ident [$gensym:ident $(, $gensyms:ident)*] [$kind:tt , $($kinds:tt)+] [$($accum:tt)*] $out:tt) => {
[INFO] [stdout] 746 ~         _tlsm_machine!(@cont $docs $attrs $alias $machine [$($gensyms),*] [$($kinds)+] [$($accum)* ($gensym $kind)] $out);
[INFO] [stdout] 747 |     };
[INFO] [stdout] ...
[INFO] [stdout] 751 |     (@cont $docs:tt $attrs:tt $alias:ident $machine:ident [$gensym:ident $(, $gensyms:ident)*] [$kind:tt] [$($accum:tt)*] $out:tt) => {
[INFO] [stdout] 752 ~         _tlsm_machine!(@cont $docs $attrs $alias $machine [$($gensyms),*] [] [$($accum)* ($gensym $kind)] $out);
[INFO] [stdout]     |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: bounds on generic parameters in type aliases are not enforced
[INFO] [stdout]    --> src/strong/balanced.rs:223:20
[INFO] [stdout]     |
[INFO] [stdout] 223 |     (Cmp2) IntCmp2(Int, Int, IntPair, IntPair, IntPair): IntPair {
[INFO] [stdout]     |                    ^^^  ^^^  ^^^^^^^  ^^^^^^^  ^^^^^^^ will not be checked at usage sites of the type alias
[INFO] [stdout]     |
[INFO] [stdout]     = note: this is a known limitation of the type checker that may be lifted in a future edition.
[INFO] [stdout]             see issue #112792 <https://github.com/rust-lang/rust/issues/112792> for more information
[INFO] [stdout]     = help: add `#![feature(lazy_type_alias)]` to the crate attributes to enable the desired semantics
[INFO] [stdout] help: remove these bounds
[INFO] [stdout]    --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/type-operators-0.3.5/src/lib.rs:743:114
[INFO] [stdout]     |
[INFO] [stdout] 743 ~         _tlsm_machine!(@cont [$($docs)*] $attrs $alias $machine [$($gensyms),*] [$($kinds)+] [$($accum)* ($gensym $kind)] $out);
[INFO] [stdout] 744 |     };
[INFO] [stdout] 745 |     (@cont $docs:tt $attrs:tt $alias:ident $machine:ident [$gensym:ident $(, $gensyms:ident)*] [$kind:tt , $($kinds:tt)+] [$($accum:tt)*] $out:tt) => {
[INFO] [stdout] 746 ~         _tlsm_machine!(@cont $docs $attrs $alias $machine [$($gensyms),*] [$($kinds)+] [$($accum)* ($gensym $kind)] $out);
[INFO] [stdout] 747 |     };
[INFO] [stdout] ...
[INFO] [stdout] 751 |     (@cont $docs:tt $attrs:tt $alias:ident $machine:ident [$gensym:ident $(, $gensyms:ident)*] [$kind:tt] [$($accum:tt)*] $out:tt) => {
[INFO] [stdout] 752 ~         _tlsm_machine!(@cont $docs $attrs $alias $machine [$($gensyms),*] [] [$($accum)* ($gensym $kind)] $out);
[INFO] [stdout]     |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: bounds on generic parameters in type aliases are not enforced
[INFO] [stdout]    --> src/strong/ternary.rs:247:28
[INFO] [stdout]     |
[INFO] [stdout] 247 |     (UndefOr2) NatUndefOr2(Nat, Nat, NatPair): NatPair {
[INFO] [stdout]     |                            ^^^  ^^^  ^^^^^^^ will not be checked at usage sites of the type alias
[INFO] [stdout]     |
[INFO] [stdout]     = note: this is a known limitation of the type checker that may be lifted in a future edition.
[INFO] [stdout]             see issue #112792 <https://github.com/rust-lang/rust/issues/112792> for more information
[INFO] [stdout]     = help: add `#![feature(lazy_type_alias)]` to the crate attributes to enable the desired semantics
[INFO] [stdout] help: remove these bounds
[INFO] [stdout]    --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/type-operators-0.3.5/src/lib.rs:743:114
[INFO] [stdout]     |
[INFO] [stdout] 743 ~         _tlsm_machine!(@cont [$($docs)*] $attrs $alias $machine [$($gensyms),*] [$($kinds)+] [$($accum)* ($gensym $kind)] $out);
[INFO] [stdout] 744 |     };
[INFO] [stdout] 745 |     (@cont $docs:tt $attrs:tt $alias:ident $machine:ident [$gensym:ident $(, $gensyms:ident)*] [$kind:tt , $($kinds:tt)+] [$($accum:tt)*] $out:tt) => {
[INFO] [stdout] 746 ~         _tlsm_machine!(@cont $docs $attrs $alias $machine [$($gensyms),*] [$($kinds)+] [$($accum)* ($gensym $kind)] $out);
[INFO] [stdout] 747 |     };
[INFO] [stdout] ...
[INFO] [stdout] 751 |     (@cont $docs:tt $attrs:tt $alias:ident $machine:ident [$gensym:ident $(, $gensyms:ident)*] [$kind:tt] [$($accum:tt)*] $out:tt) => {
[INFO] [stdout] 752 ~         _tlsm_machine!(@cont $docs $attrs $alias $machine [$($gensyms),*] [] [$($accum)* ($gensym $kind)] $out);
[INFO] [stdout]     |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: bounds on generic parameters in type aliases are not enforced
[INFO] [stdout]    --> src/strong/ternary.rs:262:18
[INFO] [stdout]     |
[INFO] [stdout]  10 | / type_operators! {
[INFO] [stdout]  11 | |     [A, B, C, D, E, F, G, H]
[INFO] [stdout]  12 | |
[INFO] [stdout]  13 | |     /// Project the first value in a `NatPair`.
[INFO] [stdout] ...   |
[INFO] [stdout] 262 | |     (Rev) NatRev(Nat): Nat {
[INFO] [stdout]     | |                  ^^^ will not be checked at usage sites of the type alias
[INFO] [stdout] ...   |
[INFO] [stdout] 354 | | }
[INFO] [stdout]     | |_- help: remove this bound
[INFO] [stdout]     |
[INFO] [stdout]     = note: this is a known limitation of the type checker that may be lifted in a future edition.
[INFO] [stdout]             see issue #112792 <https://github.com/rust-lang/rust/issues/112792> for more information
[INFO] [stdout]     = help: add `#![feature(lazy_type_alias)]` to the crate attributes to enable the desired semantics
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: bounds on generic parameters in type aliases are not enforced
[INFO] [stdout]    --> src/strong/ternary.rs:268:34
[INFO] [stdout]     |
[INFO] [stdout] 268 |     (RevInternal) NatRevInternal(Nat, Nat): Nat {
[INFO] [stdout]     |                                  ^^^  ^^^ will not be checked at usage sites of the type alias
[INFO] [stdout]     |
[INFO] [stdout]     = note: this is a known limitation of the type checker that may be lifted in a future edition.
[INFO] [stdout]             see issue #112792 <https://github.com/rust-lang/rust/issues/112792> for more information
[INFO] [stdout]     = help: add `#![feature(lazy_type_alias)]` to the crate attributes to enable the desired semantics
[INFO] [stdout] help: remove these bounds
[INFO] [stdout]    --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/type-operators-0.3.5/src/lib.rs:743:114
[INFO] [stdout]     |
[INFO] [stdout] 743 ~         _tlsm_machine!(@cont [$($docs)*] $attrs $alias $machine [$($gensyms),*] [$($kinds)+] [$($accum)* ($gensym $kind)] $out);
[INFO] [stdout] 744 |     };
[INFO] [stdout] ...
[INFO] [stdout] 751 |     (@cont $docs:tt $attrs:tt $alias:ident $machine:ident [$gensym:ident $(, $gensyms:ident)*] [$kind:tt] [$($accum:tt)*] $out:tt) => {
[INFO] [stdout] 752 ~         _tlsm_machine!(@cont $docs $attrs $alias $machine [$($gensyms),*] [] [$($accum)* ($gensym $kind)] $out);
[INFO] [stdout]     |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: bounds on generic parameters in type aliases are not enforced
[INFO] [stdout]    --> src/strong/balanced.rs:248:24
[INFO] [stdout]     |
[INFO] [stdout] 248 |     (LteCmp) IntLteCmp(Int, Int, Int, Int): Int {
[INFO] [stdout]     |                        ^^^  ^^^  ^^^  ^^^ will not be checked at usage sites of the type alias
[INFO] [stdout]     |
[INFO] [stdout]     = note: this is a known limitation of the type checker that may be lifted in a future edition.
[INFO] [stdout]             see issue #112792 <https://github.com/rust-lang/rust/issues/112792> for more information
[INFO] [stdout]     = help: add `#![feature(lazy_type_alias)]` to the crate attributes to enable the desired semantics
[INFO] [stdout] help: remove these bounds
[INFO] [stdout]    --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/type-operators-0.3.5/src/lib.rs:743:114
[INFO] [stdout]     |
[INFO] [stdout] 743 ~         _tlsm_machine!(@cont [$($docs)*] $attrs $alias $machine [$($gensyms),*] [$($kinds)+] [$($accum)* ($gensym $kind)] $out);
[INFO] [stdout] 744 |     };
[INFO] [stdout] 745 |     (@cont $docs:tt $attrs:tt $alias:ident $machine:ident [$gensym:ident $(, $gensyms:ident)*] [$kind:tt , $($kinds:tt)+] [$($accum:tt)*] $out:tt) => {
[INFO] [stdout] 746 ~         _tlsm_machine!(@cont $docs $attrs $alias $machine [$($gensyms),*] [$($kinds)+] [$($accum)* ($gensym $kind)] $out);
[INFO] [stdout] 747 |     };
[INFO] [stdout] ...
[INFO] [stdout] 751 |     (@cont $docs:tt $attrs:tt $alias:ident $machine:ident [$gensym:ident $(, $gensyms:ident)*] [$kind:tt] [$($accum:tt)*] $out:tt) => {
[INFO] [stdout] 752 ~         _tlsm_machine!(@cont $docs $attrs $alias $machine [$($gensyms),*] [] [$($accum)* ($gensym $kind)] $out);
[INFO] [stdout]     |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: bounds on generic parameters in type aliases are not enforced
[INFO] [stdout]    --> src/strong/balanced.rs:254:26
[INFO] [stdout]     |
[INFO] [stdout] 254 |     (LteCmp2) IntLteCmp2(Int, Int, IntPair, IntPair): IntPair {
[INFO] [stdout]     |                          ^^^  ^^^  ^^^^^^^  ^^^^^^^ will not be checked at usage sites of the type alias
[INFO] [stdout]     |
[INFO] [stdout]     = note: this is a known limitation of the type checker that may be lifted in a future edition.
[INFO] [stdout]             see issue #112792 <https://github.com/rust-lang/rust/issues/112792> for more information
[INFO] [stdout]     = help: add `#![feature(lazy_type_alias)]` to the crate attributes to enable the desired semantics
[INFO] [stdout] help: remove these bounds
[INFO] [stdout]    --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/type-operators-0.3.5/src/lib.rs:743:114
[INFO] [stdout]     |
[INFO] [stdout] 743 ~         _tlsm_machine!(@cont [$($docs)*] $attrs $alias $machine [$($gensyms),*] [$($kinds)+] [$($accum)* ($gensym $kind)] $out);
[INFO] [stdout] 744 |     };
[INFO] [stdout] 745 |     (@cont $docs:tt $attrs:tt $alias:ident $machine:ident [$gensym:ident $(, $gensyms:ident)*] [$kind:tt , $($kinds:tt)+] [$($accum:tt)*] $out:tt) => {
[INFO] [stdout] 746 ~         _tlsm_machine!(@cont $docs $attrs $alias $machine [$($gensyms),*] [$($kinds)+] [$($accum)* ($gensym $kind)] $out);
[INFO] [stdout] 747 |     };
[INFO] [stdout] ...
[INFO] [stdout] 751 |     (@cont $docs:tt $attrs:tt $alias:ident $machine:ident [$gensym:ident $(, $gensyms:ident)*] [$kind:tt] [$($accum:tt)*] $out:tt) => {
[INFO] [stdout] 752 ~         _tlsm_machine!(@cont $docs $attrs $alias $machine [$($gensyms),*] [] [$($accum)* ($gensym $kind)] $out);
[INFO] [stdout]     |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: bounds on generic parameters in type aliases are not enforced
[INFO] [stdout]    --> src/strong/ternary.rs:281:18
[INFO] [stdout]     |
[INFO] [stdout] 281 |     (Div) NatDiv(Nat, Nat): Nat {
[INFO] [stdout]     |                  ^^^  ^^^ will not be checked at usage sites of the type alias
[INFO] [stdout]     |
[INFO] [stdout]     = note: this is a known limitation of the type checker that may be lifted in a future edition.
[INFO] [stdout]             see issue #112792 <https://github.com/rust-lang/rust/issues/112792> for more information
[INFO] [stdout]     = help: add `#![feature(lazy_type_alias)]` to the crate attributes to enable the desired semantics
[INFO] [stdout] help: remove these bounds
[INFO] [stdout]    --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/type-operators-0.3.5/src/lib.rs:743:114
[INFO] [stdout]     |
[INFO] [stdout] 743 ~         _tlsm_machine!(@cont [$($docs)*] $attrs $alias $machine [$($gensyms),*] [$($kinds)+] [$($accum)* ($gensym $kind)] $out);
[INFO] [stdout] 744 |     };
[INFO] [stdout] ...
[INFO] [stdout] 751 |     (@cont $docs:tt $attrs:tt $alias:ident $machine:ident [$gensym:ident $(, $gensyms:ident)*] [$kind:tt] [$($accum:tt)*] $out:tt) => {
[INFO] [stdout] 752 ~         _tlsm_machine!(@cont $docs $attrs $alias $machine [$($gensyms),*] [] [$($accum)* ($gensym $kind)] $out);
[INFO] [stdout]     |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: bounds on generic parameters in type aliases are not enforced
[INFO] [stdout]    --> src/strong/ternary.rs:306:18
[INFO] [stdout]     |
[INFO] [stdout] 306 |     (Rem) NatRem(Nat, Nat): Nat {
[INFO] [stdout]     |                  ^^^  ^^^ will not be checked at usage sites of the type alias
[INFO] [stdout]     |
[INFO] [stdout]     = note: this is a known limitation of the type checker that may be lifted in a future edition.
[INFO] [stdout]             see issue #112792 <https://github.com/rust-lang/rust/issues/112792> for more information
[INFO] [stdout]     = help: add `#![feature(lazy_type_alias)]` to the crate attributes to enable the desired semantics
[INFO] [stdout] help: remove these bounds
[INFO] [stdout]    --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/type-operators-0.3.5/src/lib.rs:743:114
[INFO] [stdout]     |
[INFO] [stdout] 743 ~         _tlsm_machine!(@cont [$($docs)*] $attrs $alias $machine [$($gensyms),*] [$($kinds)+] [$($accum)* ($gensym $kind)] $out);
[INFO] [stdout] 744 |     };
[INFO] [stdout] ...
[INFO] [stdout] 751 |     (@cont $docs:tt $attrs:tt $alias:ident $machine:ident [$gensym:ident $(, $gensyms:ident)*] [$kind:tt] [$($accum:tt)*] $out:tt) => {
[INFO] [stdout] 752 ~         _tlsm_machine!(@cont $docs $attrs $alias $machine [$($gensyms),*] [] [$($accum)* ($gensym $kind)] $out);
[INFO] [stdout]     |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: bounds on generic parameters in type aliases are not enforced
[INFO] [stdout]    --> src/strong/balanced.rs:261:18
[INFO] [stdout]     |
[INFO] [stdout]   6 | / type_operators! {
[INFO] [stdout]   7 | |     [A, B, C, D, E, F, G, H]
[INFO] [stdout]   8 | |
[INFO] [stdout]   9 | |     /// Project the first value in an `IntPair`.
[INFO] [stdout] ...   |
[INFO] [stdout] 261 | |     (Abs) IntAbs(Int): Int {
[INFO] [stdout]     | |                  ^^^ will not be checked at usage sites of the type alias
[INFO] [stdout] ...   |
[INFO] [stdout] 374 | | }
[INFO] [stdout]     | |_- help: remove this bound
[INFO] [stdout]     |
[INFO] [stdout]     = note: this is a known limitation of the type checker that may be lifted in a future edition.
[INFO] [stdout]             see issue #112792 <https://github.com/rust-lang/rust/issues/112792> for more information
[INFO] [stdout]     = help: add `#![feature(lazy_type_alias)]` to the crate attributes to enable the desired semantics
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: bounds on generic parameters in type aliases are not enforced
[INFO] [stdout]    --> src/strong/balanced.rs:273:40
[INFO] [stdout]     |
[INFO] [stdout] 273 |     (AbsMinThreeCmp) IntAbsMinThreeCmp(Int, Int, Int, Int, Int, Int): IntPair {
[INFO] [stdout]     |                                        ^^^  ^^^  ^^^  ^^^  ^^^  ^^^ will not be checked at usage sites of the type alias
[INFO] [stdout]     |
[INFO] [stdout]     = note: this is a known limitation of the type checker that may be lifted in a future edition.
[INFO] [stdout]             see issue #112792 <https://github.com/rust-lang/rust/issues/112792> for more information
[INFO] [stdout]     = help: add `#![feature(lazy_type_alias)]` to the crate attributes to enable the desired semantics
[INFO] [stdout] help: remove these bounds
[INFO] [stdout]    --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/type-operators-0.3.5/src/lib.rs:743:114
[INFO] [stdout]     |
[INFO] [stdout] 743 ~         _tlsm_machine!(@cont [$($docs)*] $attrs $alias $machine [$($gensyms),*] [$($kinds)+] [$($accum)* ($gensym $kind)] $out);
[INFO] [stdout] 744 |     };
[INFO] [stdout] 745 |     (@cont $docs:tt $attrs:tt $alias:ident $machine:ident [$gensym:ident $(, $gensyms:ident)*] [$kind:tt , $($kinds:tt)+] [$($accum:tt)*] $out:tt) => {
[INFO] [stdout] 746 ~         _tlsm_machine!(@cont $docs $attrs $alias $machine [$($gensyms),*] [$($kinds)+] [$($accum)* ($gensym $kind)] $out);
[INFO] [stdout] 747 |     };
[INFO] [stdout] ...
[INFO] [stdout] 751 |     (@cont $docs:tt $attrs:tt $alias:ident $machine:ident [$gensym:ident $(, $gensyms:ident)*] [$kind:tt] [$($accum:tt)*] $out:tt) => {
[INFO] [stdout] 752 ~         _tlsm_machine!(@cont $docs $attrs $alias $machine [$($gensyms),*] [] [$($accum)* ($gensym $kind)] $out);
[INFO] [stdout]     |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: bounds on generic parameters in type aliases are not enforced
[INFO] [stdout]    --> src/strong/ternary.rs:329:34
[INFO] [stdout]     |
[INFO] [stdout] 329 |     (DivInternal) NatDivInternal(Nat, Nat, NatPair): NatPair {
[INFO] [stdout]     |                                  ^^^  ^^^  ^^^^^^^ will not be checked at usage sites of the type alias
[INFO] [stdout]     |
[INFO] [stdout]     = note: this is a known limitation of the type checker that may be lifted in a future edition.
[INFO] [stdout]             see issue #112792 <https://github.com/rust-lang/rust/issues/112792> for more information
[INFO] [stdout]     = help: add `#![feature(lazy_type_alias)]` to the crate attributes to enable the desired semantics
[INFO] [stdout] help: remove these bounds
[INFO] [stdout]    --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/type-operators-0.3.5/src/lib.rs:743:114
[INFO] [stdout]     |
[INFO] [stdout] 743 ~         _tlsm_machine!(@cont [$($docs)*] $attrs $alias $machine [$($gensyms),*] [$($kinds)+] [$($accum)* ($gensym $kind)] $out);
[INFO] [stdout] 744 |     };
[INFO] [stdout] 745 |     (@cont $docs:tt $attrs:tt $alias:ident $machine:ident [$gensym:ident $(, $gensyms:ident)*] [$kind:tt , $($kinds:tt)+] [$($accum:tt)*] $out:tt) => {
[INFO] [stdout] 746 ~         _tlsm_machine!(@cont $docs $attrs $alias $machine [$($gensyms),*] [$($kinds)+] [$($accum)* ($gensym $kind)] $out);
[INFO] [stdout] 747 |     };
[INFO] [stdout] ...
[INFO] [stdout] 751 |     (@cont $docs:tt $attrs:tt $alias:ident $machine:ident [$gensym:ident $(, $gensyms:ident)*] [$kind:tt] [$($accum:tt)*] $out:tt) => {
[INFO] [stdout] 752 ~         _tlsm_machine!(@cont $docs $attrs $alias $machine [$($gensyms),*] [] [$($accum)* ($gensym $kind)] $out);
[INFO] [stdout]     |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: bounds on generic parameters in type aliases are not enforced
[INFO] [stdout]    --> src/strong/balanced.rs:284:18
[INFO] [stdout]     |
[INFO] [stdout]   6 | / type_operators! {
[INFO] [stdout]   7 | |     [A, B, C, D, E, F, G, H]
[INFO] [stdout]   8 | |
[INFO] [stdout]   9 | |     /// Project the first value in an `IntPair`.
[INFO] [stdout] ...   |
[INFO] [stdout] 284 | |     (Rev) IntRev(Int): Int {
[INFO] [stdout]     | |                  ^^^ will not be checked at usage sites of the type alias
[INFO] [stdout] ...   |
[INFO] [stdout] 374 | | }
[INFO] [stdout]     | |_- help: remove this bound
[INFO] [stdout]     |
[INFO] [stdout]     = note: this is a known limitation of the type checker that may be lifted in a future edition.
[INFO] [stdout]             see issue #112792 <https://github.com/rust-lang/rust/issues/112792> for more information
[INFO] [stdout]     = help: add `#![feature(lazy_type_alias)]` to the crate attributes to enable the desired semantics
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: bounds on generic parameters in type aliases are not enforced
[INFO] [stdout]    --> src/strong/balanced.rs:290:34
[INFO] [stdout]     |
[INFO] [stdout] 290 |     (RevInternal) IntRevInternal(Int, Int): Int {
[INFO] [stdout]     |                                  ^^^  ^^^ will not be checked at usage sites of the type alias
[INFO] [stdout]     |
[INFO] [stdout]     = note: this is a known limitation of the type checker that may be lifted in a future edition.
[INFO] [stdout]             see issue #112792 <https://github.com/rust-lang/rust/issues/112792> for more information
[INFO] [stdout]     = help: add `#![feature(lazy_type_alias)]` to the crate attributes to enable the desired semantics
[INFO] [stdout] help: remove these bounds
[INFO] [stdout]    --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/type-operators-0.3.5/src/lib.rs:743:114
[INFO] [stdout]     |
[INFO] [stdout] 743 ~         _tlsm_machine!(@cont [$($docs)*] $attrs $alias $machine [$($gensyms),*] [$($kinds)+] [$($accum)* ($gensym $kind)] $out);
[INFO] [stdout] 744 |     };
[INFO] [stdout] ...
[INFO] [stdout] 751 |     (@cont $docs:tt $attrs:tt $alias:ident $machine:ident [$gensym:ident $(, $gensyms:ident)*] [$kind:tt] [$($accum:tt)*] $out:tt) => {
[INFO] [stdout] 752 ~         _tlsm_machine!(@cont $docs $attrs $alias $machine [$($gensyms),*] [] [$($accum)* ($gensym $kind)] $out);
[INFO] [stdout]     |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: bounds on generic parameters in type aliases are not enforced
[INFO] [stdout]    --> src/strong/balanced.rs:302:18
[INFO] [stdout]     |
[INFO] [stdout] 302 |     (Div) IntDiv(Int, Int): Int {
[INFO] [stdout]     |                  ^^^  ^^^ will not be checked at usage sites of the type alias
[INFO] [stdout]     |
[INFO] [stdout]     = note: this is a known limitation of the type checker that may be lifted in a future edition.
[INFO] [stdout]             see issue #112792 <https://github.com/rust-lang/rust/issues/112792> for more information
[INFO] [stdout]     = help: add `#![feature(lazy_type_alias)]` to the crate attributes to enable the desired semantics
[INFO] [stdout] help: remove these bounds
[INFO] [stdout]    --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/type-operators-0.3.5/src/lib.rs:743:114
[INFO] [stdout]     |
[INFO] [stdout] 743 ~         _tlsm_machine!(@cont [$($docs)*] $attrs $alias $machine [$($gensyms),*] [$($kinds)+] [$($accum)* ($gensym $kind)] $out);
[INFO] [stdout] 744 |     };
[INFO] [stdout] ...
[INFO] [stdout] 751 |     (@cont $docs:tt $attrs:tt $alias:ident $machine:ident [$gensym:ident $(, $gensyms:ident)*] [$kind:tt] [$($accum:tt)*] $out:tt) => {
[INFO] [stdout] 752 ~         _tlsm_machine!(@cont $docs $attrs $alias $machine [$($gensyms),*] [] [$($accum)* ($gensym $kind)] $out);
[INFO] [stdout]     |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: bounds on generic parameters in type aliases are not enforced
[INFO] [stdout]    --> src/strong/balanced.rs:326:18
[INFO] [stdout]     |
[INFO] [stdout] 326 |     (Rem) IntRem(Int, Int): Int {
[INFO] [stdout]     |                  ^^^  ^^^ will not be checked at usage sites of the type alias
[INFO] [stdout]     |
[INFO] [stdout]     = note: this is a known limitation of the type checker that may be lifted in a future edition.
[INFO] [stdout]             see issue #112792 <https://github.com/rust-lang/rust/issues/112792> for more information
[INFO] [stdout]     = help: add `#![feature(lazy_type_alias)]` to the crate attributes to enable the desired semantics
[INFO] [stdout] help: remove these bounds
[INFO] [stdout]    --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/type-operators-0.3.5/src/lib.rs:743:114
[INFO] [stdout]     |
[INFO] [stdout] 743 ~         _tlsm_machine!(@cont [$($docs)*] $attrs $alias $machine [$($gensyms),*] [$($kinds)+] [$($accum)* ($gensym $kind)] $out);
[INFO] [stdout] 744 |     };
[INFO] [stdout] ...
[INFO] [stdout] 751 |     (@cont $docs:tt $attrs:tt $alias:ident $machine:ident [$gensym:ident $(, $gensyms:ident)*] [$kind:tt] [$($accum:tt)*] $out:tt) => {
[INFO] [stdout] 752 ~         _tlsm_machine!(@cont $docs $attrs $alias $machine [$($gensyms),*] [] [$($accum)* ($gensym $kind)] $out);
[INFO] [stdout]     |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: bounds on generic parameters in type aliases are not enforced
[INFO] [stdout]    --> src/strong/balanced.rs:349:34
[INFO] [stdout]     |
[INFO] [stdout] 349 |     (DivInternal) IntDivInternal(Int, Int, IntPair): IntPair {
[INFO] [stdout]     |                                  ^^^  ^^^  ^^^^^^^ will not be checked at usage sites of the type alias
[INFO] [stdout]     |
[INFO] [stdout]     = note: this is a known limitation of the type checker that may be lifted in a future edition.
[INFO] [stdout]             see issue #112792 <https://github.com/rust-lang/rust/issues/112792> for more information
[INFO] [stdout]     = help: add `#![feature(lazy_type_alias)]` to the crate attributes to enable the desired semantics
[INFO] [stdout] help: remove these bounds
[INFO] [stdout]    --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/type-operators-0.3.5/src/lib.rs:743:114
[INFO] [stdout]     |
[INFO] [stdout] 743 ~         _tlsm_machine!(@cont [$($docs)*] $attrs $alias $machine [$($gensyms),*] [$($kinds)+] [$($accum)* ($gensym $kind)] $out);
[INFO] [stdout] 744 |     };
[INFO] [stdout] 745 |     (@cont $docs:tt $attrs:tt $alias:ident $machine:ident [$gensym:ident $(, $gensyms:ident)*] [$kind:tt , $($kinds:tt)+] [$($accum:tt)*] $out:tt) => {
[INFO] [stdout] 746 ~         _tlsm_machine!(@cont $docs $attrs $alias $machine [$($gensyms),*] [$($kinds)+] [$($accum)* ($gensym $kind)] $out);
[INFO] [stdout] 747 |     };
[INFO] [stdout] ...
[INFO] [stdout] 751 |     (@cont $docs:tt $attrs:tt $alias:ident $machine:ident [$gensym:ident $(, $gensyms:ident)*] [$kind:tt] [$($accum:tt)*] $out:tt) => {
[INFO] [stdout] 752 ~         _tlsm_machine!(@cont $docs $attrs $alias $machine [$($gensyms),*] [] [$($accum)* ($gensym $kind)] $out);
[INFO] [stdout]     |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stderr]     Finished `dev` profile [unoptimized + debuginfo] target(s) in 0.55s
[INFO] running `Command { std: "docker" "inspect" "eecb8988b038e88158f1fbef02944795e291ce3593094694a49cb4898811c915", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "eecb8988b038e88158f1fbef02944795e291ce3593094694a49cb4898811c915", kill_on_drop: false }`
[INFO] [stdout] eecb8988b038e88158f1fbef02944795e291ce3593094694a49cb4898811c915
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-1-tc2/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-1-tc2/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=forbid" "-e" "RUSTDOCFLAGS=--cap-lints=forbid" "-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" "ghcr.io/rust-lang/crates-build-env/linux@sha256:e90291280db7d1fac5b66fc6dad9f9662629e7365a55743daf9bdf73ebc4ea79" "/opt/rustwide/cargo-home/bin/cargo" "+d79d87d4c0f7f0d0785ad6e493cf8cf718ed89a6" "test" "--frozen" "--no-run" "--message-format=json", kill_on_drop: false }`
[INFO] [stdout] 7b055c78da24acf878159c78e020496ba617bca871c0903dc192dfd92ed0e921
[INFO] running `Command { std: "docker" "start" "-a" "7b055c78da24acf878159c78e020496ba617bca871c0903dc192dfd92ed0e921", kill_on_drop: false }`
[INFO] [stderr] warning: no edition set: defaulting to the 2015 edition while the latest is 2024
[INFO] [stdout] warning: bounds on generic parameters in type aliases are not enforced
[INFO] [stdout]  --> src/strong/boolean.rs:9:19
[INFO] [stdout]   |
[INFO] [stdout] 9 |     (And) BoolAnd(Bool, Bool): Bool {
[INFO] [stdout]   |                   ^^^^  ^^^^ will not be checked at usage sites of the type alias
[INFO] [stdout]   |
[INFO] [stdout]   = note: this is a known limitation of the type checker that may be lifted in a future edition.
[INFO] [stdout]           see issue #112792 <https://github.com/rust-lang/rust/issues/112792> for more information
[INFO] [stdout]   = help: add `#![feature(lazy_type_alias)]` to the crate attributes to enable the desired semantics
[INFO] [stdout]   = note: `#[warn(type_alias_bounds)]` on by default
[INFO] [stdout] help: remove these bounds
[INFO] [stdout]  --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/type-operators-0.3.5/src/lib.rs:743:114
[INFO] [stdout]   |
[INFO] [stdout] 74~         _tlsm_machine!(@cont [$($docs)*] $attrs $alias $machine [$($gensyms),*] [$($kinds)+] [$($accum)* ($gensym $kind)] $out);
[INFO] [stdout] 74|     };
[INFO] [stdout] ...
[INFO] [stdout] 75|     (@cont $docs:tt $attrs:tt $alias:ident $machine:ident [$gensym:ident $(, $gensyms:ident)*] [$kind:tt] [$($accum:tt)*] $out:tt) => {
[INFO] [stdout] 75~         _tlsm_machine!(@cont $docs $attrs $alias $machine [$($gensyms),*] [] [$($accum)* ($gensym $kind)] $out);
[INFO] [stdout]   |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: bounds on generic parameters in type aliases are not enforced
[INFO] [stdout]    --> src/strong/balanced.rs:10:24
[INFO] [stdout]     |
[INFO] [stdout]   6 | / type_operators! {
[INFO] [stdout]   7 | |     [A, B, C, D, E, F, G, H]
[INFO] [stdout]   8 | |
[INFO] [stdout]   9 | |     /// Project the first value in an `IntPair`.
[INFO] [stdout]  10 | |     (Int2First) Int2P1(IntPair): Int {
[INFO] [stdout]     | |                        ^^^^^^^ will not be checked at usage sites of the type alias
[INFO] [stdout] ...   |
[INFO] [stdout] 374 | | }
[INFO] [stdout]     | |_- help: remove this bound
[INFO] [stdout]     |
[INFO] [stdout]     = note: this is a known limitation of the type checker that may be lifted in a future edition.
[INFO] [stdout]             see issue #112792 <https://github.com/rust-lang/rust/issues/112792> for more information
[INFO] [stdout]     = help: add `#![feature(lazy_type_alias)]` to the crate attributes to enable the desired semantics
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: bounds on generic parameters in type aliases are not enforced
[INFO] [stdout]    --> src/strong/ternary.rs:14:24
[INFO] [stdout]     |
[INFO] [stdout]  10 | / type_operators! {
[INFO] [stdout]  11 | |     [A, B, C, D, E, F, G, H]
[INFO] [stdout]  12 | |
[INFO] [stdout]  13 | |     /// Project the first value in a `NatPair`.
[INFO] [stdout]  14 | |     (Nat2First) Nat2P1(NatPair): Nat {
[INFO] [stdout]     | |                        ^^^^^^^ will not be checked at usage sites of the type alias
[INFO] [stdout] ...   |
[INFO] [stdout] 354 | | }
[INFO] [stdout]     | |_- help: remove this bound
[INFO] [stdout]     |
[INFO] [stdout]     = note: this is a known limitation of the type checker that may be lifted in a future edition.
[INFO] [stdout]             see issue #112792 <https://github.com/rust-lang/rust/issues/112792> for more information
[INFO] [stdout]     = help: add `#![feature(lazy_type_alias)]` to the crate attributes to enable the desired semantics
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: bounds on generic parameters in type aliases are not enforced
[INFO] [stdout]    --> src/strong/balanced.rs:17:25
[INFO] [stdout]     |
[INFO] [stdout]   6 | / type_operators! {
[INFO] [stdout]   7 | |     [A, B, C, D, E, F, G, H]
[INFO] [stdout]   8 | |
[INFO] [stdout]   9 | |     /// Project the first value in an `IntPair`.
[INFO] [stdout] ...   |
[INFO] [stdout]  17 | |     (Int2Second) Int2P2(IntPair): Int {
[INFO] [stdout]     | |                         ^^^^^^^ will not be checked at usage sites of the type alias
[INFO] [stdout] ...   |
[INFO] [stdout] 374 | | }
[INFO] [stdout]     | |_- help: remove this bound
[INFO] [stdout]     |
[INFO] [stdout]     = note: this is a known limitation of the type checker that may be lifted in a future edition.
[INFO] [stdout]             see issue #112792 <https://github.com/rust-lang/rust/issues/112792> for more information
[INFO] [stdout]     = help: add `#![feature(lazy_type_alias)]` to the crate attributes to enable the desired semantics
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: bounds on generic parameters in type aliases are not enforced
[INFO] [stdout]    --> src/strong/ternary.rs:21:25
[INFO] [stdout]     |
[INFO] [stdout]  10 | / type_operators! {
[INFO] [stdout]  11 | |     [A, B, C, D, E, F, G, H]
[INFO] [stdout]  12 | |
[INFO] [stdout]  13 | |     /// Project the first value in a `NatPair`.
[INFO] [stdout] ...   |
[INFO] [stdout]  21 | |     (Nat2Second) Nat2P2(NatPair): Nat {
[INFO] [stdout]     | |                         ^^^^^^^ will not be checked at usage sites of the type alias
[INFO] [stdout] ...   |
[INFO] [stdout] 354 | | }
[INFO] [stdout]     | |_- help: remove this bound
[INFO] [stdout]     |
[INFO] [stdout]     = note: this is a known limitation of the type checker that may be lifted in a future edition.
[INFO] [stdout]             see issue #112792 <https://github.com/rust-lang/rust/issues/112792> for more information
[INFO] [stdout]     = help: add `#![feature(lazy_type_alias)]` to the crate attributes to enable the desired semantics
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: bounds on generic parameters in type aliases are not enforced
[INFO] [stdout]   --> src/strong/boolean.rs:17:17
[INFO] [stdout]    |
[INFO] [stdout] 17 |     (Or) BoolOr(Bool, Bool): Bool {
[INFO] [stdout]    |                 ^^^^  ^^^^ will not be checked at usage sites of the type alias
[INFO] [stdout]    |
[INFO] [stdout]    = note: this is a known limitation of the type checker that may be lifted in a future edition.
[INFO] [stdout]            see issue #112792 <https://github.com/rust-lang/rust/issues/112792> for more information
[INFO] [stdout]    = help: add `#![feature(lazy_type_alias)]` to the crate attributes to enable the desired semantics
[INFO] [stdout] help: remove these bounds
[INFO] [stdout]   --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/type-operators-0.3.5/src/lib.rs:743:114
[INFO] [stdout]    |
[INFO] [stdout] 743~         _tlsm_machine!(@cont [$($docs)*] $attrs $alias $machine [$($gensyms),*] [$($kinds)+] [$($accum)* ($gensym $kind)] $out);
[INFO] [stdout] 744|     };
[INFO] [stdout] ...
[INFO] [stdout] 751|     (@cont $docs:tt $attrs:tt $alias:ident $machine:ident [$gensym:ident $(, $gensyms:ident)*] [$kind:tt] [$($accum:tt)*] $out:tt) => {
[INFO] [stdout] 752~         _tlsm_machine!(@cont $docs $attrs $alias $machine [$($gensyms),*] [] [$($accum)* ($gensym $kind)] $out);
[INFO] [stdout]    |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: bounds on generic parameters in type aliases are not enforced
[INFO] [stdout]   --> src/strong/boolean.rs:26:25
[INFO] [stdout]    |
[INFO] [stdout] 26 |     (IfThen) BoolIfThen(Bool, Bool): Bool {
[INFO] [stdout]    |                         ^^^^  ^^^^ will not be checked at usage sites of the type alias
[INFO] [stdout]    |
[INFO] [stdout]    = note: this is a known limitation of the type checker that may be lifted in a future edition.
[INFO] [stdout]            see issue #112792 <https://github.com/rust-lang/rust/issues/112792> for more information
[INFO] [stdout]    = help: add `#![feature(lazy_type_alias)]` to the crate attributes to enable the desired semantics
[INFO] [stdout] help: remove these bounds
[INFO] [stdout]   --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/type-operators-0.3.5/src/lib.rs:743:114
[INFO] [stdout]    |
[INFO] [stdout] 743~         _tlsm_machine!(@cont [$($docs)*] $attrs $alias $machine [$($gensyms),*] [$($kinds)+] [$($accum)* ($gensym $kind)] $out);
[INFO] [stdout] 744|     };
[INFO] [stdout] ...
[INFO] [stdout] 751|     (@cont $docs:tt $attrs:tt $alias:ident $machine:ident [$gensym:ident $(, $gensyms:ident)*] [$kind:tt] [$($accum:tt)*] $out:tt) => {
[INFO] [stdout] 752~         _tlsm_machine!(@cont $docs $attrs $alias $machine [$($gensyms),*] [] [$($accum)* ($gensym $kind)] $out);
[INFO] [stdout]    |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: bounds on generic parameters in type aliases are not enforced
[INFO] [stdout]    --> src/strong/ternary.rs:29:20
[INFO] [stdout]     |
[INFO] [stdout]  10 | / type_operators! {
[INFO] [stdout]  11 | |     [A, B, C, D, E, F, G, H]
[INFO] [stdout]  12 | |
[INFO] [stdout]  13 | |     /// Project the first value in a `NatPair`.
[INFO] [stdout] ...   |
[INFO] [stdout]  29 | |     (Succ) NatSucc(Nat): Nat {
[INFO] [stdout]     | |                    ^^^ will not be checked at usage sites of the type alias
[INFO] [stdout] ...   |
[INFO] [stdout] 354 | | }
[INFO] [stdout]     | |_- help: remove this bound
[INFO] [stdout]     |
[INFO] [stdout]     = note: this is a known limitation of the type checker that may be lifted in a future edition.
[INFO] [stdout]             see issue #112792 <https://github.com/rust-lang/rust/issues/112792> for more information
[INFO] [stdout]     = help: add `#![feature(lazy_type_alias)]` to the crate attributes to enable the desired semantics
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: bounds on generic parameters in type aliases are not enforced
[INFO] [stdout]    --> src/strong/balanced.rs:24:20
[INFO] [stdout]     |
[INFO] [stdout]   6 | / type_operators! {
[INFO] [stdout]   7 | |     [A, B, C, D, E, F, G, H]
[INFO] [stdout]   8 | |
[INFO] [stdout]   9 | |     /// Project the first value in an `IntPair`.
[INFO] [stdout] ...   |
[INFO] [stdout]  24 | |     (Succ) IntSucc(Int): Int {
[INFO] [stdout]     | |                    ^^^ will not be checked at usage sites of the type alias
[INFO] [stdout] ...   |
[INFO] [stdout] 374 | | }
[INFO] [stdout]     | |_- help: remove this bound
[INFO] [stdout]     |
[INFO] [stdout]     = note: this is a known limitation of the type checker that may be lifted in a future edition.
[INFO] [stdout]             see issue #112792 <https://github.com/rust-lang/rust/issues/112792> for more information
[INFO] [stdout]     = help: add `#![feature(lazy_type_alias)]` to the crate attributes to enable the desired semantics
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: bounds on generic parameters in type aliases are not enforced
[INFO] [stdout]    --> src/strong/ternary.rs:41:20
[INFO] [stdout]     |
[INFO] [stdout]  10 | / type_operators! {
[INFO] [stdout]  11 | |     [A, B, C, D, E, F, G, H]
[INFO] [stdout]  12 | |
[INFO] [stdout]  13 | |     /// Project the first value in a `NatPair`.
[INFO] [stdout] ...   |
[INFO] [stdout]  41 | |     (Pred) NatPred(Nat): Nat {
[INFO] [stdout]     | |                    ^^^ will not be checked at usage sites of the type alias
[INFO] [stdout] ...   |
[INFO] [stdout] 354 | | }
[INFO] [stdout]     | |_- help: remove this bound
[INFO] [stdout]     |
[INFO] [stdout]     = note: this is a known limitation of the type checker that may be lifted in a future edition.
[INFO] [stdout]             see issue #112792 <https://github.com/rust-lang/rust/issues/112792> for more information
[INFO] [stdout]     = help: add `#![feature(lazy_type_alias)]` to the crate attributes to enable the desired semantics
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: bounds on generic parameters in type aliases are not enforced
[INFO] [stdout]   --> src/strong/boolean.rs:35:25
[INFO] [stdout]    |
[INFO] [stdout] 35 |     (OnlyIf) BoolOnlyIf(Bool, Bool): Bool {
[INFO] [stdout]    |                         ^^^^  ^^^^ will not be checked at usage sites of the type alias
[INFO] [stdout]    |
[INFO] [stdout]    = note: this is a known limitation of the type checker that may be lifted in a future edition.
[INFO] [stdout]            see issue #112792 <https://github.com/rust-lang/rust/issues/112792> for more information
[INFO] [stdout]    = help: add `#![feature(lazy_type_alias)]` to the crate attributes to enable the desired semantics
[INFO] [stdout] help: remove these bounds
[INFO] [stdout]   --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/type-operators-0.3.5/src/lib.rs:743:114
[INFO] [stdout]    |
[INFO] [stdout] 743~         _tlsm_machine!(@cont [$($docs)*] $attrs $alias $machine [$($gensyms),*] [$($kinds)+] [$($accum)* ($gensym $kind)] $out);
[INFO] [stdout] 744|     };
[INFO] [stdout] ...
[INFO] [stdout] 751|     (@cont $docs:tt $attrs:tt $alias:ident $machine:ident [$gensym:ident $(, $gensyms:ident)*] [$kind:tt] [$($accum:tt)*] $out:tt) => {
[INFO] [stdout] 752~         _tlsm_machine!(@cont $docs $attrs $alias $machine [$($gensyms),*] [] [$($accum)* ($gensym $kind)] $out);
[INFO] [stdout]    |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: bounds on generic parameters in type aliases are not enforced
[INFO] [stdout]   --> src/strong/boolean.rs:43:19
[INFO] [stdout]    |
[INFO] [stdout] 43 |     (Xor) BoolXor(Bool, Bool): Bool {
[INFO] [stdout]    |                   ^^^^  ^^^^ will not be checked at usage sites of the type alias
[INFO] [stdout]    |
[INFO] [stdout]    = note: this is a known limitation of the type checker that may be lifted in a future edition.
[INFO] [stdout]            see issue #112792 <https://github.com/rust-lang/rust/issues/112792> for more information
[INFO] [stdout]    = help: add `#![feature(lazy_type_alias)]` to the crate attributes to enable the desired semantics
[INFO] [stdout] help: remove these bounds
[INFO] [stdout]   --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/type-operators-0.3.5/src/lib.rs:743:114
[INFO] [stdout]    |
[INFO] [stdout] 743~         _tlsm_machine!(@cont [$($docs)*] $attrs $alias $machine [$($gensyms),*] [$($kinds)+] [$($accum)* ($gensym $kind)] $out);
[INFO] [stdout] 744|     };
[INFO] [stdout] ...
[INFO] [stdout] 751|     (@cont $docs:tt $attrs:tt $alias:ident $machine:ident [$gensym:ident $(, $gensyms:ident)*] [$kind:tt] [$($accum:tt)*] $out:tt) => {
[INFO] [stdout] 752~         _tlsm_machine!(@cont $docs $attrs $alias $machine [$($gensyms),*] [] [$($accum)* ($gensym $kind)] $out);
[INFO] [stdout]    |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: bounds on generic parameters in type aliases are not enforced
[INFO] [stdout]    --> src/strong/ternary.rs:53:32
[INFO] [stdout]     |
[INFO] [stdout]  10 | / type_operators! {
[INFO] [stdout]  11 | |     [A, B, C, D, E, F, G, H]
[INFO] [stdout]  12 | |
[INFO] [stdout]  13 | |     /// Project the first value in a `NatPair`.
[INFO] [stdout] ...   |
[INFO] [stdout]  53 | |     (DoublePred) NatDoublePred(Nat): Nat {
[INFO] [stdout]     | |                                ^^^ will not be checked at usage sites of the type alias
[INFO] [stdout] ...   |
[INFO] [stdout] 354 | | }
[INFO] [stdout]     | |_- help: remove this bound
[INFO] [stdout]     |
[INFO] [stdout]     = note: this is a known limitation of the type checker that may be lifted in a future edition.
[INFO] [stdout]             see issue #112792 <https://github.com/rust-lang/rust/issues/112792> for more information
[INFO] [stdout]     = help: add `#![feature(lazy_type_alias)]` to the crate attributes to enable the desired semantics
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: bounds on generic parameters in type aliases are not enforced
[INFO] [stdout]    --> src/strong/balanced.rs:35:20
[INFO] [stdout]     |
[INFO] [stdout]   6 | / type_operators! {
[INFO] [stdout]   7 | |     [A, B, C, D, E, F, G, H]
[INFO] [stdout]   8 | |
[INFO] [stdout]   9 | |     /// Project the first value in an `IntPair`.
[INFO] [stdout] ...   |
[INFO] [stdout]  35 | |     (Pred) IntPred(Int): Int {
[INFO] [stdout]     | |                    ^^^ will not be checked at usage sites of the type alias
[INFO] [stdout] ...   |
[INFO] [stdout] 374 | | }
[INFO] [stdout]     | |_- help: remove this bound
[INFO] [stdout]     |
[INFO] [stdout]     = note: this is a known limitation of the type checker that may be lifted in a future edition.
[INFO] [stdout]             see issue #112792 <https://github.com/rust-lang/rust/issues/112792> for more information
[INFO] [stdout]     = help: add `#![feature(lazy_type_alias)]` to the crate attributes to enable the desired semantics
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: bounds on generic parameters in type aliases are not enforced
[INFO] [stdout]    --> src/strong/ternary.rs:68:24
[INFO] [stdout]     |
[INFO] [stdout]  10 | / type_operators! {
[INFO] [stdout]  11 | |     [A, B, C, D, E, F, G, H]
[INFO] [stdout]  12 | |
[INFO] [stdout]  13 | |     /// Project the first value in a `NatPair`.
[INFO] [stdout] ...   |
[INFO] [stdout]  68 | |     (Triple) NatTriple(Nat): Nat {
[INFO] [stdout]     | |                        ^^^ will not be checked at usage sites of the type alias
[INFO] [stdout] ...   |
[INFO] [stdout] 354 | | }
[INFO] [stdout]     | |_- help: remove this bound
[INFO] [stdout]     |
[INFO] [stdout]     = note: this is a known limitation of the type checker that may be lifted in a future edition.
[INFO] [stdout]             see issue #112792 <https://github.com/rust-lang/rust/issues/112792> for more information
[INFO] [stdout]     = help: add `#![feature(lazy_type_alias)]` to the crate attributes to enable the desired semantics
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: bounds on generic parameters in type aliases are not enforced
[INFO] [stdout]    --> src/strong/balanced.rs:49:24
[INFO] [stdout]     |
[INFO] [stdout]   6 | / type_operators! {
[INFO] [stdout]   7 | |     [A, B, C, D, E, F, G, H]
[INFO] [stdout]   8 | |
[INFO] [stdout]   9 | |     /// Project the first value in an `IntPair`.
[INFO] [stdout] ...   |
[INFO] [stdout]  49 | |     (Triple) IntTriple(Int): Int {
[INFO] [stdout]     | |                        ^^^ will not be checked at usage sites of the type alias
[INFO] [stdout] ...   |
[INFO] [stdout] 374 | | }
[INFO] [stdout]     | |_- help: remove this bound
[INFO] [stdout]     |
[INFO] [stdout]     = note: this is a known limitation of the type checker that may be lifted in a future edition.
[INFO] [stdout]             see issue #112792 <https://github.com/rust-lang/rust/issues/112792> for more information
[INFO] [stdout]     = help: add `#![feature(lazy_type_alias)]` to the crate attributes to enable the desired semantics
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: bounds on generic parameters in type aliases are not enforced
[INFO] [stdout]    --> src/strong/ternary.rs:81:24
[INFO] [stdout]     |
[INFO] [stdout]  10 | / type_operators! {
[INFO] [stdout]  11 | |     [A, B, C, D, E, F, G, H]
[INFO] [stdout]  12 | |
[INFO] [stdout]  13 | |     /// Project the first value in a `NatPair`.
[INFO] [stdout] ...   |
[INFO] [stdout]  81 | |     (Unique) NatUnique(Nat): Nat {
[INFO] [stdout]     | |                        ^^^ will not be checked at usage sites of the type alias
[INFO] [stdout] ...   |
[INFO] [stdout] 354 | | }
[INFO] [stdout]     | |_- help: remove this bound
[INFO] [stdout]     |
[INFO] [stdout]     = note: this is a known limitation of the type checker that may be lifted in a future edition.
[INFO] [stdout]             see issue #112792 <https://github.com/rust-lang/rust/issues/112792> for more information
[INFO] [stdout]     = help: add `#![feature(lazy_type_alias)]` to the crate attributes to enable the desired semantics
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: bounds on generic parameters in type aliases are not enforced
[INFO] [stdout]    --> src/strong/balanced.rs:62:24
[INFO] [stdout]     |
[INFO] [stdout]   6 | / type_operators! {
[INFO] [stdout]   7 | |     [A, B, C, D, E, F, G, H]
[INFO] [stdout]   8 | |
[INFO] [stdout]   9 | |     /// Project the first value in an `IntPair`.
[INFO] [stdout] ...   |
[INFO] [stdout]  62 | |     (IntUnique) Unique(Int): Int {
[INFO] [stdout]     | |                        ^^^ will not be checked at usage sites of the type alias
[INFO] [stdout] ...   |
[INFO] [stdout] 374 | | }
[INFO] [stdout]     | |_- help: remove this bound
[INFO] [stdout]     |
[INFO] [stdout]     = note: this is a known limitation of the type checker that may be lifted in a future edition.
[INFO] [stdout]             see issue #112792 <https://github.com/rust-lang/rust/issues/112792> for more information
[INFO] [stdout]     = help: add `#![feature(lazy_type_alias)]` to the crate attributes to enable the desired semantics
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: bounds on generic parameters in type aliases are not enforced
[INFO] [stdout]   --> src/strong/ternary.rs:95:18
[INFO] [stdout]    |
[INFO] [stdout] 95 |     (Add) NatAdd(Nat, Nat): Nat {
[INFO] [stdout]    |                  ^^^  ^^^ will not be checked at usage sites of the type alias
[INFO] [stdout]    |
[INFO] [stdout]    = note: this is a known limitation of the type checker that may be lifted in a future edition.
[INFO] [stdout]            see issue #112792 <https://github.com/rust-lang/rust/issues/112792> for more information
[INFO] [stdout]    = help: add `#![feature(lazy_type_alias)]` to the crate attributes to enable the desired semantics
[INFO] [stdout] help: remove these bounds
[INFO] [stdout]   --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/type-operators-0.3.5/src/lib.rs:743:114
[INFO] [stdout]    |
[INFO] [stdout] 743~         _tlsm_machine!(@cont [$($docs)*] $attrs $alias $machine [$($gensyms),*] [$($kinds)+] [$($accum)* ($gensym $kind)] $out);
[INFO] [stdout] 744|     };
[INFO] [stdout] ...
[INFO] [stdout] 751|     (@cont $docs:tt $attrs:tt $alias:ident $machine:ident [$gensym:ident $(, $gensyms:ident)*] [$kind:tt] [$($accum:tt)*] $out:tt) => {
[INFO] [stdout] 752~         _tlsm_machine!(@cont $docs $attrs $alias $machine [$($gensyms),*] [] [$($accum)* ($gensym $kind)] $out);
[INFO] [stdout]    |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: bounds on generic parameters in type aliases are not enforced
[INFO] [stdout]    --> src/strong/balanced.rs:80:18
[INFO] [stdout]     |
[INFO] [stdout]   6 | / type_operators! {
[INFO] [stdout]   7 | |     [A, B, C, D, E, F, G, H]
[INFO] [stdout]   8 | |
[INFO] [stdout]   9 | |     /// Project the first value in an `IntPair`.
[INFO] [stdout] ...   |
[INFO] [stdout]  80 | |     (Neg) IntNeg(Int): Int {
[INFO] [stdout]     | |                  ^^^ will not be checked at usage sites of the type alias
[INFO] [stdout] ...   |
[INFO] [stdout] 374 | | }
[INFO] [stdout]     | |_- help: remove this bound
[INFO] [stdout]     |
[INFO] [stdout]     = note: this is a known limitation of the type checker that may be lifted in a future edition.
[INFO] [stdout]             see issue #112792 <https://github.com/rust-lang/rust/issues/112792> for more information
[INFO] [stdout]     = help: add `#![feature(lazy_type_alias)]` to the crate attributes to enable the desired semantics
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: bounds on generic parameters in type aliases are not enforced
[INFO] [stdout]    --> src/strong/ternary.rs:128:38
[INFO] [stdout]     |
[INFO] [stdout]  10 | / type_operators! {
[INFO] [stdout]  11 | |     [A, B, C, D, E, F, G, H]
[INFO] [stdout]  12 | |
[INFO] [stdout]  13 | |     /// Project the first value in a `NatPair`.
[INFO] [stdout] ...   |
[INFO] [stdout] 128 | |     (TriplePlusOne) NatTriplePlusOne(Nat): Nat {
[INFO] [stdout]     | |                                      ^^^ will not be checked at usage sites of the type alias
[INFO] [stdout] ...   |
[INFO] [stdout] 354 | | }
[INFO] [stdout]     | |_- help: remove this bound
[INFO] [stdout]     |
[INFO] [stdout]     = note: this is a known limitation of the type checker that may be lifted in a future edition.
[INFO] [stdout]             see issue #112792 <https://github.com/rust-lang/rust/issues/112792> for more information
[INFO] [stdout]     = help: add `#![feature(lazy_type_alias)]` to the crate attributes to enable the desired semantics
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: bounds on generic parameters in type aliases are not enforced
[INFO] [stdout]   --> src/strong/balanced.rs:94:18
[INFO] [stdout]    |
[INFO] [stdout] 94 |     (Add) IntAdd(Int, Int): Int {
[INFO] [stdout]    |                  ^^^  ^^^ will not be checked at usage sites of the type alias
[INFO] [stdout]    |
[INFO] [stdout]    = note: this is a known limitation of the type checker that may be lifted in a future edition.
[INFO] [stdout]            see issue #112792 <https://github.com/rust-lang/rust/issues/112792> for more information
[INFO] [stdout]    = help: add `#![feature(lazy_type_alias)]` to the crate attributes to enable the desired semantics
[INFO] [stdout] help: remove these bounds
[INFO] [stdout]   --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/type-operators-0.3.5/src/lib.rs:743:114
[INFO] [stdout]    |
[INFO] [stdout] 743~         _tlsm_machine!(@cont [$($docs)*] $attrs $alias $machine [$($gensyms),*] [$($kinds)+] [$($accum)* ($gensym $kind)] $out);
[INFO] [stdout] 744|     };
[INFO] [stdout] ...
[INFO] [stdout] 751|     (@cont $docs:tt $attrs:tt $alias:ident $machine:ident [$gensym:ident $(, $gensyms:ident)*] [$kind:tt] [$($accum:tt)*] $out:tt) => {
[INFO] [stdout] 752~         _tlsm_machine!(@cont $docs $attrs $alias $machine [$($gensyms),*] [] [$($accum)* ($gensym $kind)] $out);
[INFO] [stdout]    |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: bounds on generic parameters in type aliases are not enforced
[INFO] [stdout]    --> src/strong/ternary.rs:139:38
[INFO] [stdout]     |
[INFO] [stdout]  10 | / type_operators! {
[INFO] [stdout]  11 | |     [A, B, C, D, E, F, G, H]
[INFO] [stdout]  12 | |
[INFO] [stdout]  13 | |     /// Project the first value in a `NatPair`.
[INFO] [stdout] ...   |
[INFO] [stdout] 139 | |     (TriplePlusTwo) NatTriplePlusTwo(Nat): Nat {
[INFO] [stdout]     | |                                      ^^^ will not be checked at usage sites of the type alias
[INFO] [stdout] ...   |
[INFO] [stdout] 354 | | }
[INFO] [stdout]     | |_- help: remove this bound
[INFO] [stdout]     |
[INFO] [stdout]     = note: this is a known limitation of the type checker that may be lifted in a future edition.
[INFO] [stdout]             see issue #112792 <https://github.com/rust-lang/rust/issues/112792> for more information
[INFO] [stdout]     = help: add `#![feature(lazy_type_alias)]` to the crate attributes to enable the desired semantics
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: bounds on generic parameters in type aliases are not enforced
[INFO] [stdout]    --> src/strong/balanced.rs:127:18
[INFO] [stdout]     |
[INFO] [stdout] 127 |     (Sub) IntSub(Int, Int): Int {
[INFO] [stdout]     |                  ^^^  ^^^ will not be checked at usage sites of the type alias
[INFO] [stdout]     |
[INFO] [stdout]     = note: this is a known limitation of the type checker that may be lifted in a future edition.
[INFO] [stdout]             see issue #112792 <https://github.com/rust-lang/rust/issues/112792> for more information
[INFO] [stdout]     = help: add `#![feature(lazy_type_alias)]` to the crate attributes to enable the desired semantics
[INFO] [stdout] help: remove these bounds
[INFO] [stdout]    --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/type-operators-0.3.5/src/lib.rs:743:114
[INFO] [stdout]     |
[INFO] [stdout] 743 ~         _tlsm_machine!(@cont [$($docs)*] $attrs $alias $machine [$($gensyms),*] [$($kinds)+] [$($accum)* ($gensym $kind)] $out);
[INFO] [stdout] 744 |     };
[INFO] [stdout] ...
[INFO] [stdout] 751 |     (@cont $docs:tt $attrs:tt $alias:ident $machine:ident [$gensym:ident $(, $gensyms:ident)*] [$kind:tt] [$($accum:tt)*] $out:tt) => {
[INFO] [stdout] 752 ~         _tlsm_machine!(@cont $docs $attrs $alias $machine [$($gensyms),*] [] [$($accum)* ($gensym $kind)] $out);
[INFO] [stdout]     |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: bounds on generic parameters in type aliases are not enforced
[INFO] [stdout]    --> src/strong/ternary.rs:152:18
[INFO] [stdout]     |
[INFO] [stdout] 152 |     (Sub) NatSub(Nat, Nat): Nat {
[INFO] [stdout]     |                  ^^^  ^^^ will not be checked at usage sites of the type alias
[INFO] [stdout]     |
[INFO] [stdout]     = note: this is a known limitation of the type checker that may be lifted in a future edition.
[INFO] [stdout]             see issue #112792 <https://github.com/rust-lang/rust/issues/112792> for more information
[INFO] [stdout]     = help: add `#![feature(lazy_type_alias)]` to the crate attributes to enable the desired semantics
[INFO] [stdout] help: remove these bounds
[INFO] [stdout]    --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/type-operators-0.3.5/src/lib.rs:743:114
[INFO] [stdout]     |
[INFO] [stdout] 743 ~         _tlsm_machine!(@cont [$($docs)*] $attrs $alias $machine [$($gensyms),*] [$($kinds)+] [$($accum)* ($gensym $kind)] $out);
[INFO] [stdout] 744 |     };
[INFO] [stdout] ...
[INFO] [stdout] 751 |     (@cont $docs:tt $attrs:tt $alias:ident $machine:ident [$gensym:ident $(, $gensyms:ident)*] [$kind:tt] [$($accum:tt)*] $out:tt) => {
[INFO] [stdout] 752 ~         _tlsm_machine!(@cont $docs $attrs $alias $machine [$($gensyms),*] [] [$($accum)* ($gensym $kind)] $out);
[INFO] [stdout]     |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: bounds on generic parameters in type aliases are not enforced
[INFO] [stdout]    --> src/strong/ternary.rs:185:18
[INFO] [stdout]     |
[INFO] [stdout] 185 |     (Mul) NatMul(Nat, Nat): Nat {
[INFO] [stdout]     |                  ^^^  ^^^ will not be checked at usage sites of the type alias
[INFO] [stdout]     |
[INFO] [stdout]     = note: this is a known limitation of the type checker that may be lifted in a future edition.
[INFO] [stdout]             see issue #112792 <https://github.com/rust-lang/rust/issues/112792> for more information
[INFO] [stdout]     = help: add `#![feature(lazy_type_alias)]` to the crate attributes to enable the desired semantics
[INFO] [stdout] help: remove these bounds
[INFO] [stdout]    --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/type-operators-0.3.5/src/lib.rs:743:114
[INFO] [stdout]     |
[INFO] [stdout] 743 ~         _tlsm_machine!(@cont [$($docs)*] $attrs $alias $machine [$($gensyms),*] [$($kinds)+] [$($accum)* ($gensym $kind)] $out);
[INFO] [stdout] 744 |     };
[INFO] [stdout] ...
[INFO] [stdout] 751 |     (@cont $docs:tt $attrs:tt $alias:ident $machine:ident [$gensym:ident $(, $gensyms:ident)*] [$kind:tt] [$($accum:tt)*] $out:tt) => {
[INFO] [stdout] 752 ~         _tlsm_machine!(@cont $docs $attrs $alias $machine [$($gensyms),*] [] [$($accum)* ($gensym $kind)] $out);
[INFO] [stdout]     |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: bounds on generic parameters in type aliases are not enforced
[INFO] [stdout]    --> src/strong/balanced.rs:160:18
[INFO] [stdout]     |
[INFO] [stdout] 160 |     (Mul) IntMul(Int, Int): Int {
[INFO] [stdout]     |                  ^^^  ^^^ will not be checked at usage sites of the type alias
[INFO] [stdout]     |
[INFO] [stdout]     = note: this is a known limitation of the type checker that may be lifted in a future edition.
[INFO] [stdout]             see issue #112792 <https://github.com/rust-lang/rust/issues/112792> for more information
[INFO] [stdout]     = help: add `#![feature(lazy_type_alias)]` to the crate attributes to enable the desired semantics
[INFO] [stdout] help: remove these bounds
[INFO] [stdout]    --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/type-operators-0.3.5/src/lib.rs:743:114
[INFO] [stdout]     |
[INFO] [stdout] 743 ~         _tlsm_machine!(@cont [$($docs)*] $attrs $alias $machine [$($gensyms),*] [$($kinds)+] [$($accum)* ($gensym $kind)] $out);
[INFO] [stdout] 744 |     };
[INFO] [stdout] ...
[INFO] [stdout] 751 |     (@cont $docs:tt $attrs:tt $alias:ident $machine:ident [$gensym:ident $(, $gensyms:ident)*] [$kind:tt] [$($accum:tt)*] $out:tt) => {
[INFO] [stdout] 752 ~         _tlsm_machine!(@cont $docs $attrs $alias $machine [$($gensyms),*] [] [$($accum)* ($gensym $kind)] $out);
[INFO] [stdout]     |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: bounds on generic parameters in type aliases are not enforced
[INFO] [stdout]    --> src/strong/ternary.rs:220:18
[INFO] [stdout]     |
[INFO] [stdout] 220 |     (Cmp) NatCmp(Nat, Nat, Nat, Nat, Nat): Nat {
[INFO] [stdout]     |                  ^^^  ^^^  ^^^  ^^^  ^^^ will not be checked at usage sites of the type alias
[INFO] [stdout]     |
[INFO] [stdout]     = note: this is a known limitation of the type checker that may be lifted in a future edition.
[INFO] [stdout]             see issue #112792 <https://github.com/rust-lang/rust/issues/112792> for more information
[INFO] [stdout]     = help: add `#![feature(lazy_type_alias)]` to the crate attributes to enable the desired semantics
[INFO] [stdout] help: remove these bounds
[INFO] [stdout]    --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/type-operators-0.3.5/src/lib.rs:743:114
[INFO] [stdout]     |
[INFO] [stdout] 743 ~         _tlsm_machine!(@cont [$($docs)*] $attrs $alias $machine [$($gensyms),*] [$($kinds)+] [$($accum)* ($gensym $kind)] $out);
[INFO] [stdout] 744 |     };
[INFO] [stdout] 745 |     (@cont $docs:tt $attrs:tt $alias:ident $machine:ident [$gensym:ident $(, $gensyms:ident)*] [$kind:tt , $($kinds:tt)+] [$($accum:tt)*] $out:tt) => {
[INFO] [stdout] 746 ~         _tlsm_machine!(@cont $docs $attrs $alias $machine [$($gensyms),*] [$($kinds)+] [$($accum)* ($gensym $kind)] $out);
[INFO] [stdout] 747 |     };
[INFO] [stdout] ...
[INFO] [stdout] 751 |     (@cont $docs:tt $attrs:tt $alias:ident $machine:ident [$gensym:ident $(, $gensyms:ident)*] [$kind:tt] [$($accum:tt)*] $out:tt) => {
[INFO] [stdout] 752 ~         _tlsm_machine!(@cont $docs $attrs $alias $machine [$($gensyms),*] [] [$($accum)* ($gensym $kind)] $out);
[INFO] [stdout]     |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: bounds on generic parameters in type aliases are not enforced
[INFO] [stdout]    --> src/strong/balanced.rs:196:18
[INFO] [stdout]     |
[INFO] [stdout] 196 |     (Cmp) IntCmp(Int, Int, Int, Int, Int): Int {
[INFO] [stdout]     |                  ^^^  ^^^  ^^^  ^^^  ^^^ will not be checked at usage sites of the type alias
[INFO] [stdout]     |
[INFO] [stdout]     = note: this is a known limitation of the type checker that may be lifted in a future edition.
[INFO] [stdout]             see issue #112792 <https://github.com/rust-lang/rust/issues/112792> for more information
[INFO] [stdout]     = help: add `#![feature(lazy_type_alias)]` to the crate attributes to enable the desired semantics
[INFO] [stdout] help: remove these bounds
[INFO] [stdout]    --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/type-operators-0.3.5/src/lib.rs:743:114
[INFO] [stdout]     |
[INFO] [stdout] 743 ~         _tlsm_machine!(@cont [$($docs)*] $attrs $alias $machine [$($gensyms),*] [$($kinds)+] [$($accum)* ($gensym $kind)] $out);
[INFO] [stdout] 744 |     };
[INFO] [stdout] 745 |     (@cont $docs:tt $attrs:tt $alias:ident $machine:ident [$gensym:ident $(, $gensyms:ident)*] [$kind:tt , $($kinds:tt)+] [$($accum:tt)*] $out:tt) => {
[INFO] [stdout] 746 ~         _tlsm_machine!(@cont $docs $attrs $alias $machine [$($gensyms),*] [$($kinds)+] [$($accum)* ($gensym $kind)] $out);
[INFO] [stdout] 747 |     };
[INFO] [stdout] ...
[INFO] [stdout] 751 |     (@cont $docs:tt $attrs:tt $alias:ident $machine:ident [$gensym:ident $(, $gensyms:ident)*] [$kind:tt] [$($accum:tt)*] $out:tt) => {
[INFO] [stdout] 752 ~         _tlsm_machine!(@cont $docs $attrs $alias $machine [$($gensyms),*] [] [$($accum)* ($gensym $kind)] $out);
[INFO] [stdout]     |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: bounds on generic parameters in type aliases are not enforced
[INFO] [stdout]    --> src/strong/balanced.rs:223:20
[INFO] [stdout]     |
[INFO] [stdout] 223 |     (Cmp2) IntCmp2(Int, Int, IntPair, IntPair, IntPair): IntPair {
[INFO] [stdout]     |                    ^^^  ^^^  ^^^^^^^  ^^^^^^^  ^^^^^^^ will not be checked at usage sites of the type alias
[INFO] [stdout]     |
[INFO] [stdout]     = note: this is a known limitation of the type checker that may be lifted in a future edition.
[INFO] [stdout]             see issue #112792 <https://github.com/rust-lang/rust/issues/112792> for more information
[INFO] [stdout]     = help: add `#![feature(lazy_type_alias)]` to the crate attributes to enable the desired semantics
[INFO] [stdout] help: remove these bounds
[INFO] [stdout]    --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/type-operators-0.3.5/src/lib.rs:743:114
[INFO] [stdout]     |
[INFO] [stdout] 743 ~         _tlsm_machine!(@cont [$($docs)*] $attrs $alias $machine [$($gensyms),*] [$($kinds)+] [$($accum)* ($gensym $kind)] $out);
[INFO] [stdout] 744 |     };
[INFO] [stdout] 745 |     (@cont $docs:tt $attrs:tt $alias:ident $machine:ident [$gensym:ident $(, $gensyms:ident)*] [$kind:tt , $($kinds:tt)+] [$($accum:tt)*] $out:tt) => {
[INFO] [stdout] 746 ~         _tlsm_machine!(@cont $docs $attrs $alias $machine [$($gensyms),*] [$($kinds)+] [$($accum)* ($gensym $kind)] $out);
[INFO] [stdout] 747 |     };
[INFO] [stdout] ...
[INFO] [stdout] 751 |     (@cont $docs:tt $attrs:tt $alias:ident $machine:ident [$gensym:ident $(, $gensyms:ident)*] [$kind:tt] [$($accum:tt)*] $out:tt) => {
[INFO] [stdout] 752 ~         _tlsm_machine!(@cont $docs $attrs $alias $machine [$($gensyms),*] [] [$($accum)* ($gensym $kind)] $out);
[INFO] [stdout]     |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: bounds on generic parameters in type aliases are not enforced
[INFO] [stdout]    --> src/strong/ternary.rs:247:28
[INFO] [stdout]     |
[INFO] [stdout] 247 |     (UndefOr2) NatUndefOr2(Nat, Nat, NatPair): NatPair {
[INFO] [stdout]     |                            ^^^  ^^^  ^^^^^^^ will not be checked at usage sites of the type alias
[INFO] [stdout]     |
[INFO] [stdout]     = note: this is a known limitation of the type checker that may be lifted in a future edition.
[INFO] [stdout]             see issue #112792 <https://github.com/rust-lang/rust/issues/112792> for more information
[INFO] [stdout]     = help: add `#![feature(lazy_type_alias)]` to the crate attributes to enable the desired semantics
[INFO] [stdout] help: remove these bounds
[INFO] [stdout]    --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/type-operators-0.3.5/src/lib.rs:743:114
[INFO] [stdout]     |
[INFO] [stdout] 743 ~         _tlsm_machine!(@cont [$($docs)*] $attrs $alias $machine [$($gensyms),*] [$($kinds)+] [$($accum)* ($gensym $kind)] $out);
[INFO] [stdout] 744 |     };
[INFO] [stdout] 745 |     (@cont $docs:tt $attrs:tt $alias:ident $machine:ident [$gensym:ident $(, $gensyms:ident)*] [$kind:tt , $($kinds:tt)+] [$($accum:tt)*] $out:tt) => {
[INFO] [stdout] 746 ~         _tlsm_machine!(@cont $docs $attrs $alias $machine [$($gensyms),*] [$($kinds)+] [$($accum)* ($gensym $kind)] $out);
[INFO] [stdout] 747 |     };
[INFO] [stdout] ...
[INFO] [stdout] 751 |     (@cont $docs:tt $attrs:tt $alias:ident $machine:ident [$gensym:ident $(, $gensyms:ident)*] [$kind:tt] [$($accum:tt)*] $out:tt) => {
[INFO] [stdout] 752 ~         _tlsm_machine!(@cont $docs $attrs $alias $machine [$($gensyms),*] [] [$($accum)* ($gensym $kind)] $out);
[INFO] [stdout]     |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: bounds on generic parameters in type aliases are not enforced
[INFO] [stdout]    --> src/strong/ternary.rs:262:18
[INFO] [stdout]     |
[INFO] [stdout]  10 | / type_operators! {
[INFO] [stdout]  11 | |     [A, B, C, D, E, F, G, H]
[INFO] [stdout]  12 | |
[INFO] [stdout]  13 | |     /// Project the first value in a `NatPair`.
[INFO] [stdout] ...   |
[INFO] [stdout] 262 | |     (Rev) NatRev(Nat): Nat {
[INFO] [stdout]     | |                  ^^^ will not be checked at usage sites of the type alias
[INFO] [stdout] ...   |
[INFO] [stdout] 354 | | }
[INFO] [stdout]     | |_- help: remove this bound
[INFO] [stdout]     |
[INFO] [stdout]     = note: this is a known limitation of the type checker that may be lifted in a future edition.
[INFO] [stdout]             see issue #112792 <https://github.com/rust-lang/rust/issues/112792> for more information
[INFO] [stdout]     = help: add `#![feature(lazy_type_alias)]` to the crate attributes to enable the desired semantics
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: bounds on generic parameters in type aliases are not enforced
[INFO] [stdout]    --> src/strong/ternary.rs:268:34
[INFO] [stdout]     |
[INFO] [stdout] 268 |     (RevInternal) NatRevInternal(Nat, Nat): Nat {
[INFO] [stdout]     |                                  ^^^  ^^^ will not be checked at usage sites of the type alias
[INFO] [stdout]     |
[INFO] [stdout]     = note: this is a known limitation of the type checker that may be lifted in a future edition.
[INFO] [stdout]             see issue #112792 <https://github.com/rust-lang/rust/issues/112792> for more information
[INFO] [stdout]     = help: add `#![feature(lazy_type_alias)]` to the crate attributes to enable the desired semantics
[INFO] [stdout] help: remove these bounds
[INFO] [stdout]    --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/type-operators-0.3.5/src/lib.rs:743:114
[INFO] [stdout]     |
[INFO] [stdout] 743 ~         _tlsm_machine!(@cont [$($docs)*] $attrs $alias $machine [$($gensyms),*] [$($kinds)+] [$($accum)* ($gensym $kind)] $out);
[INFO] [stdout] 744 |     };
[INFO] [stdout] ...
[INFO] [stdout] 751 |     (@cont $docs:tt $attrs:tt $alias:ident $machine:ident [$gensym:ident $(, $gensyms:ident)*] [$kind:tt] [$($accum:tt)*] $out:tt) => {
[INFO] [stdout] 752 ~         _tlsm_machine!(@cont $docs $attrs $alias $machine [$($gensyms),*] [] [$($accum)* ($gensym $kind)] $out);
[INFO] [stdout]     |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: bounds on generic parameters in type aliases are not enforced
[INFO] [stdout]    --> src/strong/balanced.rs:248:24
[INFO] [stdout]     |
[INFO] [stdout] 248 |     (LteCmp) IntLteCmp(Int, Int, Int, Int): Int {
[INFO] [stdout]     |                        ^^^  ^^^  ^^^  ^^^ will not be checked at usage sites of the type alias
[INFO] [stdout]     |
[INFO] [stdout]     = note: this is a known limitation of the type checker that may be lifted in a future edition.
[INFO] [stdout]             see issue #112792 <https://github.com/rust-lang/rust/issues/112792> for more information
[INFO] [stdout]     = help: add `#![feature(lazy_type_alias)]` to the crate attributes to enable the desired semantics
[INFO] [stdout] help: remove these bounds
[INFO] [stdout]    --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/type-operators-0.3.5/src/lib.rs:743:114
[INFO] [stdout]     |
[INFO] [stdout] 743 ~         _tlsm_machine!(@cont [$($docs)*] $attrs $alias $machine [$($gensyms),*] [$($kinds)+] [$($accum)* ($gensym $kind)] $out);
[INFO] [stdout] 744 |     };
[INFO] [stdout] 745 |     (@cont $docs:tt $attrs:tt $alias:ident $machine:ident [$gensym:ident $(, $gensyms:ident)*] [$kind:tt , $($kinds:tt)+] [$($accum:tt)*] $out:tt) => {
[INFO] [stdout] 746 ~         _tlsm_machine!(@cont $docs $attrs $alias $machine [$($gensyms),*] [$($kinds)+] [$($accum)* ($gensym $kind)] $out);
[INFO] [stdout] 747 |     };
[INFO] [stdout] ...
[INFO] [stdout] 751 |     (@cont $docs:tt $attrs:tt $alias:ident $machine:ident [$gensym:ident $(, $gensyms:ident)*] [$kind:tt] [$($accum:tt)*] $out:tt) => {
[INFO] [stdout] 752 ~         _tlsm_machine!(@cont $docs $attrs $alias $machine [$($gensyms),*] [] [$($accum)* ($gensym $kind)] $out);
[INFO] [stdout]     |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: bounds on generic parameters in type aliases are not enforced
[INFO] [stdout]    --> src/strong/balanced.rs:254:26
[INFO] [stdout]     |
[INFO] [stdout] 254 |     (LteCmp2) IntLteCmp2(Int, Int, IntPair, IntPair): IntPair {
[INFO] [stdout]     |                          ^^^  ^^^  ^^^^^^^  ^^^^^^^ will not be checked at usage sites of the type alias
[INFO] [stdout]     |
[INFO] [stdout]     = note: this is a known limitation of the type checker that may be lifted in a future edition.
[INFO] [stdout]             see issue #112792 <https://github.com/rust-lang/rust/issues/112792> for more information
[INFO] [stdout]     = help: add `#![feature(lazy_type_alias)]` to the crate attributes to enable the desired semantics
[INFO] [stdout] help: remove these bounds
[INFO] [stdout]    --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/type-operators-0.3.5/src/lib.rs:743:114
[INFO] [stdout]     |
[INFO] [stdout] 743 ~         _tlsm_machine!(@cont [$($docs)*] $attrs $alias $machine [$($gensyms),*] [$($kinds)+] [$($accum)* ($gensym $kind)] $out);
[INFO] [stdout] 744 |     };
[INFO] [stdout] 745 |     (@cont $docs:tt $attrs:tt $alias:ident $machine:ident [$gensym:ident $(, $gensyms:ident)*] [$kind:tt , $($kinds:tt)+] [$($accum:tt)*] $out:tt) => {
[INFO] [stdout] 746 ~         _tlsm_machine!(@cont $docs $attrs $alias $machine [$($gensyms),*] [$($kinds)+] [$($accum)* ($gensym $kind)] $out);
[INFO] [stdout] 747 |     };
[INFO] [stdout] ...
[INFO] [stdout] 751 |     (@cont $docs:tt $attrs:tt $alias:ident $machine:ident [$gensym:ident $(, $gensyms:ident)*] [$kind:tt] [$($accum:tt)*] $out:tt) => {
[INFO] [stdout] 752 ~         _tlsm_machine!(@cont $docs $attrs $alias $machine [$($gensyms),*] [] [$($accum)* ($gensym $kind)] $out);
[INFO] [stdout]     |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: bounds on generic parameters in type aliases are not enforced
[INFO] [stdout]    --> src/strong/ternary.rs:281:18
[INFO] [stdout]     |
[INFO] [stdout] 281 |     (Div) NatDiv(Nat, Nat): Nat {
[INFO] [stdout]     |                  ^^^  ^^^ will not be checked at usage sites of the type alias
[INFO] [stdout]     |
[INFO] [stdout]     = note: this is a known limitation of the type checker that may be lifted in a future edition.
[INFO] [stdout]             see issue #112792 <https://github.com/rust-lang/rust/issues/112792> for more information
[INFO] [stdout]     = help: add `#![feature(lazy_type_alias)]` to the crate attributes to enable the desired semantics
[INFO] [stdout] help: remove these bounds
[INFO] [stdout]    --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/type-operators-0.3.5/src/lib.rs:743:114
[INFO] [stdout]     |
[INFO] [stdout] 743 ~         _tlsm_machine!(@cont [$($docs)*] $attrs $alias $machine [$($gensyms),*] [$($kinds)+] [$($accum)* ($gensym $kind)] $out);
[INFO] [stdout] 744 |     };
[INFO] [stdout] ...
[INFO] [stdout] 751 |     (@cont $docs:tt $attrs:tt $alias:ident $machine:ident [$gensym:ident $(, $gensyms:ident)*] [$kind:tt] [$($accum:tt)*] $out:tt) => {
[INFO] [stdout] 752 ~         _tlsm_machine!(@cont $docs $attrs $alias $machine [$($gensyms),*] [] [$($accum)* ($gensym $kind)] $out);
[INFO] [stdout]     |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: bounds on generic parameters in type aliases are not enforced
[INFO] [stdout]    --> src/strong/ternary.rs:306:18
[INFO] [stdout]     |
[INFO] [stdout] 306 |     (Rem) NatRem(Nat, Nat): Nat {
[INFO] [stdout]     |                  ^^^  ^^^ will not be checked at usage sites of the type alias
[INFO] [stdout]     |
[INFO] [stdout]     = note: this is a known limitation of the type checker that may be lifted in a future edition.
[INFO] [stdout]             see issue #112792 <https://github.com/rust-lang/rust/issues/112792> for more information
[INFO] [stdout]     = help: add `#![feature(lazy_type_alias)]` to the crate attributes to enable the desired semantics
[INFO] [stdout] help: remove these bounds
[INFO] [stdout]    --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/type-operators-0.3.5/src/lib.rs:743:114
[INFO] [stdout]     |
[INFO] [stdout] 743 ~         _tlsm_machine!(@cont [$($docs)*] $attrs $alias $machine [$($gensyms),*] [$($kinds)+] [$($accum)* ($gensym $kind)] $out);
[INFO] [stdout] 744 |     };
[INFO] [stdout] ...
[INFO] [stdout] 751 |     (@cont $docs:tt $attrs:tt $alias:ident $machine:ident [$gensym:ident $(, $gensyms:ident)*] [$kind:tt] [$($accum:tt)*] $out:tt) => {
[INFO] [stdout] 752 ~         _tlsm_machine!(@cont $docs $attrs $alias $machine [$($gensyms),*] [] [$($accum)* ($gensym $kind)] $out);
[INFO] [stdout]     |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: bounds on generic parameters in type aliases are not enforced
[INFO] [stdout]    --> src/strong/balanced.rs:261:18
[INFO] [stdout]     |
[INFO] [stdout]   6 | / type_operators! {
[INFO] [stdout]   7 | |     [A, B, C, D, E, F, G, H]
[INFO] [stdout]   8 | |
[INFO] [stdout]   9 | |     /// Project the first value in an `IntPair`.
[INFO] [stdout] ...   |
[INFO] [stdout] 261 | |     (Abs) IntAbs(Int): Int {
[INFO] [stdout]     | |                  ^^^ will not be checked at usage sites of the type alias
[INFO] [stdout] ...   |
[INFO] [stdout] 374 | | }
[INFO] [stdout]     | |_- help: remove this bound
[INFO] [stdout]     |
[INFO] [stdout]     = note: this is a known limitation of the type checker that may be lifted in a future edition.
[INFO] [stdout]             see issue #112792 <https://github.com/rust-lang/rust/issues/112792> for more information
[INFO] [stdout]     = help: add `#![feature(lazy_type_alias)]` to the crate attributes to enable the desired semantics
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: bounds on generic parameters in type aliases are not enforced
[INFO] [stdout]    --> src/strong/balanced.rs:273:40
[INFO] [stdout]     |
[INFO] [stdout] 273 |     (AbsMinThreeCmp) IntAbsMinThreeCmp(Int, Int, Int, Int, Int, Int): IntPair {
[INFO] [stdout]     |                                        ^^^  ^^^  ^^^  ^^^  ^^^  ^^^ will not be checked at usage sites of the type alias
[INFO] [stdout]     |
[INFO] [stdout]     = note: this is a known limitation of the type checker that may be lifted in a future edition.
[INFO] [stdout]             see issue #112792 <https://github.com/rust-lang/rust/issues/112792> for more information
[INFO] [stdout]     = help: add `#![feature(lazy_type_alias)]` to the crate attributes to enable the desired semantics
[INFO] [stdout] help: remove these bounds
[INFO] [stdout]    --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/type-operators-0.3.5/src/lib.rs:743:114
[INFO] [stdout]     |
[INFO] [stdout] 743 ~         _tlsm_machine!(@cont [$($docs)*] $attrs $alias $machine [$($gensyms),*] [$($kinds)+] [$($accum)* ($gensym $kind)] $out);
[INFO] [stdout] 744 |     };
[INFO] [stdout] 745 |     (@cont $docs:tt $attrs:tt $alias:ident $machine:ident [$gensym:ident $(, $gensyms:ident)*] [$kind:tt , $($kinds:tt)+] [$($accum:tt)*] $out:tt) => {
[INFO] [stdout] 746 ~         _tlsm_machine!(@cont $docs $attrs $alias $machine [$($gensyms),*] [$($kinds)+] [$($accum)* ($gensym $kind)] $out);
[INFO] [stdout] 747 |     };
[INFO] [stdout] ...
[INFO] [stdout] 751 |     (@cont $docs:tt $attrs:tt $alias:ident $machine:ident [$gensym:ident $(, $gensyms:ident)*] [$kind:tt] [$($accum:tt)*] $out:tt) => {
[INFO] [stdout] 752 ~         _tlsm_machine!(@cont $docs $attrs $alias $machine [$($gensyms),*] [] [$($accum)* ($gensym $kind)] $out);
[INFO] [stdout]     |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: bounds on generic parameters in type aliases are not enforced
[INFO] [stdout]    --> src/strong/ternary.rs:329:34
[INFO] [stdout]     |
[INFO] [stdout] 329 |     (DivInternal) NatDivInternal(Nat, Nat, NatPair): NatPair {
[INFO] [stdout]     |                                  ^^^  ^^^  ^^^^^^^ will not be checked at usage sites of the type alias
[INFO] [stdout]     |
[INFO] [stdout]     = note: this is a known limitation of the type checker that may be lifted in a future edition.
[INFO] [stdout]             see issue #112792 <https://github.com/rust-lang/rust/issues/112792> for more information
[INFO] [stdout]     = help: add `#![feature(lazy_type_alias)]` to the crate attributes to enable the desired semantics
[INFO] [stdout] help: remove these bounds
[INFO] [stdout]    --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/type-operators-0.3.5/src/lib.rs:743:114
[INFO] [stdout]     |
[INFO] [stdout] 743 ~         _tlsm_machine!(@cont [$($docs)*] $attrs $alias $machine [$($gensyms),*] [$($kinds)+] [$($accum)* ($gensym $kind)] $out);
[INFO] [stdout] 744 |     };
[INFO] [stdout] 745 |     (@cont $docs:tt $attrs:tt $alias:ident $machine:ident [$gensym:ident $(, $gensyms:ident)*] [$kind:tt , $($kinds:tt)+] [$($accum:tt)*] $out:tt) => {
[INFO] [stdout] 746 ~         _tlsm_machine!(@cont $docs $attrs $alias $machine [$($gensyms),*] [$($kinds)+] [$($accum)* ($gensym $kind)] $out);
[INFO] [stdout] 747 |     };
[INFO] [stdout] ...
[INFO] [stdout] 751 |     (@cont $docs:tt $attrs:tt $alias:ident $machine:ident [$gensym:ident $(, $gensyms:ident)*] [$kind:tt] [$($accum:tt)*] $out:tt) => {
[INFO] [stdout] 752 ~         _tlsm_machine!(@cont $docs $attrs $alias $machine [$($gensyms),*] [] [$($accum)* ($gensym $kind)] $out);
[INFO] [stdout]     |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: bounds on generic parameters in type aliases are not enforced
[INFO] [stdout]    --> src/strong/balanced.rs:284:18
[INFO] [stdout]     |
[INFO] [stdout]   6 | / type_operators! {
[INFO] [stdout]   7 | |     [A, B, C, D, E, F, G, H]
[INFO] [stdout]   8 | |
[INFO] [stdout]   9 | |     /// Project the first value in an `IntPair`.
[INFO] [stdout] ...   |
[INFO] [stdout] 284 | |     (Rev) IntRev(Int): Int {
[INFO] [stdout]     | |                  ^^^ will not be checked at usage sites of the type alias
[INFO] [stdout] ...   |
[INFO] [stdout] 374 | | }
[INFO] [stdout]     | |_- help: remove this bound
[INFO] [stdout]     |
[INFO] [stdout]     = note: this is a known limitation of the type checker that may be lifted in a future edition.
[INFO] [stdout]             see issue #112792 <https://github.com/rust-lang/rust/issues/112792> for more information
[INFO] [stdout]     = help: add `#![feature(lazy_type_alias)]` to the crate attributes to enable the desired semantics
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: bounds on generic parameters in type aliases are not enforced
[INFO] [stdout]    --> src/strong/balanced.rs:290:34
[INFO] [stdout]     |
[INFO] [stdout] 290 |     (RevInternal) IntRevInternal(Int, Int): Int {
[INFO] [stdout]     |                                  ^^^  ^^^ will not be checked at usage sites of the type alias
[INFO] [stdout]     |
[INFO] [stdout]     = note: this is a known limitation of the type checker that may be lifted in a future edition.
[INFO] [stdout]             see issue #112792 <https://github.com/rust-lang/rust/issues/112792> for more information
[INFO] [stdout]     = help: add `#![feature(lazy_type_alias)]` to the crate attributes to enable the desired semantics
[INFO] [stdout] help: remove these bounds
[INFO] [stdout]    --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/type-operators-0.3.5/src/lib.rs:743:114
[INFO] [stdout]     |
[INFO] [stdout] 743 ~         _tlsm_machine!(@cont [$($docs)*] $attrs $alias $machine [$($gensyms),*] [$($kinds)+] [$($accum)* ($gensym $kind)] $out);
[INFO] [stdout] 744 |     };
[INFO] [stdout] ...
[INFO] [stdout] 751 |     (@cont $docs:tt $attrs:tt $alias:ident $machine:ident [$gensym:ident $(, $gensyms:ident)*] [$kind:tt] [$($accum:tt)*] $out:tt) => {
[INFO] [stdout] 752 ~         _tlsm_machine!(@cont $docs $attrs $alias $machine [$($gensyms),*] [] [$($accum)* ($gensym $kind)] $out);
[INFO] [stdout]     |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: bounds on generic parameters in type aliases are not enforced
[INFO] [stdout]    --> src/strong/balanced.rs:302:18
[INFO] [stdout]     |
[INFO] [stdout] 302 |     (Div) IntDiv(Int, Int): Int {
[INFO] [stdout]     |                  ^^^  ^^^ will not be checked at usage sites of the type alias
[INFO] [stdout]     |
[INFO] [stdout]     = note: this is a known limitation of the type checker that may be lifted in a future edition.
[INFO] [stdout]             see issue #112792 <https://github.com/rust-lang/rust/issues/112792> for more information
[INFO] [stdout]     = help: add `#![feature(lazy_type_alias)]` to the crate attributes to enable the desired semantics
[INFO] [stdout] help: remove these bounds
[INFO] [stdout]    --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/type-operators-0.3.5/src/lib.rs:743:114
[INFO] [stdout]     |
[INFO] [stdout] 743 ~         _tlsm_machine!(@cont [$($docs)*] $attrs $alias $machine [$($gensyms),*] [$($kinds)+] [$($accum)* ($gensym $kind)] $out);
[INFO] [stdout] 744 |     };
[INFO] [stdout] ...
[INFO] [stdout] 751 |     (@cont $docs:tt $attrs:tt $alias:ident $machine:ident [$gensym:ident $(, $gensyms:ident)*] [$kind:tt] [$($accum:tt)*] $out:tt) => {
[INFO] [stdout] 752 ~         _tlsm_machine!(@cont $docs $attrs $alias $machine [$($gensyms),*] [] [$($accum)* ($gensym $kind)] $out);
[INFO] [stdout]     |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: bounds on generic parameters in type aliases are not enforced
[INFO] [stdout]    --> src/strong/balanced.rs:326:18
[INFO] [stdout]     |
[INFO] [stdout] 326 |     (Rem) IntRem(Int, Int): Int {
[INFO] [stdout]     |                  ^^^  ^^^ will not be checked at usage sites of the type alias
[INFO] [stdout]     |
[INFO] [stdout]     = note: this is a known limitation of the type checker that may be lifted in a future edition.
[INFO] [stdout]             see issue #112792 <https://github.com/rust-lang/rust/issues/112792> for more information
[INFO] [stdout]     = help: add `#![feature(lazy_type_alias)]` to the crate attributes to enable the desired semantics
[INFO] [stdout] help: remove these bounds
[INFO] [stdout]    --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/type-operators-0.3.5/src/lib.rs:743:114
[INFO] [stdout]     |
[INFO] [stdout] 743 ~         _tlsm_machine!(@cont [$($docs)*] $attrs $alias $machine [$($gensyms),*] [$($kinds)+] [$($accum)* ($gensym $kind)] $out);
[INFO] [stdout] 744 |     };
[INFO] [stdout] ...
[INFO] [stdout] 751 |     (@cont $docs:tt $attrs:tt $alias:ident $machine:ident [$gensym:ident $(, $gensyms:ident)*] [$kind:tt] [$($accum:tt)*] $out:tt) => {
[INFO] [stdout] 752 ~         _tlsm_machine!(@cont $docs $attrs $alias $machine [$($gensyms),*] [] [$($accum)* ($gensym $kind)] $out);
[INFO] [stdout]     |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stderr]    Compiling type-level-logic v0.1.0 (/opt/rustwide/workdir)
[INFO] [stdout] warning: bounds on generic parameters in type aliases are not enforced
[INFO] [stdout]    --> src/strong/balanced.rs:349:34
[INFO] [stdout]     |
[INFO] [stdout] 349 |     (DivInternal) IntDivInternal(Int, Int, IntPair): IntPair {
[INFO] [stdout]     |                                  ^^^  ^^^  ^^^^^^^ will not be checked at usage sites of the type alias
[INFO] [stdout]     |
[INFO] [stdout]     = note: this is a known limitation of the type checker that may be lifted in a future edition.
[INFO] [stdout]             see issue #112792 <https://github.com/rust-lang/rust/issues/112792> for more information
[INFO] [stdout]     = help: add `#![feature(lazy_type_alias)]` to the crate attributes to enable the desired semantics
[INFO] [stdout] help: remove these bounds
[INFO] [stdout]    --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/type-operators-0.3.5/src/lib.rs:743:114
[INFO] [stdout]     |
[INFO] [stdout] 743 ~         _tlsm_machine!(@cont [$($docs)*] $attrs $alias $machine [$($gensyms),*] [$($kinds)+] [$($accum)* ($gensym $kind)] $out);
[INFO] [stdout] 744 |     };
[INFO] [stdout] 745 |     (@cont $docs:tt $attrs:tt $alias:ident $machine:ident [$gensym:ident $(, $gensyms:ident)*] [$kind:tt , $($kinds:tt)+] [$($accum:tt)*] $out:tt) => {
[INFO] [stdout] 746 ~         _tlsm_machine!(@cont $docs $attrs $alias $machine [$($gensyms),*] [$($kinds)+] [$($accum)* ($gensym $kind)] $out);
[INFO] [stdout] 747 |     };
[INFO] [stdout] ...
[INFO] [stdout] 751 |     (@cont $docs:tt $attrs:tt $alias:ident $machine:ident [$gensym:ident $(, $gensyms:ident)*] [$kind:tt] [$($accum:tt)*] $out:tt) => {
[INFO] [stdout] 752 ~         _tlsm_machine!(@cont $docs $attrs $alias $machine [$($gensyms),*] [] [$($accum)* ($gensym $kind)] $out);
[INFO] [stdout]     |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: bounds on generic parameters in type aliases are not enforced
[INFO] [stdout]  --> src/strong/boolean.rs:9:19
[INFO] [stdout]   |
[INFO] [stdout] 9 |     (And) BoolAnd(Bool, Bool): Bool {
[INFO] [stdout]   |                   ^^^^  ^^^^ will not be checked at usage sites of the type alias
[INFO] [stdout]   |
[INFO] [stdout]   = note: this is a known limitation of the type checker that may be lifted in a future edition.
[INFO] [stdout]           see issue #112792 <https://github.com/rust-lang/rust/issues/112792> for more information
[INFO] [stdout]   = help: add `#![feature(lazy_type_alias)]` to the crate attributes to enable the desired semantics
[INFO] [stdout]   = note: `#[warn(type_alias_bounds)]` on by default
[INFO] [stdout] help: remove these bounds
[INFO] [stdout]  --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/type-operators-0.3.5/src/lib.rs:743:114
[INFO] [stdout]   |
[INFO] [stdout] 74~         _tlsm_machine!(@cont [$($docs)*] $attrs $alias $machine [$($gensyms),*] [$($kinds)+] [$($accum)* ($gensym $kind)] $out);
[INFO] [stdout] 74|     };
[INFO] [stdout] ...
[INFO] [stdout] 75|     (@cont $docs:tt $attrs:tt $alias:ident $machine:ident [$gensym:ident $(, $gensyms:ident)*] [$kind:tt] [$($accum:tt)*] $out:tt) => {
[INFO] [stdout] 75~         _tlsm_machine!(@cont $docs $attrs $alias $machine [$($gensyms),*] [] [$($accum)* ($gensym $kind)] $out);
[INFO] [stdout]   |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: bounds on generic parameters in type aliases are not enforced
[INFO] [stdout]    --> src/strong/ternary.rs:14:24
[INFO] [stdout]     |
[INFO] [stdout]  10 | / type_operators! {
[INFO] [stdout]  11 | |     [A, B, C, D, E, F, G, H]
[INFO] [stdout]  12 | |
[INFO] [stdout]  13 | |     /// Project the first value in a `NatPair`.
[INFO] [stdout]  14 | |     (Nat2First) Nat2P1(NatPair): Nat {
[INFO] [stdout]     | |                        ^^^^^^^ will not be checked at usage sites of the type alias
[INFO] [stdout] ...   |
[INFO] [stdout] 354 | | }
[INFO] [stdout]     | |_- help: remove this bound
[INFO] [stdout]     |
[INFO] [stdout]     = note: this is a known limitation of the type checker that may be lifted in a future edition.
[INFO] [stdout]             see issue #112792 <https://github.com/rust-lang/rust/issues/112792> for more information
[INFO] [stdout]     = help: add `#![feature(lazy_type_alias)]` to the crate attributes to enable the desired semantics
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: bounds on generic parameters in type aliases are not enforced
[INFO] [stdout]   --> src/strong/boolean.rs:17:17
[INFO] [stdout]    |
[INFO] [stdout] 17 |     (Or) BoolOr(Bool, Bool): Bool {
[INFO] [stdout]    |                 ^^^^  ^^^^ will not be checked at usage sites of the type alias
[INFO] [stdout]    |
[INFO] [stdout]    = note: this is a known limitation of the type checker that may be lifted in a future edition.
[INFO] [stdout]            see issue #112792 <https://github.com/rust-lang/rust/issues/112792> for more information
[INFO] [stdout]    = help: add `#![feature(lazy_type_alias)]` to the crate attributes to enable the desired semantics
[INFO] [stdout] help: remove these bounds
[INFO] [stdout]   --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/type-operators-0.3.5/src/lib.rs:743:114
[INFO] [stdout]    |
[INFO] [stdout] 743~         _tlsm_machine!(@cont [$($docs)*] $attrs $alias $machine [$($gensyms),*] [$($kinds)+] [$($accum)* ($gensym $kind)] $out);
[INFO] [stdout] 744|     };
[INFO] [stdout] ...
[INFO] [stdout] 751|     (@cont $docs:tt $attrs:tt $alias:ident $machine:ident [$gensym:ident $(, $gensyms:ident)*] [$kind:tt] [$($accum:tt)*] $out:tt) => {
[INFO] [stdout] 752~         _tlsm_machine!(@cont $docs $attrs $alias $machine [$($gensyms),*] [] [$($accum)* ($gensym $kind)] $out);
[INFO] [stdout]    |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: bounds on generic parameters in type aliases are not enforced
[INFO] [stdout]    --> src/strong/ternary.rs:21:25
[INFO] [stdout]     |
[INFO] [stdout]  10 | / type_operators! {
[INFO] [stdout]  11 | |     [A, B, C, D, E, F, G, H]
[INFO] [stdout]  12 | |
[INFO] [stdout]  13 | |     /// Project the first value in a `NatPair`.
[INFO] [stdout] ...   |
[INFO] [stdout]  21 | |     (Nat2Second) Nat2P2(NatPair): Nat {
[INFO] [stdout]     | |                         ^^^^^^^ will not be checked at usage sites of the type alias
[INFO] [stdout] ...   |
[INFO] [stdout] 354 | | }
[INFO] [stdout]     | |_- help: remove this bound
[INFO] [stdout]     |
[INFO] [stdout]     = note: this is a known limitation of the type checker that may be lifted in a future edition.
[INFO] [stdout]             see issue #112792 <https://github.com/rust-lang/rust/issues/112792> for more information
[INFO] [stdout]     = help: add `#![feature(lazy_type_alias)]` to the crate attributes to enable the desired semantics
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: bounds on generic parameters in type aliases are not enforced
[INFO] [stdout]   --> src/strong/boolean.rs:26:25
[INFO] [stdout]    |
[INFO] [stdout] 26 |     (IfThen) BoolIfThen(Bool, Bool): Bool {
[INFO] [stdout]    |                         ^^^^  ^^^^ will not be checked at usage sites of the type alias
[INFO] [stdout]    |
[INFO] [stdout]    = note: this is a known limitation of the type checker that may be lifted in a future edition.
[INFO] [stdout]            see issue #112792 <https://github.com/rust-lang/rust/issues/112792> for more information
[INFO] [stdout]    = help: add `#![feature(lazy_type_alias)]` to the crate attributes to enable the desired semantics
[INFO] [stdout] help: remove these bounds
[INFO] [stdout]   --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/type-operators-0.3.5/src/lib.rs:743:114
[INFO] [stdout]    |
[INFO] [stdout] 743~         _tlsm_machine!(@cont [$($docs)*] $attrs $alias $machine [$($gensyms),*] [$($kinds)+] [$($accum)* ($gensym $kind)] $out);
[INFO] [stdout] 744|     };
[INFO] [stdout] ...
[INFO] [stdout] 751|     (@cont $docs:tt $attrs:tt $alias:ident $machine:ident [$gensym:ident $(, $gensyms:ident)*] [$kind:tt] [$($accum:tt)*] $out:tt) => {
[INFO] [stdout] 752~         _tlsm_machine!(@cont $docs $attrs $alias $machine [$($gensyms),*] [] [$($accum)* ($gensym $kind)] $out);
[INFO] [stdout]    |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: bounds on generic parameters in type aliases are not enforced
[INFO] [stdout]    --> src/strong/balanced.rs:10:24
[INFO] [stdout]     |
[INFO] [stdout]   6 | / type_operators! {
[INFO] [stdout]   7 | |     [A, B, C, D, E, F, G, H]
[INFO] [stdout]   8 | |
[INFO] [stdout]   9 | |     /// Project the first value in an `IntPair`.
[INFO] [stdout]  10 | |     (Int2First) Int2P1(IntPair): Int {
[INFO] [stdout]     | |                        ^^^^^^^ will not be checked at usage sites of the type alias
[INFO] [stdout] ...   |
[INFO] [stdout] 374 | | }
[INFO] [stdout]     | |_- help: remove this bound
[INFO] [stdout]     |
[INFO] [stdout]     = note: this is a known limitation of the type checker that may be lifted in a future edition.
[INFO] [stdout]             see issue #112792 <https://github.com/rust-lang/rust/issues/112792> for more information
[INFO] [stdout]     = help: add `#![feature(lazy_type_alias)]` to the crate attributes to enable the desired semantics
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: bounds on generic parameters in type aliases are not enforced
[INFO] [stdout]    --> src/strong/balanced.rs:17:25
[INFO] [stdout]     |
[INFO] [stdout]   6 | / type_operators! {
[INFO] [stdout]   7 | |     [A, B, C, D, E, F, G, H]
[INFO] [stdout]   8 | |
[INFO] [stdout]   9 | |     /// Project the first value in an `IntPair`.
[INFO] [stdout] ...   |
[INFO] [stdout]  17 | |     (Int2Second) Int2P2(IntPair): Int {
[INFO] [stdout]     | |                         ^^^^^^^ will not be checked at usage sites of the type alias
[INFO] [stdout] ...   |
[INFO] [stdout] 374 | | }
[INFO] [stdout]     | |_- help: remove this bound
[INFO] [stdout]     |
[INFO] [stdout]     = note: this is a known limitation of the type checker that may be lifted in a future edition.
[INFO] [stdout]             see issue #112792 <https://github.com/rust-lang/rust/issues/112792> for more information
[INFO] [stdout]     = help: add `#![feature(lazy_type_alias)]` to the crate attributes to enable the desired semantics
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: bounds on generic parameters in type aliases are not enforced
[INFO] [stdout]    --> src/strong/balanced.rs:24:20
[INFO] [stdout]     |
[INFO] [stdout]   6 | / type_operators! {
[INFO] [stdout]   7 | |     [A, B, C, D, E, F, G, H]
[INFO] [stdout]   8 | |
[INFO] [stdout]   9 | |     /// Project the first value in an `IntPair`.
[INFO] [stdout] ...   |
[INFO] [stdout]  24 | |     (Succ) IntSucc(Int): Int {
[INFO] [stdout]     | |                    ^^^ will not be checked at usage sites of the type alias
[INFO] [stdout] ...   |
[INFO] [stdout] 374 | | }
[INFO] [stdout]     | |_- help: remove this bound
[INFO] [stdout]     |
[INFO] [stdout]     = note: this is a known limitation of the type checker that may be lifted in a future edition.
[INFO] [stdout]             see issue #112792 <https://github.com/rust-lang/rust/issues/112792> for more information
[INFO] [stdout]     = help: add `#![feature(lazy_type_alias)]` to the crate attributes to enable the desired semantics
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: bounds on generic parameters in type aliases are not enforced
[INFO] [stdout]    --> src/strong/balanced.rs:35:20
[INFO] [stdout]     |
[INFO] [stdout]   6 | / type_operators! {
[INFO] [stdout]   7 | |     [A, B, C, D, E, F, G, H]
[INFO] [stdout]   8 | |
[INFO] [stdout]   9 | |     /// Project the first value in an `IntPair`.
[INFO] [stdout] ...   |
[INFO] [stdout]  35 | |     (Pred) IntPred(Int): Int {
[INFO] [stdout]     | |                    ^^^ will not be checked at usage sites of the type alias
[INFO] [stdout] ...   |
[INFO] [stdout] 374 | | }
[INFO] [stdout]     | |_- help: remove this bound
[INFO] [stdout]     |
[INFO] [stdout]     = note: this is a known limitation of the type checker that may be lifted in a future edition.
[INFO] [stdout]             see issue #112792 <https://github.com/rust-lang/rust/issues/112792> for more information
[INFO] [stdout]     = help: add `#![feature(lazy_type_alias)]` to the crate attributes to enable the desired semantics
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: bounds on generic parameters in type aliases are not enforced
[INFO] [stdout]    --> src/strong/balanced.rs:49:24
[INFO] [stdout]     |
[INFO] [stdout]   6 | / type_operators! {
[INFO] [stdout]   7 | |     [A, B, C, D, E, F, G, H]
[INFO] [stdout]   8 | |
[INFO] [stdout]   9 | |     /// Project the first value in an `IntPair`.
[INFO] [stdout] ...   |
[INFO] [stdout]  49 | |     (Triple) IntTriple(Int): Int {
[INFO] [stdout]     | |                        ^^^ will not be checked at usage sites of the type alias
[INFO] [stdout] ...   |
[INFO] [stdout] 374 | | }
[INFO] [stdout]     | |_- help: remove this bound
[INFO] [stdout]     |
[INFO] [stdout]     = note: this is a known limitation of the type checker that may be lifted in a future edition.
[INFO] [stdout]             see issue #112792 <https://github.com/rust-lang/rust/issues/112792> for more information
[INFO] [stdout]     = help: add `#![feature(lazy_type_alias)]` to the crate attributes to enable the desired semantics
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: bounds on generic parameters in type aliases are not enforced
[INFO] [stdout]    --> src/strong/balanced.rs:62:24
[INFO] [stdout]     |
[INFO] [stdout]   6 | / type_operators! {
[INFO] [stdout]   7 | |     [A, B, C, D, E, F, G, H]
[INFO] [stdout]   8 | |
[INFO] [stdout]   9 | |     /// Project the first value in an `IntPair`.
[INFO] [stdout] ...   |
[INFO] [stdout]  62 | |     (IntUnique) Unique(Int): Int {
[INFO] [stdout]     | |                        ^^^ will not be checked at usage sites of the type alias
[INFO] [stdout] ...   |
[INFO] [stdout] 374 | | }
[INFO] [stdout]     | |_- help: remove this bound
[INFO] [stdout]     |
[INFO] [stdout]     = note: this is a known limitation of the type checker that may be lifted in a future edition.
[INFO] [stdout]             see issue #112792 <https://github.com/rust-lang/rust/issues/112792> for more information
[INFO] [stdout]     = help: add `#![feature(lazy_type_alias)]` to the crate attributes to enable the desired semantics
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: bounds on generic parameters in type aliases are not enforced
[INFO] [stdout]    --> src/strong/balanced.rs:80:18
[INFO] [stdout]     |
[INFO] [stdout]   6 | / type_operators! {
[INFO] [stdout]   7 | |     [A, B, C, D, E, F, G, H]
[INFO] [stdout]   8 | |
[INFO] [stdout]   9 | |     /// Project the first value in an `IntPair`.
[INFO] [stdout] ...   |
[INFO] [stdout]  80 | |     (Neg) IntNeg(Int): Int {
[INFO] [stdout]     | |                  ^^^ will not be checked at usage sites of the type alias
[INFO] [stdout] ...   |
[INFO] [stdout] 374 | | }
[INFO] [stdout]     | |_- help: remove this bound
[INFO] [stdout]     |
[INFO] [stdout]     = note: this is a known limitation of the type checker that may be lifted in a future edition.
[INFO] [stdout]             see issue #112792 <https://github.com/rust-lang/rust/issues/112792> for more information
[INFO] [stdout]     = help: add `#![feature(lazy_type_alias)]` to the crate attributes to enable the desired semantics
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: bounds on generic parameters in type aliases are not enforced
[INFO] [stdout]   --> src/strong/balanced.rs:94:18
[INFO] [stdout]    |
[INFO] [stdout] 94 |     (Add) IntAdd(Int, Int): Int {
[INFO] [stdout]    |                  ^^^  ^^^ will not be checked at usage sites of the type alias
[INFO] [stdout]    |
[INFO] [stdout]    = note: this is a known limitation of the type checker that may be lifted in a future edition.
[INFO] [stdout]            see issue #112792 <https://github.com/rust-lang/rust/issues/112792> for more information
[INFO] [stdout]    = help: add `#![feature(lazy_type_alias)]` to the crate attributes to enable the desired semantics
[INFO] [stdout] help: remove these bounds
[INFO] [stdout]   --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/type-operators-0.3.5/src/lib.rs:743:114
[INFO] [stdout]    |
[INFO] [stdout] 743~         _tlsm_machine!(@cont [$($docs)*] $attrs $alias $machine [$($gensyms),*] [$($kinds)+] [$($accum)* ($gensym $kind)] $out);
[INFO] [stdout] 744|     };
[INFO] [stdout] ...
[INFO] [stdout] 751|     (@cont $docs:tt $attrs:tt $alias:ident $machine:ident [$gensym:ident $(, $gensyms:ident)*] [$kind:tt] [$($accum:tt)*] $out:tt) => {
[INFO] [stdout] 752~         _tlsm_machine!(@cont $docs $attrs $alias $machine [$($gensyms),*] [] [$($accum)* ($gensym $kind)] $out);
[INFO] [stdout]    |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: bounds on generic parameters in type aliases are not enforced
[INFO] [stdout]    --> src/strong/ternary.rs:29:20
[INFO] [stdout]     |
[INFO] [stdout]  10 | / type_operators! {
[INFO] [stdout]  11 | |     [A, B, C, D, E, F, G, H]
[INFO] [stdout]  12 | |
[INFO] [stdout]  13 | |     /// Project the first value in a `NatPair`.
[INFO] [stdout] ...   |
[INFO] [stdout]  29 | |     (Succ) NatSucc(Nat): Nat {
[INFO] [stdout]     | |                    ^^^ will not be checked at usage sites of the type alias
[INFO] [stdout] ...   |
[INFO] [stdout] 354 | | }
[INFO] [stdout]     | |_- help: remove this bound
[INFO] [stdout]     |
[INFO] [stdout]     = note: this is a known limitation of the type checker that may be lifted in a future edition.
[INFO] [stdout]             see issue #112792 <https://github.com/rust-lang/rust/issues/112792> for more information
[INFO] [stdout]     = help: add `#![feature(lazy_type_alias)]` to the crate attributes to enable the desired semantics
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: bounds on generic parameters in type aliases are not enforced
[INFO] [stdout]    --> src/strong/balanced.rs:127:18
[INFO] [stdout]     |
[INFO] [stdout] 127 |     (Sub) IntSub(Int, Int): Int {
[INFO] [stdout]     |                  ^^^  ^^^ will not be checked at usage sites of the type alias
[INFO] [stdout]     |
[INFO] [stdout]     = note: this is a known limitation of the type checker that may be lifted in a future edition.
[INFO] [stdout]             see issue #112792 <https://github.com/rust-lang/rust/issues/112792> for more information
[INFO] [stdout]     = help: add `#![feature(lazy_type_alias)]` to the crate attributes to enable the desired semantics
[INFO] [stdout] help: remove these bounds
[INFO] [stdout]    --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/type-operators-0.3.5/src/lib.rs:743:114
[INFO] [stdout]     |
[INFO] [stdout] 743 ~         _tlsm_machine!(@cont [$($docs)*] $attrs $alias $machine [$($gensyms),*] [$($kinds)+] [$($accum)* ($gensym $kind)] $out);
[INFO] [stdout] 744 |     };
[INFO] [stdout] ...
[INFO] [stdout] 751 |     (@cont $docs:tt $attrs:tt $alias:ident $machine:ident [$gensym:ident $(, $gensyms:ident)*] [$kind:tt] [$($accum:tt)*] $out:tt) => {
[INFO] [stdout] 752 ~         _tlsm_machine!(@cont $docs $attrs $alias $machine [$($gensyms),*] [] [$($accum)* ($gensym $kind)] $out);
[INFO] [stdout]     |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: bounds on generic parameters in type aliases are not enforced
[INFO] [stdout]    --> src/strong/ternary.rs:41:20
[INFO] [stdout]     |
[INFO] [stdout]  10 | / type_operators! {
[INFO] [stdout]  11 | |     [A, B, C, D, E, F, G, H]
[INFO] [stdout]  12 | |
[INFO] [stdout]  13 | |     /// Project the first value in a `NatPair`.
[INFO] [stdout] ...   |
[INFO] [stdout]  41 | |     (Pred) NatPred(Nat): Nat {
[INFO] [stdout]     | |                    ^^^ will not be checked at usage sites of the type alias
[INFO] [stdout] ...   |
[INFO] [stdout] 354 | | }
[INFO] [stdout]     | |_- help: remove this bound
[INFO] [stdout]     |
[INFO] [stdout]     = note: this is a known limitation of the type checker that may be lifted in a future edition.
[INFO] [stdout]             see issue #112792 <https://github.com/rust-lang/rust/issues/112792> for more information
[INFO] [stdout]     = help: add `#![feature(lazy_type_alias)]` to the crate attributes to enable the desired semantics
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: bounds on generic parameters in type aliases are not enforced
[INFO] [stdout]   --> src/strong/boolean.rs:35:25
[INFO] [stdout]    |
[INFO] [stdout] 35 |     (OnlyIf) BoolOnlyIf(Bool, Bool): Bool {
[INFO] [stdout]    |                         ^^^^  ^^^^ will not be checked at usage sites of the type alias
[INFO] [stdout]    |
[INFO] [stdout]    = note: this is a known limitation of the type checker that may be lifted in a future edition.
[INFO] [stdout]            see issue #112792 <https://github.com/rust-lang/rust/issues/112792> for more information
[INFO] [stdout]    = help: add `#![feature(lazy_type_alias)]` to the crate attributes to enable the desired semantics
[INFO] [stdout] help: remove these bounds
[INFO] [stdout]   --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/type-operators-0.3.5/src/lib.rs:743:114
[INFO] [stdout]    |
[INFO] [stdout] 743~         _tlsm_machine!(@cont [$($docs)*] $attrs $alias $machine [$($gensyms),*] [$($kinds)+] [$($accum)* ($gensym $kind)] $out);
[INFO] [stdout] 744|     };
[INFO] [stdout] ...
[INFO] [stdout] 751|     (@cont $docs:tt $attrs:tt $alias:ident $machine:ident [$gensym:ident $(, $gensyms:ident)*] [$kind:tt] [$($accum:tt)*] $out:tt) => {
[INFO] [stdout] 752~         _tlsm_machine!(@cont $docs $attrs $alias $machine [$($gensyms),*] [] [$($accum)* ($gensym $kind)] $out);
[INFO] [stdout]    |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: bounds on generic parameters in type aliases are not enforced
[INFO] [stdout]    --> src/strong/balanced.rs:160:18
[INFO] [stdout]     |
[INFO] [stdout] 160 |     (Mul) IntMul(Int, Int): Int {
[INFO] [stdout]     |                  ^^^  ^^^ will not be checked at usage sites of the type alias
[INFO] [stdout]     |
[INFO] [stdout]     = note: this is a known limitation of the type checker that may be lifted in a future edition.
[INFO] [stdout]             see issue #112792 <https://github.com/rust-lang/rust/issues/112792> for more information
[INFO] [stdout]     = help: add `#![feature(lazy_type_alias)]` to the crate attributes to enable the desired semantics
[INFO] [stdout] help: remove these bounds
[INFO] [stdout]    --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/type-operators-0.3.5/src/lib.rs:743:114
[INFO] [stdout]     |
[INFO] [stdout] 743 ~         _tlsm_machine!(@cont [$($docs)*] $attrs $alias $machine [$($gensyms),*] [$($kinds)+] [$($accum)* ($gensym $kind)] $out);
[INFO] [stdout] 744 |     };
[INFO] [stdout] ...
[INFO] [stdout] 751 |     (@cont $docs:tt $attrs:tt $alias:ident $machine:ident [$gensym:ident $(, $gensyms:ident)*] [$kind:tt] [$($accum:tt)*] $out:tt) => {
[INFO] [stdout] 752 ~         _tlsm_machine!(@cont $docs $attrs $alias $machine [$($gensyms),*] [] [$($accum)* ($gensym $kind)] $out);
[INFO] [stdout]     |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: bounds on generic parameters in type aliases are not enforced
[INFO] [stdout]    --> src/strong/ternary.rs:53:32
[INFO] [stdout]     |
[INFO] [stdout]  10 | / type_operators! {
[INFO] [stdout]  11 | |     [A, B, C, D, E, F, G, H]
[INFO] [stdout]  12 | |
[INFO] [stdout]  13 | |     /// Project the first value in a `NatPair`.
[INFO] [stdout] ...   |
[INFO] [stdout]  53 | |     (DoublePred) NatDoublePred(Nat): Nat {
[INFO] [stdout]     | |                                ^^^ will not be checked at usage sites of the type alias
[INFO] [stdout] ...   |
[INFO] [stdout] 354 | | }
[INFO] [stdout]     | |_- help: remove this bound
[INFO] [stdout]     |
[INFO] [stdout]     = note: this is a known limitation of the type checker that may be lifted in a future edition.
[INFO] [stdout]             see issue #112792 <https://github.com/rust-lang/rust/issues/112792> for more information
[INFO] [stdout]     = help: add `#![feature(lazy_type_alias)]` to the crate attributes to enable the desired semantics
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: bounds on generic parameters in type aliases are not enforced
[INFO] [stdout]    --> src/strong/balanced.rs:196:18
[INFO] [stdout]     |
[INFO] [stdout] 196 |     (Cmp) IntCmp(Int, Int, Int, Int, Int): Int {
[INFO] [stdout]     |                  ^^^  ^^^  ^^^  ^^^  ^^^ will not be checked at usage sites of the type alias
[INFO] [stdout]     |
[INFO] [stdout]     = note: this is a known limitation of the type checker that may be lifted in a future edition.
[INFO] [stdout]             see issue #112792 <https://github.com/rust-lang/rust/issues/112792> for more information
[INFO] [stdout]     = help: add `#![feature(lazy_type_alias)]` to the crate attributes to enable the desired semantics
[INFO] [stdout] help: remove these bounds
[INFO] [stdout]    --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/type-operators-0.3.5/src/lib.rs:743:114
[INFO] [stdout]     |
[INFO] [stdout] 743 ~         _tlsm_machine!(@cont [$($docs)*] $attrs $alias $machine [$($gensyms),*] [$($kinds)+] [$($accum)* ($gensym $kind)] $out);
[INFO] [stdout] 744 |     };
[INFO] [stdout] 745 |     (@cont $docs:tt $attrs:tt $alias:ident $machine:ident [$gensym:ident $(, $gensyms:ident)*] [$kind:tt , $($kinds:tt)+] [$($accum:tt)*] $out:tt) => {
[INFO] [stdout] 746 ~         _tlsm_machine!(@cont $docs $attrs $alias $machine [$($gensyms),*] [$($kinds)+] [$($accum)* ($gensym $kind)] $out);
[INFO] [stdout] 747 |     };
[INFO] [stdout] ...
[INFO] [stdout] 751 |     (@cont $docs:tt $attrs:tt $alias:ident $machine:ident [$gensym:ident $(, $gensyms:ident)*] [$kind:tt] [$($accum:tt)*] $out:tt) => {
[INFO] [stdout] 752 ~         _tlsm_machine!(@cont $docs $attrs $alias $machine [$($gensyms),*] [] [$($accum)* ($gensym $kind)] $out);
[INFO] [stdout]     |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: bounds on generic parameters in type aliases are not enforced
[INFO] [stdout]   --> src/strong/boolean.rs:43:19
[INFO] [stdout]    |
[INFO] [stdout] 43 |     (Xor) BoolXor(Bool, Bool): Bool {
[INFO] [stdout]    |                   ^^^^  ^^^^ will not be checked at usage sites of the type alias
[INFO] [stdout]    |
[INFO] [stdout]    = note: this is a known limitation of the type checker that may be lifted in a future edition.
[INFO] [stdout]            see issue #112792 <https://github.com/rust-lang/rust/issues/112792> for more information
[INFO] [stdout]    = help: add `#![feature(lazy_type_alias)]` to the crate attributes to enable the desired semantics
[INFO] [stdout] help: remove these bounds
[INFO] [stdout]   --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/type-operators-0.3.5/src/lib.rs:743:114
[INFO] [stdout]    |
[INFO] [stdout] 743~         _tlsm_machine!(@cont [$($docs)*] $attrs $alias $machine [$($gensyms),*] [$($kinds)+] [$($accum)* ($gensym $kind)] $out);
[INFO] [stdout] 744|     };
[INFO] [stdout] ...
[INFO] [stdout] 751|     (@cont $docs:tt $attrs:tt $alias:ident $machine:ident [$gensym:ident $(, $gensyms:ident)*] [$kind:tt] [$($accum:tt)*] $out:tt) => {
[INFO] [stdout] 752~         _tlsm_machine!(@cont $docs $attrs $alias $machine [$($gensyms),*] [] [$($accum)* ($gensym $kind)] $out);
[INFO] [stdout]    |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: bounds on generic parameters in type aliases are not enforced
[INFO] [stdout]    --> src/strong/ternary.rs:68:24
[INFO] [stdout]     |
[INFO] [stdout]  10 | / type_operators! {
[INFO] [stdout]  11 | |     [A, B, C, D, E, F, G, H]
[INFO] [stdout]  12 | |
[INFO] [stdout]  13 | |     /// Project the first value in a `NatPair`.
[INFO] [stdout] ...   |
[INFO] [stdout]  68 | |     (Triple) NatTriple(Nat): Nat {
[INFO] [stdout]     | |                        ^^^ will not be checked at usage sites of the type alias
[INFO] [stdout] ...   |
[INFO] [stdout] 354 | | }
[INFO] [stdout]     | |_- help: remove this bound
[INFO] [stdout]     |
[INFO] [stdout]     = note: this is a known limitation of the type checker that may be lifted in a future edition.
[INFO] [stdout]             see issue #112792 <https://github.com/rust-lang/rust/issues/112792> for more information
[INFO] [stdout]     = help: add `#![feature(lazy_type_alias)]` to the crate attributes to enable the desired semantics
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: bounds on generic parameters in type aliases are not enforced
[INFO] [stdout]    --> src/strong/balanced.rs:223:20
[INFO] [stdout]     |
[INFO] [stdout] 223 |     (Cmp2) IntCmp2(Int, Int, IntPair, IntPair, IntPair): IntPair {
[INFO] [stdout]     |                    ^^^  ^^^  ^^^^^^^  ^^^^^^^  ^^^^^^^ will not be checked at usage sites of the type alias
[INFO] [stdout]     |
[INFO] [stdout]     = note: this is a known limitation of the type checker that may be lifted in a future edition.
[INFO] [stdout]             see issue #112792 <https://github.com/rust-lang/rust/issues/112792> for more information
[INFO] [stdout]     = help: add `#![feature(lazy_type_alias)]` to the crate attributes to enable the desired semantics
[INFO] [stdout] help: remove these bounds
[INFO] [stdout]    --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/type-operators-0.3.5/src/lib.rs:743:114
[INFO] [stdout]     |
[INFO] [stdout] 743 ~         _tlsm_machine!(@cont [$($docs)*] $attrs $alias $machine [$($gensyms),*] [$($kinds)+] [$($accum)* ($gensym $kind)] $out);
[INFO] [stdout] 744 |     };
[INFO] [stdout] 745 |     (@cont $docs:tt $attrs:tt $alias:ident $machine:ident [$gensym:ident $(, $gensyms:ident)*] [$kind:tt , $($kinds:tt)+] [$($accum:tt)*] $out:tt) => {
[INFO] [stdout] 746 ~         _tlsm_machine!(@cont $docs $attrs $alias $machine [$($gensyms),*] [$($kinds)+] [$($accum)* ($gensym $kind)] $out);
[INFO] [stdout] 747 |     };
[INFO] [stdout] ...
[INFO] [stdout] 751 |     (@cont $docs:tt $attrs:tt $alias:ident $machine:ident [$gensym:ident $(, $gensyms:ident)*] [$kind:tt] [$($accum:tt)*] $out:tt) => {
[INFO] [stdout] 752 ~         _tlsm_machine!(@cont $docs $attrs $alias $machine [$($gensyms),*] [] [$($accum)* ($gensym $kind)] $out);
[INFO] [stdout]     |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: bounds on generic parameters in type aliases are not enforced
[INFO] [stdout]    --> src/strong/ternary.rs:81:24
[INFO] [stdout]     |
[INFO] [stdout]  10 | / type_operators! {
[INFO] [stdout]  11 | |     [A, B, C, D, E, F, G, H]
[INFO] [stdout]  12 | |
[INFO] [stdout]  13 | |     /// Project the first value in a `NatPair`.
[INFO] [stdout] ...   |
[INFO] [stdout]  81 | |     (Unique) NatUnique(Nat): Nat {
[INFO] [stdout]     | |                        ^^^ will not be checked at usage sites of the type alias
[INFO] [stdout] ...   |
[INFO] [stdout] 354 | | }
[INFO] [stdout]     | |_- help: remove this bound
[INFO] [stdout]     |
[INFO] [stdout]     = note: this is a known limitation of the type checker that may be lifted in a future edition.
[INFO] [stdout]             see issue #112792 <https://github.com/rust-lang/rust/issues/112792> for more information
[INFO] [stdout]     = help: add `#![feature(lazy_type_alias)]` to the crate attributes to enable the desired semantics
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: bounds on generic parameters in type aliases are not enforced
[INFO] [stdout]    --> src/strong/balanced.rs:248:24
[INFO] [stdout]     |
[INFO] [stdout] 248 |     (LteCmp) IntLteCmp(Int, Int, Int, Int): Int {
[INFO] [stdout]     |                        ^^^  ^^^  ^^^  ^^^ will not be checked at usage sites of the type alias
[INFO] [stdout]     |
[INFO] [stdout]     = note: this is a known limitation of the type checker that may be lifted in a future edition.
[INFO] [stdout]             see issue #112792 <https://github.com/rust-lang/rust/issues/112792> for more information
[INFO] [stdout]     = help: add `#![feature(lazy_type_alias)]` to the crate attributes to enable the desired semantics
[INFO] [stdout] help: remove these bounds
[INFO] [stdout]    --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/type-operators-0.3.5/src/lib.rs:743:114
[INFO] [stdout]     |
[INFO] [stdout] 743 ~         _tlsm_machine!(@cont [$($docs)*] $attrs $alias $machine [$($gensyms),*] [$($kinds)+] [$($accum)* ($gensym $kind)] $out);
[INFO] [stdout] 744 |     };
[INFO] [stdout] 745 |     (@cont $docs:tt $attrs:tt $alias:ident $machine:ident [$gensym:ident $(, $gensyms:ident)*] [$kind:tt , $($kinds:tt)+] [$($accum:tt)*] $out:tt) => {
[INFO] [stdout] 746 ~         _tlsm_machine!(@cont $docs $attrs $alias $machine [$($gensyms),*] [$($kinds)+] [$($accum)* ($gensym $kind)] $out);
[INFO] [stdout] 747 |     };
[INFO] [stdout] ...
[INFO] [stdout] 751 |     (@cont $docs:tt $attrs:tt $alias:ident $machine:ident [$gensym:ident $(, $gensyms:ident)*] [$kind:tt] [$($accum:tt)*] $out:tt) => {
[INFO] [stdout] 752 ~         _tlsm_machine!(@cont $docs $attrs $alias $machine [$($gensyms),*] [] [$($accum)* ($gensym $kind)] $out);
[INFO] [stdout]     |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: bounds on generic parameters in type aliases are not enforced
[INFO] [stdout]   --> src/strong/ternary.rs:95:18
[INFO] [stdout]    |
[INFO] [stdout] 95 |     (Add) NatAdd(Nat, Nat): Nat {
[INFO] [stdout]    |                  ^^^  ^^^ will not be checked at usage sites of the type alias
[INFO] [stdout]    |
[INFO] [stdout]    = note: this is a known limitation of the type checker that may be lifted in a future edition.
[INFO] [stdout]            see issue #112792 <https://github.com/rust-lang/rust/issues/112792> for more information
[INFO] [stdout]    = help: add `#![feature(lazy_type_alias)]` to the crate attributes to enable the desired semantics
[INFO] [stdout] help: remove these bounds
[INFO] [stdout]   --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/type-operators-0.3.5/src/lib.rs:743:114
[INFO] [stdout]    |
[INFO] [stdout] 743~         _tlsm_machine!(@cont [$($docs)*] $attrs $alias $machine [$($gensyms),*] [$($kinds)+] [$($accum)* ($gensym $kind)] $out);
[INFO] [stdout] 744|     };
[INFO] [stdout] ...
[INFO] [stdout] 751|     (@cont $docs:tt $attrs:tt $alias:ident $machine:ident [$gensym:ident $(, $gensyms:ident)*] [$kind:tt] [$($accum:tt)*] $out:tt) => {
[INFO] [stdout] 752~         _tlsm_machine!(@cont $docs $attrs $alias $machine [$($gensyms),*] [] [$($accum)* ($gensym $kind)] $out);
[INFO] [stdout]    |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: bounds on generic parameters in type aliases are not enforced
[INFO] [stdout]    --> src/strong/ternary.rs:128:38
[INFO] [stdout]     |
[INFO] [stdout]  10 | / type_operators! {
[INFO] [stdout]  11 | |     [A, B, C, D, E, F, G, H]
[INFO] [stdout]  12 | |
[INFO] [stdout]  13 | |     /// Project the first value in a `NatPair`.
[INFO] [stdout] ...   |
[INFO] [stdout] 128 | |     (TriplePlusOne) NatTriplePlusOne(Nat): Nat {
[INFO] [stdout]     | |                                      ^^^ will not be checked at usage sites of the type alias
[INFO] [stdout] ...   |
[INFO] [stdout] 354 | | }
[INFO] [stdout]     | |_- help: remove this bound
[INFO] [stdout]     |
[INFO] [stdout]     = note: this is a known limitation of the type checker that may be lifted in a future edition.
[INFO] [stdout]             see issue #112792 <https://github.com/rust-lang/rust/issues/112792> for more information
[INFO] [stdout]     = help: add `#![feature(lazy_type_alias)]` to the crate attributes to enable the desired semantics
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: bounds on generic parameters in type aliases are not enforced
[INFO] [stdout]    --> src/strong/balanced.rs:254:26
[INFO] [stdout]     |
[INFO] [stdout] 254 |     (LteCmp2) IntLteCmp2(Int, Int, IntPair, IntPair): IntPair {
[INFO] [stdout]     |                          ^^^  ^^^  ^^^^^^^  ^^^^^^^ will not be checked at usage sites of the type alias
[INFO] [stdout]     |
[INFO] [stdout]     = note: this is a known limitation of the type checker that may be lifted in a future edition.
[INFO] [stdout]             see issue #112792 <https://github.com/rust-lang/rust/issues/112792> for more information
[INFO] [stdout]     = help: add `#![feature(lazy_type_alias)]` to the crate attributes to enable the desired semantics
[INFO] [stdout] help: remove these bounds
[INFO] [stdout]    --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/type-operators-0.3.5/src/lib.rs:743:114
[INFO] [stdout]     |
[INFO] [stdout] 743 ~         _tlsm_machine!(@cont [$($docs)*] $attrs $alias $machine [$($gensyms),*] [$($kinds)+] [$($accum)* ($gensym $kind)] $out);
[INFO] [stdout] 744 |     };
[INFO] [stdout] 745 |     (@cont $docs:tt $attrs:tt $alias:ident $machine:ident [$gensym:ident $(, $gensyms:ident)*] [$kind:tt , $($kinds:tt)+] [$($accum:tt)*] $out:tt) => {
[INFO] [stdout] 746 ~         _tlsm_machine!(@cont $docs $attrs $alias $machine [$($gensyms),*] [$($kinds)+] [$($accum)* ($gensym $kind)] $out);
[INFO] [stdout] 747 |     };
[INFO] [stdout] ...
[INFO] [stdout] 751 |     (@cont $docs:tt $attrs:tt $alias:ident $machine:ident [$gensym:ident $(, $gensyms:ident)*] [$kind:tt] [$($accum:tt)*] $out:tt) => {
[INFO] [stdout] 752 ~         _tlsm_machine!(@cont $docs $attrs $alias $machine [$($gensyms),*] [] [$($accum)* ($gensym $kind)] $out);
[INFO] [stdout]     |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: bounds on generic parameters in type aliases are not enforced
[INFO] [stdout]    --> src/strong/ternary.rs:139:38
[INFO] [stdout]     |
[INFO] [stdout]  10 | / type_operators! {
[INFO] [stdout]  11 | |     [A, B, C, D, E, F, G, H]
[INFO] [stdout]  12 | |
[INFO] [stdout]  13 | |     /// Project the first value in a `NatPair`.
[INFO] [stdout] ...   |
[INFO] [stdout] 139 | |     (TriplePlusTwo) NatTriplePlusTwo(Nat): Nat {
[INFO] [stdout]     | |                                      ^^^ will not be checked at usage sites of the type alias
[INFO] [stdout] ...   |
[INFO] [stdout] 354 | | }
[INFO] [stdout]     | |_- help: remove this bound
[INFO] [stdout]     |
[INFO] [stdout]     = note: this is a known limitation of the type checker that may be lifted in a future edition.
[INFO] [stdout]             see issue #112792 <https://github.com/rust-lang/rust/issues/112792> for more information
[INFO] [stdout]     = help: add `#![feature(lazy_type_alias)]` to the crate attributes to enable the desired semantics
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: bounds on generic parameters in type aliases are not enforced
[INFO] [stdout]    --> src/strong/ternary.rs:152:18
[INFO] [stdout]     |
[INFO] [stdout] 152 |     (Sub) NatSub(Nat, Nat): Nat {
[INFO] [stdout]     |                  ^^^  ^^^ will not be checked at usage sites of the type alias
[INFO] [stdout]     |
[INFO] [stdout]     = note: this is a known limitation of the type checker that may be lifted in a future edition.
[INFO] [stdout]             see issue #112792 <https://github.com/rust-lang/rust/issues/112792> for more information
[INFO] [stdout]     = help: add `#![feature(lazy_type_alias)]` to the crate attributes to enable the desired semantics
[INFO] [stdout] help: remove these bounds
[INFO] [stdout]    --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/type-operators-0.3.5/src/lib.rs:743:114
[INFO] [stdout]     |
[INFO] [stdout] 743 ~         _tlsm_machine!(@cont [$($docs)*] $attrs $alias $machine [$($gensyms),*] [$($kinds)+] [$($accum)* ($gensym $kind)] $out);
[INFO] [stdout] 744 |     };
[INFO] [stdout] ...
[INFO] [stdout] 751 |     (@cont $docs:tt $attrs:tt $alias:ident $machine:ident [$gensym:ident $(, $gensyms:ident)*] [$kind:tt] [$($accum:tt)*] $out:tt) => {
[INFO] [stdout] 752 ~         _tlsm_machine!(@cont $docs $attrs $alias $machine [$($gensyms),*] [] [$($accum)* ($gensym $kind)] $out);
[INFO] [stdout]     |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: bounds on generic parameters in type aliases are not enforced
[INFO] [stdout]    --> src/strong/balanced.rs:261:18
[INFO] [stdout]     |
[INFO] [stdout]   6 | / type_operators! {
[INFO] [stdout]   7 | |     [A, B, C, D, E, F, G, H]
[INFO] [stdout]   8 | |
[INFO] [stdout]   9 | |     /// Project the first value in an `IntPair`.
[INFO] [stdout] ...   |
[INFO] [stdout] 261 | |     (Abs) IntAbs(Int): Int {
[INFO] [stdout]     | |                  ^^^ will not be checked at usage sites of the type alias
[INFO] [stdout] ...   |
[INFO] [stdout] 374 | | }
[INFO] [stdout]     | |_- help: remove this bound
[INFO] [stdout]     |
[INFO] [stdout]     = note: this is a known limitation of the type checker that may be lifted in a future edition.
[INFO] [stdout]             see issue #112792 <https://github.com/rust-lang/rust/issues/112792> for more information
[INFO] [stdout]     = help: add `#![feature(lazy_type_alias)]` to the crate attributes to enable the desired semantics
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: bounds on generic parameters in type aliases are not enforced
[INFO] [stdout]    --> src/strong/ternary.rs:185:18
[INFO] [stdout]     |
[INFO] [stdout] 185 |     (Mul) NatMul(Nat, Nat): Nat {
[INFO] [stdout]     |                  ^^^  ^^^ will not be checked at usage sites of the type alias
[INFO] [stdout]     |
[INFO] [stdout]     = note: this is a known limitation of the type checker that may be lifted in a future edition.
[INFO] [stdout]             see issue #112792 <https://github.com/rust-lang/rust/issues/112792> for more information
[INFO] [stdout]     = help: add `#![feature(lazy_type_alias)]` to the crate attributes to enable the desired semantics
[INFO] [stdout] help: remove these bounds
[INFO] [stdout]    --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/type-operators-0.3.5/src/lib.rs:743:114
[INFO] [stdout]     |
[INFO] [stdout] 743 ~         _tlsm_machine!(@cont [$($docs)*] $attrs $alias $machine [$($gensyms),*] [$($kinds)+] [$($accum)* ($gensym $kind)] $out);
[INFO] [stdout] 744 |     };
[INFO] [stdout] ...
[INFO] [stdout] 751 |     (@cont $docs:tt $attrs:tt $alias:ident $machine:ident [$gensym:ident $(, $gensyms:ident)*] [$kind:tt] [$($accum:tt)*] $out:tt) => {
[INFO] [stdout] 752 ~         _tlsm_machine!(@cont $docs $attrs $alias $machine [$($gensyms),*] [] [$($accum)* ($gensym $kind)] $out);
[INFO] [stdout]     |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: bounds on generic parameters in type aliases are not enforced
[INFO] [stdout]    --> src/strong/balanced.rs:273:40
[INFO] [stdout]     |
[INFO] [stdout] 273 |     (AbsMinThreeCmp) IntAbsMinThreeCmp(Int, Int, Int, Int, Int, Int): IntPair {
[INFO] [stdout]     |                                        ^^^  ^^^  ^^^  ^^^  ^^^  ^^^ will not be checked at usage sites of the type alias
[INFO] [stdout]     |
[INFO] [stdout]     = note: this is a known limitation of the type checker that may be lifted in a future edition.
[INFO] [stdout]             see issue #112792 <https://github.com/rust-lang/rust/issues/112792> for more information
[INFO] [stdout]     = help: add `#![feature(lazy_type_alias)]` to the crate attributes to enable the desired semantics
[INFO] [stdout] help: remove these bounds
[INFO] [stdout]    --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/type-operators-0.3.5/src/lib.rs:743:114
[INFO] [stdout]     |
[INFO] [stdout] 743 ~         _tlsm_machine!(@cont [$($docs)*] $attrs $alias $machine [$($gensyms),*] [$($kinds)+] [$($accum)* ($gensym $kind)] $out);
[INFO] [stdout] 744 |     };
[INFO] [stdout] 745 |     (@cont $docs:tt $attrs:tt $alias:ident $machine:ident [$gensym:ident $(, $gensyms:ident)*] [$kind:tt , $($kinds:tt)+] [$($accum:tt)*] $out:tt) => {
[INFO] [stdout] 746 ~         _tlsm_machine!(@cont $docs $attrs $alias $machine [$($gensyms),*] [$($kinds)+] [$($accum)* ($gensym $kind)] $out);
[INFO] [stdout] 747 |     };
[INFO] [stdout] ...
[INFO] [stdout] 751 |     (@cont $docs:tt $attrs:tt $alias:ident $machine:ident [$gensym:ident $(, $gensyms:ident)*] [$kind:tt] [$($accum:tt)*] $out:tt) => {
[INFO] [stdout] 752 ~         _tlsm_machine!(@cont $docs $attrs $alias $machine [$($gensyms),*] [] [$($accum)* ($gensym $kind)] $out);
[INFO] [stdout]     |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: bounds on generic parameters in type aliases are not enforced
[INFO] [stdout]    --> src/strong/ternary.rs:220:18
[INFO] [stdout]     |
[INFO] [stdout] 220 |     (Cmp) NatCmp(Nat, Nat, Nat, Nat, Nat): Nat {
[INFO] [stdout]     |                  ^^^  ^^^  ^^^  ^^^  ^^^ will not be checked at usage sites of the type alias
[INFO] [stdout]     |
[INFO] [stdout]     = note: this is a known limitation of the type checker that may be lifted in a future edition.
[INFO] [stdout]             see issue #112792 <https://github.com/rust-lang/rust/issues/112792> for more information
[INFO] [stdout]     = help: add `#![feature(lazy_type_alias)]` to the crate attributes to enable the desired semantics
[INFO] [stdout] help: remove these bounds
[INFO] [stdout]    --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/type-operators-0.3.5/src/lib.rs:743:114
[INFO] [stdout]     |
[INFO] [stdout] 743 ~         _tlsm_machine!(@cont [$($docs)*] $attrs $alias $machine [$($gensyms),*] [$($kinds)+] [$($accum)* ($gensym $kind)] $out);
[INFO] [stdout] 744 |     };
[INFO] [stdout] 745 |     (@cont $docs:tt $attrs:tt $alias:ident $machine:ident [$gensym:ident $(, $gensyms:ident)*] [$kind:tt , $($kinds:tt)+] [$($accum:tt)*] $out:tt) => {
[INFO] [stdout] 746 ~         _tlsm_machine!(@cont $docs $attrs $alias $machine [$($gensyms),*] [$($kinds)+] [$($accum)* ($gensym $kind)] $out);
[INFO] [stdout] 747 |     };
[INFO] [stdout] ...
[INFO] [stdout] 751 |     (@cont $docs:tt $attrs:tt $alias:ident $machine:ident [$gensym:ident $(, $gensyms:ident)*] [$kind:tt] [$($accum:tt)*] $out:tt) => {
[INFO] [stdout] 752 ~         _tlsm_machine!(@cont $docs $attrs $alias $machine [$($gensyms),*] [] [$($accum)* ($gensym $kind)] $out);
[INFO] [stdout]     |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: bounds on generic parameters in type aliases are not enforced
[INFO] [stdout]    --> src/strong/balanced.rs:284:18
[INFO] [stdout]     |
[INFO] [stdout]   6 | / type_operators! {
[INFO] [stdout]   7 | |     [A, B, C, D, E, F, G, H]
[INFO] [stdout]   8 | |
[INFO] [stdout]   9 | |     /// Project the first value in an `IntPair`.
[INFO] [stdout] ...   |
[INFO] [stdout] 284 | |     (Rev) IntRev(Int): Int {
[INFO] [stdout]     | |                  ^^^ will not be checked at usage sites of the type alias
[INFO] [stdout] ...   |
[INFO] [stdout] 374 | | }
[INFO] [stdout]     | |_- help: remove this bound
[INFO] [stdout]     |
[INFO] [stdout]     = note: this is a known limitation of the type checker that may be lifted in a future edition.
[INFO] [stdout]             see issue #112792 <https://github.com/rust-lang/rust/issues/112792> for more information
[INFO] [stdout]     = help: add `#![feature(lazy_type_alias)]` to the crate attributes to enable the desired semantics
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: bounds on generic parameters in type aliases are not enforced
[INFO] [stdout]    --> src/strong/ternary.rs:247:28
[INFO] [stdout]     |
[INFO] [stdout] 247 |     (UndefOr2) NatUndefOr2(Nat, Nat, NatPair): NatPair {
[INFO] [stdout]     |                            ^^^  ^^^  ^^^^^^^ will not be checked at usage sites of the type alias
[INFO] [stdout]     |
[INFO] [stdout]     = note: this is a known limitation of the type checker that may be lifted in a future edition.
[INFO] [stdout]             see issue #112792 <https://github.com/rust-lang/rust/issues/112792> for more information
[INFO] [stdout]     = help: add `#![feature(lazy_type_alias)]` to the crate attributes to enable the desired semantics
[INFO] [stdout] help: remove these bounds
[INFO] [stdout]    --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/type-operators-0.3.5/src/lib.rs:743:114
[INFO] [stdout]     |
[INFO] [stdout] 743 ~         _tlsm_machine!(@cont [$($docs)*] $attrs $alias $machine [$($gensyms),*] [$($kinds)+] [$($accum)* ($gensym $kind)] $out);
[INFO] [stdout] 744 |     };
[INFO] [stdout] 745 |     (@cont $docs:tt $attrs:tt $alias:ident $machine:ident [$gensym:ident $(, $gensyms:ident)*] [$kind:tt , $($kinds:tt)+] [$($accum:tt)*] $out:tt) => {
[INFO] [stdout] 746 ~         _tlsm_machine!(@cont $docs $attrs $alias $machine [$($gensyms),*] [$($kinds)+] [$($accum)* ($gensym $kind)] $out);
[INFO] [stdout] 747 |     };
[INFO] [stdout] ...
[INFO] [stdout] 751 |     (@cont $docs:tt $attrs:tt $alias:ident $machine:ident [$gensym:ident $(, $gensyms:ident)*] [$kind:tt] [$($accum:tt)*] $out:tt) => {
[INFO] [stdout] 752 ~         _tlsm_machine!(@cont $docs $attrs $alias $machine [$($gensyms),*] [] [$($accum)* ($gensym $kind)] $out);
[INFO] [stdout]     |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: bounds on generic parameters in type aliases are not enforced
[INFO] [stdout]    --> src/strong/balanced.rs:290:34
[INFO] [stdout]     |
[INFO] [stdout] 290 |     (RevInternal) IntRevInternal(Int, Int): Int {
[INFO] [stdout]     |                                  ^^^  ^^^ will not be checked at usage sites of the type alias
[INFO] [stdout]     |
[INFO] [stdout]     = note: this is a known limitation of the type checker that may be lifted in a future edition.
[INFO] [stdout]             see issue #112792 <https://github.com/rust-lang/rust/issues/112792> for more information
[INFO] [stdout]     = help: add `#![feature(lazy_type_alias)]` to the crate attributes to enable the desired semantics
[INFO] [stdout] help: remove these bounds
[INFO] [stdout]    --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/type-operators-0.3.5/src/lib.rs:743:114
[INFO] [stdout]     |
[INFO] [stdout] 743 ~         _tlsm_machine!(@cont [$($docs)*] $attrs $alias $machine [$($gensyms),*] [$($kinds)+] [$($accum)* ($gensym $kind)] $out);
[INFO] [stdout] 744 |     };
[INFO] [stdout] ...
[INFO] [stdout] 751 |     (@cont $docs:tt $attrs:tt $alias:ident $machine:ident [$gensym:ident $(, $gensyms:ident)*] [$kind:tt] [$($accum:tt)*] $out:tt) => {
[INFO] [stdout] 752 ~         _tlsm_machine!(@cont $docs $attrs $alias $machine [$($gensyms),*] [] [$($accum)* ($gensym $kind)] $out);
[INFO] [stdout]     |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: bounds on generic parameters in type aliases are not enforced
[INFO] [stdout]    --> src/strong/ternary.rs:262:18
[INFO] [stdout]     |
[INFO] [stdout]  10 | / type_operators! {
[INFO] [stdout]  11 | |     [A, B, C, D, E, F, G, H]
[INFO] [stdout]  12 | |
[INFO] [stdout]  13 | |     /// Project the first value in a `NatPair`.
[INFO] [stdout] ...   |
[INFO] [stdout] 262 | |     (Rev) NatRev(Nat): Nat {
[INFO] [stdout]     | |                  ^^^ will not be checked at usage sites of the type alias
[INFO] [stdout] ...   |
[INFO] [stdout] 354 | | }
[INFO] [stdout]     | |_- help: remove this bound
[INFO] [stdout]     |
[INFO] [stdout]     = note: this is a known limitation of the type checker that may be lifted in a future edition.
[INFO] [stdout]             see issue #112792 <https://github.com/rust-lang/rust/issues/112792> for more information
[INFO] [stdout]     = help: add `#![feature(lazy_type_alias)]` to the crate attributes to enable the desired semantics
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: bounds on generic parameters in type aliases are not enforced
[INFO] [stdout]    --> src/strong/balanced.rs:302:18
[INFO] [stdout]     |
[INFO] [stdout] 302 |     (Div) IntDiv(Int, Int): Int {
[INFO] [stdout]     |                  ^^^  ^^^ will not be checked at usage sites of the type alias
[INFO] [stdout]     |
[INFO] [stdout]     = note: this is a known limitation of the type checker that may be lifted in a future edition.
[INFO] [stdout]             see issue #112792 <https://github.com/rust-lang/rust/issues/112792> for more information
[INFO] [stdout]     = help: add `#![feature(lazy_type_alias)]` to the crate attributes to enable the desired semantics
[INFO] [stdout] help: remove these bounds
[INFO] [stdout]    --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/type-operators-0.3.5/src/lib.rs:743:114
[INFO] [stdout]     |
[INFO] [stdout] 743 ~         _tlsm_machine!(@cont [$($docs)*] $attrs $alias $machine [$($gensyms),*] [$($kinds)+] [$($accum)* ($gensym $kind)] $out);
[INFO] [stdout] 744 |     };
[INFO] [stdout] ...
[INFO] [stdout] 751 |     (@cont $docs:tt $attrs:tt $alias:ident $machine:ident [$gensym:ident $(, $gensyms:ident)*] [$kind:tt] [$($accum:tt)*] $out:tt) => {
[INFO] [stdout] 752 ~         _tlsm_machine!(@cont $docs $attrs $alias $machine [$($gensyms),*] [] [$($accum)* ($gensym $kind)] $out);
[INFO] [stdout]     |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: bounds on generic parameters in type aliases are not enforced
[INFO] [stdout]    --> src/strong/ternary.rs:268:34
[INFO] [stdout]     |
[INFO] [stdout] 268 |     (RevInternal) NatRevInternal(Nat, Nat): Nat {
[INFO] [stdout]     |                                  ^^^  ^^^ will not be checked at usage sites of the type alias
[INFO] [stdout]     |
[INFO] [stdout]     = note: this is a known limitation of the type checker that may be lifted in a future edition.
[INFO] [stdout]             see issue #112792 <https://github.com/rust-lang/rust/issues/112792> for more information
[INFO] [stdout]     = help: add `#![feature(lazy_type_alias)]` to the crate attributes to enable the desired semantics
[INFO] [stdout] help: remove these bounds
[INFO] [stdout]    --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/type-operators-0.3.5/src/lib.rs:743:114
[INFO] [stdout]     |
[INFO] [stdout] 743 ~         _tlsm_machine!(@cont [$($docs)*] $attrs $alias $machine [$($gensyms),*] [$($kinds)+] [$($accum)* ($gensym $kind)] $out);
[INFO] [stdout] 744 |     };
[INFO] [stdout] ...
[INFO] [stdout] 751 |     (@cont $docs:tt $attrs:tt $alias:ident $machine:ident [$gensym:ident $(, $gensyms:ident)*] [$kind:tt] [$($accum:tt)*] $out:tt) => {
[INFO] [stdout] 752 ~         _tlsm_machine!(@cont $docs $attrs $alias $machine [$($gensyms),*] [] [$($accum)* ($gensym $kind)] $out);
[INFO] [stdout]     |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: bounds on generic parameters in type aliases are not enforced
[INFO] [stdout]    --> src/strong/balanced.rs:326:18
[INFO] [stdout]     |
[INFO] [stdout] 326 |     (Rem) IntRem(Int, Int): Int {
[INFO] [stdout]     |                  ^^^  ^^^ will not be checked at usage sites of the type alias
[INFO] [stdout]     |
[INFO] [stdout]     = note: this is a known limitation of the type checker that may be lifted in a future edition.
[INFO] [stdout]             see issue #112792 <https://github.com/rust-lang/rust/issues/112792> for more information
[INFO] [stdout]     = help: add `#![feature(lazy_type_alias)]` to the crate attributes to enable the desired semantics
[INFO] [stdout] help: remove these bounds
[INFO] [stdout]    --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/type-operators-0.3.5/src/lib.rs:743:114
[INFO] [stdout]     |
[INFO] [stdout] 743 ~         _tlsm_machine!(@cont [$($docs)*] $attrs $alias $machine [$($gensyms),*] [$($kinds)+] [$($accum)* ($gensym $kind)] $out);
[INFO] [stdout] 744 |     };
[INFO] [stdout] ...
[INFO] [stdout] 751 |     (@cont $docs:tt $attrs:tt $alias:ident $machine:ident [$gensym:ident $(, $gensyms:ident)*] [$kind:tt] [$($accum:tt)*] $out:tt) => {
[INFO] [stdout] 752 ~         _tlsm_machine!(@cont $docs $attrs $alias $machine [$($gensyms),*] [] [$($accum)* ($gensym $kind)] $out);
[INFO] [stdout]     |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: bounds on generic parameters in type aliases are not enforced
[INFO] [stdout]    --> src/strong/ternary.rs:281:18
[INFO] [stdout]     |
[INFO] [stdout] 281 |     (Div) NatDiv(Nat, Nat): Nat {
[INFO] [stdout]     |                  ^^^  ^^^ will not be checked at usage sites of the type alias
[INFO] [stdout]     |
[INFO] [stdout]     = note: this is a known limitation of the type checker that may be lifted in a future edition.
[INFO] [stdout]             see issue #112792 <https://github.com/rust-lang/rust/issues/112792> for more information
[INFO] [stdout]     = help: add `#![feature(lazy_type_alias)]` to the crate attributes to enable the desired semantics
[INFO] [stdout] help: remove these bounds
[INFO] [stdout]    --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/type-operators-0.3.5/src/lib.rs:743:114
[INFO] [stdout]     |
[INFO] [stdout] 743 ~         _tlsm_machine!(@cont [$($docs)*] $attrs $alias $machine [$($gensyms),*] [$($kinds)+] [$($accum)* ($gensym $kind)] $out);
[INFO] [stdout] 744 |     };
[INFO] [stdout] ...
[INFO] [stdout] 751 |     (@cont $docs:tt $attrs:tt $alias:ident $machine:ident [$gensym:ident $(, $gensyms:ident)*] [$kind:tt] [$($accum:tt)*] $out:tt) => {
[INFO] [stdout] 752 ~         _tlsm_machine!(@cont $docs $attrs $alias $machine [$($gensyms),*] [] [$($accum)* ($gensym $kind)] $out);
[INFO] [stdout]     |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: bounds on generic parameters in type aliases are not enforced
[INFO] [stdout]    --> src/strong/balanced.rs:349:34
[INFO] [stdout]     |
[INFO] [stdout] 349 |     (DivInternal) IntDivInternal(Int, Int, IntPair): IntPair {
[INFO] [stdout]     |                                  ^^^  ^^^  ^^^^^^^ will not be checked at usage sites of the type alias
[INFO] [stdout]     |
[INFO] [stdout]     = note: this is a known limitation of the type checker that may be lifted in a future edition.
[INFO] [stdout]             see issue #112792 <https://github.com/rust-lang/rust/issues/112792> for more information
[INFO] [stdout]     = help: add `#![feature(lazy_type_alias)]` to the crate attributes to enable the desired semantics
[INFO] [stdout] help: remove these bounds
[INFO] [stdout]    --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/type-operators-0.3.5/src/lib.rs:743:114
[INFO] [stdout]     |
[INFO] [stdout] 743 ~         _tlsm_machine!(@cont [$($docs)*] $attrs $alias $machine [$($gensyms),*] [$($kinds)+] [$($accum)* ($gensym $kind)] $out);
[INFO] [stdout] 744 |     };
[INFO] [stdout] 745 |     (@cont $docs:tt $attrs:tt $alias:ident $machine:ident [$gensym:ident $(, $gensyms:ident)*] [$kind:tt , $($kinds:tt)+] [$($accum:tt)*] $out:tt) => {
[INFO] [stdout] 746 ~         _tlsm_machine!(@cont $docs $attrs $alias $machine [$($gensyms),*] [$($kinds)+] [$($accum)* ($gensym $kind)] $out);
[INFO] [stdout] 747 |     };
[INFO] [stdout] ...
[INFO] [stdout] 751 |     (@cont $docs:tt $attrs:tt $alias:ident $machine:ident [$gensym:ident $(, $gensyms:ident)*] [$kind:tt] [$($accum:tt)*] $out:tt) => {
[INFO] [stdout] 752 ~         _tlsm_machine!(@cont $docs $attrs $alias $machine [$($gensyms),*] [] [$($accum)* ($gensym $kind)] $out);
[INFO] [stdout]     |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: bounds on generic parameters in type aliases are not enforced
[INFO] [stdout]    --> src/strong/ternary.rs:306:18
[INFO] [stdout]     |
[INFO] [stdout] 306 |     (Rem) NatRem(Nat, Nat): Nat {
[INFO] [stdout]     |                  ^^^  ^^^ will not be checked at usage sites of the type alias
[INFO] [stdout]     |
[INFO] [stdout]     = note: this is a known limitation of the type checker that may be lifted in a future edition.
[INFO] [stdout]             see issue #112792 <https://github.com/rust-lang/rust/issues/112792> for more information
[INFO] [stdout]     = help: add `#![feature(lazy_type_alias)]` to the crate attributes to enable the desired semantics
[INFO] [stdout] help: remove these bounds
[INFO] [stdout]    --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/type-operators-0.3.5/src/lib.rs:743:114
[INFO] [stdout]     |
[INFO] [stdout] 743 ~         _tlsm_machine!(@cont [$($docs)*] $attrs $alias $machine [$($gensyms),*] [$($kinds)+] [$($accum)* ($gensym $kind)] $out);
[INFO] [stdout] 744 |     };
[INFO] [stdout] ...
[INFO] [stdout] 751 |     (@cont $docs:tt $attrs:tt $alias:ident $machine:ident [$gensym:ident $(, $gensyms:ident)*] [$kind:tt] [$($accum:tt)*] $out:tt) => {
[INFO] [stdout] 752 ~         _tlsm_machine!(@cont $docs $attrs $alias $machine [$($gensyms),*] [] [$($accum)* ($gensym $kind)] $out);
[INFO] [stdout]     |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: bounds on generic parameters in type aliases are not enforced
[INFO] [stdout]    --> src/strong/ternary.rs:329:34
[INFO] [stdout]     |
[INFO] [stdout] 329 |     (DivInternal) NatDivInternal(Nat, Nat, NatPair): NatPair {
[INFO] [stdout]     |                                  ^^^  ^^^  ^^^^^^^ will not be checked at usage sites of the type alias
[INFO] [stdout]     |
[INFO] [stdout]     = note: this is a known limitation of the type checker that may be lifted in a future edition.
[INFO] [stdout]             see issue #112792 <https://github.com/rust-lang/rust/issues/112792> for more information
[INFO] [stdout]     = help: add `#![feature(lazy_type_alias)]` to the crate attributes to enable the desired semantics
[INFO] [stdout] help: remove these bounds
[INFO] [stdout]    --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/type-operators-0.3.5/src/lib.rs:743:114
[INFO] [stdout]     |
[INFO] [stdout] 743 ~         _tlsm_machine!(@cont [$($docs)*] $attrs $alias $machine [$($gensyms),*] [$($kinds)+] [$($accum)* ($gensym $kind)] $out);
[INFO] [stdout] 744 |     };
[INFO] [stdout] 745 |     (@cont $docs:tt $attrs:tt $alias:ident $machine:ident [$gensym:ident $(, $gensyms:ident)*] [$kind:tt , $($kinds:tt)+] [$($accum:tt)*] $out:tt) => {
[INFO] [stdout] 746 ~         _tlsm_machine!(@cont $docs $attrs $alias $machine [$($gensyms),*] [$($kinds)+] [$($accum)* ($gensym $kind)] $out);
[INFO] [stdout] 747 |     };
[INFO] [stdout] ...
[INFO] [stdout] 751 |     (@cont $docs:tt $attrs:tt $alias:ident $machine:ident [$gensym:ident $(, $gensyms:ident)*] [$kind:tt] [$($accum:tt)*] $out:tt) => {
[INFO] [stdout] 752 ~         _tlsm_machine!(@cont $docs $attrs $alias $machine [$($gensyms),*] [] [$($accum)* ($gensym $kind)] $out);
[INFO] [stdout]     |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stderr]     Finished `test` profile [unoptimized + debuginfo] target(s) in 1.01s
[INFO] running `Command { std: "docker" "inspect" "7b055c78da24acf878159c78e020496ba617bca871c0903dc192dfd92ed0e921", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "7b055c78da24acf878159c78e020496ba617bca871c0903dc192dfd92ed0e921", kill_on_drop: false }`
[INFO] [stdout] 7b055c78da24acf878159c78e020496ba617bca871c0903dc192dfd92ed0e921
