[INFO] fetching crate type-level-logic 0.1.0...
[INFO] testing type-level-logic-0.1.0 against try#b83b707f97d809763b7861afa7638871f3339a33 for pr-145838-1
[INFO] extracting crate type-level-logic 0.1.0 into /workspace/builds/worker-7-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-7-tc2/source/Cargo.toml
[INFO] validating manifest of crates.io crate type-level-logic 0.1.0 on toolchain b83b707f97d809763b7861afa7638871f3339a33
[INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+b83b707f97d809763b7861afa7638871f3339a33" "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" "+b83b707f97d809763b7861afa7638871f3339a33" "generate-lockfile" "--manifest-path" "Cargo.toml", kill_on_drop: false }`
[INFO] [stderr]     Blocking waiting for file lock on package cache
[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" "+b83b707f97d809763b7861afa7638871f3339a33" "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-7-tc2/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-7-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:7ad1b28ee6f5f7f699f6cf7015098d6ccdd96d6f2d78dd06228f5b4c9faf309c" "/opt/rustwide/cargo-home/bin/cargo" "+b83b707f97d809763b7861afa7638871f3339a33" "metadata" "--no-deps" "--format-version=1", kill_on_drop: false }`
[INFO] [stdout] 395e1a57f18e538df098bf97fc2eea91498352ae0acb96d57ce64f910643cc8a
[INFO] running `Command { std: "docker" "start" "-a" "395e1a57f18e538df098bf97fc2eea91498352ae0acb96d57ce64f910643cc8a", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "inspect" "395e1a57f18e538df098bf97fc2eea91498352ae0acb96d57ce64f910643cc8a", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "395e1a57f18e538df098bf97fc2eea91498352ae0acb96d57ce64f910643cc8a", kill_on_drop: false }`
[INFO] [stdout] 395e1a57f18e538df098bf97fc2eea91498352ae0acb96d57ce64f910643cc8a
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-7-tc2/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-7-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:7ad1b28ee6f5f7f699f6cf7015098d6ccdd96d6f2d78dd06228f5b4c9faf309c" "/opt/rustwide/cargo-home/bin/cargo" "+b83b707f97d809763b7861afa7638871f3339a33" "build" "--frozen" "--message-format=json", kill_on_drop: false }`
[INFO] [stdout] b73e593ca16145f7d66d743a2efef61e4c211a89041d6c2ef7cc6bbb96ebbe5f
[INFO] running `Command { std: "docker" "start" "-a" "b73e593ca16145f7d66d743a2efef61e4c211a89041d6c2ef7cc6bbb96ebbe5f", 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/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/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: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/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/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/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/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/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/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/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/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/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/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/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/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/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: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/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/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/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/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/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/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.34s
[INFO] running `Command { std: "docker" "inspect" "b73e593ca16145f7d66d743a2efef61e4c211a89041d6c2ef7cc6bbb96ebbe5f", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "b73e593ca16145f7d66d743a2efef61e4c211a89041d6c2ef7cc6bbb96ebbe5f", kill_on_drop: false }`
[INFO] [stdout] b73e593ca16145f7d66d743a2efef61e4c211a89041d6c2ef7cc6bbb96ebbe5f
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-7-tc2/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-7-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:7ad1b28ee6f5f7f699f6cf7015098d6ccdd96d6f2d78dd06228f5b4c9faf309c" "/opt/rustwide/cargo-home/bin/cargo" "+b83b707f97d809763b7861afa7638871f3339a33" "test" "--frozen" "--no-run" "--message-format=json", kill_on_drop: false }`
[INFO] [stdout] 943582bfbc10431e58c1588a54bce82c8d266f1f03fcf4bad2b93c596d046519
[INFO] running `Command { std: "docker" "start" "-a" "943582bfbc10431e58c1588a54bce82c8d266f1f03fcf4bad2b93c596d046519", 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/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/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: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/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/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/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/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/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/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/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/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/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/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/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/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/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: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/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/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/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/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/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/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/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/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: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/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/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/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/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/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/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/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/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/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/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/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/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/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: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/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/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/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/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/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/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 `test` profile [unoptimized + debuginfo] target(s) in 1.00s
[INFO] running `Command { std: "docker" "inspect" "943582bfbc10431e58c1588a54bce82c8d266f1f03fcf4bad2b93c596d046519", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "943582bfbc10431e58c1588a54bce82c8d266f1f03fcf4bad2b93c596d046519", kill_on_drop: false }`
[INFO] [stdout] 943582bfbc10431e58c1588a54bce82c8d266f1f03fcf4bad2b93c596d046519
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-7-tc2/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-7-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:7ad1b28ee6f5f7f699f6cf7015098d6ccdd96d6f2d78dd06228f5b4c9faf309c" "/opt/rustwide/cargo-home/bin/cargo" "+b83b707f97d809763b7861afa7638871f3339a33" "test" "--frozen", kill_on_drop: false }`
[INFO] [stdout] 0c811c5dee3f39138ecdda814352c2aaa820df5526f77d524f1cef25e31dc058
[INFO] running `Command { std: "docker" "start" "-a" "0c811c5dee3f39138ecdda814352c2aaa820df5526f77d524f1cef25e31dc058", kill_on_drop: false }`
[INFO] [stderr] warning: no edition set: defaulting to the 2015 edition while the latest is 2024
[INFO] [stderr] warning: bounds on generic parameters in type aliases are not enforced
[INFO] [stderr]  --> src/strong/boolean.rs:9:19
[INFO] [stderr]   |
[INFO] [stderr] 9 |     (And) BoolAnd(Bool, Bool): Bool {
[INFO] [stderr]   |                   ^^^^  ^^^^ will not be checked at usage sites of the type alias
[INFO] [stderr]   |
[INFO] [stderr]   = note: this is a known limitation of the type checker that may be lifted in a future edition.
[INFO] [stderr]           see issue #112792 <https://github.com/rust-lang/rust/issues/112792> for more information
[INFO] [stderr]   = help: add `#![feature(lazy_type_alias)]` to the crate attributes to enable the desired semantics
[INFO] [stderr]   = note: `#[warn(type_alias_bounds)]` on by default
[INFO] [stderr] help: remove these bounds
[INFO] [stderr]  --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/type-operators-0.3.5/src/lib.rs:743:114
[INFO] [stderr]   |
[INFO] [stderr] 74~         _tlsm_machine!(@cont [$($docs)*] $attrs $alias $machine [$($gensyms),*] [$($kinds)+] [$($accum)* ($gensym $kind)] $out);
[INFO] [stderr] 74|     };
[INFO] [stderr] ...
[INFO] [stderr] 75|     (@cont $docs:tt $attrs:tt $alias:ident $machine:ident [$gensym:ident $(, $gensyms:ident)*] [$kind:tt] [$($accum:tt)*] $out:tt) => {
[INFO] [stderr] 75~         _tlsm_machine!(@cont $docs $attrs $alias $machine [$($gensyms),*] [] [$($accum)* ($gensym $kind)] $out);
[INFO] [stderr]   |
[INFO] [stderr] 
[INFO] [stderr] warning: bounds on generic parameters in type aliases are not enforced
[INFO] [stderr]   --> src/strong/boolean.rs:17:17
[INFO] [stderr]    |
[INFO] [stderr] 17 |     (Or) BoolOr(Bool, Bool): Bool {
[INFO] [stderr]    |                 ^^^^  ^^^^ will not be checked at usage sites of the type alias
[INFO] [stderr]    |
[INFO] [stderr]    = note: this is a known limitation of the type checker that may be lifted in a future edition.
[INFO] [stderr]            see issue #112792 <https://github.com/rust-lang/rust/issues/112792> for more information
[INFO] [stderr]    = help: add `#![feature(lazy_type_alias)]` to the crate attributes to enable the desired semantics
[INFO] [stderr] help: remove these bounds
[INFO] [stderr]   --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/type-operators-0.3.5/src/lib.rs:743:114
[INFO] [stderr]    |
[INFO] [stderr] 743~         _tlsm_machine!(@cont [$($docs)*] $attrs $alias $machine [$($gensyms),*] [$($kinds)+] [$($accum)* ($gensym $kind)] $out);
[INFO] [stderr] 744|     };
[INFO] [stderr] ...
[INFO] [stderr] 751|     (@cont $docs:tt $attrs:tt $alias:ident $machine:ident [$gensym:ident $(, $gensyms:ident)*] [$kind:tt] [$($accum:tt)*] $out:tt) => {
[INFO] [stderr] 752~         _tlsm_machine!(@cont $docs $attrs $alias $machine [$($gensyms),*] [] [$($accum)* ($gensym $kind)] $out);
[INFO] [stderr]    |
[INFO] [stderr] 
[INFO] [stderr] warning: bounds on generic parameters in type aliases are not enforced
[INFO] [stderr]   --> src/strong/boolean.rs:26:25
[INFO] [stderr]    |
[INFO] [stderr] 26 |     (IfThen) BoolIfThen(Bool, Bool): Bool {
[INFO] [stderr]    |                         ^^^^  ^^^^ will not be checked at usage sites of the type alias
[INFO] [stderr]    |
[INFO] [stderr]    = note: this is a known limitation of the type checker that may be lifted in a future edition.
[INFO] [stderr]            see issue #112792 <https://github.com/rust-lang/rust/issues/112792> for more information
[INFO] [stderr]    = help: add `#![feature(lazy_type_alias)]` to the crate attributes to enable the desired semantics
[INFO] [stderr] help: remove these bounds
[INFO] [stderr]   --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/type-operators-0.3.5/src/lib.rs:743:114
[INFO] [stderr]    |
[INFO] [stderr] 743~         _tlsm_machine!(@cont [$($docs)*] $attrs $alias $machine [$($gensyms),*] [$($kinds)+] [$($accum)* ($gensym $kind)] $out);
[INFO] [stderr] 744|     };
[INFO] [stderr] ...
[INFO] [stderr] 751|     (@cont $docs:tt $attrs:tt $alias:ident $machine:ident [$gensym:ident $(, $gensyms:ident)*] [$kind:tt] [$($accum:tt)*] $out:tt) => {
[INFO] [stderr] 752~         _tlsm_machine!(@cont $docs $attrs $alias $machine [$($gensyms),*] [] [$($accum)* ($gensym $kind)] $out);
[INFO] [stderr]    |
[INFO] [stderr] 
[INFO] [stderr] warning: bounds on generic parameters in type aliases are not enforced
[INFO] [stderr]   --> src/strong/boolean.rs:35:25
[INFO] [stderr]    |
[INFO] [stderr] 35 |     (OnlyIf) BoolOnlyIf(Bool, Bool): Bool {
[INFO] [stderr]    |                         ^^^^  ^^^^ will not be checked at usage sites of the type alias
[INFO] [stderr]    |
[INFO] [stderr]    = note: this is a known limitation of the type checker that may be lifted in a future edition.
[INFO] [stderr]            see issue #112792 <https://github.com/rust-lang/rust/issues/112792> for more information
[INFO] [stderr]    = help: add `#![feature(lazy_type_alias)]` to the crate attributes to enable the desired semantics
[INFO] [stderr] help: remove these bounds
[INFO] [stderr]   --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/type-operators-0.3.5/src/lib.rs:743:114
[INFO] [stderr]    |
[INFO] [stderr] 743~         _tlsm_machine!(@cont [$($docs)*] $attrs $alias $machine [$($gensyms),*] [$($kinds)+] [$($accum)* ($gensym $kind)] $out);
[INFO] [stderr] 744|     };
[INFO] [stderr] ...
[INFO] [stderr] 751|     (@cont $docs:tt $attrs:tt $alias:ident $machine:ident [$gensym:ident $(, $gensyms:ident)*] [$kind:tt] [$($accum:tt)*] $out:tt) => {
[INFO] [stderr] 752~         _tlsm_machine!(@cont $docs $attrs $alias $machine [$($gensyms),*] [] [$($accum)* ($gensym $kind)] $out);
[INFO] [stderr]    |
[INFO] [stderr] 
[INFO] [stderr] warning: bounds on generic parameters in type aliases are not enforced
[INFO] [stderr]   --> src/strong/boolean.rs:43:19
[INFO] [stderr]    |
[INFO] [stderr] 43 |     (Xor) BoolXor(Bool, Bool): Bool {
[INFO] [stderr]    |                   ^^^^  ^^^^ will not be checked at usage sites of the type alias
[INFO] [stderr]    |
[INFO] [stderr]    = note: this is a known limitation of the type checker that may be lifted in a future edition.
[INFO] [stderr]            see issue #112792 <https://github.com/rust-lang/rust/issues/112792> for more information
[INFO] [stderr]    = help: add `#![feature(lazy_type_alias)]` to the crate attributes to enable the desired semantics
[INFO] [stderr] help: remove these bounds
[INFO] [stderr]   --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/type-operators-0.3.5/src/lib.rs:743:114
[INFO] [stderr]    |
[INFO] [stderr] 743~         _tlsm_machine!(@cont [$($docs)*] $attrs $alias $machine [$($gensyms),*] [$($kinds)+] [$($accum)* ($gensym $kind)] $out);
[INFO] [stderr] 744|     };
[INFO] [stderr] ...
[INFO] [stderr] 751|     (@cont $docs:tt $attrs:tt $alias:ident $machine:ident [$gensym:ident $(, $gensyms:ident)*] [$kind:tt] [$($accum:tt)*] $out:tt) => {
[INFO] [stderr] 752~         _tlsm_machine!(@cont $docs $attrs $alias $machine [$($gensyms),*] [] [$($accum)* ($gensym $kind)] $out);
[INFO] [stderr]    |
[INFO] [stderr] 
[INFO] [stderr] warning: bounds on generic parameters in type aliases are not enforced
[INFO] [stderr]    --> src/strong/ternary.rs:14:24
[INFO] [stderr]     |
[INFO] [stderr]  10 | / type_operators! {
[INFO] [stderr]  11 | |     [A, B, C, D, E, F, G, H]
[INFO] [stderr]  12 | |
[INFO] [stderr]  13 | |     /// Project the first value in a `NatPair`.
[INFO] [stderr]  14 | |     (Nat2First) Nat2P1(NatPair): Nat {
[INFO] [stderr]     | |                        ^^^^^^^ will not be checked at usage sites of the type alias
[INFO] [stderr] ...   |
[INFO] [stderr] 354 | | }
[INFO] [stderr]     | |_- help: remove this bound
[INFO] [stderr]     |
[INFO] [stderr]     = note: this is a known limitation of the type checker that may be lifted in a future edition.
[INFO] [stderr]             see issue #112792 <https://github.com/rust-lang/rust/issues/112792> for more information
[INFO] [stderr]     = help: add `#![feature(lazy_type_alias)]` to the crate attributes to enable the desired semantics
[INFO] [stderr] 
[INFO] [stderr] warning: bounds on generic parameters in type aliases are not enforced
[INFO] [stderr]    --> src/strong/ternary.rs:21:25
[INFO] [stderr]     |
[INFO] [stderr]  10 | / type_operators! {
[INFO] [stderr]  11 | |     [A, B, C, D, E, F, G, H]
[INFO] [stderr]  12 | |
[INFO] [stderr]  13 | |     /// Project the first value in a `NatPair`.
[INFO] [stderr] ...   |
[INFO] [stderr]  21 | |     (Nat2Second) Nat2P2(NatPair): Nat {
[INFO] [stderr]     | |                         ^^^^^^^ will not be checked at usage sites of the type alias
[INFO] [stderr] ...   |
[INFO] [stderr] 354 | | }
[INFO] [stderr]     | |_- help: remove this bound
[INFO] [stderr]     |
[INFO] [stderr]     = note: this is a known limitation of the type checker that may be lifted in a future edition.
[INFO] [stderr]             see issue #112792 <https://github.com/rust-lang/rust/issues/112792> for more information
[INFO] [stderr]     = help: add `#![feature(lazy_type_alias)]` to the crate attributes to enable the desired semantics
[INFO] [stderr] 
[INFO] [stderr] warning: bounds on generic parameters in type aliases are not enforced
[INFO] [stderr]    --> src/strong/ternary.rs:29:20
[INFO] [stderr]     |
[INFO] [stderr]  10 | / type_operators! {
[INFO] [stderr]  11 | |     [A, B, C, D, E, F, G, H]
[INFO] [stderr]  12 | |
[INFO] [stderr]  13 | |     /// Project the first value in a `NatPair`.
[INFO] [stderr] ...   |
[INFO] [stderr]  29 | |     (Succ) NatSucc(Nat): Nat {
[INFO] [stderr]     | |                    ^^^ will not be checked at usage sites of the type alias
[INFO] [stderr] ...   |
[INFO] [stderr] 354 | | }
[INFO] [stderr]     | |_- help: remove this bound
[INFO] [stderr]     |
[INFO] [stderr]     = note: this is a known limitation of the type checker that may be lifted in a future edition.
[INFO] [stderr]             see issue #112792 <https://github.com/rust-lang/rust/issues/112792> for more information
[INFO] [stderr]     = help: add `#![feature(lazy_type_alias)]` to the crate attributes to enable the desired semantics
[INFO] [stderr] 
[INFO] [stderr] warning: bounds on generic parameters in type aliases are not enforced
[INFO] [stderr]    --> src/strong/ternary.rs:41:20
[INFO] [stderr]     |
[INFO] [stderr]  10 | / type_operators! {
[INFO] [stderr]  11 | |     [A, B, C, D, E, F, G, H]
[INFO] [stderr]  12 | |
[INFO] [stderr]  13 | |     /// Project the first value in a `NatPair`.
[INFO] [stderr] ...   |
[INFO] [stderr]  41 | |     (Pred) NatPred(Nat): Nat {
[INFO] [stderr]     | |                    ^^^ will not be checked at usage sites of the type alias
[INFO] [stderr] ...   |
[INFO] [stderr] 354 | | }
[INFO] [stderr]     | |_- help: remove this bound
[INFO] [stderr]     |
[INFO] [stderr]     = note: this is a known limitation of the type checker that may be lifted in a future edition.
[INFO] [stderr]             see issue #112792 <https://github.com/rust-lang/rust/issues/112792> for more information
[INFO] [stderr]     = help: add `#![feature(lazy_type_alias)]` to the crate attributes to enable the desired semantics
[INFO] [stderr] 
[INFO] [stderr] warning: bounds on generic parameters in type aliases are not enforced
[INFO] [stderr]    --> src/strong/ternary.rs:53:32
[INFO] [stderr]     |
[INFO] [stderr]  10 | / type_operators! {
[INFO] [stderr]  11 | |     [A, B, C, D, E, F, G, H]
[INFO] [stderr]  12 | |
[INFO] [stderr]  13 | |     /// Project the first value in a `NatPair`.
[INFO] [stderr] ...   |
[INFO] [stderr]  53 | |     (DoublePred) NatDoublePred(Nat): Nat {
[INFO] [stderr]     | |                                ^^^ will not be checked at usage sites of the type alias
[INFO] [stderr] ...   |
[INFO] [stderr] 354 | | }
[INFO] [stderr]     | |_- help: remove this bound
[INFO] [stderr]     |
[INFO] [stderr]     = note: this is a known limitation of the type checker that may be lifted in a future edition.
[INFO] [stderr]             see issue #112792 <https://github.com/rust-lang/rust/issues/112792> for more information
[INFO] [stderr]     = help: add `#![feature(lazy_type_alias)]` to the crate attributes to enable the desired semantics
[INFO] [stderr] 
[INFO] [stderr] warning: bounds on generic parameters in type aliases are not enforced
[INFO] [stderr]    --> src/strong/ternary.rs:68:24
[INFO] [stderr]     |
[INFO] [stderr]  10 | / type_operators! {
[INFO] [stderr]  11 | |     [A, B, C, D, E, F, G, H]
[INFO] [stderr]  12 | |
[INFO] [stderr]  13 | |     /// Project the first value in a `NatPair`.
[INFO] [stderr] ...   |
[INFO] [stderr]  68 | |     (Triple) NatTriple(Nat): Nat {
[INFO] [stderr]     | |                        ^^^ will not be checked at usage sites of the type alias
[INFO] [stderr] ...   |
[INFO] [stderr] 354 | | }
[INFO] [stderr]     | |_- help: remove this bound
[INFO] [stderr]     |
[INFO] [stderr]     = note: this is a known limitation of the type checker that may be lifted in a future edition.
[INFO] [stderr]             see issue #112792 <https://github.com/rust-lang/rust/issues/112792> for more information
[INFO] [stderr]     = help: add `#![feature(lazy_type_alias)]` to the crate attributes to enable the desired semantics
[INFO] [stderr] 
[INFO] [stderr] warning: bounds on generic parameters in type aliases are not enforced
[INFO] [stderr]    --> src/strong/ternary.rs:81:24
[INFO] [stderr]     |
[INFO] [stderr]  10 | / type_operators! {
[INFO] [stderr]  11 | |     [A, B, C, D, E, F, G, H]
[INFO] [stderr]  12 | |
[INFO] [stderr]  13 | |     /// Project the first value in a `NatPair`.
[INFO] [stderr] ...   |
[INFO] [stderr]  81 | |     (Unique) NatUnique(Nat): Nat {
[INFO] [stderr]     | |                        ^^^ will not be checked at usage sites of the type alias
[INFO] [stderr] ...   |
[INFO] [stderr] 354 | | }
[INFO] [stderr]     | |_- help: remove this bound
[INFO] [stderr]     |
[INFO] [stderr]     = note: this is a known limitation of the type checker that may be lifted in a future edition.
[INFO] [stderr]             see issue #112792 <https://github.com/rust-lang/rust/issues/112792> for more information
[INFO] [stderr]     = help: add `#![feature(lazy_type_alias)]` to the crate attributes to enable the desired semantics
[INFO] [stderr] 
[INFO] [stderr] warning: bounds on generic parameters in type aliases are not enforced
[INFO] [stderr]   --> src/strong/ternary.rs:95:18
[INFO] [stderr]    |
[INFO] [stderr] 95 |     (Add) NatAdd(Nat, Nat): Nat {
[INFO] [stderr]    |                  ^^^  ^^^ will not be checked at usage sites of the type alias
[INFO] [stderr]    |
[INFO] [stderr]    = note: this is a known limitation of the type checker that may be lifted in a future edition.
[INFO] [stderr]            see issue #112792 <https://github.com/rust-lang/rust/issues/112792> for more information
[INFO] [stderr]    = help: add `#![feature(lazy_type_alias)]` to the crate attributes to enable the desired semantics
[INFO] [stderr] help: remove these bounds
[INFO] [stderr]   --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/type-operators-0.3.5/src/lib.rs:743:114
[INFO] [stderr]    |
[INFO] [stderr] 743~         _tlsm_machine!(@cont [$($docs)*] $attrs $alias $machine [$($gensyms),*] [$($kinds)+] [$($accum)* ($gensym $kind)] $out);
[INFO] [stderr] 744|     };
[INFO] [stderr] ...
[INFO] [stderr] 751|     (@cont $docs:tt $attrs:tt $alias:ident $machine:ident [$gensym:ident $(, $gensyms:ident)*] [$kind:tt] [$($accum:tt)*] $out:tt) => {
[INFO] [stderr] 752~         _tlsm_machine!(@cont $docs $attrs $alias $machine [$($gensyms),*] [] [$($accum)* ($gensym $kind)] $out);
[INFO] [stderr]    |
[INFO] [stderr] 
[INFO] [stderr] warning: bounds on generic parameters in type aliases are not enforced
[INFO] [stderr]    --> src/strong/ternary.rs:128:38
[INFO] [stderr]     |
[INFO] [stderr]  10 | / type_operators! {
[INFO] [stderr]  11 | |     [A, B, C, D, E, F, G, H]
[INFO] [stderr]  12 | |
[INFO] [stderr]  13 | |     /// Project the first value in a `NatPair`.
[INFO] [stderr] ...   |
[INFO] [stderr] 128 | |     (TriplePlusOne) NatTriplePlusOne(Nat): Nat {
[INFO] [stderr]     | |                                      ^^^ will not be checked at usage sites of the type alias
[INFO] [stderr] ...   |
[INFO] [stderr] 354 | | }
[INFO] [stderr]     | |_- help: remove this bound
[INFO] [stderr]     |
[INFO] [stderr]     = note: this is a known limitation of the type checker that may be lifted in a future edition.
[INFO] [stderr]             see issue #112792 <https://github.com/rust-lang/rust/issues/112792> for more information
[INFO] [stderr]     = help: add `#![feature(lazy_type_alias)]` to the crate attributes to enable the desired semantics
[INFO] [stderr] 
[INFO] [stderr] warning: bounds on generic parameters in type aliases are not enforced
[INFO] [stderr]    --> src/strong/ternary.rs:139:38
[INFO] [stderr]     |
[INFO] [stderr]  10 | / type_operators! {
[INFO] [stderr]  11 | |     [A, B, C, D, E, F, G, H]
[INFO] [stderr]  12 | |
[INFO] [stderr]  13 | |     /// Project the first value in a `NatPair`.
[INFO] [stderr] ...   |
[INFO] [stderr] 139 | |     (TriplePlusTwo) NatTriplePlusTwo(Nat): Nat {
[INFO] [stderr]     | |                                      ^^^ will not be checked at usage sites of the type alias
[INFO] [stderr] ...   |
[INFO] [stderr] 354 | | }
[INFO] [stderr]     | |_- help: remove this bound
[INFO] [stderr]     |
[INFO] [stderr]     = note: this is a known limitation of the type checker that may be lifted in a future edition.
[INFO] [stderr]             see issue #112792 <https://github.com/rust-lang/rust/issues/112792> for more information
[INFO] [stderr]     = help: add `#![feature(lazy_type_alias)]` to the crate attributes to enable the desired semantics
[INFO] [stderr] 
[INFO] [stderr] warning: bounds on generic parameters in type aliases are not enforced
[INFO] [stderr]    --> src/strong/ternary.rs:152:18
[INFO] [stderr]     |
[INFO] [stderr] 152 |     (Sub) NatSub(Nat, Nat): Nat {
[INFO] [stderr]     |                  ^^^  ^^^ will not be checked at usage sites of the type alias
[INFO] [stderr]     |
[INFO] [stderr]     = note: this is a known limitation of the type checker that may be lifted in a future edition.
[INFO] [stderr]             see issue #112792 <https://github.com/rust-lang/rust/issues/112792> for more information
[INFO] [stderr]     = help: add `#![feature(lazy_type_alias)]` to the crate attributes to enable the desired semantics
[INFO] [stderr] help: remove these bounds
[INFO] [stderr]    --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/type-operators-0.3.5/src/lib.rs:743:114
[INFO] [stderr]     |
[INFO] [stderr] 743 ~         _tlsm_machine!(@cont [$($docs)*] $attrs $alias $machine [$($gensyms),*] [$($kinds)+] [$($accum)* ($gensym $kind)] $out);
[INFO] [stderr] 744 |     };
[INFO] [stderr] ...
[INFO] [stderr] 751 |     (@cont $docs:tt $attrs:tt $alias:ident $machine:ident [$gensym:ident $(, $gensyms:ident)*] [$kind:tt] [$($accum:tt)*] $out:tt) => {
[INFO] [stderr] 752 ~         _tlsm_machine!(@cont $docs $attrs $alias $machine [$($gensyms),*] [] [$($accum)* ($gensym $kind)] $out);
[INFO] [stderr]     |
[INFO] [stderr] 
[INFO] [stderr] warning: bounds on generic parameters in type aliases are not enforced
[INFO] [stderr]    --> src/strong/ternary.rs:185:18
[INFO] [stderr]     |
[INFO] [stderr] 185 |     (Mul) NatMul(Nat, Nat): Nat {
[INFO] [stderr]     |                  ^^^  ^^^ will not be checked at usage sites of the type alias
[INFO] [stderr]     |
[INFO] [stderr]     = note: this is a known limitation of the type checker that may be lifted in a future edition.
[INFO] [stderr]             see issue #112792 <https://github.com/rust-lang/rust/issues/112792> for more information
[INFO] [stderr]     = help: add `#![feature(lazy_type_alias)]` to the crate attributes to enable the desired semantics
[INFO] [stderr] help: remove these bounds
[INFO] [stderr]    --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/type-operators-0.3.5/src/lib.rs:743:114
[INFO] [stderr]     |
[INFO] [stderr] 743 ~         _tlsm_machine!(@cont [$($docs)*] $attrs $alias $machine [$($gensyms),*] [$($kinds)+] [$($accum)* ($gensym $kind)] $out);
[INFO] [stderr] 744 |     };
[INFO] [stderr] ...
[INFO] [stderr] 751 |     (@cont $docs:tt $attrs:tt $alias:ident $machine:ident [$gensym:ident $(, $gensyms:ident)*] [$kind:tt] [$($accum:tt)*] $out:tt) => {
[INFO] [stderr] 752 ~         _tlsm_machine!(@cont $docs $attrs $alias $machine [$($gensyms),*] [] [$($accum)* ($gensym $kind)] $out);
[INFO] [stderr]     |
[INFO] [stderr] 
[INFO] [stderr] warning: bounds on generic parameters in type aliases are not enforced
[INFO] [stderr]    --> src/strong/ternary.rs:220:18
[INFO] [stderr]     |
[INFO] [stderr] 220 |     (Cmp) NatCmp(Nat, Nat, Nat, Nat, Nat): Nat {
[INFO] [stderr]     |                  ^^^  ^^^  ^^^  ^^^  ^^^ will not be checked at usage sites of the type alias
[INFO] [stderr]     |
[INFO] [stderr]     = note: this is a known limitation of the type checker that may be lifted in a future edition.
[INFO] [stderr]             see issue #112792 <https://github.com/rust-lang/rust/issues/112792> for more information
[INFO] [stderr]     = help: add `#![feature(lazy_type_alias)]` to the crate attributes to enable the desired semantics
[INFO] [stderr] help: remove these bounds
[INFO] [stderr]    --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/type-operators-0.3.5/src/lib.rs:743:114
[INFO] [stderr]     |
[INFO] [stderr] 743 ~         _tlsm_machine!(@cont [$($docs)*] $attrs $alias $machine [$($gensyms),*] [$($kinds)+] [$($accum)* ($gensym $kind)] $out);
[INFO] [stderr] 744 |     };
[INFO] [stderr] 745 |     (@cont $docs:tt $attrs:tt $alias:ident $machine:ident [$gensym:ident $(, $gensyms:ident)*] [$kind:tt , $($kinds:tt)+] [$($accum:tt)*] $out:tt) => {
[INFO] [stderr] 746 ~         _tlsm_machine!(@cont $docs $attrs $alias $machine [$($gensyms),*] [$($kinds)+] [$($accum)* ($gensym $kind)] $out);
[INFO] [stderr] 747 |     };
[INFO] [stderr] ...
[INFO] [stderr] 751 |     (@cont $docs:tt $attrs:tt $alias:ident $machine:ident [$gensym:ident $(, $gensyms:ident)*] [$kind:tt] [$($accum:tt)*] $out:tt) => {
[INFO] [stderr] 752 ~         _tlsm_machine!(@cont $docs $attrs $alias $machine [$($gensyms),*] [] [$($accum)* ($gensym $kind)] $out);
[INFO] [stderr]     |
[INFO] [stderr] 
[INFO] [stderr] warning: bounds on generic parameters in type aliases are not enforced
[INFO] [stderr]    --> src/strong/ternary.rs:247:28
[INFO] [stderr]     |
[INFO] [stderr] 247 |     (UndefOr2) NatUndefOr2(Nat, Nat, NatPair): NatPair {
[INFO] [stderr]     |                            ^^^  ^^^  ^^^^^^^ will not be checked at usage sites of the type alias
[INFO] [stderr]     |
[INFO] [stderr]     = note: this is a known limitation of the type checker that may be lifted in a future edition.
[INFO] [stderr]             see issue #112792 <https://github.com/rust-lang/rust/issues/112792> for more information
[INFO] [stderr]     = help: add `#![feature(lazy_type_alias)]` to the crate attributes to enable the desired semantics
[INFO] [stderr] help: remove these bounds
[INFO] [stderr]    --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/type-operators-0.3.5/src/lib.rs:743:114
[INFO] [stderr]     |
[INFO] [stderr] 743 ~         _tlsm_machine!(@cont [$($docs)*] $attrs $alias $machine [$($gensyms),*] [$($kinds)+] [$($accum)* ($gensym $kind)] $out);
[INFO] [stderr] 744 |     };
[INFO] [stderr] 745 |     (@cont $docs:tt $attrs:tt $alias:ident $machine:ident [$gensym:ident $(, $gensyms:ident)*] [$kind:tt , $($kinds:tt)+] [$($accum:tt)*] $out:tt) => {
[INFO] [stderr] 746 ~         _tlsm_machine!(@cont $docs $attrs $alias $machine [$($gensyms),*] [$($kinds)+] [$($accum)* ($gensym $kind)] $out);
[INFO] [stderr] 747 |     };
[INFO] [stderr] ...
[INFO] [stderr] 751 |     (@cont $docs:tt $attrs:tt $alias:ident $machine:ident [$gensym:ident $(, $gensyms:ident)*] [$kind:tt] [$($accum:tt)*] $out:tt) => {
[INFO] [stderr] 752 ~         _tlsm_machine!(@cont $docs $attrs $alias $machine [$($gensyms),*] [] [$($accum)* ($gensym $kind)] $out);
[INFO] [stderr]     |
[INFO] [stderr] 
[INFO] [stderr] warning: bounds on generic parameters in type aliases are not enforced
[INFO] [stderr]    --> src/strong/ternary.rs:262:18
[INFO] [stderr]     |
[INFO] [stderr]  10 | / type_operators! {
[INFO] [stderr]  11 | |     [A, B, C, D, E, F, G, H]
[INFO] [stderr]  12 | |
[INFO] [stderr]  13 | |     /// Project the first value in a `NatPair`.
[INFO] [stderr] ...   |
[INFO] [stderr] 262 | |     (Rev) NatRev(Nat): Nat {
[INFO] [stderr]     | |                  ^^^ will not be checked at usage sites of the type alias
[INFO] [stderr] ...   |
[INFO] [stderr] 354 | | }
[INFO] [stderr]     | |_- help: remove this bound
[INFO] [stderr]     |
[INFO] [stderr]     = note: this is a known limitation of the type checker that may be lifted in a future edition.
[INFO] [stderr]             see issue #112792 <https://github.com/rust-lang/rust/issues/112792> for more information
[INFO] [stderr]     = help: add `#![feature(lazy_type_alias)]` to the crate attributes to enable the desired semantics
[INFO] [stderr] 
[INFO] [stderr] warning: bounds on generic parameters in type aliases are not enforced
[INFO] [stderr]    --> src/strong/ternary.rs:268:34
[INFO] [stderr]     |
[INFO] [stderr] 268 |     (RevInternal) NatRevInternal(Nat, Nat): Nat {
[INFO] [stderr]     |                                  ^^^  ^^^ will not be checked at usage sites of the type alias
[INFO] [stderr]     |
[INFO] [stderr]     = note: this is a known limitation of the type checker that may be lifted in a future edition.
[INFO] [stderr]             see issue #112792 <https://github.com/rust-lang/rust/issues/112792> for more information
[INFO] [stderr]     = help: add `#![feature(lazy_type_alias)]` to the crate attributes to enable the desired semantics
[INFO] [stderr] help: remove these bounds
[INFO] [stderr]    --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/type-operators-0.3.5/src/lib.rs:743:114
[INFO] [stderr]     |
[INFO] [stderr] 743 ~         _tlsm_machine!(@cont [$($docs)*] $attrs $alias $machine [$($gensyms),*] [$($kinds)+] [$($accum)* ($gensym $kind)] $out);
[INFO] [stderr] 744 |     };
[INFO] [stderr] ...
[INFO] [stderr] 751 |     (@cont $docs:tt $attrs:tt $alias:ident $machine:ident [$gensym:ident $(, $gensyms:ident)*] [$kind:tt] [$($accum:tt)*] $out:tt) => {
[INFO] [stderr] 752 ~         _tlsm_machine!(@cont $docs $attrs $alias $machine [$($gensyms),*] [] [$($accum)* ($gensym $kind)] $out);
[INFO] [stderr]     |
[INFO] [stderr] 
[INFO] [stderr] warning: bounds on generic parameters in type aliases are not enforced
[INFO] [stderr]    --> src/strong/ternary.rs:281:18
[INFO] [stderr]     |
[INFO] [stderr] 281 |     (Div) NatDiv(Nat, Nat): Nat {
[INFO] [stderr]     |                  ^^^  ^^^ will not be checked at usage sites of the type alias
[INFO] [stderr]     |
[INFO] [stderr]     = note: this is a known limitation of the type checker that may be lifted in a future edition.
[INFO] [stderr]             see issue #112792 <https://github.com/rust-lang/rust/issues/112792> for more information
[INFO] [stderr]     = help: add `#![feature(lazy_type_alias)]` to the crate attributes to enable the desired semantics
[INFO] [stderr] help: remove these bounds
[INFO] [stderr]    --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/type-operators-0.3.5/src/lib.rs:743:114
[INFO] [stderr]     |
[INFO] [stderr] 743 ~         _tlsm_machine!(@cont [$($docs)*] $attrs $alias $machine [$($gensyms),*] [$($kinds)+] [$($accum)* ($gensym $kind)] $out);
[INFO] [stderr] 744 |     };
[INFO] [stderr] ...
[INFO] [stderr] 751 |     (@cont $docs:tt $attrs:tt $alias:ident $machine:ident [$gensym:ident $(, $gensyms:ident)*] [$kind:tt] [$($accum:tt)*] $out:tt) => {
[INFO] [stderr] 752 ~         _tlsm_machine!(@cont $docs $attrs $alias $machine [$($gensyms),*] [] [$($accum)* ($gensym $kind)] $out);
[INFO] [stderr]     |
[INFO] [stderr] 
[INFO] [stderr] warning: bounds on generic parameters in type aliases are not enforced
[INFO] [stderr]    --> src/strong/ternary.rs:306:18
[INFO] [stderr]     |
[INFO] [stderr] 306 |     (Rem) NatRem(Nat, Nat): Nat {
[INFO] [stderr]     |                  ^^^  ^^^ will not be checked at usage sites of the type alias
[INFO] [stderr]     |
[INFO] [stderr]     = note: this is a known limitation of the type checker that may be lifted in a future edition.
[INFO] [stderr]             see issue #112792 <https://github.com/rust-lang/rust/issues/112792> for more information
[INFO] [stderr]     = help: add `#![feature(lazy_type_alias)]` to the crate attributes to enable the desired semantics
[INFO] [stderr] help: remove these bounds
[INFO] [stderr]    --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/type-operators-0.3.5/src/lib.rs:743:114
[INFO] [stderr]     |
[INFO] [stderr] 743 ~         _tlsm_machine!(@cont [$($docs)*] $attrs $alias $machine [$($gensyms),*] [$($kinds)+] [$($accum)* ($gensym $kind)] $out);
[INFO] [stderr] 744 |     };
[INFO] [stderr] ...
[INFO] [stderr] 751 |     (@cont $docs:tt $attrs:tt $alias:ident $machine:ident [$gensym:ident $(, $gensyms:ident)*] [$kind:tt] [$($accum:tt)*] $out:tt) => {
[INFO] [stderr] 752 ~         _tlsm_machine!(@cont $docs $attrs $alias $machine [$($gensyms),*] [] [$($accum)* ($gensym $kind)] $out);
[INFO] [stderr]     |
[INFO] [stderr] 
[INFO] [stderr] warning: bounds on generic parameters in type aliases are not enforced
[INFO] [stderr]    --> src/strong/ternary.rs:329:34
[INFO] [stderr]     |
[INFO] [stderr] 329 |     (DivInternal) NatDivInternal(Nat, Nat, NatPair): NatPair {
[INFO] [stderr]     |                                  ^^^  ^^^  ^^^^^^^ will not be checked at usage sites of the type alias
[INFO] [stderr]     |
[INFO] [stderr]     = note: this is a known limitation of the type checker that may be lifted in a future edition.
[INFO] [stderr]             see issue #112792 <https://github.com/rust-lang/rust/issues/112792> for more information
[INFO] [stderr]     = help: add `#![feature(lazy_type_alias)]` to the crate attributes to enable the desired semantics
[INFO] [stderr] help: remove these bounds
[INFO] [stderr]    --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/type-operators-0.3.5/src/lib.rs:743:114
[INFO] [stderr]     |
[INFO] [stderr] 743 ~         _tlsm_machine!(@cont [$($docs)*] $attrs $alias $machine [$($gensyms),*] [$($kinds)+] [$($accum)* ($gensym $kind)] $out);
[INFO] [stderr] 744 |     };
[INFO] [stderr] 745 |     (@cont $docs:tt $attrs:tt $alias:ident $machine:ident [$gensym:ident $(, $gensyms:ident)*] [$kind:tt , $($kinds:tt)+] [$($accum:tt)*] $out:tt) => {
[INFO] [stderr] 746 ~         _tlsm_machine!(@cont $docs $attrs $alias $machine [$($gensyms),*] [$($kinds)+] [$($accum)* ($gensym $kind)] $out);
[INFO] [stderr] 747 |     };
[INFO] [stderr] ...
[INFO] [stderr] 751 |     (@cont $docs:tt $attrs:tt $alias:ident $machine:ident [$gensym:ident $(, $gensyms:ident)*] [$kind:tt] [$($accum:tt)*] $out:tt) => {
[INFO] [stderr] 752 ~         _tlsm_machine!(@cont $docs $attrs $alias $machine [$($gensyms),*] [] [$($accum)* ($gensym $kind)] $out);
[INFO] [stderr]     |
[INFO] [stderr] 
[INFO] [stderr] warning: bounds on generic parameters in type aliases are not enforced
[INFO] [stderr]    --> src/strong/balanced.rs:10:24
[INFO] [stderr]     |
[INFO] [stderr]   6 | / type_operators! {
[INFO] [stderr]   7 | |     [A, B, C, D, E, F, G, H]
[INFO] [stderr]   8 | |
[INFO] [stderr]   9 | |     /// Project the first value in an `IntPair`.
[INFO] [stderr]  10 | |     (Int2First) Int2P1(IntPair): Int {
[INFO] [stderr]     | |                        ^^^^^^^ will not be checked at usage sites of the type alias
[INFO] [stderr] ...   |
[INFO] [stderr] 374 | | }
[INFO] [stderr]     | |_- help: remove this bound
[INFO] [stderr]     |
[INFO] [stderr]     = note: this is a known limitation of the type checker that may be lifted in a future edition.
[INFO] [stderr]             see issue #112792 <https://github.com/rust-lang/rust/issues/112792> for more information
[INFO] [stderr]     = help: add `#![feature(lazy_type_alias)]` to the crate attributes to enable the desired semantics
[INFO] [stderr] 
[INFO] [stderr] warning: bounds on generic parameters in type aliases are not enforced
[INFO] [stderr]    --> src/strong/balanced.rs:17:25
[INFO] [stderr]     |
[INFO] [stderr]   6 | / type_operators! {
[INFO] [stderr]   7 | |     [A, B, C, D, E, F, G, H]
[INFO] [stderr]   8 | |
[INFO] [stderr]   9 | |     /// Project the first value in an `IntPair`.
[INFO] [stderr] ...   |
[INFO] [stderr]  17 | |     (Int2Second) Int2P2(IntPair): Int {
[INFO] [stderr]     | |                         ^^^^^^^ will not be checked at usage sites of the type alias
[INFO] [stderr] ...   |
[INFO] [stderr] 374 | | }
[INFO] [stderr]     | |_- help: remove this bound
[INFO] [stderr]     |
[INFO] [stderr]     = note: this is a known limitation of the type checker that may be lifted in a future edition.
[INFO] [stderr]             see issue #112792 <https://github.com/rust-lang/rust/issues/112792> for more information
[INFO] [stderr]     = help: add `#![feature(lazy_type_alias)]` to the crate attributes to enable the desired semantics
[INFO] [stderr] 
[INFO] [stderr] warning: bounds on generic parameters in type aliases are not enforced
[INFO] [stderr]    --> src/strong/balanced.rs:24:20
[INFO] [stderr]     |
[INFO] [stderr]   6 | / type_operators! {
[INFO] [stderr]   7 | |     [A, B, C, D, E, F, G, H]
[INFO] [stderr]   8 | |
[INFO] [stderr]   9 | |     /// Project the first value in an `IntPair`.
[INFO] [stderr] ...   |
[INFO] [stderr]  24 | |     (Succ) IntSucc(Int): Int {
[INFO] [stderr]     | |                    ^^^ will not be checked at usage sites of the type alias
[INFO] [stderr] ...   |
[INFO] [stderr] 374 | | }
[INFO] [stderr]     | |_- help: remove this bound
[INFO] [stderr]     |
[INFO] [stderr]     = note: this is a known limitation of the type checker that may be lifted in a future edition.
[INFO] [stderr]             see issue #112792 <https://github.com/rust-lang/rust/issues/112792> for more information
[INFO] [stderr]     = help: add `#![feature(lazy_type_alias)]` to the crate attributes to enable the desired semantics
[INFO] [stderr] 
[INFO] [stderr] warning: bounds on generic parameters in type aliases are not enforced
[INFO] [stderr]    --> src/strong/balanced.rs:35:20
[INFO] [stderr]     |
[INFO] [stderr]   6 | / type_operators! {
[INFO] [stderr]   7 | |     [A, B, C, D, E, F, G, H]
[INFO] [stderr]   8 | |
[INFO] [stderr]   9 | |     /// Project the first value in an `IntPair`.
[INFO] [stderr] ...   |
[INFO] [stderr]  35 | |     (Pred) IntPred(Int): Int {
[INFO] [stderr]     | |                    ^^^ will not be checked at usage sites of the type alias
[INFO] [stderr] ...   |
[INFO] [stderr] 374 | | }
[INFO] [stderr]     | |_- help: remove this bound
[INFO] [stderr]     |
[INFO] [stderr]     = note: this is a known limitation of the type checker that may be lifted in a future edition.
[INFO] [stderr]             see issue #112792 <https://github.com/rust-lang/rust/issues/112792> for more information
[INFO] [stderr]     = help: add `#![feature(lazy_type_alias)]` to the crate attributes to enable the desired semantics
[INFO] [stderr] 
[INFO] [stderr] warning: bounds on generic parameters in type aliases are not enforced
[INFO] [stderr]    --> src/strong/balanced.rs:49:24
[INFO] [stderr]     |
[INFO] [stderr]   6 | / type_operators! {
[INFO] [stderr]   7 | |     [A, B, C, D, E, F, G, H]
[INFO] [stderr]   8 | |
[INFO] [stderr]   9 | |     /// Project the first value in an `IntPair`.
[INFO] [stderr] ...   |
[INFO] [stderr]  49 | |     (Triple) IntTriple(Int): Int {
[INFO] [stderr]     | |                        ^^^ will not be checked at usage sites of the type alias
[INFO] [stderr] ...   |
[INFO] [stderr] 374 | | }
[INFO] [stderr]     | |_- help: remove this bound
[INFO] [stderr]     |
[INFO] [stderr]     = note: this is a known limitation of the type checker that may be lifted in a future edition.
[INFO] [stderr]             see issue #112792 <https://github.com/rust-lang/rust/issues/112792> for more information
[INFO] [stderr]     = help: add `#![feature(lazy_type_alias)]` to the crate attributes to enable the desired semantics
[INFO] [stderr] 
[INFO] [stderr] warning: bounds on generic parameters in type aliases are not enforced
[INFO] [stderr]    --> src/strong/balanced.rs:62:24
[INFO] [stderr]     |
[INFO] [stderr]   6 | / type_operators! {
[INFO] [stderr]   7 | |     [A, B, C, D, E, F, G, H]
[INFO] [stderr]   8 | |
[INFO] [stderr]   9 | |     /// Project the first value in an `IntPair`.
[INFO] [stderr] ...   |
[INFO] [stderr]  62 | |     (IntUnique) Unique(Int): Int {
[INFO] [stderr]     | |                        ^^^ will not be checked at usage sites of the type alias
[INFO] [stderr] ...   |
[INFO] [stderr] 374 | | }
[INFO] [stderr]     | |_- help: remove this bound
[INFO] [stderr]     |
[INFO] [stderr]     = note: this is a known limitation of the type checker that may be lifted in a future edition.
[INFO] [stderr]             see issue #112792 <https://github.com/rust-lang/rust/issues/112792> for more information
[INFO] [stderr]     = help: add `#![feature(lazy_type_alias)]` to the crate attributes to enable the desired semantics
[INFO] [stderr] 
[INFO] [stderr] warning: bounds on generic parameters in type aliases are not enforced
[INFO] [stderr]    --> src/strong/balanced.rs:80:18
[INFO] [stderr]     |
[INFO] [stderr]   6 | / type_operators! {
[INFO] [stderr]   7 | |     [A, B, C, D, E, F, G, H]
[INFO] [stderr]   8 | |
[INFO] [stderr]   9 | |     /// Project the first value in an `IntPair`.
[INFO] [stderr] ...   |
[INFO] [stderr]  80 | |     (Neg) IntNeg(Int): Int {
[INFO] [stderr]     | |                  ^^^ will not be checked at usage sites of the type alias
[INFO] [stderr] ...   |
[INFO] [stderr] 374 | | }
[INFO] [stderr]     | |_- help: remove this bound
[INFO] [stderr]     |
[INFO] [stderr]     = note: this is a known limitation of the type checker that may be lifted in a future edition.
[INFO] [stderr]             see issue #112792 <https://github.com/rust-lang/rust/issues/112792> for more information
[INFO] [stderr]     = help: add `#![feature(lazy_type_alias)]` to the crate attributes to enable the desired semantics
[INFO] [stderr] 
[INFO] [stderr] warning: bounds on generic parameters in type aliases are not enforced
[INFO] [stderr]   --> src/strong/balanced.rs:94:18
[INFO] [stderr]    |
[INFO] [stderr] 94 |     (Add) IntAdd(Int, Int): Int {
[INFO] [stderr]    |                  ^^^  ^^^ will not be checked at usage sites of the type alias
[INFO] [stderr]    |
[INFO] [stderr]    = note: this is a known limitation of the type checker that may be lifted in a future edition.
[INFO] [stderr]            see issue #112792 <https://github.com/rust-lang/rust/issues/112792> for more information
[INFO] [stderr]    = help: add `#![feature(lazy_type_alias)]` to the crate attributes to enable the desired semantics
[INFO] [stderr] help: remove these bounds
[INFO] [stderr]   --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/type-operators-0.3.5/src/lib.rs:743:114
[INFO] [stderr]    |
[INFO] [stderr] 743~         _tlsm_machine!(@cont [$($docs)*] $attrs $alias $machine [$($gensyms),*] [$($kinds)+] [$($accum)* ($gensym $kind)] $out);
[INFO] [stderr] 744|     };
[INFO] [stderr] ...
[INFO] [stderr] 751|     (@cont $docs:tt $attrs:tt $alias:ident $machine:ident [$gensym:ident $(, $gensyms:ident)*] [$kind:tt] [$($accum:tt)*] $out:tt) => {
[INFO] [stderr] 752~         _tlsm_machine!(@cont $docs $attrs $alias $machine [$($gensyms),*] [] [$($accum)* ($gensym $kind)] $out);
[INFO] [stderr]    |
[INFO] [stderr] 
[INFO] [stderr] warning: bounds on generic parameters in type aliases are not enforced
[INFO] [stderr]    --> src/strong/balanced.rs:127:18
[INFO] [stderr]     |
[INFO] [stderr] 127 |     (Sub) IntSub(Int, Int): Int {
[INFO] [stderr]     |                  ^^^  ^^^ will not be checked at usage sites of the type alias
[INFO] [stderr]     |
[INFO] [stderr]     = note: this is a known limitation of the type checker that may be lifted in a future edition.
[INFO] [stderr]             see issue #112792 <https://github.com/rust-lang/rust/issues/112792> for more information
[INFO] [stderr]     = help: add `#![feature(lazy_type_alias)]` to the crate attributes to enable the desired semantics
[INFO] [stderr] help: remove these bounds
[INFO] [stderr]    --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/type-operators-0.3.5/src/lib.rs:743:114
[INFO] [stderr]     |
[INFO] [stderr] 743 ~         _tlsm_machine!(@cont [$($docs)*] $attrs $alias $machine [$($gensyms),*] [$($kinds)+] [$($accum)* ($gensym $kind)] $out);
[INFO] [stderr] 744 |     };
[INFO] [stderr] ...
[INFO] [stderr] 751 |     (@cont $docs:tt $attrs:tt $alias:ident $machine:ident [$gensym:ident $(, $gensyms:ident)*] [$kind:tt] [$($accum:tt)*] $out:tt) => {
[INFO] [stderr] 752 ~         _tlsm_machine!(@cont $docs $attrs $alias $machine [$($gensyms),*] [] [$($accum)* ($gensym $kind)] $out);
[INFO] [stderr]     |
[INFO] [stderr] 
[INFO] [stderr] warning: bounds on generic parameters in type aliases are not enforced
[INFO] [stderr]    --> src/strong/balanced.rs:160:18
[INFO] [stderr]     |
[INFO] [stderr] 160 |     (Mul) IntMul(Int, Int): Int {
[INFO] [stderr]     |                  ^^^  ^^^ will not be checked at usage sites of the type alias
[INFO] [stderr]     |
[INFO] [stderr]     = note: this is a known limitation of the type checker that may be lifted in a future edition.
[INFO] [stderr]             see issue #112792 <https://github.com/rust-lang/rust/issues/112792> for more information
[INFO] [stderr]     = help: add `#![feature(lazy_type_alias)]` to the crate attributes to enable the desired semantics
[INFO] [stderr] help: remove these bounds
[INFO] [stderr]    --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/type-operators-0.3.5/src/lib.rs:743:114
[INFO] [stderr]     |
[INFO] [stderr] 743 ~         _tlsm_machine!(@cont [$($docs)*] $attrs $alias $machine [$($gensyms),*] [$($kinds)+] [$($accum)* ($gensym $kind)] $out);
[INFO] [stderr] 744 |     };
[INFO] [stderr] ...
[INFO] [stderr] 751 |     (@cont $docs:tt $attrs:tt $alias:ident $machine:ident [$gensym:ident $(, $gensyms:ident)*] [$kind:tt] [$($accum:tt)*] $out:tt) => {
[INFO] [stderr] 752 ~         _tlsm_machine!(@cont $docs $attrs $alias $machine [$($gensyms),*] [] [$($accum)* ($gensym $kind)] $out);
[INFO] [stderr]     |
[INFO] [stderr] 
[INFO] [stderr] warning: bounds on generic parameters in type aliases are not enforced
[INFO] [stderr]    --> src/strong/balanced.rs:196:18
[INFO] [stderr]     |
[INFO] [stderr] 196 |     (Cmp) IntCmp(Int, Int, Int, Int, Int): Int {
[INFO] [stderr]     |                  ^^^  ^^^  ^^^  ^^^  ^^^ will not be checked at usage sites of the type alias
[INFO] [stderr]     |
[INFO] [stderr]     = note: this is a known limitation of the type checker that may be lifted in a future edition.
[INFO] [stderr]             see issue #112792 <https://github.com/rust-lang/rust/issues/112792> for more information
[INFO] [stderr]     = help: add `#![feature(lazy_type_alias)]` to the crate attributes to enable the desired semantics
[INFO] [stderr] help: remove these bounds
[INFO] [stderr]    --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/type-operators-0.3.5/src/lib.rs:743:114
[INFO] [stderr]     |
[INFO] [stderr] 743 ~         _tlsm_machine!(@cont [$($docs)*] $attrs $alias $machine [$($gensyms),*] [$($kinds)+] [$($accum)* ($gensym $kind)] $out);
[INFO] [stderr] 744 |     };
[INFO] [stderr] 745 |     (@cont $docs:tt $attrs:tt $alias:ident $machine:ident [$gensym:ident $(, $gensyms:ident)*] [$kind:tt , $($kinds:tt)+] [$($accum:tt)*] $out:tt) => {
[INFO] [stderr] 746 ~         _tlsm_machine!(@cont $docs $attrs $alias $machine [$($gensyms),*] [$($kinds)+] [$($accum)* ($gensym $kind)] $out);
[INFO] [stderr] 747 |     };
[INFO] [stderr] ...
[INFO] [stderr] 751 |     (@cont $docs:tt $attrs:tt $alias:ident $machine:ident [$gensym:ident $(, $gensyms:ident)*] [$kind:tt] [$($accum:tt)*] $out:tt) => {
[INFO] [stderr] 752 ~         _tlsm_machine!(@cont $docs $attrs $alias $machine [$($gensyms),*] [] [$($accum)* ($gensym $kind)] $out);
[INFO] [stderr]     |
[INFO] [stderr] 
[INFO] [stderr] warning: bounds on generic parameters in type aliases are not enforced
[INFO] [stderr]    --> src/strong/balanced.rs:223:20
[INFO] [stderr]     |
[INFO] [stderr] 223 |     (Cmp2) IntCmp2(Int, Int, IntPair, IntPair, IntPair): IntPair {
[INFO] [stderr]     |                    ^^^  ^^^  ^^^^^^^  ^^^^^^^  ^^^^^^^ will not be checked at usage sites of the type alias
[INFO] [stderr]     |
[INFO] [stderr]     = note: this is a known limitation of the type checker that may be lifted in a future edition.
[INFO] [stderr]             see issue #112792 <https://github.com/rust-lang/rust/issues/112792> for more information
[INFO] [stderr]     = help: add `#![feature(lazy_type_alias)]` to the crate attributes to enable the desired semantics
[INFO] [stderr] help: remove these bounds
[INFO] [stderr]    --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/type-operators-0.3.5/src/lib.rs:743:114
[INFO] [stderr]     |
[INFO] [stderr] 743 ~         _tlsm_machine!(@cont [$($docs)*] $attrs $alias $machine [$($gensyms),*] [$($kinds)+] [$($accum)* ($gensym $kind)] $out);
[INFO] [stderr] 744 |     };
[INFO] [stderr] 745 |     (@cont $docs:tt $attrs:tt $alias:ident $machine:ident [$gensym:ident $(, $gensyms:ident)*] [$kind:tt , $($kinds:tt)+] [$($accum:tt)*] $out:tt) => {
[INFO] [stderr] 746 ~         _tlsm_machine!(@cont $docs $attrs $alias $machine [$($gensyms),*] [$($kinds)+] [$($accum)* ($gensym $kind)] $out);
[INFO] [stderr] 747 |     };
[INFO] [stderr] ...
[INFO] [stderr] 751 |     (@cont $docs:tt $attrs:tt $alias:ident $machine:ident [$gensym:ident $(, $gensyms:ident)*] [$kind:tt] [$($accum:tt)*] $out:tt) => {
[INFO] [stderr] 752 ~         _tlsm_machine!(@cont $docs $attrs $alias $machine [$($gensyms),*] [] [$($accum)* ($gensym $kind)] $out);
[INFO] [stderr]     |
[INFO] [stderr] 
[INFO] [stderr] warning: bounds on generic parameters in type aliases are not enforced
[INFO] [stderr]    --> src/strong/balanced.rs:248:24
[INFO] [stderr]     |
[INFO] [stderr] 248 |     (LteCmp) IntLteCmp(Int, Int, Int, Int): Int {
[INFO] [stderr]     |                        ^^^  ^^^  ^^^  ^^^ will not be checked at usage sites of the type alias
[INFO] [stderr]     |
[INFO] [stderr]     = note: this is a known limitation of the type checker that may be lifted in a future edition.
[INFO] [stderr]             see issue #112792 <https://github.com/rust-lang/rust/issues/112792> for more information
[INFO] [stderr]     = help: add `#![feature(lazy_type_alias)]` to the crate attributes to enable the desired semantics
[INFO] [stderr] help: remove these bounds
[INFO] [stderr]    --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/type-operators-0.3.5/src/lib.rs:743:114
[INFO] [stderr]     |
[INFO] [stderr] 743 ~         _tlsm_machine!(@cont [$($docs)*] $attrs $alias $machine [$($gensyms),*] [$($kinds)+] [$($accum)* ($gensym $kind)] $out);
[INFO] [stderr] 744 |     };
[INFO] [stderr] 745 |     (@cont $docs:tt $attrs:tt $alias:ident $machine:ident [$gensym:ident $(, $gensyms:ident)*] [$kind:tt , $($kinds:tt)+] [$($accum:tt)*] $out:tt) => {
[INFO] [stderr] 746 ~         _tlsm_machine!(@cont $docs $attrs $alias $machine [$($gensyms),*] [$($kinds)+] [$($accum)* ($gensym $kind)] $out);
[INFO] [stderr] 747 |     };
[INFO] [stderr] ...
[INFO] [stderr] 751 |     (@cont $docs:tt $attrs:tt $alias:ident $machine:ident [$gensym:ident $(, $gensyms:ident)*] [$kind:tt] [$($accum:tt)*] $out:tt) => {
[INFO] [stderr] 752 ~         _tlsm_machine!(@cont $docs $attrs $alias $machine [$($gensyms),*] [] [$($accum)* ($gensym $kind)] $out);
[INFO] [stderr]     |
[INFO] [stderr] 
[INFO] [stderr] warning: bounds on generic parameters in type aliases are not enforced
[INFO] [stderr]    --> src/strong/balanced.rs:254:26
[INFO] [stderr]     |
[INFO] [stderr] 254 |     (LteCmp2) IntLteCmp2(Int, Int, IntPair, IntPair): IntPair {
[INFO] [stderr]     |                          ^^^  ^^^  ^^^^^^^  ^^^^^^^ will not be checked at usage sites of the type alias
[INFO] [stderr]     |
[INFO] [stderr]     = note: this is a known limitation of the type checker that may be lifted in a future edition.
[INFO] [stderr]             see issue #112792 <https://github.com/rust-lang/rust/issues/112792> for more information
[INFO] [stderr]     = help: add `#![feature(lazy_type_alias)]` to the crate attributes to enable the desired semantics
[INFO] [stderr] help: remove these bounds
[INFO] [stderr]    --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/type-operators-0.3.5/src/lib.rs:743:114
[INFO] [stderr]     |
[INFO] [stderr] 743 ~         _tlsm_machine!(@cont [$($docs)*] $attrs $alias $machine [$($gensyms),*] [$($kinds)+] [$($accum)* ($gensym $kind)] $out);
[INFO] [stderr] 744 |     };
[INFO] [stderr] 745 |     (@cont $docs:tt $attrs:tt $alias:ident $machine:ident [$gensym:ident $(, $gensyms:ident)*] [$kind:tt , $($kinds:tt)+] [$($accum:tt)*] $out:tt) => {
[INFO] [stderr] 746 ~         _tlsm_machine!(@cont $docs $attrs $alias $machine [$($gensyms),*] [$($kinds)+] [$($accum)* ($gensym $kind)] $out);
[INFO] [stderr] 747 |     };
[INFO] [stderr] ...
[INFO] [stderr] 751 |     (@cont $docs:tt $attrs:tt $alias:ident $machine:ident [$gensym:ident $(, $gensyms:ident)*] [$kind:tt] [$($accum:tt)*] $out:tt) => {
[INFO] [stderr] 752 ~         _tlsm_machine!(@cont $docs $attrs $alias $machine [$($gensyms),*] [] [$($accum)* ($gensym $kind)] $out);
[INFO] [stderr]     |
[INFO] [stderr] 
[INFO] [stderr] warning: bounds on generic parameters in type aliases are not enforced
[INFO] [stderr]    --> src/strong/balanced.rs:261:18
[INFO] [stderr]     |
[INFO] [stderr]   6 | / type_operators! {
[INFO] [stderr]   7 | |     [A, B, C, D, E, F, G, H]
[INFO] [stderr]   8 | |
[INFO] [stderr]   9 | |     /// Project the first value in an `IntPair`.
[INFO] [stderr] ...   |
[INFO] [stderr] 261 | |     (Abs) IntAbs(Int): Int {
[INFO] [stderr]     | |                  ^^^ will not be checked at usage sites of the type alias
[INFO] [stderr] ...   |
[INFO] [stderr] 374 | | }
[INFO] [stderr]     | |_- help: remove this bound
[INFO] [stderr]     |
[INFO] [stderr]     = note: this is a known limitation of the type checker that may be lifted in a future edition.
[INFO] [stderr]             see issue #112792 <https://github.com/rust-lang/rust/issues/112792> for more information
[INFO] [stderr]     = help: add `#![feature(lazy_type_alias)]` to the crate attributes to enable the desired semantics
[INFO] [stderr] 
[INFO] [stderr] warning: bounds on generic parameters in type aliases are not enforced
[INFO] [stderr]    --> src/strong/balanced.rs:273:40
[INFO] [stderr]     |
[INFO] [stderr] 273 |     (AbsMinThreeCmp) IntAbsMinThreeCmp(Int, Int, Int, Int, Int, Int): IntPair {
[INFO] [stderr]     |                                        ^^^  ^^^  ^^^  ^^^  ^^^  ^^^ will not be checked at usage sites of the type alias
[INFO] [stderr]     |
[INFO] [stderr]     = note: this is a known limitation of the type checker that may be lifted in a future edition.
[INFO] [stderr]             see issue #112792 <https://github.com/rust-lang/rust/issues/112792> for more information
[INFO] [stderr]     = help: add `#![feature(lazy_type_alias)]` to the crate attributes to enable the desired semantics
[INFO] [stderr] help: remove these bounds
[INFO] [stderr]    --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/type-operators-0.3.5/src/lib.rs:743:114
[INFO] [stderr]     |
[INFO] [stderr] 743 ~         _tlsm_machine!(@cont [$($docs)*] $attrs $alias $machine [$($gensyms),*] [$($kinds)+] [$($accum)* ($gensym $kind)] $out);
[INFO] [stderr] 744 |     };
[INFO] [stderr] 745 |     (@cont $docs:tt $attrs:tt $alias:ident $machine:ident [$gensym:ident $(, $gensyms:ident)*] [$kind:tt , $($kinds:tt)+] [$($accum:tt)*] $out:tt) => {
[INFO] [stderr] 746 ~         _tlsm_machine!(@cont $docs $attrs $alias $machine [$($gensyms),*] [$($kinds)+] [$($accum)* ($gensym $kind)] $out);
[INFO] [stderr] 747 |     };
[INFO] [stderr] ...
[INFO] [stderr] 751 |     (@cont $docs:tt $attrs:tt $alias:ident $machine:ident [$gensym:ident $(, $gensyms:ident)*] [$kind:tt] [$($accum:tt)*] $out:tt) => {
[INFO] [stderr] 752 ~         _tlsm_machine!(@cont $docs $attrs $alias $machine [$($gensyms),*] [] [$($accum)* ($gensym $kind)] $out);
[INFO] [stderr]     |
[INFO] [stderr] 
[INFO] [stderr] warning: bounds on generic parameters in type aliases are not enforced
[INFO] [stderr]    --> src/strong/balanced.rs:284:18
[INFO] [stderr]     |
[INFO] [stderr]   6 | / type_operators! {
[INFO] [stderr]   7 | |     [A, B, C, D, E, F, G, H]
[INFO] [stderr]   8 | |
[INFO] [stderr]   9 | |     /// Project the first value in an `IntPair`.
[INFO] [stderr] ...   |
[INFO] [stderr] 284 | |     (Rev) IntRev(Int): Int {
[INFO] [stderr]     | |                  ^^^ will not be checked at usage sites of the type alias
[INFO] [stderr] ...   |
[INFO] [stderr] 374 | | }
[INFO] [stderr]     | |_- help: remove this bound
[INFO] [stderr]     |
[INFO] [stderr]     = note: this is a known limitation of the type checker that may be lifted in a future edition.
[INFO] [stderr]             see issue #112792 <https://github.com/rust-lang/rust/issues/112792> for more information
[INFO] [stderr]     = help: add `#![feature(lazy_type_alias)]` to the crate attributes to enable the desired semantics
[INFO] [stderr] 
[INFO] [stderr] warning: bounds on generic parameters in type aliases are not enforced
[INFO] [stderr]    --> src/strong/balanced.rs:290:34
[INFO] [stderr]     |
[INFO] [stderr] 290 |     (RevInternal) IntRevInternal(Int, Int): Int {
[INFO] [stderr]     |                                  ^^^  ^^^ will not be checked at usage sites of the type alias
[INFO] [stderr]     |
[INFO] [stderr]     = note: this is a known limitation of the type checker that may be lifted in a future edition.
[INFO] [stderr]             see issue #112792 <https://github.com/rust-lang/rust/issues/112792> for more information
[INFO] [stderr]     = help: add `#![feature(lazy_type_alias)]` to the crate attributes to enable the desired semantics
[INFO] [stderr] help: remove these bounds
[INFO] [stderr]    --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/type-operators-0.3.5/src/lib.rs:743:114
[INFO] [stderr]     |
[INFO] [stderr] 743 ~         _tlsm_machine!(@cont [$($docs)*] $attrs $alias $machine [$($gensyms),*] [$($kinds)+] [$($accum)* ($gensym $kind)] $out);
[INFO] [stderr] 744 |     };
[INFO] [stderr] ...
[INFO] [stderr] 751 |     (@cont $docs:tt $attrs:tt $alias:ident $machine:ident [$gensym:ident $(, $gensyms:ident)*] [$kind:tt] [$($accum:tt)*] $out:tt) => {
[INFO] [stderr] 752 ~         _tlsm_machine!(@cont $docs $attrs $alias $machine [$($gensyms),*] [] [$($accum)* ($gensym $kind)] $out);
[INFO] [stderr]     |
[INFO] [stderr] 
[INFO] [stderr] warning: bounds on generic parameters in type aliases are not enforced
[INFO] [stderr]    --> src/strong/balanced.rs:302:18
[INFO] [stderr]     |
[INFO] [stderr] 302 |     (Div) IntDiv(Int, Int): Int {
[INFO] [stderr]     |                  ^^^  ^^^ will not be checked at usage sites of the type alias
[INFO] [stderr]     |
[INFO] [stderr]     = note: this is a known limitation of the type checker that may be lifted in a future edition.
[INFO] [stderr]             see issue #112792 <https://github.com/rust-lang/rust/issues/112792> for more information
[INFO] [stderr]     = help: add `#![feature(lazy_type_alias)]` to the crate attributes to enable the desired semantics
[INFO] [stderr] help: remove these bounds
[INFO] [stderr]    --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/type-operators-0.3.5/src/lib.rs:743:114
[INFO] [stderr]     |
[INFO] [stderr] 743 ~         _tlsm_machine!(@cont [$($docs)*] $attrs $alias $machine [$($gensyms),*] [$($kinds)+] [$($accum)* ($gensym $kind)] $out);
[INFO] [stderr] 744 |     };
[INFO] [stderr] ...
[INFO] [stderr] 751 |     (@cont $docs:tt $attrs:tt $alias:ident $machine:ident [$gensym:ident $(, $gensyms:ident)*] [$kind:tt] [$($accum:tt)*] $out:tt) => {
[INFO] [stderr] 752 ~         _tlsm_machine!(@cont $docs $attrs $alias $machine [$($gensyms),*] [] [$($accum)* ($gensym $kind)] $out);
[INFO] [stderr]     |
[INFO] [stderr] 
[INFO] [stderr] warning: bounds on generic parameters in type aliases are not enforced
[INFO] [stderr]    --> src/strong/balanced.rs:326:18
[INFO] [stderr]     |
[INFO] [stderr] 326 |     (Rem) IntRem(Int, Int): Int {
[INFO] [stderr]     |                  ^^^  ^^^ will not be checked at usage sites of the type alias
[INFO] [stderr]     |
[INFO] [stderr]     = note: this is a known limitation of the type checker that may be lifted in a future edition.
[INFO] [stderr]             see issue #112792 <https://github.com/rust-lang/rust/issues/112792> for more information
[INFO] [stderr]     = help: add `#![feature(lazy_type_alias)]` to the crate attributes to enable the desired semantics
[INFO] [stderr] help: remove these bounds
[INFO] [stderr]    --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/type-operators-0.3.5/src/lib.rs:743:114
[INFO] [stderr]     |
[INFO] [stderr] 743 ~         _tlsm_machine!(@cont [$($docs)*] $attrs $alias $machine [$($gensyms),*] [$($kinds)+] [$($accum)* ($gensym $kind)] $out);
[INFO] [stderr] 744 |     };
[INFO] [stderr] ...
[INFO] [stderr] 751 |     (@cont $docs:tt $attrs:tt $alias:ident $machine:ident [$gensym:ident $(, $gensyms:ident)*] [$kind:tt] [$($accum:tt)*] $out:tt) => {
[INFO] [stderr] 752 ~         _tlsm_machine!(@cont $docs $attrs $alias $machine [$($gensyms),*] [] [$($accum)* ($gensym $kind)] $out);
[INFO] [stderr]     |
[INFO] [stderr] 
[INFO] [stderr] warning: bounds on generic parameters in type aliases are not enforced
[INFO] [stderr]    --> src/strong/balanced.rs:349:34
[INFO] [stderr]     |
[INFO] [stderr] 349 |     (DivInternal) IntDivInternal(Int, Int, IntPair): IntPair {
[INFO] [stderr]     |                                  ^^^  ^^^  ^^^^^^^ will not be checked at usage sites of the type alias
[INFO] [stderr]     |
[INFO] [stderr]     = note: this is a known limitation of the type checker that may be lifted in a future edition.
[INFO] [stderr]             see issue #112792 <https://github.com/rust-lang/rust/issues/112792> for more information
[INFO] [stderr]     = help: add `#![feature(lazy_type_alias)]` to the crate attributes to enable the desired semantics
[INFO] [stderr] help: remove these bounds
[INFO] [stderr]    --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/type-operators-0.3.5/src/lib.rs:743:114
[INFO] [stderr]     |
[INFO] [stderr] 743 ~         _tlsm_machine!(@cont [$($docs)*] $attrs $alias $machine [$($gensyms),*] [$($kinds)+] [$($accum)* ($gensym $kind)] $out);
[INFO] [stderr] 744 |     };
[INFO] [stderr] 745 |     (@cont $docs:tt $attrs:tt $alias:ident $machine:ident [$gensym:ident $(, $gensyms:ident)*] [$kind:tt , $($kinds:tt)+] [$($accum:tt)*] $out:tt) => {
[INFO] [stderr] 746 ~         _tlsm_machine!(@cont $docs $attrs $alias $machine [$($gensyms),*] [$($kinds)+] [$($accum)* ($gensym $kind)] $out);
[INFO] [stderr] 747 |     };
[INFO] [stderr] ...
[INFO] [stderr] 751 |     (@cont $docs:tt $attrs:tt $alias:ident $machine:ident [$gensym:ident $(, $gensyms:ident)*] [$kind:tt] [$($accum:tt)*] $out:tt) => {
[INFO] [stderr] 752 ~         _tlsm_machine!(@cont $docs $attrs $alias $machine [$($gensyms),*] [] [$($accum)* ($gensym $kind)] $out);
[INFO] [stderr]     |
[INFO] [stderr] 
[INFO] [stderr] warning: `type-level-logic` (lib) generated 45 warnings (run `cargo fix --lib -p type-level-logic` to apply 45 suggestions)
[INFO] [stderr] warning: `type-level-logic` (lib test) generated 45 warnings (45 duplicates)
[INFO] [stderr]     Finished `test` profile [unoptimized + debuginfo] target(s) in 0.05s
[INFO] [stderr]      Running unittests src/lib.rs (/opt/rustwide/target/debug/deps/type_level_logic-b81c1a2c458195c2)
[INFO] [stdout] 
[INFO] [stdout] running 24 tests
[INFO] [stdout] test strong::balanced::tests::balanced_ternary_abs ... ok
[INFO] [stdout] test strong::balanced::tests::balanced_ternary_abs_min_three_cmp ... ok
[INFO] [stdout] test strong::balanced::tests::balanced_ternary_cmp ... ok
[INFO] [stdout] test strong::balanced::tests::balanced_ternary_div ... ok
[INFO] [stdout] test strong::balanced::tests::balanced_ternary_add ... ok
[INFO] [stdout] test strong::balanced::tests::balanced_ternary_lte_cmp ... ok
[INFO] [stdout] test strong::balanced::tests::balanced_ternary_mul ... ok
[INFO] [stdout] test strong::balanced::tests::balanced_ternary_pred ... ok
[INFO] [stdout] test strong::balanced::tests::balanced_ternary_rem ... ok
[INFO] [stdout] test strong::balanced::tests::balanced_ternary_rev ... ok
[INFO] [stdout] test strong::balanced::tests::balanced_ternary_sub ... ok
[INFO] [stdout] test strong::balanced::tests::balanced_ternary_succ ... ok
[INFO] [stdout] test strong::ternary::tests::ternary_add ... ok
[INFO] [stdout] test strong::ternary::tests::ternary_div ... ok
[INFO] [stdout] test strong::ternary::tests::ternary_double_pred ... ok
[INFO] [stdout] test strong::ternary::tests::ternary_mul ... ok
[INFO] [stdout] test strong::ternary::tests::ternary_pred ... ok
[INFO] [stdout] test strong::ternary::tests::ternary_rem ... ok
[INFO] [stdout] test strong::ternary::tests::ternary_sub ... ok
[INFO] [stdout] test strong::ternary::tests::ternary_succ ... ok
[INFO] [stdout] test strong::ternary::tests::ternary_undef_or_2 ... ok
[INFO] [stdout] test types::ternary::tests::ternary_constants ... ok
[INFO] [stdout] test types::balanced::tests::balanced_ternary_constants ... ok
[INFO] [stdout] test strong::ternary::tests::ternary_sub_undefined - should panic ... ok
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 24 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.02s
[INFO] [stdout] 
[INFO] [stderr]    Doc-tests type_level_logic
[INFO] [stdout] 
[INFO] [stdout] running 0 tests
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 0 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.00s
[INFO] [stdout] 
[INFO] running `Command { std: "docker" "inspect" "0c811c5dee3f39138ecdda814352c2aaa820df5526f77d524f1cef25e31dc058", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "0c811c5dee3f39138ecdda814352c2aaa820df5526f77d524f1cef25e31dc058", kill_on_drop: false }`
[INFO] [stdout] 0c811c5dee3f39138ecdda814352c2aaa820df5526f77d524f1cef25e31dc058