With value types, everything is known absolutely ```php foreach ([1, 2, 3] as $i) { switch ($i) { case 1: $a = "hello"; break; case 2: $a = "goodbye"; break; case 3: $a = "hello again"; break; } echo $a; } ``` Expected: No issue Actual: [Variable $a might not be defined.](https://phpstan.org/r/b2dc2ecde3005a494e6e5c39683b3d59)
With value types, everything is known absolutely
Expected: No issue
Actual: Variable $a might not be defined.