Should warn about unreachable default match arm with enums

[canvural]

Bug report

Code snippet that reproduces the problem

<?php declare(strict_types = 1);

enum Foo {
	case BAR;
}

function doFoo(Foo $foo): int {
	return match($foo) {
		Foo::BAR => 5,
		default => throw new Exception('This will not be executed')
	};
}

https://phpstan.org/r/546a29d0-5aee-473e-a565-879644ed30d2

It reports error without enum: https://phpstan.org/r/b30674fc-ca2b-4b39-b1f9-ba57088054b1 (although looks like the order of default arm effects the analysis. maybe that should be another issue)

Expected output

Expecting an error at line 10 saying this match arm is unreachable. Because all possible enum values are already handled.

Did PHPStan help you today? Did it make you happy in any way?

Yes! ❤️

[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.