C++ PATCH for Core DR 1558

Jason Merrill jason@redhat.com
Sat Nov 8 06:05:00 GMT 2014


Core DR 1558 clarifies that even though an alias template specialization 
is equivalent to its expansion, we still need to remember the 
template-id and substitute into it at instantiation time.  So we need to 
avoid stripping it in strip_typedefs and treat it as different in 
template_args_equal.  While I was looking at this I also noticed that 
the existing wording also says that such a template-id is dependent even 
if it is equivalent to a non-dependent type.

Tested x86_64-pc-linux-gnu, applying to trunk.
-------------- next part --------------
A non-text attachment was scrubbed...
Name: dr1558.patch
Type: text/x-patch
Size: 5184 bytes
Desc: not available
URL: <http://gcc.gnu.org/pipermail/gcc-patches/attachments/20141108/6721faa8/attachment.bin>


More information about the Gcc-patches mailing list