Can't assign default argument value to type when using ParamSpec

Bug Report

I have a function that takes a Callable with ParamSpec, and I want to set a default for this parameter to a type.

To Reproduce

from typing import Callable, Concatenate, ParamSpec

P = ParamSpec("P")

class Foo:
    def __init__(self, a: int, /, b: str) -> None:
        self.a = a
        self.b = b

        
def func(cls: Callable[Concatenate[int, P], Foo] = Foo) -> Callable[P, Foo]:
    def wrapper(*args: P.args, **kwargs: P.kwargs) -> Foo:
        return cls(1, *args, **kwargs)
    return wrapper

However, mypy complains:

main.py:11: error: Incompatible default for argument "cls" (default has type "type[Foo]", argument has type "Callable[[int, **P], Foo]")  [assignment]

https://mypy-play.net/?mypy=latest&python=3.11&flags=new-type-inference&gist=065da8e39f9cecda995ea9d598b9441e

Expected Behavior

I expect mypy to accept this default value, since removing the default and calling func works fine:

def func(cls: Callable[Concatenate[int, P], Foo]) -> Callable[P, Foo]:
    def wrapper(*args: P.args, **kwargs: P.kwargs) -> Foo:
        return cls(1, *args, **kwargs)
    return wrapper
    
func(Foo)("b")

https://mypy-play.net/?mypy=latest&python=3.11&flags=new-type-inference&gist=289ae2368c78c0d9636dcc8766baf135

Your Environment

• Mypy version used: 1.5.1
• Mypy command-line flags:
• Mypy configuration options from mypy.ini (and other config files):
• Python version used: 3.11

Comienza con el reproductor main.py y los ejemplos enlazados de mypy-play, y después sigue la comprobación del Callable predeterminado basado en ParamSpec. Compara las definiciones de func con y sin valor predeterminado. El trabajo estará terminado cuando se haya resuelto el error reportado de valor predeterminado incompatible para este ejemplo y el comportamiento esté cubierto por una prueba de regresión adecuada.