Hmm, okay, my bad. I'm reading through 12.8 now and it seems the implicit copy constructor is always available, not just when no other constructors are defined as I had thought.
If you agree with this then please go ahead and close this bug. Thanks - Ben.
