http://gcc.gnu.org/bugzilla/show_bug.cgi?id=55043
--- Comment #14 from Daniel Krügler <daniel.kruegler at googlemail dot com> 2012-10-24 09:23:22 UTC --- (In reply to comment #13) > So to make the testcase compile (which it should) I'd need to use sfinae to > disable the container members, which means writing constraints based on > CopyInsertable etc which depend on the allocator type, so allocator_traits > needs to also use sfinae to disable ill-formed 'construct' calls, which may > not > be possible to detect, because errors may still not be in the immediate > context. Damn. I think it is implementable (I have done something similar to ensure that my optional<T> realizes the same effect), but the costs are not small: 1) It will prevent the incomplete type support 2) The implementation changes are not small (my guess)
