1 files changed, 13 insertions, 0 deletions

diff --git a/src/test/ui/issues/issue-3012-2.rs b/src/test/ui/issues/issue-3012-2.rs
new file mode 100644
index 000000000..7d32c51f5
--- /dev/null
+++ b/src/test/ui/issues/issue-3012-2.rs
@@ -0,0 +1,13 @@
+// run-pass
+// aux-build:issue-3012-1.rs
+
+// pretty-expanded FIXME #23616
+
+extern crate socketlib;
+
+use socketlib::socket;
+
+pub fn main() {
+    let fd: u32 = 1 as u32;
+    let _sock: Box<_> = Box::new(socket::socket_handle(fd));
+}