id	summary	reporter	owner	description	type	status	priority	component	version	resolution	keywords	cc
23	Function call syntax not working	pabuhr	Rob Schluntz <rschlunt@…>	"If you can declare a function operator on a pointer type, you should be able
to call it with the natural syntax.

However this fails:
{{{
forall(otype T | { int ?()(T *); })
void foo(T * f) {
    int x = f();
}

cfa test.c
CFA Version 1.0.0 (debug)
test.c:75 error: No reasonable alternatives for expression Applying untyped: 
  Name: f
...to: 
}}}

but this does not fail:
{{{
forall(otype T | { int ?()(T); })
void foo(T f) {
    int x = f();
}
}}}"	defect	closed	major	cfa-cc	1.0	fixed