hubert-reinterpretcast wrote:

@cor3ntin @AaronBallman, the new diagnostic triggers for valid code 
(https://gcc.godbolt.org/z/fMvEaGabG):
```cpp
#include <type_traits>
 
struct S {
    int x;
    static_assert(std::is_same<decltype((S::x)), int &>::value, "");
    static_assert(std::is_same<decltype(&(S::x)), int *>::value, "");
};
```

Either the first `static_assert` is invalid or both `static_assert`s are valid.

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

Reply via email to