------- Additional Comments From pcarlini at suse dot de 2005-05-26 20:50 ------- Actually, we already have the machinery, in concept-checks ;) Would be:
__glibcxx_class_requires2(_Tp, typename _Alloc::value_type, _SameTypeConcept) on top of each container. -- http://gcc.gnu.org/bugzilla/show_bug.cgi?id=21770
