Class factory with type[TypeVar] with upper bound not checked correctly (false positive) #14790

from typing import TypeVar, Type, Union

class A:
    def __init__(self, x: str) -> None: pass
class B:
    def __init__(self, x: int) -> None: pass
class C:
    def __init__(self, x: int) -> None: pass

T = TypeVar('T', bound=Union[A, B])

def f(x: Type[T]) -> T:
    return x(1)  \
        # E: Incompatible return value type (got "Union[A, B]", expected "T") \
        # E: Argument 1 to "A" has incompatible type "int"; expected "str"

T2 = TypeVar('T2', bound=Union[B, C])

def f2(x: Type[T2]) -> T2:
    return x(1)  # E: Incompatible return value type (got "Union[B, C]", expected "T2")