This definition:
@overload
def reverse(
viewname: Literal["some-view"],
urlconf: str | None = ...,
*, args: Literal[None] = ...,
kwargs: EmptyDict | None,
current_app: Literal[None] = ...,
) -> str: ...
Will not match reverse("some-view"), although valid at runtime. This is probably also true for any typed dict where all keys aren't required.
This definition:
Will not match
reverse("some-view"), although valid at runtime. This is probably also true for any typed dict where all keys aren't required.