Activity

1. ondrejmirtes

   added

   bug

   on Feb 1, 2022
2. ondrejmirtes

   added this to the Generics milestone on Feb 1, 2022
3. phpstan-bot commented on Sep 4, 2024

   

   phpstan-bot

   on Sep 4, 2024

   Contributor

   More actions

   @marcospassos After the latest push in 2.0.x, PHPStan now reports different result with your code snippet:

   @@ @@
   +PHP 8.0 – 8.1 (1 error)
   +==========
   +
   +21: Template type T is declared as covariant, but occurs in contravariant position in parameter element of method FormatLoader::addElement().
   +
   +PHP 7.1 – 7.4 (3 errors)
   +==========
   +
   +10: Method Element::render() has invalid return type mixed.
   +10: PHPDoc tag @return with type T is not subtype of native type mixed.
    21: Template type T is declared as covariant, but occurs in contravariant position in parameter element of method FormatLoader::addElement().

   Full report

   PHP 8.0 – 8.1 (1 error)

   Line	Error
   21	Template type T is declared as covariant, but occurs in contravariant position in parameter element of method FormatLoader::addElement().

   PHP 7.1 – 7.4 (3 errors)

   Line	Error
   10	Method Element::render() has invalid return type mixed.
   10	PHPDoc tag @return with type T is not subtype of native type mixed.
   21	Template type T is declared as covariant, but occurs in contravariant position in parameter element of method FormatLoader::addElement().
4. phpstan-bot

   added a commit that references this issue on Mar 29, 2026

   Fix phpstan/phpstan#6139: False positive for covariant generic parameter

   ...

   This issue will close once commit dbee96f is merged into the '2.2.x' branch.

   dbee96f