Constant diagnostic_hir_wf_check 

pub const diagnostic_hir_wf_check: &str = "diagnostic_hir_wf_check";