syntax_data: {"ast_node_type":"other","tokens":[{"end":97,"kind":"keyword","start":0,"text":"///"}]}
source_snippet:     /// about a given `SwitchInt` terminator for each one of its edges—and more efficient—the
context_before:     /// However, it is both more ergonomic—callers don't need to recompute or cache information
context_after:     /// engine doesn't need to clone the exit state for a block unless