[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] testing ALaggyDev/toy_typenum against master#733b47ea4b1b86216f14ef56e49440c33933f230+rustflags=-Copt-level=3 for pr-138759
[INFO] running `Command { std: "git" "clone" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2FALaggyDev%2Ftoy_typenum" "/workspace/builds/worker-7-tc2/source", kill_on_drop: false }`
[INFO] [stderr] Cloning into '/workspace/builds/worker-7-tc2/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-7-tc2/source/Cargo.toml
[INFO] validating manifest of git repo https://github.com/ALaggyDev/toy_typenum on toolchain 733b47ea4b1b86216f14ef56e49440c33933f230
[INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+733b47ea4b1b86216f14ef56e49440c33933f230" "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" "+733b47ea4b1b86216f14ef56e49440c33933f230" "fetch" "--manifest-path" "Cargo.toml", kill_on_drop: false }`
[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:e90291280db7d1fac5b66fc6dad9f9662629e7365a55743daf9bdf73ebc4ea79" "/opt/rustwide/cargo-home/bin/cargo" "+733b47ea4b1b86216f14ef56e49440c33933f230" "metadata" "--no-deps" "--format-version=1", kill_on_drop: false }`
[INFO] [stdout] 603c43b7ec181b9e7770343507ad7436e48a85fd47b8b0c76f4063658aadaa0f
[INFO] running `Command { std: "docker" "start" "-a" "603c43b7ec181b9e7770343507ad7436e48a85fd47b8b0c76f4063658aadaa0f", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "inspect" "603c43b7ec181b9e7770343507ad7436e48a85fd47b8b0c76f4063658aadaa0f", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "603c43b7ec181b9e7770343507ad7436e48a85fd47b8b0c76f4063658aadaa0f", kill_on_drop: false }`
[INFO] [stdout] 603c43b7ec181b9e7770343507ad7436e48a85fd47b8b0c76f4063658aadaa0f
[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 -Copt-level=3" "-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" "+733b47ea4b1b86216f14ef56e49440c33933f230" "build" "--frozen" "--message-format=json", kill_on_drop: false }`
[INFO] [stdout] bce07988e33f961ec17f680f2d84f30fb1ec66185df9e1a955ad173e2ce125ae
[INFO] running `Command { std: "docker" "start" "-a" "bce07988e33f961ec17f680f2d84f30fb1ec66185df9e1a955ad173e2ce125ae", kill_on_drop: false }`
[INFO] [stderr]    Compiling type-operators v0.3.5
[INFO] [stderr]    Compiling 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)]` 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: 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)]` on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `array_2`
[INFO] [stdout]   --> src/main.rs:60:13
[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)]` 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)]` 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)]` on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stderr]     Finished `dev` profile [unoptimized + debuginfo] target(s) in 0.97s
[INFO] running `Command { std: "docker" "inspect" "bce07988e33f961ec17f680f2d84f30fb1ec66185df9e1a955ad173e2ce125ae", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "bce07988e33f961ec17f680f2d84f30fb1ec66185df9e1a955ad173e2ce125ae", kill_on_drop: false }`
[INFO] [stdout] bce07988e33f961ec17f680f2d84f30fb1ec66185df9e1a955ad173e2ce125ae
[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 -Copt-level=3" "-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" "+733b47ea4b1b86216f14ef56e49440c33933f230" "test" "--frozen" "--no-run" "--message-format=json", kill_on_drop: false }`
[INFO] [stdout] 69484ce45900915ba02c0d52329e032fab6bd909f2dc4e834904b37d6b071dcf
[INFO] running `Command { std: "docker" "start" "-a" "69484ce45900915ba02c0d52329e032fab6bd909f2dc4e834904b37d6b071dcf", kill_on_drop: false }`
[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)]` 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] [stderr]    Compiling toy_typenum v0.1.0 (/opt/rustwide/workdir)
[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)]` on by default
[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)]` on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `array_2`
[INFO] [stdout]   --> src/main.rs:60:13
[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)]` 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: 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)]` 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)]` 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: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] [stderr]     Finished `test` profile [unoptimized + debuginfo] target(s) in 0.61s
[INFO] running `Command { std: "docker" "inspect" "69484ce45900915ba02c0d52329e032fab6bd909f2dc4e834904b37d6b071dcf", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "69484ce45900915ba02c0d52329e032fab6bd909f2dc4e834904b37d6b071dcf", kill_on_drop: false }`
[INFO] [stdout] 69484ce45900915ba02c0d52329e032fab6bd909f2dc4e834904b37d6b071dcf
[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 -Copt-level=3" "-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" "+733b47ea4b1b86216f14ef56e49440c33933f230" "test" "--frozen", kill_on_drop: false }`
[INFO] [stdout] 7108d551f2f824e7df04f610e4fc56dba4d049ef7acac62e76f9fcd711a8cbcf
[INFO] running `Command { std: "docker" "start" "-a" "7108d551f2f824e7df04f610e4fc56dba4d049ef7acac62e76f9fcd711a8cbcf", kill_on_drop: false }`
[INFO] [stderr] warning: unused import: `std::any::type_name`
[INFO] [stderr]  --> src/ski.rs:1:5
[INFO] [stderr]   |
[INFO] [stderr] 1 | use std::any::type_name;
[INFO] [stderr]   |     ^^^^^^^^^^^^^^^^^^^
[INFO] [stderr]   |
[INFO] [stderr]   = note: `#[warn(unused_imports)]` on by default
[INFO] [stderr] 
[INFO] [stderr] warning: unused import: `marker::PhantomData`
[INFO] [stderr]  --> src/type_op_test.rs:1:27
[INFO] [stderr]   |
[INFO] [stderr] 1 | use std::{any::type_name, marker::PhantomData};
[INFO] [stderr]   |                           ^^^^^^^^^^^^^^^^^^^
[INFO] [stderr]   |
[INFO] [stderr] help: if this is a test module, consider adding a `#[cfg(test)]` to the containing module
[INFO] [stderr]  --> src/lib.rs:9:1
[INFO] [stderr]   |
[INFO] [stderr] 9 | pub mod type_op_test;
[INFO] [stderr]   | ^^^^^^^^^^^^^^^^^^^^^
[INFO] [stderr] 
[INFO] [stderr] warning: bounds on generic parameters in type aliases are not enforced
[INFO] [stderr]    --> src/ski.rs:58:22
[INFO] [stderr]     |
[INFO] [stderr] 43  | / type_operators! {
[INFO] [stderr] 44  | |     [A, B]
[INFO] [stderr] 45  | |
[INFO] [stderr] 46  | |     data Bool {
[INFO] [stderr] ...   |
[INFO] [stderr] 58  | |     (NextState) Step(Term): Term {
[INFO] [stderr]     | |                      ^^^^ will not be checked at usage sites of the type alias
[INFO] [stderr] ...   |
[INFO] [stderr] 121 | | }
[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]     = note: `#[warn(type_alias_bounds)]` on by default
[INFO] [stderr] 
[INFO] [stderr] warning: bounds on generic parameters in type aliases are not enforced
[INFO] [stderr]    --> src/ski.rs:86:27
[INFO] [stderr]     |
[INFO] [stderr] 43  | / type_operators! {
[INFO] [stderr] 44  | |     [A, B]
[INFO] [stderr] 45  | |
[INFO] [stderr] 46  | |     data Bool {
[INFO] [stderr] ...   |
[INFO] [stderr] 86  | |     (CanReduce) Reducible(Term): Bool {
[INFO] [stderr]     | |                           ^^^^ will not be checked at usage sites of the type alias
[INFO] [stderr] ...   |
[INFO] [stderr] 121 | | }
[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/ski.rs:108:26
[INFO] [stderr]     |
[INFO] [stderr] 108 |     (FinalState) BigStep(Term, Bool): Term {
[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/ski.rs:115:20
[INFO] [stderr]     |
[INFO] [stderr] 43  | / type_operators! {
[INFO] [stderr] 44  | |     [A, B]
[INFO] [stderr] 45  | |
[INFO] [stderr] 46  | |     data Bool {
[INFO] [stderr] ...   |
[INFO] [stderr] 115 | |     (Eval) Evaling(Term): Term {
[INFO] [stderr]     | |                    ^^^^ will not be checked at usage sites of the type alias
[INFO] [stderr] ...   |
[INFO] [stderr] 121 | | }
[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/type_op_test.rs:14:16
[INFO] [stderr]    |
[INFO] [stderr] 14 |     (Add) TAdd(UInt, UInt): UInt {
[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/type_op_test.rs:30:16
[INFO] [stderr]    |
[INFO] [stderr] 30 |     (Mul) TMul(UInt, UInt): UInt {
[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/type_op_test.rs:40:14
[INFO] [stderr]    |
[INFO] [stderr] 40 |     (Eq) TEq(UInt, UInt): 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/type_op_test.rs:65:16
[INFO] [stderr]    |
[INFO] [stderr] 57 | / type_operators! {
[INFO] [stderr] 58 | |     [A, B, C, D, E]
[INFO] [stderr] 59 | |
[INFO] [stderr] 60 | |     concrete Bool => bool {
[INFO] [stderr] ...  |
[INFO] [stderr] 65 | |     (Not) TNot(Bool): Bool {
[INFO] [stderr]    | |                ^^^^ will not be checked at usage sites of the type alias
[INFO] [stderr] ...  |
[INFO] [stderr] 97 | | }
[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/type_op_test.rs:70:16
[INFO] [stderr]    |
[INFO] [stderr] 70 |     (And) TAnd(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/type_op_test.rs:77:14
[INFO] [stderr]    |
[INFO] [stderr] 77 |     (Or) TOr(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/type_op_test.rs:84:16
[INFO] [stderr]    |
[INFO] [stderr] 84 |     (Xor) TXor(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/type_op_test.rs:91:14
[INFO] [stderr]    |
[INFO] [stderr] 91 |     (If) TIf(Bool, All, All): All {
[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/type_op_test.rs:109:32
[INFO] [stderr]     |
[INFO] [stderr] 99  | / type_operators! {
[INFO] [stderr] 100 | |     [A, B, C, D, E]
[INFO] [stderr] ...   |
[INFO] [stderr] 109 | |     (CreateArray) TCreateArray(UInt): Array {
[INFO] [stderr]     | |                                ^^^^ will not be checked at usage sites of the type alias
[INFO] [stderr] ...   |
[INFO] [stderr] 158 | | }
[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/type_op_test.rs:117:54
[INFO] [stderr]     |
[INFO] [stderr] 117 |     (CreateArrayWithDefault) TCreateArrayWithDefault(UInt, All): Array {
[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/type_op_test.rs:129:22
[INFO] [stderr]     |
[INFO] [stderr] 129 |     (Select) TSelect(Array, UInt): All {
[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/type_op_test.rs:142:26
[INFO] [stderr]     |
[INFO] [stderr] 142 |     (SetValue) TSetValue(Array, UInt, All): Array {
[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/type_op_test.rs:163:32
[INFO] [stderr]     |
[INFO] [stderr] 160 | / type_operators! {
[INFO] [stderr] 161 | |     [A, B, C, D, E]
[INFO] [stderr] 162 | |
[INFO] [stderr] 163 | |     (LoopSubject) TLoopSubject(Array): Array {
[INFO] [stderr]     | |                                ^^^^^ will not be checked at usage sites of the type alias
[INFO] [stderr] ...   |
[INFO] [stderr] 179 | | }
[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/type_op_test.rs:170:22
[INFO] [stderr]     |
[INFO] [stderr] 170 |     (Looper) TLooper(Array, UInt): Array {
[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: `toy_typenum` (lib) generated 20 warnings (run `cargo fix --lib -p toy_typenum` to apply 20 suggestions)
[INFO] [stderr] warning: unused imports: `DerefMut`, `Deref`, `any::type_name`, `mem::MaybeUninit`, and `vec`
[INFO] [stderr]  --> src/main.rs:2:5
[INFO] [stderr]   |
[INFO] [stderr] 2 |     any::type_name,
[INFO] [stderr]   |     ^^^^^^^^^^^^^^
[INFO] [stderr] 3 |     mem::MaybeUninit,
[INFO] [stderr]   |     ^^^^^^^^^^^^^^^^
[INFO] [stderr] 4 |     ops::{Deref, DerefMut},
[INFO] [stderr]   |           ^^^^^  ^^^^^^^^
[INFO] [stderr] 5 |     vec,
[INFO] [stderr]   |     ^^^
[INFO] [stderr]   |
[INFO] [stderr]   = note: `#[warn(unused_imports)]` on by default
[INFO] [stderr] 
[INFO] [stderr] warning: unused variable: `array_2`
[INFO] [stderr]   --> src/main.rs:60:13
[INFO] [stderr]    |
[INFO] [stderr] 60 |     let mut array_2 = from_elem::<_, consts::U10>(5);
[INFO] [stderr]    |             ^^^^^^^ help: if this is intentional, prefix it with an underscore: `_array_2`
[INFO] [stderr]    |
[INFO] [stderr]    = note: `#[warn(unused_variables)]` on by default
[INFO] [stderr] 
[INFO] [stderr] warning: variable does not need to be mutable
[INFO] [stderr]   --> src/main.rs:60:9
[INFO] [stderr]    |
[INFO] [stderr] 60 |     let mut array_2 = from_elem::<_, consts::U10>(5);
[INFO] [stderr]    |         ----^^^^^^^
[INFO] [stderr]    |         |
[INFO] [stderr]    |         help: remove this `mut`
[INFO] [stderr]    |
[INFO] [stderr]    = note: `#[warn(unused_mut)]` on by default
[INFO] [stderr] 
[INFO] [stderr] warning: unused variable: `lol`
[INFO] [stderr]   --> src/main.rs:66:12
[INFO] [stderr]    |
[INFO] [stderr] 66 | fn hahahaa(lol: [u32; 3]) {}
[INFO] [stderr]    |            ^^^ help: if this is intentional, prefix it with an underscore: `_lol`
[INFO] [stderr] 
[INFO] [stderr] warning: fields `a` and `b` are never read
[INFO] [stderr]   --> src/main.rs:70:5
[INFO] [stderr]    |
[INFO] [stderr] 69 | struct Element {
[INFO] [stderr]    |        ------- fields in this struct
[INFO] [stderr] 70 |     a: u32,
[INFO] [stderr]    |     ^
[INFO] [stderr] 71 |     b: u8,
[INFO] [stderr]    |     ^
[INFO] [stderr]    |
[INFO] [stderr]    = note: `Element` has derived impls for the traits `Debug` and `Clone`, but these are intentionally ignored during dead code analysis
[INFO] [stderr]    = note: `#[warn(dead_code)]` on by default
[INFO] [stderr] 
[INFO] [stderr] warning: `toy_typenum` (bin "toy_typenum" test) generated 5 warnings (run `cargo fix --bin "toy_typenum" --tests` to apply 2 suggestions)
[INFO] [stderr] warning: unused import: `marker::PhantomData`
[INFO] [stderr]  --> src/type_op_test.rs:1:27
[INFO] [stderr]   |
[INFO] [stderr] 1 | use std::{any::type_name, marker::PhantomData};
[INFO] [stderr]   |                           ^^^^^^^^^^^^^^^^^^^
[INFO] [stderr] 
[INFO] [stderr] warning: `toy_typenum` (lib test) generated 20 warnings (19 duplicates) (run `cargo fix --lib -p toy_typenum --tests` to apply 1 suggestion)
[INFO] [stderr]     Finished `test` profile [unoptimized + debuginfo] target(s) in 0.05s
[INFO] [stderr]      Running unittests src/lib.rs (/opt/rustwide/target/debug/deps/toy_typenum-d27f8ca82518fc29)
[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] [stderr]      Running unittests src/main.rs (/opt/rustwide/target/debug/deps/toy_typenum-945b2838967b8246)
[INFO] [stdout] 
[INFO] [stderr]    Doc-tests toy_typenum
[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] [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" "7108d551f2f824e7df04f610e4fc56dba4d049ef7acac62e76f9fcd711a8cbcf", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "7108d551f2f824e7df04f610e4fc56dba4d049ef7acac62e76f9fcd711a8cbcf", kill_on_drop: false }`
[INFO] [stdout] 7108d551f2f824e7df04f610e4fc56dba4d049ef7acac62e76f9fcd711a8cbcf
