Searched defs:fresh_trait_pred (Results 1 – 1 of 1) sorted by relevance
130 fresh_trait_pred: ty::PolyTraitPredicate<'tcx>, field1003 let mut fresh_trait_pred = stack.fresh_trait_pred; in evaluate_trait_predicate_recursively() localVariable2565 let fresh_trait_pred = obligation.predicate.fold_with(&mut self.freshener); in push_stack() localVariable