completeTypeError.c:33:1 error: No reasonable alternatives for expression Applying untyped: 
  Name: *?
...to: 
  Name: v

completeTypeError.c:34:1 error: No reasonable alternatives for expression Applying untyped: 
  Name: *?
...to: 
  Name: y

completeTypeError.c:35:1 error: No reasonable alternatives for expression Applying untyped: 
  Name: foo
...to: 
  Name: v

completeTypeError.c:36:1 error: No reasonable alternatives for expression Applying untyped: 
  Name: baz
...to: 
  Name: v

completeTypeError.c:37:1 error: No reasonable alternatives for expression Applying untyped: 
  Name: quux
...to: 
  Name: v

completeTypeError.c:58:1 error: No reasonable alternatives for expression Applying untyped: 
  Name: baz
...to: 
  Name: y

completeTypeError.c:59:1 error: No reasonable alternatives for expression Applying untyped: 
  Name: quux
...to: 
  Name: y

completeTypeError.c:60:1 error: No reasonable alternatives for expression Applying untyped: 
  Name: *?
...to: 
  Name: y

completeTypeError.c:72:1 error: No resolvable alternatives for expression Applying untyped: 
  Name: baz
...to: 
  Name: z

Alternatives with failing assertions are:
Cost ( 0, 1, 1, -5, 0, 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


         ?{}: 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) 
         ... 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) 

 (types:
   void 
 )
 Environment: ( _73_0_T ) -> instance of type T (not function type)  (no widening)



