[type-abstract] reports with a tuple when the actual type is a dict

[bzoracler]

Bug Report, To Reproduce, & Actual Behaviour

See mypy Playground

from abc import ABC, abstractmethod

class Abstract(ABC):
    @abstractmethod
    def method(self) -> None: ...

class Unimplemented(Abstract): ...

class Parent:
    others: dict[str, type[Abstract]]

class Child(Parent):
    others = {"abstract": Unimplemented}  # E: Only concrete class can be given where "tuple[str, type[Abstract]]" is expected  [type-abstract]

Expected Behavior

Reports the error message with "dict[str, type[Abstract]]".

Your Environment

• Mypy version used: 1.10
• Mypy command-line flags: None
• Mypy configuration options from mypy.ini (and other config files): None
• Python version used: 3.10, 3.12

[TeamSpen210]

The reason this happens is because when you have type[T], you're allowed to call that with the appropriate parameters to get a result of T out. In order for that to be allowed, Mypy checks to see if the provided type matches the specified type's __init__.With an abstract class, it's not legal to create an instance of that, so that means they cannot be assigned to type[T]. See here in the type specification docs, and also #4717. To solve this, we sort of need a way to indicate whether or not you want to be able to construct the type...

[Kakadus]

The reason this happens is because when you have type[T], you're allowed to call that with the appropriate parameters to get a result of T out. In order for that to be allowed, Mypy checks to see if the provided type matches the specified type's __init__.With an abstract class, it's not legal to create an instance of that, so that means they cannot be assigned to type[T]. See here in the type specification docs, and also #4717. To solve this, we sort of need a way to indicate whether or not you want to be able to construct the type...

Thanks for the reply, you are 100% right. Actually my comment was off-topic, so I deleted it (basically the same as OP, just without the dict part). The issue from the OP is that the error message complains about a tuple[str, type[Abstract]] while dict[str, type[Abstract] was used for annotation