False positive: optional array keys and null coalescing operator

[MidnightDesign]

Bug report

Code snippet that reproduces the problem

https://phpstan.org/r/0499d145-4d75-4d7f-8e13-168d3562738c

<?php declare(strict_types = 1);

/**
 * @phpstan-type Data array{customer?: array{first_name: string}}
 */
class Foo
{
	/** @var Data */
	private array $data = [];
	
	public function getFirstName(): ?string
	{
		return $this->data['customer']['first_name'] ?? null;
	}
}

Expected output

No errors should be reported.

#3171 and #4592 are maybe related, but not exactly the same.

[ondrejmirtes]

Also very similar to #4903

[phpstan-bot]

@MidnightDesign After the latest commit in dev-master, PHPStan now reports different result with your code snippet:

@@ @@
-13: Offset 'customer' does not exist on array(?'customer' => array('first_name' => string)).
+13: Offset 'customer' does not exist on array{customer?: array{first_name: string}}.

Full report

Line	Error
13	Offset 'customer' does not exist on array{customer?: array{first_name: string}}.

[phpstan-bot]

@MidnightDesign After the latest commit in dev-master, PHPStan now reports different result with your code snippet:

@@ @@
-13: Offset 'customer' does not exist on array(?'customer' => array('first_name' => string)).
+No errors

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