Transform compile time type check annotation.