{"ast_node_type":"other","tokens":[{"end":56,"kind":"keyword","start":0,"text":"trace!(\"write_mir_sig:"}]}
    trace!("write_mir_sig: {:?}", body.source.instance);
    let def_id = body.source.def_id();