Searched defs:trait_pred (Results 1 – 5 of 5) sorted by relevance
49 let trait_pred = cx.tcx.erase_late_bound_regions(pred.kind().rebind(poly_trait_pred)); in get_trait_predicates_for_trait_id() localVariable
460 let trait_pred = trait_pred.fold_with(&mut ReplaceImplTraitFolder { in suggest_restriction() localVariable552 let trait_pred = self.resolve_numeric_literals_with_default(trait_pred); in suggest_restricting_param_bound() localVariable1497 let mut trait_pred = trait_pred; in suggest_remove_reference() localVariable1698 let trait_pred = self.resolve_vars_if_possible(trait_pred); in suggest_change_mut() localVariable3438 let trait_pred = trait_pred.map_bound_ref(|tr| ty::TraitPredicate { in suggest_derive() localVariable
2084 let mut trait_pred = trait_predicate; in report_similar_impl_candidates_for_root_obligation() localVariable2195 let trait_pred = in mk_trait_obligation_with_new_self_ty() localVariable
635 let trait_pred = match obligation.predicate.kind().no_bound_vars() { in coerce_unsized() localVariable665 let trait_pred = self.resolve_vars_if_possible(trait_pred); in coerce_unsized() localVariable
1187 let trait_pred = ty::TraitPredicate { in check_impl() localVariable