升级到 Kotlin 1.3 后我仍然无法使用合约

Question

我将 IDEA 中的 Kotlin 插件从 1.2.71 升级到 1.3.0，并确保新的 SDK 是项目 SDK：

我希望能够使用新的 kotlin.contracts.contract，但它是深红色的！

Information:Kotlin: kotlinc-jvm 1.3.0 (JRE 1.8.0_181-b13)
Error:(9, 9) Kotlin: Error in contract description: Error in contract description
Error:(9, 9) Kotlin: Unresolved reference: contract

我需要做什么才能获得合同？

Answer 1

项目的语言级别不会自动迁移。因此，除非您采取措施，否则新的语言功能将不可用（并且您的代码不会中断）。

在文件中手动更改项目的语言级别 |设置 |构建、执行、部署 |编译器 | Kotlin 编译器：

或者向您要选择性更改级别的模块添加方面：

需要采取进一步的步骤来启用合同，毕竟这是一项实验性功能，但 IDEA 现在可以帮助您：

升级到 Kotlin 1.3 后我仍然无法使用合约

After upgrade to Kotlin 1.3 I still can not use contract

configuration

intellij-idea

kotlin

kotlin-contracts