http://gcc.gnu.org/bugzilla/show_bug.cgi?id=56170
--- Comment #6 from Ami Tavory <atavory at gmail dot com> 2013-02-02 07:24:16 UTC --- Hi Paolo (again) and Jonathan, Thanks for offering to add the missing functionality, Jonathan. I was wondering if there might be an interest to add _AllocatorConcept to boost_concept_check.h. Asides from helping with diagnosing allocator non-compliance, it might help with the more common case of template parameter mixup (it's not impossibly hard to code - as an STL client - some_stl_container<param0, param1, param2, param3> while getting them mixed up and sending as Allocator something completely different). If there's an interest, I could try to get a go at this in a few weeks.