False [uninitialized-instance-variable] error in frozen dataclass #5326

from dataclasses import dataclass
from pathlib import PurePosixPath


@dataclass(frozen=True, slots=True, init=False)
class File:
	# ERROR sandbox.py:7:5-10: Instance attribute `inner` is declared but never initialized [uninitialized-instance-variable]
    inner: tuple[PurePosixPath, int]

    def __init__(self, path: str, /, *, size: int) -> None:
        object.__setattr__(self, "inner", (PurePosixPath(path), size))

    @property
    def name(self) -> str:
        path, _ = self.inner
        return path.name

    @property
    def size(self) -> int:
        _, size = self.inner
        return size