syntex_errors
pub fn expect<T, M>(diag: &Handler, opt: Option<T>, msg: M) -> T where M: FnOnce() -> String