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