unchecked casts and intersection types

Maurizio Cimadamore maurizio.cimadamore at oracle.com
Wed Dec 21 22:30:00 UTC 2016

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.


More information about the compiler-dev mailing list