Loop: uppercase literal strings inferred as non-empty-lowercase-string when combined with numeric-strings

[kkmuffme]

https://psalm.dev/r/5dda068487

When a string is concat with int/numeric-string, psalm discards any literal non-lowercase-strings and just assumes they're all lowercase.

When using "normal" (non-numeric) strings it works correctly though (as the lower example shows)

[psalm-github-bot]

I found these snippets:

https://psalm.dev/r/5dda068487

<?php

/**
 * @return int[]
 */
function getIntArray() {}

$final = array();
foreach ( getIntArray() as $id ) {
 	$final[] = 'TEXT';
    $final[] = 'some_' . $id;
}

/** @psalm-trace $final */;

/**
 * @return string[]
 */
function getStringArray() {}

$final = array();
foreach ( getStringArray() as $id ) {
 	$final[] = 'TEXT';
    $final[] = 'some_' . $id;
}

/** @psalm-trace $final */;

Psalm output (using commit 2039667):

ERROR: InvalidReturnType - 4:12 - No return statements were found for method getIntArray but return type 'array<array-key, int>' was expected

INFO: Trace - 14:27 - $final: list<non-empty-lowercase-string>

ERROR: InvalidReturnType - 17:12 - No return statements were found for method getStringArray but return type 'array<array-key, string>' was expected

INFO: Trace - 27:27 - $final: list<non-empty-string>