<!-- Before reporting an issue please check that you are using the latest PHPStan version! -->

### Summary of a problem or a feature request

<!-- Please describe your problem/feature request here. -->


### Code snippet that reproduces the problem

<!-- Try to reproduce the issue you are facing using https://phpstan.org/ (click "Analyze & Store Result" to get a unique URL) -->


### Expected output

<!-- Was the issue reported incorrectly? Or should PHPStan detect an issue with the code but doesn't? -->
