Does anyone know anything about the Contracts DSL ...

# announcements

[bod]

Does anyone know anything about the Contracts DSL and features? I stumbled across this and don't know much about it. Is it used by the compiler or IntelliJ (or both)?