https://gcc.gnu.org/bugzilla/show_bug.cgi?id=70472

Arthur O'Dwyer <arthur.j.odwyer at gmail dot com> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
                 CC|                            |arthur.j.odwyer at gmail dot 
com

--- Comment #14 from Arthur O'Dwyer <arthur.j.odwyer at gmail dot com> ---
> The problem is that std::vector does have a copy constructor, so the trait 
> value is true, but instantiating that constructor produces an error when the 
> value_type is not copyable.

Worse, the value_type can be incomplete, as in

struct Node {
  std::vector<Node> children_;
};

Askar: see
https://quuxplusone.github.io/blog/2020/02/05/vector-is-copyable-except-when-its-not/
I suggest closing this bug report as Not A Bug. It certainly shouldn't be
tagged `wrong-code`.

Reply via email to