https://gcc.gnu.org/bugzilla/show_bug.cgi?id=109049
--- Comment #4 from Jonathan Wakely <redi at gcc dot gnu.org> --- I thought it was already allowed, because std::declval is not an addressable function ([namespace.std]) but that only covers forming pointers and references to functions. We should extend that to cover this case.
