{"ast_node_type":"other","tokens":[{"end":52,"kind":"keyword","start":0,"text":")"}]}
    ) -> InterpResult<'tcx, &'tcx mir::Body<'tcx>> {
        promoted: Option<mir::Promoted>,
        trace!("load mir(instance={:?}, promoted={:?})", instance, promoted);