Index: tests/global-monomorph.cfa
===================================================================
--- tests/global-monomorph.cfa	(revision afe2939a30aac00ce0015efe45885467dd1a3fc3)
+++ tests/global-monomorph.cfa	(revision e867b44d29a219d9ae0b5a5cbb9ef66e02f065fa)
@@ -1,11 +1,11 @@
 // Create monomorphic instances of polymorphic types at global scope.
 
-forall(dtype T)
+forall(T &)
 void poly0(T &) {}
 
-forall(dtype T | sized(T))
+forall(T & | sized(T))
 void poly1(T &) {}
 
-forall(otype T)
+forall(T)
 void poly2(T &) {}