pub(crate) fn diagnostic_hir_wf_check<'tcx>(
    
) -> DynamicQuery<'tcx, Storage<'tcx>>