{"ast_node_type":"other","tokens":[{"end":25,"kind":"keyword","start":0,"text":"body:"}]}
    body: &'a Body<'tcx>,
pub fn reachable<'a, 'tcx>(
) -> impl 'a + Iterator<Item = (BasicBlock, &'a BasicBlockData<'tcx>)> {