https://gcc.gnu.org/bugzilla/show_bug.cgi?id=69354
--- Comment #6 from Jonathan Wakely <redi at gcc dot gnu.org> --- We can't even partially specialize the _Head_base type on whether the element type is M(M&) or M(const M&) because we can't detect which signature has been deleted by using something like is_constructible.
