https://gcc.gnu.org/bugzilla/show_bug.cgi?id=70526
--- Comment #28 from Jonathan Wakely <redi at gcc dot gnu.org> --- (As I mentioned, std::aligned_storage takes a size as its template argument, not a type, so it can't put requirements on a type T, since there is no type T :)