David Peter 130a794c2b [ty] Add tests for nested generic functions (#20631) ... ## Summary Add two simple tests that we recently discussed with @dcreager. They demonstrate that the `TypeMapping::MarkTypeVarsInferable` operation really does need to keep track of the binding context. ## Test Plan Made sure that those tests fail if we create `TypeMapping::MarkTypeVarsInferable(None)`s everywhere.		2025-09-30 08:44:18 +02:00
..
aliases.md	[ty] Add support for generic PEP695 type aliases (#20219)	2025-09-08 13:26:21 -07:00
classes.md	[ty] Use typing.Self for the first parameter of instance methods (#20517)	2025-09-29 21:08:08 +02:00
functions.md	[ty] Add tests for nested generic functions (#20631)	2025-09-30 08:44:18 +02:00
variables.md	[ty] Add mdtests that exercise constraint sets (#20319)	2025-09-10 13:22:19 -04:00
variance.md	[ty] Fix subtyping for dynamic specializations (#20592)	2025-09-26 15:05:03 +02:00