Regression since mypy 1.7 with functions that return a generic protocol about mypy HOT 2 OPEN

# An object that can convert I to O with parameters P
class ConvertorProtocol(Protocol[I, P, O]):
    def convert(self, __source: I, *args: P.args, **kwargs: P.kwargs) -> O:
        ...

    def prepare(self, *args: P.args, **kwargs: P.kwargs) -> Callable[[I], O]:
        ...

from typing import (
    Generic,
    TypeVar,
    Callable,
    Concatenate,
    ParamSpec,
    reveal_type,
)
from dataclasses import dataclass


X = TypeVar("X")
P = ParamSpec("P")
I = TypeVar("I", contravariant=True)
O = TypeVar("O", covariant=True)


@dataclass
class Convertor(Generic[I, P, O]):
    convert: Callable[Concatenate[I, P], O]


def as_list(source: X, repeat: int = 1) -> list[X]:
    return [source] * repeat


as_list_convertor = Convertor(convert=as_list)


if __name__ == "__main__":
    reveal_type(as_list_convertor.convert)
    result = as_list_convertor.convert(1, repeat=3)
    reveal_type(result)
    assert result == [1, 1, 1]