Index: tests/.expect/castError.txt
===================================================================
--- tests/.expect/castError.txt	(revision 08222c7e49659c436f018e164b994637bf7378e1)
+++ tests/.expect/castError.txt	(revision e99e43f290a67032231db42a3e1c62f8c7ba7ca7)
@@ -4,5 +4,5 @@
 ... to:
   char Alternatives are:
-Cost ( 1, 0, 0, 0 ): Cast of:
+Cost ( 1, 0, 0, 0, 0, 0 ): Cast of:
      Variable Expression: f: function
        accepting unspecified arguments
@@ -16,5 +16,5 @@
  Environment:
 
-Cost ( 1, 0, 0, 0 ): Cast of:
+Cost ( 1, 0, 0, 0, 0, 0 ): Cast of:
      Variable Expression: f: double
    ... to:
@@ -25,5 +25,5 @@
  Environment:
 
-Cost ( 1, 0, 0, 0 ): Cast of:
+Cost ( 1, 0, 0, 0, 0, 0 ): Cast of:
      Variable Expression: f: signed int
    ... to:
Index: tests/.expect/completeTypeError.txt
===================================================================
--- tests/.expect/completeTypeError.txt	(revision 08222c7e49659c436f018e164b994637bf7378e1)
+++ tests/.expect/completeTypeError.txt	(revision e99e43f290a67032231db42a3e1c62f8c7ba7ca7)
@@ -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, 1, -5, 0, 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)
+
+
+
Index: tests/searchsort.cfa
===================================================================
--- tests/searchsort.cfa	(revision 08222c7e49659c436f018e164b994637bf7378e1)
+++ tests/searchsort.cfa	(revision e99e43f290a67032231db42a3e1c62f8c7ba7ca7)
@@ -57,5 +57,5 @@
 
 	// descending sort/search by changing < to >
-	for ( i; 0u ~ size ) {
+	for ( i; 0 ~ size ) {
 		iarr[i] = i + 1;
 		sout | iarr[i] | ", ";