@Liz, I agree with your analysis. The code in Joren’s example demonstrates a bug in pyright’s type narrowing logic. I’ve created this bug report to track the issue.
@Liz, I agree with your analysis. The code in Joren’s example demonstrates a bug in pyright’s type narrowing logic. I’ve created this bug report to track the issue.