4 ms·let us know when Java's type system is sound, and can be completely inferred.by weatherlight 4y agolet us know when Java's type system is sound, and can be completely inferred.