bendns' repos / treaty
Diffstat (limited to 'tests/common/protocol/value.rs')
-rw-r--r--tests/common/protocol/value.rs30
1 files changed, 14 insertions, 16 deletions
diff --git a/tests/common/protocol/value.rs b/tests/common/protocol/value.rs
index 08b069a..ba376cb 100644
--- a/tests/common/protocol/value.rs
+++ b/tests/common/protocol/value.rs
@@ -1,10 +1,9 @@
use effectful::{
- bound::{Bool, Dynamic, IsSend, IsSync},
- effective::{Effective, Canonical},
- environment::{ Environment},
- DynBind,
blocking::BlockingSpin,
- forward_send_sync,
+ bound::{Bool, Dynamic, IsSend, IsSync},
+ effective::{Canonical, Effective},
+ environment::Environment,
+ forward_send_sync, DynBind,
};
use mockall::mock;
use treaty::{
@@ -43,14 +42,13 @@ impl<'ctx, T: type_name::Static + Send, E: Environment> Value<'ctx, T, E> for Mo
where
for<'a, 'b> type_name::Lowered<'a, 'b, T>: Sized,
{
- fn visit<'this: 'value, 'value: 'e, 'e>(
- &'this mut self,
- value: type_name::Lowered<'value, 'ctx, T>,
- ) -> Canonical<'e, VisitResult<Dynamic<type_name::Lowered<'value, 'ctx, T>>>, E>
+ fn visit<'r>(
+ &'r mut self,
+ value: type_name::Lowered<'r, 'ctx, T>,
+ ) -> Canonical<'r, VisitResult<type_name::Lowered<'r, 'ctx, T>>, E>
where
// type_name::Lowered<'value, 'ctx, T>: Sized,
- Dynamic<type_name::Lowered<'value, 'ctx, T>>: DynBind<E>,
- 'ctx: 'this + 'value,
+ type_name::Lowered<'r, 'ctx, T>: DynBind<E>,
{
todo!()
}
@@ -70,10 +68,10 @@ where
// }
}
-pub trait ValueVisitorExt<'lt, 'ctx> {
+pub trait ValueVisitorExt<'ctx> {
fn visit_value_and_done<'a, T>(&'a mut self, value: T)
where
- T: type_name::WithLt<'a, 'ctx>,
+ T: type_name::WithLt<'a, 'ctx> + DynBind<BlockingSpin>,
type_name::Raised<'a, 'ctx, T>: type_name::Static,
'ctx: 'a;
@@ -84,14 +82,14 @@ pub trait ValueVisitorExt<'lt, 'ctx> {
'ctx: 'a;
}
-impl<'lt, 'ctx, U> ValueVisitorExt<'lt, 'ctx> for U
+impl<'ctx, U> ValueVisitorExt<'ctx> for U
where
- U: AsVisitor<'lt, 'ctx, BlockingSpin>,
+ U: AsVisitor<'ctx, BlockingSpin>,
{
#[track_caller]
fn visit_value_and_done<'a, T>(&'a mut self, value: T)
where
- T: type_name::WithLt<'a, 'ctx>,
+ T: type_name::WithLt<'a, 'ctx> + DynBind<BlockingSpin>,
type_name::Raised<'a, 'ctx, T>: type_name::Static,
'ctx: 'a,
{