[llvm-bugs] [Bug 47508] New: [concepts] requires clause short-circuiting not working

via llvm-bugs llvm-bugs at lists.llvm.org
Sun Sep 13 05:51:06 PDT 2020


            Bug ID: 47508
           Summary: [concepts] requires clause short-circuiting not
           Product: new-bugs
           Version: trunk
          Hardware: All
                OS: All
            Status: NEW
          Severity: normal
          Priority: P
         Component: new bugs
          Assignee: unassignedbugs at nondot.org
          Reporter: feverzsj at hotmail.com
                CC: htmldeveloper at gmail.com, llvm-bugs at lists.llvm.org

// works
//template<class T> requires true || T::value
//void foo(T)

// substitution failure for T::value
template<class T>
void foo(T) requires true || T::value

// substitution failure, type 'int' cannot be used prior to '::',
// though gcc accepts this.
template<class T>
struct B{
    template<class U> requires true || T::value
    static void foo(U)

int main()

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/20200913/c76f0693/attachment.html>

More information about the llvm-bugs mailing list