Index: tests/errors/.expect/completeType.nast.x64.txt
===================================================================
--- tests/errors/.expect/completeType.nast.x64.txt	(revision 18fe0fedb444d309ece6712b7ddfa116f5a9d4c9)
+++ tests/errors/.expect/completeType.nast.x64.txt	(revision 4a359e27328989a7e80d0af8bd15c0f8bbebf42b)
@@ -13,19 +13,16 @@
           function
         ... with parameters
-          intrinsic pointer to instance of type DT (not function type)
+          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
+          reference to instance of type DT (not function type)
 
-
-      ... to arguments
-        Variable Expression: x: pointer to instance of struct A with body 0
+        ... to arguments
+        Variable Expression: x: pointer to instance of struct B with body
 
     ... to: nothing
   (types:
-    void 
+    void
   )
-  Environment: -> instance of struct A with body 0 (no widening)
+  Environment:( _99_2_DT ) -> instance of struct B with body (no widening)
 
 
@@ -36,43 +33,40 @@
           function
         ... with parameters
-          intrinsic pointer to instance of type DT (not function type)
+          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
+          reference to instance of type DT (not function type)
 
-
-      ... to arguments
-        Variable Expression: x: pointer to instance of struct B with body 1
+        ... to arguments
+        Variable Expression: x: pointer to instance of struct A without body
 
     ... to: nothing
   (types:
-    void 
+    void
   )
-  Environment: -> instance of struct B with body 1 (no widening)
+  Environment:( _99_2_DT ) -> instance of struct A without body (no widening)
 
 
 
-errors/completeType.cfa:35:1 error: No reasonable alternatives for expression Applying untyped:
+errors/completeType.cfa:35:1 error: Invalid application of existing declaration(s) in expression Applying untyped:
   Name: foo
 ...to:
   Name: v
 
-errors/completeType.cfa:36:1 error: No reasonable alternatives for expression Applying untyped:
+errors/completeType.cfa:36:1 error: Invalid application of existing declaration(s) in expression Applying untyped:
   Name: baz
 ...to:
   Name: v
 
-errors/completeType.cfa:37:1 error: No reasonable alternatives for expression Applying untyped:
+errors/completeType.cfa:37:1 error: Invalid application of existing declaration(s) in expression Applying untyped:
   Name: quux
 ...to:
   Name: v
 
-errors/completeType.cfa:59:1 error: No reasonable alternatives for expression Applying untyped:
+errors/completeType.cfa:59:1 error: Invalid application of existing declaration(s) in expression Applying untyped:
   Name: baz
 ...to:
   Name: y
 
-errors/completeType.cfa:60:1 error: No reasonable alternatives for expression Applying untyped:
+errors/completeType.cfa:60:1 error: Invalid application of existing declaration(s) in expression Applying untyped:
   Name: quux
 ...to:
@@ -94,8 +88,5 @@
                   instance of type T (not function type)
                 ... returning
-                  _retval__operator_assign: instance of type T (not function type)
-                  ... with attributes:
-                    Attribute with name: unused
-
+                  instance of type T (not function type)
 
                 ?{}: pointer to function
@@ -121,21 +112,19 @@
             ... returning nothing
 
-          ... to arguments
+            ... to arguments
             Variable Expression: z: pointer to instance of type T (not function type)
+          with 1 pending inference slots
 
         (types:
-          void 
+          void
         )
-        Environment: -> instance of type T (not function type) (no widening)
+        Environment:( _118_0_T ) -> instance of type T (not function type) (no widening)
 
       Could not satisfy assertion:
 ?=?: pointer to function
         ... with parameters
-          reference to instance of type _110_0_T (not function type)
-          instance of type _110_0_T (not function type)
+          reference to instance of type _118_0_T (not function type)
+          instance of type _118_0_T (not function type)
         ... returning
-          _retval__operator_assign: instance of type _110_0_T (not function type)
-          ... with attributes:
-            Attribute with name: unused
+          instance of type _118_0_T (not function type)
 
-