Types are scaffolding: they come down before the building opens

tsc checks your types while you build, then emits plain JavaScript with the annotations removed. So types cost nothing when the program runs, but they also guard nothing at that point. Data arriving from a network call or a form is never verified against your declared shape.

Read it once, then a question tests whether the trick stuck.