Intellij idea 升级到Kotlin 1.3后，我仍然无法使用合同_Intellij Idea_Kotlin_Configuration_Kotlin Contracts

Intellij idea 升级到Kotlin 1.3后，我仍然无法使用合同

intellij-idea kotlin configuration

Intellij idea 升级到Kotlin 1.3后，我仍然无法使用合同,intellij-idea,kotlin,configuration,kotlin-contracts,Intellij Idea,Kotlin,Configuration,Kotlin Contracts,我将IDEA中的Kotlin插件从1.2.71升级到1.3.0，并确保新SDK是Project SDK：我希望能够使用新的kotlin.contracts.contract，但它是深红色的我必须做什么才能访问合同？项目的语言级别不会自动迁移。因此，除非您做些什么，否则新的语言特性将不可用（并且您的代码不会中断）在文件|设置|生成、执行、部署|编译器| Kotlin编译器中手动更改项目的语言级别：或者向要有选择地更改其级别的模块添加一个方面：启用合同需要进一步的步骤，毕竟，合同是

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

我希望能够使用新的

kotlin.contracts.contract

，但它是深红色的

我必须做什么才能访问合同？

项目的语言级别不会自动迁移。因此，除非您做些什么，否则新的语言特性将不可用（并且您的代码不会中断）

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

或者向要有选择地更改其级别的模块添加一个方面：

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

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