4 ms·

The D programming language, too. https://dlang.org/spec/function#contracts https://dlang.org/spec/function#contracts

• bvoq 4y ago
  +1 on D. It even has contracts for members.