diff options
| -rw-r--r-- | src/librustc_mir/transform/validate.rs | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/src/librustc_mir/transform/validate.rs b/src/librustc_mir/transform/validate.rs index 339b1469f12..252ac2a00b2 100644 --- a/src/librustc_mir/transform/validate.rs +++ b/src/librustc_mir/transform/validate.rs @@ -62,8 +62,8 @@ impl<'a, 'tcx> TypeChecker<'a, 'tcx> { (false, false, EdgeKind::Other) // Non-cleanup blocks can jump to cleanup blocks along unwind edges | (false, true, EdgeKind::Unwind) - // Cleanup blocks can jump to cleanup blocks along unwind edges - | (true, true, EdgeKind::Unwind) => {} + // Cleanup blocks can jump to cleanup blocks along any edges + | (true, true, _) => {} // All other jumps are invalid _ => { self.fail( |