"Untyped decorator makes function untyped" false positive on decorator with union type

from typing import Callable, ParamSpec, TypeVar

T = TypeVar("T")
P = ParamSpec("P")

class C:
    def __call__(self, arg: Callable[P, T]) -> Callable[P, T]:
        return arg

foo: C | Callable[[Callable[P, T]], Callable[P, T]]

@foo
def bar() -> None:...

playground

use case: i have to define a decorator conditionally that can be either one of these two very similar types

まず、指定された strictness flags を付けてリンク先の mypy-play の例を実行し、callable 型の union に対するデコレータの型チェック処理を調べます。この reproducer が false positive を報告しなくなり、bar に対して期待される型付けも維持されれば完了です。リポジトリの既存テストで該当するケースが明らかになる場合は、リグレッションテストのカバレッジを追加または更新してください。