pub const diagnostic_hir_wf_check: &str = _;