I found these snippets:

https://psalm.dev/r/9507b5fc6c

<?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}> */

Psalm output (using commit a97b6b8):

No issues!

https://psalm.dev/r/5955bcdc9f

<?php

final class ArrayList
{
    /**
     * @template A
     * @template B
     *
     * @param list<A> $list
     * @param callable(A): B $callback
     * @return list<B>
     */
    public function map(array $list, callable $callback): array
    {
        throw new RuntimeException('never');
    }
}

$result = (new ArrayList())->map([1, 2, 3], fn($i) => ['num' => $i]);
/** @psalm-check-type $result = list<array{num: int}> */

Psalm output (using commit a97b6b8):

ERROR: CheckType - 20:57 - Checked variable $result = list<array{num: int}> does not match $result = list<array{num: mixed}>

Missing contextual template resolution for class methods #9696

Description

Metadata

Metadata

Assignees

Labels

Type

Projects

Milestone

Relationships

Development

Issue actions