Diffstat (limited to 'src/protocol/visitor/recoverable.rs')
| -rw-r--r-- | src/protocol/visitor/recoverable.rs | 7 |
1 files changed, 3 insertions, 4 deletions
diff --git a/src/protocol/visitor/recoverable.rs b/src/protocol/visitor/recoverable.rs index 4f39e8a..ef20345 100644 --- a/src/protocol/visitor/recoverable.rs +++ b/src/protocol/visitor/recoverable.rs @@ -1,7 +1,6 @@ use effectful::{ effective::Effective, - environment::{DynBind, EnvConfig, Environment, NativeForm}, - is_send_sync, + environment::{DynBind, EnvConfig, Environment, NativeForm}, SendSync, }; use crate::{ @@ -23,6 +22,7 @@ pub trait Recoverable<'ctx, E: Environment>: DynBind<E> { ) -> NativeForm<'a, VisitResult, E>; } +#[derive(SendSync)] pub struct RecoverableProto<E: Environment>(Marker<E>); impl<'a, 'ctx, E> TypeName::MemberTypeForLt<'a, 'ctx, E, &'a &'ctx ()> for RecoverableProto<E> @@ -49,10 +49,9 @@ pub trait RecoverableScope<'ctx, E: Environment>: DynBind<E> { pub type DynRecoverableScope<'a, 'ctx, E> = &'a mut (dyn RecoverableScope<'ctx, E> + 'a); +#[derive(SendSync)] pub struct RecoverableKnown; -is_send_sync!(RecoverableKnown); - impl<'a, 'ctx, E: EnvConfig> Meta::MemberTypeForLt<'a, 'ctx, E, &'a &'ctx ()> for RecoverableKnown { type T = RecoverableKnown; } |