Bug report

This worked fine before but broke in a recent release.

Code snippet that reproduces the problem

https://phpstan.org/r/4cf967b1-0e14-4f43-adb9-481790ddaca3

Expected output

no error