Complete params

8 files changed, 178 insertions, 160 deletions

diff --git a/crates/libsyntax2/src/ast/generated.rs b/crates/libsyntax2/src/ast/generated.rs
index 11306a835..4a57837df 100644
--- a/crates/libsyntax2/src/ast/generated.rs
+++ b/crates/libsyntax2/src/ast/generated.rs
@@ -682,6 +682,28 @@ impl<'a> AstNode<'a> for IndexExpr<'a> {
 
 impl<'a> IndexExpr<'a> {}
 
+// ItemList
+#[derive(Debug, Clone, Copy)]
+pub struct ItemList<'a> {
+    syntax: SyntaxNodeRef<'a>,
+}
+
+impl<'a> AstNode<'a> for ItemList<'a> {
+    fn cast(syntax: SyntaxNodeRef<'a>) -> Option<Self> {
+        match syntax.kind() {
+            ITEM_LIST => Some(ItemList { syntax }),
+            _ => None,
+        }
+    }
+    fn syntax(self) -> SyntaxNodeRef<'a> { self.syntax }
+}
+
+impl<'a> ItemList<'a> {
+    pub fn items(self) -> impl Iterator<Item = ModuleItem<'a>> + 'a {
+        super::children(self)
+    }
+}
+
 // Label
 #[derive(Debug, Clone, Copy)]
 pub struct Label<'a> {
@@ -956,9 +978,9 @@ impl<'a> AstNode<'a> for Module<'a> {
 
 impl<'a> ast::NameOwner<'a> for Module<'a> {}
 impl<'a> ast::AttrsOwner<'a> for Module<'a> {}
-impl<'a> Module<'a> {
-    pub fn items(self) -> impl Iterator<Item = ModuleItem<'a>> + 'a {
-        super::children(self)
+impl<'a> ast::FnDefOwner<'a> for Module<'a> {}
+impl<'a> Module<'a> {pub fn item_list(self) -> Option<ItemList<'a>> {
+        super::child_opt(self)
     }
 }
 
@@ -1593,15 +1615,12 @@ impl<'a> AstNode<'a> for Root<'a> {
     fn syntax(self) -> SyntaxNodeRef<'a> { self.syntax }
 }
 
+impl<'a> ast::FnDefOwner<'a> for Root<'a> {}
 impl<'a> Root<'a> {
     pub fn items(self) -> impl Iterator<Item = ModuleItem<'a>> + 'a {
         super::children(self)
     }
 
-    pub fn functions(self) -> impl Iterator<Item = FnDef<'a>> + 'a {
-        super::children(self)
-    }
-
     pub fn modules(self) -> impl Iterator<Item = Module<'a>> + 'a {
         super::children(self)
     }
diff --git a/crates/libsyntax2/src/ast/mod.rs b/crates/libsyntax2/src/ast/mod.rs
index 274996171..881f380f3 100644
--- a/crates/libsyntax2/src/ast/mod.rs
+++ b/crates/libsyntax2/src/ast/mod.rs
@@ -32,6 +32,12 @@ pub trait ArgListOwner<'a>: AstNode<'a> {
     }
 }
 
+pub trait FnDefOwner<'a>: AstNode<'a> {
+    fn functions(self) -> Box<Iterator<Item=FnDef<'a>> + 'a> {
+        Box::new(children(self))
+    }
+}
+
 pub trait TypeParamsOwner<'a>: AstNode<'a> {
     fn type_param_list(self) -> Option<TypeParamList<'a>> {
         child_opt(self)
diff --git a/crates/libsyntax2/src/grammar.ron b/crates/libsyntax2/src/grammar.ron
index 683623a5d..8a2b780f0 100644
--- a/crates/libsyntax2/src/grammar.ron
+++ b/crates/libsyntax2/src/grammar.ron
@@ -238,9 +238,9 @@ Grammar(
     ],
     ast: {
         "Root": (
+            traits: [ "FnDefOwner" ],
             collections: [
                 ["items", "ModuleItem"],
-                ["functions", "FnDef"],
                 ["modules", "Module"],
             ]
         ),
@@ -271,10 +271,11 @@ Grammar(
         ] ),
         "TraitDef": ( traits: ["NameOwner", "AttrsOwner"] ),
         "Module": (
-            traits: ["NameOwner", "AttrsOwner"],
-            collections: [
-                ["items", "ModuleItem"]
-            ]
+            traits: ["NameOwner", "AttrsOwner", "FnDefOwner" ],
+            options: [ "ItemList" ]
+        ),
+        "ItemList": (
+            collections: [ ["items", "ModuleItem"] ]
         ),
         "ConstDef": ( traits: [
             "NameOwner",
diff --git a/crates/libsyntax2/src/grammar/patterns.rs b/crates/libsyntax2/src/grammar/patterns.rs
index 065570b99..aa20ae8e4 100644
--- a/crates/libsyntax2/src/grammar/patterns.rs
+++ b/crates/libsyntax2/src/grammar/patterns.rs
@@ -23,7 +23,7 @@ pub(super) fn pattern(p: &mut Parser) {
 }
 
 const PAT_RECOVERY_SET: TokenSet =
-    token_set![LET_KW, IF_KW, WHILE_KW, LOOP_KW, MATCH_KW];
+    token_set![LET_KW, IF_KW, WHILE_KW, LOOP_KW, MATCH_KW, R_PAREN, COMMA];
 
 
 fn atom_pat(p: &mut Parser) -> Option<CompletedMarker> {
diff --git a/crates/libsyntax2/src/grammar/types.rs b/crates/libsyntax2/src/grammar/types.rs
index 89030e66c..a52355b50 100644
--- a/crates/libsyntax2/src/grammar/types.rs
+++ b/crates/libsyntax2/src/grammar/types.rs
@@ -8,6 +8,9 @@ pub(super) const TYPE_FIRST: TokenSet =
         paths::PATH_FIRST,
     ];
 
+const TYPE_RECOVERY_SET: TokenSet =
+    token_set![R_PAREN, COMMA];
+
 pub(super) fn type_(p: &mut Parser) {
     match p.current() {
         L_PAREN => paren_or_tuple_type(p),
@@ -23,7 +26,7 @@ pub(super) fn type_(p: &mut Parser) {
         L_ANGLE => path_type(p),
         _ if paths::is_path_start(p) => path_type(p),
         _ => {
-            p.err_and_bump("expected type");
+            p.err_recover("expected type", TYPE_RECOVERY_SET);
         }
     }
 }
diff --git a/crates/libsyntax2/tests/data/parser/err/0018_incomplete_fn.txt b/crates/libsyntax2/tests/data/parser/err/0018_incomplete_fn.txt
index 58e39a341..c4d9f5e7e 100644
--- a/crates/libsyntax2/tests/data/parser/err/0018_incomplete_fn.txt
+++ b/crates/libsyntax2/tests/data/parser/err/0018_incomplete_fn.txt
@@ -11,168 +11,121 @@ ROOT@[0; 183)
     ITEM_LIST@[14; 182)
       L_CURLY@[14; 15)
       WHITESPACE@[15; 20)
-      FN_DEF@[20; 180)
+      FN_DEF@[20; 161)
         FN_KW@[20; 22)
         WHITESPACE@[22; 23)
         NAME@[23; 32)
           IDENT@[23; 32) "new_scope"
-        PARAM_LIST@[32; 180)
+        PARAM_LIST@[32; 35)
           L_PAREN@[32; 33)
-          PARAM@[33; 38)
-            REF_PAT@[33; 35)
+          PARAM@[33; 34)
+            REF_PAT@[33; 34)
               AMP@[33; 34)
               err: `expected pattern`
-              ERROR@[34; 35)
-                R_PAREN@[34; 35)
-                err: `expected COLON`
-            WHITESPACE@[35; 36)
-            err: `expected type`
-            ERROR@[36; 38)
-              THIN_ARROW@[36; 38)
-              err: `expected COMMA`
+              err: `expected COLON`
+              err: `expected type`
+          R_PAREN@[34; 35)
+        WHITESPACE@[35; 36)
+        RET_TYPE@[36; 46)
+          THIN_ARROW@[36; 38)
           WHITESPACE@[38; 39)
-          PARAM@[39; 169)
-            STRUCT_PAT@[39; 161)
-              PATH@[39; 46)
-                PATH_SEGMENT@[39; 46)
-                  NAME_REF@[39; 46)
-                    IDENT@[39; 46) "ScopeId"
-              WHITESPACE@[46; 47)
-              FIELD_PAT_LIST@[47; 161)
-                L_CURLY@[47; 48)
-                WHITESPACE@[48; 57)
-                err: `expected a name`
-                BIND_PAT@[57; 60)
-                  ERROR@[57; 60)
-                    LET_KW@[57; 60)
-                    err: `expected COMMA`
-                WHITESPACE@[60; 61)
-                BIND_PAT@[61; 64)
-                  NAME@[61; 64)
-                    IDENT@[61; 64) "res"
-                    err: `expected COMMA`
-                WHITESPACE@[64; 65)
-                err: `expected a name`
-                BIND_PAT@[65; 66)
-                  ERROR@[65; 66)
-                    EQ@[65; 66)
-                    err: `expected COMMA`
-                WHITESPACE@[66; 67)
-                err: `expected a name`
-                BIND_PAT@[67; 71)
-                  ERROR@[67; 71)
-                    SELF_KW@[67; 71)
-                    err: `expected COMMA`
-                    err: `expected a name`
-                BIND_PAT@[71; 72)
-                  ERROR@[71; 72)
-                    DOT@[71; 72)
-                    err: `expected COMMA`
-                BIND_PAT@[72; 78)
-                  NAME@[72; 78)
-                    IDENT@[72; 78) "scopes"
-                    err: `expected COMMA`
-                    err: `expected a name`
-                BIND_PAT@[78; 79)
-                  ERROR@[78; 79)
-                    DOT@[78; 79)
-                    err: `expected COMMA`
-                BIND_PAT@[79; 82)
-                  NAME@[79; 82)
-                    IDENT@[79; 82) "len"
-                    err: `expected COMMA`
-                    err: `expected a name`
-                BIND_PAT@[82; 83)
-                  ERROR@[82; 83)
-                    L_PAREN@[82; 83)
-                    err: `expected COMMA`
-                    err: `expected a name`
-                BIND_PAT@[83; 84)
-                  ERROR@[83; 84)
-                    R_PAREN@[83; 84)
-                    err: `expected COMMA`
-                    err: `expected a name`
-                BIND_PAT@[84; 85)
-                  ERROR@[84; 85)
-                    SEMI@[84; 85)
-                    err: `expected COMMA`
-                WHITESPACE@[85; 94)
-                err: `expected a name`
-                BIND_PAT@[94; 98)
-                  ERROR@[94; 98)
+          PATH_TYPE@[39; 46)
+            PATH@[39; 46)
+              PATH_SEGMENT@[39; 46)
+                NAME_REF@[39; 46)
+                  IDENT@[39; 46) "ScopeId"
+        WHITESPACE@[46; 47)
+        BLOCK@[47; 161)
+          L_CURLY@[47; 48)
+          WHITESPACE@[48; 57)
+          LET_STMT@[57; 85)
+            LET_KW@[57; 60)
+            WHITESPACE@[60; 61)
+            BIND_PAT@[61; 64)
+              NAME@[61; 64)
+                IDENT@[61; 64) "res"
+            WHITESPACE@[64; 65)
+            EQ@[65; 66)
+            WHITESPACE@[66; 67)
+            METHOD_CALL_EXPR@[67; 84)
+              FIELD_EXPR@[67; 78)
+                PATH_EXPR@[67; 71)
+                  PATH@[67; 71)
+                    PATH_SEGMENT@[67; 71)
+                      SELF_KW@[67; 71)
+                DOT@[71; 72)
+                NAME_REF@[72; 78)
+                  IDENT@[72; 78) "scopes"
+              DOT@[78; 79)
+              NAME_REF@[79; 82)
+                IDENT@[79; 82) "len"
+              ARG_LIST@[82; 84)
+                L_PAREN@[82; 83)
+                R_PAREN@[83; 84)
+            SEMI@[84; 85)
+          WHITESPACE@[85; 94)
+          METHOD_CALL_EXPR@[94; 155)
+            FIELD_EXPR@[94; 105)
+              PATH_EXPR@[94; 98)
+                PATH@[94; 98)
+                  PATH_SEGMENT@[94; 98)
                     SELF_KW@[94; 98)
-                    err: `expected COMMA`
-                    err: `expected a name`
-                BIND_PAT@[98; 99)
-                  ERROR@[98; 99)
-                    DOT@[98; 99)
-                    err: `expected COMMA`
-                BIND_PAT@[99; 105)
-                  NAME@[99; 105)
-                    IDENT@[99; 105) "scopes"
-                    err: `expected COMMA`
-                    err: `expected a name`
-                BIND_PAT@[105; 106)
-                  ERROR@[105; 106)
-                    DOT@[105; 106)
-                    err: `expected COMMA`
-                BIND_PAT@[106; 110)
-                  NAME@[106; 110)
-                    IDENT@[106; 110) "push"
-                    err: `expected COMMA`
-                    err: `expected a name`
-                BIND_PAT@[110; 111)
-                  ERROR@[110; 111)
-                    L_PAREN@[110; 111)
-                    err: `expected COMMA`
-                BIND_PAT@[111; 120)
-                  NAME@[111; 120)
-                    IDENT@[111; 120) "ScopeData"
-                    err: `expected COMMA`
+              DOT@[98; 99)
+              NAME_REF@[99; 105)
+                IDENT@[99; 105) "scopes"
+            DOT@[105; 106)
+            NAME_REF@[106; 110)
+              IDENT@[106; 110) "push"
+            ARG_LIST@[110; 155)
+              L_PAREN@[110; 111)
+              STRUCT_LIT@[111; 154)
+                PATH@[111; 120)
+                  PATH_SEGMENT@[111; 120)
+                    NAME_REF@[111; 120)
+                      IDENT@[111; 120) "ScopeData"
                 WHITESPACE@[120; 121)
-                err: `expected ident`
-                ERROR@[121; 154)
+                NAMED_FIELD_LIST@[121; 154)
                   L_CURLY@[121; 122)
                   WHITESPACE@[122; 123)
-                  IDENT@[123; 129) "parent"
-                  COLON@[129; 130)
-                  WHITESPACE@[130; 131)
-                  IDENT@[131; 135) "None"
+                  NAMED_FIELD@[123; 135)
+                    NAME_REF@[123; 129)
+                      IDENT@[123; 129) "parent"
+                    COLON@[129; 130)
+                    WHITESPACE@[130; 131)
+                    PATH_EXPR@[131; 135)
+                      PATH@[131; 135)
+                        PATH_SEGMENT@[131; 135)
+                          NAME_REF@[131; 135)
+                            IDENT@[131; 135) "None"
                   COMMA@[135; 136)
                   WHITESPACE@[136; 137)
-                  IDENT@[137; 144) "entries"
-                  COLON@[144; 145)
-                  WHITESPACE@[145; 146)
-                  IDENT@[146; 149) "vec"
-                  EXCL@[149; 150)
-                  L_BRACK@[150; 151)
-                  R_BRACK@[151; 152)
+                  NAMED_FIELD@[137; 152)
+                    NAME_REF@[137; 144)
+                      IDENT@[137; 144) "entries"
+                    COLON@[144; 145)
+                    WHITESPACE@[145; 146)
+                    MACRO_CALL@[146; 152)
+                      PATH@[146; 149)
+                        PATH_SEGMENT@[146; 149)
+                          NAME_REF@[146; 149)
+                            IDENT@[146; 149) "vec"
+                      EXCL@[149; 150)
+                      TOKEN_TREE@[150; 152)
+                        L_BRACK@[150; 151)
+                        R_BRACK@[151; 152)
                   WHITESPACE@[152; 153)
                   R_CURLY@[153; 154)
-                  err: `expected COMMA`
-                  err: `expected a name`
-                BIND_PAT@[154; 155)
-                  ERROR@[154; 155)
-                    R_PAREN@[154; 155)
-                WHITESPACE@[155; 160)
-                R_CURLY@[160; 161)
-                err: `expected COLON`
-            WHITESPACE@[161; 167)
-            FN_POINTER_TYPE@[167; 169)
-              FN_KW@[167; 169)
-              err: `expected parameters`
-              err: `expected COMMA`
-          WHITESPACE@[169; 170)
-          PARAM@[170; 180)
-            BIND_PAT@[170; 180)
-              NAME@[170; 180)
-                IDENT@[170; 180) "set_parent"
-                err: `expected COLON`
-                err: `expected type`
-                err: `expected COMMA`
-                err: `expected value parameter`
-                err: `expected R_PAREN`
-                err: `expected a block`
+              R_PAREN@[154; 155)
+          WHITESPACE@[155; 160)
+          R_CURLY@[160; 161)
+      WHITESPACE@[161; 167)
+      FN_DEF@[167; 180)
+        FN_KW@[167; 169)
+        WHITESPACE@[169; 170)
+        NAME@[170; 180)
+          IDENT@[170; 180) "set_parent"
+          err: `expected function arguments`
+          err: `expected a block`
       WHITESPACE@[180; 181)
       R_CURLY@[181; 182)
   WHITESPACE@[182; 183)
diff --git a/crates/libsyntax2/tests/data/parser/err/0021_incomplete_param.rs b/crates/libsyntax2/tests/data/parser/err/0021_incomplete_param.rs
new file mode 100644
index 000000000..7a6c264f6
--- /dev/null
+++ b/crates/libsyntax2/tests/data/parser/err/0021_incomplete_param.rs
@@ -0,0 +1,2 @@
+fn foo(x: i32, y) {
+}
diff --git a/crates/libsyntax2/tests/data/parser/err/0021_incomplete_param.txt b/crates/libsyntax2/tests/data/parser/err/0021_incomplete_param.txt
new file mode 100644
index 000000000..8dcb58ae2
--- /dev/null
+++ b/crates/libsyntax2/tests/data/parser/err/0021_incomplete_param.txt
@@ -0,0 +1,34 @@
+ROOT@[0; 22)
+  FN_DEF@[0; 21)
+    FN_KW@[0; 2)
+    WHITESPACE@[2; 3)
+    NAME@[3; 6)
+      IDENT@[3; 6) "foo"
+    PARAM_LIST@[6; 17)
+      L_PAREN@[6; 7)
+      PARAM@[7; 13)
+        BIND_PAT@[7; 8)
+          NAME@[7; 8)
+            IDENT@[7; 8) "x"
+        COLON@[8; 9)
+        WHITESPACE@[9; 10)
+        PATH_TYPE@[10; 13)
+          PATH@[10; 13)
+            PATH_SEGMENT@[10; 13)
+              NAME_REF@[10; 13)
+                IDENT@[10; 13) "i32"
+      COMMA@[13; 14)
+      WHITESPACE@[14; 15)
+      PARAM@[15; 16)
+        BIND_PAT@[15; 16)
+          NAME@[15; 16)
+            IDENT@[15; 16) "y"
+            err: `expected COLON`
+            err: `expected type`
+      R_PAREN@[16; 17)
+    WHITESPACE@[17; 18)
+    BLOCK@[18; 21)
+      L_CURLY@[18; 19)
+      WHITESPACE@[19; 20)
+      R_CURLY@[20; 21)
+  WHITESPACE@[21; 22)