https://bugs.llvm.org/show_bug.cgi?id=48020
Bug ID: 48020
Summary: Defining constrained member function out of line is
rejected
Product: clang
Version: trunk
Hardware: PC
OS: Windows NT
Status: NEW
Severity: enhancement
Priority: P
Component: C++2a
Assignee: unassignedclangb...@nondot.org
Reporter: barry.rev...@gmail.com
CC: blitzrak...@gmail.com, erik.pilking...@gmail.com,
llvm-bugs@lists.llvm.org, richard-l...@metafoo.co.uk
>From StackOverflow (https://stackoverflow.com/q/64601583/2069064):
template <typename> concept C = true;
template <typename T>
struct Foo { };
template<typename T>
requires C<T>
struct Foo<T> {
static void bar();
};
template<typename T>
requires C<T>
void Foo<T>::bar() { }
int main() {
Foo<int>::bar();
}
clang 11 rejects this program with:
<source>:13:10: error: requires clause differs in template redeclaration
requires C<T>
^
<source>:3:1: note: previous template declaration is here
template <typename T>
^
--
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
