P1084R2

Today's *return-type-requirement*s are insufficient