type[Union[A, B, ...]] produces false bad-specialization error when passed to constrained TypeVar parameter

Describe the Bug

Passing a value of type type[A | B | C] to a parameter typed type[T] where T is a constrained TypeVar produces a spurious bad-specialization error, even when every member of the union individually satisfies a constraint.

Reproducer

from typing import TypeVar, Union

TPrimitive = TypeVar("TPrimitive", str, bool, float, int, bytes, None)
ScalarValue = Union[str, bool, float, int, bytes, None]

PRIMITIVE_TYPES: dict[str, type[ScalarValue]] = {
    "S8": int,
    "double": float,
    "char": str,
}

def assertPrimitive(expectedType: type[TPrimitive]) -> TPrimitive: ...

expectedType = PRIMITIVE_TYPES["S8"]
assertPrimitive(expectedType)

Actual: bool | bytes | float | int | str | None is not assignable to any of constraints str, bool, float, int, bytes, None of type variable TPrimitive [bad-specialization]

Expected: No error. Each member of the union independently satisfies a constraint of TPrimitive.

Note: mypy, pyright, and ty all fail with this same false positive issue

Sandbox Link

https://pyrefly.org/sandbox/?project=N4IgZglgNgpgziAXKOBDAdgEwEYHsAeAdAA4CeS4ATrgLYAEALqcROgOZ0Q3G6UN0BBdKQA0dAMKooUVNlhiAKsxgA1VJTEBVdBFzoxABWoNcAY1xQAOumsKjXCAwgA3GHQC8dJcVXqAFHSWIHaUDk6uQWJwDBp0eBZiYFC4qAxirGlxpAzwYgByem4AlNYAyqZS6mpQAK5untq66ADadNGx8VCJyanp6JnY2bl0BehuALrW1gYASgCSALJzCnMqAKIA%2BgoAmgZrpYh0mBCmDK3tYkw%2BreWVlNV1dONPHnTA1nSfQaUAHEGHGREHy%2BIEwuBqchg-zoSRSaWBgXAPQY0NhvQRQQAYgBmABMqORQPQn0RmIAbAAWAlwokkoLOXAQTDQq4wAKjYq0kGmAAW6mhF2sAF8puhTDI4HA6AARVKoTG8GipAJGXAmcxQOhFRAIzAwMB0VCSmB8ew0RwuNkIkkkuAwKBgMQwfA%2BU4wTDeGCHVmtEJhS0vIp0AC0AD4vGaLa4dcSbYigkEZjAGDVKMSGDy3HAKjJKHRnFJHuYTaZ3YxcHQAFTO105D3KSuEBMgBOxm2EDuiz3S%2BAmiBSCAALxNr0k0lksFarVlDHlitSTzEQlIT1F1j1BtMlBgqRgkfCMB7dtCA%2BHlACs8obGTh3aWpD4e7vZPUCHJpjJJrMDd9Z8r1mizLKsmw7HspStJe178JMNhthuRzPv2r7DgEmByocM5zpQSr8EGYZ0LcuYPF61qfNuKZpkccqEEax4MPuloBF%2BP6elqCLkamxJ6seSFviAIggGQ25JKQhAmDQUAUAAxHQBikMJUArmgWB4PgdDmOgkBsKmqRNE26AyaUMBuDyDAMMQcCIAA9FZQn6ophC8GwVkwOgVlgqYcBWRpWk6U4ehWTCvCGgW0ATm4PkQNplC6XodC4MQ-noHA%2BlkBmejBq4lBwE0rxBNihAAIz4i2yUxCcDDBjmMiQsGcAQlcrAcJ4MR1NYzQmtQ2UwTUOjcLwdbBsc26nAGngAORRegvAwON1jTZV24AI41BA26YMGADWMCkMGqCmKWkqvONADu6joHN6AgEKAn7QemLQDAFDKTgBAkOQQpAA

(Only applicable for extension issues) IDE Information

No response