ayzhao added a comment.
In D53847#3819200 <https://reviews.llvm.org/D53847#3819200>, @cor3ntin wrote:
> 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.
Done.
The test originally failed, but it was a simple fix to get it to work.
Repository:
rG LLVM Github Monorepo
CHANGES SINCE LAST ACTION
https://reviews.llvm.org/D53847/new/
https://reviews.llvm.org/D53847
_______________________________________________
cfe-commits mailing list
cfe-commits@lists.llvm.org
https://lists.llvm.org/cgi-bin/mailman/listinfo/cfe-commits
