P4262R0 — Design Considerations for Class Invariants
Joshua Berne
EWG