syntax_data: {"ast_node_type":"other","tokens":[{"end":81,"kind":"keyword","start":0,"text":"mir::TerminatorKind::Call"}]}
source_snippet:                 mir::TerminatorKind::Call { destination, target: Some(dest), .. }
context_before:                 // Apply terminator-specific edge effects.
context_after:                     if dest == block =>