unchecked casts and intersection types

[Maurizio Cimadamore]

On 21/12/16 20:34, Liam Miller-Cushon wrote:
> Otherwise a cast where the source is an intersection and the target is 
> any element of the intersection would be sound, I think
Yeah - that's a normal 'upcast'/widening. So it's always sound.

Thanks for filing the issue for the enhancement.

Maurizio