diff --git a/examples/coverage/src/lib.rs b/examples/coverage/src/lib.rs
index f1fbe110d..d9bf0077d 100644
--- a/examples/coverage/src/lib.rs
+++ b/examples/coverage/src/lib.rs
@@ -9,3 +9,5 @@ mod test_closures;
 mod test_functions;
 
 mod test_instance;
+
+mod test_trait;
diff --git a/examples/coverage/src/test_trait.rs b/examples/coverage/src/test_trait.rs
new file mode 100644
index 000000000..421715775
--- /dev/null
+++ b/examples/coverage/src/test_trait.rs
@@ -0,0 +1,11 @@
+// Broken..
+
+// // Co-inductive trait
+// trait TraitA {
+//     type B : TraitB;
+// }
+
+// trait TraitB {
+//     fn test<U>(other : U) -> U
+//     where U: TraitA;
+// }