*this contains a value | *this does not contain a value | ||
rhs contains a value | assigns rhs.operator*() to val | direct-non-list-initializes val with rhs.operator*() | |
rhs does not contain a value | destroys the contained value by calling val.T::~T() | no effect |