[INFO] fetching crate type-operators 0.3.5... [INFO] testing type-operators-0.3.5 against try#b83b707f97d809763b7861afa7638871f3339a33 for pr-145838-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 b83b707f97d809763b7861afa7638871f3339a33 [INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+b83b707f97d809763b7861afa7638871f3339a33" "metadata" "--manifest-path" "Cargo.toml" "--no-deps", kill_on_drop: false }` [INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+b83b707f97d809763b7861afa7638871f3339a33" "generate-lockfile" "--manifest-path" "Cargo.toml", kill_on_drop: false }` [INFO] [stderr] Updating crates.io index [INFO] [stderr] Locking 1 package to latest compatible version [INFO] [stderr] Adding bit-vec v0.4.4 (available: v0.8.0) [INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+b83b707f97d809763b7861afa7638871f3339a33" "fetch" "--manifest-path" "Cargo.toml", kill_on_drop: false }` [INFO] [stderr] warning: no edition set: defaulting to the 2015 edition while the latest is 2024 [INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-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:7ad1b28ee6f5f7f699f6cf7015098d6ccdd96d6f2d78dd06228f5b4c9faf309c" "/opt/rustwide/cargo-home/bin/cargo" "+b83b707f97d809763b7861afa7638871f3339a33" "metadata" "--no-deps" "--format-version=1", kill_on_drop: false }` [INFO] [stdout] 4dc8daa25848d9f6fabe63cf85ab929c81e94eb2ead2f5c37ffa1c1f22f41500 [INFO] running `Command { std: "docker" "start" "-a" "4dc8daa25848d9f6fabe63cf85ab929c81e94eb2ead2f5c37ffa1c1f22f41500", kill_on_drop: false }` [INFO] running `Command { std: "docker" "inspect" "4dc8daa25848d9f6fabe63cf85ab929c81e94eb2ead2f5c37ffa1c1f22f41500", kill_on_drop: false }` [INFO] running `Command { std: "docker" "rm" "-f" "4dc8daa25848d9f6fabe63cf85ab929c81e94eb2ead2f5c37ffa1c1f22f41500", kill_on_drop: false }` [INFO] [stdout] 4dc8daa25848d9f6fabe63cf85ab929c81e94eb2ead2f5c37ffa1c1f22f41500 [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:7ad1b28ee6f5f7f699f6cf7015098d6ccdd96d6f2d78dd06228f5b4c9faf309c" "/opt/rustwide/cargo-home/bin/cargo" "+b83b707f97d809763b7861afa7638871f3339a33" "build" "--frozen" "--message-format=json", kill_on_drop: false }` [INFO] [stdout] 33ef76a701320da23e895b9efa26e373a41e7b3a3950abfc9dd51d467fba2f6f [INFO] running `Command { std: "docker" "start" "-a" "33ef76a701320da23e895b9efa26e373a41e7b3a3950abfc9dd51d467fba2f6f", kill_on_drop: false }` [INFO] [stderr] warning: no edition set: defaulting to the 2015 edition while the latest is 2024 [INFO] [stderr] Compiling type-operators v0.3.5 (/opt/rustwide/workdir) [INFO] [stderr] Finished `dev` profile [unoptimized + debuginfo] target(s) in 0.10s [INFO] running `Command { std: "docker" "inspect" "33ef76a701320da23e895b9efa26e373a41e7b3a3950abfc9dd51d467fba2f6f", kill_on_drop: false }` [INFO] running `Command { std: "docker" "rm" "-f" "33ef76a701320da23e895b9efa26e373a41e7b3a3950abfc9dd51d467fba2f6f", kill_on_drop: false }` [INFO] [stdout] 33ef76a701320da23e895b9efa26e373a41e7b3a3950abfc9dd51d467fba2f6f [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:7ad1b28ee6f5f7f699f6cf7015098d6ccdd96d6f2d78dd06228f5b4c9faf309c" "/opt/rustwide/cargo-home/bin/cargo" "+b83b707f97d809763b7861afa7638871f3339a33" "test" "--frozen" "--no-run" "--message-format=json", kill_on_drop: false }` [INFO] [stdout] 35aa9f9940f3c43d65f4bf4720bbf7bd78062fa7c37862f9735fd4024dff3e5f [INFO] running `Command { std: "docker" "start" "-a" "35aa9f9940f3c43d65f4bf4720bbf7bd78062fa7c37862f9735fd4024dff3e5f", kill_on_drop: false }` [INFO] [stderr] warning: no edition set: defaulting to the 2015 edition 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: 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 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 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 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: 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: 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] 4 | / type_operators! { [INFO] [stdout] 5 | | [A, B, C, D, E] [INFO] [stdout] 6 | | [INFO] [stdout] 7 | | concrete Int => isize { [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] 30 | | } [INFO] [stdout] | |_- help: remove this bound [INFO] [stdout] | [INFO] [stdout] = note: this is a known limitation of the type checker that may be lifted in a future edition. [INFO] [stdout] see issue #112792 for more information [INFO] [stdout] = help: add `#![feature(lazy_type_alias)]` to the crate attributes to enable the desired semantics [INFO] [stdout] = note: `#[warn(type_alias_bounds)]` on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: bounds on generic parameters in type aliases are not enforced [INFO] [stdout] --> tests/multi_parameter_data.rs:25:25 [INFO] [stdout] | [INFO] [stdout] 4 | / type_operators! { [INFO] [stdout] 5 | | [A, B, C, D, E] [INFO] [stdout] 6 | | [INFO] [stdout] 7 | | concrete Int => isize { [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] 30 | | } [INFO] [stdout] | |_- help: remove this bound [INFO] [stdout] | [INFO] [stdout] = note: this is a known limitation of the type checker that may be lifted in a future edition. [INFO] [stdout] see issue #112792 for more information [INFO] [stdout] = help: add `#![feature(lazy_type_alias)]` to the crate attributes to enable the desired semantics [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: bounds on generic parameters in type aliases are not enforced [INFO] [stdout] --> 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 for more information [INFO] [stdout] = help: add `#![feature(lazy_type_alias)]` to the crate attributes to enable the desired semantics [INFO] [stdout] = note: `#[warn(type_alias_bounds)]` on by default [INFO] [stdout] help: remove these bounds [INFO] [stdout] --> /opt/rustwide/workdir/src/lib.rs:743:114 [INFO] [stdout] | [INFO] [stdout] 743~ _tlsm_machine!(@cont [$($docs)*] $attrs $alias $machine [$($gensyms),*] [$($kinds)+] [$($accum)* ($gensym $kind)] $out); [INFO] [stdout] 744| }; [INFO] [stdout] 745| (@cont $docs:tt $attrs:tt $alias:ident $machine:ident [$gensym:ident $(, $gensyms:ident)*] [$kind:tt , $($kinds:tt)+] [$($accum:tt)*] $out:tt) => { [INFO] [stdout] 746~ _tlsm_machine!(@cont $docs $attrs $alias $machine [$($gensyms),*] [$($kinds)+] [$($accum)* ($gensym $kind)] $out); [INFO] [stdout] 747| }; [INFO] [stdout] ... [INFO] [stdout] 751| (@cont $docs:tt $attrs:tt $alias:ident $machine:ident [$gensym:ident $(, $gensyms:ident)*] [$kind:tt] [$($accum:tt)*] $out:tt) => { [INFO] [stdout] 752~ _tlsm_machine!(@cont $docs $attrs $alias $machine [$($gensyms),*] [] [$($accum)* ($gensym $kind)] $out); [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: bounds on generic parameters in type aliases are not enforced [INFO] [stdout] --> 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 for more information [INFO] [stdout] = help: add `#![feature(lazy_type_alias)]` to the crate attributes to enable the desired semantics [INFO] [stdout] = note: `#[warn(type_alias_bounds)]` on by default [INFO] [stdout] help: remove these bounds [INFO] [stdout] --> /opt/rustwide/workdir/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: 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: 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: 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 for more information [INFO] [stdout] = help: add `#![feature(lazy_type_alias)]` to the crate attributes to enable the desired semantics [INFO] [stdout] = note: `#[warn(type_alias_bounds)]` on by default [INFO] [stdout] help: remove these bounds [INFO] [stdout] --> /opt/rustwide/workdir/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: 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 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 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 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: 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: 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: 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 for more information [INFO] [stdout] = help: add `#![feature(lazy_type_alias)]` to the crate attributes to enable the desired semantics [INFO] [stdout] = note: `#[warn(type_alias_bounds)]` on by default [INFO] [stdout] help: remove these bounds [INFO] [stdout] --> /opt/rustwide/workdir/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 `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: 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: 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: 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] 749 | _tlsm_machine!(@cont [$($docs)*] $attrs $alias $machine [$($gensyms),*] [] [$($accum)* ($gensym: $kind)] $out); [INFO] [stdout] | - help: remove this bound [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 for more information [INFO] [stdout] = help: add `#![feature(lazy_type_alias)]` to the crate attributes to enable the desired semantics [INFO] [stdout] = note: `#[warn(type_alias_bounds)]` on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: bounds on generic parameters in type aliases are not enforced [INFO] [stdout] --> src/lib.rs:1033:26 [INFO] [stdout] | [INFO] [stdout] 749 | _tlsm_machine!(@cont [$($docs)*] $attrs $alias $machine [$($gensyms),*] [] [$($accum)* ($gensym: $kind)] $out); [INFO] [stdout] | - help: remove this bound [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 for more information [INFO] [stdout] = help: add `#![feature(lazy_type_alias)]` to the crate attributes to enable the desired semantics [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: bounds on generic parameters in type aliases are not enforced [INFO] [stdout] --> src/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 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 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 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 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: bounds on generic parameters in type aliases are not enforced [INFO] [stdout] --> src/lib.rs:1082:37 [INFO] [stdout] | [INFO] [stdout] 749 | _tlsm_machine!(@cont [$($docs)*] $attrs $alias $machine [$($gensyms),*] [] [$($accum)* ($gensym: $kind)] $out); [INFO] [stdout] | - help: remove this bound [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 for more information [INFO] [stdout] = help: add `#![feature(lazy_type_alias)]` to the crate attributes to enable the desired semantics [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: bounds on generic parameters in type aliases are not enforced [INFO] [stdout] --> src/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 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 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 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 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] [stderr] Finished `test` profile [unoptimized + debuginfo] target(s) in 0.83s [INFO] running `Command { std: "docker" "inspect" "35aa9f9940f3c43d65f4bf4720bbf7bd78062fa7c37862f9735fd4024dff3e5f", kill_on_drop: false }` [INFO] running `Command { std: "docker" "rm" "-f" "35aa9f9940f3c43d65f4bf4720bbf7bd78062fa7c37862f9735fd4024dff3e5f", kill_on_drop: false }` [INFO] [stdout] 35aa9f9940f3c43d65f4bf4720bbf7bd78062fa7c37862f9735fd4024dff3e5f [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:7ad1b28ee6f5f7f699f6cf7015098d6ccdd96d6f2d78dd06228f5b4c9faf309c" "/opt/rustwide/cargo-home/bin/cargo" "+b83b707f97d809763b7861afa7638871f3339a33" "test" "--frozen", kill_on_drop: false }` [INFO] [stdout] 5009624b62b6604cea1630079ae96b33373d084f200c386c89c42f8b4dc90d04 [INFO] running `Command { std: "docker" "start" "-a" "5009624b62b6604cea1630079ae96b33373d084f200c386c89c42f8b4dc90d04", kill_on_drop: false }` [INFO] [stderr] warning: no edition set: defaulting to the 2015 edition while the latest is 2024 [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 for more information [INFO] [stderr] = help: add `#![feature(lazy_type_alias)]` to the crate attributes to enable the desired semantics [INFO] [stderr] = note: `#[warn(type_alias_bounds)]` on by default [INFO] [stderr] help: remove these bounds [INFO] [stderr] --> /opt/rustwide/workdir/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: `type-operators` (test "smallfsck") generated 3 warnings (run `cargo fix --test "smallfsck"` 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 for more information [INFO] [stderr] = help: add `#![feature(lazy_type_alias)]` to the crate attributes to enable the desired semantics [INFO] [stderr] = note: `#[warn(type_alias_bounds)]` on by default [INFO] [stderr] help: remove these bounds [INFO] [stderr] --> /opt/rustwide/workdir/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: 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 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 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 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 for more information [INFO] [stderr] = help: add `#![feature(lazy_type_alias)]` to the crate attributes to enable the desired semantics [INFO] [stderr] = note: `#[warn(type_alias_bounds)]` on by default [INFO] [stderr] help: remove these bounds [INFO] [stderr] --> /opt/rustwide/workdir/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: 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 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 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 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 for more information [INFO] [stderr] = help: add `#![feature(lazy_type_alias)]` to the crate attributes to enable the desired semantics [INFO] [stderr] = note: `#[warn(type_alias_bounds)]` on by default [INFO] [stderr] help: remove these bounds [INFO] [stderr] --> /opt/rustwide/workdir/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 `#[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: bounds on generic parameters in type aliases are not enforced [INFO] [stderr] --> tests/multi_parameter_data.rs:19:24 [INFO] [stderr] | [INFO] [stderr] 4 | / type_operators! { [INFO] [stderr] 5 | | [A, B, C, D, E] [INFO] [stderr] 6 | | [INFO] [stderr] 7 | | concrete Int => isize { [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] 30 | | } [INFO] [stderr] | |_- help: remove this bound [INFO] [stderr] | [INFO] [stderr] = note: this is a known limitation of the type checker that may be lifted in a future edition. [INFO] [stderr] see issue #112792 for more information [INFO] [stderr] = help: add `#![feature(lazy_type_alias)]` to the crate attributes to enable the desired semantics [INFO] [stderr] = note: `#[warn(type_alias_bounds)]` on by default [INFO] [stderr] [INFO] [stderr] warning: bounds on generic parameters in type aliases are not enforced [INFO] [stderr] --> tests/multi_parameter_data.rs:25:25 [INFO] [stderr] | [INFO] [stderr] 4 | / type_operators! { [INFO] [stderr] 5 | | [A, B, C, D, E] [INFO] [stderr] 6 | | [INFO] [stderr] 7 | | concrete Int => isize { [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] 30 | | } [INFO] [stderr] | |_- help: remove this bound [INFO] [stderr] | [INFO] [stderr] = note: this is a known limitation of the type checker that may be lifted in a future edition. [INFO] [stderr] see issue #112792 for more information [INFO] [stderr] = help: add `#![feature(lazy_type_alias)]` to the crate attributes to enable the desired semantics [INFO] [stderr] [INFO] [stderr] warning: 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] 749 | _tlsm_machine!(@cont [$($docs)*] $attrs $alias $machine [$($gensyms),*] [] [$($accum)* ($gensym: $kind)] $out); [INFO] [stderr] | - help: remove this bound [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 for more information [INFO] [stderr] = help: add `#![feature(lazy_type_alias)]` to the crate attributes to enable the desired semantics [INFO] [stderr] = note: `#[warn(type_alias_bounds)]` on by default [INFO] [stderr] [INFO] [stderr] warning: bounds on generic parameters in type aliases are not enforced [INFO] [stderr] --> src/lib.rs:1033:26 [INFO] [stderr] | [INFO] [stderr] 749 | _tlsm_machine!(@cont [$($docs)*] $attrs $alias $machine [$($gensyms),*] [] [$($accum)* ($gensym: $kind)] $out); [INFO] [stderr] | - help: remove this bound [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 for more information [INFO] [stderr] = help: add `#![feature(lazy_type_alias)]` to the crate attributes to enable the desired semantics [INFO] [stderr] [INFO] [stderr] warning: bounds on generic parameters in type aliases are not enforced [INFO] [stderr] --> src/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 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 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 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 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] 749 | _tlsm_machine!(@cont [$($docs)*] $attrs $alias $machine [$($gensyms),*] [] [$($accum)* ($gensym: $kind)] $out); [INFO] [stderr] | - help: remove this bound [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 for more information [INFO] [stderr] = help: add `#![feature(lazy_type_alias)]` to the crate attributes to enable the desired semantics [INFO] [stderr] [INFO] [stderr] warning: bounds on generic parameters in type aliases are not enforced [INFO] [stderr] --> src/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 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 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 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 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"` to apply 1 suggestion) [INFO] [stderr] warning: `type-operators` (test "doc_comments") generated 4 warnings (run `cargo fix --test "doc_comments"` to apply 1 suggestion) [INFO] [stderr] warning: `type-operators` (test "disable_without_specialization") generated 4 warnings (run `cargo fix --test "disable_without_specialization"` to apply 1 suggestion) [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 "multi_parameter_data") generated 2 warnings (run `cargo fix --test "multi_parameter_data"` to apply 2 suggestions) [INFO] [stderr] warning: `type-operators` (lib test) generated 46 warnings (run `cargo fix --lib -p type-operators --tests` to apply 11 suggestions) [INFO] [stderr] Finished `test` profile [unoptimized + debuginfo] target(s) in 0.04s [INFO] [stdout] [INFO] [stderr] Running unittests src/lib.rs (/opt/rustwide/target/debug/deps/type_operators-bbeebf4e93998124) [INFO] [stdout] running 0 tests [INFO] [stderr] Running tests/disable_without_specialization.rs (/opt/rustwide/target/debug/deps/disable_without_specialization-3d6ed121d1cf10eb) [INFO] [stdout] [INFO] [stderr] Running tests/doc_comments.rs (/opt/rustwide/target/debug/deps/doc_comments-f349a6d928ef55c0) [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] [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-9833946deeea7c29) [INFO] [stdout] [INFO] [stdout] running 0 tests [INFO] [stderr] Running tests/multi_parameter_data.rs (/opt/rustwide/target/debug/deps/multi_parameter_data-c9b794203a68e85a) [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/smallfsck.rs (/opt/rustwide/target/debug/deps/smallfsck-af3580ba45585712) [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-f99fd6dd9be0cba9) [INFO] [stdout] [INFO] [stdout] running 0 tests [INFO] [stderr] Running tests/specialization_data.rs (/opt/rustwide/target/debug/deps/specialization_data-4ed00037c13147bb) [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] [stderr] Running tests/specific_attrs.rs (/opt/rustwide/target/debug/deps/specific_attrs-76834e30b1dd4226) [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/unbounded_parameters.rs (/opt/rustwide/target/debug/deps/unbounded_parameters-98446da9e8fd06c6) [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 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 7 tests [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 159) ... ok [INFO] [stdout] test src/lib.rs - (line 11) ... 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 - type_operators (line 295) ... ok [INFO] [stdout] [INFO] [stdout] test result: ok. 7 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.67s [INFO] [stdout] [INFO] running `Command { std: "docker" "inspect" "5009624b62b6604cea1630079ae96b33373d084f200c386c89c42f8b4dc90d04", kill_on_drop: false }` [INFO] running `Command { std: "docker" "rm" "-f" "5009624b62b6604cea1630079ae96b33373d084f200c386c89c42f8b4dc90d04", kill_on_drop: false }` [INFO] [stdout] 5009624b62b6604cea1630079ae96b33373d084f200c386c89c42f8b4dc90d04