Check #18943

[sterliakov]

No description provided.

[github-actions]

Results are ready!

================================================================================
#18706: Error inferring typevar on generic classes
Labels: bug
@@ -1,5 +1,5 @@
 gh_18706_body_0.py:19: note: Revealed type is "def (value: builtins.int) -> builtins.int"
 gh_18706_body_0.py:20: note: Revealed type is "def (value: builtins.int) -> builtins.int"
 gh_18706_body_0.py:22: note: Revealed type is "def (value: builtins.int) -> builtins.int"
-gh_18706_body_0.py:23: note: Revealed type is "def (self: gh_18706_body_0.Parent[T`1], value: T`1) -> T`1"
+gh_18706_body_0.py:23: note: Revealed type is "def (self: gh_18706_body_0.Parent[builtins.int], value: builtins.int) -> builtins.int"
 Success: no issues found in 1 source file

@@ -1,6 +1,5 @@
 gh_18706_c2668241941_0.py:19: note: Revealed type is "def (value: builtins.int) -> builtins.int"
 gh_18706_c2668241941_0.py:20: note: Revealed type is "def (value: builtins.int) -> builtins.int"
-gh_18706_c2668241941_0.py:22: note: Revealed type is "def (self: gh_18706_c2668241941_0.Parent[T`1], value: T`1) -> T`1"
+gh_18706_c2668241941_0.py:22: note: Revealed type is "def (self: gh_18706_c2668241941_0.Parent[builtins.int], value: builtins.int) -> builtins.int"
 gh_18706_c2668241941_0.py:23: note: Revealed type is "def (value: builtins.int) -> builtins.int"
-gh_18706_c2668241941_0.py:31: error: Argument 1 to "decorator" has incompatible type "Callable[[Parent[T], T], T]"; expected "Callable[[Parent[T], int], int]"  [arg-type]
-Found 1 error in 1 file (checked 1 source file)
+Success: no issues found in 1 source file

@@ -1,5 +1,5 @@
 gh_18706_body_2.py:19: note: Revealed type is "def (value: builtins.int) -> builtins.int"
 gh_18706_body_2.py:20: note: Revealed type is "def (value: builtins.int) -> builtins.int"
-gh_18706_body_2.py:22: note: Revealed type is "def (self: gh_18706_body_2.Parent[T`1], value: T`1) -> T`1"
+gh_18706_body_2.py:22: note: Revealed type is "def (self: gh_18706_body_2.Parent[builtins.int], value: builtins.int) -> builtins.int"
 gh_18706_body_2.py:23: note: Revealed type is "def (value: builtins.int) -> builtins.int"
 Success: no issues found in 1 source file

================================================================================
#18024: Issue with constrained type var and Protocol
Labels: bug
@@ -2,5 +2,4 @@
 gh_18024_c2441460924_0.py:9: error: Self argument missing for a non-static method (or an invalid type for self)  [misc]
 gh_18024_c2441460924_0.py:12: error: Function is missing a type annotation  [no-untyped-def]
 gh_18024_c2441460924_0.py:15: error: Name "TextIO" already defined (possibly by an import)  [no-redef]
-gh_18024_c2441460924_0.py:28: error: Value of type variable "AnyStr" of "foo" cannot be "Buffer"  [type-var]
-Found 5 errors in 1 file (checked 1 source file)
+Found 4 errors in 1 file (checked 1 source file)

================================================================================
#17734: `builtins.sum`: Spurious error for operands having `__add__` defined using `partialmetho`
Labels: bug
@@ -1,6 +1 @@
-gh_17734_body_0.py:13: error: No overload variant of "sum" matches argument types "list[A]", "A"  [call-overload]
-gh_17734_body_0.py:13: note: Possible overload variants:
-gh_17734_body_0.py:13: note:     def sum(Iterable[bool], /, start: int = ...) -> int
-gh_17734_body_0.py:13: note:     def [_SupportsSumNoDefaultT: _SupportsSumWithNoDefaultGiven] sum(Iterable[_SupportsSumNoDefaultT], /) -> _SupportsSumNoDefaultT | Literal[0]
-gh_17734_body_0.py:13: note:     def [_AddableT1: SupportsAdd[Any, Any], _AddableT2: SupportsAdd[Any, Any]] sum(Iterable[_AddableT1], /, start: _AddableT2) -> _AddableT1 | _AddableT2
-Found 1 error in 1 file (checked 1 source file)
+Success: no issues found in 1 source file

================================================================================
#16979: MyPy is nondeterministic across runs
Labels: bug, topic-incremental, priority-0-high
@@ -1,4 +1,4 @@
 gh_16979_c1982246306_0.py:17: error: Unused "type: ignore" comment  [unused-ignore]
 gh_16979_c1982246306_0.py:20: error: Function is missing a type annotation for one or more arguments  [no-untyped-def]
-gh_16979_c1982246306_0.py:24: note: Revealed type is "gh_16979_c1982246306_0.A[gh_16979_c1982246306_0._SupportsCompare, gh_16979_c1982246306_0._SupportsCompare]"
+gh_16979_c1982246306_0.py:24: note: Revealed type is "gh_16979_c1982246306_0.A[builtins.object, builtins.object]"
 Found 2 errors in 1 file (checked 1 source file)

================================================================================
#16397: Wrapped methods are not properly resolved until after the class definition
Labels: bug
@@ -1,7 +1,13 @@
+gh_16397_body_2.py:19: error: Incompatible return value type (got "Impl", expected "Proto")  [return-value]
+gh_16397_body_2.py:19: note: Following member(s) of "Impl" have conflicts:
+gh_16397_body_2.py:19: note:     Expected:
+gh_16397_body_2.py:19: note:         def f(self) -> int
+gh_16397_body_2.py:19: note:     Got:
+gh_16397_body_2.py:19: note:         def f() -> str
 gh_16397_body_2.py:29: error: Incompatible return value type (got "Impl", expected "Proto")  [return-value]
 gh_16397_body_2.py:29: note: Following member(s) of "Impl" have conflicts:
 gh_16397_body_2.py:29: note:     Expected:
 gh_16397_body_2.py:29: note:         def f(self) -> int
 gh_16397_body_2.py:29: note:     Got:
 gh_16397_body_2.py:29: note:         def f() -> str
-Found 1 error in 1 file (checked 1 source file)
+Found 2 errors in 1 file (checked 1 source file)

================================================================================
#15097: False positive when calling a method from a subclass
Labels: bug
@@ -1,2 +1 @@
-gh_15097_body_0.py:17: error: Argument 1 to "say_hello" of "Grandparent" has incompatible type "Child[T@Child]"; expected "Grandparent[T@Grandparent]"  [arg-type]
-Found 1 error in 1 file (checked 1 source file)
+Success: no issues found in 1 source file

================================================================================
#14814: Accessing dunders via type object produces TypeVar clashes
Labels: bug
@@ -1,3 +1 @@
-gh_14814_body_0.py:10: error: Incompatible return value type (got "_T_co", expected "T")  [return-value]
-gh_14814_body_0.py:10: error: Argument 1 has incompatible type "AsyncIterator[T]"; expected "AsyncIterator[_T_co]"  [arg-type]
-Found 2 errors in 1 file (checked 1 source file)
+Success: no issues found in 1 source file

================================================================================
#14806: No recognition of concretized type for generic in method's self
Labels: bug, topic-paramspec
@@ -1,2 +1 @@
-gh_14806_c1449152588_0.py:18: error: Argument 1 to "Shall" has incompatible type "Callable[[Check[P, R]], None]"; expected "Callable[[Check[[int], str]], None]"  [arg-type]
-Found 1 error in 1 file (checked 1 source file)
+Success: no issues found in 1 source file

@@ -1,2 +1 @@
-gh_14806_body_0.py:25: error: Argument 1 to "Shall" has incompatible type "Callable[[Check[P, R]], None]"; expected "Callable[[Check[[int], str]], None]"  [arg-type]
-Found 1 error in 1 file (checked 1 source file)
+Success: no issues found in 1 source file

================================================================================
#14425: TypeGuard on self does not narrow associated TypeVars
Labels: bug
@@ -1,9 +1,11 @@
+gh_14425_body_0.py:23: error: Argument 1 to "gives_A" of "Gen" has incompatible type "Gen[B]"; expected "Gen[A]"  [arg-type]
 gh_14425_body_0.py:24: note: Revealed type is "gh_14425_body_0.Gen[gh_14425_body_0.A]"
 gh_14425_body_0.py:24: note: Revealed type is "gh_14425_body_0.Gen[gh_14425_body_0.B]"
 gh_14425_body_0.py:25: error: Incompatible return value type (got "A", expected "B")  [return-value]
+gh_14425_body_0.py:26: error: Argument 1 to "gives_B" of "Gen" has incompatible type "Gen[B]"; expected "Gen[A]"  [arg-type]
 gh_14425_body_0.py:27: note: Revealed type is "gh_14425_body_0.Gen[gh_14425_body_0.A]"
 gh_14425_body_0.py:27: note: Revealed type is "gh_14425_body_0.Gen[gh_14425_body_0.B]"
 gh_14425_body_0.py:28: error: Incompatible types in assignment (expression has type "B", variable has type "A")  [assignment]
 gh_14425_body_0.py:33: error: TypeGuard functions must have a positional argument  [valid-type]
 gh_14425_body_0.py:36: error: TypeGuard functions must have a positional argument  [valid-type]
-Found 4 errors in 1 file (checked 1 source file)
+Found 6 errors in 1 file (checked 1 source file)

================================================================================
#14259: `set` operations and unpacking
Labels: bug
@@ -1,2 +1 @@
-gh_14259_body_0.py:2: error: Argument 1 to "intersection" of "set" has incompatible type "*map[set[str]]"; expected "set[_T]"  [arg-type]
-Found 1 error in 1 file (checked 1 source file)
+Success: no issues found in 1 source file

================================================================================
#13835: Return type of unbound methods of generic types incorrectly inferred.
Labels: bug
@@ -1,6 +1,6 @@
 gh_13835_body_0.py:8: error: Name "_T" is not defined  [name-defined]
-gh_13835_body_0.py:22: note: Revealed type is "def (self: gh_13835_body_0.Base[T`1]) -> Any"
+gh_13835_body_0.py:22: note: Revealed type is "def (self: gh_13835_body_0.Base[builtins.bool]) -> Any"
 gh_13835_body_0.py:23: note: Revealed type is "def [T] (self: gh_13835_body_0.Base[T`1]) -> Any"
-gh_13835_body_0.py:24: note: Revealed type is "def (self: gh_13835_body_0.Base[T`1]) -> Any"
+gh_13835_body_0.py:24: note: Revealed type is "def (self: gh_13835_body_0.Base[builtins.int]) -> Any"
 gh_13835_body_0.py:29: note: Revealed type is "Any"
 Found 1 error in 1 file (checked 1 source file)

================================================================================
#13041: (🐞) Explicit type parameter specification with method reference screws up assignability
Labels: bug
@@ -1,2 +1 @@
-gh_13041_body_0.py:8: error: Incompatible types in assignment (expression has type "Callable[[A[T]], None]", variable has type "Callable[[A[int]], None]")  [assignment]
-Found 1 error in 1 file (checked 1 source file)
+Success: no issues found in 1 source file

================================================================================
#11993: Type parameter scoping seems to disagree with PEP 484
Labels: bug, topic-pep-484, topic-type-variables
@@ -1,3 +1 @@
-gh_11993_c1013219579_0.py:10: error: Argument 1 has incompatible type "A[int]"; expected "A[T]"  [arg-type]
-gh_11993_c1013219579_0.py:10: error: Argument 2 has incompatible type "int"; expected "T"  [arg-type]
-Found 2 errors in 1 file (checked 1 source file)
+Success: no issues found in 1 source file

================================================================================
#9585: Generic propagation into dataclasses doesn't seem to work consistently
Labels: bug, topic-dataclasses
@@ -1,4 +1,4 @@
 gh_9585_body_0.py:16: error: Function is missing a return type annotation  [no-untyped-def]
 gh_9585_body_0.py:17: note: Revealed type is "builtins.dict[Any, gh_9585_body_0.FloatValue]"
-gh_9585_body_0.py:18: note: Revealed type is "def (self: gh_9585_body_0.ValueByKey[T`1], values: builtins.dict[Any, T`1])"
+gh_9585_body_0.py:18: note: Revealed type is "def (self: gh_9585_body_0.ValueByKey[gh_9585_body_0.FloatValue], values: builtins.dict[Any, gh_9585_body_0.FloatValue])"
 Found 1 error in 1 file (checked 1 source file)

================================================================================
#9266: Decorated function makes type-check fail if done inside of method from the class
Labels: bug
@@ -1,8 +1,14 @@
 gh_9266_body_0.py:21: error: Function is missing a type annotation  [no-untyped-def]
+gh_9266_body_0.py:53: error: Incompatible types in assignment (expression has type "Foo", variable has type "IFoo")  [assignment]
+gh_9266_body_0.py:53: note: Following member(s) of "Foo" have conflicts:
+gh_9266_body_0.py:53: note:     Expected:
+gh_9266_body_0.py:53: note:         def some_method(self) -> bool
+gh_9266_body_0.py:53: note:     Got:
+gh_9266_body_0.py:53: note:         def some_method(self) -> str
 gh_9266_body_0.py:59: error: Incompatible types in assignment (expression has type "Foo", variable has type "IFoo")  [assignment]
 gh_9266_body_0.py:59: note: Following member(s) of "Foo" have conflicts:
 gh_9266_body_0.py:59: note:     Expected:
 gh_9266_body_0.py:59: note:         def some_method(self) -> bool
 gh_9266_body_0.py:59: note:     Got:
 gh_9266_body_0.py:59: note:         def some_method(self) -> str
-Found 2 errors in 1 file (checked 1 source file)
+Found 3 errors in 1 file (checked 1 source file)

================================================================================
#9202: Protocols with property descriptors require all compliant symbols to use the same implementation.
Labels: topic-descriptors
@@ -1,8 +1,5 @@
-gh_9202_body_1.py:79: error: Incompatible types in assignment (expression has type "Foo4", variable has type "Proto1")  [assignment]
-gh_9202_body_1.py:79: note: Following member(s) of "Foo4" have conflicts:
-gh_9202_body_1.py:79: note:     prop1: expected "int", got "Property[Foo4, int]"
 gh_9202_body_1.py:82: note: Revealed type is "def (self: gh_9202_body_1.Foo1) -> builtins.int"
 gh_9202_body_1.py:83: note: Revealed type is "builtins.int"
 gh_9202_body_1.py:84: note: Revealed type is "def (self: gh_9202_body_1.Foo3) -> builtins.int"
 gh_9202_body_1.py:85: note: Revealed type is "gh_9202_body_1.Property[gh_9202_body_1.Foo4, builtins.int]"
-Found 1 error in 1 file (checked 1 source file)
+Success: no issues found in 1 source file

================================================================================
#5481: Protocols don't support descriptors
Labels: bug, priority-1-normal, topic-protocols
@@ -1,4 +1 @@
-gh_5481_body_0.py:11: error: Incompatible types in assignment (expression has type "C", variable has type "Proto")  [assignment]
-gh_5481_body_0.py:11: note: Following member(s) of "C" have conflicts:
-gh_5481_body_0.py:11: note:     x: expected "int", got "Descr"
-Found 1 error in 1 file (checked 1 source file)
+Success: no issues found in 1 source file

Found 17 issues with different output.