@typescript-deploys/pr-build 5.1.0-pr-49863-27 → 5.1.0-pr-49863-30

package/lib/tsc.js

@@ -6656,6 +6656,7 @@ 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."),
   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}'."),
@@ -50652,10 +50653,8 @@ function createTypeChecker(host) {
       }
       const variance = variances[i];
       switch (variance & 7 /* VarianceMask */) {
-        case 4 /* Independent */:
-        case 3 /* Bivariant */:
-          return anyType;
         case 2 /* Contravariant */:
+        case 3 /* Bivariant */:
           return neverType;
       }
       return getBaseConstraintOfType(typeParameter) || unknownType;
@@ -72123,7 +72122,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)) {
@@ -72134,8 +72133,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) {

package/lib/tsserver.js

@@ -10118,6 +10118,7 @@ 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."),
   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}'."),
@@ -55249,10 +55250,8 @@ function createTypeChecker(host) {
       }
       const variance = variances[i];
       switch (variance & 7 /* VarianceMask */) {
-        case 4 /* Independent */:
-        case 3 /* Bivariant */:
-          return anyType;
         case 2 /* Contravariant */:
+        case 3 /* Bivariant */:
           return neverType;
       }
       return getBaseConstraintOfType(typeParameter) || unknownType;
@@ -76720,7 +76719,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)) {
@@ -76731,8 +76730,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) {
@@ -143660,6 +143663,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
 ];
@@ -143811,6 +143815,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(

package/lib/tsserverlibrary.js

@@ -7942,6 +7942,7 @@ ${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."),
         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}'."),
@@ -53059,10 +53060,8 @@ ${lanes.join("\n")}
         }
         const variance = variances[i];
         switch (variance & 7 /* VarianceMask */) {
-          case 4 /* Independent */:
-          case 3 /* Bivariant */:
-            return anyType;
           case 2 /* Contravariant */:
+          case 3 /* Bivariant */:
             return neverType;
         }
         return getBaseConstraintOfType(typeParameter) || unknownType;
@@ -74530,7 +74529,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)) {
@@ -74541,8 +74540,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) {
@@ -142430,6 +142433,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(
@@ -142537,6 +142541,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/typescript.js

@@ -7942,6 +7942,7 @@ ${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."),
         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}'."),
@@ -53059,10 +53060,8 @@ ${lanes.join("\n")}
         }
         const variance = variances[i];
         switch (variance & 7 /* VarianceMask */) {
-          case 4 /* Independent */:
-          case 3 /* Bivariant */:
-            return anyType;
           case 2 /* Contravariant */:
+          case 3 /* Bivariant */:
             return neverType;
         }
         return getBaseConstraintOfType(typeParameter) || unknownType;
@@ -74530,7 +74529,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)) {
@@ -74541,8 +74540,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) {
@@ -142444,6 +142447,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(
@@ -142551,6 +142555,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

@@ -6012,6 +6012,7 @@ 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."),
   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-deploys/pr-build",
   "author": "Microsoft Corp.",
   "homepage": "https://www.typescriptlang.org/",
-  "version": "5.1.0-pr-49863-27",
+  "version": "5.1.0-pr-49863-30",
   "license": "Apache-2.0",
   "description": "TypeScript is a language for application scale JavaScript development",
   "keywords": [
@@ -114,5 +114,5 @@
     "node": "14.21.1",
     "npm": "8.19.3"
   },
-  "gitHead": "a6ea599f1c25108b1745bc28aef501251ff356b9"
+  "gitHead": "d7bc48b2c37340e8455e02112a20d6fca773bbe7"
 }