Searched defs:poly_trait_ref (Results 1 – 12 of 12) sorted by relevance
568 let poly_trait_ref = match self_ty.kind() { in assemble_candidates_from_object_ty() localVariable
398 let poly_trait_ref = obligation.predicate.to_poly_trait_ref(); in vtable_auto_impl() localVariable
346 let poly_trait_ref = ty::Binder::dummy(trait_ref); in obligation_for_method() localVariable
89 let poly_trait_ref = ty::Binder::dummy(trait_ref); in is_fn_ty() localVariable
589 let poly_trait_ref = ecx.resolve_vars_if_possible(goal_trait_ref); in fetch_eligible_assoc_item_def() localVariable
399 let poly_trait_ref = in decode_alloc_id() localVariable
387 let poly_trait_ref = PolyTraitRef::new(generic_params, path, lo.to(self.prev_token.span)); in parse_remaining_bounds_path() localVariable
1101 let poly_trait_ref = principal.with_self_ty(tcx, impl_ty); in create_mono_items_for_vtable_methods() localVariable
126 pub fn poly_trait_ref(&self, span: Span, path: ast::Path) -> ast::PolyTraitRef { in poly_trait_ref() method
707 let poly_trait_ref = in instantiate_poly_trait_ref_inner() localVariable
360 let poly_trait_ref = pred.map_bound(|pred| pred.trait_ref); in clean_poly_trait_predicate() localVariable
1804 let poly_trait_ref = selcx.infcx.resolve_vars_if_possible(trait_ref); in assemble_candidates_from_impls() localVariable