Contracts, Undefined Behavior, and Defensive,Programming

[German Diago]

On Saturday, 13 June 2020 at 08:52:18 UTC, Johannes Pfau wrote:

> A good article. Although there have sometimes been discussions 
> about it, I think the difference between input validation and 
> contract checking is now well understood by most people 
> participating in discussions here.
>
> [...]

Looks like a fair and well-reasoned analysis.