@@ -185,10 +185,10 @@ from attr import attrib, attrs
185185class A:
186186 a: int
187187reveal_type(A) # N: Revealed type is "def (a: builtins.int) -> __main__.A"
188- reveal_type(A.__lt__) # N: Revealed type is "def [_AT] (self: _AT`3 , other: _AT`3 ) -> builtins.bool"
189- reveal_type(A.__le__) # N: Revealed type is "def [_AT] (self: _AT`4 , other: _AT`4 ) -> builtins.bool"
190- reveal_type(A.__gt__) # N: Revealed type is "def [_AT] (self: _AT`5 , other: _AT`5 ) -> builtins.bool"
191- reveal_type(A.__ge__) # N: Revealed type is "def [_AT] (self: _AT`6 , other: _AT`6 ) -> builtins.bool"
188+ reveal_type(A.__lt__) # N: Revealed type is "def [_AT] (self: _AT`4 , other: _AT`4 ) -> builtins.bool"
189+ reveal_type(A.__le__) # N: Revealed type is "def [_AT] (self: _AT`5 , other: _AT`5 ) -> builtins.bool"
190+ reveal_type(A.__gt__) # N: Revealed type is "def [_AT] (self: _AT`6 , other: _AT`6 ) -> builtins.bool"
191+ reveal_type(A.__ge__) # N: Revealed type is "def [_AT] (self: _AT`7 , other: _AT`7 ) -> builtins.bool"
192192
193193A(1) < A(2)
194194A(1) <= A(2)
@@ -990,10 +990,10 @@ class C(A, B): pass
990990@attr.s
991991class D(A): pass
992992
993- reveal_type(A.__lt__) # N: Revealed type is "def [_AT] (self: _AT`29 , other: _AT`29 ) -> builtins.bool"
994- reveal_type(B.__lt__) # N: Revealed type is "def [_AT] (self: _AT`30 , other: _AT`30 ) -> builtins.bool"
995- reveal_type(C.__lt__) # N: Revealed type is "def [_AT] (self: _AT`31 , other: _AT`31 ) -> builtins.bool"
996- reveal_type(D.__lt__) # N: Revealed type is "def [_AT] (self: _AT`32 , other: _AT`32 ) -> builtins.bool"
993+ reveal_type(A.__lt__) # N: Revealed type is "def [_AT] (self: _AT`33 , other: _AT`33 ) -> builtins.bool"
994+ reveal_type(B.__lt__) # N: Revealed type is "def [_AT] (self: _AT`34 , other: _AT`34 ) -> builtins.bool"
995+ reveal_type(C.__lt__) # N: Revealed type is "def [_AT] (self: _AT`35 , other: _AT`35 ) -> builtins.bool"
996+ reveal_type(D.__lt__) # N: Revealed type is "def [_AT] (self: _AT`36 , other: _AT`36 ) -> builtins.bool"
997997
998998A() < A()
999999B() < B()
0 commit comments