Index: tests/errors/.expect/completeType.x64.txt =================================================================== --- tests/errors/.expect/completeType.x64.txt (revision 62328b1333b8a46971f1e2494a2fb6e8bb8ace8f) +++ tests/errors/.expect/completeType.x64.txt (revision 8ec4a522d40e378e049e76cfcf19c4dc7de8a4a4) @@ -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 8ec4a522d40e378e049e76cfcf19c4dc7de8a4a4) @@ -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