id	summary	reporter	owner	description	type	status	priority	component	version	resolution	keywords	cc
227	Interpretation of assertions with struct declaration	f37yu		"Currently, assertion parameters placed on a struct declaration is interpreted as assertion on special operators (ctor/dtor/assign), which means they might be elided or forcefully bypassed.

Some test results:


{{{
forall (otype T | {void foo(T);})
struct S {
  T t;
};

S(int) s1; // error: cannot satisfy assertion for ?{}
S(int) s2 = {0}; // error: cannot satisfy assertion for ?{}
S(int) s3 @= {0}; // ok ...?

forall (otype T | {void foo(T);})
struct U {
  T * t;
};

U(int) u1; // ok ...?

}}}
"	defect	new	major	cfa-cc	1.0