@@ -3061,10 +3061,10 @@ main:15: error: Unsupported left operand type for >= ("NoCmp")
30613061[case testAttrsIncrementalDunder]
30623062from a import A
30633063reveal_type(A) # N: Revealed type is "def (a: builtins.int) -> a.A"
3064- reveal_type(A.__lt__) # N: Revealed type is "def [_AT] (self: _AT`3 , other: _AT`3 ) -> builtins.bool"
3065- reveal_type(A.__le__) # N: Revealed type is "def [_AT] (self: _AT`4 , other: _AT`4 ) -> builtins.bool"
3066- reveal_type(A.__gt__) # N: Revealed type is "def [_AT] (self: _AT`5 , other: _AT`5 ) -> builtins.bool"
3067- reveal_type(A.__ge__) # N: Revealed type is "def [_AT] (self: _AT`6 , other: _AT`6 ) -> builtins.bool"
3064+ reveal_type(A.__lt__) # N: Revealed type is "def [_AT] (self: _AT`4 , other: _AT`4 ) -> builtins.bool"
3065+ reveal_type(A.__le__) # N: Revealed type is "def [_AT] (self: _AT`5 , other: _AT`5 ) -> builtins.bool"
3066+ reveal_type(A.__gt__) # N: Revealed type is "def [_AT] (self: _AT`6 , other: _AT`6 ) -> builtins.bool"
3067+ reveal_type(A.__ge__) # N: Revealed type is "def [_AT] (self: _AT`7 , other: _AT`7 ) -> builtins.bool"
30683068
30693069A(1) < A(2)
30703070A(1) <= A(2)
@@ -3098,10 +3098,10 @@ class A:
30983098[stale]
30993099[out2]
31003100main:2: note: Revealed type is "def (a: builtins.int) -> a.A"
3101- main:3: note: Revealed type is "def [_AT] (self: _AT`3 , other: _AT`3 ) -> builtins.bool"
3102- main:4: note: Revealed type is "def [_AT] (self: _AT`4 , other: _AT`4 ) -> builtins.bool"
3103- main:5: note: Revealed type is "def [_AT] (self: _AT`5 , other: _AT`5 ) -> builtins.bool"
3104- main:6: note: Revealed type is "def [_AT] (self: _AT`6 , other: _AT`6 ) -> builtins.bool"
3101+ main:3: note: Revealed type is "def [_AT] (self: _AT`4 , other: _AT`4 ) -> builtins.bool"
3102+ main:4: note: Revealed type is "def [_AT] (self: _AT`5 , other: _AT`5 ) -> builtins.bool"
3103+ main:5: note: Revealed type is "def [_AT] (self: _AT`6 , other: _AT`6 ) -> builtins.bool"
3104+ main:6: note: Revealed type is "def [_AT] (self: _AT`7 , other: _AT`7 ) -> builtins.bool"
31053105main:15: error: Unsupported operand types for < ("A" and "int")
31063106main:16: error: Unsupported operand types for <= ("A" and "int")
31073107main:17: error: Unsupported operand types for > ("A" and "int")
0 commit comments