Enable parsing of attributes inside a match block

We allow invalid inner attributes to be parsed, e.g. inner attributes that are
not directly after the opening brace of the match block.

Instead we run validation on `MatchArmList` to allow better reporting of errors.

1 files changed, 64 insertions, 0 deletions

diff --git a/crates/ra_syntax/tests/data/parser/err/0033_match_arms_outer_attrs.txt b/crates/ra_syntax/tests/data/parser/err/0033_match_arms_outer_attrs.txt
new file mode 100644
index 000000000..7f8767001
--- /dev/null
+++ b/crates/ra_syntax/tests/data/parser/err/0033_match_arms_outer_attrs.txt
@@ -0,0 +1,64 @@
+SOURCE_FILE@[0; 89)
+  FN_DEF@[0; 88)
+    FN_KW@[0; 2)
+    WHITESPACE@[2; 3)
+    NAME@[3; 6)
+      IDENT@[3; 6) "foo"
+    PARAM_LIST@[6; 8)
+      L_PAREN@[6; 7)
+      R_PAREN@[7; 8)
+    WHITESPACE@[8; 9)
+    BLOCK@[9; 88)
+      L_CURLY@[9; 10)
+      WHITESPACE@[10; 15)
+      MATCH_EXPR@[15; 86)
+        MATCH_KW@[15; 20)
+        WHITESPACE@[20; 21)
+        TUPLE_EXPR@[21; 23)
+          L_PAREN@[21; 22)
+          R_PAREN@[22; 23)
+        WHITESPACE@[23; 24)
+        MATCH_ARM_LIST@[24; 86)
+          L_CURLY@[24; 25)
+          WHITESPACE@[25; 34)
+          MATCH_ARM@[34; 41)
+            PLACEHOLDER_PAT@[34; 35)
+              UNDERSCORE@[34; 35)
+            WHITESPACE@[35; 36)
+            FAT_ARROW@[36; 38)
+            WHITESPACE@[38; 39)
+            TUPLE_EXPR@[39; 41)
+              L_PAREN@[39; 40)
+              R_PAREN@[40; 41)
+          COMMA@[41; 42)
+          WHITESPACE@[42; 51)
+          MATCH_ARM@[51; 58)
+            PLACEHOLDER_PAT@[51; 52)
+              UNDERSCORE@[51; 52)
+            WHITESPACE@[52; 53)
+            FAT_ARROW@[53; 55)
+            WHITESPACE@[55; 56)
+            TUPLE_EXPR@[56; 58)
+              L_PAREN@[56; 57)
+              R_PAREN@[57; 58)
+          COMMA@[58; 59)
+          WHITESPACE@[59; 68)
+          ATTR@[68; 80)
+            POUND@[68; 69)
+            TOKEN_TREE@[69; 80)
+              L_BRACK@[69; 70)
+              IDENT@[70; 73) "cfg"
+              TOKEN_TREE@[73; 79)
+                L_PAREN@[73; 74)
+                IDENT@[74; 78) "test"
+                R_PAREN@[78; 79)
+              R_BRACK@[79; 80)
+          WHITESPACE@[80; 85)
+          err: `expected pattern`
+          err: `expected FAT_ARROW`
+          err: `expected expression`
+          MATCH_ARM@[85; 85)
+          R_CURLY@[85; 86)
+      WHITESPACE@[86; 87)
+      R_CURLY@[87; 88)
+  WHITESPACE@[88; 89)