syntax_data: {"ast_node_type":"other","tokens":[{"end":98,"kind":"keyword","start":0,"text":"///"}]}
source_snippet:     /// The effect of a successful return from a `Call` terminator should **not** be accounted for
context_before:     ///
context_after:     /// in this function. That should go in `apply_call_return_effect`. For example, in the