typescript 4.7.0-dev.20220405 → 4.7.0-dev.20220415

package/lib/tsserver.js

@@ -100,7 +100,7 @@ var ts;
     // The following is baselined as a literal template type without intervention
     /** The version of the TypeScript compiler release */
     // eslint-disable-next-line @typescript-eslint/no-inferrable-types
-    ts.version = ts.versionMajorMinor + ".0-dev.20220405";
+    ts.version = ts.versionMajorMinor + ".0-dev.20220415";
     /* @internal */
     var Comparison;
     (function (Comparison) {
@@ -4415,10 +4415,11 @@ var ts;
         NodeFlags[NodeFlags["YieldContext"] = 8192] = "YieldContext";
         NodeFlags[NodeFlags["DecoratorContext"] = 16384] = "DecoratorContext";
         NodeFlags[NodeFlags["AwaitContext"] = 32768] = "AwaitContext";
-        NodeFlags[NodeFlags["ThisNodeHasError"] = 65536] = "ThisNodeHasError";
-        NodeFlags[NodeFlags["JavaScriptFile"] = 131072] = "JavaScriptFile";
-        NodeFlags[NodeFlags["ThisNodeOrAnySubNodesHasError"] = 262144] = "ThisNodeOrAnySubNodesHasError";
-        NodeFlags[NodeFlags["HasAggregatedChildData"] = 524288] = "HasAggregatedChildData";
+        NodeFlags[NodeFlags["DisallowConditionalTypesContext"] = 65536] = "DisallowConditionalTypesContext";
+        NodeFlags[NodeFlags["ThisNodeHasError"] = 131072] = "ThisNodeHasError";
+        NodeFlags[NodeFlags["JavaScriptFile"] = 262144] = "JavaScriptFile";
+        NodeFlags[NodeFlags["ThisNodeOrAnySubNodesHasError"] = 524288] = "ThisNodeOrAnySubNodesHasError";
+        NodeFlags[NodeFlags["HasAggregatedChildData"] = 1048576] = "HasAggregatedChildData";
         // These flags will be set when the parser encounters a dynamic import expression or 'import.meta' to avoid
         // walking the tree if the flags are not set. However, these flags are just a approximation
         // (hence why it's named "PossiblyContainsDynamicImport") because once set, the flags never get cleared.
@@ -4428,25 +4429,25 @@ var ts;
         // removal, it is likely that users will add the import anyway.
         // The advantage of this approach is its simplicity. For the case of batch compilation,
         // we guarantee that users won't have to pay the price of walking the tree if a dynamic import isn't used.
-        /* @internal */ NodeFlags[NodeFlags["PossiblyContainsDynamicImport"] = 1048576] = "PossiblyContainsDynamicImport";
-        /* @internal */ NodeFlags[NodeFlags["PossiblyContainsImportMeta"] = 2097152] = "PossiblyContainsImportMeta";
-        NodeFlags[NodeFlags["JSDoc"] = 4194304] = "JSDoc";
-        /* @internal */ NodeFlags[NodeFlags["Ambient"] = 8388608] = "Ambient";
-        /* @internal */ NodeFlags[NodeFlags["InWithStatement"] = 16777216] = "InWithStatement";
-        NodeFlags[NodeFlags["JsonFile"] = 33554432] = "JsonFile";
-        /* @internal */ NodeFlags[NodeFlags["TypeCached"] = 67108864] = "TypeCached";
-        /* @internal */ NodeFlags[NodeFlags["Deprecated"] = 134217728] = "Deprecated";
+        /* @internal */ NodeFlags[NodeFlags["PossiblyContainsDynamicImport"] = 2097152] = "PossiblyContainsDynamicImport";
+        /* @internal */ NodeFlags[NodeFlags["PossiblyContainsImportMeta"] = 4194304] = "PossiblyContainsImportMeta";
+        NodeFlags[NodeFlags["JSDoc"] = 8388608] = "JSDoc";
+        /* @internal */ NodeFlags[NodeFlags["Ambient"] = 16777216] = "Ambient";
+        /* @internal */ NodeFlags[NodeFlags["InWithStatement"] = 33554432] = "InWithStatement";
+        NodeFlags[NodeFlags["JsonFile"] = 67108864] = "JsonFile";
+        /* @internal */ NodeFlags[NodeFlags["TypeCached"] = 134217728] = "TypeCached";
+        /* @internal */ NodeFlags[NodeFlags["Deprecated"] = 268435456] = "Deprecated";
         NodeFlags[NodeFlags["BlockScoped"] = 3] = "BlockScoped";
         NodeFlags[NodeFlags["ReachabilityCheckFlags"] = 768] = "ReachabilityCheckFlags";
         NodeFlags[NodeFlags["ReachabilityAndEmitFlags"] = 2816] = "ReachabilityAndEmitFlags";
         // Parsing context flags
-        NodeFlags[NodeFlags["ContextFlags"] = 25358336] = "ContextFlags";
+        NodeFlags[NodeFlags["ContextFlags"] = 50720768] = "ContextFlags";
         // Exclude these flags when parsing a Type
         NodeFlags[NodeFlags["TypeExcludesFlags"] = 40960] = "TypeExcludesFlags";
         // Represents all flags that are potentially set once and
         // never cleared on SourceFiles which get re-used in between incremental parses.
         // See the comment above on `PossiblyContainsDynamicImport` and `PossiblyContainsImportMeta`.
-        /* @internal */ NodeFlags[NodeFlags["PermanentlySetIncrementalFlags"] = 3145728] = "PermanentlySetIncrementalFlags";
+        /* @internal */ NodeFlags[NodeFlags["PermanentlySetIncrementalFlags"] = 6291456] = "PermanentlySetIncrementalFlags";
     })(NodeFlags = ts.NodeFlags || (ts.NodeFlags = {}));
     var ModifierFlags;
     (function (ModifierFlags) {
@@ -4659,7 +4660,6 @@ var ts;
         NodeBuilderFlags[NodeBuilderFlags["UseAliasDefinedOutsideCurrentScope"] = 16384] = "UseAliasDefinedOutsideCurrentScope";
         NodeBuilderFlags[NodeBuilderFlags["UseSingleQuotesForStringLiteralType"] = 268435456] = "UseSingleQuotesForStringLiteralType";
         NodeBuilderFlags[NodeBuilderFlags["NoTypeReduction"] = 536870912] = "NoTypeReduction";
-        NodeBuilderFlags[NodeBuilderFlags["NoUndefinedOptionalParameterType"] = 1073741824] = "NoUndefinedOptionalParameterType";
         // Error handling
         NodeBuilderFlags[NodeBuilderFlags["AllowThisInObjectLiteral"] = 32768] = "AllowThisInObjectLiteral";
         NodeBuilderFlags[NodeBuilderFlags["AllowQualifiedNameInPlaceOfIdentifier"] = 65536] = "AllowQualifiedNameInPlaceOfIdentifier";
@@ -8716,6 +8716,7 @@ var ts;
         _0_index_signatures_are_incompatible: diag(2634, ts.DiagnosticCategory.Error, "_0_index_signatures_are_incompatible_2634", "'{0}' index signatures are incompatible."),
         Type_0_has_no_signatures_for_which_the_type_argument_list_is_applicable: diag(2635, ts.DiagnosticCategory.Error, "Type_0_has_no_signatures_for_which_the_type_argument_list_is_applicable_2635", "Type '{0}' has no signatures for which the type argument list is applicable."),
         Type_0_is_not_assignable_to_type_1_as_implied_by_variance_annotation: diag(2636, ts.DiagnosticCategory.Error, "Type_0_is_not_assignable_to_type_1_as_implied_by_variance_annotation_2636", "Type '{0}' is not assignable to type '{1}' as implied by variance annotation."),
+        Variance_annotations_are_only_supported_in_type_aliases_for_object_function_constructor_and_mapped_types: diag(2637, ts.DiagnosticCategory.Error, "Variance_annotations_are_only_supported_in_type_aliases_for_object_function_constructor_and_mapped_t_2637", "Variance annotations are only supported in type aliases for object, function, constructor, and mapped types."),
         Cannot_augment_module_0_with_value_exports_because_it_resolves_to_a_non_module_entity: diag(2649, ts.DiagnosticCategory.Error, "Cannot_augment_module_0_with_value_exports_because_it_resolves_to_a_non_module_entity_2649", "Cannot augment module '{0}' with value exports because it resolves to a non-module entity."),
         A_member_initializer_in_a_enum_declaration_cannot_reference_members_declared_after_it_including_members_defined_in_other_enums: diag(2651, ts.DiagnosticCategory.Error, "A_member_initializer_in_a_enum_declaration_cannot_reference_members_declared_after_it_including_memb_2651", "A member initializer in a enum declaration cannot reference members declared after it, including members defined in other enums."),
         Merged_declaration_0_cannot_include_a_default_export_declaration_Consider_adding_a_separate_export_default_0_declaration_instead: diag(2652, ts.DiagnosticCategory.Error, "Merged_declaration_0_cannot_include_a_default_export_declaration_Consider_adding_a_separate_export_d_2652", "Merged declaration '{0}' cannot include a default export declaration. Consider adding a separate 'export default {0}' declaration instead."),
@@ -8888,6 +8889,7 @@ var ts;
         Relative_import_paths_need_explicit_file_extensions_in_EcmaScript_imports_when_moduleResolution_is_node12_or_nodenext_Did_you_mean_0: diag(2835, ts.DiagnosticCategory.Error, "Relative_import_paths_need_explicit_file_extensions_in_EcmaScript_imports_when_moduleResolution_is_n_2835", "Relative import paths need explicit file extensions in EcmaScript imports when '--moduleResolution' is 'node12' or 'nodenext'. Did you mean '{0}'?"),
         Import_assertions_are_not_allowed_on_statements_that_transpile_to_commonjs_require_calls: diag(2836, ts.DiagnosticCategory.Error, "Import_assertions_are_not_allowed_on_statements_that_transpile_to_commonjs_require_calls_2836", "Import assertions are not allowed on statements that transpile to commonjs 'require' calls."),
         Import_assertion_values_must_be_string_literal_expressions: diag(2837, ts.DiagnosticCategory.Error, "Import_assertion_values_must_be_string_literal_expressions_2837", "Import assertion values must be string literal expressions."),
+        All_declarations_of_0_must_have_identical_constraints: diag(2838, ts.DiagnosticCategory.Error, "All_declarations_of_0_must_have_identical_constraints_2838", "All declarations of '{0}' must have identical constraints."),
         Import_declaration_0_is_using_private_name_1: diag(4000, ts.DiagnosticCategory.Error, "Import_declaration_0_is_using_private_name_1_4000", "Import declaration '{0}' is using private name '{1}'."),
         Type_parameter_0_of_exported_class_has_or_is_using_private_name_1: diag(4002, ts.DiagnosticCategory.Error, "Type_parameter_0_of_exported_class_has_or_is_using_private_name_1_4002", "Type parameter '{0}' of exported class has or is using private name '{1}'."),
         Type_parameter_0_of_exported_interface_has_or_is_using_private_name_1: diag(4004, ts.DiagnosticCategory.Error, "Type_parameter_0_of_exported_interface_has_or_is_using_private_name_1_4004", "Type parameter '{0}' of exported interface has or is using private name '{1}'."),
@@ -14302,24 +14304,24 @@ var ts;
     // Returns true if this node contains a parse error anywhere underneath it.
     function containsParseError(node) {
         aggregateChildData(node);
-        return (node.flags & 262144 /* ThisNodeOrAnySubNodesHasError */) !== 0;
+        return (node.flags & 524288 /* ThisNodeOrAnySubNodesHasError */) !== 0;
     }
     ts.containsParseError = containsParseError;
     function aggregateChildData(node) {
-        if (!(node.flags & 524288 /* HasAggregatedChildData */)) {
+        if (!(node.flags & 1048576 /* HasAggregatedChildData */)) {
             // A node is considered to contain a parse error if:
             //  a) the parser explicitly marked that it had an error
             //  b) any of it's children reported that it had an error.
-            var thisNodeOrAnySubNodesHasError = ((node.flags & 65536 /* ThisNodeHasError */) !== 0) ||
+            var thisNodeOrAnySubNodesHasError = ((node.flags & 131072 /* ThisNodeHasError */) !== 0) ||
                 ts.forEachChild(node, containsParseError);
             // If so, mark ourselves accordingly.
             if (thisNodeOrAnySubNodesHasError) {
-                node.flags |= 262144 /* ThisNodeOrAnySubNodesHasError */;
+                node.flags |= 524288 /* ThisNodeOrAnySubNodesHasError */;
             }
             // Also mark that we've propagated the child information to this node.  This way we can
             // always consult the bit directly on this node without needing to check its children
             // again.
-            node.flags |= 524288 /* HasAggregatedChildData */;
+            node.flags |= 1048576 /* HasAggregatedChildData */;
         }
     }
     function getSourceFileOfNode(node) {
@@ -14963,6 +14965,10 @@ var ts;
         }
     }
     ts.isAnyImportSyntax = isAnyImportSyntax;
+    function isAnyImportOrBareOrAccessedRequire(node) {
+        return isAnyImportSyntax(node) || isVariableDeclarationInitializedToBareOrAccessedRequire(node);
+    }
+    ts.isAnyImportOrBareOrAccessedRequire = isAnyImportOrBareOrAccessedRequire;
     function isLateVisibilityPaintedStatement(node) {
         switch (node.kind) {
             case 266 /* ImportDeclaration */:
@@ -16126,11 +16132,11 @@ var ts;
     }
     ts.isSourceFileNotJS = isSourceFileNotJS;
     function isInJSFile(node) {
-        return !!node && !!(node.flags & 131072 /* JavaScriptFile */);
+        return !!node && !!(node.flags & 262144 /* JavaScriptFile */);
     }
     ts.isInJSFile = isInJSFile;
     function isInJsonFile(node) {
-        return !!node && !!(node.flags & 33554432 /* JsonFile */);
+        return !!node && !!(node.flags & 67108864 /* JsonFile */);
     }
     ts.isInJsonFile = isInJsonFile;
     function isSourceFileNotJson(file) {
@@ -16138,7 +16144,7 @@ var ts;
     }
     ts.isSourceFileNotJson = isSourceFileNotJson;
     function isInJSDoc(node) {
-        return !!node && !!(node.flags & 4194304 /* JSDoc */);
+        return !!node && !!(node.flags & 8388608 /* JSDoc */);
     }
     ts.isInJSDoc = isInJSDoc;
     function isJSDocIndexSignature(node) {
@@ -16323,17 +16329,13 @@ var ts;
         if (isPropertyNameLiteral(name) && isPropertyNameLiteral(initializer)) {
             return getTextOfIdentifierOrLiteral(name) === getTextOfIdentifierOrLiteral(initializer);
         }
-        if (ts.isIdentifier(name) && isLiteralLikeAccess(initializer) &&
+        if (ts.isMemberName(name) && isLiteralLikeAccess(initializer) &&
             (initializer.expression.kind === 108 /* ThisKeyword */ ||
                 ts.isIdentifier(initializer.expression) &&
                     (initializer.expression.escapedText === "window" ||
                         initializer.expression.escapedText === "self" ||
                         initializer.expression.escapedText === "global"))) {
-            var nameOrArgument = getNameOrArgument(initializer);
-            if (ts.isPrivateIdentifier(nameOrArgument)) {
-                ts.Debug.fail("Unexpected PrivateIdentifier in name expression with literal-like access.");
-            }
-            return isSameEntityName(name, nameOrArgument);
+            return isSameEntityName(name, getNameOrArgument(initializer));
         }
         if (isLiteralLikeAccess(name) && isLiteralLikeAccess(initializer)) {
             return getElementOrPropertyAccessName(name) === getElementOrPropertyAccessName(initializer)
@@ -16524,7 +16526,7 @@ var ts;
     function setValueDeclaration(symbol, node) {
         var valueDeclaration = symbol.valueDeclaration;
         if (!valueDeclaration ||
-            !(node.flags & 8388608 /* Ambient */ && !(valueDeclaration.flags & 8388608 /* Ambient */)) &&
+            !(node.flags & 16777216 /* Ambient */ && !(valueDeclaration.flags & 16777216 /* Ambient */)) &&
                 (isAssignmentDeclaration(valueDeclaration) && !isAssignmentDeclaration(node)) ||
             (valueDeclaration.kind !== node.kind && isEffectiveModuleDeclaration(valueDeclaration))) {
             // other kinds of value declarations take precedence over modules and assignment declarations
@@ -16541,14 +16543,14 @@ var ts;
     }
     ts.isFunctionSymbol = isFunctionSymbol;
     function tryGetModuleSpecifierFromDeclaration(node) {
-        var _a, _b, _c;
+        var _a, _b;
         switch (node.kind) {
             case 254 /* VariableDeclaration */:
-                return node.initializer.arguments[0].text;
+                return (_a = ts.findAncestor(node.initializer, function (node) { return isRequireCall(node, /*requireStringLiteralLikeArgument*/ true); })) === null || _a === void 0 ? void 0 : _a.arguments[0];
             case 266 /* ImportDeclaration */:
-                return (_a = ts.tryCast(node.moduleSpecifier, ts.isStringLiteralLike)) === null || _a === void 0 ? void 0 : _a.text;
+                return ts.tryCast(node.moduleSpecifier, ts.isStringLiteralLike);
             case 265 /* ImportEqualsDeclaration */:
-                return (_c = ts.tryCast((_b = ts.tryCast(node.moduleReference, ts.isExternalModuleReference)) === null || _b === void 0 ? void 0 : _b.expression, ts.isStringLiteralLike)) === null || _c === void 0 ? void 0 : _c.text;
+                return ts.tryCast((_b = ts.tryCast(node.moduleReference, ts.isExternalModuleReference)) === null || _b === void 0 ? void 0 : _b.expression, ts.isStringLiteralLike);
             default:
                 ts.Debug.assertNever(node);
         }
@@ -17063,7 +17065,10 @@ var ts;
                 return parent.propertyName === node;
             case 275 /* ExportSpecifier */:
             case 285 /* JsxAttribute */:
-                // Any name in an export specifier or JSX Attribute
+            case 279 /* JsxSelfClosingElement */:
+            case 280 /* JsxOpeningElement */:
+            case 281 /* JsxClosingElement */:
+                // Any name in an export specifier or JSX Attribute or Jsx Element
                 return true;
         }
         return false;
@@ -17079,21 +17084,28 @@ var ts;
     // export = <EntityNameExpression>
     // export default <EntityNameExpression>
     // module.exports = <EntityNameExpression>
-    // {<Identifier>}
-    // {name: <EntityNameExpression>}
+    // module.exports.x = <EntityNameExpression>
+    // const x = require("...")
+    // const { x } = require("...")
+    // const x = require("...").y
+    // const { x } = require("...").y
     function isAliasSymbolDeclaration(node) {
-        return node.kind === 265 /* ImportEqualsDeclaration */ ||
+        if (node.kind === 265 /* ImportEqualsDeclaration */ ||
             node.kind === 264 /* NamespaceExportDeclaration */ ||
             node.kind === 267 /* ImportClause */ && !!node.name ||
             node.kind === 268 /* NamespaceImport */ ||
             node.kind === 274 /* NamespaceExport */ ||
             node.kind === 270 /* ImportSpecifier */ ||
             node.kind === 275 /* ExportSpecifier */ ||
-            node.kind === 271 /* ExportAssignment */ && exportAssignmentIsAlias(node) ||
-            ts.isBinaryExpression(node) && getAssignmentDeclarationKind(node) === 2 /* ModuleExports */ && exportAssignmentIsAlias(node) ||
-            ts.isPropertyAccessExpression(node) && ts.isBinaryExpression(node.parent) && node.parent.left === node && node.parent.operatorToken.kind === 63 /* EqualsToken */ && isAliasableExpression(node.parent.right) ||
-            node.kind === 297 /* ShorthandPropertyAssignment */ ||
-            node.kind === 296 /* PropertyAssignment */ && isAliasableExpression(node.initializer);
+            node.kind === 271 /* ExportAssignment */ && exportAssignmentIsAlias(node)) {
+            return true;
+        }
+        return isInJSFile(node) && (ts.isBinaryExpression(node) && getAssignmentDeclarationKind(node) === 2 /* ModuleExports */ && exportAssignmentIsAlias(node) ||
+            ts.isPropertyAccessExpression(node)
+                && ts.isBinaryExpression(node.parent)
+                && node.parent.left === node
+                && node.parent.operatorToken.kind === 63 /* EqualsToken */
+                && isAliasableExpression(node.parent.right));
     }
     ts.isAliasSymbolDeclaration = isAliasSymbolDeclaration;
     function getAliasDeclarationFromName(node) {
@@ -17104,6 +17116,7 @@ var ts;
             case 275 /* ExportSpecifier */:
             case 271 /* ExportAssignment */:
             case 265 /* ImportEqualsDeclaration */:
+            case 274 /* NamespaceExport */:
                 return node.parent;
             case 161 /* QualifiedName */:
                 do {
@@ -18930,6 +18943,11 @@ var ts;
             (node.parent.kind === 206 /* PropertyAccessExpression */ && node.parent.name === node);
     }
     ts.isRightSideOfQualifiedNameOrPropertyAccess = isRightSideOfQualifiedNameOrPropertyAccess;
+    function isRightSideOfAccessExpression(node) {
+        return ts.isPropertyAccessExpression(node.parent) && node.parent.name === node
+            || ts.isElementAccessExpression(node.parent) && node.parent.argumentExpression === node;
+    }
+    ts.isRightSideOfAccessExpression = isRightSideOfAccessExpression;
     function isRightSideOfQualifiedNameOrPropertyAccessOrJSDocMemberName(node) {
         return ts.isQualifiedName(node.parent) && node.parent.right === node
             || ts.isPropertyAccessExpression(node.parent) && node.parent.name === node
@@ -19581,6 +19599,41 @@ var ts;
         return expr;
     }
     ts.getLeftmostAccessExpression = getLeftmostAccessExpression;
+    function forEachNameInAccessChainWalkingLeft(name, action) {
+        if (isAccessExpression(name.parent) && isRightSideOfAccessExpression(name)) {
+            return walkAccessExpression(name.parent);
+        }
+        function walkAccessExpression(access) {
+            if (access.kind === 206 /* PropertyAccessExpression */) {
+                var res = action(access.name);
+                if (res !== undefined) {
+                    return res;
+                }
+            }
+            else if (access.kind === 207 /* ElementAccessExpression */) {
+                if (ts.isIdentifier(access.argumentExpression) || ts.isStringLiteralLike(access.argumentExpression)) {
+                    var res = action(access.argumentExpression);
+                    if (res !== undefined) {
+                        return res;
+                    }
+                }
+                else {
+                    // Chain interrupted by non-static-name access 'x[expr()].y.z'
+                    return undefined;
+                }
+            }
+            if (isAccessExpression(access.expression)) {
+                return walkAccessExpression(access.expression);
+            }
+            if (ts.isIdentifier(access.expression)) {
+                // End of chain at Identifier 'x.y.z'
+                return action(access.expression);
+            }
+            // End of chain at non-Identifier 'x().y.z'
+            return undefined;
+        }
+    }
+    ts.forEachNameInAccessChainWalkingLeft = forEachNameInAccessChainWalkingLeft;
     function getLeftmostExpression(node, stopAtCallExpressions) {
         while (true) {
             switch (node.kind) {
@@ -20528,6 +20581,7 @@ var ts;
     ts.supportedJSExtensionsFlat = ts.flatten(ts.supportedJSExtensions);
     var allSupportedExtensions = [[".ts" /* Ts */, ".tsx" /* Tsx */, ".d.ts" /* Dts */, ".js" /* Js */, ".jsx" /* Jsx */], [".cts" /* Cts */, ".d.cts" /* Dcts */, ".cjs" /* Cjs */], [".mts" /* Mts */, ".d.mts" /* Dmts */, ".mjs" /* Mjs */]];
     var allSupportedExtensionsWithJson = __spreadArray(__spreadArray([], allSupportedExtensions, true), [[".json" /* Json */]], false);
+    ts.supportedDeclarationExtensions = [".d.ts" /* Dts */, ".d.cts" /* Dcts */, ".d.mts" /* Dmts */];
     function getSupportedExtensions(options, extraFileExtensions) {
         var needJsExtensions = options && getAllowJSCompilerOption(options);
         if (!extraFileExtensions || extraFileExtensions.length === 0) {
@@ -20826,7 +20880,7 @@ var ts;
     }
     ts.pseudoBigIntToString = pseudoBigIntToString;
     function isValidTypeOnlyAliasUseSite(useSite) {
-        return !!(useSite.flags & 8388608 /* Ambient */)
+        return !!(useSite.flags & 16777216 /* Ambient */)
             || isPartOfTypeQuery(useSite)
             || isIdentifierInNonEmittingHeritageClause(useSite)
             || isPartOfPossiblyValidTypeOrAbstractComputedPropertyName(useSite)
@@ -21216,6 +21270,11 @@ var ts;
         return state > 1 /* NodeModules */ ? { topLevelNodeModulesIndex: topLevelNodeModulesIndex, topLevelPackageNameIndex: topLevelPackageNameIndex, packageRootIndex: packageRootIndex, fileNameIndex: fileNameIndex } : undefined;
     }
     ts.getNodeModulePathParts = getNodeModulePathParts;
+    function getParameterTypeNode(parameter) {
+        var _a;
+        return parameter.kind === 340 /* JSDocParameterTag */ ? (_a = parameter.typeExpression) === null || _a === void 0 ? void 0 : _a.type : parameter.type;
+    }
+    ts.getParameterTypeNode = getParameterTypeNode;
 })(ts || (ts = {}));
 /* @internal */
 var ts;
@@ -21279,11 +21338,20 @@ var ts;
             parenthesizeExpressionForDisallowedComma: parenthesizeExpressionForDisallowedComma,
             parenthesizeExpressionOfExpressionStatement: parenthesizeExpressionOfExpressionStatement,
             parenthesizeConciseBodyOfArrowFunction: parenthesizeConciseBodyOfArrowFunction,
-            parenthesizeMemberOfConditionalType: parenthesizeMemberOfConditionalType,
-            parenthesizeMemberOfElementType: parenthesizeMemberOfElementType,
-            parenthesizeElementTypeOfArrayType: parenthesizeElementTypeOfArrayType,
-            parenthesizeConstituentTypesOfUnionOrIntersectionType: parenthesizeConstituentTypesOfUnionOrIntersectionType,
+            parenthesizeCheckTypeOfConditionalType: parenthesizeCheckTypeOfConditionalType,
+            parenthesizeExtendsTypeOfConditionalType: parenthesizeExtendsTypeOfConditionalType,
+            parenthesizeConstituentTypesOfUnionType: parenthesizeConstituentTypesOfUnionType,
+            parenthesizeConstituentTypeOfUnionType: parenthesizeConstituentTypeOfUnionType,
+            parenthesizeConstituentTypesOfIntersectionType: parenthesizeConstituentTypesOfIntersectionType,
+            parenthesizeConstituentTypeOfIntersectionType: parenthesizeConstituentTypeOfIntersectionType,
+            parenthesizeOperandOfTypeOperator: parenthesizeOperandOfTypeOperator,
+            parenthesizeOperandOfReadonlyTypeOperator: parenthesizeOperandOfReadonlyTypeOperator,
+            parenthesizeNonArrayTypeOfPostfixType: parenthesizeNonArrayTypeOfPostfixType,
+            parenthesizeElementTypesOfTupleType: parenthesizeElementTypesOfTupleType,
+            parenthesizeElementTypeOfTupleType: parenthesizeElementTypeOfTupleType,
+            parenthesizeTypeOfOptionalType: parenthesizeTypeOfOptionalType,
             parenthesizeTypeArguments: parenthesizeTypeArguments,
+            parenthesizeLeadingTypeArgument: parenthesizeLeadingTypeArgument,
         };
         function getParenthesizeLeftSideOfBinaryForOperator(operatorKind) {
             binaryLeftOperandParenthesizerCache || (binaryLeftOperandParenthesizerCache = new ts.Map());
@@ -21595,33 +21663,191 @@ var ts;
             }
             return body;
         }
-        function parenthesizeMemberOfConditionalType(member) {
-            return member.kind === 189 /* ConditionalType */ ? factory.createParenthesizedType(member) : member;
+        // Type[Extends] :
+        //     FunctionOrConstructorType
+        //     ConditionalType[?Extends]
+        // ConditionalType[Extends] :
+        //     UnionType[?Extends]
+        //     [~Extends] UnionType[~Extends] `extends` Type[+Extends] `?` Type[~Extends] `:` Type[~Extends]
+        //
+        // - The check type (the `UnionType`, above) does not allow function, constructor, or conditional types (they must be parenthesized)
+        // - The extends type (the first `Type`, above) does not allow conditional types (they must be parenthesized). Function and constructor types are fine.
+        // - The true and false branch types (the second and third `Type` non-terminals, above) allow any type
+        function parenthesizeCheckTypeOfConditionalType(checkType) {
+            switch (checkType.kind) {
+                case 179 /* FunctionType */:
+                case 180 /* ConstructorType */:
+                case 189 /* ConditionalType */:
+                    return factory.createParenthesizedType(checkType);
+            }
+            return checkType;
         }
-        function parenthesizeMemberOfElementType(member) {
-            switch (member.kind) {
+        function parenthesizeExtendsTypeOfConditionalType(extendsType) {
+            switch (extendsType.kind) {
+                case 189 /* ConditionalType */:
+                    return factory.createParenthesizedType(extendsType);
+            }
+            return extendsType;
+        }
+        // UnionType[Extends] :
+        //     `|`? IntersectionType[?Extends]
+        //     UnionType[?Extends] `|` IntersectionType[?Extends]
+        //
+        // - A union type constituent has the same precedence as the check type of a conditional type
+        function parenthesizeConstituentTypeOfUnionType(type) {
+            switch (type.kind) {
+                case 187 /* UnionType */: // Not strictly necessary, but a union containing a union should have been flattened
+                case 188 /* IntersectionType */: // Not strictly necessary, but makes generated output more readable and avoids breaks in DT tests
+                    return factory.createParenthesizedType(type);
+            }
+            return parenthesizeCheckTypeOfConditionalType(type);
+        }
+        function parenthesizeConstituentTypesOfUnionType(members) {
+            return factory.createNodeArray(ts.sameMap(members, parenthesizeConstituentTypeOfUnionType));
+        }
+        // IntersectionType[Extends] :
+        //     `&`? TypeOperator[?Extends]
+        //     IntersectionType[?Extends] `&` TypeOperator[?Extends]
+        //
+        // - An intersection type constituent does not allow function, constructor, conditional, or union types (they must be parenthesized)
+        function parenthesizeConstituentTypeOfIntersectionType(type) {
+            switch (type.kind) {
                 case 187 /* UnionType */:
+                case 188 /* IntersectionType */: // Not strictly necessary, but an intersection containing an intersection should have been flattened
+                    return factory.createParenthesizedType(type);
+            }
+            return parenthesizeConstituentTypeOfUnionType(type);
+        }
+        function parenthesizeConstituentTypesOfIntersectionType(members) {
+            return factory.createNodeArray(ts.sameMap(members, parenthesizeConstituentTypeOfIntersectionType));
+        }
+        // TypeOperator[Extends] :
+        //     PostfixType
+        //     InferType[?Extends]
+        //     `keyof` TypeOperator[?Extends]
+        //     `unique` TypeOperator[?Extends]
+        //     `readonly` TypeOperator[?Extends]
+        //
+        function parenthesizeOperandOfTypeOperator(type) {
+            switch (type.kind) {
                 case 188 /* IntersectionType */:
-                case 179 /* FunctionType */:
-                case 180 /* ConstructorType */:
-                    return factory.createParenthesizedType(member);
+                    return factory.createParenthesizedType(type);
             }
-            return parenthesizeMemberOfConditionalType(member);
+            return parenthesizeConstituentTypeOfIntersectionType(type);
         }
-        function parenthesizeElementTypeOfArrayType(member) {
-            switch (member.kind) {
-                case 181 /* TypeQuery */:
+        function parenthesizeOperandOfReadonlyTypeOperator(type) {
+            switch (type.kind) {
                 case 193 /* TypeOperator */:
+                    return factory.createParenthesizedType(type);
+            }
+            return parenthesizeOperandOfTypeOperator(type);
+        }
+        // PostfixType :
+        //     NonArrayType
+        //     NonArrayType [no LineTerminator here] `!` // JSDoc
+        //     NonArrayType [no LineTerminator here] `?` // JSDoc
+        //     IndexedAccessType
+        //     ArrayType
+        //
+        // IndexedAccessType :
+        //     NonArrayType `[` Type[~Extends] `]`
+        //
+        // ArrayType :
+        //     NonArrayType `[` `]`
+        //
+        function parenthesizeNonArrayTypeOfPostfixType(type) {
+            switch (type.kind) {
                 case 190 /* InferType */:
-                    return factory.createParenthesizedType(member);
+                case 193 /* TypeOperator */:
+                case 181 /* TypeQuery */: // Not strictly necessary, but makes generated output more readable and avoids breaks in DT tests
+                    return factory.createParenthesizedType(type);
             }
-            return parenthesizeMemberOfElementType(member);
+            return parenthesizeOperandOfTypeOperator(type);
+        }
+        // TupleType :
+        //     `[` Elision? `]`
+        //     `[` NamedTupleElementTypes `]`
+        //     `[` NamedTupleElementTypes `,` Elision? `]`
+        //     `[` TupleElementTypes `]`
+        //     `[` TupleElementTypes `,` Elision? `]`
+        //
+        // NamedTupleElementTypes :
+        //     Elision? NamedTupleMember
+        //     NamedTupleElementTypes `,` Elision? NamedTupleMember
+        //
+        // NamedTupleMember :
+        //     Identifier `?`? `:` Type[~Extends]
+        //     `...` Identifier `:` Type[~Extends]
+        //
+        // TupleElementTypes :
+        //     Elision? TupleElementType
+        //     TupleElementTypes `,` Elision? TupleElementType
+        //
+        // TupleElementType :
+        //     Type[~Extends] // NOTE: Needs cover grammar to disallow JSDoc postfix-optional
+        //     OptionalType
+        //     RestType
+        //
+        // OptionalType :
+        //     Type[~Extends] `?` // NOTE: Needs cover grammar to disallow JSDoc postfix-optional
+        //
+        // RestType :
+        //     `...` Type[~Extends]
+        //
+        function parenthesizeElementTypesOfTupleType(types) {
+            return factory.createNodeArray(ts.sameMap(types, parenthesizeElementTypeOfTupleType));
+        }
+        function parenthesizeElementTypeOfTupleType(type) {
+            if (hasJSDocPostfixQuestion(type))
+                return factory.createParenthesizedType(type);
+            return type;
         }
-        function parenthesizeConstituentTypesOfUnionOrIntersectionType(members) {
-            return factory.createNodeArray(ts.sameMap(members, parenthesizeMemberOfElementType));
+        function hasJSDocPostfixQuestion(type) {
+            if (ts.isJSDocNullableType(type))
+                return type.postfix;
+            if (ts.isNamedTupleMember(type))
+                return hasJSDocPostfixQuestion(type.type);
+            if (ts.isFunctionTypeNode(type) || ts.isConstructorTypeNode(type) || ts.isTypeOperatorNode(type))
+                return hasJSDocPostfixQuestion(type.type);
+            if (ts.isConditionalTypeNode(type))
+                return hasJSDocPostfixQuestion(type.falseType);
+            if (ts.isUnionTypeNode(type))
+                return hasJSDocPostfixQuestion(ts.last(type.types));
+            if (ts.isIntersectionTypeNode(type))
+                return hasJSDocPostfixQuestion(ts.last(type.types));
+            if (ts.isInferTypeNode(type))
+                return !!type.typeParameter.constraint && hasJSDocPostfixQuestion(type.typeParameter.constraint);
+            return false;
+        }
+        function parenthesizeTypeOfOptionalType(type) {
+            if (hasJSDocPostfixQuestion(type))
+                return factory.createParenthesizedType(type);
+            return parenthesizeNonArrayTypeOfPostfixType(type);
+        }
+        // function parenthesizeMemberOfElementType(member: TypeNode): TypeNode {
+        //     switch (member.kind) {
+        //         case SyntaxKind.UnionType:
+        //         case SyntaxKind.IntersectionType:
+        //         case SyntaxKind.FunctionType:
+        //         case SyntaxKind.ConstructorType:
+        //             return factory.createParenthesizedType(member);
+        //     }
+        //     return parenthesizeMemberOfConditionalType(member);
+        // }
+        // function parenthesizeElementTypeOfArrayType(member: TypeNode): TypeNode {
+        //     switch (member.kind) {
+        //         case SyntaxKind.TypeQuery:
+        //         case SyntaxKind.TypeOperator:
+        //         case SyntaxKind.InferType:
+        //             return factory.createParenthesizedType(member);
+        //     }
+        //     return parenthesizeMemberOfElementType(member);
+        // }
+        function parenthesizeLeadingTypeArgument(node) {
+            return ts.isFunctionOrConstructorTypeNode(node) && node.typeParameters ? factory.createParenthesizedType(node) : node;
         }
         function parenthesizeOrdinalTypeArgument(node, i) {
-            return i === 0 && ts.isFunctionOrConstructorTypeNode(node) && node.typeParameters ? factory.createParenthesizedType(node) : node;
+            return i === 0 ? parenthesizeLeadingTypeArgument(node) : node;
         }
         function parenthesizeTypeArguments(typeArguments) {
             if (ts.some(typeArguments)) {
@@ -21647,11 +21873,20 @@ var ts;
         parenthesizeExpressionForDisallowedComma: ts.identity,
         parenthesizeExpressionOfExpressionStatement: ts.identity,
         parenthesizeConciseBodyOfArrowFunction: ts.identity,
-        parenthesizeMemberOfConditionalType: ts.identity,
-        parenthesizeMemberOfElementType: ts.identity,
-        parenthesizeElementTypeOfArrayType: ts.identity,
-        parenthesizeConstituentTypesOfUnionOrIntersectionType: function (nodes) { return ts.cast(nodes, ts.isNodeArray); },
+        parenthesizeCheckTypeOfConditionalType: ts.identity,
+        parenthesizeExtendsTypeOfConditionalType: ts.identity,
+        parenthesizeConstituentTypesOfUnionType: function (nodes) { return ts.cast(nodes, ts.isNodeArray); },
+        parenthesizeConstituentTypeOfUnionType: ts.identity,
+        parenthesizeConstituentTypesOfIntersectionType: function (nodes) { return ts.cast(nodes, ts.isNodeArray); },
+        parenthesizeConstituentTypeOfIntersectionType: ts.identity,
+        parenthesizeOperandOfTypeOperator: ts.identity,
+        parenthesizeOperandOfReadonlyTypeOperator: ts.identity,
+        parenthesizeNonArrayTypeOfPostfixType: ts.identity,
+        parenthesizeElementTypesOfTupleType: function (nodes) { return ts.cast(nodes, ts.isNodeArray); },
+        parenthesizeElementTypeOfTupleType: ts.identity,
+        parenthesizeTypeOfOptionalType: ts.identity,
         parenthesizeTypeArguments: function (nodes) { return nodes && ts.cast(nodes, ts.isNodeArray); },
+        parenthesizeLeadingTypeArgument: ts.identity,
     };
 })(ts || (ts = {}));
 /* @internal */
@@ -21791,6 +22026,8 @@ var ts;
         var getJSDocPrimaryTypeCreateFunction = ts.memoizeOne(function (kind) { return function () { return createJSDocPrimaryTypeWorker(kind); }; });
         var getJSDocUnaryTypeCreateFunction = ts.memoizeOne(function (kind) { return function (type) { return createJSDocUnaryTypeWorker(kind, type); }; });
         var getJSDocUnaryTypeUpdateFunction = ts.memoizeOne(function (kind) { return function (node, type) { return updateJSDocUnaryTypeWorker(kind, node, type); }; });
+        var getJSDocPrePostfixUnaryTypeCreateFunction = ts.memoizeOne(function (kind) { return function (type, postfix) { return createJSDocPrePostfixUnaryTypeWorker(kind, type, postfix); }; });
+        var getJSDocPrePostfixUnaryTypeUpdateFunction = ts.memoizeOne(function (kind) { return function (node, type) { return updateJSDocPrePostfixUnaryTypeWorker(kind, node, type); }; });
         var getJSDocSimpleTagCreateFunction = ts.memoizeOne(function (kind) { return function (tagName, comment) { return createJSDocSimpleTagWorker(kind, tagName, comment); }; });
         var getJSDocSimpleTagUpdateFunction = ts.memoizeOne(function (kind) { return function (node, tagName, comment) { return updateJSDocSimpleTagWorker(kind, node, tagName, comment); }; });
         var getJSDocTypeLikeTagCreateFunction = ts.memoizeOne(function (kind) { return function (tagName, typeExpression, comment) { return createJSDocTypeLikeTagWorker(kind, tagName, typeExpression, comment); }; });
@@ -21798,6 +22035,8 @@ var ts;
         var factory = {
             get parenthesizer() { return parenthesizerRules(); },
             get converters() { return converters(); },
+            baseFactory: baseFactory,
+            flags: flags,
             createNodeArray: createNodeArray,
             createNumericLiteral: createNumericLiteral,
             createBigIntLiteral: createBigIntLiteral,
@@ -22073,10 +22312,10 @@ var ts;
             // lazily load factory members for JSDoc types with similar structure
             get createJSDocAllType() { return getJSDocPrimaryTypeCreateFunction(312 /* JSDocAllType */); },
             get createJSDocUnknownType() { return getJSDocPrimaryTypeCreateFunction(313 /* JSDocUnknownType */); },
-            get createJSDocNonNullableType() { return getJSDocUnaryTypeCreateFunction(315 /* JSDocNonNullableType */); },
-            get updateJSDocNonNullableType() { return getJSDocUnaryTypeUpdateFunction(315 /* JSDocNonNullableType */); },
-            get createJSDocNullableType() { return getJSDocUnaryTypeCreateFunction(314 /* JSDocNullableType */); },
-            get updateJSDocNullableType() { return getJSDocUnaryTypeUpdateFunction(314 /* JSDocNullableType */); },
+            get createJSDocNonNullableType() { return getJSDocPrePostfixUnaryTypeCreateFunction(315 /* JSDocNonNullableType */); },
+            get updateJSDocNonNullableType() { return getJSDocPrePostfixUnaryTypeUpdateFunction(315 /* JSDocNonNullableType */); },
+            get createJSDocNullableType() { return getJSDocPrePostfixUnaryTypeCreateFunction(314 /* JSDocNullableType */); },
+            get updateJSDocNullableType() { return getJSDocPrePostfixUnaryTypeUpdateFunction(314 /* JSDocNullableType */); },
             get createJSDocOptionalType() { return getJSDocUnaryTypeCreateFunction(316 /* JSDocOptionalType */); },
             get updateJSDocOptionalType() { return getJSDocUnaryTypeUpdateFunction(316 /* JSDocOptionalType */); },
             get createJSDocVariadicType() { return getJSDocUnaryTypeCreateFunction(318 /* JSDocVariadicType */); },
@@ -23192,7 +23431,7 @@ var ts;
         // @api
         function createArrayTypeNode(elementType) {
             var node = createBaseNode(183 /* ArrayType */);
-            node.elementType = parenthesizerRules().parenthesizeElementTypeOfArrayType(elementType);
+            node.elementType = parenthesizerRules().parenthesizeNonArrayTypeOfPostfixType(elementType);
             node.transformFlags = 1 /* ContainsTypeScript */;
             return node;
         }
@@ -23205,7 +23444,7 @@ var ts;
         // @api
         function createTupleTypeNode(elements) {
             var node = createBaseNode(184 /* TupleType */);
-            node.elements = createNodeArray(elements);
+            node.elements = createNodeArray(parenthesizerRules().parenthesizeElementTypesOfTupleType(elements));
             node.transformFlags = 1 /* ContainsTypeScript */;
             return node;
         }
@@ -23237,7 +23476,7 @@ var ts;
         // @api
         function createOptionalTypeNode(type) {
             var node = createBaseNode(185 /* OptionalType */);
-            node.type = parenthesizerRules().parenthesizeElementTypeOfArrayType(type);
+            node.type = parenthesizerRules().parenthesizeTypeOfOptionalType(type);
             node.transformFlags = 1 /* ContainsTypeScript */;
             return node;
         }
@@ -23260,38 +23499,38 @@ var ts;
                 ? update(createRestTypeNode(type), node)
                 : node;
         }
-        function createUnionOrIntersectionTypeNode(kind, types) {
+        function createUnionOrIntersectionTypeNode(kind, types, parenthesize) {
             var node = createBaseNode(kind);
-            node.types = parenthesizerRules().parenthesizeConstituentTypesOfUnionOrIntersectionType(types);
+            node.types = factory.createNodeArray(parenthesize(types));
             node.transformFlags = 1 /* ContainsTypeScript */;
             return node;
         }
-        function updateUnionOrIntersectionTypeNode(node, types) {
+        function updateUnionOrIntersectionTypeNode(node, types, parenthesize) {
             return node.types !== types
-                ? update(createUnionOrIntersectionTypeNode(node.kind, types), node)
+                ? update(createUnionOrIntersectionTypeNode(node.kind, types, parenthesize), node)
                 : node;
         }
         // @api
         function createUnionTypeNode(types) {
-            return createUnionOrIntersectionTypeNode(187 /* UnionType */, types);
+            return createUnionOrIntersectionTypeNode(187 /* UnionType */, types, parenthesizerRules().parenthesizeConstituentTypesOfUnionType);
         }
         // @api
         function updateUnionTypeNode(node, types) {
-            return updateUnionOrIntersectionTypeNode(node, types);
+            return updateUnionOrIntersectionTypeNode(node, types, parenthesizerRules().parenthesizeConstituentTypesOfUnionType);
         }
         // @api
         function createIntersectionTypeNode(types) {
-            return createUnionOrIntersectionTypeNode(188 /* IntersectionType */, types);
+            return createUnionOrIntersectionTypeNode(188 /* IntersectionType */, types, parenthesizerRules().parenthesizeConstituentTypesOfIntersectionType);
         }
         // @api
         function updateIntersectionTypeNode(node, types) {
-            return updateUnionOrIntersectionTypeNode(node, types);
+            return updateUnionOrIntersectionTypeNode(node, types, parenthesizerRules().parenthesizeConstituentTypesOfIntersectionType);
         }
         // @api
         function createConditionalTypeNode(checkType, extendsType, trueType, falseType) {
             var node = createBaseNode(189 /* ConditionalType */);
-            node.checkType = parenthesizerRules().parenthesizeMemberOfConditionalType(checkType);
-            node.extendsType = parenthesizerRules().parenthesizeMemberOfConditionalType(extendsType);
+            node.checkType = parenthesizerRules().parenthesizeCheckTypeOfConditionalType(checkType);
+            node.extendsType = parenthesizerRules().parenthesizeExtendsTypeOfConditionalType(extendsType);
             node.trueType = trueType;
             node.falseType = falseType;
             node.transformFlags = 1 /* ContainsTypeScript */;
@@ -23386,7 +23625,9 @@ var ts;
         function createTypeOperatorNode(operator, type) {
             var node = createBaseNode(193 /* TypeOperator */);
             node.operator = operator;
-            node.type = parenthesizerRules().parenthesizeMemberOfElementType(type);
+            node.type = operator === 145 /* ReadonlyKeyword */ ?
+                parenthesizerRules().parenthesizeOperandOfReadonlyTypeOperator(type) :
+                parenthesizerRules().parenthesizeOperandOfTypeOperator(type);
             node.transformFlags = 1 /* ContainsTypeScript */;
             return node;
         }
@@ -23399,7 +23640,7 @@ var ts;
         // @api
         function createIndexedAccessTypeNode(objectType, indexType) {
             var node = createBaseNode(194 /* IndexedAccessType */);
-            node.objectType = parenthesizerRules().parenthesizeMemberOfElementType(objectType);
+            node.objectType = parenthesizerRules().parenthesizeNonArrayTypeOfPostfixType(objectType);
             node.indexType = indexType;
             node.transformFlags = 1 /* ContainsTypeScript */;
             return node;
@@ -25135,8 +25376,15 @@ var ts;
             return createBaseNode(kind);
         }
         // @api
-        // createJSDocNonNullableType
         // createJSDocNullableType
+        // createJSDocNonNullableType
+        function createJSDocPrePostfixUnaryTypeWorker(kind, type, postfix) {
+            if (postfix === void 0) { postfix = false; }
+            var node = createJSDocUnaryTypeWorker(kind, postfix ? type && parenthesizerRules().parenthesizeNonArrayTypeOfPostfixType(type) : type);
+            node.postfix = postfix;
+            return node;
+        }
+        // @api
         // createJSDocOptionalType
         // createJSDocVariadicType
         // createJSDocNamepathType
@@ -25148,6 +25396,12 @@ var ts;
         // @api
         // updateJSDocNonNullableType
         // updateJSDocNullableType
+        function updateJSDocPrePostfixUnaryTypeWorker(kind, node, type) {
+            return node.type !== type
+                ? update(createJSDocPrePostfixUnaryTypeWorker(kind, type, node.postfix), node)
+                : node;
+        }
+        // @api
         // updateJSDocOptionalType
         // updateJSDocVariadicType
         // updateJSDocNamepathType
@@ -30228,7 +30482,7 @@ var ts;
             || ts.isExportDeclaration(node) ? node : undefined;
     }
     function getImportMetaIfNecessary(sourceFile) {
-        return sourceFile.flags & 2097152 /* PossiblyContainsImportMeta */ ?
+        return sourceFile.flags & 4194304 /* PossiblyContainsImportMeta */ ?
             walkTreeForImportMeta(sourceFile) :
             undefined;
     }
@@ -30883,7 +31137,7 @@ var ts;
         var newSourceFile = IncrementalParser.updateSourceFile(sourceFile, newText, textChangeRange, aggressiveChecks);
         // Because new source file node is created, it may not have the flag PossiblyContainDynamicImport. This is the case if there is no new edit to add dynamic import.
         // We will manually port the flag to the new source file.
-        newSourceFile.flags |= (sourceFile.flags & 3145728 /* PermanentlySetIncrementalFlags */);
+        newSourceFile.flags |= (sourceFile.flags & 6291456 /* PermanentlySetIncrementalFlags */);
         return newSourceFile;
     }
     ts.updateSourceFile = updateSourceFile;
@@ -31167,10 +31421,10 @@ var ts;
             switch (scriptKind) {
                 case 1 /* JS */:
                 case 2 /* JSX */:
-                    contextFlags = 131072 /* JavaScriptFile */;
+                    contextFlags = 262144 /* JavaScriptFile */;
                     break;
                 case 6 /* JSON */:
-                    contextFlags = 131072 /* JavaScriptFile */ | 33554432 /* JsonFile */;
+                    contextFlags = 262144 /* JavaScriptFile */ | 67108864 /* JsonFile */;
                     break;
                 default:
                     contextFlags = 0 /* None */;
@@ -31205,7 +31459,7 @@ var ts;
         function parseSourceFileWorker(languageVersion, setParentNodes, scriptKind, setExternalModuleIndicator) {
             var isDeclarationFile = isDeclarationFileName(fileName);
             if (isDeclarationFile) {
-                contextFlags |= 8388608 /* Ambient */;
+                contextFlags |= 16777216 /* Ambient */;
             }
             sourceFlags = contextFlags;
             // Prime the scanner.
@@ -31244,7 +31498,7 @@ var ts;
                 node.jsDoc = jsDoc;
             if (hasDeprecatedTag) {
                 hasDeprecatedTag = false;
-                node.flags |= 134217728 /* Deprecated */;
+                node.flags |= 268435456 /* Deprecated */;
             }
             return node;
         }
@@ -31439,6 +31693,12 @@ var ts;
         function disallowInAnd(func) {
             return doInsideOfContext(4096 /* DisallowInContext */, func);
         }
+        function allowConditionalTypesAnd(func) {
+            return doOutsideOfContext(65536 /* DisallowConditionalTypesContext */, func);
+        }
+        function disallowConditionalTypesAnd(func) {
+            return doInsideOfContext(65536 /* DisallowConditionalTypesContext */, func);
+        }
         function doInYieldContext(func) {
             return doInsideOfContext(8192 /* YieldContext */, func);
         }
@@ -31466,6 +31726,9 @@ var ts;
         function inDisallowInContext() {
             return inContext(4096 /* DisallowInContext */);
         }
+        function inDisallowConditionalTypesContext() {
+            return inContext(65536 /* DisallowConditionalTypesContext */);
+        }
         function inDecoratorContext() {
             return inContext(16384 /* DecoratorContext */);
         }
@@ -31850,7 +32113,7 @@ var ts;
             // flag so that we don't mark any subsequent nodes.
             if (parseErrorBeforeNextFinishedNode) {
                 parseErrorBeforeNextFinishedNode = false;
-                node.flags |= 65536 /* ThisNodeHasError */;
+                node.flags |= 131072 /* ThisNodeHasError */;
             }
             return node;
         }
@@ -32308,7 +32571,7 @@ var ts;
             // differently depending on what mode it is in.
             //
             // This also applies to all our other context flags as well.
-            var nodeContextFlags = node.flags & 25358336 /* ContextFlags */;
+            var nodeContextFlags = node.flags & 50720768 /* ContextFlags */;
             if (nodeContextFlags !== contextFlags) {
                 return undefined;
             }
@@ -32833,7 +33096,7 @@ var ts;
         function parseJSDocNonNullableType() {
             var pos = getNodePos();
             nextToken();
-            return finishNode(factory.createJSDocNonNullableType(parseNonArrayType()), pos);
+            return finishNode(factory.createJSDocNonNullableType(parseNonArrayType(), /*postfix*/ false), pos);
         }
         function parseJSDocUnknownOrNullableType() {
             var pos = getNodePos();
@@ -32857,7 +33120,7 @@ var ts;
                 return finishNode(factory.createJSDocUnknownType(), pos);
             }
             else {
-                return finishNode(factory.createJSDocNullableType(parseType()), pos);
+                return finishNode(factory.createJSDocNullableType(parseType(), /*postfix*/ false), pos);
             }
         }
         function parseJSDocFunctionType() {
@@ -33029,7 +33292,7 @@ var ts;
         }
         function parseReturnType(returnToken, isType) {
             if (shouldParseReturnType(returnToken, isType)) {
-                return parseTypeOrTypePredicate();
+                return allowConditionalTypesAnd(parseTypeOrTypePredicate);
             }
         }
         function shouldParseReturnType(returnToken, isType) {
@@ -33444,7 +33707,7 @@ var ts;
             return finishNode(factory.createImportTypeAssertionContainer(clause, multiLine), pos);
         }
         function parseImportType() {
-            sourceFlags |= 1048576 /* PossiblyContainsDynamicImport */;
+            sourceFlags |= 2097152 /* PossiblyContainsDynamicImport */;
             var pos = getNodePos();
             var isTypeOf = parseOptional(112 /* TypeOfKeyword */);
             parseExpected(100 /* ImportKeyword */);
@@ -33594,7 +33857,7 @@ var ts;
                 switch (token()) {
                     case 53 /* ExclamationToken */:
                         nextToken();
-                        type = finishNode(factory.createJSDocNonNullableType(type), pos);
+                        type = finishNode(factory.createJSDocNonNullableType(type, /*postfix*/ true), pos);
                         break;
                     case 57 /* QuestionToken */:
                         // If next token is start of a type we have a conditional type
@@ -33602,7 +33865,7 @@ var ts;
                             return type;
                         }
                         nextToken();
-                        type = finishNode(factory.createJSDocNullableType(type), pos);
+                        type = finishNode(factory.createJSDocNullableType(type, /*postfix*/ true), pos);
                         break;
                     case 22 /* OpenBracketToken */:
                         parseExpected(22 /* OpenBracketToken */);
@@ -33627,12 +33890,20 @@ var ts;
             parseExpected(operator);
             return finishNode(factory.createTypeOperatorNode(operator, parseTypeOperatorOrHigher()), pos);
         }
+        function tryParseConstraintOfInferType() {
+            if (parseOptional(94 /* ExtendsKeyword */)) {
+                var constraint = disallowConditionalTypesAnd(parseType);
+                if (inDisallowConditionalTypesContext() || token() !== 57 /* QuestionToken */) {
+                    return constraint;
+                }
+            }
+        }
         function parseTypeParameterOfInferType() {
             var pos = getNodePos();
-            return finishNode(factory.createTypeParameterDeclaration(
-            /*modifiers*/ undefined, parseIdentifier(), 
-            /*constraint*/ undefined, 
-            /*defaultType*/ undefined), pos);
+            var name = parseIdentifier();
+            var constraint = tryParse(tryParseConstraintOfInferType);
+            var node = factory.createTypeParameterDeclaration(/*modifiers*/ undefined, name, constraint);
+            return finishNode(node, pos);
         }
         function parseInferType() {
             var pos = getNodePos();
@@ -33649,7 +33920,7 @@ var ts;
                 case 137 /* InferKeyword */:
                     return parseInferType();
             }
-            return parsePostfixTypeOrHigher();
+            return allowConditionalTypesAnd(parsePostfixTypeOrHigher);
         }
         function parseFunctionOrConstructorTypeToError(isInUnionType) {
             // the function type and constructor type shorthand notation
@@ -33779,23 +34050,21 @@ var ts;
             return finishNode(factory.createTypePredicateNode(assertsModifier, parameterName, type), pos);
         }
         function parseType() {
-            // The rules about 'yield' only apply to actual code/expression contexts.  They don't
-            // apply to 'type' contexts.  So we disable these parameters here before moving on.
-            return doOutsideOfContext(40960 /* TypeExcludesFlags */, parseTypeWorker);
-        }
-        function parseTypeWorker(noConditionalTypes) {
+            if (contextFlags & 40960 /* TypeExcludesFlags */) {
+                return doOutsideOfContext(40960 /* TypeExcludesFlags */, parseType);
+            }
             if (isStartOfFunctionTypeOrConstructorType()) {
                 return parseFunctionOrConstructorType();
             }
             var pos = getNodePos();
             var type = parseUnionTypeOrHigher();
-            if (!noConditionalTypes && !scanner.hasPrecedingLineBreak() && parseOptional(94 /* ExtendsKeyword */)) {
+            if (!inDisallowConditionalTypesContext() && !scanner.hasPrecedingLineBreak() && parseOptional(94 /* ExtendsKeyword */)) {
                 // The type following 'extends' is not permitted to be another conditional type
-                var extendsType = parseTypeWorker(/*noConditionalTypes*/ true);
+                var extendsType = disallowConditionalTypesAnd(parseType);
                 parseExpected(57 /* QuestionToken */);
-                var trueType = parseTypeWorker();
+                var trueType = allowConditionalTypesAnd(parseType);
                 parseExpected(58 /* ColonToken */);
-                var falseType = parseTypeWorker();
+                var falseType = allowConditionalTypesAnd(parseType);
                 return finishNode(factory.createConditionalTypeNode(type, extendsType, trueType, falseType), pos);
             }
             return type;
@@ -34632,7 +34901,7 @@ var ts;
                     //      var foo3 = require("subfolder
                     //      import * as foo1 from "module-from-node
                     // We want this import to be a statement rather than import call expression
-                    sourceFlags |= 1048576 /* PossiblyContainsDynamicImport */;
+                    sourceFlags |= 2097152 /* PossiblyContainsDynamicImport */;
                     expression = parseTokenNode();
                 }
                 else if (lookAhead(nextTokenIsDot)) {
@@ -34640,7 +34909,7 @@ var ts;
                     nextToken(); // advance past the 'import'
                     nextToken(); // advance past the dot
                     expression = finishNode(factory.createMetaProperty(100 /* ImportKeyword */, parseIdentifierName()), pos);
-                    sourceFlags |= 2097152 /* PossiblyContainsImportMeta */;
+                    sourceFlags |= 4194304 /* PossiblyContainsImportMeta */;
                 }
                 else {
                     expression = parseMemberExpressionOrHigher();
@@ -34856,7 +35125,7 @@ var ts;
                 return finishNode(factory.createJsxOpeningFragment(), pos);
             }
             var tagName = parseJsxElementName();
-            var typeArguments = (contextFlags & 131072 /* JavaScriptFile */) === 0 ? tryParseTypeArguments() : undefined;
+            var typeArguments = (contextFlags & 262144 /* JavaScriptFile */) === 0 ? tryParseTypeArguments() : undefined;
             var attributes = parseJsxAttributes();
             var node;
             if (token() === 31 /* GreaterThanToken */) {
@@ -35134,7 +35403,7 @@ var ts;
             return result;
         }
         function parseTypeArgumentsInExpression() {
-            if ((contextFlags & 131072 /* JavaScriptFile */) !== 0) {
+            if ((contextFlags & 262144 /* JavaScriptFile */) !== 0) {
                 // TypeArguments must not be parsed in JavaScript files to avoid ambiguity with binary operators.
                 return undefined;
             }
@@ -35159,34 +35428,10 @@ var ts;
                 case 20 /* OpenParenToken */: // foo<x>(
                 case 14 /* NoSubstitutionTemplateLiteral */: // foo<T> `...`
                 case 15 /* TemplateHead */: // foo<T> `...${100}...`
-                // These tokens can't follow in a call expression, nor can they start an
-                // expression. So, consider the type argument list part of an instantiation
-                // expression.
-                // falls through
-                case 27 /* CommaToken */: // foo<x>,
-                case 24 /* DotToken */: // foo<x>.
-                case 28 /* QuestionDotToken */: // foo<x>?.
-                case 21 /* CloseParenToken */: // foo<x>)
-                case 23 /* CloseBracketToken */: // foo<x>]
-                case 58 /* ColonToken */: // foo<x>:
-                case 26 /* SemicolonToken */: // foo<x>;
-                case 57 /* QuestionToken */: // foo<x>?
-                case 34 /* EqualsEqualsToken */: // foo<x> ==
-                case 36 /* EqualsEqualsEqualsToken */: // foo<x> ===
-                case 35 /* ExclamationEqualsToken */: // foo<x> !=
-                case 37 /* ExclamationEqualsEqualsToken */: // foo<x> !==
-                case 55 /* AmpersandAmpersandToken */: // foo<x> &&
-                case 56 /* BarBarToken */: // foo<x> ||
-                case 60 /* QuestionQuestionToken */: // foo<x> ??
-                case 52 /* CaretToken */: // foo<x> ^
-                case 50 /* AmpersandToken */: // foo<x> &
-                case 51 /* BarToken */: // foo<x> |
-                case 19 /* CloseBraceToken */: // foo<x> }
-                case 1 /* EndOfFileToken */: // foo<x>
                     return true;
             }
-            // Treat anything else as an expression.
-            return false;
+            // Consider something a type argument list only if the following token can't start an expression.
+            return !isStartOfExpression();
         }
         function parsePrimaryExpression() {
             switch (token()) {
@@ -35530,7 +35775,7 @@ var ts;
             var openParenParsed = parseExpected(20 /* OpenParenToken */);
             var expression = allowInAnd(parseExpression);
             parseExpectedMatchingBrackets(20 /* OpenParenToken */, 21 /* CloseParenToken */, openParenParsed, openParenPosition);
-            var statement = doInsideOfContext(16777216 /* InWithStatement */, parseStatement);
+            var statement = doInsideOfContext(33554432 /* InWithStatement */, parseStatement);
             return withJSDoc(finishNode(factory.createWithStatement(expression, statement), pos), hasJSDoc);
         }
         function parseCaseClause() {
@@ -35905,16 +36150,16 @@ var ts;
             if (isAmbient) {
                 for (var _i = 0, _a = modifiers; _i < _a.length; _i++) {
                     var m = _a[_i];
-                    m.flags |= 8388608 /* Ambient */;
+                    m.flags |= 16777216 /* Ambient */;
                 }
-                return doInsideOfContext(8388608 /* Ambient */, function () { return parseDeclarationWorker(pos, hasJSDoc, decorators, modifiers); });
+                return doInsideOfContext(16777216 /* Ambient */, function () { return parseDeclarationWorker(pos, hasJSDoc, decorators, modifiers); });
             }
             else {
                 return parseDeclarationWorker(pos, hasJSDoc, decorators, modifiers);
             }
         }
         function tryReuseAmbientDeclaration() {
-            return doInsideOfContext(8388608 /* Ambient */, function () {
+            return doInsideOfContext(16777216 /* Ambient */, function () {
                 var node = currentNode(parsingContext);
                 if (node) {
                     return consumeNode(node);
@@ -36381,9 +36626,9 @@ var ts;
                 if (isAmbient) {
                     for (var _i = 0, _a = modifiers; _i < _a.length; _i++) {
                         var m = _a[_i];
-                        m.flags |= 8388608 /* Ambient */;
+                        m.flags |= 16777216 /* Ambient */;
                     }
-                    return doInsideOfContext(8388608 /* Ambient */, function () { return parsePropertyOrMethodDeclaration(pos, hasJSDoc, decorators, modifiers); });
+                    return doInsideOfContext(16777216 /* Ambient */, function () { return parsePropertyOrMethodDeclaration(pos, hasJSDoc, decorators, modifiers); });
                 }
                 else {
                     return parsePropertyOrMethodDeclaration(pos, hasJSDoc, decorators, modifiers);
@@ -36948,7 +37193,7 @@ var ts;
             function parseJSDocTypeExpression(mayOmitBraces) {
                 var pos = getNodePos();
                 var hasBrace = (mayOmitBraces ? parseOptional : parseExpected)(18 /* OpenBraceToken */);
-                var type = doInsideOfContext(4194304 /* JSDoc */, parseJSDocType);
+                var type = doInsideOfContext(8388608 /* JSDoc */, parseJSDocType);
                 if (!mayOmitBraces || hasBrace) {
                     parseExpectedJSDoc(19 /* CloseBraceToken */);
                 }
@@ -36977,7 +37222,7 @@ var ts;
             JSDocParser.parseJSDocNameReference = parseJSDocNameReference;
             function parseIsolatedJSDocComment(content, start, length) {
                 initializeState("", content, 99 /* Latest */, /*_syntaxCursor:*/ undefined, 1 /* JS */);
-                var jsDoc = doInsideOfContext(4194304 /* JSDoc */, function () { return parseJSDocCommentWorker(start, length); });
+                var jsDoc = doInsideOfContext(8388608 /* JSDoc */, function () { return parseJSDocCommentWorker(start, length); });
                 var sourceFile = { languageVariant: 0 /* Standard */, text: content };
                 var diagnostics = ts.attachFileToDiagnostics(parseDiagnostics, sourceFile);
                 clearState();
@@ -36988,9 +37233,9 @@ var ts;
                 var saveToken = currentToken;
                 var saveParseDiagnosticsLength = parseDiagnostics.length;
                 var saveParseErrorBeforeNextFinishedNode = parseErrorBeforeNextFinishedNode;
-                var comment = doInsideOfContext(4194304 /* JSDoc */, function () { return parseJSDocCommentWorker(start, length); });
+                var comment = doInsideOfContext(8388608 /* JSDoc */, function () { return parseJSDocCommentWorker(start, length); });
                 ts.setParent(comment, parent);
-                if (contextFlags & 131072 /* JavaScriptFile */) {
+                if (contextFlags & 262144 /* JavaScriptFile */) {
                     if (!jsDocDiagnostics) {
                         jsDocDiagnostics = [];
                     }
@@ -37806,7 +38051,7 @@ var ts;
                     if (isBracketed) {
                         skipWhitespace();
                         parseExpected(63 /* EqualsToken */);
-                        defaultType = doInsideOfContext(4194304 /* JSDoc */, parseJSDocType);
+                        defaultType = doInsideOfContext(8388608 /* JSDoc */, parseJSDocType);
                         parseExpected(23 /* CloseBracketToken */);
                     }
                     if (ts.nodeIsMissing(name)) {
@@ -38404,7 +38649,7 @@ var ts;
     })(IncrementalParser || (IncrementalParser = {}));
     /** @internal */
     function isDeclarationFileName(fileName) {
-        return ts.fileExtensionIsOneOf(fileName, [".d.ts" /* Dts */, ".d.mts" /* Dmts */, ".d.cts" /* Dcts */]);
+        return ts.fileExtensionIsOneOf(fileName, ts.supportedDeclarationExtensions);
     }
     ts.isDeclarationFileName = isDeclarationFileName;
     function parseResolutionMode(mode, pos, end, reportDiagnostic) {
@@ -41912,7 +42157,8 @@ var ts;
         Extensions[Extensions["JavaScript"] = 1] = "JavaScript";
         Extensions[Extensions["Json"] = 2] = "Json";
         Extensions[Extensions["TSConfig"] = 3] = "TSConfig";
-        Extensions[Extensions["DtsOnly"] = 4] = "DtsOnly"; /** Only '.d.ts' */
+        Extensions[Extensions["DtsOnly"] = 4] = "DtsOnly";
+        Extensions[Extensions["TsOnly"] = 5] = "TsOnly";
     })(Extensions || (Extensions = {}));
     /** Used with `Extensions.DtsOnly` to extract the path from TypeScript results. */
     function resolvedTypeScriptOnly(resolved) {
@@ -42857,7 +43103,21 @@ var ts;
         return nodeModuleNameResolverWorker(NodeResolutionFeatures.None, moduleName, initialDir, { moduleResolution: ts.ModuleResolutionKind.NodeJs, allowJs: true }, host, /*cache*/ undefined, jsOnlyExtensions, /*redirectedReferences*/ undefined);
     }
     function nodeModuleNameResolver(moduleName, containingFile, compilerOptions, host, cache, redirectedReference, lookupConfig) {
-        return nodeModuleNameResolverWorker(NodeResolutionFeatures.None, moduleName, ts.getDirectoryPath(containingFile), compilerOptions, host, cache, lookupConfig ? tsconfigExtensions : (compilerOptions.resolveJsonModule ? tsPlusJsonExtensions : tsExtensions), redirectedReference);
+        var extensions;
+        if (lookupConfig) {
+            extensions = tsconfigExtensions;
+        }
+        else if (compilerOptions.noDtsResolution) {
+            extensions = [Extensions.TsOnly];
+            if (compilerOptions.allowJs)
+                extensions.push(Extensions.JavaScript);
+            if (compilerOptions.resolveJsonModule)
+                extensions.push(Extensions.Json);
+        }
+        else {
+            extensions = compilerOptions.resolveJsonModule ? tsPlusJsonExtensions : tsExtensions;
+        }
+        return nodeModuleNameResolverWorker(NodeResolutionFeatures.None, moduleName, ts.getDirectoryPath(containingFile), compilerOptions, host, cache, extensions, redirectedReference);
     }
     ts.nodeModuleNameResolver = nodeModuleNameResolver;
     function nodeModuleNameResolverWorker(features, moduleName, containingDirectory, compilerOptions, host, cache, extensions, redirectedReference) {
@@ -42866,6 +43126,10 @@ var ts;
         var failedLookupLocations = [];
         // conditions are only used by the node12/nodenext resolver - there's no priority order in the list,
         //it's essentially a set (priority is determined by object insertion order in the object we look at).
+        var conditions = features & NodeResolutionFeatures.EsmMode ? ["node", "import", "types"] : ["node", "require", "types"];
+        if (compilerOptions.noDtsResolution) {
+            conditions.pop();
+        }
         var state = {
             compilerOptions: compilerOptions,
             host: host,
@@ -42873,7 +43137,7 @@ var ts;
             failedLookupLocations: failedLookupLocations,
             packageJsonInfoCache: cache,
             features: features,
-            conditions: features & NodeResolutionFeatures.EsmMode ? ["node", "import", "types"] : ["node", "require", "types"]
+            conditions: conditions,
         };
         var result = ts.forEach(extensions, function (ext) { return tryResolve(ext); });
         return createResolvedModuleWithFailedLookupLocations((_a = result === null || result === void 0 ? void 0 : result.value) === null || _a === void 0 ? void 0 : _a.resolved, (_b = result === null || result === void 0 ? void 0 : result.value) === null || _b === void 0 ? void 0 : _b.isExternalLibraryImport, failedLookupLocations, state.resultFromCache);
@@ -43049,9 +43313,9 @@ var ts;
         }
     }
     function loadJSOrExactTSFileName(extensions, candidate, onlyRecordFailures, state) {
-        if ((extensions === Extensions.TypeScript || extensions === Extensions.DtsOnly) && ts.fileExtensionIsOneOf(candidate, [".d.ts" /* Dts */, ".d.cts" /* Dcts */, ".d.mts" /* Dmts */])) {
+        if ((extensions === Extensions.TypeScript || extensions === Extensions.DtsOnly) && ts.isDeclarationFileName(candidate)) {
             var result = tryFile(candidate, onlyRecordFailures, state);
-            return result !== undefined ? { path: candidate, ext: ts.forEach([".d.ts" /* Dts */, ".d.cts" /* Dcts */, ".d.mts" /* Dmts */], function (e) { return ts.fileExtensionIs(candidate, e) ? e : undefined; }) } : undefined;
+            return result !== undefined ? { path: candidate, ext: ts.forEach(ts.supportedDeclarationExtensions, function (e) { return ts.fileExtensionIs(candidate, e) ? e : undefined; }) } : undefined;
         }
         return loadModuleFromFileNoImplicitExtensions(extensions, candidate, onlyRecordFailures, state);
     }
@@ -43081,20 +43345,22 @@ var ts;
                     default: return tryExtension(".d.ts" /* Dts */);
                 }
             case Extensions.TypeScript:
+            case Extensions.TsOnly:
+                var useDts = extensions === Extensions.TypeScript;
                 switch (originalExtension) {
                     case ".mjs" /* Mjs */:
                     case ".mts" /* Mts */:
                     case ".d.mts" /* Dmts */:
-                        return tryExtension(".mts" /* Mts */) || tryExtension(".d.mts" /* Dmts */);
+                        return tryExtension(".mts" /* Mts */) || (useDts ? tryExtension(".d.mts" /* Dmts */) : undefined);
                     case ".cjs" /* Cjs */:
                     case ".cts" /* Cts */:
                     case ".d.cts" /* Dcts */:
-                        return tryExtension(".cts" /* Cts */) || tryExtension(".d.cts" /* Dcts */);
+                        return tryExtension(".cts" /* Cts */) || (useDts ? tryExtension(".d.cts" /* Dcts */) : undefined);
                     case ".json" /* Json */:
                         candidate += ".json" /* Json */;
-                        return tryExtension(".d.ts" /* Dts */);
+                        return useDts ? tryExtension(".d.ts" /* Dts */) : undefined;
                     default:
-                        return tryExtension(".ts" /* Ts */) || tryExtension(".tsx" /* Tsx */) || tryExtension(".d.ts" /* Dts */);
+                        return tryExtension(".ts" /* Ts */) || tryExtension(".tsx" /* Tsx */) || (useDts ? tryExtension(".d.ts" /* Dts */) : undefined);
                 }
             case Extensions.JavaScript:
                 switch (originalExtension) {
@@ -43321,6 +43587,7 @@ var ts;
             switch (extensions) {
                 case Extensions.JavaScript:
                 case Extensions.Json:
+                case Extensions.TsOnly:
                     packageFile = readPackageJsonMainField(jsonContent, candidate, state);
                     break;
                 case Extensions.TypeScript:
@@ -43393,14 +43660,16 @@ var ts;
     function extensionIsOk(extensions, extension) {
         switch (extensions) {
             case Extensions.JavaScript:
-                return extension === ".js" /* Js */ || extension === ".jsx" /* Jsx */;
+                return extension === ".js" /* Js */ || extension === ".jsx" /* Jsx */ || extension === ".mjs" /* Mjs */ || extension === ".cjs" /* Cjs */;
             case Extensions.TSConfig:
             case Extensions.Json:
                 return extension === ".json" /* Json */;
             case Extensions.TypeScript:
-                return extension === ".ts" /* Ts */ || extension === ".tsx" /* Tsx */ || extension === ".d.ts" /* Dts */;
+                return extension === ".ts" /* Ts */ || extension === ".tsx" /* Tsx */ || extension === ".mts" /* Mts */ || extension === ".cts" /* Cts */ || extension === ".d.ts" /* Dts */ || extension === ".d.mts" /* Dmts */ || extension === ".d.cts" /* Dcts */;
+            case Extensions.TsOnly:
+                return extension === ".ts" /* Ts */ || extension === ".tsx" /* Tsx */ || extension === ".mts" /* Mts */ || extension === ".cts" /* Cts */;
             case Extensions.DtsOnly:
-                return extension === ".d.ts" /* Dts */;
+                return extension === ".d.ts" /* Dts */ || extension === ".d.mts" /* Dmts */ || extension === ".d.cts" /* Dcts */;
         }
     }
     /* @internal */
@@ -45560,6 +45829,7 @@ var ts;
                 case 261 /* ModuleDeclaration */:
                 case 259 /* TypeAliasDeclaration */:
                 case 195 /* MappedType */:
+                case 176 /* IndexSignature */:
                     return 1 /* IsContainer */ | 32 /* HasLocals */;
                 case 305 /* SourceFile */:
                     return 1 /* IsContainer */ | 4 /* IsControlFlowContainer */ | 32 /* HasLocals */;
@@ -45578,7 +45848,6 @@ var ts;
                 case 317 /* JSDocFunctionType */:
                 case 179 /* FunctionType */:
                 case 175 /* ConstructSignature */:
-                case 176 /* IndexSignature */:
                 case 180 /* ConstructorType */:
                 case 170 /* ClassStaticBlockDeclaration */:
                     return 1 /* IsContainer */ | 4 /* IsControlFlowContainer */ | 32 /* HasLocals */ | 8 /* IsFunctionLike */;
@@ -45694,7 +45963,7 @@ var ts;
         function setExportContextFlag(node) {
             // A declaration source file or ambient module declaration that contains no export declarations (but possibly regular
             // declarations with export modifiers) is an export context in which declarations are implicitly exported.
-            if (node.flags & 8388608 /* Ambient */ && !hasExportDeclarations(node)) {
+            if (node.flags & 16777216 /* Ambient */ && !hasExportDeclarations(node)) {
                 node.flags |= 64 /* ExportContext */;
             }
             else {
@@ -45897,8 +46166,8 @@ var ts;
         function checkContextualIdentifier(node) {
             // Report error only if there are no parse errors in file
             if (!file.parseDiagnostics.length &&
-                !(node.flags & 8388608 /* Ambient */) &&
-                !(node.flags & 4194304 /* JSDoc */) &&
+                !(node.flags & 16777216 /* Ambient */) &&
+                !(node.flags & 8388608 /* JSDoc */) &&
                 !ts.isIdentifierName(node)) {
                 // strict mode identifiers
                 if (inStrictMode &&
@@ -46927,7 +47196,7 @@ var ts;
             if (node.kind === 340 /* JSDocParameterTag */ && container.kind !== 323 /* JSDocSignature */) {
                 return;
             }
-            if (inStrictMode && !(node.flags & 8388608 /* Ambient */)) {
+            if (inStrictMode && !(node.flags & 16777216 /* Ambient */)) {
                 // It is a SyntaxError if the identifier eval or arguments appears within a FormalParameterList of a
                 // strict mode FunctionLikeDeclaration or FunctionExpression(13.1)
                 checkStrictModeEvalOrArguments(node, node.name);
@@ -46946,7 +47215,7 @@ var ts;
             }
         }
         function bindFunctionDeclaration(node) {
-            if (!file.isDeclarationFile && !(node.flags & 8388608 /* Ambient */)) {
+            if (!file.isDeclarationFile && !(node.flags & 16777216 /* Ambient */)) {
                 if (ts.isAsyncFunction(node)) {
                     emitFlags |= 2048 /* HasAsyncFunctions */;
                 }
@@ -46961,7 +47230,7 @@ var ts;
             }
         }
         function bindFunctionExpression(node) {
-            if (!file.isDeclarationFile && !(node.flags & 8388608 /* Ambient */)) {
+            if (!file.isDeclarationFile && !(node.flags & 16777216 /* Ambient */)) {
                 if (ts.isAsyncFunction(node)) {
                     emitFlags |= 2048 /* HasAsyncFunctions */;
                 }
@@ -46974,7 +47243,7 @@ var ts;
             return bindAnonymousDeclaration(node, 16 /* Function */, bindingName);
         }
         function bindPropertyOrMethodOrAccessor(node, symbolFlags, symbolExcludes) {
-            if (!file.isDeclarationFile && !(node.flags & 8388608 /* Ambient */) && ts.isAsyncFunction(node)) {
+            if (!file.isDeclarationFile && !(node.flags & 16777216 /* Ambient */) && ts.isAsyncFunction(node)) {
                 emitFlags |= 2048 /* HasAsyncFunctions */;
             }
             if (currentFlow && ts.isObjectLiteralOrClassExpressionMethodOrAccessor(node)) {
@@ -47047,7 +47316,7 @@ var ts;
                         //   Rationale: we don't want to report errors on non-initialized var's since they are hoisted
                         //   On the other side we do want to report errors on non-initialized 'lets' because of TDZ
                         var isError_1 = ts.unreachableCodeIsError(options) &&
-                            !(node.flags & 8388608 /* Ambient */) &&
+                            !(node.flags & 16777216 /* Ambient */) &&
                             (!ts.isVariableStatement(node) ||
                                 !!(ts.getCombinedNodeFlags(node.declarationList) & 3 /* BlockScoped */) ||
                                 node.declarationList.declarations.some(function (d) { return !!d.initializer; }));
@@ -47947,7 +48216,7 @@ var ts;
                     ts.Debug.assert(!!(getNodeLinks(file).flags & 1 /* TypeChecked */));
                     diagnostics = ts.addRange(diagnostics, suggestionDiagnostics.getDiagnostics(file.fileName));
                     checkUnusedIdentifiers(getPotentiallyUnusedIdentifiers(file), function (containingNode, kind, diag) {
-                        if (!ts.containsParseError(containingNode) && !unusedIsError(kind, !!(containingNode.flags & 8388608 /* Ambient */))) {
+                        if (!ts.containsParseError(containingNode) && !unusedIsError(kind, !!(containingNode.flags & 16777216 /* Ambient */))) {
                             (diagnostics || (diagnostics = [])).push(__assign(__assign({}, diag), { category: ts.DiagnosticCategory.Suggestion }));
                         }
                     });
@@ -48398,7 +48667,7 @@ var ts;
             return diagnostic;
         }
         function isDeprecatedSymbol(symbol) {
-            return !!(getDeclarationNodeFlagsFromSymbol(symbol) & 134217728 /* Deprecated */);
+            return !!(getDeclarationNodeFlagsFromSymbol(symbol) & 268435456 /* Deprecated */);
         }
         function addDeprecatedSuggestion(location, declarations, deprecatedEntity) {
             var diagnostic = ts.createDiagnosticForNode(location, ts.Diagnostics._0_is_deprecated, deprecatedEntity);
@@ -48626,7 +48895,7 @@ var ts;
             else {
                 // find a module that about to be augmented
                 // do not validate names of augmentations that are defined in ambient context
-                var moduleNotFoundError = !(moduleName.parent.parent.flags & 8388608 /* Ambient */)
+                var moduleNotFoundError = !(moduleName.parent.parent.flags & 16777216 /* Ambient */)
                     ? ts.Diagnostics.Invalid_module_name_in_augmentation_module_0_cannot_be_found
                     : undefined;
                 var mainModule_1 = resolveExternalModuleNameWorker(moduleName, moduleName, moduleNotFoundError, /*isForAugmentation*/ true);
@@ -48740,7 +49009,7 @@ var ts;
                 if ((moduleKind && (declarationFile.externalModuleIndicator || useFile.externalModuleIndicator)) ||
                     (!ts.outFile(compilerOptions)) ||
                     isInTypeQuery(usage) ||
-                    declaration.flags & 8388608 /* Ambient */) {
+                    declaration.flags & 16777216 /* Ambient */) {
                     // nodes are in different files and order cannot be determined
                     return true;
                 }
@@ -48802,7 +49071,7 @@ var ts;
             if (usage.kind === 271 /* ExportAssignment */ && usage.isExportEquals) {
                 return true;
             }
-            if (!!(usage.flags & 4194304 /* JSDoc */) || isInTypeQuery(usage) || usageInTypeDeclaration()) {
+            if (!!(usage.flags & 8388608 /* JSDoc */) || isInTypeQuery(usage) || usageInTypeDeclaration()) {
                 return true;
             }
             if (isUsedInFunctionOrInstanceProperty(usage, declaration)) {
@@ -49067,7 +49336,7 @@ var ts;
                     // falls through
                     case 261 /* ModuleDeclaration */:
                         var moduleExports = ((_a = getSymbolOfNode(location)) === null || _a === void 0 ? void 0 : _a.exports) || emptySymbols;
-                        if (location.kind === 305 /* SourceFile */ || (ts.isModuleDeclaration(location) && location.flags & 8388608 /* Ambient */ && !ts.isGlobalScopeAugmentation(location))) {
+                        if (location.kind === 305 /* SourceFile */ || (ts.isModuleDeclaration(location) && location.flags & 16777216 /* Ambient */ && !ts.isGlobalScopeAugmentation(location))) {
                             // It's an external module. First see if the module has an export default and if the local
                             // name of that export default matches.
                             if (result = moduleExports.get("default" /* Default */)) {
@@ -49390,7 +49659,7 @@ var ts;
                         }
                     }
                     // If we're in an external module, we can't reference value symbols created from UMD export declarations
-                    if (result && isInExternalModule && (meaning & 111551 /* Value */) === 111551 /* Value */ && !(originalLocation.flags & 4194304 /* JSDoc */)) {
+                    if (result && isInExternalModule && (meaning & 111551 /* Value */) === 111551 /* Value */ && !(originalLocation.flags & 8388608 /* JSDoc */)) {
                         var merged = getMergedSymbol(result);
                         if (ts.length(merged.declarations) && ts.every(merged.declarations, function (d) { return ts.isNamespaceExportDeclaration(d) || ts.isSourceFile(d) && !!d.symbol.globalExports; })) {
                             errorOrSuggestion(!compilerOptions.allowUmdGlobalAccess, errorLocation, ts.Diagnostics._0_refers_to_a_UMD_global_but_the_current_file_is_a_module_Consider_adding_an_import_instead, ts.unescapeLeadingUnderscores(name));
@@ -49645,7 +49914,7 @@ var ts;
             var declaration = (_a = result.declarations) === null || _a === void 0 ? void 0 : _a.find(function (d) { return ts.isBlockOrCatchScoped(d) || ts.isClassLike(d) || (d.kind === 260 /* EnumDeclaration */); });
             if (declaration === undefined)
                 return ts.Debug.fail("checkResolvedBlockScopedVariable could not find block-scoped declaration");
-            if (!(declaration.flags & 8388608 /* Ambient */) && !isBlockScopedNameDeclaredBeforeUse(declaration, errorLocation)) {
+            if (!(declaration.flags & 16777216 /* Ambient */) && !isBlockScopedNameDeclaredBeforeUse(declaration, errorLocation)) {
                 var diagnosticMessage = void 0;
                 var declarationName = ts.declarationNameToString(ts.getNameOfDeclaration(declaration));
                 if (result.flags & 2 /* BlockScopedVariable */) {
@@ -50156,27 +50425,27 @@ var ts;
         function resolveAlias(symbol) {
             ts.Debug.assert((symbol.flags & 2097152 /* Alias */) !== 0, "Should only get Alias here.");
             var links = getSymbolLinks(symbol);
-            if (!links.target) {
-                links.target = resolvingSymbol;
+            if (!links.aliasTarget) {
+                links.aliasTarget = resolvingSymbol;
                 var node = getDeclarationOfAliasSymbol(symbol);
                 if (!node)
                     return ts.Debug.fail();
                 var target = getTargetOfAliasDeclaration(node);
-                if (links.target === resolvingSymbol) {
-                    links.target = target || unknownSymbol;
+                if (links.aliasTarget === resolvingSymbol) {
+                    links.aliasTarget = target || unknownSymbol;
                 }
                 else {
                     error(node, ts.Diagnostics.Circular_definition_of_import_alias_0, symbolToString(symbol));
                 }
             }
-            else if (links.target === resolvingSymbol) {
-                links.target = unknownSymbol;
+            else if (links.aliasTarget === resolvingSymbol) {
+                links.aliasTarget = unknownSymbol;
             }
-            return links.target;
+            return links.aliasTarget;
         }
         function tryResolveAlias(symbol) {
             var links = getSymbolLinks(symbol);
-            if (links.target !== resolvingSymbol) {
+            if (links.aliasTarget !== resolvingSymbol) {
                 return resolveAlias(symbol);
             }
             return undefined;
@@ -50418,7 +50687,7 @@ var ts;
             }
         }
         function getAssignmentDeclarationLocation(node) {
-            var typeAlias = ts.findAncestor(node, function (node) { return !(ts.isJSDocNode(node) || node.flags & 4194304 /* JSDoc */) ? "quit" : ts.isJSDocTypeAlias(node); });
+            var typeAlias = ts.findAncestor(node, function (node) { return !(ts.isJSDocNode(node) || node.flags & 8388608 /* JSDoc */) ? "quit" : ts.isJSDocTypeAlias(node); });
             if (typeAlias) {
                 return;
             }
@@ -51886,7 +52155,20 @@ var ts;
                 if (type.flags & 262144 /* TypeParameter */ || objectFlags & 3 /* ClassOrInterface */) {
                     if (type.flags & 262144 /* TypeParameter */ && ts.contains(context.inferTypeParameters, type)) {
                         context.approximateLength += (ts.symbolName(type.symbol).length + 6);
-                        return ts.factory.createInferTypeNode(typeParameterToDeclarationWithConstraint(type, context, /*constraintNode*/ undefined));
+                        var constraintNode = void 0;
+                        var constraint = getConstraintOfTypeParameter(type);
+                        if (constraint) {
+                            // If the infer type has a constraint that is not the same as the constraint
+                            // we would have normally inferred based on context, we emit the constraint
+                            // using `infer T extends ?`. We omit inferred constraints from type references
+                            // as they may be elided.
+                            var inferredConstraint = getInferredTypeParameterConstraint(type, /*omitTypeReferences*/ true);
+                            if (!(inferredConstraint && isTypeIdenticalTo(constraint, inferredConstraint))) {
+                                context.approximateLength += 9;
+                                constraintNode = constraint && typeToTypeNodeHelper(constraint, context);
+                            }
+                        }
+                        return ts.factory.createInferTypeNode(typeParameterToDeclarationWithConstraint(type, context, constraintNode));
                     }
                     if (context.flags & 4 /* GenerateNamesForShadowedTypeParams */ &&
                         type.flags & 262144 /* TypeParameter */ &&
@@ -51960,13 +52242,37 @@ var ts;
                 return ts.Debug.fail("Should be unreachable.");
                 function conditionalTypeToTypeNode(type) {
                     var checkTypeNode = typeToTypeNodeHelper(type.checkType, context);
+                    context.approximateLength += 15;
+                    if (context.flags & 4 /* GenerateNamesForShadowedTypeParams */ && type.root.isDistributive && !(type.checkType.flags & 262144 /* TypeParameter */)) {
+                        var newParam = createTypeParameter(createSymbol(262144 /* TypeParameter */, "T"));
+                        var name = typeParameterToName(newParam, context);
+                        var newTypeVariable = ts.factory.createTypeReferenceNode(name);
+                        context.approximateLength += 37; // 15 each for two added conditionals, 7 for an added infer type
+                        var newMapper = prependTypeMapping(type.root.checkType, newParam, type.combinedMapper || type.mapper);
+                        var saveInferTypeParameters_1 = context.inferTypeParameters;
+                        context.inferTypeParameters = type.root.inferTypeParameters;
+                        var extendsTypeNode_1 = typeToTypeNodeHelper(instantiateType(type.root.extendsType, newMapper), context);
+                        context.inferTypeParameters = saveInferTypeParameters_1;
+                        var trueTypeNode_1 = typeToTypeNodeOrCircularityElision(instantiateType(getTypeFromTypeNode(type.root.node.trueType), newMapper));
+                        var falseTypeNode_1 = typeToTypeNodeOrCircularityElision(instantiateType(getTypeFromTypeNode(type.root.node.falseType), newMapper));
+                        // outermost conditional makes `T` a type parameter, allowing the inner conditionals to be distributive
+                        // second conditional makes `T` have `T & checkType` substitution, so it is correctly usable as the checkType
+                        // inner conditional runs the check the user provided on the check type (distributively) and returns the result
+                        // checkType extends infer T ? T extends checkType ? T extends extendsType<T> ? trueType<T> : falseType<T> : never : never;
+                        // this is potentially simplifiable to
+                        // checkType extends infer T ? T extends checkType & extendsType<T> ? trueType<T> : falseType<T> : never;
+                        // but that may confuse users who read the output more.
+                        // On the other hand,
+                        // checkType extends infer T extends checkType ? T extends extendsType<T> ? trueType<T> : falseType<T> : never;
+                        // may also work with `infer ... extends ...` in, but would produce declarations only compatible with the latest TS.
+                        return ts.factory.createConditionalTypeNode(checkTypeNode, ts.factory.createInferTypeNode(ts.factory.createTypeParameterDeclaration(/*modifiers*/ undefined, ts.factory.cloneNode(newTypeVariable.typeName))), ts.factory.createConditionalTypeNode(ts.factory.createTypeReferenceNode(ts.factory.cloneNode(name)), typeToTypeNodeHelper(type.checkType, context), ts.factory.createConditionalTypeNode(newTypeVariable, extendsTypeNode_1, trueTypeNode_1, falseTypeNode_1), ts.factory.createKeywordTypeNode(143 /* NeverKeyword */)), ts.factory.createKeywordTypeNode(143 /* NeverKeyword */));
+                    }
                     var saveInferTypeParameters = context.inferTypeParameters;
                     context.inferTypeParameters = type.root.inferTypeParameters;
                     var extendsTypeNode = typeToTypeNodeHelper(type.extendsType, context);
                     context.inferTypeParameters = saveInferTypeParameters;
                     var trueTypeNode = typeToTypeNodeOrCircularityElision(getTrueTypeFromConditionalType(type));
                     var falseTypeNode = typeToTypeNodeOrCircularityElision(getFalseTypeFromConditionalType(type));
-                    context.approximateLength += 15;
                     return ts.factory.createConditionalTypeNode(checkTypeNode, extendsTypeNode, trueTypeNode, falseTypeNode);
                 }
                 function typeToTypeNodeOrCircularityElision(type) {
@@ -52665,9 +52971,6 @@ var ts;
                 if (parameterDeclaration && isRequiredInitializedParameter(parameterDeclaration)) {
                     parameterType = getOptionalType(parameterType);
                 }
-                if ((context.flags & 1073741824 /* NoUndefinedOptionalParameterType */) && parameterDeclaration && !ts.isJSDocParameterTag(parameterDeclaration) && isOptionalUninitializedParameter(parameterDeclaration)) {
-                    parameterType = getTypeWithFacts(parameterType, 524288 /* NEUndefined */);
-                }
                 var parameterTypeNode = serializeTypeForDeclaration(context, parameterType, parameterSymbol, context.enclosingDeclaration, privateSymbolVisitor, bundledImports);
                 var modifiers = !(context.flags & 8192 /* OmitParameterModifiers */) && preserveModifierFlags && parameterDeclaration && parameterDeclaration.modifiers ? parameterDeclaration.modifiers.map(ts.factory.cloneNode) : undefined;
                 var isRest = parameterDeclaration && ts.isRestParameter(parameterDeclaration) || ts.getCheckFlags(parameterSymbol) & 32768 /* RestParameter */;
@@ -53226,7 +53529,7 @@ var ts;
                     if (declWithExistingAnnotation && !ts.isFunctionLikeDeclaration(declWithExistingAnnotation) && !ts.isGetAccessorDeclaration(declWithExistingAnnotation)) {
                         // try to reuse the existing annotation
                         var existing = ts.getEffectiveTypeAnnotationNode(declWithExistingAnnotation);
-                        if (getTypeFromTypeNode(existing) === type && existingTypeNodeIsNotReferenceOrIsReferenceWithCompatibleTypeArgumentCount(existing, type)) {
+                        if (typeNodeIsEquivalentToType(existing, declWithExistingAnnotation, type) && existingTypeNodeIsNotReferenceOrIsReferenceWithCompatibleTypeArgumentCount(existing, type)) {
                             var result_6 = serializeExistingTypeNode(context, existing, includePrivateSymbol, bundled);
                             if (result_6) {
                                 return result_6;
@@ -53243,6 +53546,16 @@ var ts;
                 context.flags = oldFlags;
                 return result;
             }
+            function typeNodeIsEquivalentToType(typeNode, annotatedDeclaration, type) {
+                var typeFromTypeNode = getTypeFromTypeNode(typeNode);
+                if (typeFromTypeNode === type) {
+                    return true;
+                }
+                if (ts.isParameter(annotatedDeclaration) && annotatedDeclaration.questionToken) {
+                    return getTypeWithFacts(type, 524288 /* NEUndefined */) === typeFromTypeNode;
+                }
+                return false;
+            }
             function serializeReturnTypeForSignature(context, type, signature, includePrivateSymbol, bundled) {
                 if (!isErrorType(type) && context.enclosingDeclaration) {
                     var annotation = signature.declaration && ts.getEffectiveReturnTypeNode(signature.declaration);
@@ -53842,7 +54155,7 @@ var ts;
                             newModifierFlags |= 1 /* Export */;
                         }
                         if (addingDeclare && !(newModifierFlags & 1 /* Export */) &&
-                            (!enclosingDeclaration_1 || !(enclosingDeclaration_1.flags & 8388608 /* Ambient */)) &&
+                            (!enclosingDeclaration_1 || !(enclosingDeclaration_1.flags & 16777216 /* Ambient */)) &&
                             (ts.isEnumDeclaration(node) || ts.isVariableStatement(node) || ts.isFunctionDeclaration(node) || ts.isClassDeclaration(node) || ts.isModuleDeclaration(node))) {
                             // Classes, namespaces, variables, enums, and functions all need `declare` modifiers to be valid in a declaration file top-level scope
                             newModifierFlags |= 2 /* Ambient */;
@@ -54812,7 +55125,7 @@ var ts;
                         var parent = getDeclarationContainer(node);
                         // If the node is not exported or it is not ambient module element (except import declaration)
                         if (!(ts.getCombinedModifierFlags(node) & 1 /* Export */) &&
-                            !(node.kind !== 265 /* ImportEqualsDeclaration */ && parent.kind !== 305 /* SourceFile */ && parent.flags & 8388608 /* Ambient */)) {
+                            !(node.kind !== 265 /* ImportEqualsDeclaration */ && parent.kind !== 305 /* SourceFile */ && parent.flags & 16777216 /* Ambient */)) {
                             return isGlobalSourceFile(parent);
                         }
                         // Exported members/ambient module elements (exception import declaration) are visible if parent is visible
@@ -55152,7 +55465,7 @@ var ts;
             }
             var pattern = declaration.parent;
             // Relax null check on ambient destructuring parameters, since the parameters have no implementation and are just documentation
-            if (strictNullChecks && declaration.flags & 8388608 /* Ambient */ && ts.isParameterDeclaration(declaration)) {
+            if (strictNullChecks && declaration.flags & 16777216 /* Ambient */ && ts.isParameterDeclaration(declaration)) {
                 parentType = getNonNullableType(parentType);
             }
             // Filter `undefined` from the type we check against if the parent has an initializer and that initializer is not possibly `undefined`
@@ -55268,7 +55581,7 @@ var ts;
             }
             if ((noImplicitAny || ts.isInJSFile(declaration)) &&
                 ts.isVariableDeclaration(declaration) && !ts.isBindingPattern(declaration.name) &&
-                !(ts.getCombinedModifierFlags(declaration) & 1 /* Export */) && !(declaration.flags & 8388608 /* Ambient */)) {
+                !(ts.getCombinedModifierFlags(declaration) & 1 /* Export */) && !(declaration.flags & 16777216 /* Ambient */)) {
                 // If --noImplicitAny is on or the declaration is in a Javascript file,
                 // use control flow tracked 'any' type for non-ambient, non-exported var or let variables with no
                 // initializer or a 'null' or 'undefined' initializer.
@@ -55514,7 +55827,7 @@ var ts;
                         }
                     }
                     var sourceTypes = ts.some(constructorTypes, function (t) { return !!(t.flags & ~98304 /* Nullable */); }) ? constructorTypes : types; // TODO: GH#18217
-                    type = getUnionType(sourceTypes, 2 /* Subtype */);
+                    type = getUnionType(sourceTypes);
                 }
             }
             var widened = getWidenedType(addOptionality(type, /*isProperty*/ false, definedInMethod && !definedInConstructor));
@@ -56724,7 +57037,7 @@ var ts;
         function isLiteralEnumMember(member) {
             var expr = member.initializer;
             if (!expr) {
-                return !(member.flags & 8388608 /* Ambient */);
+                return !(member.flags & 16777216 /* Ambient */);
             }
             switch (expr.kind) {
                 case 10 /* StringLiteral */:
@@ -58263,8 +58576,9 @@ var ts;
                     // levels of nesting, we are presumably exploring a repeating pattern with a long cycle that hasn't
                     // yet triggered the deeply nested limiter. We have no test cases that actually get to 50 levels of
                     // nesting, so it is effectively just a safety stop.
-                    if (stack.length < 10 || stack.length < 50 && !isDeeplyNestedType(t, stack, stack.length)) {
-                        stack.push(t);
+                    var identity_1 = getRecursionIdentity(t);
+                    if (stack.length < 10 || stack.length < 50 && !ts.contains(stack, identity_1)) {
+                        stack.push(identity_1);
                         result = computeBaseConstraint(getSimplifiedType(t, /*writing*/ false));
                         stack.pop();
                     }
@@ -59357,7 +59671,7 @@ var ts;
         function getConstraintDeclaration(type) {
             return ts.mapDefined(ts.filter(type.symbol && type.symbol.declarations, ts.isTypeParameterDeclaration), ts.getEffectiveConstraintOfTypeParameter)[0];
         }
-        function getInferredTypeParameterConstraint(typeParameter) {
+        function getInferredTypeParameterConstraint(typeParameter, omitTypeReferences) {
             var _a;
             var inferences;
             if ((_a = typeParameter.symbol) === null || _a === void 0 ? void 0 : _a.declarations) {
@@ -59369,7 +59683,7 @@ var ts;
                         // corresponding type parameter in 'Foo'. When multiple 'infer T' declarations are
                         // present, we form an intersection of the inferred constraint types.
                         var _c = ts.walkUpParenthesizedTypesAndGetParentAndChild(declaration.parent.parent), _d = _c[0], childTypeParameter = _d === void 0 ? declaration.parent : _d, grandParent = _c[1];
-                        if (grandParent.kind === 178 /* TypeReference */) {
+                        if (grandParent.kind === 178 /* TypeReference */ && !omitTypeReferences) {
                             var typeReference = grandParent;
                             var typeParameters = getTypeParametersForTypeReference(typeReference);
                             if (typeParameters) {
@@ -59791,7 +60105,7 @@ var ts;
             return constraints ? getSubstitutionType(type, getIntersectionType(ts.append(constraints, type))) : type;
         }
         function isJSDocTypeReference(node) {
-            return !!(node.flags & 4194304 /* JSDoc */) && (node.kind === 178 /* TypeReference */ || node.kind === 200 /* ImportType */);
+            return !!(node.flags & 8388608 /* JSDoc */) && (node.kind === 178 /* TypeReference */ || node.kind === 200 /* ImportType */);
         }
         function checkNoTypeArguments(node, symbol) {
             if (node.typeArguments) {
@@ -61350,7 +61664,7 @@ var ts;
                 if (ts.isCallLikeExpression(parent)) {
                     return ts.isCallOrNewExpression(parent) && ts.isIdentifier(node) && hasMatchingArgument(parent, node);
                 }
-                return ts.every(symbol.declarations, function (d) { return !ts.isFunctionLike(d) || !!(ts.getCombinedNodeFlags(d) & 134217728 /* Deprecated */); });
+                return ts.every(symbol.declarations, function (d) { return !ts.isFunctionLike(d) || !!(ts.getCombinedNodeFlags(d) & 268435456 /* Deprecated */); });
             }
             return true;
         }
@@ -62043,7 +62357,7 @@ var ts;
                     links.resolvedSymbol = unknownSymbol;
                     return links.resolvedType = errorType;
                 }
-                var targetMeaning = node.isTypeOf ? 111551 /* Value */ : node.flags & 4194304 /* JSDoc */ ? 111551 /* Value */ | 788968 /* Type */ : 788968 /* Type */;
+                var targetMeaning = node.isTypeOf ? 111551 /* Value */ : node.flags & 8388608 /* JSDoc */ ? 111551 /* Value */ | 788968 /* Type */ : 788968 /* Type */;
                 // TODO: Future work: support unions/generics/whatever via a deferred import-type
                 var innerModuleSymbol = resolveExternalModuleName(node, node.argument.literal);
                 if (!innerModuleSymbol) {
@@ -62379,7 +62693,7 @@ var ts;
             }
             // /** @return {this} */
             // x.prototype.m = function() { ... }
-            var host = node.flags & 4194304 /* JSDoc */ ? ts.getHostSignatureFromJSDoc(node) : undefined;
+            var host = node.flags & 8388608 /* JSDoc */ ? ts.getHostSignatureFromJSDoc(node) : undefined;
             if (host && ts.isFunctionExpression(host) && ts.isBinaryExpression(host.parent) && ts.getAssignmentDeclarationKind(host.parent) === 3 /* PrototypeProperty */) {
                 return getDeclaredTypeOfClassOrInterface(getSymbolOfNode(host.parent.left).parent).thisType;
             }
@@ -62454,7 +62768,7 @@ var ts;
                 case 143 /* NeverKeyword */:
                     return neverType;
                 case 148 /* ObjectKeyword */:
-                    return node.flags & 131072 /* JavaScriptFile */ && !noImplicitAny ? anyType : nonPrimitiveType;
+                    return node.flags & 262144 /* JavaScriptFile */ && !noImplicitAny ? anyType : nonPrimitiveType;
                 case 138 /* IntrinsicKeyword */:
                     return intrinsicMarkerType;
                 case 192 /* ThisType */:
@@ -66462,12 +66776,12 @@ var ts;
         function isDeeplyNestedType(type, stack, depth, maxDepth) {
             if (maxDepth === void 0) { maxDepth = 3; }
             if (depth >= maxDepth) {
-                var identity_1 = getRecursionIdentity(type);
+                var identity_2 = getRecursionIdentity(type);
                 var count = 0;
                 var lastTypeId = 0;
                 for (var i = 0; i < depth; i++) {
                     var t = stack[i];
-                    if (getRecursionIdentity(t) === identity_1) {
+                    if (getRecursionIdentity(t) === identity_2) {
                         // We only count occurrences with a higher type id than the previous occurrence, since higher
                         // type ids are an indicator of newer instantiations caused by recursion.
                         if (t.id >= lastTypeId) {
@@ -67331,6 +67645,9 @@ var ts;
                 var inference = inferences[i];
                 if (t === inference.typeParameter) {
                     if (fix && !inference.isFixed) {
+                        // Before we commit to a particular inference (and thus lock out any further inferences),
+                        // we infer from any intra-expression inference sites we have collected.
+                        inferFromIntraExpressionSites(context);
                         clearCachedInferences(inferences);
                         inference.isFixed = true;
                     }
@@ -67347,6 +67664,37 @@ var ts;
                 }
             }
         }
+        function addIntraExpressionInferenceSite(context, node, type) {
+            var _a;
+            ((_a = context.intraExpressionInferenceSites) !== null && _a !== void 0 ? _a : (context.intraExpressionInferenceSites = [])).push({ node: node, type: type });
+        }
+        // We collect intra-expression inference sites within object and array literals to handle cases where
+        // inferred types flow between context sensitive element expressions. For example:
+        //
+        //   declare function foo<T>(arg: [(n: number) => T, (x: T) => void]): void;
+        //   foo([_a => 0, n => n.toFixed()]);
+        //
+        // Above, both arrow functions in the tuple argument are context sensitive, thus both are omitted from the
+        // pass that collects inferences from the non-context sensitive parts of the arguments. In the subsequent
+        // pass where nothing is omitted, we need to commit to an inference for T in order to contextually type the
+        // parameter in the second arrow function, but we want to first infer from the return type of the first
+        // arrow function. This happens automatically when the arrow functions are discrete arguments (because we
+        // infer from each argument before processing the next), but when the arrow functions are elements of an
+        // object or array literal, we need to perform intra-expression inferences early.
+        function inferFromIntraExpressionSites(context) {
+            if (context.intraExpressionInferenceSites) {
+                for (var _i = 0, _a = context.intraExpressionInferenceSites; _i < _a.length; _i++) {
+                    var _b = _a[_i], node = _b.node, type = _b.type;
+                    var contextualType = node.kind === 169 /* MethodDeclaration */ ?
+                        getContextualTypeForObjectLiteralMethod(node, 2 /* NoConstraints */) :
+                        getContextualType(node, 2 /* NoConstraints */);
+                    if (contextualType) {
+                        inferTypes(context.inferences, type, contextualType);
+                    }
+                }
+                context.intraExpressionInferenceSites = undefined;
+            }
+        }
         function createInferenceInfo(typeParameter) {
             return {
                 typeParameter: typeParameter,
@@ -69329,7 +69677,7 @@ var ts;
         // parameter symbols with declarations that have explicit type annotations. Such references are
         // resolvable with no possibility of triggering circularities in control flow analysis.
         function getTypeOfDottedName(node, diagnostic) {
-            if (!(node.flags & 16777216 /* InWithStatement */)) {
+            if (!(node.flags & 33554432 /* InWithStatement */)) {
                 switch (node.kind) {
                     case 79 /* Identifier */:
                         var symbol = getExportSymbolOfValueSymbolIfExported(getResolvedSymbol(node));
@@ -70733,6 +71081,7 @@ var ts;
             // a generic type without a nullable constraint and x is a generic type. This is because when both obj
             // and x are of generic types T and K, we want the resulting type to be T[K].
             return parent.kind === 206 /* PropertyAccessExpression */ ||
+                parent.kind === 161 /* QualifiedName */ ||
                 parent.kind === 208 /* CallExpression */ && parent.expression === node ||
                 parent.kind === 207 /* ElementAccessExpression */ && parent.expression === node &&
                     !(someType(type, isGenericTypeWithoutNullableConstraint) && isGenericIndexType(getTypeOfExpression(parent.argumentExpression)));
@@ -71026,7 +71375,7 @@ var ts;
                     isInTypeQuery(node) || node.parent.kind === 275 /* ExportSpecifier */) ||
                 node.parent.kind === 230 /* NonNullExpression */ ||
                 declaration.kind === 254 /* VariableDeclaration */ && declaration.exclamationToken ||
-                declaration.flags & 8388608 /* Ambient */;
+                declaration.flags & 16777216 /* Ambient */;
             var initialType = assumeInitialized ? (isParameter ? removeOptionalityFromDeclaredType(type, declaration) : type) :
                 type === autoType || type === autoArrayType ? undefinedType :
                     getOptionalType(type);
@@ -72034,7 +72383,7 @@ var ts;
         // exists. Otherwise, it is the type of the string index signature in T, if one exists.
         function getContextualTypeForObjectLiteralMethod(node, contextFlags) {
             ts.Debug.assert(ts.isObjectLiteralMethod(node));
-            if (node.flags & 16777216 /* InWithStatement */) {
+            if (node.flags & 33554432 /* InWithStatement */) {
                 // We cannot answer semantic questions within a with block, do not proceed any further
                 return undefined;
             }
@@ -72222,7 +72571,7 @@ var ts;
          * @returns the contextual type of an expression.
          */
         function getContextualType(node, contextFlags) {
-            if (node.flags & 16777216 /* InWithStatement */) {
+            if (node.flags & 33554432 /* InWithStatement */) {
                 // We cannot answer semantic questions within a with block, do not proceed any further
                 return undefined;
             }
@@ -72640,6 +72989,11 @@ var ts;
                     var type = checkExpressionForMutableLocation(e, checkMode, elementContextualType, forceTuple);
                     elementTypes.push(addOptionality(type, /*isProperty*/ true, hasOmittedExpression));
                     elementFlags.push(hasOmittedExpression ? 2 /* Optional */ : 1 /* Required */);
+                    if (contextualType && someType(contextualType, isTupleLikeType) && checkMode && checkMode & 2 /* Inferential */ && !(checkMode & 4 /* SkipContextSensitive */) && isContextSensitive(e)) {
+                        var inferenceContext = getInferenceContext(node);
+                        ts.Debug.assert(inferenceContext); // In CheckMode.Inferential we should always have an inference context
+                        addIntraExpressionInferenceSite(inferenceContext, e, type);
+                    }
                 }
             }
             if (inDestructuringPattern) {
@@ -72841,6 +73195,13 @@ var ts;
                     prop.target = member;
                     member = prop;
                     allPropertiesTable === null || allPropertiesTable === void 0 ? void 0 : allPropertiesTable.set(prop.escapedName, prop);
+                    if (contextualType && checkMode && checkMode & 2 /* Inferential */ && !(checkMode & 4 /* SkipContextSensitive */) &&
+                        (memberDecl.kind === 296 /* PropertyAssignment */ || memberDecl.kind === 169 /* MethodDeclaration */) && isContextSensitive(memberDecl)) {
+                        var inferenceContext = getInferenceContext(node);
+                        ts.Debug.assert(inferenceContext); // In CheckMode.Inferential we should always have an inference context
+                        var inferenceNode = memberDecl.kind === 296 /* PropertyAssignment */ ? memberDecl.initializer : memberDecl;
+                        addIntraExpressionInferenceSite(inferenceContext, inferenceNode, type);
+                    }
                 }
                 else if (memberDecl.kind === 298 /* SpreadAssignment */) {
                     if (languageVersion < 2 /* ES2015 */) {
@@ -73933,7 +74294,7 @@ var ts;
                 if (compilerOptions.noPropertyAccessFromIndexSignature && ts.isPropertyAccessExpression(node)) {
                     error(right, ts.Diagnostics.Property_0_comes_from_an_index_signature_so_it_must_be_accessed_with_0, ts.unescapeLeadingUnderscores(right.escapedText));
                 }
-                if (indexInfo.declaration && ts.getCombinedNodeFlags(indexInfo.declaration) & 134217728 /* Deprecated */) {
+                if (indexInfo.declaration && ts.getCombinedNodeFlags(indexInfo.declaration) & 268435456 /* Deprecated */) {
                     addDeprecatedSuggestion(right, [indexInfo.declaration], right.escapedText);
                 }
             }
@@ -74001,7 +74362,7 @@ var ts;
                 if (declaration && isPropertyWithoutInitializer(declaration)) {
                     if (!ts.isStatic(declaration)) {
                         var flowContainer = getControlFlowContainer(node);
-                        if (flowContainer.kind === 171 /* Constructor */ && flowContainer.parent === declaration.parent && !(declaration.flags & 8388608 /* Ambient */)) {
+                        if (flowContainer.kind === 171 /* Constructor */ && flowContainer.parent === declaration.parent && !(declaration.flags & 16777216 /* Ambient */)) {
                             assumeUninitialized = true;
                         }
                     }
@@ -74038,7 +74399,7 @@ var ts;
             }
             else if (valueDeclaration.kind === 257 /* ClassDeclaration */ &&
                 node.parent.kind !== 178 /* TypeReference */ &&
-                !(valueDeclaration.flags & 8388608 /* Ambient */) &&
+                !(valueDeclaration.flags & 16777216 /* Ambient */) &&
                 !isBlockScopedNameDeclaredBeforeUse(valueDeclaration, right)) {
                 diagnosticMessage = error(right, ts.Diagnostics.Class_0_used_before_its_declaration, declarationName);
             }
@@ -74703,34 +75064,36 @@ var ts;
             if (node.kind !== 165 /* Decorator */) {
                 var contextualType = getContextualType(node, ts.every(signature.typeParameters, function (p) { return !!getDefaultFromTypeParameter(p); }) ? 8 /* SkipBindingPatterns */ : 0 /* None */);
                 if (contextualType) {
-                    // We clone the inference context to avoid disturbing a resolution in progress for an
-                    // outer call expression. Effectively we just want a snapshot of whatever has been
-                    // inferred for any outer call expression so far.
-                    var outerContext = getInferenceContext(node);
-                    var outerMapper = getMapperFromContext(cloneInferenceContext(outerContext, 1 /* NoDefault */));
-                    var instantiatedType = instantiateType(contextualType, outerMapper);
-                    // If the contextual type is a generic function type with a single call signature, we
-                    // instantiate the type with its own type parameters and type arguments. This ensures that
-                    // the type parameters are not erased to type any during type inference such that they can
-                    // be inferred as actual types from the contextual type. For example:
-                    //   declare function arrayMap<T, U>(f: (x: T) => U): (a: T[]) => U[];
-                    //   const boxElements: <A>(a: A[]) => { value: A }[] = arrayMap(value => ({ value }));
-                    // Above, the type of the 'value' parameter is inferred to be 'A'.
-                    var contextualSignature = getSingleCallSignature(instantiatedType);
-                    var inferenceSourceType = contextualSignature && contextualSignature.typeParameters ?
-                        getOrCreateTypeFromSignature(getSignatureInstantiationWithoutFillingInTypeArguments(contextualSignature, contextualSignature.typeParameters)) :
-                        instantiatedType;
                     var inferenceTargetType = getReturnTypeOfSignature(signature);
-                    // Inferences made from return types have lower priority than all other inferences.
-                    inferTypes(context.inferences, inferenceSourceType, inferenceTargetType, 128 /* ReturnType */);
-                    // Create a type mapper for instantiating generic contextual types using the inferences made
-                    // from the return type. We need a separate inference pass here because (a) instantiation of
-                    // the source type uses the outer context's return mapper (which excludes inferences made from
-                    // outer arguments), and (b) we don't want any further inferences going into this context.
-                    var returnContext = createInferenceContext(signature.typeParameters, signature, context.flags);
-                    var returnSourceType = instantiateType(contextualType, outerContext && outerContext.returnMapper);
-                    inferTypes(returnContext.inferences, returnSourceType, inferenceTargetType);
-                    context.returnMapper = ts.some(returnContext.inferences, hasInferenceCandidates) ? getMapperFromContext(cloneInferredPartOfContext(returnContext)) : undefined;
+                    if (couldContainTypeVariables(inferenceTargetType)) {
+                        // We clone the inference context to avoid disturbing a resolution in progress for an
+                        // outer call expression. Effectively we just want a snapshot of whatever has been
+                        // inferred for any outer call expression so far.
+                        var outerContext = getInferenceContext(node);
+                        var outerMapper = getMapperFromContext(cloneInferenceContext(outerContext, 1 /* NoDefault */));
+                        var instantiatedType = instantiateType(contextualType, outerMapper);
+                        // If the contextual type is a generic function type with a single call signature, we
+                        // instantiate the type with its own type parameters and type arguments. This ensures that
+                        // the type parameters are not erased to type any during type inference such that they can
+                        // be inferred as actual types from the contextual type. For example:
+                        //   declare function arrayMap<T, U>(f: (x: T) => U): (a: T[]) => U[];
+                        //   const boxElements: <A>(a: A[]) => { value: A }[] = arrayMap(value => ({ value }));
+                        // Above, the type of the 'value' parameter is inferred to be 'A'.
+                        var contextualSignature = getSingleCallSignature(instantiatedType);
+                        var inferenceSourceType = contextualSignature && contextualSignature.typeParameters ?
+                            getOrCreateTypeFromSignature(getSignatureInstantiationWithoutFillingInTypeArguments(contextualSignature, contextualSignature.typeParameters)) :
+                            instantiatedType;
+                        // Inferences made from return types have lower priority than all other inferences.
+                        inferTypes(context.inferences, inferenceSourceType, inferenceTargetType, 128 /* ReturnType */);
+                        // Create a type mapper for instantiating generic contextual types using the inferences made
+                        // from the return type. We need a separate inference pass here because (a) instantiation of
+                        // the source type uses the outer context's return mapper (which excludes inferences made from
+                        // outer arguments), and (b) we don't want any further inferences going into this context.
+                        var returnContext = createInferenceContext(signature.typeParameters, signature, context.flags);
+                        var returnSourceType = instantiateType(contextualType, outerContext && outerContext.returnMapper);
+                        inferTypes(returnContext.inferences, returnSourceType, inferenceTargetType);
+                        context.returnMapper = ts.some(returnContext.inferences, hasInferenceCandidates) ? getMapperFromContext(cloneInferredPartOfContext(returnContext)) : undefined;
+                    }
                 }
             }
             var restType = getNonArrayRestType(signature);
@@ -74742,7 +75105,7 @@ var ts;
                 }
             }
             var thisType = getThisTypeOfSignature(signature);
-            if (thisType) {
+            if (thisType && couldContainTypeVariables(thisType)) {
                 var thisArgumentNode = getThisArgumentOfCall(node);
                 inferTypes(context.inferences, getThisArgumentType(thisArgumentNode), thisType);
             }
@@ -74750,11 +75113,13 @@ var ts;
                 var arg = args[i];
                 if (arg.kind !== 227 /* OmittedExpression */ && !(checkMode & 32 /* IsForStringLiteralArgumentCompletions */ && hasSkipDirectInferenceFlag(arg))) {
                     var paramType = getTypeAtPosition(signature, i);
-                    var argType = checkExpressionWithContextualType(arg, paramType, context, checkMode);
-                    inferTypes(context.inferences, argType, paramType);
+                    if (couldContainTypeVariables(paramType)) {
+                        var argType = checkExpressionWithContextualType(arg, paramType, context, checkMode);
+                        inferTypes(context.inferences, argType, paramType);
+                    }
                 }
             }
-            if (restType) {
+            if (restType && couldContainTypeVariables(restType)) {
                 var spreadType = getSpreadArgumentType(args, argCount, args.length, restType, context, checkMode);
                 inferTypes(context.inferences, spreadType, restType);
             }
@@ -76334,7 +76699,7 @@ var ts;
             return returnType;
         }
         function checkDeprecatedSignature(signature, node) {
-            if (signature.declaration && signature.declaration.flags & 134217728 /* Deprecated */) {
+            if (signature.declaration && signature.declaration.flags & 268435456 /* Deprecated */) {
                 var suggestionNode = getDeprecatedSuggestionNode(node);
                 var name = ts.tryGetPropertyAccessOrIdentifierToString(ts.getInvokedExpression(node));
                 addDeprecatedSuggestionWithSignature(suggestionNode, signature.declaration, name, signatureToString(signature));
@@ -76418,7 +76783,7 @@ var ts;
             var newSymbol = createSymbol(2097152 /* Alias */, "default" /* Default */);
             newSymbol.parent = originalSymbol;
             newSymbol.nameType = getStringLiteralType("default");
-            newSymbol.target = resolveSymbol(symbol);
+            newSymbol.aliasTarget = resolveSymbol(symbol);
             memberTable.set("default" /* Default */, newSymbol);
             return createAnonymousType(anonymousSymbol, memberTable, ts.emptyArray, ts.emptyArray, ts.emptyArray);
         }
@@ -76478,7 +76843,7 @@ var ts;
             if (targetDeclarationKind !== 0 /* Unknown */) {
                 var decl = ts.getDeclarationOfKind(resolvedRequire, targetDeclarationKind);
                 // function/variable declaration should be ambient
-                return !!decl && !!(decl.flags & 8388608 /* Ambient */);
+                return !!decl && !!(decl.flags & 16777216 /* Ambient */);
             }
             return false;
         }
@@ -76673,7 +77038,7 @@ var ts;
                 error(node, ts.Diagnostics.The_import_meta_meta_property_is_only_allowed_when_the_module_option_is_es2020_es2022_esnext_system_node12_or_nodenext);
             }
             var file = ts.getSourceFileOfNode(node);
-            ts.Debug.assert(!!(file.flags & 2097152 /* PossiblyContainsImportMeta */), "Containing file is missing import meta node flag.");
+            ts.Debug.assert(!!(file.flags & 4194304 /* PossiblyContainsImportMeta */), "Containing file is missing import meta node flag.");
             return node.name.escapedText === "meta" ? getGlobalImportMetaType() : errorType;
         }
         function getTypeOfParameter(symbol) {
@@ -78687,6 +79052,11 @@ var ts;
                 context.contextualType = contextualType;
                 context.inferenceContext = inferenceContext;
                 var type = checkExpression(node, checkMode | 1 /* Contextual */ | (inferenceContext ? 2 /* Inferential */ : 0));
+                // In CheckMode.Inferential we collect intra-expression inference sites to process before fixing any type
+                // parameters. This information is no longer needed after the call to checkExpression.
+                if (inferenceContext && inferenceContext.intraExpressionInferenceSites) {
+                    inferenceContext.intraExpressionInferenceSites = undefined;
+                }
                 // We strip literal freshness when an appropriate contextual type is present such that contextually typed
                 // literals always preserve their literal types (otherwise they might widen during type inference). An alternative
                 // here would be to not mark contextually typed literals as fresh in the first place.
@@ -78978,7 +79348,7 @@ var ts;
                 return quickType;
             }
             // If a type has been cached for the node, return it.
-            if (node.flags & 67108864 /* TypeCached */ && flowTypeCache) {
+            if (node.flags & 134217728 /* TypeCached */ && flowTypeCache) {
                 var cachedType = flowTypeCache[getNodeId(node)];
                 if (cachedType) {
                     return cachedType;
@@ -78990,7 +79360,7 @@ var ts;
             if (flowInvocationCount !== startInvocationCount) {
                 var cache = flowTypeCache || (flowTypeCache = []);
                 cache[getNodeId(node)] = type;
-                ts.setNodeFlags(node, node.flags | 67108864 /* TypeCached */);
+                ts.setNodeFlags(node, node.flags | 134217728 /* TypeCached */);
             }
             return type;
         }
@@ -79076,7 +79446,7 @@ var ts;
             if (compilerOptions.isolatedModules) {
                 ts.Debug.assert(!!(type.symbol.flags & 128 /* ConstEnum */));
                 var constEnumDeclaration = type.symbol.valueDeclaration;
-                if (constEnumDeclaration.flags & 8388608 /* Ambient */) {
+                if (constEnumDeclaration.flags & 16777216 /* Ambient */) {
                     error(node, ts.Diagnostics.Cannot_access_ambient_const_enums_when_the_isolatedModules_flag_is_provided);
                 }
             }
@@ -79225,19 +79595,28 @@ var ts;
             if (constraintType && defaultType) {
                 checkTypeAssignableTo(defaultType, getTypeWithThisArgument(instantiateType(constraintType, makeUnaryTypeMapper(typeParameter, defaultType)), defaultType), node.default, ts.Diagnostics.Type_0_does_not_satisfy_the_constraint_1);
             }
-            if (node.parent.kind === 258 /* InterfaceDeclaration */ || node.parent.kind === 257 /* ClassDeclaration */ || node.parent.kind === 259 /* TypeAliasDeclaration */) {
+            checkNodeDeferred(node);
+            addLazyDiagnostic(function () { return checkTypeNameIsReserved(node.name, ts.Diagnostics.Type_parameter_name_cannot_be_0); });
+        }
+        function checkTypeParameterDeferred(node) {
+            if (ts.isInterfaceDeclaration(node.parent) || ts.isClassLike(node.parent) || ts.isTypeAliasDeclaration(node.parent)) {
+                var typeParameter = getDeclaredTypeOfTypeParameter(getSymbolOfNode(node));
                 var modifiers = getVarianceModifiers(typeParameter);
-                if (modifiers === 32768 /* In */ || modifiers === 65536 /* Out */) {
+                if (modifiers) {
                     var symbol = getSymbolOfNode(node.parent);
-                    var source = createMarkerType(symbol, typeParameter, modifiers === 65536 /* Out */ ? markerSubType : markerSuperType);
-                    var target = createMarkerType(symbol, typeParameter, modifiers === 65536 /* Out */ ? markerSuperType : markerSubType);
-                    var saveVarianceTypeParameter = typeParameter;
-                    varianceTypeParameter = typeParameter;
-                    checkTypeAssignableTo(source, target, node, ts.Diagnostics.Type_0_is_not_assignable_to_type_1_as_implied_by_variance_annotation);
-                    varianceTypeParameter = saveVarianceTypeParameter;
+                    if (ts.isTypeAliasDeclaration(node.parent) && !(ts.getObjectFlags(getDeclaredTypeOfSymbol(symbol)) & (16 /* Anonymous */ | 32 /* Mapped */))) {
+                        error(node, ts.Diagnostics.Variance_annotations_are_only_supported_in_type_aliases_for_object_function_constructor_and_mapped_types);
+                    }
+                    else if (modifiers === 32768 /* In */ || modifiers === 65536 /* Out */) {
+                        var source = createMarkerType(symbol, typeParameter, modifiers === 65536 /* Out */ ? markerSubType : markerSuperType);
+                        var target = createMarkerType(symbol, typeParameter, modifiers === 65536 /* Out */ ? markerSuperType : markerSubType);
+                        var saveVarianceTypeParameter = typeParameter;
+                        varianceTypeParameter = typeParameter;
+                        checkTypeAssignableTo(source, target, node, ts.Diagnostics.Type_0_is_not_assignable_to_type_1_as_implied_by_variance_annotation);
+                        varianceTypeParameter = saveVarianceTypeParameter;
+                    }
                 }
             }
-            addLazyDiagnostic(function () { return checkTypeNameIsReserved(node.name, ts.Diagnostics.Type_parameter_name_cannot_be_0); });
         }
         function checkParameter(node) {
             // Grammar checking
@@ -79727,7 +80106,7 @@ var ts;
                                         superCallStatement = statement;
                                         break;
                                     }
-                                    if (!ts.isPrologueDirective(statement) && nodeImmediatelyReferencesSuperOrThis(statement)) {
+                                    if (nodeImmediatelyReferencesSuperOrThis(statement)) {
                                         break;
                                     }
                                 }
@@ -79769,7 +80148,7 @@ var ts;
                 checkDecorators(node);
                 checkSignatureDeclaration(node);
                 if (node.kind === 172 /* GetAccessor */) {
-                    if (!(node.flags & 8388608 /* Ambient */) && ts.nodeIsPresent(node.body) && (node.flags & 256 /* HasImplicitReturn */)) {
+                    if (!(node.flags & 16777216 /* Ambient */) && ts.nodeIsPresent(node.body) && (node.flags & 256 /* HasImplicitReturn */)) {
                         if (!(node.flags & 512 /* HasExplicitReturn */)) {
                             error(node.name, ts.Diagnostics.A_get_accessor_must_return_a_value);
                         }
@@ -79864,7 +80243,7 @@ var ts;
                 }
                 var symbol = getNodeLinks(node).resolvedSymbol;
                 if (symbol) {
-                    if (ts.some(symbol.declarations, function (d) { return isTypeDeclaration(d) && !!(d.flags & 134217728 /* Deprecated */); })) {
+                    if (ts.some(symbol.declarations, function (d) { return isTypeDeclaration(d) && !!(d.flags & 268435456 /* Deprecated */); })) {
                         addDeprecatedSuggestion(getDeprecatedSuggestionNode(node), symbol.declarations, symbol.escapedName);
                     }
                     if (type.flags & 32 /* Enum */ && symbol.flags & 8 /* EnumMember */) {
@@ -80024,6 +80403,23 @@ var ts;
                 grammarErrorOnNode(node, ts.Diagnostics.infer_declarations_are_only_permitted_in_the_extends_clause_of_a_conditional_type);
             }
             checkSourceElement(node.typeParameter);
+            var symbol = getSymbolOfNode(node.typeParameter);
+            if (symbol.declarations && symbol.declarations.length > 1) {
+                var links = getSymbolLinks(symbol);
+                if (!links.typeParametersChecked) {
+                    links.typeParametersChecked = true;
+                    var typeParameter = getDeclaredTypeOfTypeParameter(symbol);
+                    var declarations = ts.getDeclarationsOfKind(symbol, 163 /* TypeParameter */);
+                    if (!areTypeParametersIdentical(declarations, [typeParameter], function (decl) { return [decl]; })) {
+                        // Report an error on every conflicting declaration.
+                        var name = symbolToString(symbol);
+                        for (var _i = 0, declarations_4 = declarations; _i < declarations_4.length; _i++) {
+                            var declaration = declarations_4[_i];
+                            error(declaration.name, ts.Diagnostics.All_declarations_of_0_must_have_identical_constraints, name);
+                        }
+                    }
+                }
+            }
             registerForUnusedIdentifiersCheck(node);
         }
         function checkTemplateLiteralType(node) {
@@ -80061,7 +80457,7 @@ var ts;
             getTypeFromTypeNode(node);
         }
         function isPrivateWithinAmbient(node) {
-            return (ts.hasEffectiveModifier(node, 8 /* Private */) || ts.isPrivateIdentifierClassElementDeclaration(node)) && !!(node.flags & 8388608 /* Ambient */);
+            return (ts.hasEffectiveModifier(node, 8 /* Private */) || ts.isPrivateIdentifierClassElementDeclaration(node)) && !!(node.flags & 16777216 /* Ambient */);
         }
         function getEffectiveDeclarationFlags(n, flagsToCheck) {
             var flags = ts.getCombinedModifierFlags(n);
@@ -80070,7 +80466,7 @@ var ts;
             if (n.parent.kind !== 258 /* InterfaceDeclaration */ &&
                 n.parent.kind !== 257 /* ClassDeclaration */ &&
                 n.parent.kind !== 226 /* ClassExpression */ &&
-                n.flags & 8388608 /* Ambient */) {
+                n.flags & 16777216 /* Ambient */) {
                 if (!(flags & 2 /* Ambient */) && !(ts.isModuleBlock(n.parent) && ts.isModuleDeclaration(n.parent.parent) && ts.isGlobalScopeAugmentation(n.parent.parent))) {
                     // It is nested in an ambient context, which means it is automatically exported
                     flags |= 1 /* Export */;
@@ -80203,10 +80599,10 @@ var ts;
             var hasNonAmbientClass = false;
             var functionDeclarations = [];
             if (declarations) {
-                for (var _i = 0, declarations_4 = declarations; _i < declarations_4.length; _i++) {
-                    var current = declarations_4[_i];
+                for (var _i = 0, declarations_5 = declarations; _i < declarations_5.length; _i++) {
+                    var current = declarations_5[_i];
                     var node = current;
-                    var inAmbientContext = node.flags & 8388608 /* Ambient */;
+                    var inAmbientContext = node.flags & 16777216 /* Ambient */;
                     var inAmbientContextOrInterface = node.parent && (node.parent.kind === 258 /* InterfaceDeclaration */ || node.parent.kind === 182 /* TypeLiteral */) || inAmbientContext;
                     if (inAmbientContextOrInterface) {
                         // check if declarations are consecutive only if they are non-ambient
@@ -81058,7 +81454,7 @@ var ts;
                 // checkFunctionOrConstructorSymbol wouldn't be called if we didnt ignore javascript function.
                 var firstDeclaration = (_a = localSymbol.declarations) === null || _a === void 0 ? void 0 : _a.find(
                 // Get first non javascript function declaration
-                function (declaration) { return declaration.kind === node.kind && !(declaration.flags & 131072 /* JavaScriptFile */); });
+                function (declaration) { return declaration.kind === node.kind && !(declaration.flags & 262144 /* JavaScriptFile */); });
                 // Only type check the symbol once
                 if (node === firstDeclaration) {
                     checkFunctionOrConstructorSymbol(localSymbol);
@@ -81180,7 +81576,7 @@ var ts;
                         var symbol = getSymbolOfNode(member);
                         if (!symbol.isReferenced
                             && (ts.hasEffectiveModifier(member, 8 /* Private */) || ts.isNamedDeclaration(member) && ts.isPrivateIdentifier(member.name))
-                            && !(member.flags & 8388608 /* Ambient */)) {
+                            && !(member.flags & 16777216 /* Ambient */)) {
                             addDiagnostic(member, 0 /* Local */, ts.createDiagnosticForNode(member.name, ts.Diagnostics._0_is_declared_but_its_value_is_never_read, symbolToString(symbol)));
                         }
                         break;
@@ -81370,8 +81766,8 @@ var ts;
                         : ts.createDiagnosticForNode(declarationList.parent.kind === 237 /* VariableStatement */ ? declarationList.parent : declarationList, ts.Diagnostics.All_variables_are_unused));
                 }
                 else {
-                    for (var _i = 0, declarations_5 = declarations; _i < declarations_5.length; _i++) {
-                        var decl = declarations_5[_i];
+                    for (var _i = 0, declarations_6 = declarations; _i < declarations_6.length; _i++) {
+                        var decl = declarations_6[_i];
                         addDiagnostic(decl, 0 /* Local */, ts.createDiagnosticForNode(decl, ts.Diagnostics._0_is_declared_but_its_value_is_never_read, bindingNameText(decl.name)));
                     }
                 }
@@ -81413,7 +81809,7 @@ var ts;
         }
         function checkCollisionWithArgumentsInGeneratedCode(node) {
             // no rest parameters \ declaration context \ overload - no codegen impact
-            if (languageVersion >= 2 /* ES2015 */ || !ts.hasRestParameter(node) || node.flags & 8388608 /* Ambient */ || ts.nodeIsMissing(node.body)) {
+            if (languageVersion >= 2 /* ES2015 */ || !ts.hasRestParameter(node) || node.flags & 16777216 /* Ambient */ || ts.nodeIsMissing(node.body)) {
                 return;
             }
             ts.forEach(node.parameters, function (p) {
@@ -81441,7 +81837,7 @@ var ts;
                 // it is ok to have member named '_super', '_this', `Promise`, etc. - member access is always qualified
                 return false;
             }
-            if (node.flags & 8388608 /* Ambient */) {
+            if (node.flags & 16777216 /* Ambient */) {
                 // ambient context - no codegen impact
                 return false;
             }
@@ -81580,7 +81976,7 @@ var ts;
             recordPotentialCollisionWithReflectInGeneratedCode(node, name);
             if (ts.isClassLike(node)) {
                 checkTypeNameIsReserved(name, ts.Diagnostics.Class_name_cannot_be_0);
-                if (!(node.flags & 8388608 /* Ambient */)) {
+                if (!(node.flags & 16777216 /* Ambient */)) {
                     checkClassNameCollisionWithObject(name);
                 }
             }
@@ -83174,23 +83570,23 @@ var ts;
                     return;
                 }
                 var type = getDeclaredTypeOfSymbol(symbol);
-                if (!areTypeParametersIdentical(declarations, type.localTypeParameters)) {
+                if (!areTypeParametersIdentical(declarations, type.localTypeParameters, ts.getEffectiveTypeParameterDeclarations)) {
                     // Report an error on every conflicting declaration.
                     var name = symbolToString(symbol);
-                    for (var _i = 0, declarations_6 = declarations; _i < declarations_6.length; _i++) {
-                        var declaration = declarations_6[_i];
+                    for (var _i = 0, declarations_7 = declarations; _i < declarations_7.length; _i++) {
+                        var declaration = declarations_7[_i];
                         error(declaration.name, ts.Diagnostics.All_declarations_of_0_must_have_identical_type_parameters, name);
                     }
                 }
             }
         }
-        function areTypeParametersIdentical(declarations, targetParameters) {
+        function areTypeParametersIdentical(declarations, targetParameters, getTypeParameterDeclarations) {
             var maxTypeArgumentCount = ts.length(targetParameters);
             var minTypeArgumentCount = getMinTypeArgumentCount(targetParameters);
-            for (var _i = 0, declarations_7 = declarations; _i < declarations_7.length; _i++) {
-                var declaration = declarations_7[_i];
+            for (var _i = 0, declarations_8 = declarations; _i < declarations_8.length; _i++) {
+                var declaration = declarations_8[_i];
                 // If this declaration has too few or too many type parameters, we report an error
-                var sourceParameters = ts.getEffectiveTypeParameterDeclarations(declaration);
+                var sourceParameters = getTypeParameterDeclarations(declaration);
                 var numTypeParameters = sourceParameters.length;
                 if (numTypeParameters < minTypeArgumentCount || numTypeParameters > maxTypeArgumentCount) {
                     return false;
@@ -83258,7 +83654,7 @@ var ts;
             checkFunctionOrConstructorSymbol(symbol);
             checkClassForDuplicateDeclarations(node);
             // Only check for reserved static identifiers on non-ambient context.
-            var nodeInAmbientContext = !!(node.flags & 8388608 /* Ambient */);
+            var nodeInAmbientContext = !!(node.flags & 16777216 /* Ambient */);
             if (!nodeInAmbientContext) {
                 checkClassForStaticPropertyNameConflicts(node);
             }
@@ -83408,7 +83804,7 @@ var ts;
          */
         function checkMemberForOverrideModifier(node, staticType, baseStaticType, baseWithThis, type, typeWithThis, memberHasOverrideModifier, memberHasAbstractModifier, memberIsStatic, memberIsParameterProperty, memberName, errorNode) {
             var isJs = ts.isInJSFile(node);
-            var nodeInAmbientContext = !!(node.flags & 8388608 /* Ambient */);
+            var nodeInAmbientContext = !!(node.flags & 16777216 /* Ambient */);
             if (baseWithThis && (memberHasOverrideModifier || compilerOptions.noImplicitOverride)) {
                 var memberEscapedName = ts.escapeLeadingUnderscores(memberName);
                 var thisType = memberIsStatic ? staticType : typeWithThis;
@@ -83636,7 +84032,7 @@ var ts;
                                 && !(derived.flags & 33554432 /* Transient */)
                                 && !(baseDeclarationFlags & 128 /* Abstract */)
                                 && !(derivedDeclarationFlags & 128 /* Abstract */)
-                                && !((_b = derived.declarations) === null || _b === void 0 ? void 0 : _b.some(function (d) { return !!(d.flags & 8388608 /* Ambient */); }))) {
+                                && !((_b = derived.declarations) === null || _b === void 0 ? void 0 : _b.some(function (d) { return !!(d.flags & 16777216 /* Ambient */); }))) {
                                 var constructor = findConstructorDeclaration(ts.getClassLikeDeclarationOfSymbol(type.symbol));
                                 var propName = uninitialized.name;
                                 if (uninitialized.exclamationToken
@@ -83728,7 +84124,7 @@ var ts;
             return ok;
         }
         function checkPropertyInitialization(node) {
-            if (!strictNullChecks || !strictPropertyInitialization || node.flags & 8388608 /* Ambient */) {
+            if (!strictNullChecks || !strictPropertyInitialization || node.flags & 16777216 /* Ambient */) {
                 return;
             }
             var constructor = findConstructorDeclaration(node);
@@ -83865,7 +84261,7 @@ var ts;
             }
             // In ambient non-const numeric enum declarations, enum members without initializers are
             // considered computed members (as opposed to having auto-incremented values).
-            if (member.parent.flags & 8388608 /* Ambient */ && !ts.isEnumConst(member.parent) && getEnumKind(getSymbolOfNode(member.parent)) === 0 /* Numeric */) {
+            if (member.parent.flags & 16777216 /* Ambient */ && !ts.isEnumConst(member.parent) && getEnumKind(getSymbolOfNode(member.parent)) === 0 /* Numeric */) {
                 return undefined;
             }
             // If the member declaration specifies no value, the member is considered a constant enum member.
@@ -83897,7 +84293,7 @@ var ts;
             else if (isConstEnum) {
                 error(initializer, ts.Diagnostics.const_enum_member_initializers_can_only_contain_literal_values_and_other_computed_enum_values);
             }
-            else if (member.parent.flags & 8388608 /* Ambient */) {
+            else if (member.parent.flags & 16777216 /* Ambient */) {
                 error(initializer, ts.Diagnostics.In_ambient_enum_declarations_member_initializer_must_be_constant_expression);
             }
             else {
@@ -84065,11 +84461,11 @@ var ts;
         function getFirstNonAmbientClassOrFunctionDeclaration(symbol) {
             var declarations = symbol.declarations;
             if (declarations) {
-                for (var _i = 0, declarations_8 = declarations; _i < declarations_8.length; _i++) {
-                    var declaration = declarations_8[_i];
+                for (var _i = 0, declarations_9 = declarations; _i < declarations_9.length; _i++) {
+                    var declaration = declarations_9[_i];
                     if ((declaration.kind === 257 /* ClassDeclaration */ ||
                         (declaration.kind === 256 /* FunctionDeclaration */ && ts.nodeIsPresent(declaration.body))) &&
-                        !(declaration.flags & 8388608 /* Ambient */)) {
+                        !(declaration.flags & 16777216 /* Ambient */)) {
                         return declaration;
                     }
                 }
@@ -84100,7 +84496,7 @@ var ts;
             function checkModuleDeclarationDiagnostics() {
                 // Grammar checking
                 var isGlobalAugmentation = ts.isGlobalScopeAugmentation(node);
-                var inAmbientContext = node.flags & 8388608 /* Ambient */;
+                var inAmbientContext = node.flags & 16777216 /* Ambient */;
                 if (isGlobalAugmentation && !inAmbientContext) {
                     error(node.name, ts.Diagnostics.Augmentations_for_the_global_scope_should_have_declare_modifier_unless_they_appear_in_already_ambient_context);
                 }
@@ -84318,7 +84714,7 @@ var ts;
                 }
                 if (compilerOptions.isolatedModules
                     && !ts.isTypeOnlyImportOrExportDeclaration(node)
-                    && !(node.flags & 8388608 /* Ambient */)) {
+                    && !(node.flags & 16777216 /* Ambient */)) {
                     var typeOnlyAlias = getTypeOnlyAliasDeclaration(symbol);
                     var isType = !(target.flags & 111551 /* Value */);
                     if (isType || typeOnlyAlias) {
@@ -84364,7 +84760,7 @@ var ts;
             }
         }
         function isDeprecatedAliasedSymbol(symbol) {
-            return !!symbol.declarations && ts.every(symbol.declarations, function (d) { return !!(ts.getCombinedNodeFlags(d) & 134217728 /* Deprecated */); });
+            return !!symbol.declarations && ts.every(symbol.declarations, function (d) { return !!(ts.getCombinedNodeFlags(d) & 268435456 /* Deprecated */); });
         }
         function checkDeprecatedAliasedSymbol(symbol, location) {
             if (!(symbol.flags & 2097152 /* Alias */))
@@ -84493,7 +84889,7 @@ var ts;
                     }
                 }
                 else {
-                    if (moduleKind >= ts.ModuleKind.ES2015 && ts.getSourceFileOfNode(node).impliedNodeFormat === undefined && !node.isTypeOnly && !(node.flags & 8388608 /* Ambient */)) {
+                    if (moduleKind >= ts.ModuleKind.ES2015 && ts.getSourceFileOfNode(node).impliedNodeFormat === undefined && !node.isTypeOnly && !(node.flags & 16777216 /* Ambient */)) {
                         // Import equals declaration is deprecated in es6 or above
                         grammarErrorOnNode(node, ts.Diagnostics.Import_assignment_cannot_be_used_when_targeting_ECMAScript_modules_Consider_using_import_Asterisk_as_ns_from_mod_import_a_from_mod_import_d_from_mod_or_another_module_format_instead);
                     }
@@ -84519,7 +84915,7 @@ var ts;
                     ts.forEach(node.exportClause.elements, checkExportSpecifier);
                     var inAmbientExternalModule = node.parent.kind === 262 /* ModuleBlock */ && ts.isAmbientModule(node.parent.parent);
                     var inAmbientNamespaceDeclaration = !inAmbientExternalModule && node.parent.kind === 262 /* ModuleBlock */ &&
-                        !node.moduleSpecifier && node.flags & 8388608 /* Ambient */;
+                        !node.moduleSpecifier && node.flags & 16777216 /* Ambient */;
                     if (node.parent.kind !== 305 /* SourceFile */ && !inAmbientExternalModule && !inAmbientNamespaceDeclaration) {
                         error(node, ts.Diagnostics.Export_declarations_are_not_permitted_in_a_namespace);
                     }
@@ -84684,10 +85080,10 @@ var ts;
                 checkExpressionCached(node.expression);
             }
             checkExternalModuleExports(container);
-            if ((node.flags & 8388608 /* Ambient */) && !ts.isEntityNameExpression(node.expression)) {
+            if ((node.flags & 16777216 /* Ambient */) && !ts.isEntityNameExpression(node.expression)) {
                 grammarErrorOnNode(node.expression, ts.Diagnostics.The_expression_of_an_export_assignment_must_be_an_identifier_or_qualified_name_in_an_ambient_context);
             }
-            if (node.isExportEquals && !(node.flags & 8388608 /* Ambient */)) {
+            if (node.isExportEquals && !(node.flags & 16777216 /* Ambient */)) {
                 if (moduleKind >= ts.ModuleKind.ES2015 && ts.getSourceFileOfNode(node).impliedNodeFormat !== ts.ModuleKind.CommonJS) {
                     // export assignment is not supported in es6 modules
                     grammarErrorOnNode(node, ts.Diagnostics.Export_assignment_cannot_be_used_when_targeting_ECMAScript_modules_Consider_using_export_default_or_another_module_format_instead);
@@ -85063,6 +85459,9 @@ var ts;
                 case 226 /* ClassExpression */:
                     checkClassExpressionDeferred(node);
                     break;
+                case 163 /* TypeParameter */:
+                    checkTypeParameterDeferred(node);
+                    break;
                 case 279 /* JsxSelfClosingElement */:
                     checkJsxSelfClosingElementDeferred(node);
                     break;
@@ -85120,7 +85519,7 @@ var ts;
                     // This relies on the results of other lazy diagnostics, so must be computed after them
                     if (!node.isDeclarationFile && (compilerOptions.noUnusedLocals || compilerOptions.noUnusedParameters)) {
                         checkUnusedIdentifiers(getPotentiallyUnusedIdentifiers(node), function (containingNode, kind, diag) {
-                            if (!ts.containsParseError(containingNode) && unusedIsError(kind, !!(containingNode.flags & 8388608 /* Ambient */))) {
+                            if (!ts.containsParseError(containingNode) && unusedIsError(kind, !!(containingNode.flags & 16777216 /* Ambient */))) {
                                 diagnostics.add(diag);
                             }
                         });
@@ -85220,7 +85619,7 @@ var ts;
         }
         // Language service support
         function getSymbolsInScope(location, meaning) {
-            if (location.flags & 16777216 /* InWithStatement */) {
+            if (location.flags & 33554432 /* InWithStatement */) {
                 // We cannot answer semantic questions within a with block, do not proceed any further
                 return [];
             }
@@ -85570,7 +85969,7 @@ var ts;
             }
             var parent = node.parent;
             var grandParent = parent.parent;
-            if (node.flags & 16777216 /* InWithStatement */) {
+            if (node.flags & 33554432 /* InWithStatement */) {
                 // We cannot answer semantic questions within a with block, do not proceed any further
                 return undefined;
             }
@@ -85712,7 +86111,7 @@ var ts;
             if (ts.isSourceFile(node) && !ts.isExternalModule(node)) {
                 return errorType;
             }
-            if (node.flags & 16777216 /* InWithStatement */) {
+            if (node.flags & 33554432 /* InWithStatement */) {
                 // We cannot answer semantic questions within a with block, do not proceed any further
                 return errorType;
             }
@@ -85877,11 +86276,11 @@ var ts;
                 var _a = symbol, leftSpread = _a.leftSpread, rightSpread = _a.rightSpread, syntheticOrigin = _a.syntheticOrigin;
                 return leftSpread ? [leftSpread, rightSpread]
                     : syntheticOrigin ? [syntheticOrigin]
-                        : ts.singleElementArray(tryGetAliasTarget(symbol));
+                        : ts.singleElementArray(tryGetTarget(symbol));
             }
             return undefined;
         }
-        function tryGetAliasTarget(symbol) {
+        function tryGetTarget(symbol) {
             var target;
             var next = symbol;
             while (next = getSymbolLinks(next).target) {
@@ -86111,7 +86510,7 @@ var ts;
                 if (links === null || links === void 0 ? void 0 : links.referenced) {
                     return true;
                 }
-                var target = getSymbolLinks(symbol).target; // TODO: GH#18217
+                var target = getSymbolLinks(symbol).aliasTarget; // TODO: GH#18217
                 if (target && ts.getEffectiveModifierFlags(node) & 1 /* Export */ &&
                     target.flags & 111551 /* Value */ &&
                     (ts.shouldPreserveConstEnums(compilerOptions) || !isConstEnumOrConstEnumOnlyModule(target))) {
@@ -86159,11 +86558,6 @@ var ts;
                 !parameter.initializer &&
                 ts.hasSyntacticModifier(parameter, 16476 /* ParameterPropertyModifier */);
         }
-        function isOptionalUninitializedParameter(parameter) {
-            return !!strictNullChecks &&
-                isOptionalParameter(parameter) &&
-                !parameter.initializer;
-        }
         function isExpandoFunctionDeclaration(node) {
             var declaration = ts.getParseTreeNode(node, ts.isFunctionDeclaration);
             if (!declaration) {
@@ -86765,7 +87159,7 @@ var ts;
         function checkExternalEmitHelpers(location, helpers) {
             if ((requestedExternalEmitHelpers & helpers) !== helpers && compilerOptions.importHelpers) {
                 var sourceFile = ts.getSourceFileOfNode(location);
-                if (ts.isEffectiveExternalModule(sourceFile, compilerOptions) && !(location.flags & 8388608 /* Ambient */)) {
+                if (ts.isEffectiveExternalModule(sourceFile, compilerOptions) && !(location.flags & 16777216 /* Ambient */)) {
                     var helpersModule = resolveHelpersModule(sourceFile, location);
                     if (helpersModule !== unknownSymbol) {
                         var uncheckedHelpers = helpers & ~requestedExternalEmitHelpers;
@@ -87018,7 +87412,7 @@ var ts;
                         else if (node.kind === 164 /* Parameter */) {
                             return grammarErrorOnNode(modifier, ts.Diagnostics._0_modifier_cannot_appear_on_a_parameter, "declare");
                         }
-                        else if ((node.parent.flags & 8388608 /* Ambient */) && node.parent.kind === 262 /* ModuleBlock */) {
+                        else if ((node.parent.flags & 16777216 /* Ambient */) && node.parent.kind === 262 /* ModuleBlock */) {
                             return grammarErrorOnNode(modifier, ts.Diagnostics.A_declare_modifier_cannot_be_used_in_an_already_ambient_context);
                         }
                         else if (ts.isPrivateIdentifierClassElementDeclaration(node)) {
@@ -87064,7 +87458,7 @@ var ts;
                         if (flags & 256 /* Async */) {
                             return grammarErrorOnNode(modifier, ts.Diagnostics._0_modifier_already_seen, "async");
                         }
-                        else if (flags & 2 /* Ambient */ || node.parent.flags & 8388608 /* Ambient */) {
+                        else if (flags & 2 /* Ambient */ || node.parent.flags & 16777216 /* Ambient */) {
                             return grammarErrorOnNode(modifier, ts.Diagnostics._0_modifier_cannot_be_used_in_an_ambient_context, "async");
                         }
                         else if (node.kind === 164 /* Parameter */) {
@@ -87080,8 +87474,7 @@ var ts;
                     case 144 /* OutKeyword */:
                         var inOutFlag = modifier.kind === 101 /* InKeyword */ ? 32768 /* In */ : 65536 /* Out */;
                         var inOutText = modifier.kind === 101 /* InKeyword */ ? "in" : "out";
-                        if (node.kind !== 163 /* TypeParameter */ || (node.parent.kind !== 258 /* InterfaceDeclaration */ &&
-                            node.parent.kind !== 257 /* ClassDeclaration */ && node.parent.kind !== 259 /* TypeAliasDeclaration */)) {
+                        if (node.kind !== 163 /* TypeParameter */ || !(ts.isInterfaceDeclaration(node.parent) || ts.isClassLike(node.parent) || ts.isTypeAliasDeclaration(node.parent))) {
                             return grammarErrorOnNode(modifier, ts.Diagnostics._0_modifier_can_only_appear_on_a_type_parameter_of_a_class_interface_or_type_alias, inOutText);
                         }
                         if (flags & inOutFlag) {
@@ -87210,7 +87603,7 @@ var ts;
                     if (i !== (parameterCount - 1)) {
                         return grammarErrorOnNode(parameter.dotDotDotToken, ts.Diagnostics.A_rest_parameter_must_be_last_in_a_parameter_list);
                     }
-                    if (!(parameter.flags & 8388608 /* Ambient */)) { // Allow `...foo,` in ambient declarations; see GH#23070
+                    if (!(parameter.flags & 16777216 /* Ambient */)) { // Allow `...foo,` in ambient declarations; see GH#23070
                         checkGrammarForDisallowedTrailingComma(parameters, ts.Diagnostics.A_rest_parameter_or_binding_pattern_may_not_have_a_trailing_comma);
                     }
                     if (parameter.questionToken) {
@@ -87421,7 +87814,7 @@ var ts;
                 ts.Debug.assert(node.kind === 256 /* FunctionDeclaration */ ||
                     node.kind === 213 /* FunctionExpression */ ||
                     node.kind === 169 /* MethodDeclaration */);
-                if (node.flags & 8388608 /* Ambient */) {
+                if (node.flags & 16777216 /* Ambient */) {
                     return grammarErrorOnNode(node.asteriskToken, ts.Diagnostics.Generators_are_not_allowed_in_an_ambient_context);
                 }
                 if (!node.body) {
@@ -87659,7 +88052,7 @@ var ts;
             return false;
         }
         function checkGrammarAccessor(accessor) {
-            if (!(accessor.flags & 8388608 /* Ambient */) && (accessor.parent.kind !== 182 /* TypeLiteral */) && (accessor.parent.kind !== 258 /* InterfaceDeclaration */)) {
+            if (!(accessor.flags & 16777216 /* Ambient */) && (accessor.parent.kind !== 182 /* TypeLiteral */) && (accessor.parent.kind !== 258 /* InterfaceDeclaration */)) {
                 if (languageVersion < 1 /* ES5 */) {
                     return grammarErrorOnNode(accessor.name, ts.Diagnostics.Accessors_are_only_available_when_targeting_ECMAScript_5_and_higher);
                 }
@@ -87799,7 +88192,7 @@ var ts;
                 // However, property declarations disallow computed names in general,
                 // and accessors are not allowed in ambient contexts in general,
                 // so this error only really matters for methods.
-                if (node.flags & 8388608 /* Ambient */) {
+                if (node.flags & 16777216 /* Ambient */) {
                     return checkGrammarForInvalidDynamicName(node.name, ts.Diagnostics.A_computed_property_name_in_an_ambient_context_must_refer_to_an_expression_whose_type_is_a_literal_type_or_a_unique_symbol_type);
                 }
                 else if (node.kind === 169 /* MethodDeclaration */ && !node.body) {
@@ -87915,7 +88308,7 @@ var ts;
         }
         function checkGrammarVariableDeclaration(node) {
             if (node.parent.parent.kind !== 243 /* ForInStatement */ && node.parent.parent.kind !== 244 /* ForOfStatement */) {
-                if (node.flags & 8388608 /* Ambient */) {
+                if (node.flags & 16777216 /* Ambient */) {
                     checkAmbientInitializer(node);
                 }
                 else if (!node.initializer) {
@@ -87927,7 +88320,7 @@ var ts;
                     }
                 }
             }
-            if (node.exclamationToken && (node.parent.parent.kind !== 237 /* VariableStatement */ || !node.type || node.initializer || node.flags & 8388608 /* Ambient */)) {
+            if (node.exclamationToken && (node.parent.parent.kind !== 237 /* VariableStatement */ || !node.type || node.initializer || node.flags & 16777216 /* Ambient */)) {
                 var message = node.initializer
                     ? ts.Diagnostics.Declarations_with_initializers_cannot_also_have_definite_assignment_assertions
                     : !node.type
@@ -87936,7 +88329,7 @@ var ts;
                 return grammarErrorOnNode(node.exclamationToken, message);
             }
             if ((moduleKind < ts.ModuleKind.ES2015 || ts.getSourceFileOfNode(node).impliedNodeFormat === ts.ModuleKind.CommonJS) && moduleKind !== ts.ModuleKind.System &&
-                !(node.parent.parent.flags & 8388608 /* Ambient */) && ts.hasSyntacticModifier(node.parent.parent, 1 /* Export */)) {
+                !(node.parent.parent.flags & 16777216 /* Ambient */) && ts.hasSyntacticModifier(node.parent.parent, 1 /* Export */)) {
                 checkESModuleMarker(node.name);
             }
             var checkLetConstNames = (ts.isLet(node) || ts.isVarConst(node));
@@ -88113,11 +88506,11 @@ var ts;
                     return grammarErrorOnNode(node.initializer, ts.Diagnostics.A_type_literal_property_cannot_have_an_initializer);
                 }
             }
-            if (node.flags & 8388608 /* Ambient */) {
+            if (node.flags & 16777216 /* Ambient */) {
                 checkAmbientInitializer(node);
             }
             if (ts.isPropertyDeclaration(node) && node.exclamationToken && (!ts.isClassLike(node.parent) || !node.type || node.initializer ||
-                node.flags & 8388608 /* Ambient */ || ts.isStatic(node) || ts.hasAbstractModifier(node))) {
+                node.flags & 16777216 /* Ambient */ || ts.isStatic(node) || ts.hasAbstractModifier(node))) {
                 var message = node.initializer
                     ? ts.Diagnostics.Declarations_with_initializers_cannot_also_have_definite_assignment_assertions
                     : !node.type
@@ -88163,10 +88556,10 @@ var ts;
             return false;
         }
         function checkGrammarSourceFile(node) {
-            return !!(node.flags & 8388608 /* Ambient */) && checkGrammarTopLevelElementsForRequiredDeclareModifier(node);
+            return !!(node.flags & 16777216 /* Ambient */) && checkGrammarTopLevelElementsForRequiredDeclareModifier(node);
         }
         function checkGrammarStatementInAmbientContext(node) {
-            if (node.flags & 8388608 /* Ambient */) {
+            if (node.flags & 16777216 /* Ambient */) {
                 // Find containing block which is either Block, ModuleBlock, SourceFile
                 var links = getNodeLinks(node);
                 if (!links.hasReportedStatementInAmbientContext && (ts.isFunctionLike(node.parent) || ts.isAccessor(node.parent))) {
@@ -92284,7 +92677,7 @@ var ts;
             return !ts.nodeIsMissing(node.body);
         }
         function visitPropertyDeclaration(node) {
-            if (node.flags & 8388608 /* Ambient */ || ts.hasSyntacticModifier(node, 128 /* Abstract */)) {
+            if (node.flags & 16777216 /* Ambient */ || ts.hasSyntacticModifier(node, 128 /* Abstract */)) {
                 return undefined;
             }
             var updated = factory.updatePropertyDeclaration(node, 
@@ -92315,11 +92708,11 @@ var ts;
             }
             var statements = [];
             resumeLexicalEnvironment();
-            var indexAfterLastPrologueStatement = factory.copyPrologue(body.statements, statements, /*ensureUseStrict*/ false, visitor);
-            var superStatementIndex = ts.findSuperStatementIndex(body.statements, indexAfterLastPrologueStatement);
+            var prologueStatementCount = factory.copyPrologue(body.statements, statements, /*ensureUseStrict*/ false, visitor);
+            var superStatementIndex = ts.findSuperStatementIndex(body.statements, prologueStatementCount);
             // If there was a super call, visit existing statements up to and including it
             if (superStatementIndex >= 0) {
-                ts.addRange(statements, ts.visitNodes(body.statements, visitor, ts.isStatement, indexAfterLastPrologueStatement, superStatementIndex + 1 - indexAfterLastPrologueStatement));
+                ts.addRange(statements, ts.visitNodes(body.statements, visitor, ts.isStatement, prologueStatementCount, superStatementIndex + 1 - prologueStatementCount));
             }
             // Transform parameters into property assignments. Transforms this:
             //
@@ -92338,12 +92731,12 @@ var ts;
             if (superStatementIndex >= 0) {
                 ts.addRange(statements, parameterPropertyAssignments);
             }
-            // Since there was no super() call, parameter properties are the first statements in the constructor
+            // Since there was no super() call, parameter properties are the first statements in the constructor after any prologue statements
             else {
-                statements = ts.addRange(parameterPropertyAssignments, statements);
+                statements = __spreadArray(__spreadArray(__spreadArray([], statements.slice(0, prologueStatementCount), true), parameterPropertyAssignments, true), statements.slice(prologueStatementCount), true);
             }
-            // Add remaining statements from the body, skipping the super() call if it was found
-            ts.addRange(statements, ts.visitNodes(body.statements, visitor, ts.isStatement, superStatementIndex + 1));
+            // Add remaining statements from the body, skipping the super() call if it was found and any (already added) prologue statements
+            ts.addRange(statements, ts.visitNodes(body.statements, visitor, ts.isStatement, superStatementIndex + 1 + prologueStatementCount));
             // End the lexical environment.
             statements = factory.mergeLexicalEnvironment(statements, endLexicalEnvironment());
             var block = factory.createBlock(ts.setTextRange(factory.createNodeArray(statements), body.statements), /*multiLine*/ true);
@@ -99174,8 +99567,8 @@ var ts;
             // declarations may not be sorted by position.
             // pos should be the minimum* position over all nodes (that's not -1), end should be the maximum end over all nodes.
             var pos = -1, end = -1;
-            for (var _i = 0, declarations_9 = declarations; _i < declarations_9.length; _i++) {
-                var node = declarations_9[_i];
+            for (var _i = 0, declarations_10 = declarations; _i < declarations_10.length; _i++) {
+                var node = declarations_10[_i];
                 pos = pos === -1 ? node.pos : node.pos === -1 ? pos : Math.min(pos, node.pos);
                 end = Math.max(end, node.end);
             }
@@ -108107,6 +108500,10 @@ var ts;
             return factory.updateModifiers(statement, modifiers);
         }
         function transformTopLevelDeclaration(input) {
+            if (lateMarkedStatements) {
+                while (ts.orderedRemoveItem(lateMarkedStatements, input))
+                    ;
+            }
             if (shouldStripInternal(input))
                 return;
             switch (input.kind) {
@@ -108218,7 +108615,7 @@ var ts;
                         needsScopeFixMarker = false;
                         var statements = ts.visitNodes(inner.statements, visitDeclarationStatements);
                         var lateStatements = transformAndReplaceLatePaintedStatements(statements);
-                        if (input.flags & 8388608 /* Ambient */) {
+                        if (input.flags & 16777216 /* Ambient */) {
                             needsScopeFixMarker = false; // If it was `declare`'d everything is implicitly exported already, ignore late printed "privates"
                         }
                         // With the final list of statements, there are 3 possibilities:
@@ -109238,7 +109635,7 @@ var ts;
         addOutput(buildInfoPath);
     }
     function getOwnOutputFileNames(configFile, inputFileName, ignoreCase, addOutput, getCommonSourceDirectory) {
-        if (ts.fileExtensionIs(inputFileName, ".d.ts" /* Dts */))
+        if (ts.isDeclarationFileName(inputFileName))
             return;
         var js = getOutputJSFileName(inputFileName, configFile, ignoreCase, getCommonSourceDirectory);
         addOutput(js);
@@ -109283,7 +109680,7 @@ var ts;
     /*@internal*/
     function getCommonSourceDirectoryOfConfig(_a, ignoreCase) {
         var options = _a.options, fileNames = _a.fileNames;
-        return getCommonSourceDirectory(options, function () { return ts.filter(fileNames, function (file) { return !(options.noEmitForJsFiles && ts.fileExtensionIsOneOf(file, ts.supportedJSExtensionsFlat)) && !ts.fileExtensionIs(file, ".d.ts" /* Dts */); }); }, ts.getDirectoryPath(ts.normalizeSlashes(ts.Debug.checkDefined(options.configFilePath))), ts.createGetCanonicalFileName(!ignoreCase));
+        return getCommonSourceDirectory(options, function () { return ts.filter(fileNames, function (file) { return !(options.noEmitForJsFiles && ts.fileExtensionIsOneOf(file, ts.supportedJSExtensionsFlat)) && !ts.isDeclarationFileName(file); }); }, ts.getDirectoryPath(ts.normalizeSlashes(ts.Debug.checkDefined(options.configFilePath))), ts.createGetCanonicalFileName(!ignoreCase));
     }
     ts.getCommonSourceDirectoryOfConfig = getCommonSourceDirectoryOfConfig;
     /*@internal*/
@@ -109325,7 +109722,7 @@ var ts;
         var getCommonSourceDirectory = ts.memoize(function () { return getCommonSourceDirectoryOfConfig(configFile, ignoreCase); });
         for (var _a = 0, _b = configFile.fileNames; _a < _b.length; _a++) {
             var inputFileName = _b[_a];
-            if (ts.fileExtensionIs(inputFileName, ".d.ts" /* Dts */))
+            if (ts.isDeclarationFileName(inputFileName))
                 continue;
             var jsFilePath = getOutputJSFileName(inputFileName, configFile, ignoreCase, getCommonSourceDirectory);
             if (jsFilePath)
@@ -109866,6 +110263,9 @@ var ts;
         var currentParenthesizerRule;
         var _c = ts.performance.createTimerIf(extendedDiagnostics, "commentTime", "beforeComment", "afterComment"), enterComment = _c.enter, exitComment = _c.exit;
         var parenthesizer = ts.factory.parenthesizer;
+        var typeArgumentParenthesizerRuleSelector = {
+            select: function (index) { return index === 0 ? parenthesizer.parenthesizeLeadingTypeArgument : undefined; }
+        };
         var emitBinaryExpression = createEmitBinaryExpression();
         reset();
         return {
@@ -111078,7 +111478,7 @@ var ts;
             writePunctuation("}");
         }
         function emitArrayType(node) {
-            emit(node.elementType, parenthesizer.parenthesizeElementTypeOfArrayType);
+            emit(node.elementType, parenthesizer.parenthesizeNonArrayTypeOfPostfixType);
             writePunctuation("[");
             writePunctuation("]");
         }
@@ -111089,7 +111489,7 @@ var ts;
         function emitTupleType(node) {
             emitTokenWithComment(22 /* OpenBracketToken */, node.pos, writePunctuation, node);
             var flags = ts.getEmitFlags(node) & 1 /* SingleLine */ ? 528 /* SingleLineTupleTypeElements */ : 657 /* MultiLineTupleTypeElements */;
-            emitList(node, node.elements, flags | 524288 /* NoSpaceIfEmpty */);
+            emitList(node, node.elements, flags | 524288 /* NoSpaceIfEmpty */, parenthesizer.parenthesizeElementTypeOfTupleType);
             emitTokenWithComment(23 /* CloseBracketToken */, node.elements.end, writePunctuation, node);
         }
         function emitNamedTupleMember(node) {
@@ -111101,21 +111501,21 @@ var ts;
             emit(node.type);
         }
         function emitOptionalType(node) {
-            emit(node.type, parenthesizer.parenthesizeElementTypeOfArrayType);
+            emit(node.type, parenthesizer.parenthesizeTypeOfOptionalType);
             writePunctuation("?");
         }
         function emitUnionType(node) {
-            emitList(node, node.types, 516 /* UnionTypeConstituents */, parenthesizer.parenthesizeMemberOfElementType);
+            emitList(node, node.types, 516 /* UnionTypeConstituents */, parenthesizer.parenthesizeConstituentTypeOfUnionType);
         }
         function emitIntersectionType(node) {
-            emitList(node, node.types, 520 /* IntersectionTypeConstituents */, parenthesizer.parenthesizeMemberOfElementType);
+            emitList(node, node.types, 520 /* IntersectionTypeConstituents */, parenthesizer.parenthesizeConstituentTypeOfIntersectionType);
         }
         function emitConditionalType(node) {
-            emit(node.checkType, parenthesizer.parenthesizeMemberOfConditionalType);
+            emit(node.checkType, parenthesizer.parenthesizeCheckTypeOfConditionalType);
             writeSpace();
             writeKeyword("extends");
             writeSpace();
-            emit(node.extendsType, parenthesizer.parenthesizeMemberOfConditionalType);
+            emit(node.extendsType, parenthesizer.parenthesizeExtendsTypeOfConditionalType);
             writeSpace();
             writePunctuation("?");
             writeSpace();
@@ -111141,10 +111541,13 @@ var ts;
         function emitTypeOperator(node) {
             writeTokenText(node.operator, writeKeyword);
             writeSpace();
-            emit(node.type, parenthesizer.parenthesizeMemberOfElementType);
+            var parenthesizerRule = node.operator === 145 /* ReadonlyKeyword */ ?
+                parenthesizer.parenthesizeOperandOfReadonlyTypeOperator :
+                parenthesizer.parenthesizeOperandOfTypeOperator;
+            emit(node.type, parenthesizerRule);
         }
         function emitIndexedAccessType(node) {
-            emit(node.objectType, parenthesizer.parenthesizeMemberOfElementType);
+            emit(node.objectType, parenthesizer.parenthesizeNonArrayTypeOfPostfixType);
             writePunctuation("[");
             emit(node.indexType);
             writePunctuation("]");
@@ -112878,7 +113281,7 @@ var ts;
             emitList(parentNode, decorators, 2146305 /* Decorators */);
         }
         function emitTypeArguments(parentNode, typeArguments) {
-            emitList(parentNode, typeArguments, 53776 /* TypeArguments */, parenthesizer.parenthesizeMemberOfElementType);
+            emitList(parentNode, typeArguments, 53776 /* TypeArguments */, typeArgumentParenthesizerRuleSelector);
         }
         function emitTypeParameters(parentNode, typeParameters) {
             if (ts.isFunctionLike(parentNode) && parentNode.typeArguments) { // Quick info uses type arguments in place of type parameters on instantiated signatures
@@ -112997,6 +113400,7 @@ var ts;
                 if (format & 128 /* Indented */) {
                     increaseIndent();
                 }
+                var emitListItem = getEmitListItem(emit, parenthesizerRule);
                 // Emit each child.
                 var previousSibling = void 0;
                 var previousSourceFileTextKind = void 0;
@@ -113047,12 +113451,7 @@ var ts;
                         shouldEmitInterveningComments = mayEmitInterveningComments;
                     }
                     nextListElementPos = child.pos;
-                    if (emit.length === 1) {
-                        emit(child);
-                    }
-                    else {
-                        emit(child, parenthesizerRule);
-                    }
+                    emitListItem(child, emit, parenthesizerRule, i);
                     if (shouldDecreaseIndentAfterEmit) {
                         decreaseIndent();
                         shouldDecreaseIndentAfterEmit = false;
@@ -114293,6 +114692,20 @@ var ts;
         TempFlags[TempFlags["CountMask"] = 268435455] = "CountMask";
         TempFlags[TempFlags["_i"] = 268435456] = "_i";
     })(TempFlags || (TempFlags = {}));
+    function emitListItemNoParenthesizer(node, emit, _parenthesizerRule, _index) {
+        emit(node);
+    }
+    function emitListItemWithParenthesizerRuleSelector(node, emit, parenthesizerRuleSelector, index) {
+        emit(node, parenthesizerRuleSelector.select(index));
+    }
+    function emitListItemWithParenthesizerRule(node, emit, parenthesizerRule, _index) {
+        emit(node, parenthesizerRule);
+    }
+    function getEmitListItem(emit, parenthesizerRule) {
+        return emit.length === 1 ? emitListItemNoParenthesizer :
+            typeof parenthesizerRule === "object" ? emitListItemWithParenthesizerRuleSelector :
+                emitListItemWithParenthesizerRule;
+    }
 })(ts || (ts = {}));
 /* @internal */
 var ts;
@@ -114659,7 +115072,7 @@ var ts;
         if (ts.outFile(options) || options.outDir)
             return false;
         // File if emitted next to input needs to be ignored
-        if (ts.fileExtensionIs(fileOrDirectoryPath, ".d.ts" /* Dts */)) {
+        if (ts.isDeclarationFileName(fileOrDirectoryPath)) {
             // If its declaration directory: its not ignored if not excluded by config
             if (options.declarationDir)
                 return false;
@@ -115832,7 +116245,7 @@ var ts;
                                 var getCommonSourceDirectory_2 = ts.memoize(function () { return ts.getCommonSourceDirectoryOfConfig(parsedRef.commandLine, !host.useCaseSensitiveFileNames()); });
                                 for (var _b = 0, _c = parsedRef.commandLine.fileNames; _b < _c.length; _b++) {
                                     var fileName = _c[_b];
-                                    if (!ts.fileExtensionIs(fileName, ".d.ts" /* Dts */) && !ts.fileExtensionIs(fileName, ".json" /* Json */)) {
+                                    if (!ts.isDeclarationFileName(fileName) && !ts.fileExtensionIs(fileName, ".json" /* Json */)) {
                                         processProjectReferenceFile(ts.getOutputDeclarationFileName(fileName, parsedRef.commandLine, !host.useCaseSensitiveFileNames(), getCommonSourceDirectory_2), { kind: ts.FileIncludeKind.OutputFromProjectReference, index: index });
                                     }
                                 }
@@ -116023,7 +116436,7 @@ var ts;
         }
         function getRedirectReferenceForResolution(file) {
             var redirect = getResolvedProjectReferenceToRedirect(file.originalFileName);
-            if (redirect || !ts.fileExtensionIsOneOf(file.originalFileName, [".d.ts" /* Dts */, ".d.cts" /* Dcts */, ".d.mts" /* Dmts */]))
+            if (redirect || !ts.isDeclarationFileName(file.originalFileName))
                 return redirect;
             // The originalFileName could not be actual source file name if file found was d.ts from referecned project
             // So in this case try to look up if this is output from referenced project, if it is use the redirected project in that case
@@ -116359,7 +116772,7 @@ var ts;
                         // moduleAugmentations has changed
                         structureIsReused = 1 /* SafeModules */;
                     }
-                    if ((oldSourceFile.flags & 3145728 /* PermanentlySetIncrementalFlags */) !== (newSourceFile.flags & 3145728 /* PermanentlySetIncrementalFlags */)) {
+                    if ((oldSourceFile.flags & 6291456 /* PermanentlySetIncrementalFlags */) !== (newSourceFile.flags & 6291456 /* PermanentlySetIncrementalFlags */)) {
                         // dynamicImport has changed
                         structureIsReused = 1 /* SafeModules */;
                     }
@@ -116523,6 +116936,9 @@ var ts;
             return !!sourceFilesFoundSearchingNodeModules.get(file.path);
         }
         function isSourceFileDefaultLibrary(file) {
+            if (!file.isDeclarationFile) {
+                return false;
+            }
             if (file.hasNoDefaultLib) {
                 return true;
             }
@@ -117034,7 +117450,7 @@ var ts;
                 var node = _a[_i];
                 collectModuleReferences(node, /*inAmbientModule*/ false);
             }
-            if ((file.flags & 1048576 /* PossiblyContainsDynamicImport */) || isJavaScriptFile) {
+            if ((file.flags & 2097152 /* PossiblyContainsDynamicImport */) || isJavaScriptFile) {
                 collectDynamicImportOrRequireCalls(file);
             }
             file.imports = imports || ts.emptyArray;
@@ -117411,7 +117827,7 @@ var ts;
         }
         function getProjectReferenceRedirectProject(fileName) {
             // Ignore dts or any json files
-            if (!resolvedProjectReferences || !resolvedProjectReferences.length || ts.fileExtensionIs(fileName, ".d.ts" /* Dts */) || ts.fileExtensionIs(fileName, ".json" /* Json */)) {
+            if (!resolvedProjectReferences || !resolvedProjectReferences.length || ts.isDeclarationFileName(fileName) || ts.fileExtensionIs(fileName, ".json" /* Json */)) {
                 return undefined;
             }
             // If this file is produced by a referenced project, we need to rewrite it to
@@ -117460,7 +117876,7 @@ var ts;
                     else {
                         var getCommonSourceDirectory_3 = ts.memoize(function () { return ts.getCommonSourceDirectoryOfConfig(resolvedRef.commandLine, !host.useCaseSensitiveFileNames()); });
                         ts.forEach(resolvedRef.commandLine.fileNames, function (fileName) {
-                            if (!ts.fileExtensionIs(fileName, ".d.ts" /* Dts */) && !ts.fileExtensionIs(fileName, ".json" /* Json */)) {
+                            if (!ts.isDeclarationFileName(fileName) && !ts.fileExtensionIs(fileName, ".json" /* Json */)) {
                                 var outputDts = ts.getOutputDeclarationFileName(fileName, resolvedRef.commandLine, !host.useCaseSensitiveFileNames(), getCommonSourceDirectory_3);
                                 mapFromToProjectReferenceRedirectSource.set(toPath(outputDts), fileName);
                             }
@@ -117632,7 +118048,7 @@ var ts;
                         && index < file.imports.length
                         && !elideImport
                         && !(isJsFile && !ts.getAllowJSCompilerOption(optionsForFile))
-                        && (ts.isInJSFile(file.imports[index]) || !(file.imports[index].flags & 4194304 /* JSDoc */));
+                        && (ts.isInJSFile(file.imports[index]) || !(file.imports[index].flags & 8388608 /* JSDoc */));
                     if (elideImport) {
                         modulesWithElidedImports.set(file.path, true);
                     }
@@ -118261,7 +118677,7 @@ var ts;
             if (options.outDir) {
                 return ts.containsPath(options.outDir, filePath, currentDirectory, !host.useCaseSensitiveFileNames());
             }
-            if (ts.fileExtensionIsOneOf(filePath, ts.supportedJSExtensionsFlat) || ts.fileExtensionIs(filePath, ".d.ts" /* Dts */)) {
+            if (ts.fileExtensionIsOneOf(filePath, ts.supportedJSExtensionsFlat) || ts.isDeclarationFileName(filePath)) {
                 // Otherwise just check if sourceFile with the name exists
                 var filePathWithoutExtension = ts.removeFileExtension(filePath);
                 return !!getSourceFileByPath((filePathWithoutExtension + ".ts" /* Ts */)) ||
@@ -118887,7 +119303,7 @@ var ts;
                 /*forceDtsEmit*/ true);
                 var firstDts_1 = ts.firstOrUndefined(emitOutput_1.outputFiles);
                 if (firstDts_1) {
-                    ts.Debug.assert(ts.fileExtensionIsOneOf(firstDts_1.name, [".d.ts" /* Dts */, ".d.mts" /* Dmts */, ".d.cts" /* Dcts */]), "File extension for signature expected to be dts", function () { return "Found: " + ts.getAnyExtensionFromPath(firstDts_1.name) + " for " + firstDts_1.name + ":: All output files: " + JSON.stringify(emitOutput_1.outputFiles.map(function (f) { return f.name; })); });
+                    ts.Debug.assert(ts.isDeclarationFileName(firstDts_1.name), "File extension for signature expected to be dts", function () { return "Found: " + ts.getAnyExtensionFromPath(firstDts_1.name) + " for " + firstDts_1.name + ":: All output files: " + JSON.stringify(emitOutput_1.outputFiles.map(function (f) { return f.name; })); });
                     latestSignature = (computeHash || ts.generateDjb2Hash)(firstDts_1.text);
                     if (exportedModulesMapCache && latestSignature !== prevSignature) {
                         updateExportedModules(sourceFile, emitOutput_1.exportedModulesFromDeclarationEmit, exportedModulesMapCache);
@@ -119292,7 +119708,7 @@ var ts;
      * This is to allow the callers to be able to actually remove affected file only when the operation is complete
      * eg. if during diagnostics check cancellation token ends up cancelling the request, the affected file should be retained
      */
-    function getNextAffectedFile(state, cancellationToken, computeHash) {
+    function getNextAffectedFile(state, cancellationToken, computeHash, host) {
         while (true) {
             var affectedFiles = state.affectedFiles;
             if (affectedFiles) {
@@ -119303,7 +119719,7 @@ var ts;
                     if (!seenAffectedFiles.has(affectedFile.resolvedPath)) {
                         // Set the next affected file as seen and remove the cached semantic diagnostics
                         state.affectedFilesIndex = affectedFilesIndex;
-                        handleDtsMayChangeOfAffectedFile(state, affectedFile, cancellationToken, computeHash);
+                        handleDtsMayChangeOfAffectedFile(state, affectedFile, cancellationToken, computeHash, host);
                         return affectedFile;
                     }
                     affectedFilesIndex++;
@@ -119344,6 +119760,11 @@ var ts;
                 state.seenAffectedFiles = new ts.Set();
         }
     }
+    function clearAffectedFilesPendingEmit(state) {
+        state.affectedFilesPendingEmit = undefined;
+        state.affectedFilesPendingEmitKind = undefined;
+        state.affectedFilesPendingEmitIndex = undefined;
+    }
     /**
      * Returns next file to be emitted from files that retrieved semantic diagnostics but did not emit yet
      */
@@ -119363,9 +119784,7 @@ var ts;
                     }
                 }
             }
-            state.affectedFilesPendingEmit = undefined;
-            state.affectedFilesPendingEmitKind = undefined;
-            state.affectedFilesPendingEmitIndex = undefined;
+            clearAffectedFilesPendingEmit(state);
         }
         return undefined;
     }
@@ -119373,7 +119792,7 @@ var ts;
      *  Handles semantic diagnostics and dts emit for affectedFile and files, that are referencing modules that export entities from affected file
      *  This is because even though js emit doesnt change, dts emit / type used can change resulting in need for dts emit and js change
      */
-    function handleDtsMayChangeOfAffectedFile(state, affectedFile, cancellationToken, computeHash) {
+    function handleDtsMayChangeOfAffectedFile(state, affectedFile, cancellationToken, computeHash, host) {
         var _a;
         removeSemanticDiagnosticsOf(state, affectedFile.resolvedPath);
         // If affected files is everything except default library, then nothing more to do
@@ -119398,14 +119817,14 @@ var ts;
             ts.Debug.assert(state.hasCalledUpdateShapeSignature.has(affectedFile.resolvedPath) || ((_a = state.currentAffectedFilesSignatures) === null || _a === void 0 ? void 0 : _a.has(affectedFile.resolvedPath)), "Signature not updated for affected file: " + affectedFile.fileName);
         }
         if (!state.compilerOptions.assumeChangesOnlyAffectDirectDependencies) {
-            forEachReferencingModulesOfExportOfAffectedFile(state, affectedFile, function (state, path) { return handleDtsMayChangeOf(state, path, cancellationToken, computeHash); });
+            forEachReferencingModulesOfExportOfAffectedFile(state, affectedFile, function (state, path) { return handleDtsMayChangeOf(state, path, cancellationToken, computeHash, host); });
         }
     }
     /**
      * Handle the dts may change, so they need to be added to pending emit if dts emit is enabled,
      * Also we need to make sure signature is updated for these files
      */
-    function handleDtsMayChangeOf(state, path, cancellationToken, computeHash) {
+    function handleDtsMayChangeOf(state, path, cancellationToken, computeHash, host) {
         removeSemanticDiagnosticsOf(state, path);
         if (!state.changedFilesSet.has(path)) {
             var program = ts.Debug.checkDefined(state.program);
@@ -119416,8 +119835,7 @@ var ts;
                 // This ensures that we dont later during incremental builds considering wrong signature.
                 // Eg where this also is needed to ensure that .tsbuildinfo generated by incremental build should be same as if it was first fresh build
                 // But we avoid expensive full shape computation, as using file version as shape is enough for correctness.
-                ts.BuilderState.updateShapeSignature(state, program, sourceFile, ts.Debug.checkDefined(state.currentAffectedFilesSignatures), cancellationToken, computeHash, state.currentAffectedFilesExportedModulesMap, 
-                /* useFileVersionAsSignature */ true);
+                ts.BuilderState.updateShapeSignature(state, program, sourceFile, ts.Debug.checkDefined(state.currentAffectedFilesSignatures), cancellationToken, computeHash, state.currentAffectedFilesExportedModulesMap, !host.disableUseFileVersionAsSignature);
                 // If not dts emit, nothing more to do
                 if (ts.getEmitDeclarations(state.compilerOptions)) {
                     addToAffectedFilesPendingEmit(state, path, 0 /* DtsOnly */);
@@ -119614,13 +120032,18 @@ var ts;
             var signature = state.currentAffectedFilesSignatures && state.currentAffectedFilesSignatures.get(key);
             var actualSignature = signature !== null && signature !== void 0 ? signature : value.signature;
             return value.version === actualSignature ?
-                value.affectsGlobalScope ?
-                    { version: value.version, signature: undefined, affectsGlobalScope: true, impliedFormat: value.impliedFormat } :
+                value.affectsGlobalScope || value.impliedFormat ?
+                    // If file version is same as signature, dont serialize signature
+                    { version: value.version, signature: undefined, affectsGlobalScope: value.affectsGlobalScope, impliedFormat: value.impliedFormat } :
+                    // If file info only contains version and signature and both are same we can just write string
                     value.version :
-                actualSignature !== undefined ?
+                actualSignature !== undefined ? // If signature is not same as version, encode signature in the fileInfo
                     signature === undefined ?
+                        // If we havent computed signature, use fileInfo as is
                         value :
+                        // Serialize fileInfo with new updated signature
                         { version: value.version, signature: signature, affectsGlobalScope: value.affectsGlobalScope, impliedFormat: value.impliedFormat } :
+                    // Signature of the FileInfo is undefined, serialize it as false
                     { version: value.version, signature: false, affectsGlobalScope: value.affectsGlobalScope, impliedFormat: value.impliedFormat };
         });
         var referencedMap;
@@ -119865,7 +120288,7 @@ var ts;
          * in that order would be used to write the files
          */
         function emitNextAffectedFile(writeFile, cancellationToken, emitOnlyDtsFiles, customTransformers) {
-            var affected = getNextAffectedFile(state, cancellationToken, computeHash);
+            var affected = getNextAffectedFile(state, cancellationToken, computeHash, host);
             var emitKind = 1 /* Full */;
             var isPendingEmitFile = false;
             if (!affected) {
@@ -119910,54 +120333,48 @@ var ts;
          * in that order would be used to write the files
          */
         function emit(targetSourceFile, writeFile, cancellationToken, emitOnlyDtsFiles, customTransformers) {
-            var restorePendingEmitOnHandlingNoEmitSuccess = false;
-            var savedAffectedFilesPendingEmit;
-            var savedAffectedFilesPendingEmitKind;
-            var savedAffectedFilesPendingEmitIndex;
-            // Backup and restore affected pendings emit state for non emit Builder if noEmitOnError is enabled and emitBuildInfo could be written in case there are errors
-            // This ensures pending files to emit is updated in tsbuildinfo
-            // Note that when there are no errors, emit proceeds as if everything is emitted as it is callers reponsibility to write the files to disk if at all (because its builder that doesnt track files to emit)
-            if (kind !== BuilderProgramKind.EmitAndSemanticDiagnosticsBuilderProgram &&
-                !targetSourceFile &&
-                !ts.outFile(state.compilerOptions) &&
-                !state.compilerOptions.noEmit &&
-                state.compilerOptions.noEmitOnError) {
-                restorePendingEmitOnHandlingNoEmitSuccess = true;
-                savedAffectedFilesPendingEmit = state.affectedFilesPendingEmit && state.affectedFilesPendingEmit.slice();
-                savedAffectedFilesPendingEmitKind = state.affectedFilesPendingEmitKind && new ts.Map(state.affectedFilesPendingEmitKind);
-                savedAffectedFilesPendingEmitIndex = state.affectedFilesPendingEmitIndex;
-            }
+            var _a;
             if (kind === BuilderProgramKind.EmitAndSemanticDiagnosticsBuilderProgram) {
                 assertSourceFileOkWithoutNextAffectedCall(state, targetSourceFile);
             }
             var result = ts.handleNoEmitOptions(builderProgram, targetSourceFile, writeFile, cancellationToken);
             if (result)
                 return result;
-            if (restorePendingEmitOnHandlingNoEmitSuccess) {
-                state.affectedFilesPendingEmit = savedAffectedFilesPendingEmit;
-                state.affectedFilesPendingEmitKind = savedAffectedFilesPendingEmitKind;
-                state.affectedFilesPendingEmitIndex = savedAffectedFilesPendingEmitIndex;
-            }
             // Emit only affected files if using builder for emit
-            if (!targetSourceFile && kind === BuilderProgramKind.EmitAndSemanticDiagnosticsBuilderProgram) {
-                // Emit and report any errors we ran into.
-                var sourceMaps = [];
-                var emitSkipped = false;
-                var diagnostics = void 0;
-                var emittedFiles = [];
-                var affectedEmitResult = void 0;
-                while (affectedEmitResult = emitNextAffectedFile(writeFile, cancellationToken, emitOnlyDtsFiles, customTransformers)) {
-                    emitSkipped = emitSkipped || affectedEmitResult.result.emitSkipped;
-                    diagnostics = ts.addRange(diagnostics, affectedEmitResult.result.diagnostics);
-                    emittedFiles = ts.addRange(emittedFiles, affectedEmitResult.result.emittedFiles);
-                    sourceMaps = ts.addRange(sourceMaps, affectedEmitResult.result.sourceMaps);
+            if (!targetSourceFile) {
+                if (kind === BuilderProgramKind.EmitAndSemanticDiagnosticsBuilderProgram) {
+                    // Emit and report any errors we ran into.
+                    var sourceMaps = [];
+                    var emitSkipped = false;
+                    var diagnostics = void 0;
+                    var emittedFiles = [];
+                    var affectedEmitResult = void 0;
+                    while (affectedEmitResult = emitNextAffectedFile(writeFile, cancellationToken, emitOnlyDtsFiles, customTransformers)) {
+                        emitSkipped = emitSkipped || affectedEmitResult.result.emitSkipped;
+                        diagnostics = ts.addRange(diagnostics, affectedEmitResult.result.diagnostics);
+                        emittedFiles = ts.addRange(emittedFiles, affectedEmitResult.result.emittedFiles);
+                        sourceMaps = ts.addRange(sourceMaps, affectedEmitResult.result.sourceMaps);
+                    }
+                    return {
+                        emitSkipped: emitSkipped,
+                        diagnostics: diagnostics || ts.emptyArray,
+                        emittedFiles: emittedFiles,
+                        sourceMaps: sourceMaps
+                    };
+                }
+                // In non Emit builder, clear affected files pending emit
+                else if ((_a = state.affectedFilesPendingEmitKind) === null || _a === void 0 ? void 0 : _a.size) {
+                    ts.Debug.assert(kind === BuilderProgramKind.SemanticDiagnosticsBuilderProgram);
+                    // State can clear affected files pending emit if
+                    if (!emitOnlyDtsFiles // If we are doing complete emit, affected files pending emit can be cleared
+                        // If every file pending emit is pending on only dts emit
+                        || ts.every(state.affectedFilesPendingEmit, function (path, index) {
+                            return index < state.affectedFilesPendingEmitIndex ||
+                                state.affectedFilesPendingEmitKind.get(path) === 0 /* DtsOnly */;
+                        })) {
+                        clearAffectedFilesPendingEmit(state);
+                    }
                 }
-                return {
-                    emitSkipped: emitSkipped,
-                    diagnostics: diagnostics || ts.emptyArray,
-                    emittedFiles: emittedFiles,
-                    sourceMaps: sourceMaps
-                };
             }
             return ts.Debug.checkDefined(state.program).emit(targetSourceFile, writeFile || ts.maybeBind(host, host.writeFile), cancellationToken, emitOnlyDtsFiles, customTransformers);
         }
@@ -119967,7 +120384,7 @@ var ts;
          */
         function getSemanticDiagnosticsOfNextAffectedFile(cancellationToken, ignoreSourceFile) {
             while (true) {
-                var affected = getNextAffectedFile(state, cancellationToken, computeHash);
+                var affected = getNextAffectedFile(state, cancellationToken, computeHash, host);
                 if (!affected) {
                     // Done
                     return undefined;
@@ -123087,9 +123504,6 @@ var ts;
     function newer(date1, date2) {
         return date2 > date1 ? date2 : date1;
     }
-    function isDeclarationFile(fileName) {
-        return ts.fileExtensionIs(fileName, ".d.ts" /* Dts */);
-    }
     /*@internal*/
     function isCircularBuildOrder(buildOrder) {
         return !!buildOrder && !!buildOrder.buildOrder;
@@ -123652,7 +124066,7 @@ var ts;
             outputFiles.forEach(function (_a) {
                 var name = _a.name, text = _a.text, writeByteOrderMark = _a.writeByteOrderMark;
                 var priorChangeTime;
-                if (!anyDtsChanged && isDeclarationFile(name)) {
+                if (!anyDtsChanged && ts.isDeclarationFileName(name)) {
                     // Check for unchanged .d.ts files
                     if (host.fileExists(name) && state.readFileWithCache(name) === text) {
                         priorChangeTime = host.getModifiedTime(name);
@@ -123993,7 +124407,7 @@ var ts;
                 // In addition to file timestamps, we also keep track of when a .d.ts file
                 // had its file touched but not had its contents changed - this allows us
                 // to skip a downstream typecheck
-                if (isDeclarationFile(output)) {
+                if (ts.isDeclarationFileName(output)) {
                     var outputModifiedTime = ts.getModifiedTime(host, output);
                     newestDeclarationFileContentChangedTime = newer(newestDeclarationFileContentChangedTime, outputModifiedTime);
                 }
@@ -124147,7 +124561,7 @@ var ts;
                     reportVerbose = false;
                     reportStatus(state, verboseMessage, proj.options.configFilePath);
                 }
-                if (isDeclarationFile(file)) {
+                if (ts.isDeclarationFileName(file)) {
                     priorNewestUpdateTime = newer(priorNewestUpdateTime, ts.getModifiedTime(host, file));
                 }
                 host.setModifiedTime(file, now);
@@ -126499,7 +126913,7 @@ var ts;
             result.push("export" /* exportedModifier */);
         if (flags & 8192 /* Deprecated */)
             result.push("deprecated" /* deprecatedModifier */);
-        if (node.flags & 8388608 /* Ambient */)
+        if (node.flags & 16777216 /* Ambient */)
             result.push("declare" /* ambientModifier */);
         if (node.kind === 271 /* ExportAssignment */)
             result.push("export" /* exportedModifier */);
@@ -131042,17 +131456,13 @@ var ts;
                 }
             }
             if (origin && originIsObjectLiteralMethod(origin)) {
-                var importAdder = void 0;
-                (insertText = origin.insertText, isSnippet = origin.isSnippet, importAdder = origin.importAdder, labelDetails = origin.labelDetails);
+                (insertText = origin.insertText, isSnippet = origin.isSnippet, labelDetails = origin.labelDetails);
                 if (!preferences.useLabelDetailsInCompletionEntries) {
                     name = name + labelDetails.detail;
                     labelDetails = undefined;
                 }
                 source = CompletionSource.ObjectLiteralMethodSnippet;
                 sortText = Completions.SortText.SortBelow(sortText);
-                if (importAdder.hasFixes()) {
-                    hasAction = true;
-                }
             }
             if (isJsxIdentifierExpected && !isRightOfOpenTag && preferences.includeCompletionsWithSnippetText && preferences.jsxAttributeCompletionStyle && preferences.jsxAttributeCompletionStyle !== "none") {
                 var useBraces_1 = preferences.jsxAttributeCompletionStyle === "braces";
@@ -131275,8 +131685,7 @@ var ts;
             var isSnippet = preferences.includeCompletionsWithSnippetText || undefined;
             var insertText = name;
             var sourceFile = enclosingDeclaration.getSourceFile();
-            var importAdder = ts.codefix.createImportAdder(sourceFile, program, preferences, host);
-            var method = createObjectLiteralMethod(symbol, enclosingDeclaration, sourceFile, program, host, preferences, importAdder);
+            var method = createObjectLiteralMethod(symbol, enclosingDeclaration, sourceFile, program, host, preferences);
             if (!method) {
                 return undefined;
             }
@@ -131305,16 +131714,15 @@ var ts;
             /*modifiers*/ undefined, 
             /*name*/ "", method.questionToken, method.typeParameters, method.parameters, method.type);
             var labelDetails = { detail: signaturePrinter.printNode(4 /* Unspecified */, methodSignature, sourceFile) };
-            return { isSnippet: isSnippet, insertText: insertText, importAdder: importAdder, labelDetails: labelDetails };
+            return { isSnippet: isSnippet, insertText: insertText, labelDetails: labelDetails };
         }
         ;
-        function createObjectLiteralMethod(symbol, enclosingDeclaration, sourceFile, program, host, preferences, importAdder) {
+        function createObjectLiteralMethod(symbol, enclosingDeclaration, sourceFile, program, host, preferences) {
             var declarations = symbol.getDeclarations();
             if (!(declarations && declarations.length)) {
                 return undefined;
             }
             var checker = program.getTypeChecker();
-            var scriptTarget = ts.getEmitScriptTarget(program.getCompilerOptions());
             var declaration = declarations[0];
             var name = ts.getSynthesizedDeepClone(ts.getNameOfDeclaration(declaration), /*includeTrivia*/ false);
             var type = checker.getWidenedType(checker.getTypeOfSymbolAtLocation(symbol, enclosingDeclaration));
@@ -131347,11 +131755,6 @@ var ts;
                     if (!typeNode || !ts.isFunctionTypeNode(typeNode)) {
                         return undefined;
                     }
-                    var importableReference = ts.codefix.tryGetAutoImportableReferenceFromTypeNode(typeNode, scriptTarget);
-                    if (importableReference) {
-                        typeNode = importableReference.typeNode;
-                        ts.codefix.importSymbols(importAdder, importableReference.symbols);
-                    }
                     var body = void 0;
                     if (preferences.includeCompletionsWithSnippetText) {
                         var emptyStmt = ts.factory.createEmptyStatement();
@@ -131361,11 +131764,19 @@ var ts;
                     else {
                         body = ts.factory.createBlock([], /* multiline */ true);
                     }
+                    var parameters = typeNode.parameters.map(function (typedParam) {
+                        return ts.factory.createParameterDeclaration(
+                        /*decorators*/ undefined, 
+                        /*modifiers*/ undefined, typedParam.dotDotDotToken, typedParam.name, typedParam.questionToken, 
+                        /*type*/ undefined, typedParam.initializer);
+                    });
                     return ts.factory.createMethodDeclaration(
                     /*decorators*/ undefined, 
                     /*modifiers*/ undefined, 
                     /*asteriskToken*/ undefined, name, 
-                    /*questionToken*/ undefined, typeNode.typeParameters, typeNode.parameters, typeNode.type, body);
+                    /*questionToken*/ undefined, 
+                    /*typeParameters*/ undefined, parameters, 
+                    /*type*/ undefined, body);
                 }
                 default:
                     return undefined;
@@ -131728,20 +132139,6 @@ var ts;
                     };
                 }
             }
-            if (source === CompletionSource.ObjectLiteralMethodSnippet) {
-                var enclosingDeclaration = tryGetObjectLikeCompletionContainer(contextToken);
-                var importAdder = getEntryForObjectLiteralMethodCompletion(symbol, name, enclosingDeclaration, program, host, compilerOptions, preferences, formatContext).importAdder;
-                if (importAdder.hasFixes()) {
-                    var changes = ts.textChanges.ChangeTracker.with({ host: host, formatContext: formatContext, preferences: preferences }, importAdder.writeFixes);
-                    return {
-                        sourceDisplay: undefined,
-                        codeActions: [{
-                                changes: changes,
-                                description: ts.diagnosticToString([ts.Diagnostics.Includes_imports_of_types_referenced_by_0, name]),
-                            }],
-                    };
-                }
-            }
             if (originIsTypeOnlyAlias(origin)) {
                 var codeAction_1 = ts.codefix.getPromoteTypeOnlyCompletionAction(sourceFile, origin.declaration.name, program, host, formatContext, preferences);
                 ts.Debug.assertIsDefined(codeAction_1, "Expected to have a code action for promoting type-only alias");
@@ -132815,7 +133212,7 @@ var ts;
                     var instantiatedType = tryGetObjectLiteralContextualType(objectLikeContainer, typeChecker);
                     // Check completions for Object property value shorthand
                     if (instantiatedType === undefined) {
-                        if (objectLikeContainer.flags & 16777216 /* InWithStatement */) {
+                        if (objectLikeContainer.flags & 33554432 /* InWithStatement */) {
                             return 2 /* Fail */;
                         }
                         isNonContextualObjectLiteral = true;
@@ -134562,7 +134959,7 @@ var ts;
                 // It is fairly suspicious to have one path in two buckets - you'd expect dependencies to have similar configurations.
                 // If this occurs unexpectedly, the fix is likely to synchronize the project settings.
                 // Skip .d.ts files to reduce noise (should also cover most of node_modules).
-                var otherBucketKey = !ts.fileExtensionIs(path, ".d.ts" /* Dts */) &&
+                var otherBucketKey = !ts.isDeclarationFileName(path) &&
                     ts.forEachEntry(buckets, function (bucket, bucketKey) { return bucketKey !== key && bucket.has(path) && bucketKey; });
                 if (otherBucketKey) {
                     ts.tracing.instant("session" /* Session */, "documentRegistryBucketOverlap", { path: path, key1: otherBucketKey, key2: key });
@@ -135478,17 +135875,25 @@ var ts;
             var options = { use: 1 /* References */ };
             var referencedSymbols = Core.getReferencedSymbolsForNode(position, node, program, sourceFiles, cancellationToken, options);
             var checker = program.getTypeChecker();
-            var symbol = checker.getSymbolAtLocation(ts.getAdjustedReferenceLocation(Core.getAdjustedNode(node, options)));
+            // Unless the starting node is a declaration (vs e.g. JSDoc), don't attempt to compute isDefinition
+            var adjustedNode = Core.getAdjustedNode(node, options);
+            var symbol = isDefinitionForReference(adjustedNode) ? checker.getSymbolAtLocation(adjustedNode) : undefined;
             return !referencedSymbols || !referencedSymbols.length ? undefined : ts.mapDefined(referencedSymbols, function (_a) {
                 var definition = _a.definition, references = _a.references;
                 // Only include referenced symbols that have a valid definition.
                 return definition && {
                     definition: checker.runWithCancellationToken(cancellationToken, function (checker) { return definitionToReferencedSymbolDefinitionInfo(definition, checker, node); }),
-                    references: references.map(function (r) { return toReferenceEntry(r, symbol); })
+                    references: references.map(function (r) { return toReferencedSymbolEntry(r, symbol); })
                 };
             });
         }
         FindAllReferences.findReferencedSymbols = findReferencedSymbols;
+        function isDefinitionForReference(node) {
+            return node.kind === 88 /* DefaultKeyword */
+                || !!ts.getDeclarationFromName(node)
+                || ts.isLiteralComputedPropertyDeclarationName(node)
+                || (node.kind === 134 /* ConstructorKeyword */ && ts.isConstructorDeclaration(node.parent));
+        }
         function getImplementationsAtPosition(program, cancellationToken, sourceFiles, sourceFile, position) {
             var node = ts.getTouchingPropertyName(sourceFile, position);
             var referenceEntries;
@@ -135617,13 +136022,19 @@ var ts;
             return __assign(__assign({}, entryToDocumentSpan(entry)), (providePrefixAndSuffixText && getPrefixAndSuffixText(entry, originalNode, checker)));
         }
         FindAllReferences.toRenameLocation = toRenameLocation;
-        function toReferenceEntry(entry, symbol) {
+        function toReferencedSymbolEntry(entry, symbol) {
+            var referenceEntry = toReferenceEntry(entry);
+            if (!symbol)
+                return referenceEntry;
+            return __assign(__assign({}, referenceEntry), { isDefinition: entry.kind !== 0 /* Span */ && isDeclarationOfSymbol(entry.node, symbol) });
+        }
+        function toReferenceEntry(entry) {
             var documentSpan = entryToDocumentSpan(entry);
             if (entry.kind === 0 /* Span */) {
-                return __assign(__assign({}, documentSpan), { isWriteAccess: false, isDefinition: false });
+                return __assign(__assign({}, documentSpan), { isWriteAccess: false });
             }
             var kind = entry.kind, node = entry.node;
-            return __assign(__assign({}, documentSpan), { isWriteAccess: isWriteAccessForReference(node), isDefinition: isDeclarationOfSymbol(node, symbol), isInString: kind === 2 /* StringLiteral */ ? true : undefined });
+            return __assign(__assign({}, documentSpan), { isWriteAccess: isWriteAccessForReference(node), isInString: kind === 2 /* StringLiteral */ ? true : undefined });
         }
         FindAllReferences.toReferenceEntry = toReferenceEntry;
         function entryToDocumentSpan(entry) {
@@ -135766,7 +136177,7 @@ var ts;
          */
         function declarationIsWriteAccess(decl) {
             // Consider anything in an ambient declaration to be a write access since it may be coming from JS.
-            if (!!(decl.flags & 8388608 /* Ambient */))
+            if (!!(decl.flags & 16777216 /* Ambient */))
                 return true;
             switch (decl.kind) {
                 case 221 /* BinaryExpression */:
@@ -136331,15 +136742,21 @@ var ts;
             }
             function eachExportReference(sourceFiles, checker, cancellationToken, exportSymbol, exportingModuleSymbol, exportName, isDefaultExport, cb) {
                 var importTracker = FindAllReferences.createImportTracker(sourceFiles, new ts.Set(sourceFiles.map(function (f) { return f.fileName; })), checker, cancellationToken);
-                var _a = importTracker(exportSymbol, { exportKind: isDefaultExport ? 1 /* Default */ : 0 /* Named */, exportingModuleSymbol: exportingModuleSymbol }, /*isForRename*/ false), importSearches = _a.importSearches, indirectUsers = _a.indirectUsers;
+                var _a = importTracker(exportSymbol, { exportKind: isDefaultExport ? 1 /* Default */ : 0 /* Named */, exportingModuleSymbol: exportingModuleSymbol }, /*isForRename*/ false), importSearches = _a.importSearches, indirectUsers = _a.indirectUsers, singleReferences = _a.singleReferences;
                 for (var _i = 0, importSearches_2 = importSearches; _i < importSearches_2.length; _i++) {
                     var importLocation = importSearches_2[_i][0];
                     cb(importLocation);
                 }
-                for (var _b = 0, indirectUsers_2 = indirectUsers; _b < indirectUsers_2.length; _b++) {
-                    var indirectUser = indirectUsers_2[_b];
-                    for (var _c = 0, _d = getPossibleSymbolReferenceNodes(indirectUser, isDefaultExport ? "default" : exportName); _c < _d.length; _c++) {
-                        var node = _d[_c];
+                for (var _b = 0, singleReferences_2 = singleReferences; _b < singleReferences_2.length; _b++) {
+                    var singleReference = singleReferences_2[_b];
+                    if (ts.isIdentifier(singleReference) && ts.isImportTypeNode(singleReference.parent)) {
+                        cb(singleReference);
+                    }
+                }
+                for (var _c = 0, indirectUsers_2 = indirectUsers; _c < indirectUsers_2.length; _c++) {
+                    var indirectUser = indirectUsers_2[_c];
+                    for (var _d = 0, _e = getPossibleSymbolReferenceNodes(indirectUser, isDefaultExport ? "default" : exportName); _d < _e.length; _d++) {
+                        var node = _e[_d];
                         // Import specifiers should be handled by importSearches
                         var symbol = checker.getSymbolAtLocation(node);
                         var hasExportAssignmentDeclaration = ts.some(symbol === null || symbol === void 0 ? void 0 : symbol.declarations, function (d) { return ts.tryCast(d, ts.isExportAssignment) ? true : false; });
@@ -136482,6 +136899,30 @@ var ts;
                 }
             }
             Core.eachSymbolReferenceInFile = eachSymbolReferenceInFile;
+            function getTopMostDeclarationNamesInFile(declarationName, sourceFile) {
+                var candidates = ts.filter(getPossibleSymbolReferenceNodes(sourceFile, declarationName), function (name) { return !!ts.getDeclarationFromName(name); });
+                return candidates.reduce(function (topMost, decl) {
+                    var depth = getDepth(decl);
+                    if (!ts.some(topMost.declarationNames) || depth === topMost.depth) {
+                        topMost.declarationNames.push(decl);
+                        topMost.depth = depth;
+                    }
+                    else if (depth < topMost.depth) {
+                        topMost.declarationNames = [decl];
+                        topMost.depth = depth;
+                    }
+                    return topMost;
+                }, { depth: Infinity, declarationNames: [] }).declarationNames;
+                function getDepth(declaration) {
+                    var depth = 0;
+                    while (declaration) {
+                        declaration = ts.getContainerNode(declaration);
+                        depth++;
+                    }
+                    return depth;
+                }
+            }
+            Core.getTopMostDeclarationNamesInFile = getTopMostDeclarationNamesInFile;
             function someSignatureUsage(signature, sourceFiles, checker, cb) {
                 if (!signature.name || !ts.isIdentifier(signature.name))
                     return false;
@@ -137341,7 +137782,7 @@ var ts;
             }
             Core.getIntersectingMeaningFromDeclarations = getIntersectingMeaningFromDeclarations;
             function isImplementation(node) {
-                return !!(node.flags & 8388608 /* Ambient */) ? !(ts.isInterfaceDeclaration(node) || ts.isTypeAliasDeclaration(node)) :
+                return !!(node.flags & 16777216 /* Ambient */) ? !(ts.isInterfaceDeclaration(node) || ts.isTypeAliasDeclaration(node)) :
                     (ts.isVariableLike(node) ? ts.hasInitializer(node) :
                         ts.isFunctionLikeDeclaration(node) ? !!node.body :
                             ts.isClassLike(node) || ts.isModuleOrEnumDeclaration(node));
@@ -137719,7 +138160,7 @@ var ts;
             function collect(node) {
                 if (!node)
                     return;
-                if (node.flags & 8388608 /* Ambient */) {
+                if (node.flags & 16777216 /* Ambient */) {
                     // do not descend into ambient nodes.
                     return;
                 }
@@ -137878,7 +138319,7 @@ var ts;
         }
         /** Gets the call sites that call out of the provided call hierarchy declaration. */
         function getOutgoingCalls(program, declaration) {
-            if (declaration.flags & 8388608 /* Ambient */ || ts.isMethodSignature(declaration)) {
+            if (declaration.flags & 16777216 /* Ambient */ || ts.isMethodSignature(declaration)) {
                 return [];
             }
             return ts.group(collectCallSites(program, declaration), getCallSiteGroupKey, function (entries) { return convertCallSiteGroupToOutgoingCall(program, entries); });
@@ -138118,7 +138559,9 @@ var ts;
 (function (ts) {
     var GoToDefinition;
     (function (GoToDefinition) {
-        function getDefinitionAtPosition(program, sourceFile, position) {
+        function getDefinitionAtPosition(program, sourceFile, position, searchOtherFilesOnly) {
+            var _a;
+            var _b;
             var resolvedRef = getReferenceAtPosition(sourceFile, position, program);
             var fileReferenceDefinition = resolvedRef && [getDefinitionInfoForFileReference(resolvedRef.reference.fileName, resolvedRef.fileName, resolvedRef.unverified)] || ts.emptyArray;
             if (resolvedRef === null || resolvedRef === void 0 ? void 0 : resolvedRef.file) {
@@ -138141,33 +138584,63 @@ var ts;
             }
             if (ts.isStaticModifier(node) && ts.isClassStaticBlockDeclaration(node.parent)) {
                 var classDecl = node.parent.parent;
-                var symbol_1 = getSymbol(classDecl, typeChecker);
+                var _c = getSymbol(classDecl, typeChecker), symbol_1 = _c.symbol, failedAliasResolution_1 = _c.failedAliasResolution;
                 var staticBlocks = ts.filter(classDecl.members, ts.isClassStaticBlockDeclaration);
                 var containerName_1 = symbol_1 ? typeChecker.symbolToString(symbol_1, classDecl) : "";
                 var sourceFile_1 = node.getSourceFile();
                 return ts.map(staticBlocks, function (staticBlock) {
                     var pos = ts.moveRangePastModifiers(staticBlock).pos;
                     pos = ts.skipTrivia(sourceFile_1.text, pos);
-                    return createDefinitionInfoFromName(typeChecker, staticBlock, "constructor" /* constructorImplementationElement */, "static {}", containerName_1, { start: pos, length: "static".length });
+                    return createDefinitionInfoFromName(typeChecker, staticBlock, "constructor" /* constructorImplementationElement */, "static {}", containerName_1, /*unverified*/ false, failedAliasResolution_1, { start: pos, length: "static".length });
                 });
             }
-            var symbol = getSymbol(node, typeChecker);
+            var _d = getSymbol(node, typeChecker), symbol = _d.symbol, failedAliasResolution = _d.failedAliasResolution;
+            var fallbackNode = node;
+            if (searchOtherFilesOnly && failedAliasResolution) {
+                // We couldn't resolve the specific import, try on the module specifier.
+                var importDeclaration = ts.forEach(__spreadArray([node], (symbol === null || symbol === void 0 ? void 0 : symbol.declarations) || ts.emptyArray, true), function (n) { return ts.findAncestor(n, ts.isAnyImportOrBareOrAccessedRequire); });
+                var moduleSpecifier = importDeclaration && ts.tryGetModuleSpecifierFromDeclaration(importDeclaration);
+                if (moduleSpecifier) {
+                    (_a = getSymbol(moduleSpecifier, typeChecker), symbol = _a.symbol, failedAliasResolution = _a.failedAliasResolution);
+                    fallbackNode = moduleSpecifier;
+                }
+            }
+            if (!symbol && ts.isModuleSpecifierLike(fallbackNode)) {
+                // We couldn't resolve the module specifier as an external module, but it could
+                // be that module resolution succeeded but the target was not a module.
+                var ref = (_b = sourceFile.resolvedModules) === null || _b === void 0 ? void 0 : _b.get(fallbackNode.text, ts.getModeForUsageLocation(sourceFile, fallbackNode));
+                if (ref) {
+                    return [{
+                            name: fallbackNode.text,
+                            fileName: ref.resolvedFileName,
+                            containerName: undefined,
+                            containerKind: undefined,
+                            kind: "script" /* scriptElement */,
+                            textSpan: ts.createTextSpan(0, 0),
+                            failedAliasResolution: failedAliasResolution,
+                            isAmbient: ts.isDeclarationFileName(ref.resolvedFileName),
+                            unverified: fallbackNode !== node,
+                        }];
+                }
+            }
             // Could not find a symbol e.g. node is string or number keyword,
             // or the symbol was an internal symbol and does not have a declaration e.g. undefined symbol
             if (!symbol) {
                 return ts.concatenate(fileReferenceDefinition, getDefinitionInfoForIndexSignatures(node, typeChecker));
             }
+            if (searchOtherFilesOnly && ts.every(symbol.declarations, function (d) { return d.getSourceFile().fileName === sourceFile.fileName; }))
+                return undefined;
             var calledDeclaration = tryGetSignatureDeclaration(typeChecker, node);
             // Don't go to the component constructor definition for a JSX element, just go to the component definition.
             if (calledDeclaration && !(ts.isJsxOpeningLikeElement(node.parent) && isConstructorLike(calledDeclaration))) {
-                var sigInfo = createDefinitionFromSignatureDeclaration(typeChecker, calledDeclaration);
+                var sigInfo = createDefinitionFromSignatureDeclaration(typeChecker, calledDeclaration, failedAliasResolution);
                 // For a function, if this is the original function definition, return just sigInfo.
                 // If this is the original constructor definition, parent is the class.
                 if (typeChecker.getRootSymbols(symbol).some(function (s) { return symbolMatchesSignature(s, calledDeclaration); })) {
                     return [sigInfo];
                 }
                 else {
-                    var defs = getDefinitionFromSymbol(typeChecker, symbol, node, calledDeclaration) || ts.emptyArray;
+                    var defs = getDefinitionFromSymbol(typeChecker, symbol, node, failedAliasResolution, calledDeclaration) || ts.emptyArray;
                     // For a 'super()' call, put the signature first, else put the variable first.
                     return node.kind === 106 /* SuperKeyword */ ? __spreadArray([sigInfo], defs, true) : __spreadArray(__spreadArray([], defs, true), [sigInfo], false);
                 }
@@ -138179,7 +138652,7 @@ var ts;
             // assignment. This case and others are handled by the following code.
             if (node.parent.kind === 297 /* ShorthandPropertyAssignment */) {
                 var shorthandSymbol_1 = typeChecker.getShorthandAssignmentValueSymbol(symbol.valueDeclaration);
-                var definitions = (shorthandSymbol_1 === null || shorthandSymbol_1 === void 0 ? void 0 : shorthandSymbol_1.declarations) ? shorthandSymbol_1.declarations.map(function (decl) { return createDefinitionInfo(decl, typeChecker, shorthandSymbol_1, node); }) : ts.emptyArray;
+                var definitions = (shorthandSymbol_1 === null || shorthandSymbol_1 === void 0 ? void 0 : shorthandSymbol_1.declarations) ? shorthandSymbol_1.declarations.map(function (decl) { return createDefinitionInfo(decl, typeChecker, shorthandSymbol_1, node, /*unverified*/ false, failedAliasResolution); }) : ts.emptyArray;
                 return ts.concatenate(definitions, getDefinitionFromObjectLiteralElement(typeChecker, node) || ts.emptyArray);
             }
             // If the node is the name of a BindingElement within an ObjectBindingPattern instead of just returning the
@@ -138202,7 +138675,7 @@ var ts;
                     return prop && getDefinitionFromSymbol(typeChecker, prop, node);
                 });
             }
-            return ts.concatenate(fileReferenceDefinition, getDefinitionFromObjectLiteralElement(typeChecker, node) || getDefinitionFromSymbol(typeChecker, symbol, node));
+            return ts.concatenate(fileReferenceDefinition, getDefinitionFromObjectLiteralElement(typeChecker, node) || getDefinitionFromSymbol(typeChecker, symbol, node, failedAliasResolution));
         }
         GoToDefinition.getDefinitionAtPosition = getDefinitionAtPosition;
         /**
@@ -138300,24 +138773,24 @@ var ts;
                 return undefined;
             }
             if (ts.isImportMeta(node.parent) && node.parent.name === node) {
-                return definitionFromType(typeChecker.getTypeAtLocation(node.parent), typeChecker, node.parent);
+                return definitionFromType(typeChecker.getTypeAtLocation(node.parent), typeChecker, node.parent, /*failedAliasResolution*/ false);
             }
-            var symbol = getSymbol(node, typeChecker);
+            var _a = getSymbol(node, typeChecker), symbol = _a.symbol, failedAliasResolution = _a.failedAliasResolution;
             if (!symbol)
                 return undefined;
             var typeAtLocation = typeChecker.getTypeOfSymbolAtLocation(symbol, node);
             var returnType = tryGetReturnTypeOfFunction(symbol, typeAtLocation, typeChecker);
-            var fromReturnType = returnType && definitionFromType(returnType, typeChecker, node);
+            var fromReturnType = returnType && definitionFromType(returnType, typeChecker, node, failedAliasResolution);
             // If a function returns 'void' or some other type with no definition, just return the function definition.
-            var typeDefinitions = fromReturnType && fromReturnType.length !== 0 ? fromReturnType : definitionFromType(typeAtLocation, typeChecker, node);
+            var typeDefinitions = fromReturnType && fromReturnType.length !== 0 ? fromReturnType : definitionFromType(typeAtLocation, typeChecker, node, failedAliasResolution);
             return typeDefinitions.length ? typeDefinitions
-                : !(symbol.flags & 111551 /* Value */) && symbol.flags & 788968 /* Type */ ? getDefinitionFromSymbol(typeChecker, ts.skipAlias(symbol, typeChecker), node)
+                : !(symbol.flags & 111551 /* Value */) && symbol.flags & 788968 /* Type */ ? getDefinitionFromSymbol(typeChecker, ts.skipAlias(symbol, typeChecker), node, failedAliasResolution)
                     : undefined;
         }
         GoToDefinition.getTypeDefinitionAtPosition = getTypeDefinitionAtPosition;
-        function definitionFromType(type, checker, node) {
+        function definitionFromType(type, checker, node, failedAliasResolution) {
             return ts.flatMap(type.isUnion() && !(type.flags & 32 /* Enum */) ? type.types : [type], function (t) {
-                return t.symbol && getDefinitionFromSymbol(checker, t.symbol, node);
+                return t.symbol && getDefinitionFromSymbol(checker, t.symbol, node, failedAliasResolution);
             });
         }
         function tryGetReturnTypeOfFunction(symbol, type, checker) {
@@ -138359,13 +138832,17 @@ var ts;
             // get the aliased symbol instead. This allows for goto def on an import e.g.
             //   import {A, B} from "mod";
             // to jump to the implementation directly.
+            var failedAliasResolution = false;
             if ((symbol === null || symbol === void 0 ? void 0 : symbol.declarations) && symbol.flags & 2097152 /* Alias */ && shouldSkipAlias(node, symbol.declarations[0])) {
                 var aliased = checker.getAliasedSymbol(symbol);
                 if (aliased.declarations) {
-                    return aliased;
+                    return { symbol: aliased };
+                }
+                else {
+                    failedAliasResolution = true;
                 }
             }
-            return symbol;
+            return { symbol: symbol, failedAliasResolution: failedAliasResolution };
         }
         // Go to the original declaration for cases:
         //
@@ -138379,26 +138856,45 @@ var ts;
             if (node.parent === declaration) {
                 return true;
             }
-            switch (declaration.kind) {
-                case 267 /* ImportClause */:
-                case 265 /* ImportEqualsDeclaration */:
-                    return true;
-                case 270 /* ImportSpecifier */:
-                    return declaration.parent.kind === 269 /* NamedImports */;
-                case 203 /* BindingElement */:
-                case 254 /* VariableDeclaration */:
-                    return ts.isInJSFile(declaration) && ts.isVariableDeclarationInitializedToBareOrAccessedRequire(declaration);
-                default:
-                    return false;
+            if (declaration.kind === 268 /* NamespaceImport */) {
+                return false;
             }
+            return true;
+        }
+        /**
+         * ```ts
+         * function f() {}
+         * f.foo = 0;
+         * ```
+         *
+         * Here, `f` has two declarations: the function declaration, and the identifier in the next line.
+         * The latter is a declaration for `f` because it gives `f` the `SymbolFlags.Namespace` meaning so
+         * it can contain `foo`. However, that declaration is pretty uninteresting and not intuitively a
+         * "definition" for `f`. Ideally, the question we'd like to answer is "what SymbolFlags does this
+         * declaration contribute to the symbol for `f`?" If the answer is just `Namespace` and the
+         * declaration looks like an assignment, that declaration is in no sense a definition for `f`.
+         * But that information is totally lost during binding and/or symbol merging, so we need to do
+         * our best to reconstruct it or use other heuristics. This function (and the logic around its
+         * calling) covers our tests but feels like a hack, and it would be great if someone could come
+         * up with a more precise definition of what counts as a definition.
+         */
+        function isExpandoDeclaration(node) {
+            if (!ts.isAssignmentDeclaration(node))
+                return false;
+            var containingAssignment = ts.findAncestor(node, function (p) {
+                if (ts.isAssignmentExpression(p))
+                    return true;
+                if (!ts.isAssignmentDeclaration(p))
+                    return "quit";
+                return false;
+            });
+            return !!containingAssignment && ts.getAssignmentDeclarationKind(containingAssignment) === 5 /* Property */;
         }
-        function getDefinitionFromSymbol(typeChecker, symbol, node, declarationNode) {
-            // There are cases when you extend a function by adding properties to it afterwards,
-            // we want to strip those extra properties.
-            // For deduping purposes, we also want to exclude any declarationNodes if provided.
-            var filteredDeclarations = ts.filter(symbol.declarations, function (d) { return d !== declarationNode && (!ts.isAssignmentDeclaration(d) || d === symbol.valueDeclaration); })
-                || undefined;
-            return getConstructSignatureDefinition() || getCallSignatureDefinition() || ts.map(filteredDeclarations, function (declaration) { return createDefinitionInfo(declaration, typeChecker, symbol, node); });
+        function getDefinitionFromSymbol(typeChecker, symbol, node, failedAliasResolution, excludeDeclaration) {
+            var filteredDeclarations = ts.filter(symbol.declarations, function (d) { return d !== excludeDeclaration; });
+            var withoutExpandos = ts.filter(filteredDeclarations, function (d) { return !isExpandoDeclaration(d); });
+            var results = ts.some(withoutExpandos) ? withoutExpandos : filteredDeclarations;
+            return getConstructSignatureDefinition() || getCallSignatureDefinition() || ts.map(results, function (declaration) { return createDefinitionInfo(declaration, typeChecker, symbol, node, /*unverified*/ false, failedAliasResolution); });
             function getConstructSignatureDefinition() {
                 // Applicable only if we are in a new expression, or we are on a constructor declaration
                 // and in either case the symbol has a construct signature definition, i.e. class
@@ -138422,26 +138918,27 @@ var ts;
                 return declarations.length
                     ? declarationsWithBody.length !== 0
                         ? declarationsWithBody.map(function (x) { return createDefinitionInfo(x, typeChecker, symbol, node); })
-                        : [createDefinitionInfo(ts.last(declarations), typeChecker, symbol, node)]
+                        : [createDefinitionInfo(ts.last(declarations), typeChecker, symbol, node, /*unverified*/ false, failedAliasResolution)]
                     : undefined;
             }
         }
         /** Creates a DefinitionInfo from a Declaration, using the declaration's name if possible. */
-        function createDefinitionInfo(declaration, checker, symbol, node) {
+        function createDefinitionInfo(declaration, checker, symbol, node, unverified, failedAliasResolution) {
             var symbolName = checker.symbolToString(symbol); // Do not get scoped name, just the name of the symbol
             var symbolKind = ts.SymbolDisplay.getSymbolKind(checker, symbol, node);
             var containerName = symbol.parent ? checker.symbolToString(symbol.parent, node) : "";
-            return createDefinitionInfoFromName(checker, declaration, symbolKind, symbolName, containerName);
+            return createDefinitionInfoFromName(checker, declaration, symbolKind, symbolName, containerName, unverified, failedAliasResolution);
         }
+        GoToDefinition.createDefinitionInfo = createDefinitionInfo;
         /** Creates a DefinitionInfo directly from the name of a declaration. */
-        function createDefinitionInfoFromName(checker, declaration, symbolKind, symbolName, containerName, textSpan) {
+        function createDefinitionInfoFromName(checker, declaration, symbolKind, symbolName, containerName, unverified, failedAliasResolution, textSpan) {
             var sourceFile = declaration.getSourceFile();
             if (!textSpan) {
                 var name = ts.getNameOfDeclaration(declaration) || declaration;
                 textSpan = ts.createTextSpanFromNode(name, sourceFile);
             }
             return __assign(__assign({ fileName: sourceFile.fileName, textSpan: textSpan, kind: symbolKind, name: symbolName, containerKind: undefined, // TODO: GH#18217
-                containerName: containerName }, ts.FindAllReferences.toContextSpan(textSpan, sourceFile, ts.FindAllReferences.getContextNode(declaration))), { isLocal: !isDefinitionVisible(checker, declaration) });
+                containerName: containerName }, ts.FindAllReferences.toContextSpan(textSpan, sourceFile, ts.FindAllReferences.getContextNode(declaration))), { isLocal: !isDefinitionVisible(checker, declaration), isAmbient: !!(declaration.flags & 16777216 /* Ambient */), unverified: unverified, failedAliasResolution: failedAliasResolution });
         }
         function isDefinitionVisible(checker, declaration) {
             if (checker.isDeclarationVisible(declaration))
@@ -138474,8 +138971,8 @@ var ts;
                     return false;
             }
         }
-        function createDefinitionFromSignatureDeclaration(typeChecker, decl) {
-            return createDefinitionInfo(decl, typeChecker, decl.symbol, decl);
+        function createDefinitionFromSignatureDeclaration(typeChecker, decl, failedAliasResolution) {
+            return createDefinitionInfo(decl, typeChecker, decl.symbol, decl, /*unverified*/ false, failedAliasResolution);
         }
         function findReferenceInPosition(refs, pos) {
             return ts.find(refs, function (ref) { return ts.textRangeContainsPositionInclusive(ref, pos); });
@@ -140012,8 +140509,8 @@ var ts;
             var changeTracker = ts.textChanges.ChangeTracker.fromContext({ host: host, formatContext: formatContext, preferences: preferences });
             var coalesceAndOrganizeImports = function (importGroup) { return ts.stableSort(coalesceImports(removeUnusedImports(importGroup, sourceFile, program, skipDestructiveCodeActions)), function (s1, s2) { return compareImportsOrRequireStatements(s1, s2); }); };
             // All of the old ImportDeclarations in the file, in syntactic order.
-            var topLevelImportDecls = sourceFile.statements.filter(ts.isImportDeclaration);
-            organizeImportsWorker(topLevelImportDecls, coalesceAndOrganizeImports);
+            var topLevelImportGroupDecls = groupImportsByNewlineContiguous(sourceFile, sourceFile.statements.filter(ts.isImportDeclaration));
+            topLevelImportGroupDecls.forEach(function (importGroupDecl) { return organizeImportsWorker(importGroupDecl, coalesceAndOrganizeImports); });
             // All of the old ExportDeclarations in the file, in syntactic order.
             var topLevelExportDecls = sourceFile.statements.filter(ts.isExportDeclaration);
             organizeImportsWorker(topLevelExportDecls, coalesceExports);
@@ -140021,8 +140518,8 @@ var ts;
                 var ambientModule = _a[_i];
                 if (!ambientModule.body)
                     continue;
-                var ambientModuleImportDecls = ambientModule.body.statements.filter(ts.isImportDeclaration);
-                organizeImportsWorker(ambientModuleImportDecls, coalesceAndOrganizeImports);
+                var ambientModuleImportGroupDecls = groupImportsByNewlineContiguous(sourceFile, ambientModule.body.statements.filter(ts.isImportDeclaration));
+                ambientModuleImportGroupDecls.forEach(function (importGroupDecl) { return organizeImportsWorker(importGroupDecl, coalesceAndOrganizeImports); });
                 var ambientModuleExportDecls = ambientModule.body.statements.filter(ts.isExportDeclaration);
                 organizeImportsWorker(ambientModuleExportDecls, coalesceExports);
             }
@@ -140068,6 +140565,40 @@ var ts;
             }
         }
         OrganizeImports.organizeImports = organizeImports;
+        function groupImportsByNewlineContiguous(sourceFile, importDecls) {
+            var scanner = ts.createScanner(sourceFile.languageVersion, /*skipTrivia*/ false, sourceFile.languageVariant);
+            var groupImports = [];
+            var groupIndex = 0;
+            for (var _i = 0, importDecls_1 = importDecls; _i < importDecls_1.length; _i++) {
+                var topLevelImportDecl = importDecls_1[_i];
+                if (isNewGroup(sourceFile, topLevelImportDecl, scanner)) {
+                    groupIndex++;
+                }
+                if (!groupImports[groupIndex]) {
+                    groupImports[groupIndex] = [];
+                }
+                groupImports[groupIndex].push(topLevelImportDecl);
+            }
+            return groupImports;
+        }
+        // a new group is created if an import includes at least two new line
+        // new line from multi-line comment doesn't count
+        function isNewGroup(sourceFile, topLevelImportDecl, scanner) {
+            var startPos = topLevelImportDecl.getFullStart();
+            var endPos = topLevelImportDecl.getStart();
+            scanner.setText(sourceFile.text, startPos, endPos - startPos);
+            var numberOfNewLines = 0;
+            while (scanner.getTokenPos() < endPos) {
+                var tokenKind = scanner.scan();
+                if (tokenKind === 4 /* NewLineTrivia */) {
+                    numberOfNewLines++;
+                    if (numberOfNewLines >= 2) {
+                        return true;
+                    }
+                }
+            }
+            return false;
+        }
         function removeUnusedImports(oldImports, sourceFile, program, skipDestructiveCodeActions) {
             // As a precaution, consider unused import detection to be destructive (GH #43051)
             if (skipDestructiveCodeActions) {
@@ -148028,8 +148559,11 @@ var ts;
         function isTrivia(s) {
             return ts.skipTrivia(s, 0) === s.length;
         }
+        // A transformation context that won't perform parenthesization, as some parenthesization rules
+        // are more aggressive than is strictly necessary.
+        var textChangesTransformationContext = __assign(__assign({}, ts.nullTransformationContext), { factory: ts.createNodeFactory(ts.nullTransformationContext.factory.flags | 1 /* NoParenthesizerRules */, ts.nullTransformationContext.factory.baseFactory) });
         function assignPositionsToNode(node) {
-            var visited = ts.visitEachChild(node, assignPositionsToNode, ts.nullTransformationContext, assignPositionsToNodeArray, assignPositionsToNode);
+            var visited = ts.visitEachChild(node, assignPositionsToNode, textChangesTransformationContext, assignPositionsToNodeArray, assignPositionsToNode);
             // create proxy node for non synthesized nodes
             var newNode = ts.nodeIsSynthesized(visited) ? visited : Object.create(visited);
             ts.setTextRangePosEnd(newNode, getPos(node), getEnd(node));
@@ -151553,9 +152087,10 @@ var ts;
             //     2. add "member3" to the second import statement's import list
             // and it is up to the user to decide which one fits best.
             return ts.firstDefined(existingImports, function (_a) {
+                var _b;
                 var declaration = _a.declaration;
                 var namespacePrefix = getNamespaceLikeImportText(declaration);
-                var moduleSpecifier = ts.tryGetModuleSpecifierFromDeclaration(declaration);
+                var moduleSpecifier = (_b = ts.tryGetModuleSpecifierFromDeclaration(declaration)) === null || _b === void 0 ? void 0 : _b.text;
                 if (namespacePrefix && moduleSpecifier) {
                     var moduleSymbol = getTargetModuleFromNamespaceLikeImport(declaration, checker);
                     if (moduleSymbol && moduleSymbol.exports.has(ts.escapeLeadingUnderscores(symbolName))) {
@@ -151731,8 +152266,9 @@ var ts;
             return existingDeclaration ? [existingDeclaration] : getNewImportFixes(program, sourceFile, position, isValidTypeOnlyUseSite, useRequire, exportInfos, host, preferences).fixes;
         }
         function newImportInfoFromExistingSpecifier(_a, isValidTypeOnlyUseSite, useRequire, checker, compilerOptions) {
+            var _b;
             var declaration = _a.declaration, importKind = _a.importKind, symbol = _a.symbol, targetFlags = _a.targetFlags;
-            var moduleSpecifier = ts.tryGetModuleSpecifierFromDeclaration(declaration);
+            var moduleSpecifier = (_b = ts.tryGetModuleSpecifierFromDeclaration(declaration)) === null || _b === void 0 ? void 0 : _b.text;
             if (moduleSpecifier) {
                 var addAsTypeOnly = useRequire
                     ? 4 /* NotAllowed */
@@ -155994,7 +156530,7 @@ var ts;
             var modifiers = visibilityModifier ? ts.factory.createNodeArray([visibilityModifier]) : undefined;
             var type = checker.getWidenedType(checker.getTypeOfSymbolAtLocation(symbol, enclosingDeclaration));
             var optional = !!(symbol.flags & 16777216 /* Optional */);
-            var ambient = !!(enclosingDeclaration.flags & 8388608 /* Ambient */) || isAmbient;
+            var ambient = !!(enclosingDeclaration.flags & 16777216 /* Ambient */) || isAmbient;
             var quotePreference = ts.getQuotePreference(sourceFile, preferences);
             switch (declaration.kind) {
                 case 166 /* PropertySignature */:
@@ -156090,7 +156626,6 @@ var ts;
             var checker = program.getTypeChecker();
             var scriptTarget = ts.getEmitScriptTarget(program.getCompilerOptions());
             var flags = 1 /* NoTruncation */
-                | 1073741824 /* NoUndefinedOptionalParameterType */
                 | 256 /* SuppressAnyReturnType */
                 | 524288 /* AllowEmptyTuple */
                 | (quotePreference === 0 /* Single */ ? 268435456 /* UseSingleQuotesForStringLiteralType */ : 0 /* None */);
@@ -157571,6 +158106,10 @@ var ts;
                     }
                     break;
                 }
+                case 200 /* ImportType */:
+                    var importTypeNode = parent;
+                    changes.replaceNode(importingSourceFile, parent, ts.factory.createImportTypeNode(importTypeNode.argument, ts.factory.createIdentifier(exportName), importTypeNode.typeArguments, importTypeNode.isTypeOf));
+                    break;
                 default:
                     ts.Debug.failBadSyntaxKind(parent);
             }
@@ -158465,6 +159004,7 @@ var ts;
                 Messages.cannotAccessVariablesFromNestedScopes = createMessage("Cannot access variables from nested scopes");
                 Messages.cannotExtractToJSClass = createMessage("Cannot extract constant to a class scope in JS");
                 Messages.cannotExtractToExpressionArrowFunction = createMessage("Cannot extract constant to an arrow function without a block");
+                Messages.cannotExtractFunctionsContainingThisToMethod = createMessage("Cannot extract functions containing this to method");
             })(Messages = extractSymbol.Messages || (extractSymbol.Messages = {}));
             var RangeFacts;
             (function (RangeFacts) {
@@ -158473,10 +159013,11 @@ var ts;
                 RangeFacts[RangeFacts["IsGenerator"] = 2] = "IsGenerator";
                 RangeFacts[RangeFacts["IsAsyncFunction"] = 4] = "IsAsyncFunction";
                 RangeFacts[RangeFacts["UsesThis"] = 8] = "UsesThis";
+                RangeFacts[RangeFacts["UsesThisInFunction"] = 16] = "UsesThisInFunction";
                 /**
                  * The range is in a function which needs the 'static' modifier in a class
                  */
-                RangeFacts[RangeFacts["InStaticRegion"] = 16] = "InStaticRegion";
+                RangeFacts[RangeFacts["InStaticRegion"] = 32] = "InStaticRegion";
             })(RangeFacts || (RangeFacts = {}));
             /**
              * getRangeToExtract takes a span inside a text file and returns either an expression or an array
@@ -158507,11 +159048,12 @@ var ts;
                 // We'll modify these flags as we walk the tree to collect data
                 // about what things need to be done as part of the extraction.
                 var rangeFacts = RangeFacts.None;
+                var thisNode;
                 if (!start || !end) {
                     // cannot find either start or end node
                     return { errors: [ts.createFileDiagnostic(sourceFile, span.start, length, Messages.cannotExtractRange)] };
                 }
-                if (start.flags & 4194304 /* JSDoc */) {
+                if (start.flags & 8388608 /* JSDoc */) {
                     return { errors: [ts.createFileDiagnostic(sourceFile, span.start, length, Messages.cannotExtractJSDoc)] };
                 }
                 if (start.parent !== end.parent) {
@@ -158545,7 +159087,7 @@ var ts;
                         // the expression.
                         return { errors: [ts.createFileDiagnostic(sourceFile, span.start, length, Messages.cannotExtractRange)] };
                     }
-                    return { targetRange: { range: statements, facts: rangeFacts, declarations: declarations } };
+                    return { targetRange: { range: statements, facts: rangeFacts, declarations: declarations, thisNode: thisNode } };
                 }
                 if (ts.isReturnStatement(start) && !start.expression) {
                     // Makes no sense to extract an expression-less return statement.
@@ -158557,7 +159099,7 @@ var ts;
                 if (errors) {
                     return { errors: errors };
                 }
-                return { targetRange: { range: getStatementOrExpressionRange(node), facts: rangeFacts, declarations: declarations } }; // TODO: GH#18217
+                return { targetRange: { range: getStatementOrExpressionRange(node), facts: rangeFacts, declarations: declarations, thisNode: thisNode } }; // TODO: GH#18217
                 /**
                  * Attempt to refine the extraction node (generally, by shrinking it) to produce better results.
                  * @param node The unrefined extraction node.
@@ -158637,7 +159179,7 @@ var ts;
                     if (!ts.isStatement(nodeToCheck) && !(ts.isExpressionNode(nodeToCheck) && isExtractableExpression(nodeToCheck)) && !isStringLiteralJsxAttribute(nodeToCheck)) {
                         return [ts.createDiagnosticForNode(nodeToCheck, Messages.statementOrExpressionExpected)];
                     }
-                    if (nodeToCheck.flags & 8388608 /* Ambient */) {
+                    if (nodeToCheck.flags & 16777216 /* Ambient */) {
                         return [ts.createDiagnosticForNode(nodeToCheck, Messages.cannotExtractAmbientBlock)];
                     }
                     // If we're in a class, see whether we're in a static region (static property initializer, static method, class constructor parameter default)
@@ -158649,6 +159191,14 @@ var ts;
                     var permittedJumps = 4 /* Return */;
                     var seenLabels;
                     visit(nodeToCheck);
+                    if (rangeFacts & RangeFacts.UsesThis) {
+                        var container = ts.getThisContainer(nodeToCheck, /** includeArrowFunctions */ false);
+                        if (container.kind === 256 /* FunctionDeclaration */ ||
+                            (container.kind === 169 /* MethodDeclaration */ && container.parent.kind === 205 /* ObjectLiteralExpression */) ||
+                            container.kind === 213 /* FunctionExpression */) {
+                            rangeFacts |= RangeFacts.UsesThisInFunction;
+                        }
+                    }
                     return errors;
                     function visit(node) {
                         if (errors) {
@@ -158687,6 +159237,7 @@ var ts;
                                 }
                                 else {
                                     rangeFacts |= RangeFacts.UsesThis;
+                                    thisNode = node;
                                 }
                                 break;
                             case 214 /* ArrowFunction */:
@@ -158694,6 +159245,7 @@ var ts;
                                 ts.forEachChild(node, function check(n) {
                                     if (ts.isThis(n)) {
                                         rangeFacts |= RangeFacts.UsesThis;
+                                        thisNode = node;
                                     }
                                     else if (ts.isClassLike(n) || (ts.isFunctionLike(n) && !ts.isArrowFunction(n))) {
                                         return false;
@@ -158750,6 +159302,7 @@ var ts;
                             case 192 /* ThisType */:
                             case 108 /* ThisKeyword */:
                                 rangeFacts |= RangeFacts.UsesThis;
+                                thisNode = node;
                                 break;
                             case 250 /* LabeledStatement */: {
                                 var label = node.label;
@@ -158837,7 +159390,7 @@ var ts;
              */
             function collectEnclosingScopes(range) {
                 var current = isReadonlyArray(range.range) ? ts.first(range.range) : range.range;
-                if (range.facts & RangeFacts.UsesThis) {
+                if (range.facts & RangeFacts.UsesThis && !(range.facts & RangeFacts.UsesThisInFunction)) {
                     // if range uses this as keyword or as type inside the class then it can only be extracted to a method of the containing class
                     var containingClass = ts.getContainingClass(current);
                     if (containingClass) {
@@ -159043,6 +159596,7 @@ var ts;
                 var _b = transformFunctionBody(node, exposedVariableDeclarations, writes, substitutions, !!(range.facts & RangeFacts.HasReturn)), body = _b.body, returnValueProperty = _b.returnValueProperty;
                 ts.suppressLeadingAndTrailingTrivia(body);
                 var newFunction;
+                var callThis = !!(range.facts & RangeFacts.UsesThisInFunction);
                 if (ts.isClassLike(scope)) {
                     // always create private method in TypeScript files
                     var modifiers = isJS ? [] : [ts.factory.createModifier(121 /* PrivateKeyword */)];
@@ -159057,6 +159611,15 @@ var ts;
                     /*questionToken*/ undefined, typeParameters, parameters, returnType, body);
                 }
                 else {
+                    if (callThis) {
+                        parameters.unshift(ts.factory.createParameterDeclaration(
+                        /*decorators*/ undefined, 
+                        /*modifiers*/ undefined, 
+                        /*dotDotDotToken*/ undefined, 
+                        /*name*/ "this", 
+                        /*questionToken*/ undefined, checker.typeToTypeNode(checker.getTypeAtLocation(range.thisNode), scope, 1 /* NoTruncation */), 
+                        /*initializer*/ undefined));
+                    }
                     newFunction = ts.factory.createFunctionDeclaration(
                     /*decorators*/ undefined, range.facts & RangeFacts.IsAsyncFunction ? [ts.factory.createToken(131 /* AsyncKeyword */)] : undefined, range.facts & RangeFacts.IsGenerator ? ts.factory.createToken(41 /* AsteriskToken */) : undefined, functionName, typeParameters, parameters, returnType, body);
                 }
@@ -159073,7 +159636,10 @@ var ts;
                 var newNodes = [];
                 // replace range with function call
                 var called = getCalledExpression(scope, range, functionNameText);
-                var call = ts.factory.createCallExpression(called, callTypeArguments, // Note that no attempt is made to take advantage of type argument inference
+                if (callThis) {
+                    callArguments.unshift(ts.factory.createIdentifier("this"));
+                }
+                var call = ts.factory.createCallExpression(callThis ? ts.factory.createPropertyAccessExpression(called, "call") : called, callTypeArguments, // Note that no attempt is made to take advantage of type argument inference
                 callArguments);
                 if (range.facts & RangeFacts.IsGenerator) {
                     call = ts.factory.createYieldExpression(ts.factory.createToken(41 /* AsteriskToken */), call);
@@ -159684,6 +160250,9 @@ var ts;
                         var errorNode = isReadonlyArray(targetRange.range) ? targetRange.range[0] : targetRange.range;
                         constantErrorsPerScope[i].push(ts.createDiagnosticForNode(errorNode, Messages.cannotAccessVariablesFromNestedScopes));
                     }
+                    if (targetRange.facts & RangeFacts.UsesThisInFunction && ts.isClassLike(scopes[i])) {
+                        functionErrorsPerScope[i].push(ts.createDiagnosticForNode(targetRange.thisNode, Messages.cannotExtractFunctionsContainingThisToMethod));
+                    }
                     var hasWrite = false;
                     var readonlyClassPropertyWrite;
                     usagesPerScope[i].usages.forEach(function (value) {
@@ -160169,6 +160738,7 @@ var ts;
         }
         function doTypedefChange(changes, file, name, info) {
             var firstStatement = info.firstStatement, selection = info.selection, typeParameters = info.typeParameters;
+            ts.setEmitFlags(selection, 1536 /* NoComments */ | 2048 /* NoNestedComments */);
             var node = ts.factory.createJSDocTypedefTag(ts.factory.createIdentifier("typedef"), ts.factory.createJSDocTypeExpression(selection), ts.factory.createIdentifier(name));
             var templates = [];
             ts.forEach(typeParameters, function (typeParameter) {
@@ -162199,7 +162769,7 @@ var ts;
                 kind === 80 /* PrivateIdentifier */ ? new PrivateIdentifierObject(80 /* PrivateIdentifier */, pos, end) :
                     new TokenObject(kind, pos, end);
         node.parent = parent;
-        node.flags = parent.flags & 25358336 /* ContextFlags */;
+        node.flags = parent.flags & 50720768 /* ContextFlags */;
         return node;
     }
     var NodeObject = /** @class */ (function () {
@@ -163636,9 +164206,9 @@ var ts;
             }
         }
         /// Goto definition
-        function getDefinitionAtPosition(fileName, position) {
+        function getDefinitionAtPosition(fileName, position, searchOtherFilesOnly) {
             synchronizeHostData();
-            return ts.GoToDefinition.getDefinitionAtPosition(program, getValidSourceFile(fileName), position);
+            return ts.GoToDefinition.getDefinitionAtPosition(program, getValidSourceFile(fileName), position, searchOtherFilesOnly);
         }
         function getDefinitionAndBoundSpan(fileName, position) {
             synchronizeHostData();
@@ -163655,7 +164225,7 @@ var ts;
         }
         /// References and Occurrences
         function getOccurrencesAtPosition(fileName, position) {
-            return ts.flatMap(getDocumentHighlights(fileName, position, [fileName]), function (entry) { return entry.highlightSpans.map(function (highlightSpan) { return (__assign(__assign({ fileName: entry.fileName, textSpan: highlightSpan.textSpan, isWriteAccess: highlightSpan.kind === "writtenReference" /* writtenReference */, isDefinition: false }, highlightSpan.isInString && { isInString: true }), highlightSpan.contextSpan && { contextSpan: highlightSpan.contextSpan })); }); });
+            return ts.flatMap(getDocumentHighlights(fileName, position, [fileName]), function (entry) { return entry.highlightSpans.map(function (highlightSpan) { return (__assign(__assign({ fileName: entry.fileName, textSpan: highlightSpan.textSpan, isWriteAccess: highlightSpan.kind === "writtenReference" /* writtenReference */ }, highlightSpan.isInString && { isInString: true }), highlightSpan.contextSpan && { contextSpan: highlightSpan.contextSpan })); }); });
         }
         function getDocumentHighlights(fileName, position, filesToSearch) {
             var normalizedFileName = ts.normalizePath(fileName);
@@ -163684,7 +164254,7 @@ var ts;
         }
         function getReferencesAtPosition(fileName, position) {
             synchronizeHostData();
-            return getReferencesWorker(ts.getTouchingPropertyName(getValidSourceFile(fileName), position), position, { use: 1 /* References */ }, function (entry, node, checker) { return ts.FindAllReferences.toReferenceEntry(entry, checker.getSymbolAtLocation(node)); });
+            return getReferencesWorker(ts.getTouchingPropertyName(getValidSourceFile(fileName), position), position, { use: 1 /* References */ }, ts.FindAllReferences.toReferenceEntry);
         }
         function getReferencesWorker(node, position, options, cb) {
             synchronizeHostData();
@@ -163699,10 +164269,8 @@ var ts;
             return ts.FindAllReferences.findReferencedSymbols(program, cancellationToken, program.getSourceFiles(), getValidSourceFile(fileName), position);
         }
         function getFileReferences(fileName) {
-            var _a;
             synchronizeHostData();
-            var moduleSymbol = (_a = program.getSourceFile(fileName)) === null || _a === void 0 ? void 0 : _a.symbol;
-            return ts.FindAllReferences.Core.getReferencesForFileName(fileName, program, program.getSourceFiles()).map(function (r) { return ts.FindAllReferences.toReferenceEntry(r, moduleSymbol); });
+            return ts.FindAllReferences.Core.getReferencesForFileName(fileName, program, program.getSourceFiles()).map(ts.FindAllReferences.toReferenceEntry);
         }
         function getNavigateToItems(searchValue, maxResultCount, fileName, excludeDtsFiles) {
             if (excludeDtsFiles === void 0) { excludeDtsFiles = false; }
@@ -164175,7 +164743,7 @@ var ts;
         }
         function isUnclosedFragment(_a) {
             var closingFragment = _a.closingFragment, parent = _a.parent;
-            return !!(closingFragment.flags & 65536 /* ThisNodeHasError */) || (ts.isJsxFragment(parent) && isUnclosedFragment(parent));
+            return !!(closingFragment.flags & 131072 /* ThisNodeHasError */) || (ts.isJsxFragment(parent) && isUnclosedFragment(parent));
         }
         function getSpanOfEnclosingComment(fileName, position, onlyMultiLine) {
             var sourceFile = syntaxTreeCache.getCurrentSourceFile(fileName);
@@ -164623,7 +165191,7 @@ var ts;
                 tokenAtLocation = preceding;
             }
             // Cannot set breakpoint in ambient declarations
-            if (tokenAtLocation.flags & 8388608 /* Ambient */) {
+            if (tokenAtLocation.flags & 16777216 /* Ambient */) {
                 return undefined;
             }
             // Get the span in the node based on its syntax
@@ -166598,6 +167166,11 @@ var ts;
             return "/dev/null/autoImportProviderProject" + counter + "*";
         }
         server.makeAutoImportProviderProjectName = makeAutoImportProviderProjectName;
+        /*@internal*/
+        function makeAuxiliaryProjectName(counter) {
+            return "/dev/null/auxiliaryProject" + counter + "*";
+        }
+        server.makeAuxiliaryProjectName = makeAuxiliaryProjectName;
         function createSortedArray() {
             return []; // TODO: GH#19873
         }
@@ -166811,6 +167384,7 @@ var ts;
                 CommandTypes["SignatureHelp"] = "signatureHelp";
                 /* @internal */
                 CommandTypes["SignatureHelpFull"] = "signatureHelp-full";
+                CommandTypes["FindSourceDefinition"] = "findSourceDefinition";
                 CommandTypes["Status"] = "status";
                 CommandTypes["TypeDefinition"] = "typeDefinition";
                 CommandTypes["ProjectInfo"] = "projectInfo";
@@ -167390,7 +167964,7 @@ var ts;
                     case 0:
                         return server.Errors.ThrowNoProject();
                     case 1:
-                        return ensureNotAutoImportProvider(this.containingProjects[0]);
+                        return ensurePrimaryProjectKind(this.containingProjects[0]);
                     default:
                         // If this file belongs to multiple projects, below is the order in which default project is used
                         // - for open script info, its default configured project during opening is default if info is part of it
@@ -167428,7 +168002,7 @@ var ts;
                                 firstInferredProject = project;
                             }
                         }
-                        return ensureNotAutoImportProvider(defaultConfiguredProject ||
+                        return ensurePrimaryProjectKind(defaultConfiguredProject ||
                             firstNonSourceOfProjectReferenceRedirect ||
                             firstConfiguredProject ||
                             firstExternalProject ||
@@ -167504,8 +168078,8 @@ var ts;
                 return !ts.forEach(this.containingProjects, function (p) { return !p.isOrphan(); });
             };
             /*@internal*/
-            ScriptInfo.prototype.isContainedByAutoImportProvider = function () {
-                return ts.some(this.containingProjects, function (p) { return p.projectKind === server.ProjectKind.AutoImportProvider; });
+            ScriptInfo.prototype.isContainedByBackgroundProject = function () {
+                return ts.some(this.containingProjects, function (p) { return p.projectKind === server.ProjectKind.AutoImportProvider || p.projectKind === server.ProjectKind.Auxiliary; });
             };
             /**
              *  @param line 1 based index
@@ -167539,8 +168113,13 @@ var ts;
             return ScriptInfo;
         }());
         server.ScriptInfo = ScriptInfo;
-        function ensureNotAutoImportProvider(project) {
-            if (!project || project.projectKind === server.ProjectKind.AutoImportProvider) {
+        /**
+         * Throws an error if `project` is an AutoImportProvider or AuxiliaryProject,
+         * which are used in the background by other Projects and should never be
+         * reported as the default project for a ScriptInfo.
+         */
+        function ensurePrimaryProjectKind(project) {
+            if (!project || project.projectKind === server.ProjectKind.AutoImportProvider || project.projectKind === server.ProjectKind.Auxiliary) {
                 return server.Errors.ThrowNoProject();
             }
             return project;
@@ -167680,6 +168259,7 @@ var ts;
             ProjectKind[ProjectKind["Configured"] = 1] = "Configured";
             ProjectKind[ProjectKind["External"] = 2] = "External";
             ProjectKind[ProjectKind["AutoImportProvider"] = 3] = "AutoImportProvider";
+            ProjectKind[ProjectKind["Auxiliary"] = 4] = "Auxiliary";
         })(ProjectKind = server.ProjectKind || (server.ProjectKind = {}));
         /* @internal */
         function countEachFileTypes(infos, includeSizes) {
@@ -167705,7 +168285,7 @@ var ts;
                         result.jsxSize += fileSize;
                         break;
                     case 3 /* TS */:
-                        if (ts.fileExtensionIs(info.fileName, ".d.ts" /* Dts */)) {
+                        if (ts.isDeclarationFileName(info.fileName)) {
                             result.dts += 1;
                             result.dtsSize += fileSize;
                         }
@@ -167743,7 +168323,7 @@ var ts;
         server.allFilesAreJsOrDts = allFilesAreJsOrDts;
         /* @internal */
         function hasNoTypeScriptSource(fileNames) {
-            return !fileNames.some(function (fileName) { return (ts.fileExtensionIs(fileName, ".ts" /* Ts */) && !ts.fileExtensionIs(fileName, ".d.ts" /* Dts */)) || ts.fileExtensionIs(fileName, ".tsx" /* Tsx */); });
+            return !fileNames.some(function (fileName) { return (ts.fileExtensionIs(fileName, ".ts" /* Ts */) && !ts.isDeclarationFileName(fileName)) || ts.fileExtensionIs(fileName, ".tsx" /* Tsx */); });
         }
         server.hasNoTypeScriptSource = hasNoTypeScriptSource;
         function isGeneratedFileWatcher(watch) {
@@ -168147,7 +168727,7 @@ var ts;
                     }
                     // Update the signature
                     if (this.builderState && ts.getEmitDeclarations(this.compilerOptions)) {
-                        var dtsFiles = outputFiles.filter(function (f) { return ts.fileExtensionIs(f.name, ".d.ts" /* Dts */); });
+                        var dtsFiles = outputFiles.filter(function (f) { return ts.isDeclarationFileName(f.name); });
                         if (dtsFiles.length === 1) {
                             var sourceFile = this.program.getSourceFile(scriptInfo.fileName);
                             var signature = this.projectService.host.createHash ?
@@ -168266,6 +168846,10 @@ var ts;
                     this.autoImportProviderHost.close();
                 }
                 this.autoImportProviderHost = undefined;
+                if (this.noDtsResolutionProject) {
+                    this.noDtsResolutionProject.close();
+                }
+                this.noDtsResolutionProject = undefined;
                 // signal language service to release source files acquired from document registry
                 this.languageService.dispose();
                 this.languageService = undefined;
@@ -168788,11 +169372,13 @@ var ts;
                 }
             };
             Project.prototype.setCompilerOptions = function (compilerOptions) {
+                var _a;
                 if (compilerOptions) {
                     compilerOptions.allowNonTsExtensions = true;
                     var oldOptions = this.compilerOptions;
                     this.compilerOptions = compilerOptions;
                     this.setInternalCompilerOptionsForEmittingJsFiles();
+                    (_a = this.noDtsResolutionProject) === null || _a === void 0 ? void 0 : _a.setCompilerOptions(this.getCompilerOptionsForNoDtsResolutionProject());
                     if (ts.changesAffectModuleResolution(oldOptions, compilerOptions)) {
                         // reset cached unresolved imports if changes in compiler options affected module resolution
                         this.cachedUnresolvedImportsPerFile.clear();
@@ -169132,6 +169718,31 @@ var ts;
             Project.prototype.getIncompleteCompletionsCache = function () {
                 return this.projectService.getIncompleteCompletionsCache();
             };
+            /*@internal*/
+            Project.prototype.getNoDtsResolutionProject = function (rootFileNames) {
+                var _this = this;
+                ts.Debug.assert(this.projectService.serverMode === ts.LanguageServiceMode.Semantic);
+                if (!this.noDtsResolutionProject) {
+                    this.noDtsResolutionProject = new AuxiliaryProject(this.projectService, this.documentRegistry, this.getCompilerOptionsForNoDtsResolutionProject());
+                }
+                ts.enumerateInsertsAndDeletes(rootFileNames.map(server.toNormalizedPath), this.noDtsResolutionProject.getRootFiles(), ts.getStringComparer(!this.useCaseSensitiveFileNames()), function (pathToAdd) {
+                    var info = _this.projectService.getOrCreateScriptInfoNotOpenedByClient(pathToAdd, _this.currentDirectory, _this.noDtsResolutionProject.directoryStructureHost);
+                    if (info) {
+                        _this.noDtsResolutionProject.addRoot(info, pathToAdd);
+                    }
+                }, function (pathToRemove) {
+                    // It may be preferable to remove roots only once project grows to a certain size?
+                    var info = _this.noDtsResolutionProject.getScriptInfo(pathToRemove);
+                    if (info) {
+                        _this.noDtsResolutionProject.removeRoot(info);
+                    }
+                });
+                return this.noDtsResolutionProject;
+            };
+            /*@internal*/
+            Project.prototype.getCompilerOptionsForNoDtsResolutionProject = function () {
+                return __assign(__assign({}, this.getCompilerOptions()), { noDtsResolution: true, allowJs: true, maxNodeModuleJsDepth: 3, diagnostics: false, skipLibCheck: true, sourceMap: false, types: ts.emptyArray, lib: ts.emptyArray, noLib: true });
+            };
             return Project;
         }());
         server.Project = Project;
@@ -169247,6 +169858,26 @@ var ts;
             return InferredProject;
         }(Project));
         server.InferredProject = InferredProject;
+        var AuxiliaryProject = /** @class */ (function (_super) {
+            __extends(AuxiliaryProject, _super);
+            function AuxiliaryProject(projectService, documentRegistry, compilerOptions) {
+                return _super.call(this, projectService.newAuxiliaryProjectName(), ProjectKind.Auxiliary, projectService, documentRegistry, 
+                /*hasExplicitListOfFiles*/ false, 
+                /*lastFileExceededProgramSize*/ undefined, compilerOptions, 
+                /*compileOnSaveEnabled*/ false, 
+                /*watchOptions*/ undefined, projectService.host, 
+                /*currentDirectory*/ undefined) || this;
+            }
+            AuxiliaryProject.prototype.isOrphan = function () {
+                return true;
+            };
+            /*@internal*/
+            AuxiliaryProject.prototype.scheduleInvalidateResolutionsOfFailedLookupLocations = function () {
+                // Invalidation will happen on-demand as part of updateGraph
+                return;
+            };
+            return AuxiliaryProject;
+        }(Project));
         var AutoImportProviderProject = /** @class */ (function (_super) {
             __extends(AutoImportProviderProject, _super);
             /*@internal*/
@@ -169398,6 +170029,11 @@ var ts;
                 }
                 return hasSameSetOfFiles;
             };
+            /*@internal*/
+            AutoImportProviderProject.prototype.scheduleInvalidateResolutionsOfFailedLookupLocations = function () {
+                // Invalidation will happen on-demand as part of updateGraph
+                return;
+            };
             AutoImportProviderProject.prototype.hasRoots = function () {
                 var _a;
                 return !!((_a = this.rootFileNames) === null || _a === void 0 ? void 0 : _a.length);
@@ -170083,6 +170719,8 @@ var ts;
                 this.newInferredProjectName = createProjectNameFactoryWithCounter(server.makeInferredProjectName);
                 /*@internal*/
                 this.newAutoImportProviderProjectName = createProjectNameFactoryWithCounter(server.makeAutoImportProviderProjectName);
+                /*@internal*/
+                this.newAuxiliaryProjectName = createProjectNameFactoryWithCounter(server.makeAuxiliaryProjectName);
                 /**
                  * Open files: with value being project root path, and key being Path of the file that is open
                  */
@@ -170286,13 +170924,15 @@ var ts;
             ProjectService.prototype.delayUpdateProjectGraph = function (project) {
                 var _this = this;
                 project.markAsDirty();
-                var projectName = project.getProjectName();
-                this.pendingProjectUpdates.set(projectName, project);
-                this.throttledOperations.schedule(projectName, /*delay*/ 250, function () {
-                    if (_this.pendingProjectUpdates.delete(projectName)) {
-                        updateProjectIfDirty(project);
-                    }
-                });
+                if (project.projectKind !== server.ProjectKind.AutoImportProvider && project.projectKind !== server.ProjectKind.Auxiliary) {
+                    var projectName_1 = project.getProjectName();
+                    this.pendingProjectUpdates.set(projectName_1, project);
+                    this.throttledOperations.schedule(projectName_1, /*delay*/ 250, function () {
+                        if (_this.pendingProjectUpdates.delete(projectName_1)) {
+                            updateProjectIfDirty(project);
+                        }
+                    });
+                }
             };
             /*@internal*/
             ProjectService.prototype.hasPendingProjectUpdate = function (project) {
@@ -172573,7 +173213,7 @@ var ts;
                 var toRemoveScriptInfos = new ts.Map(this.filenameToScriptInfo);
                 this.filenameToScriptInfo.forEach(function (info) {
                     // If script info is open or orphan, retain it and its dependencies
-                    if (!info.isScriptOpen() && info.isOrphan() && !info.isContainedByAutoImportProvider()) {
+                    if (!info.isScriptOpen() && info.isOrphan() && !info.isContainedByBackgroundProject()) {
                         // Otherwise if there is any source info that is alive, this alive too
                         if (!info.sourceMapFilePath)
                             return;
@@ -173543,6 +174183,7 @@ var ts;
                 logger.info("Finding references to " + location.fileName + " position " + location.pos + " in project " + project.getProjectName());
                 var projectOutputs = project.getLanguageService().findReferences(location.fileName, location.pos);
                 if (projectOutputs) {
+                    var clearIsDefinition = projectOutputs[0].references[0].isDefinition === undefined;
                     var _loop_9 = function (referencedSymbol) {
                         var mappedDefinitionFile = getMappedLocation(project, documentSpanLocation(referencedSymbol.definition));
                         var definition = mappedDefinitionFile === undefined ?
@@ -173556,6 +174197,9 @@ var ts;
                             var ref = _b[_a];
                             // If it's in a mapped file, that is added to the todo list by `getMappedLocation`.
                             if (!ts.contains(symbolToAddTo.references, ref, ts.documentSpansEqual) && !getMappedLocation(project, documentSpanLocation(ref))) {
+                                if (clearIsDefinition) {
+                                    delete ref.isDefinition;
+                                }
                                 symbolToAddTo.references.push(ref);
                             }
                         }
@@ -173865,6 +174509,9 @@ var ts;
                     _a[server.CommandNames.DefinitionAndBoundSpanFull] = function (request) {
                         return _this.requiredResponse(_this.getDefinitionAndBoundSpan(request.arguments, /*simplifiedResult*/ false));
                     },
+                    _a[server.CommandNames.FindSourceDefinition] = function (request) {
+                        return _this.requiredResponse(_this.findSourceDefinition(request.arguments));
+                    },
                     _a[server.CommandNames.EmitOutput] = function (request) {
                         return _this.requiredResponse(_this.getEmitOutput(request.arguments));
                     },
@@ -174606,7 +175253,7 @@ var ts;
             Session.prototype.mapDefinitionInfoLocations = function (definitions, project) {
                 return definitions.map(function (info) {
                     var newDocumentSpan = getMappedDocumentSpan(info, project);
-                    return !newDocumentSpan ? info : __assign(__assign(__assign({}, newDocumentSpan), { containerKind: info.containerKind, containerName: info.containerName, kind: info.kind, name: info.name }), info.unverified && { unverified: info.unverified });
+                    return !newDocumentSpan ? info : __assign(__assign(__assign({}, newDocumentSpan), { containerKind: info.containerKind, containerName: info.containerName, kind: info.kind, name: info.name, failedAliasResolution: info.failedAliasResolution }), info.unverified && { unverified: info.unverified });
                 });
             };
             Session.prototype.getDefinitionAndBoundSpan = function (args, simplifiedResult) {
@@ -174633,6 +175280,152 @@ var ts;
                     textSpan: textSpan,
                 };
             };
+            Session.prototype.findSourceDefinition = function (args) {
+                var _a;
+                var _b = this.getFileAndProject(args), file = _b.file, project = _b.project;
+                var position = this.getPositionInFile(args, file);
+                var unmappedDefinitions = project.getLanguageService().getDefinitionAtPosition(file, position);
+                var definitions = this.mapDefinitionInfoLocations(unmappedDefinitions || server.emptyArray, project).slice();
+                var needsJsResolution = this.projectService.serverMode === ts.LanguageServiceMode.Semantic && (!ts.some(definitions, function (d) { return server.toNormalizedPath(d.fileName) !== file && !d.isAmbient; }) ||
+                    ts.some(definitions, function (d) { return !!d.failedAliasResolution; }));
+                if (needsJsResolution) {
+                    var definitionSet_1 = ts.createSet(function (d) { return d.textSpan.start; }, ts.documentSpansEqual);
+                    definitions === null || definitions === void 0 ? void 0 : definitions.forEach(function (d) { return definitionSet_1.add(d); });
+                    var noDtsProject = project.getNoDtsResolutionProject([file]);
+                    var ls = noDtsProject.getLanguageService();
+                    var jsDefinitions = (_a = ls.getDefinitionAtPosition(file, position, /*searchOtherFilesOnly*/ true)) === null || _a === void 0 ? void 0 : _a.filter(function (d) { return server.toNormalizedPath(d.fileName) !== file; });
+                    if (ts.some(jsDefinitions)) {
+                        for (var _i = 0, jsDefinitions_1 = jsDefinitions; _i < jsDefinitions_1.length; _i++) {
+                            var jsDefinition = jsDefinitions_1[_i];
+                            if (jsDefinition.unverified) {
+                                var refined = tryRefineDefinition(jsDefinition, project.getLanguageService().getProgram(), ls.getProgram());
+                                if (ts.some(refined)) {
+                                    for (var _c = 0, refined_1 = refined; _c < refined_1.length; _c++) {
+                                        var def = refined_1[_c];
+                                        definitionSet_1.add(def);
+                                    }
+                                    continue;
+                                }
+                            }
+                            definitionSet_1.add(jsDefinition);
+                        }
+                    }
+                    else {
+                        var ambientCandidates = definitions.filter(function (d) { return server.toNormalizedPath(d.fileName) !== file && d.isAmbient; });
+                        for (var _d = 0, _e = ts.some(ambientCandidates) ? ambientCandidates : getAmbientCandidatesByClimbingAccessChain(); _d < _e.length; _d++) {
+                            var candidate = _e[_d];
+                            var fileNameToSearch = findImplementationFileFromDtsFileName(candidate.fileName, file, noDtsProject);
+                            if (!fileNameToSearch || !ensureRoot(noDtsProject, fileNameToSearch)) {
+                                continue;
+                            }
+                            var noDtsProgram = ls.getProgram();
+                            var fileToSearch = ts.Debug.checkDefined(noDtsProgram.getSourceFile(fileNameToSearch));
+                            for (var _f = 0, _g = searchForDeclaration(candidate.name, fileToSearch, noDtsProgram); _f < _g.length; _f++) {
+                                var match = _g[_f];
+                                definitionSet_1.add(match);
+                            }
+                        }
+                    }
+                    definitions = ts.arrayFrom(definitionSet_1.values());
+                }
+                definitions = definitions.filter(function (d) { return !d.isAmbient && !d.failedAliasResolution; });
+                return this.mapDefinitionInfo(definitions, project);
+                function findImplementationFileFromDtsFileName(fileName, resolveFromFile, auxiliaryProject) {
+                    var _a;
+                    var nodeModulesPathParts = ts.getNodeModulePathParts(fileName);
+                    if (nodeModulesPathParts && fileName.lastIndexOf(ts.nodeModulesPathPart) === nodeModulesPathParts.topLevelNodeModulesIndex) {
+                        // Second check ensures the fileName only contains one `/node_modules/`. If there's more than one I give up.
+                        var packageDirectory = fileName.substring(0, nodeModulesPathParts.packageRootIndex);
+                        var packageJsonCache = (_a = project.getModuleResolutionCache()) === null || _a === void 0 ? void 0 : _a.getPackageJsonInfoCache();
+                        var compilerOptions = project.getCompilationSettings();
+                        var packageJson = ts.getPackageScopeForPath(project.toPath(packageDirectory + "/package.json"), packageJsonCache, project, compilerOptions);
+                        if (!packageJson)
+                            return undefined;
+                        // Use fake options instead of actual compiler options to avoid following export map if the project uses node12 or nodenext -
+                        // Mapping from an export map entry across packages is out of scope for now. Returned entrypoints will only be what can be
+                        // resolved from the package root under --moduleResolution node
+                        var entrypoints = ts.getEntrypointsFromPackageJsonInfo(packageJson, { moduleResolution: ts.ModuleResolutionKind.NodeJs }, project, project.getModuleResolutionCache());
+                        // This substring is correct only because we checked for a single `/node_modules/` at the top.
+                        var packageNamePathPart = fileName.substring(nodeModulesPathParts.topLevelPackageNameIndex + 1, nodeModulesPathParts.packageRootIndex);
+                        var packageName = ts.getPackageNameFromTypesPackageName(ts.unmangleScopedPackageName(packageNamePathPart));
+                        var path_1 = project.toPath(fileName);
+                        if (entrypoints && ts.some(entrypoints, function (e) { return project.toPath(e) === path_1; })) {
+                            // This file was the main entrypoint of a package. Try to resolve that same package name with
+                            // the auxiliary project that only resolves to implementation files.
+                            var implementationResolution = auxiliaryProject.resolveModuleNames([packageName], resolveFromFile)[0];
+                            return implementationResolution === null || implementationResolution === void 0 ? void 0 : implementationResolution.resolvedFileName;
+                        }
+                        else {
+                            // It wasn't the main entrypoint but we are in node_modules. Try a subpath into the package.
+                            var pathToFileInPackage = fileName.substring(nodeModulesPathParts.packageRootIndex + 1);
+                            var specifier = packageName + "/" + ts.removeFileExtension(pathToFileInPackage);
+                            var implementationResolution = auxiliaryProject.resolveModuleNames([specifier], resolveFromFile)[0];
+                            return implementationResolution === null || implementationResolution === void 0 ? void 0 : implementationResolution.resolvedFileName;
+                        }
+                    }
+                    // We're not in node_modules, and we only get to this function if non-dts module resolution failed.
+                    // I'm not sure what else I can do here that isn't already covered by that module resolution.
+                    return undefined;
+                }
+                // In 'foo.bar./**/baz', if we got not results on 'baz', see if we can get an ambient definition
+                // for 'bar' or 'foo' (in that order) so we can search for declarations of 'baz' later.
+                function getAmbientCandidatesByClimbingAccessChain() {
+                    var ls = project.getLanguageService();
+                    var program = ls.getProgram();
+                    var initialNode = ts.getTouchingPropertyName(program.getSourceFile(file), position);
+                    if ((ts.isStringLiteralLike(initialNode) || ts.isIdentifier(initialNode)) && ts.isAccessExpression(initialNode.parent)) {
+                        return ts.forEachNameInAccessChainWalkingLeft(initialNode, function (nameInChain) {
+                            var _a;
+                            if (nameInChain === initialNode)
+                                return undefined;
+                            var candidates = (_a = ls.getDefinitionAtPosition(file, nameInChain.getStart(), /*searchOtherFilesOnly*/ true)) === null || _a === void 0 ? void 0 : _a.filter(function (d) { return server.toNormalizedPath(d.fileName) !== file && d.isAmbient; }).map(function (d) { return ({
+                                fileName: d.fileName,
+                                name: ts.getTextOfIdentifierOrLiteral(initialNode)
+                            }); });
+                            if (ts.some(candidates)) {
+                                return candidates;
+                            }
+                        }) || server.emptyArray;
+                    }
+                    return server.emptyArray;
+                }
+                function tryRefineDefinition(definition, program, noDtsProgram) {
+                    var _a;
+                    var fileToSearch = noDtsProgram.getSourceFile(definition.fileName);
+                    if (!fileToSearch) {
+                        return undefined;
+                    }
+                    var initialNode = ts.getTouchingPropertyName(program.getSourceFile(file), position);
+                    var symbol = program.getTypeChecker().getSymbolAtLocation(initialNode);
+                    var importSpecifier = symbol && ts.getDeclarationOfKind(symbol, 270 /* ImportSpecifier */);
+                    if (!importSpecifier)
+                        return undefined;
+                    var nameToSearch = ((_a = importSpecifier.propertyName) === null || _a === void 0 ? void 0 : _a.text) || importSpecifier.name.text;
+                    return searchForDeclaration(nameToSearch, fileToSearch, noDtsProgram);
+                }
+                function searchForDeclaration(declarationName, fileToSearch, noDtsProgram) {
+                    var matches = ts.FindAllReferences.Core.getTopMostDeclarationNamesInFile(declarationName, fileToSearch);
+                    return ts.mapDefined(matches, function (match) {
+                        var symbol = noDtsProgram.getTypeChecker().getSymbolAtLocation(match);
+                        var decl = ts.getDeclarationFromName(match);
+                        if (symbol && decl) {
+                            // I think the last argument to this is supposed to be the start node, but it doesn't seem important.
+                            // Callers internal to GoToDefinition already get confused about this.
+                            return ts.GoToDefinition.createDefinitionInfo(decl, noDtsProgram.getTypeChecker(), symbol, decl, /*unverified*/ true);
+                        }
+                    });
+                }
+                function ensureRoot(project, fileName) {
+                    var info = project.getScriptInfo(fileName);
+                    if (!info)
+                        return false;
+                    if (!project.containsScriptInfo(info)) {
+                        project.addRoot(info);
+                        project.updateGraph();
+                    }
+                    return true;
+                }
+            };
             Session.prototype.getEmitOutput = function (args) {
                 var _a = this.getFileAndProject(args), file = _a.file, project = _a.project;
                 if (!project.shouldEmitFile(project.getScriptInfo(file))) {
@@ -175196,7 +175989,7 @@ var ts;
                         return undefined;
                     }
                     var compilationSettings = project.getCompilationSettings();
-                    if (!!compilationSettings.noEmit || ts.fileExtensionIs(info.fileName, ".d.ts" /* Dts */) && !dtsChangeCanAffectEmit(compilationSettings)) {
+                    if (!!compilationSettings.noEmit || ts.isDeclarationFileName(info.fileName) && !dtsChangeCanAffectEmit(compilationSettings)) {
                         // avoid triggering emit when a change is made in a .d.ts when declaration emit and decorator metadata emit are disabled
                         return undefined;
                     }
@@ -175676,7 +176469,7 @@ var ts;
                     else {
                         var info = this.projectService.getScriptInfo(fileNameInProject); // TODO: GH#18217
                         if (!info.isScriptOpen()) {
-                            if (ts.fileExtensionIs(fileNameInProject, ".d.ts" /* Dts */)) {
+                            if (ts.isDeclarationFileName(fileNameInProject)) {
                                 veryLowPriorityFiles.push(fileNameInProject);
                             }
                             else {