From 1fb313cb98d85c45b196a8d0192a5bbe1d997965 Mon Sep 17 00:00:00 2001
From: Markus Staab <m.staab@complex-it.de>
Date: Tue, 10 May 2022 09:49:37 +0200
Subject: [PATCH] comment

---
 src/Analyser/MutatingScope.php | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/src/Analyser/MutatingScope.php b/src/Analyser/MutatingScope.php
index c3a289ec9b6..98d947e1d0c 100644
--- a/src/Analyser/MutatingScope.php
+++ b/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);
 				}