1 files changed, 16 insertions, 0 deletions
diff --git a/tests/ui/traits/generic-trait-impl-aliased-array-58212.rs b/tests/ui/traits/generic-trait-impl-aliased-array-58212.rs
new file mode 100644
index 00000000000..a71194ba806
--- /dev/null
+++ b/tests/ui/traits/generic-trait-impl-aliased-array-58212.rs
@@ -0,0 +1,16 @@
+// https://github.com/rust-lang/rust/issues/58212
+//@ check-pass
+
+trait FromUnchecked {
+    fn from_unchecked();
+}
+
+impl FromUnchecked for [u8; 1] {
+    fn from_unchecked() {
+        let mut array: Self = [0; 1];
+        let _ptr = &mut array as *mut [u8] as *mut u8;
+    }
+}
+
+fn main() {
+}