IDEA has contract annotations which are statically...
# language-proposals
k
IDEA has contract annotations which are statically checked but that only works for java