bendns' repos / treaty
Diffstat (limited to 'src/walk/walkers/core/value.rs')
-rw-r--r--src/walk/walkers/core/value.rs20
1 files changed, 11 insertions, 9 deletions
diff --git a/src/walk/walkers/core/value.rs b/src/walk/walkers/core/value.rs
index 3067a3d..ec5379d 100644
--- a/src/walk/walkers/core/value.rs
+++ b/src/walk/walkers/core/value.rs
@@ -1,12 +1,15 @@
use effectful::{
+ bound::Dynamic,
bound::IsSync,
effective::Effective,
- environment::{DynBind, Environment, NativeForm}, SendSync,
- bound::Dynamic
+ environment::{DynBind, Environment, NativeForm},
+ SendSync,
};
use crate::{
- any::{BorrowedStatic, OwnedStatic, TempBorrowedStatic, BorrowedStaticHrt, TempBorrowedStaticHrt},
+ any::{
+ BorrowedStatic, BorrowedStaticHrt, OwnedStatic, TempBorrowedStatic, TempBorrowedStaticHrt,
+ },
never::Never,
protocol::{
visitor::{visit_value, EffectiveVisitExt as _, VisitResult},
@@ -58,7 +61,7 @@ where
visitor: DynVisitor<'b, 'ctx, E>,
) -> NativeForm<'c, Result<Self::Output, Self::Error>, E> {
// Attempt to visit using the value protocol.
- visit_value::<OwnedStatic<T>, E>(visitor, OwnedStatic(self.0.0))
+ visit_value::<OwnedStatic<T>, E>(visitor, OwnedStatic(self.0 .0))
.map((), |_, _| Ok(()))
.cast()
}
@@ -78,12 +81,11 @@ impl<'ctx, T: ?Sized> BorrowWalker<'ctx, T> {
}
}
-impl<'ctx, T: ?Sized + 'static, E: Environment> crate::Walker<'ctx, E>
- for BorrowWalker<'ctx, T>
+impl<'ctx, T: ?Sized + 'static, E: Environment> crate::Walker<'ctx, E> for BorrowWalker<'ctx, T>
where
Dynamic<&'ctx T>: DynBind<E>,
Dynamic<BorrowedStatic<'ctx, T>>: DynBind<E>,
- for<'a> Dynamic<TempBorrowedStatic<'a, T>>: DynBind<E>
+ for<'a> Dynamic<TempBorrowedStatic<'a, T>>: DynBind<E>,
{
type Error = Never;
@@ -97,12 +99,12 @@ where
// Attempt to visit using the value protocol.
E::value((self, visitor))
.update((), |_, (this, visitor)| {
- visit_value::<_, E>(visitor.cast(), BorrowedStatic(this.0.0))
+ visit_value::<_, E>(visitor.cast(), BorrowedStatic(this.0 .0))
.map((), |_, x| VisitResult::unit_skipped(x))
.cast()
})
.if_skipped((), |_, (this, visitor)| {
- visit_value::<_, E>(visitor.cast(), TempBorrowedStatic(this.0.0))
+ visit_value::<_, E>(visitor.cast(), TempBorrowedStatic(this.0 .0))
.map((), |_, x| VisitResult::unit_skipped(x))
.cast()
})