typescript 4.6.0-dev.20220113 → 4.6.0-dev.20220117

package/lib/tsc.js

@@ -69,7 +69,7 @@ var __generator = (this && this.__generator) || function (thisArg, body) {
 var ts;
 (function (ts) {
     ts.versionMajorMinor = "4.6";
-    ts.version = ts.versionMajorMinor + ".0-dev.20220113";
+    ts.version = ts.versionMajorMinor + ".0-dev.20220117";
     var NativeCollections;
     (function (NativeCollections) {
         function tryGetNativeMap() {
@@ -5502,7 +5502,7 @@ var ts;
         Parameter_0_cannot_reference_identifier_1_declared_after_it: diag(2373, ts.DiagnosticCategory.Error, "Parameter_0_cannot_reference_identifier_1_declared_after_it_2373", "Parameter '{0}' cannot reference identifier '{1}' declared after it."),
         Duplicate_index_signature_for_type_0: diag(2374, ts.DiagnosticCategory.Error, "Duplicate_index_signature_for_type_0_2374", "Duplicate index signature for type '{0}'."),
         Type_0_is_not_assignable_to_type_1_with_exactOptionalPropertyTypes_Colon_true_Consider_adding_undefined_to_the_types_of_the_target_s_properties: diag(2375, ts.DiagnosticCategory.Error, "Type_0_is_not_assignable_to_type_1_with_exactOptionalPropertyTypes_Colon_true_Consider_adding_undefi_2375", "Type '{0}' is not assignable to type '{1}' with 'exactOptionalPropertyTypes: true'. Consider adding 'undefined' to the types of the target's properties."),
-        A_super_call_must_be_the_first_statement_in_the_constructor_when_a_class_contains_initialized_properties_parameter_properties_or_private_identifiers: diag(2376, ts.DiagnosticCategory.Error, "A_super_call_must_be_the_first_statement_in_the_constructor_when_a_class_contains_initialized_proper_2376", "A 'super' call must be the first statement in the constructor when a class contains initialized properties, parameter properties, or private identifiers."),
+        A_super_call_must_be_the_first_statement_in_the_constructor_to_refer_to_super_or_this_when_a_derived_class_contains_initialized_properties_parameter_properties_or_private_identifiers: diag(2376, ts.DiagnosticCategory.Error, "A_super_call_must_be_the_first_statement_in_the_constructor_to_refer_to_super_or_this_when_a_derived_2376", "A 'super' call must be the first statement in the constructor to refer to 'super' or 'this' when a derived class contains initialized properties, parameter properties, or private identifiers."),
         Constructors_for_derived_classes_must_contain_a_super_call: diag(2377, ts.DiagnosticCategory.Error, "Constructors_for_derived_classes_must_contain_a_super_call_2377", "Constructors for derived classes must contain a 'super' call."),
         A_get_accessor_must_return_a_value: diag(2378, ts.DiagnosticCategory.Error, "A_get_accessor_must_return_a_value_2378", "A 'get' accessor must return a value."),
         Argument_of_type_0_is_not_assignable_to_parameter_of_type_1_with_exactOptionalPropertyTypes_Colon_true_Consider_adding_undefined_to_the_types_of_the_target_s_properties: diag(2379, ts.DiagnosticCategory.Error, "Argument_of_type_0_is_not_assignable_to_parameter_of_type_1_with_exactOptionalPropertyTypes_Colon_tr_2379", "Argument of type '{0}' is not assignable to parameter of type '{1}' with 'exactOptionalPropertyTypes: true'. Consider adding 'undefined' to the types of the target's properties."),
@@ -5525,6 +5525,7 @@ var ts;
         constructor_cannot_be_used_as_a_parameter_property_name: diag(2398, ts.DiagnosticCategory.Error, "constructor_cannot_be_used_as_a_parameter_property_name_2398", "'constructor' cannot be used as a parameter property name."),
         Duplicate_identifier_this_Compiler_uses_variable_declaration_this_to_capture_this_reference: diag(2399, ts.DiagnosticCategory.Error, "Duplicate_identifier_this_Compiler_uses_variable_declaration_this_to_capture_this_reference_2399", "Duplicate identifier '_this'. Compiler uses variable declaration '_this' to capture 'this' reference."),
         Expression_resolves_to_variable_declaration_this_that_compiler_uses_to_capture_this_reference: diag(2400, ts.DiagnosticCategory.Error, "Expression_resolves_to_variable_declaration_this_that_compiler_uses_to_capture_this_reference_2400", "Expression resolves to variable declaration '_this' that compiler uses to capture 'this' reference."),
+        A_super_call_must_be_a_root_level_statement_within_a_constructor_of_a_derived_class_that_contains_initialized_properties_parameter_properties_or_private_identifiers: diag(2401, ts.DiagnosticCategory.Error, "A_super_call_must_be_a_root_level_statement_within_a_constructor_of_a_derived_class_that_contains_in_2401", "A 'super' call must be a root-level statement within a constructor of a derived class that contains initialized properties, parameter properties, or private identifiers."),
         Expression_resolves_to_super_that_compiler_uses_to_capture_base_class_reference: diag(2402, ts.DiagnosticCategory.Error, "Expression_resolves_to_super_that_compiler_uses_to_capture_base_class_reference_2402", "Expression resolves to '_super' that compiler uses to capture base class reference."),
         Subsequent_variable_declarations_must_have_the_same_type_Variable_0_must_be_of_type_1_but_here_has_type_2: diag(2403, ts.DiagnosticCategory.Error, "Subsequent_variable_declarations_must_have_the_same_type_Variable_0_must_be_of_type_1_but_here_has_t_2403", "Subsequent variable declarations must have the same type.  Variable '{0}' must be of type '{1}', but here has type '{2}'."),
         The_left_hand_side_of_a_for_in_statement_cannot_use_a_type_annotation: diag(2404, ts.DiagnosticCategory.Error, "The_left_hand_side_of_a_for_in_statement_cannot_use_a_type_annotation_2404", "The left-hand side of a 'for...in' statement cannot use a type annotation."),
@@ -11924,6 +11925,28 @@ var ts;
         }
     }
     ts.getThisContainer = getThisContainer;
+    function isThisContainerOrFunctionBlock(node) {
+        switch (node.kind) {
+            case 213:
+            case 255:
+            case 212:
+            case 166:
+                return true;
+            case 234:
+                switch (node.parent.kind) {
+                    case 170:
+                    case 168:
+                    case 171:
+                    case 172:
+                        return true;
+                    default:
+                        return false;
+                }
+            default:
+                return false;
+        }
+    }
+    ts.isThisContainerOrFunctionBlock = isThisContainerOrFunctionBlock;
     function isInTopLevelContext(node) {
         if (ts.isIdentifier(node) && (ts.isClassDeclaration(node.parent) || ts.isFunctionDeclaration(node.parent)) && node.parent.name === node) {
             node = node.parent;
@@ -20925,7 +20948,7 @@ var ts;
             return getExportName(node, allowComments, allowSourceMaps);
         }
         function copyPrologue(source, target, ensureUseStrict, visitor) {
-            var offset = copyStandardPrologue(source, target, ensureUseStrict);
+            var offset = copyStandardPrologue(source, target, 0, ensureUseStrict);
             return copyCustomPrologue(source, target, offset, visitor);
         }
         function isUseStrictPrologue(node) {
@@ -20934,10 +20957,10 @@ var ts;
         function createUseStrictPrologue() {
             return ts.startOnNewLine(createExpressionStatement(createStringLiteral("use strict")));
         }
-        function copyStandardPrologue(source, target, ensureUseStrict) {
+        function copyStandardPrologue(source, target, statementOffset, ensureUseStrict) {
+            if (statementOffset === void 0) { statementOffset = 0; }
             ts.Debug.assert(target.length === 0, "Prologue directives should be at the first statement in the target statements array");
             var foundUseStrict = false;
-            var statementOffset = 0;
             var numStatements = source.length;
             while (statementOffset < numStatements) {
                 var statement = source[statementOffset];
@@ -22087,7 +22110,7 @@ var ts;
         importName: "__createBinding",
         scoped: false,
         priority: 1,
-        text: "\n            var __createBinding = (this && this.__createBinding) || (Object.create ? (function(o, m, k, k2) {\n                if (k2 === undefined) k2 = k;\n                Object.defineProperty(o, k2, { enumerable: true, get: function() { return m[k]; } });\n            }) : (function(o, m, k, k2) {\n                if (k2 === undefined) k2 = k;\n                o[k2] = m[k];\n            }));"
+        text: "\n            var __createBinding = (this && this.__createBinding) || (Object.create ? (function(o, m, k, k2) {\n                if (k2 === undefined) k2 = k;\n                var desc = Object.getOwnPropertyDescriptor(m, k);\n                if (!desc || (\"get\" in desc ? !m.__esModule : desc.writable || desc.configurable)) {\n                  desc = { enumerable: true, get: function() { return m[k]; } };\n                }\n                Object.defineProperty(o, k2, desc);\n            }) : (function(o, m, k, k2) {\n                if (k2 === undefined) k2 = k;\n                o[k2] = m[k];\n            }));"
     };
     ts.setModuleDefaultHelper = {
         name: "typescript:commonjscreatevalue",
@@ -33509,7 +33532,7 @@ var ts;
                     ? 1 : 0
             };
         }
-        if (ts.isImplicitGlob(spec)) {
+        if (ts.isImplicitGlob(spec.substring(spec.lastIndexOf(ts.directorySeparator) + 1))) {
             return {
                 key: useCaseSensitiveFileNames ? spec : ts.toFileNameLowerCase(spec),
                 flags: 1
@@ -65808,25 +65831,29 @@ var ts;
                     if (classExtendsNull) {
                         error(superCall, ts.Diagnostics.A_constructor_cannot_contain_a_super_call_when_its_class_extends_null);
                     }
-                    var superCallShouldBeFirst = (ts.getEmitScriptTarget(compilerOptions) !== 99 || !useDefineForClassFields) &&
+                    var superCallShouldBeRootLevel = (ts.getEmitScriptTarget(compilerOptions) !== 99 || !useDefineForClassFields) &&
                         (ts.some(node.parent.members, isInstancePropertyWithInitializerOrPrivateIdentifierProperty) ||
                             ts.some(node.parameters, function (p) { return ts.hasSyntacticModifier(p, 16476); }));
-                    if (superCallShouldBeFirst) {
-                        var statements = node.body.statements;
-                        var superCallStatement = void 0;
-                        for (var _i = 0, statements_4 = statements; _i < statements_4.length; _i++) {
-                            var statement = statements_4[_i];
-                            if (statement.kind === 237 && ts.isSuperCall(statement.expression)) {
-                                superCallStatement = statement;
-                                break;
+                    if (superCallShouldBeRootLevel) {
+                        if (!superCallIsRootLevelInConstructor(superCall, node.body)) {
+                            error(superCall, ts.Diagnostics.A_super_call_must_be_a_root_level_statement_within_a_constructor_of_a_derived_class_that_contains_initialized_properties_parameter_properties_or_private_identifiers);
+                        }
+                        else {
+                            var superCallStatement = void 0;
+                            for (var _i = 0, _a = node.body.statements; _i < _a.length; _i++) {
+                                var statement = _a[_i];
+                                if (ts.isExpressionStatement(statement) && ts.isSuperCall(ts.skipOuterExpressions(statement.expression))) {
+                                    superCallStatement = statement;
+                                    break;
+                                }
+                                if (!ts.isPrologueDirective(statement) && nodeImmediatelyReferencesSuperOrThis(statement)) {
+                                    break;
+                                }
                             }
-                            if (!ts.isPrologueDirective(statement)) {
-                                break;
+                            if (superCallStatement === undefined) {
+                                error(node, ts.Diagnostics.A_super_call_must_be_the_first_statement_in_the_constructor_to_refer_to_super_or_this_when_a_derived_class_contains_initialized_properties_parameter_properties_or_private_identifiers);
                             }
                         }
-                        if (!superCallStatement) {
-                            error(node, ts.Diagnostics.A_super_call_must_be_the_first_statement_in_the_constructor_when_a_class_contains_initialized_properties_parameter_properties_or_private_identifiers);
-                        }
                     }
                 }
                 else if (!classExtendsNull) {
@@ -65834,6 +65861,19 @@ var ts;
                 }
             }
         }
+        function superCallIsRootLevelInConstructor(superCall, body) {
+            var superCallParent = ts.walkUpParenthesizedExpressions(superCall.parent);
+            return ts.isExpressionStatement(superCallParent) && superCallParent.parent === body;
+        }
+        function nodeImmediatelyReferencesSuperOrThis(node) {
+            if (node.kind === 106 || node.kind === 108) {
+                return true;
+            }
+            if (ts.isThisContainerOrFunctionBlock(node)) {
+                return false;
+            }
+            return !!ts.forEachChild(node, nodeImmediatelyReferencesSuperOrThis);
+        }
         function checkAccessorDeclaration(node) {
             if (produceDiagnostics) {
                 if (!checkGrammarFunctionLikeDeclaration(node) && !checkGrammarAccessor(node))
@@ -74697,25 +74737,26 @@ var ts;
         }
     }
     ts.getNonAssignmentOperatorForCompoundAssignment = getNonAssignmentOperatorForCompoundAssignment;
-    function addPrologueDirectivesAndInitialSuperCall(factory, ctor, result, visitor) {
-        if (ctor.body) {
-            var statements = ctor.body.statements;
-            var index = factory.copyPrologue(statements, result, false, visitor);
-            if (index === statements.length) {
-                return index;
-            }
-            var superIndex = ts.findIndex(statements, function (s) { return ts.isExpressionStatement(s) && ts.isSuperCall(s.expression); }, index);
-            if (superIndex > -1) {
-                for (var i = index; i <= superIndex; i++) {
-                    result.push(ts.visitNode(statements[i], visitor, ts.isStatement));
-                }
-                return superIndex + 1;
+    function getSuperCallFromStatement(statement) {
+        if (!ts.isExpressionStatement(statement)) {
+            return undefined;
+        }
+        var expression = ts.skipParentheses(statement.expression);
+        return ts.isSuperCall(expression)
+            ? expression
+            : undefined;
+    }
+    ts.getSuperCallFromStatement = getSuperCallFromStatement;
+    function findSuperStatementIndex(statements, indexAfterLastPrologueStatement) {
+        for (var i = indexAfterLastPrologueStatement; i < statements.length; i += 1) {
+            var statement = statements[i];
+            if (getSuperCallFromStatement(statement)) {
+                return i;
             }
-            return index;
         }
-        return 0;
+        return -1;
     }
-    ts.addPrologueDirectivesAndInitialSuperCall = addPrologueDirectivesAndInitialSuperCall;
+    ts.findSuperStatementIndex = findSuperStatementIndex;
     function getProperties(node, requireInitializer, isStatic) {
         return ts.filter(node.members, function (m) { return isInitializedOrStaticProperty(m, requireInitializer, isStatic); });
     }
@@ -76156,11 +76197,20 @@ var ts;
                 return ts.visitFunctionBody(body, visitor, context);
             }
             var statements = [];
-            var indexOfFirstStatement = 0;
             resumeLexicalEnvironment();
-            indexOfFirstStatement = ts.addPrologueDirectivesAndInitialSuperCall(factory, constructor, statements, visitor);
-            ts.addRange(statements, ts.map(parametersWithPropertyAssignments, transformParameterWithPropertyAssignment));
-            ts.addRange(statements, ts.visitNodes(body.statements, visitor, ts.isStatement, indexOfFirstStatement));
+            var indexAfterLastPrologueStatement = factory.copyPrologue(body.statements, statements, false, visitor);
+            var superStatementIndex = ts.findSuperStatementIndex(body.statements, indexAfterLastPrologueStatement);
+            if (superStatementIndex >= 0) {
+                ts.addRange(statements, ts.visitNodes(body.statements, visitor, ts.isStatement, indexAfterLastPrologueStatement, superStatementIndex + 1 - indexAfterLastPrologueStatement));
+            }
+            var parameterPropertyAssignments = ts.mapDefined(parametersWithPropertyAssignments, transformParameterWithPropertyAssignment);
+            if (superStatementIndex >= 0) {
+                ts.addRange(statements, parameterPropertyAssignments);
+            }
+            else {
+                statements = ts.addRange(parameterPropertyAssignments, statements);
+            }
+            ts.addRange(statements, ts.visitNodes(body.statements, visitor, ts.isStatement, superStatementIndex + 1));
             statements = factory.mergeLexicalEnvironment(statements, endLexicalEnvironment());
             var block = factory.createBlock(ts.setTextRange(factory.createNodeArray(statements), body.statements), true);
             ts.setTextRange(block, body);
@@ -77542,6 +77592,7 @@ var ts;
             return ts.startOnNewLine(ts.setOriginalNode(ts.setTextRange(factory.createConstructorDeclaration(undefined, undefined, parameters !== null && parameters !== void 0 ? parameters : [], body), constructor || node), constructor));
         }
         function transformConstructorBody(node, constructor, isDerivedClass) {
+            var _a;
             var properties = ts.getProperties(node, false, false);
             if (!useDefineForClassFields) {
                 properties = ts.filter(properties, function (property) { return !!property.initializer || ts.isPrivateIdentifier(property.name); });
@@ -77552,34 +77603,65 @@ var ts;
                 return ts.visitFunctionBody(undefined, visitor, context);
             }
             resumeLexicalEnvironment();
-            var indexOfFirstStatement = 0;
+            var needsSyntheticConstructor = !constructor && isDerivedClass;
+            var indexOfFirstStatementAfterSuper = 0;
+            var prologueStatementCount = 0;
+            var superStatementIndex = -1;
             var statements = [];
-            if (!constructor && isDerivedClass) {
-                statements.push(factory.createExpressionStatement(factory.createCallExpression(factory.createSuper(), undefined, [factory.createSpreadElement(factory.createIdentifier("arguments"))])));
+            if ((_a = constructor === null || constructor === void 0 ? void 0 : constructor.body) === null || _a === void 0 ? void 0 : _a.statements) {
+                prologueStatementCount = factory.copyPrologue(constructor.body.statements, statements, false, visitor);
+                superStatementIndex = ts.findSuperStatementIndex(constructor.body.statements, prologueStatementCount);
+                if (superStatementIndex >= 0) {
+                    indexOfFirstStatementAfterSuper = superStatementIndex + 1;
+                    statements = __spreadArray(__spreadArray(__spreadArray([], statements.slice(0, prologueStatementCount), true), ts.visitNodes(constructor.body.statements, visitor, ts.isStatement, prologueStatementCount, indexOfFirstStatementAfterSuper - prologueStatementCount), true), statements.slice(prologueStatementCount), true);
+                }
             }
-            if (constructor) {
-                indexOfFirstStatement = ts.addPrologueDirectivesAndInitialSuperCall(factory, constructor, statements, visitor);
+            if (needsSyntheticConstructor) {
+                statements.push(factory.createExpressionStatement(factory.createCallExpression(factory.createSuper(), undefined, [factory.createSpreadElement(factory.createIdentifier("arguments"))])));
             }
+            var parameterPropertyDeclarationCount = 0;
             if (constructor === null || constructor === void 0 ? void 0 : constructor.body) {
-                var afterParameterProperties = ts.findIndex(constructor.body.statements, function (s) { return !ts.isParameterPropertyDeclaration(ts.getOriginalNode(s), constructor); }, indexOfFirstStatement);
-                if (afterParameterProperties === -1) {
-                    afterParameterProperties = constructor.body.statements.length;
+                if (useDefineForClassFields) {
+                    statements = statements.filter(function (statement) { return !ts.isParameterPropertyDeclaration(ts.getOriginalNode(statement), constructor); });
                 }
-                if (afterParameterProperties > indexOfFirstStatement) {
-                    if (!useDefineForClassFields) {
-                        ts.addRange(statements, ts.visitNodes(constructor.body.statements, visitor, ts.isStatement, indexOfFirstStatement, afterParameterProperties - indexOfFirstStatement));
+                else {
+                    for (var _i = 0, _b = constructor.body.statements; _i < _b.length; _i++) {
+                        var statement = _b[_i];
+                        if (ts.isParameterPropertyDeclaration(ts.getOriginalNode(statement), constructor)) {
+                            parameterPropertyDeclarationCount++;
+                        }
+                    }
+                    if (parameterPropertyDeclarationCount > 0) {
+                        var parameterProperties = ts.visitNodes(constructor.body.statements, visitor, ts.isStatement, indexOfFirstStatementAfterSuper, parameterPropertyDeclarationCount);
+                        if (superStatementIndex >= 0) {
+                            ts.addRange(statements, parameterProperties);
+                        }
+                        else if (needsSyntheticConstructor) {
+                            statements = __spreadArray(__spreadArray([
+                                statements[0]
+                            ], parameterProperties, true), statements.slice(1), true);
+                        }
+                        else {
+                            statements = __spreadArray(__spreadArray([], parameterProperties, true), statements, true);
+                        }
+                        indexOfFirstStatementAfterSuper += parameterPropertyDeclarationCount;
                     }
-                    indexOfFirstStatement = afterParameterProperties;
                 }
             }
             var receiver = factory.createThis();
             addMethodStatements(statements, privateMethodsAndAccessors, receiver);
             addPropertyOrClassStaticBlockStatements(statements, properties, receiver);
             if (constructor) {
-                ts.addRange(statements, ts.visitNodes(constructor.body.statements, visitor, ts.isStatement, indexOfFirstStatement));
+                ts.addRange(statements, ts.visitNodes(constructor.body.statements, visitBodyStatement, ts.isStatement, indexOfFirstStatementAfterSuper + prologueStatementCount));
             }
             statements = factory.mergeLexicalEnvironment(statements, endLexicalEnvironment());
             return ts.setTextRange(factory.createBlock(ts.setTextRange(factory.createNodeArray(statements), constructor ? constructor.body.statements : node.members), true), constructor ? constructor.body : undefined);
+            function visitBodyStatement(statement) {
+                if (useDefineForClassFields && ts.isParameterPropertyDeclaration(ts.getOriginalNode(statement), constructor)) {
+                    return undefined;
+                }
+                return visitor(statement);
+            }
         }
         function addPropertyOrClassStaticBlockStatements(statements, properties, receiver) {
             for (var _i = 0, properties_7 = properties; _i < properties_7.length; _i++) {
@@ -80640,40 +80722,47 @@ var ts;
             var prologue = [];
             var statements = [];
             resumeLexicalEnvironment();
-            var statementOffset = 0;
+            var existingPrologue = ts.takeWhile(constructor.body.statements, ts.isPrologueDirective);
+            var _a = findSuperCallAndStatementIndex(constructor.body.statements, existingPrologue), superCall = _a.superCall, superStatementIndex = _a.superStatementIndex;
+            var postSuperStatementsStart = superStatementIndex === -1 ? existingPrologue.length : superStatementIndex + 1;
+            var statementOffset = postSuperStatementsStart;
             if (!hasSynthesizedSuper)
-                statementOffset = factory.copyStandardPrologue(constructor.body.statements, prologue, false);
-            addDefaultValueAssignmentsIfNeeded(statements, constructor);
-            addRestParameterIfNeeded(statements, constructor, hasSynthesizedSuper);
+                statementOffset = factory.copyStandardPrologue(constructor.body.statements, prologue, statementOffset, false);
             if (!hasSynthesizedSuper)
-                statementOffset = factory.copyCustomPrologue(constructor.body.statements, statements, statementOffset, visitor);
+                statementOffset = factory.copyCustomPrologue(constructor.body.statements, statements, statementOffset, visitor, undefined);
             var superCallExpression;
             if (hasSynthesizedSuper) {
                 superCallExpression = createDefaultSuperCallOrThis();
             }
-            else if (isDerivedClass && statementOffset < constructor.body.statements.length) {
-                var firstStatement = constructor.body.statements[statementOffset];
-                if (ts.isExpressionStatement(firstStatement) && ts.isSuperCall(firstStatement.expression)) {
-                    superCallExpression = visitImmediateSuperCallInBody(firstStatement.expression);
-                }
+            else if (superCall) {
+                superCallExpression = visitSuperCallInBody(superCall);
             }
             if (superCallExpression) {
                 hierarchyFacts |= 8192;
-                statementOffset++;
             }
+            addDefaultValueAssignmentsIfNeeded(prologue, constructor);
+            addRestParameterIfNeeded(prologue, constructor, hasSynthesizedSuper);
             ts.addRange(statements, ts.visitNodes(constructor.body.statements, visitor, ts.isStatement, statementOffset));
             factory.mergeLexicalEnvironment(prologue, endLexicalEnvironment());
             insertCaptureNewTargetIfNeeded(prologue, constructor, false);
-            if (isDerivedClass) {
-                if (superCallExpression && statementOffset === constructor.body.statements.length && !(constructor.body.transformFlags & 8192)) {
-                    var superCall = ts.cast(ts.cast(superCallExpression, ts.isBinaryExpression).left, ts.isCallExpression);
+            if (isDerivedClass || superCallExpression) {
+                if (superCallExpression && postSuperStatementsStart === constructor.body.statements.length && !(constructor.body.transformFlags & 8192)) {
+                    var superCall_1 = ts.cast(ts.cast(superCallExpression, ts.isBinaryExpression).left, ts.isCallExpression);
                     var returnStatement = factory.createReturnStatement(superCallExpression);
-                    ts.setCommentRange(returnStatement, ts.getCommentRange(superCall));
-                    ts.setEmitFlags(superCall, 1536);
+                    ts.setCommentRange(returnStatement, ts.getCommentRange(superCall_1));
+                    ts.setEmitFlags(superCall_1, 1536);
                     statements.push(returnStatement);
                 }
                 else {
-                    insertCaptureThisForNode(statements, constructor, superCallExpression || createActualThis());
+                    if (superStatementIndex <= existingPrologue.length) {
+                        insertCaptureThisForNode(statements, constructor, superCallExpression || createActualThis());
+                    }
+                    else {
+                        insertCaptureThisForNode(prologue, constructor, createActualThis());
+                        if (superCallExpression) {
+                            insertSuperThisCaptureThisForNode(statements, superCallExpression);
+                        }
+                    }
                     if (!isSufficientlyCoveredByReturnStatements(constructor.body)) {
                         statements.push(factory.createReturnStatement(factory.createUniqueName("_this", 16 | 32)));
                     }
@@ -80682,9 +80771,23 @@ var ts;
             else {
                 insertCaptureThisForNodeIfNeeded(prologue, constructor);
             }
-            var block = factory.createBlock(ts.setTextRange(factory.createNodeArray(ts.concatenate(prologue, statements)), constructor.body.statements), true);
-            ts.setTextRange(block, constructor.body);
-            return block;
+            var body = factory.createBlock(ts.setTextRange(factory.createNodeArray(__spreadArray(__spreadArray(__spreadArray(__spreadArray([], existingPrologue, true), prologue, true), (superStatementIndex <= existingPrologue.length ? ts.emptyArray : ts.visitNodes(constructor.body.statements, visitor, ts.isStatement, existingPrologue.length, superStatementIndex)), true), statements, true)), constructor.body.statements), true);
+            ts.setTextRange(body, constructor.body);
+            return body;
+        }
+        function findSuperCallAndStatementIndex(originalBodyStatements, existingPrologue) {
+            for (var i = existingPrologue.length; i < originalBodyStatements.length; i += 1) {
+                var superCall = ts.getSuperCallFromStatement(originalBodyStatements[i]);
+                if (superCall) {
+                    return {
+                        superCall: superCall,
+                        superStatementIndex: i,
+                    };
+                }
+            }
+            return {
+                superStatementIndex: -1,
+            };
         }
         function isSufficientlyCoveredByReturnStatements(statement) {
             if (statement.kind === 246) {
@@ -80811,6 +80914,12 @@ var ts;
             }
             return false;
         }
+        function insertSuperThisCaptureThisForNode(statements, superExpression) {
+            enableSubstitutionsForCapturedThis();
+            var assignSuperExpression = factory.createExpressionStatement(factory.createBinaryExpression(factory.createThis(), 63, superExpression));
+            ts.insertStatementAfterCustomPrologue(statements, assignSuperExpression);
+            ts.setCommentRange(assignSuperExpression, ts.getOriginalNode(superExpression).parent);
+        }
         function insertCaptureThisForNode(statements, node, initializer) {
             enableSubstitutionsForCapturedThis();
             var captureThisStatement = factory.createVariableStatement(undefined, factory.createVariableDeclarationList([
@@ -81020,7 +81129,7 @@ var ts;
             var statementOffset;
             resumeLexicalEnvironment();
             if (ts.isBlock(body)) {
-                statementOffset = factory.copyStandardPrologue(body.statements, prologue, false);
+                statementOffset = factory.copyStandardPrologue(body.statements, prologue, 0, false);
                 statementOffset = factory.copyCustomPrologue(body.statements, statements, statementOffset, visitor, ts.isHoistedFunction);
                 statementOffset = factory.copyCustomPrologue(body.statements, statements, statementOffset, visitor, ts.isHoistedVariableStatement);
             }
@@ -81937,7 +82046,7 @@ var ts;
             ts.addRange(statements, classStatements, 1);
             return factory.restoreOuterExpressions(node.expression, factory.restoreOuterExpressions(variable.initializer, factory.restoreOuterExpressions(aliasAssignment && aliasAssignment.right, factory.updateCallExpression(call, factory.restoreOuterExpressions(call.expression, factory.updateFunctionExpression(func, undefined, undefined, undefined, undefined, func.parameters, undefined, factory.updateBlock(func.body, statements))), undefined, call.arguments))));
         }
-        function visitImmediateSuperCallInBody(node) {
+        function visitSuperCallInBody(node) {
             return visitCallExpressionWithPotentialCapturedThisAssignment(node, false);
         }
         function visitCallExpressionWithPotentialCapturedThisAssignment(node, assignToCapturedThis) {