syntax_data: {"ast_node_type":"other","tokens":[{"end":85,"kind":"keyword","start":0,"text":"//"}]}
source_snippet:         // backward dataflow analyses as well as effects for `SwitchInt` terminators.
context_before:         // for the basic block itself. That way, we could display terminator-specific effects for
context_after:         match terminator.kind {