P1289R1

Access control in contract conditions