cor3ntin wrote:

> Actually, there is one more thing I just noticed. What about this 
> (https://godbolt.org/z/vE4cEEEqs):
> 
> ```c++
> template <int N>
> struct A {
>     void g() __attribute__((enable_if(false, "foo"))) {}
> };
> 
> template struct A<2>;
> ```
> 
> This currently also compiles, but should be ill-formed for the same reason. 
> Not really related to concepts per se, but the fix should be in the same 
> place.

do you mean something like https://godbolt.org/z/4s6YEcrfa ?

https://github.com/llvm/llvm-project/pull/104438
_______________________________________________
cfe-commits mailing list
cfe-commits@lists.llvm.org
https://lists.llvm.org/cgi-bin/mailman/listinfo/cfe-commits

Reply via email to