> On 13 Apr 2020, at 17:15, hanw...@gmail.com wrote: > > On 2020/04/13 14:55:12, hahnjo wrote: >> If the function is not meant to be implemented / used, it should be > explicitly >> deleted (C++11). > > Done. > > https://codereview.appspot.com/557680043/
One might prefer having a deleted operator public, as to avoid additional potentially confusing error messages.