syntax_data: {"ast_node_type":"other","tokens":[{"end":65,"kind":"keyword","start":0,"text":"`mir`"}]}
source_snippet:         `mir` (the MIR), or `mir-cfg` (graphviz formatted MIR)"),
context_before:         `thir-tree`, `thir-flat`,
context_after:     unsound_mir_opts: bool = (false, parse_bool, [TRACKED],