| // PR c++/101663 | |
| // { dg-do compile { target c++20 } } | |
| #include "construct_at.h" | |
| template <typename _Tp> struct __box { | |
| [[no_unique_address]] _Tp _M_value; | |
| }; | |
| struct Empty {}; | |
| constexpr bool test() { | |
| __box<Empty> a; | |
| std::construct_at(&a._M_value); | |
| return true; | |
| } | |
| static_assert(test()); |