#[derive(Debug, Clone, PartialEq, Eq)]
pub struct FileLocation {
pub file: String,
pub line: u32,
pub column: u32,
}
#[non_exhaustive]
#[derive(Debug, Default, Clone, PartialEq, Eq)]
pub struct AssertionContext {
pub location: Option<FileLocation>,
pub expr: Option<String>,
}