UnionType of Callable[P, Awaitable[T]] | Callable[P, T] not being matched by async function.

[cvm-a]

Bug Report
I'm trying to annotate a decorator that can take both async and normal functions using

def decorator(func: Callable[P, Awaitable[T]] | Callable[P, T])
...

The Callable[P, Awaitable[T]] variant does not match when using the decorator with an async function and instead raises an error
"Argument 1 to "decorator" has incompatible type "Callable[[int], Coroutine[Any, Any, str]]"; expected "Callable[[VarArg(Never), KwArg(Never)], Awaitable[Never]] | Callable[[VarArg(Never), KwArg(Never)], Never]" [arg-type]"

This may be related to #16451 which was fixed by 1.7.1

To Reproduce

https://mypy-play.net/?mypy=latest&python=3.11&flags=new-type-inference&gist=c5255c4185cf954aa32bc8f8b2c04c10
Expected Behavior
Both sync and async should be type matched correctly

Actual Behavior

I get a strange error with the async variant (main.py:61: error: Argument 1 to "decorator" has incompatible type "Callable[[int], Coroutine[Any, Any, str]]"; expected "Callable[[VarArg(Never), KwArg(Never)], Awaitable[Never]] | Callable[[VarArg(Never), KwArg(Never)], Never]" [arg-type])

Your Environment

• Mypy version used: 1.7.1 compiled
• Mypy command-line flags: new-type-inference (by default)
• Python version used: 3.11.6

Also replicated in the playground with 1.7.1 compiled and Python 3.11 and 3.12.

[practual]

I believe the same issue can be seen when handling coroutine objects directly: https://mypy-play.net/?mypy=latest&python=3.12&gist=41efe2212da7ae2596cf34b0577aead7

main.py:27: error: Argument 1 to "wrap_as_coroutine" has incompatible type "Coroutine[Any, Any, str]"; expected "Coroutine[Any, Any, Never]"  [arg-type]

As a workaround, I can add @overload rather than defining a Union of types, but it shouldn't be necessary: https://mypy-play.net/?mypy=latest&python=3.12&gist=6fb7b237cd11b5bfe192108543e1ac36