1 files changed, 0 insertions, 12 deletions

diff --git a/src/test/ui/issues/issue-13872.rs b/src/test/ui/issues/issue-13872.rs
deleted file mode 100644
index aade6b836..000000000
--- a/src/test/ui/issues/issue-13872.rs
+++ /dev/null
@@ -1,12 +0,0 @@
-// run-pass
-// aux-build:issue-13872-1.rs
-// aux-build:issue-13872-2.rs
-// aux-build:issue-13872-3.rs
-
-// pretty-expanded FIXME #23616
-
-extern crate issue_13872_3 as other;
-
-fn main() {
-    other::foo();
-}