# Bug report <!-- Before reporting an issue please check that you are using the latest PHPStan version! --> <!-- Please describe your problem here. --> ### Code snippet that reproduces the problem <!-- Try to reproduce the issue you are facing using https://phpstan.org/ and post the unique URL here --> ### Expected output <!-- Was the issue reported incorrectly? Or should PHPStan detect an issue with the code but doesn't? -->