[PATCH] D140876: [clang][C++20] Non-dependent access checks in requires expression.

Roy Jacobson via Phabricator via cfe-commits cfe-commits at lists.llvm.org
Tue Jan 3 10:03:49 PST 2023


royjacobson added a comment.

In D140876#4023286 <https://reviews.llvm.org/D140876#4023286>, @ilya-biryukov wrote:

> Should access checks should happen in the context where `concept` is written or where it's used? Is there a standard wording around it?

Unfortunately, only a standard wording issue :(
https://cplusplus.github.io/CWG/issues/2589.html

We're also allowed to cache atomic constraints regardless of the their (unspecified) scope, which makes this a bit more complicated.

There's some discussion about this in https://github.com/llvm/llvm-project/issues/58672


Repository:
  rG LLVM Github Monorepo

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

https://reviews.llvm.org/D140876



More information about the cfe-commits mailing list