@typescript-deploys/pr-build 5.1.0-pr-49863-41 → 5.1.0-pr-53388-13

package/lib/lib.es2015.core.d.ts

@@ -56,10 +56,10 @@ interface Array<T> {
      * @param target If target is negative, it is treated as length+target where length is the
      * length of the array.
      * @param start If start is negative, it is treated as length+start. If end is negative, it
-     * is treated as length+end.
+     * is treated as length+end. If start is omitted, `0` is used.
      * @param end If not specified, length of the this object is used as its default value.
      */
-    copyWithin(target: number, start: number, end?: number): this;
+    copyWithin(target: number, start?: number, end?: number): this;
 }
 
 interface ArrayConstructor {

package/lib/lib.es2020.bigint.d.ts

@@ -165,10 +165,10 @@ interface BigInt64Array {
      * @param target If target is negative, it is treated as length+target where length is the
      * length of the array.
      * @param start If start is negative, it is treated as length+start. If end is negative, it
-     * is treated as length+end.
+     * is treated as length+end. If start is omitted, `0` is used.
      * @param end If not specified, length of the this object is used as its default value.
      */
-    copyWithin(target: number, start: number, end?: number): this;
+    copyWithin(target: number, start?: number, end?: number): this;
 
     /** Yields index, value pairs for every entry in the array. */
     entries(): IterableIterator<[number, bigint]>;
@@ -437,10 +437,10 @@ interface BigUint64Array {
      * @param target If target is negative, it is treated as length+target where length is the
      * length of the array.
      * @param start If start is negative, it is treated as length+start. If end is negative, it
-     * is treated as length+end.
+     * is treated as length+end. If start is omitted, `0` is used.
      * @param end If not specified, length of the this object is used as its default value.
      */
-    copyWithin(target: number, start: number, end?: number): this;
+    copyWithin(target: number, start?: number, end?: number): this;
 
     /** Yields index, value pairs for every entry in the array. */
     entries(): IterableIterator<[number, bigint]>;

package/lib/lib.es5.d.ts

@@ -1867,10 +1867,10 @@ interface Int8Array {
      * @param target If target is negative, it is treated as length+target where length is the
      * length of the array.
      * @param start If start is negative, it is treated as length+start. If end is negative, it
-     * is treated as length+end.
+     * is treated as length+end. If start is omitted, `0` is used.
      * @param end If not specified, length of the this object is used as its default value.
      */
-    copyWithin(target: number, start: number, end?: number): this;
+    copyWithin(target: number, start?: number, end?: number): this;
 
     /**
      * Determines whether all the members of an array satisfy the specified test.
@@ -2149,10 +2149,10 @@ interface Uint8Array {
      * @param target If target is negative, it is treated as length+target where length is the
      * length of the array.
      * @param start If start is negative, it is treated as length+start. If end is negative, it
-     * is treated as length+end.
+     * is treated as length+end. If start is omitted, `0` is used.
      * @param end If not specified, length of the this object is used as its default value.
      */
-    copyWithin(target: number, start: number, end?: number): this;
+    copyWithin(target: number, start?: number, end?: number): this;
 
     /**
      * Determines whether all the members of an array satisfy the specified test.
@@ -2431,10 +2431,10 @@ interface Uint8ClampedArray {
      * @param target If target is negative, it is treated as length+target where length is the
      * length of the array.
      * @param start If start is negative, it is treated as length+start. If end is negative, it
-     * is treated as length+end.
+     * is treated as length+end. If start is omitted, `0` is used.
      * @param end If not specified, length of the this object is used as its default value.
      */
-    copyWithin(target: number, start: number, end?: number): this;
+    copyWithin(target: number, start?: number, end?: number): this;
 
     /**
      * Determines whether all the members of an array satisfy the specified test.
@@ -2712,10 +2712,10 @@ interface Int16Array {
      * @param target If target is negative, it is treated as length+target where length is the
      * length of the array.
      * @param start If start is negative, it is treated as length+start. If end is negative, it
-     * is treated as length+end.
+     * is treated as length+end. If start is omitted, `0` is used.
      * @param end If not specified, length of the this object is used as its default value.
      */
-    copyWithin(target: number, start: number, end?: number): this;
+    copyWithin(target: number, start?: number, end?: number): this;
 
     /**
      * Determines whether all the members of an array satisfy the specified test.
@@ -2994,10 +2994,10 @@ interface Uint16Array {
      * @param target If target is negative, it is treated as length+target where length is the
      * length of the array.
      * @param start If start is negative, it is treated as length+start. If end is negative, it
-     * is treated as length+end.
+     * is treated as length+end. If start is omitted, `0` is used.
      * @param end If not specified, length of the this object is used as its default value.
      */
-    copyWithin(target: number, start: number, end?: number): this;
+    copyWithin(target: number, start?: number, end?: number): this;
 
     /**
      * Determines whether all the members of an array satisfy the specified test.
@@ -3276,10 +3276,10 @@ interface Int32Array {
      * @param target If target is negative, it is treated as length+target where length is the
      * length of the array.
      * @param start If start is negative, it is treated as length+start. If end is negative, it
-     * is treated as length+end.
+     * is treated as length+end. If start is omitted, `0` is used.
      * @param end If not specified, length of the this object is used as its default value.
      */
-    copyWithin(target: number, start: number, end?: number): this;
+    copyWithin(target: number, start?: number, end?: number): this;
 
     /**
      * Determines whether all the members of an array satisfy the specified test.
@@ -3558,10 +3558,10 @@ interface Uint32Array {
      * @param target If target is negative, it is treated as length+target where length is the
      * length of the array.
      * @param start If start is negative, it is treated as length+start. If end is negative, it
-     * is treated as length+end.
+     * is treated as length+end. If start is omitted, `0` is used.
      * @param end If not specified, length of the this object is used as its default value.
      */
-    copyWithin(target: number, start: number, end?: number): this;
+    copyWithin(target: number, start?: number, end?: number): this;
 
     /**
      * Determines whether all the members of an array satisfy the specified test.
@@ -3839,10 +3839,10 @@ interface Float32Array {
      * @param target If target is negative, it is treated as length+target where length is the
      * length of the array.
      * @param start If start is negative, it is treated as length+start. If end is negative, it
-     * is treated as length+end.
+     * is treated as length+end. If start is omitted, `0` is used.
      * @param end If not specified, length of the this object is used as its default value.
      */
-    copyWithin(target: number, start: number, end?: number): this;
+    copyWithin(target: number, start?: number, end?: number): this;
 
     /**
      * Determines whether all the members of an array satisfy the specified test.
@@ -4122,10 +4122,10 @@ interface Float64Array {
      * @param target If target is negative, it is treated as length+target where length is the
      * length of the array.
      * @param start If start is negative, it is treated as length+start. If end is negative, it
-     * is treated as length+end.
+     * is treated as length+end. If start is omitted, `0` is used.
      * @param end If not specified, length of the this object is used as its default value.
      */
-    copyWithin(target: number, start: number, end?: number): this;
+    copyWithin(target: number, start?: number, end?: number): this;
 
     /**
      * Determines whether all the members of an array satisfy the specified test.

package/lib/tsc.js

@@ -18,7 +18,7 @@ and limitations under the License.
 
 // src/compiler/corePublic.ts
 var versionMajorMinor = "5.1";
-var version = `${versionMajorMinor}.0-insiders.20230321`;
+var version = `${versionMajorMinor}.0-insiders.20230322`;
 
 // src/compiler/core.ts
 var emptyArray = [];
@@ -7313,7 +7313,6 @@ var Diagnostics = {
   Specify_emit_Slashchecking_behavior_for_imports_that_are_only_used_for_types: diag(6718, 3 /* Message */, "Specify_emit_Slashchecking_behavior_for_imports_that_are_only_used_for_types_6718", "Specify emit/checking behavior for imports that are only used for types."),
   Default_catch_clause_variables_as_unknown_instead_of_any: diag(6803, 3 /* Message */, "Default_catch_clause_variables_as_unknown_instead_of_any_6803", "Default catch clause variables as 'unknown' instead of 'any'."),
   Do_not_transform_or_elide_any_imports_or_exports_not_marked_as_type_only_ensuring_they_are_written_in_the_output_file_s_format_based_on_the_module_setting: diag(6804, 3 /* Message */, "Do_not_transform_or_elide_any_imports_or_exports_not_marked_as_type_only_ensuring_they_are_written_i_6804", "Do not transform or elide any imports or exports not marked as type-only, ensuring they are written in the output file's format based on the 'module' setting."),
-  Default_type_arguments_to_parameter_constraint_or_unknown_instead_of_any_for_instance_checks: diag(6805, 3 /* Message */, "Default_type_arguments_to_parameter_constraint_or_unknown_instead_of_any_for_instance_checks_6805", "Default type arguments to parameter constraint or 'unknown' instead of 'any' for instance checks."),
   one_of_Colon: diag(6900, 3 /* Message */, "one_of_Colon_6900", "one of:"),
   one_or_more_Colon: diag(6901, 3 /* Message */, "one_or_more_Colon_6901", "one or more:"),
   type_Colon: diag(6902, 3 /* Message */, "type_Colon_6902", "type:"),
@@ -12552,9 +12551,8 @@ function isPartOfTypeNode(node) {
           return node === parent.type;
         case 211 /* CallExpression */:
         case 212 /* NewExpression */:
-          return contains(parent.typeArguments, node);
         case 213 /* TaggedTemplateExpression */:
-          return false;
+          return contains(parent.typeArguments, node);
       }
     }
   }
@@ -33851,16 +33849,6 @@ var commandOptionsWithoutBuild = [
     description: Diagnostics.Default_catch_clause_variables_as_unknown_instead_of_any,
     defaultValueDescription: false
   },
-  {
-    name: "strictInstanceOfTypeParameters",
-    type: "boolean",
-    affectsSemanticDiagnostics: true,
-    affectsBuildInfo: true,
-    strictFlag: true,
-    category: Diagnostics.Type_Checking,
-    description: Diagnostics.Default_type_arguments_to_parameter_constraint_or_unknown_instead_of_any_for_instance_checks,
-    defaultValueDescription: false
-  },
   {
     name: "alwaysStrict",
     type: "boolean",
@@ -34079,6 +34067,7 @@ var commandOptionsWithoutBuild = [
     name: "allowImportingTsExtensions",
     type: "boolean",
     affectsSemanticDiagnostics: true,
+    affectsBuildInfo: true,
     category: Diagnostics.Modules,
     description: Diagnostics.Allow_imports_to_include_TypeScript_file_extensions_Requires_moduleResolution_bundler_and_either_noEmit_or_emitDeclarationOnly_to_be_set,
     defaultValueDescription: false
@@ -42549,7 +42538,6 @@ function createTypeChecker(host) {
   var noImplicitAny = getStrictOptionValue(compilerOptions, "noImplicitAny");
   var noImplicitThis = getStrictOptionValue(compilerOptions, "noImplicitThis");
   var useUnknownInCatchVariables = getStrictOptionValue(compilerOptions, "useUnknownInCatchVariables");
-  var strictInstanceOfTypeParameters = true;
   var keyofStringsOnly = !!compilerOptions.keyofStringsOnly;
   var defaultIndexFlags = keyofStringsOnly ? 1 /* StringsOnly */ : 0 /* None */;
   var freshObjectLiteralFlag = compilerOptions.suppressExcessPropertyErrors ? 0 : 8192 /* FreshLiteral */;
@@ -45494,7 +45482,7 @@ function createTypeChecker(host) {
         return void 0;
       }
     } else {
-      throw Debug.assertNever(name, "Unknown entity name kind.");
+      Debug.assertNever(name, "Unknown entity name kind.");
     }
     Debug.assert((getCheckFlags(symbol) & 1 /* Instantiated */) === 0, "Should never get an instantiated symbol here.");
     if (!nodeIsSynthesized(name) && isEntityName(name) && (symbol.flags & 2097152 /* Alias */ || name.parent.kind === 275 /* ExportAssignment */)) {
@@ -50523,30 +50511,9 @@ function createTypeChecker(host) {
       }
     }).parent;
   }
-  function getInstanceTypeOfClassSymbol(classSymbol) {
-    const classType = getDeclaredTypeOfSymbol(classSymbol);
-    const objectFlags = getObjectFlags(classType);
-    if (!(objectFlags & 3 /* ClassOrInterface */) || !classType.typeParameters) {
-      return classType;
-    }
-    const variances = getVariances(classType);
-    const typeArguments = map(classType.typeParameters, (typeParameter, i) => {
-      if (!strictInstanceOfTypeParameters) {
-        return anyType;
-      }
-      const variance = variances[i];
-      switch (variance & 7 /* VarianceMask */) {
-        case 2 /* Contravariant */:
-        case 3 /* Bivariant */:
-          return neverType;
-      }
-      return getBaseConstraintOfType(typeParameter) || unknownType;
-    });
-    return createTypeReference(classType, typeArguments);
-  }
   function getTypeOfPrototypeProperty(prototype) {
-    const classSymbol = getParentOfSymbol(prototype);
-    return getInstanceTypeOfClassSymbol(classSymbol);
+    const classType = getDeclaredTypeOfSymbol(getParentOfSymbol(prototype));
+    return classType.typeParameters ? createTypeReference(classType, map(classType.typeParameters, (_) => anyType)) : classType;
   }
   function getTypeOfPropertyOfType(type, name) {
     const prop = getPropertyOfType(type, name);
@@ -56361,7 +56328,7 @@ function createTypeChecker(host) {
           links.resolvedType = getTypeFromTypeNode(node.type);
           break;
         default:
-          throw Debug.assertNever(node.operator);
+          Debug.assertNever(node.operator);
       }
     }
     return links.resolvedType;
@@ -61359,7 +61326,7 @@ function createTypeChecker(host) {
       const targetHasStringIndex = some(indexInfos, (info) => info.keyType === stringType);
       let result2 = -1 /* True */;
       for (const targetInfo of indexInfos) {
-        const related = !sourceIsPrimitive && targetHasStringIndex && targetInfo.type.flags & 1 /* Any */ ? -1 /* True */ : isGenericMappedType(source2) && targetHasStringIndex ? isRelatedTo(getTemplateTypeFromMappedType(source2), targetInfo.type, 3 /* Both */, reportErrors2) : typeRelatedToIndexInfo(source2, targetInfo, reportErrors2, intersectionState);
+        const related = relation !== strictSubtypeRelation && !sourceIsPrimitive && targetHasStringIndex && targetInfo.type.flags & 1 /* Any */ ? -1 /* True */ : isGenericMappedType(source2) && targetHasStringIndex ? isRelatedTo(getTemplateTypeFromMappedType(source2), targetInfo.type, 3 /* Both */, reportErrors2) : typeRelatedToIndexInfo(source2, targetInfo, reportErrors2, intersectionState);
         if (!related) {
           return 0 /* False */;
         }
@@ -65026,8 +64993,8 @@ function createTypeChecker(host) {
       if (symbol === void 0) {
         return type;
       }
-      const classSymbol = getParentOfSymbol(symbol);
-      const targetType = hasStaticModifier(Debug.checkDefined(symbol.valueDeclaration, "should always have a declaration")) ? getTypeOfSymbol(classSymbol) : getInstanceTypeOfClassSymbol(classSymbol);
+      const classSymbol = symbol.parent;
+      const targetType = hasStaticModifier(Debug.checkDefined(symbol.valueDeclaration, "should always have a declaration")) ? getTypeOfSymbol(classSymbol) : getDeclaredTypeOfSymbol(classSymbol);
       return getNarrowedType(
         type,
         targetType,
@@ -70659,7 +70626,7 @@ function createTypeChecker(host) {
       case 283 /* JsxSelfClosingElement */:
         return resolveJsxOpeningLikeElement(node, candidatesOutArray, checkMode);
     }
-    throw Debug.assertNever(node, "Branch in 'resolveSignature' should be unreachable.");
+    Debug.assertNever(node, "Branch in 'resolveSignature' should be unreachable.");
   }
   function getResolvedSignature(node, candidatesOutArray, checkMode) {
     const links = getNodeLinks(node);
@@ -81934,7 +81901,7 @@ function createTypeChecker(host) {
           currentKind = 2 /* SetAccessor */;
           break;
         default:
-          throw Debug.assertNever(prop, "Unexpected syntax kind:" + prop.kind);
+          Debug.assertNever(prop, "Unexpected syntax kind:" + prop.kind);
       }
       if (!inDestructuring) {
         const effectiveName = getEffectivePropertyNameForPropertyNameNode(name);

package/lib/tsserver.js

@@ -2286,7 +2286,7 @@ module.exports = __toCommonJS(server_exports);
 
 // src/compiler/corePublic.ts
 var versionMajorMinor = "5.1";
-var version = `${versionMajorMinor}.0-insiders.20230321`;
+var version = `${versionMajorMinor}.0-insiders.20230322`;
 var Comparison = /* @__PURE__ */ ((Comparison3) => {
   Comparison3[Comparison3["LessThan"] = -1] = "LessThan";
   Comparison3[Comparison3["EqualTo"] = 0] = "EqualTo";
@@ -10800,7 +10800,6 @@ var Diagnostics = {
   Specify_emit_Slashchecking_behavior_for_imports_that_are_only_used_for_types: diag(6718, 3 /* Message */, "Specify_emit_Slashchecking_behavior_for_imports_that_are_only_used_for_types_6718", "Specify emit/checking behavior for imports that are only used for types."),
   Default_catch_clause_variables_as_unknown_instead_of_any: diag(6803, 3 /* Message */, "Default_catch_clause_variables_as_unknown_instead_of_any_6803", "Default catch clause variables as 'unknown' instead of 'any'."),
   Do_not_transform_or_elide_any_imports_or_exports_not_marked_as_type_only_ensuring_they_are_written_in_the_output_file_s_format_based_on_the_module_setting: diag(6804, 3 /* Message */, "Do_not_transform_or_elide_any_imports_or_exports_not_marked_as_type_only_ensuring_they_are_written_i_6804", "Do not transform or elide any imports or exports not marked as type-only, ensuring they are written in the output file's format based on the 'module' setting."),
-  Default_type_arguments_to_parameter_constraint_or_unknown_instead_of_any_for_instance_checks: diag(6805, 3 /* Message */, "Default_type_arguments_to_parameter_constraint_or_unknown_instead_of_any_for_instance_checks_6805", "Default type arguments to parameter constraint or 'unknown' instead of 'any' for instance checks."),
   one_of_Colon: diag(6900, 3 /* Message */, "one_of_Colon_6900", "one of:"),
   one_or_more_Colon: diag(6901, 3 /* Message */, "one_or_more_Colon_6901", "one or more:"),
   type_Colon: diag(6902, 3 /* Message */, "type_Colon_6902", "type:"),
@@ -16338,9 +16337,8 @@ function isPartOfTypeNode(node) {
           return node === parent2.type;
         case 211 /* CallExpression */:
         case 212 /* NewExpression */:
-          return contains(parent2.typeArguments, node);
         case 213 /* TaggedTemplateExpression */:
-          return false;
+          return contains(parent2.typeArguments, node);
       }
     }
   }
@@ -38212,16 +38210,6 @@ var commandOptionsWithoutBuild = [
     description: Diagnostics.Default_catch_clause_variables_as_unknown_instead_of_any,
     defaultValueDescription: false
   },
-  {
-    name: "strictInstanceOfTypeParameters",
-    type: "boolean",
-    affectsSemanticDiagnostics: true,
-    affectsBuildInfo: true,
-    strictFlag: true,
-    category: Diagnostics.Type_Checking,
-    description: Diagnostics.Default_type_arguments_to_parameter_constraint_or_unknown_instead_of_any_for_instance_checks,
-    defaultValueDescription: false
-  },
   {
     name: "alwaysStrict",
     type: "boolean",
@@ -38440,6 +38428,7 @@ var commandOptionsWithoutBuild = [
     name: "allowImportingTsExtensions",
     type: "boolean",
     affectsSemanticDiagnostics: true,
+    affectsBuildInfo: true,
     category: Diagnostics.Modules,
     description: Diagnostics.Allow_imports_to_include_TypeScript_file_extensions_Requires_moduleResolution_bundler_and_either_noEmit_or_emitDeclarationOnly_to_be_set,
     defaultValueDescription: false
@@ -47176,7 +47165,6 @@ function createTypeChecker(host) {
   var noImplicitAny = getStrictOptionValue(compilerOptions, "noImplicitAny");
   var noImplicitThis = getStrictOptionValue(compilerOptions, "noImplicitThis");
   var useUnknownInCatchVariables = getStrictOptionValue(compilerOptions, "useUnknownInCatchVariables");
-  var strictInstanceOfTypeParameters = true;
   var keyofStringsOnly = !!compilerOptions.keyofStringsOnly;
   var defaultIndexFlags = keyofStringsOnly ? 1 /* StringsOnly */ : 0 /* None */;
   var freshObjectLiteralFlag = compilerOptions.suppressExcessPropertyErrors ? 0 : 8192 /* FreshLiteral */;
@@ -50121,7 +50109,7 @@ function createTypeChecker(host) {
         return void 0;
       }
     } else {
-      throw Debug.assertNever(name, "Unknown entity name kind.");
+      Debug.assertNever(name, "Unknown entity name kind.");
     }
     Debug.assert((getCheckFlags(symbol) & 1 /* Instantiated */) === 0, "Should never get an instantiated symbol here.");
     if (!nodeIsSynthesized(name) && isEntityName(name) && (symbol.flags & 2097152 /* Alias */ || name.parent.kind === 275 /* ExportAssignment */)) {
@@ -55150,30 +55138,9 @@ function createTypeChecker(host) {
       }
     }).parent;
   }
-  function getInstanceTypeOfClassSymbol(classSymbol) {
-    const classType = getDeclaredTypeOfSymbol(classSymbol);
-    const objectFlags = getObjectFlags(classType);
-    if (!(objectFlags & 3 /* ClassOrInterface */) || !classType.typeParameters) {
-      return classType;
-    }
-    const variances = getVariances(classType);
-    const typeArguments = map(classType.typeParameters, (typeParameter, i) => {
-      if (!strictInstanceOfTypeParameters) {
-        return anyType;
-      }
-      const variance = variances[i];
-      switch (variance & 7 /* VarianceMask */) {
-        case 2 /* Contravariant */:
-        case 3 /* Bivariant */:
-          return neverType;
-      }
-      return getBaseConstraintOfType(typeParameter) || unknownType;
-    });
-    return createTypeReference(classType, typeArguments);
-  }
   function getTypeOfPrototypeProperty(prototype) {
-    const classSymbol = getParentOfSymbol(prototype);
-    return getInstanceTypeOfClassSymbol(classSymbol);
+    const classType = getDeclaredTypeOfSymbol(getParentOfSymbol(prototype));
+    return classType.typeParameters ? createTypeReference(classType, map(classType.typeParameters, (_) => anyType)) : classType;
   }
   function getTypeOfPropertyOfType(type, name) {
     const prop = getPropertyOfType(type, name);
@@ -60988,7 +60955,7 @@ function createTypeChecker(host) {
           links.resolvedType = getTypeFromTypeNode(node.type);
           break;
         default:
-          throw Debug.assertNever(node.operator);
+          Debug.assertNever(node.operator);
       }
     }
     return links.resolvedType;
@@ -65986,7 +65953,7 @@ function createTypeChecker(host) {
       const targetHasStringIndex = some(indexInfos, (info) => info.keyType === stringType);
       let result2 = -1 /* True */;
       for (const targetInfo of indexInfos) {
-        const related = !sourceIsPrimitive && targetHasStringIndex && targetInfo.type.flags & 1 /* Any */ ? -1 /* True */ : isGenericMappedType(source2) && targetHasStringIndex ? isRelatedTo(getTemplateTypeFromMappedType(source2), targetInfo.type, 3 /* Both */, reportErrors2) : typeRelatedToIndexInfo(source2, targetInfo, reportErrors2, intersectionState);
+        const related = relation !== strictSubtypeRelation && !sourceIsPrimitive && targetHasStringIndex && targetInfo.type.flags & 1 /* Any */ ? -1 /* True */ : isGenericMappedType(source2) && targetHasStringIndex ? isRelatedTo(getTemplateTypeFromMappedType(source2), targetInfo.type, 3 /* Both */, reportErrors2) : typeRelatedToIndexInfo(source2, targetInfo, reportErrors2, intersectionState);
         if (!related) {
           return 0 /* False */;
         }
@@ -69653,8 +69620,8 @@ function createTypeChecker(host) {
       if (symbol === void 0) {
         return type;
       }
-      const classSymbol = getParentOfSymbol(symbol);
-      const targetType = hasStaticModifier(Debug.checkDefined(symbol.valueDeclaration, "should always have a declaration")) ? getTypeOfSymbol(classSymbol) : getInstanceTypeOfClassSymbol(classSymbol);
+      const classSymbol = symbol.parent;
+      const targetType = hasStaticModifier(Debug.checkDefined(symbol.valueDeclaration, "should always have a declaration")) ? getTypeOfSymbol(classSymbol) : getDeclaredTypeOfSymbol(classSymbol);
       return getNarrowedType(
         type,
         targetType,
@@ -75286,7 +75253,7 @@ function createTypeChecker(host) {
       case 283 /* JsxSelfClosingElement */:
         return resolveJsxOpeningLikeElement(node, candidatesOutArray, checkMode);
     }
-    throw Debug.assertNever(node, "Branch in 'resolveSignature' should be unreachable.");
+    Debug.assertNever(node, "Branch in 'resolveSignature' should be unreachable.");
   }
   function getResolvedSignature(node, candidatesOutArray, checkMode) {
     const links = getNodeLinks(node);
@@ -86561,7 +86528,7 @@ function createTypeChecker(host) {
           currentKind = 2 /* SetAccessor */;
           break;
         default:
-          throw Debug.assertNever(prop, "Unexpected syntax kind:" + prop.kind);
+          Debug.assertNever(prop, "Unexpected syntax kind:" + prop.kind);
       }
       if (!inDestructuring) {
         const effectiveName = getEffectivePropertyNameForPropertyNameNode(name);
@@ -127310,7 +127277,7 @@ function renderPackageNameValidationFailureWorker(typing, result, name, isScopeN
     case 0 /* Ok */:
       return Debug.fail();
     default:
-      throw Debug.assertNever(result);
+      Debug.assertNever(result);
   }
 }
 
@@ -148131,7 +148098,7 @@ function getInfo14(sourceFile, program, pos) {
     /*checkArgumentIsStringLiteralLike*/
     true
   )) {
-    throw Debug.failBadSyntaxKind(parent2);
+    Debug.failBadSyntaxKind(parent2);
   }
   const decl = cast(parent2.parent, isVariableDeclaration);
   const defaultImportName = tryCast(decl.name, isIdentifier);
@@ -149840,7 +149807,7 @@ function completionEntryDataToSymbolOriginInfo(data, completionName, moduleSymbo
 }
 function getInsertTextAndReplacementSpanForImportCompletion(name, importStatementCompletion, origin, useSemicolons, sourceFile, options, preferences) {
   const replacementSpan = importStatementCompletion.replacementSpan;
-  const quotedModuleSpecifier = quote(sourceFile, preferences, escapeSnippetText(origin.moduleSpecifier));
+  const quotedModuleSpecifier = escapeSnippetText(quote(sourceFile, preferences, origin.moduleSpecifier));
   const exportKind = origin.isDefaultExport ? 1 /* Default */ : origin.exportName === "export=" /* ExportEquals */ ? 2 /* ExportEquals */ : 0 /* Named */;
   const tabStop = preferences.includeCompletionsWithSnippetText ? "$1" : "";
   const importKind = ts_codefix_exports.getImportKind(
@@ -161361,7 +161328,7 @@ function getDescriptionForFunctionLikeDeclaration(scope) {
     case 176 /* SetAccessor */:
       return `'set ${scope.name.getText()}'`;
     default:
-      throw Debug.assertNever(scope, `Unexpected scope kind ${scope.kind}`);
+      Debug.assertNever(scope, `Unexpected scope kind ${scope.kind}`);
   }
 }
 function getDescriptionForClassLikeDeclaration(scope) {

package/lib/tsserverlibrary.d.ts

@@ -7141,7 +7141,6 @@ declare namespace ts {
         strictBindCallApply?: boolean;
         strictNullChecks?: boolean;
         strictPropertyInitialization?: boolean;
-        strictInstanceOfTypeParameters?: boolean;
         stripInternal?: boolean;
         suppressExcessPropertyErrors?: boolean;
         suppressImplicitAnyIndexErrors?: boolean;

package/lib/tsserverlibrary.js

@@ -35,7 +35,7 @@ var ts = (() => {
     "src/compiler/corePublic.ts"() {
       "use strict";
       versionMajorMinor = "5.1";
-      version = `${versionMajorMinor}.0-insiders.20230321`;
+      version = `${versionMajorMinor}.0-insiders.20230322`;
       Comparison = /* @__PURE__ */ ((Comparison3) => {
         Comparison3[Comparison3["LessThan"] = -1] = "LessThan";
         Comparison3[Comparison3["EqualTo"] = 0] = "EqualTo";
@@ -8623,7 +8623,6 @@ ${lanes.join("\n")}
         Specify_emit_Slashchecking_behavior_for_imports_that_are_only_used_for_types: diag(6718, 3 /* Message */, "Specify_emit_Slashchecking_behavior_for_imports_that_are_only_used_for_types_6718", "Specify emit/checking behavior for imports that are only used for types."),
         Default_catch_clause_variables_as_unknown_instead_of_any: diag(6803, 3 /* Message */, "Default_catch_clause_variables_as_unknown_instead_of_any_6803", "Default catch clause variables as 'unknown' instead of 'any'."),
         Do_not_transform_or_elide_any_imports_or_exports_not_marked_as_type_only_ensuring_they_are_written_in_the_output_file_s_format_based_on_the_module_setting: diag(6804, 3 /* Message */, "Do_not_transform_or_elide_any_imports_or_exports_not_marked_as_type_only_ensuring_they_are_written_i_6804", "Do not transform or elide any imports or exports not marked as type-only, ensuring they are written in the output file's format based on the 'module' setting."),
-        Default_type_arguments_to_parameter_constraint_or_unknown_instead_of_any_for_instance_checks: diag(6805, 3 /* Message */, "Default_type_arguments_to_parameter_constraint_or_unknown_instead_of_any_for_instance_checks_6805", "Default type arguments to parameter constraint or 'unknown' instead of 'any' for instance checks."),
         one_of_Colon: diag(6900, 3 /* Message */, "one_of_Colon_6900", "one of:"),
         one_or_more_Colon: diag(6901, 3 /* Message */, "one_or_more_Colon_6901", "one or more:"),
         type_Colon: diag(6902, 3 /* Message */, "type_Colon_6902", "type:"),
@@ -14160,9 +14159,8 @@ ${lanes.join("\n")}
             return node === parent2.type;
           case 211 /* CallExpression */:
           case 212 /* NewExpression */:
-            return contains(parent2.typeArguments, node);
           case 213 /* TaggedTemplateExpression */:
-            return false;
+            return contains(parent2.typeArguments, node);
         }
       }
     }
@@ -37735,16 +37733,6 @@ ${lanes.join("\n")}
           description: Diagnostics.Default_catch_clause_variables_as_unknown_instead_of_any,
           defaultValueDescription: false
         },
-        {
-          name: "strictInstanceOfTypeParameters",
-          type: "boolean",
-          affectsSemanticDiagnostics: true,
-          affectsBuildInfo: true,
-          strictFlag: true,
-          category: Diagnostics.Type_Checking,
-          description: Diagnostics.Default_type_arguments_to_parameter_constraint_or_unknown_instead_of_any_for_instance_checks,
-          defaultValueDescription: false
-        },
         {
           name: "alwaysStrict",
           type: "boolean",
@@ -37963,6 +37951,7 @@ ${lanes.join("\n")}
           name: "allowImportingTsExtensions",
           type: "boolean",
           affectsSemanticDiagnostics: true,
+          affectsBuildInfo: true,
           category: Diagnostics.Modules,
           description: Diagnostics.Allow_imports_to_include_TypeScript_file_extensions_Requires_moduleResolution_bundler_and_either_noEmit_or_emitDeclarationOnly_to_be_set,
           defaultValueDescription: false
@@ -44984,7 +44973,6 @@ ${lanes.join("\n")}
     var noImplicitAny = getStrictOptionValue(compilerOptions, "noImplicitAny");
     var noImplicitThis = getStrictOptionValue(compilerOptions, "noImplicitThis");
     var useUnknownInCatchVariables = getStrictOptionValue(compilerOptions, "useUnknownInCatchVariables");
-    var strictInstanceOfTypeParameters = true;
     var keyofStringsOnly = !!compilerOptions.keyofStringsOnly;
     var defaultIndexFlags = keyofStringsOnly ? 1 /* StringsOnly */ : 0 /* None */;
     var freshObjectLiteralFlag = compilerOptions.suppressExcessPropertyErrors ? 0 : 8192 /* FreshLiteral */;
@@ -47929,7 +47917,7 @@ ${lanes.join("\n")}
           return void 0;
         }
       } else {
-        throw Debug.assertNever(name, "Unknown entity name kind.");
+        Debug.assertNever(name, "Unknown entity name kind.");
       }
       Debug.assert((getCheckFlags(symbol) & 1 /* Instantiated */) === 0, "Should never get an instantiated symbol here.");
       if (!nodeIsSynthesized(name) && isEntityName(name) && (symbol.flags & 2097152 /* Alias */ || name.parent.kind === 275 /* ExportAssignment */)) {
@@ -52958,30 +52946,9 @@ ${lanes.join("\n")}
         }
       }).parent;
     }
-    function getInstanceTypeOfClassSymbol(classSymbol) {
-      const classType = getDeclaredTypeOfSymbol(classSymbol);
-      const objectFlags = getObjectFlags(classType);
-      if (!(objectFlags & 3 /* ClassOrInterface */) || !classType.typeParameters) {
-        return classType;
-      }
-      const variances = getVariances(classType);
-      const typeArguments = map(classType.typeParameters, (typeParameter, i) => {
-        if (!strictInstanceOfTypeParameters) {
-          return anyType;
-        }
-        const variance = variances[i];
-        switch (variance & 7 /* VarianceMask */) {
-          case 2 /* Contravariant */:
-          case 3 /* Bivariant */:
-            return neverType;
-        }
-        return getBaseConstraintOfType(typeParameter) || unknownType;
-      });
-      return createTypeReference(classType, typeArguments);
-    }
     function getTypeOfPrototypeProperty(prototype) {
-      const classSymbol = getParentOfSymbol(prototype);
-      return getInstanceTypeOfClassSymbol(classSymbol);
+      const classType = getDeclaredTypeOfSymbol(getParentOfSymbol(prototype));
+      return classType.typeParameters ? createTypeReference(classType, map(classType.typeParameters, (_) => anyType)) : classType;
     }
     function getTypeOfPropertyOfType(type, name) {
       const prop = getPropertyOfType(type, name);
@@ -58796,7 +58763,7 @@ ${lanes.join("\n")}
             links.resolvedType = getTypeFromTypeNode(node.type);
             break;
           default:
-            throw Debug.assertNever(node.operator);
+            Debug.assertNever(node.operator);
         }
       }
       return links.resolvedType;
@@ -63794,7 +63761,7 @@ ${lanes.join("\n")}
         const targetHasStringIndex = some(indexInfos, (info) => info.keyType === stringType);
         let result2 = -1 /* True */;
         for (const targetInfo of indexInfos) {
-          const related = !sourceIsPrimitive && targetHasStringIndex && targetInfo.type.flags & 1 /* Any */ ? -1 /* True */ : isGenericMappedType(source2) && targetHasStringIndex ? isRelatedTo(getTemplateTypeFromMappedType(source2), targetInfo.type, 3 /* Both */, reportErrors2) : typeRelatedToIndexInfo(source2, targetInfo, reportErrors2, intersectionState);
+          const related = relation !== strictSubtypeRelation && !sourceIsPrimitive && targetHasStringIndex && targetInfo.type.flags & 1 /* Any */ ? -1 /* True */ : isGenericMappedType(source2) && targetHasStringIndex ? isRelatedTo(getTemplateTypeFromMappedType(source2), targetInfo.type, 3 /* Both */, reportErrors2) : typeRelatedToIndexInfo(source2, targetInfo, reportErrors2, intersectionState);
           if (!related) {
             return 0 /* False */;
           }
@@ -67461,8 +67428,8 @@ ${lanes.join("\n")}
         if (symbol === void 0) {
           return type;
         }
-        const classSymbol = getParentOfSymbol(symbol);
-        const targetType = hasStaticModifier(Debug.checkDefined(symbol.valueDeclaration, "should always have a declaration")) ? getTypeOfSymbol(classSymbol) : getInstanceTypeOfClassSymbol(classSymbol);
+        const classSymbol = symbol.parent;
+        const targetType = hasStaticModifier(Debug.checkDefined(symbol.valueDeclaration, "should always have a declaration")) ? getTypeOfSymbol(classSymbol) : getDeclaredTypeOfSymbol(classSymbol);
         return getNarrowedType(
           type,
           targetType,
@@ -73094,7 +73061,7 @@ ${lanes.join("\n")}
         case 283 /* JsxSelfClosingElement */:
           return resolveJsxOpeningLikeElement(node, candidatesOutArray, checkMode);
       }
-      throw Debug.assertNever(node, "Branch in 'resolveSignature' should be unreachable.");
+      Debug.assertNever(node, "Branch in 'resolveSignature' should be unreachable.");
     }
     function getResolvedSignature(node, candidatesOutArray, checkMode) {
       const links = getNodeLinks(node);
@@ -84369,7 +84336,7 @@ ${lanes.join("\n")}
             currentKind = 2 /* SetAccessor */;
             break;
           default:
-            throw Debug.assertNever(prop, "Unexpected syntax kind:" + prop.kind);
+            Debug.assertNever(prop, "Unexpected syntax kind:" + prop.kind);
         }
         if (!inDestructuring) {
           const effectiveName = getEffectivePropertyNameForPropertyNameNode(name);
@@ -125515,7 +125482,7 @@ ${lanes.join("\n")}
       case 0 /* Ok */:
         return Debug.fail();
       default:
-        throw Debug.assertNever(result);
+        Debug.assertNever(result);
     }
   }
   var unprefixedNodeCoreModuleList, prefixedNodeCoreModuleList, nodeCoreModuleList, nodeCoreModules, NameValidationResult, maxPackageNameLength;
@@ -147015,7 +146982,7 @@ ${lanes.join("\n")}
       /*checkArgumentIsStringLiteralLike*/
       true
     )) {
-      throw Debug.failBadSyntaxKind(parent2);
+      Debug.failBadSyntaxKind(parent2);
     }
     const decl = cast(parent2.parent, isVariableDeclaration);
     const defaultImportName = tryCast(decl.name, isIdentifier);
@@ -148894,7 +148861,7 @@ ${lanes.join("\n")}
   }
   function getInsertTextAndReplacementSpanForImportCompletion(name, importStatementCompletion, origin, useSemicolons, sourceFile, options, preferences) {
     const replacementSpan = importStatementCompletion.replacementSpan;
-    const quotedModuleSpecifier = quote(sourceFile, preferences, escapeSnippetText(origin.moduleSpecifier));
+    const quotedModuleSpecifier = escapeSnippetText(quote(sourceFile, preferences, origin.moduleSpecifier));
     const exportKind = origin.isDefaultExport ? 1 /* Default */ : origin.exportName === "export=" /* ExportEquals */ ? 2 /* ExportEquals */ : 0 /* Named */;
     const tabStop = preferences.includeCompletionsWithSnippetText ? "$1" : "";
     const importKind = ts_codefix_exports.getImportKind(
@@ -160631,7 +160598,7 @@ ${newComment.split("\n").map((c) => ` * ${c}`).join("\n")}
       case 176 /* SetAccessor */:
         return `'set ${scope.name.getText()}'`;
       default:
-        throw Debug.assertNever(scope, `Unexpected scope kind ${scope.kind}`);
+        Debug.assertNever(scope, `Unexpected scope kind ${scope.kind}`);
     }
   }
   function getDescriptionForClassLikeDeclaration(scope) {

package/lib/typescript.d.ts

@@ -3198,7 +3198,6 @@ declare namespace ts {
         strictBindCallApply?: boolean;
         strictNullChecks?: boolean;
         strictPropertyInitialization?: boolean;
-        strictInstanceOfTypeParameters?: boolean;
         stripInternal?: boolean;
         suppressExcessPropertyErrors?: boolean;
         suppressImplicitAnyIndexErrors?: boolean;

package/lib/typescript.js

@@ -35,7 +35,7 @@ var ts = (() => {
     "src/compiler/corePublic.ts"() {
       "use strict";
       versionMajorMinor = "5.1";
-      version = `${versionMajorMinor}.0-insiders.20230321`;
+      version = `${versionMajorMinor}.0-insiders.20230322`;
       Comparison = /* @__PURE__ */ ((Comparison3) => {
         Comparison3[Comparison3["LessThan"] = -1] = "LessThan";
         Comparison3[Comparison3["EqualTo"] = 0] = "EqualTo";
@@ -8623,7 +8623,6 @@ ${lanes.join("\n")}
         Specify_emit_Slashchecking_behavior_for_imports_that_are_only_used_for_types: diag(6718, 3 /* Message */, "Specify_emit_Slashchecking_behavior_for_imports_that_are_only_used_for_types_6718", "Specify emit/checking behavior for imports that are only used for types."),
         Default_catch_clause_variables_as_unknown_instead_of_any: diag(6803, 3 /* Message */, "Default_catch_clause_variables_as_unknown_instead_of_any_6803", "Default catch clause variables as 'unknown' instead of 'any'."),
         Do_not_transform_or_elide_any_imports_or_exports_not_marked_as_type_only_ensuring_they_are_written_in_the_output_file_s_format_based_on_the_module_setting: diag(6804, 3 /* Message */, "Do_not_transform_or_elide_any_imports_or_exports_not_marked_as_type_only_ensuring_they_are_written_i_6804", "Do not transform or elide any imports or exports not marked as type-only, ensuring they are written in the output file's format based on the 'module' setting."),
-        Default_type_arguments_to_parameter_constraint_or_unknown_instead_of_any_for_instance_checks: diag(6805, 3 /* Message */, "Default_type_arguments_to_parameter_constraint_or_unknown_instead_of_any_for_instance_checks_6805", "Default type arguments to parameter constraint or 'unknown' instead of 'any' for instance checks."),
         one_of_Colon: diag(6900, 3 /* Message */, "one_of_Colon_6900", "one of:"),
         one_or_more_Colon: diag(6901, 3 /* Message */, "one_or_more_Colon_6901", "one or more:"),
         type_Colon: diag(6902, 3 /* Message */, "type_Colon_6902", "type:"),
@@ -14160,9 +14159,8 @@ ${lanes.join("\n")}
             return node === parent2.type;
           case 211 /* CallExpression */:
           case 212 /* NewExpression */:
-            return contains(parent2.typeArguments, node);
           case 213 /* TaggedTemplateExpression */:
-            return false;
+            return contains(parent2.typeArguments, node);
         }
       }
     }
@@ -37735,16 +37733,6 @@ ${lanes.join("\n")}
           description: Diagnostics.Default_catch_clause_variables_as_unknown_instead_of_any,
           defaultValueDescription: false
         },
-        {
-          name: "strictInstanceOfTypeParameters",
-          type: "boolean",
-          affectsSemanticDiagnostics: true,
-          affectsBuildInfo: true,
-          strictFlag: true,
-          category: Diagnostics.Type_Checking,
-          description: Diagnostics.Default_type_arguments_to_parameter_constraint_or_unknown_instead_of_any_for_instance_checks,
-          defaultValueDescription: false
-        },
         {
           name: "alwaysStrict",
           type: "boolean",
@@ -37963,6 +37951,7 @@ ${lanes.join("\n")}
           name: "allowImportingTsExtensions",
           type: "boolean",
           affectsSemanticDiagnostics: true,
+          affectsBuildInfo: true,
           category: Diagnostics.Modules,
           description: Diagnostics.Allow_imports_to_include_TypeScript_file_extensions_Requires_moduleResolution_bundler_and_either_noEmit_or_emitDeclarationOnly_to_be_set,
           defaultValueDescription: false
@@ -44984,7 +44973,6 @@ ${lanes.join("\n")}
     var noImplicitAny = getStrictOptionValue(compilerOptions, "noImplicitAny");
     var noImplicitThis = getStrictOptionValue(compilerOptions, "noImplicitThis");
     var useUnknownInCatchVariables = getStrictOptionValue(compilerOptions, "useUnknownInCatchVariables");
-    var strictInstanceOfTypeParameters = true;
     var keyofStringsOnly = !!compilerOptions.keyofStringsOnly;
     var defaultIndexFlags = keyofStringsOnly ? 1 /* StringsOnly */ : 0 /* None */;
     var freshObjectLiteralFlag = compilerOptions.suppressExcessPropertyErrors ? 0 : 8192 /* FreshLiteral */;
@@ -47929,7 +47917,7 @@ ${lanes.join("\n")}
           return void 0;
         }
       } else {
-        throw Debug.assertNever(name, "Unknown entity name kind.");
+        Debug.assertNever(name, "Unknown entity name kind.");
       }
       Debug.assert((getCheckFlags(symbol) & 1 /* Instantiated */) === 0, "Should never get an instantiated symbol here.");
       if (!nodeIsSynthesized(name) && isEntityName(name) && (symbol.flags & 2097152 /* Alias */ || name.parent.kind === 275 /* ExportAssignment */)) {
@@ -52958,30 +52946,9 @@ ${lanes.join("\n")}
         }
       }).parent;
     }
-    function getInstanceTypeOfClassSymbol(classSymbol) {
-      const classType = getDeclaredTypeOfSymbol(classSymbol);
-      const objectFlags = getObjectFlags(classType);
-      if (!(objectFlags & 3 /* ClassOrInterface */) || !classType.typeParameters) {
-        return classType;
-      }
-      const variances = getVariances(classType);
-      const typeArguments = map(classType.typeParameters, (typeParameter, i) => {
-        if (!strictInstanceOfTypeParameters) {
-          return anyType;
-        }
-        const variance = variances[i];
-        switch (variance & 7 /* VarianceMask */) {
-          case 2 /* Contravariant */:
-          case 3 /* Bivariant */:
-            return neverType;
-        }
-        return getBaseConstraintOfType(typeParameter) || unknownType;
-      });
-      return createTypeReference(classType, typeArguments);
-    }
     function getTypeOfPrototypeProperty(prototype) {
-      const classSymbol = getParentOfSymbol(prototype);
-      return getInstanceTypeOfClassSymbol(classSymbol);
+      const classType = getDeclaredTypeOfSymbol(getParentOfSymbol(prototype));
+      return classType.typeParameters ? createTypeReference(classType, map(classType.typeParameters, (_) => anyType)) : classType;
     }
     function getTypeOfPropertyOfType(type, name) {
       const prop = getPropertyOfType(type, name);
@@ -58796,7 +58763,7 @@ ${lanes.join("\n")}
             links.resolvedType = getTypeFromTypeNode(node.type);
             break;
           default:
-            throw Debug.assertNever(node.operator);
+            Debug.assertNever(node.operator);
         }
       }
       return links.resolvedType;
@@ -63794,7 +63761,7 @@ ${lanes.join("\n")}
         const targetHasStringIndex = some(indexInfos, (info) => info.keyType === stringType);
         let result2 = -1 /* True */;
         for (const targetInfo of indexInfos) {
-          const related = !sourceIsPrimitive && targetHasStringIndex && targetInfo.type.flags & 1 /* Any */ ? -1 /* True */ : isGenericMappedType(source2) && targetHasStringIndex ? isRelatedTo(getTemplateTypeFromMappedType(source2), targetInfo.type, 3 /* Both */, reportErrors2) : typeRelatedToIndexInfo(source2, targetInfo, reportErrors2, intersectionState);
+          const related = relation !== strictSubtypeRelation && !sourceIsPrimitive && targetHasStringIndex && targetInfo.type.flags & 1 /* Any */ ? -1 /* True */ : isGenericMappedType(source2) && targetHasStringIndex ? isRelatedTo(getTemplateTypeFromMappedType(source2), targetInfo.type, 3 /* Both */, reportErrors2) : typeRelatedToIndexInfo(source2, targetInfo, reportErrors2, intersectionState);
           if (!related) {
             return 0 /* False */;
           }
@@ -67461,8 +67428,8 @@ ${lanes.join("\n")}
         if (symbol === void 0) {
           return type;
         }
-        const classSymbol = getParentOfSymbol(symbol);
-        const targetType = hasStaticModifier(Debug.checkDefined(symbol.valueDeclaration, "should always have a declaration")) ? getTypeOfSymbol(classSymbol) : getInstanceTypeOfClassSymbol(classSymbol);
+        const classSymbol = symbol.parent;
+        const targetType = hasStaticModifier(Debug.checkDefined(symbol.valueDeclaration, "should always have a declaration")) ? getTypeOfSymbol(classSymbol) : getDeclaredTypeOfSymbol(classSymbol);
         return getNarrowedType(
           type,
           targetType,
@@ -73094,7 +73061,7 @@ ${lanes.join("\n")}
         case 283 /* JsxSelfClosingElement */:
           return resolveJsxOpeningLikeElement(node, candidatesOutArray, checkMode);
       }
-      throw Debug.assertNever(node, "Branch in 'resolveSignature' should be unreachable.");
+      Debug.assertNever(node, "Branch in 'resolveSignature' should be unreachable.");
     }
     function getResolvedSignature(node, candidatesOutArray, checkMode) {
       const links = getNodeLinks(node);
@@ -84369,7 +84336,7 @@ ${lanes.join("\n")}
             currentKind = 2 /* SetAccessor */;
             break;
           default:
-            throw Debug.assertNever(prop, "Unexpected syntax kind:" + prop.kind);
+            Debug.assertNever(prop, "Unexpected syntax kind:" + prop.kind);
         }
         if (!inDestructuring) {
           const effectiveName = getEffectivePropertyNameForPropertyNameNode(name);
@@ -125515,7 +125482,7 @@ ${lanes.join("\n")}
       case 0 /* Ok */:
         return Debug.fail();
       default:
-        throw Debug.assertNever(result);
+        Debug.assertNever(result);
     }
   }
   var unprefixedNodeCoreModuleList, prefixedNodeCoreModuleList, nodeCoreModuleList, nodeCoreModules, NameValidationResult, maxPackageNameLength;
@@ -147029,7 +146996,7 @@ ${lanes.join("\n")}
       /*checkArgumentIsStringLiteralLike*/
       true
     )) {
-      throw Debug.failBadSyntaxKind(parent2);
+      Debug.failBadSyntaxKind(parent2);
     }
     const decl = cast(parent2.parent, isVariableDeclaration);
     const defaultImportName = tryCast(decl.name, isIdentifier);
@@ -148908,7 +148875,7 @@ ${lanes.join("\n")}
   }
   function getInsertTextAndReplacementSpanForImportCompletion(name, importStatementCompletion, origin, useSemicolons, sourceFile, options, preferences) {
     const replacementSpan = importStatementCompletion.replacementSpan;
-    const quotedModuleSpecifier = quote(sourceFile, preferences, escapeSnippetText(origin.moduleSpecifier));
+    const quotedModuleSpecifier = escapeSnippetText(quote(sourceFile, preferences, origin.moduleSpecifier));
     const exportKind = origin.isDefaultExport ? 1 /* Default */ : origin.exportName === "export=" /* ExportEquals */ ? 2 /* ExportEquals */ : 0 /* Named */;
     const tabStop = preferences.includeCompletionsWithSnippetText ? "$1" : "";
     const importKind = ts_codefix_exports.getImportKind(
@@ -160645,7 +160612,7 @@ ${newComment.split("\n").map((c) => ` * ${c}`).join("\n")}
       case 176 /* SetAccessor */:
         return `'set ${scope.name.getText()}'`;
       default:
-        throw Debug.assertNever(scope, `Unexpected scope kind ${scope.kind}`);
+        Debug.assertNever(scope, `Unexpected scope kind ${scope.kind}`);
     }
   }
   function getDescriptionForClassLikeDeclaration(scope) {

package/lib/typingsInstaller.js

@@ -54,7 +54,7 @@ var path = __toESM(require("path"));
 
 // src/compiler/corePublic.ts
 var versionMajorMinor = "5.1";
-var version = `${versionMajorMinor}.0-insiders.20230321`;
+var version = `${versionMajorMinor}.0-insiders.20230322`;
 
 // src/compiler/core.ts
 var emptyArray = [];
@@ -6693,7 +6693,6 @@ var Diagnostics = {
   Specify_emit_Slashchecking_behavior_for_imports_that_are_only_used_for_types: diag(6718, 3 /* Message */, "Specify_emit_Slashchecking_behavior_for_imports_that_are_only_used_for_types_6718", "Specify emit/checking behavior for imports that are only used for types."),
   Default_catch_clause_variables_as_unknown_instead_of_any: diag(6803, 3 /* Message */, "Default_catch_clause_variables_as_unknown_instead_of_any_6803", "Default catch clause variables as 'unknown' instead of 'any'."),
   Do_not_transform_or_elide_any_imports_or_exports_not_marked_as_type_only_ensuring_they_are_written_in_the_output_file_s_format_based_on_the_module_setting: diag(6804, 3 /* Message */, "Do_not_transform_or_elide_any_imports_or_exports_not_marked_as_type_only_ensuring_they_are_written_i_6804", "Do not transform or elide any imports or exports not marked as type-only, ensuring they are written in the output file's format based on the 'module' setting."),
-  Default_type_arguments_to_parameter_constraint_or_unknown_instead_of_any_for_instance_checks: diag(6805, 3 /* Message */, "Default_type_arguments_to_parameter_constraint_or_unknown_instead_of_any_for_instance_checks_6805", "Default type arguments to parameter constraint or 'unknown' instead of 'any' for instance checks."),
   one_of_Colon: diag(6900, 3 /* Message */, "one_of_Colon_6900", "one of:"),
   one_or_more_Colon: diag(6901, 3 /* Message */, "one_or_more_Colon_6901", "one or more:"),
   type_Colon: diag(6902, 3 /* Message */, "type_Colon_6902", "type:"),
@@ -25907,16 +25906,6 @@ var commandOptionsWithoutBuild = [
     description: Diagnostics.Default_catch_clause_variables_as_unknown_instead_of_any,
     defaultValueDescription: false
   },
-  {
-    name: "strictInstanceOfTypeParameters",
-    type: "boolean",
-    affectsSemanticDiagnostics: true,
-    affectsBuildInfo: true,
-    strictFlag: true,
-    category: Diagnostics.Type_Checking,
-    description: Diagnostics.Default_type_arguments_to_parameter_constraint_or_unknown_instead_of_any_for_instance_checks,
-    defaultValueDescription: false
-  },
   {
     name: "alwaysStrict",
     type: "boolean",
@@ -26135,6 +26124,7 @@ var commandOptionsWithoutBuild = [
     name: "allowImportingTsExtensions",
     type: "boolean",
     affectsSemanticDiagnostics: true,
+    affectsBuildInfo: true,
     category: Diagnostics.Modules,
     description: Diagnostics.Allow_imports_to_include_TypeScript_file_extensions_Requires_moduleResolution_bundler_and_either_noEmit_or_emitDeclarationOnly_to_be_set,
     defaultValueDescription: false
@@ -31364,7 +31354,7 @@ function renderPackageNameValidationFailureWorker(typing, result, name, isScopeN
     case 0 /* Ok */:
       return Debug.fail();
     default:
-      throw Debug.assertNever(result);
+      Debug.assertNever(result);
   }
 }
 

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-41",
+  "version": "5.1.0-pr-53388-13",
   "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": "30e1c3216ad5c9d403ef25217a94174ef7dd1340"
+  "gitHead": "c72d93382db27e5417bcf171839fd158a76c8431"
 }