remove useless TyCheckError