------- Comment #2 from paolo dot carlini at oracle dot com 2008-07-07 14:24 ------- The problem is one of diagnostic: the code should be just rejected because Foo is an incomplete type. -- http://gcc.gnu.org/bugzilla/show_bug.cgi?id=36749