P1323R2 Contract postconditions and return type deduction#2742

zygoloid merged 1 commit intomastercplusplus/draft:masterfrom

motions-2019-02-cwg-8cplusplus/draft:motions-2019-02-cwg-8Copy head branch name to clipboard