Contracts im nächsten Kotlin-Release sind ein experimentelles Feature, das erlaubt, dem Compiler mehr Informationen über Methoden mitzugeben, etwa “wenn diese Methode erfolgreich ausgeführt wurde, war das Argument blubb nicht null”. Diese Informationen kann dann vom Compiler genutzt werden, um im aufrufenden Code z.B. keine überflüssigen Null- oder Typ-Checks zu verlangen. Die Details: