On 10/05/16 19:49, Jason Merrill wrote:
But DR 1658 says that B::B is *not* deleted (because A is not a potentially constructed subobject).
oo, I'd not noticed that. It certainly might make things much simpler. Essentially a check for ABSTRACT_TYPE_P somewhere in that code.
nathan
