The JVM also does erasure of generics. Yes, it's not _all_ types but it too relies heavily on compile time typings.