False positive InvalidTemplateParam when use "static" as Template Param

[darkdarin]

Example:
https://psalm.dev/r/f8c1600e03

Result:
ERROR: InvalidTemplateParam - 20:8 - Extended template param TModel expects type Model, type static given

Expects:
No errors.

Phpstan example: https://phpstan.org/r/b6e3f530-00ef-4bf5-9610-59bacad09f8d

[psalm-github-bot]

I found these snippets:

https://psalm.dev/r/f8c1600e03

<?php
/**
 * @template TModel of Model
 */
trait HasCollection {
    /**
     * @return list<TModel>
     */
 	public function get(): array 
    {
		return [];
	}
}

class Model
{
    /**
	 * @use HasCollection<static>
     */
  	use HasCollection;
}

class MyClass extends Model {
}

$class = new MyClass();
$result = $class->get();

/** @psalm-trace $result */

Psalm output (using commit 765dcbf):

INFO: Trace - 29:28 - $result: list<MyClass&static>

INFO: UnusedVariable - 27:1 - $result is never referenced or the value is not used

ERROR: InvalidTemplateParam - 20:8 - Extended template param TModel expects type Model, type static given