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

[via llvm-bugs]

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

            Bug ID: 47508
           Summary: [concepts] requires clause short-circuiting not
                    working
           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()
{
    foo(0);
    B<int>::foo(0);
}

-- 
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>