[WorldMaker]

Both. Type erasure is a transpilation process. Generating .d.ts and other type metadata files is a compilation process. (With conditional types alone the type checker is compiling a fully Turing complete mini-language.)