From b30daa6eefcd27a4e6ddccc6ccfc933ab28a80c6 Mon Sep 17 00:00:00 2001
From: Tim Chevalier <chevalier@alum.wellesley.edu>
Date: Tue, 29 May 2012 17:05:17 -0700
Subject: [PATCH] Test case for issue 2380

---
 src/test/auxiliary/issue-2380.rs  | 10 ++++++++++
 src/test/run-pass/issue-2380-b.rs |  8 ++++++++
 2 files changed, 18 insertions(+)
 create mode 100644 src/test/auxiliary/issue-2380.rs
 create mode 100644 src/test/run-pass/issue-2380-b.rs

diff --git a/src/test/auxiliary/issue-2380.rs b/src/test/auxiliary/issue-2380.rs
new file mode 100644
index 000000000000..b7f7004600e1
--- /dev/null
+++ b/src/test/auxiliary/issue-2380.rs
@@ -0,0 +1,10 @@
+#[link(name = "a", vers = "0.0")];
+#[crate_type = "lib"];
+
+iface i<T> { }
+
+fn f<T>() -> i<T> {
+    impl <T> of i<T> for () { }
+
+    () as i::<T>
+}
diff --git a/src/test/run-pass/issue-2380-b.rs b/src/test/run-pass/issue-2380-b.rs
new file mode 100644
index 000000000000..012d391edb80
--- /dev/null
+++ b/src/test/run-pass/issue-2380-b.rs
@@ -0,0 +1,8 @@
+// xfail-fast
+// aux-build:issue-2380.rs
+
+use a;
+
+fn main() {
+    a::f::<()>();
+}