Change parsing of struct field patterns

4 files changed, 32 insertions, 26 deletions

diff --git a/crates/ra_syntax/src/ast/generated.rs b/crates/ra_syntax/src/ast/generated.rs
index 23a573d74..271040bf4 100644
--- a/crates/ra_syntax/src/ast/generated.rs
+++ b/crates/ra_syntax/src/ast/generated.rs
@@ -910,7 +910,11 @@ impl AstNode for FieldPatList {
 
 
 impl FieldPatList {
-    pub fn pats(&self) -> impl Iterator<Item = &FieldPat> {
+    pub fn field_pats(&self) -> impl Iterator<Item = &FieldPat> {
+        super::children(self)
+    }
+
+    pub fn bind_pats(&self) -> impl Iterator<Item = &BindPat> {
         super::children(self)
     }
 }
diff --git a/crates/ra_syntax/src/grammar.ron b/crates/ra_syntax/src/grammar.ron
index d8c1ae538..fc47c36d3 100644
--- a/crates/ra_syntax/src/grammar.ron
+++ b/crates/ra_syntax/src/grammar.ron
@@ -496,7 +496,12 @@ Grammar(
         "PlaceholderPat": (),
         "PathPat": ( options: [ "Path" ] ),
         "StructPat": ( options: ["FieldPatList", "Path"] ),
-        "FieldPatList": ( collections: [["pats", "FieldPat"]] ),
+        "FieldPatList": (
+            collections: [
+                ["field_pats", "FieldPat"],
+                ["bind_pats", "BindPat"],
+            ]
+        ),
         "FieldPat": (
             traits: ["NameOwner"],
             options: ["Pat"]
diff --git a/crates/ra_syntax/src/grammar/patterns.rs b/crates/ra_syntax/src/grammar/patterns.rs
index ff9d94f8a..1ac5efdf6 100644
--- a/crates/ra_syntax/src/grammar/patterns.rs
+++ b/crates/ra_syntax/src/grammar/patterns.rs
@@ -128,7 +128,11 @@ fn field_pat_list(p: &mut Parser) {
     while !p.at(EOF) && !p.at(R_CURLY) {
         match p.current() {
             DOTDOT => p.bump(),
-            _ => field_pat(p),
+            IDENT if p.nth(1) == COLON => field_pat(p),
+            L_CURLY => error_block(p, "expected ident"),
+            _ => {
+                bind_pat(p, false);
+            }
         }
         if !p.at(R_CURLY) {
             p.expect(COMMA);
@@ -139,18 +143,13 @@ fn field_pat_list(p: &mut Parser) {
 }
 
 fn field_pat(p: &mut Parser) {
+    assert!(p.at(IDENT));
+    assert!(p.nth(1) == COLON);
+
     let m = p.start();
-    match p.current() {
-        IDENT if p.nth(1) == COLON => {
-            name(p);
-            p.bump();
-            pattern(p);
-        }
-        L_CURLY => error_block(p, "expected ident"),
-        _ => {
-            bind_pat(p, false);
-        }
-    }
+    name(p);
+    p.bump();
+    pattern(p);
     m.complete(p, FIELD_PAT);
 }
 
diff --git a/crates/ra_syntax/tests/data/parser/inline/ok/0102_field_pat_list.txt b/crates/ra_syntax/tests/data/parser/inline/ok/0102_field_pat_list.txt
index ec48eada1..3f7bb10d2 100644
--- a/crates/ra_syntax/tests/data/parser/inline/ok/0102_field_pat_list.txt
+++ b/crates/ra_syntax/tests/data/parser/inline/ok/0102_field_pat_list.txt
@@ -43,20 +43,18 @@ SOURCE_FILE@[0; 119)
           FIELD_PAT_LIST@[40; 56)
             L_CURLY@[40; 41)
             WHITESPACE@[41; 42)
-            FIELD_PAT@[42; 43)
-              BIND_PAT@[42; 43)
-                NAME@[42; 43)
-                  IDENT@[42; 43) "f"
+            BIND_PAT@[42; 43)
+              NAME@[42; 43)
+                IDENT@[42; 43) "f"
             COMMA@[43; 44)
             WHITESPACE@[44; 45)
-            FIELD_PAT@[45; 54)
-              BIND_PAT@[45; 54)
-                REF_KW@[45; 48)
-                WHITESPACE@[48; 49)
-                MUT_KW@[49; 52)
-                WHITESPACE@[52; 53)
-                NAME@[53; 54)
-                  IDENT@[53; 54) "g"
+            BIND_PAT@[45; 54)
+              REF_KW@[45; 48)
+              WHITESPACE@[48; 49)
+              MUT_KW@[49; 52)
+              WHITESPACE@[52; 53)
+              NAME@[53; 54)
+                IDENT@[53; 54) "g"
             WHITESPACE@[54; 55)
             R_CURLY@[55; 56)
         WHITESPACE@[56; 57)