{"ast_node_type":"function","tokens":[{"end":27,"kind":"keyword","start":0,"text":"pub"}]}
pub fn reachable<'a, 'tcx>(
/// This is clearer than writing `preorder` in cases where the order doesn't matter.
    body: &'a Body<'tcx>,