Relax cleanup to cleanup check

diff --git a/src/librustc_mir/transform/validate.rs b/src/librustc_mir/transform/validate.rs
index 339b1469f123727b31157ca975a8226041f9d985..252ac2a00b292bf224416b2de7a18d4118171cb9 100644 (file)
--- a/src/librustc_mir/transform/validate.rs
+++ b/src/librustc_mir/transform/validate.rs
@@ -62,8 +62,8 @@ fn check_bb(&self, location: Location, bb: BasicBlock, edge_kind: EdgeKind) {
                 (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(