[clang] [Clang] Handle references to concept in Subst* nodes (PR #199671)

Corentin Jabot via cfe-commits cfe-commits at lists.llvm.org
Tue May 26 06:30:45 PDT 2026


cor3ntin wrote:

> Why doesn't this break the 'deferred instantiation/checking' rules? My understanding is that we're not allowed to instantiate these until we need them for checking, since they are allowed to Change up until the first time they are checked.

The thing we should not do here - and I need to check we are not doing the wrong thing is failing when the substitution in the concept arguments - which might not be used in the atomic constraint - fails,

I guess there is a question of what happens if there is an error in a non sfinae context in the concept arguments.

https://github.com/llvm/llvm-project/pull/199671


More information about the cfe-commits mailing list