Function is_mir_available 

pub(crate) fn is_mir_available(tcx: TyCtxt<'_>, def_id: LocalDefId) -> bool