1 // { dg-options "-Wall -w" } 2 // { dg-do compile { target c++11 } } 3 // { dg-bogus "over-aligned new" "PR c++/80473" { target *-*-* } 0 } 4 5 template<typename T> T&& declval(); 6 7 template<typename T, typename U, typename = void> 8 struct is_constructible { enum { value = 0 }; }; 9 10 template<typename T, typename U> 11 struct is_constructible<T, U, decltype(::new T(declval<U>()), void())> 12 { enum { value = 1 }; }; 13 14 struct alignas(64) A { int i; }; 15 16 constexpr bool b = is_constructible<A, A>::value; 17