[NI] Fix search of effects for substituted descriptors

This fixed *testExactlyOnce* tests for NI
2020-02-10 07:07:18 +03:00
parent 7df92cd00b
commit 7f6c03c926
1 changed files with 1 additions and 1 deletions
@@ -86,7 +86,7 @@ class CapturingInClosureChecker : CallChecker {
        if (parameter !is ValueParameterDescriptor) return false
        val contractDescription = function.getUserData(ContractProviderKey)?.getContractDescription() ?: return false
        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
    }