- No need to specify a build directory for the type checking phase as there is no output.
 - No need to retain the annotation for compile time as it's purely used during the compile phase.