{"ast_node_type":"other","tokens":[{"end":27,"kind":"keyword","start":0,"text":"///"}]}
/// is already irreducible.
/// But if the CFG is already irreducible, there is no point in trying much harder.
fn loop_headers(body: &Body<'_>) -> DenseBitSet<BasicBlock> {