Psalm
Get started
Documentation
Paid support
Plugins
Blog
GitHub
<?php interface I { /** * @template TResult * @param TResult $value * @return TResult */ public function method(mixed $value): mixed; } final class A implements I { /** * @template TResult * @param TResult $value * @return TResult */ public function method(mixed $value): mixed { return $value; } } $_v = (new A)->method('a'); /** @psalm-check-type-exact $_v = 'a' */
Snippet created on December 24 2022 at 03:11 UTC
Settings
Get link