"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

Beginne damit, das verlinkte mypy-play-Beispiel mit den angegebenen Strictness-Flags auszuführen, und untersuche den Pfad der Typprüfung von Dekoratoren für die Union aufrufbarer Typen. Erledigt ist die Aufgabe, wenn dieser Reproducer nicht mehr den False Positive meldet und dabei die erwartete Typisierung von bar weiterhin erhalten bleibt; füge Regressionstests hinzu oder aktualisiere sie, falls die vorhandenen Tests des Repositorys den relevanten Fall abdecken.