@typescript-deploys/pr-build 5.1.0-pr-54052-7 → 5.1.0-pr-54072-11

package/lib/tsc.js

@@ -18,7 +18,7 @@ and limitations under the License.
 
 // src/compiler/corePublic.ts
 var versionMajorMinor = "5.1";
-var version = `${versionMajorMinor}.0-insiders.20230428`;
+var version = `${versionMajorMinor}.0-insiders.20230501`;
 
 // src/compiler/core.ts
 var emptyArray = [];
@@ -61671,7 +61671,7 @@ function createTypeChecker(host) {
         }
       }
     }
-    const filtered = contains(include, 0 /* False */) ? getUnionType(types.filter((_, i) => include[i]), 0 /* None */) : target;
+    const filtered = contains(include, 0 /* False */) ? getUnionType(types.filter((_, i) => include[i])) : target;
     return filtered.flags & 131072 /* Never */ ? target : filtered;
   }
   function isWeakType(type) {
@@ -63565,14 +63565,14 @@ function createTypeChecker(host) {
     const inference = context.inferences[index];
     if (!inference.inferredType) {
       let inferredType;
-      const signature = context.signature;
-      if (signature) {
-        const inferredCovariantType = inference.candidates ? getCovariantInference(inference, signature) : void 0;
-        if (inference.contraCandidates) {
-          const useCovariantType = inferredCovariantType && !(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 = useCovariantType ? inferredCovariantType : getContravariantInference(inference);
-        } else if (inferredCovariantType) {
-          inferredType = inferredCovariantType;
+      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 || inferredContravariantType) {
+          const preferCovariantType = inferredCovariantType && (!inferredContravariantType || !(inferredCovariantType.flags & 131072 /* Never */) && every(inference.candidates, (t) => isTypeSubtypeOf(t, inferredCovariantType)) && 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;
         } else if (context.flags & 1 /* NoDefault */) {
           inferredType = silentNeverType;
         } else {
@@ -63589,7 +63589,7 @@ function createTypeChecker(host) {
       if (constraint) {
         const instantiatedConstraint = instantiateType(constraint, context.nonFixingMapper);
         if (!inferredType || !context.compareTypes(inferredType, getTypeWithThisArgument(instantiatedConstraint, inferredType))) {
-          inference.inferredType = inferredType = instantiatedConstraint;
+          inference.inferredType = fallbackType && context.compareTypes(fallbackType, getTypeWithThisArgument(instantiatedConstraint, fallbackType)) ? fallbackType : instantiatedConstraint;
         }
       }
     }
@@ -90414,6 +90414,19 @@ function transformLegacyDecorators(context) {
     let members = visitNodes2(node.members, visitor, isClassElement);
     let decorationStatements = [];
     ({ members, decorationStatements } = transformDecoratorsOfClassElements(node, members));
+    const assignClassAliasInStaticBlock = languageVersion >= 9 /* ES2022 */ && !!classAlias && some(members, (member) => isPropertyDeclaration(member) && hasSyntacticModifier(member, 32 /* Static */) || isClassStaticBlockDeclaration(member));
+    if (assignClassAliasInStaticBlock) {
+      members = setTextRange(factory2.createNodeArray([
+        factory2.createClassStaticBlockDeclaration(
+          factory2.createBlock([
+            factory2.createExpressionStatement(
+              factory2.createAssignment(classAlias, factory2.createThis())
+            )
+          ])
+        ),
+        ...members
+      ]), members);
+    }
     const classExpression = factory2.createClassExpression(
       modifiers,
       name && isGeneratedIdentifier(name) ? void 0 : name,
@@ -90430,7 +90443,7 @@ function transformLegacyDecorators(context) {
       void 0,
       /*type*/
       void 0,
-      classAlias ? factory2.createAssignment(classAlias, classExpression) : classExpression
+      classAlias && !assignClassAliasInStaticBlock ? factory2.createAssignment(classAlias, classExpression) : classExpression
     );
     setOriginalNode(varDecl, node);
     let varModifiers;
@@ -93778,10 +93791,7 @@ function transformES2018(context) {
     const exitNonUserCodeExpression = factory2.createAssignment(nonUserCode, factory2.createFalse());
     const exitNonUserCodeStatement = factory2.createExpressionStatement(exitNonUserCodeExpression);
     setSourceMapRange(exitNonUserCodeStatement, node.expression);
-    const enterNonUserCodeExpression = factory2.createAssignment(nonUserCode, factory2.createTrue());
-    const enterNonUserCodeStatement = factory2.createExpressionStatement(enterNonUserCodeExpression);
-    setSourceMapRange(exitNonUserCodeStatement, node.expression);
-    const statements = [];
+    const statements = [iteratorValueStatement, exitNonUserCodeStatement];
     const binding = createForOfBindingStatement(factory2, node.initializer, value);
     statements.push(visitNode(binding, visitor, isStatement));
     let bodyLocation;
@@ -93794,29 +93804,14 @@ function transformES2018(context) {
     } else {
       statements.push(statement);
     }
-    const body = setEmitFlags(
-      setTextRange(
-        factory2.createBlock(
-          setTextRange(factory2.createNodeArray(statements), statementsLocation),
-          /*multiLine*/
-          true
-        ),
-        bodyLocation
+    return setTextRange(
+      factory2.createBlock(
+        setTextRange(factory2.createNodeArray(statements), statementsLocation),
+        /*multiLine*/
+        true
       ),
-      96 /* NoSourceMap */ | 768 /* NoTokenSourceMaps */
+      bodyLocation
     );
-    return factory2.createBlock([
-      iteratorValueStatement,
-      exitNonUserCodeStatement,
-      factory2.createTryStatement(
-        body,
-        /*catchClause*/
-        void 0,
-        factory2.createBlock([
-          enterNonUserCodeStatement
-        ])
-      )
-    ]);
   }
   function createDownlevelAwait(expression) {
     return enclosingFunctionFlags & 1 /* Generator */ ? factory2.createYieldExpression(
@@ -93895,7 +93890,7 @@ function transformES2018(context) {
             factory2.createLogicalNot(done)
           ]),
           /*incrementor*/
-          void 0,
+          factory2.createAssignment(nonUserCode, factory2.createTrue()),
           /*statement*/
           convertForOfStatementHead(node, getValue, nonUserCode)
         ),

package/lib/tsserver.js

@@ -2303,7 +2303,7 @@ module.exports = __toCommonJS(server_exports);
 
 // src/compiler/corePublic.ts
 var versionMajorMinor = "5.1";
-var version = `${versionMajorMinor}.0-insiders.20230428`;
+var version = `${versionMajorMinor}.0-insiders.20230501`;
 var Comparison = /* @__PURE__ */ ((Comparison3) => {
   Comparison3[Comparison3["LessThan"] = -1] = "LessThan";
   Comparison3[Comparison3["EqualTo"] = 0] = "EqualTo";
@@ -66321,7 +66321,7 @@ function createTypeChecker(host) {
         }
       }
     }
-    const filtered = contains(include, 0 /* False */) ? getUnionType(types.filter((_, i) => include[i]), 0 /* None */) : target;
+    const filtered = contains(include, 0 /* False */) ? getUnionType(types.filter((_, i) => include[i])) : target;
     return filtered.flags & 131072 /* Never */ ? target : filtered;
   }
   function isWeakType(type) {
@@ -68215,14 +68215,14 @@ function createTypeChecker(host) {
     const inference = context.inferences[index];
     if (!inference.inferredType) {
       let inferredType;
-      const signature = context.signature;
-      if (signature) {
-        const inferredCovariantType = inference.candidates ? getCovariantInference(inference, signature) : void 0;
-        if (inference.contraCandidates) {
-          const useCovariantType = inferredCovariantType && !(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 = useCovariantType ? inferredCovariantType : getContravariantInference(inference);
-        } else if (inferredCovariantType) {
-          inferredType = inferredCovariantType;
+      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 || inferredContravariantType) {
+          const preferCovariantType = inferredCovariantType && (!inferredContravariantType || !(inferredCovariantType.flags & 131072 /* Never */) && every(inference.candidates, (t) => isTypeSubtypeOf(t, inferredCovariantType)) && 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;
         } else if (context.flags & 1 /* NoDefault */) {
           inferredType = silentNeverType;
         } else {
@@ -68239,7 +68239,7 @@ function createTypeChecker(host) {
       if (constraint) {
         const instantiatedConstraint = instantiateType(constraint, context.nonFixingMapper);
         if (!inferredType || !context.compareTypes(inferredType, getTypeWithThisArgument(instantiatedConstraint, inferredType))) {
-          inference.inferredType = inferredType = instantiatedConstraint;
+          inference.inferredType = fallbackType && context.compareTypes(fallbackType, getTypeWithThisArgument(instantiatedConstraint, fallbackType)) ? fallbackType : instantiatedConstraint;
         }
       }
     }
@@ -95235,6 +95235,19 @@ function transformLegacyDecorators(context) {
     let members = visitNodes2(node.members, visitor, isClassElement);
     let decorationStatements = [];
     ({ members, decorationStatements } = transformDecoratorsOfClassElements(node, members));
+    const assignClassAliasInStaticBlock = languageVersion >= 9 /* ES2022 */ && !!classAlias && some(members, (member) => isPropertyDeclaration(member) && hasSyntacticModifier(member, 32 /* Static */) || isClassStaticBlockDeclaration(member));
+    if (assignClassAliasInStaticBlock) {
+      members = setTextRange(factory2.createNodeArray([
+        factory2.createClassStaticBlockDeclaration(
+          factory2.createBlock([
+            factory2.createExpressionStatement(
+              factory2.createAssignment(classAlias, factory2.createThis())
+            )
+          ])
+        ),
+        ...members
+      ]), members);
+    }
     const classExpression = factory2.createClassExpression(
       modifiers,
       name && isGeneratedIdentifier(name) ? void 0 : name,
@@ -95251,7 +95264,7 @@ function transformLegacyDecorators(context) {
       void 0,
       /*type*/
       void 0,
-      classAlias ? factory2.createAssignment(classAlias, classExpression) : classExpression
+      classAlias && !assignClassAliasInStaticBlock ? factory2.createAssignment(classAlias, classExpression) : classExpression
     );
     setOriginalNode(varDecl, node);
     let varModifiers;
@@ -98599,10 +98612,7 @@ function transformES2018(context) {
     const exitNonUserCodeExpression = factory2.createAssignment(nonUserCode, factory2.createFalse());
     const exitNonUserCodeStatement = factory2.createExpressionStatement(exitNonUserCodeExpression);
     setSourceMapRange(exitNonUserCodeStatement, node.expression);
-    const enterNonUserCodeExpression = factory2.createAssignment(nonUserCode, factory2.createTrue());
-    const enterNonUserCodeStatement = factory2.createExpressionStatement(enterNonUserCodeExpression);
-    setSourceMapRange(exitNonUserCodeStatement, node.expression);
-    const statements = [];
+    const statements = [iteratorValueStatement, exitNonUserCodeStatement];
     const binding = createForOfBindingStatement(factory2, node.initializer, value);
     statements.push(visitNode(binding, visitor, isStatement));
     let bodyLocation;
@@ -98615,29 +98625,14 @@ function transformES2018(context) {
     } else {
       statements.push(statement);
     }
-    const body = setEmitFlags(
-      setTextRange(
-        factory2.createBlock(
-          setTextRange(factory2.createNodeArray(statements), statementsLocation),
-          /*multiLine*/
-          true
-        ),
-        bodyLocation
+    return setTextRange(
+      factory2.createBlock(
+        setTextRange(factory2.createNodeArray(statements), statementsLocation),
+        /*multiLine*/
+        true
       ),
-      96 /* NoSourceMap */ | 768 /* NoTokenSourceMaps */
+      bodyLocation
     );
-    return factory2.createBlock([
-      iteratorValueStatement,
-      exitNonUserCodeStatement,
-      factory2.createTryStatement(
-        body,
-        /*catchClause*/
-        void 0,
-        factory2.createBlock([
-          enterNonUserCodeStatement
-        ])
-      )
-    ]);
   }
   function createDownlevelAwait(expression) {
     return enclosingFunctionFlags & 1 /* Generator */ ? factory2.createYieldExpression(
@@ -98716,7 +98711,7 @@ function transformES2018(context) {
             factory2.createLogicalNot(done)
           ]),
           /*incrementor*/
-          void 0,
+          factory2.createAssignment(nonUserCode, factory2.createTrue()),
           /*statement*/
           convertForOfStatementHead(node, getValue, nonUserCode)
         ),

package/lib/tsserverlibrary.js

@@ -35,7 +35,7 @@ var ts = (() => {
     "src/compiler/corePublic.ts"() {
       "use strict";
       versionMajorMinor = "5.1";
-      version = `${versionMajorMinor}.0-insiders.20230428`;
+      version = `${versionMajorMinor}.0-insiders.20230501`;
       Comparison = /* @__PURE__ */ ((Comparison3) => {
         Comparison3[Comparison3["LessThan"] = -1] = "LessThan";
         Comparison3[Comparison3["EqualTo"] = 0] = "EqualTo";
@@ -64113,7 +64113,7 @@ ${lanes.join("\n")}
           }
         }
       }
-      const filtered = contains(include, 0 /* False */) ? getUnionType(types.filter((_, i) => include[i]), 0 /* None */) : target;
+      const filtered = contains(include, 0 /* False */) ? getUnionType(types.filter((_, i) => include[i])) : target;
       return filtered.flags & 131072 /* Never */ ? target : filtered;
     }
     function isWeakType(type) {
@@ -66007,14 +66007,14 @@ ${lanes.join("\n")}
       const inference = context.inferences[index];
       if (!inference.inferredType) {
         let inferredType;
-        const signature = context.signature;
-        if (signature) {
-          const inferredCovariantType = inference.candidates ? getCovariantInference(inference, signature) : void 0;
-          if (inference.contraCandidates) {
-            const useCovariantType = inferredCovariantType && !(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 = useCovariantType ? inferredCovariantType : getContravariantInference(inference);
-          } else if (inferredCovariantType) {
-            inferredType = inferredCovariantType;
+        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 || inferredContravariantType) {
+            const preferCovariantType = inferredCovariantType && (!inferredContravariantType || !(inferredCovariantType.flags & 131072 /* Never */) && every(inference.candidates, (t) => isTypeSubtypeOf(t, inferredCovariantType)) && 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;
           } else if (context.flags & 1 /* NoDefault */) {
             inferredType = silentNeverType;
           } else {
@@ -66031,7 +66031,7 @@ ${lanes.join("\n")}
         if (constraint) {
           const instantiatedConstraint = instantiateType(constraint, context.nonFixingMapper);
           if (!inferredType || !context.compareTypes(inferredType, getTypeWithThisArgument(instantiatedConstraint, inferredType))) {
-            inference.inferredType = inferredType = instantiatedConstraint;
+            inference.inferredType = fallbackType && context.compareTypes(fallbackType, getTypeWithThisArgument(instantiatedConstraint, fallbackType)) ? fallbackType : instantiatedConstraint;
           }
         }
       }
@@ -93214,6 +93214,19 @@ ${lanes.join("\n")}
       let members = visitNodes2(node.members, visitor, isClassElement);
       let decorationStatements = [];
       ({ members, decorationStatements } = transformDecoratorsOfClassElements(node, members));
+      const assignClassAliasInStaticBlock = languageVersion >= 9 /* ES2022 */ && !!classAlias && some(members, (member) => isPropertyDeclaration(member) && hasSyntacticModifier(member, 32 /* Static */) || isClassStaticBlockDeclaration(member));
+      if (assignClassAliasInStaticBlock) {
+        members = setTextRange(factory2.createNodeArray([
+          factory2.createClassStaticBlockDeclaration(
+            factory2.createBlock([
+              factory2.createExpressionStatement(
+                factory2.createAssignment(classAlias, factory2.createThis())
+              )
+            ])
+          ),
+          ...members
+        ]), members);
+      }
       const classExpression = factory2.createClassExpression(
         modifiers,
         name && isGeneratedIdentifier(name) ? void 0 : name,
@@ -93230,7 +93243,7 @@ ${lanes.join("\n")}
         void 0,
         /*type*/
         void 0,
-        classAlias ? factory2.createAssignment(classAlias, classExpression) : classExpression
+        classAlias && !assignClassAliasInStaticBlock ? factory2.createAssignment(classAlias, classExpression) : classExpression
       );
       setOriginalNode(varDecl, node);
       let varModifiers;
@@ -96596,10 +96609,7 @@ ${lanes.join("\n")}
       const exitNonUserCodeExpression = factory2.createAssignment(nonUserCode, factory2.createFalse());
       const exitNonUserCodeStatement = factory2.createExpressionStatement(exitNonUserCodeExpression);
       setSourceMapRange(exitNonUserCodeStatement, node.expression);
-      const enterNonUserCodeExpression = factory2.createAssignment(nonUserCode, factory2.createTrue());
-      const enterNonUserCodeStatement = factory2.createExpressionStatement(enterNonUserCodeExpression);
-      setSourceMapRange(exitNonUserCodeStatement, node.expression);
-      const statements = [];
+      const statements = [iteratorValueStatement, exitNonUserCodeStatement];
       const binding = createForOfBindingStatement(factory2, node.initializer, value);
       statements.push(visitNode(binding, visitor, isStatement));
       let bodyLocation;
@@ -96612,29 +96622,14 @@ ${lanes.join("\n")}
       } else {
         statements.push(statement);
       }
-      const body = setEmitFlags(
-        setTextRange(
-          factory2.createBlock(
-            setTextRange(factory2.createNodeArray(statements), statementsLocation),
-            /*multiLine*/
-            true
-          ),
-          bodyLocation
+      return setTextRange(
+        factory2.createBlock(
+          setTextRange(factory2.createNodeArray(statements), statementsLocation),
+          /*multiLine*/
+          true
         ),
-        96 /* NoSourceMap */ | 768 /* NoTokenSourceMaps */
+        bodyLocation
       );
-      return factory2.createBlock([
-        iteratorValueStatement,
-        exitNonUserCodeStatement,
-        factory2.createTryStatement(
-          body,
-          /*catchClause*/
-          void 0,
-          factory2.createBlock([
-            enterNonUserCodeStatement
-          ])
-        )
-      ]);
     }
     function createDownlevelAwait(expression) {
       return enclosingFunctionFlags & 1 /* Generator */ ? factory2.createYieldExpression(
@@ -96713,7 +96708,7 @@ ${lanes.join("\n")}
               factory2.createLogicalNot(done)
             ]),
             /*incrementor*/
-            void 0,
+            factory2.createAssignment(nonUserCode, factory2.createTrue()),
             /*statement*/
             convertForOfStatementHead(node, getValue, nonUserCode)
           ),

package/lib/typescript.js

@@ -35,7 +35,7 @@ var ts = (() => {
     "src/compiler/corePublic.ts"() {
       "use strict";
       versionMajorMinor = "5.1";
-      version = `${versionMajorMinor}.0-insiders.20230428`;
+      version = `${versionMajorMinor}.0-insiders.20230501`;
       Comparison = /* @__PURE__ */ ((Comparison3) => {
         Comparison3[Comparison3["LessThan"] = -1] = "LessThan";
         Comparison3[Comparison3["EqualTo"] = 0] = "EqualTo";
@@ -64113,7 +64113,7 @@ ${lanes.join("\n")}
           }
         }
       }
-      const filtered = contains(include, 0 /* False */) ? getUnionType(types.filter((_, i) => include[i]), 0 /* None */) : target;
+      const filtered = contains(include, 0 /* False */) ? getUnionType(types.filter((_, i) => include[i])) : target;
       return filtered.flags & 131072 /* Never */ ? target : filtered;
     }
     function isWeakType(type) {
@@ -66007,14 +66007,14 @@ ${lanes.join("\n")}
       const inference = context.inferences[index];
       if (!inference.inferredType) {
         let inferredType;
-        const signature = context.signature;
-        if (signature) {
-          const inferredCovariantType = inference.candidates ? getCovariantInference(inference, signature) : void 0;
-          if (inference.contraCandidates) {
-            const useCovariantType = inferredCovariantType && !(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 = useCovariantType ? inferredCovariantType : getContravariantInference(inference);
-          } else if (inferredCovariantType) {
-            inferredType = inferredCovariantType;
+        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 || inferredContravariantType) {
+            const preferCovariantType = inferredCovariantType && (!inferredContravariantType || !(inferredCovariantType.flags & 131072 /* Never */) && every(inference.candidates, (t) => isTypeSubtypeOf(t, inferredCovariantType)) && 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;
           } else if (context.flags & 1 /* NoDefault */) {
             inferredType = silentNeverType;
           } else {
@@ -66031,7 +66031,7 @@ ${lanes.join("\n")}
         if (constraint) {
           const instantiatedConstraint = instantiateType(constraint, context.nonFixingMapper);
           if (!inferredType || !context.compareTypes(inferredType, getTypeWithThisArgument(instantiatedConstraint, inferredType))) {
-            inference.inferredType = inferredType = instantiatedConstraint;
+            inference.inferredType = fallbackType && context.compareTypes(fallbackType, getTypeWithThisArgument(instantiatedConstraint, fallbackType)) ? fallbackType : instantiatedConstraint;
           }
         }
       }
@@ -93214,6 +93214,19 @@ ${lanes.join("\n")}
       let members = visitNodes2(node.members, visitor, isClassElement);
       let decorationStatements = [];
       ({ members, decorationStatements } = transformDecoratorsOfClassElements(node, members));
+      const assignClassAliasInStaticBlock = languageVersion >= 9 /* ES2022 */ && !!classAlias && some(members, (member) => isPropertyDeclaration(member) && hasSyntacticModifier(member, 32 /* Static */) || isClassStaticBlockDeclaration(member));
+      if (assignClassAliasInStaticBlock) {
+        members = setTextRange(factory2.createNodeArray([
+          factory2.createClassStaticBlockDeclaration(
+            factory2.createBlock([
+              factory2.createExpressionStatement(
+                factory2.createAssignment(classAlias, factory2.createThis())
+              )
+            ])
+          ),
+          ...members
+        ]), members);
+      }
       const classExpression = factory2.createClassExpression(
         modifiers,
         name && isGeneratedIdentifier(name) ? void 0 : name,
@@ -93230,7 +93243,7 @@ ${lanes.join("\n")}
         void 0,
         /*type*/
         void 0,
-        classAlias ? factory2.createAssignment(classAlias, classExpression) : classExpression
+        classAlias && !assignClassAliasInStaticBlock ? factory2.createAssignment(classAlias, classExpression) : classExpression
       );
       setOriginalNode(varDecl, node);
       let varModifiers;
@@ -96596,10 +96609,7 @@ ${lanes.join("\n")}
       const exitNonUserCodeExpression = factory2.createAssignment(nonUserCode, factory2.createFalse());
       const exitNonUserCodeStatement = factory2.createExpressionStatement(exitNonUserCodeExpression);
       setSourceMapRange(exitNonUserCodeStatement, node.expression);
-      const enterNonUserCodeExpression = factory2.createAssignment(nonUserCode, factory2.createTrue());
-      const enterNonUserCodeStatement = factory2.createExpressionStatement(enterNonUserCodeExpression);
-      setSourceMapRange(exitNonUserCodeStatement, node.expression);
-      const statements = [];
+      const statements = [iteratorValueStatement, exitNonUserCodeStatement];
       const binding = createForOfBindingStatement(factory2, node.initializer, value);
       statements.push(visitNode(binding, visitor, isStatement));
       let bodyLocation;
@@ -96612,29 +96622,14 @@ ${lanes.join("\n")}
       } else {
         statements.push(statement);
       }
-      const body = setEmitFlags(
-        setTextRange(
-          factory2.createBlock(
-            setTextRange(factory2.createNodeArray(statements), statementsLocation),
-            /*multiLine*/
-            true
-          ),
-          bodyLocation
+      return setTextRange(
+        factory2.createBlock(
+          setTextRange(factory2.createNodeArray(statements), statementsLocation),
+          /*multiLine*/
+          true
         ),
-        96 /* NoSourceMap */ | 768 /* NoTokenSourceMaps */
+        bodyLocation
       );
-      return factory2.createBlock([
-        iteratorValueStatement,
-        exitNonUserCodeStatement,
-        factory2.createTryStatement(
-          body,
-          /*catchClause*/
-          void 0,
-          factory2.createBlock([
-            enterNonUserCodeStatement
-          ])
-        )
-      ]);
     }
     function createDownlevelAwait(expression) {
       return enclosingFunctionFlags & 1 /* Generator */ ? factory2.createYieldExpression(
@@ -96713,7 +96708,7 @@ ${lanes.join("\n")}
               factory2.createLogicalNot(done)
             ]),
             /*incrementor*/
-            void 0,
+            factory2.createAssignment(nonUserCode, factory2.createTrue()),
             /*statement*/
             convertForOfStatementHead(node, getValue, nonUserCode)
           ),

package/lib/typingsInstaller.js

@@ -54,7 +54,7 @@ var path = __toESM(require("path"));
 
 // src/compiler/corePublic.ts
 var versionMajorMinor = "5.1";
-var version = `${versionMajorMinor}.0-insiders.20230428`;
+var version = `${versionMajorMinor}.0-insiders.20230501`;
 
 // src/compiler/core.ts
 var emptyArray = [];

package/package.json

@@ -2,7 +2,7 @@
   "name": "@typescript-deploys/pr-build",
   "author": "Microsoft Corp.",
   "homepage": "https://www.typescriptlang.org/",
-  "version": "5.1.0-pr-54052-7",
+  "version": "5.1.0-pr-54072-11",
   "license": "Apache-2.0",
   "description": "TypeScript is a language for application scale JavaScript development",
   "keywords": [
@@ -116,5 +116,5 @@
     "node": "14.21.1",
     "npm": "8.19.3"
   },
-  "gitHead": "e9a2526879878c4894ed1f633e4dfb79e3d5c3f1"
+  "gitHead": "c8fcfa23862ff53c238f3b360a464cf8bc806ad3"
 }