https://gcc.gnu.org/bugzilla/show_bug.cgi?id=113060
--- Comment #7 from Giuseppe D'Angelo <dangelog at gmail dot com> --- Hi, > Note that this example adds a mediate function template > (test_array_element_initializable) to "reduce" the non-constexpr-ness of > std::declval. That's very clever, thank you! Is it _supposed_ to work, though? I had imagined (possibly erroneusly) that once one places the call to `test_array_element_initializable` using `declval` as an argument, it would disqualify the whole thing from being usable in constant expressions. (It would help to have another compiler that implements P2280, so to do more tests...)
