https://gcc.gnu.org/bugzilla/show_bug.cgi?id=108619
gccbugzilla at thepirate42 dot org changed: What |Removed |Added ---------------------------------------------------------------------------- Resolution|INVALID |FIXED --- Comment #3 from gccbugzilla at thepirate42 dot org --- (In reply to Andrew Pinski from comment #2) > Once I add: > > template <class Type> struct rebind { > typedef alloc<Type> other; > }; > > To alloc, it works correctly. > The error message on the trunk gives the best error message of what is going > wrong even. > So this is invalid. I just tried, but apparently it doesn't work (https://godbolt.org/z/ehhzYd5Wo) Have I misinterpreted your response? Also rebind is too optional, it's still a bug if it doesn't compile without it.