Index: src/tests/.expect/completeTypeError.txt
===================================================================
--- src/tests/.expect/completeTypeError.txt	(revision 2c57025b9dec0a2c5dae7c32ad6e1ac3ccf8f76e)
+++ src/tests/.expect/completeTypeError.txt	(revision 2c57025b9dec0a2c5dae7c32ad6e1ac3ccf8f76e)
@@ -0,0 +1,32 @@
+CFA Version 1.0.0 (debug)
+Error: No reasonable alternatives for expression Applying untyped: 
+  Name: baz
+...to: 
+  Name: v
+
+
+Error: No reasonable alternatives for expression Applying untyped: 
+  Name: quux
+...to: 
+  Name: v
+
+
+Error: No reasonable alternatives for expression Applying untyped: 
+  Name: baz
+...to: 
+  Name: y
+
+
+Error: No reasonable alternatives for expression Applying untyped: 
+  Name: quux
+...to: 
+  Name: y
+
+
+Error: No reasonable alternatives for expression Applying untyped: 
+  Name: baz
+...to: 
+  Name: z
+
+
+make: *** [completeTypeError] Error 1
Index: src/tests/Makefile.am
===================================================================
--- src/tests/Makefile.am	(revision 186fd864a423a60033d1f353374a4070a3294b18)
+++ src/tests/Makefile.am	(revision 2c57025b9dec0a2c5dae7c32ad6e1ac3ccf8f76e)
@@ -65,2 +65,4 @@
 	${CC} ${CFALGS} -DERR1 ${<} -o ${@}
 
+completeTypeError : completeTypeError.c
+	${CC} ${CFALGS} -DERR1 ${<} -o ${@}
Index: src/tests/Makefile.in
===================================================================
--- src/tests/Makefile.in	(revision 186fd864a423a60033d1f353374a4070a3294b18)
+++ src/tests/Makefile.in	(revision 2c57025b9dec0a2c5dae7c32ad6e1ac3ccf8f76e)
@@ -673,4 +673,7 @@
 	${CC} ${CFALGS} -DERR1 ${<} -o ${@}
 
+completeTypeError : completeTypeError.c
+	${CC} ${CFALGS} -DERR1 ${<} -o ${@}
+
 # Tell versions [3.59,3.63) of GNU make to not export all variables.
 # Otherwise a system limit (for SysV at least) may be exceeded.
Index: src/tests/completeTypeError.c
===================================================================
--- src/tests/completeTypeError.c	(revision 2c57025b9dec0a2c5dae7c32ad6e1ac3ccf8f76e)
+++ src/tests/completeTypeError.c	(revision 2c57025b9dec0a2c5dae7c32ad6e1ac3ccf8f76e)
@@ -0,0 +1,57 @@
+void foo(int *) {}
+void bar(void *) {}
+forall(otype T) void baz(T *);
+forall(dtype T) void qux(T *);
+forall(dtype T | sized(T)) void quux(T *);
+
+int main() {
+	int *i;
+	void *v;
+
+	// okay
+	foo(i);
+	bar(i);
+	baz(i);
+	qux(i);
+	quux(i);
+
+	bar(v);
+	qux(v);
+	foo(v); // questionable, but works at the moment for C compatibility
+
+	// bad
+	baz(v);
+	quux(v);
+}
+
+forall(otype T)
+void baz(T * x) {
+	// okay
+	bar(x);
+	baz(x);
+	qux(x);
+	quux(x);
+}
+
+forall(dtype T)
+void qux(T * y) {
+	// okay
+	bar(y);
+	qux(y);
+
+	// bad
+	baz(y);
+	quux(y);
+}
+
+forall(dtype T | sized(T))
+void qux(T * z) {
+	// okay
+	bar(z);
+	qux(z);
+	quux(z);
+
+	// bad
+	baz(z);
+}
+