diff options
| author | Nathan Corbyn <me@nathancorbyn.com> | 2020-06-08 16:00:09 +0100 |
|---|---|---|
| committer | Nathan Corbyn <me@nathancorbyn.com> | 2020-06-08 16:00:09 +0100 |
| commit | 4158bb0f0b06a3a47042ab5e5cbc70075bec8805 (patch) | |
| tree | 2deb3f85487dd32cef08947258daf24431a29d3f | |
| parent | 3aedfbecfd3eaf8a0d4174d2a42a91d3eac77c25 (diff) | |
| download | rust-4158bb0f0b06a3a47042ab5e5cbc70075bec8805.tar.gz rust-4158bb0f0b06a3a47042ab5e5cbc70075bec8805.zip | |
Relax cleanup to cleanup check
| -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( |