feat: improve parser error recovery for function parameters

diff --git a/crates/ide_completion/src/completions/fn_param.rs b/crates/ide_completion/src/completions/fn_param.rs
index 7805da24abd6681ec834f8b1510582ea622514a6..d299f2e2634ae6c913ed0e372eca156babbe02b1 100644 (file)
--- a/crates/ide_completion/src/completions/fn_param.rs
+++ b/crates/ide_completion/src/completions/fn_param.rs
@@ -101,6 +101,20 @@ fn baz(file$0) {}
         );
     }
 
+    #[test]
+    fn test_param_completion_first_param() {
+        check(
+            r#"
+fn foo(file_id: FileId) {}
+fn bar(file_id: FileId) {}
+fn baz(file$0 id: u32) {}
+"#,
+            expect![[r#"
+                bn file_id: FileId
+            "#]],
+        );
+    }
+
     #[test]
     fn test_param_completion_nth_param() {
         check(

diff --git a/crates/parser/src/grammar/items/consts.rs b/crates/parser/src/grammar/items/consts.rs
index ed3bee4a4685707c48b6419612980cdd44d0b8b3..1b317dd84a94b76a54962c7c43772c432214e487 100644 (file)
--- a/crates/parser/src/grammar/items/consts.rs
+++ b/crates/parser/src/grammar/items/consts.rs
@@ -21,8 +21,11 @@ fn const_or_static(p: &mut Parser, m: Marker, kw: SyntaxKind, def: SyntaxKind) {
 
     // test_err static_underscore
     // static _: i32 = 5;
-
-    types::ascription(p);
+    if p.at(T![:]) {
+        types::ascription(p);
+    } else {
+        p.error("missing type for `const` or `static`")
+    }
     if p.eat(T![=]) {
         expressions::expr(p);
     }

diff --git a/crates/parser/src/grammar/params.rs b/crates/parser/src/grammar/params.rs
index 5a78675fb4fbaeadb34bf382b41e5dfdedeade66..8f028c619415e1bcaa85e780957a3b0a8d38f5e6 100644 (file)
--- a/crates/parser/src/grammar/params.rs
+++ b/crates/parser/src/grammar/params.rs
@@ -106,7 +106,13 @@ fn param(p: &mut Parser, m: Marker, flavor: Flavor) -> Variadic {
             if variadic_param(p) {
                 res = Variadic(true)
             } else {
-                types::ascription(p);
+                if p.at(T![:]) {
+                    types::ascription(p)
+                } else {
+                    // test_err missing_fn_param_type
+                    // fn f(x y: i32, z, t: i32) {}
+                    p.error("missing type for function parameter")
+                }
             }
         }
         // test value_parameters_no_patterns
@@ -126,7 +132,11 @@ fn param(p: &mut Parser, m: Marker, flavor: Flavor) -> Variadic {
                 if variadic_param(p) {
                     res = Variadic(true)
                 } else {
-                    types::ascription(p);
+                    if p.at(T![:]) {
+                        types::ascription(p)
+                    } else {
+                        p.error("missing type for function parameter")
+                    }
                 }
             } else {
                 types::type_(p);

diff --git a/crates/parser/src/grammar/type_params.rs b/crates/parser/src/grammar/type_params.rs
index 49d6fa6d0b651dd199d1026c58085e0708511f6c..a7a0109fd1ba2ede89b2a21c2b1d2f9090beca56 100644 (file)
--- a/crates/parser/src/grammar/type_params.rs
+++ b/crates/parser/src/grammar/type_params.rs
@@ -67,7 +67,11 @@ fn const_param(p: &mut Parser, m: Marker) {
     assert!(p.at(T![const]));
     p.bump(T![const]);
     name(p);
-    types::ascription(p);
+    if p.at(T![:]) {
+        types::ascription(p);
+    } else {
+        p.error("missing type for const parameter");
+    }
 
     // test const_param_defaults
     // struct A<const N: i32 = -1>;

diff --git a/crates/parser/src/grammar/types.rs b/crates/parser/src/grammar/types.rs
index 72476c1907001bbfe3265fd2feb19d1fcadb7e27..e0b3c1bf0cb0b55e7d2b402e3ed76402b98cf1d3 100644 (file)
--- a/crates/parser/src/grammar/types.rs
+++ b/crates/parser/src/grammar/types.rs
@@ -55,7 +55,8 @@ fn type_with_bounds_cond(p: &mut Parser, allow_bounds: bool) {
 }
 
 pub(super) fn ascription(p: &mut Parser) {
-    p.expect(T![:]);
+    assert!(p.at(T![:]));
+    p.bump(T![:]);
     type_(p)
 }
 

diff --git a/crates/syntax/test_data/parser/err/0018_incomplete_fn.rast b/crates/syntax/test_data/parser/err/0018_incomplete_fn.rast
index 060f47dc440cb777389d2b1b751958baacc6719d..5b180ce3375238ca326d7511ea6c273816228eec 100644 (file)
--- a/crates/syntax/test_data/parser/err/0018_incomplete_fn.rast
+++ b/crates/syntax/test_data/parser/err/0018_incomplete_fn.rast
@@ -127,7 +127,6 @@ SOURCE_FILE@0..183
       R_CURLY@181..182 "}"
   WHITESPACE@182..183 "\n"
 error 34..34: expected pattern
-error 34..34: expected COLON
-error 34..34: expected type
+error 34..34: missing type for function parameter
 error 180..180: expected function arguments
 error 180..180: expected a block

diff --git a/crates/syntax/test_data/parser/err/0021_incomplete_param.rast b/crates/syntax/test_data/parser/err/0021_incomplete_param.rast
index b32845537709290e1c28550ef7b7a3b6efab9569..901490fa2fe43a1106a2a8095f7e933adc389bff 100644 (file)
--- a/crates/syntax/test_data/parser/err/0021_incomplete_param.rast
+++ b/crates/syntax/test_data/parser/err/0021_incomplete_param.rast
@@ -30,5 +30,4 @@ SOURCE_FILE@0..22
       WHITESPACE@19..20 "\n"
       R_CURLY@20..21 "}"
   WHITESPACE@21..22 "\n"
-error 16..16: expected COLON
-error 16..16: expected type
+error 16..16: missing type for function parameter

diff --git a/crates/syntax/test_data/parser/err/0045_item_modifiers.rast b/crates/syntax/test_data/parser/err/0045_item_modifiers.rast
index a6e6552a99e44eaaa95a9140dee417b5ccdcc512..e9dad0b7a03b156db15a9d481ca843212da2a549 100644 (file)
--- a/crates/syntax/test_data/parser/err/0045_item_modifiers.rast
+++ b/crates/syntax/test_data/parser/err/0045_item_modifiers.rast
@@ -17,22 +17,22 @@ SOURCE_FILE@0..50
       L_CURLY@22..23 "{"
       R_CURLY@23..24 "}"
   WHITESPACE@24..25 "\n"
-  CONST@25..46
+  CONST@25..40
     UNSAFE_KW@25..31 "unsafe"
     WHITESPACE@31..32 " "
     CONST_KW@32..37 "const"
     WHITESPACE@37..38 " "
     ERROR@38..40
       FN_KW@38..40 "fn"
-    WHITESPACE@40..41 " "
-    PATH_TYPE@41..46
-      PATH@41..46
-        PATH_SEGMENT@41..46
-          NAME_REF@41..44
-            IDENT@41..44 "bar"
-          PARAM_LIST@44..46
-            L_PAREN@44..45 "("
-            R_PAREN@45..46 ")"
+  WHITESPACE@40..41 " "
+  MACRO_CALL@41..46
+    PATH@41..44
+      PATH_SEGMENT@41..44
+        NAME_REF@41..44
+          IDENT@41..44 "bar"
+    TOKEN_TREE@44..46
+      L_PAREN@44..45 "("
+      R_PAREN@45..46 ")"
   WHITESPACE@46..47 " "
   ERROR@47..49
     L_CURLY@47..48 "{"
@@ -40,6 +40,8 @@ SOURCE_FILE@0..50
   WHITESPACE@49..50 "\n"
 error 6..6: expected existential, fn, trait or impl
 error 38..38: expected a name
-error 40..40: expected COLON
+error 40..40: missing type for `const` or `static`
+error 40..40: expected SEMICOLON
+error 44..44: expected BANG
 error 46..46: expected SEMICOLON
 error 47..47: expected an item

diff --git a/crates/syntax/test_data/parser/inline/err/0015_missing_fn_param_type.rast b/crates/syntax/test_data/parser/inline/err/0015_missing_fn_param_type.rast
new file mode 100644 (file)
index 0000000..99391c2
--- /dev/null
+++ b/crates/syntax/test_data/parser/inline/err/0015_missing_fn_param_type.rast
@@ -0,0 +1,52 @@
+SOURCE_FILE@0..29
+  FN@0..28
+    FN_KW@0..2 "fn"
+    WHITESPACE@2..3 " "
+    NAME@3..4
+      IDENT@3..4 "f"
+    PARAM_LIST@4..25
+      L_PAREN@4..5 "("
+      PARAM@5..6
+        IDENT_PAT@5..6
+          NAME@5..6
+            IDENT@5..6 "x"
+      WHITESPACE@6..7 " "
+      PARAM@7..13
+        IDENT_PAT@7..8
+          NAME@7..8
+            IDENT@7..8 "y"
+        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
+        IDENT_PAT@15..16
+          NAME@15..16
+            IDENT@15..16 "z"
+      COMMA@16..17 ","
+      WHITESPACE@17..18 " "
+      PARAM@18..24
+        IDENT_PAT@18..19
+          NAME@18..19
+            IDENT@18..19 "t"
+        COLON@19..20 ":"
+        WHITESPACE@20..21 " "
+        PATH_TYPE@21..24
+          PATH@21..24
+            PATH_SEGMENT@21..24
+              NAME_REF@21..24
+                IDENT@21..24 "i32"
+      R_PAREN@24..25 ")"
+    WHITESPACE@25..26 " "
+    BLOCK_EXPR@26..28
+      L_CURLY@26..27 "{"
+      R_CURLY@27..28 "}"
+  WHITESPACE@28..29 "\n"
+error 6..6: missing type for function parameter
+error 6..6: expected COMMA
+error 16..16: missing type for function parameter

diff --git a/crates/syntax/test_data/parser/inline/err/0015_missing_fn_param_type.rs b/crates/syntax/test_data/parser/inline/err/0015_missing_fn_param_type.rs
new file mode 100644 (file)
index 0000000..4a95b90
--- /dev/null
+++ b/crates/syntax/test_data/parser/inline/err/0015_missing_fn_param_type.rs
@@ -0,0 +1 @@
+fn f(x y: i32, z, t: i32) {}