Then you want Design By Contract, dependent types, or formal verification.

However, several factors have to be taken into account regarding performance impact when they get cleverly written, thus in manys cases they can only be fully turned on during debug builds.