Specifies that a type defines an addition assignment operator for another type. More...
Satisfied if K has an addition assignment operator defined for T.
K
T