On Wednesday, 5 October 2016 at 19:45:20 UTC, Basile B. wrote: > In this case let's drop completely the contracts...you can put > them in the body, at the beg or at the end... Language support for contracts enables a super class to enforce contracts on its virtual methods.