A modern programming language that makes developers happier.

kotlinlang

In the FIR extensions doc, it mentions:
&gt; There are plans to implement some more extensions which allow to
&gt; • declare new kinds of contracts
Any info about what that means exactly? Does that mean adding syntax to the `contract` block, and providing a way to store that in the binary?

This is probably outdated as I'm not aware of any plans to introduce custom contracts via plugins. Contracts are deeply integrated with data-flow analysis and smart-casting, so it would be hard to introduce such an FIR plugin API.

Could you provide a link to the documentation so I can update it?

<https://github.com/JetBrains/kotlin/blob/master/docs/fir/fir-plugins.md#other-extensions|https://github.com/JetBrains/kotlin/blob/master/docs/fir/fir-plugins.md#other-extensions>