diff options
Diffstat (limited to 'src/test/ui/issues/issue-13872.rs')
-rw-r--r-- | src/test/ui/issues/issue-13872.rs | 12 |
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(); -} |