On Wednesday, 19 October 2022 at 05:41:19 UTC, mw wrote: > I really cannot see why @mustuse as a function attribute got > rejected. > > DbC is a seemingly simple concept, but actually it's deeper > than you often thought, it affects many details of language > design. There is also `class level private`.