pub trait ToDiagnostic { // Required method fn to_diagnostic(&self, source_engine: &SourceEngine) -> Diagnostic; }