-
-
Notifications
You must be signed in to change notification settings - Fork 3k
Closed
Labels
bugmypy got something wrongmypy got something wrongfalse-positivemypy gave an error on correct codemypy gave an error on correct codepriority-0-high
Description
#5565 causes the following code to fail with Name 'x' already defined
, while it is perfectly valid:
class C:
def __init__(self, x: int) -> None:
self.x = x
@property
def x(self) -> int: ...
@x.setter
def x(self, x: int) -> None: ...
Metadata
Metadata
Assignees
Labels
bugmypy got something wrongmypy got something wrongfalse-positivemypy gave an error on correct codemypy gave an error on correct codepriority-0-high