Searched defs:poly_trait_predicate (Results 1 – 2 of 2) sorted by relevance
602 let poly_trait_predicate = self.infcx.resolve_vars_if_possible(obligation.predicate); in assemble_candidates_from_object_ty() localVariable
1632 let poly_trait_predicate = self.infcx.resolve_vars_if_possible(obligation.predicate); localVariable