id	summary	reporter	owner	description	type	status	priority	component	version	resolution	keywords	cc
107	tuple depth problem	pabuhr	Thierry	"Changed this ticket completely as it has nothing to do with monitors, threads or waitfor statements:

The following code : 
{{{
typedef void (*fptr_t)();
typedef * [void] ( [int, int] m ) foo_t;

struct Test{};
void ?{}(Test & this, int, fptr_t func);

[void] foo([int, int] m ) {
	Test test = {2, (fptr_t)(foo_t) foo};
}
}}}

produces : 
{{{
bug107-2.cfa:17:1 error: Managed object's initializer is too deep test: instance of struct Test with body 1 with initializer (maybe constructed)
  Compound initializer: 
    Simple Initializer: constant expression (2 2: signed int)
    Simple Initializer: Cast of:
      Cast of:
        Name: foo
      ... to:
        pointer to function
        ... with parameters
          m: tuple of types
            signed int
            signed int

        ... returning nothing

    ... to:
      pointer to function
        accepting unspecified arguments
      ... returning nothing

}}}"	defect	assigned	minor	cfa-cc	1.0