typescript 5.4.0-dev.20231211 → 5.4.0-dev.20231212
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 +24 -8
- package/lib/tsserver.js +25 -9
- package/lib/typescript.js +25 -9
- package/lib/typingsInstaller.js +1 -1
- package/package.json +2 -3
package/lib/tsc.js
CHANGED
|
@@ -18,7 +18,7 @@ and limitations under the License.
|
|
|
18
18
|
|
|
19
19
|
// src/compiler/corePublic.ts
|
|
20
20
|
var versionMajorMinor = "5.4";
|
|
21
|
-
var version = `${versionMajorMinor}.0-dev.
|
|
21
|
+
var version = `${versionMajorMinor}.0-dev.20231212`;
|
|
22
22
|
|
|
23
23
|
// src/compiler/core.ts
|
|
24
24
|
var emptyArray = [];
|
|
@@ -57260,7 +57260,7 @@ function createTypeChecker(host) {
|
|
|
57260
57260
|
function removeConstrainedTypeVariables(types) {
|
|
57261
57261
|
const typeVariables = [];
|
|
57262
57262
|
for (const type of types) {
|
|
57263
|
-
if (getObjectFlags(type) & 67108864 /* IsConstrainedTypeVariable */) {
|
|
57263
|
+
if (type.flags & 2097152 /* Intersection */ && getObjectFlags(type) & 67108864 /* IsConstrainedTypeVariable */) {
|
|
57264
57264
|
const index = type.types[0].flags & 8650752 /* TypeVariable */ ? 0 : 1;
|
|
57265
57265
|
pushIfUnique(typeVariables, type.types[index]);
|
|
57266
57266
|
}
|
|
@@ -57268,7 +57268,7 @@ function createTypeChecker(host) {
|
|
|
57268
57268
|
for (const typeVariable of typeVariables) {
|
|
57269
57269
|
const primitives = [];
|
|
57270
57270
|
for (const type of types) {
|
|
57271
|
-
if (getObjectFlags(type) & 67108864 /* IsConstrainedTypeVariable */) {
|
|
57271
|
+
if (type.flags & 2097152 /* Intersection */ && getObjectFlags(type) & 67108864 /* IsConstrainedTypeVariable */) {
|
|
57272
57272
|
const index = type.types[0].flags & 8650752 /* TypeVariable */ ? 0 : 1;
|
|
57273
57273
|
if (type.types[index] === typeVariable) {
|
|
57274
57274
|
insertType(primitives, type.types[1 - index]);
|
|
@@ -57281,7 +57281,7 @@ function createTypeChecker(host) {
|
|
|
57281
57281
|
while (i > 0) {
|
|
57282
57282
|
i--;
|
|
57283
57283
|
const type = types[i];
|
|
57284
|
-
if (getObjectFlags(type) & 67108864 /* IsConstrainedTypeVariable */) {
|
|
57284
|
+
if (type.flags & 2097152 /* Intersection */ && getObjectFlags(type) & 67108864 /* IsConstrainedTypeVariable */) {
|
|
57285
57285
|
const index = type.types[0].flags & 8650752 /* TypeVariable */ ? 0 : 1;
|
|
57286
57286
|
if (type.types[index] === typeVariable && containsType(primitives, type.types[1 - index])) {
|
|
57287
57287
|
orderedRemoveItemAt(types, i);
|
|
@@ -67085,6 +67085,16 @@ function createTypeChecker(host) {
|
|
|
67085
67085
|
}
|
|
67086
67086
|
return symbol.isAssigned || false;
|
|
67087
67087
|
}
|
|
67088
|
+
function isSomeSymbolAssigned(rootDeclaration) {
|
|
67089
|
+
Debug.assert(isVariableDeclaration(rootDeclaration) || isParameter(rootDeclaration));
|
|
67090
|
+
return isSomeSymbolAssignedWorker(rootDeclaration.name);
|
|
67091
|
+
}
|
|
67092
|
+
function isSomeSymbolAssignedWorker(node) {
|
|
67093
|
+
if (node.kind === 80 /* Identifier */) {
|
|
67094
|
+
return isSymbolAssigned(getSymbolOfDeclaration(node.parent));
|
|
67095
|
+
}
|
|
67096
|
+
return some(node.elements, (e) => e.kind !== 232 /* OmittedExpression */ && isSomeSymbolAssignedWorker(e.name));
|
|
67097
|
+
}
|
|
67088
67098
|
function hasParentWithAssignmentsMarked(node) {
|
|
67089
67099
|
return !!findAncestor(node.parent, (node2) => (isFunctionLike(node2) || isCatchClause(node2)) && !!(getNodeLinks(node2).flags & 131072 /* AssignmentsMarked */));
|
|
67090
67100
|
}
|
|
@@ -67198,7 +67208,7 @@ function createTypeChecker(host) {
|
|
|
67198
67208
|
const parentType = getTypeForBindingElementParent(parent, 0 /* Normal */);
|
|
67199
67209
|
const parentTypeConstraint = parentType && mapType(parentType, getBaseConstraintOrType);
|
|
67200
67210
|
links.flags &= ~4194304 /* InCheckIdentifier */;
|
|
67201
|
-
if (parentTypeConstraint && parentTypeConstraint.flags & 1048576 /* Union */ && !(rootDeclaration.kind === 169 /* Parameter */ &&
|
|
67211
|
+
if (parentTypeConstraint && parentTypeConstraint.flags & 1048576 /* Union */ && !(rootDeclaration.kind === 169 /* Parameter */ && isSomeSymbolAssigned(rootDeclaration))) {
|
|
67202
67212
|
const pattern = declaration.parent;
|
|
67203
67213
|
const narrowedType = getFlowTypeOfReference(
|
|
67204
67214
|
pattern,
|
|
@@ -67227,7 +67237,7 @@ function createTypeChecker(host) {
|
|
|
67227
67237
|
const contextualSignature = getContextualSignature(func);
|
|
67228
67238
|
if (contextualSignature && contextualSignature.parameters.length === 1 && signatureHasRestParameter(contextualSignature)) {
|
|
67229
67239
|
const restType = getReducedApparentType(instantiateType(getTypeOfSymbol(contextualSignature.parameters[0]), (_a = getInferenceContext(func)) == null ? void 0 : _a.nonFixingMapper));
|
|
67230
|
-
if (restType.flags & 1048576 /* Union */ && everyType(restType, isTupleType) && !
|
|
67240
|
+
if (restType.flags & 1048576 /* Union */ && everyType(restType, isTupleType) && !some(func.parameters, isSomeSymbolAssigned)) {
|
|
67231
67241
|
const narrowedType = getFlowTypeOfReference(
|
|
67232
67242
|
func,
|
|
67233
67243
|
restType,
|
|
@@ -75878,7 +75888,7 @@ function createTypeChecker(host) {
|
|
|
75878
75888
|
const modifiers = getTypeParameterModifiers(typeParameter) & (8192 /* In */ | 16384 /* Out */);
|
|
75879
75889
|
if (modifiers) {
|
|
75880
75890
|
const symbol = getSymbolOfDeclaration(node.parent);
|
|
75881
|
-
if (isTypeAliasDeclaration(node.parent) && !(getObjectFlags(getDeclaredTypeOfSymbol(symbol)) & (16 /* Anonymous */ | 32 /* Mapped */))) {
|
|
75891
|
+
if (isTypeAliasDeclaration(node.parent) && !(getObjectFlags(getDeclaredTypeOfSymbol(symbol)) & (4 /* Reference */ | 16 /* Anonymous */ | 32 /* Mapped */))) {
|
|
75882
75892
|
error(node, Diagnostics.Variance_annotations_are_only_supported_in_type_aliases_for_object_function_constructor_and_mapped_types);
|
|
75883
75893
|
} else if (modifiers === 8192 /* In */ || modifiers === 16384 /* Out */) {
|
|
75884
75894
|
(_a = tracing) == null ? void 0 : _a.push(tracing.Phase.CheckTypes, "checkTypeParameterDeferred", { parent: getTypeId(getDeclaredTypeOfSymbol(symbol)), id: getTypeId(typeParameter) });
|
|
@@ -81732,9 +81742,12 @@ function createTypeChecker(host) {
|
|
|
81732
81742
|
case 1 /* ExportsProperty */:
|
|
81733
81743
|
case 3 /* PrototypeProperty */:
|
|
81734
81744
|
return getSymbolOfNode(entityName.parent);
|
|
81745
|
+
case 5 /* Property */:
|
|
81746
|
+
if (isPropertyAccessExpression(entityName.parent) && getLeftmostAccessExpression(entityName.parent) === entityName) {
|
|
81747
|
+
return void 0;
|
|
81748
|
+
}
|
|
81735
81749
|
case 4 /* ThisProperty */:
|
|
81736
81750
|
case 2 /* ModuleExports */:
|
|
81737
|
-
case 5 /* Property */:
|
|
81738
81751
|
return getSymbolOfDeclaration(entityName.parent.parent);
|
|
81739
81752
|
}
|
|
81740
81753
|
}
|
|
@@ -108276,6 +108289,9 @@ function transformDeclarations(context) {
|
|
|
108276
108289
|
}
|
|
108277
108290
|
function mapReferencesIntoArray(references2, outputFilePath2) {
|
|
108278
108291
|
return (file) => {
|
|
108292
|
+
if (exportedModulesFromDeclarationEmit == null ? void 0 : exportedModulesFromDeclarationEmit.includes(file.symbol)) {
|
|
108293
|
+
return;
|
|
108294
|
+
}
|
|
108279
108295
|
let declFileName;
|
|
108280
108296
|
if (file.isDeclarationFile) {
|
|
108281
108297
|
declFileName = file.fileName;
|
package/lib/tsserver.js
CHANGED
|
@@ -2335,7 +2335,7 @@ module.exports = __toCommonJS(server_exports);
|
|
|
2335
2335
|
|
|
2336
2336
|
// src/compiler/corePublic.ts
|
|
2337
2337
|
var versionMajorMinor = "5.4";
|
|
2338
|
-
var version = `${versionMajorMinor}.0-dev.
|
|
2338
|
+
var version = `${versionMajorMinor}.0-dev.20231212`;
|
|
2339
2339
|
var Comparison = /* @__PURE__ */ ((Comparison3) => {
|
|
2340
2340
|
Comparison3[Comparison3["LessThan"] = -1] = "LessThan";
|
|
2341
2341
|
Comparison3[Comparison3["EqualTo"] = 0] = "EqualTo";
|
|
@@ -61975,7 +61975,7 @@ function createTypeChecker(host) {
|
|
|
61975
61975
|
function removeConstrainedTypeVariables(types) {
|
|
61976
61976
|
const typeVariables = [];
|
|
61977
61977
|
for (const type of types) {
|
|
61978
|
-
if (getObjectFlags(type) & 67108864 /* IsConstrainedTypeVariable */) {
|
|
61978
|
+
if (type.flags & 2097152 /* Intersection */ && getObjectFlags(type) & 67108864 /* IsConstrainedTypeVariable */) {
|
|
61979
61979
|
const index = type.types[0].flags & 8650752 /* TypeVariable */ ? 0 : 1;
|
|
61980
61980
|
pushIfUnique(typeVariables, type.types[index]);
|
|
61981
61981
|
}
|
|
@@ -61983,7 +61983,7 @@ function createTypeChecker(host) {
|
|
|
61983
61983
|
for (const typeVariable of typeVariables) {
|
|
61984
61984
|
const primitives = [];
|
|
61985
61985
|
for (const type of types) {
|
|
61986
|
-
if (getObjectFlags(type) & 67108864 /* IsConstrainedTypeVariable */) {
|
|
61986
|
+
if (type.flags & 2097152 /* Intersection */ && getObjectFlags(type) & 67108864 /* IsConstrainedTypeVariable */) {
|
|
61987
61987
|
const index = type.types[0].flags & 8650752 /* TypeVariable */ ? 0 : 1;
|
|
61988
61988
|
if (type.types[index] === typeVariable) {
|
|
61989
61989
|
insertType(primitives, type.types[1 - index]);
|
|
@@ -61996,7 +61996,7 @@ function createTypeChecker(host) {
|
|
|
61996
61996
|
while (i > 0) {
|
|
61997
61997
|
i--;
|
|
61998
61998
|
const type = types[i];
|
|
61999
|
-
if (getObjectFlags(type) & 67108864 /* IsConstrainedTypeVariable */) {
|
|
61999
|
+
if (type.flags & 2097152 /* Intersection */ && getObjectFlags(type) & 67108864 /* IsConstrainedTypeVariable */) {
|
|
62000
62000
|
const index = type.types[0].flags & 8650752 /* TypeVariable */ ? 0 : 1;
|
|
62001
62001
|
if (type.types[index] === typeVariable && containsType(primitives, type.types[1 - index])) {
|
|
62002
62002
|
orderedRemoveItemAt(types, i);
|
|
@@ -71800,6 +71800,16 @@ function createTypeChecker(host) {
|
|
|
71800
71800
|
}
|
|
71801
71801
|
return symbol.isAssigned || false;
|
|
71802
71802
|
}
|
|
71803
|
+
function isSomeSymbolAssigned(rootDeclaration) {
|
|
71804
|
+
Debug.assert(isVariableDeclaration(rootDeclaration) || isParameter(rootDeclaration));
|
|
71805
|
+
return isSomeSymbolAssignedWorker(rootDeclaration.name);
|
|
71806
|
+
}
|
|
71807
|
+
function isSomeSymbolAssignedWorker(node) {
|
|
71808
|
+
if (node.kind === 80 /* Identifier */) {
|
|
71809
|
+
return isSymbolAssigned(getSymbolOfDeclaration(node.parent));
|
|
71810
|
+
}
|
|
71811
|
+
return some(node.elements, (e) => e.kind !== 232 /* OmittedExpression */ && isSomeSymbolAssignedWorker(e.name));
|
|
71812
|
+
}
|
|
71803
71813
|
function hasParentWithAssignmentsMarked(node) {
|
|
71804
71814
|
return !!findAncestor(node.parent, (node2) => (isFunctionLike(node2) || isCatchClause(node2)) && !!(getNodeLinks(node2).flags & 131072 /* AssignmentsMarked */));
|
|
71805
71815
|
}
|
|
@@ -71913,7 +71923,7 @@ function createTypeChecker(host) {
|
|
|
71913
71923
|
const parentType = getTypeForBindingElementParent(parent2, 0 /* Normal */);
|
|
71914
71924
|
const parentTypeConstraint = parentType && mapType(parentType, getBaseConstraintOrType);
|
|
71915
71925
|
links.flags &= ~4194304 /* InCheckIdentifier */;
|
|
71916
|
-
if (parentTypeConstraint && parentTypeConstraint.flags & 1048576 /* Union */ && !(rootDeclaration.kind === 169 /* Parameter */ &&
|
|
71926
|
+
if (parentTypeConstraint && parentTypeConstraint.flags & 1048576 /* Union */ && !(rootDeclaration.kind === 169 /* Parameter */ && isSomeSymbolAssigned(rootDeclaration))) {
|
|
71917
71927
|
const pattern = declaration.parent;
|
|
71918
71928
|
const narrowedType = getFlowTypeOfReference(
|
|
71919
71929
|
pattern,
|
|
@@ -71942,7 +71952,7 @@ function createTypeChecker(host) {
|
|
|
71942
71952
|
const contextualSignature = getContextualSignature(func);
|
|
71943
71953
|
if (contextualSignature && contextualSignature.parameters.length === 1 && signatureHasRestParameter(contextualSignature)) {
|
|
71944
71954
|
const restType = getReducedApparentType(instantiateType(getTypeOfSymbol(contextualSignature.parameters[0]), (_a = getInferenceContext(func)) == null ? void 0 : _a.nonFixingMapper));
|
|
71945
|
-
if (restType.flags & 1048576 /* Union */ && everyType(restType, isTupleType) && !
|
|
71955
|
+
if (restType.flags & 1048576 /* Union */ && everyType(restType, isTupleType) && !some(func.parameters, isSomeSymbolAssigned)) {
|
|
71946
71956
|
const narrowedType = getFlowTypeOfReference(
|
|
71947
71957
|
func,
|
|
71948
71958
|
restType,
|
|
@@ -80593,7 +80603,7 @@ function createTypeChecker(host) {
|
|
|
80593
80603
|
const modifiers = getTypeParameterModifiers(typeParameter) & (8192 /* In */ | 16384 /* Out */);
|
|
80594
80604
|
if (modifiers) {
|
|
80595
80605
|
const symbol = getSymbolOfDeclaration(node.parent);
|
|
80596
|
-
if (isTypeAliasDeclaration(node.parent) && !(getObjectFlags(getDeclaredTypeOfSymbol(symbol)) & (16 /* Anonymous */ | 32 /* Mapped */))) {
|
|
80606
|
+
if (isTypeAliasDeclaration(node.parent) && !(getObjectFlags(getDeclaredTypeOfSymbol(symbol)) & (4 /* Reference */ | 16 /* Anonymous */ | 32 /* Mapped */))) {
|
|
80597
80607
|
error2(node, Diagnostics.Variance_annotations_are_only_supported_in_type_aliases_for_object_function_constructor_and_mapped_types);
|
|
80598
80608
|
} else if (modifiers === 8192 /* In */ || modifiers === 16384 /* Out */) {
|
|
80599
80609
|
(_a = tracing) == null ? void 0 : _a.push(tracing.Phase.CheckTypes, "checkTypeParameterDeferred", { parent: getTypeId(getDeclaredTypeOfSymbol(symbol)), id: getTypeId(typeParameter) });
|
|
@@ -86447,9 +86457,12 @@ function createTypeChecker(host) {
|
|
|
86447
86457
|
case 1 /* ExportsProperty */:
|
|
86448
86458
|
case 3 /* PrototypeProperty */:
|
|
86449
86459
|
return getSymbolOfNode(entityName.parent);
|
|
86460
|
+
case 5 /* Property */:
|
|
86461
|
+
if (isPropertyAccessExpression(entityName.parent) && getLeftmostAccessExpression(entityName.parent) === entityName) {
|
|
86462
|
+
return void 0;
|
|
86463
|
+
}
|
|
86450
86464
|
case 4 /* ThisProperty */:
|
|
86451
86465
|
case 2 /* ModuleExports */:
|
|
86452
|
-
case 5 /* Property */:
|
|
86453
86466
|
return getSymbolOfDeclaration(entityName.parent.parent);
|
|
86454
86467
|
}
|
|
86455
86468
|
}
|
|
@@ -113162,6 +113175,9 @@ function transformDeclarations(context) {
|
|
|
113162
113175
|
}
|
|
113163
113176
|
function mapReferencesIntoArray(references2, outputFilePath2) {
|
|
113164
113177
|
return (file) => {
|
|
113178
|
+
if (exportedModulesFromDeclarationEmit == null ? void 0 : exportedModulesFromDeclarationEmit.includes(file.symbol)) {
|
|
113179
|
+
return;
|
|
113180
|
+
}
|
|
113165
113181
|
let declFileName;
|
|
113166
113182
|
if (file.isDeclarationFile) {
|
|
113167
113183
|
declFileName = file.fileName;
|
|
@@ -160294,7 +160310,7 @@ function getCompletionData(program, log, sourceFile, compilerOptions, position,
|
|
|
160294
160310
|
case 59 /* ColonToken */:
|
|
160295
160311
|
return parentKind === 172 /* PropertyDeclaration */ || parentKind === 171 /* PropertySignature */ || parentKind === 169 /* Parameter */ || parentKind === 260 /* VariableDeclaration */ || isFunctionLikeKind(parentKind);
|
|
160296
160312
|
case 64 /* EqualsToken */:
|
|
160297
|
-
return parentKind === 265 /* TypeAliasDeclaration */;
|
|
160313
|
+
return parentKind === 265 /* TypeAliasDeclaration */ || parentKind === 168 /* TypeParameter */;
|
|
160298
160314
|
case 130 /* AsKeyword */:
|
|
160299
160315
|
return parentKind === 234 /* AsExpression */;
|
|
160300
160316
|
case 30 /* LessThanToken */:
|
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.4";
|
|
38
|
-
version = `${versionMajorMinor}.0-dev.
|
|
38
|
+
version = `${versionMajorMinor}.0-dev.20231212`;
|
|
39
39
|
Comparison = /* @__PURE__ */ ((Comparison3) => {
|
|
40
40
|
Comparison3[Comparison3["LessThan"] = -1] = "LessThan";
|
|
41
41
|
Comparison3[Comparison3["EqualTo"] = 0] = "EqualTo";
|
|
@@ -59735,7 +59735,7 @@ ${lanes.join("\n")}
|
|
|
59735
59735
|
function removeConstrainedTypeVariables(types) {
|
|
59736
59736
|
const typeVariables = [];
|
|
59737
59737
|
for (const type of types) {
|
|
59738
|
-
if (getObjectFlags(type) & 67108864 /* IsConstrainedTypeVariable */) {
|
|
59738
|
+
if (type.flags & 2097152 /* Intersection */ && getObjectFlags(type) & 67108864 /* IsConstrainedTypeVariable */) {
|
|
59739
59739
|
const index = type.types[0].flags & 8650752 /* TypeVariable */ ? 0 : 1;
|
|
59740
59740
|
pushIfUnique(typeVariables, type.types[index]);
|
|
59741
59741
|
}
|
|
@@ -59743,7 +59743,7 @@ ${lanes.join("\n")}
|
|
|
59743
59743
|
for (const typeVariable of typeVariables) {
|
|
59744
59744
|
const primitives = [];
|
|
59745
59745
|
for (const type of types) {
|
|
59746
|
-
if (getObjectFlags(type) & 67108864 /* IsConstrainedTypeVariable */) {
|
|
59746
|
+
if (type.flags & 2097152 /* Intersection */ && getObjectFlags(type) & 67108864 /* IsConstrainedTypeVariable */) {
|
|
59747
59747
|
const index = type.types[0].flags & 8650752 /* TypeVariable */ ? 0 : 1;
|
|
59748
59748
|
if (type.types[index] === typeVariable) {
|
|
59749
59749
|
insertType(primitives, type.types[1 - index]);
|
|
@@ -59756,7 +59756,7 @@ ${lanes.join("\n")}
|
|
|
59756
59756
|
while (i > 0) {
|
|
59757
59757
|
i--;
|
|
59758
59758
|
const type = types[i];
|
|
59759
|
-
if (getObjectFlags(type) & 67108864 /* IsConstrainedTypeVariable */) {
|
|
59759
|
+
if (type.flags & 2097152 /* Intersection */ && getObjectFlags(type) & 67108864 /* IsConstrainedTypeVariable */) {
|
|
59760
59760
|
const index = type.types[0].flags & 8650752 /* TypeVariable */ ? 0 : 1;
|
|
59761
59761
|
if (type.types[index] === typeVariable && containsType(primitives, type.types[1 - index])) {
|
|
59762
59762
|
orderedRemoveItemAt(types, i);
|
|
@@ -69560,6 +69560,16 @@ ${lanes.join("\n")}
|
|
|
69560
69560
|
}
|
|
69561
69561
|
return symbol.isAssigned || false;
|
|
69562
69562
|
}
|
|
69563
|
+
function isSomeSymbolAssigned(rootDeclaration) {
|
|
69564
|
+
Debug.assert(isVariableDeclaration(rootDeclaration) || isParameter(rootDeclaration));
|
|
69565
|
+
return isSomeSymbolAssignedWorker(rootDeclaration.name);
|
|
69566
|
+
}
|
|
69567
|
+
function isSomeSymbolAssignedWorker(node) {
|
|
69568
|
+
if (node.kind === 80 /* Identifier */) {
|
|
69569
|
+
return isSymbolAssigned(getSymbolOfDeclaration(node.parent));
|
|
69570
|
+
}
|
|
69571
|
+
return some(node.elements, (e) => e.kind !== 232 /* OmittedExpression */ && isSomeSymbolAssignedWorker(e.name));
|
|
69572
|
+
}
|
|
69563
69573
|
function hasParentWithAssignmentsMarked(node) {
|
|
69564
69574
|
return !!findAncestor(node.parent, (node2) => (isFunctionLike(node2) || isCatchClause(node2)) && !!(getNodeLinks(node2).flags & 131072 /* AssignmentsMarked */));
|
|
69565
69575
|
}
|
|
@@ -69673,7 +69683,7 @@ ${lanes.join("\n")}
|
|
|
69673
69683
|
const parentType = getTypeForBindingElementParent(parent2, 0 /* Normal */);
|
|
69674
69684
|
const parentTypeConstraint = parentType && mapType(parentType, getBaseConstraintOrType);
|
|
69675
69685
|
links.flags &= ~4194304 /* InCheckIdentifier */;
|
|
69676
|
-
if (parentTypeConstraint && parentTypeConstraint.flags & 1048576 /* Union */ && !(rootDeclaration.kind === 169 /* Parameter */ &&
|
|
69686
|
+
if (parentTypeConstraint && parentTypeConstraint.flags & 1048576 /* Union */ && !(rootDeclaration.kind === 169 /* Parameter */ && isSomeSymbolAssigned(rootDeclaration))) {
|
|
69677
69687
|
const pattern = declaration.parent;
|
|
69678
69688
|
const narrowedType = getFlowTypeOfReference(
|
|
69679
69689
|
pattern,
|
|
@@ -69702,7 +69712,7 @@ ${lanes.join("\n")}
|
|
|
69702
69712
|
const contextualSignature = getContextualSignature(func);
|
|
69703
69713
|
if (contextualSignature && contextualSignature.parameters.length === 1 && signatureHasRestParameter(contextualSignature)) {
|
|
69704
69714
|
const restType = getReducedApparentType(instantiateType(getTypeOfSymbol(contextualSignature.parameters[0]), (_a = getInferenceContext(func)) == null ? void 0 : _a.nonFixingMapper));
|
|
69705
|
-
if (restType.flags & 1048576 /* Union */ && everyType(restType, isTupleType) && !
|
|
69715
|
+
if (restType.flags & 1048576 /* Union */ && everyType(restType, isTupleType) && !some(func.parameters, isSomeSymbolAssigned)) {
|
|
69706
69716
|
const narrowedType = getFlowTypeOfReference(
|
|
69707
69717
|
func,
|
|
69708
69718
|
restType,
|
|
@@ -78353,7 +78363,7 @@ ${lanes.join("\n")}
|
|
|
78353
78363
|
const modifiers = getTypeParameterModifiers(typeParameter) & (8192 /* In */ | 16384 /* Out */);
|
|
78354
78364
|
if (modifiers) {
|
|
78355
78365
|
const symbol = getSymbolOfDeclaration(node.parent);
|
|
78356
|
-
if (isTypeAliasDeclaration(node.parent) && !(getObjectFlags(getDeclaredTypeOfSymbol(symbol)) & (16 /* Anonymous */ | 32 /* Mapped */))) {
|
|
78366
|
+
if (isTypeAliasDeclaration(node.parent) && !(getObjectFlags(getDeclaredTypeOfSymbol(symbol)) & (4 /* Reference */ | 16 /* Anonymous */ | 32 /* Mapped */))) {
|
|
78357
78367
|
error2(node, Diagnostics.Variance_annotations_are_only_supported_in_type_aliases_for_object_function_constructor_and_mapped_types);
|
|
78358
78368
|
} else if (modifiers === 8192 /* In */ || modifiers === 16384 /* Out */) {
|
|
78359
78369
|
(_a = tracing) == null ? void 0 : _a.push(tracing.Phase.CheckTypes, "checkTypeParameterDeferred", { parent: getTypeId(getDeclaredTypeOfSymbol(symbol)), id: getTypeId(typeParameter) });
|
|
@@ -84207,9 +84217,12 @@ ${lanes.join("\n")}
|
|
|
84207
84217
|
case 1 /* ExportsProperty */:
|
|
84208
84218
|
case 3 /* PrototypeProperty */:
|
|
84209
84219
|
return getSymbolOfNode(entityName.parent);
|
|
84220
|
+
case 5 /* Property */:
|
|
84221
|
+
if (isPropertyAccessExpression(entityName.parent) && getLeftmostAccessExpression(entityName.parent) === entityName) {
|
|
84222
|
+
return void 0;
|
|
84223
|
+
}
|
|
84210
84224
|
case 4 /* ThisProperty */:
|
|
84211
84225
|
case 2 /* ModuleExports */:
|
|
84212
|
-
case 5 /* Property */:
|
|
84213
84226
|
return getSymbolOfDeclaration(entityName.parent.parent);
|
|
84214
84227
|
}
|
|
84215
84228
|
}
|
|
@@ -111231,6 +111244,9 @@ ${lanes.join("\n")}
|
|
|
111231
111244
|
}
|
|
111232
111245
|
function mapReferencesIntoArray(references2, outputFilePath2) {
|
|
111233
111246
|
return (file) => {
|
|
111247
|
+
if (exportedModulesFromDeclarationEmit == null ? void 0 : exportedModulesFromDeclarationEmit.includes(file.symbol)) {
|
|
111248
|
+
return;
|
|
111249
|
+
}
|
|
111234
111250
|
let declFileName;
|
|
111235
111251
|
if (file.isDeclarationFile) {
|
|
111236
111252
|
declFileName = file.fileName;
|
|
@@ -159503,7 +159519,7 @@ ${newComment.split("\n").map((c) => ` * ${c}`).join("\n")}
|
|
|
159503
159519
|
case 59 /* ColonToken */:
|
|
159504
159520
|
return parentKind === 172 /* PropertyDeclaration */ || parentKind === 171 /* PropertySignature */ || parentKind === 169 /* Parameter */ || parentKind === 260 /* VariableDeclaration */ || isFunctionLikeKind(parentKind);
|
|
159505
159521
|
case 64 /* EqualsToken */:
|
|
159506
|
-
return parentKind === 265 /* TypeAliasDeclaration */;
|
|
159522
|
+
return parentKind === 265 /* TypeAliasDeclaration */ || parentKind === 168 /* TypeParameter */;
|
|
159507
159523
|
case 130 /* AsKeyword */:
|
|
159508
159524
|
return parentKind === 234 /* AsExpression */;
|
|
159509
159525
|
case 30 /* LessThanToken */:
|
package/lib/typingsInstaller.js
CHANGED
|
@@ -54,7 +54,7 @@ var path = __toESM(require("path"));
|
|
|
54
54
|
|
|
55
55
|
// src/compiler/corePublic.ts
|
|
56
56
|
var versionMajorMinor = "5.4";
|
|
57
|
-
var version = `${versionMajorMinor}.0-dev.
|
|
57
|
+
var version = `${versionMajorMinor}.0-dev.20231212`;
|
|
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.4.0-dev.
|
|
5
|
+
"version": "5.4.0-dev.20231212",
|
|
6
6
|
"license": "Apache-2.0",
|
|
7
7
|
"description": "TypeScript is a language for application scale JavaScript development",
|
|
8
8
|
"keywords": [
|
|
@@ -91,7 +91,6 @@
|
|
|
91
91
|
"build:compiler": "hereby local",
|
|
92
92
|
"build:tests": "hereby tests",
|
|
93
93
|
"build:tests:notypecheck": "hereby tests --no-typecheck",
|
|
94
|
-
"start": "node lib/tsc",
|
|
95
94
|
"clean": "hereby clean",
|
|
96
95
|
"gulp": "hereby",
|
|
97
96
|
"lint": "hereby lint",
|
|
@@ -114,5 +113,5 @@
|
|
|
114
113
|
"node": "20.1.0",
|
|
115
114
|
"npm": "8.19.4"
|
|
116
115
|
},
|
|
117
|
-
"gitHead": "
|
|
116
|
+
"gitHead": "efc9c065a2caa52c5bebd08d730eed508075a78a"
|
|
118
117
|
}
|