Ok(infcx.resolve_vars_if_possible(target_substs))
}
-// Query provider for `specialization_graph_of`.
+/// Query provider for `specialization_graph_of`.
pub(super) fn specialization_graph_provider(
tcx: TyCtxt<'_>,
trait_id: DefId,
trait_pred
});
- p = tcx.mk_predicate(new_trait_pred.map_bound(ty::PredicateKind::Trait))
+ p = tcx.mk_predicate(
+ new_trait_pred.map_bound(|p| ty::PredicateKind::Clause(ty::Clause::Trait(p))),
+ )
}
}
pretty_predicates.push(p.to_string());