Union of literal types is generalized

[tpetry]

The following code should produce the type 'a' | 'b' | 'c' and not generalize the value to string:

use Psl\Type;
use function PHPStan\dumpType;

$literals = Type\union(
    Type\literal_scalar('a'),
    Type\literal_scalar('b'),
    Type\literal_scalar('c'),
);

$validated = $literals->coerce('a');
dumpType($validated); // Dumped type: string