id	summary	reporter	owner	description	type	status	priority	component	version	resolution	keywords	cc
8	No reasonable alternative	pabuhr		"{{{
forall( otype T | { void ?{}( T &, zero_t ); T ?+?( T, T ); } )
  T sum( int n, T a[] ) {
    T total = 0;		// instantiate T, select 0
    for ( int i = 0; i < n; i += 1 )
	total = total + a[i];	// select +
    return total;
}

int mmain() {
    int a[3];
    int i;
    i = sum( 3, a );
}
}}}
cfa test10.c
CFA Version 1.0.0 (debug)
test10.c:12 error: No reasonable alternatives for expression Applying untyped: 
  Name: sum
...to: 
  constant expression (3: signed int)
  Name: a
"	defect	new	major	cfa-cc	1.0