pub trait ToInternalSpan { // Required method fn to_internal_span(&self, source_file: &SourceFile) -> Span; }