Psalm
Get started
Documentation
Paid support
Plugins
Blog
GitHub
<?php /** * @template T */ final class Container {} /** * @return Container<int<0, max>> */ function getContainer(): Container { throw new RuntimeException('???'); } /** * @param Container<int> $_ */ function acceptsContainerInt(Container $_): void {} acceptsContainerInt(getContainer());
Snippet created on April 7 2023 at 12:01 UTC
Settings
Get link