Add regression tests for #13061 and #7259

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

Author: phpstan-bot

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

@@ -0,0 +1,68 @@
+<?php declare(strict_types = 1);
+
+namespace Bug13061;
+
+use function PHPStan\Testing\assertType;
+
+interface ScenarioInterface {}
+
+class ScenarioNode implements ScenarioInterface {}
+class OutlineNode implements ScenarioInterface {}
+
+class FeatureNode
+{
+	/**
+	 * @param ScenarioInterface[] $scenarios
+	 */
+	public function __construct(
+		public readonly ?string $title,
+		public readonly array $scenarios,
+	) {
+	}
+}
+
+/**
+ * @phpstan-type TFeatureHash array{title?: string|null, scenarios?: array<int, TScenarioHash|TOutlineHash>}
+ * @phpstan-type TScenarioHash array{type?: 'scenario', title?: string|null}
+ * @phpstan-type TOutlineHash array{type: 'outline', title?: string|null, examples?: array<array-key, TExampleTableHash>}
+ * @phpstan-type TExampleTableHash array<int, list<string>>
+ */
+abstract class GherkinArrayLoader
+{
+	/**
+	 * @phpstan-param TFeatureHash $hash
+	 */
+	protected function loadFeatureHash(array $hash, int $line = 0): FeatureNode
+	{
+		$hash = array_merge(
+			[
+				'title' => null,
+				'scenarios' => [],
+			],
+			$hash
+		);
+
+		$scenarios = [];
+		foreach ((array) $hash['scenarios'] as $scenarioIterator => $scenarioHash) {
+			if (isset($scenarioHash['type']) && $scenarioHash['type'] === 'outline') {
+				assertType("array{type: 'outline', title?: string|null, examples?: array<array<int, list<string>>>}", $scenarioHash);
+				$scenarios[] = $this->loadOutlineHash($scenarioHash, $scenarioIterator);
+			} else {
+				assertType("array{type?: 'scenario', title?: string|null}", $scenarioHash);
+				$scenarios[] = $this->loadScenarioHash($scenarioHash, $scenarioIterator);
+			}
+		}
+
+		return new FeatureNode($hash['title'], $scenarios);
+	}
+
+	/**
+	 * @phpstan-param TScenarioHash $hash
+	 */
+	abstract protected function loadScenarioHash(array $hash, int $line = 0): ScenarioNode;
+
+	/**
+	 * @phpstan-param TOutlineHash $hash
+	 */
+	abstract protected function loadOutlineHash(array $hash, int $line = 0): OutlineNode;
+}

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

@@ -0,0 +1,73 @@
+<?php declare(strict_types = 1);
+
+namespace Bug7259;
+
+use function PHPStan\Testing\assertType;
+
+class HelloWorldNullable
+{
+	public function __construct(
+		private ?\DateTimeImmutable $from,
+		private ?\DateTimeImmutable $till,
+	)
+	{
+		$newFrom = $this->from;
+		$newTill = $this->till;
+
+		if ($newFrom !== null || $newTill !== null) {
+			if ($newFrom !== null && $newTill === null) {
+				$newFrom = $newFrom->setTime(0, 0);
+				$newTill = new \DateTimeImmutable('2300-12-31 23:59:59');
+			}
+
+			if ($newTill !== null && $newFrom === null) {
+				$newTill = $newTill->setTime(23, 59, 59, 999999);
+				$newFrom = new \DateTimeImmutable('1970-01-01 00:00:00');
+			}
+
+			assertType('DateTimeImmutable', $newFrom);
+			assertType('DateTimeImmutable', $newTill);
+			$this->checkDates($newFrom, $newTill);
+		}
+	}
+
+	private function checkDates(
+		\DateTimeImmutable $from,
+		\DateTimeImmutable $till,
+	): void
+	{
+	}
+}
+
+class HelloWorldStringInt
+{
+	public function __construct(
+		private string|int $from,
+		private string|int $till,
+	)
+	{
+		$newFrom = $this->from;
+		$newTill = $this->till;
+
+		if (is_string($newFrom) || is_string($newTill)) {
+			if (is_string($newFrom) && is_string($newTill) === false) {
+				$newTill = 'test';
+			}
+
+			if (is_string($newTill) && is_string($newFrom) === false) {
+				$newFrom = 'test2';
+			}
+
+			assertType('string', $newFrom);
+			assertType('string', $newTill);
+			$this->checkDates($newFrom, $newTill);
+		}
+	}
+
+	private function checkDates(
+		string $from,
+		string $till,
+	): void
+	{
+	}
+}