{"ast_node_type":"other","tokens":[{"end":67,"kind":"keyword","start":0,"text":"RetagKind::TwoPhase"}]}
            RetagKind::TwoPhase => crate::mir::RetagKind::TwoPhase,
            RetagKind::FnEntry => crate::mir::RetagKind::FnEntry,
            RetagKind::Raw => crate::mir::RetagKind::Raw,