|
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