Index: tests/.expect/completeTypeError.txt
===================================================================
--- tests/.expect/completeTypeError.txt	(revision f88a252f8962f3993b73e138b12652af950cd42d)
+++ tests/.expect/completeTypeError.txt	(revision dd857bb5c31f5f9dbb8ca6e44a3191e0ad19fbbe)
@@ -8,47 +8,47 @@
 ... to: nothing Alternatives are:
 Cost ( 0, 1, 2, 0, 1, -1, 0 ): Generated Cast of:
-     Application of
-       Variable Expression: *?: forall
-         DT: object type
-         function
-       ... with parameters
-         intrinsic pointer to instance of type DT (not function type)
-       ... returning
-         _retval__operator_deref: reference to instance of type DT (not function type)
-         ... with attributes:
-           Attribute with name: unused
+      Application of
+        Variable Expression: *?: forall
+          DT: object type
+          function
+        ... with parameters
+          intrinsic pointer to instance of type DT (not function type)
+        ... returning
+          _retval__operator_deref: reference to instance of type DT (not function type)
+          ... with attributes:
+            Attribute with name: unused
 
 
-     ... to arguments
-       Variable Expression: x: pointer to instance of struct A with body 0
+      ... to arguments
+        Variable Expression: x: pointer to instance of struct A with body 0
 
-   ... to: nothing
- (types:
-   void 
- )
- Environment:( _82_4_DT ) -> instance of struct A with body 0 (no widening)
+    ... to: nothing
+  (types:
+    void 
+  )
+  Environment:( _82_4_DT ) -> instance of struct A with body 0 (no widening)
 
 
 Cost ( 0, 1, 2, 0, 1, -1, 0 ): Generated Cast of:
-     Application of
-       Variable Expression: *?: forall
-         DT: object type
-         function
-       ... with parameters
-         intrinsic pointer to instance of type DT (not function type)
-       ... returning
-         _retval__operator_deref: reference to instance of type DT (not function type)
-         ... with attributes:
-           Attribute with name: unused
+      Application of
+        Variable Expression: *?: forall
+          DT: object type
+          function
+        ... with parameters
+          intrinsic pointer to instance of type DT (not function type)
+        ... returning
+          _retval__operator_deref: reference to instance of type DT (not function type)
+          ... with attributes:
+            Attribute with name: unused
 
 
-     ... to arguments
-       Variable Expression: x: pointer to instance of struct B with body 1
+      ... to arguments
+        Variable Expression: x: pointer to instance of struct B with body 1
 
-   ... to: nothing
- (types:
-   void 
- )
- Environment:( _82_4_DT ) -> instance of struct B with body 1 (no widening)
+    ... to: nothing
+  (types:
+    void 
+  )
+  Environment:( _82_4_DT ) -> instance of struct B with body 1 (no widening)
 
 
@@ -84,58 +84,58 @@
   Name: z
 
-   Unsatisfiable alternative:
+      Unsatisfiable alternative:
 Cost ( 0, 1, 0, 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
+            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)
+                ... 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)
+                  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
+                ^?{}: 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
+              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)
+          ... to arguments
+            Variable Expression: z: pointer to instance of type T (not function type)
 
-     (types:
-       void 
-     )
-     Environment:( _101_0_T ) -> instance of type T (not function type) (no widening)
+        (types:
+          void 
+        )
+        Environment:( _101_0_T ) -> instance of type T (not function type) (no widening)
 
-   Could not satisfy assertion:
+      Could not satisfy assertion:
 ?=?: pointer to function
-     ... with parameters
-       reference to instance of type _101_0_T (not function type)
-       instance of type _101_0_T (not function type)
-     ... returning
-       _retval__operator_assign: instance of type _101_0_T (not function type)
-       ... with attributes:
-         Attribute with name: unused
+        ... with parameters
+          reference to instance of type _101_0_T (not function type)
+          instance of type _101_0_T (not function type)
+        ... returning
+          _retval__operator_assign: instance of type _101_0_T (not function type)
+          ... with attributes:
+            Attribute with name: unused
 
 
