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::<()>();
+}