@param Generator<mixed> doesn't accept anything but a generator that actually yield mixed type
#6464
Labels
Milestone
Comments
e-zannelli
changed the title
@param Generator<mixed> doesn't accept anything a generator that actually yield mixed type@param Generator<mixed> doesn't accept anything but a generator that actually yield mixed type
|
@e-zannelli After the latest commit in dev-master, PHPStan now reports different result with your code snippet: @@ @@
-10: Parameter #1 $g of method Foo::foo() expects Generator<int, mixed, mixed, void>, Generator<int, string, mixed, void> given.
+No errors |
|
Fixed: phpstan/phpstan-src@9f12f0f |
ondrejmirtes
added a commit
to phpstan/phpstan-src
that referenced
this issue
Feb 28, 2022
Closes phpstan/phpstan#6464 Closes phpstan/phpstan#6423 Closes phpstan/phpstan#6418 Closes phpstan/phpstan#6230 Closes phpstan/phpstan#5860
|
This thread has been automatically locked since there has not been any recent activity after it was closed. Please open a new issue for related bugs. |
Sign up for free
to subscribe to this conversation on GitHub.
Already have an account?
Sign in.
Bug report
Like with an
iterable<mixed>I expect a parameter typedGenerator<mixed>to accept a generator that has been inferred to be a\Generator<anyType>.But in level 9, phpstan complains that the given type do not match the expected one, except if the inferred yielded type is actually
mixed.Code snippet that reproduces the problem
https://phpstan.org/r/ce1f6000-702b-4562-b81b-44dc3f08444a
Expected output
No error.
Did PHPStan help you today? Did it make you happy in any way?
PHPStan helps me every work day 😉 It's great. Thanks
The text was updated successfully, but these errors were encountered: