Issue #3353918: Fix PHPStan L1 errors "Variable $foo might not be defined." caused by non-exhaustive switch statements