Generic throw type reported as missing in @throws even when annotated

Bug report

Following snippets reports

 ------ ---------------------------------------------------------------------------------------------------------------------- 
  Line   Test.php                                                                                                              
 ------ ---------------------------------------------------------------------------------------------------------------------- 
  11     Method Test::sayHello() throws checked exception T of RuntimeException but it's missing from the PHPDoc @throws tag.  
 ------ ----------------------------------------------------------------------------------------------------------------------

when run with this settings:

parameters:
    exceptions:
        check:
            missingCheckedExceptionInThrows: true
        checkedExceptionClasses:
            - RuntimeException

Code snippet that reproduces the problem

https://phpstan.org/r/8ee8677d-3986-43ad-92de-aeed37fb75cd

Expected output

No error, RangeException is properly annotated.

Did PHPStan help you today? Did it make you happy in any way?

No response

Watching closely, it would be great to have this!

/**
 * @template T of \Throwable
 *
 * @param \Closure(): T $thrower
 *
 * @phpstan-assert true $fact
 * 
 * @throws T
 */
function invariant(bool $fact, \Closure $thrower): void
{
    if (!$fact) {
        throw $thrower();
    }
}

/**
 * @throws ClassDoesNotExistException
 */
function buildClassHandler(string $className) 
{
    $handlerClassName = $className.'handler';

    invariant(class_exists($handlerClassName), static fn () => ClassDoesNotExistException::on($handlerClassName));

    return $handlerClassName;
}

@janedbal

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

@@ @@
-No errors
+PHP 8.1 – 8.2
+==========
+
+No errors
+
+PHP 7.2 – 8.0 (4 errors)
+==========
+
+ 9: Method Test::sayHello() has invalid return type never.
+11: Method Test::sayHello() should return never but return statement is missing.
+21: Tip: Method Test::throwIt() always throws an exception, it should have return type "never".
+21: Method Test::throwIt() has invalid return type never.

Full report

PHP 8.1 – 8.2

No errors

PHP 7.2 – 8.0 (4 errors)

Line	Error
9	`Method Test::sayHello() has invalid return type never.`
11	`Method Test::sayHello() should return never but return statement is missing.`
21	`Tip: Method Test::throwIt() always throws an exception, it should have return type "never".`
21	`Method Test::throwIt() has invalid return type never.`

As this issue is still open, I would also like the same thing but with class string: https://phpstan.org/r/2eaf4c8a-3bf8-447f-8d99-4f5f758b22a2

Reproductions: https://phpstan.org/r/d0c6f678-3a56-465d-8c2c-593225dc0de4

https://phpstan.org/r/0d7dda93-9f11-4eb7-b36a-ff80be44e5c7

@throws

Add regression tests for generic @throws T resolved at call sites

@throws

Add regression tests for generic @throws T resolved at call sites

@throws

Add regression tests for generic @throws T resolved at call sites

@throws

Add regression tests for generic @throws T resolved at call sites

@throws

Add regression tests for generic @throws T resolved at call sites

Closed via merging phpstan/phpstan-src#5874

This thread has been automatically locked since there has not been any recent activity after it was closed. Please open a new issue for related bugs.

Navigation Menu

Repository navigation

Generic throw type reported as missing in @throws even when annotated #9497

Bug report

Code snippet that reproduces the problem

Expected output

Did PHPStan help you today? Did it make you happy in any way?

PHP 8.1 – 8.2

PHP 7.2 – 8.0 (4 errors)

Metadata

Assignees

Labels

Type

Projects

Milestone

Relationships

Development

Generic throw type reported as missing in @throws even when annotated #9497

Description

Bug report

Code snippet that reproduces the problem

Expected output

Did PHPStan help you today? Did it make you happy in any way?

Activity

devnix commented on Sep 24, 2023

phpstan-bot commented on Sep 4, 2024

PHP 8.1 – 8.2

PHP 7.2 – 8.0 (4 errors)

JeroenTriptic commented on Nov 19, 2024

ondrejmirtes commented on Mar 25, 2026

phpstan-bot commented on Sep 20, 2026

github-actions commented on Oct 22, 2026

Metadata

Metadata

Assignees

Labels

Type

Projects

Milestone

Relationships

Development

Issue actions