@throws void is ignored in a stub file

[VincentLanglet]

Bug report

I have the following stub file

<?php

/**
 * We can consider that this method will never throw an exception
 *
 * @throws void
 */
function random_int(int $min, int $max): int {}

And I added my php.stub file to the stubFiles section of my phpstan.neon.
I also use missingCheckedExceptionInThrows.

Expected output

When I use random_int I would expect no error from phpstan but I get

... throws checked exception Exception but it's missing from the PHPDoc @throws tag

Am I doing something wrong or would it be possible that the throws void is not correctly handled in a stub file for native functions.

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

Sure, trying to integrate the exceptions checks.

[mergeable]

This bug report is missing a link to reproduction at phpstan.org/try.

It will most likely be closed after manual review.

[ondrejmirtes]

I see that https://github.com/phpstan/phpstan-src/blob/1.8.x/src/Reflection/SignatureMap/NativeFunctionReflectionProvider.php doesn't use the stub file to override the @throws type and it's easy to fix. Consider sending a PR, thanks.

This is an example how to test stubs-related problems: https://github.com/phpstan/phpstan-src/blob/1.8.x/tests/PHPStan/Analyser/ConditionalReturnTypeFromMethodStubTest.php

[VincentLanglet]

Thanks I'll take a look.

[github-actions]

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.