http://gcc.gnu.org/bugzilla/show_bug.cgi?id=49051
Jason Merrill <jason at gcc dot gnu.org> changed: What |Removed |Added ---------------------------------------------------------------------------- Status|NEW |RESOLVED Resolution| |INVALID --- Comment #1 from Jason Merrill <jason at gcc dot gnu.org> 2011-05-19 16:05:05 UTC --- I disagree. The transformation of array to pointer is done immediately at declaration time (8.3.5/6), so there is no substitution into an array type. In resolving issue 1001, core agreed that the transformations in 8.3.5/6 are done at template definition time, not deferred until the instantiation. http://www.open-std.org/JTC1/SC22/WG21/docs/cwg_closed.html#1001 http://wiki.dinkumware.com/twiki/bin/view/Wg21batavia/CoreWorkingGroup#Core_issue_1001_Parameter_type_a