pub trait TexError: Debug + 'static {
// Required methods
fn kind(&self) -> Kind;
fn title(&self) -> String;
// Provided methods
fn notes(&self) -> Vec<Note> { ... }
fn source_annotation(&self) -> String { ... }
fn default_source_annotation(&self) -> String { ... }
fn source_code_trace_override(&self) -> Option<&SourceCodeTrace> { ... }
}