Annotation Type CompileTimeCheck