@typescript-deploys/pr-build 5.0.0-pr-49218-12 → 5.0.0-pr-52180-7

This diff represents the content of publicly available package versions that have been released to one of the supported registries. The information contained in this diff is provided for informational purposes only and reflects changes between package versions as they appear in their respective public registries.
Files changed (5) hide show
  1. package/lib/tsc.js +2 -16
  2. package/lib/tsserver.js +2 -16
  3. package/lib/tsserverlibrary.js +2 -16
  4. package/lib/typescript.js +2 -16
  5. package/package.json +1 -1
package/lib/tsc.js CHANGED
@@ -57600,21 +57600,7 @@ function createTypeChecker(host) {
57600
57600
  const restIndex = sourceRestType || targetRestType ? paramCount - 1 : -1;
57601
57601
  for (let i = 0; i < paramCount; i++) {
57602
57602
  const sourceType = i === restIndex ? getRestTypeAtPosition(source, i) : tryGetTypeAtPosition(source, i);
57603
- let targetType = i === restIndex ? getRestTypeAtPosition(target, i) : tryGetTypeAtPosition(target, i);
57604
- if (i === restIndex && targetType && sourceType && isTupleType(sourceType)) {
57605
- targetType = mapType(targetType, (t) => {
57606
- if (!isTupleType(t) || isTypeIdenticalTo(sourceType, t)) {
57607
- return t;
57608
- }
57609
- const elementTypes = [];
57610
- const elementFlags = [];
57611
- for (let i2 = 0; i2 < getTypeReferenceArity(sourceType); i2++) {
57612
- elementTypes.push(getTupleElementType(t, i2));
57613
- elementFlags.push(sourceType.target.elementFlags[i2]);
57614
- }
57615
- return createTupleType(elementTypes, elementFlags);
57616
- });
57617
- }
57603
+ const targetType = i === restIndex ? getRestTypeAtPosition(target, i) : tryGetTypeAtPosition(target, i);
57618
57604
  if (sourceType && targetType) {
57619
57605
  const sourceSig = checkMode & 3 /* Callback */ ? void 0 : getSingleCallSignature(getNonNullableType(sourceType));
57620
57606
  const targetSig = checkMode & 3 /* Callback */ ? void 0 : getSingleCallSignature(getNonNullableType(targetType));
@@ -62074,7 +62060,7 @@ function createTypeChecker(host) {
62074
62060
  if (signature) {
62075
62061
  const inferredCovariantType = inference.candidates ? getCovariantInference(inference, signature) : void 0;
62076
62062
  if (inference.contraCandidates) {
62077
- const useCovariantType = inferredCovariantType && !(inferredCovariantType.flags & 131072 /* Never */) && some(inference.contraCandidates, (t) => isTypeSubtypeOf(inferredCovariantType, t)) && every(context.inferences, (other) => other === inference || getConstraintOfTypeParameter(other.typeParameter) !== inference.typeParameter || every(other.candidates, (t) => isTypeSubtypeOf(t, inferredCovariantType)));
62063
+ const useCovariantType = inferredCovariantType && !(inferredCovariantType.flags & 131072 /* Never */) && some(inference.contraCandidates, (t) => isTypeSubtypeOf(inferredCovariantType, t)) && every(context.inferences, (other) => other !== inference && getConstraintOfTypeParameter(other.typeParameter) !== inference.typeParameter || every(other.candidates, (t) => isTypeSubtypeOf(t, inferredCovariantType)));
62078
62064
  inferredType = useCovariantType ? inferredCovariantType : getContravariantInference(inference);
62079
62065
  } else if (inferredCovariantType) {
62080
62066
  inferredType = inferredCovariantType;
package/lib/tsserver.js CHANGED
@@ -62506,21 +62506,7 @@ function createTypeChecker(host) {
62506
62506
  const restIndex = sourceRestType || targetRestType ? paramCount - 1 : -1;
62507
62507
  for (let i = 0; i < paramCount; i++) {
62508
62508
  const sourceType = i === restIndex ? getRestTypeAtPosition(source, i) : tryGetTypeAtPosition(source, i);
62509
- let targetType = i === restIndex ? getRestTypeAtPosition(target, i) : tryGetTypeAtPosition(target, i);
62510
- if (i === restIndex && targetType && sourceType && isTupleType(sourceType)) {
62511
- targetType = mapType(targetType, (t) => {
62512
- if (!isTupleType(t) || isTypeIdenticalTo(sourceType, t)) {
62513
- return t;
62514
- }
62515
- const elementTypes = [];
62516
- const elementFlags = [];
62517
- for (let i2 = 0; i2 < getTypeReferenceArity(sourceType); i2++) {
62518
- elementTypes.push(getTupleElementType(t, i2));
62519
- elementFlags.push(sourceType.target.elementFlags[i2]);
62520
- }
62521
- return createTupleType(elementTypes, elementFlags);
62522
- });
62523
- }
62509
+ const targetType = i === restIndex ? getRestTypeAtPosition(target, i) : tryGetTypeAtPosition(target, i);
62524
62510
  if (sourceType && targetType) {
62525
62511
  const sourceSig = checkMode & 3 /* Callback */ ? void 0 : getSingleCallSignature(getNonNullableType(sourceType));
62526
62512
  const targetSig = checkMode & 3 /* Callback */ ? void 0 : getSingleCallSignature(getNonNullableType(targetType));
@@ -66980,7 +66966,7 @@ function createTypeChecker(host) {
66980
66966
  if (signature) {
66981
66967
  const inferredCovariantType = inference.candidates ? getCovariantInference(inference, signature) : void 0;
66982
66968
  if (inference.contraCandidates) {
66983
- const useCovariantType = inferredCovariantType && !(inferredCovariantType.flags & 131072 /* Never */) && some(inference.contraCandidates, (t) => isTypeSubtypeOf(inferredCovariantType, t)) && every(context.inferences, (other) => other === inference || getConstraintOfTypeParameter(other.typeParameter) !== inference.typeParameter || every(other.candidates, (t) => isTypeSubtypeOf(t, inferredCovariantType)));
66969
+ const useCovariantType = inferredCovariantType && !(inferredCovariantType.flags & 131072 /* Never */) && some(inference.contraCandidates, (t) => isTypeSubtypeOf(inferredCovariantType, t)) && every(context.inferences, (other) => other !== inference && getConstraintOfTypeParameter(other.typeParameter) !== inference.typeParameter || every(other.candidates, (t) => isTypeSubtypeOf(t, inferredCovariantType)));
66984
66970
  inferredType = useCovariantType ? inferredCovariantType : getContravariantInference(inference);
66985
66971
  } else if (inferredCovariantType) {
66986
66972
  inferredType = inferredCovariantType;
package/lib/tsserverlibrary.js CHANGED
@@ -59949,21 +59949,7 @@ ${lanes.join("\n")}
59949
59949
  const restIndex = sourceRestType || targetRestType ? paramCount - 1 : -1;
59950
59950
  for (let i = 0; i < paramCount; i++) {
59951
59951
  const sourceType = i === restIndex ? getRestTypeAtPosition(source, i) : tryGetTypeAtPosition(source, i);
59952
- let targetType = i === restIndex ? getRestTypeAtPosition(target, i) : tryGetTypeAtPosition(target, i);
59953
- if (i === restIndex && targetType && sourceType && isTupleType(sourceType)) {
59954
- targetType = mapType(targetType, (t) => {
59955
- if (!isTupleType(t) || isTypeIdenticalTo(sourceType, t)) {
59956
- return t;
59957
- }
59958
- const elementTypes = [];
59959
- const elementFlags = [];
59960
- for (let i2 = 0; i2 < getTypeReferenceArity(sourceType); i2++) {
59961
- elementTypes.push(getTupleElementType(t, i2));
59962
- elementFlags.push(sourceType.target.elementFlags[i2]);
59963
- }
59964
- return createTupleType(elementTypes, elementFlags);
59965
- });
59966
- }
59952
+ const targetType = i === restIndex ? getRestTypeAtPosition(target, i) : tryGetTypeAtPosition(target, i);
59967
59953
  if (sourceType && targetType) {
59968
59954
  const sourceSig = checkMode & 3 /* Callback */ ? void 0 : getSingleCallSignature(getNonNullableType(sourceType));
59969
59955
  const targetSig = checkMode & 3 /* Callback */ ? void 0 : getSingleCallSignature(getNonNullableType(targetType));
@@ -64423,7 +64409,7 @@ ${lanes.join("\n")}
64423
64409
  if (signature) {
64424
64410
  const inferredCovariantType = inference.candidates ? getCovariantInference(inference, signature) : void 0;
64425
64411
  if (inference.contraCandidates) {
64426
- const useCovariantType = inferredCovariantType && !(inferredCovariantType.flags & 131072 /* Never */) && some(inference.contraCandidates, (t) => isTypeSubtypeOf(inferredCovariantType, t)) && every(context.inferences, (other) => other === inference || getConstraintOfTypeParameter(other.typeParameter) !== inference.typeParameter || every(other.candidates, (t) => isTypeSubtypeOf(t, inferredCovariantType)));
64412
+ const useCovariantType = inferredCovariantType && !(inferredCovariantType.flags & 131072 /* Never */) && some(inference.contraCandidates, (t) => isTypeSubtypeOf(inferredCovariantType, t)) && every(context.inferences, (other) => other !== inference && getConstraintOfTypeParameter(other.typeParameter) !== inference.typeParameter || every(other.candidates, (t) => isTypeSubtypeOf(t, inferredCovariantType)));
64427
64413
  inferredType = useCovariantType ? inferredCovariantType : getContravariantInference(inference);
64428
64414
  } else if (inferredCovariantType) {
64429
64415
  inferredType = inferredCovariantType;
package/lib/typescript.js CHANGED
@@ -59949,21 +59949,7 @@ ${lanes.join("\n")}
59949
59949
  const restIndex = sourceRestType || targetRestType ? paramCount - 1 : -1;
59950
59950
  for (let i = 0; i < paramCount; i++) {
59951
59951
  const sourceType = i === restIndex ? getRestTypeAtPosition(source, i) : tryGetTypeAtPosition(source, i);
59952
- let targetType = i === restIndex ? getRestTypeAtPosition(target, i) : tryGetTypeAtPosition(target, i);
59953
- if (i === restIndex && targetType && sourceType && isTupleType(sourceType)) {
59954
- targetType = mapType(targetType, (t) => {
59955
- if (!isTupleType(t) || isTypeIdenticalTo(sourceType, t)) {
59956
- return t;
59957
- }
59958
- const elementTypes = [];
59959
- const elementFlags = [];
59960
- for (let i2 = 0; i2 < getTypeReferenceArity(sourceType); i2++) {
59961
- elementTypes.push(getTupleElementType(t, i2));
59962
- elementFlags.push(sourceType.target.elementFlags[i2]);
59963
- }
59964
- return createTupleType(elementTypes, elementFlags);
59965
- });
59966
- }
59952
+ const targetType = i === restIndex ? getRestTypeAtPosition(target, i) : tryGetTypeAtPosition(target, i);
59967
59953
  if (sourceType && targetType) {
59968
59954
  const sourceSig = checkMode & 3 /* Callback */ ? void 0 : getSingleCallSignature(getNonNullableType(sourceType));
59969
59955
  const targetSig = checkMode & 3 /* Callback */ ? void 0 : getSingleCallSignature(getNonNullableType(targetType));
@@ -64423,7 +64409,7 @@ ${lanes.join("\n")}
64423
64409
  if (signature) {
64424
64410
  const inferredCovariantType = inference.candidates ? getCovariantInference(inference, signature) : void 0;
64425
64411
  if (inference.contraCandidates) {
64426
- const useCovariantType = inferredCovariantType && !(inferredCovariantType.flags & 131072 /* Never */) && some(inference.contraCandidates, (t) => isTypeSubtypeOf(inferredCovariantType, t)) && every(context.inferences, (other) => other === inference || getConstraintOfTypeParameter(other.typeParameter) !== inference.typeParameter || every(other.candidates, (t) => isTypeSubtypeOf(t, inferredCovariantType)));
64412
+ const useCovariantType = inferredCovariantType && !(inferredCovariantType.flags & 131072 /* Never */) && some(inference.contraCandidates, (t) => isTypeSubtypeOf(inferredCovariantType, t)) && every(context.inferences, (other) => other !== inference && getConstraintOfTypeParameter(other.typeParameter) !== inference.typeParameter || every(other.candidates, (t) => isTypeSubtypeOf(t, inferredCovariantType)));
64427
64413
  inferredType = useCovariantType ? inferredCovariantType : getContravariantInference(inference);
64428
64414
  } else if (inferredCovariantType) {
64429
64415
  inferredType = inferredCovariantType;
package/package.json CHANGED
@@ -2,7 +2,7 @@
2
2
  "name": "@typescript-deploys/pr-build",
3
3
  "author": "Microsoft Corp.",
4
4
  "homepage": "https://www.typescriptlang.org/",
5
- "version": "5.0.0-pr-49218-12",
5
+ "version": "5.0.0-pr-52180-7",
6
6
  "license": "Apache-2.0",
7
7
  "description": "TypeScript is a language for application scale JavaScript development",
8
8
  "keywords": [