[Python-ideas] Exception handling in contracts

[James Lu]

Let’s get some ideas for how icontract can say “it should throw an exception if this happens.”