A short and sweet paper: http://www.open-std.org/jtc1/sc22/wg21/docs/papers/2019/p1743r0.pdf It echoes Walter's opinions on contracts vs. runtime checking, to a tee. He has been derided on occasion in this group for such views. The paper is a good rationale from an independent source.