Searched refs:to_poly_trait_predicate (Results 1 – 6 of 6) sorted by relevance
44 Obligation::new(obligation_cause, param_env, trait_ref.to_poly_trait_predicate()); in codegen_fulfill_obligation()
94 trait_pred.to_poly_trait_predicate(), in find_auto_trait_generics()
1300 let trait_obligation = obligation.with(poly_trait_ref.to_poly_trait_predicate()); in assemble_candidates_from_impls()
941 pub fn to_poly_trait_predicate(&self) -> ty::PolyTraitPredicate<'tcx> { in to_poly_trait_predicate() method
1470 let predicate = ty::Binder::dummy(trait_ref).to_poly_trait_predicate(); in select_trait_candidate()
1643 trait_ref.to_poly_trait_predicate(), in maybe_report_ambiguity()