1
Fork 0

Support #[fatal(..)]

This commit is contained in:
finalchild 2022-08-18 21:20:50 +09:00
parent bfefefbcfa
commit b28cc097cf
4 changed files with 27 additions and 2 deletions

View file

@ -482,6 +482,15 @@ impl Session {
pub fn emit_warning<'a>(&'a self, warning: impl SessionDiagnostic<'a, ()>) {
self.parse_sess.emit_warning(warning)
}
pub fn create_fatal<'a>(
&'a self,
fatal: impl SessionDiagnostic<'a, !>,
) -> DiagnosticBuilder<'a, !> {
self.parse_sess.create_fatal(fatal)
}
pub fn emit_fatal<'a>(&'a self, fatal: impl SessionDiagnostic<'a, !>) {
self.parse_sess.emit_fatal(fatal)
}
#[inline]
pub fn err_count(&self) -> usize {
self.diagnostic().err_count()