Add else-branch narrowing for if type(a) is A when A is @final by AlexWaygood · Pull Request #19925 · astral-sh/ruff (original) (raw)

added the ty

Multi-file analysis & type inference

label

Aug 15, 2025

dcreager added a commit that referenced this pull request

Aug 15, 2025

• main: [ty] Represent NamedTuple as an opaque special form, not a class (#19915) [ty] Remove incorrect type narrowing for if type(x) is C[int] (#19926) Bump Rust MSRV to 1.87 (#19924) Add else-branch narrowing for if type(a) is A when A is @final (#19925) [ty] Sync vendored typeshed stubs (#19923) [ty] fix lazy snapshot sweeping in nested scopes (#19908)

This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.Learn more about bidirectional Unicode characters

[ Show hidden characters]({{ revealButtonHref }})