Design By Contract

As of right now, this discussion is expected to be super abstract.

Rust is a beautiful language because it is modern and built with common sense. Though it still lacks features that no modern language should. This discussion is only for one of those features. We are almost post-1.0, and, around that time, we should be thinking about how DBC, one of the most useful tools a programmer could use, should be used in Rust.

The only thing we have to worry about right now is when to actually have this discussion. It should be soon, but soon might mean many months from now.

• Should we wait for a certain feature to come out first? Which feature? Wait for more features, too?
• What else is needed or wanted to be done before we get into a DBC discussion?
• Should only conventions work it? What would they be? Should syntax for DBC exist?

So, when do you think official Rust-supported DBC solutions should be discussed?

No files, tests, or entry points are named. Start by reading issue #1077 and its discussion to understand the unresolved questions; done would require a settled direction for when and how Rust-supported design-by-contract work should proceed.