Searched defs:trait_predicate (Results 1 – 4 of 4) sorted by relevance
639 let trait_predicate = ty::Binder::dummy(ty::ExistentialPredicate::Trait( in object_ty_for_trait() localVariable752 let trait_predicate = { in receiver_is_dispatchable() localVariable
1548 let trait_predicate = ty::TraitRef::new(tcx, trait_def_id, trait_substs); in assemble_candidate_for_impl_trait_in_trait() localVariable
156 let trait_predicate = self.infcx.shallow_resolve(obligation.predicate); in confirm_projection_candidate() localVariable490 let trait_predicate = self.infcx.instantiate_binder_with_placeholders(obligation.predicate); in confirm_object_candidate() localVariable
689 let trait_predicate = bound_predicate.rebind(trait_predicate); in report_selection_error() localVariable690 let mut trait_predicate = self.resolve_vars_if_possible(trait_predicate); in report_selection_error() localVariable