result
}
- pub fn for_predicate(binder: ty::Binder<ty::PredicateKind<'_>>) -> FlagComputation {
+ pub fn for_predicate(binder: ty::Binder<'tcx, ty::PredicateKind<'_>>) -> FlagComputation {
let mut result = FlagComputation::new();
result.add_predicate(binder);
result
/// Adds the flags/depth from a set of types that appear within the current type, but within a
/// region binder.
- fn bound_computation<T, F>(&mut self, value: ty::Binder<T>, f: F)
+ fn bound_computation<T, F>(&mut self, value: ty::Binder<'_, T>, f: F)
where
F: FnOnce(&mut Self, T),
{
}
}
- fn add_predicate(&mut self, binder: ty::Binder<ty::PredicateKind<'_>>) {
+ fn add_predicate(&mut self, binder: ty::Binder<'tcx, ty::PredicateKind<'_>>) {
self.bound_computation(binder, |computation, atom| computation.add_predicate_atom(atom));
}