Carl Meyer 951766d1fb [ty] default-specialize class-literal types in assignment to generic-alias types (#21883) ... Fixes https://github.com/astral-sh/ty/issues/1832, fixes https://github.com/astral-sh/ty/issues/1513 ## Summary A class object `C` (for which we infer an unspecialized `ClassLiteral` type) should always be assignable to the type `type[C]` (which is default-specialized, if `C` is generic). We already implemented this for most cases, but we missed the case of a generic final type, where we simplify `type[C]` to the `GenericAlias` type for the default specialization of `C`. So we also need to implement this assignability of generic `ClassLiteral` types as-if default-specialized. ## Test Plan Added mdtests that failed before this PR. --------- Co-authored-by: David Peter <mail@david-peter.de>		2025-12-10 17:18:08 +01:00
..
resources	[ty] default-specialize class-literal types in assignment to generic-alias types (#21883)	2025-12-10 17:18:08 +01:00
src	[ty] default-specialize class-literal types in assignment to generic-alias types (#21883)	2025-12-10 17:18:08 +01:00
tests	[ty] Don't send publish diagnostics for clients supporting pull diagnostics (#21772)	2025-12-04 08:12:04 +01:00
Cargo.toml	[ty] bump dependencies to pull in Salsa support for `ordermap` (#21854)	2025-12-09 19:08:03 -08:00
build.rs	Rename Red Knot (#17820)	2025-05-03 19:49:15 +02:00
mdtest.py	[ty] mdtests with external dependencies (#20904)	2025-12-08 11:44:20 +01:00
mdtest.py.lock	Rename Red Knot (#17820)	2025-05-03 19:49:15 +02:00