ror();
}
}
}
This code currently compiles even if the last case is not reachable.
Rémi
- Original Message -
> From: "daniel smith"
> To: "amber-spec-experts"
> Cc: "Gavin Bierman"
> Sent: Samedi 24 Juillet 2021 00:28:08
> Subject:
> On Jul 23, 2021, at 3:48 PM, Remi Forax wrote:
>
> - Original Message -
>> From: "daniel smith"
>> To: "amber-spec-experts"
>> Cc: "Gavin Bierman"
>> Sent: Samedi 24 Juillet 2021 00:28:08
>> Subject: Switch cover
- Original Message -
> From: "daniel smith"
> To: "amber-spec-experts"
> Cc: "Gavin Bierman"
> Sent: Samedi 24 Juillet 2021 00:28:08
> Subject: Switch coverage with multiple branches
> An RFE for JEP 406 (or maybe bug fix? I hav
An RFE for JEP 406 (or maybe bug fix? I haven't dug into what the spec says).
Can we make this compile?
public class SwitchCoverage {
sealed interface A {}
sealed interface B1 extends A {}
sealed interface B2 extends A {}
sealed interface C extends A {}
final class D1
