syntax_data: {"ast_node_type":"other","tokens":[{"end":39,"kind":"keyword","start":0,"text":"//"}]}
source_snippet:         // Back-edge in the CFG (loop).
context_before:     ) -> ControlFlow<Self::BreakVal> {
context_after:         if let Some(NodeStatus::Visited) = prior_status {