Index: tests/avltree/avl.h
===================================================================
--- tests/avltree/avl.h	(revision b81fd952a5ac1533e8228e162fec0eac081416cf)
+++ tests/avltree/avl.h	(revision fcd0b9d7282c8c187cc0111baf35ab6d4fb846a2)
@@ -57,5 +57,5 @@
 void ?{}(tree(K, V) &t, K key, V value);
 
-forall(otype K, otype V)
+forall(otype K | Comparable(K), otype V)
 void ^?{}(tree(K, V) & t);
 
Index: tests/avltree/avl1.cfa
===================================================================
--- tests/avltree/avl1.cfa	(revision b81fd952a5ac1533e8228e162fec0eac081416cf)
+++ tests/avltree/avl1.cfa	(revision fcd0b9d7282c8c187cc0111baf35ab6d4fb846a2)
@@ -13,5 +13,5 @@
 }
 
-forall(otype K, otype V)
+forall(otype K| Comparable(K), otype V)
 void ^?{}(tree(K, V) & t){
   delete(t.left);