I found these snippets:

https://psalm.dev/r/85bf536cd0

<?php

interface I
{
    /**
     * @template TResult
     * @param TResult $value
     * @return TResult
     */
    public function method(mixed $value): mixed;
}

final class A implements I
{
    public function method(mixed $value): mixed
    {
        return $value;
    }
}

$_v = (new A)->method('a');
/** @psalm-check-type-exact $_v = 'a' */

Psalm output (using commit 8b05f2e):

ERROR: CheckType - 22:41 - Checked variable $_v = 'a' does not match $_v = mixed

https://psalm.dev/r/59e3fffe6f

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

Psalm output (using commit 8b05f2e):

No issues!

Method-level generics are not inhrited in a subclass #8998

Description

Metadata

Metadata

Assignees

Labels

Type

Projects

Milestone

Relationships

Development

Issue actions