typescript 5.2.0-dev.20230524 → 5.2.0-dev.20230527

package/lib/tsc.js

@@ -18,7 +18,7 @@ and limitations under the License.
 
 // src/compiler/corePublic.ts
 var versionMajorMinor = "5.2";
-var version = `${versionMajorMinor}.0-dev.20230524`;
+var version = `${versionMajorMinor}.0-dev.20230527`;
 
 // src/compiler/core.ts
 var emptyArray = [];
@@ -42656,6 +42656,7 @@ var CheckMode = /* @__PURE__ */ ((CheckMode3) => {
   CheckMode3[CheckMode3["IsForSignatureHelp"] = 16] = "IsForSignatureHelp";
   CheckMode3[CheckMode3["IsForStringLiteralArgumentCompletions"] = 32] = "IsForStringLiteralArgumentCompletions";
   CheckMode3[CheckMode3["RestBindingElement"] = 64] = "RestBindingElement";
+  CheckMode3[CheckMode3["TypeOnly"] = 128] = "TypeOnly";
   return CheckMode3;
 })(CheckMode || {});
 var SignatureCheckMode = /* @__PURE__ */ ((SignatureCheckMode3) => {
@@ -47902,32 +47903,34 @@ function createTypeChecker(host) {
           const methodDeclaration = signatureToSignatureDeclarationHelper(signature, 172 /* MethodSignature */, context, { name: propertyName, questionToken: optionalToken });
           typeElements.push(preserveCommentsOn(methodDeclaration));
         }
+        if (signatures.length || !optionalToken) {
+          return;
+        }
+      }
+      let propertyTypeNode;
+      if (shouldUsePlaceholderForProperty(propertySymbol, context)) {
+        propertyTypeNode = createElidedInformationPlaceholder(context);
       } else {
-        let propertyTypeNode;
-        if (shouldUsePlaceholderForProperty(propertySymbol, context)) {
-          propertyTypeNode = createElidedInformationPlaceholder(context);
-        } else {
-          if (propertyIsReverseMapped) {
-            context.reverseMappedStack || (context.reverseMappedStack = []);
-            context.reverseMappedStack.push(propertySymbol);
-          }
-          propertyTypeNode = propertyType ? serializeTypeForDeclaration(context, propertyType, propertySymbol, saveEnclosingDeclaration) : factory.createKeywordTypeNode(133 /* AnyKeyword */);
-          if (propertyIsReverseMapped) {
-            context.reverseMappedStack.pop();
-          }
+        if (propertyIsReverseMapped) {
+          context.reverseMappedStack || (context.reverseMappedStack = []);
+          context.reverseMappedStack.push(propertySymbol);
         }
-        const modifiers = isReadonlySymbol(propertySymbol) ? [factory.createToken(148 /* ReadonlyKeyword */)] : void 0;
-        if (modifiers) {
-          context.approximateLength += 9;
+        propertyTypeNode = propertyType ? serializeTypeForDeclaration(context, propertyType, propertySymbol, saveEnclosingDeclaration) : factory.createKeywordTypeNode(133 /* AnyKeyword */);
+        if (propertyIsReverseMapped) {
+          context.reverseMappedStack.pop();
         }
-        const propertySignature = factory.createPropertySignature(
-          modifiers,
-          propertyName,
-          optionalToken,
-          propertyTypeNode
-        );
-        typeElements.push(preserveCommentsOn(propertySignature));
       }
+      const modifiers = isReadonlySymbol(propertySymbol) ? [factory.createToken(148 /* ReadonlyKeyword */)] : void 0;
+      if (modifiers) {
+        context.approximateLength += 9;
+      }
+      const propertySignature = factory.createPropertySignature(
+        modifiers,
+        propertyName,
+        optionalToken,
+        propertyTypeNode
+      );
+      typeElements.push(preserveCommentsOn(propertySignature));
       function preserveCommentsOn(node) {
         var _a2;
         if (some(propertySymbol.declarations, (d) => d.kind === 354 /* JSDocPropertyTag */)) {
@@ -57280,9 +57283,9 @@ function createTypeChecker(host) {
         );
         if (freshMapper) {
           const freshCombinedMapper = combineTypeMappers(mapper, freshMapper);
-          for (const p of freshParams) {
-            if (root.inferTypeParameters.indexOf(p) === -1) {
-              p.mapper = freshCombinedMapper;
+          for (let i = 0; i < freshParams.length; i++) {
+            if (freshParams[i] !== root.inferTypeParameters[i]) {
+              freshParams[i].mapper = freshCombinedMapper;
             }
           }
         }
@@ -58185,6 +58188,9 @@ function createTypeChecker(host) {
     const elementFlags = tupleType.target.elementFlags;
     const elementTypes = map(getElementTypes(tupleType), (t, i) => {
       const singleton = elementFlags[i] & 8 /* Variadic */ ? t : elementFlags[i] & 4 /* Rest */ ? createArrayType(t) : createTupleType([t], [elementFlags[i]]);
+      if (singleton === typeVariable) {
+        return mappedType;
+      }
       return instantiateMappedType(mappedType, prependTypeMapping(typeVariable, singleton, mapper));
     });
     const newReadonly = getModifiedReadonlyState(tupleType.target.readonly, getMappedTypeModifiers(mappedType));
@@ -58522,6 +58528,10 @@ function createTypeChecker(host) {
       return true;
     }
     switch (node.kind) {
+      case 233 /* AsExpression */:
+        if (!isConstAssertion(node)) {
+          break;
+        }
       case 293 /* JsxExpression */:
       case 216 /* ParenthesizedExpression */:
         return elaborateError(node.expression, source, target, relation, headMessage, containingMessageChain, errorOutputContainer);
@@ -64800,7 +64810,7 @@ function createTypeChecker(host) {
           target.antecedents = saveAntecedents;
         } else if (flags & 2 /* Start */) {
           const container = flow.node;
-          if (container && container !== flowContainer && reference.kind !== 210 /* PropertyAccessExpression */ && reference.kind !== 211 /* ElementAccessExpression */ && reference.kind !== 110 /* ThisKeyword */) {
+          if (container && container !== flowContainer && reference.kind !== 210 /* PropertyAccessExpression */ && reference.kind !== 211 /* ElementAccessExpression */ && !(reference.kind === 110 /* ThisKeyword */ && container.kind !== 218 /* ArrowFunction */)) {
             flow = container.flowNode;
             continue;
           }
@@ -73287,7 +73297,7 @@ function createTypeChecker(host) {
         Debug.assertIsDefined(leftType);
         const rightType = getLastResult(state);
         Debug.assertIsDefined(rightType);
-        result = checkBinaryLikeExpressionWorker(node.left, node.operatorToken, node.right, leftType, rightType, node);
+        result = checkBinaryLikeExpressionWorker(node.left, node.operatorToken, node.right, leftType, rightType, state.checkMode, node);
       }
       state.skip = false;
       setLeftType(
@@ -73349,9 +73359,9 @@ function createTypeChecker(host) {
       leftType = checkExpression(left, checkMode);
     }
     const rightType = checkExpression(right, checkMode);
-    return checkBinaryLikeExpressionWorker(left, operatorToken, right, leftType, rightType, errorNode);
+    return checkBinaryLikeExpressionWorker(left, operatorToken, right, leftType, rightType, checkMode, errorNode);
   }
-  function checkBinaryLikeExpressionWorker(left, operatorToken, right, leftType, rightType, errorNode) {
+  function checkBinaryLikeExpressionWorker(left, operatorToken, right, leftType, rightType, checkMode, errorNode) {
     const operator = operatorToken.kind;
     switch (operator) {
       case 42 /* AsteriskToken */:
@@ -73508,12 +73518,14 @@ function createTypeChecker(host) {
       case 36 /* ExclamationEqualsToken */:
       case 37 /* EqualsEqualsEqualsToken */:
       case 38 /* ExclamationEqualsEqualsToken */:
-        if (isLiteralExpressionOfObject(left) || isLiteralExpressionOfObject(right)) {
-          const eqType = operator === 35 /* EqualsEqualsToken */ || operator === 37 /* EqualsEqualsEqualsToken */;
-          error(errorNode, Diagnostics.This_condition_will_always_return_0_since_JavaScript_compares_objects_by_reference_not_value, eqType ? "false" : "true");
+        if (!(checkMode && checkMode & 128 /* TypeOnly */)) {
+          if (isLiteralExpressionOfObject(left) || isLiteralExpressionOfObject(right)) {
+            const eqType = operator === 35 /* EqualsEqualsToken */ || operator === 37 /* EqualsEqualsEqualsToken */;
+            error(errorNode, Diagnostics.This_condition_will_always_return_0_since_JavaScript_compares_objects_by_reference_not_value, eqType ? "false" : "true");
+          }
+          checkNaNEquality(errorNode, operator, left, right);
+          reportOperatorErrorUnless((left2, right2) => isTypeEqualityComparableTo(left2, right2) || isTypeEqualityComparableTo(right2, left2));
         }
-        checkNaNEquality(errorNode, operator, left, right);
-        reportOperatorErrorUnless((left2, right2) => isTypeEqualityComparableTo(left2, right2) || isTypeEqualityComparableTo(right2, left2));
         return booleanType;
       case 104 /* InstanceOfKeyword */:
         return checkInstanceOfExpression(left, right, leftType, rightType);
@@ -73824,7 +73836,7 @@ function createTypeChecker(host) {
     }
   }
   function checkConditionalExpression(node, checkMode) {
-    const type = checkTruthinessExpression(node.condition);
+    const type = checkTruthinessExpression(node.condition, checkMode);
     checkTestingKnownTruthyCallableOrAwaitableType(node.condition, type, node.whenTrue);
     const type1 = checkExpression(node.whenTrue, checkMode);
     const type2 = checkExpression(node.whenFalse, checkMode);
@@ -74165,7 +74177,7 @@ function createTypeChecker(host) {
       }
     }
     const startInvocationCount = flowInvocationCount;
-    const type = checkExpression(node);
+    const type = checkExpression(node, 128 /* TypeOnly */);
     if (flowInvocationCount !== startInvocationCount) {
       const cache = flowTypeCache || (flowTypeCache = []);
       cache[getNodeId(node)] = type;
@@ -74241,7 +74253,7 @@ function createTypeChecker(host) {
     if (getIsolatedModules(compilerOptions)) {
       Debug.assert(!!(type.symbol.flags & 128 /* ConstEnum */));
       const constEnumDeclaration = type.symbol.valueDeclaration;
-      if (constEnumDeclaration.flags & 16777216 /* Ambient */) {
+      if (constEnumDeclaration.flags & 16777216 /* Ambient */ && !isValidTypeOnlyAliasUseSite(node)) {
         error(node, Diagnostics.Cannot_access_ambient_const_enums_when_0_is_enabled, isolatedModulesLikeFlagName);
       }
     }