On Sun, 2011-04-17 at 22:33 +0200, Marc Glisse wrote: > This looks really close to > http://gcc.gnu.org/bugzilla/show_bug.cgi?id=47172 > but apparently it wasn't fixed at the same time. Thanks, yes, that looks eerily similar. Like the code in your bug, this works when changing the return type to void. I asked here instead of reporting it as a bug because I am not very familiar with C++0x, and it would not be the first time that code that intuitively should compile turns out to be invalid. If it works with a void return type, however, that is not very likely. Reported as #48656. Cheers, Harald