fix(parser): gracefully handle stalled parser in object patterns

.changeset/gracefully-handle-stalled-parser.md

@@ -0,0 +1,8 @@
+---
+"@biomejs/biome": patch
+---
+Our JavaScript parser can now gracefully handle situations where we detect the
+parser to have stalled, such as in
+[#4622](https://github.com/biomejs/biome/issues/4622). This means we don't fail
+with an assertion anymore, but invalid code can trigger a graceful diagnostic
+in such cases.

crates/biome_js_parser/src/syntax/pattern.rs

@@ -156,7 +156,11 @@ pub(crate) trait ParseObjectPattern {
         let mut progress = ParserProgress::default();
 
         while !p.at(T!['}']) {
-            progress.assert_progressing(p);
+            if !progress.has_progressed(p) {
+                let diagnostic = Self::expected_property_pattern_error(p, p.cur_range());
+                p.error(diagnostic);
+                break;
+            }
 
             if p.at(T![,]) {
                 // missing element

crates/biome_js_parser/tests/js_test_suite/error/issue4622.ts

@@ -0,0 +1,3 @@
+r={
+=
+):

crates/biome_js_parser/tests/js_test_suite/error/issue4622.ts.snap

@@ -0,0 +1,140 @@
+---
+source: crates/biome_js_parser/tests/spec_test.rs
+expression: snapshot
+---
+## Input
+
+```ts
+r={
+=
+):
+```
+
+
+## AST
+
+```
+JsModule {
+    bom_token: missing (optional),
+    interpreter_token: missing (optional),
+    directives: JsDirectiveList [],
+    items: JsModuleItemList [
+        JsExpressionStatement {
+            expression: JsAssignmentExpression {
+                left: JsIdentifierAssignment {
+                    name_token: [email protected] "r" [] [],
+                },
+                operator_token: [email protected] "=" [] [],
+                right: JsAssignmentExpression {
+                    left: JsObjectAssignmentPattern {
+                        l_curly_token: [email protected] "{" [] [],
+                        properties: JsObjectAssignmentPatternPropertyList [
+                            JsObjectAssignmentPatternShorthandProperty {
+                                identifier: missing (required),
+                                init: JsInitializerClause {
+                                    eq_token: [email protected] "=" [Newline("\n")] [],
+                                    expression: missing (required),
+                                },
+                            },
+                            missing separator,
+                            JsObjectAssignmentPatternProperty {
+                                member: missing (required),
+                                colon_token: missing (required),
+                                pattern: missing (required),
+                                init: missing (optional),
+                            },
+                        ],
+                        r_curly_token: missing (required),
+                    },
+                    operator_token: missing (required),
+                    right: missing (required),
+                },
+            },
+            semicolon_token: missing (optional),
+        },
+        JsBogusStatement {
+            items: [
+                [email protected] ")" [Newline("\n")] [],
+                [email protected] ":" [] [],
+            ],
+        },
+    ],
+    eof_token: [email protected] "" [] [],
+}
+```
+
+## CST
+
+```
+0: [email protected]
+  0: (empty)
+  1: (empty)
+  2: [email protected]
+  3: [email protected]
+    0: [email protected]
+      0: [email protected]
+        0: [email protected]
+          0: [email protected] "r" [] []
+        1: [email protected] "=" [] []
+        2: [email protected]
+          0: [email protected]
+            0: [email protected] "{" [] []
+            1: [email protected]
+              0: [email protected]
+                0: (empty)
+                1: [email protected]
+                  0: [email protected] "=" [Newline("\n")] []
+                  1: (empty)
+              1: (empty)
+              2: [email protected]
+                0: (empty)
+                1: (empty)
+                2: (empty)
+                3: (empty)
+            2: (empty)
+          1: (empty)
+          2: (empty)
+      1: (empty)
+    1: [email protected]
+      0: [email protected] ")" [Newline("\n")] []
+      1: [email protected] ":" [] []
+  4: [email protected] "" [] []
+
+```
+
+## Diagnostics
+
+```
+issue4622.ts:2:1 parse ━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━
+
+  × Expected an identifier but instead found '='.
+
+    1 │ r={
+  > 2 │ =
+      │ ^
+    3 │ ):
+
+  i Expected an identifier here.
+
+    1 │ r={
+  > 2 │ =
+      │ ^
+    3 │ ):
+
+issue4622.ts:3:1 parse ━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━
+
+  × Expected an expression, or an assignment but instead found ')'.
+
+    1 │ r={
+    2 │ =
+  > 3 │ ):
+      │ ^
+
+  i Expected an expression, or an assignment here.
+
+    1 │ r={
+    2 │ =
+  > 3 │ ):
+      │ ^
+
+```

crates/biome_parser/src/lib.rs

@@ -510,16 +510,21 @@ pub trait Parser: Sized {
 pub struct ParserProgress(Option<TextSize>);
 
 impl ParserProgress {
-    /// Returns true if the current parser position is passed this position
+    /// Returns true if the current parser position is passed this position,
+    /// and updates the progress.
     #[inline]
-    pub fn has_progressed<P>(&self, p: &P) -> bool
+    pub fn has_progressed<P>(&mut self, p: &P) -> bool
     where
         P: Parser,
     {
-        match self.0 {
+        let has_progressed = match self.0 {
             None => true,
             Some(pos) => pos < p.source().position(),
-        }
+        };
+
+        self.0 = Some(p.source().position());
+
+        has_progressed
     }
 
     /// Asserts that the parsing is still making progress.
@@ -539,8 +544,6 @@ impl ParserProgress {
             p.cur(),
             p.cur_range(),
         );
-
-        self.0 = Some(p.source().position());
     }
 }