From 1c8c1b2181e1b369977448db6b8965a5adab90eb Mon Sep 17 00:00:00 2001
From: Brian Anderson <banderson@mozilla.com>
Date: Fri, 2 Nov 2012 15:37:21 -0700
Subject: [PATCH] Add xfailed test for #3907

---
 src/test/auxiliary/trait_typedef_cc.rs |  3 +++
 src/test/run-pass/trait-typedef-cc.rs  | 20 ++++++++++++++++++++
 2 files changed, 23 insertions(+)
 create mode 100644 src/test/auxiliary/trait_typedef_cc.rs
 create mode 100644 src/test/run-pass/trait-typedef-cc.rs

diff --git a/src/test/auxiliary/trait_typedef_cc.rs b/src/test/auxiliary/trait_typedef_cc.rs
new file mode 100644
index 000000000000..5dc502930aee
--- /dev/null
+++ b/src/test/auxiliary/trait_typedef_cc.rs
@@ -0,0 +1,3 @@
+pub trait Foo {
+    fn bar();
+}
diff --git a/src/test/run-pass/trait-typedef-cc.rs b/src/test/run-pass/trait-typedef-cc.rs
new file mode 100644
index 000000000000..0e59cea67998
--- /dev/null
+++ b/src/test/run-pass/trait-typedef-cc.rs
@@ -0,0 +1,20 @@
+// xfail-test FIXME: #3907
+// aux-build:trait_typedef_cc.rs
+extern mod trait_typedef_cc;
+
+type Foo = trait_typedef_cc::Foo;
+
+struct S {
+    name: int
+}
+
+impl S: Foo {
+    fn bar() { }
+}
+
+fn main() {
+    let s = S {
+        name: 0
+    };
+    s.bar();
+}
\ No newline at end of file