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

时间：2018-11-06 14:52:06

标签： intellij-idea kotlin configuration kotlin-contracts

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

enter image description here

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

enter image description here 

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

我该怎么做才能获得合同？

1 个答案:

答案 0 :(得分：2)

项目的语言级别不会自动迁移。因此，除非您执行某些操作，否则新的语言功能将不可用（并且代码不会中断）。

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

enter image description here

或在要有选择地更改级别的模块上添加构面：

enter image description here

要启用毕竟是实验性功能的合同，还需要采取其他步骤，但是IDEA现在可以帮助您：

enter image description here

相关问题
最新问题