P4283R0 — Requires clauses for Contract Assertions
Joshua Berne
EWG