In 2016, the type procedure of Java was proven unsound in that it can be done to utilize generics to build classes and methods that enable assignment of the occasion one course into a variable of A further unrelated course. these code is accepted because of the compiler, but fails at run time with a class cast exception.[66] Java's Hotspot compile