]>
Commit | Line | Data |
---|---|---|
32a655c1 SL |
1 | type A = for<'a:> fn(); // OK |
2 | type A = for<'a:,> fn(); // OK | |
3 | type A = for<'a> fn(); // OK | |
4 | type A = for<> fn(); // OK | |
0531ce1d XL |
5 | type A = for<'a: 'b + 'c> fn(); // OK (rejected later by ast_validation) |
6 | type A = for<'a: 'b,> fn(); // OK(rejected later by ast_validation) | |
7 | type A = for<'a: 'b +> fn(); // OK (rejected later by ast_validation) | |
8 | type A = for<'a, T> fn(); // OK (rejected later by ast_validation) | |
ba9703b0 | 9 | type A = for<,> fn(); //~ ERROR expected one of `#`, `>`, `const`, identifier, or lifetime |
223e47cc LB |
10 | |
11 | fn main() {} |