diff --git a/src/stacked_borrows.rs b/src/stacked_borrows.rs
index 32715157a771..0ab9dabab9b7 100644
--- a/src/stacked_borrows.rs
+++ b/src/stacked_borrows.rs
@@ -533,9 +533,7 @@ trait EvalContextPrivExt<'mir, 'tcx: 'mir>: crate::MiriEvalContextExt<'mir, 'tcx
     ) -> InterpResult<'tcx> {
         let this = self.eval_context_mut();
         let protector = if protect { Some(this.frame().extra) } else { None };
-        let ptr = this.memory.check_ptr_access(place.ptr, size, place.align)
-            .expect("validity checks should have excluded dangling/unaligned pointer")
-            .expect("we shouldn't get here for ZST");
+        let ptr = place.ptr.to_ptr().expect("we should have a proper pointer");
         trace!("reborrow: {} reference {:?} derived from {:?} (pointee {}): {:?}, size {}",
             kind, new_tag, ptr.tag, place.layout.ty, ptr.erase_tag(), size.bytes());
 
@@ -583,11 +581,13 @@ trait EvalContextPrivExt<'mir, 'tcx: 'mir>: crate::MiriEvalContextExt<'mir, 'tcx
         let size = this.size_and_align_of_mplace(place)?
             .map(|(size, _)| size)
             .unwrap_or_else(|| place.layout.size);
+        // We can see dangling ptrs in here e.g. after a Box's `Unique` was
+        // updated using "self.0 = ..." (can happen in Box::from_raw); see miri#1050.
+        let place = this.mplace_access_checked(place)?;
         if size == Size::ZERO {
             // Nothing to do for ZSTs.
             return Ok(*val);
         }
-        let place = this.force_mplace_ptr(place)?;
 
         // Compute new borrow.
         let new_tag = match kind {
diff --git a/tests/compile-fail/stacked_borrows/issue-miri-1050-1.rs b/tests/compile-fail/stacked_borrows/issue-miri-1050-1.rs
new file mode 100644
index 000000000000..24df70a8179f
--- /dev/null
+++ b/tests/compile-fail/stacked_borrows/issue-miri-1050-1.rs
@@ -0,0 +1,6 @@
+// error-pattern: pointer must be in-bounds
+
+fn main() { unsafe {
+    let ptr = Box::into_raw(Box::new(0u16));
+    Box::from_raw(ptr as *mut u32);
+} }
diff --git a/tests/compile-fail/stacked_borrows/issue-miri-1050-2.rs b/tests/compile-fail/stacked_borrows/issue-miri-1050-2.rs
new file mode 100644
index 000000000000..74aab153ea90
--- /dev/null
+++ b/tests/compile-fail/stacked_borrows/issue-miri-1050-2.rs
@@ -0,0 +1,7 @@
+// error-pattern: dangling pointer was dereferenced
+use std::ptr::NonNull;
+
+fn main() { unsafe {
+    let ptr = NonNull::<i32>::dangling();
+    Box::from_raw(ptr.as_ptr());
+} }
diff --git a/tests/run-pass/miri-issue-133.rs b/tests/run-pass/issue-miri-133.rs
similarity index 100%
rename from tests/run-pass/miri-issue-133.rs
rename to tests/run-pass/issue-miri-133.rs