@typescript-deploys/pr-build 5.1.0-pr-50951-3 → 5.1.0-pr-52968-5

package/README.md

@@ -17,13 +17,13 @@ Find others who are using TypeScript at [our community page](https://www.typescr
 For the latest stable version:
 
 ```bash
-npm install -g typescript
+npm install -D typescript
 ```
 
 For our nightly builds:
 
 ```bash
-npm install -g typescript@next
+npm install -D typescript@next
 ```
 
 ## Contribute

package/lib/lib.es5.d.ts

@@ -1647,6 +1647,11 @@ type Capitalize<S extends string> = intrinsic;
  */
 type Uncapitalize<S extends string> = intrinsic;
 
+/**
+ * Blocks the contained type from participating in type inference.
+ */
+type NoInfer<T> = intrinsic;
+
 /**
  * Marker for contextual 'this' type
  */

package/lib/tsc.js

@@ -3706,6 +3706,7 @@ var TypeFlags = /* @__PURE__ */ ((TypeFlags2) => {
   TypeFlags2[TypeFlags2["NonPrimitive"] = 67108864] = "NonPrimitive";
   TypeFlags2[TypeFlags2["TemplateLiteral"] = 134217728] = "TemplateLiteral";
   TypeFlags2[TypeFlags2["StringMapping"] = 268435456] = "StringMapping";
+  TypeFlags2[TypeFlags2["NoInfer"] = 536870912] = "NoInfer";
   TypeFlags2[TypeFlags2["AnyOrUnknown"] = 3] = "AnyOrUnknown";
   TypeFlags2[TypeFlags2["Nullable"] = 98304] = "Nullable";
   TypeFlags2[TypeFlags2["Literal"] = 2944] = "Literal";
@@ -3729,14 +3730,14 @@ var TypeFlags = /* @__PURE__ */ ((TypeFlags2) => {
   TypeFlags2[TypeFlags2["UnionOrIntersection"] = 3145728] = "UnionOrIntersection";
   TypeFlags2[TypeFlags2["StructuredType"] = 3670016] = "StructuredType";
   TypeFlags2[TypeFlags2["TypeVariable"] = 8650752] = "TypeVariable";
-  TypeFlags2[TypeFlags2["InstantiableNonPrimitive"] = 58982400] = "InstantiableNonPrimitive";
+  TypeFlags2[TypeFlags2["InstantiableNonPrimitive"] = 595853312] = "InstantiableNonPrimitive";
   TypeFlags2[TypeFlags2["InstantiablePrimitive"] = 406847488] = "InstantiablePrimitive";
-  TypeFlags2[TypeFlags2["Instantiable"] = 465829888] = "Instantiable";
-  TypeFlags2[TypeFlags2["StructuredOrInstantiable"] = 469499904] = "StructuredOrInstantiable";
+  TypeFlags2[TypeFlags2["Instantiable"] = 1002700800] = "Instantiable";
+  TypeFlags2[TypeFlags2["StructuredOrInstantiable"] = 1006370816] = "StructuredOrInstantiable";
   TypeFlags2[TypeFlags2["ObjectFlagsType"] = 3899393] = "ObjectFlagsType";
   TypeFlags2[TypeFlags2["Simplifiable"] = 25165824] = "Simplifiable";
   TypeFlags2[TypeFlags2["Singleton"] = 67358815] = "Singleton";
-  TypeFlags2[TypeFlags2["Narrowable"] = 536624127] = "Narrowable";
+  TypeFlags2[TypeFlags2["Narrowable"] = 1073495039] = "Narrowable";
   TypeFlags2[TypeFlags2["IncludesMask"] = 473694207] = "IncludesMask";
   TypeFlags2[TypeFlags2["IncludesMissingType"] = 262144 /* TypeParameter */] = "IncludesMissingType";
   TypeFlags2[TypeFlags2["IncludesNonWideningType"] = 4194304 /* Index */] = "IncludesNonWideningType";
@@ -10281,36 +10282,32 @@ function getModifiers(node) {
     return filter(node.modifiers, isModifier);
   }
 }
-function getJSDocParameterTagsWorker(node, noCache) {
-  const declaration = getRootDeclaration(node);
-  if (isParameter(declaration)) {
-    const name = node.name;
-    const signatureDeclaration = declaration.parent;
-    const jsDocParameterTags = filter(getJSDocTagsWorker(signatureDeclaration, noCache), isJSDocParameterTag);
-    if (length(jsDocParameterTags) === 0) {
-      return emptyArray;
-    }
-    if (isIdentifier(name)) {
-      return filter(jsDocParameterTags, (tag) => isIdentifier(tag.name) && tag.name.escapedText === name.escapedText);
-    }
-    const i = signatureDeclaration.parameters.indexOf(declaration);
-    Debug.assert(i > -1, "Parameters should always be in their parents' parameter list");
-    if (i < length(jsDocParameterTags)) {
-      return [jsDocParameterTags[i]];
+function getJSDocParameterTagsWorker(param, noCache) {
+  if (param.name) {
+    if (isIdentifier(param.name)) {
+      const name = param.name.escapedText;
+      return getJSDocTagsWorker(param.parent, noCache).filter((tag) => isJSDocParameterTag(tag) && isIdentifier(tag.name) && tag.name.escapedText === name);
+    } else {
+      const i = param.parent.parameters.indexOf(param);
+      Debug.assert(i > -1, "Parameters should always be in their parents' parameter list");
+      const paramTags = getJSDocTagsWorker(param.parent, noCache).filter(isJSDocParameterTag);
+      if (i < paramTags.length) {
+        return [paramTags[i]];
+      }
     }
   }
   return emptyArray;
 }
-function getJSDocParameterTags(node) {
+function getJSDocParameterTags(param) {
   return getJSDocParameterTagsWorker(
-    node,
+    param,
     /*noCache*/
     false
   );
 }
-function getJSDocParameterTagsNoCache(node) {
+function getJSDocParameterTagsNoCache(param) {
   return getJSDocParameterTagsWorker(
-    node,
+    param,
     /*noCache*/
     true
   );
@@ -13738,7 +13735,7 @@ function getJSDocCommentsAndTags(hostNode, noCache) {
     if (hasJSDocNodes(node)) {
       result = addRange(result, filterOwnedJSDocTags(hostNode, last(node.jsDoc)));
     }
-    if (node.kind === 167 /* Parameter */ || node.kind === 206 /* BindingElement */) {
+    if (node.kind === 167 /* Parameter */) {
       result = addRange(result, (noCache ? getJSDocParameterTagsNoCache : getJSDocParameterTags)(node));
       break;
     }
@@ -42607,7 +42604,7 @@ var SignatureCheckMode = /* @__PURE__ */ ((SignatureCheckMode3) => {
   return SignatureCheckMode3;
 })(SignatureCheckMode || {});
 var isNotOverloadAndNotAccessor = and(isNotOverload, isNotAccessor);
-var intrinsicTypeKinds = new Map(Object.entries({
+var stringMappingTypeKinds = new Map(Object.entries({
   Uppercase: 0 /* Uppercase */,
   Lowercase: 1 /* Lowercase */,
   Capitalize: 2 /* Capitalize */,
@@ -43132,7 +43129,7 @@ function createTypeChecker(host) {
   var enumLiteralTypes = /* @__PURE__ */ new Map();
   var indexedAccessTypes = /* @__PURE__ */ new Map();
   var templateLiteralTypes = /* @__PURE__ */ new Map();
-  var stringMappingTypes = /* @__PURE__ */ new Map();
+  var intrinsicWrapperTypes = /* @__PURE__ */ new Map();
   var substitutionTypes = /* @__PURE__ */ new Map();
   var subtypeReductionCache = /* @__PURE__ */ new Map();
   var decoratorContextOverrideTypeCache = /* @__PURE__ */ new Map();
@@ -47266,6 +47263,10 @@ function createTypeChecker(host) {
         const typeNode = typeToTypeNodeHelper(type.type, context);
         return symbolToTypeNode(type.symbol, context, 788968 /* Type */, [typeNode]);
       }
+      if (type.flags & 536870912 /* NoInfer */) {
+        const typeNode = typeToTypeNodeHelper(type.type, context);
+        return symbolToTypeNode(type.symbol, context, 788968 /* Type */, [typeNode]);
+      }
       if (type.flags & 8388608 /* IndexedAccess */) {
         const objectTypeNode = typeToTypeNodeHelper(type.objectType, context);
         const indexTypeNode = typeToTypeNodeHelper(type.indexType, context);
@@ -50724,10 +50725,10 @@ function createTypeChecker(host) {
     return result;
   }
   function isGenericTypeWithUndefinedConstraint(type) {
-    return !!(type.flags & 465829888 /* Instantiable */) && maybeTypeOfKind(getBaseConstraintOfType(type) || unknownType, 32768 /* Undefined */);
+    return !!(type.flags & 1002700800 /* Instantiable */) && maybeTypeOfKind(getBaseConstraintOfType(type) || unknownType, 32768 /* Undefined */);
   }
   function getNonUndefinedType(type) {
-    const typeOrConstraint = someType(type, isGenericTypeWithUndefinedConstraint) ? mapType(type, (t) => t.flags & 465829888 /* Instantiable */ ? getBaseConstraintOrType(t) : t) : type;
+    const typeOrConstraint = someType(type, isGenericTypeWithUndefinedConstraint) ? mapType(type, (t) => t.flags & 1002700800 /* Instantiable */ ? getBaseConstraintOrType(t) : t) : type;
     return getTypeWithFacts(typeOrConstraint, 524288 /* NEUndefined */);
   }
   function getFlowTypeOfDestructuring(node, declaredType) {
@@ -53546,7 +53547,7 @@ function createTypeChecker(host) {
     let constraints;
     let hasDisjointDomainType = false;
     for (const t of types) {
-      if (t.flags & 465829888 /* Instantiable */) {
+      if (t.flags & 1002700800 /* Instantiable */) {
         let constraint = getConstraintOfType(t);
         while (constraint && constraint.flags & (262144 /* TypeParameter */ | 4194304 /* Index */ | 16777216 /* Conditional */)) {
           constraint = getConstraintOfType(constraint);
@@ -53578,7 +53579,7 @@ function createTypeChecker(host) {
     return void 0;
   }
   function getBaseConstraintOfType(type) {
-    if (type.flags & (58982400 /* InstantiableNonPrimitive */ | 3145728 /* UnionOrIntersection */ | 134217728 /* TemplateLiteral */ | 268435456 /* StringMapping */)) {
+    if (type.flags & (595853312 /* InstantiableNonPrimitive */ | 3145728 /* UnionOrIntersection */ | 134217728 /* TemplateLiteral */ | 268435456 /* StringMapping */)) {
       const constraint = getResolvedBaseConstraint(type);
       return constraint !== noConstraintType && constraint !== circularConstraintType ? constraint : void 0;
     }
@@ -53669,6 +53670,9 @@ function createTypeChecker(host) {
         const constraint = getBaseConstraint(t.type);
         return constraint && constraint !== t.type ? getStringMappingType(t.symbol, constraint) : stringType;
       }
+      if (t.flags & 536870912 /* NoInfer */) {
+        return getBaseConstraint(t.type);
+      }
       if (t.flags & 8388608 /* IndexedAccess */) {
         if (isMappedTypeGenericIndexedAccess(t)) {
           return getBaseConstraint(substituteIndexedMappedType(t.objectType, t.indexType));
@@ -53742,7 +53746,7 @@ function createTypeChecker(host) {
     return !!(type.flags & 8388608 /* IndexedAccess */ && getObjectFlags(objectType = type.objectType) & 32 /* Mapped */ && !isGenericMappedType(objectType) && isGenericIndexType(type.indexType) && !(getMappedTypeModifiers(objectType) & 8 /* ExcludeOptional */) && !objectType.declaration.nameType);
   }
   function getApparentType(type) {
-    const t = !(type.flags & 465829888 /* Instantiable */) ? type : getBaseConstraintOfType(type) || unknownType;
+    const t = !(type.flags & 1002700800 /* Instantiable */) ? type : getBaseConstraintOfType(type) || unknownType;
     return getObjectFlags(t) & 32 /* Mapped */ ? getApparentTypeOfMappedType(t) : t.flags & 2097152 /* Intersection */ ? getApparentTypeOfIntersectionType(t) : t.flags & 402653316 /* StringLike */ ? globalStringType : t.flags & 296 /* NumberLike */ ? globalNumberType : t.flags & 2112 /* BigIntLike */ ? getGlobalBigIntType() : t.flags & 528 /* BooleanLike */ ? globalBooleanType : t.flags & 12288 /* ESSymbolLike */ ? getGlobalESSymbolType() : t.flags & 67108864 /* NonPrimitive */ ? emptyObjectType : t.flags & 4194304 /* Index */ ? keyofConstraintType : t.flags & 2 /* Unknown */ && !strictNullChecks ? emptyObjectType : t;
   }
   function getReducedApparentType(type) {
@@ -54821,8 +54825,11 @@ function createTypeChecker(host) {
   }
   function getTypeAliasInstantiation(symbol, typeArguments, aliasSymbol, aliasTypeArguments) {
     const type = getDeclaredTypeOfSymbol(symbol);
-    if (type === intrinsicMarkerType && intrinsicTypeKinds.has(symbol.escapedName) && typeArguments && typeArguments.length === 1) {
-      return getStringMappingType(symbol, typeArguments[0]);
+    if (type === intrinsicMarkerType && typeArguments && typeArguments.length === 1) {
+      if (stringMappingTypeKinds.has(symbol.escapedName)) {
+        return getStringMappingType(symbol, typeArguments[0]);
+      }
+      return getNoInferType(symbol, typeArguments[0]);
     }
     const links = getSymbolLinks(symbol);
     const typeParameters = links.typeParameters;
@@ -55726,7 +55733,7 @@ function createTypeChecker(host) {
       const type = elementTypes[i];
       const flags = target.elementFlags[i];
       if (flags & 8 /* Variadic */) {
-        if (type.flags & 58982400 /* InstantiableNonPrimitive */ || isGenericMappedType(type)) {
+        if (type.flags & 595853312 /* InstantiableNonPrimitive */ || isGenericMappedType(type)) {
           addElement(type, 8 /* Variadic */, (_a2 = target.labeledElementDeclarations) == null ? void 0 : _a2[i]);
         } else if (isTupleType(type)) {
           const elements = getTypeArguments(type);
@@ -55835,7 +55842,7 @@ function createTypeChecker(host) {
     }
     if (!(flags & 131072 /* Never */)) {
       includes |= flags & 473694207 /* IncludesMask */;
-      if (flags & 465829888 /* Instantiable */)
+      if (flags & 1002700800 /* Instantiable */)
         includes |= 33554432 /* IncludesInstantiable */;
       if (type === wildcardType)
         includes |= 8388608 /* IncludesWildcard */;
@@ -55875,8 +55882,8 @@ function createTypeChecker(host) {
     while (i > 0) {
       i--;
       const source = types[i];
-      if (hasEmptyObject || source.flags & 469499904 /* StructuredOrInstantiable */) {
-        const keyProperty = source.flags & (524288 /* Object */ | 2097152 /* Intersection */ | 58982400 /* InstantiableNonPrimitive */) ? find(getPropertiesOfType(source), (p) => isUnitType(getTypeOfSymbol(p))) : void 0;
+      if (hasEmptyObject || source.flags & 1006370816 /* StructuredOrInstantiable */) {
+        const keyProperty = source.flags & (524288 /* Object */ | 2097152 /* Intersection */ | 595853312 /* InstantiableNonPrimitive */) ? find(getPropertiesOfType(source), (p) => isUnitType(getTypeOfSymbol(p))) : void 0;
         const keyPropertyType = keyProperty && getRegularTypeOfLiteralType(getTypeOfSymbol(keyProperty));
         for (const target of types) {
           if (source !== target) {
@@ -55889,7 +55896,7 @@ function createTypeChecker(host) {
               }
             }
             count++;
-            if (keyProperty && target.flags & (524288 /* Object */ | 2097152 /* Intersection */ | 58982400 /* InstantiableNonPrimitive */)) {
+            if (keyProperty && target.flags & (524288 /* Object */ | 2097152 /* Intersection */ | 595853312 /* InstantiableNonPrimitive */)) {
               const t = getTypeOfPropertyOfType(target, keyProperty.escapedName);
               if (t && isUnitType(t) && getRegularTypeOfLiteralType(t) !== keyPropertyType) {
                 continue;
@@ -56423,7 +56430,7 @@ function createTypeChecker(host) {
     return getReducedType(uniqueFilled) !== uniqueFilled;
   }
   function shouldDeferIndexType(type) {
-    return !!(type.flags & 58982400 /* InstantiableNonPrimitive */ || isGenericTupleType(type) || isGenericMappedType(type) && !hasDistributiveNameType(type) || type.flags & 1048576 /* Union */ && some(type.types, isPossiblyReducibleByInstantiation) || type.flags & 2097152 /* Intersection */ && maybeTypeOfKind(type, 465829888 /* Instantiable */) && some(type.types, isEmptyAnonymousObjectType));
+    return !!(type.flags & 595853312 /* InstantiableNonPrimitive */ || isGenericTupleType(type) || isGenericMappedType(type) && !hasDistributiveNameType(type) || type.flags & 1048576 /* Union */ && some(type.types, isPossiblyReducibleByInstantiation) || type.flags & 2097152 /* Intersection */ && maybeTypeOfKind(type, 1002700800 /* Instantiable */) && some(type.types, isEmptyAnonymousObjectType));
   }
   function getIndexType(type, stringsOnly = keyofStringsOnly, noIndexSignatures) {
     type = getReducedType(type);
@@ -56555,8 +56562,19 @@ function createTypeChecker(host) {
       )
     );
   }
+  function getNoInferType(symbol, type) {
+    if (!isGenericType(type)) {
+      return type;
+    }
+    const id = `${getSymbolId(symbol)},${getTypeId(type)}`;
+    let result = intrinsicWrapperTypes.get(id);
+    if (!result) {
+      intrinsicWrapperTypes.set(id, result = createNoInferType(symbol, type));
+    }
+    return result;
+  }
   function applyStringMapping(symbol, str) {
-    switch (intrinsicTypeKinds.get(symbol.escapedName)) {
+    switch (stringMappingTypeKinds.get(symbol.escapedName)) {
       case 0 /* Uppercase */:
         return str.toUpperCase();
       case 1 /* Lowercase */:
@@ -56569,7 +56587,7 @@ function createTypeChecker(host) {
     return str;
   }
   function applyTemplateStringMapping(symbol, texts, types) {
-    switch (intrinsicTypeKinds.get(symbol.escapedName)) {
+    switch (stringMappingTypeKinds.get(symbol.escapedName)) {
       case 0 /* Uppercase */:
         return [texts.map((t) => t.toUpperCase()), types.map((t) => getStringMappingType(symbol, t))];
       case 1 /* Lowercase */:
@@ -56583,9 +56601,9 @@ function createTypeChecker(host) {
   }
   function getStringMappingTypeForGenericType(symbol, type) {
     const id = `${getSymbolId(symbol)},${getTypeId(type)}`;
-    let result = stringMappingTypes.get(id);
+    let result = intrinsicWrapperTypes.get(id);
     if (!result) {
-      stringMappingTypes.set(id, result = createStringMappingType(symbol, type));
+      intrinsicWrapperTypes.set(id, result = createStringMappingType(symbol, type));
     }
     return result;
   }
@@ -56594,6 +56612,11 @@ function createTypeChecker(host) {
     result.type = type;
     return result;
   }
+  function createNoInferType(symbol, type) {
+    const result = createTypeWithSymbol(536870912 /* NoInfer */, symbol);
+    result.type = type;
+    return result;
+  }
   function createIndexedAccessType(objectType, indexType, accessFlags, aliasSymbol, aliasTypeArguments) {
     const type = createType(8388608 /* IndexedAccess */);
     type.objectType = objectType;
@@ -56616,7 +56639,7 @@ function createTypeChecker(host) {
     if (type.flags & 2097152 /* Intersection */) {
       return some(type.types, isJSLiteralType);
     }
-    if (type.flags & 465829888 /* Instantiable */) {
+    if (type.flags & 1002700800 /* Instantiable */) {
       const constraint = getResolvedBaseConstraint(type);
       return constraint !== type && isJSLiteralType(constraint);
     }
@@ -56868,7 +56891,7 @@ function createTypeChecker(host) {
       }
       return type.objectFlags & 12582912 /* IsGenericType */;
     }
-    return (type.flags & 58982400 /* InstantiableNonPrimitive */ || isGenericMappedType(type) || isGenericTupleType(type) ? 4194304 /* IsGenericObjectType */ : 0) | (type.flags & (58982400 /* InstantiableNonPrimitive */ | 4194304 /* Index */ | 134217728 /* TemplateLiteral */ | 268435456 /* StringMapping */) && !isPatternLiteralType(type) ? 8388608 /* IsGenericIndexType */ : 0);
+    return (type.flags & 595853312 /* InstantiableNonPrimitive */ || isGenericMappedType(type) || isGenericTupleType(type) ? 4194304 /* IsGenericObjectType */ : 0) | (type.flags & (595853312 /* InstantiableNonPrimitive */ | 4194304 /* Index */ | 134217728 /* TemplateLiteral */ | 268435456 /* StringMapping */) && !isPatternLiteralType(type) ? 8388608 /* IsGenericIndexType */ : 0);
   }
   function getSimplifiedType(type, writing) {
     return type.flags & 8388608 /* IndexedAccess */ ? getSimplifiedIndexedAccessType(type, writing) : type.flags & 16777216 /* Conditional */ ? getSimplifiedConditionalType(type, writing) : type;
@@ -56897,7 +56920,7 @@ function createTypeChecker(host) {
     if (distributedOverIndex) {
       return type[cache] = distributedOverIndex;
     }
-    if (!(indexType.flags & 465829888 /* Instantiable */)) {
+    if (!(indexType.flags & 1002700800 /* Instantiable */)) {
       const distributedOverObject = distributeIndexOverObjectType(objectType, indexType, writing);
       if (distributedOverObject) {
         return type[cache] = distributedOverObject;
@@ -57948,7 +57971,7 @@ function createTypeChecker(host) {
       const mappedTypeVariable = instantiateType(typeVariable, mapper);
       if (typeVariable !== mappedTypeVariable) {
         return mapTypeWithAlias(getReducedType(mappedTypeVariable), (t) => {
-          if (t.flags & (3 /* AnyOrUnknown */ | 58982400 /* InstantiableNonPrimitive */ | 524288 /* Object */ | 2097152 /* Intersection */) && t !== wildcardType && !isErrorType(t)) {
+          if (t.flags & (3 /* AnyOrUnknown */ | 595853312 /* InstantiableNonPrimitive */ | 524288 /* Object */ | 2097152 /* Intersection */) && t !== wildcardType && !isErrorType(t)) {
             if (!type.declaration.nameType) {
               let constraint;
               if (isArrayType(t) || t.flags & 1 /* Any */ && findResolutionCycleStartIndex(typeVariable, 4 /* ImmediateBaseConstraint */) < 0 && (constraint = getConstraintOfTypeParameter(typeVariable)) && everyType(constraint, isArrayOrTupleType)) {
@@ -58113,6 +58136,9 @@ function createTypeChecker(host) {
     if (flags & 268435456 /* StringMapping */) {
       return getStringMappingType(type.symbol, instantiateType(type.type, mapper));
     }
+    if (flags & 536870912 /* NoInfer */) {
+      return getNoInferType(type.symbol, instantiateType(type.type, mapper));
+    }
     if (flags & 8388608 /* IndexedAccess */) {
       const newAliasSymbol = aliasSymbol || type.aliasSymbol;
       const newAliasTypeArguments = aliasSymbol ? aliasTypeArguments : instantiateTypes(type.aliasTypeArguments, mapper);
@@ -58262,7 +58288,7 @@ function createTypeChecker(host) {
     return isTypeRelatedTo(source, target, assignableRelation);
   }
   function isTypeDerivedFrom(source, target) {
-    return source.flags & 1048576 /* Union */ ? every(source.types, (t) => isTypeDerivedFrom(t, target)) : target.flags & 1048576 /* Union */ ? some(target.types, (t) => isTypeDerivedFrom(source, t)) : source.flags & 2097152 /* Intersection */ ? some(source.types, (t) => isTypeDerivedFrom(t, target)) : source.flags & 58982400 /* InstantiableNonPrimitive */ ? isTypeDerivedFrom(getBaseConstraintOfType(source) || unknownType, target) : isEmptyAnonymousObjectType(target) ? !!(source.flags & (524288 /* Object */ | 67108864 /* NonPrimitive */)) : target === globalObjectType ? !!(source.flags & (524288 /* Object */ | 67108864 /* NonPrimitive */)) && !isEmptyAnonymousObjectType(source) : target === globalFunctionType ? !!(source.flags & 524288 /* Object */) && isFunctionObjectType(source) : hasBaseType(source, getTargetType(target)) || isArrayType(target) && !isReadonlyArrayType(target) && isTypeDerivedFrom(source, globalReadonlyArrayType);
+    return source.flags & 1048576 /* Union */ ? every(source.types, (t) => isTypeDerivedFrom(t, target)) : target.flags & 1048576 /* Union */ ? some(target.types, (t) => isTypeDerivedFrom(source, t)) : source.flags & 2097152 /* Intersection */ ? some(source.types, (t) => isTypeDerivedFrom(t, target)) : source.flags & 595853312 /* InstantiableNonPrimitive */ ? isTypeDerivedFrom(getBaseConstraintOfType(source) || unknownType, target) : isEmptyAnonymousObjectType(target) ? !!(source.flags & (524288 /* Object */ | 67108864 /* NonPrimitive */)) : target === globalObjectType ? !!(source.flags & (524288 /* Object */ | 67108864 /* NonPrimitive */)) && !isEmptyAnonymousObjectType(source) : target === globalFunctionType ? !!(source.flags & 524288 /* Object */) && isFunctionObjectType(source) : hasBaseType(source, getTargetType(target)) || isArrayType(target) && !isReadonlyArrayType(target) && isTypeDerivedFrom(source, globalReadonlyArrayType);
   }
   function isTypeComparableTo(source, target) {
     return isTypeRelatedTo(source, target, comparableRelation);
@@ -59125,7 +59151,7 @@ function createTypeChecker(host) {
         return !!(related & 1 /* Succeeded */);
       }
     }
-    if (source.flags & 469499904 /* StructuredOrInstantiable */ || target.flags & 469499904 /* StructuredOrInstantiable */) {
+    if (source.flags & 1006370816 /* StructuredOrInstantiable */ || target.flags & 1006370816 /* StructuredOrInstantiable */) {
       return checkTypeRelatedTo(
         source,
         target,
@@ -59141,7 +59167,7 @@ function createTypeChecker(host) {
   }
   function getNormalizedType(type, writing) {
     while (true) {
-      const t = isFreshLiteralType(type) ? type.regularType : getObjectFlags(type) & 4 /* Reference */ ? type.node ? createTypeReference(type.target, getTypeArguments(type)) : getSingleBaseForNonAugmentingSubtype(type) || type : type.flags & 3145728 /* UnionOrIntersection */ ? getNormalizedUnionOrIntersectionType(type, writing) : type.flags & 33554432 /* Substitution */ ? writing ? type.baseType : getSubstitutionIntersection(type) : type.flags & 25165824 /* Simplifiable */ ? getSimplifiedType(type, writing) : type;
+      const t = isFreshLiteralType(type) ? type.regularType : getObjectFlags(type) & 4 /* Reference */ ? type.node ? createTypeReference(type.target, getTypeArguments(type)) : getSingleBaseForNonAugmentingSubtype(type) || type : type.flags & 3145728 /* UnionOrIntersection */ ? getNormalizedUnionOrIntersectionType(type, writing) : type.flags & 33554432 /* Substitution */ ? writing ? type.baseType : getSubstitutionIntersection(type) : type.flags & 25165824 /* Simplifiable */ ? getSimplifiedType(type, writing) : type.flags & 536870912 /* NoInfer */ ? type.type : type;
       if (t === type)
         return t;
       type = t;
@@ -59499,7 +59525,7 @@ function createTypeChecker(host) {
       }
       if (relation === comparableRelation && !(target2.flags & 131072 /* Never */) && isSimpleTypeRelatedTo(target2, source2, relation) || isSimpleTypeRelatedTo(source2, target2, relation, reportErrors2 ? reportError : void 0))
         return -1 /* True */;
-      if (source2.flags & 469499904 /* StructuredOrInstantiable */ || target2.flags & 469499904 /* StructuredOrInstantiable */) {
+      if (source2.flags & 1006370816 /* StructuredOrInstantiable */ || target2.flags & 1006370816 /* StructuredOrInstantiable */) {
         const isPerformingExcessPropertyChecks = !(intersectionState & 2 /* Target */) && (isObjectLiteralType(source2) && getObjectFlags(source2) & 8192 /* FreshLiteral */);
         if (isPerformingExcessPropertyChecks) {
           if (hasExcessProperties(source2, target2, reportErrors2)) {
@@ -59538,7 +59564,7 @@ function createTypeChecker(host) {
           return 0 /* False */;
         }
         traceUnionsOrIntersectionsTooLarge(source2, target2);
-        const skipCaching = source2.flags & 1048576 /* Union */ && source2.types.length < 4 && !(target2.flags & 1048576 /* Union */) || target2.flags & 1048576 /* Union */ && target2.types.length < 4 && !(source2.flags & 469499904 /* StructuredOrInstantiable */);
+        const skipCaching = source2.flags & 1048576 /* Union */ && source2.types.length < 4 && !(target2.flags & 1048576 /* Union */) || target2.flags & 1048576 /* Union */ && target2.types.length < 4 && !(source2.flags & 1006370816 /* StructuredOrInstantiable */);
         const result2 = skipCaching ? unionOrIntersectionRelatedTo(source2, target2, reportErrors2, intersectionState) : recursiveTypeRelatedTo(source2, target2, reportErrors2, intersectionState, recursionFlags);
         if (result2) {
           return result2;
@@ -59726,7 +59752,7 @@ function createTypeChecker(host) {
         return typeRelatedToEachType(source2, target2, reportErrors2, 2 /* Target */);
       }
       if (relation === comparableRelation && target2.flags & 402784252 /* Primitive */) {
-        const constraints = sameMap(source2.types, (t) => t.flags & 465829888 /* Instantiable */ ? getBaseConstraintOfType(t) || unknownType : t);
+        const constraints = sameMap(source2.types, (t) => t.flags & 1002700800 /* Instantiable */ ? getBaseConstraintOfType(t) || unknownType : t);
         if (constraints !== source2.types) {
           source2 = getIntersectionType(constraints);
           if (source2.flags & 131072 /* Never */) {
@@ -60277,7 +60303,7 @@ function createTypeChecker(host) {
         if (result2 = unionOrIntersectionRelatedTo(source2, target2, reportErrors2, intersectionState)) {
           return result2;
         }
-        if (!(sourceFlags & 465829888 /* Instantiable */ || sourceFlags & 524288 /* Object */ && targetFlags & 1048576 /* Union */ || sourceFlags & 2097152 /* Intersection */ && targetFlags & (524288 /* Object */ | 1048576 /* Union */ | 465829888 /* Instantiable */))) {
+        if (!(sourceFlags & 1002700800 /* Instantiable */ || sourceFlags & 524288 /* Object */ && targetFlags & 1048576 /* Union */ || sourceFlags & 2097152 /* Intersection */ && targetFlags & (524288 /* Object */ | 1048576 /* Union */ | 1002700800 /* Instantiable */))) {
           return 0 /* False */;
         }
       }
@@ -61468,7 +61494,7 @@ function createTypeChecker(host) {
     if (type.flags & 3145728 /* UnionOrIntersection */) {
       return !!forEach(type.types, typeCouldHaveTopLevelSingletonTypes);
     }
-    if (type.flags & 465829888 /* Instantiable */) {
+    if (type.flags & 1002700800 /* Instantiable */) {
       const constraint = getConstraintOfType(type);
       if (constraint && constraint !== type) {
         return typeCouldHaveTopLevelSingletonTypes(constraint);
@@ -62517,7 +62543,7 @@ function createTypeChecker(host) {
     if (objectFlags & 524288 /* CouldContainTypeVariablesComputed */) {
       return !!(objectFlags & 1048576 /* CouldContainTypeVariables */);
     }
-    const result = !!(type.flags & 465829888 /* Instantiable */ || type.flags & 524288 /* Object */ && !isNonGenericTopLevelType(type) && (objectFlags & 4 /* Reference */ && (type.node || forEach(getTypeArguments(type), couldContainTypeVariables)) || objectFlags & 16 /* Anonymous */ && type.symbol && type.symbol.flags & (16 /* Function */ | 8192 /* Method */ | 32 /* Class */ | 2048 /* TypeLiteral */ | 4096 /* ObjectLiteral */) && type.symbol.declarations || objectFlags & (32 /* Mapped */ | 1024 /* ReverseMapped */ | 4194304 /* ObjectRestType */ | 8388608 /* InstantiationExpressionType */)) || type.flags & 3145728 /* UnionOrIntersection */ && !(type.flags & 1024 /* EnumLiteral */) && !isNonGenericTopLevelType(type) && some(type.types, couldContainTypeVariables));
+    const result = !!(type.flags & 1002700800 /* Instantiable */ || type.flags & 524288 /* Object */ && !isNonGenericTopLevelType(type) && (objectFlags & 4 /* Reference */ && (type.node || forEach(getTypeArguments(type), couldContainTypeVariables)) || objectFlags & 16 /* Anonymous */ && type.symbol && type.symbol.flags & (16 /* Function */ | 8192 /* Method */ | 32 /* Class */ | 2048 /* TypeLiteral */ | 4096 /* ObjectLiteral */) && type.symbol.declarations || objectFlags & (32 /* Mapped */ | 1024 /* ReverseMapped */ | 4194304 /* ObjectRestType */ | 8388608 /* InstantiationExpressionType */)) || type.flags & 3145728 /* UnionOrIntersection */ && !(type.flags & 1024 /* EnumLiteral */) && !isNonGenericTopLevelType(type) && some(type.types, couldContainTypeVariables));
     if (type.flags & 3899393 /* ObjectFlagsType */) {
       type.objectFlags |= 524288 /* CouldContainTypeVariablesComputed */ | (result ? 1048576 /* CouldContainTypeVariables */ : 0);
     }
@@ -62799,7 +62825,7 @@ function createTypeChecker(host) {
     let expandingFlags = 0 /* None */;
     inferFromTypes(originalSource, originalTarget);
     function inferFromTypes(source, target) {
-      if (!couldContainTypeVariables(target)) {
+      if (!couldContainTypeVariables(target) || source.flags & 536870912 /* NoInfer */) {
         return;
       }
       if (source === wildcardType) {
@@ -62898,7 +62924,7 @@ function createTypeChecker(host) {
             /*writing*/
             false
           );
-          if (indexType.flags & 465829888 /* Instantiable */) {
+          if (indexType.flags & 1002700800 /* Instantiable */) {
             const simplified2 = distributeIndexOverObjectType(
               getSimplifiedType(
                 target.objectType,
@@ -62945,7 +62971,7 @@ function createTypeChecker(host) {
         inferToTemplateLiteralType(source, target);
       } else {
         source = getReducedType(source);
-        if (!(priority & 512 /* NoConstraints */ && source.flags & (2097152 /* Intersection */ | 465829888 /* Instantiable */))) {
+        if (!(priority & 512 /* NoConstraints */ && source.flags & (2097152 /* Intersection */ | 1002700800 /* Instantiable */))) {
           const apparentSource = getApparentType(source);
           if (apparentSource !== source && allowComplexConstraintInference && !(apparentSource.flags & (524288 /* Object */ | 2097152 /* Intersection */))) {
             allowComplexConstraintInference = false;
@@ -63697,7 +63723,7 @@ function createTypeChecker(host) {
     const map2 = /* @__PURE__ */ new Map();
     let count = 0;
     for (const type of types) {
-      if (type.flags & (524288 /* Object */ | 2097152 /* Intersection */ | 58982400 /* InstantiableNonPrimitive */)) {
+      if (type.flags & (524288 /* Object */ | 2097152 /* Intersection */ | 595853312 /* InstantiableNonPrimitive */)) {
         const discriminant = getTypeOfPropertyOfType(type, name);
         if (discriminant) {
           if (!isLiteralType(discriminant)) {
@@ -63723,11 +63749,11 @@ function createTypeChecker(host) {
   }
   function getKeyPropertyName(unionType) {
     const types = unionType.types;
-    if (types.length < 10 || getObjectFlags(unionType) & 32768 /* PrimitiveUnion */ || countWhere(types, (t) => !!(t.flags & (524288 /* Object */ | 58982400 /* InstantiableNonPrimitive */))) < 10) {
+    if (types.length < 10 || getObjectFlags(unionType) & 32768 /* PrimitiveUnion */ || countWhere(types, (t) => !!(t.flags & (524288 /* Object */ | 595853312 /* InstantiableNonPrimitive */))) < 10) {
       return void 0;
     }
     if (unionType.keyPropertyName === void 0) {
-      const keyPropertyName = forEach(types, (t) => t.flags & (524288 /* Object */ | 58982400 /* InstantiableNonPrimitive */) ? forEach(getPropertiesOfType(t), (p) => isUnitType(getTypeOfSymbol(p)) ? p.escapedName : void 0) : void 0);
+      const keyPropertyName = forEach(types, (t) => t.flags & (524288 /* Object */ | 595853312 /* InstantiableNonPrimitive */) ? forEach(getPropertiesOfType(t), (p) => isUnitType(getTypeOfSymbol(p)) ? p.escapedName : void 0) : void 0);
       const mapByKeyProperty = keyPropertyName && mapTypesByKeyProperty(types, keyPropertyName);
       unionType.keyPropertyName = mapByKeyProperty ? keyPropertyName : "";
       unionType.constituentMap = mapByKeyProperty;
@@ -63805,7 +63831,7 @@ function createTypeChecker(host) {
     return !!(resolved.callSignatures.length || resolved.constructSignatures.length || resolved.members.get("bind") && isTypeSubtypeOf(type, globalFunctionType));
   }
   function getTypeFacts(type) {
-    if (type.flags & (2097152 /* Intersection */ | 465829888 /* Instantiable */)) {
+    if (type.flags & (2097152 /* Intersection */ | 1002700800 /* Instantiable */)) {
       type = getBaseConstraintOfType(type) || unknownType;
     }
     const flags = type.flags;
@@ -65350,7 +65376,7 @@ function createTypeChecker(host) {
         const discriminant = keyPropertyName && getTypeOfPropertyOfType(c, keyPropertyName);
         const matching = discriminant && getConstituentTypeForKeyType(type, discriminant);
         const directlyRelated = mapType(matching || type, checkDerived ? (t) => isTypeDerivedFrom(t, c) ? t : isTypeDerivedFrom(c, t) ? c : neverType : (t) => isTypeStrictSubtypeOf(t, c) ? t : isTypeStrictSubtypeOf(c, t) ? c : isTypeSubtypeOf(t, c) ? t : isTypeSubtypeOf(c, t) ? c : neverType);
-        return directlyRelated.flags & 131072 /* Never */ ? mapType(type, (t) => maybeTypeOfKind(t, 465829888 /* Instantiable */) && isRelated(c, getBaseConstraintOfType(t) || unknownType) ? getIntersectionType([t, c]) : neverType) : directlyRelated;
+        return directlyRelated.flags & 131072 /* Never */ ? mapType(type, (t) => maybeTypeOfKind(t, 1002700800 /* Instantiable */) && isRelated(c, getBaseConstraintOfType(t) || unknownType) ? getIntersectionType([t, c]) : neverType) : directlyRelated;
       });
       return !(narrowedType.flags & 131072 /* Never */) ? narrowedType : isTypeSubtypeOf(candidate, type) ? candidate : isTypeAssignableTo(type, candidate) ? type : isTypeAssignableTo(candidate, type) ? candidate : getIntersectionType([type, candidate]);
     }
@@ -65530,10 +65556,10 @@ function createTypeChecker(host) {
     return parent.kind === 209 /* PropertyAccessExpression */ || parent.kind === 164 /* QualifiedName */ || parent.kind === 211 /* CallExpression */ && parent.expression === node || parent.kind === 210 /* ElementAccessExpression */ && parent.expression === node && !(someType(type, isGenericTypeWithoutNullableConstraint) && isGenericIndexType(getTypeOfExpression(parent.argumentExpression)));
   }
   function isGenericTypeWithUnionConstraint(type) {
-    return type.flags & 2097152 /* Intersection */ ? some(type.types, isGenericTypeWithUnionConstraint) : !!(type.flags & 465829888 /* Instantiable */ && getBaseConstraintOrType(type).flags & (98304 /* Nullable */ | 1048576 /* Union */));
+    return type.flags & 2097152 /* Intersection */ ? some(type.types, isGenericTypeWithUnionConstraint) : !!(type.flags & 1002700800 /* Instantiable */ && getBaseConstraintOrType(type).flags & (98304 /* Nullable */ | 1048576 /* Union */));
   }
   function isGenericTypeWithoutNullableConstraint(type) {
-    return type.flags & 2097152 /* Intersection */ ? some(type.types, isGenericTypeWithoutNullableConstraint) : !!(type.flags & 465829888 /* Instantiable */ && !maybeTypeOfKind(getBaseConstraintOrType(type), 98304 /* Nullable */));
+    return type.flags & 2097152 /* Intersection */ ? some(type.types, isGenericTypeWithoutNullableConstraint) : !!(type.flags & 1002700800 /* Instantiable */ && !maybeTypeOfKind(getBaseConstraintOrType(type), 98304 /* Nullable */));
   }
   function hasContextualTypeWithNoGenericTypes(node, checkMode) {
     const contextualType = (isIdentifier(node) || isPropertyAccessExpression(node) || isElementAccessExpression(node)) && !((isJsxOpeningElement(node.parent) || isJsxSelfClosingElement(node.parent)) && node.parent.tagName === node) && (checkMode && checkMode & 64 /* RestBindingElement */ ? getContextualType(node, 8 /* SkipBindingPatterns */) : getContextualType(
@@ -66841,7 +66867,7 @@ function createTypeChecker(host) {
     }
   }
   function instantiateContextualType(contextualType, node, contextFlags) {
-    if (contextualType && maybeTypeOfKind(contextualType, 465829888 /* Instantiable */)) {
+    if (contextualType && maybeTypeOfKind(contextualType, 1002700800 /* Instantiable */)) {
       const inferenceContext = getInferenceContext(node);
       if (inferenceContext && contextFlags & 1 /* Signature */ && some(inferenceContext.inferences, hasInferenceCandidatesOrDefault)) {
         return instantiateInstantiableTypes(contextualType, inferenceContext.nonFixingMapper);
@@ -66854,7 +66880,7 @@ function createTypeChecker(host) {
     return contextualType;
   }
   function instantiateInstantiableTypes(type, mapper) {
-    if (type.flags & 465829888 /* Instantiable */) {
+    if (type.flags & 1002700800 /* Instantiable */) {
       return instantiateType(type, mapper);
     }
     if (type.flags & 1048576 /* Union */) {
@@ -67628,7 +67654,7 @@ function createTypeChecker(host) {
   }
   function isValidSpreadType(type) {
     const t = removeDefinitelyFalsyTypes(mapType(type, getBaseConstraintOrType));
-    return !!(t.flags & (1 /* Any */ | 67108864 /* NonPrimitive */ | 524288 /* Object */ | 58982400 /* InstantiableNonPrimitive */) || t.flags & 3145728 /* UnionOrIntersection */ && every(t.types, isValidSpreadType));
+    return !!(t.flags & (1 /* Any */ | 67108864 /* NonPrimitive */ | 524288 /* Object */ | 595853312 /* InstantiableNonPrimitive */) || t.flags & 3145728 /* UnionOrIntersection */ && every(t.types, isValidSpreadType));
   }
   function checkJsxSelfClosingElementDeferred(node) {
     checkJsxOpeningLikeElementOrOpeningFragment(node);
@@ -71182,7 +71208,7 @@ function createTypeChecker(host) {
             result3.node = node;
             return result3;
           }
-        } else if (type2.flags & 58982400 /* InstantiableNonPrimitive */) {
+        } else if (type2.flags & 595853312 /* InstantiableNonPrimitive */) {
           const constraint = getBaseConstraintOfType(type2);
           if (constraint) {
             const instantiated = getInstantiatedTypePart(constraint);
@@ -73455,7 +73481,7 @@ function createTypeChecker(host) {
     ) || unknownType, isTemplateLiteralContextualType) ? getTemplateLiteralType(texts, types) : stringType;
   }
   function isTemplateLiteralContextualType(type) {
-    return !!(type.flags & (128 /* StringLiteral */ | 134217728 /* TemplateLiteral */) || type.flags & 58982400 /* InstantiableNonPrimitive */ && maybeTypeOfKind(getBaseConstraintOfType(type) || unknownType, 402653316 /* StringLike */));
+    return !!(type.flags & (128 /* StringLiteral */ | 134217728 /* TemplateLiteral */) || type.flags & 595853312 /* InstantiableNonPrimitive */ && maybeTypeOfKind(getBaseConstraintOfType(type) || unknownType, 402653316 /* StringLike */));
   }
   function getContextNode(node) {
     if (isJsxAttributes(node) && !isJsxSelfClosingElement(node.parent)) {
@@ -73568,7 +73594,7 @@ function createTypeChecker(host) {
         const types = contextualType.types;
         return some(types, (t) => isLiteralOfContextualType(candidateType, t));
       }
-      if (contextualType.flags & 58982400 /* InstantiableNonPrimitive */) {
+      if (contextualType.flags & 595853312 /* InstantiableNonPrimitive */) {
         const constraint = getBaseConstraintOfType(contextualType) || unknownType;
         return maybeTypeOfKind(constraint, 4 /* String */) && maybeTypeOfKind(candidateType, 128 /* StringLiteral */) || maybeTypeOfKind(constraint, 8 /* Number */) && maybeTypeOfKind(candidateType, 256 /* NumberLiteral */) || maybeTypeOfKind(constraint, 64 /* BigInt */) && maybeTypeOfKind(candidateType, 2048 /* BigIntLiteral */) || maybeTypeOfKind(constraint, 4096 /* ESSymbol */) && maybeTypeOfKind(candidateType, 8192 /* UniqueESSymbol */) || isLiteralOfContextualType(candidateType, constraint);
       }
@@ -76626,7 +76652,7 @@ function createTypeChecker(host) {
         );
       }
     }
-    if (rightType === neverType || !isTypeAssignableToKind(rightType, 67108864 /* NonPrimitive */ | 58982400 /* InstantiableNonPrimitive */)) {
+    if (rightType === neverType || !isTypeAssignableToKind(rightType, 67108864 /* NonPrimitive */ | 595853312 /* InstantiableNonPrimitive */)) {
       error(node.expression, Diagnostics.The_right_hand_side_of_a_for_in_statement_must_be_of_type_any_an_object_type_or_a_type_parameter_but_here_has_type_0, typeToString(rightType));
     }
     checkSourceElement(node.statement);
@@ -78303,7 +78329,7 @@ function createTypeChecker(host) {
     checkExportsOnMergedDeclarations(node);
     checkTypeParameters(node.typeParameters);
     if (node.type.kind === 140 /* IntrinsicKeyword */) {
-      if (!intrinsicTypeKinds.has(node.name.escapedText) || length(node.typeParameters) !== 1) {
+      if (!stringMappingTypeKinds.has(node.name.escapedText) && node.name.escapedText !== "NoInfer" || length(node.typeParameters) !== 1) {
         error(node.type, Diagnostics.The_intrinsic_keyword_can_only_be_used_to_declare_compiler_provided_intrinsic_types);
       }
     } else {