http://gcc.gnu.org/bugzilla/show_bug.cgi?id=59712
François Dumont <fdumont at gcc dot gnu.org> changed: What |Removed |Added ---------------------------------------------------------------------------- CC| |fdumont at gcc dot gnu.org Assignee|unassigned at gcc dot gnu.org |fdumont at gcc dot gnu.org --- Comment #4 from François Dumont <fdumont at gcc dot gnu.org> --- This assertion purpose is documented. _Hashtable can be used itself and this assertion (and the others) are making sure that the types used to instantiate it are following a number of rules. We could perform the static assertion on the type that is hosting the tested method, I will prepare a patch for that.