pub(crate) fn check_mod_loops<'tcx>() -> DepKindStruct<'tcx>