Incorrect (incomplete) inference for mapping containing types derived from Any

Bug Report

Given a dict literal where the values are (lists of) types which include an Any in their hierarchy as well as a concrete type, the inference is unable to match the values to the side of the inheritance chain that ends in Any. This does not seem to be an issue if the same lists are extracted out of the dict literal and assigned directly to an equivalent variable.

To Reproduce

# Some import that mypy can't follow (perhaps a library which isn't annotated)
import unknown

class FromAny(unknown.Something):
    pass

class Mixin:
    pass

class Concrete1(Mixin, FromAny):
    pass

class Concrete2(Mixin, FromAny):
    pass

values: list[type[FromAny]]

# works ok
values = [Concrete1, Concrete2]

# Error: Incompatible types in assignment (expression has type "List[Type[Mixin]]", variable has type "List[Type[FromAny]]")  [assignment]
values = {
    42: [Concrete1, Concrete2],
}[42]

Your Environment

• Mypy version used: 0.921, 0.961
• Mypy command-line flags: none
• Mypy configuration options from mypy.ini (and other config files): none
• Python version used: 3.9

No source file or test is named in the issue. Start by running the provided Python reproducer through mypy and trace inference for the dict literal and its indexed value, then add a regression test showing that the concrete classes are accepted as list[type[FromAny]].