False positive method.notFound when using @phpstan-assert-if-true static<A> $this #12820

Activity

1. ondrejmirtes

   added

   bug

   on May 5, 2025
2. ondrejmirtes

   added this to the Generics milestone on May 5, 2025
3. phpstan-bot commented on Oct 24, 2026

   

   phpstan-bot

   on Oct 24, 2026

   Contributor

   More actions

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

   @@ @@
   -PHP 8.0 – 8.4 (1 error)
   +PHP 8.0 – 8.4
    ==========
    
   -29: Call to an undefined method (T of A = A|B)|T of B = A|B::a().
   +No errors
    
   -PHP 7.2 – 7.4 (3 errors)
   +PHP 7.2 – 7.4 (2 errors)
    ==========
    
     4: Constructor of class A has a return type.
   -17: Method FooInterface::get() uses native union types but they're supported only on PHP 8.0 and later.
   -29: Call to an undefined method (T of A = A|B)|T of B = A|B::a().
   +17: Method FooInterface::get() uses native union types but they're supported only on PHP 8.0 and later.

   Full report

   PHP 8.0 – 8.4

   No errors

   PHP 7.2 – 7.4 (2 errors)

   Line	Error
   4	Constructor of class A has a return type.
   17	Method FooInterface::get() uses native union types but they're supported only on PHP 8.0 and later.
4. staabm commented on Oct 25, 2026

   

   staabm

   on Oct 25, 2026

   Contributor

   More actions

   Needs a regression test
5. staabm

   closed this as completedin phpstan-src#6836on Oct 25, 2026
6. phpstan-bot

   added a commit that references this issue on Oct 26, 2026

   Updated PHPStan to commit 74c549b44e43920f44fb04e998459550ce237d0c

   ...

   74c549b