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

标签 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

我必须做什么才能获得契约(Contract)?

最佳答案

项目的语言级别不会自动迁移。因此,除非您做某事,否则新的语言功能将不可用(并且您的代码不会中断)。

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

enter image description here

或者向您想要选择性地更改级别的模块添加一个方面:

enter image description here

启用合约需要进一步的步骤,毕竟这是一个实验性功能,但 IDEA 现在将帮助您:

enter image description here

关于intellij-idea - 升级到 Kotlin 1.3 后我仍然无法使用合约,我们在Stack Overflow上找到一个类似的问题: https://stackoverflow.com/questions/53174329/

相关文章:

android - 在 Kotlin 中比较和替换两个列表中不同大小的项目?

Kotlin 内联函数只有 return 语句

range - Kotlin 中是否有任何方法可以让我将一个值从一个范围转换为另一个范围?

grails - grails-redis 插件的配置

java - Eclipse 打开与可编辑源文件不同的源文件

java - Intellij,说 web-inf 中不存在文件,但它确实存在

java - 智能 : Configure Label Decorations for Git and Subversion

java - Intellij IDEA : specify datasource for JPA validation

java - Tomcat 找不到 gson 库(通过 maven 包含)

java - 服务器配置问题