Function mir_pretty_extra_data 

pub(crate) fn mir_pretty_extra_data<'tcx>(
    tcx: TyCtxt<'tcx>,
    body: &Body<'tcx>,
) -> Option<Box<dyn Fn(PassWhere, &mut dyn Write) -> Result<()>>>