diff options
| author | Ralf Jung <post@ralfj.de> | 2023-08-21 09:57:10 +0200 |
|---|---|---|
| committer | Ralf Jung <post@ralfj.de> | 2023-08-24 13:28:26 +0200 |
| commit | 3f4145e169f73392c3f5d0d8acf8840b2e8fc189 (patch) | |
| tree | 0e8f61e6133598fb74fb0abeb8d50b195589c1a0 /src/constant.rs | |
| parent | 18658cb0c9320d5a028246562ed40663ea72371b (diff) | |
when terminating during unwinding, show the reason why
Diffstat (limited to 'src/constant.rs')
| -rw-r--r-- | src/constant.rs | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/constant.rs b/src/constant.rs index 7db5f79eead..a934b0767f1 100644 --- a/src/constant.rs +++ b/src/constant.rs @@ -551,7 +551,7 @@ pub(crate) fn mir_operand_get_const_val<'tcx>( TerminatorKind::Goto { .. } | TerminatorKind::SwitchInt { .. } | TerminatorKind::UnwindResume - | TerminatorKind::UnwindTerminate + | TerminatorKind::UnwindTerminate(_) | TerminatorKind::Return | TerminatorKind::Unreachable | TerminatorKind::Drop { .. } |