Array shape comparing doesn't work properly when narrowed from mixed

[fluffycondor]

Bug report

PHPStan 1.6.2

If a variable is narrowed from mixed to a shaped array, PHPStan fails to compare it properly.
https://phpstan.org/r/8273475b-6e96-4e2d-baa0-7a0fea921fc0
The same code doesn't yield any errors if I just replace mixed with array:
https://phpstan.org/r/98b21779-1265-465e-ab65-0967bf6feb8f

Code snippet that reproduces the problem

https://phpstan.org/r/8273475b-6e96-4e2d-baa0-7a0fea921fc0

Expected output

No errors.

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

❤️ ❤️ ❤️

[herndlm]

This works if bleeding edge is not used. I wonder if my explicit mixed is_array changes are the reason :/ phpstan/phpstan-src#1191

[phpstan-bot]

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

@@ @@
-16: Dumped type: array&hasOffset('value')
-18: Parameter #1 $foo of function foo expects array{value: string}, array given.
+16: Dumped type: array&hasOffsetValue('value', string)

Full report

Line	Error
16	Dumped type: array&hasOffsetValue('value', string)

[phpstan-bot]

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

@@ @@
-19: Dumped type: array&hasOffset('value')
+19: Dumped type: array&hasOffsetValue('value', string)

Full report

Line	Error
19	Dumped type: array&hasOffsetValue('value', string)

[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.