What means "expects [some type here], *NEVER* given"?

[ondrejmirtes]

Discussed in #6382

^{Originally posted by mkoske January 17, 2022}
What means "expects [some type here], NEVER given"? I got this error message but didn't understand what it means?

https://phpstan.org/r/bb69a155-000d-4a89-b042-c208836a6080

Br, Miika

[phpstan-bot]

@ondrejmirtes After the latest commit in 1.8.x, PHPStan now reports different result with your code snippet:

@@ @@
-44: Parameter #1 $values of function increment expects array{value0: int, value1: int}, *NEVER* given.
+No errors

[github-actions]

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.