Template type bound to array vs array shapes

[arnaud-lb]

Bug report

In the following code snippet, it is possible to return an array that is not compatible with the resolved type

Code snippet that reproduces the problem

https://phpstan.org/r/9effa16d-1197-45d0-ae20-3df328f43115

Expected output

Function test() should return T of array but returns array.

[mvorisek]

related to #6588

[phpstan-bot]

@arnaud-lb After the latest push in 1.10.x, PHPStan now reports different result with your code snippet:

@@ @@
+10: Function test() should return T of array but returns array<mixed, mixed>.
 17: Dumped type: array{foo: 1}

Full report

Line	Error
10	Function test() should return T of array but returns array<mixed, mixed>.
17	Dumped type: array{foo: 1}

[arnaud-lb]

This is fixed, according to the bot. Thank you!

[ondrejmirtes]

Yeah, it nicely surprised me 😊

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