Diffstat (limited to 'src/protocol/visitor/request_hint.rs')
| -rw-r--r-- | src/protocol/visitor/request_hint.rs | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/src/protocol/visitor/request_hint.rs b/src/protocol/visitor/request_hint.rs index 2fd6255..76de7a0 100644 --- a/src/protocol/visitor/request_hint.rs +++ b/src/protocol/visitor/request_hint.rs @@ -2,7 +2,7 @@ use effectful::{ effective::Effective, environment::{DynBind, Environment, NativeForm}, for_lt, - higher_ranked::Mut, + higher_ranked::Mut, SendSync, }; use crate::{ @@ -27,6 +27,7 @@ pub trait RequestHint<'ctx, E: Environment>: DynBind<E> { 'ctx: 'this + 'walker; } +#[derive(SendSync)] pub struct RequestHintProto<E: Environment>(Marker<E>); impl<'a, 'ctx, E> TypeName::MemberTypeForLt<'a, 'ctx, E, &'a &'ctx ()> for RequestHintProto<E> |