- 't' => ty::Binder(parse_trait_ref(st, conv)).as_predicate(),
- 'e' => ty::Binder(ty::EquatePredicate(parse_ty(st, |x,y| conv(x,y)),
- parse_ty(st, |x,y| conv(x,y)))).as_predicate(),
- 'r' => ty::Binder(ty::OutlivesPredicate(parse_region(st, |x,y| conv(x,y)),
- parse_region(st, |x,y| conv(x,y)))).as_predicate(),
- 'o' => ty::Binder(ty::OutlivesPredicate(parse_ty(st, |x,y| conv(x,y)),
- parse_region(st, |x,y| conv(x,y)))).as_predicate(),
- 'p' => ty::Binder(parse_projection_predicate(st, conv)).as_predicate(),
+ 't' => ty::Binder(parse_trait_ref_(st, conv)).as_predicate(),
+ 'e' => ty::Binder(ty::EquatePredicate(parse_ty_(st, conv),
+ parse_ty_(st, conv))).as_predicate(),
+ 'r' => ty::Binder(ty::OutlivesPredicate(parse_region_(st, conv),
+ parse_region_(st, conv))).as_predicate(),
+ 'o' => ty::Binder(ty::OutlivesPredicate(parse_ty_(st, conv),
+ parse_region_(st, conv))).as_predicate(),
+ 'p' => ty::Binder(parse_projection_predicate_(st, conv)).as_predicate(),