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

_______________________________________________
cfe-commits mailing list
cfe-commits@lists.llvm.org
https://lists.llvm.org/cgi-bin/mailman/listinfo/cfe-commits

Reply via email to