[INFO] fetching crate type-level-logic 0.1.0... [INFO] checking type-level-logic-0.1.0 against master#8c32e313cccf7df531e2d49ffb8227bb92304aee for pr-145608-1 [INFO] extracting crate type-level-logic 0.1.0 into /workspace/builds/worker-2-tc1/source [INFO] started tweaking crates.io crate type-level-logic 0.1.0 [INFO] finished tweaking crates.io crate type-level-logic 0.1.0 [INFO] tweaked toml for crates.io crate type-level-logic 0.1.0 written to /workspace/builds/worker-2-tc1/source/Cargo.toml [INFO] validating manifest of crates.io crate type-level-logic 0.1.0 on toolchain 8c32e313cccf7df531e2d49ffb8227bb92304aee [INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+8c32e313cccf7df531e2d49ffb8227bb92304aee" "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" "+8c32e313cccf7df531e2d49ffb8227bb92304aee" "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] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+8c32e313cccf7df531e2d49ffb8227bb92304aee" "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] [stderr] Downloading crates ... [INFO] [stderr] Downloaded type-operators v0.3.5 [INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-2-tc1/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-2-tc1/source:/opt/rustwide/workdir:ro,Z" "-v" "/var/lib/crater-agent-workspace/cargo-home:/opt/rustwide/cargo-home:ro,Z" "-v" "/var/lib/crater-agent-workspace/rustup-home:/opt/rustwide/rustup-home:ro,Z" "-e" "SOURCE_DIR=/opt/rustwide/workdir" "-e" "CARGO_TARGET_DIR=/opt/rustwide/target" "-e" "CARGO_HOME=/opt/rustwide/cargo-home" "-e" "RUSTUP_HOME=/opt/rustwide/rustup-home" "-w" "/opt/rustwide/workdir" "-m" "1610612736" "--user" "0:0" "--network" "none" "ghcr.io/rust-lang/crates-build-env/linux@sha256:7ad1b28ee6f5f7f699f6cf7015098d6ccdd96d6f2d78dd06228f5b4c9faf309c" "/opt/rustwide/cargo-home/bin/cargo" "+8c32e313cccf7df531e2d49ffb8227bb92304aee" "metadata" "--no-deps" "--format-version=1", kill_on_drop: false }` [INFO] [stdout] ff1dd0cd68eef9276c3d0cbb7e235d476baa4d12ee6c4cb7e2253a4442b2b5be [INFO] running `Command { std: "docker" "start" "-a" "ff1dd0cd68eef9276c3d0cbb7e235d476baa4d12ee6c4cb7e2253a4442b2b5be", kill_on_drop: false }` [INFO] running `Command { std: "docker" "inspect" "ff1dd0cd68eef9276c3d0cbb7e235d476baa4d12ee6c4cb7e2253a4442b2b5be", kill_on_drop: false }` [INFO] running `Command { std: "docker" "rm" "-f" "ff1dd0cd68eef9276c3d0cbb7e235d476baa4d12ee6c4cb7e2253a4442b2b5be", kill_on_drop: false }` [INFO] [stdout] ff1dd0cd68eef9276c3d0cbb7e235d476baa4d12ee6c4cb7e2253a4442b2b5be [INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-2-tc1/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-2-tc1/source:/opt/rustwide/workdir:ro,Z" "-v" "/var/lib/crater-agent-workspace/cargo-home:/opt/rustwide/cargo-home:ro,Z" "-v" "/var/lib/crater-agent-workspace/rustup-home:/opt/rustwide/rustup-home:ro,Z" "-e" "SOURCE_DIR=/opt/rustwide/workdir" "-e" "CARGO_TARGET_DIR=/opt/rustwide/target" "-e" "CARGO_INCREMENTAL=0" "-e" "RUST_BACKTRACE=full" "-e" "RUSTFLAGS=--cap-lints=forbid" "-e" "RUSTDOCFLAGS=--cap-lints=forbid" "-e" "CARGO_HOME=/opt/rustwide/cargo-home" "-e" "RUSTUP_HOME=/opt/rustwide/rustup-home" "-w" "/opt/rustwide/workdir" "-m" "1610612736" "--user" "0:0" "--network" "none" "ghcr.io/rust-lang/crates-build-env/linux@sha256:7ad1b28ee6f5f7f699f6cf7015098d6ccdd96d6f2d78dd06228f5b4c9faf309c" "/opt/rustwide/cargo-home/bin/cargo" "+8c32e313cccf7df531e2d49ffb8227bb92304aee" "check" "--frozen" "--all" "--all-targets" "--message-format=json", kill_on_drop: false }` [INFO] [stdout] a80621a95649f9c3111563b0580d008662061d84dae62f0971912c278cf73e2f [INFO] running `Command { std: "docker" "start" "-a" "a80621a95649f9c3111563b0580d008662061d84dae62f0971912c278cf73e2f", kill_on_drop: false }` [INFO] [stderr] warning: no edition set: defaulting to the 2015 edition while the latest is 2024 [INFO] [stderr] Checking type-operators v0.3.5 [INFO] [stderr] Checking type-level-logic v0.1.0 (/opt/rustwide/workdir) [INFO] [stdout] warning: bounds on generic parameters in type aliases are not enforced [INFO] [stdout] --> src/strong/boolean.rs:9:19 [INFO] [stdout] | [INFO] [stdout] 9 | (And) BoolAnd(Bool, Bool): Bool { [INFO] [stdout] | ^^^^ ^^^^ will not be checked at usage sites of the type alias [INFO] [stdout] | [INFO] [stdout] = note: this is a known limitation of the type checker that may be lifted in a future edition. [INFO] [stdout] see issue #112792 for more information [INFO] [stdout] = help: add `#![feature(lazy_type_alias)]` to the crate attributes to enable the desired semantics [INFO] [stdout] = note: `#[warn(type_alias_bounds)]` on by default [INFO] [stdout] help: remove these bounds [INFO] [stdout] --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/type-operators-0.3.5/src/lib.rs:743:114 [INFO] [stdout] | [INFO] [stdout] 74~ _tlsm_machine!(@cont [$($docs)*] $attrs $alias $machine [$($gensyms),*] [$($kinds)+] [$($accum)* ($gensym $kind)] $out); [INFO] [stdout] 74| }; [INFO] [stdout] ... [INFO] [stdout] 75| (@cont $docs:tt $attrs:tt $alias:ident $machine:ident [$gensym:ident $(, $gensyms:ident)*] [$kind:tt] [$($accum:tt)*] $out:tt) => { [INFO] [stdout] 75~ _tlsm_machine!(@cont $docs $attrs $alias $machine [$($gensyms),*] [] [$($accum)* ($gensym $kind)] $out); [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: bounds on generic parameters in type aliases are not enforced [INFO] [stdout] --> src/strong/boolean.rs:17:17 [INFO] [stdout] | [INFO] [stdout] 17 | (Or) BoolOr(Bool, Bool): Bool { [INFO] [stdout] | ^^^^ ^^^^ will not be checked at usage sites of the type alias [INFO] [stdout] | [INFO] [stdout] = note: this is a known limitation of the type checker that may be lifted in a future edition. [INFO] [stdout] see issue #112792 for more information [INFO] [stdout] = help: add `#![feature(lazy_type_alias)]` to the crate attributes to enable the desired semantics [INFO] [stdout] help: remove these bounds [INFO] [stdout] --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/type-operators-0.3.5/src/lib.rs:743:114 [INFO] [stdout] | [INFO] [stdout] 743~ _tlsm_machine!(@cont [$($docs)*] $attrs $alias $machine [$($gensyms),*] [$($kinds)+] [$($accum)* ($gensym $kind)] $out); [INFO] [stdout] 744| }; [INFO] [stdout] ... [INFO] [stdout] 751| (@cont $docs:tt $attrs:tt $alias:ident $machine:ident [$gensym:ident $(, $gensyms:ident)*] [$kind:tt] [$($accum:tt)*] $out:tt) => { [INFO] [stdout] 752~ _tlsm_machine!(@cont $docs $attrs $alias $machine [$($gensyms),*] [] [$($accum)* ($gensym $kind)] $out); [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: bounds on generic parameters in type aliases are not enforced [INFO] [stdout] --> src/strong/boolean.rs:26:25 [INFO] [stdout] | [INFO] [stdout] 26 | (IfThen) BoolIfThen(Bool, Bool): Bool { [INFO] [stdout] | ^^^^ ^^^^ will not be checked at usage sites of the type alias [INFO] [stdout] | [INFO] [stdout] = note: this is a known limitation of the type checker that may be lifted in a future edition. [INFO] [stdout] see issue #112792 for more information [INFO] [stdout] = help: add `#![feature(lazy_type_alias)]` to the crate attributes to enable the desired semantics [INFO] [stdout] help: remove these bounds [INFO] [stdout] --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/type-operators-0.3.5/src/lib.rs:743:114 [INFO] [stdout] | [INFO] [stdout] 743~ _tlsm_machine!(@cont [$($docs)*] $attrs $alias $machine [$($gensyms),*] [$($kinds)+] [$($accum)* ($gensym $kind)] $out); [INFO] [stdout] 744| }; [INFO] [stdout] ... [INFO] [stdout] 751| (@cont $docs:tt $attrs:tt $alias:ident $machine:ident [$gensym:ident $(, $gensyms:ident)*] [$kind:tt] [$($accum:tt)*] $out:tt) => { [INFO] [stdout] 752~ _tlsm_machine!(@cont $docs $attrs $alias $machine [$($gensyms),*] [] [$($accum)* ($gensym $kind)] $out); [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: bounds on generic parameters in type aliases are not enforced [INFO] [stdout] --> src/strong/boolean.rs:35:25 [INFO] [stdout] | [INFO] [stdout] 35 | (OnlyIf) BoolOnlyIf(Bool, Bool): Bool { [INFO] [stdout] | ^^^^ ^^^^ will not be checked at usage sites of the type alias [INFO] [stdout] | [INFO] [stdout] = note: this is a known limitation of the type checker that may be lifted in a future edition. [INFO] [stdout] see issue #112792 for more information [INFO] [stdout] = help: add `#![feature(lazy_type_alias)]` to the crate attributes to enable the desired semantics [INFO] [stdout] help: remove these bounds [INFO] [stdout] --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/type-operators-0.3.5/src/lib.rs:743:114 [INFO] [stdout] | [INFO] [stdout] 743~ _tlsm_machine!(@cont [$($docs)*] $attrs $alias $machine [$($gensyms),*] [$($kinds)+] [$($accum)* ($gensym $kind)] $out); [INFO] [stdout] 744| }; [INFO] [stdout] ... [INFO] [stdout] 751| (@cont $docs:tt $attrs:tt $alias:ident $machine:ident [$gensym:ident $(, $gensyms:ident)*] [$kind:tt] [$($accum:tt)*] $out:tt) => { [INFO] [stdout] 752~ _tlsm_machine!(@cont $docs $attrs $alias $machine [$($gensyms),*] [] [$($accum)* ($gensym $kind)] $out); [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: bounds on generic parameters in type aliases are not enforced [INFO] [stdout] --> src/strong/boolean.rs:43:19 [INFO] [stdout] | [INFO] [stdout] 43 | (Xor) BoolXor(Bool, Bool): Bool { [INFO] [stdout] | ^^^^ ^^^^ will not be checked at usage sites of the type alias [INFO] [stdout] | [INFO] [stdout] = note: this is a known limitation of the type checker that may be lifted in a future edition. [INFO] [stdout] see issue #112792 for more information [INFO] [stdout] = help: add `#![feature(lazy_type_alias)]` to the crate attributes to enable the desired semantics [INFO] [stdout] help: remove these bounds [INFO] [stdout] --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/type-operators-0.3.5/src/lib.rs:743:114 [INFO] [stdout] | [INFO] [stdout] 743~ _tlsm_machine!(@cont [$($docs)*] $attrs $alias $machine [$($gensyms),*] [$($kinds)+] [$($accum)* ($gensym $kind)] $out); [INFO] [stdout] 744| }; [INFO] [stdout] ... [INFO] [stdout] 751| (@cont $docs:tt $attrs:tt $alias:ident $machine:ident [$gensym:ident $(, $gensyms:ident)*] [$kind:tt] [$($accum:tt)*] $out:tt) => { [INFO] [stdout] 752~ _tlsm_machine!(@cont $docs $attrs $alias $machine [$($gensyms),*] [] [$($accum)* ($gensym $kind)] $out); [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: bounds on generic parameters in type aliases are not enforced [INFO] [stdout] --> src/strong/ternary.rs:14:24 [INFO] [stdout] | [INFO] [stdout] 10 | / type_operators! { [INFO] [stdout] 11 | | [A, B, C, D, E, F, G, H] [INFO] [stdout] 12 | | [INFO] [stdout] 13 | | /// Project the first value in a `NatPair`. [INFO] [stdout] 14 | | (Nat2First) Nat2P1(NatPair): Nat { [INFO] [stdout] | | ^^^^^^^ will not be checked at usage sites of the type alias [INFO] [stdout] ... | [INFO] [stdout] 354 | | } [INFO] [stdout] | |_- help: remove this bound [INFO] [stdout] | [INFO] [stdout] = note: this is a known limitation of the type checker that may be lifted in a future edition. [INFO] [stdout] see issue #112792 for more information [INFO] [stdout] = help: add `#![feature(lazy_type_alias)]` to the crate attributes to enable the desired semantics [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: bounds on generic parameters in type aliases are not enforced [INFO] [stdout] --> src/strong/ternary.rs:21:25 [INFO] [stdout] | [INFO] [stdout] 10 | / type_operators! { [INFO] [stdout] 11 | | [A, B, C, D, E, F, G, H] [INFO] [stdout] 12 | | [INFO] [stdout] 13 | | /// Project the first value in a `NatPair`. [INFO] [stdout] ... | [INFO] [stdout] 21 | | (Nat2Second) Nat2P2(NatPair): Nat { [INFO] [stdout] | | ^^^^^^^ will not be checked at usage sites of the type alias [INFO] [stdout] ... | [INFO] [stdout] 354 | | } [INFO] [stdout] | |_- help: remove this bound [INFO] [stdout] | [INFO] [stdout] = note: this is a known limitation of the type checker that may be lifted in a future edition. [INFO] [stdout] see issue #112792 for more information [INFO] [stdout] = help: add `#![feature(lazy_type_alias)]` to the crate attributes to enable the desired semantics [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: bounds on generic parameters in type aliases are not enforced [INFO] [stdout] --> src/strong/ternary.rs:29:20 [INFO] [stdout] | [INFO] [stdout] 10 | / type_operators! { [INFO] [stdout] 11 | | [A, B, C, D, E, F, G, H] [INFO] [stdout] 12 | | [INFO] [stdout] 13 | | /// Project the first value in a `NatPair`. [INFO] [stdout] ... | [INFO] [stdout] 29 | | (Succ) NatSucc(Nat): Nat { [INFO] [stdout] | | ^^^ will not be checked at usage sites of the type alias [INFO] [stdout] ... | [INFO] [stdout] 354 | | } [INFO] [stdout] | |_- help: remove this bound [INFO] [stdout] | [INFO] [stdout] = note: this is a known limitation of the type checker that may be lifted in a future edition. [INFO] [stdout] see issue #112792 for more information [INFO] [stdout] = help: add `#![feature(lazy_type_alias)]` to the crate attributes to enable the desired semantics [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: bounds on generic parameters in type aliases are not enforced [INFO] [stdout] --> src/strong/ternary.rs:41:20 [INFO] [stdout] | [INFO] [stdout] 10 | / type_operators! { [INFO] [stdout] 11 | | [A, B, C, D, E, F, G, H] [INFO] [stdout] 12 | | [INFO] [stdout] 13 | | /// Project the first value in a `NatPair`. [INFO] [stdout] ... | [INFO] [stdout] 41 | | (Pred) NatPred(Nat): Nat { [INFO] [stdout] | | ^^^ will not be checked at usage sites of the type alias [INFO] [stdout] ... | [INFO] [stdout] 354 | | } [INFO] [stdout] | |_- help: remove this bound [INFO] [stdout] | [INFO] [stdout] = note: this is a known limitation of the type checker that may be lifted in a future edition. [INFO] [stdout] see issue #112792 for more information [INFO] [stdout] = help: add `#![feature(lazy_type_alias)]` to the crate attributes to enable the desired semantics [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: bounds on generic parameters in type aliases are not enforced [INFO] [stdout] --> src/strong/ternary.rs:53:32 [INFO] [stdout] | [INFO] [stdout] 10 | / type_operators! { [INFO] [stdout] 11 | | [A, B, C, D, E, F, G, H] [INFO] [stdout] 12 | | [INFO] [stdout] 13 | | /// Project the first value in a `NatPair`. [INFO] [stdout] ... | [INFO] [stdout] 53 | | (DoublePred) NatDoublePred(Nat): Nat { [INFO] [stdout] | | ^^^ will not be checked at usage sites of the type alias [INFO] [stdout] ... | [INFO] [stdout] 354 | | } [INFO] [stdout] | |_- help: remove this bound [INFO] [stdout] | [INFO] [stdout] = note: this is a known limitation of the type checker that may be lifted in a future edition. [INFO] [stdout] see issue #112792 for more information [INFO] [stdout] = help: add `#![feature(lazy_type_alias)]` to the crate attributes to enable the desired semantics [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: bounds on generic parameters in type aliases are not enforced [INFO] [stdout] --> src/strong/ternary.rs:68:24 [INFO] [stdout] | [INFO] [stdout] 10 | / type_operators! { [INFO] [stdout] 11 | | [A, B, C, D, E, F, G, H] [INFO] [stdout] 12 | | [INFO] [stdout] 13 | | /// Project the first value in a `NatPair`. [INFO] [stdout] ... | [INFO] [stdout] 68 | | (Triple) NatTriple(Nat): Nat { [INFO] [stdout] | | ^^^ will not be checked at usage sites of the type alias [INFO] [stdout] ... | [INFO] [stdout] 354 | | } [INFO] [stdout] | |_- help: remove this bound [INFO] [stdout] | [INFO] [stdout] = note: this is a known limitation of the type checker that may be lifted in a future edition. [INFO] [stdout] see issue #112792 for more information [INFO] [stdout] = help: add `#![feature(lazy_type_alias)]` to the crate attributes to enable the desired semantics [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: bounds on generic parameters in type aliases are not enforced [INFO] [stdout] --> src/strong/ternary.rs:81:24 [INFO] [stdout] | [INFO] [stdout] 10 | / type_operators! { [INFO] [stdout] 11 | | [A, B, C, D, E, F, G, H] [INFO] [stdout] 12 | | [INFO] [stdout] 13 | | /// Project the first value in a `NatPair`. [INFO] [stdout] ... | [INFO] [stdout] 81 | | (Unique) NatUnique(Nat): Nat { [INFO] [stdout] | | ^^^ will not be checked at usage sites of the type alias [INFO] [stdout] ... | [INFO] [stdout] 354 | | } [INFO] [stdout] | |_- help: remove this bound [INFO] [stdout] | [INFO] [stdout] = note: this is a known limitation of the type checker that may be lifted in a future edition. [INFO] [stdout] see issue #112792 for more information [INFO] [stdout] = help: add `#![feature(lazy_type_alias)]` to the crate attributes to enable the desired semantics [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: bounds on generic parameters in type aliases are not enforced [INFO] [stdout] --> src/strong/ternary.rs:95:18 [INFO] [stdout] | [INFO] [stdout] 95 | (Add) NatAdd(Nat, Nat): Nat { [INFO] [stdout] | ^^^ ^^^ will not be checked at usage sites of the type alias [INFO] [stdout] | [INFO] [stdout] = note: this is a known limitation of the type checker that may be lifted in a future edition. [INFO] [stdout] see issue #112792 for more information [INFO] [stdout] = help: add `#![feature(lazy_type_alias)]` to the crate attributes to enable the desired semantics [INFO] [stdout] help: remove these bounds [INFO] [stdout] --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/type-operators-0.3.5/src/lib.rs:743:114 [INFO] [stdout] | [INFO] [stdout] 743~ _tlsm_machine!(@cont [$($docs)*] $attrs $alias $machine [$($gensyms),*] [$($kinds)+] [$($accum)* ($gensym $kind)] $out); [INFO] [stdout] 744| }; [INFO] [stdout] ... [INFO] [stdout] 751| (@cont $docs:tt $attrs:tt $alias:ident $machine:ident [$gensym:ident $(, $gensyms:ident)*] [$kind:tt] [$($accum:tt)*] $out:tt) => { [INFO] [stdout] 752~ _tlsm_machine!(@cont $docs $attrs $alias $machine [$($gensyms),*] [] [$($accum)* ($gensym $kind)] $out); [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: bounds on generic parameters in type aliases are not enforced [INFO] [stdout] --> src/strong/ternary.rs:128:38 [INFO] [stdout] | [INFO] [stdout] 10 | / type_operators! { [INFO] [stdout] 11 | | [A, B, C, D, E, F, G, H] [INFO] [stdout] 12 | | [INFO] [stdout] 13 | | /// Project the first value in a `NatPair`. [INFO] [stdout] ... | [INFO] [stdout] 128 | | (TriplePlusOne) NatTriplePlusOne(Nat): Nat { [INFO] [stdout] | | ^^^ will not be checked at usage sites of the type alias [INFO] [stdout] ... | [INFO] [stdout] 354 | | } [INFO] [stdout] | |_- help: remove this bound [INFO] [stdout] | [INFO] [stdout] = note: this is a known limitation of the type checker that may be lifted in a future edition. [INFO] [stdout] see issue #112792 for more information [INFO] [stdout] = help: add `#![feature(lazy_type_alias)]` to the crate attributes to enable the desired semantics [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: bounds on generic parameters in type aliases are not enforced [INFO] [stdout] --> src/strong/ternary.rs:139:38 [INFO] [stdout] | [INFO] [stdout] 10 | / type_operators! { [INFO] [stdout] 11 | | [A, B, C, D, E, F, G, H] [INFO] [stdout] 12 | | [INFO] [stdout] 13 | | /// Project the first value in a `NatPair`. [INFO] [stdout] ... | [INFO] [stdout] 139 | | (TriplePlusTwo) NatTriplePlusTwo(Nat): Nat { [INFO] [stdout] | | ^^^ will not be checked at usage sites of the type alias [INFO] [stdout] ... | [INFO] [stdout] 354 | | } [INFO] [stdout] | |_- help: remove this bound [INFO] [stdout] | [INFO] [stdout] = note: this is a known limitation of the type checker that may be lifted in a future edition. [INFO] [stdout] see issue #112792 for more information [INFO] [stdout] = help: add `#![feature(lazy_type_alias)]` to the crate attributes to enable the desired semantics [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: bounds on generic parameters in type aliases are not enforced [INFO] [stdout] --> src/strong/ternary.rs:152:18 [INFO] [stdout] | [INFO] [stdout] 152 | (Sub) NatSub(Nat, Nat): Nat { [INFO] [stdout] | ^^^ ^^^ will not be checked at usage sites of the type alias [INFO] [stdout] | [INFO] [stdout] = note: this is a known limitation of the type checker that may be lifted in a future edition. [INFO] [stdout] see issue #112792 for more information [INFO] [stdout] = help: add `#![feature(lazy_type_alias)]` to the crate attributes to enable the desired semantics [INFO] [stdout] help: remove these bounds [INFO] [stdout] --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/type-operators-0.3.5/src/lib.rs:743:114 [INFO] [stdout] | [INFO] [stdout] 743 ~ _tlsm_machine!(@cont [$($docs)*] $attrs $alias $machine [$($gensyms),*] [$($kinds)+] [$($accum)* ($gensym $kind)] $out); [INFO] [stdout] 744 | }; [INFO] [stdout] ... [INFO] [stdout] 751 | (@cont $docs:tt $attrs:tt $alias:ident $machine:ident [$gensym:ident $(, $gensyms:ident)*] [$kind:tt] [$($accum:tt)*] $out:tt) => { [INFO] [stdout] 752 ~ _tlsm_machine!(@cont $docs $attrs $alias $machine [$($gensyms),*] [] [$($accum)* ($gensym $kind)] $out); [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: bounds on generic parameters in type aliases are not enforced [INFO] [stdout] --> src/strong/ternary.rs:185:18 [INFO] [stdout] | [INFO] [stdout] 185 | (Mul) NatMul(Nat, Nat): Nat { [INFO] [stdout] | ^^^ ^^^ will not be checked at usage sites of the type alias [INFO] [stdout] | [INFO] [stdout] = note: this is a known limitation of the type checker that may be lifted in a future edition. [INFO] [stdout] see issue #112792 for more information [INFO] [stdout] = help: add `#![feature(lazy_type_alias)]` to the crate attributes to enable the desired semantics [INFO] [stdout] help: remove these bounds [INFO] [stdout] --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/type-operators-0.3.5/src/lib.rs:743:114 [INFO] [stdout] | [INFO] [stdout] 743 ~ _tlsm_machine!(@cont [$($docs)*] $attrs $alias $machine [$($gensyms),*] [$($kinds)+] [$($accum)* ($gensym $kind)] $out); [INFO] [stdout] 744 | }; [INFO] [stdout] ... [INFO] [stdout] 751 | (@cont $docs:tt $attrs:tt $alias:ident $machine:ident [$gensym:ident $(, $gensyms:ident)*] [$kind:tt] [$($accum:tt)*] $out:tt) => { [INFO] [stdout] 752 ~ _tlsm_machine!(@cont $docs $attrs $alias $machine [$($gensyms),*] [] [$($accum)* ($gensym $kind)] $out); [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: bounds on generic parameters in type aliases are not enforced [INFO] [stdout] --> src/strong/ternary.rs:220:18 [INFO] [stdout] | [INFO] [stdout] 220 | (Cmp) NatCmp(Nat, Nat, Nat, Nat, Nat): Nat { [INFO] [stdout] | ^^^ ^^^ ^^^ ^^^ ^^^ will not be checked at usage sites of the type alias [INFO] [stdout] | [INFO] [stdout] = note: this is a known limitation of the type checker that may be lifted in a future edition. [INFO] [stdout] see issue #112792 for more information [INFO] [stdout] = help: add `#![feature(lazy_type_alias)]` to the crate attributes to enable the desired semantics [INFO] [stdout] help: remove these bounds [INFO] [stdout] --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/type-operators-0.3.5/src/lib.rs:743:114 [INFO] [stdout] | [INFO] [stdout] 743 ~ _tlsm_machine!(@cont [$($docs)*] $attrs $alias $machine [$($gensyms),*] [$($kinds)+] [$($accum)* ($gensym $kind)] $out); [INFO] [stdout] 744 | }; [INFO] [stdout] 745 | (@cont $docs:tt $attrs:tt $alias:ident $machine:ident [$gensym:ident $(, $gensyms:ident)*] [$kind:tt , $($kinds:tt)+] [$($accum:tt)*] $out:tt) => { [INFO] [stdout] 746 ~ _tlsm_machine!(@cont $docs $attrs $alias $machine [$($gensyms),*] [$($kinds)+] [$($accum)* ($gensym $kind)] $out); [INFO] [stdout] 747 | }; [INFO] [stdout] ... [INFO] [stdout] 751 | (@cont $docs:tt $attrs:tt $alias:ident $machine:ident [$gensym:ident $(, $gensyms:ident)*] [$kind:tt] [$($accum:tt)*] $out:tt) => { [INFO] [stdout] 752 ~ _tlsm_machine!(@cont $docs $attrs $alias $machine [$($gensyms),*] [] [$($accum)* ($gensym $kind)] $out); [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: bounds on generic parameters in type aliases are not enforced [INFO] [stdout] --> src/strong/ternary.rs:247:28 [INFO] [stdout] | [INFO] [stdout] 247 | (UndefOr2) NatUndefOr2(Nat, Nat, NatPair): NatPair { [INFO] [stdout] | ^^^ ^^^ ^^^^^^^ will not be checked at usage sites of the type alias [INFO] [stdout] | [INFO] [stdout] = note: this is a known limitation of the type checker that may be lifted in a future edition. [INFO] [stdout] see issue #112792 for more information [INFO] [stdout] = help: add `#![feature(lazy_type_alias)]` to the crate attributes to enable the desired semantics [INFO] [stdout] help: remove these bounds [INFO] [stdout] --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/type-operators-0.3.5/src/lib.rs:743:114 [INFO] [stdout] | [INFO] [stdout] 743 ~ _tlsm_machine!(@cont [$($docs)*] $attrs $alias $machine [$($gensyms),*] [$($kinds)+] [$($accum)* ($gensym $kind)] $out); [INFO] [stdout] 744 | }; [INFO] [stdout] 745 | (@cont $docs:tt $attrs:tt $alias:ident $machine:ident [$gensym:ident $(, $gensyms:ident)*] [$kind:tt , $($kinds:tt)+] [$($accum:tt)*] $out:tt) => { [INFO] [stdout] 746 ~ _tlsm_machine!(@cont $docs $attrs $alias $machine [$($gensyms),*] [$($kinds)+] [$($accum)* ($gensym $kind)] $out); [INFO] [stdout] 747 | }; [INFO] [stdout] ... [INFO] [stdout] 751 | (@cont $docs:tt $attrs:tt $alias:ident $machine:ident [$gensym:ident $(, $gensyms:ident)*] [$kind:tt] [$($accum:tt)*] $out:tt) => { [INFO] [stdout] 752 ~ _tlsm_machine!(@cont $docs $attrs $alias $machine [$($gensyms),*] [] [$($accum)* ($gensym $kind)] $out); [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: bounds on generic parameters in type aliases are not enforced [INFO] [stdout] --> src/strong/ternary.rs:262:18 [INFO] [stdout] | [INFO] [stdout] 10 | / type_operators! { [INFO] [stdout] 11 | | [A, B, C, D, E, F, G, H] [INFO] [stdout] 12 | | [INFO] [stdout] 13 | | /// Project the first value in a `NatPair`. [INFO] [stdout] ... | [INFO] [stdout] 262 | | (Rev) NatRev(Nat): Nat { [INFO] [stdout] | | ^^^ will not be checked at usage sites of the type alias [INFO] [stdout] ... | [INFO] [stdout] 354 | | } [INFO] [stdout] | |_- help: remove this bound [INFO] [stdout] | [INFO] [stdout] = note: this is a known limitation of the type checker that may be lifted in a future edition. [INFO] [stdout] see issue #112792 for more information [INFO] [stdout] = help: add `#![feature(lazy_type_alias)]` to the crate attributes to enable the desired semantics [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: bounds on generic parameters in type aliases are not enforced [INFO] [stdout] --> src/strong/ternary.rs:268:34 [INFO] [stdout] | [INFO] [stdout] 268 | (RevInternal) NatRevInternal(Nat, Nat): Nat { [INFO] [stdout] | ^^^ ^^^ will not be checked at usage sites of the type alias [INFO] [stdout] | [INFO] [stdout] = note: this is a known limitation of the type checker that may be lifted in a future edition. [INFO] [stdout] see issue #112792 for more information [INFO] [stdout] = help: add `#![feature(lazy_type_alias)]` to the crate attributes to enable the desired semantics [INFO] [stdout] help: remove these bounds [INFO] [stdout] --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/type-operators-0.3.5/src/lib.rs:743:114 [INFO] [stdout] | [INFO] [stdout] 743 ~ _tlsm_machine!(@cont [$($docs)*] $attrs $alias $machine [$($gensyms),*] [$($kinds)+] [$($accum)* ($gensym $kind)] $out); [INFO] [stdout] 744 | }; [INFO] [stdout] ... [INFO] [stdout] 751 | (@cont $docs:tt $attrs:tt $alias:ident $machine:ident [$gensym:ident $(, $gensyms:ident)*] [$kind:tt] [$($accum:tt)*] $out:tt) => { [INFO] [stdout] 752 ~ _tlsm_machine!(@cont $docs $attrs $alias $machine [$($gensyms),*] [] [$($accum)* ($gensym $kind)] $out); [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: bounds on generic parameters in type aliases are not enforced [INFO] [stdout] --> src/strong/ternary.rs:281:18 [INFO] [stdout] | [INFO] [stdout] 281 | (Div) NatDiv(Nat, Nat): Nat { [INFO] [stdout] | ^^^ ^^^ will not be checked at usage sites of the type alias [INFO] [stdout] | [INFO] [stdout] = note: this is a known limitation of the type checker that may be lifted in a future edition. [INFO] [stdout] see issue #112792 for more information [INFO] [stdout] = help: add `#![feature(lazy_type_alias)]` to the crate attributes to enable the desired semantics [INFO] [stdout] help: remove these bounds [INFO] [stdout] --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/type-operators-0.3.5/src/lib.rs:743:114 [INFO] [stdout] | [INFO] [stdout] 743 ~ _tlsm_machine!(@cont [$($docs)*] $attrs $alias $machine [$($gensyms),*] [$($kinds)+] [$($accum)* ($gensym $kind)] $out); [INFO] [stdout] 744 | }; [INFO] [stdout] ... [INFO] [stdout] 751 | (@cont $docs:tt $attrs:tt $alias:ident $machine:ident [$gensym:ident $(, $gensyms:ident)*] [$kind:tt] [$($accum:tt)*] $out:tt) => { [INFO] [stdout] 752 ~ _tlsm_machine!(@cont $docs $attrs $alias $machine [$($gensyms),*] [] [$($accum)* ($gensym $kind)] $out); [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: bounds on generic parameters in type aliases are not enforced [INFO] [stdout] --> src/strong/ternary.rs:306:18 [INFO] [stdout] | [INFO] [stdout] 306 | (Rem) NatRem(Nat, Nat): Nat { [INFO] [stdout] | ^^^ ^^^ will not be checked at usage sites of the type alias [INFO] [stdout] | [INFO] [stdout] = note: this is a known limitation of the type checker that may be lifted in a future edition. [INFO] [stdout] see issue #112792 for more information [INFO] [stdout] = help: add `#![feature(lazy_type_alias)]` to the crate attributes to enable the desired semantics [INFO] [stdout] help: remove these bounds [INFO] [stdout] --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/type-operators-0.3.5/src/lib.rs:743:114 [INFO] [stdout] | [INFO] [stdout] 743 ~ _tlsm_machine!(@cont [$($docs)*] $attrs $alias $machine [$($gensyms),*] [$($kinds)+] [$($accum)* ($gensym $kind)] $out); [INFO] [stdout] 744 | }; [INFO] [stdout] ... [INFO] [stdout] 751 | (@cont $docs:tt $attrs:tt $alias:ident $machine:ident [$gensym:ident $(, $gensyms:ident)*] [$kind:tt] [$($accum:tt)*] $out:tt) => { [INFO] [stdout] 752 ~ _tlsm_machine!(@cont $docs $attrs $alias $machine [$($gensyms),*] [] [$($accum)* ($gensym $kind)] $out); [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: bounds on generic parameters in type aliases are not enforced [INFO] [stdout] --> src/strong/ternary.rs:329:34 [INFO] [stdout] | [INFO] [stdout] 329 | (DivInternal) NatDivInternal(Nat, Nat, NatPair): NatPair { [INFO] [stdout] | ^^^ ^^^ ^^^^^^^ will not be checked at usage sites of the type alias [INFO] [stdout] | [INFO] [stdout] = note: this is a known limitation of the type checker that may be lifted in a future edition. [INFO] [stdout] see issue #112792 for more information [INFO] [stdout] = help: add `#![feature(lazy_type_alias)]` to the crate attributes to enable the desired semantics [INFO] [stdout] help: remove these bounds [INFO] [stdout] --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/type-operators-0.3.5/src/lib.rs:743:114 [INFO] [stdout] | [INFO] [stdout] 743 ~ _tlsm_machine!(@cont [$($docs)*] $attrs $alias $machine [$($gensyms),*] [$($kinds)+] [$($accum)* ($gensym $kind)] $out); [INFO] [stdout] 744 | }; [INFO] [stdout] 745 | (@cont $docs:tt $attrs:tt $alias:ident $machine:ident [$gensym:ident $(, $gensyms:ident)*] [$kind:tt , $($kinds:tt)+] [$($accum:tt)*] $out:tt) => { [INFO] [stdout] 746 ~ _tlsm_machine!(@cont $docs $attrs $alias $machine [$($gensyms),*] [$($kinds)+] [$($accum)* ($gensym $kind)] $out); [INFO] [stdout] 747 | }; [INFO] [stdout] ... [INFO] [stdout] 751 | (@cont $docs:tt $attrs:tt $alias:ident $machine:ident [$gensym:ident $(, $gensyms:ident)*] [$kind:tt] [$($accum:tt)*] $out:tt) => { [INFO] [stdout] 752 ~ _tlsm_machine!(@cont $docs $attrs $alias $machine [$($gensyms),*] [] [$($accum)* ($gensym $kind)] $out); [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: bounds on generic parameters in type aliases are not enforced [INFO] [stdout] --> src/strong/balanced.rs:10:24 [INFO] [stdout] | [INFO] [stdout] 6 | / type_operators! { [INFO] [stdout] 7 | | [A, B, C, D, E, F, G, H] [INFO] [stdout] 8 | | [INFO] [stdout] 9 | | /// Project the first value in an `IntPair`. [INFO] [stdout] 10 | | (Int2First) Int2P1(IntPair): Int { [INFO] [stdout] | | ^^^^^^^ will not be checked at usage sites of the type alias [INFO] [stdout] ... | [INFO] [stdout] 374 | | } [INFO] [stdout] | |_- help: remove this bound [INFO] [stdout] | [INFO] [stdout] = note: this is a known limitation of the type checker that may be lifted in a future edition. [INFO] [stdout] see issue #112792 for more information [INFO] [stdout] = help: add `#![feature(lazy_type_alias)]` to the crate attributes to enable the desired semantics [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: bounds on generic parameters in type aliases are not enforced [INFO] [stdout] --> src/strong/balanced.rs:17:25 [INFO] [stdout] | [INFO] [stdout] 6 | / type_operators! { [INFO] [stdout] 7 | | [A, B, C, D, E, F, G, H] [INFO] [stdout] 8 | | [INFO] [stdout] 9 | | /// Project the first value in an `IntPair`. [INFO] [stdout] ... | [INFO] [stdout] 17 | | (Int2Second) Int2P2(IntPair): Int { [INFO] [stdout] | | ^^^^^^^ will not be checked at usage sites of the type alias [INFO] [stdout] ... | [INFO] [stdout] 374 | | } [INFO] [stdout] | |_- help: remove this bound [INFO] [stdout] | [INFO] [stdout] = note: this is a known limitation of the type checker that may be lifted in a future edition. [INFO] [stdout] see issue #112792 for more information [INFO] [stdout] = help: add `#![feature(lazy_type_alias)]` to the crate attributes to enable the desired semantics [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: bounds on generic parameters in type aliases are not enforced [INFO] [stdout] --> src/strong/balanced.rs:24:20 [INFO] [stdout] | [INFO] [stdout] 6 | / type_operators! { [INFO] [stdout] 7 | | [A, B, C, D, E, F, G, H] [INFO] [stdout] 8 | | [INFO] [stdout] 9 | | /// Project the first value in an `IntPair`. [INFO] [stdout] ... | [INFO] [stdout] 24 | | (Succ) IntSucc(Int): Int { [INFO] [stdout] | | ^^^ will not be checked at usage sites of the type alias [INFO] [stdout] ... | [INFO] [stdout] 374 | | } [INFO] [stdout] | |_- help: remove this bound [INFO] [stdout] | [INFO] [stdout] = note: this is a known limitation of the type checker that may be lifted in a future edition. [INFO] [stdout] see issue #112792 for more information [INFO] [stdout] = help: add `#![feature(lazy_type_alias)]` to the crate attributes to enable the desired semantics [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: bounds on generic parameters in type aliases are not enforced [INFO] [stdout] --> src/strong/balanced.rs:35:20 [INFO] [stdout] | [INFO] [stdout] 6 | / type_operators! { [INFO] [stdout] 7 | | [A, B, C, D, E, F, G, H] [INFO] [stdout] 8 | | [INFO] [stdout] 9 | | /// Project the first value in an `IntPair`. [INFO] [stdout] ... | [INFO] [stdout] 35 | | (Pred) IntPred(Int): Int { [INFO] [stdout] | | ^^^ will not be checked at usage sites of the type alias [INFO] [stdout] ... | [INFO] [stdout] 374 | | } [INFO] [stdout] | |_- help: remove this bound [INFO] [stdout] | [INFO] [stdout] = note: this is a known limitation of the type checker that may be lifted in a future edition. [INFO] [stdout] see issue #112792 for more information [INFO] [stdout] = help: add `#![feature(lazy_type_alias)]` to the crate attributes to enable the desired semantics [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: bounds on generic parameters in type aliases are not enforced [INFO] [stdout] --> src/strong/balanced.rs:49:24 [INFO] [stdout] | [INFO] [stdout] 6 | / type_operators! { [INFO] [stdout] 7 | | [A, B, C, D, E, F, G, H] [INFO] [stdout] 8 | | [INFO] [stdout] 9 | | /// Project the first value in an `IntPair`. [INFO] [stdout] ... | [INFO] [stdout] 49 | | (Triple) IntTriple(Int): Int { [INFO] [stdout] | | ^^^ will not be checked at usage sites of the type alias [INFO] [stdout] ... | [INFO] [stdout] 374 | | } [INFO] [stdout] | |_- help: remove this bound [INFO] [stdout] | [INFO] [stdout] = note: this is a known limitation of the type checker that may be lifted in a future edition. [INFO] [stdout] see issue #112792 for more information [INFO] [stdout] = help: add `#![feature(lazy_type_alias)]` to the crate attributes to enable the desired semantics [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: bounds on generic parameters in type aliases are not enforced [INFO] [stdout] --> src/strong/balanced.rs:62:24 [INFO] [stdout] | [INFO] [stdout] 6 | / type_operators! { [INFO] [stdout] 7 | | [A, B, C, D, E, F, G, H] [INFO] [stdout] 8 | | [INFO] [stdout] 9 | | /// Project the first value in an `IntPair`. [INFO] [stdout] ... | [INFO] [stdout] 62 | | (IntUnique) Unique(Int): Int { [INFO] [stdout] | | ^^^ will not be checked at usage sites of the type alias [INFO] [stdout] ... | [INFO] [stdout] 374 | | } [INFO] [stdout] | |_- help: remove this bound [INFO] [stdout] | [INFO] [stdout] = note: this is a known limitation of the type checker that may be lifted in a future edition. [INFO] [stdout] see issue #112792 for more information [INFO] [stdout] = help: add `#![feature(lazy_type_alias)]` to the crate attributes to enable the desired semantics [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: bounds on generic parameters in type aliases are not enforced [INFO] [stdout] --> src/strong/balanced.rs:80:18 [INFO] [stdout] | [INFO] [stdout] 6 | / type_operators! { [INFO] [stdout] 7 | | [A, B, C, D, E, F, G, H] [INFO] [stdout] 8 | | [INFO] [stdout] 9 | | /// Project the first value in an `IntPair`. [INFO] [stdout] ... | [INFO] [stdout] 80 | | (Neg) IntNeg(Int): Int { [INFO] [stdout] | | ^^^ will not be checked at usage sites of the type alias [INFO] [stdout] ... | [INFO] [stdout] 374 | | } [INFO] [stdout] | |_- help: remove this bound [INFO] [stdout] | [INFO] [stdout] = note: this is a known limitation of the type checker that may be lifted in a future edition. [INFO] [stdout] see issue #112792 for more information [INFO] [stdout] = help: add `#![feature(lazy_type_alias)]` to the crate attributes to enable the desired semantics [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: bounds on generic parameters in type aliases are not enforced [INFO] [stdout] --> src/strong/balanced.rs:94:18 [INFO] [stdout] | [INFO] [stdout] 94 | (Add) IntAdd(Int, Int): Int { [INFO] [stdout] | ^^^ ^^^ will not be checked at usage sites of the type alias [INFO] [stdout] | [INFO] [stdout] = note: this is a known limitation of the type checker that may be lifted in a future edition. [INFO] [stdout] see issue #112792 for more information [INFO] [stdout] = help: add `#![feature(lazy_type_alias)]` to the crate attributes to enable the desired semantics [INFO] [stdout] help: remove these bounds [INFO] [stdout] --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/type-operators-0.3.5/src/lib.rs:743:114 [INFO] [stdout] | [INFO] [stdout] 743~ _tlsm_machine!(@cont [$($docs)*] $attrs $alias $machine [$($gensyms),*] [$($kinds)+] [$($accum)* ($gensym $kind)] $out); [INFO] [stdout] 744| }; [INFO] [stdout] ... [INFO] [stdout] 751| (@cont $docs:tt $attrs:tt $alias:ident $machine:ident [$gensym:ident $(, $gensyms:ident)*] [$kind:tt] [$($accum:tt)*] $out:tt) => { [INFO] [stdout] 752~ _tlsm_machine!(@cont $docs $attrs $alias $machine [$($gensyms),*] [] [$($accum)* ($gensym $kind)] $out); [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: bounds on generic parameters in type aliases are not enforced [INFO] [stdout] --> src/strong/balanced.rs:127:18 [INFO] [stdout] | [INFO] [stdout] 127 | (Sub) IntSub(Int, Int): Int { [INFO] [stdout] | ^^^ ^^^ will not be checked at usage sites of the type alias [INFO] [stdout] | [INFO] [stdout] = note: this is a known limitation of the type checker that may be lifted in a future edition. [INFO] [stdout] see issue #112792 for more information [INFO] [stdout] = help: add `#![feature(lazy_type_alias)]` to the crate attributes to enable the desired semantics [INFO] [stdout] help: remove these bounds [INFO] [stdout] --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/type-operators-0.3.5/src/lib.rs:743:114 [INFO] [stdout] | [INFO] [stdout] 743 ~ _tlsm_machine!(@cont [$($docs)*] $attrs $alias $machine [$($gensyms),*] [$($kinds)+] [$($accum)* ($gensym $kind)] $out); [INFO] [stdout] 744 | }; [INFO] [stdout] ... [INFO] [stdout] 751 | (@cont $docs:tt $attrs:tt $alias:ident $machine:ident [$gensym:ident $(, $gensyms:ident)*] [$kind:tt] [$($accum:tt)*] $out:tt) => { [INFO] [stdout] 752 ~ _tlsm_machine!(@cont $docs $attrs $alias $machine [$($gensyms),*] [] [$($accum)* ($gensym $kind)] $out); [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: bounds on generic parameters in type aliases are not enforced [INFO] [stdout] --> src/strong/balanced.rs:160:18 [INFO] [stdout] | [INFO] [stdout] 160 | (Mul) IntMul(Int, Int): Int { [INFO] [stdout] | ^^^ ^^^ will not be checked at usage sites of the type alias [INFO] [stdout] | [INFO] [stdout] = note: this is a known limitation of the type checker that may be lifted in a future edition. [INFO] [stdout] see issue #112792 for more information [INFO] [stdout] = help: add `#![feature(lazy_type_alias)]` to the crate attributes to enable the desired semantics [INFO] [stdout] help: remove these bounds [INFO] [stdout] --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/type-operators-0.3.5/src/lib.rs:743:114 [INFO] [stdout] | [INFO] [stdout] 743 ~ _tlsm_machine!(@cont [$($docs)*] $attrs $alias $machine [$($gensyms),*] [$($kinds)+] [$($accum)* ($gensym $kind)] $out); [INFO] [stdout] 744 | }; [INFO] [stdout] ... [INFO] [stdout] 751 | (@cont $docs:tt $attrs:tt $alias:ident $machine:ident [$gensym:ident $(, $gensyms:ident)*] [$kind:tt] [$($accum:tt)*] $out:tt) => { [INFO] [stdout] 752 ~ _tlsm_machine!(@cont $docs $attrs $alias $machine [$($gensyms),*] [] [$($accum)* ($gensym $kind)] $out); [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: bounds on generic parameters in type aliases are not enforced [INFO] [stdout] --> src/strong/balanced.rs:196:18 [INFO] [stdout] | [INFO] [stdout] 196 | (Cmp) IntCmp(Int, Int, Int, Int, Int): Int { [INFO] [stdout] | ^^^ ^^^ ^^^ ^^^ ^^^ will not be checked at usage sites of the type alias [INFO] [stdout] | [INFO] [stdout] = note: this is a known limitation of the type checker that may be lifted in a future edition. [INFO] [stdout] see issue #112792 for more information [INFO] [stdout] = help: add `#![feature(lazy_type_alias)]` to the crate attributes to enable the desired semantics [INFO] [stdout] help: remove these bounds [INFO] [stdout] --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/type-operators-0.3.5/src/lib.rs:743:114 [INFO] [stdout] | [INFO] [stdout] 743 ~ _tlsm_machine!(@cont [$($docs)*] $attrs $alias $machine [$($gensyms),*] [$($kinds)+] [$($accum)* ($gensym $kind)] $out); [INFO] [stdout] 744 | }; [INFO] [stdout] 745 | (@cont $docs:tt $attrs:tt $alias:ident $machine:ident [$gensym:ident $(, $gensyms:ident)*] [$kind:tt , $($kinds:tt)+] [$($accum:tt)*] $out:tt) => { [INFO] [stdout] 746 ~ _tlsm_machine!(@cont $docs $attrs $alias $machine [$($gensyms),*] [$($kinds)+] [$($accum)* ($gensym $kind)] $out); [INFO] [stdout] 747 | }; [INFO] [stdout] ... [INFO] [stdout] 751 | (@cont $docs:tt $attrs:tt $alias:ident $machine:ident [$gensym:ident $(, $gensyms:ident)*] [$kind:tt] [$($accum:tt)*] $out:tt) => { [INFO] [stdout] 752 ~ _tlsm_machine!(@cont $docs $attrs $alias $machine [$($gensyms),*] [] [$($accum)* ($gensym $kind)] $out); [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: bounds on generic parameters in type aliases are not enforced [INFO] [stdout] --> src/strong/balanced.rs:223:20 [INFO] [stdout] | [INFO] [stdout] 223 | (Cmp2) IntCmp2(Int, Int, IntPair, IntPair, IntPair): IntPair { [INFO] [stdout] | ^^^ ^^^ ^^^^^^^ ^^^^^^^ ^^^^^^^ will not be checked at usage sites of the type alias [INFO] [stdout] | [INFO] [stdout] = note: this is a known limitation of the type checker that may be lifted in a future edition. [INFO] [stdout] see issue #112792 for more information [INFO] [stdout] = help: add `#![feature(lazy_type_alias)]` to the crate attributes to enable the desired semantics [INFO] [stdout] help: remove these bounds [INFO] [stdout] --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/type-operators-0.3.5/src/lib.rs:743:114 [INFO] [stdout] | [INFO] [stdout] 743 ~ _tlsm_machine!(@cont [$($docs)*] $attrs $alias $machine [$($gensyms),*] [$($kinds)+] [$($accum)* ($gensym $kind)] $out); [INFO] [stdout] 744 | }; [INFO] [stdout] 745 | (@cont $docs:tt $attrs:tt $alias:ident $machine:ident [$gensym:ident $(, $gensyms:ident)*] [$kind:tt , $($kinds:tt)+] [$($accum:tt)*] $out:tt) => { [INFO] [stdout] 746 ~ _tlsm_machine!(@cont $docs $attrs $alias $machine [$($gensyms),*] [$($kinds)+] [$($accum)* ($gensym $kind)] $out); [INFO] [stdout] 747 | }; [INFO] [stdout] ... [INFO] [stdout] 751 | (@cont $docs:tt $attrs:tt $alias:ident $machine:ident [$gensym:ident $(, $gensyms:ident)*] [$kind:tt] [$($accum:tt)*] $out:tt) => { [INFO] [stdout] 752 ~ _tlsm_machine!(@cont $docs $attrs $alias $machine [$($gensyms),*] [] [$($accum)* ($gensym $kind)] $out); [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: bounds on generic parameters in type aliases are not enforced [INFO] [stdout] --> src/strong/balanced.rs:248:24 [INFO] [stdout] | [INFO] [stdout] 248 | (LteCmp) IntLteCmp(Int, Int, Int, Int): Int { [INFO] [stdout] | ^^^ ^^^ ^^^ ^^^ will not be checked at usage sites of the type alias [INFO] [stdout] | [INFO] [stdout] = note: this is a known limitation of the type checker that may be lifted in a future edition. [INFO] [stdout] see issue #112792 for more information [INFO] [stdout] = help: add `#![feature(lazy_type_alias)]` to the crate attributes to enable the desired semantics [INFO] [stdout] help: remove these bounds [INFO] [stdout] --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/type-operators-0.3.5/src/lib.rs:743:114 [INFO] [stdout] | [INFO] [stdout] 743 ~ _tlsm_machine!(@cont [$($docs)*] $attrs $alias $machine [$($gensyms),*] [$($kinds)+] [$($accum)* ($gensym $kind)] $out); [INFO] [stdout] 744 | }; [INFO] [stdout] 745 | (@cont $docs:tt $attrs:tt $alias:ident $machine:ident [$gensym:ident $(, $gensyms:ident)*] [$kind:tt , $($kinds:tt)+] [$($accum:tt)*] $out:tt) => { [INFO] [stdout] 746 ~ _tlsm_machine!(@cont $docs $attrs $alias $machine [$($gensyms),*] [$($kinds)+] [$($accum)* ($gensym $kind)] $out); [INFO] [stdout] 747 | }; [INFO] [stdout] ... [INFO] [stdout] 751 | (@cont $docs:tt $attrs:tt $alias:ident $machine:ident [$gensym:ident $(, $gensyms:ident)*] [$kind:tt] [$($accum:tt)*] $out:tt) => { [INFO] [stdout] 752 ~ _tlsm_machine!(@cont $docs $attrs $alias $machine [$($gensyms),*] [] [$($accum)* ($gensym $kind)] $out); [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: bounds on generic parameters in type aliases are not enforced [INFO] [stdout] --> src/strong/balanced.rs:254:26 [INFO] [stdout] | [INFO] [stdout] 254 | (LteCmp2) IntLteCmp2(Int, Int, IntPair, IntPair): IntPair { [INFO] [stdout] | ^^^ ^^^ ^^^^^^^ ^^^^^^^ will not be checked at usage sites of the type alias [INFO] [stdout] | [INFO] [stdout] = note: this is a known limitation of the type checker that may be lifted in a future edition. [INFO] [stdout] see issue #112792 for more information [INFO] [stdout] = help: add `#![feature(lazy_type_alias)]` to the crate attributes to enable the desired semantics [INFO] [stdout] help: remove these bounds [INFO] [stdout] --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/type-operators-0.3.5/src/lib.rs:743:114 [INFO] [stdout] | [INFO] [stdout] 743 ~ _tlsm_machine!(@cont [$($docs)*] $attrs $alias $machine [$($gensyms),*] [$($kinds)+] [$($accum)* ($gensym $kind)] $out); [INFO] [stdout] 744 | }; [INFO] [stdout] 745 | (@cont $docs:tt $attrs:tt $alias:ident $machine:ident [$gensym:ident $(, $gensyms:ident)*] [$kind:tt , $($kinds:tt)+] [$($accum:tt)*] $out:tt) => { [INFO] [stdout] 746 ~ _tlsm_machine!(@cont $docs $attrs $alias $machine [$($gensyms),*] [$($kinds)+] [$($accum)* ($gensym $kind)] $out); [INFO] [stdout] 747 | }; [INFO] [stdout] ... [INFO] [stdout] 751 | (@cont $docs:tt $attrs:tt $alias:ident $machine:ident [$gensym:ident $(, $gensyms:ident)*] [$kind:tt] [$($accum:tt)*] $out:tt) => { [INFO] [stdout] 752 ~ _tlsm_machine!(@cont $docs $attrs $alias $machine [$($gensyms),*] [] [$($accum)* ($gensym $kind)] $out); [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: bounds on generic parameters in type aliases are not enforced [INFO] [stdout] --> src/strong/balanced.rs:261:18 [INFO] [stdout] | [INFO] [stdout] 6 | / type_operators! { [INFO] [stdout] 7 | | [A, B, C, D, E, F, G, H] [INFO] [stdout] 8 | | [INFO] [stdout] 9 | | /// Project the first value in an `IntPair`. [INFO] [stdout] ... | [INFO] [stdout] 261 | | (Abs) IntAbs(Int): Int { [INFO] [stdout] | | ^^^ will not be checked at usage sites of the type alias [INFO] [stdout] ... | [INFO] [stdout] 374 | | } [INFO] [stdout] | |_- help: remove this bound [INFO] [stdout] | [INFO] [stdout] = note: this is a known limitation of the type checker that may be lifted in a future edition. [INFO] [stdout] see issue #112792 for more information [INFO] [stdout] = help: add `#![feature(lazy_type_alias)]` to the crate attributes to enable the desired semantics [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: bounds on generic parameters in type aliases are not enforced [INFO] [stdout] --> src/strong/balanced.rs:273:40 [INFO] [stdout] | [INFO] [stdout] 273 | (AbsMinThreeCmp) IntAbsMinThreeCmp(Int, Int, Int, Int, Int, Int): IntPair { [INFO] [stdout] | ^^^ ^^^ ^^^ ^^^ ^^^ ^^^ will not be checked at usage sites of the type alias [INFO] [stdout] | [INFO] [stdout] = note: this is a known limitation of the type checker that may be lifted in a future edition. [INFO] [stdout] see issue #112792 for more information [INFO] [stdout] = help: add `#![feature(lazy_type_alias)]` to the crate attributes to enable the desired semantics [INFO] [stdout] help: remove these bounds [INFO] [stdout] --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/type-operators-0.3.5/src/lib.rs:743:114 [INFO] [stdout] | [INFO] [stdout] 743 ~ _tlsm_machine!(@cont [$($docs)*] $attrs $alias $machine [$($gensyms),*] [$($kinds)+] [$($accum)* ($gensym $kind)] $out); [INFO] [stdout] 744 | }; [INFO] [stdout] 745 | (@cont $docs:tt $attrs:tt $alias:ident $machine:ident [$gensym:ident $(, $gensyms:ident)*] [$kind:tt , $($kinds:tt)+] [$($accum:tt)*] $out:tt) => { [INFO] [stdout] 746 ~ _tlsm_machine!(@cont $docs $attrs $alias $machine [$($gensyms),*] [$($kinds)+] [$($accum)* ($gensym $kind)] $out); [INFO] [stdout] 747 | }; [INFO] [stdout] ... [INFO] [stdout] 751 | (@cont $docs:tt $attrs:tt $alias:ident $machine:ident [$gensym:ident $(, $gensyms:ident)*] [$kind:tt] [$($accum:tt)*] $out:tt) => { [INFO] [stdout] 752 ~ _tlsm_machine!(@cont $docs $attrs $alias $machine [$($gensyms),*] [] [$($accum)* ($gensym $kind)] $out); [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: bounds on generic parameters in type aliases are not enforced [INFO] [stdout] --> src/strong/balanced.rs:284:18 [INFO] [stdout] | [INFO] [stdout] 6 | / type_operators! { [INFO] [stdout] 7 | | [A, B, C, D, E, F, G, H] [INFO] [stdout] 8 | | [INFO] [stdout] 9 | | /// Project the first value in an `IntPair`. [INFO] [stdout] ... | [INFO] [stdout] 284 | | (Rev) IntRev(Int): Int { [INFO] [stdout] | | ^^^ will not be checked at usage sites of the type alias [INFO] [stdout] ... | [INFO] [stdout] 374 | | } [INFO] [stdout] | |_- help: remove this bound [INFO] [stdout] | [INFO] [stdout] = note: this is a known limitation of the type checker that may be lifted in a future edition. [INFO] [stdout] see issue #112792 for more information [INFO] [stdout] = help: add `#![feature(lazy_type_alias)]` to the crate attributes to enable the desired semantics [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: bounds on generic parameters in type aliases are not enforced [INFO] [stdout] --> src/strong/balanced.rs:290:34 [INFO] [stdout] | [INFO] [stdout] 290 | (RevInternal) IntRevInternal(Int, Int): Int { [INFO] [stdout] | ^^^ ^^^ will not be checked at usage sites of the type alias [INFO] [stdout] | [INFO] [stdout] = note: this is a known limitation of the type checker that may be lifted in a future edition. [INFO] [stdout] see issue #112792 for more information [INFO] [stdout] = help: add `#![feature(lazy_type_alias)]` to the crate attributes to enable the desired semantics [INFO] [stdout] help: remove these bounds [INFO] [stdout] --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/type-operators-0.3.5/src/lib.rs:743:114 [INFO] [stdout] | [INFO] [stdout] 743 ~ _tlsm_machine!(@cont [$($docs)*] $attrs $alias $machine [$($gensyms),*] [$($kinds)+] [$($accum)* ($gensym $kind)] $out); [INFO] [stdout] 744 | }; [INFO] [stdout] ... [INFO] [stdout] 751 | (@cont $docs:tt $attrs:tt $alias:ident $machine:ident [$gensym:ident $(, $gensyms:ident)*] [$kind:tt] [$($accum:tt)*] $out:tt) => { [INFO] [stdout] 752 ~ _tlsm_machine!(@cont $docs $attrs $alias $machine [$($gensyms),*] [] [$($accum)* ($gensym $kind)] $out); [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: bounds on generic parameters in type aliases are not enforced [INFO] [stdout] --> src/strong/balanced.rs:302:18 [INFO] [stdout] | [INFO] [stdout] 302 | (Div) IntDiv(Int, Int): Int { [INFO] [stdout] | ^^^ ^^^ will not be checked at usage sites of the type alias [INFO] [stdout] | [INFO] [stdout] = note: this is a known limitation of the type checker that may be lifted in a future edition. [INFO] [stdout] see issue #112792 for more information [INFO] [stdout] = help: add `#![feature(lazy_type_alias)]` to the crate attributes to enable the desired semantics [INFO] [stdout] help: remove these bounds [INFO] [stdout] --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/type-operators-0.3.5/src/lib.rs:743:114 [INFO] [stdout] | [INFO] [stdout] 743 ~ _tlsm_machine!(@cont [$($docs)*] $attrs $alias $machine [$($gensyms),*] [$($kinds)+] [$($accum)* ($gensym $kind)] $out); [INFO] [stdout] 744 | }; [INFO] [stdout] ... [INFO] [stdout] 751 | (@cont $docs:tt $attrs:tt $alias:ident $machine:ident [$gensym:ident $(, $gensyms:ident)*] [$kind:tt] [$($accum:tt)*] $out:tt) => { [INFO] [stdout] 752 ~ _tlsm_machine!(@cont $docs $attrs $alias $machine [$($gensyms),*] [] [$($accum)* ($gensym $kind)] $out); [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: bounds on generic parameters in type aliases are not enforced [INFO] [stdout] --> src/strong/balanced.rs:326:18 [INFO] [stdout] | [INFO] [stdout] 326 | (Rem) IntRem(Int, Int): Int { [INFO] [stdout] | ^^^ ^^^ will not be checked at usage sites of the type alias [INFO] [stdout] | [INFO] [stdout] = note: this is a known limitation of the type checker that may be lifted in a future edition. [INFO] [stdout] see issue #112792 for more information [INFO] [stdout] = help: add `#![feature(lazy_type_alias)]` to the crate attributes to enable the desired semantics [INFO] [stdout] help: remove these bounds [INFO] [stdout] --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/type-operators-0.3.5/src/lib.rs:743:114 [INFO] [stdout] | [INFO] [stdout] 743 ~ _tlsm_machine!(@cont [$($docs)*] $attrs $alias $machine [$($gensyms),*] [$($kinds)+] [$($accum)* ($gensym $kind)] $out); [INFO] [stdout] 744 | }; [INFO] [stdout] ... [INFO] [stdout] 751 | (@cont $docs:tt $attrs:tt $alias:ident $machine:ident [$gensym:ident $(, $gensyms:ident)*] [$kind:tt] [$($accum:tt)*] $out:tt) => { [INFO] [stdout] 752 ~ _tlsm_machine!(@cont $docs $attrs $alias $machine [$($gensyms),*] [] [$($accum)* ($gensym $kind)] $out); [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: bounds on generic parameters in type aliases are not enforced [INFO] [stdout] --> src/strong/balanced.rs:349:34 [INFO] [stdout] | [INFO] [stdout] 349 | (DivInternal) IntDivInternal(Int, Int, IntPair): IntPair { [INFO] [stdout] | ^^^ ^^^ ^^^^^^^ will not be checked at usage sites of the type alias [INFO] [stdout] | [INFO] [stdout] = note: this is a known limitation of the type checker that may be lifted in a future edition. [INFO] [stdout] see issue #112792 for more information [INFO] [stdout] = help: add `#![feature(lazy_type_alias)]` to the crate attributes to enable the desired semantics [INFO] [stdout] help: remove these bounds [INFO] [stdout] --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/type-operators-0.3.5/src/lib.rs:743:114 [INFO] [stdout] | [INFO] [stdout] 743 ~ _tlsm_machine!(@cont [$($docs)*] $attrs $alias $machine [$($gensyms),*] [$($kinds)+] [$($accum)* ($gensym $kind)] $out); [INFO] [stdout] 744 | }; [INFO] [stdout] 745 | (@cont $docs:tt $attrs:tt $alias:ident $machine:ident [$gensym:ident $(, $gensyms:ident)*] [$kind:tt , $($kinds:tt)+] [$($accum:tt)*] $out:tt) => { [INFO] [stdout] 746 ~ _tlsm_machine!(@cont $docs $attrs $alias $machine [$($gensyms),*] [$($kinds)+] [$($accum)* ($gensym $kind)] $out); [INFO] [stdout] 747 | }; [INFO] [stdout] ... [INFO] [stdout] 751 | (@cont $docs:tt $attrs:tt $alias:ident $machine:ident [$gensym:ident $(, $gensyms:ident)*] [$kind:tt] [$($accum:tt)*] $out:tt) => { [INFO] [stdout] 752 ~ _tlsm_machine!(@cont $docs $attrs $alias $machine [$($gensyms),*] [] [$($accum)* ($gensym $kind)] $out); [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: bounds on generic parameters in type aliases are not enforced [INFO] [stdout] --> src/strong/boolean.rs:9:19 [INFO] [stdout] | [INFO] [stdout] 9 | (And) BoolAnd(Bool, Bool): Bool { [INFO] [stdout] | ^^^^ ^^^^ will not be checked at usage sites of the type alias [INFO] [stdout] | [INFO] [stdout] = note: this is a known limitation of the type checker that may be lifted in a future edition. [INFO] [stdout] see issue #112792 for more information [INFO] [stdout] = help: add `#![feature(lazy_type_alias)]` to the crate attributes to enable the desired semantics [INFO] [stdout] = note: `#[warn(type_alias_bounds)]` on by default [INFO] [stdout] help: remove these bounds [INFO] [stdout] --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/type-operators-0.3.5/src/lib.rs:743:114 [INFO] [stdout] | [INFO] [stdout] 74~ _tlsm_machine!(@cont [$($docs)*] $attrs $alias $machine [$($gensyms),*] [$($kinds)+] [$($accum)* ($gensym $kind)] $out); [INFO] [stdout] 74| }; [INFO] [stdout] ... [INFO] [stdout] 75| (@cont $docs:tt $attrs:tt $alias:ident $machine:ident [$gensym:ident $(, $gensyms:ident)*] [$kind:tt] [$($accum:tt)*] $out:tt) => { [INFO] [stdout] 75~ _tlsm_machine!(@cont $docs $attrs $alias $machine [$($gensyms),*] [] [$($accum)* ($gensym $kind)] $out); [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: bounds on generic parameters in type aliases are not enforced [INFO] [stdout] --> src/strong/boolean.rs:17:17 [INFO] [stdout] | [INFO] [stdout] 17 | (Or) BoolOr(Bool, Bool): Bool { [INFO] [stdout] | ^^^^ ^^^^ will not be checked at usage sites of the type alias [INFO] [stdout] | [INFO] [stdout] = note: this is a known limitation of the type checker that may be lifted in a future edition. [INFO] [stdout] see issue #112792 for more information [INFO] [stdout] = help: add `#![feature(lazy_type_alias)]` to the crate attributes to enable the desired semantics [INFO] [stdout] help: remove these bounds [INFO] [stdout] --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/type-operators-0.3.5/src/lib.rs:743:114 [INFO] [stdout] | [INFO] [stdout] 743~ _tlsm_machine!(@cont [$($docs)*] $attrs $alias $machine [$($gensyms),*] [$($kinds)+] [$($accum)* ($gensym $kind)] $out); [INFO] [stdout] 744| }; [INFO] [stdout] ... [INFO] [stdout] 751| (@cont $docs:tt $attrs:tt $alias:ident $machine:ident [$gensym:ident $(, $gensyms:ident)*] [$kind:tt] [$($accum:tt)*] $out:tt) => { [INFO] [stdout] 752~ _tlsm_machine!(@cont $docs $attrs $alias $machine [$($gensyms),*] [] [$($accum)* ($gensym $kind)] $out); [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: bounds on generic parameters in type aliases are not enforced [INFO] [stdout] --> src/strong/boolean.rs:26:25 [INFO] [stdout] | [INFO] [stdout] 26 | (IfThen) BoolIfThen(Bool, Bool): Bool { [INFO] [stdout] | ^^^^ ^^^^ will not be checked at usage sites of the type alias [INFO] [stdout] | [INFO] [stdout] = note: this is a known limitation of the type checker that may be lifted in a future edition. [INFO] [stdout] see issue #112792 for more information [INFO] [stdout] = help: add `#![feature(lazy_type_alias)]` to the crate attributes to enable the desired semantics [INFO] [stdout] help: remove these bounds [INFO] [stdout] --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/type-operators-0.3.5/src/lib.rs:743:114 [INFO] [stdout] | [INFO] [stdout] 743~ _tlsm_machine!(@cont [$($docs)*] $attrs $alias $machine [$($gensyms),*] [$($kinds)+] [$($accum)* ($gensym $kind)] $out); [INFO] [stdout] 744| }; [INFO] [stdout] ... [INFO] [stdout] 751| (@cont $docs:tt $attrs:tt $alias:ident $machine:ident [$gensym:ident $(, $gensyms:ident)*] [$kind:tt] [$($accum:tt)*] $out:tt) => { [INFO] [stdout] 752~ _tlsm_machine!(@cont $docs $attrs $alias $machine [$($gensyms),*] [] [$($accum)* ($gensym $kind)] $out); [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: bounds on generic parameters in type aliases are not enforced [INFO] [stdout] --> src/strong/boolean.rs:35:25 [INFO] [stdout] | [INFO] [stdout] 35 | (OnlyIf) BoolOnlyIf(Bool, Bool): Bool { [INFO] [stdout] | ^^^^ ^^^^ will not be checked at usage sites of the type alias [INFO] [stdout] | [INFO] [stdout] = note: this is a known limitation of the type checker that may be lifted in a future edition. [INFO] [stdout] see issue #112792 for more information [INFO] [stdout] = help: add `#![feature(lazy_type_alias)]` to the crate attributes to enable the desired semantics [INFO] [stdout] help: remove these bounds [INFO] [stdout] --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/type-operators-0.3.5/src/lib.rs:743:114 [INFO] [stdout] | [INFO] [stdout] 743~ _tlsm_machine!(@cont [$($docs)*] $attrs $alias $machine [$($gensyms),*] [$($kinds)+] [$($accum)* ($gensym $kind)] $out); [INFO] [stdout] 744| }; [INFO] [stdout] ... [INFO] [stdout] 751| (@cont $docs:tt $attrs:tt $alias:ident $machine:ident [$gensym:ident $(, $gensyms:ident)*] [$kind:tt] [$($accum:tt)*] $out:tt) => { [INFO] [stdout] 752~ _tlsm_machine!(@cont $docs $attrs $alias $machine [$($gensyms),*] [] [$($accum)* ($gensym $kind)] $out); [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: bounds on generic parameters in type aliases are not enforced [INFO] [stdout] --> src/strong/boolean.rs:43:19 [INFO] [stdout] | [INFO] [stdout] 43 | (Xor) BoolXor(Bool, Bool): Bool { [INFO] [stdout] | ^^^^ ^^^^ will not be checked at usage sites of the type alias [INFO] [stdout] | [INFO] [stdout] = note: this is a known limitation of the type checker that may be lifted in a future edition. [INFO] [stdout] see issue #112792 for more information [INFO] [stdout] = help: add `#![feature(lazy_type_alias)]` to the crate attributes to enable the desired semantics [INFO] [stdout] help: remove these bounds [INFO] [stdout] --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/type-operators-0.3.5/src/lib.rs:743:114 [INFO] [stdout] | [INFO] [stdout] 743~ _tlsm_machine!(@cont [$($docs)*] $attrs $alias $machine [$($gensyms),*] [$($kinds)+] [$($accum)* ($gensym $kind)] $out); [INFO] [stdout] 744| }; [INFO] [stdout] ... [INFO] [stdout] 751| (@cont $docs:tt $attrs:tt $alias:ident $machine:ident [$gensym:ident $(, $gensyms:ident)*] [$kind:tt] [$($accum:tt)*] $out:tt) => { [INFO] [stdout] 752~ _tlsm_machine!(@cont $docs $attrs $alias $machine [$($gensyms),*] [] [$($accum)* ($gensym $kind)] $out); [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: bounds on generic parameters in type aliases are not enforced [INFO] [stdout] --> src/strong/ternary.rs:14:24 [INFO] [stdout] | [INFO] [stdout] 10 | / type_operators! { [INFO] [stdout] 11 | | [A, B, C, D, E, F, G, H] [INFO] [stdout] 12 | | [INFO] [stdout] 13 | | /// Project the first value in a `NatPair`. [INFO] [stdout] 14 | | (Nat2First) Nat2P1(NatPair): Nat { [INFO] [stdout] | | ^^^^^^^ will not be checked at usage sites of the type alias [INFO] [stdout] ... | [INFO] [stdout] 354 | | } [INFO] [stdout] | |_- help: remove this bound [INFO] [stdout] | [INFO] [stdout] = note: this is a known limitation of the type checker that may be lifted in a future edition. [INFO] [stdout] see issue #112792 for more information [INFO] [stdout] = help: add `#![feature(lazy_type_alias)]` to the crate attributes to enable the desired semantics [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: bounds on generic parameters in type aliases are not enforced [INFO] [stdout] --> src/strong/ternary.rs:21:25 [INFO] [stdout] | [INFO] [stdout] 10 | / type_operators! { [INFO] [stdout] 11 | | [A, B, C, D, E, F, G, H] [INFO] [stdout] 12 | | [INFO] [stdout] 13 | | /// Project the first value in a `NatPair`. [INFO] [stdout] ... | [INFO] [stdout] 21 | | (Nat2Second) Nat2P2(NatPair): Nat { [INFO] [stdout] | | ^^^^^^^ will not be checked at usage sites of the type alias [INFO] [stdout] ... | [INFO] [stdout] 354 | | } [INFO] [stdout] | |_- help: remove this bound [INFO] [stdout] | [INFO] [stdout] = note: this is a known limitation of the type checker that may be lifted in a future edition. [INFO] [stdout] see issue #112792 for more information [INFO] [stdout] = help: add `#![feature(lazy_type_alias)]` to the crate attributes to enable the desired semantics [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: bounds on generic parameters in type aliases are not enforced [INFO] [stdout] --> src/strong/ternary.rs:29:20 [INFO] [stdout] | [INFO] [stdout] 10 | / type_operators! { [INFO] [stdout] 11 | | [A, B, C, D, E, F, G, H] [INFO] [stdout] 12 | | [INFO] [stdout] 13 | | /// Project the first value in a `NatPair`. [INFO] [stdout] ... | [INFO] [stdout] 29 | | (Succ) NatSucc(Nat): Nat { [INFO] [stdout] | | ^^^ will not be checked at usage sites of the type alias [INFO] [stdout] ... | [INFO] [stdout] 354 | | } [INFO] [stdout] | |_- help: remove this bound [INFO] [stdout] | [INFO] [stdout] = note: this is a known limitation of the type checker that may be lifted in a future edition. [INFO] [stdout] see issue #112792 for more information [INFO] [stdout] = help: add `#![feature(lazy_type_alias)]` to the crate attributes to enable the desired semantics [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: bounds on generic parameters in type aliases are not enforced [INFO] [stdout] --> src/strong/ternary.rs:41:20 [INFO] [stdout] | [INFO] [stdout] 10 | / type_operators! { [INFO] [stdout] 11 | | [A, B, C, D, E, F, G, H] [INFO] [stdout] 12 | | [INFO] [stdout] 13 | | /// Project the first value in a `NatPair`. [INFO] [stdout] ... | [INFO] [stdout] 41 | | (Pred) NatPred(Nat): Nat { [INFO] [stdout] | | ^^^ will not be checked at usage sites of the type alias [INFO] [stdout] ... | [INFO] [stdout] 354 | | } [INFO] [stdout] | |_- help: remove this bound [INFO] [stdout] | [INFO] [stdout] = note: this is a known limitation of the type checker that may be lifted in a future edition. [INFO] [stdout] see issue #112792 for more information [INFO] [stdout] = help: add `#![feature(lazy_type_alias)]` to the crate attributes to enable the desired semantics [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: bounds on generic parameters in type aliases are not enforced [INFO] [stdout] --> src/strong/ternary.rs:53:32 [INFO] [stdout] | [INFO] [stdout] 10 | / type_operators! { [INFO] [stdout] 11 | | [A, B, C, D, E, F, G, H] [INFO] [stdout] 12 | | [INFO] [stdout] 13 | | /// Project the first value in a `NatPair`. [INFO] [stdout] ... | [INFO] [stdout] 53 | | (DoublePred) NatDoublePred(Nat): Nat { [INFO] [stdout] | | ^^^ will not be checked at usage sites of the type alias [INFO] [stdout] ... | [INFO] [stdout] 354 | | } [INFO] [stdout] | |_- help: remove this bound [INFO] [stdout] | [INFO] [stdout] = note: this is a known limitation of the type checker that may be lifted in a future edition. [INFO] [stdout] see issue #112792 for more information [INFO] [stdout] = help: add `#![feature(lazy_type_alias)]` to the crate attributes to enable the desired semantics [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: bounds on generic parameters in type aliases are not enforced [INFO] [stdout] --> src/strong/ternary.rs:68:24 [INFO] [stdout] | [INFO] [stdout] 10 | / type_operators! { [INFO] [stdout] 11 | | [A, B, C, D, E, F, G, H] [INFO] [stdout] 12 | | [INFO] [stdout] 13 | | /// Project the first value in a `NatPair`. [INFO] [stdout] ... | [INFO] [stdout] 68 | | (Triple) NatTriple(Nat): Nat { [INFO] [stdout] | | ^^^ will not be checked at usage sites of the type alias [INFO] [stdout] ... | [INFO] [stdout] 354 | | } [INFO] [stdout] | |_- help: remove this bound [INFO] [stdout] | [INFO] [stdout] = note: this is a known limitation of the type checker that may be lifted in a future edition. [INFO] [stdout] see issue #112792 for more information [INFO] [stdout] = help: add `#![feature(lazy_type_alias)]` to the crate attributes to enable the desired semantics [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: bounds on generic parameters in type aliases are not enforced [INFO] [stdout] --> src/strong/ternary.rs:81:24 [INFO] [stdout] | [INFO] [stdout] 10 | / type_operators! { [INFO] [stdout] 11 | | [A, B, C, D, E, F, G, H] [INFO] [stdout] 12 | | [INFO] [stdout] 13 | | /// Project the first value in a `NatPair`. [INFO] [stdout] ... | [INFO] [stdout] 81 | | (Unique) NatUnique(Nat): Nat { [INFO] [stdout] | | ^^^ will not be checked at usage sites of the type alias [INFO] [stdout] ... | [INFO] [stdout] 354 | | } [INFO] [stdout] | |_- help: remove this bound [INFO] [stdout] | [INFO] [stdout] = note: this is a known limitation of the type checker that may be lifted in a future edition. [INFO] [stdout] see issue #112792 for more information [INFO] [stdout] = help: add `#![feature(lazy_type_alias)]` to the crate attributes to enable the desired semantics [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: bounds on generic parameters in type aliases are not enforced [INFO] [stdout] --> src/strong/ternary.rs:95:18 [INFO] [stdout] | [INFO] [stdout] 95 | (Add) NatAdd(Nat, Nat): Nat { [INFO] [stdout] | ^^^ ^^^ will not be checked at usage sites of the type alias [INFO] [stdout] | [INFO] [stdout] = note: this is a known limitation of the type checker that may be lifted in a future edition. [INFO] [stdout] see issue #112792 for more information [INFO] [stdout] = help: add `#![feature(lazy_type_alias)]` to the crate attributes to enable the desired semantics [INFO] [stdout] help: remove these bounds [INFO] [stdout] --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/type-operators-0.3.5/src/lib.rs:743:114 [INFO] [stdout] | [INFO] [stdout] 743~ _tlsm_machine!(@cont [$($docs)*] $attrs $alias $machine [$($gensyms),*] [$($kinds)+] [$($accum)* ($gensym $kind)] $out); [INFO] [stdout] 744| }; [INFO] [stdout] ... [INFO] [stdout] 751| (@cont $docs:tt $attrs:tt $alias:ident $machine:ident [$gensym:ident $(, $gensyms:ident)*] [$kind:tt] [$($accum:tt)*] $out:tt) => { [INFO] [stdout] 752~ _tlsm_machine!(@cont $docs $attrs $alias $machine [$($gensyms),*] [] [$($accum)* ($gensym $kind)] $out); [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: bounds on generic parameters in type aliases are not enforced [INFO] [stdout] --> src/strong/ternary.rs:128:38 [INFO] [stdout] | [INFO] [stdout] 10 | / type_operators! { [INFO] [stdout] 11 | | [A, B, C, D, E, F, G, H] [INFO] [stdout] 12 | | [INFO] [stdout] 13 | | /// Project the first value in a `NatPair`. [INFO] [stdout] ... | [INFO] [stdout] 128 | | (TriplePlusOne) NatTriplePlusOne(Nat): Nat { [INFO] [stdout] | | ^^^ will not be checked at usage sites of the type alias [INFO] [stdout] ... | [INFO] [stdout] 354 | | } [INFO] [stdout] | |_- help: remove this bound [INFO] [stdout] | [INFO] [stdout] = note: this is a known limitation of the type checker that may be lifted in a future edition. [INFO] [stdout] see issue #112792 for more information [INFO] [stdout] = help: add `#![feature(lazy_type_alias)]` to the crate attributes to enable the desired semantics [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: bounds on generic parameters in type aliases are not enforced [INFO] [stdout] --> src/strong/ternary.rs:139:38 [INFO] [stdout] | [INFO] [stdout] 10 | / type_operators! { [INFO] [stdout] 11 | | [A, B, C, D, E, F, G, H] [INFO] [stdout] 12 | | [INFO] [stdout] 13 | | /// Project the first value in a `NatPair`. [INFO] [stdout] ... | [INFO] [stdout] 139 | | (TriplePlusTwo) NatTriplePlusTwo(Nat): Nat { [INFO] [stdout] | | ^^^ will not be checked at usage sites of the type alias [INFO] [stdout] ... | [INFO] [stdout] 354 | | } [INFO] [stdout] | |_- help: remove this bound [INFO] [stdout] | [INFO] [stdout] = note: this is a known limitation of the type checker that may be lifted in a future edition. [INFO] [stdout] see issue #112792 for more information [INFO] [stdout] = help: add `#![feature(lazy_type_alias)]` to the crate attributes to enable the desired semantics [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: bounds on generic parameters in type aliases are not enforced [INFO] [stdout] --> src/strong/ternary.rs:152:18 [INFO] [stdout] | [INFO] [stdout] 152 | (Sub) NatSub(Nat, Nat): Nat { [INFO] [stdout] | ^^^ ^^^ will not be checked at usage sites of the type alias [INFO] [stdout] | [INFO] [stdout] = note: this is a known limitation of the type checker that may be lifted in a future edition. [INFO] [stdout] see issue #112792 for more information [INFO] [stdout] = help: add `#![feature(lazy_type_alias)]` to the crate attributes to enable the desired semantics [INFO] [stdout] help: remove these bounds [INFO] [stdout] --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/type-operators-0.3.5/src/lib.rs:743:114 [INFO] [stdout] | [INFO] [stdout] 743 ~ _tlsm_machine!(@cont [$($docs)*] $attrs $alias $machine [$($gensyms),*] [$($kinds)+] [$($accum)* ($gensym $kind)] $out); [INFO] [stdout] 744 | }; [INFO] [stdout] ... [INFO] [stdout] 751 | (@cont $docs:tt $attrs:tt $alias:ident $machine:ident [$gensym:ident $(, $gensyms:ident)*] [$kind:tt] [$($accum:tt)*] $out:tt) => { [INFO] [stdout] 752 ~ _tlsm_machine!(@cont $docs $attrs $alias $machine [$($gensyms),*] [] [$($accum)* ($gensym $kind)] $out); [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: bounds on generic parameters in type aliases are not enforced [INFO] [stdout] --> src/strong/ternary.rs:185:18 [INFO] [stdout] | [INFO] [stdout] 185 | (Mul) NatMul(Nat, Nat): Nat { [INFO] [stdout] | ^^^ ^^^ will not be checked at usage sites of the type alias [INFO] [stdout] | [INFO] [stdout] = note: this is a known limitation of the type checker that may be lifted in a future edition. [INFO] [stdout] see issue #112792 for more information [INFO] [stdout] = help: add `#![feature(lazy_type_alias)]` to the crate attributes to enable the desired semantics [INFO] [stdout] help: remove these bounds [INFO] [stdout] --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/type-operators-0.3.5/src/lib.rs:743:114 [INFO] [stdout] | [INFO] [stdout] 743 ~ _tlsm_machine!(@cont [$($docs)*] $attrs $alias $machine [$($gensyms),*] [$($kinds)+] [$($accum)* ($gensym $kind)] $out); [INFO] [stdout] 744 | }; [INFO] [stdout] ... [INFO] [stdout] 751 | (@cont $docs:tt $attrs:tt $alias:ident $machine:ident [$gensym:ident $(, $gensyms:ident)*] [$kind:tt] [$($accum:tt)*] $out:tt) => { [INFO] [stdout] 752 ~ _tlsm_machine!(@cont $docs $attrs $alias $machine [$($gensyms),*] [] [$($accum)* ($gensym $kind)] $out); [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: bounds on generic parameters in type aliases are not enforced [INFO] [stdout] --> src/strong/ternary.rs:220:18 [INFO] [stdout] | [INFO] [stdout] 220 | (Cmp) NatCmp(Nat, Nat, Nat, Nat, Nat): Nat { [INFO] [stdout] | ^^^ ^^^ ^^^ ^^^ ^^^ will not be checked at usage sites of the type alias [INFO] [stdout] | [INFO] [stdout] = note: this is a known limitation of the type checker that may be lifted in a future edition. [INFO] [stdout] see issue #112792 for more information [INFO] [stdout] = help: add `#![feature(lazy_type_alias)]` to the crate attributes to enable the desired semantics [INFO] [stdout] help: remove these bounds [INFO] [stdout] --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/type-operators-0.3.5/src/lib.rs:743:114 [INFO] [stdout] | [INFO] [stdout] 743 ~ _tlsm_machine!(@cont [$($docs)*] $attrs $alias $machine [$($gensyms),*] [$($kinds)+] [$($accum)* ($gensym $kind)] $out); [INFO] [stdout] 744 | }; [INFO] [stdout] 745 | (@cont $docs:tt $attrs:tt $alias:ident $machine:ident [$gensym:ident $(, $gensyms:ident)*] [$kind:tt , $($kinds:tt)+] [$($accum:tt)*] $out:tt) => { [INFO] [stdout] 746 ~ _tlsm_machine!(@cont $docs $attrs $alias $machine [$($gensyms),*] [$($kinds)+] [$($accum)* ($gensym $kind)] $out); [INFO] [stdout] 747 | }; [INFO] [stdout] ... [INFO] [stdout] 751 | (@cont $docs:tt $attrs:tt $alias:ident $machine:ident [$gensym:ident $(, $gensyms:ident)*] [$kind:tt] [$($accum:tt)*] $out:tt) => { [INFO] [stdout] 752 ~ _tlsm_machine!(@cont $docs $attrs $alias $machine [$($gensyms),*] [] [$($accum)* ($gensym $kind)] $out); [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: bounds on generic parameters in type aliases are not enforced [INFO] [stdout] --> src/strong/ternary.rs:247:28 [INFO] [stdout] | [INFO] [stdout] 247 | (UndefOr2) NatUndefOr2(Nat, Nat, NatPair): NatPair { [INFO] [stdout] | ^^^ ^^^ ^^^^^^^ will not be checked at usage sites of the type alias [INFO] [stdout] | [INFO] [stdout] = note: this is a known limitation of the type checker that may be lifted in a future edition. [INFO] [stdout] see issue #112792 for more information [INFO] [stdout] = help: add `#![feature(lazy_type_alias)]` to the crate attributes to enable the desired semantics [INFO] [stdout] help: remove these bounds [INFO] [stdout] --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/type-operators-0.3.5/src/lib.rs:743:114 [INFO] [stdout] | [INFO] [stdout] 743 ~ _tlsm_machine!(@cont [$($docs)*] $attrs $alias $machine [$($gensyms),*] [$($kinds)+] [$($accum)* ($gensym $kind)] $out); [INFO] [stdout] 744 | }; [INFO] [stdout] 745 | (@cont $docs:tt $attrs:tt $alias:ident $machine:ident [$gensym:ident $(, $gensyms:ident)*] [$kind:tt , $($kinds:tt)+] [$($accum:tt)*] $out:tt) => { [INFO] [stdout] 746 ~ _tlsm_machine!(@cont $docs $attrs $alias $machine [$($gensyms),*] [$($kinds)+] [$($accum)* ($gensym $kind)] $out); [INFO] [stdout] 747 | }; [INFO] [stdout] ... [INFO] [stdout] 751 | (@cont $docs:tt $attrs:tt $alias:ident $machine:ident [$gensym:ident $(, $gensyms:ident)*] [$kind:tt] [$($accum:tt)*] $out:tt) => { [INFO] [stdout] 752 ~ _tlsm_machine!(@cont $docs $attrs $alias $machine [$($gensyms),*] [] [$($accum)* ($gensym $kind)] $out); [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: bounds on generic parameters in type aliases are not enforced [INFO] [stdout] --> src/strong/ternary.rs:262:18 [INFO] [stdout] | [INFO] [stdout] 10 | / type_operators! { [INFO] [stdout] 11 | | [A, B, C, D, E, F, G, H] [INFO] [stdout] 12 | | [INFO] [stdout] 13 | | /// Project the first value in a `NatPair`. [INFO] [stdout] ... | [INFO] [stdout] 262 | | (Rev) NatRev(Nat): Nat { [INFO] [stdout] | | ^^^ will not be checked at usage sites of the type alias [INFO] [stdout] ... | [INFO] [stdout] 354 | | } [INFO] [stdout] | |_- help: remove this bound [INFO] [stdout] | [INFO] [stdout] = note: this is a known limitation of the type checker that may be lifted in a future edition. [INFO] [stdout] see issue #112792 for more information [INFO] [stdout] = help: add `#![feature(lazy_type_alias)]` to the crate attributes to enable the desired semantics [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: bounds on generic parameters in type aliases are not enforced [INFO] [stdout] --> src/strong/ternary.rs:268:34 [INFO] [stdout] | [INFO] [stdout] 268 | (RevInternal) NatRevInternal(Nat, Nat): Nat { [INFO] [stdout] | ^^^ ^^^ will not be checked at usage sites of the type alias [INFO] [stdout] | [INFO] [stdout] = note: this is a known limitation of the type checker that may be lifted in a future edition. [INFO] [stdout] see issue #112792 for more information [INFO] [stdout] = help: add `#![feature(lazy_type_alias)]` to the crate attributes to enable the desired semantics [INFO] [stdout] help: remove these bounds [INFO] [stdout] --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/type-operators-0.3.5/src/lib.rs:743:114 [INFO] [stdout] | [INFO] [stdout] 743 ~ _tlsm_machine!(@cont [$($docs)*] $attrs $alias $machine [$($gensyms),*] [$($kinds)+] [$($accum)* ($gensym $kind)] $out); [INFO] [stdout] 744 | }; [INFO] [stdout] ... [INFO] [stdout] 751 | (@cont $docs:tt $attrs:tt $alias:ident $machine:ident [$gensym:ident $(, $gensyms:ident)*] [$kind:tt] [$($accum:tt)*] $out:tt) => { [INFO] [stdout] 752 ~ _tlsm_machine!(@cont $docs $attrs $alias $machine [$($gensyms),*] [] [$($accum)* ($gensym $kind)] $out); [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: bounds on generic parameters in type aliases are not enforced [INFO] [stdout] --> src/strong/ternary.rs:281:18 [INFO] [stdout] | [INFO] [stdout] 281 | (Div) NatDiv(Nat, Nat): Nat { [INFO] [stdout] | ^^^ ^^^ will not be checked at usage sites of the type alias [INFO] [stdout] | [INFO] [stdout] = note: this is a known limitation of the type checker that may be lifted in a future edition. [INFO] [stdout] see issue #112792 for more information [INFO] [stdout] = help: add `#![feature(lazy_type_alias)]` to the crate attributes to enable the desired semantics [INFO] [stdout] help: remove these bounds [INFO] [stdout] --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/type-operators-0.3.5/src/lib.rs:743:114 [INFO] [stdout] | [INFO] [stdout] 743 ~ _tlsm_machine!(@cont [$($docs)*] $attrs $alias $machine [$($gensyms),*] [$($kinds)+] [$($accum)* ($gensym $kind)] $out); [INFO] [stdout] 744 | }; [INFO] [stdout] ... [INFO] [stdout] 751 | (@cont $docs:tt $attrs:tt $alias:ident $machine:ident [$gensym:ident $(, $gensyms:ident)*] [$kind:tt] [$($accum:tt)*] $out:tt) => { [INFO] [stdout] 752 ~ _tlsm_machine!(@cont $docs $attrs $alias $machine [$($gensyms),*] [] [$($accum)* ($gensym $kind)] $out); [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: bounds on generic parameters in type aliases are not enforced [INFO] [stdout] --> src/strong/ternary.rs:306:18 [INFO] [stdout] | [INFO] [stdout] 306 | (Rem) NatRem(Nat, Nat): Nat { [INFO] [stdout] | ^^^ ^^^ will not be checked at usage sites of the type alias [INFO] [stdout] | [INFO] [stdout] = note: this is a known limitation of the type checker that may be lifted in a future edition. [INFO] [stdout] see issue #112792 for more information [INFO] [stdout] = help: add `#![feature(lazy_type_alias)]` to the crate attributes to enable the desired semantics [INFO] [stdout] help: remove these bounds [INFO] [stdout] --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/type-operators-0.3.5/src/lib.rs:743:114 [INFO] [stdout] | [INFO] [stdout] 743 ~ _tlsm_machine!(@cont [$($docs)*] $attrs $alias $machine [$($gensyms),*] [$($kinds)+] [$($accum)* ($gensym $kind)] $out); [INFO] [stdout] 744 | }; [INFO] [stdout] ... [INFO] [stdout] 751 | (@cont $docs:tt $attrs:tt $alias:ident $machine:ident [$gensym:ident $(, $gensyms:ident)*] [$kind:tt] [$($accum:tt)*] $out:tt) => { [INFO] [stdout] 752 ~ _tlsm_machine!(@cont $docs $attrs $alias $machine [$($gensyms),*] [] [$($accum)* ($gensym $kind)] $out); [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: bounds on generic parameters in type aliases are not enforced [INFO] [stdout] --> src/strong/ternary.rs:329:34 [INFO] [stdout] | [INFO] [stdout] 329 | (DivInternal) NatDivInternal(Nat, Nat, NatPair): NatPair { [INFO] [stdout] | ^^^ ^^^ ^^^^^^^ will not be checked at usage sites of the type alias [INFO] [stdout] | [INFO] [stdout] = note: this is a known limitation of the type checker that may be lifted in a future edition. [INFO] [stdout] see issue #112792 for more information [INFO] [stdout] = help: add `#![feature(lazy_type_alias)]` to the crate attributes to enable the desired semantics [INFO] [stdout] help: remove these bounds [INFO] [stdout] --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/type-operators-0.3.5/src/lib.rs:743:114 [INFO] [stdout] | [INFO] [stdout] 743 ~ _tlsm_machine!(@cont [$($docs)*] $attrs $alias $machine [$($gensyms),*] [$($kinds)+] [$($accum)* ($gensym $kind)] $out); [INFO] [stdout] 744 | }; [INFO] [stdout] 745 | (@cont $docs:tt $attrs:tt $alias:ident $machine:ident [$gensym:ident $(, $gensyms:ident)*] [$kind:tt , $($kinds:tt)+] [$($accum:tt)*] $out:tt) => { [INFO] [stdout] 746 ~ _tlsm_machine!(@cont $docs $attrs $alias $machine [$($gensyms),*] [$($kinds)+] [$($accum)* ($gensym $kind)] $out); [INFO] [stdout] 747 | }; [INFO] [stdout] ... [INFO] [stdout] 751 | (@cont $docs:tt $attrs:tt $alias:ident $machine:ident [$gensym:ident $(, $gensyms:ident)*] [$kind:tt] [$($accum:tt)*] $out:tt) => { [INFO] [stdout] 752 ~ _tlsm_machine!(@cont $docs $attrs $alias $machine [$($gensyms),*] [] [$($accum)* ($gensym $kind)] $out); [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: bounds on generic parameters in type aliases are not enforced [INFO] [stdout] --> src/strong/balanced.rs:10:24 [INFO] [stdout] | [INFO] [stdout] 6 | / type_operators! { [INFO] [stdout] 7 | | [A, B, C, D, E, F, G, H] [INFO] [stdout] 8 | | [INFO] [stdout] 9 | | /// Project the first value in an `IntPair`. [INFO] [stdout] 10 | | (Int2First) Int2P1(IntPair): Int { [INFO] [stdout] | | ^^^^^^^ will not be checked at usage sites of the type alias [INFO] [stdout] ... | [INFO] [stdout] 374 | | } [INFO] [stdout] | |_- help: remove this bound [INFO] [stdout] | [INFO] [stdout] = note: this is a known limitation of the type checker that may be lifted in a future edition. [INFO] [stdout] see issue #112792 for more information [INFO] [stdout] = help: add `#![feature(lazy_type_alias)]` to the crate attributes to enable the desired semantics [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: bounds on generic parameters in type aliases are not enforced [INFO] [stdout] --> src/strong/balanced.rs:17:25 [INFO] [stdout] | [INFO] [stdout] 6 | / type_operators! { [INFO] [stdout] 7 | | [A, B, C, D, E, F, G, H] [INFO] [stdout] 8 | | [INFO] [stdout] 9 | | /// Project the first value in an `IntPair`. [INFO] [stdout] ... | [INFO] [stdout] 17 | | (Int2Second) Int2P2(IntPair): Int { [INFO] [stdout] | | ^^^^^^^ will not be checked at usage sites of the type alias [INFO] [stdout] ... | [INFO] [stdout] 374 | | } [INFO] [stdout] | |_- help: remove this bound [INFO] [stdout] | [INFO] [stdout] = note: this is a known limitation of the type checker that may be lifted in a future edition. [INFO] [stdout] see issue #112792 for more information [INFO] [stdout] = help: add `#![feature(lazy_type_alias)]` to the crate attributes to enable the desired semantics [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: bounds on generic parameters in type aliases are not enforced [INFO] [stdout] --> src/strong/balanced.rs:24:20 [INFO] [stdout] | [INFO] [stdout] 6 | / type_operators! { [INFO] [stdout] 7 | | [A, B, C, D, E, F, G, H] [INFO] [stdout] 8 | | [INFO] [stdout] 9 | | /// Project the first value in an `IntPair`. [INFO] [stdout] ... | [INFO] [stdout] 24 | | (Succ) IntSucc(Int): Int { [INFO] [stdout] | | ^^^ will not be checked at usage sites of the type alias [INFO] [stdout] ... | [INFO] [stdout] 374 | | } [INFO] [stdout] | |_- help: remove this bound [INFO] [stdout] | [INFO] [stdout] = note: this is a known limitation of the type checker that may be lifted in a future edition. [INFO] [stdout] see issue #112792 for more information [INFO] [stdout] = help: add `#![feature(lazy_type_alias)]` to the crate attributes to enable the desired semantics [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: bounds on generic parameters in type aliases are not enforced [INFO] [stdout] --> src/strong/balanced.rs:35:20 [INFO] [stdout] | [INFO] [stdout] 6 | / type_operators! { [INFO] [stdout] 7 | | [A, B, C, D, E, F, G, H] [INFO] [stdout] 8 | | [INFO] [stdout] 9 | | /// Project the first value in an `IntPair`. [INFO] [stdout] ... | [INFO] [stdout] 35 | | (Pred) IntPred(Int): Int { [INFO] [stdout] | | ^^^ will not be checked at usage sites of the type alias [INFO] [stdout] ... | [INFO] [stdout] 374 | | } [INFO] [stdout] | |_- help: remove this bound [INFO] [stdout] | [INFO] [stdout] = note: this is a known limitation of the type checker that may be lifted in a future edition. [INFO] [stdout] see issue #112792 for more information [INFO] [stdout] = help: add `#![feature(lazy_type_alias)]` to the crate attributes to enable the desired semantics [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: bounds on generic parameters in type aliases are not enforced [INFO] [stdout] --> src/strong/balanced.rs:49:24 [INFO] [stdout] | [INFO] [stdout] 6 | / type_operators! { [INFO] [stdout] 7 | | [A, B, C, D, E, F, G, H] [INFO] [stdout] 8 | | [INFO] [stdout] 9 | | /// Project the first value in an `IntPair`. [INFO] [stdout] ... | [INFO] [stdout] 49 | | (Triple) IntTriple(Int): Int { [INFO] [stdout] | | ^^^ will not be checked at usage sites of the type alias [INFO] [stdout] ... | [INFO] [stdout] 374 | | } [INFO] [stdout] | |_- help: remove this bound [INFO] [stdout] | [INFO] [stdout] = note: this is a known limitation of the type checker that may be lifted in a future edition. [INFO] [stdout] see issue #112792 for more information [INFO] [stdout] = help: add `#![feature(lazy_type_alias)]` to the crate attributes to enable the desired semantics [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: bounds on generic parameters in type aliases are not enforced [INFO] [stdout] --> src/strong/balanced.rs:62:24 [INFO] [stdout] | [INFO] [stdout] 6 | / type_operators! { [INFO] [stdout] 7 | | [A, B, C, D, E, F, G, H] [INFO] [stdout] 8 | | [INFO] [stdout] 9 | | /// Project the first value in an `IntPair`. [INFO] [stdout] ... | [INFO] [stdout] 62 | | (IntUnique) Unique(Int): Int { [INFO] [stdout] | | ^^^ will not be checked at usage sites of the type alias [INFO] [stdout] ... | [INFO] [stdout] 374 | | } [INFO] [stdout] | |_- help: remove this bound [INFO] [stdout] | [INFO] [stdout] = note: this is a known limitation of the type checker that may be lifted in a future edition. [INFO] [stdout] see issue #112792 for more information [INFO] [stdout] = help: add `#![feature(lazy_type_alias)]` to the crate attributes to enable the desired semantics [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: bounds on generic parameters in type aliases are not enforced [INFO] [stdout] --> src/strong/balanced.rs:80:18 [INFO] [stdout] | [INFO] [stdout] 6 | / type_operators! { [INFO] [stdout] 7 | | [A, B, C, D, E, F, G, H] [INFO] [stdout] 8 | | [INFO] [stdout] 9 | | /// Project the first value in an `IntPair`. [INFO] [stdout] ... | [INFO] [stdout] 80 | | (Neg) IntNeg(Int): Int { [INFO] [stdout] | | ^^^ will not be checked at usage sites of the type alias [INFO] [stdout] ... | [INFO] [stdout] 374 | | } [INFO] [stdout] | |_- help: remove this bound [INFO] [stdout] | [INFO] [stdout] = note: this is a known limitation of the type checker that may be lifted in a future edition. [INFO] [stdout] see issue #112792 for more information [INFO] [stdout] = help: add `#![feature(lazy_type_alias)]` to the crate attributes to enable the desired semantics [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: bounds on generic parameters in type aliases are not enforced [INFO] [stdout] --> src/strong/balanced.rs:94:18 [INFO] [stdout] | [INFO] [stdout] 94 | (Add) IntAdd(Int, Int): Int { [INFO] [stdout] | ^^^ ^^^ will not be checked at usage sites of the type alias [INFO] [stdout] | [INFO] [stdout] = note: this is a known limitation of the type checker that may be lifted in a future edition. [INFO] [stdout] see issue #112792 for more information [INFO] [stdout] = help: add `#![feature(lazy_type_alias)]` to the crate attributes to enable the desired semantics [INFO] [stdout] help: remove these bounds [INFO] [stdout] --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/type-operators-0.3.5/src/lib.rs:743:114 [INFO] [stdout] | [INFO] [stdout] 743~ _tlsm_machine!(@cont [$($docs)*] $attrs $alias $machine [$($gensyms),*] [$($kinds)+] [$($accum)* ($gensym $kind)] $out); [INFO] [stdout] 744| }; [INFO] [stdout] ... [INFO] [stdout] 751| (@cont $docs:tt $attrs:tt $alias:ident $machine:ident [$gensym:ident $(, $gensyms:ident)*] [$kind:tt] [$($accum:tt)*] $out:tt) => { [INFO] [stdout] 752~ _tlsm_machine!(@cont $docs $attrs $alias $machine [$($gensyms),*] [] [$($accum)* ($gensym $kind)] $out); [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: bounds on generic parameters in type aliases are not enforced [INFO] [stdout] --> src/strong/balanced.rs:127:18 [INFO] [stdout] | [INFO] [stdout] 127 | (Sub) IntSub(Int, Int): Int { [INFO] [stdout] | ^^^ ^^^ will not be checked at usage sites of the type alias [INFO] [stdout] | [INFO] [stdout] = note: this is a known limitation of the type checker that may be lifted in a future edition. [INFO] [stdout] see issue #112792 for more information [INFO] [stdout] = help: add `#![feature(lazy_type_alias)]` to the crate attributes to enable the desired semantics [INFO] [stdout] help: remove these bounds [INFO] [stdout] --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/type-operators-0.3.5/src/lib.rs:743:114 [INFO] [stdout] | [INFO] [stdout] 743 ~ _tlsm_machine!(@cont [$($docs)*] $attrs $alias $machine [$($gensyms),*] [$($kinds)+] [$($accum)* ($gensym $kind)] $out); [INFO] [stdout] 744 | }; [INFO] [stdout] ... [INFO] [stdout] 751 | (@cont $docs:tt $attrs:tt $alias:ident $machine:ident [$gensym:ident $(, $gensyms:ident)*] [$kind:tt] [$($accum:tt)*] $out:tt) => { [INFO] [stdout] 752 ~ _tlsm_machine!(@cont $docs $attrs $alias $machine [$($gensyms),*] [] [$($accum)* ($gensym $kind)] $out); [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: bounds on generic parameters in type aliases are not enforced [INFO] [stdout] --> src/strong/balanced.rs:160:18 [INFO] [stdout] | [INFO] [stdout] 160 | (Mul) IntMul(Int, Int): Int { [INFO] [stdout] | ^^^ ^^^ will not be checked at usage sites of the type alias [INFO] [stdout] | [INFO] [stdout] = note: this is a known limitation of the type checker that may be lifted in a future edition. [INFO] [stdout] see issue #112792 for more information [INFO] [stdout] = help: add `#![feature(lazy_type_alias)]` to the crate attributes to enable the desired semantics [INFO] [stdout] help: remove these bounds [INFO] [stdout] --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/type-operators-0.3.5/src/lib.rs:743:114 [INFO] [stdout] | [INFO] [stdout] 743 ~ _tlsm_machine!(@cont [$($docs)*] $attrs $alias $machine [$($gensyms),*] [$($kinds)+] [$($accum)* ($gensym $kind)] $out); [INFO] [stdout] 744 | }; [INFO] [stdout] ... [INFO] [stdout] 751 | (@cont $docs:tt $attrs:tt $alias:ident $machine:ident [$gensym:ident $(, $gensyms:ident)*] [$kind:tt] [$($accum:tt)*] $out:tt) => { [INFO] [stdout] 752 ~ _tlsm_machine!(@cont $docs $attrs $alias $machine [$($gensyms),*] [] [$($accum)* ($gensym $kind)] $out); [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: bounds on generic parameters in type aliases are not enforced [INFO] [stdout] --> src/strong/balanced.rs:196:18 [INFO] [stdout] | [INFO] [stdout] 196 | (Cmp) IntCmp(Int, Int, Int, Int, Int): Int { [INFO] [stdout] | ^^^ ^^^ ^^^ ^^^ ^^^ will not be checked at usage sites of the type alias [INFO] [stdout] | [INFO] [stdout] = note: this is a known limitation of the type checker that may be lifted in a future edition. [INFO] [stdout] see issue #112792 for more information [INFO] [stdout] = help: add `#![feature(lazy_type_alias)]` to the crate attributes to enable the desired semantics [INFO] [stdout] help: remove these bounds [INFO] [stdout] --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/type-operators-0.3.5/src/lib.rs:743:114 [INFO] [stdout] | [INFO] [stdout] 743 ~ _tlsm_machine!(@cont [$($docs)*] $attrs $alias $machine [$($gensyms),*] [$($kinds)+] [$($accum)* ($gensym $kind)] $out); [INFO] [stdout] 744 | }; [INFO] [stdout] 745 | (@cont $docs:tt $attrs:tt $alias:ident $machine:ident [$gensym:ident $(, $gensyms:ident)*] [$kind:tt , $($kinds:tt)+] [$($accum:tt)*] $out:tt) => { [INFO] [stdout] 746 ~ _tlsm_machine!(@cont $docs $attrs $alias $machine [$($gensyms),*] [$($kinds)+] [$($accum)* ($gensym $kind)] $out); [INFO] [stdout] 747 | }; [INFO] [stdout] ... [INFO] [stdout] 751 | (@cont $docs:tt $attrs:tt $alias:ident $machine:ident [$gensym:ident $(, $gensyms:ident)*] [$kind:tt] [$($accum:tt)*] $out:tt) => { [INFO] [stdout] 752 ~ _tlsm_machine!(@cont $docs $attrs $alias $machine [$($gensyms),*] [] [$($accum)* ($gensym $kind)] $out); [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: bounds on generic parameters in type aliases are not enforced [INFO] [stdout] --> src/strong/balanced.rs:223:20 [INFO] [stdout] | [INFO] [stdout] 223 | (Cmp2) IntCmp2(Int, Int, IntPair, IntPair, IntPair): IntPair { [INFO] [stdout] | ^^^ ^^^ ^^^^^^^ ^^^^^^^ ^^^^^^^ will not be checked at usage sites of the type alias [INFO] [stdout] | [INFO] [stdout] = note: this is a known limitation of the type checker that may be lifted in a future edition. [INFO] [stdout] see issue #112792 for more information [INFO] [stdout] = help: add `#![feature(lazy_type_alias)]` to the crate attributes to enable the desired semantics [INFO] [stdout] help: remove these bounds [INFO] [stdout] --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/type-operators-0.3.5/src/lib.rs:743:114 [INFO] [stdout] | [INFO] [stdout] 743 ~ _tlsm_machine!(@cont [$($docs)*] $attrs $alias $machine [$($gensyms),*] [$($kinds)+] [$($accum)* ($gensym $kind)] $out); [INFO] [stdout] 744 | }; [INFO] [stdout] 745 | (@cont $docs:tt $attrs:tt $alias:ident $machine:ident [$gensym:ident $(, $gensyms:ident)*] [$kind:tt , $($kinds:tt)+] [$($accum:tt)*] $out:tt) => { [INFO] [stdout] 746 ~ _tlsm_machine!(@cont $docs $attrs $alias $machine [$($gensyms),*] [$($kinds)+] [$($accum)* ($gensym $kind)] $out); [INFO] [stdout] 747 | }; [INFO] [stdout] ... [INFO] [stdout] 751 | (@cont $docs:tt $attrs:tt $alias:ident $machine:ident [$gensym:ident $(, $gensyms:ident)*] [$kind:tt] [$($accum:tt)*] $out:tt) => { [INFO] [stdout] 752 ~ _tlsm_machine!(@cont $docs $attrs $alias $machine [$($gensyms),*] [] [$($accum)* ($gensym $kind)] $out); [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: bounds on generic parameters in type aliases are not enforced [INFO] [stdout] --> src/strong/balanced.rs:248:24 [INFO] [stdout] | [INFO] [stdout] 248 | (LteCmp) IntLteCmp(Int, Int, Int, Int): Int { [INFO] [stdout] | ^^^ ^^^ ^^^ ^^^ will not be checked at usage sites of the type alias [INFO] [stdout] | [INFO] [stdout] = note: this is a known limitation of the type checker that may be lifted in a future edition. [INFO] [stdout] see issue #112792 for more information [INFO] [stdout] = help: add `#![feature(lazy_type_alias)]` to the crate attributes to enable the desired semantics [INFO] [stdout] help: remove these bounds [INFO] [stdout] --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/type-operators-0.3.5/src/lib.rs:743:114 [INFO] [stdout] | [INFO] [stdout] 743 ~ _tlsm_machine!(@cont [$($docs)*] $attrs $alias $machine [$($gensyms),*] [$($kinds)+] [$($accum)* ($gensym $kind)] $out); [INFO] [stdout] 744 | }; [INFO] [stdout] 745 | (@cont $docs:tt $attrs:tt $alias:ident $machine:ident [$gensym:ident $(, $gensyms:ident)*] [$kind:tt , $($kinds:tt)+] [$($accum:tt)*] $out:tt) => { [INFO] [stdout] 746 ~ _tlsm_machine!(@cont $docs $attrs $alias $machine [$($gensyms),*] [$($kinds)+] [$($accum)* ($gensym $kind)] $out); [INFO] [stdout] 747 | }; [INFO] [stdout] ... [INFO] [stdout] 751 | (@cont $docs:tt $attrs:tt $alias:ident $machine:ident [$gensym:ident $(, $gensyms:ident)*] [$kind:tt] [$($accum:tt)*] $out:tt) => { [INFO] [stdout] 752 ~ _tlsm_machine!(@cont $docs $attrs $alias $machine [$($gensyms),*] [] [$($accum)* ($gensym $kind)] $out); [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: bounds on generic parameters in type aliases are not enforced [INFO] [stdout] --> src/strong/balanced.rs:254:26 [INFO] [stdout] | [INFO] [stdout] 254 | (LteCmp2) IntLteCmp2(Int, Int, IntPair, IntPair): IntPair { [INFO] [stdout] | ^^^ ^^^ ^^^^^^^ ^^^^^^^ will not be checked at usage sites of the type alias [INFO] [stdout] | [INFO] [stdout] = note: this is a known limitation of the type checker that may be lifted in a future edition. [INFO] [stdout] see issue #112792 for more information [INFO] [stdout] = help: add `#![feature(lazy_type_alias)]` to the crate attributes to enable the desired semantics [INFO] [stdout] help: remove these bounds [INFO] [stdout] --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/type-operators-0.3.5/src/lib.rs:743:114 [INFO] [stdout] | [INFO] [stdout] 743 ~ _tlsm_machine!(@cont [$($docs)*] $attrs $alias $machine [$($gensyms),*] [$($kinds)+] [$($accum)* ($gensym $kind)] $out); [INFO] [stdout] 744 | }; [INFO] [stdout] 745 | (@cont $docs:tt $attrs:tt $alias:ident $machine:ident [$gensym:ident $(, $gensyms:ident)*] [$kind:tt , $($kinds:tt)+] [$($accum:tt)*] $out:tt) => { [INFO] [stdout] 746 ~ _tlsm_machine!(@cont $docs $attrs $alias $machine [$($gensyms),*] [$($kinds)+] [$($accum)* ($gensym $kind)] $out); [INFO] [stdout] 747 | }; [INFO] [stdout] ... [INFO] [stdout] 751 | (@cont $docs:tt $attrs:tt $alias:ident $machine:ident [$gensym:ident $(, $gensyms:ident)*] [$kind:tt] [$($accum:tt)*] $out:tt) => { [INFO] [stdout] 752 ~ _tlsm_machine!(@cont $docs $attrs $alias $machine [$($gensyms),*] [] [$($accum)* ($gensym $kind)] $out); [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: bounds on generic parameters in type aliases are not enforced [INFO] [stdout] --> src/strong/balanced.rs:261:18 [INFO] [stdout] | [INFO] [stdout] 6 | / type_operators! { [INFO] [stdout] 7 | | [A, B, C, D, E, F, G, H] [INFO] [stdout] 8 | | [INFO] [stdout] 9 | | /// Project the first value in an `IntPair`. [INFO] [stdout] ... | [INFO] [stdout] 261 | | (Abs) IntAbs(Int): Int { [INFO] [stdout] | | ^^^ will not be checked at usage sites of the type alias [INFO] [stdout] ... | [INFO] [stdout] 374 | | } [INFO] [stdout] | |_- help: remove this bound [INFO] [stdout] | [INFO] [stdout] = note: this is a known limitation of the type checker that may be lifted in a future edition. [INFO] [stdout] see issue #112792 for more information [INFO] [stdout] = help: add `#![feature(lazy_type_alias)]` to the crate attributes to enable the desired semantics [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: bounds on generic parameters in type aliases are not enforced [INFO] [stdout] --> src/strong/balanced.rs:273:40 [INFO] [stdout] | [INFO] [stdout] 273 | (AbsMinThreeCmp) IntAbsMinThreeCmp(Int, Int, Int, Int, Int, Int): IntPair { [INFO] [stdout] | ^^^ ^^^ ^^^ ^^^ ^^^ ^^^ will not be checked at usage sites of the type alias [INFO] [stdout] | [INFO] [stdout] = note: this is a known limitation of the type checker that may be lifted in a future edition. [INFO] [stdout] see issue #112792 for more information [INFO] [stdout] = help: add `#![feature(lazy_type_alias)]` to the crate attributes to enable the desired semantics [INFO] [stdout] help: remove these bounds [INFO] [stdout] --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/type-operators-0.3.5/src/lib.rs:743:114 [INFO] [stdout] | [INFO] [stdout] 743 ~ _tlsm_machine!(@cont [$($docs)*] $attrs $alias $machine [$($gensyms),*] [$($kinds)+] [$($accum)* ($gensym $kind)] $out); [INFO] [stdout] 744 | }; [INFO] [stdout] 745 | (@cont $docs:tt $attrs:tt $alias:ident $machine:ident [$gensym:ident $(, $gensyms:ident)*] [$kind:tt , $($kinds:tt)+] [$($accum:tt)*] $out:tt) => { [INFO] [stdout] 746 ~ _tlsm_machine!(@cont $docs $attrs $alias $machine [$($gensyms),*] [$($kinds)+] [$($accum)* ($gensym $kind)] $out); [INFO] [stdout] 747 | }; [INFO] [stdout] ... [INFO] [stdout] 751 | (@cont $docs:tt $attrs:tt $alias:ident $machine:ident [$gensym:ident $(, $gensyms:ident)*] [$kind:tt] [$($accum:tt)*] $out:tt) => { [INFO] [stdout] 752 ~ _tlsm_machine!(@cont $docs $attrs $alias $machine [$($gensyms),*] [] [$($accum)* ($gensym $kind)] $out); [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: bounds on generic parameters in type aliases are not enforced [INFO] [stdout] --> src/strong/balanced.rs:284:18 [INFO] [stdout] | [INFO] [stdout] 6 | / type_operators! { [INFO] [stdout] 7 | | [A, B, C, D, E, F, G, H] [INFO] [stdout] 8 | | [INFO] [stdout] 9 | | /// Project the first value in an `IntPair`. [INFO] [stdout] ... | [INFO] [stdout] 284 | | (Rev) IntRev(Int): Int { [INFO] [stdout] | | ^^^ will not be checked at usage sites of the type alias [INFO] [stdout] ... | [INFO] [stdout] 374 | | } [INFO] [stdout] | |_- help: remove this bound [INFO] [stdout] | [INFO] [stdout] = note: this is a known limitation of the type checker that may be lifted in a future edition. [INFO] [stdout] see issue #112792 for more information [INFO] [stdout] = help: add `#![feature(lazy_type_alias)]` to the crate attributes to enable the desired semantics [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: bounds on generic parameters in type aliases are not enforced [INFO] [stdout] --> src/strong/balanced.rs:290:34 [INFO] [stdout] | [INFO] [stdout] 290 | (RevInternal) IntRevInternal(Int, Int): Int { [INFO] [stdout] | ^^^ ^^^ will not be checked at usage sites of the type alias [INFO] [stdout] | [INFO] [stdout] = note: this is a known limitation of the type checker that may be lifted in a future edition. [INFO] [stdout] see issue #112792 for more information [INFO] [stdout] = help: add `#![feature(lazy_type_alias)]` to the crate attributes to enable the desired semantics [INFO] [stdout] help: remove these bounds [INFO] [stdout] --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/type-operators-0.3.5/src/lib.rs:743:114 [INFO] [stdout] | [INFO] [stdout] 743 ~ _tlsm_machine!(@cont [$($docs)*] $attrs $alias $machine [$($gensyms),*] [$($kinds)+] [$($accum)* ($gensym $kind)] $out); [INFO] [stdout] 744 | }; [INFO] [stdout] ... [INFO] [stdout] 751 | (@cont $docs:tt $attrs:tt $alias:ident $machine:ident [$gensym:ident $(, $gensyms:ident)*] [$kind:tt] [$($accum:tt)*] $out:tt) => { [INFO] [stdout] 752 ~ _tlsm_machine!(@cont $docs $attrs $alias $machine [$($gensyms),*] [] [$($accum)* ($gensym $kind)] $out); [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: bounds on generic parameters in type aliases are not enforced [INFO] [stdout] --> src/strong/balanced.rs:302:18 [INFO] [stdout] | [INFO] [stdout] 302 | (Div) IntDiv(Int, Int): Int { [INFO] [stdout] | ^^^ ^^^ will not be checked at usage sites of the type alias [INFO] [stdout] | [INFO] [stdout] = note: this is a known limitation of the type checker that may be lifted in a future edition. [INFO] [stdout] see issue #112792 for more information [INFO] [stdout] = help: add `#![feature(lazy_type_alias)]` to the crate attributes to enable the desired semantics [INFO] [stdout] help: remove these bounds [INFO] [stdout] --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/type-operators-0.3.5/src/lib.rs:743:114 [INFO] [stdout] | [INFO] [stdout] 743 ~ _tlsm_machine!(@cont [$($docs)*] $attrs $alias $machine [$($gensyms),*] [$($kinds)+] [$($accum)* ($gensym $kind)] $out); [INFO] [stdout] 744 | }; [INFO] [stdout] ... [INFO] [stdout] 751 | (@cont $docs:tt $attrs:tt $alias:ident $machine:ident [$gensym:ident $(, $gensyms:ident)*] [$kind:tt] [$($accum:tt)*] $out:tt) => { [INFO] [stdout] 752 ~ _tlsm_machine!(@cont $docs $attrs $alias $machine [$($gensyms),*] [] [$($accum)* ($gensym $kind)] $out); [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: bounds on generic parameters in type aliases are not enforced [INFO] [stdout] --> src/strong/balanced.rs:326:18 [INFO] [stdout] | [INFO] [stdout] 326 | (Rem) IntRem(Int, Int): Int { [INFO] [stdout] | ^^^ ^^^ will not be checked at usage sites of the type alias [INFO] [stdout] | [INFO] [stdout] = note: this is a known limitation of the type checker that may be lifted in a future edition. [INFO] [stdout] see issue #112792 for more information [INFO] [stdout] = help: add `#![feature(lazy_type_alias)]` to the crate attributes to enable the desired semantics [INFO] [stdout] help: remove these bounds [INFO] [stdout] --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/type-operators-0.3.5/src/lib.rs:743:114 [INFO] [stdout] | [INFO] [stdout] 743 ~ _tlsm_machine!(@cont [$($docs)*] $attrs $alias $machine [$($gensyms),*] [$($kinds)+] [$($accum)* ($gensym $kind)] $out); [INFO] [stdout] 744 | }; [INFO] [stdout] ... [INFO] [stdout] 751 | (@cont $docs:tt $attrs:tt $alias:ident $machine:ident [$gensym:ident $(, $gensyms:ident)*] [$kind:tt] [$($accum:tt)*] $out:tt) => { [INFO] [stdout] 752 ~ _tlsm_machine!(@cont $docs $attrs $alias $machine [$($gensyms),*] [] [$($accum)* ($gensym $kind)] $out); [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: bounds on generic parameters in type aliases are not enforced [INFO] [stdout] --> src/strong/balanced.rs:349:34 [INFO] [stdout] | [INFO] [stdout] 349 | (DivInternal) IntDivInternal(Int, Int, IntPair): IntPair { [INFO] [stdout] | ^^^ ^^^ ^^^^^^^ will not be checked at usage sites of the type alias [INFO] [stdout] | [INFO] [stdout] = note: this is a known limitation of the type checker that may be lifted in a future edition. [INFO] [stdout] see issue #112792 for more information [INFO] [stdout] = help: add `#![feature(lazy_type_alias)]` to the crate attributes to enable the desired semantics [INFO] [stdout] help: remove these bounds [INFO] [stdout] --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/type-operators-0.3.5/src/lib.rs:743:114 [INFO] [stdout] | [INFO] [stdout] 743 ~ _tlsm_machine!(@cont [$($docs)*] $attrs $alias $machine [$($gensyms),*] [$($kinds)+] [$($accum)* ($gensym $kind)] $out); [INFO] [stdout] 744 | }; [INFO] [stdout] 745 | (@cont $docs:tt $attrs:tt $alias:ident $machine:ident [$gensym:ident $(, $gensyms:ident)*] [$kind:tt , $($kinds:tt)+] [$($accum:tt)*] $out:tt) => { [INFO] [stdout] 746 ~ _tlsm_machine!(@cont $docs $attrs $alias $machine [$($gensyms),*] [$($kinds)+] [$($accum)* ($gensym $kind)] $out); [INFO] [stdout] 747 | }; [INFO] [stdout] ... [INFO] [stdout] 751 | (@cont $docs:tt $attrs:tt $alias:ident $machine:ident [$gensym:ident $(, $gensyms:ident)*] [$kind:tt] [$($accum:tt)*] $out:tt) => { [INFO] [stdout] 752 ~ _tlsm_machine!(@cont $docs $attrs $alias $machine [$($gensyms),*] [] [$($accum)* ($gensym $kind)] $out); [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stderr] Finished `dev` profile [unoptimized + debuginfo] target(s) in 0.68s [INFO] running `Command { std: "docker" "inspect" "a80621a95649f9c3111563b0580d008662061d84dae62f0971912c278cf73e2f", kill_on_drop: false }` [INFO] running `Command { std: "docker" "rm" "-f" "a80621a95649f9c3111563b0580d008662061d84dae62f0971912c278cf73e2f", kill_on_drop: false }` [INFO] [stdout] a80621a95649f9c3111563b0580d008662061d84dae62f0971912c278cf73e2f