http://gcc.gnu.org/bugzilla/show_bug.cgi?id=56506
--- Comment #4 from Daniel Krügler <daniel.kruegler at googlemail dot com> 2013-03-05 20:18:00 UTC --- (In reply to comment #3) Presumably my judgment was a bit premature and I think there is a logical flaw in my original argumentation: I think I misinterpreted 14.5.3 p5. I'm switching to observer-mode, but your examples are quite interesting because every compiler with variadic template support that I have access to rejects them. This seems to indicate some possible unforeseen case in existing models. I have forwarded this to the core language group.