Diffstat (limited to 'src/protocol/visitor/request_hint.rs')
| -rw-r--r-- | src/protocol/visitor/request_hint.rs | 25 |
1 files changed, 12 insertions, 13 deletions
diff --git a/src/protocol/visitor/request_hint.rs b/src/protocol/visitor/request_hint.rs index 73c95db..222770e 100644 --- a/src/protocol/visitor/request_hint.rs +++ b/src/protocol/visitor/request_hint.rs @@ -22,20 +22,19 @@ pub trait RequestHint<'ctx, E: Effect> { pub struct RequestHintProto<E: Effect>(Marker<E>); -higher_ranked_type! { - impl TypeName { - impl['a, 'ctx, E] type T['a, 'ctx] for RequestHintProto<E> = - dyn RequestHint<'ctx, E> + Send + Sync + 'a - where { - E: Effect - }; +impl<'a, 'ctx, E> TypeName::MemberTypeForLt<'a, 'ctx, &'a &'ctx ()> for RequestHintProto<E> +where + E: Effect, +{ + type T = dyn RequestHint<'ctx, E> + Send + Sync + 'a; +} - impl['a, 'ctx, E] type HigherRanked['a, 'ctx] for dyn RequestHint<'ctx, E> + Send + Sync + 'a = - RequestHintProto<E> - where { - E: Effect - }; - } +impl<'a, 'ctx, E> TypeName::LowerTypeWithBound<'a, 'ctx, &'a &'ctx ()> + for dyn RequestHint<'ctx, E> + Send + Sync + 'a +where + E: Effect, +{ + type Higher = RequestHintProto<E>; } /// Visit using the [`RequestHint`] protocol. |