[llvm-bugs] [Bug 30551] Trailing return type accepted, even though it should be rejected

via llvm-bugs llvm-bugs at lists.llvm.org
Wed Sep 28 07:16:40 PDT 2016


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

hstong at ca.ibm.com changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|NEW                         |RESOLVED
                 CC|                            |hstong at ca.ibm.com
         Resolution|---                         |INVALID

--- Comment #1 from hstong at ca.ibm.com ---
(In reply to comment #0)
> I suspect the function definition should be rejected for it is ill-formed, t
> cannot be used with std::integral_constant that way.

C++14 subclause 14.6 [name.res] paragraph 8:
If no valid specialization can be generated for a template, and that template
is not instantiated, the template is ill-formed, no diagnostic required.

-- 
You are receiving this mail because:
You are on the CC list for the bug.
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.llvm.org/pipermail/llvm-bugs/attachments/20160928/c7dc8fc6/attachment.html>


More information about the llvm-bugs mailing list