Function rustc_middle::ty::query::query_provided_to_value::subst_and_check_impossible_predicates

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