pub(crate) fn check_mod_loops<'tcx>() -> DynamicQuery<'tcx, Storage<'tcx>>