commit bb4f336ad40d968ab5913494159678111977a1e3
author Kyle Huey <khuey@kylehuey.com> Mon Mar 19 08:55:05 2018 +0000
committer Kyle Huey <khuey@kylehuey.com> Thu Oct 25 14:37:48 2018 -0700
tree 0876947af81e691c83a148666a1b6f430fd8aafb
parent c458b8a03116ac87d6097abdd8723a4a31c59df4

Implement ControlFlow for Result<C, E> C: ControlFlow instead of just Result<(), E>.

src/visit/dfsvisit.rs

diff --git a/src/visit/dfsvisit.rs b/src/visit/dfsvisit.rs
index cfb40c9..52a67eb 100644
--- a/src/visit/dfsvisit.rs
+++ b/src/visit/dfsvisit.rs
@@ -93,13 +93,13 @@
     }
 }
 
-impl<E> ControlFlow for Result<(), E> {
-    fn continuing() -> Self { Ok(()) }
+impl<C: ControlFlow, E> ControlFlow for Result<C, E> {
+    fn continuing() -> Self { Ok(C::continuing()) }
     fn should_break(&self) -> bool {
         self.is_err()
     }
     fn should_prune(&self) -> bool {
-        false
+        if let Ok(ref c) = *self { c.should_prune() } else { false }
     }
 }