typescript 5.0.0-dev.20230201 → 5.0.0-dev.20230202

package/lib/lib.es2021.string.d.ts

@@ -14,10 +14,8 @@ and limitations under the License.
 ***************************************************************************** */
 
 
-
 /// <reference no-default-lib="true"/>
 
-
 interface String {
     /**
      * Replace all instances of a substring in a string, using a regular expression or search string.

package/lib/lib.es2021.weakref.d.ts

@@ -14,10 +14,8 @@ and limitations under the License.
 ***************************************************************************** */
 
 
-
 /// <reference no-default-lib="true"/>
 
-
 interface WeakRef<T extends object> {
     readonly [Symbol.toStringTag]: "WeakRef";
 

package/lib/lib.es2022.array.d.ts

@@ -14,10 +14,8 @@ and limitations under the License.
 ***************************************************************************** */
 
 
-
 /// <reference no-default-lib="true"/>
 
-
 interface Array<T> {
     /**
      * Returns the item located at the specified index.

package/lib/lib.es2022.d.ts

@@ -14,10 +14,8 @@ and limitations under the License.
 ***************************************************************************** */
 
 
-
 /// <reference no-default-lib="true"/>
 
-
 /// <reference lib="es2021" />
 /// <reference lib="es2022.array" />
 /// <reference lib="es2022.error" />

package/lib/lib.es2022.error.d.ts

@@ -14,10 +14,8 @@ and limitations under the License.
 ***************************************************************************** */
 
 
-
 /// <reference no-default-lib="true"/>
 
-
 interface ErrorOptions {
     cause?: unknown;
 }

package/lib/lib.es2022.full.d.ts

@@ -14,10 +14,8 @@ and limitations under the License.
 ***************************************************************************** */
 
 
-
 /// <reference no-default-lib="true"/>
 
-
 /// <reference lib="es2022" />
 /// <reference lib="dom" />
 /// <reference lib="webworker.importscripts" />

package/lib/lib.es2022.intl.d.ts

@@ -14,10 +14,8 @@ and limitations under the License.
 ***************************************************************************** */
 
 
-
 /// <reference no-default-lib="true"/>
 
-
 declare namespace Intl {
 
     /**

package/lib/lib.es2022.object.d.ts

@@ -14,10 +14,8 @@ and limitations under the License.
 ***************************************************************************** */
 
 
-
 /// <reference no-default-lib="true"/>
 
-
 interface ObjectConstructor {
     /**
      * Determines whether an object has a property with the specified name.

package/lib/lib.es2022.regexp.d.ts

@@ -14,10 +14,8 @@ and limitations under the License.
 ***************************************************************************** */
 
 
-
 /// <reference no-default-lib="true"/>
 
-
 interface RegExpMatchArray {
     indices?: RegExpIndicesArray;
 }

package/lib/lib.es2022.sharedmemory.d.ts

@@ -14,10 +14,8 @@ and limitations under the License.
 ***************************************************************************** */
 
 
-
 /// <reference no-default-lib="true"/>
 
-
 interface Atomics {
     /**
      * A non-blocking, asynchronous version of wait which is usable on the main thread.

package/lib/lib.es2022.string.d.ts

@@ -14,10 +14,8 @@ and limitations under the License.
 ***************************************************************************** */
 
 
-
 /// <reference no-default-lib="true"/>
 
-
 interface String {
     /**
      * Returns a new String consisting of the single UTF-16 code unit located at the specified index.

package/lib/lib.es2023.array.d.ts

@@ -14,10 +14,8 @@ and limitations under the License.
 ***************************************************************************** */
 
 
-
 /// <reference no-default-lib="true"/>
 
-
 interface Array<T> {
     /**
      * Returns the value of the last element in the array where predicate is true, and undefined

package/lib/lib.es2023.d.ts

@@ -14,9 +14,7 @@ and limitations under the License.
 ***************************************************************************** */
 
 
-
 /// <reference no-default-lib="true"/>
 
-
 /// <reference lib="es2022" />
 /// <reference lib="es2023.array" />

package/lib/lib.es2023.full.d.ts

@@ -14,10 +14,8 @@ and limitations under the License.
 ***************************************************************************** */
 
 
-
 /// <reference no-default-lib="true"/>
 
-
 /// <reference lib="es2023" />
 /// <reference lib="dom" />
 /// <reference lib="webworker.importscripts" />

package/lib/lib.es5.d.ts

@@ -14,10 +14,8 @@ and limitations under the License.
 ***************************************************************************** */
 
 
-
 /// <reference no-default-lib="true"/>
 
-
 /// <reference lib="decorators" />
 /// <reference lib="decorators.legacy" />
 

package/lib/lib.es6.d.ts

@@ -14,10 +14,8 @@ and limitations under the License.
 ***************************************************************************** */
 
 
-
 /// <reference no-default-lib="true"/>
 
-
 /// <reference lib="es2015" />
 /// <reference lib="dom" />
 /// <reference lib="dom.iterable" />

package/lib/lib.esnext.d.ts

@@ -14,9 +14,7 @@ and limitations under the License.
 ***************************************************************************** */
 
 
-
 /// <reference no-default-lib="true"/>
 
-
 /// <reference lib="es2023" />
 /// <reference lib="esnext.intl" />

package/lib/lib.esnext.full.d.ts

@@ -14,10 +14,8 @@ and limitations under the License.
 ***************************************************************************** */
 
 
-
 /// <reference no-default-lib="true"/>
 
-
 /// <reference lib="esnext" />
 /// <reference lib="dom" />
 /// <reference lib="webworker.importscripts" />

package/lib/lib.esnext.intl.d.ts

@@ -14,10 +14,8 @@ and limitations under the License.
 ***************************************************************************** */
 
 
-
 /// <reference no-default-lib="true"/>
 
-
 declare namespace Intl {
   interface NumberRangeFormatPart extends NumberFormatPart {
     source: "startRange" | "endRange" | "shared"

package/lib/lib.scripthost.d.ts

@@ -14,12 +14,10 @@ and limitations under the License.
 ***************************************************************************** */
 
 
-
 /// <reference no-default-lib="true"/>
 
 
 
-
 /////////////////////////////
 /// Windows Script Host APIS
 /////////////////////////////

package/lib/lib.webworker.d.ts

@@ -14,10 +14,8 @@ and limitations under the License.
 ***************************************************************************** */
 
 
-
 /// <reference no-default-lib="true"/>
 
-
 /////////////////////////////
 /// Worker APIs
 /////////////////////////////

package/lib/lib.webworker.importscripts.d.ts

@@ -14,11 +14,9 @@ and limitations under the License.
 ***************************************************************************** */
 
 
-
 /// <reference no-default-lib="true"/>
 
 
-
 /////////////////////////////
 /// WorkerGlobalScope APIs
 /////////////////////////////

package/lib/lib.webworker.iterable.d.ts

@@ -14,10 +14,8 @@ and limitations under the License.
 ***************************************************************************** */
 
 
-
 /// <reference no-default-lib="true"/>
 
-
 /////////////////////////////
 /// Worker Iterable APIs
 /////////////////////////////

package/lib/tsc.js

@@ -23,7 +23,7 @@ var __export = (target, all) => {
 
 // src/compiler/corePublic.ts
 var versionMajorMinor = "5.0";
-var version = `${versionMajorMinor}.0-dev.20230201`;
+var version = `${versionMajorMinor}.0-dev.20230202`;
 
 // src/compiler/core.ts
 var emptyArray = [];
@@ -6051,7 +6051,6 @@ var Diagnostics = {
   Module_0_does_not_refer_to_a_value_but_is_used_as_a_value_here: diag(1339, 1 /* Error */, "Module_0_does_not_refer_to_a_value_but_is_used_as_a_value_here_1339", "Module '{0}' does not refer to a value, but is used as a value here."),
   Module_0_does_not_refer_to_a_type_but_is_used_as_a_type_here_Did_you_mean_typeof_import_0: diag(1340, 1 /* Error */, "Module_0_does_not_refer_to_a_type_but_is_used_as_a_type_here_Did_you_mean_typeof_import_0_1340", "Module '{0}' does not refer to a type, but is used as a type here. Did you mean 'typeof import('{0}')'?"),
   Class_constructor_may_not_be_an_accessor: diag(1341, 1 /* Error */, "Class_constructor_may_not_be_an_accessor_1341", "Class constructor may not be an accessor."),
-  Type_arguments_cannot_be_used_here: diag(1342, 1 /* Error */, "Type_arguments_cannot_be_used_here_1342", "Type arguments cannot be used here."),
   The_import_meta_meta_property_is_only_allowed_when_the_module_option_is_es2020_es2022_esnext_system_node16_or_nodenext: diag(1343, 1 /* Error */, "The_import_meta_meta_property_is_only_allowed_when_the_module_option_is_es2020_es2022_esnext_system__1343", "The 'import.meta' meta-property is only allowed when the '--module' option is 'es2020', 'es2022', 'esnext', 'system', 'node16', or 'nodenext'."),
   A_label_is_not_allowed_here: diag(1344, 1 /* Error */, "A_label_is_not_allowed_here_1344", "'A label is not allowed here."),
   An_expression_of_type_void_cannot_be_tested_for_truthiness: diag(1345, 1 /* Error */, "An_expression_of_type_void_cannot_be_tested_for_truthiness_1345", "An expression of type 'void' cannot be tested for truthiness."),
@@ -6697,7 +6696,7 @@ var Diagnostics = {
   Private_accessor_was_defined_without_a_getter: diag(2806, 1 /* Error */, "Private_accessor_was_defined_without_a_getter_2806", "Private accessor was defined without a getter."),
   This_syntax_requires_an_imported_helper_named_1_with_2_parameters_which_is_not_compatible_with_the_one_in_0_Consider_upgrading_your_version_of_0: diag(2807, 1 /* Error */, "This_syntax_requires_an_imported_helper_named_1_with_2_parameters_which_is_not_compatible_with_the_o_2807", "This syntax requires an imported helper named '{1}' with {2} parameters, which is not compatible with the one in '{0}'. Consider upgrading your version of '{0}'."),
   A_get_accessor_must_be_at_least_as_accessible_as_the_setter: diag(2808, 1 /* Error */, "A_get_accessor_must_be_at_least_as_accessible_as_the_setter_2808", "A get accessor must be at least as accessible as the setter"),
-  Declaration_or_statement_expected_This_follows_a_block_of_statements_so_if_you_intended_to_write_a_destructuring_assignment_you_might_need_to_wrap_the_the_whole_assignment_in_parentheses: diag(2809, 1 /* Error */, "Declaration_or_statement_expected_This_follows_a_block_of_statements_so_if_you_intended_to_write_a_d_2809", "Declaration or statement expected. This '=' follows a block of statements, so if you intended to write a destructuring assignment, you might need to wrap the the whole assignment in parentheses."),
+  Declaration_or_statement_expected_This_follows_a_block_of_statements_so_if_you_intended_to_write_a_destructuring_assignment_you_might_need_to_wrap_the_whole_assignment_in_parentheses: diag(2809, 1 /* Error */, "Declaration_or_statement_expected_This_follows_a_block_of_statements_so_if_you_intended_to_write_a_d_2809", "Declaration or statement expected. This '=' follows a block of statements, so if you intended to write a destructuring assignment, you might need to wrap the whole assignment in parentheses."),
   Expected_1_argument_but_got_0_new_Promise_needs_a_JSDoc_hint_to_produce_a_resolve_that_can_be_called_without_arguments: diag(2810, 1 /* Error */, "Expected_1_argument_but_got_0_new_Promise_needs_a_JSDoc_hint_to_produce_a_resolve_that_can_be_called_2810", "Expected 1 argument, but got 0. 'new Promise()' needs a JSDoc hint to produce a 'resolve' that can be called without arguments."),
   Initializer_for_property_0: diag(2811, 1 /* Error */, "Initializer_for_property_0_2811", "Initializer for property '{0}'"),
   Property_0_does_not_exist_on_type_1_Try_changing_the_lib_compiler_option_to_include_dom: diag(2812, 1 /* Error */, "Property_0_does_not_exist_on_type_1_Try_changing_the_lib_compiler_option_to_include_dom_2812", "Property '{0}' does not exist on type '{1}'. Try changing the 'lib' compiler option to include 'dom'."),
@@ -10712,6 +10711,9 @@ function isFunctionLikeOrClassStaticBlockDeclaration(node) {
 function isFunctionLikeDeclaration(node) {
   return node && isFunctionLikeDeclarationKind(node.kind);
 }
+function isBooleanLiteral(node) {
+  return node.kind === 110 /* TrueKeyword */ || node.kind === 95 /* FalseKeyword */;
+}
 function isFunctionLikeDeclarationKind(kind) {
   switch (kind) {
     case 259 /* FunctionDeclaration */:
@@ -29623,7 +29625,7 @@ var Parser;
       parseExpectedMatchingBrackets(18 /* OpenBraceToken */, 19 /* CloseBraceToken */, openBraceParsed, openBracePosition);
       const result = withJSDoc(finishNode(factory2.createBlock(statements, multiLine), pos), hasJSDoc);
       if (token() === 63 /* EqualsToken */) {
-        parseErrorAtCurrentToken(Diagnostics.Declaration_or_statement_expected_This_follows_a_block_of_statements_so_if_you_intended_to_write_a_destructuring_assignment_you_might_need_to_wrap_the_the_whole_assignment_in_parentheses);
+        parseErrorAtCurrentToken(Diagnostics.Declaration_or_statement_expected_This_follows_a_block_of_statements_so_if_you_intended_to_write_a_destructuring_assignment_you_might_need_to_wrap_the_whole_assignment_in_parentheses);
         nextToken();
       }
       return result;
@@ -41833,8 +41835,10 @@ function tryGetModuleNameAsNodeModule({ path, isRedirect }, { getCanonicalFileNa
       const packageJsonContent = (cachedPackageJson == null ? void 0 : cachedPackageJson.contents.packageJsonContent) || JSON.parse(host.readFile(packageJsonPath));
       const importMode = overrideMode || importingSourceFile.impliedNodeFormat;
       if (getResolvePackageJsonExports(options)) {
+        const nodeModulesDirectoryName2 = packageRootPath.substring(parts.topLevelPackageNameIndex + 1);
+        const packageName2 = getPackageNameFromTypesPackageName(nodeModulesDirectoryName2);
         const conditions = getConditions(options, importMode === 99 /* ESNext */);
-        const fromExports = packageJsonContent.exports && typeof packageJsonContent.name === "string" ? tryGetModuleNameFromExports(options, path, packageRootPath, getPackageNameFromTypesPackageName(packageJsonContent.name), packageJsonContent.exports, conditions) : void 0;
+        const fromExports = packageJsonContent.exports ? tryGetModuleNameFromExports(options, path, packageRootPath, packageName2, packageJsonContent.exports, conditions) : void 0;
         if (fromExports) {
           const withJsExtension = !hasTSFileExtension(fromExports.moduleFileToTry) ? fromExports : { moduleFileToTry: removeFileExtension(fromExports.moduleFileToTry) + tryGetJSExtensionForFile(fromExports.moduleFileToTry, options) };
           return { ...withJsExtension, verbatimFromExports: true };
@@ -55417,7 +55421,7 @@ function createTypeChecker(host) {
   function typePredicateKindsMatch(a, b) {
     return a.kind === b.kind && a.parameterIndex === b.parameterIndex;
   }
-  function getUnionTypeFromSortedList(types, objectFlags, aliasSymbol, aliasTypeArguments, origin) {
+  function getUnionTypeFromSortedList(types, precomputedObjectFlags, aliasSymbol, aliasTypeArguments, origin) {
     if (types.length === 0) {
       return neverType;
     }
@@ -55429,7 +55433,7 @@ function createTypeChecker(host) {
     let type = unionTypes.get(id);
     if (!type) {
       type = createType(1048576 /* Union */);
-      type.objectFlags = objectFlags | getPropagatingFlagsOfTypes(
+      type.objectFlags = precomputedObjectFlags | getPropagatingFlagsOfTypes(
         types,
         /*excludeKinds*/
         98304 /* Nullable */
@@ -56606,11 +56610,6 @@ function createTypeChecker(host) {
     var _a2;
     const links = getNodeLinks(node);
     if (!links.resolvedType) {
-      if (node.isTypeOf && node.typeArguments) {
-        error(node, Diagnostics.Type_arguments_cannot_be_used_here);
-        links.resolvedSymbol = unknownSymbol;
-        return links.resolvedType = errorType;
-      }
       if (!isLiteralImportTypeNode(node)) {
         error(node.argument, Diagnostics.String_literal_expected);
         links.resolvedSymbol = unknownSymbol;
@@ -56671,7 +56670,7 @@ function createTypeChecker(host) {
     const resolvedSymbol = resolveSymbol(symbol);
     links.resolvedSymbol = resolvedSymbol;
     if (meaning === 111551 /* Value */) {
-      return getTypeOfSymbol(symbol);
+      return getInstantiationExpressionType(getTypeOfSymbol(symbol), node);
     } else {
       const type = tryGetDeclaredTypeOfSymbol(resolvedSymbol);
       const typeParameters = type && getTypeParametersForTypeAndSymbol(type, resolvedSymbol);
@@ -58749,7 +58748,8 @@ function createTypeChecker(host) {
         Debug.assert(!isTypeAssignableTo(generalizedSource, target2), "generalized source shouldn't be assignable");
         generalizedSourceType = getTypeNameForErrorDisplay(generalizedSource);
       }
-      if (target2.flags & 262144 /* TypeParameter */ && target2 !== markerSuperTypeForCheck && target2 !== markerSubTypeForCheck) {
+      const targetFlags = target2.flags & 8388608 /* IndexedAccess */ && !(source2.flags & 8388608 /* IndexedAccess */) ? target2.objectType.flags : target2.flags;
+      if (targetFlags & 262144 /* TypeParameter */ && target2 !== markerSuperTypeForCheck && target2 !== markerSubTypeForCheck) {
         const constraint = getBaseConstraintOfType(target2);
         let needsOriginalSource;
         if (constraint && (isTypeAssignableTo(generalizedSource, constraint) || (needsOriginalSource = isTypeAssignableTo(source2, constraint)))) {
@@ -63417,7 +63417,7 @@ function createTypeChecker(host) {
       }
       return getUnionTypeFromSortedList(
         filtered,
-        type.objectFlags,
+        type.objectFlags & (32768 /* PrimitiveUnion */ | 16777216 /* ContainsIntersections */),
         /*aliasSymbol*/
         void 0,
         /*aliasTypeArguments*/
@@ -70399,6 +70399,9 @@ function createTypeChecker(host) {
     checkGrammarExpressionWithTypeArguments(node);
     forEach(node.typeArguments, checkSourceElement);
     const exprType = node.kind === 230 /* ExpressionWithTypeArguments */ ? checkExpression(node.expression) : isThisIdentifier(node.exprName) ? checkThisExpression(node.exprName) : checkExpression(node.exprName);
+    return getInstantiationExpressionType(exprType, node);
+  }
+  function getInstantiationExpressionType(exprType, node) {
     const typeArguments = node.typeArguments;
     if (exprType === silentNeverType || isErrorType(exprType) || !some(typeArguments)) {
       return exprType;
@@ -73037,7 +73040,7 @@ function createTypeChecker(host) {
       return isCallChain(expr) ? getReturnTypeOfSingleNonGenericSignatureOfCallChain(expr) : getReturnTypeOfSingleNonGenericCallSignature(checkNonNullExpression(expr.expression));
     } else if (isAssertionExpression(expr) && !isConstTypeReference(expr.type)) {
       return getTypeFromTypeNode(expr.type);
-    } else if (node.kind === 8 /* NumericLiteral */ || node.kind === 10 /* StringLiteral */ || node.kind === 110 /* TrueKeyword */ || node.kind === 95 /* FalseKeyword */) {
+    } else if (isLiteralExpression(node) || isBooleanLiteral(node)) {
       return checkExpression(node);
     }
     return void 0;
@@ -103891,7 +103894,7 @@ function transformDeclarations(context) {
       if (elem.kind === 229 /* OmittedExpression */) {
         return elem;
       }
-      if (elem.propertyName && isIdentifier(elem.propertyName) && isIdentifier(elem.name) && !elem.symbol.isReferenced) {
+      if (elem.propertyName && isIdentifier(elem.propertyName) && isIdentifier(elem.name) && !elem.symbol.isReferenced && !isIdentifierANonContextualKeyword(elem.propertyName)) {
         return factory2.updateBindingElement(
           elem,
           elem.dotDotDotToken,

package/lib/tsserver.js

@@ -2378,7 +2378,7 @@ __export(ts_server_exports3, {
 
 // src/compiler/corePublic.ts
 var versionMajorMinor = "5.0";
-var version = `${versionMajorMinor}.0-dev.20230201`;
+var version = `${versionMajorMinor}.0-dev.20230202`;
 var Comparison = /* @__PURE__ */ ((Comparison3) => {
   Comparison3[Comparison3["LessThan"] = -1] = "LessThan";
   Comparison3[Comparison3["EqualTo"] = 0] = "EqualTo";
@@ -9606,7 +9606,6 @@ var Diagnostics = {
   Module_0_does_not_refer_to_a_value_but_is_used_as_a_value_here: diag(1339, 1 /* Error */, "Module_0_does_not_refer_to_a_value_but_is_used_as_a_value_here_1339", "Module '{0}' does not refer to a value, but is used as a value here."),
   Module_0_does_not_refer_to_a_type_but_is_used_as_a_type_here_Did_you_mean_typeof_import_0: diag(1340, 1 /* Error */, "Module_0_does_not_refer_to_a_type_but_is_used_as_a_type_here_Did_you_mean_typeof_import_0_1340", "Module '{0}' does not refer to a type, but is used as a type here. Did you mean 'typeof import('{0}')'?"),
   Class_constructor_may_not_be_an_accessor: diag(1341, 1 /* Error */, "Class_constructor_may_not_be_an_accessor_1341", "Class constructor may not be an accessor."),
-  Type_arguments_cannot_be_used_here: diag(1342, 1 /* Error */, "Type_arguments_cannot_be_used_here_1342", "Type arguments cannot be used here."),
   The_import_meta_meta_property_is_only_allowed_when_the_module_option_is_es2020_es2022_esnext_system_node16_or_nodenext: diag(1343, 1 /* Error */, "The_import_meta_meta_property_is_only_allowed_when_the_module_option_is_es2020_es2022_esnext_system__1343", "The 'import.meta' meta-property is only allowed when the '--module' option is 'es2020', 'es2022', 'esnext', 'system', 'node16', or 'nodenext'."),
   A_label_is_not_allowed_here: diag(1344, 1 /* Error */, "A_label_is_not_allowed_here_1344", "'A label is not allowed here."),
   An_expression_of_type_void_cannot_be_tested_for_truthiness: diag(1345, 1 /* Error */, "An_expression_of_type_void_cannot_be_tested_for_truthiness_1345", "An expression of type 'void' cannot be tested for truthiness."),
@@ -10252,7 +10251,7 @@ var Diagnostics = {
   Private_accessor_was_defined_without_a_getter: diag(2806, 1 /* Error */, "Private_accessor_was_defined_without_a_getter_2806", "Private accessor was defined without a getter."),
   This_syntax_requires_an_imported_helper_named_1_with_2_parameters_which_is_not_compatible_with_the_one_in_0_Consider_upgrading_your_version_of_0: diag(2807, 1 /* Error */, "This_syntax_requires_an_imported_helper_named_1_with_2_parameters_which_is_not_compatible_with_the_o_2807", "This syntax requires an imported helper named '{1}' with {2} parameters, which is not compatible with the one in '{0}'. Consider upgrading your version of '{0}'."),
   A_get_accessor_must_be_at_least_as_accessible_as_the_setter: diag(2808, 1 /* Error */, "A_get_accessor_must_be_at_least_as_accessible_as_the_setter_2808", "A get accessor must be at least as accessible as the setter"),
-  Declaration_or_statement_expected_This_follows_a_block_of_statements_so_if_you_intended_to_write_a_destructuring_assignment_you_might_need_to_wrap_the_the_whole_assignment_in_parentheses: diag(2809, 1 /* Error */, "Declaration_or_statement_expected_This_follows_a_block_of_statements_so_if_you_intended_to_write_a_d_2809", "Declaration or statement expected. This '=' follows a block of statements, so if you intended to write a destructuring assignment, you might need to wrap the the whole assignment in parentheses."),
+  Declaration_or_statement_expected_This_follows_a_block_of_statements_so_if_you_intended_to_write_a_destructuring_assignment_you_might_need_to_wrap_the_whole_assignment_in_parentheses: diag(2809, 1 /* Error */, "Declaration_or_statement_expected_This_follows_a_block_of_statements_so_if_you_intended_to_write_a_d_2809", "Declaration or statement expected. This '=' follows a block of statements, so if you intended to write a destructuring assignment, you might need to wrap the whole assignment in parentheses."),
   Expected_1_argument_but_got_0_new_Promise_needs_a_JSDoc_hint_to_produce_a_resolve_that_can_be_called_without_arguments: diag(2810, 1 /* Error */, "Expected_1_argument_but_got_0_new_Promise_needs_a_JSDoc_hint_to_produce_a_resolve_that_can_be_called_2810", "Expected 1 argument, but got 0. 'new Promise()' needs a JSDoc hint to produce a 'resolve' that can be called without arguments."),
   Initializer_for_property_0: diag(2811, 1 /* Error */, "Initializer_for_property_0_2811", "Initializer for property '{0}'"),
   Property_0_does_not_exist_on_type_1_Try_changing_the_lib_compiler_option_to_include_dom: diag(2812, 1 /* Error */, "Property_0_does_not_exist_on_type_1_Try_changing_the_lib_compiler_option_to_include_dom_2812", "Property '{0}' does not exist on type '{1}'. Try changing the 'lib' compiler option to include 'dom'."),
@@ -34033,7 +34032,7 @@ var Parser;
       parseExpectedMatchingBrackets(18 /* OpenBraceToken */, 19 /* CloseBraceToken */, openBraceParsed, openBracePosition);
       const result = withJSDoc(finishNode(factory2.createBlock(statements, multiLine), pos), hasJSDoc);
       if (token() === 63 /* EqualsToken */) {
-        parseErrorAtCurrentToken(Diagnostics.Declaration_or_statement_expected_This_follows_a_block_of_statements_so_if_you_intended_to_write_a_destructuring_assignment_you_might_need_to_wrap_the_the_whole_assignment_in_parentheses);
+        parseErrorAtCurrentToken(Diagnostics.Declaration_or_statement_expected_This_follows_a_block_of_statements_so_if_you_intended_to_write_a_destructuring_assignment_you_might_need_to_wrap_the_whole_assignment_in_parentheses);
         nextToken();
       }
       return result;
@@ -46491,8 +46490,10 @@ function tryGetModuleNameAsNodeModule({ path, isRedirect }, { getCanonicalFileNa
       const packageJsonContent = (cachedPackageJson == null ? void 0 : cachedPackageJson.contents.packageJsonContent) || JSON.parse(host.readFile(packageJsonPath));
       const importMode = overrideMode || importingSourceFile.impliedNodeFormat;
       if (getResolvePackageJsonExports(options)) {
+        const nodeModulesDirectoryName2 = packageRootPath.substring(parts.topLevelPackageNameIndex + 1);
+        const packageName2 = getPackageNameFromTypesPackageName(nodeModulesDirectoryName2);
         const conditions = getConditions(options, importMode === 99 /* ESNext */);
-        const fromExports = packageJsonContent.exports && typeof packageJsonContent.name === "string" ? tryGetModuleNameFromExports(options, path, packageRootPath, getPackageNameFromTypesPackageName(packageJsonContent.name), packageJsonContent.exports, conditions) : void 0;
+        const fromExports = packageJsonContent.exports ? tryGetModuleNameFromExports(options, path, packageRootPath, packageName2, packageJsonContent.exports, conditions) : void 0;
         if (fromExports) {
           const withJsExtension = !hasTSFileExtension(fromExports.moduleFileToTry) ? fromExports : { moduleFileToTry: removeFileExtension(fromExports.moduleFileToTry) + tryGetJSExtensionForFile(fromExports.moduleFileToTry, options) };
           return { ...withJsExtension, verbatimFromExports: true };
@@ -60075,7 +60076,7 @@ function createTypeChecker(host) {
   function typePredicateKindsMatch(a, b) {
     return a.kind === b.kind && a.parameterIndex === b.parameterIndex;
   }
-  function getUnionTypeFromSortedList(types, objectFlags, aliasSymbol, aliasTypeArguments, origin) {
+  function getUnionTypeFromSortedList(types, precomputedObjectFlags, aliasSymbol, aliasTypeArguments, origin) {
     if (types.length === 0) {
       return neverType;
     }
@@ -60087,7 +60088,7 @@ function createTypeChecker(host) {
     let type = unionTypes.get(id);
     if (!type) {
       type = createType(1048576 /* Union */);
-      type.objectFlags = objectFlags | getPropagatingFlagsOfTypes(
+      type.objectFlags = precomputedObjectFlags | getPropagatingFlagsOfTypes(
         types,
         /*excludeKinds*/
         98304 /* Nullable */
@@ -61264,11 +61265,6 @@ function createTypeChecker(host) {
     var _a2;
     const links = getNodeLinks(node);
     if (!links.resolvedType) {
-      if (node.isTypeOf && node.typeArguments) {
-        error(node, Diagnostics.Type_arguments_cannot_be_used_here);
-        links.resolvedSymbol = unknownSymbol;
-        return links.resolvedType = errorType;
-      }
       if (!isLiteralImportTypeNode(node)) {
         error(node.argument, Diagnostics.String_literal_expected);
         links.resolvedSymbol = unknownSymbol;
@@ -61329,7 +61325,7 @@ function createTypeChecker(host) {
     const resolvedSymbol = resolveSymbol(symbol);
     links.resolvedSymbol = resolvedSymbol;
     if (meaning === 111551 /* Value */) {
-      return getTypeOfSymbol(symbol);
+      return getInstantiationExpressionType(getTypeOfSymbol(symbol), node);
     } else {
       const type = tryGetDeclaredTypeOfSymbol(resolvedSymbol);
       const typeParameters = type && getTypeParametersForTypeAndSymbol(type, resolvedSymbol);
@@ -63407,7 +63403,8 @@ function createTypeChecker(host) {
         Debug.assert(!isTypeAssignableTo(generalizedSource, target2), "generalized source shouldn't be assignable");
         generalizedSourceType = getTypeNameForErrorDisplay(generalizedSource);
       }
-      if (target2.flags & 262144 /* TypeParameter */ && target2 !== markerSuperTypeForCheck && target2 !== markerSubTypeForCheck) {
+      const targetFlags = target2.flags & 8388608 /* IndexedAccess */ && !(source2.flags & 8388608 /* IndexedAccess */) ? target2.objectType.flags : target2.flags;
+      if (targetFlags & 262144 /* TypeParameter */ && target2 !== markerSuperTypeForCheck && target2 !== markerSubTypeForCheck) {
         const constraint = getBaseConstraintOfType(target2);
         let needsOriginalSource;
         if (constraint && (isTypeAssignableTo(generalizedSource, constraint) || (needsOriginalSource = isTypeAssignableTo(source2, constraint)))) {
@@ -68075,7 +68072,7 @@ function createTypeChecker(host) {
       }
       return getUnionTypeFromSortedList(
         filtered,
-        type.objectFlags,
+        type.objectFlags & (32768 /* PrimitiveUnion */ | 16777216 /* ContainsIntersections */),
         /*aliasSymbol*/
         void 0,
         /*aliasTypeArguments*/
@@ -75057,6 +75054,9 @@ function createTypeChecker(host) {
     checkGrammarExpressionWithTypeArguments(node);
     forEach(node.typeArguments, checkSourceElement);
     const exprType = node.kind === 230 /* ExpressionWithTypeArguments */ ? checkExpression(node.expression) : isThisIdentifier(node.exprName) ? checkThisExpression(node.exprName) : checkExpression(node.exprName);
+    return getInstantiationExpressionType(exprType, node);
+  }
+  function getInstantiationExpressionType(exprType, node) {
     const typeArguments = node.typeArguments;
     if (exprType === silentNeverType || isErrorType(exprType) || !some(typeArguments)) {
       return exprType;
@@ -77695,7 +77695,7 @@ function createTypeChecker(host) {
       return isCallChain(expr) ? getReturnTypeOfSingleNonGenericSignatureOfCallChain(expr) : getReturnTypeOfSingleNonGenericCallSignature(checkNonNullExpression(expr.expression));
     } else if (isAssertionExpression(expr) && !isConstTypeReference(expr.type)) {
       return getTypeFromTypeNode(expr.type);
-    } else if (node.kind === 8 /* NumericLiteral */ || node.kind === 10 /* StringLiteral */ || node.kind === 110 /* TrueKeyword */ || node.kind === 95 /* FalseKeyword */) {
+    } else if (isLiteralExpression(node) || isBooleanLiteral(node)) {
       return checkExpression(node);
     }
     return void 0;
@@ -108720,7 +108720,7 @@ function transformDeclarations(context) {
       if (elem.kind === 229 /* OmittedExpression */) {
         return elem;
       }
-      if (elem.propertyName && isIdentifier(elem.propertyName) && isIdentifier(elem.name) && !elem.symbol.isReferenced) {
+      if (elem.propertyName && isIdentifier(elem.propertyName) && isIdentifier(elem.name) && !elem.symbol.isReferenced && !isIdentifierANonContextualKeyword(elem.propertyName)) {
         return factory2.updateBindingElement(
           elem,
           elem.dotDotDotToken,
@@ -153651,12 +153651,12 @@ function getStringLiteralCompletionsFromModuleNamesWorker(sourceFile, node, comp
   const mode = isStringLiteralLike(node) ? getModeForUsageLocation(sourceFile, node) : void 0;
   const scriptPath = sourceFile.path;
   const scriptDirectory = getDirectoryPath(scriptPath);
-  const extensionOptions = getExtensionOptions(compilerOptions, ReferenceKind.ModuleSpecifier, sourceFile, preferences, mode);
+  const extensionOptions = getExtensionOptions(compilerOptions, ReferenceKind.ModuleSpecifier, sourceFile, typeChecker, preferences, mode);
   return isPathRelativeToScript(literalValue) || !compilerOptions.baseUrl && (isRootedDiskPath(literalValue) || isUrl(literalValue)) ? getCompletionEntriesForRelativeModules(literalValue, scriptDirectory, compilerOptions, host, scriptPath, extensionOptions) : getCompletionEntriesForNonRelativeModules(literalValue, scriptDirectory, mode, compilerOptions, host, extensionOptions, typeChecker);
 }
-function getExtensionOptions(compilerOptions, referenceKind, importingSourceFile, preferences, resolutionMode) {
+function getExtensionOptions(compilerOptions, referenceKind, importingSourceFile, typeChecker, preferences, resolutionMode) {
   return {
-    extensionsToSearch: flatten(getSupportedExtensionsForModuleResolution(compilerOptions)),
+    extensionsToSearch: flatten(getSupportedExtensionsForModuleResolution(compilerOptions, typeChecker)),
     referenceKind,
     importingSourceFile,
     endingPreference: preferences == null ? void 0 : preferences.importModuleSpecifierEnding,
@@ -153686,8 +153686,17 @@ function getCompletionEntriesForRelativeModules(literalValue, scriptDirectory, c
     ).values());
   }
 }
-function getSupportedExtensionsForModuleResolution(compilerOptions) {
-  const extensions = getSupportedExtensions(compilerOptions);
+function getSupportedExtensionsForModuleResolution(compilerOptions, typeChecker) {
+  const ambientModulesExtensions = !typeChecker ? [] : mapDefined(
+    typeChecker.getAmbientModules(),
+    (module2) => {
+      const name = module2.name.slice(1, -1);
+      if (!name.startsWith("*.") || name.includes("/"))
+        return;
+      return name.slice(1);
+    }
+  );
+  const extensions = [...getSupportedExtensions(compilerOptions), ambientModulesExtensions];
   const moduleResolution = getEmitModuleResolutionKind(compilerOptions);
   return moduleResolutionUsesNodeModules(moduleResolution) ? getSupportedExtensionsWithJsonIfResolveJsonModule(compilerOptions, extensions) : extensions;
 }

package/lib/tsserverlibrary.d.ts

@@ -6310,6 +6310,7 @@ declare namespace ts {
     }
     interface TypeChecker {
         getTypeOfSymbolAtLocation(symbol: Symbol, node: Node): Type;
+        getTypeOfSymbol(symbol: Symbol): Type;
         getDeclaredTypeOfSymbol(symbol: Symbol): Type;
         getPropertiesOfType(type: Type): Symbol[];
         getPropertyOfType(type: Type, propertyName: string): Symbol | undefined;
@@ -6400,6 +6401,21 @@ declare namespace ts {
         getApparentType(type: Type): Type;
         getBaseConstraintOfType(type: Type): Type | undefined;
         getDefaultFromTypeParameter(type: Type): Type | undefined;
+        /**
+         * True if this type is the `Array` or `ReadonlyArray` type from lib.d.ts.
+         * This function will _not_ return true if passed a type which
+         * extends `Array` (for example, the TypeScript AST's `NodeArray` type).
+         */
+        isArrayType(type: Type): boolean;
+        /**
+         * True if this type is a tuple type. This function will _not_ return true if
+         * passed a type which extends from a tuple.
+         */
+        isTupleType(type: Type): boolean;
+        /**
+         * True if this type is assignable to `ReadonlyArray<any>`.
+         */
+        isArrayLikeType(type: Type): boolean;
         getTypePredicateOfSignature(signature: Signature): TypePredicate | undefined;
         /**
          * Depending on the operation performed, it may be appropriate to throw away the checker