tests/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 LL - type SVec<T: Send + Send> = Vec<T>;
  11 LL + type SVec<T> = Vec<T>;
  12    |
  13
  14 warning: where clauses are not enforced in type aliases
  15   --> $DIR/type-alias-bounds.rs:10:21
  16    |
  17 LL | type S2Vec<T> where T: Send = Vec<T>;
  18    |                     ^^^^^^^
  19    |
  20 help: the clause will not be checked when the type alias is used, and should be removed
  21    |
  22 LL - type S2Vec<T> where T: Send = Vec<T>;
  23 LL + type S2Vec<T>  = Vec<T>;
  24    |
  25
  26 warning: bounds on generic parameters are not enforced in type aliases
  27   --> $DIR/type-alias-bounds.rs:12:19
  28    |
  29 LL | type VVec<'b, 'a: 'b + 'b> = (&'b u32, Vec<&'a i32>);
  30    |                   ^^   ^^
  31    |
  32 help: the bound will not be checked when the type alias is used, and should be removed
  33    |
  34 LL - type VVec<'b, 'a: 'b + 'b> = (&'b u32, Vec<&'a i32>);
  35 LL + type VVec<'b, 'a> = (&'b u32, Vec<&'a i32>);
  36    |
  37
  38 warning: bounds on generic parameters are not enforced in type aliases
  39   --> $DIR/type-alias-bounds.rs:14:18
  40    |
  41 LL | type WVec<'b, T: 'b + 'b> = (&'b u32, Vec<T>);
  42    |                  ^^   ^^
  43    |
  44 help: the bound will not be checked when the type alias is used, and should be removed
  45    |
  46 LL - type WVec<'b, T: 'b + 'b> = (&'b u32, Vec<T>);
  47 LL + type WVec<'b, T> = (&'b u32, Vec<T>);
  48    |
  49
  50 warning: where clauses are not enforced in type aliases
  51   --> $DIR/type-alias-bounds.rs:16:25
  52    |
  53 LL | type W2Vec<'b, T> where T: 'b, T: 'b = (&'b u32, Vec<T>);
  54    |                         ^^^^^  ^^^^^
  55    |
  56 help: the clause will not be checked when the type alias is used, and should be removed
  57    |
  58 LL - type W2Vec<'b, T> where T: 'b, T: 'b = (&'b u32, Vec<T>);
  59 LL + type W2Vec<'b, T>  = (&'b u32, Vec<T>);
  60    |
  61
  62 warning: bounds on generic parameters are not enforced in type aliases
  63   --> $DIR/type-alias-bounds.rs:47:12
  64    |
  65 LL | type T1<U: Bound> = U::Assoc;
  66    |            ^^^^^
  67    |
  68 help: use fully disambiguated paths (i.e., `<T as Trait>::Assoc`) to refer to associated types in type aliases
  69   --> $DIR/type-alias-bounds.rs:47:21
  70    |
  71 LL | type T1<U: Bound> = U::Assoc;
  72    |                     ^^^^^^^^
  73 help: the bound will not be checked when the type alias is used, and should be removed
  74    |
  75 LL - type T1<U: Bound> = U::Assoc;
  76 LL + type T1<U> = U::Assoc;
  77    |
  78
  79 warning: where clauses are not enforced in type aliases
  80   --> $DIR/type-alias-bounds.rs:48:18
  81    |
  82 LL | type T2<U> where U: Bound = U::Assoc;
  83    |                  ^^^^^^^^
  84    |
  85 help: use fully disambiguated paths (i.e., `<T as Trait>::Assoc`) to refer to associated types in type aliases
  86   --> $DIR/type-alias-bounds.rs:48:29
  87    |
  88 LL | type T2<U> where U: Bound = U::Assoc;
  89    |                             ^^^^^^^^
  90 help: the clause will not be checked when the type alias is used, and should be removed
  91    |
  92 LL - type T2<U> where U: Bound = U::Assoc;
  93 LL + type T2<U>  = U::Assoc;
  94    |
  95
  96 warning: bounds on generic parameters are not enforced in type aliases
  97   --> $DIR/type-alias-bounds.rs:56:12
  98    |
  99 LL | type T5<U: Bound> = <U as Bound>::Assoc;
 100    |            ^^^^^
 101    |
 102 help: the bound will not be checked when the type alias is used, and should be removed
 103    |
 104 LL - type T5<U: Bound> = <U as Bound>::Assoc;
 105 LL + type T5<U> = <U as Bound>::Assoc;
 106    |
 107
 108 warning: bounds on generic parameters are not enforced in type aliases
 109   --> $DIR/type-alias-bounds.rs:57:12
 110    |
 111 LL | type T6<U: Bound> = ::std::vec::Vec<U>;
 112    |            ^^^^^
 113    |
 114 help: the bound will not be checked when the type alias is used, and should be removed
 115    |
 116 LL - type T6<U: Bound> = ::std::vec::Vec<U>;
 117 LL + type T6<U> = ::std::vec::Vec<U>;
 118    |
 119
 120 warning: 9 warnings emitted
 121