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

[NI] Fix search of effects for substituted descriptors

Browse Source 
This fixed *testExactlyOnce* tests for NI
This commit is contained in:
Mikhail Zarechenskiy
2020-02-10 07:07:18 +03:00
parent 7df92cd00b
commit 7f6c03c926
1 changed files with 1 additions and 1 deletions
Download Patch File Download Diff File Expand all files Collapse all files
compiler/frontend/src/org/jetbrains/kotlin/resolve/calls/checkers/CapturingInClosureChecker.kt
+1 -1
View File
@@ -86,7 +86,7 @@ class CapturingInClosureChecker : CallChecker {
if (parameter !is ValueParameterDescriptor) return false if (parameter !is ValueParameterDescriptor) return false
val contractDescription = function.getUserData(ContractProviderKey)?.getContractDescription() ?: return false val contractDescription = function.getUserData(ContractProviderKey)?.getContractDescription() ?: return false
val effect = contractDescription.effects.filterIsInstance<CallsEffectDeclaration>() val effect = contractDescription.effects.filterIsInstance<CallsEffectDeclaration>()
.find { it.variableReference.descriptor == parameter } ?: return false .find { it.variableReference.descriptor == parameter.original } ?: return false
return effect.kind == InvocationKind.EXACTLY_ONCE return effect.kind == InvocationKind.EXACTLY_ONCE
} }