pub trait PrettyError: ToString {
// Provided methods
fn brief(&self) -> String { ... }
fn details(&self) -> Option<String> { ... }
fn help(&self) -> Option<String> { ... }
fn source(&self) -> Option<Box<Source>> { ... }
fn trace(&self) -> Vec<Source> { ... }
}