Skip to content

Regression caused by #5565 #5573

Closed
Closed
Regression caused by #5565#5573
Assignees
ilevkivskyi
Labels
bugmypy got something wrongfalse-positivemypy gave an error on correct codepriority-0-high

Description

@ilevkivskyi
ilevkivskyi
opened on Sep 5, 2018

#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: ...
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Metadata

Metadata

Assignees

Labels

bugmypy got something wrongfalse-positivemypy gave an error on correct codepriority-0-high

Projects

No projects

    Milestone

    No milestone

    Relationships

    None yet

    Development

    No branches or pull requests

    Issue actions