[ty] do not union Unknown into unannotated container types by carljm · Pull Request #23718 · astral-sh/ruff (original) (raw)

added the ty

Multi-file analysis & type inference

label

Mar 4, 2026

carljm marked this pull request as ready for review

March 5, 2026 00:23

• main: Update conformance suite commit hash (#23746) conformance.py: Collapse the summary paragraph when nothing changed (#23745) [ty] Make inferred specializations line up with source types more better (#23715) Bump 0.15.5 (#23743) [ty] Render all changed diagnostics in conformance.py (#23613) [ty] Split deferred checks out of types/infer/builder.rs (#23740) Discover markdown files by default in preview mode (#23434) [ty] Use HasOptionalDefinition for except handlers (#23739) [ty] Fix precedence of all selector in TOML configurations (#23723) [ty] Make all selector case sensitive (#23713) [ty] Add a diagnostic if a TypeVar is used to specialize a ParamSpec, or vice versa (#23738) [ty] Override home directory in ty tests (#23724) [ty] More type-variable default validation (#23639) [ty] Validate bare ParamSpec usage in type annotations, and support stringified ParamSpecs as the first argument to Callable (#23625) [ty] Add all selector to ty.json's schema (#23721) [ty] Add quotes to related issues links (#23720) [ty] Fix panic on incomplete except handlers (#23708)

carljm deleted the cjm/remove-container-literal-unknown branch

March 5, 2026 23:40

carljm added a commit that referenced this pull request

Mar 6, 2026

Summary

Avoid inferring invariant container types like list[int & ~AlwaysFalsy], preferring list[int] instead.

Also generally rename "literal promotion" to just "promotion" -- it already promoted e.g. float to int | float, so it wasn't restricted to literal types. Now it includes even more non-literal cases.

Test Plan

Added an mdtest.

Removes ~200 ecosystem hits from #23718

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

May 1, 2026

Summary

Avoid inferring invariant container types like list[int & ~AlwaysFalsy], preferring list[int] instead.

Also generally rename "literal promotion" to just "promotion" -- it already promoted e.g. float to int | float, so it wasn't restricted to literal types. Now it includes even more non-literal cases.

Test Plan

Added an mdtest.

Removes ~200 ecosystem hits from astral-sh/ruff#23718

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