Index: tests/errors/.expect/completeType.x64.txt
===================================================================
--- tests/errors/.expect/completeType.x64.txt	(revision 62328b1333b8a46971f1e2494a2fb6e8bb8ace8f)
+++ tests/errors/.expect/completeType.x64.txt	(revision d685cb0c62874390f4414a633d780c35afc572f5)
@@ -6,5 +6,7 @@
     Name: x
 
-... to: nothing Alternatives are:
+... to: nothing
+with resolved type:
+  void  Alternatives are:
 Cost ( 0, 1, 2, 0, 1, -1, 0 ): Generated Cast of:
       Application of
@@ -20,8 +22,26 @@
 
 
+        with resolved type:
+          pointer to forall
+            _90_4_DT: data type
+            function
+          ... with parameters
+            intrinsic pointer to instance of type _90_4_DT (not function type)
+          ... returning
+            _retval__operator_deref: reference to instance of type _90_4_DT (not function type)
+            ... with attributes:
+              Attribute with name: unused
+
+
       ... to arguments
         Variable Expression: x: pointer to instance of struct A with body 0
-
+        with resolved type:
+          pointer to instance of struct A with body 0
+
+      with resolved type:
+        reference to instance of struct A with body 0
     ... to: nothing
+    with resolved type:
+      void 
   (types:
     void 
@@ -43,8 +63,26 @@
 
 
+        with resolved type:
+          pointer to forall
+            _90_4_DT: data type
+            function
+          ... with parameters
+            intrinsic pointer to instance of type _90_4_DT (not function type)
+          ... returning
+            _retval__operator_deref: reference to instance of type _90_4_DT (not function type)
+            ... with attributes:
+              Attribute with name: unused
+
+
       ... to arguments
         Variable Expression: x: pointer to instance of struct B with body 1
-
+        with resolved type:
+          pointer to instance of struct B with body 1
+
+      with resolved type:
+        reference to instance of struct B with body 1
     ... to: nothing
+    with resolved type:
+      void 
   (types:
     void 
@@ -121,7 +159,47 @@
             ... returning nothing
 
+            with resolved type:
+              pointer to forall
+                _109_0_T: sized data type
+                ... with assertions
+                  ?=?: pointer to function
+                  ... with parameters
+                    reference to instance of type _109_0_T (not function type)
+                    instance of type _109_0_T (not function type)
+                  ... returning
+                    _retval__operator_assign: instance of type _109_0_T (not function type)
+                    ... with attributes:
+                      Attribute with name: unused
+
+
+                  ?{}: pointer to function
+                  ... with parameters
+                    reference to instance of type _109_0_T (not function type)
+                  ... returning nothing
+
+                  ?{}: pointer to function
+                  ... with parameters
+                    reference to instance of type _109_0_T (not function type)
+                    instance of type _109_0_T (not function type)
+                  ... returning nothing
+
+                  ^?{}: pointer to function
+                  ... with parameters
+                    reference to instance of type _109_0_T (not function type)
+                  ... returning nothing
+
+
+                function
+              ... with parameters
+                pointer to instance of type _109_0_T (not function type)
+              ... returning nothing
+
           ... to arguments
             Variable Expression: z: pointer to instance of type T (not function type)
-
+            with resolved type:
+              pointer to instance of type T (not function type)
+
+          with resolved type:
+            void 
         (types:
           void 
Index: tests/errors/.expect/completeType.x86.txt
===================================================================
--- tests/errors/.expect/completeType.x86.txt	(revision 62328b1333b8a46971f1e2494a2fb6e8bb8ace8f)
+++ tests/errors/.expect/completeType.x86.txt	(revision d685cb0c62874390f4414a633d780c35afc572f5)
@@ -6,5 +6,7 @@
     Name: x
 
-... to: nothing Alternatives are:
+... to: nothing
+with resolved type:
+  void  Alternatives are:
 Cost ( 0, 1, 2, 0, 1, -1, 0 ): Generated Cast of:
       Application of
@@ -20,8 +22,26 @@
 
 
+        with resolved type:
+          pointer to forall
+            _89_4_DT: data type
+            function
+          ... with parameters
+            intrinsic pointer to instance of type _89_4_DT (not function type)
+          ... returning
+            _retval__operator_deref: reference to instance of type _89_4_DT (not function type)
+            ... with attributes:
+              Attribute with name: unused
+
+
       ... to arguments
         Variable Expression: x: pointer to instance of struct A with body 0
-
+        with resolved type:
+          pointer to instance of struct A with body 0
+
+      with resolved type:
+        reference to instance of struct A with body 0
     ... to: nothing
+    with resolved type:
+      void 
   (types:
     void 
@@ -43,8 +63,26 @@
 
 
+        with resolved type:
+          pointer to forall
+            _89_4_DT: data type
+            function
+          ... with parameters
+            intrinsic pointer to instance of type _89_4_DT (not function type)
+          ... returning
+            _retval__operator_deref: reference to instance of type _89_4_DT (not function type)
+            ... with attributes:
+              Attribute with name: unused
+
+
       ... to arguments
         Variable Expression: x: pointer to instance of struct B with body 1
-
+        with resolved type:
+          pointer to instance of struct B with body 1
+
+      with resolved type:
+        reference to instance of struct B with body 1
     ... to: nothing
+    with resolved type:
+      void 
   (types:
     void 
@@ -121,7 +159,47 @@
             ... returning nothing
 
+            with resolved type:
+              pointer to forall
+                _108_0_T: sized data type
+                ... with assertions
+                  ?=?: pointer to function
+                  ... with parameters
+                    reference to instance of type _108_0_T (not function type)
+                    instance of type _108_0_T (not function type)
+                  ... returning
+                    _retval__operator_assign: instance of type _108_0_T (not function type)
+                    ... with attributes:
+                      Attribute with name: unused
+
+
+                  ?{}: pointer to function
+                  ... with parameters
+                    reference to instance of type _108_0_T (not function type)
+                  ... returning nothing
+
+                  ?{}: pointer to function
+                  ... with parameters
+                    reference to instance of type _108_0_T (not function type)
+                    instance of type _108_0_T (not function type)
+                  ... returning nothing
+
+                  ^?{}: pointer to function
+                  ... with parameters
+                    reference to instance of type _108_0_T (not function type)
+                  ... returning nothing
+
+
+                function
+              ... with parameters
+                pointer to instance of type _108_0_T (not function type)
+              ... returning nothing
+
           ... to arguments
             Variable Expression: z: pointer to instance of type T (not function type)
-
+            with resolved type:
+              pointer to instance of type T (not function type)
+
+          with resolved type:
+            void 
         (types:
           void 
