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