"sealed tip" is missing
Author: mvorisekCreated Sep 15, 2026Updated Sep 15, 2026
Labelsbug
Bug report
"sealed tip" should be present in all cases when applicable.
Code snippet that reproduces the problem
https://phpstan.org/r/06913ea9-92c7-4868-a9a4-7c47ef9781db
Expected output
On l60 I would expect the same tip/int () as for l38.
Also small sidelight - is the tip on l28 more helpful than in l38, shouldn't is be deduplicated?
Source: phpstan/phpstan