P0135R1

Guaranteed copy elision through simplified value categories