typescript 5.1.0-dev.20230316 → 5.1.0-dev.20230318

package/lib/tsc.js

@@ -23,7 +23,7 @@ var __export = (target, all) => {
 
 // src/compiler/corePublic.ts
 var versionMajorMinor = "5.1";
-var version = `${versionMajorMinor}.0-dev.20230316`;
+var version = `${versionMajorMinor}.0-dev.20230318`;
 
 // src/compiler/core.ts
 var emptyArray = [];
@@ -3721,7 +3721,7 @@ var TypeFlags = /* @__PURE__ */ ((TypeFlags2) => {
   TypeFlags2[TypeFlags2["IncludesWildcard"] = 8388608 /* IndexedAccess */] = "IncludesWildcard";
   TypeFlags2[TypeFlags2["IncludesEmptyObject"] = 16777216 /* Conditional */] = "IncludesEmptyObject";
   TypeFlags2[TypeFlags2["IncludesInstantiable"] = 33554432 /* Substitution */] = "IncludesInstantiable";
-  TypeFlags2[TypeFlags2["NotPrimitiveUnion"] = 36323363] = "NotPrimitiveUnion";
+  TypeFlags2[TypeFlags2["NotPrimitiveUnion"] = 36323331] = "NotPrimitiveUnion";
   return TypeFlags2;
 })(TypeFlags || {});
 var ObjectFlags = /* @__PURE__ */ ((ObjectFlags3) => {
@@ -6656,6 +6656,8 @@ var Diagnostics = {
   Type_of_instance_member_variable_0_cannot_reference_identifier_1_declared_in_the_constructor: diag(2844, 1 /* Error */, "Type_of_instance_member_variable_0_cannot_reference_identifier_1_declared_in_the_constructor_2844", "Type of instance member variable '{0}' cannot reference identifier '{1}' declared in the constructor."),
   This_condition_will_always_return_0: diag(2845, 1 /* Error */, "This_condition_will_always_return_0_2845", "This condition will always return '{0}'."),
   A_declaration_file_cannot_be_imported_without_import_type_Did_you_mean_to_import_an_implementation_file_0_instead: diag(2846, 1 /* Error */, "A_declaration_file_cannot_be_imported_without_import_type_Did_you_mean_to_import_an_implementation_f_2846", "A declaration file cannot be imported without 'import type'. Did you mean to import an implementation file '{0}' instead?"),
+  A_function_whose_declared_type_is_neither_undefined_void_nor_any_must_return_a_value: diag(2847, 1 /* Error */, "A_function_whose_declared_type_is_neither_undefined_void_nor_any_must_return_a_value_2847", "A function whose declared type is neither 'undefined', 'void', nor 'any' must return a value."),
+  The_right_hand_side_of_an_instanceof_expression_must_not_be_an_instantiation_expression: diag(2848, 1 /* Error */, "The_right_hand_side_of_an_instanceof_expression_must_not_be_an_instantiation_expression_2848", "The right-hand side of an 'instanceof' expression must not be an instantiation expression."),
   Import_declaration_0_is_using_private_name_1: diag(4e3, 1 /* Error */, "Import_declaration_0_is_using_private_name_1_4000", "Import declaration '{0}' is using private name '{1}'."),
   Type_parameter_0_of_exported_class_has_or_is_using_private_name_1: diag(4002, 1 /* Error */, "Type_parameter_0_of_exported_class_has_or_is_using_private_name_1_4002", "Type parameter '{0}' of exported class has or is using private name '{1}'."),
   Type_parameter_0_of_exported_interface_has_or_is_using_private_name_1: diag(4004, 1 /* Error */, "Type_parameter_0_of_exported_interface_has_or_is_using_private_name_1_4004", "Type parameter '{0}' of exported interface has or is using private name '{1}'."),
@@ -56000,7 +56002,7 @@ function createTypeChecker(host) {
         origin = createOriginUnionOrIntersectionType(1048576 /* Union */, reducedTypes);
       }
     }
-    const objectFlags = (includes & 36323363 /* NotPrimitiveUnion */ ? 0 : 32768 /* PrimitiveUnion */) | (includes & 2097152 /* Intersection */ ? 16777216 /* ContainsIntersections */ : 0);
+    const objectFlags = (includes & 36323331 /* NotPrimitiveUnion */ ? 0 : 32768 /* PrimitiveUnion */) | (includes & 2097152 /* Intersection */ ? 16777216 /* ContainsIntersections */ : 0);
     return getUnionTypeFromSortedList(typeSet, objectFlags, aliasSymbol, aliasTypeArguments, origin);
   }
   function getUnionOrIntersectionTypePredicate(signatures, kind) {
@@ -56125,7 +56127,7 @@ function createTypeChecker(host) {
   function eachUnionContains(unionTypes2, type) {
     for (const u of unionTypes2) {
       if (!containsType(u.types, type)) {
-        const primitive = type.flags & 128 /* StringLiteral */ ? stringType : type.flags & 256 /* NumberLiteral */ ? numberType : type.flags & 2048 /* BigIntLiteral */ ? bigintType : type.flags & 8192 /* UniqueESSymbol */ ? esSymbolType : void 0;
+        const primitive = type.flags & 128 /* StringLiteral */ ? stringType : type.flags & (32 /* Enum */ | 256 /* NumberLiteral */) ? numberType : type.flags & 2048 /* BigIntLiteral */ ? bigintType : type.flags & 8192 /* UniqueESSymbol */ ? esSymbolType : void 0;
         if (!primitive || !containsType(u.types, primitive)) {
           return false;
         }
@@ -56152,9 +56154,6 @@ function createTypeChecker(host) {
     }
     return false;
   }
-  function eachIsUnionContaining(types, flag) {
-    return every(types, (t) => !!(t.flags & 1048576 /* Union */) && some(t.types, (tt) => !!(tt.flags & flag)));
-  }
   function removeFromEach(types, flag) {
     for (let i = 0; i < types.length; i++) {
       types[i] = filterType(types[i], (t) => !(t.flags & flag));
@@ -56243,11 +56242,11 @@ function createTypeChecker(host) {
       if (includes & 1048576 /* Union */) {
         if (intersectUnionsOfPrimitiveTypes(typeSet)) {
           result = getIntersectionType(typeSet, aliasSymbol, aliasTypeArguments);
-        } else if (eachIsUnionContaining(typeSet, 32768 /* Undefined */)) {
+        } else if (every(typeSet, (t) => !!(t.flags & 1048576 /* Union */ && t.types[0].flags & 32768 /* Undefined */))) {
           const containedUndefinedType = some(typeSet, containsMissingType) ? missingType : undefinedType;
           removeFromEach(typeSet, 32768 /* Undefined */);
           result = getUnionType([getIntersectionType(typeSet), containedUndefinedType], 1 /* Literal */, aliasSymbol, aliasTypeArguments);
-        } else if (eachIsUnionContaining(typeSet, 65536 /* Null */)) {
+        } else if (every(typeSet, (t) => !!(t.flags & 1048576 /* Union */ && (t.types[0].flags & 65536 /* Null */ || t.types[1].flags & 65536 /* Null */)))) {
           removeFromEach(typeSet, 65536 /* Null */);
           result = getUnionType([getIntersectionType(typeSet), nullType], 1 /* Literal */, aliasSymbol, aliasTypeArguments);
         } else {
@@ -58635,8 +58634,20 @@ function createTypeChecker(host) {
         return result;
       }
       const moreThanOneRealChildren = length(validChildren) > 1;
-      const arrayLikeTargetParts = filterType(childrenTargetType, isAssignableToAvailableAnyIterable);
-      const nonArrayLikeTargetParts = filterType(childrenTargetType, (t) => !isAssignableToAvailableAnyIterable(t));
+      let arrayLikeTargetParts;
+      let nonArrayLikeTargetParts;
+      const iterableType = getGlobalIterableType(
+        /*reportErrors*/
+        false
+      );
+      if (iterableType !== emptyGenericType) {
+        const anyIterable = createIterableType(anyType);
+        arrayLikeTargetParts = filterType(childrenTargetType, (t) => isTypeAssignableTo(t, anyIterable));
+        nonArrayLikeTargetParts = filterType(childrenTargetType, (t) => !isTypeAssignableTo(t, anyIterable));
+      } else {
+        arrayLikeTargetParts = filterType(childrenTargetType, isArrayOrTupleLikeType);
+        nonArrayLikeTargetParts = filterType(childrenTargetType, (t) => !isArrayOrTupleLikeType(t));
+      }
       if (moreThanOneRealChildren) {
         if (arrayLikeTargetParts !== neverType) {
           const realSource = createTupleType(checkJsxChildren(containingElement, 0 /* Normal */));
@@ -59760,6 +59771,11 @@ function createTypeChecker(host) {
         if (containsType(targetTypes, source2)) {
           return -1 /* True */;
         }
+        if (getObjectFlags(target2) & 32768 /* PrimitiveUnion */ && !(source2.flags & 1024 /* EnumLiteral */) && (source2.flags & (128 /* StringLiteral */ | 512 /* BooleanLiteral */ | 2048 /* BigIntLiteral */) || (relation === subtypeRelation || relation === strictSubtypeRelation) && source2.flags & 256 /* NumberLiteral */)) {
+          const alternateForm = source2 === source2.regularType ? source2.freshType : source2.regularType;
+          const primitive = source2.flags & 128 /* StringLiteral */ ? stringType : source2.flags & 256 /* NumberLiteral */ ? numberType : source2.flags & 2048 /* BigIntLiteral */ ? bigintType : void 0;
+          return primitive && containsType(targetTypes, primitive) || alternateForm && containsType(targetTypes, alternateForm) ? -1 /* True */ : 0 /* False */;
+        }
         const match = getMatchingUnionConstituentForType(target2, source2);
         if (match) {
           const related = isRelatedTo(
@@ -61916,13 +61932,6 @@ function createTypeChecker(host) {
   function isArrayOrTupleLikeType(type) {
     return isArrayLikeType(type) || isTupleLikeType(type);
   }
-  function isAssignableToAvailableAnyIterable(type) {
-    const anyIterable = getGlobalIterableType(
-      /*reportErrors*/
-      false
-    ) !== emptyGenericType && createIterableType(anyType);
-    return anyIterable ? isTypeAssignableTo(type, anyIterable) : isArrayOrTupleLikeType(type);
-  }
   function getTupleElementType(type, index) {
     const propType = getTypeOfPropertyOfType(type, "" + index);
     if (propType) {
@@ -66520,7 +66529,7 @@ function createTypeChecker(host) {
               return void 0;
             }
           }
-          return isInJSFile(decl2) ? void 0 : getTypeOfExpression(binaryExpression.left);
+          return isInJSFile(decl2) || decl2 === binaryExpression.left ? void 0 : getTypeOfExpression(binaryExpression.left);
         }
       case 1 /* ExportsProperty */:
       case 6 /* Prototype */:
@@ -66676,7 +66685,7 @@ function createTypeChecker(host) {
     return void 0;
   }
   function getContextualTypeForElementExpression(arrayContextualType, index) {
-    return arrayContextualType && (index >= 0 && getTypeOfPropertyOfContextualType(filterType(arrayContextualType, (t) => !!getIndexTypeOfType(t, numberType) || isAssignableToAvailableAnyIterable(t)), "" + index) || mapType(
+    return arrayContextualType && (index >= 0 && getTypeOfPropertyOfContextualType(arrayContextualType, "" + index) || mapType(
       arrayContextualType,
       (t) => isTupleType(t) ? getElementTypeOfSliceOfTupleType(
         t,
@@ -67418,7 +67427,7 @@ function createTypeChecker(host) {
     const inConstContext = isConstContext(node);
     const checkFlags = inConstContext ? 8 /* Readonly */ : 0;
     const isInJavascript = isInJSFile(node) && !isInJsonFile(node);
-    const enumTag = getJSDocEnumTag(node);
+    const enumTag = isInJavascript ? getJSDocEnumTag(node) : void 0;
     const isJSObjectLiteral = !contextualType && isInJavascript && !enumTag;
     let objectFlags = freshObjectLiteralFlag;
     let patternWithComputedProperties = false;
@@ -71124,6 +71133,12 @@ function createTypeChecker(host) {
   function checkExpressionWithTypeArguments(node) {
     checkGrammarExpressionWithTypeArguments(node);
     forEach(node.typeArguments, checkSourceElement);
+    if (node.kind === 231 /* ExpressionWithTypeArguments */) {
+      const parent = walkUpParenthesizedExpressions(node.parent);
+      if (parent.kind === 224 /* BinaryExpression */ && parent.operatorToken.kind === 103 /* InstanceOfKeyword */ && isNodeDescendantOf(node, parent.right)) {
+        error(node, Diagnostics.The_right_hand_side_of_an_instanceof_expression_must_not_be_an_instantiation_expression);
+      }
+    }
     const exprType = node.kind === 231 /* ExpressionWithTypeArguments */ ? checkExpression(node.expression) : isThisIdentifier(node.exprName) ? checkThisExpression(node.exprName) : checkExpression(node.exprName);
     return getInstantiationExpressionType(exprType, node);
   }
@@ -72081,7 +72096,7 @@ function createTypeChecker(host) {
     function checkAllCodePathsInNonVoidFunctionReturnOrThrowDiagnostics() {
       const functionFlags = getFunctionFlags(func);
       const type = returnType && unwrapReturnType(returnType, functionFlags);
-      if (type && maybeTypeOfKind(type, 1 /* Any */ | 16384 /* Void */)) {
+      if (type && maybeTypeOfKind(type, 32768 /* Undefined */ | 16384 /* Void */ | 1 /* Any */)) {
         return;
       }
       if (func.kind === 171 /* MethodSignature */ || nodeIsMissing(func.body) || func.body.kind !== 239 /* Block */ || !functionHasImplicitReturn(func)) {
@@ -72092,8 +72107,12 @@ function createTypeChecker(host) {
       if (type && type.flags & 131072 /* Never */) {
         error(errorNode, Diagnostics.A_function_returning_never_cannot_have_a_reachable_end_point);
       } else if (type && !hasExplicitReturn) {
-        error(errorNode, Diagnostics.A_function_whose_declared_type_is_neither_void_nor_any_must_return_a_value);
-      } else if (type && strictNullChecks && !isTypeAssignableTo(undefinedType, type)) {
+        if (strictNullChecks) {
+          error(errorNode, Diagnostics.A_function_whose_declared_type_is_neither_undefined_void_nor_any_must_return_a_value);
+        } else {
+          error(errorNode, Diagnostics.A_function_whose_declared_type_is_neither_void_nor_any_must_return_a_value);
+        }
+      } else if (type && strictNullChecks) {
         error(errorNode, Diagnostics.Function_lacks_ending_return_statement_and_return_type_does_not_include_undefined);
       } else if (compilerOptions.noImplicitReturns) {
         if (!type) {
@@ -72175,6 +72194,11 @@ function createTypeChecker(host) {
           } else {
             assignNonContextualParameterTypes(signature);
           }
+        } else if (contextualSignature && !node.typeParameters && contextualSignature.parameters.length > node.parameters.length) {
+          const inferenceContext = getInferenceContext(node);
+          if (checkMode && checkMode & 2 /* Inferential */) {
+            inferFromAnnotatedParameters(signature, contextualSignature, inferenceContext);
+          }
         }
         if (contextualSignature && !getReturnTypeFromAnnotation(node) && !signature.resolvedReturnType) {
           const returnType = getReturnTypeFromBody(node, checkMode);
@@ -79780,12 +79804,35 @@ function createTypeChecker(host) {
     }
     return void 0;
   }
+  function isThisPropertyAndThisTyped(node) {
+    if (node.expression.kind === 109 /* ThisKeyword */) {
+      const container = getThisContainer(
+        node,
+        /*includeArrowFunctions*/
+        false,
+        /*includeClassComputedPropertyName*/
+        false
+      );
+      if (isFunctionLike(container)) {
+        const containingLiteral = getContainingObjectLiteral(container);
+        if (containingLiteral) {
+          const contextualType = getApparentTypeOfContextualType(
+            containingLiteral,
+            /*contextFlags*/
+            void 0
+          );
+          const type = contextualType && getThisTypeFromContextualType(contextualType);
+          return type && !isTypeAny(type);
+        }
+      }
+    }
+  }
   function getSymbolOfNameOrPropertyAccessExpression(name) {
     if (isDeclarationName(name)) {
       return getSymbolOfNode(name.parent);
     }
     if (isInJSFile(name) && name.parent.kind === 209 /* PropertyAccessExpression */ && name.parent === name.parent.parent.left) {
-      if (!isPrivateIdentifier(name) && !isJSDocMemberName(name)) {
+      if (!isPrivateIdentifier(name) && !isJSDocMemberName(name) && !isThisPropertyAndThisTyped(name.parent)) {
         const specialPropertyAssignmentSymbol = getSpecialPropertyAssignmentSymbolFromEntityName(name);
         if (specialPropertyAssignmentSymbol) {
           return specialPropertyAssignmentSymbol;

package/lib/tsserver.js

@@ -2285,7 +2285,7 @@ module.exports = __toCommonJS(server_exports);
 
 // src/compiler/corePublic.ts
 var versionMajorMinor = "5.1";
-var version = `${versionMajorMinor}.0-dev.20230316`;
+var version = `${versionMajorMinor}.0-dev.20230318`;
 var Comparison = /* @__PURE__ */ ((Comparison3) => {
   Comparison3[Comparison3["LessThan"] = -1] = "LessThan";
   Comparison3[Comparison3["EqualTo"] = 0] = "EqualTo";
@@ -6642,7 +6642,7 @@ var TypeFlags = /* @__PURE__ */ ((TypeFlags2) => {
   TypeFlags2[TypeFlags2["IncludesWildcard"] = 8388608 /* IndexedAccess */] = "IncludesWildcard";
   TypeFlags2[TypeFlags2["IncludesEmptyObject"] = 16777216 /* Conditional */] = "IncludesEmptyObject";
   TypeFlags2[TypeFlags2["IncludesInstantiable"] = 33554432 /* Substitution */] = "IncludesInstantiable";
-  TypeFlags2[TypeFlags2["NotPrimitiveUnion"] = 36323363] = "NotPrimitiveUnion";
+  TypeFlags2[TypeFlags2["NotPrimitiveUnion"] = 36323331] = "NotPrimitiveUnion";
   return TypeFlags2;
 })(TypeFlags || {});
 var ObjectFlags = /* @__PURE__ */ ((ObjectFlags3) => {
@@ -10118,6 +10118,8 @@ var Diagnostics = {
   Type_of_instance_member_variable_0_cannot_reference_identifier_1_declared_in_the_constructor: diag(2844, 1 /* Error */, "Type_of_instance_member_variable_0_cannot_reference_identifier_1_declared_in_the_constructor_2844", "Type of instance member variable '{0}' cannot reference identifier '{1}' declared in the constructor."),
   This_condition_will_always_return_0: diag(2845, 1 /* Error */, "This_condition_will_always_return_0_2845", "This condition will always return '{0}'."),
   A_declaration_file_cannot_be_imported_without_import_type_Did_you_mean_to_import_an_implementation_file_0_instead: diag(2846, 1 /* Error */, "A_declaration_file_cannot_be_imported_without_import_type_Did_you_mean_to_import_an_implementation_f_2846", "A declaration file cannot be imported without 'import type'. Did you mean to import an implementation file '{0}' instead?"),
+  A_function_whose_declared_type_is_neither_undefined_void_nor_any_must_return_a_value: diag(2847, 1 /* Error */, "A_function_whose_declared_type_is_neither_undefined_void_nor_any_must_return_a_value_2847", "A function whose declared type is neither 'undefined', 'void', nor 'any' must return a value."),
+  The_right_hand_side_of_an_instanceof_expression_must_not_be_an_instantiation_expression: diag(2848, 1 /* Error */, "The_right_hand_side_of_an_instanceof_expression_must_not_be_an_instantiation_expression_2848", "The right-hand side of an 'instanceof' expression must not be an instantiation expression."),
   Import_declaration_0_is_using_private_name_1: diag(4e3, 1 /* Error */, "Import_declaration_0_is_using_private_name_1_4000", "Import declaration '{0}' is using private name '{1}'."),
   Type_parameter_0_of_exported_class_has_or_is_using_private_name_1: diag(4002, 1 /* Error */, "Type_parameter_0_of_exported_class_has_or_is_using_private_name_1_4002", "Type parameter '{0}' of exported class has or is using private name '{1}'."),
   Type_parameter_0_of_exported_interface_has_or_is_using_private_name_1: diag(4004, 1 /* Error */, "Type_parameter_0_of_exported_interface_has_or_is_using_private_name_1_4004", "Type parameter '{0}' of exported interface has or is using private name '{1}'."),
@@ -60597,7 +60599,7 @@ function createTypeChecker(host) {
         origin = createOriginUnionOrIntersectionType(1048576 /* Union */, reducedTypes);
       }
     }
-    const objectFlags = (includes & 36323363 /* NotPrimitiveUnion */ ? 0 : 32768 /* PrimitiveUnion */) | (includes & 2097152 /* Intersection */ ? 16777216 /* ContainsIntersections */ : 0);
+    const objectFlags = (includes & 36323331 /* NotPrimitiveUnion */ ? 0 : 32768 /* PrimitiveUnion */) | (includes & 2097152 /* Intersection */ ? 16777216 /* ContainsIntersections */ : 0);
     return getUnionTypeFromSortedList(typeSet, objectFlags, aliasSymbol, aliasTypeArguments, origin);
   }
   function getUnionOrIntersectionTypePredicate(signatures, kind) {
@@ -60722,7 +60724,7 @@ function createTypeChecker(host) {
   function eachUnionContains(unionTypes2, type) {
     for (const u of unionTypes2) {
       if (!containsType(u.types, type)) {
-        const primitive = type.flags & 128 /* StringLiteral */ ? stringType : type.flags & 256 /* NumberLiteral */ ? numberType : type.flags & 2048 /* BigIntLiteral */ ? bigintType : type.flags & 8192 /* UniqueESSymbol */ ? esSymbolType : void 0;
+        const primitive = type.flags & 128 /* StringLiteral */ ? stringType : type.flags & (32 /* Enum */ | 256 /* NumberLiteral */) ? numberType : type.flags & 2048 /* BigIntLiteral */ ? bigintType : type.flags & 8192 /* UniqueESSymbol */ ? esSymbolType : void 0;
         if (!primitive || !containsType(u.types, primitive)) {
           return false;
         }
@@ -60749,9 +60751,6 @@ function createTypeChecker(host) {
     }
     return false;
   }
-  function eachIsUnionContaining(types, flag) {
-    return every(types, (t) => !!(t.flags & 1048576 /* Union */) && some(t.types, (tt) => !!(tt.flags & flag)));
-  }
   function removeFromEach(types, flag) {
     for (let i = 0; i < types.length; i++) {
       types[i] = filterType(types[i], (t) => !(t.flags & flag));
@@ -60840,11 +60839,11 @@ function createTypeChecker(host) {
       if (includes & 1048576 /* Union */) {
         if (intersectUnionsOfPrimitiveTypes(typeSet)) {
           result = getIntersectionType(typeSet, aliasSymbol, aliasTypeArguments);
-        } else if (eachIsUnionContaining(typeSet, 32768 /* Undefined */)) {
+        } else if (every(typeSet, (t) => !!(t.flags & 1048576 /* Union */ && t.types[0].flags & 32768 /* Undefined */))) {
           const containedUndefinedType = some(typeSet, containsMissingType) ? missingType : undefinedType;
           removeFromEach(typeSet, 32768 /* Undefined */);
           result = getUnionType([getIntersectionType(typeSet), containedUndefinedType], 1 /* Literal */, aliasSymbol, aliasTypeArguments);
-        } else if (eachIsUnionContaining(typeSet, 65536 /* Null */)) {
+        } else if (every(typeSet, (t) => !!(t.flags & 1048576 /* Union */ && (t.types[0].flags & 65536 /* Null */ || t.types[1].flags & 65536 /* Null */)))) {
           removeFromEach(typeSet, 65536 /* Null */);
           result = getUnionType([getIntersectionType(typeSet), nullType], 1 /* Literal */, aliasSymbol, aliasTypeArguments);
         } else {
@@ -63232,8 +63231,20 @@ function createTypeChecker(host) {
         return result;
       }
       const moreThanOneRealChildren = length(validChildren) > 1;
-      const arrayLikeTargetParts = filterType(childrenTargetType, isAssignableToAvailableAnyIterable);
-      const nonArrayLikeTargetParts = filterType(childrenTargetType, (t) => !isAssignableToAvailableAnyIterable(t));
+      let arrayLikeTargetParts;
+      let nonArrayLikeTargetParts;
+      const iterableType = getGlobalIterableType(
+        /*reportErrors*/
+        false
+      );
+      if (iterableType !== emptyGenericType) {
+        const anyIterable = createIterableType(anyType);
+        arrayLikeTargetParts = filterType(childrenTargetType, (t) => isTypeAssignableTo(t, anyIterable));
+        nonArrayLikeTargetParts = filterType(childrenTargetType, (t) => !isTypeAssignableTo(t, anyIterable));
+      } else {
+        arrayLikeTargetParts = filterType(childrenTargetType, isArrayOrTupleLikeType);
+        nonArrayLikeTargetParts = filterType(childrenTargetType, (t) => !isArrayOrTupleLikeType(t));
+      }
       if (moreThanOneRealChildren) {
         if (arrayLikeTargetParts !== neverType) {
           const realSource = createTupleType(checkJsxChildren(containingElement, 0 /* Normal */));
@@ -64357,6 +64368,11 @@ function createTypeChecker(host) {
         if (containsType(targetTypes, source2)) {
           return -1 /* True */;
         }
+        if (getObjectFlags(target2) & 32768 /* PrimitiveUnion */ && !(source2.flags & 1024 /* EnumLiteral */) && (source2.flags & (128 /* StringLiteral */ | 512 /* BooleanLiteral */ | 2048 /* BigIntLiteral */) || (relation === subtypeRelation || relation === strictSubtypeRelation) && source2.flags & 256 /* NumberLiteral */)) {
+          const alternateForm = source2 === source2.regularType ? source2.freshType : source2.regularType;
+          const primitive = source2.flags & 128 /* StringLiteral */ ? stringType : source2.flags & 256 /* NumberLiteral */ ? numberType : source2.flags & 2048 /* BigIntLiteral */ ? bigintType : void 0;
+          return primitive && containsType(targetTypes, primitive) || alternateForm && containsType(targetTypes, alternateForm) ? -1 /* True */ : 0 /* False */;
+        }
         const match = getMatchingUnionConstituentForType(target2, source2);
         if (match) {
           const related = isRelatedTo(
@@ -66513,13 +66529,6 @@ function createTypeChecker(host) {
   function isArrayOrTupleLikeType(type) {
     return isArrayLikeType(type) || isTupleLikeType(type);
   }
-  function isAssignableToAvailableAnyIterable(type) {
-    const anyIterable = getGlobalIterableType(
-      /*reportErrors*/
-      false
-    ) !== emptyGenericType && createIterableType(anyType);
-    return anyIterable ? isTypeAssignableTo(type, anyIterable) : isArrayOrTupleLikeType(type);
-  }
   function getTupleElementType(type, index) {
     const propType = getTypeOfPropertyOfType(type, "" + index);
     if (propType) {
@@ -71117,7 +71126,7 @@ function createTypeChecker(host) {
               return void 0;
             }
           }
-          return isInJSFile(decl2) ? void 0 : getTypeOfExpression(binaryExpression.left);
+          return isInJSFile(decl2) || decl2 === binaryExpression.left ? void 0 : getTypeOfExpression(binaryExpression.left);
         }
       case 1 /* ExportsProperty */:
       case 6 /* Prototype */:
@@ -71273,7 +71282,7 @@ function createTypeChecker(host) {
     return void 0;
   }
   function getContextualTypeForElementExpression(arrayContextualType, index) {
-    return arrayContextualType && (index >= 0 && getTypeOfPropertyOfContextualType(filterType(arrayContextualType, (t) => !!getIndexTypeOfType(t, numberType) || isAssignableToAvailableAnyIterable(t)), "" + index) || mapType(
+    return arrayContextualType && (index >= 0 && getTypeOfPropertyOfContextualType(arrayContextualType, "" + index) || mapType(
       arrayContextualType,
       (t) => isTupleType(t) ? getElementTypeOfSliceOfTupleType(
         t,
@@ -72015,7 +72024,7 @@ function createTypeChecker(host) {
     const inConstContext = isConstContext(node);
     const checkFlags = inConstContext ? 8 /* Readonly */ : 0;
     const isInJavascript = isInJSFile(node) && !isInJsonFile(node);
-    const enumTag = getJSDocEnumTag(node);
+    const enumTag = isInJavascript ? getJSDocEnumTag(node) : void 0;
     const isJSObjectLiteral = !contextualType && isInJavascript && !enumTag;
     let objectFlags = freshObjectLiteralFlag;
     let patternWithComputedProperties = false;
@@ -75721,6 +75730,12 @@ function createTypeChecker(host) {
   function checkExpressionWithTypeArguments(node) {
     checkGrammarExpressionWithTypeArguments(node);
     forEach(node.typeArguments, checkSourceElement);
+    if (node.kind === 231 /* ExpressionWithTypeArguments */) {
+      const parent2 = walkUpParenthesizedExpressions(node.parent);
+      if (parent2.kind === 224 /* BinaryExpression */ && parent2.operatorToken.kind === 103 /* InstanceOfKeyword */ && isNodeDescendantOf(node, parent2.right)) {
+        error(node, Diagnostics.The_right_hand_side_of_an_instanceof_expression_must_not_be_an_instantiation_expression);
+      }
+    }
     const exprType = node.kind === 231 /* ExpressionWithTypeArguments */ ? checkExpression(node.expression) : isThisIdentifier(node.exprName) ? checkThisExpression(node.exprName) : checkExpression(node.exprName);
     return getInstantiationExpressionType(exprType, node);
   }
@@ -76678,7 +76693,7 @@ function createTypeChecker(host) {
     function checkAllCodePathsInNonVoidFunctionReturnOrThrowDiagnostics() {
       const functionFlags = getFunctionFlags(func);
       const type = returnType && unwrapReturnType(returnType, functionFlags);
-      if (type && maybeTypeOfKind(type, 1 /* Any */ | 16384 /* Void */)) {
+      if (type && maybeTypeOfKind(type, 32768 /* Undefined */ | 16384 /* Void */ | 1 /* Any */)) {
         return;
       }
       if (func.kind === 171 /* MethodSignature */ || nodeIsMissing(func.body) || func.body.kind !== 239 /* Block */ || !functionHasImplicitReturn(func)) {
@@ -76689,8 +76704,12 @@ function createTypeChecker(host) {
       if (type && type.flags & 131072 /* Never */) {
         error(errorNode, Diagnostics.A_function_returning_never_cannot_have_a_reachable_end_point);
       } else if (type && !hasExplicitReturn) {
-        error(errorNode, Diagnostics.A_function_whose_declared_type_is_neither_void_nor_any_must_return_a_value);
-      } else if (type && strictNullChecks && !isTypeAssignableTo(undefinedType, type)) {
+        if (strictNullChecks) {
+          error(errorNode, Diagnostics.A_function_whose_declared_type_is_neither_undefined_void_nor_any_must_return_a_value);
+        } else {
+          error(errorNode, Diagnostics.A_function_whose_declared_type_is_neither_void_nor_any_must_return_a_value);
+        }
+      } else if (type && strictNullChecks) {
         error(errorNode, Diagnostics.Function_lacks_ending_return_statement_and_return_type_does_not_include_undefined);
       } else if (compilerOptions.noImplicitReturns) {
         if (!type) {
@@ -76772,6 +76791,11 @@ function createTypeChecker(host) {
           } else {
             assignNonContextualParameterTypes(signature);
           }
+        } else if (contextualSignature && !node.typeParameters && contextualSignature.parameters.length > node.parameters.length) {
+          const inferenceContext = getInferenceContext(node);
+          if (checkMode && checkMode & 2 /* Inferential */) {
+            inferFromAnnotatedParameters(signature, contextualSignature, inferenceContext);
+          }
         }
         if (contextualSignature && !getReturnTypeFromAnnotation(node) && !signature.resolvedReturnType) {
           const returnType = getReturnTypeFromBody(node, checkMode);
@@ -84377,12 +84401,35 @@ function createTypeChecker(host) {
     }
     return void 0;
   }
+  function isThisPropertyAndThisTyped(node) {
+    if (node.expression.kind === 109 /* ThisKeyword */) {
+      const container = getThisContainer(
+        node,
+        /*includeArrowFunctions*/
+        false,
+        /*includeClassComputedPropertyName*/
+        false
+      );
+      if (isFunctionLike(container)) {
+        const containingLiteral = getContainingObjectLiteral(container);
+        if (containingLiteral) {
+          const contextualType = getApparentTypeOfContextualType(
+            containingLiteral,
+            /*contextFlags*/
+            void 0
+          );
+          const type = contextualType && getThisTypeFromContextualType(contextualType);
+          return type && !isTypeAny(type);
+        }
+      }
+    }
+  }
   function getSymbolOfNameOrPropertyAccessExpression(name) {
     if (isDeclarationName(name)) {
       return getSymbolOfNode(name.parent);
     }
     if (isInJSFile(name) && name.parent.kind === 209 /* PropertyAccessExpression */ && name.parent === name.parent.parent.left) {
-      if (!isPrivateIdentifier(name) && !isJSDocMemberName(name)) {
+      if (!isPrivateIdentifier(name) && !isJSDocMemberName(name) && !isThisPropertyAndThisTyped(name.parent)) {
         const specialPropertyAssignmentSymbol = getSpecialPropertyAssignmentSymbolFromEntityName(name);
         if (specialPropertyAssignmentSymbol) {
           return specialPropertyAssignmentSymbol;
@@ -143613,6 +143660,7 @@ var fixRemoveBracesFromArrowFunctionBody = "fixRemoveBracesFromArrowFunctionBody
 var fixIdWrapTheBlockWithParen = "fixWrapTheBlockWithParen";
 var errorCodes26 = [
   Diagnostics.A_function_whose_declared_type_is_neither_void_nor_any_must_return_a_value.code,
+  Diagnostics.A_function_whose_declared_type_is_neither_undefined_void_nor_any_must_return_a_value.code,
   Diagnostics.Type_0_is_not_assignable_to_type_1.code,
   Diagnostics.Argument_of_type_0_is_not_assignable_to_parameter_of_type_1.code
 ];
@@ -143764,6 +143812,7 @@ function getInfo6(checker, sourceFile, position, errorCode) {
   const declaration = findAncestor(node.parent, isFunctionLikeDeclaration);
   switch (errorCode) {
     case Diagnostics.A_function_whose_declared_type_is_neither_void_nor_any_must_return_a_value.code:
+    case Diagnostics.A_function_whose_declared_type_is_neither_undefined_void_nor_any_must_return_a_value.code:
       if (!declaration || !declaration.body || !declaration.type || !rangeContainsRange(declaration.type, node))
         return void 0;
       return getFixInfo(
@@ -170469,6 +170518,7 @@ __export(ts_server_exports2, {
   emptyArray: () => emptyArray2,
   findArgument: () => findArgument,
   forEachResolvedProjectReferenceProject: () => forEachResolvedProjectReferenceProject,
+  formatDiagnosticToProtocol: () => formatDiagnosticToProtocol,
   formatMessage: () => formatMessage2,
   getBaseConfigFileName: () => getBaseConfigFileName,
   getLocationInNewDocument: () => getLocationInNewDocument,
@@ -181205,6 +181255,7 @@ __export(ts_server_exports3, {
   emptyArray: () => emptyArray2,
   findArgument: () => findArgument,
   forEachResolvedProjectReferenceProject: () => forEachResolvedProjectReferenceProject,
+  formatDiagnosticToProtocol: () => formatDiagnosticToProtocol,
   formatMessage: () => formatMessage2,
   getBaseConfigFileName: () => getBaseConfigFileName,
   getLocationInNewDocument: () => getLocationInNewDocument,

package/lib/tsserverlibrary.js

@@ -35,7 +35,7 @@ var ts = (() => {
     "src/compiler/corePublic.ts"() {
       "use strict";
       versionMajorMinor = "5.1";
-      version = `${versionMajorMinor}.0-dev.20230316`;
+      version = `${versionMajorMinor}.0-dev.20230318`;
       Comparison = /* @__PURE__ */ ((Comparison3) => {
         Comparison3[Comparison3["LessThan"] = -1] = "LessThan";
         Comparison3[Comparison3["EqualTo"] = 0] = "EqualTo";
@@ -4449,7 +4449,7 @@ ${lanes.join("\n")}
         TypeFlags2[TypeFlags2["IncludesWildcard"] = 8388608 /* IndexedAccess */] = "IncludesWildcard";
         TypeFlags2[TypeFlags2["IncludesEmptyObject"] = 16777216 /* Conditional */] = "IncludesEmptyObject";
         TypeFlags2[TypeFlags2["IncludesInstantiable"] = 33554432 /* Substitution */] = "IncludesInstantiable";
-        TypeFlags2[TypeFlags2["NotPrimitiveUnion"] = 36323363] = "NotPrimitiveUnion";
+        TypeFlags2[TypeFlags2["NotPrimitiveUnion"] = 36323331] = "NotPrimitiveUnion";
         return TypeFlags2;
       })(TypeFlags || {});
       ObjectFlags = /* @__PURE__ */ ((ObjectFlags3) => {
@@ -7942,6 +7942,8 @@ ${lanes.join("\n")}
         Type_of_instance_member_variable_0_cannot_reference_identifier_1_declared_in_the_constructor: diag(2844, 1 /* Error */, "Type_of_instance_member_variable_0_cannot_reference_identifier_1_declared_in_the_constructor_2844", "Type of instance member variable '{0}' cannot reference identifier '{1}' declared in the constructor."),
         This_condition_will_always_return_0: diag(2845, 1 /* Error */, "This_condition_will_always_return_0_2845", "This condition will always return '{0}'."),
         A_declaration_file_cannot_be_imported_without_import_type_Did_you_mean_to_import_an_implementation_file_0_instead: diag(2846, 1 /* Error */, "A_declaration_file_cannot_be_imported_without_import_type_Did_you_mean_to_import_an_implementation_f_2846", "A declaration file cannot be imported without 'import type'. Did you mean to import an implementation file '{0}' instead?"),
+        A_function_whose_declared_type_is_neither_undefined_void_nor_any_must_return_a_value: diag(2847, 1 /* Error */, "A_function_whose_declared_type_is_neither_undefined_void_nor_any_must_return_a_value_2847", "A function whose declared type is neither 'undefined', 'void', nor 'any' must return a value."),
+        The_right_hand_side_of_an_instanceof_expression_must_not_be_an_instantiation_expression: diag(2848, 1 /* Error */, "The_right_hand_side_of_an_instanceof_expression_must_not_be_an_instantiation_expression_2848", "The right-hand side of an 'instanceof' expression must not be an instantiation expression."),
         Import_declaration_0_is_using_private_name_1: diag(4e3, 1 /* Error */, "Import_declaration_0_is_using_private_name_1_4000", "Import declaration '{0}' is using private name '{1}'."),
         Type_parameter_0_of_exported_class_has_or_is_using_private_name_1: diag(4002, 1 /* Error */, "Type_parameter_0_of_exported_class_has_or_is_using_private_name_1_4002", "Type parameter '{0}' of exported class has or is using private name '{1}'."),
         Type_parameter_0_of_exported_interface_has_or_is_using_private_name_1: diag(4004, 1 /* Error */, "Type_parameter_0_of_exported_interface_has_or_is_using_private_name_1_4004", "Type parameter '{0}' of exported interface has or is using private name '{1}'."),
@@ -58407,7 +58409,7 @@ ${lanes.join("\n")}
           origin = createOriginUnionOrIntersectionType(1048576 /* Union */, reducedTypes);
         }
       }
-      const objectFlags = (includes & 36323363 /* NotPrimitiveUnion */ ? 0 : 32768 /* PrimitiveUnion */) | (includes & 2097152 /* Intersection */ ? 16777216 /* ContainsIntersections */ : 0);
+      const objectFlags = (includes & 36323331 /* NotPrimitiveUnion */ ? 0 : 32768 /* PrimitiveUnion */) | (includes & 2097152 /* Intersection */ ? 16777216 /* ContainsIntersections */ : 0);
       return getUnionTypeFromSortedList(typeSet, objectFlags, aliasSymbol, aliasTypeArguments, origin);
     }
     function getUnionOrIntersectionTypePredicate(signatures, kind) {
@@ -58532,7 +58534,7 @@ ${lanes.join("\n")}
     function eachUnionContains(unionTypes2, type) {
       for (const u of unionTypes2) {
         if (!containsType(u.types, type)) {
-          const primitive = type.flags & 128 /* StringLiteral */ ? stringType : type.flags & 256 /* NumberLiteral */ ? numberType : type.flags & 2048 /* BigIntLiteral */ ? bigintType : type.flags & 8192 /* UniqueESSymbol */ ? esSymbolType : void 0;
+          const primitive = type.flags & 128 /* StringLiteral */ ? stringType : type.flags & (32 /* Enum */ | 256 /* NumberLiteral */) ? numberType : type.flags & 2048 /* BigIntLiteral */ ? bigintType : type.flags & 8192 /* UniqueESSymbol */ ? esSymbolType : void 0;
           if (!primitive || !containsType(u.types, primitive)) {
             return false;
           }
@@ -58559,9 +58561,6 @@ ${lanes.join("\n")}
       }
       return false;
     }
-    function eachIsUnionContaining(types, flag) {
-      return every(types, (t) => !!(t.flags & 1048576 /* Union */) && some(t.types, (tt) => !!(tt.flags & flag)));
-    }
     function removeFromEach(types, flag) {
       for (let i = 0; i < types.length; i++) {
         types[i] = filterType(types[i], (t) => !(t.flags & flag));
@@ -58650,11 +58649,11 @@ ${lanes.join("\n")}
         if (includes & 1048576 /* Union */) {
           if (intersectUnionsOfPrimitiveTypes(typeSet)) {
             result = getIntersectionType(typeSet, aliasSymbol, aliasTypeArguments);
-          } else if (eachIsUnionContaining(typeSet, 32768 /* Undefined */)) {
+          } else if (every(typeSet, (t) => !!(t.flags & 1048576 /* Union */ && t.types[0].flags & 32768 /* Undefined */))) {
             const containedUndefinedType = some(typeSet, containsMissingType) ? missingType : undefinedType;
             removeFromEach(typeSet, 32768 /* Undefined */);
             result = getUnionType([getIntersectionType(typeSet), containedUndefinedType], 1 /* Literal */, aliasSymbol, aliasTypeArguments);
-          } else if (eachIsUnionContaining(typeSet, 65536 /* Null */)) {
+          } else if (every(typeSet, (t) => !!(t.flags & 1048576 /* Union */ && (t.types[0].flags & 65536 /* Null */ || t.types[1].flags & 65536 /* Null */)))) {
             removeFromEach(typeSet, 65536 /* Null */);
             result = getUnionType([getIntersectionType(typeSet), nullType], 1 /* Literal */, aliasSymbol, aliasTypeArguments);
           } else {
@@ -61042,8 +61041,20 @@ ${lanes.join("\n")}
           return result;
         }
         const moreThanOneRealChildren = length(validChildren) > 1;
-        const arrayLikeTargetParts = filterType(childrenTargetType, isAssignableToAvailableAnyIterable);
-        const nonArrayLikeTargetParts = filterType(childrenTargetType, (t) => !isAssignableToAvailableAnyIterable(t));
+        let arrayLikeTargetParts;
+        let nonArrayLikeTargetParts;
+        const iterableType = getGlobalIterableType(
+          /*reportErrors*/
+          false
+        );
+        if (iterableType !== emptyGenericType) {
+          const anyIterable = createIterableType(anyType);
+          arrayLikeTargetParts = filterType(childrenTargetType, (t) => isTypeAssignableTo(t, anyIterable));
+          nonArrayLikeTargetParts = filterType(childrenTargetType, (t) => !isTypeAssignableTo(t, anyIterable));
+        } else {
+          arrayLikeTargetParts = filterType(childrenTargetType, isArrayOrTupleLikeType);
+          nonArrayLikeTargetParts = filterType(childrenTargetType, (t) => !isArrayOrTupleLikeType(t));
+        }
         if (moreThanOneRealChildren) {
           if (arrayLikeTargetParts !== neverType) {
             const realSource = createTupleType(checkJsxChildren(containingElement, 0 /* Normal */));
@@ -62167,6 +62178,11 @@ ${lanes.join("\n")}
           if (containsType(targetTypes, source2)) {
             return -1 /* True */;
           }
+          if (getObjectFlags(target2) & 32768 /* PrimitiveUnion */ && !(source2.flags & 1024 /* EnumLiteral */) && (source2.flags & (128 /* StringLiteral */ | 512 /* BooleanLiteral */ | 2048 /* BigIntLiteral */) || (relation === subtypeRelation || relation === strictSubtypeRelation) && source2.flags & 256 /* NumberLiteral */)) {
+            const alternateForm = source2 === source2.regularType ? source2.freshType : source2.regularType;
+            const primitive = source2.flags & 128 /* StringLiteral */ ? stringType : source2.flags & 256 /* NumberLiteral */ ? numberType : source2.flags & 2048 /* BigIntLiteral */ ? bigintType : void 0;
+            return primitive && containsType(targetTypes, primitive) || alternateForm && containsType(targetTypes, alternateForm) ? -1 /* True */ : 0 /* False */;
+          }
           const match = getMatchingUnionConstituentForType(target2, source2);
           if (match) {
             const related = isRelatedTo(
@@ -64323,13 +64339,6 @@ ${lanes.join("\n")}
     function isArrayOrTupleLikeType(type) {
       return isArrayLikeType(type) || isTupleLikeType(type);
     }
-    function isAssignableToAvailableAnyIterable(type) {
-      const anyIterable = getGlobalIterableType(
-        /*reportErrors*/
-        false
-      ) !== emptyGenericType && createIterableType(anyType);
-      return anyIterable ? isTypeAssignableTo(type, anyIterable) : isArrayOrTupleLikeType(type);
-    }
     function getTupleElementType(type, index) {
       const propType = getTypeOfPropertyOfType(type, "" + index);
       if (propType) {
@@ -68927,7 +68936,7 @@ ${lanes.join("\n")}
                 return void 0;
               }
             }
-            return isInJSFile(decl2) ? void 0 : getTypeOfExpression(binaryExpression.left);
+            return isInJSFile(decl2) || decl2 === binaryExpression.left ? void 0 : getTypeOfExpression(binaryExpression.left);
           }
         case 1 /* ExportsProperty */:
         case 6 /* Prototype */:
@@ -69083,7 +69092,7 @@ ${lanes.join("\n")}
       return void 0;
     }
     function getContextualTypeForElementExpression(arrayContextualType, index) {
-      return arrayContextualType && (index >= 0 && getTypeOfPropertyOfContextualType(filterType(arrayContextualType, (t) => !!getIndexTypeOfType(t, numberType) || isAssignableToAvailableAnyIterable(t)), "" + index) || mapType(
+      return arrayContextualType && (index >= 0 && getTypeOfPropertyOfContextualType(arrayContextualType, "" + index) || mapType(
         arrayContextualType,
         (t) => isTupleType(t) ? getElementTypeOfSliceOfTupleType(
           t,
@@ -69825,7 +69834,7 @@ ${lanes.join("\n")}
       const inConstContext = isConstContext(node);
       const checkFlags = inConstContext ? 8 /* Readonly */ : 0;
       const isInJavascript = isInJSFile(node) && !isInJsonFile(node);
-      const enumTag = getJSDocEnumTag(node);
+      const enumTag = isInJavascript ? getJSDocEnumTag(node) : void 0;
       const isJSObjectLiteral = !contextualType && isInJavascript && !enumTag;
       let objectFlags = freshObjectLiteralFlag;
       let patternWithComputedProperties = false;
@@ -73531,6 +73540,12 @@ ${lanes.join("\n")}
     function checkExpressionWithTypeArguments(node) {
       checkGrammarExpressionWithTypeArguments(node);
       forEach(node.typeArguments, checkSourceElement);
+      if (node.kind === 231 /* ExpressionWithTypeArguments */) {
+        const parent2 = walkUpParenthesizedExpressions(node.parent);
+        if (parent2.kind === 224 /* BinaryExpression */ && parent2.operatorToken.kind === 103 /* InstanceOfKeyword */ && isNodeDescendantOf(node, parent2.right)) {
+          error(node, Diagnostics.The_right_hand_side_of_an_instanceof_expression_must_not_be_an_instantiation_expression);
+        }
+      }
       const exprType = node.kind === 231 /* ExpressionWithTypeArguments */ ? checkExpression(node.expression) : isThisIdentifier(node.exprName) ? checkThisExpression(node.exprName) : checkExpression(node.exprName);
       return getInstantiationExpressionType(exprType, node);
     }
@@ -74488,7 +74503,7 @@ ${lanes.join("\n")}
       function checkAllCodePathsInNonVoidFunctionReturnOrThrowDiagnostics() {
         const functionFlags = getFunctionFlags(func);
         const type = returnType && unwrapReturnType(returnType, functionFlags);
-        if (type && maybeTypeOfKind(type, 1 /* Any */ | 16384 /* Void */)) {
+        if (type && maybeTypeOfKind(type, 32768 /* Undefined */ | 16384 /* Void */ | 1 /* Any */)) {
           return;
         }
         if (func.kind === 171 /* MethodSignature */ || nodeIsMissing(func.body) || func.body.kind !== 239 /* Block */ || !functionHasImplicitReturn(func)) {
@@ -74499,8 +74514,12 @@ ${lanes.join("\n")}
         if (type && type.flags & 131072 /* Never */) {
           error(errorNode, Diagnostics.A_function_returning_never_cannot_have_a_reachable_end_point);
         } else if (type && !hasExplicitReturn) {
-          error(errorNode, Diagnostics.A_function_whose_declared_type_is_neither_void_nor_any_must_return_a_value);
-        } else if (type && strictNullChecks && !isTypeAssignableTo(undefinedType, type)) {
+          if (strictNullChecks) {
+            error(errorNode, Diagnostics.A_function_whose_declared_type_is_neither_undefined_void_nor_any_must_return_a_value);
+          } else {
+            error(errorNode, Diagnostics.A_function_whose_declared_type_is_neither_void_nor_any_must_return_a_value);
+          }
+        } else if (type && strictNullChecks) {
           error(errorNode, Diagnostics.Function_lacks_ending_return_statement_and_return_type_does_not_include_undefined);
         } else if (compilerOptions.noImplicitReturns) {
           if (!type) {
@@ -74582,6 +74601,11 @@ ${lanes.join("\n")}
             } else {
               assignNonContextualParameterTypes(signature);
             }
+          } else if (contextualSignature && !node.typeParameters && contextualSignature.parameters.length > node.parameters.length) {
+            const inferenceContext = getInferenceContext(node);
+            if (checkMode && checkMode & 2 /* Inferential */) {
+              inferFromAnnotatedParameters(signature, contextualSignature, inferenceContext);
+            }
           }
           if (contextualSignature && !getReturnTypeFromAnnotation(node) && !signature.resolvedReturnType) {
             const returnType = getReturnTypeFromBody(node, checkMode);
@@ -82187,12 +82211,35 @@ ${lanes.join("\n")}
       }
       return void 0;
     }
+    function isThisPropertyAndThisTyped(node) {
+      if (node.expression.kind === 109 /* ThisKeyword */) {
+        const container = getThisContainer(
+          node,
+          /*includeArrowFunctions*/
+          false,
+          /*includeClassComputedPropertyName*/
+          false
+        );
+        if (isFunctionLike(container)) {
+          const containingLiteral = getContainingObjectLiteral(container);
+          if (containingLiteral) {
+            const contextualType = getApparentTypeOfContextualType(
+              containingLiteral,
+              /*contextFlags*/
+              void 0
+            );
+            const type = contextualType && getThisTypeFromContextualType(contextualType);
+            return type && !isTypeAny(type);
+          }
+        }
+      }
+    }
     function getSymbolOfNameOrPropertyAccessExpression(name) {
       if (isDeclarationName(name)) {
         return getSymbolOfNode(name.parent);
       }
       if (isInJSFile(name) && name.parent.kind === 209 /* PropertyAccessExpression */ && name.parent === name.parent.parent.left) {
-        if (!isPrivateIdentifier(name) && !isJSDocMemberName(name)) {
+        if (!isPrivateIdentifier(name) && !isJSDocMemberName(name) && !isThisPropertyAndThisTyped(name.parent)) {
           const specialPropertyAssignmentSymbol = getSpecialPropertyAssignmentSymbolFromEntityName(name);
           if (specialPropertyAssignmentSymbol) {
             return specialPropertyAssignmentSymbol;
@@ -142383,6 +142430,7 @@ ${lanes.join("\n")}
     const declaration = findAncestor(node.parent, isFunctionLikeDeclaration);
     switch (errorCode) {
       case Diagnostics.A_function_whose_declared_type_is_neither_void_nor_any_must_return_a_value.code:
+      case Diagnostics.A_function_whose_declared_type_is_neither_undefined_void_nor_any_must_return_a_value.code:
         if (!declaration || !declaration.body || !declaration.type || !rangeContainsRange(declaration.type, node))
           return void 0;
         return getFixInfo(
@@ -142490,6 +142538,7 @@ ${lanes.join("\n")}
       fixIdWrapTheBlockWithParen = "fixWrapTheBlockWithParen";
       errorCodes26 = [
         Diagnostics.A_function_whose_declared_type_is_neither_void_nor_any_must_return_a_value.code,
+        Diagnostics.A_function_whose_declared_type_is_neither_undefined_void_nor_any_must_return_a_value.code,
         Diagnostics.Type_0_is_not_assignable_to_type_1.code,
         Diagnostics.Argument_of_type_0_is_not_assignable_to_parameter_of_type_1.code
       ];
@@ -178581,6 +178630,7 @@ ${e.message}`;
     emptyArray: () => emptyArray2,
     findArgument: () => findArgument,
     forEachResolvedProjectReferenceProject: () => forEachResolvedProjectReferenceProject,
+    formatDiagnosticToProtocol: () => formatDiagnosticToProtocol,
     formatMessage: () => formatMessage2,
     getBaseConfigFileName: () => getBaseConfigFileName,
     getLocationInNewDocument: () => getLocationInNewDocument,
@@ -180949,6 +180999,7 @@ ${e.message}`;
     emptyArray: () => emptyArray2,
     findArgument: () => findArgument,
     forEachResolvedProjectReferenceProject: () => forEachResolvedProjectReferenceProject,
+    formatDiagnosticToProtocol: () => formatDiagnosticToProtocol,
     formatMessage: () => formatMessage2,
     getBaseConfigFileName: () => getBaseConfigFileName,
     getLocationInNewDocument: () => getLocationInNewDocument,

package/lib/typescript.js

@@ -35,7 +35,7 @@ var ts = (() => {
     "src/compiler/corePublic.ts"() {
       "use strict";
       versionMajorMinor = "5.1";
-      version = `${versionMajorMinor}.0-dev.20230316`;
+      version = `${versionMajorMinor}.0-dev.20230318`;
       Comparison = /* @__PURE__ */ ((Comparison3) => {
         Comparison3[Comparison3["LessThan"] = -1] = "LessThan";
         Comparison3[Comparison3["EqualTo"] = 0] = "EqualTo";
@@ -4449,7 +4449,7 @@ ${lanes.join("\n")}
         TypeFlags2[TypeFlags2["IncludesWildcard"] = 8388608 /* IndexedAccess */] = "IncludesWildcard";
         TypeFlags2[TypeFlags2["IncludesEmptyObject"] = 16777216 /* Conditional */] = "IncludesEmptyObject";
         TypeFlags2[TypeFlags2["IncludesInstantiable"] = 33554432 /* Substitution */] = "IncludesInstantiable";
-        TypeFlags2[TypeFlags2["NotPrimitiveUnion"] = 36323363] = "NotPrimitiveUnion";
+        TypeFlags2[TypeFlags2["NotPrimitiveUnion"] = 36323331] = "NotPrimitiveUnion";
         return TypeFlags2;
       })(TypeFlags || {});
       ObjectFlags = /* @__PURE__ */ ((ObjectFlags3) => {
@@ -7942,6 +7942,8 @@ ${lanes.join("\n")}
         Type_of_instance_member_variable_0_cannot_reference_identifier_1_declared_in_the_constructor: diag(2844, 1 /* Error */, "Type_of_instance_member_variable_0_cannot_reference_identifier_1_declared_in_the_constructor_2844", "Type of instance member variable '{0}' cannot reference identifier '{1}' declared in the constructor."),
         This_condition_will_always_return_0: diag(2845, 1 /* Error */, "This_condition_will_always_return_0_2845", "This condition will always return '{0}'."),
         A_declaration_file_cannot_be_imported_without_import_type_Did_you_mean_to_import_an_implementation_file_0_instead: diag(2846, 1 /* Error */, "A_declaration_file_cannot_be_imported_without_import_type_Did_you_mean_to_import_an_implementation_f_2846", "A declaration file cannot be imported without 'import type'. Did you mean to import an implementation file '{0}' instead?"),
+        A_function_whose_declared_type_is_neither_undefined_void_nor_any_must_return_a_value: diag(2847, 1 /* Error */, "A_function_whose_declared_type_is_neither_undefined_void_nor_any_must_return_a_value_2847", "A function whose declared type is neither 'undefined', 'void', nor 'any' must return a value."),
+        The_right_hand_side_of_an_instanceof_expression_must_not_be_an_instantiation_expression: diag(2848, 1 /* Error */, "The_right_hand_side_of_an_instanceof_expression_must_not_be_an_instantiation_expression_2848", "The right-hand side of an 'instanceof' expression must not be an instantiation expression."),
         Import_declaration_0_is_using_private_name_1: diag(4e3, 1 /* Error */, "Import_declaration_0_is_using_private_name_1_4000", "Import declaration '{0}' is using private name '{1}'."),
         Type_parameter_0_of_exported_class_has_or_is_using_private_name_1: diag(4002, 1 /* Error */, "Type_parameter_0_of_exported_class_has_or_is_using_private_name_1_4002", "Type parameter '{0}' of exported class has or is using private name '{1}'."),
         Type_parameter_0_of_exported_interface_has_or_is_using_private_name_1: diag(4004, 1 /* Error */, "Type_parameter_0_of_exported_interface_has_or_is_using_private_name_1_4004", "Type parameter '{0}' of exported interface has or is using private name '{1}'."),
@@ -58407,7 +58409,7 @@ ${lanes.join("\n")}
           origin = createOriginUnionOrIntersectionType(1048576 /* Union */, reducedTypes);
         }
       }
-      const objectFlags = (includes & 36323363 /* NotPrimitiveUnion */ ? 0 : 32768 /* PrimitiveUnion */) | (includes & 2097152 /* Intersection */ ? 16777216 /* ContainsIntersections */ : 0);
+      const objectFlags = (includes & 36323331 /* NotPrimitiveUnion */ ? 0 : 32768 /* PrimitiveUnion */) | (includes & 2097152 /* Intersection */ ? 16777216 /* ContainsIntersections */ : 0);
       return getUnionTypeFromSortedList(typeSet, objectFlags, aliasSymbol, aliasTypeArguments, origin);
     }
     function getUnionOrIntersectionTypePredicate(signatures, kind) {
@@ -58532,7 +58534,7 @@ ${lanes.join("\n")}
     function eachUnionContains(unionTypes2, type) {
       for (const u of unionTypes2) {
         if (!containsType(u.types, type)) {
-          const primitive = type.flags & 128 /* StringLiteral */ ? stringType : type.flags & 256 /* NumberLiteral */ ? numberType : type.flags & 2048 /* BigIntLiteral */ ? bigintType : type.flags & 8192 /* UniqueESSymbol */ ? esSymbolType : void 0;
+          const primitive = type.flags & 128 /* StringLiteral */ ? stringType : type.flags & (32 /* Enum */ | 256 /* NumberLiteral */) ? numberType : type.flags & 2048 /* BigIntLiteral */ ? bigintType : type.flags & 8192 /* UniqueESSymbol */ ? esSymbolType : void 0;
           if (!primitive || !containsType(u.types, primitive)) {
             return false;
           }
@@ -58559,9 +58561,6 @@ ${lanes.join("\n")}
       }
       return false;
     }
-    function eachIsUnionContaining(types, flag) {
-      return every(types, (t) => !!(t.flags & 1048576 /* Union */) && some(t.types, (tt) => !!(tt.flags & flag)));
-    }
     function removeFromEach(types, flag) {
       for (let i = 0; i < types.length; i++) {
         types[i] = filterType(types[i], (t) => !(t.flags & flag));
@@ -58650,11 +58649,11 @@ ${lanes.join("\n")}
         if (includes & 1048576 /* Union */) {
           if (intersectUnionsOfPrimitiveTypes(typeSet)) {
             result = getIntersectionType(typeSet, aliasSymbol, aliasTypeArguments);
-          } else if (eachIsUnionContaining(typeSet, 32768 /* Undefined */)) {
+          } else if (every(typeSet, (t) => !!(t.flags & 1048576 /* Union */ && t.types[0].flags & 32768 /* Undefined */))) {
             const containedUndefinedType = some(typeSet, containsMissingType) ? missingType : undefinedType;
             removeFromEach(typeSet, 32768 /* Undefined */);
             result = getUnionType([getIntersectionType(typeSet), containedUndefinedType], 1 /* Literal */, aliasSymbol, aliasTypeArguments);
-          } else if (eachIsUnionContaining(typeSet, 65536 /* Null */)) {
+          } else if (every(typeSet, (t) => !!(t.flags & 1048576 /* Union */ && (t.types[0].flags & 65536 /* Null */ || t.types[1].flags & 65536 /* Null */)))) {
             removeFromEach(typeSet, 65536 /* Null */);
             result = getUnionType([getIntersectionType(typeSet), nullType], 1 /* Literal */, aliasSymbol, aliasTypeArguments);
           } else {
@@ -61042,8 +61041,20 @@ ${lanes.join("\n")}
           return result;
         }
         const moreThanOneRealChildren = length(validChildren) > 1;
-        const arrayLikeTargetParts = filterType(childrenTargetType, isAssignableToAvailableAnyIterable);
-        const nonArrayLikeTargetParts = filterType(childrenTargetType, (t) => !isAssignableToAvailableAnyIterable(t));
+        let arrayLikeTargetParts;
+        let nonArrayLikeTargetParts;
+        const iterableType = getGlobalIterableType(
+          /*reportErrors*/
+          false
+        );
+        if (iterableType !== emptyGenericType) {
+          const anyIterable = createIterableType(anyType);
+          arrayLikeTargetParts = filterType(childrenTargetType, (t) => isTypeAssignableTo(t, anyIterable));
+          nonArrayLikeTargetParts = filterType(childrenTargetType, (t) => !isTypeAssignableTo(t, anyIterable));
+        } else {
+          arrayLikeTargetParts = filterType(childrenTargetType, isArrayOrTupleLikeType);
+          nonArrayLikeTargetParts = filterType(childrenTargetType, (t) => !isArrayOrTupleLikeType(t));
+        }
         if (moreThanOneRealChildren) {
           if (arrayLikeTargetParts !== neverType) {
             const realSource = createTupleType(checkJsxChildren(containingElement, 0 /* Normal */));
@@ -62167,6 +62178,11 @@ ${lanes.join("\n")}
           if (containsType(targetTypes, source2)) {
             return -1 /* True */;
           }
+          if (getObjectFlags(target2) & 32768 /* PrimitiveUnion */ && !(source2.flags & 1024 /* EnumLiteral */) && (source2.flags & (128 /* StringLiteral */ | 512 /* BooleanLiteral */ | 2048 /* BigIntLiteral */) || (relation === subtypeRelation || relation === strictSubtypeRelation) && source2.flags & 256 /* NumberLiteral */)) {
+            const alternateForm = source2 === source2.regularType ? source2.freshType : source2.regularType;
+            const primitive = source2.flags & 128 /* StringLiteral */ ? stringType : source2.flags & 256 /* NumberLiteral */ ? numberType : source2.flags & 2048 /* BigIntLiteral */ ? bigintType : void 0;
+            return primitive && containsType(targetTypes, primitive) || alternateForm && containsType(targetTypes, alternateForm) ? -1 /* True */ : 0 /* False */;
+          }
           const match = getMatchingUnionConstituentForType(target2, source2);
           if (match) {
             const related = isRelatedTo(
@@ -64323,13 +64339,6 @@ ${lanes.join("\n")}
     function isArrayOrTupleLikeType(type) {
       return isArrayLikeType(type) || isTupleLikeType(type);
     }
-    function isAssignableToAvailableAnyIterable(type) {
-      const anyIterable = getGlobalIterableType(
-        /*reportErrors*/
-        false
-      ) !== emptyGenericType && createIterableType(anyType);
-      return anyIterable ? isTypeAssignableTo(type, anyIterable) : isArrayOrTupleLikeType(type);
-    }
     function getTupleElementType(type, index) {
       const propType = getTypeOfPropertyOfType(type, "" + index);
       if (propType) {
@@ -68927,7 +68936,7 @@ ${lanes.join("\n")}
                 return void 0;
               }
             }
-            return isInJSFile(decl2) ? void 0 : getTypeOfExpression(binaryExpression.left);
+            return isInJSFile(decl2) || decl2 === binaryExpression.left ? void 0 : getTypeOfExpression(binaryExpression.left);
           }
         case 1 /* ExportsProperty */:
         case 6 /* Prototype */:
@@ -69083,7 +69092,7 @@ ${lanes.join("\n")}
       return void 0;
     }
     function getContextualTypeForElementExpression(arrayContextualType, index) {
-      return arrayContextualType && (index >= 0 && getTypeOfPropertyOfContextualType(filterType(arrayContextualType, (t) => !!getIndexTypeOfType(t, numberType) || isAssignableToAvailableAnyIterable(t)), "" + index) || mapType(
+      return arrayContextualType && (index >= 0 && getTypeOfPropertyOfContextualType(arrayContextualType, "" + index) || mapType(
         arrayContextualType,
         (t) => isTupleType(t) ? getElementTypeOfSliceOfTupleType(
           t,
@@ -69825,7 +69834,7 @@ ${lanes.join("\n")}
       const inConstContext = isConstContext(node);
       const checkFlags = inConstContext ? 8 /* Readonly */ : 0;
       const isInJavascript = isInJSFile(node) && !isInJsonFile(node);
-      const enumTag = getJSDocEnumTag(node);
+      const enumTag = isInJavascript ? getJSDocEnumTag(node) : void 0;
       const isJSObjectLiteral = !contextualType && isInJavascript && !enumTag;
       let objectFlags = freshObjectLiteralFlag;
       let patternWithComputedProperties = false;
@@ -73531,6 +73540,12 @@ ${lanes.join("\n")}
     function checkExpressionWithTypeArguments(node) {
       checkGrammarExpressionWithTypeArguments(node);
       forEach(node.typeArguments, checkSourceElement);
+      if (node.kind === 231 /* ExpressionWithTypeArguments */) {
+        const parent2 = walkUpParenthesizedExpressions(node.parent);
+        if (parent2.kind === 224 /* BinaryExpression */ && parent2.operatorToken.kind === 103 /* InstanceOfKeyword */ && isNodeDescendantOf(node, parent2.right)) {
+          error(node, Diagnostics.The_right_hand_side_of_an_instanceof_expression_must_not_be_an_instantiation_expression);
+        }
+      }
       const exprType = node.kind === 231 /* ExpressionWithTypeArguments */ ? checkExpression(node.expression) : isThisIdentifier(node.exprName) ? checkThisExpression(node.exprName) : checkExpression(node.exprName);
       return getInstantiationExpressionType(exprType, node);
     }
@@ -74488,7 +74503,7 @@ ${lanes.join("\n")}
       function checkAllCodePathsInNonVoidFunctionReturnOrThrowDiagnostics() {
         const functionFlags = getFunctionFlags(func);
         const type = returnType && unwrapReturnType(returnType, functionFlags);
-        if (type && maybeTypeOfKind(type, 1 /* Any */ | 16384 /* Void */)) {
+        if (type && maybeTypeOfKind(type, 32768 /* Undefined */ | 16384 /* Void */ | 1 /* Any */)) {
           return;
         }
         if (func.kind === 171 /* MethodSignature */ || nodeIsMissing(func.body) || func.body.kind !== 239 /* Block */ || !functionHasImplicitReturn(func)) {
@@ -74499,8 +74514,12 @@ ${lanes.join("\n")}
         if (type && type.flags & 131072 /* Never */) {
           error(errorNode, Diagnostics.A_function_returning_never_cannot_have_a_reachable_end_point);
         } else if (type && !hasExplicitReturn) {
-          error(errorNode, Diagnostics.A_function_whose_declared_type_is_neither_void_nor_any_must_return_a_value);
-        } else if (type && strictNullChecks && !isTypeAssignableTo(undefinedType, type)) {
+          if (strictNullChecks) {
+            error(errorNode, Diagnostics.A_function_whose_declared_type_is_neither_undefined_void_nor_any_must_return_a_value);
+          } else {
+            error(errorNode, Diagnostics.A_function_whose_declared_type_is_neither_void_nor_any_must_return_a_value);
+          }
+        } else if (type && strictNullChecks) {
           error(errorNode, Diagnostics.Function_lacks_ending_return_statement_and_return_type_does_not_include_undefined);
         } else if (compilerOptions.noImplicitReturns) {
           if (!type) {
@@ -74582,6 +74601,11 @@ ${lanes.join("\n")}
             } else {
               assignNonContextualParameterTypes(signature);
             }
+          } else if (contextualSignature && !node.typeParameters && contextualSignature.parameters.length > node.parameters.length) {
+            const inferenceContext = getInferenceContext(node);
+            if (checkMode && checkMode & 2 /* Inferential */) {
+              inferFromAnnotatedParameters(signature, contextualSignature, inferenceContext);
+            }
           }
           if (contextualSignature && !getReturnTypeFromAnnotation(node) && !signature.resolvedReturnType) {
             const returnType = getReturnTypeFromBody(node, checkMode);
@@ -82187,12 +82211,35 @@ ${lanes.join("\n")}
       }
       return void 0;
     }
+    function isThisPropertyAndThisTyped(node) {
+      if (node.expression.kind === 109 /* ThisKeyword */) {
+        const container = getThisContainer(
+          node,
+          /*includeArrowFunctions*/
+          false,
+          /*includeClassComputedPropertyName*/
+          false
+        );
+        if (isFunctionLike(container)) {
+          const containingLiteral = getContainingObjectLiteral(container);
+          if (containingLiteral) {
+            const contextualType = getApparentTypeOfContextualType(
+              containingLiteral,
+              /*contextFlags*/
+              void 0
+            );
+            const type = contextualType && getThisTypeFromContextualType(contextualType);
+            return type && !isTypeAny(type);
+          }
+        }
+      }
+    }
     function getSymbolOfNameOrPropertyAccessExpression(name) {
       if (isDeclarationName(name)) {
         return getSymbolOfNode(name.parent);
       }
       if (isInJSFile(name) && name.parent.kind === 209 /* PropertyAccessExpression */ && name.parent === name.parent.parent.left) {
-        if (!isPrivateIdentifier(name) && !isJSDocMemberName(name)) {
+        if (!isPrivateIdentifier(name) && !isJSDocMemberName(name) && !isThisPropertyAndThisTyped(name.parent)) {
           const specialPropertyAssignmentSymbol = getSpecialPropertyAssignmentSymbolFromEntityName(name);
           if (specialPropertyAssignmentSymbol) {
             return specialPropertyAssignmentSymbol;
@@ -142397,6 +142444,7 @@ ${lanes.join("\n")}
     const declaration = findAncestor(node.parent, isFunctionLikeDeclaration);
     switch (errorCode) {
       case Diagnostics.A_function_whose_declared_type_is_neither_void_nor_any_must_return_a_value.code:
+      case Diagnostics.A_function_whose_declared_type_is_neither_undefined_void_nor_any_must_return_a_value.code:
         if (!declaration || !declaration.body || !declaration.type || !rangeContainsRange(declaration.type, node))
           return void 0;
         return getFixInfo(
@@ -142504,6 +142552,7 @@ ${lanes.join("\n")}
       fixIdWrapTheBlockWithParen = "fixWrapTheBlockWithParen";
       errorCodes26 = [
         Diagnostics.A_function_whose_declared_type_is_neither_void_nor_any_must_return_a_value.code,
+        Diagnostics.A_function_whose_declared_type_is_neither_undefined_void_nor_any_must_return_a_value.code,
         Diagnostics.Type_0_is_not_assignable_to_type_1.code,
         Diagnostics.Argument_of_type_0_is_not_assignable_to_parameter_of_type_1.code
       ];

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-dev.20230316`;
+var version = `${versionMajorMinor}.0-dev.20230318`;
 
 // src/compiler/core.ts
 var emptyArray = [];
@@ -3127,7 +3127,7 @@ var TypeFlags = /* @__PURE__ */ ((TypeFlags2) => {
   TypeFlags2[TypeFlags2["IncludesWildcard"] = 8388608 /* IndexedAccess */] = "IncludesWildcard";
   TypeFlags2[TypeFlags2["IncludesEmptyObject"] = 16777216 /* Conditional */] = "IncludesEmptyObject";
   TypeFlags2[TypeFlags2["IncludesInstantiable"] = 33554432 /* Substitution */] = "IncludesInstantiable";
-  TypeFlags2[TypeFlags2["NotPrimitiveUnion"] = 36323363] = "NotPrimitiveUnion";
+  TypeFlags2[TypeFlags2["NotPrimitiveUnion"] = 36323331] = "NotPrimitiveUnion";
   return TypeFlags2;
 })(TypeFlags || {});
 var ObjectFlags = /* @__PURE__ */ ((ObjectFlags3) => {
@@ -6012,6 +6012,8 @@ var Diagnostics = {
   Type_of_instance_member_variable_0_cannot_reference_identifier_1_declared_in_the_constructor: diag(2844, 1 /* Error */, "Type_of_instance_member_variable_0_cannot_reference_identifier_1_declared_in_the_constructor_2844", "Type of instance member variable '{0}' cannot reference identifier '{1}' declared in the constructor."),
   This_condition_will_always_return_0: diag(2845, 1 /* Error */, "This_condition_will_always_return_0_2845", "This condition will always return '{0}'."),
   A_declaration_file_cannot_be_imported_without_import_type_Did_you_mean_to_import_an_implementation_file_0_instead: diag(2846, 1 /* Error */, "A_declaration_file_cannot_be_imported_without_import_type_Did_you_mean_to_import_an_implementation_f_2846", "A declaration file cannot be imported without 'import type'. Did you mean to import an implementation file '{0}' instead?"),
+  A_function_whose_declared_type_is_neither_undefined_void_nor_any_must_return_a_value: diag(2847, 1 /* Error */, "A_function_whose_declared_type_is_neither_undefined_void_nor_any_must_return_a_value_2847", "A function whose declared type is neither 'undefined', 'void', nor 'any' must return a value."),
+  The_right_hand_side_of_an_instanceof_expression_must_not_be_an_instantiation_expression: diag(2848, 1 /* Error */, "The_right_hand_side_of_an_instanceof_expression_must_not_be_an_instantiation_expression_2848", "The right-hand side of an 'instanceof' expression must not be an instantiation expression."),
   Import_declaration_0_is_using_private_name_1: diag(4e3, 1 /* Error */, "Import_declaration_0_is_using_private_name_1_4000", "Import declaration '{0}' is using private name '{1}'."),
   Type_parameter_0_of_exported_class_has_or_is_using_private_name_1: diag(4002, 1 /* Error */, "Type_parameter_0_of_exported_class_has_or_is_using_private_name_1_4002", "Type parameter '{0}' of exported class has or is using private name '{1}'."),
   Type_parameter_0_of_exported_interface_has_or_is_using_private_name_1: diag(4004, 1 /* Error */, "Type_parameter_0_of_exported_interface_has_or_is_using_private_name_1_4004", "Type parameter '{0}' of exported interface has or is using private name '{1}'."),

package/package.json

@@ -2,7 +2,7 @@
     "name": "typescript",
     "author": "Microsoft Corp.",
     "homepage": "https://www.typescriptlang.org/",
-    "version": "5.1.0-dev.20230316",
+    "version": "5.1.0-dev.20230318",
     "license": "Apache-2.0",
     "description": "TypeScript is a language for application scale JavaScript development",
     "keywords": [
@@ -79,7 +79,7 @@
         "node-fetch": "^3.2.10",
         "source-map-support": "^0.5.21",
         "tslib": "^2.5.0",
-        "typescript": "5.0.1-rc",
+        "typescript": "^5.0.2",
         "which": "^2.0.2"
     },
     "overrides": {
@@ -113,5 +113,5 @@
         "node": "14.21.1",
         "npm": "8.19.3"
     },
-    "gitHead": "7f292bf2a19aa14ed69a55e646111af9533d8f1c"
+    "gitHead": "905a0b4e693e8cc13a726ad650b908fee4f75408"
 }