------- Additional Comments From pcarlini at suse dot de 2005-05-26 20:19 ------- Agreed. Then, I'm going to look into it. Testcases are easy to find: actually, your example, std::vector<int, std::allocator<char> > , doesn't even compile, currently.
To Andrew: maybe, in pedantic mode. But notice that the problem should be detected at *compile* time: indeed seems doable using a bit of template tricks: is_same<allocator::value_type, container::value_type> ... -- What |Removed |Added ---------------------------------------------------------------------------- AssignedTo|unassigned at gcc dot gnu |pcarlini at suse dot de |dot org | Status|UNCONFIRMED |ASSIGNED Ever Confirmed| |1 Last reconfirmed|0000-00-00 00:00:00 |2005-05-26 20:19:46 date| | http://gcc.gnu.org/bugzilla/show_bug.cgi?id=21770