Exception throw from callable are not reported

[amenophis]

Bug report

Hello,

Exceptions thrown in array_map callback are not reported.
I think this is due to array_map function didn't describe exceptions

I tried to reproduce on the playground, but the exception configuration is enabled (https://phpstan.org/r/87bc2b85-0d85-4ce9-8b77-c071536b9785)

How can we make phpstan knows that function that use callback can throws the same exceptions as callback describes ones ?

Thanks

Configuration

parameters:
    level: max
    paths:
        - src
    exceptions:
        check:
            missingCheckedExceptionInThrows: true

Code sample

<?php

/**
 * @throws \Exception
 */
function iCanThrow(): void
{
    if (rand(0, 1) === 1) {
        throw new \Exception();
    }
}

function main(): void
{
    iCanThrow();

    array_map(function ($i) {
        iCanThrow();
    }, ['1']);
}

Code snippet that reproduces the problem

No response

Expected output

 ------ --------------------------------------------------------------------------------------------------
  Line   src/phpstan.php
 ------ --------------------------------------------------------------------------------------------------
  15     Function main() throws checked exception Exception but it's missing from the PHPDoc @throws tag.
  18     Function main() throws checked exception Exception but it's missing from the PHPDoc @throws tag.
 ------ --------------------------------------------------------------------------------------------------

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

No response

[mergeable]

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

It will most likely be closed after manual review.

[staabm]

if you need additional configuration for reproduction, it would be great if you could provide a small repro repository

[ondrejmirtes]

Repository is not needed, this is a known behaviour.

[ondrejmirtes]

This is a duplicate of: #5001

You can solve it with https://github.com/shipmonk-rnd/phpstan-rules#forbidcheckedexceptionincallable.

[amenophis]

@ondrejmirtes Thank you for your quick reply and for the workaround 🙏

[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.