Switch statements that cover all possibilities should not need default #1016
Description
With value types, everything is known absolutely
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.