C++ named requirements: CopyAssignable

From cppreference.com
C++ named requirements

Specifies that an instance of the type can be copy-assigned from an lvalue expression .

Requirements

The type T satisfies CopyAssignable if

Given

The following expressions must be valid and have their specified effects.

Expression Return type Return value Post-conditions
t = v T& t The value of t is equivalent to the value of v .

The value of v is unchanged.

See also

checks if a type has a copy assignment operator
(class template)
specifies that a type is assignable from another type
(concept)