interfaces and contracts - new pattern

[Ola Fosheim Grøstad]

On Tuesday, 3 December 2019 at 10:39:08 UTC, Robert M. Münch 
wrote:
> In large scale projects this will become a big problem as you 
> can't assume that every developer knows about all the contracts 
> of a superclass.

Yes, like if you just want to constrain a signed int to be >=1. 
If you forget to add it in the subclass it suddenly takes 
negative ints with no warning...