Re: Exploring inference for sealed types

[Brian Goetz]

Having received no further feedback, I'm inclined to proceed on 
Baseline+A+B.

On 9/24/2019 2:34 PM, Brian Goetz wrote:

So my suggestion is to start with Baseline + (A | A&B), limiting 
inference to permits clauses, and see if that is enough.