Switch statements that cover all possibilities should not need default

[muglug]

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.

[Firehed]

Probably not news, but this applies to known sets from constant matching too: https://phpstan.org/r/62a3a993-ae11-4a35-8fd3-a0e73376f1c5 (not sure what the internal terminology is for this, but the pseudo-enums)

[github-actions]

This thread has been automatically locked since there has not been any recent activity after it was closed. Please open a new issue for related bugs.