Incorrect __post_init__ order when KW_ONLY used

from dataclasses import dataclass, InitVar, KW_ONLY


@dataclass
class A:
    _: KW_ONLY
    x: InitVar[int]

    def __post_init__(self, x: int) -> None:
        pass


@dataclass
class C(A):
    y: InitVar[str]

    def __post_init__(self, x: int, y: str) -> None:  # Correct order.
        super().__post_init__(x)

gives

a.py:19: error: Argument 2 of "__post_init__" is incompatible with supertype "dataclass"; supertype defines the argument type as "str"  [override]
        def __post_init__(self, x: int, y: str) -> None:
                                ^~~~~~
a.py:19: error: Argument 3 of "__post_init__" is incompatible with supertype "dataclass"; supertype defines the argument type as "int"  [override]
        def __post_init__(self, x: int, y: str) -> None:

Empieza reproduciendo el ejemplo de Python indicado y confirma los dos errores de override relacionados con post_init. Después, sigue el tratamiento de dataclass de mypy para KW_ONLY e InitVar a fin de determinar dónde se deriva el orden de los argumentos. Se considera terminado cuando el ejemplo pasa la comprobación de tipos sin esos errores y conserva el orden de post_init demostrado.