[Bug c++/49051] [C++0x] Doesn't SFINAE away an invalid substitution into toplevel parameter type "T[N]"

[jason at gcc dot gnu.org]

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