David Peter 3932f7c849 [ty] Fix subtyping for dynamic specializations (#20592) ...

## Summary

Fixes a bug observed by @AlexWaygood where `C[Any] <: C[object]` should
hold for a class that is covariant in its type parameter (and similar
subtyping relations involving dynamic types for other variance
configurations).

## Test Plan

New and updated Markdown tests

2025-09-26 15:05:03 +02:00

..

legacy

[ty] Use C[T] instead of C[Unknown] for the upper bound of Self (#20479)

2025-09-23 14:02:25 +02:00

pep695

[ty] Fix subtyping for dynamic specializations (#20592)

2025-09-26 15:05:03 +02:00

builtins.md

[ty] Support using legacy typing aliases for generic classes in type annotations (#18404)

2025-06-03 12:09:51 +01:00

scoping.md

Display generic function signature properly (#19544)

2025-08-05 16:35:08 -07:00