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