id	summary	reporter	owner	description	type	status	priority	component	version	resolution	keywords	cc
61	Polymorphic type disallowed in structure definition	pabuhr	Rob	"{{{
forall( otype T )
int foo( T i ) {
	struct S { T j; };  // T disallowed
	S s;
}

cfa test.c
CFA Version 1.0.0 (debug)
test.c:32:1 error: No reasonable alternatives for expression Applying untyped: 
  Name: ?{}
...to: 
  Cast of:
    Variable Expression: s: instance of struct S with body 1 
  ... to:
    reference to instance of struct S with body 1 

}}}"	defect	closed	minor	cfa-cc	1.0	fixed