https://gcc.gnu.org/bugzilla/show_bug.cgi?id=80553
Jonathan Wakely <redi at gcc dot gnu.org> changed:
What |Removed |Added
----------------------------------------------------------------------------
Status|UNCONFIRMED |RESOLVED
Resolution|--- |INVALID
--- Comment #2 from Jonathan Wakely <redi at gcc dot gnu.org> ---
(In reply to Marco Arena from comment #0)
> This compiles just fine, although it shouldn't because 'Foo' is not Erasable.
If you fail to meet the requirements for a container then your code has
undefined behaviour. No compiler error is required.
