Sentence:  <WSD>Type erasure</WSD> is a mapping from types (possibly including parameterized types and type variables) to types (that are never parameterized types or type variables). 
Meaning of the word marked with <WSD> tags:  A compile-time process by which explicit data type annotations are removed from a program, before run-time execution.