Open
Description
Describe the Bug
class A:
_x: int
def __init__(self, x:int):
self._x: int = x # E: Cannot annotate attribute `_x`, which is already annotated in the class body
Pyright doesn't emit that error. The annotations are consistent. Why do we complain?
I can take a look at it.
Sandbox Link
(Only applicable for extension issues) IDE Information
No response