Add DatePeriod test

phpstan · Jan 30, 2022 · 89d17c7 · 89d17c7
1 parent a170986
commit 89d17c7
Show file tree

Hide file tree

Showing 2 changed files with 12 additions and 2 deletions.
diff --git a/stubs/date.stub b/stubs/date.stub
@@ -20,15 +20,15 @@ class DatePeriod
 	/**
 	 * @return TEnd
 	 */
-	public function getEndDate()
+	public function getEndDate(): ?DateTimeInterface
 	{
 
 	}
 
 	/**
 	 * @return TRecurrences
 	 */
-	public function getRecurrences()
+	public function getRecurrences(): ?int
 	{
 
 	}

diff --git a/tests/PHPStan/Analyser/data/date-period-return-types.php b/tests/PHPStan/Analyser/data/date-period-return-types.php
@@ -8,14 +8,24 @@
 $recurrences = 4;
 $iso = 'R4/2012-07-01T00:00:00Z/P7D';
 
+$datePeriodList = [];
+
 $datePeriod = new DatePeriod($start, $interval, $end);
 assertType(\DateTimeInterface::class, $datePeriod->getEndDate());
 assertType('null', $datePeriod->getRecurrences());
+$datePeriodList[] = $datePeriod;
 
 $datePeriod = new DatePeriod($start, $interval, $recurrences);
 assertType('null', $datePeriod->getEndDate());
 assertType('int', $datePeriod->getRecurrences());
+$datePeriodList[] = $datePeriod;
 
 $datePeriod = new DatePeriod($iso);
 assertType('null', $datePeriod->getEndDate());
 assertType('int', $datePeriod->getRecurrences());
+$datePeriodList[] = $datePeriod;
+
+/** @var DatePeriod $datePeriod */
+$datePeriod = $datePeriodList[random_int(0, 2)];
+assertType(\DateTimeInterface::class . '|null', $datePeriod->getEndDate());
+assertType('int|null', $datePeriod->getRecurrences());