PHPDoc Array shape with nullable key not recognized correctly

[ThomasLandauer]

Bug report

With a setup like this:

/**
 * @param array{'foo': string, 'bar'?: string} $array
 */
private function myfunction(array $array): int
{
    $string = $array['bar'] ?? $array['foo'];
    return strlen($string);
}

I'm getting:

Parameter #1 $string of function strlen expects string, mixed given.

But from my understanding, $string will always be a string, cause both array keys (foo and bar) are string (if present at all).

This only happens when checkImplicitMixed is enabled; therefore I can't reproduce it in the playground.

Code snippet that reproduces the problem

No response

Expected output

No error message.

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

Sure! :-)

[mergeable]

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

It will most likely be closed after manual review.

[ondrejmirtes]

A code sample showing this problem: https://phpstan.org/r/947ba29d-d0a4-493b-804f-d20f053ab92f

[ondrejmirtes]

Fixed: phpstan/phpstan-src#2834

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