[INFO] cloning repository https://github.com/ALaggyDev/toy_typenum
[INFO] running `Command { std: "git" "-c" "credential.helper=" "-c" "credential.helper=/workspace/cargo-home/bin/git-credential-null" "clone" "--bare" "https://github.com/ALaggyDev/toy_typenum" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2FALaggyDev%2Ftoy_typenum", kill_on_drop: false }`
[INFO] [stderr] Cloning into bare repository '/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2FALaggyDev%2Ftoy_typenum'...
[INFO] running `Command { std: "git" "rev-parse" "HEAD", kill_on_drop: false }`
[INFO] [stdout] 15995b9c12cad5f11cebed94521ae56638befb9d
[INFO] checking ALaggyDev/toy_typenum against master#779e19d8baa3e3625bd4fc5c85cbb2ad47b43155 for pr-147589-1
[INFO] running `Command { std: "git" "clone" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2FALaggyDev%2Ftoy_typenum" "/workspace/builds/worker-0-tc1/source", kill_on_drop: false }`
[INFO] [stderr] Cloning into '/workspace/builds/worker-0-tc1/source'...
[INFO] [stderr] done.
[INFO] started tweaking git repo https://github.com/ALaggyDev/toy_typenum
[INFO] finished tweaking git repo https://github.com/ALaggyDev/toy_typenum
[INFO] tweaked toml for git repo https://github.com/ALaggyDev/toy_typenum written to /workspace/builds/worker-0-tc1/source/Cargo.toml
[INFO] validating manifest of git repo https://github.com/ALaggyDev/toy_typenum on toolchain 779e19d8baa3e3625bd4fc5c85cbb2ad47b43155
[INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+779e19d8baa3e3625bd4fc5c85cbb2ad47b43155" "metadata" "--manifest-path" "Cargo.toml" "--no-deps", kill_on_drop: false }`
[INFO] crate git repo https://github.com/ALaggyDev/toy_typenum already has a lockfile, it will not be regenerated
[INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+779e19d8baa3e3625bd4fc5c85cbb2ad47b43155" "fetch" "--manifest-path" "Cargo.toml", kill_on_drop: false }`
[INFO] [stderr]     Updating crates.io index
[INFO] [stderr]  Downloading crates ...
[INFO] [stderr]   Downloaded type-operators v0.3.5
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-0-tc1/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-0-tc1/source:/opt/rustwide/workdir:ro,Z" "-v" "/var/lib/crater-agent-workspace/cargo-home:/opt/rustwide/cargo-home:ro,Z" "-v" "/var/lib/crater-agent-workspace/rustup-home:/opt/rustwide/rustup-home:ro,Z" "-e" "SOURCE_DIR=/opt/rustwide/workdir" "-e" "CARGO_TARGET_DIR=/opt/rustwide/target" "-e" "CARGO_HOME=/opt/rustwide/cargo-home" "-e" "RUSTUP_HOME=/opt/rustwide/rustup-home" "-w" "/opt/rustwide/workdir" "-m" "1610612736" "--user" "0:0" "--network" "none" "ghcr.io/rust-lang/crates-build-env/linux@sha256:e90291280db7d1fac5b66fc6dad9f9662629e7365a55743daf9bdf73ebc4ea79" "/opt/rustwide/cargo-home/bin/cargo" "+779e19d8baa3e3625bd4fc5c85cbb2ad47b43155" "metadata" "--no-deps" "--format-version=1", kill_on_drop: false }`
[INFO] [stdout] b74459f3356ff2fc3eb660af1bd19e8d06d06f01303d7e381b5fd5a6308f40c5
[INFO] running `Command { std: "docker" "start" "-a" "b74459f3356ff2fc3eb660af1bd19e8d06d06f01303d7e381b5fd5a6308f40c5", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "inspect" "b74459f3356ff2fc3eb660af1bd19e8d06d06f01303d7e381b5fd5a6308f40c5", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "b74459f3356ff2fc3eb660af1bd19e8d06d06f01303d7e381b5fd5a6308f40c5", kill_on_drop: false }`
[INFO] [stdout] b74459f3356ff2fc3eb660af1bd19e8d06d06f01303d7e381b5fd5a6308f40c5
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-0-tc1/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-0-tc1/source:/opt/rustwide/workdir:ro,Z" "-v" "/var/lib/crater-agent-workspace/cargo-home:/opt/rustwide/cargo-home:ro,Z" "-v" "/var/lib/crater-agent-workspace/rustup-home:/opt/rustwide/rustup-home:ro,Z" "-e" "SOURCE_DIR=/opt/rustwide/workdir" "-e" "CARGO_TARGET_DIR=/opt/rustwide/target" "-e" "CARGO_INCREMENTAL=0" "-e" "RUST_BACKTRACE=full" "-e" "RUSTFLAGS=--cap-lints=forbid" "-e" "RUSTDOCFLAGS=--cap-lints=forbid" "-e" "CARGO_HOME=/opt/rustwide/cargo-home" "-e" "RUSTUP_HOME=/opt/rustwide/rustup-home" "-w" "/opt/rustwide/workdir" "-m" "1610612736" "--user" "0:0" "--network" "none" "ghcr.io/rust-lang/crates-build-env/linux@sha256:e90291280db7d1fac5b66fc6dad9f9662629e7365a55743daf9bdf73ebc4ea79" "/opt/rustwide/cargo-home/bin/cargo" "+779e19d8baa3e3625bd4fc5c85cbb2ad47b43155" "check" "--frozen" "--all" "--all-targets" "--message-format=json", kill_on_drop: false }`
[INFO] [stdout] c30b59f58fb6e92ae81804d79cba89e58fa9bcd46aa30706499813a13b4a26fe
[INFO] running `Command { std: "docker" "start" "-a" "c30b59f58fb6e92ae81804d79cba89e58fa9bcd46aa30706499813a13b4a26fe", kill_on_drop: false }`
[INFO] [stderr]     Checking type-operators v0.3.5
[INFO] [stderr]     Checking toy_typenum v0.1.0 (/opt/rustwide/workdir)
[INFO] [stdout] warning: unused import: `std::any::type_name`
[INFO] [stdout]  --> src/ski.rs:1:5
[INFO] [stdout]   |
[INFO] [stdout] 1 | use std::any::type_name;
[INFO] [stdout]   |     ^^^^^^^^^^^^^^^^^^^
[INFO] [stdout]   |
[INFO] [stdout]   = note: `#[warn(unused_imports)]` (part of `#[warn(unused)]`) on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused import: `marker::PhantomData`
[INFO] [stdout]  --> src/type_op_test.rs:1:27
[INFO] [stdout]   |
[INFO] [stdout] 1 | use std::{any::type_name, marker::PhantomData};
[INFO] [stdout]   |                           ^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused import: `std::any::type_name`
[INFO] [stdout]  --> src/ski.rs:1:5
[INFO] [stdout]   |
[INFO] [stdout] 1 | use std::any::type_name;
[INFO] [stdout]   |     ^^^^^^^^^^^^^^^^^^^
[INFO] [stdout]   |
[INFO] [stdout]   = note: `#[warn(unused_imports)]` (part of `#[warn(unused)]`) on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused import: `marker::PhantomData`
[INFO] [stdout]  --> src/type_op_test.rs:1:27
[INFO] [stdout]   |
[INFO] [stdout] 1 | use std::{any::type_name, marker::PhantomData};
[INFO] [stdout]   |                           ^^^^^^^^^^^^^^^^^^^
[INFO] [stdout]   |
[INFO] [stdout] help: if this is a test module, consider adding a `#[cfg(test)]` to the containing module
[INFO] [stdout]  --> src/lib.rs:9:1
[INFO] [stdout]   |
[INFO] [stdout] 9 | pub mod type_op_test;
[INFO] [stdout]   | ^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: bounds on generic parameters in type aliases are not enforced
[INFO] [stdout]    --> src/ski.rs:58:22
[INFO] [stdout]     |
[INFO] [stdout]  43 | / type_operators! {
[INFO] [stdout]  44 | |     [A, B]
[INFO] [stdout]  45 | |
[INFO] [stdout]  46 | |     data Bool {
[INFO] [stdout] ...   |
[INFO] [stdout]  58 | |     (NextState) Step(Term): Term {
[INFO] [stdout]     | |                      ^^^^ will not be checked at usage sites of the type alias
[INFO] [stdout] ...   |
[INFO] [stdout] 121 | | }
[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]     = note: `#[warn(type_alias_bounds)]` on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: bounds on generic parameters in type aliases are not enforced
[INFO] [stdout]    --> src/ski.rs:86:27
[INFO] [stdout]     |
[INFO] [stdout]  43 | / type_operators! {
[INFO] [stdout]  44 | |     [A, B]
[INFO] [stdout]  45 | |
[INFO] [stdout]  46 | |     data Bool {
[INFO] [stdout] ...   |
[INFO] [stdout]  86 | |     (CanReduce) Reducible(Term): Bool {
[INFO] [stdout]     | |                           ^^^^ will not be checked at usage sites of the type alias
[INFO] [stdout] ...   |
[INFO] [stdout] 121 | | }
[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/ski.rs:108:26
[INFO] [stdout]     |
[INFO] [stdout] 108 |     (FinalState) BigStep(Term, Bool): Term {
[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/ski.rs:115:20
[INFO] [stdout]     |
[INFO] [stdout]  43 | / type_operators! {
[INFO] [stdout]  44 | |     [A, B]
[INFO] [stdout]  45 | |
[INFO] [stdout]  46 | |     data Bool {
[INFO] [stdout] ...   |
[INFO] [stdout] 115 | |     (Eval) Evaling(Term): Term {
[INFO] [stdout]     | |                    ^^^^ will not be checked at usage sites of the type alias
[INFO] [stdout] ...   |
[INFO] [stdout] 121 | | }
[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/type_op_test.rs:14:16
[INFO] [stdout]    |
[INFO] [stdout] 14 |     (Add) TAdd(UInt, UInt): UInt {
[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/type_op_test.rs:30:16
[INFO] [stdout]    |
[INFO] [stdout] 30 |     (Mul) TMul(UInt, UInt): UInt {
[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/type_op_test.rs:40:14
[INFO] [stdout]    |
[INFO] [stdout] 40 |     (Eq) TEq(UInt, UInt): 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/type_op_test.rs:65:16
[INFO] [stdout]    |
[INFO] [stdout] 57 | / type_operators! {
[INFO] [stdout] 58 | |     [A, B, C, D, E]
[INFO] [stdout] 59 | |
[INFO] [stdout] 60 | |     concrete Bool => bool {
[INFO] [stdout] ...  |
[INFO] [stdout] 65 | |     (Not) TNot(Bool): Bool {
[INFO] [stdout]    | |                ^^^^ will not be checked at usage sites of the type alias
[INFO] [stdout] ...  |
[INFO] [stdout] 97 | | }
[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/type_op_test.rs:70:16
[INFO] [stdout]    |
[INFO] [stdout] 70 |     (And) TAnd(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/type_op_test.rs:77:14
[INFO] [stdout]    |
[INFO] [stdout] 77 |     (Or) TOr(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/type_op_test.rs:84:16
[INFO] [stdout]    |
[INFO] [stdout] 84 |     (Xor) TXor(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/type_op_test.rs:91:14
[INFO] [stdout]    |
[INFO] [stdout] 91 |     (If) TIf(Bool, All, All): All {
[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/type_op_test.rs:109:32
[INFO] [stdout]     |
[INFO] [stdout]  99 | / type_operators! {
[INFO] [stdout] 100 | |     [A, B, C, D, E]
[INFO] [stdout] ...   |
[INFO] [stdout] 109 | |     (CreateArray) TCreateArray(UInt): Array {
[INFO] [stdout]     | |                                ^^^^ will not be checked at usage sites of the type alias
[INFO] [stdout] ...   |
[INFO] [stdout] 158 | | }
[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/type_op_test.rs:117:54
[INFO] [stdout]     |
[INFO] [stdout] 117 |     (CreateArrayWithDefault) TCreateArrayWithDefault(UInt, All): Array {
[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/type_op_test.rs:129:22
[INFO] [stdout]     |
[INFO] [stdout] 129 |     (Select) TSelect(Array, UInt): All {
[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/type_op_test.rs:142:26
[INFO] [stdout]     |
[INFO] [stdout] 142 |     (SetValue) TSetValue(Array, UInt, All): Array {
[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/type_op_test.rs:163:32
[INFO] [stdout]     |
[INFO] [stdout] 160 | / type_operators! {
[INFO] [stdout] 161 | |     [A, B, C, D, E]
[INFO] [stdout] 162 | |
[INFO] [stdout] 163 | |     (LoopSubject) TLoopSubject(Array): Array {
[INFO] [stdout]     | |                                ^^^^^ will not be checked at usage sites of the type alias
[INFO] [stdout] ...   |
[INFO] [stdout] 179 | | }
[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/type_op_test.rs:170:22
[INFO] [stdout]     |
[INFO] [stdout] 170 |     (Looper) TLooper(Array, UInt): Array {
[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/ski.rs:58:22
[INFO] [stdout]     |
[INFO] [stdout]  43 | / type_operators! {
[INFO] [stdout]  44 | |     [A, B]
[INFO] [stdout]  45 | |
[INFO] [stdout]  46 | |     data Bool {
[INFO] [stdout] ...   |
[INFO] [stdout]  58 | |     (NextState) Step(Term): Term {
[INFO] [stdout]     | |                      ^^^^ will not be checked at usage sites of the type alias
[INFO] [stdout] ...   |
[INFO] [stdout] 121 | | }
[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]     = note: `#[warn(type_alias_bounds)]` on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: bounds on generic parameters in type aliases are not enforced
[INFO] [stdout]    --> src/ski.rs:86:27
[INFO] [stdout]     |
[INFO] [stdout]  43 | / type_operators! {
[INFO] [stdout]  44 | |     [A, B]
[INFO] [stdout]  45 | |
[INFO] [stdout]  46 | |     data Bool {
[INFO] [stdout] ...   |
[INFO] [stdout]  86 | |     (CanReduce) Reducible(Term): Bool {
[INFO] [stdout]     | |                           ^^^^ will not be checked at usage sites of the type alias
[INFO] [stdout] ...   |
[INFO] [stdout] 121 | | }
[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/ski.rs:108:26
[INFO] [stdout]     |
[INFO] [stdout] 108 |     (FinalState) BigStep(Term, Bool): Term {
[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/ski.rs:115:20
[INFO] [stdout]     |
[INFO] [stdout]  43 | / type_operators! {
[INFO] [stdout]  44 | |     [A, B]
[INFO] [stdout]  45 | |
[INFO] [stdout]  46 | |     data Bool {
[INFO] [stdout] ...   |
[INFO] [stdout] 115 | |     (Eval) Evaling(Term): Term {
[INFO] [stdout]     | |                    ^^^^ will not be checked at usage sites of the type alias
[INFO] [stdout] ...   |
[INFO] [stdout] 121 | | }
[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/type_op_test.rs:14:16
[INFO] [stdout]    |
[INFO] [stdout] 14 |     (Add) TAdd(UInt, UInt): UInt {
[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/type_op_test.rs:30:16
[INFO] [stdout]    |
[INFO] [stdout] 30 |     (Mul) TMul(UInt, UInt): UInt {
[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/type_op_test.rs:40:14
[INFO] [stdout]    |
[INFO] [stdout] 40 |     (Eq) TEq(UInt, UInt): 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/type_op_test.rs:65:16
[INFO] [stdout]    |
[INFO] [stdout] 57 | / type_operators! {
[INFO] [stdout] 58 | |     [A, B, C, D, E]
[INFO] [stdout] 59 | |
[INFO] [stdout] 60 | |     concrete Bool => bool {
[INFO] [stdout] ...  |
[INFO] [stdout] 65 | |     (Not) TNot(Bool): Bool {
[INFO] [stdout]    | |                ^^^^ will not be checked at usage sites of the type alias
[INFO] [stdout] ...  |
[INFO] [stdout] 97 | | }
[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/type_op_test.rs:70:16
[INFO] [stdout]    |
[INFO] [stdout] 70 |     (And) TAnd(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/type_op_test.rs:77:14
[INFO] [stdout]    |
[INFO] [stdout] 77 |     (Or) TOr(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/type_op_test.rs:84:16
[INFO] [stdout]    |
[INFO] [stdout] 84 |     (Xor) TXor(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/type_op_test.rs:91:14
[INFO] [stdout]    |
[INFO] [stdout] 91 |     (If) TIf(Bool, All, All): All {
[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/type_op_test.rs:109:32
[INFO] [stdout]     |
[INFO] [stdout]  99 | / type_operators! {
[INFO] [stdout] 100 | |     [A, B, C, D, E]
[INFO] [stdout] ...   |
[INFO] [stdout] 109 | |     (CreateArray) TCreateArray(UInt): Array {
[INFO] [stdout]     | |                                ^^^^ will not be checked at usage sites of the type alias
[INFO] [stdout] ...   |
[INFO] [stdout] 158 | | }
[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/type_op_test.rs:117:54
[INFO] [stdout]     |
[INFO] [stdout] 117 |     (CreateArrayWithDefault) TCreateArrayWithDefault(UInt, All): Array {
[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/type_op_test.rs:129:22
[INFO] [stdout]     |
[INFO] [stdout] 129 |     (Select) TSelect(Array, UInt): All {
[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/type_op_test.rs:142:26
[INFO] [stdout]     |
[INFO] [stdout] 142 |     (SetValue) TSetValue(Array, UInt, All): Array {
[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/type_op_test.rs:163:32
[INFO] [stdout]     |
[INFO] [stdout] 160 | / type_operators! {
[INFO] [stdout] 161 | |     [A, B, C, D, E]
[INFO] [stdout] 162 | |
[INFO] [stdout] 163 | |     (LoopSubject) TLoopSubject(Array): Array {
[INFO] [stdout]     | |                                ^^^^^ will not be checked at usage sites of the type alias
[INFO] [stdout] ...   |
[INFO] [stdout] 179 | | }
[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/type_op_test.rs:170:22
[INFO] [stdout]     |
[INFO] [stdout] 170 |     (Looper) TLooper(Array, UInt): Array {
[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: unused imports: `DerefMut`, `Deref`, `any::type_name`, `mem::MaybeUninit`, and `vec`
[INFO] [stdout]  --> src/main.rs:2:5
[INFO] [stdout]   |
[INFO] [stdout] 2 |     any::type_name,
[INFO] [stdout]   |     ^^^^^^^^^^^^^^
[INFO] [stdout] 3 |     mem::MaybeUninit,
[INFO] [stdout]   |     ^^^^^^^^^^^^^^^^
[INFO] [stdout] 4 |     ops::{Deref, DerefMut},
[INFO] [stdout]   |           ^^^^^  ^^^^^^^^
[INFO] [stdout] 5 |     vec,
[INFO] [stdout]   |     ^^^
[INFO] [stdout]   |
[INFO] [stdout]   = note: `#[warn(unused_imports)]` (part of `#[warn(unused)]`) on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable does not need to be mutable
[INFO] [stdout]   --> src/main.rs:60:9
[INFO] [stdout]    |
[INFO] [stdout] 60 |     let mut array_2 = from_elem::<_, consts::U10>(5);
[INFO] [stdout]    |         ----^^^^^^^
[INFO] [stdout]    |         |
[INFO] [stdout]    |         help: remove this `mut`
[INFO] [stdout]    |
[INFO] [stdout]    = note: `#[warn(unused_mut)]` (part of `#[warn(unused)]`) on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `array_2`
[INFO] [stdout]   --> src/main.rs:60:9
[INFO] [stdout]    |
[INFO] [stdout] 60 |     let mut array_2 = from_elem::<_, consts::U10>(5);
[INFO] [stdout]    |         ^^^^^^^^^^^ help: if this is intentional, prefix it with an underscore: `_array_2`
[INFO] [stdout]    |
[INFO] [stdout]    = note: `#[warn(unused_variables)]` (part of `#[warn(unused)]`) on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `lol`
[INFO] [stdout]   --> src/main.rs:66:12
[INFO] [stdout]    |
[INFO] [stdout] 66 | fn hahahaa(lol: [u32; 3]) {}
[INFO] [stdout]    |            ^^^ help: if this is intentional, prefix it with an underscore: `_lol`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: fields `a` and `b` are never read
[INFO] [stdout]   --> src/main.rs:70:5
[INFO] [stdout]    |
[INFO] [stdout] 69 | struct Element {
[INFO] [stdout]    |        ------- fields in this struct
[INFO] [stdout] 70 |     a: u32,
[INFO] [stdout]    |     ^
[INFO] [stdout] 71 |     b: u8,
[INFO] [stdout]    |     ^
[INFO] [stdout]    |
[INFO] [stdout]    = note: `Element` has derived impls for the traits `Debug` and `Clone`, but these are intentionally ignored during dead code analysis
[INFO] [stdout]    = note: `#[warn(dead_code)]` (part of `#[warn(unused)]`) on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused imports: `DerefMut`, `Deref`, `any::type_name`, `mem::MaybeUninit`, and `vec`
[INFO] [stdout]  --> src/main.rs:2:5
[INFO] [stdout]   |
[INFO] [stdout] 2 |     any::type_name,
[INFO] [stdout]   |     ^^^^^^^^^^^^^^
[INFO] [stdout] 3 |     mem::MaybeUninit,
[INFO] [stdout]   |     ^^^^^^^^^^^^^^^^
[INFO] [stdout] 4 |     ops::{Deref, DerefMut},
[INFO] [stdout]   |           ^^^^^  ^^^^^^^^
[INFO] [stdout] 5 |     vec,
[INFO] [stdout]   |     ^^^
[INFO] [stdout]   |
[INFO] [stdout]   = note: `#[warn(unused_imports)]` (part of `#[warn(unused)]`) on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable does not need to be mutable
[INFO] [stdout]   --> src/main.rs:60:9
[INFO] [stdout]    |
[INFO] [stdout] 60 |     let mut array_2 = from_elem::<_, consts::U10>(5);
[INFO] [stdout]    |         ----^^^^^^^
[INFO] [stdout]    |         |
[INFO] [stdout]    |         help: remove this `mut`
[INFO] [stdout]    |
[INFO] [stdout]    = note: `#[warn(unused_mut)]` (part of `#[warn(unused)]`) on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `array_2`
[INFO] [stdout]   --> src/main.rs:60:9
[INFO] [stdout]    |
[INFO] [stdout] 60 |     let mut array_2 = from_elem::<_, consts::U10>(5);
[INFO] [stdout]    |         ^^^^^^^^^^^ help: if this is intentional, prefix it with an underscore: `_array_2`
[INFO] [stdout]    |
[INFO] [stdout]    = note: `#[warn(unused_variables)]` (part of `#[warn(unused)]`) on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `lol`
[INFO] [stdout]   --> src/main.rs:66:12
[INFO] [stdout]    |
[INFO] [stdout] 66 | fn hahahaa(lol: [u32; 3]) {}
[INFO] [stdout]    |            ^^^ help: if this is intentional, prefix it with an underscore: `_lol`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: fields `a` and `b` are never read
[INFO] [stdout]   --> src/main.rs:70:5
[INFO] [stdout]    |
[INFO] [stdout] 69 | struct Element {
[INFO] [stdout]    |        ------- fields in this struct
[INFO] [stdout] 70 |     a: u32,
[INFO] [stdout]    |     ^
[INFO] [stdout] 71 |     b: u8,
[INFO] [stdout]    |     ^
[INFO] [stdout]    |
[INFO] [stdout]    = note: `Element` has derived impls for the traits `Debug` and `Clone`, but these are intentionally ignored during dead code analysis
[INFO] [stdout]    = note: `#[warn(dead_code)]` (part of `#[warn(unused)]`) on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stderr]     Finished `dev` profile [unoptimized + debuginfo] target(s) in 0.72s
[INFO] running `Command { std: "docker" "inspect" "c30b59f58fb6e92ae81804d79cba89e58fa9bcd46aa30706499813a13b4a26fe", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "c30b59f58fb6e92ae81804d79cba89e58fa9bcd46aa30706499813a13b4a26fe", kill_on_drop: false }`
[INFO] [stdout] c30b59f58fb6e92ae81804d79cba89e58fa9bcd46aa30706499813a13b4a26fe
