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