Add regression tests for phpstan/phpstan#4090, #11218

Co-Authored-By: Claude Opus 4.6 <noreply@anthropic.com>

Author: phpstan-bot

tests/PHPStan/Analyser/nsrt/bug-11218.php

@@ -0,0 +1,21 @@
+<?php declare(strict_types = 1);
+
+namespace Bug11218;
+
+use function PHPStan\Testing\assertType;
+
+class HelloWorld
+{
+
+	public function test(): void
+	{
+		for ($i = 1; $i <= 3; $i++) {
+			if ($i === 1) {
+				$test = 'value';
+			}
+		}
+
+		assertType("'value'", $test);
+	}
+
+}

tests/PHPStan/Analyser/nsrt/bug-4090.php

@@ -0,0 +1,22 @@
+<?php declare(strict_types = 1);
+
+namespace Bug4090;
+
+use function PHPStan\Testing\assertType;
+
+class HelloWorld
+{
+
+	/**
+	 * @param string[] $items
+	 */
+	public function test(string $value, array $items): void
+	{
+		if (in_array($value, $items, true)) {
+			assertType('non-empty-array<string>', $items);
+			$first = current($items);
+			assertType('string', $first);
+		}
+	}
+
+}