Diffstat (limited to 'src/protocol/walker/hint.rs')
| -rw-r--r-- | src/protocol/walker/hint.rs | 8 |
1 files changed, 4 insertions, 4 deletions
diff --git a/src/protocol/walker/hint.rs b/src/protocol/walker/hint.rs index a580ab0..8707923 100644 --- a/src/protocol/walker/hint.rs +++ b/src/protocol/walker/hint.rs @@ -6,7 +6,7 @@ use crate::{ any::TypeName, - effect::{Effect, ObjSafe}, + effect::{Effect, ErasedEffective}, higher_ranked_trait, higher_ranked_type, hkt::Marker, protocol::DynVisitor, @@ -17,7 +17,7 @@ higher_ranked_trait! { pub type class Meta for<'a, 'ctx> { type Bound = &'a &'ctx (); - type T: { Send + Sized } where { 'ctx: 'a }; + type T: { Send + Sync + Sized } where { 'ctx: 'a }; type HigherRanked: { }; } @@ -58,13 +58,13 @@ pub trait Hint<'ctx, Protocol: ?Sized + HintMeta> { &'a mut self, visitor: DynVisitor<'a, 'ctx>, hint: MetaHint<'a, 'ctx, Protocol>, - ) -> ObjSafe<'a, Flow, Protocol::Effect>; + ) -> ErasedEffective<'a, Flow, Protocol::Effect>; /// Ask the walker for information about it's support of the protocol. fn known<'a>( &'a mut self, hint: &'a MetaHint<'a, 'ctx, Protocol>, - ) -> ObjSafe<'a, Result<MetaKnown<'a, 'ctx, Protocol>, ()>, Protocol::Effect>; + ) -> ErasedEffective<'a, Result<MetaKnown<'a, 'ctx, Protocol>, ()>, Protocol::Effect>; } pub struct HintProto<Protocol: ?Sized>(Marker<Protocol>); |