about summary refs log tree commit diff
path: root/compiler/rustc_infer/src/traits/structural_impls.rs
diff options
context:
space:
mode:
authorbors <bors@rust-lang.org>2020-11-17 12:24:34 +0000
committerbors <bors@rust-lang.org>2020-11-17 12:24:34 +0000
commite0ef0fc392963438af5f0343bf7caa46fb9c3ec3 (patch)
tree09c055c1bb788117e9859f716726fb8d00314029 /compiler/rustc_infer/src/traits/structural_impls.rs
parentefcb3b39203a0d54269ca274601b8f73207fe10d (diff)
parentf6e6a15f076360e70b6dafa3414d62374c372ad7 (diff)
downloadrust-e0ef0fc392963438af5f0343bf7caa46fb9c3ec3.tar.gz
rust-e0ef0fc392963438af5f0343bf7caa46fb9c3ec3.zip
Auto merge of #78779 - LeSeulArtichaut:ty-visitor-return, r=oli-obk
Introduce `TypeVisitor::BreakTy`

Implements MCP rust-lang/compiler-team#383.
r? `@ghost`
cc `@lcnr` `@oli-obk`

~~Blocked on FCP in rust-lang/compiler-team#383.~~
Diffstat (limited to 'compiler/rustc_infer/src/traits/structural_impls.rs')
-rw-r--r--compiler/rustc_infer/src/traits/structural_impls.rs2
1 files changed, 1 insertions, 1 deletions
diff --git a/compiler/rustc_infer/src/traits/structural_impls.rs b/compiler/rustc_infer/src/traits/structural_impls.rs
index d8a1993b6cb..c4a2ecee096 100644
--- a/compiler/rustc_infer/src/traits/structural_impls.rs
+++ b/compiler/rustc_infer/src/traits/structural_impls.rs
@@ -69,7 +69,7 @@ impl<'tcx, O: TypeFoldable<'tcx>> TypeFoldable<'tcx> for traits::Obligation<'tcx
         }
     }
 
-    fn super_visit_with<V: TypeVisitor<'tcx>>(&self, visitor: &mut V) -> ControlFlow<()> {
+    fn super_visit_with<V: TypeVisitor<'tcx>>(&self, visitor: &mut V) -> ControlFlow<V::BreakTy> {
         self.predicate.visit_with(visitor)
     }
 }