https://gcc.gnu.org/bugzilla/show_bug.cgi?id=80553
--- Comment #6 from Marco Arena <marco at italiancpp dot org> --- Hi guys, thanks for the clarification, I didn't know it's UB, rather I thought this was a requirement as stated here: http://en.cppreference.com/w/cpp/concept/Erasable (see "Notes"). I had to read the standard, though. My fault. Anyway, as clang and vs do, I think it's worthwhile having a compile-error. Thanks for your comments.