Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Merge 1.1.361 #333

Merged
merged 24 commits into from
May 1, 2024
Merged

Merge 1.1.361 #333

merged 24 commits into from
May 1, 2024

Conversation

DetachHead
Copy link
Owner

No description provided.

PylanceBot and others added 22 commits April 24, 2024 17:58
Co-authored-by: Bill Schnurr <bschnurr@microsoft.com>
Co-authored-by: HeeJae Chang <hechang@microsoft.com>
Co-authored-by: Erik De Bonte <erikd@microsoft.com>
Co-authored-by: Rich Chiodo <rchiodo@microsoft.com>
Co-authored-by: Stella Huang <stellahuang@microsoft.com>
Co-authored-by: Kacie Kang <jikang@microsoft.com>
… type inference to evaluate the type of a lambda expression if the expected type is a union of two or more callables. This addresses #7772. (#7773)
…es for named tuple classes. This addresses #7768. (#7775)
…le subclass (using the class syntax) so the `__new__` method contains parameters based on field names and the `__init__` method contains a general `*args: Any, **kwargs: Any` parameter signature. Previously, this was swapped, but the new way is more faithful to the runtime. This addresses #7769.
…n calling a constructor for a generic class that defines no `__new__` or `__init__` method. This addresses #7764. (#7776)
… logic for consistency. This addresses #7767, #7760, and #7647. (#7777)
* Changed `TypeIs` to use the same logic as `isinstance` type narrowing logic for consistency. This addresses #7767, #7760, and #7647.

* Fixed bug that results in a false positive error when a `yield` statement is used within a lambda following a function. This addresses #7779.
…nannotated function is called through many (greater than 8) call expressions within a loop using different literal-value arguments each time. This addresses #7791. (#7792)
…a_items__` (PEP 728) with a `TypedDict` imported from `typing_extensions`. This addresses #7784.
…atching under certain circumstances that involve recursive protocol definitions. This addresses #7786.
…is used as a class pattern and the subject type is `Any` or `Unknown`. This addresses #7794. (#7796)
…e within a class body. This addresses #7797. (#7801)
…n tokenizer in versions 3.10 and newer in the case where a backslash (continuation character) is located by itself on a line. This addresses #7799.
…module-scoped) variable is captured within an inner scope and the variable is not modified anywhere below the inner scope. It's possible in this case for the variable to be modified by code outside of the module. This addresses #7780. (#7803)
… in a method parameter type annotation if it shadows a forward reference in a class scope when the method is using PEP 695 type parameters. This addresses #7800.
… take advantage of machines with more cores. On my new MacBook Pro, this drops the time to run tests from 45s to 23s.
… representation the type `type[Foo]` where `Foo` is a type alias. This addresses #7806. (#7809)
# Conflicts:
#	docs/configuration.md
#	packages/pyright-internal/src/analyzer/patternMatching.ts
#	packages/pyright-internal/src/analyzer/typeEvaluatorTypes.ts
#	packages/pyright/package.json
#	packages/vscode-pyright/package.json

This comment has been minimized.

DetachHead added 2 commits May 1, 2024 13:05
…pstream as well as my fork for a different error, resulting in no conflict
Copy link
Contributor

github-actions bot commented May 1, 2024

Diff from mypy_primer, showing the effect of this PR on open source code:

pandera (https://github.com/pandera-dev/pandera)
-   /tmp/mypy_primer/projects/pandera/pandera/backends/pandas/array.py:350:38 - error: Argument of type "BaseException | Exception | None" cannot be assigned to parameter "original_exc" of type "Exception | None" in function "__init__" (reportArgumentType)
+   /tmp/mypy_primer/projects/pandera/pandera/backends/pandas/array.py:350:38 - error: Argument of type "BaseException | Exception | None" cannot be assigned to parameter "original_exc" of type "Exception | None" in function "__new__" (reportArgumentType)
-   /tmp/mypy_primer/projects/pandera/pandera/backends/polars/components.py:328:28 - error: Argument of type "bool | Iterable[bool]" cannot be assigned to parameter "passed" of type "bool" in function "__init__"
+   /tmp/mypy_primer/projects/pandera/pandera/backends/polars/components.py:328:28 - error: Argument of type "bool | Iterable[bool]" cannot be assigned to parameter "passed" of type "bool" in function "__new__"
-   /tmp/mypy_primer/projects/pandera/pandera/backends/pyspark/base.py:119:21 - error: Argument of type "List[Dict[str, Any]]" cannot be assigned to parameter "message" of type "Dict[str, Any]" in function "__init__"
+   /tmp/mypy_primer/projects/pandera/pandera/backends/pyspark/base.py:119:21 - error: Argument of type "List[Dict[str, Any]]" cannot be assigned to parameter "message" of type "Dict[str, Any]" in function "__new__"
-   /tmp/mypy_primer/projects/pandera/pandera/typing/geopandas.py:73:24 - error: "_GenericAlias" is possibly unbound (reportPossiblyUnboundVariable)
- 2010 errors, 16 warnings, 0 notes
+ 2009 errors, 16 warnings, 0 notes

spack (https://github.com/spack/spack)
-           "_Wrapped[..., Unknown, (*args: Unknown, **kwargs: Unknown), Unknown]" is incompatible with protocol "Iterator[_T_co@contextmanager]"
+           "_Wrapped[..., Unknown, (*args: Unknown, **kwargs: Unknown), Unknown]" is incompatible with protocol "Iterator[_T_co@contextmanager]" (reportArgumentType)
-             "__next__" is not present
-             "__iter__" is not present (reportArgumentType)
-           "_Wrapped[..., Unknown, (*args: Unknown, **kwargs: Unknown), Unknown]" is incompatible with protocol "Iterator[_T_co@contextmanager]"
+           "_Wrapped[..., Unknown, (*args: Unknown, **kwargs: Unknown), Unknown]" is incompatible with protocol "Iterator[_T_co@contextmanager]" (reportArgumentType)
-             "__next__" is not present
-             "__iter__" is not present (reportArgumentType)
-           "_Wrapped[..., Unknown, (*args: Unknown, **kwargs: Unknown), Unknown]" is incompatible with protocol "Iterator[_T_co@contextmanager]"
+           "_Wrapped[..., Unknown, (*args: Unknown, **kwargs: Unknown), Unknown]" is incompatible with protocol "Iterator[_T_co@contextmanager]" (reportArgumentType)
-             "__next__" is not present
-             "__iter__" is not present (reportArgumentType)
-           "_Wrapped[..., Unknown, (*args: Unknown, **kwargs: Unknown), Unknown]" is incompatible with protocol "Iterator[_T_co@contextmanager]"
+           "_Wrapped[..., Unknown, (*args: Unknown, **kwargs: Unknown), Unknown]" is incompatible with protocol "Iterator[_T_co@contextmanager]" (reportArgumentType)
-             "__next__" is not present
-             "__iter__" is not present (reportArgumentType)
-           "_Wrapped[..., Unknown, (*args: Unknown, **kwargs: Unknown), Unknown]" is incompatible with protocol "Iterator[_T_co@contextmanager]"
+           "_Wrapped[..., Unknown, (*args: Unknown, **kwargs: Unknown), Unknown]" is incompatible with protocol "Iterator[_T_co@contextmanager]" (reportArgumentType)
-             "__next__" is not present
-             "__iter__" is not present (reportArgumentType)
-   /tmp/mypy_primer/projects/spack/lib/spack/llnl/util/tty/log.py:181:61 - error: Argument of type "_AttrReturn | None" cannot be assigned to parameter "attributes" of type "_Attr" in function "tcsetattr" (reportArgumentType)
-       "None" is incompatible with "Path" (reportArgumentType)
+       "None" is incompatible with "str" (reportArgumentType)
-       "None" is incompatible with "Path" (reportArgumentType)
+       "None" is incompatible with "str" (reportArgumentType)
+   /tmp/mypy_primer/projects/spack/lib/spack/spack/concretize.py:187:39 - error: Argument of type "Spec | Unknown | tuple[Unknown, Unknown]" cannot be assigned to parameter "constraint" of type "Spec" in function "compatible"
+     Type "Spec | Unknown | tuple[Unknown, Unknown]" is incompatible with type "Spec"
+       "tuple[Unknown, Unknown]" is incompatible with "Spec" (reportArgumentType)
+   /tmp/mypy_primer/projects/spack/lib/spack/spack/concretize.py:188:39 - error: Argument of type "Spec | Unknown | tuple[Unknown, Unknown]" cannot be assigned to parameter "constraint" of type "Spec" in function "compatible"
+     Type "Spec | Unknown | tuple[Unknown, Unknown]" is incompatible with type "Spec"
+       "tuple[Unknown, Unknown]" is incompatible with "Spec" (reportArgumentType)
-       "None" is incompatible with "YamlConfigDict" (reportArgumentType)
+       "None" is incompatible with "Dict[str, Any]" (reportArgumentType)
-       "None" is incompatible with "YamlConfigDict" (reportArgumentType)
+       "None" is incompatible with "Dict[str, Any]" (reportArgumentType)
-     "DepFlag" is incompatible with "str" (reportArgumentType)
+     "int" is incompatible with "str" (reportArgumentType)
-           "str*" is incompatible with protocol "ReadableBuffer"
+           "str*" is incompatible with protocol "Buffer"
-           "str*" is incompatible with protocol "ReadableBuffer"
+           "str*" is incompatible with protocol "Buffer"
-           "str*" is incompatible with protocol "ReadableBuffer"
+           "str*" is incompatible with protocol "Buffer"
-     "PurePath" is incompatible with protocol "ReadableBuffer"
+     "PurePath" is incompatible with protocol "Buffer"
-       "DepFlag" is incompatible with "str" (reportArgumentType)
+       "int" is incompatible with "str" (reportArgumentType)
-       "DepFlag" is incompatible with "str" (reportArgumentType)
+       "int" is incompatible with "str" (reportArgumentType)
-   /tmp/mypy_primer/projects/spack/lib/spack/spack/detection/path.py:297:52 - error: Argument of type "Unknown | str | Spec" cannot be assigned to parameter "spec" of type "Spec" in function "__init__"
+   /tmp/mypy_primer/projects/spack/lib/spack/spack/detection/path.py:297:52 - error: Argument of type "Unknown | str | Spec" cannot be assigned to parameter "spec" of type "Spec" in function "__new__"
-       "str" is incompatible with "_ENV"
+       "str" is incompatible with "Mapping[str, str]"
-   /tmp/mypy_primer/projects/spack/lib/spack/spack/solver/asp.py:1989:45 - error: Argument of type "GitOrStandardVersion" cannot be assigned to parameter "version" of type "str" in function "__init__"
+   /tmp/mypy_primer/projects/spack/lib/spack/spack/solver/asp.py:1989:45 - error: Argument of type "GitOrStandardVersion" cannot be assigned to parameter "version" of type "str" in function "__new__"
-   /tmp/mypy_primer/projects/spack/lib/spack/spack/solver/asp.py:2882:33 - error: Argument of type "list[str] | Unknown | None" cannot be assigned to parameter "message" of type "str | None" in function "__init__" (reportArgumentType)
+   /tmp/mypy_primer/projects/spack/lib/spack/spack/solver/asp.py:2882:33 - error: Argument of type "list[str] | Unknown | None" cannot be assigned to parameter "message" of type "str | None" in function "__new__" (reportArgumentType)
-   /tmp/mypy_primer/projects/spack/lib/spack/spack/solver/asp.py:2924:60 - error: Argument of type "Unknown | None" cannot be assigned to parameter "target" of type "str" in function "__init__"
+   /tmp/mypy_primer/projects/spack/lib/spack/spack/solver/asp.py:2924:60 - error: Argument of type "Unknown | None" cannot be assigned to parameter "target" of type "str" in function "__new__"
-   /tmp/mypy_primer/projects/spack/lib/spack/spack/solver/asp.py:2983:18 - error: Argument of type "Unknown | None" cannot be assigned to parameter "spec" of type "Spec" in function "__init__"
+   /tmp/mypy_primer/projects/spack/lib/spack/spack/solver/asp.py:2983:18 - error: Argument of type "Unknown | None" cannot be assigned to parameter "spec" of type "Spec" in function "__new__"
-     "None" is incompatible with "Path" (reportArgumentType)
+     "None" is incompatible with "str" (reportArgumentType)
-   /tmp/mypy_primer/projects/spack/lib/spack/spack/util/url.py:189:30 - error: Argument of type "None" cannot be assigned to parameter "fragment" of type "str" in function "__init__"
+   /tmp/mypy_primer/projects/spack/lib/spack/spack/util/url.py:189:30 - error: Argument of type "None" cannot be assigned to parameter "fragment" of type "str" in function "__new__"
-   /tmp/mypy_primer/projects/spack/lib/spack/spack/util/url.py:242:96 - error: Argument of type "None" cannot be assigned to parameter "fragment" of type "str" in function "__init__"
+   /tmp/mypy_primer/projects/spack/lib/spack/spack/util/url.py:242:96 - error: Argument of type "None" cannot be assigned to parameter "fragment" of type "str" in function "__new__"
-     "_Date" is incompatible with "datetime" (reportArgumentType)
+     "date" is incompatible with "datetime" (reportArgumentType)
-     "_Date" is incompatible with "datetime" (reportArgumentType)
+     "date" is incompatible with "datetime" (reportArgumentType)
-     "_Date" is incompatible with "datetime" (reportArgumentType)
+     "date" is incompatible with "datetime" (reportArgumentType)
-     "_Date" is incompatible with "datetime" (reportArgumentType)
+     "date" is incompatible with "datetime" (reportArgumentType)
- 24241 errors, 77 warnings, 0 notes
+ 24242 errors, 77 warnings, 0 notes

bidict (https://github.com/jab/bidict)
-     "Generator[tuple[KT@iteritems, VT@iteritems] | tuple[Tuple[KT@iteritems, VT@iteritems], Unknown], Unknown, Unknown]" is incompatible with "ItemsIter[KT@iteritems, VT@iteritems]"
+     "Generator[tuple[KT@iteritems, VT@iteritems] | tuple[Tuple[KT@iteritems, VT@iteritems], Unknown], Unknown, Unknown]" is incompatible with "Iterator[Tuple[KT@iteritems, VT@iteritems]]"
-   /tmp/mypy_primer/projects/bidict/tests/bidict_test_fixtures.py:202:28 - error: "__getitem__" method not defined on type "Items[KT@Oracle, VT@Oracle]" (reportIndexIssue)
+   /tmp/mypy_primer/projects/bidict/tests/bidict_test_fixtures.py:202:28 - error: "__getitem__" method not defined on type "Iterable[Tuple[KT@Oracle, VT@Oracle]]" (reportIndexIssue)
-   /tmp/mypy_primer/projects/bidict/tests/bidict_test_fixtures.py:202:57 - error: Cannot access attribute "keys" for class "Items[KT@Oracle, VT@Oracle]"
+   /tmp/mypy_primer/projects/bidict/tests/bidict_test_fixtures.py:202:57 - error: Cannot access attribute "keys" for class "Iterable[Tuple[KT@Oracle, VT@Oracle]]"

koda-validate (https://github.com/keithasaurus/koda-validate)
-   /tmp/mypy_primer/projects/koda-validate/koda_validate/signature.py:173:13 - error: Argument of type "tuple[Literal['return_key']]" cannot be assigned to parameter "param_name" of type "str" in function "__call__"
+   /tmp/mypy_primer/projects/koda-validate/koda_validate/signature.py:173:13 - error: Argument of type "ReturnOverrideKey" cannot be assigned to parameter "param_name" of type "str" in function "__call__"
-     "tuple[Literal['return_key']]" is incompatible with "str" (reportArgumentType)
+     "Tuple[Literal['return_key']]" is incompatible with "str" (reportArgumentType)

freqtrade (https://github.com/freqtrade/freqtrade)
-   /tmp/mypy_primer/projects/freqtrade/freqtrade/wallets.py:158:28 - error: Argument of type "Unknown | None" cannot be assigned to parameter "collateral" of type "float" in function "__init__"
+   /tmp/mypy_primer/projects/freqtrade/freqtrade/wallets.py:158:28 - error: Argument of type "Unknown | None" cannot be assigned to parameter "collateral" of type "float" in function "__new__"

dd-trace-py (https://github.com/DataDog/dd-trace-py)
-     "dict[str, int]" is incompatible with "_MetricDictType"
+     "dict[str, int]" is incompatible with "Dict[_TagNameType, NumericType]"
-       "Text" is incompatible with "List[Unknown]"
+       "str" is incompatible with "List[Unknown]"
-       "Text" is incompatible with "None" (reportArgumentType)
+       "str" is incompatible with "None" (reportArgumentType)
-   /tmp/mypy_primer/projects/dd-trace-py/ddtrace/appsec/_iast/_taint_tracking/__init__.py:152:26 - error: "set_ranges_from_values" is possibly unbound (reportPossiblyUnboundVariable)
-       "bytes" is incompatible with "Text" (reportArgumentType)
+       "bytes" is incompatible with "str" (reportArgumentType)
-   /tmp/mypy_primer/projects/dd-trace-py/ddtrace/contrib/algoliasearch/patch.py:41:12 - error: "VERSION" is possibly unbound (reportPossiblyUnboundVariable)
-       "None" is incompatible with "Text" (reportArgumentType)
+       "None" is incompatible with "str" (reportArgumentType)
-       "None" is incompatible with "Text" (reportArgumentType)
+       "None" is incompatible with "str" (reportArgumentType)
-       "None" is incompatible with "Text" (reportArgumentType)
+       "None" is incompatible with "str" (reportArgumentType)
-   /tmp/mypy_primer/projects/dd-trace-py/ddtrace/contrib/psycopg/patch.py:162:49 - error: "_original_connect" is possibly unbound (reportPossiblyUnboundVariable)
-   /tmp/mypy_primer/projects/dd-trace-py/ddtrace/contrib/psycopg/patch.py:163:54 - error: "_original_async_connect" is possibly unbound (reportPossiblyUnboundVariable)
-       "None" is incompatible with "Text" (reportArgumentType)
+       "None" is incompatible with "str" (reportArgumentType)
-       "None" is incompatible with "Text" (reportArgumentType)
+       "None" is incompatible with "str" (reportArgumentType)
-       "None" is incompatible with "Text" (reportArgumentType)
+       "None" is incompatible with "str" (reportArgumentType)
-       "None" is incompatible with "Text" (reportArgumentType)
+       "None" is incompatible with "str" (reportArgumentType)
-       "None" is incompatible with "Text" (reportArgumentType)
+       "None" is incompatible with "str" (reportArgumentType)
-       "None" is incompatible with "Text" (reportArgumentType)
+       "None" is incompatible with "str" (reportArgumentType)
-       "None" is incompatible with "Text" (reportArgumentType)
+       "None" is incompatible with "str" (reportArgumentType)
-       "None" is incompatible with "Text" (reportArgumentType)
+       "None" is incompatible with "str" (reportArgumentType)
-       "None" is incompatible with "Text" (reportArgumentType)
+       "None" is incompatible with "str" (reportArgumentType)
-       "None" is incompatible with "Text" (reportArgumentType)
+       "None" is incompatible with "str" (reportArgumentType)
-       "None" is incompatible with "Text" (reportArgumentType)
+       "None" is incompatible with "str" (reportArgumentType)
-       "None" is incompatible with "Text" (reportArgumentType)
+       "None" is incompatible with "str" (reportArgumentType)
-       "None" is incompatible with "Text" (reportArgumentType)
+       "None" is incompatible with "str" (reportArgumentType)
-       "None" is incompatible with "Text" (reportArgumentType)
+       "None" is incompatible with "str" (reportArgumentType)
-       "None" is incompatible with "Text" (reportArgumentType)
+       "None" is incompatible with "str" (reportArgumentType)
-       "None" is incompatible with "Text" (reportArgumentType)
+       "None" is incompatible with "str" (reportArgumentType)
-       "None" is incompatible with "Text" (reportArgumentType)
+       "None" is incompatible with "str" (reportArgumentType)
-     "None" is incompatible with "Text" (reportArgumentType)
+     "None" is incompatible with "str" (reportArgumentType)
-     "None" is incompatible with "Text" (reportArgumentType)
+     "None" is incompatible with "str" (reportArgumentType)
-   /tmp/mypy_primer/projects/dd-trace-py/ddtrace/vendor/monotonic/__init__.py:159:34 - error: "CLOCK_MONOTONIC" is possibly unbound (reportPossiblyUnboundVariable)
+   /tmp/mypy_primer/projects/dd-trace-py/ddtrace/vendor/monotonic/__init__.py:106:28 - error: Object of type "None" cannot be called (reportOptionalCall)
+   /tmp/mypy_primer/projects/dd-trace-py/ddtrace/vendor/psutil/_compat.py:26:9 - error: Function declaration "u" is obscured by a declaration of the same name (reportRedeclaration)
-   /tmp/mypy_primer/projects/dd-trace-py/ddtrace/vendor/psutil/_psbsd.py:811:16 - error: "PROC_STATUSES" is possibly unbound (reportPossiblyUnboundVariable)
-   /tmp/mypy_primer/projects/dd-trace-py/ddtrace/vendor/psutil/_pslinux.py:1985:38 - error: "IOPRIO_CLASS_IDLE" is possibly unbound (reportPossiblyUnboundVariable)
-   /tmp/mypy_primer/projects/dd-trace-py/ddtrace/vendor/psutil/_pslinux.py:1985:57 - error: "IOPRIO_CLASS_NONE" is possibly unbound (reportPossiblyUnboundVariable)
-       "Literal['\n']" is incompatible with protocol "ReadableBuffer"
+       "Literal['\n']" is incompatible with protocol "Buffer"
-       "Literal['\n']" is incompatible with protocol "ReadableBuffer"
+       "Literal['\n']" is incompatible with protocol "Buffer"
-       "Literal['sockname: AF_UNIX']" is incompatible with protocol "ReadableBuffer"
+       "Literal['sockname: AF_UNIX']" is incompatible with protocol "Buffer"
-       "Literal[' ']" is incompatible with protocol "ReadableBuffer"
+       "Literal[' ']" is incompatible with protocol "Buffer"
-   /tmp/mypy_primer/projects/dd-trace-py/ddtrace/vendor/psutil/_pswindows.py:1051:32 - error: "IOPRIO_VERYLOW" is possibly unbound (reportPossiblyUnboundVariable)
-   /tmp/mypy_primer/projects/dd-trace-py/ddtrace/vendor/psutil/_pswindows.py:1051:48 - error: "IOPRIO_LOW" is possibly unbound (reportPossiblyUnboundVariable)
-   /tmp/mypy_primer/projects/dd-trace-py/ddtrace/vendor/psutil/_pswindows.py:1051:60 - error: "IOPRIO_NORMAL" is possibly unbound (reportPossiblyUnboundVariable)
-   /tmp/mypy_primer/projects/dd-trace-py/ddtrace/vendor/psutil/_pswindows.py:1052:32 - error: "IOPRIO_HIGH" is possibly unbound (reportPossiblyUnboundVariable)
-       "int" is incompatible with "Text"
+       "int" is incompatible with "str"
-     "list[Any]" is incompatible with "TargetsType" (reportArgumentType)
+     "list[Any]" is incompatible with "Dict[str, ConfigMetadata]" (reportArgumentType)
-     "list[Any]" is incompatible with "TargetsType" (reportArgumentType)
+     "list[Any]" is incompatible with "Dict[str, ConfigMetadata]" (reportArgumentType)
-           "Text" is incompatible with "tuple[SupportsRichComparisonT@commonprefix, ...]" (reportArgumentType)
+           "str" is incompatible with "tuple[SupportsRichComparisonT@commonprefix, ...]" (reportArgumentType)
-       "str" is incompatible with protocol "ReadableBuffer"
+       "str" is incompatible with protocol "Buffer"
-     "Literal[b""]" is incompatible with "Text" (reportArgumentType)
+     "Literal[b""]" is incompatible with "str" (reportArgumentType)
+   /tmp/mypy_primer/projects/dd-trace-py/tests/contrib/aiohttp/app/web.py:116:31 - error: "render_template" is not a known attribute of "None" (reportOptionalMemberAccess)
-     "dict[type[StackExceptionSampleEvent] | type[MemoryAllocSampleEvent] | type[MemoryHeapSampleEvent] | type[StackSampleEvent] | type[LockAcquireEvent] | type[LockReleaseEvent], Unknown]" is incompatible with "EventsType"
+     "dict[type[StackExceptionSampleEvent] | type[MemoryAllocSampleEvent] | type[MemoryHeapSampleEvent] | type[StackSampleEvent] | type[LockAcquireEvent] | type[LockReleaseEvent], Unknown]" is incompatible with "Dict[Event, Sequence[Event]]"
-     "dict[type[StackExceptionSampleEvent] | type[MemoryAllocSampleEvent] | type[MemoryHeapSampleEvent] | type[StackSampleEvent] | type[LockAcquireEvent] | type[LockReleaseEvent], Unknown]" is incompatible with "EventsType"
+     "dict[type[StackExceptionSampleEvent] | type[MemoryAllocSampleEvent] | type[MemoryHeapSampleEvent] | type[StackSampleEvent] | type[LockAcquireEvent] | type[LockReleaseEvent], Unknown]" is incompatible with "Dict[Event, Sequence[Event]]"
-     "dict[type[StackExceptionSampleEvent] | type[MemoryAllocSampleEvent] | type[MemoryHeapSampleEvent] | type[StackSampleEvent] | type[LockAcquireEvent] | type[LockReleaseEvent], Unknown]" is incompatible with "EventsType"
+     "dict[type[StackExceptionSampleEvent] | type[MemoryAllocSampleEvent] | type[MemoryHeapSampleEvent] | type[StackSampleEvent] | type[LockAcquireEvent] | type[LockReleaseEvent], Unknown]" is incompatible with "Dict[Event, Sequence[Event]]"
-     "dict[type[StackExceptionSampleEvent] | type[MemoryAllocSampleEvent] | type[MemoryHeapSampleEvent] | type[StackSampleEvent] | type[LockAcquireEvent] | type[LockReleaseEvent], Unknown]" is incompatible with "EventsType"
+     "dict[type[StackExceptionSampleEvent] | type[MemoryAllocSampleEvent] | type[MemoryHeapSampleEvent] | type[StackSampleEvent] | type[LockAcquireEvent] | type[LockReleaseEvent], Unknown]" is incompatible with "Dict[Event, Sequence[Event]]"
-     "dict[type[StackExceptionSampleEvent] | type[MemoryAllocSampleEvent] | type[MemoryHeapSampleEvent] | type[StackSampleEvent] | type[LockAcquireEvent] | type[LockReleaseEvent], Unknown]" is incompatible with "EventsType"
+     "dict[type[StackExceptionSampleEvent] | type[MemoryAllocSampleEvent] | type[MemoryHeapSampleEvent] | type[StackSampleEvent] | type[LockAcquireEvent] | type[LockReleaseEvent], Unknown]" is incompatible with "Dict[Event, Sequence[Event]]"
-     "dict[type[StackExceptionSampleEvent] | type[MemoryAllocSampleEvent] | type[MemoryHeapSampleEvent] | type[StackSampleEvent] | type[LockAcquireEvent] | type[LockReleaseEvent], Unknown]" is incompatible with "EventsType"

... (truncated 49 lines) ...

trio (https://github.com/python-trio/trio)
-   /tmp/mypy_primer/projects/trio/src/trio/_dtls.py:1228:13 - error: Argument of type "*tuple[ref, SocketType]" cannot be assigned to parameter "args" of type "*PosArgT@spawn_system_task" in function "spawn_system_task"
+   /tmp/mypy_primer/projects/trio/src/trio/_dtls.py:1228:13 - error: Argument of type "*tuple[ReferenceType[Self@DTLSEndpoint], SocketType]" cannot be assigned to parameter "args" of type "*PosArgT@spawn_system_task" in function "spawn_system_task"
-     Type "*tuple[ref, SocketType]" is incompatible with type "*tuple[ReferenceType[DTLSEndpoint], SocketType]"
+     Type "*tuple[ReferenceType[Self@DTLSEndpoint], SocketType]" is incompatible with type "*tuple[ReferenceType[DTLSEndpoint], SocketType]"
-       "*tuple[ref, SocketType]" is incompatible with "*tuple[ReferenceType[DTLSEndpoint], SocketType]"
+       "*tuple[ReferenceType[Self@DTLSEndpoint], SocketType]" is incompatible with "*tuple[ReferenceType[DTLSEndpoint], SocketType]"
-           "ref" is incompatible with "ReferenceType[DTLSEndpoint]"
+           "ReferenceType[Self@DTLSEndpoint]" is incompatible with "ReferenceType[DTLSEndpoint]"
-     "None" is incompatible with "FamilyT" (reportArgumentType)
+     "None" is incompatible with "int" (reportArgumentType)
-   /tmp/mypy_primer/projects/trio/src/trio/_subprocess.py:174:12 - error: "can_try_pidfd_open" is unbound (reportUnboundVariable)
-       "builtins.list" is incompatible with "builtins.int" (reportReturnType)
+       "list[kevent]" is incompatible with "int" (reportReturnType)
-       "builtins.list" is incompatible with "builtins.int" (reportAssignmentType)
+       "list[kevent]" is incompatible with "int" (reportAssignmentType)
-       "list[Unknown]" is incompatible with "EventResult" (reportArgumentType)
+       "list[Unknown]" is incompatible with "int" (reportArgumentType)
-     "builtins.int" is incompatible with "builtins.list" (reportArgumentType)
+     "int" is incompatible with "list[kevent]" (reportArgumentType)
+   /tmp/mypy_primer/projects/trio/src/trio/_core/_run.py:2519:46 - error: Argument of type "EventResult" cannot be assigned to parameter "events" of type "EventResult" in function "process_events"
+     "int" is incompatible with "list[tuple[int, int]]" (reportArgumentType)
-     "Signals" is incompatible with "SignalType" (reportAssignmentType)
+     "Signals" is incompatible with "None" (reportAssignmentType)
-     "Signals" is incompatible with "SignalType" (reportAssignmentType)
+     "Signals" is incompatible with "None" (reportAssignmentType)
-     "Signals" is incompatible with "SignalType" (reportAssignmentType)
+     "Signals" is incompatible with "None" (reportAssignmentType)
-       "SignalType" is incompatible with "Signals"
+       "None" is incompatible with "Signals"
-       "SignalType" is incompatible with "int" (reportArgumentType)
+       "None" is incompatible with "int" (reportArgumentType)

@DetachHead DetachHead merged commit b48e49c into main May 1, 2024
11 checks passed
@DetachHead DetachHead deleted the merge-1.1.361 branch May 1, 2024 03:20
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

4 participants