Index: tests/.expect/forall.txt
===================================================================
--- tests/.expect/forall.txt	(revision 1f3d2124e67bdfe517c68a9121cdb0013b8e3780)
+++ tests/.expect/forall.txt	(revision 6448f7dbcb0ede7d8870a484984309f28797cbb4)
@@ -1,1 +1,1 @@
-forall.cfa:216:25: warning: Compiled
+forall.cfa:242:25: warning: Compiled
Index: tests/forall.cfa
===================================================================
--- tests/forall.cfa	(revision 1f3d2124e67bdfe517c68a9121cdb0013b8e3780)
+++ tests/forall.cfa	(revision 6448f7dbcb0ede7d8870a484984309f28797cbb4)
@@ -199,4 +199,30 @@
 }
 
+forall( T ) void check_otype() {
+	T & tr = *0p;
+	T * tp = 0p;
+
+	&tr += 1;
+	tp += 1;
+	T & tx = tp[1];
+
+	T t;
+	T t2 = t;
+}
+
+forall( T * ) void check_dstype() {
+	T & tr = *0p;
+	T * tp = 0p;
+
+	&tr += 1;
+	tp += 1;
+	T & tx = tp[1];
+}
+
+forall( T & ) void check_dtype() {
+	T & tr = *0p;
+	T * tp = 0p;
+}
+
 //otype T1 | { void xxx( T1 ); };