(and the jargon "implicitly copyable": e.g. "(types that don't move in this manner are called 'implicitly copyable').")