[Bug] Doesn't work well with null-safe operator

[faizanakram99]

Both functions takesMaybeFoo and takesMaybeFooBuggy are functionally the same, the former is ok, the latter throws a couple of errors.

https://psalm.dev/r/a28247a9bc

[psalm-github-bot]

I found these snippets:

https://psalm.dev/r/a28247a9bc

<?php

class foo
{
    public ?string $prop = null;
}

function takesMaybeFoo(?foo $foo): void
{
    if (null === $foo || null === $foo->prop) {
		return;
	}
       
    takesString($foo->prop);
}


function takesMaybeFooBuggy(?foo $foo): void
{
    if (null === $foo?->prop) {
		return;
	}
       
    takesString($foo->prop);
}

function takesString(string $str): string
{
    return $str;
}

Psalm output (using commit c82191b):

ERROR: PossiblyNullPropertyFetch - 24:17 - Cannot get property on possibly null variable $foo of type foo|null

ERROR: PossiblyNullArgument - 24:17 - Argument 1 of takesString cannot be null, possibly null value provided

[faizanakram99]

duplicates #5873