typescript 5.0.0-dev.20230131 → 5.0.0-dev.20230202

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.20230131`;
+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'."),
@@ -10990,6 +10989,7 @@ var Diagnostics = {
   new_expression_whose_target_lacks_a_construct_signature_implicitly_has_an_any_type: diag(7009, 1 /* Error */, "new_expression_whose_target_lacks_a_construct_signature_implicitly_has_an_any_type_7009", "'new' expression, whose target lacks a construct signature, implicitly has an 'any' type."),
   _0_which_lacks_return_type_annotation_implicitly_has_an_1_return_type: diag(7010, 1 /* Error */, "_0_which_lacks_return_type_annotation_implicitly_has_an_1_return_type_7010", "'{0}', which lacks return-type annotation, implicitly has an '{1}' return type."),
   Function_expression_which_lacks_return_type_annotation_implicitly_has_an_0_return_type: diag(7011, 1 /* Error */, "Function_expression_which_lacks_return_type_annotation_implicitly_has_an_0_return_type_7011", "Function expression, which lacks return-type annotation, implicitly has an '{0}' return type."),
+  This_overload_implicitly_returns_the_type_0_because_it_lacks_a_return_type_annotation: diag(7012, 1 /* Error */, "This_overload_implicitly_returns_the_type_0_because_it_lacks_a_return_type_annotation_7012", "This overload implicitly returns the type '{0}' because it lacks a return type annotation."),
   Construct_signature_which_lacks_return_type_annotation_implicitly_has_an_any_return_type: diag(7013, 1 /* Error */, "Construct_signature_which_lacks_return_type_annotation_implicitly_has_an_any_return_type_7013", "Construct signature, which lacks return-type annotation, implicitly has an 'any' return type."),
   Function_type_which_lacks_return_type_annotation_implicitly_has_an_0_return_type: diag(7014, 1 /* Error */, "Function_type_which_lacks_return_type_annotation_implicitly_has_an_0_return_type_7014", "Function type, which lacks return-type annotation, implicitly has an '{0}' return type."),
   Element_implicitly_has_an_any_type_because_index_expression_is_not_of_type_number: diag(7015, 1 /* Error */, "Element_implicitly_has_an_any_type_because_index_expression_is_not_of_type_number_7015", "Element implicitly has an 'any' type because index expression is not of type 'number'."),
@@ -20681,7 +20681,7 @@ function rangeOfNode(node) {
 }
 function rangeOfTypeParameters(sourceFile, typeParameters) {
   const pos = typeParameters.pos - 1;
-  const end = skipTrivia(sourceFile.text, typeParameters.end) + 1;
+  const end = Math.min(sourceFile.text.length, skipTrivia(sourceFile.text, typeParameters.end) + 1);
   return { pos, end };
 }
 function skipTypeChecking(sourceFile, options, host) {
@@ -32977,6 +32977,7 @@ var Parser;
             switch (fourth) {
               case 63 /* EqualsToken */:
               case 31 /* GreaterThanToken */:
+              case 43 /* SlashToken */:
                 return false;
               default:
                 return true;
@@ -34031,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;
@@ -46489,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 };
@@ -58251,6 +58254,12 @@ function createTypeChecker(host) {
           thisParameter = getAnnotatedAccessorThisParameter(other);
         }
       }
+      if (isInJSFile(declaration)) {
+        const thisTag = getJSDocThisTag(declaration);
+        if (thisTag && thisTag.typeExpression) {
+          thisParameter = createSymbolWithType(createSymbol(1 /* FunctionScopedVariable */, "this" /* This */), getTypeFromTypeNode(thisTag.typeExpression));
+        }
+      }
       const classType = declaration.kind === 173 /* Constructor */ ? getDeclaredTypeOfClassOrInterface(getMergedSymbol(declaration.parent.symbol)) : void 0;
       const typeParameters = classType ? classType.localTypeParameters : getTypeParametersFromDeclaration(declaration);
       if (hasRestParameter(declaration) || isInJSFile(declaration) && maybeAddJsSyntheticRestParameter(declaration, parameters)) {
@@ -58364,7 +58373,11 @@ function createTypeChecker(host) {
           if (node.tags) {
             for (const tag of node.tags) {
               if (isJSDocOverloadTag(tag)) {
-                result.push(getSignatureFromDeclaration(tag.typeExpression));
+                const jsDocSignature = tag.typeExpression;
+                if (jsDocSignature.type === void 0) {
+                  reportImplicitAny(jsDocSignature, anyType);
+                }
+                result.push(getSignatureFromDeclaration(jsDocSignature));
                 hasJSDocOverloads = true;
               }
             }
@@ -60063,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;
     }
@@ -60075,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 */
@@ -61252,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;
@@ -61317,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);
@@ -63395,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)))) {
@@ -66313,6 +66322,11 @@ function createTypeChecker(host) {
       case 320 /* JSDocFunctionType */:
         error(declaration, Diagnostics.Function_type_which_lacks_return_type_annotation_implicitly_has_an_0_return_type, typeAsString);
         return;
+      case 326 /* JSDocSignature */:
+        if (noImplicitAny && isJSDocOverloadTag(declaration.parent)) {
+          error(declaration.parent.tagName, Diagnostics.This_overload_implicitly_returns_the_type_0_because_it_lacks_a_return_type_annotation, typeAsString);
+        }
+        return;
       case 259 /* FunctionDeclaration */:
       case 171 /* MethodDeclaration */:
       case 170 /* MethodSignature */:
@@ -68058,7 +68072,7 @@ function createTypeChecker(host) {
       }
       return getUnionTypeFromSortedList(
         filtered,
-        type.objectFlags,
+        type.objectFlags & (32768 /* PrimitiveUnion */ | 16777216 /* ContainsIntersections */),
         /*aliasSymbol*/
         void 0,
         /*aliasTypeArguments*/
@@ -69400,7 +69414,7 @@ function createTypeChecker(host) {
     }
   }
   function getTypeOfSymbolAtLocation(symbol, location) {
-    symbol = symbol.exportSymbol || symbol;
+    symbol = getExportSymbolOfValueSymbolIfExported(symbol);
     if (location.kind === 79 /* Identifier */ || location.kind === 80 /* PrivateIdentifier */) {
       if (isRightSideOfQualifiedNameOrPropertyAccess(location)) {
         location = location.parent;
@@ -75040,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;
@@ -77678,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;
@@ -83591,7 +83608,7 @@ function createTypeChecker(host) {
     }
     return node.parent.kind === 180 /* TypeReference */;
   }
-  function isHeritageClauseElementIdentifier(node) {
+  function isInNameOfExpressionWithTypeArguments(node) {
     while (node.parent.kind === 208 /* PropertyAccessExpression */) {
       node = node.parent;
     }
@@ -83701,10 +83718,10 @@ function createTypeChecker(host) {
     while (isRightSideOfQualifiedNameOrPropertyAccessOrJSDocMemberName(name)) {
       name = name.parent;
     }
-    if (isHeritageClauseElementIdentifier(name)) {
+    if (isInNameOfExpressionWithTypeArguments(name)) {
       let meaning = 0 /* None */;
       if (name.parent.kind === 230 /* ExpressionWithTypeArguments */) {
-        meaning = 788968 /* Type */;
+        meaning = isPartOfTypeNode(name) ? 788968 /* Type */ : 111551 /* Value */;
         if (isExpressionWithTypeArgumentsInClassExtendsClause(name.parent)) {
           meaning |= 111551 /* Value */;
         }
@@ -108703,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,
@@ -130627,7 +130644,7 @@ function getModuleSpecifierResolverHost(program, host) {
   };
 }
 function moduleResolutionUsesNodeModules(moduleResolution) {
-  return moduleResolution === 2 /* Node10 */ || moduleResolution >= 3 /* Node16 */ && moduleResolution <= 99 /* NodeNext */;
+  return moduleResolution === 2 /* Node10 */ || moduleResolution >= 3 /* Node16 */ && moduleResolution <= 99 /* NodeNext */ || moduleResolution === 100 /* Bundler */;
 }
 function makeImportIfNecessary(defaultImport, namedImports, moduleSpecifier, quotePreference) {
   return defaultImport || namedImports && namedImports.length ? makeImport(defaultImport, namedImports, moduleSpecifier, quotePreference) : void 0;
@@ -153634,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,
@@ -153669,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

package/lib/tsserverlibrary.js

@@ -35,7 +35,7 @@ var ts = (() => {
     "src/compiler/corePublic.ts"() {
       "use strict";
       versionMajorMinor = "5.0";
-      version = `${versionMajorMinor}.0-dev.20230131`;
+      version = `${versionMajorMinor}.0-dev.20230202`;
       Comparison = /* @__PURE__ */ ((Comparison3) => {
         Comparison3[Comparison3["LessThan"] = -1] = "LessThan";
         Comparison3[Comparison3["EqualTo"] = 0] = "EqualTo";
@@ -7338,7 +7338,6 @@ ${lanes.join("\n")}
         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."),
@@ -7984,7 +7983,7 @@ ${lanes.join("\n")}
         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'."),
@@ -8722,6 +8721,7 @@ ${lanes.join("\n")}
         new_expression_whose_target_lacks_a_construct_signature_implicitly_has_an_any_type: diag(7009, 1 /* Error */, "new_expression_whose_target_lacks_a_construct_signature_implicitly_has_an_any_type_7009", "'new' expression, whose target lacks a construct signature, implicitly has an 'any' type."),
         _0_which_lacks_return_type_annotation_implicitly_has_an_1_return_type: diag(7010, 1 /* Error */, "_0_which_lacks_return_type_annotation_implicitly_has_an_1_return_type_7010", "'{0}', which lacks return-type annotation, implicitly has an '{1}' return type."),
         Function_expression_which_lacks_return_type_annotation_implicitly_has_an_0_return_type: diag(7011, 1 /* Error */, "Function_expression_which_lacks_return_type_annotation_implicitly_has_an_0_return_type_7011", "Function expression, which lacks return-type annotation, implicitly has an '{0}' return type."),
+        This_overload_implicitly_returns_the_type_0_because_it_lacks_a_return_type_annotation: diag(7012, 1 /* Error */, "This_overload_implicitly_returns_the_type_0_because_it_lacks_a_return_type_annotation_7012", "This overload implicitly returns the type '{0}' because it lacks a return type annotation."),
         Construct_signature_which_lacks_return_type_annotation_implicitly_has_an_any_return_type: diag(7013, 1 /* Error */, "Construct_signature_which_lacks_return_type_annotation_implicitly_has_an_any_return_type_7013", "Construct signature, which lacks return-type annotation, implicitly has an 'any' return type."),
         Function_type_which_lacks_return_type_annotation_implicitly_has_an_0_return_type: diag(7014, 1 /* Error */, "Function_type_which_lacks_return_type_annotation_implicitly_has_an_0_return_type_7014", "Function type, which lacks return-type annotation, implicitly has an '{0}' return type."),
         Element_implicitly_has_an_any_type_because_index_expression_is_not_of_type_number: diag(7015, 1 /* Error */, "Element_implicitly_has_an_any_type_because_index_expression_is_not_of_type_number_7015", "Element implicitly has an 'any' type because index expression is not of type 'number'."),
@@ -18251,7 +18251,7 @@ ${lanes.join("\n")}
   }
   function rangeOfTypeParameters(sourceFile, typeParameters) {
     const pos = typeParameters.pos - 1;
-    const end = skipTrivia(sourceFile.text, typeParameters.end) + 1;
+    const end = Math.min(sourceFile.text.length, skipTrivia(sourceFile.text, typeParameters.end) + 1);
     return { pos, end };
   }
   function skipTypeChecking(sourceFile, options, host) {
@@ -30997,6 +30997,7 @@ ${lanes.join("\n")}
                   switch (fourth) {
                     case 63 /* EqualsToken */:
                     case 31 /* GreaterThanToken */:
+                    case 43 /* SlashToken */:
                       return false;
                     default:
                       return true;
@@ -32051,7 +32052,7 @@ ${lanes.join("\n")}
             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;
@@ -44305,8 +44306,10 @@ ${lanes.join("\n")}
         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 };
@@ -55970,6 +55973,12 @@ ${lanes.join("\n")}
             thisParameter = getAnnotatedAccessorThisParameter(other);
           }
         }
+        if (isInJSFile(declaration)) {
+          const thisTag = getJSDocThisTag(declaration);
+          if (thisTag && thisTag.typeExpression) {
+            thisParameter = createSymbolWithType(createSymbol(1 /* FunctionScopedVariable */, "this" /* This */), getTypeFromTypeNode(thisTag.typeExpression));
+          }
+        }
         const classType = declaration.kind === 173 /* Constructor */ ? getDeclaredTypeOfClassOrInterface(getMergedSymbol(declaration.parent.symbol)) : void 0;
         const typeParameters = classType ? classType.localTypeParameters : getTypeParametersFromDeclaration(declaration);
         if (hasRestParameter(declaration) || isInJSFile(declaration) && maybeAddJsSyntheticRestParameter(declaration, parameters)) {
@@ -56083,7 +56092,11 @@ ${lanes.join("\n")}
             if (node.tags) {
               for (const tag of node.tags) {
                 if (isJSDocOverloadTag(tag)) {
-                  result.push(getSignatureFromDeclaration(tag.typeExpression));
+                  const jsDocSignature = tag.typeExpression;
+                  if (jsDocSignature.type === void 0) {
+                    reportImplicitAny(jsDocSignature, anyType);
+                  }
+                  result.push(getSignatureFromDeclaration(jsDocSignature));
                   hasJSDocOverloads = true;
                 }
               }
@@ -57782,7 +57795,7 @@ ${lanes.join("\n")}
     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;
       }
@@ -57794,7 +57807,7 @@ ${lanes.join("\n")}
       let type = unionTypes.get(id);
       if (!type) {
         type = createType(1048576 /* Union */);
-        type.objectFlags = objectFlags | getPropagatingFlagsOfTypes(
+        type.objectFlags = precomputedObjectFlags | getPropagatingFlagsOfTypes(
           types,
           /*excludeKinds*/
           98304 /* Nullable */
@@ -58971,11 +58984,6 @@ ${lanes.join("\n")}
       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;
@@ -59036,7 +59044,7 @@ ${lanes.join("\n")}
       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);
@@ -61114,7 +61122,8 @@ ${lanes.join("\n")}
           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)))) {
@@ -64032,6 +64041,11 @@ ${lanes.join("\n")}
         case 320 /* JSDocFunctionType */:
           error(declaration, Diagnostics.Function_type_which_lacks_return_type_annotation_implicitly_has_an_0_return_type, typeAsString);
           return;
+        case 326 /* JSDocSignature */:
+          if (noImplicitAny && isJSDocOverloadTag(declaration.parent)) {
+            error(declaration.parent.tagName, Diagnostics.This_overload_implicitly_returns_the_type_0_because_it_lacks_a_return_type_annotation, typeAsString);
+          }
+          return;
         case 259 /* FunctionDeclaration */:
         case 171 /* MethodDeclaration */:
         case 170 /* MethodSignature */:
@@ -65777,7 +65791,7 @@ ${lanes.join("\n")}
         }
         return getUnionTypeFromSortedList(
           filtered,
-          type.objectFlags,
+          type.objectFlags & (32768 /* PrimitiveUnion */ | 16777216 /* ContainsIntersections */),
           /*aliasSymbol*/
           void 0,
           /*aliasTypeArguments*/
@@ -67119,7 +67133,7 @@ ${lanes.join("\n")}
       }
     }
     function getTypeOfSymbolAtLocation(symbol, location) {
-      symbol = symbol.exportSymbol || symbol;
+      symbol = getExportSymbolOfValueSymbolIfExported(symbol);
       if (location.kind === 79 /* Identifier */ || location.kind === 80 /* PrivateIdentifier */) {
         if (isRightSideOfQualifiedNameOrPropertyAccess(location)) {
           location = location.parent;
@@ -72759,6 +72773,9 @@ ${lanes.join("\n")}
       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;
@@ -75397,7 +75414,7 @@ ${lanes.join("\n")}
         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;
@@ -81310,7 +81327,7 @@ ${lanes.join("\n")}
       }
       return node.parent.kind === 180 /* TypeReference */;
     }
-    function isHeritageClauseElementIdentifier(node) {
+    function isInNameOfExpressionWithTypeArguments(node) {
       while (node.parent.kind === 208 /* PropertyAccessExpression */) {
         node = node.parent;
       }
@@ -81420,10 +81437,10 @@ ${lanes.join("\n")}
       while (isRightSideOfQualifiedNameOrPropertyAccessOrJSDocMemberName(name)) {
         name = name.parent;
       }
-      if (isHeritageClauseElementIdentifier(name)) {
+      if (isInNameOfExpressionWithTypeArguments(name)) {
         let meaning = 0 /* None */;
         if (name.parent.kind === 230 /* ExpressionWithTypeArguments */) {
-          meaning = 788968 /* Type */;
+          meaning = isPartOfTypeNode(name) ? 788968 /* Type */ : 111551 /* Value */;
           if (isExpressionWithTypeArgumentsInClassExtendsClause(name.parent)) {
             meaning |= 111551 /* Value */;
           }
@@ -106718,7 +106735,7 @@ ${lanes.join("\n")}
         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,
@@ -126502,7 +126519,7 @@ ${lanes.join("\n")}
     };
   }
   function moduleResolutionUsesNodeModules(moduleResolution) {
-    return moduleResolution === 2 /* Node10 */ || moduleResolution >= 3 /* Node16 */ && moduleResolution <= 99 /* NodeNext */;
+    return moduleResolution === 2 /* Node10 */ || moduleResolution >= 3 /* Node16 */ && moduleResolution <= 99 /* NodeNext */ || moduleResolution === 100 /* Bundler */;
   }
   function makeImportIfNecessary(defaultImport, namedImports, moduleSpecifier, quotePreference) {
     return defaultImport || namedImports && namedImports.length ? makeImport(defaultImport, namedImports, moduleSpecifier, quotePreference) : void 0;
@@ -150294,12 +150311,12 @@ ${lanes.join("\n")}
     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,
@@ -150329,8 +150346,17 @@ ${lanes.join("\n")}
       ).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/typescript.d.ts

@@ -2335,6 +2335,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;
@@ -2425,6 +2426,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