| Issue |
133413
|
| Summary |
Invalid error when matching constrained out-of-line definition
|
| Labels |
concepts
|
| Assignees |
|
| Reporter |
ilya-biryukov
|
This code compiles with GCC and fails with Clang, see https://godbolt.org/z/rz877Tde9
```cpp
template <class FooT, class ArgT>
concept CanDo = requires (ArgT arg){
FooT::Do(arg);
};
struct Arg {
};
template <class T>
class Outer {
public:
template <class FooT>
requires CanDo<FooT, Arg>
class Inner;
};
template <class T>
template <class FooT>
requires CanDo<FooT, Arg>
class Outer<T>::Inner {
};
```
![]()
_______________________________________________
llvm-bugs mailing list
llvm-bugs@lists.llvm.org
https://lists.llvm.org/cgi-bin/mailman/listinfo/llvm-bugs
