https://gcc.gnu.org/bugzilla/show_bug.cgi?id=80553
--- Comment #6 from Marco Arena ---
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,
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=80553
--- Comment #1 from Marco Arena ---
My apologies, here is the repro link:
https://wandbox.org/permlink/SOzsFGQ1vGVjwy1O
Priority: P3
Component: libstdc++
Assignee: unassigned at gcc dot gnu.org
Reporter: marco at italiancpp dot org
Target Milestone: ---
struct Foo
{
~Foo() = delete;
};
int main()
{
vector v;
}
This compiles just fine, although it shouldn't be
