[swappable.requirements] Requires should now be Preconditions#4886

tkoeppe merged 3 commits intocplusplus:maincplusplus/draft:mainfrom

brevzin:requires-2-mandatesbrevzin/draft:requires-2-mandatesCopy head branch name to clipboard