pub fn diagnostic_hir_wf_check<'tcx>(
    _: TyCtxt<'tcx>,
    _: &diagnostic_hir_wf_check<'tcx>
) -> bool