Add example co-inductive/mutual recursion issues with trait

hacspec · Nov 25, 2024 · 5afea93 · 5afea93
1 parent f73a056
commit 5afea93
Show file tree

Hide file tree

Showing 2 changed files with 13 additions and 0 deletions.
diff --git 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
@@ -0,0 +1,11 @@
+// Broken..
+
+// // Co-inductive trait
+// trait TraitA {
+//     type B : TraitB;
+// }
+
+// trait TraitB {
+//     fn test<U>(other : U) -> U
+//     where U: TraitA;
+// }
Original file line number	Diff line number	Diff line change
Expand Up		@@ -9,3 +9,5 @@ mod test_closures;
		mod test_functions;

		mod test_instance;

		mod test_trait;