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

package/dist/analyzer/binder.js

@@ -2790,6 +2790,10 @@ class Binder extends parseTreeWalker_1.ParseTreeWalker {
     _createCallFlowNode(node) {
         if (!this._isCodeUnreachable()) {
             this._addExceptTargets(this._currentFlowNode);
+            const deletionCall = ParseTreeUtils.getTypedDictKeyDeletionCall(node);
+            if (deletionCall && (0, codeFlowTypes_1.isCodeFlowSupportedForReference)(deletionCall.d.leftExpr)) {
+                this._currentScopeCodeFlowExpressions.add((0, codeFlowTypes_1.createKeyForReference)(deletionCall.d.leftExpr));
+            }
             const flowNode = {
                 flags: codeFlowTypes_1.FlowFlags.Call,
                 id: this._getUniqueFlowNodeId(),
@@ -2838,6 +2842,10 @@ class Binder extends parseTreeWalker_1.ParseTreeWalker {
             if (isSupportedReference) {
                 this._currentScopeCodeFlowExpressions.add((0, codeFlowTypes_1.createKeyForReference)(node));
             }
+            // Key presence changes the containing TypedDict's narrowed type.
+            if (node.nodeType === 27 /* ParseNodeType.Index */ && (0, codeFlowTypes_1.isCodeFlowSupportedForReference)(node.d.leftExpr)) {
+                this._currentScopeCodeFlowExpressions.add((0, codeFlowTypes_1.createKeyForReference)(node.d.leftExpr));
+            }
             if (unbound) {
                 flowNode.flags |= codeFlowTypes_1.FlowFlags.Unbind;
             }