{"ast_node_type":"other","tokens":[{"end":79,"kind":"keyword","start":0,"text":"$crate::mir::interpret::InterpErrorKind::MachineStop(Box::new($($tt)*))"}]}
        $crate::mir::interpret::InterpErrorKind::MachineStop(Box::new($($tt)*))
    ($($tt:tt)*) => {
    };