Macro type_error_at

macro_rules! type_error_at {
    ($location:expr, $($arg:tt)*) => { ... };
}