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.

Sign up for GitHub

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

Jump to bottom

intersection type #357

Merged
merged 3 commits into from
Apr 15, 2023
Merged

intersection type #357

merged 3 commits into from
Apr 15, 2023

Conversation

KotlinIsland
Copy link
Owner

@KotlinIsland KotlinIsland commented Jul 20, 2022 •
edited
Loading 

imposter: Among & Us

Follow up:

@KotlinIsland KotlinIsland self-assigned this Jul 20, 2022
@github-actions

This comment has been minimized.

Sign in to view
1 similar comment
@github-actions

This comment has been minimized.

Sign in to view
@github-actions

This comment has been minimized.

Sign in to view
@github-actions

This comment has been minimized.

Sign in to view
@KotlinIsland KotlinIsland force-pushed the master branch 2 times, most recently from aa88dab to ff66817 Compare July 30, 2022 09:17
@github-actions

This comment has been minimized.

Sign in to view
@github-actions

This comment has been minimized.

Sign in to view
@KotlinIsland KotlinIsland mentioned this pull request Feb 26, 2023
Closed
@KotlinIsland KotlinIsland force-pushed the intersection branch 2 times, most recently from 6a6b339 to efd0ef1 Compare March 26, 2023 13:57
@KotlinIsland KotlinIsland marked this pull request as ready for review March 26, 2023 14:02
@github-actions

This comment has been minimized.

Sign in to view
@KotlinIsland KotlinIsland force-pushed the intersection branch 2 times, most recently from dbc518c to 0d1aa70 Compare March 27, 2023 14:34
Repository owner deleted a comment from github-actions bot Apr 12, 2023
@KotlinIsland KotlinIsland force-pushed the intersection branch 3 times, most recently from 58ea349 to fa6bc7d Compare April 12, 2023 09:22
Repository owner deleted a comment from github-actions bot Apr 12, 2023
@KotlinIsland KotlinIsland force-pushed the intersection branch 4 times, most recently from ee154be to 321369e Compare April 12, 2023 09:28
@github-actions

This comment was marked as outdated.

Sign in to view
@KotlinIsland
Copy link
Owner Author

KotlinIsland commented Apr 15, 2023 •
edited
Loading

@DetachHead Here is the changes that I've made over the last week, https://github.com/KotlinIsland/basedmypy/compare/f9139448c1efd4bd13b333787b5f41abd89ead30..46a373a

The main diff was making type (TypeTypes) work with intersections.

There's a bunch of primer diff still unaccounted for, but I'm happy with the work so far and am now looking to merge and release this feature.

DetachHead
DetachHead reviewed Apr 15, 2023
View reviewed changes
mypy/meet.py Show resolved Hide resolved
mypy/meet.py Outdated Show resolved Hide resolved
test-data/unit/check-based-intersection.test Show resolved Hide resolved
test-data/unit/check-based-intersection.test Outdated Show resolved Hide resolved
test-data/unit/check-based-intersection.test Show resolved Hide resolved
test-data/unit/check-based-intersection.test Show resolved Hide resolved
@github-actions
Copy link

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

aiortc (https://github.com/aiortc/aiortc)
- src/aiortc/rtcicetransport.py:99:23: error: Subclass of "str" and "list[Any]" cannot exist: would have incompatible method signatures  [unreachable]
+ src/aiortc/rtcicetransport.py:99:23: error: Intersection of "str & list[Any]" cannot exist: would have incompatible method signatures  [unreachable]
- src/aiortc/rtcsctptransport.py:1799:25: error: Subclass of "bytes" and "str" cannot exist: would have incompatible method signatures  [unreachable]
+ src/aiortc/rtcsctptransport.py:1799:25: error: Intersection of "bytes & str" cannot exist: would have incompatible method signatures  [unreachable]

prefect (https://github.com/PrefectHQ/prefect)
+ src/prefect/utilities/templating.py:62:52: error: Expression type contains "Any" (has type "dict[Untyped, Untyped] & str")  [no-any-expr]
+ src/prefect/utilities/templating.py:110:42: error: Expression type contains "Any" (has type "dict[Untyped, Untyped] & str")  [no-any-expr]
+ src/prefect/utilities/templating.py:113:20: error: Expression type contains "Any" (has type "dict[Untyped, Untyped] & str")  [no-any-expr]
+ src/prefect/utilities/templating.py:116:53: error: Expression type contains "Any" (has type "dict[Untyped, Untyped] & str")  [no-any-expr]
+ src/prefect/utilities/templating.py:130:32: error: Expression type contains "Any" (has type "dict[Untyped, Untyped] & str")  [no-any-expr]
+ src/prefect/utilities/templating.py:131:20: error: Expression type contains "Any" (has type "dict[Untyped, Untyped] & str")  [no-any-expr]
+ src/prefect/utilities/templating.py:250:42: error: Expression type contains "Any" (has type "dict[Untyped, Untyped] & str")  [no-any-expr]
+ src/prefect/utilities/templating.py:256:20: error: Expression type contains "Any" (has type "dict[Untyped, Untyped] & str")  [no-any-expr]
+ src/prefect/utilities/templating.py:259:53: error: Expression type contains "Any" (has type "dict[Untyped, Untyped] & str")  [no-any-expr]
+ src/prefect/utilities/templating.py:276:36: error: Expression type contains "Any" (has type "dict[Untyped, Untyped] & str")  [no-any-expr]
+ src/prefect/utilities/templating.py:278:36: error: Expression type contains "Any" (has type "dict[Untyped, Untyped] & str")  [no-any-expr]
+ src/prefect/utilities/templating.py:279:20: error: Expression type contains "Any" (has type "dict[Untyped, Untyped] & str")  [no-any-expr]
- src/prefect/projects/steps/core.py:39:23: error: Subclass of "str" and "list[Any]" cannot exist: would have incompatible method signatures  [unreachable]
+ src/prefect/projects/steps/core.py:39:23: error: Intersection of "str & list[Any]" cannot exist: would have incompatible method signatures  [unreachable]
- src/prefect/blocks/core.py:84:19: error: Subclass of "dict[Untyped, Untyped]" and "list[Any]" cannot exist: would have incompatible method signatures  [unreachable]
+ src/prefect/blocks/core.py:84:19: error: Intersection of "dict[Untyped, Untyped] & list[Any]" cannot exist: would have incompatible method signatures  [unreachable]
- src/prefect/testing/utilities.py:109:19: error: Subclass of "list[dict[str, str]]" and "dict[Any, Any]" cannot exist: would have incompatible method signatures  [unreachable]
+ src/prefect/testing/utilities.py:109:19: error: Intersection of "list[dict[str, str]] & dict[Any, Any]" cannot exist: would have incompatible method signatures  [unreachable]

bokeh (https://github.com/bokeh/bokeh)
+ src/bokeh/util/datatypes.py: note: In member "add_value" of class "MultiValuedDict":
+ src/bokeh/util/datatypes.py:80:32: error: Argument 1 to <set> has incompatible type "V@MultiValuedDict | set[V@MultiValuedDict] & None"; expected "V@MultiValuedDict"  [arg-type]
+ src/bokeh/util/datatypes.py: note: In member "get_all" of class "MultiValuedDict":
+ src/bokeh/util/datatypes.py:92:21: error: List item 0 has incompatible type "V@MultiValuedDict | set[V@MultiValuedDict] & None"; expected "V@MultiValuedDict"  [list-item]

pylint (https://github.com/pycqa/pylint)
- pylint/checkers/logging.py:361:76: error: Subclass of "str" and "int" cannot exist: would have incompatible method signatures  [unreachable]
+ pylint/checkers/logging.py:361:76: error: Intersection of "str & int" cannot exist: would have incompatible method signatures  [unreachable]

ibis (https://github.com/ibis-project/ibis)
- ibis/common/validators.py:85:29: error: Subclass of "type" and "TypeVar" cannot exist: would have incompatible method signatures  [unreachable]
+ ibis/common/validators.py:85:29: error: Intersection of "type & TypeVar" cannot exist: would have incompatible method signatures  [unreachable]
- ibis/expr/datatypes/core.py:72:21: error: Subclass of "UnionType" and "AbstractSet[Any]" cannot exist: would have incompatible method signatures  [unreachable]
+ ibis/expr/datatypes/core.py:72:21: error: Intersection of "UnionType & AbstractSet[Any]" cannot exist: would have incompatible method signatures  [unreachable]
- ibis/expr/datatypes/core.py:575:31: error: Subclass of "int" and "Integral" cannot exist: would have incompatible method signatures  [unreachable]
+ ibis/expr/datatypes/core.py:575:31: error: Intersection of "int & Integral" cannot exist: would have incompatible method signatures  [unreachable]
- ibis/expr/datatypes/core.py:585:31: error: Subclass of "int" and "Integral" cannot exist: would have incompatible method signatures  [unreachable]
+ ibis/expr/datatypes/core.py:585:31: error: Intersection of "int & Integral" cannot exist: would have incompatible method signatures  [unreachable]
- ibis/expr/decompile.py:309:59: error: Subclass of "TableNode" and "Named" cannot exist: would have incompatible method signatures  [unreachable]
+ ibis/expr/decompile.py:309:59: error: Intersection of "TableNode & Named" cannot exist: would have incompatible method signatures  [unreachable]
- ibis/expr/types/relations.py:2011:56: error: Subclass of "list[BooleanValue]" and "Expr" cannot exist: would have incompatible method signatures  [unreachable]
+ ibis/expr/types/relations.py:2011:56: error: Intersection of "list[BooleanValue] & Expr" cannot exist: would have incompatible method signatures  [unreachable]
- ibis/expr/types/relations.py:2011:56: error: Subclass of "list[(BooleanValue, Table)]" and "Expr" cannot exist: would have incompatible method signatures  [unreachable]
+ ibis/expr/types/relations.py:2011:56: error: Intersection of "list[(BooleanValue, Table)] & Expr" cannot exist: would have incompatible method signatures  [unreachable]
- ibis/backends/pandas/core.py:430:36: error: Subclass of "Node" and "Expr" cannot exist: would have incompatible method signatures  [unreachable]
+ ibis/backends/pandas/core.py:430:36: error: Intersection of "Node & Expr" cannot exist: would have incompatible method signatures  [unreachable]
- ibis/backends/dask/core.py:397:36: error: Subclass of "Node" and "Expr" cannot exist: would have incompatible method signatures  [unreachable]
+ ibis/backends/dask/core.py:397:36: error: Intersection of "Node & Expr" cannot exist: would have incompatible method signatures  [unreachable]

scikit-learn (https://github.com/scikit-learn/scikit-learn)
- sklearn/utils/validation.py:808:19: error: Subclass of "str" and "list[Any]" cannot exist: would have incompatible method signatures  [unreachable]
+ sklearn/utils/validation.py:808:19: error: Intersection of "str & list[Any]" cannot exist: would have incompatible method signatures  [unreachable]
- sklearn/utils/validation.py:808:19: error: Subclass of "str" and "tuple[Any, ...]" cannot exist: would have incompatible method signatures  [unreachable]
+ sklearn/utils/validation.py:808:19: error: Intersection of "str & tuple[Any, ...]" cannot exist: would have incompatible method signatures  [unreachable]
- sklearn/utils/_param_validation.py:570:57: error: Subclass of "Integral" and "bool" cannot exist: would have incompatible method signatures  [unreachable]
+ sklearn/utils/_param_validation.py:570:57: error: Intersection of "Integral & bool" cannot exist: would have incompatible method signatures  [unreachable]
- sklearn/metrics/_plot/regression.py:378:23: error: Subclass of "int" and "Integral" cannot exist: would have incompatible method signatures  [unreachable]
+ sklearn/metrics/_plot/regression.py:378:23: error: Intersection of "int & Integral" cannot exist: would have incompatible method signatures  [unreachable]
- sklearn/metrics/_plot/regression.py:383:25: error: Subclass of "int" and "Real" cannot exist: would have incompatible method signatures  [unreachable]
+ sklearn/metrics/_plot/regression.py:383:25: error: Intersection of "int & Real" cannot exist: would have incompatible method signatures  [unreachable]
- sklearn/model_selection/_split.py:1437:27: error: Subclass of "int" and "Integral" cannot exist: would have incompatible method signatures  [unreachable]
+ sklearn/model_selection/_split.py:1437:27: error: Intersection of "int & Integral" cannot exist: would have incompatible method signatures  [unreachable]
- sklearn/model_selection/_split.py:2445:19: error: Subclass of "int" and "Integral" cannot exist: would have incompatible method signatures  [unreachable]
+ sklearn/model_selection/_split.py:2445:19: error: Intersection of "int & Integral" cannot exist: would have incompatible method signatures  [unreachable]
- sklearn/model_selection/_split.py:2455:47: error: Subclass of "int" and "str" cannot exist: would have incompatible method signatures  [unreachable]
+ sklearn/model_selection/_split.py:2455:47: error: Intersection of "int & str" cannot exist: would have incompatible method signatures  [unreachable]
- sklearn/model_selection/_split.py:2456:55: error: Subclass of "int", "Iterable[Any]", and "str" cannot exist: would have inconsistent method resolution order  [unreachable]
- sklearn/preprocessing/_polynomial.py:256:23: error: Subclass of "int" and "Integral" cannot exist: would have incompatible method signatures  [unreachable]
+ sklearn/preprocessing/_polynomial.py:256:23: error: Intersection of "int & Integral" cannot exist: would have incompatible method signatures  [unreachable]
- sklearn/preprocessing/_polynomial.py:266:71: error: Argument 1 to "len" has incompatible type "<subclass of "int" and "Iterable">"; expected "Sized"  [arg-type]
+ sklearn/preprocessing/_polynomial.py:266:71: error: Argument 1 to "len" has incompatible type "int & Iterable[Any]"; expected "Sized"  [arg-type]
+ sklearn/preprocessing/_polynomial.py:268:50: error: "int & Iterable[Any]" object is not iterable  [misc]
- sklearn/preprocessing/_polynomial.py:268:13: error: Cannot determine type of "_min_degree"  [has-type]
- sklearn/preprocessing/_polynomial.py:268:31: error: Cannot determine type of "_max_degree"  [has-type]
- sklearn/preprocessing/_discretization.py:334:23: error: Subclass of "int" and "Integral" cannot exist: would have incompatible method signatures  [unreachable]
+ sklearn/preprocessing/_discretization.py:334:23: error: Intersection of "int & Integral" cannot exist: would have incompatible method signatures  [unreachable]
- sklearn/neighbors/_kde.py:215:23: error: Subclass of "float" and "str" cannot exist: would have incompatible method signatures  [unreachable]
+ sklearn/neighbors/_kde.py:215:23: error: Intersection of "float & str" cannot exist: would have incompatible method signatures  [unreachable]
- sklearn/model_selection/_search.py:732:39: error: Subclass of "bool" and "str" cannot exist: would have incompatible method signatures  [unreachable]
+ sklearn/model_selection/_search.py:732:39: error: Intersection of "bool & str" cannot exist: would have incompatible method signatures  [unreachable]
- sklearn/linear_model/_logistic.py:265:19: error: Subclass of "int" and "Integral" cannot exist: would have incompatible method signatures  [unreachable]
+ sklearn/linear_model/_logistic.py:265:19: error: Intersection of "int & Integral" cannot exist: would have incompatible method signatures  [unreachable]
- sklearn/cluster/_birch.py:714:23: error: Subclass of "int" and "Integral" cannot exist: would have incompatible method signatures  [unreachable]
+ sklearn/cluster/_birch.py:714:23: error: Intersection of "int & Integral" cannot exist: would have incompatible method signatures  [unreachable]
- sklearn/cluster/_bicluster.py:525:23: error: Subclass of "int" and "Integral" cannot exist: would have incompatible method signatures  [unreachable]
+ sklearn/cluster/_bicluster.py:525:23: error: Intersection of "int & Integral" cannot exist: would have incompatible method signatures  [unreachable]
- sklearn/naive_bayes.py:611:54: error: Subclass of "float" and "Real" cannot exist: would have incompatible method signatures  [unreachable]
+ sklearn/naive_bayes.py:611:54: error: Intersection of "float & Real" cannot exist: would have incompatible method signatures  [unreachable]
- sklearn/tree/_export.py:445:23: error: Subclass of "int" and "Integral" cannot exist: would have incompatible method signatures  [unreachable]
+ sklearn/tree/_export.py:445:23: error: Intersection of "int & Integral" cannot exist: would have incompatible method signatures  [unreachable]
- sklearn/impute/_base.py:407:32: error: Subclass of "int" and "Real" cannot exist: would have incompatible method signatures  [unreachable]
+ sklearn/impute/_base.py:407:32: error: Intersection of "int & Real" cannot exist: would have incompatible method signatures  [unreachable]
- sklearn/feature_extraction/image.py:322:23: error: Incompatible types in assignment (expression has type "tuple[<subclass of "int" and "Number">, ...]", variable has type "int")  [assignment]
+ sklearn/feature_extraction/image.py:322:23: error: Incompatible types in assignment (expression has type "tuple[int & Number, ...]", variable has type "int")  [assignment]
- sklearn/feature_extraction/image.py:324:27: error: Incompatible types in assignment (expression has type "tuple[<subclass of "int" and "Number">, ...]", variable has type "int")  [assignment]
+ sklearn/feature_extraction/image.py:324:27: error: Incompatible types in assignment (expression has type "tuple[int & Number, ...]", variable has type "int")  [assignment]
- sklearn/datasets/_samples_generator.py:749:19: error: Subclass of "int" and "Integral" cannot exist: would have incompatible method signatures  [unreachable]
+ sklearn/datasets/_samples_generator.py:749:19: error: Intersection of "int & Integral" cannot exist: would have incompatible method signatures  [unreachable]
- sklearn/datasets/_samples_generator.py:824:19: error: Subclass of "int" and "Integral" cannot exist: would have incompatible method signatures  [unreachable]
+ sklearn/datasets/_samples_generator.py:824:19: error: Intersection of "int & Integral" cannot exist: would have incompatible method signatures  [unreachable]
- sklearn/datasets/_samples_generator.py:959:19: error: Subclass of "int" and "Integral" cannot exist: would have incompatible method signatures  [unreachable]
+ sklearn/datasets/_samples_generator.py:959:19: error: Intersection of "int & Integral" cannot exist: would have incompatible method signatures  [unreachable]
- sklearn/datasets/_samples_generator.py:1005:19: error: Subclass of "float" and "Real" cannot exist: would have incompatible method signatures  [unreachable]
+ sklearn/datasets/_samples_generator.py:1005:19: error: Intersection of "float & Real" cannot exist: would have incompatible method signatures  [unreachable]
+ sklearn/datasets/_samples_generator.py:1011:32: error: Expression type contains "Any" (has type "list[Any]")  [no-any-expr]
- sklearn/datasets/_samples_generator.py:1011:32: error: Incompatible types in assignment (expression has type "list[int]", variable has type "<subclass of "int" and "Iterable">")  [assignment]
+ sklearn/datasets/_samples_generator.py:1011:32: error: Incompatible types in assignment (expression has type "list[Any]", variable has type "int & Iterable[Any]")  [assignment]
- sklearn/datasets/_samples_generator.py:1014:13: error: Value of type "<subclass of "int" and "Iterable">" is not indexable  [index]
+ sklearn/datasets/_samples_generator.py:1014:13: error: Value of type "int & Iterable[Any]" is not indexable  [index]
- sklearn/datasets/_samples_generator.py:1014:13: error: Unsupported target for indexed assignment ("<subclass of "int" and "Iterable">")  [index]
+ sklearn/datasets/_samples_generator.py:1014:13: error: Unsupported target for indexed assignment ("int & Iterable[Any]")  [index]
- sklearn/datasets/_samples_generator.py:1020:34: error: No overload variant of "zip" matches argument types "<subclass of "int" and "Iterable">", "float"  [call-overload]
+ sklearn/datasets/_samples_generator.py:1020:34: error: No overload variant of "zip" matches argument types "int & Iterable[Any]", "float"  [call-overload]
- sklearn/impute/_iterative.py:631:24: error: "Never" has no attribute "fit_transform"  [attr-defined]
+ sklearn/impute/_iterative.py:631:13: error: Usage of untyped name "X_filled" in typed context  [no-untyped-usage]
+ sklearn/impute/_iterative.py:631:24: error: Call to untyped function "fit_transform" in typed context  [no-untyped-call]
+ sklearn/impute/_iterative.py:631:24: error: Expression has type "Untyped"  [no-any-expr]
+ sklearn/impute/_iterative.py:633:13: error: Usage of untyped name "X_filled" in typed context  [no-untyped-usage]
- sklearn/impute/_iterative.py:636:37: error: Expression has type "Any"  [no-any-expr]
+ sklearn/impute/_iterative.py:636:37: error: Expression has type "Untyped"  [no-any-expr]
- sklearn/impute/_iterative.py:649:16: error: Expression type contains "Any" (has type "(Untyped, Any (from error), Untyped, Untyped)")  [no-any-expr]
+ sklearn/impute/_iterative.py:649:16: error: Expression type contains "Any" (has type "(Untyped, Untyped, Untyped, Untyped)")  [no-any-expr]
+ sklearn/impute/_iterative.py:649:20: error: Expression has type "Untyped"  [no-any-expr]
- sklearn/feature_extraction/text.py:1394:50: error: Subclass of "float" and "Integral" cannot exist: would have incompatible method signatures  [unreachable]
+ sklearn/feature_extraction/text.py:1394:50: error: Intersection of "float & Integral" cannot exist: would have incompatible method signatures  [unreachable]
- sklearn/feature_extraction/text.py:1395:50: error: Subclass of "int" and "Integral" cannot exist: would have incompatible method signatures  [unreachable]
+ sklearn/feature_extraction/text.py:1395:50: error: Intersection of "int & Integral" cannot exist: would have incompatible method signatures  [unreachable]
- sklearn/ensemble/_bagging.py:416:23: error: Subclass of "float" and "Integral" cannot exist: would have incompatible method signatures  [unreachable]
+ sklearn/ensemble/_bagging.py:416:23: error: Intersection of "float & Integral" cannot exist: would have incompatible method signatures  [unreachable]
- sklearn/ensemble/_hist_gradient_boosting/gradient_boosting.py:324:36: error: Subclass of "int" and "Integral" cannot exist: would have incompatible method signatures  [unreachable]
+ sklearn/ensemble/_hist_gradient_boosting/gradient_boosting.py:324:36: error: Intersection of "int & Integral" cannot exist: would have incompatible method signatures  [unreachable]
- sklearn/inspection/_permutation_importance.py:274:23: error: Subclass of "float" and "Integral" cannot exist: would have incompatible method signatures  [unreachable]
+ sklearn/inspection/_permutation_importance.py:274:23: error: Intersection of "float & Integral" cannot exist: would have incompatible method signatures  [unreachable]
- sklearn/feature_selection/_univariate_selection.py:699:27: error: Subclass of "int" and "str" cannot exist: would have incompatible method signatures  [unreachable]
+ sklearn/feature_selection/_univariate_selection.py:699:27: error: Intersection of "int & str" cannot exist: would have incompatible method signatures  [unreachable]
- sklearn/feature_selection/_sequential.py:254:20: error: Expression has type "Any (unannotated)"  [no-any-expr]
+ sklearn/feature_selection/_sequential.py:254:20: error: Expression type contains "Any" (has type "bool | Any (unannotated)")  [no-any-expr]
- sklearn/feature_selection/_sequential.py:254:24: error: Unsupported operand types for < ("int" and "<subclass of "str" and "Integral">")  [operator]
+ sklearn/feature_selection/_sequential.py:254:24: error: Unsupported operand types for < ("int" and "str & Integral")  [operator]
- sklearn/ensemble/_iforest.py:303:23: error: Subclass of "float" and "str" cannot exist: would have incompatible method signatures  [unreachable]
+ sklearn/ensemble/_iforest.py:303:23: error: Intersection of "float & str" cannot exist: would have incompatible method signatures  [unreachable]
- sklearn/ensemble/_iforest.py:306:25: error: Subclass of "float" and "Integral" cannot exist: would have incompatible method signatures  [unreachable]
+ sklearn/ensemble/_iforest.py:306:25: error: Intersection of "float & Integral" cannot exist: would have incompatible method signatures  [unreachable]
- sklearn/inspection/_plot/partial_dependence.py:691:23: error: Subclass of "int" and "Integral" cannot exist: would have incompatible method signatures  [unreachable]
+ sklearn/inspection/_plot/partial_dependence.py:691:23: error: Intersection of "int & Integral" cannot exist: would have incompatible method signatures  [unreachable]
- sklearn/inspection/_plot/partial_dependence.py:696:25: error: Subclass of "int" and "Real" cannot exist: would have incompatible method signatures  [unreachable]
+ sklearn/inspection/_plot/partial_dependence.py:696:25: error: Intersection of "int & Real" cannot exist: would have incompatible method signatures  [unreachable]
- sklearn/inspection/_plot/partial_dependence.py:770:23: error: Subclass of "int" and "Integral" cannot exist: would have incompatible method signatures  [unreachable]
+ sklearn/inspection/_plot/partial_dependence.py:770:23: error: Intersection of "int & Integral" cannot exist: would have incompatible method signatures  [unreachable]
- sklearn/inspection/_plot/partial_dependence.py:774:25: error: Subclass of "int" and "Real" cannot exist: would have incompatible method signatures  [unreachable]
+ sklearn/inspection/_plot/partial_dependence.py:774:25: error: Intersection of "int & Real" cannot exist: would have incompatible method signatures  [unreachable]

kornia (https://github.com/kornia/kornia)
+ kornia/augmentation/container/image.py:128:16: error: Incompatible return value type (got "False | int & tuple[Any, ...] | (int, int)", expected "(int, int) | bool")  [return-value]

sympy (https://github.com/sympy/sympy)
- sympy/core/evalf.py:1038:23: error: Subclass of "Expr" and "float" cannot exist: would have incompatible method signatures  [unreachable]
+ sympy/core/evalf.py:1038:23: error: Intersection of "Expr & float" cannot exist: would have incompatible method signatures  [unreachable]
- sympy/core/evalf.py:1040:23: error: Subclass of "Expr" and "int" cannot exist: would have incompatible method signatures  [unreachable]
+ sympy/core/evalf.py:1040:23: error: Intersection of "Expr & int" cannot exist: would have incompatible method signatures  [unreachable]
- sympy/core/numbers.py:599:23: error: Subclass of "tuple[Untyped, ...]" and "Number" cannot exist: would have incompatible method signatures  [unreachable]
+ sympy/core/numbers.py:599:23: error: Intersection of "tuple[Untyped, ...] & Number" cannot exist: would have incompatible method signatures  [unreachable]
- sympy/core/numbers.py:606:26: error: Expression has type "Any (from unimported type)"  [no-any-expr]
+ sympy/core/numbers.py:606:26: error: Expression type contains "Any" (has type "tuple[Untyped, ...] & float | Any (from unimported type) | tuple[Untyped, ...] & Decimal")  [no-any-expr]
- sympy/core/numbers.py:607:23: error: Subclass of "tuple[Untyped, ...]" and "str" cannot exist: would have incompatible method signatures  [unreachable]
+ sympy/core/numbers.py:607:23: error: Intersection of "tuple[Untyped, ...] & str" cannot exist: would have incompatible method signatures  [unreachable]
+ sympy/core/mul.py:32:17: error: Expression type contains "Any" (has type "(Basic & Untyped) -> SupportsAllComparisons")  [no-any-expr]
+ sympy/core/mul.py:35:19: error: Expression type contains "Any" (has type "(Basic & Untyped) -> SupportsAllComparisons")  [no-any-expr]
+ sympy/core/add.py:17:17: error: Expression type contains "Any" (has type "(Basic & Untyped) -> SupportsAllComparisons")  [no-any-expr]
+ sympy/core/add.py:38:19: error: Expression type contains "Any" (has type "(Basic & Untyped) -> SupportsAllComparisons")  [no-any-expr]
- sympy/solvers/decompogen.py:38:68: error: Expression type contains "Any" (has type "Untyped | <subclass of "Expr" and "Relational">")  [no-any-expr]
+ sympy/solvers/decompogen.py:38:68: error: Expression type contains "Any" (has type "Untyped | Expr & Relational")  [no-any-expr]
- sympy/matrices/expressions/matmul.py:374:29: error: Subclass of "Basic" and "MatrixBase" cannot exist: would have incompatible method signatures  [unreachable]
+ sympy/matrices/expressions/matmul.py:374:29: error: Intersection of "Basic & MatrixBase" cannot exist: would have incompatible method signatures  [unreachable]
- sympy/solvers/solvers.py:1092:30: error: Subclass of "Expr" and "bool" cannot exist: would have incompatible method signatures  [unreachable]
+ sympy/solvers/solvers.py:1092:30: error: Intersection of "Expr & bool" cannot exist: would have incompatible method signatures  [unreachable]
- sympy/solvers/ode/ode.py:694:23: error: Subclass of "list[Any (unannotated)]" and "Expr" cannot exist: would have incompatible method signatures  [unreachable]
+ sympy/solvers/ode/ode.py:694:23: error: Intersection of "list[Any (unannotated)] & Expr" cannot exist: would have incompatible method signatures  [unreachable]
- sympy/solvers/ode/ode.py:694:23: error: Subclass of "list[Any (unannotated)]" and "Equality" cannot exist: would have incompatible method signatures  [unreachable]
+ sympy/solvers/ode/ode.py:694:23: error: Intersection of "list[Any (unannotated)] & Equality" cannot exist: would have incompatible method signatures  [unreachable]
- sympy/physics/units/dimensions.py:54:25: error: Subclass of "Dimension" and "Quantity" cannot exist: would have incompatible method signatures  [unreachable]
+ sympy/physics/units/dimensions.py:54:25: error: Intersection of "Dimension & Quantity" cannot exist: would have incompatible method signatures  [unreachable]
- sympy/vector/parametricregion.py:58:27: error: Subclass of "tuple[Untyped, ...]" and "sympy.core.containers.Tuple" cannot exist: would have incompatible method signatures  [unreachable]
+ sympy/vector/parametricregion.py:58:27: error: Intersection of "tuple[Untyped, ...] & sympy.core.containers.Tuple" cannot exist: would have incompatible method signatures  [unreachable]
- sympy/combinatorics/perm_groups.py:3736:35: error: Subclass of "int" and "tuple[Any, ...]" cannot exist: would have incompatible method signatures  [unreachable]
+ sympy/combinatorics/perm_groups.py:3736:35: error: Intersection of "int & tuple[Any, ...]" cannot exist: would have incompatible method signatures  [unreachable]
- sympy/tensor/array/expressions/from_array_to_matrix.py:371:53: error: Non-overlapping equality check (left operand type: "(Expr, Expr)", right operand type: "(int, int)")  [comparison-overlap]
- sympy/tensor/array/expressions/from_array_to_matrix.py:372:16: error: Non-overlapping equality check (left operand type: "(Expr, Expr)", right operand type: "(int, int)")  [comparison-overlap]
- sympy/tensor/array/expressions/from_array_to_matrix.py:376:14: error: Non-overlapping equality check (left operand type: "(Expr, Expr)", right operand type: "(int, int)")  [comparison-overlap]
+ sympy/tensor/array/expressions/from_array_to_matrix.py:371:53: error: Expression type contains "Any" (has type "(Expr, Expr) | Untyped")  [no-any-expr]
+ sympy/tensor/array/expressions/from_array_to_matrix.py:371:53: error: Expression type contains "Any" (has type "bool | Any (unannotated)")  [no-any-expr]
+ sympy/tensor/array/expressions/from_array_to_matrix.py:372:16: error: Expression type contains "Any" (has type "(Expr, Expr) | Untyped")  [no-any-expr]
+ sympy/tensor/array/expressions/from_array_to_matrix.py:372:16: error: Expression type contains "Any" (has type "bool | Any (unannotated)")  [no-any-expr]
+ sympy/tensor/array/expressions/from_array_to_matrix.py:376:14: error: Expression type contains "Any" (has type "(Expr, Expr) | Untyped")  [no-any-expr]
+ sympy/tensor/array/expressions/from_array_to_matrix.py:376:14: error: Expression type contains "Any" (has type "bool | Any (unannotated)")  [no-any-expr]
+ sympy/tensor/array/expressions/from_array_to_matrix.py:389:19: error: Expression type contains "Any" (has type "(Expr, Expr) | Untyped")  [no-any-expr]
+ sympy/tensor/array/expressions/from_array_to_matrix.py:390:17: error: Expression type contains "Any" (has type "Expr | Untyped")  [no-any-expr]
+ sympy/tensor/array/expressions/from_array_to_matrix.py:390:17: error: Expression type contains "Any" (has type "list[Expr | Untyped]")  [no-any-expr]
+ sympy/tensor/array/expressions/from_array_to_matrix.py:390:18: error: Expression type contains "Any" (has type "Expr | Untyped")  [no-any-expr]
+ sympy/tensor/array/expressions/from_array_to_matrix.py:390:29: error: Expression type contains "Any" (has type "(Expr, Expr) | Untyped")  [no-any-expr]
+ sympy/tensor/array/expressions/from_array_to_matrix.py:390:42: error: Expression type contains "Any" (has type "Expr | Untyped")  [no-any-expr]
+ sympy/tensor/array/expressions/from_array_to_matrix.py:392:27: error: Expression type contains "Any" (has type "Expr | Untyped")  [no-any-expr]
+ sympy/stats/stochastic_process_types.py:111:76: error: Expression type contains "Any" (has type "Sequence[Untyped] & sympy.core.containers.Tuple | Sequence[Untyped] & set[Any] | Sequence[Untyped] & FiniteSet")  [no-any-expr]
+ sympy/stats/stochastic_process_types.py:123:80: error: Expression type contains "Any" (has type "Sequence[Untyped] & Range")  [no-any-expr]
+ sympy/stats/stochastic_process_types.py:129:12: error: Expression type contains "Any" (has type "sympy.core.containers.Tuple | Range & Sequence[Untyped]")  [no-any-expr]
- sympy/printing/theanocode.py:199:23: error: Subclass of "str" and "int" cannot exist: would have incompatible method signatures  [unreachable]
+ sympy/printing/theanocode.py:199:23: error: Intersection of "str & int" cannot exist: would have incompatible method signatures  [unreachable]
- sympy/printing/aesaracode.py:200:23: error: Subclass of "str" and "int" cannot exist: would have incompatible method signatures  [unreachable]
+ sympy/printing/aesaracode.py:200:23: error: Intersection of "str & int" cannot exist: would have incompatible method signatures  [unreachable]
- sympy/logic/tests/test_boolalg.py:755:27: error: Subclass of "BooleanTrue" and "bool" cannot exist: would have incompatible method signatures  [unreachable]
+ sympy/logic/tests/test_boolalg.py:755:27: error: Intersection of "BooleanTrue & bool" cannot exist: would have incompatible method signatures  [unreachable]
- sympy/logic/tests/test_boolalg.py:756:27: error: Subclass of "BooleanFalse" and "bool" cannot exist: would have incompatible method signatures  [unreachable]
+ sympy/logic/tests/test_boolalg.py:756:27: error: Intersection of "BooleanFalse & bool" cannot exist: would have incompatible method signatures  [unreachable]
- sympy/holonomic/holonomic.py:2777:27: error: Subclass of "list[Any (unannotated)]" and "PolyElement" cannot exist: would have incompatible method signatures  [unreachable]
+ sympy/holonomic/holonomic.py:2777:27: error: Intersection of "list[Any (unannotated)] & PolyElement" cannot exist: would have incompatible method signatures  [unreachable]
- sympy/holonomic/holonomic.py:2777:27: error: Subclass of "list[Any (unannotated)]" and "FracElement" cannot exist: would have incompatible method signatures  [unreachable]
+ sympy/holonomic/holonomic.py:2777:27: error: Intersection of "list[Any (unannotated)] & FracElement" cannot exist: would have incompatible method signatures  [unreachable]
- sympy/core/tests/test_numbers.py:2205:23: error: Subclass of "Float", "Number", and "Real" cannot exist: would have inconsistent method resolution order  [unreachable]
- sympy/core/tests/test_numbers.py:2206:5: error: Statement is unreachable  [unreachable]
+ sympy/core/tests/test_numbers.py:2208:12: error: "Number" has no attribute "numerator"  [attr-defined]
+ sympy/core/tests/test_numbers.py:2209:12: error: "Number" has no attribute "denominator"  [attr-defined]
+ sympy/core/tests/test_numbers.py:2213:26: error: Expression type contains "Any" (has type "type[Number]")  [no-any-expr]
- sympy/physics/quantum/spin.py:1023:21: error: Too many arguments for <subclass of "SpinState" and "Ket">  [call-arg]

paasta (https://github.com/yelp/paasta)
- paasta_tools/marathon_dashboard.py:96:19: error: Subclass of "str" and "list[Any]" cannot exist: would have incompatible method signatures  [unreachable]
+ paasta_tools/marathon_dashboard.py:96:19: error: Intersection of "str & list[Any]" cannot exist: would have incompatible method signatures  [unreachable]
- paasta_tools/cli/cmds/metastatus.py:196:27: error: Subclass of "str" and "list[Any]" cannot exist: would have incompatible method signatures  [unreachable]
+ paasta_tools/cli/cmds/metastatus.py:196:27: error: Intersection of "str & list[Any]" cannot exist: would have incompatible method signatures  [unreachable]

black (https://github.com/psf/black)
+ src/blib2to3/pytree.py:684: error: Unused "type: ignore" comment  [unused-ignore]
+ src/blib2to3/pytree.py:685: error: Unused "type: ignore" comment  [unused-ignore]

isort (https://github.com/pycqa/isort)
- isort/settings.py:753:19: error: Subclass of "str" and "list[Any]" cannot exist: would have incompatible method signatures  [unreachable]
+ isort/settings.py:753:19: error: Intersection of "str & list[Any]" cannot exist: would have incompatible method signatures  [unreachable]

manticore (https://github.com/trailofbits/manticore)
- manticore/ethereum/abi.py:98:27: error: Subclass of "tuple[Untyped, ...]" and "str" cannot exist: would have incompatible method signatures  [unreachable]
+ manticore/ethereum/abi.py:98:27: error: Intersection of "tuple[Untyped, ...] & str" cannot exist: would have incompatible method signatures  [unreachable]

Tanjun (https://github.com/FasterSpeeding/Tanjun)
+ tanjun/commands/slash.py:1671:13: error: Expression type contains "Any" (has type "ExecutableCommand[Any] & AbstractComponentLoader")  [no-any-expr]
+ tanjun/commands/message.py:371:13: error: Expression type contains "Any" (has type "ExecutableCommand[Any] & AbstractComponentLoader")  [no-any-expr]
+ tanjun/commands/menu.py:676:13: error: Expression type contains "Any" (has type "ExecutableCommand[Any] & AbstractComponentLoader")  [no-any-expr]

yarl (https://github.com/aio-libs/yarl)
- tests/test_url.py:47:27: error: Subclass of "URL" and "str" cannot exist: would have incompatible method signatures  [unreachable]
+ tests/test_url.py:47:27: error: Intersection of "URL & str" cannot exist: would have incompatible method signatures  [unreachable]

mypy (https://github.com/python/mypy)
- mypy/plugins/default.py:465:21: error: Subclass of "TupleType" and "LiteralType" cannot exist: would have incompatible method signatures  [unreachable]
+ mypy/plugins/default.py:465:21: error: Intersection of "TupleType & LiteralType" cannot exist: would have incompatible method signatures  [unreachable]

cloud-init (https://github.com/canonical/cloud-init)
- cloudinit/reporting/handlers.py:47:23: error: Subclass of "str" and "int" cannot exist: would have incompatible method signatures  [unreachable]
+ cloudinit/reporting/handlers.py:47:23: error: Intersection of "str & int" cannot exist: would have incompatible method signatures  [unreachable]

vision (https://github.com/pytorch/vision)
- torchvision/utils.py:228:92: error: Expression type contains "Any" (has type "list[str | (int, int, int)] | Untyped | str | (int, int, int)")  [no-any-expr]
+ torchvision/utils.py:228:92: error: Expression type contains "Any" (has type "list[str | (int, int, int)] | Untyped | str | (int, int, int) | None & list[Any]")  [no-any-expr]
- torchvision/transforms/_functional_tensor.py:388:19: error: Subclass of "int" and "tuple[Any, ...]" cannot exist: would have incompatible method signatures  [unreachable]
+ torchvision/transforms/_functional_tensor.py:388:19: error: Intersection of "int & tuple[Any, ...]" cannot exist: would have incompatible method signatures  [unreachable]
- torchvision/transforms/_functional_tensor.py:388:19: error: Subclass of "list[int]" and "tuple[Any, ...]" cannot exist: would have incompatible method signatures  [unreachable]
+ torchvision/transforms/_functional_tensor.py:388:19: error: Intersection of "list[int] & tuple[Any, ...]" cannot exist: would have incompatible method signatures  [unreachable]
- torchvision/transforms/_functional_tensor.py:449:19: error: Subclass of "list[int]" and "tuple[Any, ...]" cannot exist: would have incompatible method signatures  [unreachable]
+ torchvision/transforms/_functional_tensor.py:449:19: error: Intersection of "list[int] & tuple[Any, ...]" cannot exist: would have incompatible method signatures  [unreachable]
- torchvision/transforms/v2/_utils.py:87:8: error: Left operand of "and" is always true  [redundant-expr]
- torchvision/transforms/v2/functional/_misc.py:93:19: error: Subclass of "list[int]" and "int" cannot exist: would have incompatible method signatures  [unreachable]
+ torchvision/transforms/v2/functional/_misc.py:93:19: error: Intersection of "list[int] & int" cannot exist: would have incompatible method signatures  [unreachable]
- torchvision/transforms/v2/functional/_geometry.py:149:19: error: Subclass of "list[int]" and "int" cannot exist: would have incompatible method signatures  [unreachable]
+ torchvision/transforms/v2/functional/_geometry.py:149:19: error: Intersection of "list[int] & int" cannot exist: would have incompatible method signatures  [unreachable]
- torchvision/transforms/v2/functional/_geometry.py:310:19: error: Subclass of "list[float]" and "tuple[Any, ...]" cannot exist: would have incompatible method signatures  [unreachable]
+ torchvision/transforms/v2/functional/_geometry.py:310:19: error: Intersection of "list[float] & tuple[Any, ...]" cannot exist: would have incompatible method signatures  [unreachable]
- torchvision/transforms/v2/functional/_geometry.py:313:19: error: Subclass of "list[float]" and "Number" cannot exist: would have incompatible method signatures  [unreachable]
+ torchvision/transforms/v2/functional/_geometry.py:313:19: error: Intersection of "list[float] & Number" cannot exist: would have incompatible method signatures  [unreachable]
- torchvision/transforms/v2/functional/_geometry.py:316:19: error: Subclass of "list[float]" and "tuple[Any, ...]" cannot exist: would have incompatible method signatures  [unreachable]
+ torchvision/transforms/v2/functional/_geometry.py:316:19: error: Intersection of "list[float] & tuple[Any, ...]" cannot exist: would have incompatible method signatures  [unreachable]
- torchvision/transforms/v2/functional/_geometry.py:1713:19: error: Subclass of "list[int]" and "Number" cannot exist: would have incompatible method signatures  [unreachable]
+ torchvision/transforms/v2/functional/_geometry.py:1713:19: error: Intersection of "list[int] & Number" cannot exist: would have incompatible method signatures  [unreachable]
- torchvision/transforms/v2/functional/_geometry.py:1919:19: error: Subclass of "list[int]" and "Number" cannot exist: would have incompatible method signatures  [unreachable]
+ torchvision/transforms/v2/functional/_geometry.py:1919:19: error: Intersection of "list[int] & Number" cannot exist: would have incompatible method signatures  [unreachable]
- torchvision/transforms/v2/utils.py:54:28: error: Expression type contains "Any" (has type "type[Untyped]")  [no-any-expr]
+ torchvision/transforms/v2/utils.py:54:28: error: Expression type contains "Any" (has type "type[Untyped] | (Any) -> bool & type")  [no-any-expr]
- torchvision/transforms/v2/utils.py:69:33: error: Expression type contains "Any" (has type "type[Untyped]")  [no-any-expr]
+ torchvision/transforms/v2/utils.py:69:33: error: Expression type contains "Any" (has type "type[Untyped] | (Any) -> bool & type")  [no-any-expr]
- torchvision/transforms/v2/_augment.py:69:23: error: Subclass of "float", "Number", and "str" cannot exist: would have incompatible method signatures  [unreachable]
- torchvision/transforms/v2/_augment.py:69:39: error: Right operand of "and" is never evaluated  [unreachable]

bidict (https://github.com/jab/bidict)
+ bidict/_base.py:539:21: error: Expression type contains "Any" (has type "MutableMapping[KT@_fwdm_reversed, Any] & Reversible[Any]")  [no-any-expr]

Expression (https://github.com/cognitedata/Expression)
- tests/test_union.py:50:14: error: Subclass of "Tag[Circle]" and "Tag[Rectangle]" cannot exist: would have inconsistent method resolution order  [unreachable]
+ tests/test_union.py:50:14: error: Intersection of "Tag[Circle] & Tag[Rectangle]" cannot exist: would have inconsistent method resolution order  [unreachable]
+ tests/test_parser.py:104:11: error: Expression type contains "Any" (has type "Ok[str, str] & Error[Any (from a limitation), Any (from a limitation)] | Error[str, str] & Ok[str, str]")  [no-any-expr]

pytest (https://github.com/pytest-dev/pytest)
- src/_pytest/_py/path.py:1179:23: error: Subclass of "str" and "bytes" cannot exist: would have incompatible method signatures  [unreachable]
+ src/_pytest/_py/path.py:1179:23: error: Intersection of "str & bytes" cannot exist: would have incompatible method signatures  [unreachable]
- src/_pytest/_py/path.py:1182:27: error: Subclass of "str" and "bytes" cannot exist: would have incompatible method signatures  [unreachable]
+ src/_pytest/_py/path.py:1182:27: error: Intersection of "str & bytes" cannot exist: would have incompatible method signatures  [unreachable]

starlette (https://github.com/encode/starlette)
+ tests/middleware/test_errors.py:18:34: error: Expression type contains "Any" (has type "(Untyped, Untyped, Untyped) -> Untyped & ServerErrorMiddleware")  [no-any-expr]
+ tests/middleware/test_errors.py:29:34: error: Expression type contains "Any" (has type "(Untyped, Untyped, Untyped) -> Untyped & ServerErrorMiddleware")  [no-any-expr]
+ tests/middleware/test_errors.py:41:34: error: Expression type contains "Any" (has type "(Untyped, Untyped, Untyped) -> Untyped & ServerErrorMiddleware")  [no-any-expr]
+ tests/middleware/test_errors.py:55:34: error: Expression type contains "Any" (has type "(Untyped, Untyped, Untyped) -> Untyped & ServerErrorMiddleware")  [no-any-expr]
+ tests/middleware/test_errors.py:71:38: error: Expression type contains "Any" (has type "(Untyped, Untyped, Untyped) -> Untyped & ServerErrorMiddleware")  [no-any-expr]

optuna (https://github.com/optuna/optuna)
- optuna/cli.py:112:31: error: Subclass of "str" and "int" cannot exist: would have incompatible method signatures  [unreachable]
+ optuna/cli.py:112:31: error: Intersection of "str & int" cannot exist: would have incompatible method signatures  [unreachable]

rich (https://github.com/Textualize/rich)
- rich/live.py:180:57: error: Subclass of "TextIO" and "FileProxy" cannot exist: would have incompatible method signatures  [unreachable]
+ rich/live.py:180:57: error: Intersection of "TextIO & FileProxy" cannot exist: would have incompatible method signatures  [unreachable]
- rich/live.py:183:57: error: Subclass of "TextIO" and "FileProxy" cannot exist: would have incompatible method signatures  [unreachable]
+ rich/live.py:183:57: error: Intersection of "TextIO & FileProxy" cannot exist: would have incompatible method signatures  [unreachable]

nox (https://github.com/wntrblm/nox)
- nox/manifest.py:238:38: error: Expression has type "Any"  [no-any-expr]

tornado (https://github.com/tornadoweb/tornado)
- tornado/ioloop.py:575:23: error: Subclass of "float" and "Real" cannot exist: would have incompatible method signatures  [unreachable]
+ tornado/ioloop.py:575:23: error: Intersection of "float & Real" cannot exist: would have incompatible method signatures  [unreachable]
- tornado/ioloop.py:575:23: error: Subclass of "timedelta" and "Real" cannot exist: would have incompatible method signatures  [unreachable]
+ tornado/ioloop.py:575:23: error: Intersection of "timedelta & Real" cannot exist: would have incompatible method signatures  [unreachable]
- tornado/ioloop.py:816:27: error: Subclass of "float" and "Real" cannot exist: would have incompatible method signatures  [unreachable]
+ tornado/ioloop.py:816:27: error: Intersection of "float & Real" cannot exist: would have incompatible method signatures  [unreachable]
- tornado/iostream.py:418:27: error: Subclass of "int" and "Integral" cannot exist: would have incompatible method signatures  [unreachable]
+ tornado/iostream.py:418:27: error: Intersection of "int & Integral" cannot exist: would have incompatible method signatures  [unreachable]
- tornado/tcpclient.py:258:27: error: Subclass of "float" and "Real" cannot exist: would have incompatible method signatures  [unreachable]
+ tornado/tcpclient.py:258:27: error: Intersection of "float & Real" cannot exist: would have incompatible method signatures  [unreachable]
- tornado/tcpclient.py:258:27: error: Subclass of "timedelta" and "Real" cannot exist: would have incompatible method signatures  [unreachable]
+ tornado/tcpclient.py:258:27: error: Intersection of "timedelta & Real" cannot exist: would have incompatible method signatures  [unreachable]
- tornado/httpserver.py:336:25: error: Subclass of "tuple[Untyped, ...]" and "bytes" cannot exist: would have incompatible method signatures  [unreachable]
+ tornado/httpserver.py:336:25: error: Intersection of "tuple[Untyped, ...] & bytes" cannot exist: would have incompatible method signatures  [unreachable]
- tornado/web.py:2734:27: error: Subclass of "Generator[bytes, None, None]" and "bytes" cannot exist: would have incompatible method signatures  [unreachable]
+ tornado/web.py:2734:27: error: Intersection of "Generator[bytes, None, None] & bytes" cannot exist: would have incompatible method signatures  [unreachable]
- tornado/web.py:2924:23: error: Subclass of "Generator[bytes, None, None]" and "bytes" cannot exist: would have incompatible method signatures  [unreachable]
+ tornado/web.py:2924:23: error: Intersection of "Generator[bytes, None, None] & bytes" cannot exist: would have incompatible method signatures  [unreachable]
+ tornado/simple_httpclient.py:634:17: error: Expression type contains "Any" (has type "str & Any")  [no-any-expr]
+ tornado/simple_httpclient.py:636:20: error: Expression type contains "Any" (has type "int | None & Any")  [no-any-expr]
+ tornado/simple_httpclient.py:637:41: error: Expression type contains "Any" (has type "int | None & Any")  [no-any-expr]
+ tornado/simple_httpclient.py:648:38: error: Expression type contains "Any" (has type "str & Any")  [no-any-expr]
+ tornado/simple_httpclient.py:649:45: error: Expression type contains "Any" (has type "str & Any")  [no-any-expr]
+ tornado/simple_httpclient.py:660:29: error: Expression type contains "Any" (has type "HTTPHeaders & Any")  [no-any-expr]
- tornado/test/ioloop_test.py:55: error: "type: ignore" comment without error code (consider "type: ignore[misc]" instead)  [ignore-without-code]
- tornado/test/ioloop_test.py:56: error: "type: ignore" comment without error code (consider "type: ignore[misc]" instead)  [ignore-without-code]
+ tornado/test/ioloop_test.py:55: error: Unused "type: ignore" comment  [unused-ignore]
+ tornado/test/ioloop_test.py:56: error: Unused "type: ignore" comment  [unused-ignore]

PyWinCtl (https://github.com/Kalmat/PyWinCtl)
- src/pywinctl/xlibcontainer.py:756:31: error: Subclass of "list[int]" and "bytes" cannot exist: would have incompatible method signatures  [unreachable]
+ src/pywinctl/xlibcontainer.py:756:31: error: Intersection of "list[int] & bytes" cannot exist: would have incompatible method signatures  [unreachable]
- src/pywinctl/xlibcontainer.py:756:31: error: Subclass of "list[str]" and "bytes" cannot exist: would have incompatible method signatures  [unreachable]
+ src/pywinctl/xlibcontainer.py:756:31: error: Intersection of "list[str] & bytes" cannot exist: would have incompatible method signatures  [unreachable]
- src/pywinctl/xlibcontainer.py:756:31: error: Subclass of "str" and "bytes" cannot exist: would have incompatible method signatures  [unreachable]
+ src/pywinctl/xlibcontainer.py:756:31: error: Intersection of "str & bytes" cannot exist: would have incompatible method signatures  [unreachable]
- src/pywinctl/xlibcontainer.py:772:31: error: Subclass of "list[int]" and "bytes" cannot exist: would have incompatible method signatures  [unreachable]
+ src/pywinctl/xlibcontainer.py:772:31: error: Intersection of "list[int] & bytes" cannot exist: would have incompatible method signatures  [unreachable]
- src/pywinctl/xlibcontainer.py:772:31: error: Subclass of "list[str]" and "bytes" cannot exist: would have incompatible method signatures  [unreachable]
+ src/pywinctl/xlibcontainer.py:772:31: error: Intersection of "list[str] & bytes" cannot exist: would have incompatible method signatures  [unreachable]
- src/pywinctl/xlibcontainer.py:772:31: error: Subclass of "str" and "bytes" cannot exist: would have incompatible method signatures  [unreachable]
+ src/pywinctl/xlibcontainer.py:772:31: error: Intersection of "str & bytes" cannot exist: would have incompatible method signatures  [unreachable]
- src/pywinctl/xlibcontainer.py:788:31: error: Subclass of "list[int]" and "bytes" cannot exist: would have incompatible method signatures  [unreachable]
+ src/pywinctl/xlibcontainer.py:788:31: error: Intersection of "list[int] & bytes" cannot exist: would have incompatible method signatures  [unreachable]
- src/pywinctl/xlibcontainer.py:788:31: error: Subclass of "list[str]" and "bytes" cannot exist: would have incompatible method signatures  [unreachable]
+ src/pywinctl/xlibcontainer.py:788:31: error: Intersection of "list[str] & bytes" cannot exist: would have incompatible method signatures  [unreachable]
- src/pywinctl/xlibcontainer.py:788:31: error: Subclass of "str" and "bytes" cannot exist: would have incompatible method signatures  [unreachable]
+ src/pywinctl/xlibcontainer.py:788:31: error: Intersection of "str & bytes" cannot exist: would have incompatible method signatures  [unreachable]
- src/pywinctl/xlibcontainer.py:804:31: error: Subclass of "list[int]" and "bytes" cannot exist: would have incompatible method signatures  [unreachable]
+ src/pywinctl/xlibcontainer.py:804:31: error: Intersection of "list[int] & bytes" cannot exist: would have incompatible method signatures  [unreachable]
- src/pywinctl/xlibcontainer.py:804:31: error: Subclass of "list[str]" and "bytes" cannot exist: would have incompatible method signatures  [unreachable]
+ src/pywinctl/xlibcontainer.py:804:31: error: Intersection of "list[str] & bytes" cannot exist: would have incompatible method signatures  [unreachable]
- src/pywinctl/xlibcontainer.py:804:31: error: Subclass of "str" and "bytes" cannot exist: would have incompatible method signatures  [unreachable]
+ src/pywinctl/xlibcontainer.py:804:31: error: Intersection of "str & bytes" cannot exist: would have incompatible method signatures  [unreachable]

sphinx (https://github.com/sphinx-doc/sphinx)
- sphinx/util/osutil.py:141:23: error: Subclass of "str" and "bytes" cannot exist: would have incompatible method signatures  [unreachable]
+ sphinx/util/osutil.py:141:23: error: Intersection of "str & bytes" cannot exist: would have incompatible method signatures  [unreachable]
+ sphinx/util/nodes.py:209:48: error: Unsupported right operand type for in ("Node & Invisible")  [operator]
+ sphinx/util/nodes.py:214:16: error: "Node & Invisible" has no attribute "get"  [attr-defined]
- sphinx/domains/python.py:546:21: error: Subclass of "list[Node]" and "str" cannot exist: would have incompatible method signatures  [unreachable]
+ sphinx/domains/python.py:546:21: error: Intersection of "list[Node] & str" cannot exist: would have incompatible method signatures  [unreachable]
- sphinx/ext/autosummary/generate.py:118:23: error: Subclass of "Sphinx" and "Builder" cannot exist: would have incompatible method signatures  [unreachable]
+ sphinx/ext/autosummary/generate.py:118:23: error: Intersection of "Sphinx & Builder" cannot exist: would have incompatible method signatures  [unreachable]
- sphinx/environment/collectors/dependencies.py:40:27: error: Subclass of "str" and "bytes" cannot exist: would have incompatible method signatures  [unreachable]
+ sphinx/environment/collectors/dependencies.py:40:27: error: Intersection of "str & bytes" cannot exist: would have incompatible method signatures  [unreachable]
- sphinx/writers/text.py:1005:23: error: Subclass of "Element", "Admonition", and "seealso" cannot exist: would have inconsistent method resolution order  [unreachable]
- sphinx/writers/text.py:1010:23: error: Subclass of "Element", "Admonition", and "seealso" cannot exist: would have inconsistent method resolution order  [unreachable]

arviz (https://github.com/arviz-devs/arviz)
- arviz/stats/density_utils.py:651:19: error: Subclass of "str" and "bool" cannot exist: would have incompatible method signatures  [unreachable]
+ arviz/stats/density_utils.py:651:19: error: Intersection of "str & bool" cannot exist: would have incompatible method signatures  [unreachable]
- arviz/stats/density_utils.py:653:19: error: Subclass of "str" and "int" cannot exist: would have incompatible method signatures  [unreachable]
+ arviz/stats/density_utils.py:653:19: error: Intersection of "str & int" cannot exist: would have incompatible method signatures  [unreachable]
- arviz/stats/density_utils.py:653:19: error: Subclass of "str" and "float" cannot exist: would have incompatible method signatures  [unreachable]
+ arviz/stats/density_utils.py:653:19: error: Intersection of "str & float" cannot exist: would have incompatible method signatures  [unreachable]
- arviz/stats/stats.py:456:21: error: Expression type contains "Any" (has type "Any | 'loo' | 'waic'")  [no-any-expr]
+ arviz/stats/stats.py:456:21: error: Expression type contains "Any" (has type "Any | 'loo' | 'waic' | None & 'waic'")  [no-any-expr]
- arviz/stats/stats.py:458:12: error: Expression type contains "Any" (has type "(Any (unannotated), Any | 'log' | 'negative_log' | 'deviance' | None, Any | 'loo' | 'waic')")  [no-any-expr]
+ arviz/stats/stats.py:458:12: error: Expression type contains "Any" (has type "(Any (unannotated), Any | 'log' | 'negative_log' | 'deviance' | None, Any | 'loo' | 'waic' | None & 'waic')")  [no-any-expr]
- arviz/stats/stats.py:458:34: error: Expression type contains "Any" (has type "Any | 'loo' | 'waic'")  [no-any-expr]
+ arviz/stats/stats.py:458:34: error: Expression type contains "Any" (has type "Any | 'loo' | 'waic' | None & 'waic'")  [no-any-expr]
- arviz/plots/lmplot.py:231:28: error: Subclass of "int" and "Integral" cannot exist: would have incompatible method signatures  [unreachable]
+ arviz/plots/lmplot.py:231:28: error: Intersection of "int & Integral" cannot exist: would have incompatible method signatures  [unreachable]
- arviz/plots/distplot.py:184:19: error: Subclass of "ndarray[Any, dtype[Any (unannotated)]]" and "InferenceData" cannot exist: would have incompatible method signatures  [unreachable]
+ arviz/plots/distplot.py:184:19: error: Intersection of "ndarray[Any, dtype[Any (unannotated)]] & InferenceData" cannot exist: would have incompatible method signatures  [unreachable]
- arviz/plots/distplot.py:184:19: error: Subclass of "ndarray[Any, dtype[Any (unannotated)]]" and "Dataset" cannot exist: would have incompatible method signatures  [unreachable]
+ arviz/plots/distplot.py:184:19: error: Intersection of "ndarray[Any, dtype[Any (unannotated)]] & Dataset" cannot exist: would have incompatible method signatures  [unreachable]
- arviz/plots/backends/bokeh/kdeplot.py:183:27: error: Subclass of "int" and "Integral" cannot exist: would have incompatible method signatures  [unreachable]
+ arviz/plots/backends/bokeh/kdeplot.py:183:27: error: Intersection of "int & Integral" cannot exist: would have incompatible method signatures  [unreachable]

flake8 (https://github.com/pycqa/flake8)
- src/flake8/checker.py:601:19: error: Subclass of "int" and "tuple[Any, ...]" cannot exist: would have incompatible method signatures  [unreachable]
+ src/flake8/checker.py:601:19: error: Intersection of "int & tuple[Any, ...]" cannot exist: would have incompatible method signatures  [unreachable]

apprise (https://github.com/caronc/apprise)
- apprise/plugins/NotifyBulkSMS.py:304:29: error: Subclass of "str" and "list[Any]" cannot exist: would have incompatible method signatures  [unreachable]
+ apprise/plugins/NotifyBulkSMS.py:304:29: error: Intersection of "str & list[Any]" cannot exist: would have incompatible method signatures  [unreachable]

pyppeteer (https://github.com/pyppeteer/pyppeteer)
- pyppeteer/network_manager.py:670:23: error: Subclass of "bytes" and "str" cannot exist: would have incompatible method signatures  [unreachable]
+ pyppeteer/network_manager.py:670:23: error: Intersection of "bytes & str" cannot exist: would have incompatible method signatures  [unreachable]

pydantic (https://github.com/samuelcolvin/pydantic)
- pydantic/_internal/_validators.py:169:23: error: Subclass of "int" and "Decimal" cannot exist: would have incompatible method signatures  [unreachable]
+ pydantic/_internal/_validators.py:169:23: error: Intersection of "int & Decimal" cannot exist: would have incompatible method signatures  [unreachable]
- pydantic/_internal/_validators.py:169:23: error: Subclass of "float" and "Decimal" cannot exist: would have incompatible method signatures  [unreachable]
+ pydantic/_internal/_validators.py:169:23: error: Intersection of "float & Decimal" cannot exist: would have incompatible method signatures  [unreachable]
- pydantic/_internal/_validators.py:169:23: error: Subclass of "str" and "Decimal" cannot exist: would have incompatible method signatures  [unreachable]
+ pydantic/_internal/_validators.py:169:23: error: Intersection of "str & Decimal" cannot exist: would have incompatible method signatures  [unreachable]
- pydantic/_internal/_generate_schema.py:405:25: error: Subclass of "UnionType" and "set[Any]" cannot exist: would have incompatible method signatures  [unreachable]
+ pydantic/_internal/_generate_schema.py:405:25: error: Intersection of "UnionType & set[Any]" cannot exist: would have incompatible method signatures  [unreachable]
- pydantic/_internal/_generate_schema.py:407:25: error: Subclass of "UnionType" and "frozenset[Any]" cannot exist: would have incompatible method signatures  [unreachable]
+ pydantic/_internal/_generate_schema.py:407:25: error: Intersection of "UnionType & frozenset[Any]" cannot exist: would have incompatible method signatures  [unreachable]
- pydantic/_internal/_generate_schema.py:412:25: error: Subclass of "UnionType" and "Counter[Any]" cannot exist: would have incompatible method signatures  [unreachable]
+ pydantic/_internal/_generate_schema.py:412:25: error: Intersection of "UnionType & Counter[Any]" cannot exist: would have incompatible method signatures  [unreachable]
- pydantic/_internal/_generate_schema.py:419:25: error: Subclass of "UnionType" and "dict[Any, Any]" cannot exist: would have incompatible method signatures  [unreachable]
+ pydantic/_internal/_generate_schema.py:419:25: error: Intersection of "UnionType & dict[Any, Any]" cannot exist: would have incompatible method signatures  [unreachable]
- pydantic/_internal/_generate_schema.py:431:25: error: Subclass of "UnionType" and "OrderedDict[Any, Any]" cannot exist: would have incompatible method signatures  [unreachable]
+ pydantic/_internal/_generate_schema.py:431:25: error: Intersection of "UnionType & OrderedDict[Any, Any]" cannot exist: would have incompatible method signatures  [unreachable]
- pydantic/_internal/_generate_schema.py:439:25: error: Subclass of "UnionType" and "MutableSet[Any]" cannot exist: would have incompatible method signatures  [unreachable]
+ pydantic/_internal/_generate_schema.py:439:25: error: Intersection of "UnionType & MutableSet[Any]" cannot exist: would have incompatible method signatures  [unreachable]

dulwich (https://github.com/dulwich/dulwich)
- dulwich/walk.py:279:23: error: Subclass of "list[bytes]" and "bytes" cannot exist: would have incompatible method signatures  [unreachable]
+ dulwich/walk.py:279:23: error: Intersection of "list[bytes] & bytes" cannot exist: would have incompatible method signatures  [unreachable]
- dulwich/repo.py:962:36: error: Subclass of "bool" and "str" cannot exist: would have incompatible method signatures  [unreachable]
+ dulwich/repo.py:962:36: error: Intersection of "bool & str" cannot exist: would have incompatible method signatures  [unreachable]
- dulwich/tests/test_porcelain.py:716:27: error: Subclass of "str" and "bytes" cannot exist: would have incompatible method signatures  [unreachable]
+ dulwich/tests/test_porcelain.py:716:27: error: Intersection of "str & bytes" cannot exist: would have incompatible method signatures  [unreachable]

spark (https://github.com/apache/spark)
+ python/pyspark/sql/types.py:1032:34: error: Expression type contains "Any" (has type "tuple[Untyped, ...] & dict[Any, Any]")  [no-any-expr]
+ python/pyspark/sql/types.py:1032:56: error: Expression type contains "Any" (has type "tuple[Untyped, ...] & dict[Any, Any]")  [no-any-expr]
+ python/pyspark/sql/types.py:1050:30: error: Expression type contains "Any" (has type "tuple[Untyped, ...] & dict[Any, Any]")  [no-any-expr]
- python/pyspark/sql/readwriter.py:741:25: error: Subclass of "list[str]" and "RDD[Any]" cannot exist: would have incompatible method signatures  [unreachable]
+ python/pyspark/sql/readwriter.py:741:25: error: Intersection of "list[str] & RDD[Any]" cannot exist: would have incompatible method signatures  [unreachable]
- python/pyspark/sql/dataframe.py:2628:42: error: Subclass of "Column" and "list[Any]" cannot exist: would have incompatible method signatures  [unreachable]
+ python/pyspark/sql/dataframe.py:2628:42: error: Intersection of "Column & list[Any]" cannot exist: would have incompatible method signatures  [unreachable]
- python/pyspark/sql/dataframe.py:2628:42: error: Subclass of "str" and "list[Any]" cannot exist: would have incompatible method signatures  [unreachable]
+ python/pyspark/sql/dataframe.py:2628:42: error: Intersection of "str & list[Any]" cannot exist: would have incompatible method signatures  [unreachable]
- python/pyspark/sql/dataframe.py:2791:48: error: Subclass of "str" and "list[Any]" cannot exist: would have incompatible method signatures  [unreachable]
+ python/pyspark/sql/dataframe.py:2791:48: error: Intersection of "str & list[Any]" cannot exist: would have incompatible method signatures  [unreachable]
- python/pyspark/sql/dataframe.py:3954:83: error: Subclass of "list[str]" and "str" cannot exist: would have incompatible method signatures  [unreachable]
+ python/pyspark/sql/dataframe.py:3954:83: error: Intersection of "list[str] & str" cannot exist: would have incompatible method signatures  [unreachable]
- python/pyspark/sql/dataframe.py:4010:83: error: Subclass of "list[str]" and "str" cannot exist: would have incompatible method signatures  [unreachable]
+ python/pyspark/sql/dataframe.py:4010:83: error: Intersection of "list[str] & str" cannot exist: would have incompatible method signatures  [unreachable]
- python/pyspark/sql/streaming/state.py:170:23: error: Subclass of "int" and "str" cannot exist: would have incompatible method signatures  [unreachable]
+ python/pyspark/sql/streaming/state.py:170:23: error: Intersection of "int & str" cannot exist: would have incompatible method signatures  [unreachable]
- python/pyspark/sql/streaming/state.py:197:23: error: Subclass of "int" and "datetime" cannot exist: would have incompatible method signatures  [unreachable]
+ python/pyspark/sql/streaming/state.py:197:23: error: Intersection of "int & datetime" cannot exist: would have incompatible method signatures  [unreachable]
- python/pyspark/sql/streaming/readwriter.py:929:42: error: Subclass of "str" and "list[Any]" cannot exist: would have incompatible method signatures  [unreachable]
+ python/pyspark/sql/streaming/readwriter.py:929:42: error: Intersection of "str & list[Any]" cannot exist: would have incompatible method signatures  [unreachable]
- python/pyspark/sql/streaming/readwriter.py:929:42: error: Subclass of "str" and "tuple[Any, ...]" cannot exist: would have incompatible method signatures  [unreachable]
+ python/pyspark/sql/streaming/readwriter.py:929:42: error: Intersection of "str & tuple[Any, ...]" cannot exist: would have incompatible method signatures  [unreachable]
- python/pyspark/ml/linalg/__init__.py:403:47: error: Call to incomplete function "toArray" of "Vector" in typed context  [no-untyped-call]
- python/pyspark/ml/linalg/__init__.py:403:47: note: Type is "def () -> numpy.ndarray[Untyped, Untyped]"
- python/pyspark/ml/linalg/__init__.py:441:21: error: Call to incomplete function "toArray" of "Vector" in typed context  [no-untyped-call]
- python/pyspark/ml/linalg/__init__.py:441:21: note: Type is "def () -> numpy.ndarray[Untyped, Untyped]"
- python/pyspark/mllib/linalg/__init__.py:456:47: error: Call to incomplete function "toArray" of "Vector" in typed context  [no-untyped-call]
- python/pyspark/mllib/linalg/__init__.py:456:47: note: Type is "def () -> numpy.ndarray[Untyped, Untyped]"
- python/pyspark/mllib/linalg/__init__.py:494:21: error: Call to incomplete function "toArray" of "Vector" in typed context  [no-untyped-call]
- python/pyspark/mllib/linalg/__init__.py:494:21: note: Type is "def () -> numpy.ndarray[Untyped, Untyped]"
- python/pyspark/ml/functions.py:326:29: error: Expression type contains "Any" (has type "dict[Any, Any] | list[Mapping[str, Any]]")  [no-any-expr]
+ python/pyspark/ml/functions.py:326:29: error: Expression type contains "Any" (has type "dict[Any, Any] | Mapping[str, ndarray[Untyped, Untyped]] & list[Any] | list[Mapping[str, Any]]")  [no-any-expr]
- python/pyspark/sql/connect/streaming/readwriter.py:360:42: error: Subclass of "str" and "list[Any]" cannot exist: would have incompatible method signatures  [unreachable]
+ python/pyspark/sql/connect/streaming/readwriter.py:360:42: error: Intersection of "str & list[Any]" cannot exist: would have incompatible method signatures  [unreachable]
- python/pyspark/sql/connect/streaming/readwriter.py:360:42: error: Subclass of "str" and "tuple[Any, ...]" cannot exist: would have incompatible method signatures  [unreachable]
+ python/pyspark/sql/connect/streaming/readwriter.py:360:42: error: Intersection of "str & tuple[Any, ...]" cannot exist: would have incompatible method signatures  [unreachable]
- python/pyspark/sql/connect/dataframe.py:116:42: error: Subclass of "Column" and "list[Any]" cannot exist: would have incompatible method signatures  [unreachable]
+ python/pyspark/sql/connect/dataframe.py:116:42: error: Intersection of "Column & list[Any]" cannot exist: would have incompatible method signatures  [unreachable]
- python/pyspark/sql/connect/dataframe.py:116:42: error: Subclass of "str" and "list[Any]" cannot exist: would have incompatible method signatures  [unreachable]
+ python/pyspark/sql/connect/dataframe.py:116:42: error: Intersection of "str & list[Any]" cannot exist: would have incompatible method signatures  [unreachable]
- python/pyspark/sql/connect/dataframe.py:379:42: error: Subclass of "Column" and "list[Any]" cannot exist: would have incompatible method signatures  [unreachable]
+ python/pyspark/sql/connect/dataframe.py:379:42: error: Intersection of "Column & list[Any]" cannot exist: would have incompatible method signatures  [unreachable]
- python/pyspark/sql/connect/dataframe.py:379:42: error: Subclass of "str" and "list[Any]" cannot exist: would have incompatible method signatures  [unreachable]
+ python/pyspark/sql/connect/dataframe.py:379:42: error: Intersection of "str & list[Any]" cannot exist: would have incompatible method signatures  [unreachable]
- python/pyspark/pandas/generic.py:839:25: error: Subclass of "bool" and "list[Any]" cannot exist: would have incompatible method signatures  [unreachable]
+ python/pyspark/pandas/generic.py:839:25: error: Intersection of "bool & list[Any]" cannot exist: would have incompatible method signatures  [unreachable]
- python/pyspark/pandas/frame.py:1418:28: error: Subclass of "list[str]" and "str" cannot exist: would have incompatible method signatures  [unreachable]
+ python/pyspark/pandas/frame.py:1418:28: error: Intersection of "list[str] & str" cannot exist: would have incompatible method signatures  [unreachable]
- python/pyspark/pandas/frame.py:8261:31: error: Subclass of "list[Untyped]" and "ndarray[Any, Any]" cannot exist: would have incompatible method signatures  [unreachable]
+ python/pyspark/pandas/frame.py:8261:31: error: Intersection of "list[Untyped] & ndarray[Any, Any]" cannot exist: would have incompatible method signatures  [unreachable]
- python/pyspark/pandas/frame.py:8438:23: error: Subclass of "DataFrame[Untyped]" and "Series[Any]" cannot exist: would have incompatible method signatures  [unreachable]
+ python/pyspark/pandas/frame.py:8438:23: error: Intersection of "DataFrame[Untyped] & Series[Any]" cannot exist: would have incompatible method signatures  [unreachable]
- python/pyspark/pandas/frame.py:8741:23: error: Subclass of "DataFrame[Untyped]" and "Series[Any]" cannot exist: would have incompatible method signatures  [unreachable]
+ python/pyspark/pandas/frame.py:8741:23: error: Intersection of "DataFrame[Untyped] & Series[Any]" cannot exist: would have incompatible method signatures  [unreachable]
- python/pyspark/pandas/frame.py:8908:23: error: Subclass of "DataFrame[Untyped]" and "Series[Any]" cannot exist: would have incompatible method signatures  [unreachable]
+ python/pyspark/pandas/frame.py:8908:23: error: Intersection of "DataFrame[Untyped] & Series[Any]" cannot exist: would have incompatible method signatures  [unreachable]
- python/pyspark/pandas/frame.py:9009:23: error: Subclass of "DataFrame[Untyped]" and "Series[Any]" cannot exist: would have incompatible method signatures  [unreachable]
+ python/pyspark/pandas/frame.py:9009:23: error: Intersection of "DataFrame[Untyped] & Series[Any]" cannot exist: would have incompatible method signatures  [unreachable]
- python/pyspark/pandas/frame.py:12517:52: error: Subclass of "list[int]" and "dict[Any, Any]" cannot exist: would have incompatible method signatures  [unreachable]
+ python/pyspark/pandas/frame.py:12517:52: error: Intersection of "list[int] & dict[Any, Any]" cannot exist: would have incompatible method signatures  [unreachable]
- python/pyspark/pandas/frame.py:12517:52: error: Subclass of "list[int]" and "set[Any]" cannot exist: would have incompatible method signatures  [unreachable]
+ python/pyspark/pandas/frame.py:12517:52: error: Intersection of "list[int] & set[Any]" cannot exist: would have incompatible method signatures  [unreachable]
- python/pyspark/pandas/base.py:963:61: error: Subclass of "Sequence[Any]" and "ndarray[Any, Any]" cannot exist: would have incompatible method signatures  [unreachable]
+ python/pyspark/pandas/base.py:963:61: error: Intersection of "Sequence[Any] & ndarray[Any, Any]" cannot exist: would have incompatible method signatures  [unreachable]
- python/pyspark/pandas/indexes/base.py:2167:50: error: Subclass of "Index" and "list[Any]" cannot exist: would have incompatible method signatures  [unreachable]
+ python/pyspark/pandas/indexes/base.py:2167:50: error: Intersection of "Index & list[Any]" cannot exist: would have incompatible method signatures  [unreachable]
- python/pyspark/pandas/indexes/base.py:2167:50: error: Subclass of "Index" and "set[Any]" cannot exist: would have incompatible method signatures  [unreachable]
+ python/pyspark/pandas/indexes/base.py:2167:50: error: Intersection of "Index & set[Any]" cannot exist: would have incompatible method signatures  [unreachable]
- python/pyspark/pandas/indexes/base.py:2167:50: error: Subclass of "Index" and "dict[Any, Any]" cannot exist: would have incompatible method signatures  [unreachable]
+ python/pyspark/pandas/indexes/base.py:2167:50: error: Intersection of "Index & dict[Any, Any]" cannot exist: would have incompatible method signatures  [unreachable]
- python/pyspark/pandas/namespace.py:2474:19: error: Subclass of "list[DataFrame[Untyped] | Series[Untyped]]" and "DataFrame[Any]" cannot exist: would have incompatible method signatures  [unreachable]
+ python/pyspark/pandas/namespace.py:2474:19: error: Intersection of "list[DataFrame[Untyped] | Series[Untyped]] & DataFrame[Any]" cannot exist: would have incompatible method signatures  [unreachable]
- python/pyspark/pandas/namespace.py:2474:19: error: Subclass of "list[DataFrame[Untyped] | Series[Untyped]]" and "IndexOpsMixin" cannot exist: would have incompatible method signatures  [unreachable]
+ python/pyspark/pandas/namespace.py:2474:19: error: Intersection of "list[DataFrame[Untyped] | Series[Untyped]] & IndexOpsMixin" cannot exist: would have incompatible method signatures  [unreachable]
- python/pyspark/pandas/namespace.py:2490:27: error: Subclass of "bool" and "Series[Any]" cannot exist: would have incompatible method signatures  [unreachable]
+ python/pyspark/pandas/namespace.py:2490:27: error: Intersection of "bool & Series[Any]" cannot exist: would have incompatible method signatures  [unreachable]
- python/pyspark/pandas/namespace.py:2490:27: error: Subclass of "bool" and "DataFrame[Any]" cannot exist: would have incompatible method signatures  [unreachable]
+ python/pyspark/pandas/namespace.py:2490:27: error: Intersection of "bool & DataFrame[Any]" cannot exist: would have incompatible method signatures  [unreachable]
- python/pyspark/pandas/namespace.py:2505:42: error: Subclass of "bool" and "Series[Any]" cannot exist: would have incompatible method signatures  [unreachable]
+ python/pyspark/pandas/namespace.py:2505:42: error: Intersection of "bool & Series[Any]" cannot exist: would have incompatible method signatures  [unreachable]
- python/pyspark/pandas/namespace.py:2588:23: error: Subclass of "bool" and "Series[Any]" cannot exist: would have incompatible method signatures  [unreachable]
+ python/pyspark/pandas/namespace.py:2588:23: error: Intersection of "bool & Series[Any]" cannot exist: would have incompatible method signatures  [unreachable]
- python/pyspark/pandas/namespace.py:2593:31: error: Subclass of "bool" and "DataFrame[Any]" cannot exist: would have incompatible method signatures  [unreachable]
+ python/pyspark/pandas/namespace.py:2593:31: error: Intersection of "bool & DataFrame[Any]" cannot exist: would have incompatible method signatures  [unreachable]

operator (https://github.com/canonical/operator)
- ops/jujuversion.py:76:23: error: Subclass of "JujuVersion" and "str" cannot exist: would have incompatible method signatures  [unreachable]
+ ops/jujuversion.py:76:23: error: Intersection of "JujuVersion & str" cannot exist: would have incompatible method signatures  [unreachable]
- ops/framework.py:897:33: error: Subclass of "_Serializable" and "LifecycleEvent" cannot exist: would have incompatible method signatures  [unreachable]
+ ops/framework.py:897:33: error: Intersection of "_Serializable & LifecycleEvent" cannot exist: would have incompatible method signatures  [unreachable]
- ops/testing.py:2256:23: error: Subclass of "list[str]" and "str" cannot exist: would have incompatible method signatures  [unreachable]
+ ops/testing.py:2256:23: error: Intersection of "list[str] & str" cannot exist: would have incompatible method signatures  [unreachable]
- ops/testing.py:2276:23: error: Subclass of "list[str]" and "str" cannot exist: would have incompatible method signatures  [unreachable]
+ ops/testing.py:2276:23: error: Intersection of "list[str] & str" cannot exist: would have incompatible method signatures  [unreachable]
- ops/testing.py:2296:23: error: Subclass of "list[str]" and "str" cannot exist: would have incompatible method signatures  [unreachable]
+ ops/testing.py:2296:23: error: Intersection of "list[str] & str" cannot exist: would have incompatible method signatures  [unreachable]
- ops/testing.py:2858:27: error: Subclass of "_Directory" and "_File" cannot exist: would have incompatible method signatures  [unreachable]
+ ops/testing.py:2858:27: error: Intersection of "_Directory & _File" cannot exist: would have incompatible method signatures  [unreachable]

poetry (https://github.com/python-poetry/poetry)
- src/poetry/utils/_compat.py:47:19: error: Subclass of "str" and "bytes" cannot exist: would have incompatible method signatures  [unreachable]
+ src/poetry/utils/_compat.py:47:19: error: Intersection of "str & bytes" cannot exist: would have incompatible method signatures  [unreachable]

urllib3 (https://github.com/urllib3/urllib3)
- src/urllib3/_collections.py:253:23: error: Subclass of "str" and "bytes" cannot exist: would have incompatible method signatures  [unreachable]
+ src/urllib3/_collections.py:253:23: error: Intersection of "str & bytes" cannot exist: would have incompatible method signatures  [unreachable]
- src/urllib3/_collections.py:320:23: error: Subclass of "str" and "bytes" cannot exist: would have incompatible method signatures  [unreachable]
+ src/urllib3/_collections.py:320:23: error: Intersection of "str & bytes" cannot exist: would have incompatible method signatures  [unreachable]
- src/urllib3/filepost.py:75:23: error: Subclass of "str" and "int" cannot exist: would have incompatible method signatures  [unreachable]
+ src/urllib3/filepost.py:75:23: error: Intersection of "str & int" cannot exist: would have incompatible method signatures  [unreachable]
- src/urllib3/filepost.py:75:23: error: Subclass of "bytes" and "int" cannot exist: would have incompatible method signatures  [unreachable]
+ src/urllib3/filepost.py:75:23: error: Intersection of "bytes & int" cannot exist: would have incompatible method signatures  [unreachable]
- src/urllib3/connection.py:397:31: error: Subclass of "bytes" and "str" cannot exist: would have incompatible method signatures  [unreachable]
+ src/urllib3/connection.py:397:31: error: Intersection of "bytes & str" cannot exist: would have incompatible method signatures  [unreachable]
- src/urllib3/contrib/pyopenssl.py:481:35: error: Subclass of "str" and "bytes" cannot exist: would have incompatible method signatures  [unreachable]
+ src/urllib3/contrib/pyopenssl.py:481:35: error: Intersection of "str & bytes" cannot exist: would have incompatible method signatures  [unreachable]

streamlit (https://github.com/streamlit/streamlit)
+ lib/streamlit/testing/element_tree.py: note: In member "value" of class "SelectSlider":
+ lib/streamlit/testing/element_tree.py:765:20: error: Incompatible return value type (got "T@SelectSlider | Sequence[T@SelectSlider] | None & T@SelectSlider | Sequence[T@SelectSlider]", expected "T@SelectSlider | Sequence[T@SelectSlider]")  [return-value]

werkzeug (https://github.com/pallets/werkzeug)
- src/werkzeug/_internal.py:69:19: error: Subclass of "str" and "bytearray" cannot exist: would have incompatible method signatures  [unreachable]
+ src/werkzeug/_internal.py:69:19: error: Intersection of "str & bytearray" cannot exist: would have incompatible method signatures  [unreachable]
- src/werkzeug/_internal.py:69:19: error: Subclass of "str" and "memoryview" cannot exist: would have incompatible method signatures  [unreachable]
+ src/werkzeug/_internal.py:69:19: error: Intersection of "str & memoryview" cannot exist: would have incompatible method signatures  [unreachable]
- src/werkzeug/http.py:417:19: error: Subclass of "str" and "bytes" cannot exist: would have incompatible method signatures  [unreachable]
+ src/werkzeug/http.py:417:19: error: Intersection of "str & bytes" cannot exist: would have incompatible method signatures  [unreachable]
- src/werkzeug/http.py:1420:19: error: Subclass of "str" and "bytes" cannot exist: would have incompatible method signatures  [unreachable]
+ src/werkzeug/http.py:1420:19: error: Intersection of "str & bytes" cannot exist: would have incompatible method signatures  [unreachable]
- src/werkzeug/http.py:1429:19: error: Subclass of "str" and "bytes" cannot exist: would have incompatible method signatures  [unreachable]
+ src/werkzeug/http.py:1429:19: error: Intersection of "str & bytes" cannot exist: would have incompatible method signatures  [unreachable]
- src/werkzeug/urls.py:211:23: error: Subclass of "str" and "bytes" cannot exist: would have incompatible method signatures  [unreachable]
+ src/werkzeug/urls.py:211:23: error: Intersection of "str & bytes" cannot exist: would have incompatible method signatures  [unreachable]
- src/werkzeug/urls.py:473:27: error: Subclass of "str" and "bytes" cannot exist: would have incompatible method signatures  [unreachable]
+ src/werkzeug/urls.py:473:27: error: Intersection of "str & bytes" cannot exist: would have incompatible method signatures  [unreachable]
- src/werkzeug/urls.py:478:27: error: Subclass of "str" and "bytes" cannot exist: would have incompatible method signatures  [unreachable]
+ src/werkzeug/urls.py:478:27: error: Intersection of "str & bytes" cannot exist: would have incompatible method signatures  [unreachable]
- src/werkzeug/urls.py:893:19: error: Subclass of "str" and "bytes" cannot exist: would have incompatible method signatures  [unreachable]
+ src/werkzeug/urls.py:893:19: error: Intersection of "str & bytes" cannot exist: would have incompatible method signatures  [unreachable]
- src/werkzeug/urls.py:991:19: error: Subclass of "str" and "bytes" cannot exist: would have incompatible method signatures  [unreachable]
+ src/werkzeug/urls.py:991:19: error: Intersection of "str & bytes" cannot exist: would have incompatible method signatures  [unreachable]
- src/werkzeug/wsgi.py:461:19: error: Subclass of "Iterable[bytes]" and "bytes" cannot exist: would have inconsistent method resolution order  [unreachable]
+ src/werkzeug/wsgi.py:461:19: error: Intersection of "Iterable[bytes] & bytes" cannot exist: would have inconsistent method resolution order  [unreachable]
- src/werkzeug/wsgi.py:461:19: error: Subclass of "Iterable[bytes]" and "bytearray" cannot exist: would have inconsistent method resolution order  [unreachable]
+ src/werkzeug/wsgi.py:461:19: error: Intersection of "Iterable[bytes] & bytearray" cannot exist: would have inconsistent method resolution order  [unreachable]
- src/werkzeug/wsgi.py:461:19: error: Subclass of "Iterable[bytes]" and "str" cannot exist: would have inconsistent method resolution order  [unreachable]
+ src/werkzeug/wsgi.py:461:19: error: Intersection of "Iterable[bytes] & str" cannot exist: would have inconsistent method resolution order  [unreachable]
- src/werkzeug/wsgi.py:461:19: error: Subclass of "IO[bytes]" and "bytes" cannot exist: would have incompatible method signatures  [unreachable]
+ src/werkzeug/wsgi.py:461:19: error: Intersection of "IO[bytes] & bytes" cannot exist: would have incompatible method signatures  [unreachable]
- src/werkzeug/wsgi.py:461:19: error: Subclass of "IO[bytes]" and "bytearray" cannot exist: would have incompatible method signatures  [unreachable]
+ src/werkzeug/wsgi.py:461:19: error: Intersection of "IO[bytes] & bytearray" cannot exist: would have incompatible method signatures  [unreachable]
- src/werkzeug/wsgi.py:461:19: error: Subclass of "IO[bytes]" and "str" cannot exist: would have incompatible method signatures  [unreachable]
+ src/werkzeug/wsgi.py:461:19: error: Intersection of "IO[bytes] & str" cannot exist: would have incompatible method signatures  [unreachable]
- src/werkzeug/wsgi.py:471:23: error: Subclass of "IO[bytes]" and "LimitedStream" cannot exist: would have incompatible method signatures  [unreachable]
+ src/werkzeug/wsgi.py:471:23: error: Intersection of "IO[bytes] & LimitedStream" cannot exist: would have incompatible method signatures  [unreachable]
- src/werkzeug/wsgi.py:633:19: error: Subclass of "bytes" and "str" cannot exist: would have incompatible method signatures  [unreachable]
+ src/werkzeug/wsgi.py:633:19: error: Intersection of "bytes & str" cannot exist: would have incompatible method signatures  [unreachable]
- src/werkzeug/utils.py:486:25: error: Subclass of "IO[bytes]" and "TextIOBase" cannot exist: would have incompatible method signatures  [unreachable]
+ src/werkzeug/utils.py:486:25: error: Intersection of "IO[bytes] & TextIOBase" cannot exist: would have incompatible method signatures  [unreachable]
- src/werkzeug/middleware/lint.py:362:23: error: Subclass of "Iterable[bytes]" and "str" cannot exist: would have inconsistent method resolution order  [unreachable]
+ src/werkzeug/middleware/lint.py:362:23: error: Intersection of "Iterable[bytes] & str" cannot exist: would have inconsistent method resolution order  [unreachable]
- tests/test_wrappers.py:931:23: error: Subclass of "IO[bytes]" and "LimitedStream" cannot exist: would have incompatible method signatures  [unreachable]
+ tests/test_wrappers.py:931:23: error: Intersection of "IO[bytes] & LimitedStream" cannot exist: would have incompatible method signatures  [unreachable]
- tests/test_wrappers.py:1058:17: error: Subclass of "list[str]" and "tuple[Any, ...]" cannot exist: would have incompatible method signatures  [unreachable]
+ tests/test_wrappers.py:1058:17: error: Intersection of "list[str] & tuple[Any, ...]" cannot exist: would have incompatible method signatures  [unreachable]
- tests/test_local.py:206:23: error: Subclass of "LocalProxy[Untyped]" and "int" cannot exist: would have incompatible method signatures  [unreachable]
+ tests/test_local.py:206:23: error: Intersection of "LocalProxy[Untyped] & int" cannot exist: would have incompatible method signatures  [unreachable]
- tests/test_local.py:231:17: error: Subclass of "list[Any]" and "LocalProxy[Any]" cannot exist: would have incompatible method signatures  [unreachable]
+ tests/test_local.py:231:17: error: Intersection of "list[Any] & LocalProxy[Any]" cannot exist: would have incompatible method signatures  [unreachable]

stone (https://github.com/dropbox/stone)
- stone/backends/python_rsrc/stone_validators.py:226:31: error: Subclass of "Real" and "float" cannot exist: would have incompatible method signatures  [unreachable]
+ stone/backends/python_rsrc/stone_validators.py:226:31: error: Intersection of "Real & float" cannot exist: would have incompatible method signatures  [unreachable]
- stone/backends/python_rsrc/stone_validators.py:241:31: error: Subclass of "Real" and "float" cannot exist: would have incompatible method signatures  [unreachable]
+ stone/backends/python_rsrc/stone_validators.py:241:31: error: Intersection of "Real & float" cannot exist: would have incompatible method signatures  [unreachable]
- stone/backends/python_rsrc/stone_validators.py:258:27: error: Subclass of "Real" and "float" cannot exist: would have incompatible method signatures  [unreachable]
+ stone/backends/python_rsrc/stone_validators.py:258:27: error: Intersection of "Real & float" cannot exist: would have incompatible method signatures  [unreachable]
- stone/ir/data_types.py:309:31: error: Subclass of "Real" and "float" cannot exist: would have incompatible method signatures  [unreachable]
+ stone/ir/data_types.py:309:31: error: Intersection of "Real & float" cannot exist: would have incompatible method signatures  [unreachable]
- stone/ir/data_types.py:323:31: error: Subclass of "Real" and "float" cannot exist: would have incompatible method signatures  [unreachable]
+ stone/ir/data_types.py:323:31: error: Intersection of "Real & float" cannot exist: would have incompatible method signatures  [unreachable]
- stone/ir/data_types.py:341:27: error: Subclass of "Real" and "float" cannot exist: would have incompatible method signatures  [unreachable]
+ stone/ir/data_types.py:341:27: error: Intersection of "Real & float" cannot exist: would have incompatible method signatures  [unreachable]

steam.py (https://github.com/Gobot1234/steam.py)
+ steam/ext/commands/commands.py:853:17: error: Expression type contains "Any" (has type "Command[Untyped] & GroupMixin")  [no-any-expr]

discord.py (https://github.com/Rapptz/discord.py)
- discord/activity.py:745:25: error: Subclass of "PartialEmoji" and "dict[Any, Any]" cannot exist: would have incompatible method signatures  [unreachable]
+ discord/activity.py:745:25: error: Intersection of "PartialEmoji & dict[Any, Any]" cannot exist: would have incompatible method signatures  [unreachable]
+ discord/ext/commands/cog.py:437:32: error: Expression type contains "Any" (has type "Command[Self, [VarArg(Any), KwArg(Any)], Any] & GroupMixin[Any]")  [no-any-expr]
- discord/ext/commands/core.py:633:32: error: Argument 1 has incompatible type "CogT@Command"; expected "Never"  [arg-type]
+ discord/ext/commands/core.py:633:32: error: Argument 1 has incompatible type "CogT@Command"; expected "(CogT@Command, Any, CommandError) -> Never & (Any, CommandError) -> Never"  [arg-type]
- discord/ext/commands/core.py:633:37: error: Argument 2 has incompatible type "Context[BotT@dispatch_error]"; expected "Never"  [arg-type]
+ discord/ext/commands/core.py:633:37: error: Argument 2 has incompatible type "Context[BotT@dispatch_error]"; expected "(CogT@Command, Any, CommandError) -> Never & (Any, CommandError) -> Never"  [arg-type]
- discord/ext/commands/core.py:633:42: error: Argument 3 has incompatible type "CommandError"; expected "Never"  [arg-type]
+ discord/ext/commands/core.py:633:42: error: Argument 3 has incompatible type "CommandError"; expected "(CogT@Command, Any, CommandError) -> Never & (Any, CommandError) -> Never"  [arg-type]
+ discord/ext/commands/core.py:1312:17: error: Expression type contains "Any" (has type "Command[CogT@GroupMixin, [VarArg(Any), KwArg(Any)], Any] & GroupMixin[Any]")  [no-any-expr]
+ discord/ext/commands/core.py:1412:28: error: Expression type contains "Any" (has type "Command[CogT@GroupMixin, [VarArg(Any), KwArg(Any)], Any] & GroupMixin[Any]")  [no-any-expr]
+ discord/ext/commands/bot.py:896:21: error: Expression type contains "Any" (has type "Command[None, [VarArg(Any), KwArg(Any)], Any] & GroupMixin[Any]")  [no-any-expr]
- discord/__main__.py:198:19: error: Subclass of "str" and "Path" cannot exist: would have incompatible method signatures  [unreachable]
+ discord/__main__.py:198:19: error: Intersection of "str & Path" cannot exist: would have incompatible method signatures  [unreachable]

aiohttp (https://github.com/aio-libs/aiohttp)
- aiohttp/http_websocket.py:666:23: error: Subclass of "bytes" and "str" cannot exist: would have incompatible method signatures  [unreachable]
+ aiohttp/http_websocket.py:666:23: error: Intersection of "bytes & str" cannot exist: would have incompatible method signatures  [unreachable]
- aiohttp/http_websocket.py:672:23: error: Subclass of "bytes" and "str" cannot exist: would have incompatible method signatures  [unreachable]
+ aiohttp/http_websocket.py:672:23: error: Intersection of "bytes & str" cannot exist: would have incompatible method signatures  [unreachable]
- aiohttp/http_websocket.py:692:23: error: Subclass of "bytes" and "str" cannot exist: would have incompatible method signatures  [unreachable]
+ aiohttp/http_websocket.py:692:23: error: Intersection of "bytes & str" cannot exist: would have incompatible method signatures  [unreachable]
- aiohttp/web_urldispatcher.py:186:25: error: Expression type contains "Any" (has type "(Request) -> Coroutine[Any, Any, StreamResponse] | type[AbstractView]")  [no-any-expr]
+ aiohttp/web_urldispatcher.py:186:25: error: Expression type contains "Any" (has type "(Request) -> Coroutine[Any, Any, StreamResponse] | (Request) -> Awaitable[StreamResponse] & type | type[AbstractView]")  [no-any-expr]
- aiohttp/web_urldispatcher.py:196:16: error: Expression type contains "Any" (has type "(Request) -> Coroutine[Any, Any, StreamResponse] | type[AbstractView]")  [no-any-expr]
+ aiohttp/web_urldispatcher.py:196:16: error: Expression type contains "Any" (has type "(Request) -> Coroutine[Any, Any, StreamResponse] | (Request) -> Awaitable[StreamResponse] & type | type[AbstractView]")  [no-any-expr]
+ aiohttp/web.py:318:25: error: Argument 2 to "TCPSite" has incompatible type "str | Iterable[str] & bytes | Iterable[str] & bytearray | Iterable[str] & memoryview"; expected "str | None"  [arg-type]

jax (https://github.com/google/jax)
- jax/_src/numpy/fft.py:240:17: error: Subclass of "int" and "list[Any]" cannot exist: would have incompatible method signatures  [unreachable]
+ jax/_src/numpy/fft.py:240:17: error: Intersection of "int & list[Any]" cannot exist: would have incompatible method signatures  [unreachable]
- jax/_src/numpy/fft.py:240:17: error: Subclass of "int" and "tuple[Any, ...]" cannot exist: would have incompatible method signatures  [unreachable]
+ jax/_src/numpy/fft.py:240:17: error: Intersection of "int & tuple[Any, ...]" cannot exist: would have incompatible method signatures  [unreachable]
- jax/_src/numpy/fft.py:275:17: error: Subclass of "int" and "list[Any]" cannot exist: would have incompatible method signatures  [unreachable]
+ jax/_src/numpy/fft.py:275:17: error: Intersection of "int & list[Any]" cannot exist: would have incompatible method signatures  [unreachable]
- jax/_src/numpy/fft.py:275:17: error: Subclass of "int" and "tuple[Any, ...]" cannot exist: would have incompatible method signatures  [unreachable]
+ jax/_src/numpy/fft.py:275:17: error: Intersection of "int & tuple[Any, ...]" cannot exist: would have incompatible method signatures  [unreachable]
- jax/_src/numpy/array_methods.py:772:48: error: Expression type contains "Any" (has type "staticmethod[Never, Any]")  [no-any-expr]
+ jax/_src/numpy/array_methods.py:772:48: error: Expression type contains "Any" (has type "staticmethod[(Untyped, Untyped, bool, bool, Untyped, Untyped) -> Never & (Untyped, Untyped, Untyped) -> Never & (Array) -> Never & (Array, Any) -> Never & (Array | Any (from unimported type) | Any (from unimported type) | Any (from unimported type) | bool | int | float | complex, int | None) -> Never, Any]")  [no-any-expr]
- jax/_src/numpy/array_methods.py:772:61: error: Argument 1 to "staticmethod" has incompatible type "(Untyped, Untyped, bool, bool, Untyped, Untyped) -> Untyped | (Untyped, Untyped, Untyped) -> Untyped | (Array) -> Array | (Array, Any) -> Array | Any | (Array | Any (from unimported type) | Any (from unimported type) | Any (from unimported type) | bool | int | float | complex, int | None) -> Array"; expected "(VarArg(Never), KwArg(Never)) -> Any"  [arg-type]
+ jax/_src/numpy/array_methods.py:772:61: error: Argument 1 to "staticmethod" has incompatible type "(Untyped, Untyped, bool, bool, Untyped, Untyped) -> Untyped | (Untyped, Untyped, Untyped) -> Untyped | (Array) -> Array | (Array, Any) -> Array | Any | (Array | Any (from unimported type) | Any (from unimported type) | Any (from unimported type) | bool | int | float | complex, int | None) -> Array"; expected "(VarArg((Untyped, Untyped, bool, bool, Untyped, Untyped) -> Never & (Untyped, Untyped, Untyped) -> Never & (Array) -> Never & (Array, Any) -> Never & (Array | Any (from unimported type) | Any (from unimported type) | Any (from unimported type) | bool | int | float | complex, int | None) -> Never), KwArg((Untyped, Untyped, bool, bool, Untyped, Untyped) -> Never & (Untyped, Untyped, Untyped) -> Never & (Array) -> Never & (Array, Any) -> Never & (Array | Any (from unimported type) | Any (from unimported type) | Any (from unimported type) | bool | int | float | complex, int | None) -> Never)) -> Any"  [arg-type]
+ jax/_src/numpy/ufuncs.py:68:12: error: Expression type contains "Any" (has type "(Untyped) -> Array & Wrapped")  [no-any-expr]
+ jax/_src/numpy/ufuncs.py:68:66: error: Expression type contains "Any" (has type "(Untyped) -> Array & Wrapped")  [no-any-expr]
+ jax/_src/numpy/ufuncs.py:70:12: error: Expression type contains "Any" (has type "(Untyped) -> Array & Wrapped")  [no-any-expr]
+ jax/_src/numpy/ufuncs.py:70:45: error: Expression type contains "Any" (has type "(Untyped) -> Array & Wrapped")  [no-any-expr]
+ jax/_src/numpy/ufuncs.py:87:12: error: Expression type contains "Any" (has type "(Untyped, Untyped) -> Array & Wrapped")  [no-any-expr]
+ jax/_src/numpy/ufuncs.py:87:66: error: Expression type contains "Any" (has type "(Untyped, Untyped) -> Array & Wrapped")  [no-any-expr]
+ jax/_src/numpy/ufuncs.py:89:12: error: Expression type contains "Any" (has type "(Untyped, Untyped) -> Array & Wrapped")  [no-any-expr]
+ jax/_src/numpy/ufuncs.py:89:45: error: Expression type contains "Any" (has type "(Untyped, Untyped) -> Array & Wrapped")  [no-any-expr]
- jax/_src/numpy/lax_numpy.py:716:57: error: Subclass of "tuple[int, ...]" and "list[Any]" cannot exist: would have incompatible method signatures  [unreachable]
+ jax/_src/numpy/lax_numpy.py:716:57: error: Intersection of "tuple[int, ...] & list[Any]" cannot exist: would have incompatible method signatures  [unreachable]

hydra-zen (https://github.com/mit-ll-responsible-ai/hydra-zen)
- src/hydra_zen/_utils/coerce.py:120:5: error: Need type annotation for "list_caster_by_pos" (hint: "list_caster_by_pos: Dict[<type>, <type>] = ...")  [var-annotated]
- src/hydra_zen/_utils/coerce.py:121:5: error: Need type annotation for "list_caster_by_name" (hint: "list_caster_by_name: Dict[<type>, <type>] = ...")  [var-annotated]
- src/hydra_zen/_utils/coerce.py:179:17: error: Expression type contains "Any" (has type "dict[Any (unannotated), Any (unannotated)]")  [no-any-expr]
- src/hydra_zen/_utils/coerce.py:179:17: error: Untyped indexed-assignment to "list_caster_by_pos" in typed context  [no-untyped-usage]
- src/hydra_zen/_utils/coerce.py:181:17: error: Expression type contains "Any" (has type "dict[Any (unannotated), Any (unannotated)]")  [no-any-expr]
- src/hydra_zen/_utils/coerce.py:181:17: error: Untyped indexed-assignment to "list_caster_by_name" in typed context  [no-untyped-usage]
- src/hydra_zen/_utils/coerce.py:183:15: error: Expression has type "Any (unannotated)"  [no-any-expr]
- src/hydra_zen/_utils/coerce.py:183:15: error: Expression type contains "Any" (has type "Any (unannotated) | int")  [no-any-expr]
- src/hydra_zen/_utils/coerce.py:183:19: error: Expression type contains "Any" (has type "dict[Any (unannotated), Any (unannotated)]")  [no-any-expr]
- src/hydra_zen/_utils/coerce.py:183:42: error: Expression type contains "Any" (has type "dict[Any (unannotated), Any (unannotated)]")  [no-any-expr]
- src/hydra_zen/_utils/coerce.py:185:12: error: Expression type contains "Any" (has type "dict[Any (unannotated), Any (unannotated)]")  [no-any-expr]
- src/hydra_zen/_utils/coerce.py:185:40: error: Expression type contains "Any" (has type "dict[Any (unannotated), Any (unannotated)]")  [no-any-expr]
- src/hydra_zen/_utils/coerce.py:191:12: error: Expression type contains "Any" (has type "dict[Any (unannotated), Any (unannotated)]")  [no-any-expr]
- src/hydra_zen/_utils/coerce.py:191:12: error: Expression type contains "Any" (has type "dict[Any (unannotated), Any (unannotated)] | Any (unannotated) | bool")  [no-any-expr]
- src/hydra_zen/_utils/coerce.py:191:35: error: Expression type contains "Any" (has type "Any (unannotated) | int")  [no-any-expr]
- src/hydra_zen/_utils/coerce.py:191:35: error: Expression type contains "Any" (has type "Any (unannotated) | bool")  [no-any-expr]
- src/hydra_zen/_utils/coerce.py:194:13: error: Expression has type "Any (unannotated)"  [no-any-expr]
- src/hydra_zen/_utils/coerce.py:194:24: error: Expression type contains "Any" (has type "dict[Any (unannotated), Any (unannotated)]")  [no-any-expr]
- src/hydra_zen/_utils/coerce.py:195:20: error: Expression has type "Any (unannotated)"  [no-any-expr]
- src/hydra_zen/_utils/coerce.py:196:40: error: Expression has type "Any (unannotated)"  [no-any-expr]
+ src/hydra_zen/_utils/coerce.py:197:37: error: No overload variant of "ParamSpec & type[Sequence[Any]]" matches argument type "Untyped"  [call-overload]
+ src/hydra_zen/_utils/coerce.py:197:37: note: Possible overload variant:
+ src/hydra_zen/_utils/coerce.py:197:37: note:     def __init__(self) -> Sequence[Any]
- src/hydra_zen/_utils/coerce.py:197:30: error: Expression has type "Any (unannotated)"  [no-any-expr]
- src/hydra_zen/_utils/coerce.py:197:37: error: Expression type contains "Any" (has type "dict[Any (unannotated), Any (unannotated)]")  [no-any-expr]
- src/hydra_zen/_utils/coerce.py:197:37: error: Expression has type "Any (unannotated)"  [no-any-expr]
- src/hydra_zen/_utils/coerce.py:197:56: error: Expression has type "Any (unannotated)"  [no-any-expr]
- src/hydra_zen/_utils/coerce.py:197:66: error: Expression has type "Any (unannotated)"  [no-any-expr]
- src/hydra_zen/_utils/coerce.py:201:12: error: Expression type contains "Any" (has type "dict[Any (unannotated), Any (unannotated)]")  [no-any-expr]
- src/hydra_zen/_utils/coerce.py:201:12: error: Expression type contains "Any" (has type "dict[Any (unannotated), Any (unannotated)] | dict[str, Untyped]")  [no-any-expr]
+ src/hydra_zen/_utils/coerce.py:201:12: error: Expression type contains "Any" (has type "dict[str, ParamSpec & type[Sequence[Any]]] | dict[str, Untyped]")  [no-any-expr]
- src/hydra_zen/_utils/coerce.py:202:21: error: Expression type contains "Any" (has type "set[Any (unannotated)]")  [no-any-expr]
- src/hydra_zen/_utils/coerce.py:202:25: error: Expression type contains "Any" (has type "dict[Any (unannotated), Any (unannotated)]")  [no-any-expr]
- src/hydra_zen/_utils/coerce.py:203:13: error: Expression has type "Any (unannotated)"  [no-any-expr]
- src/hydra_zen/_utils/coerce.py:203:25: error: Expression type contains "Any" (has type "set[Any (unannotated)]")  [no-any-expr]
- src/hydra_zen/_utils/coerce.py:205:38: error: Expression has type "Any (unannotated)"  [no-any-expr]
+ src/hydra_zen/_utils/coerce.py:206:36: error: No overload variant of "ParamSpec & type[Sequence[Any]]" matches argument type "Untyped"  [call-overload]
+ src/hydra_zen/_utils/coerce.py:206:36: note: Possible overload variant:
+ src/hydra_zen/_utils/coerce.py:206:36: note:     def __init__(self) -> Sequence[Any]
- src/hydra_zen/_utils/coerce.py:206:28: error: Expression has type "Any (unannotated)"  [no-any-expr]
- src/hydra_zen/_utils/coerce.py:206:36: error: Expression type contains "Any" (has type "dict[Any (unannotated), Any (unannotated)]")  [no-any-expr]
- src/hydra_zen/_utils/coerce.py:206:36: error: Expression has type "Any (unannotated)"  [no-any-expr]
- src/hydra_zen/_utils/coerce.py:206:56: error: Expression has type "Any (unannotated)"  [no-any-expr]
- src/hydra_zen/_utils/coerce.py:206:69: error: Expression has type "Any (unannotated)"  [no-any-expr]

materialize (https://github.com/MaterializeInc/materialize)
+ misc/python/materialize/feature_benchmark/benchmark.py:82:13: error: Expression has type "Any"  [no-any-expr]
+ misc/python/materialize/feature_benchmark/benchmark.py:82:32: error: Expression type contains "Any" (has type "list[Any]")  [no-any-expr]
+ misc/python/materialize/feature_benchmark/benchmark.py:82:72: error: Expression type contains "Any" (has type "list[Any]")  [no-any-expr]
- misc/python/materialize/feature_benchmark/benchmark.py:83:17: error: Item "None" of "None | Action" has no attribute "run"  [union-attr]
+ misc/python/materialize/feature_benchmark/benchmark.py:83:17: error: Expression has type "Any"  [no-any-expr]

``````</details>

@KotlinIsland KotlinIsland merged commit 1534780 into master Apr 15, 2023
@KotlinIsland KotlinIsland deleted the intersection branch April 15, 2023 22:24
@KotlinIsland KotlinIsland mentioned this pull request Apr 16, 2023
Closed
@KotlinIsland KotlinIsland mentioned this pull request Apr 24, 2023
Closed
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers

@DetachHead DetachHead DetachHead approved these changes

Assignees

@KotlinIsland KotlinIsland

Labels
feature
Projects
None yet
Milestone
No milestone
Development

Successfully merging this pull request may close these issues.

Intersection types
2 participants
@KotlinIsland @DetachHead