### Describe the Bug Minimal repro: ```python from typing import TypeVar, Annotated, TypeAlias _T = TypeVar("_T") Ann: TypeAlias = Annotated[_T, "Ann"] class A: pass class B(Ann[A]): pass def f(b: B) -> int: return b # <- HERE ``` Expected: Error on the line marked `HERE` Actual: No error ### Sandbox Link https://pyrefly.org/sandbox/?project=N4IgZglgNgpgziAXKOBDAdgEwEYHsAeAdAA4CeS4ATrgLYAEALqcROgOZ0Q3G6UN0AVZjABqqSgBo6AQXTpcDVAxiYpQ4jGlQIqOAB10BgPoC6AXkHCxlABR6QJ%2BwEoDs9IksatOuOZlyFJRUAbRMpezd7AF0DAwBjKF1faQ9iJPjEuF8AIRs3YOkop1T0wywYMDowG2wPbKc6AFoAPk50BkQDOm66ShgGAFdKdDpsEAkQAYZoOBJyRBAAYjoAVWntJiqB9Djp3HR9MswKqt4aJSN0AZpsGFt8D1YGBpa6OAZKTpGevsHhqvsADlrrdPnRgPgAL72AzjEBkPpgKCkQgMWhQCjLAAKpERyLeGBwBDocX2kDYQyUEH2hAMywAyjAYHQABYMBjEOCIAD03IRFWRhF4bG5MHQ3MwuDicG5pPQ5Mpe3Fp0odFQADdUNBUNhYCSyRAKZQqfs6LhiErZgYyAwWftGuq7nBqSMLPYAMyEACMACYYegQJCJqhdhBHQAxaAwChoLB4IhkQNAA ### (Only applicable for extension issues) IDE Information _No response_