Diffstat (limited to 'src/protocol/visitor/request_hint.rs')
| -rw-r--r-- | src/protocol/visitor/request_hint.rs | 7 |
1 files changed, 5 insertions, 2 deletions
diff --git a/src/protocol/visitor/request_hint.rs b/src/protocol/visitor/request_hint.rs index 183014f..ae2fcbf 100644 --- a/src/protocol/visitor/request_hint.rs +++ b/src/protocol/visitor/request_hint.rs @@ -2,7 +2,8 @@ use effectful::{ effective::Effective, environment::{DynBind, Environment, NativeForm}, for_lt, - higher_ranked::Mut, SendSync, + higher_ranked::Mut, + SendSync, }; use crate::{ @@ -69,6 +70,8 @@ pub fn request_hint<'ctx: 'visitor + 'walker, 'visitor: 'e, 'walker: 'e, 'e, E: E::value(VisitResult::Skipped(())).cast() } }) - .map((), |_, ((_, walker), result)| result.map_skipped(|_| walker)) + .map((), |_, ((_, walker), result)| { + result.map_skipped(|_| walker) + }) .cast() } |