typescript 5.6.0-dev.20240718 → 5.6.0-dev.20240720

package/lib/typescript.js

@@ -1675,6 +1675,7 @@ __export(typescript_exports, {
   isShiftOperatorOrHigher: () => isShiftOperatorOrHigher,
   isShorthandAmbientModuleSymbol: () => isShorthandAmbientModuleSymbol,
   isShorthandPropertyAssignment: () => isShorthandPropertyAssignment,
+  isSideEffectImport: () => isSideEffectImport,
   isSignedNumericLiteral: () => isSignedNumericLiteral,
   isSimpleCopiableExpression: () => isSimpleCopiableExpression,
   isSimpleInlineableExpression: () => isSimpleInlineableExpression,
@@ -2256,7 +2257,7 @@ module.exports = __toCommonJS(typescript_exports);
 
 // src/compiler/corePublic.ts
 var versionMajorMinor = "5.6";
-var version = `${versionMajorMinor}.0-dev.20240718`;
+var version = `${versionMajorMinor}.0-dev.20240720`;
 var Comparison = /* @__PURE__ */ ((Comparison3) => {
   Comparison3[Comparison3["LessThan"] = -1] = "LessThan";
   Comparison3[Comparison3["EqualTo"] = 0] = "EqualTo";
@@ -9510,6 +9511,7 @@ var Diagnostics = {
   Octal_escape_sequences_and_backreferences_are_not_allowed_in_a_character_class_If_this_was_intended_as_an_escape_sequence_use_the_syntax_0_instead: diag(1536, 1 /* Error */, "Octal_escape_sequences_and_backreferences_are_not_allowed_in_a_character_class_If_this_was_intended__1536", "Octal escape sequences and backreferences are not allowed in a character class. If this was intended as an escape sequence, use the syntax '{0}' instead."),
   Decimal_escape_sequences_and_backreferences_are_not_allowed_in_a_character_class: diag(1537, 1 /* Error */, "Decimal_escape_sequences_and_backreferences_are_not_allowed_in_a_character_class_1537", "Decimal escape sequences and backreferences are not allowed in a character class."),
   Unicode_escape_sequences_are_only_available_when_the_Unicode_u_flag_or_the_Unicode_Sets_v_flag_is_set: diag(1538, 1 /* Error */, "Unicode_escape_sequences_are_only_available_when_the_Unicode_u_flag_or_the_Unicode_Sets_v_flag_is_se_1538", "Unicode escape sequences are only available when the Unicode (u) flag or the Unicode Sets (v) flag is set."),
+  A_bigint_literal_cannot_be_used_as_a_property_name: diag(1539, 1 /* Error */, "A_bigint_literal_cannot_be_used_as_a_property_name_1539", "A 'bigint' literal cannot be used as a property name."),
   The_types_of_0_are_incompatible_between_these_types: diag(2200, 1 /* Error */, "The_types_of_0_are_incompatible_between_these_types_2200", "The types of '{0}' are incompatible between these types."),
   The_types_returned_by_0_are_incompatible_between_these_types: diag(2201, 1 /* Error */, "The_types_returned_by_0_are_incompatible_between_these_types_2201", "The types returned by '{0}' are incompatible between these types."),
   Call_signature_return_types_0_and_1_are_incompatible: diag(
@@ -10751,9 +10753,11 @@ var Diagnostics = {
   Require_undeclared_properties_from_index_signatures_to_use_element_accesses: diag(6717, 3 /* Message */, "Require_undeclared_properties_from_index_signatures_to_use_element_accesses_6717", "Require undeclared properties from index signatures to use element accesses."),
   Specify_emit_Slashchecking_behavior_for_imports_that_are_only_used_for_types: diag(6718, 3 /* Message */, "Specify_emit_Slashchecking_behavior_for_imports_that_are_only_used_for_types_6718", "Specify emit/checking behavior for imports that are only used for types."),
   Require_sufficient_annotation_on_exports_so_other_tools_can_trivially_generate_declaration_files: diag(6719, 3 /* Message */, "Require_sufficient_annotation_on_exports_so_other_tools_can_trivially_generate_declaration_files_6719", "Require sufficient annotation on exports so other tools can trivially generate declaration files."),
+  Built_in_iterators_are_instantiated_with_a_TReturn_type_of_undefined_instead_of_any: diag(6720, 3 /* Message */, "Built_in_iterators_are_instantiated_with_a_TReturn_type_of_undefined_instead_of_any_6720", "Built-in iterators are instantiated with a 'TReturn' type of 'undefined' instead of 'any'."),
   Default_catch_clause_variables_as_unknown_instead_of_any: diag(6803, 3 /* Message */, "Default_catch_clause_variables_as_unknown_instead_of_any_6803", "Default catch clause variables as 'unknown' instead of 'any'."),
   Do_not_transform_or_elide_any_imports_or_exports_not_marked_as_type_only_ensuring_they_are_written_in_the_output_file_s_format_based_on_the_module_setting: diag(6804, 3 /* Message */, "Do_not_transform_or_elide_any_imports_or_exports_not_marked_as_type_only_ensuring_they_are_written_i_6804", "Do not transform or elide any imports or exports not marked as type-only, ensuring they are written in the output file's format based on the 'module' setting."),
   Disable_full_type_checking_only_critical_parse_and_emit_errors_will_be_reported: diag(6805, 3 /* Message */, "Disable_full_type_checking_only_critical_parse_and_emit_errors_will_be_reported_6805", "Disable full type checking (only critical parse and emit errors will be reported)."),
+  Check_side_effect_imports: diag(6806, 3 /* Message */, "Check_side_effect_imports_6806", "Check side effect imports."),
   one_of_Colon: diag(6900, 3 /* Message */, "one_of_Colon_6900", "one of:"),
   one_or_more_Colon: diag(6901, 3 /* Message */, "one_or_more_Colon_6901", "one or more:"),
   type_Colon: diag(6902, 3 /* Message */, "type_Colon_6902", "type:"),
@@ -17216,6 +17220,7 @@ function tryGetTextOfPropertyName(name) {
       return ((_a = name.emitNode) == null ? void 0 : _a.autoGenerate) ? void 0 : name.escapedText;
     case 11 /* StringLiteral */:
     case 9 /* NumericLiteral */:
+    case 10 /* BigIntLiteral */:
     case 15 /* NoSubstitutionTemplateLiteral */:
       return escapeLeadingUnderscores(name.text);
     case 167 /* ComputedPropertyName */:
@@ -19263,6 +19268,7 @@ function getPropertyNameForPropertyNameNode(name) {
     case 11 /* StringLiteral */:
     case 15 /* NoSubstitutionTemplateLiteral */:
     case 9 /* NumericLiteral */:
+    case 10 /* BigIntLiteral */:
       return escapeLeadingUnderscores(name.text);
     case 167 /* ComputedPropertyName */:
       const nameExpression = name.expression;
@@ -21748,6 +21754,12 @@ var computedOptions = createComputedCompilerOptions({
       return getStrictOptionValue(compilerOptions, "strictPropertyInitialization");
     }
   },
+  strictBuiltinIteratorReturn: {
+    dependencies: ["strict"],
+    computeValue: (compilerOptions) => {
+      return getStrictOptionValue(compilerOptions, "strictBuiltinIteratorReturn");
+    }
+  },
   alwaysStrict: {
     dependencies: ["strict"],
     computeValue: (compilerOptions) => {
@@ -23559,6 +23571,10 @@ function hasInferredType(node) {
       return false;
   }
 }
+function isSideEffectImport(node) {
+  const ancestor = findAncestor(node, isImportDeclaration);
+  return !!ancestor && !ancestor.importClause;
+}
 
 // src/compiler/factory/baseNodeFactory.ts
 function createBaseNodeFactory() {
@@ -33314,13 +33330,13 @@ var Parser;
     return createIdentifier(tokenIsIdentifierOrKeyword(token()));
   }
   function isLiteralPropertyName() {
-    return tokenIsIdentifierOrKeyword(token()) || token() === 11 /* StringLiteral */ || token() === 9 /* NumericLiteral */;
+    return tokenIsIdentifierOrKeyword(token()) || token() === 11 /* StringLiteral */ || token() === 9 /* NumericLiteral */ || token() === 10 /* BigIntLiteral */;
   }
   function isImportAttributeName2() {
     return tokenIsIdentifierOrKeyword(token()) || token() === 11 /* StringLiteral */;
   }
   function parsePropertyNameWorker(allowComputedPropertyNames) {
-    if (token() === 11 /* StringLiteral */ || token() === 9 /* NumericLiteral */) {
+    if (token() === 11 /* StringLiteral */ || token() === 9 /* NumericLiteral */ || token() === 10 /* BigIntLiteral */) {
       const node = parseLiteralNode();
       node.text = internIdentifier(node.text);
       return node;
@@ -37547,7 +37563,7 @@ var Parser;
     if (isIndexSignature()) {
       return parseIndexSignatureDeclaration(pos, hasJSDoc, modifiers);
     }
-    if (tokenIsIdentifierOrKeyword(token()) || token() === 11 /* StringLiteral */ || token() === 9 /* NumericLiteral */ || token() === 42 /* AsteriskToken */ || token() === 23 /* OpenBracketToken */) {
+    if (tokenIsIdentifierOrKeyword(token()) || token() === 11 /* StringLiteral */ || token() === 9 /* NumericLiteral */ || token() === 10 /* BigIntLiteral */ || token() === 42 /* AsteriskToken */ || token() === 23 /* OpenBracketToken */) {
       const isAmbient = some(modifiers, isDeclareModifier);
       if (isAmbient) {
         for (const m of modifiers) {
@@ -39863,6 +39879,7 @@ var libEntries = [
   ["esnext.array", "lib.esnext.array.d.ts"],
   ["esnext.regexp", "lib.esnext.regexp.d.ts"],
   ["esnext.string", "lib.esnext.string.d.ts"],
+  ["esnext.iterator", "lib.esnext.iterator.d.ts"],
   ["decorators", "lib.decorators.d.ts"],
   ["decorators.legacy", "lib.decorators.legacy.d.ts"]
 ];
@@ -40514,6 +40531,16 @@ var commandOptionsWithoutBuild = [
     description: Diagnostics.Check_for_class_properties_that_are_declared_but_not_set_in_the_constructor,
     defaultValueDescription: Diagnostics.false_unless_strict_is_set
   },
+  {
+    name: "strictBuiltinIteratorReturn",
+    type: "boolean",
+    affectsSemanticDiagnostics: true,
+    affectsBuildInfo: true,
+    strictFlag: true,
+    category: Diagnostics.Type_Checking,
+    description: Diagnostics.Built_in_iterators_are_instantiated_with_a_TReturn_type_of_undefined_instead_of_any,
+    defaultValueDescription: Diagnostics.false_unless_strict_is_set
+  },
   {
     name: "noImplicitThis",
     type: "boolean",
@@ -40789,6 +40816,15 @@ var commandOptionsWithoutBuild = [
     category: Diagnostics.Modules,
     description: Diagnostics.Conditions_to_set_in_addition_to_the_resolver_specific_defaults_when_resolving_imports
   },
+  {
+    name: "noUncheckedSideEffectImports",
+    type: "boolean",
+    affectsSemanticDiagnostics: true,
+    affectsBuildInfo: true,
+    category: Diagnostics.Modules,
+    description: Diagnostics.Check_side_effect_imports,
+    defaultValueDescription: false
+  },
   // Source Maps
   {
     name: "sourceRoot",
@@ -49890,10 +49926,12 @@ function createTypeChecker(host) {
   var strictFunctionTypes = getStrictOptionValue(compilerOptions, "strictFunctionTypes");
   var strictBindCallApply = getStrictOptionValue(compilerOptions, "strictBindCallApply");
   var strictPropertyInitialization = getStrictOptionValue(compilerOptions, "strictPropertyInitialization");
+  var strictBuiltinIteratorReturn = getStrictOptionValue(compilerOptions, "strictBuiltinIteratorReturn");
   var noImplicitAny = getStrictOptionValue(compilerOptions, "noImplicitAny");
   var noImplicitThis = getStrictOptionValue(compilerOptions, "noImplicitThis");
   var useUnknownInCatchVariables = getStrictOptionValue(compilerOptions, "useUnknownInCatchVariables");
   var exactOptionalPropertyTypes = compilerOptions.exactOptionalPropertyTypes;
+  var noUncheckedSideEffectImports = !!compilerOptions.noUncheckedSideEffectImports;
   var checkBinaryExpression = createCheckBinaryExpression();
   var emitResolver = createResolver();
   var nodeBuilder = createNodeBuilder();
@@ -50222,13 +50260,13 @@ function createTypeChecker(host) {
       /*reportErrors*/
       false
     ),
-    getAsyncIterableType: () => {
+    getAnyAsyncIterableType: () => {
       const type = getGlobalAsyncIterableType(
         /*reportErrors*/
         false
       );
       if (type === emptyGenericType) return void 0;
-      return type;
+      return createTypeReference(type, [anyType, anyType, anyType]);
     },
     isSymbolAccessible,
     isArrayType,
@@ -50700,8 +50738,6 @@ function createTypeChecker(host) {
     }
   };
   var anyIterationTypes = createIterationTypes(anyType, anyType, anyType);
-  var anyIterationTypesExceptNext = createIterationTypes(anyType, anyType, unknownType);
-  var defaultIterationTypes = createIterationTypes(neverType, anyType, undefinedType);
   var asyncIterationTypesResolver = {
     iterableCacheKey: "iterationTypesOfAsyncIterable",
     iteratorCacheKey: "iterationTypesOfAsyncIterator",
@@ -50709,6 +50745,7 @@ function createTypeChecker(host) {
     getGlobalIteratorType: getGlobalAsyncIteratorType,
     getGlobalIterableType: getGlobalAsyncIterableType,
     getGlobalIterableIteratorType: getGlobalAsyncIterableIteratorType,
+    getGlobalBuiltinIteratorType: getGlobalAsyncBuiltinIteratorType,
     getGlobalGeneratorType: getGlobalAsyncGeneratorType,
     resolveIterationType: (type, errorNode) => getAwaitedType(type, errorNode, Diagnostics.Type_of_await_operand_must_either_be_a_valid_promise_or_must_not_contain_a_callable_then_member),
     mustHaveANextMethodDiagnostic: Diagnostics.An_async_iterator_must_have_a_next_method,
@@ -50722,6 +50759,7 @@ function createTypeChecker(host) {
     getGlobalIteratorType,
     getGlobalIterableType,
     getGlobalIterableIteratorType,
+    getGlobalBuiltinIteratorType,
     getGlobalGeneratorType,
     resolveIterationType: (type, _errorNode) => type,
     mustHaveANextMethodDiagnostic: Diagnostics.An_iterator_must_have_a_next_method,
@@ -50760,12 +50798,14 @@ function createTypeChecker(host) {
   var deferredGlobalIterableType;
   var deferredGlobalIteratorType;
   var deferredGlobalIterableIteratorType;
+  var deferredGlobalBuiltinIteratorType;
   var deferredGlobalGeneratorType;
   var deferredGlobalIteratorYieldResultType;
   var deferredGlobalIteratorReturnResultType;
   var deferredGlobalAsyncIterableType;
   var deferredGlobalAsyncIteratorType;
   var deferredGlobalAsyncIterableIteratorType;
+  var deferredGlobalAsyncBuiltinIteratorType;
   var deferredGlobalAsyncGeneratorType;
   var deferredGlobalTemplateStringsArrayType;
   var deferredGlobalImportMetaType;
@@ -52878,7 +52918,7 @@ function createTypeChecker(host) {
         }
         return getMergedSymbol(sourceFile.symbol);
       }
-      if (errorNode && moduleNotFoundError) {
+      if (errorNode && moduleNotFoundError && !isSideEffectImport(errorNode)) {
         error2(errorNode, Diagnostics.File_0_is_not_a_module, sourceFile.fileName);
       }
       return void 0;
@@ -52963,6 +53003,9 @@ function createTypeChecker(host) {
     }
   }
   function errorOnImplicitAnyModule(isError, errorNode, sourceFile, mode, { packageId, resolvedFileName }, moduleReference) {
+    if (isSideEffectImport(errorNode)) {
+      return;
+    }
     let errorInfo;
     if (!isExternalModuleNameRelative(moduleReference) && packageId) {
       errorInfo = createModuleNotFoundChain(sourceFile, host, moduleReference, mode, packageId.name);
@@ -54791,7 +54834,35 @@ function createTypeChecker(host) {
           }
           let typeArgumentNodes;
           if (typeArguments.length > 0) {
-            const typeParameterCount = (type2.target.typeParameters || emptyArray).length;
+            let typeParameterCount = 0;
+            if (type2.target.typeParameters) {
+              typeParameterCount = Math.min(type2.target.typeParameters.length, typeArguments.length);
+              if (isReferenceToType2(type2, getGlobalIterableType(
+                /*reportErrors*/
+                false
+              )) || isReferenceToType2(type2, getGlobalIterableIteratorType(
+                /*reportErrors*/
+                false
+              )) || isReferenceToType2(type2, getGlobalAsyncIterableType(
+                /*reportErrors*/
+                false
+              )) || isReferenceToType2(type2, getGlobalAsyncIterableIteratorType(
+                /*reportErrors*/
+                false
+              ))) {
+                if (!type2.node || !isTypeReferenceNode(type2.node) || !type2.node.typeArguments || type2.node.typeArguments.length < typeParameterCount) {
+                  while (typeParameterCount > 0) {
+                    const typeArgument = typeArguments[typeParameterCount - 1];
+                    const typeParameter = type2.target.typeParameters[typeParameterCount - 1];
+                    const defaultType = getDefaultFromTypeParameter(typeParameter);
+                    if (!defaultType || !isTypeIdenticalTo(typeArgument, defaultType)) {
+                      break;
+                    }
+                    typeParameterCount--;
+                  }
+                }
+              }
+            }
             typeArgumentNodes = mapToTypeNodes(typeArguments.slice(i, typeParameterCount), context);
           }
           const flags = context.flags;
@@ -60236,6 +60307,9 @@ function createTypeChecker(host) {
           links.instantiations = /* @__PURE__ */ new Map();
           links.instantiations.set(getTypeListId(typeParameters), type);
         }
+        if (type === intrinsicMarkerType && symbol.escapedName === "BuiltinIteratorReturn") {
+          type = strictBuiltinIteratorReturn ? undefinedType : anyType;
+        }
       } else {
         type = errorType;
         if (declaration.kind === 340 /* JSDocEnumTag */) {
@@ -63513,7 +63587,7 @@ function createTypeChecker(host) {
     return deferredGlobalAsyncIterableType || (deferredGlobalAsyncIterableType = getGlobalType(
       "AsyncIterable",
       /*arity*/
-      1,
+      3,
       reportErrors2
     )) || emptyGenericType;
   }
@@ -63529,7 +63603,15 @@ function createTypeChecker(host) {
     return deferredGlobalAsyncIterableIteratorType || (deferredGlobalAsyncIterableIteratorType = getGlobalType(
       "AsyncIterableIterator",
       /*arity*/
-      1,
+      3,
+      reportErrors2
+    )) || emptyGenericType;
+  }
+  function getGlobalAsyncBuiltinIteratorType(reportErrors2) {
+    return deferredGlobalAsyncBuiltinIteratorType || (deferredGlobalAsyncBuiltinIteratorType = getGlobalType(
+      "AsyncBuiltinIterator",
+      /*arity*/
+      3,
       reportErrors2
     )) || emptyGenericType;
   }
@@ -63545,7 +63627,7 @@ function createTypeChecker(host) {
     return deferredGlobalIterableType || (deferredGlobalIterableType = getGlobalType(
       "Iterable",
       /*arity*/
-      1,
+      3,
       reportErrors2
     )) || emptyGenericType;
   }
@@ -63561,7 +63643,15 @@ function createTypeChecker(host) {
     return deferredGlobalIterableIteratorType || (deferredGlobalIterableIteratorType = getGlobalType(
       "IterableIterator",
       /*arity*/
-      1,
+      3,
+      reportErrors2
+    )) || emptyGenericType;
+  }
+  function getGlobalBuiltinIteratorType(reportErrors2) {
+    return deferredGlobalBuiltinIteratorType || (deferredGlobalBuiltinIteratorType = getGlobalType(
+      "BuiltinIterator",
+      /*arity*/
+      3,
       reportErrors2
     )) || emptyGenericType;
   }
@@ -63743,7 +63833,7 @@ function createTypeChecker(host) {
     return createTypeFromGenericGlobalType(getGlobalIterableType(
       /*reportErrors*/
       true
-    ), [iteratedType]);
+    ), [iteratedType, voidType, undefinedType]);
   }
   function createArrayType(elementType, readonly) {
     return createTypeFromGenericGlobalType(readonly ? globalReadonlyArrayType : globalArrayType, [elementType]);
@@ -65103,12 +65193,13 @@ function createTypeChecker(host) {
     }
     if (accessNode) {
       const indexNode = getIndexNodeForAccessExpression(accessNode);
-      if (indexType.flags & (128 /* StringLiteral */ | 256 /* NumberLiteral */)) {
+      if (indexNode.kind !== 10 /* BigIntLiteral */ && indexType.flags & (128 /* StringLiteral */ | 256 /* NumberLiteral */)) {
         error2(indexNode, Diagnostics.Property_0_does_not_exist_on_type_1, "" + indexType.value, typeToString(objectType));
       } else if (indexType.flags & (4 /* String */ | 8 /* Number */)) {
         error2(indexNode, Diagnostics.Type_0_has_no_matching_index_signature_for_type_1, typeToString(objectType), typeToString(indexType));
       } else {
-        error2(indexNode, Diagnostics.Type_0_cannot_be_used_as_an_index_type, typeToString(indexType));
+        const typeString = indexNode.kind === 10 /* BigIntLiteral */ ? "bigint" : typeToString(indexType);
+        error2(indexNode, Diagnostics.Type_0_cannot_be_used_as_an_index_type, typeString);
       }
     }
     if (isTypeAny(indexType)) {
@@ -81218,24 +81309,14 @@ function createTypeChecker(host) {
       void 0
     ) || unknownType;
     if (globalGeneratorType === emptyGenericType) {
-      const globalType = resolver.getGlobalIterableIteratorType(
+      const globalIterableIteratorType = resolver.getGlobalIterableIteratorType(
         /*reportErrors*/
         false
       );
-      const iterationTypes = globalType !== emptyGenericType ? getIterationTypesOfGlobalIterableType(globalType, resolver) : void 0;
-      const iterableIteratorReturnType = iterationTypes ? iterationTypes.returnType : anyType;
-      const iterableIteratorNextType = iterationTypes ? iterationTypes.nextType : undefinedType;
-      if (isTypeAssignableTo(returnType, iterableIteratorReturnType) && isTypeAssignableTo(iterableIteratorNextType, nextType)) {
-        if (globalType !== emptyGenericType) {
-          return createTypeFromGenericGlobalType(globalType, [yieldType]);
-        }
-        resolver.getGlobalIterableIteratorType(
-          /*reportErrors*/
-          true
-        );
-        return emptyObjectType;
+      if (globalIterableIteratorType !== emptyGenericType) {
+        return createTypeFromGenericGlobalType(globalIterableIteratorType, [yieldType, returnType, nextType]);
       }
-      resolver.getGlobalGeneratorType(
+      resolver.getGlobalIterableIteratorType(
         /*reportErrors*/
         true
       );
@@ -85675,6 +85756,9 @@ function createTypeChecker(host) {
       checkAliasSymbol(node);
       return;
     }
+    if (node.name.kind === 10 /* BigIntLiteral */) {
+      error2(node.name, Diagnostics.A_bigint_literal_cannot_be_used_as_a_property_name);
+    }
     const type = convertAutoToAny(getTypeOfSymbol(symbol));
     if (node === symbol.valueDeclaration) {
       const initializer = hasOnlyExpressionInitializer(node) && getEffectiveInitializer(node);
@@ -86309,41 +86393,17 @@ function createTypeChecker(host) {
   function getIterationTypesOfIterableCached(type, resolver) {
     return getCachedIterationTypes(type, resolver.iterableCacheKey);
   }
-  function getIterationTypesOfGlobalIterableType(globalType, resolver) {
-    const globalIterationTypes = getIterationTypesOfIterableCached(globalType, resolver) || getIterationTypesOfIterableSlow(
-      globalType,
-      resolver,
-      /*errorNode*/
-      void 0,
-      /*errorOutputContainer*/
-      void 0,
-      /*noCache*/
-      false
-    );
-    return globalIterationTypes === noIterationTypes ? defaultIterationTypes : globalIterationTypes;
-  }
   function getIterationTypesOfIterableFast(type, resolver) {
-    let globalType;
-    if (isReferenceToType2(type, globalType = resolver.getGlobalIterableType(
+    if (isReferenceToType2(type, resolver.getGlobalIterableType(
       /*reportErrors*/
       false
-    )) || isReferenceToType2(type, globalType = resolver.getGlobalIterableIteratorType(
+    )) || isReferenceToType2(type, resolver.getGlobalBuiltinIteratorType(
       /*reportErrors*/
       false
-    ))) {
-      const [yieldType] = getTypeArguments(type);
-      const { returnType, nextType } = getIterationTypesOfGlobalIterableType(globalType, resolver);
-      return setCachedIterationTypes(type, resolver.iterableCacheKey, createIterationTypes(resolver.resolveIterationType(
-        yieldType,
-        /*errorNode*/
-        void 0
-      ) || yieldType, resolver.resolveIterationType(
-        returnType,
-        /*errorNode*/
-        void 0
-      ) || returnType, nextType));
-    }
-    if (isReferenceToType2(type, resolver.getGlobalGeneratorType(
+    )) || isReferenceToType2(type, resolver.getGlobalIterableIteratorType(
+      /*reportErrors*/
+      false
+    )) || isReferenceToType2(type, resolver.getGlobalGeneratorType(
       /*reportErrors*/
       false
     ))) {
@@ -86388,10 +86448,10 @@ function createTypeChecker(host) {
       !!getAwaitedTypeOfPromise(type) || !allowAsyncIterables && isForOfStatement(errorNode.parent) && errorNode.parent.expression === errorNode && getGlobalAsyncIterableType(
         /*reportErrors*/
         false
-      ) !== emptyGenericType && isTypeAssignableTo(type, getGlobalAsyncIterableType(
+      ) !== emptyGenericType && isTypeAssignableTo(type, createTypeFromGenericGlobalType(getGlobalAsyncIterableType(
         /*reportErrors*/
         false
-      ))
+      ), [anyType, anyType, anyType]))
     );
     return errorAndMaybeSuggestAwait(errorNode, suggestAwait, message, typeToString(type));
   }
@@ -86421,26 +86481,13 @@ function createTypeChecker(host) {
     return getCachedIterationTypes(type, resolver.iteratorCacheKey);
   }
   function getIterationTypesOfIteratorFast(type, resolver) {
-    const globalType = resolver.getGlobalIterableIteratorType(
+    if (isReferenceToType2(type, resolver.getGlobalBuiltinIteratorType(
       /*reportErrors*/
       false
-    );
-    if (isReferenceToType2(type, globalType)) {
-      const [yieldType] = getTypeArguments(type);
-      const globalIterationTypes = getIterationTypesOfIteratorCached(globalType, resolver) || getIterationTypesOfIteratorSlow(
-        globalType,
-        resolver,
-        /*errorNode*/
-        void 0,
-        /*errorOutputContainer*/
-        void 0,
-        /*noCache*/
-        false
-      );
-      const { returnType, nextType } = globalIterationTypes === noIterationTypes ? defaultIterationTypes : globalIterationTypes;
-      return setCachedIterationTypes(type, resolver.iteratorCacheKey, createIterationTypes(yieldType, returnType, nextType));
-    }
-    if (isReferenceToType2(type, resolver.getGlobalIteratorType(
+    )) || isReferenceToType2(type, resolver.getGlobalIterableIteratorType(
+      /*reportErrors*/
+      false
+    )) || isReferenceToType2(type, resolver.getGlobalIteratorType(
       /*reportErrors*/
       false
     )) || isReferenceToType2(type, resolver.getGlobalGeneratorType(
@@ -86517,7 +86564,7 @@ function createTypeChecker(host) {
     }
     const methodType = method && !(methodName === "next" && method.flags & 16777216 /* Optional */) ? methodName === "next" ? getTypeOfSymbol(method) : getTypeWithFacts(getTypeOfSymbol(method), 2097152 /* NEUndefinedOrNull */) : void 0;
     if (isTypeAny(methodType)) {
-      return methodName === "next" ? anyIterationTypes : anyIterationTypesExceptNext;
+      return anyIterationTypes;
     }
     const methodSignatures = methodType ? getSignaturesOfType(methodType, 0 /* Call */) : emptyArray;
     if (methodSignatures.length === 0) {
@@ -87655,7 +87702,9 @@ function createTypeChecker(host) {
     checkExportsOnMergedDeclarations(node);
     checkTypeParameters(node.typeParameters);
     if (node.type.kind === 141 /* IntrinsicKeyword */) {
-      if (!intrinsicTypeKinds.has(node.name.escapedText) || length(node.typeParameters) !== 1) {
+      const typeParameterCount = length(node.typeParameters);
+      const valid = typeParameterCount === 0 ? node.name.escapedText === "BuiltinIteratorReturn" : typeParameterCount === 1 && intrinsicTypeKinds.has(node.name.escapedText);
+      if (!valid) {
         error2(node.type, Diagnostics.The_intrinsic_keyword_can_only_be_used_to_declare_compiler_provided_intrinsic_types);
       }
     } else {
@@ -88295,6 +88344,8 @@ function createTypeChecker(host) {
             }
           }
         }
+      } else if (noUncheckedSideEffectImports && !importClause) {
+        void resolveExternalModuleName(node, node.moduleSpecifier);
       }
     }
     checkImportAttributes(node);
@@ -91572,6 +91623,13 @@ function createTypeChecker(host) {
           if (name.kind === 9 /* NumericLiteral */) {
             checkGrammarNumericLiteral(name);
           }
+          if (name.kind === 10 /* BigIntLiteral */) {
+            addErrorOrSuggestion(
+              /*isError*/
+              true,
+              createDiagnosticForNode(name, Diagnostics.A_bigint_literal_cannot_be_used_as_a_property_name)
+            );
+          }
           currentKind = 4 /* PropertyAssignment */;
           break;
         case 174 /* MethodDeclaration */:
@@ -95306,7 +95364,7 @@ function createDestructuringPropertyAccess(flattenContext, value, propertyName)
       propertyName
     );
     return flattenContext.context.factory.createElementAccessExpression(value, argumentExpression);
-  } else if (isStringOrNumericLiteralLike(propertyName)) {
+  } else if (isStringOrNumericLiteralLike(propertyName) || isBigIntLiteral(propertyName)) {
     const argumentExpression = factory2.cloneNode(propertyName);
     return flattenContext.context.factory.createElementAccessExpression(value, argumentExpression);
   } else {
@@ -151960,7 +152018,7 @@ function isInsideAwaitableBody(node) {
 function makeChange3(changeTracker, errorCode, sourceFile, checker, insertionSite, fixedDeclarations) {
   if (isForOfStatement(insertionSite.parent) && !insertionSite.parent.awaitModifier) {
     const exprType = checker.getTypeAtLocation(insertionSite);
-    const asyncIter = checker.getAsyncIterableType();
+    const asyncIter = checker.getAnyAsyncIterableType();
     if (asyncIter && checker.isTypeAssignableTo(exprType, asyncIter)) {
       const forOf = insertionSite.parent;
       changeTracker.replaceNode(sourceFile, forOf, factory.updateForOfStatement(forOf, factory.createToken(135 /* AwaitKeyword */), forOf.initializer, forOf.expression, forOf.statement));
@@ -180354,6 +180412,7 @@ __export(ts_exports2, {
   isShiftOperatorOrHigher: () => isShiftOperatorOrHigher,
   isShorthandAmbientModuleSymbol: () => isShorthandAmbientModuleSymbol,
   isShorthandPropertyAssignment: () => isShorthandPropertyAssignment,
+  isSideEffectImport: () => isSideEffectImport,
   isSignedNumericLiteral: () => isSignedNumericLiteral,
   isSimpleCopiableExpression: () => isSimpleCopiableExpression,
   isSimpleInlineableExpression: () => isSimpleInlineableExpression,
@@ -183067,7 +183126,7 @@ var Project2 = class _Project {
     return this.projectName;
   }
   removeLocalTypingsFromTypeAcquisition(newTypeAcquisition) {
-    if (!newTypeAcquisition || !newTypeAcquisition.include) {
+    if (!newTypeAcquisition.enable || !newTypeAcquisition.include) {
       return newTypeAcquisition;
     }
     return { ...newTypeAcquisition, include: this.removeExistingTypings(newTypeAcquisition.include) };
@@ -183505,8 +183564,9 @@ var Project2 = class _Project {
     return this.program;
   }
   removeExistingTypings(include) {
+    if (!include.length) return include;
     const existing = getAutomaticTypeDirectiveNames(this.getCompilerOptions(), this.directoryStructureHost);
-    return include.filter((i) => !existing.includes(i));
+    return filter(include, (i) => !existing.includes(i));
   }
   updateGraphWorker() {
     var _a, _b;
@@ -194717,6 +194777,7 @@ if (typeof console !== "undefined") {
   isShiftOperatorOrHigher,
   isShorthandAmbientModuleSymbol,
   isShorthandPropertyAssignment,
+  isSideEffectImport,
   isSignedNumericLiteral,
   isSimpleCopiableExpression,
   isSimpleInlineableExpression,

package/package.json

@@ -2,7 +2,7 @@
     "name": "typescript",
     "author": "Microsoft Corp.",
     "homepage": "https://www.typescriptlang.org/",
-    "version": "5.6.0-dev.20240718",
+    "version": "5.6.0-dev.20240720",
     "license": "Apache-2.0",
     "description": "TypeScript is a language for application scale JavaScript development",
     "keywords": [
@@ -114,5 +114,5 @@
         "node": "20.1.0",
         "npm": "8.19.4"
     },
-    "gitHead": "14eca92fd77b101454c03181f084a8ecb9be8b76"
+    "gitHead": "903e82b368c8328dba95b70b21415e7a48339857"
 }