{"ast_node_type":"function","tokens":[{"end":32,"kind":"keyword","start":0,"text":"pub"}]}
pub fn mono_reachable<'a, 'tcx>(
/// [`NullOp::UbChecks`]: rustc_middle::mir::NullOp::UbChecks
    body: &'a Body<'tcx>,