initialized\iref{dcl.init,class.copy.ctor} with

its corresponding argument,

and each precondition assertion of the function

If the function is an explicit object member function and

there is an implied object argument\iref{over.call.func},

the list of provided arguments is preceded by the implied object argument