Macro charon_lib::register_error_or_panic

macro_rules! register_error_or_panic {
    ($ctx:expr, $span: expr, $msg: expr) => { ... };
}