fix(49704): parse type arguments in super call expression

Author: a-tarasyuk

src/compiler/parser.ts

@@ -5285,12 +5285,13 @@ namespace ts {
 
         function parseSuperExpression(): MemberExpression {
             const pos = getNodePos();
-            const expression = parseTokenNode<PrimaryExpression>();
+            let expression = parseTokenNode<MemberExpression>();
             if (token() === SyntaxKind.LessThanToken) {
                 const startPos = getNodePos();
                 const typeArguments = tryParse(parseTypeArgumentsInExpression);
                 if (typeArguments !== undefined) {
                     parseErrorAt(startPos, getNodePos(), Diagnostics.super_may_not_use_type_arguments);
+                    expression = factory.createExpressionWithTypeArguments(expression, typeArguments);
                 }
             }
 

tests/baselines/reference/errorSuperCalls.errors.txt

@@ -8,13 +8,14 @@ tests/cases/conformance/expressions/superCalls/errorSuperCalls.ts(30,16): error
 tests/cases/conformance/expressions/superCalls/errorSuperCalls.ts(34,9): error TS2337: Super calls are not permitted outside constructors or in nested functions inside constructors.
 tests/cases/conformance/expressions/superCalls/errorSuperCalls.ts(38,9): error TS2337: Super calls are not permitted outside constructors or in nested functions inside constructors.
 tests/cases/conformance/expressions/superCalls/errorSuperCalls.ts(46,14): error TS2754: 'super' may not use type arguments.
+tests/cases/conformance/expressions/superCalls/errorSuperCalls.ts(46,15): error TS2558: Expected 0 type arguments, but got 1.
 tests/cases/conformance/expressions/superCalls/errorSuperCalls.ts(58,9): error TS2337: Super calls are not permitted outside constructors or in nested functions inside constructors.
 tests/cases/conformance/expressions/superCalls/errorSuperCalls.ts(62,9): error TS2337: Super calls are not permitted outside constructors or in nested functions inside constructors.
 tests/cases/conformance/expressions/superCalls/errorSuperCalls.ts(67,9): error TS2337: Super calls are not permitted outside constructors or in nested functions inside constructors.
 tests/cases/conformance/expressions/superCalls/errorSuperCalls.ts(71,9): error TS2337: Super calls are not permitted outside constructors or in nested functions inside constructors.
 
 
-==== tests/cases/conformance/expressions/superCalls/errorSuperCalls.ts (14 errors) ====
+==== tests/cases/conformance/expressions/superCalls/errorSuperCalls.ts (15 errors) ====
     //super call in class constructor with no base type
     class NoBase {
         constructor() {
@@ -81,6 +82,8 @@ tests/cases/conformance/expressions/superCalls/errorSuperCalls.ts(71,9): error T
             super<string>();
                  ~~~~~~~~
 !!! error TS2754: 'super' may not use type arguments.
+                  ~~~~~~
+!!! error TS2558: Expected 0 type arguments, but got 1.
             super();
         }
     }

tests/baselines/reference/parserSuperExpression2.symbols

@@ -6,5 +6,6 @@ class C {
 >M : Symbol(C.M, Decl(parserSuperExpression2.ts, 0, 9))
 
     super<T>(0);
+>T : Symbol(T)
   }
 }

tests/baselines/reference/superWithTypeArgument.errors.txt

@@ -1,7 +1,8 @@
 tests/cases/compiler/superWithTypeArgument.ts(7,14): error TS2754: 'super' may not use type arguments.
+tests/cases/compiler/superWithTypeArgument.ts(7,15): error TS2558: Expected 0 type arguments, but got 1.
 
 
-==== tests/cases/compiler/superWithTypeArgument.ts (1 errors) ====
+==== tests/cases/compiler/superWithTypeArgument.ts (2 errors) ====
     class C {
 
     }
@@ -11,5 +12,7 @@ tests/cases/compiler/superWithTypeArgument.ts(7,14): error TS2754: 'super' may n
             super<T>();
                  ~~~
 !!! error TS2754: 'super' may not use type arguments.
+                  ~
+!!! error TS2558: Expected 0 type arguments, but got 1.
         }
     }

tests/baselines/reference/superWithTypeArgument.symbols

@@ -12,5 +12,6 @@ class D<T> extends C {
     constructor() {
         super<T>();
 >super : Symbol(C, Decl(superWithTypeArgument.ts, 0, 0))
+>T : Symbol(T, Decl(superWithTypeArgument.ts, 4, 8))
     }
 }

tests/baselines/reference/superWithTypeArgument2.errors.txt

@@ -1,5 +1,5 @@
 tests/cases/compiler/superWithTypeArgument2.ts(7,14): error TS2754: 'super' may not use type arguments.
-tests/cases/compiler/superWithTypeArgument2.ts(7,18): error TS2554: Expected 0 arguments, but got 1.
+tests/cases/compiler/superWithTypeArgument2.ts(7,15): error TS2558: Expected 0 type arguments, but got 1.
 
 
 ==== tests/cases/compiler/superWithTypeArgument2.ts (2 errors) ====
@@ -12,7 +12,7 @@ tests/cases/compiler/superWithTypeArgument2.ts(7,18): error TS2554: Expected 0 a
             super<T>(x);
                  ~~~
 !!! error TS2754: 'super' may not use type arguments.
-                     ~
-!!! error TS2554: Expected 0 arguments, but got 1.
+                  ~
+!!! error TS2558: Expected 0 type arguments, but got 1.
         }
     }

tests/baselines/reference/superWithTypeArgument2.symbols

@@ -19,6 +19,7 @@ class D<T> extends C<T> {
 
         super<T>(x);
 >super : Symbol(C, Decl(superWithTypeArgument2.ts, 0, 0))
+>T : Symbol(T, Decl(superWithTypeArgument2.ts, 4, 8))
 >x : Symbol(x, Decl(superWithTypeArgument2.ts, 5, 16))
     }
 }

tests/baselines/reference/superWithTypeArgument3.errors.txt

@@ -1,7 +1,8 @@
 tests/cases/compiler/superWithTypeArgument3.ts(8,14): error TS2754: 'super' may not use type arguments.
+tests/cases/compiler/superWithTypeArgument3.ts(8,15): error TS2558: Expected 0 type arguments, but got 1.
 
 
-==== tests/cases/compiler/superWithTypeArgument3.ts (1 errors) ====
+==== tests/cases/compiler/superWithTypeArgument3.ts (2 errors) ====
     class C<T> {
         foo: T;
         bar<U>(x: U) { }
@@ -12,6 +13,8 @@ tests/cases/compiler/superWithTypeArgument3.ts(8,14): error TS2754: 'super' may
             super<T>();
                  ~~~
 !!! error TS2754: 'super' may not use type arguments.
+                  ~
+!!! error TS2558: Expected 0 type arguments, but got 1.
         }
         bar() {
             super.bar<T>(null);

tests/baselines/reference/superWithTypeArgument3.symbols

@@ -23,6 +23,7 @@ class D<T> extends C<T> {
     constructor() {
         super<T>();
 >super : Symbol(C, Decl(superWithTypeArgument3.ts, 0, 0))
+>T : Symbol(T, Decl(superWithTypeArgument3.ts, 5, 8))
     }
     bar() {
 >bar : Symbol(D.bar, Decl(superWithTypeArgument3.ts, 8, 5))