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)