Bug report

When appending records to an array, the array shapes are not checked / reported properly.

Code snippet that reproduces the problem

https://phpstan.org/r/871e400d-6df0-4cc0-91a6-3b9c5798b987

Expected output

Line 25 does not produce an error (and I believe it should), but this error seemingly is reported on line 27 which should not generate an error.