Bug report

The exact error message is:

Parameter #1 $c of method Option::map() expects Closure(U): Result<U, mixed>, Closure(U): Result<U, mixed> given.

It looks like the error message is saying that everything is fine ^^

Code snippet that reproduces the problem

https://phpstan.org/r/ce2c98eb-17a1-4e8d-a350-a71f8e877826

Expected output

Did PHPStan help you today? Did it make you happy in any way?

It definitely helped! I'm glad we have PHPStan when working with PHP :)

thank you!