azalea/kotlin-fork
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

[FIR] Fix contract serialization

Browse Source
This commit is contained in:
Dmitriy Novozhilov
2020-08-26 14:07:03 +03:00
parent eaf8af919d
commit e405a02e8e
1 changed files with 3 additions and 4 deletions
Download Patch File Download Diff File Expand all files Collapse all files
compiler/fir/fir-serialization/src/org/jetbrains/kotlin/fir/serialization/FirContractSerializer.kt
+2 -3
View File
@@ -6,7 +6,6 @@
package org.jetbrains.kotlin.fir.serialization package org.jetbrains.kotlin.fir.serialization
import org.jetbrains.kotlin.contracts.description.* import org.jetbrains.kotlin.contracts.description.*
import org.jetbrains.kotlin.contracts.description.expressions.*
import org.jetbrains.kotlin.fir.contracts.FirContractDescription import org.jetbrains.kotlin.fir.contracts.FirContractDescription
import org.jetbrains.kotlin.fir.contracts.description.* import org.jetbrains.kotlin.fir.contracts.description.*
import org.jetbrains.kotlin.fir.contracts.effects import org.jetbrains.kotlin.fir.contracts.effects
@@ -58,9 +57,9 @@ class FirContractSerializer {
is ConeReturnsEffectDeclaration -> { is ConeReturnsEffectDeclaration -> {
when (effectDeclaration.value) { when (effectDeclaration.value) {
ConstantReference.NOT_NULL -> ConeConstantReference.NOT_NULL ->
builder.effectType = ProtoBuf.Effect.EffectType.RETURNS_NOT_NULL builder.effectType = ProtoBuf.Effect.EffectType.RETURNS_NOT_NULL
ConstantReference.WILDCARD -> ConeConstantReference.WILDCARD ->
builder.effectType = ProtoBuf.Effect.EffectType.RETURNS_CONSTANT builder.effectType = ProtoBuf.Effect.EffectType.RETURNS_CONSTANT
else -> { else -> {
builder.effectType = ProtoBuf.Effect.EffectType.RETURNS_CONSTANT builder.effectType = ProtoBuf.Effect.EffectType.RETURNS_CONSTANT