Constant diagnostic_hir_wf_check

pub const diagnostic_hir_wf_check: &str = "diagnostic_hir_wf_check";