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