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

   1 // check-pass
   2
   3 #![feature(associated_type_bounds)]
   4
   5 type _TaWhere1<T> where T: Iterator<Item: Copy> = T; //~ WARNING type_alias_bounds
   6 type _TaWhere2<T> where T: Iterator<Item: 'static> = T; //~ WARNING type_alias_bounds
   7 type _TaWhere3<T> where T: Iterator<Item: 'static> = T; //~ WARNING type_alias_bounds
   8 type _TaWhere4<T> where T: Iterator<Item: 'static + Copy + Send> = T; //~ WARNING type_alias_bounds
   9 type _TaWhere5<T> where T: Iterator<Item: for<'a> Into<&'a u8>> = T; //~ WARNING type_alias_bounds
  10 type _TaWhere6<T> where T: Iterator<Item: Iterator<Item: Copy>> = T; //~ WARNING type_alias_bounds
  11
  12 type _TaInline1<T: Iterator<Item: Copy>> = T; //~ WARNING type_alias_bounds
  13 type _TaInline2<T: Iterator<Item: 'static>> = T; //~ WARNING type_alias_bounds
  14 type _TaInline3<T: Iterator<Item: 'static>> = T; //~ WARNING type_alias_bounds
  15 type _TaInline4<T: Iterator<Item: 'static + Copy + Send>> = T; //~ WARNING type_alias_bounds
  16 type _TaInline5<T: Iterator<Item: for<'a> Into<&'a u8>>> = T; //~ WARNING type_alias_bounds
  17 type _TaInline6<T: Iterator<Item: Iterator<Item: Copy>>> = T; //~ WARNING type_alias_bounds
  18
  19 fn main() {}