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