Diffstat (limited to 'tests/protocol_walker_hint.rs')
| -rw-r--r-- | tests/protocol_walker_hint.rs | 13 |
1 files changed, 8 insertions, 5 deletions
diff --git a/tests/protocol_walker_hint.rs b/tests/protocol_walker_hint.rs index 75c8d94..4928752 100644 --- a/tests/protocol_walker_hint.rs +++ b/tests/protocol_walker_hint.rs @@ -3,7 +3,10 @@ use std::any::TypeId; use common::protocol::hint::MockHintWalker; use treaty::{ any::TypeNameId, - effect::{Blocking, Effect, Future, ReadyValue, Spin}, + effect::{ + blocking::{Blocking, Spin}, + Effect, Effective, ErasedEffective, + }, hkt::higher_ranked_type, protocol::{ walker::hint::{self, Hint, HintMeta, HintProto, Meta, MetaKnown}, @@ -109,14 +112,14 @@ fn known_can_have_temp_mutable_borrow() { &'a mut self, _visitor: DynVisitor<'a, 'ctx>, _hint: <MyProtocol as HintMeta>::Hint, - ) -> Future<'a, Flow, Blocking> { + ) -> ErasedEffective<'a, Flow, Blocking> { unreachable!() } fn known<'a>( &'a mut self, (): &'a <MyProtocol as HintMeta>::Hint, - ) -> Future<'a, Result<MetaKnown<'a, 'ctx, MyProtocol>, ()>, Blocking> { + ) -> ErasedEffective<'a, Result<MetaKnown<'a, 'ctx, MyProtocol>, ()>, Blocking> { self.0.push_str("test"); Blocking::<Spin>::ready(Ok(Known(self.0))) @@ -168,14 +171,14 @@ fn known_can_have_context_borrow() { &'a mut self, _visitor: DynVisitor<'a, 'ctx>, _hint: <MyProtocol as HintMeta>::Hint, - ) -> Future<'a, Flow, Blocking> { + ) -> ErasedEffective<'a, Flow, Blocking> { unreachable!() } fn known<'a>( &'a mut self, (): &'a <MyProtocol as HintMeta>::Hint, - ) -> Future<'a, Result<MetaKnown<'a, 'ctx, MyProtocol>, ()>, Blocking> { + ) -> ErasedEffective<'a, Result<MetaKnown<'a, 'ctx, MyProtocol>, ()>, Blocking> { Blocking::<Spin>::ready(Ok(Known(self.0))) } } |