add bounded_type to trait choice in abstract_type

Author: m4rch3n1ng

grammar.js

@@ -896,14 +896,15 @@ module.exports = grammar({
     abstract_type: $ => seq(
       'impl',
       optional(seq('for', $.type_parameters)),
-      field('trait', choice(
+      field('trait', prec(1, choice(
         $._type_identifier,
         $.scoped_type_identifier,
         $.removed_trait_bound,
         $.generic_type,
         $.function_type,
         $.tuple_type,
-      )),
+        $.bounded_type,
+      ))),
     ),
 
     dynamic_type: $ => seq(

test/corpus/declarations.txt

@@ -266,6 +266,31 @@ fn triples(a: impl B) -> impl Iterator<Item=(usize)> {
               (primitive_type))))))
     (block)))
 
+================================================================================
+Impl with lifetimes first
+================================================================================
+
+fn foo<'a>(x: impl 'a + Clone) {}
+
+--------------------------------------------------------------------------------
+
+(source_file
+  (function_item
+    (identifier)
+    (type_parameters
+      (lifetime_parameter
+        (lifetime
+          (identifier))))
+    (parameters
+      (parameter
+        (identifier)
+        (abstract_type
+          (bounded_type
+            (lifetime
+              (identifier))
+            (type_identifier)))))
+      (block)))
+
 ================================================================================
 Functions with precise capture syntax
 ================================================================================