> Somehow similarly, Java's type information is also partly erased in the bytecode;

Just for generics, I believe