Regression test

Closes phpstan/phpstan#10131

Author: ondrejmirtes

tests/PHPStan/Analyser/NodeScopeResolverTest.php

@@ -173,6 +173,7 @@ public function dataFileAsserts(): iterable
 yield from $this->gatherAssertTypes(__DIR__ . '/data/bug-3875.php');
 yield from $this->gatherAssertTypes(__DIR__ . '/data/bug-2611.php');
 yield from $this->gatherAssertTypes(__DIR__ . '/data/bug-3548.php');
+yield from $this->gatherAssertTypes(__DIR__ . '/data/bug-10131.php');
 yield from $this->gatherAssertTypes(__DIR__ . '/data/bug-3866.php');
 yield from $this->gatherAssertTypes(__DIR__ . '/data/bug-1014.php');
 yield from $this->gatherAssertTypes(__DIR__ . '/data/bug-pr-339.php');

tests/PHPStan/Analyser/data/bug-10131.php

@@ -0,0 +1,25 @@
+<?php
+
+namespace Bug10131;
+
+use function PHPStan\Testing\assertType;
+
+class A {
+}
+
+class B {
+public A|null $a = null;
+}
+
+/**
+ * @phpstan-return array{0:A|null, 1:B|null}
+ */
+function foo(A|null $a, B|null $b): array
+{
+$a ??= $b?->a ?? throw new \Exception();
+
+assertType(A::class, $a);
+assertType(B::class . '|null', $b);
+
+return [$a, $b];
+}