{"ast_node_type":"other","tokens":[{"end":95,"kind":"keyword","start":0,"text":"///"}]}
/// Cosmetic options for pretty-printing the MIR contents, gathered from the CLI. Each pass can
/// override these when dumping its own specific MIR information with [`dump_mir_with_options`].