comment

src/Analyser/MutatingScope.php

@@ -695,6 +695,8 @@ private function resolveType(Expr $node): Type
 					if ($type->isNonEmptyString()->yes()) {
 						$accessories[] = new AccessoryNonEmptyStringType();
 					}
+					// it is not useful to apply numeric and literal strings here.
+					// numeric string isn't certainly kept numeric: 3v4l.org/JERDB
 
 					return TypeCombinator::intersect(...$accessories);
 				}