impl trait type

2 files changed, 40 insertions, 0 deletions

diff --git a/tests/data/parser/inline/0063_impl_trait_type.rs b/tests/data/parser/inline/0063_impl_trait_type.rs
new file mode 100644
index 000000000..54c5a7c46
--- /dev/null
+++ b/tests/data/parser/inline/0063_impl_trait_type.rs
@@ -0,0 +1 @@
+type A = impl Iterator<Item=Foo<'a>> + 'a;
diff --git a/tests/data/parser/inline/0063_impl_trait_type.txt b/tests/data/parser/inline/0063_impl_trait_type.txt
new file mode 100644
index 000000000..1a7d8618f
--- /dev/null
+++ b/tests/data/parser/inline/0063_impl_trait_type.txt
@@ -0,0 +1,39 @@
+FILE@[0; 43)
+  TYPE_ITEM@[0; 43)
+    TYPE_KW@[0; 4)
+    NAME@[4; 7)
+      WHITESPACE@[4; 5)
+      IDENT@[5; 6) "A"
+      WHITESPACE@[6; 7)
+    EQ@[7; 8)
+    IMPL_TRAIT_TYPE@[8; 41)
+      WHITESPACE@[8; 9)
+      IMPL_KW@[9; 13)
+      PATH@[13; 37)
+        PATH_SEGMENT@[13; 37)
+          NAME_REF@[13; 22)
+            WHITESPACE@[13; 14)
+            IDENT@[14; 22) "Iterator"
+          TYPE_ARG_LIST@[22; 37)
+            L_ANGLE@[22; 23)
+            ASSOC_TYPE_ARG@[23; 35)
+              NAME_REF@[23; 27)
+                IDENT@[23; 27) "Item"
+              EQ@[27; 28)
+              PATH_TYPE@[28; 35)
+                PATH@[28; 35)
+                  PATH_SEGMENT@[28; 35)
+                    NAME_REF@[28; 31)
+                      IDENT@[28; 31) "Foo"
+                    TYPE_ARG_LIST@[31; 35)
+                      L_ANGLE@[31; 32)
+                      LIFETIME_ARG@[32; 34)
+                        LIFETIME@[32; 34) "'a"
+                      R_ANGLE@[34; 35)
+            R_ANGLE@[35; 36)
+            WHITESPACE@[36; 37)
+      PLUS@[37; 38)
+      WHITESPACE@[38; 39)
+      LIFETIME@[39; 41) "'a"
+    SEMI@[41; 42)
+    WHITESPACE@[42; 43)