1 files changed, 16 insertions, 0 deletions

diff --git a/src/test/ui/issues/issue-1251.rs b/src/test/ui/issues/issue-1251.rs
new file mode 100644
index 000000000..c2c047c79
--- /dev/null
+++ b/src/test/ui/issues/issue-1251.rs
@@ -0,0 +1,16 @@
+// build-pass
+#![allow(unused_attributes)]
+#![allow(dead_code)]
+// pretty-expanded FIXME #23616
+// ignore-wasm32-bare no libc to test ffi with
+#![feature(rustc_private)]
+
+mod rustrt {
+    extern crate libc;
+
+    extern "C" {
+        pub fn rust_get_test_int() -> libc::intptr_t;
+    }
+}
+
+pub fn main() {}