When you use generics, much of the time, compile-time type information is lost. At
run time, often all the program knows about a reference is that is a reference to
some sort of Object. If all the type information
is also known at run time, the type is called reifiable. Perhaps some day generics will be redesigned so that all
types are reifiable.