add native expression tests

cases from
* phpstan#1802 (comment)
* phpstan#1802 (comment)
* phpstan/phpstan#6260

tests/PHPStan/Analyser/NodeScopeResolverTest.php

@@ -1065,6 +1065,7 @@ public function dataFileAsserts(): iterable
 		yield from $this->gatherAssertTypes(__DIR__ . '/data/extra-extra-int-types.php');
 		yield from $this->gatherAssertTypes(__DIR__ . '/data/list-count.php');
 		yield from $this->gatherAssertTypes(__DIR__ . '/../Rules/Properties/data/bug-7839.php');
+		yield from $this->gatherAssertTypes(__DIR__ . '/data/native-expressions.php');
 	}
 
 	/**

tests/PHPStan/Analyser/data/native-expressions.php

@@ -0,0 +1,43 @@
+<?php
+
+namespace NativeExpressions;
+
+use function PHPStan\Testing\assertType;
+
+function doFoo(): string
+{
+}
+
+function (): void {
+	/** @var non-empty-string $a */
+	$a = doFoo();
+	assertType('non-empty-string', $a);
+	assertNativeType('string', $a);
+};
+
+/**
+ * @param positive-int|non-empty-string $a
+ */
+function foo(int|string $a): void
+{
+	assertType('int<1, max>|non-empty-string', $a);
+	assertNativeType('int|string', $a);
+	if (is_string($a)) {
+		assertType('non-empty-string', $a);
+		assertNativeType('string', $a);
+	}
+}
+
+class Foo{
+	public function __construct(
+		/** @var non-empty-array<mixed> */
+		private array $array
+	){
+		assertType('non-empty-array', $this->array);
+		assertNativeType('array', $this->array);
+		if(count($array) === 0){
+			throw new \InvalidArgumentException();
+		}
+	}
+}
+