Why is this type parameter preserved in the bytecode?

Question

The type erasure page says that

Replace all type parameters in generic types with their bounds or Object if the type parameters are unbounded. The produced bytecode, therefore, contains only ordinary classes, interfaces, and methods.

However, for the following class:

public class Foo<E extends CharSequence> {
    public E something;
}

javap -c Foo prints:

public class Foo<E extends java.lang.CharSequence> {
  public E something;
}

Why is the type parameter not replaced with the bound (CharSequence), but is preserved as E?

Answer 1

What you printed isn't bytecode. It is the method signature. It's put there so the compiler can enforce typesafety when compiling other classes that call it.

Answer 2

Type information is preserved on classes and methods, but not on actual fields. If you wrote

class Foo extends Bar<String> {
}

...you could extract Bar<String> at runtime, but if you had

new Bar<String>();

...you could not extract Bar<String> there.

Answer 3

The type parameter is preserved because it must be known for sub-classing. Definitions

public class Foo<E extends CharSequence> 

and

public class Foo<CharSequence> 

are NOT equal, since latter would not allow sub-class to be declared as, say:

public class MyStringFoo extends Foo<String> { }

whereas former does.