[ty] Subtyping for bidirectional inference by ibraheemdev · Pull Request #21930 · astral-sh/ruff (original) (raw)
added the ty
Multi-file analysis & type inference
label
This was referenced
Dec 18, 2025
ibraheemdev changed the base branch from main to ibraheem/failed-multi-inference
Base automatically changed from ibraheem/failed-multi-inference to main
ibraheemdev added a commit that referenced this pull request
Summary
This should make revealed types a little nicer, as well as avoid confusing the constraint solver in some cases (which were showing up in #21930).
This was referenced
Dec 23, 2025
KotlinIsland pushed a commit to KotlinIsland/basedpython that referenced this pull request
Summary
This should make revealed types a little nicer, as well as avoid confusing the constraint solver in some cases (which were showing up in astral-sh/ruff#21930).
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 }})