{"ast_node_type":"other","tokens":[{"end":48,"kind":"keyword","start":0,"text":"$context.body().source.def_id(),"}]}
                $context.body().source.def_id(),
                "broken MIR in {:?} ({:?}): {}",
                $elem,