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