Add test for fixed bug #1014

Closes phpstan/phpstan#1014
phpstan · Oct 12, 2020 · 0dfd0d0 · 0dfd0d0
1 parent 080f1bc
commit 0dfd0d0
Show file tree

Hide file tree

Showing 2 changed files with 24 additions and 0 deletions.
diff --git a/tests/PHPStan/Analyser/NodeScopeResolverTest.php b/tests/PHPStan/Analyser/NodeScopeResolverTest.php
@@ -10131,6 +10131,11 @@ public function dataBug3866(): array
 		return $this->gatherAssertTypes(__DIR__ . '/data/bug-3866.php');
 	}
 
+	public function dataBug1014(): array
+	{
+		return $this->gatherAssertTypes(__DIR__ . '/data/bug-1014.php');
+	}
+
 	/**
 	 * @dataProvider dataBug2574
 	 * @dataProvider dataBug2577
@@ -10205,6 +10210,7 @@ public function dataBug3866(): array
 	 * @dataProvider dataBug2611
 	 * @dataProvider dataBug3548
 	 * @dataProvider dataBug3866
+	 * @dataProvider dataBug1014
 	 * @param string $assertType
 	 * @param string $file
 	 * @param mixed ...$args

diff --git a/tests/PHPStan/Analyser/data/bug-1014.php b/tests/PHPStan/Analyser/data/bug-1014.php
@@ -0,0 +1,18 @@
+<?php declare(strict_types=1);
+
+use function PHPStan\Analyser\assertType;
+
+function bug1014(): void {
+	$s = rand(0, 1) ? 0 : 1;
+	assertType('0|1', $s);
+	if ($s) {
+		assertType('1', $s);
+		$s = 3;
+		assertType('3', $s);
+	} else {
+		assertType('0', $s);
+	}
+	assertType('0|3', $s);
+	if ($s === 1) {
+	}
+}