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

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

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

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

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

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

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

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

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

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



