# Bug report I hope I didn't make another mistake somewhere but this seems like a real bug to me. :thinking: ### Code snippet that reproduces the problem https://phpstan.org/r/6382fe16-7dad-44ae-ac6f-9fdac6f531cf ### Expected output no error