pub trait DiagnosticExt: Diagnostic { // Provided method fn report_and_exit(&self, ctx: &Context) -> ! { ... } }