Generics в Pyhthon или помогите победить mypy

[Stalkert]

Вот в таком MWE:

from typing import Generic, TypeVar

import dataclasses

T = TypeVar('T')


@dataclasses.dataclass()
class A(Generic[T]):
    attr: T


A(attr=0)  # OK!


@dataclasses.dataclass()
class B(A[float]):
    ...


B(attr=float(0))  # Argument "attr" to "B" has incompatible type "float"; expected "T"

mypy ругается на последнюю строчку ошибкой «Argument „attr“ to „B“ has incompatible type „float“; expected „T“. Но ведь класс B уточнил, что T - это float, так что все должно быть нормально.

 code review, lint, mypy, python, python 3