1 files changed, 12 insertions, 0 deletions

diff --git a/src/test/ui/issues/issue-43923.rs b/src/test/ui/issues/issue-43923.rs
new file mode 100644
index 000000000..ad35a6685
--- /dev/null
+++ b/src/test/ui/issues/issue-43923.rs
@@ -0,0 +1,12 @@
+// run-pass
+#![allow(dead_code)]
+#![allow(unused_variables)]
+struct A<T: ?Sized> { ptr: T }
+
+fn foo<T>(x: &A<[T]>) {}
+
+fn main() {
+    let a = foo;
+    let b = A { ptr: [a, a, a] };
+    a(&A { ptr: [()] });
+}