[P1323R1](https://wg21.link/p1323r1) Contract postconditions and return type deduction (Hubert S.K. Tong)