pub(crate) const fn check_mod_loops<'tcx>() -> QueryStruct<'tcx>