Support exclusive_range_pattern

Fix #9779

crates/parser/src/grammar/patterns.rs

@@ -65,14 +65,18 @@ fn pattern_single_r(p: &mut Parser, recovery_set: TokenSet) {
         //     match 92 {
         //         0 ... 100 => (),
         //         101 ..= 200 => (),
-        //         200 .. 301=> (),
+        //         200 .. 301 => (),
+        //         302 .. => (),
         //     }
         // }
         for &range_op in [T![...], T![..=], T![..]].iter() {
             if p.at(range_op) {
                 let m = lhs.precede(p);
                 p.bump(range_op);
-                atom_pat(p, recovery_set);
+                if !p.at(T![=>]) {
+                    // not a range pat like `302 .. => ()`
+                    atom_pat(p, recovery_set);
+                }
                 m.complete(p, RANGE_PAT);
                 return;
             }
@@ -84,7 +88,7 @@ const PAT_RECOVERY_SET: TokenSet =
     TokenSet::new(&[T![let], T![if], T![while], T![loop], T![match], T![')'], T![,], T![=]]);
 
 fn atom_pat(p: &mut Parser, recovery_set: TokenSet) -> Option<CompletedMarker> {
-    let m = match p.nth(0) {
+    let m = match p.current() {
         T![box] => box_pat(p),
         T![ref] | T![mut] => ident_pat(p, true),
         T![const] => const_block_pat(p),

crates/syntax/test_data/parser/inline/ok/0058_range_pat.rast

@@ -1,5 +1,5 @@
-SOURCE_FILE@0..112
+SOURCE_FILE@0..135
-  FN@0..111
+  FN@0..134
     FN_KW@0..2 "fn"
     WHITESPACE@2..3 " "
     NAME@3..7
@@ -8,16 +8,16 @@ SOURCE_FILE@0..112
       L_PAREN@7..8 "("
       R_PAREN@8..9 ")"
     WHITESPACE@9..10 " "
-    BLOCK_EXPR@10..111
+    BLOCK_EXPR@10..134
       L_CURLY@10..11 "{"
       WHITESPACE@11..16 "\n    "
-      MATCH_EXPR@16..109
+      MATCH_EXPR@16..132
         MATCH_KW@16..21 "match"
         WHITESPACE@21..22 " "
         LITERAL@22..24
           INT_NUMBER@22..24 "92"
         WHITESPACE@24..25 " "
-        MATCH_ARM_LIST@25..109
+        MATCH_ARM_LIST@25..132
           L_CURLY@25..26 "{"
           WHITESPACE@26..35 "\n        "
           MATCH_ARM@35..51
@@ -58,7 +58,7 @@ SOURCE_FILE@0..112
               R_PAREN@76..77 ")"
             COMMA@77..78 ","
           WHITESPACE@78..87 "\n        "
-          MATCH_ARM@87..103
+          MATCH_ARM@87..104
             RANGE_PAT@87..97
               LITERAL_PAT@87..90
                 LITERAL@87..90
@@ -69,14 +69,30 @@ SOURCE_FILE@0..112
               LITERAL_PAT@94..97
                 LITERAL@94..97
                   INT_NUMBER@94..97 "301"
-            FAT_ARROW@97..99 "=>"
+            WHITESPACE@97..98 " "
-            WHITESPACE@99..100 " "
+            FAT_ARROW@98..100 "=>"
-            TUPLE_EXPR@100..102
+            WHITESPACE@100..101 " "
-              L_PAREN@100..101 "("
+            TUPLE_EXPR@101..103
-              R_PAREN@101..102 ")"
+              L_PAREN@101..102 "("
-            COMMA@102..103 ","
+              R_PAREN@102..103 ")"
-          WHITESPACE@103..108 "\n    "
+            COMMA@103..104 ","
-          R_CURLY@108..109 "}"
+          WHITESPACE@104..113 "\n        "
-      WHITESPACE@109..110 "\n"
+          MATCH_ARM@113..126
-      R_CURLY@110..111 "}"
+            RANGE_PAT@113..119
-  WHITESPACE@111..112 "\n"
+              LITERAL_PAT@113..116
+                LITERAL@113..116
+                  INT_NUMBER@113..116 "302"
+              WHITESPACE@116..117 " "
+              DOT2@117..119 ".."
+            WHITESPACE@119..120 " "
+            FAT_ARROW@120..122 "=>"
+            WHITESPACE@122..123 " "
+            TUPLE_EXPR@123..125
+              L_PAREN@123..124 "("
+              R_PAREN@124..125 ")"
+            COMMA@125..126 ","
+          WHITESPACE@126..131 "\n    "
+          R_CURLY@131..132 "}"
+      WHITESPACE@132..133 "\n"
+      R_CURLY@133..134 "}"
+  WHITESPACE@134..135 "\n"

crates/syntax/test_data/parser/inline/ok/0058_range_pat.rs

@@ -2,6 +2,7 @@ fn main() {
     match 92 {
         0 ... 100 => (),
         101 ..= 200 => (),
-        200 .. 301=> (),
+        200 .. 301 => (),
+        302 .. => (),
     }
 }