c++: deleting explicitly-defaulted functions [PR116162]