Index: tests/.expect/completeTypeError.txt
===================================================================
--- tests/.expect/completeTypeError.txt	(revision 3e06da23aa04855785665d093acbbc9b6297e66a)
+++ tests/.expect/completeTypeError.txt	(revision c9aba81c3ee82d43348c6732ccc807c623d1a2cc)
@@ -39,7 +39,54 @@
   Name: y
 
-completeTypeError.cfa:72:1 error: No reasonable alternatives for expression Applying untyped:
+completeTypeError.cfa:72:1 error: No resolvable alternatives for expression Applying untyped:
   Name: baz
 ...to:
   Name: z
 
+Alternatives with failing assertions are:
+Cost ( 0, 1, 0, 1, -5, 0 ): Application of
+     Variable Expression: baz: forall
+       T: sized object type
+       ... with assertions
+         ?=?: pointer to function
+         ... with parameters
+           reference to instance of type T (not function type)
+           instance of type T (not function type)
+         ... returning
+           _retval__operator_assign: instance of type T (not function type)
+           ... with attributes:
+             Attribute with name: unused
+
+
+         ?{}: pointer to function
+         ... with parameters
+           reference to instance of type T (not function type)
+         ... returning nothing
+
+         ?{}: pointer to function
+         ... with parameters
+           reference to instance of type T (not function type)
+           instance of type T (not function type)
+         ... returning nothing
+
+         ^?{}: pointer to function
+         ... with parameters
+           reference to instance of type T (not function type)
+         ... returning nothing
+
+
+       function
+     ... with parameters
+       pointer to instance of type T (not function type)
+     ... returning nothing
+
+   ... to arguments
+     Variable Expression: z: pointer to instance of type T (not function type)
+
+ (types:
+   void 
+ )
+ Environment:( _73_0_T ) -> instance of type T (not function type) (no widening)
+
+
+