Changes in tests/errors/.expect/completeType.x86.txt [4bc27c0:03a4c73]

File:

• tests/errors/.expect/completeType.x86.txt (modified) (4 diffs)

tests/errors/.expect/completeType.x86.txt

@@ -6 +6 @@
     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 +22 @@
 
 
+        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 +63 @@
 
 
+        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 +159 @@
             ... 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