syntax_data: {"ast_node_type":"other","tokens":[{"end":106,"kind":"keyword","start":0,"text":"\"keep"}]}
source_snippet:         "keep place mention statements and reads in trivial SwitchInt terminators, which are interpreted \
context_before:     mir_preserve_ub: bool = (false, parse_bool, [TRACKED],
context_after:         e.g., by miri; implies -Zmir-opt-level=0 (default: no)"),