[ty] Subtyping for bidirectional inference by ibraheemdev · Pull Request #21930 · astral-sh/ruff (original) (raw)

@ibraheemdev added the ty

Multi-file analysis & type inference

label

Dec 11, 2025

This was referenced

Dec 18, 2025

@ibraheemdev ibraheemdev changed the base branch from main to ibraheem/failed-multi-inference

December 18, 2025 21:31

Base automatically changed from ibraheem/failed-multi-inference to main

December 19, 2025 15:38

ibraheemdev added a commit that referenced this pull request

Dec 19, 2025

@ibraheemdev

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).

carljm

This was referenced

Dec 23, 2025

@ibraheemdev

@ibraheemdev

carljm

KotlinIsland pushed a commit to KotlinIsland/basedpython that referenced this pull request

May 1, 2026

@ibraheemdev

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 }})