Regression test

Closes phpstan/phpstan#5086

Author: ondrejmirtes

tests/PHPStan/Analyser/NodeScopeResolverTest.php

@@ -121,6 +121,7 @@ public function dataFileAsserts(): iterable
 		yield from $this->gatherAssertTypes(__DIR__ . '/data/inherit-phpdoc-merging-template.php');
 		yield from $this->gatherAssertTypes(__DIR__ . '/data/bug-3266.php');
 		yield from $this->gatherAssertTypes(__DIR__ . '/data/bug-3269.php');
+		yield from $this->gatherAssertTypes(__DIR__ . '/data/bug-5086.php');
 		yield from $this->gatherAssertTypes(__DIR__ . '/data/assign-nested-arrays.php');
 		yield from $this->gatherAssertTypes(__DIR__ . '/data/bug-3276.php');
 		yield from $this->gatherAssertTypes(__DIR__ . '/../Rules/Methods/data/bug-6856.php');

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

@@ -0,0 +1,26 @@
+<?php
+
+namespace Bug5086;
+
+use stdClass;
+use function PHPStan\Testing\assertType;
+
+class Foo
+{
+
+	public function doFoo(): ?object
+	{
+
+	}
+
+	public function doBar(): void
+	{
+		/** @var stdClass $obj */
+		if (!($obj = $this->doFoo())) {
+			return;
+		}
+
+		assertType(stdClass::class, $obj);
+	}
+
+}