Merge 1.1.376 #575
Merged
Merge 1.1.376 #575
Conversation
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
…pe checking settings.
…f these diagnostics are suppressed.
…gnostic is suppressed.
…ialize a generic type alias parameterized by a ParamSpec. This addresses #8694.
…-on change. Users of OverloadedFunctionType must now use the accessor functions to get the overloads and implementation. (#8695)
…ad error when the implementation of the overload includes a decorator that changes the type of the implementation to a non-function type. This addresses #8692. (#8699)
…or `Literal` doesn't follow type expression rules within a value expression context. This addresses 8696. (#8700)
…ecursive. (#8703)
* fix file info null reference * check for binding * removing fileinfo in if statement
…overload implementation with generics was compatible with its overloads. This addresses #8687. (#8706)
…he need to track separate constraints for dest and src. (#8707)
…eflect the fact that non-function types are now supported for overloads. No functional change, just a rename. (#8708)
…verride` when the child class method uses a type parameter that is scoped to the child class. This addresses #8622. (#8711)
…l-only and keyword-only separators when using a TypedDict with zero fields. This addresses #8712.
…ags is consistent (#8704) * Make sure config options cannot be overridden by settings.json * Make sure extraPaths and python env information is updated from the command line * Change fromVsCodeExtension to fromLanguageServer
…lfClsParameterName` check. Previously, different rules were applied to `__new__` and class methods within metaclasses. This addresses #8717. (#8720)
…ng of flags is consistent (#8704)" This reverts commit a86210c.
…npacking where the dict key type is a union of literals. This addresses #8671. (#8724)
…er' specific settings (#8726) * Document different types of 'compiler' flags and ensure merging of flags is consistent (#8704) * Make sure config options cannot be overridden by settings.json * Make sure extraPaths and python env information is updated from the command line * Change fromVsCodeExtension to fromLanguageServer * Separate command line options into json ones and language server ones * Fix build error
* Special case pythonPath to also come from the languageServer * Compare URI correctly
…at involves a lambda. This addresses #8714. (#8730)
…it from walking all the way to the top of the parse tree.
…es when `order=True` to use `Self` rather than an instance of the class. This is not only more consistent with other synthesized methods, but it also preserves covariance of type variables if the dataclass is frozen. (#8734)
…ameter to getEffectiveReturnType function. This is in preparation for a more involved change to fix #8723. (#8736)
… diagnostic message in cases where it won't be used.
…isinstance` type narrowing between a `type` and another type creates a subclass. (#8741)
…ad-only property a class has a Final variable. This addresses #8744. (#8747)
…ype variables. These are no longer treated as free type variables during protocol matching, so they can be used to support rank-2 polymorphism. This behavior is not currently dictated by the typing spec, but it is more consistent with mypy. This addresses #8685. (#8751)
…deeply-nested higher-order functions. This addresses #8723. (#8752)
…isinstance` type narrowing between a `type` and another type creates a subclass. (#8753)
# Conflicts: # docs/configuration.md # package-lock.json # package.json # packages/pyright-internal/package-lock.json # packages/pyright-internal/package.json # packages/pyright-internal/src/analyzer/checker.ts # packages/pyright-internal/src/analyzer/service.ts # packages/pyright-internal/src/analyzer/typeEvaluatorTypes.ts # packages/pyright-internal/src/common/configOptions.ts # packages/pyright-internal/src/localization/package.nls.ru.json # packages/pyright-internal/src/pyright.ts # packages/pyright-internal/src/tests/config.test.ts # packages/pyright/package-lock.json # packages/pyright/package.json # packages/vscode-pyright/package-lock.json # packages/vscode-pyright/package.json
…cing new errors that aren't properly handled & fix some type errors from the merge
DetachHead
force-pushed
the
merge-1.1.376
branch
from
d0234dc to
42d9a56
Compare
… typechecking in the lsp by default
|
Diff from mypy_primer, showing the effect of this PR on open source code: anyio (https://github.com/agronholm/anyio)
- /tmp/mypy_primer/projects/anyio/src/anyio/from_thread.py:305:9 - error: Overloaded implementation is not consistent with signature of overload 2
- Function return type "Future[T_Retval@start_task_soon]" is incompatible with type "Future[Awaitable[T_Retval@start_task_soon] | T_Retval@start_task_soon]"
- "Future[T_Retval@start_task_soon]" is incompatible with "Future[Awaitable[T_Retval@start_task_soon] | T_Retval@start_task_soon]"
- Type parameter "_T@Future" is invariant, but "T_Retval@start_task_soon" is not the same as "Awaitable[T_Retval@start_task_soon] | T_Retval@start_task_soon" (reportInconsistentOverload)
+ /tmp/mypy_primer/projects/anyio/src/anyio/_backends/_asyncio.py:905:13 - error: Argument of type "partial[None]" cannot be assigned to parameter "func" of type "(*PosArgsT@run_sync_from_thread) -> T_Retval@run_sync_from_thread" in function "run_sync_from_thread"
+ Type "partial[None]" is incompatible with type "((func: (*PosArgsT@_call_func) -> (Awaitable[T_Retval@_call_func] | T_Retval@_call_func), args: tuple[*PosArgsT@_call_func], kwargs: dict[str, Any], future: Future[T_Retval@_call_func]) -> Coroutine[Any, Any, None], (*PosArgsT@_spawn_task_from_thread) -> (Awaitable[T_Retval@_spawn_task_from_thread] | T_Retval@_spawn_task_from_thread), tuple[*PosArgsT@_spawn_task_from_thread], dict[str, Any], Future[T_Retval@_spawn_task_from_thread]) -> None"
+ Parameter 3: type "tuple[*PosArgsT@_spawn_task_from_thread]" is incompatible with type "*PosArgsT@start_soon"
+ Type "*tuple[tuple[*PosArgsT@_spawn_task_from_thread]]" is incompatible with type "*tuple[(*PosArgsT@_call_func) -> (Awaitable[T_Retval@_call_func] | T_Retval@_call_func), tuple[*PosArgsT@_call_func], dict[str, Any], Future[T_Retval@_call_func]]"
+ "*tuple[tuple[*PosArgsT@_spawn_task_from_thread]]" is incompatible with "*tuple[(*PosArgsT@_call_func) -> (Awaitable[T_Retval@_call_func] | T_Retval@_call_func), tuple[*PosArgsT@_call_func], dict[str, Any], Future[T_Retval@_call_func]]"
+ Tuple size mismatch; expected 4 but received 1
+ Parameter 4: type "dict[str, Any]" is incompatible with type "*PosArgsT@start_soon"
+ Type "*tuple[dict[str, Any]]" is incompatible with type "*tuple[(*PosArgsT@_call_func) -> (Awaitable[T_Retval@_call_func] | T_Retval@_call_func), tuple[*PosArgsT@_call_func], dict[str, Any], Future[T_Retval@_call_func]]"
+ "*tuple[dict[str, Any]]" is incompatible with "*tuple[(*PosArgsT@_call_func) -> (Awaitable[T_Retval@_call_func] | T_Retval@_call_func), tuple[*PosArgsT@_call_func], dict[str, Any], Future[T_Retval@_call_func]]"
+ ... (reportArgumentType)
- /tmp/mypy_primer/projects/anyio/src/anyio/abc/_eventloop.py:250:15 - error: Overloaded methods must all be abstract or not (reportInconsistentOverload)
- /tmp/mypy_primer/projects/anyio/src/anyio/abc/_eventloop.py:316:15 - error: Overloaded methods must all be abstract or not (reportInconsistentOverload)
- 1553 errors, 0 warnings, 0 notes
+ 1551 errors, 0 warnings, 0 notes
mypy (https://github.com/python/mypy)
- /tmp/mypy_primer/projects/mypy/mypy/typeshed/stdlib/contextvars.pyi:57:9 - error: Overload 3 for "get" will never be used because its parameters overlap overload 2 (reportOverlappingOverload)
+ /tmp/mypy_primer/projects/mypy/mypy/typeshed/stdlib/shelve.pyi:25:9 - error: Method "get" overrides class "Mapping" in an incompatible manner
+ Override does not handle all overloads of base method (reportIncompatibleMethodOverride)
+ Parameter 3 type mismatch: base parameter is type "None", override parameter is type "_VT@WeakValueDictionary"
- Parameter 3 mismatch: base parameter has default argument value, override parameter does not (reportIncompatibleMethodOverride)
+ Parameter 3 mismatch: base parameter has default argument value, override parameter does not
+ Type "None" is incompatible with type "_VT@WeakValueDictionary" (reportIncompatibleMethodOverride)
+ Return type mismatch: base method returns type "dict[_T@Counter, int]", override returns type "Counter[_T@Counter | _S@__or__]"
- "dict[_T@Counter, int]" is incompatible with "Counter[_S@__or__]" (reportIncompatibleMethodOverride)
+ "dict[_T@Counter, int]" is incompatible with "Counter[_S@__or__]"
+ "Counter[_T@Counter | _S@__or__]" is incompatible with "dict[_T@Counter, int]"
+ Type parameter "_KT@dict" is invariant, but "_T@Counter | _S@__or__" is not the same as "_T@Counter" (reportIncompatibleMethodOverride)
- Type "None" is incompatible with constrained type variable "AnyStr" (reportIncompatibleMethodOverride)
+ Type "None" is incompatible with type "AnyStr@_Environ" (reportIncompatibleMethodOverride)
artigraph (https://github.com/artigraph/artigraph)
- /tmp/mypy_primer/projects/artigraph/tests/arti/types/test_python_adapters.py:91:52 - error: Type arguments for "Literal" must be None, a literal value (int, bool, str, or bytes), or an enum value (reportInvalidTypeForm)
- /tmp/mypy_primer/projects/artigraph/tests/arti/types/test_python_adapters.py:91:57 - error: Type arguments for "Literal" must be None, a literal value (int, bool, str, or bytes), or an enum value (reportInvalidTypeForm)
- /tmp/mypy_primer/projects/artigraph/tests/arti/types/test_python_adapters.py:103:59 - error: Type arguments for "Literal" must be None, a literal value (int, bool, str, or bytes), or an enum value (reportInvalidTypeForm)
- /tmp/mypy_primer/projects/artigraph/tests/arti/types/test_python_adapters.py:105:40 - error: Type arguments for "Literal" must be None, a literal value (int, bool, str, or bytes), or an enum value (reportInvalidTypeForm)
- 3482 errors, 0 warnings, 0 notes
+ 3478 errors, 0 warnings, 0 notes
sympy (https://github.com/sympy/sympy)
- /tmp/mypy_primer/projects/sympy/sympy/core/operations.py:244:18 - error: Cannot access attribute "_matches_simple" for class "<subclass of AssocOp and Expr>*"
+ /tmp/mypy_primer/projects/sympy/sympy/core/operations.py:244:18 - error: Cannot access attribute "_matches_simple" for class "<subclass of AssocOp* and Expr>*"
- Type of "exact" is "Unknown | AssocOp* | <subclass of AssocOp and Expr>*" (reportUnknownVariableType)
+ Type of "exact" is "Unknown | AssocOp* | <subclass of AssocOp* and Expr>*" (reportUnknownVariableType)
- Type of "_new_rawargs" is "((..., reeval: bool = True) -> (Unknown | AssocOp*)) | ((..., reeval: bool = True) -> (Unknown | <subclass of AssocOp and Expr>*))" (reportUnknownMemberType)
+ Type of "_new_rawargs" is "((..., reeval: bool = True) -> (Unknown | AssocOp*)) | ((..., reeval: bool = True) -> (Unknown | <subclass of AssocOp* and Expr>*))" (reportUnknownMemberType)
- /tmp/mypy_primer/projects/sympy/sympy/core/operations.py:271:28 - error: Cannot access attribute "_combine_inverse" for class "<subclass of AssocOp and Expr>*"
+ /tmp/mypy_primer/projects/sympy/sympy/core/operations.py:271:28 - error: Cannot access attribute "_combine_inverse" for class "<subclass of AssocOp* and Expr>*"
- Type of "newpattern" is "Unknown | AssocOp* | <subclass of AssocOp and Expr>*" (reportUnknownVariableType)
+ Type of "newpattern" is "Unknown | AssocOp* | <subclass of AssocOp* and Expr>*" (reportUnknownVariableType)
- Type of "_new_rawargs" is "((..., reeval: bool = True) -> (Unknown | AssocOp*)) | ((..., reeval: bool = True) -> (Unknown | <subclass of AssocOp and Expr>*))" (reportUnknownMemberType)
+ Type of "_new_rawargs" is "((..., reeval: bool = True) -> (Unknown | AssocOp*)) | ((..., reeval: bool = True) -> (Unknown | <subclass of AssocOp* and Expr>*))" (reportUnknownMemberType)
- /tmp/mypy_primer/projects/sympy/sympy/core/operations.py:294:31 - error: Cannot access attribute "identity" for class "<subclass of AssocOp and Expr>*"
+ /tmp/mypy_primer/projects/sympy/sympy/core/operations.py:294:31 - error: Cannot access attribute "identity" for class "<subclass of AssocOp* and Expr>*"
- Type of "xreplace" is "((rule: Unknown) -> (Unknown | AssocOp*)) | ((rule: Unknown) -> (Unknown | <subclass of AssocOp and Expr>*))" (reportUnknownMemberType)
+ Type of "xreplace" is "((rule: Unknown) -> (Unknown | AssocOp*)) | ((rule: Unknown) -> (Unknown | <subclass of AssocOp* and Expr>*))" (reportUnknownMemberType)
- /tmp/mypy_primer/projects/sympy/sympy/functions/elementary/complexes.py:1325:36 - error: Argument of type "type[__class_UndefinedFunction] | Unknown | Literal[0]" cannot be assigned to parameter "x" of type "SupportsAbs[_T@abs]" in function "abs"
+ /tmp/mypy_primer/projects/sympy/sympy/functions/elementary/complexes.py:1325:36 - error: Argument of type "type[__class_UndefinedFunction] | Unknown | Literal[0]" cannot be assigned to parameter "x" of type "SupportsAbs[_T(3)@abs]" in function "abs"
- /tmp/mypy_primer/projects/sympy/sympy/functions/elementary/miscellaneous.py:495:13 - error: Return type, "Unknown | Max | Min | <subclass of Max and MinMaxBase>* | <subclass of Min and MinMaxBase>*", is partially unknown (reportUnknownParameterType)
+ /tmp/mypy_primer/projects/sympy/sympy/functions/elementary/miscellaneous.py:495:13 - error: Return type, "Unknown | Max | Min | <subclass of Max and MinMaxBase*>* | <subclass of Min and MinMaxBase*>*", is partially unknown (reportUnknownParameterType)
- /tmp/mypy_primer/projects/sympy/sympy/functions/elementary/miscellaneous.py:503:24 - error: Return type, "Unknown | <subclass of Max and MinMaxBase>* | <subclass of Min and MinMaxBase>*", is partially unknown (reportUnknownVariableType)
+ /tmp/mypy_primer/projects/sympy/sympy/functions/elementary/miscellaneous.py:503:24 - error: Return type, "Unknown | <subclass of Max and MinMaxBase*>* | <subclass of Min and MinMaxBase*>*", is partially unknown (reportUnknownVariableType)
- /tmp/mypy_primer/projects/sympy/sympy/physics/continuum_mechanics/beam.py:1409:9 - error: Return type, "tuple[Unknown, Unknown | Any] | None", is partially unknown (reportUnknownParameterType)
+ /tmp/mypy_primer/projects/sympy/sympy/physics/continuum_mechanics/beam.py:1409:9 - error: Return type, "tuple[Unknown, Unknown] | None", is partially unknown (reportUnknownParameterType)
- Type of "deflections" is "list[Unknown | Any]" (reportUnknownVariableType)
+ Type of "deflections" is "list[Unknown]" (reportUnknownVariableType)
- Argument type is "map[Unknown | Any]" (reportUnknownArgumentType)
+ Argument type is "map[Unknown]" (reportUnknownArgumentType)
- Argument type is "list[Unknown | Any]" (reportUnknownArgumentType)
+ Argument type is "list[Unknown]" (reportUnknownArgumentType)
- /tmp/mypy_primer/projects/sympy/sympy/physics/continuum_mechanics/beam.py:1426:13 - error: Type of "max_def" is partially unknown
+ /tmp/mypy_primer/projects/sympy/sympy/physics/continuum_mechanics/beam.py:1426:13 - error: Type of "max_def" is unknown (reportUnknownVariableType)
- Type of "max_def" is "Unknown | Any" (reportUnknownVariableType)
- Argument type is "list[Unknown | Any]" (reportUnknownArgumentType)
+ Argument type is "list[Unknown]" (reportUnknownArgumentType)
- /tmp/mypy_primer/projects/sympy/sympy/physics/continuum_mechanics/beam.py:1427:20 - error: Return type, "tuple[Unknown, Unknown | Any]", is partially unknown (reportUnknownVariableType)
+ /tmp/mypy_primer/projects/sympy/sympy/physics/continuum_mechanics/beam.py:1427:20 - error: Return type, "tuple[Unknown, Unknown]", is partially unknown (reportUnknownVariableType)
- Type of "index" is "(value: Unknown | Any, start: SupportsIndex = 0, stop: SupportsIndex = sys.maxsize, /) -> int" (reportUnknownMemberType)
+ Type of "index" is "(value: Unknown, start: SupportsIndex = 0, stop: SupportsIndex = sys.maxsize, /) -> int" (reportUnknownMemberType)
+ /tmp/mypy_primer/projects/sympy/sympy/physics/continuum_mechanics/beam.py:1427:46 - error: Argument type is unknown
+ Argument corresponds to parameter "value" in function "index" (reportUnknownArgumentType)
- Return type mismatch: base method returns type "tuple[Unknown, Unknown | Any] | None", override returns type "list[Unknown]"
+ Return type mismatch: base method returns type "tuple[Unknown, Unknown] | None", override returns type "list[Unknown]"
- Type "list[Unknown]" is incompatible with type "tuple[Unknown, Unknown | Any] | None"
+ Type "list[Unknown]" is incompatible with type "tuple[Unknown, Unknown] | None"
- "list[Unknown]" is incompatible with "tuple[Unknown, Unknown | Any]"
+ "list[Unknown]" is incompatible with "tuple[Unknown, Unknown]"
- Return type mismatch: base method returns type "None", override returns type "Unknown | <subclass of HermitianOperator and UnitaryOperator>* | None"
+ Return type mismatch: base method returns type "None", override returns type "Unknown | <subclass of HermitianOperator* and UnitaryOperator>* | None"
- Type "Unknown | <subclass of HermitianOperator and UnitaryOperator>* | None" is incompatible with type "None"
+ Type "Unknown | <subclass of HermitianOperator* and UnitaryOperator>* | None" is incompatible with type "None"
- "<subclass of HermitianOperator and UnitaryOperator>*" is incompatible with "None" (reportIncompatibleMethodOverride)
+ "<subclass of HermitianOperator* and UnitaryOperator>*" is incompatible with "None" (reportIncompatibleMethodOverride)
- Return type mismatch: base method returns type "None", override returns type "Unknown | <subclass of HermitianOperator and UnitaryOperator>* | None"
+ Return type mismatch: base method returns type "None", override returns type "Unknown | <subclass of HermitianOperator* and UnitaryOperator>* | None"
- Type "Unknown | <subclass of HermitianOperator and UnitaryOperator>* | None" is incompatible with type "None"
+ Type "Unknown | <subclass of HermitianOperator* and UnitaryOperator>* | None" is incompatible with type "None"
- "<subclass of HermitianOperator and UnitaryOperator>*" is incompatible with "None" (reportIncompatibleMethodOverride)
+ "<subclass of HermitianOperator* and UnitaryOperator>*" is incompatible with "None" (reportIncompatibleMethodOverride)
- Return type mismatch: base method returns type "None", override returns type "Unknown | <subclass of HermitianOperator and UnitaryOperator>* | None"
+ Return type mismatch: base method returns type "None", override returns type "Unknown | <subclass of HermitianOperator* and UnitaryOperator>* | None"
- Type "Unknown | <subclass of HermitianOperator and UnitaryOperator>* | None" is incompatible with type "None"
+ Type "Unknown | <subclass of HermitianOperator* and UnitaryOperator>* | None" is incompatible with type "None"
- "<subclass of HermitianOperator and UnitaryOperator>*" is incompatible with "None" (reportIncompatibleMethodOverride)
+ "<subclass of HermitianOperator* and UnitaryOperator>*" is incompatible with "None" (reportIncompatibleMethodOverride)
- Return type mismatch: base method returns type "None", override returns type "Unknown | <subclass of HermitianOperator and UnitaryOperator>* | None"
+ Return type mismatch: base method returns type "None", override returns type "Unknown | <subclass of HermitianOperator* and UnitaryOperator>* | None"
- Type "Unknown | <subclass of HermitianOperator and UnitaryOperator>* | None" is incompatible with type "None"
+ Type "Unknown | <subclass of HermitianOperator* and UnitaryOperator>* | None" is incompatible with type "None"
- "<subclass of HermitianOperator and UnitaryOperator>*" is incompatible with "None" (reportIncompatibleMethodOverride)
... (truncated 336 lines) ...
cloud-init (https://github.com/canonical/cloud-init)
- /tmp/mypy_primer/projects/cloud-init/cloudinit/sources/DataSourceMAAS.py:185:40 - error: Argument type is unknown
- Argument corresponds to parameter "skew_data_file" in function "__init__" (reportUnknownArgumentType)
- /tmp/mypy_primer/projects/cloud-init/tests/unittests/config/test_cc_ntp.py:562:55 - error: Argument of type "dict[str, str | list[str] | None] | dict[str, str | list[Unknown] | None] | Unknown | None" cannot be assigned to parameter "iterable" of type "Iterable[SupportsRichComparisonT(1)@sorted]" in function "sorted"
+ /tmp/mypy_primer/projects/cloud-init/tests/unittests/config/test_cc_ntp.py:562:55 - error: Argument of type "dict[str, str | list[str] | None] | dict[str, str | list[Unknown] | None] | Unknown | None" cannot be assigned to parameter "iterable" of type "Iterable[SupportsRichComparisonT(2)@sorted]" in function "sorted"
- Type of "metadata" is "dict[Unknown, Unknown] | <subclass of str and dict> | Any | Unknown | None" (reportUnknownVariableType)
+ Type of "metadata" is "dict[Unknown, Unknown] | <subclass of Literal['instance-id: cloud-vm\nlocal-hostname: cloud-vm\nnet…'] and dict> | Any | Unknown | None" (reportUnknownVariableType)
- Type of "metadata" is "dict[Unknown, Unknown] | <subclass of str and dict> | Any | Unknown | None" (reportUnknownVariableType)
+ Type of "metadata" is "dict[Unknown, Unknown] | <subclass of Literal['instance-id: cloud-vm\nlocal-hostname: cloud-vm\nnet…'] and dict> | Any | Unknown | None" (reportUnknownVariableType)
- Type of "metadata" is "dict[Unknown, Unknown] | <subclass of str and dict> | Any | Unknown | None" (reportUnknownVariableType)
+ Type of "metadata" is "dict[Unknown, Unknown] | <subclass of Literal['instance-id: cloud-vm\nlocal-hostname: cloud-vm\nnet…'] and dict> | Any | Unknown | None" (reportUnknownVariableType)
- Type of "metadata" is "dict[Unknown, Unknown] | <subclass of str and dict> | Any | Unknown | None" (reportUnknownVariableType)
+ Type of "metadata" is "dict[Unknown, Unknown] | <subclass of Literal['instance-id: cloud-vm\nlocal-hostname: cloud-vm\nnet…'] and dict> | Any | Unknown | None" (reportUnknownVariableType)
- 65100 errors, 0 warnings, 0 notes
+ 65099 errors, 0 warnings, 0 notes
sphinx (https://github.com/sphinx-doc/sphinx)
- /tmp/mypy_primer/projects/sphinx/sphinx/util/typing.py:487:45 - error: Variable not allowed in type expression (reportInvalidTypeForm)
- /tmp/mypy_primer/projects/sphinx/sphinx/util/typing.py:487:45 - error: Type arguments for "Literal" must be None, a literal value (int, bool, str, or bytes), or an enum value (reportInvalidTypeForm)
+ /tmp/mypy_primer/projects/sphinx/sphinx/util/typing.py:487:62 - error: Cannot access attribute "__args__" for class "Literal"
+ Attribute "__args__" is unknown (reportAttributeAccessIssue)
- 12808 errors, 0 warnings, 0 notes
+ 12807 errors, 0 warnings, 0 notes
bidict (https://github.com/jab/bidict)
- /tmp/mypy_primer/projects/bidict/bidict/_bidict.py:125:9 - error: Method "pop" overrides class "MutableMapping" in an incompatible manner
- Override does not handle all overloads of base method (reportIncompatibleMethodOverride)
- 594 errors, 0 warnings, 0 notes
+ 593 errors, 0 warnings, 0 notes
pip (https://github.com/pypa/pip)
- /tmp/mypy_primer/projects/pip/src/pip/_vendor/typing_extensions.py:1028:20 - error: Expression of type "__call__" is incompatible with declared type "(self: Self@type, ...) -> Any"
- Type "Overload[() -> dict[Unknown, Unknown], (**kwargs: _VT@dict) -> dict[str, _VT@dict], (map: SupportsKeysAndGetItem[_KT@dict, _VT@dict], /) -> dict[_KT@dict, _VT@dict], (map: SupportsKeysAndGetItem[str, _VT@dict], /, **kwargs: _VT@dict) -> dict[str, _VT@dict], (iterable: Iterable[tuple[_KT@dict, _VT@dict]], /) -> dict[_KT@dict, _VT@dict], (iterable: Iterable[tuple[str, _VT@dict]], /, **kwargs: _VT@dict) -> dict[str, _VT@dict], (iterable: Iterable[list[str]], /) -> dict[str, str], (iterable: Iterable[list[bytes]], /) -> dict[bytes, bytes]] | ((...) -> dict[_KT@dict, _VT@dict])" is incompatible with type "(self: Self@type, ...) -> Any"
- No overloaded function matches type "(self: Self@type, ...) -> Any" (reportAssignmentType)
- 37895 errors, 0 warnings, 0 notes
+ 37894 errors, 0 warnings, 0 notes
pydantic (https://github.com/pydantic/pydantic)
- /tmp/mypy_primer/projects/pydantic/pydantic/json_schema.py:69:1 - error: Type of "CoreSchemaOrFieldType" is unknown (reportUnknownVariableType)
- /tmp/mypy_primer/projects/pydantic/pydantic/json_schema.py:69:33 - error: Type arguments for "Literal" must be None, a literal value (int, bool, str, or bytes), or an enum value (reportInvalidTypeForm)
- /tmp/mypy_primer/projects/pydantic/pydantic/json_schema.py:69:61 - error: Type arguments for "Literal" must be None, a literal value (int, bool, str, or bytes), or an enum value (reportInvalidTypeForm)
- /tmp/mypy_primer/projects/pydantic/pydantic/json_schema.py:331:13 - error: Argument type is unknown
- Argument corresponds to parameter "type_" in function "all_literal_values" (reportUnknownArgumentType)
+ /tmp/mypy_primer/projects/pydantic/pydantic/json_schema.py:331:13 - error: Argument of type "Literal" cannot be assigned to parameter "type_" of type "type[Any]" in function "all_literal_values"
+ "Literal" is incompatible with "type[Any]" (reportArgumentType)
+ Parameter 2 type mismatch: base parameter is type "set[str] | None", override parameter is type "RootModelRootType@RootModel"
- Parameter "**values" has no corresponding parameter (reportIncompatibleMethodOverride)
+ Parameter "**values" has no corresponding parameter
+ Type "set[str] | None" is incompatible with type "RootModelRootType@RootModel" (reportIncompatibleMethodOverride)
- 6040 errors, 0 warnings, 0 notes
+ 6037 errors, 0 warnings, 0 notes
pandera (https://github.com/pandera-dev/pandera)
- /tmp/mypy_primer/projects/pandera/tests/test_inspection_utils.py:20:27 - error: Class methods should take a "cls" parameter (reportSelfClsParameterName)
- /tmp/mypy_primer/projects/pandera/tests/core/test_decorators.py:779:9 - error: Type of "arg_type" is unknown (reportUnknownVariableType)
- /tmp/mypy_primer/projects/pandera/tests/core/test_decorators.py:779:28 - error: Variable not allowed in type expression (reportInvalidTypeForm)
- /tmp/mypy_primer/projects/pandera/tests/core/test_decorators.py:779:28 - error: Type arguments for "Literal" must be None, a literal value (int, bool, str, or bytes), or an enum value (reportInvalidTypeForm)
- /tmp/mypy_primer/projects/pandera/tests/core/test_decorators.py:1110:13 - error: Class methods should take a "cls" parameter (reportSelfClsParameterName)
- 31748 errors, 0 warnings, 0 notes
+ 31743 errors, 0 warnings, 0 notes
comtypes (https://github.com/enthought/comtypes)
- /tmp/mypy_primer/projects/comtypes/comtypes/safearray.py:149:27 - error: Argument of type "type[Self@_]" cannot be assigned to parameter "typ" of type "type[_CastT@cast]" in function "cast"
+ /tmp/mypy_primer/projects/comtypes/comtypes/safearray.py:149:27 - error: Argument of type "type[Self@_]" cannot be assigned to parameter "typ" of type "type[_CastT(1)@cast]" in function "cast"
scrapy (https://github.com/scrapy/scrapy)
+ /tmp/mypy_primer/projects/scrapy/scrapy/utils/defer.py:96:5 - error: Overload 2 for "mustbe_deferred" will never be used because its parameters overlap overload 1 (reportOverlappingOverload)
+ /tmp/mypy_primer/projects/scrapy/scrapy/utils/defer.py:104:5 - error: Overload 3 for "mustbe_deferred" will never be used because its parameters overlap overload 1 (reportOverlappingOverload)
+ /tmp/mypy_primer/projects/scrapy/scrapy/utils/deprecate.py:62:13 - error: __new__ override should take a "cls" parameter (reportSelfClsParameterName)
- 27903 errors, 0 warnings, 0 notes
+ 27906 errors, 0 warnings, 0 notes
core (https://github.com/home-assistant/core)
- /tmp/mypy_primer/projects/core/homeassistant/helpers/config_validation.py:299:5 - error: Overloaded implementation is not consistent with signature of overload 3
- Type "(value: _T@ensure_list | None) -> (list[_T@ensure_list] | list[Any])" is incompatible with type "(value: list[_T@ensure_list] | _T@ensure_list) -> list[_T@ensure_list]"
- Parameter 1: type "list[_T@ensure_list] | _T@ensure_list" is incompatible with type "_T@ensure_list | None" (reportInconsistentOverload)
- /tmp/mypy_primer/projects/core/homeassistant/util/hass_dict.pyi:93:9 - error: Overload 6 for "pop" will never be used because its parameters overlap overload 5 (reportOverlappingOverload)
- 306072 errors, 0 warnings, 0 notes
+ 306070 errors, 0 warnings, 0 notes
vision (https://github.com/pytorch/vision)
- /tmp/mypy_primer/projects/vision/torchvision/transforms/functional.py:573:28 - error: Argument of type "<subclass of list and Number>" cannot be assigned to parameter "x" of type "ConvertibleToInt" in function "__new__"
+ /tmp/mypy_primer/projects/vision/torchvision/transforms/functional.py:573:28 - error: Argument of type "<subclass of List[int] and Number>" cannot be assigned to parameter "x" of type "ConvertibleToInt" in function "__new__"
- Type "<subclass of list and Number>" is incompatible with type "ConvertibleToInt"
+ Type "<subclass of List[int] and Number>" is incompatible with type "ConvertibleToInt"
- "<subclass of list and Number>" is incompatible with "str"
+ "<subclass of List[int] and Number>" is incompatible with "str"
- "<subclass of list and Number>" is incompatible with protocol "Buffer"
+ "<subclass of List[int] and Number>" is incompatible with protocol "Buffer"
- "<subclass of list and Number>" is incompatible with protocol "SupportsInt"
+ "<subclass of List[int] and Number>" is incompatible with protocol "SupportsInt"
- "<subclass of list and Number>" is incompatible with protocol "SupportsIndex"
+ "<subclass of List[int] and Number>" is incompatible with protocol "SupportsIndex"
- /tmp/mypy_primer/projects/vision/torchvision/transforms/functional.py:573:46 - error: Argument of type "<subclass of list and Number>" cannot be assigned to parameter "x" of type "ConvertibleToInt" in function "__new__"
+ /tmp/mypy_primer/projects/vision/torchvision/transforms/functional.py:573:46 - error: Argument of type "<subclass of List[int] and Number>" cannot be assigned to parameter "x" of type "ConvertibleToInt" in function "__new__"
- Type "<subclass of list and Number>" is incompatible with type "ConvertibleToInt"
+ Type "<subclass of List[int] and Number>" is incompatible with type "ConvertibleToInt"
- "<subclass of list and Number>" is incompatible with "str"
+ "<subclass of List[int] and Number>" is incompatible with "str"
- "<subclass of list and Number>" is incompatible with protocol "Buffer"
+ "<subclass of List[int] and Number>" is incompatible with protocol "Buffer"
- "<subclass of list and Number>" is incompatible with protocol "SupportsInt"
+ "<subclass of List[int] and Number>" is incompatible with protocol "SupportsInt"
- "<subclass of list and Number>" is incompatible with protocol "SupportsIndex"
+ "<subclass of List[int] and Number>" is incompatible with protocol "SupportsIndex"
- /tmp/mypy_primer/projects/vision/torchvision/transforms/functional.py:799:21 - error: Argument of type "<subclass of list and Number>" cannot be assigned to parameter "x" of type "ConvertibleToInt" in function "__new__"
+ /tmp/mypy_primer/projects/vision/torchvision/transforms/functional.py:799:21 - error: Argument of type "<subclass of List[int] and Number>" cannot be assigned to parameter "x" of type "ConvertibleToInt" in function "__new__"
- Type "<subclass of list and Number>" is incompatible with type "ConvertibleToInt"
+ Type "<subclass of List[int] and Number>" is incompatible with type "ConvertibleToInt"
- "<subclass of list and Number>" is incompatible with "str"
+ "<subclass of List[int] and Number>" is incompatible with "str"
- "<subclass of list and Number>" is incompatible with protocol "Buffer"
+ "<subclass of List[int] and Number>" is incompatible with protocol "Buffer"
- "<subclass of list and Number>" is incompatible with protocol "SupportsInt"
+ "<subclass of List[int] and Number>" is incompatible with protocol "SupportsInt"
- "<subclass of list and Number>" is incompatible with protocol "SupportsIndex"
+ "<subclass of List[int] and Number>" is incompatible with protocol "SupportsIndex"
- /tmp/mypy_primer/projects/vision/torchvision/transforms/functional.py:799:32 - error: Argument of type "<subclass of list and Number>" cannot be assigned to parameter "x" of type "ConvertibleToInt" in function "__new__"
+ /tmp/mypy_primer/projects/vision/torchvision/transforms/functional.py:799:32 - error: Argument of type "<subclass of List[int] and Number>" cannot be assigned to parameter "x" of type "ConvertibleToInt" in function "__new__"
- Type "<subclass of list and Number>" is incompatible with type "ConvertibleToInt"
+ Type "<subclass of List[int] and Number>" is incompatible with type "ConvertibleToInt"
- "<subclass of list and Number>" is incompatible with "str"
+ "<subclass of List[int] and Number>" is incompatible with "str"
- "<subclass of list and Number>" is incompatible with protocol "Buffer"
+ "<subclass of List[int] and Number>" is incompatible with protocol "Buffer"
- "<subclass of list and Number>" is incompatible with protocol "SupportsInt"
+ "<subclass of List[int] and Number>" is incompatible with protocol "SupportsInt"
- "<subclass of list and Number>" is incompatible with protocol "SupportsIndex"
+ "<subclass of List[int] and Number>" is incompatible with protocol "SupportsIndex"
- /tmp/mypy_primer/projects/vision/torchvision/transforms/functional.py:850:21 - error: Argument of type "<subclass of list and Number>" cannot be assigned to parameter "x" of type "ConvertibleToInt" in function "__new__"
... (truncated 836 lines) ...``` |
DetachHead
temporarily deployed
to
github-pages
GitHub Actions
Inactive
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
Add this suggestion to a batch that can be applied as a single commit.
This suggestion is invalid because no changes were made to the code.
Suggestions cannot be applied while the pull request is closed.
Suggestions cannot be applied while viewing a subset of changes.
Only one suggestion per line can be applied in a batch.
Add this suggestion to a batch that can be applied as a single commit.
Applying suggestions on deleted lines is not supported.
You must change the existing code in this line in order to create a valid suggestion.
Outdated suggestions cannot be applied.
This suggestion has been applied or marked resolved.
Suggestions cannot be applied from pending reviews.
Suggestions cannot be applied on multi-line comments.
Suggestions cannot be applied while the pull request is queued to merge.
Suggestion cannot be applied right now. Please check back later.
No description provided.