Typing overloaded function signature with non-optional keyword-only argument

Hiya, mypy has been telling me that the first overloaded function signature here is not covered by the implementation. Am I missing something, as I believe it is. Is this just a current shortcoming of the type-checking that mypy is able to do, or is it my mistake? from collections.abc import Sequence from typing import overload class Foo: @overload def __init__(self, *, pragma_type: str) -> None: ... @overload def __init__( self, raw_rule_codes: Sequence[int], /, pragma...