pub trait TexError: Debug {
// 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 { ... }
}