False negative when checking subtypes for classes that inherits from generic type alias on `Annotated`

[grievejia]

Describe the Bug

Minimal repro:

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

[grievejia]

Looked a bit today and this might be tricky. We currently do not fully inspect the targs for generic classes on the base class list (to avoid creating dependency cycles), but this example requires us to do so.

[yangdanny97]

Another example from internal Q&A group: https://pyrefly.org/sandbox/?project=N4IgZglgNgpgziAXKOBDAdgEwEYHsAeAdAA4CeS4ATrgLYAEALqcROgOZ0Q3G6UN0BBdOlwNUDGJgA0dACrMYANVSUAOunUBjKKjhxBiOsV1x1WnXroBhAAwAKISLETMAbQEzVIW14C6ASkMAYjoROhhKajV0OlijEzMNdFk6AF45BWVKOy9ZL39ExIAhXRg0wWFRcUlXWU8QErgYPzoQsIio8xNrO0aYdwDEdTj4vUTMGDA6MDtNQyt-OgBaAD5OdAYhmLjKGAYAV0oYzVa6OwBGfxApEH2GaDgSckQQEIBVe6gIJmn99E17rh0KYkhMpmBeDRxAB9dD7GjYCJ2fCGVgMRarOhwBiULYjXYHI7TLwAOXhiNxdGA%2BAAvl51NcQGRdmAoKRCAxaFAKCEAAqkFlsrEYHAEOiaIGQNiHcQQIGEdQhADKMDKAAsGAxiHBEAB6XXMyZswi8Ni6mDoXWYXCaOC6iXoKUywGW6a8OioABuqGgqGwsHFkog0sosqBdFwxBdj3UZAYaqBS09ETgcpi6S8AGZCOcAEz09AgGk3VAAiDJgBi0BgFDQWDwRDIRaAA