Playground link: https://phpstan.org/r/923770c1-8beb-48a8-8929-c98c43d76697

I use defensive programming, by adding a default case on my switch even tough they are covering all the cases:

enum A: string {
	case A = 'A';
}

$a = A::A;
switch ($a) {
	case A::A: break;
	default:
          throw new \Exception('Unhanded case `' . $a->name . '`');
}

but PHPStan reports:

Binary operation "." between 'Unhanded case `' and mixed results in an error.

because it sees the type as *NEVER*.

The issue is that if a case is not handled PHPStan reports nothing (by default?).

I would like to be able to either:

1. Asks PHPStan to guarantee the switch is covering
2. Let PHPStan fallback to a more general type (maybe that is not a good approach as this would mean that some dead if ($a === A::A) would not be reported)

Note that I'm not reporting this as an issue as I do not think that there is any concrete issue here.