On 6/9/2021 10:54 AM, Timon Gehr wrote: > AssertError is still *caught* /by the language/ on in contract inheritance. That's a fault in the language design. I do make a mistake now and then :-/ All I can do is grovel and beg forgiveness.