"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

Inizia eseguendo l'esempio mypy-play collegato con i flag di strictness forniti e ispeziona il percorso di type-checking dei decoratori per l'unione di tipi richiamabili. Il lavoro è completato quando questo reproducer non segnala più il falso positivo, continuando a preservare il typing previsto di bar; aggiungi o aggiorna la copertura di regressione se i test esistenti del repository espongono il caso pertinente.