Re: javac throws an AssertionError while compiling a switch on types

2021-06-07 Thread forax
promoted to amber-spec-experts because we are talking about the spec more than the implementation. > De: "Brian Goetz" > À: "jan lahoda" , "Remi Forax" > Cc: "compiler-dev" > Envoyé: Lundi 7 Juin 2021 21:14:40 > Objet: Re: javac throws an AssertionError while compiling a switch on types >

Re: case null vs case dominance

2021-06-07 Thread forax
- Mail original - > De: "Brian Goetz" > À: "Remi Forax" , "core-libs-dev" > > Cc: "amber-spec-experts" > Envoyé: Lundi 7 Juin 2021 17:06:20 > Objet: Re: case null vs case dominance > On 6/7/2021 5:51 AM, Remi Forax wrote: >> Hi all, >> the first part of the message is about javac

Re: case null vs case dominance

2021-06-07 Thread Brian Goetz
On 6/7/2021 5:51 AM, Remi Forax wrote: Hi all, the first part of the message is about javac error message that could be improved, the second part is about the current spec being not very logical. With this code Object o = null; var value = switch(o) { //case null -> 0;

case null vs case dominance

2021-06-07 Thread Remi Forax
Hi all, the first part of the message is about javac error message that could be improved, the second part is about the current spec being not very logical. With this code Object o = null; var value = switch(o) { //case null -> 0; case Object __ -> 0; case