type inconsistency