diff options
| author | ecstatic-morse <ecstaticmorse@gmail.com> | 2020-10-04 13:02:54 -0700 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2020-10-04 13:02:54 -0700 |
| commit | fe97990e2395d46aceb9472fd04704c623c8eb0e (patch) | |
| tree | 0045ad07ddbdc4324a027016f6558dcc392ba26d | |
| parent | 25fdbaff444580bb07783861579653bf81657f5b (diff) | |
| download | rust-fe97990e2395d46aceb9472fd04704c623c8eb0e.tar.gz rust-fe97990e2395d46aceb9472fd04704c623c8eb0e.zip | |
Add comment to `Abort` match arm
Co-authored-by: Ralf Jung <post@ralfj.de>
| -rw-r--r-- | compiler/rustc_mir/src/transform/check_consts/validation.rs | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/compiler/rustc_mir/src/transform/check_consts/validation.rs b/compiler/rustc_mir/src/transform/check_consts/validation.rs index cb9feba260f..94806116eaf 100644 --- a/compiler/rustc_mir/src/transform/check_consts/validation.rs +++ b/compiler/rustc_mir/src/transform/check_consts/validation.rs @@ -882,6 +882,7 @@ impl Visitor<'tcx> for Validator<'mir, 'tcx> { } TerminatorKind::Abort => { + // Cleanup blocks are skipped for const checking (see `visit_basic_block_data`). span_bug!(self.span, "`Abort` terminator outside of cleanup block") } |