Add comment to Abort match arm

Co-authored-by: Ralf Jung <post@ralfj.de>
This commit is contained in:
ecstatic-morse 2020-10-04 13:02:54 -07:00 committed by GitHub
parent 25fdbaff44
commit fe97990e23
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23

View file

@ -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")
}