Foo
* @template-covariant T as Foo
* @psalm-template-covariant T as Foo
* @template T1
* @template T2
* @template
* @psalm-param T $t
* @psalm-param T1 $t
* @psalm-param T2 $t
* @psalm-param T3 $t
* @return array<T3>, T>
*/
function makeArray($t) {
return [$t];
}
/**
* @template T
* @psalm-template T1
* @template-covariant T33
*/
class MyContainer {
/** @var T */
private $value;
/** @var T33 */
private $value1;
/** @param T $value */
public function __construct($value) {
$this->value = $value;
}
/** @return T */
public function getValue() {
return $this->value;
}
/**
* @template T22
* @return T1
*/
public function getValue1() {
/** @var T22|T23 $value */
echo $value;
return $this->value;
}
}
/**
* @template T3
*/
class F {
/**
* @template T
*/
function f($param) {
new class {
public function ff() {
/**
* @template T1
* @psalm-param T $a
* @psalm-param T3 $a
*/
$a = function ($x) {
/** @psalm-param T1 $x */
$x;
/** @psalm-param T $x */
$x;
/** @psalm-param T3 $x */
$x;
};
}
};
}
}