P1452R2

On the non-uniform semantics of *return-type-requirement*s