Rakete1111 added a comment. It would be nice to be able to diagnose `X`:
template <typename T> struct Foo { struct [[trivially_relocatable]] X { // no warning X(X &&) = delete; }; }; Foo<int> f; // no warning static_assert(!__is_trivially_relocatable(Foo<void>::X)); // ok But otherwise, you might want to put the attribute in the `clang` namespace. LGTM then, but you'll want to wait for someone more senior than me to review (and possibly accept) it. Repository: rC Clang https://reviews.llvm.org/D50119 _______________________________________________ cfe-commits mailing list cfe-commits@lists.llvm.org http://lists.llvm.org/cgi-bin/mailman/listinfo/cfe-commits