pub fn diagnostic_hir_wf_check() -> DepKindStruct