Diffstat (limited to 'src/protocol/visitor/recoverable.rs')
| -rw-r--r-- | src/protocol/visitor/recoverable.rs | 13 |
1 files changed, 9 insertions, 4 deletions
diff --git a/src/protocol/visitor/recoverable.rs b/src/protocol/visitor/recoverable.rs index fe8d82e..4f39e8a 100644 --- a/src/protocol/visitor/recoverable.rs +++ b/src/protocol/visitor/recoverable.rs @@ -1,4 +1,8 @@ -use effectful::{environment::{DynBind, EnvConfig, Environment, NativeForm}, is_send_sync}; +use effectful::{ + effective::Effective, + environment::{DynBind, EnvConfig, Environment, NativeForm}, + is_send_sync, +}; use crate::{ any::TypeName, @@ -43,8 +47,7 @@ pub trait RecoverableScope<'ctx, E: Environment>: DynBind<E> { ) -> NativeForm<'effect, Status, E>; } -pub type DynRecoverableScope<'a, 'ctx, E> = - &'a mut (dyn RecoverableScope<'ctx, E> + 'a); +pub type DynRecoverableScope<'a, 'ctx, E> = &'a mut (dyn RecoverableScope<'ctx, E> + 'a); pub struct RecoverableKnown; @@ -54,7 +57,9 @@ impl<'a, 'ctx, E: EnvConfig> Meta::MemberTypeForLt<'a, 'ctx, E, &'a &'ctx ()> fo type T = RecoverableKnown; } -impl<'a, 'ctx, E: EnvConfig> Meta::LowerTypeWithBound<'a, 'ctx, E, &'a &'ctx ()> for RecoverableKnown { +impl<'a, 'ctx, E: EnvConfig> Meta::LowerTypeWithBound<'a, 'ctx, E, &'a &'ctx ()> + for RecoverableKnown +{ type Higher = RecoverableKnown; } |