Psalm
Get started
Documentation
Paid support
Plugins
Blog
GitHub
<?php class A { } class B extends A { } /** * return class-string<A> */ function foo(): string { return 'B'; } assert(is_a(new A(), foo()));
Snippet created on November 3 2020 at 07:57 UTC
Settings
Get link