Diffstat (limited to 'src/build/builders/core/bool.rs')
| -rw-r--r-- | src/build/builders/core/bool.rs | 14 |
1 files changed, 7 insertions, 7 deletions
diff --git a/src/build/builders/core/bool.rs b/src/build/builders/core/bool.rs index 26ad20d..3cb60a6 100644 --- a/src/build/builders/core/bool.rs +++ b/src/build/builders/core/bool.rs @@ -3,7 +3,7 @@ use core::marker::PhantomData; use crate::{ any::OwnedStatic, any_trait, - effect::{Effect, ObjSafe}, + effect::{Effect, Effective, ErasedEffective}, protocol::{ visitor::{Value, ValueProto, VisitResult}, DynVisitor, @@ -40,19 +40,19 @@ impl<E> crate::BuilderTypes for Builder<E> { impl<'ctx, E: Effect> crate::Builder<'ctx, E> for Builder<E> { #[inline(always)] - fn build<'a>(self) -> ObjSafe<'a, Result<Self::Value, Self::Error>, E> + fn build<'a>(self) -> ErasedEffective<'a, Result<Self::Value, Self::Error>, E> where Self: 'a, { - E::ready(self.0.ok_or(Error::Incomplete)).into() + E::ready(self.0.ok_or(Error::Incomplete)).into_erased() } #[inline(always)] - fn from_seed<'a>(_seed: Self::Seed) -> ObjSafe<'a, Self, E> + fn from_seed<'a>(_seed: Self::Seed) -> ErasedEffective<'a, Self, E> where Self: 'a, { - E::ready(Self(None, PhantomData)).into() + E::ready(Self(None, PhantomData)).into_erased() } #[inline(always)] @@ -72,11 +72,11 @@ impl<'ctx, E: Effect> Value<'ctx, OwnedStatic<bool>, E> for Builder<E> { fn visit<'a>( &'a mut self, OwnedStatic(value): OwnedStatic<bool>, - ) -> ObjSafe<'a, VisitResult<OwnedStatic<bool>>, E> + ) -> ErasedEffective<'a, VisitResult<OwnedStatic<bool>>, E> where 'ctx: 'a, { self.0 = Some(value); - E::ready(Flow::Done.into()).into() + E::ready(Flow::Done.into()).into_erased() } } |