[PATCH] D106252: Make simple requirements starting with requires ill-formed in in requirement body

Corentin Jabot via Phabricator via cfe-commits cfe-commits at lists.llvm.org
Sat Jul 24 00:57:11 PDT 2021


cor3ntin added inline comments.


================
Comment at: clang/test/Parser/cxx2a-concepts-requires-expr.cpp:152-153
+};
+bool r42 = requires(typename S<int>::type i) {
+  requires requires(typename S<int>::type i) { requires true; };
+};
----------------
Quuxplusone wrote:
> `s/int/T/` otherwise you miss the point of p2092's "Down with `typename`!" changes.
Haha, you are right, thanks.
No wonder it passed...
I've elected to remove these tests for now, until P2092 is implemented (https://reviews.llvm.org/D53847)


Repository:
  rG LLVM Github Monorepo

CHANGES SINCE LAST ACTION
  https://reviews.llvm.org/D106252/new/

https://reviews.llvm.org/D106252



More information about the cfe-commits mailing list