pub fn zero_divisor_message(op: &str, ty: &Type) -> &'static str
The abort of an integer division or remainder by zero.