I have an Enum and a match condition. I tried to help PHPStan resolving the possible return type but it fails with using the result on the explode function. PHPStan seems to not take into account the result of the match process.

https://phpstan.org/r/c6c22699-a92c-422d-b0c0-ddca1e0a5227

I would expect Operator::character to only return 'foo'|'bar'|'baz' not ''|'foo'|'bar'|'baz'.