Psalm
Get started
Documentation
Paid support
Plugins
Blog
GitHub
<?php class Foo { public array $f_oo = []; public int $b_aarzxc = 1; } /** @psalm-assert empty $_o->f_oo */ function change(Foo $_o): void {} $o = new Foo; change($o); /** @psalm-assert empty $_aa->b_aarzxc */ function change2(int $_z, Foo $_aa): void {} $o = new Foo; change2(2, $o);
Snippet created on March 13 2023 at 04:53 UTC
Settings
Get link