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

   1 warning: where clauses are not enforced in type aliases
   2   --> $DIR/type-alias.rs:5:25
   3    |
   4 LL | type _TaWhere1<T> where T: Iterator<Item: Copy> = T;
   5    |                         ^^^^^^^^^^^^^^^^^^^^^^^
   6    |
   7    = note: `#[warn(type_alias_bounds)]` on by default
   8 help: the clause will not be checked when the type alias is used, and should be removed
   9    |
  10 LL - type _TaWhere1<T> where T: Iterator<Item: Copy> = T;
  11 LL + type _TaWhere1<T>  = T;
  12    |
  13
  14 warning: where clauses are not enforced in type aliases
  15   --> $DIR/type-alias.rs:6:25
  16    |
  17 LL | type _TaWhere2<T> where T: Iterator<Item: 'static> = 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 _TaWhere2<T> where T: Iterator<Item: 'static> = T;
  23 LL + type _TaWhere2<T>  = T;
  24    |
  25
  26 warning: where clauses are not enforced in type aliases
  27   --> $DIR/type-alias.rs:7:25
  28    |
  29 LL | type _TaWhere3<T> where T: Iterator<Item: 'static> = T;
  30    |                         ^^^^^^^^^^^^^^^^^^^^^^^^^^
  31    |
  32 help: the clause will not be checked when the type alias is used, and should be removed
  33    |
  34 LL - type _TaWhere3<T> where T: Iterator<Item: 'static> = T;
  35 LL + type _TaWhere3<T>  = T;
  36    |
  37
  38 warning: where clauses are not enforced in type aliases
  39   --> $DIR/type-alias.rs:8:25
  40    |
  41 LL | type _TaWhere4<T> where T: Iterator<Item: 'static + Copy + Send> = T;
  42    |                         ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
  43    |
  44 help: the clause will not be checked when the type alias is used, and should be removed
  45    |
  46 LL - type _TaWhere4<T> where T: Iterator<Item: 'static + Copy + Send> = T;
  47 LL + type _TaWhere4<T>  = T;
  48    |
  49
  50 warning: where clauses are not enforced in type aliases
  51   --> $DIR/type-alias.rs:9:25
  52    |
  53 LL | type _TaWhere5<T> where T: Iterator<Item: for<'a> Into<&'a u8>> = 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 _TaWhere5<T> where T: Iterator<Item: for<'a> Into<&'a u8>> = T;
  59 LL + type _TaWhere5<T>  = T;
  60    |
  61
  62 warning: where clauses are not enforced in type aliases
  63   --> $DIR/type-alias.rs:10:25
  64    |
  65 LL | type _TaWhere6<T> where T: Iterator<Item: Iterator<Item: Copy>> = T;
  66    |                         ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
  67    |
  68 help: the clause will not be checked when the type alias is used, and should be removed
  69    |
  70 LL - type _TaWhere6<T> where T: Iterator<Item: Iterator<Item: Copy>> = T;
  71 LL + type _TaWhere6<T>  = T;
  72    |
  73
  74 warning: bounds on generic parameters are not enforced in type aliases
  75   --> $DIR/type-alias.rs:12:20
  76    |
  77 LL | type _TaInline1<T: Iterator<Item: Copy>> = T;
  78    |                    ^^^^^^^^^^^^^^^^^^^^
  79    |
  80 help: the bound will not be checked when the type alias is used, and should be removed
  81    |
  82 LL - type _TaInline1<T: Iterator<Item: Copy>> = T;
  83 LL + type _TaInline1<T> = T;
  84    |
  85
  86 warning: bounds on generic parameters are not enforced in type aliases
  87   --> $DIR/type-alias.rs:13:20
  88    |
  89 LL | type _TaInline2<T: Iterator<Item: 'static>> = T;
  90    |                    ^^^^^^^^^^^^^^^^^^^^^^^
  91    |
  92 help: the bound will not be checked when the type alias is used, and should be removed
  93    |
  94 LL - type _TaInline2<T: Iterator<Item: 'static>> = T;
  95 LL + type _TaInline2<T> = T;
  96    |
  97
  98 warning: bounds on generic parameters are not enforced in type aliases
  99   --> $DIR/type-alias.rs:14:20
 100    |
 101 LL | type _TaInline3<T: Iterator<Item: 'static>> = T;
 102    |                    ^^^^^^^^^^^^^^^^^^^^^^^
 103    |
 104 help: the bound will not be checked when the type alias is used, and should be removed
 105    |
 106 LL - type _TaInline3<T: Iterator<Item: 'static>> = T;
 107 LL + type _TaInline3<T> = T;
 108    |
 109
 110 warning: bounds on generic parameters are not enforced in type aliases
 111   --> $DIR/type-alias.rs:15:20
 112    |
 113 LL | type _TaInline4<T: Iterator<Item: 'static + Copy + Send>> = T;
 114    |                    ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
 115    |
 116 help: the bound will not be checked when the type alias is used, and should be removed
 117    |
 118 LL - type _TaInline4<T: Iterator<Item: 'static + Copy + Send>> = T;
 119 LL + type _TaInline4<T> = T;
 120    |
 121
 122 warning: bounds on generic parameters are not enforced in type aliases
 123   --> $DIR/type-alias.rs:16:20
 124    |
 125 LL | type _TaInline5<T: Iterator<Item: for<'a> Into<&'a u8>>> = T;
 126    |                    ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
 127    |
 128 help: the bound will not be checked when the type alias is used, and should be removed
 129    |
 130 LL - type _TaInline5<T: Iterator<Item: for<'a> Into<&'a u8>>> = T;
 131 LL + type _TaInline5<T> = T;
 132    |
 133
 134 warning: bounds on generic parameters are not enforced in type aliases
 135   --> $DIR/type-alias.rs:17:20
 136    |
 137 LL | type _TaInline6<T: Iterator<Item: Iterator<Item: Copy>>> = T;
 138    |                    ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
 139    |
 140 help: the bound will not be checked when the type alias is used, and should be removed
 141    |
 142 LL - type _TaInline6<T: Iterator<Item: Iterator<Item: Copy>>> = T;
 143 LL + type _TaInline6<T> = T;
 144    |
 145
 146 warning: 12 warnings emitted
 147