[stchang]

Correct. More specifically, type checking is performed as part of macro expansion, which happens at compile-time.