syntax_data: {"ast_node_type":"other","tokens":[{"end":78,"kind":"keyword","start":0,"text":"//"}]}
source_snippet:             // and after the call returns successfully, but not after a panic.
context_before:             // For call terminators the destination requires storage for the call
context_after:             // Since `propagate_call_unwind` doesn't exist, we have to kill the