Macro bail_semantic_error

macro_rules! bail_semantic_error {
    ($s: literal, $arg:ident) => { ... };
}