add native expression tests

cases from * #1802 (comment) * #1802 (comment) * phpstan/phpstan#6260
phpstan · Oct 9, 2022 · 2744c22 · 2744c22
1 parent 85b42cf
commit 2744c22
Show file tree

Hide file tree

Showing 2 changed files with 44 additions and 0 deletions.
diff --git a/tests/PHPStan/Analyser/NodeScopeResolverTest.php b/tests/PHPStan/Analyser/NodeScopeResolverTest.php
@@ -1054,6 +1054,7 @@ public function dataFileAsserts(): iterable
 		yield from $this->gatherAssertTypes(__DIR__ . '/data/array-offset-unset.php');
 		yield from $this->gatherAssertTypes(__DIR__ . '/data/bug-8008.php');
 		yield from $this->gatherAssertTypes(__DIR__ . '/data/bug-5552.php');
+		yield from $this->gatherAssertTypes(__DIR__ . '/data/native-expressions.php');
 	}
 
 	/**

diff --git a/tests/PHPStan/Analyser/data/native-expressions.php b/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();
+		}
+	}
+}
+