@zzzen/pyright-internal 1.2.0-dev.20220731 → 1.2.0-dev.20220807
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/checker.js +4 -6
- package/dist/analyzer/checker.js.map +1 -1
- package/dist/analyzer/codeFlowEngine.js +4 -5
- package/dist/analyzer/codeFlowEngine.js.map +1 -1
- package/dist/analyzer/constraintSolver.js +5 -13
- package/dist/analyzer/constraintSolver.js.map +1 -1
- package/dist/analyzer/importStatementUtils.d.ts +6 -2
- package/dist/analyzer/importStatementUtils.js +9 -38
- package/dist/analyzer/importStatementUtils.js.map +1 -1
- package/dist/analyzer/program.d.ts +2 -2
- package/dist/analyzer/program.js +10 -9
- package/dist/analyzer/program.js.map +1 -1
- package/dist/analyzer/service.d.ts +2 -1
- package/dist/analyzer/service.js +4 -2
- package/dist/analyzer/service.js.map +1 -1
- package/dist/analyzer/sourceFile.d.ts +3 -1
- package/dist/analyzer/sourceFile.js +6 -0
- package/dist/analyzer/sourceFile.js.map +1 -1
- package/dist/analyzer/typeEvaluator.js +50 -32
- package/dist/analyzer/typeEvaluator.js.map +1 -1
- package/dist/analyzer/typePrinter.js +1 -3
- package/dist/analyzer/typePrinter.js.map +1 -1
- package/dist/analyzer/typeUtils.d.ts +2 -2
- package/dist/analyzer/typeUtils.js +3 -3
- package/dist/analyzer/typeUtils.js.map +1 -1
- package/dist/analyzer/types.d.ts +6 -1
- package/dist/analyzer/types.js +24 -31
- package/dist/analyzer/types.js.map +1 -1
- package/dist/languageServerBase.js +1 -0
- package/dist/languageServerBase.js.map +1 -1
- package/dist/languageService/autoImporter.d.ts +23 -17
- package/dist/languageService/autoImporter.js +42 -30
- package/dist/languageService/autoImporter.js.map +1 -1
- package/dist/languageService/completionProvider.d.ts +2 -1
- package/dist/languageService/completionProvider.js +5 -1
- package/dist/languageService/completionProvider.js.map +1 -1
- package/dist/languageService/importAdder.d.ts +2 -1
- package/dist/languageService/importAdder.js +9 -3
- package/dist/languageService/importAdder.js.map +1 -1
- package/dist/languageService/quickActions.js +1 -1
- package/dist/languageService/quickActions.js.map +1 -1
- package/dist/languageService/renameModuleProvider.js +2 -2
- package/dist/languageService/renameModuleProvider.js.map +1 -1
- package/dist/parser/parser.d.ts +1 -0
- package/dist/parser/parser.js +9 -2
- package/dist/parser/parser.js.map +1 -1
- package/dist/tests/chainedSourceFiles.test.js +2 -0
- package/dist/tests/chainedSourceFiles.test.js.map +1 -1
- package/dist/tests/harness/fourslash/testState.js +1 -0
- package/dist/tests/harness/fourslash/testState.js.map +1 -1
- package/dist/tests/importAdder.test.js +17 -2
- package/dist/tests/importAdder.test.js.map +1 -1
- package/dist/tests/typeEvaluator3.test.js +4 -0
- package/dist/tests/typeEvaluator3.test.js.map +1 -1
- package/dist/tests/typeEvaluator4.test.js +4 -0
- package/dist/tests/typeEvaluator4.test.js.map +1 -1
- package/package.json +1 -1
package/dist/analyzer/checker.js
CHANGED
@@ -837,11 +837,9 @@ class Checker extends parseTreeWalker_1.ParseTreeWalker {
|
|
837
837
|
return true;
|
838
838
|
}
|
839
839
|
visitDel(node) {
|
840
|
-
|
841
|
-
|
842
|
-
|
843
|
-
this.walk(expr);
|
844
|
-
});
|
840
|
+
node.expressions.forEach((expr) => {
|
841
|
+
this._evaluator.verifyDeleteExpression(expr);
|
842
|
+
this.walk(expr);
|
845
843
|
});
|
846
844
|
return false;
|
847
845
|
}
|
@@ -2276,7 +2274,7 @@ class Checker extends parseTreeWalker_1.ParseTreeWalker {
|
|
2276
2274
|
};
|
2277
2275
|
// If arg1IncludesSubclasses is true, it contains a Type[X] class rather than X. A Type[X]
|
2278
2276
|
// could be a subclass of X, so the "unnecessary isinstance check" may be legit.
|
2279
|
-
if (!arg1IncludesSubclasses && (0, types_1.isTypeSame)(filteredType, arg0Type,
|
2277
|
+
if (!arg1IncludesSubclasses && (0, types_1.isTypeSame)(filteredType, arg0Type, { ignorePseudoGeneric: true })) {
|
2280
2278
|
this._evaluator.addDiagnostic(this._fileInfo.diagnosticRuleSet.reportUnnecessaryIsInstance, diagnosticRules_1.DiagnosticRule.reportUnnecessaryIsInstance, isInstanceCheck
|
2281
2279
|
? localize_1.Localizer.Diagnostic.unnecessaryIsInstanceAlways().format({
|
2282
2280
|
testType: this._evaluator.printType(arg0Type, /* expandTypeAlias */ false),
|