[23][Primitive type patterns] ECJ rejects boolean type pattern with default case

[jarthana]

This is a fallout after issue #2916 was fixed, I think.

Here's the relevant code that Javac accepts but we reject:

class X {
	public void foo(Boolean boxed) {
		switch (boxed) {
			case boolean b -> {}
			default -> {}
		}
	}
}

The reported error is: Switch cannot have both boolean values and a default label

This is because we are using the same Exhaustive flag for total pattern as well as true+false. Should we differentiate between the two conditions?

@stephan-herrmann

[srikanth-sankaran]

@stephan-herrmann - thanks for taking a look

[srikanth-sankaran]

At first glance, it looks like this should be rejected. What is the difference between the scenario where both true and false are expressly listed and this one ??