in_array and TypeDoesNotContainNull

[ar2r]

Here is example:
https://psalm.dev/r/274c08c832

[psalm-github-bot]

I found these snippets:

https://psalm.dev/r/274c08c832

<?php

function a(): ?string{
    return null;
}

$id = 'abc';
$srcProductId = a();
$srcCardId = a();

if (in_array($id, [$srcProductId, $srcCardId], true)) {
    echo "ok";
}

Psalm output (using commit 9e1f7ad):

ERROR: TypeDoesNotContainNull - 11:5 - Cannot resolve types for $id - string does not contain null

[TysonAndre]

https://psalm.dev/r/f60f99e23a is possibly related (RedundantCondition for exactly null)

[psalm-github-bot]

I found these snippets:

https://psalm.dev/r/f60f99e23a

<?php

function test(?string $x, string $y): void {
    if (in_array($x, [null, $y], true)) {
        if ($x === null) {
            echo "Saw null\n";
        }
        echo "Saw $x\n";
    }
}

Psalm output (using commit a655ca8):

ERROR: RedundantCondition - 5:13 - Type null for $x is always null