Skip to content

Commit

Permalink
Add comment to Abort match arm
Browse files Browse the repository at this point in the history
Co-authored-by: Ralf Jung <post@ralfj.de>
  • Loading branch information
ecstatic-morse and RalfJung committed Oct 4, 2020
1 parent 25fdbaf commit fe97990
Showing 1 changed file with 1 addition and 0 deletions.
Expand Up @@ -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")
}

Expand Down

0 comments on commit fe97990

Please sign in to comment.