fn dump_matched_mir_node<'tcx, F>( tcx: TyCtxt<'tcx>, pass_num: Option<&dyn Display>, pass_name: &str, disambiguator: &dyn Display, body: &Body<'tcx>, extra_data: F)where F: FnMut(PassWhere, &mut dyn Write) -> Result<()>,