diff --git a/src/librustc_mir/interpret/memory.rs b/src/librustc_mir/interpret/memory.rs
index 3c7cded5ba60..cc8bed770c46 100644
--- a/src/librustc_mir/interpret/memory.rs
+++ b/src/librustc_mir/interpret/memory.rs
@@ -448,7 +448,7 @@ impl<'a, 'mir, 'tcx, M: Machine<'a, 'mir, 'tcx>> Memory<'a, 'mir, 'tcx, M> {
                         "allocation missing in dead_alloc_map"
                     ))
                 },
-                _ => err!(DanglingPointerDeref),
+                InboundsCheck::Live => err!(DanglingPointerDeref),
             },
         }
     }