Function rustc_middle::ty::query::query_provided_to_value::diagnostic_hir_wf_check

pub fn diagnostic_hir_wf_check<'tcx>(
    _tcx: TyCtxt<'tcx>,
    value: diagnostic_hir_wf_check<'tcx>
) -> Erase<diagnostic_hir_wf_check<'tcx>>