fn has_back_edge( doms: &Dominators<BasicBlock>, node: BasicBlock, node_data: &BasicBlockData<'_>, ) -> bool