syntax_data: {"ast_node_type":"other","tokens":[{"end":70,"kind":"keyword","start":0,"text":"///"}]}
source_snippet:     /// engine doesn't need to clone the exit state for a block unless
context_before:     /// about a given `SwitchInt` terminator for each one of its edges—and more efficient—the
context_after:     /// `get_switch_int_data` is actually called.