pub type TyCheckWarning = TyCheckError;