pub trait Diagnostic { // Required method fn to_codespan(&self, ctx: &Context) -> Diagnostic<FileId>; }