@zzzen/pyright-internal 1.2.0-dev.20230716 → 1.2.0-dev.20230730
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/dist/analyzer/backgroundAnalysisProgram.d.ts +2 -2
- package/dist/analyzer/backgroundAnalysisProgram.js.map +1 -1
- package/dist/analyzer/binder.js +0 -1
- package/dist/analyzer/binder.js.map +1 -1
- package/dist/analyzer/checker.d.ts +1 -0
- package/dist/analyzer/checker.js +15 -45
- package/dist/analyzer/checker.js.map +1 -1
- package/dist/analyzer/codeFlowEngine.js +17 -10
- package/dist/analyzer/codeFlowEngine.js.map +1 -1
- package/dist/analyzer/constraintSolver.js +36 -12
- package/dist/analyzer/constraintSolver.js.map +1 -1
- package/dist/analyzer/constructorTransform.js +11 -1
- package/dist/analyzer/constructorTransform.js.map +1 -1
- package/dist/analyzer/constructors.js +36 -14
- package/dist/analyzer/constructors.js.map +1 -1
- package/dist/analyzer/namedTuples.js +1 -0
- package/dist/analyzer/namedTuples.js.map +1 -1
- package/dist/analyzer/patternMatching.js +24 -0
- package/dist/analyzer/patternMatching.js.map +1 -1
- package/dist/analyzer/program.d.ts +4 -2
- package/dist/analyzer/program.js +31 -25
- package/dist/analyzer/program.js.map +1 -1
- package/dist/analyzer/sourceFile.d.ts +5 -0
- package/dist/analyzer/sourceFile.js +11 -5
- package/dist/analyzer/sourceFile.js.map +1 -1
- package/dist/analyzer/typeCacheUtils.d.ts +7 -2
- package/dist/analyzer/typeCacheUtils.js +11 -7
- package/dist/analyzer/typeCacheUtils.js.map +1 -1
- package/dist/analyzer/typeEvaluator.js +858 -639
- package/dist/analyzer/typeEvaluator.js.map +1 -1
- package/dist/analyzer/typeEvaluatorTypes.d.ts +3 -2
- package/dist/analyzer/typeEvaluatorTypes.js.map +1 -1
- package/dist/analyzer/typeGuards.js +43 -8
- package/dist/analyzer/typeGuards.js.map +1 -1
- package/dist/analyzer/typeUtils.d.ts +4 -2
- package/dist/analyzer/typeUtils.js +65 -13
- package/dist/analyzer/typeUtils.js.map +1 -1
- package/dist/analyzer/types.d.ts +4 -4
- package/dist/analyzer/types.js +20 -5
- package/dist/analyzer/types.js.map +1 -1
- package/dist/backgroundAnalysisBase.d.ts +4 -4
- package/dist/backgroundAnalysisBase.js +6 -6
- package/dist/backgroundAnalysisBase.js.map +1 -1
- package/dist/backgroundThreadBase.js +1 -1
- package/dist/backgroundThreadBase.js.map +1 -1
- package/dist/common/configOptions.d.ts +1 -0
- package/dist/common/configOptions.js +5 -1
- package/dist/common/configOptions.js.map +1 -1
- package/dist/common/diagnosticRules.d.ts +1 -0
- package/dist/common/diagnosticRules.js +1 -0
- package/dist/common/diagnosticRules.js.map +1 -1
- package/dist/languageService/callHierarchyProvider.js +7 -10
- package/dist/languageService/callHierarchyProvider.js.map +1 -1
- package/dist/languageService/completionProvider.js +10 -4
- package/dist/languageService/completionProvider.js.map +1 -1
- package/dist/languageService/tooltipUtils.js +5 -2
- package/dist/languageService/tooltipUtils.js.map +1 -1
- package/dist/localization/localize.d.ts +7 -4
- package/dist/localization/localize.js +17 -2
- package/dist/localization/localize.js.map +1 -1
- package/dist/localization/package.nls.cs.json +6 -6
- package/dist/localization/package.nls.de.json +6 -6
- package/dist/localization/package.nls.en-us.json +6 -6
- package/dist/localization/package.nls.es.json +6 -6
- package/dist/localization/package.nls.fr.json +6 -6
- package/dist/localization/package.nls.it.json +6 -6
- package/dist/localization/package.nls.ja.json +6 -6
- package/dist/localization/package.nls.ko.json +6 -6
- package/dist/localization/package.nls.pl.json +6 -6
- package/dist/localization/package.nls.pt-br.json +6 -6
- package/dist/localization/package.nls.qps-ploc.json +6 -6
- package/dist/localization/package.nls.ru.json +6 -6
- package/dist/localization/package.nls.tr.json +6 -6
- package/dist/localization/package.nls.zh-cn.json +6 -6
- package/dist/localization/package.nls.zh-tw.json +6 -6
- package/dist/tests/checker.test.js +2 -2
- package/dist/tests/completions.test.js +40 -0
- package/dist/tests/completions.test.js.map +1 -1
- package/dist/tests/config.test.js +12 -0
- package/dist/tests/config.test.js.map +1 -1
- package/dist/tests/fourslash/showcallhierarchy.incomingCalls.overriddenFunction.fourslash.d.ts +1 -0
- package/dist/tests/fourslash/showcallhierarchy.incomingCalls.overriddenFunction.fourslash.js +40 -0
- package/dist/tests/fourslash/showcallhierarchy.incomingCalls.overriddenFunction.fourslash.js.map +1 -0
- package/dist/tests/typeEvaluator1.test.js +17 -1
- package/dist/tests/typeEvaluator1.test.js.map +1 -1
- package/dist/tests/typeEvaluator2.test.js +24 -2
- package/dist/tests/typeEvaluator2.test.js.map +1 -1
- package/dist/tests/typeEvaluator3.test.js +14 -4
- package/dist/tests/typeEvaluator3.test.js.map +1 -1
- package/dist/tests/typeEvaluator4.test.js +9 -1
- package/dist/tests/typeEvaluator4.test.js.map +1 -1
- package/dist/tests/typeEvaluator5.test.js +8 -4
- package/dist/tests/typeEvaluator5.test.js.map +1 -1
- package/package.json +7 -6
@@ -48,19 +48,20 @@ class SpeculativeTypeTracker {
|
|
48
48
|
this._speculativeTypeCache = new Map();
|
49
49
|
this._activeDependentTypes = [];
|
50
50
|
}
|
51
|
-
enterSpeculativeContext(speculativeRootNode,
|
51
|
+
enterSpeculativeContext(speculativeRootNode, options) {
|
52
52
|
this._speculativeContextStack.push({
|
53
53
|
speculativeRootNode,
|
54
54
|
entriesToUndo: [],
|
55
|
-
dependentType,
|
55
|
+
dependentType: options === null || options === void 0 ? void 0 : options.dependentType,
|
56
|
+
allowDiagnostics: options === null || options === void 0 ? void 0 : options.allowDiagnostics,
|
56
57
|
});
|
57
58
|
// Retain a list of active dependent types. This information is already
|
58
59
|
// contained within the speculative context stack, but we retain a copy
|
59
60
|
// in this alternate form for performance reasons.
|
60
|
-
if (dependentType) {
|
61
|
+
if (options === null || options === void 0 ? void 0 : options.dependentType) {
|
61
62
|
this._activeDependentTypes.push({
|
62
63
|
speculativeRootNode,
|
63
|
-
dependentType,
|
64
|
+
dependentType: options.dependentType,
|
64
65
|
});
|
65
66
|
}
|
66
67
|
}
|
@@ -77,7 +78,7 @@ class SpeculativeTypeTracker {
|
|
77
78
|
entry.cache.delete(entry.id);
|
78
79
|
});
|
79
80
|
}
|
80
|
-
isSpeculative(node) {
|
81
|
+
isSpeculative(node, ignoreIfDiagnosticsAllowed = false) {
|
81
82
|
if (this._speculativeContextStack.length === 0) {
|
82
83
|
return false;
|
83
84
|
}
|
@@ -85,8 +86,11 @@ class SpeculativeTypeTracker {
|
|
85
86
|
return true;
|
86
87
|
}
|
87
88
|
for (let i = this._speculativeContextStack.length - 1; i >= 0; i--) {
|
88
|
-
|
89
|
-
|
89
|
+
const stackEntry = this._speculativeContextStack[i];
|
90
|
+
if (ParseTreeUtils.isNodeContainedWithin(node, stackEntry.speculativeRootNode)) {
|
91
|
+
if (!ignoreIfDiagnosticsAllowed || !stackEntry.allowDiagnostics) {
|
92
|
+
return true;
|
93
|
+
}
|
90
94
|
}
|
91
95
|
}
|
92
96
|
return false;
|
@@ -1 +1 @@
|
|
1
|
-
{"version":3,"file":"typeCacheUtils.js","sourceRoot":"","sources":["../../../src/analyzer/typeCacheUtils.ts"],"names":[],"mappings":";AAAA;;;;;;;GAOG;;;;;;;;;;;;;;;;;;;;;;AAEH,2CAAyC;AAEzC,iEAAmD;AACnD,mCAA2C;
|
1
|
+
{"version":3,"file":"typeCacheUtils.js","sourceRoot":"","sources":["../../../src/analyzer/typeCacheUtils.ts"],"names":[],"mappings":";AAAA;;;;;;;GAOG;;;;;;;;;;;;;;;;;;;;;;AAEH,2CAAyC;AAEzC,iEAAmD;AACnD,mCAA2C;AA4C3C,oEAAoE;AACpE,uEAAuE;AACvE,qEAAqE;AACrE,8DAA8D;AAC9D,wEAAwE;AACxE,qEAAqE;AACrE,sEAAsE;AACtE,wEAAwE;AACxE,mEAAmE;AACnE,yEAAyE;AACzE,iCAAiC;AACjC,MAAa,sBAAsB;IAAnC;QACY,6BAAwB,GAAyB,EAAE,CAAC;QACpD,0BAAqB,GAAG,IAAI,GAAG,EAAkC,CAAC;QAClE,0BAAqB,GAAoB,EAAE,CAAC;IAsLxD,CAAC;IApLG,uBAAuB,CAAC,mBAA8B,EAAE,OAAgC;QACpF,IAAI,CAAC,wBAAwB,CAAC,IAAI,CAAC;YAC/B,mBAAmB;YACnB,aAAa,EAAE,EAAE;YACjB,aAAa,EAAE,OAAO,aAAP,OAAO,uBAAP,OAAO,CAAE,aAAa;YACrC,gBAAgB,EAAE,OAAO,aAAP,OAAO,uBAAP,OAAO,CAAE,gBAAgB;SAC9C,CAAC,CAAC;QAEH,uEAAuE;QACvE,uEAAuE;QACvE,kDAAkD;QAClD,IAAI,OAAO,aAAP,OAAO,uBAAP,OAAO,CAAE,aAAa,EAAE;YACxB,IAAI,CAAC,qBAAqB,CAAC,IAAI,CAAC;gBAC5B,mBAAmB;gBACnB,aAAa,EAAE,OAAO,CAAC,aAAa;aACvC,CAAC,CAAC;SACN;IACL,CAAC;IAED,uBAAuB;QACnB,IAAA,cAAM,EAAC,IAAI,CAAC,wBAAwB,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC;QACjD,MAAM,OAAO,GAAG,IAAI,CAAC,wBAAwB,CAAC,GAAG,EAAE,CAAC;QAEpD,IAAI,OAAO,aAAP,OAAO,uBAAP,OAAO,CAAE,aAAa,EAAE;YACxB,IAAA,cAAM,EAAC,IAAI,CAAC,qBAAqB,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC;YAC9C,IAAI,CAAC,qBAAqB,CAAC,GAAG,EAAE,CAAC;SACpC;QAED,mDAAmD;QACnD,qCAAqC;QACrC,OAAQ,CAAC,aAAa,CAAC,OAAO,CAAC,CAAC,KAAK,EAAE,EAAE;YACrC,KAAK,CAAC,KAAK,CAAC,MAAM,CAAC,KAAK,CAAC,EAAE,CAAC,CAAC;QACjC,CAAC,CAAC,CAAC;IACP,CAAC;IAED,aAAa,CAAC,IAA2B,EAAE,0BAA0B,GAAG,KAAK;QACzE,IAAI,IAAI,CAAC,wBAAwB,CAAC,MAAM,KAAK,CAAC,EAAE;YAC5C,OAAO,KAAK,CAAC;SAChB;QAED,IAAI,CAAC,IAAI,EAAE;YACP,OAAO,IAAI,CAAC;SACf;QAED,KAAK,IAAI,CAAC,GAAG,IAAI,CAAC,wBAAwB,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC,IAAI,CAAC,EAAE,CAAC,EAAE,EAAE;YAChE,MAAM,UAAU,GAAG,IAAI,CAAC,wBAAwB,CAAC,CAAC,CAAC,CAAC;YACpD,IAAI,cAAc,CAAC,qBAAqB,CAAC,IAAI,EAAE,UAAU,CAAC,mBAAmB,CAAC,EAAE;gBAC5E,IAAI,CAAC,0BAA0B,IAAI,CAAC,UAAU,CAAC,gBAAgB,EAAE;oBAC7D,OAAO,IAAI,CAAC;iBACf;aACJ;SACJ;QAED,OAAO,KAAK,CAAC;IACjB,CAAC;IAED,UAAU,CAAC,KAAuB,EAAE,EAAU;QAC1C,MAAM,SAAS,GAAG,IAAI,CAAC,wBAAwB,CAAC,MAAM,CAAC;QACvD,IAAI,SAAS,GAAG,CAAC,EAAE;YACf,IAAI,CAAC,wBAAwB,CAAC,SAAS,GAAG,CAAC,CAAC,CAAC,aAAa,CAAC,IAAI,CAAC;gBAC5D,KAAK;gBACL,EAAE;aACL,CAAC,CAAC;SACN;IACL,CAAC;IAED,4DAA4D;IAC5D,8DAA8D;IAC9D,yDAAyD;IACzD,sBAAsB;QAClB,MAAM,KAAK,GAAG,IAAI,CAAC,wBAAwB,CAAC;QAC5C,IAAI,CAAC,wBAAwB,GAAG,EAAE,CAAC;QACnC,OAAO,KAAK,CAAC;IACjB,CAAC;IAED,qBAAqB,CAAC,KAA2B;QAC7C,IAAA,cAAM,EAAC,IAAI,CAAC,wBAAwB,CAAC,MAAM,KAAK,CAAC,CAAC,CAAC;QACnD,IAAI,CAAC,wBAAwB,GAAG,KAAK,CAAC;IAC1C,CAAC;IAED,kBAAkB,CACd,IAAe,EACf,UAAsB,EACtB,yBAAiC,EACjC,YAA8B;QAE9B,IAAA,cAAM,EAAC,IAAI,CAAC,wBAAwB,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC;QAEjD,MAAM,sBAAsB,GAAG,CAAC,CAAC;QACjC,IAAI,YAAY,GAAG,IAAI,CAAC,qBAAqB,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;QAE3D,IAAI,CAAC,YAAY,EAAE;YACf,YAAY,GAAG,EAAE,CAAC;SACrB;aAAM;YACH,YAAY,GAAG,YAAY,CAAC,MAAM,CAAC,CAAC,KAAK,EAAE,EAAE;gBACzC,+EAA+E;gBAC/E,yCAAyC;gBACzC,IAAI,KAAK,CAAC,UAAU,CAAC,YAAY,IAAI,KAAK,CAAC,yBAAyB,KAAK,yBAAyB,EAAE;oBAChG,OAAO,KAAK,CAAC;iBAChB;gBAED,6DAA6D;gBAC7D,0DAA0D;gBAC1D,IAAI,YAAY,EAAE;oBACd,IAAI,CAAC,KAAK,CAAC,YAAY,EAAE;wBACrB,OAAO,IAAI,CAAC;qBACf;oBACD,OAAO,CAAC,IAAA,kBAAU,EAAC,KAAK,CAAC,YAAY,EAAE,YAAY,CAAC,CAAC;iBACxD;gBAED,OAAO,CAAC,CAAC,KAAK,CAAC,YAAY,CAAC;YAChC,CAAC,CAAC,CAAC;YAEH,2CAA2C;YAC3C,IAAI,YAAY,CAAC,MAAM,IAAI,sBAAsB,EAAE;gBAC/C,YAAY,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC;aACzB;SACJ;QAED,qBAAqB;QACrB,MAAM,QAAQ,GAAyB;YACnC,UAAU;YACV,YAAY;YACZ,yBAAyB;SAC5B,CAAC;QAEF,IAAI,IAAI,CAAC,qBAAqB,CAAC,MAAM,GAAG,CAAC,EAAE;YACvC,QAAQ,CAAC,cAAc,GAAG,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,qBAAqB,CAAC,CAAC;SACpE;QAED,YAAY,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC;QAE5B,IAAI,CAAC,qBAAqB,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,EAAE,YAAY,CAAC,CAAC;IAC1D,CAAC;IAED,kBAAkB,CAAC,IAAe,EAAE,YAA8B;QAC9D,IACI,IAAI,CAAC,wBAAwB,CAAC,IAAI,CAAC,CAAC,OAAO,EAAE,EAAE,CAC3C,cAAc,CAAC,qBAAqB,CAAC,IAAI,EAAE,OAAO,CAAC,mBAAmB,CAAC,CAC1E,EACH;YACE,MAAM,OAAO,GAAG,IAAI,CAAC,qBAAqB,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;YACxD,IAAI,OAAO,EAAE;gBACT,KAAK,MAAM,KAAK,IAAI,OAAO,EAAE;oBACzB,IAAI,CAAC,YAAY,EAAE;wBACf,IAAI,CAAC,KAAK,CAAC,YAAY,IAAI,IAAI,CAAC,oBAAoB,CAAC,KAAK,CAAC,EAAE;4BACzD,OAAO,KAAK,CAAC;yBAChB;qBACJ;yBAAM,IACH,KAAK,CAAC,YAAY;wBAClB,IAAA,kBAAU,EAAC,YAAY,EAAE,KAAK,CAAC,YAAY,CAAC;wBAC5C,IAAI,CAAC,oBAAoB,CAAC,KAAK,CAAC,EAClC;wBACE,OAAO,KAAK,CAAC;qBAChB;iBACJ;aACJ;SACJ;QAED,OAAO,SAAS,CAAC;IACrB,CAAC;IAED,8DAA8D;IAC9D,gEAAgE;IAChE,0BAA0B;IAClB,oBAAoB,CAAC,KAA2B;;QACpD,MAAM,oBAAoB,GAAG,MAAA,KAAK,CAAC,cAAc,mCAAI,EAAE,CAAC;QACxD,IAAI,oBAAoB,CAAC,MAAM,KAAK,IAAI,CAAC,qBAAqB,CAAC,MAAM,EAAE;YACnE,OAAO,KAAK,CAAC;SAChB;QAED,OAAO,oBAAoB,CAAC,KAAK,CAAC,CAAC,aAAa,EAAE,KAAK,EAAE,EAAE;YACvD,MAAM,aAAa,GAAG,IAAI,CAAC,qBAAqB,CAAC,KAAK,CAAC,CAAC;YACxD,IAAI,aAAa,CAAC,mBAAmB,KAAK,aAAa,CAAC,mBAAmB,EAAE;gBACzE,OAAO,KAAK,CAAC;aAChB;YAED,OAAO,IAAA,kBAAU,EAAC,aAAa,CAAC,aAAa,EAAE,aAAa,CAAC,aAAa,CAAC,CAAC;QAChF,CAAC,CAAC,CAAC;IACP,CAAC;CACJ;AAzLD,wDAyLC"}
|