mypy
stubtest: error if an attribute is a read-only property at runtime, but isn't read-only in the stub
#12291

Merged

stubtest: error if an attribute is a read-only property at runtime, but isn't read-only in the stub #12291

hauntsaninja merged 5 commits into python:master from AlexWaygood:read-only

stubtest: error if an attribute is a read-only property at runtime, b…

c8d8a145

AlexWaygood changed the title ~~stubtest: error if an attribute is a read-only property at runtime, but not in the stub~~ stubtest: error if an attribute is a read-only property at runtime, but is read-only in the stub 4 years ago

AlexWaygood changed the title ~~stubtest: error if an attribute is a read-only property at runtime, but is read-only in the stub~~ stubtest: error if an attribute is a read-only property at runtime, but isn't read-only in the stub 4 years ago

Simplify

481cea52

Fix typo

8134f4f4

Add another test case

d2db2f54

hauntsaninja commented on 2022-03-21

Remove duplication in test cases

841aa1ba

AlexWaygood closed this 4 years ago

AlexWaygood reopened this 4 years ago

AlexWaygood requested a review from

hauntsaninja 4 years ago

hauntsaninja merged 27938e70 into master 4 years ago

AlexWaygood deleted the read-only branch 4 years ago

Reviewers

hauntsaninja

Assignees

No one assigned

Labels

None yet

Milestone

No milestone

mypy stubtest: error if an attribute is a read-only property at runtime, but isn't read-only in the stub #12291 Merged

stubtest: error if an attribute is a read-only property at runtime, but isn't read-only in the stub #12291

mypy
stubtest: error if an attribute is a read-only property at runtime, but isn't read-only in the stub
#12291

Merged