pyrefly vs mypy repro

repro.py

from typing import Protocol, Generic, Callable, Iterator, cast
from typing_extensions import ParamSpec
P = ParamSpec("P")
class FooResult:
    changed: bool
class FooProtocol(Generic[P], Protocol):
    def __call__(
        self,
        _bar: bool = False,
        baz: str | None = None,
        *args: P.args,
        **kwargs: P.kwargs,
    ) -> FooResult: ...
def make_foo(func: Callable[P, Iterator[str]]) -> FooProtocol[P]:
    def wrapper(*args: P.args, **kwargs: P.kwargs) -> FooResult:
        return FooResult()
    return cast(FooProtocol[P], wrapper)
def _foo_impl(biz: str, baf: bool = True) -> Iterator[str]:
    yield "test"
foo = make_foo(_foo_impl)
# These should all be valid:
foo(biz="aaa")
foo(biz="bbb", baf=True)
foo(biz="ccc", _bar=True)
foo(biz="ddd", baf=True, _bar=True, baz="abcdef")
# This should be an error:
foo(nonexistent_param=True)