3 Commits

Author	SHA1	Message	Date
Charlie Marsh	385dd2770b	[ty] Avoid double-inference on non-tuple argument to `Annotated` (#21837) ... ## Summary If you pass a non-tuple to `Annotated`, we end up running inference on it twice. I _think_ the only case here is `Annotated[]`, where we insert a (fake) empty `Name` node in the slice. Closes https://github.com/astral-sh/ty/issues/1801.	2025-12-08 10:24:05 -05:00
David Peter	e8e8180888	[ty] Implicit type aliases: Add support for `typing.Union` (#21363) ... ## Summary Add support for `typing.Union` in implicit type aliases / in value position. ## Typing conformance tests Two new tests are passing ## Ecosystem impact * The 2k new `invalid-key` diagnostics on pydantic are caused by https://github.com/astral-sh/ty/issues/1479#issuecomment-3513854645. * Everything else I've checked is either a known limitation (often related to type narrowing, because union types are often narrowed down to a subset of options), or a true positive. ## Test Plan New Markdown tests	2025-11-12 12:59:14 +01:00
Micha Reiser	b51c4f82ea	Rename Red Knot (#17820)	2025-05-03 19:49:15 +02:00