[llvm-bugs] [Bug 45219] non-bool expression allowed in requires clause

[via llvm-bugs]

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

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 ---
Please explain your reasoning.

int::operator int
is an invalid expression resulting from substitution, which means that the
constraint is not satisfied.

[temp.constr.atomic] paragraph 3 requires a constant expression of type bool
only after substitution results in an otherwise valid expression.

-- 
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/20200316/5df94b37/attachment.html>