generic errors

[staabm]

I wonder why we get a error here:

the type the error is suggesting, is already in place?

[TomasVotruba]

That would be false positive.

[staabm]

reproducer:

<?php

/**
 * @template T
 */
class GenericA {
}

class User {
    /** @param GenericA<string> $g */
    public function doFoo(GenericA $g):void {

    }
}

/** @param GenericA<string> $g */
function doFoo($g):void {
    $user = new User();
    $user->doFoo($g);
}

leads

 ------ ----------------------------------------------------------------------------------------- 
  11     Parameters should have "GenericA<string>" types as the only types passed to this method  
         🪪  typePerfect.narrowPublicClassMethodParamType                                         
 ------ ----------------------------------------------------------------------------------------- 

[staabm]

another interessting repro simliar but different:

<?php

/**
 * @template T
 */
class GenericA {
}

/**
 * @template T of string
 */
class User {
    /**
     * @param GenericA<T> $g
     */
    public function doFoo(GenericA $g):void {

    }
}

/** @param GenericA<string> $g */
function doFoo($g):void {
    $user = new User();
    $user->doFoo($g);
}

leads

 ------ ----------------------------------------------------------------------------------------- 
  16     Parameters should have "GenericA<string>" types as the only types passed to this method  
         🪪  typePerfect.narrowPublicClassMethodParamType                                         
 ------ -----------------------------------------------------------------------------------------