source: tests/.expect/completeTypeError.txt @ f2e482cb

completeTypeError.cfa:34:1 error: Cannot choose between 2 alternatives for expression
Generated Cast of:
  Applying untyped:
    Name: *?
  ...to:
    Name: x

... to: nothing Alternatives are:
Cost ( 0, 1, 2, 0, 1, -1, 0 ): Generated Cast of:
     Application of
       Variable Expression: *?: forall
         DT: object type
         function
       ... with parameters
         intrinsic 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


     ... to arguments
       Variable Expression: x: pointer to instance of struct A with body 0

   ... to: nothing
 (types:
   void 
 )
 Environment:( _80_4_DT ) -> instance of struct A with body 0 (no widening)


Cost ( 0, 1, 2, 0, 1, -1, 0 ): Generated Cast of:
     Application of
       Variable Expression: *?: forall
         DT: object type
         function
       ... with parameters
         intrinsic 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


     ... to arguments
       Variable Expression: x: pointer to instance of struct B with body 1

   ... to: nothing
 (types:
   void 
 )
 Environment:( _80_4_DT ) -> instance of struct B with body 1 (no widening)



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:59:1 error: No reasonable alternatives for expression Applying untyped:
  Name: baz
...to:
  Name: y

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

completeTypeError.cfa:72:1 error: No alternatives with satisfiable assertions for Applying untyped:
  Name: baz
...to:
  Name: z

   Unsatisfiable alternative:
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:( _99_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 _99_0_T (not function type)
       instance of type _99_0_T (not function type)
     ... returning
       _retval__operator_assign: instance of type _99_0_T (not function type)
       ... with attributes:
         Attribute with name: unused