From 3e6f5a03b77873edc8595bb28b31373c5842c13f Mon Sep 17 00:00:00 2001
From: Markus Staab <maggus.staab@googlemail.com>
Date: Wed, 28 Aug 2024 09:01:10 +0200
Subject: [PATCH] Added regression test

---
 tests/PHPStan/Analyser/nsrt/bug7856.php | 16 ++++++++++++++++
 1 file changed, 16 insertions(+)
 create mode 100644 tests/PHPStan/Analyser/nsrt/bug7856.php

diff --git a/tests/PHPStan/Analyser/nsrt/bug7856.php b/tests/PHPStan/Analyser/nsrt/bug7856.php
new file mode 100644
index 0000000000..0b48d36ebc
--- /dev/null
+++ b/tests/PHPStan/Analyser/nsrt/bug7856.php
@@ -0,0 +1,16 @@
+<?php
+
+namespace Bug7856;
+
+use function PHPStan\Testing\assertType;
+
+function doFoo() {
+	$intervals = ['+1week', '+1months', '+6months', '+17months'];
+	$periodEnd = new DateTimeImmutable('-1year');
+	$endDate = new DateTimeImmutable('+1year');
+
+	do {
+		assertType("array{'+1week', '+1months', '+6months', '+17months'}|array{0: literal-string&non-falsy-string, 1?: literal-string&non-falsy-string, 2?: '+17months'}", $intervals);
+		$periodEnd = $periodEnd->modify(array_shift($intervals));
+	} while (count($intervals) > 0 && $periodEnd->format('U') < $endDate);
+}