Fix DateTime::format('u') for math

mvorisek · mvorisek · commit f004ebc9db4d · 2025-04-05T17:29:29.000+02:00
diff --git a/src/Type/Php/DateFunctionReturnTypeHelper.php b/src/Type/Php/DateFunctionReturnTypeHelper.php
@@ -76,7 +76,7 @@ public function buildReturnTypeFromFormat(string $formatString, bool $useMicrose
 				return $this->buildNumericRangeType(0, 1, false);
 			case 'u':
 				return $useMicrosec
-					? new IntersectionType([new StringType(), new AccessoryNonFalsyStringType()])
+					? new IntersectionType([new StringType(), new AccessoryNumericStringType()])
 					: new ConstantStringType('000000');
 		}
 

Original file line number	Diff line number	Diff line change
`@@ -76,7 +76,7 @@ public function buildReturnTypeFromFormat(string $formatString, bool $useMicrose`
`76`	`76`	`return $this->buildNumericRangeType(0, 1, false);`
`77`	`77`	`case 'u':`
`78`	`78`	`return $useMicrosec`
`79`		`- ? new IntersectionType([new StringType(), new AccessoryNonFalsyStringType()])`
	`79`	`+ ? new IntersectionType([new StringType(), new AccessoryNumericStringType()])`
`80`	`80`	`: new ConstantStringType('000000');`
`81`	`81`	`}`
`82`	`82`