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