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

Check for ESReceiver for contracts with is check

Browse Source
This commit is contained in:
Dmitriy Novozhilov
2020-04-14 12:18:34 +03:00
parent 9b3c3ae4ba
commit ba272101f2
1 changed files with 1 additions and 1 deletions
Download Patch File Download Diff File Expand all files Collapse all files
compiler/resolution/src/org/jetbrains/kotlin/contracts/model/visitors/Reducer.kt
+1 -1
View File
@@ -56,7 +56,7 @@ class Reducer(private val builtIns: KotlinBuiltIns) : ESExpressionVisitor<ESExpr
val result = when (reducedArg) { val result = when (reducedArg) {
is ESConstant -> argType!!.isSubtypeOf(isType) is ESConstant -> argType!!.isSubtypeOf(isType)
is ESVariable -> if (argType?.isSubtypeOf(isType) == true) true else null is ESVariable, is ESReceiver -> if (argType?.isSubtypeOf(isType) == true) true else null
else -> throw IllegalStateException("Unknown ESValue: $reducedArg") else -> throw IllegalStateException("Unknown ESValue: $reducedArg")
} }