tests/ui/type/type-alias-bounds.stderr

warning: bounds on generic parameters in type aliases are not enforced
  --> $DIR/type-alias-bounds.rs:8:14
   |
LL | type SVec<T: Send + Send> = Vec<T>;
   |              ^^^^   ^^^^ will not be checked at usage sites of the type alias
   |
   = note: this is a known limitation of the type checker that may be lifted in a future edition.
           see issue #112792 <https://github.com/rust-lang/rust/issues/112792> for more information
   = help: add `#![feature(lazy_type_alias)]` to the crate attributes to enable the desired semantics
   = note: `#[warn(type_alias_bounds)]` on by default
help: remove this bound
   |
LL - type SVec<T: Send + Send> = Vec<T>;
LL + type SVec<T> = Vec<T>;
   |

warning: where clauses on type aliases are not enforced
  --> $DIR/type-alias-bounds.rs:10:21
   |
LL | type S2Vec<T> where T: Send = Vec<T>;
   |                     ^^^^^^^ will not be checked at usage sites of the type alias
   |
   = note: this is a known limitation of the type checker that may be lifted in a future edition.
           see issue #112792 <https://github.com/rust-lang/rust/issues/112792> for more information
   = help: add `#![feature(lazy_type_alias)]` to the crate attributes to enable the desired semantics
help: remove this where clause
   |
LL - type S2Vec<T> where T: Send = Vec<T>;
LL + type S2Vec<T>  = Vec<T>;
   |

warning: bounds on generic parameters in type aliases are not enforced
  --> $DIR/type-alias-bounds.rs:12:19
   |
LL | type VVec<'b, 'a: 'b + 'b> = (&'b u32, Vec<&'a i32>);
   |                   ^^   ^^ will not be checked at usage sites of the type alias
   |
   = note: this is a known limitation of the type checker that may be lifted in a future edition.
           see issue #112792 <https://github.com/rust-lang/rust/issues/112792> for more information
   = help: add `#![feature(lazy_type_alias)]` to the crate attributes to enable the desired semantics
help: remove this bound
   |
LL - type VVec<'b, 'a: 'b + 'b> = (&'b u32, Vec<&'a i32>);
LL + type VVec<'b, 'a> = (&'b u32, Vec<&'a i32>);
   |

warning: bounds on generic parameters in type aliases are not enforced
  --> $DIR/type-alias-bounds.rs:14:18
   |
LL | type WVec<'b, T: 'b + 'b> = (&'b u32, Vec<T>);
   |                  ^^   ^^ will not be checked at usage sites of the type alias
   |
   = note: this is a known limitation of the type checker that may be lifted in a future edition.
           see issue #112792 <https://github.com/rust-lang/rust/issues/112792> for more information
   = help: add `#![feature(lazy_type_alias)]` to the crate attributes to enable the desired semantics
help: remove this bound
   |
LL - type WVec<'b, T: 'b + 'b> = (&'b u32, Vec<T>);
LL + type WVec<'b, T> = (&'b u32, Vec<T>);
   |

warning: where clauses on type aliases are not enforced
  --> $DIR/type-alias-bounds.rs:16:25
   |
LL | type W2Vec<'b, T> where T: 'b, T: 'b = (&'b u32, Vec<T>);
   |                         ^^^^^  ^^^^^ will not be checked at usage sites of the type alias
   |
   = note: this is a known limitation of the type checker that may be lifted in a future edition.
           see issue #112792 <https://github.com/rust-lang/rust/issues/112792> for more information
   = help: add `#![feature(lazy_type_alias)]` to the crate attributes to enable the desired semantics
help: remove this where clause
   |
LL - type W2Vec<'b, T> where T: 'b, T: 'b = (&'b u32, Vec<T>);
LL + type W2Vec<'b, T>  = (&'b u32, Vec<T>);
   |

warning: bounds on generic parameters in type aliases are not enforced
  --> $DIR/type-alias-bounds.rs:48:12
   |
LL | type T1<U: Bound> = U::Assoc;
   |            ^^^^^ will not be checked at usage sites of the type alias
   |
   = note: this is a known limitation of the type checker that may be lifted in a future edition.
           see issue #112792 <https://github.com/rust-lang/rust/issues/112792> for more information
   = help: add `#![feature(lazy_type_alias)]` to the crate attributes to enable the desired semantics
help: remove this bound
   |
LL - type T1<U: Bound> = U::Assoc;
LL + type T1<U> = U::Assoc;
   |
help: fully qualify this associated type
   |
LL | type T1<U: Bound> = <U as /* Trait */>::Assoc;
   |                     +  +++++++++++++++

warning: where clauses on type aliases are not enforced
  --> $DIR/type-alias-bounds.rs:49:18
   |
LL | type T2<U> where U: Bound = U::Assoc;
   |                  ^^^^^^^^ will not be checked at usage sites of the type alias
   |
   = note: this is a known limitation of the type checker that may be lifted in a future edition.
           see issue #112792 <https://github.com/rust-lang/rust/issues/112792> for more information
   = help: add `#![feature(lazy_type_alias)]` to the crate attributes to enable the desired semantics
help: remove this where clause
   |
LL - type T2<U> where U: Bound = U::Assoc;
LL + type T2<U>  = U::Assoc;
   |
help: fully qualify this associated type
   |
LL | type T2<U> where U: Bound = <U as /* Trait */>::Assoc;
   |                             +  +++++++++++++++

warning: bounds on generic parameters in type aliases are not enforced
  --> $DIR/type-alias-bounds.rs:57:12
   |
LL | type T5<U: Bound> = <U as Bound>::Assoc;
   |            ^^^^^ will not be checked at usage sites of the type alias
   |
   = note: this is a known limitation of the type checker that may be lifted in a future edition.
           see issue #112792 <https://github.com/rust-lang/rust/issues/112792> for more information
   = help: add `#![feature(lazy_type_alias)]` to the crate attributes to enable the desired semantics
help: remove this bound
   |
LL - type T5<U: Bound> = <U as Bound>::Assoc;
LL + type T5<U> = <U as Bound>::Assoc;
   |

warning: bounds on generic parameters in type aliases are not enforced
  --> $DIR/type-alias-bounds.rs:58:12
   |
LL | type T6<U: Bound> = ::std::vec::Vec<U>;
   |            ^^^^^ will not be checked at usage sites of the type alias
   |
   = note: this is a known limitation of the type checker that may be lifted in a future edition.
           see issue #112792 <https://github.com/rust-lang/rust/issues/112792> for more information
   = help: add `#![feature(lazy_type_alias)]` to the crate attributes to enable the desired semantics
help: remove this bound
   |
LL - type T6<U: Bound> = ::std::vec::Vec<U>;
LL + type T6<U> = ::std::vec::Vec<U>;
   |

warning: 9 warnings emitted