Regression test

Closes phpstan/phpstan#4565
phpstan · Dec 15, 2022 · b64c673 · b64c673
1 parent f35ea3a
commit b64c673
Show file tree

Hide file tree

Showing 3 changed files with 25 additions and 0 deletions.
diff --git a/tests/PHPStan/Analyser/NodeScopeResolverTest.php b/tests/PHPStan/Analyser/NodeScopeResolverTest.php
@@ -1140,6 +1140,7 @@ public function dataFileAsserts(): iterable
 		yield from $this->gatherAssertTypes(__DIR__ . '/data/discussion-8447.php');
 		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');
 	}
 
 	/**

diff --git a/tests/PHPStan/Analyser/data/bug-4565.php b/tests/PHPStan/Analyser/data/bug-4565.php
@@ -0,0 +1,19 @@
+<?php
+
+namespace Bug4565;
+
+use function PHPStan\Testing\assertType;
+
+function test(array $variables) {
+	$attributes = ['href' => ''] + $variables['attributes'];
+	assertType('non-empty-array', $attributes);
+	if (!empty($variables['button'])) {
+		assertType('non-empty-array', $attributes);
+		$attributes['type'] = 'button';
+		assertType("hasOffsetValue('type', 'button')&non-empty-array", $attributes);
+		unset($attributes['href']);
+		assertType("array<mixed~'href', mixed>&hasOffsetValue('type', 'button')", $attributes);
+	}
+	assertType('array', $attributes);
+	return $attributes;
+}
diff --git a/tests/PHPStan/Rules/Variables/UnsetRuleTest.php b/tests/PHPStan/Rules/Variables/UnsetRuleTest.php
@@ -86,4 +86,9 @@ public function testBug8113(): void
 		$this->analyse([__DIR__ . '/data/bug-8113.php'], []);
 	}
 
+	public function testBug4565(): void
+	{
+		$this->analyse([__DIR__ . '/../../Analyser/data/bug-4565.php'], []);
+	}
+
 }