pytest (https://github.com/pytest-dev/pytest)+ testing/test_monkeypatch.py:420: error: Unused "type: ignore" comment  [unused-ignore]starlette (https://github.com/encode/starlette)+ starlette/middleware/errors.py:178: error: Argument 1 to "run_in_threadpool" has incompatible type "Callable[[Request, Exception], Response | Awaitable[Response]] | Callable[[WebSocket, Exception], Awaitable[None]]"; expected "Callable[[Request, Exception], Response]"  [arg-type]+ starlette/_exception_handler.py:61: error: Argument 1 to "run_in_threadpool" has incompatible type "Callable[[Request, Exception], Response | Awaitable[Response]] | Callable[[WebSocket, Exception], Awaitable[None]]"; expected "Callable[[Request | WebSocket, Exception], Any]"  [arg-type]+ starlette/routing.py:68: error: Incompatible types in assignment (expression has type "Callable[..., Awaitable[Any]] | partial[Coroutine[Any, Any, Awaitable[Response] | Response]]", variable has type "Callable[[Request], Awaitable[Response]]")  [assignment]+ starlette/routing.py:68: error: Too few arguments for "run_in_threadpool"  [call-arg]

fromcollections.abcimportCallablefromtypingimportAnyfromtyping_extensionsimportTypeIsclassFoo[T]:passdefis_foo_factory(x:object)->TypeIs[Callable[...,Foo[Any]]]: ...# ===== Before  =====deff(x:Callable[...,int|Foo[int]]|Callable[...,Foo[str]])->None:ifis_foo_factory(x):reveal_type(x)# N: Revealed type is "def (*Any, **Any) -> SCRATCH.Foo[Any]"else:reveal_type(x)# E: Statement is unreachable# ===== After  =====deff(x:Callable[...,int|Foo[int]]|Callable[...,Foo[str]])->None:ifis_foo_factory(x):reveal_type(x)# N: Revealed type is "def (*Any, **Any) -> SCRATCH.Foo[Any]"else:reveal_type(x)# N: Revealed type is "def (*Any, **Any) -> builtins.int | SCRATCH.Foo[builtins.int]"