Psalm
Get started
Documentation
Paid support
Plugins
Blog
GitHub
<?php /** * @param object{ * g: object|null, * } $o */ function f(object $o, bool $b): void { if ($o->g && $b) { } /** @psalm-trace $o->g */ }
Snippet created on May 9 2023 at 13:04 UTC
Settings
Get link