Match expression does not handle remaining value: with finite known abstract class #9010
Description
Bug report
The list of values possible here is known, so I think this error can be avoided.
Code snippet that reproduces the problem
https://phpstan.org/r/8df4601c-f29b-4187-b58c-8f7480a54e57
Expected output
No errors