Add comment for assert_inhabited in compiler/rustc_mir/src/interpret/intrinsics.rs

Co-authored-by: Ralf Jung <post@ralfj.de>

1 files changed, 2 insertions, 0 deletions

diff --git a/compiler/rustc_mir/src/interpret/intrinsics.rs b/compiler/rustc_mir/src/interpret/intrinsics.rs
index c25a312bb5a..2ffb7a05f25 100644
--- a/compiler/rustc_mir/src/interpret/intrinsics.rs
+++ b/compiler/rustc_mir/src/interpret/intrinsics.rs
@@ -412,6 +412,8 @@ impl<'mir, 'tcx: 'mir, M: Machine<'mir, 'tcx>> InterpCx<'mir, 'tcx, M> {
                 let layout = self.layout_of(ty)?;
 
                 if layout.abi.is_uninhabited() {
+                    // The run-time intrinsic panics just to get a good backtrace; here we abort
+                    // since there is no problem showing a backtrace even for aborts.
                     M::abort(self, format!("attempted to instantiate uninhabited type `{}`", ty))?;
                 }
             }