Psalm
Get started
Documentation
Paid support
Plugins
Blog
GitHub
<?php /** * @template A * @template B * * @param list<A> $list * @param callable(A): B $callback * @return list<B> */ function map(array $list, callable $callback): array { throw new RuntimeException('never'); } /** * @return list<int> */ function getNumbers(): array {return [];} $result = map([1, 2, 3], fn($i) => ['num' => $i]); /** @psalm-check-type $result = list<array{num: int}> */
Snippet created on April 21 2023 at 14:15 UTC
Settings
Get link