Conditional param type should provide the same analysis as condition in code

[mvorisek]

Feature request

demo: https://phpstan.org/r/db87d84e-9483-4a85-9506-39e25605ee7a

I would expect

@param ($name is array ? null : int) $value

to be strictly equal to

@param int $value

+

if (is_array($name)) {
    $value = null;
}

[Screenfeed]

I think I encountered the same issue.
demo: https://phpstan.org/r/4c7fc3fd-07c0-4256-b333-01afad2648e1

[mvorisek]

another repro: https://phpstan.org/r/64dc6844-30b6-4bf4-8ed2-416fefc2203c

[ondrejmirtes]

Implemented: phpstan/phpstan-src#2548

[thg2k]

But this is a regression.. You have no way to enforce the parameter value inside the function, so I do prefer phpstan to tell me that it can still be both.

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