# Bug report ### Code snippet that reproduces the problem <!-- Try to reproduce the issue you are facing using https://phpstan.org/try and post the unique URL here --> https://phpstan.org/r/a37ea7d6-2c1d-44d1-8257-338d6ffe8465 ### Expected output <!-- Was the issue reported incorrectly? Or should PHPStan detect an issue with the code but doesn't? --> The two types should be the same
