Type inference problem when tying a class with a type var

[wrobell]

Please consider

import dataclasses as dtc
import typing as tp

T = tp.TypeVar('T', int, str, covariant=True)

@dtc.dataclass(frozen=True)
class C(tp.Generic[T]):
    c: type[T]

c_decision: dict[bool, C] = {
    True: C(int),
    False: C(str),
}

reveal_type(c_decision[True])
reveal_type(c_decision[False])

then

$ mypy -V
mypy 0.942
$ mypy issues-mypy/t9.py
issues-mypy/t9c.py:15: note: Revealed type is "t9c.C*[Any]"
issues-mypy/t9c.py:16: note: Revealed type is "t9c.C*[Any]"

If I remove type annotation for c_decision

c_decision = {
    True: C(int),
    False: C(str),
}

then the output is

issues-mypy/t9c.py:15: note: Revealed type is "builtins.object*"
issues-mypy/t9c.py:16: note: Revealed type is "builtins.object*"

EDIT: rewriting the description to try to simplify the problem

[wrobell]

Another example

import dataclasses as dtc
import typing as tp

class X: pass
class Y(X): pass
class Z(X): pass

T = tp.TypeVar('T', bound=Y | Z, covariant=True)

@dtc.dataclass(frozen=True)
class C(tp.Generic[T]):
    c: type[T]

decision = {
    True: C(Y),
    False: C(Z),
}

reveal_type(decision[True])  #  C[X] or C[Any]?
reveal_type(decision[False])

h_decision = {
    True: Y(),
    False: Z(),
}

reveal_type(h_decision[True])
reveal_type(h_decision[False])

then

issues-mypy/t9c.py:19: note: Revealed type is "builtins.object*"
issues-mypy/t9c.py:20: note: Revealed type is "builtins.object*"
issues-mypy/t9c.py:27: note: Revealed type is "t9c.X*"
issues-mypy/t9c.py:28: note: Revealed type is "t9c.X*"