fn check_mod_loops(tcx: TyCtxt<'_>, module_def_id: LocalDefId)