1 files changed, 13 insertions, 0 deletions

diff --git a/tests/ui/issues/issue-23433.rs b/tests/ui/issues/issue-23433.rs
new file mode 100644
index 000000000..d4fbbde62
--- /dev/null
+++ b/tests/ui/issues/issue-23433.rs
@@ -0,0 +1,13 @@
+// run-pass
+// Don't fail if we encounter a NonNull<T> where T is an unsized type
+
+use std::ptr::NonNull;
+
+fn main() {
+    let mut a = [0u8; 5];
+    let b: Option<NonNull<[u8]>> = Some(NonNull::from(&mut a));
+    match b {
+        Some(_) => println!("Got `Some`"),
+        None => panic!("Unexpected `None`"),
+    }
+}