fix(es/parser): Allow instantiation expression followed by a line bre…

…ak or a binary operator (#5000)

crates/swc_ecma_parser/src/parser/typescript.rs

@@ -556,10 +556,21 @@ impl<I: Tokens> Parser<I> {
 
         self.try_parse_ts(|p| {
             let type_args = p.parse_ts_type_args()?;
-            if matches!(cur!(p, false), Ok(Token::BinOp(..))) || p.is_start_of_expr()? {
+            if is_one_of!(
+                p, '<', // invalid syntax
+                '>', '+', '-', // becomes relational expression
+                /* these should be type arguments in function call or template,
+                 * not instantiation expression */
+                '(', '`'
+            ) {
                 Ok(None)
-            } else {
+            } else if p.input.had_line_break_before_cur()
+                || matches!(cur!(p, false), Ok(Token::BinOp(..)))
+                || !p.is_start_of_expr()?
+            {
                 Ok(Some(type_args))
+            } else {
+                Ok(None)
             }
         })
     }

crates/swc_ecma_parser/tests/typescript-errors/instantiation-expr/case3/input.ts

@@ -1 +1 @@
-f<x> & g<y>;
+f<x> < g<y>;

crates/swc_ecma_parser/tests/typescript-errors/instantiation-expr/case3/input.ts.stderr

@@ -1,7 +1,6 @@
 
-  x Unexpected token `&`. Expected this, import, async, function, [ for array literal, { for object literal, @ for decorator, function, class, null, true, false, number, bigint, string, regexp, `
-  | for template literal, (, or an identifier
+  x Expected '>', got ';'
    ,-[$DIR/tests/typescript-errors/instantiation-expr/case3/input.ts:1:1]
- 1 | f<x> & g<y>;
-   :      ^
+ 1 | f<x> < g<y>;
+   :            ^
    `----

crates/swc_ecma_parser/tests/typescript/instantiation-expr/asi/input.ts

@@ -2,14 +2,58 @@
 const x1 = f<true>
 (true);
 
-// Parsed as relational expression
+// Parsed as relational expressions
+const r1 = f < true > true;
+const r2 = f < true > +1;
+const r3 = f < true > -1;
+
+// All of the following are parsed as instantiation expressions
 const x2 = f<true>
 true;
 
-// Parsed as instantiation expression
 const x3 = f<true>;
 true;
 
-// Parsed as instantiation expression
 const x4 = f<true>
 if (true) {}
+
+const x5 = f<true>
+let yy = 0;
+
+const x6 = f<true>
+interface I {}
+
+let x10 = f<true>
+this.bar()
+
+let x11 = f<true>
+function bar() {}
+
+let x12 = f<true>
+class C {}
+
+let x13 = f<true>
+bar()
+
+let x14 = f<true>
+void bar()
+
+class C1 {
+    static specialFoo = f<string>
+    static bar = 123
+}
+
+class C2 {
+    public specialFoo = f<string>
+    public bar = 123
+}
+
+class C3 {
+    private specialFoo = f<string>
+    private bar = 123
+}
+
+class C4 {
+    protected specialFoo = f<string>
+    protected bar = 123
+}