Add exceptional case for DateInterval::format return type inference

Difference in days might behave differently when the DateInterval is created from scratch or from a diff.

Extend returned type information for DateInterval::format method

Author: adamturcsan

src/Type/Php/DateIntervalFormatDynamicReturnTypeExtension.php

@@ -3,6 +3,7 @@
 namespace PHPStan\Type\Php;
 
 use DateInterval;
+use DateTimeImmutable;
 use PhpParser\Node\Expr\MethodCall;
 use PHPStan\Analyser\Scope;
 use PHPStan\DependencyInjection\AutowiredService;
@@ -12,6 +13,7 @@
 use PHPStan\Type\Accessory\AccessoryNonFalsyStringType;
 use PHPStan\Type\Accessory\AccessoryNumericStringType;
 use PHPStan\Type\Accessory\AccessoryUppercaseStringType;
+use PHPStan\Type\Constant\ConstantStringType;
 use PHPStan\Type\DynamicMethodReturnTypeExtension;
 use PHPStan\Type\IntersectionType;
 use PHPStan\Type\StringType;
@@ -55,12 +57,12 @@ public function getTypeFromMethodCall(MethodReflection $methodReflection, Method
 			return null;
 		}
 
-		// The worst case scenario for the non-falsy-string check is that every number is 0.
-		$dateInterval = new DateInterval('P0D');
+		$dateInterval = $this->referenceDateInterval();
 
 		$possibleReturnTypes = [];
 		foreach ($constantStrings as $string) {
-			$value = $dateInterval->format($string->getValue());
+			$formatString = $string->getValue();
+			$value = $dateInterval->format($formatString);
 
 			$accessories = [];
 			if (is_numeric($value)) {
@@ -82,10 +84,38 @@ public function getTypeFromMethodCall(MethodReflection $methodReflection, Method
 				return null;
 			}
 
-			$possibleReturnTypes[] = new IntersectionType([new StringType(), ...$accessories]);
+			$possibleReturnTypes[] = new IntersectionType([
+				new StringType(),
+				...$this->diffInDaysTypes($formatString),
+				...$accessories,
+			]);
 		}
 
 		return TypeCombinator::union(...$possibleReturnTypes);
 	}
 
+	/**
+	 * The worst case scenario for the non-falsy-string check is that every number is 0.
+	 * We create an interval from a difference of two DateTime instances due to the different behavior for %a
+	 *
+	 * @see https://www.php.net/manual/en/dateinterval.format.php
+	 *
+	 * @return DateInterval
+	 */
+	private function referenceDateInterval(): DateInterval
+	{
+		return (new DateTimeImmutable('@0'))->diff((new DateTimeImmutable('@0')));
+	}
+
+	/**
+	 * @return array<ConstantStringType>
+	 */
+	private function diffInDaysTypes(string $formatString): array
+	{
+		if ($formatString === '%a') {
+			return [new ConstantStringType('(unknown)')];
+		}
+		return [];
+	}
+
 }

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

@@ -6,5 +6,7 @@
 
 $dateInterval = (new \DateTimeImmutable('now -60 minutes'))->diff(new \DateTimeImmutable('now'));
 
-// Could be lowercase-string&non-falsy-string&numeric-string&uppercase-string
-assertType('lowercase-string&non-falsy-string', $dateInterval->format('%a'));
+assertType(
+    "'(unknown)'&lowercase-string&non-empty-string&numeric-string&uppercase-string",
+    $dateInterval->format('%a')
+);