Reporting call on X|null using php8 null safe operator

[michalhosna]

Bug report

In php8, the new null safe operator ?-> was added. When using it in combination with ?? for calling method/accesing properties on values of array like this:

($array['key'] ?? null)?->bar

phpstan incorrectly reports

Cannot access property $bar on T|null.

even though we are using the null safe operator, and the code behaves as expected (return nulls, when the key in the array does not exist).

Code snippet that reproduces the problem

https://phpstan.org/r/d831442b-e70b-48eb-b8ac-d68332590815

<?php declare(strict_types = 1);

class Foo
{
	public function foo(): void
	{
		/** @var Bar[] */
		$array = [];
		
		$value = ($array['randomKey'] ?? null)?->bar;
	}
}

class Bar {
	public mixed $bar;
}

Expected output

To not report any errors

[ondrejmirtes]

Fixed: phpstan/phpstan-src@990ba51

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