int-range behaves different than literal int even when identical

[kkmuffme]

https://psalm.dev/r/639ce43827

[psalm-github-bot]

I found these snippets:

https://psalm.dev/r/639ce43827

<?php

/**
 * @var 'a'|'b' $a
 * @var 0|1|2 $b
 * @var int<0, 2> $c
 */

$x = $a . $b;
/** @psalm-trace $x */;

$y = $a . $c;
/** @psalm-trace $y */;

Psalm output (using commit 08afc45):

INFO: Trace - 10:23 - $x: 'a0'|'a1'|'a2'|'b0'|'b1'|'b2'

INFO: Trace - 13:23 - $y: non-empty-lowercase-string

INFO: UnusedVariable - 9:1 - $x is never referenced or the value is not used

INFO: UnusedVariable - 12:1 - $y is never referenced or the value is not used