{"ast_node_type":"other","tokens":[{"end":67,"kind":"keyword","start":0,"text":"$crate::mir::interpret::InterpErrorKind::UndefinedBehavior("}]}
        $crate::mir::interpret::InterpErrorKind::UndefinedBehavior(
    ($($tt:tt)*) => {
            $crate::mir::interpret::UndefinedBehaviorInfo::$($tt)*