generic class with single constructor input can be inferred as a distributed union

[KotlinIsland]

class A[T]:
    def __init__(self, value: T):
        self._value = value

def f(value: int | str):
    _: A[int] | A[str] = A(value)  # Type "A[int | str]" is not assignable to declared type "A[int] | A[str]"

playground

the value here could be safely inferred as A[int] | A[str], as there is only one input value