4 ms·

Java's type system is sound. There are even machine-verified proofs of this.

• tomp 12y ago
  Oops, you're right. I thought you could override methods with more specific argument types, but it appears I was wrong.