cpp/named req/MoveAssignable

Specifies that an instance of the type can be assigned from an rvalue argument.

Requirements
The type satisfies  if

Given
 * , a modifiable lvalue expression of type
 * , an rvalue expression of type

The following expressions must be valid and have their specified effects