I tried to test #351 and stumbled upon these two cases:
https://phpstan.org/r/de685ca2-4b49-4fda-ad14-4f743ab98433
https://phpstan.org/r/110174ce-6569-4db2-9000-99e40df7b7b3

Maybe related to #3515.