@zzzen/pyright-internal 1.2.0-dev.20260920 → 1.2.0-dev.20261004

package/dist/analyzer/checker.d.ts

@@ -8,6 +8,7 @@ export declare class Checker extends ParseTreeWalker {
     private _importResolver;
     private _evaluator;
     private _dependentFiles;
+    private _walkOperation?;
     private readonly _moduleNode;
     private readonly _fileInfo;
     private readonly _nodeInfo;
@@ -15,7 +16,7 @@ export declare class Checker extends ParseTreeWalker {
     private _scopedNodes;
     private _typeParamLists;
     private _multipartImports;
-    constructor(_importResolver: ImportResolver, _evaluator: TypeEvaluator, parseResults: ParserOutput, _dependentFiles: ParserOutput[] | undefined, nodeInfoReader: AnalyzerNodeInfo.AnalyzerNodeInfoReader);
+    constructor(_importResolver: ImportResolver, _evaluator: TypeEvaluator, parseResults: ParserOutput, _dependentFiles: ParserOutput[] | undefined, nodeInfoReader: AnalyzerNodeInfo.AnalyzerNodeInfoReader, _walkOperation?: ((node: ParseNode, callback: () => void) => void) | undefined);
     check(): void;
     walk(node: ParseNode): void;
     visitSuite(node: SuiteNode): boolean;
@@ -147,7 +148,6 @@ export declare class Checker extends ParseTreeWalker {
     private _validateTypedDictOverrides;
     private _validateBaseClassOverrides;
     private _validateOverrideDecoratorPresent;
-    private _isMethodExemptFromLsp;
     private _validateOverrideDecoratorNotPresent;
     private _getCallableVariableOverrideComparison;
     private _markFunctionStatic;

package/dist/analyzer/checker.js

@@ -88,7 +88,7 @@ const typeUtils_1 = require("./typeUtils");
 // functions to be emitted.
 const isPrintCodeComplexityEnabled = false;
 class Checker extends parseTreeWalker_1.ParseTreeWalker {
-    constructor(_importResolver, _evaluator, parseResults, _dependentFiles, nodeInfoReader) {
+    constructor(_importResolver, _evaluator, parseResults, _dependentFiles, nodeInfoReader, _walkOperation) {
         // Forward the reader to the base walker so the structural walk expands both tier-1
         // (parser-derived) and tier-2 (evaluator-discovered, e.g. `cast("Foo", v)`) string
         // annotations. The checker runs after type evaluation, so tier-2 annotations exist by
@@ -99,6 +99,7 @@ class Checker extends parseTreeWalker_1.ParseTreeWalker {
         this._importResolver = _importResolver;
         this._evaluator = _evaluator;
         this._dependentFiles = _dependentFiles;
+        this._walkOperation = _walkOperation;
         this._isUnboundCheckSuppressed = false;
         // A list of all nodes that are defined within the module that
         // have their own scopes.
@@ -135,6 +136,19 @@ class Checker extends parseTreeWalker_1.ParseTreeWalker {
         this._reportDuplicateImports();
     }
     walk(node) {
+        if (this._walkOperation) {
+            this._walkOperation(node, () => {
+                if (!this._nodeInfo.isCodeUnreachable(node)) {
+                    super.walk(node);
+                }
+                else {
+                    this._evaluator.suppressDiagnostics(node, () => {
+                        super.walk(node);
+                    });
+                }
+            });
+            return;
+        }
         if (!this._nodeInfo.isCodeUnreachable(node)) {
             super.walk(node);
         }
@@ -2789,7 +2803,10 @@ class Checker extends parseTreeWalker_1.ParseTreeWalker {
         }
         const action = rule === diagnosticRules_1.DiagnosticRule.reportUnusedImport ? { action: "pyright.unusedImport" /* Commands.unusedImport */ } : undefined;
         if (nameNode) {
-            this._fileInfo.diagnosticSink.addUnusedCodeWithTextRange(localize_1.LocMessage.unaccessedSymbol().format({ name: nameNode.d.value }), nameNode, action);
+            const isAllowedUnusedVariable = rule === diagnosticRules_1.DiagnosticRule.reportUnusedVariable && nameNode.d.value.startsWith('_');
+            if (!isAllowedUnusedVariable) {
+                this._fileInfo.diagnosticSink.addUnusedCodeWithTextRange(localize_1.LocMessage.unaccessedSymbol().format({ name: nameNode.d.value }), nameNode, action);
+            }
             if (rule !== undefined && message && diagnosticLevel !== 'none') {
                 this._evaluator.addDiagnostic(rule, message, nameNode);
             }
@@ -4692,7 +4709,7 @@ class Checker extends parseTreeWalker_1.ParseTreeWalker {
             return;
         }
         // Constructors are exempt.
-        if (this._isMethodExemptFromLsp(overrideFunction.shared.name)) {
+        if (SymbolNameUtils.isMethodExemptFromLsp(overrideFunction.shared.name)) {
             return;
         }
         // If the declaration for the override function is not the same as the
@@ -4710,11 +4727,6 @@ class Checker extends parseTreeWalker_1.ParseTreeWalker {
             className: this._evaluator.printType((0, typeUtils_1.convertToInstance)(baseMember.classType)),
         }), funcNode.d.name);
     }
-    // Determines whether the name is exempt from Liskov Substitution Principle rules.
-    _isMethodExemptFromLsp(name) {
-        const exemptMethods = ['__init__', '__new__', '__init_subclass__', '__post_init__'];
-        return exemptMethods.some((n) => n === name);
-    }
     // Determines whether the type is a function or overloaded function with an @override
     // decorator. In this case, an error is reported because no base class has declared
     // a method of the same name.
@@ -4863,7 +4875,7 @@ class Checker extends parseTreeWalker_1.ParseTreeWalker {
             // Also, skip this check if the class is a TypedDict. The methods for a TypedDict
             // are synthesized, and they can result in many overloads. We assume they
             // are correct and will not produce any errors.
-            if (this._isMethodExemptFromLsp(memberName) ||
+            if (SymbolNameUtils.isMethodExemptFromLsp(memberName) ||
                 SymbolNameUtils.isPrivateName(memberName) ||
                 types_1.ClassType.isTypedDictClass(childClassType)) {
                 return;