1 files changed, 0 insertions, 16 deletions

diff --git a/src/test/ui/issues/issue-1251.rs b/src/test/ui/issues/issue-1251.rs
deleted file mode 100644
index c2c047c79..000000000
--- a/src/test/ui/issues/issue-1251.rs
+++ /dev/null
@@ -1,16 +0,0 @@
-// 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() {}