* Add assertion to ExprTypeConvert to detect error earlier than without it