syntax_data: {"ast_node_type":"other","tokens":[{"end":96,"kind":"keyword","start":0,"text":"//"}]}
source_snippet:     // block where control flow could exit the MIR body (e.g., those terminated with `return` or
context_before:     // FIXME: For backward dataflow analyses, the initial state should be applied to every basic
context_after:     // `resume`). It's not obvious how to handle `yield` points in coroutines, however.