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

   1 warning: bounds on generic parameters are not enforced in type aliases
   2   --> $DIR/type-alias-bounds.rs:8:14
   3    |
   4 LL | type SVec<T: Send+Send> = Vec<T>;
   5    |              ^^^^ ^^^^
   6    |
   7    = note: #[warn(type_alias_bounds)] on by default
   8    = help: the bound will not be checked when the type alias is used, and should be removed
   9
  10 warning: where clauses are not enforced in type aliases
  11   --> $DIR/type-alias-bounds.rs:10:21
  12    |
  13 LL | type S2Vec<T> where T: Send = Vec<T>;
  14    |                     ^^^^^^^
  15    |
  16    = help: the clause will not be checked when the type alias is used, and should be removed
  17
  18 warning: bounds on generic parameters are not enforced in type aliases
  19   --> $DIR/type-alias-bounds.rs:12:19
  20    |
  21 LL | type VVec<'b, 'a: 'b+'b> = (&'b u32, Vec<&'a i32>);
  22    |                   ^^ ^^
  23    |
  24    = help: the bound will not be checked when the type alias is used, and should be removed
  25
  26 warning: bounds on generic parameters are not enforced in type aliases
  27   --> $DIR/type-alias-bounds.rs:14:18
  28    |
  29 LL | type WVec<'b, T: 'b+'b> = (&'b u32, Vec<T>);
  30    |                  ^^ ^^
  31    |
  32    = help: the bound will not be checked when the type alias is used, and should be removed
  33
  34 warning: where clauses are not enforced in type aliases
  35   --> $DIR/type-alias-bounds.rs:16:25
  36    |
  37 LL | type W2Vec<'b, T> where T: 'b, T: 'b = (&'b u32, Vec<T>);
  38    |                         ^^^^^  ^^^^^
  39    |
  40    = help: the clause will not be checked when the type alias is used, and should be removed
  41
  42 warning: bounds on generic parameters are not enforced in type aliases
  43   --> $DIR/type-alias-bounds.rs:47:12
  44    |
  45 LL | type T1<U: Bound> = U::Assoc;
  46    |            ^^^^^
  47    |
  48    = help: the bound will not be checked when the type alias is used, and should be removed
  49 help: use fully disambiguated paths (i.e., `<T as Trait>::Assoc`) to refer to associated types in type aliases
  50   --> $DIR/type-alias-bounds.rs:47:21
  51    |
  52 LL | type T1<U: Bound> = U::Assoc;
  53    |                     ^^^^^^^^
  54
  55 warning: where clauses are not enforced in type aliases
  56   --> $DIR/type-alias-bounds.rs:48:18
  57    |
  58 LL | type T2<U> where U: Bound = U::Assoc;
  59    |                  ^^^^^^^^
  60    |
  61    = help: the clause will not be checked when the type alias is used, and should be removed
  62 help: use fully disambiguated paths (i.e., `<T as Trait>::Assoc`) to refer to associated types in type aliases
  63   --> $DIR/type-alias-bounds.rs:48:29
  64    |
  65 LL | type T2<U> where U: Bound = U::Assoc;
  66    |                             ^^^^^^^^
  67
  68 warning: bounds on generic parameters are not enforced in type aliases
  69   --> $DIR/type-alias-bounds.rs:56:12
  70    |
  71 LL | type T5<U: Bound> = <U as Bound>::Assoc;
  72    |            ^^^^^
  73    |
  74    = help: the bound will not be checked when the type alias is used, and should be removed
  75
  76 warning: bounds on generic parameters are not enforced in type aliases
  77   --> $DIR/type-alias-bounds.rs:57:12
  78    |
  79 LL | type T6<U: Bound> = ::std::vec::Vec<U>;
  80    |            ^^^^^
  81    |
  82    = help: the bound will not be checked when the type alias is used, and should be removed
  83