@typescript-deploys/pr-build 5.4.0-pr-56875-6 → 5.4.0-pr-56895-10

package/lib/lib.dom.asynciterable.d.ts

@@ -0,0 +1,28 @@
+/*! *****************************************************************************
+Copyright (c) Microsoft Corporation. All rights reserved.
+Licensed under the Apache License, Version 2.0 (the "License"); you may not use
+this file except in compliance with the License. You may obtain a copy of the
+License at http://www.apache.org/licenses/LICENSE-2.0
+
+THIS CODE IS PROVIDED ON AN *AS IS* BASIS, WITHOUT WARRANTIES OR CONDITIONS OF ANY
+KIND, EITHER EXPRESS OR IMPLIED, INCLUDING WITHOUT LIMITATION ANY IMPLIED
+WARRANTIES OR CONDITIONS OF TITLE, FITNESS FOR A PARTICULAR PURPOSE,
+MERCHANTABLITY OR NON-INFRINGEMENT.
+
+See the Apache Version 2.0 License for specific language governing permissions
+and limitations under the License.
+***************************************************************************** */
+
+
+/// <reference no-default-lib="true"/>
+
+/////////////////////////////
+/// Window Async Iterable APIs
+/////////////////////////////
+
+interface FileSystemDirectoryHandle {
+    [Symbol.asyncIterator](): AsyncIterableIterator<[string, FileSystemHandle]>;
+    entries(): AsyncIterableIterator<[string, FileSystemHandle]>;
+    keys(): AsyncIterableIterator<string>;
+    values(): AsyncIterableIterator<FileSystemHandle>;
+}

package/lib/lib.es2018.full.d.ts

@@ -21,3 +21,4 @@ and limitations under the License.
 /// <reference lib="webworker.importscripts" />
 /// <reference lib="scripthost" />
 /// <reference lib="dom.iterable" />
+/// <reference lib="dom.asynciterable" />

package/lib/lib.es2019.full.d.ts

@@ -21,3 +21,4 @@ and limitations under the License.
 /// <reference lib="webworker.importscripts" />
 /// <reference lib="scripthost" />
 /// <reference lib="dom.iterable" />
+/// <reference lib="dom.asynciterable" />

package/lib/lib.es2020.full.d.ts

@@ -21,3 +21,4 @@ and limitations under the License.
 /// <reference lib="webworker.importscripts" />
 /// <reference lib="scripthost" />
 /// <reference lib="dom.iterable" />
+/// <reference lib="dom.asynciterable" />

package/lib/lib.es2021.full.d.ts

@@ -21,3 +21,4 @@ and limitations under the License.
 /// <reference lib="webworker.importscripts" />
 /// <reference lib="scripthost" />
 /// <reference lib="dom.iterable" />
+/// <reference lib="dom.asynciterable" />

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

@@ -21,3 +21,4 @@ and limitations under the License.
 /// <reference lib="webworker.importscripts" />
 /// <reference lib="scripthost" />
 /// <reference lib="dom.iterable" />
+/// <reference lib="dom.asynciterable" />

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

@@ -21,3 +21,4 @@ and limitations under the License.
 /// <reference lib="webworker.importscripts" />
 /// <reference lib="scripthost" />
 /// <reference lib="dom.iterable" />
+/// <reference lib="dom.asynciterable" />

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

@@ -21,3 +21,4 @@ and limitations under the License.
 /// <reference lib="webworker.importscripts" />
 /// <reference lib="scripthost" />
 /// <reference lib="dom.iterable" />
+/// <reference lib="dom.asynciterable" />

package/lib/lib.webworker.asynciterable.d.ts

@@ -0,0 +1,28 @@
+/*! *****************************************************************************
+Copyright (c) Microsoft Corporation. All rights reserved.
+Licensed under the Apache License, Version 2.0 (the "License"); you may not use
+this file except in compliance with the License. You may obtain a copy of the
+License at http://www.apache.org/licenses/LICENSE-2.0
+
+THIS CODE IS PROVIDED ON AN *AS IS* BASIS, WITHOUT WARRANTIES OR CONDITIONS OF ANY
+KIND, EITHER EXPRESS OR IMPLIED, INCLUDING WITHOUT LIMITATION ANY IMPLIED
+WARRANTIES OR CONDITIONS OF TITLE, FITNESS FOR A PARTICULAR PURPOSE,
+MERCHANTABLITY OR NON-INFRINGEMENT.
+
+See the Apache Version 2.0 License for specific language governing permissions
+and limitations under the License.
+***************************************************************************** */
+
+
+/// <reference no-default-lib="true"/>
+
+/////////////////////////////
+/// Worker Async Iterable APIs
+/////////////////////////////
+
+interface FileSystemDirectoryHandle {
+    [Symbol.asyncIterator](): AsyncIterableIterator<[string, FileSystemHandle]>;
+    entries(): AsyncIterableIterator<[string, FileSystemHandle]>;
+    keys(): AsyncIterableIterator<string>;
+    values(): AsyncIterableIterator<FileSystemHandle>;
+}

package/lib/tsc.js

@@ -18,7 +18,7 @@ and limitations under the License.
 
 // src/compiler/corePublic.ts
 var versionMajorMinor = "5.4";
-var version = `${versionMajorMinor}.0-insiders.20231226`;
+var version = `${versionMajorMinor}.0-insiders.20240102`;
 
 // src/compiler/core.ts
 var emptyArray = [];
@@ -34003,9 +34003,11 @@ var libEntries = [
   // Host only
   ["dom", "lib.dom.d.ts"],
   ["dom.iterable", "lib.dom.iterable.d.ts"],
+  ["dom.asynciterable", "lib.dom.asynciterable.d.ts"],
   ["webworker", "lib.webworker.d.ts"],
   ["webworker.importscripts", "lib.webworker.importscripts.d.ts"],
   ["webworker.iterable", "lib.webworker.iterable.d.ts"],
+  ["webworker.asynciterable", "lib.webworker.asynciterable.d.ts"],
   ["scripthost", "lib.scripthost.d.ts"],
   // ES2015 Or ESNext By-feature options
   ["es2015.core", "lib.es2015.core.d.ts"],
@@ -44094,6 +44096,7 @@ function createTypeChecker(host) {
   );
   var errorType = createIntrinsicType(1 /* Any */, "error");
   var unresolvedType = createIntrinsicType(1 /* Any */, "unresolved");
+  var nonInferrableAnyType = createIntrinsicType(1 /* Any */, "any", 65536 /* ContainsWideningType */, "non-inferrable");
   var intrinsicMarkerType = createIntrinsicType(1 /* Any */, "intrinsic");
   var unknownType = createIntrinsicType(2 /* Unknown */, "unknown");
   var nonNullUnknownType = createIntrinsicType(
@@ -44103,7 +44106,6 @@ function createTypeChecker(host) {
     void 0,
     "non-null"
   );
-  var nonInferrableUnknownType = createIntrinsicType(2 /* Unknown */, "unknown", 65536 /* ContainsWideningType */, "non-inferrable");
   var undefinedType = createIntrinsicType(32768 /* Undefined */, "undefined");
   var undefinedWideningType = strictNullChecks ? undefinedType : createIntrinsicType(32768 /* Undefined */, "undefined", 65536 /* ContainsWideningType */, "widening");
   var missingType = createIntrinsicType(
@@ -52654,7 +52656,7 @@ function createTypeChecker(host) {
     if (reportErrors2 && !declarationBelongsToPrivateAmbientMember(element)) {
       reportImplicitAny(element, anyType);
     }
-    return includePatternInType ? nonInferrableUnknownType : anyType;
+    return includePatternInType ? nonInferrableAnyType : anyType;
   }
   function getTypeFromObjectBindingPattern(pattern, includePatternInType, reportErrors2) {
     const members = createSymbolTable();
@@ -53077,7 +53079,7 @@ function createTypeChecker(host) {
     if (!links.writeType && links.deferralWriteConstituents) {
       Debug.assertIsDefined(links.deferralParent);
       Debug.assertIsDefined(links.deferralConstituents);
-      links.writeType = links.deferralParent.flags & 1048576 /* Union */ ? getUnionType(links.deferralWriteConstituents) : getIntersectionType(links.deferralWriteConstituents);
+      links.writeType = links.deferralParent.flags & 1048576 /* Union */ ? getIntersectionType(links.deferralWriteConstituents) : getUnionType(links.deferralWriteConstituents);
     }
     return links.writeType;
   }
@@ -55299,7 +55301,7 @@ function createTypeChecker(host) {
     } else {
       result.links.type = isUnion ? getUnionType(propTypes) : getIntersectionType(propTypes);
       if (writeTypes) {
-        result.links.writeType = isUnion ? getUnionType(writeTypes) : getIntersectionType(writeTypes);
+        result.links.writeType = isUnion ? getIntersectionType(writeTypes) : getUnionType(writeTypes);
       }
     }
     return result;
@@ -59053,6 +59055,12 @@ function createTypeChecker(host) {
     return type;
   }
   function getESSymbolLikeTypeForNode(node) {
+    if (isInJSFile(node) && isJSDocTypeExpression(node)) {
+      const host2 = getJSDocHost(node);
+      if (host2) {
+        node = getSingleVariableOfVariableStatement(host2) || host2;
+      }
+    }
     if (isValidESSymbolDeclaration(node)) {
       const symbol = isCommonJsExportPropertyAssignment(node) ? getSymbolOfNode(node.left) : getSymbolOfNode(node);
       if (symbol) {
@@ -60660,7 +60668,7 @@ function createTypeChecker(host) {
   function isSimpleTypeRelatedTo(source, target, relation, errorReporter) {
     const s = source.flags;
     const t = target.flags;
-    if (t & 1 /* Any */ || s & 131072 /* Never */ || source === wildcardType || source === nonInferrableUnknownType)
+    if (t & 1 /* Any */ || s & 131072 /* Never */ || source === wildcardType)
       return true;
     if (t & 2 /* Unknown */ && !(relation === strictSubtypeRelation && s & 1 /* Any */))
       return true;
@@ -61997,7 +62005,7 @@ function createTypeChecker(host) {
         }
         if (relation === comparableRelation && sourceFlags & 262144 /* TypeParameter */) {
           let constraint = getConstraintOfTypeParameter(source2);
-          if (constraint && hasNonCircularBaseConstraint(source2)) {
+          if (constraint) {
             while (constraint && someType(constraint, (c) => !!(c.flags & 262144 /* TypeParameter */))) {
               if (result2 = isRelatedTo(
                 constraint,
@@ -63910,9 +63918,6 @@ function createTypeChecker(host) {
         result = anyType;
       } else if (isObjectLiteralType(type)) {
         result = getWidenedTypeOfObjectLiteral(type, context);
-        if (type.pattern) {
-          result.pattern = type.pattern;
-        }
       } else if (type.flags & 1048576 /* Union */) {
         const unionContext = context || createWideningContext(
           /*parent*/
@@ -63927,9 +63932,6 @@ function createTypeChecker(host) {
         result = getIntersectionType(sameMap(type.types, getWidenedType));
       } else if (isArrayOrTupleType(type)) {
         result = createTypeReference(type.target, sameMap(getTypeArguments(type), getWidenedType));
-        if (type.pattern) {
-          result.pattern = type.pattern;
-        }
       }
       if (result && context === void 0) {
         type.widened = result;
@@ -64263,22 +64265,12 @@ function createTypeChecker(host) {
       return void 0;
     }
     if (isArrayType(source)) {
-      let reversed2 = createArrayType(inferReverseMappedType(getTypeArguments(source)[0], target, constraint), isReadonlyArrayType(source));
-      if (source.pattern) {
-        reversed2 = cloneTypeReference(reversed2);
-        reversed2.pattern = source.pattern;
-      }
-      return reversed2;
+      return createArrayType(inferReverseMappedType(getTypeArguments(source)[0], target, constraint), isReadonlyArrayType(source));
     }
     if (isTupleType(source)) {
       const elementTypes = map(getElementTypes(source), (t) => inferReverseMappedType(t, target, constraint));
       const elementFlags = getMappedTypeModifiers(target) & 4 /* IncludeOptional */ ? sameMap(source.target.elementFlags, (f) => f & 2 /* Optional */ ? 1 /* Required */ : f) : source.target.elementFlags;
-      let reversed2 = createTupleType(elementTypes, elementFlags, source.target.readonly, source.target.labeledElementDeclarations);
-      if (source.pattern) {
-        reversed2 = cloneTypeReference(reversed2);
-        reversed2.pattern = source.pattern;
-      }
-      return reversed2;
+      return createTupleType(elementTypes, elementFlags, source.target.readonly, source.target.labeledElementDeclarations);
     }
     const reversed = createObjectType(
       1024 /* ReverseMapped */ | 16 /* Anonymous */,
@@ -64288,9 +64280,6 @@ function createTypeChecker(host) {
     reversed.source = source;
     reversed.mappedType = target;
     reversed.constraintType = constraint;
-    if (source.pattern) {
-      reversed.pattern = source.pattern;
-    }
     return reversed;
   }
   function getTypeOfReverseMappedSymbol(symbol) {
@@ -64305,7 +64294,7 @@ function createTypeChecker(host) {
     const templateType = getTemplateTypeFromMappedType(target);
     const inference = createInferenceInfo(typeParameter);
     inferTypes([inference], sourceType, templateType);
-    return getTypeFromInference(inference) || (sourceType.pattern ? nonInferrableUnknownType : unknownType);
+    return getTypeFromInference(inference) || unknownType;
   }
   function* getUnmatchedProperties(source, target, requireOptionalProperties, matchDiscriminantProperties) {
     const properties = getPropertiesOfType(target);
@@ -64333,7 +64322,7 @@ function createTypeChecker(host) {
     return firstOrUndefinedIterator(getUnmatchedProperties(source, target, requireOptionalProperties, matchDiscriminantProperties));
   }
   function tupleTypesDefinitelyUnrelated(source, target) {
-    return !source.pattern && (!(target.target.combinedFlags & 8 /* Variadic */) && target.target.minLength > source.target.minLength || !target.target.hasRestElement && (source.target.hasRestElement || target.target.fixedLength < source.target.fixedLength));
+    return !(target.target.combinedFlags & 8 /* Variadic */) && target.target.minLength > source.target.minLength || !target.target.hasRestElement && (source.target.hasRestElement || target.target.fixedLength < source.target.fixedLength);
   }
   function typesDefinitelyUnrelated(source, target) {
     return isTupleType(source) && isTupleType(target) ? tupleTypesDefinitelyUnrelated(source, target) : !!getUnmatchedProperty(
@@ -64552,7 +64541,7 @@ function createTypeChecker(host) {
         }
         const inference = getInferenceInfoForType(target);
         if (inference) {
-          if (getObjectFlags(source) & 262144 /* NonInferrableType */ || source === nonInferrableUnknownType) {
+          if (getObjectFlags(source) & 262144 /* NonInferrableType */ || source === nonInferrableAnyType) {
             return;
           }
           if (!inference.isFixed) {
@@ -65114,16 +65103,12 @@ function createTypeChecker(host) {
   function getInferredType(context, index) {
     const inference = context.inferences[index];
     if (!inference.inferredType) {
-      let isFromBindingPattern = false;
       let inferredType;
       let fallbackType;
       if (context.signature) {
         const inferredCovariantType = inference.candidates ? getCovariantInference(inference, context.signature) : void 0;
         const inferredContravariantType = inference.contraCandidates ? getContravariantInference(inference) : void 0;
-        if (inferredCovariantType == null ? void 0 : inferredCovariantType.pattern) {
-          isFromBindingPattern = true;
-          inferredType = inferredCovariantType;
-        } else if (inferredCovariantType || inferredContravariantType) {
+        if (inferredCovariantType || inferredContravariantType) {
           const preferCovariantType = inferredCovariantType && (!inferredContravariantType || !(inferredCovariantType.flags & 131072 /* Never */) && some(inference.contraCandidates, (t) => isTypeSubtypeOf(inferredCovariantType, t)) && every(context.inferences, (other) => other !== inference && getConstraintOfTypeParameter(other.typeParameter) !== inference.typeParameter || every(other.candidates, (t) => isTypeSubtypeOf(t, inferredCovariantType))));
           inferredType = preferCovariantType ? inferredCovariantType : inferredContravariantType;
           fallbackType = preferCovariantType ? inferredContravariantType : inferredCovariantType;
@@ -65142,9 +65127,7 @@ function createTypeChecker(host) {
       const constraint = getConstraintOfTypeParameter(inference.typeParameter);
       if (constraint) {
         const instantiatedConstraint = instantiateType(constraint, context.nonFixingMapper);
-        if (isFromBindingPattern) {
-          inference.inferredType = getIntersectionType([inference.inferredType, instantiatedConstraint]);
-        } else if (!inferredType || !context.compareTypes(inferredType, getTypeWithThisArgument(instantiatedConstraint, inferredType))) {
+        if (!inferredType || !context.compareTypes(inferredType, getTypeWithThisArgument(instantiatedConstraint, inferredType))) {
           inference.inferredType = fallbackType && context.compareTypes(fallbackType, getTypeWithThisArgument(instantiatedConstraint, fallbackType)) ? fallbackType : instantiatedConstraint;
         }
       }
@@ -68471,16 +68454,7 @@ function createTypeChecker(host) {
         } else if (t.flags & 3670016 /* StructuredType */) {
           const prop = getPropertyOfType(t, name);
           if (prop) {
-            if (isCircularMappedProperty(prop)) {
-              return void 0;
-            }
-            const type2 = getTypeOfSymbol(prop);
-            if (type2 !== nonInferrableUnknownType) {
-              return removeMissingType(type2, !!(prop && prop.flags & 16777216 /* Optional */));
-            }
-            if (t.flags & 2097152 /* Intersection */) {
-              t = getIntersectionType(t.types.filter((t2) => !t2.pattern));
-            }
+            return isCircularMappedProperty(prop) ? void 0 : removeMissingType(getTypeOfSymbol(prop), !!(prop && prop.flags & 16777216 /* Optional */));
           }
           if (isTupleType(t) && isNumericLiteralName(name) && +name >= 0) {
             const restType = getElementTypeOfSliceOfTupleType(
@@ -69330,7 +69304,7 @@ function createTypeChecker(host) {
       /*contextFlags*/
       void 0
     );
-    const contextualTypeHasPattern = !(checkMode & 2 /* Inferential */) && contextualType && contextualType.pattern && (contextualType.pattern.kind === 206 /* ObjectBindingPattern */ || contextualType.pattern.kind === 210 /* ObjectLiteralExpression */);
+    const contextualTypeHasPattern = contextualType && contextualType.pattern && (contextualType.pattern.kind === 206 /* ObjectBindingPattern */ || contextualType.pattern.kind === 210 /* ObjectLiteralExpression */);
     const inConstContext = isConstContext(node);
     const checkFlags = inConstContext ? 8 /* Readonly */ : 0;
     const isInJavascript = isInJSFile(node) && !isInJsonFile(node);

package/lib/tsserver.js

@@ -2339,7 +2339,7 @@ module.exports = __toCommonJS(server_exports);
 
 // src/compiler/corePublic.ts
 var versionMajorMinor = "5.4";
-var version = `${versionMajorMinor}.0-insiders.20231226`;
+var version = `${versionMajorMinor}.0-insiders.20240102`;
 var Comparison = /* @__PURE__ */ ((Comparison3) => {
   Comparison3[Comparison3["LessThan"] = -1] = "LessThan";
   Comparison3[Comparison3["EqualTo"] = 0] = "EqualTo";
@@ -38422,9 +38422,11 @@ var libEntries = [
   // Host only
   ["dom", "lib.dom.d.ts"],
   ["dom.iterable", "lib.dom.iterable.d.ts"],
+  ["dom.asynciterable", "lib.dom.asynciterable.d.ts"],
   ["webworker", "lib.webworker.d.ts"],
   ["webworker.importscripts", "lib.webworker.importscripts.d.ts"],
   ["webworker.iterable", "lib.webworker.iterable.d.ts"],
+  ["webworker.asynciterable", "lib.webworker.asynciterable.d.ts"],
   ["scripthost", "lib.scripthost.d.ts"],
   // ES2015 Or ESNext By-feature options
   ["es2015.core", "lib.es2015.core.d.ts"],
@@ -48813,6 +48815,7 @@ function createTypeChecker(host) {
   );
   var errorType = createIntrinsicType(1 /* Any */, "error");
   var unresolvedType = createIntrinsicType(1 /* Any */, "unresolved");
+  var nonInferrableAnyType = createIntrinsicType(1 /* Any */, "any", 65536 /* ContainsWideningType */, "non-inferrable");
   var intrinsicMarkerType = createIntrinsicType(1 /* Any */, "intrinsic");
   var unknownType = createIntrinsicType(2 /* Unknown */, "unknown");
   var nonNullUnknownType = createIntrinsicType(
@@ -48822,7 +48825,6 @@ function createTypeChecker(host) {
     void 0,
     "non-null"
   );
-  var nonInferrableUnknownType = createIntrinsicType(2 /* Unknown */, "unknown", 65536 /* ContainsWideningType */, "non-inferrable");
   var undefinedType = createIntrinsicType(32768 /* Undefined */, "undefined");
   var undefinedWideningType = strictNullChecks ? undefinedType : createIntrinsicType(32768 /* Undefined */, "undefined", 65536 /* ContainsWideningType */, "widening");
   var missingType = createIntrinsicType(
@@ -57373,7 +57375,7 @@ function createTypeChecker(host) {
     if (reportErrors2 && !declarationBelongsToPrivateAmbientMember(element)) {
       reportImplicitAny(element, anyType);
     }
-    return includePatternInType ? nonInferrableUnknownType : anyType;
+    return includePatternInType ? nonInferrableAnyType : anyType;
   }
   function getTypeFromObjectBindingPattern(pattern, includePatternInType, reportErrors2) {
     const members = createSymbolTable();
@@ -57796,7 +57798,7 @@ function createTypeChecker(host) {
     if (!links.writeType && links.deferralWriteConstituents) {
       Debug.assertIsDefined(links.deferralParent);
       Debug.assertIsDefined(links.deferralConstituents);
-      links.writeType = links.deferralParent.flags & 1048576 /* Union */ ? getUnionType(links.deferralWriteConstituents) : getIntersectionType(links.deferralWriteConstituents);
+      links.writeType = links.deferralParent.flags & 1048576 /* Union */ ? getIntersectionType(links.deferralWriteConstituents) : getUnionType(links.deferralWriteConstituents);
     }
     return links.writeType;
   }
@@ -60018,7 +60020,7 @@ function createTypeChecker(host) {
     } else {
       result.links.type = isUnion ? getUnionType(propTypes) : getIntersectionType(propTypes);
       if (writeTypes) {
-        result.links.writeType = isUnion ? getUnionType(writeTypes) : getIntersectionType(writeTypes);
+        result.links.writeType = isUnion ? getIntersectionType(writeTypes) : getUnionType(writeTypes);
       }
     }
     return result;
@@ -63772,6 +63774,12 @@ function createTypeChecker(host) {
     return type;
   }
   function getESSymbolLikeTypeForNode(node) {
+    if (isInJSFile(node) && isJSDocTypeExpression(node)) {
+      const host2 = getJSDocHost(node);
+      if (host2) {
+        node = getSingleVariableOfVariableStatement(host2) || host2;
+      }
+    }
     if (isValidESSymbolDeclaration(node)) {
       const symbol = isCommonJsExportPropertyAssignment(node) ? getSymbolOfNode(node.left) : getSymbolOfNode(node);
       if (symbol) {
@@ -65379,7 +65387,7 @@ function createTypeChecker(host) {
   function isSimpleTypeRelatedTo(source, target, relation, errorReporter) {
     const s = source.flags;
     const t = target.flags;
-    if (t & 1 /* Any */ || s & 131072 /* Never */ || source === wildcardType || source === nonInferrableUnknownType)
+    if (t & 1 /* Any */ || s & 131072 /* Never */ || source === wildcardType)
       return true;
     if (t & 2 /* Unknown */ && !(relation === strictSubtypeRelation && s & 1 /* Any */))
       return true;
@@ -66716,7 +66724,7 @@ function createTypeChecker(host) {
         }
         if (relation === comparableRelation && sourceFlags & 262144 /* TypeParameter */) {
           let constraint = getConstraintOfTypeParameter(source2);
-          if (constraint && hasNonCircularBaseConstraint(source2)) {
+          if (constraint) {
             while (constraint && someType(constraint, (c) => !!(c.flags & 262144 /* TypeParameter */))) {
               if (result2 = isRelatedTo(
                 constraint,
@@ -68629,9 +68637,6 @@ function createTypeChecker(host) {
         result = anyType;
       } else if (isObjectLiteralType2(type)) {
         result = getWidenedTypeOfObjectLiteral(type, context);
-        if (type.pattern) {
-          result.pattern = type.pattern;
-        }
       } else if (type.flags & 1048576 /* Union */) {
         const unionContext = context || createWideningContext(
           /*parent*/
@@ -68646,9 +68651,6 @@ function createTypeChecker(host) {
         result = getIntersectionType(sameMap(type.types, getWidenedType));
       } else if (isArrayOrTupleType(type)) {
         result = createTypeReference(type.target, sameMap(getTypeArguments(type), getWidenedType));
-        if (type.pattern) {
-          result.pattern = type.pattern;
-        }
       }
       if (result && context === void 0) {
         type.widened = result;
@@ -68982,22 +68984,12 @@ function createTypeChecker(host) {
       return void 0;
     }
     if (isArrayType(source)) {
-      let reversed2 = createArrayType(inferReverseMappedType(getTypeArguments(source)[0], target, constraint), isReadonlyArrayType(source));
-      if (source.pattern) {
-        reversed2 = cloneTypeReference(reversed2);
-        reversed2.pattern = source.pattern;
-      }
-      return reversed2;
+      return createArrayType(inferReverseMappedType(getTypeArguments(source)[0], target, constraint), isReadonlyArrayType(source));
     }
     if (isTupleType(source)) {
       const elementTypes = map(getElementTypes(source), (t) => inferReverseMappedType(t, target, constraint));
       const elementFlags = getMappedTypeModifiers(target) & 4 /* IncludeOptional */ ? sameMap(source.target.elementFlags, (f) => f & 2 /* Optional */ ? 1 /* Required */ : f) : source.target.elementFlags;
-      let reversed2 = createTupleType(elementTypes, elementFlags, source.target.readonly, source.target.labeledElementDeclarations);
-      if (source.pattern) {
-        reversed2 = cloneTypeReference(reversed2);
-        reversed2.pattern = source.pattern;
-      }
-      return reversed2;
+      return createTupleType(elementTypes, elementFlags, source.target.readonly, source.target.labeledElementDeclarations);
     }
     const reversed = createObjectType(
       1024 /* ReverseMapped */ | 16 /* Anonymous */,
@@ -69007,9 +68999,6 @@ function createTypeChecker(host) {
     reversed.source = source;
     reversed.mappedType = target;
     reversed.constraintType = constraint;
-    if (source.pattern) {
-      reversed.pattern = source.pattern;
-    }
     return reversed;
   }
   function getTypeOfReverseMappedSymbol(symbol) {
@@ -69024,7 +69013,7 @@ function createTypeChecker(host) {
     const templateType = getTemplateTypeFromMappedType(target);
     const inference = createInferenceInfo(typeParameter);
     inferTypes([inference], sourceType, templateType);
-    return getTypeFromInference(inference) || (sourceType.pattern ? nonInferrableUnknownType : unknownType);
+    return getTypeFromInference(inference) || unknownType;
   }
   function* getUnmatchedProperties(source, target, requireOptionalProperties, matchDiscriminantProperties) {
     const properties = getPropertiesOfType(target);
@@ -69052,7 +69041,7 @@ function createTypeChecker(host) {
     return firstOrUndefinedIterator(getUnmatchedProperties(source, target, requireOptionalProperties, matchDiscriminantProperties));
   }
   function tupleTypesDefinitelyUnrelated(source, target) {
-    return !source.pattern && (!(target.target.combinedFlags & 8 /* Variadic */) && target.target.minLength > source.target.minLength || !target.target.hasRestElement && (source.target.hasRestElement || target.target.fixedLength < source.target.fixedLength));
+    return !(target.target.combinedFlags & 8 /* Variadic */) && target.target.minLength > source.target.minLength || !target.target.hasRestElement && (source.target.hasRestElement || target.target.fixedLength < source.target.fixedLength);
   }
   function typesDefinitelyUnrelated(source, target) {
     return isTupleType(source) && isTupleType(target) ? tupleTypesDefinitelyUnrelated(source, target) : !!getUnmatchedProperty(
@@ -69271,7 +69260,7 @@ function createTypeChecker(host) {
         }
         const inference = getInferenceInfoForType(target);
         if (inference) {
-          if (getObjectFlags(source) & 262144 /* NonInferrableType */ || source === nonInferrableUnknownType) {
+          if (getObjectFlags(source) & 262144 /* NonInferrableType */ || source === nonInferrableAnyType) {
             return;
           }
           if (!inference.isFixed) {
@@ -69833,16 +69822,12 @@ function createTypeChecker(host) {
   function getInferredType(context, index) {
     const inference = context.inferences[index];
     if (!inference.inferredType) {
-      let isFromBindingPattern = false;
       let inferredType;
       let fallbackType;
       if (context.signature) {
         const inferredCovariantType = inference.candidates ? getCovariantInference(inference, context.signature) : void 0;
         const inferredContravariantType = inference.contraCandidates ? getContravariantInference(inference) : void 0;
-        if (inferredCovariantType == null ? void 0 : inferredCovariantType.pattern) {
-          isFromBindingPattern = true;
-          inferredType = inferredCovariantType;
-        } else if (inferredCovariantType || inferredContravariantType) {
+        if (inferredCovariantType || inferredContravariantType) {
           const preferCovariantType = inferredCovariantType && (!inferredContravariantType || !(inferredCovariantType.flags & 131072 /* Never */) && some(inference.contraCandidates, (t) => isTypeSubtypeOf(inferredCovariantType, t)) && every(context.inferences, (other) => other !== inference && getConstraintOfTypeParameter(other.typeParameter) !== inference.typeParameter || every(other.candidates, (t) => isTypeSubtypeOf(t, inferredCovariantType))));
           inferredType = preferCovariantType ? inferredCovariantType : inferredContravariantType;
           fallbackType = preferCovariantType ? inferredContravariantType : inferredCovariantType;
@@ -69861,9 +69846,7 @@ function createTypeChecker(host) {
       const constraint = getConstraintOfTypeParameter(inference.typeParameter);
       if (constraint) {
         const instantiatedConstraint = instantiateType(constraint, context.nonFixingMapper);
-        if (isFromBindingPattern) {
-          inference.inferredType = getIntersectionType([inference.inferredType, instantiatedConstraint]);
-        } else if (!inferredType || !context.compareTypes(inferredType, getTypeWithThisArgument(instantiatedConstraint, inferredType))) {
+        if (!inferredType || !context.compareTypes(inferredType, getTypeWithThisArgument(instantiatedConstraint, inferredType))) {
           inference.inferredType = fallbackType && context.compareTypes(fallbackType, getTypeWithThisArgument(instantiatedConstraint, fallbackType)) ? fallbackType : instantiatedConstraint;
         }
       }
@@ -73190,16 +73173,7 @@ function createTypeChecker(host) {
         } else if (t.flags & 3670016 /* StructuredType */) {
           const prop = getPropertyOfType(t, name);
           if (prop) {
-            if (isCircularMappedProperty(prop)) {
-              return void 0;
-            }
-            const type2 = getTypeOfSymbol(prop);
-            if (type2 !== nonInferrableUnknownType) {
-              return removeMissingType(type2, !!(prop && prop.flags & 16777216 /* Optional */));
-            }
-            if (t.flags & 2097152 /* Intersection */) {
-              t = getIntersectionType(t.types.filter((t2) => !t2.pattern));
-            }
+            return isCircularMappedProperty(prop) ? void 0 : removeMissingType(getTypeOfSymbol(prop), !!(prop && prop.flags & 16777216 /* Optional */));
           }
           if (isTupleType(t) && isNumericLiteralName(name) && +name >= 0) {
             const restType = getElementTypeOfSliceOfTupleType(
@@ -74049,7 +74023,7 @@ function createTypeChecker(host) {
       /*contextFlags*/
       void 0
     );
-    const contextualTypeHasPattern = !(checkMode & 2 /* Inferential */) && contextualType && contextualType.pattern && (contextualType.pattern.kind === 206 /* ObjectBindingPattern */ || contextualType.pattern.kind === 210 /* ObjectLiteralExpression */);
+    const contextualTypeHasPattern = contextualType && contextualType.pattern && (contextualType.pattern.kind === 206 /* ObjectBindingPattern */ || contextualType.pattern.kind === 210 /* ObjectLiteralExpression */);
     const inConstContext = isConstContext(node);
     const checkFlags = inConstContext ? 8 /* Readonly */ : 0;
     const isInJavascript = isInJSFile(node) && !isInJsonFile(node);
@@ -147658,21 +147632,24 @@ __export(ts_CallHierarchy_exports, {
 function isNamedExpression(node) {
   return (isFunctionExpression(node) || isClassExpression(node)) && isNamedDeclaration(node);
 }
-function isConstNamedExpression(node) {
-  return (isFunctionExpression(node) || isArrowFunction(node) || isClassExpression(node)) && isVariableDeclaration(node.parent) && node === node.parent.initializer && isIdentifier(node.parent.name) && !!(getCombinedNodeFlags(node.parent) & 2 /* Const */);
+function isVariableLike2(node) {
+  return isPropertyDeclaration(node) || isVariableDeclaration(node);
+}
+function isAssignedExpression(node) {
+  return (isFunctionExpression(node) || isArrowFunction(node) || isClassExpression(node)) && isVariableLike2(node.parent) && node === node.parent.initializer && isIdentifier(node.parent.name) && (!!(getCombinedNodeFlags(node.parent) & 2 /* Const */) || isPropertyDeclaration(node.parent));
 }
 function isPossibleCallHierarchyDeclaration(node) {
   return isSourceFile(node) || isModuleDeclaration(node) || isFunctionDeclaration(node) || isFunctionExpression(node) || isClassDeclaration(node) || isClassExpression(node) || isClassStaticBlockDeclaration(node) || isMethodDeclaration(node) || isMethodSignature(node) || isGetAccessorDeclaration(node) || isSetAccessorDeclaration(node);
 }
 function isValidCallHierarchyDeclaration(node) {
-  return isSourceFile(node) || isModuleDeclaration(node) && isIdentifier(node.name) || isFunctionDeclaration(node) || isClassDeclaration(node) || isClassStaticBlockDeclaration(node) || isMethodDeclaration(node) || isMethodSignature(node) || isGetAccessorDeclaration(node) || isSetAccessorDeclaration(node) || isNamedExpression(node) || isConstNamedExpression(node);
+  return isSourceFile(node) || isModuleDeclaration(node) && isIdentifier(node.name) || isFunctionDeclaration(node) || isClassDeclaration(node) || isClassStaticBlockDeclaration(node) || isMethodDeclaration(node) || isMethodSignature(node) || isGetAccessorDeclaration(node) || isSetAccessorDeclaration(node) || isNamedExpression(node) || isAssignedExpression(node);
 }
 function getCallHierarchyDeclarationReferenceNode(node) {
   if (isSourceFile(node))
     return node;
   if (isNamedDeclaration(node))
     return node.name;
-  if (isConstNamedExpression(node))
+  if (isAssignedExpression(node))
     return node.parent.name;
   return Debug.checkDefined(node.modifiers && find(node.modifiers, isDefaultModifier3));
 }
@@ -147702,7 +147679,7 @@ function getCallHierarchyItemName(program, node) {
     const prefix = symbol ? `${typeChecker.symbolToString(symbol, node.parent)} ` : "";
     return { text: `${prefix}static {}`, pos, end };
   }
-  const declName = isConstNamedExpression(node) ? node.parent.name : Debug.checkDefined(getNameOfDeclaration(node), "Expected call hierarchy item to have a name");
+  const declName = isAssignedExpression(node) ? node.parent.name : Debug.checkDefined(getNameOfDeclaration(node), "Expected call hierarchy item to have a name");
   let text = isIdentifier(declName) ? idText(declName) : isStringOrNumericLiteralLike(declName) ? declName.text : isComputedPropertyName(declName) ? isStringOrNumericLiteralLike(declName.expression) ? declName.expression.text : void 0 : void 0;
   if (text === void 0) {
     const typeChecker = program.getTypeChecker();
@@ -147718,8 +147695,11 @@ function getCallHierarchyItemName(program, node) {
   return { text, pos: declName.getStart(), end: declName.getEnd() };
 }
 function getCallHierarchItemContainerName(node) {
-  var _a, _b;
-  if (isConstNamedExpression(node)) {
+  var _a, _b, _c, _d;
+  if (isAssignedExpression(node)) {
+    if (isPropertyDeclaration(node.parent) && isClassLike(node.parent.parent)) {
+      return isClassExpression(node.parent.parent) ? (_a = getAssignedName(node.parent.parent)) == null ? void 0 : _a.getText() : (_b = node.parent.parent.name) == null ? void 0 : _b.getText();
+    }
     if (isModuleBlock(node.parent.parent.parent.parent) && isIdentifier(node.parent.parent.parent.parent.parent.name)) {
       return node.parent.parent.parent.parent.parent.name.getText();
     }
@@ -147730,9 +147710,9 @@ function getCallHierarchItemContainerName(node) {
     case 178 /* SetAccessor */:
     case 174 /* MethodDeclaration */:
       if (node.parent.kind === 210 /* ObjectLiteralExpression */) {
-        return (_a = getAssignedName(node.parent)) == null ? void 0 : _a.getText();
+        return (_c = getAssignedName(node.parent)) == null ? void 0 : _c.getText();
       }
-      return (_b = getNameOfDeclaration(node.parent)) == null ? void 0 : _b.getText();
+      return (_d = getNameOfDeclaration(node.parent)) == null ? void 0 : _d.getText();
     case 262 /* FunctionDeclaration */:
     case 263 /* ClassDeclaration */:
     case 267 /* ModuleDeclaration */:
@@ -147805,7 +147785,7 @@ function resolveCallHierarchyDeclaration(program, location) {
         const ancestor = findAncestor(location.parent, isValidCallHierarchyDeclaration);
         return ancestor && findImplementationOrAllInitialDeclarations(typeChecker, ancestor);
       }
-      if (isVariableDeclaration(location.parent) && location.parent.initializer && isConstNamedExpression(location.parent.initializer)) {
+      if (isVariableLike2(location.parent) && location.parent.initializer && isAssignedExpression(location.parent.initializer)) {
         return location.parent.initializer;
       }
       return void 0;
@@ -147820,7 +147800,7 @@ function resolveCallHierarchyDeclaration(program, location) {
       location = location.parent;
       continue;
     }
-    if (isVariableDeclaration(location) && location.initializer && isConstNamedExpression(location.initializer)) {
+    if (isVariableDeclaration(location) && location.initializer && isAssignedExpression(location.initializer)) {
       return location.initializer;
     }
     if (!followingSymbol) {
@@ -153893,7 +153873,7 @@ function tryGetValueFromType(context, checker, importAdder, quotePreference, typ
       /*enclosingDeclaration*/
       void 0,
       /*flags*/
-      void 0
+      64 /* UseFullyQualifiedType */
     );
     return enumMember === void 0 || name === void 0 ? factory.createNumericLiteral(0) : factory.createPropertyAccessExpression(name, checker.symbolToString(enumMember));
   }

package/lib/typescript.js

@@ -35,7 +35,7 @@ var ts = (() => {
     "src/compiler/corePublic.ts"() {
       "use strict";
       versionMajorMinor = "5.4";
-      version = `${versionMajorMinor}.0-insiders.20231226`;
+      version = `${versionMajorMinor}.0-insiders.20240102`;
       Comparison = /* @__PURE__ */ ((Comparison3) => {
         Comparison3[Comparison3["LessThan"] = -1] = "LessThan";
         Comparison3[Comparison3["EqualTo"] = 0] = "EqualTo";
@@ -37918,9 +37918,11 @@ ${lanes.join("\n")}
         // Host only
         ["dom", "lib.dom.d.ts"],
         ["dom.iterable", "lib.dom.iterable.d.ts"],
+        ["dom.asynciterable", "lib.dom.asynciterable.d.ts"],
         ["webworker", "lib.webworker.d.ts"],
         ["webworker.importscripts", "lib.webworker.importscripts.d.ts"],
         ["webworker.iterable", "lib.webworker.iterable.d.ts"],
+        ["webworker.asynciterable", "lib.webworker.asynciterable.d.ts"],
         ["scripthost", "lib.scripthost.d.ts"],
         // ES2015 Or ESNext By-feature options
         ["es2015.core", "lib.es2015.core.d.ts"],
@@ -46569,6 +46571,7 @@ ${lanes.join("\n")}
     );
     var errorType = createIntrinsicType(1 /* Any */, "error");
     var unresolvedType = createIntrinsicType(1 /* Any */, "unresolved");
+    var nonInferrableAnyType = createIntrinsicType(1 /* Any */, "any", 65536 /* ContainsWideningType */, "non-inferrable");
     var intrinsicMarkerType = createIntrinsicType(1 /* Any */, "intrinsic");
     var unknownType = createIntrinsicType(2 /* Unknown */, "unknown");
     var nonNullUnknownType = createIntrinsicType(
@@ -46578,7 +46581,6 @@ ${lanes.join("\n")}
       void 0,
       "non-null"
     );
-    var nonInferrableUnknownType = createIntrinsicType(2 /* Unknown */, "unknown", 65536 /* ContainsWideningType */, "non-inferrable");
     var undefinedType = createIntrinsicType(32768 /* Undefined */, "undefined");
     var undefinedWideningType = strictNullChecks ? undefinedType : createIntrinsicType(32768 /* Undefined */, "undefined", 65536 /* ContainsWideningType */, "widening");
     var missingType = createIntrinsicType(
@@ -55129,7 +55131,7 @@ ${lanes.join("\n")}
       if (reportErrors2 && !declarationBelongsToPrivateAmbientMember(element)) {
         reportImplicitAny(element, anyType);
       }
-      return includePatternInType ? nonInferrableUnknownType : anyType;
+      return includePatternInType ? nonInferrableAnyType : anyType;
     }
     function getTypeFromObjectBindingPattern(pattern, includePatternInType, reportErrors2) {
       const members = createSymbolTable();
@@ -55552,7 +55554,7 @@ ${lanes.join("\n")}
       if (!links.writeType && links.deferralWriteConstituents) {
         Debug.assertIsDefined(links.deferralParent);
         Debug.assertIsDefined(links.deferralConstituents);
-        links.writeType = links.deferralParent.flags & 1048576 /* Union */ ? getUnionType(links.deferralWriteConstituents) : getIntersectionType(links.deferralWriteConstituents);
+        links.writeType = links.deferralParent.flags & 1048576 /* Union */ ? getIntersectionType(links.deferralWriteConstituents) : getUnionType(links.deferralWriteConstituents);
       }
       return links.writeType;
     }
@@ -57774,7 +57776,7 @@ ${lanes.join("\n")}
       } else {
         result.links.type = isUnion ? getUnionType(propTypes) : getIntersectionType(propTypes);
         if (writeTypes) {
-          result.links.writeType = isUnion ? getUnionType(writeTypes) : getIntersectionType(writeTypes);
+          result.links.writeType = isUnion ? getIntersectionType(writeTypes) : getUnionType(writeTypes);
         }
       }
       return result;
@@ -61528,6 +61530,12 @@ ${lanes.join("\n")}
       return type;
     }
     function getESSymbolLikeTypeForNode(node) {
+      if (isInJSFile(node) && isJSDocTypeExpression(node)) {
+        const host2 = getJSDocHost(node);
+        if (host2) {
+          node = getSingleVariableOfVariableStatement(host2) || host2;
+        }
+      }
       if (isValidESSymbolDeclaration(node)) {
         const symbol = isCommonJsExportPropertyAssignment(node) ? getSymbolOfNode(node.left) : getSymbolOfNode(node);
         if (symbol) {
@@ -63135,7 +63143,7 @@ ${lanes.join("\n")}
     function isSimpleTypeRelatedTo(source, target, relation, errorReporter) {
       const s = source.flags;
       const t = target.flags;
-      if (t & 1 /* Any */ || s & 131072 /* Never */ || source === wildcardType || source === nonInferrableUnknownType)
+      if (t & 1 /* Any */ || s & 131072 /* Never */ || source === wildcardType)
         return true;
       if (t & 2 /* Unknown */ && !(relation === strictSubtypeRelation && s & 1 /* Any */))
         return true;
@@ -64472,7 +64480,7 @@ ${lanes.join("\n")}
           }
           if (relation === comparableRelation && sourceFlags & 262144 /* TypeParameter */) {
             let constraint = getConstraintOfTypeParameter(source2);
-            if (constraint && hasNonCircularBaseConstraint(source2)) {
+            if (constraint) {
               while (constraint && someType(constraint, (c) => !!(c.flags & 262144 /* TypeParameter */))) {
                 if (result2 = isRelatedTo(
                   constraint,
@@ -66385,9 +66393,6 @@ ${lanes.join("\n")}
           result = anyType;
         } else if (isObjectLiteralType2(type)) {
           result = getWidenedTypeOfObjectLiteral(type, context);
-          if (type.pattern) {
-            result.pattern = type.pattern;
-          }
         } else if (type.flags & 1048576 /* Union */) {
           const unionContext = context || createWideningContext(
             /*parent*/
@@ -66402,9 +66407,6 @@ ${lanes.join("\n")}
           result = getIntersectionType(sameMap(type.types, getWidenedType));
         } else if (isArrayOrTupleType(type)) {
           result = createTypeReference(type.target, sameMap(getTypeArguments(type), getWidenedType));
-          if (type.pattern) {
-            result.pattern = type.pattern;
-          }
         }
         if (result && context === void 0) {
           type.widened = result;
@@ -66738,22 +66740,12 @@ ${lanes.join("\n")}
         return void 0;
       }
       if (isArrayType(source)) {
-        let reversed2 = createArrayType(inferReverseMappedType(getTypeArguments(source)[0], target, constraint), isReadonlyArrayType(source));
-        if (source.pattern) {
-          reversed2 = cloneTypeReference(reversed2);
-          reversed2.pattern = source.pattern;
-        }
-        return reversed2;
+        return createArrayType(inferReverseMappedType(getTypeArguments(source)[0], target, constraint), isReadonlyArrayType(source));
       }
       if (isTupleType(source)) {
         const elementTypes = map(getElementTypes(source), (t) => inferReverseMappedType(t, target, constraint));
         const elementFlags = getMappedTypeModifiers(target) & 4 /* IncludeOptional */ ? sameMap(source.target.elementFlags, (f) => f & 2 /* Optional */ ? 1 /* Required */ : f) : source.target.elementFlags;
-        let reversed2 = createTupleType(elementTypes, elementFlags, source.target.readonly, source.target.labeledElementDeclarations);
-        if (source.pattern) {
-          reversed2 = cloneTypeReference(reversed2);
-          reversed2.pattern = source.pattern;
-        }
-        return reversed2;
+        return createTupleType(elementTypes, elementFlags, source.target.readonly, source.target.labeledElementDeclarations);
       }
       const reversed = createObjectType(
         1024 /* ReverseMapped */ | 16 /* Anonymous */,
@@ -66763,9 +66755,6 @@ ${lanes.join("\n")}
       reversed.source = source;
       reversed.mappedType = target;
       reversed.constraintType = constraint;
-      if (source.pattern) {
-        reversed.pattern = source.pattern;
-      }
       return reversed;
     }
     function getTypeOfReverseMappedSymbol(symbol) {
@@ -66780,7 +66769,7 @@ ${lanes.join("\n")}
       const templateType = getTemplateTypeFromMappedType(target);
       const inference = createInferenceInfo(typeParameter);
       inferTypes([inference], sourceType, templateType);
-      return getTypeFromInference(inference) || (sourceType.pattern ? nonInferrableUnknownType : unknownType);
+      return getTypeFromInference(inference) || unknownType;
     }
     function* getUnmatchedProperties(source, target, requireOptionalProperties, matchDiscriminantProperties) {
       const properties = getPropertiesOfType(target);
@@ -66808,7 +66797,7 @@ ${lanes.join("\n")}
       return firstOrUndefinedIterator(getUnmatchedProperties(source, target, requireOptionalProperties, matchDiscriminantProperties));
     }
     function tupleTypesDefinitelyUnrelated(source, target) {
-      return !source.pattern && (!(target.target.combinedFlags & 8 /* Variadic */) && target.target.minLength > source.target.minLength || !target.target.hasRestElement && (source.target.hasRestElement || target.target.fixedLength < source.target.fixedLength));
+      return !(target.target.combinedFlags & 8 /* Variadic */) && target.target.minLength > source.target.minLength || !target.target.hasRestElement && (source.target.hasRestElement || target.target.fixedLength < source.target.fixedLength);
     }
     function typesDefinitelyUnrelated(source, target) {
       return isTupleType(source) && isTupleType(target) ? tupleTypesDefinitelyUnrelated(source, target) : !!getUnmatchedProperty(
@@ -67027,7 +67016,7 @@ ${lanes.join("\n")}
           }
           const inference = getInferenceInfoForType(target);
           if (inference) {
-            if (getObjectFlags(source) & 262144 /* NonInferrableType */ || source === nonInferrableUnknownType) {
+            if (getObjectFlags(source) & 262144 /* NonInferrableType */ || source === nonInferrableAnyType) {
               return;
             }
             if (!inference.isFixed) {
@@ -67589,16 +67578,12 @@ ${lanes.join("\n")}
     function getInferredType(context, index) {
       const inference = context.inferences[index];
       if (!inference.inferredType) {
-        let isFromBindingPattern = false;
         let inferredType;
         let fallbackType;
         if (context.signature) {
           const inferredCovariantType = inference.candidates ? getCovariantInference(inference, context.signature) : void 0;
           const inferredContravariantType = inference.contraCandidates ? getContravariantInference(inference) : void 0;
-          if (inferredCovariantType == null ? void 0 : inferredCovariantType.pattern) {
-            isFromBindingPattern = true;
-            inferredType = inferredCovariantType;
-          } else if (inferredCovariantType || inferredContravariantType) {
+          if (inferredCovariantType || inferredContravariantType) {
             const preferCovariantType = inferredCovariantType && (!inferredContravariantType || !(inferredCovariantType.flags & 131072 /* Never */) && some(inference.contraCandidates, (t) => isTypeSubtypeOf(inferredCovariantType, t)) && every(context.inferences, (other) => other !== inference && getConstraintOfTypeParameter(other.typeParameter) !== inference.typeParameter || every(other.candidates, (t) => isTypeSubtypeOf(t, inferredCovariantType))));
             inferredType = preferCovariantType ? inferredCovariantType : inferredContravariantType;
             fallbackType = preferCovariantType ? inferredContravariantType : inferredCovariantType;
@@ -67617,9 +67602,7 @@ ${lanes.join("\n")}
         const constraint = getConstraintOfTypeParameter(inference.typeParameter);
         if (constraint) {
           const instantiatedConstraint = instantiateType(constraint, context.nonFixingMapper);
-          if (isFromBindingPattern) {
-            inference.inferredType = getIntersectionType([inference.inferredType, instantiatedConstraint]);
-          } else if (!inferredType || !context.compareTypes(inferredType, getTypeWithThisArgument(instantiatedConstraint, inferredType))) {
+          if (!inferredType || !context.compareTypes(inferredType, getTypeWithThisArgument(instantiatedConstraint, inferredType))) {
             inference.inferredType = fallbackType && context.compareTypes(fallbackType, getTypeWithThisArgument(instantiatedConstraint, fallbackType)) ? fallbackType : instantiatedConstraint;
           }
         }
@@ -70946,16 +70929,7 @@ ${lanes.join("\n")}
           } else if (t.flags & 3670016 /* StructuredType */) {
             const prop = getPropertyOfType(t, name);
             if (prop) {
-              if (isCircularMappedProperty(prop)) {
-                return void 0;
-              }
-              const type2 = getTypeOfSymbol(prop);
-              if (type2 !== nonInferrableUnknownType) {
-                return removeMissingType(type2, !!(prop && prop.flags & 16777216 /* Optional */));
-              }
-              if (t.flags & 2097152 /* Intersection */) {
-                t = getIntersectionType(t.types.filter((t2) => !t2.pattern));
-              }
+              return isCircularMappedProperty(prop) ? void 0 : removeMissingType(getTypeOfSymbol(prop), !!(prop && prop.flags & 16777216 /* Optional */));
             }
             if (isTupleType(t) && isNumericLiteralName(name) && +name >= 0) {
               const restType = getElementTypeOfSliceOfTupleType(
@@ -71805,7 +71779,7 @@ ${lanes.join("\n")}
         /*contextFlags*/
         void 0
       );
-      const contextualTypeHasPattern = !(checkMode & 2 /* Inferential */) && contextualType && contextualType.pattern && (contextualType.pattern.kind === 206 /* ObjectBindingPattern */ || contextualType.pattern.kind === 210 /* ObjectLiteralExpression */);
+      const contextualTypeHasPattern = contextualType && contextualType.pattern && (contextualType.pattern.kind === 206 /* ObjectBindingPattern */ || contextualType.pattern.kind === 210 /* ObjectLiteralExpression */);
       const inConstContext = isConstContext(node);
       const checkFlags = inConstContext ? 8 /* Readonly */ : 0;
       const isInJavascript = isInJSFile(node) && !isInJsonFile(node);
@@ -146279,21 +146253,24 @@ ${newComment.split("\n").map((c) => ` * ${c}`).join("\n")}
   function isNamedExpression(node) {
     return (isFunctionExpression(node) || isClassExpression(node)) && isNamedDeclaration(node);
   }
-  function isConstNamedExpression(node) {
-    return (isFunctionExpression(node) || isArrowFunction(node) || isClassExpression(node)) && isVariableDeclaration(node.parent) && node === node.parent.initializer && isIdentifier(node.parent.name) && !!(getCombinedNodeFlags(node.parent) & 2 /* Const */);
+  function isVariableLike2(node) {
+    return isPropertyDeclaration(node) || isVariableDeclaration(node);
+  }
+  function isAssignedExpression(node) {
+    return (isFunctionExpression(node) || isArrowFunction(node) || isClassExpression(node)) && isVariableLike2(node.parent) && node === node.parent.initializer && isIdentifier(node.parent.name) && (!!(getCombinedNodeFlags(node.parent) & 2 /* Const */) || isPropertyDeclaration(node.parent));
   }
   function isPossibleCallHierarchyDeclaration(node) {
     return isSourceFile(node) || isModuleDeclaration(node) || isFunctionDeclaration(node) || isFunctionExpression(node) || isClassDeclaration(node) || isClassExpression(node) || isClassStaticBlockDeclaration(node) || isMethodDeclaration(node) || isMethodSignature(node) || isGetAccessorDeclaration(node) || isSetAccessorDeclaration(node);
   }
   function isValidCallHierarchyDeclaration(node) {
-    return isSourceFile(node) || isModuleDeclaration(node) && isIdentifier(node.name) || isFunctionDeclaration(node) || isClassDeclaration(node) || isClassStaticBlockDeclaration(node) || isMethodDeclaration(node) || isMethodSignature(node) || isGetAccessorDeclaration(node) || isSetAccessorDeclaration(node) || isNamedExpression(node) || isConstNamedExpression(node);
+    return isSourceFile(node) || isModuleDeclaration(node) && isIdentifier(node.name) || isFunctionDeclaration(node) || isClassDeclaration(node) || isClassStaticBlockDeclaration(node) || isMethodDeclaration(node) || isMethodSignature(node) || isGetAccessorDeclaration(node) || isSetAccessorDeclaration(node) || isNamedExpression(node) || isAssignedExpression(node);
   }
   function getCallHierarchyDeclarationReferenceNode(node) {
     if (isSourceFile(node))
       return node;
     if (isNamedDeclaration(node))
       return node.name;
-    if (isConstNamedExpression(node))
+    if (isAssignedExpression(node))
       return node.parent.name;
     return Debug.checkDefined(node.modifiers && find(node.modifiers, isDefaultModifier3));
   }
@@ -146323,7 +146300,7 @@ ${newComment.split("\n").map((c) => ` * ${c}`).join("\n")}
       const prefix = symbol ? `${typeChecker.symbolToString(symbol, node.parent)} ` : "";
       return { text: `${prefix}static {}`, pos, end };
     }
-    const declName = isConstNamedExpression(node) ? node.parent.name : Debug.checkDefined(getNameOfDeclaration(node), "Expected call hierarchy item to have a name");
+    const declName = isAssignedExpression(node) ? node.parent.name : Debug.checkDefined(getNameOfDeclaration(node), "Expected call hierarchy item to have a name");
     let text = isIdentifier(declName) ? idText(declName) : isStringOrNumericLiteralLike(declName) ? declName.text : isComputedPropertyName(declName) ? isStringOrNumericLiteralLike(declName.expression) ? declName.expression.text : void 0 : void 0;
     if (text === void 0) {
       const typeChecker = program.getTypeChecker();
@@ -146339,8 +146316,11 @@ ${newComment.split("\n").map((c) => ` * ${c}`).join("\n")}
     return { text, pos: declName.getStart(), end: declName.getEnd() };
   }
   function getCallHierarchItemContainerName(node) {
-    var _a, _b;
-    if (isConstNamedExpression(node)) {
+    var _a, _b, _c, _d;
+    if (isAssignedExpression(node)) {
+      if (isPropertyDeclaration(node.parent) && isClassLike(node.parent.parent)) {
+        return isClassExpression(node.parent.parent) ? (_a = getAssignedName(node.parent.parent)) == null ? void 0 : _a.getText() : (_b = node.parent.parent.name) == null ? void 0 : _b.getText();
+      }
       if (isModuleBlock(node.parent.parent.parent.parent) && isIdentifier(node.parent.parent.parent.parent.parent.name)) {
         return node.parent.parent.parent.parent.parent.name.getText();
       }
@@ -146351,9 +146331,9 @@ ${newComment.split("\n").map((c) => ` * ${c}`).join("\n")}
       case 178 /* SetAccessor */:
       case 174 /* MethodDeclaration */:
         if (node.parent.kind === 210 /* ObjectLiteralExpression */) {
-          return (_a = getAssignedName(node.parent)) == null ? void 0 : _a.getText();
+          return (_c = getAssignedName(node.parent)) == null ? void 0 : _c.getText();
         }
-        return (_b = getNameOfDeclaration(node.parent)) == null ? void 0 : _b.getText();
+        return (_d = getNameOfDeclaration(node.parent)) == null ? void 0 : _d.getText();
       case 262 /* FunctionDeclaration */:
       case 263 /* ClassDeclaration */:
       case 267 /* ModuleDeclaration */:
@@ -146426,7 +146406,7 @@ ${newComment.split("\n").map((c) => ` * ${c}`).join("\n")}
           const ancestor = findAncestor(location.parent, isValidCallHierarchyDeclaration);
           return ancestor && findImplementationOrAllInitialDeclarations(typeChecker, ancestor);
         }
-        if (isVariableDeclaration(location.parent) && location.parent.initializer && isConstNamedExpression(location.parent.initializer)) {
+        if (isVariableLike2(location.parent) && location.parent.initializer && isAssignedExpression(location.parent.initializer)) {
           return location.parent.initializer;
         }
         return void 0;
@@ -146441,7 +146421,7 @@ ${newComment.split("\n").map((c) => ` * ${c}`).join("\n")}
         location = location.parent;
         continue;
       }
-      if (isVariableDeclaration(location) && location.initializer && isConstNamedExpression(location.initializer)) {
+      if (isVariableDeclaration(location) && location.initializer && isAssignedExpression(location.initializer)) {
         return location.initializer;
       }
       if (!followingSymbol) {
@@ -152636,7 +152616,7 @@ ${newComment.split("\n").map((c) => ` * ${c}`).join("\n")}
         /*enclosingDeclaration*/
         void 0,
         /*flags*/
-        void 0
+        64 /* UseFullyQualifiedType */
       );
       return enumMember === void 0 || name === void 0 ? factory.createNumericLiteral(0) : factory.createPropertyAccessExpression(name, checker.symbolToString(enumMember));
     }

package/lib/typingsInstaller.js

@@ -54,7 +54,7 @@ var path = __toESM(require("path"));
 
 // src/compiler/corePublic.ts
 var versionMajorMinor = "5.4";
-var version = `${versionMajorMinor}.0-insiders.20231226`;
+var version = `${versionMajorMinor}.0-insiders.20240102`;
 
 // src/compiler/core.ts
 var emptyArray = [];
@@ -25859,9 +25859,11 @@ var libEntries = [
   // Host only
   ["dom", "lib.dom.d.ts"],
   ["dom.iterable", "lib.dom.iterable.d.ts"],
+  ["dom.asynciterable", "lib.dom.asynciterable.d.ts"],
   ["webworker", "lib.webworker.d.ts"],
   ["webworker.importscripts", "lib.webworker.importscripts.d.ts"],
   ["webworker.iterable", "lib.webworker.iterable.d.ts"],
+  ["webworker.asynciterable", "lib.webworker.asynciterable.d.ts"],
   ["scripthost", "lib.scripthost.d.ts"],
   // ES2015 Or ESNext By-feature options
   ["es2015.core", "lib.es2015.core.d.ts"],

package/package.json

@@ -2,7 +2,7 @@
   "name": "@typescript-deploys/pr-build",
   "author": "Microsoft Corp.",
   "homepage": "https://www.typescriptlang.org/",
-  "version": "5.4.0-pr-56875-6",
+  "version": "5.4.0-pr-56895-10",
   "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": "22fb10fc0323f3784ea97a775bba60a1eff9bace"
+  "gitHead": "9197d6c5bbc2d40c312aaec87a2e1521d543cb3b"
 }