src/test/ui/type/type-alias-bounds.stderr

warning: bounds on generic parameters are not enforced in type aliases
  --> $DIR/type-alias-bounds.rs:18:14
   |
LL | type SVec<T: Send+Send> = Vec<T>;
   |              ^^^^ ^^^^
   |
   = note: #[warn(type_alias_bounds)] on by default
   = help: the bound will not be checked when the type alias is used, and should be removed

warning: where clauses are not enforced in type aliases
  --> $DIR/type-alias-bounds.rs:20:21
   |
LL | type S2Vec<T> where T: Send = Vec<T>;
   |                     ^^^^^^^
   |
   = help: the clause will not be checked when the type alias is used, and should be removed

warning: bounds on generic parameters are not enforced in type aliases
  --> $DIR/type-alias-bounds.rs:22:19
   |
LL | type VVec<'b, 'a: 'b+'b> = (&'b u32, Vec<&'a i32>);
   |                   ^^ ^^
   |
   = help: the bound will not be checked when the type alias is used, and should be removed

warning: bounds on generic parameters are not enforced in type aliases
  --> $DIR/type-alias-bounds.rs:24:18
   |
LL | type WVec<'b, T: 'b+'b> = (&'b u32, Vec<T>);
   |                  ^^ ^^
   |
   = help: the bound will not be checked when the type alias is used, and should be removed

warning: where clauses are not enforced in type aliases
  --> $DIR/type-alias-bounds.rs:26:25
   |
LL | type W2Vec<'b, T> where T: 'b, T: 'b = (&'b u32, Vec<T>);
   |                         ^^^^^  ^^^^^
   |
   = help: the clause will not be checked when the type alias is used, and should be removed

warning: bounds on generic parameters are not enforced in type aliases
  --> $DIR/type-alias-bounds.rs:57:12
   |
LL | type T1<U: Bound> = U::Assoc; //~ WARN not enforced in type aliases
   |            ^^^^^
   |
   = help: the bound will not be checked when the type alias is used, and should be removed
help: use fully disambiguated paths (i.e., `<T as Trait>::Assoc`) to refer to associated types in type aliases
  --> $DIR/type-alias-bounds.rs:57:21
   |
LL | type T1<U: Bound> = U::Assoc; //~ WARN not enforced in type aliases
   |                     ^^^^^^^^

warning: where clauses are not enforced in type aliases
  --> $DIR/type-alias-bounds.rs:58:18
   |
LL | type T2<U> where U: Bound = U::Assoc;  //~ WARN not enforced in type aliases
   |                  ^^^^^^^^
   |
   = help: the clause will not be checked when the type alias is used, and should be removed
help: use fully disambiguated paths (i.e., `<T as Trait>::Assoc`) to refer to associated types in type aliases
  --> $DIR/type-alias-bounds.rs:58:29
   |
LL | type T2<U> where U: Bound = U::Assoc;  //~ WARN not enforced in type aliases
   |                             ^^^^^^^^

warning: bounds on generic parameters are not enforced in type aliases
  --> $DIR/type-alias-bounds.rs:66:12
   |
LL | type T5<U: Bound> = <U as Bound>::Assoc;  //~ WARN not enforced in type aliases
   |            ^^^^^
   |
   = help: the bound will not be checked when the type alias is used, and should be removed

warning: bounds on generic parameters are not enforced in type aliases
  --> $DIR/type-alias-bounds.rs:67:12
   |
LL | type T6<U: Bound> = ::std::vec::Vec<U>;  //~ WARN not enforced in type aliases
   |            ^^^^^
   |
   = help: the bound will not be checked when the type alias is used, and should be removed