eclipse-jdt / eclipse-jdt/eclipse.jdt.core
Switch exhaustiveness by rewriting
Open
- Dominant language
- Java
- Stars
- 237
- Forks
- 195
- Avg merge
- 1d 10h
- Merged PRs (30d)
- 49
Description
From scanning the code I could not find an implementation for this from [JLS 14.11.1.1. Exhaustive Switch Blocks](https://docs.oracle.com/javase/specs/jls/se26/html/jls-14.html#jls-14.11.1.1):
> A set of case elements, P, covers a type T if one of the following cases applies:
> [...]
> * P rewrites to a set Q and Q covers T.
With more details in this paragraph.
@mpalat @srikanth-sankaran had you noticed this JLS paragraph during your work on enhanced switches? Has the above been implemented and I just looked in the wrong places?
Contributor guide
Assessment
This issue has not been assessed yet.