pub const diagnostic_hir_wf_check: DepKind;