[INFO] fetching crate type-operators 0.3.5...
[INFO] testing type-operators-0.3.5 against try#33835004928d3bf65db4d4712e1330766263b0bd for pr-155739-1
[INFO] extracting crate type-operators 0.3.5 into /workspace/builds/worker-3-tc2/source
[INFO] started tweaking crates.io crate type-operators 0.3.5
[INFO] finished tweaking crates.io crate type-operators 0.3.5
[INFO] tweaked toml for crates.io crate type-operators 0.3.5 written to /workspace/builds/worker-3-tc2/source/Cargo.toml
[INFO] validating manifest of crates.io crate type-operators 0.3.5 on toolchain 33835004928d3bf65db4d4712e1330766263b0bd
[INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+33835004928d3bf65db4d4712e1330766263b0bd" "metadata" "--manifest-path" "Cargo.toml" "--no-deps", kill_on_drop: false }`
[INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+33835004928d3bf65db4d4712e1330766263b0bd" "generate-lockfile" "--manifest-path" "Cargo.toml", kill_on_drop: false }`
[INFO] [stderr]     Updating crates.io index
[INFO] [stderr]      Locking 1 package to latest compatible version
[INFO] [stderr]       Adding bit-vec v0.4.4 (available: v0.9.1)
[INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+33835004928d3bf65db4d4712e1330766263b0bd" "fetch" "--manifest-path" "Cargo.toml", kill_on_drop: false }`
[INFO] [stderr] warning: `package.edition` is unspecified, defaulting to `2015` while the latest is `2024`
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-3-tc2/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-3-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:d429b63d4308055ea97f60fb1d3dfca48854a00942f1bd2ad806beaf015945ec" "/opt/rustwide/cargo-home/bin/cargo" "+33835004928d3bf65db4d4712e1330766263b0bd" "metadata" "--no-deps" "--format-version=1", kill_on_drop: false }`
[INFO] [stdout] 1cf8acb009a0d61d1492ffdf4e93098a522f77d8c94ead5dbd2a4e562c2569d8
[INFO] running `Command { std: "docker" "start" "-a" "1cf8acb009a0d61d1492ffdf4e93098a522f77d8c94ead5dbd2a4e562c2569d8", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "inspect" "1cf8acb009a0d61d1492ffdf4e93098a522f77d8c94ead5dbd2a4e562c2569d8", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "1cf8acb009a0d61d1492ffdf4e93098a522f77d8c94ead5dbd2a4e562c2569d8", kill_on_drop: false }`
[INFO] [stdout] 1cf8acb009a0d61d1492ffdf4e93098a522f77d8c94ead5dbd2a4e562c2569d8
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-3-tc2/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-3-tc2/source:/opt/rustwide/workdir:ro,Z" "-v" "/var/lib/crater-agent-workspace/cargo-home:/opt/rustwide/cargo-home:ro,Z" "-v" "/var/lib/crater-agent-workspace/rustup-home:/opt/rustwide/rustup-home:ro,Z" "-e" "SOURCE_DIR=/opt/rustwide/workdir" "-e" "CARGO_TARGET_DIR=/opt/rustwide/target" "-e" "CARGO_INCREMENTAL=0" "-e" "RUST_BACKTRACE=full" "-e" "RUSTFLAGS=--cap-lints=forbid" "-e" "RUSTDOCFLAGS=--cap-lints=forbid" "-e" "CARGO_HOME=/opt/rustwide/cargo-home" "-e" "RUSTUP_HOME=/opt/rustwide/rustup-home" "-w" "/opt/rustwide/workdir" "-m" "1610612736" "--user" "0:0" "--network" "none" "ghcr.io/rust-lang/crates-build-env/linux@sha256:d429b63d4308055ea97f60fb1d3dfca48854a00942f1bd2ad806beaf015945ec" "/opt/rustwide/cargo-home/bin/cargo" "+33835004928d3bf65db4d4712e1330766263b0bd" "build" "--frozen" "--message-format=json", kill_on_drop: false }`
[INFO] [stdout] bfcaa1b6e5d7df74ff473ca4412954474a8444da3f54949f92de7c714a6b16ad
[INFO] running `Command { std: "docker" "start" "-a" "bfcaa1b6e5d7df74ff473ca4412954474a8444da3f54949f92de7c714a6b16ad", kill_on_drop: false }`
[INFO] [stderr] warning: `package.edition` is unspecified, defaulting to `2015` while the latest is `2024`
[INFO] [stderr]    Compiling type-operators v0.3.5 (/opt/rustwide/workdir)
[INFO] [stderr]     Finished `dev` profile [unoptimized + debuginfo] target(s) in 0.24s
[INFO] running `Command { std: "docker" "inspect" "bfcaa1b6e5d7df74ff473ca4412954474a8444da3f54949f92de7c714a6b16ad", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "bfcaa1b6e5d7df74ff473ca4412954474a8444da3f54949f92de7c714a6b16ad", kill_on_drop: false }`
[INFO] [stdout] bfcaa1b6e5d7df74ff473ca4412954474a8444da3f54949f92de7c714a6b16ad
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-3-tc2/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-3-tc2/source:/opt/rustwide/workdir:ro,Z" "-v" "/var/lib/crater-agent-workspace/cargo-home:/opt/rustwide/cargo-home:ro,Z" "-v" "/var/lib/crater-agent-workspace/rustup-home:/opt/rustwide/rustup-home:ro,Z" "-e" "SOURCE_DIR=/opt/rustwide/workdir" "-e" "CARGO_TARGET_DIR=/opt/rustwide/target" "-e" "CARGO_INCREMENTAL=0" "-e" "RUST_BACKTRACE=full" "-e" "RUSTFLAGS=--cap-lints=forbid" "-e" "RUSTDOCFLAGS=--cap-lints=forbid" "-e" "CARGO_HOME=/opt/rustwide/cargo-home" "-e" "RUSTUP_HOME=/opt/rustwide/rustup-home" "-w" "/opt/rustwide/workdir" "-m" "1610612736" "--user" "0:0" "--network" "none" "ghcr.io/rust-lang/crates-build-env/linux@sha256:d429b63d4308055ea97f60fb1d3dfca48854a00942f1bd2ad806beaf015945ec" "/opt/rustwide/cargo-home/bin/cargo" "+33835004928d3bf65db4d4712e1330766263b0bd" "test" "--frozen" "--no-run" "--message-format=json", kill_on_drop: false }`
[INFO] [stdout] 04ebccf568699396c2917b1da6168ac8701c86fe649de4f53864d746f7b05855
[INFO] running `Command { std: "docker" "start" "-a" "04ebccf568699396c2917b1da6168ac8701c86fe649de4f53864d746f7b05855", kill_on_drop: false }`
[INFO] [stderr] warning: `package.edition` is unspecified, defaulting to `2015` while the latest is `2024`
[INFO] [stderr]    Compiling bit-vec v0.4.4
[INFO] [stderr]    Compiling type-operators v0.3.5 (/opt/rustwide/workdir)
[INFO] [stdout] warning: bounds on generic parameters in type aliases are not enforced
[INFO] [stdout]    --> tests/flexible_machines.rs:14:15
[INFO] [stdout]     |
[INFO] [stdout]  14 |     (Foo) Bar(All, All, 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]     = note: `#[warn(type_alias_bounds)]` on by default
[INFO] [stdout] help: remove these bounds
[INFO] [stdout]    --> 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: unused `#[macro_use]` import
[INFO] [stdout]  --> tests/specialization_data.rs:3:1
[INFO] [stdout]   |
[INFO] [stdout] 3 | #[macro_use]
[INFO] [stdout]   | ^^^^^^^^^^^^
[INFO] [stdout]   |
[INFO] [stdout]   = note: `#[warn(unused_imports)]` (part of `#[warn(unused)]`) on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: bounds on generic parameters in type aliases are not enforced
[INFO] [stdout]    --> tests/multi_parameter_data.rs:19:24
[INFO] [stdout]     |
[INFO] [stdout]  19 |     (Int2First) Int2P1(IntPair): Int {
[INFO] [stdout]     |                        ^^^^^^^ will not be checked at usage sites of the type alias
[INFO] [stdout]     |
[INFO] [stdout]     = note: this is a known limitation of the type checker that may be lifted in a future edition.
[INFO] [stdout]             see issue #112792 <https://github.com/rust-lang/rust/issues/112792> for more information
[INFO] [stdout]     = help: add `#![feature(lazy_type_alias)]` to the crate attributes to enable the desired semantics
[INFO] [stdout]     = note: `#[warn(type_alias_bounds)]` on by default
[INFO] [stdout] help: remove this bound
[INFO] [stdout]    --> src/lib.rs:749:104
[INFO] [stdout]     |
[INFO] [stdout] 749 -         _tlsm_machine!(@cont [$($docs)*] $attrs $alias $machine [$($gensyms),*] [] [$($accum)* ($gensym: $kind)] $out);
[INFO] [stdout] 749 +         _tlsm_machine!(@cont [$($docs)*] $attrs $alias $machine [$($gensyms),*] [] [$($accum)* ($gensym $kind)] $out);
[INFO] [stdout]     |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused `#[macro_use]` import
[INFO] [stdout]  --> tests/specialization_concrete.rs:3:1
[INFO] [stdout]   |
[INFO] [stdout] 3 | #[macro_use]
[INFO] [stdout]   | ^^^^^^^^^^^^
[INFO] [stdout]   |
[INFO] [stdout]   = note: `#[warn(unused_imports)]` (part of `#[warn(unused)]`) on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: bounds on generic parameters in type aliases are not enforced
[INFO] [stdout]    --> tests/multi_parameter_data.rs:25:25
[INFO] [stdout]     |
[INFO] [stdout]  25 |     (Int2Second) Int2P2(IntPair): Int {
[INFO] [stdout]     |                         ^^^^^^^ will not be checked at usage sites of the type alias
[INFO] [stdout]     |
[INFO] [stdout]     = note: this is a known limitation of the type checker that may be lifted in a future edition.
[INFO] [stdout]             see issue #112792 <https://github.com/rust-lang/rust/issues/112792> for more information
[INFO] [stdout]     = help: add `#![feature(lazy_type_alias)]` to the crate attributes to enable the desired semantics
[INFO] [stdout] help: remove this bound
[INFO] [stdout]    --> src/lib.rs:749:104
[INFO] [stdout]     |
[INFO] [stdout] 749 -         _tlsm_machine!(@cont [$($docs)*] $attrs $alias $machine [$($gensyms),*] [] [$($accum)* ($gensym: $kind)] $out);
[INFO] [stdout] 749 +         _tlsm_machine!(@cont [$($docs)*] $attrs $alias $machine [$($gensyms),*] [] [$($accum)* ($gensym $kind)] $out);
[INFO] [stdout]     |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused import: `super::*`
[INFO] [stdout]     --> src/lib.rs:1007:9
[INFO] [stdout]      |
[INFO] [stdout] 1007 |     use super::*;
[INFO] [stdout]      |         ^^^^^^^^
[INFO] [stdout]      |
[INFO] [stdout]      = note: `#[warn(unused_imports)]` (part of `#[warn(unused)]`) on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused import: `super::*`
[INFO] [stdout]     --> src/lib.rs:1155:9
[INFO] [stdout]      |
[INFO] [stdout] 1155 |     use super::*;
[INFO] [stdout]      |         ^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unexpected `cfg` condition name: `features`
[INFO] [stdout]   --> tests/doc_comments.rs:16:15
[INFO] [stdout]    |
[INFO] [stdout] 16 |         #[cfg(features = "specialization")]
[INFO] [stdout]    |               ^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout]    |
[INFO] [stdout]    = note: see <https://doc.rust-lang.org/nightly/rustc/check-cfg/cargo-specifics.html> for more information about checking conditional configuration
[INFO] [stdout]    = note: `#[warn(unexpected_cfgs)]` on by default
[INFO] [stdout] help: there is a config with a similar name and value
[INFO] [stdout]    |
[INFO] [stdout] 16 -         #[cfg(features = "specialization")]
[INFO] [stdout] 16 +         #[cfg(feature = "specialization")]
[INFO] [stdout]    |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unexpected `cfg` condition name: `features`
[INFO] [stdout]   --> tests/doc_comments.rs:18:15
[INFO] [stdout]    |
[INFO] [stdout] 18 |         #[cfg(features = "specialization")]
[INFO] [stdout]    |               ^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout]    |
[INFO] [stdout]    = note: see <https://doc.rust-lang.org/nightly/rustc/check-cfg/cargo-specifics.html> for more information about checking conditional configuration
[INFO] [stdout] help: there is a config with a similar name and value
[INFO] [stdout]    |
[INFO] [stdout] 18 -         #[cfg(features = "specialization")]
[INFO] [stdout] 18 +         #[cfg(feature = "specialization")]
[INFO] [stdout]    |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unexpected `cfg` condition name: `features`
[INFO] [stdout]   --> tests/doc_comments.rs:38:19
[INFO] [stdout]    |
[INFO] [stdout] 38 |             #[cfg(features = "specialization")] {
[INFO] [stdout]    |                   ^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout]    |
[INFO] [stdout]    = note: see <https://doc.rust-lang.org/nightly/rustc/check-cfg/cargo-specifics.html> for more information about checking conditional configuration
[INFO] [stdout] help: there is a config with a similar name and value
[INFO] [stdout]    |
[INFO] [stdout] 38 -             #[cfg(features = "specialization")] {
[INFO] [stdout] 38 +             #[cfg(feature = "specialization")] {
[INFO] [stdout]    |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unexpected `cfg` condition name: `features`
[INFO] [stdout]   --> tests/disable_without_specialization.rs:13:15
[INFO] [stdout]    |
[INFO] [stdout] 13 |         #[cfg(features = "specialization")]
[INFO] [stdout]    |               ^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout]    |
[INFO] [stdout]    = note: see <https://doc.rust-lang.org/nightly/rustc/check-cfg/cargo-specifics.html> for more information about checking conditional configuration
[INFO] [stdout]    = note: `#[warn(unexpected_cfgs)]` on by default
[INFO] [stdout] help: there is a config with a similar name and value
[INFO] [stdout]    |
[INFO] [stdout] 13 -         #[cfg(features = "specialization")]
[INFO] [stdout] 13 +         #[cfg(feature = "specialization")]
[INFO] [stdout]    |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unexpected `cfg` condition name: `features`
[INFO] [stdout]   --> tests/disable_without_specialization.rs:15:15
[INFO] [stdout]    |
[INFO] [stdout] 15 |         #[cfg(features = "specialization")]
[INFO] [stdout]    |               ^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout]    |
[INFO] [stdout]    = note: see <https://doc.rust-lang.org/nightly/rustc/check-cfg/cargo-specifics.html> for more information about checking conditional configuration
[INFO] [stdout] help: there is a config with a similar name and value
[INFO] [stdout]    |
[INFO] [stdout] 15 -         #[cfg(features = "specialization")]
[INFO] [stdout] 15 +         #[cfg(feature = "specialization")]
[INFO] [stdout]    |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unexpected `cfg` condition name: `features`
[INFO] [stdout]   --> tests/disable_without_specialization.rs:33:19
[INFO] [stdout]    |
[INFO] [stdout] 33 |             #[cfg(features = "specialization")] {
[INFO] [stdout]    |                   ^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout]    |
[INFO] [stdout]    = note: see <https://doc.rust-lang.org/nightly/rustc/check-cfg/cargo-specifics.html> for more information about checking conditional configuration
[INFO] [stdout] help: there is a config with a similar name and value
[INFO] [stdout]    |
[INFO] [stdout] 33 -             #[cfg(features = "specialization")] {
[INFO] [stdout] 33 +             #[cfg(feature = "specialization")] {
[INFO] [stdout]    |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: trait `Nat` is never used
[INFO] [stdout]     --> src/lib.rs:1012:18
[INFO] [stdout]      |
[INFO] [stdout] 1012 |         concrete Nat => usize {
[INFO] [stdout]      |                  ^^^
[INFO] [stdout]      |
[INFO] [stdout]      = note: `#[warn(dead_code)]` (part of `#[warn(unused)]`) on by default
[INFO] [stdout]      = note: this warning originates in the macro `type_operators` (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: struct `P` is never constructed
[INFO] [stdout]     --> src/lib.rs:1013:13
[INFO] [stdout]      |
[INFO] [stdout] 1013 |             P => 0,
[INFO] [stdout]      |             ^
[INFO] [stdout]      |
[INFO] [stdout]      = note: this warning originates in the macro `_tlsm_concrete` which comes from the expansion of the macro `type_operators` (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: struct `I` is never constructed
[INFO] [stdout]     --> src/lib.rs:1014:13
[INFO] [stdout]      |
[INFO] [stdout] 1014 |             I(N: Nat = P) => 1 + 2 * N,
[INFO] [stdout]      |             ^
[INFO] [stdout]      |
[INFO] [stdout]      = note: this warning originates in the macro `_tlsm_concrete` which comes from the expansion of the macro `type_operators` (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: struct `O` is never constructed
[INFO] [stdout]     --> src/lib.rs:1015:13
[INFO] [stdout]      |
[INFO] [stdout] 1015 |             O(N: Nat = P) => 2 * N,
[INFO] [stdout]      |             ^
[INFO] [stdout]      |
[INFO] [stdout]      = note: this warning originates in the macro `_tlsm_concrete` which comes from the expansion of the macro `type_operators` (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: struct `Undefined` is never constructed
[INFO] [stdout]     --> src/lib.rs:1016:13
[INFO] [stdout]      |
[INFO] [stdout] 1016 |             Undefined => panic!("Undefined type-level arithmetic result!"),
[INFO] [stdout]      |             ^^^^^^^^^
[INFO] [stdout]      |
[INFO] [stdout]      = note: this warning originates in the macro `_tlsm_concrete` which comes from the expansion of the macro `type_operators` (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: trait `Bool` is never used
[INFO] [stdout]     --> src/lib.rs:1021:18
[INFO] [stdout]      |
[INFO] [stdout] 1021 |         concrete Bool => bool {
[INFO] [stdout]      |                  ^^^^
[INFO] [stdout]      |
[INFO] [stdout]      = note: this warning originates in the macro `type_operators` (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: bounds on generic parameters in type aliases are not enforced
[INFO] [stdout]    --> tests/doc_comments.rs:24:18
[INFO] [stdout]     |
[INFO] [stdout]  24 |     (Sum) Adding(Nat, Nat): Nat {
[INFO] [stdout]     |                  ^^^  ^^^ will not be checked at usage sites of the type alias
[INFO] [stdout]     |
[INFO] [stdout]     = note: this is a known limitation of the type checker that may be lifted in a future edition.
[INFO] [stdout]             see issue #112792 <https://github.com/rust-lang/rust/issues/112792> for more information
[INFO] [stdout]     = help: add `#![feature(lazy_type_alias)]` to the crate attributes to enable the desired semantics
[INFO] [stdout]     = note: `#[warn(type_alias_bounds)]` on by default
[INFO] [stdout] help: remove these bounds
[INFO] [stdout]    --> 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: struct `False` is never constructed
[INFO] [stdout]     --> src/lib.rs:1022:13
[INFO] [stdout]      |
[INFO] [stdout] 1022 |             False => false,
[INFO] [stdout]      |             ^^^^^
[INFO] [stdout]      |
[INFO] [stdout]      = note: this warning originates in the macro `_tlsm_concrete` which comes from the expansion of the macro `type_operators` (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: struct `True` is never constructed
[INFO] [stdout]     --> src/lib.rs:1023:13
[INFO] [stdout]      |
[INFO] [stdout] 1023 |             True => true,
[INFO] [stdout]      |             ^^^^
[INFO] [stdout]      |
[INFO] [stdout]      = note: this warning originates in the macro `_tlsm_concrete` which comes from the expansion of the macro `type_operators` (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: trait `Predecessor` is never used
[INFO] [stdout]     --> src/lib.rs:1025:16
[INFO] [stdout]      |
[INFO] [stdout] 1025 |         (Pred) Predecessor(Nat): Nat {
[INFO] [stdout]      |                ^^^^^^^^^^^
[INFO] [stdout]      |
[INFO] [stdout]      = note: this warning originates in the macro `_tlsm_machine` which comes from the expansion of the macro `type_operators` (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: type alias `Pred` is never used
[INFO] [stdout]     --> src/lib.rs:1025:10
[INFO] [stdout]      |
[INFO] [stdout] 1025 |         (Pred) Predecessor(Nat): Nat {
[INFO] [stdout]      |          ^^^^
[INFO] [stdout]      |
[INFO] [stdout]      = note: this warning originates in the macro `_tlsm_machine` which comes from the expansion of the macro `type_operators` (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: trait `Successor` is never used
[INFO] [stdout]     --> src/lib.rs:1033:16
[INFO] [stdout]      |
[INFO] [stdout] 1033 |         (Succ) Successor(Nat): Nat {
[INFO] [stdout]      |                ^^^^^^^^^
[INFO] [stdout]      |
[INFO] [stdout]      = note: this warning originates in the macro `_tlsm_machine` which comes from the expansion of the macro `type_operators` (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: type alias `Succ` is never used
[INFO] [stdout]     --> src/lib.rs:1033:10
[INFO] [stdout]      |
[INFO] [stdout] 1033 |         (Succ) Successor(Nat): Nat {
[INFO] [stdout]      |          ^^^^
[INFO] [stdout]      |
[INFO] [stdout]      = note: this warning originates in the macro `_tlsm_machine` which comes from the expansion of the macro `type_operators` (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: bounds on generic parameters in type aliases are not enforced
[INFO] [stdout]    --> tests/disable_without_specialization.rs:19:18
[INFO] [stdout]     |
[INFO] [stdout]  19 |     (Sum) Adding(Nat, Nat): Nat {
[INFO] [stdout]     |                  ^^^  ^^^ will not be checked at usage sites of the type alias
[INFO] [stdout]     |
[INFO] [stdout]     = note: this is a known limitation of the type checker that may be lifted in a future edition.
[INFO] [stdout]             see issue #112792 <https://github.com/rust-lang/rust/issues/112792> for more information
[INFO] [stdout]     = help: add `#![feature(lazy_type_alias)]` to the crate attributes to enable the desired semantics
[INFO] [stdout]     = note: `#[warn(type_alias_bounds)]` on by default
[INFO] [stdout] help: remove these bounds
[INFO] [stdout]    --> 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: trait `Adding` is never used
[INFO] [stdout]     --> src/lib.rs:1041:15
[INFO] [stdout]      |
[INFO] [stdout] 1041 |         (Sum) Adding(Nat, Nat): Nat {
[INFO] [stdout]      |               ^^^^^^
[INFO] [stdout]      |
[INFO] [stdout]      = note: this warning originates in the macro `_tlsm_machine` which comes from the expansion of the macro `type_operators` (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: type alias `Sum` is never used
[INFO] [stdout]     --> src/lib.rs:1041:10
[INFO] [stdout]      |
[INFO] [stdout] 1041 |         (Sum) Adding(Nat, Nat): Nat {
[INFO] [stdout]      |          ^^^
[INFO] [stdout]      |
[INFO] [stdout]      = note: this warning originates in the macro `_tlsm_machine` which comes from the expansion of the macro `type_operators` (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: trait `Subtracting` is never used
[INFO] [stdout]     --> src/lib.rs:1056:22
[INFO] [stdout]      |
[INFO] [stdout] 1056 |         (Difference) Subtracting(Nat, Nat): Nat {
[INFO] [stdout]      |                      ^^^^^^^^^^^
[INFO] [stdout]      |
[INFO] [stdout]      = note: this warning originates in the macro `_tlsm_machine` which comes from the expansion of the macro `type_operators` (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: type alias `Difference` is never used
[INFO] [stdout]     --> src/lib.rs:1056:10
[INFO] [stdout]      |
[INFO] [stdout] 1056 |         (Difference) Subtracting(Nat, Nat): Nat {
[INFO] [stdout]      |          ^^^^^^^^^^
[INFO] [stdout]      |
[INFO] [stdout]      = note: this warning originates in the macro `_tlsm_machine` which comes from the expansion of the macro `type_operators` (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: trait `Multiplying` is never used
[INFO] [stdout]     --> src/lib.rs:1067:19
[INFO] [stdout]      |
[INFO] [stdout] 1067 |         (Product) Multiplying(Nat, Nat): Nat {
[INFO] [stdout]      |                   ^^^^^^^^^^^
[INFO] [stdout]      |
[INFO] [stdout]      = note: this warning originates in the macro `_tlsm_machine` which comes from the expansion of the macro `type_operators` (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: type alias `Product` is never used
[INFO] [stdout]     --> src/lib.rs:1067:10
[INFO] [stdout]      |
[INFO] [stdout] 1067 |         (Product) Multiplying(Nat, Nat): Nat {
[INFO] [stdout]      |          ^^^^^^^
[INFO] [stdout]      |
[INFO] [stdout]      = note: this warning originates in the macro `_tlsm_machine` which comes from the expansion of the macro `type_operators` (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: trait `NatIf` is never used
[INFO] [stdout]     --> src/lib.rs:1076:14
[INFO] [stdout]      |
[INFO] [stdout] 1076 |         (If) NatIf(Bool, Nat, Nat): Nat {
[INFO] [stdout]      |              ^^^^^
[INFO] [stdout]      |
[INFO] [stdout]      = note: this warning originates in the macro `_tlsm_machine` which comes from the expansion of the macro `type_operators` (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: type alias `If` is never used
[INFO] [stdout]     --> src/lib.rs:1076:10
[INFO] [stdout]      |
[INFO] [stdout] 1076 |         (If) NatIf(Bool, Nat, Nat): Nat {
[INFO] [stdout]      |          ^^
[INFO] [stdout]      |
[INFO] [stdout]      = note: this warning originates in the macro `_tlsm_machine` which comes from the expansion of the macro `type_operators` (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: fields `loc` and `bits` are never read
[INFO] [stdout]   --> tests/smallfsck.rs:11:5
[INFO] [stdout]    |
[INFO] [stdout] 10 | pub struct State {
[INFO] [stdout]    |            ----- fields in this struct
[INFO] [stdout] 11 |     loc: usize,
[INFO] [stdout]    |     ^^^
[INFO] [stdout] 12 |     bits: BitVec,
[INFO] [stdout]    |     ^^^^
[INFO] [stdout]    |
[INFO] [stdout]    = note: `#[warn(dead_code)]` (part of `#[warn(unused)]`) on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: trait `NatIsUndefined` is never used
[INFO] [stdout]     --> src/lib.rs:1082:22
[INFO] [stdout]      |
[INFO] [stdout] 1082 |         (NatIsUndef) NatIsUndefined(Nat): Bool {
[INFO] [stdout]      |                      ^^^^^^^^^^^^^^
[INFO] [stdout]      |
[INFO] [stdout]      = note: this warning originates in the macro `_tlsm_machine` which comes from the expansion of the macro `type_operators` (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: type alias `NatIsUndef` is never used
[INFO] [stdout]     --> src/lib.rs:1082:10
[INFO] [stdout]      |
[INFO] [stdout] 1082 |         (NatIsUndef) NatIsUndefined(Nat): Bool {
[INFO] [stdout]      |          ^^^^^^^^^^
[INFO] [stdout]      |
[INFO] [stdout]      = note: this warning originates in the macro `_tlsm_machine` which comes from the expansion of the macro `type_operators` (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: type alias `Example` is never used
[INFO] [stdout]   --> tests/smallfsck.rs:89:6
[INFO] [stdout]    |
[INFO] [stdout] 89 | type Example = sf!{
[INFO] [stdout]    |      ^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: trait `NatUndefined` is never used
[INFO] [stdout]     --> src/lib.rs:1090:20
[INFO] [stdout]      |
[INFO] [stdout] 1090 |         (NatUndef) NatUndefined(Nat, Nat): Nat {
[INFO] [stdout]      |                    ^^^^^^^^^^^^
[INFO] [stdout]      |
[INFO] [stdout]      = note: this warning originates in the macro `_tlsm_machine` which comes from the expansion of the macro `type_operators` (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: type alias `NatUndef` is never used
[INFO] [stdout]     --> src/lib.rs:1090:10
[INFO] [stdout]      |
[INFO] [stdout] 1090 |         (NatUndef) NatUndefined(Nat, Nat): Nat {
[INFO] [stdout]      |          ^^^^^^^^
[INFO] [stdout]      |
[INFO] [stdout]      = note: this warning originates in the macro `_tlsm_machine` which comes from the expansion of the macro `type_operators` (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: trait `TotalSubtracting` is never used
[INFO] [stdout]     --> src/lib.rs:1100:27
[INFO] [stdout]      |
[INFO] [stdout] 1100 |         (TotalDifference) TotalSubtracting(Nat, Nat): Nat {
[INFO] [stdout]      |                           ^^^^^^^^^^^^^^^^
[INFO] [stdout]      |
[INFO] [stdout]      = note: this warning originates in the macro `_tlsm_machine` which comes from the expansion of the macro `type_operators` (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: bounds on generic parameters in type aliases are not enforced
[INFO] [stdout]    --> tests/smallfsck.rs:54:19
[INFO] [stdout]     |
[INFO] [stdout]  54 |     (Run) Running(Program, Smallfsck): Smallfsck {
[INFO] [stdout]     |                   ^^^^^^^  ^^^^^^^^^ will not be checked at usage sites of the type alias
[INFO] [stdout]     |
[INFO] [stdout]     = note: this is a known limitation of the type checker that may be lifted in a future edition.
[INFO] [stdout]             see issue #112792 <https://github.com/rust-lang/rust/issues/112792> for more information
[INFO] [stdout]     = help: add `#![feature(lazy_type_alias)]` to the crate attributes to enable the desired semantics
[INFO] [stdout]     = note: `#[warn(type_alias_bounds)]` on by default
[INFO] [stdout] help: remove these bounds
[INFO] [stdout]    --> 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: type alias `TotalDifference` is never used
[INFO] [stdout]     --> src/lib.rs:1100:10
[INFO] [stdout]      |
[INFO] [stdout] 1100 |         (TotalDifference) TotalSubtracting(Nat, Nat): Nat {
[INFO] [stdout]      |          ^^^^^^^^^^^^^^^
[INFO] [stdout]      |
[INFO] [stdout]      = note: this warning originates in the macro `_tlsm_machine` which comes from the expansion of the macro `type_operators` (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: trait `Quotienting` is never used
[INFO] [stdout]     --> src/lib.rs:1119:20
[INFO] [stdout]      |
[INFO] [stdout] 1119 |         (Quotient) Quotienting(Nat, Nat): Nat {
[INFO] [stdout]      |                    ^^^^^^^^^^^
[INFO] [stdout]      |
[INFO] [stdout]      = note: this warning originates in the macro `_tlsm_machine` which comes from the expansion of the macro `type_operators` (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: type alias `Quotient` is never used
[INFO] [stdout]     --> src/lib.rs:1119:10
[INFO] [stdout]      |
[INFO] [stdout] 1119 |         (Quotient) Quotienting(Nat, Nat): Nat {
[INFO] [stdout]      |          ^^^^^^^^
[INFO] [stdout]      |
[INFO] [stdout]      = note: this warning originates in the macro `_tlsm_machine` which comes from the expansion of the macro `type_operators` (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: trait `Remaindering` is never used
[INFO] [stdout]     --> src/lib.rs:1129:21
[INFO] [stdout]      |
[INFO] [stdout] 1129 |         (Remainder) Remaindering(Nat, Nat): Nat {
[INFO] [stdout]      |                     ^^^^^^^^^^^^
[INFO] [stdout]      |
[INFO] [stdout]      = note: this warning originates in the macro `_tlsm_machine` which comes from the expansion of the macro `type_operators` (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: type alias `Remainder` is never used
[INFO] [stdout]     --> src/lib.rs:1129:10
[INFO] [stdout]      |
[INFO] [stdout] 1129 |         (Remainder) Remaindering(Nat, Nat): Nat {
[INFO] [stdout]      |          ^^^^^^^^^
[INFO] [stdout]      |
[INFO] [stdout]      = note: this warning originates in the macro `_tlsm_machine` which comes from the expansion of the macro `type_operators` (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: function `invariants` is never used
[INFO] [stdout]     --> src/lib.rs:1141:8
[INFO] [stdout]      |
[INFO] [stdout] 1141 |     fn invariants() {
[INFO] [stdout]      |        ^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: trait `Nat` is never used
[INFO] [stdout]     --> src/lib.rs:1160:14
[INFO] [stdout]      |
[INFO] [stdout] 1160 |         data Nat {
[INFO] [stdout]      |              ^^^
[INFO] [stdout]      |
[INFO] [stdout]      = note: this warning originates in the macro `type_operators` (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: struct `P` is never constructed
[INFO] [stdout]     --> src/lib.rs:1161:13
[INFO] [stdout]      |
[INFO] [stdout] 1161 |             P,
[INFO] [stdout]      |             ^
[INFO] [stdout]      |
[INFO] [stdout]      = note: this warning originates in the macro `_tlsm_data` which comes from the expansion of the macro `type_operators` (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: struct `I` is never constructed
[INFO] [stdout]     --> src/lib.rs:1162:13
[INFO] [stdout]      |
[INFO] [stdout] 1162 |             I(Nat = P),
[INFO] [stdout]      |             ^
[INFO] [stdout]      |
[INFO] [stdout]      = note: this warning originates in the macro `_tlsm_data` which comes from the expansion of the macro `type_operators` (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: struct `O` is never constructed
[INFO] [stdout]     --> src/lib.rs:1163:13
[INFO] [stdout]      |
[INFO] [stdout] 1163 |             O(Nat = P),
[INFO] [stdout]      |             ^
[INFO] [stdout]      |
[INFO] [stdout]      = note: this warning originates in the macro `_tlsm_data` which comes from the expansion of the macro `type_operators` (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: bounds on generic parameters in type aliases are not enforced
[INFO] [stdout]     --> src/lib.rs:1025:28
[INFO] [stdout]      |
[INFO] [stdout] 1025 |         (Pred) Predecessor(Nat): Nat {
[INFO] [stdout]      |                            ^^^ will not be checked at usage sites of the type alias
[INFO] [stdout]      |
[INFO] [stdout]      = note: this is a known limitation of the type checker that may be lifted in a future edition.
[INFO] [stdout]              see issue #112792 <https://github.com/rust-lang/rust/issues/112792> for more information
[INFO] [stdout]      = help: add `#![feature(lazy_type_alias)]` to the crate attributes to enable the desired semantics
[INFO] [stdout]      = note: `#[warn(type_alias_bounds)]` on by default
[INFO] [stdout] help: remove this bound
[INFO] [stdout]      |
[INFO] [stdout]  749 -         _tlsm_machine!(@cont [$($docs)*] $attrs $alias $machine [$($gensyms),*] [] [$($accum)* ($gensym: $kind)] $out);
[INFO] [stdout]  749 +         _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/lib.rs:1033:26
[INFO] [stdout]      |
[INFO] [stdout] 1033 |         (Succ) Successor(Nat): Nat {
[INFO] [stdout]      |                          ^^^ will not be checked at usage sites of the type alias
[INFO] [stdout]      |
[INFO] [stdout]      = note: this is a known limitation of the type checker that may be lifted in a future edition.
[INFO] [stdout]              see issue #112792 <https://github.com/rust-lang/rust/issues/112792> for more information
[INFO] [stdout]      = help: add `#![feature(lazy_type_alias)]` to the crate attributes to enable the desired semantics
[INFO] [stdout] help: remove this bound
[INFO] [stdout]      |
[INFO] [stdout]  749 -         _tlsm_machine!(@cont [$($docs)*] $attrs $alias $machine [$($gensyms),*] [] [$($accum)* ($gensym: $kind)] $out);
[INFO] [stdout]  749 +         _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/lib.rs:1041:22
[INFO] [stdout]      |
[INFO] [stdout] 1041 |         (Sum) Adding(Nat, Nat): Nat {
[INFO] [stdout]      |                      ^^^  ^^^ will not be checked at usage sites of the type alias
[INFO] [stdout]      |
[INFO] [stdout]      = note: this is a known limitation of the type checker that may be lifted in a future edition.
[INFO] [stdout]              see issue #112792 <https://github.com/rust-lang/rust/issues/112792> for more information
[INFO] [stdout]      = help: add `#![feature(lazy_type_alias)]` to the crate attributes to enable the desired semantics
[INFO] [stdout] help: remove these bounds
[INFO] [stdout]      |
[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/lib.rs:1056:34
[INFO] [stdout]      |
[INFO] [stdout] 1056 |         (Difference) Subtracting(Nat, Nat): Nat {
[INFO] [stdout]      |                                  ^^^  ^^^ will not be checked at usage sites of the type alias
[INFO] [stdout]      |
[INFO] [stdout]      = note: this is a known limitation of the type checker that may be lifted in a future edition.
[INFO] [stdout]              see issue #112792 <https://github.com/rust-lang/rust/issues/112792> for more information
[INFO] [stdout]      = help: add `#![feature(lazy_type_alias)]` to the crate attributes to enable the desired semantics
[INFO] [stdout] help: remove these bounds
[INFO] [stdout]      |
[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/lib.rs:1067:31
[INFO] [stdout]      |
[INFO] [stdout] 1067 |         (Product) Multiplying(Nat, Nat): Nat {
[INFO] [stdout]      |                               ^^^  ^^^ will not be checked at usage sites of the type alias
[INFO] [stdout]      |
[INFO] [stdout]      = note: this is a known limitation of the type checker that may be lifted in a future edition.
[INFO] [stdout]              see issue #112792 <https://github.com/rust-lang/rust/issues/112792> for more information
[INFO] [stdout]      = help: add `#![feature(lazy_type_alias)]` to the crate attributes to enable the desired semantics
[INFO] [stdout] help: remove these bounds
[INFO] [stdout]      |
[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/lib.rs:1076:20
[INFO] [stdout]      |
[INFO] [stdout] 1076 |         (If) NatIf(Bool, Nat, Nat): Nat {
[INFO] [stdout]      |                    ^^^^  ^^^  ^^^ will not be checked at usage sites of the type alias
[INFO] [stdout]      |
[INFO] [stdout]      = note: this is a known limitation of the type checker that may be lifted in a future edition.
[INFO] [stdout]              see issue #112792 <https://github.com/rust-lang/rust/issues/112792> for more information
[INFO] [stdout]      = help: add `#![feature(lazy_type_alias)]` to the crate attributes to enable the desired semantics
[INFO] [stdout] help: remove these bounds
[INFO] [stdout]      |
[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: specialization is experimental
[INFO] [stdout]   --> tests/disable_without_specialization.rs:6:1
[INFO] [stdout]    |
[INFO] [stdout]  6 | / type_operators! {
[INFO] [stdout]  7 | |     [A, B, C, D, E]
[INFO] [stdout]  8 | |
[INFO] [stdout]  9 | |     data Nat: Default + Debug where #[derive(Default, Debug)] {
[INFO] [stdout] ...  |
[INFO] [stdout] 38 | | }
[INFO] [stdout]    | |_^
[INFO] [stdout]    |
[INFO] [stdout]    = note: see issue #31844 <https://github.com/rust-lang/rust/issues/31844> for more information
[INFO] [stdout]    = help: add `#![feature(specialization)]` to the crate attributes to enable
[INFO] [stdout]    = note: this compiler was built on 2026-04-24; consider upgrading it if it is out of date
[INFO] [stdout]    = warning: unstable syntax can change at any point in the future, causing a hard error!
[INFO] [stdout]    = note: for more information, see issue #154045 <https://github.com/rust-lang/rust/issues/154045>
[INFO] [stdout]    = note: this warning originates in the macro `_tlsm_states` which comes from the expansion of the macro `type_operators` (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: bounds on generic parameters in type aliases are not enforced
[INFO] [stdout]     --> src/lib.rs:1082:37
[INFO] [stdout]      |
[INFO] [stdout] 1082 |         (NatIsUndef) NatIsUndefined(Nat): 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 this bound
[INFO] [stdout]      |
[INFO] [stdout]  749 -         _tlsm_machine!(@cont [$($docs)*] $attrs $alias $machine [$($gensyms),*] [] [$($accum)* ($gensym: $kind)] $out);
[INFO] [stdout]  749 +         _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/lib.rs:1090:33
[INFO] [stdout]      |
[INFO] [stdout] 1090 |         (NatUndef) NatUndefined(Nat, Nat): Nat {
[INFO] [stdout]      |                                 ^^^  ^^^ will not be checked at usage sites of the type alias
[INFO] [stdout]      |
[INFO] [stdout]      = note: this is a known limitation of the type checker that may be lifted in a future edition.
[INFO] [stdout]              see issue #112792 <https://github.com/rust-lang/rust/issues/112792> for more information
[INFO] [stdout]      = help: add `#![feature(lazy_type_alias)]` to the crate attributes to enable the desired semantics
[INFO] [stdout] help: remove these bounds
[INFO] [stdout]      |
[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/lib.rs:1100:44
[INFO] [stdout]      |
[INFO] [stdout] 1100 |         (TotalDifference) TotalSubtracting(Nat, Nat): Nat {
[INFO] [stdout]      |                                            ^^^  ^^^ will not be checked at usage sites of the type alias
[INFO] [stdout]      |
[INFO] [stdout]      = note: this is a known limitation of the type checker that may be lifted in a future edition.
[INFO] [stdout]              see issue #112792 <https://github.com/rust-lang/rust/issues/112792> for more information
[INFO] [stdout]      = help: add `#![feature(lazy_type_alias)]` to the crate attributes to enable the desired semantics
[INFO] [stdout] help: remove these bounds
[INFO] [stdout]      |
[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/lib.rs:1119:32
[INFO] [stdout]      |
[INFO] [stdout] 1119 |         (Quotient) Quotienting(Nat, Nat): Nat {
[INFO] [stdout]      |                                ^^^  ^^^ will not be checked at usage sites of the type alias
[INFO] [stdout]      |
[INFO] [stdout]      = note: this is a known limitation of the type checker that may be lifted in a future edition.
[INFO] [stdout]              see issue #112792 <https://github.com/rust-lang/rust/issues/112792> for more information
[INFO] [stdout]      = help: add `#![feature(lazy_type_alias)]` to the crate attributes to enable the desired semantics
[INFO] [stdout] help: remove these bounds
[INFO] [stdout]      |
[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/lib.rs:1129:34
[INFO] [stdout]      |
[INFO] [stdout] 1129 |         (Remainder) Remaindering(Nat, Nat): Nat {
[INFO] [stdout]      |                                  ^^^  ^^^ will not be checked at usage sites of the type alias
[INFO] [stdout]      |
[INFO] [stdout]      = note: this is a known limitation of the type checker that may be lifted in a future edition.
[INFO] [stdout]              see issue #112792 <https://github.com/rust-lang/rust/issues/112792> for more information
[INFO] [stdout]      = help: add `#![feature(lazy_type_alias)]` to the crate attributes to enable the desired semantics
[INFO] [stdout] help: remove these bounds
[INFO] [stdout]      |
[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: specialization is experimental
[INFO] [stdout]   --> tests/doc_comments.rs:7:1
[INFO] [stdout]    |
[INFO] [stdout]  7 | / type_operators! {
[INFO] [stdout]  8 | |     [A, B, C, D, E]
[INFO] [stdout]  9 | |
[INFO] [stdout] 10 | |     /// This is a doc comment. It should be compiled into a comment *only* on the generated `Nat`
[INFO] [stdout] ...  |
[INFO] [stdout] 43 | | }
[INFO] [stdout]    | |_^
[INFO] [stdout]    |
[INFO] [stdout]    = note: see issue #31844 <https://github.com/rust-lang/rust/issues/31844> for more information
[INFO] [stdout]    = help: add `#![feature(specialization)]` to the crate attributes to enable
[INFO] [stdout]    = note: this compiler was built on 2026-04-24; consider upgrading it if it is out of date
[INFO] [stdout]    = warning: unstable syntax can change at any point in the future, causing a hard error!
[INFO] [stdout]    = note: for more information, see issue #154045 <https://github.com/rust-lang/rust/issues/154045>
[INFO] [stdout]    = note: this warning originates in the macro `_tlsm_states` which comes from the expansion of the macro `type_operators` (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stderr]     Finished `test` profile [unoptimized + debuginfo] target(s) in 1.29s
[INFO] running `Command { std: "docker" "inspect" "04ebccf568699396c2917b1da6168ac8701c86fe649de4f53864d746f7b05855", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "04ebccf568699396c2917b1da6168ac8701c86fe649de4f53864d746f7b05855", kill_on_drop: false }`
[INFO] [stdout] 04ebccf568699396c2917b1da6168ac8701c86fe649de4f53864d746f7b05855
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-3-tc2/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-3-tc2/source:/opt/rustwide/workdir:ro,Z" "-v" "/var/lib/crater-agent-workspace/cargo-home:/opt/rustwide/cargo-home:ro,Z" "-v" "/var/lib/crater-agent-workspace/rustup-home:/opt/rustwide/rustup-home:ro,Z" "-e" "SOURCE_DIR=/opt/rustwide/workdir" "-e" "CARGO_TARGET_DIR=/opt/rustwide/target" "-e" "CARGO_INCREMENTAL=0" "-e" "RUST_BACKTRACE=full" "-e" "RUSTFLAGS=--cap-lints=forbid" "-e" "RUSTDOCFLAGS=--cap-lints=forbid" "-e" "CARGO_HOME=/opt/rustwide/cargo-home" "-e" "RUSTUP_HOME=/opt/rustwide/rustup-home" "-w" "/opt/rustwide/workdir" "-m" "1610612736" "--user" "0:0" "--network" "none" "ghcr.io/rust-lang/crates-build-env/linux@sha256:d429b63d4308055ea97f60fb1d3dfca48854a00942f1bd2ad806beaf015945ec" "/opt/rustwide/cargo-home/bin/cargo" "+33835004928d3bf65db4d4712e1330766263b0bd" "test" "--frozen", kill_on_drop: false }`
[INFO] [stdout] efa51a6e7986e64c6d3014e7e1d872b58c3503923e66898efbbc9a3410651b80
[INFO] running `Command { std: "docker" "start" "-a" "efa51a6e7986e64c6d3014e7e1d872b58c3503923e66898efbbc9a3410651b80", kill_on_drop: false }`
[INFO] [stderr] warning: `package.edition` is unspecified, defaulting to `2015` while the latest is `2024`
[INFO] [stderr] warning: unexpected `cfg` condition name: `features`
[INFO] [stderr]   --> tests/doc_comments.rs:16:15
[INFO] [stderr]    |
[INFO] [stderr] 16 |         #[cfg(features = "specialization")]
[INFO] [stderr]    |               ^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stderr]    |
[INFO] [stderr]    = note: see <https://doc.rust-lang.org/nightly/rustc/check-cfg/cargo-specifics.html> for more information about checking conditional configuration
[INFO] [stderr]    = note: `#[warn(unexpected_cfgs)]` on by default
[INFO] [stderr] help: there is a config with a similar name and value
[INFO] [stderr]    |
[INFO] [stderr] 16 -         #[cfg(features = "specialization")]
[INFO] [stderr] 16 +         #[cfg(feature = "specialization")]
[INFO] [stderr]    |
[INFO] [stderr] 
[INFO] [stderr] warning: unexpected `cfg` condition name: `features`
[INFO] [stderr]   --> tests/doc_comments.rs:18:15
[INFO] [stderr]    |
[INFO] [stderr] 18 |         #[cfg(features = "specialization")]
[INFO] [stderr]    |               ^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stderr]    |
[INFO] [stderr]    = note: see <https://doc.rust-lang.org/nightly/rustc/check-cfg/cargo-specifics.html> for more information about checking conditional configuration
[INFO] [stderr] help: there is a config with a similar name and value
[INFO] [stderr]    |
[INFO] [stderr] 18 -         #[cfg(features = "specialization")]
[INFO] [stderr] 18 +         #[cfg(feature = "specialization")]
[INFO] [stderr]    |
[INFO] [stderr] 
[INFO] [stderr] warning: unexpected `cfg` condition name: `features`
[INFO] [stderr]   --> tests/doc_comments.rs:38:19
[INFO] [stderr]    |
[INFO] [stderr] 38 |             #[cfg(features = "specialization")] {
[INFO] [stderr]    |                   ^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stderr]    |
[INFO] [stderr]    = note: see <https://doc.rust-lang.org/nightly/rustc/check-cfg/cargo-specifics.html> for more information about checking conditional configuration
[INFO] [stderr] help: there is a config with a similar name and value
[INFO] [stderr]    |
[INFO] [stderr] 38 -             #[cfg(features = "specialization")] {
[INFO] [stderr] 38 +             #[cfg(feature = "specialization")] {
[INFO] [stderr]    |
[INFO] [stderr] 
[INFO] [stderr] warning: bounds on generic parameters in type aliases are not enforced
[INFO] [stderr]    --> tests/doc_comments.rs:24:18
[INFO] [stderr]     |
[INFO] [stderr]  24 |     (Sum) Adding(Nat, Nat): Nat {
[INFO] [stderr]     |                  ^^^  ^^^ will not be checked at usage sites of the type alias
[INFO] [stderr]     |
[INFO] [stderr]     = note: this is a known limitation of the type checker that may be lifted in a future edition.
[INFO] [stderr]             see issue #112792 <https://github.com/rust-lang/rust/issues/112792> for more information
[INFO] [stderr]     = help: add `#![feature(lazy_type_alias)]` to the crate attributes to enable the desired semantics
[INFO] [stderr]     = note: `#[warn(type_alias_bounds)]` on by default
[INFO] [stderr] help: remove these bounds
[INFO] [stderr]    --> 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: specialization is experimental
[INFO] [stderr]   --> tests/doc_comments.rs:7:1
[INFO] [stderr]    |
[INFO] [stderr]  7 | / type_operators! {
[INFO] [stderr]  8 | |     [A, B, C, D, E]
[INFO] [stderr]  9 | |
[INFO] [stderr] 10 | |     /// This is a doc comment. It should be compiled into a comment *only* on the generated `Nat`
[INFO] [stderr] ...  |
[INFO] [stderr] 43 | | }
[INFO] [stderr]    | |_^
[INFO] [stderr]    |
[INFO] [stderr]    = note: see issue #31844 <https://github.com/rust-lang/rust/issues/31844> for more information
[INFO] [stderr]    = help: add `#![feature(specialization)]` to the crate attributes to enable
[INFO] [stderr]    = note: this compiler was built on 2026-04-24; consider upgrading it if it is out of date
[INFO] [stderr]    = warning: unstable syntax can change at any point in the future, causing a hard error!
[INFO] [stderr]    = note: for more information, see issue #154045 <https://github.com/rust-lang/rust/issues/154045>
[INFO] [stderr]    = note: this warning originates in the macro `_tlsm_states` which comes from the expansion of the macro `type_operators` (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stderr] 
[INFO] [stderr] warning: `type-operators` (test "doc_comments") generated 5 warnings (run `cargo fix --test "doc_comments" -p type-operators` to apply 1 suggestion)
[INFO] [stderr] warning: bounds on generic parameters in type aliases are not enforced
[INFO] [stderr]    --> tests/flexible_machines.rs:14:15
[INFO] [stderr]     |
[INFO] [stderr]  14 |     (Foo) Bar(All, All, 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]     = note: `#[warn(type_alias_bounds)]` on by default
[INFO] [stderr] help: remove these bounds
[INFO] [stderr]    --> 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]    --> tests/multi_parameter_data.rs:19:24
[INFO] [stderr]     |
[INFO] [stderr]  19 |     (Int2First) Int2P1(IntPair): Int {
[INFO] [stderr]     |                        ^^^^^^^ will not be checked at usage sites of the type alias
[INFO] [stderr]     |
[INFO] [stderr]     = note: this is a known limitation of the type checker that may be lifted in a future edition.
[INFO] [stderr]             see issue #112792 <https://github.com/rust-lang/rust/issues/112792> for more information
[INFO] [stderr]     = help: add `#![feature(lazy_type_alias)]` to the crate attributes to enable the desired semantics
[INFO] [stderr]     = note: `#[warn(type_alias_bounds)]` on by default
[INFO] [stderr] help: remove this bound
[INFO] [stderr]    --> src/lib.rs:749:104
[INFO] [stderr]     |
[INFO] [stderr] 749 -         _tlsm_machine!(@cont [$($docs)*] $attrs $alias $machine [$($gensyms),*] [] [$($accum)* ($gensym: $kind)] $out);
[INFO] [stderr] 749 +         _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]    --> tests/multi_parameter_data.rs:25:25
[INFO] [stderr]     |
[INFO] [stderr]  25 |     (Int2Second) Int2P2(IntPair): Int {
[INFO] [stderr]     |                         ^^^^^^^ will not be checked at usage sites of the type alias
[INFO] [stderr]     |
[INFO] [stderr]     = note: this is a known limitation of the type checker that may be lifted in a future edition.
[INFO] [stderr]             see issue #112792 <https://github.com/rust-lang/rust/issues/112792> for more information
[INFO] [stderr]     = help: add `#![feature(lazy_type_alias)]` to the crate attributes to enable the desired semantics
[INFO] [stderr] help: remove this bound
[INFO] [stderr]    --> src/lib.rs:749:104
[INFO] [stderr]     |
[INFO] [stderr] 749 -         _tlsm_machine!(@cont [$($docs)*] $attrs $alias $machine [$($gensyms),*] [] [$($accum)* ($gensym: $kind)] $out);
[INFO] [stderr] 749 +         _tlsm_machine!(@cont [$($docs)*] $attrs $alias $machine [$($gensyms),*] [] [$($accum)* ($gensym $kind)] $out);
[INFO] [stderr]     |
[INFO] [stderr] 
[INFO] [stderr] warning: unused `#[macro_use]` import
[INFO] [stderr]  --> tests/specialization_concrete.rs:3:1
[INFO] [stderr]   |
[INFO] [stderr] 3 | #[macro_use]
[INFO] [stderr]   | ^^^^^^^^^^^^
[INFO] [stderr]   |
[INFO] [stderr]   = note: `#[warn(unused_imports)]` (part of `#[warn(unused)]`) on by default
[INFO] [stderr] 
[INFO] [stderr] warning: unused `#[macro_use]` import
[INFO] [stderr]  --> tests/specialization_data.rs:3:1
[INFO] [stderr]   |
[INFO] [stderr] 3 | #[macro_use]
[INFO] [stderr]   | ^^^^^^^^^^^^
[INFO] [stderr]   |
[INFO] [stderr]   = note: `#[warn(unused_imports)]` (part of `#[warn(unused)]`) on by default
[INFO] [stderr] 
[INFO] [stderr] warning: unexpected `cfg` condition name: `features`
[INFO] [stderr]   --> tests/disable_without_specialization.rs:13:15
[INFO] [stderr]    |
[INFO] [stderr] 13 |         #[cfg(features = "specialization")]
[INFO] [stderr]    |               ^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stderr]    |
[INFO] [stderr]    = note: see <https://doc.rust-lang.org/nightly/rustc/check-cfg/cargo-specifics.html> for more information about checking conditional configuration
[INFO] [stderr]    = note: `#[warn(unexpected_cfgs)]` on by default
[INFO] [stderr] help: there is a config with a similar name and value
[INFO] [stderr]    |
[INFO] [stderr] 13 -         #[cfg(features = "specialization")]
[INFO] [stderr] 13 +         #[cfg(feature = "specialization")]
[INFO] [stderr]    |
[INFO] [stderr] 
[INFO] [stderr] warning: unexpected `cfg` condition name: `features`
[INFO] [stderr]   --> tests/disable_without_specialization.rs:15:15
[INFO] [stderr]    |
[INFO] [stderr] 15 |         #[cfg(features = "specialization")]
[INFO] [stderr]    |               ^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stderr]    |
[INFO] [stderr]    = note: see <https://doc.rust-lang.org/nightly/rustc/check-cfg/cargo-specifics.html> for more information about checking conditional configuration
[INFO] [stderr] help: there is a config with a similar name and value
[INFO] [stderr]    |
[INFO] [stderr] 15 -         #[cfg(features = "specialization")]
[INFO] [stderr] 15 +         #[cfg(feature = "specialization")]
[INFO] [stderr]    |
[INFO] [stderr] 
[INFO] [stderr] warning: unexpected `cfg` condition name: `features`
[INFO] [stderr]   --> tests/disable_without_specialization.rs:33:19
[INFO] [stderr]    |
[INFO] [stderr] 33 |             #[cfg(features = "specialization")] {
[INFO] [stderr]    |                   ^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stderr]    |
[INFO] [stderr]    = note: see <https://doc.rust-lang.org/nightly/rustc/check-cfg/cargo-specifics.html> for more information about checking conditional configuration
[INFO] [stderr] help: there is a config with a similar name and value
[INFO] [stderr]    |
[INFO] [stderr] 33 -             #[cfg(features = "specialization")] {
[INFO] [stderr] 33 +             #[cfg(feature = "specialization")] {
[INFO] [stderr]    |
[INFO] [stderr] 
[INFO] [stderr] warning: bounds on generic parameters in type aliases are not enforced
[INFO] [stderr]    --> tests/disable_without_specialization.rs:19:18
[INFO] [stderr]     |
[INFO] [stderr]  19 |     (Sum) Adding(Nat, Nat): Nat {
[INFO] [stderr]     |                  ^^^  ^^^ will not be checked at usage sites of the type alias
[INFO] [stderr]     |
[INFO] [stderr]     = note: this is a known limitation of the type checker that may be lifted in a future edition.
[INFO] [stderr]             see issue #112792 <https://github.com/rust-lang/rust/issues/112792> for more information
[INFO] [stderr]     = help: add `#![feature(lazy_type_alias)]` to the crate attributes to enable the desired semantics
[INFO] [stderr]     = note: `#[warn(type_alias_bounds)]` on by default
[INFO] [stderr] help: remove these bounds
[INFO] [stderr]    --> 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: specialization is experimental
[INFO] [stderr]   --> tests/disable_without_specialization.rs:6:1
[INFO] [stderr]    |
[INFO] [stderr]  6 | / type_operators! {
[INFO] [stderr]  7 | |     [A, B, C, D, E]
[INFO] [stderr]  8 | |
[INFO] [stderr]  9 | |     data Nat: Default + Debug where #[derive(Default, Debug)] {
[INFO] [stderr] ...  |
[INFO] [stderr] 38 | | }
[INFO] [stderr]    | |_^
[INFO] [stderr]    |
[INFO] [stderr]    = note: see issue #31844 <https://github.com/rust-lang/rust/issues/31844> for more information
[INFO] [stderr]    = help: add `#![feature(specialization)]` to the crate attributes to enable
[INFO] [stderr]    = note: this compiler was built on 2026-04-24; consider upgrading it if it is out of date
[INFO] [stderr]    = warning: unstable syntax can change at any point in the future, causing a hard error!
[INFO] [stderr]    = note: for more information, see issue #154045 <https://github.com/rust-lang/rust/issues/154045>
[INFO] [stderr]    = note: this warning originates in the macro `_tlsm_states` which comes from the expansion of the macro `type_operators` (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stderr] 
[INFO] [stderr] warning: fields `loc` and `bits` are never read
[INFO] [stderr]   --> tests/smallfsck.rs:11:5
[INFO] [stderr]    |
[INFO] [stderr] 10 | pub struct State {
[INFO] [stderr]    |            ----- fields in this struct
[INFO] [stderr] 11 |     loc: usize,
[INFO] [stderr]    |     ^^^
[INFO] [stderr] 12 |     bits: BitVec,
[INFO] [stderr]    |     ^^^^
[INFO] [stderr]    |
[INFO] [stderr]    = note: `#[warn(dead_code)]` (part of `#[warn(unused)]`) on by default
[INFO] [stderr] 
[INFO] [stderr] warning: type alias `Example` is never used
[INFO] [stderr]   --> tests/smallfsck.rs:89:6
[INFO] [stderr]    |
[INFO] [stderr] 89 | type Example = sf!{
[INFO] [stderr]    |      ^^^^^^^
[INFO] [stderr] 
[INFO] [stderr] warning: bounds on generic parameters in type aliases are not enforced
[INFO] [stderr]    --> tests/smallfsck.rs:54:19
[INFO] [stderr]     |
[INFO] [stderr]  54 |     (Run) Running(Program, Smallfsck): Smallfsck {
[INFO] [stderr]     |                   ^^^^^^^  ^^^^^^^^^ will not be checked at usage sites of the type alias
[INFO] [stderr]     |
[INFO] [stderr]     = note: this is a known limitation of the type checker that may be lifted in a future edition.
[INFO] [stderr]             see issue #112792 <https://github.com/rust-lang/rust/issues/112792> for more information
[INFO] [stderr]     = help: add `#![feature(lazy_type_alias)]` to the crate attributes to enable the desired semantics
[INFO] [stderr]     = note: `#[warn(type_alias_bounds)]` on by default
[INFO] [stderr] help: remove these bounds
[INFO] [stderr]    --> 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: unused import: `super::*`
[INFO] [stderr]     --> src/lib.rs:1007:9
[INFO] [stderr]      |
[INFO] [stderr] 1007 |     use super::*;
[INFO] [stderr]      |         ^^^^^^^^
[INFO] [stderr]      |
[INFO] [stderr]      = note: `#[warn(unused_imports)]` (part of `#[warn(unused)]`) on by default
[INFO] [stderr] 
[INFO] [stderr] warning: unused import: `super::*`
[INFO] [stderr]     --> src/lib.rs:1155:9
[INFO] [stderr]      |
[INFO] [stderr] 1155 |     use super::*;
[INFO] [stderr]      |         ^^^^^^^^
[INFO] [stderr] 
[INFO] [stderr] warning: trait `Nat` is never used
[INFO] [stderr]     --> src/lib.rs:1012:18
[INFO] [stderr]      |
[INFO] [stderr] 1012 |         concrete Nat => usize {
[INFO] [stderr]      |                  ^^^
[INFO] [stderr]      |
[INFO] [stderr]      = note: `#[warn(dead_code)]` (part of `#[warn(unused)]`) on by default
[INFO] [stderr]      = note: this warning originates in the macro `type_operators` (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stderr] 
[INFO] [stderr] warning: struct `P` is never constructed
[INFO] [stderr]     --> src/lib.rs:1013:13
[INFO] [stderr]      |
[INFO] [stderr] 1013 |             P => 0,
[INFO] [stderr]      |             ^
[INFO] [stderr]      |
[INFO] [stderr]      = note: this warning originates in the macro `_tlsm_concrete` which comes from the expansion of the macro `type_operators` (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stderr] 
[INFO] [stderr] warning: struct `I` is never constructed
[INFO] [stderr]     --> src/lib.rs:1014:13
[INFO] [stderr]      |
[INFO] [stderr] 1014 |             I(N: Nat = P) => 1 + 2 * N,
[INFO] [stderr]      |             ^
[INFO] [stderr]      |
[INFO] [stderr]      = note: this warning originates in the macro `_tlsm_concrete` which comes from the expansion of the macro `type_operators` (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stderr] 
[INFO] [stderr] warning: struct `O` is never constructed
[INFO] [stderr]     --> src/lib.rs:1015:13
[INFO] [stderr]      |
[INFO] [stderr] 1015 |             O(N: Nat = P) => 2 * N,
[INFO] [stderr]      |             ^
[INFO] [stderr]      |
[INFO] [stderr]      = note: this warning originates in the macro `_tlsm_concrete` which comes from the expansion of the macro `type_operators` (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stderr] 
[INFO] [stderr] warning: struct `Undefined` is never constructed
[INFO] [stderr]     --> src/lib.rs:1016:13
[INFO] [stderr]      |
[INFO] [stderr] 1016 |             Undefined => panic!("Undefined type-level arithmetic result!"),
[INFO] [stderr]      |             ^^^^^^^^^
[INFO] [stderr]      |
[INFO] [stderr]      = note: this warning originates in the macro `_tlsm_concrete` which comes from the expansion of the macro `type_operators` (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stderr] 
[INFO] [stderr] warning: trait `Bool` is never used
[INFO] [stderr]     --> src/lib.rs:1021:18
[INFO] [stderr]      |
[INFO] [stderr] 1021 |         concrete Bool => bool {
[INFO] [stderr]      |                  ^^^^
[INFO] [stderr]      |
[INFO] [stderr]      = note: this warning originates in the macro `type_operators` (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stderr] 
[INFO] [stderr] warning: struct `False` is never constructed
[INFO] [stderr]     --> src/lib.rs:1022:13
[INFO] [stderr]      |
[INFO] [stderr] 1022 |             False => false,
[INFO] [stderr]      |             ^^^^^
[INFO] [stderr]      |
[INFO] [stderr]      = note: this warning originates in the macro `_tlsm_concrete` which comes from the expansion of the macro `type_operators` (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stderr] 
[INFO] [stderr] warning: struct `True` is never constructed
[INFO] [stderr]     --> src/lib.rs:1023:13
[INFO] [stderr]      |
[INFO] [stderr] 1023 |             True => true,
[INFO] [stderr]      |             ^^^^
[INFO] [stderr]      |
[INFO] [stderr]      = note: this warning originates in the macro `_tlsm_concrete` which comes from the expansion of the macro `type_operators` (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stderr] 
[INFO] [stderr] warning: trait `Predecessor` is never used
[INFO] [stderr]     --> src/lib.rs:1025:16
[INFO] [stderr]      |
[INFO] [stderr] 1025 |         (Pred) Predecessor(Nat): Nat {
[INFO] [stderr]      |                ^^^^^^^^^^^
[INFO] [stderr]      |
[INFO] [stderr]      = note: this warning originates in the macro `_tlsm_machine` which comes from the expansion of the macro `type_operators` (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stderr] 
[INFO] [stderr] warning: type alias `Pred` is never used
[INFO] [stderr]     --> src/lib.rs:1025:10
[INFO] [stderr]      |
[INFO] [stderr] 1025 |         (Pred) Predecessor(Nat): Nat {
[INFO] [stderr]      |          ^^^^
[INFO] [stderr]      |
[INFO] [stderr]      = note: this warning originates in the macro `_tlsm_machine` which comes from the expansion of the macro `type_operators` (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stderr] 
[INFO] [stderr] warning: trait `Successor` is never used
[INFO] [stderr]     --> src/lib.rs:1033:16
[INFO] [stderr]      |
[INFO] [stderr] 1033 |         (Succ) Successor(Nat): Nat {
[INFO] [stderr]      |                ^^^^^^^^^
[INFO] [stderr]      |
[INFO] [stderr]      = note: this warning originates in the macro `_tlsm_machine` which comes from the expansion of the macro `type_operators` (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stderr] 
[INFO] [stderr] warning: type alias `Succ` is never used
[INFO] [stderr]     --> src/lib.rs:1033:10
[INFO] [stderr]      |
[INFO] [stderr] 1033 |         (Succ) Successor(Nat): Nat {
[INFO] [stderr]      |          ^^^^
[INFO] [stderr]      |
[INFO] [stderr]      = note: this warning originates in the macro `_tlsm_machine` which comes from the expansion of the macro `type_operators` (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stderr] 
[INFO] [stderr] warning: trait `Adding` is never used
[INFO] [stderr]     --> src/lib.rs:1041:15
[INFO] [stderr]      |
[INFO] [stderr] 1041 |         (Sum) Adding(Nat, Nat): Nat {
[INFO] [stderr]      |               ^^^^^^
[INFO] [stderr]      |
[INFO] [stderr]      = note: this warning originates in the macro `_tlsm_machine` which comes from the expansion of the macro `type_operators` (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stderr] 
[INFO] [stderr] warning: type alias `Sum` is never used
[INFO] [stderr]     --> src/lib.rs:1041:10
[INFO] [stderr]      |
[INFO] [stderr] 1041 |         (Sum) Adding(Nat, Nat): Nat {
[INFO] [stderr]      |          ^^^
[INFO] [stderr]      |
[INFO] [stderr]      = note: this warning originates in the macro `_tlsm_machine` which comes from the expansion of the macro `type_operators` (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stderr] 
[INFO] [stderr] warning: trait `Subtracting` is never used
[INFO] [stderr]     --> src/lib.rs:1056:22
[INFO] [stderr]      |
[INFO] [stderr] 1056 |         (Difference) Subtracting(Nat, Nat): Nat {
[INFO] [stderr]      |                      ^^^^^^^^^^^
[INFO] [stderr]      |
[INFO] [stderr]      = note: this warning originates in the macro `_tlsm_machine` which comes from the expansion of the macro `type_operators` (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stderr] 
[INFO] [stderr] warning: type alias `Difference` is never used
[INFO] [stderr]     --> src/lib.rs:1056:10
[INFO] [stderr]      |
[INFO] [stderr] 1056 |         (Difference) Subtracting(Nat, Nat): Nat {
[INFO] [stderr]      |          ^^^^^^^^^^
[INFO] [stderr]      |
[INFO] [stderr]      = note: this warning originates in the macro `_tlsm_machine` which comes from the expansion of the macro `type_operators` (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stderr] 
[INFO] [stderr] warning: trait `Multiplying` is never used
[INFO] [stderr]     --> src/lib.rs:1067:19
[INFO] [stderr]      |
[INFO] [stderr] 1067 |         (Product) Multiplying(Nat, Nat): Nat {
[INFO] [stderr]      |                   ^^^^^^^^^^^
[INFO] [stderr]      |
[INFO] [stderr]      = note: this warning originates in the macro `_tlsm_machine` which comes from the expansion of the macro `type_operators` (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stderr] 
[INFO] [stderr] warning: type alias `Product` is never used
[INFO] [stderr]     --> src/lib.rs:1067:10
[INFO] [stderr]      |
[INFO] [stderr] 1067 |         (Product) Multiplying(Nat, Nat): Nat {
[INFO] [stderr]      |          ^^^^^^^
[INFO] [stderr]      |
[INFO] [stderr]      = note: this warning originates in the macro `_tlsm_machine` which comes from the expansion of the macro `type_operators` (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stderr] 
[INFO] [stderr] warning: trait `NatIf` is never used
[INFO] [stderr]     --> src/lib.rs:1076:14
[INFO] [stderr]      |
[INFO] [stderr] 1076 |         (If) NatIf(Bool, Nat, Nat): Nat {
[INFO] [stderr]      |              ^^^^^
[INFO] [stderr]      |
[INFO] [stderr]      = note: this warning originates in the macro `_tlsm_machine` which comes from the expansion of the macro `type_operators` (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stderr] 
[INFO] [stderr] warning: type alias `If` is never used
[INFO] [stderr]     --> src/lib.rs:1076:10
[INFO] [stderr]      |
[INFO] [stderr] 1076 |         (If) NatIf(Bool, Nat, Nat): Nat {
[INFO] [stderr]      |          ^^
[INFO] [stderr]      |
[INFO] [stderr]      = note: this warning originates in the macro `_tlsm_machine` which comes from the expansion of the macro `type_operators` (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stderr] 
[INFO] [stderr] warning: trait `NatIsUndefined` is never used
[INFO] [stderr]     --> src/lib.rs:1082:22
[INFO] [stderr]      |
[INFO] [stderr] 1082 |         (NatIsUndef) NatIsUndefined(Nat): Bool {
[INFO] [stderr]      |                      ^^^^^^^^^^^^^^
[INFO] [stderr]      |
[INFO] [stderr]      = note: this warning originates in the macro `_tlsm_machine` which comes from the expansion of the macro `type_operators` (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stderr] 
[INFO] [stderr] warning: type alias `NatIsUndef` is never used
[INFO] [stderr]     --> src/lib.rs:1082:10
[INFO] [stderr]      |
[INFO] [stderr] 1082 |         (NatIsUndef) NatIsUndefined(Nat): Bool {
[INFO] [stderr]      |          ^^^^^^^^^^
[INFO] [stderr]      |
[INFO] [stderr]      = note: this warning originates in the macro `_tlsm_machine` which comes from the expansion of the macro `type_operators` (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stderr] 
[INFO] [stderr] warning: trait `NatUndefined` is never used
[INFO] [stderr]     --> src/lib.rs:1090:20
[INFO] [stderr]      |
[INFO] [stderr] 1090 |         (NatUndef) NatUndefined(Nat, Nat): Nat {
[INFO] [stderr]      |                    ^^^^^^^^^^^^
[INFO] [stderr]      |
[INFO] [stderr]      = note: this warning originates in the macro `_tlsm_machine` which comes from the expansion of the macro `type_operators` (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stderr] 
[INFO] [stderr] warning: type alias `NatUndef` is never used
[INFO] [stderr]     --> src/lib.rs:1090:10
[INFO] [stderr]      |
[INFO] [stderr] 1090 |         (NatUndef) NatUndefined(Nat, Nat): Nat {
[INFO] [stderr]      |          ^^^^^^^^
[INFO] [stderr]      |
[INFO] [stderr]      = note: this warning originates in the macro `_tlsm_machine` which comes from the expansion of the macro `type_operators` (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stderr] 
[INFO] [stderr] warning: trait `TotalSubtracting` is never used
[INFO] [stderr]     --> src/lib.rs:1100:27
[INFO] [stderr]      |
[INFO] [stderr] 1100 |         (TotalDifference) TotalSubtracting(Nat, Nat): Nat {
[INFO] [stderr]      |                           ^^^^^^^^^^^^^^^^
[INFO] [stderr]      |
[INFO] [stderr]      = note: this warning originates in the macro `_tlsm_machine` which comes from the expansion of the macro `type_operators` (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stderr] 
[INFO] [stderr] warning: type alias `TotalDifference` is never used
[INFO] [stderr]     --> src/lib.rs:1100:10
[INFO] [stderr]      |
[INFO] [stderr] 1100 |         (TotalDifference) TotalSubtracting(Nat, Nat): Nat {
[INFO] [stderr]      |          ^^^^^^^^^^^^^^^
[INFO] [stderr]      |
[INFO] [stderr]      = note: this warning originates in the macro `_tlsm_machine` which comes from the expansion of the macro `type_operators` (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stderr] 
[INFO] [stderr] warning: trait `Quotienting` is never used
[INFO] [stderr]     --> src/lib.rs:1119:20
[INFO] [stderr]      |
[INFO] [stderr] 1119 |         (Quotient) Quotienting(Nat, Nat): Nat {
[INFO] [stderr]      |                    ^^^^^^^^^^^
[INFO] [stderr]      |
[INFO] [stderr]      = note: this warning originates in the macro `_tlsm_machine` which comes from the expansion of the macro `type_operators` (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stderr] 
[INFO] [stderr] warning: type alias `Quotient` is never used
[INFO] [stderr]     --> src/lib.rs:1119:10
[INFO] [stderr]      |
[INFO] [stderr] 1119 |         (Quotient) Quotienting(Nat, Nat): Nat {
[INFO] [stderr]      |          ^^^^^^^^
[INFO] [stderr]      |
[INFO] [stderr]      = note: this warning originates in the macro `_tlsm_machine` which comes from the expansion of the macro `type_operators` (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stderr] 
[INFO] [stderr] warning: trait `Remaindering` is never used
[INFO] [stderr]     --> src/lib.rs:1129:21
[INFO] [stderr]      |
[INFO] [stderr] 1129 |         (Remainder) Remaindering(Nat, Nat): Nat {
[INFO] [stderr]      |                     ^^^^^^^^^^^^
[INFO] [stderr]      |
[INFO] [stderr]      = note: this warning originates in the macro `_tlsm_machine` which comes from the expansion of the macro `type_operators` (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stderr] 
[INFO] [stderr] warning: type alias `Remainder` is never used
[INFO] [stderr]     --> src/lib.rs:1129:10
[INFO] [stderr]      |
[INFO] [stderr] 1129 |         (Remainder) Remaindering(Nat, Nat): Nat {
[INFO] [stderr]      |          ^^^^^^^^^
[INFO] [stderr]      |
[INFO] [stderr]      = note: this warning originates in the macro `_tlsm_machine` which comes from the expansion of the macro `type_operators` (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stderr] 
[INFO] [stderr] warning: function `invariants` is never used
[INFO] [stderr]     --> src/lib.rs:1141:8
[INFO] [stderr]      |
[INFO] [stderr] 1141 |     fn invariants() {
[INFO] [stderr]      |        ^^^^^^^^^^
[INFO] [stderr] 
[INFO] [stderr] warning: trait `Nat` is never used
[INFO] [stderr]     --> src/lib.rs:1160:14
[INFO] [stderr]      |
[INFO] [stderr] 1160 |         data Nat {
[INFO] [stderr]      |              ^^^
[INFO] [stderr]      |
[INFO] [stderr]      = note: this warning originates in the macro `type_operators` (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stderr] 
[INFO] [stderr] warning: struct `P` is never constructed
[INFO] [stderr]     --> src/lib.rs:1161:13
[INFO] [stderr]      |
[INFO] [stderr] 1161 |             P,
[INFO] [stderr]      |             ^
[INFO] [stderr]      |
[INFO] [stderr]      = note: this warning originates in the macro `_tlsm_data` which comes from the expansion of the macro `type_operators` (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stderr] 
[INFO] [stderr] warning: struct `I` is never constructed
[INFO] [stderr]     --> src/lib.rs:1162:13
[INFO] [stderr]      |
[INFO] [stderr] 1162 |             I(Nat = P),
[INFO] [stderr]      |             ^
[INFO] [stderr]      |
[INFO] [stderr]      = note: this warning originates in the macro `_tlsm_data` which comes from the expansion of the macro `type_operators` (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stderr] 
[INFO] [stderr] warning: struct `O` is never constructed
[INFO] [stderr]     --> src/lib.rs:1163:13
[INFO] [stderr]      |
[INFO] [stderr] 1163 |             O(Nat = P),
[INFO] [stderr]      |             ^
[INFO] [stderr]      |
[INFO] [stderr]      = note: this warning originates in the macro `_tlsm_data` which comes from the expansion of the macro `type_operators` (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stderr] 
[INFO] [stderr] warning: bounds on generic parameters in type aliases are not enforced
[INFO] [stderr]     --> src/lib.rs:1025:28
[INFO] [stderr]      |
[INFO] [stderr] 1025 |         (Pred) Predecessor(Nat): Nat {
[INFO] [stderr]      |                            ^^^ will not be checked at usage sites of the type alias
[INFO] [stderr]      |
[INFO] [stderr]      = note: this is a known limitation of the type checker that may be lifted in a future edition.
[INFO] [stderr]              see issue #112792 <https://github.com/rust-lang/rust/issues/112792> for more information
[INFO] [stderr]      = help: add `#![feature(lazy_type_alias)]` to the crate attributes to enable the desired semantics
[INFO] [stderr]      = note: `#[warn(type_alias_bounds)]` on by default
[INFO] [stderr] help: remove this bound
[INFO] [stderr]      |
[INFO] [stderr]  749 -         _tlsm_machine!(@cont [$($docs)*] $attrs $alias $machine [$($gensyms),*] [] [$($accum)* ($gensym: $kind)] $out);
[INFO] [stderr]  749 +         _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/lib.rs:1033:26
[INFO] [stderr]      |
[INFO] [stderr] 1033 |         (Succ) Successor(Nat): Nat {
[INFO] [stderr]      |                          ^^^ will not be checked at usage sites of the type alias
[INFO] [stderr]      |
[INFO] [stderr]      = note: this is a known limitation of the type checker that may be lifted in a future edition.
[INFO] [stderr]              see issue #112792 <https://github.com/rust-lang/rust/issues/112792> for more information
[INFO] [stderr]      = help: add `#![feature(lazy_type_alias)]` to the crate attributes to enable the desired semantics
[INFO] [stderr] help: remove this bound
[INFO] [stderr]      |
[INFO] [stderr]  749 -         _tlsm_machine!(@cont [$($docs)*] $attrs $alias $machine [$($gensyms),*] [] [$($accum)* ($gensym: $kind)] $out);
[INFO] [stderr]  749 +         _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/lib.rs:1041:22
[INFO] [stderr]      |
[INFO] [stderr] 1041 |         (Sum) Adding(Nat, Nat): Nat {
[INFO] [stderr]      |                      ^^^  ^^^ will not be checked at usage sites of the type alias
[INFO] [stderr]      |
[INFO] [stderr]      = note: this is a known limitation of the type checker that may be lifted in a future edition.
[INFO] [stderr]              see issue #112792 <https://github.com/rust-lang/rust/issues/112792> for more information
[INFO] [stderr]      = help: add `#![feature(lazy_type_alias)]` to the crate attributes to enable the desired semantics
[INFO] [stderr] help: remove these bounds
[INFO] [stderr]      |
[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/lib.rs:1056:34
[INFO] [stderr]      |
[INFO] [stderr] 1056 |         (Difference) Subtracting(Nat, Nat): Nat {
[INFO] [stderr]      |                                  ^^^  ^^^ will not be checked at usage sites of the type alias
[INFO] [stderr]      |
[INFO] [stderr]      = note: this is a known limitation of the type checker that may be lifted in a future edition.
[INFO] [stderr]              see issue #112792 <https://github.com/rust-lang/rust/issues/112792> for more information
[INFO] [stderr]      = help: add `#![feature(lazy_type_alias)]` to the crate attributes to enable the desired semantics
[INFO] [stderr] help: remove these bounds
[INFO] [stderr]      |
[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/lib.rs:1067:31
[INFO] [stderr]      |
[INFO] [stderr] 1067 |         (Product) Multiplying(Nat, Nat): Nat {
[INFO] [stderr]      |                               ^^^  ^^^ will not be checked at usage sites of the type alias
[INFO] [stderr]      |
[INFO] [stderr]      = note: this is a known limitation of the type checker that may be lifted in a future edition.
[INFO] [stderr]              see issue #112792 <https://github.com/rust-lang/rust/issues/112792> for more information
[INFO] [stderr]      = help: add `#![feature(lazy_type_alias)]` to the crate attributes to enable the desired semantics
[INFO] [stderr] help: remove these bounds
[INFO] [stderr]      |
[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/lib.rs:1076:20
[INFO] [stderr]      |
[INFO] [stderr] 1076 |         (If) NatIf(Bool, Nat, Nat): Nat {
[INFO] [stderr]      |                    ^^^^  ^^^  ^^^ will not be checked at usage sites of the type alias
[INFO] [stderr]      |
[INFO] [stderr]      = note: this is a known limitation of the type checker that may be lifted in a future edition.
[INFO] [stderr]              see issue #112792 <https://github.com/rust-lang/rust/issues/112792> for more information
[INFO] [stderr]      = help: add `#![feature(lazy_type_alias)]` to the crate attributes to enable the desired semantics
[INFO] [stderr] help: remove these bounds
[INFO] [stderr]      |
[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/lib.rs:1082:37
[INFO] [stderr]      |
[INFO] [stderr] 1082 |         (NatIsUndef) NatIsUndefined(Nat): 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 this bound
[INFO] [stderr]      |
[INFO] [stderr]  749 -         _tlsm_machine!(@cont [$($docs)*] $attrs $alias $machine [$($gensyms),*] [] [$($accum)* ($gensym: $kind)] $out);
[INFO] [stderr]  749 +         _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/lib.rs:1090:33
[INFO] [stderr]      |
[INFO] [stderr] 1090 |         (NatUndef) NatUndefined(Nat, Nat): Nat {
[INFO] [stderr]      |                                 ^^^  ^^^ will not be checked at usage sites of the type alias
[INFO] [stderr]      |
[INFO] [stderr]      = note: this is a known limitation of the type checker that may be lifted in a future edition.
[INFO] [stderr]              see issue #112792 <https://github.com/rust-lang/rust/issues/112792> for more information
[INFO] [stderr]      = help: add `#![feature(lazy_type_alias)]` to the crate attributes to enable the desired semantics
[INFO] [stderr] help: remove these bounds
[INFO] [stderr]      |
[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/lib.rs:1100:44
[INFO] [stderr]      |
[INFO] [stderr] 1100 |         (TotalDifference) TotalSubtracting(Nat, Nat): Nat {
[INFO] [stderr]      |                                            ^^^  ^^^ will not be checked at usage sites of the type alias
[INFO] [stderr]      |
[INFO] [stderr]      = note: this is a known limitation of the type checker that may be lifted in a future edition.
[INFO] [stderr]              see issue #112792 <https://github.com/rust-lang/rust/issues/112792> for more information
[INFO] [stderr]      = help: add `#![feature(lazy_type_alias)]` to the crate attributes to enable the desired semantics
[INFO] [stderr] help: remove these bounds
[INFO] [stderr]      |
[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/lib.rs:1119:32
[INFO] [stderr]      |
[INFO] [stderr] 1119 |         (Quotient) Quotienting(Nat, Nat): Nat {
[INFO] [stderr]      |                                ^^^  ^^^ will not be checked at usage sites of the type alias
[INFO] [stderr]      |
[INFO] [stderr]      = note: this is a known limitation of the type checker that may be lifted in a future edition.
[INFO] [stderr]              see issue #112792 <https://github.com/rust-lang/rust/issues/112792> for more information
[INFO] [stderr]      = help: add `#![feature(lazy_type_alias)]` to the crate attributes to enable the desired semantics
[INFO] [stderr] help: remove these bounds
[INFO] [stderr]      |
[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/lib.rs:1129:34
[INFO] [stderr]      |
[INFO] [stderr] 1129 |         (Remainder) Remaindering(Nat, Nat): Nat {
[INFO] [stderr]      |                                  ^^^  ^^^ will not be checked at usage sites of the type alias
[INFO] [stderr]      |
[INFO] [stderr]      = note: this is a known limitation of the type checker that may be lifted in a future edition.
[INFO] [stderr]              see issue #112792 <https://github.com/rust-lang/rust/issues/112792> for more information
[INFO] [stderr]      = help: add `#![feature(lazy_type_alias)]` to the crate attributes to enable the desired semantics
[INFO] [stderr] help: remove these bounds
[INFO] [stderr]      |
[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: `type-operators` (test "flexible_machines") generated 1 warning (run `cargo fix --test "flexible_machines" -p type-operators` to apply 1 suggestion)
[INFO] [stderr] warning: `type-operators` (test "multi_parameter_data") generated 2 warnings (run `cargo fix --test "multi_parameter_data" -p type-operators` to apply 2 suggestions)
[INFO] [stderr] warning: `type-operators` (test "specialization_concrete") generated 1 warning
[INFO] [stderr] warning: `type-operators` (test "specialization_data") generated 1 warning
[INFO] [stderr] warning: `type-operators` (test "disable_without_specialization") generated 5 warnings (run `cargo fix --test "disable_without_specialization" -p type-operators` to apply 1 suggestion)
[INFO] [stderr] warning: `type-operators` (test "smallfsck") generated 3 warnings (run `cargo fix --test "smallfsck" -p type-operators` to apply 1 suggestion)
[INFO] [stderr] warning: `type-operators` (lib test) generated 48 warnings (run `cargo fix --lib -p type-operators --tests` to apply 13 suggestions)
[INFO] [stderr]     Finished `test` profile [unoptimized + debuginfo] target(s) in 0.17s
[INFO] [stderr]      Running unittests src/lib.rs (/opt/rustwide/target/debug/deps/type_operators-de624a096013ca79)
[INFO] [stdout] 
[INFO] [stdout] running 0 tests
[INFO] [stderr]      Running tests/disable_without_specialization.rs (/opt/rustwide/target/debug/deps/disable_without_specialization-8f8e3e10754d6088)
[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] [stderr]      Running tests/doc_comments.rs (/opt/rustwide/target/debug/deps/doc_comments-a36e1318c5530c4b)
[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 tests/flexible_machines.rs (/opt/rustwide/target/debug/deps/flexible_machines-a78cf16d6273cefc)
[INFO] [stderr]      Running tests/multi_parameter_data.rs (/opt/rustwide/target/debug/deps/multi_parameter_data-88015025591d3fd6)
[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] [stdout] 
[INFO] [stderr]      Running tests/smallfsck.rs (/opt/rustwide/target/debug/deps/smallfsck-5a64ce43d3b01db9)
[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] [stderr]      Running tests/specialization_concrete.rs (/opt/rustwide/target/debug/deps/specialization_concrete-fe31cacfad323fa3)
[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 tests/specialization_data.rs (/opt/rustwide/target/debug/deps/specialization_data-f6185bcc100f7bbd)
[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 tests/specific_attrs.rs (/opt/rustwide/target/debug/deps/specific_attrs-be079d7f0b0fe6bd)
[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 tests/unbounded_parameters.rs (/opt/rustwide/target/debug/deps/unbounded_parameters-d19504d7ef2a58a4)
[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]    Doc-tests type_operators
[INFO] [stdout] 
[INFO] [stdout] running 7 tests
[INFO] [stdout] test src/lib.rs - type_operators (line 295) ... ok
[INFO] [stdout] test src/lib.rs - (line 45) ... ok
[INFO] [stdout] test src/lib.rs - (line 68) ... ok
[INFO] [stdout] test src/lib.rs - (line 222) ... ok
[INFO] [stdout] test src/lib.rs - (line 194) ... ok
[INFO] [stdout] test src/lib.rs - (line 11) ... ok
[INFO] [stdout] test src/lib.rs - (line 159) ... ok
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 7 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.59s
[INFO] [stdout] 
[INFO] running `Command { std: "docker" "inspect" "efa51a6e7986e64c6d3014e7e1d872b58c3503923e66898efbbc9a3410651b80", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "efa51a6e7986e64c6d3014e7e1d872b58c3503923e66898efbbc9a3410651b80", kill_on_drop: false }`
[INFO] [stdout] efa51a6e7986e64c6d3014e7e1d872b58c3503923e66898efbbc9a3410651b80
