Polymorphic type disallowed in structure definition

[pabuhr]

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