Is there any news on when kotlin contracts will be stabilized?

# compiler

[Quantum64]

Is there any news on when kotlin contracts will be stabilized?

[ephemient]

https://github.com/Kotlin/KEEP/blob/master/proposals/kotlin-contracts.md#compatibility-notice
the ABI of declared contracts is stable.
the use of functions with contracts is almost certainly stable.
what is experimental and subject to change: the API for declaring contracts.
there is an alternative currently under consideration: https://github.com/Kotlin/KEEP/issues/139#issuecomment-1120445552

[Quantum64]

Yes. I am asking about the syntax.

[dmitriy.novozhilov]

Not earlier than K2 will be released

[Grégory Lureau]

Is it considered to handle is with generics in the right side of implies for the stable version?

[dmitriy.novozhilov]

Yes it is