From 4158bb0f0b06a3a47042ab5e5cbc70075bec8805 Mon Sep 17 00:00:00 2001
From: Nathan Corbyn <me@nathancorbyn.com>
Date: Mon, 8 Jun 2020 16:00:09 +0100
Subject: [PATCH] Relax cleanup to cleanup check

---
 src/librustc_mir/transform/validate.rs | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/src/librustc_mir/transform/validate.rs b/src/librustc_mir/transform/validate.rs
index 339b1469f123..252ac2a00b29 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(