-
-
Notifications
You must be signed in to change notification settings - Fork 1.9k
Closed
Labels
stubs: false positiveType checkers report false errorsType checkers report false errors
Description
a: slice[None, None, None] = slice(None, None, None)
Incompatible types in assignment (expression has type "slice[int | Any, int | Any, int | Any]", variable has type "slice[None, None, None]")
Lines 952 to 955 in dc1ce5f
@overload | |
def __new__( | |
cls, start: int | None, stop: int | None, step: int | None = None, / | |
) -> slice[int | MaybeNone, int | MaybeNone, int | MaybeNone]: ... |
found here: data-apis/array-api-extra#82 (comment)
Metadata
Metadata
Assignees
Labels
stubs: false positiveType checkers report false errorsType checkers report false errors