Regression test

Closes phpstan/phpstan#8249

Author: ChrisBrenton

tests/PHPStan/Analyser/NodeScopeResolverTest.php

@@ -1268,6 +1268,7 @@ public function dataFileAsserts(): iterable
 		yield from $this->gatherAssertTypes(__DIR__ . '/data/bug-7805.php');
 		yield from $this->gatherAssertTypes(__DIR__ . '/data/bug-82.php');
 		yield from $this->gatherAssertTypes(__DIR__ . '/data/bug-4565.php');
+		yield from $this->gatherAssertTypes(__DIR__ . '/data/bug-8249.php');
 		yield from $this->gatherAssertTypes(__DIR__ . '/data/bug-3789.php');
 
 		if (PHP_VERSION_ID >= 80100) {

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

@@ -0,0 +1,36 @@
+<?php
+
+namespace Bug8249;
+
+use function PHPStan\Testing\assertType;
+
+function foo(): mixed
+{
+	return null;
+}
+
+function () {
+	$x = foo();
+
+	if (is_int($x)) {
+		assertType('int', $x);
+		assertType('true', is_int($x));
+	} else {
+		assertType('mixed~int', $x);
+		assertType('false', is_int($x));
+	}
+};
+
+function () {
+	$x = ['x' => foo()];
+
+	if (is_int($x['x'])) {
+		assertType('array{x: int}', $x);
+		assertType('int', $x['x']);
+		assertType('true', is_int($x['x']));
+	} else {
+		assertType('array{x: mixed~int}', $x);
+		assertType('mixed~int', $x['x']);
+		assertType('false', is_int($x['x']));
+	}
+};