https://bugs.llvm.org/show_bug.cgi?id=45142

Richard Smith <richard-l...@metafoo.co.uk> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
         Resolution|---                         |FIXED
             Status|NEW                         |RESOLVED

--- Comment #2 from Richard Smith <richard-l...@metafoo.co.uk> ---
The code is ill-formed, by [temp.names]/5:

"A name prefixed by the keyword template shall be a template-id or the name
shall refer to a class template or an alias template."

(The "shall refer to" part only intends to cover the case where no template
arguments are specified, specifically when passing a dependent template
template argument: 'X<T::template U>'.) ~A<B> is not a template-id, since the
template name in a template-id is required to be either an identifier or an
operator name (eg 'operator+' or 'operator""_foo').


Fixed in llvmorg-11-init-6577-g502915c619a.

-- 
You are receiving this mail because:
You are on the CC list for the bug.
_______________________________________________
llvm-bugs mailing list
llvm-bugs@lists.llvm.org
https://lists.llvm.org/cgi-bin/mailman/listinfo/llvm-bugs

Reply via email to