Function diagnostic_hir_wf_check

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