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