@zzzen/pyright-internal 1.2.0-dev.20240317 → 1.2.0-dev.20240331

package/dist/analyzer/checker.js

@@ -78,11 +78,10 @@ const types_1 = require("./types");
 // functions to be emitted.
 const isPrintCodeComplexityEnabled = false;
 class Checker extends parseTreeWalker_1.ParseTreeWalker {
-    constructor(_importResolver, _evaluator, _parseResults, _sourceMapper, _dependentFiles) {
+    constructor(_importResolver, _evaluator, parseResults, _sourceMapper, _dependentFiles) {
         super();
         this._importResolver = _importResolver;
         this._evaluator = _evaluator;
-        this._parseResults = _parseResults;
         this._sourceMapper = _sourceMapper;
         this._dependentFiles = _dependentFiles;
         this._isUnboundCheckSuppressed = false;
@@ -91,7 +90,7 @@ class Checker extends parseTreeWalker_1.ParseTreeWalker {
         this._scopedNodes = [];
         // A list of all visited type parameter lists.
         this._typeParameterLists = [];
-        this._moduleNode = _parseResults.parseTree;
+        this._moduleNode = parseResults.parseTree;
         this._fileInfo = AnalyzerNodeInfo.getFileInfo(this._moduleNode);
     }
     check() {
@@ -355,7 +354,7 @@ class Checker extends parseTreeWalker_1.ParseTreeWalker {
         if (node.functionAnnotationComment) {
             this.walk(node.functionAnnotationComment);
             if (this._fileInfo.diagnosticRuleSet.reportTypeCommentUsage !== 'none' &&
-                this._fileInfo.executionEnvironment.pythonVersion >= pythonVersion_1.PythonVersion.V3_5) {
+                this._fileInfo.executionEnvironment.pythonVersion.isGreaterOrEqualTo(pythonVersion_1.pythonVersion3_5)) {
                 this._evaluator.addDiagnostic(diagnosticRules_1.DiagnosticRule.reportTypeCommentUsage, localize_1.LocMessage.typeCommentDeprecated(), node.functionAnnotationComment);
             }
         }
@@ -732,7 +731,7 @@ class Checker extends parseTreeWalker_1.ParseTreeWalker {
         if (node.typeAnnotationComment) {
             this._evaluator.getType(node.typeAnnotationComment);
             if (this._fileInfo.diagnosticRuleSet.reportTypeCommentUsage !== 'none' &&
-                this._fileInfo.executionEnvironment.pythonVersion >= pythonVersion_1.PythonVersion.V3_6) {
+                this._fileInfo.executionEnvironment.pythonVersion.isGreaterOrEqualTo(pythonVersion_1.pythonVersion3_6)) {
                 this._evaluator.addDiagnostic(diagnosticRules_1.DiagnosticRule.reportTypeCommentUsage, localize_1.LocMessage.typeCommentDeprecated(), node.typeAnnotationComment);
             }
         }
@@ -853,7 +852,7 @@ class Checker extends parseTreeWalker_1.ParseTreeWalker {
         // associated with f-strings that we need to validate. Determine whether
         // we're within an f-string (or multiple f-strings if nesting is used).
         const fStringContainers = [];
-        if (this._fileInfo.executionEnvironment.pythonVersion < pythonVersion_1.PythonVersion.V3_12) {
+        if (this._fileInfo.executionEnvironment.pythonVersion.isLessThan(pythonVersion_1.pythonVersion3_12)) {
             let curNode = node;
             while (curNode) {
                 if (curNode.nodeType === 27 /* ParseNodeType.FormatString */) {
@@ -3010,17 +3009,17 @@ class Checker extends parseTreeWalker_1.ParseTreeWalker {
             if (deprecatedForm) {
                 if (((0, types_1.isInstantiableClass)(type) && type.details.fullName === deprecatedForm.fullName) ||
                     ((_b = type.typeAliasInfo) === null || _b === void 0 ? void 0 : _b.fullName) === deprecatedForm.fullName) {
-                    if (this._fileInfo.executionEnvironment.pythonVersion >= deprecatedForm.version) {
+                    if (this._fileInfo.executionEnvironment.pythonVersion.isGreaterOrEqualTo(deprecatedForm.version)) {
                         if (!deprecatedForm.typingImportOnly || isImportFromTyping) {
                             if (this._fileInfo.diagnosticRuleSet.reportDeprecated === 'none') {
                                 this._evaluator.addDeprecated(localize_1.LocMessage.deprecatedType().format({
-                                    version: (0, pythonVersion_1.versionToString)(deprecatedForm.version),
+                                    version: deprecatedForm.version.toString(),
                                     replacement: deprecatedForm.replacementText,
                                 }), node);
                             }
                             else {
                                 this._evaluator.addDiagnostic(diagnosticRules_1.DiagnosticRule.reportDeprecated, localize_1.LocMessage.deprecatedType().format({
-                                    version: (0, pythonVersion_1.versionToString)(deprecatedForm.version),
+                                    version: deprecatedForm.version.toString(),
                                     replacement: deprecatedForm.replacementText,
                                 }), node);
                             }
@@ -3460,14 +3459,16 @@ class Checker extends parseTreeWalker_1.ParseTreeWalker {
         const declaredValueType = (0, enums_1.getEnumDeclaredValueType)(this._evaluator, classType, /* declaredTypesOnly */ true);
         // Is there a custom "__new__" and/or "__init__" method? If so, we'll
         // verify that the signature of these calls is compatible with the values.
-        let newMemberTypeResult = (0, constructors_1.getBoundNewMethod)(this._evaluator, node.name, classType, 4 /* MemberAccessFlags.SkipObjectBaseClass */);
+        let newMemberTypeResult = (0, constructors_1.getBoundNewMethod)(this._evaluator, node.name, classType, 
+        /* diag */ undefined, 4 /* MemberAccessFlags.SkipObjectBaseClass */);
         // If this __new__ comes from a built-in class like Enum, we'll ignore it.
         if (newMemberTypeResult === null || newMemberTypeResult === void 0 ? void 0 : newMemberTypeResult.classType) {
             if ((0, types_1.isClass)(newMemberTypeResult.classType) && types_1.ClassType.isBuiltIn(newMemberTypeResult.classType)) {
                 newMemberTypeResult = undefined;
             }
         }
-        let initMemberTypeResult = (0, constructors_1.getBoundInitMethod)(this._evaluator, node.name, types_1.ClassType.cloneAsInstance(classType), 4 /* MemberAccessFlags.SkipObjectBaseClass */);
+        let initMemberTypeResult = (0, constructors_1.getBoundInitMethod)(this._evaluator, node.name, types_1.ClassType.cloneAsInstance(classType), 
+        /* diag */ undefined, 4 /* MemberAccessFlags.SkipObjectBaseClass */);
         // If this __init__ comes from a built-in class like Enum, we'll ignore it.
         if (initMemberTypeResult === null || initMemberTypeResult === void 0 ? void 0 : initMemberTypeResult.classType) {
             if ((0, types_1.isClass)(initMemberTypeResult.classType) && types_1.ClassType.isBuiltIn(initMemberTypeResult.classType)) {
@@ -4408,6 +4409,10 @@ class Checker extends parseTreeWalker_1.ParseTreeWalker {
         if (!symbol.getDeclarations().some((decl) => decl === overrideFunction.details.declaration)) {
             return;
         }
+        // If the base class is unknown, don't report a missing decorator.
+        if ((0, types_1.isAnyOrUnknown)(baseMember.classType)) {
+            return;
+        }
         const funcNode = overrideFunction.details.declaration.node;
         this._evaluator.addDiagnostic(diagnosticRules_1.DiagnosticRule.reportImplicitOverride, localize_1.LocMessage.overrideDecoratorMissing().format({
             name: funcNode.name.value,