Diffstat (limited to 'src/protocol/visitor/request_hint.rs')
| -rw-r--r-- | src/protocol/visitor/request_hint.rs | 10 |
1 files changed, 7 insertions, 3 deletions
diff --git a/src/protocol/visitor/request_hint.rs b/src/protocol/visitor/request_hint.rs index 831594f..c2f8837 100644 --- a/src/protocol/visitor/request_hint.rs +++ b/src/protocol/visitor/request_hint.rs @@ -1,5 +1,9 @@ use crate::{ - any::{TypeName}, effect::{Effect, Future}, higher_ranked_type, hkt::Marker, protocol::{Visitor, Walker} + any::TypeName, + effect::{Effect, Future}, + higher_ranked_type, + hkt::Marker, + protocol::{Visitor, Walker}, }; use super::VisitResult; @@ -21,12 +25,12 @@ 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 + 'a + dyn RequestHint<'ctx, E> + Send + Sync + 'a where { E: Effect }; - impl['a, 'ctx, E] type HigherRanked['a, 'ctx] for dyn RequestHint<'ctx, E> + Send + 'a = + impl['a, 'ctx, E] type HigherRanked['a, 'ctx] for dyn RequestHint<'ctx, E> + Send + Sync + 'a = RequestHintProto<E> where { E: Effect |