On Jul 23, 2020, at 2:53 PM, Remi Forax <[email protected]> wrote: > > var x and default are not on the same plane. So it's not really a third thing. > We are introducing something special for the bottom, null, but not for the > top ?
Eh; null doesn’t need to be that special, but Brian’s point is that you can just mandate that it appears at the top or nowhere. If you don’t mandate that, then type-coverage checks ensure that a “case null” which appears after a nullable case (a total one) will be not-reachable, and a static error.
