# Bug report Hi, the `match` expression produces `variable might not be defined` incorrectly. ### Code snippet that reproduces the problem [Playground-1](https://phpstan.org/r/0d40f950-1615-4673-b032-dbdd19dfdf2d) [Playground-2](https://phpstan.org/r/073a2f00-7331-4a34-8bcc-78dc39f0319f) ### Expected output no error. ### Did PHPStan help you today? Did it make you happy in any way?  <!-- Answering this question is not required, but if you have anything positive to share, please do so here! Sometimes we get tired of reading bug reports all day and a little positive end note does wonders. Idea by Joey Hess, https://joeyh.name/blog/entry/two_holiday_stories/ -->