[Bug c++/86342] Wdeprecated-copy in a header included from system directory

[csaba_22 at yahoo dot co.uk]

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

--- Comment #1 from Csaba Ráduly <csaba_22 at yahoo dot co.uk> ---
See also https://gcc.gnu.org/ml/gcc/2018-06/msg00274.html