Support macro calls in type position

2 files changed, 45 insertions, 0 deletions

diff --git a/crates/ra_syntax/tests/data/parser/inline/ok/0117_macro_call_type.rs b/crates/ra_syntax/tests/data/parser/inline/ok/0117_macro_call_type.rs
new file mode 100644
index 000000000..edb470c89
--- /dev/null
+++ b/crates/ra_syntax/tests/data/parser/inline/ok/0117_macro_call_type.rs
@@ -0,0 +1,2 @@
+type A = foo!();
+type B = crate::foo!();
diff --git a/crates/ra_syntax/tests/data/parser/inline/ok/0117_macro_call_type.txt b/crates/ra_syntax/tests/data/parser/inline/ok/0117_macro_call_type.txt
new file mode 100644
index 000000000..b2d95451c
--- /dev/null
+++ b/crates/ra_syntax/tests/data/parser/inline/ok/0117_macro_call_type.txt
@@ -0,0 +1,43 @@
+SOURCE_FILE@[0; 41)
+  TYPE_DEF@[0; 16)
+    TYPE_KW@[0; 4)
+    WHITESPACE@[4; 5)
+    NAME@[5; 6)
+      IDENT@[5; 6) "A"
+    WHITESPACE@[6; 7)
+    EQ@[7; 8)
+    WHITESPACE@[8; 9)
+    MACRO_CALL@[9; 15)
+      PATH@[9; 12)
+        PATH_SEGMENT@[9; 12)
+          NAME_REF@[9; 12)
+            IDENT@[9; 12) "foo"
+      EXCL@[12; 13)
+      TOKEN_TREE@[13; 15)
+        L_PAREN@[13; 14)
+        R_PAREN@[14; 15)
+    SEMI@[15; 16)
+  WHITESPACE@[16; 17)
+  TYPE_DEF@[17; 40)
+    TYPE_KW@[17; 21)
+    WHITESPACE@[21; 22)
+    NAME@[22; 23)
+      IDENT@[22; 23) "B"
+    WHITESPACE@[23; 24)
+    EQ@[24; 25)
+    WHITESPACE@[25; 26)
+    MACRO_CALL@[26; 39)
+      PATH@[26; 36)
+        PATH@[26; 31)
+          PATH_SEGMENT@[26; 31)
+            CRATE_KW@[26; 31)
+        COLONCOLON@[31; 33)
+        PATH_SEGMENT@[33; 36)
+          NAME_REF@[33; 36)
+            IDENT@[33; 36) "foo"
+      EXCL@[36; 37)
+      TOKEN_TREE@[37; 39)
+        L_PAREN@[37; 38)
+        R_PAREN@[38; 39)
+    SEMI@[39; 40)
+  WHITESPACE@[40; 41)