Always report MissingTemplateParam when template params are not provided

[BenMorel]

I just realized that Psalm doesn't complain if you declare a class with template params, and use it somewhere without providing these params:

/**
 * @template K
 * @template V
 */
class Map
{
}

/**
 * @param Map $map
 */
function test(Map $map): void
{
}

https://psalm.dev/r/6b7f6de782
https://psalm.dev/r/7ee714cedb

I could not find an option to make Psalm complain in this case. Would it be possible to add it?

[psalm-github-bot]

I found these snippets:

https://psalm.dev/r/6b7f6de782

<?php

/**
 * @template K
 * @template V
 */
class Map
{
}

/**
 * @param Map $map
 */
function test(Map $map): void
{
    /** @psalm-trace $map */
}

Psalm output (using commit ef3b018):

INFO: Trace - 16:0 - $map: Map

INFO: UnusedParam - 14:19 - Param map is never referenced in this method

https://psalm.dev/r/7ee714cedb

<?php

/**
 * @template K of object
 * @template V
 */
class Map
{
}

/**
 * @param Map $map
 */
function test(Map $map): void
{
    /** @psalm-trace $map */
}

Psalm output (using commit ef3b018):

INFO: Trace - 16:0 - $map: Map<object, mixed>

INFO: UnusedParam - 14:19 - Param map is never referenced in this method