A technique used in programming languages with generics or templates to remove type information during compilation, often used to ensure type safety and compatibility with older code or runtime environments.

"Type erasure allows Java's generics to achieve type safety without introducing runtime overhead."