macro_rules! return_type_mismatch_error {
    ($location: ident, $error: expr) => { ... };
}