Как в TypeScript работает стирание типов (type erasure)?

Type erasure (стирание типов) означает, что TypeScript полностью удаляет всю типовую информацию при компиляции в JavaScript. Аннотации типов, интерфейсы, type alias, generics — ничего из этого не попадает в runtime. Это ключевой принцип дизайна: TypeScript — это надмножество JavaScript, и его выходной код должен быть валидным JS без какой-либо runtime-библиотеки.