microsoft / pyright

Static Type Checker for Python
Other
13.04k stars 1.39k forks source link

Changed the way FunctionParam objects are created so they are monomor… #8387

Closed erictraut closed 1 month ago

erictraut commented 1 month ago

…phic.

github-actions[bot] commented 1 month ago

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

dedupe (https://github.com/dedupeio/dedupe)
-     Expression of type "tuple[(x: Unknown, target: Unknown | None = None) -> frozenset[Literal[1]]]" cannot be assigned to attribute "predicates" of class "Fingerprinter"
+     Expression of type "tuple[(x: Unknown, target: Unknown | None = ...) -> frozenset[Literal[1]]]" cannot be assigned to attribute "predicates" of class "Fingerprinter"
-       "tuple[(x: Unknown, target: Unknown | None = None) -> frozenset[Literal[1]]]" is incompatible with "Iterable[Predicate]"
+       "tuple[(x: Unknown, target: Unknown | None = ...) -> frozenset[Literal[1]]]" is incompatible with "Iterable[Predicate]"
-         Type parameter "_T_co@Iterable" is covariant, but "(x: Unknown, target: Unknown | None = None) -> frozenset[Literal[1]]" is not a subtype of "Predicate"
+         Type parameter "_T_co@Iterable" is covariant, but "(x: Unknown, target: Unknown | None = ...) -> frozenset[Literal[1]]" is not a subtype of "Predicate"
-   /tmp/mypy_primer/projects/dedupe/tests/test_training.py:77:16 - error: Argument of type "(x: Unknown, target: Unknown | None = None) -> frozenset[Literal[1]]" cannot be assigned to parameter "key" of type "Predicate" in function "__getitem__"
+   /tmp/mypy_primer/projects/dedupe/tests/test_training.py:77:16 - error: Argument of type "(x: Unknown, target: Unknown | None = ...) -> frozenset[Literal[1]]" cannot be assigned to parameter "key" of type "Predicate" in function "__getitem__"

core (https://github.com/home-assistant/core)
-   /tmp/mypy_primer/projects/core/homeassistant/components/rflink/__init__.py:299:56 - error: Argument of type "HassJob[(_: Exception | None = None), None]" cannot be assigned to parameter "action" of type "HassJob[(datetime), Coroutine[Any, Any, None] | None] | ((datetime) -> (Coroutine[Any, Any, None] | None))" in function "async_call_later"
+   /tmp/mypy_primer/projects/core/homeassistant/components/rflink/__init__.py:299:56 - error: Argument of type "HassJob[(_: Exception | None = ...), None]" cannot be assigned to parameter "action" of type "HassJob[(datetime), Coroutine[Any, Any, None] | None] | ((datetime) -> (Coroutine[Any, Any, None] | None))" in function "async_call_later"
-     Type "HassJob[(_: Exception | None = None), None]" is incompatible with type "HassJob[(datetime), Coroutine[Any, Any, None] | None] | ((datetime) -> (Coroutine[Any, Any, None] | None))"
+     Type "HassJob[(_: Exception | None = ...), None]" is incompatible with type "HassJob[(datetime), Coroutine[Any, Any, None] | None] | ((datetime) -> (Coroutine[Any, Any, None] | None))"
-       "HassJob[(_: Exception | None = None), None]" is incompatible with "HassJob[(datetime), Coroutine[Any, Any, None] | None]"
+       "HassJob[(_: Exception | None = ...), None]" is incompatible with "HassJob[(datetime), Coroutine[Any, Any, None] | None]"
-         Type parameter "_P@HassJob" is covariant, but "(_: Exception | None = None)" is not a subtype of "(datetime)"
+         Type parameter "_P@HassJob" is covariant, but "(_: Exception | None = ...)" is not a subtype of "(datetime)"
-           Type "(_: Exception | None = None)" is incompatible with type "(datetime)"
+           Type "(_: Exception | None = ...)" is incompatible with type "(datetime)"
-       Type "HassJob[(_: Exception | None = None), None]" is incompatible with type "(datetime) -> (Coroutine[Any, Any, None] | None)" (reportArgumentType)
+       Type "HassJob[(_: Exception | None = ...), None]" is incompatible with type "(datetime) -> (Coroutine[Any, Any, None] | None)" (reportArgumentType)

dd-trace-py (https://github.com/DataDog/dd-trace-py)
-   /tmp/mypy_primer/projects/dd-trace-py/ddtrace/internal/compat.py:417:28 - error: Expression of type "type[nullcontext[_T@nullcontext]]" is incompatible with declared type "(enter_result: Unknown | None = None) -> _GeneratorContextManager[Unknown | None]"
+   /tmp/mypy_primer/projects/dd-trace-py/ddtrace/internal/compat.py:417:28 - error: Expression of type "type[nullcontext[_T@nullcontext]]" is incompatible with declared type "(enter_result: Unknown | None = ...) -> _GeneratorContextManager[Unknown | None]"
-     No overloaded function matches type "(enter_result: Unknown | None = None) -> _GeneratorContextManager[Unknown | None]" (reportAssignmentType)
+     No overloaded function matches type "(enter_result: Unknown | None = ...) -> _GeneratorContextManager[Unknown | None]" (reportAssignmentType)

antidote (https://github.com/Finistere/antidote)
-     Type of "overriding" is "(__existing_implementation: LazyFunction[(dep: Dep = inject.me()), object] | LazyMethod[(dep: Dep = inject.me()), object] | staticmethod[LazyFunction[(dep: Dep = inject.me()), object], Unknown], /) -> LazyImplementsDecorator[(dep: Dep = inject.me()), object]" (reportUnknownMemberType)
+     Type of "overriding" is "(__existing_implementation: LazyFunction[(dep: Dep = ...), object] | LazyMethod[(dep: Dep = ...), object] | staticmethod[LazyFunction[(dep: Dep = ...), object], Unknown], /) -> LazyImplementsDecorator[(dep: Dep = ...), object]" (reportUnknownMemberType)
-     Type of "overriding" is "(__existing_implementation: LazyFunction[(dep: object = None), object] | LazyMethod[(dep: object = None), object] | staticmethod[LazyFunction[(dep: object = None), object], Unknown], /) -> LazyImplementsDecorator[(dep: object = None), object]" (reportUnknownMemberType)
+     Type of "overriding" is "(__existing_implementation: LazyFunction[(dep: object = ...), object] | LazyMethod[(dep: object = ...), object] | staticmethod[LazyFunction[(dep: object = ...), object], Unknown], /) -> LazyImplementsDecorator[(dep: object = ...), object]" (reportUnknownMemberType)
-     Type of "overriding" is "(__existing_implementation: LazyFunction[(dep: Dep = inject.me()), object] | LazyMethod[(dep: Dep = inject.me()), object] | staticmethod[LazyFunction[(dep: Dep = inject.me()), object], Unknown], /) -> LazyImplementsDecorator[(dep: Dep = inject.me()), object]" (reportUnknownMemberType)
+     Type of "overriding" is "(__existing_implementation: LazyFunction[(dep: Dep = ...), object] | LazyMethod[(dep: Dep = ...), object] | staticmethod[LazyFunction[(dep: Dep = ...), object], Unknown], /) -> LazyImplementsDecorator[(dep: Dep = ...), object]" (reportUnknownMemberType)
-     Type of "overriding" is "(__existing_implementation: LazyFunction[(dep: Dep = inject.me()), object] | LazyMethod[(dep: Dep = inject.me()), object] | staticmethod[LazyFunction[(dep: Dep = inject.me()), object], Unknown], /) -> LazyImplementsDecorator[(dep: Dep = inject.me()), object]" (reportUnknownMemberType)
+     Type of "overriding" is "(__existing_implementation: LazyFunction[(dep: Dep = ...), object] | LazyMethod[(dep: Dep = ...), object] | staticmethod[LazyFunction[(dep: Dep = ...), object], Unknown], /) -> LazyImplementsDecorator[(dep: Dep = ...), object]" (reportUnknownMemberType)

ibis (https://github.com/ibis-project/ibis)
-       Type "((where: Value[Boolean, Any] | None = None, arg: Column[Boolean]) -> All) | ((*args: Any, **kwargs: Any) -> All)" is incompatible with type "(op: Unknown, **kw: Unknown) -> Any"
+       Type "((where: Value[Boolean, Any] | None = ..., arg: Column[Boolean]) -> All) | ((*args: Any, **kwargs: Any) -> All)" is incompatible with type "(op: Unknown, **kw: Unknown) -> Any"
-         Type "(where: Value[Boolean, Any] | None = None, arg: Column[Boolean]) -> All" is incompatible with type "(op: Unknown, **kw: Unknown) -> Any"
+         Type "(where: Value[Boolean, Any] | None = ..., arg: Column[Boolean]) -> All" is incompatible with type "(op: Unknown, **kw: Unknown) -> Any"
-       Type "((where: Value[Boolean, Any] | None = None, arg: Column[Boolean]) -> All) | ((*args: Any, **kwargs: Any) -> All)" is incompatible with type "(...) -> NoReturn"
+       Type "((where: Value[Boolean, Any] | None = ..., arg: Column[Boolean]) -> All) | ((*args: Any, **kwargs: Any) -> All)" is incompatible with type "(...) -> NoReturn"
-         Type "(where: Value[Boolean, Any] | None = None, arg: Column[Boolean]) -> All" is incompatible with type "(...) -> NoReturn"
+         Type "(where: Value[Boolean, Any] | None = ..., arg: Column[Boolean]) -> All" is incompatible with type "(...) -> NoReturn"
-   /tmp/mypy_primer/projects/ibis/ibis/expr/types/joins.py:222:9 - error: "join" overrides method of same name in class "Table" with incompatible type "_Wrapped[(left: Table, right: Table, predicates: str | Sequence[str | BooleanColumn | tuple[str | Column | Deferred, str | Column | Deferred] | bool] = (), how: JoinKind = "inner", *, lname: str = "", rname: str = "{name}_right"), Table, (self: Join, right: Unknown, predicates: Any, how: JoinKind = "inner", *, lname: str = "", rname: str = "{name}_right"), Join]" (reportIncompatibleMethodOverride)
+   /tmp/mypy_primer/projects/ibis/ibis/expr/types/joins.py:222:9 - error: "join" overrides method of same name in class "Table" with incompatible type "_Wrapped[(left: Table, right: Table, predicates: str | Sequence[str | BooleanColumn | tuple[str | Column | Deferred, str | Column | Deferred] | bool] = ..., how: JoinKind = ..., *, lname: str = ..., rname: str = ...), Table, (self: Join, right: Unknown, predicates: Any, how: JoinKind = ..., *, lname: str = ..., rname: str = ...), Join]" (reportIncompatibleMethodOverride)
-   /tmp/mypy_primer/projects/ibis/ibis/expr/types/joins.py:283:9 - error: "asof_join" overrides method of same name in class "Table" with incompatible type "_Wrapped[(left: Table, right: Table, on: str | BooleanColumn, predicates: str | Column | Sequence[str | Column] = (), tolerance: str | IntervalScalar | None = None, *, lname: str = "", rname: str = "{name}_right"), Table, (self: Table, right: Table, on: Unknown, predicates: Unknown = (), tolerance: Unknown | None = None, *, lname: str = "", rname: str = "{name}_right"), Table]" (reportIncompatibleMethodOverride)
+   /tmp/mypy_primer/projects/ibis/ibis/expr/types/joins.py:283:9 - error: "asof_join" overrides method of same name in class "Table" with incompatible type "_Wrapped[(left: Table, right: Table, on: str | BooleanColumn, predicates: str | Column | Sequence[str | Column] = ..., tolerance: str | IntervalScalar | None = ..., *, lname: str = ..., rname: str = ...), Table, (self: Table, right: Table, on: Unknown, predicates: Unknown = ..., tolerance: Unknown | None = ..., *, lname: str = ..., rname: str = ...), Table]" (reportIncompatibleMethodOverride)
-   /tmp/mypy_primer/projects/ibis/ibis/expr/types/joins.py:364:9 - error: "cross_join" overrides method of same name in class "Table" with incompatible type "_Wrapped[(left: Table, right: Table, *rest: Table, lname: str = "", rname: str = "{name}_right"), Table, (self: Table, right: Table, *rest: Table, lname: str = "", rname: str = "{name}_right"), Table]" (reportIncompatibleMethodOverride)
+   /tmp/mypy_primer/projects/ibis/ibis/expr/types/joins.py:364:9 - error: "cross_join" overrides method of same name in class "Table" with incompatible type "_Wrapped[(left: Table, right: Table, *rest: Table, lname: str = ..., rname: str = ...), Table, (self: Table, right: Table, *rest: Table, lname: str = ..., rname: str = ...), Table]" (reportIncompatibleMethodOverride)

jax (https://github.com/google/jax)
-         Type "(ctx: Unknown, ..., jaxpr: Jaxpr, prevent_cse: bool, differentiated: bool, policy: Unknown, is_gpu_platform: bool = False) -> (Unknown | Sequence[IrValues])" is incompatible with type "(ctx: LoweringRuleContext, *args: Unknown | Sequence[Unknown], **kw: Unknown) -> Sequence[Unknown | Sequence[Unknown]]"
+         Type "(ctx: Unknown, ..., jaxpr: Jaxpr, prevent_cse: bool, differentiated: bool, policy: Unknown, is_gpu_platform: bool = ...) -> (Unknown | Sequence[IrValues])" is incompatible with type "(ctx: LoweringRuleContext, *args: Unknown | Sequence[Unknown], **kw: Unknown) -> Sequence[Unknown | Sequence[Unknown]]"
-         Type "(ctx: LoweringRuleContext, ..., backend: Unknown | None = None, call_jaxpr: Unknown, name: Unknown = ...) -> list[IrValues]" is incompatible with type "(ctx: LoweringRuleContext, *args: Unknown | Sequence[Unknown], **kw: Unknown) -> Sequence[Unknown | Sequence[Unknown]]"
+         Type "(ctx: LoweringRuleContext, ..., backend: Unknown | None = ..., call_jaxpr: Unknown, name: Unknown = ...) -> list[IrValues]" is incompatible with type "(ctx: LoweringRuleContext, *args: Unknown | Sequence[Unknown], **kw: Unknown) -> Sequence[Unknown | Sequence[Unknown]]"
-         Type "(ctx: LoweringRuleContext, ..., backend: Unknown | None = None, call_jaxpr: Unknown, name: Unknown = ...) -> list[IrValues]" is incompatible with type "(ctx: LoweringRuleContext, *args: Unknown | Sequence[Unknown], **kw: Unknown) -> Sequence[Unknown | Sequence[Unknown]]"
+         Type "(ctx: LoweringRuleContext, ..., backend: Unknown | None = ..., call_jaxpr: Unknown, name: Unknown = ...) -> list[IrValues]" is incompatible with type "(ctx: LoweringRuleContext, *args: Unknown | Sequence[Unknown], **kw: Unknown) -> Sequence[Unknown | Sequence[Unknown]]"
-         Type "(ctx: Unknown, operand: Unknown, ..., k: Unknown, reduction_dimension: Unknown, recall_target: Unknown, is_max_k: Unknown, reduction_input_size_override: Unknown, aggregate_to_topk: Unknown, fallback: bool = False) -> Unknown" is incompatible with type "(ctx: LoweringRuleContext, *args: Unknown | Sequence[Unknown], **kw: Unknown) -> Sequence[Unknown | Sequence[Unknown]]"
+         Type "(ctx: Unknown, operand: Unknown, ..., k: Unknown, reduction_dimension: Unknown, recall_target: Unknown, is_max_k: Unknown, reduction_input_size_override: Unknown, aggregate_to_topk: Unknown, fallback: bool = ...) -> Unknown" is incompatible with type "(ctx: LoweringRuleContext, *args: Unknown | Sequence[Unknown], **kw: Unknown) -> Sequence[Unknown | Sequence[Unknown]]"
-         Type "(ctx: Unknown, lhs: Unknown, rhs: Unknown, ..., window_strides: Unknown, padding: Unknown, lhs_dilation: Unknown, rhs_dilation: Unknown, dimension_numbers: Unknown, feature_group_count: Unknown, batch_group_count: Unknown, precision: Unknown, preferred_element_type: Unknown, expand_complex_convolutions: bool = False) -> (Unknown | list[Unknown])" is incompatible with type "(ctx: LoweringRuleContext, *args: Unknown | Sequence[Unknown], **kw: Unknown) -> Sequence[Unknown | Sequence[Unknown]]"
+         Type "(ctx: Unknown, lhs: Unknown, rhs: Unknown, ..., window_strides: Unknown, padding: Unknown, lhs_dilation: Unknown, rhs_dilation: Unknown, dimension_numbers: Unknown, feature_group_count: Unknown, batch_group_count: Unknown, precision: Unknown, preferred_element_type: Unknown, expand_complex_convolutions: bool = ...) -> (Unknown | list[Unknown])" is incompatible with type "(ctx: LoweringRuleContext, *args: Unknown | Sequence[Unknown], **kw: Unknown) -> Sequence[Unknown | Sequence[Unknown]]"
-         Type "(ctx: Unknown, lhs: Unknown, rhs: Unknown, ..., window_strides: Unknown, padding: Unknown, lhs_dilation: Unknown, rhs_dilation: Unknown, dimension_numbers: Unknown, feature_group_count: Unknown, batch_group_count: Unknown, precision: Unknown, preferred_element_type: Unknown, expand_complex_convolutions: bool = False) -> (Unknown | list[Unknown])" is incompatible with type "(ctx: LoweringRuleContext, *args: Unknown | Sequence[Unknown], **kw: Unknown) -> Sequence[Unknown | Sequence[Unknown]]"
+         Type "(ctx: Unknown, lhs: Unknown, rhs: Unknown, ..., window_strides: Unknown, padding: Unknown, lhs_dilation: Unknown, rhs_dilation: Unknown, dimension_numbers: Unknown, feature_group_count: Unknown, batch_group_count: Unknown, precision: Unknown, preferred_element_type: Unknown, expand_complex_convolutions: bool = ...) -> (Unknown | list[Unknown])" is incompatible with type "(ctx: LoweringRuleContext, *args: Unknown | Sequence[Unknown], **kw: Unknown) -> Sequence[Unknown | Sequence[Unknown]]"
-         Type "(ctx: Unknown, lhs: Unknown, rhs: Unknown, ..., dimension_numbers: Unknown, precision: Unknown, preferred_element_type: Unknown | None, platform: str = "default") -> list[Unknown]" is incompatible with type "(ctx: LoweringRuleContext, *args: Unknown | Sequence[Unknown], **kw: Unknown) -> Sequence[Unknown | Sequence[Unknown]]"
+         Type "(ctx: Unknown, lhs: Unknown, rhs: Unknown, ..., dimension_numbers: Unknown, precision: Unknown, preferred_element_type: Unknown | None, platform: str = ...) -> list[Unknown]" is incompatible with type "(ctx: LoweringRuleContext, *args: Unknown | Sequence[Unknown], **kw: Unknown) -> Sequence[Unknown | Sequence[Unknown]]"
-         Type "(ctx: Unknown, x: Unknown, ..., all_gather_dimension: Unknown, axis_name: Unknown, axis_index_groups: Unknown, axis_size: Unknown, tiled: Unknown, platform: Unknown | None = None) -> Unknown" is incompatible with type "(ctx: LoweringRuleContext, *args: Unknown | Sequence[Unknown], **kw: Unknown) -> Sequence[Unknown | Sequence[Unknown]]"
+         Type "(ctx: Unknown, x: Unknown, ..., all_gather_dimension: Unknown, axis_name: Unknown, axis_index_groups: Unknown, axis_size: Unknown, tiled: Unknown, platform: Unknown | None = ...) -> Unknown" is incompatible with type "(ctx: LoweringRuleContext, *args: Unknown | Sequence[Unknown], **kw: Unknown) -> Sequence[Unknown | Sequence[Unknown]]"

kopf (https://github.com/nolar/kopf)
-         Type "(request: Request, ..., headers: Mapping[str, str] | None = None, sslpeer: Mapping[str, Any] | None = None, webhook: HandlerId | None = None, reason: WebhookType | None = None, settings: OperatorSettings = ..., memories: MemoGetter = ..., memobase: AnyMemo = ..., registry: OperatorRegistry = ..., insights: Insights = ..., indices: Indices = ...) -> Coroutine[Any, Any, Response]" is incompatible with type "(request: Request, *, webhook: str | None = None, headers: Mapping[str, str] | None = None, sslpeer: Mapping[str, Any] | None = None) -> Awaitable[Response]"
+         Type "(request: Request, ..., headers: Mapping[str, str] | None = ..., sslpeer: Mapping[str, Any] | None = ..., webhook: HandlerId | None = ..., reason: WebhookType | None = ..., settings: OperatorSettings = ..., memories: MemoGetter = ..., memobase: AnyMemo = ..., registry: OperatorRegistry = ..., insights: Insights = ..., indices: Indices = ...) -> Coroutine[Any, Any, Response]" is incompatible with type "(request: Request, *, webhook: str | None = None, headers: Mapping[str, str] | None = None, sslpeer: Mapping[str, Any] | None = None) -> Awaitable[Response]"

hydra-zen (https://github.com/mit-ll-responsible-ai/hydra-zen)
-   /tmp/mypy_primer/projects/hydra-zen/tests/annotations/declarations.py:566:9 - information: Type of "Conf_f(1, "hi")" is "BuildsWithSig[type[C], (x: int, y: str, z: bool = False)]"
+   /tmp/mypy_primer/projects/hydra-zen/tests/annotations/declarations.py:566:9 - information: Type of "Conf_f(1, "hi")" is "BuildsWithSig[type[C], (x: int, y: str, z: bool = ...)]"
+   /tmp/mypy_primer/projects/hydra-zen/tests/annotations/declarations.py:567:23 - error: Type text mismatch; expected "BuildsWithSig[type[C], (x: int, y: str, z: bool = False)]" but received "BuildsWithSig[type[C], (x: int, y: str, z: bool = ...)]"
-   /tmp/mypy_primer/projects/hydra-zen/tests/annotations/declarations.py:570:9 - information: Type of "Conf_f(1, "hi", True)" is "BuildsWithSig[type[C], (x: int, y: str, z: bool = False)]"
+   /tmp/mypy_primer/projects/hydra-zen/tests/annotations/declarations.py:570:9 - information: Type of "Conf_f(1, "hi", True)" is "BuildsWithSig[type[C], (x: int, y: str, z: bool = ...)]"
+   /tmp/mypy_primer/projects/hydra-zen/tests/annotations/declarations.py:571:23 - error: Type text mismatch; expected "BuildsWithSig[type[C], (x: int, y: str, z: bool = False)]" but received "BuildsWithSig[type[C], (x: int, y: str, z: bool = ...)]"
-   /tmp/mypy_primer/projects/hydra-zen/tests/annotations/declarations.py:574:9 - information: Type of "Conf_f(1, y="hi")" is "BuildsWithSig[type[C], (x: int, y: str, z: bool = False)]"
+   /tmp/mypy_primer/projects/hydra-zen/tests/annotations/declarations.py:574:9 - information: Type of "Conf_f(1, y="hi")" is "BuildsWithSig[type[C], (x: int, y: str, z: bool = ...)]"
+   /tmp/mypy_primer/projects/hydra-zen/tests/annotations/declarations.py:575:23 - error: Type text mismatch; expected "BuildsWithSig[type[C], (x: int, y: str, z: bool = False)]" but received "BuildsWithSig[type[C], (x: int, y: str, z: bool = ...)]"
-   /tmp/mypy_primer/projects/hydra-zen/tests/annotations/declarations.py:578:9 - information: Type of "Conf_f(x=1, y="hi", z=False)" is "BuildsWithSig[type[C], (x: int, y: str, z: bool = False)]"
+   /tmp/mypy_primer/projects/hydra-zen/tests/annotations/declarations.py:578:9 - information: Type of "Conf_f(x=1, y="hi", z=False)" is "BuildsWithSig[type[C], (x: int, y: str, z: bool = ...)]"
+   /tmp/mypy_primer/projects/hydra-zen/tests/annotations/declarations.py:579:23 - error: Type text mismatch; expected "BuildsWithSig[type[C], (x: int, y: str, z: bool = False)]" but received "BuildsWithSig[type[C], (x: int, y: str, z: bool = ...)]"
-   /tmp/mypy_primer/projects/hydra-zen/tests/annotations/declarations.py:729:9 - information: Type of "Conf" is "type[BuildsWithSig[type[int], (x: int, y: str, z: bool = False)]]"
+   /tmp/mypy_primer/projects/hydra-zen/tests/annotations/declarations.py:729:9 - information: Type of "Conf" is "type[BuildsWithSig[type[int], (x: int, y: str, z: bool = ...)]]"
+   /tmp/mypy_primer/projects/hydra-zen/tests/annotations/declarations.py:730:23 - error: Type text mismatch; expected "type[BuildsWithSig[type[int], (x: int, y: str, z: bool = False)]]" but received "type[BuildsWithSig[type[int], (x: int, y: str, z: bool = ...)]]"
- 183 errors, 15 warnings, 183 informations 
+ 188 errors, 15 warnings, 183 informations 

prefect (https://github.com/PrefectHQ/prefect)
-     "function" is incompatible with "abstractstaticmethod[(__call: (() -> T@wait_for_call_in_loop_thread) | Call[T@wait_for_call_in_loop_thread], timeout: float | None = None, done_callbacks: Iterable[Call[Unknown]] | None = None), T@wait_for_call_in_loop_thread]" (reportIncompatibleVariableOverride)
+     "function" is incompatible with "abstractstaticmethod[(__call: (() -> T@wait_for_call_in_loop_thread) | Call[T@wait_for_call_in_loop_thread], timeout: float | None = ..., done_callbacks: Iterable[Call[Unknown]] | None = ...), T@wait_for_call_in_loop_thread]" (reportIncompatibleVariableOverride)
-     "function" is incompatible with "abstractstaticmethod[(__call: (() -> T@wait_for_call_in_new_thread) | Call[T@wait_for_call_in_new_thread], timeout: float | None = None, done_callbacks: Iterable[Call[Unknown]] | None = None), T@wait_for_call_in_new_thread]" (reportIncompatibleVariableOverride)
+     "function" is incompatible with "abstractstaticmethod[(__call: (() -> T@wait_for_call_in_new_thread) | Call[T@wait_for_call_in_new_thread], timeout: float | None = ..., done_callbacks: Iterable[Call[Unknown]] | None = ...), T@wait_for_call_in_new_thread]" (reportIncompatibleVariableOverride)
-     "function" is incompatible with "abstractstaticmethod[(__call: (() -> T@wait_for_call_in_loop_thread) | Call[T@wait_for_call_in_loop_thread], timeout: float | None = None, done_callbacks: Iterable[Call[Unknown]] | None = None), T@wait_for_call_in_loop_thread]" (reportIncompatibleVariableOverride)
+     "function" is incompatible with "abstractstaticmethod[(__call: (() -> T@wait_for_call_in_loop_thread) | Call[T@wait_for_call_in_loop_thread], timeout: float | None = ..., done_callbacks: Iterable[Call[Unknown]] | None = ...), T@wait_for_call_in_loop_thread]" (reportIncompatibleVariableOverride)
-     "function" is incompatible with "abstractstaticmethod[(__call: (() -> T@wait_for_call_in_new_thread) | Call[T@wait_for_call_in_new_thread], timeout: float | None = None, done_callbacks: Iterable[Call[Unknown]] | None = None), T@wait_for_call_in_new_thread]" (reportIncompatibleVariableOverride)
+     "function" is incompatible with "abstractstaticmethod[(__call: (() -> T@wait_for_call_in_new_thread) | Call[T@wait_for_call_in_new_thread], timeout: float | None = ..., done_callbacks: Iterable[Call[Unknown]] | None = ...), T@wait_for_call_in_new_thread]" (reportIncompatibleVariableOverride)
-   /tmp/mypy_primer/projects/prefect/src/prefect/input/actions.py:52:2 - error: Argument of type "(key: str, value: Any, flow_run_id: UUID | None = None, sender: str | None = None) -> Awaitable[None]" cannot be assigned to parameter "async_fn" of type "(...) -> Coroutine[Any, Any, R@sync_compatible]" in function "sync_compatible"
+   /tmp/mypy_primer/projects/prefect/src/prefect/input/actions.py:52:2 - error: Argument of type "(key: str, value: Any, flow_run_id: UUID | None = ..., sender: str | None = ...) -> Awaitable[None]" cannot be assigned to parameter "async_fn" of type "(...) -> Coroutine[Any, Any, R@sync_compatible]" in function "sync_compatible"
-     Type "(key: str, value: Any, flow_run_id: UUID | None = None, sender: str | None = None) -> Awaitable[None]" is incompatible with type "(...) -> Coroutine[Any, Any, R@sync_compatible]"
+     Type "(key: str, value: Any, flow_run_id: UUID | None = ..., sender: str | None = ...) -> Awaitable[None]" is incompatible with type "(...) -> Coroutine[Any, Any, R@sync_compatible]"
-   /tmp/mypy_primer/projects/prefect/src/prefect/input/actions.py:81:2 - error: Argument of type "(key_prefix: str, limit: int = 1, exclude_keys: Set[str] | None = None, flow_run_id: UUID | None = None) -> Awaitable[List[FlowRunInput]]" cannot be assigned to parameter "async_fn" of type "(...) -> Coroutine[Any, Any, R@sync_compatible]" in function "sync_compatible"
+   /tmp/mypy_primer/projects/prefect/src/prefect/input/actions.py:81:2 - error: Argument of type "(key_prefix: str, limit: int = ..., exclude_keys: Set[str] | None = ..., flow_run_id: UUID | None = ...) -> Awaitable[List[FlowRunInput]]" cannot be assigned to parameter "async_fn" of type "(...) -> Coroutine[Any, Any, R@sync_compatible]" in function "sync_compatible"
-     Type "(key_prefix: str, limit: int = 1, exclude_keys: Set[str] | None = None, flow_run_id: UUID | None = None) -> Awaitable[List[FlowRunInput]]" is incompatible with type "(...) -> Coroutine[Any, Any, R@sync_compatible]"
+     Type "(key_prefix: str, limit: int = ..., exclude_keys: Set[str] | None = ..., flow_run_id: UUID | None = ...) -> Awaitable[List[FlowRunInput]]" is incompatible with type "(...) -> Coroutine[Any, Any, R@sync_compatible]"
-   /tmp/mypy_primer/projects/prefect/src/prefect/input/actions.py:103:2 - error: Argument of type "(key: str, flow_run_id: UUID | None = None) -> Awaitable[Any]" cannot be assigned to parameter "async_fn" of type "(...) -> Coroutine[Any, Any, R@sync_compatible]" in function "sync_compatible"
+   /tmp/mypy_primer/projects/prefect/src/prefect/input/actions.py:103:2 - error: Argument of type "(key: str, flow_run_id: UUID | None = ...) -> Awaitable[Any]" cannot be assigned to parameter "async_fn" of type "(...) -> Coroutine[Any, Any, R@sync_compatible]" in function "sync_compatible"
-     Type "(key: str, flow_run_id: UUID | None = None) -> Awaitable[Any]" is incompatible with type "(...) -> Coroutine[Any, Any, R@sync_compatible]"
+     Type "(key: str, flow_run_id: UUID | None = ...) -> Awaitable[Any]" is incompatible with type "(...) -> Coroutine[Any, Any, R@sync_compatible]"
-   /tmp/mypy_primer/projects/prefect/src/prefect/input/actions.py:126:2 - error: Argument of type "(key: str, flow_run_id: UUID | None = None) -> Awaitable[None]" cannot be assigned to parameter "async_fn" of type "(...) -> Coroutine[Any, Any, R@sync_compatible]" in function "sync_compatible"
+   /tmp/mypy_primer/projects/prefect/src/prefect/input/actions.py:126:2 - error: Argument of type "(key: str, flow_run_id: UUID | None = ...) -> Awaitable[None]" cannot be assigned to parameter "async_fn" of type "(...) -> Coroutine[Any, Any, R@sync_compatible]" in function "sync_compatible"
-     Type "(key: str, flow_run_id: UUID | None = None) -> Awaitable[None]" is incompatible with type "(...) -> Coroutine[Any, Any, R@sync_compatible]"
+     Type "(key: str, flow_run_id: UUID | None = ...) -> Awaitable[None]" is incompatible with type "(...) -> Coroutine[Any, Any, R@sync_compatible]"