$crate::session::span_bug_fmt(file!(), line!(), $span, format_args!($($message)*))
})
}
-
-#[macro_export]
-macro_rules! type_err {
- ($infcx:expr, $origin: expr, $values: expr, $terr: expr, $code:ident, $($message:tt)*) => ({
- __diagnostic_used!($code);
- $infcx.report_and_explain_type_error_with_code(
- $origin,
- $values,
- &$terr,
- &format!($($message)*),
- stringify!($code))
- })
-}