cor3ntin added a comment.
Good catch
template<typename T>
concept K = requires (typename T::Type X) { // (3)
X.next();
}
That typename should be optional. Can you add a test for that? If it works you
can mark P2092 <https://reviews.llvm.org/P2092> as fully supported.
Repository:
rG LLVM Github Monorepo
CHANGES SINCE LAST ACTION
https://reviews.llvm.org/D53847/new/
https://reviews.llvm.org/D53847
_______________________________________________
cfe-commits mailing list
[email protected]
https://lists.llvm.org/cgi-bin/mailman/listinfo/cfe-commits