Encapsed string cast loses literal type information unlike cast

[kkmuffme]

https://psalm.dev/r/ac91377af0

[psalm-github-bot]

I found these snippets:

https://psalm.dev/r/ac91377af0

<?php

$foo = rand(0, 1) ? 0 : 2;

$encapsed = "{$foo}";
/** @psalm-trace $encapsed */;

$cast = (string) $foo;
/** @psalm-trace $cast */;

Psalm output (using commit 08afc45):

INFO: Trace - 6:30 - $encapsed: non-empty-literal-string

INFO: Trace - 9:26 - $cast: '0'|'2'

INFO: UnusedVariable - 3:1 - $foo is never referenced or the value is not used

INFO: UnusedVariable - 5:1 - $encapsed is never referenced or the value is not used

INFO: UnusedVariable - 8:1 - $cast is never referenced or the value is not used