Type bounds for generic parameters

[vkurdin]

Type bounds for generic parameters

[psalm-github-bot]

I found these snippets:

https://psalm.dev/r/2ec8af4c04

<?php

/**
 * @template-covariant A
 */
class Bar
{
    /**
     * @param A $a
     */
    public function foo($a): void
    {
    }
    
    /**
     * @template A1
     * @template-bound A1 >: A # A is a lower bound for A1
     * @param A1 $a
     */
    public function foo2($a): void
    {
    }
}

Psalm output (using commit 16b24bd):

ERROR: InvalidTemplateParam - 9:15 - Template param A of Bar is marked covariant and cannot be used here