src/test/ui/parser/bounds-lifetime.rs

   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
   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)
   9 type A = for<,> fn(); //~ ERROR expected one of `#`, `>`, `const`, identifier, or lifetime
  10
  11 fn main() {}