4 Commits

Author	SHA1	Message	Date
Ibraheem Ahmed	040aa7463b	[ty] Narrow type context during literal promotion in generic class constructors (#21574) ... ## Summary Resolves https://github.com/astral-sh/ty/issues/1603.	2025-11-21 17:05:32 -05:00
Ibraheem Ahmed	c5d654bce8	[ty] Improve literal promotion heuristics (#21439) ... ## Summary Extends literal promotion to apply to any generic method, as opposed to only generic class constructors. This PR also improves our literal promotion heuristics to only promote literals in non-covariant position in the return type, and avoid promotion if the literal is present in non-covariant position in any argument type. Resolves https://github.com/astral-sh/ty/issues/1357.	2025-11-14 16:13:56 -05:00
David Peter	1734ddfb3e	[ty] Do not promote literals in contravariant positions of generic specializations (#21171) ... ## Summary closes https://github.com/astral-sh/ty/issues/1284 supersedes https://github.com/astral-sh/ruff/pull/20950 by @ibraheemdev ## Test Plan New regression test	2025-10-31 17:48:34 +01:00
David Peter	0c2cf75869	[ty] Do not promote literals in contravariant position (#21164) ... ## Summary closes https://github.com/astral-sh/ty/issues/1463 ## Test Plan Regression tests	2025-10-31 16:00:30 +01:00