@Specialize annotation inconsistency errors