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 warning: where clauses are not enforced in type aliases
  11   --> $DIR/type-alias.rs:6:25
  12    |
  13 LL | type _TaWhere2<T> where T: Iterator<Item: 'static> = T;
  14    |                         ^^^^^^^^^^^^^^^^^^^^^^^^^^
  15    |
  16    = help: the clause will not be checked when the type alias is used, and should be removed
  17
  18 warning: where clauses are not enforced in type aliases
  19   --> $DIR/type-alias.rs:7:25
  20    |
  21 LL | type _TaWhere3<T> where T: Iterator<Item: 'static> = T;
  22    |                         ^^^^^^^^^^^^^^^^^^^^^^^^^^
  23    |
  24    = help: the clause will not be checked when the type alias is used, and should be removed
  25
  26 warning: where clauses are not enforced in type aliases
  27   --> $DIR/type-alias.rs:8:25
  28    |
  29 LL | type _TaWhere4<T> where T: Iterator<Item: 'static + Copy + Send> = T;
  30    |                         ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
  31    |
  32    = help: the clause 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.rs:9:25
  36    |
  37 LL | type _TaWhere5<T> where T: Iterator<Item: for<'a> Into<&'a u8>> = T;
  38    |                         ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
  39    |
  40    = help: the clause will not be checked when the type alias is used, and should be removed
  41
  42 warning: where clauses are not enforced in type aliases
  43   --> $DIR/type-alias.rs:10:25
  44    |
  45 LL | type _TaWhere6<T> where T: Iterator<Item: Iterator<Item: Copy>> = T;
  46    |                         ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
  47    |
  48    = help: the clause will not be checked when the type alias is used, and should be removed
  49
  50 warning: bounds on generic parameters are not enforced in type aliases
  51   --> $DIR/type-alias.rs:12:20
  52    |
  53 LL | type _TaInline1<T: Iterator<Item: Copy>> = T;
  54    |                    ^^^^^^^^^^^^^^^^^^^^
  55    |
  56    = help: the bound will not be checked when the type alias is used, and should be removed
  57
  58 warning: bounds on generic parameters are not enforced in type aliases
  59   --> $DIR/type-alias.rs:13:20
  60    |
  61 LL | type _TaInline2<T: Iterator<Item: 'static>> = T;
  62    |                    ^^^^^^^^^^^^^^^^^^^^^^^
  63    |
  64    = help: the bound will not be checked when the type alias is used, and should be removed
  65
  66 warning: bounds on generic parameters are not enforced in type aliases
  67   --> $DIR/type-alias.rs:14:20
  68    |
  69 LL | type _TaInline3<T: Iterator<Item: 'static>> = T;
  70    |                    ^^^^^^^^^^^^^^^^^^^^^^^
  71    |
  72    = help: the bound will not be checked when the type alias is used, and should be removed
  73
  74 warning: bounds on generic parameters are not enforced in type aliases
  75   --> $DIR/type-alias.rs:15:20
  76    |
  77 LL | type _TaInline4<T: Iterator<Item: 'static + Copy + Send>> = T;
  78    |                    ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
  79    |
  80    = help: the bound will not be checked when the type alias is used, and should be removed
  81
  82 warning: bounds on generic parameters are not enforced in type aliases
  83   --> $DIR/type-alias.rs:16:20
  84    |
  85 LL | type _TaInline5<T: Iterator<Item: for<'a> Into<&'a u8>>> = T;
  86    |                    ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
  87    |
  88    = help: the bound will not be checked when the type alias is used, and should be removed
  89
  90 warning: bounds on generic parameters are not enforced in type aliases
  91   --> $DIR/type-alias.rs:17:20
  92    |
  93 LL | type _TaInline6<T: Iterator<Item: Iterator<Item: Copy>>> = T;
  94    |                    ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
  95    |
  96    = help: the bound will not be checked when the type alias is used, and should be removed
  97