FazBrowse GitHub Viewer | Trending |
URL:
| Home
Tools: [Download Repo ZIP]   [Original HTTPS Page]

Check #18943 · Issue #11 · sterliakov/mypy-issues · GitHub

  1. sterliakov
  2. mypy-issues

Repository navigation

Check #18943 #11

Closed as not planned
Closed as not planned
Check #18943#11

Description

sterliakov
opened on Apr 19, 2025
No description provided.

Activity

  1. github-actions commented on Apr 19, 2025

    github-actionsBot
    on Apr 19, 2025 – with 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.
  2. github-actions
    closed this as not plannedon May 4, 2025
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Metadata

Metadata

Assignees

No one assigned

    Labels

    No labels
    No labels

    Projects

    No projects

      Milestone

      No milestone

      Relationships

      None yet

      Development

      No branches or pull requests

      Issue actions

      Back | FazBrowse Home | New Git URL