typescript 5.1.0-dev.20230316 → 5.1.0-dev.20230317

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.
package/lib/tsc.js CHANGED
@@ -23,7 +23,7 @@ var __export = (target, all) => {
23
23
 
24
24
  // src/compiler/corePublic.ts
25
25
  var versionMajorMinor = "5.1";
26
- var version = `${versionMajorMinor}.0-dev.20230316`;
26
+ var version = `${versionMajorMinor}.0-dev.20230317`;
27
27
 
28
28
  // src/compiler/core.ts
29
29
  var emptyArray = [];
@@ -58635,8 +58635,20 @@ function createTypeChecker(host) {
58635
58635
  return result;
58636
58636
  }
58637
58637
  const moreThanOneRealChildren = length(validChildren) > 1;
58638
- const arrayLikeTargetParts = filterType(childrenTargetType, isAssignableToAvailableAnyIterable);
58639
- const nonArrayLikeTargetParts = filterType(childrenTargetType, (t) => !isAssignableToAvailableAnyIterable(t));
58638
+ let arrayLikeTargetParts;
58639
+ let nonArrayLikeTargetParts;
58640
+ const iterableType = getGlobalIterableType(
58641
+ /*reportErrors*/
58642
+ false
58643
+ );
58644
+ if (iterableType !== emptyGenericType) {
58645
+ const anyIterable = createIterableType(anyType);
58646
+ arrayLikeTargetParts = filterType(childrenTargetType, (t) => isTypeAssignableTo(t, anyIterable));
58647
+ nonArrayLikeTargetParts = filterType(childrenTargetType, (t) => !isTypeAssignableTo(t, anyIterable));
58648
+ } else {
58649
+ arrayLikeTargetParts = filterType(childrenTargetType, isArrayOrTupleLikeType);
58650
+ nonArrayLikeTargetParts = filterType(childrenTargetType, (t) => !isArrayOrTupleLikeType(t));
58651
+ }
58640
58652
  if (moreThanOneRealChildren) {
58641
58653
  if (arrayLikeTargetParts !== neverType) {
58642
58654
  const realSource = createTupleType(checkJsxChildren(containingElement, 0 /* Normal */));
@@ -61916,13 +61928,6 @@ function createTypeChecker(host) {
61916
61928
  function isArrayOrTupleLikeType(type) {
61917
61929
  return isArrayLikeType(type) || isTupleLikeType(type);
61918
61930
  }
61919
- function isAssignableToAvailableAnyIterable(type) {
61920
- const anyIterable = getGlobalIterableType(
61921
- /*reportErrors*/
61922
- false
61923
- ) !== emptyGenericType && createIterableType(anyType);
61924
- return anyIterable ? isTypeAssignableTo(type, anyIterable) : isArrayOrTupleLikeType(type);
61925
- }
61926
61931
  function getTupleElementType(type, index) {
61927
61932
  const propType = getTypeOfPropertyOfType(type, "" + index);
61928
61933
  if (propType) {
@@ -66520,7 +66525,7 @@ function createTypeChecker(host) {
66520
66525
  return void 0;
66521
66526
  }
66522
66527
  }
66523
- return isInJSFile(decl2) ? void 0 : getTypeOfExpression(binaryExpression.left);
66528
+ return isInJSFile(decl2) || decl2 === binaryExpression.left ? void 0 : getTypeOfExpression(binaryExpression.left);
66524
66529
  }
66525
66530
  case 1 /* ExportsProperty */:
66526
66531
  case 6 /* Prototype */:
@@ -66676,7 +66681,7 @@ function createTypeChecker(host) {
66676
66681
  return void 0;
66677
66682
  }
66678
66683
  function getContextualTypeForElementExpression(arrayContextualType, index) {
66679
- return arrayContextualType && (index >= 0 && getTypeOfPropertyOfContextualType(filterType(arrayContextualType, (t) => !!getIndexTypeOfType(t, numberType) || isAssignableToAvailableAnyIterable(t)), "" + index) || mapType(
66684
+ return arrayContextualType && (index >= 0 && getTypeOfPropertyOfContextualType(arrayContextualType, "" + index) || mapType(
66680
66685
  arrayContextualType,
66681
66686
  (t) => isTupleType(t) ? getElementTypeOfSliceOfTupleType(
66682
66687
  t,
@@ -67418,7 +67423,7 @@ function createTypeChecker(host) {
67418
67423
  const inConstContext = isConstContext(node);
67419
67424
  const checkFlags = inConstContext ? 8 /* Readonly */ : 0;
67420
67425
  const isInJavascript = isInJSFile(node) && !isInJsonFile(node);
67421
- const enumTag = getJSDocEnumTag(node);
67426
+ const enumTag = isInJavascript ? getJSDocEnumTag(node) : void 0;
67422
67427
  const isJSObjectLiteral = !contextualType && isInJavascript && !enumTag;
67423
67428
  let objectFlags = freshObjectLiteralFlag;
67424
67429
  let patternWithComputedProperties = false;
@@ -72175,6 +72180,11 @@ function createTypeChecker(host) {
72175
72180
  } else {
72176
72181
  assignNonContextualParameterTypes(signature);
72177
72182
  }
72183
+ } else if (contextualSignature && !node.typeParameters && contextualSignature.parameters.length > node.parameters.length) {
72184
+ const inferenceContext = getInferenceContext(node);
72185
+ if (checkMode && checkMode & 2 /* Inferential */) {
72186
+ inferFromAnnotatedParameters(signature, contextualSignature, inferenceContext);
72187
+ }
72178
72188
  }
72179
72189
  if (contextualSignature && !getReturnTypeFromAnnotation(node) && !signature.resolvedReturnType) {
72180
72190
  const returnType = getReturnTypeFromBody(node, checkMode);
package/lib/tsserver.js CHANGED
@@ -2285,7 +2285,7 @@ module.exports = __toCommonJS(server_exports);
2285
2285
 
2286
2286
  // src/compiler/corePublic.ts
2287
2287
  var versionMajorMinor = "5.1";
2288
- var version = `${versionMajorMinor}.0-dev.20230316`;
2288
+ var version = `${versionMajorMinor}.0-dev.20230317`;
2289
2289
  var Comparison = /* @__PURE__ */ ((Comparison3) => {
2290
2290
  Comparison3[Comparison3["LessThan"] = -1] = "LessThan";
2291
2291
  Comparison3[Comparison3["EqualTo"] = 0] = "EqualTo";
@@ -63232,8 +63232,20 @@ function createTypeChecker(host) {
63232
63232
  return result;
63233
63233
  }
63234
63234
  const moreThanOneRealChildren = length(validChildren) > 1;
63235
- const arrayLikeTargetParts = filterType(childrenTargetType, isAssignableToAvailableAnyIterable);
63236
- const nonArrayLikeTargetParts = filterType(childrenTargetType, (t) => !isAssignableToAvailableAnyIterable(t));
63235
+ let arrayLikeTargetParts;
63236
+ let nonArrayLikeTargetParts;
63237
+ const iterableType = getGlobalIterableType(
63238
+ /*reportErrors*/
63239
+ false
63240
+ );
63241
+ if (iterableType !== emptyGenericType) {
63242
+ const anyIterable = createIterableType(anyType);
63243
+ arrayLikeTargetParts = filterType(childrenTargetType, (t) => isTypeAssignableTo(t, anyIterable));
63244
+ nonArrayLikeTargetParts = filterType(childrenTargetType, (t) => !isTypeAssignableTo(t, anyIterable));
63245
+ } else {
63246
+ arrayLikeTargetParts = filterType(childrenTargetType, isArrayOrTupleLikeType);
63247
+ nonArrayLikeTargetParts = filterType(childrenTargetType, (t) => !isArrayOrTupleLikeType(t));
63248
+ }
63237
63249
  if (moreThanOneRealChildren) {
63238
63250
  if (arrayLikeTargetParts !== neverType) {
63239
63251
  const realSource = createTupleType(checkJsxChildren(containingElement, 0 /* Normal */));
@@ -66513,13 +66525,6 @@ function createTypeChecker(host) {
66513
66525
  function isArrayOrTupleLikeType(type) {
66514
66526
  return isArrayLikeType(type) || isTupleLikeType(type);
66515
66527
  }
66516
- function isAssignableToAvailableAnyIterable(type) {
66517
- const anyIterable = getGlobalIterableType(
66518
- /*reportErrors*/
66519
- false
66520
- ) !== emptyGenericType && createIterableType(anyType);
66521
- return anyIterable ? isTypeAssignableTo(type, anyIterable) : isArrayOrTupleLikeType(type);
66522
- }
66523
66528
  function getTupleElementType(type, index) {
66524
66529
  const propType = getTypeOfPropertyOfType(type, "" + index);
66525
66530
  if (propType) {
@@ -71117,7 +71122,7 @@ function createTypeChecker(host) {
71117
71122
  return void 0;
71118
71123
  }
71119
71124
  }
71120
- return isInJSFile(decl2) ? void 0 : getTypeOfExpression(binaryExpression.left);
71125
+ return isInJSFile(decl2) || decl2 === binaryExpression.left ? void 0 : getTypeOfExpression(binaryExpression.left);
71121
71126
  }
71122
71127
  case 1 /* ExportsProperty */:
71123
71128
  case 6 /* Prototype */:
@@ -71273,7 +71278,7 @@ function createTypeChecker(host) {
71273
71278
  return void 0;
71274
71279
  }
71275
71280
  function getContextualTypeForElementExpression(arrayContextualType, index) {
71276
- return arrayContextualType && (index >= 0 && getTypeOfPropertyOfContextualType(filterType(arrayContextualType, (t) => !!getIndexTypeOfType(t, numberType) || isAssignableToAvailableAnyIterable(t)), "" + index) || mapType(
71281
+ return arrayContextualType && (index >= 0 && getTypeOfPropertyOfContextualType(arrayContextualType, "" + index) || mapType(
71277
71282
  arrayContextualType,
71278
71283
  (t) => isTupleType(t) ? getElementTypeOfSliceOfTupleType(
71279
71284
  t,
@@ -72015,7 +72020,7 @@ function createTypeChecker(host) {
72015
72020
  const inConstContext = isConstContext(node);
72016
72021
  const checkFlags = inConstContext ? 8 /* Readonly */ : 0;
72017
72022
  const isInJavascript = isInJSFile(node) && !isInJsonFile(node);
72018
- const enumTag = getJSDocEnumTag(node);
72023
+ const enumTag = isInJavascript ? getJSDocEnumTag(node) : void 0;
72019
72024
  const isJSObjectLiteral = !contextualType && isInJavascript && !enumTag;
72020
72025
  let objectFlags = freshObjectLiteralFlag;
72021
72026
  let patternWithComputedProperties = false;
@@ -76772,6 +76777,11 @@ function createTypeChecker(host) {
76772
76777
  } else {
76773
76778
  assignNonContextualParameterTypes(signature);
76774
76779
  }
76780
+ } else if (contextualSignature && !node.typeParameters && contextualSignature.parameters.length > node.parameters.length) {
76781
+ const inferenceContext = getInferenceContext(node);
76782
+ if (checkMode && checkMode & 2 /* Inferential */) {
76783
+ inferFromAnnotatedParameters(signature, contextualSignature, inferenceContext);
76784
+ }
76775
76785
  }
76776
76786
  if (contextualSignature && !getReturnTypeFromAnnotation(node) && !signature.resolvedReturnType) {
76777
76787
  const returnType = getReturnTypeFromBody(node, checkMode);
@@ -35,7 +35,7 @@ var ts = (() => {
35
35
  "src/compiler/corePublic.ts"() {
36
36
  "use strict";
37
37
  versionMajorMinor = "5.1";
38
- version = `${versionMajorMinor}.0-dev.20230316`;
38
+ version = `${versionMajorMinor}.0-dev.20230317`;
39
39
  Comparison = /* @__PURE__ */ ((Comparison3) => {
40
40
  Comparison3[Comparison3["LessThan"] = -1] = "LessThan";
41
41
  Comparison3[Comparison3["EqualTo"] = 0] = "EqualTo";
@@ -61042,8 +61042,20 @@ ${lanes.join("\n")}
61042
61042
  return result;
61043
61043
  }
61044
61044
  const moreThanOneRealChildren = length(validChildren) > 1;
61045
- const arrayLikeTargetParts = filterType(childrenTargetType, isAssignableToAvailableAnyIterable);
61046
- const nonArrayLikeTargetParts = filterType(childrenTargetType, (t) => !isAssignableToAvailableAnyIterable(t));
61045
+ let arrayLikeTargetParts;
61046
+ let nonArrayLikeTargetParts;
61047
+ const iterableType = getGlobalIterableType(
61048
+ /*reportErrors*/
61049
+ false
61050
+ );
61051
+ if (iterableType !== emptyGenericType) {
61052
+ const anyIterable = createIterableType(anyType);
61053
+ arrayLikeTargetParts = filterType(childrenTargetType, (t) => isTypeAssignableTo(t, anyIterable));
61054
+ nonArrayLikeTargetParts = filterType(childrenTargetType, (t) => !isTypeAssignableTo(t, anyIterable));
61055
+ } else {
61056
+ arrayLikeTargetParts = filterType(childrenTargetType, isArrayOrTupleLikeType);
61057
+ nonArrayLikeTargetParts = filterType(childrenTargetType, (t) => !isArrayOrTupleLikeType(t));
61058
+ }
61047
61059
  if (moreThanOneRealChildren) {
61048
61060
  if (arrayLikeTargetParts !== neverType) {
61049
61061
  const realSource = createTupleType(checkJsxChildren(containingElement, 0 /* Normal */));
@@ -64323,13 +64335,6 @@ ${lanes.join("\n")}
64323
64335
  function isArrayOrTupleLikeType(type) {
64324
64336
  return isArrayLikeType(type) || isTupleLikeType(type);
64325
64337
  }
64326
- function isAssignableToAvailableAnyIterable(type) {
64327
- const anyIterable = getGlobalIterableType(
64328
- /*reportErrors*/
64329
- false
64330
- ) !== emptyGenericType && createIterableType(anyType);
64331
- return anyIterable ? isTypeAssignableTo(type, anyIterable) : isArrayOrTupleLikeType(type);
64332
- }
64333
64338
  function getTupleElementType(type, index) {
64334
64339
  const propType = getTypeOfPropertyOfType(type, "" + index);
64335
64340
  if (propType) {
@@ -68927,7 +68932,7 @@ ${lanes.join("\n")}
68927
68932
  return void 0;
68928
68933
  }
68929
68934
  }
68930
- return isInJSFile(decl2) ? void 0 : getTypeOfExpression(binaryExpression.left);
68935
+ return isInJSFile(decl2) || decl2 === binaryExpression.left ? void 0 : getTypeOfExpression(binaryExpression.left);
68931
68936
  }
68932
68937
  case 1 /* ExportsProperty */:
68933
68938
  case 6 /* Prototype */:
@@ -69083,7 +69088,7 @@ ${lanes.join("\n")}
69083
69088
  return void 0;
69084
69089
  }
69085
69090
  function getContextualTypeForElementExpression(arrayContextualType, index) {
69086
- return arrayContextualType && (index >= 0 && getTypeOfPropertyOfContextualType(filterType(arrayContextualType, (t) => !!getIndexTypeOfType(t, numberType) || isAssignableToAvailableAnyIterable(t)), "" + index) || mapType(
69091
+ return arrayContextualType && (index >= 0 && getTypeOfPropertyOfContextualType(arrayContextualType, "" + index) || mapType(
69087
69092
  arrayContextualType,
69088
69093
  (t) => isTupleType(t) ? getElementTypeOfSliceOfTupleType(
69089
69094
  t,
@@ -69825,7 +69830,7 @@ ${lanes.join("\n")}
69825
69830
  const inConstContext = isConstContext(node);
69826
69831
  const checkFlags = inConstContext ? 8 /* Readonly */ : 0;
69827
69832
  const isInJavascript = isInJSFile(node) && !isInJsonFile(node);
69828
- const enumTag = getJSDocEnumTag(node);
69833
+ const enumTag = isInJavascript ? getJSDocEnumTag(node) : void 0;
69829
69834
  const isJSObjectLiteral = !contextualType && isInJavascript && !enumTag;
69830
69835
  let objectFlags = freshObjectLiteralFlag;
69831
69836
  let patternWithComputedProperties = false;
@@ -74582,6 +74587,11 @@ ${lanes.join("\n")}
74582
74587
  } else {
74583
74588
  assignNonContextualParameterTypes(signature);
74584
74589
  }
74590
+ } else if (contextualSignature && !node.typeParameters && contextualSignature.parameters.length > node.parameters.length) {
74591
+ const inferenceContext = getInferenceContext(node);
74592
+ if (checkMode && checkMode & 2 /* Inferential */) {
74593
+ inferFromAnnotatedParameters(signature, contextualSignature, inferenceContext);
74594
+ }
74585
74595
  }
74586
74596
  if (contextualSignature && !getReturnTypeFromAnnotation(node) && !signature.resolvedReturnType) {
74587
74597
  const returnType = getReturnTypeFromBody(node, checkMode);
package/lib/typescript.js CHANGED
@@ -35,7 +35,7 @@ var ts = (() => {
35
35
  "src/compiler/corePublic.ts"() {
36
36
  "use strict";
37
37
  versionMajorMinor = "5.1";
38
- version = `${versionMajorMinor}.0-dev.20230316`;
38
+ version = `${versionMajorMinor}.0-dev.20230317`;
39
39
  Comparison = /* @__PURE__ */ ((Comparison3) => {
40
40
  Comparison3[Comparison3["LessThan"] = -1] = "LessThan";
41
41
  Comparison3[Comparison3["EqualTo"] = 0] = "EqualTo";
@@ -61042,8 +61042,20 @@ ${lanes.join("\n")}
61042
61042
  return result;
61043
61043
  }
61044
61044
  const moreThanOneRealChildren = length(validChildren) > 1;
61045
- const arrayLikeTargetParts = filterType(childrenTargetType, isAssignableToAvailableAnyIterable);
61046
- const nonArrayLikeTargetParts = filterType(childrenTargetType, (t) => !isAssignableToAvailableAnyIterable(t));
61045
+ let arrayLikeTargetParts;
61046
+ let nonArrayLikeTargetParts;
61047
+ const iterableType = getGlobalIterableType(
61048
+ /*reportErrors*/
61049
+ false
61050
+ );
61051
+ if (iterableType !== emptyGenericType) {
61052
+ const anyIterable = createIterableType(anyType);
61053
+ arrayLikeTargetParts = filterType(childrenTargetType, (t) => isTypeAssignableTo(t, anyIterable));
61054
+ nonArrayLikeTargetParts = filterType(childrenTargetType, (t) => !isTypeAssignableTo(t, anyIterable));
61055
+ } else {
61056
+ arrayLikeTargetParts = filterType(childrenTargetType, isArrayOrTupleLikeType);
61057
+ nonArrayLikeTargetParts = filterType(childrenTargetType, (t) => !isArrayOrTupleLikeType(t));
61058
+ }
61047
61059
  if (moreThanOneRealChildren) {
61048
61060
  if (arrayLikeTargetParts !== neverType) {
61049
61061
  const realSource = createTupleType(checkJsxChildren(containingElement, 0 /* Normal */));
@@ -64323,13 +64335,6 @@ ${lanes.join("\n")}
64323
64335
  function isArrayOrTupleLikeType(type) {
64324
64336
  return isArrayLikeType(type) || isTupleLikeType(type);
64325
64337
  }
64326
- function isAssignableToAvailableAnyIterable(type) {
64327
- const anyIterable = getGlobalIterableType(
64328
- /*reportErrors*/
64329
- false
64330
- ) !== emptyGenericType && createIterableType(anyType);
64331
- return anyIterable ? isTypeAssignableTo(type, anyIterable) : isArrayOrTupleLikeType(type);
64332
- }
64333
64338
  function getTupleElementType(type, index) {
64334
64339
  const propType = getTypeOfPropertyOfType(type, "" + index);
64335
64340
  if (propType) {
@@ -68927,7 +68932,7 @@ ${lanes.join("\n")}
68927
68932
  return void 0;
68928
68933
  }
68929
68934
  }
68930
- return isInJSFile(decl2) ? void 0 : getTypeOfExpression(binaryExpression.left);
68935
+ return isInJSFile(decl2) || decl2 === binaryExpression.left ? void 0 : getTypeOfExpression(binaryExpression.left);
68931
68936
  }
68932
68937
  case 1 /* ExportsProperty */:
68933
68938
  case 6 /* Prototype */:
@@ -69083,7 +69088,7 @@ ${lanes.join("\n")}
69083
69088
  return void 0;
69084
69089
  }
69085
69090
  function getContextualTypeForElementExpression(arrayContextualType, index) {
69086
- return arrayContextualType && (index >= 0 && getTypeOfPropertyOfContextualType(filterType(arrayContextualType, (t) => !!getIndexTypeOfType(t, numberType) || isAssignableToAvailableAnyIterable(t)), "" + index) || mapType(
69091
+ return arrayContextualType && (index >= 0 && getTypeOfPropertyOfContextualType(arrayContextualType, "" + index) || mapType(
69087
69092
  arrayContextualType,
69088
69093
  (t) => isTupleType(t) ? getElementTypeOfSliceOfTupleType(
69089
69094
  t,
@@ -69825,7 +69830,7 @@ ${lanes.join("\n")}
69825
69830
  const inConstContext = isConstContext(node);
69826
69831
  const checkFlags = inConstContext ? 8 /* Readonly */ : 0;
69827
69832
  const isInJavascript = isInJSFile(node) && !isInJsonFile(node);
69828
- const enumTag = getJSDocEnumTag(node);
69833
+ const enumTag = isInJavascript ? getJSDocEnumTag(node) : void 0;
69829
69834
  const isJSObjectLiteral = !contextualType && isInJavascript && !enumTag;
69830
69835
  let objectFlags = freshObjectLiteralFlag;
69831
69836
  let patternWithComputedProperties = false;
@@ -74582,6 +74587,11 @@ ${lanes.join("\n")}
74582
74587
  } else {
74583
74588
  assignNonContextualParameterTypes(signature);
74584
74589
  }
74590
+ } else if (contextualSignature && !node.typeParameters && contextualSignature.parameters.length > node.parameters.length) {
74591
+ const inferenceContext = getInferenceContext(node);
74592
+ if (checkMode && checkMode & 2 /* Inferential */) {
74593
+ inferFromAnnotatedParameters(signature, contextualSignature, inferenceContext);
74594
+ }
74585
74595
  }
74586
74596
  if (contextualSignature && !getReturnTypeFromAnnotation(node) && !signature.resolvedReturnType) {
74587
74597
  const returnType = getReturnTypeFromBody(node, checkMode);
@@ -54,7 +54,7 @@ var path = __toESM(require("path"));
54
54
 
55
55
  // src/compiler/corePublic.ts
56
56
  var versionMajorMinor = "5.1";
57
- var version = `${versionMajorMinor}.0-dev.20230316`;
57
+ var version = `${versionMajorMinor}.0-dev.20230317`;
58
58
 
59
59
  // src/compiler/core.ts
60
60
  var emptyArray = [];
package/package.json CHANGED
@@ -2,7 +2,7 @@
2
2
  "name": "typescript",
3
3
  "author": "Microsoft Corp.",
4
4
  "homepage": "https://www.typescriptlang.org/",
5
- "version": "5.1.0-dev.20230316",
5
+ "version": "5.1.0-dev.20230317",
6
6
  "license": "Apache-2.0",
7
7
  "description": "TypeScript is a language for application scale JavaScript development",
8
8
  "keywords": [
@@ -79,7 +79,7 @@
79
79
  "node-fetch": "^3.2.10",
80
80
  "source-map-support": "^0.5.21",
81
81
  "tslib": "^2.5.0",
82
- "typescript": "5.0.1-rc",
82
+ "typescript": "^5.0.2",
83
83
  "which": "^2.0.2"
84
84
  },
85
85
  "overrides": {
@@ -113,5 +113,5 @@
113
113
  "node": "14.21.1",
114
114
  "npm": "8.19.3"
115
115
  },
116
- "gitHead": "7f292bf2a19aa14ed69a55e646111af9533d8f1c"
116
+ "gitHead": "ba42ad36467506f81a4f77d536354c4cb90c32d9"
117
117
  }