{"ast_node_type":"other","tokens":[{"end":22,"kind":"keyword","start":0,"text":"#[derive(Copy,"}]}
#[derive(Copy, Clone)]
/// override these when dumping its own specific MIR information with [`dump_mir_with_options`].
pub struct PrettyPrintMirOptions {